7 3 8 < input/inp.12
< input/bdt.77
0 2 5 < input/inp.hf.8
2 1 5 < input/add.343
