 3 5 1 < input/dat664
2 10 3 < input/inp.5
 2 0 0 < input/dat593
8 8 0 < input/add.54
 0 4 0 < input/tc.254
