 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
