3 0 7 < input/inp.71
4 6 3 < input/inp.hf.30
9 8 4 < input/add.343
1 1 < input/ad.2
1 0 -3 < input/zt.10
