4 6 2 < input/add.97
1 1 1 < input/ct.5
2  5  6  < input/lu112
 0 0 0 < input/tc.9
10 10 7 < input/bdt.2
1 8 5 < input/adt.124
8  9  6  < input/lu140
