1 8 7 < input/adt.116
10 4 3 < input/add.302
6  < input/ft.29
0 1 -2 < input/zt.13
6 3 3 < input/inp.6
