Analysis Run

{"no_findings":false,"summary":"Bytecode indicates low-level CALLs with computed targets/value and a CALLCODE opcode; reachability and target control are uncertain from bytecode-only analysis.","findings":[{"severity":"medium","category":"other","title":"CALLCODE to computed target may execute arbitrary code in caller storage","exploit_scenario":"If an attacker can influence the CALLCODE target or reach this path, they can execute attacker-controlled code in this contract’s storage context, potentially draining funds or overwriting critical state.","recommendation":"Avoid CALLCODE; inline the logic or use DELEGATECALL only to a vetted, immutable address. If this is intentional, hardcode/whitelist the target and enforce strict access control before the call, and verify call success.","evidence":"A CALLCODE opcode appears at pc 8878 with target/value categorized as computed and returndata_checked=null. The containing block (bb:8877) shows no inbound CFG edges, so reachability may be false-positive/unreachable data, but the opcode is present in runtime bytecode.","locations":["pc:0x22ae"]},{"severity":"low","category":"reentrancy","title":"Low-level CALLs with computed target/value and no detected guards","exploit_scenario":"If the call targets or value are user-controlled and any state updates happen before these calls, an attacker could trigger reentrancy or redirect ETH to arbitrary addresses; failures may be silent due to missing return-data checks.","recommendation":"Restrict call targets/values (e.g., owner/allowlist), check call success, and add reentrancy protection around state-changing external calls.","evidence":"Detector reports 6 CALL sites with computed target/value, guards_detected=[], and returndata_checked=null. Example CALLs at pc 4452/6433/6573. Validation trace observed a constant self-target once (0xed38…); untrustedness is not confirmed from bytecode alone.","locations":["pc:0x1164","pc:0x1921","pc:0x19ad"]}]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-4bj6n95r
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb4cf-b114-7fb3-b208-48e40480aaed
--------
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 file**
exec
/bin/bash -lc ls in /tmp/codex-4bj6n95r succeeded in 10ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-4bj6n95r succeeded in 8ms:
{
  "analysis_artifact": {
    "address": "0xed38db26a3a7643f4ea274c3e6139eb3d3a13d49",
    "artifact_hash": "0xd95224d9165c21378f48102ac040d6801a70237ea082c4d4a88a38808ec6af76",
    "artifact_json": {
      "auth": {
        "guards": []
      },
      "basic_blocks": [
        {
          "end_pc": 11,
          "hash": "0x7ba4403ad8c2da27f36a99883d9bd6831f00a99722adb0e607c72478344873a4",
          "opcodes": [
            "PUSH1",
            "PUSH1",
            "MSTORE",
            "CALLVALUE",
            "OP_80",
            "ISZERO",
            "PUSH2",

thinking
**Extracting and analyzing bytecode evidence**
exec
/bin/bash -lc 'rg -n "storage|slot|delegatecall|callcode|selfdestruct|eip-1967|beacon|proxy|implementation|upgrade" BYTECODE_BUNDLE.json' in /tmp/codex-4bj6n95r succeeded in 19ms:
11527:            "delegatecall": 0,
11528:            "selfdestruct": 0,
11531:          "storage": {
11533:            "slots": [
11537:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000065"
11542:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000094"
11547:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000095"
11552:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000036"
11557:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
11562:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000035"
11567:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000035"
11572:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000095"
11577:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000094"
11582:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000094"
11587:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000095"
11592:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000095"
11597:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000095"
11602:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000094"
11607:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000037"
11612:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000035"

thinking
**Investigating callcode usage and evidence bundle**
exec
/bin/bash -lc 'rg -n "call:8878|CALLCODE" BYTECODE_BUNDLE.json' in /tmp/codex-4bj6n95r succeeded in 7ms:
8873:            "CALLCODE",
8992:          "opcode": "CALLCODE",
20109:          "to": "call:8878",
20113:          "from": "call:8878",
23423:          "id": "call:8878",
23424:          "opcode": "CALLCODE",

thinking
**Extracting relevant code snippet**
exec
/bin/bash -lc "sed -n '20080,20140p' BYTECODE_BUNDLE.json" in /tmp/codex-4bj6n95r succeeded in 11ms:
          "type": "contains"
        },
        {
          "from": "call:6433",
          "to": "sink:call",
          "type": "capability"
        },
        {
          "from": "bb:6570",
          "to": "call:6573",
          "type": "contains"
        },
        {
          "from": "call:6573",
          "to": "sink:call",
          "type": "capability"
        },
        {
          "from": "bb:7385",
          "to": "call:7398",

thinking
**Investigating callcode usage**
exec
/bin/bash -lc "sed -n '23410,23440p' BYTECODE_BUNDLE.json" in /tmp/codex-4bj6n95r succeeded in 7ms:
        {
          "id": "call:6573",
          "opcode": "CALL",
          "pc": 6573,
          "type": "callsite"
        },
        {
          "id": "call:7398",
          "opcode": "CALL",
          "pc": 7398,
          "type": "callsite"
        },
        {
          "id": "call:8878",
          "opcode": "CALLCODE",
          "pc": 8878,
          "type": "callsite"
        },
        {
          "id": "call:8896",

thinking
**Searching for callsite evidence**
exec
/bin/bash -lc "rg -n \"\\\"pc\\\": 8878\" BYTECODE_BUNDLE.json" in /tmp/codex-4bj6n95r succeeded in 11ms:
8993:          "pc": 8878,
23425:          "pc": 8878,

thinking
**Checking instructions at line 8993**
exec
/bin/bash -lc "sed -n '8970,9010p' BYTECODE_BUNDLE.json" in /tmp/codex-4bj6n95r succeeded in 6ms:
        {
          "opcode": "CALL",
          "pc": 6433,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "computed"
        },
        {
          "opcode": "CALL",
          "pc": 6573,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "computed"
        },
        {
          "opcode": "CALL",
          "pc": 7398,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "computed"

thinking
**Examining callsite_details section**
exec
/bin/bash -lc "sed -n '8920,8985p' BYTECODE_BUNDLE.json" in /tmp/codex-4bj6n95r succeeded in 20ms:
        },
        {
          "opcode": "STATICCALL",
          "pc": 2182,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "n/a"
        },
        {
          "opcode": "STATICCALL",
          "pc": 3041,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "n/a"
        },
        {
          "opcode": "STATICCALL",
          "pc": 3228,
          "returndata_checked": null,
          "target_expression_category": "computed",

thinking
**Evaluating untrusted calls and callcode risks**
exec
/bin/bash -lc 'rg -n "CALLCODE" -m 5 BYTECODE_BUNDLE.json' in /tmp/codex-4bj6n95r succeeded in 6ms:
8873:            "CALLCODE",
8992:          "opcode": "CALLCODE",
23424:          "opcode": "CALLCODE",

thinking
**Preparing to locate CALLCODE blocks**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
p=Path('/tmp/codex-4bj6n95r/BYTECODE_BUNDLE.json')
with p.open() as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if 'opcodes' in b and 'CALLCODE' in b['opcodes']:
        print('block', b['start_pc'], b['end_pc'], b['opcodes'])
PY" in /tmp/codex-4bj6n95r succeeded in 41ms:
block 8877 8947 ['OP_DD', 'CALLCODE', 'MSTORE', 'OP_AD', 'SHL', 'OP_E2', 'OP_C8', 'OP_9B', 'PUSH10', 'CALL', 'PUSH4', 'CREATE2', 'GAS', 'OP_4D', 'CREATE2', 'OP_23', 'OP_B3', 'OP_EF', 'OP_A2', 'PUSH5', 'OP_22', 'SLT', 'SHA3', 'PUSH24', 'EXP', 'OP_96', 'OP_BC', 'OP_DA']

thinking
**Investigating suspicious basic block opcodes**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
p=Path('/tmp/codex-4bj6n95r/BYTECODE_BUNDLE.json')
with p.open() as f:
    data=json.load(f)
# find edges in capability_graph? there might be \"cfg_edges\" in artifact_json? Let's search top-level maybe under analysis_artifact? We'll just search for key 'cfg_edges' in data

def find_cfg_edges(obj):
    if isinstance(obj, dict):
        if 'cfg_edges' in obj:
            return obj['cfg_edges']
        for v in obj.values():
            res = find_cfg_edges(v)
            if res is not None:
                return res
    elif isinstance(obj, list):
        for v in obj:
            res = find_cfg_edges(v)
            if res is not None:
                return res
    return None

cfg_edges = find_cfg_edges(data)
print('cfg_edges found', len(cfg_edges) if cfg_edges else None)
if cfg_edges:
    hits=[e for e in cfg_edges if e.get('from')=='bb:8877' or e.get('to')=='bb:8877']
    print('edges involving bb:8877', hits[:10])
PY" in /tmp/codex-4bj6n95r succeeded in 60ms:
cfg_edges found 482
edges involving bb:8877 [{'from': 'bb:8877', 'to': 'bb:8948', 'type': 'control_flow_fallthrough'}]

thinking
**Checking basic block predecessors**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
p=Path('/tmp/codex-4bj6n95r/BYTECODE_BUNDLE.json')
with p.open() as f:
    data=json.load(f)
funcs=[n for n in data['analysis_artifact']['artifact_json']['nodes'] if n.get('type')=='function'] if False else []
# Actually functions in nodes list not accessible? Instead functions in artifact_json? We'll scan for selector entries in artifact_json maybe under 'functions'??

# Search in data for functions list.

def find_functions(obj):
    if isinstance(obj, dict):
        if 'selector' in obj and 'entry_pc' in obj and obj.get('type')=='function':
            return [obj]
        res=[]
        for v in obj.values():
            res+=find_functions(v) or []
        return res
    elif isinstance(obj, list):
        res=[]
        for v in obj:
            res+=find_functions(v) or []
        return res
    return []

funcs=find_functions(data)
print('functions', len(funcs))
print([f for f in funcs if f.get('entry_pc')==8877][:5])
PY" in /tmp/codex-4bj6n95r succeeded in 49ms:
functions 24
[]

thinking
**Analyzing callcode reachability in bytecode**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
p=Path('/tmp/codex-4bj6n95r/BYTECODE_BUNDLE.json')
with p.open() as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
# map pc to block id
block_by_pc={}
for b in blocks:
    start=b['start_pc']; end=b['end_pc']
    for pc in range(start, end+1):
        block_by_pc[pc]=b

# find cfg edges

def find_cfg_edges(obj):
    if isinstance(obj, dict):
        if 'cfg_edges' in obj:
            return obj['cfg_edges']
        for v in obj.values():
            res = find_cfg_edges(v)
            if res is not None:
                return res
    elif isinstance(obj, list):
        for v in obj:
            res = find_cfg_edges(v)
            if res is not None:
                return res
    return None

cfg_edges=find_cfg_edges(data)
# compute inbound edges counts
inbound={}
if cfg_edges:
    for e in cfg_edges:
        if e.get('type','').startswith('control_flow'):
            to=e.get('to')
            inbound[to]=inbound.get(to,0)+1

call_pcs=[4452,6433,6573,7398,8878,8896]
for pc in call_pcs:
    b=block_by_pc.get(pc)
    if not b:
        print(pc, 'no block')
        continue
    bid=f\"bb:{b['start_pc']}\"
    print(pc, 'block', bid, 'inbound', inbound.get(bid,0))
PY" in /tmp/codex-4bj6n95r succeeded in 38ms:
4452 block bb:4449 inbound 1
6433 block bb:6430 inbound 1
6573 block bb:6570 inbound 1
7398 block bb:7385 inbound 0
8878 block bb:8877 inbound 0
8896 block bb:8877 inbound 0

thinking
**Analyzing callsite reachability and security guards**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
p=Path('/tmp/codex-4bj6n95r/BYTECODE_BUNDLE.json')
with p.open() as f:
    data=json.load(f)
funcs=[]
# functions list is in data['analysis_artifact']['artifact_json']['basic_blocks']? no.
# we already found 24 functions by search

def find_functions(obj):
    res=[]
    if isinstance(obj, dict):
        if obj.get('type')=='function' and 'selector' in obj:
            res.append(obj)
        else:
            for v in obj.values():
                res+=find_functions(v)
    elif isinstance(obj, list):
        for v in obj:
            res+=find_functions(v)
    return res
funcs=find_functions(data)
# check for entry pcs near 7385 or 8877
for pc in [7385, 8877, 4449, 6430, 6570]:
    match=[f for f in funcs if f.get('entry_pc')==pc]
    print(pc, match)
PY" in /tmp/codex-4bj6n95r succeeded in 51ms:
7385 []
8877 []
4449 []
6430 []
6570 []

thinking
**Interpreting function entry_pc and analyzing callsite risks**

I notice that the function entry_pc values seem to correspond to selector decimals rather than actual program counters, which prevents mapping call sites to functions accurately. Given this limitation, I focus on identifying potential vulnerabilities like dangerous CALLCODE to computed targets and external CALLs with computed targets and value but no guards or returndatacheck. Since reachability is uncertain, I plan to conservatively mark findings with medium or low severity and carefully gather callsite details to support the vulnerability evidence in the output JSON.
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
p=Path('/tmp/codex-4bj6n95r/BYTECODE_BUNDLE.json')
with p.open() as f:
    data=json.load(f)

# find list with callsite details (opcode, pc, returndata_checked, target_expression_category)

def find_callsites(obj):
    if isinstance(obj, dict):
        if all(k in obj for k in ('opcode','pc','target_expression_category')):
            # likely callsite detail
            return [obj]
        res=[]
        for v in obj.values():
            res += find_callsites(v) or []
        return res
    elif isinstance(obj, list):
        res=[]
        for v in obj:
            res += find_callsites(v) or []
        return res
    return []

calls = find_callsites(data)
# filter only CALL/CALLCODE
calls=[c for c in calls if c.get('opcode') in ('CALL','CALLCODE')]
# unique by pc
seen={}
for c in calls:
    seen[c['pc']]=c
for pc in sorted(seen):
    c=seen[pc]
    print(pc, c)
PY" in /tmp/codex-4bj6n95r succeeded in 52ms:
4452 {'opcode': 'CALL', 'pc': 4452, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}
6433 {'opcode': 'CALL', 'pc': 6433, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}
6573 {'opcode': 'CALL', 'pc': 6573, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}
7398 {'opcode': 'CALL', 'pc': 7398, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}
8878 {'opcode': 'CALLCODE', 'pc': 8878, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}
8896 {'opcode': 'CALL', 'pc': 8896, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}

thinking
**Extracting detector findings for evidence**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
p=Path('/tmp/codex-4bj6n95r/BYTECODE_BUNDLE.json')
with p.open() as f:
    data=json.load(f)
for fnd in data.get('detector_findings', []):
    if 'CALL' in fnd.get('title','') or fnd.get('normalized_json',{}).get('sink')=='CALL':
        print(fnd['title'])
        print('confidence', fnd['confidence'])
        print('evidence', fnd.get('evidence_json'))
        print('validation', fnd.get('validation_json'))
        print('---')
PY" in /tmp/codex-4bj6n95r succeeded in 60ms:
Untrusted CALL target/value reachable
confidence 60
evidence {'call_count': 6, 'examples': [{'opcode': 'CALL', 'pc': 4452, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}, {'opcode': 'CALL', 'pc': 6433, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}, {'opcode': 'CALL', 'pc': 6573, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}], 'guards_detected': [], 'untrusted_call_count': 6}
validation {'attempts': 1, 'call_targets': ['0xed38db26a3a7643f4ea274c3e6139eb3d3a13d49'], 'classification': 'constant_target', 'confirmed': False, 'errors': 0, 'matched_probe': None, 'sink': 'CALL', 'status': 'sink_reached', 'target_varies': False, 'trace_id': '0xad8c629b1206f8dcafb86b2cb1e67134cbf75ddab1fc463a5af0f77c19661919', 'trace_mode': 'callTracer'}
---
ETH value transfer possible
confidence 55
evidence {'eth_value_calls': 6, 'examples': [{'opcode': 'CALL', 'pc': 4452, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}, {'opcode': 'CALL', 'pc': 6433, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}, {'opcode': 'CALL', 'pc': 6573, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}], 'guards_detected': []}
validation {'attempts': 1, 'call_targets': ['0xed38db26a3a7643f4ea274c3e6139eb3d3a13d49'], 'classification': 'constant_target', 'confirmed': False, 'errors': 0, 'matched_probe': None, 'sink': 'CALL', 'status': 'sink_reached', 'target_varies': False, 'trace_id': '0xad8c629b1206f8dcafb86b2cb1e67134cbf75ddab1fc463a5af0f77c19661919', 'trace_mode': 'callTracer'}
---

thinking
**Considering validation and target checks**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
p=Path('/tmp/codex-4bj6n95r/BYTECODE_BUNDLE.json')
with p.open() as f:
    data=json.load(f)
for fnd in data.get('detector_findings', []):
    if 'CREATE' in fnd.get('title',''):
        print(fnd['title'])
        print('confidence', fnd['confidence'])
        print('evidence', fnd.get('evidence_json'))
        print('validation', fnd.get('validation_json'))
        print('---')
PY" in /tmp/codex-4bj6n95r succeeded in 62ms:
CREATE/CREATE2 reachable
confidence 45
evidence {'create2_count': 2, 'create_count': 0}
validation {'attempts': 32, 'call_targets': None, 'classification': 'no_sink', 'confirmed': False, 'errors': 0, 'matched_probe': None, 'sink': 'CREATE', 'status': 'unknown', 'target_varies': None, 'trace_id': '0xbf13d3a8511cd8c2ea037cfe21c4ccd15cdc45ba796f10d70bd46ce460048610', 'trace_mode': 'structLogs'}
---

thinking
**Summarizing bytecode findings and severity**

I'm organizing two main findings around potentially dangerous callcode and low-level calls without guards, noting reachability uncertainties and evidence details with hexadecimal PC locations. I'll mention create2 only as informational since it's likely unreachable, and carefully frame severity and categories while ensuring the output fits exact JSON instructions.
exec
/bin/bash -lc "python - <<'PY'
for pc in [4452,6433,6573,7398,8878,8896]:
    print(pc, hex(pc))
PY" in /tmp/codex-4bj6n95r succeeded in 48ms:
4452 0x1164
6433 0x1921
6573 0x19ad
7398 0x1ce6
8878 0x22ae
8896 0x22c0

thinking
**Preparing security findings JSON output**
codex
{"no_findings":false,"summary":"Bytecode indicates low-level CALLs with computed targets/value and a CALLCODE opcode; reachability and target control are uncertain from bytecode-only analysis.","findings":[{"severity":"medium","category":"other","title":"CALLCODE to computed target may execute arbitrary code in caller storage","exploit_scenario":"If an attacker can influence the CALLCODE target or reach this path, they can execute attacker-controlled code in this contract’s storage context, potentially draining funds or overwriting critical state.","recommendation":"Avoid CALLCODE; inline the logic or use DELEGATECALL only to a vetted, immutable address. If this is intentional, hardcode/whitelist the target and enforce strict access control before the call, and verify call success.","evidence":"A CALLCODE opcode appears at pc 8878 with target/value categorized as computed and returndata_checked=null. The containing block (bb:8877) shows no inbound CFG edges, so reachability may be false-positive/unreachable data, but the opcode is present in runtime bytecode.","locations":["pc:0x22ae"]},{"severity":"low","category":"reentrancy","title":"Low-level CALLs with computed target/value and no detected guards","exploit_scenario":"If the call targets or value are user-controlled and any state updates happen before these calls, an attacker could trigger reentrancy or redirect ETH to arbitrary addresses; failures may be silent due to missing return-data checks.","recommendation":"Restrict call targets/values (e.g., owner/allowlist), check call success, and add reentrancy protection around state-changing external calls.","evidence":"Detector reports 6 CALL sites with computed target/value, guards_detected=[], and returndata_checked=null. Example CALLs at pc 4452/6433/6573. Validation trace observed a constant self-target once (0xed38…); untrustedness is not confirmed from bytecode alone.","locations":["pc:0x1164","pc:0x1921","pc:0x19ad"]}]}
tokens used
59,955

{
    "codex": {
        "ran_at": "2026-01-13T00:47:58.439176+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 17926,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode indicates low-level CALLs with computed targets/value and a CALLCODE opcode; reachability and target control are uncertain from bytecode-only analysis.",
    "raw_final": {
        "summary": "Bytecode indicates low-level CALLs with computed targets/value and a CALLCODE opcode; reachability and target control are uncertain from bytecode-only analysis.",
        "findings": [
            {
                "title": "CALLCODE to computed target may execute arbitrary code in caller storage",
                "category": "other",
                "evidence": "A CALLCODE opcode appears at pc 8878 with target/value categorized as computed and returndata_checked=null. The containing block (bb:8877) shows no inbound CFG edges, so reachability may be false-positive/unreachable data, but the opcode is present in runtime bytecode.",
                "severity": "medium",
                "locations": [
                    "pc:0x22ae"
                ],
                "recommendation": "Avoid CALLCODE; inline the logic or use DELEGATECALL only to a vetted, immutable address. If this is intentional, hardcode/whitelist the target and enforce strict access control before the call, and verify call success.",
                "exploit_scenario": "If an attacker can influence the CALLCODE target or reach this path, they can execute attacker-controlled code in this contract\u2019s storage context, potentially draining funds or overwriting critical state."
            },
            {
                "title": "Low-level CALLs with computed target/value and no detected guards",
                "category": "reentrancy",
                "evidence": "Detector reports 6 CALL sites with computed target/value, guards_detected=[], and returndata_checked=null. Example CALLs at pc 4452/6433/6573. Validation trace observed a constant self-target once (0xed38\u2026); untrustedness is not confirmed from bytecode alone.",
                "severity": "low",
                "locations": [
                    "pc:0x1164",
                    "pc:0x1921",
                    "pc:0x19ad"
                ],
                "recommendation": "Restrict call targets/values (e.g., owner/allowlist), check call success, and add reentrancy protection around state-changing external calls.",
                "exploit_scenario": "If the call targets or value are user-controlled and any state updates happen before these calls, an attacker could trigger reentrancy or redirect ETH to arbitrary addresses; failures may be silent due to missing return-data checks."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x0158
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7535d246
00000026: GT
00000027: PUSH2 0x00c3
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xae167335
00000031: GT
00000032: PUSH2 0x007c
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xae167335
0000003c: EQ
0000003d: PUSH2 0x02e1
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xb16a19de
00000047: EQ
00000048: PUSH2 0x02f2
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xb1bf962d
00000052: EQ
00000053: PUSH2 0x0303
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xd3b1e9a4
0000005d: EQ
0000005e: PUSH2 0x030b
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xd7020d0a
00000068: EQ
00000069: PUSH2 0x031e
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xdd62ed3e
00000073: EQ
00000074: PUSH2 0x0331
00000077: JUMPI
00000078: PUSH1 0x00
0000007a: DUP1
0000007b: REVERT
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0x7535d246
00000083: EQ
00000084: PUSH2 0x0276
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x75d26413
0000008e: EQ
0000008f: PUSH2 0x0296
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x7df5bd3b
00000099: EQ
0000009a: PUSH2 0x029e
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x95d89b41
000000a4: EQ
000000a5: PUSH2 0x02b3
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xa457c2d7
000000af: EQ
000000b0: PUSH2 0x02bb
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xa9059cbb
000000ba: EQ
000000bb: PUSH2 0x02ce
000000be: JUMPI
000000bf: PUSH1 0x00
000000c1: DUP1
000000c2: REVERT
000000c3: JUMPDEST
000000c4: DUP1
000000c5: PUSH4 0x23b872dd
000000ca: GT
000000cb: PUSH2 0x0115
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x23b872dd
000000d5: EQ
000000d6: PUSH2 0x0202
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x313ce567
000000e0: EQ
000000e1: PUSH2 0x0215
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x39509351
000000eb: EQ
000000ec: PUSH2 0x022a
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x4819128a
000000f6: EQ
000000f7: PUSH2 0x023d
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x4efecaa5
00000101: EQ
00000102: PUSH2 0x0250
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x70a08231
0000010c: EQ
0000010d: PUSH2 0x0263
00000110: JUMPI
00000111: PUSH1 0x00
00000113: DUP1
00000114: REVERT
00000115: JUMPDEST
00000116: DUP1
00000117: PUSH4 0x06fdde03
0000011c: EQ
0000011d: PUSH2 0x015d
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0x095ea7b3
00000127: EQ
00000128: PUSH2 0x017b
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0x0afbcdc9
00000132: EQ
00000133: PUSH2 0x019e
00000136: JUMPI
00000137: DUP1
00000138: PUSH4 0x156e29f6
0000013d: EQ
0000013e: PUSH2 0x01c6
00000141: JUMPI
00000142: DUP1
00000143: PUSH4 0x18160ddd
00000148: EQ
00000149: PUSH2 0x01d9
0000014c: JUMPI
0000014d: DUP1
0000014e: PUSH4 0x1da24f3e
00000153: EQ
00000154: PUSH2 0x01ef
00000157: JUMPI
00000158: JUMPDEST
00000159: PUSH1 0x00
0000015b: DUP1
0000015c: REVERT
0000015d: JUMPDEST
0000015e: PUSH2 0x0165
00000161: PUSH2 0x036a
00000164: JUMP
00000165: JUMPDEST
00000166: PUSH1 0x40
00000168: MLOAD
00000169: PUSH2 0x0172
0000016c: SWAP2
0000016d: SWAP1
0000016e: PUSH2 0x20e3
00000171: JUMP
00000172: JUMPDEST
00000173: PUSH1 0x40
00000175: MLOAD
00000176: DUP1
00000177: SWAP2
00000178: SUB
00000179: SWAP1
0000017a: RETURN
0000017b: JUMPDEST
0000017c: PUSH2 0x018e
0000017f: PUSH2 0x0189
00000182: CALLDATASIZE
00000183: PUSH1 0x04
00000185: PUSH2 0x1f3b
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH2 0x03fc
0000018d: JUMP
0000018e: JUMPDEST
0000018f: PUSH1 0x40
00000191: MLOAD
00000192: SWAP1
00000193: ISZERO
00000194: ISZERO
00000195: DUP2
00000196: MSTORE
00000197: PUSH1 0x20
00000199: ADD
0000019a: PUSH2 0x0172
0000019d: JUMP
0000019e: JUMPDEST
0000019f: PUSH2 0x01b1
000001a2: PUSH2 0x01ac
000001a5: CALLDATASIZE
000001a6: PUSH1 0x04
000001a8: PUSH2 0x1e46
000001ab: JUMP
000001ac: JUMPDEST
000001ad: PUSH2 0x0413
000001b0: JUMP
000001b1: JUMPDEST
000001b2: PUSH1 0x40
000001b4: DUP1
000001b5: MLOAD
000001b6: SWAP3
000001b7: DUP4
000001b8: MSTORE
000001b9: PUSH1 0x20
000001bb: DUP4
000001bc: ADD
000001bd: SWAP2
000001be: SWAP1
000001bf: SWAP2
000001c0: MSTORE
000001c1: ADD
000001c2: PUSH2 0x0172
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH2 0x018e
000001ca: PUSH2 0x01d4
000001cd: CALLDATASIZE
000001ce: PUSH1 0x04
000001d0: PUSH2 0x1f66
000001d3: JUMP
000001d4: JUMPDEST
000001d5: PUSH2 0x042b
000001d8: JUMP
000001d9: JUMPDEST
000001da: PUSH2 0x01e1
000001dd: PUSH2 0x053c
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: SWAP1
000001e6: DUP2
000001e7: MSTORE
000001e8: PUSH1 0x20
000001ea: ADD
000001eb: PUSH2 0x0172
000001ee: JUMP
000001ef: JUMPDEST
000001f0: PUSH2 0x01e1
000001f3: PUSH2 0x01fd
000001f6: CALLDATASIZE
000001f7: PUSH1 0x04
000001f9: PUSH2 0x1e46
000001fc: JUMP
000001fd: JUMPDEST
000001fe: PUSH2 0x05f3
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH2 0x018e
00000206: PUSH2 0x0210
00000209: CALLDATASIZE
0000020a: PUSH1 0x04
0000020c: PUSH2 0x1eb6
0000020f: JUMP
00000210: JUMPDEST
00000211: PUSH2 0x05fe
00000214: JUMP
00000215: JUMPDEST
00000216: PUSH1 0x65
00000218: SLOAD
00000219: PUSH1 0x40
0000021b: MLOAD
0000021c: PUSH1 0xff
0000021e: SWAP1
0000021f: SWAP2
00000220: AND
00000221: DUP2
00000222: MSTORE
00000223: PUSH1 0x20
00000225: ADD
00000226: PUSH2 0x0172
00000229: JUMP
0000022a: JUMPDEST
0000022b: PUSH2 0x018e
0000022e: PUSH2 0x0238
00000231: CALLDATASIZE
00000232: PUSH1 0x04
00000234: PUSH2 0x1f3b
00000237: JUMP
00000238: JUMPDEST
00000239: PUSH2 0x06a8
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH2 0x01e1
00000241: PUSH2 0x024b
00000244: CALLDATASIZE
00000245: PUSH1 0x04
00000247: PUSH2 0x2076
0000024a: JUMP
0000024b: JUMPDEST
0000024c: PUSH2 0x06e4
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH2 0x01e1
00000254: PUSH2 0x025e
00000257: CALLDATASIZE
00000258: PUSH1 0x04
0000025a: PUSH2 0x1f3b
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH2 0x07b6
00000262: JUMP
00000263: JUMPDEST
00000264: PUSH2 0x01e1
00000267: PUSH2 0x0271
0000026a: CALLDATASIZE
0000026b: PUSH1 0x04
0000026d: PUSH2 0x1e46
00000270: JUMP
00000271: JUMPDEST
00000272: PUSH2 0x082c
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH2 0x027e
0000027a: PUSH2 0x08ca
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: PUSH1 0x01
00000284: PUSH1 0x01
00000286: PUSH1 0xa0
00000288: SHL
00000289: SUB
0000028a: SWAP1
0000028b: SWAP2
0000028c: AND
0000028d: DUP2
0000028e: MSTORE
0000028f: PUSH1 0x20
00000291: ADD
00000292: PUSH2 0x0172
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH2 0x027e
0000029a: PUSH2 0x08d9
0000029d: JUMP
0000029e: JUMPDEST
0000029f: PUSH2 0x02b1
000002a2: PUSH2 0x02ac
000002a5: CALLDATASIZE
000002a6: PUSH1 0x04
000002a8: PUSH2 0x20a6
000002ab: JUMP
000002ac: JUMPDEST
000002ad: PUSH2 0x08e3
000002b0: JUMP
000002b1: JUMPDEST
000002b2: STOP
000002b3: JUMPDEST
000002b4: PUSH2 0x0165
000002b7: PUSH2 0x09db
000002ba: JUMP
000002bb: JUMPDEST
000002bc: PUSH2 0x018e
000002bf: PUSH2 0x02c9
000002c2: CALLDATASIZE
000002c3: PUSH1 0x04
000002c5: PUSH2 0x1f3b
000002c8: JUMP
000002c9: JUMPDEST
000002ca: PUSH2 0x09ea
000002cd: JUMP
000002ce: JUMPDEST
000002cf: PUSH2 0x018e
000002d2: PUSH2 0x02dc
000002d5: CALLDATASIZE
000002d6: PUSH1 0x04
000002d8: PUSH2 0x1f3b
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH2 0x0a83
000002e0: JUMP
000002e1: JUMPDEST
000002e2: PUSH1 0x94
000002e4: SLOAD
000002e5: PUSH1 0x01
000002e7: PUSH1 0x01
000002e9: PUSH1 0xa0
000002eb: SHL
000002ec: SUB
000002ed: AND
000002ee: PUSH2 0x027e
000002f1: JUMP
000002f2: JUMPDEST
000002f3: PUSH1 0x95
000002f5: SLOAD
000002f6: PUSH1 0x01
000002f8: PUSH1 0x01
000002fa: PUSH1 0xa0
000002fc: SHL
000002fd: SUB
000002fe: AND
000002ff: PUSH2 0x027e
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH2 0x01e1
00000307: PUSH2 0x0a90
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH2 0x02b1
0000030f: PUSH2 0x0319
00000312: CALLDATASIZE
00000313: PUSH1 0x04
00000315: PUSH2 0x1fba
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x0a9b
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH2 0x02b1
00000322: PUSH2 0x032c
00000325: CALLDATASIZE
00000326: PUSH1 0x04
00000328: PUSH2 0x1ef6
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH2 0x0d11
00000330: JUMP
00000331: JUMPDEST
00000332: PUSH2 0x01e1
00000335: PUSH2 0x033f
00000338: CALLDATASIZE
00000339: PUSH1 0x04
0000033b: PUSH2 0x1e7e
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH1 0x01
00000342: PUSH1 0x01
00000344: PUSH1 0xa0
00000346: SHL
00000347: SUB
00000348: SWAP2
00000349: DUP3
0000034a: AND
0000034b: PUSH1 0x00
0000034d: SWAP1
0000034e: DUP2
0000034f: MSTORE
00000350: PUSH1 0x34
00000352: PUSH1 0x20
00000354: SWAP1
00000355: DUP2
00000356: MSTORE
00000357: PUSH1 0x40
00000359: DUP1
0000035a: DUP4
0000035b: KECCAK256
0000035c: SWAP4
0000035d: SWAP1
0000035e: SWAP5
0000035f: AND
00000360: DUP3
00000361: MSTORE
00000362: SWAP2
00000363: SWAP1
00000364: SWAP2
00000365: MSTORE
00000366: KECCAK256
00000367: SLOAD
00000368: SWAP1
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x60
0000036d: PUSH1 0x36
0000036f: DUP1
00000370: SLOAD
00000371: PUSH2 0x0379
00000374: SWAP1
00000375: PUSH2 0x2249
00000378: JUMP
00000379: JUMPDEST
0000037a: DUP1
0000037b: PUSH1 0x1f
0000037d: ADD
0000037e: PUSH1 0x20
00000380: DUP1
00000381: SWAP2
00000382: DIV
00000383: MUL
00000384: PUSH1 0x20
00000386: ADD
00000387: PUSH1 0x40
00000389: MLOAD
0000038a: SWAP1
0000038b: DUP2
0000038c: ADD
0000038d: PUSH1 0x40
0000038f: MSTORE
00000390: DUP1
00000391: SWAP3
00000392: SWAP2
00000393: SWAP1
00000394: DUP2
00000395: DUP2
00000396: MSTORE
00000397: PUSH1 0x20
00000399: ADD
0000039a: DUP3
0000039b: DUP1
0000039c: SLOAD
0000039d: PUSH2 0x03a5
000003a0: SWAP1
000003a1: PUSH2 0x2249
000003a4: JUMP
000003a5: JUMPDEST
000003a6: DUP1
000003a7: ISZERO
000003a8: PUSH2 0x03f2
000003ab: JUMPI
000003ac: DUP1
000003ad: PUSH1 0x1f
000003af: LT
000003b0: PUSH2 0x03c7
000003b3: JUMPI
000003b4: PUSH2 0x0100
000003b7: DUP1
000003b8: DUP4
000003b9: SLOAD
000003ba: DIV
000003bb: MUL
000003bc: DUP4
000003bd: MSTORE
000003be: SWAP2
000003bf: PUSH1 0x20
000003c1: ADD
000003c2: SWAP2
000003c3: PUSH2 0x03f2
000003c6: JUMP
000003c7: JUMPDEST
000003c8: DUP3
000003c9: ADD
000003ca: SWAP2
000003cb: SWAP1
000003cc: PUSH1 0x00
000003ce: MSTORE
000003cf: PUSH1 0x20
000003d1: PUSH1 0x00
000003d3: KECCAK256
000003d4: SWAP1
000003d5: JUMPDEST
000003d6: DUP2
000003d7: SLOAD
000003d8: DUP2
000003d9: MSTORE
000003da: SWAP1
000003db: PUSH1 0x01
000003dd: ADD
000003de: SWAP1
000003df: PUSH1 0x20
000003e1: ADD
000003e2: DUP1
000003e3: DUP4
000003e4: GT
000003e5: PUSH2 0x03d5
000003e8: JUMPI
000003e9: DUP3
000003ea: SWAP1
000003eb: SUB
000003ec: PUSH1 0x1f
000003ee: AND
000003ef: DUP3
000003f0: ADD
000003f1: SWAP2
000003f2: JUMPDEST
000003f3: POP
000003f4: POP
000003f5: POP
000003f6: POP
000003f7: POP
000003f8: SWAP1
000003f9: POP
000003fa: SWAP1
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH1 0x00
000003ff: PUSH2 0x0409
00000402: CALLER
00000403: DUP5
00000404: DUP5
00000405: PUSH2 0x0e2e
00000408: JUMP
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH1 0x01
0000040d: JUMPDEST
0000040e: SWAP3
0000040f: SWAP2
00000410: POP
00000411: POP
00000412: JUMP
00000413: JUMPDEST
00000414: PUSH1 0x00
00000416: DUP1
00000417: PUSH2 0x041f
0000041a: DUP4
0000041b: PUSH2 0x0f52
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH1 0x35
00000422: SLOAD
00000423: SWAP2
00000424: POP
00000425: SWAP2
00000426: POP
00000427: SWAP2
00000428: POP
00000429: SWAP2
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH1 0x00
0000042e: PUSH2 0x0435
00000431: PUSH2 0x0f6d
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH1 0x01
00000438: PUSH1 0x01
0000043a: PUSH1 0xa0
0000043c: SHL
0000043d: SUB
0000043e: AND
0000043f: CALLER
00000440: PUSH1 0x01
00000442: PUSH1 0x01
00000444: PUSH1 0xa0
00000446: SHL
00000447: SUB
00000448: AND
00000449: EQ
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: DUP1
0000044e: PUSH1 0x40
00000450: ADD
00000451: PUSH1 0x40
00000453: MSTORE
00000454: DUP1
00000455: PUSH1 0x03
00000457: DUP2
00000458: MSTORE
00000459: PUSH1 0x20
0000045b: ADD
0000045c: PUSH3 0x035303
00000460: PUSH1 0xec
00000462: SHL
00000463: DUP2
00000464: MSTORE
00000465: POP
00000466: SWAP1
00000467: PUSH2 0x048c
0000046a: JUMPI
0000046b: PUSH1 0x40
0000046d: MLOAD
0000046e: PUSH3 0x461bcd
00000472: PUSH1 0xe5
00000474: SHL
00000475: DUP2
00000476: MSTORE
00000477: PUSH1 0x04
00000479: ADD
0000047a: PUSH2 0x0483
0000047d: SWAP2
0000047e: SWAP1
0000047f: PUSH2 0x20e3
00000482: JUMP
00000483: JUMPDEST
00000484: PUSH1 0x40
00000486: MLOAD
00000487: DUP1
00000488: SWAP2
00000489: SUB
0000048a: SWAP1
0000048b: REVERT
0000048c: JUMPDEST
0000048d: POP
0000048e: PUSH1 0x00
00000490: PUSH2 0x0498
00000493: DUP6
00000494: PUSH2 0x0f52
00000497: JUMP
00000498: JUMPDEST
00000499: SWAP1
0000049a: POP
0000049b: PUSH1 0x00
0000049d: PUSH2 0x04a6
000004a0: DUP6
000004a1: DUP6
000004a2: PUSH2 0x0fea
000004a5: JUMP
000004a6: JUMPDEST
000004a7: PUSH1 0x40
000004a9: DUP1
000004aa: MLOAD
000004ab: DUP1
000004ac: DUP3
000004ad: ADD
000004ae: SWAP1
000004af: SWAP2
000004b0: MSTORE
000004b1: PUSH1 0x03
000004b3: DUP2
000004b4: MSTORE
000004b5: PUSH3 0x353031
000004b9: PUSH1 0xe8
000004bb: SHL
000004bc: PUSH1 0x20
000004be: DUP3
000004bf: ADD
000004c0: MSTORE
000004c1: SWAP1
000004c2: SWAP2
000004c3: POP
000004c4: DUP2
000004c5: PUSH2 0x04e1
000004c8: JUMPI
000004c9: PUSH1 0x40
000004cb: MLOAD
000004cc: PUSH3 0x461bcd
000004d0: PUSH1 0xe5
000004d2: SHL
000004d3: DUP2
000004d4: MSTORE
000004d5: PUSH1 0x04
000004d7: ADD
000004d8: PUSH2 0x0483
000004db: SWAP2
000004dc: SWAP1
000004dd: PUSH2 0x20e3
000004e0: JUMP
000004e1: JUMPDEST
000004e2: POP
000004e3: PUSH2 0x04ec
000004e6: DUP7
000004e7: DUP3
000004e8: PUSH2 0x10ca
000004eb: JUMP
000004ec: JUMPDEST
000004ed: PUSH1 0x40
000004ef: DUP1
000004f0: MLOAD
000004f1: DUP7
000004f2: DUP2
000004f3: MSTORE
000004f4: PUSH1 0x20
000004f6: DUP2
000004f7: ADD
000004f8: DUP7
000004f9: SWAP1
000004fa: MSTORE
000004fb: PUSH1 0x01
000004fd: PUSH1 0x01
000004ff: PUSH1 0xa0
00000501: SHL
00000502: SUB
00000503: DUP9
00000504: AND
00000505: SWAP2
00000506: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
00000527: SWAP2
00000528: ADD
00000529: PUSH1 0x40
0000052b: MLOAD
0000052c: DUP1
0000052d: SWAP2
0000052e: SUB
0000052f: SWAP1
00000530: LOG2
00000531: POP
00000532: ISZERO
00000533: SWAP1
00000534: POP
00000535: JUMPDEST
00000536: SWAP4
00000537: SWAP3
00000538: POP
00000539: POP
0000053a: POP
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH1 0x00
0000053f: DUP1
00000540: PUSH2 0x0548
00000543: PUSH1 0x35
00000545: SLOAD
00000546: SWAP1
00000547: JUMP
00000548: JUMPDEST
00000549: SWAP1
0000054a: POP
0000054b: DUP1
0000054c: PUSH2 0x0557
0000054f: JUMPI
00000550: PUSH1 0x00
00000552: SWAP2
00000553: POP
00000554: POP
00000555: SWAP1
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH1 0x00
0000055a: PUSH2 0x0561
0000055d: PUSH2 0x0f6d
00000560: JUMP
00000561: JUMPDEST
00000562: PUSH1 0x95
00000564: SLOAD
00000565: PUSH1 0x40
00000567: MLOAD
00000568: PUSH4 0xd15e0053
0000056d: PUSH1 0xe0
0000056f: SHL
00000570: DUP2
00000571: MSTORE
00000572: PUSH1 0x01
00000574: PUSH1 0x01
00000576: PUSH1 0xa0
00000578: SHL
00000579: SUB
0000057a: SWAP2
0000057b: DUP3
0000057c: AND
0000057d: PUSH1 0x04
0000057f: DUP3
00000580: ADD
00000581: MSTORE
00000582: SWAP2
00000583: SWAP3
00000584: POP
00000585: PUSH2 0x05ec
00000588: SWAP2
00000589: SWAP1
0000058a: DUP4
0000058b: AND
0000058c: SWAP1
0000058d: PUSH4 0xd15e0053
00000592: SWAP1
00000593: PUSH1 0x24
00000595: ADD
00000596: PUSH1 0x20
00000598: PUSH1 0x40
0000059a: MLOAD
0000059b: DUP1
0000059c: DUP4
0000059d: SUB
0000059e: DUP2
0000059f: DUP7
000005a0: DUP1
000005a1: EXTCODESIZE
000005a2: ISZERO
000005a3: DUP1
000005a4: ISZERO
000005a5: PUSH2 0x05ad
000005a8: JUMPI
000005a9: PUSH1 0x00
000005ab: DUP1
000005ac: REVERT
000005ad: JUMPDEST
000005ae: POP
000005af: GAS
000005b0: STATICCALL
000005b1: ISZERO
000005b2: DUP1
000005b3: ISZERO
000005b4: PUSH2 0x05c1
000005b7: JUMPI
000005b8: RETURNDATASIZE
000005b9: PUSH1 0x00
000005bb: DUP1
000005bc: RETURNDATACOPY
000005bd: RETURNDATASIZE
000005be: PUSH1 0x00
000005c0: REVERT
000005c1: JUMPDEST
000005c2: POP
000005c3: POP
000005c4: POP
000005c5: POP
000005c6: PUSH1 0x40
000005c8: MLOAD
000005c9: RETURNDATASIZE
000005ca: PUSH1 0x1f
000005cc: NOT
000005cd: PUSH1 0x1f
000005cf: DUP3
000005d0: ADD
000005d1: AND
000005d2: DUP3
000005d3: ADD
000005d4: DUP1
000005d5: PUSH1 0x40
000005d7: MSTORE
000005d8: POP
000005d9: DUP2
000005da: ADD
000005db: SWAP1
000005dc: PUSH2 0x05e5
000005df: SWAP2
000005e0: SWAP1
000005e1: PUSH2 0x208e
000005e4: JUMP
000005e5: JUMPDEST
000005e6: DUP4
000005e7: SWAP1
000005e8: PUSH2 0x1180
000005eb: JUMP
000005ec: JUMPDEST
000005ed: SWAP3
000005ee: POP
000005ef: POP
000005f0: POP
000005f1: SWAP1
000005f2: JUMP
000005f3: JUMPDEST
000005f4: PUSH1 0x00
000005f6: PUSH2 0x040d
000005f9: DUP3
000005fa: PUSH2 0x0f52
000005fd: JUMP
000005fe: JUMPDEST
000005ff: PUSH1 0x00
00000601: PUSH2 0x060b
00000604: DUP5
00000605: DUP5
00000606: DUP5
00000607: PUSH2 0x123c
0000060a: JUMP
0000060b: JUMPDEST
0000060c: PUSH1 0x01
0000060e: PUSH1 0x01
00000610: PUSH1 0xa0
00000612: SHL
00000613: SUB
00000614: DUP5
00000615: AND
00000616: PUSH1 0x00
00000618: SWAP1
00000619: DUP2
0000061a: MSTORE
0000061b: PUSH1 0x34
0000061d: PUSH1 0x20
0000061f: SWAP1
00000620: DUP2
00000621: MSTORE
00000622: PUSH1 0x40
00000624: DUP1
00000625: DUP4
00000626: KECCAK256
00000627: CALLER
00000628: DUP5
00000629: MSTORE
0000062a: SWAP1
0000062b: SWAP2
0000062c: MSTORE
0000062d: SWAP1
0000062e: KECCAK256
0000062f: SLOAD
00000630: DUP3
00000631: DUP2
00000632: LT
00000633: ISZERO
00000634: PUSH2 0x0690
00000637: JUMPI
00000638: PUSH1 0x40
0000063a: MLOAD
0000063b: PUSH3 0x461bcd
0000063f: PUSH1 0xe5
00000641: SHL
00000642: DUP2
00000643: MSTORE
00000644: PUSH1 0x20
00000646: PUSH1 0x04
00000648: DUP3
00000649: ADD
0000064a: MSTORE
0000064b: PUSH1 0x28
0000064d: PUSH1 0x24
0000064f: DUP3
00000650: ADD
00000651: MSTORE
00000652: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061
00000673: PUSH1 0x44
00000675: DUP3
00000676: ADD
00000677: MSTORE
00000678: PUSH8 0x6c6c6f77616e6365
00000681: PUSH1 0xc0
00000683: SHL
00000684: PUSH1 0x64
00000686: DUP3
00000687: ADD
00000688: MSTORE
00000689: PUSH1 0x84
0000068b: ADD
0000068c: PUSH2 0x0483
0000068f: JUMP
00000690: JUMPDEST
00000691: PUSH2 0x069d
00000694: DUP6
00000695: CALLER
00000696: DUP6
00000697: DUP5
00000698: SUB
00000699: PUSH2 0x0e2e
0000069c: JUMP
0000069d: JUMPDEST
0000069e: POP
0000069f: PUSH1 0x01
000006a1: SWAP5
000006a2: SWAP4
000006a3: POP
000006a4: POP
000006a5: POP
000006a6: POP
000006a7: JUMP
000006a8: JUMPDEST
000006a9: CALLER
000006aa: PUSH1 0x00
000006ac: DUP2
000006ad: DUP2
000006ae: MSTORE
000006af: PUSH1 0x34
000006b1: PUSH1 0x20
000006b3: SWAP1
000006b4: DUP2
000006b5: MSTORE
000006b6: PUSH1 0x40
000006b8: DUP1
000006b9: DUP4
000006ba: KECCAK256
000006bb: PUSH1 0x01
000006bd: PUSH1 0x01
000006bf: PUSH1 0xa0
000006c1: SHL
000006c2: SUB
000006c3: DUP8
000006c4: AND
000006c5: DUP5
000006c6: MSTORE
000006c7: SWAP1
000006c8: SWAP2
000006c9: MSTORE
000006ca: DUP2
000006cb: KECCAK256
000006cc: SLOAD
000006cd: SWAP1
000006ce: SWAP2
000006cf: PUSH2 0x0409
000006d2: SWAP2
000006d3: DUP6
000006d4: SWAP1
000006d5: PUSH2 0x06df
000006d8: SWAP1
000006d9: DUP7
000006da: SWAP1
000006db: PUSH2 0x21af
000006de: JUMP
000006df: JUMPDEST
000006e0: PUSH2 0x0e2e
000006e3: JUMP
000006e4: JUMPDEST
000006e5: PUSH1 0x00
000006e7: PUSH2 0x06ee
000006ea: PUSH2 0x0f6d
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH1 0x01
000006f1: PUSH1 0x01
000006f3: PUSH1 0xa0
000006f5: SHL
000006f6: SUB
000006f7: AND
000006f8: CALLER
000006f9: PUSH1 0x01
000006fb: PUSH1 0x01
000006fd: PUSH1 0xa0
000006ff: SHL
00000700: SUB
00000701: AND
00000702: EQ
00000703: PUSH1 0x40
00000705: MLOAD
00000706: DUP1
00000707: PUSH1 0x40
00000709: ADD
0000070a: PUSH1 0x40
0000070c: MSTORE
0000070d: DUP1
0000070e: PUSH1 0x03
00000710: DUP2
00000711: MSTORE
00000712: PUSH1 0x20
00000714: ADD
00000715: PUSH3 0x035303
00000719: PUSH1 0xec
0000071b: SHL
0000071c: DUP2
0000071d: MSTORE
0000071e: POP
0000071f: SWAP1
00000720: PUSH2 0x073c
00000723: JUMPI
00000724: PUSH1 0x40
00000726: MLOAD
00000727: PUSH3 0x461bcd
0000072b: PUSH1 0xe5
0000072d: SHL
0000072e: DUP2
0000072f: MSTORE
00000730: PUSH1 0x04
00000732: ADD
00000733: PUSH2 0x0483
00000736: SWAP2
00000737: SWAP1
00000738: PUSH2 0x20e3
0000073b: JUMP
0000073c: JUMPDEST
0000073d: POP
0000073e: PUSH1 0x94
00000740: SLOAD
00000741: PUSH1 0x01
00000743: PUSH1 0x01
00000745: PUSH1 0xa0
00000747: SHL
00000748: SUB
00000749: AND
0000074a: PUSH2 0x0795
0000074d: JUMPI
0000074e: PUSH1 0x40
00000750: MLOAD
00000751: PUSH3 0x461bcd
00000755: PUSH1 0xe5
00000757: SHL
00000758: DUP2
00000759: MSTORE
0000075a: PUSH1 0x20
0000075c: PUSH1 0x04
0000075e: DUP3
0000075f: ADD
00000760: MSTORE
00000761: PUSH1 0x19
00000763: PUSH1 0x24
00000765: DUP3
00000766: ADD
00000767: MSTORE
00000768: PUSH32 0x5f7472656173757279206973207a65726f206164647265737300000000000000
00000789: PUSH1 0x44
0000078b: DUP3
0000078c: ADD
0000078d: MSTORE
0000078e: PUSH1 0x64
00000790: ADD
00000791: PUSH2 0x0483
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x94
00000798: SLOAD
00000799: PUSH1 0x95
0000079b: SLOAD
0000079c: PUSH2 0x07b2
0000079f: SWAP2
000007a0: PUSH1 0x01
000007a2: PUSH1 0x01
000007a4: PUSH1 0xa0
000007a6: SHL
000007a7: SUB
000007a8: SWAP2
000007a9: DUP3
000007aa: AND
000007ab: SWAP2
000007ac: AND
000007ad: DUP5
000007ae: PUSH2 0x124e
000007b1: JUMP
000007b2: JUMPDEST
000007b3: POP
000007b4: SWAP1
000007b5: JUMP
000007b6: JUMPDEST
000007b7: PUSH1 0x00
000007b9: PUSH2 0x07c0
000007bc: PUSH2 0x0f6d
000007bf: JUMP
000007c0: JUMPDEST
000007c1: PUSH1 0x01
000007c3: PUSH1 0x01
000007c5: PUSH1 0xa0
000007c7: SHL
000007c8: SUB
000007c9: AND
000007ca: CALLER
000007cb: PUSH1 0x01
000007cd: PUSH1 0x01
000007cf: PUSH1 0xa0
000007d1: SHL
000007d2: SUB
000007d3: AND
000007d4: EQ
000007d5: PUSH1 0x40
000007d7: MLOAD
000007d8: DUP1
000007d9: PUSH1 0x40
000007db: ADD
000007dc: PUSH1 0x40
000007de: MSTORE
000007df: DUP1
000007e0: PUSH1 0x03
000007e2: DUP2
000007e3: MSTORE
000007e4: PUSH1 0x20
000007e6: ADD
000007e7: PUSH3 0x035303
000007eb: PUSH1 0xec
000007ed: SHL
000007ee: DUP2
000007ef: MSTORE
000007f0: POP
000007f1: SWAP1
000007f2: PUSH2 0x080e
000007f5: JUMPI
000007f6: PUSH1 0x40
000007f8: MLOAD
000007f9: PUSH3 0x461bcd
000007fd: PUSH1 0xe5
000007ff: SHL
00000800: DUP2
00000801: MSTORE
00000802: PUSH1 0x04
00000804: ADD
00000805: PUSH2 0x0483
00000808: SWAP2
00000809: SWAP1
0000080a: PUSH2 0x20e3
0000080d: JUMP
0000080e: JUMPDEST
0000080f: POP
00000810: PUSH1 0x95
00000812: SLOAD
00000813: PUSH2 0x0826
00000816: SWAP1
00000817: PUSH1 0x01
00000819: PUSH1 0x01
0000081b: PUSH1 0xa0
0000081d: SHL
0000081e: SUB
0000081f: AND
00000820: DUP5
00000821: DUP5
00000822: PUSH2 0x124e
00000825: JUMP
00000826: JUMPDEST
00000827: POP
00000828: SWAP2
00000829: SWAP1
0000082a: POP
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x00
0000082f: DUP1
00000830: PUSH2 0x0837
00000833: PUSH2 0x0f6d
00000836: JUMP
00000837: JUMPDEST
00000838: PUSH1 0x95
0000083a: SLOAD
0000083b: PUSH1 0x40
0000083d: MLOAD
0000083e: PUSH4 0xd15e0053
00000843: PUSH1 0xe0
00000845: SHL
00000846: DUP2
00000847: MSTORE
00000848: PUSH1 0x01
0000084a: PUSH1 0x01
0000084c: PUSH1 0xa0
0000084e: SHL
0000084f: SUB
00000850: SWAP2
00000851: DUP3
00000852: AND
00000853: PUSH1 0x04
00000855: DUP3
00000856: ADD
00000857: MSTORE
00000858: SWAP2
00000859: SWAP3
0000085a: POP
0000085b: PUSH2 0x0535
0000085e: SWAP2
0000085f: SWAP1
00000860: DUP4
00000861: AND
00000862: SWAP1
00000863: PUSH4 0xd15e0053
00000868: SWAP1
00000869: PUSH1 0x24
0000086b: ADD
0000086c: PUSH1 0x20
0000086e: PUSH1 0x40
00000870: MLOAD
00000871: DUP1
00000872: DUP4
00000873: SUB
00000874: DUP2
00000875: DUP7
00000876: DUP1
00000877: EXTCODESIZE
00000878: ISZERO
00000879: DUP1
0000087a: ISZERO
0000087b: PUSH2 0x0883
0000087e: JUMPI
0000087f: PUSH1 0x00
00000881: DUP1
00000882: REVERT
00000883: JUMPDEST
00000884: POP
00000885: GAS
00000886: STATICCALL
00000887: ISZERO
00000888: DUP1
00000889: ISZERO
0000088a: PUSH2 0x0897
0000088d: JUMPI
0000088e: RETURNDATASIZE
0000088f: PUSH1 0x00
00000891: DUP1
00000892: RETURNDATACOPY
00000893: RETURNDATASIZE
00000894: PUSH1 0x00
00000896: REVERT
00000897: JUMPDEST
00000898: POP
00000899: POP
0000089a: POP
0000089b: POP
0000089c: PUSH1 0x40
0000089e: MLOAD
0000089f: RETURNDATASIZE
000008a0: PUSH1 0x1f
000008a2: NOT
000008a3: PUSH1 0x1f
000008a5: DUP3
000008a6: ADD
000008a7: AND
000008a8: DUP3
000008a9: ADD
000008aa: DUP1
000008ab: PUSH1 0x40
000008ad: MSTORE
000008ae: POP
000008af: DUP2
000008b0: ADD
000008b1: SWAP1
000008b2: PUSH2 0x08bb
000008b5: SWAP2
000008b6: SWAP1
000008b7: PUSH2 0x208e
000008ba: JUMP
000008bb: JUMPDEST
000008bc: PUSH2 0x08c4
000008bf: DUP6
000008c0: PUSH2 0x0f52
000008c3: JUMP
000008c4: JUMPDEST
000008c5: SWAP1
000008c6: PUSH2 0x1180
000008c9: JUMP
000008ca: JUMPDEST
000008cb: PUSH1 0x00
000008cd: PUSH2 0x08d4
000008d0: PUSH2 0x0f6d
000008d3: JUMP
000008d4: JUMPDEST
000008d5: SWAP1
000008d6: POP
000008d7: SWAP1
000008d8: JUMP
000008d9: JUMPDEST
000008da: PUSH1 0x00
000008dc: PUSH2 0x08d4
000008df: PUSH2 0x12a0
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH2 0x08eb
000008e7: PUSH2 0x0f6d
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH1 0x01
000008ee: PUSH1 0x01
000008f0: PUSH1 0xa0
000008f2: SHL
000008f3: SUB
000008f4: AND
000008f5: CALLER
000008f6: PUSH1 0x01
000008f8: PUSH1 0x01
000008fa: PUSH1 0xa0
000008fc: SHL
000008fd: SUB
000008fe: AND
000008ff: EQ
00000900: PUSH1 0x40
00000902: MLOAD
00000903: DUP1
00000904: PUSH1 0x40
00000906: ADD
00000907: PUSH1 0x40
00000909: MSTORE
0000090a: DUP1
0000090b: PUSH1 0x03
0000090d: DUP2
0000090e: MSTORE
0000090f: PUSH1 0x20
00000911: ADD
00000912: PUSH3 0x035303
00000916: PUSH1 0xec
00000918: SHL
00000919: DUP2
0000091a: MSTORE
0000091b: POP
0000091c: SWAP1
0000091d: PUSH2 0x0939
00000920: JUMPI
00000921: PUSH1 0x40
00000923: MLOAD
00000924: PUSH3 0x461bcd
00000928: PUSH1 0xe5
0000092a: SHL
0000092b: DUP2
0000092c: MSTORE
0000092d: PUSH1 0x04
0000092f: ADD
00000930: PUSH2 0x0483
00000933: SWAP2
00000934: SWAP1
00000935: PUSH2 0x20e3
00000938: JUMP
00000939: JUMPDEST
0000093a: POP
0000093b: DUP2
0000093c: PUSH2 0x0943
0000093f: JUMPI
00000940: POP
00000941: POP
00000942: JUMP
00000943: JUMPDEST
00000944: PUSH1 0x94
00000946: SLOAD
00000947: PUSH1 0x01
00000949: PUSH1 0x01
0000094b: PUSH1 0xa0
0000094d: SHL
0000094e: SUB
0000094f: AND
00000950: PUSH2 0x0962
00000953: DUP2
00000954: PUSH2 0x095d
00000957: DUP6
00000958: DUP6
00000959: PUSH2 0x0fea
0000095c: JUMP
0000095d: JUMPDEST
0000095e: PUSH2 0x10ca
00000961: JUMP
00000962: JUMPDEST
00000963: PUSH1 0x40
00000965: MLOAD
00000966: DUP4
00000967: DUP2
00000968: MSTORE
00000969: PUSH1 0x01
0000096b: PUSH1 0x01
0000096d: PUSH1 0xa0
0000096f: SHL
00000970: SUB
00000971: DUP3
00000972: AND
00000973: SWAP1
00000974: PUSH1 0x00
00000976: SWAP1
00000977: PUSH1 0x00
00000979: DUP1
0000097a: MLOAD
0000097b: PUSH1 0x20
0000097d: PUSH2 0x22ad
00000980: DUP4
00000981: CODECOPY
00000982: DUP2
00000983: MLOAD
00000984: SWAP2
00000985: MSTORE
00000986: SWAP1
00000987: PUSH1 0x20
00000989: ADD
0000098a: PUSH1 0x40
0000098c: MLOAD
0000098d: DUP1
0000098e: SWAP2
0000098f: SUB
00000990: SWAP1
00000991: LOG3
00000992: PUSH1 0x40
00000994: DUP1
00000995: MLOAD
00000996: DUP5
00000997: DUP2
00000998: MSTORE
00000999: PUSH1 0x20
0000099b: DUP2
0000099c: ADD
0000099d: DUP5
0000099e: SWAP1
0000099f: MSTORE
000009a0: PUSH1 0x01
000009a2: PUSH1 0x01
000009a4: PUSH1 0xa0
000009a6: SHL
000009a7: SUB
000009a8: DUP4
000009a9: AND
000009aa: SWAP2
000009ab: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
000009cc: SWAP2
000009cd: ADD
000009ce: PUSH1 0x40
000009d0: MLOAD
000009d1: DUP1
000009d2: SWAP2
000009d3: SUB
000009d4: SWAP1
000009d5: LOG2
000009d6: POP
000009d7: JUMPDEST
000009d8: POP
000009d9: POP
000009da: JUMP
000009db: JUMPDEST
000009dc: PUSH1 0x60
000009de: PUSH1 0x37
000009e0: DUP1
000009e1: SLOAD
000009e2: PUSH2 0x0379
000009e5: SWAP1
000009e6: PUSH2 0x2249
000009e9: JUMP
000009ea: JUMPDEST
000009eb: CALLER
000009ec: PUSH1 0x00
000009ee: SWAP1
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x34
000009f3: PUSH1 0x20
000009f5: SWAP1
000009f6: DUP2
000009f7: MSTORE
000009f8: PUSH1 0x40
000009fa: DUP1
000009fb: DUP4
000009fc: KECCAK256
000009fd: PUSH1 0x01
000009ff: PUSH1 0x01
00000a01: PUSH1 0xa0
00000a03: SHL
00000a04: SUB
00000a05: DUP7
00000a06: AND
00000a07: DUP5
00000a08: MSTORE
00000a09: SWAP1
00000a0a: SWAP2
00000a0b: MSTORE
00000a0c: DUP2
00000a0d: KECCAK256
00000a0e: SLOAD
00000a0f: DUP3
00000a10: DUP2
00000a11: LT
00000a12: ISZERO
00000a13: PUSH2 0x0a6c
00000a16: JUMPI
00000a17: PUSH1 0x40
00000a19: MLOAD
00000a1a: PUSH3 0x461bcd
00000a1e: PUSH1 0xe5
00000a20: SHL
00000a21: DUP2
00000a22: MSTORE
00000a23: PUSH1 0x20
00000a25: PUSH1 0x04
00000a27: DUP3
00000a28: ADD
00000a29: MSTORE
00000a2a: PUSH1 0x25
00000a2c: PUSH1 0x24
00000a2e: DUP3
00000a2f: ADD
00000a30: MSTORE
00000a31: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00000a52: PUSH1 0x44
00000a54: DUP3
00000a55: ADD
00000a56: MSTORE
00000a57: PUSH5 0x207a65726f
00000a5d: PUSH1 0xd8
00000a5f: SHL
00000a60: PUSH1 0x64
00000a62: DUP3
00000a63: ADD
00000a64: MSTORE
00000a65: PUSH1 0x84
00000a67: ADD
00000a68: PUSH2 0x0483
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: PUSH2 0x0a79
00000a70: CALLER
00000a71: DUP6
00000a72: DUP6
00000a73: DUP5
00000a74: SUB
00000a75: PUSH2 0x0e2e
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: POP
00000a7b: PUSH1 0x01
00000a7d: SWAP4
00000a7e: SWAP3
00000a7f: POP
00000a80: POP
00000a81: POP
00000a82: JUMP
00000a83: JUMPDEST
00000a84: PUSH1 0x00
00000a86: PUSH2 0x0409
00000a89: CALLER
00000a8a: DUP5
00000a8b: DUP5
00000a8c: PUSH2 0x123c
00000a8f: JUMP
00000a90: JUMPDEST
00000a91: PUSH1 0x00
00000a93: PUSH2 0x08d4
00000a96: PUSH1 0x35
00000a98: SLOAD
00000a99: SWAP1
00000a9a: JUMP
00000a9b: JUMPDEST
00000a9c: PUSH1 0x00
00000a9e: SLOAD
00000a9f: PUSH2 0x0100
00000aa2: SWAP1
00000aa3: DIV
00000aa4: PUSH1 0xff
00000aa6: AND
00000aa7: PUSH2 0x0ab6
00000aaa: JUMPI
00000aab: PUSH1 0x00
00000aad: SLOAD
00000aae: PUSH1 0xff
00000ab0: AND
00000ab1: ISZERO
00000ab2: PUSH2 0x0aba
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: ADDRESS
00000ab8: EXTCODESIZE
00000ab9: ISZERO
00000aba: JUMPDEST
00000abb: PUSH2 0x0ad6
00000abe: JUMPI
00000abf: PUSH1 0x40
00000ac1: MLOAD
00000ac2: PUSH3 0x461bcd
00000ac6: PUSH1 0xe5
00000ac8: SHL
00000ac9: DUP2
00000aca: MSTORE
00000acb: PUSH1 0x04
00000acd: ADD
00000ace: PUSH2 0x0483
00000ad1: SWAP1
00000ad2: PUSH2 0x2116
00000ad5: JUMP
00000ad6: JUMPDEST
00000ad7: PUSH1 0x00
00000ad9: SLOAD
00000ada: PUSH2 0x0100
00000add: SWAP1
00000ade: DIV
00000adf: PUSH1 0xff
00000ae1: AND
00000ae2: ISZERO
00000ae3: DUP1
00000ae4: ISZERO
00000ae5: PUSH2 0x0af8
00000ae8: JUMPI
00000ae9: PUSH1 0x00
00000aeb: DUP1
00000aec: SLOAD
00000aed: PUSH2 0xffff
00000af0: NOT
00000af1: AND
00000af2: PUSH2 0x0101
00000af5: OR
00000af6: SWAP1
00000af7: SSTORE
00000af8: JUMPDEST
00000af9: PUSH2 0x0b6d
00000afc: DUP6
00000afd: DUP6
00000afe: DUP1
00000aff: DUP1
00000b00: PUSH1 0x1f
00000b02: ADD
00000b03: PUSH1 0x20
00000b05: DUP1
00000b06: SWAP2
00000b07: DIV
00000b08: MUL
00000b09: PUSH1 0x20
00000b0b: ADD
00000b0c: PUSH1 0x40
00000b0e: MLOAD
00000b0f: SWAP1
00000b10: DUP2
00000b11: ADD
00000b12: PUSH1 0x40
00000b14: MSTORE
00000b15: DUP1
00000b16: SWAP4
00000b17: SWAP3
00000b18: SWAP2
00000b19: SWAP1
00000b1a: DUP2
00000b1b: DUP2
00000b1c: MSTORE
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: DUP4
00000b21: DUP4
00000b22: DUP1
00000b23: DUP3
00000b24: DUP5
00000b25: CALLDATACOPY
00000b26: PUSH1 0x00
00000b28: SWAP3
00000b29: ADD
00000b2a: SWAP2
00000b2b: SWAP1
00000b2c: SWAP2
00000b2d: MSTORE
00000b2e: POP
00000b2f: POP
00000b30: PUSH1 0x40
00000b32: DUP1
00000b33: MLOAD
00000b34: PUSH1 0x20
00000b36: PUSH1 0x1f
00000b38: DUP10
00000b39: ADD
00000b3a: DUP2
00000b3b: SWAP1
00000b3c: DIV
00000b3d: DUP2
00000b3e: MUL
00000b3f: DUP3
00000b40: ADD
00000b41: DUP2
00000b42: ADD
00000b43: SWAP1
00000b44: SWAP3
00000b45: MSTORE
00000b46: DUP8
00000b47: DUP2
00000b48: MSTORE
00000b49: SWAP3
00000b4a: POP
00000b4b: DUP8
00000b4c: SWAP2
00000b4d: POP
00000b4e: DUP7
00000b4f: SWAP1
00000b50: DUP2
00000b51: SWAP1
00000b52: DUP5
00000b53: ADD
00000b54: DUP4
00000b55: DUP3
00000b56: DUP1
00000b57: DUP3
00000b58: DUP5
00000b59: CALLDATACOPY
00000b5a: PUSH1 0x00
00000b5c: SWAP3
00000b5d: ADD
00000b5e: SWAP2
00000b5f: SWAP1
00000b60: SWAP2
00000b61: MSTORE
00000b62: POP
00000b63: DUP12
00000b64: SWAP3
00000b65: POP
00000b66: PUSH2 0x12e5
00000b69: SWAP2
00000b6a: POP
00000b6b: POP
00000b6c: JUMP
00000b6d: JUMPDEST
00000b6e: PUSH1 0x94
00000b70: DUP1
00000b71: SLOAD
00000b72: PUSH1 0x01
00000b74: PUSH1 0x01
00000b76: PUSH1 0xa0
00000b78: SHL
00000b79: SUB
00000b7a: DUP1
00000b7b: DUP12
00000b7c: AND
00000b7d: PUSH1 0x01
00000b7f: PUSH1 0x01
00000b81: PUSH1 0xa0
00000b83: SHL
00000b84: SUB
00000b85: NOT
00000b86: SWAP3
00000b87: DUP4
00000b88: AND
00000b89: OR
00000b8a: SWAP1
00000b8b: SWAP3
00000b8c: SSTORE
00000b8d: PUSH1 0x95
00000b8f: DUP1
00000b90: SLOAD
00000b91: DUP11
00000b92: DUP5
00000b93: AND
00000b94: SWAP1
00000b95: DUP4
00000b96: AND
00000b97: OR
00000b98: SWAP1
00000b99: SSTORE
00000b9a: PUSH1 0x93
00000b9c: DUP1
00000b9d: SLOAD
00000b9e: SWAP3
00000b9f: DUP13
00000ba0: AND
00000ba1: SWAP3
00000ba2: SWAP1
00000ba3: SWAP2
00000ba4: AND
00000ba5: DUP3
00000ba6: OR
00000ba7: SWAP1
00000ba8: SSTORE
00000ba9: PUSH1 0x40
00000bab: DUP1
00000bac: MLOAD
00000bad: PUSH4 0x11ead9ef
00000bb2: PUSH1 0xe3
00000bb4: SHL
00000bb5: DUP2
00000bb6: MSTORE
00000bb7: SWAP1
00000bb8: MLOAD
00000bb9: PUSH4 0x8f56cf78
00000bbe: SWAP2
00000bbf: PUSH1 0x04
00000bc1: DUP1
00000bc2: DUP3
00000bc3: ADD
00000bc4: SWAP3
00000bc5: PUSH1 0x20
00000bc7: SWAP3
00000bc8: SWAP1
00000bc9: SWAP2
00000bca: SWAP1
00000bcb: DUP3
00000bcc: SWAP1
00000bcd: SUB
00000bce: ADD
00000bcf: DUP2
00000bd0: DUP7
00000bd1: DUP1
00000bd2: EXTCODESIZE
00000bd3: ISZERO
00000bd4: DUP1
00000bd5: ISZERO
00000bd6: PUSH2 0x0bde
00000bd9: JUMPI
00000bda: PUSH1 0x00
00000bdc: DUP1
00000bdd: REVERT
00000bde: JUMPDEST
00000bdf: POP
00000be0: GAS
00000be1: STATICCALL
00000be2: ISZERO
00000be3: DUP1
00000be4: ISZERO
00000be5: PUSH2 0x0bf2
00000be8: JUMPI
00000be9: RETURNDATASIZE
00000bea: PUSH1 0x00
00000bec: DUP1
00000bed: RETURNDATACOPY
00000bee: RETURNDATASIZE
00000bef: PUSH1 0x00
00000bf1: REVERT
00000bf2: JUMPDEST
00000bf3: POP
00000bf4: POP
00000bf5: POP
00000bf6: POP
00000bf7: PUSH1 0x40
00000bf9: MLOAD
00000bfa: RETURNDATASIZE
00000bfb: PUSH1 0x1f
00000bfd: NOT
00000bfe: PUSH1 0x1f
00000c00: DUP3
00000c01: ADD
00000c02: AND
00000c03: DUP3
00000c04: ADD
00000c05: DUP1
00000c06: PUSH1 0x40
00000c08: MSTORE
00000c09: POP
00000c0a: DUP2
00000c0b: ADD
00000c0c: SWAP1
00000c0d: PUSH2 0x0c16
00000c10: SWAP2
00000c11: SWAP1
00000c12: PUSH2 0x1e62
00000c15: JUMP
00000c16: JUMPDEST
00000c17: PUSH1 0x01
00000c19: PUSH1 0x01
00000c1b: PUSH1 0xa0
00000c1d: SHL
00000c1e: SUB
00000c1f: AND
00000c20: DUP8
00000c21: PUSH1 0x01
00000c23: PUSH1 0x01
00000c25: PUSH1 0xa0
00000c27: SHL
00000c28: SUB
00000c29: AND
00000c2a: PUSH32 0x3514319b7a526ad5f1f42edf0c1df25fa0ea2ae054779987fbe636f164515e2f
00000c4b: DUP11
00000c4c: PUSH1 0x93
00000c4e: PUSH1 0x00
00000c50: SWAP1
00000c51: SLOAD
00000c52: SWAP1
00000c53: PUSH2 0x0100
00000c56: EXP
00000c57: SWAP1
00000c58: DIV
00000c59: PUSH1 0x01
00000c5b: PUSH1 0x01
00000c5d: PUSH1 0xa0
00000c5f: SHL
00000c60: SUB
00000c61: AND
00000c62: PUSH1 0x01
00000c64: PUSH1 0x01
00000c66: PUSH1 0xa0
00000c68: SHL
00000c69: SUB
00000c6a: AND
00000c6b: PUSH4 0x75d26413
00000c70: PUSH1 0x40
00000c72: MLOAD
00000c73: DUP2
00000c74: PUSH4 0xffffffff
00000c79: AND
00000c7a: PUSH1 0xe0
00000c7c: SHL
00000c7d: DUP2
00000c7e: MSTORE
00000c7f: PUSH1 0x04
00000c81: ADD
00000c82: PUSH1 0x20
00000c84: PUSH1 0x40
00000c86: MLOAD
00000c87: DUP1
00000c88: DUP4
00000c89: SUB
00000c8a: DUP2
00000c8b: DUP7
00000c8c: DUP1
00000c8d: EXTCODESIZE
00000c8e: ISZERO
00000c8f: DUP1
00000c90: ISZERO
00000c91: PUSH2 0x0c99
00000c94: JUMPI
00000c95: PUSH1 0x00
00000c97: DUP1
00000c98: REVERT
00000c99: JUMPDEST
00000c9a: POP
00000c9b: GAS
00000c9c: STATICCALL
00000c9d: ISZERO
00000c9e: DUP1
00000c9f: ISZERO
00000ca0: PUSH2 0x0cad
00000ca3: JUMPI
00000ca4: RETURNDATASIZE
00000ca5: PUSH1 0x00
00000ca7: DUP1
00000ca8: RETURNDATACOPY
00000ca9: RETURNDATASIZE
00000caa: PUSH1 0x00
00000cac: REVERT
00000cad: JUMPDEST
00000cae: POP
00000caf: POP
00000cb0: POP
00000cb1: POP
00000cb2: PUSH1 0x40
00000cb4: MLOAD
00000cb5: RETURNDATASIZE
00000cb6: PUSH1 0x1f
00000cb8: NOT
00000cb9: PUSH1 0x1f
00000cbb: DUP3
00000cbc: ADD
00000cbd: AND
00000cbe: DUP3
00000cbf: ADD
00000cc0: DUP1
00000cc1: PUSH1 0x40
00000cc3: MSTORE
00000cc4: POP
00000cc5: DUP2
00000cc6: ADD
00000cc7: SWAP1
00000cc8: PUSH2 0x0cd1
00000ccb: SWAP2
00000ccc: SWAP1
00000ccd: PUSH2 0x1e62
00000cd0: JUMP
00000cd1: JUMPDEST
00000cd2: PUSH1 0x40
00000cd4: DUP1
00000cd5: MLOAD
00000cd6: PUSH1 0x01
00000cd8: PUSH1 0x01
00000cda: PUSH1 0xa0
00000cdc: SHL
00000cdd: SUB
00000cde: SWAP4
00000cdf: DUP5
00000ce0: AND
00000ce1: DUP2
00000ce2: MSTORE
00000ce3: SWAP3
00000ce4: SWAP1
00000ce5: SWAP2
00000ce6: AND
00000ce7: PUSH1 0x20
00000ce9: DUP4
00000cea: ADD
00000ceb: MSTORE
00000cec: ADD
00000ced: PUSH1 0x40
00000cef: MLOAD
00000cf0: DUP1
00000cf1: SWAP2
00000cf2: SUB
00000cf3: SWAP1
00000cf4: LOG3
00000cf5: DUP1
00000cf6: ISZERO
00000cf7: PUSH2 0x0d06
00000cfa: JUMPI
00000cfb: PUSH1 0x00
00000cfd: DUP1
00000cfe: SLOAD
00000cff: PUSH2 0xff00
00000d02: NOT
00000d03: AND
00000d04: SWAP1
00000d05: SSTORE
00000d06: JUMPDEST
00000d07: POP
00000d08: POP
00000d09: POP
00000d0a: POP
00000d0b: POP
00000d0c: POP
00000d0d: POP
00000d0e: POP
00000d0f: POP
00000d10: JUMP
00000d11: JUMPDEST
00000d12: PUSH2 0x0d19
00000d15: PUSH2 0x0f6d
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: PUSH1 0x01
00000d1c: PUSH1 0x01
00000d1e: PUSH1 0xa0
00000d20: SHL
00000d21: SUB
00000d22: AND
00000d23: CALLER
00000d24: PUSH1 0x01
00000d26: PUSH1 0x01
00000d28: PUSH1 0xa0
00000d2a: SHL
00000d2b: SUB
00000d2c: AND
00000d2d: EQ
00000d2e: PUSH1 0x40
00000d30: MLOAD
00000d31: DUP1
00000d32: PUSH1 0x40
00000d34: ADD
00000d35: PUSH1 0x40
00000d37: MSTORE
00000d38: DUP1
00000d39: PUSH1 0x03
00000d3b: DUP2
00000d3c: MSTORE
00000d3d: PUSH1 0x20
00000d3f: ADD
00000d40: PUSH3 0x035303
00000d44: PUSH1 0xec
00000d46: SHL
00000d47: DUP2
00000d48: MSTORE
00000d49: POP
00000d4a: SWAP1
00000d4b: PUSH2 0x0d67
00000d4e: JUMPI
00000d4f: PUSH1 0x40
00000d51: MLOAD
00000d52: PUSH3 0x461bcd
00000d56: PUSH1 0xe5
00000d58: SHL
00000d59: DUP2
00000d5a: MSTORE
00000d5b: PUSH1 0x04
00000d5d: ADD
00000d5e: PUSH2 0x0483
00000d61: SWAP2
00000d62: SWAP1
00000d63: PUSH2 0x20e3
00000d66: JUMP
00000d67: JUMPDEST
00000d68: POP
00000d69: PUSH1 0x00
00000d6b: PUSH2 0x0d74
00000d6e: DUP4
00000d6f: DUP4
00000d70: PUSH2 0x0fea
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH1 0x40
00000d77: DUP1
00000d78: MLOAD
00000d79: DUP1
00000d7a: DUP3
00000d7b: ADD
00000d7c: SWAP1
00000d7d: SWAP2
00000d7e: MSTORE
00000d7f: PUSH1 0x03
00000d81: DUP2
00000d82: MSTORE
00000d83: PUSH3 0x1a9819
00000d87: PUSH1 0xe9
00000d89: SHL
00000d8a: PUSH1 0x20
00000d8c: DUP3
00000d8d: ADD
00000d8e: MSTORE
00000d8f: SWAP1
00000d90: SWAP2
00000d91: POP
00000d92: DUP2
00000d93: PUSH2 0x0daf
00000d96: JUMPI
00000d97: PUSH1 0x40
00000d99: MLOAD
00000d9a: PUSH3 0x461bcd
00000d9e: PUSH1 0xe5
00000da0: SHL
00000da1: DUP2
00000da2: MSTORE
00000da3: PUSH1 0x04
00000da5: ADD
00000da6: PUSH2 0x0483
00000da9: SWAP2
00000daa: SWAP1
00000dab: PUSH2 0x20e3
00000dae: JUMP
00000daf: JUMPDEST
00000db0: POP
00000db1: PUSH2 0x0dba
00000db4: DUP6
00000db5: DUP3
00000db6: PUSH2 0x1372
00000db9: JUMP
00000dba: JUMPDEST
00000dbb: PUSH1 0x95
00000dbd: SLOAD
00000dbe: PUSH2 0x0dd1
00000dc1: SWAP1
00000dc2: PUSH1 0x01
00000dc4: PUSH1 0x01
00000dc6: PUSH1 0xa0
00000dc8: SHL
00000dc9: SUB
00000dca: AND
00000dcb: DUP6
00000dcc: DUP6
00000dcd: PUSH2 0x124e
00000dd0: JUMP
00000dd1: JUMPDEST
00000dd2: DUP4
00000dd3: PUSH1 0x01
00000dd5: PUSH1 0x01
00000dd7: PUSH1 0xa0
00000dd9: SHL
00000dda: SUB
00000ddb: AND
00000ddc: DUP6
00000ddd: PUSH1 0x01
00000ddf: PUSH1 0x01
00000de1: PUSH1 0xa0
00000de3: SHL
00000de4: SUB
00000de5: AND
00000de6: PUSH32 0x5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2
00000e07: DUP6
00000e08: DUP6
00000e09: PUSH1 0x40
00000e0b: MLOAD
00000e0c: PUSH2 0x0e1f
00000e0f: SWAP3
00000e10: SWAP2
00000e11: SWAP1
00000e12: SWAP2
00000e13: DUP3
00000e14: MSTORE
00000e15: PUSH1 0x20
00000e17: DUP3
00000e18: ADD
00000e19: MSTORE
00000e1a: PUSH1 0x40
00000e1c: ADD
00000e1d: SWAP1
00000e1e: JUMP
00000e1f: JUMPDEST
00000e20: PUSH1 0x40
00000e22: MLOAD
00000e23: DUP1
00000e24: SWAP2
00000e25: SUB
00000e26: SWAP1
00000e27: LOG3
00000e28: POP
00000e29: POP
00000e2a: POP
00000e2b: POP
00000e2c: POP
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: PUSH1 0x01
00000e31: PUSH1 0x01
00000e33: PUSH1 0xa0
00000e35: SHL
00000e36: SUB
00000e37: DUP4
00000e38: AND
00000e39: PUSH2 0x0e90
00000e3c: JUMPI
00000e3d: PUSH1 0x40
00000e3f: MLOAD
00000e40: PUSH3 0x461bcd
00000e44: PUSH1 0xe5
00000e46: SHL
00000e47: DUP2
00000e48: MSTORE
00000e49: PUSH1 0x20
00000e4b: PUSH1 0x04
00000e4d: DUP3
00000e4e: ADD
00000e4f: MSTORE
00000e50: PUSH1 0x24
00000e52: DUP1
00000e53: DUP3
00000e54: ADD
00000e55: MSTORE
00000e56: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00000e77: PUSH1 0x44
00000e79: DUP3
00000e7a: ADD
00000e7b: MSTORE
00000e7c: PUSH4 0x72657373
00000e81: PUSH1 0xe0
00000e83: SHL
00000e84: PUSH1 0x64
00000e86: DUP3
00000e87: ADD
00000e88: MSTORE
00000e89: PUSH1 0x84
00000e8b: ADD
00000e8c: PUSH2 0x0483
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH1 0x01
00000e93: PUSH1 0x01
00000e95: PUSH1 0xa0
00000e97: SHL
00000e98: SUB
00000e99: DUP3
00000e9a: AND
00000e9b: PUSH2 0x0ef1
00000e9e: JUMPI
00000e9f: PUSH1 0x40
00000ea1: MLOAD
00000ea2: PUSH3 0x461bcd
00000ea6: PUSH1 0xe5
00000ea8: SHL
00000ea9: DUP2
00000eaa: MSTORE
00000eab: PUSH1 0x20
00000ead: PUSH1 0x04
00000eaf: DUP3
00000eb0: ADD
00000eb1: MSTORE
00000eb2: PUSH1 0x22
00000eb4: PUSH1 0x24
00000eb6: DUP3
00000eb7: ADD
00000eb8: MSTORE
00000eb9: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00000eda: PUSH1 0x44
00000edc: DUP3
00000edd: ADD
00000ede: MSTORE
00000edf: PUSH2 0x7373
00000ee2: PUSH1 0xf0
00000ee4: SHL
00000ee5: PUSH1 0x64
00000ee7: DUP3
00000ee8: ADD
00000ee9: MSTORE
00000eea: PUSH1 0x84
00000eec: ADD
00000eed: PUSH2 0x0483
00000ef0: JUMP
00000ef1: JUMPDEST
00000ef2: PUSH1 0x01
00000ef4: PUSH1 0x01
00000ef6: PUSH1 0xa0
00000ef8: SHL
00000ef9: SUB
00000efa: DUP4
00000efb: DUP2
00000efc: AND
00000efd: PUSH1 0x00
00000eff: DUP2
00000f00: DUP2
00000f01: MSTORE
00000f02: PUSH1 0x34
00000f04: PUSH1 0x20
00000f06: SWAP1
00000f07: DUP2
00000f08: MSTORE
00000f09: PUSH1 0x40
00000f0b: DUP1
00000f0c: DUP4
00000f0d: KECCAK256
00000f0e: SWAP5
00000f0f: DUP8
00000f10: AND
00000f11: DUP1
00000f12: DUP5
00000f13: MSTORE
00000f14: SWAP5
00000f15: DUP3
00000f16: MSTORE
00000f17: SWAP2
00000f18: DUP3
00000f19: SWAP1
00000f1a: KECCAK256
00000f1b: DUP6
00000f1c: SWAP1
00000f1d: SSTORE
00000f1e: SWAP1
00000f1f: MLOAD
00000f20: DUP5
00000f21: DUP2
00000f22: MSTORE
00000f23: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000f44: SWAP2
00000f45: ADD
00000f46: PUSH1 0x40
00000f48: MLOAD
00000f49: DUP1
00000f4a: SWAP2
00000f4b: SUB
00000f4c: SWAP1
00000f4d: LOG3
00000f4e: POP
00000f4f: POP
00000f50: POP
00000f51: JUMP
00000f52: JUMPDEST
00000f53: PUSH1 0x01
00000f55: PUSH1 0x01
00000f57: PUSH1 0xa0
00000f59: SHL
00000f5a: SUB
00000f5b: AND
00000f5c: PUSH1 0x00
00000f5e: SWAP1
00000f5f: DUP2
00000f60: MSTORE
00000f61: PUSH1 0x33
00000f63: PUSH1 0x20
00000f65: MSTORE
00000f66: PUSH1 0x40
00000f68: SWAP1
00000f69: KECCAK256
00000f6a: SLOAD
00000f6b: SWAP1
00000f6c: JUMP
00000f6d: JUMPDEST
00000f6e: PUSH1 0x93
00000f70: SLOAD
00000f71: PUSH1 0x40
00000f73: DUP1
00000f74: MLOAD
00000f75: PUSH4 0x11ead9ef
00000f7a: PUSH1 0xe3
00000f7c: SHL
00000f7d: DUP2
00000f7e: MSTORE
00000f7f: SWAP1
00000f80: MLOAD
00000f81: PUSH1 0x00
00000f83: SWAP3
00000f84: PUSH1 0x01
00000f86: PUSH1 0x01
00000f88: PUSH1 0xa0
00000f8a: SHL
00000f8b: SUB
00000f8c: AND
00000f8d: SWAP2
00000f8e: PUSH4 0x8f56cf78
00000f93: SWAP2
00000f94: PUSH1 0x04
00000f96: DUP1
00000f97: DUP4
00000f98: ADD
00000f99: SWAP3
00000f9a: PUSH1 0x20
00000f9c: SWAP3
00000f9d: SWAP2
00000f9e: SWAP1
00000f9f: DUP3
00000fa0: SWAP1
00000fa1: SUB
00000fa2: ADD
00000fa3: DUP2
00000fa4: DUP7
00000fa5: DUP1
00000fa6: EXTCODESIZE
00000fa7: ISZERO
00000fa8: DUP1
00000fa9: ISZERO
00000faa: PUSH2 0x0fb2
00000fad: JUMPI
00000fae: PUSH1 0x00
00000fb0: DUP1
00000fb1: REVERT
00000fb2: JUMPDEST
00000fb3: POP
00000fb4: GAS
00000fb5: STATICCALL
00000fb6: ISZERO
00000fb7: DUP1
00000fb8: ISZERO
00000fb9: PUSH2 0x0fc6
00000fbc: JUMPI
00000fbd: RETURNDATASIZE
00000fbe: PUSH1 0x00
00000fc0: DUP1
00000fc1: RETURNDATACOPY
00000fc2: RETURNDATASIZE
00000fc3: PUSH1 0x00
00000fc5: REVERT
00000fc6: JUMPDEST
00000fc7: POP
00000fc8: POP
00000fc9: POP
00000fca: POP
00000fcb: PUSH1 0x40
00000fcd: MLOAD
00000fce: RETURNDATASIZE
00000fcf: PUSH1 0x1f
00000fd1: NOT
00000fd2: PUSH1 0x1f
00000fd4: DUP3
00000fd5: ADD
00000fd6: AND
00000fd7: DUP3
00000fd8: ADD
00000fd9: DUP1
00000fda: PUSH1 0x40
00000fdc: MSTORE
00000fdd: POP
00000fde: DUP2
00000fdf: ADD
00000fe0: SWAP1
00000fe1: PUSH2 0x08d4
00000fe4: SWAP2
00000fe5: SWAP1
00000fe6: PUSH2 0x1e62
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: PUSH1 0x40
00000fed: DUP1
00000fee: MLOAD
00000fef: DUP1
00000ff0: DUP3
00000ff1: ADD
00000ff2: SWAP1
00000ff3: SWAP2
00000ff4: MSTORE
00000ff5: PUSH1 0x03
00000ff7: DUP2
00000ff8: MSTORE
00000ff9: PUSH3 0x191819
00000ffd: PUSH1 0xe9
00000fff: SHL
00001000: PUSH1 0x20
00001002: DUP3
00001003: ADD
00001004: MSTORE
00001005: PUSH1 0x00
00001007: SWAP1
00001008: DUP3
00001009: PUSH2 0x1025
0000100c: JUMPI
0000100d: PUSH1 0x40
0000100f: MLOAD
00001010: PUSH3 0x461bcd
00001014: PUSH1 0xe5
00001016: SHL
00001017: DUP2
00001018: MSTORE
00001019: PUSH1 0x04
0000101b: ADD
0000101c: PUSH2 0x0483
0000101f: SWAP2
00001020: SWAP1
00001021: PUSH2 0x20e3
00001024: JUMP
00001025: JUMPDEST
00001026: POP
00001027: PUSH1 0x00
00001029: PUSH2 0x1033
0000102c: PUSH1 0x02
0000102e: DUP5
0000102f: PUSH2 0x21c7
00001032: JUMP
00001033: JUMPDEST
00001034: SWAP1
00001035: POP
00001036: PUSH12 0x033b2e3c9fd0803ce8000000
00001043: PUSH2 0x104e
00001046: DUP3
00001047: PUSH1 0x00
00001049: NOT
0000104a: PUSH2 0x2206
0000104d: JUMP
0000104e: JUMPDEST
0000104f: PUSH2 0x1058
00001052: SWAP2
00001053: SWAP1
00001054: PUSH2 0x21c7
00001057: JUMP
00001058: JUMPDEST
00001059: DUP5
0000105a: GT
0000105b: ISZERO
0000105c: PUSH1 0x40
0000105e: MLOAD
0000105f: DUP1
00001060: PUSH1 0x40
00001062: ADD
00001063: PUSH1 0x40
00001065: MSTORE
00001066: DUP1
00001067: PUSH1 0x03
00001069: DUP2
0000106a: MSTORE
0000106b: PUSH1 0x20
0000106d: ADD
0000106e: PUSH3 0x032303
00001072: PUSH1 0xec
00001074: SHL
00001075: DUP2
00001076: MSTORE
00001077: POP
00001078: SWAP1
00001079: PUSH2 0x1095
0000107c: JUMPI
0000107d: PUSH1 0x40
0000107f: MLOAD
00001080: PUSH3 0x461bcd
00001084: PUSH1 0xe5
00001086: SHL
00001087: DUP2
00001088: MSTORE
00001089: PUSH1 0x04
0000108b: ADD
0000108c: PUSH2 0x0483
0000108f: SWAP2
00001090: SWAP1
00001091: PUSH2 0x20e3
00001094: JUMP
00001095: JUMPDEST
00001096: POP
00001097: DUP3
00001098: DUP2
00001099: PUSH2 0x10ae
0000109c: PUSH12 0x033b2e3c9fd0803ce8000000
000010a9: DUP8
000010aa: PUSH2 0x21e7
000010ad: JUMP
000010ae: JUMPDEST
000010af: PUSH2 0x10b8
000010b2: SWAP2
000010b3: SWAP1
000010b4: PUSH2 0x21af
000010b7: JUMP
000010b8: JUMPDEST
000010b9: PUSH2 0x10c2
000010bc: SWAP2
000010bd: SWAP1
000010be: PUSH2 0x21c7
000010c1: JUMP
000010c2: JUMPDEST
000010c3: SWAP5
000010c4: SWAP4
000010c5: POP
000010c6: POP
000010c7: POP
000010c8: POP
000010c9: JUMP
000010ca: JUMPDEST
000010cb: PUSH1 0x00
000010cd: PUSH2 0x10d5
000010d0: PUSH1 0x35
000010d2: SLOAD
000010d3: SWAP1
000010d4: JUMP
000010d5: JUMPDEST
000010d6: SWAP1
000010d7: POP
000010d8: PUSH1 0x00
000010da: PUSH2 0x10e2
000010dd: DUP5
000010de: PUSH2 0x0f52
000010e1: JUMP
000010e2: JUMPDEST
000010e3: SWAP1
000010e4: POP
000010e5: PUSH2 0x10ee
000010e8: DUP5
000010e9: DUP5
000010ea: PUSH2 0x1396
000010ed: JUMP
000010ee: JUMPDEST
000010ef: PUSH1 0x00
000010f1: PUSH2 0x10f8
000010f4: PUSH2 0x12a0
000010f7: JUMP
000010f8: JUMPDEST
000010f9: PUSH1 0x01
000010fb: PUSH1 0x01
000010fd: PUSH1 0xa0
000010ff: SHL
00001100: SUB
00001101: AND
00001102: EQ
00001103: PUSH2 0x117a
00001106: JUMPI
00001107: PUSH2 0x110e
0000110a: PUSH2 0x12a0
0000110d: JUMP
0000110e: JUMPDEST
0000110f: PUSH1 0x40
00001111: MLOAD
00001112: PUSH4 0x18c39f17
00001117: PUSH1 0xe1
00001119: SHL
0000111a: DUP2
0000111b: MSTORE
0000111c: PUSH1 0x01
0000111e: PUSH1 0x01
00001120: PUSH1 0xa0
00001122: SHL
00001123: SUB
00001124: DUP7
00001125: DUP2
00001126: AND
00001127: PUSH1 0x04
00001129: DUP4
0000112a: ADD
0000112b: MSTORE
0000112c: PUSH1 0x24
0000112e: DUP3
0000112f: ADD
00001130: DUP6
00001131: SWAP1
00001132: MSTORE
00001133: PUSH1 0x44
00001135: DUP3
00001136: ADD
00001137: DUP5
00001138: SWAP1
00001139: MSTORE
0000113a: SWAP2
0000113b: SWAP1
0000113c: SWAP2
0000113d: AND
0000113e: SWAP1
0000113f: PUSH4 0x31873e2e
00001144: SWAP1
00001145: PUSH1 0x64
00001147: ADD
00001148: PUSH1 0x00
0000114a: PUSH1 0x40
0000114c: MLOAD
0000114d: DUP1
0000114e: DUP4
0000114f: SUB
00001150: DUP2
00001151: PUSH1 0x00
00001153: DUP8
00001154: DUP1
00001155: EXTCODESIZE
00001156: ISZERO
00001157: DUP1
00001158: ISZERO
00001159: PUSH2 0x1161
0000115c: JUMPI
0000115d: PUSH1 0x00
0000115f: DUP1
00001160: REVERT
00001161: JUMPDEST
00001162: POP
00001163: GAS
00001164: CALL
00001165: ISZERO
00001166: DUP1
00001167: ISZERO
00001168: PUSH2 0x1175
0000116b: JUMPI
0000116c: RETURNDATASIZE
0000116d: PUSH1 0x00
0000116f: DUP1
00001170: RETURNDATACOPY
00001171: RETURNDATASIZE
00001172: PUSH1 0x00
00001174: REVERT
00001175: JUMPDEST
00001176: POP
00001177: POP
00001178: POP
00001179: POP
0000117a: JUMPDEST
0000117b: POP
0000117c: POP
0000117d: POP
0000117e: POP
0000117f: JUMP
00001180: JUMPDEST
00001181: PUSH1 0x00
00001183: DUP3
00001184: ISZERO
00001185: DUP1
00001186: PUSH2 0x118d
00001189: JUMPI
0000118a: POP
0000118b: DUP2
0000118c: ISZERO
0000118d: JUMPDEST
0000118e: ISZERO
0000118f: PUSH2 0x119a
00001192: JUMPI
00001193: POP
00001194: PUSH1 0x00
00001196: PUSH2 0x040d
00001199: JUMP
0000119a: JUMPDEST
0000119b: DUP2
0000119c: PUSH2 0x11b2
0000119f: PUSH1 0x02
000011a1: PUSH12 0x033b2e3c9fd0803ce8000000
000011ae: PUSH2 0x21c7
000011b1: JUMP
000011b2: JUMPDEST
000011b3: PUSH2 0x11be
000011b6: SWAP1
000011b7: PUSH1 0x00
000011b9: NOT
000011ba: PUSH2 0x2206
000011bd: JUMP
000011be: JUMPDEST
000011bf: PUSH2 0x11c8
000011c2: SWAP2
000011c3: SWAP1
000011c4: PUSH2 0x21c7
000011c7: JUMP
000011c8: JUMPDEST
000011c9: DUP4
000011ca: GT
000011cb: ISZERO
000011cc: PUSH1 0x40
000011ce: MLOAD
000011cf: DUP1
000011d0: PUSH1 0x40
000011d2: ADD
000011d3: PUSH1 0x40
000011d5: MSTORE
000011d6: DUP1
000011d7: PUSH1 0x03
000011d9: DUP2
000011da: MSTORE
000011db: PUSH1 0x20
000011dd: ADD
000011de: PUSH3 0x032303
000011e2: PUSH1 0xec
000011e4: SHL
000011e5: DUP2
000011e6: MSTORE
000011e7: POP
000011e8: SWAP1
000011e9: PUSH2 0x1205
000011ec: JUMPI
000011ed: PUSH1 0x40
000011ef: MLOAD
000011f0: PUSH3 0x461bcd
000011f4: PUSH1 0xe5
000011f6: SHL
000011f7: DUP2
000011f8: MSTORE
000011f9: PUSH1 0x04
000011fb: ADD
000011fc: PUSH2 0x0483
000011ff: SWAP2
00001200: SWAP1
00001201: PUSH2 0x20e3
00001204: JUMP
00001205: JUMPDEST
00001206: POP
00001207: PUSH12 0x033b2e3c9fd0803ce8000000
00001214: PUSH2 0x121e
00001217: PUSH1 0x02
00001219: DUP3
0000121a: PUSH2 0x21c7
0000121d: JUMP
0000121e: JUMPDEST
0000121f: PUSH2 0x1228
00001222: DUP5
00001223: DUP7
00001224: PUSH2 0x21e7
00001227: JUMP
00001228: JUMPDEST
00001229: PUSH2 0x1232
0000122c: SWAP2
0000122d: SWAP1
0000122e: PUSH2 0x21af
00001231: JUMP
00001232: JUMPDEST
00001233: PUSH2 0x0535
00001236: SWAP2
00001237: SWAP1
00001238: PUSH2 0x21c7
0000123b: JUMP
0000123c: JUMPDEST
0000123d: PUSH2 0x1249
00001240: DUP4
00001241: DUP4
00001242: DUP4
00001243: PUSH1 0x01
00001245: PUSH2 0x1463
00001248: JUMP
00001249: JUMPDEST
0000124a: POP
0000124b: POP
0000124c: POP
0000124d: JUMP
0000124e: JUMPDEST
0000124f: PUSH1 0x40
00001251: DUP1
00001252: MLOAD
00001253: PUSH1 0x01
00001255: PUSH1 0x01
00001257: PUSH1 0xa0
00001259: SHL
0000125a: SUB
0000125b: DUP5
0000125c: AND
0000125d: PUSH1 0x24
0000125f: DUP3
00001260: ADD
00001261: MSTORE
00001262: PUSH1 0x44
00001264: DUP1
00001265: DUP3
00001266: ADD
00001267: DUP5
00001268: SWAP1
00001269: MSTORE
0000126a: DUP3
0000126b: MLOAD
0000126c: DUP1
0000126d: DUP4
0000126e: SUB
0000126f: SWAP1
00001270: SWAP2
00001271: ADD
00001272: DUP2
00001273: MSTORE
00001274: PUSH1 0x64
00001276: SWAP1
00001277: SWAP2
00001278: ADD
00001279: SWAP1
0000127a: SWAP2
0000127b: MSTORE
0000127c: PUSH1 0x20
0000127e: DUP2
0000127f: ADD
00001280: DUP1
00001281: MLOAD
00001282: PUSH1 0x01
00001284: PUSH1 0x01
00001286: PUSH1 0xe0
00001288: SHL
00001289: SUB
0000128a: AND
0000128b: PUSH4 0xa9059cbb
00001290: PUSH1 0xe0
00001292: SHL
00001293: OR
00001294: SWAP1
00001295: MSTORE
00001296: PUSH2 0x1249
00001299: SWAP1
0000129a: DUP5
0000129b: SWAP1
0000129c: PUSH2 0x1632
0000129f: JUMP
000012a0: JUMPDEST
000012a1: PUSH1 0x93
000012a3: SLOAD
000012a4: PUSH1 0x40
000012a6: DUP1
000012a7: MLOAD
000012a8: PUSH4 0x75d26413
000012ad: PUSH1 0xe0
000012af: SHL
000012b0: DUP2
000012b1: MSTORE
000012b2: SWAP1
000012b3: MLOAD
000012b4: PUSH1 0x00
000012b6: SWAP3
000012b7: PUSH1 0x01
000012b9: PUSH1 0x01
000012bb: PUSH1 0xa0
000012bd: SHL
000012be: SUB
000012bf: AND
000012c0: SWAP2
000012c1: PUSH4 0x75d26413
000012c6: SWAP2
000012c7: PUSH1 0x04
000012c9: DUP1
000012ca: DUP4
000012cb: ADD
000012cc: SWAP3
000012cd: PUSH1 0x20
000012cf: SWAP3
000012d0: SWAP2
000012d1: SWAP1
000012d2: DUP3
000012d3: SWAP1
000012d4: SUB
000012d5: ADD
000012d6: DUP2
000012d7: DUP7
000012d8: DUP1
000012d9: EXTCODESIZE
000012da: ISZERO
000012db: DUP1
000012dc: ISZERO
000012dd: PUSH2 0x0fb2
000012e0: JUMPI
000012e1: PUSH1 0x00
000012e3: DUP1
000012e4: REVERT
000012e5: JUMPDEST
000012e6: PUSH1 0x00
000012e8: SLOAD
000012e9: PUSH2 0x0100
000012ec: SWAP1
000012ed: DIV
000012ee: PUSH1 0xff
000012f0: AND
000012f1: PUSH2 0x1300
000012f4: JUMPI
000012f5: PUSH1 0x00
000012f7: SLOAD
000012f8: PUSH1 0xff
000012fa: AND
000012fb: ISZERO
000012fc: PUSH2 0x1304
000012ff: JUMP
00001300: JUMPDEST
00001301: ADDRESS
00001302: EXTCODESIZE
00001303: ISZERO
00001304: JUMPDEST
00001305: PUSH2 0x1320
00001308: JUMPI
00001309: PUSH1 0x40
0000130b: MLOAD
0000130c: PUSH3 0x461bcd
00001310: PUSH1 0xe5
00001312: SHL
00001313: DUP2
00001314: MSTORE
00001315: PUSH1 0x04
00001317: ADD
00001318: PUSH2 0x0483
0000131b: SWAP1
0000131c: PUSH2 0x2116
0000131f: JUMP
00001320: JUMPDEST
00001321: PUSH1 0x00
00001323: SLOAD
00001324: PUSH2 0x0100
00001327: SWAP1
00001328: DIV
00001329: PUSH1 0xff
0000132b: AND
0000132c: ISZERO
0000132d: DUP1
0000132e: ISZERO
0000132f: PUSH2 0x1342
00001332: JUMPI
00001333: PUSH1 0x00
00001335: DUP1
00001336: SLOAD
00001337: PUSH2 0xffff
0000133a: NOT
0000133b: AND
0000133c: PUSH2 0x0101
0000133f: OR
00001340: SWAP1
00001341: SSTORE
00001342: JUMPDEST
00001343: PUSH2 0x134c
00001346: DUP5
00001347: DUP5
00001348: PUSH2 0x1704
0000134b: JUMP
0000134c: JUMPDEST
0000134d: PUSH1 0x65
0000134f: DUP1
00001350: SLOAD
00001351: PUSH1 0xff
00001353: NOT
00001354: AND
00001355: PUSH1 0xff
00001357: DUP5
00001358: AND
00001359: OR
0000135a: SWAP1
0000135b: SSTORE
0000135c: DUP1
0000135d: ISZERO
0000135e: PUSH2 0x117a
00001361: JUMPI
00001362: PUSH1 0x00
00001364: DUP1
00001365: SLOAD
00001366: PUSH2 0xff00
00001369: NOT
0000136a: AND
0000136b: SWAP1
0000136c: SSTORE
0000136d: POP
0000136e: POP
0000136f: POP
00001370: POP
00001371: JUMP
00001372: JUMPDEST
00001373: PUSH1 0x00
00001375: PUSH2 0x137d
00001378: PUSH1 0x35
0000137a: SLOAD
0000137b: SWAP1
0000137c: JUMP
0000137d: JUMPDEST
0000137e: SWAP1
0000137f: POP
00001380: PUSH1 0x00
00001382: PUSH2 0x138a
00001385: DUP5
00001386: PUSH2 0x0f52
00001389: JUMP
0000138a: JUMPDEST
0000138b: SWAP1
0000138c: POP
0000138d: PUSH2 0x10ee
00001390: DUP5
00001391: DUP5
00001392: PUSH2 0x173d
00001395: JUMP
00001396: JUMPDEST
00001397: PUSH1 0x01
00001399: PUSH1 0x01
0000139b: PUSH1 0xa0
0000139d: SHL
0000139e: SUB
0000139f: DUP3
000013a0: AND
000013a1: PUSH2 0x13ec
000013a4: JUMPI
000013a5: PUSH1 0x40
000013a7: MLOAD
000013a8: PUSH3 0x461bcd
000013ac: PUSH1 0xe5
000013ae: SHL
000013af: DUP2
000013b0: MSTORE
000013b1: PUSH1 0x20
000013b3: PUSH1 0x04
000013b5: DUP3
000013b6: ADD
000013b7: MSTORE
000013b8: PUSH1 0x1f
000013ba: PUSH1 0x24
000013bc: DUP3
000013bd: ADD
000013be: MSTORE
000013bf: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
000013e0: PUSH1 0x44
000013e2: DUP3
000013e3: ADD
000013e4: MSTORE
000013e5: PUSH1 0x64
000013e7: ADD
000013e8: PUSH2 0x0483
000013eb: JUMP
000013ec: JUMPDEST
000013ed: DUP1
000013ee: PUSH1 0x35
000013f0: PUSH1 0x00
000013f2: DUP3
000013f3: DUP3
000013f4: SLOAD
000013f5: PUSH2 0x13fe
000013f8: SWAP2
000013f9: SWAP1
000013fa: PUSH2 0x21af
000013fd: JUMP
000013fe: JUMPDEST
000013ff: SWAP1
00001400: SWAP2
00001401: SSTORE
00001402: POP
00001403: POP
00001404: PUSH1 0x01
00001406: PUSH1 0x01
00001408: PUSH1 0xa0
0000140a: SHL
0000140b: SUB
0000140c: DUP3
0000140d: AND
0000140e: PUSH1 0x00
00001410: SWAP1
00001411: DUP2
00001412: MSTORE
00001413: PUSH1 0x33
00001415: PUSH1 0x20
00001417: MSTORE
00001418: PUSH1 0x40
0000141a: DUP2
0000141b: KECCAK256
0000141c: DUP1
0000141d: SLOAD
0000141e: DUP4
0000141f: SWAP3
00001420: SWAP1
00001421: PUSH2 0x142b
00001424: SWAP1
00001425: DUP5
00001426: SWAP1
00001427: PUSH2 0x21af
0000142a: JUMP
0000142b: JUMPDEST
0000142c: SWAP1
0000142d: SWAP2
0000142e: SSTORE
0000142f: POP
00001430: POP
00001431: PUSH1 0x40
00001433: MLOAD
00001434: DUP2
00001435: DUP2
00001436: MSTORE
00001437: PUSH1 0x01
00001439: PUSH1 0x01
0000143b: PUSH1 0xa0
0000143d: SHL
0000143e: SUB
0000143f: DUP4
00001440: AND
00001441: SWAP1
00001442: PUSH1 0x00
00001444: SWAP1
00001445: PUSH1 0x00
00001447: DUP1
00001448: MLOAD
00001449: PUSH1 0x20
0000144b: PUSH2 0x22ad
0000144e: DUP4
0000144f: CODECOPY
00001450: DUP2
00001451: MLOAD
00001452: SWAP2
00001453: MSTORE
00001454: SWAP1
00001455: PUSH1 0x20
00001457: ADD
00001458: PUSH1 0x40
0000145a: MLOAD
0000145b: DUP1
0000145c: SWAP2
0000145d: SUB
0000145e: SWAP1
0000145f: LOG3
00001460: POP
00001461: POP
00001462: JUMP
00001463: JUMPDEST
00001464: PUSH1 0x95
00001466: SLOAD
00001467: PUSH1 0x01
00001469: PUSH1 0x01
0000146b: PUSH1 0xa0
0000146d: SHL
0000146e: SUB
0000146f: AND
00001470: PUSH1 0x00
00001472: PUSH2 0x1479
00001475: PUSH2 0x0f6d
00001478: JUMP
00001479: JUMPDEST
0000147a: PUSH1 0x40
0000147c: MLOAD
0000147d: PUSH4 0xd15e0053
00001482: PUSH1 0xe0
00001484: SHL
00001485: DUP2
00001486: MSTORE
00001487: PUSH1 0x01
00001489: PUSH1 0x01
0000148b: PUSH1 0xa0
0000148d: SHL
0000148e: SUB
0000148f: DUP5
00001490: DUP2
00001491: AND
00001492: PUSH1 0x04
00001494: DUP4
00001495: ADD
00001496: MSTORE
00001497: SWAP2
00001498: SWAP3
00001499: POP
0000149a: PUSH1 0x00
0000149c: SWAP2
0000149d: DUP4
0000149e: AND
0000149f: SWAP1
000014a0: PUSH4 0xd15e0053
000014a5: SWAP1
000014a6: PUSH1 0x24
000014a8: ADD
000014a9: PUSH1 0x20
000014ab: PUSH1 0x40
000014ad: MLOAD
000014ae: DUP1
000014af: DUP4
000014b0: SUB
000014b1: DUP2
000014b2: DUP7
000014b3: DUP1
000014b4: EXTCODESIZE
000014b5: ISZERO
000014b6: DUP1
000014b7: ISZERO
000014b8: PUSH2 0x14c0
000014bb: JUMPI
000014bc: PUSH1 0x00
000014be: DUP1
000014bf: REVERT
000014c0: JUMPDEST
000014c1: POP
000014c2: GAS
000014c3: STATICCALL
000014c4: ISZERO
000014c5: DUP1
000014c6: ISZERO
000014c7: PUSH2 0x14d4
000014ca: JUMPI
000014cb: RETURNDATASIZE
000014cc: PUSH1 0x00
000014ce: DUP1
000014cf: RETURNDATACOPY
000014d0: RETURNDATASIZE
000014d1: PUSH1 0x00
000014d3: REVERT
000014d4: JUMPDEST
000014d5: POP
000014d6: POP
000014d7: POP
000014d8: POP
000014d9: PUSH1 0x40
000014db: MLOAD
000014dc: RETURNDATASIZE
000014dd: PUSH1 0x1f
000014df: NOT
000014e0: PUSH1 0x1f
000014e2: DUP3
000014e3: ADD
000014e4: AND
000014e5: DUP3
000014e6: ADD
000014e7: DUP1
000014e8: PUSH1 0x40
000014ea: MSTORE
000014eb: POP
000014ec: DUP2
000014ed: ADD
000014ee: SWAP1
000014ef: PUSH2 0x14f8
000014f2: SWAP2
000014f3: SWAP1
000014f4: PUSH2 0x208e
000014f7: JUMP
000014f8: JUMPDEST
000014f9: SWAP1
000014fa: POP
000014fb: PUSH1 0x00
000014fd: PUSH2 0x1505
00001500: DUP9
00001501: PUSH2 0x0f52
00001504: JUMP
00001505: JUMPDEST
00001506: SWAP1
00001507: POP
00001508: PUSH1 0x00
0000150a: PUSH2 0x1513
0000150d: DUP3
0000150e: DUP5
0000150f: PUSH2 0x1180
00001512: JUMP
00001513: JUMPDEST
00001514: SWAP1
00001515: POP
00001516: PUSH1 0x00
00001518: PUSH2 0x1524
0000151b: DUP5
0000151c: PUSH2 0x08c4
0000151f: DUP12
00001520: PUSH2 0x0f52
00001523: JUMP
00001524: JUMPDEST
00001525: SWAP1
00001526: POP
00001527: PUSH1 0x00
00001529: PUSH2 0x1532
0000152c: DUP10
0000152d: DUP7
0000152e: PUSH2 0x0fea
00001531: JUMP
00001532: JUMPDEST
00001533: SWAP1
00001534: POP
00001535: DUP1
00001536: DUP5
00001537: LT
00001538: ISZERO
00001539: PUSH2 0x153f
0000153c: JUMPI
0000153d: POP
0000153e: DUP3
0000153f: JUMPDEST
00001540: PUSH2 0x154a
00001543: DUP12
00001544: DUP12
00001545: DUP4
00001546: PUSH2 0x1879
00001549: JUMP
0000154a: JUMPDEST
0000154b: DUP8
0000154c: ISZERO
0000154d: PUSH2 0x15cf
00001550: JUMPI
00001551: PUSH1 0x40
00001553: MLOAD
00001554: PUSH4 0xd5ed3933
00001559: PUSH1 0xe0
0000155b: SHL
0000155c: DUP2
0000155d: MSTORE
0000155e: PUSH1 0x01
00001560: PUSH1 0x01
00001562: PUSH1 0xa0
00001564: SHL
00001565: SUB
00001566: DUP9
00001567: DUP2
00001568: AND
00001569: PUSH1 0x04
0000156b: DUP4
0000156c: ADD
0000156d: MSTORE
0000156e: DUP13
0000156f: DUP2
00001570: AND
00001571: PUSH1 0x24
00001573: DUP4
00001574: ADD
00001575: MSTORE
00001576: DUP12
00001577: DUP2
00001578: AND
00001579: PUSH1 0x44
0000157b: DUP4
0000157c: ADD
0000157d: MSTORE
0000157e: PUSH1 0x64
00001580: DUP3
00001581: ADD
00001582: DUP12
00001583: SWAP1
00001584: MSTORE
00001585: PUSH1 0x84
00001587: DUP3
00001588: ADD
00001589: DUP6
0000158a: SWAP1
0000158b: MSTORE
0000158c: PUSH1 0xa4
0000158e: DUP3
0000158f: ADD
00001590: DUP5
00001591: SWAP1
00001592: MSTORE
00001593: DUP8
00001594: AND
00001595: SWAP1
00001596: PUSH4 0xd5ed3933
0000159b: SWAP1
0000159c: PUSH1 0xc4
0000159e: ADD
0000159f: PUSH1 0x00
000015a1: PUSH1 0x40
000015a3: MLOAD
000015a4: DUP1
000015a5: DUP4
000015a6: SUB
000015a7: DUP2
000015a8: DUP7
000015a9: DUP1
000015aa: EXTCODESIZE
000015ab: ISZERO
000015ac: DUP1
000015ad: ISZERO
000015ae: PUSH2 0x15b6
000015b1: JUMPI
000015b2: PUSH1 0x00
000015b4: DUP1
000015b5: REVERT
000015b6: JUMPDEST
000015b7: POP
000015b8: GAS
000015b9: STATICCALL
000015ba: ISZERO
000015bb: DUP1
000015bc: ISZERO
000015bd: PUSH2 0x15ca
000015c0: JUMPI
000015c1: RETURNDATASIZE
000015c2: PUSH1 0x00
000015c4: DUP1
000015c5: RETURNDATACOPY
000015c6: RETURNDATASIZE
000015c7: PUSH1 0x00
000015c9: REVERT
000015ca: JUMPDEST
000015cb: POP
000015cc: POP
000015cd: POP
000015ce: POP
000015cf: JUMPDEST
000015d0: DUP10
000015d1: PUSH1 0x01
000015d3: PUSH1 0x01
000015d5: PUSH1 0xa0
000015d7: SHL
000015d8: SUB
000015d9: AND
000015da: DUP12
000015db: PUSH1 0x01
000015dd: PUSH1 0x01
000015df: PUSH1 0xa0
000015e1: SHL
000015e2: SUB
000015e3: AND
000015e4: PUSH32 0x4beccb90f994c31aced7a23b5611020728a23d8ec5cddd1a3e9d97b96fda8666
00001605: DUP12
00001606: DUP9
00001607: PUSH1 0x40
00001609: MLOAD
0000160a: PUSH2 0x161d
0000160d: SWAP3
0000160e: SWAP2
0000160f: SWAP1
00001610: SWAP2
00001611: DUP3
00001612: MSTORE
00001613: PUSH1 0x20
00001615: DUP3
00001616: ADD
00001617: MSTORE
00001618: PUSH1 0x40
0000161a: ADD
0000161b: SWAP1
0000161c: JUMP
0000161d: JUMPDEST
0000161e: PUSH1 0x40
00001620: MLOAD
00001621: DUP1
00001622: SWAP2
00001623: SUB
00001624: SWAP1
00001625: LOG3
00001626: POP
00001627: POP
00001628: POP
00001629: POP
0000162a: POP
0000162b: POP
0000162c: POP
0000162d: POP
0000162e: POP
0000162f: POP
00001630: POP
00001631: JUMP
00001632: JUMPDEST
00001633: PUSH1 0x00
00001635: PUSH2 0x1687
00001638: DUP3
00001639: PUSH1 0x40
0000163b: MLOAD
0000163c: DUP1
0000163d: PUSH1 0x40
0000163f: ADD
00001640: PUSH1 0x40
00001642: MSTORE
00001643: DUP1
00001644: PUSH1 0x20
00001646: DUP2
00001647: MSTORE
00001648: PUSH1 0x20
0000164a: ADD
0000164b: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000166c: DUP2
0000166d: MSTORE
0000166e: POP
0000166f: DUP6
00001670: PUSH1 0x01
00001672: PUSH1 0x01
00001674: PUSH1 0xa0
00001676: SHL
00001677: SUB
00001678: AND
00001679: PUSH2 0x19cc
0000167c: SWAP1
0000167d: SWAP3
0000167e: SWAP2
0000167f: SWAP1
00001680: PUSH4 0xffffffff
00001685: AND
00001686: JUMP
00001687: JUMPDEST
00001688: DUP1
00001689: MLOAD
0000168a: SWAP1
0000168b: SWAP2
0000168c: POP
0000168d: ISZERO
0000168e: PUSH2 0x1249
00001691: JUMPI
00001692: DUP1
00001693: DUP1
00001694: PUSH1 0x20
00001696: ADD
00001697: SWAP1
00001698: MLOAD
00001699: DUP2
0000169a: ADD
0000169b: SWAP1
0000169c: PUSH2 0x16a5
0000169f: SWAP2
000016a0: SWAP1
000016a1: PUSH2 0x1f9a
000016a4: JUMP
000016a5: JUMPDEST
000016a6: PUSH2 0x1249
000016a9: JUMPI
000016aa: PUSH1 0x40
000016ac: MLOAD
000016ad: PUSH3 0x461bcd
000016b1: PUSH1 0xe5
000016b3: SHL
000016b4: DUP2
000016b5: MSTORE
000016b6: PUSH1 0x20
000016b8: PUSH1 0x04
000016ba: DUP3
000016bb: ADD
000016bc: MSTORE
000016bd: PUSH1 0x2a
000016bf: PUSH1 0x24
000016c1: DUP3
000016c2: ADD
000016c3: MSTORE
000016c4: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000016e5: PUSH1 0x44
000016e7: DUP3
000016e8: ADD
000016e9: MSTORE
000016ea: PUSH10 0x1bdd081cdd58d8d95959
000016f5: PUSH1 0xb2
000016f7: SHL
000016f8: PUSH1 0x64
000016fa: DUP3
000016fb: ADD
000016fc: MSTORE
000016fd: PUSH1 0x84
000016ff: ADD
00001700: PUSH2 0x0483
00001703: JUMP
00001704: JUMPDEST
00001705: PUSH1 0x00
00001707: SLOAD
00001708: PUSH2 0x0100
0000170b: SWAP1
0000170c: DIV
0000170d: PUSH1 0xff
0000170f: AND
00001710: PUSH2 0x172b
00001713: JUMPI
00001714: PUSH1 0x40
00001716: MLOAD
00001717: PUSH3 0x461bcd
0000171b: PUSH1 0xe5
0000171d: SHL
0000171e: DUP2
0000171f: MSTORE
00001720: PUSH1 0x04
00001722: ADD
00001723: PUSH2 0x0483
00001726: SWAP1
00001727: PUSH2 0x2164
0000172a: JUMP
0000172b: JUMPDEST
0000172c: PUSH2 0x1733
0000172f: PUSH2 0x19db
00001732: JUMP
00001733: JUMPDEST
00001734: PUSH2 0x09d7
00001737: DUP3
00001738: DUP3
00001739: PUSH2 0x1a04
0000173c: JUMP
0000173d: JUMPDEST
0000173e: PUSH1 0x01
00001740: PUSH1 0x01
00001742: PUSH1 0xa0
00001744: SHL
00001745: SUB
00001746: DUP3
00001747: AND
00001748: PUSH2 0x179d
0000174b: JUMPI
0000174c: PUSH1 0x40
0000174e: MLOAD
0000174f: PUSH3 0x461bcd
00001753: PUSH1 0xe5
00001755: SHL
00001756: DUP2
00001757: MSTORE
00001758: PUSH1 0x20
0000175a: PUSH1 0x04
0000175c: DUP3
0000175d: ADD
0000175e: MSTORE
0000175f: PUSH1 0x21
00001761: PUSH1 0x24
00001763: DUP3
00001764: ADD
00001765: MSTORE
00001766: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00001787: PUSH1 0x44
00001789: DUP3
0000178a: ADD
0000178b: MSTORE
0000178c: PUSH1 0x73
0000178e: PUSH1 0xf8
00001790: SHL
00001791: PUSH1 0x64
00001793: DUP3
00001794: ADD
00001795: MSTORE
00001796: PUSH1 0x84
00001798: ADD
00001799: PUSH2 0x0483
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH1 0x01
000017a0: PUSH1 0x01
000017a2: PUSH1 0xa0
000017a4: SHL
000017a5: SUB
000017a6: DUP3
000017a7: AND
000017a8: PUSH1 0x00
000017aa: SWAP1
000017ab: DUP2
000017ac: MSTORE
000017ad: PUSH1 0x33
000017af: PUSH1 0x20
000017b1: MSTORE
000017b2: PUSH1 0x40
000017b4: SWAP1
000017b5: KECCAK256
000017b6: SLOAD
000017b7: DUP2
000017b8: DUP2
000017b9: LT
000017ba: ISZERO
000017bb: PUSH2 0x1811
000017be: JUMPI
000017bf: PUSH1 0x40
000017c1: MLOAD
000017c2: PUSH3 0x461bcd
000017c6: PUSH1 0xe5
000017c8: SHL
000017c9: DUP2
000017ca: MSTORE
000017cb: PUSH1 0x20
000017cd: PUSH1 0x04
000017cf: DUP3
000017d0: ADD
000017d1: MSTORE
000017d2: PUSH1 0x22
000017d4: PUSH1 0x24
000017d6: DUP3
000017d7: ADD
000017d8: MSTORE
000017d9: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
000017fa: PUSH1 0x44
000017fc: DUP3
000017fd: ADD
000017fe: MSTORE
000017ff: PUSH2 0x6365
00001802: PUSH1 0xf0
00001804: SHL
00001805: PUSH1 0x64
00001807: DUP3
00001808: ADD
00001809: MSTORE
0000180a: PUSH1 0x84
0000180c: ADD
0000180d: PUSH2 0x0483
00001810: JUMP
00001811: JUMPDEST
00001812: PUSH1 0x01
00001814: PUSH1 0x01
00001816: PUSH1 0xa0
00001818: SHL
00001819: SUB
0000181a: DUP4
0000181b: AND
0000181c: PUSH1 0x00
0000181e: SWAP1
0000181f: DUP2
00001820: MSTORE
00001821: PUSH1 0x33
00001823: PUSH1 0x20
00001825: MSTORE
00001826: PUSH1 0x40
00001828: DUP2
00001829: KECCAK256
0000182a: DUP4
0000182b: DUP4
0000182c: SUB
0000182d: SWAP1
0000182e: SSTORE
0000182f: PUSH1 0x35
00001831: DUP1
00001832: SLOAD
00001833: DUP5
00001834: SWAP3
00001835: SWAP1
00001836: PUSH2 0x1840
00001839: SWAP1
0000183a: DUP5
0000183b: SWAP1
0000183c: PUSH2 0x2206
0000183f: JUMP
00001840: JUMPDEST
00001841: SWAP1
00001842: SWAP2
00001843: SSTORE
00001844: POP
00001845: POP
00001846: PUSH1 0x40
00001848: MLOAD
00001849: DUP3
0000184a: DUP2
0000184b: MSTORE
0000184c: PUSH1 0x00
0000184e: SWAP1
0000184f: PUSH1 0x01
00001851: PUSH1 0x01
00001853: PUSH1 0xa0
00001855: SHL
00001856: SUB
00001857: DUP6
00001858: AND
00001859: SWAP1
0000185a: PUSH1 0x00
0000185c: DUP1
0000185d: MLOAD
0000185e: PUSH1 0x20
00001860: PUSH2 0x22ad
00001863: DUP4
00001864: CODECOPY
00001865: DUP2
00001866: MLOAD
00001867: SWAP2
00001868: MSTORE
00001869: SWAP1
0000186a: PUSH1 0x20
0000186c: ADD
0000186d: PUSH1 0x40
0000186f: MLOAD
00001870: DUP1
00001871: SWAP2
00001872: SUB
00001873: SWAP1
00001874: LOG3
00001875: POP
00001876: POP
00001877: POP
00001878: JUMP
00001879: JUMPDEST
0000187a: PUSH1 0x00
0000187c: PUSH2 0x1884
0000187f: DUP5
00001880: PUSH2 0x0f52
00001883: JUMP
00001884: JUMPDEST
00001885: SWAP1
00001886: POP
00001887: PUSH1 0x00
00001889: PUSH2 0x1891
0000188c: DUP5
0000188d: PUSH2 0x0f52
00001890: JUMP
00001891: JUMPDEST
00001892: SWAP1
00001893: POP
00001894: PUSH2 0x189e
00001897: DUP6
00001898: DUP6
00001899: DUP6
0000189a: PUSH2 0x1a52
0000189d: JUMP
0000189e: JUMPDEST
0000189f: PUSH1 0x00
000018a1: PUSH2 0x18a8
000018a4: PUSH2 0x12a0
000018a7: JUMP
000018a8: JUMPDEST
000018a9: PUSH1 0x01
000018ab: PUSH1 0x01
000018ad: PUSH1 0xa0
000018af: SHL
000018b0: SUB
000018b1: AND
000018b2: EQ
000018b3: PUSH2 0x19c5
000018b6: JUMPI
000018b7: PUSH1 0x00
000018b9: PUSH2 0x18c1
000018bc: PUSH1 0x35
000018be: SLOAD
000018bf: SWAP1
000018c0: JUMP
000018c1: JUMPDEST
000018c2: SWAP1
000018c3: POP
000018c4: PUSH2 0x18cb
000018c7: PUSH2 0x12a0
000018ca: JUMP
000018cb: JUMPDEST
000018cc: PUSH1 0x40
000018ce: MLOAD
000018cf: PUSH4 0x18c39f17
000018d4: PUSH1 0xe1
000018d6: SHL
000018d7: DUP2
000018d8: MSTORE
000018d9: PUSH1 0x01
000018db: PUSH1 0x01
000018dd: PUSH1 0xa0
000018df: SHL
000018e0: SUB
000018e1: DUP9
000018e2: DUP2
000018e3: AND
000018e4: PUSH1 0x04
000018e6: DUP4
000018e7: ADD
000018e8: MSTORE
000018e9: PUSH1 0x24
000018eb: DUP3
000018ec: ADD
000018ed: DUP5
000018ee: SWAP1
000018ef: MSTORE
000018f0: PUSH1 0x44
000018f2: DUP3
000018f3: ADD
000018f4: DUP7
000018f5: SWAP1
000018f6: MSTORE
000018f7: SWAP2
000018f8: SWAP1
000018f9: SWAP2
000018fa: AND
000018fb: SWAP1
000018fc: PUSH4 0x31873e2e
00001901: SWAP1
00001902: PUSH1 0x64
00001904: ADD
00001905: PUSH1 0x00
00001907: PUSH1 0x40
00001909: MLOAD
0000190a: DUP1
0000190b: DUP4
0000190c: SUB
0000190d: DUP2
0000190e: PUSH1 0x00
00001910: DUP8
00001911: DUP1
00001912: EXTCODESIZE
00001913: ISZERO
00001914: DUP1
00001915: ISZERO
00001916: PUSH2 0x191e
00001919: JUMPI
0000191a: PUSH1 0x00
0000191c: DUP1
0000191d: REVERT
0000191e: JUMPDEST
0000191f: POP
00001920: GAS
00001921: CALL
00001922: ISZERO
00001923: DUP1
00001924: ISZERO
00001925: PUSH2 0x1932
00001928: JUMPI
00001929: RETURNDATASIZE
0000192a: PUSH1 0x00
0000192c: DUP1
0000192d: RETURNDATACOPY
0000192e: RETURNDATASIZE
0000192f: PUSH1 0x00
00001931: REVERT
00001932: JUMPDEST
00001933: POP
00001934: POP
00001935: POP
00001936: POP
00001937: DUP5
00001938: PUSH1 0x01
0000193a: PUSH1 0x01
0000193c: PUSH1 0xa0
0000193e: SHL
0000193f: SUB
00001940: AND
00001941: DUP7
00001942: PUSH1 0x01
00001944: PUSH1 0x01
00001946: PUSH1 0xa0
00001948: SHL
00001949: SUB
0000194a: AND
0000194b: EQ
0000194c: PUSH2 0x19c3
0000194f: JUMPI
00001950: PUSH2 0x1957
00001953: PUSH2 0x12a0
00001956: JUMP
00001957: JUMPDEST
00001958: PUSH1 0x40
0000195a: MLOAD
0000195b: PUSH4 0x18c39f17
00001960: PUSH1 0xe1
00001962: SHL
00001963: DUP2
00001964: MSTORE
00001965: PUSH1 0x01
00001967: PUSH1 0x01
00001969: PUSH1 0xa0
0000196b: SHL
0000196c: SUB
0000196d: DUP8
0000196e: DUP2
0000196f: AND
00001970: PUSH1 0x04
00001972: DUP4
00001973: ADD
00001974: MSTORE
00001975: PUSH1 0x24
00001977: DUP3
00001978: ADD
00001979: DUP5
0000197a: SWAP1
0000197b: MSTORE
0000197c: PUSH1 0x44
0000197e: DUP3
0000197f: ADD
00001980: DUP6
00001981: SWAP1
00001982: MSTORE
00001983: SWAP2
00001984: SWAP1
00001985: SWAP2
00001986: AND
00001987: SWAP1
00001988: PUSH4 0x31873e2e
0000198d: SWAP1
0000198e: PUSH1 0x64
00001990: ADD
00001991: PUSH1 0x00
00001993: PUSH1 0x40
00001995: MLOAD
00001996: DUP1
00001997: DUP4
00001998: SUB
00001999: DUP2
0000199a: PUSH1 0x00
0000199c: DUP8
0000199d: DUP1
0000199e: EXTCODESIZE
0000199f: ISZERO
000019a0: DUP1
000019a1: ISZERO
000019a2: PUSH2 0x19aa
000019a5: JUMPI
000019a6: PUSH1 0x00
000019a8: DUP1
000019a9: REVERT
000019aa: JUMPDEST
000019ab: POP
000019ac: GAS
000019ad: CALL
000019ae: ISZERO
000019af: DUP1
000019b0: ISZERO
000019b1: PUSH2 0x19be
000019b4: JUMPI
000019b5: RETURNDATASIZE
000019b6: PUSH1 0x00
000019b8: DUP1
000019b9: RETURNDATACOPY
000019ba: RETURNDATASIZE
000019bb: PUSH1 0x00
000019bd: REVERT
000019be: JUMPDEST
000019bf: POP
000019c0: POP
000019c1: POP
000019c2: POP
000019c3: JUMPDEST
000019c4: POP
000019c5: JUMPDEST
000019c6: POP
000019c7: POP
000019c8: POP
000019c9: POP
000019ca: POP
000019cb: JUMP
000019cc: JUMPDEST
000019cd: PUSH1 0x60
000019cf: PUSH2 0x10c2
000019d2: DUP5
000019d3: DUP5
000019d4: PUSH1 0x00
000019d6: DUP6
000019d7: PUSH2 0x1c0e
000019da: JUMP
000019db: JUMPDEST
000019dc: PUSH1 0x00
000019de: SLOAD
000019df: PUSH2 0x0100
000019e2: SWAP1
000019e3: DIV
000019e4: PUSH1 0xff
000019e6: AND
000019e7: PUSH2 0x1a02
000019ea: JUMPI
000019eb: PUSH1 0x40
000019ed: MLOAD
000019ee: PUSH3 0x461bcd
000019f2: PUSH1 0xe5
000019f4: SHL
000019f5: DUP2
000019f6: MSTORE
000019f7: PUSH1 0x04
000019f9: ADD
000019fa: PUSH2 0x0483
000019fd: SWAP1
000019fe: PUSH2 0x2164
00001a01: JUMP
00001a02: JUMPDEST
00001a03: JUMP
00001a04: JUMPDEST
00001a05: PUSH1 0x00
00001a07: SLOAD
00001a08: PUSH2 0x0100
00001a0b: SWAP1
00001a0c: DIV
00001a0d: PUSH1 0xff
00001a0f: AND
00001a10: PUSH2 0x1a2b
00001a13: JUMPI
00001a14: PUSH1 0x40
00001a16: MLOAD
00001a17: PUSH3 0x461bcd
00001a1b: PUSH1 0xe5
00001a1d: SHL
00001a1e: DUP2
00001a1f: MSTORE
00001a20: PUSH1 0x04
00001a22: ADD
00001a23: PUSH2 0x0483
00001a26: SWAP1
00001a27: PUSH2 0x2164
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: DUP2
00001a2d: MLOAD
00001a2e: PUSH2 0x1a3e
00001a31: SWAP1
00001a32: PUSH1 0x36
00001a34: SWAP1
00001a35: PUSH1 0x20
00001a37: DUP6
00001a38: ADD
00001a39: SWAP1
00001a3a: PUSH2 0x1d6f
00001a3d: JUMP
00001a3e: JUMPDEST
00001a3f: POP
00001a40: DUP1
00001a41: MLOAD
00001a42: PUSH2 0x1249
00001a45: SWAP1
00001a46: PUSH1 0x37
00001a48: SWAP1
00001a49: PUSH1 0x20
00001a4b: DUP5
00001a4c: ADD
00001a4d: SWAP1
00001a4e: PUSH2 0x1d6f
00001a51: JUMP
00001a52: JUMPDEST
00001a53: PUSH1 0x01
00001a55: PUSH1 0x01
00001a57: PUSH1 0xa0
00001a59: SHL
00001a5a: SUB
00001a5b: DUP4
00001a5c: AND
00001a5d: PUSH2 0x1ab6
00001a60: JUMPI
00001a61: PUSH1 0x40
00001a63: MLOAD
00001a64: PUSH3 0x461bcd
00001a68: PUSH1 0xe5
00001a6a: SHL
00001a6b: DUP2
00001a6c: MSTORE
00001a6d: PUSH1 0x20
00001a6f: PUSH1 0x04
00001a71: DUP3
00001a72: ADD
00001a73: MSTORE
00001a74: PUSH1 0x25
00001a76: PUSH1 0x24
00001a78: DUP3
00001a79: ADD
00001a7a: MSTORE
00001a7b: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00001a9c: PUSH1 0x44
00001a9e: DUP3
00001a9f: ADD
00001aa0: MSTORE
00001aa1: PUSH5 0x6472657373
00001aa7: PUSH1 0xd8
00001aa9: SHL
00001aaa: PUSH1 0x64
00001aac: DUP3
00001aad: ADD
00001aae: MSTORE
00001aaf: PUSH1 0x84
00001ab1: ADD
00001ab2: PUSH2 0x0483
00001ab5: JUMP
00001ab6: JUMPDEST
00001ab7: PUSH1 0x01
00001ab9: PUSH1 0x01
00001abb: PUSH1 0xa0
00001abd: SHL
00001abe: SUB
00001abf: DUP3
00001ac0: AND
00001ac1: PUSH2 0x1b18
00001ac4: JUMPI
00001ac5: PUSH1 0x40
00001ac7: MLOAD
00001ac8: PUSH3 0x461bcd
00001acc: PUSH1 0xe5
00001ace: SHL
00001acf: DUP2
00001ad0: MSTORE
00001ad1: PUSH1 0x20
00001ad3: PUSH1 0x04
00001ad5: DUP3
00001ad6: ADD
00001ad7: MSTORE
00001ad8: PUSH1 0x23
00001ada: PUSH1 0x24
00001adc: DUP3
00001add: ADD
00001ade: MSTORE
00001adf: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00001b00: PUSH1 0x44
00001b02: DUP3
00001b03: ADD
00001b04: MSTORE
00001b05: PUSH3 0x657373
00001b09: PUSH1 0xe8
00001b0b: SHL
00001b0c: PUSH1 0x64
00001b0e: DUP3
00001b0f: ADD
00001b10: MSTORE
00001b11: PUSH1 0x84
00001b13: ADD
00001b14: PUSH2 0x0483
00001b17: JUMP
00001b18: JUMPDEST
00001b19: PUSH1 0x01
00001b1b: PUSH1 0x01
00001b1d: PUSH1 0xa0
00001b1f: SHL
00001b20: SUB
00001b21: DUP4
00001b22: AND
00001b23: PUSH1 0x00
00001b25: SWAP1
00001b26: DUP2
00001b27: MSTORE
00001b28: PUSH1 0x33
00001b2a: PUSH1 0x20
00001b2c: MSTORE
00001b2d: PUSH1 0x40
00001b2f: SWAP1
00001b30: KECCAK256
00001b31: SLOAD
00001b32: DUP2
00001b33: DUP2
00001b34: LT
00001b35: ISZERO
00001b36: PUSH2 0x1b90
00001b39: JUMPI
00001b3a: PUSH1 0x40
00001b3c: MLOAD
00001b3d: PUSH3 0x461bcd
00001b41: PUSH1 0xe5
00001b43: SHL
00001b44: DUP2
00001b45: MSTORE
00001b46: PUSH1 0x20
00001b48: PUSH1 0x04
00001b4a: DUP3
00001b4b: ADD
00001b4c: MSTORE
00001b4d: PUSH1 0x26
00001b4f: PUSH1 0x24
00001b51: DUP3
00001b52: ADD
00001b53: MSTORE
00001b54: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
00001b75: PUSH1 0x44
00001b77: DUP3
00001b78: ADD
00001b79: MSTORE
00001b7a: PUSH6 0x616c616e6365
00001b81: PUSH1 0xd0
00001b83: SHL
00001b84: PUSH1 0x64
00001b86: DUP3
00001b87: ADD
00001b88: MSTORE
00001b89: PUSH1 0x84
00001b8b: ADD
00001b8c: PUSH2 0x0483
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: PUSH1 0x01
00001b93: PUSH1 0x01
00001b95: PUSH1 0xa0
00001b97: SHL
00001b98: SUB
00001b99: DUP1
00001b9a: DUP6
00001b9b: AND
00001b9c: PUSH1 0x00
00001b9e: SWAP1
00001b9f: DUP2
00001ba0: MSTORE
00001ba1: PUSH1 0x33
00001ba3: PUSH1 0x20
00001ba5: MSTORE
00001ba6: PUSH1 0x40
00001ba8: DUP1
00001ba9: DUP3
00001baa: KECCAK256
00001bab: DUP6
00001bac: DUP6
00001bad: SUB
00001bae: SWAP1
00001baf: SSTORE
00001bb0: SWAP2
00001bb1: DUP6
00001bb2: AND
00001bb3: DUP2
00001bb4: MSTORE
00001bb5: SWAP1
00001bb6: DUP2
00001bb7: KECCAK256
00001bb8: DUP1
00001bb9: SLOAD
00001bba: DUP5
00001bbb: SWAP3
00001bbc: SWAP1
00001bbd: PUSH2 0x1bc7
00001bc0: SWAP1
00001bc1: DUP5
00001bc2: SWAP1
00001bc3: PUSH2 0x21af
00001bc6: JUMP
00001bc7: JUMPDEST
00001bc8: SWAP3
00001bc9: POP
00001bca: POP
00001bcb: DUP2
00001bcc: SWAP1
00001bcd: SSTORE
00001bce: POP
00001bcf: DUP3
00001bd0: PUSH1 0x01
00001bd2: PUSH1 0x01
00001bd4: PUSH1 0xa0
00001bd6: SHL
00001bd7: SUB
00001bd8: AND
00001bd9: DUP5
00001bda: PUSH1 0x01
00001bdc: PUSH1 0x01
00001bde: PUSH1 0xa0
00001be0: SHL
00001be1: SUB
00001be2: AND
00001be3: PUSH1 0x00
00001be5: DUP1
00001be6: MLOAD
00001be7: PUSH1 0x20
00001be9: PUSH2 0x22ad
00001bec: DUP4
00001bed: CODECOPY
00001bee: DUP2
00001bef: MLOAD
00001bf0: SWAP2
00001bf1: MSTORE
00001bf2: DUP5
00001bf3: PUSH1 0x40
00001bf5: MLOAD
00001bf6: PUSH2 0x1c01
00001bf9: SWAP2
00001bfa: DUP2
00001bfb: MSTORE
00001bfc: PUSH1 0x20
00001bfe: ADD
00001bff: SWAP1
00001c00: JUMP
00001c01: JUMPDEST
00001c02: PUSH1 0x40
00001c04: MLOAD
00001c05: DUP1
00001c06: SWAP2
00001c07: SUB
00001c08: SWAP1
00001c09: LOG3
00001c0a: PUSH2 0x117a
00001c0d: JUMP
00001c0e: JUMPDEST
00001c0f: PUSH1 0x60
00001c11: DUP3
00001c12: SELFBALANCE
00001c13: LT
00001c14: ISZERO
00001c15: PUSH2 0x1c6f
00001c18: JUMPI
00001c19: PUSH1 0x40
00001c1b: MLOAD
00001c1c: PUSH3 0x461bcd
00001c20: PUSH1 0xe5
00001c22: SHL
00001c23: DUP2
00001c24: MSTORE
00001c25: PUSH1 0x20
00001c27: PUSH1 0x04
00001c29: DUP3
00001c2a: ADD
00001c2b: MSTORE
00001c2c: PUSH1 0x26
00001c2e: PUSH1 0x24
00001c30: DUP3
00001c31: ADD
00001c32: MSTORE
00001c33: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001c54: PUSH1 0x44
00001c56: DUP3
00001c57: ADD
00001c58: MSTORE
00001c59: PUSH6 0x1c8818d85b1b
00001c60: PUSH1 0xd2
00001c62: SHL
00001c63: PUSH1 0x64
00001c65: DUP3
00001c66: ADD
00001c67: MSTORE
00001c68: PUSH1 0x84
00001c6a: ADD
00001c6b: PUSH2 0x0483
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: DUP5
00001c71: EXTCODESIZE
00001c72: PUSH2 0x1cbd
00001c75: JUMPI
00001c76: PUSH1 0x40
00001c78: MLOAD
00001c79: PUSH3 0x461bcd
00001c7d: PUSH1 0xe5
00001c7f: SHL
00001c80: DUP2
00001c81: MSTORE
00001c82: PUSH1 0x20
00001c84: PUSH1 0x04
00001c86: DUP3
00001c87: ADD
00001c88: MSTORE
00001c89: PUSH1 0x1d
00001c8b: PUSH1 0x24
00001c8d: DUP3
00001c8e: ADD
00001c8f: MSTORE
00001c90: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001cb1: PUSH1 0x44
00001cb3: DUP3
00001cb4: ADD
00001cb5: MSTORE
00001cb6: PUSH1 0x64
00001cb8: ADD
00001cb9: PUSH2 0x0483
00001cbc: JUMP
00001cbd: JUMPDEST
00001cbe: PUSH1 0x00
00001cc0: DUP1
00001cc1: DUP7
00001cc2: PUSH1 0x01
00001cc4: PUSH1 0x01
00001cc6: PUSH1 0xa0
00001cc8: SHL
00001cc9: SUB
00001cca: AND
00001ccb: DUP6
00001ccc: DUP8
00001ccd: PUSH1 0x40
00001ccf: MLOAD
00001cd0: PUSH2 0x1cd9
00001cd3: SWAP2
00001cd4: SWAP1
00001cd5: PUSH2 0x20c7
00001cd8: JUMP
00001cd9: JUMPDEST
00001cda: PUSH1 0x00
00001cdc: PUSH1 0x40
00001cde: MLOAD
00001cdf: DUP1
00001ce0: DUP4
00001ce1: SUB
00001ce2: DUP2
00001ce3: DUP6
00001ce4: DUP8
00001ce5: GAS
00001ce6: CALL
00001ce7: SWAP3
00001ce8: POP
00001ce9: POP
00001cea: POP
00001ceb: RETURNDATASIZE
00001cec: DUP1
00001ced: PUSH1 0x00
00001cef: DUP2
00001cf0: EQ
00001cf1: PUSH2 0x1d16
00001cf4: JUMPI
00001cf5: PUSH1 0x40
00001cf7: MLOAD
00001cf8: SWAP2
00001cf9: POP
00001cfa: PUSH1 0x1f
00001cfc: NOT
00001cfd: PUSH1 0x3f
00001cff: RETURNDATASIZE
00001d00: ADD
00001d01: AND
00001d02: DUP3
00001d03: ADD
00001d04: PUSH1 0x40
00001d06: MSTORE
00001d07: RETURNDATASIZE
00001d08: DUP3
00001d09: MSTORE
00001d0a: RETURNDATASIZE
00001d0b: PUSH1 0x00
00001d0d: PUSH1 0x20
00001d0f: DUP5
00001d10: ADD
00001d11: RETURNDATACOPY
00001d12: PUSH2 0x1d1b
00001d15: JUMP
00001d16: JUMPDEST
00001d17: PUSH1 0x60
00001d19: SWAP2
00001d1a: POP
00001d1b: JUMPDEST
00001d1c: POP
00001d1d: SWAP2
00001d1e: POP
00001d1f: SWAP2
00001d20: POP
00001d21: PUSH2 0x1d2b
00001d24: DUP3
00001d25: DUP3
00001d26: DUP7
00001d27: PUSH2 0x1d36
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: SWAP8
00001d2d: SWAP7
00001d2e: POP
00001d2f: POP
00001d30: POP
00001d31: POP
00001d32: POP
00001d33: POP
00001d34: POP
00001d35: JUMP
00001d36: JUMPDEST
00001d37: PUSH1 0x60
00001d39: DUP4
00001d3a: ISZERO
00001d3b: PUSH2 0x1d45
00001d3e: JUMPI
00001d3f: POP
00001d40: DUP2
00001d41: PUSH2 0x0535
00001d44: JUMP
00001d45: JUMPDEST
00001d46: DUP3
00001d47: MLOAD
00001d48: ISZERO
00001d49: PUSH2 0x1d55
00001d4c: JUMPI
00001d4d: DUP3
00001d4e: MLOAD
00001d4f: DUP1
00001d50: DUP5
00001d51: PUSH1 0x20
00001d53: ADD
00001d54: REVERT
00001d55: JUMPDEST
00001d56: DUP2
00001d57: PUSH1 0x40
00001d59: MLOAD
00001d5a: PUSH3 0x461bcd
00001d5e: PUSH1 0xe5
00001d60: SHL
00001d61: DUP2
00001d62: MSTORE
00001d63: PUSH1 0x04
00001d65: ADD
00001d66: PUSH2 0x0483
00001d69: SWAP2
00001d6a: SWAP1
00001d6b: PUSH2 0x20e3
00001d6e: JUMP
00001d6f: JUMPDEST
00001d70: DUP3
00001d71: DUP1
00001d72: SLOAD
00001d73: PUSH2 0x1d7b
00001d76: SWAP1
00001d77: PUSH2 0x2249
00001d7a: JUMP
00001d7b: JUMPDEST
00001d7c: SWAP1
00001d7d: PUSH1 0x00
00001d7f: MSTORE
00001d80: PUSH1 0x20
00001d82: PUSH1 0x00
00001d84: KECCAK256
00001d85: SWAP1
00001d86: PUSH1 0x1f
00001d88: ADD
00001d89: PUSH1 0x20
00001d8b: SWAP1
00001d8c: DIV
00001d8d: DUP2
00001d8e: ADD
00001d8f: SWAP3
00001d90: DUP3
00001d91: PUSH2 0x1d9d
00001d94: JUMPI
00001d95: PUSH1 0x00
00001d97: DUP6
00001d98: SSTORE
00001d99: PUSH2 0x1de3
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: DUP3
00001d9f: PUSH1 0x1f
00001da1: LT
00001da2: PUSH2 0x1db6
00001da5: JUMPI
00001da6: DUP1
00001da7: MLOAD
00001da8: PUSH1 0xff
00001daa: NOT
00001dab: AND
00001dac: DUP4
00001dad: DUP1
00001dae: ADD
00001daf: OR
00001db0: DUP6
00001db1: SSTORE
00001db2: PUSH2 0x1de3
00001db5: JUMP
00001db6: JUMPDEST
00001db7: DUP3
00001db8: DUP1
00001db9: ADD
00001dba: PUSH1 0x01
00001dbc: ADD
00001dbd: DUP6
00001dbe: SSTORE
00001dbf: DUP3
00001dc0: ISZERO
00001dc1: PUSH2 0x1de3
00001dc4: JUMPI
00001dc5: SWAP2
00001dc6: DUP3
00001dc7: ADD
00001dc8: JUMPDEST
00001dc9: DUP3
00001dca: DUP2
00001dcb: GT
00001dcc: ISZERO
00001dcd: PUSH2 0x1de3
00001dd0: JUMPI
00001dd1: DUP3
00001dd2: MLOAD
00001dd3: DUP3
00001dd4: SSTORE
00001dd5: SWAP2
00001dd6: PUSH1 0x20
00001dd8: ADD
00001dd9: SWAP2
00001dda: SWAP1
00001ddb: PUSH1 0x01
00001ddd: ADD
00001dde: SWAP1
00001ddf: PUSH2 0x1dc8
00001de2: JUMP
00001de3: JUMPDEST
00001de4: POP
00001de5: PUSH2 0x07b2
00001de8: SWAP3
00001de9: SWAP2
00001dea: POP
00001deb: JUMPDEST
00001dec: DUP1
00001ded: DUP3
00001dee: GT
00001def: ISZERO
00001df0: PUSH2 0x07b2
00001df3: JUMPI
00001df4: PUSH1 0x00
00001df6: DUP2
00001df7: SSTORE
00001df8: PUSH1 0x01
00001dfa: ADD
00001dfb: PUSH2 0x1deb
00001dfe: JUMP
00001dff: JUMPDEST
00001e00: PUSH1 0x00
00001e02: DUP1
00001e03: DUP4
00001e04: PUSH1 0x1f
00001e06: DUP5
00001e07: ADD
00001e08: SLT
00001e09: PUSH2 0x1e10
00001e0c: JUMPI
00001e0d: DUP2
00001e0e: DUP3
00001e0f: REVERT
00001e10: JUMPDEST
00001e11: POP
00001e12: DUP2
00001e13: CALLDATALOAD
00001e14: PUSH8 0xffffffffffffffff
00001e1d: DUP2
00001e1e: GT
00001e1f: ISZERO
00001e20: PUSH2 0x1e27
00001e23: JUMPI
00001e24: DUP2
00001e25: DUP3
00001e26: REVERT
00001e27: JUMPDEST
00001e28: PUSH1 0x20
00001e2a: DUP4
00001e2b: ADD
00001e2c: SWAP2
00001e2d: POP
00001e2e: DUP4
00001e2f: PUSH1 0x20
00001e31: DUP3
00001e32: DUP6
00001e33: ADD
00001e34: ADD
00001e35: GT
00001e36: ISZERO
00001e37: PUSH2 0x1e3f
00001e3a: JUMPI
00001e3b: PUSH1 0x00
00001e3d: DUP1
00001e3e: REVERT
00001e3f: JUMPDEST
00001e40: SWAP3
00001e41: POP
00001e42: SWAP3
00001e43: SWAP1
00001e44: POP
00001e45: JUMP
00001e46: JUMPDEST
00001e47: PUSH1 0x00
00001e49: PUSH1 0x20
00001e4b: DUP3
00001e4c: DUP5
00001e4d: SUB
00001e4e: SLT
00001e4f: ISZERO
00001e50: PUSH2 0x1e57
00001e53: JUMPI
00001e54: DUP1
00001e55: DUP2
00001e56: REVERT
00001e57: JUMPDEST
00001e58: DUP2
00001e59: CALLDATALOAD
00001e5a: PUSH2 0x0535
00001e5d: DUP2
00001e5e: PUSH2 0x2294
00001e61: JUMP
00001e62: JUMPDEST
00001e63: PUSH1 0x00
00001e65: PUSH1 0x20
00001e67: DUP3
00001e68: DUP5
00001e69: SUB
00001e6a: SLT
00001e6b: ISZERO
00001e6c: PUSH2 0x1e73
00001e6f: JUMPI
00001e70: DUP1
00001e71: DUP2
00001e72: REVERT
00001e73: JUMPDEST
00001e74: DUP2
00001e75: MLOAD
00001e76: PUSH2 0x0535
00001e79: DUP2
00001e7a: PUSH2 0x2294
00001e7d: JUMP
00001e7e: JUMPDEST
00001e7f: PUSH1 0x00
00001e81: DUP1
00001e82: PUSH1 0x40
00001e84: DUP4
00001e85: DUP6
00001e86: SUB
00001e87: SLT
00001e88: ISZERO
00001e89: PUSH2 0x1e90
00001e8c: JUMPI
00001e8d: DUP1
00001e8e: DUP2
00001e8f: REVERT
00001e90: JUMPDEST
00001e91: DUP3
00001e92: CALLDATALOAD
00001e93: PUSH2 0x1e9b
00001e96: DUP2
00001e97: PUSH2 0x2294
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: SWAP2
00001e9d: POP
00001e9e: PUSH1 0x20
00001ea0: DUP4
00001ea1: ADD
00001ea2: CALLDATALOAD
00001ea3: PUSH2 0x1eab
00001ea6: DUP2
00001ea7: PUSH2 0x2294
00001eaa: JUMP
00001eab: JUMPDEST
00001eac: DUP1
00001ead: SWAP2
00001eae: POP
00001eaf: POP
00001eb0: SWAP3
00001eb1: POP
00001eb2: SWAP3
00001eb3: SWAP1
00001eb4: POP
00001eb5: JUMP
00001eb6: JUMPDEST
00001eb7: PUSH1 0x00
00001eb9: DUP1
00001eba: PUSH1 0x00
00001ebc: PUSH1 0x60
00001ebe: DUP5
00001ebf: DUP7
00001ec0: SUB
00001ec1: SLT
00001ec2: ISZERO
00001ec3: PUSH2 0x1eca
00001ec6: JUMPI
00001ec7: DUP1
00001ec8: DUP2
00001ec9: REVERT
00001eca: JUMPDEST
00001ecb: DUP4
00001ecc: CALLDATALOAD
00001ecd: PUSH2 0x1ed5
00001ed0: DUP2
00001ed1: PUSH2 0x2294
00001ed4: JUMP
00001ed5: JUMPDEST
00001ed6: SWAP3
00001ed7: POP
00001ed8: PUSH1 0x20
00001eda: DUP5
00001edb: ADD
00001edc: CALLDATALOAD
00001edd: PUSH2 0x1ee5
00001ee0: DUP2
00001ee1: PUSH2 0x2294
00001ee4: JUMP
00001ee5: JUMPDEST
00001ee6: SWAP3
00001ee7: SWAP6
00001ee8: SWAP3
00001ee9: SWAP5
00001eea: POP
00001eeb: POP
00001eec: POP
00001eed: PUSH1 0x40
00001eef: SWAP2
00001ef0: SWAP1
00001ef1: SWAP2
00001ef2: ADD
00001ef3: CALLDATALOAD
00001ef4: SWAP1
00001ef5: JUMP
00001ef6: JUMPDEST
00001ef7: PUSH1 0x00
00001ef9: DUP1
00001efa: PUSH1 0x00
00001efc: DUP1
00001efd: PUSH1 0x80
00001eff: DUP6
00001f00: DUP8
00001f01: SUB
00001f02: SLT
00001f03: ISZERO
00001f04: PUSH2 0x1f0b
00001f07: JUMPI
00001f08: DUP1
00001f09: DUP2
00001f0a: REVERT
00001f0b: JUMPDEST
00001f0c: DUP5
00001f0d: CALLDATALOAD
00001f0e: PUSH2 0x1f16
00001f11: DUP2
00001f12: PUSH2 0x2294
00001f15: JUMP
00001f16: JUMPDEST
00001f17: SWAP4
00001f18: POP
00001f19: PUSH1 0x20
00001f1b: DUP6
00001f1c: ADD
00001f1d: CALLDATALOAD
00001f1e: PUSH2 0x1f26
00001f21: DUP2
00001f22: PUSH2 0x2294
00001f25: JUMP
00001f26: JUMPDEST
00001f27: SWAP4
00001f28: SWAP7
00001f29: SWAP4
00001f2a: SWAP6
00001f2b: POP
00001f2c: POP
00001f2d: POP
00001f2e: POP
00001f2f: PUSH1 0x40
00001f31: DUP3
00001f32: ADD
00001f33: CALLDATALOAD
00001f34: SWAP2
00001f35: PUSH1 0x60
00001f37: ADD
00001f38: CALLDATALOAD
00001f39: SWAP1
00001f3a: JUMP
00001f3b: JUMPDEST
00001f3c: PUSH1 0x00
00001f3e: DUP1
00001f3f: PUSH1 0x40
00001f41: DUP4
00001f42: DUP6
00001f43: SUB
00001f44: SLT
00001f45: ISZERO
00001f46: PUSH2 0x1f4d
00001f49: JUMPI
00001f4a: DUP2
00001f4b: DUP3
00001f4c: REVERT
00001f4d: JUMPDEST
00001f4e: DUP3
00001f4f: CALLDATALOAD
00001f50: PUSH2 0x1f58
00001f53: DUP2
00001f54: PUSH2 0x2294
00001f57: JUMP
00001f58: JUMPDEST
00001f59: SWAP5
00001f5a: PUSH1 0x20
00001f5c: SWAP4
00001f5d: SWAP1
00001f5e: SWAP4
00001f5f: ADD
00001f60: CALLDATALOAD
00001f61: SWAP4
00001f62: POP
00001f63: POP
00001f64: POP
00001f65: JUMP
00001f66: JUMPDEST
00001f67: PUSH1 0x00
00001f69: DUP1
00001f6a: PUSH1 0x00
00001f6c: PUSH1 0x60
00001f6e: DUP5
00001f6f: DUP7
00001f70: SUB
00001f71: SLT
00001f72: ISZERO
00001f73: PUSH2 0x1f7a
00001f76: JUMPI
00001f77: DUP3
00001f78: DUP4
00001f79: REVERT
00001f7a: JUMPDEST
00001f7b: DUP4
00001f7c: CALLDATALOAD
00001f7d: PUSH2 0x1f85
00001f80: DUP2
00001f81: PUSH2 0x2294
00001f84: JUMP
00001f85: JUMPDEST
00001f86: SWAP6
00001f87: PUSH1 0x20
00001f89: DUP6
00001f8a: ADD
00001f8b: CALLDATALOAD
00001f8c: SWAP6
00001f8d: POP
00001f8e: PUSH1 0x40
00001f90: SWAP1
00001f91: SWAP5
00001f92: ADD
00001f93: CALLDATALOAD
00001f94: SWAP4
00001f95: SWAP3
00001f96: POP
00001f97: POP
00001f98: POP
00001f99: JUMP
00001f9a: JUMPDEST
00001f9b: PUSH1 0x00
00001f9d: PUSH1 0x20
00001f9f: DUP3
00001fa0: DUP5
00001fa1: SUB
00001fa2: SLT
00001fa3: ISZERO
00001fa4: PUSH2 0x1fab
00001fa7: JUMPI
00001fa8: DUP1
00001fa9: DUP2
00001faa: REVERT
00001fab: JUMPDEST
00001fac: DUP2
00001fad: MLOAD
00001fae: DUP1
00001faf: ISZERO
00001fb0: ISZERO
00001fb1: DUP2
00001fb2: EQ
00001fb3: PUSH2 0x0535
00001fb6: JUMPI
00001fb7: DUP2
00001fb8: DUP3
00001fb9: REVERT
00001fba: JUMPDEST
00001fbb: PUSH1 0x00
00001fbd: DUP1
00001fbe: PUSH1 0x00
00001fc0: DUP1
00001fc1: PUSH1 0x00
00001fc3: DUP1
00001fc4: PUSH1 0x00
00001fc6: DUP1
00001fc7: PUSH1 0xc0
00001fc9: DUP10
00001fca: DUP12
00001fcb: SUB
00001fcc: SLT
00001fcd: ISZERO
00001fce: PUSH2 0x1fd5
00001fd1: JUMPI
00001fd2: DUP4
00001fd3: DUP5
00001fd4: REVERT
00001fd5: JUMPDEST
00001fd6: DUP9
00001fd7: CALLDATALOAD
00001fd8: PUSH2 0x1fe0
00001fdb: DUP2
00001fdc: PUSH2 0x2294
00001fdf: JUMP
00001fe0: JUMPDEST
00001fe1: SWAP8
00001fe2: POP
00001fe3: PUSH1 0x20
00001fe5: DUP10
00001fe6: ADD
00001fe7: CALLDATALOAD
00001fe8: PUSH2 0x1ff0
00001feb: DUP2
00001fec: PUSH2 0x2294
00001fef: JUMP
00001ff0: JUMPDEST
00001ff1: SWAP7
00001ff2: POP
00001ff3: PUSH1 0x40
00001ff5: DUP10
00001ff6: ADD
00001ff7: CALLDATALOAD
00001ff8: PUSH2 0x2000
00001ffb: DUP2
00001ffc: PUSH2 0x2294
00001fff: JUMP
00002000: JUMPDEST
00002001: SWAP6
00002002: POP
00002003: PUSH1 0x60
00002005: DUP10
00002006: ADD
00002007: CALLDATALOAD
00002008: PUSH1 0xff
0000200a: DUP2
0000200b: AND
0000200c: DUP2
0000200d: EQ
0000200e: PUSH2 0x2015
00002011: JUMPI
00002012: DUP5
00002013: DUP6
00002014: REVERT
00002015: JUMPDEST
00002016: SWAP5
00002017: POP
00002018: PUSH1 0x80
0000201a: DUP10
0000201b: ADD
0000201c: CALLDATALOAD
0000201d: PUSH8 0xffffffffffffffff
00002026: DUP1
00002027: DUP3
00002028: GT
00002029: ISZERO
0000202a: PUSH2 0x2031
0000202d: JUMPI
0000202e: DUP6
0000202f: DUP7
00002030: REVERT
00002031: JUMPDEST
00002032: PUSH2 0x203d
00002035: DUP13
00002036: DUP4
00002037: DUP14
00002038: ADD
00002039: PUSH2 0x1dff
0000203c: JUMP
0000203d: JUMPDEST
0000203e: SWAP1
0000203f: SWAP7
00002040: POP
00002041: SWAP5
00002042: POP
00002043: PUSH1 0xa0
00002045: DUP12
00002046: ADD
00002047: CALLDATALOAD
00002048: SWAP2
00002049: POP
0000204a: DUP1
0000204b: DUP3
0000204c: GT
0000204d: ISZERO
0000204e: PUSH2 0x2055
00002051: JUMPI
00002052: DUP4
00002053: DUP5
00002054: REVERT
00002055: JUMPDEST
00002056: POP
00002057: PUSH2 0x2062
0000205a: DUP12
0000205b: DUP3
0000205c: DUP13
0000205d: ADD
0000205e: PUSH2 0x1dff
00002061: JUMP
00002062: JUMPDEST
00002063: SWAP10
00002064: SWAP13
00002065: SWAP9
00002066: SWAP12
00002067: POP
00002068: SWAP7
00002069: SWAP10
0000206a: POP
0000206b: SWAP5
0000206c: SWAP8
0000206d: SWAP4
0000206e: SWAP7
0000206f: SWAP3
00002070: SWAP6
00002071: SWAP5
00002072: POP
00002073: POP
00002074: POP
00002075: JUMP
00002076: JUMPDEST
00002077: PUSH1 0x00
00002079: PUSH1 0x20
0000207b: DUP3
0000207c: DUP5
0000207d: SUB
0000207e: SLT
0000207f: ISZERO
00002080: PUSH2 0x2087
00002083: JUMPI
00002084: DUP1
00002085: DUP2
00002086: REVERT
00002087: JUMPDEST
00002088: POP
00002089: CALLDATALOAD
0000208a: SWAP2
0000208b: SWAP1
0000208c: POP
0000208d: JUMP
0000208e: JUMPDEST
0000208f: PUSH1 0x00
00002091: PUSH1 0x20
00002093: DUP3
00002094: DUP5
00002095: SUB
00002096: SLT
00002097: ISZERO
00002098: PUSH2 0x209f
0000209b: JUMPI
0000209c: DUP1
0000209d: DUP2
0000209e: REVERT
0000209f: JUMPDEST
000020a0: POP
000020a1: MLOAD
000020a2: SWAP2
000020a3: SWAP1
000020a4: POP
000020a5: JUMP
000020a6: JUMPDEST
000020a7: PUSH1 0x00
000020a9: DUP1
000020aa: PUSH1 0x40
000020ac: DUP4
000020ad: DUP6
000020ae: SUB
000020af: SLT
000020b0: ISZERO
000020b1: PUSH2 0x20b8
000020b4: JUMPI
000020b5: DUP2
000020b6: DUP3
000020b7: REVERT
000020b8: JUMPDEST
000020b9: POP
000020ba: POP
000020bb: DUP1
000020bc: CALLDATALOAD
000020bd: SWAP3
000020be: PUSH1 0x20
000020c0: SWAP1
000020c1: SWAP2
000020c2: ADD
000020c3: CALLDATALOAD
000020c4: SWAP2
000020c5: POP
000020c6: JUMP
000020c7: JUMPDEST
000020c8: PUSH1 0x00
000020ca: DUP3
000020cb: MLOAD
000020cc: PUSH2 0x20d9
000020cf: DUP2
000020d0: DUP5
000020d1: PUSH1 0x20
000020d3: DUP8
000020d4: ADD
000020d5: PUSH2 0x221d
000020d8: JUMP
000020d9: JUMPDEST
000020da: SWAP2
000020db: SWAP1
000020dc: SWAP2
000020dd: ADD
000020de: SWAP3
000020df: SWAP2
000020e0: POP
000020e1: POP
000020e2: JUMP
000020e3: JUMPDEST
000020e4: PUSH1 0x20
000020e6: DUP2
000020e7: MSTORE
000020e8: PUSH1 0x00
000020ea: DUP3
000020eb: MLOAD
000020ec: DUP1
000020ed: PUSH1 0x20
000020ef: DUP5
000020f0: ADD
000020f1: MSTORE
000020f2: PUSH2 0x2102
000020f5: DUP2
000020f6: PUSH1 0x40
000020f8: DUP6
000020f9: ADD
000020fa: PUSH1 0x20
000020fc: DUP8
000020fd: ADD
000020fe: PUSH2 0x221d
00002101: JUMP
00002102: JUMPDEST
00002103: PUSH1 0x1f
00002105: ADD
00002106: PUSH1 0x1f
00002108: NOT
00002109: AND
0000210a: SWAP2
0000210b: SWAP1
0000210c: SWAP2
0000210d: ADD
0000210e: PUSH1 0x40
00002110: ADD
00002111: SWAP3
00002112: SWAP2
00002113: POP
00002114: POP
00002115: JUMP
00002116: JUMPDEST
00002117: PUSH1 0x20
00002119: DUP1
0000211a: DUP3
0000211b: MSTORE
0000211c: PUSH1 0x2e
0000211e: SWAP1
0000211f: DUP3
00002120: ADD
00002121: MSTORE
00002122: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00002143: PUSH1 0x40
00002145: DUP3
00002146: ADD
00002147: MSTORE
00002148: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00002157: PUSH1 0x92
00002159: SHL
0000215a: PUSH1 0x60
0000215c: DUP3
0000215d: ADD
0000215e: MSTORE
0000215f: PUSH1 0x80
00002161: ADD
00002162: SWAP1
00002163: JUMP
00002164: JUMPDEST
00002165: PUSH1 0x20
00002167: DUP1
00002168: DUP3
00002169: MSTORE
0000216a: PUSH1 0x2b
0000216c: SWAP1
0000216d: DUP3
0000216e: ADD
0000216f: MSTORE
00002170: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002191: PUSH1 0x40
00002193: DUP3
00002194: ADD
00002195: MSTORE
00002196: PUSH11 0x6e697469616c697a696e67
000021a2: PUSH1 0xa8
000021a4: SHL
000021a5: PUSH1 0x60
000021a7: DUP3
000021a8: ADD
000021a9: MSTORE
000021aa: PUSH1 0x80
000021ac: ADD
000021ad: SWAP1
000021ae: JUMP
000021af: JUMPDEST
000021b0: PUSH1 0x00
000021b2: DUP3
000021b3: NOT
000021b4: DUP3
000021b5: GT
000021b6: ISZERO
000021b7: PUSH2 0x21c2
000021ba: JUMPI
000021bb: PUSH2 0x21c2
000021be: PUSH2 0x227e
000021c1: JUMP
000021c2: JUMPDEST
000021c3: POP
000021c4: ADD
000021c5: SWAP1
000021c6: JUMP
000021c7: JUMPDEST
000021c8: PUSH1 0x00
000021ca: DUP3
000021cb: PUSH2 0x21e2
000021ce: JUMPI
000021cf: PUSH4 0x4e487b71
000021d4: PUSH1 0xe0
000021d6: SHL
000021d7: DUP2
000021d8: MSTORE
000021d9: PUSH1 0x12
000021db: PUSH1 0x04
000021dd: MSTORE
000021de: PUSH1 0x24
000021e0: DUP2
000021e1: REVERT
000021e2: JUMPDEST
000021e3: POP
000021e4: DIV
000021e5: SWAP1
000021e6: JUMP
000021e7: JUMPDEST
000021e8: PUSH1 0x00
000021ea: DUP2
000021eb: PUSH1 0x00
000021ed: NOT
000021ee: DIV
000021ef: DUP4
000021f0: GT
000021f1: DUP3
000021f2: ISZERO
000021f3: ISZERO
000021f4: AND
000021f5: ISZERO
000021f6: PUSH2 0x2201
000021f9: JUMPI
000021fa: PUSH2 0x2201
000021fd: PUSH2 0x227e
00002200: JUMP
00002201: JUMPDEST
00002202: POP
00002203: MUL
00002204: SWAP1
00002205: JUMP
00002206: JUMPDEST
00002207: PUSH1 0x00
00002209: DUP3
0000220a: DUP3
0000220b: LT
0000220c: ISZERO
0000220d: PUSH2 0x2218
00002210: JUMPI
00002211: PUSH2 0x2218
00002214: PUSH2 0x227e
00002217: JUMP
00002218: JUMPDEST
00002219: POP
0000221a: SUB
0000221b: SWAP1
0000221c: JUMP
0000221d: JUMPDEST
0000221e: PUSH1 0x00
00002220: JUMPDEST
00002221: DUP4
00002222: DUP2
00002223: LT
00002224: ISZERO
00002225: PUSH2 0x2238
00002228: JUMPI
00002229: DUP2
0000222a: DUP2
0000222b: ADD
0000222c: MLOAD
0000222d: DUP4
0000222e: DUP3
0000222f: ADD
00002230: MSTORE
00002231: PUSH1 0x20
00002233: ADD
00002234: PUSH2 0x2220
00002237: JUMP
00002238: JUMPDEST
00002239: DUP4
0000223a: DUP2
0000223b: GT
0000223c: ISZERO
0000223d: PUSH2 0x117a
00002240: JUMPI
00002241: POP
00002242: POP
00002243: PUSH1 0x00
00002245: SWAP2
00002246: ADD
00002247: MSTORE
00002248: JUMP
00002249: JUMPDEST
0000224a: PUSH1 0x01
0000224c: DUP2
0000224d: DUP2
0000224e: SHR
0000224f: SWAP1
00002250: DUP3
00002251: AND
00002252: DUP1
00002253: PUSH2 0x225d
00002256: JUMPI
00002257: PUSH1 0x7f
00002259: DUP3
0000225a: AND
0000225b: SWAP2
0000225c: POP
0000225d: JUMPDEST
0000225e: PUSH1 0x20
00002260: DUP3
00002261: LT
00002262: DUP2
00002263: EQ
00002264: ISZERO
00002265: PUSH2 0x0826
00002268: JUMPI
00002269: PUSH4 0x4e487b71
0000226e: PUSH1 0xe0
00002270: SHL
00002271: PUSH1 0x00
00002273: MSTORE
00002274: PUSH1 0x22
00002276: PUSH1 0x04
00002278: MSTORE
00002279: PUSH1 0x24
0000227b: PUSH1 0x00
0000227d: REVERT
0000227e: JUMPDEST
0000227f: PUSH4 0x4e487b71
00002284: PUSH1 0xe0
00002286: SHL
00002287: PUSH1 0x00
00002289: MSTORE
0000228a: PUSH1 0x11
0000228c: PUSH1 0x04
0000228e: MSTORE
0000228f: PUSH1 0x24
00002291: PUSH1 0x00
00002293: REVERT
00002294: JUMPDEST
00002295: PUSH1 0x01
00002297: PUSH1 0x01
00002299: PUSH1 0xa0
0000229b: SHL
0000229c: SUB
0000229d: DUP2
0000229e: AND
0000229f: DUP2
000022a0: EQ
000022a1: PUSH2 0x22a9
000022a4: JUMPI
000022a5: PUSH1 0x00
000022a7: DUP1
000022a8: REVERT
000022a9: JUMPDEST
000022aa: POP
000022ab: JUMP
000022ac: INVALID
000022ad: UNKNOWN(0xDD)
000022ae: CALLCODE
000022af: MSTORE
000022b0: UNKNOWN(0xAD)
000022b1: SHL
000022b2: UNKNOWN(0xE2)
000022b3: UNKNOWN(0xC8)
000022b4: SWAP12
000022b5: PUSH10 0xc2b068fc378daa952ba7
000022c0: CALL
000022c1: PUSH4 0xc4a11628
000022c6: CREATE2
000022c7: GAS
000022c8: UNKNOWN(0x4D)
000022c9: CREATE2
000022ca: UNKNOWN(0x23)
000022cb: UNKNOWN(0xB3)
000022cc: UNKNOWN(0xEF)
000022cd: LOG2
000022ce: PUSH5 0x6970667358
000022d4: UNKNOWN(0x22)
000022d5: SLT
000022d6: KECCAK256
000022d7: PUSH24 0x5e6a7a6640218b8229ca46418c7f8dbfa030a3322cc70622
000022f0: EXP
000022f1: SWAP7
000022f2: UNKNOWN(0xBC)
000022f3: UNKNOWN(0xDA)
000022f4: JUMPDEST
000022f5: PUSH23