 3 3 4 < input/dat272
6 5 9 < input/add.32
 0 0 0 < input/tc.263
 0 4 0 < input/tc.56
 2 2 4 < input/tc.125
 0 0 0 < input/tc.288
