1 var 8 
2 var 8
3 var 1
4 var 1
5 cond 8 3 1 -2
6 cond 8 4 -5 2

7 and 1 3 4
8 cond 8 7 -1 2

9 eq 1 6 8 
10 root 1 -9