8 8 5 < input/bdt.14
1 3 1 < input/zt.16
10 6 1 < input/add.335
1 1 < input/ad.2
-1 2 4 < input/zt.3
