 0 0 0 < input/tc.132
6 1 8 < input/add.350
10 3 7 < input/add.20
0 0 2 < input/adt.119
7 10 5 < input/bdt.84
9  2  7  < input/lu77
