6 7 3 < input/ct.36
1 1 9 < input/add.307
2 5  < input/ft.30
3 5 9 < input/ft.25
7 1 9 < input/inp.hf.1
