Analysis Run

019b477e-bcbc-7356-aa06-5cdad9eb9d3e
complete
Chain ID
1
Address
0x8df6084e3b84a65ab9dd2325b5422e5debd8944a
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
24123	artifact.fetch	complete	1 / 3	3 months ago
24124	tool.cast_disasm	complete	1 / 3	3 months ago
67422	analysis.bundle	complete	1 / 3	2 weeks ago
67423	capability.graph	complete	1 / 3	2 weeks ago
67424	detector.run	complete	1 / 3	2 weeks ago
67425	validation.fork	complete	1 / 3	2 weeks 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
0
CREATE2
0
CALL-family (heavy)
11
EXT*/BALANCE
12
Total opcodes
4199
Flags
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 0x00b4
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x77a1736b
00000019: GT
0000001a: PUSH2 0x0069
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x886ccce3
00000024: GT
00000025: PUSH2 0x004e
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x886ccce3
0000002f: EQ
00000030: PUSH2 0x02df
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8da5cb5b
0000003a: EQ
0000003b: PUSH2 0x0355
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x036a
00000049: JUMPI
0000004a: PUSH2 0x00bb
0000004d: JUMP
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x77a1736b
00000055: EQ
00000056: PUSH2 0x01e6
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x88240fff
00000060: EQ
00000061: PUSH2 0x0263
00000064: JUMPI
00000065: PUSH2 0x00bb
00000068: JUMP
00000069: JUMPDEST
0000006a: DUP1
0000006b: PUSH4 0x1c31f710
00000070: GT
00000071: PUSH2 0x009a
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x1c31f710
0000007b: EQ
0000007c: PUSH2 0x017c
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x565a2e2c
00000086: EQ
00000087: PUSH2 0x01bc
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x715018a6
00000091: EQ
00000092: PUSH2 0x01d1
00000095: JUMPI
00000096: PUSH2 0x00bb
00000099: JUMP
0000009a: JUMPDEST
0000009b: DUP1
0000009c: PUSH3 0x71c175
000000a0: EQ
000000a1: PUSH2 0x00c0
000000a4: JUMPI
000000a5: DUP1
000000a6: PUSH4 0x0d7f0754
000000ab: EQ
000000ac: PUSH2 0x00fe
000000af: JUMPI
000000b0: PUSH2 0x00bb
000000b3: JUMP
000000b4: JUMPDEST
000000b5: CALLDATASIZE
000000b6: PUSH2 0x00bb
000000b9: JUMPI
000000ba: STOP
000000bb: JUMPDEST
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: REVERT
000000c0: JUMPDEST
000000c1: CALLVALUE
000000c2: DUP1
000000c3: ISZERO
000000c4: PUSH2 0x00cc
000000c7: JUMPI
000000c8: PUSH1 0x00
000000ca: DUP1
000000cb: REVERT
000000cc: JUMPDEST
000000cd: POP
000000ce: PUSH2 0x00d5
000000d1: PUSH2 0x03aa
000000d4: JUMP
000000d5: JUMPDEST
000000d6: PUSH1 0x40
000000d8: DUP1
000000d9: MLOAD
000000da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000ef: SWAP1
000000f0: SWAP3
000000f1: AND
000000f2: DUP3
000000f3: MSTORE
000000f4: MLOAD
000000f5: SWAP1
000000f6: DUP2
000000f7: SWAP1
000000f8: SUB
000000f9: PUSH1 0x20
000000fb: ADD
000000fc: SWAP1
000000fd: RETURN
000000fe: JUMPDEST
000000ff: PUSH2 0x017a
00000102: PUSH1 0x04
00000104: DUP1
00000105: CALLDATASIZE
00000106: SUB
00000107: PUSH1 0x80
00000109: DUP2
0000010a: LT
0000010b: ISZERO
0000010c: PUSH2 0x0114
0000010f: JUMPI
00000110: PUSH1 0x00
00000112: DUP1
00000113: REVERT
00000114: JUMPDEST
00000115: DUP2
00000116: ADD
00000117: SWAP1
00000118: PUSH1 0x20
0000011a: DUP2
0000011b: ADD
0000011c: DUP2
0000011d: CALLDATALOAD
0000011e: PUSH5 0x0100000000
00000124: DUP2
00000125: GT
00000126: ISZERO
00000127: PUSH2 0x012f
0000012a: JUMPI
0000012b: PUSH1 0x00
0000012d: DUP1
0000012e: REVERT
0000012f: JUMPDEST
00000130: DUP3
00000131: ADD
00000132: DUP4
00000133: PUSH1 0x20
00000135: DUP3
00000136: ADD
00000137: GT
00000138: ISZERO
00000139: PUSH2 0x0141
0000013c: JUMPI
0000013d: PUSH1 0x00
0000013f: DUP1
00000140: REVERT
00000141: JUMPDEST
00000142: DUP1
00000143: CALLDATALOAD
00000144: SWAP1
00000145: PUSH1 0x20
00000147: ADD
00000148: SWAP2
00000149: DUP5
0000014a: PUSH1 0x20
0000014c: DUP4
0000014d: MUL
0000014e: DUP5
0000014f: ADD
00000150: GT
00000151: PUSH5 0x0100000000
00000157: DUP4
00000158: GT
00000159: OR
0000015a: ISZERO
0000015b: PUSH2 0x0163
0000015e: JUMPI
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: SWAP2
00000165: SWAP4
00000166: POP
00000167: SWAP2
00000168: POP
00000169: DUP1
0000016a: CALLDATALOAD
0000016b: SWAP1
0000016c: PUSH1 0x20
0000016e: DUP2
0000016f: ADD
00000170: CALLDATALOAD
00000171: SWAP1
00000172: PUSH1 0x40
00000174: ADD
00000175: CALLDATALOAD
00000176: PUSH2 0x03ce
00000179: JUMP
0000017a: JUMPDEST
0000017b: STOP
0000017c: JUMPDEST
0000017d: CALLVALUE
0000017e: DUP1
0000017f: ISZERO
00000180: PUSH2 0x0188
00000183: JUMPI
00000184: PUSH1 0x00
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: POP
0000018a: PUSH2 0x017a
0000018d: PUSH1 0x04
0000018f: DUP1
00000190: CALLDATASIZE
00000191: SUB
00000192: PUSH1 0x20
00000194: DUP2
00000195: LT
00000196: ISZERO
00000197: PUSH2 0x019f
0000019a: JUMPI
0000019b: PUSH1 0x00
0000019d: DUP1
0000019e: REVERT
0000019f: JUMPDEST
000001a0: POP
000001a1: CALLDATALOAD
000001a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001b7: AND
000001b8: PUSH2 0x0a72
000001bb: JUMP
000001bc: JUMPDEST
000001bd: CALLVALUE
000001be: DUP1
000001bf: ISZERO
000001c0: PUSH2 0x01c8
000001c3: JUMPI
000001c4: PUSH1 0x00
000001c6: DUP1
000001c7: REVERT
000001c8: JUMPDEST
000001c9: POP
000001ca: PUSH2 0x00d5
000001cd: PUSH2 0x0b92
000001d0: JUMP
000001d1: JUMPDEST
000001d2: CALLVALUE
000001d3: DUP1
000001d4: ISZERO
000001d5: PUSH2 0x01dd
000001d8: JUMPI
000001d9: PUSH1 0x00
000001db: DUP1
000001dc: REVERT
000001dd: JUMPDEST
000001de: POP
000001df: PUSH2 0x017a
000001e2: PUSH2 0x0bae
000001e5: JUMP
000001e6: JUMPDEST
000001e7: CALLVALUE
000001e8: DUP1
000001e9: ISZERO
000001ea: PUSH2 0x01f2
000001ed: JUMPI
000001ee: PUSH1 0x00
000001f0: DUP1
000001f1: REVERT
000001f2: JUMPDEST
000001f3: POP
000001f4: PUSH2 0x017a
000001f7: PUSH1 0x04
000001f9: DUP1
000001fa: CALLDATASIZE
000001fb: SUB
000001fc: PUSH1 0x20
000001fe: DUP2
000001ff: LT
00000200: ISZERO
00000201: PUSH2 0x0209
00000204: JUMPI
00000205: PUSH1 0x00
00000207: DUP1
00000208: REVERT
00000209: JUMPDEST
0000020a: DUP2
0000020b: ADD
0000020c: SWAP1
0000020d: PUSH1 0x20
0000020f: DUP2
00000210: ADD
00000211: DUP2
00000212: CALLDATALOAD
00000213: PUSH5 0x0100000000
00000219: DUP2
0000021a: GT
0000021b: ISZERO
0000021c: PUSH2 0x0224
0000021f: JUMPI
00000220: PUSH1 0x00
00000222: DUP1
00000223: REVERT
00000224: JUMPDEST
00000225: DUP3
00000226: ADD
00000227: DUP4
00000228: PUSH1 0x20
0000022a: DUP3
0000022b: ADD
0000022c: GT
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: DUP1
00000238: CALLDATALOAD
00000239: SWAP1
0000023a: PUSH1 0x20
0000023c: ADD
0000023d: SWAP2
0000023e: DUP5
0000023f: PUSH1 0x20
00000241: DUP4
00000242: MUL
00000243: DUP5
00000244: ADD
00000245: GT
00000246: PUSH5 0x0100000000
0000024c: DUP4
0000024d: GT
0000024e: OR
0000024f: ISZERO
00000250: PUSH2 0x0258
00000253: JUMPI
00000254: PUSH1 0x00
00000256: DUP1
00000257: REVERT
00000258: JUMPDEST
00000259: POP
0000025a: SWAP1
0000025b: SWAP3
0000025c: POP
0000025d: SWAP1
0000025e: POP
0000025f: PUSH2 0x0cae
00000262: JUMP
00000263: JUMPDEST
00000264: PUSH2 0x017a
00000267: PUSH1 0x04
00000269: DUP1
0000026a: CALLDATASIZE
0000026b: SUB
0000026c: PUSH1 0x80
0000026e: DUP2
0000026f: LT
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: DUP2
0000027b: ADD
0000027c: SWAP1
0000027d: PUSH1 0x20
0000027f: DUP2
00000280: ADD
00000281: DUP2
00000282: CALLDATALOAD
00000283: PUSH5 0x0100000000
00000289: DUP2
0000028a: GT
0000028b: ISZERO
0000028c: PUSH2 0x0294
0000028f: JUMPI
00000290: PUSH1 0x00
00000292: DUP1
00000293: REVERT
00000294: JUMPDEST
00000295: DUP3
00000296: ADD
00000297: DUP4
00000298: PUSH1 0x20
0000029a: DUP3
0000029b: ADD
0000029c: GT
0000029d: ISZERO
0000029e: PUSH2 0x02a6
000002a1: JUMPI
000002a2: PUSH1 0x00
000002a4: DUP1
000002a5: REVERT
000002a6: JUMPDEST
000002a7: DUP1
000002a8: CALLDATALOAD
000002a9: SWAP1
000002aa: PUSH1 0x20
000002ac: ADD
000002ad: SWAP2
000002ae: DUP5
000002af: PUSH1 0x20
000002b1: DUP4
000002b2: MUL
000002b3: DUP5
000002b4: ADD
000002b5: GT
000002b6: PUSH5 0x0100000000
000002bc: DUP4
000002bd: GT
000002be: OR
000002bf: ISZERO
000002c0: PUSH2 0x02c8
000002c3: JUMPI
000002c4: PUSH1 0x00
000002c6: DUP1
000002c7: REVERT
000002c8: JUMPDEST
000002c9: SWAP2
000002ca: SWAP4
000002cb: POP
000002cc: SWAP2
000002cd: POP
000002ce: DUP1
000002cf: CALLDATALOAD
000002d0: SWAP1
000002d1: PUSH1 0x20
000002d3: DUP2
000002d4: ADD
000002d5: CALLDATALOAD
000002d6: SWAP1
000002d7: PUSH1 0x40
000002d9: ADD
000002da: CALLDATALOAD
000002db: PUSH2 0x0e2d
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH2 0x017a
000002e3: PUSH1 0x04
000002e5: DUP1
000002e6: CALLDATASIZE
000002e7: SUB
000002e8: PUSH1 0x60
000002ea: DUP2
000002eb: LT
000002ec: ISZERO
000002ed: PUSH2 0x02f5
000002f0: JUMPI
000002f1: PUSH1 0x00
000002f3: DUP1
000002f4: REVERT
000002f5: JUMPDEST
000002f6: DUP2
000002f7: ADD
000002f8: SWAP1
000002f9: PUSH1 0x20
000002fb: DUP2
000002fc: ADD
000002fd: DUP2
000002fe: CALLDATALOAD
000002ff: PUSH5 0x0100000000
00000305: DUP2
00000306: GT
00000307: ISZERO
00000308: PUSH2 0x0310
0000030b: JUMPI
0000030c: PUSH1 0x00
0000030e: DUP1
0000030f: REVERT
00000310: JUMPDEST
00000311: DUP3
00000312: ADD
00000313: DUP4
00000314: PUSH1 0x20
00000316: DUP3
00000317: ADD
00000318: GT
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: DUP1
00000324: CALLDATALOAD
00000325: SWAP1
00000326: PUSH1 0x20
00000328: ADD
00000329: SWAP2
0000032a: DUP5
0000032b: PUSH1 0x20
0000032d: DUP4
0000032e: MUL
0000032f: DUP5
00000330: ADD
00000331: GT
00000332: PUSH5 0x0100000000
00000338: DUP4
00000339: GT
0000033a: OR
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: SWAP2
00000346: SWAP4
00000347: POP
00000348: SWAP2
00000349: POP
0000034a: DUP1
0000034b: CALLDATALOAD
0000034c: SWAP1
0000034d: PUSH1 0x20
0000034f: ADD
00000350: CALLDATALOAD
00000351: PUSH2 0x1436
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: PUSH2 0x00d5
00000366: PUSH2 0x1901
00000369: JUMP
0000036a: JUMPDEST
0000036b: CALLVALUE
0000036c: DUP1
0000036d: ISZERO
0000036e: PUSH2 0x0376
00000371: JUMPI
00000372: PUSH1 0x00
00000374: DUP1
00000375: REVERT
00000376: JUMPDEST
00000377: POP
00000378: PUSH2 0x017a
0000037b: PUSH1 0x04
0000037d: DUP1
0000037e: CALLDATASIZE
0000037f: SUB
00000380: PUSH1 0x20
00000382: DUP2
00000383: LT
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: CALLDATALOAD
00000390: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a5: AND
000003a6: PUSH2 0x191d
000003a9: JUMP
000003aa: JUMPDEST
000003ab: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000003cc: SWAP1
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH1 0x02
000003d1: PUSH1 0x00
000003d3: SLOAD
000003d4: EQ
000003d5: ISZERO
000003d6: PUSH2 0x0440
000003d9: JUMPI
000003da: PUSH1 0x40
000003dc: DUP1
000003dd: MLOAD
000003de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000003ff: DUP2
00000400: MSTORE
00000401: PUSH1 0x20
00000403: PUSH1 0x04
00000405: DUP3
00000406: ADD
00000407: MSTORE
00000408: PUSH1 0x1f
0000040a: PUSH1 0x24
0000040c: DUP3
0000040d: ADD
0000040e: MSTORE
0000040f: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000430: PUSH1 0x44
00000432: DUP3
00000433: ADD
00000434: MSTORE
00000435: SWAP1
00000436: MLOAD
00000437: SWAP1
00000438: DUP2
00000439: SWAP1
0000043a: SUB
0000043b: PUSH1 0x64
0000043d: ADD
0000043e: SWAP1
0000043f: REVERT
00000440: JUMPDEST
00000441: PUSH1 0x02
00000443: PUSH1 0x00
00000445: SSTORE
00000446: DUP1
00000447: DUP4
00000448: GT
00000449: PUSH2 0x04b3
0000044c: JUMPI
0000044d: PUSH1 0x40
0000044f: DUP1
00000450: MLOAD
00000451: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000472: DUP2
00000473: MSTORE
00000474: PUSH1 0x20
00000476: PUSH1 0x04
00000478: DUP3
00000479: ADD
0000047a: MSTORE
0000047b: PUSH1 0x1c
0000047d: PUSH1 0x24
0000047f: DUP3
00000480: ADD
00000481: MSTORE
00000482: PUSH32 0x6665652063616e6e6f74206578636565642066726f6d416d6f756e7400000000
000004a3: PUSH1 0x44
000004a5: DUP3
000004a6: ADD
000004a7: MSTORE
000004a8: SWAP1
000004a9: MLOAD
000004aa: SWAP1
000004ab: DUP2
000004ac: SWAP1
000004ad: SUB
000004ae: PUSH1 0x64
000004b0: ADD
000004b1: SWAP1
000004b2: REVERT
000004b3: JUMPDEST
000004b4: PUSH1 0x02
000004b6: SLOAD
000004b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004cc: AND
000004cd: CALLER
000004ce: EQ
000004cf: ISZERO
000004d0: PUSH2 0x053a
000004d3: JUMPI
000004d4: PUSH1 0x40
000004d6: DUP1
000004d7: MLOAD
000004d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004f9: DUP2
000004fa: MSTORE
000004fb: PUSH1 0x20
000004fd: PUSH1 0x04
000004ff: DUP3
00000500: ADD
00000501: MSTORE
00000502: PUSH1 0x1f
00000504: PUSH1 0x24
00000506: DUP3
00000507: ADD
00000508: MSTORE
00000509: PUSH32 0x6d73672e73656e6465722063616e27742062652062656e656669636961727900
0000052a: PUSH1 0x44
0000052c: DUP3
0000052d: ADD
0000052e: MSTORE
0000052f: SWAP1
00000530: MLOAD
00000531: SWAP1
00000532: DUP2
00000533: SWAP1
00000534: SUB
00000535: PUSH1 0x64
00000537: ADD
00000538: SWAP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: ADDRESS
0000053c: PUSH1 0x00
0000053e: DUP7
0000053f: DUP7
00000540: DUP3
00000541: DUP2
00000542: PUSH2 0x0547
00000545: JUMPI
00000546: INVALID
00000547: JUMPDEST
00000548: PUSH1 0x02
0000054a: SLOAD
0000054b: PUSH1 0x40
0000054d: DUP1
0000054e: MLOAD
0000054f: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000570: DUP2
00000571: MSTORE
00000572: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000587: SWAP3
00000588: DUP4
00000589: AND
0000058a: PUSH1 0x04
0000058c: DUP3
0000058d: ADD
0000058e: MSTORE
0000058f: SWAP1
00000590: MLOAD
00000591: PUSH1 0x20
00000593: SWAP4
00000594: DUP5
00000595: MUL
00000596: SWAP6
00000597: SWAP1
00000598: SWAP6
00000599: ADD
0000059a: CALLDATALOAD
0000059b: SWAP1
0000059c: SWAP2
0000059d: AND
0000059e: SWAP5
0000059f: POP
000005a0: PUSH1 0x00
000005a2: SWAP4
000005a3: DUP6
000005a4: SWAP4
000005a5: POP
000005a6: PUSH4 0x70a08231
000005ab: SWAP3
000005ac: PUSH1 0x24
000005ae: DUP1
000005af: DUP5
000005b0: ADD
000005b1: SWAP4
000005b2: SWAP2
000005b3: SWAP3
000005b4: SWAP2
000005b5: DUP3
000005b6: SWAP1
000005b7: SUB
000005b8: ADD
000005b9: DUP2
000005ba: DUP7
000005bb: DUP1
000005bc: EXTCODESIZE
000005bd: ISZERO
000005be: DUP1
000005bf: ISZERO
000005c0: PUSH2 0x05c8
000005c3: JUMPI
000005c4: PUSH1 0x00
000005c6: DUP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: POP
000005ca: GAS
000005cb: STATICCALL
000005cc: ISZERO
000005cd: DUP1
000005ce: ISZERO
000005cf: PUSH2 0x05dc
000005d2: JUMPI
000005d3: RETURNDATASIZE
000005d4: PUSH1 0x00
000005d6: DUP1
000005d7: RETURNDATACOPY
000005d8: RETURNDATASIZE
000005d9: PUSH1 0x00
000005db: REVERT
000005dc: JUMPDEST
000005dd: POP
000005de: POP
000005df: POP
000005e0: POP
000005e1: PUSH1 0x40
000005e3: MLOAD
000005e4: RETURNDATASIZE
000005e5: PUSH1 0x20
000005e7: DUP2
000005e8: LT
000005e9: ISZERO
000005ea: PUSH2 0x05f2
000005ed: JUMPI
000005ee: PUSH1 0x00
000005f0: DUP1
000005f1: REVERT
000005f2: JUMPDEST
000005f3: POP
000005f4: MLOAD
000005f5: SWAP1
000005f6: POP
000005f7: PUSH1 0x00
000005f9: PUSH2 0x0602
000005fc: DUP8
000005fd: DUP7
000005fe: PUSH2 0x1aa8
00000601: JUMP
00000602: JUMPDEST
00000603: SWAP1
00000604: POP
00000605: PUSH2 0x0626
00000608: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000061d: DUP5
0000061e: AND
0000061f: CALLER
00000620: DUP7
00000621: DUP5
00000622: PUSH2 0x1af1
00000625: JUMP
00000626: JUMPDEST
00000627: DUP5
00000628: ISZERO
00000629: PUSH2 0x0655
0000062c: JUMPI
0000062d: PUSH1 0x02
0000062f: SLOAD
00000630: PUSH2 0x0655
00000633: SWAP1
00000634: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000649: DUP6
0000064a: DUP2
0000064b: AND
0000064c: SWAP2
0000064d: CALLER
0000064e: SWAP2
0000064f: AND
00000650: DUP9
00000651: PUSH2 0x1af1
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH2 0x065f
00000659: DUP3
0000065a: DUP7
0000065b: PUSH2 0x1b8c
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH1 0x02
00000662: SLOAD
00000663: PUSH1 0x40
00000665: DUP1
00000666: MLOAD
00000667: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000688: DUP2
00000689: MSTORE
0000068a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069f: SWAP3
000006a0: DUP4
000006a1: AND
000006a2: PUSH1 0x04
000006a4: DUP3
000006a5: ADD
000006a6: MSTORE
000006a7: SWAP1
000006a8: MLOAD
000006a9: SWAP2
000006aa: DUP7
000006ab: AND
000006ac: SWAP2
000006ad: PUSH4 0x70a08231
000006b2: SWAP2
000006b3: PUSH1 0x24
000006b5: DUP1
000006b6: DUP3
000006b7: ADD
000006b8: SWAP3
000006b9: PUSH1 0x20
000006bb: SWAP3
000006bc: SWAP1
000006bd: SWAP2
000006be: SWAP1
000006bf: DUP3
000006c0: SWAP1
000006c1: SUB
000006c2: ADD
000006c3: DUP2
000006c4: DUP7
000006c5: DUP1
000006c6: EXTCODESIZE
000006c7: ISZERO
000006c8: DUP1
000006c9: ISZERO
000006ca: PUSH2 0x06d2
000006cd: JUMPI
000006ce: PUSH1 0x00
000006d0: DUP1
000006d1: REVERT
000006d2: JUMPDEST
000006d3: POP
000006d4: GAS
000006d5: STATICCALL
000006d6: ISZERO
000006d7: DUP1
000006d8: ISZERO
000006d9: PUSH2 0x06e6
000006dc: JUMPI
000006dd: RETURNDATASIZE
000006de: PUSH1 0x00
000006e0: DUP1
000006e1: RETURNDATACOPY
000006e2: RETURNDATASIZE
000006e3: PUSH1 0x00
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: POP
000006e9: POP
000006ea: POP
000006eb: PUSH1 0x40
000006ed: MLOAD
000006ee: RETURNDATASIZE
000006ef: PUSH1 0x20
000006f1: DUP2
000006f2: LT
000006f3: ISZERO
000006f4: PUSH2 0x06fc
000006f7: JUMPI
000006f8: PUSH1 0x00
000006fa: DUP1
000006fb: REVERT
000006fc: JUMPDEST
000006fd: POP
000006fe: MLOAD
000006ff: LT
00000700: ISZERO
00000701: PUSH2 0x076b
00000704: JUMPI
00000705: PUSH1 0x40
00000707: DUP1
00000708: MLOAD
00000709: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000072a: DUP2
0000072b: MSTORE
0000072c: PUSH1 0x20
0000072e: PUSH1 0x04
00000730: DUP3
00000731: ADD
00000732: MSTORE
00000733: PUSH1 0x1f
00000735: PUSH1 0x24
00000737: DUP3
00000738: ADD
00000739: MSTORE
0000073a: PUSH32 0x62656e6566696369617279206469646e27742072656365697665206665657300
0000075b: PUSH1 0x44
0000075d: DUP3
0000075e: ADD
0000075f: MSTORE
00000760: SWAP1
00000761: MLOAD
00000762: SWAP1
00000763: DUP2
00000764: SWAP1
00000765: SUB
00000766: PUSH1 0x64
00000768: ADD
00000769: SWAP1
0000076a: REVERT
0000076b: JUMPDEST
0000076c: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000078d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a2: AND
000007a3: PUSH4 0x38ed1739
000007a8: DUP3
000007a9: DUP9
000007aa: DUP13
000007ab: DUP13
000007ac: DUP10
000007ad: TIMESTAMP
000007ae: PUSH1 0x40
000007b0: MLOAD
000007b1: DUP8
000007b2: PUSH4 0xffffffff
000007b7: AND
000007b8: PUSH1 0xe0
000007ba: SHL
000007bb: DUP2
000007bc: MSTORE
000007bd: PUSH1 0x04
000007bf: ADD
000007c0: DUP1
000007c1: DUP8
000007c2: DUP2
000007c3: MSTORE
000007c4: PUSH1 0x20
000007c6: ADD
000007c7: DUP7
000007c8: DUP2
000007c9: MSTORE
000007ca: PUSH1 0x20
000007cc: ADD
000007cd: DUP1
000007ce: PUSH1 0x20
000007d0: ADD
000007d1: DUP5
000007d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e7: AND
000007e8: DUP2
000007e9: MSTORE
000007ea: PUSH1 0x20
000007ec: ADD
000007ed: DUP4
000007ee: DUP2
000007ef: MSTORE
000007f0: PUSH1 0x20
000007f2: ADD
000007f3: DUP3
000007f4: DUP2
000007f5: SUB
000007f6: DUP3
000007f7: MSTORE
000007f8: DUP7
000007f9: DUP7
000007fa: DUP3
000007fb: DUP2
000007fc: DUP2
000007fd: MSTORE
000007fe: PUSH1 0x20
00000800: ADD
00000801: SWAP3
00000802: POP
00000803: PUSH1 0x20
00000805: MUL
00000806: DUP1
00000807: DUP3
00000808: DUP5
00000809: CALLDATACOPY
0000080a: PUSH1 0x00
0000080c: DUP2
0000080d: DUP5
0000080e: ADD
0000080f: MSTORE
00000810: PUSH1 0x1f
00000812: NOT
00000813: PUSH1 0x1f
00000815: DUP3
00000816: ADD
00000817: AND
00000818: SWAP1
00000819: POP
0000081a: DUP1
0000081b: DUP4
0000081c: ADD
0000081d: SWAP3
0000081e: POP
0000081f: POP
00000820: POP
00000821: SWAP8
00000822: POP
00000823: POP
00000824: POP
00000825: POP
00000826: POP
00000827: POP
00000828: POP
00000829: POP
0000082a: PUSH1 0x00
0000082c: PUSH1 0x40
0000082e: MLOAD
0000082f: DUP1
00000830: DUP4
00000831: SUB
00000832: DUP2
00000833: PUSH1 0x00
00000835: DUP8
00000836: DUP1
00000837: EXTCODESIZE
00000838: ISZERO
00000839: DUP1
0000083a: ISZERO
0000083b: PUSH2 0x0843
0000083e: JUMPI
0000083f: PUSH1 0x00
00000841: DUP1
00000842: REVERT
00000843: JUMPDEST
00000844: POP
00000845: GAS
00000846: CALL
00000847: ISZERO
00000848: DUP1
00000849: ISZERO
0000084a: PUSH2 0x0857
0000084d: JUMPI
0000084e: RETURNDATASIZE
0000084f: PUSH1 0x00
00000851: DUP1
00000852: RETURNDATACOPY
00000853: RETURNDATASIZE
00000854: PUSH1 0x00
00000856: REVERT
00000857: JUMPDEST
00000858: POP
00000859: POP
0000085a: POP
0000085b: POP
0000085c: PUSH1 0x40
0000085e: MLOAD
0000085f: RETURNDATASIZE
00000860: PUSH1 0x00
00000862: DUP3
00000863: RETURNDATACOPY
00000864: PUSH1 0x1f
00000866: RETURNDATASIZE
00000867: SWAP1
00000868: DUP2
00000869: ADD
0000086a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000088b: AND
0000088c: DUP3
0000088d: ADD
0000088e: PUSH1 0x40
00000890: MSTORE
00000891: PUSH1 0x20
00000893: DUP2
00000894: LT
00000895: ISZERO
00000896: PUSH2 0x089e
00000899: JUMPI
0000089a: PUSH1 0x00
0000089c: DUP1
0000089d: REVERT
0000089e: JUMPDEST
0000089f: DUP2
000008a0: ADD
000008a1: SWAP1
000008a2: DUP1
000008a3: DUP1
000008a4: MLOAD
000008a5: PUSH1 0x40
000008a7: MLOAD
000008a8: SWAP4
000008a9: SWAP3
000008aa: SWAP2
000008ab: SWAP1
000008ac: DUP5
000008ad: PUSH5 0x0100000000
000008b3: DUP3
000008b4: GT
000008b5: ISZERO
000008b6: PUSH2 0x08be
000008b9: JUMPI
000008ba: PUSH1 0x00
000008bc: DUP1
000008bd: REVERT
000008be: JUMPDEST
000008bf: SWAP1
000008c0: DUP4
000008c1: ADD
000008c2: SWAP1
000008c3: PUSH1 0x20
000008c5: DUP3
000008c6: ADD
000008c7: DUP6
000008c8: DUP2
000008c9: GT
000008ca: ISZERO
000008cb: PUSH2 0x08d3
000008ce: JUMPI
000008cf: PUSH1 0x00
000008d1: DUP1
000008d2: REVERT
000008d3: JUMPDEST
000008d4: DUP3
000008d5: MLOAD
000008d6: DUP7
000008d7: PUSH1 0x20
000008d9: DUP3
000008da: MUL
000008db: DUP4
000008dc: ADD
000008dd: GT
000008de: PUSH5 0x0100000000
000008e4: DUP3
000008e5: GT
000008e6: OR
000008e7: ISZERO
000008e8: PUSH2 0x08f0
000008eb: JUMPI
000008ec: PUSH1 0x00
000008ee: DUP1
000008ef: REVERT
000008f0: JUMPDEST
000008f1: DUP3
000008f2: MSTORE
000008f3: POP
000008f4: DUP2
000008f5: MLOAD
000008f6: PUSH1 0x20
000008f8: SWAP2
000008f9: DUP3
000008fa: ADD
000008fb: SWAP3
000008fc: DUP3
000008fd: ADD
000008fe: SWAP2
000008ff: MUL
00000900: DUP1
00000901: DUP4
00000902: DUP4
00000903: PUSH1 0x00
00000905: JUMPDEST
00000906: DUP4
00000907: DUP2
00000908: LT
00000909: ISZERO
0000090a: PUSH2 0x091d
0000090d: JUMPI
0000090e: DUP2
0000090f: DUP2
00000910: ADD
00000911: MLOAD
00000912: DUP4
00000913: DUP3
00000914: ADD
00000915: MSTORE
00000916: PUSH1 0x20
00000918: ADD
00000919: PUSH2 0x0905
0000091c: JUMP
0000091d: JUMPDEST
0000091e: POP
0000091f: POP
00000920: POP
00000921: POP
00000922: SWAP1
00000923: POP
00000924: ADD
00000925: PUSH1 0x40
00000927: MSTORE
00000928: POP
00000929: POP
0000092a: POP
0000092b: POP
0000092c: PUSH1 0x00
0000092e: DUP10
0000092f: DUP10
00000930: PUSH1 0x01
00000932: DUP13
00000933: DUP13
00000934: SWAP1
00000935: POP
00000936: SUB
00000937: DUP2
00000938: DUP2
00000939: LT
0000093a: PUSH2 0x093f
0000093d: JUMPI
0000093e: INVALID
0000093f: JUMPDEST
00000940: SWAP1
00000941: POP
00000942: PUSH1 0x20
00000944: MUL
00000945: ADD
00000946: CALLDATALOAD
00000947: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095c: AND
0000095d: SWAP1
0000095e: POP
0000095f: PUSH1 0x00
00000961: DUP2
00000962: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000977: AND
00000978: PUSH4 0x70a08231
0000097d: DUP8
0000097e: PUSH1 0x40
00000980: MLOAD
00000981: DUP3
00000982: PUSH4 0xffffffff
00000987: AND
00000988: PUSH1 0xe0
0000098a: SHL
0000098b: DUP2
0000098c: MSTORE
0000098d: PUSH1 0x04
0000098f: ADD
00000990: DUP1
00000991: DUP3
00000992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a7: AND
000009a8: DUP2
000009a9: MSTORE
000009aa: PUSH1 0x20
000009ac: ADD
000009ad: SWAP2
000009ae: POP
000009af: POP
000009b0: PUSH1 0x20
000009b2: PUSH1 0x40
000009b4: MLOAD
000009b5: DUP1
000009b6: DUP4
000009b7: SUB
000009b8: DUP2
000009b9: DUP7
000009ba: DUP1
000009bb: EXTCODESIZE
000009bc: ISZERO
000009bd: DUP1
000009be: ISZERO
000009bf: PUSH2 0x09c7
000009c2: JUMPI
000009c3: PUSH1 0x00
000009c5: DUP1
000009c6: REVERT
000009c7: JUMPDEST
000009c8: POP
000009c9: GAS
000009ca: STATICCALL
000009cb: ISZERO
000009cc: DUP1
000009cd: ISZERO
000009ce: PUSH2 0x09db
000009d1: JUMPI
000009d2: RETURNDATASIZE
000009d3: PUSH1 0x00
000009d5: DUP1
000009d6: RETURNDATACOPY
000009d7: RETURNDATASIZE
000009d8: PUSH1 0x00
000009da: REVERT
000009db: JUMPDEST
000009dc: POP
000009dd: POP
000009de: POP
000009df: POP
000009e0: PUSH1 0x40
000009e2: MLOAD
000009e3: RETURNDATASIZE
000009e4: PUSH1 0x20
000009e6: DUP2
000009e7: LT
000009e8: ISZERO
000009e9: PUSH2 0x09f1
000009ec: JUMPI
000009ed: PUSH1 0x00
000009ef: DUP1
000009f0: REVERT
000009f1: JUMPDEST
000009f2: POP
000009f3: MLOAD
000009f4: SWAP1
000009f5: POP
000009f6: PUSH2 0x0a00
000009f9: DUP3
000009fa: CALLER
000009fb: DUP4
000009fc: PUSH2 0x1c00
000009ff: JUMP
00000a00: JUMPDEST
00000a01: PUSH1 0x40
00000a03: DUP1
00000a04: MLOAD
00000a05: DUP5
00000a06: DUP2
00000a07: MSTORE
00000a08: PUSH1 0x20
00000a0a: DUP2
00000a0b: ADD
00000a0c: DUP4
00000a0d: SWAP1
00000a0e: MSTORE
00000a0f: DUP1
00000a10: DUP3
00000a11: ADD
00000a12: DUP10
00000a13: SWAP1
00000a14: MSTORE
00000a15: SWAP1
00000a16: MLOAD
00000a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a2c: DUP1
00000a2d: DUP6
00000a2e: AND
00000a2f: SWAP3
00000a30: SWAP1
00000a31: DUP9
00000a32: AND
00000a33: SWAP2
00000a34: CALLER
00000a35: SWAP2
00000a36: PUSH32 0x10def950bd4ed27b0018e95ee7a16325dfc926bb40968d5ca118c4888e6b98e0
00000a57: SWAP2
00000a58: SWAP1
00000a59: DUP2
00000a5a: SWAP1
00000a5b: SUB
00000a5c: PUSH1 0x60
00000a5e: ADD
00000a5f: SWAP1
00000a60: LOG4
00000a61: POP
00000a62: POP
00000a63: PUSH1 0x01
00000a65: PUSH1 0x00
00000a67: SSTORE
00000a68: POP
00000a69: POP
00000a6a: POP
00000a6b: POP
00000a6c: POP
00000a6d: POP
00000a6e: POP
00000a6f: POP
00000a70: POP
00000a71: JUMP
00000a72: JUMPDEST
00000a73: PUSH2 0x0a7a
00000a76: PUSH2 0x1c27
00000a79: JUMP
00000a7a: JUMPDEST
00000a7b: PUSH1 0x01
00000a7d: SLOAD
00000a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a93: SWAP1
00000a94: DUP2
00000a95: AND
00000a96: SWAP2
00000a97: AND
00000a98: EQ
00000a99: PUSH2 0x0b03
00000a9c: JUMPI
00000a9d: PUSH1 0x40
00000a9f: DUP1
00000aa0: MLOAD
00000aa1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ac2: DUP2
00000ac3: MSTORE
00000ac4: PUSH1 0x20
00000ac6: PUSH1 0x04
00000ac8: DUP3
00000ac9: ADD
00000aca: DUP2
00000acb: SWAP1
00000acc: MSTORE
00000acd: PUSH1 0x24
00000acf: DUP3
00000ad0: ADD
00000ad1: MSTORE
00000ad2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000af3: PUSH1 0x44
00000af5: DUP3
00000af6: ADD
00000af7: MSTORE
00000af8: SWAP1
00000af9: MLOAD
00000afa: SWAP1
00000afb: DUP2
00000afc: SWAP1
00000afd: SUB
00000afe: PUSH1 0x64
00000b00: ADD
00000b01: SWAP1
00000b02: REVERT
00000b03: JUMPDEST
00000b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b19: DUP2
00000b1a: AND
00000b1b: PUSH2 0x0b23
00000b1e: JUMPI
00000b1f: PUSH1 0x00
00000b21: DUP1
00000b22: REVERT
00000b23: JUMPDEST
00000b24: PUSH1 0x02
00000b26: DUP1
00000b27: SLOAD
00000b28: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000b49: AND
00000b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5f: DUP4
00000b60: AND
00000b61: SWAP1
00000b62: DUP2
00000b63: OR
00000b64: SWAP1
00000b65: SWAP2
00000b66: SSTORE
00000b67: PUSH1 0x40
00000b69: MLOAD
00000b6a: PUSH32 0xe356863d8c81d46ff30d41a6332e1d04d2fb6c0f043fa6554e3d1e1deae95a8a
00000b8b: SWAP1
00000b8c: PUSH1 0x00
00000b8e: SWAP1
00000b8f: LOG2
00000b90: POP
00000b91: JUMP
00000b92: JUMPDEST
00000b93: PUSH1 0x02
00000b95: SLOAD
00000b96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bab: AND
00000bac: SWAP1
00000bad: JUMP
00000bae: JUMPDEST
00000baf: PUSH2 0x0bb6
00000bb2: PUSH2 0x1c27
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH1 0x01
00000bb9: SLOAD
00000bba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bcf: SWAP1
00000bd0: DUP2
00000bd1: AND
00000bd2: SWAP2
00000bd3: AND
00000bd4: EQ
00000bd5: PUSH2 0x0c3f
00000bd8: JUMPI
00000bd9: PUSH1 0x40
00000bdb: DUP1
00000bdc: MLOAD
00000bdd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bfe: DUP2
00000bff: MSTORE
00000c00: PUSH1 0x20
00000c02: PUSH1 0x04
00000c04: DUP3
00000c05: ADD
00000c06: DUP2
00000c07: SWAP1
00000c08: MSTORE
00000c09: PUSH1 0x24
00000c0b: DUP3
00000c0c: ADD
00000c0d: MSTORE
00000c0e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000c2f: PUSH1 0x44
00000c31: DUP3
00000c32: ADD
00000c33: MSTORE
00000c34: SWAP1
00000c35: MLOAD
00000c36: SWAP1
00000c37: DUP2
00000c38: SWAP1
00000c39: SUB
00000c3a: PUSH1 0x64
00000c3c: ADD
00000c3d: SWAP1
00000c3e: REVERT
00000c3f: JUMPDEST
00000c40: PUSH1 0x01
00000c42: SLOAD
00000c43: PUSH1 0x40
00000c45: MLOAD
00000c46: PUSH1 0x00
00000c48: SWAP2
00000c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5e: AND
00000c5f: SWAP1
00000c60: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000c81: SWAP1
00000c82: DUP4
00000c83: SWAP1
00000c84: LOG3
00000c85: PUSH1 0x01
00000c87: DUP1
00000c88: SLOAD
00000c89: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000caa: AND
00000cab: SWAP1
00000cac: SSTORE
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH2 0x0cb6
00000cb2: PUSH2 0x1c27
00000cb5: JUMP
00000cb6: JUMPDEST
00000cb7: PUSH1 0x01
00000cb9: SLOAD
00000cba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ccf: SWAP1
00000cd0: DUP2
00000cd1: AND
00000cd2: SWAP2
00000cd3: AND
00000cd4: EQ
00000cd5: PUSH2 0x0d3f
00000cd8: JUMPI
00000cd9: PUSH1 0x40
00000cdb: DUP1
00000cdc: MLOAD
00000cdd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cfe: DUP2
00000cff: MSTORE
00000d00: PUSH1 0x20
00000d02: PUSH1 0x04
00000d04: DUP3
00000d05: ADD
00000d06: DUP2
00000d07: SWAP1
00000d08: MSTORE
00000d09: PUSH1 0x24
00000d0b: DUP3
00000d0c: ADD
00000d0d: MSTORE
00000d0e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000d2f: PUSH1 0x44
00000d31: DUP3
00000d32: ADD
00000d33: MSTORE
00000d34: SWAP1
00000d35: MLOAD
00000d36: SWAP1
00000d37: DUP2
00000d38: SWAP1
00000d39: SUB
00000d3a: PUSH1 0x64
00000d3c: ADD
00000d3d: SWAP1
00000d3e: REVERT
00000d3f: JUMPDEST
00000d40: PUSH1 0x00
00000d42: JUMPDEST
00000d43: DUP2
00000d44: DUP2
00000d45: LT
00000d46: ISZERO
00000d47: PUSH2 0x0e28
00000d4a: JUMPI
00000d4b: PUSH1 0x00
00000d4d: DUP4
00000d4e: DUP4
00000d4f: DUP4
00000d50: DUP2
00000d51: DUP2
00000d52: LT
00000d53: PUSH2 0x0d58
00000d56: JUMPI
00000d57: INVALID
00000d58: JUMPDEST
00000d59: SWAP1
00000d5a: POP
00000d5b: PUSH1 0x20
00000d5d: MUL
00000d5e: ADD
00000d5f: CALLDATALOAD
00000d60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d75: AND
00000d76: SWAP1
00000d77: POP
00000d78: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000d8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da2: AND
00000da3: DUP2
00000da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db9: AND
00000dba: EQ
00000dbb: PUSH2 0x0e1f
00000dbe: JUMPI
00000dbf: PUSH2 0x0e1f
00000dc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd7: DUP3
00000dd8: AND
00000dd9: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00000dfa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000e1b: PUSH2 0x1c2b
00000e1e: JUMP
00000e1f: JUMPDEST
00000e20: POP
00000e21: PUSH1 0x01
00000e23: ADD
00000e24: PUSH2 0x0d42
00000e27: JUMP
00000e28: JUMPDEST
00000e29: POP
00000e2a: POP
00000e2b: POP
00000e2c: JUMP
00000e2d: JUMPDEST
00000e2e: PUSH1 0x02
00000e30: PUSH1 0x00
00000e32: SLOAD
00000e33: EQ
00000e34: ISZERO
00000e35: PUSH2 0x0e9f
00000e38: JUMPI
00000e39: PUSH1 0x40
00000e3b: DUP1
00000e3c: MLOAD
00000e3d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e5e: DUP2
00000e5f: MSTORE
00000e60: PUSH1 0x20
00000e62: PUSH1 0x04
00000e64: DUP3
00000e65: ADD
00000e66: MSTORE
00000e67: PUSH1 0x1f
00000e69: PUSH1 0x24
00000e6b: DUP3
00000e6c: ADD
00000e6d: MSTORE
00000e6e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000e8f: PUSH1 0x44
00000e91: DUP3
00000e92: ADD
00000e93: MSTORE
00000e94: SWAP1
00000e95: MLOAD
00000e96: SWAP1
00000e97: DUP2
00000e98: SWAP1
00000e99: SUB
00000e9a: PUSH1 0x64
00000e9c: ADD
00000e9d: SWAP1
00000e9e: REVERT
00000e9f: JUMPDEST
00000ea0: PUSH1 0x02
00000ea2: PUSH1 0x00
00000ea4: SSTORE
00000ea5: DUP1
00000ea6: DUP4
00000ea7: GT
00000ea8: PUSH2 0x0f12
00000eab: JUMPI
00000eac: PUSH1 0x40
00000eae: DUP1
00000eaf: MLOAD
00000eb0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ed1: DUP2
00000ed2: MSTORE
00000ed3: PUSH1 0x20
00000ed5: PUSH1 0x04
00000ed7: DUP3
00000ed8: ADD
00000ed9: MSTORE
00000eda: PUSH1 0x1c
00000edc: PUSH1 0x24
00000ede: DUP3
00000edf: ADD
00000ee0: MSTORE
00000ee1: PUSH32 0x6665652063616e6e6f74206578636565642066726f6d416d6f756e7400000000
00000f02: PUSH1 0x44
00000f04: DUP3
00000f05: ADD
00000f06: MSTORE
00000f07: SWAP1
00000f08: MLOAD
00000f09: SWAP1
00000f0a: DUP2
00000f0b: SWAP1
00000f0c: SUB
00000f0d: PUSH1 0x64
00000f0f: ADD
00000f10: SWAP1
00000f11: REVERT
00000f12: JUMPDEST
00000f13: PUSH1 0x02
00000f15: SLOAD
00000f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2b: AND
00000f2c: CALLER
00000f2d: EQ
00000f2e: ISZERO
00000f2f: PUSH2 0x0f99
00000f32: JUMPI
00000f33: PUSH1 0x40
00000f35: DUP1
00000f36: MLOAD
00000f37: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f58: DUP2
00000f59: MSTORE
00000f5a: PUSH1 0x20
00000f5c: PUSH1 0x04
00000f5e: DUP3
00000f5f: ADD
00000f60: MSTORE
00000f61: PUSH1 0x1f
00000f63: PUSH1 0x24
00000f65: DUP3
00000f66: ADD
00000f67: MSTORE
00000f68: PUSH32 0x6d73672e73656e6465722063616e27742062652062656e656669636961727900
00000f89: PUSH1 0x44
00000f8b: DUP3
00000f8c: ADD
00000f8d: MSTORE
00000f8e: SWAP1
00000f8f: MLOAD
00000f90: SWAP1
00000f91: DUP2
00000f92: SWAP1
00000f93: SUB
00000f94: PUSH1 0x64
00000f96: ADD
00000f97: SWAP1
00000f98: REVERT
00000f99: JUMPDEST
00000f9a: ADDRESS
00000f9b: PUSH1 0x00
00000f9d: DUP7
00000f9e: DUP7
00000f9f: DUP3
00000fa0: DUP2
00000fa1: PUSH2 0x0fa6
00000fa4: JUMPI
00000fa5: INVALID
00000fa6: JUMPDEST
00000fa7: PUSH1 0x02
00000fa9: SLOAD
00000faa: PUSH1 0x40
00000fac: DUP1
00000fad: MLOAD
00000fae: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000fcf: DUP2
00000fd0: MSTORE
00000fd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe6: SWAP3
00000fe7: DUP4
00000fe8: AND
00000fe9: PUSH1 0x04
00000feb: DUP3
00000fec: ADD
00000fed: MSTORE
00000fee: SWAP1
00000fef: MLOAD
00000ff0: PUSH1 0x20
00000ff2: SWAP4
00000ff3: DUP5
00000ff4: MUL
00000ff5: SWAP6
00000ff6: SWAP1
00000ff7: SWAP6
00000ff8: ADD
00000ff9: CALLDATALOAD
00000ffa: SWAP1
00000ffb: SWAP2
00000ffc: AND
00000ffd: SWAP5
00000ffe: POP
00000fff: PUSH1 0x00
00001001: SWAP4
00001002: DUP6
00001003: SWAP4
00001004: POP
00001005: PUSH4 0x70a08231
0000100a: SWAP3
0000100b: PUSH1 0x24
0000100d: DUP1
0000100e: DUP5
0000100f: ADD
00001010: SWAP4
00001011: SWAP2
00001012: SWAP3
00001013: SWAP2
00001014: DUP3
00001015: SWAP1
00001016: SUB
00001017: ADD
00001018: DUP2
00001019: DUP7
0000101a: DUP1
0000101b: EXTCODESIZE
0000101c: ISZERO
0000101d: DUP1
0000101e: ISZERO
0000101f: PUSH2 0x1027
00001022: JUMPI
00001023: PUSH1 0x00
00001025: DUP1
00001026: REVERT
00001027: JUMPDEST
00001028: POP
00001029: GAS
0000102a: STATICCALL
0000102b: ISZERO
0000102c: DUP1
0000102d: ISZERO
0000102e: PUSH2 0x103b
00001031: JUMPI
00001032: RETURNDATASIZE
00001033: PUSH1 0x00
00001035: DUP1
00001036: RETURNDATACOPY
00001037: RETURNDATASIZE
00001038: PUSH1 0x00
0000103a: REVERT
0000103b: JUMPDEST
0000103c: POP
0000103d: POP
0000103e: POP
0000103f: POP
00001040: PUSH1 0x40
00001042: MLOAD
00001043: RETURNDATASIZE
00001044: PUSH1 0x20
00001046: DUP2
00001047: LT
00001048: ISZERO
00001049: PUSH2 0x1051
0000104c: JUMPI
0000104d: PUSH1 0x00
0000104f: DUP1
00001050: REVERT
00001051: JUMPDEST
00001052: POP
00001053: MLOAD
00001054: SWAP1
00001055: POP
00001056: PUSH1 0x00
00001058: PUSH2 0x1061
0000105b: DUP8
0000105c: DUP7
0000105d: PUSH2 0x1aa8
00001060: JUMP
00001061: JUMPDEST
00001062: SWAP1
00001063: POP
00001064: PUSH2 0x1085
00001067: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107c: DUP5
0000107d: AND
0000107e: CALLER
0000107f: DUP7
00001080: DUP5
00001081: PUSH2 0x1af1
00001084: JUMP
00001085: JUMPDEST
00001086: DUP5
00001087: ISZERO
00001088: PUSH2 0x10b4
0000108b: JUMPI
0000108c: PUSH1 0x02
0000108e: SLOAD
0000108f: PUSH2 0x10b4
00001092: SWAP1
00001093: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a8: DUP6
000010a9: DUP2
000010aa: AND
000010ab: SWAP2
000010ac: CALLER
000010ad: SWAP2
000010ae: AND
000010af: DUP9
000010b0: PUSH2 0x1af1
000010b3: JUMP
000010b4: JUMPDEST
000010b5: PUSH2 0x10be
000010b8: DUP3
000010b9: DUP7
000010ba: PUSH2 0x1b8c
000010bd: JUMP
000010be: JUMPDEST
000010bf: PUSH1 0x02
000010c1: SLOAD
000010c2: PUSH1 0x40
000010c4: DUP1
000010c5: MLOAD
000010c6: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000010e7: DUP2
000010e8: MSTORE
000010e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fe: SWAP3
000010ff: DUP4
00001100: AND
00001101: PUSH1 0x04
00001103: DUP3
00001104: ADD
00001105: MSTORE
00001106: SWAP1
00001107: MLOAD
00001108: SWAP2
00001109: DUP7
0000110a: AND
0000110b: SWAP2
0000110c: PUSH4 0x70a08231
00001111: SWAP2
00001112: PUSH1 0x24
00001114: DUP1
00001115: DUP3
00001116: ADD
00001117: SWAP3
00001118: PUSH1 0x20
0000111a: SWAP3
0000111b: SWAP1
0000111c: SWAP2
0000111d: SWAP1
0000111e: DUP3
0000111f: SWAP1
00001120: SUB
00001121: ADD
00001122: DUP2
00001123: DUP7
00001124: DUP1
00001125: EXTCODESIZE
00001126: ISZERO
00001127: DUP1
00001128: ISZERO
00001129: PUSH2 0x1131
0000112c: JUMPI
0000112d: PUSH1 0x00
0000112f: DUP1
00001130: REVERT
00001131: JUMPDEST
00001132: POP
00001133: GAS
00001134: STATICCALL
00001135: ISZERO
00001136: DUP1
00001137: ISZERO
00001138: PUSH2 0x1145
0000113b: JUMPI
0000113c: RETURNDATASIZE
0000113d: PUSH1 0x00
0000113f: DUP1
00001140: RETURNDATACOPY
00001141: RETURNDATASIZE
00001142: PUSH1 0x00
00001144: REVERT
00001145: JUMPDEST
00001146: POP
00001147: POP
00001148: POP
00001149: POP
0000114a: PUSH1 0x40
0000114c: MLOAD
0000114d: RETURNDATASIZE
0000114e: PUSH1 0x20
00001150: DUP2
00001151: LT
00001152: ISZERO
00001153: PUSH2 0x115b
00001156: JUMPI
00001157: PUSH1 0x00
00001159: DUP1
0000115a: REVERT
0000115b: JUMPDEST
0000115c: POP
0000115d: MLOAD
0000115e: LT
0000115f: ISZERO
00001160: PUSH2 0x11ca
00001163: JUMPI
00001164: PUSH1 0x40
00001166: DUP1
00001167: MLOAD
00001168: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001189: DUP2
0000118a: MSTORE
0000118b: PUSH1 0x20
0000118d: PUSH1 0x04
0000118f: DUP3
00001190: ADD
00001191: MSTORE
00001192: PUSH1 0x1f
00001194: PUSH1 0x24
00001196: DUP3
00001197: ADD
00001198: MSTORE
00001199: PUSH32 0x62656e6566696369617279206469646e27742072656365697665206665657300
000011ba: PUSH1 0x44
000011bc: DUP3
000011bd: ADD
000011be: MSTORE
000011bf: SWAP1
000011c0: MLOAD
000011c1: SWAP1
000011c2: DUP2
000011c3: SWAP1
000011c4: SUB
000011c5: PUSH1 0x64
000011c7: ADD
000011c8: SWAP1
000011c9: REVERT
000011ca: JUMPDEST
000011cb: PUSH1 0x60
000011cd: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000011ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001203: AND
00001204: PUSH4 0x18cbafe5
00001209: DUP4
0000120a: DUP10
0000120b: DUP14
0000120c: DUP14
0000120d: DUP11
0000120e: TIMESTAMP
0000120f: PUSH1 0x40
00001211: MLOAD
00001212: DUP8
00001213: PUSH4 0xffffffff
00001218: AND
00001219: PUSH1 0xe0
0000121b: SHL
0000121c: DUP2
0000121d: MSTORE
0000121e: PUSH1 0x04
00001220: ADD
00001221: DUP1
00001222: DUP8
00001223: DUP2
00001224: MSTORE
00001225: PUSH1 0x20
00001227: ADD
00001228: DUP7
00001229: DUP2
0000122a: MSTORE
0000122b: PUSH1 0x20
0000122d: ADD
0000122e: DUP1
0000122f: PUSH1 0x20
00001231: ADD
00001232: DUP5
00001233: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001248: AND
00001249: DUP2
0000124a: MSTORE
0000124b: PUSH1 0x20
0000124d: ADD
0000124e: DUP4
0000124f: DUP2
00001250: MSTORE
00001251: PUSH1 0x20
00001253: ADD
00001254: DUP3
00001255: DUP2
00001256: SUB
00001257: DUP3
00001258: MSTORE
00001259: DUP7
0000125a: DUP7
0000125b: DUP3
0000125c: DUP2
0000125d: DUP2
0000125e: MSTORE
0000125f: PUSH1 0x20
00001261: ADD
00001262: SWAP3
00001263: POP
00001264: PUSH1 0x20
00001266: MUL
00001267: DUP1
00001268: DUP3
00001269: DUP5
0000126a: CALLDATACOPY
0000126b: PUSH1 0x00
0000126d: DUP2
0000126e: DUP5
0000126f: ADD
00001270: MSTORE
00001271: PUSH1 0x1f
00001273: NOT
00001274: PUSH1 0x1f
00001276: DUP3
00001277: ADD
00001278: AND
00001279: SWAP1
0000127a: POP
0000127b: DUP1
0000127c: DUP4
0000127d: ADD
0000127e: SWAP3
0000127f: POP
00001280: POP
00001281: POP
00001282: SWAP8
00001283: POP
00001284: POP
00001285: POP
00001286: POP
00001287: POP
00001288: POP
00001289: POP
0000128a: POP
0000128b: PUSH1 0x00
0000128d: PUSH1 0x40
0000128f: MLOAD
00001290: DUP1
00001291: DUP4
00001292: SUB
00001293: DUP2
00001294: PUSH1 0x00
00001296: DUP8
00001297: DUP1
00001298: EXTCODESIZE
00001299: ISZERO
0000129a: DUP1
0000129b: ISZERO
0000129c: PUSH2 0x12a4
0000129f: JUMPI
000012a0: PUSH1 0x00
000012a2: DUP1
000012a3: REVERT
000012a4: JUMPDEST
000012a5: POP
000012a6: GAS
000012a7: CALL
000012a8: ISZERO
000012a9: DUP1
000012aa: ISZERO
000012ab: PUSH2 0x12b8
000012ae: JUMPI
000012af: RETURNDATASIZE
000012b0: PUSH1 0x00
000012b2: DUP1
000012b3: RETURNDATACOPY
000012b4: RETURNDATASIZE
000012b5: PUSH1 0x00
000012b7: REVERT
000012b8: JUMPDEST
000012b9: POP
000012ba: POP
000012bb: POP
000012bc: POP
000012bd: PUSH1 0x40
000012bf: MLOAD
000012c0: RETURNDATASIZE
000012c1: PUSH1 0x00
000012c3: DUP3
000012c4: RETURNDATACOPY
000012c5: PUSH1 0x1f
000012c7: RETURNDATASIZE
000012c8: SWAP1
000012c9: DUP2
000012ca: ADD
000012cb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000012ec: AND
000012ed: DUP3
000012ee: ADD
000012ef: PUSH1 0x40
000012f1: MSTORE
000012f2: PUSH1 0x20
000012f4: DUP2
000012f5: LT
000012f6: ISZERO
000012f7: PUSH2 0x12ff
000012fa: JUMPI
000012fb: PUSH1 0x00
000012fd: DUP1
000012fe: REVERT
000012ff: JUMPDEST
00001300: DUP2
00001301: ADD
00001302: SWAP1
00001303: DUP1
00001304: DUP1
00001305: MLOAD
00001306: PUSH1 0x40
00001308: MLOAD
00001309: SWAP4
0000130a: SWAP3
0000130b: SWAP2
0000130c: SWAP1
0000130d: DUP5
0000130e: PUSH5 0x0100000000
00001314: DUP3
00001315: GT
00001316: ISZERO
00001317: PUSH2 0x131f
0000131a: JUMPI
0000131b: PUSH1 0x00
0000131d: DUP1
0000131e: REVERT
0000131f: JUMPDEST
00001320: SWAP1
00001321: DUP4
00001322: ADD
00001323: SWAP1
00001324: PUSH1 0x20
00001326: DUP3
00001327: ADD
00001328: DUP6
00001329: DUP2
0000132a: GT
0000132b: ISZERO
0000132c: PUSH2 0x1334
0000132f: JUMPI
00001330: PUSH1 0x00
00001332: DUP1
00001333: REVERT
00001334: JUMPDEST
00001335: DUP3
00001336: MLOAD
00001337: DUP7
00001338: PUSH1 0x20
0000133a: DUP3
0000133b: MUL
0000133c: DUP4
0000133d: ADD
0000133e: GT
0000133f: PUSH5 0x0100000000
00001345: DUP3
00001346: GT
00001347: OR
00001348: ISZERO
00001349: PUSH2 0x1351
0000134c: JUMPI
0000134d: PUSH1 0x00
0000134f: DUP1
00001350: REVERT
00001351: JUMPDEST
00001352: DUP3
00001353: MSTORE
00001354: POP
00001355: DUP2
00001356: MLOAD
00001357: PUSH1 0x20
00001359: SWAP2
0000135a: DUP3
0000135b: ADD
0000135c: SWAP3
0000135d: DUP3
0000135e: ADD
0000135f: SWAP2
00001360: MUL
00001361: DUP1
00001362: DUP4
00001363: DUP4
00001364: PUSH1 0x00
00001366: JUMPDEST
00001367: DUP4
00001368: DUP2
00001369: LT
0000136a: ISZERO
0000136b: PUSH2 0x137e
0000136e: JUMPI
0000136f: DUP2
00001370: DUP2
00001371: ADD
00001372: MLOAD
00001373: DUP4
00001374: DUP3
00001375: ADD
00001376: MSTORE
00001377: PUSH1 0x20
00001379: ADD
0000137a: PUSH2 0x1366
0000137d: JUMP
0000137e: JUMPDEST
0000137f: POP
00001380: POP
00001381: POP
00001382: POP
00001383: SWAP1
00001384: POP
00001385: ADD
00001386: PUSH1 0x40
00001388: MSTORE
00001389: POP
0000138a: POP
0000138b: POP
0000138c: SWAP1
0000138d: POP
0000138e: PUSH1 0x00
00001390: DUP2
00001391: PUSH1 0x01
00001393: DUP4
00001394: MLOAD
00001395: SUB
00001396: DUP2
00001397: MLOAD
00001398: DUP2
00001399: LT
0000139a: PUSH2 0x139f
0000139d: JUMPI
0000139e: INVALID
0000139f: JUMPDEST
000013a0: PUSH1 0x20
000013a2: MUL
000013a3: PUSH1 0x20
000013a5: ADD
000013a6: ADD
000013a7: MLOAD
000013a8: SWAP1
000013a9: POP
000013aa: PUSH2 0x13b3
000013ad: CALLER
000013ae: DUP3
000013af: PUSH2 0x1db9
000013b2: JUMP
000013b3: JUMPDEST
000013b4: PUSH1 0x40
000013b6: DUP1
000013b7: MLOAD
000013b8: DUP5
000013b9: DUP2
000013ba: MSTORE
000013bb: PUSH1 0x20
000013bd: DUP2
000013be: ADD
000013bf: DUP4
000013c0: SWAP1
000013c1: MSTORE
000013c2: DUP1
000013c3: DUP3
000013c4: ADD
000013c5: DUP10
000013c6: SWAP1
000013c7: MSTORE
000013c8: SWAP1
000013c9: MLOAD
000013ca: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000013df: SWAP2
000013e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f5: DUP9
000013f6: AND
000013f7: SWAP2
000013f8: CALLER
000013f9: SWAP2
000013fa: PUSH32 0x10def950bd4ed27b0018e95ee7a16325dfc926bb40968d5ca118c4888e6b98e0
0000141b: SWAP2
0000141c: SWAP1
0000141d: DUP2
0000141e: SWAP1
0000141f: SUB
00001420: PUSH1 0x60
00001422: ADD
00001423: SWAP1
00001424: LOG4
00001425: POP
00001426: POP
00001427: PUSH1 0x01
00001429: PUSH1 0x00
0000142b: SSTORE
0000142c: POP
0000142d: POP
0000142e: POP
0000142f: POP
00001430: POP
00001431: POP
00001432: POP
00001433: POP
00001434: POP
00001435: JUMP
00001436: JUMPDEST
00001437: PUSH1 0x02
00001439: PUSH1 0x00
0000143b: SLOAD
0000143c: EQ
0000143d: ISZERO
0000143e: PUSH2 0x14a8
00001441: JUMPI
00001442: PUSH1 0x40
00001444: DUP1
00001445: MLOAD
00001446: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001467: DUP2
00001468: MSTORE
00001469: PUSH1 0x20
0000146b: PUSH1 0x04
0000146d: DUP3
0000146e: ADD
0000146f: MSTORE
00001470: PUSH1 0x1f
00001472: PUSH1 0x24
00001474: DUP3
00001475: ADD
00001476: MSTORE
00001477: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001498: PUSH1 0x44
0000149a: DUP3
0000149b: ADD
0000149c: MSTORE
0000149d: SWAP1
0000149e: MLOAD
0000149f: SWAP1
000014a0: DUP2
000014a1: SWAP1
000014a2: SUB
000014a3: PUSH1 0x64
000014a5: ADD
000014a6: SWAP1
000014a7: REVERT
000014a8: JUMPDEST
000014a9: PUSH1 0x02
000014ab: PUSH1 0x00
000014ad: SSTORE
000014ae: CALLVALUE
000014af: DUP2
000014b0: LT
000014b1: PUSH2 0x151b
000014b4: JUMPI
000014b5: PUSH1 0x40
000014b7: DUP1
000014b8: MLOAD
000014b9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014da: DUP2
000014db: MSTORE
000014dc: PUSH1 0x20
000014de: PUSH1 0x04
000014e0: DUP3
000014e1: ADD
000014e2: MSTORE
000014e3: PUSH1 0x1b
000014e5: PUSH1 0x24
000014e7: DUP3
000014e8: ADD
000014e9: MSTORE
000014ea: PUSH32 0x6665652063616e6e6f7420657863656564206d73672e76616c75650000000000
0000150b: PUSH1 0x44
0000150d: DUP3
0000150e: ADD
0000150f: MSTORE
00001510: SWAP1
00001511: MLOAD
00001512: SWAP1
00001513: DUP2
00001514: SWAP1
00001515: SUB
00001516: PUSH1 0x64
00001518: ADD
00001519: SWAP1
0000151a: REVERT
0000151b: JUMPDEST
0000151c: PUSH1 0x02
0000151e: SLOAD
0000151f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001534: AND
00001535: CALLER
00001536: EQ
00001537: ISZERO
00001538: PUSH2 0x15a2
0000153b: JUMPI
0000153c: PUSH1 0x40
0000153e: DUP1
0000153f: MLOAD
00001540: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001561: DUP2
00001562: MSTORE
00001563: PUSH1 0x20
00001565: PUSH1 0x04
00001567: DUP3
00001568: ADD
00001569: MSTORE
0000156a: PUSH1 0x1f
0000156c: PUSH1 0x24
0000156e: DUP3
0000156f: ADD
00001570: MSTORE
00001571: PUSH32 0x6d73672e73656e6465722063616e27742062652062656e656669636961727900
00001592: PUSH1 0x44
00001594: DUP3
00001595: ADD
00001596: MSTORE
00001597: SWAP1
00001598: MLOAD
00001599: SWAP1
0000159a: DUP2
0000159b: SWAP1
0000159c: SUB
0000159d: PUSH1 0x64
0000159f: ADD
000015a0: SWAP1
000015a1: REVERT
000015a2: JUMPDEST
000015a3: PUSH1 0x02
000015a5: SLOAD
000015a6: ADDRESS
000015a7: SWAP1
000015a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015bd: AND
000015be: DUP1
000015bf: BALANCE
000015c0: SWAP1
000015c1: PUSH2 0x15ca
000015c4: SWAP1
000015c5: DUP5
000015c6: PUSH2 0x1db9
000015c9: JUMP
000015ca: JUMPDEST
000015cb: PUSH2 0x15d4
000015ce: DUP2
000015cf: DUP5
000015d0: PUSH2 0x1b8c
000015d3: JUMP
000015d4: JUMPDEST
000015d5: PUSH1 0x02
000015d7: SLOAD
000015d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ed: AND
000015ee: BALANCE
000015ef: LT
000015f0: ISZERO
000015f1: PUSH2 0x165b
000015f4: JUMPI
000015f5: PUSH1 0x40
000015f7: DUP1
000015f8: MLOAD
000015f9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000161a: DUP2
0000161b: MSTORE
0000161c: PUSH1 0x20
0000161e: PUSH1 0x04
00001620: DUP3
00001621: ADD
00001622: MSTORE
00001623: PUSH1 0x1f
00001625: PUSH1 0x24
00001627: DUP3
00001628: ADD
00001629: MSTORE
0000162a: PUSH32 0x62656e6566696369617279206469646e27742072656365697665206665657300
0000164b: PUSH1 0x44
0000164d: DUP3
0000164e: ADD
0000164f: MSTORE
00001650: SWAP1
00001651: MLOAD
00001652: SWAP1
00001653: DUP2
00001654: SWAP1
00001655: SUB
00001656: PUSH1 0x64
00001658: ADD
00001659: SWAP1
0000165a: REVERT
0000165b: JUMPDEST
0000165c: PUSH1 0x00
0000165e: PUSH2 0x1667
00001661: CALLVALUE
00001662: DUP6
00001663: PUSH2 0x1aa8
00001666: JUMP
00001667: JUMPDEST
00001668: SWAP1
00001669: POP
0000166a: PUSH1 0x60
0000166c: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000168d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a2: AND
000016a3: PUSH4 0x7ff36ab5
000016a8: DUP4
000016a9: DUP9
000016aa: DUP12
000016ab: DUP12
000016ac: DUP10
000016ad: TIMESTAMP
000016ae: PUSH1 0x40
000016b0: MLOAD
000016b1: DUP8
000016b2: PUSH4 0xffffffff
000016b7: AND
000016b8: PUSH1 0xe0
000016ba: SHL
000016bb: DUP2
000016bc: MSTORE
000016bd: PUSH1 0x04
000016bf: ADD
000016c0: DUP1
000016c1: DUP7
000016c2: DUP2
000016c3: MSTORE
000016c4: PUSH1 0x20
000016c6: ADD
000016c7: DUP1
000016c8: PUSH1 0x20
000016ca: ADD
000016cb: DUP5
000016cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e1: AND
000016e2: DUP2
000016e3: MSTORE
000016e4: PUSH1 0x20
000016e6: ADD
000016e7: DUP4
000016e8: DUP2
000016e9: MSTORE
000016ea: PUSH1 0x20
000016ec: ADD
000016ed: DUP3
000016ee: DUP2
000016ef: SUB
000016f0: DUP3
000016f1: MSTORE
000016f2: DUP7
000016f3: DUP7
000016f4: DUP3
000016f5: DUP2
000016f6: DUP2
000016f7: MSTORE
000016f8: PUSH1 0x20
000016fa: ADD
000016fb: SWAP3
000016fc: POP
000016fd: PUSH1 0x20
000016ff: MUL
00001700: DUP1
00001701: DUP3
00001702: DUP5
00001703: CALLDATACOPY
00001704: PUSH1 0x00
00001706: DUP2
00001707: DUP5
00001708: ADD
00001709: MSTORE
0000170a: PUSH1 0x1f
0000170c: NOT
0000170d: PUSH1 0x1f
0000170f: DUP3
00001710: ADD
00001711: AND
00001712: SWAP1
00001713: POP
00001714: DUP1
00001715: DUP4
00001716: ADD
00001717: SWAP3
00001718: POP
00001719: POP
0000171a: POP
0000171b: SWAP7
0000171c: POP
0000171d: POP
0000171e: POP
0000171f: POP
00001720: POP
00001721: POP
00001722: POP
00001723: PUSH1 0x00
00001725: PUSH1 0x40
00001727: MLOAD
00001728: DUP1
00001729: DUP4
0000172a: SUB
0000172b: DUP2
0000172c: DUP6
0000172d: DUP9
0000172e: DUP1
0000172f: EXTCODESIZE
00001730: ISZERO
00001731: DUP1
00001732: ISZERO
00001733: PUSH2 0x173b
00001736: JUMPI
00001737: PUSH1 0x00
00001739: DUP1
0000173a: REVERT
0000173b: JUMPDEST
0000173c: POP
0000173d: GAS
0000173e: CALL
0000173f: ISZERO
00001740: DUP1
00001741: ISZERO
00001742: PUSH2 0x174f
00001745: JUMPI
00001746: RETURNDATASIZE
00001747: PUSH1 0x00
00001749: DUP1
0000174a: RETURNDATACOPY
0000174b: RETURNDATASIZE
0000174c: PUSH1 0x00
0000174e: REVERT
0000174f: JUMPDEST
00001750: POP
00001751: POP
00001752: POP
00001753: POP
00001754: POP
00001755: PUSH1 0x40
00001757: MLOAD
00001758: RETURNDATASIZE
00001759: PUSH1 0x00
0000175b: DUP3
0000175c: RETURNDATACOPY
0000175d: PUSH1 0x1f
0000175f: RETURNDATASIZE
00001760: SWAP1
00001761: DUP2
00001762: ADD
00001763: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001784: AND
00001785: DUP3
00001786: ADD
00001787: PUSH1 0x40
00001789: MSTORE
0000178a: PUSH1 0x20
0000178c: DUP2
0000178d: LT
0000178e: ISZERO
0000178f: PUSH2 0x1797
00001792: JUMPI
00001793: PUSH1 0x00
00001795: DUP1
00001796: REVERT
00001797: JUMPDEST
00001798: DUP2
00001799: ADD
0000179a: SWAP1
0000179b: DUP1
0000179c: DUP1
0000179d: MLOAD
0000179e: PUSH1 0x40
000017a0: MLOAD
000017a1: SWAP4
000017a2: SWAP3
000017a3: SWAP2
000017a4: SWAP1
000017a5: DUP5
000017a6: PUSH5 0x0100000000
000017ac: DUP3
000017ad: GT
000017ae: ISZERO
000017af: PUSH2 0x17b7
000017b2: JUMPI
000017b3: PUSH1 0x00
000017b5: DUP1
000017b6: REVERT
000017b7: JUMPDEST
000017b8: SWAP1
000017b9: DUP4
000017ba: ADD
000017bb: SWAP1
000017bc: PUSH1 0x20
000017be: DUP3
000017bf: ADD
000017c0: DUP6
000017c1: DUP2
000017c2: GT
000017c3: ISZERO
000017c4: PUSH2 0x17cc
000017c7: JUMPI
000017c8: PUSH1 0x00
000017ca: DUP1
000017cb: REVERT
000017cc: JUMPDEST
000017cd: DUP3
000017ce: MLOAD
000017cf: DUP7
000017d0: PUSH1 0x20
000017d2: DUP3
000017d3: MUL
000017d4: DUP4
000017d5: ADD
000017d6: GT
000017d7: PUSH5 0x0100000000
000017dd: DUP3
000017de: GT
000017df: OR
000017e0: ISZERO
000017e1: PUSH2 0x17e9
000017e4: JUMPI
000017e5: PUSH1 0x00
000017e7: DUP1
000017e8: REVERT
000017e9: JUMPDEST
000017ea: DUP3
000017eb: MSTORE
000017ec: POP
000017ed: DUP2
000017ee: MLOAD
000017ef: PUSH1 0x20
000017f1: SWAP2
000017f2: DUP3
000017f3: ADD
000017f4: SWAP3
000017f5: DUP3
000017f6: ADD
000017f7: SWAP2
000017f8: MUL
000017f9: DUP1
000017fa: DUP4
000017fb: DUP4
000017fc: PUSH1 0x00
000017fe: JUMPDEST
000017ff: DUP4
00001800: DUP2
00001801: LT
00001802: ISZERO
00001803: PUSH2 0x1816
00001806: JUMPI
00001807: DUP2
00001808: DUP2
00001809: ADD
0000180a: MLOAD
0000180b: DUP4
0000180c: DUP3
0000180d: ADD
0000180e: MSTORE
0000180f: PUSH1 0x20
00001811: ADD
00001812: PUSH2 0x17fe
00001815: JUMP
00001816: JUMPDEST
00001817: POP
00001818: POP
00001819: POP
0000181a: POP
0000181b: SWAP1
0000181c: POP
0000181d: ADD
0000181e: PUSH1 0x40
00001820: MSTORE
00001821: POP
00001822: POP
00001823: POP
00001824: SWAP1
00001825: POP
00001826: PUSH1 0x00
00001828: DUP2
00001829: PUSH1 0x01
0000182b: DUP4
0000182c: MLOAD
0000182d: SUB
0000182e: DUP2
0000182f: MLOAD
00001830: DUP2
00001831: LT
00001832: PUSH2 0x1837
00001835: JUMPI
00001836: INVALID
00001837: JUMPDEST
00001838: PUSH1 0x20
0000183a: MUL
0000183b: PUSH1 0x20
0000183d: ADD
0000183e: ADD
0000183f: MLOAD
00001840: SWAP1
00001841: POP
00001842: PUSH1 0x00
00001844: DUP10
00001845: DUP10
00001846: PUSH1 0x01
00001848: DUP13
00001849: DUP13
0000184a: SWAP1
0000184b: POP
0000184c: SUB
0000184d: DUP2
0000184e: DUP2
0000184f: LT
00001850: PUSH2 0x1855
00001853: JUMPI
00001854: INVALID
00001855: JUMPDEST
00001856: SWAP1
00001857: POP
00001858: PUSH1 0x20
0000185a: MUL
0000185b: ADD
0000185c: CALLDATALOAD
0000185d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001872: AND
00001873: SWAP1
00001874: POP
00001875: PUSH2 0x187f
00001878: DUP2
00001879: CALLER
0000187a: DUP5
0000187b: PUSH2 0x1c00
0000187e: JUMP
0000187f: JUMPDEST
00001880: PUSH1 0x40
00001882: DUP1
00001883: MLOAD
00001884: DUP6
00001885: DUP2
00001886: MSTORE
00001887: PUSH1 0x20
00001889: DUP2
0000188a: ADD
0000188b: DUP5
0000188c: SWAP1
0000188d: MSTORE
0000188e: DUP1
0000188f: DUP3
00001890: ADD
00001891: DUP10
00001892: SWAP1
00001893: MSTORE
00001894: SWAP1
00001895: MLOAD
00001896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ab: DUP4
000018ac: AND
000018ad: SWAP2
000018ae: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000018c3: SWAP2
000018c4: CALLER
000018c5: SWAP2
000018c6: PUSH32 0x10def950bd4ed27b0018e95ee7a16325dfc926bb40968d5ca118c4888e6b98e0
000018e7: SWAP2
000018e8: SWAP1
000018e9: DUP2
000018ea: SWAP1
000018eb: SUB
000018ec: PUSH1 0x60
000018ee: ADD
000018ef: SWAP1
000018f0: LOG4
000018f1: POP
000018f2: POP
000018f3: PUSH1 0x01
000018f5: PUSH1 0x00
000018f7: SSTORE
000018f8: POP
000018f9: POP
000018fa: POP
000018fb: POP
000018fc: POP
000018fd: POP
000018fe: POP
000018ff: POP
00001900: JUMP
00001901: JUMPDEST
00001902: PUSH1 0x01
00001904: SLOAD
00001905: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000191a: AND
0000191b: SWAP1
0000191c: JUMP
0000191d: JUMPDEST
0000191e: PUSH2 0x1925
00001921: PUSH2 0x1c27
00001924: JUMP
00001925: JUMPDEST
00001926: PUSH1 0x01
00001928: SLOAD
00001929: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000193e: SWAP1
0000193f: DUP2
00001940: AND
00001941: SWAP2
00001942: AND
00001943: EQ
00001944: PUSH2 0x19ae
00001947: JUMPI
00001948: PUSH1 0x40
0000194a: DUP1
0000194b: MLOAD
0000194c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000196d: DUP2
0000196e: MSTORE
0000196f: PUSH1 0x20
00001971: PUSH1 0x04
00001973: DUP3
00001974: ADD
00001975: DUP2
00001976: SWAP1
00001977: MSTORE
00001978: PUSH1 0x24
0000197a: DUP3
0000197b: ADD
0000197c: MSTORE
0000197d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000199e: PUSH1 0x44
000019a0: DUP3
000019a1: ADD
000019a2: MSTORE
000019a3: SWAP1
000019a4: MLOAD
000019a5: SWAP1
000019a6: DUP2
000019a7: SWAP1
000019a8: SUB
000019a9: PUSH1 0x64
000019ab: ADD
000019ac: SWAP1
000019ad: REVERT
000019ae: JUMPDEST
000019af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c4: DUP2
000019c5: AND
000019c6: PUSH2 0x1a1a
000019c9: JUMPI
000019ca: PUSH1 0x40
000019cc: MLOAD
000019cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019ee: DUP2
000019ef: MSTORE
000019f0: PUSH1 0x04
000019f2: ADD
000019f3: DUP1
000019f4: DUP1
000019f5: PUSH1 0x20
000019f7: ADD
000019f8: DUP3
000019f9: DUP2
000019fa: SUB
000019fb: DUP3
000019fc: MSTORE
000019fd: PUSH1 0x26
000019ff: DUP2
00001a00: MSTORE
00001a01: PUSH1 0x20
00001a03: ADD
00001a04: DUP1
00001a05: PUSH2 0x2290
00001a08: PUSH1 0x26
00001a0a: SWAP2
00001a0b: CODECOPY
00001a0c: PUSH1 0x40
00001a0e: ADD
00001a0f: SWAP2
00001a10: POP
00001a11: POP
00001a12: PUSH1 0x40
00001a14: MLOAD
00001a15: DUP1
00001a16: SWAP2
00001a17: SUB
00001a18: SWAP1
00001a19: REVERT
00001a1a: JUMPDEST
00001a1b: PUSH1 0x01
00001a1d: SLOAD
00001a1e: PUSH1 0x40
00001a20: MLOAD
00001a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a36: DUP1
00001a37: DUP5
00001a38: AND
00001a39: SWAP3
00001a3a: AND
00001a3b: SWAP1
00001a3c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001a5d: SWAP1
00001a5e: PUSH1 0x00
00001a60: SWAP1
00001a61: LOG3
00001a62: PUSH1 0x01
00001a64: DUP1
00001a65: SLOAD
00001a66: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001a87: AND
00001a88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9d: SWAP3
00001a9e: SWAP1
00001a9f: SWAP3
00001aa0: AND
00001aa1: SWAP2
00001aa2: SWAP1
00001aa3: SWAP2
00001aa4: OR
00001aa5: SWAP1
00001aa6: SSTORE
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: PUSH1 0x00
00001aab: PUSH2 0x1aea
00001aae: DUP4
00001aaf: DUP4
00001ab0: PUSH1 0x40
00001ab2: MLOAD
00001ab3: DUP1
00001ab4: PUSH1 0x40
00001ab6: ADD
00001ab7: PUSH1 0x40
00001ab9: MSTORE
00001aba: DUP1
00001abb: PUSH1 0x1e
00001abd: DUP2
00001abe: MSTORE
00001abf: PUSH1 0x20
00001ac1: ADD
00001ac2: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001ae3: DUP2
00001ae4: MSTORE
00001ae5: POP
00001ae6: PUSH2 0x1e90
00001ae9: JUMP
00001aea: JUMPDEST
00001aeb: SWAP4
00001aec: SWAP3
00001aed: POP
00001aee: POP
00001aef: POP
00001af0: JUMP
00001af1: JUMPDEST
00001af2: PUSH1 0x40
00001af4: DUP1
00001af5: MLOAD
00001af6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0b: DUP1
00001b0c: DUP7
00001b0d: AND
00001b0e: PUSH1 0x24
00001b10: DUP4
00001b11: ADD
00001b12: MSTORE
00001b13: DUP5
00001b14: AND
00001b15: PUSH1 0x44
00001b17: DUP3
00001b18: ADD
00001b19: MSTORE
00001b1a: PUSH1 0x64
00001b1c: DUP1
00001b1d: DUP3
00001b1e: ADD
00001b1f: DUP5
00001b20: SWAP1
00001b21: MSTORE
00001b22: DUP3
00001b23: MLOAD
00001b24: DUP1
00001b25: DUP4
00001b26: SUB
00001b27: SWAP1
00001b28: SWAP2
00001b29: ADD
00001b2a: DUP2
00001b2b: MSTORE
00001b2c: PUSH1 0x84
00001b2e: SWAP1
00001b2f: SWAP2
00001b30: ADD
00001b31: SWAP1
00001b32: SWAP2
00001b33: MSTORE
00001b34: PUSH1 0x20
00001b36: DUP2
00001b37: ADD
00001b38: DUP1
00001b39: MLOAD
00001b3a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b57: AND
00001b58: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001b79: OR
00001b7a: SWAP1
00001b7b: MSTORE
00001b7c: PUSH2 0x1b86
00001b7f: SWAP1
00001b80: DUP6
00001b81: SWAP1
00001b82: PUSH2 0x1f41
00001b85: JUMP
00001b86: JUMPDEST
00001b87: POP
00001b88: POP
00001b89: POP
00001b8a: POP
00001b8b: JUMP
00001b8c: JUMPDEST
00001b8d: PUSH1 0x00
00001b8f: DUP3
00001b90: DUP3
00001b91: ADD
00001b92: DUP4
00001b93: DUP2
00001b94: LT
00001b95: ISZERO
00001b96: PUSH2 0x1aea
00001b99: JUMPI
00001b9a: PUSH1 0x40
00001b9c: DUP1
00001b9d: MLOAD
00001b9e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bbf: DUP2
00001bc0: MSTORE
00001bc1: PUSH1 0x20
00001bc3: PUSH1 0x04
00001bc5: DUP3
00001bc6: ADD
00001bc7: MSTORE
00001bc8: PUSH1 0x1b
00001bca: PUSH1 0x24
00001bcc: DUP3
00001bcd: ADD
00001bce: MSTORE
00001bcf: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001bf0: PUSH1 0x44
00001bf2: DUP3
00001bf3: ADD
00001bf4: MSTORE
00001bf5: SWAP1
00001bf6: MLOAD
00001bf7: SWAP1
00001bf8: DUP2
00001bf9: SWAP1
00001bfa: SUB
00001bfb: PUSH1 0x64
00001bfd: ADD
00001bfe: SWAP1
00001bff: REVERT
00001c00: JUMPDEST
00001c01: DUP1
00001c02: ISZERO
00001c03: PUSH2 0x0e28
00001c06: JUMPI
00001c07: PUSH2 0x0e28
00001c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1f: DUP5
00001c20: AND
00001c21: DUP4
00001c22: DUP4
00001c23: PUSH2 0x2019
00001c26: JUMP
00001c27: JUMPDEST
00001c28: CALLER
00001c29: SWAP1
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: DUP1
00001c2d: ISZERO
00001c2e: DUP1
00001c2f: PUSH2 0x1cd7
00001c32: JUMPI
00001c33: POP
00001c34: PUSH1 0x40
00001c36: DUP1
00001c37: MLOAD
00001c38: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
00001c59: DUP2
00001c5a: MSTORE
00001c5b: ADDRESS
00001c5c: PUSH1 0x04
00001c5e: DUP3
00001c5f: ADD
00001c60: MSTORE
00001c61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c76: DUP5
00001c77: DUP2
00001c78: AND
00001c79: PUSH1 0x24
00001c7b: DUP4
00001c7c: ADD
00001c7d: MSTORE
00001c7e: SWAP2
00001c7f: MLOAD
00001c80: SWAP2
00001c81: DUP6
00001c82: AND
00001c83: SWAP2
00001c84: PUSH4 0xdd62ed3e
00001c89: SWAP2
00001c8a: PUSH1 0x44
00001c8c: DUP1
00001c8d: DUP3
00001c8e: ADD
00001c8f: SWAP3
00001c90: PUSH1 0x20
00001c92: SWAP3
00001c93: SWAP1
00001c94: SWAP2
00001c95: SWAP1
00001c96: DUP3
00001c97: SWAP1
00001c98: SUB
00001c99: ADD
00001c9a: DUP2
00001c9b: DUP7
00001c9c: DUP1
00001c9d: EXTCODESIZE
00001c9e: ISZERO
00001c9f: DUP1
00001ca0: ISZERO
00001ca1: PUSH2 0x1ca9
00001ca4: JUMPI
00001ca5: PUSH1 0x00
00001ca7: DUP1
00001ca8: REVERT
00001ca9: JUMPDEST
00001caa: POP
00001cab: GAS
00001cac: STATICCALL
00001cad: ISZERO
00001cae: DUP1
00001caf: ISZERO
00001cb0: PUSH2 0x1cbd
00001cb3: JUMPI
00001cb4: RETURNDATASIZE
00001cb5: PUSH1 0x00
00001cb7: DUP1
00001cb8: RETURNDATACOPY
00001cb9: RETURNDATASIZE
00001cba: PUSH1 0x00
00001cbc: REVERT
00001cbd: JUMPDEST
00001cbe: POP
00001cbf: POP
00001cc0: POP
00001cc1: POP
00001cc2: PUSH1 0x40
00001cc4: MLOAD
00001cc5: RETURNDATASIZE
00001cc6: PUSH1 0x20
00001cc8: DUP2
00001cc9: LT
00001cca: ISZERO
00001ccb: PUSH2 0x1cd3
00001cce: JUMPI
00001ccf: PUSH1 0x00
00001cd1: DUP1
00001cd2: REVERT
00001cd3: JUMPDEST
00001cd4: POP
00001cd5: MLOAD
00001cd6: ISZERO
00001cd7: JUMPDEST
00001cd8: PUSH2 0x1d2c
00001cdb: JUMPI
00001cdc: PUSH1 0x40
00001cde: MLOAD
00001cdf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d00: DUP2
00001d01: MSTORE
00001d02: PUSH1 0x04
00001d04: ADD
00001d05: DUP1
00001d06: DUP1
00001d07: PUSH1 0x20
00001d09: ADD
00001d0a: DUP3
00001d0b: DUP2
00001d0c: SUB
00001d0d: DUP3
00001d0e: MSTORE
00001d0f: PUSH1 0x36
00001d11: DUP2
00001d12: MSTORE
00001d13: PUSH1 0x20
00001d15: ADD
00001d16: DUP1
00001d17: PUSH2 0x22e0
00001d1a: PUSH1 0x36
00001d1c: SWAP2
00001d1d: CODECOPY
00001d1e: PUSH1 0x40
00001d20: ADD
00001d21: SWAP2
00001d22: POP
00001d23: POP
00001d24: PUSH1 0x40
00001d26: MLOAD
00001d27: DUP1
00001d28: SWAP2
00001d29: SUB
00001d2a: SWAP1
00001d2b: REVERT
00001d2c: JUMPDEST
00001d2d: PUSH1 0x40
00001d2f: DUP1
00001d30: MLOAD
00001d31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d46: DUP5
00001d47: AND
00001d48: PUSH1 0x24
00001d4a: DUP3
00001d4b: ADD
00001d4c: MSTORE
00001d4d: PUSH1 0x44
00001d4f: DUP1
00001d50: DUP3
00001d51: ADD
00001d52: DUP5
00001d53: SWAP1
00001d54: MSTORE
00001d55: DUP3
00001d56: MLOAD
00001d57: DUP1
00001d58: DUP4
00001d59: SUB
00001d5a: SWAP1
00001d5b: SWAP2
00001d5c: ADD
00001d5d: DUP2
00001d5e: MSTORE
00001d5f: PUSH1 0x64
00001d61: SWAP1
00001d62: SWAP2
00001d63: ADD
00001d64: SWAP1
00001d65: SWAP2
00001d66: MSTORE
00001d67: PUSH1 0x20
00001d69: DUP2
00001d6a: ADD
00001d6b: DUP1
00001d6c: MLOAD
00001d6d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001d8a: AND
00001d8b: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00001dac: OR
00001dad: SWAP1
00001dae: MSTORE
00001daf: PUSH2 0x0e28
00001db2: SWAP1
00001db3: DUP5
00001db4: SWAP1
00001db5: PUSH2 0x1f41
00001db8: JUMP
00001db9: JUMPDEST
00001dba: DUP1
00001dbb: ISZERO
00001dbc: PUSH2 0x1e8c
00001dbf: JUMPI
00001dc0: PUSH1 0x40
00001dc2: MLOAD
00001dc3: PUSH1 0x00
00001dc5: SWAP1
00001dc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddb: DUP5
00001ddc: AND
00001ddd: SWAP1
00001dde: DUP4
00001ddf: SWAP1
00001de0: DUP4
00001de1: DUP2
00001de2: DUP2
00001de3: DUP2
00001de4: DUP6
00001de5: DUP8
00001de6: GAS
00001de7: CALL
00001de8: SWAP3
00001de9: POP
00001dea: POP
00001deb: POP
00001dec: RETURNDATASIZE
00001ded: DUP1
00001dee: PUSH1 0x00
00001df0: DUP2
00001df1: EQ
00001df2: PUSH2 0x1e17
00001df5: JUMPI
00001df6: PUSH1 0x40
00001df8: MLOAD
00001df9: SWAP2
00001dfa: POP
00001dfb: PUSH1 0x1f
00001dfd: NOT
00001dfe: PUSH1 0x3f
00001e00: RETURNDATASIZE
00001e01: ADD
00001e02: AND
00001e03: DUP3
00001e04: ADD
00001e05: PUSH1 0x40
00001e07: MSTORE
00001e08: RETURNDATASIZE
00001e09: DUP3
00001e0a: MSTORE
00001e0b: RETURNDATASIZE
00001e0c: PUSH1 0x00
00001e0e: PUSH1 0x20
00001e10: DUP5
00001e11: ADD
00001e12: RETURNDATACOPY
00001e13: PUSH2 0x1e1c
00001e16: JUMP
00001e17: JUMPDEST
00001e18: PUSH1 0x60
00001e1a: SWAP2
00001e1b: POP
00001e1c: JUMPDEST
00001e1d: POP
00001e1e: POP
00001e1f: SWAP1
00001e20: POP
00001e21: DUP1
00001e22: PUSH2 0x0e28
00001e25: JUMPI
00001e26: PUSH1 0x40
00001e28: DUP1
00001e29: MLOAD
00001e2a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e4b: DUP2
00001e4c: MSTORE
00001e4d: PUSH1 0x20
00001e4f: PUSH1 0x04
00001e51: DUP3
00001e52: ADD
00001e53: MSTORE
00001e54: PUSH1 0x12
00001e56: PUSH1 0x24
00001e58: DUP3
00001e59: ADD
00001e5a: MSTORE
00001e5b: PUSH32 0x556e61626c6520746f2073656e64204554480000000000000000000000000000
00001e7c: PUSH1 0x44
00001e7e: DUP3
00001e7f: ADD
00001e80: MSTORE
00001e81: SWAP1
00001e82: MLOAD
00001e83: SWAP1
00001e84: DUP2
00001e85: SWAP1
00001e86: SUB
00001e87: PUSH1 0x64
00001e89: ADD
00001e8a: SWAP1
00001e8b: REVERT
00001e8c: JUMPDEST
00001e8d: POP
00001e8e: POP
00001e8f: JUMP
00001e90: JUMPDEST
00001e91: PUSH1 0x00
00001e93: DUP2
00001e94: DUP5
00001e95: DUP5
00001e96: GT
00001e97: ISZERO
00001e98: PUSH2 0x1f39
00001e9b: JUMPI
00001e9c: PUSH1 0x40
00001e9e: MLOAD
00001e9f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ec0: DUP2
00001ec1: MSTORE
00001ec2: PUSH1 0x04
00001ec4: ADD
00001ec5: DUP1
00001ec6: DUP1
00001ec7: PUSH1 0x20
00001ec9: ADD
00001eca: DUP3
00001ecb: DUP2
00001ecc: SUB
00001ecd: DUP3
00001ece: MSTORE
00001ecf: DUP4
00001ed0: DUP2
00001ed1: DUP2
00001ed2: MLOAD
00001ed3: DUP2
00001ed4: MSTORE
00001ed5: PUSH1 0x20
00001ed7: ADD
00001ed8: SWAP2
00001ed9: POP
00001eda: DUP1
00001edb: MLOAD
00001edc: SWAP1
00001edd: PUSH1 0x20
00001edf: ADD
00001ee0: SWAP1
00001ee1: DUP1
00001ee2: DUP4
00001ee3: DUP4
00001ee4: PUSH1 0x00
00001ee6: JUMPDEST
00001ee7: DUP4
00001ee8: DUP2
00001ee9: LT
00001eea: ISZERO
00001eeb: PUSH2 0x1efe
00001eee: JUMPI
00001eef: DUP2
00001ef0: DUP2
00001ef1: ADD
00001ef2: MLOAD
00001ef3: DUP4
00001ef4: DUP3
00001ef5: ADD
00001ef6: MSTORE
00001ef7: PUSH1 0x20
00001ef9: ADD
00001efa: PUSH2 0x1ee6
00001efd: JUMP
00001efe: JUMPDEST
00001eff: POP
00001f00: POP
00001f01: POP
00001f02: POP
00001f03: SWAP1
00001f04: POP
00001f05: SWAP1
00001f06: DUP2
00001f07: ADD
00001f08: SWAP1
00001f09: PUSH1 0x1f
00001f0b: AND
00001f0c: DUP1
00001f0d: ISZERO
00001f0e: PUSH2 0x1f2b
00001f11: JUMPI
00001f12: DUP1
00001f13: DUP3
00001f14: SUB
00001f15: DUP1
00001f16: MLOAD
00001f17: PUSH1 0x01
00001f19: DUP4
00001f1a: PUSH1 0x20
00001f1c: SUB
00001f1d: PUSH2 0x0100
00001f20: EXP
00001f21: SUB
00001f22: NOT
00001f23: AND
00001f24: DUP2
00001f25: MSTORE
00001f26: PUSH1 0x20
00001f28: ADD
00001f29: SWAP2
00001f2a: POP
00001f2b: JUMPDEST
00001f2c: POP
00001f2d: SWAP3
00001f2e: POP
00001f2f: POP
00001f30: POP
00001f31: PUSH1 0x40
00001f33: MLOAD
00001f34: DUP1
00001f35: SWAP2
00001f36: SUB
00001f37: SWAP1
00001f38: REVERT
00001f39: JUMPDEST
00001f3a: POP
00001f3b: POP
00001f3c: POP
00001f3d: SWAP1
00001f3e: SUB
00001f3f: SWAP1
00001f40: JUMP
00001f41: JUMPDEST
00001f42: PUSH1 0x60
00001f44: PUSH2 0x1fa3
00001f47: DUP3
00001f48: PUSH1 0x40
00001f4a: MLOAD
00001f4b: DUP1
00001f4c: PUSH1 0x40
00001f4e: ADD
00001f4f: PUSH1 0x40
00001f51: MSTORE
00001f52: DUP1
00001f53: PUSH1 0x20
00001f55: DUP2
00001f56: MSTORE
00001f57: PUSH1 0x20
00001f59: ADD
00001f5a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001f7b: DUP2
00001f7c: MSTORE
00001f7d: POP
00001f7e: DUP6
00001f7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f94: AND
00001f95: PUSH2 0x20a6
00001f98: SWAP1
00001f99: SWAP3
00001f9a: SWAP2
00001f9b: SWAP1
00001f9c: PUSH4 0xffffffff
00001fa1: AND
00001fa2: JUMP
00001fa3: JUMPDEST
00001fa4: DUP1
00001fa5: MLOAD
00001fa6: SWAP1
00001fa7: SWAP2
00001fa8: POP
00001fa9: ISZERO
00001faa: PUSH2 0x0e28
00001fad: JUMPI
00001fae: DUP1
00001faf: DUP1
00001fb0: PUSH1 0x20
00001fb2: ADD
00001fb3: SWAP1
00001fb4: MLOAD
00001fb5: PUSH1 0x20
00001fb7: DUP2
00001fb8: LT
00001fb9: ISZERO
00001fba: PUSH2 0x1fc2
00001fbd: JUMPI
00001fbe: PUSH1 0x00
00001fc0: DUP1
00001fc1: REVERT
00001fc2: JUMPDEST
00001fc3: POP
00001fc4: MLOAD
00001fc5: PUSH2 0x0e28
00001fc8: JUMPI
00001fc9: PUSH1 0x40
00001fcb: MLOAD
00001fcc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fed: DUP2
00001fee: MSTORE
00001fef: PUSH1 0x04
00001ff1: ADD
00001ff2: DUP1
00001ff3: DUP1
00001ff4: PUSH1 0x20
00001ff6: ADD
00001ff7: DUP3
00001ff8: DUP2
00001ff9: SUB
00001ffa: DUP3
00001ffb: MSTORE
00001ffc: PUSH1 0x2a
00001ffe: DUP2
00001fff: MSTORE
00002000: PUSH1 0x20
00002002: ADD
00002003: DUP1
00002004: PUSH2 0x22b6
00002007: PUSH1 0x2a
00002009: SWAP2
0000200a: CODECOPY
0000200b: PUSH1 0x40
0000200d: ADD
0000200e: SWAP2
0000200f: POP
00002010: POP
00002011: PUSH1 0x40
00002013: MLOAD
00002014: DUP1
00002015: SWAP2
00002016: SUB
00002017: SWAP1
00002018: REVERT
00002019: JUMPDEST
0000201a: PUSH1 0x40
0000201c: DUP1
0000201d: MLOAD
0000201e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002033: DUP5
00002034: AND
00002035: PUSH1 0x24
00002037: DUP3
00002038: ADD
00002039: MSTORE
0000203a: PUSH1 0x44
0000203c: DUP1
0000203d: DUP3
0000203e: ADD
0000203f: DUP5
00002040: SWAP1
00002041: MSTORE
00002042: DUP3
00002043: MLOAD
00002044: DUP1
00002045: DUP4
00002046: SUB
00002047: SWAP1
00002048: SWAP2
00002049: ADD
0000204a: DUP2
0000204b: MSTORE
0000204c: PUSH1 0x64
0000204e: SWAP1
0000204f: SWAP2
00002050: ADD
00002051: SWAP1
00002052: SWAP2
00002053: MSTORE
00002054: PUSH1 0x20
00002056: DUP2
00002057: ADD
00002058: DUP1
00002059: MLOAD
0000205a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002077: AND
00002078: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002099: OR
0000209a: SWAP1
0000209b: MSTORE
0000209c: PUSH2 0x0e28
0000209f: SWAP1
000020a0: DUP5
000020a1: SWAP1
000020a2: PUSH2 0x1f41
000020a5: JUMP
000020a6: JUMPDEST
000020a7: PUSH1 0x60
000020a9: PUSH2 0x20b5
000020ac: DUP5
000020ad: DUP5
000020ae: PUSH1 0x00
000020b0: DUP6
000020b1: PUSH2 0x20bd
000020b4: JUMP
000020b5: JUMPDEST
000020b6: SWAP5
000020b7: SWAP4
000020b8: POP
000020b9: POP
000020ba: POP
000020bb: POP
000020bc: JUMP
000020bd: JUMPDEST
000020be: PUSH1 0x60
000020c0: PUSH2 0x20c8
000020c3: DUP6
000020c4: PUSH2 0x2289
000020c7: JUMP
000020c8: JUMPDEST
000020c9: PUSH2 0x2133
000020cc: JUMPI
000020cd: PUSH1 0x40
000020cf: DUP1
000020d0: MLOAD
000020d1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020f2: DUP2
000020f3: MSTORE
000020f4: PUSH1 0x20
000020f6: PUSH1 0x04
000020f8: DUP3
000020f9: ADD
000020fa: MSTORE
000020fb: PUSH1 0x1d
000020fd: PUSH1 0x24
000020ff: DUP3
00002100: ADD
00002101: MSTORE
00002102: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002123: PUSH1 0x44
00002125: DUP3
00002126: ADD
00002127: MSTORE
00002128: SWAP1
00002129: MLOAD
0000212a: SWAP1
0000212b: DUP2
0000212c: SWAP1
0000212d: SUB
0000212e: PUSH1 0x64
00002130: ADD
00002131: SWAP1
00002132: REVERT
00002133: JUMPDEST
00002134: PUSH1 0x00
00002136: PUSH1 0x60
00002138: DUP7
00002139: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214e: AND
0000214f: DUP6
00002150: DUP8
00002151: PUSH1 0x40
00002153: MLOAD
00002154: DUP1
00002155: DUP3
00002156: DUP1
00002157: MLOAD
00002158: SWAP1
00002159: PUSH1 0x20
0000215b: ADD
0000215c: SWAP1
0000215d: DUP1
0000215e: DUP4
0000215f: DUP4
00002160: JUMPDEST
00002161: PUSH1 0x20
00002163: DUP4
00002164: LT
00002165: PUSH2 0x219d
00002168: JUMPI
00002169: DUP1
0000216a: MLOAD
0000216b: DUP3
0000216c: MSTORE
0000216d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000218e: SWAP1
0000218f: SWAP3
00002190: ADD
00002191: SWAP2
00002192: PUSH1 0x20
00002194: SWAP2
00002195: DUP3
00002196: ADD
00002197: SWAP2
00002198: ADD
00002199: PUSH2 0x2160
0000219c: JUMP
0000219d: JUMPDEST
0000219e: PUSH1 0x01
000021a0: DUP4
000021a1: PUSH1 0x20
000021a3: SUB
000021a4: PUSH2 0x0100
000021a7: EXP
000021a8: SUB
000021a9: DUP1
000021aa: NOT
000021ab: DUP3
000021ac: MLOAD
000021ad: AND
000021ae: DUP2
000021af: DUP5
000021b0: MLOAD
000021b1: AND
000021b2: DUP1
000021b3: DUP3
000021b4: OR
000021b5: DUP6
000021b6: MSTORE
000021b7: POP
000021b8: POP
000021b9: POP
000021ba: POP
000021bb: POP
000021bc: POP
000021bd: SWAP1
000021be: POP
000021bf: ADD
000021c0: SWAP2
000021c1: POP
000021c2: POP
000021c3: PUSH1 0x00
000021c5: PUSH1 0x40
000021c7: MLOAD
000021c8: DUP1
000021c9: DUP4
000021ca: SUB
000021cb: DUP2
000021cc: DUP6
000021cd: DUP8
000021ce: GAS
000021cf: CALL
000021d0: SWAP3
000021d1: POP
000021d2: POP
000021d3: POP
000021d4: RETURNDATASIZE
000021d5: DUP1
000021d6: PUSH1 0x00
000021d8: DUP2
000021d9: EQ
000021da: PUSH2 0x21ff
000021dd: JUMPI
000021de: PUSH1 0x40
000021e0: MLOAD
000021e1: SWAP2
000021e2: POP
000021e3: PUSH1 0x1f
000021e5: NOT
000021e6: PUSH1 0x3f
000021e8: RETURNDATASIZE
000021e9: ADD
000021ea: AND
000021eb: DUP3
000021ec: ADD
000021ed: PUSH1 0x40
000021ef: MSTORE
000021f0: RETURNDATASIZE
000021f1: DUP3
000021f2: MSTORE
000021f3: RETURNDATASIZE
000021f4: PUSH1 0x00
000021f6: PUSH1 0x20
000021f8: DUP5
000021f9: ADD
000021fa: RETURNDATACOPY
000021fb: PUSH2 0x2204
000021fe: JUMP
000021ff: JUMPDEST
00002200: PUSH1 0x60
00002202: SWAP2
00002203: POP
00002204: JUMPDEST
00002205: POP
00002206: SWAP2
00002207: POP
00002208: SWAP2
00002209: POP
0000220a: DUP2
0000220b: ISZERO
0000220c: PUSH2 0x2218
0000220f: JUMPI
00002210: SWAP2
00002211: POP
00002212: PUSH2 0x20b5
00002215: SWAP1
00002216: POP
00002217: JUMP
00002218: JUMPDEST
00002219: DUP1
0000221a: MLOAD
0000221b: ISZERO
0000221c: PUSH2 0x2228
0000221f: JUMPI
00002220: DUP1
00002221: MLOAD
00002222: DUP1
00002223: DUP3
00002224: PUSH1 0x20
00002226: ADD
00002227: REVERT
00002228: JUMPDEST
00002229: PUSH1 0x40
0000222b: MLOAD
0000222c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000224d: DUP2
0000224e: MSTORE
0000224f: PUSH1 0x20
00002251: PUSH1 0x04
00002253: DUP3
00002254: ADD
00002255: DUP2
00002256: DUP2
00002257: MSTORE
00002258: DUP7
00002259: MLOAD
0000225a: PUSH1 0x24
0000225c: DUP5
0000225d: ADD
0000225e: MSTORE
0000225f: DUP7
00002260: MLOAD
00002261: DUP8
00002262: SWAP4
00002263: SWAP2
00002264: SWAP3
00002265: DUP4
00002266: SWAP3
00002267: PUSH1 0x44
00002269: ADD
0000226a: SWAP2
0000226b: SWAP1
0000226c: DUP6
0000226d: ADD
0000226e: SWAP1
0000226f: DUP1
00002270: DUP4
00002271: DUP4
00002272: PUSH1 0x00
00002274: DUP4
00002275: ISZERO
00002276: PUSH2 0x1efe
00002279: JUMPI
0000227a: DUP2
0000227b: DUP2
0000227c: ADD
0000227d: MLOAD
0000227e: DUP4
0000227f: DUP3
00002280: ADD
00002281: MSTORE
00002282: PUSH1 0x20
00002284: ADD
00002285: PUSH2 0x1ee6
00002288: JUMP
00002289: JUMPDEST
0000228a: EXTCODESIZE
0000228b: ISZERO
0000228c: ISZERO
0000228d: SWAP1
0000228e: JUMP
0000228f: INVALID
00002290: UNKNOWN(0x4F)
00002291: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
000022aa: PUSH27 0x65726f20616464726573735361666545524332303a204552433230
000022c6: KECCAK256
000022c7: PUSH16 0x7065726174696f6e20646964206e6f74
000022d8: KECCAK256
000022d9: PUSH20 0x7563636565645361666545524332303a20617070
000022ee: PUSH19 0x6f76652066726f6d206e6f6e2d7a65726f2074
00002302: PUSH16 0x206e6f6e2d7a65726f20616c6c6f7761
00002313: PUSH15 0x6365a2646970667358221220b705aa
00002323: PUSH6 0x0621f99645a4
0000232a: TIMESTAMP
0000232b: UNKNOWN(0x0E)
0000232c: DIV
0000232d: JUMPDEST
0000232e: UNKNOWN(0xD9)
0000232f: UNKNOWN(0xAA)
00002330: UNKNOWN(0xB0)
00002331: DUP2
00002332: UNKNOWN(0xB3)
00002333: LOG4
00002334: SELFBALANCE
00002335: PUSH10 0xfd104e726a68836ce343
00002340: PUSH5 0x736f6c6343
00002346: STOP
00002347: MOD
00002348: UNKNOWN(0x0C)
00002349: STOP
0000234a: CALLER
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: 0x4239f0b2aa0558d78d46fbf084e26e21a07fb80c516682f043d3718f0f67d19b call_targets: 0x8df6084e3b84a65ab9dd2325b5422e5debd8944a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4239f0b2aa0558d78d46fbf084e26e21a07fb80c516682f043d3718f0f67d19b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8df6084e3b84a65ab9dd2325b5422e5debd8944a" ], "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": "0x886ccce3", "selector": "0x886ccce3", "calldata_variants": [ "0x886ccce3", "0x886ccce30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x77a1736b", "selector": "0x77a1736b", "calldata_variants": [ "0x77a1736b", "0x77a1736b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x88240fff", "selector": "0x88240fff", "calldata_variants": [ "0x88240fff", "0x88240fff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1c31f710", "selector": "0x1c31f710", "calldata_variants": [ "0x1c31f710", "0x1c31f7100000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x565a2e2c", "selector": "0x565a2e2c", "calldata_variants": [ "0x565a2e2c", "0x565a2e2c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2118, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4775, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5950, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [], "untrusted_call_count": 5 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x4239f0b2aa0558d78d46fbf084e26e21a07fb80c516682f043d3718f0f67d19b call_targets: 0x8df6084e3b84a65ab9dd2325b5422e5debd8944a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4239f0b2aa0558d78d46fbf084e26e21a07fb80c516682f043d3718f0f67d19b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8df6084e3b84a65ab9dd2325b5422e5debd8944a" ], "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": "0x886ccce3", "selector": "0x886ccce3", "calldata_variants": [ "0x886ccce3", "0x886ccce30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x77a1736b", "selector": "0x77a1736b", "calldata_variants": [ "0x77a1736b", "0x77a1736b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x88240fff", "selector": "0x88240fff", "calldata_variants": [ "0x88240fff", "0x88240fff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1c31f710", "selector": "0x1c31f710", "calldata_variants": [ "0x1c31f710", "0x1c31f7100000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x565a2e2c", "selector": "0x565a2e2c", "calldata_variants": [ "0x565a2e2c", "0x565a2e2c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2118, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4775, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5950, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [] }
Severity