1 var 4
2 var 4
3 uext 8 1 4
4 uext 8 2 4
5 udiv 8 3 4
6 urem 8 3 4
7 udiv 4 1 2
8 urem 4 1 2
9 slice 4 5 3 0
10 slice 4 6 3 0
11 eq 1 7 9
12 eq 1 8 10
13 and 1 11 12
14 root 1 -13