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