 2 5 4 < input/dat721
6 2 3 < input/adt.155
8 6  < input/ft.1
2 2 2 < input/ct.55
1 9 5 < input/ft.14
1 1 1 < input/ct.1
1 2 3 < input/inp.hf.12
