7 1 3 < input/ct.26
2 3 1 < input/ct.31
2 5 6 < input/adt.155
6  < input/ft.29
4 8 8 < input/bdt.18
9 4 2 < input/ft.21
