Update and rename test13.in.txt to test13.t