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

Analysis Run

a8c392cc-e9ab-4059-895e-012ce27da565

failed
Chain ID
1
Address
Block Number
Created
Mon, Dec 29, 2025 7:42 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
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
30569 report.consolidate complete 1 / 1 3 months ago
104273 artifact.fetch failed 1 / 3 2 weeks ago
104274 tool.cast_disasm complete 1 / 3 2 weeks ago
104275 analysis.bundle complete 1 / 3 2 weeks ago
104276 capability.graph complete 1 / 3 2 weeks ago
104277 detector.run complete 1 / 3 2 weeks ago
104278 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.
View stderr
[codex:598832] OpenAI Codex v0.77.0 (research preview)
[codex:598832] --------
[codex:598832] workdir: /tmp/codex-multi-8u15irjs
[codex:598832] model: gpt-5.2-codex
[codex:598832] provider: openai
[codex:598832] approval: never
[codex:598832] sandbox: read-only
[codex:598832] reasoning effort: xhigh
[codex:598832] reasoning summaries: auto
[codex:598832] session id: 019b6ba1-8f77-7c60-81e9-ffccf6092490
[codex:598832] --------
[codex:598832] user
[codex:598832] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:598832] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:598832] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:598832] 
[codex:598832] Scope rules:
[codex:598832] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:598832] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:598832] 
[codex:598832] Output MUST be valid JSON matching the provided schema.
[codex:598832] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:598832] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:598832] 
[codex:598832] Output constraints (IMPORTANT):
[codex:598832] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:598832] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:598832] mcp startup: no servers
[codex:598832] 
[codex:598832] thinking
[codex:598832] **Checking for skill usage and audit instructions**
[codex:598832] exec
[codex:598832] /bin/bash -lc ls in /tmp/codex-multi-8u15irjs succeeded in 6ms:
[codex:598832] AUDIT_BUNDLE.txt
[codex:598832] codex-output-schema.json
[codex:598832] contracts
[codex:598832] 
[codex:598832] thinking
[codex:598832] **Reading AUDIT_BUNDLE.txt**
[codex:598832] exec
[codex:598832] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-8u15irjs succeeded in 5ms:
[codex:598832] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:598832] 
[codex:598832] ================================================================================
[codex:598832] FILE: contracts/Contract.sol
[codex:598832] ================================================================================
[codex:598832] // File: contracts/interfaces/IUniswapV2Pair.sol
[codex:598832] 
[codex:598832] pragma solidity >=0.5.0;
[codex:598832] 
[codex:598832] interface IUniswapV2Pair {
[codex:598832]     event Approval(address indexed owner, address indexed spender, uint value);
[codex:598832]     event Transfer(address indexed from, address indexed to, uint value);
[codex:598832] 
[codex:598832]     function name() external pure returns (string memory);
[codex:598832]     function symbol() external pure returns (string memory);
[codex:598832]     function decimals() external pure returns (uint8);
[codex:598832]     function totalSupply() external view returns (uint);
[codex:598832]     function balanceOf(address owner) external view returns (uint);
[codex:598832]     function allowance(address owner, address spender) external view returns (uint);
[codex:598832] 
[codex:598832] 
[codex:598832] thinking
[codex:598832] **Summarizing security audit findings**
[codex:598832] 
[codex:598832] I'll thoroughly review the UniswapV2Pair-like contract called DelioSwap for common vulnerabilities such as reentrancy, access control, upgrade risks, and signature validation. After careful evaluation, I see no meaningful issues that compromise safety within the typical assumptions and usage, so I'll prepare a JSON output stating no findings with a clear summary.
[codex:598832] codex
[codex:598832] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.","findings":[]}
[codex:598832] tokens used
[codex:598832] 7,704
[codex:598832] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-29T19:42:18.967542+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
16
EXT*/BALANCE
15
Total opcodes
7043
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01a9
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x6a627842
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xba9a7a56
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd21220a7
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd21220a7
00000047: EQ
00000048: PUSH2 0x08c4
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd505accf
00000052: EQ
00000053: PUSH2 0x090e
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x09a7
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfff6cae9
00000068: EQ
00000069: PUSH2 0x0a1f
0000006c: JUMPI
0000006d: PUSH2 0x01a9
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xba9a7a56
00000078: EQ
00000079: PUSH2 0x0818
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xbc25cf77
00000083: EQ
00000084: PUSH2 0x0836
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xc45a0155
0000008e: EQ
0000008f: PUSH2 0x087a
00000092: JUMPI
00000093: PUSH2 0x01a9
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x7ecebe00
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x7ecebe00
000000a9: EQ
000000aa: PUSH2 0x0678
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x89afcb44
000000b4: EQ
000000b5: PUSH2 0x06d0
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x95d89b41
000000bf: EQ
000000c0: PUSH2 0x072f
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa9059cbb
000000ca: EQ
000000cb: PUSH2 0x07b2
000000ce: JUMPI
000000cf: PUSH2 0x01a9
000000d2: JUMP
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x6a627842
000000da: EQ
000000db: PUSH2 0x05aa
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x70a08231
000000e5: EQ
000000e6: PUSH2 0x0602
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x7464fc3d
000000f0: EQ
000000f1: PUSH2 0x065a
000000f4: JUMPI
000000f5: PUSH2 0x01a9
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x23b872dd
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x3644e515
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x3644e515
00000116: EQ
00000117: PUSH2 0x04ec
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x485cc955
00000121: EQ
00000122: PUSH2 0x050a
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x5909c0d5
0000012c: EQ
0000012d: PUSH2 0x056e
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x5a3d5493
00000137: EQ
00000138: PUSH2 0x058c
0000013b: JUMPI
0000013c: PUSH2 0x01a9
0000013f: JUMP
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x23b872dd
00000147: EQ
00000148: PUSH2 0x0424
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x30adf81f
00000152: EQ
00000153: PUSH2 0x04aa
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x313ce567
0000015d: EQ
0000015e: PUSH2 0x04c8
00000161: JUMPI
00000162: PUSH2 0x01a9
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x022c0d9f
0000016d: EQ
0000016e: PUSH2 0x01ae
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x06fdde03
00000178: EQ
00000179: PUSH2 0x025b
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x0902f1ac
00000183: EQ
00000184: PUSH2 0x02de
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x095ea7b3
0000018e: EQ
0000018f: PUSH2 0x0356
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x0dfe1681
00000199: EQ
0000019a: PUSH2 0x03bc
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x18160ddd
000001a4: EQ
000001a5: PUSH2 0x0406
000001a8: JUMPI
000001a9: JUMPDEST
000001aa: PUSH1 0x00
000001ac: DUP1
000001ad: REVERT
000001ae: JUMPDEST
000001af: PUSH2 0x0259
000001b2: PUSH1 0x04
000001b4: DUP1
000001b5: CALLDATASIZE
000001b6: SUB
000001b7: PUSH1 0x80
000001b9: DUP2
000001ba: LT
000001bb: ISZERO
000001bc: PUSH2 0x01c4
000001bf: JUMPI
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: DUP2
000001c6: ADD
000001c7: SWAP1
000001c8: DUP1
000001c9: DUP1
000001ca: CALLDATALOAD
000001cb: SWAP1
000001cc: PUSH1 0x20
000001ce: ADD
000001cf: SWAP1
000001d0: SWAP3
000001d1: SWAP2
000001d2: SWAP1
000001d3: DUP1
000001d4: CALLDATALOAD
000001d5: SWAP1
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: SWAP1
000001da: SWAP3
000001db: SWAP2
000001dc: SWAP1
000001dd: DUP1
000001de: CALLDATALOAD
000001df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f4: AND
000001f5: SWAP1
000001f6: PUSH1 0x20
000001f8: ADD
000001f9: SWAP1
000001fa: SWAP3
000001fb: SWAP2
000001fc: SWAP1
000001fd: DUP1
000001fe: CALLDATALOAD
000001ff: SWAP1
00000200: PUSH1 0x20
00000202: ADD
00000203: SWAP1
00000204: PUSH5 0x0100000000
0000020a: DUP2
0000020b: GT
0000020c: ISZERO
0000020d: PUSH2 0x0215
00000210: JUMPI
00000211: PUSH1 0x00
00000213: DUP1
00000214: REVERT
00000215: JUMPDEST
00000216: DUP3
00000217: ADD
00000218: DUP4
00000219: PUSH1 0x20
0000021b: DUP3
0000021c: ADD
0000021d: GT
0000021e: ISZERO
0000021f: PUSH2 0x0227
00000222: JUMPI
00000223: PUSH1 0x00
00000225: DUP1
00000226: REVERT
00000227: JUMPDEST
00000228: DUP1
00000229: CALLDATALOAD
0000022a: SWAP1
0000022b: PUSH1 0x20
0000022d: ADD
0000022e: SWAP2
0000022f: DUP5
00000230: PUSH1 0x01
00000232: DUP4
00000233: MUL
00000234: DUP5
00000235: ADD
00000236: GT
00000237: PUSH5 0x0100000000
0000023d: DUP4
0000023e: GT
0000023f: OR
00000240: ISZERO
00000241: PUSH2 0x0249
00000244: JUMPI
00000245: PUSH1 0x00
00000247: DUP1
00000248: REVERT
00000249: JUMPDEST
0000024a: SWAP1
0000024b: SWAP2
0000024c: SWAP3
0000024d: SWAP4
0000024e: SWAP2
0000024f: SWAP3
00000250: SWAP4
00000251: SWAP1
00000252: POP
00000253: POP
00000254: POP
00000255: PUSH2 0x0a29
00000258: JUMP
00000259: JUMPDEST
0000025a: STOP
0000025b: JUMPDEST
0000025c: PUSH2 0x0263
0000025f: PUSH2 0x1216
00000262: JUMP
00000263: JUMPDEST
00000264: PUSH1 0x40
00000266: MLOAD
00000267: DUP1
00000268: DUP1
00000269: PUSH1 0x20
0000026b: ADD
0000026c: DUP3
0000026d: DUP2
0000026e: SUB
0000026f: DUP3
00000270: MSTORE
00000271: DUP4
00000272: DUP2
00000273: DUP2
00000274: MLOAD
00000275: DUP2
00000276: MSTORE
00000277: PUSH1 0x20
00000279: ADD
0000027a: SWAP2
0000027b: POP
0000027c: DUP1
0000027d: MLOAD
0000027e: SWAP1
0000027f: PUSH1 0x20
00000281: ADD
00000282: SWAP1
00000283: DUP1
00000284: DUP4
00000285: DUP4
00000286: PUSH1 0x00
00000288: JUMPDEST
00000289: DUP4
0000028a: DUP2
0000028b: LT
0000028c: ISZERO
0000028d: PUSH2 0x02a3
00000290: JUMPI
00000291: DUP1
00000292: DUP3
00000293: ADD
00000294: MLOAD
00000295: DUP2
00000296: DUP5
00000297: ADD
00000298: MSTORE
00000299: PUSH1 0x20
0000029b: DUP2
0000029c: ADD
0000029d: SWAP1
0000029e: POP
0000029f: PUSH2 0x0288
000002a2: JUMP
000002a3: JUMPDEST
000002a4: POP
000002a5: POP
000002a6: POP
000002a7: POP
000002a8: SWAP1
000002a9: POP
000002aa: SWAP1
000002ab: DUP2
000002ac: ADD
000002ad: SWAP1
000002ae: PUSH1 0x1f
000002b0: AND
000002b1: DUP1
000002b2: ISZERO
000002b3: PUSH2 0x02d0
000002b6: JUMPI
000002b7: DUP1
000002b8: DUP3
000002b9: SUB
000002ba: DUP1
000002bb: MLOAD
000002bc: PUSH1 0x01
000002be: DUP4
000002bf: PUSH1 0x20
000002c1: SUB
000002c2: PUSH2 0x0100
000002c5: EXP
000002c6: SUB
000002c7: NOT
000002c8: AND
000002c9: DUP2
000002ca: MSTORE
000002cb: PUSH1 0x20
000002cd: ADD
000002ce: SWAP2
000002cf: POP
000002d0: JUMPDEST
000002d1: POP
000002d2: SWAP3
000002d3: POP
000002d4: POP
000002d5: POP
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: DUP1
000002da: SWAP2
000002db: SUB
000002dc: SWAP1
000002dd: RETURN
000002de: JUMPDEST
000002df: PUSH2 0x02e6
000002e2: PUSH2 0x124f
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: DUP1
000002eb: DUP5
000002ec: PUSH14 0xffffffffffffffffffffffffffff
000002fb: AND
000002fc: PUSH14 0xffffffffffffffffffffffffffff
0000030b: AND
0000030c: DUP2
0000030d: MSTORE
0000030e: PUSH1 0x20
00000310: ADD
00000311: DUP4
00000312: PUSH14 0xffffffffffffffffffffffffffff
00000321: AND
00000322: PUSH14 0xffffffffffffffffffffffffffff
00000331: AND
00000332: DUP2
00000333: MSTORE
00000334: PUSH1 0x20
00000336: ADD
00000337: DUP3
00000338: PUSH4 0xffffffff
0000033d: AND
0000033e: PUSH4 0xffffffff
00000343: AND
00000344: DUP2
00000345: MSTORE
00000346: PUSH1 0x20
00000348: ADD
00000349: SWAP4
0000034a: POP
0000034b: POP
0000034c: POP
0000034d: POP
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: DUP1
00000352: SWAP2
00000353: SUB
00000354: SWAP1
00000355: RETURN
00000356: JUMPDEST
00000357: PUSH2 0x03a2
0000035a: PUSH1 0x04
0000035c: DUP1
0000035d: CALLDATASIZE
0000035e: SUB
0000035f: PUSH1 0x40
00000361: DUP2
00000362: LT
00000363: ISZERO
00000364: PUSH2 0x036c
00000367: JUMPI
00000368: PUSH1 0x00
0000036a: DUP1
0000036b: REVERT
0000036c: JUMPDEST
0000036d: DUP2
0000036e: ADD
0000036f: SWAP1
00000370: DUP1
00000371: DUP1
00000372: CALLDATALOAD
00000373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000388: AND
00000389: SWAP1
0000038a: PUSH1 0x20
0000038c: ADD
0000038d: SWAP1
0000038e: SWAP3
0000038f: SWAP2
00000390: SWAP1
00000391: DUP1
00000392: CALLDATALOAD
00000393: SWAP1
00000394: PUSH1 0x20
00000396: ADD
00000397: SWAP1
00000398: SWAP3
00000399: SWAP2
0000039a: SWAP1
0000039b: POP
0000039c: POP
0000039d: POP
0000039e: PUSH2 0x12ac
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH1 0x40
000003a5: MLOAD
000003a6: DUP1
000003a7: DUP3
000003a8: ISZERO
000003a9: ISZERO
000003aa: ISZERO
000003ab: ISZERO
000003ac: DUP2
000003ad: MSTORE
000003ae: PUSH1 0x20
000003b0: ADD
000003b1: SWAP2
000003b2: POP
000003b3: POP
000003b4: PUSH1 0x40
000003b6: MLOAD
000003b7: DUP1
000003b8: SWAP2
000003b9: SUB
000003ba: SWAP1
000003bb: RETURN
000003bc: JUMPDEST
000003bd: PUSH2 0x03c4
000003c0: PUSH2 0x12c3
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH1 0x40
000003c7: MLOAD
000003c8: DUP1
000003c9: DUP3
000003ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003df: AND
000003e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003f5: AND
000003f6: DUP2
000003f7: MSTORE
000003f8: PUSH1 0x20
000003fa: ADD
000003fb: SWAP2
000003fc: POP
000003fd: POP
000003fe: PUSH1 0x40
00000400: MLOAD
00000401: DUP1
00000402: SWAP2
00000403: SUB
00000404: SWAP1
00000405: RETURN
00000406: JUMPDEST
00000407: PUSH2 0x040e
0000040a: PUSH2 0x12e9
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH1 0x40
00000411: MLOAD
00000412: DUP1
00000413: DUP3
00000414: DUP2
00000415: MSTORE
00000416: PUSH1 0x20
00000418: ADD
00000419: SWAP2
0000041a: POP
0000041b: POP
0000041c: PUSH1 0x40
0000041e: MLOAD
0000041f: DUP1
00000420: SWAP2
00000421: SUB
00000422: SWAP1
00000423: RETURN
00000424: JUMPDEST
00000425: PUSH2 0x0490
00000428: PUSH1 0x04
0000042a: DUP1
0000042b: CALLDATASIZE
0000042c: SUB
0000042d: PUSH1 0x60
0000042f: DUP2
00000430: LT
00000431: ISZERO
00000432: PUSH2 0x043a
00000435: JUMPI
00000436: PUSH1 0x00
00000438: DUP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: DUP2
0000043c: ADD
0000043d: SWAP1
0000043e: DUP1
0000043f: DUP1
00000440: CALLDATALOAD
00000441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000456: AND
00000457: SWAP1
00000458: PUSH1 0x20
0000045a: ADD
0000045b: SWAP1
0000045c: SWAP3
0000045d: SWAP2
0000045e: SWAP1
0000045f: DUP1
00000460: CALLDATALOAD
00000461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000476: AND
00000477: SWAP1
00000478: PUSH1 0x20
0000047a: ADD
0000047b: SWAP1
0000047c: SWAP3
0000047d: SWAP2
0000047e: SWAP1
0000047f: DUP1
00000480: CALLDATALOAD
00000481: SWAP1
00000482: PUSH1 0x20
00000484: ADD
00000485: SWAP1
00000486: SWAP3
00000487: SWAP2
00000488: SWAP1
00000489: POP
0000048a: POP
0000048b: POP
0000048c: PUSH2 0x12ef
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH1 0x40
00000493: MLOAD
00000494: DUP1
00000495: DUP3
00000496: ISZERO
00000497: ISZERO
00000498: ISZERO
00000499: ISZERO
0000049a: DUP2
0000049b: MSTORE
0000049c: PUSH1 0x20
0000049e: ADD
0000049f: SWAP2
000004a0: POP
000004a1: POP
000004a2: PUSH1 0x40
000004a4: MLOAD
000004a5: DUP1
000004a6: SWAP2
000004a7: SUB
000004a8: SWAP1
000004a9: RETURN
000004aa: JUMPDEST
000004ab: PUSH2 0x04b2
000004ae: PUSH2 0x14ba
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH1 0x40
000004b5: MLOAD
000004b6: DUP1
000004b7: DUP3
000004b8: DUP2
000004b9: MSTORE
000004ba: PUSH1 0x20
000004bc: ADD
000004bd: SWAP2
000004be: POP
000004bf: POP
000004c0: PUSH1 0x40
000004c2: MLOAD
000004c3: DUP1
000004c4: SWAP2
000004c5: SUB
000004c6: SWAP1
000004c7: RETURN
000004c8: JUMPDEST
000004c9: PUSH2 0x04d0
000004cc: PUSH2 0x14e1
000004cf: JUMP
000004d0: JUMPDEST
000004d1: PUSH1 0x40
000004d3: MLOAD
000004d4: DUP1
000004d5: DUP3
000004d6: PUSH1 0xff
000004d8: AND
000004d9: PUSH1 0xff
000004db: AND
000004dc: DUP2
000004dd: MSTORE
000004de: PUSH1 0x20
000004e0: ADD
000004e1: SWAP2
000004e2: POP
000004e3: POP
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: DUP1
000004e8: SWAP2
000004e9: SUB
000004ea: SWAP1
000004eb: RETURN
000004ec: JUMPDEST
000004ed: PUSH2 0x04f4
000004f0: PUSH2 0x14e6
000004f3: JUMP
000004f4: JUMPDEST
000004f5: PUSH1 0x40
000004f7: MLOAD
000004f8: DUP1
000004f9: DUP3
000004fa: DUP2
000004fb: MSTORE
000004fc: PUSH1 0x20
000004fe: ADD
000004ff: SWAP2
00000500: POP
00000501: POP
00000502: PUSH1 0x40
00000504: MLOAD
00000505: DUP1
00000506: SWAP2
00000507: SUB
00000508: SWAP1
00000509: RETURN
0000050a: JUMPDEST
0000050b: PUSH2 0x056c
0000050e: PUSH1 0x04
00000510: DUP1
00000511: CALLDATASIZE
00000512: SUB
00000513: PUSH1 0x40
00000515: DUP2
00000516: LT
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: DUP2
00000522: ADD
00000523: SWAP1
00000524: DUP1
00000525: DUP1
00000526: CALLDATALOAD
00000527: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000053c: AND
0000053d: SWAP1
0000053e: PUSH1 0x20
00000540: ADD
00000541: SWAP1
00000542: SWAP3
00000543: SWAP2
00000544: SWAP1
00000545: DUP1
00000546: CALLDATALOAD
00000547: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000055c: AND
0000055d: SWAP1
0000055e: PUSH1 0x20
00000560: ADD
00000561: SWAP1
00000562: SWAP3
00000563: SWAP2
00000564: SWAP1
00000565: POP
00000566: POP
00000567: POP
00000568: PUSH2 0x14ec
0000056b: JUMP
0000056c: JUMPDEST
0000056d: STOP
0000056e: JUMPDEST
0000056f: PUSH2 0x0576
00000572: PUSH2 0x1635
00000575: JUMP
00000576: JUMPDEST
00000577: PUSH1 0x40
00000579: MLOAD
0000057a: DUP1
0000057b: DUP3
0000057c: DUP2
0000057d: MSTORE
0000057e: PUSH1 0x20
00000580: ADD
00000581: SWAP2
00000582: POP
00000583: POP
00000584: PUSH1 0x40
00000586: MLOAD
00000587: DUP1
00000588: SWAP2
00000589: SUB
0000058a: SWAP1
0000058b: RETURN
0000058c: JUMPDEST
0000058d: PUSH2 0x0594
00000590: PUSH2 0x163b
00000593: JUMP
00000594: JUMPDEST
00000595: PUSH1 0x40
00000597: MLOAD
00000598: DUP1
00000599: DUP3
0000059a: DUP2
0000059b: MSTORE
0000059c: PUSH1 0x20
0000059e: ADD
0000059f: SWAP2
000005a0: POP
000005a1: POP
000005a2: PUSH1 0x40
000005a4: MLOAD
000005a5: DUP1
000005a6: SWAP2
000005a7: SUB
000005a8: SWAP1
000005a9: RETURN
000005aa: JUMPDEST
000005ab: PUSH2 0x05ec
000005ae: PUSH1 0x04
000005b0: DUP1
000005b1: CALLDATASIZE
000005b2: SUB
000005b3: PUSH1 0x20
000005b5: DUP2
000005b6: LT
000005b7: ISZERO
000005b8: PUSH2 0x05c0
000005bb: JUMPI
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: REVERT
000005c0: JUMPDEST
000005c1: DUP2
000005c2: ADD
000005c3: SWAP1
000005c4: DUP1
000005c5: DUP1
000005c6: CALLDATALOAD
000005c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005dc: AND
000005dd: SWAP1
000005de: PUSH1 0x20
000005e0: ADD
000005e1: SWAP1
000005e2: SWAP3
000005e3: SWAP2
000005e4: SWAP1
000005e5: POP
000005e6: POP
000005e7: POP
000005e8: PUSH2 0x1641
000005eb: JUMP
000005ec: JUMPDEST
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: DUP1
000005f1: DUP3
000005f2: DUP2
000005f3: MSTORE
000005f4: PUSH1 0x20
000005f6: ADD
000005f7: SWAP2
000005f8: POP
000005f9: POP
000005fa: PUSH1 0x40
000005fc: MLOAD
000005fd: DUP1
000005fe: SWAP2
000005ff: SUB
00000600: SWAP1
00000601: RETURN
00000602: JUMPDEST
00000603: PUSH2 0x0644
00000606: PUSH1 0x04
00000608: DUP1
00000609: CALLDATASIZE
0000060a: SUB
0000060b: PUSH1 0x20
0000060d: DUP2
0000060e: LT
0000060f: ISZERO
00000610: PUSH2 0x0618
00000613: JUMPI
00000614: PUSH1 0x00
00000616: DUP1
00000617: REVERT
00000618: JUMPDEST
00000619: DUP2
0000061a: ADD
0000061b: SWAP1
0000061c: DUP1
0000061d: DUP1
0000061e: CALLDATALOAD
0000061f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000634: AND
00000635: SWAP1
00000636: PUSH1 0x20
00000638: ADD
00000639: SWAP1
0000063a: SWAP3
0000063b: SWAP2
0000063c: SWAP1
0000063d: POP
0000063e: POP
0000063f: POP
00000640: PUSH2 0x1af2
00000643: JUMP
00000644: JUMPDEST
00000645: PUSH1 0x40
00000647: MLOAD
00000648: DUP1
00000649: DUP3
0000064a: DUP2
0000064b: MSTORE
0000064c: PUSH1 0x20
0000064e: ADD
0000064f: SWAP2
00000650: POP
00000651: POP
00000652: PUSH1 0x40
00000654: MLOAD
00000655: DUP1
00000656: SWAP2
00000657: SUB
00000658: SWAP1
00000659: RETURN
0000065a: JUMPDEST
0000065b: PUSH2 0x0662
0000065e: PUSH2 0x1b0a
00000661: JUMP
00000662: JUMPDEST
00000663: PUSH1 0x40
00000665: MLOAD
00000666: DUP1
00000667: DUP3
00000668: DUP2
00000669: MSTORE
0000066a: PUSH1 0x20
0000066c: ADD
0000066d: SWAP2
0000066e: POP
0000066f: POP
00000670: PUSH1 0x40
00000672: MLOAD
00000673: DUP1
00000674: SWAP2
00000675: SUB
00000676: SWAP1
00000677: RETURN
00000678: JUMPDEST
00000679: PUSH2 0x06ba
0000067c: PUSH1 0x04
0000067e: DUP1
0000067f: CALLDATASIZE
00000680: SUB
00000681: PUSH1 0x20
00000683: DUP2
00000684: LT
00000685: ISZERO
00000686: PUSH2 0x068e
00000689: JUMPI
0000068a: PUSH1 0x00
0000068c: DUP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: DUP2
00000690: ADD
00000691: SWAP1
00000692: DUP1
00000693: DUP1
00000694: CALLDATALOAD
00000695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006aa: AND
000006ab: SWAP1
000006ac: PUSH1 0x20
000006ae: ADD
000006af: SWAP1
000006b0: SWAP3
000006b1: SWAP2
000006b2: SWAP1
000006b3: POP
000006b4: POP
000006b5: POP
000006b6: PUSH2 0x1b10
000006b9: JUMP
000006ba: JUMPDEST
000006bb: PUSH1 0x40
000006bd: MLOAD
000006be: DUP1
000006bf: DUP3
000006c0: DUP2
000006c1: MSTORE
000006c2: PUSH1 0x20
000006c4: ADD
000006c5: SWAP2
000006c6: POP
000006c7: POP
000006c8: PUSH1 0x40
000006ca: MLOAD
000006cb: DUP1
000006cc: SWAP2
000006cd: SUB
000006ce: SWAP1
000006cf: RETURN
000006d0: JUMPDEST
000006d1: PUSH2 0x0712
000006d4: PUSH1 0x04
000006d6: DUP1
000006d7: CALLDATASIZE
000006d8: SUB
000006d9: PUSH1 0x20
000006db: DUP2
000006dc: LT
000006dd: ISZERO
000006de: PUSH2 0x06e6
000006e1: JUMPI
000006e2: PUSH1 0x00
000006e4: DUP1
000006e5: REVERT
000006e6: JUMPDEST
000006e7: DUP2
000006e8: ADD
000006e9: SWAP1
000006ea: DUP1
000006eb: DUP1
000006ec: CALLDATALOAD
000006ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000702: AND
00000703: SWAP1
00000704: PUSH1 0x20
00000706: ADD
00000707: SWAP1
00000708: SWAP3
00000709: SWAP2
0000070a: SWAP1
0000070b: POP
0000070c: POP
0000070d: POP
0000070e: PUSH2 0x1b28
00000711: JUMP
00000712: JUMPDEST
00000713: PUSH1 0x40
00000715: MLOAD
00000716: DUP1
00000717: DUP4
00000718: DUP2
00000719: MSTORE
0000071a: PUSH1 0x20
0000071c: ADD
0000071d: DUP3
0000071e: DUP2
0000071f: MSTORE
00000720: PUSH1 0x20
00000722: ADD
00000723: SWAP3
00000724: POP
00000725: POP
00000726: POP
00000727: PUSH1 0x40
00000729: MLOAD
0000072a: DUP1
0000072b: SWAP2
0000072c: SUB
0000072d: SWAP1
0000072e: RETURN
0000072f: JUMPDEST
00000730: PUSH2 0x0737
00000733: PUSH2 0x2115
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH1 0x40
0000073a: MLOAD
0000073b: DUP1
0000073c: DUP1
0000073d: PUSH1 0x20
0000073f: ADD
00000740: DUP3
00000741: DUP2
00000742: SUB
00000743: DUP3
00000744: MSTORE
00000745: DUP4
00000746: DUP2
00000747: DUP2
00000748: MLOAD
00000749: DUP2
0000074a: MSTORE
0000074b: PUSH1 0x20
0000074d: ADD
0000074e: SWAP2
0000074f: POP
00000750: DUP1
00000751: MLOAD
00000752: SWAP1
00000753: PUSH1 0x20
00000755: ADD
00000756: SWAP1
00000757: DUP1
00000758: DUP4
00000759: DUP4
0000075a: PUSH1 0x00
0000075c: JUMPDEST
0000075d: DUP4
0000075e: DUP2
0000075f: LT
00000760: ISZERO
00000761: PUSH2 0x0777
00000764: JUMPI
00000765: DUP1
00000766: DUP3
00000767: ADD
00000768: MLOAD
00000769: DUP2
0000076a: DUP5
0000076b: ADD
0000076c: MSTORE
0000076d: PUSH1 0x20
0000076f: DUP2
00000770: ADD
00000771: SWAP1
00000772: POP
00000773: PUSH2 0x075c
00000776: JUMP
00000777: JUMPDEST
00000778: POP
00000779: POP
0000077a: POP
0000077b: POP
0000077c: SWAP1
0000077d: POP
0000077e: SWAP1
0000077f: DUP2
00000780: ADD
00000781: SWAP1
00000782: PUSH1 0x1f
00000784: AND
00000785: DUP1
00000786: ISZERO
00000787: PUSH2 0x07a4
0000078a: JUMPI
0000078b: DUP1
0000078c: DUP3
0000078d: SUB
0000078e: DUP1
0000078f: MLOAD
00000790: PUSH1 0x01
00000792: DUP4
00000793: PUSH1 0x20
00000795: SUB
00000796: PUSH2 0x0100
00000799: EXP
0000079a: SUB
0000079b: NOT
0000079c: AND
0000079d: DUP2
0000079e: MSTORE
0000079f: PUSH1 0x20
000007a1: ADD
000007a2: SWAP2
000007a3: POP
000007a4: JUMPDEST
000007a5: POP
000007a6: SWAP3
000007a7: POP
000007a8: POP
000007a9: POP
000007aa: PUSH1 0x40
000007ac: MLOAD
000007ad: DUP1
000007ae: SWAP2
000007af: SUB
000007b0: SWAP1
000007b1: RETURN
000007b2: JUMPDEST
000007b3: PUSH2 0x07fe
000007b6: PUSH1 0x04
000007b8: DUP1
000007b9: CALLDATASIZE
000007ba: SUB
000007bb: PUSH1 0x40
000007bd: DUP2
000007be: LT
000007bf: ISZERO
000007c0: PUSH2 0x07c8
000007c3: JUMPI
000007c4: PUSH1 0x00
000007c6: DUP1
000007c7: REVERT
000007c8: JUMPDEST
000007c9: DUP2
000007ca: ADD
000007cb: SWAP1
000007cc: DUP1
000007cd: DUP1
000007ce: CALLDATALOAD
000007cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e4: AND
000007e5: SWAP1
000007e6: PUSH1 0x20
000007e8: ADD
000007e9: SWAP1
000007ea: SWAP3
000007eb: SWAP2
000007ec: SWAP1
000007ed: DUP1
000007ee: CALLDATALOAD
000007ef: SWAP1
000007f0: PUSH1 0x20
000007f2: ADD
000007f3: SWAP1
000007f4: SWAP3
000007f5: SWAP2
000007f6: SWAP1
000007f7: POP
000007f8: POP
000007f9: POP
000007fa: PUSH2 0x214e
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH1 0x40
00000801: MLOAD
00000802: DUP1
00000803: DUP3
00000804: ISZERO
00000805: ISZERO
00000806: ISZERO
00000807: ISZERO
00000808: DUP2
00000809: MSTORE
0000080a: PUSH1 0x20
0000080c: ADD
0000080d: SWAP2
0000080e: POP
0000080f: POP
00000810: PUSH1 0x40
00000812: MLOAD
00000813: DUP1
00000814: SWAP2
00000815: SUB
00000816: SWAP1
00000817: RETURN
00000818: JUMPDEST
00000819: PUSH2 0x0820
0000081c: PUSH2 0x2165
0000081f: JUMP
00000820: JUMPDEST
00000821: PUSH1 0x40
00000823: MLOAD
00000824: DUP1
00000825: DUP3
00000826: DUP2
00000827: MSTORE
00000828: PUSH1 0x20
0000082a: ADD
0000082b: SWAP2
0000082c: POP
0000082d: POP
0000082e: PUSH1 0x40
00000830: MLOAD
00000831: DUP1
00000832: SWAP2
00000833: SUB
00000834: SWAP1
00000835: RETURN
00000836: JUMPDEST
00000837: PUSH2 0x0878
0000083a: PUSH1 0x04
0000083c: DUP1
0000083d: CALLDATASIZE
0000083e: SUB
0000083f: PUSH1 0x20
00000841: DUP2
00000842: LT
00000843: ISZERO
00000844: PUSH2 0x084c
00000847: JUMPI
00000848: PUSH1 0x00
0000084a: DUP1
0000084b: REVERT
0000084c: JUMPDEST
0000084d: DUP2
0000084e: ADD
0000084f: SWAP1
00000850: DUP1
00000851: DUP1
00000852: CALLDATALOAD
00000853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000868: AND
00000869: SWAP1
0000086a: PUSH1 0x20
0000086c: ADD
0000086d: SWAP1
0000086e: SWAP3
0000086f: SWAP2
00000870: SWAP1
00000871: POP
00000872: POP
00000873: POP
00000874: PUSH2 0x216b
00000877: JUMP
00000878: JUMPDEST
00000879: STOP
0000087a: JUMPDEST
0000087b: PUSH2 0x0882
0000087e: PUSH2 0x2446
00000881: JUMP
00000882: JUMPDEST
00000883: PUSH1 0x40
00000885: MLOAD
00000886: DUP1
00000887: DUP3
00000888: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000089d: AND
0000089e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b3: AND
000008b4: DUP2
000008b5: MSTORE
000008b6: PUSH1 0x20
000008b8: ADD
000008b9: SWAP2
000008ba: POP
000008bb: POP
000008bc: PUSH1 0x40
000008be: MLOAD
000008bf: DUP1
000008c0: SWAP2
000008c1: SUB
000008c2: SWAP1
000008c3: RETURN
000008c4: JUMPDEST
000008c5: PUSH2 0x08cc
000008c8: PUSH2 0x246c
000008cb: JUMP
000008cc: JUMPDEST
000008cd: PUSH1 0x40
000008cf: MLOAD
000008d0: DUP1
000008d1: DUP3
000008d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e7: AND
000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fd: AND
000008fe: DUP2
000008ff: MSTORE
00000900: PUSH1 0x20
00000902: ADD
00000903: SWAP2
00000904: POP
00000905: POP
00000906: PUSH1 0x40
00000908: MLOAD
00000909: DUP1
0000090a: SWAP2
0000090b: SUB
0000090c: SWAP1
0000090d: RETURN
0000090e: JUMPDEST
0000090f: PUSH2 0x09a5
00000912: PUSH1 0x04
00000914: DUP1
00000915: CALLDATASIZE
00000916: SUB
00000917: PUSH1 0xe0
00000919: DUP2
0000091a: LT
0000091b: ISZERO
0000091c: PUSH2 0x0924
0000091f: JUMPI
00000920: PUSH1 0x00
00000922: DUP1
00000923: REVERT
00000924: JUMPDEST
00000925: DUP2
00000926: ADD
00000927: SWAP1
00000928: DUP1
00000929: DUP1
0000092a: CALLDATALOAD
0000092b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000940: AND
00000941: SWAP1
00000942: PUSH1 0x20
00000944: ADD
00000945: SWAP1
00000946: SWAP3
00000947: SWAP2
00000948: SWAP1
00000949: DUP1
0000094a: CALLDATALOAD
0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000960: AND
00000961: SWAP1
00000962: PUSH1 0x20
00000964: ADD
00000965: SWAP1
00000966: SWAP3
00000967: SWAP2
00000968: SWAP1
00000969: DUP1
0000096a: CALLDATALOAD
0000096b: SWAP1
0000096c: PUSH1 0x20
0000096e: ADD
0000096f: SWAP1
00000970: SWAP3
00000971: SWAP2
00000972: SWAP1
00000973: DUP1
00000974: CALLDATALOAD
00000975: SWAP1
00000976: PUSH1 0x20
00000978: ADD
00000979: SWAP1
0000097a: SWAP3
0000097b: SWAP2
0000097c: SWAP1
0000097d: DUP1
0000097e: CALLDATALOAD
0000097f: PUSH1 0xff
00000981: AND
00000982: SWAP1
00000983: PUSH1 0x20
00000985: ADD
00000986: SWAP1
00000987: SWAP3
00000988: SWAP2
00000989: SWAP1
0000098a: DUP1
0000098b: CALLDATALOAD
0000098c: SWAP1
0000098d: PUSH1 0x20
0000098f: ADD
00000990: SWAP1
00000991: SWAP3
00000992: SWAP2
00000993: SWAP1
00000994: DUP1
00000995: CALLDATALOAD
00000996: SWAP1
00000997: PUSH1 0x20
00000999: ADD
0000099a: SWAP1
0000099b: SWAP3
0000099c: SWAP2
0000099d: SWAP1
0000099e: POP
0000099f: POP
000009a0: POP
000009a1: PUSH2 0x2492
000009a4: JUMP
000009a5: JUMPDEST
000009a6: STOP
000009a7: JUMPDEST
000009a8: PUSH2 0x0a09
000009ab: PUSH1 0x04
000009ad: DUP1
000009ae: CALLDATASIZE
000009af: SUB
000009b0: PUSH1 0x40
000009b2: DUP2
000009b3: LT
000009b4: ISZERO
000009b5: PUSH2 0x09bd
000009b8: JUMPI
000009b9: PUSH1 0x00
000009bb: DUP1
000009bc: REVERT
000009bd: JUMPDEST
000009be: DUP2
000009bf: ADD
000009c0: SWAP1
000009c1: DUP1
000009c2: DUP1
000009c3: CALLDATALOAD
000009c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d9: AND
000009da: SWAP1
000009db: PUSH1 0x20
000009dd: ADD
000009de: SWAP1
000009df: SWAP3
000009e0: SWAP2
000009e1: SWAP1
000009e2: DUP1
000009e3: CALLDATALOAD
000009e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f9: AND
000009fa: SWAP1
000009fb: PUSH1 0x20
000009fd: ADD
000009fe: SWAP1
000009ff: SWAP3
00000a00: SWAP2
00000a01: SWAP1
00000a02: POP
00000a03: POP
00000a04: POP
00000a05: PUSH2 0x27d6
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: PUSH1 0x40
00000a0c: MLOAD
00000a0d: DUP1
00000a0e: DUP3
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x20
00000a13: ADD
00000a14: SWAP2
00000a15: POP
00000a16: POP
00000a17: PUSH1 0x40
00000a19: MLOAD
00000a1a: DUP1
00000a1b: SWAP2
00000a1c: SUB
00000a1d: SWAP1
00000a1e: RETURN
00000a1f: JUMPDEST
00000a20: PUSH2 0x0a27
00000a23: PUSH2 0x27fb
00000a26: JUMP
00000a27: JUMPDEST
00000a28: STOP
00000a29: JUMPDEST
00000a2a: PUSH1 0x01
00000a2c: PUSH1 0x0c
00000a2e: SLOAD
00000a2f: EQ
00000a30: PUSH2 0x0aa1
00000a33: JUMPI
00000a34: PUSH1 0x40
00000a36: MLOAD
00000a37: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a58: DUP2
00000a59: MSTORE
00000a5a: PUSH1 0x04
00000a5c: ADD
00000a5d: DUP1
00000a5e: DUP1
00000a5f: PUSH1 0x20
00000a61: ADD
00000a62: DUP3
00000a63: DUP2
00000a64: SUB
00000a65: DUP3
00000a66: MSTORE
00000a67: PUSH1 0x13
00000a69: DUP2
00000a6a: MSTORE
00000a6b: PUSH1 0x20
00000a6d: ADD
00000a6e: DUP1
00000a6f: PUSH32 0x44656c696f5377617056323a204c4f434b454400000000000000000000000000
00000a90: DUP2
00000a91: MSTORE
00000a92: POP
00000a93: PUSH1 0x20
00000a95: ADD
00000a96: SWAP2
00000a97: POP
00000a98: POP
00000a99: PUSH1 0x40
00000a9b: MLOAD
00000a9c: DUP1
00000a9d: SWAP2
00000a9e: SUB
00000a9f: SWAP1
00000aa0: REVERT
00000aa1: JUMPDEST
00000aa2: PUSH1 0x00
00000aa4: PUSH1 0x0c
00000aa6: DUP2
00000aa7: SWAP1
00000aa8: SSTORE
00000aa9: POP
00000aaa: PUSH1 0x00
00000aac: DUP6
00000aad: GT
00000aae: DUP1
00000aaf: PUSH2 0x0ab8
00000ab2: JUMPI
00000ab3: POP
00000ab4: PUSH1 0x00
00000ab6: DUP5
00000ab7: GT
00000ab8: JUMPDEST
00000ab9: PUSH2 0x0b0d
00000abc: JUMPI
00000abd: PUSH1 0x40
00000abf: MLOAD
00000ac0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ae1: DUP2
00000ae2: MSTORE
00000ae3: PUSH1 0x04
00000ae5: ADD
00000ae6: DUP1
00000ae7: DUP1
00000ae8: PUSH1 0x20
00000aea: ADD
00000aeb: DUP3
00000aec: DUP2
00000aed: SUB
00000aee: DUP3
00000aef: MSTORE
00000af0: PUSH1 0x27
00000af2: DUP2
00000af3: MSTORE
00000af4: PUSH1 0x20
00000af6: ADD
00000af7: DUP1
00000af8: PUSH2 0x39d0
00000afb: PUSH1 0x27
00000afd: SWAP2
00000afe: CODECOPY
00000aff: PUSH1 0x40
00000b01: ADD
00000b02: SWAP2
00000b03: POP
00000b04: POP
00000b05: PUSH1 0x40
00000b07: MLOAD
00000b08: DUP1
00000b09: SWAP2
00000b0a: SUB
00000b0b: SWAP1
00000b0c: REVERT
00000b0d: JUMPDEST
00000b0e: PUSH1 0x00
00000b10: DUP1
00000b11: PUSH2 0x0b18
00000b14: PUSH2 0x124f
00000b17: JUMP
00000b18: JUMPDEST
00000b19: POP
00000b1a: SWAP2
00000b1b: POP
00000b1c: SWAP2
00000b1d: POP
00000b1e: DUP2
00000b1f: PUSH14 0xffffffffffffffffffffffffffff
00000b2e: AND
00000b2f: DUP8
00000b30: LT
00000b31: DUP1
00000b32: ISZERO
00000b33: PUSH2 0x0b4b
00000b36: JUMPI
00000b37: POP
00000b38: DUP1
00000b39: PUSH14 0xffffffffffffffffffffffffffff
00000b48: AND
00000b49: DUP7
00000b4a: LT
00000b4b: JUMPDEST
00000b4c: PUSH2 0x0ba0
00000b4f: JUMPI
00000b50: PUSH1 0x40
00000b52: MLOAD
00000b53: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b74: DUP2
00000b75: MSTORE
00000b76: PUSH1 0x04
00000b78: ADD
00000b79: DUP1
00000b7a: DUP1
00000b7b: PUSH1 0x20
00000b7d: ADD
00000b7e: DUP3
00000b7f: DUP2
00000b80: SUB
00000b81: DUP3
00000b82: MSTORE
00000b83: PUSH1 0x23
00000b85: DUP2
00000b86: MSTORE
00000b87: PUSH1 0x20
00000b89: ADD
00000b8a: DUP1
00000b8b: PUSH2 0x39f7
00000b8e: PUSH1 0x23
00000b90: SWAP2
00000b91: CODECOPY
00000b92: PUSH1 0x40
00000b94: ADD
00000b95: SWAP2
00000b96: POP
00000b97: POP
00000b98: PUSH1 0x40
00000b9a: MLOAD
00000b9b: DUP1
00000b9c: SWAP2
00000b9d: SUB
00000b9e: SWAP1
00000b9f: REVERT
00000ba0: JUMPDEST
00000ba1: PUSH1 0x00
00000ba3: DUP1
00000ba4: PUSH1 0x00
00000ba6: PUSH1 0x06
00000ba8: PUSH1 0x00
00000baa: SWAP1
00000bab: SLOAD
00000bac: SWAP1
00000bad: PUSH2 0x0100
00000bb0: EXP
00000bb1: SWAP1
00000bb2: DIV
00000bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc8: AND
00000bc9: SWAP1
00000bca: POP
00000bcb: PUSH1 0x00
00000bcd: PUSH1 0x07
00000bcf: PUSH1 0x00
00000bd1: SWAP1
00000bd2: SLOAD
00000bd3: SWAP1
00000bd4: PUSH2 0x0100
00000bd7: EXP
00000bd8: SWAP1
00000bd9: DIV
00000bda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bef: AND
00000bf0: SWAP1
00000bf1: POP
00000bf2: DUP2
00000bf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c08: AND
00000c09: DUP10
00000c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1f: AND
00000c20: EQ
00000c21: ISZERO
00000c22: DUP1
00000c23: ISZERO
00000c24: PUSH2 0x0c59
00000c27: JUMPI
00000c28: POP
00000c29: DUP1
00000c2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3f: AND
00000c40: DUP10
00000c41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c56: AND
00000c57: EQ
00000c58: ISZERO
00000c59: JUMPDEST
00000c5a: PUSH2 0x0ccb
00000c5d: JUMPI
00000c5e: PUSH1 0x40
00000c60: MLOAD
00000c61: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c82: DUP2
00000c83: MSTORE
00000c84: PUSH1 0x04
00000c86: ADD
00000c87: DUP1
00000c88: DUP1
00000c89: PUSH1 0x20
00000c8b: ADD
00000c8c: DUP3
00000c8d: DUP2
00000c8e: SUB
00000c8f: DUP3
00000c90: MSTORE
00000c91: PUSH1 0x17
00000c93: DUP2
00000c94: MSTORE
00000c95: PUSH1 0x20
00000c97: ADD
00000c98: DUP1
00000c99: PUSH32 0x44656c696f5377617056323a20494e56414c49445f544f000000000000000000
00000cba: DUP2
00000cbb: MSTORE
00000cbc: POP
00000cbd: PUSH1 0x20
00000cbf: ADD
00000cc0: SWAP2
00000cc1: POP
00000cc2: POP
00000cc3: PUSH1 0x40
00000cc5: MLOAD
00000cc6: DUP1
00000cc7: SWAP2
00000cc8: SUB
00000cc9: SWAP1
00000cca: REVERT
00000ccb: JUMPDEST
00000ccc: PUSH1 0x00
00000cce: DUP12
00000ccf: GT
00000cd0: ISZERO
00000cd1: PUSH2 0x0ce0
00000cd4: JUMPI
00000cd5: PUSH2 0x0cdf
00000cd8: DUP3
00000cd9: DUP11
00000cda: DUP14
00000cdb: PUSH2 0x2a7b
00000cde: JUMP
00000cdf: JUMPDEST
00000ce0: JUMPDEST
00000ce1: PUSH1 0x00
00000ce3: DUP11
00000ce4: GT
00000ce5: ISZERO
00000ce6: PUSH2 0x0cf5
00000ce9: JUMPI
00000cea: PUSH2 0x0cf4
00000ced: DUP2
00000cee: DUP11
00000cef: DUP13
00000cf0: PUSH2 0x2a7b
00000cf3: JUMP
00000cf4: JUMPDEST
00000cf5: JUMPDEST
00000cf6: PUSH1 0x00
00000cf8: DUP9
00000cf9: DUP9
00000cfa: SWAP1
00000cfb: POP
00000cfc: GT
00000cfd: ISZERO
00000cfe: PUSH2 0x0ddd
00000d01: JUMPI
00000d02: DUP9
00000d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d18: AND
00000d19: PUSH4 0x10d1e85c
00000d1e: CALLER
00000d1f: DUP14
00000d20: DUP14
00000d21: DUP13
00000d22: DUP13
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: DUP7
00000d27: PUSH4 0xffffffff
00000d2c: AND
00000d2d: PUSH1 0xe0
00000d2f: SHL
00000d30: DUP2
00000d31: MSTORE
00000d32: PUSH1 0x04
00000d34: ADD
00000d35: DUP1
00000d36: DUP7
00000d37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4c: AND
00000d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d62: AND
00000d63: DUP2
00000d64: MSTORE
00000d65: PUSH1 0x20
00000d67: ADD
00000d68: DUP6
00000d69: DUP2
00000d6a: MSTORE
00000d6b: PUSH1 0x20
00000d6d: ADD
00000d6e: DUP5
00000d6f: DUP2
00000d70: MSTORE
00000d71: PUSH1 0x20
00000d73: ADD
00000d74: DUP1
00000d75: PUSH1 0x20
00000d77: ADD
00000d78: DUP3
00000d79: DUP2
00000d7a: SUB
00000d7b: DUP3
00000d7c: MSTORE
00000d7d: DUP5
00000d7e: DUP5
00000d7f: DUP3
00000d80: DUP2
00000d81: DUP2
00000d82: MSTORE
00000d83: PUSH1 0x20
00000d85: ADD
00000d86: SWAP3
00000d87: POP
00000d88: DUP1
00000d89: DUP3
00000d8a: DUP5
00000d8b: CALLDATACOPY
00000d8c: PUSH1 0x00
00000d8e: DUP2
00000d8f: DUP5
00000d90: ADD
00000d91: MSTORE
00000d92: PUSH1 0x1f
00000d94: NOT
00000d95: PUSH1 0x1f
00000d97: DUP3
00000d98: ADD
00000d99: AND
00000d9a: SWAP1
00000d9b: POP
00000d9c: DUP1
00000d9d: DUP4
00000d9e: ADD
00000d9f: SWAP3
00000da0: POP
00000da1: POP
00000da2: POP
00000da3: SWAP7
00000da4: POP
00000da5: POP
00000da6: POP
00000da7: POP
00000da8: POP
00000da9: POP
00000daa: POP
00000dab: PUSH1 0x00
00000dad: PUSH1 0x40
00000daf: MLOAD
00000db0: DUP1
00000db1: DUP4
00000db2: SUB
00000db3: DUP2
00000db4: PUSH1 0x00
00000db6: DUP8
00000db7: DUP1
00000db8: EXTCODESIZE
00000db9: ISZERO
00000dba: DUP1
00000dbb: ISZERO
00000dbc: PUSH2 0x0dc4
00000dbf: JUMPI
00000dc0: PUSH1 0x00
00000dc2: DUP1
00000dc3: REVERT
00000dc4: JUMPDEST
00000dc5: POP
00000dc6: GAS
00000dc7: CALL
00000dc8: ISZERO
00000dc9: DUP1
00000dca: ISZERO
00000dcb: PUSH2 0x0dd8
00000dce: JUMPI
00000dcf: RETURNDATASIZE
00000dd0: PUSH1 0x00
00000dd2: DUP1
00000dd3: RETURNDATACOPY
00000dd4: RETURNDATASIZE
00000dd5: PUSH1 0x00
00000dd7: REVERT
00000dd8: JUMPDEST
00000dd9: POP
00000dda: POP
00000ddb: POP
00000ddc: POP
00000ddd: JUMPDEST
00000dde: DUP2
00000ddf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df4: AND
00000df5: PUSH4 0x70a08231
00000dfa: ADDRESS
00000dfb: PUSH1 0x40
00000dfd: MLOAD
00000dfe: DUP3
00000dff: PUSH4 0xffffffff
00000e04: AND
00000e05: PUSH1 0xe0
00000e07: SHL
00000e08: DUP2
00000e09: MSTORE
00000e0a: PUSH1 0x04
00000e0c: ADD
00000e0d: DUP1
00000e0e: DUP3
00000e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e24: AND
00000e25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3a: AND
00000e3b: DUP2
00000e3c: MSTORE
00000e3d: PUSH1 0x20
00000e3f: ADD
00000e40: SWAP2
00000e41: POP
00000e42: POP
00000e43: PUSH1 0x20
00000e45: PUSH1 0x40
00000e47: MLOAD
00000e48: DUP1
00000e49: DUP4
00000e4a: SUB
00000e4b: DUP2
00000e4c: DUP7
00000e4d: DUP1
00000e4e: EXTCODESIZE
00000e4f: ISZERO
00000e50: DUP1
00000e51: ISZERO
00000e52: PUSH2 0x0e5a
00000e55: JUMPI
00000e56: PUSH1 0x00
00000e58: DUP1
00000e59: REVERT
00000e5a: JUMPDEST
00000e5b: POP
00000e5c: GAS
00000e5d: STATICCALL
00000e5e: ISZERO
00000e5f: DUP1
00000e60: ISZERO
00000e61: PUSH2 0x0e6e
00000e64: JUMPI
00000e65: RETURNDATASIZE
00000e66: PUSH1 0x00
00000e68: DUP1
00000e69: RETURNDATACOPY
00000e6a: RETURNDATASIZE
00000e6b: PUSH1 0x00
00000e6d: REVERT
00000e6e: JUMPDEST
00000e6f: POP
00000e70: POP
00000e71: POP
00000e72: POP
00000e73: PUSH1 0x40
00000e75: MLOAD
00000e76: RETURNDATASIZE
00000e77: PUSH1 0x20
00000e79: DUP2
00000e7a: LT
00000e7b: ISZERO
00000e7c: PUSH2 0x0e84
00000e7f: JUMPI
00000e80: PUSH1 0x00
00000e82: DUP1
00000e83: REVERT
00000e84: JUMPDEST
00000e85: DUP2
00000e86: ADD
00000e87: SWAP1
00000e88: DUP1
00000e89: DUP1
00000e8a: MLOAD
00000e8b: SWAP1
00000e8c: PUSH1 0x20
00000e8e: ADD
00000e8f: SWAP1
00000e90: SWAP3
00000e91: SWAP2
00000e92: SWAP1
00000e93: POP
00000e94: POP
00000e95: POP
00000e96: SWAP4
00000e97: POP
00000e98: DUP1
00000e99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eae: AND
00000eaf: PUSH4 0x70a08231
00000eb4: ADDRESS
00000eb5: PUSH1 0x40
00000eb7: MLOAD
00000eb8: DUP3
00000eb9: PUSH4 0xffffffff
00000ebe: AND
00000ebf: PUSH1 0xe0
00000ec1: SHL
00000ec2: DUP2
00000ec3: MSTORE
00000ec4: PUSH1 0x04
00000ec6: ADD
00000ec7: DUP1
00000ec8: DUP3
00000ec9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ede: AND
00000edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef4: AND
00000ef5: DUP2
00000ef6: MSTORE
00000ef7: PUSH1 0x20
00000ef9: ADD
00000efa: SWAP2
00000efb: POP
00000efc: POP
00000efd: PUSH1 0x20
00000eff: PUSH1 0x40
00000f01: MLOAD
00000f02: DUP1
00000f03: DUP4
00000f04: SUB
00000f05: DUP2
00000f06: DUP7
00000f07: DUP1
00000f08: EXTCODESIZE
00000f09: ISZERO
00000f0a: DUP1
00000f0b: ISZERO
00000f0c: PUSH2 0x0f14
00000f0f: JUMPI
00000f10: PUSH1 0x00
00000f12: DUP1
00000f13: REVERT
00000f14: JUMPDEST
00000f15: POP
00000f16: GAS
00000f17: STATICCALL
00000f18: ISZERO
00000f19: DUP1
00000f1a: ISZERO
00000f1b: PUSH2 0x0f28
00000f1e: JUMPI
00000f1f: RETURNDATASIZE
00000f20: PUSH1 0x00
00000f22: DUP1
00000f23: RETURNDATACOPY
00000f24: RETURNDATASIZE
00000f25: PUSH1 0x00
00000f27: REVERT
00000f28: JUMPDEST
00000f29: POP
00000f2a: POP
00000f2b: POP
00000f2c: POP
00000f2d: PUSH1 0x40
00000f2f: MLOAD
00000f30: RETURNDATASIZE
00000f31: PUSH1 0x20
00000f33: DUP2
00000f34: LT
00000f35: ISZERO
00000f36: PUSH2 0x0f3e
00000f39: JUMPI
00000f3a: PUSH1 0x00
00000f3c: DUP1
00000f3d: REVERT
00000f3e: JUMPDEST
00000f3f: DUP2
00000f40: ADD
00000f41: SWAP1
00000f42: DUP1
00000f43: DUP1
00000f44: MLOAD
00000f45: SWAP1
00000f46: PUSH1 0x20
00000f48: ADD
00000f49: SWAP1
00000f4a: SWAP3
00000f4b: SWAP2
00000f4c: SWAP1
00000f4d: POP
00000f4e: POP
00000f4f: POP
00000f50: SWAP3
00000f51: POP
00000f52: POP
00000f53: POP
00000f54: PUSH1 0x00
00000f56: DUP10
00000f57: DUP6
00000f58: PUSH14 0xffffffffffffffffffffffffffff
00000f67: AND
00000f68: SUB
00000f69: DUP4
00000f6a: GT
00000f6b: PUSH2 0x0f75
00000f6e: JUMPI
00000f6f: PUSH1 0x00
00000f71: PUSH2 0x0f8b
00000f74: JUMP
00000f75: JUMPDEST
00000f76: DUP10
00000f77: DUP6
00000f78: PUSH14 0xffffffffffffffffffffffffffff
00000f87: AND
00000f88: SUB
00000f89: DUP4
00000f8a: SUB
00000f8b: JUMPDEST
00000f8c: SWAP1
00000f8d: POP
00000f8e: PUSH1 0x00
00000f90: DUP10
00000f91: DUP6
00000f92: PUSH14 0xffffffffffffffffffffffffffff
00000fa1: AND
00000fa2: SUB
00000fa3: DUP4
00000fa4: GT
00000fa5: PUSH2 0x0faf
00000fa8: JUMPI
00000fa9: PUSH1 0x00
00000fab: PUSH2 0x0fc5
00000fae: JUMP
00000faf: JUMPDEST
00000fb0: DUP10
00000fb1: DUP6
00000fb2: PUSH14 0xffffffffffffffffffffffffffff
00000fc1: AND
00000fc2: SUB
00000fc3: DUP4
00000fc4: SUB
00000fc5: JUMPDEST
00000fc6: SWAP1
00000fc7: POP
00000fc8: PUSH1 0x00
00000fca: DUP3
00000fcb: GT
00000fcc: DUP1
00000fcd: PUSH2 0x0fd6
00000fd0: JUMPI
00000fd1: POP
00000fd2: PUSH1 0x00
00000fd4: DUP2
00000fd5: GT
00000fd6: JUMPDEST
00000fd7: PUSH2 0x102b
00000fda: JUMPI
00000fdb: PUSH1 0x40
00000fdd: MLOAD
00000fde: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fff: DUP2
00001000: MSTORE
00001001: PUSH1 0x04
00001003: ADD
00001004: DUP1
00001005: DUP1
00001006: PUSH1 0x20
00001008: ADD
00001009: DUP3
0000100a: DUP2
0000100b: SUB
0000100c: DUP3
0000100d: MSTORE
0000100e: PUSH1 0x26
00001010: DUP2
00001011: MSTORE
00001012: PUSH1 0x20
00001014: ADD
00001015: DUP1
00001016: PUSH2 0x3a1a
00001019: PUSH1 0x26
0000101b: SWAP2
0000101c: CODECOPY
0000101d: PUSH1 0x40
0000101f: ADD
00001020: SWAP2
00001021: POP
00001022: POP
00001023: PUSH1 0x40
00001025: MLOAD
00001026: DUP1
00001027: SWAP2
00001028: SUB
00001029: SWAP1
0000102a: REVERT
0000102b: JUMPDEST
0000102c: PUSH1 0x00
0000102e: PUSH2 0x1067
00001031: PUSH2 0x1044
00001034: PUSH1 0x03
00001036: DUP6
00001037: PUSH2 0x2cc8
0000103a: SWAP1
0000103b: SWAP2
0000103c: SWAP1
0000103d: PUSH4 0xffffffff
00001042: AND
00001043: JUMP
00001044: JUMPDEST
00001045: PUSH2 0x1059
00001048: PUSH2 0x03e8
0000104b: DUP9
0000104c: PUSH2 0x2cc8
0000104f: SWAP1
00001050: SWAP2
00001051: SWAP1
00001052: PUSH4 0xffffffff
00001057: AND
00001058: JUMP
00001059: JUMPDEST
0000105a: PUSH2 0x2d5d
0000105d: SWAP1
0000105e: SWAP2
0000105f: SWAP1
00001060: PUSH4 0xffffffff
00001065: AND
00001066: JUMP
00001067: JUMPDEST
00001068: SWAP1
00001069: POP
0000106a: PUSH1 0x00
0000106c: PUSH2 0x10a5
0000106f: PUSH2 0x1082
00001072: PUSH1 0x03
00001074: DUP6
00001075: PUSH2 0x2cc8
00001078: SWAP1
00001079: SWAP2
0000107a: SWAP1
0000107b: PUSH4 0xffffffff
00001080: AND
00001081: JUMP
00001082: JUMPDEST
00001083: PUSH2 0x1097
00001086: PUSH2 0x03e8
00001089: DUP9
0000108a: PUSH2 0x2cc8
0000108d: SWAP1
0000108e: SWAP2
0000108f: SWAP1
00001090: PUSH4 0xffffffff
00001095: AND
00001096: JUMP
00001097: JUMPDEST
00001098: PUSH2 0x2d5d
0000109b: SWAP1
0000109c: SWAP2
0000109d: SWAP1
0000109e: PUSH4 0xffffffff
000010a3: AND
000010a4: JUMP
000010a5: JUMPDEST
000010a6: SWAP1
000010a7: POP
000010a8: PUSH2 0x10ef
000010ab: PUSH3 0x0f4240
000010af: PUSH2 0x10e1
000010b2: DUP10
000010b3: PUSH14 0xffffffffffffffffffffffffffff
000010c2: AND
000010c3: DUP12
000010c4: PUSH14 0xffffffffffffffffffffffffffff
000010d3: AND
000010d4: PUSH2 0x2cc8
000010d7: SWAP1
000010d8: SWAP2
000010d9: SWAP1
000010da: PUSH4 0xffffffff
000010df: AND
000010e0: JUMP
000010e1: JUMPDEST
000010e2: PUSH2 0x2cc8
000010e5: SWAP1
000010e6: SWAP2
000010e7: SWAP1
000010e8: PUSH4 0xffffffff
000010ed: AND
000010ee: JUMP
000010ef: JUMPDEST
000010f0: PUSH2 0x1102
000010f3: DUP3
000010f4: DUP5
000010f5: PUSH2 0x2cc8
000010f8: SWAP1
000010f9: SWAP2
000010fa: SWAP1
000010fb: PUSH4 0xffffffff
00001100: AND
00001101: JUMP
00001102: JUMPDEST
00001103: LT
00001104: ISZERO
00001105: PUSH2 0x1176
00001108: JUMPI
00001109: PUSH1 0x40
0000110b: MLOAD
0000110c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000112d: DUP2
0000112e: MSTORE
0000112f: PUSH1 0x04
00001131: ADD
00001132: DUP1
00001133: DUP1
00001134: PUSH1 0x20
00001136: ADD
00001137: DUP3
00001138: DUP2
00001139: SUB
0000113a: DUP3
0000113b: MSTORE
0000113c: PUSH1 0x0e
0000113e: DUP2
0000113f: MSTORE
00001140: PUSH1 0x20
00001142: ADD
00001143: DUP1
00001144: PUSH32 0x44656c696f5377617056323a204b000000000000000000000000000000000000
00001165: DUP2
00001166: MSTORE
00001167: POP
00001168: PUSH1 0x20
0000116a: ADD
0000116b: SWAP2
0000116c: POP
0000116d: POP
0000116e: PUSH1 0x40
00001170: MLOAD
00001171: DUP1
00001172: SWAP2
00001173: SUB
00001174: SWAP1
00001175: REVERT
00001176: JUMPDEST
00001177: POP
00001178: POP
00001179: PUSH2 0x1184
0000117c: DUP5
0000117d: DUP5
0000117e: DUP9
0000117f: DUP9
00001180: PUSH2 0x2de0
00001183: JUMP
00001184: JUMPDEST
00001185: DUP9
00001186: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119b: AND
0000119c: CALLER
0000119d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b2: AND
000011b3: PUSH32 0xd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d822
000011d4: DUP5
000011d5: DUP5
000011d6: DUP16
000011d7: DUP16
000011d8: PUSH1 0x40
000011da: MLOAD
000011db: DUP1
000011dc: DUP6
000011dd: DUP2
000011de: MSTORE
000011df: PUSH1 0x20
000011e1: ADD
000011e2: DUP5
000011e3: DUP2
000011e4: MSTORE
000011e5: PUSH1 0x20
000011e7: ADD
000011e8: DUP4
000011e9: DUP2
000011ea: MSTORE
000011eb: PUSH1 0x20
000011ed: ADD
000011ee: DUP3
000011ef: DUP2
000011f0: MSTORE
000011f1: PUSH1 0x20
000011f3: ADD
000011f4: SWAP5
000011f5: POP
000011f6: POP
000011f7: POP
000011f8: POP
000011f9: POP
000011fa: PUSH1 0x40
000011fc: MLOAD
000011fd: DUP1
000011fe: SWAP2
000011ff: SUB
00001200: SWAP1
00001201: LOG3
00001202: POP
00001203: POP
00001204: POP
00001205: POP
00001206: POP
00001207: POP
00001208: PUSH1 0x01
0000120a: PUSH1 0x0c
0000120c: DUP2
0000120d: SWAP1
0000120e: SSTORE
0000120f: POP
00001210: POP
00001211: POP
00001212: POP
00001213: POP
00001214: POP
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x40
00001219: MLOAD
0000121a: DUP1
0000121b: PUSH1 0x40
0000121d: ADD
0000121e: PUSH1 0x40
00001220: MSTORE
00001221: DUP1
00001222: PUSH1 0x0c
00001224: DUP2
00001225: MSTORE
00001226: PUSH1 0x20
00001228: ADD
00001229: PUSH32 0x44656c696f537761702056320000000000000000000000000000000000000000
0000124a: DUP2
0000124b: MSTORE
0000124c: POP
0000124d: DUP2
0000124e: JUMP
0000124f: JUMPDEST
00001250: PUSH1 0x00
00001252: DUP1
00001253: PUSH1 0x00
00001255: PUSH1 0x08
00001257: PUSH1 0x00
00001259: SWAP1
0000125a: SLOAD
0000125b: SWAP1
0000125c: PUSH2 0x0100
0000125f: EXP
00001260: SWAP1
00001261: DIV
00001262: PUSH14 0xffffffffffffffffffffffffffff
00001271: AND
00001272: SWAP3
00001273: POP
00001274: PUSH1 0x08
00001276: PUSH1 0x0e
00001278: SWAP1
00001279: SLOAD
0000127a: SWAP1
0000127b: PUSH2 0x0100
0000127e: EXP
0000127f: SWAP1
00001280: DIV
00001281: PUSH14 0xffffffffffffffffffffffffffff
00001290: AND
00001291: SWAP2
00001292: POP
00001293: PUSH1 0x08
00001295: PUSH1 0x1c
00001297: SWAP1
00001298: SLOAD
00001299: SWAP1
0000129a: PUSH2 0x0100
0000129d: EXP
0000129e: SWAP1
0000129f: DIV
000012a0: PUSH4 0xffffffff
000012a5: AND
000012a6: SWAP1
000012a7: POP
000012a8: SWAP1
000012a9: SWAP2
000012aa: SWAP3
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH1 0x00
000012af: PUSH2 0x12b9
000012b2: CALLER
000012b3: DUP5
000012b4: DUP5
000012b5: PUSH2 0x315e
000012b8: JUMP
000012b9: JUMPDEST
000012ba: PUSH1 0x01
000012bc: SWAP1
000012bd: POP
000012be: SWAP3
000012bf: SWAP2
000012c0: POP
000012c1: POP
000012c2: JUMP
000012c3: JUMPDEST
000012c4: PUSH1 0x06
000012c6: PUSH1 0x00
000012c8: SWAP1
000012c9: SLOAD
000012ca: SWAP1
000012cb: PUSH2 0x0100
000012ce: EXP
000012cf: SWAP1
000012d0: DIV
000012d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e6: AND
000012e7: DUP2
000012e8: JUMP
000012e9: JUMPDEST
000012ea: PUSH1 0x00
000012ec: SLOAD
000012ed: DUP2
000012ee: JUMP
000012ef: JUMPDEST
000012f0: PUSH1 0x00
000012f2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001313: PUSH1 0x02
00001315: PUSH1 0x00
00001317: DUP7
00001318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132d: AND
0000132e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001343: AND
00001344: DUP2
00001345: MSTORE
00001346: PUSH1 0x20
00001348: ADD
00001349: SWAP1
0000134a: DUP2
0000134b: MSTORE
0000134c: PUSH1 0x20
0000134e: ADD
0000134f: PUSH1 0x00
00001351: KECCAK256
00001352: PUSH1 0x00
00001354: CALLER
00001355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136a: AND
0000136b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001380: AND
00001381: DUP2
00001382: MSTORE
00001383: PUSH1 0x20
00001385: ADD
00001386: SWAP1
00001387: DUP2
00001388: MSTORE
00001389: PUSH1 0x20
0000138b: ADD
0000138c: PUSH1 0x00
0000138e: KECCAK256
0000138f: SLOAD
00001390: EQ
00001391: PUSH2 0x14a4
00001394: JUMPI
00001395: PUSH2 0x1423
00001398: DUP3
00001399: PUSH1 0x02
0000139b: PUSH1 0x00
0000139d: DUP8
0000139e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b3: AND
000013b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c9: AND
000013ca: DUP2
000013cb: MSTORE
000013cc: PUSH1 0x20
000013ce: ADD
000013cf: SWAP1
000013d0: DUP2
000013d1: MSTORE
000013d2: PUSH1 0x20
000013d4: ADD
000013d5: PUSH1 0x00
000013d7: KECCAK256
000013d8: PUSH1 0x00
000013da: CALLER
000013db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f0: AND
000013f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001406: AND
00001407: DUP2
00001408: MSTORE
00001409: PUSH1 0x20
0000140b: ADD
0000140c: SWAP1
0000140d: DUP2
0000140e: MSTORE
0000140f: PUSH1 0x20
00001411: ADD
00001412: PUSH1 0x00
00001414: KECCAK256
00001415: SLOAD
00001416: PUSH2 0x2d5d
00001419: SWAP1
0000141a: SWAP2
0000141b: SWAP1
0000141c: PUSH4 0xffffffff
00001421: AND
00001422: JUMP
00001423: JUMPDEST
00001424: PUSH1 0x02
00001426: PUSH1 0x00
00001428: DUP7
00001429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143e: AND
0000143f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001454: AND
00001455: DUP2
00001456: MSTORE
00001457: PUSH1 0x20
00001459: ADD
0000145a: SWAP1
0000145b: DUP2
0000145c: MSTORE
0000145d: PUSH1 0x20
0000145f: ADD
00001460: PUSH1 0x00
00001462: KECCAK256
00001463: PUSH1 0x00
00001465: CALLER
00001466: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000147b: AND
0000147c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001491: AND
00001492: DUP2
00001493: MSTORE
00001494: PUSH1 0x20
00001496: ADD
00001497: SWAP1
00001498: DUP2
00001499: MSTORE
0000149a: PUSH1 0x20
0000149c: ADD
0000149d: PUSH1 0x00
0000149f: KECCAK256
000014a0: DUP2
000014a1: SWAP1
000014a2: SSTORE
000014a3: POP
000014a4: JUMPDEST
000014a5: PUSH2 0x14af
000014a8: DUP5
000014a9: DUP5
000014aa: DUP5
000014ab: PUSH2 0x3249
000014ae: JUMP
000014af: JUMPDEST
000014b0: PUSH1 0x01
000014b2: SWAP1
000014b3: POP
000014b4: SWAP4
000014b5: SWAP3
000014b6: POP
000014b7: POP
000014b8: POP
000014b9: JUMP
000014ba: JUMPDEST
000014bb: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
000014dc: PUSH1 0x00
000014de: SHL
000014df: DUP2
000014e0: JUMP
000014e1: JUMPDEST
000014e2: PUSH1 0x12
000014e4: DUP2
000014e5: JUMP
000014e6: JUMPDEST
000014e7: PUSH1 0x03
000014e9: SLOAD
000014ea: DUP2
000014eb: JUMP
000014ec: JUMPDEST
000014ed: PUSH1 0x05
000014ef: PUSH1 0x00
000014f1: SWAP1
000014f2: SLOAD
000014f3: SWAP1
000014f4: PUSH2 0x0100
000014f7: EXP
000014f8: SWAP1
000014f9: DIV
000014fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000150f: AND
00001510: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001525: AND
00001526: CALLER
00001527: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000153c: AND
0000153d: EQ
0000153e: PUSH2 0x15af
00001541: JUMPI
00001542: PUSH1 0x40
00001544: MLOAD
00001545: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001566: DUP2
00001567: MSTORE
00001568: PUSH1 0x04
0000156a: ADD
0000156b: DUP1
0000156c: DUP1
0000156d: PUSH1 0x20
0000156f: ADD
00001570: DUP3
00001571: DUP2
00001572: SUB
00001573: DUP3
00001574: MSTORE
00001575: PUSH1 0x16
00001577: DUP2
00001578: MSTORE
00001579: PUSH1 0x20
0000157b: ADD
0000157c: DUP1
0000157d: PUSH32 0x44656c696f5377617056323a20464f5242494444454e00000000000000000000
0000159e: DUP2
0000159f: MSTORE
000015a0: POP
000015a1: PUSH1 0x20
000015a3: ADD
000015a4: SWAP2
000015a5: POP
000015a6: POP
000015a7: PUSH1 0x40
000015a9: MLOAD
000015aa: DUP1
000015ab: SWAP2
000015ac: SUB
000015ad: SWAP1
000015ae: REVERT
000015af: JUMPDEST
000015b0: DUP2
000015b1: PUSH1 0x06
000015b3: PUSH1 0x00
000015b5: PUSH2 0x0100
000015b8: EXP
000015b9: DUP2
000015ba: SLOAD
000015bb: DUP2
000015bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d1: MUL
000015d2: NOT
000015d3: AND
000015d4: SWAP1
000015d5: DUP4
000015d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015eb: AND
000015ec: MUL
000015ed: OR
000015ee: SWAP1
000015ef: SSTORE
000015f0: POP
000015f1: DUP1
000015f2: PUSH1 0x07
000015f4: PUSH1 0x00
000015f6: PUSH2 0x0100
000015f9: EXP
000015fa: DUP2
000015fb: SLOAD
000015fc: DUP2
000015fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001612: MUL
00001613: NOT
00001614: AND
00001615: SWAP1
00001616: DUP4
00001617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162c: AND
0000162d: MUL
0000162e: OR
0000162f: SWAP1
00001630: SSTORE
00001631: POP
00001632: POP
00001633: POP
00001634: JUMP
00001635: JUMPDEST
00001636: PUSH1 0x09
00001638: SLOAD
00001639: DUP2
0000163a: JUMP
0000163b: JUMPDEST
0000163c: PUSH1 0x0a
0000163e: SLOAD
0000163f: DUP2
00001640: JUMP
00001641: JUMPDEST
00001642: PUSH1 0x00
00001644: PUSH1 0x01
00001646: PUSH1 0x0c
00001648: SLOAD
00001649: EQ
0000164a: PUSH2 0x16bb
0000164d: JUMPI
0000164e: PUSH1 0x40
00001650: MLOAD
00001651: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001672: DUP2
00001673: MSTORE
00001674: PUSH1 0x04
00001676: ADD
00001677: DUP1
00001678: DUP1
00001679: PUSH1 0x20
0000167b: ADD
0000167c: DUP3
0000167d: DUP2
0000167e: SUB
0000167f: DUP3
00001680: MSTORE
00001681: PUSH1 0x13
00001683: DUP2
00001684: MSTORE
00001685: PUSH1 0x20
00001687: ADD
00001688: DUP1
00001689: PUSH32 0x44656c696f5377617056323a204c4f434b454400000000000000000000000000
000016aa: DUP2
000016ab: MSTORE
000016ac: POP
000016ad: PUSH1 0x20
000016af: ADD
000016b0: SWAP2
000016b1: POP
000016b2: POP
000016b3: PUSH1 0x40
000016b5: MLOAD
000016b6: DUP1
000016b7: SWAP2
000016b8: SUB
000016b9: SWAP1
000016ba: REVERT
000016bb: JUMPDEST
000016bc: PUSH1 0x00
000016be: PUSH1 0x0c
000016c0: DUP2
000016c1: SWAP1
000016c2: SSTORE
000016c3: POP
000016c4: PUSH1 0x00
000016c6: DUP1
000016c7: PUSH2 0x16ce
000016ca: PUSH2 0x124f
000016cd: JUMP
000016ce: JUMPDEST
000016cf: POP
000016d0: SWAP2
000016d1: POP
000016d2: SWAP2
000016d3: POP
000016d4: PUSH1 0x00
000016d6: PUSH1 0x06
000016d8: PUSH1 0x00
000016da: SWAP1
000016db: SLOAD
000016dc: SWAP1
000016dd: PUSH2 0x0100
000016e0: EXP
000016e1: SWAP1
000016e2: DIV
000016e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f8: AND
000016f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170e: AND
0000170f: PUSH4 0x70a08231
00001714: ADDRESS
00001715: PUSH1 0x40
00001717: MLOAD
00001718: DUP3
00001719: PUSH4 0xffffffff
0000171e: AND
0000171f: PUSH1 0xe0
00001721: SHL
00001722: DUP2
00001723: MSTORE
00001724: PUSH1 0x04
00001726: ADD
00001727: DUP1
00001728: DUP3
00001729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173e: AND
0000173f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001754: AND
00001755: DUP2
00001756: MSTORE
00001757: PUSH1 0x20
00001759: ADD
0000175a: SWAP2
0000175b: POP
0000175c: POP
0000175d: PUSH1 0x20
0000175f: PUSH1 0x40
00001761: MLOAD
00001762: DUP1
00001763: DUP4
00001764: SUB
00001765: DUP2
00001766: DUP7
00001767: DUP1
00001768: EXTCODESIZE
00001769: ISZERO
0000176a: DUP1
0000176b: ISZERO
0000176c: PUSH2 0x1774
0000176f: JUMPI
00001770: PUSH1 0x00
00001772: DUP1
00001773: REVERT
00001774: JUMPDEST
00001775: POP
00001776: GAS
00001777: STATICCALL
00001778: ISZERO
00001779: DUP1
0000177a: ISZERO
0000177b: PUSH2 0x1788
0000177e: JUMPI
0000177f: RETURNDATASIZE
00001780: PUSH1 0x00
00001782: DUP1
00001783: RETURNDATACOPY
00001784: RETURNDATASIZE
00001785: PUSH1 0x00
00001787: REVERT
00001788: JUMPDEST
00001789: POP
0000178a: POP
0000178b: POP
0000178c: POP
0000178d: PUSH1 0x40
0000178f: MLOAD
00001790: RETURNDATASIZE
00001791: PUSH1 0x20
00001793: DUP2
00001794: LT
00001795: ISZERO
00001796: PUSH2 0x179e
00001799: JUMPI
0000179a: PUSH1 0x00
0000179c: DUP1
0000179d: REVERT
0000179e: JUMPDEST
0000179f: DUP2
000017a0: ADD
000017a1: SWAP1
000017a2: DUP1
000017a3: DUP1
000017a4: MLOAD
000017a5: SWAP1
000017a6: PUSH1 0x20
000017a8: ADD
000017a9: SWAP1
000017aa: SWAP3
000017ab: SWAP2
000017ac: SWAP1
000017ad: POP
000017ae: POP
000017af: POP
000017b0: SWAP1
000017b1: POP
000017b2: PUSH1 0x00
000017b4: PUSH1 0x07
000017b6: PUSH1 0x00
000017b8: SWAP1
000017b9: SLOAD
000017ba: SWAP1
000017bb: PUSH2 0x0100
000017be: EXP
000017bf: SWAP1
000017c0: DIV
000017c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017d6: AND
000017d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ec: AND
000017ed: PUSH4 0x70a08231
000017f2: ADDRESS
000017f3: PUSH1 0x40
000017f5: MLOAD
000017f6: DUP3
000017f7: PUSH4 0xffffffff
000017fc: AND
000017fd: PUSH1 0xe0
000017ff: SHL
00001800: DUP2
00001801: MSTORE
00001802: PUSH1 0x04
00001804: ADD
00001805: DUP1
00001806: DUP3
00001807: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181c: AND
0000181d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001832: AND
00001833: DUP2
00001834: MSTORE
00001835: PUSH1 0x20
00001837: ADD
00001838: SWAP2
00001839: POP
0000183a: POP
0000183b: PUSH1 0x20
0000183d: PUSH1 0x40
0000183f: MLOAD
00001840: DUP1
00001841: DUP4
00001842: SUB
00001843: DUP2
00001844: DUP7
00001845: DUP1
00001846: EXTCODESIZE
00001847: ISZERO
00001848: DUP1
00001849: ISZERO
0000184a: PUSH2 0x1852
0000184d: JUMPI
0000184e: PUSH1 0x00
00001850: DUP1
00001851: REVERT
00001852: JUMPDEST
00001853: POP
00001854: GAS
00001855: STATICCALL
00001856: ISZERO
00001857: DUP1
00001858: ISZERO
00001859: PUSH2 0x1866
0000185c: JUMPI
0000185d: RETURNDATASIZE
0000185e: PUSH1 0x00
00001860: DUP1
00001861: RETURNDATACOPY
00001862: RETURNDATASIZE
00001863: PUSH1 0x00
00001865: REVERT
00001866: JUMPDEST
00001867: POP
00001868: POP
00001869: POP
0000186a: POP
0000186b: PUSH1 0x40
0000186d: MLOAD
0000186e: RETURNDATASIZE
0000186f: PUSH1 0x20
00001871: DUP2
00001872: LT
00001873: ISZERO
00001874: PUSH2 0x187c
00001877: JUMPI
00001878: PUSH1 0x00
0000187a: DUP1
0000187b: REVERT
0000187c: JUMPDEST
0000187d: DUP2
0000187e: ADD
0000187f: SWAP1
00001880: DUP1
00001881: DUP1
00001882: MLOAD
00001883: SWAP1
00001884: PUSH1 0x20
00001886: ADD
00001887: SWAP1
00001888: SWAP3
00001889: SWAP2
0000188a: SWAP1
0000188b: POP
0000188c: POP
0000188d: POP
0000188e: SWAP1
0000188f: POP
00001890: PUSH1 0x00
00001892: PUSH2 0x18b4
00001895: DUP6
00001896: PUSH14 0xffffffffffffffffffffffffffff
000018a5: AND
000018a6: DUP5
000018a7: PUSH2 0x2d5d
000018aa: SWAP1
000018ab: SWAP2
000018ac: SWAP1
000018ad: PUSH4 0xffffffff
000018b2: AND
000018b3: JUMP
000018b4: JUMPDEST
000018b5: SWAP1
000018b6: POP
000018b7: PUSH1 0x00
000018b9: PUSH2 0x18db
000018bc: DUP6
000018bd: PUSH14 0xffffffffffffffffffffffffffff
000018cc: AND
000018cd: DUP5
000018ce: PUSH2 0x2d5d
000018d1: SWAP1
000018d2: SWAP2
000018d3: SWAP1
000018d4: PUSH4 0xffffffff
000018d9: AND
000018da: JUMP
000018db: JUMPDEST
000018dc: SWAP1
000018dd: POP
000018de: PUSH1 0x00
000018e0: PUSH2 0x18e9
000018e3: DUP8
000018e4: DUP8
000018e5: PUSH2 0x33dd
000018e8: JUMP
000018e9: JUMPDEST
000018ea: SWAP1
000018eb: POP
000018ec: PUSH1 0x00
000018ee: DUP1
000018ef: SLOAD
000018f0: SWAP1
000018f1: POP
000018f2: PUSH1 0x00
000018f4: DUP2
000018f5: EQ
000018f6: ISZERO
000018f7: PUSH2 0x193d
000018fa: JUMPI
000018fb: PUSH2 0x1929
000018fe: PUSH2 0x03e8
00001901: PUSH2 0x191b
00001904: PUSH2 0x1916
00001907: DUP7
00001908: DUP9
00001909: PUSH2 0x2cc8
0000190c: SWAP1
0000190d: SWAP2
0000190e: SWAP1
0000190f: PUSH4 0xffffffff
00001914: AND
00001915: JUMP
00001916: JUMPDEST
00001917: PUSH2 0x35be
0000191a: JUMP
0000191b: JUMPDEST
0000191c: PUSH2 0x2d5d
0000191f: SWAP1
00001920: SWAP2
00001921: SWAP1
00001922: PUSH4 0xffffffff
00001927: AND
00001928: JUMP
00001929: JUMPDEST
0000192a: SWAP9
0000192b: POP
0000192c: PUSH2 0x1938
0000192f: PUSH1 0x00
00001931: PUSH2 0x03e8
00001934: PUSH2 0x3620
00001937: JUMP
00001938: JUMPDEST
00001939: PUSH2 0x19a0
0000193c: JUMP
0000193d: JUMPDEST
0000193e: PUSH2 0x199d
00001941: DUP9
00001942: PUSH14 0xffffffffffffffffffffffffffff
00001951: AND
00001952: PUSH2 0x1964
00001955: DUP4
00001956: DUP8
00001957: PUSH2 0x2cc8
0000195a: SWAP1
0000195b: SWAP2
0000195c: SWAP1
0000195d: PUSH4 0xffffffff
00001962: AND
00001963: JUMP
00001964: JUMPDEST
00001965: DUP2
00001966: PUSH2 0x196b
00001969: JUMPI
0000196a: INVALID
0000196b: JUMPDEST
0000196c: DIV
0000196d: DUP9
0000196e: PUSH14 0xffffffffffffffffffffffffffff
0000197d: AND
0000197e: PUSH2 0x1990
00001981: DUP5
00001982: DUP8
00001983: PUSH2 0x2cc8
00001986: SWAP1
00001987: SWAP2
00001988: SWAP1
00001989: PUSH4 0xffffffff
0000198e: AND
0000198f: JUMP
00001990: JUMPDEST
00001991: DUP2
00001992: PUSH2 0x1997
00001995: JUMPI
00001996: INVALID
00001997: JUMPDEST
00001998: DIV
00001999: PUSH2 0x373a
0000199c: JUMP
0000199d: JUMPDEST
0000199e: SWAP9
0000199f: POP
000019a0: JUMPDEST
000019a1: PUSH1 0x00
000019a3: DUP10
000019a4: GT
000019a5: PUSH2 0x19f9
000019a8: JUMPI
000019a9: PUSH1 0x40
000019ab: MLOAD
000019ac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019cd: DUP2
000019ce: MSTORE
000019cf: PUSH1 0x04
000019d1: ADD
000019d2: DUP1
000019d3: DUP1
000019d4: PUSH1 0x20
000019d6: ADD
000019d7: DUP3
000019d8: DUP2
000019d9: SUB
000019da: DUP3
000019db: MSTORE
000019dc: PUSH1 0x2a
000019de: DUP2
000019df: MSTORE
000019e0: PUSH1 0x20
000019e2: ADD
000019e3: DUP1
000019e4: PUSH2 0x397c
000019e7: PUSH1 0x2a
000019e9: SWAP2
000019ea: CODECOPY
000019eb: PUSH1 0x40
000019ed: ADD
000019ee: SWAP2
000019ef: POP
000019f0: POP
000019f1: PUSH1 0x40
000019f3: MLOAD
000019f4: DUP1
000019f5: SWAP2
000019f6: SUB
000019f7: SWAP1
000019f8: REVERT
000019f9: JUMPDEST
000019fa: PUSH2 0x1a03
000019fd: DUP11
000019fe: DUP11
000019ff: PUSH2 0x3620
00001a02: JUMP
00001a03: JUMPDEST
00001a04: PUSH2 0x1a0f
00001a07: DUP7
00001a08: DUP7
00001a09: DUP11
00001a0a: DUP11
00001a0b: PUSH2 0x2de0
00001a0e: JUMP
00001a0f: JUMPDEST
00001a10: DUP2
00001a11: ISZERO
00001a12: PUSH2 0x1a87
00001a15: JUMPI
00001a16: PUSH2 0x1a80
00001a19: PUSH1 0x08
00001a1b: PUSH1 0x0e
00001a1d: SWAP1
00001a1e: SLOAD
00001a1f: SWAP1
00001a20: PUSH2 0x0100
00001a23: EXP
00001a24: SWAP1
00001a25: DIV
00001a26: PUSH14 0xffffffffffffffffffffffffffff
00001a35: AND
00001a36: PUSH14 0xffffffffffffffffffffffffffff
00001a45: AND
00001a46: PUSH1 0x08
00001a48: PUSH1 0x00
00001a4a: SWAP1
00001a4b: SLOAD
00001a4c: SWAP1
00001a4d: PUSH2 0x0100
00001a50: EXP
00001a51: SWAP1
00001a52: DIV
00001a53: PUSH14 0xffffffffffffffffffffffffffff
00001a62: AND
00001a63: PUSH14 0xffffffffffffffffffffffffffff
00001a72: AND
00001a73: PUSH2 0x2cc8
00001a76: SWAP1
00001a77: SWAP2
00001a78: SWAP1
00001a79: PUSH4 0xffffffff
00001a7e: AND
00001a7f: JUMP
00001a80: JUMPDEST
00001a81: PUSH1 0x0b
00001a83: DUP2
00001a84: SWAP1
00001a85: SSTORE
00001a86: POP
00001a87: JUMPDEST
00001a88: CALLER
00001a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9e: AND
00001a9f: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
00001ac0: DUP6
00001ac1: DUP6
00001ac2: PUSH1 0x40
00001ac4: MLOAD
00001ac5: DUP1
00001ac6: DUP4
00001ac7: DUP2
00001ac8: MSTORE
00001ac9: PUSH1 0x20
00001acb: ADD
00001acc: DUP3
00001acd: DUP2
00001ace: MSTORE
00001acf: PUSH1 0x20
00001ad1: ADD
00001ad2: SWAP3
00001ad3: POP
00001ad4: POP
00001ad5: POP
00001ad6: PUSH1 0x40
00001ad8: MLOAD
00001ad9: DUP1
00001ada: SWAP2
00001adb: SUB
00001adc: SWAP1
00001add: LOG2
00001ade: POP
00001adf: POP
00001ae0: POP
00001ae1: POP
00001ae2: POP
00001ae3: POP
00001ae4: POP
00001ae5: POP
00001ae6: PUSH1 0x01
00001ae8: PUSH1 0x0c
00001aea: DUP2
00001aeb: SWAP1
00001aec: SSTORE
00001aed: POP
00001aee: SWAP2
00001aef: SWAP1
00001af0: POP
00001af1: JUMP
00001af2: JUMPDEST
00001af3: PUSH1 0x01
00001af5: PUSH1 0x20
00001af7: MSTORE
00001af8: DUP1
00001af9: PUSH1 0x00
00001afb: MSTORE
00001afc: PUSH1 0x40
00001afe: PUSH1 0x00
00001b00: KECCAK256
00001b01: PUSH1 0x00
00001b03: SWAP2
00001b04: POP
00001b05: SWAP1
00001b06: POP
00001b07: SLOAD
00001b08: DUP2
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: PUSH1 0x0b
00001b0d: SLOAD
00001b0e: DUP2
00001b0f: JUMP
00001b10: JUMPDEST
00001b11: PUSH1 0x04
00001b13: PUSH1 0x20
00001b15: MSTORE
00001b16: DUP1
00001b17: PUSH1 0x00
00001b19: MSTORE
00001b1a: PUSH1 0x40
00001b1c: PUSH1 0x00
00001b1e: KECCAK256
00001b1f: PUSH1 0x00
00001b21: SWAP2
00001b22: POP
00001b23: SWAP1
00001b24: POP
00001b25: SLOAD
00001b26: DUP2
00001b27: JUMP
00001b28: JUMPDEST
00001b29: PUSH1 0x00
00001b2b: DUP1
00001b2c: PUSH1 0x01
00001b2e: PUSH1 0x0c
00001b30: SLOAD
00001b31: EQ
00001b32: PUSH2 0x1ba3
00001b35: JUMPI
00001b36: PUSH1 0x40
00001b38: MLOAD
00001b39: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b5a: DUP2
00001b5b: MSTORE
00001b5c: PUSH1 0x04
00001b5e: ADD
00001b5f: DUP1
00001b60: DUP1
00001b61: PUSH1 0x20
00001b63: ADD
00001b64: DUP3
00001b65: DUP2
00001b66: SUB
00001b67: DUP3
00001b68: MSTORE
00001b69: PUSH1 0x13
00001b6b: DUP2
00001b6c: MSTORE
00001b6d: PUSH1 0x20
00001b6f: ADD
00001b70: DUP1
00001b71: PUSH32 0x44656c696f5377617056323a204c4f434b454400000000000000000000000000
00001b92: DUP2
00001b93: MSTORE
00001b94: POP
00001b95: PUSH1 0x20
00001b97: ADD
00001b98: SWAP2
00001b99: POP
00001b9a: POP
00001b9b: PUSH1 0x40
00001b9d: MLOAD
00001b9e: DUP1
00001b9f: SWAP2
00001ba0: SUB
00001ba1: SWAP1
00001ba2: REVERT
00001ba3: JUMPDEST
00001ba4: PUSH1 0x00
00001ba6: PUSH1 0x0c
00001ba8: DUP2
00001ba9: SWAP1
00001baa: SSTORE
00001bab: POP
00001bac: PUSH1 0x00
00001bae: DUP1
00001baf: PUSH2 0x1bb6
00001bb2: PUSH2 0x124f
00001bb5: JUMP
00001bb6: JUMPDEST
00001bb7: POP
00001bb8: SWAP2
00001bb9: POP
00001bba: SWAP2
00001bbb: POP
00001bbc: PUSH1 0x00
00001bbe: PUSH1 0x06
00001bc0: PUSH1 0x00
00001bc2: SWAP1
00001bc3: SLOAD
00001bc4: SWAP1
00001bc5: PUSH2 0x0100
00001bc8: EXP
00001bc9: SWAP1
00001bca: DIV
00001bcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be0: AND
00001be1: SWAP1
00001be2: POP
00001be3: PUSH1 0x00
00001be5: PUSH1 0x07
00001be7: PUSH1 0x00
00001be9: SWAP1
00001bea: SLOAD
00001beb: SWAP1
00001bec: PUSH2 0x0100
00001bef: EXP
00001bf0: SWAP1
00001bf1: DIV
00001bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c07: AND
00001c08: SWAP1
00001c09: POP
00001c0a: PUSH1 0x00
00001c0c: DUP3
00001c0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c22: AND
00001c23: PUSH4 0x70a08231
00001c28: ADDRESS
00001c29: PUSH1 0x40
00001c2b: MLOAD
00001c2c: DUP3
00001c2d: PUSH4 0xffffffff
00001c32: AND
00001c33: PUSH1 0xe0
00001c35: SHL
00001c36: DUP2
00001c37: MSTORE
00001c38: PUSH1 0x04
00001c3a: ADD
00001c3b: DUP1
00001c3c: DUP3
00001c3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c52: AND
00001c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c68: AND
00001c69: DUP2
00001c6a: MSTORE
00001c6b: PUSH1 0x20
00001c6d: ADD
00001c6e: SWAP2
00001c6f: POP
00001c70: POP
00001c71: PUSH1 0x20
00001c73: PUSH1 0x40
00001c75: MLOAD
00001c76: DUP1
00001c77: DUP4
00001c78: SUB
00001c79: DUP2
00001c7a: DUP7
00001c7b: DUP1
00001c7c: EXTCODESIZE
00001c7d: ISZERO
00001c7e: DUP1
00001c7f: ISZERO
00001c80: PUSH2 0x1c88
00001c83: JUMPI
00001c84: PUSH1 0x00
00001c86: DUP1
00001c87: REVERT
00001c88: JUMPDEST
00001c89: POP
00001c8a: GAS
00001c8b: STATICCALL
00001c8c: ISZERO
00001c8d: DUP1
00001c8e: ISZERO
00001c8f: PUSH2 0x1c9c
00001c92: JUMPI
00001c93: RETURNDATASIZE
00001c94: PUSH1 0x00
00001c96: DUP1
00001c97: RETURNDATACOPY
00001c98: RETURNDATASIZE
00001c99: PUSH1 0x00
00001c9b: REVERT
00001c9c: JUMPDEST
00001c9d: POP
00001c9e: POP
00001c9f: POP
00001ca0: POP
00001ca1: PUSH1 0x40
00001ca3: MLOAD
00001ca4: RETURNDATASIZE
00001ca5: PUSH1 0x20
00001ca7: DUP2
00001ca8: LT
00001ca9: ISZERO
00001caa: PUSH2 0x1cb2
00001cad: JUMPI
00001cae: PUSH1 0x00
00001cb0: DUP1
00001cb1: REVERT
00001cb2: JUMPDEST
00001cb3: DUP2
00001cb4: ADD
00001cb5: SWAP1
00001cb6: DUP1
00001cb7: DUP1
00001cb8: MLOAD
00001cb9: SWAP1
00001cba: PUSH1 0x20
00001cbc: ADD
00001cbd: SWAP1
00001cbe: SWAP3
00001cbf: SWAP2
00001cc0: SWAP1
00001cc1: POP
00001cc2: POP
00001cc3: POP
00001cc4: SWAP1
00001cc5: POP
00001cc6: PUSH1 0x00
00001cc8: DUP3
00001cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cde: AND
00001cdf: PUSH4 0x70a08231
00001ce4: ADDRESS
00001ce5: PUSH1 0x40
00001ce7: MLOAD
00001ce8: DUP3
00001ce9: PUSH4 0xffffffff
00001cee: AND
00001cef: PUSH1 0xe0
00001cf1: SHL
00001cf2: DUP2
00001cf3: MSTORE
00001cf4: PUSH1 0x04
00001cf6: ADD
00001cf7: DUP1
00001cf8: DUP3
00001cf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0e: AND
00001d0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d24: AND
00001d25: DUP2
00001d26: MSTORE
00001d27: PUSH1 0x20
00001d29: ADD
00001d2a: SWAP2
00001d2b: POP
00001d2c: POP
00001d2d: PUSH1 0x20
00001d2f: PUSH1 0x40
00001d31: MLOAD
00001d32: DUP1
00001d33: DUP4
00001d34: SUB
00001d35: DUP2
00001d36: DUP7
00001d37: DUP1
00001d38: EXTCODESIZE
00001d39: ISZERO
00001d3a: DUP1
00001d3b: ISZERO
00001d3c: PUSH2 0x1d44
00001d3f: JUMPI
00001d40: PUSH1 0x00
00001d42: DUP1
00001d43: REVERT
00001d44: JUMPDEST
00001d45: POP
00001d46: GAS
00001d47: STATICCALL
00001d48: ISZERO
00001d49: DUP1
00001d4a: ISZERO
00001d4b: PUSH2 0x1d58
00001d4e: JUMPI
00001d4f: RETURNDATASIZE
00001d50: PUSH1 0x00
00001d52: DUP1
00001d53: RETURNDATACOPY
00001d54: RETURNDATASIZE
00001d55: PUSH1 0x00
00001d57: REVERT
00001d58: JUMPDEST
00001d59: POP
00001d5a: POP
00001d5b: POP
00001d5c: POP
00001d5d: PUSH1 0x40
00001d5f: MLOAD
00001d60: RETURNDATASIZE
00001d61: PUSH1 0x20
00001d63: DUP2
00001d64: LT
00001d65: ISZERO
00001d66: PUSH2 0x1d6e
00001d69: JUMPI
00001d6a: PUSH1 0x00
00001d6c: DUP1
00001d6d: REVERT
00001d6e: JUMPDEST
00001d6f: DUP2
00001d70: ADD
00001d71: SWAP1
00001d72: DUP1
00001d73: DUP1
00001d74: MLOAD
00001d75: SWAP1
00001d76: PUSH1 0x20
00001d78: ADD
00001d79: SWAP1
00001d7a: SWAP3
00001d7b: SWAP2
00001d7c: SWAP1
00001d7d: POP
00001d7e: POP
00001d7f: POP
00001d80: SWAP1
00001d81: POP
00001d82: PUSH1 0x00
00001d84: PUSH1 0x01
00001d86: PUSH1 0x00
00001d88: ADDRESS
00001d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9e: AND
00001d9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db4: AND
00001db5: DUP2
00001db6: MSTORE
00001db7: PUSH1 0x20
00001db9: ADD
00001dba: SWAP1
00001dbb: DUP2
00001dbc: MSTORE
00001dbd: PUSH1 0x20
00001dbf: ADD
00001dc0: PUSH1 0x00
00001dc2: KECCAK256
00001dc3: SLOAD
00001dc4: SWAP1
00001dc5: POP
00001dc6: PUSH1 0x00
00001dc8: PUSH2 0x1dd1
00001dcb: DUP9
00001dcc: DUP9
00001dcd: PUSH2 0x33dd
00001dd0: JUMP
00001dd1: JUMPDEST
00001dd2: SWAP1
00001dd3: POP
00001dd4: PUSH1 0x00
00001dd6: DUP1
00001dd7: SLOAD
00001dd8: SWAP1
00001dd9: POP
00001dda: DUP1
00001ddb: PUSH2 0x1ded
00001dde: DUP7
00001ddf: DUP6
00001de0: PUSH2 0x2cc8
00001de3: SWAP1
00001de4: SWAP2
00001de5: SWAP1
00001de6: PUSH4 0xffffffff
00001deb: AND
00001dec: JUMP
00001ded: JUMPDEST
00001dee: DUP2
00001def: PUSH2 0x1df4
00001df2: JUMPI
00001df3: INVALID
00001df4: JUMPDEST
00001df5: DIV
00001df6: SWAP11
00001df7: POP
00001df8: DUP1
00001df9: PUSH2 0x1e0b
00001dfc: DUP6
00001dfd: DUP6
00001dfe: PUSH2 0x2cc8
00001e01: SWAP1
00001e02: SWAP2
00001e03: SWAP1
00001e04: PUSH4 0xffffffff
00001e09: AND
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: DUP2
00001e0d: PUSH2 0x1e12
00001e10: JUMPI
00001e11: INVALID
00001e12: JUMPDEST
00001e13: DIV
00001e14: SWAP10
00001e15: POP
00001e16: PUSH1 0x00
00001e18: DUP12
00001e19: GT
00001e1a: DUP1
00001e1b: ISZERO
00001e1c: PUSH2 0x1e25
00001e1f: JUMPI
00001e20: POP
00001e21: PUSH1 0x00
00001e23: DUP11
00001e24: GT
00001e25: JUMPDEST
00001e26: PUSH2 0x1e7a
00001e29: JUMPI
00001e2a: PUSH1 0x40
00001e2c: MLOAD
00001e2d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e4e: DUP2
00001e4f: MSTORE
00001e50: PUSH1 0x04
00001e52: ADD
00001e53: DUP1
00001e54: DUP1
00001e55: PUSH1 0x20
00001e57: ADD
00001e58: DUP3
00001e59: DUP2
00001e5a: SUB
00001e5b: DUP3
00001e5c: MSTORE
00001e5d: PUSH1 0x2a
00001e5f: DUP2
00001e60: MSTORE
00001e61: PUSH1 0x20
00001e63: ADD
00001e64: DUP1
00001e65: PUSH2 0x39a6
00001e68: PUSH1 0x2a
00001e6a: SWAP2
00001e6b: CODECOPY
00001e6c: PUSH1 0x40
00001e6e: ADD
00001e6f: SWAP2
00001e70: POP
00001e71: POP
00001e72: PUSH1 0x40
00001e74: MLOAD
00001e75: DUP1
00001e76: SWAP2
00001e77: SUB
00001e78: SWAP1
00001e79: REVERT
00001e7a: JUMPDEST
00001e7b: PUSH2 0x1e84
00001e7e: ADDRESS
00001e7f: DUP5
00001e80: PUSH2 0x3753
00001e83: JUMP
00001e84: JUMPDEST
00001e85: PUSH2 0x1e8f
00001e88: DUP8
00001e89: DUP14
00001e8a: DUP14
00001e8b: PUSH2 0x2a7b
00001e8e: JUMP
00001e8f: JUMPDEST
00001e90: PUSH2 0x1e9a
00001e93: DUP7
00001e94: DUP14
00001e95: DUP13
00001e96: PUSH2 0x2a7b
00001e99: JUMP
00001e9a: JUMPDEST
00001e9b: DUP7
00001e9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb1: AND
00001eb2: PUSH4 0x70a08231
00001eb7: ADDRESS
00001eb8: PUSH1 0x40
00001eba: MLOAD
00001ebb: DUP3
00001ebc: PUSH4 0xffffffff
00001ec1: AND
00001ec2: PUSH1 0xe0
00001ec4: SHL
00001ec5: DUP2
00001ec6: MSTORE
00001ec7: PUSH1 0x04
00001ec9: ADD
00001eca: DUP1
00001ecb: DUP3
00001ecc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee1: AND
00001ee2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef7: AND
00001ef8: DUP2
00001ef9: MSTORE
00001efa: PUSH1 0x20
00001efc: ADD
00001efd: SWAP2
00001efe: POP
00001eff: POP
00001f00: PUSH1 0x20
00001f02: PUSH1 0x40
00001f04: MLOAD
00001f05: DUP1
00001f06: DUP4
00001f07: SUB
00001f08: DUP2
00001f09: DUP7
00001f0a: DUP1
00001f0b: EXTCODESIZE
00001f0c: ISZERO
00001f0d: DUP1
00001f0e: ISZERO
00001f0f: PUSH2 0x1f17
00001f12: JUMPI
00001f13: PUSH1 0x00
00001f15: DUP1
00001f16: REVERT
00001f17: JUMPDEST
00001f18: POP
00001f19: GAS
00001f1a: STATICCALL
00001f1b: ISZERO
00001f1c: DUP1
00001f1d: ISZERO
00001f1e: PUSH2 0x1f2b
00001f21: JUMPI
00001f22: RETURNDATASIZE
00001f23: PUSH1 0x00
00001f25: DUP1
00001f26: RETURNDATACOPY
00001f27: RETURNDATASIZE
00001f28: PUSH1 0x00
00001f2a: REVERT
00001f2b: JUMPDEST
00001f2c: POP
00001f2d: POP
00001f2e: POP
00001f2f: POP
00001f30: PUSH1 0x40
00001f32: MLOAD
00001f33: RETURNDATASIZE
00001f34: PUSH1 0x20
00001f36: DUP2
00001f37: LT
00001f38: ISZERO
00001f39: PUSH2 0x1f41
00001f3c: JUMPI
00001f3d: PUSH1 0x00
00001f3f: DUP1
00001f40: REVERT
00001f41: JUMPDEST
00001f42: DUP2
00001f43: ADD
00001f44: SWAP1
00001f45: DUP1
00001f46: DUP1
00001f47: MLOAD
00001f48: SWAP1
00001f49: PUSH1 0x20
00001f4b: ADD
00001f4c: SWAP1
00001f4d: SWAP3
00001f4e: SWAP2
00001f4f: SWAP1
00001f50: POP
00001f51: POP
00001f52: POP
00001f53: SWAP5
00001f54: POP
00001f55: DUP6
00001f56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6b: AND
00001f6c: PUSH4 0x70a08231
00001f71: ADDRESS
00001f72: PUSH1 0x40
00001f74: MLOAD
00001f75: DUP3
00001f76: PUSH4 0xffffffff
00001f7b: AND
00001f7c: PUSH1 0xe0
00001f7e: SHL
00001f7f: DUP2
00001f80: MSTORE
00001f81: PUSH1 0x04
00001f83: ADD
00001f84: DUP1
00001f85: DUP3
00001f86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9b: AND
00001f9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb1: AND
00001fb2: DUP2
00001fb3: MSTORE
00001fb4: PUSH1 0x20
00001fb6: ADD
00001fb7: SWAP2
00001fb8: POP
00001fb9: POP
00001fba: PUSH1 0x20
00001fbc: PUSH1 0x40
00001fbe: MLOAD
00001fbf: DUP1
00001fc0: DUP4
00001fc1: SUB
00001fc2: DUP2
00001fc3: DUP7
00001fc4: DUP1
00001fc5: EXTCODESIZE
00001fc6: ISZERO
00001fc7: DUP1
00001fc8: ISZERO
00001fc9: PUSH2 0x1fd1
00001fcc: JUMPI
00001fcd: PUSH1 0x00
00001fcf: DUP1
00001fd0: REVERT
00001fd1: JUMPDEST
00001fd2: POP
00001fd3: GAS
00001fd4: STATICCALL
00001fd5: ISZERO
00001fd6: DUP1
00001fd7: ISZERO
00001fd8: PUSH2 0x1fe5
00001fdb: JUMPI
00001fdc: RETURNDATASIZE
00001fdd: PUSH1 0x00
00001fdf: DUP1
00001fe0: RETURNDATACOPY
00001fe1: RETURNDATASIZE
00001fe2: PUSH1 0x00
00001fe4: REVERT
00001fe5: JUMPDEST
00001fe6: POP
00001fe7: POP
00001fe8: POP
00001fe9: POP
00001fea: PUSH1 0x40
00001fec: MLOAD
00001fed: RETURNDATASIZE
00001fee: PUSH1 0x20
00001ff0: DUP2
00001ff1: LT
00001ff2: ISZERO
00001ff3: PUSH2 0x1ffb
00001ff6: JUMPI
00001ff7: PUSH1 0x00
00001ff9: DUP1
00001ffa: REVERT
00001ffb: JUMPDEST
00001ffc: DUP2
00001ffd: ADD
00001ffe: SWAP1
00001fff: DUP1
00002000: DUP1
00002001: MLOAD
00002002: SWAP1
00002003: PUSH1 0x20
00002005: ADD
00002006: SWAP1
00002007: SWAP3
00002008: SWAP2
00002009: SWAP1
0000200a: POP
0000200b: POP
0000200c: POP
0000200d: SWAP4
0000200e: POP
0000200f: PUSH2 0x201a
00002012: DUP6
00002013: DUP6
00002014: DUP12
00002015: DUP12
00002016: PUSH2 0x2de0
00002019: JUMP
0000201a: JUMPDEST
0000201b: DUP2
0000201c: ISZERO
0000201d: PUSH2 0x2092
00002020: JUMPI
00002021: PUSH2 0x208b
00002024: PUSH1 0x08
00002026: PUSH1 0x0e
00002028: SWAP1
00002029: SLOAD
0000202a: SWAP1
0000202b: PUSH2 0x0100
0000202e: EXP
0000202f: SWAP1
00002030: DIV
00002031: PUSH14 0xffffffffffffffffffffffffffff
00002040: AND
00002041: PUSH14 0xffffffffffffffffffffffffffff
00002050: AND
00002051: PUSH1 0x08
00002053: PUSH1 0x00
00002055: SWAP1
00002056: SLOAD
00002057: SWAP1
00002058: PUSH2 0x0100
0000205b: EXP
0000205c: SWAP1
0000205d: DIV
0000205e: PUSH14 0xffffffffffffffffffffffffffff
0000206d: AND
0000206e: PUSH14 0xffffffffffffffffffffffffffff
0000207d: AND
0000207e: PUSH2 0x2cc8
00002081: SWAP1
00002082: SWAP2
00002083: SWAP1
00002084: PUSH4 0xffffffff
00002089: AND
0000208a: JUMP
0000208b: JUMPDEST
0000208c: PUSH1 0x0b
0000208e: DUP2
0000208f: SWAP1
00002090: SSTORE
00002091: POP
00002092: JUMPDEST
00002093: DUP12
00002094: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a9: AND
000020aa: CALLER
000020ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c0: AND
000020c1: PUSH32 0xdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496
000020e2: DUP14
000020e3: DUP14
000020e4: PUSH1 0x40
000020e6: MLOAD
000020e7: DUP1
000020e8: DUP4
000020e9: DUP2
000020ea: MSTORE
000020eb: PUSH1 0x20
000020ed: ADD
000020ee: DUP3
000020ef: DUP2
000020f0: MSTORE
000020f1: PUSH1 0x20
000020f3: ADD
000020f4: SWAP3
000020f5: POP
000020f6: POP
000020f7: POP
000020f8: PUSH1 0x40
000020fa: MLOAD
000020fb: DUP1
000020fc: SWAP2
000020fd: SUB
000020fe: SWAP1
000020ff: LOG3
00002100: POP
00002101: POP
00002102: POP
00002103: POP
00002104: POP
00002105: POP
00002106: POP
00002107: POP
00002108: POP
00002109: PUSH1 0x01
0000210b: PUSH1 0x0c
0000210d: DUP2
0000210e: SWAP1
0000210f: SSTORE
00002110: POP
00002111: SWAP2
00002112: POP
00002113: SWAP2
00002114: JUMP
00002115: JUMPDEST
00002116: PUSH1 0x40
00002118: MLOAD
00002119: DUP1
0000211a: PUSH1 0x40
0000211c: ADD
0000211d: PUSH1 0x40
0000211f: MSTORE
00002120: DUP1
00002121: PUSH1 0x06
00002123: DUP2
00002124: MSTORE
00002125: PUSH1 0x20
00002127: ADD
00002128: PUSH32 0x4453502d56320000000000000000000000000000000000000000000000000000
00002149: DUP2
0000214a: MSTORE
0000214b: POP
0000214c: DUP2
0000214d: JUMP
0000214e: JUMPDEST
0000214f: PUSH1 0x00
00002151: PUSH2 0x215b
00002154: CALLER
00002155: DUP5
00002156: DUP5
00002157: PUSH2 0x3249
0000215a: JUMP
0000215b: JUMPDEST
0000215c: PUSH1 0x01
0000215e: SWAP1
0000215f: POP
00002160: SWAP3
00002161: SWAP2
00002162: POP
00002163: POP
00002164: JUMP
00002165: JUMPDEST
00002166: PUSH2 0x03e8
00002169: DUP2
0000216a: JUMP
0000216b: JUMPDEST
0000216c: PUSH1 0x01
0000216e: PUSH1 0x0c
00002170: SLOAD
00002171: EQ
00002172: PUSH2 0x21e3
00002175: JUMPI
00002176: PUSH1 0x40
00002178: MLOAD
00002179: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000219a: DUP2
0000219b: MSTORE
0000219c: PUSH1 0x04
0000219e: ADD
0000219f: DUP1
000021a0: DUP1
000021a1: PUSH1 0x20
000021a3: ADD
000021a4: DUP3
000021a5: DUP2
000021a6: SUB
000021a7: DUP3
000021a8: MSTORE
000021a9: PUSH1 0x13
000021ab: DUP2
000021ac: MSTORE
000021ad: PUSH1 0x20
000021af: ADD
000021b0: DUP1
000021b1: PUSH32 0x44656c696f5377617056323a204c4f434b454400000000000000000000000000
000021d2: DUP2
000021d3: MSTORE
000021d4: POP
000021d5: PUSH1 0x20
000021d7: ADD
000021d8: SWAP2
000021d9: POP
000021da: POP
000021db: PUSH1 0x40
000021dd: MLOAD
000021de: DUP1
000021df: SWAP2
000021e0: SUB
000021e1: SWAP1
000021e2: REVERT
000021e3: JUMPDEST
000021e4: PUSH1 0x00
000021e6: PUSH1 0x0c
000021e8: DUP2
000021e9: SWAP1
000021ea: SSTORE
000021eb: POP
000021ec: PUSH1 0x00
000021ee: PUSH1 0x06
000021f0: PUSH1 0x00
000021f2: SWAP1
000021f3: SLOAD
000021f4: SWAP1
000021f5: PUSH2 0x0100
000021f8: EXP
000021f9: SWAP1
000021fa: DIV
000021fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002210: AND
00002211: SWAP1
00002212: POP
00002213: PUSH1 0x00
00002215: PUSH1 0x07
00002217: PUSH1 0x00
00002219: SWAP1
0000221a: SLOAD
0000221b: SWAP1
0000221c: PUSH2 0x0100
0000221f: EXP
00002220: SWAP1
00002221: DIV
00002222: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002237: AND
00002238: SWAP1
00002239: POP
0000223a: PUSH2 0x2339
0000223d: DUP3
0000223e: DUP5
0000223f: PUSH2 0x2334
00002242: PUSH1 0x08
00002244: PUSH1 0x00
00002246: SWAP1
00002247: SLOAD
00002248: SWAP1
00002249: PUSH2 0x0100
0000224c: EXP
0000224d: SWAP1
0000224e: DIV
0000224f: PUSH14 0xffffffffffffffffffffffffffff
0000225e: AND
0000225f: PUSH14 0xffffffffffffffffffffffffffff
0000226e: AND
0000226f: DUP7
00002270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002285: AND
00002286: PUSH4 0x70a08231
0000228b: ADDRESS
0000228c: PUSH1 0x40
0000228e: MLOAD
0000228f: DUP3
00002290: PUSH4 0xffffffff
00002295: AND
00002296: PUSH1 0xe0
00002298: SHL
00002299: DUP2
0000229a: MSTORE
0000229b: PUSH1 0x04
0000229d: ADD
0000229e: DUP1
0000229f: DUP3
000022a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022b5: AND
000022b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022cb: AND
000022cc: DUP2
000022cd: MSTORE
000022ce: PUSH1 0x20
000022d0: ADD
000022d1: SWAP2
000022d2: POP
000022d3: POP
000022d4: PUSH1 0x20
000022d6: PUSH1 0x40
000022d8: MLOAD
000022d9: DUP1
000022da: DUP4
000022db: SUB
000022dc: DUP2
000022dd: DUP7
000022de: DUP1
000022df: EXTCODESIZE
000022e0: ISZERO
000022e1: DUP1
000022e2: ISZERO
000022e3: PUSH2 0x22eb
000022e6: JUMPI
000022e7: PUSH1 0x00
000022e9: DUP1
000022ea: REVERT
000022eb: JUMPDEST
000022ec: POP
000022ed: GAS
000022ee: STATICCALL
000022ef: ISZERO
000022f0: DUP1
000022f1: ISZERO
000022f2: PUSH2 0x22ff
000022f5: JUMPI
000022f6: RETURNDATASIZE
000022f7: PUSH1 0x00
000022f9: DUP1
000022fa: RETURNDATACOPY
000022fb: RETURNDATASIZE
000022fc: PUSH1 0x00
000022fe: REVERT
000022ff: JUMPDEST
00002300: POP
00002301: POP
00002302: POP
00002303: POP
00002304: PUSH1 0x40
00002306: MLOAD
00002307: RETURNDATASIZE
00002308: PUSH1 0x20
0000230a: DUP2
0000230b: LT
0000230c: ISZERO
0000230d: PUSH2 0x2315
00002310: JUMPI
00002311: PUSH1 0x00
00002313: DUP1
00002314: REVERT
00002315: JUMPDEST
00002316: DUP2
00002317: ADD
00002318: SWAP1
00002319: DUP1
0000231a: DUP1
0000231b: MLOAD
0000231c: SWAP1
0000231d: PUSH1 0x20
0000231f: ADD
00002320: SWAP1
00002321: SWAP3
00002322: SWAP2
00002323: SWAP1
00002324: POP
00002325: POP
00002326: POP
00002327: PUSH2 0x2d5d
0000232a: SWAP1
0000232b: SWAP2
0000232c: SWAP1
0000232d: PUSH4 0xffffffff
00002332: AND
00002333: JUMP
00002334: JUMPDEST
00002335: PUSH2 0x2a7b
00002338: JUMP
00002339: JUMPDEST
0000233a: PUSH2 0x2439
0000233d: DUP2
0000233e: DUP5
0000233f: PUSH2 0x2434
00002342: PUSH1 0x08
00002344: PUSH1 0x0e
00002346: SWAP1
00002347: SLOAD
00002348: SWAP1
00002349: PUSH2 0x0100
0000234c: EXP
0000234d: SWAP1
0000234e: DIV
0000234f: PUSH14 0xffffffffffffffffffffffffffff
0000235e: AND
0000235f: PUSH14 0xffffffffffffffffffffffffffff
0000236e: AND
0000236f: DUP6
00002370: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002385: AND
00002386: PUSH4 0x70a08231
0000238b: ADDRESS
0000238c: PUSH1 0x40
0000238e: MLOAD
0000238f: DUP3
00002390: PUSH4 0xffffffff
00002395: AND
00002396: PUSH1 0xe0
00002398: SHL
00002399: DUP2
0000239a: MSTORE
0000239b: PUSH1 0x04
0000239d: ADD
0000239e: DUP1
0000239f: DUP3
000023a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b5: AND
000023b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023cb: AND
000023cc: DUP2
000023cd: MSTORE
000023ce: PUSH1 0x20
000023d0: ADD
000023d1: SWAP2
000023d2: POP
000023d3: POP
000023d4: PUSH1 0x20
000023d6: PUSH1 0x40
000023d8: MLOAD
000023d9: DUP1
000023da: DUP4
000023db: SUB
000023dc: DUP2
000023dd: DUP7
000023de: DUP1
000023df: EXTCODESIZE
000023e0: ISZERO
000023e1: DUP1
000023e2: ISZERO
000023e3: PUSH2 0x23eb
000023e6: JUMPI
000023e7: PUSH1 0x00
000023e9: DUP1
000023ea: REVERT
000023eb: JUMPDEST
000023ec: POP
000023ed: GAS
000023ee: STATICCALL
000023ef: ISZERO
000023f0: DUP1
000023f1: ISZERO
000023f2: PUSH2 0x23ff
000023f5: JUMPI
000023f6: RETURNDATASIZE
000023f7: PUSH1 0x00
000023f9: DUP1
000023fa: RETURNDATACOPY
000023fb: RETURNDATASIZE
000023fc: PUSH1 0x00
000023fe: REVERT
000023ff: JUMPDEST
00002400: POP
00002401: POP
00002402: POP
00002403: POP
00002404: PUSH1 0x40
00002406: MLOAD
00002407: RETURNDATASIZE
00002408: PUSH1 0x20
0000240a: DUP2
0000240b: LT
0000240c: ISZERO
0000240d: PUSH2 0x2415
00002410: JUMPI
00002411: PUSH1 0x00
00002413: DUP1
00002414: REVERT
00002415: JUMPDEST
00002416: DUP2
00002417: ADD
00002418: SWAP1
00002419: DUP1
0000241a: DUP1
0000241b: MLOAD
0000241c: SWAP1
0000241d: PUSH1 0x20
0000241f: ADD
00002420: SWAP1
00002421: SWAP3
00002422: SWAP2
00002423: SWAP1
00002424: POP
00002425: POP
00002426: POP
00002427: PUSH2 0x2d5d
0000242a: SWAP1
0000242b: SWAP2
0000242c: SWAP1
0000242d: PUSH4 0xffffffff
00002432: AND
00002433: JUMP
00002434: JUMPDEST
00002435: PUSH2 0x2a7b
00002438: JUMP
00002439: JUMPDEST
0000243a: POP
0000243b: POP
0000243c: PUSH1 0x01
0000243e: PUSH1 0x0c
00002440: DUP2
00002441: SWAP1
00002442: SSTORE
00002443: POP
00002444: POP
00002445: JUMP
00002446: JUMPDEST
00002447: PUSH1 0x05
00002449: PUSH1 0x00
0000244b: SWAP1
0000244c: SLOAD
0000244d: SWAP1
0000244e: PUSH2 0x0100
00002451: EXP
00002452: SWAP1
00002453: DIV
00002454: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002469: AND
0000246a: DUP2
0000246b: JUMP
0000246c: JUMPDEST
0000246d: PUSH1 0x07
0000246f: PUSH1 0x00
00002471: SWAP1
00002472: SLOAD
00002473: SWAP1
00002474: PUSH2 0x0100
00002477: EXP
00002478: SWAP1
00002479: DIV
0000247a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000248f: AND
00002490: DUP2
00002491: JUMP
00002492: JUMPDEST
00002493: TIMESTAMP
00002494: DUP5
00002495: LT
00002496: ISZERO
00002497: PUSH2 0x2508
0000249a: JUMPI
0000249b: PUSH1 0x40
0000249d: MLOAD
0000249e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024bf: DUP2
000024c0: MSTORE
000024c1: PUSH1 0x04
000024c3: ADD
000024c4: DUP1
000024c5: DUP1
000024c6: PUSH1 0x20
000024c8: ADD
000024c9: DUP3
000024ca: DUP2
000024cb: SUB
000024cc: DUP3
000024cd: MSTORE
000024ce: PUSH1 0x14
000024d0: DUP2
000024d1: MSTORE
000024d2: PUSH1 0x20
000024d4: ADD
000024d5: DUP1
000024d6: PUSH32 0x44656c696f5377617056323a2045585049524544000000000000000000000000
000024f7: DUP2
000024f8: MSTORE
000024f9: POP
000024fa: PUSH1 0x20
000024fc: ADD
000024fd: SWAP2
000024fe: POP
000024ff: POP
00002500: PUSH1 0x40
00002502: MLOAD
00002503: DUP1
00002504: SWAP2
00002505: SUB
00002506: SWAP1
00002507: REVERT
00002508: JUMPDEST
00002509: PUSH1 0x00
0000250b: PUSH1 0x03
0000250d: SLOAD
0000250e: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
0000252f: PUSH1 0x00
00002531: SHL
00002532: DUP10
00002533: DUP10
00002534: DUP10
00002535: PUSH1 0x04
00002537: PUSH1 0x00
00002539: DUP15
0000253a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000254f: AND
00002550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002565: AND
00002566: DUP2
00002567: MSTORE
00002568: PUSH1 0x20
0000256a: ADD
0000256b: SWAP1
0000256c: DUP2
0000256d: MSTORE
0000256e: PUSH1 0x20
00002570: ADD
00002571: PUSH1 0x00
00002573: KECCAK256
00002574: PUSH1 0x00
00002576: DUP2
00002577: SLOAD
00002578: DUP1
00002579: SWAP3
0000257a: SWAP2
0000257b: SWAP1
0000257c: PUSH1 0x01
0000257e: ADD
0000257f: SWAP2
00002580: SWAP1
00002581: POP
00002582: SSTORE
00002583: DUP11
00002584: PUSH1 0x40
00002586: MLOAD
00002587: PUSH1 0x20
00002589: ADD
0000258a: DUP1
0000258b: DUP8
0000258c: DUP2
0000258d: MSTORE
0000258e: PUSH1 0x20
00002590: ADD
00002591: DUP7
00002592: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025a7: AND
000025a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025bd: AND
000025be: DUP2
000025bf: MSTORE
000025c0: PUSH1 0x20
000025c2: ADD
000025c3: DUP6
000025c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d9: AND
000025da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ef: AND
000025f0: DUP2
000025f1: MSTORE
000025f2: PUSH1 0x20
000025f4: ADD
000025f5: DUP5
000025f6: DUP2
000025f7: MSTORE
000025f8: PUSH1 0x20
000025fa: ADD
000025fb: DUP4
000025fc: DUP2
000025fd: MSTORE
000025fe: PUSH1 0x20
00002600: ADD
00002601: DUP3
00002602: DUP2
00002603: MSTORE
00002604: PUSH1 0x20
00002606: ADD
00002607: SWAP7
00002608: POP
00002609: POP
0000260a: POP
0000260b: POP
0000260c: POP
0000260d: POP
0000260e: POP
0000260f: PUSH1 0x40
00002611: MLOAD
00002612: PUSH1 0x20
00002614: DUP2
00002615: DUP4
00002616: SUB
00002617: SUB
00002618: DUP2
00002619: MSTORE
0000261a: SWAP1
0000261b: PUSH1 0x40
0000261d: MSTORE
0000261e: DUP1
0000261f: MLOAD
00002620: SWAP1
00002621: PUSH1 0x20
00002623: ADD
00002624: KECCAK256
00002625: PUSH1 0x40
00002627: MLOAD
00002628: PUSH1 0x20
0000262a: ADD
0000262b: DUP1
0000262c: DUP1
0000262d: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
0000264e: DUP2
0000264f: MSTORE
00002650: POP
00002651: PUSH1 0x02
00002653: ADD
00002654: DUP4
00002655: DUP2
00002656: MSTORE
00002657: PUSH1 0x20
00002659: ADD
0000265a: DUP3
0000265b: DUP2
0000265c: MSTORE
0000265d: PUSH1 0x20
0000265f: ADD
00002660: SWAP3
00002661: POP
00002662: POP
00002663: POP
00002664: PUSH1 0x40
00002666: MLOAD
00002667: PUSH1 0x20
00002669: DUP2
0000266a: DUP4
0000266b: SUB
0000266c: SUB
0000266d: DUP2
0000266e: MSTORE
0000266f: SWAP1
00002670: PUSH1 0x40
00002672: MSTORE
00002673: DUP1
00002674: MLOAD
00002675: SWAP1
00002676: PUSH1 0x20
00002678: ADD
00002679: KECCAK256
0000267a: SWAP1
0000267b: POP
0000267c: PUSH1 0x00
0000267e: PUSH1 0x01
00002680: DUP3
00002681: DUP7
00002682: DUP7
00002683: DUP7
00002684: PUSH1 0x40
00002686: MLOAD
00002687: PUSH1 0x00
00002689: DUP2
0000268a: MSTORE
0000268b: PUSH1 0x20
0000268d: ADD
0000268e: PUSH1 0x40
00002690: MSTORE
00002691: PUSH1 0x40
00002693: MLOAD
00002694: DUP1
00002695: DUP6
00002696: DUP2
00002697: MSTORE
00002698: PUSH1 0x20
0000269a: ADD
0000269b: DUP5
0000269c: PUSH1 0xff
0000269e: AND
0000269f: PUSH1 0xff
000026a1: AND
000026a2: DUP2
000026a3: MSTORE
000026a4: PUSH1 0x20
000026a6: ADD
000026a7: DUP4
000026a8: DUP2
000026a9: MSTORE
000026aa: PUSH1 0x20
000026ac: ADD
000026ad: DUP3
000026ae: DUP2
000026af: MSTORE
000026b0: PUSH1 0x20
000026b2: ADD
000026b3: SWAP5
000026b4: POP
000026b5: POP
000026b6: POP
000026b7: POP
000026b8: POP
000026b9: PUSH1 0x20
000026bb: PUSH1 0x40
000026bd: MLOAD
000026be: PUSH1 0x20
000026c0: DUP2
000026c1: SUB
000026c2: SWAP1
000026c3: DUP1
000026c4: DUP5
000026c5: SUB
000026c6: SWAP1
000026c7: DUP6
000026c8: GAS
000026c9: STATICCALL
000026ca: ISZERO
000026cb: DUP1
000026cc: ISZERO
000026cd: PUSH2 0x26da
000026d0: JUMPI
000026d1: RETURNDATASIZE
000026d2: PUSH1 0x00
000026d4: DUP1
000026d5: RETURNDATACOPY
000026d6: RETURNDATASIZE
000026d7: PUSH1 0x00
000026d9: REVERT
000026da: JUMPDEST
000026db: POP
000026dc: POP
000026dd: POP
000026de: PUSH1 0x20
000026e0: PUSH1 0x40
000026e2: MLOAD
000026e3: SUB
000026e4: MLOAD
000026e5: SWAP1
000026e6: POP
000026e7: PUSH1 0x00
000026e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026fe: AND
000026ff: DUP2
00002700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002715: AND
00002716: EQ
00002717: ISZERO
00002718: DUP1
00002719: ISZERO
0000271a: PUSH2 0x274e
0000271d: JUMPI
0000271e: POP
0000271f: DUP9
00002720: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002735: AND
00002736: DUP2
00002737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000274c: AND
0000274d: EQ
0000274e: JUMPDEST
0000274f: PUSH2 0x27c0
00002752: JUMPI
00002753: PUSH1 0x40
00002755: MLOAD
00002756: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002777: DUP2
00002778: MSTORE
00002779: PUSH1 0x04
0000277b: ADD
0000277c: DUP1
0000277d: DUP1
0000277e: PUSH1 0x20
00002780: ADD
00002781: DUP3
00002782: DUP2
00002783: SUB
00002784: DUP3
00002785: MSTORE
00002786: PUSH1 0x1e
00002788: DUP2
00002789: MSTORE
0000278a: PUSH1 0x20
0000278c: ADD
0000278d: DUP1
0000278e: PUSH32 0x44656c696f5377617056323a20494e56414c49445f5349474e41545552450000
000027af: DUP2
000027b0: MSTORE
000027b1: POP
000027b2: PUSH1 0x20
000027b4: ADD
000027b5: SWAP2
000027b6: POP
000027b7: POP
000027b8: PUSH1 0x40
000027ba: MLOAD
000027bb: DUP1
000027bc: SWAP2
000027bd: SUB
000027be: SWAP1
000027bf: REVERT
000027c0: JUMPDEST
000027c1: PUSH2 0x27cb
000027c4: DUP10
000027c5: DUP10
000027c6: DUP10
000027c7: PUSH2 0x315e
000027ca: JUMP
000027cb: JUMPDEST
000027cc: POP
000027cd: POP
000027ce: POP
000027cf: POP
000027d0: POP
000027d1: POP
000027d2: POP
000027d3: POP
000027d4: POP
000027d5: JUMP
000027d6: JUMPDEST
000027d7: PUSH1 0x02
000027d9: PUSH1 0x20
000027db: MSTORE
000027dc: DUP2
000027dd: PUSH1 0x00
000027df: MSTORE
000027e0: PUSH1 0x40
000027e2: PUSH1 0x00
000027e4: KECCAK256
000027e5: PUSH1 0x20
000027e7: MSTORE
000027e8: DUP1
000027e9: PUSH1 0x00
000027eb: MSTORE
000027ec: PUSH1 0x40
000027ee: PUSH1 0x00
000027f0: KECCAK256
000027f1: PUSH1 0x00
000027f3: SWAP2
000027f4: POP
000027f5: SWAP2
000027f6: POP
000027f7: POP
000027f8: SLOAD
000027f9: DUP2
000027fa: JUMP
000027fb: JUMPDEST
000027fc: PUSH1 0x01
000027fe: PUSH1 0x0c
00002800: SLOAD
00002801: EQ
00002802: PUSH2 0x2873
00002805: JUMPI
00002806: PUSH1 0x40
00002808: MLOAD
00002809: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000282a: DUP2
0000282b: MSTORE
0000282c: PUSH1 0x04
0000282e: ADD
0000282f: DUP1
00002830: DUP1
00002831: PUSH1 0x20
00002833: ADD
00002834: DUP3
00002835: DUP2
00002836: SUB
00002837: DUP3
00002838: MSTORE
00002839: PUSH1 0x13
0000283b: DUP2
0000283c: MSTORE
0000283d: PUSH1 0x20
0000283f: ADD
00002840: DUP1
00002841: PUSH32 0x44656c696f5377617056323a204c4f434b454400000000000000000000000000
00002862: DUP2
00002863: MSTORE
00002864: POP
00002865: PUSH1 0x20
00002867: ADD
00002868: SWAP2
00002869: POP
0000286a: POP
0000286b: PUSH1 0x40
0000286d: MLOAD
0000286e: DUP1
0000286f: SWAP2
00002870: SUB
00002871: SWAP1
00002872: REVERT
00002873: JUMPDEST
00002874: PUSH1 0x00
00002876: PUSH1 0x0c
00002878: DUP2
00002879: SWAP1
0000287a: SSTORE
0000287b: POP
0000287c: PUSH2 0x2a71
0000287f: PUSH1 0x06
00002881: PUSH1 0x00
00002883: SWAP1
00002884: SLOAD
00002885: SWAP1
00002886: PUSH2 0x0100
00002889: EXP
0000288a: SWAP1
0000288b: DIV
0000288c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028a1: AND
000028a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028b7: AND
000028b8: PUSH4 0x70a08231
000028bd: ADDRESS
000028be: PUSH1 0x40
000028c0: MLOAD
000028c1: DUP3
000028c2: PUSH4 0xffffffff
000028c7: AND
000028c8: PUSH1 0xe0
000028ca: SHL
000028cb: DUP2
000028cc: MSTORE
000028cd: PUSH1 0x04
000028cf: ADD
000028d0: DUP1
000028d1: DUP3
000028d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e7: AND
000028e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028fd: AND
000028fe: DUP2
000028ff: MSTORE
00002900: PUSH1 0x20
00002902: ADD
00002903: SWAP2
00002904: POP
00002905: POP
00002906: PUSH1 0x20
00002908: PUSH1 0x40
0000290a: MLOAD
0000290b: DUP1
0000290c: DUP4
0000290d: SUB
0000290e: DUP2
0000290f: DUP7
00002910: DUP1
00002911: EXTCODESIZE
00002912: ISZERO
00002913: DUP1
00002914: ISZERO
00002915: PUSH2 0x291d
00002918: JUMPI
00002919: PUSH1 0x00
0000291b: DUP1
0000291c: REVERT
0000291d: JUMPDEST
0000291e: POP
0000291f: GAS
00002920: STATICCALL
00002921: ISZERO
00002922: DUP1
00002923: ISZERO
00002924: PUSH2 0x2931
00002927: JUMPI
00002928: RETURNDATASIZE
00002929: PUSH1 0x00
0000292b: DUP1
0000292c: RETURNDATACOPY
0000292d: RETURNDATASIZE
0000292e: PUSH1 0x00
00002930: REVERT
00002931: JUMPDEST
00002932: POP
00002933: POP
00002934: POP
00002935: POP
00002936: PUSH1 0x40
00002938: MLOAD
00002939: RETURNDATASIZE
0000293a: PUSH1 0x20
0000293c: DUP2
0000293d: LT
0000293e: ISZERO
0000293f: PUSH2 0x2947
00002942: JUMPI
00002943: PUSH1 0x00
00002945: DUP1
00002946: REVERT
00002947: JUMPDEST
00002948: DUP2
00002949: ADD
0000294a: SWAP1
0000294b: DUP1
0000294c: DUP1
0000294d: MLOAD
0000294e: SWAP1
0000294f: PUSH1 0x20
00002951: ADD
00002952: SWAP1
00002953: SWAP3
00002954: SWAP2
00002955: SWAP1
00002956: POP
00002957: POP
00002958: POP
00002959: PUSH1 0x07
0000295b: PUSH1 0x00
0000295d: SWAP1
0000295e: SLOAD
0000295f: SWAP1
00002960: PUSH2 0x0100
00002963: EXP
00002964: SWAP1
00002965: DIV
00002966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000297b: AND
0000297c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002991: AND
00002992: PUSH4 0x70a08231
00002997: ADDRESS
00002998: PUSH1 0x40
0000299a: MLOAD
0000299b: DUP3
0000299c: PUSH4 0xffffffff
000029a1: AND
000029a2: PUSH1 0xe0
000029a4: SHL
000029a5: DUP2
000029a6: MSTORE
000029a7: PUSH1 0x04
000029a9: ADD
000029aa: DUP1
000029ab: DUP3
000029ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029c1: AND
000029c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029d7: AND
000029d8: DUP2
000029d9: MSTORE
000029da: PUSH1 0x20
000029dc: ADD
000029dd: SWAP2
000029de: POP
000029df: POP
000029e0: PUSH1 0x20
000029e2: PUSH1 0x40
000029e4: MLOAD
000029e5: DUP1
000029e6: DUP4
000029e7: SUB
000029e8: DUP2
000029e9: DUP7
000029ea: DUP1
000029eb: EXTCODESIZE
000029ec: ISZERO
000029ed: DUP1
000029ee: ISZERO
000029ef: PUSH2 0x29f7
000029f2: JUMPI
000029f3: PUSH1 0x00
000029f5: DUP1
000029f6: REVERT
000029f7: JUMPDEST
000029f8: POP
000029f9: GAS
000029fa: STATICCALL
000029fb: ISZERO
000029fc: DUP1
000029fd: ISZERO
000029fe: PUSH2 0x2a0b
00002a01: JUMPI
00002a02: RETURNDATASIZE
00002a03: PUSH1 0x00
00002a05: DUP1
00002a06: RETURNDATACOPY
00002a07: RETURNDATASIZE
00002a08: PUSH1 0x00
00002a0a: REVERT
00002a0b: JUMPDEST
00002a0c: POP
00002a0d: POP
00002a0e: POP
00002a0f: POP
00002a10: PUSH1 0x40
00002a12: MLOAD
00002a13: RETURNDATASIZE
00002a14: PUSH1 0x20
00002a16: DUP2
00002a17: LT
00002a18: ISZERO
00002a19: PUSH2 0x2a21
00002a1c: JUMPI
00002a1d: PUSH1 0x00
00002a1f: DUP1
00002a20: REVERT
00002a21: JUMPDEST
00002a22: DUP2
00002a23: ADD
00002a24: SWAP1
00002a25: DUP1
00002a26: DUP1
00002a27: MLOAD
00002a28: SWAP1
00002a29: PUSH1 0x20
00002a2b: ADD
00002a2c: SWAP1
00002a2d: SWAP3
00002a2e: SWAP2
00002a2f: SWAP1
00002a30: POP
00002a31: POP
00002a32: POP
00002a33: PUSH1 0x08
00002a35: PUSH1 0x00
00002a37: SWAP1
00002a38: SLOAD
00002a39: SWAP1
00002a3a: PUSH2 0x0100
00002a3d: EXP
00002a3e: SWAP1
00002a3f: DIV
00002a40: PUSH14 0xffffffffffffffffffffffffffff
00002a4f: AND
00002a50: PUSH1 0x08
00002a52: PUSH1 0x0e
00002a54: SWAP1
00002a55: SLOAD
00002a56: SWAP1
00002a57: PUSH2 0x0100
00002a5a: EXP
00002a5b: SWAP1
00002a5c: DIV
00002a5d: PUSH14 0xffffffffffffffffffffffffffff
00002a6c: AND
00002a6d: PUSH2 0x2de0
00002a70: JUMP
00002a71: JUMPDEST
00002a72: PUSH1 0x01
00002a74: PUSH1 0x0c
00002a76: DUP2
00002a77: SWAP1
00002a78: SSTORE
00002a79: POP
00002a7a: JUMP
00002a7b: JUMPDEST
00002a7c: PUSH1 0x00
00002a7e: PUSH1 0x60
00002a80: DUP5
00002a81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a96: AND
00002a97: PUSH1 0x40
00002a99: MLOAD
00002a9a: DUP1
00002a9b: PUSH1 0x40
00002a9d: ADD
00002a9e: PUSH1 0x40
00002aa0: MSTORE
00002aa1: DUP1
00002aa2: PUSH1 0x19
00002aa4: DUP2
00002aa5: MSTORE
00002aa6: PUSH1 0x20
00002aa8: ADD
00002aa9: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000
00002aca: DUP2
00002acb: MSTORE
00002acc: POP
00002acd: DUP1
00002ace: MLOAD
00002acf: SWAP1
00002ad0: PUSH1 0x20
00002ad2: ADD
00002ad3: KECCAK256
00002ad4: DUP6
00002ad5: DUP6
00002ad6: PUSH1 0x40
00002ad8: MLOAD
00002ad9: PUSH1 0x24
00002adb: ADD
00002adc: DUP1
00002add: DUP4
00002ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002af3: AND
00002af4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b09: AND
00002b0a: DUP2
00002b0b: MSTORE
00002b0c: PUSH1 0x20
00002b0e: ADD
00002b0f: DUP3
00002b10: DUP2
00002b11: MSTORE
00002b12: PUSH1 0x20
00002b14: ADD
00002b15: SWAP3
00002b16: POP
00002b17: POP
00002b18: POP
00002b19: PUSH1 0x40
00002b1b: MLOAD
00002b1c: PUSH1 0x20
00002b1e: DUP2
00002b1f: DUP4
00002b20: SUB
00002b21: SUB
00002b22: DUP2
00002b23: MSTORE
00002b24: SWAP1
00002b25: PUSH1 0x40
00002b27: MSTORE
00002b28: SWAP1
00002b29: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002b46: NOT
00002b47: AND
00002b48: PUSH1 0x20
00002b4a: DUP3
00002b4b: ADD
00002b4c: DUP1
00002b4d: MLOAD
00002b4e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002b6b: DUP4
00002b6c: DUP2
00002b6d: DUP4
00002b6e: AND
00002b6f: OR
00002b70: DUP4
00002b71: MSTORE
00002b72: POP
00002b73: POP
00002b74: POP
00002b75: POP
00002b76: PUSH1 0x40
00002b78: MLOAD
00002b79: DUP1
00002b7a: DUP3
00002b7b: DUP1
00002b7c: MLOAD
00002b7d: SWAP1
00002b7e: PUSH1 0x20
00002b80: ADD
00002b81: SWAP1
00002b82: DUP1
00002b83: DUP4
00002b84: DUP4
00002b85: JUMPDEST
00002b86: PUSH1 0x20
00002b88: DUP4
00002b89: LT
00002b8a: PUSH2 0x2ba8
00002b8d: JUMPI
00002b8e: DUP1
00002b8f: MLOAD
00002b90: DUP3
00002b91: MSTORE
00002b92: PUSH1 0x20
00002b94: DUP3
00002b95: ADD
00002b96: SWAP2
00002b97: POP
00002b98: PUSH1 0x20
00002b9a: DUP2
00002b9b: ADD
00002b9c: SWAP1
00002b9d: POP
00002b9e: PUSH1 0x20
00002ba0: DUP4
00002ba1: SUB
00002ba2: SWAP3
00002ba3: POP
00002ba4: PUSH2 0x2b85
00002ba7: JUMP
00002ba8: JUMPDEST
00002ba9: PUSH1 0x01
00002bab: DUP4
00002bac: PUSH1 0x20
00002bae: SUB
00002baf: PUSH2 0x0100
00002bb2: EXP
00002bb3: SUB
00002bb4: DUP1
00002bb5: NOT
00002bb6: DUP3
00002bb7: MLOAD
00002bb8: AND
00002bb9: DUP2
00002bba: DUP5
00002bbb: MLOAD
00002bbc: AND
00002bbd: DUP1
00002bbe: DUP3
00002bbf: OR
00002bc0: DUP6
00002bc1: MSTORE
00002bc2: POP
00002bc3: POP
00002bc4: POP
00002bc5: POP
00002bc6: POP
00002bc7: POP
00002bc8: SWAP1
00002bc9: POP
00002bca: ADD
00002bcb: SWAP2
00002bcc: POP
00002bcd: POP
00002bce: PUSH1 0x00
00002bd0: PUSH1 0x40
00002bd2: MLOAD
00002bd3: DUP1
00002bd4: DUP4
00002bd5: SUB
00002bd6: DUP2
00002bd7: PUSH1 0x00
00002bd9: DUP7
00002bda: GAS
00002bdb: CALL
00002bdc: SWAP2
00002bdd: POP
00002bde: POP
00002bdf: RETURNDATASIZE
00002be0: DUP1
00002be1: PUSH1 0x00
00002be3: DUP2
00002be4: EQ
00002be5: PUSH2 0x2c0a
00002be8: JUMPI
00002be9: PUSH1 0x40
00002beb: MLOAD
00002bec: SWAP2
00002bed: POP
00002bee: PUSH1 0x1f
00002bf0: NOT
00002bf1: PUSH1 0x3f
00002bf3: RETURNDATASIZE
00002bf4: ADD
00002bf5: AND
00002bf6: DUP3
00002bf7: ADD
00002bf8: PUSH1 0x40
00002bfa: MSTORE
00002bfb: RETURNDATASIZE
00002bfc: DUP3
00002bfd: MSTORE
00002bfe: RETURNDATASIZE
00002bff: PUSH1 0x00
00002c01: PUSH1 0x20
00002c03: DUP5
00002c04: ADD
00002c05: RETURNDATACOPY
00002c06: PUSH2 0x2c0f
00002c09: JUMP
00002c0a: JUMPDEST
00002c0b: PUSH1 0x60
00002c0d: SWAP2
00002c0e: POP
00002c0f: JUMPDEST
00002c10: POP
00002c11: SWAP2
00002c12: POP
00002c13: SWAP2
00002c14: POP
00002c15: DUP2
00002c16: DUP1
00002c17: ISZERO
00002c18: PUSH2 0x2c4f
00002c1b: JUMPI
00002c1c: POP
00002c1d: PUSH1 0x00
00002c1f: DUP2
00002c20: MLOAD
00002c21: EQ
00002c22: DUP1
00002c23: PUSH2 0x2c4e
00002c26: JUMPI
00002c27: POP
00002c28: DUP1
00002c29: DUP1
00002c2a: PUSH1 0x20
00002c2c: ADD
00002c2d: SWAP1
00002c2e: MLOAD
00002c2f: PUSH1 0x20
00002c31: DUP2
00002c32: LT
00002c33: ISZERO
00002c34: PUSH2 0x2c3c
00002c37: JUMPI
00002c38: PUSH1 0x00
00002c3a: DUP1
00002c3b: REVERT
00002c3c: JUMPDEST
00002c3d: DUP2
00002c3e: ADD
00002c3f: SWAP1
00002c40: DUP1
00002c41: DUP1
00002c42: MLOAD
00002c43: SWAP1
00002c44: PUSH1 0x20
00002c46: ADD
00002c47: SWAP1
00002c48: SWAP3
00002c49: SWAP2
00002c4a: SWAP1
00002c4b: POP
00002c4c: POP
00002c4d: POP
00002c4e: JUMPDEST
00002c4f: JUMPDEST
00002c50: PUSH2 0x2cc1
00002c53: JUMPI
00002c54: PUSH1 0x40
00002c56: MLOAD
00002c57: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c78: DUP2
00002c79: MSTORE
00002c7a: PUSH1 0x04
00002c7c: ADD
00002c7d: DUP1
00002c7e: DUP1
00002c7f: PUSH1 0x20
00002c81: ADD
00002c82: DUP3
00002c83: DUP2
00002c84: SUB
00002c85: DUP3
00002c86: MSTORE
00002c87: PUSH1 0x1c
00002c89: DUP2
00002c8a: MSTORE
00002c8b: PUSH1 0x20
00002c8d: ADD
00002c8e: DUP1
00002c8f: PUSH32 0x44656c696f5377617056323a205452414e534645525f4641494c454400000000
00002cb0: DUP2
00002cb1: MSTORE
00002cb2: POP
00002cb3: PUSH1 0x20
00002cb5: ADD
00002cb6: SWAP2
00002cb7: POP
00002cb8: POP
00002cb9: PUSH1 0x40
00002cbb: MLOAD
00002cbc: DUP1
00002cbd: SWAP2
00002cbe: SUB
00002cbf: SWAP1
00002cc0: REVERT
00002cc1: JUMPDEST
00002cc2: POP
00002cc3: POP
00002cc4: POP
00002cc5: POP
00002cc6: POP
00002cc7: JUMP
00002cc8: JUMPDEST
00002cc9: PUSH1 0x00
00002ccb: DUP1
00002ccc: DUP3
00002ccd: EQ
00002cce: DUP1
00002ccf: PUSH2 0x2ce5
00002cd2: JUMPI
00002cd3: POP
00002cd4: DUP3
00002cd5: DUP3
00002cd6: DUP4
00002cd7: DUP6
00002cd8: MUL
00002cd9: SWAP3
00002cda: POP
00002cdb: DUP3
00002cdc: DUP2
00002cdd: PUSH2 0x2ce2
00002ce0: JUMPI
00002ce1: INVALID
00002ce2: JUMPDEST
00002ce3: DIV
00002ce4: EQ
00002ce5: JUMPDEST
00002ce6: PUSH2 0x2d57
00002ce9: JUMPI
00002cea: PUSH1 0x40
00002cec: MLOAD
00002ced: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d0e: DUP2
00002d0f: MSTORE
00002d10: PUSH1 0x04
00002d12: ADD
00002d13: DUP1
00002d14: DUP1
00002d15: PUSH1 0x20
00002d17: ADD
00002d18: DUP3
00002d19: DUP2
00002d1a: SUB
00002d1b: DUP3
00002d1c: MSTORE
00002d1d: PUSH1 0x14
00002d1f: DUP2
00002d20: MSTORE
00002d21: PUSH1 0x20
00002d23: ADD
00002d24: DUP1
00002d25: PUSH32 0x64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000
00002d46: DUP2
00002d47: MSTORE
00002d48: POP
00002d49: PUSH1 0x20
00002d4b: ADD
00002d4c: SWAP2
00002d4d: POP
00002d4e: POP
00002d4f: PUSH1 0x40
00002d51: MLOAD
00002d52: DUP1
00002d53: SWAP2
00002d54: SUB
00002d55: SWAP1
00002d56: REVERT
00002d57: JUMPDEST
00002d58: SWAP3
00002d59: SWAP2
00002d5a: POP
00002d5b: POP
00002d5c: JUMP
00002d5d: JUMPDEST
00002d5e: PUSH1 0x00
00002d60: DUP3
00002d61: DUP3
00002d62: DUP5
00002d63: SUB
00002d64: SWAP2
00002d65: POP
00002d66: DUP2
00002d67: GT
00002d68: ISZERO
00002d69: PUSH2 0x2dda
00002d6c: JUMPI
00002d6d: PUSH1 0x40
00002d6f: MLOAD
00002d70: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d91: DUP2
00002d92: MSTORE
00002d93: PUSH1 0x04
00002d95: ADD
00002d96: DUP1
00002d97: DUP1
00002d98: PUSH1 0x20
00002d9a: ADD
00002d9b: DUP3
00002d9c: DUP2
00002d9d: SUB
00002d9e: DUP3
00002d9f: MSTORE
00002da0: PUSH1 0x15
00002da2: DUP2
00002da3: MSTORE
00002da4: PUSH1 0x20
00002da6: ADD
00002da7: DUP1
00002da8: PUSH32 0x64732d6d6174682d7375622d756e646572666c6f770000000000000000000000
00002dc9: DUP2
00002dca: MSTORE
00002dcb: POP
00002dcc: PUSH1 0x20
00002dce: ADD
00002dcf: SWAP2
00002dd0: POP
00002dd1: POP
00002dd2: PUSH1 0x40
00002dd4: MLOAD
00002dd5: DUP1
00002dd6: SWAP2
00002dd7: SUB
00002dd8: SWAP1
00002dd9: REVERT
00002dda: JUMPDEST
00002ddb: SWAP3
00002ddc: SWAP2
00002ddd: POP
00002dde: POP
00002ddf: JUMP
00002de0: JUMPDEST
00002de1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002e02: PUSH14 0xffffffffffffffffffffffffffff
00002e11: AND
00002e12: DUP5
00002e13: GT
00002e14: ISZERO
00002e15: DUP1
00002e16: ISZERO
00002e17: PUSH2 0x2e50
00002e1a: JUMPI
00002e1b: POP
00002e1c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002e3d: PUSH14 0xffffffffffffffffffffffffffff
00002e4c: AND
00002e4d: DUP4
00002e4e: GT
00002e4f: ISZERO
00002e50: JUMPDEST
00002e51: PUSH2 0x2ec2
00002e54: JUMPI
00002e55: PUSH1 0x40
00002e57: MLOAD
00002e58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e79: DUP2
00002e7a: MSTORE
00002e7b: PUSH1 0x04
00002e7d: ADD
00002e7e: DUP1
00002e7f: DUP1
00002e80: PUSH1 0x20
00002e82: ADD
00002e83: DUP3
00002e84: DUP2
00002e85: SUB
00002e86: DUP3
00002e87: MSTORE
00002e88: PUSH1 0x15
00002e8a: DUP2
00002e8b: MSTORE
00002e8c: PUSH1 0x20
00002e8e: ADD
00002e8f: DUP1
00002e90: PUSH32 0x44656c696f5377617056323a204f564552464c4f570000000000000000000000
00002eb1: DUP2
00002eb2: MSTORE
00002eb3: POP
00002eb4: PUSH1 0x20
00002eb6: ADD
00002eb7: SWAP2
00002eb8: POP
00002eb9: POP
00002eba: PUSH1 0x40
00002ebc: MLOAD
00002ebd: DUP1
00002ebe: SWAP2
00002ebf: SUB
00002ec0: SWAP1
00002ec1: REVERT
00002ec2: JUMPDEST
00002ec3: PUSH1 0x00
00002ec5: PUSH5 0x0100000000
00002ecb: TIMESTAMP
00002ecc: DUP2
00002ecd: PUSH2 0x2ed2
00002ed0: JUMPI
00002ed1: INVALID
00002ed2: JUMPDEST
00002ed3: MOD
00002ed4: SWAP1
00002ed5: POP
00002ed6: PUSH1 0x00
00002ed8: PUSH1 0x08
00002eda: PUSH1 0x1c
00002edc: SWAP1
00002edd: SLOAD
00002ede: SWAP1
00002edf: PUSH2 0x0100
00002ee2: EXP
00002ee3: SWAP1
00002ee4: DIV
00002ee5: PUSH4 0xffffffff
00002eea: AND
00002eeb: DUP3
00002eec: SUB
00002eed: SWAP1
00002eee: POP
00002eef: PUSH1 0x00
00002ef1: DUP2
00002ef2: PUSH4 0xffffffff
00002ef7: AND
00002ef8: GT
00002ef9: DUP1
00002efa: ISZERO
00002efb: PUSH2 0x2f15
00002efe: JUMPI
00002eff: POP
00002f00: PUSH1 0x00
00002f02: DUP5
00002f03: PUSH14 0xffffffffffffffffffffffffffff
00002f12: AND
00002f13: EQ
00002f14: ISZERO
00002f15: JUMPDEST
00002f16: DUP1
00002f17: ISZERO
00002f18: PUSH2 0x2f32
00002f1b: JUMPI
00002f1c: POP
00002f1d: PUSH1 0x00
00002f1f: DUP4
00002f20: PUSH14 0xffffffffffffffffffffffffffff
00002f2f: AND
00002f30: EQ
00002f31: ISZERO
00002f32: JUMPDEST
00002f33: ISZERO
00002f34: PUSH2 0x3014
00002f37: JUMPI
00002f38: DUP1
00002f39: PUSH4 0xffffffff
00002f3e: AND
00002f3f: PUSH2 0x2f77
00002f42: DUP6
00002f43: PUSH2 0x2f4b
00002f46: DUP7
00002f47: PUSH2 0x386d
00002f4a: JUMP
00002f4b: JUMPDEST
00002f4c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002f69: AND
00002f6a: PUSH2 0x3898
00002f6d: SWAP1
00002f6e: SWAP2
00002f6f: SWAP1
00002f70: PUSH4 0xffffffff
00002f75: AND
00002f76: JUMP
00002f77: JUMPDEST
00002f78: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002f95: AND
00002f96: MUL
00002f97: PUSH1 0x09
00002f99: PUSH1 0x00
00002f9b: DUP3
00002f9c: DUP3
00002f9d: SLOAD
00002f9e: ADD
00002f9f: SWAP3
00002fa0: POP
00002fa1: POP
00002fa2: DUP2
00002fa3: SWAP1
00002fa4: SSTORE
00002fa5: POP
00002fa6: DUP1
00002fa7: PUSH4 0xffffffff
00002fac: AND
00002fad: PUSH2 0x2fe5
00002fb0: DUP5
00002fb1: PUSH2 0x2fb9
00002fb4: DUP8
00002fb5: PUSH2 0x386d
00002fb8: JUMP
00002fb9: JUMPDEST
00002fba: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002fd7: AND
00002fd8: PUSH2 0x3898
00002fdb: SWAP1
00002fdc: SWAP2
00002fdd: SWAP1
00002fde: PUSH4 0xffffffff
00002fe3: AND
00002fe4: JUMP
00002fe5: JUMPDEST
00002fe6: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003003: AND
00003004: MUL
00003005: PUSH1 0x0a
00003007: PUSH1 0x00
00003009: DUP3
0000300a: DUP3
0000300b: SLOAD
0000300c: ADD
0000300d: SWAP3
0000300e: POP
0000300f: POP
00003010: DUP2
00003011: SWAP1
00003012: SSTORE
00003013: POP
00003014: JUMPDEST
00003015: DUP6
00003016: PUSH1 0x08
00003018: PUSH1 0x00
0000301a: PUSH2 0x0100
0000301d: EXP
0000301e: DUP2
0000301f: SLOAD
00003020: DUP2
00003021: PUSH14 0xffffffffffffffffffffffffffff
00003030: MUL
00003031: NOT
00003032: AND
00003033: SWAP1
00003034: DUP4
00003035: PUSH14 0xffffffffffffffffffffffffffff
00003044: AND
00003045: MUL
00003046: OR
00003047: SWAP1
00003048: SSTORE
00003049: POP
0000304a: DUP5
0000304b: PUSH1 0x08
0000304d: PUSH1 0x0e
0000304f: PUSH2 0x0100
00003052: EXP
00003053: DUP2
00003054: SLOAD
00003055: DUP2
00003056: PUSH14 0xffffffffffffffffffffffffffff
00003065: MUL
00003066: NOT
00003067: AND
00003068: SWAP1
00003069: DUP4
0000306a: PUSH14 0xffffffffffffffffffffffffffff
00003079: AND
0000307a: MUL
0000307b: OR
0000307c: SWAP1
0000307d: SSTORE
0000307e: POP
0000307f: DUP2
00003080: PUSH1 0x08
00003082: PUSH1 0x1c
00003084: PUSH2 0x0100
00003087: EXP
00003088: DUP2
00003089: SLOAD
0000308a: DUP2
0000308b: PUSH4 0xffffffff
00003090: MUL
00003091: NOT
00003092: AND
00003093: SWAP1
00003094: DUP4
00003095: PUSH4 0xffffffff
0000309a: AND
0000309b: MUL
0000309c: OR
0000309d: SWAP1
0000309e: SSTORE
0000309f: POP
000030a0: PUSH32 0x1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1
000030c1: PUSH1 0x08
000030c3: PUSH1 0x00
000030c5: SWAP1
000030c6: SLOAD
000030c7: SWAP1
000030c8: PUSH2 0x0100
000030cb: EXP
000030cc: SWAP1
000030cd: DIV
000030ce: PUSH14 0xffffffffffffffffffffffffffff
000030dd: AND
000030de: PUSH1 0x08
000030e0: PUSH1 0x0e
000030e2: SWAP1
000030e3: SLOAD
000030e4: SWAP1
000030e5: PUSH2 0x0100
000030e8: EXP
000030e9: SWAP1
000030ea: DIV
000030eb: PUSH14 0xffffffffffffffffffffffffffff
000030fa: AND
000030fb: PUSH1 0x40
000030fd: MLOAD
000030fe: DUP1
000030ff: DUP4
00003100: PUSH14 0xffffffffffffffffffffffffffff
0000310f: AND
00003110: PUSH14 0xffffffffffffffffffffffffffff
0000311f: AND
00003120: DUP2
00003121: MSTORE
00003122: PUSH1 0x20
00003124: ADD
00003125: DUP3
00003126: PUSH14 0xffffffffffffffffffffffffffff
00003135: AND
00003136: PUSH14 0xffffffffffffffffffffffffffff
00003145: AND
00003146: DUP2
00003147: MSTORE
00003148: PUSH1 0x20
0000314a: ADD
0000314b: SWAP3
0000314c: POP
0000314d: POP
0000314e: POP
0000314f: PUSH1 0x40
00003151: MLOAD
00003152: DUP1
00003153: SWAP2
00003154: SUB
00003155: SWAP1
00003156: LOG1
00003157: POP
00003158: POP
00003159: POP
0000315a: POP
0000315b: POP
0000315c: POP
0000315d: JUMP
0000315e: JUMPDEST
0000315f: DUP1
00003160: PUSH1 0x02
00003162: PUSH1 0x00
00003164: DUP6
00003165: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000317a: AND
0000317b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003190: AND
00003191: DUP2
00003192: MSTORE
00003193: PUSH1 0x20
00003195: ADD
00003196: SWAP1
00003197: DUP2
00003198: MSTORE
00003199: PUSH1 0x20
0000319b: ADD
0000319c: PUSH1 0x00
0000319e: KECCAK256
0000319f: PUSH1 0x00
000031a1: DUP5
000031a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031b7: AND
000031b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031cd: AND
000031ce: DUP2
000031cf: MSTORE
000031d0: PUSH1 0x20
000031d2: ADD
000031d3: SWAP1
000031d4: DUP2
000031d5: MSTORE
000031d6: PUSH1 0x20
000031d8: ADD
000031d9: PUSH1 0x00
000031db: KECCAK256
000031dc: DUP2
000031dd: SWAP1
000031de: SSTORE
000031df: POP
000031e0: DUP2
000031e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031f6: AND
000031f7: DUP4
000031f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000320d: AND
0000320e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000322f: DUP4
00003230: PUSH1 0x40
00003232: MLOAD
00003233: DUP1
00003234: DUP3
00003235: DUP2
00003236: MSTORE
00003237: PUSH1 0x20
00003239: ADD
0000323a: SWAP2
0000323b: POP
0000323c: POP
0000323d: PUSH1 0x40
0000323f: MLOAD
00003240: DUP1
00003241: SWAP2
00003242: SUB
00003243: SWAP1
00003244: LOG3
00003245: POP
00003246: POP
00003247: POP
00003248: JUMP
00003249: JUMPDEST
0000324a: PUSH2 0x329b
0000324d: DUP2
0000324e: PUSH1 0x01
00003250: PUSH1 0x00
00003252: DUP7
00003253: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003268: AND
00003269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000327e: AND
0000327f: DUP2
00003280: MSTORE
00003281: PUSH1 0x20
00003283: ADD
00003284: SWAP1
00003285: DUP2
00003286: MSTORE
00003287: PUSH1 0x20
00003289: ADD
0000328a: PUSH1 0x00
0000328c: KECCAK256
0000328d: SLOAD
0000328e: PUSH2 0x2d5d
00003291: SWAP1
00003292: SWAP2
00003293: SWAP1
00003294: PUSH4 0xffffffff
00003299: AND
0000329a: JUMP
0000329b: JUMPDEST
0000329c: PUSH1 0x01
0000329e: PUSH1 0x00
000032a0: DUP6
000032a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032b6: AND
000032b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032cc: AND
000032cd: DUP2
000032ce: MSTORE
000032cf: PUSH1 0x20
000032d1: ADD
000032d2: SWAP1
000032d3: DUP2
000032d4: MSTORE
000032d5: PUSH1 0x20
000032d7: ADD
000032d8: PUSH1 0x00
000032da: KECCAK256
000032db: DUP2
000032dc: SWAP1
000032dd: SSTORE
000032de: POP
000032df: PUSH2 0x3330
000032e2: DUP2
000032e3: PUSH1 0x01
000032e5: PUSH1 0x00
000032e7: DUP6
000032e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032fd: AND
000032fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003313: AND
00003314: DUP2
00003315: MSTORE
00003316: PUSH1 0x20
00003318: ADD
00003319: SWAP1
0000331a: DUP2
0000331b: MSTORE
0000331c: PUSH1 0x20
0000331e: ADD
0000331f: PUSH1 0x00
00003321: KECCAK256
00003322: SLOAD
00003323: PUSH2 0x38f8
00003326: SWAP1
00003327: SWAP2
00003328: SWAP1
00003329: PUSH4 0xffffffff
0000332e: AND
0000332f: JUMP
00003330: JUMPDEST
00003331: PUSH1 0x01
00003333: PUSH1 0x00
00003335: DUP5
00003336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000334b: AND
0000334c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003361: AND
00003362: DUP2
00003363: MSTORE
00003364: PUSH1 0x20
00003366: ADD
00003367: SWAP1
00003368: DUP2
00003369: MSTORE
0000336a: PUSH1 0x20
0000336c: ADD
0000336d: PUSH1 0x00
0000336f: KECCAK256
00003370: DUP2
00003371: SWAP1
00003372: SSTORE
00003373: POP
00003374: DUP2
00003375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000338a: AND
0000338b: DUP4
0000338c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033a1: AND
000033a2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000033c3: DUP4
000033c4: PUSH1 0x40
000033c6: MLOAD
000033c7: DUP1
000033c8: DUP3
000033c9: DUP2
000033ca: MSTORE
000033cb: PUSH1 0x20
000033cd: ADD
000033ce: SWAP2
000033cf: POP
000033d0: POP
000033d1: PUSH1 0x40
000033d3: MLOAD
000033d4: DUP1
000033d5: SWAP2
000033d6: SUB
000033d7: SWAP1
000033d8: LOG3
000033d9: POP
000033da: POP
000033db: POP
000033dc: JUMP
000033dd: JUMPDEST
000033de: PUSH1 0x00
000033e0: DUP1
000033e1: PUSH1 0x05
000033e3: PUSH1 0x00
000033e5: SWAP1
000033e6: SLOAD
000033e7: SWAP1
000033e8: PUSH2 0x0100
000033eb: EXP
000033ec: SWAP1
000033ed: DIV
000033ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003403: AND
00003404: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003419: AND
0000341a: PUSH4 0x017e7e58
0000341f: PUSH1 0x40
00003421: MLOAD
00003422: DUP2
00003423: PUSH4 0xffffffff
00003428: AND
00003429: PUSH1 0xe0
0000342b: SHL
0000342c: DUP2
0000342d: MSTORE
0000342e: PUSH1 0x04
00003430: ADD
00003431: PUSH1 0x20
00003433: PUSH1 0x40
00003435: MLOAD
00003436: DUP1
00003437: DUP4
00003438: SUB
00003439: DUP2
0000343a: DUP7
0000343b: DUP1
0000343c: EXTCODESIZE
0000343d: ISZERO
0000343e: DUP1
0000343f: ISZERO
00003440: PUSH2 0x3448
00003443: JUMPI
00003444: PUSH1 0x00
00003446: DUP1
00003447: REVERT
00003448: JUMPDEST
00003449: POP
0000344a: GAS
0000344b: STATICCALL
0000344c: ISZERO
0000344d: DUP1
0000344e: ISZERO
0000344f: PUSH2 0x345c
00003452: JUMPI
00003453: RETURNDATASIZE
00003454: PUSH1 0x00
00003456: DUP1
00003457: RETURNDATACOPY
00003458: RETURNDATASIZE
00003459: PUSH1 0x00
0000345b: REVERT
0000345c: JUMPDEST
0000345d: POP
0000345e: POP
0000345f: POP
00003460: POP
00003461: PUSH1 0x40
00003463: MLOAD
00003464: RETURNDATASIZE
00003465: PUSH1 0x20
00003467: DUP2
00003468: LT
00003469: ISZERO
0000346a: PUSH2 0x3472
0000346d: JUMPI
0000346e: PUSH1 0x00
00003470: DUP1
00003471: REVERT
00003472: JUMPDEST
00003473: DUP2
00003474: ADD
00003475: SWAP1
00003476: DUP1
00003477: DUP1
00003478: MLOAD
00003479: SWAP1
0000347a: PUSH1 0x20
0000347c: ADD
0000347d: SWAP1
0000347e: SWAP3
0000347f: SWAP2
00003480: SWAP1
00003481: POP
00003482: POP
00003483: POP
00003484: SWAP1
00003485: POP
00003486: PUSH1 0x00
00003488: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000349d: AND
0000349e: DUP2
0000349f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034b4: AND
000034b5: EQ
000034b6: ISZERO
000034b7: SWAP2
000034b8: POP
000034b9: PUSH1 0x00
000034bb: PUSH1 0x0b
000034bd: SLOAD
000034be: SWAP1
000034bf: POP
000034c0: DUP3
000034c1: ISZERO
000034c2: PUSH2 0x35a4
000034c5: JUMPI
000034c6: PUSH1 0x00
000034c8: DUP2
000034c9: EQ
000034ca: PUSH2 0x359f
000034cd: JUMPI
000034ce: PUSH1 0x00
000034d0: PUSH2 0x350a
000034d3: PUSH2 0x3505
000034d6: DUP7
000034d7: PUSH14 0xffffffffffffffffffffffffffff
000034e6: AND
000034e7: DUP9
000034e8: PUSH14 0xffffffffffffffffffffffffffff
000034f7: AND
000034f8: PUSH2 0x2cc8
000034fb: SWAP1
000034fc: SWAP2
000034fd: SWAP1
000034fe: PUSH4 0xffffffff
00003503: AND
00003504: JUMP
00003505: JUMPDEST
00003506: PUSH2 0x35be
00003509: JUMP
0000350a: JUMPDEST
0000350b: SWAP1
0000350c: POP
0000350d: PUSH1 0x00
0000350f: PUSH2 0x3517
00003512: DUP4
00003513: PUSH2 0x35be
00003516: JUMP
00003517: JUMPDEST
00003518: SWAP1
00003519: POP
0000351a: DUP1
0000351b: DUP3
0000351c: GT
0000351d: ISZERO
0000351e: PUSH2 0x359c
00003521: JUMPI
00003522: PUSH1 0x00
00003524: PUSH2 0x354a
00003527: PUSH2 0x3539
0000352a: DUP4
0000352b: DUP6
0000352c: PUSH2 0x2d5d
0000352f: SWAP1
00003530: SWAP2
00003531: SWAP1
00003532: PUSH4 0xffffffff
00003537: AND
00003538: JUMP
00003539: JUMPDEST
0000353a: PUSH1 0x00
0000353c: SLOAD
0000353d: PUSH2 0x2cc8
00003540: SWAP1
00003541: SWAP2
00003542: SWAP1
00003543: PUSH4 0xffffffff
00003548: AND
00003549: JUMP
0000354a: JUMPDEST
0000354b: SWAP1
0000354c: POP
0000354d: PUSH1 0x00
0000354f: PUSH2 0x3574
00003552: DUP4
00003553: PUSH2 0x3566
00003556: PUSH1 0x05
00003558: DUP8
00003559: PUSH2 0x2cc8
0000355c: SWAP1
0000355d: SWAP2
0000355e: SWAP1
0000355f: PUSH4 0xffffffff
00003564: AND
00003565: JUMP
00003566: JUMPDEST
00003567: PUSH2 0x38f8
0000356a: SWAP1
0000356b: SWAP2
0000356c: SWAP1
0000356d: PUSH4 0xffffffff
00003572: AND
00003573: JUMP
00003574: JUMPDEST
00003575: SWAP1
00003576: POP
00003577: PUSH1 0x00
00003579: DUP2
0000357a: DUP4
0000357b: DUP2
0000357c: PUSH2 0x3581
0000357f: JUMPI
00003580: INVALID
00003581: JUMPDEST
00003582: DIV
00003583: SWAP1
00003584: POP
00003585: PUSH1 0x00
00003587: DUP2
00003588: GT
00003589: ISZERO
0000358a: PUSH2 0x3598
0000358d: JUMPI
0000358e: PUSH2 0x3597
00003591: DUP8
00003592: DUP3
00003593: PUSH2 0x3620
00003596: JUMP
00003597: JUMPDEST
00003598: JUMPDEST
00003599: POP
0000359a: POP
0000359b: POP
0000359c: JUMPDEST
0000359d: POP
0000359e: POP
0000359f: JUMPDEST
000035a0: PUSH2 0x35b6
000035a3: JUMP
000035a4: JUMPDEST
000035a5: PUSH1 0x00
000035a7: DUP2
000035a8: EQ
000035a9: PUSH2 0x35b5
000035ac: JUMPI
000035ad: PUSH1 0x00
000035af: PUSH1 0x0b
000035b1: DUP2
000035b2: SWAP1
000035b3: SSTORE
000035b4: POP
000035b5: JUMPDEST
000035b6: JUMPDEST
000035b7: POP
000035b8: POP
000035b9: SWAP3
000035ba: SWAP2
000035bb: POP
000035bc: POP
000035bd: JUMP
000035be: JUMPDEST
000035bf: PUSH1 0x00
000035c1: PUSH1 0x03
000035c3: DUP3
000035c4: GT
000035c5: ISZERO
000035c6: PUSH2 0x360d
000035c9: JUMPI
000035ca: DUP2
000035cb: SWAP1
000035cc: POP
000035cd: PUSH1 0x00
000035cf: PUSH1 0x01
000035d1: PUSH1 0x02
000035d3: DUP5
000035d4: DUP2
000035d5: PUSH2 0x35da
000035d8: JUMPI
000035d9: INVALID
000035da: JUMPDEST
000035db: DIV
000035dc: ADD
000035dd: SWAP1
000035de: POP
000035df: JUMPDEST
000035e0: DUP2
000035e1: DUP2
000035e2: LT
000035e3: ISZERO
000035e4: PUSH2 0x3607
000035e7: JUMPI
000035e8: DUP1
000035e9: SWAP2
000035ea: POP
000035eb: PUSH1 0x02
000035ed: DUP2
000035ee: DUP3
000035ef: DUP6
000035f0: DUP2
000035f1: PUSH2 0x35f6
000035f4: JUMPI
000035f5: INVALID
000035f6: JUMPDEST
000035f7: DIV
000035f8: ADD
000035f9: DUP2
000035fa: PUSH2 0x35ff
000035fd: JUMPI
000035fe: INVALID
000035ff: JUMPDEST
00003600: DIV
00003601: SWAP1
00003602: POP
00003603: PUSH2 0x35df
00003606: JUMP
00003607: JUMPDEST
00003608: POP
00003609: PUSH2 0x361b
0000360c: JUMP
0000360d: JUMPDEST
0000360e: PUSH1 0x00
00003610: DUP3
00003611: EQ
00003612: PUSH2 0x361a
00003615: JUMPI
00003616: PUSH1 0x01
00003618: SWAP1
00003619: POP
0000361a: JUMPDEST
0000361b: JUMPDEST
0000361c: SWAP2
0000361d: SWAP1
0000361e: POP
0000361f: JUMP
00003620: JUMPDEST
00003621: PUSH2 0x3635
00003624: DUP2
00003625: PUSH1 0x00
00003627: SLOAD
00003628: PUSH2 0x38f8
0000362b: SWAP1
0000362c: SWAP2
0000362d: SWAP1
0000362e: PUSH4 0xffffffff
00003633: AND
00003634: JUMP
00003635: JUMPDEST
00003636: PUSH1 0x00
00003638: DUP2
00003639: SWAP1
0000363a: SSTORE
0000363b: POP
0000363c: PUSH2 0x368d
0000363f: DUP2
00003640: PUSH1 0x01
00003642: PUSH1 0x00
00003644: DUP6
00003645: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000365a: AND
0000365b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003670: AND
00003671: DUP2
00003672: MSTORE
00003673: PUSH1 0x20
00003675: ADD
00003676: SWAP1
00003677: DUP2
00003678: MSTORE
00003679: PUSH1 0x20
0000367b: ADD
0000367c: PUSH1 0x00
0000367e: KECCAK256
0000367f: SLOAD
00003680: PUSH2 0x38f8
00003683: SWAP1
00003684: SWAP2
00003685: SWAP1
00003686: PUSH4 0xffffffff
0000368b: AND
0000368c: JUMP
0000368d: JUMPDEST
0000368e: PUSH1 0x01
00003690: PUSH1 0x00
00003692: DUP5
00003693: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036a8: AND
000036a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036be: AND
000036bf: DUP2
000036c0: MSTORE
000036c1: PUSH1 0x20
000036c3: ADD
000036c4: SWAP1
000036c5: DUP2
000036c6: MSTORE
000036c7: PUSH1 0x20
000036c9: ADD
000036ca: PUSH1 0x00
000036cc: KECCAK256
000036cd: DUP2
000036ce: SWAP1
000036cf: SSTORE
000036d0: POP
000036d1: DUP2
000036d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036e7: AND
000036e8: PUSH1 0x00
000036ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036ff: AND
00003700: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003721: DUP4
00003722: PUSH1 0x40
00003724: MLOAD
00003725: DUP1
00003726: DUP3
00003727: DUP2
00003728: MSTORE
00003729: PUSH1 0x20
0000372b: ADD
0000372c: SWAP2
0000372d: POP
0000372e: POP
0000372f: PUSH1 0x40
00003731: MLOAD
00003732: DUP1
00003733: SWAP2
00003734: SUB
00003735: SWAP1
00003736: LOG3
00003737: POP
00003738: POP
00003739: JUMP
0000373a: JUMPDEST
0000373b: PUSH1 0x00
0000373d: DUP2
0000373e: DUP4
0000373f: LT
00003740: PUSH2 0x3749
00003743: JUMPI
00003744: DUP2
00003745: PUSH2 0x374b
00003748: JUMP
00003749: JUMPDEST
0000374a: DUP3
0000374b: JUMPDEST
0000374c: SWAP1
0000374d: POP
0000374e: SWAP3
0000374f: SWAP2
00003750: POP
00003751: POP
00003752: JUMP
00003753: JUMPDEST
00003754: PUSH2 0x37a5
00003757: DUP2
00003758: PUSH1 0x01
0000375a: PUSH1 0x00
0000375c: DUP6
0000375d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003772: AND
00003773: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003788: AND
00003789: DUP2
0000378a: MSTORE
0000378b: PUSH1 0x20
0000378d: ADD
0000378e: SWAP1
0000378f: DUP2
00003790: MSTORE
00003791: PUSH1 0x20
00003793: ADD
00003794: PUSH1 0x00
00003796: KECCAK256
00003797: SLOAD
00003798: PUSH2 0x2d5d
0000379b: SWAP1
0000379c: SWAP2
0000379d: SWAP1
0000379e: PUSH4 0xffffffff
000037a3: AND
000037a4: JUMP
000037a5: JUMPDEST
000037a6: PUSH1 0x01
000037a8: PUSH1 0x00
000037aa: DUP5
000037ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037c0: AND
000037c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037d6: AND
000037d7: DUP2
000037d8: MSTORE
000037d9: PUSH1 0x20
000037db: ADD
000037dc: SWAP1
000037dd: DUP2
000037de: MSTORE
000037df: PUSH1 0x20
000037e1: ADD
000037e2: PUSH1 0x00
000037e4: KECCAK256
000037e5: DUP2
000037e6: SWAP1
000037e7: SSTORE
000037e8: POP
000037e9: PUSH2 0x37fd
000037ec: DUP2
000037ed: PUSH1 0x00
000037ef: SLOAD
000037f0: PUSH2 0x2d5d
000037f3: SWAP1
000037f4: SWAP2
000037f5: SWAP1
000037f6: PUSH4 0xffffffff
000037fb: AND
000037fc: JUMP
000037fd: JUMPDEST
000037fe: PUSH1 0x00
00003800: DUP2
00003801: SWAP1
00003802: SSTORE
00003803: POP
00003804: PUSH1 0x00
00003806: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000381b: AND
0000381c: DUP3
0000381d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003832: AND
00003833: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003854: DUP4
00003855: PUSH1 0x40
00003857: MLOAD
00003858: DUP1
00003859: DUP3
0000385a: DUP2
0000385b: MSTORE
0000385c: PUSH1 0x20
0000385e: ADD
0000385f: SWAP2
00003860: POP
00003861: POP
00003862: PUSH1 0x40
00003864: MLOAD
00003865: DUP1
00003866: SWAP2
00003867: SUB
00003868: SWAP1
00003869: LOG3
0000386a: POP
0000386b: POP
0000386c: JUMP
0000386d: JUMPDEST
0000386e: PUSH1 0x00
00003870: PUSH15 0x010000000000000000000000000000
00003880: DUP3
00003881: PUSH14 0xffffffffffffffffffffffffffff
00003890: AND
00003891: MUL
00003892: SWAP1
00003893: POP
00003894: SWAP2
00003895: SWAP1
00003896: POP
00003897: JUMP
00003898: JUMPDEST
00003899: PUSH1 0x00
0000389b: DUP2
0000389c: PUSH14 0xffffffffffffffffffffffffffff
000038ab: AND
000038ac: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000038c9: AND
000038ca: DUP4
000038cb: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000038e8: AND
000038e9: DUP2
000038ea: PUSH2 0x38ef
000038ed: JUMPI
000038ee: INVALID
000038ef: JUMPDEST
000038f0: DIV
000038f1: SWAP1
000038f2: POP
000038f3: SWAP3
000038f4: SWAP2
000038f5: POP
000038f6: POP
000038f7: JUMP
000038f8: JUMPDEST
000038f9: PUSH1 0x00
000038fb: DUP3
000038fc: DUP3
000038fd: DUP5
000038fe: ADD
000038ff: SWAP2
00003900: POP
00003901: DUP2
00003902: LT
00003903: ISZERO
00003904: PUSH2 0x3975
00003907: JUMPI
00003908: PUSH1 0x40
0000390a: MLOAD
0000390b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000392c: DUP2
0000392d: MSTORE
0000392e: PUSH1 0x04
00003930: ADD
00003931: DUP1
00003932: DUP1
00003933: PUSH1 0x20
00003935: ADD
00003936: DUP3
00003937: DUP2
00003938: SUB
00003939: DUP3
0000393a: MSTORE
0000393b: PUSH1 0x14
0000393d: DUP2
0000393e: MSTORE
0000393f: PUSH1 0x20
00003941: ADD
00003942: DUP1
00003943: PUSH32 0x64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000
00003964: DUP2
00003965: MSTORE
00003966: POP
00003967: PUSH1 0x20
00003969: ADD
0000396a: SWAP2
0000396b: POP
0000396c: POP
0000396d: PUSH1 0x40
0000396f: MLOAD
00003970: DUP1
00003971: SWAP2
00003972: SUB
00003973: SWAP1
00003974: REVERT
00003975: JUMPDEST
00003976: SWAP3
00003977: SWAP2
00003978: POP
00003979: POP
0000397a: JUMP
0000397b: INVALID
0000397c: DIFFICULTY
0000397d: PUSH6 0x6c696f537761
00003984: PUSH17 0x56323a20494e53554646494349454e545f
00003996: UNKNOWN(0x4C)
00003997: BLOBHASH
00003998: MLOAD
00003999: SSTORE
0000399a: BLOBHASH
0000399b: DIFFICULTY
0000399c: BLOBHASH
0000399d: SLOAD
0000399e: MSIZE
0000399f: PUSH0
000039a0: UNKNOWN(0x4D)
000039a1: BLOBHASH
000039a2: UNKNOWN(0x4E)
000039a3: SLOAD
000039a4: GASLIMIT
000039a5: DIFFICULTY
000039a6: DIFFICULTY
000039a7: PUSH6 0x6c696f537761
000039ae: PUSH17 0x56323a20494e53554646494349454e545f
000039c0: UNKNOWN(0x4C)
000039c1: BLOBHASH
000039c2: MLOAD
000039c3: SSTORE
000039c4: BLOBHASH
000039c5: DIFFICULTY
000039c6: BLOBHASH
000039c7: SLOAD
000039c8: MSIZE
000039c9: PUSH0
000039ca: TIMESTAMP
000039cb: SSTORE
000039cc: MSTORE
000039cd: UNKNOWN(0x4E)
000039ce: GASLIMIT
000039cf: DIFFICULTY
000039d0: DIFFICULTY
000039d1: PUSH6 0x6c696f537761
000039d8: PUSH17 0x56323a20494e53554646494349454e545f
000039ea: UNKNOWN(0x4F)
000039eb: SSTORE
000039ec: SLOAD
000039ed: POP
000039ee: SSTORE
000039ef: SLOAD
000039f0: PUSH0
000039f1: COINBASE
000039f2: UNKNOWN(0x4D)
000039f3: UNKNOWN(0x4F)
000039f4: SSTORE
000039f5: UNKNOWN(0x4E)
000039f6: SLOAD
000039f7: DIFFICULTY
000039f8: PUSH6 0x6c696f537761
000039ff: PUSH17 0x56323a20494e53554646494349454e545f
00003a11: UNKNOWN(0x4C)
00003a12: BLOBHASH
00003a13: MLOAD
00003a14: SSTORE
00003a15: BLOBHASH
00003a16: DIFFICULTY
00003a17: BLOBHASH
00003a18: SLOAD
00003a19: MSIZE
00003a1a: DIFFICULTY
00003a1b: PUSH6 0x6c696f537761
00003a22: PUSH17 0x56323a20494e53554646494349454e545f
00003a34: BLOBHASH
00003a35: UNKNOWN(0x4E)
00003a36: POP
00003a37: SSTORE
00003a38: SLOAD
00003a39: PUSH0
00003a3a: COINBASE
00003a3b: UNKNOWN(0x4D)
00003a3c: UNKNOWN(0x4F)
00003a3d: SSTORE
00003a3e: UNKNOWN(0x4E)
00003a3f: SLOAD
00003a40: LOG2
00003a41: PUSH6 0x627a7a723158
00003a48: KECCAK256
00003a49: INVALID
00003a4a: EXTCODECOPY
00003a4b: ADDMOD
00003a4c: UNKNOWN(0xCF)
00003a4d: SSTORE
00003a4e: UNKNOWN(0xD6)
00003a4f: UNKNOWN(0x23)
00003a50: UNKNOWN(0x0C)
00003a51: PUSH25 0xb6c971345fe06410d502ff3c5315c03365403a7736e2e76473
00003a6b: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x974597a0e57e496be6d930f6f4889fc7d5929d201ac87cb5ff0ab00f85409664
call_targets: 0x008d9d457ad0a75c83d9a5e2b8e4ce89232b5083
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x974597a0e57e496be6d930f6f4889fc7d5929d201ac87cb5ff0ab00f85409664",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x008d9d457ad0a75c83d9a5e2b8e4ce89232b5083"
    ],
    "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": "0xd21220a7",
            "selector": "0xd21220a7",
            "calldata_variants": [
                "0xd21220a7",
                "0xd21220a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfff6cae9",
            "selector": "0xfff6cae9",
            "calldata_variants": [
                "0xfff6cae9",
                "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba9a7a56",
            "selector": "0xba9a7a56",
            "calldata_variants": [
                "0xba9a7a56",
                "0xba9a7a560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbc25cf77",
            "selector": "0xbc25cf77",
            "calldata_variants": [
                "0xbc25cf77",
                "0xbc25cf770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45a0155",
            "selector": "0xc45a0155",
            "calldata_variants": [
                "0xc45a0155",
                "0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7ecebe00",
            "selector": "0x7ecebe00",
            "calldata_variants": [
                "0x7ecebe00",
                "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3527,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11227,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 5414,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x974597a0e57e496be6d930f6f4889fc7d5929d201ac87cb5ff0ab00f85409664
call_targets: 0x008d9d457ad0a75c83d9a5e2b8e4ce89232b5083
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x974597a0e57e496be6d930f6f4889fc7d5929d201ac87cb5ff0ab00f85409664",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x008d9d457ad0a75c83d9a5e2b8e4ce89232b5083"
    ],
    "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": "0xd21220a7",
            "selector": "0xd21220a7",
            "calldata_variants": [
                "0xd21220a7",
                "0xd21220a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfff6cae9",
            "selector": "0xfff6cae9",
            "calldata_variants": [
                "0xfff6cae9",
                "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba9a7a56",
            "selector": "0xba9a7a56",
            "calldata_variants": [
                "0xba9a7a56",
                "0xba9a7a560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbc25cf77",
            "selector": "0xbc25cf77",
            "calldata_variants": [
                "0xbc25cf77",
                "0xbc25cf770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45a0155",
            "selector": "0xc45a0155",
            "calldata_variants": [
                "0xc45a0155",
                "0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7ecebe00",
            "selector": "0x7ecebe00",
            "calldata_variants": [
                "0x7ecebe00",
                "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3527,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11227,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 5414,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
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": 15
}
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": 16
}