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