6 9 0 < input/inp.88
 0 0 0 < input/tc.52
 0 0 0 < input/tc.83
 3 0 5 < input/dat585
