1 var 5 v2
2 constd 5 26
3 urem 5 1 -2
4 zero 5
5 eq 1 3 4
6 var 5 v1
7 constd 5 6
8 add 5 -3 7
9 sll 5 6 8
10 srl 5 6 3
11 and 5 -9 -10
12 cond 5 5 6 -11
13 root 5 12