1 var 8 2 var 8 3 var 1 4 var 1 5 cond 8 3 1 2 6 cond 8 4 2 5 7 and 1 3 -4 8 cond 8 7 1 2 9 eq 1 6 8 10 root 1 -9