 0 0 0 < input/tc.94
1 10 0 < input/adt.93
0 10 1 < input/add.305
8 1 0 < input/inp.37
