 2 1 3 < input/dat486
7 5 3 < input/adt.175
4  5  10  < input/lu194
3  < input/ft.1
2 2 2 < input/ct.17
2 1 2 < input/ct.58
8 5 0 < input/inp.hf.13
9 5 3 < input/ft.1
9 4 2 < input/ft.21
