1 var 32 x
2 var 32 y
3 slice 1 1 31 31
4 slice 1 2 31 31
5 slice 31 1 30 0
6 slice 31 2 30 0
7 ult 1 5 6
8 eq 1 3 4
9 and 1 7 8
10 and 1 3 -4
11 or 1 9 10
12 slt 1 1 2
13 eq 1 11 12
14 root 1 -13