 5 5 1 < input/dat558
2  9 < input/ft.6
2 7 9 < input/ft.6
1 8 7 < input/adt.116
10 10 4 < input/inp.18
