 1 3 0 < input/dat792
6 6 1 < input/adt.36
0 0 0 < input/inp.hf.14
0 0 < input/bdt.77
6 7 3 < input/ct.36
