9 7 3 < input/inp.56
9  2 < input/ft.21
1 1 0 < input/inp.hf.12
6 9 7 < input/adt.55
