1 8 7 < input/adt.116
5 3 1 < input/nnt10
5  2  7  < input/lu487
2  9 < input/ft.6
1 -3 1 < input/zt.11
2 8 0 < input/inp.55
