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 sll 5 6 3
8 constd 5 6
9 add 5 -3 8
10 srl 5 6 9
11 and 5 -7 -10
12 cond 5 5 6 -11
13 root 5 12