Create prog.txt