10 3 0 < input/adt.148
 5 4 0 < input/dat766
 0 0 0 < input/tc.117
 0 4 3 < input/dat481
 4 3 1 < input/dat130
 2 2 3 < input/tc.148
 4 3 1 < input/tc.173
