0 4 1 < input/inp.hf.19
0 7 0 < input/add.334
0 0 < input/bdt.77
0 1 -2 < input/zt.13
6 2 0 < input/zt.6
