 0 0 0 < input/tc.72
2 1 9 < input/add.344
 0 0 0 < input/tc.230
7 5 1 < input/adt.26
10  1  10  < input/lu342
10 2 1 < input/add.6
