2 3 5 < input/inp.hf.2
10 7 5 < input/add.332
2 3  < input/bdt.77
1 -3 1 < input/zt.11
