1 constd 32 14
2 constd 32 23
3 constd 32 37
4 var 32

5 add 32 1 4
6 add 32 5 2

7 add 32 3 4
8 eq 1 6 7


9 add 32 2 5 
10 eq 1 9 7

11 or 1 -8 -10
12 root 1 11