 5 0 0 < input/dat715
6 9 7 < input/adt.55
8 6 2 < input/ft.27
6 10 7 < input/inp.82
1 1 1 < input/ct.5
6  < input/ft.29
2 1 0 < input/inp.hf.1
