2 5 10 < input/bdt.25
3 5 9 < input/add.316
1 1 < input/ad.2
-1 2 4 < input/zt.3
1 3 1 < input/zt.16
