7 9 10 < input/adt.36
5 0 6 < input/add.303
6  < input/ft.29
2 -1 3 < input/zt.8
5  10  1  < input/lu337
2 1 4 < input/ct.27
