1 var 1
2 var 8
3 var 8
4 var 8
5 cond 8 1 2 3
6 cond 8 1 2 4
7 ult 1 -5 -6
8 ult 1 -2 -2
9 ult 1 -3 -4
10 cond 1 1 8 9
11 ne 1 7 10
12 root 1 11