8 9 0 < input/inp.hf.12
8 0 7 < input/add.316
1 1 < input/ad.2
2 0 -1 < input/zt.7
