10 10 7 < input/bdt.2
0 10 1 < input/add.305
0 0 < input/bdt.77
-2 1 0 < input/zt.9
1 3 4 < input/zt.28
