 3 4 1 < input/dat661
1 3 1 < input/ct.9
 0 2 0 < input/tc.57
7 6 2 < input/inp.86
8 7 6 < input/inp.59
 3 0 5 < input/dat585
