3 0 3 < input/ct.6
 0 2 2 < input/dat672
 0 1 3 < input/dat699
4 4 2 < input/add.312
10 8 8 < input/inp.52
 5 0 2 < input/dat183
 5 1 0 < input/dat072
 2 3 3 < input/dat549
