3 3 1 < input/adt.62
10 0 4 < input/add.306
10  5  4  < input/lu226
6  < input/ft.29
3 1 -5 < input/zt.1
7 0 0 < input/inp.39
