1 var 8
2 var 8
3 ult 1 -1 2
4 ugt 1 1 -2
5 eq 1 3 4

6 ulte 1 -1 2
7 ugte 1 1 -2
8 eq 1 6 7

9 ugt 1 -1 2
10 ult 1 1 -2
11 eq 1 9 10

12 ugte 1 -1 2
13 ulte 1 1 -2
14 eq 1 12 13

15 or 1 -5 -8
16 or 1 -11 -14
17 or 1 15 16
18 root 1 17