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

Analysis Run

019bab3b-ac62-70bf-bd48-3141cf1dd860

complete
Chain ID
1
Address
Block Number
Created
Sun, Jan 11, 2026 4:06 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?

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Present
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
38751 artifact.fetch complete 1 / 3 3 months ago
38752 proxy.resolve complete 1 / 3 3 months ago
38753 tool.cast_disasm complete 1 / 3 3 months ago
38754 analysis.bundle complete 1 / 3 3 months ago
38755 capability.graph complete 1 / 3 3 months ago
38756 detector.run complete 1 / 3 3 months ago
38757 validation.fork complete 1 / 3 3 months ago
39168 report.consolidate complete 1 / 6 3 months ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
2
No findings?
no
Summary
Bytecode indicates an ERC1155-style contract with Ownable checks and no proxy/delegatecall. The main risks are around untrusted external calls (ERC1155 receiver hooks) and an ETH sweep via low-level CALL; both appear intentional but should be reviewed for reentrancy/access-control correctness.
View stdout
{"no_findings":false,"summary":"Bytecode indicates an ERC1155-style contract with Ownable checks and no proxy/delegatecall. The main risks are around untrusted external calls (ERC1155 receiver hooks) and an ETH sweep via low-level CALL; both appear intentional but should be reviewed for reentrancy/access-control correctness.","findings":[{"severity":"low","category":"reentrancy","title":"Untrusted external calls during ERC1155 receiver hooks (potential reentrancy surface)","exploit_scenario":"If a malicious receiver contract is called via onERC1155Received/onERC1155BatchReceived, it can reenter other functions while state is mid‑update. If any state updates or accounting occur after these calls, a reentrant call could bypass invariants (e.g., mint limits or balances). Evidence of a reentrancy guard is not detected, but guard detection is heuristic.","recommendation":"Ensure all state changes for transfers/mints are completed before calling external receivers and consider a reentrancy guard on externally callable state-mutating functions if invariants could be violated on reentry.","evidence":"External CALLs to computed targets with gas are present at pc:9846 and pc:10358; returndata handling occurs after the call, but no guard is detected in auth.guards.", "locations":["pc:9846","pc:10358"]},{"severity":"low","category":"access_control","title":"Low-level ETH sweep to caller uses SELFBALANCE and CALLER","exploit_scenario":"The bytecode performs a low-level CALL sending the full contract balance to CALLER. If access control around this path is misconfigured or bypassable, any caller could drain ETH. The bytecode shows a CALLER==SLOAD(owner) check, but guard detection is heuristic and storage slot meaning is inferred.","recommendation":"Verify the withdraw/sweep function is strictly owner-only (or otherwise authorized) and that the owner slot is correctly initialized and not mutable by untrusted users. Consider emitting an event for withdrawals for monitoring.","evidence":"CALL at pc:2900 uses SELFBALANCE and CALLER as value/target; preceding block at pc:2803 performs CALLER EQ against a masked SLOAD (likely owner check).","locations":["pc:2900","pc:2803"]}]}
View stderr
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-6iejn534
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019babe3-5d9a-77d2-a875-b70aeaf221aa
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

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.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
mcp startup: no servers

thinking
**Reading BYTECODE_BUNDLE.json**
exec
/bin/bash -lc ls in /tmp/codex-6iejn534 succeeded in 6ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-6iejn534 succeeded in 8ms:
{
  "analysis_artifact": {
    "address": "0xa658542ca3265c00beb9a7b45a23503ed87c66c0",
    "artifact_hash": "0x06bb400fecc2c6f29489ecf2a5c643b6b8e3ebc0e73411e51f72033bb89fcef9",
    "artifact_json": {
      "auth": {
        "guards": []
      },
      "basic_blocks": [
        {
          "end_pc": 12,
          "hash": "0xfcbaaa82c4e0a8e6365f35fc4d00a277413db7f03ddeaae646784e780ddcf63a",
          "opcodes": [
            "PUSH1",
            "PUSH1",
            "MSTORE",
            "PUSH1",
            "CALLDATASIZE",
            "LT",
            "PUSH2",

thinking
**Analyzing untrusted CALL usage and potential reentrancy**

I'm piecing together evidence about untrusted external CALLs that might transfer ETH, focusing on calls to the contract's own address, hinting at possible reentrancy. The data lacks clear guards or state-change order, so I'll cautiously highlight reentrancy risks with medium severity. To deepen the analysis, I'll try locating storage slot info or callsites in the JSON to find stronger evidence.
exec
/bin/bash -lc 'rg -n "storage" BYTECODE_BUNDLE.json' in /tmp/codex-6iejn534 succeeded in 11ms:
17083:          "storage": {
17272:          "storage": {
17461:          "storage": {
17650:          "storage": {
17839:          "storage": {
18028:          "storage": {
18217:          "storage": {
18406:          "storage": {
18595:          "storage": {
18784:          "storage": {
18973:          "storage": {
19162:          "storage": {
19351:          "storage": {
19540:          "storage": {
19729:          "storage": {
19918:          "storage": {
20107:          "storage": {
20296:          "storage": {
20485:          "storage": {
20674:          "storage": {

thinking
**Searching for evidence_bundle**
exec
/bin/bash -lc 'rg -n "evidence" BYTECODE_BUNDLE.json' in /tmp/codex-6iejn534 succeeded in 14ms:
23944:      "proxy_evidence": {
33164:      "evidence_json": {
33216:      "evidence_json": {

thinking
**Inspecting proxy evidence snippet**
exec
/bin/bash -lc "sed -n '23920,24020p' BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 11ms:
  "analysis_run": {
    "address": "0xa658542ca3265c00beb9a7b45a23503ed87c66c0",
    "block_number": null,
    "chain_id": 1,
    "child_links": [],
    "created_at": "2026-01-11T04:06:13.000000Z",
    "id": "019bab3b-ac62-70bf-bd48-3141cf1dd860",
    "parent_links": [],
    "status": "running",
    "updated_at": "2026-01-11T04:08:43.000000Z"
  },
  "artifact": {
    "codehash": "0xf2abd5f263a3dee907fd54a006b243947c4fb8f16f2d241cf45aa8841f2433d9",
    "compiler_json": {
      "compiler_version": null,
      "etherscan": {
        "contract_name": null,
        "implementation": null,
        "license": "Unknown",
        "proxy": "0",

thinking
**Analyzing external calls and reentrancy risks in ERC1155 contract**
exec
/bin/bash -lc 'rg -n "callsites" BYTECODE_BUNDLE.json' in /tmp/codex-6iejn534 succeeded in 6ms:
13019:      "callsites": [
exec
/bin/bash -lc "sed -n '12980,13080p' BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 10ms:
            "EXP",
            "OP_91",
            "OP_8C",
            "OP_0D",
            "CALLDATALOAD",
            "OP_94",
            "MSIZE",
            "OP_BB",
            "OP_C3",
            "OP_A2",
            "OP_99",
            "OP_A8",
            "OP_96",
            "OP_27",
            "PUSH9",
            "NUMBER",
            "STOP"
          ],
          "start_pc": 13185
        },

thinking
**Inspecting call types and storage**
exec
/bin/bash -lc "sed -n '23720,23820p' BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 7ms:
        "0x08c379a0",
        "0xbc197c81",
        "0xf23a6e61"
      ],
      "sinks": {
        "call": 3,
        "create": 0,
        "create2": 0,
        "delegatecall": 0,
        "selfdestruct": 0,
        "staticcall": 1,
        "upgrade_slot_write_suspected": false
      },
      "storage": {
        "keccak_count": 67,
        "reads": 74,
        "slots": [
          {
            "op": "SLOAD",
            "pc": 1143,

thinking
**Analyzing ERC1155 contract external calls**

I'm piecing together that this contract is a typical ERC1155 with minting, allowlist, owner withdrawal, and external calls that sometimes transfer ETH. I'm carefully considering possible risks around unguarded external calls with value, especially withdrawals and receiver callbacks, while noting there's no proxy upgradeability or explicit reentrancy protection visible yet, so I need to be conservative and dig into call sites and order of state updates for clarity.
exec
/bin/bash -lc "rg -n \"\\\"pc\\\": 2900\" -n BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 6ms:
13022:          "pc": 2900,
32915:          "pc": 2900,
33169:            "pc": 2900,
33221:            "pc": 2900,

thinking
**Inspecting callsite around line 32900**
exec
/bin/bash -lc "sed -n '32880,32960p' BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 17ms:
          "id": "bb:13180",
          "start_pc": 13180,
          "type": "basic_block"
        },
        {
          "end_pc": 13184,
          "hash": "0x4311ade97b4e9b6c6bc119ecbd61d62bde32a9cbbb798e11b2c7e789f41ae1c5",
          "id": "bb:13184",
          "start_pc": 13184,
          "type": "basic_block"
        },
        {
          "end_pc": 13265,
          "hash": "0x4f7e0c23bc16bd29ca23cceb7b31b8b4511d351e645943ce21d82d171808f42a",
          "id": "bb:13185",
          "start_pc": 13185,
          "type": "basic_block"
        },
        {
          "end_pc": 13268,

thinking
**Identifying basic blocks with CALL operations**
exec
/bin/bash -lc "python - <<'PY'
import json
import re
from pathlib import Path

p=Path('BYTECODE_BUNDLE.json')
obj=json.loads(p.read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    ops=b.get('opcodes') or []
    if any(op in ('CALL','DELEGATECALL','STATICCALL') for op in ops):
        # include call op location? no pc inside op list; use start/end
        print({'start':b['start_pc'],'end':b['end_pc'],'ops':[op for op in ops if op in ('CALL','DELEGATECALL','STATICCALL','CALLVALUE','CALLER','BALANCE')]})
PY" in /tmp/codex-6iejn534 succeeded in 91ms:
{'start': 2875, 'end': 2912, 'ops': ['CALLER', 'CALL']}
{'start': 6337, 'end': 6347, 'ops': ['STATICCALL']}
{'start': 9843, 'end': 9856, 'ops': ['CALL']}
{'start': 10355, 'end': 10368, 'ops': ['CALL']}

thinking
**Analyzing CALL opcode contexts**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    ops=b.get('opcodes') or []
    if 'CALL' in ops or 'STATICCALL' in ops:
        print('block',b['start_pc'],b['end_pc'])
        print(ops)
PY" in /tmp/codex-6iejn534 succeeded in 89ms:
block 2875 2912
['JUMPDEST', 'PUSH1', 'MLOAD', 'SELFBALANCE', 'OP_90', 'CALLER', 'OP_90', 'OP_82', 'ISZERO', 'PUSH2', 'MUL', 'OP_90', 'OP_83', 'OP_90', 'PUSH1', 'OP_81', 'OP_81', 'OP_81', 'OP_85', 'OP_88', 'OP_88', 'CALL', 'OP_93', 'POP', 'POP', 'POP', 'POP', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
block 6337 6347
['JUMPDEST', 'POP', 'GAS', 'STATICCALL', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
block 9843 9856
['JUMPDEST', 'POP', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
block 10355 10368
['JUMPDEST', 'POP', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']

thinking
**Analyzing external calls and access control in bytecode**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if 9800 <= b['start_pc'] <= 9900 or 9800 <= b['end_pc'] <= 9900:
        print(b['start_pc'], b['end_pc'], b.get('opcodes'))
PY" in /tmp/codex-6iejn534 succeeded in 39ms:
9766 9816 ['PUSH1', 'MLOAD', 'PUSH4', 'PUSH1', 'SHL', 'OP_81', 'MSTORE', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'OP_85', 'AND', 'OP_90', 'PUSH4', 'OP_90', 'PUSH2', 'OP_90', 'OP_89', 'OP_90', 'OP_89', 'OP_90', 'OP_88', 'OP_90', 'OP_88', 'OP_90', 'OP_88', 'OP_90', 'PUSH1', 'ADD', 'PUSH2', 'JUMP']
9817 9838 ['JUMPDEST', 'PUSH1', 'PUSH1', 'MLOAD', 'OP_80', 'OP_83', 'SUB', 'OP_81', 'PUSH1', 'OP_87', 'OP_80', 'EXTCODESIZE', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
9839 9842 ['PUSH1', 'OP_80', 'REVERT']
9843 9856 ['JUMPDEST', 'POP', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
9857 9887 ['POP', 'PUSH1', 'OP_80', 'MLOAD', 'PUSH1', 'RETURNDATASIZE', 'OP_90', 'OP_81', 'ADD', 'PUSH1', 'NOT', 'AND', 'OP_82', 'ADD', 'OP_90', 'OP_92', 'MSTORE', 'PUSH2', 'OP_91', 'OP_81', 'ADD', 'OP_90', 'PUSH2', 'JUMP']
9888 9889 ['JUMPDEST', 'PUSH1']
9891 9895 ['JUMPDEST', 'PUSH2', 'JUMPI']
9896 9902 ['PUSH2', 'PUSH2', 'JUMP']

thinking
**Inspecting post-CALL data processing**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if 9880 <= b['start_pc'] <= 9950:
        print(b['start_pc'], b['end_pc'], b.get('opcodes'))
PY" in /tmp/codex-6iejn534 succeeded in 33ms:
9888 9889 ['JUMPDEST', 'PUSH1']
9891 9895 ['JUMPDEST', 'PUSH2', 'JUMPI']
9896 9902 ['PUSH2', 'PUSH2', 'JUMP']
9903 9915 ['JUMPDEST', 'OP_80', 'PUSH4', 'EQ', 'ISZERO', 'PUSH2', 'JUMPI']
9916 9923 ['POP', 'PUSH2', 'PUSH2', 'JUMP']
9924 9929 ['JUMPDEST', 'OP_80', 'PUSH2', 'JUMPI']
9930 9934 ['POP', 'PUSH2', 'JUMP']
9935 9960 ['JUMPDEST', 'OP_80', 'PUSH1', 'MLOAD', 'PUSH3', 'PUSH1', 'SHL', 'OP_81', 'MSTORE', 'PUSH1', 'ADD', 'PUSH2', 'OP_91', 'OP_90', 'PUSH2', 'JUMP']

thinking
**Examining call return checks**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if 10330 <= b['start_pc'] <= 10420:
        print(b['start_pc'], b['end_pc'], b.get('opcodes'))
PY" in /tmp/codex-6iejn534 succeeded in 94ms:
10351 10354 ['PUSH1', 'OP_80', 'REVERT']
10355 10368 ['JUMPDEST', 'POP', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
10369 10399 ['POP', 'PUSH1', 'OP_80', 'MLOAD', 'PUSH1', 'RETURNDATASIZE', 'OP_90', 'OP_81', 'ADD', 'PUSH1', 'NOT', 'AND', 'OP_82', 'ADD', 'OP_90', 'OP_92', 'MSTORE', 'PUSH2', 'OP_91', 'OP_81', 'ADD', 'OP_90', 'PUSH2', 'JUMP']
10400 10401 ['JUMPDEST', 'PUSH1']
10403 10407 ['JUMPDEST', 'PUSH2', 'JUMPI']
10408 10414 ['PUSH2', 'PUSH2', 'JUMP']
10415 10439 ['JUMPDEST', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'NOT', 'OP_81', 'AND', 'PUSH4', 'PUSH1', 'SHL', 'EQ', 'PUSH2', 'JUMPI']

thinking
**Investigating receiver hooks and access checks**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if 2800 <= b['start_pc'] <= 2875:
        print(b['start_pc'], b['end_pc'], b.get('opcodes'))
PY" in /tmp/codex-6iejn534 succeeded in 47ms:
2803 2821 ['JUMPDEST', 'PUSH1', 'SLOAD', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'AND', 'CALLER', 'EQ', 'PUSH2', 'JUMPI']
2822 2874 ['PUSH1', 'MLOAD', 'PUSH3', 'PUSH1', 'SHL', 'OP_81', 'MSTORE', 'PUSH1', 'PUSH1', 'OP_82', 'ADD', 'OP_81', 'OP_90', 'MSTORE', 'PUSH1', 'OP_82', 'ADD', 'MSTORE', 'PUSH1', 'OP_80', 'MLOAD', 'PUSH1', 'PUSH2', 'OP_83', 'CODECOPY', 'OP_81', 'MLOAD', 'OP_91', 'MSTORE', 'PUSH1', 'OP_82', 'ADD', 'MSTORE', 'PUSH1', 'ADD', 'PUSH2', 'JUMP']
2875 2912 ['JUMPDEST', 'PUSH1', 'MLOAD', 'SELFBALANCE', 'OP_90', 'CALLER', 'OP_90', 'OP_82', 'ISZERO', 'PUSH2', 'MUL', 'OP_90', 'OP_83', 'OP_90', 'PUSH1', 'OP_81', 'OP_81', 'OP_81', 'OP_85', 'OP_88', 'OP_88', 'CALL', 'OP_93', 'POP', 'POP', 'POP', 'POP', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']

thinking
**Analyzing bytecode for reentrancy and access control**
codex
{"no_findings":false,"summary":"Bytecode indicates an ERC1155-style contract with Ownable checks and no proxy/delegatecall. The main risks are around untrusted external calls (ERC1155 receiver hooks) and an ETH sweep via low-level CALL; both appear intentional but should be reviewed for reentrancy/access-control correctness.","findings":[{"severity":"low","category":"reentrancy","title":"Untrusted external calls during ERC1155 receiver hooks (potential reentrancy surface)","exploit_scenario":"If a malicious receiver contract is called via onERC1155Received/onERC1155BatchReceived, it can reenter other functions while state is mid‑update. If any state updates or accounting occur after these calls, a reentrant call could bypass invariants (e.g., mint limits or balances). Evidence of a reentrancy guard is not detected, but guard detection is heuristic.","recommendation":"Ensure all state changes for transfers/mints are completed before calling external receivers and consider a reentrancy guard on externally callable state-mutating functions if invariants could be violated on reentry.","evidence":"External CALLs to computed targets with gas are present at pc:9846 and pc:10358; returndata handling occurs after the call, but no guard is detected in auth.guards.", "locations":["pc:9846","pc:10358"]},{"severity":"low","category":"access_control","title":"Low-level ETH sweep to caller uses SELFBALANCE and CALLER","exploit_scenario":"The bytecode performs a low-level CALL sending the full contract balance to CALLER. If access control around this path is misconfigured or bypassable, any caller could drain ETH. The bytecode shows a CALLER==SLOAD(owner) check, but guard detection is heuristic and storage slot meaning is inferred.","recommendation":"Verify the withdraw/sweep function is strictly owner-only (or otherwise authorized) and that the owner slot is correctly initialized and not mutable by untrusted users. Consider emitting an event for withdrawals for monitoring.","evidence":"CALL at pc:2900 uses SELFBALANCE and CALLER as value/target; preceding block at pc:2803 performs CALLER EQ against a masked SLOAD (likely owner check).","locations":["pc:2900","pc:2803"]}]}
tokens used
48,356
Metadata
{
    "codex": {
        "ran_at": "2026-01-11T07:12:06.640369+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 26542,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode indicates an ERC1155-style contract with Ownable checks and no proxy/delegatecall. The main risks are around untrusted external calls (ERC1155 receiver hooks) and an ETH sweep via low-level CALL; both appear intentional but should be reviewed for reentrancy/access-control correctness.",
    "raw_final": {
        "summary": "Bytecode indicates an ERC1155-style contract with Ownable checks and no proxy/delegatecall. The main risks are around untrusted external calls (ERC1155 receiver hooks) and an ETH sweep via low-level CALL; both appear intentional but should be reviewed for reentrancy/access-control correctness.",
        "findings": [
            {
                "title": "Untrusted external calls during ERC1155 receiver hooks (potential reentrancy surface)",
                "category": "reentrancy",
                "evidence": "External CALLs to computed targets with gas are present at pc:9846 and pc:10358; returndata handling occurs after the call, but no guard is detected in auth.guards.",
                "severity": "low",
                "locations": [
                    "pc:9846",
                    "pc:10358"
                ],
                "recommendation": "Ensure all state changes for transfers/mints are completed before calling external receivers and consider a reentrancy guard on externally callable state-mutating functions if invariants could be violated on reentry.",
                "exploit_scenario": "If a malicious receiver contract is called via onERC1155Received/onERC1155BatchReceived, it can reenter other functions while state is mid\u2011update. If any state updates or accounting occur after these calls, a reentrant call could bypass invariants (e.g., mint limits or balances). Evidence of a reentrancy guard is not detected, but guard detection is heuristic."
            },
            {
                "title": "Low-level ETH sweep to caller uses SELFBALANCE and CALLER",
                "category": "access_control",
                "evidence": "CALL at pc:2900 uses SELFBALANCE and CALLER as value/target; preceding block at pc:2803 performs CALLER EQ against a masked SLOAD (likely owner check).",
                "severity": "low",
                "locations": [
                    "pc:2900",
                    "pc:2803"
                ],
                "recommendation": "Verify the withdraw/sweep function is strictly owner-only (or otherwise authorized) and that the owner slot is correctly initialized and not mutable by untrusted users. Consider emitting an event for withdrawals for monitoring.",
                "exploit_scenario": "The bytecode performs a low-level CALL sending the full contract balance to CALLER. If access control around this path is misconfigured or bypassable, any caller could drain ETH. The bytecode shows a CALLER==SLOAD(owner) check, but guard detection is heuristic and storage slot meaning is inferred."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
5
Total opcodes
8101
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01fd
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x011d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc751958d
00000024: GT
00000025: PUSH2 0x00b0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe985e9c5
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x061c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf5298aca
00000050: EQ
00000051: PUSH2 0x063c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf7d97577
0000005b: EQ
0000005c: PUSH2 0x065c
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xe985e9c5
0000006b: EQ
0000006c: PUSH2 0x05dc
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xf242432a
00000076: EQ
00000077: PUSH2 0x05fc
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xc751958d
00000086: EQ
00000087: PUSH2 0x0552
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xd96a094a
00000091: EQ
00000092: PUSH2 0x0572
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xdbd39392
0000009c: EQ
0000009d: PUSH2 0x0585
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xe8a3d485
000000a7: EQ
000000a8: PUSH2 0x05c7
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xa22cb465
000000b7: GT
000000b8: PUSH2 0x00ec
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xa22cb465
000000c2: EQ
000000c3: PUSH2 0x04ba
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xb2609d77
000000cd: EQ
000000ce: PUSH2 0x04da
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xb5b49727
000000d8: EQ
000000d9: PUSH2 0x04fa
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xc204642c
000000e3: EQ
000000e4: PUSH2 0x0532
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x715018a6
000000f3: EQ
000000f4: PUSH2 0x0452
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x8da5cb5b
000000fe: EQ
000000ff: PUSH2 0x0467
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x938e3d7b
00000109: EQ
0000010a: PUSH2 0x0485
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x95d89b41
00000114: EQ
00000115: PUSH2 0x04a5
00000118: JUMPI
00000119: PUSH1 0x00
0000011b: DUP1
0000011c: REVERT
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0x2eb2c2d6
00000124: GT
00000125: PUSH2 0x0195
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x46a7dadc
0000012f: GT
00000130: PUSH2 0x0164
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x46a7dadc
0000013a: EQ
0000013b: PUSH2 0x03c5
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x4e1273f4
00000145: EQ
00000146: PUSH2 0x03e5
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x691562a0
00000150: EQ
00000151: PUSH2 0x0412
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x6b20c454
0000015b: EQ
0000015c: PUSH2 0x0432
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x2eb2c2d6
0000016b: EQ
0000016c: PUSH2 0x0336
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x35403023
00000176: EQ
00000177: PUSH2 0x0356
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x3ccfd60b
00000181: EQ
00000182: PUSH2 0x0383
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x43a73d9a
0000018c: EQ
0000018d: PUSH2 0x0398
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: DUP1
00000197: PUSH4 0x0c31ba98
0000019c: GT
0000019d: PUSH2 0x01d1
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x0c31ba98
000001a7: EQ
000001a8: PUSH2 0x02a9
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x0e89341c
000001b2: EQ
000001b3: PUSH2 0x02c9
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x21775c92
000001bd: EQ
000001be: PUSH2 0x02e9
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x26a49e37
000001c8: EQ
000001c9: PUSH2 0x0309
000001cc: JUMPI
000001cd: PUSH1 0x00
000001cf: DUP1
000001d0: REVERT
000001d1: JUMPDEST
000001d2: DUP1
000001d3: PUSH3 0xfdd58e
000001d7: EQ
000001d8: PUSH2 0x0202
000001db: JUMPI
000001dc: DUP1
000001dd: PUSH4 0x01ffc9a7
000001e2: EQ
000001e3: PUSH2 0x0235
000001e6: JUMPI
000001e7: DUP1
000001e8: PUSH4 0x02fe5305
000001ed: EQ
000001ee: PUSH2 0x0265
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x06fdde03
000001f8: EQ
000001f9: PUSH2 0x0287
000001fc: JUMPI
000001fd: JUMPDEST
000001fe: PUSH1 0x00
00000200: DUP1
00000201: REVERT
00000202: JUMPDEST
00000203: CALLVALUE
00000204: DUP1
00000205: ISZERO
00000206: PUSH2 0x020e
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: POP
00000210: PUSH2 0x0222
00000213: PUSH2 0x021d
00000216: CALLDATASIZE
00000217: PUSH1 0x04
00000219: PUSH2 0x2d55
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH2 0x067c
00000221: JUMP
00000222: JUMPDEST
00000223: PUSH1 0x40
00000225: MLOAD
00000226: SWAP1
00000227: DUP2
00000228: MSTORE
00000229: PUSH1 0x20
0000022b: ADD
0000022c: JUMPDEST
0000022d: PUSH1 0x40
0000022f: MLOAD
00000230: DUP1
00000231: SWAP2
00000232: SUB
00000233: SWAP1
00000234: RETURN
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH2 0x0255
00000246: PUSH2 0x0250
00000249: CALLDATASIZE
0000024a: PUSH1 0x04
0000024c: PUSH2 0x2efc
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH2 0x0728
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH1 0x40
00000258: MLOAD
00000259: SWAP1
0000025a: ISZERO
0000025b: ISZERO
0000025c: DUP2
0000025d: MSTORE
0000025e: PUSH1 0x20
00000260: ADD
00000261: PUSH2 0x022c
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x0285
00000276: PUSH2 0x0280
00000279: CALLDATASIZE
0000027a: PUSH1 0x04
0000027c: PUSH2 0x2f53
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH2 0x07c3
00000284: JUMP
00000285: JUMPDEST
00000286: STOP
00000287: JUMPDEST
00000288: CALLVALUE
00000289: DUP1
0000028a: ISZERO
0000028b: PUSH2 0x0293
0000028e: JUMPI
0000028f: PUSH1 0x00
00000291: DUP1
00000292: REVERT
00000293: JUMPDEST
00000294: POP
00000295: PUSH2 0x029c
00000298: PUSH2 0x0817
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH1 0x40
0000029f: MLOAD
000002a0: PUSH2 0x022c
000002a3: SWAP2
000002a4: SWAP1
000002a5: PUSH2 0x3166
000002a8: JUMP
000002a9: JUMPDEST
000002aa: CALLVALUE
000002ab: DUP1
000002ac: ISZERO
000002ad: PUSH2 0x02b5
000002b0: JUMPI
000002b1: PUSH1 0x00
000002b3: DUP1
000002b4: REVERT
000002b5: JUMPDEST
000002b6: POP
000002b7: PUSH2 0x0285
000002ba: PUSH2 0x02c4
000002bd: CALLDATASIZE
000002be: PUSH1 0x04
000002c0: PUSH2 0x2d81
000002c3: JUMP
000002c4: JUMPDEST
000002c5: PUSH2 0x08a5
000002c8: JUMP
000002c9: JUMPDEST
000002ca: CALLVALUE
000002cb: DUP1
000002cc: ISZERO
000002cd: PUSH2 0x02d5
000002d0: JUMPI
000002d1: PUSH1 0x00
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: POP
000002d7: PUSH2 0x029c
000002da: PUSH2 0x02e4
000002dd: CALLDATASIZE
000002de: PUSH1 0x04
000002e0: PUSH2 0x2f9c
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH2 0x095b
000002e8: JUMP
000002e9: JUMPDEST
000002ea: CALLVALUE
000002eb: DUP1
000002ec: ISZERO
000002ed: PUSH2 0x02f5
000002f0: JUMPI
000002f1: PUSH1 0x00
000002f3: DUP1
000002f4: REVERT
000002f5: JUMPDEST
000002f6: POP
000002f7: PUSH2 0x0285
000002fa: PUSH2 0x0304
000002fd: CALLDATASIZE
000002fe: PUSH1 0x04
00000300: PUSH2 0x2ee1
00000303: JUMP
00000304: JUMPDEST
00000305: PUSH2 0x09ef
00000308: JUMP
00000309: JUMPDEST
0000030a: CALLVALUE
0000030b: DUP1
0000030c: ISZERO
0000030d: PUSH2 0x0315
00000310: JUMPI
00000311: PUSH1 0x00
00000313: DUP1
00000314: REVERT
00000315: JUMPDEST
00000316: POP
00000317: PUSH2 0x0222
0000031a: PUSH2 0x0324
0000031d: CALLDATASIZE
0000031e: PUSH1 0x04
00000320: PUSH2 0x2f9c
00000323: JUMP
00000324: JUMPDEST
00000325: PUSH1 0x05
00000327: PUSH1 0x20
00000329: MSTORE
0000032a: PUSH1 0x00
0000032c: SWAP1
0000032d: DUP2
0000032e: MSTORE
0000032f: PUSH1 0x40
00000331: SWAP1
00000332: KECCAK256
00000333: SLOAD
00000334: DUP2
00000335: JUMP
00000336: JUMPDEST
00000337: CALLVALUE
00000338: DUP1
00000339: ISZERO
0000033a: PUSH2 0x0342
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: POP
00000344: PUSH2 0x0285
00000347: PUSH2 0x0351
0000034a: CALLDATASIZE
0000034b: PUSH1 0x04
0000034d: PUSH2 0x2b93
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH2 0x0a51
00000355: JUMP
00000356: JUMPDEST
00000357: CALLVALUE
00000358: DUP1
00000359: ISZERO
0000035a: PUSH2 0x0362
0000035d: JUMPI
0000035e: PUSH1 0x00
00000360: DUP1
00000361: REVERT
00000362: JUMPDEST
00000363: POP
00000364: PUSH2 0x0222
00000367: PUSH2 0x0371
0000036a: CALLDATASIZE
0000036b: PUSH1 0x04
0000036d: PUSH2 0x2f9c
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH1 0x06
00000374: PUSH1 0x20
00000376: MSTORE
00000377: PUSH1 0x00
00000379: SWAP1
0000037a: DUP2
0000037b: MSTORE
0000037c: PUSH1 0x40
0000037e: SWAP1
0000037f: KECCAK256
00000380: SLOAD
00000381: DUP2
00000382: JUMP
00000383: JUMPDEST
00000384: CALLVALUE
00000385: DUP1
00000386: ISZERO
00000387: PUSH2 0x038f
0000038a: JUMPI
0000038b: PUSH1 0x00
0000038d: DUP1
0000038e: REVERT
0000038f: JUMPDEST
00000390: POP
00000391: PUSH2 0x0285
00000394: PUSH2 0x0af3
00000397: JUMP
00000398: JUMPDEST
00000399: CALLVALUE
0000039a: DUP1
0000039b: ISZERO
0000039c: PUSH2 0x03a4
0000039f: JUMPI
000003a0: PUSH1 0x00
000003a2: DUP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: POP
000003a6: PUSH2 0x03ad
000003a9: PUSH2 0x0b6e
000003ac: JUMP
000003ad: JUMPDEST
000003ae: PUSH1 0x40
000003b0: MLOAD
000003b1: PUSH1 0x01
000003b3: PUSH1 0x01
000003b5: PUSH1 0xa0
000003b7: SHL
000003b8: SUB
000003b9: SWAP1
000003ba: SWAP2
000003bb: AND
000003bc: DUP2
000003bd: MSTORE
000003be: PUSH1 0x20
000003c0: ADD
000003c1: PUSH2 0x022c
000003c4: JUMP
000003c5: JUMPDEST
000003c6: CALLVALUE
000003c7: DUP1
000003c8: ISZERO
000003c9: PUSH2 0x03d1
000003cc: JUMPI
000003cd: PUSH1 0x00
000003cf: DUP1
000003d0: REVERT
000003d1: JUMPDEST
000003d2: POP
000003d3: PUSH2 0x0285
000003d6: PUSH2 0x03e0
000003d9: CALLDATASIZE
000003da: PUSH1 0x04
000003dc: PUSH2 0x2b3d
000003df: JUMP
000003e0: JUMPDEST
000003e1: PUSH2 0x0bca
000003e4: JUMP
000003e5: JUMPDEST
000003e6: CALLVALUE
000003e7: DUP1
000003e8: ISZERO
000003e9: PUSH2 0x03f1
000003ec: JUMPI
000003ed: PUSH1 0x00
000003ef: DUP1
000003f0: REVERT
000003f1: JUMPDEST
000003f2: POP
000003f3: PUSH2 0x0405
000003f6: PUSH2 0x0400
000003f9: CALLDATASIZE
000003fa: PUSH1 0x04
000003fc: PUSH2 0x2dea
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH2 0x0c41
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH1 0x40
00000408: MLOAD
00000409: PUSH2 0x022c
0000040c: SWAP2
0000040d: SWAP1
0000040e: PUSH2 0x3125
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x0285
00000423: PUSH2 0x042d
00000426: CALLDATASIZE
00000427: PUSH1 0x04
00000429: PUSH2 0x2db6
0000042c: JUMP
0000042d: JUMPDEST
0000042e: PUSH2 0x0d7f
00000431: JUMP
00000432: JUMPDEST
00000433: CALLVALUE
00000434: DUP1
00000435: ISZERO
00000436: PUSH2 0x043e
00000439: JUMPI
0000043a: PUSH1 0x00
0000043c: DUP1
0000043d: REVERT
0000043e: JUMPDEST
0000043f: POP
00000440: PUSH2 0x0285
00000443: PUSH2 0x044d
00000446: CALLDATASIZE
00000447: PUSH1 0x04
00000449: PUSH2 0x2caa
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH2 0x0fec
00000451: JUMP
00000452: JUMPDEST
00000453: CALLVALUE
00000454: DUP1
00000455: ISZERO
00000456: PUSH2 0x045e
00000459: JUMPI
0000045a: PUSH1 0x00
0000045c: DUP1
0000045d: REVERT
0000045e: JUMPDEST
0000045f: POP
00000460: PUSH2 0x0285
00000463: PUSH2 0x1071
00000466: JUMP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: DUP1
0000046a: ISZERO
0000046b: PUSH2 0x0473
0000046e: JUMPI
0000046f: PUSH1 0x00
00000471: DUP1
00000472: REVERT
00000473: JUMPDEST
00000474: POP
00000475: PUSH1 0x03
00000477: SLOAD
00000478: PUSH1 0x01
0000047a: PUSH1 0x01
0000047c: PUSH1 0xa0
0000047e: SHL
0000047f: SUB
00000480: AND
00000481: PUSH2 0x03ad
00000484: JUMP
00000485: JUMPDEST
00000486: CALLVALUE
00000487: DUP1
00000488: ISZERO
00000489: PUSH2 0x0491
0000048c: JUMPI
0000048d: PUSH1 0x00
0000048f: DUP1
00000490: REVERT
00000491: JUMPDEST
00000492: POP
00000493: PUSH2 0x0285
00000496: PUSH2 0x04a0
00000499: CALLDATASIZE
0000049a: PUSH1 0x04
0000049c: PUSH2 0x2f53
0000049f: JUMP
000004a0: JUMPDEST
000004a1: PUSH2 0x10c5
000004a4: JUMP
000004a5: JUMPDEST
000004a6: CALLVALUE
000004a7: DUP1
000004a8: ISZERO
000004a9: PUSH2 0x04b1
000004ac: JUMPI
000004ad: PUSH1 0x00
000004af: DUP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: POP
000004b3: PUSH2 0x029c
000004b6: PUSH2 0x1120
000004b9: JUMP
000004ba: JUMPDEST
000004bb: CALLVALUE
000004bc: DUP1
000004bd: ISZERO
000004be: PUSH2 0x04c6
000004c1: JUMPI
000004c2: PUSH1 0x00
000004c4: DUP1
000004c5: REVERT
000004c6: JUMPDEST
000004c7: POP
000004c8: PUSH2 0x0285
000004cb: PUSH2 0x04d5
000004ce: CALLDATASIZE
000004cf: PUSH1 0x04
000004d1: PUSH2 0x2d20
000004d4: JUMP
000004d5: JUMPDEST
000004d6: PUSH2 0x112d
000004d9: JUMP
000004da: JUMPDEST
000004db: CALLVALUE
000004dc: DUP1
000004dd: ISZERO
000004de: PUSH2 0x04e6
000004e1: JUMPI
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: REVERT
000004e6: JUMPDEST
000004e7: POP
000004e8: PUSH2 0x0285
000004eb: PUSH2 0x04f5
000004ee: CALLDATASIZE
000004ef: PUSH1 0x04
000004f1: PUSH2 0x2ee1
000004f4: JUMP
000004f5: JUMPDEST
000004f6: PUSH2 0x1138
000004f9: JUMP
000004fa: JUMPDEST
000004fb: CALLVALUE
000004fc: DUP1
000004fd: ISZERO
000004fe: PUSH2 0x0506
00000501: JUMPI
00000502: PUSH1 0x00
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: POP
00000508: PUSH2 0x0222
0000050b: PUSH2 0x0515
0000050e: CALLDATASIZE
0000050f: PUSH1 0x04
00000511: PUSH2 0x2fb5
00000514: JUMP
00000515: JUMPDEST
00000516: PUSH1 0x07
00000518: PUSH1 0x20
0000051a: SWAP1
0000051b: DUP2
0000051c: MSTORE
0000051d: PUSH1 0x00
0000051f: SWAP3
00000520: DUP4
00000521: MSTORE
00000522: PUSH1 0x40
00000524: DUP1
00000525: DUP5
00000526: KECCAK256
00000527: SWAP1
00000528: SWAP2
00000529: MSTORE
0000052a: SWAP1
0000052b: DUP3
0000052c: MSTORE
0000052d: SWAP1
0000052e: KECCAK256
0000052f: SLOAD
00000530: DUP2
00000531: JUMP
00000532: JUMPDEST
00000533: CALLVALUE
00000534: DUP1
00000535: ISZERO
00000536: PUSH2 0x053e
00000539: JUMPI
0000053a: PUSH1 0x00
0000053c: DUP1
0000053d: REVERT
0000053e: JUMPDEST
0000053f: POP
00000540: PUSH2 0x0285
00000543: PUSH2 0x054d
00000546: CALLDATASIZE
00000547: PUSH1 0x04
00000549: PUSH2 0x2e4e
0000054c: JUMP
0000054d: JUMPDEST
0000054e: PUSH2 0x1193
00000551: JUMP
00000552: JUMPDEST
00000553: CALLVALUE
00000554: DUP1
00000555: ISZERO
00000556: PUSH2 0x055e
00000559: JUMPI
0000055a: PUSH1 0x00
0000055c: DUP1
0000055d: REVERT
0000055e: JUMPDEST
0000055f: POP
00000560: PUSH2 0x0285
00000563: PUSH2 0x056d
00000566: CALLDATASIZE
00000567: PUSH1 0x04
00000569: PUSH2 0x2e93
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH2 0x13c7
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH2 0x0285
00000576: PUSH2 0x0580
00000579: CALLDATASIZE
0000057a: PUSH1 0x04
0000057c: PUSH2 0x2f9c
0000057f: JUMP
00000580: JUMPDEST
00000581: PUSH2 0x1457
00000584: JUMP
00000585: JUMPDEST
00000586: CALLVALUE
00000587: DUP1
00000588: ISZERO
00000589: PUSH2 0x0591
0000058c: JUMPI
0000058d: PUSH1 0x00
0000058f: DUP1
00000590: REVERT
00000591: JUMPDEST
00000592: POP
00000593: PUSH2 0x0222
00000596: PUSH2 0x05a0
00000599: CALLDATASIZE
0000059a: PUSH1 0x04
0000059c: PUSH2 0x2d55
0000059f: JUMP
000005a0: JUMPDEST
000005a1: PUSH1 0x00
000005a3: SWAP1
000005a4: DUP2
000005a5: MSTORE
000005a6: PUSH1 0x07
000005a8: PUSH1 0x20
000005aa: SWAP1
000005ab: DUP2
000005ac: MSTORE
000005ad: PUSH1 0x40
000005af: DUP1
000005b0: DUP4
000005b1: KECCAK256
000005b2: PUSH1 0x01
000005b4: PUSH1 0x01
000005b6: PUSH1 0xa0
000005b8: SHL
000005b9: SUB
000005ba: SWAP5
000005bb: SWAP1
000005bc: SWAP5
000005bd: AND
000005be: DUP4
000005bf: MSTORE
000005c0: SWAP3
000005c1: SWAP1
000005c2: MSTORE
000005c3: KECCAK256
000005c4: SLOAD
000005c5: SWAP1
000005c6: JUMP
000005c7: JUMPDEST
000005c8: CALLVALUE
000005c9: DUP1
000005ca: ISZERO
000005cb: PUSH2 0x05d3
000005ce: JUMPI
000005cf: PUSH1 0x00
000005d1: DUP1
000005d2: REVERT
000005d3: JUMPDEST
000005d4: POP
000005d5: PUSH2 0x029c
000005d8: PUSH2 0x17c6
000005db: JUMP
000005dc: JUMPDEST
000005dd: CALLVALUE
000005de: DUP1
000005df: ISZERO
000005e0: PUSH2 0x05e8
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: DUP1
000005e7: REVERT
000005e8: JUMPDEST
000005e9: POP
000005ea: PUSH2 0x0255
000005ed: PUSH2 0x05f7
000005f0: CALLDATASIZE
000005f1: PUSH1 0x04
000005f3: PUSH2 0x2b5a
000005f6: JUMP
000005f7: JUMPDEST
000005f8: PUSH2 0x1858
000005fb: JUMP
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x0285
0000060d: PUSH2 0x0617
00000610: CALLDATASIZE
00000611: PUSH1 0x04
00000613: PUSH2 0x2c41
00000616: JUMP
00000617: JUMPDEST
00000618: PUSH2 0x1944
0000061b: JUMP
0000061c: JUMPDEST
0000061d: CALLVALUE
0000061e: DUP1
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: POP
0000062a: PUSH2 0x0285
0000062d: PUSH2 0x0637
00000630: CALLDATASIZE
00000631: PUSH1 0x04
00000633: PUSH2 0x2b3d
00000636: JUMP
00000637: JUMPDEST
00000638: PUSH2 0x19cb
0000063b: JUMP
0000063c: JUMPDEST
0000063d: CALLVALUE
0000063e: DUP1
0000063f: ISZERO
00000640: PUSH2 0x0648
00000643: JUMPI
00000644: PUSH1 0x00
00000646: DUP1
00000647: REVERT
00000648: JUMPDEST
00000649: POP
0000064a: PUSH2 0x0285
0000064d: PUSH2 0x0657
00000650: CALLDATASIZE
00000651: PUSH1 0x04
00000653: PUSH2 0x2d81
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH2 0x1a98
0000065b: JUMP
0000065c: JUMPDEST
0000065d: CALLVALUE
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x0668
00000663: JUMPI
00000664: PUSH1 0x00
00000666: DUP1
00000667: REVERT
00000668: JUMPDEST
00000669: POP
0000066a: PUSH2 0x0285
0000066d: PUSH2 0x0677
00000670: CALLDATASIZE
00000671: PUSH1 0x04
00000673: PUSH2 0x2fda
00000676: JUMP
00000677: JUMPDEST
00000678: PUSH2 0x1b1d
0000067b: JUMP
0000067c: JUMPDEST
0000067d: PUSH1 0x00
0000067f: PUSH1 0x01
00000681: PUSH1 0x01
00000683: PUSH1 0xa0
00000685: SHL
00000686: SUB
00000687: DUP4
00000688: AND
00000689: PUSH2 0x06ff
0000068c: JUMPI
0000068d: PUSH1 0x40
0000068f: MLOAD
00000690: PUSH3 0x461bcd
00000694: PUSH1 0xe5
00000696: SHL
00000697: DUP2
00000698: MSTORE
00000699: PUSH1 0x20
0000069b: PUSH1 0x04
0000069d: DUP3
0000069e: ADD
0000069f: MSTORE
000006a0: PUSH1 0x2b
000006a2: PUSH1 0x24
000006a4: DUP3
000006a5: ADD
000006a6: MSTORE
000006a7: PUSH32 0x455243313135353a2062616c616e636520717565727920666f7220746865207a
000006c8: PUSH1 0x44
000006ca: DUP3
000006cb: ADD
000006cc: MSTORE
000006cd: PUSH32 0x65726f2061646472657373000000000000000000000000000000000000000000
000006ee: PUSH1 0x64
000006f0: DUP3
000006f1: ADD
000006f2: MSTORE
000006f3: PUSH1 0x84
000006f5: ADD
000006f6: JUMPDEST
000006f7: PUSH1 0x40
000006f9: MLOAD
000006fa: DUP1
000006fb: SWAP2
000006fc: SUB
000006fd: SWAP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: PUSH1 0x00
00000703: DUP2
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x20
00000708: DUP2
00000709: DUP2
0000070a: MSTORE
0000070b: PUSH1 0x40
0000070d: DUP1
0000070e: DUP4
0000070f: KECCAK256
00000710: PUSH1 0x01
00000712: PUSH1 0x01
00000714: PUSH1 0xa0
00000716: SHL
00000717: SUB
00000718: DUP7
00000719: AND
0000071a: DUP5
0000071b: MSTORE
0000071c: SWAP1
0000071d: SWAP2
0000071e: MSTORE
0000071f: SWAP1
00000720: KECCAK256
00000721: SLOAD
00000722: JUMPDEST
00000723: SWAP3
00000724: SWAP2
00000725: POP
00000726: POP
00000727: JUMP
00000728: JUMPDEST
00000729: PUSH1 0x00
0000072b: PUSH1 0x01
0000072d: PUSH1 0x01
0000072f: PUSH1 0xe0
00000731: SHL
00000732: SUB
00000733: NOT
00000734: DUP3
00000735: AND
00000736: PUSH32 0xd9b67a2600000000000000000000000000000000000000000000000000000000
00000757: EQ
00000758: DUP1
00000759: PUSH2 0x078b
0000075c: JUMPI
0000075d: POP
0000075e: PUSH1 0x01
00000760: PUSH1 0x01
00000762: PUSH1 0xe0
00000764: SHL
00000765: SUB
00000766: NOT
00000767: DUP3
00000768: AND
00000769: PUSH32 0x0e89341c00000000000000000000000000000000000000000000000000000000
0000078a: EQ
0000078b: JUMPDEST
0000078c: DUP1
0000078d: PUSH2 0x0722
00000790: JUMPI
00000791: POP
00000792: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000007b3: PUSH1 0x01
000007b5: PUSH1 0x01
000007b7: PUSH1 0xe0
000007b9: SHL
000007ba: SUB
000007bb: NOT
000007bc: DUP4
000007bd: AND
000007be: EQ
000007bf: PUSH2 0x0722
000007c2: JUMP
000007c3: JUMPDEST
000007c4: PUSH1 0x03
000007c6: SLOAD
000007c7: PUSH1 0x01
000007c9: PUSH1 0x01
000007cb: PUSH1 0xa0
000007cd: SHL
000007ce: SUB
000007cf: AND
000007d0: CALLER
000007d1: EQ
000007d2: PUSH2 0x080b
000007d5: JUMPI
000007d6: PUSH1 0x40
000007d8: MLOAD
000007d9: PUSH3 0x461bcd
000007dd: PUSH1 0xe5
000007df: SHL
000007e0: DUP2
000007e1: MSTORE
000007e2: PUSH1 0x20
000007e4: PUSH1 0x04
000007e6: DUP3
000007e7: ADD
000007e8: DUP2
000007e9: SWAP1
000007ea: MSTORE
000007eb: PUSH1 0x24
000007ed: DUP3
000007ee: ADD
000007ef: MSTORE
000007f0: PUSH1 0x00
000007f2: DUP1
000007f3: MLOAD
000007f4: PUSH1 0x20
000007f6: PUSH2 0x3381
000007f9: DUP4
000007fa: CODECOPY
000007fb: DUP2
000007fc: MLOAD
000007fd: SWAP2
000007fe: MSTORE
000007ff: PUSH1 0x44
00000801: DUP3
00000802: ADD
00000803: MSTORE
00000804: PUSH1 0x64
00000806: ADD
00000807: PUSH2 0x06f6
0000080a: JUMP
0000080b: JUMPDEST
0000080c: PUSH2 0x0814
0000080f: DUP2
00000810: PUSH2 0x1bb7
00000813: JUMP
00000814: JUMPDEST
00000815: POP
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH1 0x0c
0000081a: DUP1
0000081b: SLOAD
0000081c: PUSH2 0x0824
0000081f: SWAP1
00000820: PUSH2 0x31eb
00000823: JUMP
00000824: JUMPDEST
00000825: DUP1
00000826: PUSH1 0x1f
00000828: ADD
00000829: PUSH1 0x20
0000082b: DUP1
0000082c: SWAP2
0000082d: DIV
0000082e: MUL
0000082f: PUSH1 0x20
00000831: ADD
00000832: PUSH1 0x40
00000834: MLOAD
00000835: SWAP1
00000836: DUP2
00000837: ADD
00000838: PUSH1 0x40
0000083a: MSTORE
0000083b: DUP1
0000083c: SWAP3
0000083d: SWAP2
0000083e: SWAP1
0000083f: DUP2
00000840: DUP2
00000841: MSTORE
00000842: PUSH1 0x20
00000844: ADD
00000845: DUP3
00000846: DUP1
00000847: SLOAD
00000848: PUSH2 0x0850
0000084b: SWAP1
0000084c: PUSH2 0x31eb
0000084f: JUMP
00000850: JUMPDEST
00000851: DUP1
00000852: ISZERO
00000853: PUSH2 0x089d
00000856: JUMPI
00000857: DUP1
00000858: PUSH1 0x1f
0000085a: LT
0000085b: PUSH2 0x0872
0000085e: JUMPI
0000085f: PUSH2 0x0100
00000862: DUP1
00000863: DUP4
00000864: SLOAD
00000865: DIV
00000866: MUL
00000867: DUP4
00000868: MSTORE
00000869: SWAP2
0000086a: PUSH1 0x20
0000086c: ADD
0000086d: SWAP2
0000086e: PUSH2 0x089d
00000871: JUMP
00000872: JUMPDEST
00000873: DUP3
00000874: ADD
00000875: SWAP2
00000876: SWAP1
00000877: PUSH1 0x00
00000879: MSTORE
0000087a: PUSH1 0x20
0000087c: PUSH1 0x00
0000087e: KECCAK256
0000087f: SWAP1
00000880: JUMPDEST
00000881: DUP2
00000882: SLOAD
00000883: DUP2
00000884: MSTORE
00000885: SWAP1
00000886: PUSH1 0x01
00000888: ADD
00000889: SWAP1
0000088a: PUSH1 0x20
0000088c: ADD
0000088d: DUP1
0000088e: DUP4
0000088f: GT
00000890: PUSH2 0x0880
00000893: JUMPI
00000894: DUP3
00000895: SWAP1
00000896: SUB
00000897: PUSH1 0x1f
00000899: AND
0000089a: DUP3
0000089b: ADD
0000089c: SWAP2
0000089d: JUMPDEST
0000089e: POP
0000089f: POP
000008a0: POP
000008a1: POP
000008a2: POP
000008a3: DUP2
000008a4: JUMP
000008a5: JUMPDEST
000008a6: PUSH1 0x03
000008a8: SLOAD
000008a9: PUSH1 0x01
000008ab: PUSH1 0x01
000008ad: PUSH1 0xa0
000008af: SHL
000008b0: SUB
000008b1: AND
000008b2: CALLER
000008b3: EQ
000008b4: PUSH2 0x08ed
000008b7: JUMPI
000008b8: PUSH1 0x40
000008ba: MLOAD
000008bb: PUSH3 0x461bcd
000008bf: PUSH1 0xe5
000008c1: SHL
000008c2: DUP2
000008c3: MSTORE
000008c4: PUSH1 0x20
000008c6: PUSH1 0x04
000008c8: DUP3
000008c9: ADD
000008ca: DUP2
000008cb: SWAP1
000008cc: MSTORE
000008cd: PUSH1 0x24
000008cf: DUP3
000008d0: ADD
000008d1: MSTORE
000008d2: PUSH1 0x00
000008d4: DUP1
000008d5: MLOAD
000008d6: PUSH1 0x20
000008d8: PUSH2 0x3381
000008db: DUP4
000008dc: CODECOPY
000008dd: DUP2
000008de: MLOAD
000008df: SWAP2
000008e0: MSTORE
000008e1: PUSH1 0x44
000008e3: DUP3
000008e4: ADD
000008e5: MSTORE
000008e6: PUSH1 0x64
000008e8: ADD
000008e9: PUSH2 0x06f6
000008ec: JUMP
000008ed: JUMPDEST
000008ee: DUP1
000008ef: ISZERO
000008f0: PUSH2 0x0930
000008f3: JUMPI
000008f4: PUSH1 0x00
000008f6: DUP3
000008f7: DUP2
000008f8: MSTORE
000008f9: PUSH1 0x08
000008fb: PUSH1 0x20
000008fd: SWAP1
000008fe: DUP2
000008ff: MSTORE
00000900: PUSH1 0x40
00000902: DUP1
00000903: DUP4
00000904: KECCAK256
00000905: PUSH1 0x01
00000907: PUSH1 0x01
00000909: PUSH1 0xa0
0000090b: SHL
0000090c: SUB
0000090d: DUP8
0000090e: AND
0000090f: DUP5
00000910: MSTORE
00000911: SWAP1
00000912: SWAP2
00000913: MSTORE
00000914: DUP2
00000915: KECCAK256
00000916: DUP1
00000917: SLOAD
00000918: DUP4
00000919: SWAP3
0000091a: SWAP1
0000091b: PUSH2 0x0925
0000091e: SWAP1
0000091f: DUP5
00000920: SWAP1
00000921: PUSH2 0x319d
00000924: JUMP
00000925: JUMPDEST
00000926: SWAP1
00000927: SWAP2
00000928: SSTORE
00000929: POP
0000092a: PUSH2 0x0956
0000092d: SWAP1
0000092e: POP
0000092f: JUMP
00000930: JUMPDEST
00000931: PUSH1 0x00
00000933: DUP3
00000934: DUP2
00000935: MSTORE
00000936: PUSH1 0x08
00000938: PUSH1 0x20
0000093a: SWAP1
0000093b: DUP2
0000093c: MSTORE
0000093d: PUSH1 0x40
0000093f: DUP1
00000940: DUP4
00000941: KECCAK256
00000942: PUSH1 0x01
00000944: PUSH1 0x01
00000946: PUSH1 0xa0
00000948: SHL
00000949: SUB
0000094a: DUP8
0000094b: AND
0000094c: DUP5
0000094d: MSTORE
0000094e: SWAP1
0000094f: SWAP2
00000950: MSTORE
00000951: SWAP1
00000952: KECCAK256
00000953: DUP2
00000954: SWAP1
00000955: SSTORE
00000956: JUMPDEST
00000957: POP
00000958: POP
00000959: POP
0000095a: JUMP
0000095b: JUMPDEST
0000095c: PUSH1 0x60
0000095e: PUSH1 0x02
00000960: DUP1
00000961: SLOAD
00000962: PUSH2 0x096a
00000965: SWAP1
00000966: PUSH2 0x31eb
00000969: JUMP
0000096a: JUMPDEST
0000096b: DUP1
0000096c: PUSH1 0x1f
0000096e: ADD
0000096f: PUSH1 0x20
00000971: DUP1
00000972: SWAP2
00000973: DIV
00000974: MUL
00000975: PUSH1 0x20
00000977: ADD
00000978: PUSH1 0x40
0000097a: MLOAD
0000097b: SWAP1
0000097c: DUP2
0000097d: ADD
0000097e: PUSH1 0x40
00000980: MSTORE
00000981: DUP1
00000982: SWAP3
00000983: SWAP2
00000984: SWAP1
00000985: DUP2
00000986: DUP2
00000987: MSTORE
00000988: PUSH1 0x20
0000098a: ADD
0000098b: DUP3
0000098c: DUP1
0000098d: SLOAD
0000098e: PUSH2 0x0996
00000991: SWAP1
00000992: PUSH2 0x31eb
00000995: JUMP
00000996: JUMPDEST
00000997: DUP1
00000998: ISZERO
00000999: PUSH2 0x09e3
0000099c: JUMPI
0000099d: DUP1
0000099e: PUSH1 0x1f
000009a0: LT
000009a1: PUSH2 0x09b8
000009a4: JUMPI
000009a5: PUSH2 0x0100
000009a8: DUP1
000009a9: DUP4
000009aa: SLOAD
000009ab: DIV
000009ac: MUL
000009ad: DUP4
000009ae: MSTORE
000009af: SWAP2
000009b0: PUSH1 0x20
000009b2: ADD
000009b3: SWAP2
000009b4: PUSH2 0x09e3
000009b7: JUMP
000009b8: JUMPDEST
000009b9: DUP3
000009ba: ADD
000009bb: SWAP2
000009bc: SWAP1
000009bd: PUSH1 0x00
000009bf: MSTORE
000009c0: PUSH1 0x20
000009c2: PUSH1 0x00
000009c4: KECCAK256
000009c5: SWAP1
000009c6: JUMPDEST
000009c7: DUP2
000009c8: SLOAD
000009c9: DUP2
000009ca: MSTORE
000009cb: SWAP1
000009cc: PUSH1 0x01
000009ce: ADD
000009cf: SWAP1
000009d0: PUSH1 0x20
000009d2: ADD
000009d3: DUP1
000009d4: DUP4
000009d5: GT
000009d6: PUSH2 0x09c6
000009d9: JUMPI
000009da: DUP3
000009db: SWAP1
000009dc: SUB
000009dd: PUSH1 0x1f
000009df: AND
000009e0: DUP3
000009e1: ADD
000009e2: SWAP2
000009e3: JUMPDEST
000009e4: POP
000009e5: POP
000009e6: POP
000009e7: POP
000009e8: POP
000009e9: SWAP1
000009ea: POP
000009eb: SWAP2
000009ec: SWAP1
000009ed: POP
000009ee: JUMP
000009ef: JUMPDEST
000009f0: PUSH1 0x03
000009f2: SLOAD
000009f3: PUSH1 0x01
000009f5: PUSH1 0x01
000009f7: PUSH1 0xa0
000009f9: SHL
000009fa: SUB
000009fb: AND
000009fc: CALLER
000009fd: EQ
000009fe: PUSH2 0x0a37
00000a01: JUMPI
00000a02: PUSH1 0x40
00000a04: MLOAD
00000a05: PUSH3 0x461bcd
00000a09: PUSH1 0xe5
00000a0b: SHL
00000a0c: DUP2
00000a0d: MSTORE
00000a0e: PUSH1 0x20
00000a10: PUSH1 0x04
00000a12: DUP3
00000a13: ADD
00000a14: DUP2
00000a15: SWAP1
00000a16: MSTORE
00000a17: PUSH1 0x24
00000a19: DUP3
00000a1a: ADD
00000a1b: MSTORE
00000a1c: PUSH1 0x00
00000a1e: DUP1
00000a1f: MLOAD
00000a20: PUSH1 0x20
00000a22: PUSH2 0x3381
00000a25: DUP4
00000a26: CODECOPY
00000a27: DUP2
00000a28: MLOAD
00000a29: SWAP2
00000a2a: MSTORE
00000a2b: PUSH1 0x44
00000a2d: DUP3
00000a2e: ADD
00000a2f: MSTORE
00000a30: PUSH1 0x64
00000a32: ADD
00000a33: PUSH2 0x06f6
00000a36: JUMP
00000a37: JUMPDEST
00000a38: PUSH1 0x0a
00000a3a: DUP1
00000a3b: SLOAD
00000a3c: SWAP2
00000a3d: ISZERO
00000a3e: ISZERO
00000a3f: PUSH2 0x0100
00000a42: MUL
00000a43: PUSH2 0xff00
00000a46: NOT
00000a47: SWAP1
00000a48: SWAP3
00000a49: AND
00000a4a: SWAP2
00000a4b: SWAP1
00000a4c: SWAP2
00000a4d: OR
00000a4e: SWAP1
00000a4f: SSTORE
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH1 0x01
00000a54: PUSH1 0x01
00000a56: PUSH1 0xa0
00000a58: SHL
00000a59: SUB
00000a5a: DUP6
00000a5b: AND
00000a5c: CALLER
00000a5d: EQ
00000a5e: DUP1
00000a5f: PUSH2 0x0a6d
00000a62: JUMPI
00000a63: POP
00000a64: PUSH2 0x0a6d
00000a67: DUP6
00000a68: CALLER
00000a69: PUSH2 0x1858
00000a6c: JUMP
00000a6d: JUMPDEST
00000a6e: PUSH2 0x0adf
00000a71: JUMPI
00000a72: PUSH1 0x40
00000a74: MLOAD
00000a75: PUSH3 0x461bcd
00000a79: PUSH1 0xe5
00000a7b: SHL
00000a7c: DUP2
00000a7d: MSTORE
00000a7e: PUSH1 0x20
00000a80: PUSH1 0x04
00000a82: DUP3
00000a83: ADD
00000a84: MSTORE
00000a85: PUSH1 0x32
00000a87: PUSH1 0x24
00000a89: DUP3
00000a8a: ADD
00000a8b: MSTORE
00000a8c: PUSH32 0x455243313135353a207472616e736665722063616c6c6572206973206e6f7420
00000aad: PUSH1 0x44
00000aaf: DUP3
00000ab0: ADD
00000ab1: MSTORE
00000ab2: PUSH32 0x6f776e6572206e6f7220617070726f7665640000000000000000000000000000
00000ad3: PUSH1 0x64
00000ad5: DUP3
00000ad6: ADD
00000ad7: MSTORE
00000ad8: PUSH1 0x84
00000ada: ADD
00000adb: PUSH2 0x06f6
00000ade: JUMP
00000adf: JUMPDEST
00000ae0: PUSH2 0x0aec
00000ae3: DUP6
00000ae4: DUP6
00000ae5: DUP6
00000ae6: DUP6
00000ae7: DUP6
00000ae8: PUSH2 0x1bca
00000aeb: JUMP
00000aec: JUMPDEST
00000aed: POP
00000aee: POP
00000aef: POP
00000af0: POP
00000af1: POP
00000af2: JUMP
00000af3: JUMPDEST
00000af4: PUSH1 0x03
00000af6: SLOAD
00000af7: PUSH1 0x01
00000af9: PUSH1 0x01
00000afb: PUSH1 0xa0
00000afd: SHL
00000afe: SUB
00000aff: AND
00000b00: CALLER
00000b01: EQ
00000b02: PUSH2 0x0b3b
00000b05: JUMPI
00000b06: PUSH1 0x40
00000b08: MLOAD
00000b09: PUSH3 0x461bcd
00000b0d: PUSH1 0xe5
00000b0f: SHL
00000b10: DUP2
00000b11: MSTORE
00000b12: PUSH1 0x20
00000b14: PUSH1 0x04
00000b16: DUP3
00000b17: ADD
00000b18: DUP2
00000b19: SWAP1
00000b1a: MSTORE
00000b1b: PUSH1 0x24
00000b1d: DUP3
00000b1e: ADD
00000b1f: MSTORE
00000b20: PUSH1 0x00
00000b22: DUP1
00000b23: MLOAD
00000b24: PUSH1 0x20
00000b26: PUSH2 0x3381
00000b29: DUP4
00000b2a: CODECOPY
00000b2b: DUP2
00000b2c: MLOAD
00000b2d: SWAP2
00000b2e: MSTORE
00000b2f: PUSH1 0x44
00000b31: DUP3
00000b32: ADD
00000b33: MSTORE
00000b34: PUSH1 0x64
00000b36: ADD
00000b37: PUSH2 0x06f6
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: PUSH1 0x40
00000b3e: MLOAD
00000b3f: SELFBALANCE
00000b40: SWAP1
00000b41: CALLER
00000b42: SWAP1
00000b43: DUP3
00000b44: ISZERO
00000b45: PUSH2 0x08fc
00000b48: MUL
00000b49: SWAP1
00000b4a: DUP4
00000b4b: SWAP1
00000b4c: PUSH1 0x00
00000b4e: DUP2
00000b4f: DUP2
00000b50: DUP2
00000b51: DUP6
00000b52: DUP9
00000b53: DUP9
00000b54: CALL
00000b55: SWAP4
00000b56: POP
00000b57: POP
00000b58: POP
00000b59: POP
00000b5a: ISZERO
00000b5b: DUP1
00000b5c: ISZERO
00000b5d: PUSH2 0x0b6a
00000b60: JUMPI
00000b61: RETURNDATASIZE
00000b62: PUSH1 0x00
00000b64: DUP1
00000b65: RETURNDATACOPY
00000b66: RETURNDATASIZE
00000b67: PUSH1 0x00
00000b69: REVERT
00000b6a: JUMPDEST
00000b6b: POP
00000b6c: POP
00000b6d: JUMP
00000b6e: JUMPDEST
00000b6f: PUSH1 0x03
00000b71: SLOAD
00000b72: PUSH1 0x00
00000b74: SWAP1
00000b75: PUSH1 0x01
00000b77: PUSH1 0x01
00000b79: PUSH1 0xa0
00000b7b: SHL
00000b7c: SUB
00000b7d: AND
00000b7e: CALLER
00000b7f: EQ
00000b80: PUSH2 0x0bb9
00000b83: JUMPI
00000b84: PUSH1 0x40
00000b86: MLOAD
00000b87: PUSH3 0x461bcd
00000b8b: PUSH1 0xe5
00000b8d: SHL
00000b8e: DUP2
00000b8f: MSTORE
00000b90: PUSH1 0x20
00000b92: PUSH1 0x04
00000b94: DUP3
00000b95: ADD
00000b96: DUP2
00000b97: SWAP1
00000b98: MSTORE
00000b99: PUSH1 0x24
00000b9b: DUP3
00000b9c: ADD
00000b9d: MSTORE
00000b9e: PUSH1 0x00
00000ba0: DUP1
00000ba1: MLOAD
00000ba2: PUSH1 0x20
00000ba4: PUSH2 0x3381
00000ba7: DUP4
00000ba8: CODECOPY
00000ba9: DUP2
00000baa: MLOAD
00000bab: SWAP2
00000bac: MSTORE
00000bad: PUSH1 0x44
00000baf: DUP3
00000bb0: ADD
00000bb1: MSTORE
00000bb2: PUSH1 0x64
00000bb4: ADD
00000bb5: PUSH2 0x06f6
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: POP
00000bbb: PUSH1 0x04
00000bbd: SLOAD
00000bbe: PUSH1 0x01
00000bc0: PUSH1 0x01
00000bc2: PUSH1 0xa0
00000bc4: SHL
00000bc5: SUB
00000bc6: AND
00000bc7: JUMPDEST
00000bc8: SWAP1
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: PUSH1 0x03
00000bcd: SLOAD
00000bce: PUSH1 0x01
00000bd0: PUSH1 0x01
00000bd2: PUSH1 0xa0
00000bd4: SHL
00000bd5: SUB
00000bd6: AND
00000bd7: CALLER
00000bd8: EQ
00000bd9: PUSH2 0x0c12
00000bdc: JUMPI
00000bdd: PUSH1 0x40
00000bdf: MLOAD
00000be0: PUSH3 0x461bcd
00000be4: PUSH1 0xe5
00000be6: SHL
00000be7: DUP2
00000be8: MSTORE
00000be9: PUSH1 0x20
00000beb: PUSH1 0x04
00000bed: DUP3
00000bee: ADD
00000bef: DUP2
00000bf0: SWAP1
00000bf1: MSTORE
00000bf2: PUSH1 0x24
00000bf4: DUP3
00000bf5: ADD
00000bf6: MSTORE
00000bf7: PUSH1 0x00
00000bf9: DUP1
00000bfa: MLOAD
00000bfb: PUSH1 0x20
00000bfd: PUSH2 0x3381
00000c00: DUP4
00000c01: CODECOPY
00000c02: DUP2
00000c03: MLOAD
00000c04: SWAP2
00000c05: MSTORE
00000c06: PUSH1 0x44
00000c08: DUP3
00000c09: ADD
00000c0a: MSTORE
00000c0b: PUSH1 0x64
00000c0d: ADD
00000c0e: PUSH2 0x06f6
00000c11: JUMP
00000c12: JUMPDEST
00000c13: PUSH1 0x04
00000c15: DUP1
00000c16: SLOAD
00000c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2c: NOT
00000c2d: AND
00000c2e: PUSH1 0x01
00000c30: PUSH1 0x01
00000c32: PUSH1 0xa0
00000c34: SHL
00000c35: SUB
00000c36: SWAP3
00000c37: SWAP1
00000c38: SWAP3
00000c39: AND
00000c3a: SWAP2
00000c3b: SWAP1
00000c3c: SWAP2
00000c3d: OR
00000c3e: SWAP1
00000c3f: SSTORE
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH1 0x60
00000c44: DUP2
00000c45: MLOAD
00000c46: DUP4
00000c47: MLOAD
00000c48: EQ
00000c49: PUSH2 0x0cba
00000c4c: JUMPI
00000c4d: PUSH1 0x40
00000c4f: MLOAD
00000c50: PUSH3 0x461bcd
00000c54: PUSH1 0xe5
00000c56: SHL
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x20
00000c5b: PUSH1 0x04
00000c5d: DUP3
00000c5e: ADD
00000c5f: MSTORE
00000c60: PUSH1 0x29
00000c62: PUSH1 0x24
00000c64: DUP3
00000c65: ADD
00000c66: MSTORE
00000c67: PUSH32 0x455243313135353a206163636f756e747320616e6420696473206c656e677468
00000c88: PUSH1 0x44
00000c8a: DUP3
00000c8b: ADD
00000c8c: MSTORE
00000c8d: PUSH32 0x206d69736d617463680000000000000000000000000000000000000000000000
00000cae: PUSH1 0x64
00000cb0: DUP3
00000cb1: ADD
00000cb2: MSTORE
00000cb3: PUSH1 0x84
00000cb5: ADD
00000cb6: PUSH2 0x06f6
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: PUSH1 0x00
00000cbd: DUP4
00000cbe: MLOAD
00000cbf: PUSH8 0xffffffffffffffff
00000cc8: DUP2
00000cc9: GT
00000cca: ISZERO
00000ccb: PUSH2 0x0cd6
00000cce: JUMPI
00000ccf: PUSH2 0x0cd6
00000cd2: PUSH2 0x329a
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: PUSH1 0x40
00000cd9: MLOAD
00000cda: SWAP1
00000cdb: DUP1
00000cdc: DUP3
00000cdd: MSTORE
00000cde: DUP1
00000cdf: PUSH1 0x20
00000ce1: MUL
00000ce2: PUSH1 0x20
00000ce4: ADD
00000ce5: DUP3
00000ce6: ADD
00000ce7: PUSH1 0x40
00000ce9: MSTORE
00000cea: DUP1
00000ceb: ISZERO
00000cec: PUSH2 0x0cff
00000cef: JUMPI
00000cf0: DUP2
00000cf1: PUSH1 0x20
00000cf3: ADD
00000cf4: PUSH1 0x20
00000cf6: DUP3
00000cf7: MUL
00000cf8: DUP1
00000cf9: CALLDATASIZE
00000cfa: DUP4
00000cfb: CALLDATACOPY
00000cfc: ADD
00000cfd: SWAP1
00000cfe: POP
00000cff: JUMPDEST
00000d00: POP
00000d01: SWAP1
00000d02: POP
00000d03: PUSH1 0x00
00000d05: JUMPDEST
00000d06: DUP5
00000d07: MLOAD
00000d08: DUP2
00000d09: LT
00000d0a: ISZERO
00000d0b: PUSH2 0x0d77
00000d0e: JUMPI
00000d0f: PUSH2 0x0d4a
00000d12: DUP6
00000d13: DUP3
00000d14: DUP2
00000d15: MLOAD
00000d16: DUP2
00000d17: LT
00000d18: PUSH2 0x0d23
00000d1b: JUMPI
00000d1c: PUSH2 0x0d23
00000d1f: PUSH2 0x3284
00000d22: JUMP
00000d23: JUMPDEST
00000d24: PUSH1 0x20
00000d26: MUL
00000d27: PUSH1 0x20
00000d29: ADD
00000d2a: ADD
00000d2b: MLOAD
00000d2c: DUP6
00000d2d: DUP4
00000d2e: DUP2
00000d2f: MLOAD
00000d30: DUP2
00000d31: LT
00000d32: PUSH2 0x0d3d
00000d35: JUMPI
00000d36: PUSH2 0x0d3d
00000d39: PUSH2 0x3284
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: PUSH1 0x20
00000d40: MUL
00000d41: PUSH1 0x20
00000d43: ADD
00000d44: ADD
00000d45: MLOAD
00000d46: PUSH2 0x067c
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: DUP3
00000d4c: DUP3
00000d4d: DUP2
00000d4e: MLOAD
00000d4f: DUP2
00000d50: LT
00000d51: PUSH2 0x0d5c
00000d54: JUMPI
00000d55: PUSH2 0x0d5c
00000d58: PUSH2 0x3284
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: PUSH1 0x20
00000d5f: SWAP1
00000d60: DUP2
00000d61: MUL
00000d62: SWAP2
00000d63: SWAP1
00000d64: SWAP2
00000d65: ADD
00000d66: ADD
00000d67: MSTORE
00000d68: PUSH2 0x0d70
00000d6b: DUP2
00000d6c: PUSH2 0x3253
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: SWAP1
00000d72: POP
00000d73: PUSH2 0x0d05
00000d76: JUMP
00000d77: JUMPDEST
00000d78: POP
00000d79: SWAP4
00000d7a: SWAP3
00000d7b: POP
00000d7c: POP
00000d7d: POP
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: PUSH1 0x03
00000d82: SLOAD
00000d83: PUSH1 0x01
00000d85: PUSH1 0x01
00000d87: PUSH1 0xa0
00000d89: SHL
00000d8a: SUB
00000d8b: AND
00000d8c: CALLER
00000d8d: EQ
00000d8e: PUSH2 0x0dc7
00000d91: JUMPI
00000d92: PUSH1 0x40
00000d94: MLOAD
00000d95: PUSH3 0x461bcd
00000d99: PUSH1 0xe5
00000d9b: SHL
00000d9c: DUP2
00000d9d: MSTORE
00000d9e: PUSH1 0x20
00000da0: PUSH1 0x04
00000da2: DUP3
00000da3: ADD
00000da4: DUP2
00000da5: SWAP1
00000da6: MSTORE
00000da7: PUSH1 0x24
00000da9: DUP3
00000daa: ADD
00000dab: MSTORE
00000dac: PUSH1 0x00
00000dae: DUP1
00000daf: MLOAD
00000db0: PUSH1 0x20
00000db2: PUSH2 0x3381
00000db5: DUP4
00000db6: CODECOPY
00000db7: DUP2
00000db8: MLOAD
00000db9: SWAP2
00000dba: MSTORE
00000dbb: PUSH1 0x44
00000dbd: DUP3
00000dbe: ADD
00000dbf: MSTORE
00000dc0: PUSH1 0x64
00000dc2: ADD
00000dc3: PUSH2 0x06f6
00000dc6: JUMP
00000dc7: JUMPDEST
00000dc8: PUSH1 0x02
00000dca: DUP2
00000dcb: PUSH1 0xff
00000dcd: AND
00000dce: GT
00000dcf: ISZERO
00000dd0: PUSH2 0x0e0a
00000dd3: JUMPI
00000dd4: PUSH1 0x40
00000dd6: MLOAD
00000dd7: PUSH3 0x461bcd
00000ddb: PUSH1 0xe5
00000ddd: SHL
00000dde: DUP2
00000ddf: MSTORE
00000de0: PUSH1 0x20
00000de2: PUSH1 0x04
00000de4: DUP3
00000de5: ADD
00000de6: MSTORE
00000de7: PUSH1 0x0c
00000de9: PUSH1 0x24
00000deb: DUP3
00000dec: ADD
00000ded: MSTORE
00000dee: PUSH12 0x496e76616c69642074797065
00000dfb: PUSH1 0xa0
00000dfd: SHL
00000dfe: PUSH1 0x44
00000e00: DUP3
00000e01: ADD
00000e02: MSTORE
00000e03: PUSH1 0x64
00000e05: ADD
00000e06: PUSH2 0x06f6
00000e09: JUMP
00000e0a: JUMPDEST
00000e0b: PUSH1 0x0a
00000e0d: SLOAD
00000e0e: PUSH1 0xff
00000e10: PUSH2 0x0100
00000e13: SWAP1
00000e14: SWAP2
00000e15: DIV
00000e16: AND
00000e17: ISZERO
00000e18: ISZERO
00000e19: PUSH1 0x01
00000e1b: EQ
00000e1c: PUSH2 0x0e67
00000e1f: JUMPI
00000e20: PUSH1 0x40
00000e22: MLOAD
00000e23: PUSH3 0x461bcd
00000e27: PUSH1 0xe5
00000e29: SHL
00000e2a: DUP2
00000e2b: MSTORE
00000e2c: PUSH1 0x20
00000e2e: PUSH1 0x04
00000e30: DUP3
00000e31: ADD
00000e32: MSTORE
00000e33: PUSH1 0x17
00000e35: PUSH1 0x24
00000e37: DUP3
00000e38: ADD
00000e39: MSTORE
00000e3a: PUSH32 0x4d696e74696e67206e6f7420656e61626c656420796574000000000000000000
00000e5b: PUSH1 0x44
00000e5d: DUP3
00000e5e: ADD
00000e5f: MSTORE
00000e60: PUSH1 0x64
00000e62: ADD
00000e63: PUSH2 0x06f6
00000e66: JUMP
00000e67: JUMPDEST
00000e68: PUSH1 0x64
00000e6a: PUSH2 0x0e82
00000e6d: DUP3
00000e6e: PUSH1 0xff
00000e70: AND
00000e71: PUSH1 0x00
00000e73: SWAP1
00000e74: DUP2
00000e75: MSTORE
00000e76: PUSH1 0x06
00000e78: PUSH1 0x20
00000e7a: MSTORE
00000e7b: PUSH1 0x40
00000e7d: SWAP1
00000e7e: KECCAK256
00000e7f: SLOAD
00000e80: SWAP1
00000e81: JUMP
00000e82: JUMPDEST
00000e83: LT
00000e84: PUSH2 0x0edf
00000e87: JUMPI
00000e88: PUSH1 0x40
00000e8a: MLOAD
00000e8b: PUSH3 0x461bcd
00000e8f: PUSH1 0xe5
00000e91: SHL
00000e92: DUP2
00000e93: MSTORE
00000e94: PUSH1 0x20
00000e96: PUSH1 0x04
00000e98: DUP3
00000e99: ADD
00000e9a: MSTORE
00000e9b: PUSH1 0x27
00000e9d: PUSH1 0x24
00000e9f: DUP3
00000ea0: ADD
00000ea1: MSTORE
00000ea2: PUSH32 0x4e6f7420656e6f756768206c65667420746f206d696e742074686174206d616e
00000ec3: PUSH1 0x44
00000ec5: DUP3
00000ec6: ADD
00000ec7: MSTORE
00000ec8: PUSH7 0x79206974656d73
00000ed0: PUSH1 0xc8
00000ed2: SHL
00000ed3: PUSH1 0x64
00000ed5: DUP3
00000ed6: ADD
00000ed7: MSTORE
00000ed8: PUSH1 0x84
00000eda: ADD
00000edb: PUSH2 0x06f6
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: PUSH1 0x00
00000ee2: PUSH2 0x0eed
00000ee5: DUP3
00000ee6: PUSH1 0xff
00000ee8: AND
00000ee9: PUSH2 0x1e28
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH1 0x00
00000ef0: DUP2
00000ef1: DUP2
00000ef2: MSTORE
00000ef3: PUSH1 0x09
00000ef5: PUSH1 0x20
00000ef7: MSTORE
00000ef8: PUSH1 0x40
00000efa: SWAP1
00000efb: KECCAK256
00000efc: SLOAD
00000efd: SWAP1
00000efe: SWAP2
00000eff: POP
00000f00: PUSH1 0xff
00000f02: AND
00000f03: ISZERO
00000f04: PUSH2 0x0f4f
00000f07: JUMPI
00000f08: PUSH1 0x40
00000f0a: MLOAD
00000f0b: PUSH3 0x461bcd
00000f0f: PUSH1 0xe5
00000f11: SHL
00000f12: DUP2
00000f13: MSTORE
00000f14: PUSH1 0x20
00000f16: PUSH1 0x04
00000f18: DUP3
00000f19: ADD
00000f1a: MSTORE
00000f1b: PUSH1 0x18
00000f1d: PUSH1 0x24
00000f1f: DUP3
00000f20: ADD
00000f21: MSTORE
00000f22: PUSH32 0x416c7265616479206d696e7465642074686174206f6e652e0000000000000000
00000f43: PUSH1 0x44
00000f45: DUP3
00000f46: ADD
00000f47: MSTORE
00000f48: PUSH1 0x64
00000f4a: ADD
00000f4b: PUSH2 0x06f6
00000f4e: JUMP
00000f4f: JUMPDEST
00000f50: PUSH2 0x0f6b
00000f53: DUP4
00000f54: DUP3
00000f55: PUSH1 0x01
00000f57: PUSH1 0x40
00000f59: MLOAD
00000f5a: DUP1
00000f5b: PUSH1 0x20
00000f5d: ADD
00000f5e: PUSH1 0x40
00000f60: MSTORE
00000f61: DUP1
00000f62: PUSH1 0x00
00000f64: DUP2
00000f65: MSTORE
00000f66: POP
00000f67: PUSH2 0x1e4e
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: PUSH1 0xff
00000f6e: DUP3
00000f6f: AND
00000f70: PUSH1 0x00
00000f72: SWAP1
00000f73: DUP2
00000f74: MSTORE
00000f75: PUSH1 0x07
00000f77: PUSH1 0x20
00000f79: SWAP1
00000f7a: DUP2
00000f7b: MSTORE
00000f7c: PUSH1 0x40
00000f7e: DUP1
00000f7f: DUP4
00000f80: KECCAK256
00000f81: PUSH1 0x01
00000f83: PUSH1 0x01
00000f85: PUSH1 0xa0
00000f87: SHL
00000f88: SUB
00000f89: DUP8
00000f8a: AND
00000f8b: DUP5
00000f8c: MSTORE
00000f8d: SWAP1
00000f8e: SWAP2
00000f8f: MSTORE
00000f90: DUP2
00000f91: KECCAK256
00000f92: DUP1
00000f93: SLOAD
00000f94: PUSH1 0x01
00000f96: SWAP3
00000f97: SWAP1
00000f98: PUSH2 0x0fa2
00000f9b: SWAP1
00000f9c: DUP5
00000f9d: SWAP1
00000f9e: PUSH2 0x319d
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: SWAP1
00000fa4: SWAP2
00000fa5: SSTORE
00000fa6: POP
00000fa7: POP
00000fa8: PUSH1 0xff
00000faa: DUP3
00000fab: AND
00000fac: PUSH1 0x00
00000fae: SWAP1
00000faf: DUP2
00000fb0: MSTORE
00000fb1: PUSH1 0x06
00000fb3: PUSH1 0x20
00000fb5: MSTORE
00000fb6: PUSH1 0x40
00000fb8: DUP2
00000fb9: KECCAK256
00000fba: DUP1
00000fbb: SLOAD
00000fbc: PUSH1 0x01
00000fbe: SWAP3
00000fbf: SWAP1
00000fc0: PUSH2 0x0fca
00000fc3: SWAP1
00000fc4: DUP5
00000fc5: SWAP1
00000fc6: PUSH2 0x319d
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: SWAP1
00000fcc: SWAP2
00000fcd: SSTORE
00000fce: POP
00000fcf: POP
00000fd0: PUSH1 0x00
00000fd2: SWAP1
00000fd3: DUP2
00000fd4: MSTORE
00000fd5: PUSH1 0x09
00000fd7: PUSH1 0x20
00000fd9: MSTORE
00000fda: PUSH1 0x40
00000fdc: SWAP1
00000fdd: KECCAK256
00000fde: DUP1
00000fdf: SLOAD
00000fe0: PUSH1 0xff
00000fe2: NOT
00000fe3: AND
00000fe4: PUSH1 0x01
00000fe6: OR
00000fe7: SWAP1
00000fe8: SSTORE
00000fe9: POP
00000fea: POP
00000feb: JUMP
00000fec: JUMPDEST
00000fed: PUSH1 0x01
00000fef: PUSH1 0x01
00000ff1: PUSH1 0xa0
00000ff3: SHL
00000ff4: SUB
00000ff5: DUP4
00000ff6: AND
00000ff7: CALLER
00000ff8: EQ
00000ff9: DUP1
00000ffa: PUSH2 0x1008
00000ffd: JUMPI
00000ffe: POP
00000fff: PUSH2 0x1008
00001002: DUP4
00001003: CALLER
00001004: PUSH2 0x1858
00001007: JUMP
00001008: JUMPDEST
00001009: PUSH2 0x1066
0000100c: JUMPI
0000100d: PUSH1 0x40
0000100f: MLOAD
00001010: PUSH3 0x461bcd
00001014: PUSH1 0xe5
00001016: SHL
00001017: DUP2
00001018: MSTORE
00001019: PUSH1 0x20
0000101b: PUSH1 0x04
0000101d: DUP3
0000101e: ADD
0000101f: MSTORE
00001020: PUSH1 0x29
00001022: PUSH1 0x24
00001024: DUP3
00001025: ADD
00001026: MSTORE
00001027: PUSH32 0x455243313135353a2063616c6c6572206973206e6f74206f776e6572206e6f72
00001048: PUSH1 0x44
0000104a: DUP3
0000104b: ADD
0000104c: MSTORE
0000104d: PUSH9 0x08185c1c1c9bdd9959
00001057: PUSH1 0xba
00001059: SHL
0000105a: PUSH1 0x64
0000105c: DUP3
0000105d: ADD
0000105e: MSTORE
0000105f: PUSH1 0x84
00001061: ADD
00001062: PUSH2 0x06f6
00001065: JUMP
00001066: JUMPDEST
00001067: PUSH2 0x0956
0000106a: DUP4
0000106b: DUP4
0000106c: DUP4
0000106d: PUSH2 0x1f74
00001070: JUMP
00001071: JUMPDEST
00001072: PUSH1 0x03
00001074: SLOAD
00001075: PUSH1 0x01
00001077: PUSH1 0x01
00001079: PUSH1 0xa0
0000107b: SHL
0000107c: SUB
0000107d: AND
0000107e: CALLER
0000107f: EQ
00001080: PUSH2 0x10b9
00001083: JUMPI
00001084: PUSH1 0x40
00001086: MLOAD
00001087: PUSH3 0x461bcd
0000108b: PUSH1 0xe5
0000108d: SHL
0000108e: DUP2
0000108f: MSTORE
00001090: PUSH1 0x20
00001092: PUSH1 0x04
00001094: DUP3
00001095: ADD
00001096: DUP2
00001097: SWAP1
00001098: MSTORE
00001099: PUSH1 0x24
0000109b: DUP3
0000109c: ADD
0000109d: MSTORE
0000109e: PUSH1 0x00
000010a0: DUP1
000010a1: MLOAD
000010a2: PUSH1 0x20
000010a4: PUSH2 0x3381
000010a7: DUP4
000010a8: CODECOPY
000010a9: DUP2
000010aa: MLOAD
000010ab: SWAP2
000010ac: MSTORE
000010ad: PUSH1 0x44
000010af: DUP3
000010b0: ADD
000010b1: MSTORE
000010b2: PUSH1 0x64
000010b4: ADD
000010b5: PUSH2 0x06f6
000010b8: JUMP
000010b9: JUMPDEST
000010ba: PUSH2 0x10c3
000010bd: PUSH1 0x00
000010bf: PUSH2 0x21a9
000010c2: JUMP
000010c3: JUMPDEST
000010c4: JUMP
000010c5: JUMPDEST
000010c6: PUSH1 0x03
000010c8: SLOAD
000010c9: PUSH1 0x01
000010cb: PUSH1 0x01
000010cd: PUSH1 0xa0
000010cf: SHL
000010d0: SUB
000010d1: AND
000010d2: CALLER
000010d3: EQ
000010d4: PUSH2 0x110d
000010d7: JUMPI
000010d8: PUSH1 0x40
000010da: MLOAD
000010db: PUSH3 0x461bcd
000010df: PUSH1 0xe5
000010e1: SHL
000010e2: DUP2
000010e3: MSTORE
000010e4: PUSH1 0x20
000010e6: PUSH1 0x04
000010e8: DUP3
000010e9: ADD
000010ea: DUP2
000010eb: SWAP1
000010ec: MSTORE
000010ed: PUSH1 0x24
000010ef: DUP3
000010f0: ADD
000010f1: MSTORE
000010f2: PUSH1 0x00
000010f4: DUP1
000010f5: MLOAD
000010f6: PUSH1 0x20
000010f8: PUSH2 0x3381
000010fb: DUP4
000010fc: CODECOPY
000010fd: DUP2
000010fe: MLOAD
000010ff: SWAP2
00001100: MSTORE
00001101: PUSH1 0x44
00001103: DUP3
00001104: ADD
00001105: MSTORE
00001106: PUSH1 0x64
00001108: ADD
00001109: PUSH2 0x06f6
0000110c: JUMP
0000110d: JUMPDEST
0000110e: DUP1
0000110f: MLOAD
00001110: PUSH2 0x0b6a
00001113: SWAP1
00001114: PUSH1 0x0b
00001116: SWAP1
00001117: PUSH1 0x20
00001119: DUP5
0000111a: ADD
0000111b: SWAP1
0000111c: PUSH2 0x2920
0000111f: JUMP
00001120: JUMPDEST
00001121: PUSH1 0x0d
00001123: DUP1
00001124: SLOAD
00001125: PUSH2 0x0824
00001128: SWAP1
00001129: PUSH2 0x31eb
0000112c: JUMP
0000112d: JUMPDEST
0000112e: PUSH2 0x0b6a
00001131: CALLER
00001132: DUP4
00001133: DUP4
00001134: PUSH2 0x2208
00001137: JUMP
00001138: JUMPDEST
00001139: PUSH1 0x03
0000113b: SLOAD
0000113c: PUSH1 0x01
0000113e: PUSH1 0x01
00001140: PUSH1 0xa0
00001142: SHL
00001143: SUB
00001144: AND
00001145: CALLER
00001146: EQ
00001147: PUSH2 0x1180
0000114a: JUMPI
0000114b: PUSH1 0x40
0000114d: MLOAD
0000114e: PUSH3 0x461bcd
00001152: PUSH1 0xe5
00001154: SHL
00001155: DUP2
00001156: MSTORE
00001157: PUSH1 0x20
00001159: PUSH1 0x04
0000115b: DUP3
0000115c: ADD
0000115d: DUP2
0000115e: SWAP1
0000115f: MSTORE
00001160: PUSH1 0x24
00001162: DUP3
00001163: ADD
00001164: MSTORE
00001165: PUSH1 0x00
00001167: DUP1
00001168: MLOAD
00001169: PUSH1 0x20
0000116b: PUSH2 0x3381
0000116e: DUP4
0000116f: CODECOPY
00001170: DUP2
00001171: MLOAD
00001172: SWAP2
00001173: MSTORE
00001174: PUSH1 0x44
00001176: DUP3
00001177: ADD
00001178: MSTORE
00001179: PUSH1 0x64
0000117b: ADD
0000117c: PUSH2 0x06f6
0000117f: JUMP
00001180: JUMPDEST
00001181: PUSH1 0x0a
00001183: DUP1
00001184: SLOAD
00001185: PUSH1 0xff
00001187: NOT
00001188: AND
00001189: SWAP2
0000118a: ISZERO
0000118b: ISZERO
0000118c: SWAP2
0000118d: SWAP1
0000118e: SWAP2
0000118f: OR
00001190: SWAP1
00001191: SSTORE
00001192: JUMP
00001193: JUMPDEST
00001194: PUSH1 0x03
00001196: SLOAD
00001197: PUSH1 0x01
00001199: PUSH1 0x01
0000119b: PUSH1 0xa0
0000119d: SHL
0000119e: SUB
0000119f: AND
000011a0: CALLER
000011a1: EQ
000011a2: PUSH2 0x11db
000011a5: JUMPI
000011a6: PUSH1 0x40
000011a8: MLOAD
000011a9: PUSH3 0x461bcd
000011ad: PUSH1 0xe5
000011af: SHL
000011b0: DUP2
000011b1: MSTORE
000011b2: PUSH1 0x20
000011b4: PUSH1 0x04
000011b6: DUP3
000011b7: ADD
000011b8: DUP2
000011b9: SWAP1
000011ba: MSTORE
000011bb: PUSH1 0x24
000011bd: DUP3
000011be: ADD
000011bf: MSTORE
000011c0: PUSH1 0x00
000011c2: DUP1
000011c3: MLOAD
000011c4: PUSH1 0x20
000011c6: PUSH2 0x3381
000011c9: DUP4
000011ca: CODECOPY
000011cb: DUP2
000011cc: MLOAD
000011cd: SWAP2
000011ce: MSTORE
000011cf: PUSH1 0x44
000011d1: DUP3
000011d2: ADD
000011d3: MSTORE
000011d4: PUSH1 0x64
000011d6: ADD
000011d7: PUSH2 0x06f6
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH1 0x02
000011de: DUP2
000011df: GT
000011e0: ISZERO
000011e1: PUSH2 0x121b
000011e4: JUMPI
000011e5: PUSH1 0x40
000011e7: MLOAD
000011e8: PUSH3 0x461bcd
000011ec: PUSH1 0xe5
000011ee: SHL
000011ef: DUP2
000011f0: MSTORE
000011f1: PUSH1 0x20
000011f3: PUSH1 0x04
000011f5: DUP3
000011f6: ADD
000011f7: MSTORE
000011f8: PUSH1 0x0c
000011fa: PUSH1 0x24
000011fc: DUP3
000011fd: ADD
000011fe: MSTORE
000011ff: PUSH12 0x496e76616c69642074797065
0000120c: PUSH1 0xa0
0000120e: SHL
0000120f: PUSH1 0x44
00001211: DUP3
00001212: ADD
00001213: MSTORE
00001214: PUSH1 0x64
00001216: ADD
00001217: PUSH2 0x06f6
0000121a: JUMP
0000121b: JUMPDEST
0000121c: PUSH1 0x00
0000121e: PUSH1 0x01
00001220: DUP4
00001221: MLOAD
00001222: PUSH2 0x122b
00001225: SWAP2
00001226: SWAP1
00001227: PUSH2 0x31d4
0000122a: JUMP
0000122b: JUMPDEST
0000122c: PUSH1 0x00
0000122e: DUP4
0000122f: DUP2
00001230: MSTORE
00001231: PUSH1 0x06
00001233: PUSH1 0x20
00001235: MSTORE
00001236: PUSH1 0x40
00001238: SWAP1
00001239: KECCAK256
0000123a: SLOAD
0000123b: SWAP1
0000123c: SWAP2
0000123d: POP
0000123e: PUSH1 0x64
00001240: SWAP1
00001241: PUSH2 0x124b
00001244: SWAP1
00001245: DUP4
00001246: SWAP1
00001247: PUSH2 0x319d
0000124a: JUMP
0000124b: JUMPDEST
0000124c: LT
0000124d: PUSH2 0x12a8
00001250: JUMPI
00001251: PUSH1 0x40
00001253: MLOAD
00001254: PUSH3 0x461bcd
00001258: PUSH1 0xe5
0000125a: SHL
0000125b: DUP2
0000125c: MSTORE
0000125d: PUSH1 0x20
0000125f: PUSH1 0x04
00001261: DUP3
00001262: ADD
00001263: MSTORE
00001264: PUSH1 0x27
00001266: PUSH1 0x24
00001268: DUP3
00001269: ADD
0000126a: MSTORE
0000126b: PUSH32 0x4e6f7420656e6f756768206c65667420746f206d696e742074686174206d616e
0000128c: PUSH1 0x44
0000128e: DUP3
0000128f: ADD
00001290: MSTORE
00001291: PUSH7 0x79206974656d73
00001299: PUSH1 0xc8
0000129b: SHL
0000129c: PUSH1 0x64
0000129e: DUP3
0000129f: ADD
000012a0: MSTORE
000012a1: PUSH1 0x84
000012a3: ADD
000012a4: PUSH2 0x06f6
000012a7: JUMP
000012a8: JUMPDEST
000012a9: PUSH1 0x00
000012ab: PUSH2 0x12b3
000012ae: DUP4
000012af: PUSH2 0x1e28
000012b2: JUMP
000012b3: JUMPDEST
000012b4: SWAP1
000012b5: POP
000012b6: PUSH1 0x00
000012b8: JUMPDEST
000012b9: DUP3
000012ba: DUP2
000012bb: GT
000012bc: PUSH2 0x0aec
000012bf: JUMPI
000012c0: PUSH2 0x12ff
000012c3: DUP6
000012c4: DUP3
000012c5: DUP2
000012c6: MLOAD
000012c7: DUP2
000012c8: LT
000012c9: PUSH2 0x12d4
000012cc: JUMPI
000012cd: PUSH2 0x12d4
000012d0: PUSH2 0x3284
000012d3: JUMP
000012d4: JUMPDEST
000012d5: PUSH1 0x20
000012d7: MUL
000012d8: PUSH1 0x20
000012da: ADD
000012db: ADD
000012dc: MLOAD
000012dd: DUP3
000012de: DUP5
000012df: PUSH2 0x12e8
000012e2: SWAP2
000012e3: SWAP1
000012e4: PUSH2 0x319d
000012e7: JUMP
000012e8: JUMPDEST
000012e9: PUSH1 0x01
000012eb: PUSH1 0x40
000012ed: MLOAD
000012ee: DUP1
000012ef: PUSH1 0x20
000012f1: ADD
000012f2: PUSH1 0x40
000012f4: MSTORE
000012f5: DUP1
000012f6: PUSH1 0x00
000012f8: DUP2
000012f9: MSTORE
000012fa: POP
000012fb: PUSH2 0x1e4e
000012fe: JUMP
000012ff: JUMPDEST
00001300: PUSH1 0x00
00001302: DUP5
00001303: DUP2
00001304: MSTORE
00001305: PUSH1 0x07
00001307: PUSH1 0x20
00001309: MSTORE
0000130a: PUSH1 0x40
0000130c: DUP2
0000130d: KECCAK256
0000130e: DUP7
0000130f: MLOAD
00001310: PUSH1 0x01
00001312: SWAP3
00001313: SWAP1
00001314: DUP9
00001315: SWAP1
00001316: DUP6
00001317: SWAP1
00001318: DUP2
00001319: LT
0000131a: PUSH2 0x1325
0000131d: JUMPI
0000131e: PUSH2 0x1325
00001321: PUSH2 0x3284
00001324: JUMP
00001325: JUMPDEST
00001326: PUSH1 0x20
00001328: MUL
00001329: PUSH1 0x20
0000132b: ADD
0000132c: ADD
0000132d: MLOAD
0000132e: PUSH1 0x01
00001330: PUSH1 0x01
00001332: PUSH1 0xa0
00001334: SHL
00001335: SUB
00001336: AND
00001337: PUSH1 0x01
00001339: PUSH1 0x01
0000133b: PUSH1 0xa0
0000133d: SHL
0000133e: SUB
0000133f: AND
00001340: DUP2
00001341: MSTORE
00001342: PUSH1 0x20
00001344: ADD
00001345: SWAP1
00001346: DUP2
00001347: MSTORE
00001348: PUSH1 0x20
0000134a: ADD
0000134b: PUSH1 0x00
0000134d: KECCAK256
0000134e: PUSH1 0x00
00001350: DUP3
00001351: DUP3
00001352: SLOAD
00001353: PUSH2 0x135c
00001356: SWAP2
00001357: SWAP1
00001358: PUSH2 0x319d
0000135b: JUMP
0000135c: JUMPDEST
0000135d: SWAP1
0000135e: SWAP2
0000135f: SSTORE
00001360: POP
00001361: POP
00001362: PUSH1 0x00
00001364: DUP5
00001365: DUP2
00001366: MSTORE
00001367: PUSH1 0x06
00001369: PUSH1 0x20
0000136b: MSTORE
0000136c: PUSH1 0x40
0000136e: DUP2
0000136f: KECCAK256
00001370: DUP1
00001371: SLOAD
00001372: PUSH1 0x01
00001374: SWAP3
00001375: SWAP1
00001376: PUSH2 0x1380
00001379: SWAP1
0000137a: DUP5
0000137b: SWAP1
0000137c: PUSH2 0x319d
0000137f: JUMP
00001380: JUMPDEST
00001381: SWAP1
00001382: SWAP2
00001383: SSTORE
00001384: POP
00001385: PUSH1 0x01
00001387: SWAP1
00001388: POP
00001389: PUSH1 0x09
0000138b: PUSH1 0x00
0000138d: PUSH2 0x1396
00001390: DUP5
00001391: DUP7
00001392: PUSH2 0x319d
00001395: JUMP
00001396: JUMPDEST
00001397: DUP2
00001398: MSTORE
00001399: PUSH1 0x20
0000139b: DUP2
0000139c: ADD
0000139d: SWAP2
0000139e: SWAP1
0000139f: SWAP2
000013a0: MSTORE
000013a1: PUSH1 0x40
000013a3: ADD
000013a4: PUSH1 0x00
000013a6: KECCAK256
000013a7: DUP1
000013a8: SLOAD
000013a9: PUSH1 0xff
000013ab: NOT
000013ac: AND
000013ad: SWAP2
000013ae: ISZERO
000013af: ISZERO
000013b0: SWAP2
000013b1: SWAP1
000013b2: SWAP2
000013b3: OR
000013b4: SWAP1
000013b5: SSTORE
000013b6: DUP1
000013b7: PUSH2 0x13bf
000013ba: DUP2
000013bb: PUSH2 0x3253
000013be: JUMP
000013bf: JUMPDEST
000013c0: SWAP2
000013c1: POP
000013c2: POP
000013c3: PUSH2 0x12b8
000013c6: JUMP
000013c7: JUMPDEST
000013c8: PUSH1 0x03
000013ca: SLOAD
000013cb: PUSH1 0x01
000013cd: PUSH1 0x01
000013cf: PUSH1 0xa0
000013d1: SHL
000013d2: SUB
000013d3: AND
000013d4: CALLER
000013d5: EQ
000013d6: PUSH2 0x140f
000013d9: JUMPI
000013da: PUSH1 0x40
000013dc: MLOAD
000013dd: PUSH3 0x461bcd
000013e1: PUSH1 0xe5
000013e3: SHL
000013e4: DUP2
000013e5: MSTORE
000013e6: PUSH1 0x20
000013e8: PUSH1 0x04
000013ea: DUP3
000013eb: ADD
000013ec: DUP2
000013ed: SWAP1
000013ee: MSTORE
000013ef: PUSH1 0x24
000013f1: DUP3
000013f2: ADD
000013f3: MSTORE
000013f4: PUSH1 0x00
000013f6: DUP1
000013f7: MLOAD
000013f8: PUSH1 0x20
000013fa: PUSH2 0x3381
000013fd: DUP4
000013fe: CODECOPY
000013ff: DUP2
00001400: MLOAD
00001401: SWAP2
00001402: MSTORE
00001403: PUSH1 0x44
00001405: DUP3
00001406: ADD
00001407: MSTORE
00001408: PUSH1 0x64
0000140a: ADD
0000140b: PUSH2 0x06f6
0000140e: JUMP
0000140f: JUMPDEST
00001410: PUSH1 0x00
00001412: JUMPDEST
00001413: DUP4
00001414: MLOAD
00001415: DUP2
00001416: LT
00001417: ISZERO
00001418: PUSH2 0x1451
0000141b: JUMPI
0000141c: PUSH2 0x143f
0000141f: DUP5
00001420: DUP3
00001421: DUP2
00001422: MLOAD
00001423: DUP2
00001424: LT
00001425: PUSH2 0x1430
00001428: JUMPI
00001429: PUSH2 0x1430
0000142c: PUSH2 0x3284
0000142f: JUMP
00001430: JUMPDEST
00001431: PUSH1 0x20
00001433: MUL
00001434: PUSH1 0x20
00001436: ADD
00001437: ADD
00001438: MLOAD
00001439: DUP5
0000143a: DUP5
0000143b: PUSH2 0x08a5
0000143e: JUMP
0000143f: JUMPDEST
00001440: DUP1
00001441: PUSH2 0x1449
00001444: DUP2
00001445: PUSH2 0x3253
00001448: JUMP
00001449: JUMPDEST
0000144a: SWAP2
0000144b: POP
0000144c: POP
0000144d: PUSH2 0x1412
00001450: JUMP
00001451: JUMPDEST
00001452: POP
00001453: POP
00001454: POP
00001455: POP
00001456: JUMP
00001457: JUMPDEST
00001458: PUSH1 0x0a
0000145a: SLOAD
0000145b: PUSH1 0xff
0000145d: PUSH2 0x0100
00001460: SWAP1
00001461: SWAP2
00001462: DIV
00001463: AND
00001464: ISZERO
00001465: ISZERO
00001466: PUSH1 0x01
00001468: EQ
00001469: PUSH2 0x14b4
0000146c: JUMPI
0000146d: PUSH1 0x40
0000146f: MLOAD
00001470: PUSH3 0x461bcd
00001474: PUSH1 0xe5
00001476: SHL
00001477: DUP2
00001478: MSTORE
00001479: PUSH1 0x20
0000147b: PUSH1 0x04
0000147d: DUP3
0000147e: ADD
0000147f: MSTORE
00001480: PUSH1 0x17
00001482: PUSH1 0x24
00001484: DUP3
00001485: ADD
00001486: MSTORE
00001487: PUSH32 0x4d696e74696e67206e6f7420656e61626c656420796574000000000000000000
000014a8: PUSH1 0x44
000014aa: DUP3
000014ab: ADD
000014ac: MSTORE
000014ad: PUSH1 0x64
000014af: ADD
000014b0: PUSH2 0x06f6
000014b3: JUMP
000014b4: JUMPDEST
000014b5: PUSH1 0x03
000014b7: SLOAD
000014b8: PUSH1 0x01
000014ba: PUSH1 0x01
000014bc: PUSH1 0xa0
000014be: SHL
000014bf: SUB
000014c0: AND
000014c1: CALLER
000014c2: EQ
000014c3: DUP1
000014c4: PUSH2 0x14d0
000014c7: JUMPI
000014c8: POP
000014c9: PUSH1 0x0a
000014cb: SLOAD
000014cc: PUSH1 0xff
000014ce: AND
000014cf: ISZERO
000014d0: JUMPDEST
000014d1: DUP1
000014d2: PUSH2 0x1500
000014d5: JUMPI
000014d6: POP
000014d7: PUSH1 0x0a
000014d9: SLOAD
000014da: PUSH1 0xff
000014dc: AND
000014dd: DUP1
000014de: ISZERO
000014df: PUSH2 0x1500
000014e2: JUMPI
000014e3: POP
000014e4: PUSH1 0x00
000014e6: DUP2
000014e7: DUP2
000014e8: MSTORE
000014e9: PUSH1 0x08
000014eb: PUSH1 0x20
000014ed: SWAP1
000014ee: DUP2
000014ef: MSTORE
000014f0: PUSH1 0x40
000014f2: DUP1
000014f3: DUP4
000014f4: KECCAK256
000014f5: CALLER
000014f6: DUP5
000014f7: MSTORE
000014f8: SWAP1
000014f9: SWAP2
000014fa: MSTORE
000014fb: SWAP1
000014fc: KECCAK256
000014fd: SLOAD
000014fe: ISZERO
000014ff: ISZERO
00001500: JUMPDEST
00001501: PUSH2 0x1572
00001504: JUMPI
00001505: PUSH1 0x40
00001507: MLOAD
00001508: PUSH3 0x461bcd
0000150c: PUSH1 0xe5
0000150e: SHL
0000150f: DUP2
00001510: MSTORE
00001511: PUSH1 0x20
00001513: PUSH1 0x04
00001515: DUP3
00001516: ADD
00001517: MSTORE
00001518: PUSH1 0x26
0000151a: PUSH1 0x24
0000151c: DUP3
0000151d: ADD
0000151e: MSTORE
0000151f: PUSH32 0x596f75206d757374206265206f6e2074686520616c6c6f77206c69737420746f
00001540: PUSH1 0x44
00001542: DUP3
00001543: ADD
00001544: MSTORE
00001545: PUSH32 0x206d696e742e0000000000000000000000000000000000000000000000000000
00001566: PUSH1 0x64
00001568: DUP3
00001569: ADD
0000156a: MSTORE
0000156b: PUSH1 0x84
0000156d: ADD
0000156e: PUSH2 0x06f6
00001571: JUMP
00001572: JUMPDEST
00001573: PUSH1 0x00
00001575: DUP2
00001576: DUP2
00001577: MSTORE
00001578: PUSH1 0x05
0000157a: PUSH1 0x20
0000157c: MSTORE
0000157d: PUSH1 0x40
0000157f: SWAP1
00001580: KECCAK256
00001581: SLOAD
00001582: CALLVALUE
00001583: LT
00001584: ISZERO
00001585: PUSH2 0x15d0
00001588: JUMPI
00001589: PUSH1 0x40
0000158b: MLOAD
0000158c: PUSH3 0x461bcd
00001590: PUSH1 0xe5
00001592: SHL
00001593: DUP2
00001594: MSTORE
00001595: PUSH1 0x20
00001597: PUSH1 0x04
00001599: DUP3
0000159a: ADD
0000159b: MSTORE
0000159c: PUSH1 0x1e
0000159e: PUSH1 0x24
000015a0: DUP3
000015a1: ADD
000015a2: MSTORE
000015a3: PUSH32 0x4e6f7420656e6f75676820657468657220746f20636f76657220636f73740000
000015c4: PUSH1 0x44
000015c6: DUP3
000015c7: ADD
000015c8: MSTORE
000015c9: PUSH1 0x64
000015cb: ADD
000015cc: PUSH2 0x06f6
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH1 0x02
000015d3: DUP2
000015d4: GT
000015d5: ISZERO
000015d6: PUSH2 0x1610
000015d9: JUMPI
000015da: PUSH1 0x40
000015dc: MLOAD
000015dd: PUSH3 0x461bcd
000015e1: PUSH1 0xe5
000015e3: SHL
000015e4: DUP2
000015e5: MSTORE
000015e6: PUSH1 0x20
000015e8: PUSH1 0x04
000015ea: DUP3
000015eb: ADD
000015ec: MSTORE
000015ed: PUSH1 0x0c
000015ef: PUSH1 0x24
000015f1: DUP3
000015f2: ADD
000015f3: MSTORE
000015f4: PUSH12 0x496e76616c69642074797065
00001601: PUSH1 0xa0
00001603: SHL
00001604: PUSH1 0x44
00001606: DUP3
00001607: ADD
00001608: MSTORE
00001609: PUSH1 0x64
0000160b: ADD
0000160c: PUSH2 0x06f6
0000160f: JUMP
00001610: JUMPDEST
00001611: PUSH1 0x00
00001613: DUP2
00001614: DUP2
00001615: MSTORE
00001616: PUSH1 0x06
00001618: PUSH1 0x20
0000161a: MSTORE
0000161b: PUSH1 0x40
0000161d: SWAP1
0000161e: KECCAK256
0000161f: SLOAD
00001620: PUSH1 0x64
00001622: LT
00001623: ISZERO
00001624: PUSH2 0x167f
00001627: JUMPI
00001628: PUSH1 0x40
0000162a: MLOAD
0000162b: PUSH3 0x461bcd
0000162f: PUSH1 0xe5
00001631: SHL
00001632: DUP2
00001633: MSTORE
00001634: PUSH1 0x20
00001636: PUSH1 0x04
00001638: DUP3
00001639: ADD
0000163a: MSTORE
0000163b: PUSH1 0x27
0000163d: PUSH1 0x24
0000163f: DUP3
00001640: ADD
00001641: MSTORE
00001642: PUSH32 0x4e6f7420656e6f756768206c65667420746f206d696e742074686174206d616e
00001663: PUSH1 0x44
00001665: DUP3
00001666: ADD
00001667: MSTORE
00001668: PUSH7 0x79206974656d73
00001670: PUSH1 0xc8
00001672: SHL
00001673: PUSH1 0x64
00001675: DUP3
00001676: ADD
00001677: MSTORE
00001678: PUSH1 0x84
0000167a: ADD
0000167b: PUSH2 0x06f6
0000167e: JUMP
0000167f: JUMPDEST
00001680: PUSH1 0x00
00001682: PUSH2 0x168a
00001685: DUP3
00001686: PUSH2 0x1e28
00001689: JUMP
0000168a: JUMPDEST
0000168b: PUSH1 0x00
0000168d: DUP2
0000168e: DUP2
0000168f: MSTORE
00001690: PUSH1 0x09
00001692: PUSH1 0x20
00001694: MSTORE
00001695: PUSH1 0x40
00001697: SWAP1
00001698: KECCAK256
00001699: SLOAD
0000169a: SWAP1
0000169b: SWAP2
0000169c: POP
0000169d: PUSH1 0xff
0000169f: AND
000016a0: ISZERO
000016a1: PUSH2 0x16ec
000016a4: JUMPI
000016a5: PUSH1 0x40
000016a7: MLOAD
000016a8: PUSH3 0x461bcd
000016ac: PUSH1 0xe5
000016ae: SHL
000016af: DUP2
000016b0: MSTORE
000016b1: PUSH1 0x20
000016b3: PUSH1 0x04
000016b5: DUP3
000016b6: ADD
000016b7: MSTORE
000016b8: PUSH1 0x18
000016ba: PUSH1 0x24
000016bc: DUP3
000016bd: ADD
000016be: MSTORE
000016bf: PUSH32 0x416c7265616479206d696e7465642074686174206f6e652e0000000000000000
000016e0: PUSH1 0x44
000016e2: DUP3
000016e3: ADD
000016e4: MSTORE
000016e5: PUSH1 0x64
000016e7: ADD
000016e8: PUSH2 0x06f6
000016eb: JUMP
000016ec: JUMPDEST
000016ed: PUSH2 0x1708
000016f0: CALLER
000016f1: DUP3
000016f2: PUSH1 0x01
000016f4: PUSH1 0x40
000016f6: MLOAD
000016f7: DUP1
000016f8: PUSH1 0x20
000016fa: ADD
000016fb: PUSH1 0x40
000016fd: MSTORE
000016fe: DUP1
000016ff: PUSH1 0x00
00001701: DUP2
00001702: MSTORE
00001703: POP
00001704: PUSH2 0x1e4e
00001707: JUMP
00001708: JUMPDEST
00001709: PUSH1 0x00
0000170b: DUP3
0000170c: DUP2
0000170d: MSTORE
0000170e: PUSH1 0x08
00001710: PUSH1 0x20
00001712: SWAP1
00001713: DUP2
00001714: MSTORE
00001715: PUSH1 0x40
00001717: DUP1
00001718: DUP4
00001719: KECCAK256
0000171a: CALLER
0000171b: DUP5
0000171c: MSTORE
0000171d: SWAP1
0000171e: SWAP2
0000171f: MSTORE
00001720: SWAP1
00001721: KECCAK256
00001722: SLOAD
00001723: ISZERO
00001724: PUSH2 0x1757
00001727: JUMPI
00001728: PUSH1 0x00
0000172a: DUP3
0000172b: DUP2
0000172c: MSTORE
0000172d: PUSH1 0x08
0000172f: PUSH1 0x20
00001731: SWAP1
00001732: DUP2
00001733: MSTORE
00001734: PUSH1 0x40
00001736: DUP1
00001737: DUP4
00001738: KECCAK256
00001739: CALLER
0000173a: DUP5
0000173b: MSTORE
0000173c: SWAP1
0000173d: SWAP2
0000173e: MSTORE
0000173f: DUP2
00001740: KECCAK256
00001741: DUP1
00001742: SLOAD
00001743: PUSH1 0x01
00001745: SWAP3
00001746: SWAP1
00001747: PUSH2 0x1751
0000174a: SWAP1
0000174b: DUP5
0000174c: SWAP1
0000174d: PUSH2 0x31d4
00001750: JUMP
00001751: JUMPDEST
00001752: SWAP1
00001753: SWAP2
00001754: SSTORE
00001755: POP
00001756: POP
00001757: JUMPDEST
00001758: PUSH1 0x00
0000175a: DUP3
0000175b: DUP2
0000175c: MSTORE
0000175d: PUSH1 0x07
0000175f: PUSH1 0x20
00001761: SWAP1
00001762: DUP2
00001763: MSTORE
00001764: PUSH1 0x40
00001766: DUP1
00001767: DUP4
00001768: KECCAK256
00001769: CALLER
0000176a: DUP5
0000176b: MSTORE
0000176c: SWAP1
0000176d: SWAP2
0000176e: MSTORE
0000176f: DUP2
00001770: KECCAK256
00001771: DUP1
00001772: SLOAD
00001773: PUSH1 0x01
00001775: SWAP3
00001776: SWAP1
00001777: PUSH2 0x1781
0000177a: SWAP1
0000177b: DUP5
0000177c: SWAP1
0000177d: PUSH2 0x319d
00001780: JUMP
00001781: JUMPDEST
00001782: SWAP1
00001783: SWAP2
00001784: SSTORE
00001785: POP
00001786: POP
00001787: PUSH1 0x00
00001789: DUP3
0000178a: DUP2
0000178b: MSTORE
0000178c: PUSH1 0x06
0000178e: PUSH1 0x20
00001790: MSTORE
00001791: PUSH1 0x40
00001793: DUP2
00001794: KECCAK256
00001795: DUP1
00001796: SLOAD
00001797: PUSH1 0x01
00001799: SWAP3
0000179a: SWAP1
0000179b: PUSH2 0x17a5
0000179e: SWAP1
0000179f: DUP5
000017a0: SWAP1
000017a1: PUSH2 0x319d
000017a4: JUMP
000017a5: JUMPDEST
000017a6: SWAP1
000017a7: SWAP2
000017a8: SSTORE
000017a9: POP
000017aa: POP
000017ab: PUSH1 0x00
000017ad: SWAP1
000017ae: DUP2
000017af: MSTORE
000017b0: PUSH1 0x09
000017b2: PUSH1 0x20
000017b4: MSTORE
000017b5: PUSH1 0x40
000017b7: SWAP1
000017b8: KECCAK256
000017b9: DUP1
000017ba: SLOAD
000017bb: PUSH1 0xff
000017bd: NOT
000017be: AND
000017bf: PUSH1 0x01
000017c1: OR
000017c2: SWAP1
000017c3: SSTORE
000017c4: POP
000017c5: JUMP
000017c6: JUMPDEST
000017c7: PUSH1 0x60
000017c9: PUSH1 0x0b
000017cb: DUP1
000017cc: SLOAD
000017cd: PUSH2 0x17d5
000017d0: SWAP1
000017d1: PUSH2 0x31eb
000017d4: JUMP
000017d5: JUMPDEST
000017d6: DUP1
000017d7: PUSH1 0x1f
000017d9: ADD
000017da: PUSH1 0x20
000017dc: DUP1
000017dd: SWAP2
000017de: DIV
000017df: MUL
000017e0: PUSH1 0x20
000017e2: ADD
000017e3: PUSH1 0x40
000017e5: MLOAD
000017e6: SWAP1
000017e7: DUP2
000017e8: ADD
000017e9: PUSH1 0x40
000017eb: MSTORE
000017ec: DUP1
000017ed: SWAP3
000017ee: SWAP2
000017ef: SWAP1
000017f0: DUP2
000017f1: DUP2
000017f2: MSTORE
000017f3: PUSH1 0x20
000017f5: ADD
000017f6: DUP3
000017f7: DUP1
000017f8: SLOAD
000017f9: PUSH2 0x1801
000017fc: SWAP1
000017fd: PUSH2 0x31eb
00001800: JUMP
00001801: JUMPDEST
00001802: DUP1
00001803: ISZERO
00001804: PUSH2 0x184e
00001807: JUMPI
00001808: DUP1
00001809: PUSH1 0x1f
0000180b: LT
0000180c: PUSH2 0x1823
0000180f: JUMPI
00001810: PUSH2 0x0100
00001813: DUP1
00001814: DUP4
00001815: SLOAD
00001816: DIV
00001817: MUL
00001818: DUP4
00001819: MSTORE
0000181a: SWAP2
0000181b: PUSH1 0x20
0000181d: ADD
0000181e: SWAP2
0000181f: PUSH2 0x184e
00001822: JUMP
00001823: JUMPDEST
00001824: DUP3
00001825: ADD
00001826: SWAP2
00001827: SWAP1
00001828: PUSH1 0x00
0000182a: MSTORE
0000182b: PUSH1 0x20
0000182d: PUSH1 0x00
0000182f: KECCAK256
00001830: SWAP1
00001831: JUMPDEST
00001832: DUP2
00001833: SLOAD
00001834: DUP2
00001835: MSTORE
00001836: SWAP1
00001837: PUSH1 0x01
00001839: ADD
0000183a: SWAP1
0000183b: PUSH1 0x20
0000183d: ADD
0000183e: DUP1
0000183f: DUP4
00001840: GT
00001841: PUSH2 0x1831
00001844: JUMPI
00001845: DUP3
00001846: SWAP1
00001847: SUB
00001848: PUSH1 0x1f
0000184a: AND
0000184b: DUP3
0000184c: ADD
0000184d: SWAP2
0000184e: JUMPDEST
0000184f: POP
00001850: POP
00001851: POP
00001852: POP
00001853: POP
00001854: SWAP1
00001855: POP
00001856: SWAP1
00001857: JUMP
00001858: JUMPDEST
00001859: PUSH1 0x04
0000185b: DUP1
0000185c: SLOAD
0000185d: PUSH1 0x40
0000185f: MLOAD
00001860: PUSH32 0xc455279100000000000000000000000000000000000000000000000000000000
00001881: DUP2
00001882: MSTORE
00001883: PUSH1 0x01
00001885: PUSH1 0x01
00001887: PUSH1 0xa0
00001889: SHL
0000188a: SUB
0000188b: DUP6
0000188c: DUP2
0000188d: AND
0000188e: SWAP4
0000188f: DUP3
00001890: ADD
00001891: SWAP4
00001892: SWAP1
00001893: SWAP4
00001894: MSTORE
00001895: PUSH1 0x00
00001897: SWAP3
00001898: SWAP2
00001899: DUP3
0000189a: AND
0000189b: SWAP2
0000189c: DUP5
0000189d: AND
0000189e: SWAP1
0000189f: DUP3
000018a0: SWAP1
000018a1: PUSH4 0xc4552791
000018a6: SWAP1
000018a7: PUSH1 0x24
000018a9: ADD
000018aa: PUSH1 0x20
000018ac: PUSH1 0x40
000018ae: MLOAD
000018af: DUP1
000018b0: DUP4
000018b1: SUB
000018b2: DUP2
000018b3: DUP7
000018b4: DUP1
000018b5: EXTCODESIZE
000018b6: ISZERO
000018b7: DUP1
000018b8: ISZERO
000018b9: PUSH2 0x18c1
000018bc: JUMPI
000018bd: PUSH1 0x00
000018bf: DUP1
000018c0: REVERT
000018c1: JUMPDEST
000018c2: POP
000018c3: GAS
000018c4: STATICCALL
000018c5: ISZERO
000018c6: DUP1
000018c7: ISZERO
000018c8: PUSH2 0x18d5
000018cb: JUMPI
000018cc: RETURNDATASIZE
000018cd: PUSH1 0x00
000018cf: DUP1
000018d0: RETURNDATACOPY
000018d1: RETURNDATASIZE
000018d2: PUSH1 0x00
000018d4: REVERT
000018d5: JUMPDEST
000018d6: POP
000018d7: POP
000018d8: POP
000018d9: POP
000018da: PUSH1 0x40
000018dc: MLOAD
000018dd: RETURNDATASIZE
000018de: PUSH1 0x1f
000018e0: NOT
000018e1: PUSH1 0x1f
000018e3: DUP3
000018e4: ADD
000018e5: AND
000018e6: DUP3
000018e7: ADD
000018e8: DUP1
000018e9: PUSH1 0x40
000018eb: MSTORE
000018ec: POP
000018ed: DUP2
000018ee: ADD
000018ef: SWAP1
000018f0: PUSH2 0x18f9
000018f3: SWAP2
000018f4: SWAP1
000018f5: PUSH2 0x2f36
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH1 0x01
000018fc: PUSH1 0x01
000018fe: PUSH1 0xa0
00001900: SHL
00001901: SUB
00001902: AND
00001903: EQ
00001904: ISZERO
00001905: PUSH2 0x1912
00001908: JUMPI
00001909: PUSH1 0x01
0000190b: SWAP2
0000190c: POP
0000190d: POP
0000190e: PUSH2 0x0722
00001911: JUMP
00001912: JUMPDEST
00001913: PUSH1 0x01
00001915: PUSH1 0x01
00001917: PUSH1 0xa0
00001919: SHL
0000191a: SUB
0000191b: DUP1
0000191c: DUP6
0000191d: AND
0000191e: PUSH1 0x00
00001920: SWAP1
00001921: DUP2
00001922: MSTORE
00001923: PUSH1 0x01
00001925: PUSH1 0x20
00001927: SWAP1
00001928: DUP2
00001929: MSTORE
0000192a: PUSH1 0x40
0000192c: DUP1
0000192d: DUP4
0000192e: KECCAK256
0000192f: SWAP4
00001930: DUP8
00001931: AND
00001932: DUP4
00001933: MSTORE
00001934: SWAP3
00001935: SWAP1
00001936: MSTORE
00001937: KECCAK256
00001938: SLOAD
00001939: PUSH1 0xff
0000193b: AND
0000193c: JUMPDEST
0000193d: SWAP5
0000193e: SWAP4
0000193f: POP
00001940: POP
00001941: POP
00001942: POP
00001943: JUMP
00001944: JUMPDEST
00001945: PUSH1 0x01
00001947: PUSH1 0x01
00001949: PUSH1 0xa0
0000194b: SHL
0000194c: SUB
0000194d: DUP6
0000194e: AND
0000194f: CALLER
00001950: EQ
00001951: DUP1
00001952: PUSH2 0x1960
00001955: JUMPI
00001956: POP
00001957: PUSH2 0x1960
0000195a: DUP6
0000195b: CALLER
0000195c: PUSH2 0x1858
0000195f: JUMP
00001960: JUMPDEST
00001961: PUSH2 0x19be
00001964: JUMPI
00001965: PUSH1 0x40
00001967: MLOAD
00001968: PUSH3 0x461bcd
0000196c: PUSH1 0xe5
0000196e: SHL
0000196f: DUP2
00001970: MSTORE
00001971: PUSH1 0x20
00001973: PUSH1 0x04
00001975: DUP3
00001976: ADD
00001977: MSTORE
00001978: PUSH1 0x29
0000197a: PUSH1 0x24
0000197c: DUP3
0000197d: ADD
0000197e: MSTORE
0000197f: PUSH32 0x455243313135353a2063616c6c6572206973206e6f74206f776e6572206e6f72
000019a0: PUSH1 0x44
000019a2: DUP3
000019a3: ADD
000019a4: MSTORE
000019a5: PUSH9 0x08185c1c1c9bdd9959
000019af: PUSH1 0xba
000019b1: SHL
000019b2: PUSH1 0x64
000019b4: DUP3
000019b5: ADD
000019b6: MSTORE
000019b7: PUSH1 0x84
000019b9: ADD
000019ba: PUSH2 0x06f6
000019bd: JUMP
000019be: JUMPDEST
000019bf: PUSH2 0x0aec
000019c2: DUP6
000019c3: DUP6
000019c4: DUP6
000019c5: DUP6
000019c6: DUP6
000019c7: PUSH2 0x22fd
000019ca: JUMP
000019cb: JUMPDEST
000019cc: PUSH1 0x03
000019ce: SLOAD
000019cf: PUSH1 0x01
000019d1: PUSH1 0x01
000019d3: PUSH1 0xa0
000019d5: SHL
000019d6: SUB
000019d7: AND
000019d8: CALLER
000019d9: EQ
000019da: PUSH2 0x1a13
000019dd: JUMPI
000019de: PUSH1 0x40
000019e0: MLOAD
000019e1: PUSH3 0x461bcd
000019e5: PUSH1 0xe5
000019e7: SHL
000019e8: DUP2
000019e9: MSTORE
000019ea: PUSH1 0x20
000019ec: PUSH1 0x04
000019ee: DUP3
000019ef: ADD
000019f0: DUP2
000019f1: SWAP1
000019f2: MSTORE
000019f3: PUSH1 0x24
000019f5: DUP3
000019f6: ADD
000019f7: MSTORE
000019f8: PUSH1 0x00
000019fa: DUP1
000019fb: MLOAD
000019fc: PUSH1 0x20
000019fe: PUSH2 0x3381
00001a01: DUP4
00001a02: CODECOPY
00001a03: DUP2
00001a04: MLOAD
00001a05: SWAP2
00001a06: MSTORE
00001a07: PUSH1 0x44
00001a09: DUP3
00001a0a: ADD
00001a0b: MSTORE
00001a0c: PUSH1 0x64
00001a0e: ADD
00001a0f: PUSH2 0x06f6
00001a12: JUMP
00001a13: JUMPDEST
00001a14: PUSH1 0x01
00001a16: PUSH1 0x01
00001a18: PUSH1 0xa0
00001a1a: SHL
00001a1b: SUB
00001a1c: DUP2
00001a1d: AND
00001a1e: PUSH2 0x1a8f
00001a21: JUMPI
00001a22: PUSH1 0x40
00001a24: MLOAD
00001a25: PUSH3 0x461bcd
00001a29: PUSH1 0xe5
00001a2b: SHL
00001a2c: DUP2
00001a2d: MSTORE
00001a2e: PUSH1 0x20
00001a30: PUSH1 0x04
00001a32: DUP3
00001a33: ADD
00001a34: MSTORE
00001a35: PUSH1 0x26
00001a37: PUSH1 0x24
00001a39: DUP3
00001a3a: ADD
00001a3b: MSTORE
00001a3c: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001a5d: PUSH1 0x44
00001a5f: DUP3
00001a60: ADD
00001a61: MSTORE
00001a62: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001a83: PUSH1 0x64
00001a85: DUP3
00001a86: ADD
00001a87: MSTORE
00001a88: PUSH1 0x84
00001a8a: ADD
00001a8b: PUSH2 0x06f6
00001a8e: JUMP
00001a8f: JUMPDEST
00001a90: PUSH2 0x0814
00001a93: DUP2
00001a94: PUSH2 0x21a9
00001a97: JUMP
00001a98: JUMPDEST
00001a99: PUSH1 0x01
00001a9b: PUSH1 0x01
00001a9d: PUSH1 0xa0
00001a9f: SHL
00001aa0: SUB
00001aa1: DUP4
00001aa2: AND
00001aa3: CALLER
00001aa4: EQ
00001aa5: DUP1
00001aa6: PUSH2 0x1ab4
00001aa9: JUMPI
00001aaa: POP
00001aab: PUSH2 0x1ab4
00001aae: DUP4
00001aaf: CALLER
00001ab0: PUSH2 0x1858
00001ab3: JUMP
00001ab4: JUMPDEST
00001ab5: PUSH2 0x1b12
00001ab8: JUMPI
00001ab9: PUSH1 0x40
00001abb: MLOAD
00001abc: PUSH3 0x461bcd
00001ac0: PUSH1 0xe5
00001ac2: SHL
00001ac3: DUP2
00001ac4: MSTORE
00001ac5: PUSH1 0x20
00001ac7: PUSH1 0x04
00001ac9: DUP3
00001aca: ADD
00001acb: MSTORE
00001acc: PUSH1 0x29
00001ace: PUSH1 0x24
00001ad0: DUP3
00001ad1: ADD
00001ad2: MSTORE
00001ad3: PUSH32 0x455243313135353a2063616c6c6572206973206e6f74206f776e6572206e6f72
00001af4: PUSH1 0x44
00001af6: DUP3
00001af7: ADD
00001af8: MSTORE
00001af9: PUSH9 0x08185c1c1c9bdd9959
00001b03: PUSH1 0xba
00001b05: SHL
00001b06: PUSH1 0x64
00001b08: DUP3
00001b09: ADD
00001b0a: MSTORE
00001b0b: PUSH1 0x84
00001b0d: ADD
00001b0e: PUSH2 0x06f6
00001b11: JUMP
00001b12: JUMPDEST
00001b13: PUSH2 0x0956
00001b16: DUP4
00001b17: DUP4
00001b18: DUP4
00001b19: PUSH2 0x249b
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: PUSH1 0x03
00001b20: SLOAD
00001b21: PUSH1 0x01
00001b23: PUSH1 0x01
00001b25: PUSH1 0xa0
00001b27: SHL
00001b28: SUB
00001b29: AND
00001b2a: CALLER
00001b2b: EQ
00001b2c: PUSH2 0x1b65
00001b2f: JUMPI
00001b30: PUSH1 0x40
00001b32: MLOAD
00001b33: PUSH3 0x461bcd
00001b37: PUSH1 0xe5
00001b39: SHL
00001b3a: DUP2
00001b3b: MSTORE
00001b3c: PUSH1 0x20
00001b3e: PUSH1 0x04
00001b40: DUP3
00001b41: ADD
00001b42: DUP2
00001b43: SWAP1
00001b44: MSTORE
00001b45: PUSH1 0x24
00001b47: DUP3
00001b48: ADD
00001b49: MSTORE
00001b4a: PUSH1 0x00
00001b4c: DUP1
00001b4d: MLOAD
00001b4e: PUSH1 0x20
00001b50: PUSH2 0x3381
00001b53: DUP4
00001b54: CODECOPY
00001b55: DUP2
00001b56: MLOAD
00001b57: SWAP2
00001b58: MSTORE
00001b59: PUSH1 0x44
00001b5b: DUP3
00001b5c: ADD
00001b5d: MSTORE
00001b5e: PUSH1 0x64
00001b60: ADD
00001b61: PUSH2 0x06f6
00001b64: JUMP
00001b65: JUMPDEST
00001b66: PUSH1 0x02
00001b68: DUP3
00001b69: GT
00001b6a: ISZERO
00001b6b: PUSH2 0x1ba5
00001b6e: JUMPI
00001b6f: PUSH1 0x40
00001b71: MLOAD
00001b72: PUSH3 0x461bcd
00001b76: PUSH1 0xe5
00001b78: SHL
00001b79: DUP2
00001b7a: MSTORE
00001b7b: PUSH1 0x20
00001b7d: PUSH1 0x04
00001b7f: DUP3
00001b80: ADD
00001b81: MSTORE
00001b82: PUSH1 0x0c
00001b84: PUSH1 0x24
00001b86: DUP3
00001b87: ADD
00001b88: MSTORE
00001b89: PUSH12 0x496e76616c69642074797065
00001b96: PUSH1 0xa0
00001b98: SHL
00001b99: PUSH1 0x44
00001b9b: DUP3
00001b9c: ADD
00001b9d: MSTORE
00001b9e: PUSH1 0x64
00001ba0: ADD
00001ba1: PUSH2 0x06f6
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: PUSH1 0x00
00001ba8: SWAP2
00001ba9: DUP3
00001baa: MSTORE
00001bab: PUSH1 0x05
00001bad: PUSH1 0x20
00001baf: MSTORE
00001bb0: PUSH1 0x40
00001bb2: SWAP1
00001bb3: SWAP2
00001bb4: KECCAK256
00001bb5: SSTORE
00001bb6: JUMP
00001bb7: JUMPDEST
00001bb8: DUP1
00001bb9: MLOAD
00001bba: PUSH2 0x0b6a
00001bbd: SWAP1
00001bbe: PUSH1 0x02
00001bc0: SWAP1
00001bc1: PUSH1 0x20
00001bc3: DUP5
00001bc4: ADD
00001bc5: SWAP1
00001bc6: PUSH2 0x2920
00001bc9: JUMP
00001bca: JUMPDEST
00001bcb: DUP2
00001bcc: MLOAD
00001bcd: DUP4
00001bce: MLOAD
00001bcf: EQ
00001bd0: PUSH2 0x1c2c
00001bd3: JUMPI
00001bd4: PUSH1 0x40
00001bd6: MLOAD
00001bd7: PUSH3 0x461bcd
00001bdb: PUSH1 0xe5
00001bdd: SHL
00001bde: DUP2
00001bdf: MSTORE
00001be0: PUSH1 0x20
00001be2: PUSH1 0x04
00001be4: DUP3
00001be5: ADD
00001be6: MSTORE
00001be7: PUSH1 0x28
00001be9: PUSH1 0x24
00001beb: DUP3
00001bec: ADD
00001bed: MSTORE
00001bee: PUSH32 0x455243313135353a2069647320616e6420616d6f756e7473206c656e67746820
00001c0f: PUSH1 0x44
00001c11: DUP3
00001c12: ADD
00001c13: MSTORE
00001c14: PUSH8 0x0dad2e6dac2e8c6d
00001c1d: PUSH1 0xc3
00001c1f: SHL
00001c20: PUSH1 0x64
00001c22: DUP3
00001c23: ADD
00001c24: MSTORE
00001c25: PUSH1 0x84
00001c27: ADD
00001c28: PUSH2 0x06f6
00001c2b: JUMP
00001c2c: JUMPDEST
00001c2d: PUSH1 0x01
00001c2f: PUSH1 0x01
00001c31: PUSH1 0xa0
00001c33: SHL
00001c34: SUB
00001c35: DUP5
00001c36: AND
00001c37: PUSH2 0x1c90
00001c3a: JUMPI
00001c3b: PUSH1 0x40
00001c3d: MLOAD
00001c3e: PUSH3 0x461bcd
00001c42: PUSH1 0xe5
00001c44: SHL
00001c45: DUP2
00001c46: MSTORE
00001c47: PUSH1 0x20
00001c49: PUSH1 0x04
00001c4b: DUP3
00001c4c: ADD
00001c4d: MSTORE
00001c4e: PUSH1 0x25
00001c50: PUSH1 0x24
00001c52: DUP3
00001c53: ADD
00001c54: MSTORE
00001c55: PUSH32 0x455243313135353a207472616e7366657220746f20746865207a65726f206164
00001c76: PUSH1 0x44
00001c78: DUP3
00001c79: ADD
00001c7a: MSTORE
00001c7b: PUSH5 0x6472657373
00001c81: PUSH1 0xd8
00001c83: SHL
00001c84: PUSH1 0x64
00001c86: DUP3
00001c87: ADD
00001c88: MSTORE
00001c89: PUSH1 0x84
00001c8b: ADD
00001c8c: PUSH2 0x06f6
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: CALLER
00001c92: PUSH1 0x00
00001c94: JUMPDEST
00001c95: DUP5
00001c96: MLOAD
00001c97: DUP2
00001c98: LT
00001c99: ISZERO
00001c9a: PUSH2 0x1dba
00001c9d: JUMPI
00001c9e: PUSH1 0x00
00001ca0: DUP6
00001ca1: DUP3
00001ca2: DUP2
00001ca3: MLOAD
00001ca4: DUP2
00001ca5: LT
00001ca6: PUSH2 0x1cb1
00001ca9: JUMPI
00001caa: PUSH2 0x1cb1
00001cad: PUSH2 0x3284
00001cb0: JUMP
00001cb1: JUMPDEST
00001cb2: PUSH1 0x20
00001cb4: MUL
00001cb5: PUSH1 0x20
00001cb7: ADD
00001cb8: ADD
00001cb9: MLOAD
00001cba: SWAP1
00001cbb: POP
00001cbc: PUSH1 0x00
00001cbe: DUP6
00001cbf: DUP4
00001cc0: DUP2
00001cc1: MLOAD
00001cc2: DUP2
00001cc3: LT
00001cc4: PUSH2 0x1ccf
00001cc7: JUMPI
00001cc8: PUSH2 0x1ccf
00001ccb: PUSH2 0x3284
00001cce: JUMP
00001ccf: JUMPDEST
00001cd0: PUSH1 0x20
00001cd2: SWAP1
00001cd3: DUP2
00001cd4: MUL
00001cd5: SWAP2
00001cd6: SWAP1
00001cd7: SWAP2
00001cd8: ADD
00001cd9: DUP2
00001cda: ADD
00001cdb: MLOAD
00001cdc: PUSH1 0x00
00001cde: DUP5
00001cdf: DUP2
00001ce0: MSTORE
00001ce1: DUP1
00001ce2: DUP4
00001ce3: MSTORE
00001ce4: PUSH1 0x40
00001ce6: DUP1
00001ce7: DUP3
00001ce8: KECCAK256
00001ce9: PUSH1 0x01
00001ceb: PUSH1 0x01
00001ced: PUSH1 0xa0
00001cef: SHL
00001cf0: SUB
00001cf1: DUP15
00001cf2: AND
00001cf3: DUP4
00001cf4: MSTORE
00001cf5: SWAP1
00001cf6: SWAP4
00001cf7: MSTORE
00001cf8: SWAP2
00001cf9: SWAP1
00001cfa: SWAP2
00001cfb: KECCAK256
00001cfc: SLOAD
00001cfd: SWAP1
00001cfe: SWAP2
00001cff: POP
00001d00: DUP2
00001d01: DUP2
00001d02: LT
00001d03: ISZERO
00001d04: PUSH2 0x1d62
00001d07: JUMPI
00001d08: PUSH1 0x40
00001d0a: MLOAD
00001d0b: PUSH3 0x461bcd
00001d0f: PUSH1 0xe5
00001d11: SHL
00001d12: DUP2
00001d13: MSTORE
00001d14: PUSH1 0x20
00001d16: PUSH1 0x04
00001d18: DUP3
00001d19: ADD
00001d1a: MSTORE
00001d1b: PUSH1 0x2a
00001d1d: PUSH1 0x24
00001d1f: DUP3
00001d20: ADD
00001d21: MSTORE
00001d22: PUSH32 0x455243313135353a20696e73756666696369656e742062616c616e636520666f
00001d43: PUSH1 0x44
00001d45: DUP3
00001d46: ADD
00001d47: MSTORE
00001d48: PUSH10 0x39103a3930b739b332b9
00001d53: PUSH1 0xb1
00001d55: SHL
00001d56: PUSH1 0x64
00001d58: DUP3
00001d59: ADD
00001d5a: MSTORE
00001d5b: PUSH1 0x84
00001d5d: ADD
00001d5e: PUSH2 0x06f6
00001d61: JUMP
00001d62: JUMPDEST
00001d63: PUSH1 0x00
00001d65: DUP4
00001d66: DUP2
00001d67: MSTORE
00001d68: PUSH1 0x20
00001d6a: DUP2
00001d6b: DUP2
00001d6c: MSTORE
00001d6d: PUSH1 0x40
00001d6f: DUP1
00001d70: DUP4
00001d71: KECCAK256
00001d72: PUSH1 0x01
00001d74: PUSH1 0x01
00001d76: PUSH1 0xa0
00001d78: SHL
00001d79: SUB
00001d7a: DUP15
00001d7b: DUP2
00001d7c: AND
00001d7d: DUP6
00001d7e: MSTORE
00001d7f: SWAP3
00001d80: MSTORE
00001d81: DUP1
00001d82: DUP4
00001d83: KECCAK256
00001d84: DUP6
00001d85: DUP6
00001d86: SUB
00001d87: SWAP1
00001d88: SSTORE
00001d89: SWAP1
00001d8a: DUP12
00001d8b: AND
00001d8c: DUP3
00001d8d: MSTORE
00001d8e: DUP2
00001d8f: KECCAK256
00001d90: DUP1
00001d91: SLOAD
00001d92: DUP5
00001d93: SWAP3
00001d94: SWAP1
00001d95: PUSH2 0x1d9f
00001d98: SWAP1
00001d99: DUP5
00001d9a: SWAP1
00001d9b: PUSH2 0x319d
00001d9e: JUMP
00001d9f: JUMPDEST
00001da0: SWAP3
00001da1: POP
00001da2: POP
00001da3: DUP2
00001da4: SWAP1
00001da5: SSTORE
00001da6: POP
00001da7: POP
00001da8: POP
00001da9: POP
00001daa: DUP1
00001dab: PUSH2 0x1db3
00001dae: SWAP1
00001daf: PUSH2 0x3253
00001db2: JUMP
00001db3: JUMPDEST
00001db4: SWAP1
00001db5: POP
00001db6: PUSH2 0x1c94
00001db9: JUMP
00001dba: JUMPDEST
00001dbb: POP
00001dbc: DUP5
00001dbd: PUSH1 0x01
00001dbf: PUSH1 0x01
00001dc1: PUSH1 0xa0
00001dc3: SHL
00001dc4: SUB
00001dc5: AND
00001dc6: DUP7
00001dc7: PUSH1 0x01
00001dc9: PUSH1 0x01
00001dcb: PUSH1 0xa0
00001dcd: SHL
00001dce: SUB
00001dcf: AND
00001dd0: DUP3
00001dd1: PUSH1 0x01
00001dd3: PUSH1 0x01
00001dd5: PUSH1 0xa0
00001dd7: SHL
00001dd8: SUB
00001dd9: AND
00001dda: PUSH32 0x4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb
00001dfb: DUP8
00001dfc: DUP8
00001dfd: PUSH1 0x40
00001dff: MLOAD
00001e00: PUSH2 0x1e0a
00001e03: SWAP3
00001e04: SWAP2
00001e05: SWAP1
00001e06: PUSH2 0x3138
00001e09: JUMP
00001e0a: JUMPDEST
00001e0b: PUSH1 0x40
00001e0d: MLOAD
00001e0e: DUP1
00001e0f: SWAP2
00001e10: SUB
00001e11: SWAP1
00001e12: LOG4
00001e13: PUSH2 0x1e20
00001e16: DUP2
00001e17: DUP8
00001e18: DUP8
00001e19: DUP8
00001e1a: DUP8
00001e1b: DUP8
00001e1c: PUSH2 0x2615
00001e1f: JUMP
00001e20: JUMPDEST
00001e21: POP
00001e22: POP
00001e23: POP
00001e24: POP
00001e25: POP
00001e26: POP
00001e27: JUMP
00001e28: JUMPDEST
00001e29: PUSH1 0x00
00001e2b: PUSH2 0x1e35
00001e2e: PUSH1 0x64
00001e30: DUP4
00001e31: PUSH2 0x31b5
00001e34: JUMP
00001e35: JUMPDEST
00001e36: PUSH1 0x00
00001e38: DUP4
00001e39: DUP2
00001e3a: MSTORE
00001e3b: PUSH1 0x06
00001e3d: PUSH1 0x20
00001e3f: MSTORE
00001e40: PUSH1 0x40
00001e42: SWAP1
00001e43: KECCAK256
00001e44: SLOAD
00001e45: PUSH2 0x0722
00001e48: SWAP2
00001e49: SWAP1
00001e4a: PUSH2 0x319d
00001e4d: JUMP
00001e4e: JUMPDEST
00001e4f: PUSH1 0x01
00001e51: PUSH1 0x01
00001e53: PUSH1 0xa0
00001e55: SHL
00001e56: SUB
00001e57: DUP5
00001e58: AND
00001e59: PUSH2 0x1eca
00001e5c: JUMPI
00001e5d: PUSH1 0x40
00001e5f: MLOAD
00001e60: PUSH3 0x461bcd
00001e64: PUSH1 0xe5
00001e66: SHL
00001e67: DUP2
00001e68: MSTORE
00001e69: PUSH1 0x20
00001e6b: PUSH1 0x04
00001e6d: DUP3
00001e6e: ADD
00001e6f: MSTORE
00001e70: PUSH1 0x21
00001e72: PUSH1 0x24
00001e74: DUP3
00001e75: ADD
00001e76: MSTORE
00001e77: PUSH32 0x455243313135353a206d696e7420746f20746865207a65726f20616464726573
00001e98: PUSH1 0x44
00001e9a: DUP3
00001e9b: ADD
00001e9c: MSTORE
00001e9d: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
00001ebe: PUSH1 0x64
00001ec0: DUP3
00001ec1: ADD
00001ec2: MSTORE
00001ec3: PUSH1 0x84
00001ec5: ADD
00001ec6: PUSH2 0x06f6
00001ec9: JUMP
00001eca: JUMPDEST
00001ecb: CALLER
00001ecc: PUSH2 0x1ee4
00001ecf: DUP2
00001ed0: PUSH1 0x00
00001ed2: DUP8
00001ed3: PUSH2 0x1edb
00001ed6: DUP9
00001ed7: PUSH2 0x27ca
00001eda: JUMP
00001edb: JUMPDEST
00001edc: PUSH2 0x0aec
00001edf: DUP9
00001ee0: PUSH2 0x27ca
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: PUSH1 0x00
00001ee7: DUP5
00001ee8: DUP2
00001ee9: MSTORE
00001eea: PUSH1 0x20
00001eec: DUP2
00001eed: DUP2
00001eee: MSTORE
00001eef: PUSH1 0x40
00001ef1: DUP1
00001ef2: DUP4
00001ef3: KECCAK256
00001ef4: PUSH1 0x01
00001ef6: PUSH1 0x01
00001ef8: PUSH1 0xa0
00001efa: SHL
00001efb: SUB
00001efc: DUP10
00001efd: AND
00001efe: DUP5
00001eff: MSTORE
00001f00: SWAP1
00001f01: SWAP2
00001f02: MSTORE
00001f03: DUP2
00001f04: KECCAK256
00001f05: DUP1
00001f06: SLOAD
00001f07: DUP6
00001f08: SWAP3
00001f09: SWAP1
00001f0a: PUSH2 0x1f14
00001f0d: SWAP1
00001f0e: DUP5
00001f0f: SWAP1
00001f10: PUSH2 0x319d
00001f13: JUMP
00001f14: JUMPDEST
00001f15: SWAP1
00001f16: SWAP2
00001f17: SSTORE
00001f18: POP
00001f19: POP
00001f1a: PUSH1 0x40
00001f1c: DUP1
00001f1d: MLOAD
00001f1e: DUP6
00001f1f: DUP2
00001f20: MSTORE
00001f21: PUSH1 0x20
00001f23: DUP2
00001f24: ADD
00001f25: DUP6
00001f26: SWAP1
00001f27: MSTORE
00001f28: PUSH1 0x01
00001f2a: PUSH1 0x01
00001f2c: PUSH1 0xa0
00001f2e: SHL
00001f2f: SUB
00001f30: DUP1
00001f31: DUP9
00001f32: AND
00001f33: SWAP3
00001f34: PUSH1 0x00
00001f36: SWAP3
00001f37: SWAP2
00001f38: DUP6
00001f39: AND
00001f3a: SWAP2
00001f3b: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
00001f5c: SWAP2
00001f5d: ADD
00001f5e: PUSH1 0x40
00001f60: MLOAD
00001f61: DUP1
00001f62: SWAP2
00001f63: SUB
00001f64: SWAP1
00001f65: LOG4
00001f66: PUSH2 0x0aec
00001f69: DUP2
00001f6a: PUSH1 0x00
00001f6c: DUP8
00001f6d: DUP8
00001f6e: DUP8
00001f6f: DUP8
00001f70: PUSH2 0x2815
00001f73: JUMP
00001f74: JUMPDEST
00001f75: PUSH1 0x01
00001f77: PUSH1 0x01
00001f79: PUSH1 0xa0
00001f7b: SHL
00001f7c: SUB
00001f7d: DUP4
00001f7e: AND
00001f7f: PUSH2 0x1fd6
00001f82: JUMPI
00001f83: PUSH1 0x40
00001f85: MLOAD
00001f86: PUSH3 0x461bcd
00001f8a: PUSH1 0xe5
00001f8c: SHL
00001f8d: DUP2
00001f8e: MSTORE
00001f8f: PUSH1 0x20
00001f91: PUSH1 0x04
00001f93: DUP3
00001f94: ADD
00001f95: MSTORE
00001f96: PUSH1 0x23
00001f98: PUSH1 0x24
00001f9a: DUP3
00001f9b: ADD
00001f9c: MSTORE
00001f9d: PUSH32 0x455243313135353a206275726e2066726f6d20746865207a65726f2061646472
00001fbe: PUSH1 0x44
00001fc0: DUP3
00001fc1: ADD
00001fc2: MSTORE
00001fc3: PUSH3 0x657373
00001fc7: PUSH1 0xe8
00001fc9: SHL
00001fca: PUSH1 0x64
00001fcc: DUP3
00001fcd: ADD
00001fce: MSTORE
00001fcf: PUSH1 0x84
00001fd1: ADD
00001fd2: PUSH2 0x06f6
00001fd5: JUMP
00001fd6: JUMPDEST
00001fd7: DUP1
00001fd8: MLOAD
00001fd9: DUP3
00001fda: MLOAD
00001fdb: EQ
00001fdc: PUSH2 0x2038
00001fdf: JUMPI
00001fe0: PUSH1 0x40
00001fe2: MLOAD
00001fe3: PUSH3 0x461bcd
00001fe7: PUSH1 0xe5
00001fe9: SHL
00001fea: DUP2
00001feb: MSTORE
00001fec: PUSH1 0x20
00001fee: PUSH1 0x04
00001ff0: DUP3
00001ff1: ADD
00001ff2: MSTORE
00001ff3: PUSH1 0x28
00001ff5: PUSH1 0x24
00001ff7: DUP3
00001ff8: ADD
00001ff9: MSTORE
00001ffa: PUSH32 0x455243313135353a2069647320616e6420616d6f756e7473206c656e67746820
0000201b: PUSH1 0x44
0000201d: DUP3
0000201e: ADD
0000201f: MSTORE
00002020: PUSH8 0x0dad2e6dac2e8c6d
00002029: PUSH1 0xc3
0000202b: SHL
0000202c: PUSH1 0x64
0000202e: DUP3
0000202f: ADD
00002030: MSTORE
00002031: PUSH1 0x84
00002033: ADD
00002034: PUSH2 0x06f6
00002037: JUMP
00002038: JUMPDEST
00002039: PUSH1 0x40
0000203b: DUP1
0000203c: MLOAD
0000203d: PUSH1 0x20
0000203f: DUP2
00002040: ADD
00002041: SWAP1
00002042: SWAP2
00002043: MSTORE
00002044: PUSH1 0x00
00002046: SWAP1
00002047: DUP2
00002048: SWAP1
00002049: MSTORE
0000204a: CALLER
0000204b: SWAP1
0000204c: JUMPDEST
0000204d: DUP4
0000204e: MLOAD
0000204f: DUP2
00002050: LT
00002051: ISZERO
00002052: PUSH2 0x214a
00002055: JUMPI
00002056: PUSH1 0x00
00002058: DUP5
00002059: DUP3
0000205a: DUP2
0000205b: MLOAD
0000205c: DUP2
0000205d: LT
0000205e: PUSH2 0x2069
00002061: JUMPI
00002062: PUSH2 0x2069
00002065: PUSH2 0x3284
00002068: JUMP
00002069: JUMPDEST
0000206a: PUSH1 0x20
0000206c: MUL
0000206d: PUSH1 0x20
0000206f: ADD
00002070: ADD
00002071: MLOAD
00002072: SWAP1
00002073: POP
00002074: PUSH1 0x00
00002076: DUP5
00002077: DUP4
00002078: DUP2
00002079: MLOAD
0000207a: DUP2
0000207b: LT
0000207c: PUSH2 0x2087
0000207f: JUMPI
00002080: PUSH2 0x2087
00002083: PUSH2 0x3284
00002086: JUMP
00002087: JUMPDEST
00002088: PUSH1 0x20
0000208a: SWAP1
0000208b: DUP2
0000208c: MUL
0000208d: SWAP2
0000208e: SWAP1
0000208f: SWAP2
00002090: ADD
00002091: DUP2
00002092: ADD
00002093: MLOAD
00002094: PUSH1 0x00
00002096: DUP5
00002097: DUP2
00002098: MSTORE
00002099: DUP1
0000209a: DUP4
0000209b: MSTORE
0000209c: PUSH1 0x40
0000209e: DUP1
0000209f: DUP3
000020a0: KECCAK256
000020a1: PUSH1 0x01
000020a3: PUSH1 0x01
000020a5: PUSH1 0xa0
000020a7: SHL
000020a8: SUB
000020a9: DUP13
000020aa: AND
000020ab: DUP4
000020ac: MSTORE
000020ad: SWAP1
000020ae: SWAP4
000020af: MSTORE
000020b0: SWAP2
000020b1: SWAP1
000020b2: SWAP2
000020b3: KECCAK256
000020b4: SLOAD
000020b5: SWAP1
000020b6: SWAP2
000020b7: POP
000020b8: DUP2
000020b9: DUP2
000020ba: LT
000020bb: ISZERO
000020bc: PUSH2 0x2113
000020bf: JUMPI
000020c0: PUSH1 0x40
000020c2: MLOAD
000020c3: PUSH3 0x461bcd
000020c7: PUSH1 0xe5
000020c9: SHL
000020ca: DUP2
000020cb: MSTORE
000020cc: PUSH1 0x20
000020ce: PUSH1 0x04
000020d0: DUP3
000020d1: ADD
000020d2: MSTORE
000020d3: PUSH1 0x24
000020d5: DUP1
000020d6: DUP3
000020d7: ADD
000020d8: MSTORE
000020d9: PUSH32 0x455243313135353a206275726e20616d6f756e7420657863656564732062616c
000020fa: PUSH1 0x44
000020fc: DUP3
000020fd: ADD
000020fe: MSTORE
000020ff: PUSH4 0x616e6365
00002104: PUSH1 0xe0
00002106: SHL
00002107: PUSH1 0x64
00002109: DUP3
0000210a: ADD
0000210b: MSTORE
0000210c: PUSH1 0x84
0000210e: ADD
0000210f: PUSH2 0x06f6
00002112: JUMP
00002113: JUMPDEST
00002114: PUSH1 0x00
00002116: SWAP3
00002117: DUP4
00002118: MSTORE
00002119: PUSH1 0x20
0000211b: DUP4
0000211c: DUP2
0000211d: MSTORE
0000211e: PUSH1 0x40
00002120: DUP1
00002121: DUP6
00002122: KECCAK256
00002123: PUSH1 0x01
00002125: PUSH1 0x01
00002127: PUSH1 0xa0
00002129: SHL
0000212a: SUB
0000212b: DUP12
0000212c: AND
0000212d: DUP7
0000212e: MSTORE
0000212f: SWAP1
00002130: SWAP2
00002131: MSTORE
00002132: SWAP1
00002133: SWAP3
00002134: KECCAK256
00002135: SWAP2
00002136: SUB
00002137: SWAP1
00002138: SSTORE
00002139: DUP1
0000213a: PUSH2 0x2142
0000213d: DUP2
0000213e: PUSH2 0x3253
00002141: JUMP
00002142: JUMPDEST
00002143: SWAP2
00002144: POP
00002145: POP
00002146: PUSH2 0x204c
00002149: JUMP
0000214a: JUMPDEST
0000214b: POP
0000214c: PUSH1 0x00
0000214e: PUSH1 0x01
00002150: PUSH1 0x01
00002152: PUSH1 0xa0
00002154: SHL
00002155: SUB
00002156: AND
00002157: DUP5
00002158: PUSH1 0x01
0000215a: PUSH1 0x01
0000215c: PUSH1 0xa0
0000215e: SHL
0000215f: SUB
00002160: AND
00002161: DUP3
00002162: PUSH1 0x01
00002164: PUSH1 0x01
00002166: PUSH1 0xa0
00002168: SHL
00002169: SUB
0000216a: AND
0000216b: PUSH32 0x4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb
0000218c: DUP7
0000218d: DUP7
0000218e: PUSH1 0x40
00002190: MLOAD
00002191: PUSH2 0x219b
00002194: SWAP3
00002195: SWAP2
00002196: SWAP1
00002197: PUSH2 0x3138
0000219a: JUMP
0000219b: JUMPDEST
0000219c: PUSH1 0x40
0000219e: MLOAD
0000219f: DUP1
000021a0: SWAP2
000021a1: SUB
000021a2: SWAP1
000021a3: LOG4
000021a4: POP
000021a5: POP
000021a6: POP
000021a7: POP
000021a8: JUMP
000021a9: JUMPDEST
000021aa: PUSH1 0x03
000021ac: DUP1
000021ad: SLOAD
000021ae: PUSH1 0x01
000021b0: PUSH1 0x01
000021b2: PUSH1 0xa0
000021b4: SHL
000021b5: SUB
000021b6: DUP4
000021b7: DUP2
000021b8: AND
000021b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ce: NOT
000021cf: DUP4
000021d0: AND
000021d1: DUP2
000021d2: OR
000021d3: SWAP1
000021d4: SWAP4
000021d5: SSTORE
000021d6: PUSH1 0x40
000021d8: MLOAD
000021d9: SWAP2
000021da: AND
000021db: SWAP2
000021dc: SWAP1
000021dd: DUP3
000021de: SWAP1
000021df: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002200: SWAP1
00002201: PUSH1 0x00
00002203: SWAP1
00002204: LOG3
00002205: POP
00002206: POP
00002207: JUMP
00002208: JUMPDEST
00002209: DUP2
0000220a: PUSH1 0x01
0000220c: PUSH1 0x01
0000220e: PUSH1 0xa0
00002210: SHL
00002211: SUB
00002212: AND
00002213: DUP4
00002214: PUSH1 0x01
00002216: PUSH1 0x01
00002218: PUSH1 0xa0
0000221a: SHL
0000221b: SUB
0000221c: AND
0000221d: EQ
0000221e: ISZERO
0000221f: PUSH2 0x2290
00002222: JUMPI
00002223: PUSH1 0x40
00002225: MLOAD
00002226: PUSH3 0x461bcd
0000222a: PUSH1 0xe5
0000222c: SHL
0000222d: DUP2
0000222e: MSTORE
0000222f: PUSH1 0x20
00002231: PUSH1 0x04
00002233: DUP3
00002234: ADD
00002235: MSTORE
00002236: PUSH1 0x29
00002238: PUSH1 0x24
0000223a: DUP3
0000223b: ADD
0000223c: MSTORE
0000223d: PUSH32 0x455243313135353a2073657474696e6720617070726f76616c20737461747573
0000225e: PUSH1 0x44
00002260: DUP3
00002261: ADD
00002262: MSTORE
00002263: PUSH32 0x20666f722073656c660000000000000000000000000000000000000000000000
00002284: PUSH1 0x64
00002286: DUP3
00002287: ADD
00002288: MSTORE
00002289: PUSH1 0x84
0000228b: ADD
0000228c: PUSH2 0x06f6
0000228f: JUMP
00002290: JUMPDEST
00002291: PUSH1 0x01
00002293: PUSH1 0x01
00002295: PUSH1 0xa0
00002297: SHL
00002298: SUB
00002299: DUP4
0000229a: DUP2
0000229b: AND
0000229c: PUSH1 0x00
0000229e: DUP2
0000229f: DUP2
000022a0: MSTORE
000022a1: PUSH1 0x01
000022a3: PUSH1 0x20
000022a5: SWAP1
000022a6: DUP2
000022a7: MSTORE
000022a8: PUSH1 0x40
000022aa: DUP1
000022ab: DUP4
000022ac: KECCAK256
000022ad: SWAP5
000022ae: DUP8
000022af: AND
000022b0: DUP1
000022b1: DUP5
000022b2: MSTORE
000022b3: SWAP5
000022b4: DUP3
000022b5: MSTORE
000022b6: SWAP2
000022b7: DUP3
000022b8: SWAP1
000022b9: KECCAK256
000022ba: DUP1
000022bb: SLOAD
000022bc: PUSH1 0xff
000022be: NOT
000022bf: AND
000022c0: DUP7
000022c1: ISZERO
000022c2: ISZERO
000022c3: SWAP1
000022c4: DUP2
000022c5: OR
000022c6: SWAP1
000022c7: SWAP2
000022c8: SSTORE
000022c9: SWAP2
000022ca: MLOAD
000022cb: SWAP2
000022cc: DUP3
000022cd: MSTORE
000022ce: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000022ef: SWAP2
000022f0: ADD
000022f1: PUSH1 0x40
000022f3: MLOAD
000022f4: DUP1
000022f5: SWAP2
000022f6: SUB
000022f7: SWAP1
000022f8: LOG3
000022f9: POP
000022fa: POP
000022fb: POP
000022fc: JUMP
000022fd: JUMPDEST
000022fe: PUSH1 0x01
00002300: PUSH1 0x01
00002302: PUSH1 0xa0
00002304: SHL
00002305: SUB
00002306: DUP5
00002307: AND
00002308: PUSH2 0x2361
0000230b: JUMPI
0000230c: PUSH1 0x40
0000230e: MLOAD
0000230f: PUSH3 0x461bcd
00002313: PUSH1 0xe5
00002315: SHL
00002316: DUP2
00002317: MSTORE
00002318: PUSH1 0x20
0000231a: PUSH1 0x04
0000231c: DUP3
0000231d: ADD
0000231e: MSTORE
0000231f: PUSH1 0x25
00002321: PUSH1 0x24
00002323: DUP3
00002324: ADD
00002325: MSTORE
00002326: PUSH32 0x455243313135353a207472616e7366657220746f20746865207a65726f206164
00002347: PUSH1 0x44
00002349: DUP3
0000234a: ADD
0000234b: MSTORE
0000234c: PUSH5 0x6472657373
00002352: PUSH1 0xd8
00002354: SHL
00002355: PUSH1 0x64
00002357: DUP3
00002358: ADD
00002359: MSTORE
0000235a: PUSH1 0x84
0000235c: ADD
0000235d: PUSH2 0x06f6
00002360: JUMP
00002361: JUMPDEST
00002362: CALLER
00002363: PUSH2 0x2371
00002366: DUP2
00002367: DUP8
00002368: DUP8
00002369: PUSH2 0x1edb
0000236c: DUP9
0000236d: PUSH2 0x27ca
00002370: JUMP
00002371: JUMPDEST
00002372: PUSH1 0x00
00002374: DUP5
00002375: DUP2
00002376: MSTORE
00002377: PUSH1 0x20
00002379: DUP2
0000237a: DUP2
0000237b: MSTORE
0000237c: PUSH1 0x40
0000237e: DUP1
0000237f: DUP4
00002380: KECCAK256
00002381: PUSH1 0x01
00002383: PUSH1 0x01
00002385: PUSH1 0xa0
00002387: SHL
00002388: SUB
00002389: DUP11
0000238a: AND
0000238b: DUP5
0000238c: MSTORE
0000238d: SWAP1
0000238e: SWAP2
0000238f: MSTORE
00002390: SWAP1
00002391: KECCAK256
00002392: SLOAD
00002393: DUP4
00002394: DUP2
00002395: LT
00002396: ISZERO
00002397: PUSH2 0x23f5
0000239a: JUMPI
0000239b: PUSH1 0x40
0000239d: MLOAD
0000239e: PUSH3 0x461bcd
000023a2: PUSH1 0xe5
000023a4: SHL
000023a5: DUP2
000023a6: MSTORE
000023a7: PUSH1 0x20
000023a9: PUSH1 0x04
000023ab: DUP3
000023ac: ADD
000023ad: MSTORE
000023ae: PUSH1 0x2a
000023b0: PUSH1 0x24
000023b2: DUP3
000023b3: ADD
000023b4: MSTORE
000023b5: PUSH32 0x455243313135353a20696e73756666696369656e742062616c616e636520666f
000023d6: PUSH1 0x44
000023d8: DUP3
000023d9: ADD
000023da: MSTORE
000023db: PUSH10 0x39103a3930b739b332b9
000023e6: PUSH1 0xb1
000023e8: SHL
000023e9: PUSH1 0x64
000023eb: DUP3
000023ec: ADD
000023ed: MSTORE
000023ee: PUSH1 0x84
000023f0: ADD
000023f1: PUSH2 0x06f6
000023f4: JUMP
000023f5: JUMPDEST
000023f6: PUSH1 0x00
000023f8: DUP6
000023f9: DUP2
000023fa: MSTORE
000023fb: PUSH1 0x20
000023fd: DUP2
000023fe: DUP2
000023ff: MSTORE
00002400: PUSH1 0x40
00002402: DUP1
00002403: DUP4
00002404: KECCAK256
00002405: PUSH1 0x01
00002407: PUSH1 0x01
00002409: PUSH1 0xa0
0000240b: SHL
0000240c: SUB
0000240d: DUP12
0000240e: DUP2
0000240f: AND
00002410: DUP6
00002411: MSTORE
00002412: SWAP3
00002413: MSTORE
00002414: DUP1
00002415: DUP4
00002416: KECCAK256
00002417: DUP8
00002418: DUP6
00002419: SUB
0000241a: SWAP1
0000241b: SSTORE
0000241c: SWAP1
0000241d: DUP9
0000241e: AND
0000241f: DUP3
00002420: MSTORE
00002421: DUP2
00002422: KECCAK256
00002423: DUP1
00002424: SLOAD
00002425: DUP7
00002426: SWAP3
00002427: SWAP1
00002428: PUSH2 0x2432
0000242b: SWAP1
0000242c: DUP5
0000242d: SWAP1
0000242e: PUSH2 0x319d
00002431: JUMP
00002432: JUMPDEST
00002433: SWAP1
00002434: SWAP2
00002435: SSTORE
00002436: POP
00002437: POP
00002438: PUSH1 0x40
0000243a: DUP1
0000243b: MLOAD
0000243c: DUP7
0000243d: DUP2
0000243e: MSTORE
0000243f: PUSH1 0x20
00002441: DUP2
00002442: ADD
00002443: DUP7
00002444: SWAP1
00002445: MSTORE
00002446: PUSH1 0x01
00002448: PUSH1 0x01
0000244a: PUSH1 0xa0
0000244c: SHL
0000244d: SUB
0000244e: DUP1
0000244f: DUP10
00002450: AND
00002451: SWAP3
00002452: DUP11
00002453: DUP3
00002454: AND
00002455: SWAP3
00002456: SWAP2
00002457: DUP7
00002458: AND
00002459: SWAP2
0000245a: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
0000247b: SWAP2
0000247c: ADD
0000247d: PUSH1 0x40
0000247f: MLOAD
00002480: DUP1
00002481: SWAP2
00002482: SUB
00002483: SWAP1
00002484: LOG4
00002485: PUSH2 0x2492
00002488: DUP3
00002489: DUP9
0000248a: DUP9
0000248b: DUP9
0000248c: DUP9
0000248d: DUP9
0000248e: PUSH2 0x2815
00002491: JUMP
00002492: JUMPDEST
00002493: POP
00002494: POP
00002495: POP
00002496: POP
00002497: POP
00002498: POP
00002499: POP
0000249a: JUMP
0000249b: JUMPDEST
0000249c: PUSH1 0x01
0000249e: PUSH1 0x01
000024a0: PUSH1 0xa0
000024a2: SHL
000024a3: SUB
000024a4: DUP4
000024a5: AND
000024a6: PUSH2 0x24fd
000024a9: JUMPI
000024aa: PUSH1 0x40
000024ac: MLOAD
000024ad: PUSH3 0x461bcd
000024b1: PUSH1 0xe5
000024b3: SHL
000024b4: DUP2
000024b5: MSTORE
000024b6: PUSH1 0x20
000024b8: PUSH1 0x04
000024ba: DUP3
000024bb: ADD
000024bc: MSTORE
000024bd: PUSH1 0x23
000024bf: PUSH1 0x24
000024c1: DUP3
000024c2: ADD
000024c3: MSTORE
000024c4: PUSH32 0x455243313135353a206275726e2066726f6d20746865207a65726f2061646472
000024e5: PUSH1 0x44
000024e7: DUP3
000024e8: ADD
000024e9: MSTORE
000024ea: PUSH3 0x657373
000024ee: PUSH1 0xe8
000024f0: SHL
000024f1: PUSH1 0x64
000024f3: DUP3
000024f4: ADD
000024f5: MSTORE
000024f6: PUSH1 0x84
000024f8: ADD
000024f9: PUSH2 0x06f6
000024fc: JUMP
000024fd: JUMPDEST
000024fe: CALLER
000024ff: PUSH2 0x252d
00002502: DUP2
00002503: DUP6
00002504: PUSH1 0x00
00002506: PUSH2 0x250e
00002509: DUP8
0000250a: PUSH2 0x27ca
0000250d: JUMP
0000250e: JUMPDEST
0000250f: PUSH2 0x2517
00002512: DUP8
00002513: PUSH2 0x27ca
00002516: JUMP
00002517: JUMPDEST
00002518: POP
00002519: POP
0000251a: PUSH1 0x40
0000251c: DUP1
0000251d: MLOAD
0000251e: PUSH1 0x20
00002520: DUP2
00002521: ADD
00002522: SWAP1
00002523: SWAP2
00002524: MSTORE
00002525: PUSH1 0x00
00002527: SWAP1
00002528: MSTORE
00002529: POP
0000252a: POP
0000252b: POP
0000252c: JUMP
0000252d: JUMPDEST
0000252e: PUSH1 0x00
00002530: DUP4
00002531: DUP2
00002532: MSTORE
00002533: PUSH1 0x20
00002535: DUP2
00002536: DUP2
00002537: MSTORE
00002538: PUSH1 0x40
0000253a: DUP1
0000253b: DUP4
0000253c: KECCAK256
0000253d: PUSH1 0x01
0000253f: PUSH1 0x01
00002541: PUSH1 0xa0
00002543: SHL
00002544: SUB
00002545: DUP9
00002546: AND
00002547: DUP5
00002548: MSTORE
00002549: SWAP1
0000254a: SWAP2
0000254b: MSTORE
0000254c: SWAP1
0000254d: KECCAK256
0000254e: SLOAD
0000254f: DUP3
00002550: DUP2
00002551: LT
00002552: ISZERO
00002553: PUSH2 0x25aa
00002556: JUMPI
00002557: PUSH1 0x40
00002559: MLOAD
0000255a: PUSH3 0x461bcd
0000255e: PUSH1 0xe5
00002560: SHL
00002561: DUP2
00002562: MSTORE
00002563: PUSH1 0x20
00002565: PUSH1 0x04
00002567: DUP3
00002568: ADD
00002569: MSTORE
0000256a: PUSH1 0x24
0000256c: DUP1
0000256d: DUP3
0000256e: ADD
0000256f: MSTORE
00002570: PUSH32 0x455243313135353a206275726e20616d6f756e7420657863656564732062616c
00002591: PUSH1 0x44
00002593: DUP3
00002594: ADD
00002595: MSTORE
00002596: PUSH4 0x616e6365
0000259b: PUSH1 0xe0
0000259d: SHL
0000259e: PUSH1 0x64
000025a0: DUP3
000025a1: ADD
000025a2: MSTORE
000025a3: PUSH1 0x84
000025a5: ADD
000025a6: PUSH2 0x06f6
000025a9: JUMP
000025aa: JUMPDEST
000025ab: PUSH1 0x00
000025ad: DUP5
000025ae: DUP2
000025af: MSTORE
000025b0: PUSH1 0x20
000025b2: DUP2
000025b3: DUP2
000025b4: MSTORE
000025b5: PUSH1 0x40
000025b7: DUP1
000025b8: DUP4
000025b9: KECCAK256
000025ba: PUSH1 0x01
000025bc: PUSH1 0x01
000025be: PUSH1 0xa0
000025c0: SHL
000025c1: SUB
000025c2: DUP10
000025c3: DUP2
000025c4: AND
000025c5: DUP1
000025c6: DUP7
000025c7: MSTORE
000025c8: SWAP2
000025c9: DUP5
000025ca: MSTORE
000025cb: DUP3
000025cc: DUP6
000025cd: KECCAK256
000025ce: DUP9
000025cf: DUP8
000025d0: SUB
000025d1: SWAP1
000025d2: SSTORE
000025d3: DUP3
000025d4: MLOAD
000025d5: DUP10
000025d6: DUP2
000025d7: MSTORE
000025d8: SWAP4
000025d9: DUP5
000025da: ADD
000025db: DUP9
000025dc: SWAP1
000025dd: MSTORE
000025de: SWAP1
000025df: SWAP3
000025e0: SWAP1
000025e1: DUP7
000025e2: AND
000025e3: SWAP2
000025e4: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
00002605: SWAP2
00002606: ADD
00002607: PUSH1 0x40
00002609: MLOAD
0000260a: DUP1
0000260b: SWAP2
0000260c: SUB
0000260d: SWAP1
0000260e: LOG4
0000260f: POP
00002610: POP
00002611: POP
00002612: POP
00002613: POP
00002614: JUMP
00002615: JUMPDEST
00002616: PUSH1 0x01
00002618: PUSH1 0x01
0000261a: PUSH1 0xa0
0000261c: SHL
0000261d: SUB
0000261e: DUP5
0000261f: AND
00002620: EXTCODESIZE
00002621: ISZERO
00002622: PUSH2 0x1e20
00002625: JUMPI
00002626: PUSH1 0x40
00002628: MLOAD
00002629: PUSH4 0xbc197c81
0000262e: PUSH1 0xe0
00002630: SHL
00002631: DUP2
00002632: MSTORE
00002633: PUSH1 0x01
00002635: PUSH1 0x01
00002637: PUSH1 0xa0
00002639: SHL
0000263a: SUB
0000263b: DUP6
0000263c: AND
0000263d: SWAP1
0000263e: PUSH4 0xbc197c81
00002643: SWAP1
00002644: PUSH2 0x2659
00002647: SWAP1
00002648: DUP10
00002649: SWAP1
0000264a: DUP10
0000264b: SWAP1
0000264c: DUP9
0000264d: SWAP1
0000264e: DUP9
0000264f: SWAP1
00002650: DUP9
00002651: SWAP1
00002652: PUSH1 0x04
00002654: ADD
00002655: PUSH2 0x3084
00002658: JUMP
00002659: JUMPDEST
0000265a: PUSH1 0x20
0000265c: PUSH1 0x40
0000265e: MLOAD
0000265f: DUP1
00002660: DUP4
00002661: SUB
00002662: DUP2
00002663: PUSH1 0x00
00002665: DUP8
00002666: DUP1
00002667: EXTCODESIZE
00002668: ISZERO
00002669: DUP1
0000266a: ISZERO
0000266b: PUSH2 0x2673
0000266e: JUMPI
0000266f: PUSH1 0x00
00002671: DUP1
00002672: REVERT
00002673: JUMPDEST
00002674: POP
00002675: GAS
00002676: CALL
00002677: SWAP3
00002678: POP
00002679: POP
0000267a: POP
0000267b: DUP1
0000267c: ISZERO
0000267d: PUSH2 0x26a3
00002680: JUMPI
00002681: POP
00002682: PUSH1 0x40
00002684: DUP1
00002685: MLOAD
00002686: PUSH1 0x1f
00002688: RETURNDATASIZE
00002689: SWAP1
0000268a: DUP2
0000268b: ADD
0000268c: PUSH1 0x1f
0000268e: NOT
0000268f: AND
00002690: DUP3
00002691: ADD
00002692: SWAP1
00002693: SWAP3
00002694: MSTORE
00002695: PUSH2 0x26a0
00002698: SWAP2
00002699: DUP2
0000269a: ADD
0000269b: SWAP1
0000269c: PUSH2 0x2f19
0000269f: JUMP
000026a0: JUMPDEST
000026a1: PUSH1 0x01
000026a3: JUMPDEST
000026a4: PUSH2 0x2759
000026a7: JUMPI
000026a8: PUSH2 0x26af
000026ab: PUSH2 0x32b0
000026ae: JUMP
000026af: JUMPDEST
000026b0: DUP1
000026b1: PUSH4 0x08c379a0
000026b6: EQ
000026b7: ISZERO
000026b8: PUSH2 0x26e9
000026bb: JUMPI
000026bc: POP
000026bd: PUSH2 0x26c4
000026c0: PUSH2 0x32cb
000026c3: JUMP
000026c4: JUMPDEST
000026c5: DUP1
000026c6: PUSH2 0x26cf
000026c9: JUMPI
000026ca: POP
000026cb: PUSH2 0x26eb
000026ce: JUMP
000026cf: JUMPDEST
000026d0: DUP1
000026d1: PUSH1 0x40
000026d3: MLOAD
000026d4: PUSH3 0x461bcd
000026d8: PUSH1 0xe5
000026da: SHL
000026db: DUP2
000026dc: MSTORE
000026dd: PUSH1 0x04
000026df: ADD
000026e0: PUSH2 0x06f6
000026e3: SWAP2
000026e4: SWAP1
000026e5: PUSH2 0x3166
000026e8: JUMP
000026e9: JUMPDEST
000026ea: POP
000026eb: JUMPDEST
000026ec: PUSH1 0x40
000026ee: MLOAD
000026ef: PUSH3 0x461bcd
000026f3: PUSH1 0xe5
000026f5: SHL
000026f6: DUP2
000026f7: MSTORE
000026f8: PUSH1 0x20
000026fa: PUSH1 0x04
000026fc: DUP3
000026fd: ADD
000026fe: MSTORE
000026ff: PUSH1 0x34
00002701: PUSH1 0x24
00002703: DUP3
00002704: ADD
00002705: MSTORE
00002706: PUSH32 0x455243313135353a207472616e7366657220746f206e6f6e2045524331313535
00002727: PUSH1 0x44
00002729: DUP3
0000272a: ADD
0000272b: MSTORE
0000272c: PUSH32 0x526563656976657220696d706c656d656e746572000000000000000000000000
0000274d: PUSH1 0x64
0000274f: DUP3
00002750: ADD
00002751: MSTORE
00002752: PUSH1 0x84
00002754: ADD
00002755: PUSH2 0x06f6
00002758: JUMP
00002759: JUMPDEST
0000275a: PUSH1 0x01
0000275c: PUSH1 0x01
0000275e: PUSH1 0xe0
00002760: SHL
00002761: SUB
00002762: NOT
00002763: DUP2
00002764: AND
00002765: PUSH4 0xbc197c81
0000276a: PUSH1 0xe0
0000276c: SHL
0000276d: EQ
0000276e: PUSH2 0x2492
00002771: JUMPI
00002772: PUSH1 0x40
00002774: MLOAD
00002775: PUSH3 0x461bcd
00002779: PUSH1 0xe5
0000277b: SHL
0000277c: DUP2
0000277d: MSTORE
0000277e: PUSH1 0x20
00002780: PUSH1 0x04
00002782: DUP3
00002783: ADD
00002784: MSTORE
00002785: PUSH1 0x28
00002787: PUSH1 0x24
00002789: DUP3
0000278a: ADD
0000278b: MSTORE
0000278c: PUSH32 0x455243313135353a204552433131353552656365697665722072656a65637465
000027ad: PUSH1 0x44
000027af: DUP3
000027b0: ADD
000027b1: MSTORE
000027b2: PUSH8 0x6420746f6b656e73
000027bb: PUSH1 0xc0
000027bd: SHL
000027be: PUSH1 0x64
000027c0: DUP3
000027c1: ADD
000027c2: MSTORE
000027c3: PUSH1 0x84
000027c5: ADD
000027c6: PUSH2 0x06f6
000027c9: JUMP
000027ca: JUMPDEST
000027cb: PUSH1 0x40
000027cd: DUP1
000027ce: MLOAD
000027cf: PUSH1 0x01
000027d1: DUP1
000027d2: DUP3
000027d3: MSTORE
000027d4: DUP2
000027d5: DUP4
000027d6: ADD
000027d7: SWAP1
000027d8: SWAP3
000027d9: MSTORE
000027da: PUSH1 0x60
000027dc: SWAP2
000027dd: PUSH1 0x00
000027df: SWAP2
000027e0: SWAP1
000027e1: PUSH1 0x20
000027e3: DUP1
000027e4: DUP4
000027e5: ADD
000027e6: SWAP1
000027e7: DUP1
000027e8: CALLDATASIZE
000027e9: DUP4
000027ea: CALLDATACOPY
000027eb: ADD
000027ec: SWAP1
000027ed: POP
000027ee: POP
000027ef: SWAP1
000027f0: POP
000027f1: DUP3
000027f2: DUP2
000027f3: PUSH1 0x00
000027f5: DUP2
000027f6: MLOAD
000027f7: DUP2
000027f8: LT
000027f9: PUSH2 0x2804
000027fc: JUMPI
000027fd: PUSH2 0x2804
00002800: PUSH2 0x3284
00002803: JUMP
00002804: JUMPDEST
00002805: PUSH1 0x20
00002807: SWAP1
00002808: DUP2
00002809: MUL
0000280a: SWAP2
0000280b: SWAP1
0000280c: SWAP2
0000280d: ADD
0000280e: ADD
0000280f: MSTORE
00002810: SWAP3
00002811: SWAP2
00002812: POP
00002813: POP
00002814: JUMP
00002815: JUMPDEST
00002816: PUSH1 0x01
00002818: PUSH1 0x01
0000281a: PUSH1 0xa0
0000281c: SHL
0000281d: SUB
0000281e: DUP5
0000281f: AND
00002820: EXTCODESIZE
00002821: ISZERO
00002822: PUSH2 0x1e20
00002825: JUMPI
00002826: PUSH1 0x40
00002828: MLOAD
00002829: PUSH4 0xf23a6e61
0000282e: PUSH1 0xe0
00002830: SHL
00002831: DUP2
00002832: MSTORE
00002833: PUSH1 0x01
00002835: PUSH1 0x01
00002837: PUSH1 0xa0
00002839: SHL
0000283a: SUB
0000283b: DUP6
0000283c: AND
0000283d: SWAP1
0000283e: PUSH4 0xf23a6e61
00002843: SWAP1
00002844: PUSH2 0x2859
00002847: SWAP1
00002848: DUP10
00002849: SWAP1
0000284a: DUP10
0000284b: SWAP1
0000284c: DUP9
0000284d: SWAP1
0000284e: DUP9
0000284f: SWAP1
00002850: DUP9
00002851: SWAP1
00002852: PUSH1 0x04
00002854: ADD
00002855: PUSH2 0x30e2
00002858: JUMP
00002859: JUMPDEST
0000285a: PUSH1 0x20
0000285c: PUSH1 0x40
0000285e: MLOAD
0000285f: DUP1
00002860: DUP4
00002861: SUB
00002862: DUP2
00002863: PUSH1 0x00
00002865: DUP8
00002866: DUP1
00002867: EXTCODESIZE
00002868: ISZERO
00002869: DUP1
0000286a: ISZERO
0000286b: PUSH2 0x2873
0000286e: JUMPI
0000286f: PUSH1 0x00
00002871: DUP1
00002872: REVERT
00002873: JUMPDEST
00002874: POP
00002875: GAS
00002876: CALL
00002877: SWAP3
00002878: POP
00002879: POP
0000287a: POP
0000287b: DUP1
0000287c: ISZERO
0000287d: PUSH2 0x28a3
00002880: JUMPI
00002881: POP
00002882: PUSH1 0x40
00002884: DUP1
00002885: MLOAD
00002886: PUSH1 0x1f
00002888: RETURNDATASIZE
00002889: SWAP1
0000288a: DUP2
0000288b: ADD
0000288c: PUSH1 0x1f
0000288e: NOT
0000288f: AND
00002890: DUP3
00002891: ADD
00002892: SWAP1
00002893: SWAP3
00002894: MSTORE
00002895: PUSH2 0x28a0
00002898: SWAP2
00002899: DUP2
0000289a: ADD
0000289b: SWAP1
0000289c: PUSH2 0x2f19
0000289f: JUMP
000028a0: JUMPDEST
000028a1: PUSH1 0x01
000028a3: JUMPDEST
000028a4: PUSH2 0x28af
000028a7: JUMPI
000028a8: PUSH2 0x26af
000028ab: PUSH2 0x32b0
000028ae: JUMP
000028af: JUMPDEST
000028b0: PUSH1 0x01
000028b2: PUSH1 0x01
000028b4: PUSH1 0xe0
000028b6: SHL
000028b7: SUB
000028b8: NOT
000028b9: DUP2
000028ba: AND
000028bb: PUSH4 0xf23a6e61
000028c0: PUSH1 0xe0
000028c2: SHL
000028c3: EQ
000028c4: PUSH2 0x2492
000028c7: JUMPI
000028c8: PUSH1 0x40
000028ca: MLOAD
000028cb: PUSH3 0x461bcd
000028cf: PUSH1 0xe5
000028d1: SHL
000028d2: DUP2
000028d3: MSTORE
000028d4: PUSH1 0x20
000028d6: PUSH1 0x04
000028d8: DUP3
000028d9: ADD
000028da: MSTORE
000028db: PUSH1 0x28
000028dd: PUSH1 0x24
000028df: DUP3
000028e0: ADD
000028e1: MSTORE
000028e2: PUSH32 0x455243313135353a204552433131353552656365697665722072656a65637465
00002903: PUSH1 0x44
00002905: DUP3
00002906: ADD
00002907: MSTORE
00002908: PUSH8 0x6420746f6b656e73
00002911: PUSH1 0xc0
00002913: SHL
00002914: PUSH1 0x64
00002916: DUP3
00002917: ADD
00002918: MSTORE
00002919: PUSH1 0x84
0000291b: ADD
0000291c: PUSH2 0x06f6
0000291f: JUMP
00002920: JUMPDEST
00002921: DUP3
00002922: DUP1
00002923: SLOAD
00002924: PUSH2 0x292c
00002927: SWAP1
00002928: PUSH2 0x31eb
0000292b: JUMP
0000292c: JUMPDEST
0000292d: SWAP1
0000292e: PUSH1 0x00
00002930: MSTORE
00002931: PUSH1 0x20
00002933: PUSH1 0x00
00002935: KECCAK256
00002936: SWAP1
00002937: PUSH1 0x1f
00002939: ADD
0000293a: PUSH1 0x20
0000293c: SWAP1
0000293d: DIV
0000293e: DUP2
0000293f: ADD
00002940: SWAP3
00002941: DUP3
00002942: PUSH2 0x294e
00002945: JUMPI
00002946: PUSH1 0x00
00002948: DUP6
00002949: SSTORE
0000294a: PUSH2 0x2994
0000294d: JUMP
0000294e: JUMPDEST
0000294f: DUP3
00002950: PUSH1 0x1f
00002952: LT
00002953: PUSH2 0x2967
00002956: JUMPI
00002957: DUP1
00002958: MLOAD
00002959: PUSH1 0xff
0000295b: NOT
0000295c: AND
0000295d: DUP4
0000295e: DUP1
0000295f: ADD
00002960: OR
00002961: DUP6
00002962: SSTORE
00002963: PUSH2 0x2994
00002966: JUMP
00002967: JUMPDEST
00002968: DUP3
00002969: DUP1
0000296a: ADD
0000296b: PUSH1 0x01
0000296d: ADD
0000296e: DUP6
0000296f: SSTORE
00002970: DUP3
00002971: ISZERO
00002972: PUSH2 0x2994
00002975: JUMPI
00002976: SWAP2
00002977: DUP3
00002978: ADD
00002979: JUMPDEST
0000297a: DUP3
0000297b: DUP2
0000297c: GT
0000297d: ISZERO
0000297e: PUSH2 0x2994
00002981: JUMPI
00002982: DUP3
00002983: MLOAD
00002984: DUP3
00002985: SSTORE
00002986: SWAP2
00002987: PUSH1 0x20
00002989: ADD
0000298a: SWAP2
0000298b: SWAP1
0000298c: PUSH1 0x01
0000298e: ADD
0000298f: SWAP1
00002990: PUSH2 0x2979
00002993: JUMP
00002994: JUMPDEST
00002995: POP
00002996: PUSH2 0x29a0
00002999: SWAP3
0000299a: SWAP2
0000299b: POP
0000299c: PUSH2 0x29a4
0000299f: JUMP
000029a0: JUMPDEST
000029a1: POP
000029a2: SWAP1
000029a3: JUMP
000029a4: JUMPDEST
000029a5: JUMPDEST
000029a6: DUP1
000029a7: DUP3
000029a8: GT
000029a9: ISZERO
000029aa: PUSH2 0x29a0
000029ad: JUMPI
000029ae: PUSH1 0x00
000029b0: DUP2
000029b1: SSTORE
000029b2: PUSH1 0x01
000029b4: ADD
000029b5: PUSH2 0x29a5
000029b8: JUMP
000029b9: JUMPDEST
000029ba: PUSH1 0x00
000029bc: PUSH8 0xffffffffffffffff
000029c5: DUP4
000029c6: GT
000029c7: ISZERO
000029c8: PUSH2 0x29d3
000029cb: JUMPI
000029cc: PUSH2 0x29d3
000029cf: PUSH2 0x329a
000029d2: JUMP
000029d3: JUMPDEST
000029d4: PUSH1 0x40
000029d6: MLOAD
000029d7: PUSH2 0x29ea
000029da: PUSH1 0x1f
000029dc: DUP6
000029dd: ADD
000029de: PUSH1 0x1f
000029e0: NOT
000029e1: AND
000029e2: PUSH1 0x20
000029e4: ADD
000029e5: DUP3
000029e6: PUSH2 0x3226
000029e9: JUMP
000029ea: JUMPDEST
000029eb: DUP1
000029ec: SWAP2
000029ed: POP
000029ee: DUP4
000029ef: DUP2
000029f0: MSTORE
000029f1: DUP5
000029f2: DUP5
000029f3: DUP5
000029f4: ADD
000029f5: GT
000029f6: ISZERO
000029f7: PUSH2 0x29ff
000029fa: JUMPI
000029fb: PUSH1 0x00
000029fd: DUP1
000029fe: REVERT
000029ff: JUMPDEST
00002a00: DUP4
00002a01: DUP4
00002a02: PUSH1 0x20
00002a04: DUP4
00002a05: ADD
00002a06: CALLDATACOPY
00002a07: PUSH1 0x00
00002a09: PUSH1 0x20
00002a0b: DUP6
00002a0c: DUP4
00002a0d: ADD
00002a0e: ADD
00002a0f: MSTORE
00002a10: POP
00002a11: SWAP4
00002a12: SWAP3
00002a13: POP
00002a14: POP
00002a15: POP
00002a16: JUMP
00002a17: JUMPDEST
00002a18: PUSH1 0x00
00002a1a: DUP3
00002a1b: PUSH1 0x1f
00002a1d: DUP4
00002a1e: ADD
00002a1f: SLT
00002a20: PUSH2 0x2a28
00002a23: JUMPI
00002a24: PUSH1 0x00
00002a26: DUP1
00002a27: REVERT
00002a28: JUMPDEST
00002a29: DUP2
00002a2a: CALLDATALOAD
00002a2b: PUSH1 0x20
00002a2d: PUSH2 0x2a35
00002a30: DUP3
00002a31: PUSH2 0x3179
00002a34: JUMP
00002a35: JUMPDEST
00002a36: PUSH1 0x40
00002a38: MLOAD
00002a39: PUSH2 0x2a42
00002a3c: DUP3
00002a3d: DUP3
00002a3e: PUSH2 0x3226
00002a41: JUMP
00002a42: JUMPDEST
00002a43: DUP4
00002a44: DUP2
00002a45: MSTORE
00002a46: DUP3
00002a47: DUP2
00002a48: ADD
00002a49: SWAP2
00002a4a: POP
00002a4b: DUP6
00002a4c: DUP4
00002a4d: ADD
00002a4e: PUSH1 0x05
00002a50: DUP6
00002a51: SWAP1
00002a52: SHL
00002a53: DUP8
00002a54: ADD
00002a55: DUP5
00002a56: ADD
00002a57: DUP9
00002a58: LT
00002a59: ISZERO
00002a5a: PUSH2 0x2a62
00002a5d: JUMPI
00002a5e: PUSH1 0x00
00002a60: DUP1
00002a61: REVERT
00002a62: JUMPDEST
00002a63: PUSH1 0x00
00002a65: JUMPDEST
00002a66: DUP6
00002a67: DUP2
00002a68: LT
00002a69: ISZERO
00002a6a: PUSH2 0x2a8a
00002a6d: JUMPI
00002a6e: DUP2
00002a6f: CALLDATALOAD
00002a70: PUSH2 0x2a78
00002a73: DUP2
00002a74: PUSH2 0x3355
00002a77: JUMP
00002a78: JUMPDEST
00002a79: DUP5
00002a7a: MSTORE
00002a7b: SWAP3
00002a7c: DUP5
00002a7d: ADD
00002a7e: SWAP3
00002a7f: SWAP1
00002a80: DUP5
00002a81: ADD
00002a82: SWAP1
00002a83: PUSH1 0x01
00002a85: ADD
00002a86: PUSH2 0x2a65
00002a89: JUMP
00002a8a: JUMPDEST
00002a8b: POP
00002a8c: SWAP1
00002a8d: SWAP8
00002a8e: SWAP7
00002a8f: POP
00002a90: POP
00002a91: POP
00002a92: POP
00002a93: POP
00002a94: POP
00002a95: POP
00002a96: JUMP
00002a97: JUMPDEST
00002a98: PUSH1 0x00
00002a9a: DUP3
00002a9b: PUSH1 0x1f
00002a9d: DUP4
00002a9e: ADD
00002a9f: SLT
00002aa0: PUSH2 0x2aa8
00002aa3: JUMPI
00002aa4: PUSH1 0x00
00002aa6: DUP1
00002aa7: REVERT
00002aa8: JUMPDEST
00002aa9: DUP2
00002aaa: CALLDATALOAD
00002aab: PUSH1 0x20
00002aad: PUSH2 0x2ab5
00002ab0: DUP3
00002ab1: PUSH2 0x3179
00002ab4: JUMP
00002ab5: JUMPDEST
00002ab6: PUSH1 0x40
00002ab8: MLOAD
00002ab9: PUSH2 0x2ac2
00002abc: DUP3
00002abd: DUP3
00002abe: PUSH2 0x3226
00002ac1: JUMP
00002ac2: JUMPDEST
00002ac3: DUP4
00002ac4: DUP2
00002ac5: MSTORE
00002ac6: DUP3
00002ac7: DUP2
00002ac8: ADD
00002ac9: SWAP2
00002aca: POP
00002acb: DUP6
00002acc: DUP4
00002acd: ADD
00002ace: PUSH1 0x05
00002ad0: DUP6
00002ad1: SWAP1
00002ad2: SHL
00002ad3: DUP8
00002ad4: ADD
00002ad5: DUP5
00002ad6: ADD
00002ad7: DUP9
00002ad8: LT
00002ad9: ISZERO
00002ada: PUSH2 0x2ae2
00002add: JUMPI
00002ade: PUSH1 0x00
00002ae0: DUP1
00002ae1: REVERT
00002ae2: JUMPDEST
00002ae3: PUSH1 0x00
00002ae5: JUMPDEST
00002ae6: DUP6
00002ae7: DUP2
00002ae8: LT
00002ae9: ISZERO
00002aea: PUSH2 0x2a8a
00002aed: JUMPI
00002aee: DUP2
00002aef: CALLDATALOAD
00002af0: DUP5
00002af1: MSTORE
00002af2: SWAP3
00002af3: DUP5
00002af4: ADD
00002af5: SWAP3
00002af6: SWAP1
00002af7: DUP5
00002af8: ADD
00002af9: SWAP1
00002afa: PUSH1 0x01
00002afc: ADD
00002afd: PUSH2 0x2ae5
00002b00: JUMP
00002b01: JUMPDEST
00002b02: DUP1
00002b03: CALLDATALOAD
00002b04: DUP1
00002b05: ISZERO
00002b06: ISZERO
00002b07: DUP2
00002b08: EQ
00002b09: PUSH2 0x2b11
00002b0c: JUMPI
00002b0d: PUSH1 0x00
00002b0f: DUP1
00002b10: REVERT
00002b11: JUMPDEST
00002b12: SWAP2
00002b13: SWAP1
00002b14: POP
00002b15: JUMP
00002b16: JUMPDEST
00002b17: PUSH1 0x00
00002b19: DUP3
00002b1a: PUSH1 0x1f
00002b1c: DUP4
00002b1d: ADD
00002b1e: SLT
00002b1f: PUSH2 0x2b27
00002b22: JUMPI
00002b23: PUSH1 0x00
00002b25: DUP1
00002b26: REVERT
00002b27: JUMPDEST
00002b28: PUSH2 0x2b36
00002b2b: DUP4
00002b2c: DUP4
00002b2d: CALLDATALOAD
00002b2e: PUSH1 0x20
00002b30: DUP6
00002b31: ADD
00002b32: PUSH2 0x29b9
00002b35: JUMP
00002b36: JUMPDEST
00002b37: SWAP4
00002b38: SWAP3
00002b39: POP
00002b3a: POP
00002b3b: POP
00002b3c: JUMP
00002b3d: JUMPDEST
00002b3e: PUSH1 0x00
00002b40: PUSH1 0x20
00002b42: DUP3
00002b43: DUP5
00002b44: SUB
00002b45: SLT
00002b46: ISZERO
00002b47: PUSH2 0x2b4f
00002b4a: JUMPI
00002b4b: PUSH1 0x00
00002b4d: DUP1
00002b4e: REVERT
00002b4f: JUMPDEST
00002b50: DUP2
00002b51: CALLDATALOAD
00002b52: PUSH2 0x2b36
00002b55: DUP2
00002b56: PUSH2 0x3355
00002b59: JUMP
00002b5a: JUMPDEST
00002b5b: PUSH1 0x00
00002b5d: DUP1
00002b5e: PUSH1 0x40
00002b60: DUP4
00002b61: DUP6
00002b62: SUB
00002b63: SLT
00002b64: ISZERO
00002b65: PUSH2 0x2b6d
00002b68: JUMPI
00002b69: PUSH1 0x00
00002b6b: DUP1
00002b6c: REVERT
00002b6d: JUMPDEST
00002b6e: DUP3
00002b6f: CALLDATALOAD
00002b70: PUSH2 0x2b78
00002b73: DUP2
00002b74: PUSH2 0x3355
00002b77: JUMP
00002b78: JUMPDEST
00002b79: SWAP2
00002b7a: POP
00002b7b: PUSH1 0x20
00002b7d: DUP4
00002b7e: ADD
00002b7f: CALLDATALOAD
00002b80: PUSH2 0x2b88
00002b83: DUP2
00002b84: PUSH2 0x3355
00002b87: JUMP
00002b88: JUMPDEST
00002b89: DUP1
00002b8a: SWAP2
00002b8b: POP
00002b8c: POP
00002b8d: SWAP3
00002b8e: POP
00002b8f: SWAP3
00002b90: SWAP1
00002b91: POP
00002b92: JUMP
00002b93: JUMPDEST
00002b94: PUSH1 0x00
00002b96: DUP1
00002b97: PUSH1 0x00
00002b99: DUP1
00002b9a: PUSH1 0x00
00002b9c: PUSH1 0xa0
00002b9e: DUP7
00002b9f: DUP9
00002ba0: SUB
00002ba1: SLT
00002ba2: ISZERO
00002ba3: PUSH2 0x2bab
00002ba6: JUMPI
00002ba7: PUSH1 0x00
00002ba9: DUP1
00002baa: REVERT
00002bab: JUMPDEST
00002bac: DUP6
00002bad: CALLDATALOAD
00002bae: PUSH2 0x2bb6
00002bb1: DUP2
00002bb2: PUSH2 0x3355
00002bb5: JUMP
00002bb6: JUMPDEST
00002bb7: SWAP5
00002bb8: POP
00002bb9: PUSH1 0x20
00002bbb: DUP7
00002bbc: ADD
00002bbd: CALLDATALOAD
00002bbe: PUSH2 0x2bc6
00002bc1: DUP2
00002bc2: PUSH2 0x3355
00002bc5: JUMP
00002bc6: JUMPDEST
00002bc7: SWAP4
00002bc8: POP
00002bc9: PUSH1 0x40
00002bcb: DUP7
00002bcc: ADD
00002bcd: CALLDATALOAD
00002bce: PUSH8 0xffffffffffffffff
00002bd7: DUP1
00002bd8: DUP3
00002bd9: GT
00002bda: ISZERO
00002bdb: PUSH2 0x2be3
00002bde: JUMPI
00002bdf: PUSH1 0x00
00002be1: DUP1
00002be2: REVERT
00002be3: JUMPDEST
00002be4: PUSH2 0x2bef
00002be7: DUP10
00002be8: DUP4
00002be9: DUP11
00002bea: ADD
00002beb: PUSH2 0x2a97
00002bee: JUMP
00002bef: JUMPDEST
00002bf0: SWAP5
00002bf1: POP
00002bf2: PUSH1 0x60
00002bf4: DUP9
00002bf5: ADD
00002bf6: CALLDATALOAD
00002bf7: SWAP2
00002bf8: POP
00002bf9: DUP1
00002bfa: DUP3
00002bfb: GT
00002bfc: ISZERO
00002bfd: PUSH2 0x2c05
00002c00: JUMPI
00002c01: PUSH1 0x00
00002c03: DUP1
00002c04: REVERT
00002c05: JUMPDEST
00002c06: PUSH2 0x2c11
00002c09: DUP10
00002c0a: DUP4
00002c0b: DUP11
00002c0c: ADD
00002c0d: PUSH2 0x2a97
00002c10: JUMP
00002c11: JUMPDEST
00002c12: SWAP4
00002c13: POP
00002c14: PUSH1 0x80
00002c16: DUP9
00002c17: ADD
00002c18: CALLDATALOAD
00002c19: SWAP2
00002c1a: POP
00002c1b: DUP1
00002c1c: DUP3
00002c1d: GT
00002c1e: ISZERO
00002c1f: PUSH2 0x2c27
00002c22: JUMPI
00002c23: PUSH1 0x00
00002c25: DUP1
00002c26: REVERT
00002c27: JUMPDEST
00002c28: POP
00002c29: PUSH2 0x2c34
00002c2c: DUP9
00002c2d: DUP3
00002c2e: DUP10
00002c2f: ADD
00002c30: PUSH2 0x2b16
00002c33: JUMP
00002c34: JUMPDEST
00002c35: SWAP2
00002c36: POP
00002c37: POP
00002c38: SWAP3
00002c39: SWAP6
00002c3a: POP
00002c3b: SWAP3
00002c3c: SWAP6
00002c3d: SWAP1
00002c3e: SWAP4
00002c3f: POP
00002c40: JUMP
00002c41: JUMPDEST
00002c42: PUSH1 0x00
00002c44: DUP1
00002c45: PUSH1 0x00
00002c47: DUP1
00002c48: PUSH1 0x00
00002c4a: PUSH1 0xa0
00002c4c: DUP7
00002c4d: DUP9
00002c4e: SUB
00002c4f: SLT
00002c50: ISZERO
00002c51: PUSH2 0x2c59
00002c54: JUMPI
00002c55: PUSH1 0x00
00002c57: DUP1
00002c58: REVERT
00002c59: JUMPDEST
00002c5a: DUP6
00002c5b: CALLDATALOAD
00002c5c: PUSH2 0x2c64
00002c5f: DUP2
00002c60: PUSH2 0x3355
00002c63: JUMP
00002c64: JUMPDEST
00002c65: SWAP5
00002c66: POP
00002c67: PUSH1 0x20
00002c69: DUP7
00002c6a: ADD
00002c6b: CALLDATALOAD
00002c6c: PUSH2 0x2c74
00002c6f: DUP2
00002c70: PUSH2 0x3355
00002c73: JUMP
00002c74: JUMPDEST
00002c75: SWAP4
00002c76: POP
00002c77: PUSH1 0x40
00002c79: DUP7
00002c7a: ADD
00002c7b: CALLDATALOAD
00002c7c: SWAP3
00002c7d: POP
00002c7e: PUSH1 0x60
00002c80: DUP7
00002c81: ADD
00002c82: CALLDATALOAD
00002c83: SWAP2
00002c84: POP
00002c85: PUSH1 0x80
00002c87: DUP7
00002c88: ADD
00002c89: CALLDATALOAD
00002c8a: PUSH8 0xffffffffffffffff
00002c93: DUP2
00002c94: GT
00002c95: ISZERO
00002c96: PUSH2 0x2c9e
00002c99: JUMPI
00002c9a: PUSH1 0x00
00002c9c: DUP1
00002c9d: REVERT
00002c9e: JUMPDEST
00002c9f: PUSH2 0x2c34
00002ca2: DUP9
00002ca3: DUP3
00002ca4: DUP10
00002ca5: ADD
00002ca6: PUSH2 0x2b16
00002ca9: JUMP
00002caa: JUMPDEST
00002cab: PUSH1 0x00
00002cad: DUP1
00002cae: PUSH1 0x00
00002cb0: PUSH1 0x60
00002cb2: DUP5
00002cb3: DUP7
00002cb4: SUB
00002cb5: SLT
00002cb6: ISZERO
00002cb7: PUSH2 0x2cbf
00002cba: JUMPI
00002cbb: PUSH1 0x00
00002cbd: DUP1
00002cbe: REVERT
00002cbf: JUMPDEST
00002cc0: DUP4
00002cc1: CALLDATALOAD
00002cc2: PUSH2 0x2cca
00002cc5: DUP2
00002cc6: PUSH2 0x3355
00002cc9: JUMP
00002cca: JUMPDEST
00002ccb: SWAP3
00002ccc: POP
00002ccd: PUSH1 0x20
00002ccf: DUP5
00002cd0: ADD
00002cd1: CALLDATALOAD
00002cd2: PUSH8 0xffffffffffffffff
00002cdb: DUP1
00002cdc: DUP3
00002cdd: GT
00002cde: ISZERO
00002cdf: PUSH2 0x2ce7
00002ce2: JUMPI
00002ce3: PUSH1 0x00
00002ce5: DUP1
00002ce6: REVERT
00002ce7: JUMPDEST
00002ce8: PUSH2 0x2cf3
00002ceb: DUP8
00002cec: DUP4
00002ced: DUP9
00002cee: ADD
00002cef: PUSH2 0x2a97
00002cf2: JUMP
00002cf3: JUMPDEST
00002cf4: SWAP4
00002cf5: POP
00002cf6: PUSH1 0x40
00002cf8: DUP7
00002cf9: ADD
00002cfa: CALLDATALOAD
00002cfb: SWAP2
00002cfc: POP
00002cfd: DUP1
00002cfe: DUP3
00002cff: GT
00002d00: ISZERO
00002d01: PUSH2 0x2d09
00002d04: JUMPI
00002d05: PUSH1 0x00
00002d07: DUP1
00002d08: REVERT
00002d09: JUMPDEST
00002d0a: POP
00002d0b: PUSH2 0x2d16
00002d0e: DUP7
00002d0f: DUP3
00002d10: DUP8
00002d11: ADD
00002d12: PUSH2 0x2a97
00002d15: JUMP
00002d16: JUMPDEST
00002d17: SWAP2
00002d18: POP
00002d19: POP
00002d1a: SWAP3
00002d1b: POP
00002d1c: SWAP3
00002d1d: POP
00002d1e: SWAP3
00002d1f: JUMP
00002d20: JUMPDEST
00002d21: PUSH1 0x00
00002d23: DUP1
00002d24: PUSH1 0x40
00002d26: DUP4
00002d27: DUP6
00002d28: SUB
00002d29: SLT
00002d2a: ISZERO
00002d2b: PUSH2 0x2d33
00002d2e: JUMPI
00002d2f: PUSH1 0x00
00002d31: DUP1
00002d32: REVERT
00002d33: JUMPDEST
00002d34: DUP3
00002d35: CALLDATALOAD
00002d36: PUSH2 0x2d3e
00002d39: DUP2
00002d3a: PUSH2 0x3355
00002d3d: JUMP
00002d3e: JUMPDEST
00002d3f: SWAP2
00002d40: POP
00002d41: PUSH2 0x2d4c
00002d44: PUSH1 0x20
00002d46: DUP5
00002d47: ADD
00002d48: PUSH2 0x2b01
00002d4b: JUMP
00002d4c: JUMPDEST
00002d4d: SWAP1
00002d4e: POP
00002d4f: SWAP3
00002d50: POP
00002d51: SWAP3
00002d52: SWAP1
00002d53: POP
00002d54: JUMP
00002d55: JUMPDEST
00002d56: PUSH1 0x00
00002d58: DUP1
00002d59: PUSH1 0x40
00002d5b: DUP4
00002d5c: DUP6
00002d5d: SUB
00002d5e: SLT
00002d5f: ISZERO
00002d60: PUSH2 0x2d68
00002d63: JUMPI
00002d64: PUSH1 0x00
00002d66: DUP1
00002d67: REVERT
00002d68: JUMPDEST
00002d69: DUP3
00002d6a: CALLDATALOAD
00002d6b: PUSH2 0x2d73
00002d6e: DUP2
00002d6f: PUSH2 0x3355
00002d72: JUMP
00002d73: JUMPDEST
00002d74: SWAP5
00002d75: PUSH1 0x20
00002d77: SWAP4
00002d78: SWAP1
00002d79: SWAP4
00002d7a: ADD
00002d7b: CALLDATALOAD
00002d7c: SWAP4
00002d7d: POP
00002d7e: POP
00002d7f: POP
00002d80: JUMP
00002d81: JUMPDEST
00002d82: PUSH1 0x00
00002d84: DUP1
00002d85: PUSH1 0x00
00002d87: PUSH1 0x60
00002d89: DUP5
00002d8a: DUP7
00002d8b: SUB
00002d8c: SLT
00002d8d: ISZERO
00002d8e: PUSH2 0x2d96
00002d91: JUMPI
00002d92: PUSH1 0x00
00002d94: DUP1
00002d95: REVERT
00002d96: JUMPDEST
00002d97: DUP4
00002d98: CALLDATALOAD
00002d99: PUSH2 0x2da1
00002d9c: DUP2
00002d9d: PUSH2 0x3355
00002da0: JUMP
00002da1: JUMPDEST
00002da2: SWAP6
00002da3: PUSH1 0x20
00002da5: DUP6
00002da6: ADD
00002da7: CALLDATALOAD
00002da8: SWAP6
00002da9: POP
00002daa: PUSH1 0x40
00002dac: SWAP1
00002dad: SWAP5
00002dae: ADD
00002daf: CALLDATALOAD
00002db0: SWAP4
00002db1: SWAP3
00002db2: POP
00002db3: POP
00002db4: POP
00002db5: JUMP
00002db6: JUMPDEST
00002db7: PUSH1 0x00
00002db9: DUP1
00002dba: PUSH1 0x40
00002dbc: DUP4
00002dbd: DUP6
00002dbe: SUB
00002dbf: SLT
00002dc0: ISZERO
00002dc1: PUSH2 0x2dc9
00002dc4: JUMPI
00002dc5: PUSH1 0x00
00002dc7: DUP1
00002dc8: REVERT
00002dc9: JUMPDEST
00002dca: DUP3
00002dcb: CALLDATALOAD
00002dcc: PUSH2 0x2dd4
00002dcf: DUP2
00002dd0: PUSH2 0x3355
00002dd3: JUMP
00002dd4: JUMPDEST
00002dd5: SWAP2
00002dd6: POP
00002dd7: PUSH1 0x20
00002dd9: DUP4
00002dda: ADD
00002ddb: CALLDATALOAD
00002ddc: PUSH1 0xff
00002dde: DUP2
00002ddf: AND
00002de0: DUP2
00002de1: EQ
00002de2: PUSH2 0x2b88
00002de5: JUMPI
00002de6: PUSH1 0x00
00002de8: DUP1
00002de9: REVERT
00002dea: JUMPDEST
00002deb: PUSH1 0x00
00002ded: DUP1
00002dee: PUSH1 0x40
00002df0: DUP4
00002df1: DUP6
00002df2: SUB
00002df3: SLT
00002df4: ISZERO
00002df5: PUSH2 0x2dfd
00002df8: JUMPI
00002df9: PUSH1 0x00
00002dfb: DUP1
00002dfc: REVERT
00002dfd: JUMPDEST
00002dfe: DUP3
00002dff: CALLDATALOAD
00002e00: PUSH8 0xffffffffffffffff
00002e09: DUP1
00002e0a: DUP3
00002e0b: GT
00002e0c: ISZERO
00002e0d: PUSH2 0x2e15
00002e10: JUMPI
00002e11: PUSH1 0x00
00002e13: DUP1
00002e14: REVERT
00002e15: JUMPDEST
00002e16: PUSH2 0x2e21
00002e19: DUP7
00002e1a: DUP4
00002e1b: DUP8
00002e1c: ADD
00002e1d: PUSH2 0x2a17
00002e20: JUMP
00002e21: JUMPDEST
00002e22: SWAP4
00002e23: POP
00002e24: PUSH1 0x20
00002e26: DUP6
00002e27: ADD
00002e28: CALLDATALOAD
00002e29: SWAP2
00002e2a: POP
00002e2b: DUP1
00002e2c: DUP3
00002e2d: GT
00002e2e: ISZERO
00002e2f: PUSH2 0x2e37
00002e32: JUMPI
00002e33: PUSH1 0x00
00002e35: DUP1
00002e36: REVERT
00002e37: JUMPDEST
00002e38: POP
00002e39: PUSH2 0x2e44
00002e3c: DUP6
00002e3d: DUP3
00002e3e: DUP7
00002e3f: ADD
00002e40: PUSH2 0x2a97
00002e43: JUMP
00002e44: JUMPDEST
00002e45: SWAP2
00002e46: POP
00002e47: POP
00002e48: SWAP3
00002e49: POP
00002e4a: SWAP3
00002e4b: SWAP1
00002e4c: POP
00002e4d: JUMP
00002e4e: JUMPDEST
00002e4f: PUSH1 0x00
00002e51: DUP1
00002e52: PUSH1 0x40
00002e54: DUP4
00002e55: DUP6
00002e56: SUB
00002e57: SLT
00002e58: ISZERO
00002e59: PUSH2 0x2e61
00002e5c: JUMPI
00002e5d: PUSH1 0x00
00002e5f: DUP1
00002e60: REVERT
00002e61: JUMPDEST
00002e62: DUP3
00002e63: CALLDATALOAD
00002e64: PUSH8 0xffffffffffffffff
00002e6d: DUP2
00002e6e: GT
00002e6f: ISZERO
00002e70: PUSH2 0x2e78
00002e73: JUMPI
00002e74: PUSH1 0x00
00002e76: DUP1
00002e77: REVERT
00002e78: JUMPDEST
00002e79: PUSH2 0x2e84
00002e7c: DUP6
00002e7d: DUP3
00002e7e: DUP7
00002e7f: ADD
00002e80: PUSH2 0x2a17
00002e83: JUMP
00002e84: JUMPDEST
00002e85: SWAP6
00002e86: PUSH1 0x20
00002e88: SWAP5
00002e89: SWAP1
00002e8a: SWAP5
00002e8b: ADD
00002e8c: CALLDATALOAD
00002e8d: SWAP5
00002e8e: POP
00002e8f: POP
00002e90: POP
00002e91: POP
00002e92: JUMP
00002e93: JUMPDEST
00002e94: PUSH1 0x00
00002e96: DUP1
00002e97: PUSH1 0x00
00002e99: PUSH1 0x60
00002e9b: DUP5
00002e9c: DUP7
00002e9d: SUB
00002e9e: SLT
00002e9f: ISZERO
00002ea0: PUSH2 0x2ea8
00002ea3: JUMPI
00002ea4: PUSH1 0x00
00002ea6: DUP1
00002ea7: REVERT
00002ea8: JUMPDEST
00002ea9: DUP4
00002eaa: CALLDATALOAD
00002eab: PUSH8 0xffffffffffffffff
00002eb4: DUP2
00002eb5: GT
00002eb6: ISZERO
00002eb7: PUSH2 0x2ebf
00002eba: JUMPI
00002ebb: PUSH1 0x00
00002ebd: DUP1
00002ebe: REVERT
00002ebf: JUMPDEST
00002ec0: PUSH2 0x2ecb
00002ec3: DUP7
00002ec4: DUP3
00002ec5: DUP8
00002ec6: ADD
00002ec7: PUSH2 0x2a17
00002eca: JUMP
00002ecb: JUMPDEST
00002ecc: SWAP7
00002ecd: PUSH1 0x20
00002ecf: DUP7
00002ed0: ADD
00002ed1: CALLDATALOAD
00002ed2: SWAP7
00002ed3: POP
00002ed4: PUSH1 0x40
00002ed6: SWAP1
00002ed7: SWAP6
00002ed8: ADD
00002ed9: CALLDATALOAD
00002eda: SWAP5
00002edb: SWAP4
00002edc: POP
00002edd: POP
00002ede: POP
00002edf: POP
00002ee0: JUMP
00002ee1: JUMPDEST
00002ee2: PUSH1 0x00
00002ee4: PUSH1 0x20
00002ee6: DUP3
00002ee7: DUP5
00002ee8: SUB
00002ee9: SLT
00002eea: ISZERO
00002eeb: PUSH2 0x2ef3
00002eee: JUMPI
00002eef: PUSH1 0x00
00002ef1: DUP1
00002ef2: REVERT
00002ef3: JUMPDEST
00002ef4: PUSH2 0x2b36
00002ef7: DUP3
00002ef8: PUSH2 0x2b01
00002efb: JUMP
00002efc: JUMPDEST
00002efd: PUSH1 0x00
00002eff: PUSH1 0x20
00002f01: DUP3
00002f02: DUP5
00002f03: SUB
00002f04: SLT
00002f05: ISZERO
00002f06: PUSH2 0x2f0e
00002f09: JUMPI
00002f0a: PUSH1 0x00
00002f0c: DUP1
00002f0d: REVERT
00002f0e: JUMPDEST
00002f0f: DUP2
00002f10: CALLDATALOAD
00002f11: PUSH2 0x2b36
00002f14: DUP2
00002f15: PUSH2 0x336a
00002f18: JUMP
00002f19: JUMPDEST
00002f1a: PUSH1 0x00
00002f1c: PUSH1 0x20
00002f1e: DUP3
00002f1f: DUP5
00002f20: SUB
00002f21: SLT
00002f22: ISZERO
00002f23: PUSH2 0x2f2b
00002f26: JUMPI
00002f27: PUSH1 0x00
00002f29: DUP1
00002f2a: REVERT
00002f2b: JUMPDEST
00002f2c: DUP2
00002f2d: MLOAD
00002f2e: PUSH2 0x2b36
00002f31: DUP2
00002f32: PUSH2 0x336a
00002f35: JUMP
00002f36: JUMPDEST
00002f37: PUSH1 0x00
00002f39: PUSH1 0x20
00002f3b: DUP3
00002f3c: DUP5
00002f3d: SUB
00002f3e: SLT
00002f3f: ISZERO
00002f40: PUSH2 0x2f48
00002f43: JUMPI
00002f44: PUSH1 0x00
00002f46: DUP1
00002f47: REVERT
00002f48: JUMPDEST
00002f49: DUP2
00002f4a: MLOAD
00002f4b: PUSH2 0x2b36
00002f4e: DUP2
00002f4f: PUSH2 0x3355
00002f52: JUMP
00002f53: JUMPDEST
00002f54: PUSH1 0x00
00002f56: PUSH1 0x20
00002f58: DUP3
00002f59: DUP5
00002f5a: SUB
00002f5b: SLT
00002f5c: ISZERO
00002f5d: PUSH2 0x2f65
00002f60: JUMPI
00002f61: PUSH1 0x00
00002f63: DUP1
00002f64: REVERT
00002f65: JUMPDEST
00002f66: DUP2
00002f67: CALLDATALOAD
00002f68: PUSH8 0xffffffffffffffff
00002f71: DUP2
00002f72: GT
00002f73: ISZERO
00002f74: PUSH2 0x2f7c
00002f77: JUMPI
00002f78: PUSH1 0x00
00002f7a: DUP1
00002f7b: REVERT
00002f7c: JUMPDEST
00002f7d: DUP3
00002f7e: ADD
00002f7f: PUSH1 0x1f
00002f81: DUP2
00002f82: ADD
00002f83: DUP5
00002f84: SGT
00002f85: PUSH2 0x2f8d
00002f88: JUMPI
00002f89: PUSH1 0x00
00002f8b: DUP1
00002f8c: REVERT
00002f8d: JUMPDEST
00002f8e: PUSH2 0x193c
00002f91: DUP5
00002f92: DUP3
00002f93: CALLDATALOAD
00002f94: PUSH1 0x20
00002f96: DUP5
00002f97: ADD
00002f98: PUSH2 0x29b9
00002f9b: JUMP
00002f9c: JUMPDEST
00002f9d: PUSH1 0x00
00002f9f: PUSH1 0x20
00002fa1: DUP3
00002fa2: DUP5
00002fa3: SUB
00002fa4: SLT
00002fa5: ISZERO
00002fa6: PUSH2 0x2fae
00002fa9: JUMPI
00002faa: PUSH1 0x00
00002fac: DUP1
00002fad: REVERT
00002fae: JUMPDEST
00002faf: POP
00002fb0: CALLDATALOAD
00002fb1: SWAP2
00002fb2: SWAP1
00002fb3: POP
00002fb4: JUMP
00002fb5: JUMPDEST
00002fb6: PUSH1 0x00
00002fb8: DUP1
00002fb9: PUSH1 0x40
00002fbb: DUP4
00002fbc: DUP6
00002fbd: SUB
00002fbe: SLT
00002fbf: ISZERO
00002fc0: PUSH2 0x2fc8
00002fc3: JUMPI
00002fc4: PUSH1 0x00
00002fc6: DUP1
00002fc7: REVERT
00002fc8: JUMPDEST
00002fc9: DUP3
00002fca: CALLDATALOAD
00002fcb: SWAP2
00002fcc: POP
00002fcd: PUSH1 0x20
00002fcf: DUP4
00002fd0: ADD
00002fd1: CALLDATALOAD
00002fd2: PUSH2 0x2b88
00002fd5: DUP2
00002fd6: PUSH2 0x3355
00002fd9: JUMP
00002fda: JUMPDEST
00002fdb: PUSH1 0x00
00002fdd: DUP1
00002fde: PUSH1 0x40
00002fe0: DUP4
00002fe1: DUP6
00002fe2: SUB
00002fe3: SLT
00002fe4: ISZERO
00002fe5: PUSH2 0x2fed
00002fe8: JUMPI
00002fe9: PUSH1 0x00
00002feb: DUP1
00002fec: REVERT
00002fed: JUMPDEST
00002fee: POP
00002fef: POP
00002ff0: DUP1
00002ff1: CALLDATALOAD
00002ff2: SWAP3
00002ff3: PUSH1 0x20
00002ff5: SWAP1
00002ff6: SWAP2
00002ff7: ADD
00002ff8: CALLDATALOAD
00002ff9: SWAP2
00002ffa: POP
00002ffb: JUMP
00002ffc: JUMPDEST
00002ffd: PUSH1 0x00
00002fff: DUP2
00003000: MLOAD
00003001: DUP1
00003002: DUP5
00003003: MSTORE
00003004: PUSH1 0x20
00003006: DUP1
00003007: DUP6
00003008: ADD
00003009: SWAP5
0000300a: POP
0000300b: DUP1
0000300c: DUP5
0000300d: ADD
0000300e: PUSH1 0x00
00003010: JUMPDEST
00003011: DUP4
00003012: DUP2
00003013: LT
00003014: ISZERO
00003015: PUSH2 0x302c
00003018: JUMPI
00003019: DUP2
0000301a: MLOAD
0000301b: DUP8
0000301c: MSTORE
0000301d: SWAP6
0000301e: DUP3
0000301f: ADD
00003020: SWAP6
00003021: SWAP1
00003022: DUP3
00003023: ADD
00003024: SWAP1
00003025: PUSH1 0x01
00003027: ADD
00003028: PUSH2 0x3010
0000302b: JUMP
0000302c: JUMPDEST
0000302d: POP
0000302e: SWAP5
0000302f: SWAP6
00003030: SWAP5
00003031: POP
00003032: POP
00003033: POP
00003034: POP
00003035: POP
00003036: JUMP
00003037: JUMPDEST
00003038: PUSH1 0x00
0000303a: DUP2
0000303b: MLOAD
0000303c: DUP1
0000303d: DUP5
0000303e: MSTORE
0000303f: PUSH1 0x00
00003041: JUMPDEST
00003042: DUP2
00003043: DUP2
00003044: LT
00003045: ISZERO
00003046: PUSH2 0x305d
00003049: JUMPI
0000304a: PUSH1 0x20
0000304c: DUP2
0000304d: DUP6
0000304e: ADD
0000304f: DUP2
00003050: ADD
00003051: MLOAD
00003052: DUP7
00003053: DUP4
00003054: ADD
00003055: DUP3
00003056: ADD
00003057: MSTORE
00003058: ADD
00003059: PUSH2 0x3041
0000305c: JUMP
0000305d: JUMPDEST
0000305e: DUP2
0000305f: DUP2
00003060: GT
00003061: ISZERO
00003062: PUSH2 0x306f
00003065: JUMPI
00003066: PUSH1 0x00
00003068: PUSH1 0x20
0000306a: DUP4
0000306b: DUP8
0000306c: ADD
0000306d: ADD
0000306e: MSTORE
0000306f: JUMPDEST
00003070: POP
00003071: PUSH1 0x1f
00003073: ADD
00003074: PUSH1 0x1f
00003076: NOT
00003077: AND
00003078: SWAP3
00003079: SWAP1
0000307a: SWAP3
0000307b: ADD
0000307c: PUSH1 0x20
0000307e: ADD
0000307f: SWAP3
00003080: SWAP2
00003081: POP
00003082: POP
00003083: JUMP
00003084: JUMPDEST
00003085: PUSH1 0x00
00003087: PUSH1 0x01
00003089: PUSH1 0x01
0000308b: PUSH1 0xa0
0000308d: SHL
0000308e: SUB
0000308f: DUP1
00003090: DUP9
00003091: AND
00003092: DUP4
00003093: MSTORE
00003094: DUP1
00003095: DUP8
00003096: AND
00003097: PUSH1 0x20
00003099: DUP5
0000309a: ADD
0000309b: MSTORE
0000309c: POP
0000309d: PUSH1 0xa0
0000309f: PUSH1 0x40
000030a1: DUP4
000030a2: ADD
000030a3: MSTORE
000030a4: PUSH2 0x30b0
000030a7: PUSH1 0xa0
000030a9: DUP4
000030aa: ADD
000030ab: DUP7
000030ac: PUSH2 0x2ffc
000030af: JUMP
000030b0: JUMPDEST
000030b1: DUP3
000030b2: DUP2
000030b3: SUB
000030b4: PUSH1 0x60
000030b6: DUP5
000030b7: ADD
000030b8: MSTORE
000030b9: PUSH2 0x30c2
000030bc: DUP2
000030bd: DUP7
000030be: PUSH2 0x2ffc
000030c1: JUMP
000030c2: JUMPDEST
000030c3: SWAP1
000030c4: POP
000030c5: DUP3
000030c6: DUP2
000030c7: SUB
000030c8: PUSH1 0x80
000030ca: DUP5
000030cb: ADD
000030cc: MSTORE
000030cd: PUSH2 0x30d6
000030d0: DUP2
000030d1: DUP6
000030d2: PUSH2 0x3037
000030d5: JUMP
000030d6: JUMPDEST
000030d7: SWAP9
000030d8: SWAP8
000030d9: POP
000030da: POP
000030db: POP
000030dc: POP
000030dd: POP
000030de: POP
000030df: POP
000030e0: POP
000030e1: JUMP
000030e2: JUMPDEST
000030e3: PUSH1 0x00
000030e5: PUSH1 0x01
000030e7: PUSH1 0x01
000030e9: PUSH1 0xa0
000030eb: SHL
000030ec: SUB
000030ed: DUP1
000030ee: DUP9
000030ef: AND
000030f0: DUP4
000030f1: MSTORE
000030f2: DUP1
000030f3: DUP8
000030f4: AND
000030f5: PUSH1 0x20
000030f7: DUP5
000030f8: ADD
000030f9: MSTORE
000030fa: POP
000030fb: DUP5
000030fc: PUSH1 0x40
000030fe: DUP4
000030ff: ADD
00003100: MSTORE
00003101: DUP4
00003102: PUSH1 0x60
00003104: DUP4
00003105: ADD
00003106: MSTORE
00003107: PUSH1 0xa0
00003109: PUSH1 0x80
0000310b: DUP4
0000310c: ADD
0000310d: MSTORE
0000310e: PUSH2 0x311a
00003111: PUSH1 0xa0
00003113: DUP4
00003114: ADD
00003115: DUP5
00003116: PUSH2 0x3037
00003119: JUMP
0000311a: JUMPDEST
0000311b: SWAP8
0000311c: SWAP7
0000311d: POP
0000311e: POP
0000311f: POP
00003120: POP
00003121: POP
00003122: POP
00003123: POP
00003124: JUMP
00003125: JUMPDEST
00003126: PUSH1 0x20
00003128: DUP2
00003129: MSTORE
0000312a: PUSH1 0x00
0000312c: PUSH2 0x2b36
0000312f: PUSH1 0x20
00003131: DUP4
00003132: ADD
00003133: DUP5
00003134: PUSH2 0x2ffc
00003137: JUMP
00003138: JUMPDEST
00003139: PUSH1 0x40
0000313b: DUP2
0000313c: MSTORE
0000313d: PUSH1 0x00
0000313f: PUSH2 0x314b
00003142: PUSH1 0x40
00003144: DUP4
00003145: ADD
00003146: DUP6
00003147: PUSH2 0x2ffc
0000314a: JUMP
0000314b: JUMPDEST
0000314c: DUP3
0000314d: DUP2
0000314e: SUB
0000314f: PUSH1 0x20
00003151: DUP5
00003152: ADD
00003153: MSTORE
00003154: PUSH2 0x315d
00003157: DUP2
00003158: DUP6
00003159: PUSH2 0x2ffc
0000315c: JUMP
0000315d: JUMPDEST
0000315e: SWAP6
0000315f: SWAP5
00003160: POP
00003161: POP
00003162: POP
00003163: POP
00003164: POP
00003165: JUMP
00003166: JUMPDEST
00003167: PUSH1 0x20
00003169: DUP2
0000316a: MSTORE
0000316b: PUSH1 0x00
0000316d: PUSH2 0x2b36
00003170: PUSH1 0x20
00003172: DUP4
00003173: ADD
00003174: DUP5
00003175: PUSH2 0x3037
00003178: JUMP
00003179: JUMPDEST
0000317a: PUSH1 0x00
0000317c: PUSH8 0xffffffffffffffff
00003185: DUP3
00003186: GT
00003187: ISZERO
00003188: PUSH2 0x3193
0000318b: JUMPI
0000318c: PUSH2 0x3193
0000318f: PUSH2 0x329a
00003192: JUMP
00003193: JUMPDEST
00003194: POP
00003195: PUSH1 0x05
00003197: SHL
00003198: PUSH1 0x20
0000319a: ADD
0000319b: SWAP1
0000319c: JUMP
0000319d: JUMPDEST
0000319e: PUSH1 0x00
000031a0: DUP3
000031a1: NOT
000031a2: DUP3
000031a3: GT
000031a4: ISZERO
000031a5: PUSH2 0x31b0
000031a8: JUMPI
000031a9: PUSH2 0x31b0
000031ac: PUSH2 0x326e
000031af: JUMP
000031b0: JUMPDEST
000031b1: POP
000031b2: ADD
000031b3: SWAP1
000031b4: JUMP
000031b5: JUMPDEST
000031b6: PUSH1 0x00
000031b8: DUP2
000031b9: PUSH1 0x00
000031bb: NOT
000031bc: DIV
000031bd: DUP4
000031be: GT
000031bf: DUP3
000031c0: ISZERO
000031c1: ISZERO
000031c2: AND
000031c3: ISZERO
000031c4: PUSH2 0x31cf
000031c7: JUMPI
000031c8: PUSH2 0x31cf
000031cb: PUSH2 0x326e
000031ce: JUMP
000031cf: JUMPDEST
000031d0: POP
000031d1: MUL
000031d2: SWAP1
000031d3: JUMP
000031d4: JUMPDEST
000031d5: PUSH1 0x00
000031d7: DUP3
000031d8: DUP3
000031d9: LT
000031da: ISZERO
000031db: PUSH2 0x31e6
000031de: JUMPI
000031df: PUSH2 0x31e6
000031e2: PUSH2 0x326e
000031e5: JUMP
000031e6: JUMPDEST
000031e7: POP
000031e8: SUB
000031e9: SWAP1
000031ea: JUMP
000031eb: JUMPDEST
000031ec: PUSH1 0x01
000031ee: DUP2
000031ef: DUP2
000031f0: SHR
000031f1: SWAP1
000031f2: DUP3
000031f3: AND
000031f4: DUP1
000031f5: PUSH2 0x31ff
000031f8: JUMPI
000031f9: PUSH1 0x7f
000031fb: DUP3
000031fc: AND
000031fd: SWAP2
000031fe: POP
000031ff: JUMPDEST
00003200: PUSH1 0x20
00003202: DUP3
00003203: LT
00003204: DUP2
00003205: EQ
00003206: ISZERO
00003207: PUSH2 0x3220
0000320a: JUMPI
0000320b: PUSH4 0x4e487b71
00003210: PUSH1 0xe0
00003212: SHL
00003213: PUSH1 0x00
00003215: MSTORE
00003216: PUSH1 0x22
00003218: PUSH1 0x04
0000321a: MSTORE
0000321b: PUSH1 0x24
0000321d: PUSH1 0x00
0000321f: REVERT
00003220: JUMPDEST
00003221: POP
00003222: SWAP2
00003223: SWAP1
00003224: POP
00003225: JUMP
00003226: JUMPDEST
00003227: PUSH1 0x1f
00003229: DUP3
0000322a: ADD
0000322b: PUSH1 0x1f
0000322d: NOT
0000322e: AND
0000322f: DUP2
00003230: ADD
00003231: PUSH8 0xffffffffffffffff
0000323a: DUP2
0000323b: GT
0000323c: DUP3
0000323d: DUP3
0000323e: LT
0000323f: OR
00003240: ISZERO
00003241: PUSH2 0x324c
00003244: JUMPI
00003245: PUSH2 0x324c
00003248: PUSH2 0x329a
0000324b: JUMP
0000324c: JUMPDEST
0000324d: PUSH1 0x40
0000324f: MSTORE
00003250: POP
00003251: POP
00003252: JUMP
00003253: JUMPDEST
00003254: PUSH1 0x00
00003256: PUSH1 0x00
00003258: NOT
00003259: DUP3
0000325a: EQ
0000325b: ISZERO
0000325c: PUSH2 0x3267
0000325f: JUMPI
00003260: PUSH2 0x3267
00003263: PUSH2 0x326e
00003266: JUMP
00003267: JUMPDEST
00003268: POP
00003269: PUSH1 0x01
0000326b: ADD
0000326c: SWAP1
0000326d: JUMP
0000326e: JUMPDEST
0000326f: PUSH4 0x4e487b71
00003274: PUSH1 0xe0
00003276: SHL
00003277: PUSH1 0x00
00003279: MSTORE
0000327a: PUSH1 0x11
0000327c: PUSH1 0x04
0000327e: MSTORE
0000327f: PUSH1 0x24
00003281: PUSH1 0x00
00003283: REVERT
00003284: JUMPDEST
00003285: PUSH4 0x4e487b71
0000328a: PUSH1 0xe0
0000328c: SHL
0000328d: PUSH1 0x00
0000328f: MSTORE
00003290: PUSH1 0x32
00003292: PUSH1 0x04
00003294: MSTORE
00003295: PUSH1 0x24
00003297: PUSH1 0x00
00003299: REVERT
0000329a: JUMPDEST
0000329b: PUSH4 0x4e487b71
000032a0: PUSH1 0xe0
000032a2: SHL
000032a3: PUSH1 0x00
000032a5: MSTORE
000032a6: PUSH1 0x41
000032a8: PUSH1 0x04
000032aa: MSTORE
000032ab: PUSH1 0x24
000032ad: PUSH1 0x00
000032af: REVERT
000032b0: JUMPDEST
000032b1: PUSH1 0x00
000032b3: PUSH1 0x03
000032b5: RETURNDATASIZE
000032b6: GT
000032b7: ISZERO
000032b8: PUSH2 0x0bc7
000032bb: JUMPI
000032bc: PUSH1 0x04
000032be: PUSH1 0x00
000032c0: DUP1
000032c1: RETURNDATACOPY
000032c2: POP
000032c3: PUSH1 0x00
000032c5: MLOAD
000032c6: PUSH1 0xe0
000032c8: SHR
000032c9: SWAP1
000032ca: JUMP
000032cb: JUMPDEST
000032cc: PUSH1 0x00
000032ce: PUSH1 0x44
000032d0: RETURNDATASIZE
000032d1: LT
000032d2: ISZERO
000032d3: PUSH2 0x32d9
000032d6: JUMPI
000032d7: SWAP1
000032d8: JUMP
000032d9: JUMPDEST
000032da: PUSH1 0x40
000032dc: MLOAD
000032dd: PUSH1 0x03
000032df: NOT
000032e0: RETURNDATASIZE
000032e1: DUP2
000032e2: ADD
000032e3: PUSH1 0x04
000032e5: DUP4
000032e6: RETURNDATACOPY
000032e7: DUP2
000032e8: MLOAD
000032e9: RETURNDATASIZE
000032ea: PUSH8 0xffffffffffffffff
000032f3: DUP2
000032f4: PUSH1 0x24
000032f6: DUP5
000032f7: ADD
000032f8: GT
000032f9: DUP2
000032fa: DUP5
000032fb: GT
000032fc: OR
000032fd: ISZERO
000032fe: PUSH2 0x3309
00003301: JUMPI
00003302: POP
00003303: POP
00003304: POP
00003305: POP
00003306: POP
00003307: SWAP1
00003308: JUMP
00003309: JUMPDEST
0000330a: DUP3
0000330b: DUP6
0000330c: ADD
0000330d: SWAP2
0000330e: POP
0000330f: DUP2
00003310: MLOAD
00003311: DUP2
00003312: DUP2
00003313: GT
00003314: ISZERO
00003315: PUSH2 0x3321
00003318: JUMPI
00003319: POP
0000331a: POP
0000331b: POP
0000331c: POP
0000331d: POP
0000331e: POP
0000331f: SWAP1
00003320: JUMP
00003321: JUMPDEST
00003322: DUP5
00003323: RETURNDATASIZE
00003324: DUP8
00003325: ADD
00003326: ADD
00003327: PUSH1 0x20
00003329: DUP3
0000332a: DUP6
0000332b: ADD
0000332c: ADD
0000332d: GT
0000332e: ISZERO
0000332f: PUSH2 0x333b
00003332: JUMPI
00003333: POP
00003334: POP
00003335: POP
00003336: POP
00003337: POP
00003338: POP
00003339: SWAP1
0000333a: JUMP
0000333b: JUMPDEST
0000333c: PUSH2 0x334a
0000333f: PUSH1 0x20
00003341: DUP3
00003342: DUP7
00003343: ADD
00003344: ADD
00003345: DUP8
00003346: PUSH2 0x3226
00003349: JUMP
0000334a: JUMPDEST
0000334b: POP
0000334c: SWAP1
0000334d: SWAP6
0000334e: SWAP5
0000334f: POP
00003350: POP
00003351: POP
00003352: POP
00003353: POP
00003354: JUMP
00003355: JUMPDEST
00003356: PUSH1 0x01
00003358: PUSH1 0x01
0000335a: PUSH1 0xa0
0000335c: SHL
0000335d: SUB
0000335e: DUP2
0000335f: AND
00003360: DUP2
00003361: EQ
00003362: PUSH2 0x0814
00003365: JUMPI
00003366: PUSH1 0x00
00003368: DUP1
00003369: REVERT
0000336a: JUMPDEST
0000336b: PUSH1 0x01
0000336d: PUSH1 0x01
0000336f: PUSH1 0xe0
00003371: SHL
00003372: SUB
00003373: NOT
00003374: DUP2
00003375: AND
00003376: DUP2
00003377: EQ
00003378: PUSH2 0x0814
0000337b: JUMPI
0000337c: PUSH1 0x00
0000337e: DUP1
0000337f: REVERT
00003380: INVALID
00003381: UNKNOWN(0x4F)
00003382: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865
0000339b: KECCAK256
0000339c: PUSH16 0x776e6572a26469706673582212201db1
000033ad: PUSH9 0x96d0716d6f90743213
000033b7: UNKNOWN(0xD4)
000033b8: EXP
000033b9: SWAP2
000033ba: DUP13
000033bb: UNKNOWN(0x0D)
000033bc: CALLDATALOAD
000033bd: SWAP5
000033be: MSIZE
000033bf: UNKNOWN(0xBB)
000033c0: UNKNOWN(0xC3)
000033c1: LOG2
000033c2: SWAP10
000033c3: UNKNOWN(0xA8)
000033c4: SWAP7
000033c5: UNKNOWN(0x27)
000033c6: PUSH9 0xd96e64fa64736f6c63
000033d0: NUMBER
000033d1: STOP
000033d2: ADDMOD
000033d3: SMOD
000033d4: STOP
000033d5: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x55ba425b8693eab82b8324d68cef47c8dc8a9bd2de6bfcaf4994cb067344bbb6
call_targets: 0xa658542ca3265c00beb9a7b45a23503ed87c66c0
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x55ba425b8693eab82b8324d68cef47c8dc8a9bd2de6bfcaf4994cb067344bbb6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa658542ca3265c00beb9a7b45a23503ed87c66c0"
    ],
    "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": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf5298aca",
            "selector": "0xf5298aca",
            "calldata_variants": [
                "0xf5298aca",
                "0xf5298aca0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf7d97577",
            "selector": "0xf7d97577",
            "calldata_variants": [
                "0xf7d97577",
                "0xf7d975770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf242432a",
            "selector": "0xf242432a",
            "calldata_variants": [
                "0xf242432a",
                "0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc751958d",
            "selector": "0xc751958d",
            "calldata_variants": [
                "0xc751958d",
                "0xc751958d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd96a094a",
            "selector": "0xd96a094a",
            "calldata_variants": [
                "0xd96a094a",
                "0xd96a094a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdbd39392",
            "selector": "0xdbd39392",
            "calldata_variants": [
                "0xdbd39392",
                "0xdbd393920000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2900,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9846,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10358,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x55ba425b8693eab82b8324d68cef47c8dc8a9bd2de6bfcaf4994cb067344bbb6
call_targets: 0xa658542ca3265c00beb9a7b45a23503ed87c66c0
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x55ba425b8693eab82b8324d68cef47c8dc8a9bd2de6bfcaf4994cb067344bbb6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa658542ca3265c00beb9a7b45a23503ed87c66c0"
    ],
    "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": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf5298aca",
            "selector": "0xf5298aca",
            "calldata_variants": [
                "0xf5298aca",
                "0xf5298aca0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf7d97577",
            "selector": "0xf7d97577",
            "calldata_variants": [
                "0xf7d97577",
                "0xf7d975770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf242432a",
            "selector": "0xf242432a",
            "calldata_variants": [
                "0xf242432a",
                "0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc751958d",
            "selector": "0xc751958d",
            "calldata_variants": [
                "0xc751958d",
                "0xc751958d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd96a094a",
            "selector": "0xd96a094a",
            "calldata_variants": [
                "0xd96a094a",
                "0xd96a094a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdbd39392",
            "selector": "0xdbd39392",
            "calldata_variants": [
                "0xdbd39392",
                "0xdbd393920000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2900,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9846,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10358,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}
low reentrancy codex Untrusted external calls during ERC1155 receiver hooks (potential reentrancy surface) 65 no
view
evidence_json
{
    "evidence": "External CALLs to computed targets with gas are present at pc:9846 and pc:10358; returndata handling occurs after the call, but no guard is detected in auth.guards.",
    "locations": [
        "pc:9846",
        "pc:10358"
    ],
    "recommendation": "Ensure all state changes for transfers/mints are completed before calling external receivers and consider a reentrancy guard on externally callable state-mutating functions if invariants could be violated on reentry.",
    "exploit_scenario": "If a malicious receiver contract is called via onERC1155Received/onERC1155BatchReceived, it can reenter other functions while state is mid\u2011update. If any state updates or accounting occur after these calls, a reentrant call could bypass invariants (e.g., mint limits or balances). Evidence of a reentrancy guard is not detected, but guard detection is heuristic."
}
low access_control codex Low-level ETH sweep to caller uses SELFBALANCE and CALLER 65 no
view
evidence_json
{
    "evidence": "CALL at pc:2900 uses SELFBALANCE and CALLER as value/target; preceding block at pc:2803 performs CALLER EQ against a masked SLOAD (likely owner check).",
    "locations": [
        "pc:2900",
        "pc:2803"
    ],
    "recommendation": "Verify the withdraw/sweep function is strictly owner-only (or otherwise authorized) and that the owner slot is correctly initialized and not mutable by untrusted users. Consider emitting an event for withdrawals for monitoring.",
    "exploit_scenario": "The bytecode performs a low-level CALL sending the full contract balance to CALLER. If access control around this path is misconfigured or bypassable, any caller could drain ETH. The bytecode shows a CALLER==SLOAD(owner) check, but guard detection is heuristic and storage slot meaning is inferred."
}
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": 5
}