2 5  < input/ft.30
7 1 9 < input/inp.hf.1
3 1 5 < input/ft.8
1 8 1 < input/inp.5
1 3 1 < input/ct.10
