e4e94acd-cf87-4d2e-8419-14ccf0cdd5d4
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 31767 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 96025 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 96026 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 96027 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 96028 | capability.graph | complete | 1 / 3 | 1 week ago |
| 96029 | detector.run | complete | 1 / 3 | 1 week ago |
| 96030 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:600425] OpenAI Codex v0.77.0 (research preview)
[codex:600425] --------
[codex:600425] workdir: /tmp/codex-multi-izqlzqmg
[codex:600425] model: gpt-5.2-codex
[codex:600425] provider: openai
[codex:600425] approval: never
[codex:600425] sandbox: read-only
[codex:600425] reasoning effort: xhigh
[codex:600425] reasoning summaries: auto
[codex:600425] session id: 019b8fec-a8f1-7041-8cd3-80728af9b635
[codex:600425] --------
[codex:600425] user
[codex:600425] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:600425]
[codex:600425] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:600425]
[codex:600425] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:600425] - Gas inefficiency, code quality, naming, or best practices
[codex:600425] - Theoretical vulnerabilities without a clear extraction path
[codex:600425] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:600425] - Front-running unless it enables theft beyond MEV
[codex:600425] - DoS, griefing, or issues that don't result in attacker profit
[codex:600425] - Missing events, view function issues, or informational findings
[codex:600425]
[codex:600425] HIGH-VALUE PATTERNS TO HUNT:
[codex:600425] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:600425] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:600425] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:600425] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:600425] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:600425] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:600425] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:600425] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:600425] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:600425]
[codex:600425] For each finding, you MUST provide:
[codex:600425] 1. Exact file and line numbers of vulnerable code
[codex:600425] 2. Step-by-step exploit transaction sequence
[codex:600425] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:600425]
[codex:600425] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:600425]
[codex:600425] Output MUST be valid JSON matching the provided schema.
[codex:600425] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:600425] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:600425] mcp startup: no servers
[codex:600425]
[codex:600425] thinking
[codex:600425] **Preparing to review AGENTS skills**
[codex:600425] exec
[codex:600425] /bin/bash -lc ls in /tmp/codex-multi-izqlzqmg succeeded in 9ms:
[codex:600425] AUDIT_BUNDLE.txt
[codex:600425] codex-output-schema.json
[codex:600425] contracts
[codex:600425]
[codex:600425] thinking
[codex:600425] **Reading AUDIT_BUNDLE.txt file**
[codex:600425] exec
[codex:600425] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-izqlzqmg succeeded in 7ms:
[codex:600425] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:600425]
[codex:600425] ================================================================================
[codex:600425] FILE: contracts/contracts/PartyBid.sol
[codex:600425] ================================================================================
[codex:600425] /*
[codex:600425]
[codex:600425] ___ ___ ___ ___ ___ ___ ___
[codex:600425] /\ \ /\ \ /\ \ /\ \ |\__\ /\ \ ___ /\ \
[codex:600425] /::\ \ /::\ \ /::\ \ \:\ \ |:| | /::\ \ /\ \ /::\ \
[codex:600425] /:/\:\ \ /:/\:\ \ /:/\:\ \ \:\ \ |:| | /:/\:\ \ \:\ \ /:/\:\ \
[codex:600425] /::\~\:\ \ /::\~\:\ \ /::\~\:\ \ /::\ \ |:|__|__ /::\~\:\__\ /::\__\ /:/ \:\__\
[codex:600425] /:/\:\ \:\__\ /:/\:\ \:\__\ /:/\:\ \:\__\ /:/\:\__\ /::::\__\ /:/\:\ \:|__| __/:/\/__/ /:/__/ \:|__|
[codex:600425] \/__\:\/:/ / \/__\:\/:/ / \/_|::\/:/ / /:/ \/__/ /:/~~/~ \:\~\:\/:/ / /\/:/ / \:\ \ /:/ /
[codex:600425] \::/ / \::/ / |:|::/ / /:/ / /:/ / \:\ \::/ / \::/__/ \:\ /:/ /
[codex:600425] \/__/ /:/ / |:|\/__/ \/__/ \/__/ \:\/:/ / \:\__\ \:\/:/ /
[codex:600425] /:/ / |:| | \::/__/ \/__/ \::/__/
[codex:600425] \/__/ \|__| ~~ ~~
[codex:600425]
[codex:600425] PartyBid v1
[codex:600425]
[codex:600425]
[codex:600425]
[codex:600425]
[codex:600425] thinking
[codex:600425] **Analyzing PartyBid delegatecall risks**
[codex:600425] thinking
[codex:600425] **Reviewing auction token distribution and reentrancy**
[codex:600425]
[codex:600425] I’m exploring early vs. late contributions, token inflation logic, reentrancy protections, and effects of malicious external contracts in fractionalization. The detailed flow shows no clear exploitation for profit besides the known theoretical risk of unprotected initialization leading to malicious marketWrapper setup—but that depends on deployment assumptions, so no definite exploit emerges here.
[codex:600425] thinking
[codex:600425] **Summarizing unprotected initialization risks and exploit scenarios**
[codex:600425]
[codex:600425] I’m laying out how leaving the contract uninitialized lets anyone call initialize to set malicious marketWrapper and NFT contracts, enabling theft via delegatecall bids and token minting on fake wins. This is a concrete exploit path if deployment doesn't atomically initialize, so it’s a crucial risk to highlight despite deployment uncertainties.
[codex:600425] thinking
[codex:600425] **Confirming absence of concrete exploit paths**
[codex:600425]
[codex:600425] I’m reviewing deployment scenarios and initialization assumptions, concluding there’s no clear exploitable profit path in PartyBid.sol given typical factory patterns and trusted dependencies. I’ll provide the required JSON with a clean summary and no findings.
[codex:600425] codex
[codex:600425] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided sources.","findings":[]}
[codex:600425] tokens used
[codex:600425] 21,122
[codex:600425] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided sources.","findings":[]}
{
"codex": {
"ran_at": "2026-01-05T20:53:50.640906+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path identified in the provided sources.",
"raw_final": {
"summary": "No concrete, exploitable profit path identified in the provided sources.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01fe 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x65c35e26 00000019: GT 0000001a: PUSH2 0x011d 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd56d229d 00000024: GT 00000025: PUSH2 0x00b0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdf51c07f 0000002f: GT 00000030: PUSH2 0x007f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf0c690ca 0000003a: GT 0000003b: PUSH2 0x0064 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf0c690ca 00000045: EQ 00000046: PUSH2 0x069e 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfb346eab 00000050: EQ 00000051: PUSH2 0x06be 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xffa1ad74 0000005b: EQ 0000005c: PUSH2 0x06d4 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xdf51c07f 0000006b: EQ 0000006c: PUSH2 0x064a 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xef38bf01 00000076: EQ 00000077: PUSH2 0x0671 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0xd56d229d 00000086: EQ 00000087: PUSH2 0x05ea 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0xd57bde79 00000091: EQ 00000092: PUSH2 0x0617 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xd7bb99ba 0000009c: EQ 0000009d: PUSH2 0x062d 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xdd06ba1a 000000a7: EQ 000000a8: PUSH2 0x0635 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x9744b8dc 000000b7: GT 000000b8: PUSH2 0x00ec 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x9744b8dc 000000c2: EQ 000000c3: PUSH2 0x052f 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0xa0f243b8 000000cd: EQ 000000ce: PUSH2 0x054f 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0xc4bf0220 000000d8: EQ 000000d9: PUSH2 0x057c 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xc884ef83 000000e3: EQ 000000e4: PUSH2 0x05aa 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x65c35e26 000000f3: EQ 000000f4: PUSH2 0x04c4 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x6971524f 000000fe: EQ 000000ff: PUSH2 0x04e4 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x82a5c69a 00000109: EQ 0000010a: PUSH2 0x0504 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x95d89b41 00000114: EQ 00000115: PUSH2 0x051a 00000118: JUMPI 00000119: PUSH1 0x00 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: DUP1 0000011f: PUSH4 0x2bbce5e6 00000124: GT 00000125: PUSH2 0x0195 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x4367a029 0000012f: GT 00000130: PUSH2 0x0164 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0x4367a029 0000013a: EQ 0000013b: PUSH2 0x0420 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x4bb278f3 00000145: EQ 00000146: PUSH2 0x044d 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x550b521c 00000150: EQ 00000151: PUSH2 0x0462 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x5bc789d9 0000015b: EQ 0000015c: PUSH2 0x0497 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x2bbce5e6 0000016b: EQ 0000016c: PUSH2 0x0382 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x3c4d12d9 00000176: EQ 00000177: PUSH2 0x0398 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x3fc8cef3 00000181: EQ 00000182: PUSH2 0x03cc 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x429093cc 0000018c: EQ 0000018d: PUSH2 0x0400 00000190: JUMPI 00000191: PUSH1 0x00 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: DUP1 00000197: PUSH4 0x17821fdc 0000019c: GT 0000019d: PUSH2 0x01d1 000001a0: JUMPI 000001a1: DUP1 000001a2: PUSH4 0x17821fdc 000001a7: EQ 000001a8: PUSH2 0x0320 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x17d70f7c 000001b2: EQ 000001b3: PUSH2 0x0337 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x1998aeef 000001bd: EQ 000001be: PUSH2 0x034d 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x1e83409a 000001c8: EQ 000001c9: PUSH2 0x0362 000001cc: JUMPI 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: DUP1 000001d3: PUSH4 0x06fdde03 000001d8: EQ 000001d9: PUSH2 0x0203 000001dc: JUMPI 000001dd: DUP1 000001de: PUSH4 0x0b203023 000001e3: EQ 000001e4: PUSH2 0x022e 000001e7: JUMPI 000001e8: DUP1 000001e9: PUSH4 0x10782f8f 000001ee: EQ 000001ef: PUSH2 0x0287 000001f2: JUMPI 000001f3: DUP1 000001f4: PUSH4 0x150b7a02 000001f9: EQ 000001fa: PUSH2 0x02ab 000001fd: JUMPI 000001fe: JUMPDEST 000001ff: PUSH1 0x00 00000201: DUP1 00000202: REVERT 00000203: JUMPDEST 00000204: CALLVALUE 00000205: DUP1 00000206: ISZERO 00000207: PUSH2 0x020f 0000020a: JUMPI 0000020b: PUSH1 0x00 0000020d: DUP1 0000020e: REVERT 0000020f: JUMPDEST 00000210: POP 00000211: PUSH2 0x0218 00000214: PUSH2 0x06fc 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH1 0x40 0000021b: MLOAD 0000021c: PUSH2 0x0225 0000021f: SWAP2 00000220: SWAP1 00000221: PUSH2 0x37be 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH1 0x40 00000228: MLOAD 00000229: DUP1 0000022a: SWAP2 0000022b: SUB 0000022c: SWAP1 0000022d: RETURN 0000022e: JUMPDEST 0000022f: CALLVALUE 00000230: DUP1 00000231: ISZERO 00000232: PUSH2 0x023a 00000235: JUMPI 00000236: PUSH1 0x00 00000238: DUP1 00000239: REVERT 0000023a: JUMPDEST 0000023b: POP 0000023c: PUSH2 0x0262 0000023f: PUSH32 0x00000000000000000000000085aa7f78bdb2de8f3e0c0010d99ad5853ffcfc63 00000260: DUP2 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH1 0x40 00000265: MLOAD 00000266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027b: SWAP1 0000027c: SWAP2 0000027d: AND 0000027e: DUP2 0000027f: MSTORE 00000280: PUSH1 0x20 00000282: ADD 00000283: PUSH2 0x0225 00000286: JUMP 00000287: JUMPDEST 00000288: CALLVALUE 00000289: DUP1 0000028a: ISZERO 0000028b: PUSH2 0x0293 0000028e: JUMPI 0000028f: PUSH1 0x00 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: POP 00000295: PUSH2 0x029d 00000298: PUSH1 0x68 0000029a: SLOAD 0000029b: DUP2 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x40 000002a0: MLOAD 000002a1: SWAP1 000002a2: DUP2 000002a3: MSTORE 000002a4: PUSH1 0x20 000002a6: ADD 000002a7: PUSH2 0x0225 000002aa: JUMP 000002ab: JUMPDEST 000002ac: CALLVALUE 000002ad: DUP1 000002ae: ISZERO 000002af: PUSH2 0x02b7 000002b2: JUMPI 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: REVERT 000002b7: JUMPDEST 000002b8: POP 000002b9: PUSH2 0x02ef 000002bc: PUSH2 0x02c6 000002bf: CALLDATASIZE 000002c0: PUSH1 0x04 000002c2: PUSH2 0x338c 000002c5: JUMP 000002c6: JUMPDEST 000002c7: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 000002e8: SWAP5 000002e9: SWAP4 000002ea: POP 000002eb: POP 000002ec: POP 000002ed: POP 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH1 0x40 000002f2: MLOAD 000002f3: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000314: SWAP1 00000315: SWAP2 00000316: AND 00000317: DUP2 00000318: MSTORE 00000319: PUSH1 0x20 0000031b: ADD 0000031c: PUSH2 0x0225 0000031f: JUMP 00000320: JUMPDEST 00000321: CALLVALUE 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: PUSH2 0x0335 00000331: PUSH2 0x078a 00000334: JUMP 00000335: JUMPDEST 00000336: STOP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: DUP1 0000033a: ISZERO 0000033b: PUSH2 0x0343 0000033e: JUMPI 0000033f: PUSH1 0x00 00000341: DUP1 00000342: REVERT 00000343: JUMPDEST 00000344: POP 00000345: PUSH2 0x029d 00000348: PUSH1 0x69 0000034a: SLOAD 0000034b: DUP2 0000034c: JUMP 0000034d: JUMPDEST 0000034e: CALLVALUE 0000034f: DUP1 00000350: ISZERO 00000351: PUSH2 0x0359 00000354: JUMPI 00000355: PUSH1 0x00 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: POP 0000035b: PUSH2 0x0335 0000035e: PUSH2 0x08c4 00000361: JUMP 00000362: JUMPDEST 00000363: CALLVALUE 00000364: DUP1 00000365: ISZERO 00000366: PUSH2 0x036e 00000369: JUMPI 0000036a: PUSH1 0x00 0000036c: DUP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: POP 00000370: PUSH2 0x0335 00000373: PUSH2 0x037d 00000376: CALLDATASIZE 00000377: PUSH1 0x04 00000379: PUSH2 0x334b 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH2 0x0ff0 00000381: JUMP 00000382: JUMPDEST 00000383: CALLVALUE 00000384: DUP1 00000385: ISZERO 00000386: PUSH2 0x038e 00000389: JUMPI 0000038a: PUSH1 0x00 0000038c: DUP1 0000038d: REVERT 0000038e: JUMPDEST 0000038f: POP 00000390: PUSH2 0x029d 00000393: PUSH1 0x6b 00000395: SLOAD 00000396: DUP2 00000397: JUMP 00000398: JUMPDEST 00000399: CALLVALUE 0000039a: DUP1 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH2 0x0262 000003a9: PUSH32 0x000000000000000000000000f7f52dd34bc21eda08c0b804c7c1dbc48375820f 000003ca: DUP2 000003cb: JUMP 000003cc: JUMPDEST 000003cd: CALLVALUE 000003ce: DUP1 000003cf: ISZERO 000003d0: PUSH2 0x03d8 000003d3: JUMPI 000003d4: PUSH1 0x00 000003d6: DUP1 000003d7: REVERT 000003d8: JUMPDEST 000003d9: POP 000003da: PUSH2 0x0262 000003dd: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000003fe: DUP2 000003ff: JUMP 00000400: JUMPDEST 00000401: CALLVALUE 00000402: DUP1 00000403: ISZERO 00000404: PUSH2 0x040c 00000407: JUMPI 00000408: PUSH1 0x00 0000040a: DUP1 0000040b: REVERT 0000040c: JUMPDEST 0000040d: POP 0000040e: PUSH2 0x0335 00000411: PUSH2 0x041b 00000414: CALLDATASIZE 00000415: PUSH1 0x04 00000417: PUSH2 0x354f 0000041a: JUMP 0000041b: JUMPDEST 0000041c: PUSH2 0x1352 0000041f: JUMP 00000420: JUMPDEST 00000421: CALLVALUE 00000422: DUP1 00000423: ISZERO 00000424: PUSH2 0x042c 00000427: JUMPI 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: REVERT 0000042c: JUMPDEST 0000042d: POP 0000042e: PUSH1 0x6a 00000430: SLOAD 00000431: PUSH2 0x0262 00000434: SWAP1 00000435: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044a: AND 0000044b: DUP2 0000044c: JUMP 0000044d: JUMPDEST 0000044e: CALLVALUE 0000044f: DUP1 00000450: ISZERO 00000451: PUSH2 0x0459 00000454: JUMPI 00000455: PUSH1 0x00 00000457: DUP1 00000458: REVERT 00000459: JUMPDEST 0000045a: POP 0000045b: PUSH2 0x0335 0000045e: PUSH2 0x1444 00000461: JUMP 00000462: JUMPDEST 00000463: CALLVALUE 00000464: DUP1 00000465: ISZERO 00000466: PUSH2 0x046e 00000469: JUMPI 0000046a: PUSH1 0x00 0000046c: DUP1 0000046d: REVERT 0000046e: JUMPDEST 0000046f: POP 00000470: PUSH2 0x0482 00000473: PUSH2 0x047d 00000476: CALLDATASIZE 00000477: PUSH1 0x04 00000479: PUSH2 0x3501 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH2 0x17ce 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH1 0x40 00000485: DUP1 00000486: MLOAD 00000487: SWAP3 00000488: DUP4 00000489: MSTORE 0000048a: PUSH1 0x20 0000048c: DUP4 0000048d: ADD 0000048e: SWAP2 0000048f: SWAP1 00000490: SWAP2 00000491: MSTORE 00000492: ADD 00000493: PUSH2 0x0225 00000496: JUMP 00000497: JUMPDEST 00000498: CALLVALUE 00000499: DUP1 0000049a: ISZERO 0000049b: PUSH2 0x04a3 0000049e: JUMPI 0000049f: PUSH1 0x00 000004a1: DUP1 000004a2: REVERT 000004a3: JUMPDEST 000004a4: POP 000004a5: PUSH1 0x67 000004a7: SLOAD 000004a8: PUSH2 0x0262 000004ab: SWAP1 000004ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c1: AND 000004c2: DUP2 000004c3: JUMP 000004c4: JUMPDEST 000004c5: CALLVALUE 000004c6: DUP1 000004c7: ISZERO 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: POP 000004d2: PUSH2 0x0335 000004d5: PUSH2 0x04df 000004d8: CALLDATASIZE 000004d9: PUSH1 0x04 000004db: PUSH2 0x33f8 000004de: JUMP 000004df: JUMPDEST 000004e0: PUSH2 0x180a 000004e3: JUMP 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: DUP1 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH2 0x0482 000004f5: PUSH2 0x04ff 000004f8: CALLDATASIZE 000004f9: PUSH1 0x04 000004fb: PUSH2 0x334b 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH2 0x1d3d 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 0x029d 00000515: PUSH1 0x6f 00000517: SLOAD 00000518: DUP2 00000519: JUMP 0000051a: JUMPDEST 0000051b: CALLVALUE 0000051c: DUP1 0000051d: ISZERO 0000051e: PUSH2 0x0526 00000521: JUMPI 00000522: PUSH1 0x00 00000524: DUP1 00000525: REVERT 00000526: JUMPDEST 00000527: POP 00000528: PUSH2 0x0218 0000052b: PUSH2 0x1e8c 0000052e: JUMP 0000052f: JUMPDEST 00000530: CALLVALUE 00000531: DUP1 00000532: ISZERO 00000533: PUSH2 0x053b 00000536: JUMPI 00000537: PUSH1 0x00 00000539: DUP1 0000053a: REVERT 0000053b: JUMPDEST 0000053c: POP 0000053d: PUSH2 0x029d 00000540: PUSH2 0x054a 00000543: CALLDATASIZE 00000544: PUSH1 0x04 00000546: PUSH2 0x354f 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH2 0x1e99 0000054e: JUMP 0000054f: JUMPDEST 00000550: CALLVALUE 00000551: DUP1 00000552: ISZERO 00000553: PUSH2 0x055b 00000556: JUMPI 00000557: PUSH1 0x00 00000559: DUP1 0000055a: REVERT 0000055b: JUMPDEST 0000055c: POP 0000055d: PUSH2 0x029d 00000560: PUSH2 0x056a 00000563: CALLDATASIZE 00000564: PUSH1 0x04 00000566: PUSH2 0x334b 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH1 0x73 0000056d: PUSH1 0x20 0000056f: MSTORE 00000570: PUSH1 0x00 00000572: SWAP1 00000573: DUP2 00000574: MSTORE 00000575: PUSH1 0x40 00000577: SWAP1 00000578: KECCAK256 00000579: SLOAD 0000057a: DUP2 0000057b: JUMP 0000057c: JUMPDEST 0000057d: CALLVALUE 0000057e: DUP1 0000057f: ISZERO 00000580: PUSH2 0x0588 00000583: JUMPI 00000584: PUSH1 0x00 00000586: DUP1 00000587: REVERT 00000588: JUMPDEST 00000589: POP 0000058a: PUSH2 0x059c 0000058d: PUSH2 0x0597 00000590: CALLDATASIZE 00000591: PUSH1 0x04 00000593: PUSH2 0x34b1 00000596: JUMP 00000597: JUMPDEST 00000598: PUSH2 0x1ead 0000059b: JUMP 0000059c: JUMPDEST 0000059d: PUSH1 0x40 0000059f: MLOAD 000005a0: PUSH2 0x0225 000005a3: SWAP3 000005a4: SWAP2 000005a5: SWAP1 000005a6: PUSH2 0x3764 000005a9: JUMP 000005aa: JUMPDEST 000005ab: CALLVALUE 000005ac: DUP1 000005ad: ISZERO 000005ae: PUSH2 0x05b6 000005b1: JUMPI 000005b2: PUSH1 0x00 000005b4: DUP1 000005b5: REVERT 000005b6: JUMPDEST 000005b7: POP 000005b8: PUSH2 0x05da 000005bb: PUSH2 0x05c5 000005be: CALLDATASIZE 000005bf: PUSH1 0x04 000005c1: PUSH2 0x334b 000005c4: JUMP 000005c5: JUMPDEST 000005c6: PUSH1 0x74 000005c8: PUSH1 0x20 000005ca: MSTORE 000005cb: PUSH1 0x00 000005cd: SWAP1 000005ce: DUP2 000005cf: MSTORE 000005d0: PUSH1 0x40 000005d2: SWAP1 000005d3: KECCAK256 000005d4: SLOAD 000005d5: PUSH1 0xff 000005d7: AND 000005d8: DUP2 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: SWAP1 000005df: ISZERO 000005e0: ISZERO 000005e1: DUP2 000005e2: MSTORE 000005e3: PUSH1 0x20 000005e5: ADD 000005e6: PUSH2 0x0225 000005e9: JUMP 000005ea: JUMPDEST 000005eb: CALLVALUE 000005ec: DUP1 000005ed: ISZERO 000005ee: PUSH2 0x05f6 000005f1: JUMPI 000005f2: PUSH1 0x00 000005f4: DUP1 000005f5: REVERT 000005f6: JUMPDEST 000005f7: POP 000005f8: PUSH1 0x66 000005fa: SLOAD 000005fb: PUSH2 0x0262 000005fe: SWAP1 000005ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000614: AND 00000615: DUP2 00000616: JUMP 00000617: JUMPDEST 00000618: CALLVALUE 00000619: DUP1 0000061a: ISZERO 0000061b: PUSH2 0x0623 0000061e: JUMPI 0000061f: PUSH1 0x00 00000621: DUP1 00000622: REVERT 00000623: JUMPDEST 00000624: POP 00000625: PUSH2 0x029d 00000628: PUSH1 0x70 0000062a: SLOAD 0000062b: DUP2 0000062c: JUMP 0000062d: JUMPDEST 0000062e: PUSH2 0x0335 00000631: PUSH2 0x2024 00000634: JUMP 00000635: JUMPDEST 00000636: CALLVALUE 00000637: DUP1 00000638: ISZERO 00000639: PUSH2 0x0641 0000063c: JUMPI 0000063d: PUSH1 0x00 0000063f: DUP1 00000640: REVERT 00000641: JUMPDEST 00000642: POP 00000643: PUSH2 0x029d 00000646: PUSH2 0x22e4 00000649: JUMP 0000064a: JUMPDEST 0000064b: CALLVALUE 0000064c: DUP1 0000064d: ISZERO 0000064e: PUSH2 0x0656 00000651: JUMPI 00000652: PUSH1 0x00 00000654: DUP1 00000655: REVERT 00000656: JUMPDEST 00000657: POP 00000658: PUSH1 0x6e 0000065a: SLOAD 0000065b: PUSH2 0x0664 0000065e: SWAP1 0000065f: PUSH1 0xff 00000661: AND 00000662: DUP2 00000663: JUMP 00000664: JUMPDEST 00000665: PUSH1 0x40 00000667: MLOAD 00000668: PUSH2 0x0225 0000066b: SWAP2 0000066c: SWAP1 0000066d: PUSH2 0x3787 00000670: JUMP 00000671: JUMPDEST 00000672: CALLVALUE 00000673: DUP1 00000674: ISZERO 00000675: PUSH2 0x067d 00000678: JUMPI 00000679: PUSH1 0x00 0000067b: DUP1 0000067c: REVERT 0000067d: JUMPDEST 0000067e: POP 0000067f: PUSH1 0x65 00000681: SLOAD 00000682: PUSH2 0x0262 00000685: SWAP1 00000686: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069b: AND 0000069c: DUP2 0000069d: JUMP 0000069e: JUMPDEST 0000069f: CALLVALUE 000006a0: DUP1 000006a1: ISZERO 000006a2: PUSH2 0x06aa 000006a5: JUMPI 000006a6: PUSH1 0x00 000006a8: DUP1 000006a9: REVERT 000006aa: JUMPDEST 000006ab: POP 000006ac: PUSH2 0x029d 000006af: PUSH2 0x06b9 000006b2: CALLDATASIZE 000006b3: PUSH1 0x04 000006b5: PUSH2 0x334b 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH2 0x2316 000006bd: JUMP 000006be: JUMPDEST 000006bf: CALLVALUE 000006c0: DUP1 000006c1: ISZERO 000006c2: PUSH2 0x06ca 000006c5: JUMPI 000006c6: PUSH1 0x00 000006c8: DUP1 000006c9: REVERT 000006ca: JUMPDEST 000006cb: POP 000006cc: PUSH2 0x029d 000006cf: PUSH1 0x71 000006d1: SLOAD 000006d2: DUP2 000006d3: JUMP 000006d4: JUMPDEST 000006d5: CALLVALUE 000006d6: DUP1 000006d7: ISZERO 000006d8: PUSH2 0x06e0 000006db: JUMPI 000006dc: PUSH1 0x00 000006de: DUP1 000006df: REVERT 000006e0: JUMPDEST 000006e1: POP 000006e2: PUSH2 0x06e9 000006e5: PUSH1 0x02 000006e7: DUP2 000006e8: JUMP 000006e9: JUMPDEST 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: PUSH2 0xffff 000006f0: SWAP1 000006f1: SWAP2 000006f2: AND 000006f3: DUP2 000006f4: MSTORE 000006f5: PUSH1 0x20 000006f7: ADD 000006f8: PUSH2 0x0225 000006fb: JUMP 000006fc: JUMPDEST 000006fd: PUSH1 0x6c 000006ff: DUP1 00000700: SLOAD 00000701: PUSH2 0x0709 00000704: SWAP1 00000705: PUSH2 0x3953 00000708: JUMP 00000709: JUMPDEST 0000070a: DUP1 0000070b: PUSH1 0x1f 0000070d: ADD 0000070e: PUSH1 0x20 00000710: DUP1 00000711: SWAP2 00000712: DIV 00000713: MUL 00000714: PUSH1 0x20 00000716: ADD 00000717: PUSH1 0x40 00000719: MLOAD 0000071a: SWAP1 0000071b: DUP2 0000071c: ADD 0000071d: PUSH1 0x40 0000071f: MSTORE 00000720: DUP1 00000721: SWAP3 00000722: SWAP2 00000723: SWAP1 00000724: DUP2 00000725: DUP2 00000726: MSTORE 00000727: PUSH1 0x20 00000729: ADD 0000072a: DUP3 0000072b: DUP1 0000072c: SLOAD 0000072d: PUSH2 0x0735 00000730: SWAP1 00000731: PUSH2 0x3953 00000734: JUMP 00000735: JUMPDEST 00000736: DUP1 00000737: ISZERO 00000738: PUSH2 0x0782 0000073b: JUMPI 0000073c: DUP1 0000073d: PUSH1 0x1f 0000073f: LT 00000740: PUSH2 0x0757 00000743: JUMPI 00000744: PUSH2 0x0100 00000747: DUP1 00000748: DUP4 00000749: SLOAD 0000074a: DIV 0000074b: MUL 0000074c: DUP4 0000074d: MSTORE 0000074e: SWAP2 0000074f: PUSH1 0x20 00000751: ADD 00000752: SWAP2 00000753: PUSH2 0x0782 00000756: JUMP 00000757: JUMPDEST 00000758: DUP3 00000759: ADD 0000075a: SWAP2 0000075b: SWAP1 0000075c: PUSH1 0x00 0000075e: MSTORE 0000075f: PUSH1 0x20 00000761: PUSH1 0x00 00000763: KECCAK256 00000764: SWAP1 00000765: JUMPDEST 00000766: DUP2 00000767: SLOAD 00000768: DUP2 00000769: MSTORE 0000076a: SWAP1 0000076b: PUSH1 0x01 0000076d: ADD 0000076e: SWAP1 0000076f: PUSH1 0x20 00000771: ADD 00000772: DUP1 00000773: DUP4 00000774: GT 00000775: PUSH2 0x0765 00000778: JUMPI 00000779: DUP3 0000077a: SWAP1 0000077b: SUB 0000077c: PUSH1 0x1f 0000077e: AND 0000077f: DUP3 00000780: ADD 00000781: SWAP2 00000782: JUMPDEST 00000783: POP 00000784: POP 00000785: POP 00000786: POP 00000787: POP 00000788: DUP2 00000789: JUMP 0000078a: JUMPDEST 0000078b: CALLER 0000078c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a1: PUSH32 0x000000000000000000000000f7f52dd34bc21eda08c0b804c7c1dbc48375820f 000007c2: AND 000007c3: EQ 000007c4: PUSH2 0x0854 000007c7: JUMPI 000007c8: PUSH1 0x40 000007ca: MLOAD 000007cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007ec: DUP2 000007ed: MSTORE 000007ee: PUSH1 0x20 000007f0: PUSH1 0x04 000007f2: DUP3 000007f3: ADD 000007f4: MSTORE 000007f5: PUSH1 0x21 000007f7: PUSH1 0x24 000007f9: DUP3 000007fa: ADD 000007fb: MSTORE 000007fc: PUSH32 0x50617274794269643a3a206f6e6c7920506172747944414f206d756c74697369 0000081d: PUSH1 0x44 0000081f: DUP3 00000820: ADD 00000821: MSTORE 00000822: PUSH32 0x6700000000000000000000000000000000000000000000000000000000000000 00000843: PUSH1 0x64 00000845: DUP3 00000846: ADD 00000847: MSTORE 00000848: PUSH1 0x84 0000084a: ADD 0000084b: JUMPDEST 0000084c: PUSH1 0x40 0000084e: MLOAD 0000084f: DUP1 00000850: SWAP2 00000851: SUB 00000852: SWAP1 00000853: REVERT 00000854: JUMPDEST 00000855: PUSH1 0x6e 00000857: DUP1 00000858: SLOAD 00000859: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 0000087a: AND 0000087b: PUSH1 0x02 0000087d: SWAP1 0000087e: DUP2 0000087f: OR 00000880: SWAP1 00000881: SWAP2 00000882: SSTORE 00000883: PUSH1 0x6f 00000885: SLOAD 00000886: PUSH1 0x40 00000888: MLOAD 00000889: PUSH32 0x9a2087478f16b801ecd568a6676f5db758bda2a01b954b2c754257d11eb3770b 000008aa: SWAP3 000008ab: PUSH2 0x08ba 000008ae: SWAP3 000008af: SWAP1 000008b0: SWAP2 000008b1: PUSH1 0x00 000008b3: SWAP2 000008b4: DUP3 000008b5: SWAP2 000008b6: PUSH2 0x3795 000008b9: JUMP 000008ba: JUMPDEST 000008bb: PUSH1 0x40 000008bd: MLOAD 000008be: DUP1 000008bf: SWAP2 000008c0: SUB 000008c1: SWAP1 000008c2: LOG1 000008c3: JUMP 000008c4: JUMPDEST 000008c5: PUSH1 0x02 000008c7: PUSH1 0x01 000008c9: SLOAD 000008ca: EQ 000008cb: ISZERO 000008cc: PUSH2 0x0931 000008cf: JUMPI 000008d0: PUSH1 0x40 000008d2: MLOAD 000008d3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008f4: DUP2 000008f5: MSTORE 000008f6: PUSH1 0x20 000008f8: PUSH1 0x04 000008fa: DUP3 000008fb: ADD 000008fc: MSTORE 000008fd: PUSH1 0x1f 000008ff: PUSH1 0x24 00000901: DUP3 00000902: ADD 00000903: MSTORE 00000904: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000925: PUSH1 0x44 00000927: DUP3 00000928: ADD 00000929: MSTORE 0000092a: PUSH1 0x64 0000092c: ADD 0000092d: PUSH2 0x084b 00000930: JUMP 00000931: JUMPDEST 00000932: PUSH1 0x02 00000934: PUSH1 0x01 00000936: SSTORE 00000937: PUSH1 0x00 00000939: PUSH1 0x6e 0000093b: SLOAD 0000093c: PUSH1 0xff 0000093e: AND 0000093f: PUSH1 0x02 00000941: DUP2 00000942: GT 00000943: ISZERO 00000944: PUSH2 0x094f 00000947: JUMPI 00000948: PUSH2 0x094f 0000094b: PUSH2 0x3a0f 0000094e: JUMP 0000094f: JUMPDEST 00000950: EQ 00000951: PUSH2 0x09dc 00000954: JUMPI 00000955: PUSH1 0x40 00000957: MLOAD 00000958: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000979: DUP2 0000097a: MSTORE 0000097b: PUSH1 0x20 0000097d: PUSH1 0x04 0000097f: DUP3 00000980: ADD 00000981: MSTORE 00000982: PUSH1 0x21 00000984: PUSH1 0x24 00000986: DUP3 00000987: ADD 00000988: MSTORE 00000989: PUSH32 0x50617274794269643a3a6269643a2061756374696f6e206e6f74206163746976 000009aa: PUSH1 0x44 000009ac: DUP3 000009ad: ADD 000009ae: MSTORE 000009af: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 000009d0: PUSH1 0x64 000009d2: DUP3 000009d3: ADD 000009d4: MSTORE 000009d5: PUSH1 0x84 000009d7: ADD 000009d8: PUSH2 0x084b 000009db: JUMP 000009dc: JUMPDEST 000009dd: CALLER 000009de: PUSH1 0x00 000009e0: SWAP1 000009e1: DUP2 000009e2: MSTORE 000009e3: PUSH1 0x73 000009e5: PUSH1 0x20 000009e7: MSTORE 000009e8: PUSH1 0x40 000009ea: SWAP1 000009eb: KECCAK256 000009ec: SLOAD 000009ed: PUSH2 0x0a78 000009f0: JUMPI 000009f1: PUSH1 0x40 000009f3: MLOAD 000009f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a15: DUP2 00000a16: MSTORE 00000a17: PUSH1 0x20 00000a19: PUSH1 0x04 00000a1b: DUP3 00000a1c: ADD 00000a1d: MSTORE 00000a1e: PUSH1 0x28 00000a20: PUSH1 0x24 00000a22: DUP3 00000a23: ADD 00000a24: MSTORE 00000a25: PUSH32 0x50617274794269643a3a6269643a206f6e6c7920636f6e7472696275746f7273 00000a46: PUSH1 0x44 00000a48: DUP3 00000a49: ADD 00000a4a: MSTORE 00000a4b: PUSH32 0x2063616e20626964000000000000000000000000000000000000000000000000 00000a6c: PUSH1 0x64 00000a6e: DUP3 00000a6f: ADD 00000a70: MSTORE 00000a71: PUSH1 0x84 00000a73: ADD 00000a74: PUSH2 0x084b 00000a77: JUMP 00000a78: JUMPDEST 00000a79: PUSH1 0x65 00000a7b: SLOAD 00000a7c: PUSH1 0x68 00000a7e: SLOAD 00000a7f: PUSH1 0x40 00000a81: MLOAD 00000a82: PUSH32 0x456b09c100000000000000000000000000000000000000000000000000000000 00000aa3: DUP2 00000aa4: MSTORE 00000aa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aba: SWAP1 00000abb: SWAP3 00000abc: AND 00000abd: SWAP2 00000abe: PUSH4 0x456b09c1 00000ac3: SWAP2 00000ac4: PUSH2 0x0ad3 00000ac7: SWAP2 00000ac8: PUSH1 0x04 00000aca: ADD 00000acb: SWAP1 00000acc: DUP2 00000acd: MSTORE 00000ace: PUSH1 0x20 00000ad0: ADD 00000ad1: SWAP1 00000ad2: JUMP 00000ad3: JUMPDEST 00000ad4: PUSH1 0x20 00000ad6: PUSH1 0x40 00000ad8: MLOAD 00000ad9: DUP1 00000ada: DUP4 00000adb: SUB 00000adc: DUP2 00000add: DUP7 00000ade: DUP1 00000adf: EXTCODESIZE 00000ae0: ISZERO 00000ae1: DUP1 00000ae2: ISZERO 00000ae3: PUSH2 0x0aeb 00000ae6: JUMPI 00000ae7: PUSH1 0x00 00000ae9: DUP1 00000aea: REVERT 00000aeb: JUMPDEST 00000aec: POP 00000aed: GAS 00000aee: STATICCALL 00000aef: ISZERO 00000af0: DUP1 00000af1: ISZERO 00000af2: PUSH2 0x0aff 00000af5: JUMPI 00000af6: RETURNDATASIZE 00000af7: PUSH1 0x00 00000af9: DUP1 00000afa: RETURNDATACOPY 00000afb: RETURNDATASIZE 00000afc: PUSH1 0x00 00000afe: REVERT 00000aff: JUMPDEST 00000b00: POP 00000b01: POP 00000b02: POP 00000b03: POP 00000b04: PUSH1 0x40 00000b06: MLOAD 00000b07: RETURNDATASIZE 00000b08: PUSH1 0x1f 00000b0a: NOT 00000b0b: PUSH1 0x1f 00000b0d: DUP3 00000b0e: ADD 00000b0f: AND 00000b10: DUP3 00000b11: ADD 00000b12: DUP1 00000b13: PUSH1 0x40 00000b15: MSTORE 00000b16: POP 00000b17: DUP2 00000b18: ADD 00000b19: SWAP1 00000b1a: PUSH2 0x0b23 00000b1d: SWAP2 00000b1e: SWAP1 00000b1f: PUSH2 0x336f 00000b22: JUMP 00000b23: JUMPDEST 00000b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b39: AND 00000b3a: ADDRESS 00000b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b50: AND 00000b51: EQ 00000b52: ISZERO 00000b53: PUSH2 0x0bde 00000b56: JUMPI 00000b57: PUSH1 0x40 00000b59: MLOAD 00000b5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b7b: DUP2 00000b7c: MSTORE 00000b7d: PUSH1 0x20 00000b7f: PUSH1 0x04 00000b81: DUP3 00000b82: ADD 00000b83: MSTORE 00000b84: PUSH1 0x25 00000b86: PUSH1 0x24 00000b88: DUP3 00000b89: ADD 00000b8a: MSTORE 00000b8b: PUSH32 0x50617274794269643a3a6269643a20616c726561647920686967686573742062 00000bac: PUSH1 0x44 00000bae: DUP3 00000baf: ADD 00000bb0: MSTORE 00000bb1: PUSH32 0x6964646572000000000000000000000000000000000000000000000000000000 00000bd2: PUSH1 0x64 00000bd4: DUP3 00000bd5: ADD 00000bd6: MSTORE 00000bd7: PUSH1 0x84 00000bd9: ADD 00000bda: PUSH2 0x084b 00000bdd: JUMP 00000bde: JUMPDEST 00000bdf: PUSH1 0x65 00000be1: SLOAD 00000be2: PUSH1 0x68 00000be4: SLOAD 00000be5: PUSH1 0x40 00000be7: MLOAD 00000be8: PUSH32 0x33727c4d00000000000000000000000000000000000000000000000000000000 00000c09: DUP2 00000c0a: MSTORE 00000c0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c20: SWAP1 00000c21: SWAP3 00000c22: AND 00000c23: SWAP2 00000c24: PUSH4 0x33727c4d 00000c29: SWAP2 00000c2a: PUSH2 0x0c39 00000c2d: SWAP2 00000c2e: PUSH1 0x04 00000c30: ADD 00000c31: SWAP1 00000c32: DUP2 00000c33: MSTORE 00000c34: PUSH1 0x20 00000c36: ADD 00000c37: SWAP1 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: PUSH1 0x20 00000c3c: PUSH1 0x40 00000c3e: MLOAD 00000c3f: DUP1 00000c40: DUP4 00000c41: SUB 00000c42: DUP2 00000c43: DUP7 00000c44: DUP1 00000c45: EXTCODESIZE 00000c46: ISZERO 00000c47: DUP1 00000c48: ISZERO 00000c49: PUSH2 0x0c51 00000c4c: JUMPI 00000c4d: PUSH1 0x00 00000c4f: DUP1 00000c50: REVERT 00000c51: JUMPDEST 00000c52: POP 00000c53: GAS 00000c54: STATICCALL 00000c55: ISZERO 00000c56: DUP1 00000c57: ISZERO 00000c58: PUSH2 0x0c65 00000c5b: JUMPI 00000c5c: RETURNDATASIZE 00000c5d: PUSH1 0x00 00000c5f: DUP1 00000c60: RETURNDATACOPY 00000c61: RETURNDATASIZE 00000c62: PUSH1 0x00 00000c64: REVERT 00000c65: JUMPDEST 00000c66: POP 00000c67: POP 00000c68: POP 00000c69: POP 00000c6a: PUSH1 0x40 00000c6c: MLOAD 00000c6d: RETURNDATASIZE 00000c6e: PUSH1 0x1f 00000c70: NOT 00000c71: PUSH1 0x1f 00000c73: DUP3 00000c74: ADD 00000c75: AND 00000c76: DUP3 00000c77: ADD 00000c78: DUP1 00000c79: PUSH1 0x40 00000c7b: MSTORE 00000c7c: POP 00000c7d: DUP2 00000c7e: ADD 00000c7f: SWAP1 00000c80: PUSH2 0x0c89 00000c83: SWAP2 00000c84: SWAP1 00000c85: PUSH2 0x352d 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: ISZERO 00000c8b: PUSH2 0x0d16 00000c8e: JUMPI 00000c8f: PUSH1 0x40 00000c91: MLOAD 00000c92: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cb3: DUP2 00000cb4: MSTORE 00000cb5: PUSH1 0x20 00000cb7: PUSH1 0x04 00000cb9: DUP3 00000cba: ADD 00000cbb: MSTORE 00000cbc: PUSH1 0x28 00000cbe: PUSH1 0x24 00000cc0: DUP3 00000cc1: ADD 00000cc2: MSTORE 00000cc3: PUSH32 0x50617274794269643a3a6269643a2061756374696f6e20616c72656164792066 00000ce4: PUSH1 0x44 00000ce6: DUP3 00000ce7: ADD 00000ce8: MSTORE 00000ce9: PUSH32 0x696e616c697a6564000000000000000000000000000000000000000000000000 00000d0a: PUSH1 0x64 00000d0c: DUP3 00000d0d: ADD 00000d0e: MSTORE 00000d0f: PUSH1 0x84 00000d11: ADD 00000d12: PUSH2 0x084b 00000d15: JUMP 00000d16: JUMPDEST 00000d17: PUSH1 0x65 00000d19: SLOAD 00000d1a: PUSH1 0x68 00000d1c: SLOAD 00000d1d: PUSH1 0x40 00000d1f: MLOAD 00000d20: PUSH32 0x0600d4eb00000000000000000000000000000000000000000000000000000000 00000d41: DUP2 00000d42: MSTORE 00000d43: PUSH1 0x04 00000d45: DUP2 00000d46: ADD 00000d47: SWAP2 00000d48: SWAP1 00000d49: SWAP2 00000d4a: MSTORE 00000d4b: PUSH1 0x00 00000d4d: SWAP2 00000d4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d63: AND 00000d64: SWAP1 00000d65: PUSH4 0x0600d4eb 00000d6a: SWAP1 00000d6b: PUSH1 0x24 00000d6d: ADD 00000d6e: PUSH1 0x20 00000d70: PUSH1 0x40 00000d72: MLOAD 00000d73: DUP1 00000d74: DUP4 00000d75: SUB 00000d76: DUP2 00000d77: DUP7 00000d78: DUP1 00000d79: EXTCODESIZE 00000d7a: ISZERO 00000d7b: DUP1 00000d7c: ISZERO 00000d7d: PUSH2 0x0d85 00000d80: JUMPI 00000d81: PUSH1 0x00 00000d83: DUP1 00000d84: REVERT 00000d85: JUMPDEST 00000d86: POP 00000d87: GAS 00000d88: STATICCALL 00000d89: ISZERO 00000d8a: DUP1 00000d8b: ISZERO 00000d8c: PUSH2 0x0d99 00000d8f: JUMPI 00000d90: RETURNDATASIZE 00000d91: PUSH1 0x00 00000d93: DUP1 00000d94: RETURNDATACOPY 00000d95: RETURNDATASIZE 00000d96: PUSH1 0x00 00000d98: REVERT 00000d99: JUMPDEST 00000d9a: POP 00000d9b: POP 00000d9c: POP 00000d9d: POP 00000d9e: PUSH1 0x40 00000da0: MLOAD 00000da1: RETURNDATASIZE 00000da2: PUSH1 0x1f 00000da4: NOT 00000da5: PUSH1 0x1f 00000da7: DUP3 00000da8: ADD 00000da9: AND 00000daa: DUP3 00000dab: ADD 00000dac: DUP1 00000dad: PUSH1 0x40 00000daf: MSTORE 00000db0: POP 00000db1: DUP2 00000db2: ADD 00000db3: SWAP1 00000db4: PUSH2 0x0dbd 00000db7: SWAP2 00000db8: SWAP1 00000db9: PUSH2 0x3568 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: SWAP1 00000dbf: POP 00000dc0: PUSH2 0x0dc7 00000dc3: PUSH2 0x22e4 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: DUP2 00000dc9: GT 00000dca: ISZERO 00000dcb: PUSH2 0x0e56 00000dce: JUMPI 00000dcf: PUSH1 0x40 00000dd1: MLOAD 00000dd2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000df3: DUP2 00000df4: MSTORE 00000df5: PUSH1 0x20 00000df7: PUSH1 0x04 00000df9: DUP3 00000dfa: ADD 00000dfb: MSTORE 00000dfc: PUSH1 0x28 00000dfe: PUSH1 0x24 00000e00: DUP3 00000e01: ADD 00000e02: MSTORE 00000e03: PUSH32 0x50617274794269643a3a6269643a20696e73756666696369656e742066756e64 00000e24: PUSH1 0x44 00000e26: DUP3 00000e27: ADD 00000e28: MSTORE 00000e29: PUSH32 0x7320746f20626964000000000000000000000000000000000000000000000000 00000e4a: PUSH1 0x64 00000e4c: DUP3 00000e4d: ADD 00000e4e: MSTORE 00000e4f: PUSH1 0x84 00000e51: ADD 00000e52: PUSH2 0x084b 00000e55: JUMP 00000e56: JUMPDEST 00000e57: PUSH1 0x65 00000e59: SLOAD 00000e5a: PUSH1 0x68 00000e5c: SLOAD 00000e5d: PUSH1 0x40 00000e5f: MLOAD 00000e60: PUSH1 0x24 00000e62: DUP2 00000e63: ADD 00000e64: SWAP2 00000e65: SWAP1 00000e66: SWAP2 00000e67: MSTORE 00000e68: PUSH1 0x44 00000e6a: DUP2 00000e6b: ADD 00000e6c: DUP4 00000e6d: SWAP1 00000e6e: MSTORE 00000e6f: PUSH1 0x00 00000e71: SWAP2 00000e72: DUP3 00000e73: SWAP2 00000e74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e89: SWAP1 00000e8a: SWAP2 00000e8b: AND 00000e8c: SWAP1 00000e8d: PUSH1 0x64 00000e8f: ADD 00000e90: PUSH1 0x40 00000e92: DUP1 00000e93: MLOAD 00000e94: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000eb5: DUP2 00000eb6: DUP5 00000eb7: SUB 00000eb8: ADD 00000eb9: DUP2 00000eba: MSTORE 00000ebb: SWAP2 00000ebc: DUP2 00000ebd: MSTORE 00000ebe: PUSH1 0x20 00000ec0: DUP3 00000ec1: ADD 00000ec2: DUP1 00000ec3: MLOAD 00000ec4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000ee1: AND 00000ee2: PUSH32 0x598647f800000000000000000000000000000000000000000000000000000000 00000f03: OR 00000f04: SWAP1 00000f05: MSTORE 00000f06: MLOAD 00000f07: PUSH2 0x0f10 00000f0a: SWAP2 00000f0b: SWAP1 00000f0c: PUSH2 0x36dd 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: PUSH1 0x00 00000f13: PUSH1 0x40 00000f15: MLOAD 00000f16: DUP1 00000f17: DUP4 00000f18: SUB 00000f19: DUP2 00000f1a: DUP6 00000f1b: GAS 00000f1c: DELEGATECALL 00000f1d: SWAP2 00000f1e: POP 00000f1f: POP 00000f20: RETURNDATASIZE 00000f21: DUP1 00000f22: PUSH1 0x00 00000f24: DUP2 00000f25: EQ 00000f26: PUSH2 0x0f4b 00000f29: JUMPI 00000f2a: PUSH1 0x40 00000f2c: MLOAD 00000f2d: SWAP2 00000f2e: POP 00000f2f: PUSH1 0x1f 00000f31: NOT 00000f32: PUSH1 0x3f 00000f34: RETURNDATASIZE 00000f35: ADD 00000f36: AND 00000f37: DUP3 00000f38: ADD 00000f39: PUSH1 0x40 00000f3b: MSTORE 00000f3c: RETURNDATASIZE 00000f3d: DUP3 00000f3e: MSTORE 00000f3f: RETURNDATASIZE 00000f40: PUSH1 0x00 00000f42: PUSH1 0x20 00000f44: DUP5 00000f45: ADD 00000f46: RETURNDATACOPY 00000f47: PUSH2 0x0f50 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: PUSH1 0x60 00000f4e: SWAP2 00000f4f: POP 00000f50: JUMPDEST 00000f51: POP 00000f52: SWAP2 00000f53: POP 00000f54: SWAP2 00000f55: POP 00000f56: DUP2 00000f57: DUP2 00000f58: PUSH1 0x40 00000f5a: MLOAD 00000f5b: PUSH1 0x20 00000f5d: ADD 00000f5e: PUSH2 0x0f67 00000f61: SWAP2 00000f62: SWAP1 00000f63: PUSH2 0x36f9 00000f66: JUMP 00000f67: JUMPDEST 00000f68: PUSH1 0x40 00000f6a: MLOAD 00000f6b: PUSH1 0x20 00000f6d: DUP2 00000f6e: DUP4 00000f6f: SUB 00000f70: SUB 00000f71: DUP2 00000f72: MSTORE 00000f73: SWAP1 00000f74: PUSH1 0x40 00000f76: MSTORE 00000f77: SWAP1 00000f78: PUSH2 0x0fae 00000f7b: JUMPI 00000f7c: PUSH1 0x40 00000f7e: MLOAD 00000f7f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fa0: DUP2 00000fa1: MSTORE 00000fa2: PUSH1 0x04 00000fa4: ADD 00000fa5: PUSH2 0x084b 00000fa8: SWAP2 00000fa9: SWAP1 00000faa: PUSH2 0x37be 00000fad: JUMP 00000fae: JUMPDEST 00000faf: POP 00000fb0: PUSH1 0x70 00000fb2: DUP4 00000fb3: SWAP1 00000fb4: SSTORE 00000fb5: PUSH1 0x40 00000fb7: MLOAD 00000fb8: DUP4 00000fb9: DUP2 00000fba: MSTORE 00000fbb: PUSH32 0x7a183e84509e3fe5b0b3aac15347fd1c7d71fd1503001f1a1d7c9658077eb35f 00000fdc: SWAP1 00000fdd: PUSH1 0x20 00000fdf: ADD 00000fe0: PUSH1 0x40 00000fe2: MLOAD 00000fe3: DUP1 00000fe4: SWAP2 00000fe5: SUB 00000fe6: SWAP1 00000fe7: LOG1 00000fe8: POP 00000fe9: POP 00000fea: PUSH1 0x01 00000fec: DUP1 00000fed: SSTORE 00000fee: POP 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: PUSH1 0x02 00000ff3: PUSH1 0x01 00000ff5: SLOAD 00000ff6: EQ 00000ff7: ISZERO 00000ff8: PUSH2 0x105d 00000ffb: JUMPI 00000ffc: PUSH1 0x40 00000ffe: MLOAD 00000fff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001020: DUP2 00001021: MSTORE 00001022: PUSH1 0x20 00001024: PUSH1 0x04 00001026: DUP3 00001027: ADD 00001028: MSTORE 00001029: PUSH1 0x1f 0000102b: PUSH1 0x24 0000102d: DUP3 0000102e: ADD 0000102f: MSTORE 00001030: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00001051: PUSH1 0x44 00001053: DUP3 00001054: ADD 00001055: MSTORE 00001056: PUSH1 0x64 00001058: ADD 00001059: PUSH2 0x084b 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x02 00001060: PUSH1 0x01 00001062: SSTORE 00001063: PUSH1 0x00 00001065: PUSH1 0x6e 00001067: SLOAD 00001068: PUSH1 0xff 0000106a: AND 0000106b: PUSH1 0x02 0000106d: DUP2 0000106e: GT 0000106f: ISZERO 00001070: PUSH2 0x107b 00001073: JUMPI 00001074: PUSH2 0x107b 00001077: PUSH2 0x3a0f 0000107a: JUMP 0000107b: JUMPDEST 0000107c: EQ 0000107d: ISZERO 0000107e: PUSH2 0x1109 00001081: JUMPI 00001082: PUSH1 0x40 00001084: MLOAD 00001085: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010a6: DUP2 000010a7: MSTORE 000010a8: PUSH1 0x20 000010aa: PUSH1 0x04 000010ac: DUP3 000010ad: ADD 000010ae: MSTORE 000010af: PUSH1 0x26 000010b1: PUSH1 0x24 000010b3: DUP3 000010b4: ADD 000010b5: MSTORE 000010b6: PUSH32 0x50617274794269643a3a636c61696d3a2061756374696f6e206e6f742066696e 000010d7: PUSH1 0x44 000010d9: DUP3 000010da: ADD 000010db: MSTORE 000010dc: PUSH32 0x616c697a65640000000000000000000000000000000000000000000000000000 000010fd: PUSH1 0x64 000010ff: DUP3 00001100: ADD 00001101: MSTORE 00001102: PUSH1 0x84 00001104: ADD 00001105: PUSH2 0x084b 00001108: JUMP 00001109: JUMPDEST 0000110a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000111f: DUP2 00001120: AND 00001121: PUSH1 0x00 00001123: SWAP1 00001124: DUP2 00001125: MSTORE 00001126: PUSH1 0x73 00001128: PUSH1 0x20 0000112a: MSTORE 0000112b: PUSH1 0x40 0000112d: SWAP1 0000112e: KECCAK256 0000112f: SLOAD 00001130: PUSH2 0x11bb 00001133: JUMPI 00001134: PUSH1 0x40 00001136: MLOAD 00001137: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001158: DUP2 00001159: MSTORE 0000115a: PUSH1 0x20 0000115c: PUSH1 0x04 0000115e: DUP3 0000115f: ADD 00001160: MSTORE 00001161: PUSH1 0x22 00001163: PUSH1 0x24 00001165: DUP3 00001166: ADD 00001167: MSTORE 00001168: PUSH32 0x50617274794269643a3a636c61696d3a206e6f74206120636f6e747269627574 00001189: PUSH1 0x44 0000118b: DUP3 0000118c: ADD 0000118d: MSTORE 0000118e: PUSH32 0x6f72000000000000000000000000000000000000000000000000000000000000 000011af: PUSH1 0x64 000011b1: DUP3 000011b2: ADD 000011b3: MSTORE 000011b4: PUSH1 0x84 000011b6: ADD 000011b7: PUSH2 0x084b 000011ba: JUMP 000011bb: JUMPDEST 000011bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d1: DUP2 000011d2: AND 000011d3: PUSH1 0x00 000011d5: SWAP1 000011d6: DUP2 000011d7: MSTORE 000011d8: PUSH1 0x74 000011da: PUSH1 0x20 000011dc: MSTORE 000011dd: PUSH1 0x40 000011df: SWAP1 000011e0: KECCAK256 000011e1: SLOAD 000011e2: PUSH1 0xff 000011e4: AND 000011e5: ISZERO 000011e6: PUSH2 0x1271 000011e9: JUMPI 000011ea: PUSH1 0x40 000011ec: MLOAD 000011ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000120e: DUP2 0000120f: MSTORE 00001210: PUSH1 0x20 00001212: PUSH1 0x04 00001214: DUP3 00001215: ADD 00001216: MSTORE 00001217: PUSH1 0x2d 00001219: PUSH1 0x24 0000121b: DUP3 0000121c: ADD 0000121d: MSTORE 0000121e: PUSH32 0x50617274794269643a3a636c61696d3a20636f6e747269627574696f6e20616c 0000123f: PUSH1 0x44 00001241: DUP3 00001242: ADD 00001243: MSTORE 00001244: PUSH32 0x726561647920636c61696d656400000000000000000000000000000000000000 00001265: PUSH1 0x64 00001267: DUP3 00001268: ADD 00001269: MSTORE 0000126a: PUSH1 0x84 0000126c: ADD 0000126d: PUSH2 0x084b 00001270: JUMP 00001271: JUMPDEST 00001272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001287: DUP2 00001288: AND 00001289: PUSH1 0x00 0000128b: SWAP1 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x74 00001290: PUSH1 0x20 00001292: MSTORE 00001293: PUSH1 0x40 00001295: DUP2 00001296: KECCAK256 00001297: DUP1 00001298: SLOAD 00001299: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000012ba: AND 000012bb: PUSH1 0x01 000012bd: OR 000012be: SWAP1 000012bf: SSTORE 000012c0: DUP1 000012c1: PUSH2 0x12c9 000012c4: DUP4 000012c5: PUSH2 0x1d3d 000012c8: JUMP 000012c9: JUMPDEST 000012ca: SWAP2 000012cb: POP 000012cc: SWAP2 000012cd: POP 000012ce: PUSH2 0x12d7 000012d1: DUP4 000012d2: DUP4 000012d3: PUSH2 0x24dc 000012d6: JUMP 000012d7: JUMPDEST 000012d8: PUSH2 0x12e1 000012db: DUP4 000012dc: DUP3 000012dd: PUSH2 0x2647 000012e0: JUMP 000012e1: JUMPDEST 000012e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f7: DUP4 000012f8: AND 000012f9: PUSH1 0x00 000012fb: DUP2 000012fc: DUP2 000012fd: MSTORE 000012fe: PUSH1 0x73 00001300: PUSH1 0x20 00001302: SWAP1 00001303: DUP2 00001304: MSTORE 00001305: PUSH1 0x40 00001307: SWAP2 00001308: DUP3 00001309: SWAP1 0000130a: KECCAK256 0000130b: SLOAD 0000130c: DUP3 0000130d: MLOAD 0000130e: SWAP1 0000130f: DUP2 00001310: MSTORE 00001311: SWAP1 00001312: DUP2 00001313: ADD 00001314: DUP5 00001315: SWAP1 00001316: MSTORE 00001317: SWAP1 00001318: DUP2 00001319: ADD 0000131a: DUP5 0000131b: SWAP1 0000131c: MSTORE 0000131d: PUSH32 0x9cdcf2f7714cca3508c7f0110b04a90a80a3a8dd0e35de99689db74d28c5383e 0000133e: SWAP1 0000133f: PUSH1 0x60 00001341: ADD 00001342: PUSH1 0x40 00001344: MLOAD 00001345: DUP1 00001346: SWAP2 00001347: SUB 00001348: SWAP1 00001349: LOG2 0000134a: POP 0000134b: POP 0000134c: PUSH1 0x01 0000134e: DUP1 0000134f: SSTORE 00001350: POP 00001351: JUMP 00001352: JUMPDEST 00001353: CALLER 00001354: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001369: PUSH32 0x000000000000000000000000f7f52dd34bc21eda08c0b804c7c1dbc48375820f 0000138a: AND 0000138b: EQ 0000138c: PUSH2 0x1417 0000138f: JUMPI 00001390: PUSH1 0x40 00001392: MLOAD 00001393: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013b4: DUP2 000013b5: MSTORE 000013b6: PUSH1 0x20 000013b8: PUSH1 0x04 000013ba: DUP3 000013bb: ADD 000013bc: MSTORE 000013bd: PUSH1 0x21 000013bf: PUSH1 0x24 000013c1: DUP3 000013c2: ADD 000013c3: MSTORE 000013c4: PUSH32 0x50617274794269643a3a206f6e6c7920506172747944414f206d756c74697369 000013e5: PUSH1 0x44 000013e7: DUP3 000013e8: ADD 000013e9: MSTORE 000013ea: PUSH32 0x6700000000000000000000000000000000000000000000000000000000000000 0000140b: PUSH1 0x64 0000140d: DUP3 0000140e: ADD 0000140f: MSTORE 00001410: PUSH1 0x84 00001412: ADD 00001413: PUSH2 0x084b 00001416: JUMP 00001417: JUMPDEST 00001418: PUSH2 0x1441 0000141b: PUSH32 0x000000000000000000000000f7f52dd34bc21eda08c0b804c7c1dbc48375820f 0000143c: DUP3 0000143d: PUSH2 0x2647 00001440: JUMP 00001441: JUMPDEST 00001442: POP 00001443: JUMP 00001444: JUMPDEST 00001445: PUSH1 0x02 00001447: PUSH1 0x01 00001449: SLOAD 0000144a: EQ 0000144b: ISZERO 0000144c: PUSH2 0x14b1 0000144f: JUMPI 00001450: PUSH1 0x40 00001452: MLOAD 00001453: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001474: DUP2 00001475: MSTORE 00001476: PUSH1 0x20 00001478: PUSH1 0x04 0000147a: DUP3 0000147b: ADD 0000147c: MSTORE 0000147d: PUSH1 0x1f 0000147f: PUSH1 0x24 00001481: DUP3 00001482: ADD 00001483: MSTORE 00001484: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000014a5: PUSH1 0x44 000014a7: DUP3 000014a8: ADD 000014a9: MSTORE 000014aa: PUSH1 0x64 000014ac: ADD 000014ad: PUSH2 0x084b 000014b0: JUMP 000014b1: JUMPDEST 000014b2: PUSH1 0x02 000014b4: PUSH1 0x01 000014b6: SSTORE 000014b7: PUSH1 0x00 000014b9: PUSH1 0x6e 000014bb: SLOAD 000014bc: PUSH1 0xff 000014be: AND 000014bf: PUSH1 0x02 000014c1: DUP2 000014c2: GT 000014c3: ISZERO 000014c4: PUSH2 0x14cf 000014c7: JUMPI 000014c8: PUSH2 0x14cf 000014cb: PUSH2 0x3a0f 000014ce: JUMP 000014cf: JUMPDEST 000014d0: EQ 000014d1: PUSH2 0x155c 000014d4: JUMPI 000014d5: PUSH1 0x40 000014d7: MLOAD 000014d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014f9: DUP2 000014fa: MSTORE 000014fb: PUSH1 0x20 000014fd: PUSH1 0x04 000014ff: DUP3 00001500: ADD 00001501: MSTORE 00001502: PUSH1 0x26 00001504: PUSH1 0x24 00001506: DUP3 00001507: ADD 00001508: MSTORE 00001509: PUSH32 0x50617274794269643a3a66696e616c697a653a2061756374696f6e206e6f7420 0000152a: PUSH1 0x44 0000152c: DUP3 0000152d: ADD 0000152e: MSTORE 0000152f: PUSH32 0x6163746976650000000000000000000000000000000000000000000000000000 00001550: PUSH1 0x64 00001552: DUP3 00001553: ADD 00001554: MSTORE 00001555: PUSH1 0x84 00001557: ADD 00001558: PUSH2 0x084b 0000155b: JUMP 0000155c: JUMPDEST 0000155d: PUSH1 0x65 0000155f: SLOAD 00001560: PUSH1 0x68 00001562: SLOAD 00001563: PUSH1 0x40 00001565: MLOAD 00001566: PUSH32 0x33727c4d00000000000000000000000000000000000000000000000000000000 00001587: DUP2 00001588: MSTORE 00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159e: SWAP1 0000159f: SWAP3 000015a0: AND 000015a1: SWAP2 000015a2: PUSH4 0x33727c4d 000015a7: SWAP2 000015a8: PUSH2 0x15b7 000015ab: SWAP2 000015ac: PUSH1 0x04 000015ae: ADD 000015af: SWAP1 000015b0: DUP2 000015b1: MSTORE 000015b2: PUSH1 0x20 000015b4: ADD 000015b5: SWAP1 000015b6: JUMP 000015b7: JUMPDEST 000015b8: PUSH1 0x20 000015ba: PUSH1 0x40 000015bc: MLOAD 000015bd: DUP1 000015be: DUP4 000015bf: SUB 000015c0: DUP2 000015c1: DUP7 000015c2: DUP1 000015c3: EXTCODESIZE 000015c4: ISZERO 000015c5: DUP1 000015c6: ISZERO 000015c7: PUSH2 0x15cf 000015ca: JUMPI 000015cb: PUSH1 0x00 000015cd: DUP1 000015ce: REVERT 000015cf: JUMPDEST 000015d0: POP 000015d1: GAS 000015d2: STATICCALL 000015d3: ISZERO 000015d4: DUP1 000015d5: ISZERO 000015d6: PUSH2 0x15e3 000015d9: JUMPI 000015da: RETURNDATASIZE 000015db: PUSH1 0x00 000015dd: DUP1 000015de: RETURNDATACOPY 000015df: RETURNDATASIZE 000015e0: PUSH1 0x00 000015e2: REVERT 000015e3: JUMPDEST 000015e4: POP 000015e5: POP 000015e6: POP 000015e7: POP 000015e8: PUSH1 0x40 000015ea: MLOAD 000015eb: RETURNDATASIZE 000015ec: PUSH1 0x1f 000015ee: NOT 000015ef: PUSH1 0x1f 000015f1: DUP3 000015f2: ADD 000015f3: AND 000015f4: DUP3 000015f5: ADD 000015f6: DUP1 000015f7: PUSH1 0x40 000015f9: MSTORE 000015fa: POP 000015fb: DUP2 000015fc: ADD 000015fd: SWAP1 000015fe: PUSH2 0x1607 00001601: SWAP2 00001602: SWAP1 00001603: PUSH2 0x352d 00001606: JUMP 00001607: JUMPDEST 00001608: PUSH2 0x1699 0000160b: JUMPI 0000160c: PUSH1 0x65 0000160e: SLOAD 0000160f: PUSH1 0x68 00001611: SLOAD 00001612: PUSH1 0x40 00001614: MLOAD 00001615: PUSH32 0x05261aea00000000000000000000000000000000000000000000000000000000 00001636: DUP2 00001637: MSTORE 00001638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000164d: SWAP1 0000164e: SWAP3 0000164f: AND 00001650: SWAP2 00001651: PUSH4 0x05261aea 00001656: SWAP2 00001657: PUSH2 0x1666 0000165a: SWAP2 0000165b: PUSH1 0x04 0000165d: ADD 0000165e: SWAP1 0000165f: DUP2 00001660: MSTORE 00001661: PUSH1 0x20 00001663: ADD 00001664: SWAP1 00001665: JUMP 00001666: JUMPDEST 00001667: PUSH1 0x00 00001669: PUSH1 0x40 0000166b: MLOAD 0000166c: DUP1 0000166d: DUP4 0000166e: SUB 0000166f: DUP2 00001670: PUSH1 0x00 00001672: DUP8 00001673: DUP1 00001674: EXTCODESIZE 00001675: ISZERO 00001676: DUP1 00001677: ISZERO 00001678: PUSH2 0x1680 0000167b: JUMPI 0000167c: PUSH1 0x00 0000167e: DUP1 0000167f: REVERT 00001680: JUMPDEST 00001681: POP 00001682: GAS 00001683: CALL 00001684: ISZERO 00001685: DUP1 00001686: ISZERO 00001687: PUSH2 0x1694 0000168a: JUMPI 0000168b: RETURNDATASIZE 0000168c: PUSH1 0x00 0000168e: DUP1 0000168f: RETURNDATACOPY 00001690: RETURNDATASIZE 00001691: PUSH1 0x00 00001693: REVERT 00001694: JUMPDEST 00001695: POP 00001696: POP 00001697: POP 00001698: POP 00001699: JUMPDEST 0000169a: PUSH1 0x00 0000169c: PUSH2 0x16a3 0000169f: PUSH2 0x27b9 000016a2: JUMP 000016a3: JUMPDEST 000016a4: SWAP1 000016a5: POP 000016a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016bb: DUP2 000016bc: AND 000016bd: ADDRESS 000016be: EQ 000016bf: PUSH2 0x16c9 000016c2: JUMPI 000016c3: PUSH1 0x02 000016c5: PUSH2 0x16cc 000016c8: JUMP 000016c9: JUMPDEST 000016ca: PUSH1 0x01 000016cc: JUMPDEST 000016cd: PUSH1 0x6e 000016cf: DUP1 000016d0: SLOAD 000016d1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000016f2: AND 000016f3: PUSH1 0x01 000016f5: DUP4 000016f6: PUSH1 0x02 000016f8: DUP2 000016f9: GT 000016fa: ISZERO 000016fb: PUSH2 0x1706 000016fe: JUMPI 000016ff: PUSH2 0x1706 00001702: PUSH2 0x3a0f 00001705: JUMP 00001706: JUMPDEST 00001707: MUL 00001708: OR 00001709: SWAP1 0000170a: SSTORE 0000170b: POP 0000170c: PUSH1 0x00 0000170e: PUSH1 0x01 00001710: PUSH1 0x6e 00001712: SLOAD 00001713: PUSH1 0xff 00001715: AND 00001716: PUSH1 0x02 00001718: DUP2 00001719: GT 0000171a: ISZERO 0000171b: PUSH2 0x1726 0000171e: JUMPI 0000171f: PUSH2 0x1726 00001722: PUSH2 0x3a0f 00001725: JUMP 00001726: JUMPDEST 00001727: EQ 00001728: ISZERO 00001729: PUSH2 0x177c 0000172c: JUMPI 0000172d: PUSH2 0x1737 00001730: PUSH1 0x70 00001732: SLOAD 00001733: PUSH2 0x28e0 00001736: JUMP 00001737: JUMPDEST 00001738: SWAP1 00001739: POP 0000173a: DUP1 0000173b: PUSH1 0x70 0000173d: SLOAD 0000173e: PUSH2 0x1747 00001741: SWAP2 00001742: SWAP1 00001743: PUSH2 0x385d 00001746: JUMP 00001747: JUMPDEST 00001748: PUSH1 0x71 0000174a: SSTORE 0000174b: PUSH2 0x1774 0000174e: PUSH32 0x000000000000000000000000f7f52dd34bc21eda08c0b804c7c1dbc48375820f 0000176f: DUP3 00001770: PUSH2 0x2647 00001773: JUMP 00001774: JUMPDEST 00001775: PUSH2 0x177c 00001778: PUSH2 0x28fa 0000177b: JUMP 0000177c: JUMPDEST 0000177d: PUSH1 0x6e 0000177f: SLOAD 00001780: PUSH1 0x71 00001782: SLOAD 00001783: PUSH1 0x6f 00001785: SLOAD 00001786: PUSH1 0x40 00001788: MLOAD 00001789: PUSH32 0x9a2087478f16b801ecd568a6676f5db758bda2a01b954b2c754257d11eb3770b 000017aa: SWAP4 000017ab: PUSH2 0x17be 000017ae: SWAP4 000017af: PUSH1 0xff 000017b1: SWAP1 000017b2: SWAP2 000017b3: AND 000017b4: SWAP3 000017b5: SWAP1 000017b6: SWAP2 000017b7: DUP7 000017b8: SWAP2 000017b9: SWAP1 000017ba: PUSH2 0x3795 000017bd: JUMP 000017be: JUMPDEST 000017bf: PUSH1 0x40 000017c1: MLOAD 000017c2: DUP1 000017c3: SWAP2 000017c4: SUB 000017c5: SWAP1 000017c6: LOG1 000017c7: POP 000017c8: POP 000017c9: PUSH1 0x01 000017cb: DUP1 000017cc: SSTORE 000017cd: JUMP 000017ce: JUMPDEST 000017cf: PUSH1 0x72 000017d1: PUSH1 0x20 000017d3: MSTORE 000017d4: DUP2 000017d5: PUSH1 0x00 000017d7: MSTORE 000017d8: PUSH1 0x40 000017da: PUSH1 0x00 000017dc: KECCAK256 000017dd: DUP2 000017de: DUP2 000017df: SLOAD 000017e0: DUP2 000017e1: LT 000017e2: PUSH2 0x17ea 000017e5: JUMPI 000017e6: PUSH1 0x00 000017e8: DUP1 000017e9: REVERT 000017ea: JUMPDEST 000017eb: PUSH1 0x00 000017ed: SWAP2 000017ee: DUP3 000017ef: MSTORE 000017f0: PUSH1 0x20 000017f2: SWAP1 000017f3: SWAP2 000017f4: KECCAK256 000017f5: PUSH1 0x02 000017f7: SWAP1 000017f8: SWAP2 000017f9: MUL 000017fa: ADD 000017fb: DUP1 000017fc: SLOAD 000017fd: PUSH1 0x01 000017ff: SWAP1 00001800: SWAP2 00001801: ADD 00001802: SLOAD 00001803: SWAP1 00001804: SWAP3 00001805: POP 00001806: SWAP1 00001807: POP 00001808: DUP3 00001809: JUMP 0000180a: JUMPDEST 0000180b: PUSH1 0x00 0000180d: SLOAD 0000180e: PUSH2 0x0100 00001811: SWAP1 00001812: DIV 00001813: PUSH1 0xff 00001815: AND 00001816: DUP1 00001817: PUSH2 0x1823 0000181a: JUMPI 0000181b: POP 0000181c: PUSH1 0x00 0000181e: SLOAD 0000181f: PUSH1 0xff 00001821: AND 00001822: ISZERO 00001823: JUMPDEST 00001824: PUSH2 0x18af 00001827: JUMPI 00001828: PUSH1 0x40 0000182a: MLOAD 0000182b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000184c: DUP2 0000184d: MSTORE 0000184e: PUSH1 0x20 00001850: PUSH1 0x04 00001852: DUP3 00001853: ADD 00001854: MSTORE 00001855: PUSH1 0x2e 00001857: PUSH1 0x24 00001859: DUP3 0000185a: ADD 0000185b: MSTORE 0000185c: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 0000187d: PUSH1 0x44 0000187f: DUP3 00001880: ADD 00001881: MSTORE 00001882: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 000018a3: PUSH1 0x64 000018a5: DUP3 000018a6: ADD 000018a7: MSTORE 000018a8: PUSH1 0x84 000018aa: ADD 000018ab: PUSH2 0x084b 000018ae: JUMP 000018af: JUMPDEST 000018b0: PUSH1 0x00 000018b2: SLOAD 000018b3: PUSH2 0x0100 000018b6: SWAP1 000018b7: DIV 000018b8: PUSH1 0xff 000018ba: AND 000018bb: ISZERO 000018bc: DUP1 000018bd: ISZERO 000018be: PUSH2 0x18ee 000018c1: JUMPI 000018c2: PUSH1 0x00 000018c4: DUP1 000018c5: SLOAD 000018c6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000 000018e7: AND 000018e8: PUSH2 0x0101 000018eb: OR 000018ec: SWAP1 000018ed: SSTORE 000018ee: JUMPDEST 000018ef: PUSH2 0x18f6 000018f2: PUSH2 0x2c92 000018f5: JUMP 000018f6: JUMPDEST 000018f7: PUSH2 0x18fe 000018fa: PUSH2 0x2daf 000018fd: JUMP 000018fe: JUMPDEST 000018ff: PUSH1 0x65 00001901: DUP1 00001902: SLOAD 00001903: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001918: DUP1 00001919: DUP13 0000191a: AND 0000191b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000193c: SWAP3 0000193d: DUP4 0000193e: AND 0000193f: OR 00001940: SWAP1 00001941: SWAP3 00001942: SSTORE 00001943: PUSH1 0x66 00001945: DUP1 00001946: SLOAD 00001947: SWAP3 00001948: DUP12 00001949: AND 0000194a: SWAP3 0000194b: SWAP1 0000194c: SWAP2 0000194d: AND 0000194e: SWAP2 0000194f: SWAP1 00001950: SWAP2 00001951: OR 00001952: SWAP1 00001953: SSTORE 00001954: PUSH1 0x69 00001956: DUP8 00001957: SWAP1 00001958: SSTORE 00001959: PUSH1 0x68 0000195b: DUP7 0000195c: SWAP1 0000195d: SSTORE 0000195e: DUP3 0000195f: MLOAD 00001960: PUSH2 0x1970 00001963: SWAP1 00001964: PUSH1 0x6c 00001966: SWAP1 00001967: PUSH1 0x20 00001969: DUP7 0000196a: ADD 0000196b: SWAP1 0000196c: PUSH2 0x3207 0000196f: JUMP 00001970: JUMPDEST 00001971: POP 00001972: DUP2 00001973: MLOAD 00001974: PUSH2 0x1984 00001977: SWAP1 00001978: PUSH1 0x6d 0000197a: SWAP1 0000197b: PUSH1 0x20 0000197d: DUP6 0000197e: ADD 0000197f: SWAP1 00001980: PUSH2 0x3207 00001983: JUMP 00001984: JUMPDEST 00001985: POP 00001986: PUSH1 0x00 00001988: PUSH2 0x1994 0000198b: PUSH1 0xfa 0000198d: PUSH2 0x2710 00001990: PUSH2 0x38ed 00001993: JUMP 00001994: JUMPDEST 00001995: PUSH2 0xffff 00001998: AND 00001999: SWAP1 0000199a: POP 0000199b: DUP1 0000199c: DUP6 0000199d: LT 0000199e: PUSH2 0x1a29 000019a1: JUMPI 000019a2: PUSH1 0x40 000019a4: MLOAD 000019a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019c6: DUP2 000019c7: MSTORE 000019c8: PUSH1 0x20 000019ca: PUSH1 0x04 000019cc: DUP3 000019cd: ADD 000019ce: MSTORE 000019cf: PUSH1 0x32 000019d1: PUSH1 0x24 000019d3: DUP3 000019d4: ADD 000019d5: MSTORE 000019d6: PUSH32 0x50617274794269643a3a696e697469616c697a653a20626173697320706f696e 000019f7: PUSH1 0x44 000019f9: DUP3 000019fa: ADD 000019fb: MSTORE 000019fc: PUSH32 0x74732063616e27742074616b6520313030250000000000000000000000000000 00001a1d: PUSH1 0x64 00001a1f: DUP3 00001a20: ADD 00001a21: MSTORE 00001a22: PUSH1 0x84 00001a24: ADD 00001a25: PUSH2 0x084b 00001a28: JUMP 00001a29: JUMPDEST 00001a2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a3f: DUP7 00001a40: AND 00001a41: PUSH2 0x1ad2 00001a44: JUMPI 00001a45: DUP5 00001a46: ISZERO 00001a47: PUSH2 0x1ad2 00001a4a: JUMPI 00001a4b: PUSH1 0x40 00001a4d: MLOAD 00001a4e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a6f: DUP2 00001a70: MSTORE 00001a71: PUSH1 0x20 00001a73: PUSH1 0x04 00001a75: DUP3 00001a76: ADD 00001a77: MSTORE 00001a78: PUSH1 0x34 00001a7a: PUSH1 0x24 00001a7c: DUP3 00001a7d: ADD 00001a7e: MSTORE 00001a7f: PUSH32 0x50617274794269643a3a696e697469616c697a653a2063616e27742073656e64 00001aa0: PUSH1 0x44 00001aa2: DUP3 00001aa3: ADD 00001aa4: MSTORE 00001aa5: PUSH32 0x20746f6b656e7320746f206275726e2061646472000000000000000000000000 00001ac6: PUSH1 0x64 00001ac8: DUP3 00001ac9: ADD 00001aca: MSTORE 00001acb: PUSH1 0x84 00001acd: ADD 00001ace: PUSH2 0x084b 00001ad1: JUMP 00001ad2: JUMPDEST 00001ad3: PUSH1 0x6b 00001ad5: DUP6 00001ad6: SWAP1 00001ad7: SSTORE 00001ad8: PUSH1 0x6a 00001ada: DUP1 00001adb: SLOAD 00001adc: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001afd: AND 00001afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b13: DUP9 00001b14: AND 00001b15: OR 00001b16: SWAP1 00001b17: SSTORE 00001b18: PUSH1 0x00 00001b1a: PUSH2 0x1b21 00001b1d: PUSH2 0x27b9 00001b20: JUMP 00001b21: JUMPDEST 00001b22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b37: AND 00001b38: EQ 00001b39: ISZERO 00001b3a: PUSH2 0x1bc5 00001b3d: JUMPI 00001b3e: PUSH1 0x40 00001b40: MLOAD 00001b41: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b62: DUP2 00001b63: MSTORE 00001b64: PUSH1 0x20 00001b66: PUSH1 0x04 00001b68: DUP3 00001b69: ADD 00001b6a: MSTORE 00001b6b: PUSH1 0x29 00001b6d: PUSH1 0x24 00001b6f: DUP3 00001b70: ADD 00001b71: MSTORE 00001b72: PUSH32 0x50617274794269643a3a696e697469616c697a653a204e4654206765744f776e 00001b93: PUSH1 0x44 00001b95: DUP3 00001b96: ADD 00001b97: MSTORE 00001b98: PUSH32 0x6572206661696c65640000000000000000000000000000000000000000000000 00001bb9: PUSH1 0x64 00001bbb: DUP3 00001bbc: ADD 00001bbd: MSTORE 00001bbe: PUSH1 0x84 00001bc0: ADD 00001bc1: PUSH2 0x084b 00001bc4: JUMP 00001bc5: JUMPDEST 00001bc6: PUSH1 0x65 00001bc8: SLOAD 00001bc9: PUSH1 0x40 00001bcb: MLOAD 00001bcc: PUSH32 0x97e2d38000000000000000000000000000000000000000000000000000000000 00001bed: DUP2 00001bee: MSTORE 00001bef: PUSH1 0x04 00001bf1: DUP2 00001bf2: ADD 00001bf3: DUP10 00001bf4: SWAP1 00001bf5: MSTORE 00001bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c0b: DUP12 00001c0c: DUP2 00001c0d: AND 00001c0e: PUSH1 0x24 00001c10: DUP4 00001c11: ADD 00001c12: MSTORE 00001c13: PUSH1 0x44 00001c15: DUP3 00001c16: ADD 00001c17: DUP12 00001c18: SWAP1 00001c19: MSTORE 00001c1a: SWAP1 00001c1b: SWAP2 00001c1c: AND 00001c1d: SWAP1 00001c1e: PUSH4 0x97e2d380 00001c23: SWAP1 00001c24: PUSH1 0x64 00001c26: ADD 00001c27: PUSH1 0x20 00001c29: PUSH1 0x40 00001c2b: MLOAD 00001c2c: DUP1 00001c2d: DUP4 00001c2e: SUB 00001c2f: DUP2 00001c30: DUP7 00001c31: DUP1 00001c32: EXTCODESIZE 00001c33: ISZERO 00001c34: DUP1 00001c35: ISZERO 00001c36: PUSH2 0x1c3e 00001c39: JUMPI 00001c3a: PUSH1 0x00 00001c3c: DUP1 00001c3d: REVERT 00001c3e: JUMPDEST 00001c3f: POP 00001c40: GAS 00001c41: STATICCALL 00001c42: ISZERO 00001c43: DUP1 00001c44: ISZERO 00001c45: PUSH2 0x1c52 00001c48: JUMPI 00001c49: RETURNDATASIZE 00001c4a: PUSH1 0x00 00001c4c: DUP1 00001c4d: RETURNDATACOPY 00001c4e: RETURNDATASIZE 00001c4f: PUSH1 0x00 00001c51: REVERT 00001c52: JUMPDEST 00001c53: POP 00001c54: POP 00001c55: POP 00001c56: POP 00001c57: PUSH1 0x40 00001c59: MLOAD 00001c5a: RETURNDATASIZE 00001c5b: PUSH1 0x1f 00001c5d: NOT 00001c5e: PUSH1 0x1f 00001c60: DUP3 00001c61: ADD 00001c62: AND 00001c63: DUP3 00001c64: ADD 00001c65: DUP1 00001c66: PUSH1 0x40 00001c68: MSTORE 00001c69: POP 00001c6a: DUP2 00001c6b: ADD 00001c6c: SWAP1 00001c6d: PUSH2 0x1c76 00001c70: SWAP2 00001c71: SWAP1 00001c72: PUSH2 0x352d 00001c75: JUMP 00001c76: JUMPDEST 00001c77: PUSH2 0x1d02 00001c7a: JUMPI 00001c7b: PUSH1 0x40 00001c7d: MLOAD 00001c7e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c9f: DUP2 00001ca0: MSTORE 00001ca1: PUSH1 0x20 00001ca3: PUSH1 0x04 00001ca5: DUP3 00001ca6: ADD 00001ca7: MSTORE 00001ca8: PUSH1 0x33 00001caa: PUSH1 0x24 00001cac: DUP3 00001cad: ADD 00001cae: MSTORE 00001caf: PUSH32 0x50617274794269643a3a696e697469616c697a653a2061756374696f6e496420 00001cd0: PUSH1 0x44 00001cd2: DUP3 00001cd3: ADD 00001cd4: MSTORE 00001cd5: PUSH32 0x646f65736e2774206d6174636820746f6b656e00000000000000000000000000 00001cf6: PUSH1 0x64 00001cf8: DUP3 00001cf9: ADD 00001cfa: MSTORE 00001cfb: PUSH1 0x84 00001cfd: ADD 00001cfe: PUSH2 0x084b 00001d01: JUMP 00001d02: JUMPDEST 00001d03: POP 00001d04: DUP1 00001d05: ISZERO 00001d06: PUSH2 0x1d32 00001d09: JUMPI 00001d0a: PUSH1 0x00 00001d0c: DUP1 00001d0d: SLOAD 00001d0e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00001d2f: AND 00001d30: SWAP1 00001d31: SSTORE 00001d32: JUMPDEST 00001d33: POP 00001d34: POP 00001d35: POP 00001d36: POP 00001d37: POP 00001d38: POP 00001d39: POP 00001d3a: POP 00001d3b: POP 00001d3c: JUMP 00001d3d: JUMPDEST 00001d3e: PUSH1 0x00 00001d40: DUP1 00001d41: DUP1 00001d42: PUSH1 0x6e 00001d44: SLOAD 00001d45: PUSH1 0xff 00001d47: AND 00001d48: PUSH1 0x02 00001d4a: DUP2 00001d4b: GT 00001d4c: ISZERO 00001d4d: PUSH2 0x1d58 00001d50: JUMPI 00001d51: PUSH2 0x1d58 00001d54: PUSH2 0x3a0f 00001d57: JUMP 00001d58: JUMPDEST 00001d59: EQ 00001d5a: ISZERO 00001d5b: PUSH2 0x1e0c 00001d5e: JUMPI 00001d5f: PUSH1 0x40 00001d61: MLOAD 00001d62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d83: DUP2 00001d84: MSTORE 00001d85: PUSH1 0x20 00001d87: PUSH1 0x04 00001d89: DUP3 00001d8a: ADD 00001d8b: MSTORE 00001d8c: PUSH1 0x43 00001d8e: PUSH1 0x24 00001d90: DUP3 00001d91: ADD 00001d92: MSTORE 00001d93: PUSH32 0x50617274794269643a3a676574436c61696d416d6f756e74733a207061727479 00001db4: PUSH1 0x44 00001db6: DUP3 00001db7: ADD 00001db8: MSTORE 00001db9: PUSH32 0x207374696c6c206163746976653b20616d6f756e747320756e64657465726d69 00001dda: PUSH1 0x64 00001ddc: DUP3 00001ddd: ADD 00001dde: MSTORE 00001ddf: PUSH32 0x6e65640000000000000000000000000000000000000000000000000000000000 00001e00: PUSH1 0x84 00001e02: DUP3 00001e03: ADD 00001e04: MSTORE 00001e05: PUSH1 0xa4 00001e07: ADD 00001e08: PUSH2 0x084b 00001e0b: JUMP 00001e0c: JUMPDEST 00001e0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e22: DUP4 00001e23: AND 00001e24: PUSH1 0x00 00001e26: SWAP1 00001e27: DUP2 00001e28: MSTORE 00001e29: PUSH1 0x73 00001e2b: PUSH1 0x20 00001e2d: MSTORE 00001e2e: PUSH1 0x40 00001e30: SWAP1 00001e31: KECCAK256 00001e32: SLOAD 00001e33: PUSH1 0x01 00001e35: PUSH1 0x6e 00001e37: SLOAD 00001e38: PUSH1 0xff 00001e3a: AND 00001e3b: PUSH1 0x02 00001e3d: DUP2 00001e3e: GT 00001e3f: ISZERO 00001e40: PUSH2 0x1e4b 00001e43: JUMPI 00001e44: PUSH2 0x1e4b 00001e47: PUSH2 0x3a0f 00001e4a: JUMP 00001e4b: JUMPDEST 00001e4c: EQ 00001e4d: ISZERO 00001e4e: PUSH2 0x1e82 00001e51: JUMPI 00001e52: PUSH1 0x00 00001e54: PUSH2 0x1e5c 00001e57: DUP6 00001e58: PUSH2 0x2316 00001e5b: JUMP 00001e5c: JUMPDEST 00001e5d: SWAP1 00001e5e: POP 00001e5f: DUP1 00001e60: ISZERO 00001e61: PUSH2 0x1e70 00001e64: JUMPI 00001e65: PUSH2 0x1e6d 00001e68: DUP2 00001e69: PUSH2 0x1e99 00001e6c: JUMP 00001e6d: JUMPDEST 00001e6e: SWAP4 00001e6f: POP 00001e70: JUMPDEST 00001e71: PUSH2 0x1e7a 00001e74: DUP2 00001e75: DUP4 00001e76: PUSH2 0x3910 00001e79: JUMP 00001e7a: JUMPDEST 00001e7b: SWAP3 00001e7c: POP 00001e7d: POP 00001e7e: PUSH2 0x1e86 00001e81: JUMP 00001e82: JUMPDEST 00001e83: DUP1 00001e84: SWAP2 00001e85: POP 00001e86: JUMPDEST 00001e87: POP 00001e88: SWAP2 00001e89: POP 00001e8a: SWAP2 00001e8b: JUMP 00001e8c: JUMPDEST 00001e8d: PUSH1 0x6d 00001e8f: DUP1 00001e90: SLOAD 00001e91: PUSH2 0x0709 00001e94: SWAP1 00001e95: PUSH2 0x3953 00001e98: JUMP 00001e99: JUMPDEST 00001e9a: PUSH1 0x00 00001e9c: PUSH2 0x1ea7 00001e9f: PUSH2 0x03e8 00001ea2: DUP4 00001ea3: PUSH2 0x38b0 00001ea6: JUMP 00001ea7: JUMPDEST 00001ea8: SWAP3 00001ea9: SWAP2 00001eaa: POP 00001eab: POP 00001eac: JUMP 00001ead: JUMPDEST 00001eae: PUSH1 0x00 00001eb0: PUSH1 0x60 00001eb2: CALLER 00001eb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec8: PUSH32 0x000000000000000000000000f7f52dd34bc21eda08c0b804c7c1dbc48375820f 00001ee9: AND 00001eea: EQ 00001eeb: PUSH2 0x1f76 00001eee: JUMPI 00001eef: PUSH1 0x40 00001ef1: MLOAD 00001ef2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001f13: DUP2 00001f14: MSTORE 00001f15: PUSH1 0x20 00001f17: PUSH1 0x04 00001f19: DUP3 00001f1a: ADD 00001f1b: MSTORE 00001f1c: PUSH1 0x21 00001f1e: PUSH1 0x24 00001f20: DUP3 00001f21: ADD 00001f22: MSTORE 00001f23: PUSH32 0x50617274794269643a3a206f6e6c7920506172747944414f206d756c74697369 00001f44: PUSH1 0x44 00001f46: DUP3 00001f47: ADD 00001f48: MSTORE 00001f49: PUSH32 0x6700000000000000000000000000000000000000000000000000000000000000 00001f6a: PUSH1 0x64 00001f6c: DUP3 00001f6d: ADD 00001f6e: MSTORE 00001f6f: PUSH1 0x84 00001f71: ADD 00001f72: PUSH2 0x084b 00001f75: JUMP 00001f76: JUMPDEST 00001f77: DUP4 00001f78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f8d: AND 00001f8e: DUP4 00001f8f: PUSH1 0x40 00001f91: MLOAD 00001f92: PUSH2 0x1f9b 00001f95: SWAP2 00001f96: SWAP1 00001f97: PUSH2 0x36dd 00001f9a: JUMP 00001f9b: JUMPDEST 00001f9c: PUSH1 0x00 00001f9e: PUSH1 0x40 00001fa0: MLOAD 00001fa1: DUP1 00001fa2: DUP4 00001fa3: SUB 00001fa4: DUP2 00001fa5: PUSH1 0x00 00001fa7: DUP7 00001fa8: GAS 00001fa9: CALL 00001faa: SWAP2 00001fab: POP 00001fac: POP 00001fad: RETURNDATASIZE 00001fae: DUP1 00001faf: PUSH1 0x00 00001fb1: DUP2 00001fb2: EQ 00001fb3: PUSH2 0x1fd8 00001fb6: JUMPI 00001fb7: PUSH1 0x40 00001fb9: MLOAD 00001fba: SWAP2 00001fbb: POP 00001fbc: PUSH1 0x1f 00001fbe: NOT 00001fbf: PUSH1 0x3f 00001fc1: RETURNDATASIZE 00001fc2: ADD 00001fc3: AND 00001fc4: DUP3 00001fc5: ADD 00001fc6: PUSH1 0x40 00001fc8: MSTORE 00001fc9: RETURNDATASIZE 00001fca: DUP3 00001fcb: MSTORE 00001fcc: RETURNDATASIZE 00001fcd: PUSH1 0x00 00001fcf: PUSH1 0x20 00001fd1: DUP5 00001fd2: ADD 00001fd3: RETURNDATACOPY 00001fd4: PUSH2 0x1fdd 00001fd7: JUMP 00001fd8: JUMPDEST 00001fd9: PUSH1 0x60 00001fdb: SWAP2 00001fdc: POP 00001fdd: JUMPDEST 00001fde: POP 00001fdf: SWAP1 00001fe0: SWAP3 00001fe1: POP 00001fe2: SWAP1 00001fe3: POP 00001fe4: DUP1 00001fe5: DUP3 00001fe6: PUSH2 0x201c 00001fe9: JUMPI 00001fea: PUSH1 0x40 00001fec: MLOAD 00001fed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000200e: DUP2 0000200f: MSTORE 00002010: PUSH1 0x04 00002012: ADD 00002013: PUSH2 0x084b 00002016: SWAP2 00002017: SWAP1 00002018: PUSH2 0x37be 0000201b: JUMP 0000201c: JUMPDEST 0000201d: POP 0000201e: SWAP3 0000201f: POP 00002020: SWAP3 00002021: SWAP1 00002022: POP 00002023: JUMP 00002024: JUMPDEST 00002025: PUSH1 0x02 00002027: PUSH1 0x01 00002029: SLOAD 0000202a: EQ 0000202b: ISZERO 0000202c: PUSH2 0x2091 0000202f: JUMPI 00002030: PUSH1 0x40 00002032: MLOAD 00002033: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002054: DUP2 00002055: MSTORE 00002056: PUSH1 0x20 00002058: PUSH1 0x04 0000205a: DUP3 0000205b: ADD 0000205c: MSTORE 0000205d: PUSH1 0x1f 0000205f: PUSH1 0x24 00002061: DUP3 00002062: ADD 00002063: MSTORE 00002064: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00002085: PUSH1 0x44 00002087: DUP3 00002088: ADD 00002089: MSTORE 0000208a: PUSH1 0x64 0000208c: ADD 0000208d: PUSH2 0x084b 00002090: JUMP 00002091: JUMPDEST 00002092: PUSH1 0x02 00002094: PUSH1 0x01 00002096: SSTORE 00002097: PUSH1 0x00 00002099: PUSH1 0x6e 0000209b: SLOAD 0000209c: PUSH1 0xff 0000209e: AND 0000209f: PUSH1 0x02 000020a1: DUP2 000020a2: GT 000020a3: ISZERO 000020a4: PUSH2 0x20af 000020a7: JUMPI 000020a8: PUSH2 0x20af 000020ab: PUSH2 0x3a0f 000020ae: JUMP 000020af: JUMPDEST 000020b0: EQ 000020b1: PUSH2 0x213c 000020b4: JUMPI 000020b5: PUSH1 0x40 000020b7: MLOAD 000020b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000020d9: DUP2 000020da: MSTORE 000020db: PUSH1 0x20 000020dd: PUSH1 0x04 000020df: DUP3 000020e0: ADD 000020e1: MSTORE 000020e2: PUSH1 0x28 000020e4: PUSH1 0x24 000020e6: DUP3 000020e7: ADD 000020e8: MSTORE 000020e9: PUSH32 0x50617274794269643a3a636f6e747269627574653a2061756374696f6e206e6f 0000210a: PUSH1 0x44 0000210c: DUP3 0000210d: ADD 0000210e: MSTORE 0000210f: PUSH32 0x7420616374697665000000000000000000000000000000000000000000000000 00002130: PUSH1 0x64 00002132: DUP3 00002133: ADD 00002134: MSTORE 00002135: PUSH1 0x84 00002137: ADD 00002138: PUSH2 0x084b 0000213b: JUMP 0000213c: JUMPDEST 0000213d: CALLER 0000213e: CALLVALUE 0000213f: DUP1 00002140: PUSH2 0x21cb 00002143: JUMPI 00002144: PUSH1 0x40 00002146: MLOAD 00002147: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002168: DUP2 00002169: MSTORE 0000216a: PUSH1 0x20 0000216c: PUSH1 0x04 0000216e: DUP3 0000216f: ADD 00002170: MSTORE 00002171: PUSH1 0x31 00002173: PUSH1 0x24 00002175: DUP3 00002176: ADD 00002177: MSTORE 00002178: PUSH32 0x50617274794269643a3a636f6e747269627574653a206d75737420636f6e7472 00002199: PUSH1 0x44 0000219b: DUP3 0000219c: ADD 0000219d: MSTORE 0000219e: PUSH32 0x6962757465206d6f7265207468616e2030000000000000000000000000000000 000021bf: PUSH1 0x64 000021c1: DUP3 000021c2: ADD 000021c3: MSTORE 000021c4: PUSH1 0x84 000021c6: ADD 000021c7: PUSH2 0x084b 000021ca: JUMP 000021cb: JUMPDEST 000021cc: PUSH1 0x6f 000021ce: SLOAD 000021cf: PUSH1 0x40 000021d1: DUP1 000021d2: MLOAD 000021d3: DUP1 000021d4: DUP3 000021d5: ADD 000021d6: DUP3 000021d7: MSTORE 000021d8: DUP4 000021d9: DUP2 000021da: MSTORE 000021db: PUSH1 0x20 000021dd: DUP1 000021de: DUP3 000021df: ADD 000021e0: DUP5 000021e1: DUP2 000021e2: MSTORE 000021e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021f8: DUP8 000021f9: AND 000021fa: PUSH1 0x00 000021fc: DUP2 000021fd: DUP2 000021fe: MSTORE 000021ff: PUSH1 0x72 00002201: DUP5 00002202: MSTORE 00002203: DUP6 00002204: DUP2 00002205: KECCAK256 00002206: DUP1 00002207: SLOAD 00002208: PUSH1 0x01 0000220a: DUP2 0000220b: DUP2 0000220c: ADD 0000220d: DUP4 0000220e: SSTORE 0000220f: SWAP2 00002210: DUP4 00002211: MSTORE 00002212: DUP6 00002213: DUP4 00002214: KECCAK256 00002215: DUP8 00002216: MLOAD 00002217: PUSH1 0x02 00002219: SWAP1 0000221a: SWAP3 0000221b: MUL 0000221c: ADD 0000221d: SWAP1 0000221e: DUP2 0000221f: SSTORE 00002220: SWAP4 00002221: MLOAD 00002222: SWAP4 00002223: ADD 00002224: SWAP3 00002225: SWAP1 00002226: SWAP3 00002227: SSTORE 00002228: DUP2 00002229: MSTORE 0000222a: PUSH1 0x73 0000222c: SWAP1 0000222d: SWAP2 0000222e: MSTORE 0000222f: SWAP2 00002230: SWAP1 00002231: SWAP2 00002232: KECCAK256 00002233: SLOAD 00002234: PUSH2 0x223e 00002237: SWAP1 00002238: DUP5 00002239: SWAP1 0000223a: PUSH2 0x385d 0000223d: JUMP 0000223e: JUMPDEST 0000223f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002254: DUP6 00002255: AND 00002256: PUSH1 0x00 00002258: SWAP1 00002259: DUP2 0000225a: MSTORE 0000225b: PUSH1 0x73 0000225d: PUSH1 0x20 0000225f: MSTORE 00002260: PUSH1 0x40 00002262: SWAP1 00002263: KECCAK256 00002264: SSTORE 00002265: PUSH1 0x6f 00002267: SLOAD 00002268: PUSH2 0x2272 0000226b: SWAP1 0000226c: DUP5 0000226d: SWAP1 0000226e: PUSH2 0x385d 00002271: JUMP 00002272: JUMPDEST 00002273: PUSH1 0x6f 00002275: SSTORE 00002276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000228b: DUP5 0000228c: AND 0000228d: PUSH1 0x00 0000228f: DUP2 00002290: DUP2 00002291: MSTORE 00002292: PUSH1 0x73 00002294: PUSH1 0x20 00002296: SWAP1 00002297: DUP2 00002298: MSTORE 00002299: PUSH1 0x40 0000229b: SWAP2 0000229c: DUP3 0000229d: SWAP1 0000229e: KECCAK256 0000229f: SLOAD 000022a0: DUP3 000022a1: MLOAD 000022a2: DUP8 000022a3: DUP2 000022a4: MSTORE 000022a5: SWAP2 000022a6: DUP3 000022a7: ADD 000022a8: DUP7 000022a9: SWAP1 000022aa: MSTORE 000022ab: DUP2 000022ac: DUP4 000022ad: ADD 000022ae: MSTORE 000022af: SWAP1 000022b0: MLOAD 000022b1: PUSH32 0xb2623081601722547aae8781994e01a1974d95b0ad9ce6a0cfbe17487556257f 000022d2: SWAP2 000022d3: DUP2 000022d4: SWAP1 000022d5: SUB 000022d6: PUSH1 0x60 000022d8: ADD 000022d9: SWAP1 000022da: LOG2 000022db: POP 000022dc: POP 000022dd: PUSH1 0x01 000022df: DUP1 000022e0: SSTORE 000022e1: POP 000022e2: POP 000022e3: JUMP 000022e4: JUMPDEST 000022e5: PUSH1 0x00 000022e7: PUSH2 0x22f3 000022ea: PUSH1 0xfa 000022ec: PUSH2 0x2710 000022ef: PUSH2 0x3837 000022f2: JUMP 000022f3: JUMPDEST 000022f4: PUSH2 0xffff 000022f7: AND 000022f8: PUSH1 0x6f 000022fa: SLOAD 000022fb: PUSH2 0x2710 000022fe: PUSH2 0x2307 00002301: SWAP2 00002302: SWAP1 00002303: PUSH2 0x38b0 00002306: JUMP 00002307: JUMPDEST 00002308: PUSH2 0x2311 0000230b: SWAP2 0000230c: SWAP1 0000230d: PUSH2 0x3875 00002310: JUMP 00002311: JUMPDEST 00002312: SWAP1 00002313: POP 00002314: SWAP1 00002315: JUMP 00002316: JUMPDEST 00002317: PUSH1 0x00 00002319: DUP1 0000231a: PUSH1 0x6e 0000231c: SLOAD 0000231d: PUSH1 0xff 0000231f: AND 00002320: PUSH1 0x02 00002322: DUP2 00002323: GT 00002324: ISZERO 00002325: PUSH2 0x2330 00002328: JUMPI 00002329: PUSH2 0x2330 0000232c: PUSH2 0x3a0f 0000232f: JUMP 00002330: JUMPDEST 00002331: EQ 00002332: ISZERO 00002333: PUSH2 0x23e4 00002336: JUMPI 00002337: PUSH1 0x40 00002339: MLOAD 0000233a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000235b: DUP2 0000235c: MSTORE 0000235d: PUSH1 0x20 0000235f: PUSH1 0x04 00002361: DUP3 00002362: ADD 00002363: MSTORE 00002364: PUSH1 0x46 00002366: PUSH1 0x24 00002368: DUP3 00002369: ADD 0000236a: MSTORE 0000236b: PUSH32 0x50617274794269643a3a746f74616c45746855736564466f724269643a207061 0000238c: PUSH1 0x44 0000238e: DUP3 0000238f: ADD 00002390: MSTORE 00002391: PUSH32 0x727479207374696c6c206163746976653b20616d6f756e747320756e64657465 000023b2: PUSH1 0x64 000023b4: DUP3 000023b5: ADD 000023b6: MSTORE 000023b7: PUSH32 0x726d696e65640000000000000000000000000000000000000000000000000000 000023d8: PUSH1 0x84 000023da: DUP3 000023db: ADD 000023dc: MSTORE 000023dd: PUSH1 0xa4 000023df: ADD 000023e0: PUSH2 0x084b 000023e3: JUMP 000023e4: JUMPDEST 000023e5: PUSH1 0x71 000023e7: SLOAD 000023e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023fd: DUP4 000023fe: AND 000023ff: PUSH1 0x00 00002401: SWAP1 00002402: DUP2 00002403: MSTORE 00002404: PUSH1 0x72 00002406: PUSH1 0x20 00002408: SWAP1 00002409: DUP2 0000240a: MSTORE 0000240b: PUSH1 0x40 0000240d: DUP1 0000240e: DUP4 0000240f: KECCAK256 00002410: DUP1 00002411: SLOAD 00002412: DUP3 00002413: MLOAD 00002414: DUP2 00002415: DUP6 00002416: MUL 00002417: DUP2 00002418: ADD 00002419: DUP6 0000241a: ADD 0000241b: SWAP1 0000241c: SWAP4 0000241d: MSTORE 0000241e: DUP1 0000241f: DUP4 00002420: MSTORE 00002421: SWAP2 00002422: SWAP3 00002423: SWAP1 00002424: SWAP2 00002425: SWAP1 00002426: DUP5 00002427: SWAP1 00002428: DUP5 00002429: ADD 0000242a: JUMPDEST 0000242b: DUP3 0000242c: DUP3 0000242d: LT 0000242e: ISZERO 0000242f: PUSH2 0x2470 00002432: JUMPI 00002433: DUP4 00002434: DUP3 00002435: SWAP1 00002436: PUSH1 0x00 00002438: MSTORE 00002439: PUSH1 0x20 0000243b: PUSH1 0x00 0000243d: KECCAK256 0000243e: SWAP1 0000243f: PUSH1 0x02 00002441: MUL 00002442: ADD 00002443: PUSH1 0x40 00002445: MLOAD 00002446: DUP1 00002447: PUSH1 0x40 00002449: ADD 0000244a: PUSH1 0x40 0000244c: MSTORE 0000244d: SWAP1 0000244e: DUP2 0000244f: PUSH1 0x00 00002451: DUP3 00002452: ADD 00002453: SLOAD 00002454: DUP2 00002455: MSTORE 00002456: PUSH1 0x20 00002458: ADD 00002459: PUSH1 0x01 0000245b: DUP3 0000245c: ADD 0000245d: SLOAD 0000245e: DUP2 0000245f: MSTORE 00002460: POP 00002461: POP 00002462: DUP2 00002463: MSTORE 00002464: PUSH1 0x20 00002466: ADD 00002467: SWAP1 00002468: PUSH1 0x01 0000246a: ADD 0000246b: SWAP1 0000246c: PUSH2 0x242a 0000246f: JUMP 00002470: JUMPDEST 00002471: POP 00002472: POP 00002473: POP 00002474: POP 00002475: SWAP1 00002476: POP 00002477: PUSH1 0x00 00002479: JUMPDEST 0000247a: DUP2 0000247b: MLOAD 0000247c: DUP2 0000247d: LT 0000247e: ISZERO 0000247f: PUSH2 0x24d4 00002482: JUMPI 00002483: PUSH1 0x00 00002485: PUSH2 0x24a7 00002488: DUP5 00002489: DUP5 0000248a: DUP5 0000248b: DUP2 0000248c: MLOAD 0000248d: DUP2 0000248e: LT 0000248f: PUSH2 0x249a 00002492: JUMPI 00002493: PUSH2 0x249a 00002496: PUSH2 0x3a3e 00002499: JUMP 0000249a: JUMPDEST 0000249b: PUSH1 0x20 0000249d: MUL 0000249e: PUSH1 0x20 000024a0: ADD 000024a1: ADD 000024a2: MLOAD 000024a3: PUSH2 0x2e9b 000024a6: JUMP 000024a7: JUMPDEST 000024a8: SWAP1 000024a9: POP 000024aa: DUP1 000024ab: PUSH2 0x24b4 000024ae: JUMPI 000024af: POP 000024b0: PUSH2 0x24d4 000024b3: JUMP 000024b4: JUMPDEST 000024b5: PUSH2 0x24be 000024b8: DUP2 000024b9: DUP7 000024ba: PUSH2 0x385d 000024bd: JUMP 000024be: JUMPDEST 000024bf: SWAP5 000024c0: POP 000024c1: POP 000024c2: DUP1 000024c3: DUP1 000024c4: PUSH2 0x24cc 000024c7: SWAP1 000024c8: PUSH2 0x39a7 000024cb: JUMP 000024cc: JUMPDEST 000024cd: SWAP2 000024ce: POP 000024cf: POP 000024d0: PUSH2 0x2479 000024d3: JUMP 000024d4: JUMPDEST 000024d5: POP 000024d6: POP 000024d7: POP 000024d8: SWAP2 000024d9: SWAP1 000024da: POP 000024db: JUMP 000024dc: JUMPDEST 000024dd: DUP1 000024de: PUSH2 0x24e5 000024e1: JUMPI 000024e2: POP 000024e3: POP 000024e4: JUMP 000024e5: JUMPDEST 000024e6: PUSH1 0x67 000024e8: SLOAD 000024e9: PUSH1 0x40 000024eb: MLOAD 000024ec: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000250d: DUP2 0000250e: MSTORE 0000250f: ADDRESS 00002510: PUSH1 0x04 00002512: DUP3 00002513: ADD 00002514: MSTORE 00002515: PUSH1 0x00 00002517: SWAP2 00002518: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000252d: AND 0000252e: SWAP1 0000252f: PUSH4 0x70a08231 00002534: SWAP1 00002535: PUSH1 0x24 00002537: ADD 00002538: PUSH1 0x20 0000253a: PUSH1 0x40 0000253c: MLOAD 0000253d: DUP1 0000253e: DUP4 0000253f: SUB 00002540: DUP2 00002541: DUP7 00002542: DUP1 00002543: EXTCODESIZE 00002544: ISZERO 00002545: DUP1 00002546: ISZERO 00002547: PUSH2 0x254f 0000254a: JUMPI 0000254b: PUSH1 0x00 0000254d: DUP1 0000254e: REVERT 0000254f: JUMPDEST 00002550: POP 00002551: GAS 00002552: STATICCALL 00002553: ISZERO 00002554: DUP1 00002555: ISZERO 00002556: PUSH2 0x2563 00002559: JUMPI 0000255a: RETURNDATASIZE 0000255b: PUSH1 0x00 0000255d: DUP1 0000255e: RETURNDATACOPY 0000255f: RETURNDATASIZE 00002560: PUSH1 0x00 00002562: REVERT 00002563: JUMPDEST 00002564: POP 00002565: POP 00002566: POP 00002567: POP 00002568: PUSH1 0x40 0000256a: MLOAD 0000256b: RETURNDATASIZE 0000256c: PUSH1 0x1f 0000256e: NOT 0000256f: PUSH1 0x1f 00002571: DUP3 00002572: ADD 00002573: AND 00002574: DUP3 00002575: ADD 00002576: DUP1 00002577: PUSH1 0x40 00002579: MSTORE 0000257a: POP 0000257b: DUP2 0000257c: ADD 0000257d: SWAP1 0000257e: PUSH2 0x2587 00002581: SWAP2 00002582: SWAP1 00002583: PUSH2 0x3568 00002586: JUMP 00002587: JUMPDEST 00002588: SWAP1 00002589: POP 0000258a: DUP1 0000258b: DUP3 0000258c: GT 0000258d: ISZERO 0000258e: PUSH2 0x2595 00002591: JUMPI 00002592: DUP1 00002593: SWAP2 00002594: POP 00002595: JUMPDEST 00002596: PUSH1 0x67 00002598: SLOAD 00002599: PUSH1 0x40 0000259b: MLOAD 0000259c: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000025bd: DUP2 000025be: MSTORE 000025bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025d4: DUP6 000025d5: DUP2 000025d6: AND 000025d7: PUSH1 0x04 000025d9: DUP4 000025da: ADD 000025db: MSTORE 000025dc: PUSH1 0x24 000025de: DUP3 000025df: ADD 000025e0: DUP6 000025e1: SWAP1 000025e2: MSTORE 000025e3: SWAP1 000025e4: SWAP2 000025e5: AND 000025e6: SWAP1 000025e7: PUSH4 0xa9059cbb 000025ec: SWAP1 000025ed: PUSH1 0x44 000025ef: ADD 000025f0: PUSH1 0x20 000025f2: PUSH1 0x40 000025f4: MLOAD 000025f5: DUP1 000025f6: DUP4 000025f7: SUB 000025f8: DUP2 000025f9: PUSH1 0x00 000025fb: DUP8 000025fc: DUP1 000025fd: EXTCODESIZE 000025fe: ISZERO 000025ff: DUP1 00002600: ISZERO 00002601: PUSH2 0x2609 00002604: JUMPI 00002605: PUSH1 0x00 00002607: DUP1 00002608: REVERT 00002609: JUMPDEST 0000260a: POP 0000260b: GAS 0000260c: CALL 0000260d: ISZERO 0000260e: DUP1 0000260f: ISZERO 00002610: PUSH2 0x261d 00002613: JUMPI 00002614: RETURNDATASIZE 00002615: PUSH1 0x00 00002617: DUP1 00002618: RETURNDATACOPY 00002619: RETURNDATASIZE 0000261a: PUSH1 0x00 0000261c: REVERT 0000261d: JUMPDEST 0000261e: POP 0000261f: POP 00002620: POP 00002621: POP 00002622: PUSH1 0x40 00002624: MLOAD 00002625: RETURNDATASIZE 00002626: PUSH1 0x1f 00002628: NOT 00002629: PUSH1 0x1f 0000262b: DUP3 0000262c: ADD 0000262d: AND 0000262e: DUP3 0000262f: ADD 00002630: DUP1 00002631: PUSH1 0x40 00002633: MSTORE 00002634: POP 00002635: DUP2 00002636: ADD 00002637: SWAP1 00002638: PUSH2 0x2641 0000263b: SWAP2 0000263c: SWAP1 0000263d: PUSH2 0x352d 00002640: JUMP 00002641: JUMPDEST 00002642: POP 00002643: POP 00002644: POP 00002645: POP 00002646: JUMP 00002647: JUMPDEST 00002648: DUP1 00002649: PUSH2 0x2650 0000264c: JUMPI 0000264d: POP 0000264e: POP 0000264f: JUMP 00002650: JUMPDEST 00002651: SELFBALANCE 00002652: DUP2 00002653: GT 00002654: ISZERO 00002655: PUSH2 0x265b 00002658: JUMPI 00002659: POP 0000265a: SELFBALANCE 0000265b: JUMPDEST 0000265c: PUSH2 0x2665 0000265f: DUP3 00002660: DUP3 00002661: PUSH2 0x2eea 00002664: JUMP 00002665: JUMPDEST 00002666: PUSH2 0x27b5 00002669: JUMPI 0000266a: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000268b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026a0: AND 000026a1: PUSH4 0xd0e30db0 000026a6: DUP3 000026a7: PUSH1 0x40 000026a9: MLOAD 000026aa: DUP3 000026ab: PUSH4 0xffffffff 000026b0: AND 000026b1: PUSH1 0xe0 000026b3: SHL 000026b4: DUP2 000026b5: MSTORE 000026b6: PUSH1 0x04 000026b8: ADD 000026b9: PUSH1 0x00 000026bb: PUSH1 0x40 000026bd: MLOAD 000026be: DUP1 000026bf: DUP4 000026c0: SUB 000026c1: DUP2 000026c2: DUP6 000026c3: DUP9 000026c4: DUP1 000026c5: EXTCODESIZE 000026c6: ISZERO 000026c7: DUP1 000026c8: ISZERO 000026c9: PUSH2 0x26d1 000026cc: JUMPI 000026cd: PUSH1 0x00 000026cf: DUP1 000026d0: REVERT 000026d1: JUMPDEST 000026d2: POP 000026d3: GAS 000026d4: CALL 000026d5: ISZERO 000026d6: DUP1 000026d7: ISZERO 000026d8: PUSH2 0x26e5 000026db: JUMPI 000026dc: RETURNDATASIZE 000026dd: PUSH1 0x00 000026df: DUP1 000026e0: RETURNDATACOPY 000026e1: RETURNDATASIZE 000026e2: PUSH1 0x00 000026e4: REVERT 000026e5: JUMPDEST 000026e6: POP 000026e7: POP 000026e8: PUSH1 0x40 000026ea: MLOAD 000026eb: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000270c: DUP2 0000270d: MSTORE 0000270e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002723: DUP7 00002724: DUP2 00002725: AND 00002726: PUSH1 0x04 00002728: DUP4 00002729: ADD 0000272a: MSTORE 0000272b: PUSH1 0x24 0000272d: DUP3 0000272e: ADD 0000272f: DUP7 00002730: SWAP1 00002731: MSTORE 00002732: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00002753: AND 00002754: SWAP4 00002755: POP 00002756: PUSH4 0xa9059cbb 0000275b: SWAP3 0000275c: POP 0000275d: PUSH1 0x44 0000275f: ADD 00002760: SWAP1 00002761: POP 00002762: PUSH1 0x20 00002764: PUSH1 0x40 00002766: MLOAD 00002767: DUP1 00002768: DUP4 00002769: SUB 0000276a: DUP2 0000276b: PUSH1 0x00 0000276d: DUP8 0000276e: DUP1 0000276f: EXTCODESIZE 00002770: ISZERO 00002771: DUP1 00002772: ISZERO 00002773: PUSH2 0x277b 00002776: JUMPI 00002777: PUSH1 0x00 00002779: DUP1 0000277a: REVERT 0000277b: JUMPDEST 0000277c: POP 0000277d: GAS 0000277e: CALL 0000277f: ISZERO 00002780: DUP1 00002781: ISZERO 00002782: PUSH2 0x278f 00002785: JUMPI 00002786: RETURNDATASIZE 00002787: PUSH1 0x00 00002789: DUP1 0000278a: RETURNDATACOPY 0000278b: RETURNDATASIZE 0000278c: PUSH1 0x00 0000278e: REVERT 0000278f: JUMPDEST 00002790: POP 00002791: POP 00002792: POP 00002793: POP 00002794: PUSH1 0x40 00002796: MLOAD 00002797: RETURNDATASIZE 00002798: PUSH1 0x1f 0000279a: NOT 0000279b: PUSH1 0x1f 0000279d: DUP3 0000279e: ADD 0000279f: AND 000027a0: DUP3 000027a1: ADD 000027a2: DUP1 000027a3: PUSH1 0x40 000027a5: MSTORE 000027a6: POP 000027a7: DUP2 000027a8: ADD 000027a9: SWAP1 000027aa: PUSH2 0x27b3 000027ad: SWAP2 000027ae: SWAP1 000027af: PUSH2 0x352d 000027b2: JUMP 000027b3: JUMPDEST 000027b4: POP 000027b5: JUMPDEST 000027b6: POP 000027b7: POP 000027b8: JUMP 000027b9: JUMPDEST 000027ba: PUSH1 0x66 000027bc: SLOAD 000027bd: PUSH1 0x69 000027bf: SLOAD 000027c0: PUSH1 0x40 000027c2: MLOAD 000027c3: PUSH1 0x24 000027c5: DUP2 000027c6: ADD 000027c7: SWAP2 000027c8: SWAP1 000027c9: SWAP2 000027ca: MSTORE 000027cb: PUSH1 0x00 000027cd: SWAP2 000027ce: DUP3 000027cf: SWAP2 000027d0: DUP3 000027d1: SWAP2 000027d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027e7: AND 000027e8: SWAP1 000027e9: PUSH1 0x44 000027eb: ADD 000027ec: PUSH1 0x40 000027ee: DUP1 000027ef: MLOAD 000027f0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002811: DUP2 00002812: DUP5 00002813: SUB 00002814: ADD 00002815: DUP2 00002816: MSTORE 00002817: SWAP2 00002818: DUP2 00002819: MSTORE 0000281a: PUSH1 0x20 0000281c: DUP3 0000281d: ADD 0000281e: DUP1 0000281f: MLOAD 00002820: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000283d: AND 0000283e: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000 0000285f: OR 00002860: SWAP1 00002861: MSTORE 00002862: MLOAD 00002863: PUSH2 0x286c 00002866: SWAP2 00002867: SWAP1 00002868: PUSH2 0x36dd 0000286b: JUMP 0000286c: JUMPDEST 0000286d: PUSH1 0x00 0000286f: PUSH1 0x40 00002871: MLOAD 00002872: DUP1 00002873: DUP4 00002874: SUB 00002875: DUP2 00002876: DUP6 00002877: GAS 00002878: STATICCALL 00002879: SWAP2 0000287a: POP 0000287b: POP 0000287c: RETURNDATASIZE 0000287d: DUP1 0000287e: PUSH1 0x00 00002880: DUP2 00002881: EQ 00002882: PUSH2 0x28a7 00002885: JUMPI 00002886: PUSH1 0x40 00002888: MLOAD 00002889: SWAP2 0000288a: POP 0000288b: PUSH1 0x1f 0000288d: NOT 0000288e: PUSH1 0x3f 00002890: RETURNDATASIZE 00002891: ADD 00002892: AND 00002893: DUP3 00002894: ADD 00002895: PUSH1 0x40 00002897: MSTORE 00002898: RETURNDATASIZE 00002899: DUP3 0000289a: MSTORE 0000289b: RETURNDATASIZE 0000289c: PUSH1 0x00 0000289e: PUSH1 0x20 000028a0: DUP5 000028a1: ADD 000028a2: RETURNDATACOPY 000028a3: PUSH2 0x28ac 000028a6: JUMP 000028a7: JUMPDEST 000028a8: PUSH1 0x60 000028aa: SWAP2 000028ab: POP 000028ac: JUMPDEST 000028ad: POP 000028ae: SWAP2 000028af: POP 000028b0: SWAP2 000028b1: POP 000028b2: DUP2 000028b3: DUP1 000028b4: ISZERO 000028b5: PUSH2 0x28bf 000028b8: JUMPI 000028b9: POP 000028ba: PUSH1 0x00 000028bc: DUP2 000028bd: MLOAD 000028be: GT 000028bf: JUMPDEST 000028c0: ISZERO 000028c1: PUSH2 0x28db 000028c4: JUMPI 000028c5: DUP1 000028c6: DUP1 000028c7: PUSH1 0x20 000028c9: ADD 000028ca: SWAP1 000028cb: MLOAD 000028cc: DUP2 000028cd: ADD 000028ce: SWAP1 000028cf: PUSH2 0x28d8 000028d2: SWAP2 000028d3: SWAP1 000028d4: PUSH2 0x336f 000028d7: JUMP 000028d8: JUMPDEST 000028d9: SWAP3 000028da: POP 000028db: JUMPDEST 000028dc: POP 000028dd: POP 000028de: SWAP1 000028df: JUMP 000028e0: JUMPDEST 000028e1: PUSH1 0x00 000028e3: PUSH2 0x2710 000028e6: PUSH2 0x28f0 000028e9: PUSH1 0xfa 000028eb: DUP5 000028ec: PUSH2 0x38b0 000028ef: JUMP 000028f0: JUMPDEST 000028f1: PUSH2 0x1ea7 000028f4: SWAP2 000028f5: SWAP1 000028f6: PUSH2 0x3875 000028f9: JUMP 000028fa: JUMPDEST 000028fb: PUSH1 0x66 000028fd: SLOAD 000028fe: PUSH1 0x69 00002900: SLOAD 00002901: PUSH1 0x40 00002903: MLOAD 00002904: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000 00002925: DUP2 00002926: MSTORE 00002927: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000293c: PUSH32 0x00000000000000000000000085aa7f78bdb2de8f3e0c0010d99ad5853ffcfc63 0000295d: DUP2 0000295e: AND 0000295f: PUSH1 0x04 00002961: DUP4 00002962: ADD 00002963: MSTORE 00002964: PUSH1 0x24 00002966: DUP3 00002967: ADD 00002968: SWAP3 00002969: SWAP1 0000296a: SWAP3 0000296b: MSTORE 0000296c: SWAP2 0000296d: AND 0000296e: SWAP1 0000296f: PUSH4 0x095ea7b3 00002974: SWAP1 00002975: PUSH1 0x44 00002977: ADD 00002978: PUSH1 0x00 0000297a: PUSH1 0x40 0000297c: MLOAD 0000297d: DUP1 0000297e: DUP4 0000297f: SUB 00002980: DUP2 00002981: PUSH1 0x00 00002983: DUP8 00002984: DUP1 00002985: EXTCODESIZE 00002986: ISZERO 00002987: DUP1 00002988: ISZERO 00002989: PUSH2 0x2991 0000298c: JUMPI 0000298d: PUSH1 0x00 0000298f: DUP1 00002990: REVERT 00002991: JUMPDEST 00002992: POP 00002993: GAS 00002994: CALL 00002995: ISZERO 00002996: DUP1 00002997: ISZERO 00002998: PUSH2 0x29a5 0000299b: JUMPI 0000299c: RETURNDATASIZE 0000299d: PUSH1 0x00 0000299f: DUP1 000029a0: RETURNDATACOPY 000029a1: RETURNDATASIZE 000029a2: PUSH1 0x00 000029a4: REVERT 000029a5: JUMPDEST 000029a6: POP 000029a7: POP 000029a8: PUSH1 0x70 000029aa: SLOAD 000029ab: PUSH1 0x00 000029ad: SWAP3 000029ae: POP 000029af: PUSH2 0x29ba 000029b2: SWAP2 000029b3: POP 000029b4: PUSH1 0x02 000029b6: PUSH2 0x38b0 000029b9: JUMP 000029ba: JUMPDEST 000029bb: SWAP1 000029bc: POP 000029bd: PUSH1 0x00 000029bf: DUP1 000029c0: PUSH1 0x00 000029c2: PUSH2 0x29cc 000029c5: PUSH1 0x71 000029c7: SLOAD 000029c8: PUSH2 0x2f5a 000029cb: JUMP 000029cc: JUMPDEST 000029cd: PUSH1 0x66 000029cf: SLOAD 000029d0: PUSH1 0x69 000029d2: SLOAD 000029d3: PUSH1 0x40 000029d5: MLOAD 000029d6: PUSH32 0xbdc0111000000000000000000000000000000000000000000000000000000000 000029f7: DUP2 000029f8: MSTORE 000029f9: SWAP5 000029fa: SWAP8 000029fb: POP 000029fc: SWAP3 000029fd: SWAP6 000029fe: POP 000029ff: SWAP1 00002a00: SWAP4 00002a01: POP 00002a02: PUSH1 0x00 00002a04: SWAP3 00002a05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a1a: PUSH32 0x00000000000000000000000085aa7f78bdb2de8f3e0c0010d99ad5853ffcfc63 00002a3b: DUP2 00002a3c: AND 00002a3d: SWAP4 00002a3e: PUSH4 0xbdc01110 00002a43: SWAP4 00002a44: PUSH2 0x2a5f 00002a47: SWAP4 00002a48: PUSH1 0x6c 00002a4a: SWAP4 00002a4b: PUSH1 0x6d 00002a4d: SWAP4 00002a4e: SWAP3 00002a4f: AND 00002a50: SWAP2 00002a51: SWAP1 00002a52: DUP12 00002a53: SWAP1 00002a54: DUP14 00002a55: SWAP1 00002a56: DUP11 00002a57: SWAP1 00002a58: PUSH1 0x04 00002a5a: ADD 00002a5b: PUSH2 0x37d1 00002a5e: JUMP 00002a5f: JUMPDEST 00002a60: PUSH1 0x20 00002a62: PUSH1 0x40 00002a64: MLOAD 00002a65: DUP1 00002a66: DUP4 00002a67: SUB 00002a68: DUP2 00002a69: PUSH1 0x00 00002a6b: DUP8 00002a6c: DUP1 00002a6d: EXTCODESIZE 00002a6e: ISZERO 00002a6f: DUP1 00002a70: ISZERO 00002a71: PUSH2 0x2a79 00002a74: JUMPI 00002a75: PUSH1 0x00 00002a77: DUP1 00002a78: REVERT 00002a79: JUMPDEST 00002a7a: POP 00002a7b: GAS 00002a7c: CALL 00002a7d: ISZERO 00002a7e: DUP1 00002a7f: ISZERO 00002a80: PUSH2 0x2a8d 00002a83: JUMPI 00002a84: RETURNDATASIZE 00002a85: PUSH1 0x00 00002a87: DUP1 00002a88: RETURNDATACOPY 00002a89: RETURNDATASIZE 00002a8a: PUSH1 0x00 00002a8c: REVERT 00002a8d: JUMPDEST 00002a8e: POP 00002a8f: POP 00002a90: POP 00002a91: POP 00002a92: PUSH1 0x40 00002a94: MLOAD 00002a95: RETURNDATASIZE 00002a96: PUSH1 0x1f 00002a98: NOT 00002a99: PUSH1 0x1f 00002a9b: DUP3 00002a9c: ADD 00002a9d: AND 00002a9e: DUP3 00002a9f: ADD 00002aa0: DUP1 00002aa1: PUSH1 0x40 00002aa3: MSTORE 00002aa4: POP 00002aa5: DUP2 00002aa6: ADD 00002aa7: SWAP1 00002aa8: PUSH2 0x2ab1 00002aab: SWAP2 00002aac: SWAP1 00002aad: PUSH2 0x3568 00002ab0: JUMP 00002ab1: JUMPDEST 00002ab2: PUSH1 0x40 00002ab4: MLOAD 00002ab5: PUSH32 0x8c64ea4a00000000000000000000000000000000000000000000000000000000 00002ad6: DUP2 00002ad7: MSTORE 00002ad8: PUSH1 0x04 00002ada: DUP2 00002adb: ADD 00002adc: DUP3 00002add: SWAP1 00002ade: MSTORE 00002adf: SWAP1 00002ae0: SWAP2 00002ae1: POP 00002ae2: PUSH32 0x00000000000000000000000085aa7f78bdb2de8f3e0c0010d99ad5853ffcfc63 00002b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b18: AND 00002b19: SWAP1 00002b1a: PUSH4 0x8c64ea4a 00002b1f: SWAP1 00002b20: PUSH1 0x24 00002b22: ADD 00002b23: PUSH1 0x20 00002b25: PUSH1 0x40 00002b27: MLOAD 00002b28: DUP1 00002b29: DUP4 00002b2a: SUB 00002b2b: DUP2 00002b2c: PUSH1 0x00 00002b2e: DUP8 00002b2f: DUP1 00002b30: EXTCODESIZE 00002b31: ISZERO 00002b32: DUP1 00002b33: ISZERO 00002b34: PUSH2 0x2b3c 00002b37: JUMPI 00002b38: PUSH1 0x00 00002b3a: DUP1 00002b3b: REVERT 00002b3c: JUMPDEST 00002b3d: POP 00002b3e: GAS 00002b3f: CALL 00002b40: ISZERO 00002b41: DUP1 00002b42: ISZERO 00002b43: PUSH2 0x2b50 00002b46: JUMPI 00002b47: RETURNDATASIZE 00002b48: PUSH1 0x00 00002b4a: DUP1 00002b4b: RETURNDATACOPY 00002b4c: RETURNDATASIZE 00002b4d: PUSH1 0x00 00002b4f: REVERT 00002b50: JUMPDEST 00002b51: POP 00002b52: POP 00002b53: POP 00002b54: POP 00002b55: PUSH1 0x40 00002b57: MLOAD 00002b58: RETURNDATASIZE 00002b59: PUSH1 0x1f 00002b5b: NOT 00002b5c: PUSH1 0x1f 00002b5e: DUP3 00002b5f: ADD 00002b60: AND 00002b61: DUP3 00002b62: ADD 00002b63: DUP1 00002b64: PUSH1 0x40 00002b66: MSTORE 00002b67: POP 00002b68: DUP2 00002b69: ADD 00002b6a: SWAP1 00002b6b: PUSH2 0x2b74 00002b6e: SWAP2 00002b6f: SWAP1 00002b70: PUSH2 0x336f 00002b73: JUMP 00002b74: JUMPDEST 00002b75: PUSH1 0x67 00002b77: DUP1 00002b78: SLOAD 00002b79: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00002b9a: AND 00002b9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bb0: SWAP3 00002bb1: SWAP1 00002bb2: SWAP3 00002bb3: AND 00002bb4: SWAP2 00002bb5: DUP3 00002bb6: OR 00002bb7: SWAP1 00002bb8: SSTORE 00002bb9: PUSH1 0x40 00002bbb: MLOAD 00002bbc: PUSH32 0x0c6a62dd00000000000000000000000000000000000000000000000000000000 00002bdd: DUP2 00002bde: MSTORE 00002bdf: PUSH1 0x00 00002be1: PUSH1 0x04 00002be3: DUP3 00002be4: ADD 00002be5: MSTORE 00002be6: PUSH4 0x0c6a62dd 00002beb: SWAP1 00002bec: PUSH1 0x24 00002bee: ADD 00002bef: PUSH1 0x00 00002bf1: PUSH1 0x40 00002bf3: MLOAD 00002bf4: DUP1 00002bf5: DUP4 00002bf6: SUB 00002bf7: DUP2 00002bf8: PUSH1 0x00 00002bfa: DUP8 00002bfb: DUP1 00002bfc: EXTCODESIZE 00002bfd: ISZERO 00002bfe: DUP1 00002bff: ISZERO 00002c00: PUSH2 0x2c08 00002c03: JUMPI 00002c04: PUSH1 0x00 00002c06: DUP1 00002c07: REVERT 00002c08: JUMPDEST 00002c09: POP 00002c0a: GAS 00002c0b: CALL 00002c0c: ISZERO 00002c0d: DUP1 00002c0e: ISZERO 00002c0f: PUSH2 0x2c1c 00002c12: JUMPI 00002c13: RETURNDATASIZE 00002c14: PUSH1 0x00 00002c16: DUP1 00002c17: RETURNDATACOPY 00002c18: RETURNDATASIZE 00002c19: PUSH1 0x00 00002c1b: REVERT 00002c1c: JUMPDEST 00002c1d: POP 00002c1e: POP 00002c1f: POP 00002c20: POP 00002c21: PUSH2 0x2c4a 00002c24: PUSH32 0x000000000000000000000000f7f52dd34bc21eda08c0b804c7c1dbc48375820f 00002c45: DUP5 00002c46: PUSH2 0x24dc 00002c49: JUMP 00002c4a: JUMPDEST 00002c4b: PUSH1 0x6a 00002c4d: SLOAD 00002c4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c63: AND 00002c64: ISZERO 00002c65: PUSH2 0x2c8b 00002c68: JUMPI 00002c69: PUSH1 0x6a 00002c6b: SLOAD 00002c6c: PUSH2 0x2c8b 00002c6f: SWAP1 00002c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c85: AND 00002c86: DUP4 00002c87: PUSH2 0x24dc 00002c8a: JUMP 00002c8b: JUMPDEST 00002c8c: POP 00002c8d: POP 00002c8e: POP 00002c8f: POP 00002c90: POP 00002c91: JUMP 00002c92: JUMPDEST 00002c93: PUSH1 0x00 00002c95: SLOAD 00002c96: PUSH2 0x0100 00002c99: SWAP1 00002c9a: DIV 00002c9b: PUSH1 0xff 00002c9d: AND 00002c9e: DUP1 00002c9f: PUSH2 0x2cab 00002ca2: JUMPI 00002ca3: POP 00002ca4: PUSH1 0x00 00002ca6: SLOAD 00002ca7: PUSH1 0xff 00002ca9: AND 00002caa: ISZERO 00002cab: JUMPDEST 00002cac: PUSH2 0x2d37 00002caf: JUMPI 00002cb0: PUSH1 0x40 00002cb2: MLOAD 00002cb3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002cd4: DUP2 00002cd5: MSTORE 00002cd6: PUSH1 0x20 00002cd8: PUSH1 0x04 00002cda: DUP3 00002cdb: ADD 00002cdc: MSTORE 00002cdd: PUSH1 0x2e 00002cdf: PUSH1 0x24 00002ce1: DUP3 00002ce2: ADD 00002ce3: MSTORE 00002ce4: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00002d05: PUSH1 0x44 00002d07: DUP3 00002d08: ADD 00002d09: MSTORE 00002d0a: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00002d2b: PUSH1 0x64 00002d2d: DUP3 00002d2e: ADD 00002d2f: MSTORE 00002d30: PUSH1 0x84 00002d32: ADD 00002d33: PUSH2 0x084b 00002d36: JUMP 00002d37: JUMPDEST 00002d38: PUSH1 0x00 00002d3a: SLOAD 00002d3b: PUSH2 0x0100 00002d3e: SWAP1 00002d3f: DIV 00002d40: PUSH1 0xff 00002d42: AND 00002d43: ISZERO 00002d44: DUP1 00002d45: ISZERO 00002d46: PUSH2 0x2d76 00002d49: JUMPI 00002d4a: PUSH1 0x00 00002d4c: DUP1 00002d4d: SLOAD 00002d4e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000 00002d6f: AND 00002d70: PUSH2 0x0101 00002d73: OR 00002d74: SWAP1 00002d75: SSTORE 00002d76: JUMPDEST 00002d77: PUSH2 0x2d7e 00002d7a: PUSH2 0x2fda 00002d7d: JUMP 00002d7e: JUMPDEST 00002d7f: DUP1 00002d80: ISZERO 00002d81: PUSH2 0x1441 00002d84: JUMPI 00002d85: PUSH1 0x00 00002d87: DUP1 00002d88: SLOAD 00002d89: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00002daa: AND 00002dab: SWAP1 00002dac: SSTORE 00002dad: POP 00002dae: JUMP 00002daf: JUMPDEST 00002db0: PUSH1 0x00 00002db2: SLOAD 00002db3: PUSH2 0x0100 00002db6: SWAP1 00002db7: DIV 00002db8: PUSH1 0xff 00002dba: AND 00002dbb: DUP1 00002dbc: PUSH2 0x2dc8 00002dbf: JUMPI 00002dc0: POP 00002dc1: PUSH1 0x00 00002dc3: SLOAD 00002dc4: PUSH1 0xff 00002dc6: AND 00002dc7: ISZERO 00002dc8: JUMPDEST 00002dc9: PUSH2 0x2e54 00002dcc: JUMPI 00002dcd: PUSH1 0x40 00002dcf: MLOAD 00002dd0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002df1: DUP2 00002df2: MSTORE 00002df3: PUSH1 0x20 00002df5: PUSH1 0x04 00002df7: DUP3 00002df8: ADD 00002df9: MSTORE 00002dfa: PUSH1 0x2e 00002dfc: PUSH1 0x24 00002dfe: DUP3 00002dff: ADD 00002e00: MSTORE 00002e01: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00002e22: PUSH1 0x44 00002e24: DUP3 00002e25: ADD 00002e26: MSTORE 00002e27: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00002e48: PUSH1 0x64 00002e4a: DUP3 00002e4b: ADD 00002e4c: MSTORE 00002e4d: PUSH1 0x84 00002e4f: ADD 00002e50: PUSH2 0x084b 00002e53: JUMP 00002e54: JUMPDEST 00002e55: PUSH1 0x00 00002e57: SLOAD 00002e58: PUSH2 0x0100 00002e5b: SWAP1 00002e5c: DIV 00002e5d: PUSH1 0xff 00002e5f: AND 00002e60: ISZERO 00002e61: DUP1 00002e62: ISZERO 00002e63: PUSH2 0x2e93 00002e66: JUMPI 00002e67: PUSH1 0x00 00002e69: DUP1 00002e6a: SLOAD 00002e6b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000 00002e8c: AND 00002e8d: PUSH2 0x0101 00002e90: OR 00002e91: SWAP1 00002e92: SSTORE 00002e93: JUMPDEST 00002e94: PUSH2 0x2d7e 00002e97: PUSH2 0x30f3 00002e9a: JUMP 00002e9b: JUMPDEST 00002e9c: PUSH1 0x00 00002e9e: DUP3 00002e9f: DUP3 00002ea0: PUSH1 0x00 00002ea2: ADD 00002ea3: MLOAD 00002ea4: DUP4 00002ea5: PUSH1 0x20 00002ea7: ADD 00002ea8: MLOAD 00002ea9: PUSH2 0x2eb2 00002eac: SWAP2 00002ead: SWAP1 00002eae: PUSH2 0x385d 00002eb1: JUMP 00002eb2: JUMPDEST 00002eb3: GT 00002eb4: PUSH2 0x2ebf 00002eb7: JUMPI 00002eb8: POP 00002eb9: DUP1 00002eba: MLOAD 00002ebb: PUSH2 0x1ea7 00002ebe: JUMP 00002ebf: JUMPDEST 00002ec0: DUP3 00002ec1: DUP3 00002ec2: PUSH1 0x20 00002ec4: ADD 00002ec5: MLOAD 00002ec6: LT 00002ec7: ISZERO 00002ec8: PUSH2 0x2ee1 00002ecb: JUMPI 00002ecc: PUSH1 0x20 00002ece: DUP3 00002ecf: ADD 00002ed0: MLOAD 00002ed1: PUSH2 0x2eda 00002ed4: SWAP1 00002ed5: DUP5 00002ed6: PUSH2 0x3910 00002ed9: JUMP 00002eda: JUMPDEST 00002edb: SWAP1 00002edc: POP 00002edd: PUSH2 0x1ea7 00002ee0: JUMP 00002ee1: JUMPDEST 00002ee2: POP 00002ee3: PUSH1 0x00 00002ee5: SWAP3 00002ee6: SWAP2 00002ee7: POP 00002ee8: POP 00002ee9: JUMP 00002eea: JUMPDEST 00002eeb: PUSH1 0x00 00002eed: DUP1 00002eee: DUP4 00002eef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f04: AND 00002f05: DUP4 00002f06: PUSH2 0x7530 00002f09: SWAP1 00002f0a: PUSH1 0x40 00002f0c: MLOAD 00002f0d: PUSH1 0x00 00002f0f: PUSH1 0x40 00002f11: MLOAD 00002f12: DUP1 00002f13: DUP4 00002f14: SUB 00002f15: DUP2 00002f16: DUP6 00002f17: DUP9 00002f18: DUP9 00002f19: CALL 00002f1a: SWAP4 00002f1b: POP 00002f1c: POP 00002f1d: POP 00002f1e: POP 00002f1f: RETURNDATASIZE 00002f20: DUP1 00002f21: PUSH1 0x00 00002f23: DUP2 00002f24: EQ 00002f25: PUSH2 0x2f4a 00002f28: JUMPI 00002f29: PUSH1 0x40 00002f2b: MLOAD 00002f2c: SWAP2 00002f2d: POP 00002f2e: PUSH1 0x1f 00002f30: NOT 00002f31: PUSH1 0x3f 00002f33: RETURNDATASIZE 00002f34: ADD 00002f35: AND 00002f36: DUP3 00002f37: ADD 00002f38: PUSH1 0x40 00002f3a: MSTORE 00002f3b: RETURNDATASIZE 00002f3c: DUP3 00002f3d: MSTORE 00002f3e: RETURNDATASIZE 00002f3f: PUSH1 0x00 00002f41: PUSH1 0x20 00002f43: DUP5 00002f44: ADD 00002f45: RETURNDATACOPY 00002f46: PUSH2 0x2f4f 00002f49: JUMP 00002f4a: JUMPDEST 00002f4b: PUSH1 0x60 00002f4d: SWAP2 00002f4e: POP 00002f4f: JUMPDEST 00002f50: POP 00002f51: SWAP1 00002f52: SWAP6 00002f53: SWAP5 00002f54: POP 00002f55: POP 00002f56: POP 00002f57: POP 00002f58: POP 00002f59: JUMP 00002f5a: JUMPDEST 00002f5b: PUSH1 0x00 00002f5d: DUP1 00002f5e: PUSH1 0x00 00002f60: DUP1 00002f61: PUSH1 0x6b 00002f63: SLOAD 00002f64: PUSH1 0xfa 00002f66: PUSH2 0xffff 00002f69: AND 00002f6a: PUSH2 0x2f73 00002f6d: SWAP2 00002f6e: SWAP1 00002f6f: PUSH2 0x385d 00002f72: JUMP 00002f73: JUMPDEST 00002f74: SWAP1 00002f75: POP 00002f76: PUSH2 0x2f9a 00002f79: PUSH2 0x2f84 00002f7c: DUP3 00002f7d: PUSH2 0x2710 00002f80: PUSH2 0x3910 00002f83: JUMP 00002f84: JUMPDEST 00002f85: PUSH2 0x2f90 00002f88: DUP8 00002f89: PUSH2 0x2710 00002f8c: PUSH2 0x38b0 00002f8f: JUMP 00002f90: JUMPDEST 00002f91: PUSH2 0x054a 00002f94: SWAP2 00002f95: SWAP1 00002f96: PUSH2 0x3875 00002f99: JUMP 00002f9a: JUMPDEST 00002f9b: SWAP4 00002f9c: POP 00002f9d: PUSH2 0x2710 00002fa0: PUSH2 0x2faa 00002fa3: PUSH1 0xfa 00002fa5: DUP7 00002fa6: PUSH2 0x38b0 00002fa9: JUMP 00002faa: JUMPDEST 00002fab: PUSH2 0x2fb4 00002fae: SWAP2 00002faf: SWAP1 00002fb0: PUSH2 0x3875 00002fb3: JUMP 00002fb4: JUMPDEST 00002fb5: SWAP3 00002fb6: POP 00002fb7: PUSH2 0x2710 00002fba: PUSH1 0x6b 00002fbc: SLOAD 00002fbd: DUP6 00002fbe: PUSH2 0x2fc7 00002fc1: SWAP2 00002fc2: SWAP1 00002fc3: PUSH2 0x38b0 00002fc6: JUMP 00002fc7: JUMPDEST 00002fc8: PUSH2 0x2fd1 00002fcb: SWAP2 00002fcc: SWAP1 00002fcd: PUSH2 0x3875 00002fd0: JUMP 00002fd1: JUMPDEST 00002fd2: SWAP4 00002fd3: SWAP6 00002fd4: SWAP3 00002fd5: SWAP5 00002fd6: POP 00002fd7: POP 00002fd8: POP 00002fd9: JUMP 00002fda: JUMPDEST 00002fdb: PUSH1 0x00 00002fdd: SLOAD 00002fde: PUSH2 0x0100 00002fe1: SWAP1 00002fe2: DIV 00002fe3: PUSH1 0xff 00002fe5: AND 00002fe6: DUP1 00002fe7: PUSH2 0x2ff3 00002fea: JUMPI 00002feb: POP 00002fec: PUSH1 0x00 00002fee: SLOAD 00002fef: PUSH1 0xff 00002ff1: AND 00002ff2: ISZERO 00002ff3: JUMPDEST 00002ff4: PUSH2 0x307f 00002ff7: JUMPI 00002ff8: PUSH1 0x40 00002ffa: MLOAD 00002ffb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000301c: DUP2 0000301d: MSTORE 0000301e: PUSH1 0x20 00003020: PUSH1 0x04 00003022: DUP3 00003023: ADD 00003024: MSTORE 00003025: PUSH1 0x2e 00003027: PUSH1 0x24 00003029: DUP3 0000302a: ADD 0000302b: MSTORE 0000302c: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 0000304d: PUSH1 0x44 0000304f: DUP3 00003050: ADD 00003051: MSTORE 00003052: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00003073: PUSH1 0x64 00003075: DUP3 00003076: ADD 00003077: MSTORE 00003078: PUSH1 0x84 0000307a: ADD 0000307b: PUSH2 0x084b 0000307e: JUMP 0000307f: JUMPDEST 00003080: PUSH1 0x00 00003082: SLOAD 00003083: PUSH2 0x0100 00003086: SWAP1 00003087: DIV 00003088: PUSH1 0xff 0000308a: AND 0000308b: ISZERO 0000308c: DUP1 0000308d: ISZERO 0000308e: PUSH2 0x30be 00003091: JUMPI 00003092: PUSH1 0x00 00003094: DUP1 00003095: SLOAD 00003096: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000 000030b7: AND 000030b8: PUSH2 0x0101 000030bb: OR 000030bc: SWAP1 000030bd: SSTORE 000030be: JUMPDEST 000030bf: PUSH1 0x01 000030c1: DUP1 000030c2: SSTORE 000030c3: DUP1 000030c4: ISZERO 000030c5: PUSH2 0x1441 000030c8: JUMPI 000030c9: PUSH1 0x00 000030cb: DUP1 000030cc: SLOAD 000030cd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 000030ee: AND 000030ef: SWAP1 000030f0: SSTORE 000030f1: POP 000030f2: JUMP 000030f3: JUMPDEST 000030f4: PUSH1 0x00 000030f6: SLOAD 000030f7: PUSH2 0x0100 000030fa: SWAP1 000030fb: DIV 000030fc: PUSH1 0xff 000030fe: AND 000030ff: DUP1 00003100: PUSH2 0x310c 00003103: JUMPI 00003104: POP 00003105: PUSH1 0x00 00003107: SLOAD 00003108: PUSH1 0xff 0000310a: AND 0000310b: ISZERO 0000310c: JUMPDEST 0000310d: PUSH2 0x3198 00003110: JUMPI 00003111: PUSH1 0x40 00003113: MLOAD 00003114: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003135: DUP2 00003136: MSTORE 00003137: PUSH1 0x20 00003139: PUSH1 0x04 0000313b: DUP3 0000313c: ADD 0000313d: MSTORE 0000313e: PUSH1 0x2e 00003140: PUSH1 0x24 00003142: DUP3 00003143: ADD 00003144: MSTORE 00003145: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00003166: PUSH1 0x44 00003168: DUP3 00003169: ADD 0000316a: MSTORE 0000316b: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 0000318c: PUSH1 0x64 0000318e: DUP3 0000318f: ADD 00003190: MSTORE 00003191: PUSH1 0x84 00003193: ADD 00003194: PUSH2 0x084b 00003197: JUMP 00003198: JUMPDEST 00003199: PUSH1 0x00 0000319b: SLOAD 0000319c: PUSH2 0x0100 0000319f: SWAP1 000031a0: DIV 000031a1: PUSH1 0xff 000031a3: AND 000031a4: ISZERO 000031a5: DUP1 000031a6: ISZERO 000031a7: PUSH2 0x2d7e 000031aa: JUMPI 000031ab: PUSH1 0x00 000031ad: DUP1 000031ae: SLOAD 000031af: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000 000031d0: AND 000031d1: PUSH2 0x0101 000031d4: OR 000031d5: SWAP1 000031d6: SSTORE 000031d7: DUP1 000031d8: ISZERO 000031d9: PUSH2 0x1441 000031dc: JUMPI 000031dd: PUSH1 0x00 000031df: DUP1 000031e0: SLOAD 000031e1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00003202: AND 00003203: SWAP1 00003204: SSTORE 00003205: POP 00003206: JUMP 00003207: JUMPDEST 00003208: DUP3 00003209: DUP1 0000320a: SLOAD 0000320b: PUSH2 0x3213 0000320e: SWAP1 0000320f: PUSH2 0x3953 00003212: JUMP 00003213: JUMPDEST 00003214: SWAP1 00003215: PUSH1 0x00 00003217: MSTORE 00003218: PUSH1 0x20 0000321a: PUSH1 0x00 0000321c: KECCAK256 0000321d: SWAP1 0000321e: PUSH1 0x1f 00003220: ADD 00003221: PUSH1 0x20 00003223: SWAP1 00003224: DIV 00003225: DUP2 00003226: ADD 00003227: SWAP3 00003228: DUP3 00003229: PUSH2 0x3235 0000322c: JUMPI 0000322d: PUSH1 0x00 0000322f: DUP6 00003230: SSTORE 00003231: PUSH2 0x327b 00003234: JUMP 00003235: JUMPDEST 00003236: DUP3 00003237: PUSH1 0x1f 00003239: LT 0000323a: PUSH2 0x324e 0000323d: JUMPI 0000323e: DUP1 0000323f: MLOAD 00003240: PUSH1 0xff 00003242: NOT 00003243: AND 00003244: DUP4 00003245: DUP1 00003246: ADD 00003247: OR 00003248: DUP6 00003249: SSTORE 0000324a: PUSH2 0x327b 0000324d: JUMP 0000324e: JUMPDEST 0000324f: DUP3 00003250: DUP1 00003251: ADD 00003252: PUSH1 0x01 00003254: ADD 00003255: DUP6 00003256: SSTORE 00003257: DUP3 00003258: ISZERO 00003259: PUSH2 0x327b 0000325c: JUMPI 0000325d: SWAP2 0000325e: DUP3 0000325f: ADD 00003260: JUMPDEST 00003261: DUP3 00003262: DUP2 00003263: GT 00003264: ISZERO 00003265: PUSH2 0x327b 00003268: JUMPI 00003269: DUP3 0000326a: MLOAD 0000326b: DUP3 0000326c: SSTORE 0000326d: SWAP2 0000326e: PUSH1 0x20 00003270: ADD 00003271: SWAP2 00003272: SWAP1 00003273: PUSH1 0x01 00003275: ADD 00003276: SWAP1 00003277: PUSH2 0x3260 0000327a: JUMP 0000327b: JUMPDEST 0000327c: POP 0000327d: PUSH2 0x3287 00003280: SWAP3 00003281: SWAP2 00003282: POP 00003283: PUSH2 0x328b 00003286: JUMP 00003287: JUMPDEST 00003288: POP 00003289: SWAP1 0000328a: JUMP 0000328b: JUMPDEST 0000328c: JUMPDEST 0000328d: DUP1 0000328e: DUP3 0000328f: GT 00003290: ISZERO 00003291: PUSH2 0x3287 00003294: JUMPI 00003295: PUSH1 0x00 00003297: DUP2 00003298: SSTORE 00003299: PUSH1 0x01 0000329b: ADD 0000329c: PUSH2 0x328c 0000329f: JUMP 000032a0: JUMPDEST 000032a1: PUSH1 0x00 000032a3: DUP3 000032a4: PUSH1 0x1f 000032a6: DUP4 000032a7: ADD 000032a8: SLT 000032a9: PUSH2 0x32b1 000032ac: JUMPI 000032ad: PUSH1 0x00 000032af: DUP1 000032b0: REVERT 000032b1: JUMPDEST 000032b2: DUP2 000032b3: CALLDATALOAD 000032b4: PUSH8 0xffffffffffffffff 000032bd: DUP1 000032be: DUP3 000032bf: GT 000032c0: ISZERO 000032c1: PUSH2 0x32cc 000032c4: JUMPI 000032c5: PUSH2 0x32cc 000032c8: PUSH2 0x3a6d 000032cb: JUMP 000032cc: JUMPDEST 000032cd: PUSH1 0x40 000032cf: MLOAD 000032d0: PUSH1 0x1f 000032d2: DUP4 000032d3: ADD 000032d4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000032f5: SWAP1 000032f6: DUP2 000032f7: AND 000032f8: PUSH1 0x3f 000032fa: ADD 000032fb: AND 000032fc: DUP2 000032fd: ADD 000032fe: SWAP1 000032ff: DUP3 00003300: DUP3 00003301: GT 00003302: DUP2 00003303: DUP4 00003304: LT 00003305: OR 00003306: ISZERO 00003307: PUSH2 0x3312 0000330a: JUMPI 0000330b: PUSH2 0x3312 0000330e: PUSH2 0x3a6d 00003311: JUMP 00003312: JUMPDEST 00003313: DUP2 00003314: PUSH1 0x40 00003316: MSTORE 00003317: DUP4 00003318: DUP2 00003319: MSTORE 0000331a: DUP7 0000331b: PUSH1 0x20 0000331d: DUP6 0000331e: DUP9 0000331f: ADD 00003320: ADD 00003321: GT 00003322: ISZERO 00003323: PUSH2 0x332b 00003326: JUMPI 00003327: PUSH1 0x00 00003329: DUP1 0000332a: REVERT 0000332b: JUMPDEST 0000332c: DUP4 0000332d: PUSH1 0x20 0000332f: DUP8 00003330: ADD 00003331: PUSH1 0x20 00003333: DUP4 00003334: ADD 00003335: CALLDATACOPY 00003336: PUSH1 0x00 00003338: PUSH1 0x20 0000333a: DUP6 0000333b: DUP4 0000333c: ADD 0000333d: ADD 0000333e: MSTORE 0000333f: DUP1 00003340: SWAP5 00003341: POP 00003342: POP 00003343: POP 00003344: POP 00003345: POP 00003346: SWAP3 00003347: SWAP2 00003348: POP 00003349: POP 0000334a: JUMP 0000334b: JUMPDEST 0000334c: PUSH1 0x00 0000334e: PUSH1 0x20 00003350: DUP3 00003351: DUP5 00003352: SUB 00003353: SLT 00003354: ISZERO 00003355: PUSH2 0x335d 00003358: JUMPI 00003359: PUSH1 0x00 0000335b: DUP1 0000335c: REVERT 0000335d: JUMPDEST 0000335e: DUP2 0000335f: CALLDATALOAD 00003360: PUSH2 0x3368 00003363: DUP2 00003364: PUSH2 0x3a9c 00003367: JUMP 00003368: JUMPDEST 00003369: SWAP4 0000336a: SWAP3 0000336b: POP 0000336c: POP 0000336d: POP 0000336e: JUMP 0000336f: JUMPDEST 00003370: PUSH1 0x00 00003372: PUSH1 0x20 00003374: DUP3 00003375: DUP5 00003376: SUB 00003377: SLT 00003378: ISZERO 00003379: PUSH2 0x3381 0000337c: JUMPI 0000337d: PUSH1 0x00 0000337f: DUP1 00003380: REVERT 00003381: JUMPDEST 00003382: DUP2 00003383: MLOAD 00003384: PUSH2 0x3368 00003387: DUP2 00003388: PUSH2 0x3a9c 0000338b: JUMP 0000338c: JUMPDEST 0000338d: PUSH1 0x00 0000338f: DUP1 00003390: PUSH1 0x00 00003392: DUP1 00003393: PUSH1 0x80 00003395: DUP6 00003396: DUP8 00003397: SUB 00003398: SLT 00003399: ISZERO 0000339a: PUSH2 0x33a2 0000339d: JUMPI 0000339e: PUSH1 0x00 000033a0: DUP1 000033a1: REVERT 000033a2: JUMPDEST 000033a3: DUP5 000033a4: CALLDATALOAD 000033a5: PUSH2 0x33ad 000033a8: DUP2 000033a9: PUSH2 0x3a9c 000033ac: JUMP 000033ad: JUMPDEST 000033ae: SWAP4 000033af: POP 000033b0: PUSH1 0x20 000033b2: DUP6 000033b3: ADD 000033b4: CALLDATALOAD 000033b5: PUSH2 0x33bd 000033b8: DUP2 000033b9: PUSH2 0x3a9c 000033bc: JUMP 000033bd: JUMPDEST 000033be: SWAP3 000033bf: POP 000033c0: PUSH1 0x40 000033c2: DUP6 000033c3: ADD 000033c4: CALLDATALOAD 000033c5: SWAP2 000033c6: POP 000033c7: PUSH1 0x60 000033c9: DUP6 000033ca: ADD 000033cb: CALLDATALOAD 000033cc: PUSH8 0xffffffffffffffff 000033d5: DUP2 000033d6: GT 000033d7: ISZERO 000033d8: PUSH2 0x33e0 000033db: JUMPI 000033dc: PUSH1 0x00 000033de: DUP1 000033df: REVERT 000033e0: JUMPDEST 000033e1: PUSH2 0x33ec 000033e4: DUP8 000033e5: DUP3 000033e6: DUP9 000033e7: ADD 000033e8: PUSH2 0x32a0 000033eb: JUMP 000033ec: JUMPDEST 000033ed: SWAP2 000033ee: POP 000033ef: POP 000033f0: SWAP3 000033f1: SWAP6 000033f2: SWAP2 000033f3: SWAP5 000033f4: POP 000033f5: SWAP3 000033f6: POP 000033f7: JUMP 000033f8: JUMPDEST 000033f9: PUSH1 0x00 000033fb: DUP1 000033fc: PUSH1 0x00 000033fe: DUP1 000033ff: PUSH1 0x00 00003401: DUP1 00003402: PUSH1 0x00 00003404: DUP1 00003405: PUSH2 0x0100 00003408: DUP10 00003409: DUP12 0000340a: SUB 0000340b: SLT 0000340c: ISZERO 0000340d: PUSH2 0x3415 00003410: JUMPI 00003411: PUSH1 0x00 00003413: DUP1 00003414: REVERT 00003415: JUMPDEST 00003416: DUP9 00003417: CALLDATALOAD 00003418: PUSH2 0x3420 0000341b: DUP2 0000341c: PUSH2 0x3a9c 0000341f: JUMP 00003420: JUMPDEST 00003421: SWAP8 00003422: POP 00003423: PUSH1 0x20 00003425: DUP10 00003426: ADD 00003427: CALLDATALOAD 00003428: PUSH2 0x3430 0000342b: DUP2 0000342c: PUSH2 0x3a9c 0000342f: JUMP 00003430: JUMPDEST 00003431: SWAP7 00003432: POP 00003433: PUSH1 0x40 00003435: DUP10 00003436: ADD 00003437: CALLDATALOAD 00003438: SWAP6 00003439: POP 0000343a: PUSH1 0x60 0000343c: DUP10 0000343d: ADD 0000343e: CALLDATALOAD 0000343f: SWAP5 00003440: POP 00003441: PUSH1 0x80 00003443: DUP10 00003444: ADD 00003445: CALLDATALOAD 00003446: PUSH2 0x344e 00003449: DUP2 0000344a: PUSH2 0x3a9c 0000344d: JUMP 0000344e: JUMPDEST 0000344f: SWAP4 00003450: POP 00003451: PUSH1 0xa0 00003453: DUP10 00003454: ADD 00003455: CALLDATALOAD 00003456: SWAP3 00003457: POP 00003458: PUSH1 0xc0 0000345a: DUP10 0000345b: ADD 0000345c: CALLDATALOAD 0000345d: PUSH8 0xffffffffffffffff 00003466: DUP1 00003467: DUP3 00003468: GT 00003469: ISZERO 0000346a: PUSH2 0x3472 0000346d: JUMPI 0000346e: PUSH1 0x00 00003470: DUP1 00003471: REVERT 00003472: JUMPDEST 00003473: PUSH2 0x347e 00003476: DUP13 00003477: DUP4 00003478: DUP14 00003479: ADD 0000347a: PUSH2 0x32a0 0000347d: JUMP 0000347e: JUMPDEST 0000347f: SWAP4 00003480: POP 00003481: PUSH1 0xe0 00003483: DUP12 00003484: ADD 00003485: CALLDATALOAD 00003486: SWAP2 00003487: POP 00003488: DUP1 00003489: DUP3 0000348a: GT 0000348b: ISZERO 0000348c: PUSH2 0x3494 0000348f: JUMPI 00003490: PUSH1 0x00 00003492: DUP1 00003493: REVERT 00003494: JUMPDEST 00003495: POP 00003496: PUSH2 0x34a1 00003499: DUP12 0000349a: DUP3 0000349b: DUP13 0000349c: ADD 0000349d: PUSH2 0x32a0 000034a0: JUMP 000034a1: JUMPDEST 000034a2: SWAP2 000034a3: POP 000034a4: POP 000034a5: SWAP3 000034a6: SWAP6 000034a7: SWAP9 000034a8: POP 000034a9: SWAP3 000034aa: SWAP6 000034ab: SWAP9 000034ac: SWAP1 000034ad: SWAP4 000034ae: SWAP7 000034af: POP 000034b0: JUMP 000034b1: JUMPDEST 000034b2: PUSH1 0x00 000034b4: DUP1 000034b5: PUSH1 0x40 000034b7: DUP4 000034b8: DUP6 000034b9: SUB 000034ba: SLT 000034bb: ISZERO 000034bc: PUSH2 0x34c4 000034bf: JUMPI 000034c0: PUSH1 0x00 000034c2: DUP1 000034c3: REVERT 000034c4: JUMPDEST 000034c5: DUP3 000034c6: CALLDATALOAD 000034c7: PUSH2 0x34cf 000034ca: DUP2 000034cb: PUSH2 0x3a9c 000034ce: JUMP 000034cf: JUMPDEST 000034d0: SWAP2 000034d1: POP 000034d2: PUSH1 0x20 000034d4: DUP4 000034d5: ADD 000034d6: CALLDATALOAD 000034d7: PUSH8 0xffffffffffffffff 000034e0: DUP2 000034e1: GT 000034e2: ISZERO 000034e3: PUSH2 0x34eb 000034e6: JUMPI 000034e7: PUSH1 0x00 000034e9: DUP1 000034ea: REVERT 000034eb: JUMPDEST 000034ec: PUSH2 0x34f7 000034ef: DUP6 000034f0: DUP3 000034f1: DUP7 000034f2: ADD 000034f3: PUSH2 0x32a0 000034f6: JUMP 000034f7: JUMPDEST 000034f8: SWAP2 000034f9: POP 000034fa: POP 000034fb: SWAP3 000034fc: POP 000034fd: SWAP3 000034fe: SWAP1 000034ff: POP 00003500: JUMP 00003501: JUMPDEST 00003502: PUSH1 0x00 00003504: DUP1 00003505: PUSH1 0x40 00003507: DUP4 00003508: DUP6 00003509: SUB 0000350a: SLT 0000350b: ISZERO 0000350c: PUSH2 0x3514 0000350f: JUMPI 00003510: PUSH1 0x00 00003512: DUP1 00003513: REVERT 00003514: JUMPDEST 00003515: DUP3 00003516: CALLDATALOAD 00003517: PUSH2 0x351f 0000351a: DUP2 0000351b: PUSH2 0x3a9c 0000351e: JUMP 0000351f: JUMPDEST 00003520: SWAP5 00003521: PUSH1 0x20 00003523: SWAP4 00003524: SWAP1 00003525: SWAP4 00003526: ADD 00003527: CALLDATALOAD 00003528: SWAP4 00003529: POP 0000352a: POP 0000352b: POP 0000352c: JUMP 0000352d: JUMPDEST 0000352e: PUSH1 0x00 00003530: PUSH1 0x20 00003532: DUP3 00003533: DUP5 00003534: SUB 00003535: SLT 00003536: ISZERO 00003537: PUSH2 0x353f 0000353a: JUMPI 0000353b: PUSH1 0x00 0000353d: DUP1 0000353e: REVERT 0000353f: JUMPDEST 00003540: DUP2 00003541: MLOAD 00003542: DUP1 00003543: ISZERO 00003544: ISZERO 00003545: DUP2 00003546: EQ 00003547: PUSH2 0x3368 0000354a: JUMPI 0000354b: PUSH1 0x00 0000354d: DUP1 0000354e: REVERT 0000354f: JUMPDEST 00003550: PUSH1 0x00 00003552: PUSH1 0x20 00003554: DUP3 00003555: DUP5 00003556: SUB 00003557: SLT 00003558: ISZERO 00003559: PUSH2 0x3561 0000355c: JUMPI 0000355d: PUSH1 0x00 0000355f: DUP1 00003560: REVERT 00003561: JUMPDEST 00003562: POP 00003563: CALLDATALOAD 00003564: SWAP2 00003565: SWAP1 00003566: POP 00003567: JUMP 00003568: JUMPDEST 00003569: PUSH1 0x00 0000356b: PUSH1 0x20 0000356d: DUP3 0000356e: DUP5 0000356f: SUB 00003570: SLT 00003571: ISZERO 00003572: PUSH2 0x357a 00003575: JUMPI 00003576: PUSH1 0x00 00003578: DUP1 00003579: REVERT 0000357a: JUMPDEST 0000357b: POP 0000357c: MLOAD 0000357d: SWAP2 0000357e: SWAP1 0000357f: POP 00003580: JUMP 00003581: JUMPDEST 00003582: PUSH1 0x00 00003584: DUP2 00003585: MLOAD 00003586: DUP1 00003587: DUP5 00003588: MSTORE 00003589: PUSH2 0x3599 0000358c: DUP2 0000358d: PUSH1 0x20 0000358f: DUP7 00003590: ADD 00003591: PUSH1 0x20 00003593: DUP7 00003594: ADD 00003595: PUSH2 0x3927 00003598: JUMP 00003599: JUMPDEST 0000359a: PUSH1 0x1f 0000359c: ADD 0000359d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000035be: AND 000035bf: SWAP3 000035c0: SWAP1 000035c1: SWAP3 000035c2: ADD 000035c3: PUSH1 0x20 000035c5: ADD 000035c6: SWAP3 000035c7: SWAP2 000035c8: POP 000035c9: POP 000035ca: JUMP 000035cb: JUMPDEST 000035cc: PUSH1 0x03 000035ce: DUP2 000035cf: LT 000035d0: PUSH2 0x3602 000035d3: JUMPI 000035d4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000035f5: PUSH1 0x00 000035f7: MSTORE 000035f8: PUSH1 0x21 000035fa: PUSH1 0x04 000035fc: MSTORE 000035fd: PUSH1 0x24 000035ff: PUSH1 0x00 00003601: REVERT 00003602: JUMPDEST 00003603: SWAP1 00003604: MSTORE 00003605: JUMP 00003606: JUMPDEST 00003607: DUP1 00003608: SLOAD 00003609: PUSH1 0x00 0000360b: SWAP1 0000360c: PUSH1 0x01 0000360e: DUP2 0000360f: DUP2 00003610: SHR 00003611: SWAP1 00003612: DUP1 00003613: DUP4 00003614: AND 00003615: DUP1 00003616: PUSH2 0x3620 00003619: JUMPI 0000361a: PUSH1 0x7f 0000361c: DUP4 0000361d: AND 0000361e: SWAP3 0000361f: POP 00003620: JUMPDEST 00003621: PUSH1 0x20 00003623: DUP1 00003624: DUP5 00003625: LT 00003626: DUP3 00003627: EQ 00003628: ISZERO 00003629: PUSH2 0x365b 0000362c: JUMPI 0000362d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000364e: PUSH1 0x00 00003650: MSTORE 00003651: PUSH1 0x22 00003653: PUSH1 0x04 00003655: MSTORE 00003656: PUSH1 0x24 00003658: PUSH1 0x00 0000365a: REVERT 0000365b: JUMPDEST 0000365c: DUP4 0000365d: DUP9 0000365e: MSTORE 0000365f: PUSH1 0x20 00003661: DUP9 00003662: ADD 00003663: DUP3 00003664: DUP1 00003665: ISZERO 00003666: PUSH2 0x3676 00003669: JUMPI 0000366a: PUSH1 0x01 0000366c: DUP2 0000366d: EQ 0000366e: PUSH2 0x36a5 00003671: JUMPI 00003672: PUSH2 0x36d0 00003675: JUMP 00003676: JUMPDEST 00003677: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00003698: DUP8 00003699: AND 0000369a: DUP3 0000369b: MSTORE 0000369c: DUP3 0000369d: DUP3 0000369e: ADD 0000369f: SWAP8 000036a0: POP 000036a1: PUSH2 0x36d0 000036a4: JUMP 000036a5: JUMPDEST 000036a6: PUSH1 0x00 000036a8: DUP10 000036a9: DUP2 000036aa: MSTORE 000036ab: PUSH1 0x20 000036ad: SWAP1 000036ae: KECCAK256 000036af: PUSH1 0x00 000036b1: JUMPDEST 000036b2: DUP8 000036b3: DUP2 000036b4: LT 000036b5: ISZERO 000036b6: PUSH2 0x36ca 000036b9: JUMPI 000036ba: DUP2 000036bb: SLOAD 000036bc: DUP5 000036bd: DUP3 000036be: ADD 000036bf: MSTORE 000036c0: SWAP1 000036c1: DUP7 000036c2: ADD 000036c3: SWAP1 000036c4: DUP5 000036c5: ADD 000036c6: PUSH2 0x36b1 000036c9: JUMP 000036ca: JUMPDEST 000036cb: DUP4 000036cc: ADD 000036cd: SWAP9 000036ce: POP 000036cf: POP 000036d0: JUMPDEST 000036d1: POP 000036d2: POP 000036d3: POP 000036d4: POP 000036d5: POP 000036d6: POP 000036d7: POP 000036d8: SWAP3 000036d9: SWAP2 000036da: POP 000036db: POP 000036dc: JUMP 000036dd: JUMPDEST 000036de: PUSH1 0x00 000036e0: DUP3 000036e1: MLOAD 000036e2: PUSH2 0x36ef 000036e5: DUP2 000036e6: DUP5 000036e7: PUSH1 0x20 000036e9: DUP8 000036ea: ADD 000036eb: PUSH2 0x3927 000036ee: JUMP 000036ef: JUMPDEST 000036f0: SWAP2 000036f1: SWAP1 000036f2: SWAP2 000036f3: ADD 000036f4: SWAP3 000036f5: SWAP2 000036f6: POP 000036f7: POP 000036f8: JUMP 000036f9: JUMPDEST 000036fa: PUSH32 0x50617274794269643a3a6269643a20706c61636520626964206661696c65643a 0000371b: DUP2 0000371c: MSTORE 0000371d: PUSH32 0x2000000000000000000000000000000000000000000000000000000000000000 0000373e: PUSH1 0x20 00003740: DUP3 00003741: ADD 00003742: MSTORE 00003743: PUSH1 0x00 00003745: DUP3 00003746: MLOAD 00003747: PUSH2 0x3757 0000374a: DUP2 0000374b: PUSH1 0x21 0000374d: DUP6 0000374e: ADD 0000374f: PUSH1 0x20 00003751: DUP8 00003752: ADD 00003753: PUSH2 0x3927 00003756: JUMP 00003757: JUMPDEST 00003758: SWAP2 00003759: SWAP1 0000375a: SWAP2 0000375b: ADD 0000375c: PUSH1 0x21 0000375e: ADD 0000375f: SWAP3 00003760: SWAP2 00003761: POP 00003762: POP 00003763: JUMP 00003764: JUMPDEST 00003765: DUP3 00003766: ISZERO 00003767: ISZERO 00003768: DUP2 00003769: MSTORE 0000376a: PUSH1 0x40 0000376c: PUSH1 0x20 0000376e: DUP3 0000376f: ADD 00003770: MSTORE 00003771: PUSH1 0x00 00003773: PUSH2 0x377f 00003776: PUSH1 0x40 00003778: DUP4 00003779: ADD 0000377a: DUP5 0000377b: PUSH2 0x3581 0000377e: JUMP 0000377f: JUMPDEST 00003780: SWAP5 00003781: SWAP4 00003782: POP 00003783: POP 00003784: POP 00003785: POP 00003786: JUMP 00003787: JUMPDEST 00003788: PUSH1 0x20 0000378a: DUP2 0000378b: ADD 0000378c: PUSH2 0x1ea7 0000378f: DUP3 00003790: DUP5 00003791: PUSH2 0x35cb 00003794: JUMP 00003795: JUMPDEST 00003796: PUSH1 0x80 00003798: DUP2 00003799: ADD 0000379a: PUSH2 0x37a3 0000379d: DUP3 0000379e: DUP8 0000379f: PUSH2 0x35cb 000037a2: JUMP 000037a3: JUMPDEST 000037a4: DUP5 000037a5: PUSH1 0x20 000037a7: DUP4 000037a8: ADD 000037a9: MSTORE 000037aa: DUP4 000037ab: PUSH1 0x40 000037ad: DUP4 000037ae: ADD 000037af: MSTORE 000037b0: DUP3 000037b1: PUSH1 0x60 000037b3: DUP4 000037b4: ADD 000037b5: MSTORE 000037b6: SWAP6 000037b7: SWAP5 000037b8: POP 000037b9: POP 000037ba: POP 000037bb: POP 000037bc: POP 000037bd: JUMP 000037be: JUMPDEST 000037bf: PUSH1 0x20 000037c1: DUP2 000037c2: MSTORE 000037c3: PUSH1 0x00 000037c5: PUSH2 0x3368 000037c8: PUSH1 0x20 000037ca: DUP4 000037cb: ADD 000037cc: DUP5 000037cd: PUSH2 0x3581 000037d0: JUMP 000037d1: JUMPDEST 000037d2: PUSH1 0xe0 000037d4: DUP2 000037d5: MSTORE 000037d6: PUSH1 0x00 000037d8: PUSH2 0x37e4 000037db: PUSH1 0xe0 000037dd: DUP4 000037de: ADD 000037df: DUP11 000037e0: PUSH2 0x3606 000037e3: JUMP 000037e4: JUMPDEST 000037e5: DUP3 000037e6: DUP2 000037e7: SUB 000037e8: PUSH1 0x20 000037ea: DUP5 000037eb: ADD 000037ec: MSTORE 000037ed: PUSH2 0x37f6 000037f0: DUP2 000037f1: DUP11 000037f2: PUSH2 0x3606 000037f5: JUMP 000037f6: JUMPDEST 000037f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000380c: SWAP9 0000380d: SWAP1 0000380e: SWAP9 0000380f: AND 00003810: PUSH1 0x40 00003812: DUP5 00003813: ADD 00003814: MSTORE 00003815: POP 00003816: POP 00003817: PUSH1 0x60 00003819: DUP2 0000381a: ADD 0000381b: SWAP5 0000381c: SWAP1 0000381d: SWAP5 0000381e: MSTORE 0000381f: PUSH1 0x80 00003821: DUP5 00003822: ADD 00003823: SWAP3 00003824: SWAP1 00003825: SWAP3 00003826: MSTORE 00003827: PUSH1 0xa0 00003829: DUP4 0000382a: ADD 0000382b: MSTORE 0000382c: PUSH1 0xc0 0000382e: SWAP1 0000382f: SWAP2 00003830: ADD 00003831: MSTORE 00003832: SWAP3 00003833: SWAP2 00003834: POP 00003835: POP 00003836: JUMP 00003837: JUMPDEST 00003838: PUSH1 0x00 0000383a: PUSH2 0xffff 0000383d: DUP1 0000383e: DUP4 0000383f: AND 00003840: DUP2 00003841: DUP6 00003842: AND 00003843: DUP1 00003844: DUP4 00003845: SUB 00003846: DUP3 00003847: GT 00003848: ISZERO 00003849: PUSH2 0x3854 0000384c: JUMPI 0000384d: PUSH2 0x3854 00003850: PUSH2 0x39e0 00003853: JUMP 00003854: JUMPDEST 00003855: ADD 00003856: SWAP5 00003857: SWAP4 00003858: POP 00003859: POP 0000385a: POP 0000385b: POP 0000385c: JUMP 0000385d: JUMPDEST 0000385e: PUSH1 0x00 00003860: DUP3 00003861: NOT 00003862: DUP3 00003863: GT 00003864: ISZERO 00003865: PUSH2 0x3870 00003868: JUMPI 00003869: PUSH2 0x3870 0000386c: PUSH2 0x39e0 0000386f: JUMP 00003870: JUMPDEST 00003871: POP 00003872: ADD 00003873: SWAP1 00003874: JUMP 00003875: JUMPDEST 00003876: PUSH1 0x00 00003878: DUP3 00003879: PUSH2 0x38ab 0000387c: JUMPI 0000387d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000389e: PUSH1 0x00 000038a0: MSTORE 000038a1: PUSH1 0x12 000038a3: PUSH1 0x04 000038a5: MSTORE 000038a6: PUSH1 0x24 000038a8: PUSH1 0x00 000038aa: REVERT 000038ab: JUMPDEST 000038ac: POP 000038ad: DIV 000038ae: SWAP1 000038af: JUMP 000038b0: JUMPDEST 000038b1: PUSH1 0x00 000038b3: DUP2 000038b4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000038d5: DIV 000038d6: DUP4 000038d7: GT 000038d8: DUP3 000038d9: ISZERO 000038da: ISZERO 000038db: AND 000038dc: ISZERO 000038dd: PUSH2 0x38e8 000038e0: JUMPI 000038e1: PUSH2 0x38e8 000038e4: PUSH2 0x39e0 000038e7: JUMP 000038e8: JUMPDEST 000038e9: POP 000038ea: MUL 000038eb: SWAP1 000038ec: JUMP 000038ed: JUMPDEST 000038ee: PUSH1 0x00 000038f0: PUSH2 0xffff 000038f3: DUP4 000038f4: DUP2 000038f5: AND 000038f6: SWAP1 000038f7: DUP4 000038f8: AND 000038f9: DUP2 000038fa: DUP2 000038fb: LT 000038fc: ISZERO 000038fd: PUSH2 0x3908 00003900: JUMPI 00003901: PUSH2 0x3908 00003904: PUSH2 0x39e0 00003907: JUMP 00003908: JUMPDEST 00003909: SUB 0000390a: SWAP4 0000390b: SWAP3 0000390c: POP 0000390d: POP 0000390e: POP 0000390f: JUMP 00003910: JUMPDEST 00003911: PUSH1 0x00 00003913: DUP3 00003914: DUP3 00003915: LT 00003916: ISZERO 00003917: PUSH2 0x3922 0000391a: JUMPI 0000391b: PUSH2 0x3922 0000391e: PUSH2 0x39e0 00003921: JUMP 00003922: JUMPDEST 00003923: POP 00003924: SUB 00003925: SWAP1 00003926: JUMP 00003927: JUMPDEST 00003928: PUSH1 0x00 0000392a: JUMPDEST 0000392b: DUP4 0000392c: DUP2 0000392d: LT 0000392e: ISZERO 0000392f: PUSH2 0x3942 00003932: JUMPI 00003933: DUP2 00003934: DUP2 00003935: ADD 00003936: MLOAD 00003937: DUP4 00003938: DUP3 00003939: ADD 0000393a: MSTORE 0000393b: PUSH1 0x20 0000393d: ADD 0000393e: PUSH2 0x392a 00003941: JUMP 00003942: JUMPDEST 00003943: DUP4 00003944: DUP2 00003945: GT 00003946: ISZERO 00003947: PUSH2 0x2641 0000394a: JUMPI 0000394b: POP 0000394c: POP 0000394d: PUSH1 0x00 0000394f: SWAP2 00003950: ADD 00003951: MSTORE 00003952: JUMP 00003953: JUMPDEST 00003954: PUSH1 0x01 00003956: DUP2 00003957: DUP2 00003958: SHR 00003959: SWAP1 0000395a: DUP3 0000395b: AND 0000395c: DUP1 0000395d: PUSH2 0x3967 00003960: JUMPI 00003961: PUSH1 0x7f 00003963: DUP3 00003964: AND 00003965: SWAP2 00003966: POP 00003967: JUMPDEST 00003968: PUSH1 0x20 0000396a: DUP3 0000396b: LT 0000396c: DUP2 0000396d: EQ 0000396e: ISZERO 0000396f: PUSH2 0x39a1 00003972: JUMPI 00003973: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003994: PUSH1 0x00 00003996: MSTORE 00003997: PUSH1 0x22 00003999: PUSH1 0x04 0000399b: MSTORE 0000399c: PUSH1 0x24 0000399e: PUSH1 0x00 000039a0: REVERT 000039a1: JUMPDEST 000039a2: POP 000039a3: SWAP2 000039a4: SWAP1 000039a5: POP 000039a6: JUMP 000039a7: JUMPDEST 000039a8: PUSH1 0x00 000039aa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000039cb: DUP3 000039cc: EQ 000039cd: ISZERO 000039ce: PUSH2 0x39d9 000039d1: JUMPI 000039d2: PUSH2 0x39d9 000039d5: PUSH2 0x39e0 000039d8: JUMP 000039d9: JUMPDEST 000039da: POP 000039db: PUSH1 0x01 000039dd: ADD 000039de: SWAP1 000039df: JUMP 000039e0: JUMPDEST 000039e1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003a02: PUSH1 0x00 00003a04: MSTORE 00003a05: PUSH1 0x11 00003a07: PUSH1 0x04 00003a09: MSTORE 00003a0a: PUSH1 0x24 00003a0c: PUSH1 0x00 00003a0e: REVERT 00003a0f: JUMPDEST 00003a10: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003a31: PUSH1 0x00 00003a33: MSTORE 00003a34: PUSH1 0x21 00003a36: PUSH1 0x04 00003a38: MSTORE 00003a39: PUSH1 0x24 00003a3b: PUSH1 0x00 00003a3d: REVERT 00003a3e: JUMPDEST 00003a3f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003a60: PUSH1 0x00 00003a62: MSTORE 00003a63: PUSH1 0x32 00003a65: PUSH1 0x04 00003a67: MSTORE 00003a68: PUSH1 0x24 00003a6a: PUSH1 0x00 00003a6c: REVERT 00003a6d: JUMPDEST 00003a6e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003a8f: PUSH1 0x00 00003a91: MSTORE 00003a92: PUSH1 0x41 00003a94: PUSH1 0x04 00003a96: MSTORE 00003a97: PUSH1 0x24 00003a99: PUSH1 0x00 00003a9b: REVERT 00003a9c: JUMPDEST 00003a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003ab2: DUP2 00003ab3: AND 00003ab4: DUP2 00003ab5: EQ 00003ab6: PUSH2 0x1441 00003ab9: JUMPI 00003aba: PUSH1 0x00 00003abc: DUP1 00003abd: REVERT 00003abe: INVALID 00003abf: LOG2 00003ac0: PUSH5 0x6970667358 00003ac6: UNKNOWN(0x22) 00003ac7: SLT 00003ac8: KECCAK256 00003ac9: RETURNDATASIZE 00003aca: UNKNOWN(0xE1) 00003acb: UNKNOWN(0xD2) 00003acc: UNKNOWN(0xF6) 00003acd: MSIZE 00003ace: UNKNOWN(0xC5) 00003acf: UNKNOWN(0xE7) 00003ad0: SUB 00003ad1: UNKNOWN(0xB0) 00003ad2: LOG2 00003ad3: SWAP6 00003ad4: SELFDESTRUCT 00003ad5: CALLDATACOPY 00003ad6: UNKNOWN(0xE7) 00003ad7: PC 00003ad8: DUP1 00003ad9: DUP13 00003ada: PUSH18 0x4932915c1c756dc637fd697a6e9b64736f6c 00003aed: PUSH4 0x43000805 00003af2: STOP 00003af3: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | cast | SELFDESTRUCT present | 85 | no | — |
viewevidence_json{
"notes": "selfdestruct can remove contract code and send funds; review reachability",
"selfdestruct_count": 1
}
|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0xfc419f67c55a0731da1778877de0bb9a6216356865387294eed1110da71de280
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0xfc419f67c55a0731da1778877de0bb9a6216356865387294eed1110da71de280",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xf0c690ca",
"selector": "0xf0c690ca",
"calldata_variants": [
"0xf0c690ca",
"0xf0c690ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb346eab",
"selector": "0xfb346eab",
"calldata_variants": [
"0xfb346eab",
"0xfb346eab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf51c07f",
"selector": "0xdf51c07f",
"calldata_variants": [
"0xdf51c07f",
"0xdf51c07f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef38bf01",
"selector": "0xef38bf01",
"calldata_variants": [
"0xef38bf01",
"0xef38bf010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd57bde79",
"selector": "0xd57bde79",
"calldata_variants": [
"0xd57bde79",
"0xd57bde790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3868,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 1931,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4947,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7858,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x53bd074093f429511a2443402b1e935fcafb860ef4ef36712aac8df33aecf213
call_targets:
0x851eb3d4dc945598b957130fd8b394745f9c8074
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x53bd074093f429511a2443402b1e935fcafb860ef4ef36712aac8df33aecf213",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x851eb3d4dc945598b957130fd8b394745f9c8074"
],
"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": "0xf0c690ca",
"selector": "0xf0c690ca",
"calldata_variants": [
"0xf0c690ca",
"0xf0c690ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb346eab",
"selector": "0xfb346eab",
"calldata_variants": [
"0xfb346eab",
"0xfb346eab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf51c07f",
"selector": "0xdf51c07f",
"calldata_variants": [
"0xdf51c07f",
"0xdf51c07f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef38bf01",
"selector": "0xef38bf01",
"calldata_variants": [
"0xef38bf01",
"0xef38bf010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd57bde79",
"selector": "0xd57bde79",
"calldata_variants": [
"0xd57bde79",
"0xd57bde790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5763,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8105,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9740,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [
{
"pc": 1931,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4947,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7858,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 10
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xf145aa3d28cfcee07c12aa4a7427b5e6afe4164f2565fe31c3d7aa6fcc451e8d
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xf145aa3d28cfcee07c12aa4a7427b5e6afe4164f2565fe31c3d7aa6fcc451e8d",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xf0c690ca",
"selector": "0xf0c690ca",
"calldata_variants": [
"0xf0c690ca",
"0xf0c690ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb346eab",
"selector": "0xfb346eab",
"calldata_variants": [
"0xfb346eab",
"0xfb346eab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf51c07f",
"selector": "0xdf51c07f",
"calldata_variants": [
"0xdf51c07f",
"0xdf51c07f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef38bf01",
"selector": "0xef38bf01",
"calldata_variants": [
"0xef38bf01",
"0xef38bf010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd57bde79",
"selector": "0xd57bde79",
"calldata_variants": [
"0xd57bde79",
"0xd57bde790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1931,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4947,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7858,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x53bd074093f429511a2443402b1e935fcafb860ef4ef36712aac8df33aecf213
call_targets:
0x851eb3d4dc945598b957130fd8b394745f9c8074
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x53bd074093f429511a2443402b1e935fcafb860ef4ef36712aac8df33aecf213",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x851eb3d4dc945598b957130fd8b394745f9c8074"
],
"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": "0xf0c690ca",
"selector": "0xf0c690ca",
"calldata_variants": [
"0xf0c690ca",
"0xf0c690ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb346eab",
"selector": "0xfb346eab",
"calldata_variants": [
"0xfb346eab",
"0xfb346eab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf51c07f",
"selector": "0xdf51c07f",
"calldata_variants": [
"0xdf51c07f",
"0xdf51c07f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef38bf01",
"selector": "0xef38bf01",
"calldata_variants": [
"0xef38bf01",
"0xef38bf010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd57bde79",
"selector": "0xd57bde79",
"calldata_variants": [
"0xd57bde79",
"0xd57bde790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5763,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8105,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9740,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": [
{
"pc": 1931,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4947,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7858,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 17
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 14
}
|