8 3 9 < input/inp.hf.16
8 4 5 < input/add.343
0 0 < input/bdt.77
2 0 -1 < input/zt.7
