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