3  8  3  < input/lu29
1 8 1 < input/adt.107
 3 0 0 < input/tc.129
 0 0 4 < input/tc.114
2 1 1  < input/dt.17
