8 5 0 < input/inp.hf.13
1 1 9 < input/add.307
3  10  7  < input/lu113
2 3  < input/bdt.77
2 2 2 < input/ct.55
