Added working version of verification program