 3 1 5 < input/dat537
9  2 < input/ft.21
8 5 0 < input/inp.hf.13
0 1 0 < input/adt.55
7 5 7 < input/inp.66
