1 2 3 < input/inp.hf.12
10 0 4 < input/add.306
< input/bdt.77
0 1 -2 < input/zt.13
