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