6 2 7 < input/adt.136
6 3 3 < input/inp.6
2 0 10 < input/add.301
 0 0 1 < input/tc.32
