0 10 3 < input/inp.6
 0 0 1 < input/tc.188
0 4 1 < input/inp.hf.19
0 0 0 < input/nt.10
5 3 9 < input/add.302
1 1 < input/ad.2
0 -8 3 < input/zt.5
