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

Analysis Run

019bab3d-6eaf-71cf-a4ce-ac665330e14b

complete
Chain ID
1
Address
0x524818cb8081941b618613c6f990c17bb3da0866
Block Number
—
Created
Sun, Jan 11, 2026 4:08 AM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
39091 artifact.fetch complete 1 / 3 3 months ago
39092 proxy.resolve complete 1 / 3 3 months ago
39093 tool.cast_disasm complete 1 / 3 3 months ago
39094 analysis.bundle complete 1 / 3 3 months ago
39095 capability.graph complete 1 / 3 3 months ago
39096 detector.run complete 1 / 3 3 months ago
39097 validation.fork complete 1 / 3 3 months ago
39248 report.consolidate complete 1 / 6 3 months ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no not_proxy
Implementation:
—
Verified Source: yes
Proxy evidence 
{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
0
No findings?
yes
Summary
No exploitable vulnerabilities found in the first-party Solidity source; core logic follows a standard UniswapV2-style pair with reentrancy lock and checked transfers.
View stdout 
{"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party Solidity source; core logic follows a standard UniswapV2-style pair with reentrancy lock and checked transfers.","findings":[]}
View stderr 
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-i2huimio
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bac35-a612-71a0-b3c4-685c51a6c466
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.

Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers

thinking
**Reading AUDIT_BUNDLE file**
exec
/bin/bash -lc ls in /tmp/codex-i2huimio succeeded in 5ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-i2huimio succeeded in 7ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.

================================================================================
FILE: contracts/Contract.sol
================================================================================
// SPDX-License-Identifier: GPL-3.0-or-later

pragma solidity ^0.6.12;


interface IWSPair {
    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);
    event Mint(address indexed sender, uint amount0, uint amount1);
    event Burn(address indexed sender, uint amount0, uint amount1, address indexed to);
    event Swap(
        address indexed sender,
        uint amount0In,
        uint amount1In,


thinking
**Analyzing UniswapV2 Pair Contract Vulnerabilities**
thinking
**Evaluating Fee Discount and Signature Handling Risks**

I’m carefully checking how the discount parameter could affect fee calculations, including potential underflows and overflows, and how SafeMath interacts here. I’m also reviewing signature verification nuances like nonce increments and potential malleability. The roles of `swapDiscount`, router address, and domain separator updates via multiple `initialize` functions raise interesting points around access control and chain ID changes. Overall, I’m weighing whether these behaviors pose actual issues or are just expected features in this UniswapV2-like pair contract.
codex
{"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party Solidity source; core logic follows a standard UniswapV2-style pair with reentrancy lock and checked transfers.","findings":[]}
tokens used
17,066
Metadata 
{
    "codex": {
        "ran_at": "2026-01-11T08:41:14.672701+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 1,
        "import_count": 0,
        "first_party_contracts_count": 1
    },
    "summary": "No exploitable vulnerabilities found in the first-party Solidity source; core logic follows a standard UniswapV2-style pair with reentrancy lock and checked transfers.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the first-party Solidity source; core logic follows a standard UniswapV2-style pair with reentrancy lock and checked transfers.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
15
EXT*/BALANCE
14
Total opcodes
5688
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 0x01e5
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7464fc3d
00000026: GT
00000027: PUSH2 0x010f
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xbc25cf77
00000031: GT
00000032: PUSH2 0x00a2
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd505accf
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd505accf
00000047: EQ
00000048: PUSH2 0x0630
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd65939dc
00000052: EQ
00000053: PUSH2 0x068e
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x0727
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfff6cae9
00000068: EQ
00000069: PUSH2 0x0762
0000006c: JUMPI
0000006d: PUSH2 0x01e5
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xbc25cf77
00000078: EQ
00000079: PUSH2 0x05a8
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xc0c53b8b
00000083: EQ
00000084: PUSH2 0x05db
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xc45a0155
0000008e: EQ
0000008f: PUSH2 0x0620
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xd21220a7
00000099: EQ
0000009a: PUSH2 0x0628
0000009d: JUMPI
0000009e: PUSH2 0x01e5
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0x95d89b41
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x95d89b41
000000b4: EQ
000000b5: PUSH2 0x0557
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa4e2d634
000000bf: EQ
000000c0: PUSH2 0x055f
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa9059cbb
000000ca: EQ
000000cb: PUSH2 0x0567
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xba9a7a56
000000d5: EQ
000000d6: PUSH2 0x05a0
000000d9: JUMPI
000000da: PUSH2 0x01e5
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x7464fc3d
000000e5: EQ
000000e6: PUSH2 0x04c8
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x7ecebe00
000000f0: EQ
000000f1: PUSH2 0x04d0
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x8129fc1c
000000fb: EQ
000000fc: PUSH2 0x0503
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0x89afcb44
00000106: EQ
00000107: PUSH2 0x050b
0000010a: JUMPI
0000010b: PUSH2 0x01e5
0000010e: JUMP
0000010f: JUMPDEST
00000110: DUP1
00000111: PUSH4 0x2a2767e5
00000116: GT
00000117: PUSH2 0x0187
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x5909c0d5
00000121: GT
00000122: PUSH2 0x0156
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x5909c0d5
0000012c: EQ
0000012d: PUSH2 0x0452
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x5a3d5493
00000137: EQ
00000138: PUSH2 0x045a
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x6a627842
00000142: EQ
00000143: PUSH2 0x0462
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0x70a08231
0000014d: EQ
0000014e: PUSH2 0x0495
00000151: JUMPI
00000152: PUSH2 0x01e5
00000155: JUMP
00000156: JUMPDEST
00000157: DUP1
00000158: PUSH4 0x2a2767e5
0000015d: EQ
0000015e: PUSH2 0x041c
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x30adf81f
00000168: EQ
00000169: PUSH2 0x0424
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x313ce567
00000173: EQ
00000174: PUSH2 0x042c
00000177: JUMPI
00000178: DUP1
00000179: PUSH4 0x3644e515
0000017e: EQ
0000017f: PUSH2 0x044a
00000182: JUMPI
00000183: PUSH2 0x01e5
00000186: JUMP
00000187: JUMPDEST
00000188: DUP1
00000189: PUSH4 0x095ea7b3
0000018e: GT
0000018f: PUSH2 0x01c3
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x095ea7b3
00000199: EQ
0000019a: PUSH2 0x0341
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x0dfe1681
000001a4: EQ
000001a5: PUSH2 0x038e
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x18160ddd
000001af: EQ
000001b0: PUSH2 0x03bf
000001b3: JUMPI
000001b4: DUP1
000001b5: PUSH4 0x23b872dd
000001ba: EQ
000001bb: PUSH2 0x03d9
000001be: JUMPI
000001bf: PUSH2 0x01e5
000001c2: JUMP
000001c3: JUMPDEST
000001c4: DUP1
000001c5: PUSH4 0x022c0d9f
000001ca: EQ
000001cb: PUSH2 0x01ea
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x06fdde03
000001d5: EQ
000001d6: PUSH2 0x0285
000001d9: JUMPI
000001da: DUP1
000001db: PUSH4 0x0902f1ac
000001e0: EQ
000001e1: PUSH2 0x0302
000001e4: JUMPI
000001e5: JUMPDEST
000001e6: PUSH1 0x00
000001e8: DUP1
000001e9: REVERT
000001ea: JUMPDEST
000001eb: PUSH2 0x0283
000001ee: PUSH1 0x04
000001f0: DUP1
000001f1: CALLDATASIZE
000001f2: SUB
000001f3: PUSH1 0x80
000001f5: DUP2
000001f6: LT
000001f7: ISZERO
000001f8: PUSH2 0x0200
000001fb: JUMPI
000001fc: PUSH1 0x00
000001fe: DUP1
000001ff: REVERT
00000200: JUMPDEST
00000201: DUP2
00000202: CALLDATALOAD
00000203: SWAP2
00000204: PUSH1 0x20
00000206: DUP2
00000207: ADD
00000208: CALLDATALOAD
00000209: SWAP2
0000020a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000021f: PUSH1 0x40
00000221: DUP4
00000222: ADD
00000223: CALLDATALOAD
00000224: AND
00000225: SWAP2
00000226: SWAP1
00000227: DUP2
00000228: ADD
00000229: SWAP1
0000022a: PUSH1 0x80
0000022c: DUP2
0000022d: ADD
0000022e: PUSH1 0x60
00000230: DUP3
00000231: ADD
00000232: CALLDATALOAD
00000233: PUSH5 0x0100000000
00000239: DUP2
0000023a: GT
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: DUP3
00000246: ADD
00000247: DUP4
00000248: PUSH1 0x20
0000024a: DUP3
0000024b: ADD
0000024c: GT
0000024d: ISZERO
0000024e: PUSH2 0x0256
00000251: JUMPI
00000252: PUSH1 0x00
00000254: DUP1
00000255: REVERT
00000256: JUMPDEST
00000257: DUP1
00000258: CALLDATALOAD
00000259: SWAP1
0000025a: PUSH1 0x20
0000025c: ADD
0000025d: SWAP2
0000025e: DUP5
0000025f: PUSH1 0x01
00000261: DUP4
00000262: MUL
00000263: DUP5
00000264: ADD
00000265: GT
00000266: PUSH5 0x0100000000
0000026c: DUP4
0000026d: GT
0000026e: OR
0000026f: ISZERO
00000270: PUSH2 0x0278
00000273: JUMPI
00000274: PUSH1 0x00
00000276: DUP1
00000277: REVERT
00000278: JUMPDEST
00000279: POP
0000027a: SWAP1
0000027b: SWAP3
0000027c: POP
0000027d: SWAP1
0000027e: POP
0000027f: PUSH2 0x076a
00000282: JUMP
00000283: JUMPDEST
00000284: STOP
00000285: JUMPDEST
00000286: PUSH2 0x028d
00000289: PUSH2 0x07fe
0000028c: JUMP
0000028d: JUMPDEST
0000028e: PUSH1 0x40
00000290: DUP1
00000291: MLOAD
00000292: PUSH1 0x20
00000294: DUP1
00000295: DUP3
00000296: MSTORE
00000297: DUP4
00000298: MLOAD
00000299: DUP2
0000029a: DUP4
0000029b: ADD
0000029c: MSTORE
0000029d: DUP4
0000029e: MLOAD
0000029f: SWAP2
000002a0: SWAP3
000002a1: DUP4
000002a2: SWAP3
000002a3: SWAP1
000002a4: DUP4
000002a5: ADD
000002a6: SWAP2
000002a7: DUP6
000002a8: ADD
000002a9: SWAP1
000002aa: DUP1
000002ab: DUP4
000002ac: DUP4
000002ad: PUSH1 0x00
000002af: JUMPDEST
000002b0: DUP4
000002b1: DUP2
000002b2: LT
000002b3: ISZERO
000002b4: PUSH2 0x02c7
000002b7: JUMPI
000002b8: DUP2
000002b9: DUP2
000002ba: ADD
000002bb: MLOAD
000002bc: DUP4
000002bd: DUP3
000002be: ADD
000002bf: MSTORE
000002c0: PUSH1 0x20
000002c2: ADD
000002c3: PUSH2 0x02af
000002c6: JUMP
000002c7: JUMPDEST
000002c8: POP
000002c9: POP
000002ca: POP
000002cb: POP
000002cc: SWAP1
000002cd: POP
000002ce: SWAP1
000002cf: DUP2
000002d0: ADD
000002d1: SWAP1
000002d2: PUSH1 0x1f
000002d4: AND
000002d5: DUP1
000002d6: ISZERO
000002d7: PUSH2 0x02f4
000002da: JUMPI
000002db: DUP1
000002dc: DUP3
000002dd: SUB
000002de: DUP1
000002df: MLOAD
000002e0: PUSH1 0x01
000002e2: DUP4
000002e3: PUSH1 0x20
000002e5: SUB
000002e6: PUSH2 0x0100
000002e9: EXP
000002ea: SUB
000002eb: NOT
000002ec: AND
000002ed: DUP2
000002ee: MSTORE
000002ef: PUSH1 0x20
000002f1: ADD
000002f2: SWAP2
000002f3: POP
000002f4: JUMPDEST
000002f5: POP
000002f6: SWAP3
000002f7: POP
000002f8: POP
000002f9: POP
000002fa: PUSH1 0x40
000002fc: MLOAD
000002fd: DUP1
000002fe: SWAP2
000002ff: SUB
00000300: SWAP1
00000301: RETURN
00000302: JUMPDEST
00000303: PUSH2 0x030a
00000306: PUSH2 0x0837
00000309: JUMP
0000030a: JUMPDEST
0000030b: PUSH1 0x40
0000030d: DUP1
0000030e: MLOAD
0000030f: PUSH14 0xffffffffffffffffffffffffffff
0000031e: SWAP5
0000031f: DUP6
00000320: AND
00000321: DUP2
00000322: MSTORE
00000323: SWAP3
00000324: SWAP1
00000325: SWAP4
00000326: AND
00000327: PUSH1 0x20
00000329: DUP4
0000032a: ADD
0000032b: MSTORE
0000032c: PUSH4 0xffffffff
00000331: AND
00000332: DUP2
00000333: DUP4
00000334: ADD
00000335: MSTORE
00000336: SWAP1
00000337: MLOAD
00000338: SWAP1
00000339: DUP2
0000033a: SWAP1
0000033b: SUB
0000033c: PUSH1 0x60
0000033e: ADD
0000033f: SWAP1
00000340: RETURN
00000341: JUMPDEST
00000342: PUSH2 0x037a
00000345: PUSH1 0x04
00000347: DUP1
00000348: CALLDATASIZE
00000349: SUB
0000034a: PUSH1 0x40
0000034c: DUP2
0000034d: LT
0000034e: ISZERO
0000034f: PUSH2 0x0357
00000352: JUMPI
00000353: PUSH1 0x00
00000355: DUP1
00000356: REVERT
00000357: JUMPDEST
00000358: POP
00000359: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036e: DUP2
0000036f: CALLDATALOAD
00000370: AND
00000371: SWAP1
00000372: PUSH1 0x20
00000374: ADD
00000375: CALLDATALOAD
00000376: PUSH2 0x088c
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH1 0x40
0000037d: DUP1
0000037e: MLOAD
0000037f: SWAP2
00000380: ISZERO
00000381: ISZERO
00000382: DUP3
00000383: MSTORE
00000384: MLOAD
00000385: SWAP1
00000386: DUP2
00000387: SWAP1
00000388: SUB
00000389: PUSH1 0x20
0000038b: ADD
0000038c: SWAP1
0000038d: RETURN
0000038e: JUMPDEST
0000038f: PUSH2 0x0396
00000392: PUSH2 0x08a3
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH1 0x40
00000399: DUP1
0000039a: MLOAD
0000039b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b0: SWAP1
000003b1: SWAP3
000003b2: AND
000003b3: DUP3
000003b4: MSTORE
000003b5: MLOAD
000003b6: SWAP1
000003b7: DUP2
000003b8: SWAP1
000003b9: SUB
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: SWAP1
000003be: RETURN
000003bf: JUMPDEST
000003c0: PUSH2 0x03c7
000003c3: PUSH2 0x08bf
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH1 0x40
000003ca: DUP1
000003cb: MLOAD
000003cc: SWAP2
000003cd: DUP3
000003ce: MSTORE
000003cf: MLOAD
000003d0: SWAP1
000003d1: DUP2
000003d2: SWAP1
000003d3: SUB
000003d4: PUSH1 0x20
000003d6: ADD
000003d7: SWAP1
000003d8: RETURN
000003d9: JUMPDEST
000003da: PUSH2 0x037a
000003dd: PUSH1 0x04
000003df: DUP1
000003e0: CALLDATASIZE
000003e1: SUB
000003e2: PUSH1 0x60
000003e4: DUP2
000003e5: LT
000003e6: ISZERO
000003e7: PUSH2 0x03ef
000003ea: JUMPI
000003eb: PUSH1 0x00
000003ed: DUP1
000003ee: REVERT
000003ef: JUMPDEST
000003f0: POP
000003f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000406: DUP2
00000407: CALLDATALOAD
00000408: DUP2
00000409: AND
0000040a: SWAP2
0000040b: PUSH1 0x20
0000040d: DUP2
0000040e: ADD
0000040f: CALLDATALOAD
00000410: SWAP1
00000411: SWAP2
00000412: AND
00000413: SWAP1
00000414: PUSH1 0x40
00000416: ADD
00000417: CALLDATALOAD
00000418: PUSH2 0x08c5
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH2 0x03c7
00000420: PUSH2 0x099e
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH2 0x03c7
00000428: PUSH2 0x09a3
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH2 0x0434
00000430: PUSH2 0x09c7
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH1 0x40
00000437: DUP1
00000438: MLOAD
00000439: PUSH1 0xff
0000043b: SWAP1
0000043c: SWAP3
0000043d: AND
0000043e: DUP3
0000043f: MSTORE
00000440: MLOAD
00000441: SWAP1
00000442: DUP2
00000443: SWAP1
00000444: SUB
00000445: PUSH1 0x20
00000447: ADD
00000448: SWAP1
00000449: RETURN
0000044a: JUMPDEST
0000044b: PUSH2 0x03c7
0000044e: PUSH2 0x09cc
00000451: JUMP
00000452: JUMPDEST
00000453: PUSH2 0x03c7
00000456: PUSH2 0x09d2
00000459: JUMP
0000045a: JUMPDEST
0000045b: PUSH2 0x03c7
0000045e: PUSH2 0x09d8
00000461: JUMP
00000462: JUMPDEST
00000463: PUSH2 0x03c7
00000466: PUSH1 0x04
00000468: DUP1
00000469: CALLDATASIZE
0000046a: SUB
0000046b: PUSH1 0x20
0000046d: DUP2
0000046e: LT
0000046f: ISZERO
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: PUSH1 0x00
00000476: DUP1
00000477: REVERT
00000478: JUMPDEST
00000479: POP
0000047a: CALLDATALOAD
0000047b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000490: AND
00000491: PUSH2 0x09de
00000494: JUMP
00000495: JUMPDEST
00000496: PUSH2 0x03c7
00000499: PUSH1 0x04
0000049b: DUP1
0000049c: CALLDATASIZE
0000049d: SUB
0000049e: PUSH1 0x20
000004a0: DUP2
000004a1: LT
000004a2: ISZERO
000004a3: PUSH2 0x04ab
000004a6: JUMPI
000004a7: PUSH1 0x00
000004a9: DUP1
000004aa: REVERT
000004ab: JUMPDEST
000004ac: POP
000004ad: CALLDATALOAD
000004ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c3: AND
000004c4: PUSH2 0x0d7a
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH2 0x03c7
000004cc: PUSH2 0x0d8c
000004cf: JUMP
000004d0: JUMPDEST
000004d1: PUSH2 0x03c7
000004d4: PUSH1 0x04
000004d6: DUP1
000004d7: CALLDATASIZE
000004d8: SUB
000004d9: PUSH1 0x20
000004db: DUP2
000004dc: LT
000004dd: ISZERO
000004de: PUSH2 0x04e6
000004e1: JUMPI
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: REVERT
000004e6: JUMPDEST
000004e7: POP
000004e8: CALLDATALOAD
000004e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004fe: AND
000004ff: PUSH2 0x0d92
00000502: JUMP
00000503: JUMPDEST
00000504: PUSH2 0x0283
00000507: PUSH2 0x0da4
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH2 0x053e
0000050f: PUSH1 0x04
00000511: DUP1
00000512: CALLDATASIZE
00000513: SUB
00000514: PUSH1 0x20
00000516: DUP2
00000517: LT
00000518: ISZERO
00000519: PUSH2 0x0521
0000051c: JUMPI
0000051d: PUSH1 0x00
0000051f: DUP1
00000520: REVERT
00000521: JUMPDEST
00000522: POP
00000523: CALLDATALOAD
00000524: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000539: AND
0000053a: PUSH2 0x0ea6
0000053d: JUMP
0000053e: JUMPDEST
0000053f: PUSH1 0x40
00000541: DUP1
00000542: MLOAD
00000543: SWAP3
00000544: DUP4
00000545: MSTORE
00000546: PUSH1 0x20
00000548: DUP4
00000549: ADD
0000054a: SWAP2
0000054b: SWAP1
0000054c: SWAP2
0000054d: MSTORE
0000054e: DUP1
0000054f: MLOAD
00000550: SWAP2
00000551: DUP3
00000552: SWAP1
00000553: SUB
00000554: ADD
00000555: SWAP1
00000556: RETURN
00000557: JUMPDEST
00000558: PUSH2 0x028d
0000055b: PUSH2 0x1331
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH2 0x03c7
00000563: PUSH2 0x136a
00000566: JUMP
00000567: JUMPDEST
00000568: PUSH2 0x037a
0000056b: PUSH1 0x04
0000056d: DUP1
0000056e: CALLDATASIZE
0000056f: SUB
00000570: PUSH1 0x40
00000572: DUP2
00000573: LT
00000574: ISZERO
00000575: PUSH2 0x057d
00000578: JUMPI
00000579: PUSH1 0x00
0000057b: DUP1
0000057c: REVERT
0000057d: JUMPDEST
0000057e: POP
0000057f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000594: DUP2
00000595: CALLDATALOAD
00000596: AND
00000597: SWAP1
00000598: PUSH1 0x20
0000059a: ADD
0000059b: CALLDATALOAD
0000059c: PUSH2 0x1370
0000059f: JUMP
000005a0: JUMPDEST
000005a1: PUSH2 0x03c7
000005a4: PUSH2 0x137d
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH2 0x0283
000005ac: PUSH1 0x04
000005ae: DUP1
000005af: CALLDATASIZE
000005b0: SUB
000005b1: PUSH1 0x20
000005b3: DUP2
000005b4: LT
000005b5: ISZERO
000005b6: PUSH2 0x05be
000005b9: JUMPI
000005ba: PUSH1 0x00
000005bc: DUP1
000005bd: REVERT
000005be: JUMPDEST
000005bf: POP
000005c0: CALLDATALOAD
000005c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d6: AND
000005d7: PUSH2 0x1383
000005da: JUMP
000005db: JUMPDEST
000005dc: PUSH2 0x037a
000005df: PUSH1 0x04
000005e1: DUP1
000005e2: CALLDATASIZE
000005e3: SUB
000005e4: PUSH1 0x60
000005e6: DUP2
000005e7: LT
000005e8: ISZERO
000005e9: PUSH2 0x05f1
000005ec: JUMPI
000005ed: PUSH1 0x00
000005ef: DUP1
000005f0: REVERT
000005f1: JUMPDEST
000005f2: POP
000005f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000608: DUP2
00000609: CALLDATALOAD
0000060a: DUP2
0000060b: AND
0000060c: SWAP2
0000060d: PUSH1 0x20
0000060f: DUP2
00000610: ADD
00000611: CALLDATALOAD
00000612: DUP3
00000613: AND
00000614: SWAP2
00000615: PUSH1 0x40
00000617: SWAP1
00000618: SWAP2
00000619: ADD
0000061a: CALLDATALOAD
0000061b: AND
0000061c: PUSH2 0x1570
0000061f: JUMP
00000620: JUMPDEST
00000621: PUSH2 0x0396
00000624: PUSH2 0x1680
00000627: JUMP
00000628: JUMPDEST
00000629: PUSH2 0x0396
0000062c: PUSH2 0x169c
0000062f: JUMP
00000630: JUMPDEST
00000631: PUSH2 0x0283
00000634: PUSH1 0x04
00000636: DUP1
00000637: CALLDATASIZE
00000638: SUB
00000639: PUSH1 0xe0
0000063b: DUP2
0000063c: LT
0000063d: ISZERO
0000063e: PUSH2 0x0646
00000641: JUMPI
00000642: PUSH1 0x00
00000644: DUP1
00000645: REVERT
00000646: JUMPDEST
00000647: POP
00000648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000065d: DUP2
0000065e: CALLDATALOAD
0000065f: DUP2
00000660: AND
00000661: SWAP2
00000662: PUSH1 0x20
00000664: DUP2
00000665: ADD
00000666: CALLDATALOAD
00000667: SWAP1
00000668: SWAP2
00000669: AND
0000066a: SWAP1
0000066b: PUSH1 0x40
0000066d: DUP2
0000066e: ADD
0000066f: CALLDATALOAD
00000670: SWAP1
00000671: PUSH1 0x60
00000673: DUP2
00000674: ADD
00000675: CALLDATALOAD
00000676: SWAP1
00000677: PUSH1 0xff
00000679: PUSH1 0x80
0000067b: DUP3
0000067c: ADD
0000067d: CALLDATALOAD
0000067e: AND
0000067f: SWAP1
00000680: PUSH1 0xa0
00000682: DUP2
00000683: ADD
00000684: CALLDATALOAD
00000685: SWAP1
00000686: PUSH1 0xc0
00000688: ADD
00000689: CALLDATALOAD
0000068a: PUSH2 0x16b8
0000068d: JUMP
0000068e: JUMPDEST
0000068f: PUSH2 0x0283
00000692: PUSH1 0x04
00000694: DUP1
00000695: CALLDATASIZE
00000696: SUB
00000697: PUSH1 0xa0
00000699: DUP2
0000069a: LT
0000069b: ISZERO
0000069c: PUSH2 0x06a4
0000069f: JUMPI
000006a0: PUSH1 0x00
000006a2: DUP1
000006a3: REVERT
000006a4: JUMPDEST
000006a5: DUP2
000006a6: CALLDATALOAD
000006a7: SWAP2
000006a8: PUSH1 0x20
000006aa: DUP2
000006ab: ADD
000006ac: CALLDATALOAD
000006ad: SWAP2
000006ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c3: PUSH1 0x40
000006c5: DUP4
000006c6: ADD
000006c7: CALLDATALOAD
000006c8: AND
000006c9: SWAP2
000006ca: SWAP1
000006cb: DUP2
000006cc: ADD
000006cd: SWAP1
000006ce: PUSH1 0x80
000006d0: DUP2
000006d1: ADD
000006d2: PUSH1 0x60
000006d4: DUP3
000006d5: ADD
000006d6: CALLDATALOAD
000006d7: PUSH5 0x0100000000
000006dd: DUP2
000006de: GT
000006df: ISZERO
000006e0: PUSH2 0x06e8
000006e3: JUMPI
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: REVERT
000006e8: JUMPDEST
000006e9: DUP3
000006ea: ADD
000006eb: DUP4
000006ec: PUSH1 0x20
000006ee: DUP3
000006ef: ADD
000006f0: GT
000006f1: ISZERO
000006f2: PUSH2 0x06fa
000006f5: JUMPI
000006f6: PUSH1 0x00
000006f8: DUP1
000006f9: REVERT
000006fa: JUMPDEST
000006fb: DUP1
000006fc: CALLDATALOAD
000006fd: SWAP1
000006fe: PUSH1 0x20
00000700: ADD
00000701: SWAP2
00000702: DUP5
00000703: PUSH1 0x01
00000705: DUP4
00000706: MUL
00000707: DUP5
00000708: ADD
00000709: GT
0000070a: PUSH5 0x0100000000
00000710: DUP4
00000711: GT
00000712: OR
00000713: ISZERO
00000714: PUSH2 0x071c
00000717: JUMPI
00000718: PUSH1 0x00
0000071a: DUP1
0000071b: REVERT
0000071c: JUMPDEST
0000071d: SWAP2
0000071e: SWAP4
0000071f: POP
00000720: SWAP2
00000721: POP
00000722: CALLDATALOAD
00000723: PUSH2 0x1984
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH2 0x03c7
0000072b: PUSH1 0x04
0000072d: DUP1
0000072e: CALLDATASIZE
0000072f: SUB
00000730: PUSH1 0x40
00000732: DUP2
00000733: LT
00000734: ISZERO
00000735: PUSH2 0x073d
00000738: JUMPI
00000739: PUSH1 0x00
0000073b: DUP1
0000073c: REVERT
0000073d: JUMPDEST
0000073e: POP
0000073f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000754: DUP2
00000755: CALLDATALOAD
00000756: DUP2
00000757: AND
00000758: SWAP2
00000759: PUSH1 0x20
0000075b: ADD
0000075c: CALLDATALOAD
0000075d: AND
0000075e: PUSH2 0x1a15
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH2 0x0283
00000766: PUSH2 0x1a32
00000769: JUMP
0000076a: JUMPDEST
0000076b: PUSH1 0x0d
0000076d: SLOAD
0000076e: PUSH1 0x01
00000770: EQ
00000771: PUSH2 0x07db
00000774: JUMPI
00000775: PUSH1 0x40
00000777: DUP1
00000778: MLOAD
00000779: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000079a: DUP2
0000079b: MSTORE
0000079c: PUSH1 0x20
0000079e: PUSH1 0x04
000007a0: DUP3
000007a1: ADD
000007a2: MSTORE
000007a3: PUSH1 0x0d
000007a5: PUSH1 0x24
000007a7: DUP3
000007a8: ADD
000007a9: MSTORE
000007aa: PUSH32 0x57537761703a204c4f434b454400000000000000000000000000000000000000
000007cb: PUSH1 0x44
000007cd: DUP3
000007ce: ADD
000007cf: MSTORE
000007d0: SWAP1
000007d1: MLOAD
000007d2: SWAP1
000007d3: DUP2
000007d4: SWAP1
000007d5: SUB
000007d6: PUSH1 0x64
000007d8: ADD
000007d9: SWAP1
000007da: REVERT
000007db: JUMPDEST
000007dc: PUSH1 0x00
000007de: PUSH1 0x0d
000007e0: DUP2
000007e1: SWAP1
000007e2: SSTORE
000007e3: POP
000007e4: PUSH2 0x07f2
000007e7: DUP6
000007e8: DUP6
000007e9: DUP6
000007ea: DUP6
000007eb: DUP6
000007ec: PUSH1 0x00
000007ee: PUSH2 0x1c18
000007f1: JUMP
000007f2: JUMPDEST
000007f3: POP
000007f4: POP
000007f5: PUSH1 0x01
000007f7: PUSH1 0x0d
000007f9: SSTORE
000007fa: POP
000007fb: POP
000007fc: POP
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH1 0x40
00000801: MLOAD
00000802: DUP1
00000803: PUSH1 0x40
00000805: ADD
00000806: PUSH1 0x40
00000808: MSTORE
00000809: DUP1
0000080a: PUSH1 0x05
0000080c: DUP2
0000080d: MSTORE
0000080e: PUSH1 0x20
00000810: ADD
00000811: PUSH32 0x5753776170000000000000000000000000000000000000000000000000000000
00000832: DUP2
00000833: MSTORE
00000834: POP
00000835: DUP2
00000836: JUMP
00000837: JUMPDEST
00000838: PUSH1 0x08
0000083a: SLOAD
0000083b: PUSH14 0xffffffffffffffffffffffffffff
0000084a: DUP1
0000084b: DUP3
0000084c: AND
0000084d: SWAP3
0000084e: PUSH15 0x010000000000000000000000000000
0000085e: DUP4
0000085f: DIV
00000860: SWAP1
00000861: SWAP2
00000862: AND
00000863: SWAP2
00000864: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000882: SWAP1
00000883: DIV
00000884: PUSH4 0xffffffff
00000889: AND
0000088a: SWAP1
0000088b: JUMP
0000088c: JUMPDEST
0000088d: PUSH1 0x00
0000088f: PUSH2 0x0899
00000892: CALLER
00000893: DUP5
00000894: DUP5
00000895: PUSH2 0x22fa
00000898: JUMP
00000899: JUMPDEST
0000089a: POP
0000089b: PUSH1 0x01
0000089d: JUMPDEST
0000089e: SWAP3
0000089f: SWAP2
000008a0: POP
000008a1: POP
000008a2: JUMP
000008a3: JUMPDEST
000008a4: PUSH1 0x06
000008a6: SLOAD
000008a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008bc: AND
000008bd: DUP2
000008be: JUMP
000008bf: JUMPDEST
000008c0: PUSH1 0x00
000008c2: SLOAD
000008c3: DUP2
000008c4: JUMP
000008c5: JUMPDEST
000008c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008db: DUP4
000008dc: AND
000008dd: PUSH1 0x00
000008df: SWAP1
000008e0: DUP2
000008e1: MSTORE
000008e2: PUSH1 0x02
000008e4: PUSH1 0x20
000008e6: SWAP1
000008e7: DUP2
000008e8: MSTORE
000008e9: PUSH1 0x40
000008eb: DUP1
000008ec: DUP4
000008ed: KECCAK256
000008ee: CALLER
000008ef: DUP5
000008f0: MSTORE
000008f1: SWAP1
000008f2: SWAP2
000008f3: MSTORE
000008f4: DUP2
000008f5: KECCAK256
000008f6: SLOAD
000008f7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000918: EQ
00000919: PUSH2 0x0989
0000091c: JUMPI
0000091d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000932: DUP5
00000933: AND
00000934: PUSH1 0x00
00000936: SWAP1
00000937: DUP2
00000938: MSTORE
00000939: PUSH1 0x02
0000093b: PUSH1 0x20
0000093d: SWAP1
0000093e: DUP2
0000093f: MSTORE
00000940: PUSH1 0x40
00000942: DUP1
00000943: DUP4
00000944: KECCAK256
00000945: CALLER
00000946: DUP5
00000947: MSTORE
00000948: SWAP1
00000949: SWAP2
0000094a: MSTORE
0000094b: SWAP1
0000094c: KECCAK256
0000094d: SLOAD
0000094e: PUSH2 0x0957
00000951: SWAP1
00000952: DUP4
00000953: PUSH2 0x2369
00000956: JUMP
00000957: JUMPDEST
00000958: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096d: DUP6
0000096e: AND
0000096f: PUSH1 0x00
00000971: SWAP1
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x02
00000976: PUSH1 0x20
00000978: SWAP1
00000979: DUP2
0000097a: MSTORE
0000097b: PUSH1 0x40
0000097d: DUP1
0000097e: DUP4
0000097f: KECCAK256
00000980: CALLER
00000981: DUP5
00000982: MSTORE
00000983: SWAP1
00000984: SWAP2
00000985: MSTORE
00000986: SWAP1
00000987: KECCAK256
00000988: SSTORE
00000989: JUMPDEST
0000098a: PUSH2 0x0994
0000098d: DUP5
0000098e: DUP5
0000098f: DUP5
00000990: PUSH2 0x23db
00000993: JUMP
00000994: JUMPDEST
00000995: POP
00000996: PUSH1 0x01
00000998: SWAP4
00000999: SWAP3
0000099a: POP
0000099b: POP
0000099c: POP
0000099d: JUMP
0000099e: JUMPDEST
0000099f: PUSH1 0x02
000009a1: SWAP1
000009a2: JUMP
000009a3: JUMPDEST
000009a4: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
000009c5: DUP2
000009c6: JUMP
000009c7: JUMPDEST
000009c8: PUSH1 0x12
000009ca: DUP2
000009cb: JUMP
000009cc: JUMPDEST
000009cd: PUSH1 0x03
000009cf: SLOAD
000009d0: DUP2
000009d1: JUMP
000009d2: JUMPDEST
000009d3: PUSH1 0x09
000009d5: SLOAD
000009d6: DUP2
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH1 0x0a
000009db: SLOAD
000009dc: DUP2
000009dd: JUMP
000009de: JUMPDEST
000009df: PUSH1 0x00
000009e1: PUSH1 0x0d
000009e3: SLOAD
000009e4: PUSH1 0x01
000009e6: EQ
000009e7: PUSH2 0x0a51
000009ea: JUMPI
000009eb: PUSH1 0x40
000009ed: DUP1
000009ee: MLOAD
000009ef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a10: DUP2
00000a11: MSTORE
00000a12: PUSH1 0x20
00000a14: PUSH1 0x04
00000a16: DUP3
00000a17: ADD
00000a18: MSTORE
00000a19: PUSH1 0x0d
00000a1b: PUSH1 0x24
00000a1d: DUP3
00000a1e: ADD
00000a1f: MSTORE
00000a20: PUSH32 0x57537761703a204c4f434b454400000000000000000000000000000000000000
00000a41: PUSH1 0x44
00000a43: DUP3
00000a44: ADD
00000a45: MSTORE
00000a46: SWAP1
00000a47: MLOAD
00000a48: SWAP1
00000a49: DUP2
00000a4a: SWAP1
00000a4b: SUB
00000a4c: PUSH1 0x64
00000a4e: ADD
00000a4f: SWAP1
00000a50: REVERT
00000a51: JUMPDEST
00000a52: PUSH1 0x00
00000a54: PUSH1 0x0d
00000a56: DUP2
00000a57: SWAP1
00000a58: SSTORE
00000a59: DUP1
00000a5a: PUSH2 0x0a61
00000a5d: PUSH2 0x0837
00000a60: JUMP
00000a61: JUMPDEST
00000a62: POP
00000a63: PUSH1 0x06
00000a65: SLOAD
00000a66: PUSH1 0x40
00000a68: DUP1
00000a69: MLOAD
00000a6a: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000a8b: DUP2
00000a8c: MSTORE
00000a8d: ADDRESS
00000a8e: PUSH1 0x04
00000a90: DUP3
00000a91: ADD
00000a92: MSTORE
00000a93: SWAP1
00000a94: MLOAD
00000a95: SWAP4
00000a96: SWAP6
00000a97: POP
00000a98: SWAP2
00000a99: SWAP4
00000a9a: POP
00000a9b: PUSH1 0x00
00000a9d: SWAP3
00000a9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab3: SWAP1
00000ab4: SWAP2
00000ab5: AND
00000ab6: SWAP2
00000ab7: PUSH4 0x70a08231
00000abc: SWAP2
00000abd: PUSH1 0x24
00000abf: DUP1
00000ac0: DUP4
00000ac1: ADD
00000ac2: SWAP3
00000ac3: PUSH1 0x20
00000ac5: SWAP3
00000ac6: SWAP2
00000ac7: SWAP1
00000ac8: DUP3
00000ac9: SWAP1
00000aca: SUB
00000acb: ADD
00000acc: DUP2
00000acd: DUP7
00000ace: DUP1
00000acf: EXTCODESIZE
00000ad0: ISZERO
00000ad1: DUP1
00000ad2: ISZERO
00000ad3: PUSH2 0x0adb
00000ad6: JUMPI
00000ad7: PUSH1 0x00
00000ad9: DUP1
00000ada: REVERT
00000adb: JUMPDEST
00000adc: POP
00000add: GAS
00000ade: STATICCALL
00000adf: ISZERO
00000ae0: DUP1
00000ae1: ISZERO
00000ae2: PUSH2 0x0aef
00000ae5: JUMPI
00000ae6: RETURNDATASIZE
00000ae7: PUSH1 0x00
00000ae9: DUP1
00000aea: RETURNDATACOPY
00000aeb: RETURNDATASIZE
00000aec: PUSH1 0x00
00000aee: REVERT
00000aef: JUMPDEST
00000af0: POP
00000af1: POP
00000af2: POP
00000af3: POP
00000af4: PUSH1 0x40
00000af6: MLOAD
00000af7: RETURNDATASIZE
00000af8: PUSH1 0x20
00000afa: DUP2
00000afb: LT
00000afc: ISZERO
00000afd: PUSH2 0x0b05
00000b00: JUMPI
00000b01: PUSH1 0x00
00000b03: DUP1
00000b04: REVERT
00000b05: JUMPDEST
00000b06: POP
00000b07: MLOAD
00000b08: PUSH1 0x07
00000b0a: SLOAD
00000b0b: PUSH1 0x40
00000b0d: DUP1
00000b0e: MLOAD
00000b0f: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000b30: DUP2
00000b31: MSTORE
00000b32: ADDRESS
00000b33: PUSH1 0x04
00000b35: DUP3
00000b36: ADD
00000b37: MSTORE
00000b38: SWAP1
00000b39: MLOAD
00000b3a: SWAP3
00000b3b: SWAP4
00000b3c: POP
00000b3d: PUSH1 0x00
00000b3f: SWAP3
00000b40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b55: SWAP1
00000b56: SWAP3
00000b57: AND
00000b58: SWAP2
00000b59: PUSH4 0x70a08231
00000b5e: SWAP2
00000b5f: PUSH1 0x24
00000b61: DUP1
00000b62: DUP3
00000b63: ADD
00000b64: SWAP3
00000b65: PUSH1 0x20
00000b67: SWAP3
00000b68: SWAP1
00000b69: SWAP2
00000b6a: SWAP1
00000b6b: DUP3
00000b6c: SWAP1
00000b6d: SUB
00000b6e: ADD
00000b6f: DUP2
00000b70: DUP7
00000b71: DUP1
00000b72: EXTCODESIZE
00000b73: ISZERO
00000b74: DUP1
00000b75: ISZERO
00000b76: PUSH2 0x0b7e
00000b79: JUMPI
00000b7a: PUSH1 0x00
00000b7c: DUP1
00000b7d: REVERT
00000b7e: JUMPDEST
00000b7f: POP
00000b80: GAS
00000b81: STATICCALL
00000b82: ISZERO
00000b83: DUP1
00000b84: ISZERO
00000b85: PUSH2 0x0b92
00000b88: JUMPI
00000b89: RETURNDATASIZE
00000b8a: PUSH1 0x00
00000b8c: DUP1
00000b8d: RETURNDATACOPY
00000b8e: RETURNDATASIZE
00000b8f: PUSH1 0x00
00000b91: REVERT
00000b92: JUMPDEST
00000b93: POP
00000b94: POP
00000b95: POP
00000b96: POP
00000b97: PUSH1 0x40
00000b99: MLOAD
00000b9a: RETURNDATASIZE
00000b9b: PUSH1 0x20
00000b9d: DUP2
00000b9e: LT
00000b9f: ISZERO
00000ba0: PUSH2 0x0ba8
00000ba3: JUMPI
00000ba4: PUSH1 0x00
00000ba6: DUP1
00000ba7: REVERT
00000ba8: JUMPDEST
00000ba9: POP
00000baa: MLOAD
00000bab: SWAP1
00000bac: POP
00000bad: PUSH1 0x00
00000baf: PUSH2 0x0bc8
00000bb2: DUP4
00000bb3: PUSH14 0xffffffffffffffffffffffffffff
00000bc2: DUP8
00000bc3: AND
00000bc4: PUSH2 0x2369
00000bc7: JUMP
00000bc8: JUMPDEST
00000bc9: SWAP1
00000bca: POP
00000bcb: PUSH1 0x00
00000bcd: PUSH2 0x0be6
00000bd0: DUP4
00000bd1: PUSH14 0xffffffffffffffffffffffffffff
00000be0: DUP8
00000be1: AND
00000be2: PUSH2 0x2369
00000be5: JUMP
00000be6: JUMPDEST
00000be7: SWAP1
00000be8: POP
00000be9: PUSH1 0x00
00000beb: PUSH2 0x0bf4
00000bee: DUP8
00000bef: DUP8
00000bf0: PUSH2 0x24b0
00000bf3: JUMP
00000bf4: JUMPDEST
00000bf5: PUSH1 0x00
00000bf7: SLOAD
00000bf8: SWAP1
00000bf9: SWAP2
00000bfa: POP
00000bfb: DUP1
00000bfc: PUSH2 0x0c31
00000bff: JUMPI
00000c00: PUSH2 0x0c1d
00000c03: PUSH2 0x03e8
00000c06: PUSH2 0x0c17
00000c09: PUSH2 0x0c12
00000c0c: DUP8
00000c0d: DUP8
00000c0e: PUSH2 0x261e
00000c11: JUMP
00000c12: JUMPDEST
00000c13: PUSH2 0x26a4
00000c16: JUMP
00000c17: JUMPDEST
00000c18: SWAP1
00000c19: PUSH2 0x2369
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: SWAP9
00000c1f: POP
00000c20: PUSH2 0x0c2c
00000c23: PUSH1 0x00
00000c25: PUSH2 0x03e8
00000c28: PUSH2 0x26f6
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: PUSH2 0x0c82
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH2 0x0c7f
00000c35: PUSH14 0xffffffffffffffffffffffffffff
00000c44: DUP10
00000c45: AND
00000c46: PUSH2 0x0c4f
00000c49: DUP7
00000c4a: DUP5
00000c4b: PUSH2 0x261e
00000c4e: JUMP
00000c4f: JUMPDEST
00000c50: DUP2
00000c51: PUSH2 0x0c56
00000c54: JUMPI
00000c55: INVALID
00000c56: JUMPDEST
00000c57: DIV
00000c58: PUSH14 0xffffffffffffffffffffffffffff
00000c67: DUP10
00000c68: AND
00000c69: PUSH2 0x0c72
00000c6c: DUP7
00000c6d: DUP6
00000c6e: PUSH2 0x261e
00000c71: JUMP
00000c72: JUMPDEST
00000c73: DUP2
00000c74: PUSH2 0x0c79
00000c77: JUMPI
00000c78: INVALID
00000c79: JUMPDEST
00000c7a: DIV
00000c7b: PUSH2 0x279a
00000c7e: JUMP
00000c7f: JUMPDEST
00000c80: SWAP9
00000c81: POP
00000c82: JUMPDEST
00000c83: PUSH1 0x00
00000c85: DUP10
00000c86: GT
00000c87: PUSH2 0x0cdb
00000c8a: JUMPI
00000c8b: PUSH1 0x40
00000c8d: MLOAD
00000c8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000caf: DUP2
00000cb0: MSTORE
00000cb1: PUSH1 0x04
00000cb3: ADD
00000cb4: DUP1
00000cb5: DUP1
00000cb6: PUSH1 0x20
00000cb8: ADD
00000cb9: DUP3
00000cba: DUP2
00000cbb: SUB
00000cbc: DUP3
00000cbd: MSTORE
00000cbe: PUSH1 0x24
00000cc0: DUP2
00000cc1: MSTORE
00000cc2: PUSH1 0x20
00000cc4: ADD
00000cc5: DUP1
00000cc6: PUSH2 0x2e95
00000cc9: PUSH1 0x24
00000ccb: SWAP2
00000ccc: CODECOPY
00000ccd: PUSH1 0x40
00000ccf: ADD
00000cd0: SWAP2
00000cd1: POP
00000cd2: POP
00000cd3: PUSH1 0x40
00000cd5: MLOAD
00000cd6: DUP1
00000cd7: SWAP2
00000cd8: SUB
00000cd9: SWAP1
00000cda: REVERT
00000cdb: JUMPDEST
00000cdc: PUSH2 0x0ce5
00000cdf: DUP11
00000ce0: DUP11
00000ce1: PUSH2 0x26f6
00000ce4: JUMP
00000ce5: JUMPDEST
00000ce6: PUSH2 0x0cf1
00000ce9: DUP7
00000cea: DUP7
00000ceb: DUP11
00000cec: DUP11
00000ced: PUSH2 0x27b2
00000cf0: JUMP
00000cf1: JUMPDEST
00000cf2: DUP2
00000cf3: ISZERO
00000cf4: PUSH2 0x0d2d
00000cf7: JUMPI
00000cf8: PUSH1 0x08
00000cfa: SLOAD
00000cfb: PUSH2 0x0d29
00000cfe: SWAP1
00000cff: PUSH14 0xffffffffffffffffffffffffffff
00000d0e: DUP1
00000d0f: DUP3
00000d10: AND
00000d11: SWAP2
00000d12: PUSH15 0x010000000000000000000000000000
00000d22: SWAP1
00000d23: DIV
00000d24: AND
00000d25: PUSH2 0x261e
00000d28: JUMP
00000d29: JUMPDEST
00000d2a: PUSH1 0x0b
00000d2c: SSTORE
00000d2d: JUMPDEST
00000d2e: PUSH1 0x40
00000d30: DUP1
00000d31: MLOAD
00000d32: DUP6
00000d33: DUP2
00000d34: MSTORE
00000d35: PUSH1 0x20
00000d37: DUP2
00000d38: ADD
00000d39: DUP6
00000d3a: SWAP1
00000d3b: MSTORE
00000d3c: DUP2
00000d3d: MLOAD
00000d3e: CALLER
00000d3f: SWAP3
00000d40: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
00000d61: SWAP3
00000d62: DUP3
00000d63: SWAP1
00000d64: SUB
00000d65: ADD
00000d66: SWAP1
00000d67: LOG2
00000d68: POP
00000d69: POP
00000d6a: PUSH1 0x01
00000d6c: PUSH1 0x0d
00000d6e: SSTORE
00000d6f: POP
00000d70: SWAP5
00000d71: SWAP7
00000d72: SWAP6
00000d73: POP
00000d74: POP
00000d75: POP
00000d76: POP
00000d77: POP
00000d78: POP
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: PUSH1 0x01
00000d7d: PUSH1 0x20
00000d7f: MSTORE
00000d80: PUSH1 0x00
00000d82: SWAP1
00000d83: DUP2
00000d84: MSTORE
00000d85: PUSH1 0x40
00000d87: SWAP1
00000d88: KECCAK256
00000d89: SLOAD
00000d8a: DUP2
00000d8b: JUMP
00000d8c: JUMPDEST
00000d8d: PUSH1 0x0b
00000d8f: SLOAD
00000d90: DUP2
00000d91: JUMP
00000d92: JUMPDEST
00000d93: PUSH1 0x04
00000d95: PUSH1 0x20
00000d97: MSTORE
00000d98: PUSH1 0x00
00000d9a: SWAP1
00000d9b: DUP2
00000d9c: MSTORE
00000d9d: PUSH1 0x40
00000d9f: SWAP1
00000da0: KECCAK256
00000da1: SLOAD
00000da2: DUP2
00000da3: JUMP
00000da4: JUMPDEST
00000da5: PUSH1 0x40
00000da7: DUP1
00000da8: MLOAD
00000da9: DUP1
00000daa: DUP3
00000dab: ADD
00000dac: DUP3
00000dad: MSTORE
00000dae: PUSH1 0x05
00000db0: DUP2
00000db1: MSTORE
00000db2: PUSH32 0x5753776170000000000000000000000000000000000000000000000000000000
00000dd3: PUSH1 0x20
00000dd5: SWAP2
00000dd6: DUP3
00000dd7: ADD
00000dd8: MSTORE
00000dd9: DUP2
00000dda: MLOAD
00000ddb: DUP1
00000ddc: DUP4
00000ddd: ADD
00000dde: DUP4
00000ddf: MSTORE
00000de0: PUSH1 0x01
00000de2: DUP2
00000de3: MSTORE
00000de4: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000
00000e05: SWAP1
00000e06: DUP3
00000e07: ADD
00000e08: MSTORE
00000e09: DUP2
00000e0a: MLOAD
00000e0b: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00000e2c: DUP2
00000e2d: DUP4
00000e2e: ADD
00000e2f: MSTORE
00000e30: PUSH32 0x82fbc52f220d172a715715265efe0d5ec1c17d6b97d5272b97547ca9283e61d6
00000e51: DUP2
00000e52: DUP5
00000e53: ADD
00000e54: MSTORE
00000e55: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
00000e76: PUSH1 0x60
00000e78: DUP3
00000e79: ADD
00000e7a: MSTORE
00000e7b: CHAINID
00000e7c: PUSH1 0x80
00000e7e: DUP3
00000e7f: ADD
00000e80: MSTORE
00000e81: ADDRESS
00000e82: PUSH1 0xa0
00000e84: DUP1
00000e85: DUP4
00000e86: ADD
00000e87: SWAP2
00000e88: SWAP1
00000e89: SWAP2
00000e8a: MSTORE
00000e8b: DUP4
00000e8c: MLOAD
00000e8d: DUP1
00000e8e: DUP4
00000e8f: SUB
00000e90: SWAP1
00000e91: SWAP2
00000e92: ADD
00000e93: DUP2
00000e94: MSTORE
00000e95: PUSH1 0xc0
00000e97: SWAP1
00000e98: SWAP2
00000e99: ADD
00000e9a: SWAP1
00000e9b: SWAP3
00000e9c: MSTORE
00000e9d: DUP2
00000e9e: MLOAD
00000e9f: SWAP2
00000ea0: ADD
00000ea1: KECCAK256
00000ea2: PUSH1 0x03
00000ea4: SSTORE
00000ea5: JUMP
00000ea6: JUMPDEST
00000ea7: PUSH1 0x00
00000ea9: DUP1
00000eaa: PUSH1 0x0d
00000eac: SLOAD
00000ead: PUSH1 0x01
00000eaf: EQ
00000eb0: PUSH2 0x0f1a
00000eb3: JUMPI
00000eb4: PUSH1 0x40
00000eb6: DUP1
00000eb7: MLOAD
00000eb8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ed9: DUP2
00000eda: MSTORE
00000edb: PUSH1 0x20
00000edd: PUSH1 0x04
00000edf: DUP3
00000ee0: ADD
00000ee1: MSTORE
00000ee2: PUSH1 0x0d
00000ee4: PUSH1 0x24
00000ee6: DUP3
00000ee7: ADD
00000ee8: MSTORE
00000ee9: PUSH32 0x57537761703a204c4f434b454400000000000000000000000000000000000000
00000f0a: PUSH1 0x44
00000f0c: DUP3
00000f0d: ADD
00000f0e: MSTORE
00000f0f: SWAP1
00000f10: MLOAD
00000f11: SWAP1
00000f12: DUP2
00000f13: SWAP1
00000f14: SUB
00000f15: PUSH1 0x64
00000f17: ADD
00000f18: SWAP1
00000f19: REVERT
00000f1a: JUMPDEST
00000f1b: PUSH1 0x00
00000f1d: PUSH1 0x0d
00000f1f: DUP2
00000f20: SWAP1
00000f21: SSTORE
00000f22: DUP1
00000f23: PUSH2 0x0f2a
00000f26: PUSH2 0x0837
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: POP
00000f2c: PUSH1 0x06
00000f2e: SLOAD
00000f2f: PUSH1 0x07
00000f31: SLOAD
00000f32: PUSH1 0x40
00000f34: DUP1
00000f35: MLOAD
00000f36: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000f57: DUP2
00000f58: MSTORE
00000f59: ADDRESS
00000f5a: PUSH1 0x04
00000f5c: DUP3
00000f5d: ADD
00000f5e: MSTORE
00000f5f: SWAP1
00000f60: MLOAD
00000f61: SWAP5
00000f62: SWAP7
00000f63: POP
00000f64: SWAP3
00000f65: SWAP5
00000f66: POP
00000f67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7c: SWAP2
00000f7d: DUP3
00000f7e: AND
00000f7f: SWAP4
00000f80: SWAP2
00000f81: AND
00000f82: SWAP2
00000f83: PUSH1 0x00
00000f85: SWAP2
00000f86: DUP5
00000f87: SWAP2
00000f88: PUSH4 0x70a08231
00000f8d: SWAP2
00000f8e: PUSH1 0x24
00000f90: DUP1
00000f91: DUP4
00000f92: ADD
00000f93: SWAP3
00000f94: PUSH1 0x20
00000f96: SWAP3
00000f97: SWAP2
00000f98: SWAP1
00000f99: DUP3
00000f9a: SWAP1
00000f9b: SUB
00000f9c: ADD
00000f9d: DUP2
00000f9e: DUP7
00000f9f: DUP1
00000fa0: EXTCODESIZE
00000fa1: ISZERO
00000fa2: DUP1
00000fa3: ISZERO
00000fa4: PUSH2 0x0fac
00000fa7: JUMPI
00000fa8: PUSH1 0x00
00000faa: DUP1
00000fab: REVERT
00000fac: JUMPDEST
00000fad: POP
00000fae: GAS
00000faf: STATICCALL
00000fb0: ISZERO
00000fb1: DUP1
00000fb2: ISZERO
00000fb3: PUSH2 0x0fc0
00000fb6: JUMPI
00000fb7: RETURNDATASIZE
00000fb8: PUSH1 0x00
00000fba: DUP1
00000fbb: RETURNDATACOPY
00000fbc: RETURNDATASIZE
00000fbd: PUSH1 0x00
00000fbf: REVERT
00000fc0: JUMPDEST
00000fc1: POP
00000fc2: POP
00000fc3: POP
00000fc4: POP
00000fc5: PUSH1 0x40
00000fc7: MLOAD
00000fc8: RETURNDATASIZE
00000fc9: PUSH1 0x20
00000fcb: DUP2
00000fcc: LT
00000fcd: ISZERO
00000fce: PUSH2 0x0fd6
00000fd1: JUMPI
00000fd2: PUSH1 0x00
00000fd4: DUP1
00000fd5: REVERT
00000fd6: JUMPDEST
00000fd7: POP
00000fd8: MLOAD
00000fd9: PUSH1 0x40
00000fdb: DUP1
00000fdc: MLOAD
00000fdd: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000ffe: DUP2
00000fff: MSTORE
00001000: ADDRESS
00001001: PUSH1 0x04
00001003: DUP3
00001004: ADD
00001005: MSTORE
00001006: SWAP1
00001007: MLOAD
00001008: SWAP2
00001009: SWAP3
0000100a: POP
0000100b: PUSH1 0x00
0000100d: SWAP2
0000100e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001023: DUP6
00001024: AND
00001025: SWAP2
00001026: PUSH4 0x70a08231
0000102b: SWAP2
0000102c: PUSH1 0x24
0000102e: DUP1
0000102f: DUP4
00001030: ADD
00001031: SWAP3
00001032: PUSH1 0x20
00001034: SWAP3
00001035: SWAP2
00001036: SWAP1
00001037: DUP3
00001038: SWAP1
00001039: SUB
0000103a: ADD
0000103b: DUP2
0000103c: DUP7
0000103d: DUP1
0000103e: EXTCODESIZE
0000103f: ISZERO
00001040: DUP1
00001041: ISZERO
00001042: PUSH2 0x104a
00001045: JUMPI
00001046: PUSH1 0x00
00001048: DUP1
00001049: REVERT
0000104a: JUMPDEST
0000104b: POP
0000104c: GAS
0000104d: STATICCALL
0000104e: ISZERO
0000104f: DUP1
00001050: ISZERO
00001051: PUSH2 0x105e
00001054: JUMPI
00001055: RETURNDATASIZE
00001056: PUSH1 0x00
00001058: DUP1
00001059: RETURNDATACOPY
0000105a: RETURNDATASIZE
0000105b: PUSH1 0x00
0000105d: REVERT
0000105e: JUMPDEST
0000105f: POP
00001060: POP
00001061: POP
00001062: POP
00001063: PUSH1 0x40
00001065: MLOAD
00001066: RETURNDATASIZE
00001067: PUSH1 0x20
00001069: DUP2
0000106a: LT
0000106b: ISZERO
0000106c: PUSH2 0x1074
0000106f: JUMPI
00001070: PUSH1 0x00
00001072: DUP1
00001073: REVERT
00001074: JUMPDEST
00001075: POP
00001076: MLOAD
00001077: ADDRESS
00001078: PUSH1 0x00
0000107a: SWAP1
0000107b: DUP2
0000107c: MSTORE
0000107d: PUSH1 0x01
0000107f: PUSH1 0x20
00001081: MSTORE
00001082: PUSH1 0x40
00001084: DUP2
00001085: KECCAK256
00001086: SLOAD
00001087: SWAP2
00001088: SWAP3
00001089: POP
0000108a: PUSH2 0x1093
0000108d: DUP9
0000108e: DUP9
0000108f: PUSH2 0x24b0
00001092: JUMP
00001093: JUMPDEST
00001094: PUSH1 0x00
00001096: SLOAD
00001097: SWAP1
00001098: SWAP2
00001099: POP
0000109a: DUP1
0000109b: PUSH2 0x10a4
0000109e: DUP5
0000109f: DUP8
000010a0: PUSH2 0x261e
000010a3: JUMP
000010a4: JUMPDEST
000010a5: DUP2
000010a6: PUSH2 0x10ab
000010a9: JUMPI
000010aa: INVALID
000010ab: JUMPDEST
000010ac: DIV
000010ad: SWAP11
000010ae: POP
000010af: DUP1
000010b0: PUSH2 0x10b9
000010b3: DUP5
000010b4: DUP7
000010b5: PUSH2 0x261e
000010b8: JUMP
000010b9: JUMPDEST
000010ba: DUP2
000010bb: PUSH2 0x10c0
000010be: JUMPI
000010bf: INVALID
000010c0: JUMPDEST
000010c1: DIV
000010c2: SWAP10
000010c3: POP
000010c4: PUSH1 0x00
000010c6: DUP12
000010c7: GT
000010c8: DUP1
000010c9: ISZERO
000010ca: PUSH2 0x10d3
000010cd: JUMPI
000010ce: POP
000010cf: PUSH1 0x00
000010d1: DUP11
000010d2: GT
000010d3: JUMPDEST
000010d4: PUSH2 0x1128
000010d7: JUMPI
000010d8: PUSH1 0x40
000010da: MLOAD
000010db: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010fc: DUP2
000010fd: MSTORE
000010fe: PUSH1 0x04
00001100: ADD
00001101: DUP1
00001102: DUP1
00001103: PUSH1 0x20
00001105: ADD
00001106: DUP3
00001107: DUP2
00001108: SUB
00001109: DUP3
0000110a: MSTORE
0000110b: PUSH1 0x24
0000110d: DUP2
0000110e: MSTORE
0000110f: PUSH1 0x20
00001111: ADD
00001112: DUP1
00001113: PUSH2 0x2e50
00001116: PUSH1 0x24
00001118: SWAP2
00001119: CODECOPY
0000111a: PUSH1 0x40
0000111c: ADD
0000111d: SWAP2
0000111e: POP
0000111f: POP
00001120: PUSH1 0x40
00001122: MLOAD
00001123: DUP1
00001124: SWAP2
00001125: SUB
00001126: SWAP1
00001127: REVERT
00001128: JUMPDEST
00001129: PUSH2 0x1132
0000112c: ADDRESS
0000112d: DUP5
0000112e: PUSH2 0x2a68
00001131: JUMP
00001132: JUMPDEST
00001133: PUSH2 0x113d
00001136: DUP8
00001137: DUP14
00001138: DUP14
00001139: PUSH2 0x2b21
0000113c: JUMP
0000113d: JUMPDEST
0000113e: PUSH2 0x1148
00001141: DUP7
00001142: DUP14
00001143: DUP13
00001144: PUSH2 0x2b21
00001147: JUMP
00001148: JUMPDEST
00001149: PUSH1 0x40
0000114b: DUP1
0000114c: MLOAD
0000114d: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
0000116e: DUP2
0000116f: MSTORE
00001170: ADDRESS
00001171: PUSH1 0x04
00001173: DUP3
00001174: ADD
00001175: MSTORE
00001176: SWAP1
00001177: MLOAD
00001178: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118d: DUP10
0000118e: AND
0000118f: SWAP2
00001190: PUSH4 0x70a08231
00001195: SWAP2
00001196: PUSH1 0x24
00001198: DUP1
00001199: DUP4
0000119a: ADD
0000119b: SWAP3
0000119c: PUSH1 0x20
0000119e: SWAP3
0000119f: SWAP2
000011a0: SWAP1
000011a1: DUP3
000011a2: SWAP1
000011a3: SUB
000011a4: ADD
000011a5: DUP2
000011a6: DUP7
000011a7: DUP1
000011a8: EXTCODESIZE
000011a9: ISZERO
000011aa: DUP1
000011ab: ISZERO
000011ac: PUSH2 0x11b4
000011af: JUMPI
000011b0: PUSH1 0x00
000011b2: DUP1
000011b3: REVERT
000011b4: JUMPDEST
000011b5: POP
000011b6: GAS
000011b7: STATICCALL
000011b8: ISZERO
000011b9: DUP1
000011ba: ISZERO
000011bb: PUSH2 0x11c8
000011be: JUMPI
000011bf: RETURNDATASIZE
000011c0: PUSH1 0x00
000011c2: DUP1
000011c3: RETURNDATACOPY
000011c4: RETURNDATASIZE
000011c5: PUSH1 0x00
000011c7: REVERT
000011c8: JUMPDEST
000011c9: POP
000011ca: POP
000011cb: POP
000011cc: POP
000011cd: PUSH1 0x40
000011cf: MLOAD
000011d0: RETURNDATASIZE
000011d1: PUSH1 0x20
000011d3: DUP2
000011d4: LT
000011d5: ISZERO
000011d6: PUSH2 0x11de
000011d9: JUMPI
000011da: PUSH1 0x00
000011dc: DUP1
000011dd: REVERT
000011de: JUMPDEST
000011df: POP
000011e0: MLOAD
000011e1: PUSH1 0x40
000011e3: DUP1
000011e4: MLOAD
000011e5: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001206: DUP2
00001207: MSTORE
00001208: ADDRESS
00001209: PUSH1 0x04
0000120b: DUP3
0000120c: ADD
0000120d: MSTORE
0000120e: SWAP1
0000120f: MLOAD
00001210: SWAP2
00001211: SWAP7
00001212: POP
00001213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001228: DUP9
00001229: AND
0000122a: SWAP2
0000122b: PUSH4 0x70a08231
00001230: SWAP2
00001231: PUSH1 0x24
00001233: DUP1
00001234: DUP3
00001235: ADD
00001236: SWAP3
00001237: PUSH1 0x20
00001239: SWAP3
0000123a: SWAP1
0000123b: SWAP2
0000123c: SWAP1
0000123d: DUP3
0000123e: SWAP1
0000123f: SUB
00001240: ADD
00001241: DUP2
00001242: DUP7
00001243: DUP1
00001244: EXTCODESIZE
00001245: ISZERO
00001246: DUP1
00001247: ISZERO
00001248: PUSH2 0x1250
0000124b: JUMPI
0000124c: PUSH1 0x00
0000124e: DUP1
0000124f: REVERT
00001250: JUMPDEST
00001251: POP
00001252: GAS
00001253: STATICCALL
00001254: ISZERO
00001255: DUP1
00001256: ISZERO
00001257: PUSH2 0x1264
0000125a: JUMPI
0000125b: RETURNDATASIZE
0000125c: PUSH1 0x00
0000125e: DUP1
0000125f: RETURNDATACOPY
00001260: RETURNDATASIZE
00001261: PUSH1 0x00
00001263: REVERT
00001264: JUMPDEST
00001265: POP
00001266: POP
00001267: POP
00001268: POP
00001269: PUSH1 0x40
0000126b: MLOAD
0000126c: RETURNDATASIZE
0000126d: PUSH1 0x20
0000126f: DUP2
00001270: LT
00001271: ISZERO
00001272: PUSH2 0x127a
00001275: JUMPI
00001276: PUSH1 0x00
00001278: DUP1
00001279: REVERT
0000127a: JUMPDEST
0000127b: POP
0000127c: MLOAD
0000127d: SWAP4
0000127e: POP
0000127f: PUSH2 0x128a
00001282: DUP6
00001283: DUP6
00001284: DUP12
00001285: DUP12
00001286: PUSH2 0x27b2
00001289: JUMP
0000128a: JUMPDEST
0000128b: DUP2
0000128c: ISZERO
0000128d: PUSH2 0x12c6
00001290: JUMPI
00001291: PUSH1 0x08
00001293: SLOAD
00001294: PUSH2 0x12c2
00001297: SWAP1
00001298: PUSH14 0xffffffffffffffffffffffffffff
000012a7: DUP1
000012a8: DUP3
000012a9: AND
000012aa: SWAP2
000012ab: PUSH15 0x010000000000000000000000000000
000012bb: SWAP1
000012bc: DIV
000012bd: AND
000012be: PUSH2 0x261e
000012c1: JUMP
000012c2: JUMPDEST
000012c3: PUSH1 0x0b
000012c5: SSTORE
000012c6: JUMPDEST
000012c7: PUSH1 0x40
000012c9: DUP1
000012ca: MLOAD
000012cb: DUP13
000012cc: DUP2
000012cd: MSTORE
000012ce: PUSH1 0x20
000012d0: DUP2
000012d1: ADD
000012d2: DUP13
000012d3: SWAP1
000012d4: MSTORE
000012d5: DUP2
000012d6: MLOAD
000012d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ec: DUP16
000012ed: AND
000012ee: SWAP3
000012ef: CALLER
000012f0: SWAP3
000012f1: PUSH32 0xdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496
00001312: SWAP3
00001313: SWAP1
00001314: DUP2
00001315: SWAP1
00001316: SUB
00001317: SWAP1
00001318: SWAP2
00001319: ADD
0000131a: SWAP1
0000131b: LOG3
0000131c: POP
0000131d: POP
0000131e: POP
0000131f: POP
00001320: POP
00001321: POP
00001322: POP
00001323: POP
00001324: POP
00001325: PUSH1 0x01
00001327: PUSH1 0x0d
00001329: DUP2
0000132a: SWAP1
0000132b: SSTORE
0000132c: POP
0000132d: SWAP2
0000132e: POP
0000132f: SWAP2
00001330: JUMP
00001331: JUMPDEST
00001332: PUSH1 0x40
00001334: MLOAD
00001335: DUP1
00001336: PUSH1 0x40
00001338: ADD
00001339: PUSH1 0x40
0000133b: MSTORE
0000133c: DUP1
0000133d: PUSH1 0x03
0000133f: DUP2
00001340: MSTORE
00001341: PUSH1 0x20
00001343: ADD
00001344: PUSH32 0x5753530000000000000000000000000000000000000000000000000000000000
00001365: DUP2
00001366: MSTORE
00001367: POP
00001368: DUP2
00001369: JUMP
0000136a: JUMPDEST
0000136b: PUSH1 0x0d
0000136d: SLOAD
0000136e: SWAP1
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH1 0x00
00001373: PUSH2 0x0899
00001376: CALLER
00001377: DUP5
00001378: DUP5
00001379: PUSH2 0x23db
0000137c: JUMP
0000137d: JUMPDEST
0000137e: PUSH2 0x03e8
00001381: DUP2
00001382: JUMP
00001383: JUMPDEST
00001384: PUSH1 0x0d
00001386: SLOAD
00001387: PUSH1 0x01
00001389: EQ
0000138a: PUSH2 0x13f4
0000138d: JUMPI
0000138e: PUSH1 0x40
00001390: DUP1
00001391: MLOAD
00001392: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013b3: DUP2
000013b4: MSTORE
000013b5: PUSH1 0x20
000013b7: PUSH1 0x04
000013b9: DUP3
000013ba: ADD
000013bb: MSTORE
000013bc: PUSH1 0x0d
000013be: PUSH1 0x24
000013c0: DUP3
000013c1: ADD
000013c2: MSTORE
000013c3: PUSH32 0x57537761703a204c4f434b454400000000000000000000000000000000000000
000013e4: PUSH1 0x44
000013e6: DUP3
000013e7: ADD
000013e8: MSTORE
000013e9: SWAP1
000013ea: MLOAD
000013eb: SWAP1
000013ec: DUP2
000013ed: SWAP1
000013ee: SUB
000013ef: PUSH1 0x64
000013f1: ADD
000013f2: SWAP1
000013f3: REVERT
000013f4: JUMPDEST
000013f5: PUSH1 0x00
000013f7: PUSH1 0x0d
000013f9: SSTORE
000013fa: PUSH1 0x06
000013fc: SLOAD
000013fd: PUSH1 0x07
000013ff: SLOAD
00001400: PUSH1 0x08
00001402: SLOAD
00001403: PUSH1 0x40
00001405: DUP1
00001406: MLOAD
00001407: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001428: DUP2
00001429: MSTORE
0000142a: ADDRESS
0000142b: PUSH1 0x04
0000142d: DUP3
0000142e: ADD
0000142f: MSTORE
00001430: SWAP1
00001431: MLOAD
00001432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001447: SWAP5
00001448: DUP6
00001449: AND
0000144a: SWAP5
0000144b: SWAP1
0000144c: SWAP4
0000144d: AND
0000144e: SWAP3
0000144f: PUSH2 0x14ca
00001452: SWAP3
00001453: DUP6
00001454: SWAP3
00001455: DUP8
00001456: SWAP3
00001457: PUSH2 0x14c5
0000145a: SWAP3
0000145b: PUSH14 0xffffffffffffffffffffffffffff
0000146a: AND
0000146b: SWAP2
0000146c: DUP6
0000146d: SWAP2
0000146e: PUSH4 0x70a08231
00001473: SWAP2
00001474: PUSH1 0x24
00001476: DUP1
00001477: DUP3
00001478: ADD
00001479: SWAP3
0000147a: PUSH1 0x20
0000147c: SWAP3
0000147d: SWAP1
0000147e: SWAP2
0000147f: SWAP1
00001480: DUP3
00001481: SWAP1
00001482: SUB
00001483: ADD
00001484: DUP2
00001485: DUP7
00001486: DUP1
00001487: EXTCODESIZE
00001488: ISZERO
00001489: DUP1
0000148a: ISZERO
0000148b: PUSH2 0x1493
0000148e: JUMPI
0000148f: PUSH1 0x00
00001491: DUP1
00001492: REVERT
00001493: JUMPDEST
00001494: POP
00001495: GAS
00001496: STATICCALL
00001497: ISZERO
00001498: DUP1
00001499: ISZERO
0000149a: PUSH2 0x14a7
0000149d: JUMPI
0000149e: RETURNDATASIZE
0000149f: PUSH1 0x00
000014a1: DUP1
000014a2: RETURNDATACOPY
000014a3: RETURNDATASIZE
000014a4: PUSH1 0x00
000014a6: REVERT
000014a7: JUMPDEST
000014a8: POP
000014a9: POP
000014aa: POP
000014ab: POP
000014ac: PUSH1 0x40
000014ae: MLOAD
000014af: RETURNDATASIZE
000014b0: PUSH1 0x20
000014b2: DUP2
000014b3: LT
000014b4: ISZERO
000014b5: PUSH2 0x14bd
000014b8: JUMPI
000014b9: PUSH1 0x00
000014bb: DUP1
000014bc: REVERT
000014bd: JUMPDEST
000014be: POP
000014bf: MLOAD
000014c0: SWAP1
000014c1: PUSH2 0x2369
000014c4: JUMP
000014c5: JUMPDEST
000014c6: PUSH2 0x2b21
000014c9: JUMP
000014ca: JUMPDEST
000014cb: PUSH2 0x1566
000014ce: DUP2
000014cf: DUP5
000014d0: PUSH2 0x14c5
000014d3: PUSH1 0x08
000014d5: PUSH1 0x0e
000014d7: SWAP1
000014d8: SLOAD
000014d9: SWAP1
000014da: PUSH2 0x0100
000014dd: EXP
000014de: SWAP1
000014df: DIV
000014e0: PUSH14 0xffffffffffffffffffffffffffff
000014ef: AND
000014f0: PUSH14 0xffffffffffffffffffffffffffff
000014ff: AND
00001500: DUP6
00001501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001516: AND
00001517: PUSH4 0x70a08231
0000151c: ADDRESS
0000151d: PUSH1 0x40
0000151f: MLOAD
00001520: DUP3
00001521: PUSH4 0xffffffff
00001526: AND
00001527: PUSH1 0xe0
00001529: SHL
0000152a: DUP2
0000152b: MSTORE
0000152c: PUSH1 0x04
0000152e: ADD
0000152f: DUP1
00001530: DUP3
00001531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001546: AND
00001547: DUP2
00001548: MSTORE
00001549: PUSH1 0x20
0000154b: ADD
0000154c: SWAP2
0000154d: POP
0000154e: POP
0000154f: PUSH1 0x20
00001551: PUSH1 0x40
00001553: MLOAD
00001554: DUP1
00001555: DUP4
00001556: SUB
00001557: DUP2
00001558: DUP7
00001559: DUP1
0000155a: EXTCODESIZE
0000155b: ISZERO
0000155c: DUP1
0000155d: ISZERO
0000155e: PUSH2 0x1493
00001561: JUMPI
00001562: PUSH1 0x00
00001564: DUP1
00001565: REVERT
00001566: JUMPDEST
00001567: POP
00001568: POP
00001569: PUSH1 0x01
0000156b: PUSH1 0x0d
0000156d: SSTORE
0000156e: POP
0000156f: JUMP
00001570: JUMPDEST
00001571: PUSH1 0x0c
00001573: SLOAD
00001574: PUSH1 0x00
00001576: SWAP1
00001577: PUSH1 0xff
00001579: AND
0000157a: ISZERO
0000157b: PUSH2 0x15e5
0000157e: JUMPI
0000157f: PUSH1 0x40
00001581: DUP1
00001582: MLOAD
00001583: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015a4: DUP2
000015a5: MSTORE
000015a6: PUSH1 0x20
000015a8: PUSH1 0x04
000015aa: DUP3
000015ab: ADD
000015ac: MSTORE
000015ad: PUSH1 0x10
000015af: PUSH1 0x24
000015b1: DUP3
000015b2: ADD
000015b3: MSTORE
000015b4: PUSH32 0x57537761703a20464f5242494444454e00000000000000000000000000000000
000015d5: PUSH1 0x44
000015d7: DUP3
000015d8: ADD
000015d9: MSTORE
000015da: SWAP1
000015db: MLOAD
000015dc: SWAP1
000015dd: DUP2
000015de: SWAP1
000015df: SUB
000015e0: PUSH1 0x64
000015e2: ADD
000015e3: SWAP1
000015e4: REVERT
000015e5: JUMPDEST
000015e6: PUSH1 0x06
000015e8: DUP1
000015e9: SLOAD
000015ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ff: DUP1
00001600: DUP7
00001601: AND
00001602: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001623: SWAP3
00001624: DUP4
00001625: AND
00001626: OR
00001627: SWAP1
00001628: SWAP3
00001629: SSTORE
0000162a: PUSH1 0x07
0000162c: DUP1
0000162d: SLOAD
0000162e: DUP6
0000162f: DUP5
00001630: AND
00001631: SWAP1
00001632: DUP4
00001633: AND
00001634: OR
00001635: SWAP1
00001636: SSTORE
00001637: PUSH1 0x05
00001639: DUP1
0000163a: SLOAD
0000163b: SWAP3
0000163c: DUP8
0000163d: AND
0000163e: SWAP3
0000163f: SWAP1
00001640: SWAP2
00001641: AND
00001642: SWAP2
00001643: SWAP1
00001644: SWAP2
00001645: OR
00001646: SWAP1
00001647: SSTORE
00001648: PUSH1 0x0c
0000164a: DUP1
0000164b: SLOAD
0000164c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000166d: AND
0000166e: PUSH1 0x01
00001670: SWAP1
00001671: DUP2
00001672: OR
00001673: SWAP1
00001674: SWAP2
00001675: SSTORE
00001676: PUSH1 0x0d
00001678: SSTORE
00001679: PUSH2 0x0994
0000167c: PUSH2 0x0da4
0000167f: JUMP
00001680: JUMPDEST
00001681: PUSH1 0x05
00001683: SLOAD
00001684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001699: AND
0000169a: DUP2
0000169b: JUMP
0000169c: JUMPDEST
0000169d: PUSH1 0x07
0000169f: SLOAD
000016a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b5: AND
000016b6: DUP2
000016b7: JUMP
000016b8: JUMPDEST
000016b9: TIMESTAMP
000016ba: DUP5
000016bb: LT
000016bc: ISZERO
000016bd: PUSH2 0x1727
000016c0: JUMPI
000016c1: PUSH1 0x40
000016c3: DUP1
000016c4: MLOAD
000016c5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016e6: DUP2
000016e7: MSTORE
000016e8: PUSH1 0x20
000016ea: PUSH1 0x04
000016ec: DUP3
000016ed: ADD
000016ee: MSTORE
000016ef: PUSH1 0x0e
000016f1: PUSH1 0x24
000016f3: DUP3
000016f4: ADD
000016f5: MSTORE
000016f6: PUSH32 0x57537761703a2045585049524544000000000000000000000000000000000000
00001717: PUSH1 0x44
00001719: DUP3
0000171a: ADD
0000171b: MSTORE
0000171c: SWAP1
0000171d: MLOAD
0000171e: SWAP1
0000171f: DUP2
00001720: SWAP1
00001721: SUB
00001722: PUSH1 0x64
00001724: ADD
00001725: SWAP1
00001726: REVERT
00001727: JUMPDEST
00001728: PUSH1 0x03
0000172a: SLOAD
0000172b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001740: DUP1
00001741: DUP10
00001742: AND
00001743: PUSH1 0x00
00001745: DUP2
00001746: DUP2
00001747: MSTORE
00001748: PUSH1 0x04
0000174a: PUSH1 0x20
0000174c: SWAP1
0000174d: DUP2
0000174e: MSTORE
0000174f: PUSH1 0x40
00001751: DUP1
00001752: DUP4
00001753: KECCAK256
00001754: DUP1
00001755: SLOAD
00001756: PUSH1 0x01
00001758: DUP1
00001759: DUP3
0000175a: ADD
0000175b: SWAP1
0000175c: SWAP3
0000175d: SSTORE
0000175e: DUP3
0000175f: MLOAD
00001760: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00001781: DUP2
00001782: DUP7
00001783: ADD
00001784: MSTORE
00001785: DUP1
00001786: DUP5
00001787: ADD
00001788: SWAP7
00001789: SWAP1
0000178a: SWAP7
0000178b: MSTORE
0000178c: SWAP6
0000178d: DUP14
0000178e: AND
0000178f: PUSH1 0x60
00001791: DUP7
00001792: ADD
00001793: MSTORE
00001794: PUSH1 0x80
00001796: DUP6
00001797: ADD
00001798: DUP13
00001799: SWAP1
0000179a: MSTORE
0000179b: PUSH1 0xa0
0000179d: DUP6
0000179e: ADD
0000179f: SWAP6
000017a0: SWAP1
000017a1: SWAP6
000017a2: MSTORE
000017a3: PUSH1 0xc0
000017a5: DUP1
000017a6: DUP6
000017a7: ADD
000017a8: DUP12
000017a9: SWAP1
000017aa: MSTORE
000017ab: DUP2
000017ac: MLOAD
000017ad: DUP1
000017ae: DUP7
000017af: SUB
000017b0: SWAP1
000017b1: SWAP2
000017b2: ADD
000017b3: DUP2
000017b4: MSTORE
000017b5: PUSH1 0xe0
000017b7: DUP6
000017b8: ADD
000017b9: DUP3
000017ba: MSTORE
000017bb: DUP1
000017bc: MLOAD
000017bd: SWAP1
000017be: DUP4
000017bf: ADD
000017c0: KECCAK256
000017c1: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
000017e2: PUSH2 0x0100
000017e5: DUP7
000017e6: ADD
000017e7: MSTORE
000017e8: PUSH2 0x0102
000017eb: DUP6
000017ec: ADD
000017ed: SWAP7
000017ee: SWAP1
000017ef: SWAP7
000017f0: MSTORE
000017f1: PUSH2 0x0122
000017f4: DUP1
000017f5: DUP6
000017f6: ADD
000017f7: SWAP7
000017f8: SWAP1
000017f9: SWAP7
000017fa: MSTORE
000017fb: DUP1
000017fc: MLOAD
000017fd: DUP1
000017fe: DUP6
000017ff: SUB
00001800: SWAP1
00001801: SWAP7
00001802: ADD
00001803: DUP7
00001804: MSTORE
00001805: PUSH2 0x0142
00001808: DUP5
00001809: ADD
0000180a: DUP1
0000180b: DUP3
0000180c: MSTORE
0000180d: DUP7
0000180e: MLOAD
0000180f: SWAP7
00001810: DUP4
00001811: ADD
00001812: SWAP7
00001813: SWAP1
00001814: SWAP7
00001815: KECCAK256
00001816: SWAP6
00001817: DUP4
00001818: SWAP1
00001819: MSTORE
0000181a: PUSH2 0x0162
0000181d: DUP5
0000181e: ADD
0000181f: DUP1
00001820: DUP3
00001821: MSTORE
00001822: DUP7
00001823: SWAP1
00001824: MSTORE
00001825: PUSH1 0xff
00001827: DUP10
00001828: AND
00001829: PUSH2 0x0182
0000182c: DUP6
0000182d: ADD
0000182e: MSTORE
0000182f: PUSH2 0x01a2
00001832: DUP5
00001833: ADD
00001834: DUP9
00001835: SWAP1
00001836: MSTORE
00001837: PUSH2 0x01c2
0000183a: DUP5
0000183b: ADD
0000183c: DUP8
0000183d: SWAP1
0000183e: MSTORE
0000183f: MLOAD
00001840: SWAP2
00001841: SWAP4
00001842: SWAP3
00001843: PUSH2 0x01e2
00001846: DUP1
00001847: DUP3
00001848: ADD
00001849: SWAP4
0000184a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000186b: DUP2
0000186c: ADD
0000186d: SWAP3
0000186e: DUP2
0000186f: SWAP1
00001870: SUB
00001871: SWAP1
00001872: SWAP2
00001873: ADD
00001874: SWAP1
00001875: DUP6
00001876: GAS
00001877: STATICCALL
00001878: ISZERO
00001879: DUP1
0000187a: ISZERO
0000187b: PUSH2 0x1888
0000187e: JUMPI
0000187f: RETURNDATASIZE
00001880: PUSH1 0x00
00001882: DUP1
00001883: RETURNDATACOPY
00001884: RETURNDATASIZE
00001885: PUSH1 0x00
00001887: REVERT
00001888: JUMPDEST
00001889: POP
0000188a: POP
0000188b: PUSH1 0x40
0000188d: MLOAD
0000188e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000018af: ADD
000018b0: MLOAD
000018b1: SWAP2
000018b2: POP
000018b3: POP
000018b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c9: DUP2
000018ca: AND
000018cb: ISZERO
000018cc: DUP1
000018cd: ISZERO
000018ce: SWAP1
000018cf: PUSH2 0x1903
000018d2: JUMPI
000018d3: POP
000018d4: DUP9
000018d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ea: AND
000018eb: DUP2
000018ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001901: AND
00001902: EQ
00001903: JUMPDEST
00001904: PUSH2 0x196e
00001907: JUMPI
00001908: PUSH1 0x40
0000190a: DUP1
0000190b: MLOAD
0000190c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000192d: DUP2
0000192e: MSTORE
0000192f: PUSH1 0x20
00001931: PUSH1 0x04
00001933: DUP3
00001934: ADD
00001935: MSTORE
00001936: PUSH1 0x18
00001938: PUSH1 0x24
0000193a: DUP3
0000193b: ADD
0000193c: MSTORE
0000193d: PUSH32 0x57537761703a20494e56414c49445f5349474e41545552450000000000000000
0000195e: PUSH1 0x44
00001960: DUP3
00001961: ADD
00001962: MSTORE
00001963: SWAP1
00001964: MLOAD
00001965: SWAP1
00001966: DUP2
00001967: SWAP1
00001968: SUB
00001969: PUSH1 0x64
0000196b: ADD
0000196c: SWAP1
0000196d: REVERT
0000196e: JUMPDEST
0000196f: PUSH2 0x1979
00001972: DUP10
00001973: DUP10
00001974: DUP10
00001975: PUSH2 0x22fa
00001978: JUMP
00001979: JUMPDEST
0000197a: POP
0000197b: POP
0000197c: POP
0000197d: POP
0000197e: POP
0000197f: POP
00001980: POP
00001981: POP
00001982: POP
00001983: JUMP
00001984: JUMPDEST
00001985: PUSH1 0x0d
00001987: SLOAD
00001988: PUSH1 0x01
0000198a: EQ
0000198b: PUSH2 0x19f5
0000198e: JUMPI
0000198f: PUSH1 0x40
00001991: DUP1
00001992: MLOAD
00001993: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019b4: DUP2
000019b5: MSTORE
000019b6: PUSH1 0x20
000019b8: PUSH1 0x04
000019ba: DUP3
000019bb: ADD
000019bc: MSTORE
000019bd: PUSH1 0x0d
000019bf: PUSH1 0x24
000019c1: DUP3
000019c2: ADD
000019c3: MSTORE
000019c4: PUSH32 0x57537761703a204c4f434b454400000000000000000000000000000000000000
000019e5: PUSH1 0x44
000019e7: DUP3
000019e8: ADD
000019e9: MSTORE
000019ea: SWAP1
000019eb: MLOAD
000019ec: SWAP1
000019ed: DUP2
000019ee: SWAP1
000019ef: SUB
000019f0: PUSH1 0x64
000019f2: ADD
000019f3: SWAP1
000019f4: REVERT
000019f5: JUMPDEST
000019f6: PUSH1 0x00
000019f8: PUSH1 0x0d
000019fa: SSTORE
000019fb: PUSH2 0x1a08
000019fe: DUP7
000019ff: DUP7
00001a00: DUP7
00001a01: DUP7
00001a02: DUP7
00001a03: DUP7
00001a04: PUSH2 0x1c18
00001a07: JUMP
00001a08: JUMPDEST
00001a09: POP
00001a0a: POP
00001a0b: PUSH1 0x01
00001a0d: PUSH1 0x0d
00001a0f: SSTORE
00001a10: POP
00001a11: POP
00001a12: POP
00001a13: POP
00001a14: JUMP
00001a15: JUMPDEST
00001a16: PUSH1 0x02
00001a18: PUSH1 0x20
00001a1a: SWAP1
00001a1b: DUP2
00001a1c: MSTORE
00001a1d: PUSH1 0x00
00001a1f: SWAP3
00001a20: DUP4
00001a21: MSTORE
00001a22: PUSH1 0x40
00001a24: DUP1
00001a25: DUP5
00001a26: KECCAK256
00001a27: SWAP1
00001a28: SWAP2
00001a29: MSTORE
00001a2a: SWAP1
00001a2b: DUP3
00001a2c: MSTORE
00001a2d: SWAP1
00001a2e: KECCAK256
00001a2f: SLOAD
00001a30: DUP2
00001a31: JUMP
00001a32: JUMPDEST
00001a33: PUSH1 0x0d
00001a35: SLOAD
00001a36: PUSH1 0x01
00001a38: EQ
00001a39: PUSH2 0x1aa3
00001a3c: JUMPI
00001a3d: PUSH1 0x40
00001a3f: DUP1
00001a40: MLOAD
00001a41: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a62: DUP2
00001a63: MSTORE
00001a64: PUSH1 0x20
00001a66: PUSH1 0x04
00001a68: DUP3
00001a69: ADD
00001a6a: MSTORE
00001a6b: PUSH1 0x0d
00001a6d: PUSH1 0x24
00001a6f: DUP3
00001a70: ADD
00001a71: MSTORE
00001a72: PUSH32 0x57537761703a204c4f434b454400000000000000000000000000000000000000
00001a93: PUSH1 0x44
00001a95: DUP3
00001a96: ADD
00001a97: MSTORE
00001a98: SWAP1
00001a99: MLOAD
00001a9a: SWAP1
00001a9b: DUP2
00001a9c: SWAP1
00001a9d: SUB
00001a9e: PUSH1 0x64
00001aa0: ADD
00001aa1: SWAP1
00001aa2: REVERT
00001aa3: JUMPDEST
00001aa4: PUSH1 0x00
00001aa6: PUSH1 0x0d
00001aa8: SSTORE
00001aa9: PUSH1 0x06
00001aab: SLOAD
00001aac: PUSH1 0x40
00001aae: DUP1
00001aaf: MLOAD
00001ab0: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001ad1: DUP2
00001ad2: MSTORE
00001ad3: ADDRESS
00001ad4: PUSH1 0x04
00001ad6: DUP3
00001ad7: ADD
00001ad8: MSTORE
00001ad9: SWAP1
00001ada: MLOAD
00001adb: PUSH2 0x1c11
00001ade: SWAP3
00001adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af4: AND
00001af5: SWAP2
00001af6: PUSH4 0x70a08231
00001afb: SWAP2
00001afc: PUSH1 0x24
00001afe: DUP1
00001aff: DUP4
00001b00: ADD
00001b01: SWAP3
00001b02: PUSH1 0x20
00001b04: SWAP3
00001b05: SWAP2
00001b06: SWAP1
00001b07: DUP3
00001b08: SWAP1
00001b09: SUB
00001b0a: ADD
00001b0b: DUP2
00001b0c: DUP7
00001b0d: DUP1
00001b0e: EXTCODESIZE
00001b0f: ISZERO
00001b10: DUP1
00001b11: ISZERO
00001b12: PUSH2 0x1b1a
00001b15: JUMPI
00001b16: PUSH1 0x00
00001b18: DUP1
00001b19: REVERT
00001b1a: JUMPDEST
00001b1b: POP
00001b1c: GAS
00001b1d: STATICCALL
00001b1e: ISZERO
00001b1f: DUP1
00001b20: ISZERO
00001b21: PUSH2 0x1b2e
00001b24: JUMPI
00001b25: RETURNDATASIZE
00001b26: PUSH1 0x00
00001b28: DUP1
00001b29: RETURNDATACOPY
00001b2a: RETURNDATASIZE
00001b2b: PUSH1 0x00
00001b2d: REVERT
00001b2e: JUMPDEST
00001b2f: POP
00001b30: POP
00001b31: POP
00001b32: POP
00001b33: PUSH1 0x40
00001b35: MLOAD
00001b36: RETURNDATASIZE
00001b37: PUSH1 0x20
00001b39: DUP2
00001b3a: LT
00001b3b: ISZERO
00001b3c: PUSH2 0x1b44
00001b3f: JUMPI
00001b40: PUSH1 0x00
00001b42: DUP1
00001b43: REVERT
00001b44: JUMPDEST
00001b45: POP
00001b46: MLOAD
00001b47: PUSH1 0x07
00001b49: SLOAD
00001b4a: PUSH1 0x40
00001b4c: DUP1
00001b4d: MLOAD
00001b4e: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001b6f: DUP2
00001b70: MSTORE
00001b71: ADDRESS
00001b72: PUSH1 0x04
00001b74: DUP3
00001b75: ADD
00001b76: MSTORE
00001b77: SWAP1
00001b78: MLOAD
00001b79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8e: SWAP1
00001b8f: SWAP3
00001b90: AND
00001b91: SWAP2
00001b92: PUSH4 0x70a08231
00001b97: SWAP2
00001b98: PUSH1 0x24
00001b9a: DUP1
00001b9b: DUP3
00001b9c: ADD
00001b9d: SWAP3
00001b9e: PUSH1 0x20
00001ba0: SWAP3
00001ba1: SWAP1
00001ba2: SWAP2
00001ba3: SWAP1
00001ba4: DUP3
00001ba5: SWAP1
00001ba6: SUB
00001ba7: ADD
00001ba8: DUP2
00001ba9: DUP7
00001baa: DUP1
00001bab: EXTCODESIZE
00001bac: ISZERO
00001bad: DUP1
00001bae: ISZERO
00001baf: PUSH2 0x1bb7
00001bb2: JUMPI
00001bb3: PUSH1 0x00
00001bb5: DUP1
00001bb6: REVERT
00001bb7: JUMPDEST
00001bb8: POP
00001bb9: GAS
00001bba: STATICCALL
00001bbb: ISZERO
00001bbc: DUP1
00001bbd: ISZERO
00001bbe: PUSH2 0x1bcb
00001bc1: JUMPI
00001bc2: RETURNDATASIZE
00001bc3: PUSH1 0x00
00001bc5: DUP1
00001bc6: RETURNDATACOPY
00001bc7: RETURNDATASIZE
00001bc8: PUSH1 0x00
00001bca: REVERT
00001bcb: JUMPDEST
00001bcc: POP
00001bcd: POP
00001bce: POP
00001bcf: POP
00001bd0: PUSH1 0x40
00001bd2: MLOAD
00001bd3: RETURNDATASIZE
00001bd4: PUSH1 0x20
00001bd6: DUP2
00001bd7: LT
00001bd8: ISZERO
00001bd9: PUSH2 0x1be1
00001bdc: JUMPI
00001bdd: PUSH1 0x00
00001bdf: DUP1
00001be0: REVERT
00001be1: JUMPDEST
00001be2: POP
00001be3: MLOAD
00001be4: PUSH1 0x08
00001be6: SLOAD
00001be7: PUSH14 0xffffffffffffffffffffffffffff
00001bf6: DUP1
00001bf7: DUP3
00001bf8: AND
00001bf9: SWAP2
00001bfa: PUSH15 0x010000000000000000000000000000
00001c0a: SWAP1
00001c0b: DIV
00001c0c: AND
00001c0d: PUSH2 0x27b2
00001c10: JUMP
00001c11: JUMPDEST
00001c12: PUSH1 0x01
00001c14: PUSH1 0x0d
00001c16: SSTORE
00001c17: JUMP
00001c18: JUMPDEST
00001c19: DUP1
00001c1a: ISZERO
00001c1b: DUP1
00001c1c: PUSH2 0x1c57
00001c1f: JUMPI
00001c20: POP
00001c21: PUSH2 0x1c28
00001c24: PUSH2 0x2d2e
00001c27: JUMP
00001c28: JUMPDEST
00001c29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3e: AND
00001c3f: CALLER
00001c40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c55: AND
00001c56: EQ
00001c57: JUMPDEST
00001c58: PUSH2 0x1cac
00001c5b: JUMPI
00001c5c: PUSH1 0x40
00001c5e: MLOAD
00001c5f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c80: DUP2
00001c81: MSTORE
00001c82: PUSH1 0x04
00001c84: ADD
00001c85: DUP1
00001c86: DUP1
00001c87: PUSH1 0x20
00001c89: ADD
00001c8a: DUP3
00001c8b: DUP2
00001c8c: SUB
00001c8d: DUP3
00001c8e: MSTORE
00001c8f: PUSH1 0x32
00001c91: DUP2
00001c92: MSTORE
00001c93: PUSH1 0x20
00001c95: ADD
00001c96: DUP1
00001c97: PUSH2 0x2e1e
00001c9a: PUSH1 0x32
00001c9c: SWAP2
00001c9d: CODECOPY
00001c9e: PUSH1 0x40
00001ca0: ADD
00001ca1: SWAP2
00001ca2: POP
00001ca3: POP
00001ca4: PUSH1 0x40
00001ca6: MLOAD
00001ca7: DUP1
00001ca8: SWAP2
00001ca9: SUB
00001caa: SWAP1
00001cab: REVERT
00001cac: JUMPDEST
00001cad: PUSH1 0x00
00001caf: DUP7
00001cb0: GT
00001cb1: DUP1
00001cb2: PUSH2 0x1cbb
00001cb5: JUMPI
00001cb6: POP
00001cb7: PUSH1 0x00
00001cb9: DUP6
00001cba: GT
00001cbb: JUMPDEST
00001cbc: PUSH2 0x1d10
00001cbf: JUMPI
00001cc0: PUSH1 0x40
00001cc2: MLOAD
00001cc3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ce4: DUP2
00001ce5: MSTORE
00001ce6: PUSH1 0x04
00001ce8: ADD
00001ce9: DUP1
00001cea: DUP1
00001ceb: PUSH1 0x20
00001ced: ADD
00001cee: DUP3
00001cef: DUP2
00001cf0: SUB
00001cf1: DUP3
00001cf2: MSTORE
00001cf3: PUSH1 0x21
00001cf5: DUP2
00001cf6: MSTORE
00001cf7: PUSH1 0x20
00001cf9: ADD
00001cfa: DUP1
00001cfb: PUSH2 0x2e74
00001cfe: PUSH1 0x21
00001d00: SWAP2
00001d01: CODECOPY
00001d02: PUSH1 0x40
00001d04: ADD
00001d05: SWAP2
00001d06: POP
00001d07: POP
00001d08: PUSH1 0x40
00001d0a: MLOAD
00001d0b: DUP1
00001d0c: SWAP2
00001d0d: SUB
00001d0e: SWAP1
00001d0f: REVERT
00001d10: JUMPDEST
00001d11: PUSH1 0x00
00001d13: DUP1
00001d14: PUSH2 0x1d1b
00001d17: PUSH2 0x0837
00001d1a: JUMP
00001d1b: JUMPDEST
00001d1c: POP
00001d1d: SWAP2
00001d1e: POP
00001d1f: SWAP2
00001d20: POP
00001d21: DUP2
00001d22: PUSH14 0xffffffffffffffffffffffffffff
00001d31: AND
00001d32: DUP9
00001d33: LT
00001d34: DUP1
00001d35: ISZERO
00001d36: PUSH2 0x1d4e
00001d39: JUMPI
00001d3a: POP
00001d3b: DUP1
00001d3c: PUSH14 0xffffffffffffffffffffffffffff
00001d4b: AND
00001d4c: DUP8
00001d4d: LT
00001d4e: JUMPDEST
00001d4f: PUSH2 0x1db9
00001d52: JUMPI
00001d53: PUSH1 0x40
00001d55: DUP1
00001d56: MLOAD
00001d57: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d78: DUP2
00001d79: MSTORE
00001d7a: PUSH1 0x20
00001d7c: PUSH1 0x04
00001d7e: DUP3
00001d7f: ADD
00001d80: MSTORE
00001d81: PUSH1 0x1d
00001d83: PUSH1 0x24
00001d85: DUP3
00001d86: ADD
00001d87: MSTORE
00001d88: PUSH32 0x57537761703a20494e53554646494349454e545f4c4951554944495459000000
00001da9: PUSH1 0x44
00001dab: DUP3
00001dac: ADD
00001dad: MSTORE
00001dae: SWAP1
00001daf: MLOAD
00001db0: SWAP1
00001db1: DUP2
00001db2: SWAP1
00001db3: SUB
00001db4: PUSH1 0x64
00001db6: ADD
00001db7: SWAP1
00001db8: REVERT
00001db9: JUMPDEST
00001dba: PUSH1 0x06
00001dbc: SLOAD
00001dbd: PUSH1 0x07
00001dbf: SLOAD
00001dc0: PUSH1 0x00
00001dc2: SWAP2
00001dc3: DUP3
00001dc4: SWAP2
00001dc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dda: SWAP2
00001ddb: DUP3
00001ddc: AND
00001ddd: SWAP2
00001dde: SWAP1
00001ddf: DUP2
00001de0: AND
00001de1: SWAP1
00001de2: DUP11
00001de3: AND
00001de4: DUP3
00001de5: EQ
00001de6: DUP1
00001de7: ISZERO
00001de8: SWAP1
00001de9: PUSH2 0x1e1e
00001dec: JUMPI
00001ded: POP
00001dee: DUP1
00001def: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e04: AND
00001e05: DUP11
00001e06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1b: AND
00001e1c: EQ
00001e1d: ISZERO
00001e1e: JUMPDEST
00001e1f: PUSH2 0x1e89
00001e22: JUMPI
00001e23: PUSH1 0x40
00001e25: DUP1
00001e26: MLOAD
00001e27: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e48: DUP2
00001e49: MSTORE
00001e4a: PUSH1 0x20
00001e4c: PUSH1 0x04
00001e4e: DUP3
00001e4f: ADD
00001e50: MSTORE
00001e51: PUSH1 0x11
00001e53: PUSH1 0x24
00001e55: DUP3
00001e56: ADD
00001e57: MSTORE
00001e58: PUSH32 0x57537761703a20494e56414c49445f544f000000000000000000000000000000
00001e79: PUSH1 0x44
00001e7b: DUP3
00001e7c: ADD
00001e7d: MSTORE
00001e7e: SWAP1
00001e7f: MLOAD
00001e80: SWAP1
00001e81: DUP2
00001e82: SWAP1
00001e83: SUB
00001e84: PUSH1 0x64
00001e86: ADD
00001e87: SWAP1
00001e88: REVERT
00001e89: JUMPDEST
00001e8a: DUP12
00001e8b: ISZERO
00001e8c: PUSH2 0x1e9a
00001e8f: JUMPI
00001e90: PUSH2 0x1e9a
00001e93: DUP3
00001e94: DUP12
00001e95: DUP15
00001e96: PUSH2 0x2b21
00001e99: JUMP
00001e9a: JUMPDEST
00001e9b: DUP11
00001e9c: ISZERO
00001e9d: PUSH2 0x1eab
00001ea0: JUMPI
00001ea1: PUSH2 0x1eab
00001ea4: DUP2
00001ea5: DUP12
00001ea6: DUP14
00001ea7: PUSH2 0x2b21
00001eaa: JUMP
00001eab: JUMPDEST
00001eac: DUP8
00001ead: ISZERO
00001eae: PUSH2 0x1f77
00001eb1: JUMPI
00001eb2: DUP10
00001eb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec8: AND
00001ec9: PUSH4 0x1aaeed2e
00001ece: CALLER
00001ecf: DUP15
00001ed0: DUP15
00001ed1: DUP14
00001ed2: DUP14
00001ed3: PUSH1 0x40
00001ed5: MLOAD
00001ed6: DUP7
00001ed7: PUSH4 0xffffffff
00001edc: AND
00001edd: PUSH1 0xe0
00001edf: SHL
00001ee0: DUP2
00001ee1: MSTORE
00001ee2: PUSH1 0x04
00001ee4: ADD
00001ee5: DUP1
00001ee6: DUP7
00001ee7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001efc: AND
00001efd: DUP2
00001efe: MSTORE
00001eff: PUSH1 0x20
00001f01: ADD
00001f02: DUP6
00001f03: DUP2
00001f04: MSTORE
00001f05: PUSH1 0x20
00001f07: ADD
00001f08: DUP5
00001f09: DUP2
00001f0a: MSTORE
00001f0b: PUSH1 0x20
00001f0d: ADD
00001f0e: DUP1
00001f0f: PUSH1 0x20
00001f11: ADD
00001f12: DUP3
00001f13: DUP2
00001f14: SUB
00001f15: DUP3
00001f16: MSTORE
00001f17: DUP5
00001f18: DUP5
00001f19: DUP3
00001f1a: DUP2
00001f1b: DUP2
00001f1c: MSTORE
00001f1d: PUSH1 0x20
00001f1f: ADD
00001f20: SWAP3
00001f21: POP
00001f22: DUP1
00001f23: DUP3
00001f24: DUP5
00001f25: CALLDATACOPY
00001f26: PUSH1 0x00
00001f28: DUP2
00001f29: DUP5
00001f2a: ADD
00001f2b: MSTORE
00001f2c: PUSH1 0x1f
00001f2e: NOT
00001f2f: PUSH1 0x1f
00001f31: DUP3
00001f32: ADD
00001f33: AND
00001f34: SWAP1
00001f35: POP
00001f36: DUP1
00001f37: DUP4
00001f38: ADD
00001f39: SWAP3
00001f3a: POP
00001f3b: POP
00001f3c: POP
00001f3d: SWAP7
00001f3e: POP
00001f3f: POP
00001f40: POP
00001f41: POP
00001f42: POP
00001f43: POP
00001f44: POP
00001f45: PUSH1 0x00
00001f47: PUSH1 0x40
00001f49: MLOAD
00001f4a: DUP1
00001f4b: DUP4
00001f4c: SUB
00001f4d: DUP2
00001f4e: PUSH1 0x00
00001f50: DUP8
00001f51: DUP1
00001f52: EXTCODESIZE
00001f53: ISZERO
00001f54: DUP1
00001f55: ISZERO
00001f56: PUSH2 0x1f5e
00001f59: JUMPI
00001f5a: PUSH1 0x00
00001f5c: DUP1
00001f5d: REVERT
00001f5e: JUMPDEST
00001f5f: POP
00001f60: GAS
00001f61: CALL
00001f62: ISZERO
00001f63: DUP1
00001f64: ISZERO
00001f65: PUSH2 0x1f72
00001f68: JUMPI
00001f69: RETURNDATASIZE
00001f6a: PUSH1 0x00
00001f6c: DUP1
00001f6d: RETURNDATACOPY
00001f6e: RETURNDATASIZE
00001f6f: PUSH1 0x00
00001f71: REVERT
00001f72: JUMPDEST
00001f73: POP
00001f74: POP
00001f75: POP
00001f76: POP
00001f77: JUMPDEST
00001f78: PUSH1 0x40
00001f7a: DUP1
00001f7b: MLOAD
00001f7c: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001f9d: DUP2
00001f9e: MSTORE
00001f9f: ADDRESS
00001fa0: PUSH1 0x04
00001fa2: DUP3
00001fa3: ADD
00001fa4: MSTORE
00001fa5: SWAP1
00001fa6: MLOAD
00001fa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fbc: DUP5
00001fbd: AND
00001fbe: SWAP2
00001fbf: PUSH4 0x70a08231
00001fc4: SWAP2
00001fc5: PUSH1 0x24
00001fc7: DUP1
00001fc8: DUP4
00001fc9: ADD
00001fca: SWAP3
00001fcb: PUSH1 0x20
00001fcd: SWAP3
00001fce: SWAP2
00001fcf: SWAP1
00001fd0: DUP3
00001fd1: SWAP1
00001fd2: SUB
00001fd3: ADD
00001fd4: DUP2
00001fd5: DUP7
00001fd6: DUP1
00001fd7: EXTCODESIZE
00001fd8: ISZERO
00001fd9: DUP1
00001fda: ISZERO
00001fdb: PUSH2 0x1fe3
00001fde: JUMPI
00001fdf: PUSH1 0x00
00001fe1: DUP1
00001fe2: REVERT
00001fe3: JUMPDEST
00001fe4: POP
00001fe5: GAS
00001fe6: STATICCALL
00001fe7: ISZERO
00001fe8: DUP1
00001fe9: ISZERO
00001fea: PUSH2 0x1ff7
00001fed: JUMPI
00001fee: RETURNDATASIZE
00001fef: PUSH1 0x00
00001ff1: DUP1
00001ff2: RETURNDATACOPY
00001ff3: RETURNDATASIZE
00001ff4: PUSH1 0x00
00001ff6: REVERT
00001ff7: JUMPDEST
00001ff8: POP
00001ff9: POP
00001ffa: POP
00001ffb: POP
00001ffc: PUSH1 0x40
00001ffe: MLOAD
00001fff: RETURNDATASIZE
00002000: PUSH1 0x20
00002002: DUP2
00002003: LT
00002004: ISZERO
00002005: PUSH2 0x200d
00002008: JUMPI
00002009: PUSH1 0x00
0000200b: DUP1
0000200c: REVERT
0000200d: JUMPDEST
0000200e: POP
0000200f: MLOAD
00002010: PUSH1 0x40
00002012: DUP1
00002013: MLOAD
00002014: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00002035: DUP2
00002036: MSTORE
00002037: ADDRESS
00002038: PUSH1 0x04
0000203a: DUP3
0000203b: ADD
0000203c: MSTORE
0000203d: SWAP1
0000203e: MLOAD
0000203f: SWAP2
00002040: SWAP6
00002041: POP
00002042: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002057: DUP4
00002058: AND
00002059: SWAP2
0000205a: PUSH4 0x70a08231
0000205f: SWAP2
00002060: PUSH1 0x24
00002062: DUP1
00002063: DUP3
00002064: ADD
00002065: SWAP3
00002066: PUSH1 0x20
00002068: SWAP3
00002069: SWAP1
0000206a: SWAP2
0000206b: SWAP1
0000206c: DUP3
0000206d: SWAP1
0000206e: SUB
0000206f: ADD
00002070: DUP2
00002071: DUP7
00002072: DUP1
00002073: EXTCODESIZE
00002074: ISZERO
00002075: DUP1
00002076: ISZERO
00002077: PUSH2 0x207f
0000207a: JUMPI
0000207b: PUSH1 0x00
0000207d: DUP1
0000207e: REVERT
0000207f: JUMPDEST
00002080: POP
00002081: GAS
00002082: STATICCALL
00002083: ISZERO
00002084: DUP1
00002085: ISZERO
00002086: PUSH2 0x2093
00002089: JUMPI
0000208a: RETURNDATASIZE
0000208b: PUSH1 0x00
0000208d: DUP1
0000208e: RETURNDATACOPY
0000208f: RETURNDATASIZE
00002090: PUSH1 0x00
00002092: REVERT
00002093: JUMPDEST
00002094: POP
00002095: POP
00002096: POP
00002097: POP
00002098: PUSH1 0x40
0000209a: MLOAD
0000209b: RETURNDATASIZE
0000209c: PUSH1 0x20
0000209e: DUP2
0000209f: LT
000020a0: ISZERO
000020a1: PUSH2 0x20a9
000020a4: JUMPI
000020a5: PUSH1 0x00
000020a7: DUP1
000020a8: REVERT
000020a9: JUMPDEST
000020aa: POP
000020ab: MLOAD
000020ac: SWAP3
000020ad: POP
000020ae: PUSH1 0x00
000020b0: SWAP2
000020b1: POP
000020b2: POP
000020b3: PUSH14 0xffffffffffffffffffffffffffff
000020c2: DUP6
000020c3: AND
000020c4: DUP12
000020c5: SWAP1
000020c6: SUB
000020c7: DUP4
000020c8: GT
000020c9: PUSH2 0x20d3
000020cc: JUMPI
000020cd: PUSH1 0x00
000020cf: PUSH2 0x20e9
000020d2: JUMP
000020d3: JUMPDEST
000020d4: DUP11
000020d5: DUP6
000020d6: PUSH14 0xffffffffffffffffffffffffffff
000020e5: AND
000020e6: SUB
000020e7: DUP4
000020e8: SUB
000020e9: JUMPDEST
000020ea: SWAP1
000020eb: POP
000020ec: PUSH1 0x00
000020ee: DUP11
000020ef: DUP6
000020f0: PUSH14 0xffffffffffffffffffffffffffff
000020ff: AND
00002100: SUB
00002101: DUP4
00002102: GT
00002103: PUSH2 0x210d
00002106: JUMPI
00002107: PUSH1 0x00
00002109: PUSH2 0x2123
0000210c: JUMP
0000210d: JUMPDEST
0000210e: DUP11
0000210f: DUP6
00002110: PUSH14 0xffffffffffffffffffffffffffff
0000211f: AND
00002120: SUB
00002121: DUP4
00002122: SUB
00002123: JUMPDEST
00002124: SWAP1
00002125: POP
00002126: PUSH1 0x00
00002128: DUP3
00002129: GT
0000212a: DUP1
0000212b: PUSH2 0x2134
0000212e: JUMPI
0000212f: POP
00002130: PUSH1 0x00
00002132: DUP2
00002133: GT
00002134: JUMPDEST
00002135: PUSH2 0x219f
00002138: JUMPI
00002139: PUSH1 0x40
0000213b: DUP1
0000213c: MLOAD
0000213d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000215e: DUP2
0000215f: MSTORE
00002160: PUSH1 0x20
00002162: PUSH1 0x04
00002164: DUP3
00002165: ADD
00002166: DUP2
00002167: SWAP1
00002168: MSTORE
00002169: PUSH1 0x24
0000216b: DUP3
0000216c: ADD
0000216d: MSTORE
0000216e: PUSH32 0x57537761703a20494e53554646494349454e545f494e5055545f414d4f554e54
0000218f: PUSH1 0x44
00002191: DUP3
00002192: ADD
00002193: MSTORE
00002194: SWAP1
00002195: MLOAD
00002196: SWAP1
00002197: DUP2
00002198: SWAP1
00002199: SUB
0000219a: PUSH1 0x64
0000219c: ADD
0000219d: SWAP1
0000219e: REVERT
0000219f: JUMPDEST
000021a0: PUSH1 0x00
000021a2: PUSH2 0x21be
000021a5: PUSH2 0x21b2
000021a8: DUP5
000021a9: PUSH1 0x1e
000021ab: DUP12
000021ac: SWAP1
000021ad: SUB
000021ae: PUSH2 0x261e
000021b1: JUMP
000021b2: JUMPDEST
000021b3: PUSH2 0x0c17
000021b6: DUP8
000021b7: PUSH2 0x2710
000021ba: PUSH2 0x261e
000021bd: JUMP
000021be: JUMPDEST
000021bf: SWAP1
000021c0: POP
000021c1: PUSH1 0x00
000021c3: PUSH2 0x21d3
000021c6: PUSH2 0x21b2
000021c9: DUP5
000021ca: PUSH1 0x1e
000021cc: DUP13
000021cd: SWAP1
000021ce: SUB
000021cf: PUSH2 0x261e
000021d2: JUMP
000021d3: JUMPDEST
000021d4: SWAP1
000021d5: POP
000021d6: PUSH2 0x2200
000021d9: PUSH4 0x05f5e100
000021de: PUSH2 0x21fa
000021e1: PUSH14 0xffffffffffffffffffffffffffff
000021f0: DUP12
000021f1: DUP2
000021f2: AND
000021f3: SWAP1
000021f4: DUP12
000021f5: AND
000021f6: PUSH2 0x261e
000021f9: JUMP
000021fa: JUMPDEST
000021fb: SWAP1
000021fc: PUSH2 0x261e
000021ff: JUMP
00002200: JUMPDEST
00002201: PUSH2 0x220a
00002204: DUP4
00002205: DUP4
00002206: PUSH2 0x261e
00002209: JUMP
0000220a: JUMPDEST
0000220b: LT
0000220c: ISZERO
0000220d: PUSH2 0x2277
00002210: JUMPI
00002211: PUSH1 0x40
00002213: DUP1
00002214: MLOAD
00002215: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002236: DUP2
00002237: MSTORE
00002238: PUSH1 0x20
0000223a: PUSH1 0x04
0000223c: DUP3
0000223d: ADD
0000223e: MSTORE
0000223f: PUSH1 0x08
00002241: PUSH1 0x24
00002243: DUP3
00002244: ADD
00002245: MSTORE
00002246: PUSH32 0x57537761703a204b000000000000000000000000000000000000000000000000
00002267: PUSH1 0x44
00002269: DUP3
0000226a: ADD
0000226b: MSTORE
0000226c: SWAP1
0000226d: MLOAD
0000226e: SWAP1
0000226f: DUP2
00002270: SWAP1
00002271: SUB
00002272: PUSH1 0x64
00002274: ADD
00002275: SWAP1
00002276: REVERT
00002277: JUMPDEST
00002278: POP
00002279: POP
0000227a: PUSH2 0x2285
0000227d: DUP5
0000227e: DUP5
0000227f: DUP9
00002280: DUP9
00002281: PUSH2 0x27b2
00002284: JUMP
00002285: JUMPDEST
00002286: PUSH1 0x40
00002288: DUP1
00002289: MLOAD
0000228a: DUP4
0000228b: DUP2
0000228c: MSTORE
0000228d: PUSH1 0x20
0000228f: DUP2
00002290: ADD
00002291: DUP4
00002292: SWAP1
00002293: MSTORE
00002294: DUP1
00002295: DUP3
00002296: ADD
00002297: DUP15
00002298: SWAP1
00002299: MSTORE
0000229a: PUSH1 0x60
0000229c: DUP2
0000229d: ADD
0000229e: DUP14
0000229f: SWAP1
000022a0: MSTORE
000022a1: SWAP1
000022a2: MLOAD
000022a3: DUP14
000022a4: SWAP6
000022a5: POP
000022a6: DUP13
000022a7: SWAP5
000022a8: POP
000022a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022be: DUP13
000022bf: AND
000022c0: SWAP2
000022c1: CALLER
000022c2: SWAP2
000022c3: PUSH32 0xd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d822
000022e4: SWAP2
000022e5: DUP2
000022e6: SWAP1
000022e7: SUB
000022e8: PUSH1 0x80
000022ea: ADD
000022eb: SWAP1
000022ec: LOG3
000022ed: POP
000022ee: POP
000022ef: POP
000022f0: POP
000022f1: POP
000022f2: POP
000022f3: POP
000022f4: POP
000022f5: POP
000022f6: POP
000022f7: POP
000022f8: POP
000022f9: JUMP
000022fa: JUMPDEST
000022fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002310: DUP1
00002311: DUP5
00002312: AND
00002313: PUSH1 0x00
00002315: DUP2
00002316: DUP2
00002317: MSTORE
00002318: PUSH1 0x02
0000231a: PUSH1 0x20
0000231c: SWAP1
0000231d: DUP2
0000231e: MSTORE
0000231f: PUSH1 0x40
00002321: DUP1
00002322: DUP4
00002323: KECCAK256
00002324: SWAP5
00002325: DUP8
00002326: AND
00002327: DUP1
00002328: DUP5
00002329: MSTORE
0000232a: SWAP5
0000232b: DUP3
0000232c: MSTORE
0000232d: SWAP2
0000232e: DUP3
0000232f: SWAP1
00002330: KECCAK256
00002331: DUP6
00002332: SWAP1
00002333: SSTORE
00002334: DUP2
00002335: MLOAD
00002336: DUP6
00002337: DUP2
00002338: MSTORE
00002339: SWAP2
0000233a: MLOAD
0000233b: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000235c: SWAP3
0000235d: DUP2
0000235e: SWAP1
0000235f: SUB
00002360: SWAP1
00002361: SWAP2
00002362: ADD
00002363: SWAP1
00002364: LOG3
00002365: POP
00002366: POP
00002367: POP
00002368: JUMP
00002369: JUMPDEST
0000236a: DUP1
0000236b: DUP3
0000236c: SUB
0000236d: DUP3
0000236e: DUP2
0000236f: GT
00002370: ISZERO
00002371: PUSH2 0x089d
00002374: JUMPI
00002375: PUSH1 0x40
00002377: DUP1
00002378: MLOAD
00002379: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000239a: DUP2
0000239b: MSTORE
0000239c: PUSH1 0x20
0000239e: PUSH1 0x04
000023a0: DUP3
000023a1: ADD
000023a2: MSTORE
000023a3: PUSH1 0x15
000023a5: PUSH1 0x24
000023a7: DUP3
000023a8: ADD
000023a9: MSTORE
000023aa: PUSH32 0x64732d6d6174682d7375622d756e646572666c6f770000000000000000000000
000023cb: PUSH1 0x44
000023cd: DUP3
000023ce: ADD
000023cf: MSTORE
000023d0: SWAP1
000023d1: MLOAD
000023d2: SWAP1
000023d3: DUP2
000023d4: SWAP1
000023d5: SUB
000023d6: PUSH1 0x64
000023d8: ADD
000023d9: SWAP1
000023da: REVERT
000023db: JUMPDEST
000023dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f1: DUP4
000023f2: AND
000023f3: PUSH1 0x00
000023f5: SWAP1
000023f6: DUP2
000023f7: MSTORE
000023f8: PUSH1 0x01
000023fa: PUSH1 0x20
000023fc: MSTORE
000023fd: PUSH1 0x40
000023ff: SWAP1
00002400: KECCAK256
00002401: SLOAD
00002402: PUSH2 0x240b
00002405: SWAP1
00002406: DUP3
00002407: PUSH2 0x2369
0000240a: JUMP
0000240b: JUMPDEST
0000240c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002421: DUP1
00002422: DUP6
00002423: AND
00002424: PUSH1 0x00
00002426: SWAP1
00002427: DUP2
00002428: MSTORE
00002429: PUSH1 0x01
0000242b: PUSH1 0x20
0000242d: MSTORE
0000242e: PUSH1 0x40
00002430: DUP1
00002431: DUP3
00002432: KECCAK256
00002433: SWAP4
00002434: SWAP1
00002435: SWAP4
00002436: SSTORE
00002437: SWAP1
00002438: DUP5
00002439: AND
0000243a: DUP2
0000243b: MSTORE
0000243c: KECCAK256
0000243d: SLOAD
0000243e: PUSH2 0x2447
00002441: SWAP1
00002442: DUP3
00002443: PUSH2 0x2d46
00002446: JUMP
00002447: JUMPDEST
00002448: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000245d: DUP1
0000245e: DUP5
0000245f: AND
00002460: PUSH1 0x00
00002462: DUP2
00002463: DUP2
00002464: MSTORE
00002465: PUSH1 0x01
00002467: PUSH1 0x20
00002469: SWAP1
0000246a: DUP2
0000246b: MSTORE
0000246c: PUSH1 0x40
0000246e: SWAP2
0000246f: DUP3
00002470: SWAP1
00002471: KECCAK256
00002472: SWAP5
00002473: SWAP1
00002474: SWAP5
00002475: SSTORE
00002476: DUP1
00002477: MLOAD
00002478: DUP6
00002479: DUP2
0000247a: MSTORE
0000247b: SWAP1
0000247c: MLOAD
0000247d: SWAP2
0000247e: SWAP4
0000247f: SWAP3
00002480: DUP8
00002481: AND
00002482: SWAP3
00002483: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000024a4: SWAP3
000024a5: SWAP2
000024a6: DUP3
000024a7: SWAP1
000024a8: SUB
000024a9: ADD
000024aa: SWAP1
000024ab: LOG3
000024ac: POP
000024ad: POP
000024ae: POP
000024af: JUMP
000024b0: JUMPDEST
000024b1: PUSH1 0x00
000024b3: DUP1
000024b4: PUSH1 0x05
000024b6: PUSH1 0x00
000024b8: SWAP1
000024b9: SLOAD
000024ba: SWAP1
000024bb: PUSH2 0x0100
000024be: EXP
000024bf: SWAP1
000024c0: DIV
000024c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d6: AND
000024d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ec: AND
000024ed: PUSH4 0x017e7e58
000024f2: PUSH1 0x40
000024f4: MLOAD
000024f5: DUP2
000024f6: PUSH4 0xffffffff
000024fb: AND
000024fc: PUSH1 0xe0
000024fe: SHL
000024ff: DUP2
00002500: MSTORE
00002501: PUSH1 0x04
00002503: ADD
00002504: PUSH1 0x20
00002506: PUSH1 0x40
00002508: MLOAD
00002509: DUP1
0000250a: DUP4
0000250b: SUB
0000250c: DUP2
0000250d: DUP7
0000250e: DUP1
0000250f: EXTCODESIZE
00002510: ISZERO
00002511: DUP1
00002512: ISZERO
00002513: PUSH2 0x251b
00002516: JUMPI
00002517: PUSH1 0x00
00002519: DUP1
0000251a: REVERT
0000251b: JUMPDEST
0000251c: POP
0000251d: GAS
0000251e: STATICCALL
0000251f: ISZERO
00002520: DUP1
00002521: ISZERO
00002522: PUSH2 0x252f
00002525: JUMPI
00002526: RETURNDATASIZE
00002527: PUSH1 0x00
00002529: DUP1
0000252a: RETURNDATACOPY
0000252b: RETURNDATASIZE
0000252c: PUSH1 0x00
0000252e: REVERT
0000252f: JUMPDEST
00002530: POP
00002531: POP
00002532: POP
00002533: POP
00002534: PUSH1 0x40
00002536: MLOAD
00002537: RETURNDATASIZE
00002538: PUSH1 0x20
0000253a: DUP2
0000253b: LT
0000253c: ISZERO
0000253d: PUSH2 0x2545
00002540: JUMPI
00002541: PUSH1 0x00
00002543: DUP1
00002544: REVERT
00002545: JUMPDEST
00002546: POP
00002547: MLOAD
00002548: PUSH1 0x0b
0000254a: SLOAD
0000254b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002560: DUP3
00002561: AND
00002562: ISZERO
00002563: DUP1
00002564: ISZERO
00002565: SWAP5
00002566: POP
00002567: SWAP2
00002568: SWAP3
00002569: POP
0000256a: SWAP1
0000256b: PUSH2 0x260a
0000256e: JUMPI
0000256f: DUP1
00002570: ISZERO
00002571: PUSH2 0x2605
00002574: JUMPI
00002575: PUSH1 0x00
00002577: PUSH2 0x2596
0000257a: PUSH2 0x0c12
0000257d: PUSH14 0xffffffffffffffffffffffffffff
0000258c: DUP9
0000258d: DUP2
0000258e: AND
0000258f: SWAP1
00002590: DUP9
00002591: AND
00002592: PUSH2 0x261e
00002595: JUMP
00002596: JUMPDEST
00002597: SWAP1
00002598: POP
00002599: PUSH1 0x00
0000259b: PUSH2 0x25a3
0000259e: DUP4
0000259f: PUSH2 0x26a4
000025a2: JUMP
000025a3: JUMPDEST
000025a4: SWAP1
000025a5: POP
000025a6: DUP1
000025a7: DUP3
000025a8: GT
000025a9: ISZERO
000025aa: PUSH2 0x2602
000025ad: JUMPI
000025ae: PUSH1 0x00
000025b0: PUSH2 0x25c5
000025b3: PUSH2 0x25bc
000025b6: DUP5
000025b7: DUP5
000025b8: PUSH2 0x2369
000025bb: JUMP
000025bc: JUMPDEST
000025bd: PUSH1 0x00
000025bf: SLOAD
000025c0: SWAP1
000025c1: PUSH2 0x261e
000025c4: JUMP
000025c5: JUMPDEST
000025c6: SWAP1
000025c7: POP
000025c8: PUSH1 0x00
000025ca: PUSH2 0x25de
000025cd: DUP4
000025ce: PUSH2 0x25d8
000025d1: DUP7
000025d2: PUSH1 0x05
000025d4: PUSH2 0x261e
000025d7: JUMP
000025d8: JUMPDEST
000025d9: SWAP1
000025da: PUSH2 0x2d46
000025dd: JUMP
000025de: JUMPDEST
000025df: SWAP1
000025e0: POP
000025e1: PUSH1 0x00
000025e3: DUP2
000025e4: DUP4
000025e5: DUP2
000025e6: PUSH2 0x25eb
000025e9: JUMPI
000025ea: INVALID
000025eb: JUMPDEST
000025ec: DIV
000025ed: SWAP1
000025ee: POP
000025ef: DUP1
000025f0: ISZERO
000025f1: PUSH2 0x25fe
000025f4: JUMPI
000025f5: PUSH2 0x25fe
000025f8: DUP8
000025f9: DUP3
000025fa: PUSH2 0x26f6
000025fd: JUMP
000025fe: JUMPDEST
000025ff: POP
00002600: POP
00002601: POP
00002602: JUMPDEST
00002603: POP
00002604: POP
00002605: JUMPDEST
00002606: PUSH2 0x2616
00002609: JUMP
0000260a: JUMPDEST
0000260b: DUP1
0000260c: ISZERO
0000260d: PUSH2 0x2616
00002610: JUMPI
00002611: PUSH1 0x00
00002613: PUSH1 0x0b
00002615: SSTORE
00002616: JUMPDEST
00002617: POP
00002618: POP
00002619: SWAP3
0000261a: SWAP2
0000261b: POP
0000261c: POP
0000261d: JUMP
0000261e: JUMPDEST
0000261f: PUSH1 0x00
00002621: DUP2
00002622: ISZERO
00002623: DUP1
00002624: PUSH2 0x2639
00002627: JUMPI
00002628: POP
00002629: POP
0000262a: DUP1
0000262b: DUP3
0000262c: MUL
0000262d: DUP3
0000262e: DUP3
0000262f: DUP3
00002630: DUP2
00002631: PUSH2 0x2636
00002634: JUMPI
00002635: INVALID
00002636: JUMPDEST
00002637: DIV
00002638: EQ
00002639: JUMPDEST
0000263a: PUSH2 0x089d
0000263d: JUMPI
0000263e: PUSH1 0x40
00002640: DUP1
00002641: MLOAD
00002642: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002663: DUP2
00002664: MSTORE
00002665: PUSH1 0x20
00002667: PUSH1 0x04
00002669: DUP3
0000266a: ADD
0000266b: MSTORE
0000266c: PUSH1 0x14
0000266e: PUSH1 0x24
00002670: DUP3
00002671: ADD
00002672: MSTORE
00002673: PUSH32 0x64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000
00002694: PUSH1 0x44
00002696: DUP3
00002697: ADD
00002698: MSTORE
00002699: SWAP1
0000269a: MLOAD
0000269b: SWAP1
0000269c: DUP2
0000269d: SWAP1
0000269e: SUB
0000269f: PUSH1 0x64
000026a1: ADD
000026a2: SWAP1
000026a3: REVERT
000026a4: JUMPDEST
000026a5: PUSH1 0x00
000026a7: PUSH1 0x03
000026a9: DUP3
000026aa: GT
000026ab: ISZERO
000026ac: PUSH2 0x26e7
000026af: JUMPI
000026b0: POP
000026b1: DUP1
000026b2: PUSH1 0x01
000026b4: PUSH1 0x02
000026b6: DUP3
000026b7: DIV
000026b8: ADD
000026b9: JUMPDEST
000026ba: DUP2
000026bb: DUP2
000026bc: LT
000026bd: ISZERO
000026be: PUSH2 0x26e1
000026c1: JUMPI
000026c2: DUP1
000026c3: SWAP2
000026c4: POP
000026c5: PUSH1 0x02
000026c7: DUP2
000026c8: DUP3
000026c9: DUP6
000026ca: DUP2
000026cb: PUSH2 0x26d0
000026ce: JUMPI
000026cf: INVALID
000026d0: JUMPDEST
000026d1: DIV
000026d2: ADD
000026d3: DUP2
000026d4: PUSH2 0x26d9
000026d7: JUMPI
000026d8: INVALID
000026d9: JUMPDEST
000026da: DIV
000026db: SWAP1
000026dc: POP
000026dd: PUSH2 0x26b9
000026e0: JUMP
000026e1: JUMPDEST
000026e2: POP
000026e3: PUSH2 0x26f1
000026e6: JUMP
000026e7: JUMPDEST
000026e8: DUP2
000026e9: ISZERO
000026ea: PUSH2 0x26f1
000026ed: JUMPI
000026ee: POP
000026ef: PUSH1 0x01
000026f1: JUMPDEST
000026f2: SWAP2
000026f3: SWAP1
000026f4: POP
000026f5: JUMP
000026f6: JUMPDEST
000026f7: PUSH1 0x00
000026f9: SLOAD
000026fa: PUSH2 0x2703
000026fd: SWAP1
000026fe: DUP3
000026ff: PUSH2 0x2d46
00002702: JUMP
00002703: JUMPDEST
00002704: PUSH1 0x00
00002706: SWAP1
00002707: DUP2
00002708: SSTORE
00002709: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000271e: DUP4
0000271f: AND
00002720: DUP2
00002721: MSTORE
00002722: PUSH1 0x01
00002724: PUSH1 0x20
00002726: MSTORE
00002727: PUSH1 0x40
00002729: SWAP1
0000272a: KECCAK256
0000272b: SLOAD
0000272c: PUSH2 0x2735
0000272f: SWAP1
00002730: DUP3
00002731: PUSH2 0x2d46
00002734: JUMP
00002735: JUMPDEST
00002736: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000274b: DUP4
0000274c: AND
0000274d: PUSH1 0x00
0000274f: DUP2
00002750: DUP2
00002751: MSTORE
00002752: PUSH1 0x01
00002754: PUSH1 0x20
00002756: SWAP1
00002757: DUP2
00002758: MSTORE
00002759: PUSH1 0x40
0000275b: DUP1
0000275c: DUP4
0000275d: KECCAK256
0000275e: SWAP5
0000275f: SWAP1
00002760: SWAP5
00002761: SSTORE
00002762: DUP4
00002763: MLOAD
00002764: DUP6
00002765: DUP2
00002766: MSTORE
00002767: SWAP4
00002768: MLOAD
00002769: SWAP3
0000276a: SWAP4
0000276b: SWAP2
0000276c: SWAP3
0000276d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000278e: SWAP3
0000278f: DUP2
00002790: SWAP1
00002791: SUB
00002792: SWAP1
00002793: SWAP2
00002794: ADD
00002795: SWAP1
00002796: LOG3
00002797: POP
00002798: POP
00002799: JUMP
0000279a: JUMPDEST
0000279b: PUSH1 0x00
0000279d: DUP2
0000279e: DUP4
0000279f: LT
000027a0: PUSH2 0x27a9
000027a3: JUMPI
000027a4: DUP2
000027a5: PUSH2 0x27ab
000027a8: JUMP
000027a9: JUMPDEST
000027aa: DUP3
000027ab: JUMPDEST
000027ac: SWAP4
000027ad: SWAP3
000027ae: POP
000027af: POP
000027b0: POP
000027b1: JUMP
000027b2: JUMPDEST
000027b3: PUSH14 0xffffffffffffffffffffffffffff
000027c2: DUP5
000027c3: GT
000027c4: DUP1
000027c5: ISZERO
000027c6: SWAP1
000027c7: PUSH2 0x27de
000027ca: JUMPI
000027cb: POP
000027cc: PUSH14 0xffffffffffffffffffffffffffff
000027db: DUP4
000027dc: GT
000027dd: ISZERO
000027de: JUMPDEST
000027df: PUSH2 0x2849
000027e2: JUMPI
000027e3: PUSH1 0x40
000027e5: DUP1
000027e6: MLOAD
000027e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002808: DUP2
00002809: MSTORE
0000280a: PUSH1 0x20
0000280c: PUSH1 0x04
0000280e: DUP3
0000280f: ADD
00002810: MSTORE
00002811: PUSH1 0x0f
00002813: PUSH1 0x24
00002815: DUP3
00002816: ADD
00002817: MSTORE
00002818: PUSH32 0x57537761703a204f564552464c4f570000000000000000000000000000000000
00002839: PUSH1 0x44
0000283b: DUP3
0000283c: ADD
0000283d: MSTORE
0000283e: SWAP1
0000283f: MLOAD
00002840: SWAP1
00002841: DUP2
00002842: SWAP1
00002843: SUB
00002844: PUSH1 0x64
00002846: ADD
00002847: SWAP1
00002848: REVERT
00002849: JUMPDEST
0000284a: PUSH1 0x08
0000284c: SLOAD
0000284d: PUSH4 0xffffffff
00002852: TIMESTAMP
00002853: DUP2
00002854: AND
00002855: SWAP2
00002856: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002874: SWAP1
00002875: DIV
00002876: DUP2
00002877: AND
00002878: DUP3
00002879: SUB
0000287a: SWAP1
0000287b: DUP2
0000287c: AND
0000287d: ISZERO
0000287e: DUP1
0000287f: ISZERO
00002880: SWAP1
00002881: PUSH2 0x2899
00002884: JUMPI
00002885: POP
00002886: PUSH14 0xffffffffffffffffffffffffffff
00002895: DUP5
00002896: AND
00002897: ISZERO
00002898: ISZERO
00002899: JUMPDEST
0000289a: DUP1
0000289b: ISZERO
0000289c: PUSH2 0x28b4
0000289f: JUMPI
000028a0: POP
000028a1: PUSH14 0xffffffffffffffffffffffffffff
000028b0: DUP4
000028b1: AND
000028b2: ISZERO
000028b3: ISZERO
000028b4: JUMPDEST
000028b5: ISZERO
000028b6: PUSH2 0x295e
000028b9: JUMPI
000028ba: DUP1
000028bb: PUSH4 0xffffffff
000028c0: AND
000028c1: PUSH2 0x28f1
000028c4: DUP6
000028c5: PUSH2 0x28cd
000028c8: DUP7
000028c9: PUSH2 0x2db8
000028cc: JUMP
000028cd: JUMPDEST
000028ce: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000028eb: AND
000028ec: SWAP1
000028ed: PUSH2 0x2ddc
000028f0: JUMP
000028f1: JUMPDEST
000028f2: PUSH1 0x09
000028f4: DUP1
000028f5: SLOAD
000028f6: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002913: SWAP3
00002914: SWAP1
00002915: SWAP3
00002916: AND
00002917: SWAP3
00002918: SWAP1
00002919: SWAP3
0000291a: MUL
0000291b: ADD
0000291c: SWAP1
0000291d: SSTORE
0000291e: PUSH4 0xffffffff
00002923: DUP2
00002924: AND
00002925: PUSH2 0x2931
00002928: DUP5
00002929: PUSH2 0x28cd
0000292c: DUP8
0000292d: PUSH2 0x2db8
00002930: JUMP
00002931: JUMPDEST
00002932: PUSH1 0x0a
00002934: DUP1
00002935: SLOAD
00002936: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002953: SWAP3
00002954: SWAP1
00002955: SWAP3
00002956: AND
00002957: SWAP3
00002958: SWAP1
00002959: SWAP3
0000295a: MUL
0000295b: ADD
0000295c: SWAP1
0000295d: SSTORE
0000295e: JUMPDEST
0000295f: PUSH1 0x08
00002961: DUP1
00002962: SLOAD
00002963: PUSH32 0xffffffffffffffffffffffffffffffffffff0000000000000000000000000000
00002984: AND
00002985: PUSH14 0xffffffffffffffffffffffffffff
00002994: DUP9
00002995: DUP2
00002996: AND
00002997: SWAP2
00002998: SWAP1
00002999: SWAP2
0000299a: OR
0000299b: PUSH32 0xffffffff0000000000000000000000000000ffffffffffffffffffffffffffff
000029bc: AND
000029bd: PUSH15 0x010000000000000000000000000000
000029cd: DUP9
000029ce: DUP4
000029cf: AND
000029d0: DUP2
000029d1: MUL
000029d2: SWAP2
000029d3: SWAP1
000029d4: SWAP2
000029d5: OR
000029d6: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029f3: AND
000029f4: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002a12: PUSH4 0xffffffff
00002a17: DUP8
00002a18: AND
00002a19: MUL
00002a1a: OR
00002a1b: SWAP3
00002a1c: DUP4
00002a1d: SWAP1
00002a1e: SSTORE
00002a1f: PUSH1 0x40
00002a21: DUP1
00002a22: MLOAD
00002a23: DUP5
00002a24: DUP5
00002a25: AND
00002a26: DUP2
00002a27: MSTORE
00002a28: SWAP2
00002a29: SWAP1
00002a2a: SWAP4
00002a2b: DIV
00002a2c: SWAP1
00002a2d: SWAP2
00002a2e: AND
00002a2f: PUSH1 0x20
00002a31: DUP3
00002a32: ADD
00002a33: MSTORE
00002a34: DUP2
00002a35: MLOAD
00002a36: PUSH32 0x1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1
00002a57: SWAP3
00002a58: SWAP2
00002a59: DUP2
00002a5a: SWAP1
00002a5b: SUB
00002a5c: SWAP1
00002a5d: SWAP2
00002a5e: ADD
00002a5f: SWAP1
00002a60: LOG1
00002a61: POP
00002a62: POP
00002a63: POP
00002a64: POP
00002a65: POP
00002a66: POP
00002a67: JUMP
00002a68: JUMPDEST
00002a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a7e: DUP3
00002a7f: AND
00002a80: PUSH1 0x00
00002a82: SWAP1
00002a83: DUP2
00002a84: MSTORE
00002a85: PUSH1 0x01
00002a87: PUSH1 0x20
00002a89: MSTORE
00002a8a: PUSH1 0x40
00002a8c: SWAP1
00002a8d: KECCAK256
00002a8e: SLOAD
00002a8f: PUSH2 0x2a98
00002a92: SWAP1
00002a93: DUP3
00002a94: PUSH2 0x2369
00002a97: JUMP
00002a98: JUMPDEST
00002a99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aae: DUP4
00002aaf: AND
00002ab0: PUSH1 0x00
00002ab2: SWAP1
00002ab3: DUP2
00002ab4: MSTORE
00002ab5: PUSH1 0x01
00002ab7: PUSH1 0x20
00002ab9: MSTORE
00002aba: PUSH1 0x40
00002abc: DUP2
00002abd: KECCAK256
00002abe: SWAP2
00002abf: SWAP1
00002ac0: SWAP2
00002ac1: SSTORE
00002ac2: SLOAD
00002ac3: PUSH2 0x2acc
00002ac6: SWAP1
00002ac7: DUP3
00002ac8: PUSH2 0x2369
00002acb: JUMP
00002acc: JUMPDEST
00002acd: PUSH1 0x00
00002acf: SWAP1
00002ad0: DUP2
00002ad1: SSTORE
00002ad2: PUSH1 0x40
00002ad4: DUP1
00002ad5: MLOAD
00002ad6: DUP4
00002ad7: DUP2
00002ad8: MSTORE
00002ad9: SWAP1
00002ada: MLOAD
00002adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002af0: DUP6
00002af1: AND
00002af2: SWAP2
00002af3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002b14: SWAP2
00002b15: SWAP1
00002b16: DUP2
00002b17: SWAP1
00002b18: SUB
00002b19: PUSH1 0x20
00002b1b: ADD
00002b1c: SWAP1
00002b1d: LOG3
00002b1e: POP
00002b1f: POP
00002b20: JUMP
00002b21: JUMPDEST
00002b22: PUSH1 0x40
00002b24: DUP1
00002b25: MLOAD
00002b26: DUP1
00002b27: DUP3
00002b28: ADD
00002b29: DUP3
00002b2a: MSTORE
00002b2b: PUSH1 0x19
00002b2d: DUP2
00002b2e: MSTORE
00002b2f: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000
00002b50: PUSH1 0x20
00002b52: SWAP2
00002b53: DUP3
00002b54: ADD
00002b55: MSTORE
00002b56: DUP2
00002b57: MLOAD
00002b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b6d: DUP6
00002b6e: DUP2
00002b6f: AND
00002b70: PUSH1 0x24
00002b72: DUP4
00002b73: ADD
00002b74: MSTORE
00002b75: PUSH1 0x44
00002b77: DUP1
00002b78: DUP4
00002b79: ADD
00002b7a: DUP7
00002b7b: SWAP1
00002b7c: MSTORE
00002b7d: DUP5
00002b7e: MLOAD
00002b7f: DUP1
00002b80: DUP5
00002b81: SUB
00002b82: SWAP1
00002b83: SWAP2
00002b84: ADD
00002b85: DUP2
00002b86: MSTORE
00002b87: PUSH1 0x64
00002b89: SWAP1
00002b8a: SWAP3
00002b8b: ADD
00002b8c: DUP5
00002b8d: MSTORE
00002b8e: SWAP2
00002b8f: DUP2
00002b90: ADD
00002b91: DUP1
00002b92: MLOAD
00002b93: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002bb0: AND
00002bb1: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002bd2: OR
00002bd3: DUP2
00002bd4: MSTORE
00002bd5: SWAP3
00002bd6: MLOAD
00002bd7: DUP2
00002bd8: MLOAD
00002bd9: PUSH1 0x00
00002bdb: SWAP5
00002bdc: PUSH1 0x60
00002bde: SWAP5
00002bdf: DUP10
00002be0: AND
00002be1: SWAP4
00002be2: SWAP3
00002be3: SWAP2
00002be4: DUP3
00002be5: SWAP2
00002be6: SWAP1
00002be7: DUP1
00002be8: DUP4
00002be9: DUP4
00002bea: JUMPDEST
00002beb: PUSH1 0x20
00002bed: DUP4
00002bee: LT
00002bef: PUSH2 0x2c27
00002bf2: JUMPI
00002bf3: DUP1
00002bf4: MLOAD
00002bf5: DUP3
00002bf6: MSTORE
00002bf7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002c18: SWAP1
00002c19: SWAP3
00002c1a: ADD
00002c1b: SWAP2
00002c1c: PUSH1 0x20
00002c1e: SWAP2
00002c1f: DUP3
00002c20: ADD
00002c21: SWAP2
00002c22: ADD
00002c23: PUSH2 0x2bea
00002c26: JUMP
00002c27: JUMPDEST
00002c28: PUSH1 0x01
00002c2a: DUP4
00002c2b: PUSH1 0x20
00002c2d: SUB
00002c2e: PUSH2 0x0100
00002c31: EXP
00002c32: SUB
00002c33: DUP1
00002c34: NOT
00002c35: DUP3
00002c36: MLOAD
00002c37: AND
00002c38: DUP2
00002c39: DUP5
00002c3a: MLOAD
00002c3b: AND
00002c3c: DUP1
00002c3d: DUP3
00002c3e: OR
00002c3f: DUP6
00002c40: MSTORE
00002c41: POP
00002c42: POP
00002c43: POP
00002c44: POP
00002c45: POP
00002c46: POP
00002c47: SWAP1
00002c48: POP
00002c49: ADD
00002c4a: SWAP2
00002c4b: POP
00002c4c: POP
00002c4d: PUSH1 0x00
00002c4f: PUSH1 0x40
00002c51: MLOAD
00002c52: DUP1
00002c53: DUP4
00002c54: SUB
00002c55: DUP2
00002c56: PUSH1 0x00
00002c58: DUP7
00002c59: GAS
00002c5a: CALL
00002c5b: SWAP2
00002c5c: POP
00002c5d: POP
00002c5e: RETURNDATASIZE
00002c5f: DUP1
00002c60: PUSH1 0x00
00002c62: DUP2
00002c63: EQ
00002c64: PUSH2 0x2c89
00002c67: JUMPI
00002c68: PUSH1 0x40
00002c6a: MLOAD
00002c6b: SWAP2
00002c6c: POP
00002c6d: PUSH1 0x1f
00002c6f: NOT
00002c70: PUSH1 0x3f
00002c72: RETURNDATASIZE
00002c73: ADD
00002c74: AND
00002c75: DUP3
00002c76: ADD
00002c77: PUSH1 0x40
00002c79: MSTORE
00002c7a: RETURNDATASIZE
00002c7b: DUP3
00002c7c: MSTORE
00002c7d: RETURNDATASIZE
00002c7e: PUSH1 0x00
00002c80: PUSH1 0x20
00002c82: DUP5
00002c83: ADD
00002c84: RETURNDATACOPY
00002c85: PUSH2 0x2c8e
00002c88: JUMP
00002c89: JUMPDEST
00002c8a: PUSH1 0x60
00002c8c: SWAP2
00002c8d: POP
00002c8e: JUMPDEST
00002c8f: POP
00002c90: SWAP2
00002c91: POP
00002c92: SWAP2
00002c93: POP
00002c94: DUP2
00002c95: DUP1
00002c96: ISZERO
00002c97: PUSH2 0x2cbc
00002c9a: JUMPI
00002c9b: POP
00002c9c: DUP1
00002c9d: MLOAD
00002c9e: ISZERO
00002c9f: DUP1
00002ca0: PUSH2 0x2cbc
00002ca3: JUMPI
00002ca4: POP
00002ca5: DUP1
00002ca6: DUP1
00002ca7: PUSH1 0x20
00002ca9: ADD
00002caa: SWAP1
00002cab: MLOAD
00002cac: PUSH1 0x20
00002cae: DUP2
00002caf: LT
00002cb0: ISZERO
00002cb1: PUSH2 0x2cb9
00002cb4: JUMPI
00002cb5: PUSH1 0x00
00002cb7: DUP1
00002cb8: REVERT
00002cb9: JUMPDEST
00002cba: POP
00002cbb: MLOAD
00002cbc: JUMPDEST
00002cbd: PUSH2 0x2d27
00002cc0: JUMPI
00002cc1: PUSH1 0x40
00002cc3: DUP1
00002cc4: MLOAD
00002cc5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ce6: DUP2
00002ce7: MSTORE
00002ce8: PUSH1 0x20
00002cea: PUSH1 0x04
00002cec: DUP3
00002ced: ADD
00002cee: MSTORE
00002cef: PUSH1 0x16
00002cf1: PUSH1 0x24
00002cf3: DUP3
00002cf4: ADD
00002cf5: MSTORE
00002cf6: PUSH32 0x57537761703a205452414e534645525f4641494c454400000000000000000000
00002d17: PUSH1 0x44
00002d19: DUP3
00002d1a: ADD
00002d1b: MSTORE
00002d1c: SWAP1
00002d1d: MLOAD
00002d1e: SWAP1
00002d1f: DUP2
00002d20: SWAP1
00002d21: SUB
00002d22: PUSH1 0x64
00002d24: ADD
00002d25: SWAP1
00002d26: REVERT
00002d27: JUMPDEST
00002d28: POP
00002d29: POP
00002d2a: POP
00002d2b: POP
00002d2c: POP
00002d2d: JUMP
00002d2e: JUMPDEST
00002d2f: PUSH20 0x463672ffded540f7613d3e8248e3a8a51baf7217
00002d44: SWAP1
00002d45: JUMP
00002d46: JUMPDEST
00002d47: DUP1
00002d48: DUP3
00002d49: ADD
00002d4a: DUP3
00002d4b: DUP2
00002d4c: LT
00002d4d: ISZERO
00002d4e: PUSH2 0x089d
00002d51: JUMPI
00002d52: PUSH1 0x40
00002d54: DUP1
00002d55: MLOAD
00002d56: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d77: DUP2
00002d78: MSTORE
00002d79: PUSH1 0x20
00002d7b: PUSH1 0x04
00002d7d: DUP3
00002d7e: ADD
00002d7f: MSTORE
00002d80: PUSH1 0x14
00002d82: PUSH1 0x24
00002d84: DUP3
00002d85: ADD
00002d86: MSTORE
00002d87: PUSH32 0x64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000
00002da8: PUSH1 0x44
00002daa: DUP3
00002dab: ADD
00002dac: MSTORE
00002dad: SWAP1
00002dae: MLOAD
00002daf: SWAP1
00002db0: DUP2
00002db1: SWAP1
00002db2: SUB
00002db3: PUSH1 0x64
00002db5: ADD
00002db6: SWAP1
00002db7: REVERT
00002db8: JUMPDEST
00002db9: PUSH14 0xffffffffffffffffffffffffffff
00002dc8: AND
00002dc9: PUSH15 0x010000000000000000000000000000
00002dd9: MUL
00002dda: SWAP1
00002ddb: JUMP
00002ddc: JUMPDEST
00002ddd: PUSH1 0x00
00002ddf: PUSH14 0xffffffffffffffffffffffffffff
00002dee: DUP3
00002def: AND
00002df0: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002e0d: DUP5
00002e0e: AND
00002e0f: DUP2
00002e10: PUSH2 0x2e15
00002e13: JUMPI
00002e14: INVALID
00002e15: JUMPDEST
00002e16: DIV
00002e17: SWAP4
00002e18: SWAP3
00002e19: POP
00002e1a: POP
00002e1b: POP
00002e1c: JUMP
00002e1d: INVALID
00002e1e: JUMPI
00002e1f: MSTORE8
00002e20: PUSH24 0x61703a20444953434f554e5420434f554c44204245204341
00002e39: UNKNOWN(0x4C)
00002e3a: NUMBER
00002e3b: SSTORE
00002e3c: UNKNOWN(0x4C)
00002e3d: COINBASE
00002e3e: SLOAD
00002e3f: GASLIMIT
00002e40: DIFFICULTY
00002e41: KECCAK256
00002e42: UNKNOWN(0x4F)
00002e43: UNKNOWN(0x4E)
00002e44: UNKNOWN(0x4C)
00002e45: MSIZE
00002e46: KECCAK256
00002e47: UNKNOWN(0x4F)
00002e48: UNKNOWN(0x4E)
00002e49: KECCAK256
00002e4a: MSTORE
00002e4b: UNKNOWN(0x4F)
00002e4c: SSTORE
00002e4d: SLOAD
00002e4e: GASLIMIT
00002e4f: MSTORE
00002e50: JUMPI
00002e51: MSTORE8
00002e52: PUSH24 0x61703a20494e53554646494349454e545f4c495155494449
00002e6b: SLOAD
00002e6c: MSIZE
00002e6d: PUSH0
00002e6e: TIMESTAMP
00002e6f: SSTORE
00002e70: MSTORE
00002e71: UNKNOWN(0x4E)
00002e72: GASLIMIT
00002e73: DIFFICULTY
00002e74: JUMPI
00002e75: MSTORE8
00002e76: PUSH24 0x61703a20494e53554646494349454e545f4f55545055545f
00002e8f: COINBASE
00002e90: UNKNOWN(0x4D)
00002e91: UNKNOWN(0x4F)
00002e92: SSTORE
00002e93: UNKNOWN(0x4E)
00002e94: SLOAD
00002e95: JUMPI
00002e96: MSTORE8
00002e97: PUSH24 0x61703a20494e53554646494349454e545f4c495155494449
00002eb0: SLOAD
00002eb1: MSIZE
00002eb2: PUSH0
00002eb3: UNKNOWN(0x4D)
00002eb4: BLOBHASH
00002eb5: UNKNOWN(0x4E)
00002eb6: SLOAD
00002eb7: GASLIMIT
00002eb8: DIFFICULTY
00002eb9: LOG2
00002eba: PUSH5 0x6970667358
00002ec0: UNKNOWN(0x22)
00002ec1: SLT
00002ec2: KECCAK256
00002ec3: JUMPDEST
00002ec4: DUP4
00002ec5: UNKNOWN(0xBF)
00002ec6: UNKNOWN(0xF7)
00002ec7: UNKNOWN(0xDC)
00002ec8: UNKNOWN(0xAB)
00002ec9: POP
00002eca: UNKNOWN(0xFC)
00002ecb: UNKNOWN(0xCB)
00002ecc: MCOPY
00002ecd: DUP2
00002ece: UNKNOWN(0x22)
00002ecf: UNKNOWN(0x4B)
00002ed0: UNKNOWN(0xD3)
00002ed1: UNKNOWN(0x27)
00002ed2: PUSH22 0x293d9a2d11272c0afc22d8601c01da6a64736f6c6343
00002ee9: STOP
00002eea: MOD
00002eeb: UNKNOWN(0x0C)
00002eec: STOP
00002eed: CALLER

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: 0xa5cfa6d2e4fd0bbe3213f69847f9218df5d1a38e4991fde15d833c3fb2c3d5bb
call_targets: 0x524818cb8081941b618613c6f990c17bb3da0866
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa5cfa6d2e4fd0bbe3213f69847f9218df5d1a38e4991fde15d833c3fb2c3d5bb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x524818cb8081941b618613c6f990c17bb3da0866"
    ],
    "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": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd65939dc",
            "selector": "0xd65939dc",
            "calldata_variants": [
                "0xd65939dc",
                "0xd65939dc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfff6cae9",
            "selector": "0xfff6cae9",
            "calldata_variants": [
                "0xfff6cae9",
                "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbc25cf77",
            "selector": "0xbc25cf77",
            "calldata_variants": [
                "0xbc25cf77",
                "0xbc25cf770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc0c53b8b",
            "selector": "0xc0c53b8b",
            "calldata_variants": [
                "0xc0c53b8b",
                "0xc0c53b8b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45a0155",
            "selector": "0xc45a0155",
            "calldata_variants": [
                "0xc45a0155",
                "0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd21220a7",
            "selector": "0xd21220a7",
            "calldata_variants": [
                "0xd21220a7",
                "0xd21220a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 8033,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11354,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 7231,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xa5cfa6d2e4fd0bbe3213f69847f9218df5d1a38e4991fde15d833c3fb2c3d5bb
call_targets: 0x524818cb8081941b618613c6f990c17bb3da0866
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa5cfa6d2e4fd0bbe3213f69847f9218df5d1a38e4991fde15d833c3fb2c3d5bb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x524818cb8081941b618613c6f990c17bb3da0866"
    ],
    "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": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd65939dc",
            "selector": "0xd65939dc",
            "calldata_variants": [
                "0xd65939dc",
                "0xd65939dc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfff6cae9",
            "selector": "0xfff6cae9",
            "calldata_variants": [
                "0xfff6cae9",
                "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbc25cf77",
            "selector": "0xbc25cf77",
            "calldata_variants": [
                "0xbc25cf77",
                "0xbc25cf770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc0c53b8b",
            "selector": "0xc0c53b8b",
            "calldata_variants": [
                "0xc0c53b8b",
                "0xc0c53b8b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45a0155",
            "selector": "0xc45a0155",
            "calldata_variants": [
                "0xc45a0155",
                "0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd21220a7",
            "selector": "0xd21220a7",
            "calldata_variants": [
                "0xd21220a7",
                "0xd21220a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 8033,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11354,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 7231,
            "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": 14
}
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": 15
}