 5 1 0 < input/dat095
9 7 5 < input/inp.9
2 4 2 < input/ct.54
 2 1 4 < input/tc.5
0 0 4 < input/adt.140
2 4 2 < input/ct.57
 0 0 0 < input/tc.72
9 7 0 < input/adt.0
 3 2 0 < input/dat579
 4 2 3 < input/dat264
