 0 0 0 < input/tc.127
 0 0 0 < input/tc.288
9 8 3 < input/inp.0
 0 5 1 < input/dat129
3 5 9 < input/add.95
 3 1 5 < input/dat357
