1 var 1 2 var 32 3 var 32 4 cond 32 1 2 3 5 eq 1 4 2 6 eq 1 2 3 7 or 1 1 6 8 eq 1 5 7 9 eq 1 2 4 10 eq 1 7 9 11 or 1 -8 -10 12 root 1 11