1 var 1
2 var 1
3 var 1
4 and 1 2 3
5 zero 12
6 zero 1
7 const 1 0
8 ult 1 -6 7
9 cond 1 8 -6 7
10 concat 13 -5 9
11 slice 1 10 12 12
12 var 13
13 slice 9 12 12 4
14 var 9
15 eq 1 13 14
16 zero 13
17 const 8 00000000
18 var 5
19 concat 13 17 18
20 slice 1 19 12 12
21 const 3 111
22 zero 3
23 cond 3 20 21 22
24 concat 16 23 19
25 slice 1 24 15 15
26 var 4
27 srl 16 -24 26
28 zero 16
29 cond 16 25 -27 28
30 slice 13 29 12 0
31 cond 13 -15 -16 30
32 slice 1 -31 12 12
33 and 1 11 32
34 and 1 33 3
35 and 1 -4 -34
36 and 1 -1 35
37 cond 1 36 -6 7
38 eq 1 37 -6
39 slice 4 18 3 0
40 slice 1 18 4 4
41 concat 5 39 40
42 const 5 00001
43 add 5 -41 42
44 add 5 -43 42
45 slice 1 44 4 4
46 zero 4
47 concat 5 46 -6
48 udiv 5 43 47
49 slice 1 48 4 4
50 and 1 45 -49
51 and 1 -45 -49
52 slice 4 44 3 0
53 slice 4 48 3 0
54 ult 1 52 53
55 and 1 51 54
56 and 1 45 49
57 and 1 56 54
58 and 1 -55 -57
59 and 1 -50 58
60 cond 1 59 -6 7
61 eq 1 60 -6
62 and 1 38 -61
63 var 1
64 var 4
65 ult 1 64 64
66 and 1 63 65
67 cond 1 -66 -6 7
68 eq 1 67 -6
69 var 1
70 var 5
71 urem 5 70 70
72 add 5 -71 42
73 cond 5 69 72 71
74 concat 5 46 -6
75 and 5 -73 -74
76 add 5 -75 43
77 slice 1 76 4 4
78 zero 5
79 slice 1 78 4 4
80 and 1 77 -79
81 cond 1 80 -6 7
82 concat 5 46 81
83 eq 1 82 41
84 and 1 68 83
85 and 1 -62 84
86 root 1 85