1 3 1 < input/ct.11
2 5  < input/ft.30
8 5 0 < input/inp.hf.13
2 3 5 < input/inp.hf.2
