1 7 2 < input/inp.59
4  1  4  < input/lu458
10  1  10  < input/lu40
6 9 1 < input/ft.11
10 5 10 < input/adt.3
0 0 < input/bdt.77
2 -1 3 < input/zt.8
