1 5 3 < input/add.11
6 9 7 < input/adt.155
 0 0 0 < input/tc.134
1 0 0 < input/adt.178
0 0 7 < input/add.34
3  8  3  < input/lu29
7 10 10 < input/add.325
1  2  1  < input/lu129
