1 0 7 < input/inp.hf.18
5 3 9 < input/add.302
1 1 < input/ad.2
2 -1 3 < input/zt.8
 1 0 0 < input/dat531
