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