1 2 0 < input/ct.37
6  1  6  < input/lu128
8 10 9 < input/add.339
 2 3 0 < input/dat768
 5 5 2 < input/dat757
9 2 6 < input/inp.23
5  4  9  < input/lu31
6  1  4  < input/lu204
 0 0 4 < input/tc.71
