< input/bdt.77
1 1 0 < input/inp.hf.12
0 1 0 < input/adt.55
8 0 7 < input/inp.28
