 4 0 0 < input/tc.187
6 10 0 < input/inp.56
4 7 7 < input/bdt.83
3 3 1 < input/adt.62
2 -1 3 < input/zt.8
