Analysis Run

019b477e-c09d-714a-a442-22ec2159dffd
complete
Chain ID
1
Address
0x5e8353930b557a524ff92eace9b87d82f9793124
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
24721	artifact.fetch	complete	1 / 3	3 months ago
24722	tool.cast_disasm	complete	1 / 3	3 months ago
102408	analysis.bundle	complete	1 / 3	1 week ago
102409	capability.graph	complete	1 / 3	1 week ago
102410	detector.run	complete	1 / 3	1 week ago
102411	validation.fork	complete	1 / 3	1 week ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes
Slither

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
7
Total opcodes
5902
Flags
selfdestruct_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0208
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x57f6b812
00000019: GT
0000001a: PUSH2 0x0118
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe0d4ea37
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe0d4ea37
0000003a: EQ
0000003b: PUSH2 0x0624
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe8a3d485
00000045: EQ
00000046: PUSH2 0x0644
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe985e9c5
00000050: EQ
00000051: PUSH2 0x0659
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf3cb8385
0000005b: EQ
0000005c: PUSH2 0x06a3
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf452a3ff
00000066: EQ
00000067: PUSH2 0x06c3
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb88d4fde
00000076: EQ
00000077: PUSH2 0x05b4
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc662e481
00000081: EQ
00000082: PUSH2 0x05d4
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc87b56dd
0000008c: EQ
0000008d: PUSH2 0x05ef
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd547cfb7
00000097: EQ
00000098: PUSH2 0x060f
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x84810639
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x84810639
000000b2: EQ
000000b3: PUSH2 0x051c
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x86074985
000000bd: EQ
000000be: PUSH2 0x054c
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x8da5cb5b
000000c8: EQ
000000c9: PUSH2 0x0561
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x95d89b41
000000d3: EQ
000000d4: PUSH2 0x057f
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa22cb465
000000de: EQ
000000df: PUSH2 0x0594
000000e2: JUMPI
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x57f6b812
000000ee: EQ
000000ef: PUSH2 0x0471
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x6352211e
000000f9: EQ
000000fa: PUSH2 0x04a6
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x6b8ff574
00000104: EQ
00000105: PUSH2 0x04c6
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x70a08231
0000010f: EQ
00000110: PUSH2 0x04e6
00000113: JUMPI
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x18160ddd
0000011f: GT
00000120: PUSH2 0x019b
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x3ba607ce
0000012a: GT
0000012b: PUSH2 0x016a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x3ba607ce
00000135: EQ
00000136: PUSH2 0x03ca
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x3ec2d836
00000140: EQ
00000141: PUSH2 0x03fc
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x42842e0e
0000014b: EQ
0000014c: PUSH2 0x041c
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x4311de8f
00000156: EQ
00000157: PUSH2 0x043c
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x4f6ccce7
00000161: EQ
00000162: PUSH2 0x0451
00000165: JUMPI
00000166: PUSH1 0x00
00000168: DUP1
00000169: REVERT
0000016a: JUMPDEST
0000016b: DUP1
0000016c: PUSH4 0x18160ddd
00000171: EQ
00000172: PUSH2 0x0355
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x23b872dd
0000017c: EQ
0000017d: PUSH2 0x0374
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x2f745c59
00000187: EQ
00000188: PUSH2 0x0394
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x32cb6b0c
00000192: EQ
00000193: PUSH2 0x03b4
00000196: JUMPI
00000197: PUSH1 0x00
00000199: DUP1
0000019a: REVERT
0000019b: JUMPDEST
0000019c: DUP1
0000019d: PUSH4 0x081812fc
000001a2: GT
000001a3: PUSH2 0x01d7
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x081812fc
000001ad: EQ
000001ae: PUSH2 0x02d5
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x095ea7b3
000001b8: EQ
000001b9: PUSH2 0x030d
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x1249c58b
000001c3: EQ
000001c4: PUSH2 0x032d
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x13af4035
000001ce: EQ
000001cf: PUSH2 0x0335
000001d2: JUMPI
000001d3: PUSH1 0x00
000001d5: DUP1
000001d6: REVERT
000001d7: JUMPDEST
000001d8: DUP1
000001d9: PUSH4 0x01ffc9a7
000001de: EQ
000001df: PUSH2 0x022d
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x059513a6
000001e9: EQ
000001ea: PUSH2 0x0272
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x066143d0
000001f4: EQ
000001f5: PUSH2 0x0280
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x06fdde03
000001ff: EQ
00000200: PUSH2 0x02b3
00000203: JUMPI
00000204: PUSH1 0x00
00000206: DUP1
00000207: REVERT
00000208: JUMPDEST
00000209: CALLDATASIZE
0000020a: PUSH2 0x0228
0000020d: JUMPI
0000020e: PUSH2 0x0226
00000211: PUSH2 0x0221
00000214: PUSH7 0xb1a2bc2ec50000
0000021c: CALLVALUE
0000021d: PUSH2 0x1faf
00000220: JUMP
00000221: JUMPDEST
00000222: PUSH2 0x06f3
00000225: JUMP
00000226: JUMPDEST
00000227: STOP
00000228: JUMPDEST
00000229: PUSH1 0x00
0000022b: DUP1
0000022c: REVERT
0000022d: JUMPDEST
0000022e: CALLVALUE
0000022f: DUP1
00000230: ISZERO
00000231: PUSH2 0x0239
00000234: JUMPI
00000235: PUSH1 0x00
00000237: DUP1
00000238: REVERT
00000239: JUMPDEST
0000023a: POP
0000023b: PUSH2 0x025d
0000023e: PUSH2 0x0248
00000241: CALLDATASIZE
00000242: PUSH1 0x04
00000244: PUSH2 0x1b71
00000247: JUMP
00000248: JUMPDEST
00000249: PUSH1 0x05
0000024b: PUSH1 0x20
0000024d: MSTORE
0000024e: PUSH1 0x00
00000250: SWAP1
00000251: DUP2
00000252: MSTORE
00000253: PUSH1 0x40
00000255: SWAP1
00000256: KECCAK256
00000257: SLOAD
00000258: PUSH1 0xff
0000025a: AND
0000025b: DUP2
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH1 0x40
00000260: MLOAD
00000261: SWAP1
00000262: ISZERO
00000263: ISZERO
00000264: DUP2
00000265: MSTORE
00000266: PUSH1 0x20
00000268: ADD
00000269: JUMPDEST
0000026a: PUSH1 0x40
0000026c: MLOAD
0000026d: DUP1
0000026e: SWAP2
0000026f: SUB
00000270: SWAP1
00000271: RETURN
00000272: JUMPDEST
00000273: PUSH2 0x0226
00000276: PUSH2 0x0221
00000279: CALLDATASIZE
0000027a: PUSH1 0x04
0000027c: PUSH2 0x1c22
0000027f: JUMP
00000280: JUMPDEST
00000281: CALLVALUE
00000282: DUP1
00000283: ISZERO
00000284: PUSH2 0x028c
00000287: JUMPI
00000288: PUSH1 0x00
0000028a: DUP1
0000028b: REVERT
0000028c: JUMPDEST
0000028d: POP
0000028e: PUSH2 0x02a0
00000291: PUSH2 0x029b
00000294: CALLDATASIZE
00000295: PUSH1 0x04
00000297: PUSH2 0x1cb7
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH2 0x078c
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH1 0x40
000002a3: MLOAD
000002a4: PUSH2 0x0269
000002a7: SWAP8
000002a8: SWAP7
000002a9: SWAP6
000002aa: SWAP5
000002ab: SWAP4
000002ac: SWAP3
000002ad: SWAP2
000002ae: SWAP1
000002af: PUSH2 0x1e21
000002b2: JUMP
000002b3: JUMPDEST
000002b4: CALLVALUE
000002b5: DUP1
000002b6: ISZERO
000002b7: PUSH2 0x02bf
000002ba: JUMPI
000002bb: PUSH1 0x00
000002bd: DUP1
000002be: REVERT
000002bf: JUMPDEST
000002c0: POP
000002c1: PUSH2 0x02c8
000002c4: PUSH2 0x0918
000002c7: JUMP
000002c8: JUMPDEST
000002c9: PUSH1 0x40
000002cb: MLOAD
000002cc: PUSH2 0x0269
000002cf: SWAP2
000002d0: SWAP1
000002d1: PUSH2 0x1f2b
000002d4: JUMP
000002d5: JUMPDEST
000002d6: CALLVALUE
000002d7: DUP1
000002d8: ISZERO
000002d9: PUSH2 0x02e1
000002dc: JUMPI
000002dd: PUSH1 0x00
000002df: DUP1
000002e0: REVERT
000002e1: JUMPDEST
000002e2: POP
000002e3: PUSH2 0x02f5
000002e6: PUSH2 0x02f0
000002e9: CALLDATASIZE
000002ea: PUSH1 0x04
000002ec: PUSH2 0x1c22
000002ef: JUMP
000002f0: JUMPDEST
000002f1: PUSH2 0x099e
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH1 0x40
000002f8: MLOAD
000002f9: PUSH1 0x01
000002fb: PUSH1 0x01
000002fd: PUSH1 0xa0
000002ff: SHL
00000300: SUB
00000301: SWAP1
00000302: SWAP2
00000303: AND
00000304: DUP2
00000305: MSTORE
00000306: PUSH1 0x20
00000308: ADD
00000309: PUSH2 0x0269
0000030c: JUMP
0000030d: JUMPDEST
0000030e: CALLVALUE
0000030f: DUP1
00000310: ISZERO
00000311: PUSH2 0x0319
00000314: JUMPI
00000315: PUSH1 0x00
00000317: DUP1
00000318: REVERT
00000319: JUMPDEST
0000031a: POP
0000031b: PUSH2 0x0226
0000031e: PUSH2 0x0328
00000321: CALLDATASIZE
00000322: PUSH1 0x04
00000324: PUSH2 0x1a50
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH2 0x09cd
0000032c: JUMP
0000032d: JUMPDEST
0000032e: PUSH2 0x0226
00000331: PUSH2 0x0a51
00000334: JUMP
00000335: JUMPDEST
00000336: CALLVALUE
00000337: DUP1
00000338: ISZERO
00000339: PUSH2 0x0341
0000033c: JUMPI
0000033d: PUSH1 0x00
0000033f: DUP1
00000340: REVERT
00000341: JUMPDEST
00000342: POP
00000343: PUSH2 0x0226
00000346: PUSH2 0x0350
00000349: CALLDATASIZE
0000034a: PUSH1 0x04
0000034c: PUSH2 0x18ce
0000034f: JUMP
00000350: JUMPDEST
00000351: PUSH2 0x0a5d
00000354: JUMP
00000355: JUMPDEST
00000356: CALLVALUE
00000357: DUP1
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH1 0x00
00000365: SLOAD
00000366: JUMPDEST
00000367: PUSH1 0x40
00000369: MLOAD
0000036a: SWAP1
0000036b: DUP2
0000036c: MSTORE
0000036d: PUSH1 0x20
0000036f: ADD
00000370: PUSH2 0x0269
00000373: JUMP
00000374: JUMPDEST
00000375: CALLVALUE
00000376: DUP1
00000377: ISZERO
00000378: PUSH2 0x0380
0000037b: JUMPI
0000037c: PUSH1 0x00
0000037e: DUP1
0000037f: REVERT
00000380: JUMPDEST
00000381: POP
00000382: PUSH2 0x0226
00000385: PUSH2 0x038f
00000388: CALLDATASIZE
00000389: PUSH1 0x04
0000038b: PUSH2 0x192b
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH2 0x0a96
00000393: JUMP
00000394: JUMPDEST
00000395: CALLVALUE
00000396: DUP1
00000397: ISZERO
00000398: PUSH2 0x03a0
0000039b: JUMPI
0000039c: PUSH1 0x00
0000039e: DUP1
0000039f: REVERT
000003a0: JUMPDEST
000003a1: POP
000003a2: PUSH2 0x0366
000003a5: PUSH2 0x03af
000003a8: CALLDATASIZE
000003a9: PUSH1 0x04
000003ab: PUSH2 0x1a50
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH2 0x0aa1
000003b3: JUMP
000003b4: JUMPDEST
000003b5: CALLVALUE
000003b6: DUP1
000003b7: ISZERO
000003b8: PUSH2 0x03c0
000003bb: JUMPI
000003bc: PUSH1 0x00
000003be: DUP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: POP
000003c2: PUSH2 0x0366
000003c5: PUSH2 0x0781
000003c8: DUP2
000003c9: JUMP
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH2 0x03ea
000003db: PUSH2 0x03e5
000003de: CALLDATASIZE
000003df: PUSH1 0x04
000003e1: PUSH2 0x1a7c
000003e4: JUMP
000003e5: JUMPDEST
000003e6: PUSH2 0x0af2
000003e9: JUMP
000003ea: JUMPDEST
000003eb: PUSH1 0x40
000003ed: MLOAD
000003ee: PUSH2 0x0269
000003f1: SWAP7
000003f2: SWAP6
000003f3: SWAP5
000003f4: SWAP4
000003f5: SWAP3
000003f6: SWAP2
000003f7: SWAP1
000003f8: PUSH2 0x1e99
000003fb: JUMP
000003fc: JUMPDEST
000003fd: CALLVALUE
000003fe: DUP1
000003ff: ISZERO
00000400: PUSH2 0x0408
00000403: JUMPI
00000404: PUSH1 0x00
00000406: DUP1
00000407: REVERT
00000408: JUMPDEST
00000409: POP
0000040a: PUSH2 0x0226
0000040d: PUSH2 0x0417
00000410: CALLDATASIZE
00000411: PUSH1 0x04
00000413: PUSH2 0x1c3b
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH2 0x0c94
0000041b: JUMP
0000041c: JUMPDEST
0000041d: CALLVALUE
0000041e: DUP1
0000041f: ISZERO
00000420: PUSH2 0x0428
00000423: JUMPI
00000424: PUSH1 0x00
00000426: DUP1
00000427: REVERT
00000428: JUMPDEST
00000429: POP
0000042a: PUSH2 0x0226
0000042d: PUSH2 0x0437
00000430: CALLDATASIZE
00000431: PUSH1 0x04
00000433: PUSH2 0x192b
00000436: JUMP
00000437: JUMPDEST
00000438: PUSH2 0x0d2e
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0448
00000443: JUMPI
00000444: PUSH1 0x00
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH2 0x0226
0000044d: PUSH2 0x0d49
00000450: JUMP
00000451: JUMPDEST
00000452: CALLVALUE
00000453: DUP1
00000454: ISZERO
00000455: PUSH2 0x045d
00000458: JUMPI
00000459: PUSH1 0x00
0000045b: DUP1
0000045c: REVERT
0000045d: JUMPDEST
0000045e: POP
0000045f: PUSH2 0x0366
00000462: PUSH2 0x046c
00000465: CALLDATASIZE
00000466: PUSH1 0x04
00000468: PUSH2 0x1c22
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH2 0x0d98
00000470: JUMP
00000471: JUMPDEST
00000472: CALLVALUE
00000473: DUP1
00000474: ISZERO
00000475: PUSH2 0x047d
00000478: JUMPI
00000479: PUSH1 0x00
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: POP
0000047f: PUSH2 0x0491
00000482: PUSH2 0x048c
00000485: CALLDATASIZE
00000486: PUSH1 0x04
00000488: PUSH2 0x18ce
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH2 0x0dab
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH1 0x40
00000494: DUP1
00000495: MLOAD
00000496: SWAP3
00000497: DUP4
00000498: MSTORE
00000499: PUSH1 0x20
0000049b: DUP4
0000049c: ADD
0000049d: SWAP2
0000049e: SWAP1
0000049f: SWAP2
000004a0: MSTORE
000004a1: ADD
000004a2: PUSH2 0x0269
000004a5: JUMP
000004a6: JUMPDEST
000004a7: CALLVALUE
000004a8: DUP1
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: POP
000004b4: PUSH2 0x02f5
000004b7: PUSH2 0x04c1
000004ba: CALLDATASIZE
000004bb: PUSH1 0x04
000004bd: PUSH2 0x1c22
000004c0: JUMP
000004c1: JUMPDEST
000004c2: PUSH2 0x0dd9
000004c5: JUMP
000004c6: JUMPDEST
000004c7: CALLVALUE
000004c8: DUP1
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: PUSH2 0x02c8
000004d7: PUSH2 0x04e1
000004da: CALLDATASIZE
000004db: PUSH1 0x04
000004dd: PUSH2 0x1c22
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH2 0x0e04
000004e5: JUMP
000004e6: JUMPDEST
000004e7: CALLVALUE
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f2
000004ed: JUMPI
000004ee: PUSH1 0x00
000004f0: DUP1
000004f1: REVERT
000004f2: JUMPDEST
000004f3: POP
000004f4: PUSH2 0x0366
000004f7: PUSH2 0x0501
000004fa: CALLDATASIZE
000004fb: PUSH1 0x04
000004fd: PUSH2 0x18ce
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH1 0x01
00000504: PUSH1 0x01
00000506: PUSH1 0xa0
00000508: SHL
00000509: SUB
0000050a: AND
0000050b: PUSH1 0x00
0000050d: SWAP1
0000050e: DUP2
0000050f: MSTORE
00000510: PUSH1 0x02
00000512: PUSH1 0x20
00000514: MSTORE
00000515: PUSH1 0x40
00000517: SWAP1
00000518: KECCAK256
00000519: SLOAD
0000051a: SWAP1
0000051b: JUMP
0000051c: JUMPDEST
0000051d: CALLVALUE
0000051e: DUP1
0000051f: ISZERO
00000520: PUSH2 0x0528
00000523: JUMPI
00000524: PUSH1 0x00
00000526: DUP1
00000527: REVERT
00000528: JUMPDEST
00000529: POP
0000052a: PUSH2 0x053c
0000052d: PUSH2 0x0537
00000530: CALLDATASIZE
00000531: PUSH1 0x04
00000533: PUSH2 0x1c22
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH2 0x0ebb
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH1 0x40
0000053f: MLOAD
00000540: PUSH2 0x0269
00000543: SWAP5
00000544: SWAP4
00000545: SWAP3
00000546: SWAP2
00000547: SWAP1
00000548: PUSH2 0x1d8c
0000054b: JUMP
0000054c: JUMPDEST
0000054d: CALLVALUE
0000054e: DUP1
0000054f: ISZERO
00000550: PUSH2 0x0558
00000553: JUMPI
00000554: PUSH1 0x00
00000556: DUP1
00000557: REVERT
00000558: JUMPDEST
00000559: POP
0000055a: PUSH2 0x0366
0000055d: PUSH1 0x20
0000055f: DUP2
00000560: JUMP
00000561: JUMPDEST
00000562: CALLVALUE
00000563: DUP1
00000564: ISZERO
00000565: PUSH2 0x056d
00000568: JUMPI
00000569: PUSH1 0x00
0000056b: DUP1
0000056c: REVERT
0000056d: JUMPDEST
0000056e: POP
0000056f: PUSH1 0x04
00000571: SLOAD
00000572: PUSH1 0x01
00000574: PUSH1 0x01
00000576: PUSH1 0xa0
00000578: SHL
00000579: SUB
0000057a: AND
0000057b: PUSH2 0x02f5
0000057e: JUMP
0000057f: JUMPDEST
00000580: CALLVALUE
00000581: DUP1
00000582: ISZERO
00000583: PUSH2 0x058b
00000586: JUMPI
00000587: PUSH1 0x00
00000589: DUP1
0000058a: REVERT
0000058b: JUMPDEST
0000058c: POP
0000058d: PUSH2 0x02c8
00000590: PUSH2 0x0ef5
00000593: JUMP
00000594: JUMPDEST
00000595: CALLVALUE
00000596: DUP1
00000597: ISZERO
00000598: PUSH2 0x05a0
0000059b: JUMPI
0000059c: PUSH1 0x00
0000059e: DUP1
0000059f: REVERT
000005a0: JUMPDEST
000005a1: POP
000005a2: PUSH2 0x0226
000005a5: PUSH2 0x05af
000005a8: CALLDATASIZE
000005a9: PUSH1 0x04
000005ab: PUSH2 0x1a1b
000005ae: JUMP
000005af: JUMPDEST
000005b0: PUSH2 0x0f3a
000005b3: JUMP
000005b4: JUMPDEST
000005b5: CALLVALUE
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x05c0
000005bb: JUMPI
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: REVERT
000005c0: JUMPDEST
000005c1: POP
000005c2: PUSH2 0x0226
000005c5: PUSH2 0x05cf
000005c8: CALLDATASIZE
000005c9: PUSH1 0x04
000005cb: PUSH2 0x196c
000005ce: JUMP
000005cf: JUMPDEST
000005d0: PUSH2 0x0fa7
000005d3: JUMP
000005d4: JUMPDEST
000005d5: CALLVALUE
000005d6: DUP1
000005d7: ISZERO
000005d8: PUSH2 0x05e0
000005db: JUMPI
000005dc: PUSH1 0x00
000005de: DUP1
000005df: REVERT
000005e0: JUMPDEST
000005e1: POP
000005e2: PUSH2 0x0366
000005e5: PUSH7 0xb1a2bc2ec50000
000005ed: DUP2
000005ee: JUMP
000005ef: JUMPDEST
000005f0: CALLVALUE
000005f1: DUP1
000005f2: ISZERO
000005f3: PUSH2 0x05fb
000005f6: JUMPI
000005f7: PUSH1 0x00
000005f9: DUP1
000005fa: REVERT
000005fb: JUMPDEST
000005fc: POP
000005fd: PUSH2 0x02c8
00000600: PUSH2 0x060a
00000603: CALLDATASIZE
00000604: PUSH1 0x04
00000606: PUSH2 0x1c22
00000609: JUMP
0000060a: JUMPDEST
0000060b: PUSH2 0x1067
0000060e: JUMP
0000060f: JUMPDEST
00000610: CALLVALUE
00000611: DUP1
00000612: ISZERO
00000613: PUSH2 0x061b
00000616: JUMPI
00000617: PUSH1 0x00
00000619: DUP1
0000061a: REVERT
0000061b: JUMPDEST
0000061c: POP
0000061d: PUSH2 0x02c8
00000620: PUSH2 0x10ee
00000623: JUMP
00000624: JUMPDEST
00000625: CALLVALUE
00000626: DUP1
00000627: ISZERO
00000628: PUSH2 0x0630
0000062b: JUMPI
0000062c: PUSH1 0x00
0000062e: DUP1
0000062f: REVERT
00000630: JUMPDEST
00000631: POP
00000632: PUSH2 0x0366
00000635: PUSH2 0x063f
00000638: CALLDATASIZE
00000639: PUSH1 0x04
0000063b: PUSH2 0x1c22
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH2 0x1133
00000643: JUMP
00000644: JUMPDEST
00000645: CALLVALUE
00000646: DUP1
00000647: ISZERO
00000648: PUSH2 0x0650
0000064b: JUMPI
0000064c: PUSH1 0x00
0000064e: DUP1
0000064f: REVERT
00000650: JUMPDEST
00000651: POP
00000652: PUSH2 0x02c8
00000655: PUSH2 0x1158
00000658: JUMP
00000659: JUMPDEST
0000065a: CALLVALUE
0000065b: DUP1
0000065c: ISZERO
0000065d: PUSH2 0x0665
00000660: JUMPI
00000661: PUSH1 0x00
00000663: DUP1
00000664: REVERT
00000665: JUMPDEST
00000666: POP
00000667: PUSH2 0x025d
0000066a: PUSH2 0x0674
0000066d: CALLDATASIZE
0000066e: PUSH1 0x04
00000670: PUSH2 0x18f2
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH1 0x01
00000677: PUSH1 0x01
00000679: PUSH1 0xa0
0000067b: SHL
0000067c: SUB
0000067d: SWAP2
0000067e: DUP3
0000067f: AND
00000680: PUSH1 0x00
00000682: SWAP1
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x02
00000687: PUSH1 0x20
00000689: DUP2
0000068a: DUP2
0000068b: MSTORE
0000068c: PUSH1 0x40
0000068e: DUP1
0000068f: DUP5
00000690: KECCAK256
00000691: SWAP5
00000692: SWAP1
00000693: SWAP6
00000694: AND
00000695: DUP4
00000696: MSTORE
00000697: SWAP3
00000698: ADD
00000699: SWAP1
0000069a: SWAP2
0000069b: MSTORE
0000069c: KECCAK256
0000069d: SLOAD
0000069e: PUSH1 0xff
000006a0: AND
000006a1: SWAP1
000006a2: JUMP
000006a3: JUMPDEST
000006a4: CALLVALUE
000006a5: DUP1
000006a6: ISZERO
000006a7: PUSH2 0x06af
000006aa: JUMPI
000006ab: PUSH1 0x00
000006ad: DUP1
000006ae: REVERT
000006af: JUMPDEST
000006b0: POP
000006b1: PUSH2 0x0226
000006b4: PUSH2 0x06be
000006b7: CALLDATASIZE
000006b8: PUSH1 0x04
000006ba: PUSH2 0x18ce
000006bd: JUMP
000006be: JUMPDEST
000006bf: PUSH2 0x119d
000006c2: JUMP
000006c3: JUMPDEST
000006c4: CALLVALUE
000006c5: DUP1
000006c6: ISZERO
000006c7: PUSH2 0x06cf
000006ca: JUMPI
000006cb: PUSH1 0x00
000006cd: DUP1
000006ce: REVERT
000006cf: JUMPDEST
000006d0: POP
000006d1: PUSH2 0x06e3
000006d4: PUSH2 0x06de
000006d7: CALLDATASIZE
000006d8: PUSH1 0x04
000006da: PUSH2 0x1ac4
000006dd: JUMP
000006de: JUMPDEST
000006df: PUSH2 0x11d6
000006e2: JUMP
000006e3: JUMPDEST
000006e4: PUSH1 0x40
000006e6: MLOAD
000006e7: PUSH2 0x0269
000006ea: SWAP5
000006eb: SWAP4
000006ec: SWAP3
000006ed: SWAP2
000006ee: SWAP1
000006ef: PUSH2 0x1dc9
000006f2: JUMP
000006f3: JUMPDEST
000006f4: PUSH1 0x00
000006f6: DUP2
000006f7: GT
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: PUSH1 0x00
00000703: PUSH2 0x0713
00000706: PUSH7 0xb1a2bc2ec50000
0000070e: DUP4
0000070f: PUSH2 0x1fc3
00000712: JUMP
00000713: JUMPDEST
00000714: SWAP1
00000715: POP
00000716: DUP1
00000717: CALLVALUE
00000718: LT
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: PUSH1 0x00
00000725: JUMPDEST
00000726: DUP3
00000727: DUP2
00000728: LT
00000729: ISZERO
0000072a: PUSH2 0x0747
0000072d: JUMPI
0000072e: PUSH2 0x0735
00000731: PUSH2 0x13cf
00000734: JUMP
00000735: JUMPDEST
00000736: DUP1
00000737: PUSH2 0x073f
0000073a: DUP2
0000073b: PUSH2 0x207b
0000073e: JUMP
0000073f: JUMPDEST
00000740: SWAP2
00000741: POP
00000742: POP
00000743: PUSH2 0x0725
00000746: JUMP
00000747: JUMPDEST
00000748: POP
00000749: DUP1
0000074a: CALLVALUE
0000074b: GT
0000074c: ISZERO
0000074d: PUSH2 0x0788
00000750: JUMPI
00000751: CALLER
00000752: PUSH2 0x08fc
00000755: PUSH2 0x075e
00000758: DUP4
00000759: CALLVALUE
0000075a: PUSH2 0x1fe2
0000075d: JUMP
0000075e: JUMPDEST
0000075f: PUSH1 0x40
00000761: MLOAD
00000762: DUP2
00000763: ISZERO
00000764: SWAP1
00000765: SWAP3
00000766: MUL
00000767: SWAP2
00000768: PUSH1 0x00
0000076a: DUP2
0000076b: DUP2
0000076c: DUP2
0000076d: DUP6
0000076e: DUP9
0000076f: DUP9
00000770: CALL
00000771: SWAP4
00000772: POP
00000773: POP
00000774: POP
00000775: POP
00000776: ISZERO
00000777: DUP1
00000778: ISZERO
00000779: PUSH2 0x0786
0000077c: JUMPI
0000077d: RETURNDATASIZE
0000077e: PUSH1 0x00
00000780: DUP1
00000781: RETURNDATACOPY
00000782: RETURNDATASIZE
00000783: PUSH1 0x00
00000785: REVERT
00000786: JUMPDEST
00000787: POP
00000788: JUMPDEST
00000789: POP
0000078a: POP
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH1 0x60
0000078f: DUP1
00000790: PUSH1 0x60
00000792: DUP1
00000793: PUSH1 0x60
00000795: PUSH1 0x00
00000797: DUP1
00000798: PUSH1 0x00
0000079a: DUP11
0000079b: GT
0000079c: PUSH2 0x07a4
0000079f: JUMPI
000007a0: PUSH1 0x00
000007a2: DUP1
000007a3: REVERT
000007a4: JUMPDEST
000007a5: PUSH1 0x00
000007a7: SLOAD
000007a8: SWAP2
000007a9: POP
000007aa: DUP2
000007ab: ISZERO
000007ac: PUSH2 0x08e7
000007af: JUMPI
000007b0: PUSH2 0x07b9
000007b3: DUP11
000007b4: DUP4
000007b5: PUSH2 0x2096
000007b8: JUMP
000007b9: JUMPDEST
000007ba: ISZERO
000007bb: PUSH2 0x07c5
000007be: JUMPI
000007bf: PUSH1 0x01
000007c1: PUSH2 0x07c8
000007c4: JUMP
000007c5: JUMPDEST
000007c6: PUSH1 0x00
000007c8: JUMPDEST
000007c9: PUSH1 0xff
000007cb: AND
000007cc: PUSH2 0x07d5
000007cf: DUP12
000007d0: DUP5
000007d1: PUSH2 0x1faf
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH2 0x07df
000007d9: SWAP2
000007da: SWAP1
000007db: PUSH2 0x1f97
000007de: JUMP
000007df: JUMPDEST
000007e0: SWAP1
000007e1: POP
000007e2: DUP1
000007e3: DUP10
000007e4: LT
000007e5: PUSH2 0x07ed
000007e8: JUMPI
000007e9: PUSH1 0x00
000007eb: DUP1
000007ec: REVERT
000007ed: JUMPDEST
000007ee: PUSH1 0x00
000007f0: PUSH2 0x07f9
000007f3: DUP11
000007f4: DUP13
000007f5: PUSH2 0x1fc3
000007f8: JUMP
000007f9: JUMPDEST
000007fa: SWAP1
000007fb: POP
000007fc: PUSH2 0x0806
000007ff: PUSH1 0x01
00000801: DUP4
00000802: PUSH2 0x1fe2
00000805: JUMP
00000806: JUMPDEST
00000807: DUP11
00000808: EQ
00000809: DUP1
0000080a: ISZERO
0000080b: PUSH2 0x081c
0000080e: JUMPI
0000080f: POP
00000810: PUSH2 0x0819
00000813: DUP12
00000814: DUP5
00000815: PUSH2 0x2096
00000818: JUMP
00000819: JUMPDEST
0000081a: ISZERO
0000081b: ISZERO
0000081c: JUMPDEST
0000081d: ISZERO
0000081e: PUSH2 0x082e
00000821: JUMPI
00000822: PUSH2 0x082b
00000825: DUP12
00000826: DUP5
00000827: PUSH2 0x2096
0000082a: JUMP
0000082b: JUMPDEST
0000082c: SWAP11
0000082d: POP
0000082e: JUMPDEST
0000082f: DUP11
00000830: PUSH8 0xffffffffffffffff
00000839: DUP2
0000083a: GT
0000083b: ISZERO
0000083c: PUSH2 0x0847
0000083f: JUMPI
00000840: PUSH2 0x0847
00000843: PUSH2 0x20ec
00000846: JUMP
00000847: JUMPDEST
00000848: PUSH1 0x40
0000084a: MLOAD
0000084b: SWAP1
0000084c: DUP1
0000084d: DUP3
0000084e: MSTORE
0000084f: DUP1
00000850: PUSH1 0x20
00000852: MUL
00000853: PUSH1 0x20
00000855: ADD
00000856: DUP3
00000857: ADD
00000858: PUSH1 0x40
0000085a: MSTORE
0000085b: DUP1
0000085c: ISZERO
0000085d: PUSH2 0x0870
00000860: JUMPI
00000861: DUP2
00000862: PUSH1 0x20
00000864: ADD
00000865: PUSH1 0x20
00000867: DUP3
00000868: MUL
00000869: DUP1
0000086a: CALLDATASIZE
0000086b: DUP4
0000086c: CALLDATACOPY
0000086d: ADD
0000086e: SWAP1
0000086f: POP
00000870: JUMPDEST
00000871: POP
00000872: SWAP8
00000873: POP
00000874: PUSH1 0x00
00000876: JUMPDEST
00000877: DUP12
00000878: DUP2
00000879: LT
0000087a: ISZERO
0000087b: PUSH2 0x08e0
0000087e: JUMPI
0000087f: PUSH2 0x08b1
00000882: DUP11
00000883: PUSH2 0x08a7
00000886: JUMPI
00000887: PUSH1 0x01
00000889: DUP3
0000088a: PUSH2 0x0893
0000088d: DUP6
0000088e: DUP9
0000088f: PUSH2 0x1fe2
00000892: JUMP
00000893: JUMPDEST
00000894: PUSH2 0x089d
00000897: SWAP2
00000898: SWAP1
00000899: PUSH2 0x1fe2
0000089c: JUMP
0000089d: JUMPDEST
0000089e: PUSH2 0x046c
000008a1: SWAP2
000008a2: SWAP1
000008a3: PUSH2 0x1fe2
000008a6: JUMP
000008a7: JUMPDEST
000008a8: PUSH2 0x046c
000008ab: DUP3
000008ac: DUP5
000008ad: PUSH2 0x1f97
000008b0: JUMP
000008b1: JUMPDEST
000008b2: DUP10
000008b3: DUP3
000008b4: DUP2
000008b5: MLOAD
000008b6: DUP2
000008b7: LT
000008b8: PUSH2 0x08c3
000008bb: JUMPI
000008bc: PUSH2 0x08c3
000008bf: PUSH2 0x20d6
000008c2: JUMP
000008c3: JUMPDEST
000008c4: PUSH1 0x20
000008c6: SWAP1
000008c7: DUP2
000008c8: MUL
000008c9: SWAP2
000008ca: SWAP1
000008cb: SWAP2
000008cc: ADD
000008cd: ADD
000008ce: MSTORE
000008cf: DUP1
000008d0: PUSH2 0x08d8
000008d3: DUP2
000008d4: PUSH2 0x207b
000008d7: JUMP
000008d8: JUMPDEST
000008d9: SWAP2
000008da: POP
000008db: POP
000008dc: PUSH2 0x0876
000008df: JUMP
000008e0: JUMPDEST
000008e1: POP
000008e2: POP
000008e3: PUSH2 0x08fb
000008e6: JUMP
000008e7: JUMPDEST
000008e8: POP
000008e9: PUSH1 0x40
000008eb: DUP1
000008ec: MLOAD
000008ed: PUSH1 0x00
000008ef: DUP1
000008f0: DUP3
000008f1: MSTORE
000008f2: PUSH1 0x20
000008f4: DUP3
000008f5: ADD
000008f6: SWAP1
000008f7: SWAP3
000008f8: MSTORE
000008f9: SWAP7
000008fa: POP
000008fb: JUMPDEST
000008fc: PUSH2 0x0904
000008ff: DUP8
00000900: PUSH2 0x11d6
00000903: JUMP
00000904: JUMPDEST
00000905: SWAP10
00000906: SWAP14
00000907: SWAP3
00000908: SWAP13
00000909: POP
0000090a: SWAP1
0000090b: SWAP11
0000090c: POP
0000090d: SWAP9
0000090e: POP
0000090f: SWAP2
00000910: SWAP6
00000911: POP
00000912: SWAP4
00000913: POP
00000914: SWAP2
00000915: POP
00000916: POP
00000917: JUMP
00000918: JUMPDEST
00000919: PUSH1 0x03
0000091b: SLOAD
0000091c: PUSH1 0x40
0000091e: DUP1
0000091f: MLOAD
00000920: PUSH4 0x06fdde03
00000925: PUSH1 0xe0
00000927: SHL
00000928: DUP2
00000929: MSTORE
0000092a: SWAP1
0000092b: MLOAD
0000092c: PUSH1 0x60
0000092e: SWAP3
0000092f: PUSH1 0x01
00000931: PUSH1 0x01
00000933: PUSH1 0xa0
00000935: SHL
00000936: SUB
00000937: AND
00000938: SWAP2
00000939: PUSH4 0x06fdde03
0000093e: SWAP2
0000093f: PUSH1 0x04
00000941: DUP1
00000942: DUP4
00000943: ADD
00000944: SWAP3
00000945: PUSH1 0x00
00000947: SWAP3
00000948: SWAP2
00000949: SWAP1
0000094a: DUP3
0000094b: SWAP1
0000094c: SUB
0000094d: ADD
0000094e: DUP2
0000094f: DUP7
00000950: DUP1
00000951: EXTCODESIZE
00000952: ISZERO
00000953: DUP1
00000954: ISZERO
00000955: PUSH2 0x095d
00000958: JUMPI
00000959: PUSH1 0x00
0000095b: DUP1
0000095c: REVERT
0000095d: JUMPDEST
0000095e: POP
0000095f: GAS
00000960: STATICCALL
00000961: ISZERO
00000962: DUP1
00000963: ISZERO
00000964: PUSH2 0x0971
00000967: JUMPI
00000968: RETURNDATASIZE
00000969: PUSH1 0x00
0000096b: DUP1
0000096c: RETURNDATACOPY
0000096d: RETURNDATASIZE
0000096e: PUSH1 0x00
00000970: REVERT
00000971: JUMPDEST
00000972: POP
00000973: POP
00000974: POP
00000975: POP
00000976: PUSH1 0x40
00000978: MLOAD
00000979: RETURNDATASIZE
0000097a: PUSH1 0x00
0000097c: DUP3
0000097d: RETURNDATACOPY
0000097e: PUSH1 0x1f
00000980: RETURNDATASIZE
00000981: SWAP1
00000982: DUP2
00000983: ADD
00000984: PUSH1 0x1f
00000986: NOT
00000987: AND
00000988: DUP3
00000989: ADD
0000098a: PUSH1 0x40
0000098c: MSTORE
0000098d: PUSH2 0x0999
00000990: SWAP2
00000991: SWAP1
00000992: DUP2
00000993: ADD
00000994: SWAP1
00000995: PUSH2 0x1bab
00000998: JUMP
00000999: JUMPDEST
0000099a: SWAP1
0000099b: POP
0000099c: SWAP1
0000099d: JUMP
0000099e: JUMPDEST
0000099f: PUSH1 0x00
000009a1: DUP1
000009a2: SLOAD
000009a3: DUP3
000009a4: LT
000009a5: PUSH2 0x09ad
000009a8: JUMPI
000009a9: PUSH1 0x00
000009ab: DUP1
000009ac: REVERT
000009ad: JUMPDEST
000009ae: POP
000009af: PUSH1 0x00
000009b1: SWAP1
000009b2: DUP2
000009b3: MSTORE
000009b4: PUSH1 0x01
000009b6: PUSH1 0x20
000009b8: DUP2
000009b9: SWAP1
000009ba: MSTORE
000009bb: PUSH1 0x40
000009bd: SWAP1
000009be: SWAP2
000009bf: KECCAK256
000009c0: ADD
000009c1: SLOAD
000009c2: PUSH1 0x01
000009c4: PUSH1 0x01
000009c6: PUSH1 0xa0
000009c8: SHL
000009c9: SUB
000009ca: AND
000009cb: SWAP1
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH2 0x09d6
000009d1: DUP2
000009d2: PUSH2 0x0dd9
000009d5: JUMP
000009d6: JUMPDEST
000009d7: PUSH1 0x01
000009d9: PUSH1 0x01
000009db: PUSH1 0xa0
000009dd: SHL
000009de: SUB
000009df: AND
000009e0: CALLER
000009e1: PUSH1 0x01
000009e3: PUSH1 0x01
000009e5: PUSH1 0xa0
000009e7: SHL
000009e8: SUB
000009e9: AND
000009ea: EQ
000009eb: PUSH2 0x09f3
000009ee: JUMPI
000009ef: PUSH1 0x00
000009f1: DUP1
000009f2: REVERT
000009f3: JUMPDEST
000009f4: PUSH1 0x00
000009f6: DUP2
000009f7: DUP2
000009f8: MSTORE
000009f9: PUSH1 0x01
000009fb: PUSH1 0x20
000009fd: DUP2
000009fe: SWAP1
000009ff: MSTORE
00000a00: PUSH1 0x40
00000a02: DUP1
00000a03: DUP4
00000a04: KECCAK256
00000a05: SWAP1
00000a06: SWAP2
00000a07: ADD
00000a08: DUP1
00000a09: SLOAD
00000a0a: PUSH1 0x01
00000a0c: PUSH1 0x01
00000a0e: PUSH1 0xa0
00000a10: SHL
00000a11: SUB
00000a12: NOT
00000a13: AND
00000a14: PUSH1 0x01
00000a16: PUSH1 0x01
00000a18: PUSH1 0xa0
00000a1a: SHL
00000a1b: SUB
00000a1c: DUP7
00000a1d: AND
00000a1e: SWAP1
00000a1f: DUP2
00000a20: OR
00000a21: SWAP1
00000a22: SWAP2
00000a23: SSTORE
00000a24: SWAP1
00000a25: MLOAD
00000a26: DUP4
00000a27: SWAP3
00000a28: CALLER
00000a29: SWAP2
00000a2a: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000a4b: SWAP2
00000a4c: SWAP1
00000a4d: LOG4
00000a4e: POP
00000a4f: POP
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH2 0x0a5b
00000a55: PUSH1 0x01
00000a57: PUSH2 0x06f3
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: JUMP
00000a5d: JUMPDEST
00000a5e: PUSH1 0x04
00000a60: SLOAD
00000a61: PUSH1 0x01
00000a63: PUSH1 0x01
00000a65: PUSH1 0xa0
00000a67: SHL
00000a68: SUB
00000a69: AND
00000a6a: CALLER
00000a6b: EQ
00000a6c: PUSH2 0x0a74
00000a6f: JUMPI
00000a70: PUSH1 0x00
00000a72: DUP1
00000a73: REVERT
00000a74: JUMPDEST
00000a75: PUSH1 0x04
00000a77: DUP1
00000a78: SLOAD
00000a79: PUSH1 0x01
00000a7b: PUSH1 0x01
00000a7d: PUSH1 0xa0
00000a7f: SHL
00000a80: SUB
00000a81: NOT
00000a82: AND
00000a83: PUSH1 0x01
00000a85: PUSH1 0x01
00000a87: PUSH1 0xa0
00000a89: SHL
00000a8a: SUB
00000a8b: SWAP3
00000a8c: SWAP1
00000a8d: SWAP3
00000a8e: AND
00000a8f: SWAP2
00000a90: SWAP1
00000a91: SWAP2
00000a92: OR
00000a93: SWAP1
00000a94: SSTORE
00000a95: JUMP
00000a96: JUMPDEST
00000a97: PUSH2 0x0786
00000a9a: DUP4
00000a9b: DUP4
00000a9c: DUP4
00000a9d: PUSH2 0x154b
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: PUSH1 0x01
00000aa4: PUSH1 0x01
00000aa6: PUSH1 0xa0
00000aa8: SHL
00000aa9: SUB
00000aaa: DUP3
00000aab: AND
00000aac: PUSH1 0x00
00000aae: SWAP1
00000aaf: DUP2
00000ab0: MSTORE
00000ab1: PUSH1 0x02
00000ab3: PUSH1 0x20
00000ab5: MSTORE
00000ab6: PUSH1 0x40
00000ab8: DUP2
00000ab9: KECCAK256
00000aba: SLOAD
00000abb: DUP3
00000abc: LT
00000abd: PUSH2 0x0ac5
00000ac0: JUMPI
00000ac1: PUSH1 0x00
00000ac3: DUP1
00000ac4: REVERT
00000ac5: JUMPDEST
00000ac6: POP
00000ac7: PUSH1 0x01
00000ac9: PUSH1 0x01
00000acb: PUSH1 0xa0
00000acd: SHL
00000ace: SUB
00000acf: SWAP2
00000ad0: SWAP1
00000ad1: SWAP2
00000ad2: AND
00000ad3: PUSH1 0x00
00000ad5: SWAP1
00000ad6: DUP2
00000ad7: MSTORE
00000ad8: PUSH1 0x02
00000ada: PUSH1 0x20
00000adc: SWAP1
00000add: DUP2
00000ade: MSTORE
00000adf: PUSH1 0x40
00000ae1: DUP1
00000ae2: DUP4
00000ae3: KECCAK256
00000ae4: SWAP4
00000ae5: DUP4
00000ae6: MSTORE
00000ae7: PUSH1 0x01
00000ae9: SWAP1
00000aea: SWAP4
00000aeb: ADD
00000aec: SWAP1
00000aed: MSTORE
00000aee: KECCAK256
00000aef: SLOAD
00000af0: SWAP1
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH1 0x60
00000af5: DUP1
00000af6: PUSH1 0x60
00000af8: DUP1
00000af9: PUSH1 0x00
00000afb: DUP1
00000afc: PUSH1 0x00
00000afe: DUP10
00000aff: GT
00000b00: PUSH2 0x0b08
00000b03: JUMPI
00000b04: PUSH1 0x00
00000b06: DUP1
00000b07: REVERT
00000b08: JUMPDEST
00000b09: PUSH1 0x01
00000b0b: PUSH1 0x01
00000b0d: PUSH1 0xa0
00000b0f: SHL
00000b10: SUB
00000b11: DUP11
00000b12: AND
00000b13: PUSH1 0x00
00000b15: SWAP1
00000b16: DUP2
00000b17: MSTORE
00000b18: PUSH1 0x02
00000b1a: PUSH1 0x20
00000b1c: MSTORE
00000b1d: PUSH1 0x40
00000b1f: SWAP1
00000b20: KECCAK256
00000b21: SLOAD
00000b22: SWAP2
00000b23: POP
00000b24: DUP2
00000b25: ISZERO
00000b26: PUSH2 0x0c62
00000b29: JUMPI
00000b2a: PUSH2 0x0b33
00000b2d: DUP10
00000b2e: DUP4
00000b2f: PUSH2 0x2096
00000b32: JUMP
00000b33: JUMPDEST
00000b34: ISZERO
00000b35: PUSH2 0x0b3f
00000b38: JUMPI
00000b39: PUSH1 0x01
00000b3b: PUSH2 0x0b42
00000b3e: JUMP
00000b3f: JUMPDEST
00000b40: PUSH1 0x00
00000b42: JUMPDEST
00000b43: PUSH1 0xff
00000b45: AND
00000b46: PUSH2 0x0b4f
00000b49: DUP11
00000b4a: DUP5
00000b4b: PUSH2 0x1faf
00000b4e: JUMP
00000b4f: JUMPDEST
00000b50: PUSH2 0x0b59
00000b53: SWAP2
00000b54: SWAP1
00000b55: PUSH2 0x1f97
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: SWAP1
00000b5b: POP
00000b5c: DUP1
00000b5d: DUP9
00000b5e: LT
00000b5f: PUSH2 0x0b67
00000b62: JUMPI
00000b63: PUSH1 0x00
00000b65: DUP1
00000b66: REVERT
00000b67: JUMPDEST
00000b68: PUSH1 0x00
00000b6a: PUSH2 0x0b73
00000b6d: DUP10
00000b6e: DUP12
00000b6f: PUSH2 0x1fc3
00000b72: JUMP
00000b73: JUMPDEST
00000b74: SWAP1
00000b75: POP
00000b76: PUSH2 0x0b80
00000b79: PUSH1 0x01
00000b7b: DUP4
00000b7c: PUSH2 0x1fe2
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: DUP10
00000b82: EQ
00000b83: DUP1
00000b84: ISZERO
00000b85: PUSH2 0x0b96
00000b88: JUMPI
00000b89: POP
00000b8a: PUSH2 0x0b93
00000b8d: DUP11
00000b8e: DUP5
00000b8f: PUSH2 0x2096
00000b92: JUMP
00000b93: JUMPDEST
00000b94: ISZERO
00000b95: ISZERO
00000b96: JUMPDEST
00000b97: ISZERO
00000b98: PUSH2 0x0ba8
00000b9b: JUMPI
00000b9c: PUSH2 0x0ba5
00000b9f: DUP11
00000ba0: DUP5
00000ba1: PUSH2 0x2096
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: SWAP10
00000ba7: POP
00000ba8: JUMPDEST
00000ba9: DUP10
00000baa: PUSH8 0xffffffffffffffff
00000bb3: DUP2
00000bb4: GT
00000bb5: ISZERO
00000bb6: PUSH2 0x0bc1
00000bb9: JUMPI
00000bba: PUSH2 0x0bc1
00000bbd: PUSH2 0x20ec
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: PUSH1 0x40
00000bc4: MLOAD
00000bc5: SWAP1
00000bc6: DUP1
00000bc7: DUP3
00000bc8: MSTORE
00000bc9: DUP1
00000bca: PUSH1 0x20
00000bcc: MUL
00000bcd: PUSH1 0x20
00000bcf: ADD
00000bd0: DUP3
00000bd1: ADD
00000bd2: PUSH1 0x40
00000bd4: MSTORE
00000bd5: DUP1
00000bd6: ISZERO
00000bd7: PUSH2 0x0bea
00000bda: JUMPI
00000bdb: DUP2
00000bdc: PUSH1 0x20
00000bde: ADD
00000bdf: PUSH1 0x20
00000be1: DUP3
00000be2: MUL
00000be3: DUP1
00000be4: CALLDATASIZE
00000be5: DUP4
00000be6: CALLDATACOPY
00000be7: ADD
00000be8: SWAP1
00000be9: POP
00000bea: JUMPDEST
00000beb: POP
00000bec: SWAP7
00000bed: POP
00000bee: PUSH1 0x00
00000bf0: JUMPDEST
00000bf1: DUP11
00000bf2: DUP2
00000bf3: LT
00000bf4: ISZERO
00000bf5: PUSH2 0x0c5b
00000bf8: JUMPI
00000bf9: PUSH2 0x0c2c
00000bfc: DUP13
00000bfd: DUP11
00000bfe: PUSH2 0x0c22
00000c01: JUMPI
00000c02: PUSH1 0x01
00000c04: DUP4
00000c05: PUSH2 0x0c0e
00000c08: DUP7
00000c09: DUP10
00000c0a: PUSH2 0x1fe2
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: PUSH2 0x0c18
00000c12: SWAP2
00000c13: SWAP1
00000c14: PUSH2 0x1fe2
00000c17: JUMP
00000c18: JUMPDEST
00000c19: PUSH2 0x03af
00000c1c: SWAP2
00000c1d: SWAP1
00000c1e: PUSH2 0x1fe2
00000c21: JUMP
00000c22: JUMPDEST
00000c23: PUSH2 0x03af
00000c26: DUP4
00000c27: DUP6
00000c28: PUSH2 0x1f97
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: DUP9
00000c2e: DUP3
00000c2f: DUP2
00000c30: MLOAD
00000c31: DUP2
00000c32: LT
00000c33: PUSH2 0x0c3e
00000c36: JUMPI
00000c37: PUSH2 0x0c3e
00000c3a: PUSH2 0x20d6
00000c3d: JUMP
00000c3e: JUMPDEST
00000c3f: PUSH1 0x20
00000c41: SWAP1
00000c42: DUP2
00000c43: MUL
00000c44: SWAP2
00000c45: SWAP1
00000c46: SWAP2
00000c47: ADD
00000c48: ADD
00000c49: MSTORE
00000c4a: DUP1
00000c4b: PUSH2 0x0c53
00000c4e: DUP2
00000c4f: PUSH2 0x207b
00000c52: JUMP
00000c53: JUMPDEST
00000c54: SWAP2
00000c55: POP
00000c56: POP
00000c57: PUSH2 0x0bf0
00000c5a: JUMP
00000c5b: JUMPDEST
00000c5c: POP
00000c5d: POP
00000c5e: PUSH2 0x0c76
00000c61: JUMP
00000c62: JUMPDEST
00000c63: POP
00000c64: PUSH1 0x40
00000c66: DUP1
00000c67: MLOAD
00000c68: PUSH1 0x00
00000c6a: DUP1
00000c6b: DUP3
00000c6c: MSTORE
00000c6d: PUSH1 0x20
00000c6f: DUP3
00000c70: ADD
00000c71: SWAP1
00000c72: SWAP3
00000c73: MSTORE
00000c74: SWAP6
00000c75: POP
00000c76: JUMPDEST
00000c77: PUSH2 0x0c7f
00000c7a: DUP7
00000c7b: PUSH2 0x11d6
00000c7e: JUMP
00000c7f: JUMPDEST
00000c80: SWAP9
00000c81: SWAP14
00000c82: SWAP2
00000c83: SWAP13
00000c84: POP
00000c85: SWAP11
00000c86: POP
00000c87: SWAP7
00000c88: SWAP9
00000c89: POP
00000c8a: SWAP2
00000c8b: SWAP7
00000c8c: POP
00000c8d: SWAP5
00000c8e: SWAP4
00000c8f: POP
00000c90: POP
00000c91: POP
00000c92: POP
00000c93: JUMP
00000c94: JUMPDEST
00000c95: PUSH1 0x20
00000c97: DUP2
00000c98: GT
00000c99: ISZERO
00000c9a: PUSH2 0x0ca2
00000c9d: JUMPI
00000c9e: PUSH1 0x00
00000ca0: DUP1
00000ca1: REVERT
00000ca2: JUMPDEST
00000ca3: PUSH2 0x0cab
00000ca6: DUP4
00000ca7: PUSH2 0x0dd9
00000caa: JUMP
00000cab: JUMPDEST
00000cac: PUSH1 0x01
00000cae: PUSH1 0x01
00000cb0: PUSH1 0xa0
00000cb2: SHL
00000cb3: SUB
00000cb4: AND
00000cb5: CALLER
00000cb6: PUSH1 0x01
00000cb8: PUSH1 0x01
00000cba: PUSH1 0xa0
00000cbc: SHL
00000cbd: SUB
00000cbe: AND
00000cbf: EQ
00000cc0: PUSH2 0x0cc8
00000cc3: JUMPI
00000cc4: PUSH1 0x00
00000cc6: DUP1
00000cc7: REVERT
00000cc8: JUMPDEST
00000cc9: PUSH1 0x00
00000ccb: DUP4
00000ccc: DUP2
00000ccd: MSTORE
00000cce: PUSH1 0x01
00000cd0: PUSH1 0x20
00000cd2: MSTORE
00000cd3: PUSH1 0x40
00000cd5: SWAP1
00000cd6: KECCAK256
00000cd7: PUSH2 0x0ce4
00000cda: SWAP1
00000cdb: PUSH1 0x03
00000cdd: ADD
00000cde: DUP4
00000cdf: DUP4
00000ce0: PUSH2 0x1829
00000ce3: JUMP
00000ce4: JUMPDEST
00000ce5: POP
00000ce6: DUP3
00000ce7: CALLER
00000ce8: PUSH1 0x01
00000cea: PUSH1 0x01
00000cec: PUSH1 0xa0
00000cee: SHL
00000cef: SUB
00000cf0: AND
00000cf1: PUSH32 0x200038820d751f67059d4e34d21526a659b7e2b7141ea1cfd7e1f95e1e0fca60
00000d12: DUP5
00000d13: DUP5
00000d14: PUSH1 0x40
00000d16: MLOAD
00000d17: PUSH2 0x0d21
00000d1a: SWAP3
00000d1b: SWAP2
00000d1c: SWAP1
00000d1d: PUSH2 0x1efc
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH1 0x40
00000d24: MLOAD
00000d25: DUP1
00000d26: SWAP2
00000d27: SUB
00000d28: SWAP1
00000d29: LOG3
00000d2a: POP
00000d2b: POP
00000d2c: POP
00000d2d: JUMP
00000d2e: JUMPDEST
00000d2f: PUSH2 0x0786
00000d32: DUP4
00000d33: DUP4
00000d34: DUP4
00000d35: PUSH1 0x40
00000d37: MLOAD
00000d38: DUP1
00000d39: PUSH1 0x20
00000d3b: ADD
00000d3c: PUSH1 0x40
00000d3e: MSTORE
00000d3f: DUP1
00000d40: PUSH1 0x00
00000d42: DUP2
00000d43: MSTORE
00000d44: POP
00000d45: PUSH2 0x0fa7
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: PUSH1 0x04
00000d4c: SLOAD
00000d4d: PUSH1 0x01
00000d4f: PUSH1 0x01
00000d51: PUSH1 0xa0
00000d53: SHL
00000d54: SUB
00000d55: AND
00000d56: CALLER
00000d57: EQ
00000d58: PUSH2 0x0d60
00000d5b: JUMPI
00000d5c: PUSH1 0x00
00000d5e: DUP1
00000d5f: REVERT
00000d60: JUMPDEST
00000d61: SELFBALANCE
00000d62: DUP1
00000d63: PUSH2 0x0d6b
00000d66: JUMPI
00000d67: PUSH1 0x00
00000d69: DUP1
00000d6a: REVERT
00000d6b: JUMPDEST
00000d6c: PUSH1 0x40
00000d6e: MLOAD
00000d6f: CALLER
00000d70: SWAP1
00000d71: DUP3
00000d72: ISZERO
00000d73: PUSH2 0x08fc
00000d76: MUL
00000d77: SWAP1
00000d78: DUP4
00000d79: SWAP1
00000d7a: PUSH1 0x00
00000d7c: DUP2
00000d7d: DUP2
00000d7e: DUP2
00000d7f: DUP6
00000d80: DUP9
00000d81: DUP9
00000d82: CALL
00000d83: SWAP4
00000d84: POP
00000d85: POP
00000d86: POP
00000d87: POP
00000d88: ISZERO
00000d89: DUP1
00000d8a: ISZERO
00000d8b: PUSH2 0x0788
00000d8e: JUMPI
00000d8f: RETURNDATASIZE
00000d90: PUSH1 0x00
00000d92: DUP1
00000d93: RETURNDATACOPY
00000d94: RETURNDATASIZE
00000d95: PUSH1 0x00
00000d97: REVERT
00000d98: JUMPDEST
00000d99: PUSH1 0x00
00000d9b: DUP1
00000d9c: SLOAD
00000d9d: DUP3
00000d9e: LT
00000d9f: PUSH2 0x0da7
00000da2: JUMPI
00000da3: PUSH1 0x00
00000da5: DUP1
00000da6: REVERT
00000da7: JUMPDEST
00000da8: POP
00000da9: SWAP1
00000daa: JUMP
00000dab: JUMPDEST
00000dac: PUSH1 0x00
00000dae: DUP1
00000daf: PUSH2 0x0db7
00000db2: PUSH1 0x00
00000db4: SLOAD
00000db5: SWAP1
00000db6: JUMP
00000db7: JUMPDEST
00000db8: PUSH1 0x01
00000dba: PUSH1 0x01
00000dbc: PUSH1 0xa0
00000dbe: SHL
00000dbf: SUB
00000dc0: DUP5
00000dc1: AND
00000dc2: PUSH1 0x00
00000dc4: SWAP1
00000dc5: DUP2
00000dc6: MSTORE
00000dc7: PUSH1 0x02
00000dc9: PUSH1 0x20
00000dcb: MSTORE
00000dcc: PUSH1 0x40
00000dce: SWAP1
00000dcf: KECCAK256
00000dd0: SLOAD
00000dd1: SWAP2
00000dd2: POP
00000dd3: SWAP2
00000dd4: POP
00000dd5: SWAP2
00000dd6: POP
00000dd7: SWAP2
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: PUSH1 0x00
00000ddc: DUP1
00000ddd: SLOAD
00000dde: DUP3
00000ddf: LT
00000de0: PUSH2 0x0de8
00000de3: JUMPI
00000de4: PUSH1 0x00
00000de6: DUP1
00000de7: REVERT
00000de8: JUMPDEST
00000de9: POP
00000dea: PUSH1 0x00
00000dec: SWAP1
00000ded: DUP2
00000dee: MSTORE
00000def: PUSH1 0x01
00000df1: PUSH1 0x20
00000df3: MSTORE
00000df4: PUSH1 0x40
00000df6: SWAP1
00000df7: KECCAK256
00000df8: SLOAD
00000df9: PUSH1 0x01
00000dfb: PUSH1 0x01
00000dfd: PUSH1 0xa0
00000dff: SHL
00000e00: SUB
00000e01: AND
00000e02: SWAP1
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x60
00000e07: PUSH2 0x0e0f
00000e0a: PUSH1 0x00
00000e0c: SLOAD
00000e0d: SWAP1
00000e0e: JUMP
00000e0f: JUMPDEST
00000e10: DUP3
00000e11: LT
00000e12: PUSH2 0x0e1a
00000e15: JUMPI
00000e16: PUSH1 0x00
00000e18: DUP1
00000e19: REVERT
00000e1a: JUMPDEST
00000e1b: PUSH1 0x00
00000e1d: DUP3
00000e1e: DUP2
00000e1f: MSTORE
00000e20: PUSH1 0x01
00000e22: PUSH1 0x20
00000e24: MSTORE
00000e25: PUSH1 0x40
00000e27: SWAP1
00000e28: KECCAK256
00000e29: PUSH1 0x03
00000e2b: ADD
00000e2c: DUP1
00000e2d: SLOAD
00000e2e: PUSH2 0x0e36
00000e31: SWAP1
00000e32: PUSH2 0x2040
00000e35: JUMP
00000e36: JUMPDEST
00000e37: DUP1
00000e38: PUSH1 0x1f
00000e3a: ADD
00000e3b: PUSH1 0x20
00000e3d: DUP1
00000e3e: SWAP2
00000e3f: DIV
00000e40: MUL
00000e41: PUSH1 0x20
00000e43: ADD
00000e44: PUSH1 0x40
00000e46: MLOAD
00000e47: SWAP1
00000e48: DUP2
00000e49: ADD
00000e4a: PUSH1 0x40
00000e4c: MSTORE
00000e4d: DUP1
00000e4e: SWAP3
00000e4f: SWAP2
00000e50: SWAP1
00000e51: DUP2
00000e52: DUP2
00000e53: MSTORE
00000e54: PUSH1 0x20
00000e56: ADD
00000e57: DUP3
00000e58: DUP1
00000e59: SLOAD
00000e5a: PUSH2 0x0e62
00000e5d: SWAP1
00000e5e: PUSH2 0x2040
00000e61: JUMP
00000e62: JUMPDEST
00000e63: DUP1
00000e64: ISZERO
00000e65: PUSH2 0x0eaf
00000e68: JUMPI
00000e69: DUP1
00000e6a: PUSH1 0x1f
00000e6c: LT
00000e6d: PUSH2 0x0e84
00000e70: JUMPI
00000e71: PUSH2 0x0100
00000e74: DUP1
00000e75: DUP4
00000e76: SLOAD
00000e77: DIV
00000e78: MUL
00000e79: DUP4
00000e7a: MSTORE
00000e7b: SWAP2
00000e7c: PUSH1 0x20
00000e7e: ADD
00000e7f: SWAP2
00000e80: PUSH2 0x0eaf
00000e83: JUMP
00000e84: JUMPDEST
00000e85: DUP3
00000e86: ADD
00000e87: SWAP2
00000e88: SWAP1
00000e89: PUSH1 0x00
00000e8b: MSTORE
00000e8c: PUSH1 0x20
00000e8e: PUSH1 0x00
00000e90: KECCAK256
00000e91: SWAP1
00000e92: JUMPDEST
00000e93: DUP2
00000e94: SLOAD
00000e95: DUP2
00000e96: MSTORE
00000e97: SWAP1
00000e98: PUSH1 0x01
00000e9a: ADD
00000e9b: SWAP1
00000e9c: PUSH1 0x20
00000e9e: ADD
00000e9f: DUP1
00000ea0: DUP4
00000ea1: GT
00000ea2: PUSH2 0x0e92
00000ea5: JUMPI
00000ea6: DUP3
00000ea7: SWAP1
00000ea8: SUB
00000ea9: PUSH1 0x1f
00000eab: AND
00000eac: DUP3
00000ead: ADD
00000eae: SWAP2
00000eaf: JUMPDEST
00000eb0: POP
00000eb1: POP
00000eb2: POP
00000eb3: POP
00000eb4: POP
00000eb5: SWAP1
00000eb6: POP
00000eb7: SWAP2
00000eb8: SWAP1
00000eb9: POP
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: PUSH1 0x00
00000ebe: DUP1
00000ebf: PUSH1 0x00
00000ec1: PUSH1 0x60
00000ec3: PUSH2 0x0ecb
00000ec6: DUP6
00000ec7: PUSH2 0x0dd9
00000eca: JUMP
00000ecb: JUMPDEST
00000ecc: PUSH2 0x0ed4
00000ecf: DUP7
00000ed0: PUSH2 0x099e
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: PUSH2 0x0edd
00000ed8: DUP8
00000ed9: PUSH2 0x1133
00000edc: JUMP
00000edd: JUMPDEST
00000ede: PUSH2 0x0ee6
00000ee1: DUP9
00000ee2: PUSH2 0x0e04
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: SWAP4
00000ee8: POP
00000ee9: SWAP4
00000eea: POP
00000eeb: SWAP4
00000eec: POP
00000eed: SWAP4
00000eee: POP
00000eef: SWAP2
00000ef0: SWAP4
00000ef1: POP
00000ef2: SWAP2
00000ef3: SWAP4
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: PUSH1 0x03
00000ef8: SLOAD
00000ef9: PUSH1 0x40
00000efb: DUP1
00000efc: MLOAD
00000efd: PUSH4 0x95d89b41
00000f02: PUSH1 0xe0
00000f04: SHL
00000f05: DUP2
00000f06: MSTORE
00000f07: SWAP1
00000f08: MLOAD
00000f09: PUSH1 0x60
00000f0b: SWAP3
00000f0c: PUSH1 0x01
00000f0e: PUSH1 0x01
00000f10: PUSH1 0xa0
00000f12: SHL
00000f13: SUB
00000f14: AND
00000f15: SWAP2
00000f16: PUSH4 0x95d89b41
00000f1b: SWAP2
00000f1c: PUSH1 0x04
00000f1e: DUP1
00000f1f: DUP4
00000f20: ADD
00000f21: SWAP3
00000f22: PUSH1 0x00
00000f24: SWAP3
00000f25: SWAP2
00000f26: SWAP1
00000f27: DUP3
00000f28: SWAP1
00000f29: SUB
00000f2a: ADD
00000f2b: DUP2
00000f2c: DUP7
00000f2d: DUP1
00000f2e: EXTCODESIZE
00000f2f: ISZERO
00000f30: DUP1
00000f31: ISZERO
00000f32: PUSH2 0x095d
00000f35: JUMPI
00000f36: PUSH1 0x00
00000f38: DUP1
00000f39: REVERT
00000f3a: JUMPDEST
00000f3b: CALLER
00000f3c: PUSH1 0x00
00000f3e: DUP2
00000f3f: DUP2
00000f40: MSTORE
00000f41: PUSH1 0x02
00000f43: PUSH1 0x20
00000f45: DUP2
00000f46: DUP2
00000f47: MSTORE
00000f48: PUSH1 0x40
00000f4a: DUP1
00000f4b: DUP5
00000f4c: KECCAK256
00000f4d: PUSH1 0x01
00000f4f: PUSH1 0x01
00000f51: PUSH1 0xa0
00000f53: SHL
00000f54: SUB
00000f55: DUP9
00000f56: AND
00000f57: DUP1
00000f58: DUP7
00000f59: MSTORE
00000f5a: SWAP4
00000f5b: ADD
00000f5c: DUP3
00000f5d: MSTORE
00000f5e: SWAP3
00000f5f: DUP4
00000f60: SWAP1
00000f61: KECCAK256
00000f62: DUP1
00000f63: SLOAD
00000f64: PUSH1 0xff
00000f66: NOT
00000f67: AND
00000f68: DUP7
00000f69: ISZERO
00000f6a: ISZERO
00000f6b: SWAP1
00000f6c: DUP2
00000f6d: OR
00000f6e: SWAP1
00000f6f: SWAP2
00000f70: SSTORE
00000f71: SWAP3
00000f72: MLOAD
00000f73: SWAP3
00000f74: DUP4
00000f75: MSTORE
00000f76: SWAP1
00000f77: SWAP3
00000f78: SWAP2
00000f79: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00000f9a: SWAP2
00000f9b: ADD
00000f9c: PUSH1 0x40
00000f9e: MLOAD
00000f9f: DUP1
00000fa0: SWAP2
00000fa1: SUB
00000fa2: SWAP1
00000fa3: LOG3
00000fa4: POP
00000fa5: POP
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: PUSH2 0x0fb2
00000fab: DUP5
00000fac: DUP5
00000fad: DUP5
00000fae: PUSH2 0x154b
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: DUP3
00000fb4: EXTCODESIZE
00000fb5: PUSH4 0xffffffff
00000fba: DUP2
00000fbb: AND
00000fbc: ISZERO
00000fbd: PUSH2 0x1060
00000fc0: JUMPI
00000fc1: PUSH1 0x40
00000fc3: MLOAD
00000fc4: PUSH4 0x0a85bd01
00000fc9: PUSH1 0xe1
00000fcb: SHL
00000fcc: DUP2
00000fcd: MSTORE
00000fce: PUSH1 0x01
00000fd0: PUSH1 0x01
00000fd2: PUSH1 0xa0
00000fd4: SHL
00000fd5: SUB
00000fd6: DUP6
00000fd7: AND
00000fd8: SWAP1
00000fd9: PUSH4 0x150b7a02
00000fde: SWAP1
00000fdf: PUSH2 0x0ff2
00000fe2: SWAP1
00000fe3: CALLER
00000fe4: SWAP1
00000fe5: DUP10
00000fe6: SWAP1
00000fe7: DUP9
00000fe8: SWAP1
00000fe9: DUP9
00000fea: SWAP1
00000feb: PUSH1 0x04
00000fed: ADD
00000fee: PUSH2 0x1d8c
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: PUSH1 0x20
00000ff5: PUSH1 0x40
00000ff7: MLOAD
00000ff8: DUP1
00000ff9: DUP4
00000ffa: SUB
00000ffb: DUP2
00000ffc: PUSH1 0x00
00000ffe: DUP8
00000fff: DUP1
00001000: EXTCODESIZE
00001001: ISZERO
00001002: DUP1
00001003: ISZERO
00001004: PUSH2 0x100c
00001007: JUMPI
00001008: PUSH1 0x00
0000100a: DUP1
0000100b: REVERT
0000100c: JUMPDEST
0000100d: POP
0000100e: GAS
0000100f: CALL
00001010: ISZERO
00001011: DUP1
00001012: ISZERO
00001013: PUSH2 0x1020
00001016: JUMPI
00001017: RETURNDATASIZE
00001018: PUSH1 0x00
0000101a: DUP1
0000101b: RETURNDATACOPY
0000101c: RETURNDATASIZE
0000101d: PUSH1 0x00
0000101f: REVERT
00001020: JUMPDEST
00001021: POP
00001022: POP
00001023: POP
00001024: POP
00001025: PUSH1 0x40
00001027: MLOAD
00001028: RETURNDATASIZE
00001029: PUSH1 0x1f
0000102b: NOT
0000102c: PUSH1 0x1f
0000102e: DUP3
0000102f: ADD
00001030: AND
00001031: DUP3
00001032: ADD
00001033: DUP1
00001034: PUSH1 0x40
00001036: MSTORE
00001037: POP
00001038: DUP2
00001039: ADD
0000103a: SWAP1
0000103b: PUSH2 0x1044
0000103e: SWAP2
0000103f: SWAP1
00001040: PUSH2 0x1b8e
00001043: JUMP
00001044: JUMPDEST
00001045: PUSH1 0x01
00001047: PUSH1 0x01
00001049: PUSH1 0xe0
0000104b: SHL
0000104c: SUB
0000104d: NOT
0000104e: AND
0000104f: PUSH4 0x150b7a02
00001054: PUSH1 0xe0
00001056: SHL
00001057: EQ
00001058: PUSH2 0x1060
0000105b: JUMPI
0000105c: PUSH1 0x00
0000105e: DUP1
0000105f: REVERT
00001060: JUMPDEST
00001061: POP
00001062: POP
00001063: POP
00001064: POP
00001065: POP
00001066: JUMP
00001067: JUMPDEST
00001068: PUSH1 0x03
0000106a: SLOAD
0000106b: PUSH1 0x40
0000106d: MLOAD
0000106e: PUSH4 0xc87b56dd
00001073: PUSH1 0xe0
00001075: SHL
00001076: DUP2
00001077: MSTORE
00001078: PUSH1 0x04
0000107a: DUP2
0000107b: ADD
0000107c: DUP4
0000107d: SWAP1
0000107e: MSTORE
0000107f: PUSH1 0x60
00001081: SWAP2
00001082: PUSH1 0x01
00001084: PUSH1 0x01
00001086: PUSH1 0xa0
00001088: SHL
00001089: SUB
0000108a: AND
0000108b: SWAP1
0000108c: PUSH4 0xc87b56dd
00001091: SWAP1
00001092: PUSH1 0x24
00001094: ADD
00001095: PUSH1 0x00
00001097: PUSH1 0x40
00001099: MLOAD
0000109a: DUP1
0000109b: DUP4
0000109c: SUB
0000109d: DUP2
0000109e: DUP7
0000109f: DUP1
000010a0: EXTCODESIZE
000010a1: ISZERO
000010a2: DUP1
000010a3: ISZERO
000010a4: PUSH2 0x10ac
000010a7: JUMPI
000010a8: PUSH1 0x00
000010aa: DUP1
000010ab: REVERT
000010ac: JUMPDEST
000010ad: POP
000010ae: GAS
000010af: STATICCALL
000010b0: ISZERO
000010b1: DUP1
000010b2: ISZERO
000010b3: PUSH2 0x10c0
000010b6: JUMPI
000010b7: RETURNDATASIZE
000010b8: PUSH1 0x00
000010ba: DUP1
000010bb: RETURNDATACOPY
000010bc: RETURNDATASIZE
000010bd: PUSH1 0x00
000010bf: REVERT
000010c0: JUMPDEST
000010c1: POP
000010c2: POP
000010c3: POP
000010c4: POP
000010c5: PUSH1 0x40
000010c7: MLOAD
000010c8: RETURNDATASIZE
000010c9: PUSH1 0x00
000010cb: DUP3
000010cc: RETURNDATACOPY
000010cd: PUSH1 0x1f
000010cf: RETURNDATASIZE
000010d0: SWAP1
000010d1: DUP2
000010d2: ADD
000010d3: PUSH1 0x1f
000010d5: NOT
000010d6: AND
000010d7: DUP3
000010d8: ADD
000010d9: PUSH1 0x40
000010db: MSTORE
000010dc: PUSH2 0x10e8
000010df: SWAP2
000010e0: SWAP1
000010e1: DUP2
000010e2: ADD
000010e3: SWAP1
000010e4: PUSH2 0x1bab
000010e7: JUMP
000010e8: JUMPDEST
000010e9: SWAP3
000010ea: SWAP2
000010eb: POP
000010ec: POP
000010ed: JUMP
000010ee: JUMPDEST
000010ef: PUSH1 0x03
000010f1: SLOAD
000010f2: PUSH1 0x40
000010f4: DUP1
000010f5: MLOAD
000010f6: PUSH4 0xd547cfb7
000010fb: PUSH1 0xe0
000010fd: SHL
000010fe: DUP2
000010ff: MSTORE
00001100: SWAP1
00001101: MLOAD
00001102: PUSH1 0x60
00001104: SWAP3
00001105: PUSH1 0x01
00001107: PUSH1 0x01
00001109: PUSH1 0xa0
0000110b: SHL
0000110c: SUB
0000110d: AND
0000110e: SWAP2
0000110f: PUSH4 0xd547cfb7
00001114: SWAP2
00001115: PUSH1 0x04
00001117: DUP1
00001118: DUP4
00001119: ADD
0000111a: SWAP3
0000111b: PUSH1 0x00
0000111d: SWAP3
0000111e: SWAP2
0000111f: SWAP1
00001120: DUP3
00001121: SWAP1
00001122: SUB
00001123: ADD
00001124: DUP2
00001125: DUP7
00001126: DUP1
00001127: EXTCODESIZE
00001128: ISZERO
00001129: DUP1
0000112a: ISZERO
0000112b: PUSH2 0x095d
0000112e: JUMPI
0000112f: PUSH1 0x00
00001131: DUP1
00001132: REVERT
00001133: JUMPDEST
00001134: PUSH1 0x00
00001136: DUP1
00001137: SLOAD
00001138: DUP3
00001139: LT
0000113a: PUSH2 0x1142
0000113d: JUMPI
0000113e: PUSH1 0x00
00001140: DUP1
00001141: REVERT
00001142: JUMPDEST
00001143: POP
00001144: PUSH1 0x00
00001146: SWAP1
00001147: DUP2
00001148: MSTORE
00001149: PUSH1 0x01
0000114b: PUSH1 0x20
0000114d: MSTORE
0000114e: PUSH1 0x40
00001150: SWAP1
00001151: KECCAK256
00001152: PUSH1 0x02
00001154: ADD
00001155: SLOAD
00001156: SWAP1
00001157: JUMP
00001158: JUMPDEST
00001159: PUSH1 0x03
0000115b: SLOAD
0000115c: PUSH1 0x40
0000115e: DUP1
0000115f: MLOAD
00001160: PUSH4 0xe8a3d485
00001165: PUSH1 0xe0
00001167: SHL
00001168: DUP2
00001169: MSTORE
0000116a: SWAP1
0000116b: MLOAD
0000116c: PUSH1 0x60
0000116e: SWAP3
0000116f: PUSH1 0x01
00001171: PUSH1 0x01
00001173: PUSH1 0xa0
00001175: SHL
00001176: SUB
00001177: AND
00001178: SWAP2
00001179: PUSH4 0xe8a3d485
0000117e: SWAP2
0000117f: PUSH1 0x04
00001181: DUP1
00001182: DUP4
00001183: ADD
00001184: SWAP3
00001185: PUSH1 0x00
00001187: SWAP3
00001188: SWAP2
00001189: SWAP1
0000118a: DUP3
0000118b: SWAP1
0000118c: SUB
0000118d: ADD
0000118e: DUP2
0000118f: DUP7
00001190: DUP1
00001191: EXTCODESIZE
00001192: ISZERO
00001193: DUP1
00001194: ISZERO
00001195: PUSH2 0x095d
00001198: JUMPI
00001199: PUSH1 0x00
0000119b: DUP1
0000119c: REVERT
0000119d: JUMPDEST
0000119e: PUSH1 0x04
000011a0: SLOAD
000011a1: PUSH1 0x01
000011a3: PUSH1 0x01
000011a5: PUSH1 0xa0
000011a7: SHL
000011a8: SUB
000011a9: AND
000011aa: CALLER
000011ab: EQ
000011ac: PUSH2 0x11b4
000011af: JUMPI
000011b0: PUSH1 0x00
000011b2: DUP1
000011b3: REVERT
000011b4: JUMPDEST
000011b5: PUSH1 0x03
000011b7: DUP1
000011b8: SLOAD
000011b9: PUSH1 0x01
000011bb: PUSH1 0x01
000011bd: PUSH1 0xa0
000011bf: SHL
000011c0: SUB
000011c1: NOT
000011c2: AND
000011c3: PUSH1 0x01
000011c5: PUSH1 0x01
000011c7: PUSH1 0xa0
000011c9: SHL
000011ca: SUB
000011cb: SWAP3
000011cc: SWAP1
000011cd: SWAP3
000011ce: AND
000011cf: SWAP2
000011d0: SWAP1
000011d1: SWAP2
000011d2: OR
000011d3: SWAP1
000011d4: SSTORE
000011d5: JUMP
000011d6: JUMPDEST
000011d7: PUSH1 0x60
000011d9: DUP1
000011da: PUSH1 0x60
000011dc: DUP1
000011dd: PUSH1 0x00
000011df: DUP6
000011e0: MLOAD
000011e1: SWAP1
000011e2: POP
000011e3: DUP1
000011e4: PUSH8 0xffffffffffffffff
000011ed: DUP2
000011ee: GT
000011ef: ISZERO
000011f0: PUSH2 0x11fb
000011f3: JUMPI
000011f4: PUSH2 0x11fb
000011f7: PUSH2 0x20ec
000011fa: JUMP
000011fb: JUMPDEST
000011fc: PUSH1 0x40
000011fe: MLOAD
000011ff: SWAP1
00001200: DUP1
00001201: DUP3
00001202: MSTORE
00001203: DUP1
00001204: PUSH1 0x20
00001206: MUL
00001207: PUSH1 0x20
00001209: ADD
0000120a: DUP3
0000120b: ADD
0000120c: PUSH1 0x40
0000120e: MSTORE
0000120f: DUP1
00001210: ISZERO
00001211: PUSH2 0x1224
00001214: JUMPI
00001215: DUP2
00001216: PUSH1 0x20
00001218: ADD
00001219: PUSH1 0x20
0000121b: DUP3
0000121c: MUL
0000121d: DUP1
0000121e: CALLDATASIZE
0000121f: DUP4
00001220: CALLDATACOPY
00001221: ADD
00001222: SWAP1
00001223: POP
00001224: JUMPDEST
00001225: POP
00001226: SWAP5
00001227: POP
00001228: DUP1
00001229: PUSH8 0xffffffffffffffff
00001232: DUP2
00001233: GT
00001234: ISZERO
00001235: PUSH2 0x1240
00001238: JUMPI
00001239: PUSH2 0x1240
0000123c: PUSH2 0x20ec
0000123f: JUMP
00001240: JUMPDEST
00001241: PUSH1 0x40
00001243: MLOAD
00001244: SWAP1
00001245: DUP1
00001246: DUP3
00001247: MSTORE
00001248: DUP1
00001249: PUSH1 0x20
0000124b: MUL
0000124c: PUSH1 0x20
0000124e: ADD
0000124f: DUP3
00001250: ADD
00001251: PUSH1 0x40
00001253: MSTORE
00001254: DUP1
00001255: ISZERO
00001256: PUSH2 0x1269
00001259: JUMPI
0000125a: DUP2
0000125b: PUSH1 0x20
0000125d: ADD
0000125e: PUSH1 0x20
00001260: DUP3
00001261: MUL
00001262: DUP1
00001263: CALLDATASIZE
00001264: DUP4
00001265: CALLDATACOPY
00001266: ADD
00001267: SWAP1
00001268: POP
00001269: JUMPDEST
0000126a: POP
0000126b: SWAP4
0000126c: POP
0000126d: DUP1
0000126e: PUSH8 0xffffffffffffffff
00001277: DUP2
00001278: GT
00001279: ISZERO
0000127a: PUSH2 0x1285
0000127d: JUMPI
0000127e: PUSH2 0x1285
00001281: PUSH2 0x20ec
00001284: JUMP
00001285: JUMPDEST
00001286: PUSH1 0x40
00001288: MLOAD
00001289: SWAP1
0000128a: DUP1
0000128b: DUP3
0000128c: MSTORE
0000128d: DUP1
0000128e: PUSH1 0x20
00001290: MUL
00001291: PUSH1 0x20
00001293: ADD
00001294: DUP3
00001295: ADD
00001296: PUSH1 0x40
00001298: MSTORE
00001299: DUP1
0000129a: ISZERO
0000129b: PUSH2 0x12ae
0000129e: JUMPI
0000129f: DUP2
000012a0: PUSH1 0x20
000012a2: ADD
000012a3: PUSH1 0x20
000012a5: DUP3
000012a6: MUL
000012a7: DUP1
000012a8: CALLDATASIZE
000012a9: DUP4
000012aa: CALLDATACOPY
000012ab: ADD
000012ac: SWAP1
000012ad: POP
000012ae: JUMPDEST
000012af: POP
000012b0: SWAP3
000012b1: POP
000012b2: DUP1
000012b3: PUSH8 0xffffffffffffffff
000012bc: DUP2
000012bd: GT
000012be: ISZERO
000012bf: PUSH2 0x12ca
000012c2: JUMPI
000012c3: PUSH2 0x12ca
000012c6: PUSH2 0x20ec
000012c9: JUMP
000012ca: JUMPDEST
000012cb: PUSH1 0x40
000012cd: MLOAD
000012ce: SWAP1
000012cf: DUP1
000012d0: DUP3
000012d1: MSTORE
000012d2: DUP1
000012d3: PUSH1 0x20
000012d5: MUL
000012d6: PUSH1 0x20
000012d8: ADD
000012d9: DUP3
000012da: ADD
000012db: PUSH1 0x40
000012dd: MSTORE
000012de: DUP1
000012df: ISZERO
000012e0: PUSH2 0x12f3
000012e3: JUMPI
000012e4: DUP2
000012e5: PUSH1 0x20
000012e7: ADD
000012e8: PUSH1 0x20
000012ea: DUP3
000012eb: MUL
000012ec: DUP1
000012ed: CALLDATASIZE
000012ee: DUP4
000012ef: CALLDATACOPY
000012f0: ADD
000012f1: SWAP1
000012f2: POP
000012f3: JUMPDEST
000012f4: POP
000012f5: SWAP2
000012f6: POP
000012f7: PUSH1 0x00
000012f9: JUMPDEST
000012fa: DUP2
000012fb: DUP2
000012fc: LT
000012fd: ISZERO
000012fe: PUSH2 0x13c6
00001301: JUMPI
00001302: PUSH1 0x60
00001304: PUSH2 0x1325
00001307: DUP9
00001308: DUP4
00001309: DUP2
0000130a: MLOAD
0000130b: DUP2
0000130c: LT
0000130d: PUSH2 0x1318
00001310: JUMPI
00001311: PUSH2 0x1318
00001314: PUSH2 0x20d6
00001317: JUMP
00001318: JUMPDEST
00001319: PUSH1 0x20
0000131b: MUL
0000131c: PUSH1 0x20
0000131e: ADD
0000131f: ADD
00001320: MLOAD
00001321: PUSH2 0x0ebb
00001324: JUMP
00001325: JUMPDEST
00001326: DUP11
00001327: DUP7
00001328: DUP2
00001329: MLOAD
0000132a: DUP2
0000132b: LT
0000132c: PUSH2 0x1337
0000132f: JUMPI
00001330: PUSH2 0x1337
00001333: PUSH2 0x20d6
00001336: JUMP
00001337: JUMPDEST
00001338: PUSH1 0x20
0000133a: MUL
0000133b: PUSH1 0x20
0000133d: ADD
0000133e: ADD
0000133f: DUP11
00001340: DUP8
00001341: DUP2
00001342: MLOAD
00001343: DUP2
00001344: LT
00001345: PUSH2 0x1350
00001348: JUMPI
00001349: PUSH2 0x1350
0000134c: PUSH2 0x20d6
0000134f: JUMP
00001350: JUMPDEST
00001351: PUSH1 0x20
00001353: MUL
00001354: PUSH1 0x20
00001356: ADD
00001357: ADD
00001358: DUP11
00001359: DUP9
0000135a: DUP2
0000135b: MLOAD
0000135c: DUP2
0000135d: LT
0000135e: PUSH2 0x1369
00001361: JUMPI
00001362: PUSH2 0x1369
00001365: PUSH2 0x20d6
00001368: JUMP
00001369: JUMPDEST
0000136a: PUSH1 0x20
0000136c: SWAP1
0000136d: DUP2
0000136e: MUL
0000136f: SWAP2
00001370: SWAP1
00001371: SWAP2
00001372: ADD
00001373: ADD
00001374: SWAP4
00001375: SWAP1
00001376: SWAP4
00001377: MSTORE
00001378: PUSH1 0x01
0000137a: PUSH1 0x01
0000137c: PUSH1 0xa0
0000137e: SHL
0000137f: SUB
00001380: SWAP4
00001381: DUP5
00001382: AND
00001383: SWAP1
00001384: SWAP3
00001385: MSTORE
00001386: SWAP3
00001387: SWAP1
00001388: SWAP2
00001389: AND
0000138a: SWAP1
0000138b: MSTORE
0000138c: SWAP1
0000138d: POP
0000138e: PUSH2 0x1396
00001391: DUP2
00001392: PUSH2 0x180d
00001395: JUMP
00001396: JUMPDEST
00001397: DUP5
00001398: DUP4
00001399: DUP2
0000139a: MLOAD
0000139b: DUP2
0000139c: LT
0000139d: PUSH2 0x13a8
000013a0: JUMPI
000013a1: PUSH2 0x13a8
000013a4: PUSH2 0x20d6
000013a7: JUMP
000013a8: JUMPDEST
000013a9: PUSH1 0x20
000013ab: SWAP1
000013ac: DUP2
000013ad: MUL
000013ae: SWAP2
000013af: SWAP1
000013b0: SWAP2
000013b1: ADD
000013b2: ADD
000013b3: MSTORE
000013b4: POP
000013b5: DUP1
000013b6: PUSH2 0x13be
000013b9: DUP2
000013ba: PUSH2 0x207b
000013bd: JUMP
000013be: JUMPDEST
000013bf: SWAP2
000013c0: POP
000013c1: POP
000013c2: PUSH2 0x12f9
000013c5: JUMP
000013c6: JUMPDEST
000013c7: POP
000013c8: POP
000013c9: SWAP2
000013ca: SWAP4
000013cb: POP
000013cc: SWAP2
000013cd: SWAP4
000013ce: JUMP
000013cf: JUMPDEST
000013d0: PUSH2 0x0781
000013d3: PUSH2 0x13db
000013d6: PUSH1 0x00
000013d8: SLOAD
000013d9: SWAP1
000013da: JUMP
000013db: JUMPDEST
000013dc: LT
000013dd: PUSH2 0x13e5
000013e0: JUMPI
000013e1: PUSH1 0x00
000013e3: DUP1
000013e4: REVERT
000013e5: JUMPDEST
000013e6: PUSH1 0x00
000013e8: DUP1
000013e9: SLOAD
000013ea: DUP2
000013eb: DUP1
000013ec: PUSH2 0x13f4
000013ef: DUP4
000013f0: PUSH2 0x207b
000013f3: JUMP
000013f4: JUMPDEST
000013f5: SWAP1
000013f6: SWAP2
000013f7: SSTORE
000013f8: POP
000013f9: PUSH1 0x00
000013fb: DUP2
000013fc: DUP2
000013fd: MSTORE
000013fe: PUSH1 0x01
00001400: PUSH1 0x20
00001402: DUP2
00001403: SWAP1
00001404: MSTORE
00001405: PUSH1 0x40
00001407: DUP3
00001408: KECCAK256
00001409: DUP1
0000140a: SLOAD
0000140b: PUSH1 0x01
0000140d: PUSH1 0x01
0000140f: PUSH1 0xa0
00001411: SHL
00001412: SUB
00001413: NOT
00001414: AND
00001415: CALLER
00001416: SWAP1
00001417: DUP2
00001418: OR
00001419: DUP3
0000141a: SSTORE
0000141b: SWAP4
0000141c: SWAP5
0000141d: POP
0000141e: SWAP3
0000141f: DUP5
00001420: SWAP2
00001421: PUSH2 0x142a
00001424: SWAP1
00001425: NUMBER
00001426: PUSH2 0x1fe2
00001429: JUMP
0000142a: JUMPDEST
0000142b: BLOCKHASH
0000142c: GAS
0000142d: PUSH1 0x40
0000142f: MLOAD
00001430: PUSH1 0x20
00001432: ADD
00001433: PUSH2 0x1467
00001436: SWAP5
00001437: SWAP4
00001438: SWAP3
00001439: SWAP2
0000143a: SWAP1
0000143b: SWAP4
0000143c: DUP5
0000143d: MSTORE
0000143e: PUSH1 0x60
00001440: SWAP3
00001441: SWAP1
00001442: SWAP3
00001443: SHL
00001444: PUSH12 0xffffffffffffffffffffffff
00001451: NOT
00001452: AND
00001453: PUSH1 0x20
00001455: DUP5
00001456: ADD
00001457: MSTORE
00001458: PUSH1 0x34
0000145a: DUP4
0000145b: ADD
0000145c: MSTORE
0000145d: PUSH1 0x54
0000145f: DUP3
00001460: ADD
00001461: MSTORE
00001462: PUSH1 0x74
00001464: ADD
00001465: SWAP1
00001466: JUMP
00001467: JUMPDEST
00001468: PUSH1 0x40
0000146a: DUP1
0000146b: MLOAD
0000146c: PUSH1 0x1f
0000146e: NOT
0000146f: DUP2
00001470: DUP5
00001471: SUB
00001472: ADD
00001473: DUP2
00001474: MSTORE
00001475: SWAP2
00001476: DUP2
00001477: MSTORE
00001478: DUP2
00001479: MLOAD
0000147a: PUSH1 0x20
0000147c: SWAP3
0000147d: DUP4
0000147e: ADD
0000147f: KECCAK256
00001480: PUSH1 0x02
00001482: DUP1
00001483: DUP7
00001484: ADD
00001485: DUP3
00001486: SWAP1
00001487: SSTORE
00001488: CALLER
00001489: PUSH1 0x00
0000148b: SWAP1
0000148c: DUP2
0000148d: MSTORE
0000148e: SWAP4
0000148f: MSTORE
00001490: SWAP1
00001491: DUP3
00001492: KECCAK256
00001493: DUP1
00001494: SLOAD
00001495: SWAP2
00001496: SWAP4
00001497: POP
00001498: DUP3
00001499: PUSH2 0x14a1
0000149c: DUP4
0000149d: PUSH2 0x207b
000014a0: JUMP
000014a1: JUMPDEST
000014a2: SWAP1
000014a3: SWAP2
000014a4: SSTORE
000014a5: POP
000014a6: SWAP1
000014a7: POP
000014a8: PUSH2 0x14b2
000014ab: DUP2
000014ac: PUSH1 0x01
000014ae: PUSH2 0x1f97
000014b1: JUMP
000014b2: JUMPDEST
000014b3: CALLER
000014b4: PUSH1 0x00
000014b6: DUP2
000014b7: DUP2
000014b8: MSTORE
000014b9: PUSH1 0x02
000014bb: PUSH1 0x20
000014bd: SWAP1
000014be: DUP2
000014bf: MSTORE
000014c0: PUSH1 0x40
000014c2: DUP1
000014c3: DUP4
000014c4: KECCAK256
000014c5: DUP10
000014c6: DUP5
000014c7: MSTORE
000014c8: PUSH1 0x03
000014ca: DUP2
000014cb: ADD
000014cc: DUP4
000014cd: MSTORE
000014ce: DUP2
000014cf: DUP5
000014d0: KECCAK256
000014d1: SWAP6
000014d2: SWAP1
000014d3: SWAP6
000014d4: SSTORE
000014d5: DUP6
000014d6: DUP4
000014d7: MSTORE
000014d8: PUSH1 0x01
000014da: SWAP1
000014db: SWAP5
000014dc: ADD
000014dd: SWAP1
000014de: MSTORE
000014df: DUP3
000014e0: DUP2
000014e1: KECCAK256
000014e2: DUP8
000014e3: SWAP1
000014e4: SSTORE
000014e5: SWAP2
000014e6: MLOAD
000014e7: DUP7
000014e8: SWAP3
000014e9: SWAP1
000014ea: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000150b: SWAP1
0000150c: DUP3
0000150d: SWAP1
0000150e: LOG4
0000150f: PUSH1 0x40
00001511: MLOAD
00001512: DUP3
00001513: DUP2
00001514: MSTORE
00001515: DUP5
00001516: SWAP1
00001517: CALLER
00001518: SWAP1
00001519: PUSH32 0x3dec94b8abc8f801eaade1616d3aadd3114b556a284267905e0a053b2df39892
0000153a: SWAP1
0000153b: PUSH1 0x20
0000153d: ADD
0000153e: PUSH1 0x40
00001540: MLOAD
00001541: DUP1
00001542: SWAP2
00001543: SUB
00001544: SWAP1
00001545: LOG3
00001546: POP
00001547: POP
00001548: POP
00001549: POP
0000154a: JUMP
0000154b: JUMPDEST
0000154c: PUSH1 0x00
0000154e: PUSH2 0x1556
00001551: DUP3
00001552: PUSH2 0x0dd9
00001555: JUMP
00001556: JUMPDEST
00001557: SWAP1
00001558: POP
00001559: PUSH1 0x00
0000155b: PUSH2 0x1563
0000155e: DUP4
0000155f: PUSH2 0x099e
00001562: JUMP
00001563: JUMPDEST
00001564: SWAP1
00001565: POP
00001566: DUP2
00001567: PUSH1 0x01
00001569: PUSH1 0x01
0000156b: PUSH1 0xa0
0000156d: SHL
0000156e: SUB
0000156f: AND
00001570: DUP6
00001571: PUSH1 0x01
00001573: PUSH1 0x01
00001575: PUSH1 0xa0
00001577: SHL
00001578: SUB
00001579: AND
0000157a: EQ
0000157b: PUSH2 0x1583
0000157e: JUMPI
0000157f: PUSH1 0x00
00001581: DUP1
00001582: REVERT
00001583: JUMPDEST
00001584: CALLER
00001585: PUSH1 0x01
00001587: PUSH1 0x01
00001589: PUSH1 0xa0
0000158b: SHL
0000158c: SUB
0000158d: DUP4
0000158e: AND
0000158f: EQ
00001590: DUP1
00001591: PUSH2 0x15a2
00001594: JUMPI
00001595: POP
00001596: CALLER
00001597: PUSH1 0x01
00001599: PUSH1 0x01
0000159b: PUSH1 0xa0
0000159d: SHL
0000159e: SUB
0000159f: DUP3
000015a0: AND
000015a1: EQ
000015a2: JUMPDEST
000015a3: DUP1
000015a4: PUSH2 0x15d2
000015a7: JUMPI
000015a8: POP
000015a9: PUSH1 0x01
000015ab: PUSH1 0x01
000015ad: PUSH1 0xa0
000015af: SHL
000015b0: SUB
000015b1: DUP3
000015b2: AND
000015b3: PUSH1 0x00
000015b5: SWAP1
000015b6: DUP2
000015b7: MSTORE
000015b8: PUSH1 0x02
000015ba: PUSH1 0x20
000015bc: DUP2
000015bd: DUP2
000015be: MSTORE
000015bf: PUSH1 0x40
000015c1: DUP1
000015c2: DUP5
000015c3: KECCAK256
000015c4: CALLER
000015c5: DUP6
000015c6: MSTORE
000015c7: SWAP1
000015c8: SWAP3
000015c9: ADD
000015ca: SWAP1
000015cb: MSTORE
000015cc: SWAP1
000015cd: KECCAK256
000015ce: SLOAD
000015cf: PUSH1 0xff
000015d1: AND
000015d2: JUMPDEST
000015d3: PUSH2 0x15db
000015d6: JUMPI
000015d7: PUSH1 0x00
000015d9: DUP1
000015da: REVERT
000015db: JUMPDEST
000015dc: PUSH1 0x00
000015de: DUP4
000015df: DUP2
000015e0: MSTORE
000015e1: PUSH1 0x01
000015e3: PUSH1 0x20
000015e5: MSTORE
000015e6: PUSH1 0x40
000015e8: SWAP1
000015e9: KECCAK256
000015ea: DUP1
000015eb: SLOAD
000015ec: PUSH1 0x01
000015ee: PUSH1 0x01
000015f0: PUSH1 0xa0
000015f2: SHL
000015f3: SUB
000015f4: NOT
000015f5: AND
000015f6: PUSH1 0x01
000015f8: PUSH1 0x01
000015fa: PUSH1 0xa0
000015fc: SHL
000015fd: SUB
000015fe: DUP7
000015ff: DUP2
00001600: AND
00001601: SWAP2
00001602: SWAP1
00001603: SWAP2
00001604: OR
00001605: SWAP1
00001606: SWAP2
00001607: SSTORE
00001608: DUP2
00001609: AND
0000160a: ISZERO
0000160b: PUSH2 0x165c
0000160e: JUMPI
0000160f: PUSH1 0x00
00001611: DUP4
00001612: DUP2
00001613: MSTORE
00001614: PUSH1 0x01
00001616: PUSH1 0x20
00001618: DUP2
00001619: SWAP1
0000161a: MSTORE
0000161b: PUSH1 0x40
0000161d: DUP1
0000161e: DUP4
0000161f: KECCAK256
00001620: SWAP1
00001621: SWAP2
00001622: ADD
00001623: DUP1
00001624: SLOAD
00001625: PUSH1 0x01
00001627: PUSH1 0x01
00001629: PUSH1 0xa0
0000162b: SHL
0000162c: SUB
0000162d: NOT
0000162e: AND
0000162f: SWAP1
00001630: SSTORE
00001631: MLOAD
00001632: DUP5
00001633: SWAP2
00001634: SWAP1
00001635: DUP2
00001636: SWAP1
00001637: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001658: SWAP1
00001659: DUP3
0000165a: SWAP1
0000165b: LOG4
0000165c: JUMPDEST
0000165d: PUSH1 0x01
0000165f: PUSH1 0x01
00001661: PUSH1 0xa0
00001663: SHL
00001664: SUB
00001665: DUP6
00001666: AND
00001667: PUSH1 0x00
00001669: SWAP1
0000166a: DUP2
0000166b: MSTORE
0000166c: PUSH1 0x02
0000166e: PUSH1 0x20
00001670: SWAP1
00001671: DUP2
00001672: MSTORE
00001673: PUSH1 0x40
00001675: DUP1
00001676: DUP4
00001677: KECCAK256
00001678: DUP7
00001679: DUP5
0000167a: MSTORE
0000167b: PUSH1 0x03
0000167d: ADD
0000167e: SWAP1
0000167f: SWAP2
00001680: MSTORE
00001681: DUP2
00001682: KECCAK256
00001683: SLOAD
00001684: PUSH2 0x168f
00001687: SWAP1
00001688: PUSH1 0x01
0000168a: SWAP1
0000168b: PUSH2 0x1fe2
0000168e: JUMP
0000168f: JUMPDEST
00001690: PUSH1 0x01
00001692: PUSH1 0x01
00001694: PUSH1 0xa0
00001696: SHL
00001697: SUB
00001698: DUP8
00001699: AND
0000169a: PUSH1 0x00
0000169c: SWAP1
0000169d: DUP2
0000169e: MSTORE
0000169f: PUSH1 0x02
000016a1: PUSH1 0x20
000016a3: MSTORE
000016a4: PUSH1 0x40
000016a6: DUP2
000016a7: KECCAK256
000016a8: DUP1
000016a9: SLOAD
000016aa: SWAP3
000016ab: SWAP4
000016ac: POP
000016ad: SWAP1
000016ae: SWAP2
000016af: PUSH1 0x01
000016b1: SWAP2
000016b2: DUP3
000016b3: ADD
000016b4: SWAP2
000016b5: DUP4
000016b6: SWAP2
000016b7: PUSH2 0x16c0
000016ba: SWAP2
000016bb: SWAP1
000016bc: PUSH2 0x1fe2
000016bf: JUMP
000016c0: JUMPDEST
000016c1: DUP2
000016c2: MSTORE
000016c3: PUSH1 0x20
000016c5: DUP1
000016c6: DUP3
000016c7: ADD
000016c8: SWAP3
000016c9: SWAP1
000016ca: SWAP3
000016cb: MSTORE
000016cc: PUSH1 0x40
000016ce: SWAP1
000016cf: DUP2
000016d0: ADD
000016d1: PUSH1 0x00
000016d3: SWAP1
000016d4: DUP2
000016d5: KECCAK256
000016d6: SLOAD
000016d7: PUSH1 0x01
000016d9: PUSH1 0x01
000016db: PUSH1 0xa0
000016dd: SHL
000016de: SUB
000016df: DUP12
000016e0: AND
000016e1: DUP3
000016e2: MSTORE
000016e3: PUSH1 0x02
000016e5: DUP5
000016e6: MSTORE
000016e7: DUP3
000016e8: DUP3
000016e9: KECCAK256
000016ea: DUP7
000016eb: DUP4
000016ec: MSTORE
000016ed: PUSH1 0x01
000016ef: SWAP1
000016f0: DUP2
000016f1: ADD
000016f2: SWAP1
000016f3: SWAP5
000016f4: MSTORE
000016f5: SWAP2
000016f6: SWAP1
000016f7: KECCAK256
000016f8: DUP2
000016f9: SWAP1
000016fa: SSTORE
000016fb: SWAP2
000016fc: POP
000016fd: PUSH2 0x1707
00001700: SWAP1
00001701: DUP4
00001702: SWAP1
00001703: PUSH2 0x1f97
00001706: JUMP
00001707: JUMPDEST
00001708: PUSH1 0x01
0000170a: PUSH1 0x01
0000170c: PUSH1 0xa0
0000170e: SHL
0000170f: SUB
00001710: DUP9
00001711: AND
00001712: PUSH1 0x00
00001714: DUP2
00001715: DUP2
00001716: MSTORE
00001717: PUSH1 0x02
00001719: PUSH1 0x20
0000171b: DUP2
0000171c: DUP2
0000171d: MSTORE
0000171e: PUSH1 0x40
00001720: DUP1
00001721: DUP5
00001722: KECCAK256
00001723: DUP8
00001724: DUP6
00001725: MSTORE
00001726: PUSH1 0x03
00001728: DUP2
00001729: ADD
0000172a: DUP4
0000172b: MSTORE
0000172c: SWAP1
0000172d: DUP5
0000172e: KECCAK256
0000172f: SWAP6
00001730: SWAP1
00001731: SWAP6
00001732: SSTORE
00001733: SWAP3
00001734: DUP3
00001735: MSTORE
00001736: SWAP1
00001737: SWAP2
00001738: MSTORE
00001739: DUP2
0000173a: SLOAD
0000173b: SWAP2
0000173c: SWAP1
0000173d: PUSH2 0x1745
00001740: DUP4
00001741: PUSH2 0x2029
00001744: JUMP
00001745: JUMPDEST
00001746: SWAP1
00001747: SWAP2
00001748: SSTORE
00001749: POP
0000174a: POP
0000174b: PUSH1 0x01
0000174d: PUSH1 0x01
0000174f: PUSH1 0xa0
00001751: SHL
00001752: SUB
00001753: DUP1
00001754: DUP9
00001755: AND
00001756: PUSH1 0x00
00001758: SWAP1
00001759: DUP2
0000175a: MSTORE
0000175b: PUSH1 0x02
0000175d: PUSH1 0x20
0000175f: DUP2
00001760: DUP2
00001761: MSTORE
00001762: PUSH1 0x40
00001764: DUP1
00001765: DUP5
00001766: KECCAK256
00001767: DUP11
00001768: DUP6
00001769: MSTORE
0000176a: PUSH1 0x03
0000176c: ADD
0000176d: DUP3
0000176e: MSTORE
0000176f: DUP1
00001770: DUP5
00001771: KECCAK256
00001772: DUP5
00001773: SWAP1
00001774: SSTORE
00001775: SWAP4
00001776: DUP11
00001777: AND
00001778: DUP4
00001779: MSTORE
0000177a: MSTORE
0000177b: SWAP1
0000177c: DUP2
0000177d: KECCAK256
0000177e: DUP1
0000177f: SLOAD
00001780: SWAP1
00001781: DUP3
00001782: PUSH2 0x178a
00001785: DUP4
00001786: PUSH2 0x207b
00001789: JUMP
0000178a: JUMPDEST
0000178b: SWAP1
0000178c: SWAP2
0000178d: SSTORE
0000178e: POP
0000178f: SWAP1
00001790: POP
00001791: PUSH2 0x179b
00001794: DUP2
00001795: PUSH1 0x01
00001797: PUSH2 0x1f97
0000179a: JUMP
0000179b: JUMPDEST
0000179c: PUSH1 0x01
0000179e: PUSH1 0x01
000017a0: PUSH1 0xa0
000017a2: SHL
000017a3: SUB
000017a4: DUP1
000017a5: DUP10
000017a6: AND
000017a7: PUSH1 0x00
000017a9: DUP2
000017aa: DUP2
000017ab: MSTORE
000017ac: PUSH1 0x02
000017ae: PUSH1 0x20
000017b0: SWAP1
000017b1: DUP2
000017b2: MSTORE
000017b3: PUSH1 0x40
000017b5: DUP1
000017b6: DUP4
000017b7: KECCAK256
000017b8: DUP13
000017b9: DUP5
000017ba: MSTORE
000017bb: PUSH1 0x03
000017bd: DUP2
000017be: ADD
000017bf: DUP4
000017c0: MSTORE
000017c1: DUP2
000017c2: DUP5
000017c3: KECCAK256
000017c4: SWAP7
000017c5: SWAP1
000017c6: SWAP7
000017c7: SSTORE
000017c8: DUP7
000017c9: DUP4
000017ca: MSTORE
000017cb: PUSH1 0x01
000017cd: SWAP1
000017ce: SWAP6
000017cf: ADD
000017d0: SWAP1
000017d1: MSTORE
000017d2: DUP4
000017d3: DUP2
000017d4: KECCAK256
000017d5: DUP11
000017d6: SWAP1
000017d7: SSTORE
000017d8: SWAP3
000017d9: MLOAD
000017da: DUP10
000017db: SWAP4
000017dc: SWAP2
000017dd: SWAP3
000017de: DUP13
000017df: AND
000017e0: SWAP2
000017e1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001802: SWAP2
00001803: LOG4
00001804: POP
00001805: POP
00001806: POP
00001807: POP
00001808: POP
00001809: POP
0000180a: POP
0000180b: POP
0000180c: JUMP
0000180d: JUMPDEST
0000180e: PUSH1 0x00
00001810: DUP2
00001811: MLOAD
00001812: PUSH1 0x00
00001814: EQ
00001815: ISZERO
00001816: PUSH2 0x1821
00001819: JUMPI
0000181a: POP
0000181b: PUSH1 0x00
0000181d: SWAP2
0000181e: SWAP1
0000181f: POP
00001820: JUMP
00001821: JUMPDEST
00001822: POP
00001823: PUSH1 0x20
00001825: ADD
00001826: MLOAD
00001827: SWAP1
00001828: JUMP
00001829: JUMPDEST
0000182a: DUP3
0000182b: DUP1
0000182c: SLOAD
0000182d: PUSH2 0x1835
00001830: SWAP1
00001831: PUSH2 0x2040
00001834: JUMP
00001835: JUMPDEST
00001836: SWAP1
00001837: PUSH1 0x00
00001839: MSTORE
0000183a: PUSH1 0x20
0000183c: PUSH1 0x00
0000183e: KECCAK256
0000183f: SWAP1
00001840: PUSH1 0x1f
00001842: ADD
00001843: PUSH1 0x20
00001845: SWAP1
00001846: DIV
00001847: DUP2
00001848: ADD
00001849: SWAP3
0000184a: DUP3
0000184b: PUSH2 0x1857
0000184e: JUMPI
0000184f: PUSH1 0x00
00001851: DUP6
00001852: SSTORE
00001853: PUSH2 0x189d
00001856: JUMP
00001857: JUMPDEST
00001858: DUP3
00001859: PUSH1 0x1f
0000185b: LT
0000185c: PUSH2 0x1870
0000185f: JUMPI
00001860: DUP3
00001861: DUP1
00001862: ADD
00001863: PUSH1 0xff
00001865: NOT
00001866: DUP3
00001867: CALLDATALOAD
00001868: AND
00001869: OR
0000186a: DUP6
0000186b: SSTORE
0000186c: PUSH2 0x189d
0000186f: JUMP
00001870: JUMPDEST
00001871: DUP3
00001872: DUP1
00001873: ADD
00001874: PUSH1 0x01
00001876: ADD
00001877: DUP6
00001878: SSTORE
00001879: DUP3
0000187a: ISZERO
0000187b: PUSH2 0x189d
0000187e: JUMPI
0000187f: SWAP2
00001880: DUP3
00001881: ADD
00001882: JUMPDEST
00001883: DUP3
00001884: DUP2
00001885: GT
00001886: ISZERO
00001887: PUSH2 0x189d
0000188a: JUMPI
0000188b: DUP3
0000188c: CALLDATALOAD
0000188d: DUP3
0000188e: SSTORE
0000188f: SWAP2
00001890: PUSH1 0x20
00001892: ADD
00001893: SWAP2
00001894: SWAP1
00001895: PUSH1 0x01
00001897: ADD
00001898: SWAP1
00001899: PUSH2 0x1882
0000189c: JUMP
0000189d: JUMPDEST
0000189e: POP
0000189f: PUSH2 0x0da7
000018a2: SWAP3
000018a3: SWAP2
000018a4: POP
000018a5: JUMPDEST
000018a6: DUP1
000018a7: DUP3
000018a8: GT
000018a9: ISZERO
000018aa: PUSH2 0x0da7
000018ad: JUMPI
000018ae: PUSH1 0x00
000018b0: DUP2
000018b1: SSTORE
000018b2: PUSH1 0x01
000018b4: ADD
000018b5: PUSH2 0x18a5
000018b8: JUMP
000018b9: JUMPDEST
000018ba: DUP1
000018bb: CALLDATALOAD
000018bc: DUP1
000018bd: ISZERO
000018be: ISZERO
000018bf: DUP2
000018c0: EQ
000018c1: PUSH2 0x18c9
000018c4: JUMPI
000018c5: PUSH1 0x00
000018c7: DUP1
000018c8: REVERT
000018c9: JUMPDEST
000018ca: SWAP2
000018cb: SWAP1
000018cc: POP
000018cd: JUMP
000018ce: JUMPDEST
000018cf: PUSH1 0x00
000018d1: PUSH1 0x20
000018d3: DUP3
000018d4: DUP5
000018d5: SUB
000018d6: SLT
000018d7: ISZERO
000018d8: PUSH2 0x18e0
000018db: JUMPI
000018dc: PUSH1 0x00
000018de: DUP1
000018df: REVERT
000018e0: JUMPDEST
000018e1: DUP2
000018e2: CALLDATALOAD
000018e3: PUSH2 0x18eb
000018e6: DUP2
000018e7: PUSH2 0x2102
000018ea: JUMP
000018eb: JUMPDEST
000018ec: SWAP4
000018ed: SWAP3
000018ee: POP
000018ef: POP
000018f0: POP
000018f1: JUMP
000018f2: JUMPDEST
000018f3: PUSH1 0x00
000018f5: DUP1
000018f6: PUSH1 0x40
000018f8: DUP4
000018f9: DUP6
000018fa: SUB
000018fb: SLT
000018fc: ISZERO
000018fd: PUSH2 0x1905
00001900: JUMPI
00001901: PUSH1 0x00
00001903: DUP1
00001904: REVERT
00001905: JUMPDEST
00001906: DUP3
00001907: CALLDATALOAD
00001908: PUSH2 0x1910
0000190b: DUP2
0000190c: PUSH2 0x2102
0000190f: JUMP
00001910: JUMPDEST
00001911: SWAP2
00001912: POP
00001913: PUSH1 0x20
00001915: DUP4
00001916: ADD
00001917: CALLDATALOAD
00001918: PUSH2 0x1920
0000191b: DUP2
0000191c: PUSH2 0x2102
0000191f: JUMP
00001920: JUMPDEST
00001921: DUP1
00001922: SWAP2
00001923: POP
00001924: POP
00001925: SWAP3
00001926: POP
00001927: SWAP3
00001928: SWAP1
00001929: POP
0000192a: JUMP
0000192b: JUMPDEST
0000192c: PUSH1 0x00
0000192e: DUP1
0000192f: PUSH1 0x00
00001931: PUSH1 0x60
00001933: DUP5
00001934: DUP7
00001935: SUB
00001936: SLT
00001937: ISZERO
00001938: PUSH2 0x1940
0000193b: JUMPI
0000193c: PUSH1 0x00
0000193e: DUP1
0000193f: REVERT
00001940: JUMPDEST
00001941: DUP4
00001942: CALLDATALOAD
00001943: PUSH2 0x194b
00001946: DUP2
00001947: PUSH2 0x2102
0000194a: JUMP
0000194b: JUMPDEST
0000194c: SWAP3
0000194d: POP
0000194e: PUSH1 0x20
00001950: DUP5
00001951: ADD
00001952: CALLDATALOAD
00001953: PUSH2 0x195b
00001956: DUP2
00001957: PUSH2 0x2102
0000195a: JUMP
0000195b: JUMPDEST
0000195c: SWAP3
0000195d: SWAP6
0000195e: SWAP3
0000195f: SWAP5
00001960: POP
00001961: POP
00001962: POP
00001963: PUSH1 0x40
00001965: SWAP2
00001966: SWAP1
00001967: SWAP2
00001968: ADD
00001969: CALLDATALOAD
0000196a: SWAP1
0000196b: JUMP
0000196c: JUMPDEST
0000196d: PUSH1 0x00
0000196f: DUP1
00001970: PUSH1 0x00
00001972: DUP1
00001973: PUSH1 0x80
00001975: DUP6
00001976: DUP8
00001977: SUB
00001978: SLT
00001979: ISZERO
0000197a: PUSH2 0x1982
0000197d: JUMPI
0000197e: PUSH1 0x00
00001980: DUP1
00001981: REVERT
00001982: JUMPDEST
00001983: DUP5
00001984: CALLDATALOAD
00001985: PUSH2 0x198d
00001988: DUP2
00001989: PUSH2 0x2102
0000198c: JUMP
0000198d: JUMPDEST
0000198e: SWAP4
0000198f: POP
00001990: PUSH1 0x20
00001992: DUP6
00001993: ADD
00001994: CALLDATALOAD
00001995: PUSH2 0x199d
00001998: DUP2
00001999: PUSH2 0x2102
0000199c: JUMP
0000199d: JUMPDEST
0000199e: SWAP3
0000199f: POP
000019a0: PUSH1 0x40
000019a2: DUP6
000019a3: ADD
000019a4: CALLDATALOAD
000019a5: SWAP2
000019a6: POP
000019a7: PUSH1 0x60
000019a9: DUP6
000019aa: ADD
000019ab: CALLDATALOAD
000019ac: PUSH8 0xffffffffffffffff
000019b5: DUP2
000019b6: GT
000019b7: ISZERO
000019b8: PUSH2 0x19c0
000019bb: JUMPI
000019bc: PUSH1 0x00
000019be: DUP1
000019bf: REVERT
000019c0: JUMPDEST
000019c1: DUP6
000019c2: ADD
000019c3: PUSH1 0x1f
000019c5: DUP2
000019c6: ADD
000019c7: DUP8
000019c8: SGT
000019c9: PUSH2 0x19d1
000019cc: JUMPI
000019cd: PUSH1 0x00
000019cf: DUP1
000019d0: REVERT
000019d1: JUMPDEST
000019d2: DUP1
000019d3: CALLDATALOAD
000019d4: PUSH2 0x19e4
000019d7: PUSH2 0x19df
000019da: DUP3
000019db: PUSH2 0x1f6f
000019de: JUMP
000019df: JUMPDEST
000019e0: PUSH2 0x1f3e
000019e3: JUMP
000019e4: JUMPDEST
000019e5: DUP2
000019e6: DUP2
000019e7: MSTORE
000019e8: DUP9
000019e9: PUSH1 0x20
000019eb: DUP4
000019ec: DUP6
000019ed: ADD
000019ee: ADD
000019ef: GT
000019f0: ISZERO
000019f1: PUSH2 0x19f9
000019f4: JUMPI
000019f5: PUSH1 0x00
000019f7: DUP1
000019f8: REVERT
000019f9: JUMPDEST
000019fa: DUP2
000019fb: PUSH1 0x20
000019fd: DUP5
000019fe: ADD
000019ff: PUSH1 0x20
00001a01: DUP4
00001a02: ADD
00001a03: CALLDATACOPY
00001a04: PUSH1 0x00
00001a06: PUSH1 0x20
00001a08: DUP4
00001a09: DUP4
00001a0a: ADD
00001a0b: ADD
00001a0c: MSTORE
00001a0d: DUP1
00001a0e: SWAP4
00001a0f: POP
00001a10: POP
00001a11: POP
00001a12: POP
00001a13: SWAP3
00001a14: SWAP6
00001a15: SWAP2
00001a16: SWAP5
00001a17: POP
00001a18: SWAP3
00001a19: POP
00001a1a: JUMP
00001a1b: JUMPDEST
00001a1c: PUSH1 0x00
00001a1e: DUP1
00001a1f: PUSH1 0x40
00001a21: DUP4
00001a22: DUP6
00001a23: SUB
00001a24: SLT
00001a25: ISZERO
00001a26: PUSH2 0x1a2e
00001a29: JUMPI
00001a2a: PUSH1 0x00
00001a2c: DUP1
00001a2d: REVERT
00001a2e: JUMPDEST
00001a2f: DUP3
00001a30: CALLDATALOAD
00001a31: PUSH2 0x1a39
00001a34: DUP2
00001a35: PUSH2 0x2102
00001a38: JUMP
00001a39: JUMPDEST
00001a3a: SWAP2
00001a3b: POP
00001a3c: PUSH2 0x1a47
00001a3f: PUSH1 0x20
00001a41: DUP5
00001a42: ADD
00001a43: PUSH2 0x18b9
00001a46: JUMP
00001a47: JUMPDEST
00001a48: SWAP1
00001a49: POP
00001a4a: SWAP3
00001a4b: POP
00001a4c: SWAP3
00001a4d: SWAP1
00001a4e: POP
00001a4f: JUMP
00001a50: JUMPDEST
00001a51: PUSH1 0x00
00001a53: DUP1
00001a54: PUSH1 0x40
00001a56: DUP4
00001a57: DUP6
00001a58: SUB
00001a59: SLT
00001a5a: ISZERO
00001a5b: PUSH2 0x1a63
00001a5e: JUMPI
00001a5f: PUSH1 0x00
00001a61: DUP1
00001a62: REVERT
00001a63: JUMPDEST
00001a64: DUP3
00001a65: CALLDATALOAD
00001a66: PUSH2 0x1a6e
00001a69: DUP2
00001a6a: PUSH2 0x2102
00001a6d: JUMP
00001a6e: JUMPDEST
00001a6f: SWAP5
00001a70: PUSH1 0x20
00001a72: SWAP4
00001a73: SWAP1
00001a74: SWAP4
00001a75: ADD
00001a76: CALLDATALOAD
00001a77: SWAP4
00001a78: POP
00001a79: POP
00001a7a: POP
00001a7b: JUMP
00001a7c: JUMPDEST
00001a7d: PUSH1 0x00
00001a7f: DUP1
00001a80: PUSH1 0x00
00001a82: DUP1
00001a83: PUSH1 0x80
00001a85: DUP6
00001a86: DUP8
00001a87: SUB
00001a88: SLT
00001a89: ISZERO
00001a8a: PUSH2 0x1a92
00001a8d: JUMPI
00001a8e: PUSH1 0x00
00001a90: DUP1
00001a91: REVERT
00001a92: JUMPDEST
00001a93: DUP5
00001a94: CALLDATALOAD
00001a95: PUSH2 0x1a9d
00001a98: DUP2
00001a99: PUSH2 0x2102
00001a9c: JUMP
00001a9d: JUMPDEST
00001a9e: SWAP4
00001a9f: POP
00001aa0: PUSH1 0x20
00001aa2: DUP6
00001aa3: ADD
00001aa4: CALLDATALOAD
00001aa5: SWAP3
00001aa6: POP
00001aa7: PUSH1 0x40
00001aa9: DUP6
00001aaa: ADD
00001aab: CALLDATALOAD
00001aac: SWAP2
00001aad: POP
00001aae: PUSH2 0x1ab9
00001ab1: PUSH1 0x60
00001ab3: DUP7
00001ab4: ADD
00001ab5: PUSH2 0x18b9
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: SWAP1
00001abb: POP
00001abc: SWAP3
00001abd: SWAP6
00001abe: SWAP2
00001abf: SWAP5
00001ac0: POP
00001ac1: SWAP3
00001ac2: POP
00001ac3: JUMP
00001ac4: JUMPDEST
00001ac5: PUSH1 0x00
00001ac7: PUSH1 0x20
00001ac9: DUP1
00001aca: DUP4
00001acb: DUP6
00001acc: SUB
00001acd: SLT
00001ace: ISZERO
00001acf: PUSH2 0x1ad7
00001ad2: JUMPI
00001ad3: PUSH1 0x00
00001ad5: DUP1
00001ad6: REVERT
00001ad7: JUMPDEST
00001ad8: DUP3
00001ad9: CALLDATALOAD
00001ada: PUSH8 0xffffffffffffffff
00001ae3: DUP1
00001ae4: DUP3
00001ae5: GT
00001ae6: ISZERO
00001ae7: PUSH2 0x1aef
00001aea: JUMPI
00001aeb: PUSH1 0x00
00001aed: DUP1
00001aee: REVERT
00001aef: JUMPDEST
00001af0: DUP2
00001af1: DUP6
00001af2: ADD
00001af3: SWAP2
00001af4: POP
00001af5: DUP6
00001af6: PUSH1 0x1f
00001af8: DUP4
00001af9: ADD
00001afa: SLT
00001afb: PUSH2 0x1b03
00001afe: JUMPI
00001aff: PUSH1 0x00
00001b01: DUP1
00001b02: REVERT
00001b03: JUMPDEST
00001b04: DUP2
00001b05: CALLDATALOAD
00001b06: DUP2
00001b07: DUP2
00001b08: GT
00001b09: ISZERO
00001b0a: PUSH2 0x1b15
00001b0d: JUMPI
00001b0e: PUSH2 0x1b15
00001b11: PUSH2 0x20ec
00001b14: JUMP
00001b15: JUMPDEST
00001b16: DUP1
00001b17: PUSH1 0x05
00001b19: SHL
00001b1a: SWAP2
00001b1b: POP
00001b1c: PUSH2 0x1b26
00001b1f: DUP5
00001b20: DUP4
00001b21: ADD
00001b22: PUSH2 0x1f3e
00001b25: JUMP
00001b26: JUMPDEST
00001b27: DUP2
00001b28: DUP2
00001b29: MSTORE
00001b2a: DUP5
00001b2b: DUP2
00001b2c: ADD
00001b2d: SWAP1
00001b2e: DUP5
00001b2f: DUP7
00001b30: ADD
00001b31: DUP5
00001b32: DUP7
00001b33: ADD
00001b34: DUP8
00001b35: ADD
00001b36: DUP11
00001b37: LT
00001b38: ISZERO
00001b39: PUSH2 0x1b41
00001b3c: JUMPI
00001b3d: PUSH1 0x00
00001b3f: DUP1
00001b40: REVERT
00001b41: JUMPDEST
00001b42: PUSH1 0x00
00001b44: SWAP6
00001b45: POP
00001b46: JUMPDEST
00001b47: DUP4
00001b48: DUP7
00001b49: LT
00001b4a: ISZERO
00001b4b: PUSH2 0x1b64
00001b4e: JUMPI
00001b4f: DUP1
00001b50: CALLDATALOAD
00001b51: DUP4
00001b52: MSTORE
00001b53: PUSH1 0x01
00001b55: SWAP6
00001b56: SWAP1
00001b57: SWAP6
00001b58: ADD
00001b59: SWAP5
00001b5a: SWAP2
00001b5b: DUP7
00001b5c: ADD
00001b5d: SWAP2
00001b5e: DUP7
00001b5f: ADD
00001b60: PUSH2 0x1b46
00001b63: JUMP
00001b64: JUMPDEST
00001b65: POP
00001b66: SWAP9
00001b67: SWAP8
00001b68: POP
00001b69: POP
00001b6a: POP
00001b6b: POP
00001b6c: POP
00001b6d: POP
00001b6e: POP
00001b6f: POP
00001b70: JUMP
00001b71: JUMPDEST
00001b72: PUSH1 0x00
00001b74: PUSH1 0x20
00001b76: DUP3
00001b77: DUP5
00001b78: SUB
00001b79: SLT
00001b7a: ISZERO
00001b7b: PUSH2 0x1b83
00001b7e: JUMPI
00001b7f: PUSH1 0x00
00001b81: DUP1
00001b82: REVERT
00001b83: JUMPDEST
00001b84: DUP2
00001b85: CALLDATALOAD
00001b86: PUSH2 0x18eb
00001b89: DUP2
00001b8a: PUSH2 0x211a
00001b8d: JUMP
00001b8e: JUMPDEST
00001b8f: PUSH1 0x00
00001b91: PUSH1 0x20
00001b93: DUP3
00001b94: DUP5
00001b95: SUB
00001b96: SLT
00001b97: ISZERO
00001b98: PUSH2 0x1ba0
00001b9b: JUMPI
00001b9c: PUSH1 0x00
00001b9e: DUP1
00001b9f: REVERT
00001ba0: JUMPDEST
00001ba1: DUP2
00001ba2: MLOAD
00001ba3: PUSH2 0x18eb
00001ba6: DUP2
00001ba7: PUSH2 0x211a
00001baa: JUMP
00001bab: JUMPDEST
00001bac: PUSH1 0x00
00001bae: PUSH1 0x20
00001bb0: DUP3
00001bb1: DUP5
00001bb2: SUB
00001bb3: SLT
00001bb4: ISZERO
00001bb5: PUSH2 0x1bbd
00001bb8: JUMPI
00001bb9: PUSH1 0x00
00001bbb: DUP1
00001bbc: REVERT
00001bbd: JUMPDEST
00001bbe: DUP2
00001bbf: MLOAD
00001bc0: PUSH8 0xffffffffffffffff
00001bc9: DUP2
00001bca: GT
00001bcb: ISZERO
00001bcc: PUSH2 0x1bd4
00001bcf: JUMPI
00001bd0: PUSH1 0x00
00001bd2: DUP1
00001bd3: REVERT
00001bd4: JUMPDEST
00001bd5: DUP3
00001bd6: ADD
00001bd7: PUSH1 0x1f
00001bd9: DUP2
00001bda: ADD
00001bdb: DUP5
00001bdc: SGT
00001bdd: PUSH2 0x1be5
00001be0: JUMPI
00001be1: PUSH1 0x00
00001be3: DUP1
00001be4: REVERT
00001be5: JUMPDEST
00001be6: DUP1
00001be7: MLOAD
00001be8: PUSH2 0x1bf3
00001beb: PUSH2 0x19df
00001bee: DUP3
00001bef: PUSH2 0x1f6f
00001bf2: JUMP
00001bf3: JUMPDEST
00001bf4: DUP2
00001bf5: DUP2
00001bf6: MSTORE
00001bf7: DUP6
00001bf8: PUSH1 0x20
00001bfa: DUP4
00001bfb: DUP6
00001bfc: ADD
00001bfd: ADD
00001bfe: GT
00001bff: ISZERO
00001c00: PUSH2 0x1c08
00001c03: JUMPI
00001c04: PUSH1 0x00
00001c06: DUP1
00001c07: REVERT
00001c08: JUMPDEST
00001c09: PUSH2 0x1c19
00001c0c: DUP3
00001c0d: PUSH1 0x20
00001c0f: DUP4
00001c10: ADD
00001c11: PUSH1 0x20
00001c13: DUP7
00001c14: ADD
00001c15: PUSH2 0x1ff9
00001c18: JUMP
00001c19: JUMPDEST
00001c1a: SWAP6
00001c1b: SWAP5
00001c1c: POP
00001c1d: POP
00001c1e: POP
00001c1f: POP
00001c20: POP
00001c21: JUMP
00001c22: JUMPDEST
00001c23: PUSH1 0x00
00001c25: PUSH1 0x20
00001c27: DUP3
00001c28: DUP5
00001c29: SUB
00001c2a: SLT
00001c2b: ISZERO
00001c2c: PUSH2 0x1c34
00001c2f: JUMPI
00001c30: PUSH1 0x00
00001c32: DUP1
00001c33: REVERT
00001c34: JUMPDEST
00001c35: POP
00001c36: CALLDATALOAD
00001c37: SWAP2
00001c38: SWAP1
00001c39: POP
00001c3a: JUMP
00001c3b: JUMPDEST
00001c3c: PUSH1 0x00
00001c3e: DUP1
00001c3f: PUSH1 0x00
00001c41: PUSH1 0x40
00001c43: DUP5
00001c44: DUP7
00001c45: SUB
00001c46: SLT
00001c47: ISZERO
00001c48: PUSH2 0x1c50
00001c4b: JUMPI
00001c4c: PUSH1 0x00
00001c4e: DUP1
00001c4f: REVERT
00001c50: JUMPDEST
00001c51: DUP4
00001c52: CALLDATALOAD
00001c53: SWAP3
00001c54: POP
00001c55: PUSH1 0x20
00001c57: DUP5
00001c58: ADD
00001c59: CALLDATALOAD
00001c5a: PUSH8 0xffffffffffffffff
00001c63: DUP1
00001c64: DUP3
00001c65: GT
00001c66: ISZERO
00001c67: PUSH2 0x1c6f
00001c6a: JUMPI
00001c6b: PUSH1 0x00
00001c6d: DUP1
00001c6e: REVERT
00001c6f: JUMPDEST
00001c70: DUP2
00001c71: DUP7
00001c72: ADD
00001c73: SWAP2
00001c74: POP
00001c75: DUP7
00001c76: PUSH1 0x1f
00001c78: DUP4
00001c79: ADD
00001c7a: SLT
00001c7b: PUSH2 0x1c83
00001c7e: JUMPI
00001c7f: PUSH1 0x00
00001c81: DUP1
00001c82: REVERT
00001c83: JUMPDEST
00001c84: DUP2
00001c85: CALLDATALOAD
00001c86: DUP2
00001c87: DUP2
00001c88: GT
00001c89: ISZERO
00001c8a: PUSH2 0x1c92
00001c8d: JUMPI
00001c8e: PUSH1 0x00
00001c90: DUP1
00001c91: REVERT
00001c92: JUMPDEST
00001c93: DUP8
00001c94: PUSH1 0x20
00001c96: DUP3
00001c97: DUP6
00001c98: ADD
00001c99: ADD
00001c9a: GT
00001c9b: ISZERO
00001c9c: PUSH2 0x1ca4
00001c9f: JUMPI
00001ca0: PUSH1 0x00
00001ca2: DUP1
00001ca3: REVERT
00001ca4: JUMPDEST
00001ca5: PUSH1 0x20
00001ca7: DUP4
00001ca8: ADD
00001ca9: SWAP5
00001caa: POP
00001cab: DUP1
00001cac: SWAP4
00001cad: POP
00001cae: POP
00001caf: POP
00001cb0: POP
00001cb1: SWAP3
00001cb2: POP
00001cb3: SWAP3
00001cb4: POP
00001cb5: SWAP3
00001cb6: JUMP
00001cb7: JUMPDEST
00001cb8: PUSH1 0x00
00001cba: DUP1
00001cbb: PUSH1 0x00
00001cbd: PUSH1 0x60
00001cbf: DUP5
00001cc0: DUP7
00001cc1: SUB
00001cc2: SLT
00001cc3: ISZERO
00001cc4: PUSH2 0x1ccc
00001cc7: JUMPI
00001cc8: PUSH1 0x00
00001cca: DUP1
00001ccb: REVERT
00001ccc: JUMPDEST
00001ccd: DUP4
00001cce: CALLDATALOAD
00001ccf: SWAP3
00001cd0: POP
00001cd1: PUSH1 0x20
00001cd3: DUP5
00001cd4: ADD
00001cd5: CALLDATALOAD
00001cd6: SWAP2
00001cd7: POP
00001cd8: PUSH2 0x1ce3
00001cdb: PUSH1 0x40
00001cdd: DUP6
00001cde: ADD
00001cdf: PUSH2 0x18b9
00001ce2: JUMP
00001ce3: JUMPDEST
00001ce4: SWAP1
00001ce5: POP
00001ce6: SWAP3
00001ce7: POP
00001ce8: SWAP3
00001ce9: POP
00001cea: SWAP3
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: PUSH1 0x00
00001cef: DUP2
00001cf0: MLOAD
00001cf1: DUP1
00001cf2: DUP5
00001cf3: MSTORE
00001cf4: PUSH1 0x20
00001cf6: DUP1
00001cf7: DUP6
00001cf8: ADD
00001cf9: SWAP5
00001cfa: POP
00001cfb: DUP1
00001cfc: DUP5
00001cfd: ADD
00001cfe: PUSH1 0x00
00001d00: JUMPDEST
00001d01: DUP4
00001d02: DUP2
00001d03: LT
00001d04: ISZERO
00001d05: PUSH2 0x1d25
00001d08: JUMPI
00001d09: DUP2
00001d0a: MLOAD
00001d0b: PUSH1 0x01
00001d0d: PUSH1 0x01
00001d0f: PUSH1 0xa0
00001d11: SHL
00001d12: SUB
00001d13: AND
00001d14: DUP8
00001d15: MSTORE
00001d16: SWAP6
00001d17: DUP3
00001d18: ADD
00001d19: SWAP6
00001d1a: SWAP1
00001d1b: DUP3
00001d1c: ADD
00001d1d: SWAP1
00001d1e: PUSH1 0x01
00001d20: ADD
00001d21: PUSH2 0x1d00
00001d24: JUMP
00001d25: JUMPDEST
00001d26: POP
00001d27: SWAP5
00001d28: SWAP6
00001d29: SWAP5
00001d2a: POP
00001d2b: POP
00001d2c: POP
00001d2d: POP
00001d2e: POP
00001d2f: JUMP
00001d30: JUMPDEST
00001d31: PUSH1 0x00
00001d33: DUP2
00001d34: MLOAD
00001d35: DUP1
00001d36: DUP5
00001d37: MSTORE
00001d38: PUSH1 0x20
00001d3a: DUP1
00001d3b: DUP6
00001d3c: ADD
00001d3d: SWAP5
00001d3e: POP
00001d3f: DUP1
00001d40: DUP5
00001d41: ADD
00001d42: PUSH1 0x00
00001d44: JUMPDEST
00001d45: DUP4
00001d46: DUP2
00001d47: LT
00001d48: ISZERO
00001d49: PUSH2 0x1d25
00001d4c: JUMPI
00001d4d: DUP2
00001d4e: MLOAD
00001d4f: DUP8
00001d50: MSTORE
00001d51: SWAP6
00001d52: DUP3
00001d53: ADD
00001d54: SWAP6
00001d55: SWAP1
00001d56: DUP3
00001d57: ADD
00001d58: SWAP1
00001d59: PUSH1 0x01
00001d5b: ADD
00001d5c: PUSH2 0x1d44
00001d5f: JUMP
00001d60: JUMPDEST
00001d61: PUSH1 0x00
00001d63: DUP2
00001d64: MLOAD
00001d65: DUP1
00001d66: DUP5
00001d67: MSTORE
00001d68: PUSH2 0x1d78
00001d6b: DUP2
00001d6c: PUSH1 0x20
00001d6e: DUP7
00001d6f: ADD
00001d70: PUSH1 0x20
00001d72: DUP7
00001d73: ADD
00001d74: PUSH2 0x1ff9
00001d77: JUMP
00001d78: JUMPDEST
00001d79: PUSH1 0x1f
00001d7b: ADD
00001d7c: PUSH1 0x1f
00001d7e: NOT
00001d7f: AND
00001d80: SWAP3
00001d81: SWAP1
00001d82: SWAP3
00001d83: ADD
00001d84: PUSH1 0x20
00001d86: ADD
00001d87: SWAP3
00001d88: SWAP2
00001d89: POP
00001d8a: POP
00001d8b: JUMP
00001d8c: JUMPDEST
00001d8d: PUSH1 0x01
00001d8f: PUSH1 0x01
00001d91: PUSH1 0xa0
00001d93: SHL
00001d94: SUB
00001d95: DUP6
00001d96: DUP2
00001d97: AND
00001d98: DUP3
00001d99: MSTORE
00001d9a: DUP5
00001d9b: AND
00001d9c: PUSH1 0x20
00001d9e: DUP3
00001d9f: ADD
00001da0: MSTORE
00001da1: PUSH1 0x40
00001da3: DUP2
00001da4: ADD
00001da5: DUP4
00001da6: SWAP1
00001da7: MSTORE
00001da8: PUSH1 0x80
00001daa: PUSH1 0x60
00001dac: DUP3
00001dad: ADD
00001dae: DUP2
00001daf: SWAP1
00001db0: MSTORE
00001db1: PUSH1 0x00
00001db3: SWAP1
00001db4: PUSH2 0x1dbf
00001db7: SWAP1
00001db8: DUP4
00001db9: ADD
00001dba: DUP5
00001dbb: PUSH2 0x1d60
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: SWAP7
00001dc1: SWAP6
00001dc2: POP
00001dc3: POP
00001dc4: POP
00001dc5: POP
00001dc6: POP
00001dc7: POP
00001dc8: JUMP
00001dc9: JUMPDEST
00001dca: PUSH1 0x80
00001dcc: DUP2
00001dcd: MSTORE
00001dce: PUSH1 0x00
00001dd0: PUSH2 0x1ddc
00001dd3: PUSH1 0x80
00001dd5: DUP4
00001dd6: ADD
00001dd7: DUP8
00001dd8: PUSH2 0x1cec
00001ddb: JUMP
00001ddc: JUMPDEST
00001ddd: DUP3
00001dde: DUP2
00001ddf: SUB
00001de0: PUSH1 0x20
00001de2: DUP5
00001de3: ADD
00001de4: MSTORE
00001de5: PUSH2 0x1dee
00001de8: DUP2
00001de9: DUP8
00001dea: PUSH2 0x1cec
00001ded: JUMP
00001dee: JUMPDEST
00001def: SWAP1
00001df0: POP
00001df1: DUP3
00001df2: DUP2
00001df3: SUB
00001df4: PUSH1 0x40
00001df6: DUP5
00001df7: ADD
00001df8: MSTORE
00001df9: PUSH2 0x1e02
00001dfc: DUP2
00001dfd: DUP7
00001dfe: PUSH2 0x1d30
00001e01: JUMP
00001e02: JUMPDEST
00001e03: SWAP1
00001e04: POP
00001e05: DUP3
00001e06: DUP2
00001e07: SUB
00001e08: PUSH1 0x60
00001e0a: DUP5
00001e0b: ADD
00001e0c: MSTORE
00001e0d: PUSH2 0x1e16
00001e10: DUP2
00001e11: DUP6
00001e12: PUSH2 0x1d30
00001e15: JUMP
00001e16: JUMPDEST
00001e17: SWAP8
00001e18: SWAP7
00001e19: POP
00001e1a: POP
00001e1b: POP
00001e1c: POP
00001e1d: POP
00001e1e: POP
00001e1f: POP
00001e20: JUMP
00001e21: JUMPDEST
00001e22: PUSH1 0xe0
00001e24: DUP2
00001e25: MSTORE
00001e26: PUSH1 0x00
00001e28: PUSH2 0x1e34
00001e2b: PUSH1 0xe0
00001e2d: DUP4
00001e2e: ADD
00001e2f: DUP11
00001e30: PUSH2 0x1d30
00001e33: JUMP
00001e34: JUMPDEST
00001e35: DUP3
00001e36: DUP2
00001e37: SUB
00001e38: PUSH1 0x20
00001e3a: DUP5
00001e3b: ADD
00001e3c: MSTORE
00001e3d: PUSH2 0x1e46
00001e40: DUP2
00001e41: DUP11
00001e42: PUSH2 0x1cec
00001e45: JUMP
00001e46: JUMPDEST
00001e47: SWAP1
00001e48: POP
00001e49: DUP3
00001e4a: DUP2
00001e4b: SUB
00001e4c: PUSH1 0x40
00001e4e: DUP5
00001e4f: ADD
00001e50: MSTORE
00001e51: PUSH2 0x1e5a
00001e54: DUP2
00001e55: DUP10
00001e56: PUSH2 0x1cec
00001e59: JUMP
00001e5a: JUMPDEST
00001e5b: SWAP1
00001e5c: POP
00001e5d: DUP3
00001e5e: DUP2
00001e5f: SUB
00001e60: PUSH1 0x60
00001e62: DUP5
00001e63: ADD
00001e64: MSTORE
00001e65: PUSH2 0x1e6e
00001e68: DUP2
00001e69: DUP9
00001e6a: PUSH2 0x1d30
00001e6d: JUMP
00001e6e: JUMPDEST
00001e6f: SWAP1
00001e70: POP
00001e71: DUP3
00001e72: DUP2
00001e73: SUB
00001e74: PUSH1 0x80
00001e76: DUP5
00001e77: ADD
00001e78: MSTORE
00001e79: PUSH2 0x1e82
00001e7c: DUP2
00001e7d: DUP8
00001e7e: PUSH2 0x1d30
00001e81: JUMP
00001e82: JUMPDEST
00001e83: PUSH1 0xa0
00001e85: DUP5
00001e86: ADD
00001e87: SWAP6
00001e88: SWAP1
00001e89: SWAP6
00001e8a: MSTORE
00001e8b: POP
00001e8c: POP
00001e8d: PUSH1 0xc0
00001e8f: ADD
00001e90: MSTORE
00001e91: SWAP6
00001e92: SWAP5
00001e93: POP
00001e94: POP
00001e95: POP
00001e96: POP
00001e97: POP
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: PUSH1 0xc0
00001e9c: DUP2
00001e9d: MSTORE
00001e9e: PUSH1 0x00
00001ea0: PUSH2 0x1eac
00001ea3: PUSH1 0xc0
00001ea5: DUP4
00001ea6: ADD
00001ea7: DUP10
00001ea8: PUSH2 0x1d30
00001eab: JUMP
00001eac: JUMPDEST
00001ead: DUP3
00001eae: DUP2
00001eaf: SUB
00001eb0: PUSH1 0x20
00001eb2: DUP5
00001eb3: ADD
00001eb4: MSTORE
00001eb5: PUSH2 0x1ebe
00001eb8: DUP2
00001eb9: DUP10
00001eba: PUSH2 0x1cec
00001ebd: JUMP
00001ebe: JUMPDEST
00001ebf: SWAP1
00001ec0: POP
00001ec1: DUP3
00001ec2: DUP2
00001ec3: SUB
00001ec4: PUSH1 0x40
00001ec6: DUP5
00001ec7: ADD
00001ec8: MSTORE
00001ec9: PUSH2 0x1ed2
00001ecc: DUP2
00001ecd: DUP9
00001ece: PUSH2 0x1d30
00001ed1: JUMP
00001ed2: JUMPDEST
00001ed3: SWAP1
00001ed4: POP
00001ed5: DUP3
00001ed6: DUP2
00001ed7: SUB
00001ed8: PUSH1 0x60
00001eda: DUP5
00001edb: ADD
00001edc: MSTORE
00001edd: PUSH2 0x1ee6
00001ee0: DUP2
00001ee1: DUP8
00001ee2: PUSH2 0x1d30
00001ee5: JUMP
00001ee6: JUMPDEST
00001ee7: PUSH1 0x80
00001ee9: DUP5
00001eea: ADD
00001eeb: SWAP6
00001eec: SWAP1
00001eed: SWAP6
00001eee: MSTORE
00001eef: POP
00001ef0: POP
00001ef1: PUSH1 0xa0
00001ef3: ADD
00001ef4: MSTORE
00001ef5: SWAP5
00001ef6: SWAP4
00001ef7: POP
00001ef8: POP
00001ef9: POP
00001efa: POP
00001efb: JUMP
00001efc: JUMPDEST
00001efd: PUSH1 0x20
00001eff: DUP2
00001f00: MSTORE
00001f01: DUP2
00001f02: PUSH1 0x20
00001f04: DUP3
00001f05: ADD
00001f06: MSTORE
00001f07: DUP2
00001f08: DUP4
00001f09: PUSH1 0x40
00001f0b: DUP4
00001f0c: ADD
00001f0d: CALLDATACOPY
00001f0e: PUSH1 0x00
00001f10: DUP2
00001f11: DUP4
00001f12: ADD
00001f13: PUSH1 0x40
00001f15: SWAP1
00001f16: DUP2
00001f17: ADD
00001f18: SWAP2
00001f19: SWAP1
00001f1a: SWAP2
00001f1b: MSTORE
00001f1c: PUSH1 0x1f
00001f1e: SWAP1
00001f1f: SWAP3
00001f20: ADD
00001f21: PUSH1 0x1f
00001f23: NOT
00001f24: AND
00001f25: ADD
00001f26: ADD
00001f27: SWAP2
00001f28: SWAP1
00001f29: POP
00001f2a: JUMP
00001f2b: JUMPDEST
00001f2c: PUSH1 0x20
00001f2e: DUP2
00001f2f: MSTORE
00001f30: PUSH1 0x00
00001f32: PUSH2 0x18eb
00001f35: PUSH1 0x20
00001f37: DUP4
00001f38: ADD
00001f39: DUP5
00001f3a: PUSH2 0x1d60
00001f3d: JUMP
00001f3e: JUMPDEST
00001f3f: PUSH1 0x40
00001f41: MLOAD
00001f42: PUSH1 0x1f
00001f44: DUP3
00001f45: ADD
00001f46: PUSH1 0x1f
00001f48: NOT
00001f49: AND
00001f4a: DUP2
00001f4b: ADD
00001f4c: PUSH8 0xffffffffffffffff
00001f55: DUP2
00001f56: GT
00001f57: DUP3
00001f58: DUP3
00001f59: LT
00001f5a: OR
00001f5b: ISZERO
00001f5c: PUSH2 0x1f67
00001f5f: JUMPI
00001f60: PUSH2 0x1f67
00001f63: PUSH2 0x20ec
00001f66: JUMP
00001f67: JUMPDEST
00001f68: PUSH1 0x40
00001f6a: MSTORE
00001f6b: SWAP2
00001f6c: SWAP1
00001f6d: POP
00001f6e: JUMP
00001f6f: JUMPDEST
00001f70: PUSH1 0x00
00001f72: PUSH8 0xffffffffffffffff
00001f7b: DUP3
00001f7c: GT
00001f7d: ISZERO
00001f7e: PUSH2 0x1f89
00001f81: JUMPI
00001f82: PUSH2 0x1f89
00001f85: PUSH2 0x20ec
00001f88: JUMP
00001f89: JUMPDEST
00001f8a: POP
00001f8b: PUSH1 0x1f
00001f8d: ADD
00001f8e: PUSH1 0x1f
00001f90: NOT
00001f91: AND
00001f92: PUSH1 0x20
00001f94: ADD
00001f95: SWAP1
00001f96: JUMP
00001f97: JUMPDEST
00001f98: PUSH1 0x00
00001f9a: DUP3
00001f9b: NOT
00001f9c: DUP3
00001f9d: GT
00001f9e: ISZERO
00001f9f: PUSH2 0x1faa
00001fa2: JUMPI
00001fa3: PUSH2 0x1faa
00001fa6: PUSH2 0x20aa
00001fa9: JUMP
00001faa: JUMPDEST
00001fab: POP
00001fac: ADD
00001fad: SWAP1
00001fae: JUMP
00001faf: JUMPDEST
00001fb0: PUSH1 0x00
00001fb2: DUP3
00001fb3: PUSH2 0x1fbe
00001fb6: JUMPI
00001fb7: PUSH2 0x1fbe
00001fba: PUSH2 0x20c0
00001fbd: JUMP
00001fbe: JUMPDEST
00001fbf: POP
00001fc0: DIV
00001fc1: SWAP1
00001fc2: JUMP
00001fc3: JUMPDEST
00001fc4: PUSH1 0x00
00001fc6: DUP2
00001fc7: PUSH1 0x00
00001fc9: NOT
00001fca: DIV
00001fcb: DUP4
00001fcc: GT
00001fcd: DUP3
00001fce: ISZERO
00001fcf: ISZERO
00001fd0: AND
00001fd1: ISZERO
00001fd2: PUSH2 0x1fdd
00001fd5: JUMPI
00001fd6: PUSH2 0x1fdd
00001fd9: PUSH2 0x20aa
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: POP
00001fdf: MUL
00001fe0: SWAP1
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: PUSH1 0x00
00001fe5: DUP3
00001fe6: DUP3
00001fe7: LT
00001fe8: ISZERO
00001fe9: PUSH2 0x1ff4
00001fec: JUMPI
00001fed: PUSH2 0x1ff4
00001ff0: PUSH2 0x20aa
00001ff3: JUMP
00001ff4: JUMPDEST
00001ff5: POP
00001ff6: SUB
00001ff7: SWAP1
00001ff8: JUMP
00001ff9: JUMPDEST
00001ffa: PUSH1 0x00
00001ffc: JUMPDEST
00001ffd: DUP4
00001ffe: DUP2
00001fff: LT
00002000: ISZERO
00002001: PUSH2 0x2014
00002004: JUMPI
00002005: DUP2
00002006: DUP2
00002007: ADD
00002008: MLOAD
00002009: DUP4
0000200a: DUP3
0000200b: ADD
0000200c: MSTORE
0000200d: PUSH1 0x20
0000200f: ADD
00002010: PUSH2 0x1ffc
00002013: JUMP
00002014: JUMPDEST
00002015: DUP4
00002016: DUP2
00002017: GT
00002018: ISZERO
00002019: PUSH2 0x2023
0000201c: JUMPI
0000201d: PUSH1 0x00
0000201f: DUP5
00002020: DUP5
00002021: ADD
00002022: MSTORE
00002023: JUMPDEST
00002024: POP
00002025: POP
00002026: POP
00002027: POP
00002028: JUMP
00002029: JUMPDEST
0000202a: PUSH1 0x00
0000202c: DUP2
0000202d: PUSH2 0x2038
00002030: JUMPI
00002031: PUSH2 0x2038
00002034: PUSH2 0x20aa
00002037: JUMP
00002038: JUMPDEST
00002039: POP
0000203a: PUSH1 0x00
0000203c: NOT
0000203d: ADD
0000203e: SWAP1
0000203f: JUMP
00002040: JUMPDEST
00002041: PUSH1 0x01
00002043: DUP2
00002044: DUP2
00002045: SHR
00002046: SWAP1
00002047: DUP3
00002048: AND
00002049: DUP1
0000204a: PUSH2 0x2054
0000204d: JUMPI
0000204e: PUSH1 0x7f
00002050: DUP3
00002051: AND
00002052: SWAP2
00002053: POP
00002054: JUMPDEST
00002055: PUSH1 0x20
00002057: DUP3
00002058: LT
00002059: DUP2
0000205a: EQ
0000205b: ISZERO
0000205c: PUSH2 0x2075
0000205f: JUMPI
00002060: PUSH4 0x4e487b71
00002065: PUSH1 0xe0
00002067: SHL
00002068: PUSH1 0x00
0000206a: MSTORE
0000206b: PUSH1 0x22
0000206d: PUSH1 0x04
0000206f: MSTORE
00002070: PUSH1 0x24
00002072: PUSH1 0x00
00002074: REVERT
00002075: JUMPDEST
00002076: POP
00002077: SWAP2
00002078: SWAP1
00002079: POP
0000207a: JUMP
0000207b: JUMPDEST
0000207c: PUSH1 0x00
0000207e: PUSH1 0x00
00002080: NOT
00002081: DUP3
00002082: EQ
00002083: ISZERO
00002084: PUSH2 0x208f
00002087: JUMPI
00002088: PUSH2 0x208f
0000208b: PUSH2 0x20aa
0000208e: JUMP
0000208f: JUMPDEST
00002090: POP
00002091: PUSH1 0x01
00002093: ADD
00002094: SWAP1
00002095: JUMP
00002096: JUMPDEST
00002097: PUSH1 0x00
00002099: DUP3
0000209a: PUSH2 0x20a5
0000209d: JUMPI
0000209e: PUSH2 0x20a5
000020a1: PUSH2 0x20c0
000020a4: JUMP
000020a5: JUMPDEST
000020a6: POP
000020a7: MOD
000020a8: SWAP1
000020a9: JUMP
000020aa: JUMPDEST
000020ab: PUSH4 0x4e487b71
000020b0: PUSH1 0xe0
000020b2: SHL
000020b3: PUSH1 0x00
000020b5: MSTORE
000020b6: PUSH1 0x11
000020b8: PUSH1 0x04
000020ba: MSTORE
000020bb: PUSH1 0x24
000020bd: PUSH1 0x00
000020bf: REVERT
000020c0: JUMPDEST
000020c1: PUSH4 0x4e487b71
000020c6: PUSH1 0xe0
000020c8: SHL
000020c9: PUSH1 0x00
000020cb: MSTORE
000020cc: PUSH1 0x12
000020ce: PUSH1 0x04
000020d0: MSTORE
000020d1: PUSH1 0x24
000020d3: PUSH1 0x00
000020d5: REVERT
000020d6: JUMPDEST
000020d7: PUSH4 0x4e487b71
000020dc: PUSH1 0xe0
000020de: SHL
000020df: PUSH1 0x00
000020e1: MSTORE
000020e2: PUSH1 0x32
000020e4: PUSH1 0x04
000020e6: MSTORE
000020e7: PUSH1 0x24
000020e9: PUSH1 0x00
000020eb: REVERT
000020ec: JUMPDEST
000020ed: PUSH4 0x4e487b71
000020f2: PUSH1 0xe0
000020f4: SHL
000020f5: PUSH1 0x00
000020f7: MSTORE
000020f8: PUSH1 0x41
000020fa: PUSH1 0x04
000020fc: MSTORE
000020fd: PUSH1 0x24
000020ff: PUSH1 0x00
00002101: REVERT
00002102: JUMPDEST
00002103: PUSH1 0x01
00002105: PUSH1 0x01
00002107: PUSH1 0xa0
00002109: SHL
0000210a: SUB
0000210b: DUP2
0000210c: AND
0000210d: DUP2
0000210e: EQ
0000210f: PUSH2 0x2117
00002112: JUMPI
00002113: PUSH1 0x00
00002115: DUP1
00002116: REVERT
00002117: JUMPDEST
00002118: POP
00002119: JUMP
0000211a: JUMPDEST
0000211b: PUSH1 0x01
0000211d: PUSH1 0x01
0000211f: PUSH1 0xe0
00002121: SHL
00002122: SUB
00002123: NOT
00002124: DUP2
00002125: AND
00002126: DUP2
00002127: EQ
00002128: PUSH2 0x2117
0000212b: JUMPI
0000212c: PUSH1 0x00
0000212e: DUP1
0000212f: REVERT
00002130: INVALID
00002131: LOG2
00002132: PUSH5 0x6970667358
00002138: UNKNOWN(0x22)
00002139: SLT
0000213a: KECCAK256
0000213b: UNKNOWN(0xB6)
0000213c: MLOAD
0000213d: UNKNOWN(0xB5)
0000213e: UNKNOWN(0xC5)
0000213f: UNKNOWN(0xD1)
00002140: UNKNOWN(0x1F)
00002141: SWAP2
00002142: SWAP2
00002143: DUP15
00002144: BLOCKHASH
00002145: OR
00002146: UNKNOWN(0x0F)
00002147: SWAP4
00002148: SWAP16
00002149: STOP
0000214a: SELFDESTRUCT
0000214b: UNKNOWN(0x22)
0000214c: JUMPI
0000214d: DUP4
0000214e: UNKNOWN(0xFB)
0000214f: SUB
00002150: UNKNOWN(0x23)
00002151: SELFBALANCE
00002152: UNKNOWN(0x2E)
00002153: PUSH1 0x89
00002155: NUMBER
00002156: LOG1
00002157: UNKNOWN(0xFC)
00002158: PUSH19
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xd9867ccd4fd937335a6962abaa10f313035e1b27d812994bc14e48f8ff4a47d7 call_targets: 0x5e8353930b557a524ff92eace9b87d82f9793124 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd9867ccd4fd937335a6962abaa10f313035e1b27d812994bc14e48f8ff4a47d7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x5e8353930b557a524ff92eace9b87d82f9793124" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe0d4ea37", "selector": "0xe0d4ea37", "calldata_variants": [ "0xe0d4ea37", "0xe0d4ea370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8a3d485", "selector": "0xe8a3d485", "calldata_variants": [ "0xe8a3d485", "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3cb8385", "selector": "0xf3cb8385", "calldata_variants": [ "0xf3cb8385", "0xf3cb83850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf452a3ff", "selector": "0xf452a3ff", "calldata_variants": [ "0xf452a3ff", "0xf452a3ff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc662e481", "selector": "0xc662e481", "calldata_variants": [ "0xc662e481", "0xc662e4810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1904, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3458, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4111, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [], "untrusted_call_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xd9867ccd4fd937335a6962abaa10f313035e1b27d812994bc14e48f8ff4a47d7 call_targets: 0x5e8353930b557a524ff92eace9b87d82f9793124 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd9867ccd4fd937335a6962abaa10f313035e1b27d812994bc14e48f8ff4a47d7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x5e8353930b557a524ff92eace9b87d82f9793124" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe0d4ea37", "selector": "0xe0d4ea37", "calldata_variants": [ "0xe0d4ea37", "0xe0d4ea370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8a3d485", "selector": "0xe8a3d485", "calldata_variants": [ "0xe8a3d485", "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3cb8385", "selector": "0xf3cb8385", "calldata_variants": [ "0xf3cb8385", "0xf3cb83850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf452a3ff", "selector": "0xf452a3ff", "calldata_variants": [ "0xf452a3ff", "0xf452a3ff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc662e481", "selector": "0xc662e481", "calldata_variants": [ "0xc662e481", "0xc662e4810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1904, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3458, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4111, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x10288e6f00d30084c3615f8508d1e4ab4af63842524b9b2b364c288ddf43da0f validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x10288e6f00d30084c3615f8508d1e4ab4af63842524b9b2b364c288ddf43da0f", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe0d4ea37", "selector": "0xe0d4ea37", "calldata_variants": [ "0xe0d4ea37", "0xe0d4ea370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8a3d485", "selector": "0xe8a3d485", "calldata_variants": [ "0xe8a3d485", "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3cb8385", "selector": "0xf3cb8385", "calldata_variants": [ "0xf3cb8385", "0xf3cb83850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf452a3ff", "selector": "0xf452a3ff", "calldata_variants": [ "0xf452a3ff", "0xf452a3ff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc662e481", "selector": "0xc662e481", "calldata_variants": [ "0xc662e481", "0xc662e4810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }
Severity