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