1 8 7 < input/adt.116
0 1 2  < input/lu119
< input/bdt.77
1 -3 1 < input/zt.11
0 4 1 < input/inp.75
