1 2 7 < input/inp.hf.28
10 4 3 < input/add.302
1 1 < input/ad.2
2 3 -1 < input/zt.4
