3 3 1 < input/adt.62
5 0 6 < input/add.303
2 5  < input/ft.30
1 -2 3 < input/zt.2
5  2  7  < input/lu487
6 6 3 < input/inp.55
