10 3 0 < input/add.310
2  1  10  < input/lu54
6 9 1 < input/bdt.37
3  < input/ft.1
2 1 2 < input/ct.52
