TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

e4e94acd-cf87-4d2e-8419-14ccf0cdd5d4

failed
Chain ID
1
Address
Block Number
Created
Mon, Jan 5, 2026 8:53 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
SELFDESTRUCT present
crit 0 high 0 proxy context implementation known
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
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

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: yes
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable profit path identified in the provided sources.
View stderr
[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":[]}
Metadata
{
    "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
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
17
EXT*/BALANCE
14
Total opcodes
6629
Flags
delegatecall_present selfdestruct_present heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 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

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other cast SELFDESTRUCT present 85 no
view
evidence_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
view
trace_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
view
trace_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
view
trace_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
view
trace_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
view
evidence_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
view
evidence_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
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 14
}