3  10  1  < input/lu491
3 10 6 < input/add.325
7  8  3  < input/lu361
2 2 6 < input/ft.11
0 1 0 < input/adt.55
0 0 < input/bdt.77
2 3 -1 < input/zt.4
