 2 1 3 < input/dat025
 0 2 3 < input/dat174
 3 2 0 < input/dat255
3 4 2 < input/dat108
2 2 0 < input/inp.85
 1 0 0 < input/dat540
