8 5 0 < input/inp.hf.13
7 10 2 < input/add.302
2  9 < input/ft.6
-2 1 0 < input/zt.9
6 2 0 < input/zt.6
