 1 1 5 < input/dat609
8 5 3 < input/add.309
1 2 3 < input/inp.hf.12
2 3 1 < input/et.8
8 3 < input/ft.25
