8 5 0 < input/inp.42
 3 0 3 < input/dat781
10 9 0 < input/add.305
8 8 0 < input/bdt.80
0 0 < input/bdt.77
2 0 -1 < input/zt.7
