8 9 0 < input/inp.hf.12
1 1 1 < input/ct.4
0 0 < input/bdt.77
1 -3 1 < input/zt.11
