 2 3 1 < input/dat678
6 9 0 < input/inp.88
 0 4 1 < input/dat567
 0 0 0 < input/tc.167
