4  7  10  < input/lu320
9 4 7 < input/adt.122
6  1  6  < input/lu128
6 3 10 < input/adt.9
3 6 1 < input/inp.61
5 1 1 < input/inp.60
 0 0 0 < input/tc.10
