Update and rename main.txt to instr.txt