 0 4 0 < input/tc.7
8 0 7 < input/add.316
0 1 5 < input/inp.hf.14
2 3  < input/bdt.77
2 1 3  < input/dt.22
2 3 -1 < input/zt.4
