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