9 10 2 < input/adt.3
8  9  2  < input/lu46
< input/bdt.77
2 3 -1 < input/zt.4
4 10 2 < input/inp.91
