9 7 3 < input/inp.56
0 2 2 < input/add.305
1  8  3  < input/lu87
4  3  8  < input/lu312
10 7 9 < input/bdt.22
1 1 < input/ad.2
2 3 -1 < input/zt.4
