 3 3 4 < input/dat042
4 0 1 < input/dat309
 0 0 0 < input/tc.257
 1 0 0 < input/dat531
 5 0 1 < input/dat769
 1 3 1 < input/dat515
2 0 1 < input/dat581
