1 5 5 < input/inp.hf.27
1 0 0 < input/ct.7
0 0 < input/bdt.77
2 3 -1 < input/zt.4
2 1 3 < input/zt.18
