 5 1 2 < input/dat274
 0 0 0 < input/tc.118
2 7 3 < input/add.314
7 2 2 < input/inp.17
 5 2 3 < input/dat779
4 1 0 < input/dat309
1 5 5 < input/inp.hf.27
 2 5 3 < input/dat541
2 4 2 < input/dat108
1 7 4 < input/add.42
8 3 2 < input/inp.hf.5
8 2 9 < input/inp.39
 4 2 2 < input/dat040
