 0 0 2 < input/dat729
< input/bdt.77
8 9 0 < input/inp.hf.12
10 4 3 < input/add.302
5 10 8 < input/inp.66
