4 3 2 < input/nnt6
1 0 0 < input/adt.178
2  2 < input/ft.30
5 10 8 < input/inp.hf.24
8 3 2 < input/inp.hf.5
2 3 -1 < input/zt.4
