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