3 3 2 < input/add.74
8 2 7 < input/inp.53
9 5 1 < input/add.312
 5 3 5 < input/dat143
 0 0 0 < input/tc.277
2 5 5 < input/inp.6
 0 0 0 < input/tc.189
