6 5 9 < input/adt.34
2  5  10  < input/lu256
 0 0 0 < input/tc.37
0 0 0 < input/nt.12
5  2  7  < input/lu379
10 10 6 < input/inp.79
7 4 0 < input/adt.113
10  3  8  < input/lu378
