1 var 32 
2 var 32
3 var 32
4 var 1
5 add 32 1 2
6 cond 32 4 1 3
7 eq 1 5 6

8 eq 1 5 3
9 and 1 8 -4

10 zero 32
11 eq 1 2 10
12 eq 1 7 9
13 implies 1 -11 12
14 root 1 -13