Analysis Run

019b477e-b7db-715d-9c81-e61cc4e6b6dc
complete
Chain ID
1
Address
0x786f488e43553788006d8d0f685808e1a6a4dcd8
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
Bytecode only
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
23349	artifact.fetch	complete	1 / 3	3 months ago
23350	tool.cast_disasm	complete	1 / 3	3 months ago
108013	analysis.bundle	complete	1 / 3	1 week ago
108014	capability.graph	complete	1 / 3	1 week ago
108015	detector.run	complete	1 / 3	1 week ago
108016	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
16
EXT*/BALANCE
15
Total opcodes
3568
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0127
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x08aa6b0f
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x03c4
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x186601ca
00000046: EQ
00000047: PUSH2 0x03f5
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x1b3dca92
00000051: EQ
00000052: PUSH2 0x041e
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x1f2dc5ef
0000005c: EQ
0000005d: PUSH2 0x0435
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x365a86fc
00000067: EQ
00000068: PUSH2 0x045c
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x42966c68
00000072: EQ
00000073: PUSH2 0x0471
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x5cf590d9
0000007d: EQ
0000007e: PUSH2 0x049b
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x5e38e69c
00000088: EQ
00000089: PUSH2 0x04b0
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x5f624d11
00000093: EQ
00000094: PUSH2 0x04da
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x70ba1113
0000009e: EQ
0000009f: PUSH2 0x04ef
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x715018a6
000000a9: EQ
000000aa: PUSH2 0x0504
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x7b80889b
000000b4: EQ
000000b5: PUSH2 0x0519
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8da5cb5b
000000bf: EQ
000000c0: PUSH2 0x052e
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x8f32d59b
000000ca: EQ
000000cb: PUSH2 0x0543
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x96365d44
000000d5: EQ
000000d6: PUSH2 0x0558
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x99a5d747
000000e0: EQ
000000e1: PUSH2 0x056d
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xb586c9a2
000000eb: EQ
000000ec: PUSH2 0x0597
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xbc3219f9
000000f6: EQ
000000f7: PUSH2 0x05c5
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xc28de2cd
00000101: EQ
00000102: PUSH2 0x070f
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xdfa5a46a
0000010c: EQ
0000010d: PUSH2 0x0724
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xed88c68e
00000117: EQ
00000118: PUSH2 0x0739
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xf2fde38b
00000122: EQ
00000123: PUSH2 0x0741
00000126: JUMPI
00000127: JUMPDEST
00000128: PUSH1 0x0b
0000012a: SLOAD
0000012b: PUSH1 0xa0
0000012d: PUSH1 0x02
0000012f: EXP
00000130: SWAP1
00000131: DIV
00000132: PUSH1 0xff
00000134: AND
00000135: ISZERO
00000136: PUSH2 0x013e
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: PUSH3 0x0f4240
00000143: CALLVALUE
00000144: GT
00000145: PUSH2 0x014d
00000148: JUMPI
00000149: PUSH1 0x00
0000014b: DUP1
0000014c: REVERT
0000014d: JUMPDEST
0000014e: CALLVALUE
0000014f: PUSH1 0x00
00000151: PUSH2 0x0159
00000154: DUP3
00000155: PUSH2 0x0774
00000158: JUMP
00000159: JUMPDEST
0000015a: SWAP1
0000015b: POP
0000015c: PUSH1 0x00
0000015e: PUSH2 0x016d
00000161: DUP4
00000162: DUP4
00000163: PUSH4 0xffffffff
00000168: PUSH2 0x07a5
0000016b: AND
0000016c: JUMP
0000016d: JUMPDEST
0000016e: PUSH1 0x06
00000170: SLOAD
00000171: PUSH1 0x40
00000173: MLOAD
00000174: SWAP2
00000175: SWAP3
00000176: POP
00000177: PUSH1 0x01
00000179: PUSH1 0xa0
0000017b: PUSH1 0x02
0000017d: EXP
0000017e: SUB
0000017f: AND
00000180: SWAP1
00000181: DUP4
00000182: ISZERO
00000183: PUSH2 0x08fc
00000186: MUL
00000187: SWAP1
00000188: DUP5
00000189: SWAP1
0000018a: PUSH1 0x00
0000018c: DUP2
0000018d: DUP2
0000018e: DUP2
0000018f: DUP6
00000190: DUP9
00000191: DUP9
00000192: CALL
00000193: SWAP4
00000194: POP
00000195: POP
00000196: POP
00000197: POP
00000198: ISZERO
00000199: DUP1
0000019a: ISZERO
0000019b: PUSH2 0x01a8
0000019e: JUMPI
0000019f: RETURNDATASIZE
000001a0: PUSH1 0x00
000001a2: DUP1
000001a3: RETURNDATACOPY
000001a4: RETURNDATASIZE
000001a5: PUSH1 0x00
000001a7: REVERT
000001a8: JUMPDEST
000001a9: POP
000001aa: PUSH1 0x0a
000001ac: SLOAD
000001ad: PUSH1 0x40
000001af: DUP1
000001b0: MLOAD
000001b1: PUSH32 0x18160ddd00000000000000000000000000000000000000000000000000000000
000001d2: DUP2
000001d3: MSTORE
000001d4: SWAP1
000001d5: MLOAD
000001d6: PUSH1 0x00
000001d8: SWAP3
000001d9: PUSH1 0x01
000001db: PUSH1 0xa0
000001dd: PUSH1 0x02
000001df: EXP
000001e0: SUB
000001e1: AND
000001e2: SWAP2
000001e3: PUSH4 0x18160ddd
000001e8: SWAP2
000001e9: PUSH1 0x04
000001eb: DUP1
000001ec: DUP4
000001ed: ADD
000001ee: SWAP3
000001ef: PUSH1 0x20
000001f1: SWAP3
000001f2: SWAP2
000001f3: SWAP1
000001f4: DUP3
000001f5: SWAP1
000001f6: SUB
000001f7: ADD
000001f8: DUP2
000001f9: DUP7
000001fa: DUP1
000001fb: EXTCODESIZE
000001fc: ISZERO
000001fd: DUP1
000001fe: ISZERO
000001ff: PUSH2 0x0207
00000202: JUMPI
00000203: PUSH1 0x00
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: POP
00000209: GAS
0000020a: STATICCALL
0000020b: ISZERO
0000020c: DUP1
0000020d: ISZERO
0000020e: PUSH2 0x021b
00000211: JUMPI
00000212: RETURNDATASIZE
00000213: PUSH1 0x00
00000215: DUP1
00000216: RETURNDATACOPY
00000217: RETURNDATASIZE
00000218: PUSH1 0x00
0000021a: REVERT
0000021b: JUMPDEST
0000021c: POP
0000021d: POP
0000021e: POP
0000021f: POP
00000220: PUSH1 0x40
00000222: MLOAD
00000223: RETURNDATASIZE
00000224: PUSH1 0x20
00000226: DUP2
00000227: LT
00000228: ISZERO
00000229: PUSH2 0x0231
0000022c: JUMPI
0000022d: PUSH1 0x00
0000022f: DUP1
00000230: REVERT
00000231: JUMPDEST
00000232: POP
00000233: MLOAD
00000234: PUSH1 0x02
00000236: SLOAD
00000237: SWAP1
00000238: SWAP2
00000239: POP
0000023a: PUSH2 0x024b
0000023d: SWAP1
0000023e: ADDRESS
0000023f: BALANCE
00000240: SWAP1
00000241: PUSH4 0xffffffff
00000246: PUSH2 0x07a5
00000249: AND
0000024a: JUMP
0000024b: JUMPDEST
0000024c: PUSH1 0x01
0000024e: DUP2
0000024f: SWAP1
00000250: SSTORE
00000251: PUSH1 0x09
00000253: SLOAD
00000254: PUSH1 0x00
00000256: DUP1
00000257: SLOAD
00000258: PUSH1 0x40
0000025a: DUP1
0000025b: MLOAD
0000025c: PUSH32 0x29a00e7c00000000000000000000000000000000000000000000000000000000
0000027d: DUP2
0000027e: MSTORE
0000027f: PUSH1 0x04
00000281: DUP2
00000282: ADD
00000283: DUP8
00000284: SWAP1
00000285: MSTORE
00000286: PUSH1 0x24
00000288: DUP2
00000289: ADD
0000028a: SWAP6
0000028b: SWAP1
0000028c: SWAP6
0000028d: MSTORE
0000028e: PUSH1 0xa0
00000290: PUSH1 0x02
00000292: EXP
00000293: SWAP1
00000294: SWAP2
00000295: DIV
00000296: PUSH4 0xffffffff
0000029b: AND
0000029c: PUSH1 0x44
0000029e: DUP6
0000029f: ADD
000002a0: MSTORE
000002a1: PUSH1 0x64
000002a3: DUP5
000002a4: ADD
000002a5: DUP7
000002a6: SWAP1
000002a7: MSTORE
000002a8: MLOAD
000002a9: SWAP1
000002aa: SWAP3
000002ab: PUSH1 0x01
000002ad: PUSH1 0xa0
000002af: PUSH1 0x02
000002b1: EXP
000002b2: SUB
000002b3: SWAP1
000002b4: SWAP3
000002b5: AND
000002b6: SWAP2
000002b7: PUSH4 0x29a00e7c
000002bc: SWAP2
000002bd: PUSH1 0x84
000002bf: DUP1
000002c0: DUP4
000002c1: ADD
000002c2: SWAP3
000002c3: PUSH1 0x20
000002c5: SWAP3
000002c6: SWAP2
000002c7: SWAP1
000002c8: DUP3
000002c9: SWAP1
000002ca: SUB
000002cb: ADD
000002cc: DUP2
000002cd: DUP7
000002ce: DUP1
000002cf: EXTCODESIZE
000002d0: ISZERO
000002d1: DUP1
000002d2: ISZERO
000002d3: PUSH2 0x02db
000002d6: JUMPI
000002d7: PUSH1 0x00
000002d9: DUP1
000002da: REVERT
000002db: JUMPDEST
000002dc: POP
000002dd: GAS
000002de: STATICCALL
000002df: ISZERO
000002e0: DUP1
000002e1: ISZERO
000002e2: PUSH2 0x02ef
000002e5: JUMPI
000002e6: RETURNDATASIZE
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: RETURNDATACOPY
000002eb: RETURNDATASIZE
000002ec: PUSH1 0x00
000002ee: REVERT
000002ef: JUMPDEST
000002f0: POP
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: PUSH1 0x40
000002f6: MLOAD
000002f7: RETURNDATASIZE
000002f8: PUSH1 0x20
000002fa: DUP2
000002fb: LT
000002fc: ISZERO
000002fd: PUSH2 0x0305
00000300: JUMPI
00000301: PUSH1 0x00
00000303: DUP1
00000304: REVERT
00000305: JUMPDEST
00000306: POP
00000307: MLOAD
00000308: PUSH1 0x0a
0000030a: SLOAD
0000030b: PUSH1 0x40
0000030d: DUP1
0000030e: MLOAD
0000030f: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
00000330: DUP2
00000331: MSTORE
00000332: CALLER
00000333: PUSH1 0x04
00000335: DUP3
00000336: ADD
00000337: MSTORE
00000338: PUSH1 0x24
0000033a: DUP2
0000033b: ADD
0000033c: DUP5
0000033d: SWAP1
0000033e: MSTORE
0000033f: SWAP1
00000340: MLOAD
00000341: SWAP3
00000342: SWAP4
00000343: POP
00000344: PUSH1 0x01
00000346: PUSH1 0xa0
00000348: PUSH1 0x02
0000034a: EXP
0000034b: SUB
0000034c: SWAP1
0000034d: SWAP2
0000034e: AND
0000034f: SWAP2
00000350: PUSH4 0x40c10f19
00000355: SWAP2
00000356: PUSH1 0x44
00000358: DUP1
00000359: DUP3
0000035a: ADD
0000035b: SWAP3
0000035c: PUSH1 0x00
0000035e: SWAP3
0000035f: SWAP1
00000360: SWAP2
00000361: SWAP1
00000362: DUP3
00000363: SWAP1
00000364: SUB
00000365: ADD
00000366: DUP2
00000367: DUP4
00000368: DUP8
00000369: DUP1
0000036a: EXTCODESIZE
0000036b: ISZERO
0000036c: DUP1
0000036d: ISZERO
0000036e: PUSH2 0x0376
00000371: JUMPI
00000372: PUSH1 0x00
00000374: DUP1
00000375: REVERT
00000376: JUMPDEST
00000377: POP
00000378: GAS
00000379: CALL
0000037a: ISZERO
0000037b: DUP1
0000037c: ISZERO
0000037d: PUSH2 0x038a
00000380: JUMPI
00000381: RETURNDATASIZE
00000382: PUSH1 0x00
00000384: DUP1
00000385: RETURNDATACOPY
00000386: RETURNDATASIZE
00000387: PUSH1 0x00
00000389: REVERT
0000038a: JUMPDEST
0000038b: POP
0000038c: POP
0000038d: PUSH1 0x40
0000038f: MLOAD
00000390: CALLER
00000391: SWAP3
00000392: POP
00000393: DUP4
00000394: SWAP2
00000395: POP
00000396: CALLVALUE
00000397: SWAP1
00000398: PUSH32 0x2f4212d289b57d1c7b3cd16b77e304464d45bece9aa15e888e50b91b92c60cb3
000003b9: SWAP1
000003ba: PUSH1 0x00
000003bc: SWAP1
000003bd: LOG4
000003be: POP
000003bf: POP
000003c0: POP
000003c1: POP
000003c2: POP
000003c3: STOP
000003c4: JUMPDEST
000003c5: CALLVALUE
000003c6: DUP1
000003c7: ISZERO
000003c8: PUSH2 0x03d0
000003cb: JUMPI
000003cc: PUSH1 0x00
000003ce: DUP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: POP
000003d2: PUSH2 0x03d9
000003d5: PUSH2 0x07f0
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH1 0x40
000003dc: DUP1
000003dd: MLOAD
000003de: PUSH1 0x01
000003e0: PUSH1 0xa0
000003e2: PUSH1 0x02
000003e4: EXP
000003e5: SUB
000003e6: SWAP1
000003e7: SWAP3
000003e8: AND
000003e9: DUP3
000003ea: MSTORE
000003eb: MLOAD
000003ec: SWAP1
000003ed: DUP2
000003ee: SWAP1
000003ef: SUB
000003f0: PUSH1 0x20
000003f2: ADD
000003f3: SWAP1
000003f4: RETURN
000003f5: JUMPDEST
000003f6: CALLVALUE
000003f7: DUP1
000003f8: ISZERO
000003f9: PUSH2 0x0401
000003fc: JUMPI
000003fd: PUSH1 0x00
000003ff: DUP1
00000400: REVERT
00000401: JUMPDEST
00000402: POP
00000403: PUSH2 0x040a
00000406: PUSH2 0x07ff
00000409: JUMP
0000040a: JUMPDEST
0000040b: PUSH1 0x40
0000040d: DUP1
0000040e: MLOAD
0000040f: SWAP2
00000410: ISZERO
00000411: ISZERO
00000412: DUP3
00000413: MSTORE
00000414: MLOAD
00000415: SWAP1
00000416: DUP2
00000417: SWAP1
00000418: SUB
00000419: PUSH1 0x20
0000041b: ADD
0000041c: SWAP1
0000041d: RETURN
0000041e: JUMPDEST
0000041f: CALLVALUE
00000420: DUP1
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: POP
0000042c: PUSH2 0x0433
0000042f: PUSH2 0x0821
00000432: JUMP
00000433: JUMPDEST
00000434: STOP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x044a
00000446: PUSH2 0x0a04
00000449: JUMP
0000044a: JUMPDEST
0000044b: PUSH1 0x40
0000044d: DUP1
0000044e: MLOAD
0000044f: SWAP2
00000450: DUP3
00000451: MSTORE
00000452: MLOAD
00000453: SWAP1
00000454: DUP2
00000455: SWAP1
00000456: SUB
00000457: PUSH1 0x20
00000459: ADD
0000045a: SWAP1
0000045b: RETURN
0000045c: JUMPDEST
0000045d: CALLVALUE
0000045e: DUP1
0000045f: ISZERO
00000460: PUSH2 0x0468
00000463: JUMPI
00000464: PUSH1 0x00
00000466: DUP1
00000467: REVERT
00000468: JUMPDEST
00000469: POP
0000046a: PUSH2 0x03d9
0000046d: PUSH2 0x0a0a
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 0x0433
00000482: PUSH1 0x04
00000484: DUP1
00000485: CALLDATASIZE
00000486: SUB
00000487: PUSH1 0x20
00000489: DUP2
0000048a: LT
0000048b: ISZERO
0000048c: PUSH2 0x0494
0000048f: JUMPI
00000490: PUSH1 0x00
00000492: DUP1
00000493: REVERT
00000494: JUMPDEST
00000495: POP
00000496: CALLDATALOAD
00000497: PUSH2 0x0a19
0000049a: JUMP
0000049b: JUMPDEST
0000049c: CALLVALUE
0000049d: DUP1
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: POP
000004a9: PUSH2 0x044a
000004ac: PUSH2 0x0e35
000004af: JUMP
000004b0: JUMPDEST
000004b1: CALLVALUE
000004b2: DUP1
000004b3: ISZERO
000004b4: PUSH2 0x04bc
000004b7: JUMPI
000004b8: PUSH1 0x00
000004ba: DUP1
000004bb: REVERT
000004bc: JUMPDEST
000004bd: POP
000004be: PUSH2 0x044a
000004c1: PUSH1 0x04
000004c3: DUP1
000004c4: CALLDATASIZE
000004c5: SUB
000004c6: PUSH1 0x20
000004c8: DUP2
000004c9: LT
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: POP
000004d5: CALLDATALOAD
000004d6: PUSH2 0x0e3b
000004d9: JUMP
000004da: JUMPDEST
000004db: CALLVALUE
000004dc: DUP1
000004dd: ISZERO
000004de: PUSH2 0x04e6
000004e1: JUMPI
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: REVERT
000004e6: JUMPDEST
000004e7: POP
000004e8: PUSH2 0x03d9
000004eb: PUSH2 0x0efc
000004ee: JUMP
000004ef: JUMPDEST
000004f0: CALLVALUE
000004f1: DUP1
000004f2: ISZERO
000004f3: PUSH2 0x04fb
000004f6: JUMPI
000004f7: PUSH1 0x00
000004f9: DUP1
000004fa: REVERT
000004fb: JUMPDEST
000004fc: POP
000004fd: PUSH2 0x044a
00000500: PUSH2 0x0f0b
00000503: JUMP
00000504: JUMPDEST
00000505: CALLVALUE
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0510
0000050b: JUMPI
0000050c: PUSH1 0x00
0000050e: DUP1
0000050f: REVERT
00000510: JUMPDEST
00000511: POP
00000512: PUSH2 0x0433
00000515: PUSH2 0x0f11
00000518: JUMP
00000519: JUMPDEST
0000051a: CALLVALUE
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: PUSH2 0x044a
0000052a: PUSH2 0x0fcb
0000052d: JUMP
0000052e: JUMPDEST
0000052f: CALLVALUE
00000530: DUP1
00000531: ISZERO
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: POP
0000053c: PUSH2 0x03d9
0000053f: PUSH2 0x0fd1
00000542: JUMP
00000543: JUMPDEST
00000544: CALLVALUE
00000545: DUP1
00000546: ISZERO
00000547: PUSH2 0x054f
0000054a: JUMPI
0000054b: PUSH1 0x00
0000054d: DUP1
0000054e: REVERT
0000054f: JUMPDEST
00000550: POP
00000551: PUSH2 0x040a
00000554: PUSH2 0x0fe0
00000557: JUMP
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: DUP1
0000055b: ISZERO
0000055c: PUSH2 0x0564
0000055f: JUMPI
00000560: PUSH1 0x00
00000562: DUP1
00000563: REVERT
00000564: JUMPDEST
00000565: POP
00000566: PUSH2 0x044a
00000569: PUSH2 0x1004
0000056c: JUMP
0000056d: JUMPDEST
0000056e: CALLVALUE
0000056f: DUP1
00000570: ISZERO
00000571: PUSH2 0x0579
00000574: JUMPI
00000575: PUSH1 0x00
00000577: DUP1
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: PUSH2 0x044a
0000057e: PUSH1 0x04
00000580: DUP1
00000581: CALLDATASIZE
00000582: SUB
00000583: PUSH1 0x20
00000585: DUP2
00000586: LT
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH1 0x00
0000058e: DUP1
0000058f: REVERT
00000590: JUMPDEST
00000591: POP
00000592: CALLDATALOAD
00000593: PUSH2 0x0774
00000596: JUMP
00000597: JUMPDEST
00000598: CALLVALUE
00000599: DUP1
0000059a: ISZERO
0000059b: PUSH2 0x05a3
0000059e: JUMPI
0000059f: PUSH1 0x00
000005a1: DUP1
000005a2: REVERT
000005a3: JUMPDEST
000005a4: POP
000005a5: PUSH2 0x05ac
000005a8: PUSH2 0x100a
000005ab: JUMP
000005ac: JUMPDEST
000005ad: PUSH1 0x40
000005af: DUP1
000005b0: MLOAD
000005b1: PUSH4 0xffffffff
000005b6: SWAP1
000005b7: SWAP3
000005b8: AND
000005b9: DUP3
000005ba: MSTORE
000005bb: MLOAD
000005bc: SWAP1
000005bd: DUP2
000005be: SWAP1
000005bf: SUB
000005c0: PUSH1 0x20
000005c2: ADD
000005c3: SWAP1
000005c4: RETURN
000005c5: JUMPDEST
000005c6: CALLVALUE
000005c7: DUP1
000005c8: ISZERO
000005c9: PUSH2 0x05d1
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: REVERT
000005d1: JUMPDEST
000005d2: POP
000005d3: PUSH2 0x0433
000005d6: PUSH1 0x04
000005d8: DUP1
000005d9: CALLDATASIZE
000005da: SUB
000005db: PUSH1 0x60
000005dd: DUP2
000005de: LT
000005df: ISZERO
000005e0: PUSH2 0x05e8
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: DUP1
000005e7: REVERT
000005e8: JUMPDEST
000005e9: PUSH1 0x01
000005eb: PUSH1 0xa0
000005ed: PUSH1 0x02
000005ef: EXP
000005f0: SUB
000005f1: DUP3
000005f2: CALLDATALOAD
000005f3: AND
000005f4: SWAP2
000005f5: SWAP1
000005f6: DUP2
000005f7: ADD
000005f8: SWAP1
000005f9: PUSH1 0x40
000005fb: DUP2
000005fc: ADD
000005fd: PUSH1 0x20
000005ff: DUP3
00000600: ADD
00000601: CALLDATALOAD
00000602: PUSH5 0x0100000000
00000608: DUP2
00000609: GT
0000060a: ISZERO
0000060b: PUSH2 0x0613
0000060e: JUMPI
0000060f: PUSH1 0x00
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: DUP3
00000615: ADD
00000616: DUP4
00000617: PUSH1 0x20
00000619: DUP3
0000061a: ADD
0000061b: GT
0000061c: ISZERO
0000061d: PUSH2 0x0625
00000620: JUMPI
00000621: PUSH1 0x00
00000623: DUP1
00000624: REVERT
00000625: JUMPDEST
00000626: DUP1
00000627: CALLDATALOAD
00000628: SWAP1
00000629: PUSH1 0x20
0000062b: ADD
0000062c: SWAP2
0000062d: DUP5
0000062e: PUSH1 0x01
00000630: DUP4
00000631: MUL
00000632: DUP5
00000633: ADD
00000634: GT
00000635: PUSH5 0x0100000000
0000063b: DUP4
0000063c: GT
0000063d: OR
0000063e: ISZERO
0000063f: PUSH2 0x0647
00000642: JUMPI
00000643: PUSH1 0x00
00000645: DUP1
00000646: REVERT
00000647: JUMPDEST
00000648: SWAP2
00000649: SWAP1
0000064a: DUP1
0000064b: DUP1
0000064c: PUSH1 0x1f
0000064e: ADD
0000064f: PUSH1 0x20
00000651: DUP1
00000652: SWAP2
00000653: DIV
00000654: MUL
00000655: PUSH1 0x20
00000657: ADD
00000658: PUSH1 0x40
0000065a: MLOAD
0000065b: SWAP1
0000065c: DUP2
0000065d: ADD
0000065e: PUSH1 0x40
00000660: MSTORE
00000661: DUP1
00000662: SWAP4
00000663: SWAP3
00000664: SWAP2
00000665: SWAP1
00000666: DUP2
00000667: DUP2
00000668: MSTORE
00000669: PUSH1 0x20
0000066b: ADD
0000066c: DUP4
0000066d: DUP4
0000066e: DUP1
0000066f: DUP3
00000670: DUP5
00000671: CALLDATACOPY
00000672: PUSH1 0x00
00000674: SWAP3
00000675: ADD
00000676: SWAP2
00000677: SWAP1
00000678: SWAP2
00000679: MSTORE
0000067a: POP
0000067b: SWAP3
0000067c: SWAP6
0000067d: SWAP5
0000067e: SWAP4
0000067f: PUSH1 0x20
00000681: DUP2
00000682: ADD
00000683: SWAP4
00000684: POP
00000685: CALLDATALOAD
00000686: SWAP2
00000687: POP
00000688: POP
00000689: PUSH5 0x0100000000
0000068f: DUP2
00000690: GT
00000691: ISZERO
00000692: PUSH2 0x069a
00000695: JUMPI
00000696: PUSH1 0x00
00000698: DUP1
00000699: REVERT
0000069a: JUMPDEST
0000069b: DUP3
0000069c: ADD
0000069d: DUP4
0000069e: PUSH1 0x20
000006a0: DUP3
000006a1: ADD
000006a2: GT
000006a3: ISZERO
000006a4: PUSH2 0x06ac
000006a7: JUMPI
000006a8: PUSH1 0x00
000006aa: DUP1
000006ab: REVERT
000006ac: JUMPDEST
000006ad: DUP1
000006ae: CALLDATALOAD
000006af: SWAP1
000006b0: PUSH1 0x20
000006b2: ADD
000006b3: SWAP2
000006b4: DUP5
000006b5: PUSH1 0x01
000006b7: DUP4
000006b8: MUL
000006b9: DUP5
000006ba: ADD
000006bb: GT
000006bc: PUSH5 0x0100000000
000006c2: DUP4
000006c3: GT
000006c4: OR
000006c5: ISZERO
000006c6: PUSH2 0x06ce
000006c9: JUMPI
000006ca: PUSH1 0x00
000006cc: DUP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: SWAP2
000006d0: SWAP1
000006d1: DUP1
000006d2: DUP1
000006d3: PUSH1 0x1f
000006d5: ADD
000006d6: PUSH1 0x20
000006d8: DUP1
000006d9: SWAP2
000006da: DIV
000006db: MUL
000006dc: PUSH1 0x20
000006de: ADD
000006df: PUSH1 0x40
000006e1: MLOAD
000006e2: SWAP1
000006e3: DUP2
000006e4: ADD
000006e5: PUSH1 0x40
000006e7: MSTORE
000006e8: DUP1
000006e9: SWAP4
000006ea: SWAP3
000006eb: SWAP2
000006ec: SWAP1
000006ed: DUP2
000006ee: DUP2
000006ef: MSTORE
000006f0: PUSH1 0x20
000006f2: ADD
000006f3: DUP4
000006f4: DUP4
000006f5: DUP1
000006f6: DUP3
000006f7: DUP5
000006f8: CALLDATACOPY
000006f9: PUSH1 0x00
000006fb: SWAP3
000006fc: ADD
000006fd: SWAP2
000006fe: SWAP1
000006ff: SWAP2
00000700: MSTORE
00000701: POP
00000702: SWAP3
00000703: SWAP6
00000704: POP
00000705: PUSH2 0x101d
00000708: SWAP5
00000709: POP
0000070a: POP
0000070b: POP
0000070c: POP
0000070d: POP
0000070e: JUMP
0000070f: JUMPDEST
00000710: CALLVALUE
00000711: DUP1
00000712: ISZERO
00000713: PUSH2 0x071b
00000716: JUMPI
00000717: PUSH1 0x00
00000719: DUP1
0000071a: REVERT
0000071b: JUMPDEST
0000071c: POP
0000071d: PUSH2 0x040a
00000720: PUSH2 0x12c0
00000723: JUMP
00000724: JUMPDEST
00000725: CALLVALUE
00000726: DUP1
00000727: ISZERO
00000728: PUSH2 0x0730
0000072b: JUMPI
0000072c: PUSH1 0x00
0000072e: DUP1
0000072f: REVERT
00000730: JUMPDEST
00000731: POP
00000732: PUSH2 0x03d9
00000735: PUSH2 0x12d0
00000738: JUMP
00000739: JUMPDEST
0000073a: PUSH2 0x0433
0000073d: PUSH2 0x12df
00000740: JUMP
00000741: JUMPDEST
00000742: CALLVALUE
00000743: DUP1
00000744: ISZERO
00000745: PUSH2 0x074d
00000748: JUMPI
00000749: PUSH1 0x00
0000074b: DUP1
0000074c: REVERT
0000074d: JUMPDEST
0000074e: POP
0000074f: PUSH2 0x0433
00000752: PUSH1 0x04
00000754: DUP1
00000755: CALLDATASIZE
00000756: SUB
00000757: PUSH1 0x20
00000759: DUP2
0000075a: LT
0000075b: ISZERO
0000075c: PUSH2 0x0764
0000075f: JUMPI
00000760: PUSH1 0x00
00000762: DUP1
00000763: REVERT
00000764: JUMPDEST
00000765: POP
00000766: CALLDATALOAD
00000767: PUSH1 0x01
00000769: PUSH1 0xa0
0000076b: PUSH1 0x02
0000076d: EXP
0000076e: SUB
0000076f: AND
00000770: PUSH2 0x133b
00000773: JUMP
00000774: JUMPDEST
00000775: PUSH1 0x00
00000777: DUP1
00000778: PUSH2 0x079e
0000077b: PUSH1 0x05
0000077d: SLOAD
0000077e: PUSH2 0x0792
00000781: PUSH1 0x04
00000783: SLOAD
00000784: DUP7
00000785: PUSH2 0x13aa
00000788: SWAP1
00000789: SWAP2
0000078a: SWAP1
0000078b: PUSH4 0xffffffff
00000790: AND
00000791: JUMP
00000792: JUMPDEST
00000793: SWAP1
00000794: PUSH4 0xffffffff
00000799: PUSH2 0x144b
0000079c: AND
0000079d: JUMP
0000079e: JUMPDEST
0000079f: SWAP4
000007a0: SWAP3
000007a1: POP
000007a2: POP
000007a3: POP
000007a4: JUMP
000007a5: JUMPDEST
000007a6: PUSH1 0x00
000007a8: PUSH2 0x07e7
000007ab: DUP4
000007ac: DUP4
000007ad: PUSH1 0x40
000007af: DUP1
000007b0: MLOAD
000007b1: SWAP1
000007b2: DUP2
000007b3: ADD
000007b4: PUSH1 0x40
000007b6: MSTORE
000007b7: DUP1
000007b8: PUSH1 0x1e
000007ba: DUP2
000007bb: MSTORE
000007bc: PUSH1 0x20
000007be: ADD
000007bf: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000007e0: DUP2
000007e1: MSTORE
000007e2: POP
000007e3: PUSH2 0x148d
000007e6: JUMP
000007e7: JUMPDEST
000007e8: SWAP1
000007e9: POP
000007ea: JUMPDEST
000007eb: SWAP3
000007ec: SWAP2
000007ed: POP
000007ee: POP
000007ef: JUMP
000007f0: JUMPDEST
000007f1: PUSH1 0x0a
000007f3: SLOAD
000007f4: PUSH1 0x01
000007f6: PUSH1 0xa0
000007f8: PUSH1 0x02
000007fa: EXP
000007fb: SUB
000007fc: AND
000007fd: DUP2
000007fe: JUMP
000007ff: JUMPDEST
00000800: PUSH1 0x0b
00000802: SLOAD
00000803: PUSH22 0x01000000000000000000000000000000000000000000
0000081a: SWAP1
0000081b: DIV
0000081c: PUSH1 0xff
0000081e: AND
0000081f: DUP2
00000820: JUMP
00000821: JUMPDEST
00000822: PUSH2 0x0829
00000825: PUSH2 0x0fe0
00000828: JUMP
00000829: JUMPDEST
0000082a: ISZERO
0000082b: ISZERO
0000082c: PUSH2 0x0884
0000082f: JUMPI
00000830: PUSH1 0x40
00000832: DUP1
00000833: MLOAD
00000834: PUSH1 0x00
00000836: DUP1
00000837: MLOAD
00000838: PUSH1 0x20
0000083a: PUSH2 0x16f8
0000083d: DUP4
0000083e: CODECOPY
0000083f: DUP2
00000840: MLOAD
00000841: SWAP2
00000842: MSTORE
00000843: DUP2
00000844: MSTORE
00000845: PUSH1 0x20
00000847: PUSH1 0x04
00000849: DUP3
0000084a: ADD
0000084b: DUP2
0000084c: SWAP1
0000084d: MSTORE
0000084e: PUSH1 0x24
00000850: DUP3
00000851: ADD
00000852: MSTORE
00000853: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000874: PUSH1 0x44
00000876: DUP3
00000877: ADD
00000878: MSTORE
00000879: SWAP1
0000087a: MLOAD
0000087b: SWAP1
0000087c: DUP2
0000087d: SWAP1
0000087e: SUB
0000087f: PUSH1 0x64
00000881: ADD
00000882: SWAP1
00000883: REVERT
00000884: JUMPDEST
00000885: PUSH1 0x08
00000887: SLOAD
00000888: PUSH1 0x07
0000088a: SLOAD
0000088b: PUSH1 0x40
0000088d: DUP1
0000088e: MLOAD
0000088f: PUSH32 0xcfc39ca800000000000000000000000000000000000000000000000000000000
000008b0: DUP2
000008b1: MSTORE
000008b2: ADDRESS
000008b3: PUSH1 0x04
000008b5: DUP3
000008b6: ADD
000008b7: MSTORE
000008b8: PUSH1 0x01
000008ba: PUSH1 0xa0
000008bc: PUSH1 0x02
000008be: EXP
000008bf: SUB
000008c0: SWAP3
000008c1: DUP4
000008c2: AND
000008c3: PUSH1 0x24
000008c5: DUP3
000008c6: ADD
000008c7: MSTORE
000008c8: SWAP1
000008c9: MLOAD
000008ca: PUSH1 0x00
000008cc: SWAP4
000008cd: SWAP3
000008ce: SWAP1
000008cf: SWAP3
000008d0: AND
000008d1: SWAP2
000008d2: PUSH4 0xcfc39ca8
000008d7: SWAP2
000008d8: PUSH1 0x44
000008da: DUP1
000008db: DUP3
000008dc: ADD
000008dd: SWAP3
000008de: PUSH1 0x20
000008e0: SWAP3
000008e1: SWAP1
000008e2: SWAP2
000008e3: SWAP1
000008e4: DUP3
000008e5: SWAP1
000008e6: SUB
000008e7: ADD
000008e8: DUP2
000008e9: DUP8
000008ea: DUP8
000008eb: DUP1
000008ec: EXTCODESIZE
000008ed: ISZERO
000008ee: DUP1
000008ef: ISZERO
000008f0: PUSH2 0x08f8
000008f3: JUMPI
000008f4: PUSH1 0x00
000008f6: DUP1
000008f7: REVERT
000008f8: JUMPDEST
000008f9: POP
000008fa: GAS
000008fb: CALL
000008fc: ISZERO
000008fd: DUP1
000008fe: ISZERO
000008ff: PUSH2 0x090c
00000902: JUMPI
00000903: RETURNDATASIZE
00000904: PUSH1 0x00
00000906: DUP1
00000907: RETURNDATACOPY
00000908: RETURNDATASIZE
00000909: PUSH1 0x00
0000090b: REVERT
0000090c: JUMPDEST
0000090d: POP
0000090e: POP
0000090f: POP
00000910: POP
00000911: PUSH1 0x40
00000913: MLOAD
00000914: RETURNDATASIZE
00000915: PUSH1 0x20
00000917: DUP2
00000918: LT
00000919: ISZERO
0000091a: PUSH2 0x0922
0000091d: JUMPI
0000091e: PUSH1 0x00
00000920: DUP1
00000921: REVERT
00000922: JUMPDEST
00000923: POP
00000924: MLOAD
00000925: PUSH1 0x0b
00000927: DUP1
00000928: SLOAD
00000929: PUSH21 0xff0000000000000000000000000000000000000000
0000093f: NOT
00000940: AND
00000941: PUSH1 0xa0
00000943: PUSH1 0x02
00000945: EXP
00000946: OR
00000947: SWAP1
00000948: SSTORE
00000949: PUSH1 0x0a
0000094b: SLOAD
0000094c: PUSH1 0x40
0000094e: DUP1
0000094f: MLOAD
00000950: PUSH32 0xf2fde38b00000000000000000000000000000000000000000000000000000000
00000971: DUP2
00000972: MSTORE
00000973: PUSH1 0x01
00000975: PUSH1 0xa0
00000977: PUSH1 0x02
00000979: EXP
0000097a: SUB
0000097b: DUP1
0000097c: DUP6
0000097d: AND
0000097e: PUSH1 0x04
00000980: DUP4
00000981: ADD
00000982: MSTORE
00000983: SWAP2
00000984: MLOAD
00000985: SWAP4
00000986: SWAP5
00000987: POP
00000988: SWAP2
00000989: AND
0000098a: SWAP2
0000098b: PUSH4 0xf2fde38b
00000990: SWAP2
00000991: PUSH1 0x24
00000993: DUP1
00000994: DUP3
00000995: ADD
00000996: SWAP3
00000997: PUSH1 0x00
00000999: SWAP3
0000099a: SWAP1
0000099b: SWAP2
0000099c: SWAP1
0000099d: DUP3
0000099e: SWAP1
0000099f: SUB
000009a0: ADD
000009a1: DUP2
000009a2: DUP4
000009a3: DUP8
000009a4: DUP1
000009a5: EXTCODESIZE
000009a6: ISZERO
000009a7: DUP1
000009a8: ISZERO
000009a9: PUSH2 0x09b1
000009ac: JUMPI
000009ad: PUSH1 0x00
000009af: DUP1
000009b0: REVERT
000009b1: JUMPDEST
000009b2: POP
000009b3: GAS
000009b4: CALL
000009b5: ISZERO
000009b6: DUP1
000009b7: ISZERO
000009b8: PUSH2 0x09c5
000009bb: JUMPI
000009bc: RETURNDATASIZE
000009bd: PUSH1 0x00
000009bf: DUP1
000009c0: RETURNDATACOPY
000009c1: RETURNDATASIZE
000009c2: PUSH1 0x00
000009c4: REVERT
000009c5: JUMPDEST
000009c6: POP
000009c7: POP
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: PUSH1 0x01
000009cd: PUSH1 0xa0
000009cf: PUSH1 0x02
000009d1: EXP
000009d2: SUB
000009d3: DUP5
000009d4: AND
000009d5: SWAP3
000009d6: POP
000009d7: ADDRESS
000009d8: BALANCE
000009d9: DUP1
000009da: ISZERO
000009db: PUSH2 0x08fc
000009de: MUL
000009df: SWAP3
000009e0: POP
000009e1: SWAP1
000009e2: PUSH1 0x00
000009e4: DUP2
000009e5: DUP2
000009e6: DUP2
000009e7: DUP6
000009e8: DUP9
000009e9: DUP9
000009ea: CALL
000009eb: SWAP4
000009ec: POP
000009ed: POP
000009ee: POP
000009ef: POP
000009f0: ISZERO
000009f1: DUP1
000009f2: ISZERO
000009f3: PUSH2 0x0a00
000009f6: JUMPI
000009f7: RETURNDATASIZE
000009f8: PUSH1 0x00
000009fa: DUP1
000009fb: RETURNDATACOPY
000009fc: RETURNDATASIZE
000009fd: PUSH1 0x00
000009ff: REVERT
00000a00: JUMPDEST
00000a01: POP
00000a02: POP
00000a03: JUMP
00000a04: JUMPDEST
00000a05: PUSH1 0x05
00000a07: SLOAD
00000a08: DUP2
00000a09: JUMP
00000a0a: JUMPDEST
00000a0b: PUSH1 0x0b
00000a0d: SLOAD
00000a0e: PUSH1 0x01
00000a10: PUSH1 0xa0
00000a12: PUSH1 0x02
00000a14: EXP
00000a15: SUB
00000a16: AND
00000a17: DUP2
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH1 0x0b
00000a1c: SLOAD
00000a1d: PUSH1 0xa0
00000a1f: PUSH1 0x02
00000a21: EXP
00000a22: SWAP1
00000a23: DIV
00000a24: PUSH1 0xff
00000a26: AND
00000a27: ISZERO
00000a28: DUP1
00000a29: ISZERO
00000a2a: PUSH2 0x0a35
00000a2d: JUMPI
00000a2e: POP
00000a2f: PUSH3 0x0f4240
00000a33: DUP2
00000a34: GT
00000a35: JUMPDEST
00000a36: DUP1
00000a37: ISZERO
00000a38: PUSH2 0x0ace
00000a3b: JUMPI
00000a3c: POP
00000a3d: PUSH1 0x0a
00000a3f: SLOAD
00000a40: PUSH1 0x40
00000a42: DUP1
00000a43: MLOAD
00000a44: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000a65: DUP2
00000a66: MSTORE
00000a67: CALLER
00000a68: PUSH1 0x04
00000a6a: DUP3
00000a6b: ADD
00000a6c: MSTORE
00000a6d: SWAP1
00000a6e: MLOAD
00000a6f: DUP4
00000a70: SWAP3
00000a71: PUSH1 0x01
00000a73: PUSH1 0xa0
00000a75: PUSH1 0x02
00000a77: EXP
00000a78: SUB
00000a79: AND
00000a7a: SWAP2
00000a7b: PUSH4 0x70a08231
00000a80: SWAP2
00000a81: PUSH1 0x24
00000a83: DUP1
00000a84: DUP4
00000a85: ADD
00000a86: SWAP3
00000a87: PUSH1 0x20
00000a89: SWAP3
00000a8a: SWAP2
00000a8b: SWAP1
00000a8c: DUP3
00000a8d: SWAP1
00000a8e: SUB
00000a8f: ADD
00000a90: DUP2
00000a91: DUP7
00000a92: DUP1
00000a93: EXTCODESIZE
00000a94: ISZERO
00000a95: DUP1
00000a96: ISZERO
00000a97: PUSH2 0x0a9f
00000a9a: JUMPI
00000a9b: PUSH1 0x00
00000a9d: DUP1
00000a9e: REVERT
00000a9f: JUMPDEST
00000aa0: POP
00000aa1: GAS
00000aa2: STATICCALL
00000aa3: ISZERO
00000aa4: DUP1
00000aa5: ISZERO
00000aa6: PUSH2 0x0ab3
00000aa9: JUMPI
00000aaa: RETURNDATASIZE
00000aab: PUSH1 0x00
00000aad: DUP1
00000aae: RETURNDATACOPY
00000aaf: RETURNDATASIZE
00000ab0: PUSH1 0x00
00000ab2: REVERT
00000ab3: JUMPDEST
00000ab4: POP
00000ab5: POP
00000ab6: POP
00000ab7: POP
00000ab8: PUSH1 0x40
00000aba: MLOAD
00000abb: RETURNDATASIZE
00000abc: PUSH1 0x20
00000abe: DUP2
00000abf: LT
00000ac0: ISZERO
00000ac1: PUSH2 0x0ac9
00000ac4: JUMPI
00000ac5: PUSH1 0x00
00000ac7: DUP1
00000ac8: REVERT
00000ac9: JUMPDEST
00000aca: POP
00000acb: MLOAD
00000acc: LT
00000acd: ISZERO
00000ace: JUMPDEST
00000acf: ISZERO
00000ad0: ISZERO
00000ad1: PUSH2 0x0ad9
00000ad4: JUMPI
00000ad5: PUSH1 0x00
00000ad7: DUP1
00000ad8: REVERT
00000ad9: JUMPDEST
00000ada: PUSH1 0x0a
00000adc: SLOAD
00000add: PUSH1 0x40
00000adf: DUP1
00000ae0: MLOAD
00000ae1: PUSH32 0x18160ddd00000000000000000000000000000000000000000000000000000000
00000b02: DUP2
00000b03: MSTORE
00000b04: SWAP1
00000b05: MLOAD
00000b06: PUSH1 0x00
00000b08: SWAP3
00000b09: PUSH1 0x01
00000b0b: PUSH1 0xa0
00000b0d: PUSH1 0x02
00000b0f: EXP
00000b10: SUB
00000b11: AND
00000b12: SWAP2
00000b13: PUSH4 0x18160ddd
00000b18: SWAP2
00000b19: PUSH1 0x04
00000b1b: DUP1
00000b1c: DUP4
00000b1d: ADD
00000b1e: SWAP3
00000b1f: PUSH1 0x20
00000b21: SWAP3
00000b22: SWAP2
00000b23: SWAP1
00000b24: DUP3
00000b25: SWAP1
00000b26: SUB
00000b27: ADD
00000b28: DUP2
00000b29: DUP7
00000b2a: DUP1
00000b2b: EXTCODESIZE
00000b2c: ISZERO
00000b2d: DUP1
00000b2e: ISZERO
00000b2f: PUSH2 0x0b37
00000b32: JUMPI
00000b33: PUSH1 0x00
00000b35: DUP1
00000b36: REVERT
00000b37: JUMPDEST
00000b38: POP
00000b39: GAS
00000b3a: STATICCALL
00000b3b: ISZERO
00000b3c: DUP1
00000b3d: ISZERO
00000b3e: PUSH2 0x0b4b
00000b41: JUMPI
00000b42: RETURNDATASIZE
00000b43: PUSH1 0x00
00000b45: DUP1
00000b46: RETURNDATACOPY
00000b47: RETURNDATASIZE
00000b48: PUSH1 0x00
00000b4a: REVERT
00000b4b: JUMPDEST
00000b4c: POP
00000b4d: POP
00000b4e: POP
00000b4f: POP
00000b50: PUSH1 0x40
00000b52: MLOAD
00000b53: RETURNDATASIZE
00000b54: PUSH1 0x20
00000b56: DUP2
00000b57: LT
00000b58: ISZERO
00000b59: PUSH2 0x0b61
00000b5c: JUMPI
00000b5d: PUSH1 0x00
00000b5f: DUP1
00000b60: REVERT
00000b61: JUMPDEST
00000b62: POP
00000b63: MLOAD
00000b64: SWAP1
00000b65: POP
00000b66: PUSH1 0x00
00000b68: DUP1
00000b69: PUSH2 0x0b71
00000b6c: DUP5
00000b6d: PUSH2 0x0e3b
00000b70: JUMP
00000b71: JUMPDEST
00000b72: PUSH1 0x09
00000b74: SLOAD
00000b75: PUSH1 0x01
00000b77: SLOAD
00000b78: PUSH1 0x00
00000b7a: DUP1
00000b7b: SLOAD
00000b7c: PUSH1 0x40
00000b7e: DUP1
00000b7f: MLOAD
00000b80: PUSH32 0x49f9b0f700000000000000000000000000000000000000000000000000000000
00000ba1: DUP2
00000ba2: MSTORE
00000ba3: PUSH1 0x04
00000ba5: DUP2
00000ba6: ADD
00000ba7: DUP11
00000ba8: SWAP1
00000ba9: MSTORE
00000baa: PUSH1 0x24
00000bac: DUP2
00000bad: ADD
00000bae: SWAP5
00000baf: SWAP1
00000bb0: SWAP5
00000bb1: MSTORE
00000bb2: PUSH1 0xa0
00000bb4: PUSH1 0x02
00000bb6: EXP
00000bb7: SWAP1
00000bb8: SWAP2
00000bb9: DIV
00000bba: PUSH4 0xffffffff
00000bbf: AND
00000bc0: PUSH1 0x44
00000bc2: DUP5
00000bc3: ADD
00000bc4: MSTORE
00000bc5: PUSH1 0x64
00000bc7: DUP4
00000bc8: ADD
00000bc9: DUP10
00000bca: SWAP1
00000bcb: MSTORE
00000bcc: MLOAD
00000bcd: SWAP4
00000bce: SWAP5
00000bcf: POP
00000bd0: SWAP3
00000bd1: PUSH1 0x01
00000bd3: PUSH1 0xa0
00000bd5: PUSH1 0x02
00000bd7: EXP
00000bd8: SUB
00000bd9: SWAP1
00000bda: SWAP3
00000bdb: AND
00000bdc: SWAP2
00000bdd: PUSH4 0x49f9b0f7
00000be2: SWAP2
00000be3: PUSH1 0x84
00000be5: DUP1
00000be6: DUP3
00000be7: ADD
00000be8: SWAP3
00000be9: PUSH1 0x20
00000beb: SWAP3
00000bec: SWAP1
00000bed: SWAP2
00000bee: SWAP1
00000bef: DUP3
00000bf0: SWAP1
00000bf1: SUB
00000bf2: ADD
00000bf3: DUP2
00000bf4: DUP7
00000bf5: DUP1
00000bf6: EXTCODESIZE
00000bf7: ISZERO
00000bf8: DUP1
00000bf9: ISZERO
00000bfa: PUSH2 0x0c02
00000bfd: JUMPI
00000bfe: PUSH1 0x00
00000c00: DUP1
00000c01: REVERT
00000c02: JUMPDEST
00000c03: POP
00000c04: GAS
00000c05: STATICCALL
00000c06: ISZERO
00000c07: DUP1
00000c08: ISZERO
00000c09: PUSH2 0x0c16
00000c0c: JUMPI
00000c0d: RETURNDATASIZE
00000c0e: PUSH1 0x00
00000c10: DUP1
00000c11: RETURNDATACOPY
00000c12: RETURNDATASIZE
00000c13: PUSH1 0x00
00000c15: REVERT
00000c16: JUMPDEST
00000c17: POP
00000c18: POP
00000c19: POP
00000c1a: POP
00000c1b: PUSH1 0x40
00000c1d: MLOAD
00000c1e: RETURNDATASIZE
00000c1f: PUSH1 0x20
00000c21: DUP2
00000c22: LT
00000c23: ISZERO
00000c24: PUSH2 0x0c2c
00000c27: JUMPI
00000c28: PUSH1 0x00
00000c2a: DUP1
00000c2b: REVERT
00000c2c: JUMPDEST
00000c2d: POP
00000c2e: MLOAD
00000c2f: SWAP1
00000c30: POP
00000c31: PUSH2 0x0c38
00000c34: PUSH2 0x0fd1
00000c37: JUMP
00000c38: JUMPDEST
00000c39: PUSH1 0x01
00000c3b: PUSH1 0xa0
00000c3d: PUSH1 0x02
00000c3f: EXP
00000c40: SUB
00000c41: AND
00000c42: CALLER
00000c43: PUSH1 0x01
00000c45: PUSH1 0xa0
00000c47: PUSH1 0x02
00000c49: EXP
00000c4a: SUB
00000c4b: AND
00000c4c: EQ
00000c4d: ISZERO
00000c4e: PUSH2 0x0c7d
00000c51: JUMPI
00000c52: PUSH2 0x0c61
00000c55: DUP2
00000c56: DUP4
00000c57: PUSH4 0xffffffff
00000c5c: PUSH2 0x152c
00000c5f: AND
00000c60: JUMP
00000c61: JUMPDEST
00000c62: PUSH1 0x02
00000c64: SLOAD
00000c65: SWAP1
00000c66: SWAP4
00000c67: POP
00000c68: PUSH2 0x0c77
00000c6b: SWAP1
00000c6c: DUP4
00000c6d: PUSH4 0xffffffff
00000c72: PUSH2 0x07a5
00000c75: AND
00000c76: JUMP
00000c77: JUMPDEST
00000c78: POP
00000c79: PUSH2 0x0cd8
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: PUSH2 0x0c97
00000c81: PUSH1 0x64
00000c83: PUSH2 0x0792
00000c86: PUSH1 0x03
00000c88: SLOAD
00000c89: DUP5
00000c8a: PUSH2 0x13aa
00000c8d: SWAP1
00000c8e: SWAP2
00000c8f: SWAP1
00000c90: PUSH4 0xffffffff
00000c95: AND
00000c96: JUMP
00000c97: JUMPDEST
00000c98: SWAP3
00000c99: POP
00000c9a: PUSH1 0x00
00000c9c: PUSH2 0x0cab
00000c9f: DUP3
00000ca0: DUP6
00000ca1: PUSH4 0xffffffff
00000ca6: PUSH2 0x07a5
00000ca9: AND
00000caa: JUMP
00000cab: JUMPDEST
00000cac: PUSH1 0x01
00000cae: SLOAD
00000caf: SWAP1
00000cb0: SWAP2
00000cb1: POP
00000cb2: PUSH2 0x0cc1
00000cb5: SWAP1
00000cb6: DUP3
00000cb7: PUSH4 0xffffffff
00000cbc: PUSH2 0x07a5
00000cbf: AND
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: POP
00000cc3: PUSH1 0x02
00000cc5: SLOAD
00000cc6: PUSH2 0x0cd5
00000cc9: SWAP1
00000cca: DUP3
00000ccb: PUSH4 0xffffffff
00000cd0: PUSH2 0x152c
00000cd3: AND
00000cd4: JUMP
00000cd5: JUMPDEST
00000cd6: POP
00000cd7: POP
00000cd8: JUMPDEST
00000cd9: PUSH1 0x0a
00000cdb: SLOAD
00000cdc: PUSH1 0x40
00000cde: DUP1
00000cdf: MLOAD
00000ce0: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000
00000d01: DUP2
00000d02: MSTORE
00000d03: CALLER
00000d04: PUSH1 0x04
00000d06: DUP3
00000d07: ADD
00000d08: MSTORE
00000d09: PUSH1 0x24
00000d0b: DUP2
00000d0c: ADD
00000d0d: DUP9
00000d0e: SWAP1
00000d0f: MSTORE
00000d10: SWAP1
00000d11: MLOAD
00000d12: PUSH1 0x01
00000d14: PUSH1 0xa0
00000d16: PUSH1 0x02
00000d18: EXP
00000d19: SUB
00000d1a: SWAP1
00000d1b: SWAP3
00000d1c: AND
00000d1d: SWAP2
00000d1e: PUSH4 0x9dc29fac
00000d23: SWAP2
00000d24: PUSH1 0x44
00000d26: DUP1
00000d27: DUP3
00000d28: ADD
00000d29: SWAP3
00000d2a: PUSH1 0x00
00000d2c: SWAP3
00000d2d: SWAP1
00000d2e: SWAP2
00000d2f: SWAP1
00000d30: DUP3
00000d31: SWAP1
00000d32: SUB
00000d33: ADD
00000d34: DUP2
00000d35: DUP4
00000d36: DUP8
00000d37: DUP1
00000d38: EXTCODESIZE
00000d39: ISZERO
00000d3a: DUP1
00000d3b: ISZERO
00000d3c: PUSH2 0x0d44
00000d3f: JUMPI
00000d40: PUSH1 0x00
00000d42: DUP1
00000d43: REVERT
00000d44: JUMPDEST
00000d45: POP
00000d46: GAS
00000d47: CALL
00000d48: ISZERO
00000d49: DUP1
00000d4a: ISZERO
00000d4b: PUSH2 0x0d58
00000d4e: JUMPI
00000d4f: RETURNDATASIZE
00000d50: PUSH1 0x00
00000d52: DUP1
00000d53: RETURNDATACOPY
00000d54: RETURNDATASIZE
00000d55: PUSH1 0x00
00000d57: REVERT
00000d58: JUMPDEST
00000d59: POP
00000d5a: POP
00000d5b: POP
00000d5c: POP
00000d5d: PUSH1 0x00
00000d5f: PUSH2 0x0d67
00000d62: DUP5
00000d63: PUSH2 0x0774
00000d66: JUMP
00000d67: JUMPDEST
00000d68: SWAP1
00000d69: POP
00000d6a: PUSH1 0x00
00000d6c: PUSH2 0x0d7b
00000d6f: DUP6
00000d70: DUP4
00000d71: PUSH4 0xffffffff
00000d76: PUSH2 0x07a5
00000d79: AND
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH1 0x06
00000d7e: SLOAD
00000d7f: PUSH1 0x40
00000d81: MLOAD
00000d82: SWAP2
00000d83: SWAP3
00000d84: POP
00000d85: PUSH1 0x01
00000d87: PUSH1 0xa0
00000d89: PUSH1 0x02
00000d8b: EXP
00000d8c: SUB
00000d8d: AND
00000d8e: SWAP1
00000d8f: DUP4
00000d90: ISZERO
00000d91: PUSH2 0x08fc
00000d94: MUL
00000d95: SWAP1
00000d96: DUP5
00000d97: SWAP1
00000d98: PUSH1 0x00
00000d9a: DUP2
00000d9b: DUP2
00000d9c: DUP2
00000d9d: DUP6
00000d9e: DUP9
00000d9f: DUP9
00000da0: CALL
00000da1: SWAP4
00000da2: POP
00000da3: POP
00000da4: POP
00000da5: POP
00000da6: ISZERO
00000da7: DUP1
00000da8: ISZERO
00000da9: PUSH2 0x0db6
00000dac: JUMPI
00000dad: RETURNDATASIZE
00000dae: PUSH1 0x00
00000db0: DUP1
00000db1: RETURNDATACOPY
00000db2: RETURNDATASIZE
00000db3: PUSH1 0x00
00000db5: REVERT
00000db6: JUMPDEST
00000db7: POP
00000db8: PUSH1 0x40
00000dba: MLOAD
00000dbb: CALLER
00000dbc: SWAP1
00000dbd: DUP3
00000dbe: ISZERO
00000dbf: PUSH2 0x08fc
00000dc2: MUL
00000dc3: SWAP1
00000dc4: DUP4
00000dc5: SWAP1
00000dc6: PUSH1 0x00
00000dc8: DUP2
00000dc9: DUP2
00000dca: DUP2
00000dcb: DUP6
00000dcc: DUP9
00000dcd: DUP9
00000dce: CALL
00000dcf: SWAP4
00000dd0: POP
00000dd1: POP
00000dd2: POP
00000dd3: POP
00000dd4: ISZERO
00000dd5: DUP1
00000dd6: ISZERO
00000dd7: PUSH2 0x0de4
00000dda: JUMPI
00000ddb: RETURNDATASIZE
00000ddc: PUSH1 0x00
00000dde: DUP1
00000ddf: RETURNDATACOPY
00000de0: RETURNDATASIZE
00000de1: PUSH1 0x00
00000de3: REVERT
00000de4: JUMPDEST
00000de5: POP
00000de6: PUSH1 0x02
00000de8: SLOAD
00000de9: PUSH2 0x0dfa
00000dec: SWAP1
00000ded: ADDRESS
00000dee: BALANCE
00000def: SWAP1
00000df0: PUSH4 0xffffffff
00000df5: PUSH2 0x07a5
00000df8: AND
00000df9: JUMP
00000dfa: JUMPDEST
00000dfb: PUSH1 0x01
00000dfd: SSTORE
00000dfe: PUSH1 0x40
00000e00: MLOAD
00000e01: CALLER
00000e02: SWAP1
00000e03: DUP3
00000e04: SWAP1
00000e05: DUP10
00000e06: SWAP1
00000e07: PUSH32 0xf07be193220e602179756726bf856dc9a1fe4a21c03cdafa5ba181b69b3aebc2
00000e28: SWAP1
00000e29: PUSH1 0x00
00000e2b: SWAP1
00000e2c: LOG4
00000e2d: POP
00000e2e: POP
00000e2f: POP
00000e30: POP
00000e31: POP
00000e32: POP
00000e33: POP
00000e34: JUMP
00000e35: JUMPDEST
00000e36: PUSH1 0x03
00000e38: SLOAD
00000e39: DUP2
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: PUSH1 0x00
00000e3e: DUP1
00000e3f: PUSH1 0x0a
00000e41: PUSH1 0x00
00000e43: SWAP1
00000e44: SLOAD
00000e45: SWAP1
00000e46: PUSH2 0x0100
00000e49: EXP
00000e4a: SWAP1
00000e4b: DIV
00000e4c: PUSH1 0x01
00000e4e: PUSH1 0xa0
00000e50: PUSH1 0x02
00000e52: EXP
00000e53: SUB
00000e54: AND
00000e55: PUSH1 0x01
00000e57: PUSH1 0xa0
00000e59: PUSH1 0x02
00000e5b: EXP
00000e5c: SUB
00000e5d: AND
00000e5e: PUSH4 0x18160ddd
00000e63: PUSH1 0x40
00000e65: MLOAD
00000e66: DUP2
00000e67: PUSH4 0xffffffff
00000e6c: AND
00000e6d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000e8b: MUL
00000e8c: DUP2
00000e8d: MSTORE
00000e8e: PUSH1 0x04
00000e90: ADD
00000e91: PUSH1 0x20
00000e93: PUSH1 0x40
00000e95: MLOAD
00000e96: DUP1
00000e97: DUP4
00000e98: SUB
00000e99: DUP2
00000e9a: DUP7
00000e9b: DUP1
00000e9c: EXTCODESIZE
00000e9d: ISZERO
00000e9e: DUP1
00000e9f: ISZERO
00000ea0: PUSH2 0x0ea8
00000ea3: JUMPI
00000ea4: PUSH1 0x00
00000ea6: DUP1
00000ea7: REVERT
00000ea8: JUMPDEST
00000ea9: POP
00000eaa: GAS
00000eab: STATICCALL
00000eac: ISZERO
00000ead: DUP1
00000eae: ISZERO
00000eaf: PUSH2 0x0ebc
00000eb2: JUMPI
00000eb3: RETURNDATASIZE
00000eb4: PUSH1 0x00
00000eb6: DUP1
00000eb7: RETURNDATACOPY
00000eb8: RETURNDATASIZE
00000eb9: PUSH1 0x00
00000ebb: REVERT
00000ebc: JUMPDEST
00000ebd: POP
00000ebe: POP
00000ebf: POP
00000ec0: POP
00000ec1: PUSH1 0x40
00000ec3: MLOAD
00000ec4: RETURNDATASIZE
00000ec5: PUSH1 0x20
00000ec7: DUP2
00000ec8: LT
00000ec9: ISZERO
00000eca: PUSH2 0x0ed2
00000ecd: JUMPI
00000ece: PUSH1 0x00
00000ed0: DUP1
00000ed1: REVERT
00000ed2: JUMPDEST
00000ed3: POP
00000ed4: MLOAD
00000ed5: PUSH1 0x02
00000ed7: SLOAD
00000ed8: SWAP1
00000ed9: SWAP2
00000eda: POP
00000edb: PUSH1 0x00
00000edd: SWAP1
00000ede: PUSH2 0x0ef4
00000ee1: SWAP1
00000ee2: DUP4
00000ee3: SWAP1
00000ee4: PUSH2 0x0792
00000ee7: SWAP1
00000ee8: DUP8
00000ee9: SWAP1
00000eea: PUSH4 0xffffffff
00000eef: PUSH2 0x13aa
00000ef2: AND
00000ef3: JUMP
00000ef4: JUMPDEST
00000ef5: SWAP5
00000ef6: SWAP4
00000ef7: POP
00000ef8: POP
00000ef9: POP
00000efa: POP
00000efb: JUMP
00000efc: JUMPDEST
00000efd: PUSH1 0x08
00000eff: SLOAD
00000f00: PUSH1 0x01
00000f02: PUSH1 0xa0
00000f04: PUSH1 0x02
00000f06: EXP
00000f07: SUB
00000f08: AND
00000f09: DUP2
00000f0a: JUMP
00000f0b: JUMPDEST
00000f0c: PUSH1 0x04
00000f0e: SLOAD
00000f0f: DUP2
00000f10: JUMP
00000f11: JUMPDEST
00000f12: PUSH2 0x0f19
00000f15: PUSH2 0x0fe0
00000f18: JUMP
00000f19: JUMPDEST
00000f1a: ISZERO
00000f1b: ISZERO
00000f1c: PUSH2 0x0f74
00000f1f: JUMPI
00000f20: PUSH1 0x40
00000f22: DUP1
00000f23: MLOAD
00000f24: PUSH1 0x00
00000f26: DUP1
00000f27: MLOAD
00000f28: PUSH1 0x20
00000f2a: PUSH2 0x16f8
00000f2d: DUP4
00000f2e: CODECOPY
00000f2f: DUP2
00000f30: MLOAD
00000f31: SWAP2
00000f32: MSTORE
00000f33: DUP2
00000f34: MSTORE
00000f35: PUSH1 0x20
00000f37: PUSH1 0x04
00000f39: DUP3
00000f3a: ADD
00000f3b: DUP2
00000f3c: SWAP1
00000f3d: MSTORE
00000f3e: PUSH1 0x24
00000f40: DUP3
00000f41: ADD
00000f42: MSTORE
00000f43: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000f64: PUSH1 0x44
00000f66: DUP3
00000f67: ADD
00000f68: MSTORE
00000f69: SWAP1
00000f6a: MLOAD
00000f6b: SWAP1
00000f6c: DUP2
00000f6d: SWAP1
00000f6e: SUB
00000f6f: PUSH1 0x64
00000f71: ADD
00000f72: SWAP1
00000f73: REVERT
00000f74: JUMPDEST
00000f75: PUSH1 0x00
00000f77: DUP1
00000f78: SLOAD
00000f79: PUSH1 0x40
00000f7b: MLOAD
00000f7c: PUSH1 0x01
00000f7e: PUSH1 0xa0
00000f80: PUSH1 0x02
00000f82: EXP
00000f83: SUB
00000f84: SWAP1
00000f85: SWAP2
00000f86: AND
00000f87: SWAP1
00000f88: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000fa9: SWAP1
00000faa: DUP4
00000fab: SWAP1
00000fac: LOG3
00000fad: PUSH1 0x00
00000faf: DUP1
00000fb0: SLOAD
00000fb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc6: NOT
00000fc7: AND
00000fc8: SWAP1
00000fc9: SSTORE
00000fca: JUMP
00000fcb: JUMPDEST
00000fcc: PUSH1 0x02
00000fce: SLOAD
00000fcf: DUP2
00000fd0: JUMP
00000fd1: JUMPDEST
00000fd2: PUSH1 0x00
00000fd4: SLOAD
00000fd5: PUSH1 0x01
00000fd7: PUSH1 0xa0
00000fd9: PUSH1 0x02
00000fdb: EXP
00000fdc: SUB
00000fdd: AND
00000fde: SWAP1
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: PUSH1 0x00
00000fe3: DUP1
00000fe4: SLOAD
00000fe5: PUSH1 0x01
00000fe7: PUSH1 0xa0
00000fe9: PUSH1 0x02
00000feb: EXP
00000fec: SUB
00000fed: AND
00000fee: PUSH2 0x0ff5
00000ff1: PUSH2 0x158e
00000ff4: JUMP
00000ff5: JUMPDEST
00000ff6: PUSH1 0x01
00000ff8: PUSH1 0xa0
00000ffa: PUSH1 0x02
00000ffc: EXP
00000ffd: SUB
00000ffe: AND
00000fff: EQ
00001000: SWAP1
00001001: POP
00001002: SWAP1
00001003: JUMP
00001004: JUMPDEST
00001005: PUSH1 0x01
00001007: SLOAD
00001008: DUP2
00001009: JUMP
0000100a: JUMPDEST
0000100b: PUSH1 0x00
0000100d: SLOAD
0000100e: PUSH1 0xa0
00001010: PUSH1 0x02
00001012: EXP
00001013: SWAP1
00001014: DIV
00001015: PUSH4 0xffffffff
0000101a: AND
0000101b: DUP2
0000101c: JUMP
0000101d: JUMPDEST
0000101e: PUSH2 0x1025
00001021: PUSH2 0x0fe0
00001024: JUMP
00001025: JUMPDEST
00001026: ISZERO
00001027: ISZERO
00001028: PUSH2 0x1080
0000102b: JUMPI
0000102c: PUSH1 0x40
0000102e: DUP1
0000102f: MLOAD
00001030: PUSH1 0x00
00001032: DUP1
00001033: MLOAD
00001034: PUSH1 0x20
00001036: PUSH2 0x16f8
00001039: DUP4
0000103a: CODECOPY
0000103b: DUP2
0000103c: MLOAD
0000103d: SWAP2
0000103e: MSTORE
0000103f: DUP2
00001040: MSTORE
00001041: PUSH1 0x20
00001043: PUSH1 0x04
00001045: DUP3
00001046: ADD
00001047: DUP2
00001048: SWAP1
00001049: MSTORE
0000104a: PUSH1 0x24
0000104c: DUP3
0000104d: ADD
0000104e: MSTORE
0000104f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001070: PUSH1 0x44
00001072: DUP3
00001073: ADD
00001074: MSTORE
00001075: SWAP1
00001076: MLOAD
00001077: SWAP1
00001078: DUP2
00001079: SWAP1
0000107a: SUB
0000107b: PUSH1 0x64
0000107d: ADD
0000107e: SWAP1
0000107f: REVERT
00001080: JUMPDEST
00001081: PUSH1 0x0b
00001083: SLOAD
00001084: PUSH22 0x01000000000000000000000000000000000000000000
0000109b: SWAP1
0000109c: DIV
0000109d: PUSH1 0xff
0000109f: AND
000010a0: ISZERO
000010a1: PUSH2 0x10a9
000010a4: JUMPI
000010a5: PUSH1 0x00
000010a7: DUP1
000010a8: REVERT
000010a9: JUMPDEST
000010aa: PUSH1 0x0a
000010ac: SLOAD
000010ad: PUSH1 0x40
000010af: MLOAD
000010b0: PUSH32 0xc47f002700000000000000000000000000000000000000000000000000000000
000010d1: DUP2
000010d2: MSTORE
000010d3: PUSH1 0x20
000010d5: PUSH1 0x04
000010d7: DUP3
000010d8: ADD
000010d9: DUP2
000010da: DUP2
000010db: MSTORE
000010dc: DUP6
000010dd: MLOAD
000010de: PUSH1 0x24
000010e0: DUP5
000010e1: ADD
000010e2: MSTORE
000010e3: DUP6
000010e4: MLOAD
000010e5: PUSH1 0x01
000010e7: PUSH1 0xa0
000010e9: PUSH1 0x02
000010eb: EXP
000010ec: SUB
000010ed: SWAP1
000010ee: SWAP5
000010ef: AND
000010f0: SWAP4
000010f1: PUSH4 0xc47f0027
000010f6: SWAP4
000010f7: DUP8
000010f8: SWAP4
000010f9: DUP4
000010fa: SWAP3
000010fb: PUSH1 0x44
000010fd: SWAP1
000010fe: SWAP3
000010ff: ADD
00001100: SWAP2
00001101: SWAP1
00001102: DUP6
00001103: ADD
00001104: SWAP1
00001105: DUP1
00001106: DUP4
00001107: DUP4
00001108: PUSH1 0x00
0000110a: JUMPDEST
0000110b: DUP4
0000110c: DUP2
0000110d: LT
0000110e: ISZERO
0000110f: PUSH2 0x1122
00001112: JUMPI
00001113: DUP2
00001114: DUP2
00001115: ADD
00001116: MLOAD
00001117: DUP4
00001118: DUP3
00001119: ADD
0000111a: MSTORE
0000111b: PUSH1 0x20
0000111d: ADD
0000111e: PUSH2 0x110a
00001121: JUMP
00001122: JUMPDEST
00001123: POP
00001124: POP
00001125: POP
00001126: POP
00001127: SWAP1
00001128: POP
00001129: SWAP1
0000112a: DUP2
0000112b: ADD
0000112c: SWAP1
0000112d: PUSH1 0x1f
0000112f: AND
00001130: DUP1
00001131: ISZERO
00001132: PUSH2 0x114f
00001135: JUMPI
00001136: DUP1
00001137: DUP3
00001138: SUB
00001139: DUP1
0000113a: MLOAD
0000113b: PUSH1 0x01
0000113d: DUP4
0000113e: PUSH1 0x20
00001140: SUB
00001141: PUSH2 0x0100
00001144: EXP
00001145: SUB
00001146: NOT
00001147: AND
00001148: DUP2
00001149: MSTORE
0000114a: PUSH1 0x20
0000114c: ADD
0000114d: SWAP2
0000114e: POP
0000114f: JUMPDEST
00001150: POP
00001151: SWAP3
00001152: POP
00001153: POP
00001154: POP
00001155: PUSH1 0x00
00001157: PUSH1 0x40
00001159: MLOAD
0000115a: DUP1
0000115b: DUP4
0000115c: SUB
0000115d: DUP2
0000115e: PUSH1 0x00
00001160: DUP8
00001161: DUP1
00001162: EXTCODESIZE
00001163: ISZERO
00001164: DUP1
00001165: ISZERO
00001166: PUSH2 0x116e
00001169: JUMPI
0000116a: PUSH1 0x00
0000116c: DUP1
0000116d: REVERT
0000116e: JUMPDEST
0000116f: POP
00001170: GAS
00001171: CALL
00001172: ISZERO
00001173: DUP1
00001174: ISZERO
00001175: PUSH2 0x1182
00001178: JUMPI
00001179: RETURNDATASIZE
0000117a: PUSH1 0x00
0000117c: DUP1
0000117d: RETURNDATACOPY
0000117e: RETURNDATASIZE
0000117f: PUSH1 0x00
00001181: REVERT
00001182: JUMPDEST
00001183: POP
00001184: POP
00001185: PUSH1 0x0b
00001187: DUP1
00001188: SLOAD
00001189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119e: NOT
0000119f: AND
000011a0: PUSH1 0x01
000011a2: PUSH1 0xa0
000011a4: PUSH1 0x02
000011a6: EXP
000011a7: SUB
000011a8: DUP8
000011a9: DUP2
000011aa: AND
000011ab: SWAP2
000011ac: SWAP1
000011ad: SWAP2
000011ae: OR
000011af: SWAP2
000011b0: DUP3
000011b1: SWAP1
000011b2: SSTORE
000011b3: PUSH1 0x40
000011b5: MLOAD
000011b6: PUSH32 0xcf6b2d3100000000000000000000000000000000000000000000000000000000
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: PUSH1 0x04
000011dd: DUP3
000011de: ADD
000011df: DUP2
000011e0: DUP2
000011e1: MSTORE
000011e2: DUP8
000011e3: MLOAD
000011e4: PUSH1 0x24
000011e6: DUP5
000011e7: ADD
000011e8: MSTORE
000011e9: DUP8
000011ea: MLOAD
000011eb: SWAP5
000011ec: SWAP1
000011ed: SWAP4
000011ee: AND
000011ef: SWAP6
000011f0: POP
000011f1: PUSH4 0xcf6b2d31
000011f6: SWAP5
000011f7: POP
000011f8: DUP7
000011f9: SWAP4
000011fa: DUP4
000011fb: SWAP3
000011fc: PUSH1 0x44
000011fe: ADD
000011ff: SWAP2
00001200: DUP6
00001201: ADD
00001202: SWAP1
00001203: DUP1
00001204: DUP4
00001205: DUP4
00001206: PUSH1 0x00
00001208: JUMPDEST
00001209: DUP4
0000120a: DUP2
0000120b: LT
0000120c: ISZERO
0000120d: PUSH2 0x1220
00001210: JUMPI
00001211: DUP2
00001212: DUP2
00001213: ADD
00001214: MLOAD
00001215: DUP4
00001216: DUP3
00001217: ADD
00001218: MSTORE
00001219: PUSH1 0x20
0000121b: ADD
0000121c: PUSH2 0x1208
0000121f: JUMP
00001220: JUMPDEST
00001221: POP
00001222: POP
00001223: POP
00001224: POP
00001225: SWAP1
00001226: POP
00001227: SWAP1
00001228: DUP2
00001229: ADD
0000122a: SWAP1
0000122b: PUSH1 0x1f
0000122d: AND
0000122e: DUP1
0000122f: ISZERO
00001230: PUSH2 0x124d
00001233: JUMPI
00001234: DUP1
00001235: DUP3
00001236: SUB
00001237: DUP1
00001238: MLOAD
00001239: PUSH1 0x01
0000123b: DUP4
0000123c: PUSH1 0x20
0000123e: SUB
0000123f: PUSH2 0x0100
00001242: EXP
00001243: SUB
00001244: NOT
00001245: AND
00001246: DUP2
00001247: MSTORE
00001248: PUSH1 0x20
0000124a: ADD
0000124b: SWAP2
0000124c: POP
0000124d: JUMPDEST
0000124e: POP
0000124f: SWAP3
00001250: POP
00001251: POP
00001252: POP
00001253: PUSH1 0x00
00001255: PUSH1 0x40
00001257: MLOAD
00001258: DUP1
00001259: DUP4
0000125a: SUB
0000125b: DUP2
0000125c: PUSH1 0x00
0000125e: DUP8
0000125f: DUP1
00001260: EXTCODESIZE
00001261: ISZERO
00001262: DUP1
00001263: ISZERO
00001264: PUSH2 0x126c
00001267: JUMPI
00001268: PUSH1 0x00
0000126a: DUP1
0000126b: REVERT
0000126c: JUMPDEST
0000126d: POP
0000126e: GAS
0000126f: CALL
00001270: ISZERO
00001271: DUP1
00001272: ISZERO
00001273: PUSH2 0x1280
00001276: JUMPI
00001277: RETURNDATASIZE
00001278: PUSH1 0x00
0000127a: DUP1
0000127b: RETURNDATACOPY
0000127c: RETURNDATASIZE
0000127d: PUSH1 0x00
0000127f: REVERT
00001280: JUMPDEST
00001281: POP
00001282: POP
00001283: PUSH1 0x0b
00001285: DUP1
00001286: SLOAD
00001287: PUSH22 0xff000000000000000000000000000000000000000000
0000129e: NOT
0000129f: AND
000012a0: PUSH22 0x01000000000000000000000000000000000000000000
000012b7: OR
000012b8: SWAP1
000012b9: SSTORE
000012ba: POP
000012bb: POP
000012bc: POP
000012bd: POP
000012be: POP
000012bf: JUMP
000012c0: JUMPDEST
000012c1: PUSH1 0x0b
000012c3: SLOAD
000012c4: PUSH1 0xa0
000012c6: PUSH1 0x02
000012c8: EXP
000012c9: SWAP1
000012ca: DIV
000012cb: PUSH1 0xff
000012cd: AND
000012ce: DUP2
000012cf: JUMP
000012d0: JUMPDEST
000012d1: PUSH1 0x09
000012d3: SLOAD
000012d4: PUSH1 0x01
000012d6: PUSH1 0xa0
000012d8: PUSH1 0x02
000012da: EXP
000012db: SUB
000012dc: AND
000012dd: DUP2
000012de: JUMP
000012df: JUMPDEST
000012e0: PUSH1 0x0b
000012e2: SLOAD
000012e3: PUSH1 0xa0
000012e5: PUSH1 0x02
000012e7: EXP
000012e8: SWAP1
000012e9: DIV
000012ea: PUSH1 0xff
000012ec: AND
000012ed: ISZERO
000012ee: PUSH2 0x12f6
000012f1: JUMPI
000012f2: PUSH1 0x00
000012f4: DUP1
000012f5: REVERT
000012f6: JUMPDEST
000012f7: PUSH1 0x02
000012f9: SLOAD
000012fa: PUSH2 0x1309
000012fd: SWAP1
000012fe: CALLVALUE
000012ff: PUSH4 0xffffffff
00001304: PUSH2 0x152c
00001307: AND
00001308: JUMP
00001309: JUMPDEST
0000130a: PUSH1 0x02
0000130c: SSTORE
0000130d: PUSH1 0x40
0000130f: MLOAD
00001310: CALLVALUE
00001311: SWAP1
00001312: CALLER
00001313: SWAP1
00001314: PUSH32 0xc72b3cdb3e1107f6a86286a3eae8ccc0d56c4d80a192306a689d29b4c389e7ba
00001335: SWAP1
00001336: PUSH1 0x00
00001338: SWAP1
00001339: LOG3
0000133a: JUMP
0000133b: JUMPDEST
0000133c: PUSH2 0x1343
0000133f: PUSH2 0x0fe0
00001342: JUMP
00001343: JUMPDEST
00001344: ISZERO
00001345: ISZERO
00001346: PUSH2 0x139e
00001349: JUMPI
0000134a: PUSH1 0x40
0000134c: DUP1
0000134d: MLOAD
0000134e: PUSH1 0x00
00001350: DUP1
00001351: MLOAD
00001352: PUSH1 0x20
00001354: PUSH2 0x16f8
00001357: DUP4
00001358: CODECOPY
00001359: DUP2
0000135a: MLOAD
0000135b: SWAP2
0000135c: MSTORE
0000135d: DUP2
0000135e: MSTORE
0000135f: PUSH1 0x20
00001361: PUSH1 0x04
00001363: DUP3
00001364: ADD
00001365: DUP2
00001366: SWAP1
00001367: MSTORE
00001368: PUSH1 0x24
0000136a: DUP3
0000136b: ADD
0000136c: MSTORE
0000136d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000138e: PUSH1 0x44
00001390: DUP3
00001391: ADD
00001392: MSTORE
00001393: SWAP1
00001394: MLOAD
00001395: SWAP1
00001396: DUP2
00001397: SWAP1
00001398: SUB
00001399: PUSH1 0x64
0000139b: ADD
0000139c: SWAP1
0000139d: REVERT
0000139e: JUMPDEST
0000139f: PUSH2 0x13a7
000013a2: DUP2
000013a3: PUSH2 0x1592
000013a6: JUMP
000013a7: JUMPDEST
000013a8: POP
000013a9: JUMP
000013aa: JUMPDEST
000013ab: PUSH1 0x00
000013ad: DUP3
000013ae: ISZERO
000013af: ISZERO
000013b0: PUSH2 0x13bb
000013b3: JUMPI
000013b4: POP
000013b5: PUSH1 0x00
000013b7: PUSH2 0x07ea
000013ba: JUMP
000013bb: JUMPDEST
000013bc: DUP3
000013bd: DUP3
000013be: MUL
000013bf: DUP3
000013c0: DUP5
000013c1: DUP3
000013c2: DUP2
000013c3: ISZERO
000013c4: ISZERO
000013c5: PUSH2 0x13ca
000013c8: JUMPI
000013c9: INVALID
000013ca: JUMPDEST
000013cb: DIV
000013cc: EQ
000013cd: PUSH2 0x07e7
000013d0: JUMPI
000013d1: PUSH1 0x40
000013d3: DUP1
000013d4: MLOAD
000013d5: PUSH1 0x00
000013d7: DUP1
000013d8: MLOAD
000013d9: PUSH1 0x20
000013db: PUSH2 0x16f8
000013de: DUP4
000013df: CODECOPY
000013e0: DUP2
000013e1: MLOAD
000013e2: SWAP2
000013e3: MSTORE
000013e4: DUP2
000013e5: MSTORE
000013e6: PUSH1 0x20
000013e8: PUSH1 0x04
000013ea: DUP3
000013eb: ADD
000013ec: MSTORE
000013ed: PUSH1 0x21
000013ef: PUSH1 0x24
000013f1: DUP3
000013f2: ADD
000013f3: MSTORE
000013f4: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00001415: PUSH1 0x44
00001417: DUP3
00001418: ADD
00001419: MSTORE
0000141a: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
0000143b: PUSH1 0x64
0000143d: DUP3
0000143e: ADD
0000143f: MSTORE
00001440: SWAP1
00001441: MLOAD
00001442: SWAP1
00001443: DUP2
00001444: SWAP1
00001445: SUB
00001446: PUSH1 0x84
00001448: ADD
00001449: SWAP1
0000144a: REVERT
0000144b: JUMPDEST
0000144c: PUSH1 0x00
0000144e: PUSH2 0x07e7
00001451: DUP4
00001452: DUP4
00001453: PUSH1 0x40
00001455: DUP1
00001456: MLOAD
00001457: SWAP1
00001458: DUP2
00001459: ADD
0000145a: PUSH1 0x40
0000145c: MSTORE
0000145d: DUP1
0000145e: PUSH1 0x1a
00001460: DUP2
00001461: MSTORE
00001462: PUSH1 0x20
00001464: ADD
00001465: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001486: DUP2
00001487: MSTORE
00001488: POP
00001489: PUSH2 0x1685
0000148c: JUMP
0000148d: JUMPDEST
0000148e: PUSH1 0x00
00001490: DUP2
00001491: DUP5
00001492: DUP5
00001493: GT
00001494: ISZERO
00001495: PUSH2 0x1524
00001498: JUMPI
00001499: PUSH1 0x40
0000149b: MLOAD
0000149c: PUSH1 0x00
0000149e: DUP1
0000149f: MLOAD
000014a0: PUSH1 0x20
000014a2: PUSH2 0x16f8
000014a5: DUP4
000014a6: CODECOPY
000014a7: DUP2
000014a8: MLOAD
000014a9: SWAP2
000014aa: MSTORE
000014ab: DUP2
000014ac: MSTORE
000014ad: PUSH1 0x04
000014af: ADD
000014b0: DUP1
000014b1: DUP1
000014b2: PUSH1 0x20
000014b4: ADD
000014b5: DUP3
000014b6: DUP2
000014b7: SUB
000014b8: DUP3
000014b9: MSTORE
000014ba: DUP4
000014bb: DUP2
000014bc: DUP2
000014bd: MLOAD
000014be: DUP2
000014bf: MSTORE
000014c0: PUSH1 0x20
000014c2: ADD
000014c3: SWAP2
000014c4: POP
000014c5: DUP1
000014c6: MLOAD
000014c7: SWAP1
000014c8: PUSH1 0x20
000014ca: ADD
000014cb: SWAP1
000014cc: DUP1
000014cd: DUP4
000014ce: DUP4
000014cf: PUSH1 0x00
000014d1: JUMPDEST
000014d2: DUP4
000014d3: DUP2
000014d4: LT
000014d5: ISZERO
000014d6: PUSH2 0x14e9
000014d9: JUMPI
000014da: DUP2
000014db: DUP2
000014dc: ADD
000014dd: MLOAD
000014de: DUP4
000014df: DUP3
000014e0: ADD
000014e1: MSTORE
000014e2: PUSH1 0x20
000014e4: ADD
000014e5: PUSH2 0x14d1
000014e8: JUMP
000014e9: JUMPDEST
000014ea: POP
000014eb: POP
000014ec: POP
000014ed: POP
000014ee: SWAP1
000014ef: POP
000014f0: SWAP1
000014f1: DUP2
000014f2: ADD
000014f3: SWAP1
000014f4: PUSH1 0x1f
000014f6: AND
000014f7: DUP1
000014f8: ISZERO
000014f9: PUSH2 0x1516
000014fc: JUMPI
000014fd: DUP1
000014fe: DUP3
000014ff: SUB
00001500: DUP1
00001501: MLOAD
00001502: PUSH1 0x01
00001504: DUP4
00001505: PUSH1 0x20
00001507: SUB
00001508: PUSH2 0x0100
0000150b: EXP
0000150c: SUB
0000150d: NOT
0000150e: AND
0000150f: DUP2
00001510: MSTORE
00001511: PUSH1 0x20
00001513: ADD
00001514: SWAP2
00001515: POP
00001516: JUMPDEST
00001517: POP
00001518: SWAP3
00001519: POP
0000151a: POP
0000151b: POP
0000151c: PUSH1 0x40
0000151e: MLOAD
0000151f: DUP1
00001520: SWAP2
00001521: SUB
00001522: SWAP1
00001523: REVERT
00001524: JUMPDEST
00001525: POP
00001526: POP
00001527: POP
00001528: SWAP1
00001529: SUB
0000152a: SWAP1
0000152b: JUMP
0000152c: JUMPDEST
0000152d: PUSH1 0x00
0000152f: DUP3
00001530: DUP3
00001531: ADD
00001532: DUP4
00001533: DUP2
00001534: LT
00001535: ISZERO
00001536: PUSH2 0x07e7
00001539: JUMPI
0000153a: PUSH1 0x40
0000153c: DUP1
0000153d: MLOAD
0000153e: PUSH1 0x00
00001540: DUP1
00001541: MLOAD
00001542: PUSH1 0x20
00001544: PUSH2 0x16f8
00001547: DUP4
00001548: CODECOPY
00001549: DUP2
0000154a: MLOAD
0000154b: SWAP2
0000154c: MSTORE
0000154d: DUP2
0000154e: MSTORE
0000154f: PUSH1 0x20
00001551: PUSH1 0x04
00001553: DUP3
00001554: ADD
00001555: MSTORE
00001556: PUSH1 0x1b
00001558: PUSH1 0x24
0000155a: DUP3
0000155b: ADD
0000155c: MSTORE
0000155d: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
0000157e: PUSH1 0x44
00001580: DUP3
00001581: ADD
00001582: MSTORE
00001583: SWAP1
00001584: MLOAD
00001585: SWAP1
00001586: DUP2
00001587: SWAP1
00001588: SUB
00001589: PUSH1 0x64
0000158b: ADD
0000158c: SWAP1
0000158d: REVERT
0000158e: JUMPDEST
0000158f: CALLER
00001590: SWAP1
00001591: JUMP
00001592: JUMPDEST
00001593: PUSH1 0x01
00001595: PUSH1 0xa0
00001597: PUSH1 0x02
00001599: EXP
0000159a: SUB
0000159b: DUP2
0000159c: AND
0000159d: ISZERO
0000159e: ISZERO
0000159f: PUSH2 0x161d
000015a2: JUMPI
000015a3: PUSH1 0x40
000015a5: DUP1
000015a6: MLOAD
000015a7: PUSH1 0x00
000015a9: DUP1
000015aa: MLOAD
000015ab: PUSH1 0x20
000015ad: PUSH2 0x16f8
000015b0: DUP4
000015b1: CODECOPY
000015b2: DUP2
000015b3: MLOAD
000015b4: SWAP2
000015b5: MSTORE
000015b6: DUP2
000015b7: MSTORE
000015b8: PUSH1 0x20
000015ba: PUSH1 0x04
000015bc: DUP3
000015bd: ADD
000015be: MSTORE
000015bf: PUSH1 0x26
000015c1: PUSH1 0x24
000015c3: DUP3
000015c4: ADD
000015c5: MSTORE
000015c6: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000015e7: PUSH1 0x44
000015e9: DUP3
000015ea: ADD
000015eb: MSTORE
000015ec: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000160d: PUSH1 0x64
0000160f: DUP3
00001610: ADD
00001611: MSTORE
00001612: SWAP1
00001613: MLOAD
00001614: SWAP1
00001615: DUP2
00001616: SWAP1
00001617: SUB
00001618: PUSH1 0x84
0000161a: ADD
0000161b: SWAP1
0000161c: REVERT
0000161d: JUMPDEST
0000161e: PUSH1 0x00
00001620: DUP1
00001621: SLOAD
00001622: PUSH1 0x40
00001624: MLOAD
00001625: PUSH1 0x01
00001627: PUSH1 0xa0
00001629: PUSH1 0x02
0000162b: EXP
0000162c: SUB
0000162d: DUP1
0000162e: DUP6
0000162f: AND
00001630: SWAP4
00001631: SWAP3
00001632: AND
00001633: SWAP2
00001634: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001655: SWAP2
00001656: LOG3
00001657: PUSH1 0x00
00001659: DUP1
0000165a: SLOAD
0000165b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001670: NOT
00001671: AND
00001672: PUSH1 0x01
00001674: PUSH1 0xa0
00001676: PUSH1 0x02
00001678: EXP
00001679: SUB
0000167a: SWAP3
0000167b: SWAP1
0000167c: SWAP3
0000167d: AND
0000167e: SWAP2
0000167f: SWAP1
00001680: SWAP2
00001681: OR
00001682: SWAP1
00001683: SSTORE
00001684: JUMP
00001685: JUMPDEST
00001686: PUSH1 0x00
00001688: DUP2
00001689: DUP2
0000168a: DUP5
0000168b: GT
0000168c: PUSH2 0x16df
0000168f: JUMPI
00001690: PUSH1 0x40
00001692: MLOAD
00001693: PUSH1 0x00
00001695: DUP1
00001696: MLOAD
00001697: PUSH1 0x20
00001699: PUSH2 0x16f8
0000169c: DUP4
0000169d: CODECOPY
0000169e: DUP2
0000169f: MLOAD
000016a0: SWAP2
000016a1: MSTORE
000016a2: DUP2
000016a3: MSTORE
000016a4: PUSH1 0x04
000016a6: ADD
000016a7: DUP1
000016a8: DUP1
000016a9: PUSH1 0x20
000016ab: ADD
000016ac: DUP3
000016ad: DUP2
000016ae: SUB
000016af: DUP3
000016b0: MSTORE
000016b1: DUP4
000016b2: DUP2
000016b3: DUP2
000016b4: MLOAD
000016b5: DUP2
000016b6: MSTORE
000016b7: PUSH1 0x20
000016b9: ADD
000016ba: SWAP2
000016bb: POP
000016bc: DUP1
000016bd: MLOAD
000016be: SWAP1
000016bf: PUSH1 0x20
000016c1: ADD
000016c2: SWAP1
000016c3: DUP1
000016c4: DUP4
000016c5: DUP4
000016c6: PUSH1 0x00
000016c8: DUP4
000016c9: DUP2
000016ca: LT
000016cb: ISZERO
000016cc: PUSH2 0x14e9
000016cf: JUMPI
000016d0: DUP2
000016d1: DUP2
000016d2: ADD
000016d3: MLOAD
000016d4: DUP4
000016d5: DUP3
000016d6: ADD
000016d7: MSTORE
000016d8: PUSH1 0x20
000016da: ADD
000016db: PUSH2 0x14d1
000016de: JUMP
000016df: JUMPDEST
000016e0: POP
000016e1: PUSH1 0x00
000016e3: DUP4
000016e4: DUP6
000016e5: DUP2
000016e6: ISZERO
000016e7: ISZERO
000016e8: PUSH2 0x16ed
000016eb: JUMPI
000016ec: INVALID
000016ed: JUMPDEST
000016ee: DIV
000016ef: SWAP6
000016f0: SWAP5
000016f1: POP
000016f2: POP
000016f3: POP
000016f4: POP
000016f5: POP
000016f6: JUMP
000016f7: INVALID
000016f8: ADDMOD
000016f9: UNKNOWN(0xC3)
000016fa: PUSH26 0xa000000000000000000000000000000000000000000000000000
00001715: STOP
00001716: STOP
00001717: STOP
00001718: LOG1
00001719: PUSH6 0x627a7a723058
00001720: KECCAK256
00001721: MCOPY
00001722: BYTE
00001723: UNKNOWN(0xE7)
00001724: UNKNOWN(0xFC)
00001725: UNKNOWN(0xEB)
00001726: UNKNOWN(0x2C)
00001727: UNKNOWN(0xE8)
00001728: PUSH21 0x566b4268b5e29f57dfb9f69f454e346a7208af913c
0000173e: UNKNOWN(0xDA)
0000173f: UNKNOWN(0xEB)
00001740: UNKNOWN(0xAD)
00001741: STOP
00001742: UNKNOWN(0x29)
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: 0x57988fed8833a54026c26a6bfecce9fa55896b568c8ac49ef7c711b51c8417c2 call_targets: 0x786f488e43553788006d8d0f685808e1a6a4dcd8 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x57988fed8833a54026c26a6bfecce9fa55896b568c8ac49ef7c711b51c8417c2", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x786f488e43553788006d8d0f685808e1a6a4dcd8" ], "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": "0x08aa6b0f", "selector": "0x08aa6b0f", "calldata_variants": [ "0x08aa6b0f", "0x08aa6b0f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x186601ca", "selector": "0x186601ca", "calldata_variants": [ "0x186601ca", "0x186601ca0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b3dca92", "selector": "0x1b3dca92", "calldata_variants": [ "0x1b3dca92", "0x1b3dca920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1f2dc5ef", "selector": "0x1f2dc5ef", "calldata_variants": [ "0x1f2dc5ef", "0x1f2dc5ef0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x365a86fc", "selector": "0x365a86fc", "calldata_variants": [ "0x365a86fc", "0x365a86fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x42966c68", "selector": "0x42966c68", "calldata_variants": [ "0x42966c68", "0x42966c680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5cf590d9", "selector": "0x5cf590d9", "calldata_variants": [ "0x5cf590d9", "0x5cf590d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5e38e69c", "selector": "0x5e38e69c", "calldata_variants": [ "0x5e38e69c", "0x5e38e69c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 402, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 889, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2299, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 10, "guards_detected": [], "untrusted_call_count": 10 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x57988fed8833a54026c26a6bfecce9fa55896b568c8ac49ef7c711b51c8417c2 call_targets: 0x786f488e43553788006d8d0f685808e1a6a4dcd8 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x57988fed8833a54026c26a6bfecce9fa55896b568c8ac49ef7c711b51c8417c2", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x786f488e43553788006d8d0f685808e1a6a4dcd8" ], "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": "0x08aa6b0f", "selector": "0x08aa6b0f", "calldata_variants": [ "0x08aa6b0f", "0x08aa6b0f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x186601ca", "selector": "0x186601ca", "calldata_variants": [ "0x186601ca", "0x186601ca0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b3dca92", "selector": "0x1b3dca92", "calldata_variants": [ "0x1b3dca92", "0x1b3dca920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1f2dc5ef", "selector": "0x1f2dc5ef", "calldata_variants": [ "0x1f2dc5ef", "0x1f2dc5ef0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x365a86fc", "selector": "0x365a86fc", "calldata_variants": [ "0x365a86fc", "0x365a86fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x42966c68", "selector": "0x42966c68", "calldata_variants": [ "0x42966c68", "0x42966c680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5cf590d9", "selector": "0x5cf590d9", "calldata_variants": [ "0x5cf590d9", "0x5cf590d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5e38e69c", "selector": "0x5e38e69c", "calldata_variants": [ "0x5e38e69c", "0x5e38e69c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 402, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 889, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2299, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 10, "guards_detected": [] }
Severity