10 9 0 < input/add.305
2 7 7 < input/bdt.77
2 3  < input/bdt.77
2 0 0 < input/dt.1
2 1 2 < input/ct.52
