vandal.txt

Block 0x0
[0x0:0xa]
---
Predecessors: []
Successors: [0xb, 0xb9]
---
0x0 PUSH1 0x60
0x2 PUSH1 0x40
0x4 MSTORE
0x5 CALLDATASIZE
0x6 ISZERO
0x7 PUSH2 0xb9
0xa JUMPI
---
0x0: V0 = 0x60
0x2: V1 = 0x40
0x4: M[0x40] = 0x60
0x5: V2 = CALLDATASIZE
0x6: V3 = ISZERO V2
0x7: V4 = 0xb9
0xa: JUMPI 0xb9 V3
---
Entry stack: []
Stack pops: 0
Stack additions: []
Exit stack: []

================================

Block 0xb
[0xb:0x1e]
---
Predecessors: [0x0]
Successors: [0x1f, 0x19e]
---
0xb PUSH1 0xe0
0xd PUSH1 0x2
0xf EXP
0x10 PUSH1 0x0
0x12 CALLDATALOAD
0x13 DIV
0x14 PUSH4 0x13af4035
0x19 DUP2
0x1a EQ
0x1b PUSH2 0x19e
0x1e JUMPI
---
0xb: V5 = 0xe0
0xd: V6 = 0x2
0xf: V7 = EXP 0x2 0xe0
0x10: V8 = 0x0
0x12: V9 = CALLDATALOAD 0x0
0x13: V10 = DIV V9 0x100000000000000000000000000000000000000000000000000000000
0x14: V11 = 0x13af4035
0x1a: V12 = EQ V10 0x13af4035
0x1b: V13 = 0x19e
0x1e: JUMPI 0x19e V12
---
Entry stack: []
Stack pops: 0
Stack additions: [V10]
Exit stack: [V10]

================================

Block 0x1f
[0x1f:0x29]
---
Predecessors: [0xb]
Successors: [0x2a, 0x1c1]
---
0x1f DUP1
0x20 PUSH4 0x26f5a8c9
0x25 EQ
0x26 PUSH2 0x1c1
0x29 JUMPI
---
0x20: V14 = 0x26f5a8c9
0x25: V15 = EQ 0x26f5a8c9 V10
0x26: V16 = 0x1c1
0x29: JUMPI 0x1c1 V15
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x2a
[0x2a:0x34]
---
Predecessors: [0x1f]
Successors: [0x35, 0x1ca]
---
0x2a DUP1
0x2b PUSH4 0x371fa854
0x30 EQ
0x31 PUSH2 0x1ca
0x34 JUMPI
---
0x2b: V17 = 0x371fa854
0x30: V18 = EQ 0x371fa854 V10
0x31: V19 = 0x1ca
0x34: JUMPI 0x1ca V18
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x35
[0x35:0x3f]
---
Predecessors: [0x2a]
Successors: [0x40, 0x1d3]
---
0x35 DUP1
0x36 PUSH4 0x4162169f
0x3b EQ
0x3c PUSH2 0x1d3
0x3f JUMPI
---
0x36: V20 = 0x4162169f
0x3b: V21 = EQ 0x4162169f V10
0x3c: V22 = 0x1d3
0x3f: JUMPI 0x1d3 V21
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x40
[0x40:0x4a]
---
Predecessors: [0x35]
Successors: [0x4b, 0x1e5]
---
0x40 DUP1
0x41 PUSH4 0x4c8fe526
0x46 EQ
0x47 PUSH2 0x1e5
0x4a JUMPI
---
0x41: V23 = 0x4c8fe526
0x46: V24 = EQ 0x4c8fe526 V10
0x47: V25 = 0x1e5
0x4a: JUMPI 0x1e5 V24
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x4b
[0x4b:0x55]
---
Predecessors: [0x40]
Successors: [0x56, 0x1f7]
---
0x4b DUP1
0x4c PUSH4 0x5970c915
0x51 EQ
0x52 PUSH2 0x1f7
0x55 JUMPI
---
0x4c: V26 = 0x5970c915
0x51: V27 = EQ 0x5970c915 V10
0x52: V28 = 0x1f7
0x55: JUMPI 0x1f7 V27
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x56
[0x56:0x60]
---
Predecessors: [0x4b]
Successors: [0x61, 0x209]
---
0x56 DUP1
0x57 PUSH4 0x61bc221a
0x5c EQ
0x5d PUSH2 0x209
0x60 JUMPI
---
0x57: V29 = 0x61bc221a
0x5c: V30 = EQ 0x61bc221a V10
0x5d: V31 = 0x209
0x60: JUMPI 0x209 V30
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x61
[0x61:0x6b]
---
Predecessors: [0x56]
Successors: [0x6c, 0x212]
---
0x61 DUP1
0x62 PUSH4 0x625e847d
0x67 EQ
0x68 PUSH2 0x212
0x6b JUMPI
---
0x62: V32 = 0x625e847d
0x67: V33 = EQ 0x625e847d V10
0x68: V34 = 0x212
0x6b: JUMPI 0x212 V33
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x6c
[0x6c:0x76]
---
Predecessors: [0x61]
Successors: [0x77, 0x232]
---
0x6c DUP1
0x6d PUSH4 0x6637b882
0x72 EQ
0x73 PUSH2 0x232
0x76 JUMPI
---
0x6d: V35 = 0x6637b882
0x72: V36 = EQ 0x6637b882 V10
0x73: V37 = 0x232
0x76: JUMPI 0x232 V36
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x77
[0x77:0x81]
---
Predecessors: [0x6c]
Successors: [0x82, 0x255]
---
0x77 DUP1
0x78 PUSH4 0x7f9f519f
0x7d EQ
0x7e PUSH2 0x255
0x81 JUMPI
---
0x78: V38 = 0x7f9f519f
0x7d: V39 = EQ 0x7f9f519f V10
0x7e: V40 = 0x255
0x81: JUMPI 0x255 V39
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x82
[0x82:0x8c]
---
Predecessors: [0x77]
Successors: [0x8d, 0x278]
---
0x82 DUP1
0x83 PUSH4 0x8da5cb5b
0x88 EQ
0x89 PUSH2 0x278
0x8c JUMPI
---
0x83: V41 = 0x8da5cb5b
0x88: V42 = EQ 0x8da5cb5b V10
0x89: V43 = 0x278
0x8c: JUMPI 0x278 V42
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x8d
[0x8d:0x97]
---
Predecessors: [0x82]
Successors: [0x98, 0x28a]
---
0x8d DUP1
0x8e PUSH4 0xa9059cbb
0x93 EQ
0x94 PUSH2 0x28a
0x97 JUMPI
---
0x8e: V44 = 0xa9059cbb
0x93: V45 = EQ 0xa9059cbb V10
0x94: V46 = 0x28a
0x97: JUMPI 0x28a V45
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0x98
[0x98:0xa2]
---
Predecessors: [0x8d]
Successors: [0xa3, 0x2b0]
---
0x98 DUP1
0x99 PUSH4 0xc4463c80
0x9e EQ
0x9f PUSH2 0x2b0
0xa2 JUMPI
---
0x99: V47 = 0xc4463c80
0x9e: V48 = EQ 0xc4463c80 V10
0x9f: V49 = 0x2b0
0xa2: JUMPI 0x2b0 V48
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0xa3
[0xa3:0xad]
---
Predecessors: [0x98]
Successors: [0xae, 0x2df]
---
0xa3 DUP1
0xa4 PUSH4 0xc9d27afe
0xa9 EQ
0xaa PUSH2 0x2df
0xad JUMPI
---
0xa4: V50 = 0xc9d27afe
0xa9: V51 = EQ 0xc9d27afe V10
0xaa: V52 = 0x2df
0xad: JUMPI 0x2df V51
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0xae
[0xae:0xb8]
---
Predecessors: [0xa3]
Successors: [0xb9, 0x305]
---
0xae DUP1
0xaf PUSH4 0xe66f53b7
0xb4 EQ
0xb5 PUSH2 0x305
0xb8 JUMPI
---
0xaf: V53 = 0xe66f53b7
0xb4: V54 = EQ 0xe66f53b7 V10
0xb5: V55 = 0x305
0xb8: JUMPI 0x305 V54
---
Entry stack: [V10]
Stack pops: 1
Stack additions: [S0]
Exit stack: [V10]

================================

Block 0xb9
[0xb9:0x10e]
---
Predecessors: [0x0, 0xae]
Successors: [0x10f]
---
0xb9 JUMPDEST
0xba PUSH2 0x317
0xbd PUSH1 0x2
0xbf SLOAD
0xc0 PUSH32 0xe70820300000000000000000000000000000000000000000000000000000000
0xe1 PUSH1 0x60
0xe3 SWAP1
0xe4 DUP2
0xe5 MSTORE
0xe6 PUSH1 0x0
0xe8 SWAP2
0xe9 PUSH1 0x1
0xeb PUSH1 0xa0
0xed PUSH1 0x2
0xef EXP
0xf0 SUB
0xf1 AND
0xf2 SWAP1
0xf3 PUSH4 0xe708203
0xf8 SWAP1
0xf9 PUSH1 0x64
0xfb SWAP1
0xfc PUSH1 0x20
0xfe SWAP1
0xff PUSH1 0x4
0x101 DUP2
0x102 DUP8
0x103 DUP8
0x104 PUSH2 0x61da
0x107 GAS
0x108 SUB
0x109 CALL
0x10a ISZERO
0x10b PUSH2 0x2
0x10e JUMPI
---
0xb9: JUMPDEST 
0xba: V56 = 0x317
0xbd: V57 = 0x2
0xbf: V58 = S[0x2]
0xc0: V59 = 0xe70820300000000000000000000000000000000000000000000000000000000
0xe1: V60 = 0x60
0xe5: M[0x60] = 0xe70820300000000000000000000000000000000000000000000000000000000
0xe6: V61 = 0x0
0xe9: V62 = 0x1
0xeb: V63 = 0xa0
0xed: V64 = 0x2
0xef: V65 = EXP 0x2 0xa0
0xf0: V66 = SUB 0x10000000000000000000000000000000000000000 0x1
0xf1: V67 = AND 0xffffffffffffffffffffffffffffffffffffffff V58
0xf3: V68 = 0xe708203
0xf9: V69 = 0x64
0xfc: V70 = 0x20
0xff: V71 = 0x4
0x104: V72 = 0x61da
0x107: V73 = GAS
0x108: V74 = SUB V73 0x61da
0x109: V75 = CALL V74 V67 0x0 0x60 0x4 0x60 0x20
0x10a: V76 = ISZERO V75
0x10b: V77 = 0x2
0x10e: THROWI V76
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x317, 0x0, V67, 0xe708203, 0x64]
Exit stack: [V10, 0x317, 0x0, V67, 0xe708203, 0x64]

================================

Block 0x10f
[0x10f:0x129]
---
Predecessors: [0xb9]
Successors: [0x12a, 0x329]
---
0x10f POP
0x110 POP
0x111 PUSH1 0x40
0x113 MLOAD
0x114 MLOAD
0x115 CALLER
0x116 PUSH1 0x1
0x118 PUSH1 0xa0
0x11a PUSH1 0x2
0x11c EXP
0x11d SUB
0x11e SWAP1
0x11f DUP2
0x120 AND
0x121 SWAP2
0x122 AND
0x123 EQ
0x124 SWAP1
0x125 POP
0x126 PUSH2 0x329
0x129 JUMPI
---
0x111: V78 = 0x40
0x113: V79 = M[0x40]
0x114: V80 = M[V79]
0x115: V81 = CALLER
0x116: V82 = 0x1
0x118: V83 = 0xa0
0x11a: V84 = 0x2
0x11c: V85 = EXP 0x2 0xa0
0x11d: V86 = SUB 0x10000000000000000000000000000000000000000 0x1
0x120: V87 = AND 0xffffffffffffffffffffffffffffffffffffffff V81
0x122: V88 = AND V80 0xffffffffffffffffffffffffffffffffffffffff
0x123: V89 = EQ V88 V87
0x126: V90 = 0x329
0x129: JUMPI 0x329 V89
---
Entry stack: [V10, 0x317, 0x0, V67, 0xe708203, 0x64]
Stack pops: 3
Stack additions: []
Exit stack: [V10, 0x317, 0x0]

================================

Block 0x12a
[0x12a:0x19a]
---
Predecessors: [0x10f]
Successors: [0x19b]
---
0x12a PUSH1 0x40
0x12c DUP1
0x12d MLOAD
0x12e CALLER
0x12f PUSH1 0x1
0x131 PUSH1 0xa0
0x133 PUSH1 0x2
0x135 EXP
0x136 SUB
0x137 AND
0x138 PUSH1 0x20
0x13a DUP3
0x13b ADD
0x13c MSTORE
0x13d DUP2
0x13e DUP2
0x13f MSTORE
0x140 PUSH1 0xf
0x142 DUP2
0x143 DUP4
0x144 ADD
0x145 MSTORE
0x146 PUSH32 0x636f6e73747563746f72206661696c0000000000000000000000000000000000
0x167 PUSH1 0x60
0x169 DUP3
0x16a ADD
0x16b MSTORE
0x16c SWAP1
0x16d MLOAD
0x16e PUSH32 0xa6af7265d7ede5fbf0ee375956b52b362800d4f92e268809bef5fdf2a57924b8
0x18f SWAP2
0x190 DUP2
0x191 SWAP1
0x192 SUB
0x193 PUSH1 0x80
0x195 ADD
0x196 SWAP1
0x197 LOG1
0x198 POP
0x199 PUSH1 0x1
---
0x12a: V91 = 0x40
0x12d: V92 = M[0x40]
0x12e: V93 = CALLER
0x12f: V94 = 0x1
0x131: V95 = 0xa0
0x133: V96 = 0x2
0x135: V97 = EXP 0x2 0xa0
0x136: V98 = SUB 0x10000000000000000000000000000000000000000 0x1
0x137: V99 = AND 0xffffffffffffffffffffffffffffffffffffffff V93
0x138: V100 = 0x20
0x13b: V101 = ADD V92 0x20
0x13c: M[V101] = V99
0x13f: M[V92] = 0x40
0x140: V102 = 0xf
0x144: V103 = ADD 0x40 V92
0x145: M[V103] = 0xf
0x146: V104 = 0x636f6e73747563746f72206661696c0000000000000000000000000000000000
0x167: V105 = 0x60
0x16a: V106 = ADD V92 0x60
0x16b: M[V106] = 0x636f6e73747563746f72206661696c0000000000000000000000000000000000
0x16d: V107 = M[0x40]
0x16e: V108 = 0xa6af7265d7ede5fbf0ee375956b52b362800d4f92e268809bef5fdf2a57924b8
0x192: V109 = SUB V92 V107
0x193: V110 = 0x80
0x195: V111 = ADD 0x80 V109
0x197: LOG V107 V111 0xa6af7265d7ede5fbf0ee375956b52b362800d4f92e268809bef5fdf2a57924b8
0x199: V112 = 0x1
---
Entry stack: [V10, 0x317, 0x0]
Stack pops: 1
Stack additions: [0x1]
Exit stack: [V10, 0x317, 0x1]

================================

Block 0x19b
[0x19b:0x19d]
---
Predecessors: [0x12a, 0x3f1, 0x469, 0x56e]
Successors: [0x317]
---
0x19b JUMPDEST
0x19c SWAP1
0x19d JUMP
---
0x19b: JUMPDEST 
0x19d: JUMP 0x317
---
Entry stack: [V10, 0x317, 0x1]
Stack pops: 2
Stack additions: [S0]
Exit stack: [V10, 0x1]

================================

Block 0x19e
[0x19e:0x1bc]
---
Predecessors: [0xb]
Successors: [0x1bd, 0x492]
---
0x19e JUMPDEST
0x19f PUSH2 0x317
0x1a2 PUSH1 0x4
0x1a4 CALLDATALOAD
0x1a5 PUSH1 0x0
0x1a7 DUP1
0x1a8 SLOAD
0x1a9 PUSH1 0x1
0x1ab PUSH1 0xa0
0x1ad PUSH1 0x2
0x1af EXP
0x1b0 SUB
0x1b1 SWAP1
0x1b2 DUP2
0x1b3 AND
0x1b4 CALLER
0x1b5 SWAP1
0x1b6 SWAP2
0x1b7 AND
0x1b8 EQ
0x1b9 PUSH2 0x492
0x1bc JUMPI
---
0x19e: JUMPDEST 
0x19f: V113 = 0x317
0x1a2: V114 = 0x4
0x1a4: V115 = CALLDATALOAD 0x4
0x1a5: V116 = 0x0
0x1a8: V117 = S[0x0]
0x1a9: V118 = 0x1
0x1ab: V119 = 0xa0
0x1ad: V120 = 0x2
0x1af: V121 = EXP 0x2 0xa0
0x1b0: V122 = SUB 0x10000000000000000000000000000000000000000 0x1
0x1b3: V123 = AND 0xffffffffffffffffffffffffffffffffffffffff V117
0x1b4: V124 = CALLER
0x1b7: V125 = AND 0xffffffffffffffffffffffffffffffffffffffff V124
0x1b8: V126 = EQ V125 V123
0x1b9: V127 = 0x492
0x1bc: JUMPI 0x492 V126
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x317, V115, 0x0]
Exit stack: [V10, 0x317, V115, 0x0]

================================

Block 0x1bd
[0x1bd:0x1c0]
---
Predecessors: [0x19e]
Successors: []
---
0x1bd PUSH2 0x2
0x1c0 JUMP
---
0x1bd: V128 = 0x2
0x1c0: THROW 
---
Entry stack: [V10, 0x317, V115, 0x0]
Stack pops: 0
Stack additions: []
Exit stack: [V10, 0x317, V115, 0x0]

================================

Block 0x1c1
[0x1c1:0x1c9]
---
Predecessors: [0x1f]
Successors: [0x475]
---
0x1c1 JUMPDEST
0x1c2 PUSH2 0x475
0x1c5 PUSH1 0x5
0x1c7 SLOAD
0x1c8 DUP2
0x1c9 JUMP
---
0x1c1: JUMPDEST 
0x1c2: V129 = 0x475
0x1c5: V130 = 0x5
0x1c7: V131 = S[0x5]
0x1c9: JUMP 0x475
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x475, V131]
Exit stack: [V10, 0x475, V131]

================================

Block 0x1ca
[0x1ca:0x1d2]
---
Predecessors: [0x2a]
Successors: [0x475]
---
0x1ca JUMPDEST
0x1cb PUSH2 0x475
0x1ce PUSH1 0x4
0x1d0 SLOAD
0x1d1 DUP2
0x1d2 JUMP
---
0x1ca: JUMPDEST 
0x1cb: V132 = 0x475
0x1ce: V133 = 0x4
0x1d0: V134 = S[0x4]
0x1d2: JUMP 0x475
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x475, V134]
Exit stack: [V10, 0x475, V134]

================================

Block 0x1d3
[0x1d3:0x1e4]
---
Predecessors: [0x35]
Successors: [0x47f]
---
0x1d3 JUMPDEST
0x1d4 PUSH2 0x47f
0x1d7 PUSH1 0x2
0x1d9 SLOAD
0x1da PUSH1 0x1
0x1dc PUSH1 0xa0
0x1de PUSH1 0x2
0x1e0 EXP
0x1e1 SUB
0x1e2 AND
0x1e3 DUP2
0x1e4 JUMP
---
0x1d3: JUMPDEST 
0x1d4: V135 = 0x47f
0x1d7: V136 = 0x2
0x1d9: V137 = S[0x2]
0x1da: V138 = 0x1
0x1dc: V139 = 0xa0
0x1de: V140 = 0x2
0x1e0: V141 = EXP 0x2 0xa0
0x1e1: V142 = SUB 0x10000000000000000000000000000000000000000 0x1
0x1e2: V143 = AND 0xffffffffffffffffffffffffffffffffffffffff V137
0x1e4: JUMP 0x47f
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x47f, V143]
Exit stack: [V10, 0x47f, V143]

================================

Block 0x1e5
[0x1e5:0x1f6]
---
Predecessors: [0x40]
Successors: [0x47f]
---
0x1e5 JUMPDEST
0x1e6 PUSH2 0x47f
0x1e9 PUSH1 0x6
0x1eb SLOAD
0x1ec PUSH1 0x1
0x1ee PUSH1 0xa0
0x1f0 PUSH1 0x2
0x1f2 EXP
0x1f3 SUB
0x1f4 AND
0x1f5 DUP2
0x1f6 JUMP
---
0x1e5: JUMPDEST 
0x1e6: V144 = 0x47f
0x1e9: V145 = 0x6
0x1eb: V146 = S[0x6]
0x1ec: V147 = 0x1
0x1ee: V148 = 0xa0
0x1f0: V149 = 0x2
0x1f2: V150 = EXP 0x2 0xa0
0x1f3: V151 = SUB 0x10000000000000000000000000000000000000000 0x1
0x1f4: V152 = AND 0xffffffffffffffffffffffffffffffffffffffff V146
0x1f6: JUMP 0x47f
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x47f, V152]
Exit stack: [V10, 0x47f, V152]

================================

Block 0x1f7
[0x1f7:0x208]
---
Predecessors: [0x4b]
Successors: [0x47f]
---
0x1f7 JUMPDEST
0x1f8 PUSH2 0x47f
0x1fb PUSH1 0x7
0x1fd SLOAD
0x1fe PUSH1 0x1
0x200 PUSH1 0xa0
0x202 PUSH1 0x2
0x204 EXP
0x205 SUB
0x206 AND
0x207 DUP2
0x208 JUMP
---
0x1f7: JUMPDEST 
0x1f8: V153 = 0x47f
0x1fb: V154 = 0x7
0x1fd: V155 = S[0x7]
0x1fe: V156 = 0x1
0x200: V157 = 0xa0
0x202: V158 = 0x2
0x204: V159 = EXP 0x2 0xa0
0x205: V160 = SUB 0x10000000000000000000000000000000000000000 0x1
0x206: V161 = AND 0xffffffffffffffffffffffffffffffffffffffff V155
0x208: JUMP 0x47f
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x47f, V161]
Exit stack: [V10, 0x47f, V161]

================================

Block 0x209
[0x209:0x211]
---
Predecessors: [0x56]
Successors: [0x475]
---
0x209 JUMPDEST
0x20a PUSH2 0x475
0x20d PUSH1 0x3
0x20f SLOAD
0x210 DUP2
0x211 JUMP
---
0x209: JUMPDEST 
0x20a: V162 = 0x475
0x20d: V163 = 0x3
0x20f: V164 = S[0x3]
0x211: JUMP 0x475
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x475, V164]
Exit stack: [V10, 0x475, V164]

================================

Block 0x212
[0x212:0x22d]
---
Predecessors: [0x61]
Successors: [0x22e, 0x4ef]
---
0x212 JUMPDEST
0x213 PUSH2 0x317
0x216 PUSH1 0x0
0x218 DUP1
0x219 SLOAD
0x21a PUSH1 0x1
0x21c PUSH1 0xa0
0x21e PUSH1 0x2
0x220 EXP
0x221 SUB
0x222 SWAP1
0x223 DUP2
0x224 AND
0x225 CALLER
0x226 SWAP1
0x227 SWAP2
0x228 AND
0x229 EQ
0x22a PUSH2 0x4ef
0x22d JUMPI
---
0x212: JUMPDEST 
0x213: V165 = 0x317
0x216: V166 = 0x0
0x219: V167 = S[0x0]
0x21a: V168 = 0x1
0x21c: V169 = 0xa0
0x21e: V170 = 0x2
0x220: V171 = EXP 0x2 0xa0
0x221: V172 = SUB 0x10000000000000000000000000000000000000000 0x1
0x224: V173 = AND 0xffffffffffffffffffffffffffffffffffffffff V167
0x225: V174 = CALLER
0x228: V175 = AND 0xffffffffffffffffffffffffffffffffffffffff V174
0x229: V176 = EQ V175 V173
0x22a: V177 = 0x4ef
0x22d: JUMPI 0x4ef V176
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x317, 0x0]
Exit stack: [V10, 0x317, 0x0]

================================

Block 0x22e
[0x22e:0x231]
---
Predecessors: [0x212]
Successors: []
---
0x22e PUSH2 0x2
0x231 JUMP
---
0x22e: V178 = 0x2
0x231: THROW 
---
Entry stack: [V10, 0x317, 0x0]
Stack pops: 0
Stack additions: []
Exit stack: [V10, 0x317, 0x0]

================================

Block 0x232
[0x232:0x250]
---
Predecessors: [0x6c]
Successors: [0x251, 0x57a]
---
0x232 JUMPDEST
0x233 PUSH2 0x317
0x236 PUSH1 0x4
0x238 CALLDATALOAD
0x239 PUSH1 0x0
0x23b DUP1
0x23c SLOAD
0x23d PUSH1 0x1
0x23f PUSH1 0xa0
0x241 PUSH1 0x2
0x243 EXP
0x244 SUB
0x245 SWAP1
0x246 DUP2
0x247 AND
0x248 CALLER
0x249 SWAP1
0x24a SWAP2
0x24b AND
0x24c EQ
0x24d PUSH2 0x57a
0x250 JUMPI
---
0x232: JUMPDEST 
0x233: V179 = 0x317
0x236: V180 = 0x4
0x238: V181 = CALLDATALOAD 0x4
0x239: V182 = 0x0
0x23c: V183 = S[0x0]
0x23d: V184 = 0x1
0x23f: V185 = 0xa0
0x241: V186 = 0x2
0x243: V187 = EXP 0x2 0xa0
0x244: V188 = SUB 0x10000000000000000000000000000000000000000 0x1
0x247: V189 = AND 0xffffffffffffffffffffffffffffffffffffffff V183
0x248: V190 = CALLER
0x24b: V191 = AND 0xffffffffffffffffffffffffffffffffffffffff V190
0x24c: V192 = EQ V191 V189
0x24d: V193 = 0x57a
0x250: JUMPI 0x57a V192
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x317, V181, 0x0]
Exit stack: [V10, 0x317, V181, 0x0]

================================

Block 0x251
[0x251:0x254]
---
Predecessors: [0x232]
Successors: []
---
0x251 PUSH2 0x2
0x254 JUMP
---
0x251: V194 = 0x2
0x254: THROW 
---
Entry stack: [V10, 0x317, V181, 0x0]
Stack pops: 0
Stack additions: []
Exit stack: [V10, 0x317, V181, 0x0]

================================

Block 0x255
[0x255:0x273]
---
Predecessors: [0x77]
Successors: [0x274, 0x5d7]
---
0x255 JUMPDEST
0x256 PUSH2 0x317
0x259 PUSH1 0x4
0x25b CALLDATALOAD
0x25c PUSH1 0x0
0x25e DUP1
0x25f SLOAD
0x260 PUSH1 0x1
0x262 PUSH1 0xa0
0x264 PUSH1 0x2
0x266 EXP
0x267 SUB
0x268 SWAP1
0x269 DUP2
0x26a AND
0x26b CALLER
0x26c SWAP1
0x26d SWAP2
0x26e AND
0x26f EQ
0x270 PUSH2 0x5d7
0x273 JUMPI
---
0x255: JUMPDEST 
0x256: V195 = 0x317
0x259: V196 = 0x4
0x25b: V197 = CALLDATALOAD 0x4
0x25c: V198 = 0x0
0x25f: V199 = S[0x0]
0x260: V200 = 0x1
0x262: V201 = 0xa0
0x264: V202 = 0x2
0x266: V203 = EXP 0x2 0xa0
0x267: V204 = SUB 0x10000000000000000000000000000000000000000 0x1
0x26a: V205 = AND 0xffffffffffffffffffffffffffffffffffffffff V199
0x26b: V206 = CALLER
0x26e: V207 = AND 0xffffffffffffffffffffffffffffffffffffffff V206
0x26f: V208 = EQ V207 V205
0x270: V209 = 0x5d7
0x273: JUMPI 0x5d7 V208
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x317, V197, 0x0]
Exit stack: [V10, 0x317, V197, 0x0]

================================

Block 0x274
[0x274:0x277]
---
Predecessors: [0x255]
Successors: []
---
0x274 PUSH2 0x2
0x277 JUMP
---
0x274: V210 = 0x2
0x277: THROW 
---
Entry stack: [V10, 0x317, V197, 0x0]
Stack pops: 0
Stack additions: []
Exit stack: [V10, 0x317, V197, 0x0]

================================

Block 0x278
[0x278:0x289]
---
Predecessors: [0x82]
Successors: [0x47f]
---
0x278 JUMPDEST
0x279 PUSH2 0x47f
0x27c PUSH1 0x0
0x27e SLOAD
0x27f PUSH1 0x1
0x281 PUSH1 0xa0
0x283 PUSH1 0x2
0x285 EXP
0x286 SUB
0x287 AND
0x288 DUP2
0x289 JUMP
---
0x278: JUMPDEST 
0x279: V211 = 0x47f
0x27c: V212 = 0x0
0x27e: V213 = S[0x0]
0x27f: V214 = 0x1
0x281: V215 = 0xa0
0x283: V216 = 0x2
0x285: V217 = EXP 0x2 0xa0
0x286: V218 = SUB 0x10000000000000000000000000000000000000000 0x1
0x287: V219 = AND 0xffffffffffffffffffffffffffffffffffffffff V213
0x289: JUMP 0x47f
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x47f, V219]
Exit stack: [V10, 0x47f, V219]

================================

Block 0x28a
[0x28a:0x2ab]
---
Predecessors: [0x8d]
Successors: [0x2ac, 0x60f]
---
0x28a JUMPDEST
0x28b PUSH2 0x317
0x28e PUSH1 0x4
0x290 CALLDATALOAD
0x291 PUSH1 0x24
0x293 CALLDATALOAD
0x294 PUSH1 0x0
0x296 DUP1
0x297 SLOAD
0x298 PUSH1 0x1
0x29a PUSH1 0xa0
0x29c PUSH1 0x2
0x29e EXP
0x29f SUB
0x2a0 SWAP1
0x2a1 DUP2
0x2a2 AND
0x2a3 CALLER
0x2a4 SWAP1
0x2a5 SWAP2
0x2a6 AND
0x2a7 EQ
0x2a8 PUSH2 0x60f
0x2ab JUMPI
---
0x28a: JUMPDEST 
0x28b: V220 = 0x317
0x28e: V221 = 0x4
0x290: V222 = CALLDATALOAD 0x4
0x291: V223 = 0x24
0x293: V224 = CALLDATALOAD 0x24
0x294: V225 = 0x0
0x297: V226 = S[0x0]
0x298: V227 = 0x1
0x29a: V228 = 0xa0
0x29c: V229 = 0x2
0x29e: V230 = EXP 0x2 0xa0
0x29f: V231 = SUB 0x10000000000000000000000000000000000000000 0x1
0x2a2: V232 = AND 0xffffffffffffffffffffffffffffffffffffffff V226
0x2a3: V233 = CALLER
0x2a6: V234 = AND 0xffffffffffffffffffffffffffffffffffffffff V233
0x2a7: V235 = EQ V234 V232
0x2a8: V236 = 0x60f
0x2ab: JUMPI 0x60f V235
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x317, V222, V224, 0x0]
Exit stack: [V10, 0x317, V222, V224, 0x0]

================================

Block 0x2ac
[0x2ac:0x2af]
---
Predecessors: [0x28a]
Successors: []
---
0x2ac PUSH2 0x2
0x2af JUMP
---
0x2ac: V237 = 0x2
0x2af: THROW 
---
Entry stack: [V10, 0x317, V222, V224, 0x0]
Stack pops: 0
Stack additions: []
Exit stack: [V10, 0x317, V222, V224, 0x0]

================================

Block 0x2b0
[0x2b0:0x2da]
---
Predecessors: [0x98]
Successors: [0x2db, 0x6a6]
---
0x2b0 JUMPDEST
0x2b1 PUSH2 0x317
0x2b4 PUSH1 0x4
0x2b6 CALLDATALOAD
0x2b7 PUSH1 0x24
0x2b9 CALLDATALOAD
0x2ba PUSH1 0x44
0x2bc CALLDATALOAD
0x2bd PUSH1 0x64
0x2bf CALLDATALOAD
0x2c0 PUSH1 0x84
0x2c2 CALLDATALOAD
0x2c3 PUSH1 0x0
0x2c5 DUP1
0x2c6 SLOAD
0x2c7 PUSH1 0x1
0x2c9 PUSH1 0xa0
0x2cb PUSH1 0x2
0x2cd EXP
0x2ce SUB
0x2cf SWAP1
0x2d0 DUP2
0x2d1 AND
0x2d2 CALLER
0x2d3 SWAP1
0x2d4 SWAP2
0x2d5 AND
0x2d6 EQ
0x2d7 PUSH2 0x6a6
0x2da JUMPI
---
0x2b0: JUMPDEST 
0x2b1: V238 = 0x317
0x2b4: V239 = 0x4
0x2b6: V240 = CALLDATALOAD 0x4
0x2b7: V241 = 0x24
0x2b9: V242 = CALLDATALOAD 0x24
0x2ba: V243 = 0x44
0x2bc: V244 = CALLDATALOAD 0x44
0x2bd: V245 = 0x64
0x2bf: V246 = CALLDATALOAD 0x64
0x2c0: V247 = 0x84
0x2c2: V248 = CALLDATALOAD 0x84
0x2c3: V249 = 0x0
0x2c6: V250 = S[0x0]
0x2c7: V251 = 0x1
0x2c9: V252 = 0xa0
0x2cb: V253 = 0x2
0x2cd: V254 = EXP 0x2 0xa0
0x2ce: V255 = SUB 0x10000000000000000000000000000000000000000 0x1
0x2d1: V256 = AND 0xffffffffffffffffffffffffffffffffffffffff V250
0x2d2: V257 = CALLER
0x2d5: V258 = AND 0xffffffffffffffffffffffffffffffffffffffff V257
0x2d6: V259 = EQ V258 V256
0x2d7: V260 = 0x6a6
0x2da: JUMPI 0x6a6 V259
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x317, V240, V242, V244, V246, V248, 0x0]
Exit stack: [V10, 0x317, V240, V242, V244, V246, V248, 0x0]

================================

Block 0x2db
[0x2db:0x2de]
---
Predecessors: [0x2b0]
Successors: []
---
0x2db PUSH2 0x2
0x2de JUMP
---
0x2db: V261 = 0x2
0x2de: THROW 
---
Entry stack: [V10, 0x317, V240, V242, V244, V246, V248, 0x0]
Stack pops: 0
Stack additions: []
Exit stack: [V10, 0x317, V240, V242, V244, V246, V248, 0x0]

================================

Block 0x2df
[0x2df:0x300]
---
Predecessors: [0xa3]
Successors: [0x301, 0x7bb]
---
0x2df JUMPDEST
0x2e0 PUSH2 0x317
0x2e3 PUSH1 0x4
0x2e5 CALLDATALOAD
0x2e6 PUSH1 0x24
0x2e8 CALLDATALOAD
0x2e9 PUSH1 0x0
0x2eb DUP1
0x2ec SLOAD
0x2ed PUSH1 0x1
0x2ef PUSH1 0xa0
0x2f1 PUSH1 0x2
0x2f3 EXP
0x2f4 SUB
0x2f5 SWAP1
0x2f6 DUP2
0x2f7 AND
0x2f8 CALLER
0x2f9 SWAP1
0x2fa SWAP2
0x2fb AND
0x2fc EQ
0x2fd PUSH2 0x7bb
0x300 JUMPI
---
0x2df: JUMPDEST 
0x2e0: V262 = 0x317
0x2e3: V263 = 0x4
0x2e5: V264 = CALLDATALOAD 0x4
0x2e6: V265 = 0x24
0x2e8: V266 = CALLDATALOAD 0x24
0x2e9: V267 = 0x0
0x2ec: V268 = S[0x0]
0x2ed: V269 = 0x1
0x2ef: V270 = 0xa0
0x2f1: V271 = 0x2
0x2f3: V272 = EXP 0x2 0xa0
0x2f4: V273 = SUB 0x10000000000000000000000000000000000000000 0x1
0x2f7: V274 = AND 0xffffffffffffffffffffffffffffffffffffffff V268
0x2f8: V275 = CALLER
0x2fb: V276 = AND 0xffffffffffffffffffffffffffffffffffffffff V275
0x2fc: V277 = EQ V276 V274
0x2fd: V278 = 0x7bb
0x300: JUMPI 0x7bb V277
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x317, V264, V266, 0x0]
Exit stack: [V10, 0x317, V264, V266, 0x0]

================================

Block 0x301
[0x301:0x304]
---
Predecessors: [0x2df]
Successors: []
---
0x301 PUSH2 0x2
0x304 JUMP
---
0x301: V279 = 0x2
0x304: THROW 
---
Entry stack: [V10, 0x317, V264, V266, 0x0]
Stack pops: 0
Stack additions: []
Exit stack: [V10, 0x317, V264, V266, 0x0]

================================

Block 0x305
[0x305:0x316]
---
Predecessors: [0xae]
Successors: [0x47f]
---
0x305 JUMPDEST
0x306 PUSH2 0x47f
0x309 PUSH1 0x1
0x30b SLOAD
0x30c PUSH1 0x1
0x30e PUSH1 0xa0
0x310 PUSH1 0x2
0x312 EXP
0x313 SUB
0x314 AND
0x315 DUP2
0x316 JUMP
---
0x305: JUMPDEST 
0x306: V280 = 0x47f
0x309: V281 = 0x1
0x30b: V282 = S[0x1]
0x30c: V283 = 0x1
0x30e: V284 = 0xa0
0x310: V285 = 0x2
0x312: V286 = EXP 0x2 0xa0
0x313: V287 = SUB 0x10000000000000000000000000000000000000000 0x1
0x314: V288 = AND 0xffffffffffffffffffffffffffffffffffffffff V282
0x316: JUMP 0x47f
---
Entry stack: [V10]
Stack pops: 0
Stack additions: [0x47f, V288]
Exit stack: [V10, 0x47f, V288]

================================

Block 0x317
[0x317:0x328]
---
Predecessors: [0x19b, 0x4ea, 0x6a0, 0x765]
Successors: []
---
0x317 JUMPDEST
0x318 PUSH1 0x40
0x31a DUP1
0x31b MLOAD
0x31c SWAP2
0x31d DUP3
0x31e MSTORE
0x31f MLOAD
0x320 SWAP1
0x321 DUP2
0x322 SWAP1
0x323 SUB
0x324 PUSH1 0x20
0x326 ADD
0x327 SWAP1
0x328 RETURN
---
0x317: JUMPDEST 
0x318: V289 = 0x40
0x31b: V290 = M[0x40]
0x31e: M[V290] = 0x1
0x31f: V291 = M[0x40]
0x323: V292 = SUB V290 V291
0x324: V293 = 0x20
0x326: V294 = ADD 0x20 V292
0x328: RETURN V291 V294
---
Entry stack: [V10, 0x1]
Stack pops: 1
Stack additions: []
Exit stack: [V10]

================================

Block 0x329
[0x329:0x33c]
---
Predecessors: [0x10f]
Successors: [0x33d, 0x402]
---
0x329 JUMPDEST
0x32a PUSH1 0x5
0x32c SLOAD
0x32d PUSH1 0x3
0x32f SLOAD
0x330 PUSH1 0x0
0x332 NOT
0x333 SWAP1
0x334 SWAP2
0x335 ADD
0x336 SWAP1
0x337 GT
0x338 ISZERO
0x339 PUSH2 0x402
0x33c JUMPI
---
0x329: JUMPDEST 
0x32a: V295 = 0x5
0x32c: V296 = S[0x5]
0x32d: V297 = 0x3
0x32f: V298 = S[0x3]
0x330: V299 = 0x0
0x332: V300 = NOT 0x0
0x335: V301 = ADD V296 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0x337: V302 = GT V298 V301
0x338: V303 = ISZERO V302
0x339: V304 = 0x402
0x33c: JUMPI 0x402 V303
---
Entry stack: [V10, 0x317, 0x0]
Stack pops: 0
Stack additions: []
Exit stack: [V10, 0x317, 0x0]

================================

Block 0x33d
[0x33d:0x3ae]
---
Predecessors: [0x329]
Successors: [0x3af]
---
0x33d PUSH1 0x40
0x33f DUP1
0x340 MLOAD
0x341 PUSH1 0x2
0x343 SLOAD
0x344 PUSH1 0x6
0x346 SLOAD
0x347 PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
0x368 DUP4
0x369 MSTORE
0x36a ADDRESS
0x36b PUSH1 0x1
0x36d PUSH1 0xa0
0x36f PUSH1 0x2
0x371 EXP
0x372 SUB
0x373 SWAP1
0x374 DUP2
0x375 AND
0x376 PUSH1 0x4
0x378 DUP6
0x379 ADD
0x37a MSTORE
0x37b SWAP4
0x37c MLOAD
0x37d SWAP2
0x37e DUP5
0x37f AND
0x380 SWAP4
0x381 PUSH4 0xa9059cbb
0x386 SWAP4
0x387 SWAP2
0x388 AND
0x389 SWAP2
0x38a DUP5
0x38b SWAP2
0x38c PUSH4 0x70a08231
0x391 SWAP2
0x392 PUSH1 0x24
0x394 DUP1
0x395 DUP4
0x396 ADD
0x397 SWAP3
0x398 PUSH1 0x20
0x39a SWAP3
0x39b SWAP2
0x39c SWAP1
0x39d DUP3
0x39e SWAP1
0x39f SUB
0x3a0 ADD
0x3a1 DUP2
0x3a2 DUP11
0x3a3 DUP8
0x3a4 PUSH2 0x61da
0x3a7 GAS
0x3a8 SUB
0x3a9 CALL
0x3aa ISZERO
0x3ab PUSH2 0x2
0x3ae JUMPI
---
0x33d: V305 = 0x40
0x340: V306 = M[0x40]
0x341: V307 = 0x2
0x343: V308 = S[0x2]
0x344: V309 = 0x6
0x346: V310 = S[0x6]
0x347: V311 = 0x70a0823100000000000000000000000000000000000000000000000000000000
0x369: M[V306] = 0x70a0823100000000000000000000000000000000000000000000000000000000
0x36a: V312 = ADDRESS
0x36b: V313 = 0x1
0x36d: V314 = 0xa0
0x36f: V315 = 0x2
0x371: V316 = EXP 0x2 0xa0
0x372: V317 = SUB 0x10000000000000000000000000000000000000000 0x1
0x375: V318 = AND 0xffffffffffffffffffffffffffffffffffffffff V312
0x376: V319 = 0x4
0x379: V320 = ADD V306 0x4
0x37a: M[V320] = V318
0x37c: V321 = M[0x40]
0x37f: V322 = AND 0xffffffffffffffffffffffffffffffffffffffff V308
0x381: V323 = 0xa9059cbb
0x388: V324 = AND V310 0xffffffffffffffffffffffffffffffffffffffff
0x38c: V325 = 0x70a08231
0x392: V326 = 0x24
0x396: V327 = ADD V306 0x24
0x398: V328 = 0x20
0x39f: V329 = SUB V306 V321
0x3a0: V330 = ADD V329 0x24
0x3a4: V331 = 0x61da
0x3a7: V332 = GAS
0x3a8: V333 = SUB V332 0x61da
0x3a9: V334 = CALL V333 V322 0x0 V321 V330 V321 0x20
0x3aa: V335 = ISZERO V334
0x3ab: V336 = 0x2
0x3ae: THROWI V335
---
Entry stack: [V10, 0x317, 0x0]
Stack pops: 1
Stack additions: [S0, V322, 0xa9059cbb, V324, V322, 0x70a08231, V327]
Exit stack: [V10, 0x317, 0x0, V322, 0xa9059cbb, V324, V322, 0x70a08231, V327]

================================

Block 0x3af
[0x3af:0x3f0]
---
Predecessors: [0x33d]
Successors: [0x3f1]
---
0x3af POP
0x3b0 POP
0x3b1 PUSH1 0x40
0x3b3 DUP1
0x3b4 MLOAD
0x3b5 DUP1
0x3b6 MLOAD
0x3b7 PUSH1 0xe0
0x3b9 PUSH1 0x2
0x3bb EXP
0x3bc PUSH4 0xa9059cbb
0x3c1 MUL
0x3c2 DUP3
0x3c3 MSTORE
0x3c4 PUSH1 0x4
0x3c6 DUP3
0x3c7 ADD
0x3c8 SWAP5
0x3c9 SWAP1
0x3ca SWAP5
0x3cb MSTORE
0x3cc PUSH1 0x24
0x3ce DUP2
0x3cf ADD
0x3d0 SWAP4
0x3d1 SWAP1
0x3d2 SWAP4
0x3d3 MSTORE
0x3d4 MLOAD
0x3d5 PUSH1 0x44
0x3d7 DUP1
0x3d8 DUP5
0x3d9 ADD
0x3da SWAP4
0x3db PUSH1 0x20
0x3dd SWAP4
0x3de POP
0x3df DUP3
0x3e0 SWAP1
0x3e1 SUB
0x3e2 ADD
0x3e3 DUP2
0x3e4 DUP8
0x3e5 DUP8
0x3e6 PUSH2 0x61da
0x3e9 GAS
0x3ea SUB
0x3eb CALL
0x3ec ISZERO
0x3ed PUSH2 0x2
0x3f0 JUMPI
---
0x3b1: V337 = 0x40
0x3b4: V338 = M[0x40]
0x3b6: V339 = M[V338]
0x3b7: V340 = 0xe0
0x3b9: V341 = 0x2
0x3bb: V342 = EXP 0x2 0xe0
0x3bc: V343 = 0xa9059cbb
0x3c1: V344 = MUL 0xa9059cbb 0x100000000000000000000000000000000000000000000000000000000
0x3c3: M[V338] = 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0x3c4: V345 = 0x4
0x3c7: V346 = ADD V338 0x4
0x3cb: M[V346] = V324
0x3cc: V347 = 0x24
0x3cf: V348 = ADD V338 0x24
0x3d3: M[V348] = V339
0x3d4: V349 = M[0x40]
0x3d5: V350 = 0x44
0x3d9: V351 = ADD V338 0x44
0x3db: V352 = 0x20
0x3e1: V353 = SUB V338 V349
0x3e2: V354 = ADD V353 0x44
0x3e6: V355 = 0x61da
0x3e9: V356 = GAS
0x3ea: V357 = SUB V356 0x61da
0x3eb: V358 = CALL V357 V322 0x0 V349 V354 V349 0x20
0x3ec: V359 = ISZERO V358
0x3ed: V360 = 0x2
0x3f0: THROWI V359
---
Entry stack: [V10, 0x317, 0x0, V322, 0xa9059cbb, V324, V322, 0x70a08231, V327]
Stack pops: 7
Stack additions: [S6, S5, S4, V351]
Exit stack: [V10, 0x317, 0x0, V322, 0xa9059cbb, V351]

================================

Block 0x3f1
[0x3f1:0x401]
---
Predecessors: [0x3af]
Successors: [0x19b]
---
0x3f1 POP
0x3f2 POP
0x3f3 PUSH1 0x1
0x3f5 PUSH1 0x3
0x3f7 DUP2
0x3f8 SWAP1
0x3f9 SSTORE
0x3fa SWAP2
0x3fb POP
0x3fc PUSH2 0x19b
0x3ff SWAP1
0x400 POP
0x401 JUMP
---
0x3f3: V361 = 0x1
0x3f5: V362 = 0x3
0x3f9: S[0x3] = 0x1
0x3fc: V363 = 0x19b
0x401: JUMP 0x19b
---
Entry stack: [V10, 0x317, 0x0, V322, 0xa9059cbb, V351]
Stack pops: 4
Stack additions: [0x1]
Exit stack: [V10, 0x317, 0x1]

================================

Block 0x402
[0x402:0x468]
---
Predecessors: [0x329]
Successors: [0x469]
---
0x402 JUMPDEST
0x403 PUSH1 0x40
0x405 DUP1
0x406 MLOAD
0x407 PUSH1 0x3
0x409 DUP1
0x40a SLOAD
0x40b PUSH1 0x1
0x40d SWAP1
0x40e DUP2
0x40f ADD
0x410 SWAP1
0x411 SWAP2
0x412 SSTORE
0x413 PUSH1 0x2
0x415 SLOAD
0x416 PUSH1 0x4
0x418 DUP1
0x419 SLOAD
0x41a SWAP3
0x41b SLOAD
0x41c PUSH1 0xe2
0x41e PUSH1 0x2
0x420 EXP
0x421 PUSH4 0x20998771
0x426 MUL
0x427 DUP6
0x428 MSTORE
0x429 SWAP1
0x42a DUP5
0x42b ADD
0x42c SWAP3
0x42d SWAP1
0x42e SWAP3
0x42f MSTORE
0x430 PUSH1 0x1
0x432 PUSH1 0xa0
0x434 PUSH1 0x2
0x436 EXP
0x437 SUB
0x438 SWAP2
0x439 DUP3
0x43a AND
0x43b PUSH1 0x24
0x43d DUP5
0x43e ADD
0x43f MSTORE
0x440 SWAP3
0x441 MLOAD
0x442 SWAP3
0x443 AND
0x444 SWAP2
0x445 PUSH4 0x82661dc4
0x44a SWAP2
0x44b PUSH1 0x44
0x44d DUP1
0x44e DUP3
0x44f ADD
0x450 SWAP3
0x451 PUSH1 0x20
0x453 SWAP3
0x454 SWAP1
0x455 SWAP2
0x456 SWAP1
0x457 DUP3
0x458 SWAP1
0x459 SUB
0x45a ADD
0x45b DUP2
0x45c DUP8
0x45d DUP8
0x45e PUSH2 0x61da
0x461 GAS
0x462 SUB
0x463 CALL
0x464 ISZERO
0x465 PUSH2 0x2
0x468 JUMPI
---
0x402: JUMPDEST 
0x403: V364 = 0x40
0x406: V365 = M[0x40]
0x407: V366 = 0x3
0x40a: V367 = S[0x3]
0x40b: V368 = 0x1
0x40f: V369 = ADD 0x1 V367
0x412: S[0x3] = V369
0x413: V370 = 0x2
0x415: V371 = S[0x2]
0x416: V372 = 0x4
0x419: V373 = S[0x4]
0x41b: V374 = S[0x1]
0x41c: V375 = 0xe2
0x41e: V376 = 0x2
0x420: V377 = EXP 0x2 0xe2
0x421: V378 = 0x20998771
0x426: V379 = MUL 0x20998771 0x400000000000000000000000000000000000000000000000000000000
0x428: M[V365] = 0x82661dc400000000000000000000000000000000000000000000000000000000
0x42b: V380 = ADD V365 0x4
0x42f: M[V380] = V373
0x430: V381 = 0x1
0x432: V382 = 0xa0
0x434: V383 = 0x2
0x436: V384 = EXP 0x2 0xa0
0x437: V385 = SUB 0x10000000000000000000000000000000000000000 0x1
0x43a: V386 = AND 0xffffffffffffffffffffffffffffffffffffffff V374
0x43b: V387 = 0x24
0x43e: V388 = ADD V365 0x24
0x43f: M[V388] = V386
0x441: V389 = M[0x40]
0x443: V390 = AND V371 0xffffffffffffffffffffffffffffffffffffffff
0x445: V391 = 0x82661dc4
0x44b: V392 = 0x44
0x44f: V393 = ADD V365 0x44
0x451: V394 = 0x20
0x459: V395 = SUB V365 V389
0x45a: V396 = ADD V395 0x44
0x45e: V397 = 0x61da
0x461: V398 = GAS
0x462: V399 = SUB V398 0x61da
0x463: V400 = CALL V399 V390 0x0 V389 V396 V389 0x20
0x464: V401 = ISZERO V400
0x465: V402 = 0x2
0x468: THROWI V401
---
Entry stack: [V10, 0x317, 0x0]
Stack pops: 1
Stack additions: [S0, V390, 0x82661dc4, V393]
Exit stack: [V10, 0x317, 0x0, V390, 0x82661dc4, V393]

================================

Block 0x469
[0x469:0x474]
---
Predecessors: [0x402]
Successors: [0x19b]
---
0x469 POP
0x46a PUSH1 0x1
0x46c SWAP3
0x46d POP
0x46e PUSH2 0x19b
0x471 SWAP2
0x472 POP
0x473 POP
0x474 JUMP
---
0x46a: V403 = 0x1
0x46e: V404 = 0x19b
0x474: JUMP 0x19b
---
Entry stack: [V10, 0x317, 0x0, V390, 0x82661dc4, V393]
Stack pops: 4
Stack additions: [0x1]
Exit stack: [V10, 0x317, 0x1]

================================

Block 0x475
[0x475:0x47e]
---
Predecessors: [0x1c1, 0x1ca, 0x209]
Successors: []
---
0x475 JUMPDEST
0x476 PUSH1 0x60
0x478 SWAP1
0x479 DUP2
0x47a MSTORE
0x47b PUSH1 0x20
0x47d SWAP1
0x47e RETURN
---
0x475: JUMPDEST 
0x476: V405 = 0x60
0x47a: M[0x60] = S0
0x47b: V406 = 0x20
0x47e: RETURN 0x60 0x20
---
Entry stack: [V10, 0x475, S0]
Stack pops: 1
Stack additions: []
Exit stack: [V10, 0x475]

================================

Block 0x47f
[0x47f:0x491]
---
Predecessors: [0x1d3, 0x1e5, 0x1f7, 0x278, 0x305]
Successors: []
---
0x47f JUMPDEST
0x480 PUSH1 0x1
0x482 PUSH1 0xa0
0x484 PUSH1 0x2
0x486 EXP
0x487 SUB
0x488 AND
0x489 PUSH1 0x60
0x48b SWAP1
0x48c DUP2
0x48d MSTORE
0x48e PUSH1 0x20
0x490 SWAP1
0x491 RETURN
---
0x47f: JUMPDEST 
0x480: V407 = 0x1
0x482: V408 = 0xa0
0x484: V409 = 0x2
0x486: V410 = EXP 0x2 0xa0
0x487: V411 = SUB 0x10000000000000000000000000000000000000000 0x1
0x488: V412 = AND 0xffffffffffffffffffffffffffffffffffffffff S0
0x489: V413 = 0x60
0x48d: M[0x60] = V412
0x48e: V414 = 0x20
0x491: RETURN 0x60 0x20
---
Entry stack: [V10, 0x47f, S0]
Stack pops: 1
Stack additions: []
Exit stack: [V10, 0x47f]

================================

Block 0x492
[0x492:0x4e9]
---
Predecessors: [0x19e]
Successors: [0x4ea]
---
0x492 JUMPDEST
0x493 PUSH1 0x1
0x495 PUSH1 0xa0
0x497 PUSH1 0x2
0x499 EXP
0x49a SUB
0x49b DUP3
0x49c AND
0x49d PUSH1 0x60
0x49f SWAP1
0x4a0 DUP2
0x4a1 MSTORE
0x4a2 PUSH32 0x3edd90e7770f06fafde38004653b33870066c33bfc923ff6102acd601f85dfbc
0x4c3 SWAP1
0x4c4 PUSH1 0x20
0x4c6 SWAP1
0x4c7 LOG1
0x4c8 DUP2
0x4c9 PUSH1 0x0
0x4cb PUSH1 0x0
0x4cd PUSH2 0x100
0x4d0 EXP
0x4d1 DUP2
0x4d2 SLOAD
0x4d3 DUP2
0x4d4 PUSH1 0x1
0x4d6 PUSH1 0xa0
0x4d8 PUSH1 0x2
0x4da EXP
0x4db SUB
0x4dc MUL
0x4dd NOT
0x4de AND
0x4df SWAP1
0x4e0 DUP4
0x4e1 MUL
0x4e2 OR
0x4e3 SWAP1
0x4e4 SSTORE
0x4e5 POP
0x4e6 PUSH1 0x1
0x4e8 SWAP1
0x4e9 POP
---
0x492: JUMPDEST 
0x493: V415 = 0x1
0x495: V416 = 0xa0
0x497: V417 = 0x2
0x499: V418 = EXP 0x2 0xa0
0x49a: V419 = SUB 0x10000000000000000000000000000000000000000 0x1
0x49c: V420 = AND V115 0xffffffffffffffffffffffffffffffffffffffff
0x49d: V421 = 0x60
0x4a1: M[0x60] = V420
0x4a2: V422 = 0x3edd90e7770f06fafde38004653b33870066c33bfc923ff6102acd601f85dfbc
0x4c4: V423 = 0x20
0x4c7: LOG 0x60 0x20 0x3edd90e7770f06fafde38004653b33870066c33bfc923ff6102acd601f85dfbc
0x4c9: V424 = 0x0
0x4cb: V425 = 0x0
0x4cd: V426 = 0x100
0x4d0: V427 = EXP 0x100 0x0
0x4d2: V428 = S[0x0]
0x4d4: V429 = 0x1
0x4d6: V430 = 0xa0
0x4d8: V431 = 0x2
0x4da: V432 = EXP 0x2 0xa0
0x4db: V433 = SUB 0x10000000000000000000000000000000000000000 0x1
0x4dc: V434 = MUL 0xffffffffffffffffffffffffffffffffffffffff 0x1
0x4dd: V435 = NOT 0xffffffffffffffffffffffffffffffffffffffff
0x4de: V436 = AND 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 V428
0x4e1: V437 = MUL V115 0x1
0x4e2: V438 = OR V437 V436
0x4e4: S[0x0] = V438
0x4e6: V439 = 0x1
---
Entry stack: [V10, 0x317, V115, 0x0]
Stack pops: 2
Stack additions: [S1, 0x1]
Exit stack: [V10, 0x317, V115, 0x1]

================================

Block 0x4ea
[0x4ea:0x4ee]
---
Predecessors: [0x492, 0x57a, 0x5d7]
Successors: [0x317]
---
0x4ea JUMPDEST
0x4eb SWAP2
0x4ec SWAP1
0x4ed POP
0x4ee JUMP
---
0x4ea: JUMPDEST 
0x4ee: JUMP 0x317
---
Entry stack: [V10, 0x317, S1, 0x1]
Stack pops: 3
Stack additions: [S0]
Exit stack: [V10, 0x1]

================================

Block 0x4ef
[0x4ef:0x56d]
---
Predecessors: [0x212]
Successors: [0x56e]
---
0x4ef JUMPDEST
0x4f0 PUSH1 0x1
0x4f2 PUSH1 0x3
0x4f4 SSTORE
0x4f5 PUSH1 0x7
0x4f7 SLOAD
0x4f8 PUSH1 0x1
0x4fa PUSH1 0xa0
0x4fc PUSH1 0x2
0x4fe EXP
0x4ff SUB
0x500 SWAP1
0x501 DUP2
0x502 AND
0x503 SWAP1
0x504 DUP3
0x505 SWAP1
0x506 ADDRESS
0x507 AND
0x508 BALANCE
0x509 PUSH1 0x60
0x50b DUP3
0x50c DUP2
0x50d DUP2
0x50e DUP2
0x50f DUP6
0x510 DUP9
0x511 DUP4
0x512 CALL
0x513 POP
0x514 POP
0x515 PUSH1 0x40
0x517 DUP1
0x518 MLOAD
0x519 PUSH1 0x2
0x51b SLOAD
0x51c PUSH1 0x1
0x51e SLOAD
0x51f PUSH1 0x4
0x521 DUP1
0x522 SLOAD
0x523 PUSH1 0xe2
0x525 PUSH1 0x2
0x527 EXP
0x528 PUSH4 0x20998771
0x52d MUL
0x52e DUP6
0x52f MSTORE
0x530 SWAP1
0x531 DUP5
0x532 ADD
0x533 MSTORE
0x534 PUSH1 0x1
0x536 PUSH1 0xa0
0x538 PUSH1 0x2
0x53a EXP
0x53b SUB
0x53c SWAP1
0x53d DUP2
0x53e AND
0x53f PUSH1 0x24
0x541 DUP5
0x542 ADD
0x543 MSTORE
0x544 SWAP3
0x545 MLOAD
0x546 SWAP3
0x547 AND
0x548 SWAP5
0x549 POP
0x54a PUSH4 0x82661dc4
0x54f SWAP4
0x550 POP
0x551 PUSH1 0x44
0x553 DUP1
0x554 DUP3
0x555 ADD
0x556 SWAP4
0x557 POP
0x558 PUSH1 0x20
0x55a SWAP3
0x55b SWAP2
0x55c DUP3
0x55d SWAP1
0x55e SUB
0x55f ADD
0x560 DUP2
0x561 DUP8
0x562 DUP8
0x563 PUSH2 0x61da
0x566 GAS
0x567 SUB
0x568 CALL
0x569 ISZERO
0x56a PUSH2 0x2
0x56d JUMPI
---
0x4ef: JUMPDEST 
0x4f0: V440 = 0x1
0x4f2: V441 = 0x3
0x4f4: S[0x3] = 0x1
0x4f5: V442 = 0x7
0x4f7: V443 = S[0x7]
0x4f8: V444 = 0x1
0x4fa: V445 = 0xa0
0x4fc: V446 = 0x2
0x4fe: V447 = EXP 0x2 0xa0
0x4ff: V448 = SUB 0x10000000000000000000000000000000000000000 0x1
0x502: V449 = AND 0xffffffffffffffffffffffffffffffffffffffff V443
0x506: V450 = ADDRESS
0x507: V451 = AND V450 0xffffffffffffffffffffffffffffffffffffffff
0x508: V452 = BALANCE V451
0x509: V453 = 0x60
0x512: V454 = CALL 0x0 V449 V452 0x60 0x0 0x60 0x0
0x515: V455 = 0x40
0x518: V456 = M[0x40]
0x519: V457 = 0x2
0x51b: V458 = S[0x2]
0x51c: V459 = 0x1
0x51e: V460 = S[0x1]
0x51f: V461 = 0x4
0x522: V462 = S[0x4]
0x523: V463 = 0xe2
0x525: V464 = 0x2
0x527: V465 = EXP 0x2 0xe2
0x528: V466 = 0x20998771
0x52d: V467 = MUL 0x20998771 0x400000000000000000000000000000000000000000000000000000000
0x52f: M[V456] = 0x82661dc400000000000000000000000000000000000000000000000000000000
0x532: V468 = ADD V456 0x4
0x533: M[V468] = V462
0x534: V469 = 0x1
0x536: V470 = 0xa0
0x538: V471 = 0x2
0x53a: V472 = EXP 0x2 0xa0
0x53b: V473 = SUB 0x10000000000000000000000000000000000000000 0x1
0x53e: V474 = AND 0xffffffffffffffffffffffffffffffffffffffff V460
0x53f: V475 = 0x24
0x542: V476 = ADD V456 0x24
0x543: M[V476] = V474
0x545: V477 = M[0x40]
0x547: V478 = AND 0xffffffffffffffffffffffffffffffffffffffff V458
0x54a: V479 = 0x82661dc4
0x551: V480 = 0x44
0x555: V481 = ADD V456 0x44
0x558: V482 = 0x20
0x55e: V483 = SUB V456 V477
0x55f: V484 = ADD V483 0x44
0x563: V485 = 0x61da
0x566: V486 = GAS
0x567: V487 = SUB V486 0x61da
0x568: V488 = CALL V487 V478 0x0 V477 V484 V477 0x20
0x569: V489 = ISZERO V488
0x56a: V490 = 0x2
0x56d: THROWI V489
---
Entry stack: [V10, 0x317, 0x0]
Stack pops: 1
Stack additions: [S0, V478, 0x82661dc4, V481]
Exit stack: [V10, 0x317, 0x0, V478, 0x82661dc4, V481]

================================

Block 0x56e
[0x56e:0x579]
---
Predecessors: [0x4ef]
Successors: [0x19b]
---
0x56e POP
0x56f PUSH1 0x1
0x571 SWAP3
0x572 POP
0x573 PUSH2 0x19b
0x576 SWAP2
0x577 POP
0x578 POP
0x579 JUMP
---
0x56f: V491 = 0x1
0x573: V492 = 0x19b
0x579: JUMP 0x19b
---
Entry stack: [V10, 0x317, 0x0, V478, 0x82661dc4, V481]
Stack pops: 4
Stack additions: [0x1]
Exit stack: [V10, 0x317, 0x1]

================================

Block 0x57a
[0x57a:0x5d6]
---
Predecessors: [0x232]
Successors: [0x4ea]
---
0x57a JUMPDEST
0x57b PUSH1 0x2
0x57d DUP1
0x57e SLOAD
0x57f PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0x594 NOT
0x595 AND
0x596 DUP4
0x597 OR
0x598 SWAP1
0x599 DUP2
0x59a SWAP1
0x59b SSTORE
0x59c PUSH1 0x1
0x59e PUSH1 0xa0
0x5a0 PUSH1 0x2
0x5a2 EXP
0x5a3 SUB
0x5a4 AND
0x5a5 PUSH1 0x60
0x5a7 SWAP1
0x5a8 DUP2
0x5a9 MSTORE
0x5aa PUSH32 0xce6a5015a40a2ec38ce912a63bca374d85386207c6927d284292449f14310822
0x5cb SWAP1
0x5cc PUSH1 0x20
0x5ce SWAP1
0x5cf LOG1
0x5d0 POP
0x5d1 PUSH1 0x1
0x5d3 PUSH2 0x4ea
0x5d6 JUMP
---
0x57a: JUMPDEST 
0x57b: V493 = 0x2
0x57e: V494 = S[0x2]
0x57f: V495 = 0xffffffffffffffffffffffffffffffffffffffff
0x594: V496 = NOT 0xffffffffffffffffffffffffffffffffffffffff
0x595: V497 = AND 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 V494
0x597: V498 = OR V181 V497
0x59b: S[0x2] = V498
0x59c: V499 = 0x1
0x59e: V500 = 0xa0
0x5a0: V501 = 0x2
0x5a2: V502 = EXP 0x2 0xa0
0x5a3: V503 = SUB 0x10000000000000000000000000000000000000000 0x1
0x5a4: V504 = AND 0xffffffffffffffffffffffffffffffffffffffff V498
0x5a5: V505 = 0x60
0x5a9: M[0x60] = V504
0x5aa: V506 = 0xce6a5015a40a2ec38ce912a63bca374d85386207c6927d284292449f14310822
0x5cc: V507 = 0x20
0x5cf: LOG 0x60 0x20 0xce6a5015a40a2ec38ce912a63bca374d85386207c6927d284292449f14310822
0x5d1: V508 = 0x1
0x5d3: V509 = 0x4ea
0x5d6: JUMP 0x4ea
---
Entry stack: [V10, 0x317, V181, 0x0]
Stack pops: 2
Stack additions: [S1, 0x1]
Exit stack: [V10, 0x317, V181, 0x1]

================================

Block 0x5d7
[0x5d7:0x60e]
---
Predecessors: [0x255]
Successors: [0x4ea]
---
0x5d7 JUMPDEST
0x5d8 PUSH1 0x5
0x5da DUP3
0x5db SWAP1
0x5dc SSTORE
0x5dd PUSH1 0x60
0x5df DUP3
0x5e0 DUP2
0x5e1 MSTORE
0x5e2 PUSH32 0xbab6859bc098da798dbdc4860f0fee7467d703dadd975799e8c258b46a37d3de
0x603 SWAP1
0x604 PUSH1 0x20
0x606 SWAP1
0x607 LOG1
0x608 POP
0x609 PUSH1 0x1
0x60b PUSH2 0x4ea
0x60e JUMP
---
0x5d7: JUMPDEST 
0x5d8: V510 = 0x5
0x5dc: S[0x5] = V197
0x5dd: V511 = 0x60
0x5e1: M[0x60] = V197
0x5e2: V512 = 0xbab6859bc098da798dbdc4860f0fee7467d703dadd975799e8c258b46a37d3de
0x604: V513 = 0x20
0x607: LOG 0x60 0x20 0xbab6859bc098da798dbdc4860f0fee7467d703dadd975799e8c258b46a37d3de
0x609: V514 = 0x1
0x60b: V515 = 0x4ea
0x60e: JUMP 0x4ea
---
Entry stack: [V10, 0x317, V197, 0x0]
Stack pops: 2
Stack additions: [S1, 0x1]
Exit stack: [V10, 0x317, V197, 0x1]

================================

Block 0x60f
[0x60f:0x655]
---
Predecessors: [0x28a]
Successors: [0x656]
---
0x60f JUMPDEST
0x610 PUSH1 0x2
0x612 SLOAD
0x613 PUSH1 0xe0
0x615 PUSH1 0x2
0x617 EXP
0x618 PUSH4 0xa9059cbb
0x61d MUL
0x61e PUSH1 0x60
0x620 SWAP1
0x621 DUP2
0x622 MSTORE
0x623 PUSH1 0x1
0x625 PUSH1 0xa0
0x627 PUSH1 0x2
0x629 EXP
0x62a SUB
0x62b DUP6
0x62c DUP2
0x62d AND
0x62e PUSH1 0x64
0x630 MSTORE
0x631 PUSH1 0x84
0x633 DUP6
0x634 SWAP1
0x635 MSTORE
0x636 SWAP1
0x637 SWAP2
0x638 AND
0x639 SWAP1
0x63a PUSH4 0xa9059cbb
0x63f SWAP1
0x640 PUSH1 0xa4
0x642 SWAP1
0x643 PUSH1 0x20
0x645 SWAP1
0x646 PUSH1 0x44
0x648 DUP2
0x649 DUP8
0x64a DUP8
0x64b PUSH2 0x61da
0x64e GAS
0x64f SUB
0x650 CALL
0x651 ISZERO
0x652 PUSH2 0x2
0x655 JUMPI
---
0x60f: JUMPDEST 
0x610: V516 = 0x2
0x612: V517 = S[0x2]
0x613: V518 = 0xe0
0x615: V519 = 0x2
0x617: V520 = EXP 0x2 0xe0
0x618: V521 = 0xa9059cbb
0x61d: V522 = MUL 0xa9059cbb 0x100000000000000000000000000000000000000000000000000000000
0x61e: V523 = 0x60
0x622: M[0x60] = 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0x623: V524 = 0x1
0x625: V525 = 0xa0
0x627: V526 = 0x2
0x629: V527 = EXP 0x2 0xa0
0x62a: V528 = SUB 0x10000000000000000000000000000000000000000 0x1
0x62d: V529 = AND 0xffffffffffffffffffffffffffffffffffffffff V222
0x62e: V530 = 0x64
0x630: M[0x64] = V529
0x631: V531 = 0x84
0x635: M[0x84] = V224
0x638: V532 = AND V517 0xffffffffffffffffffffffffffffffffffffffff
0x63a: V533 = 0xa9059cbb
0x640: V534 = 0xa4
0x643: V535 = 0x20
0x646: V536 = 0x44
0x64b: V537 = 0x61da
0x64e: V538 = GAS
0x64f: V539 = SUB V538 0x61da
0x650: V540 = CALL V539 V532 0x0 0x60 0x44 0x60 0x20
0x651: V541 = ISZERO V540
0x652: V542 = 0x2
0x655: THROWI V541
---
Entry stack: [V10, 0x317, V222, V224, 0x0]
Stack pops: 3
Stack additions: [S2, S1, S0, V532, 0xa9059cbb, 0xa4]
Exit stack: [V10, 0x317, V222, V224, 0x0, V532, 0xa9059cbb, 0xa4]

================================

Block 0x656
[0x656:0x69f]
---
Predecessors: [0x60f]
Successors: [0x6a0]
---
0x656 POP
0x657 POP
0x658 PUSH1 0x40
0x65a DUP1
0x65b MLOAD
0x65c PUSH1 0x1
0x65e PUSH1 0xa0
0x660 PUSH1 0x2
0x662 EXP
0x663 SUB
0x664 DUP7
0x665 AND
0x666 DUP2
0x667 MSTORE
0x668 PUSH1 0x20
0x66a DUP2
0x66b ADD
0x66c DUP6
0x66d SWAP1
0x66e MSTORE
0x66f DUP2
0x670 MLOAD
0x671 PUSH32 0x69ca02dd4edd7bf0a4abb9ed3b7af3f14778db5d61921c7dc7cd545266326de2
0x692 SWAP4
0x693 POP
0x694 SWAP1
0x695 DUP2
0x696 SWAP1
0x697 SUB
0x698 SWAP1
0x699 SWAP2
0x69a ADD
0x69b SWAP1
0x69c LOG1
0x69d POP
0x69e PUSH1 0x1
---
0x658: V543 = 0x40
0x65b: V544 = M[0x40]
0x65c: V545 = 0x1
0x65e: V546 = 0xa0
0x660: V547 = 0x2
0x662: V548 = EXP 0x2 0xa0
0x663: V549 = SUB 0x10000000000000000000000000000000000000000 0x1
0x665: V550 = AND V222 0xffffffffffffffffffffffffffffffffffffffff
0x667: M[V544] = V550
0x668: V551 = 0x20
0x66b: V552 = ADD V544 0x20
0x66e: M[V552] = V224
0x670: V553 = M[0x40]
0x671: V554 = 0x69ca02dd4edd7bf0a4abb9ed3b7af3f14778db5d61921c7dc7cd545266326de2
0x697: V555 = SUB V544 V553
0x69a: V556 = ADD 0x40 V555
0x69c: LOG V553 V556 0x69ca02dd4edd7bf0a4abb9ed3b7af3f14778db5d61921c7dc7cd545266326de2
0x69e: V557 = 0x1
---
Entry stack: [V10, 0x317, V222, V224, 0x0, V532, 0xa9059cbb, 0xa4]
Stack pops: 6
Stack additions: [S5, S4, 0x1]
Exit stack: [V10, 0x317, V222, V224, 0x1]

================================

Block 0x6a0
[0x6a0:0x6a5]
---
Predecessors: [0x656, 0x818]
Successors: [0x317]
---
0x6a0 JUMPDEST
0x6a1 SWAP3
0x6a2 SWAP2
0x6a3 POP
0x6a4 POP
0x6a5 JUMP
---
0x6a0: JUMPDEST 
0x6a5: JUMP 0x317
---
Entry stack: [V10, 0x317, S2, S1, 0x1]
Stack pops: 4
Stack additions: [S0]
Exit stack: [V10, 0x1]

================================

Block 0x6a6
[0x6a6:0x764]
---
Predecessors: [0x2b0]
Successors: [0x765]
---
0x6a6 JUMPDEST
0x6a7 PUSH1 0x6
0x6a9 DUP1
0x6aa SLOAD
0x6ab PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0x6c0 NOT
0x6c1 SWAP1
0x6c2 DUP2
0x6c3 AND
0x6c4 DUP7
0x6c5 OR
0x6c6 SWAP1
0x6c7 SWAP2
0x6c8 SSTORE
0x6c9 PUSH1 0x1
0x6cb PUSH1 0x3
0x6cd DUP2
0x6ce SWAP1
0x6cf SSTORE
0x6d0 DUP1
0x6d1 SLOAD
0x6d2 DUP3
0x6d3 AND
0x6d4 DUP8
0x6d5 OR
0x6d6 SWAP1
0x6d7 SSTORE
0x6d8 PUSH1 0x4
0x6da DUP8
0x6db SWAP1
0x6dc SSTORE
0x6dd PUSH1 0x5
0x6df DUP5
0x6e0 SWAP1
0x6e1 SSTORE
0x6e2 PUSH1 0x7
0x6e4 DUP1
0x6e5 SLOAD
0x6e6 SWAP1
0x6e7 SWAP2
0x6e8 AND
0x6e9 DUP4
0x6ea OR
0x6eb SWAP1
0x6ec DUP2
0x6ed SWAP1
0x6ee SSTORE
0x6ef PUSH1 0x1
0x6f1 PUSH1 0xa0
0x6f3 PUSH1 0x2
0x6f5 EXP
0x6f6 SUB
0x6f7 SWAP1
0x6f8 DUP2
0x6f9 AND
0x6fa SWAP1
0x6fb DUP3
0x6fc SWAP1
0x6fd ADDRESS
0x6fe AND
0x6ff BALANCE
0x700 PUSH1 0x60
0x702 DUP3
0x703 DUP2
0x704 DUP2
0x705 DUP2
0x706 DUP6
0x707 DUP9
0x708 DUP4
0x709 CALL
0x70a POP
0x70b POP
0x70c PUSH1 0x40
0x70e DUP1
0x70f MLOAD
0x710 PUSH1 0x2
0x712 SLOAD
0x713 PUSH1 0x4
0x715 DUP1
0x716 SLOAD
0x717 PUSH1 0x1
0x719 SLOAD
0x71a PUSH1 0xe2
0x71c PUSH1 0x2
0x71e EXP
0x71f PUSH4 0x20998771
0x724 MUL
0x725 DUP6
0x726 MSTORE
0x727 SWAP2
0x728 DUP5
0x729 ADD
0x72a MSTORE
0x72b PUSH1 0x1
0x72d PUSH1 0xa0
0x72f PUSH1 0x2
0x731 EXP
0x732 SUB
0x733 SWAP1
0x734 DUP2
0x735 AND
0x736 PUSH1 0x24
0x738 DUP5
0x739 ADD
0x73a MSTORE
0x73b SWAP3
0x73c MLOAD
0x73d SWAP3
0x73e AND
0x73f SWAP5
0x740 POP
0x741 PUSH4 0x82661dc4
0x746 SWAP4
0x747 POP
0x748 PUSH1 0x44
0x74a DUP1
0x74b DUP3
0x74c ADD
0x74d SWAP4
0x74e POP
0x74f PUSH1 0x20
0x751 SWAP3
0x752 SWAP2
0x753 DUP3
0x754 SWAP1
0x755 SUB
0x756 ADD
0x757 DUP2
0x758 DUP8
0x759 DUP8
0x75a PUSH2 0x61da
0x75d GAS
0x75e SUB
0x75f CALL
0x760 ISZERO
0x761 PUSH2 0x2
0x764 JUMPI
---
0x6a6: JUMPDEST 
0x6a7: V558 = 0x6
0x6aa: V559 = S[0x6]
0x6ab: V560 = 0xffffffffffffffffffffffffffffffffffffffff
0x6c0: V561 = NOT 0xffffffffffffffffffffffffffffffffffffffff
0x6c3: V562 = AND 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 V559
0x6c5: V563 = OR V244 V562
0x6c8: S[0x6] = V563
0x6c9: V564 = 0x1
0x6cb: V565 = 0x3
0x6cf: S[0x3] = 0x1
0x6d1: V566 = S[0x1]
0x6d3: V567 = AND 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 V566
0x6d5: V568 = OR V242 V567
0x6d7: S[0x1] = V568
0x6d8: V569 = 0x4
0x6dc: S[0x4] = V240
0x6dd: V570 = 0x5
0x6e1: S[0x5] = V246
0x6e2: V571 = 0x7
0x6e5: V572 = S[0x7]
0x6e8: V573 = AND 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 V572
0x6ea: V574 = OR V248 V573
0x6ee: S[0x7] = V574
0x6ef: V575 = 0x1
0x6f1: V576 = 0xa0
0x6f3: V577 = 0x2
0x6f5: V578 = EXP 0x2 0xa0
0x6f6: V579 = SUB 0x10000000000000000000000000000000000000000 0x1
0x6f9: V580 = AND 0xffffffffffffffffffffffffffffffffffffffff V574
0x6fd: V581 = ADDRESS
0x6fe: V582 = AND V581 0xffffffffffffffffffffffffffffffffffffffff
0x6ff: V583 = BALANCE V582
0x700: V584 = 0x60
0x709: V585 = CALL 0x0 V580 V583 0x60 0x0 0x60 0x0
0x70c: V586 = 0x40
0x70f: V587 = M[0x40]
0x710: V588 = 0x2
0x712: V589 = S[0x2]
0x713: V590 = 0x4
0x716: V591 = S[0x4]
0x717: V592 = 0x1
0x719: V593 = S[0x1]
0x71a: V594 = 0xe2
0x71c: V595 = 0x2
0x71e: V596 = EXP 0x2 0xe2
0x71f: V597 = 0x20998771
0x724: V598 = MUL 0x20998771 0x400000000000000000000000000000000000000000000000000000000
0x726: M[V587] = 0x82661dc400000000000000000000000000000000000000000000000000000000
0x729: V599 = ADD V587 0x4
0x72a: M[V599] = V591
0x72b: V600 = 0x1
0x72d: V601 = 0xa0
0x72f: V602 = 0x2
0x731: V603 = EXP 0x2 0xa0
0x732: V604 = SUB 0x10000000000000000000000000000000000000000 0x1
0x735: V605 = AND 0xffffffffffffffffffffffffffffffffffffffff V593
0x736: V606 = 0x24
0x739: V607 = ADD V587 0x24
0x73a: M[V607] = V605
0x73c: V608 = M[0x40]
0x73e: V609 = AND 0xffffffffffffffffffffffffffffffffffffffff V589
0x741: V610 = 0x82661dc4
0x748: V611 = 0x44
0x74c: V612 = ADD V587 0x44
0x74f: V613 = 0x20
0x755: V614 = SUB V587 V608
0x756: V615 = ADD V614 0x44
0x75a: V616 = 0x61da
0x75d: V617 = GAS
0x75e: V618 = SUB V617 0x61da
0x75f: V619 = CALL V618 V609 0x0 V608 V615 V608 0x20
0x760: V620 = ISZERO V619
0x761: V621 = 0x2
0x764: THROWI V620
---
Entry stack: [V10, 0x317, V240, V242, V244, V246, V248, 0x0]
Stack pops: 6
Stack additions: [S5, S4, S3, S2, S1, S0, V609, 0x82661dc4, V612]
Exit stack: [V10, 0x317, V240, V242, V244, V246, V248, 0x0, V609, 0x82661dc4, V612]

================================

Block 0x765
[0x765:0x7ba]
---
Predecessors: [0x6a6]
Successors: [0x317]
---
0x765 POP
0x766 POP
0x767 PUSH1 0x40
0x769 DUP1
0x76a MLOAD
0x76b PUSH1 0x4
0x76d SLOAD
0x76e PUSH1 0x6
0x770 SLOAD
0x771 SWAP1
0x772 DUP3
0x773 MSTORE
0x774 PUSH1 0x1
0x776 PUSH1 0xa0
0x778 PUSH1 0x2
0x77a EXP
0x77b SUB
0x77c AND
0x77d PUSH1 0x20
0x77f DUP3
0x780 ADD
0x781 MSTORE
0x782 DUP2
0x783 MLOAD
0x784 PUSH32 0xa1ab731770d71027cd294cc0af5c8f5ec3c2ff5dbe6b75d68963d17192f8377b
0x7a5 SWAP4
0x7a6 POP
0x7a7 SWAP1
0x7a8 DUP2
0x7a9 SWAP1
0x7aa SUB
0x7ab SWAP1
0x7ac SWAP2
0x7ad ADD
0x7ae SWAP1
0x7af LOG1
0x7b0 POP
0x7b1 PUSH1 0x1
0x7b3 SWAP6
0x7b4 SWAP5
0x7b5 POP
0x7b6 POP
0x7b7 POP
0x7b8 POP
0x7b9 POP
0x7ba JUMP
---
0x767: V622 = 0x40
0x76a: V623 = M[0x40]
0x76b: V624 = 0x4
0x76d: V625 = S[0x4]
0x76e: V626 = 0x6
0x770: V627 = S[0x6]
0x773: M[V623] = V625
0x774: V628 = 0x1
0x776: V629 = 0xa0
0x778: V630 = 0x2
0x77a: V631 = EXP 0x2 0xa0
0x77b: V632 = SUB 0x10000000000000000000000000000000000000000 0x1
0x77c: V633 = AND 0xffffffffffffffffffffffffffffffffffffffff V627
0x77d: V634 = 0x20
0x780: V635 = ADD V623 0x20
0x781: M[V635] = V633
0x783: V636 = M[0x40]
0x784: V637 = 0xa1ab731770d71027cd294cc0af5c8f5ec3c2ff5dbe6b75d68963d17192f8377b
0x7aa: V638 = SUB V623 V636
0x7ad: V639 = ADD 0x40 V638
0x7af: LOG V636 V639 0xa1ab731770d71027cd294cc0af5c8f5ec3c2ff5dbe6b75d68963d17192f8377b
0x7b1: V640 = 0x1
0x7ba: JUMP 0x317
---
Entry stack: [V10, 0x317, V240, V242, V244, V246, V248, 0x0, V609, 0x82661dc4, V612]
Stack pops: 10
Stack additions: [0x1]
Exit stack: [V10, 0x1]

================================

Block 0x7bb
[0x7bb:0x817]
---
Predecessors: [0x2df]
Successors: [0x818]
---
0x7bb JUMPDEST
0x7bc PUSH1 0x2
0x7be SLOAD
0x7bf PUSH32 0xc9d27afe00000000000000000000000000000000000000000000000000000000
0x7e0 PUSH1 0x60
0x7e2 SWAP1
0x7e3 DUP2
0x7e4 MSTORE
0x7e5 PUSH1 0x64
0x7e7 DUP6
0x7e8 SWAP1
0x7e9 MSTORE
0x7ea DUP4
0x7eb ISZERO
0x7ec ISZERO
0x7ed PUSH1 0x84
0x7ef MSTORE
0x7f0 PUSH1 0x1
0x7f2 PUSH1 0xa0
0x7f4 PUSH1 0x2
0x7f6 EXP
0x7f7 SUB
0x7f8 SWAP1
0x7f9 SWAP2
0x7fa AND
0x7fb SWAP1
0x7fc PUSH4 0xc9d27afe
0x801 SWAP1
0x802 PUSH1 0xa4
0x804 SWAP1
0x805 PUSH1 0x20
0x807 SWAP1
0x808 PUSH1 0x44
0x80a DUP2
0x80b DUP8
0x80c DUP8
0x80d PUSH2 0x61da
0x810 GAS
0x811 SUB
0x812 CALL
0x813 ISZERO
0x814 PUSH2 0x2
0x817 JUMPI
---
0x7bb: JUMPDEST 
0x7bc: V641 = 0x2
0x7be: V642 = S[0x2]
0x7bf: V643 = 0xc9d27afe00000000000000000000000000000000000000000000000000000000
0x7e0: V644 = 0x60
0x7e4: M[0x60] = 0xc9d27afe00000000000000000000000000000000000000000000000000000000
0x7e5: V645 = 0x64
0x7e9: M[0x64] = V264
0x7eb: V646 = ISZERO V266
0x7ec: V647 = ISZERO V646
0x7ed: V648 = 0x84
0x7ef: M[0x84] = V647
0x7f0: V649 = 0x1
0x7f2: V650 = 0xa0
0x7f4: V651 = 0x2
0x7f6: V652 = EXP 0x2 0xa0
0x7f7: V653 = SUB 0x10000000000000000000000000000000000000000 0x1
0x7fa: V654 = AND V642 0xffffffffffffffffffffffffffffffffffffffff
0x7fc: V655 = 0xc9d27afe
0x802: V656 = 0xa4
0x805: V657 = 0x20
0x808: V658 = 0x44
0x80d: V659 = 0x61da
0x810: V660 = GAS
0x811: V661 = SUB V660 0x61da
0x812: V662 = CALL V661 V654 0x0 0x60 0x44 0x60 0x20
0x813: V663 = ISZERO V662
0x814: V664 = 0x2
0x817: THROWI V663
---
Entry stack: [V10, 0x317, V264, V266, 0x0]
Stack pops: 3
Stack additions: [S2, S1, S0, V654, 0xc9d27afe, 0xa4]
Exit stack: [V10, 0x317, V264, V266, 0x0, V654, 0xc9d27afe, 0xa4]

================================

Block 0x818
[0x818:0x85d]
---
Predecessors: [0x7bb]
Successors: [0x6a0]
---
0x818 POP
0x819 POP
0x81a PUSH1 0x40
0x81c DUP1
0x81d MLOAD
0x81e DUP6
0x81f DUP2
0x820 MSTORE
0x821 DUP5
0x822 ISZERO
0x823 ISZERO
0x824 PUSH1 0x20
0x826 DUP3
0x827 ADD
0x828 MSTORE
0x829 DUP2
0x82a MLOAD
0x82b PUSH32 0x8bfa1f40665434b48e7becc865cc0586ce3d6d2388521c05d4db87536ac82799
0x84c SWAP4
0x84d POP
0x84e SWAP1
0x84f DUP2
0x850 SWAP1
0x851 SUB
0x852 SWAP1
0x853 SWAP2
0x854 ADD
0x855 SWAP1
0x856 LOG1
0x857 POP
0x858 PUSH1 0x1
0x85a PUSH2 0x6a0
0x85d JUMP
---
0x81a: V665 = 0x40
0x81d: V666 = M[0x40]
0x820: M[V666] = V264
0x822: V667 = ISZERO V266
0x823: V668 = ISZERO V667
0x824: V669 = 0x20
0x827: V670 = ADD V666 0x20
0x828: M[V670] = V668
0x82a: V671 = M[0x40]
0x82b: V672 = 0x8bfa1f40665434b48e7becc865cc0586ce3d6d2388521c05d4db87536ac82799
0x851: V673 = SUB V666 V671
0x854: V674 = ADD 0x40 V673
0x856: LOG V671 V674 0x8bfa1f40665434b48e7becc865cc0586ce3d6d2388521c05d4db87536ac82799
0x858: V675 = 0x1
0x85a: V676 = 0x6a0
0x85d: JUMP 0x6a0
---
Entry stack: [V10, 0x317, V264, V266, 0x0, V654, 0xc9d27afe, 0xa4]
Stack pops: 6
Stack additions: [S5, S4, 0x1]
Exit stack: [V10, 0x317, V264, V266, 0x1]

================================

Function 0:
Public function signature: 0x13af4035
Entry block: 0x19e
Exit block: 0x317
Body: 0x19e, 0x1bd, 0x317, 0x492, 0x4ea

Function 1:
Public function signature: 0x26f5a8c9
Entry block: 0x1c1
Exit block: 0x475
Body: 0x1c1, 0x475

Function 2:
Public function signature: 0x371fa854
Entry block: 0x1ca
Exit block: 0x475
Body: 0x1ca, 0x475

Function 3:
Public function signature: 0x4162169f
Entry block: 0x1d3
Exit block: 0x47f
Body: 0x1d3, 0x47f

Function 4:
Public function signature: 0x4c8fe526
Entry block: 0x1e5
Exit block: 0x47f
Body: 0x1e5, 0x47f

Function 5:
Public function signature: 0x5970c915
Entry block: 0x1f7
Exit block: 0x47f
Body: 0x1f7, 0x47f

Function 6:
Public function signature: 0x61bc221a
Entry block: 0x209
Exit block: 0x475
Body: 0x209, 0x475

Function 7:
Public function signature: 0x625e847d
Entry block: 0x212
Exit block: 0x317
Body: 0x19b, 0x212, 0x22e, 0x317, 0x4ef, 0x56e

Function 8:
Public function signature: 0x6637b882
Entry block: 0x232
Exit block: 0x317
Body: 0x232, 0x251, 0x317, 0x4ea, 0x57a

Function 9:
Public function signature: 0x7f9f519f
Entry block: 0x255
Exit block: 0x317
Body: 0x255, 0x274, 0x317, 0x4ea, 0x5d7

Function 10:
Public function signature: 0x8da5cb5b
Entry block: 0x278
Exit block: 0x47f
Body: 0x278, 0x47f

Function 11:
Public function signature: 0xa9059cbb
Entry block: 0x28a
Exit block: 0x317
Body: 0x28a, 0x2ac, 0x317, 0x60f, 0x656, 0x6a0

Function 12:
Public function signature: 0xc4463c80
Entry block: 0x2b0
Exit block: 0x317
Body: 0x2b0, 0x2db, 0x317, 0x6a6, 0x765

Function 13:
Public function signature: 0xc9d27afe
Entry block: 0x2df
Exit block: 0x317
Body: 0x2df, 0x301, 0x317, 0x6a0, 0x7bb, 0x818

Function 14:
Public function signature: 0xe66f53b7
Entry block: 0x305
Exit block: 0x47f
Body: 0x305, 0x47f

Function 15:
Public fallback function
Entry block: 0xb9
Exit block: 0x317
Body: 0xb9, 0x10f, 0x12a, 0x19b, 0x317, 0x329, 0x33d, 0x3af, 0x3f1, 0x402, 0x469