1 zero 1
2 zero 2
3 var 3
4 zero 3
5 eq 1 3 -4
6 cond 1 5 -1 1
7 concat 2 -1 -6
8 eq 1 -2 7
9 cond 1 8 -1 1
10 array 4 1
11 var 1
12 var 1
13 cond 2 12 2 -2
14 zero 4
15 concat 4 1 3
16 ult 1 14 15
17 cond 1 16 -1 1
18 eq 1 -1 17
19 cond 1 18 -1 1
20 concat 2 19 17
21 slice 1 20 1 1
22 concat 2 1 -21
23 slice 1 22 0 0
24 sll 2 13 23
25 cond 2 11 2 24
26 ult 1 2 25
27 cond 1 26 -1 1
28 concat 4 -4 27
29 write 4 1 10 1 28
30 read 4 29 1
31 slice 1 30 0 0
32 and 1 9 31
33 zero 5
34 concat 5 14 17
35 eq 1 33 34
36 cond 1 35 -1 1
37 array 1 2
38 concat 3 2 6
39 var 3
40 urem 3 38 39
41 slice 1 40 2 2
42 write 1 2 37 2 -41
43 read 1 42 2
44 and 1 36 43
45 and 1 32 -44
46 eq 1 1 45
47 root 1 -46