3 2 4 < input/inp.hf.17
10 4 3 < input/add.302
3  1 < input/ft.2
-2 1 0 < input/zt.9
 0 0 0 < input/tc.219
6 0 1 < input/inp.26
