6  < input/ft.29
1 2 3 < input/inp.hf.12
10 4 3 < input/add.302
1 0 5 < input/ct.23
3 0 0 < input/ct.4
