2 3 7 < input/inp.12
10 9 0 < input/add.305
4 5 0 < input/adt.189
7 4 2 < input/inp.hf.17
1 1 < input/ad.2
-1 2 4 < input/zt.3
