1 2 7 < input/inp.hf.28
8 1 4 < input/bdt.35
0 0 < input/bdt.77
1 0 -3 < input/zt.10
