Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

019c0ea9-07e6-7329-83b3-dd3fed18a0b3

complete

Chain ID

Address

0x951a1ca3ad7ad2e055226783d32c9e8a69188485

Block Number

—

Created

Fri, Jan 30, 2026 11:28 AM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

Validated

Source

Bytecode only

Review Backing

Present

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
41704	artifact.fetch	complete	1 / 3	2 months ago
41705	proxy.resolve	complete	1 / 3	2 months ago
41706	tool.cast_disasm	complete	1 / 3	2 months ago
41707	analysis.bundle	complete	1 / 3	2 months ago
41708	capability.graph	complete	1 / 3	2 months ago
41709	detector.run	complete	1 / 3	2 months ago
41710	validation.fork	complete	1 / 3	2 months ago
42287	report.consolidate	complete	1 / 6	2 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: no

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

No findings?

Summary

Bytecode shows multiple low-level CALLs to computed targets (some with value) and no delegatecall/proxy pattern. Guard detection is heuristic and no access-control guards were detected in artifacts, so external call safety is uncertain.

View stdout

{"no_findings":false,"summary":"Bytecode shows multiple low-level CALLs to computed targets (some with value) and no delegatecall/proxy pattern. Guard detection is heuristic and no access-control guards were detected in artifacts, so external call safety is uncertain.","findings":[{"severity":"medium","category":"reentrancy","title":"Computed external CALLs (with possible ETH value) could enable reentrancy or unintended external execution","exploit_scenario":"If any of these CALLs target addresses influenced by calldata (e.g., recipient/router/token) and occur before state updates or without a nonReentrant guard, a malicious contract can reenter and manipulate accounting or drain funds during the external call. The analyzer observed CALL targets marked as computed and guard detection is empty, so safety is not proven from bytecode alone.","recommendation":"Ensure all state-changing paths that perform external CALLs follow checks-effects-interactions and are protected with a reentrancy guard; validate or restrict externally supplied call targets/recipients; and avoid sending ETH to arbitrary addresses unless explicitly intended and accounted for.","evidence":"Detector findings flag untrusted CALL targets and possible ETH value transfers. Callsites show CALL opcodes with computed targets/values (pc 0x28c, 0x0acb, 0x12b8, 0x1a58, 0x29ce, 0x2a9e). A CALL at pc 0x12b8 is followed by an SSTORE at pc 0x12be, indicating a state update occurs after an external call in at least one path.","locations":["pc:0x28c","pc:0x0acb","pc:0x12b8","pc:0x12be","pc:0x1a58","pc:0x29ce","pc:0x2a9e"]}]}

View stderr

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-qdkf04iq
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019c0ef8-b55a-7a51-bf64-eb1bb39fe02e
--------
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
exec
/bin/bash -lc ls in /tmp/codex-qdkf04iq succeeded in 6ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-qdkf04iq succeeded in 7ms:
{
  "analysis_artifact": {
    "address": "0x951a1ca3ad7ad2e055226783d32c9e8a69188485",
    "artifact_hash": "0x09f02ab6a2f2ef52d67bb692a334fe93bf748f474ceb0152eab05dfb7dc1bcdb",
    "artifact_json": {
      "auth": {
        "guards": []
      },
      "basic_blocks": [
        {
          "end_pc": 15,
          "hash": "0xe8e2e3d8c808f7629c73ec2e27bbafbc482df8393481f6d0f40ebb3912fab6a1",
          "opcodes": [
            "PUSH1",
            "PUSH1",
            "OP_81",
            "MSTORE",
            "PUSH1",
            "OP_80",
            "CALLDATASIZE",
exec
/bin/bash -lc 'rg -n "storage|slot|proxy|eip1967|beacon|implementation|admin|owner|upgrade" BYTECODE_BUNDLE.json | head -n 200' in /tmp/codex-qdkf04iq succeeded in 7ms:
10026:          "storage": {
10028:            "slots": [
10032:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
10037:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
10042:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
10047:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
10052:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
10057:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
10062:                "slot": "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00"
10067:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
10072:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
10077:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
10082:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
10087:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
10092:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
10097:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
10102:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
10107:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
10112:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
10117:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
p=Path('BYTECODE_BUNDLE.json')
obj=json.loads(p.read_text())
print(obj.keys())
print(obj['analysis_artifact'].keys())
print(obj['analysis_artifact']['artifact_json'].keys())
print('detector_findings', len(obj['detector_findings']))
print('heuristics_summary', obj['heuristics_summary'])
PY" in /tmp/codex-qdkf04iq succeeded in 32ms:
dict_keys(['analysis_artifact', 'analysis_run', 'artifact', 'capability_graph', 'detector_findings', 'heuristics_summary'])
dict_keys(['address', 'artifact_hash', 'artifact_json', 'block_number', 'chain_id', 'codehash', 'created_at', 'id', 'updated_at', 'version'])
dict_keys(['auth', 'basic_blocks', 'callsites', 'cfg_edges', 'cfg_hash', 'dispatcher_type', 'function_entries', 'functions', 'selectors', 'sinks', 'storage', 'version'])
detector_findings 2
heuristics_summary {'create2_count': 0, 'delegatecall_count': 0, 'flags': [], 'selfdestruct_count': 0}
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
storage=obj['analysis_artifact']['artifact_json'].get('storage')
print(storage.keys())
print('slot count', len(storage.get('slots', [])))
print('first 10 slots', storage.get('slots', [])[:10])
PY" in /tmp/codex-qdkf04iq succeeded in 41ms:
dict_keys(['keccak_count', 'reads', 'slots', 'writes'])
slot count 23
first 10 slots [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}]
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
storage=obj['analysis_artifact']['artifact_json']['storage']
print('writes', len(storage.get('writes', [])))
print(storage.get('writes', [])[:20])
PY" in /tmp/codex-qdkf04iq exited 1 in 34ms:
Traceback (most recent call last):
  File "<stdin>", line 5, in <module>
TypeError: object of type 'int' has no len()
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
storage=obj['analysis_artifact']['artifact_json']['storage']
print(storage)
PY" in /tmp/codex-qdkf04iq succeeded in 49ms:
{'keccak_count': 12, 'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
callsites=obj['analysis_artifact']['artifact_json'].get('callsites', [])
print('callsites', len(callsites))
print(callsites[:10])
PY" in /tmp/codex-qdkf04iq succeeded in 51ms:
callsites 11
[{'opcode': 'CALL', 'pc': 652, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}, {'opcode': 'CALL', 'pc': 2763, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}, {'opcode': 'STATICCALL', 'pc': 3583, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'n/a'}, {'opcode': 'CALL', 'pc': 4792, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}, {'opcode': 'CALL', 'pc': 6744, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}, {'opcode': 'STATICCALL', 'pc': 8316, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'n/a'}, {'opcode': 'STATICCALL', 'pc': 8640, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'n/a'}, {'opcode': 'STATICCALL', 'pc': 8943, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'n/a'}, {'opcode': 'STATICCALL', 'pc': 9113, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'n/a'}, {'opcode': 'CALL', 'pc': 10702, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}]
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
funcs=obj['analysis_artifact']['artifact_json'].get('functions', [])
print('functions', len(funcs))
print(funcs[:20])
PY" in /tmp/codex-qdkf04iq succeeded in 35ms:
functions 20
[{'auth': {'guards': []}, 'entry_pc': 579332458, 'selector': '0x0c9708cb', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 729465843, 'selector': '0x2287e96a', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': None, 'selector': '0x2b7ac3f3', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': None, 'selector': '0x347ae8d2', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 1412929677, 'selector': '0x476343ee', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 1644802365, 'selector': '0x5437988d', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 1843205907, 'selector': '0x6209b13d', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 1901074598, 'selector': '0x6ddd1713', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 2376452955, 'selector': '0x715018a6', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 2663384226, 'selector': '0x8da5cb5b', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': None, 'selector': '0x9ec004a2', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': None, 'selector': '0xa28c0efa', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 3228134939, 'selector': '0xb31d26eb', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 3233495295, 'selector': '0xc0696e1b', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 3703452991, 'selector': '0xc0bb38ff', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 3759864108, 'selector': '0xdcbe353f', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 4076157331, 'selector': '0xe01af92c', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 4076725131, 'selector': '0xf2f53993', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': None, 'selector': '0xf2fde38b', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}, {'auth': {'guards': []}, 'entry_pc': 16, 'selector': '0xfb3a6007', 'sinks': {'call': 6, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 5}, 'storage': {'reads': 24, 'slots': [{'op': 'SLOAD', 'pc': 320, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 912, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 1340, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1742, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1895, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2035, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2415, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 2474, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 2982, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3132, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3220, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 3354, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3449, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3525, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 3721, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 4611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 4997, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5355, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5419, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 5611, 'slot': '0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00'}, {'op': 'SLOAD', 'pc': 6233, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000001'}, {'op': 'SLOAD', 'pc': 6543, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SSTORE', 'pc': 6553, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}], 'writes': 13}}]
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
selectors=obj['analysis_artifact']['artifact_json'].get('selectors', [])
print('selectors', len(selectors))
print(selectors[:50])
PY" in /tmp/codex-qdkf04iq succeeded in 82ms:
selectors 20
['0x0c9708cb', '0x2287e96a', '0x2b7ac3f3', '0x347ae8d2', '0x476343ee', '0x5437988d', '0x6209b13d', '0x6ddd1713', '0x715018a6', '0x8da5cb5b', '0x9ec004a2', '0xa28c0efa', '0xb31d26eb', '0xc0696e1b', '0xc0bb38ff', '0xdcbe353f', '0xe01af92c', '0xf2f53993', '0xf2fde38b', '0xfb3a6007']
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
print('analysis_run keys', obj['analysis_run'].keys())
print('artifact keys', obj['artifact'].keys())
print('capability_graph keys', obj['capability_graph'].keys())
PY" in /tmp/codex-qdkf04iq succeeded in 42ms:
analysis_run keys dict_keys(['address', 'block_number', 'chain_id', 'child_links', 'created_at', 'id', 'parent_links', 'status', 'updated_at'])
artifact keys dict_keys(['codehash', 'compiler_json', 'implementation_address', 'is_proxy', 'runtime_bytecode', 'verified_source'])
capability_graph keys dict_keys(['address', 'block_number', 'chain_id', 'codehash', 'created_at', 'graph_hash', 'graph_json', 'id', 'updated_at', 'version'])
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
print(obj['artifact'])
PY" in /tmp/codex-qdkf04iq succeeded in 46ms:
{'codehash': '0x3bd98d9e987698eb3bb3930b8763ad4c331a9d58ed5c67e3ae1cf24d71968675', 'compiler_json': {'compiler_version': None, 'etherscan': {'contract_name': None, 'implementation': None, 'license': 'Unknown', 'proxy': '0', 'swarm_source': None}, 'optimizer_enabled': False, 'optimizer_runs': 0, 'proxy_evidence': {'status': 'not_proxy'}}, 'implementation_address': None, 'is_proxy': False, 'runtime_bytecode': {'full': '0x60406080815260048036101561001f575b5050361561001d57600080fd5b005b600091823560e01c80630c9708cb146115385780632287e96a146114f35780632b7ac3f3146114a057838163347ae8d21461135557508063476343ee146112685780635437988d1461117f5780636209b13d14610d275780636ddd171314610ce2578063715018a614610c445780638da5cb5b14610bf15780639ec004a214610b3b57838163a28c0efa1461097a57508063b31d26eb146108be578063c0696e1b14610858578063c0bb38ff1461076f578063dcbe353f1461071c578063e01af92c14610663578063f2f5399314610463578063f2fde38b1461032a5763fb3a60071461010c5750610010565b34610326578261023361021261020a6101243661178e565b61013b9c969c9b959a9397949b999298919961198a565b603c6002549661015060ff8960a01c16611c80565b61015c8c421115611ce5565b8b89516101db816101af60208201943090338791926048937fffffffffffffffffffffffffffffffffffffffff000000000000000000000000809360601b168452601484015260601b1660348201520190565b037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081018352826116cc565b5190207f19457468657265756d205369676e6564204d6573736167653a0a3332000000008252601c5220611fee565b919091611e55565b73ffffffffffffffffffffffffffffffffffffffff80809516911614611925565b6102418686868b8d866120e3565b169789893b15610323578887926102868888888d895198899788977f5c11d7950000000000000000000000000000000000000000000000000000000089528801611dc6565b0381838d5af18015610319576102d8575b50917f0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b6063959493916102ce9351958695339987611dc6565b0390a36001815580f35b916102ce93919961030c7f0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b606398979694611651565b9991935091939495610297565b82513d8c823e3d90fd5b80fd5b8280fd5b5090346103265760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610326576103636115f8565b9061036c611841565b73ffffffffffffffffffffffffffffffffffffffff8092169283156103e0575050600154827fffffffffffffffffffffffff0000000000000000000000000000000000000000821617600155167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08380a380f35b90602060849251917f08c379a0000000000000000000000000000000000000000000000000000000008352820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152fd5b509034610326576101607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103265761049d6115f8565b67ffffffffffffffff60a43581811161065f576104bd9036908501611620565b909360c43583811161065b576104d69036908301611620565b60e4359173ffffffffffffffffffffffffffffffffffffffff978884168403610657576101243580151597888203610653578c61014435918211610323578b806105b8928f9a61052f6105b0916105c197369101611747565b61053761198a565b603c6002549361054c60ff8660a01c16611c80565b610104359e8f9061055f82421115611ce5565b516101db816101af60208201943090338791926048937fffffffffffffffffffffffffffffffffffffffff000000000000000000000000809360601b168452601484015260601b1660348201520190565b949094611e55565b16911614611925565b1561062a5784846105e8976105dc936084356064358d612a2f565b60443560243588612958565b8351936024358552606435602086015284015216907f878afaa6030e670afe43ec14fbf8d116afe62910349b6ecb5f6ce3f6ebd851c360603392a36001815580f35b90848461064e9794610642936044356024358d612958565b60843560643588612a2f565b6105e8565b8c80fd5b8a80fd5b8780fd5b8580fd5b8382346107185760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107185760207f36863eb5e5d22837b66f9cc6e980882edf1b0f1b012e25f5e5799abb223db2e5916106c0611832565b6106c8611841565b1515906002547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff74ff00000000000000000000000000000000000000008460a01b1691161760025551908152a180f35b5080fd5b83823461071857817ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107185760209073ffffffffffffffffffffffffffffffffffffffff600354169051908152f35b5090346103265760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103265773ffffffffffffffffffffffffffffffffffffffff6107bd6115f8565b6107c5611841565b169182156107fb5750507fffffffffffffffffffffffff0000000000000000000000000000000000000000600354161760035580f35b90602060649251917f08c379a0000000000000000000000000000000000000000000000000000000008352820152601960248201527f496e76616c696420726563697069656e742061646472657373000000000000006044820152fd5b5090346103265760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610326578160209360ff9273ffffffffffffffffffffffffffffffffffffffff6108ad6115f8565b168252855220541690519015158152f35b50346103265760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103265760207ff93f9a76c1bf3444d22400a00cb9fe990e6abe9dbb333fda48859cfee864543d9173ffffffffffffffffffffffffffffffffffffffff61092f6115f8565b610937611841565b16936109448515156118c0565b84865282528085207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00815416905551848152a280f35b82818534610718578291829161098f3661178e565b95818385839d899c959b899e989a979b6109a761198a565b600254928360a01c60ff166109bb90611c80565b864211156109c890611ce5565b5133606090811b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000090811660208401908152603484018a90523090921b1660548301526048825290610a1b6068826116cc565b5190207f19457468657265756d205369676e6564204d6573736167653a0a3332000000008b52601c52603c8a2090610a5291611fee565b610a5b90611e55565b73ffffffffffffffffffffffffffffffffffffffff80809416911614610a8090611925565b610a8e8585858d8c866120e3565b169e5197889687967f8803dbee000000000000000000000000000000000000000000000000000000008852870195610ac596611dc6565b0381838c5af18015610b3157986102ce949392917f0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b606398999a610b0f575b5051958695339987611dc6565b610b2a903d808e833e610b2281836116cc565b810190611d4a565b508b610b02565b89513d8c823e3d90fd5b8382346107185760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107185760207fe9598c828ce137a2e3927f94810e904e0203a92c9ec7b11195e7d8e6de12f6ab91610b98611832565b610ba0611841565b1515906002547fffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff75ff0000000000000000000000000000000000000000008460a81b1691161760025551908152a180f35b83823461071857817ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107185760209073ffffffffffffffffffffffffffffffffffffffff600154169051908152f35b833461032357807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261032357610c7b611841565b8073ffffffffffffffffffffffffffffffffffffffff6001547fffffffffffffffffffffffff00000000000000000000000000000000000000008116600155167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08280a380f35b83823461071857817ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107185760209060ff60025460a01c1690519015158152f35b5090346103265760607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261032657610d606115f8565b6024803591821515830361065f5760449182359260ff60025460a81c161561112457338852602093868552610d9a60ff898b205416611925565b610da261198a565b73ffffffffffffffffffffffffffffffffffffffff8094169687156110ca578460035416918215611049578951977f70a0823100000000000000000000000000000000000000000000000000000000895230838a0152878987818d5afa98891561103f578c9961100c575b5015610f1957508615610e99575091610e86917f2017ff49f5dedb0169265520a1792549adf2bd026c9740cd9a8dc5f3f08252a89594935b8951927fa9059cbb000000000000000000000000000000000000000000000000000000008785015283015286818301528152610e80816116b0565b866119f9565b6003541694519283523392a46001815580f35b6084907f4e6f20746f6b656e7320617661696c61626c6520666f72207769746864726177846022878a8e51957f08c379a00000000000000000000000000000000000000000000000000000000087528601528401528201527f616c0000000000000000000000000000000000000000000000000000000000006064820152fd5b91968215610fb1578211610f57575091610e86917f2017ff49f5dedb0169265520a1792549adf2bd026c9740cd9a8dc5f3f08252a895949396610e45565b6064907f496e73756666696369656e7420746f6b656e2062616c616e636500000000000084601a878a8e51957f08c379a0000000000000000000000000000000000000000000000000000000008752860152840152820152fd5b506064907f416d6f756e74206d7573742062652067726561746572207468616e203000000084601d878a8e51957f08c379a0000000000000000000000000000000000000000000000000000000008752860152840152820152fd5b9098508781813d8311611038575b61102481836116cc565b8101031261103457519738610e0d565b8b80fd5b503d61101a565b8b513d8e823e3d90fd5b506084907f496e76616c6964207769746864726177526563697069656e7420616464726573846021878a8e51957f08c379a00000000000000000000000000000000000000000000000000000000087528601528401528201527f73000000000000000000000000000000000000000000000000000000000000006064820152fd5b6064907f496e76616c696420746f6b656e20616464726573730000000000000000000000846015878a8e51957f08c379a0000000000000000000000000000000000000000000000000000000008752860152840152820152fd5b7f57697468647261772069732064697361626c65640000000000000000000000008691601460649460208b51957f08c379a0000000000000000000000000000000000000000000000000000000008752860152840152820152fd5b5090346103265760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103265773ffffffffffffffffffffffffffffffffffffffff6111cd6115f8565b6111d5611841565b1691821561120b5750507fffffffffffffffffffffffff0000000000000000000000000000000000000000600254161760025580f35b90602060649251917f08c379a0000000000000000000000000000000000000000000000000000000008352820152601860248201527f496e76616c6964207665726966696572206164647265737300000000000000006044820152fd5b503461032657827ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103265761129f611841565b6112a761198a565b479182156112f9575082808080853382f1156112ee57519081527fc0819c13be868895eb93e40eaceb96de976442fa1d404e5c55f14bb65a8c489a60203392a26001815580f35b51913d9150823e3d90fd5b602060649251917f08c379a0000000000000000000000000000000000000000000000000000000008352820152601d60248201527f4e6f206665657320617661696c61626c6520746f2077697468647261770000006044820152fd5b82818534610718578291829161136a3661178e565b95818385839d899c959b899e989a979b61138261198a565b600254928360a01c60ff1661139690611c80565b864211156113a390611ce5565b5133606090811b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000090811660208401908152603484018a90523090921b16605483015260488252906113f66068826116cc565b5190207f19457468657265756d205369676e6564204d6573736167653a0a3332000000008b52601c52603c8a209061142d91611fee565b61143690611e55565b73ffffffffffffffffffffffffffffffffffffffff8080941691161461145b90611925565b6114698585858d8a866120e3565b169e5197889687967f38ed1739000000000000000000000000000000000000000000000000000000008852870195610ac596611dc6565b83823461071857817ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107185760209073ffffffffffffffffffffffffffffffffffffffff600254169051908152f35b83823461071857817ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107185760209060ff60025460a81c1690519015158152f35b50346103265760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103265760207ff93f9a76c1bf3444d22400a00cb9fe990e6abe9dbb333fda48859cfee864543d9173ffffffffffffffffffffffffffffffffffffffff6115a96115f8565b6115b1611841565b16936115be8515156118c0565b848652825280852060017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff008254161790555160018152a280f35b6004359073ffffffffffffffffffffffffffffffffffffffff8216820361161b57565b600080fd5b9181601f8401121561161b5782359167ffffffffffffffff831161161b576020808501948460051b01011161161b57565b67ffffffffffffffff811161166557604052565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040810190811067ffffffffffffffff82111761166557604052565b6080810190811067ffffffffffffffff82111761166557604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff82111761166557604052565b67ffffffffffffffff811161166557601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b81601f8201121561161b5780359061175e8261170d565b9261176c60405194856116cc565b8284526020838301011161161b57816000926020809301838601378301015290565b60e07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc82011261161b5773ffffffffffffffffffffffffffffffffffffffff90600435828116810361161b5792602435926044359267ffffffffffffffff9060643582811161161b578161180491600401611620565b94909493608435908116810361161b579260a4359260c43591821161161b5761182f91600401611747565b90565b60043590811515820361161b57565b73ffffffffffffffffffffffffffffffffffffffff60015416330361186257565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602060248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152fd5b156118c757565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f496e76616c6964206164647265737300000000000000000000000000000000006044820152fd5b1561192c57565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f4e6f742077686974656c697374656400000000000000000000000000000000006044820152fd5b60026000541461199b576002600055565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152fd5b73ffffffffffffffffffffffffffffffffffffffff1690611a84604051611a1f81611694565b6020938482527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564858301526000808587829751910182855af13d15611b47573d91611a698361170d565b92611a7760405194856116cc565b83523d868885013e611b4b565b805191821591848315611b23575b505050905015611a9f5750565b608490604051907f08c379a00000000000000000000000000000000000000000000000000000000082526004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e60448201527f6f742073756363656564000000000000000000000000000000000000000000006064820152fd5b91938180945001031261071857820151908115158203610323575080388084611a92565b6060915b91929015611bc65750815115611b5f575090565b3b15611b685790565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152fd5b825190915015611bd95750805190602001fd5b611c0f906040519182917f08c379a000000000000000000000000000000000000000000000000000000000835260048301611c36565b0390fd5b60005b838110611c265750506000910152565b8181015183820152602001611c16565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f60409360208452611c798151809281602088015260208888019101611c13565b0116010190565b15611c8757565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f537761702069732064697361626c6564000000000000000000000000000000006044820152fd5b15611cec57565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f5472616e73616374696f6e2065787069726564000000000000000000000000006044820152fd5b90602090818382031261161b57825167ffffffffffffffff9384821161161b570181601f8201121561161b578051938411611665578360051b9060405194611d94858401876116cc565b8552838086019282010192831161161b578301905b828210611db7575050505090565b81518152908301908301611da9565b9380919796959760a086019086526020938487015260a060408701525260c0840192916000805b838210611e1d5750505050509073ffffffffffffffffffffffffffffffffffffffff608092951660608201520152565b9091929394853573ffffffffffffffffffffffffffffffffffffffff8116809103610326578152830194830193929160010190611ded565b6005811015611fbf5780611e665750565b60018103611ecc5760646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f45434453413a20696e76616c6964207369676e617475726500000000000000006044820152fd5b60028103611f325760646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e677468006044820152fd5b600314611f3b57565b60846040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c60448201527f75650000000000000000000000000000000000000000000000000000000000006064820152fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b90604181511460001461201c57612018916020820151906060604084015193015160001a90612026565b9091565b5050600090600290565b9291907f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a083116120b65791608094939160ff602094604051948552168484015260408301526060820152600093849182805260015afa156120a957815173ffffffffffffffffffffffffffffffffffffffff8116156120a3579190565b50600190565b50604051903d90823e3d90fd5b50505050600090600390565b3573ffffffffffffffffffffffffffffffffffffffff8116810361161b5790565b93929190959473ffffffffffffffffffffffffffffffffffffffff928386169485156127a65784161561274857600281106126ea57801561262e5783612128846120c2565b161561268c577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81019080821161265d5781101561262e5761216f849160051b84016120c2565b16156125d057421161257257612184906120c2565b16906040948551937f70a082310000000000000000000000000000000000000000000000000000000085523060048601526020948581602481885afa8015612567578390600090612517575b7f496e73756666696369656e742062616c616e6365206f6620746f6b656e496e3a92506122976046898c61220385612804565b7f200000000000000000000000000000000000000000000000000000000000000061222d88612804565b928051998a9586015284015261224d8d8251928391604187019101611c13565b82017f206c74652000000000000000000000000000000000000000000000000000000060418201526122888d83519384918785019101611c13565b010360268101865201846116cc565b106124e2575086517fdd62ed3e0000000000000000000000000000000000000000000000000000000080825230600483015273ffffffffffffffffffffffffffffffffffffffff8316602483015292908681604481895afa9081156124d7576000916124aa575b501061230e575b50505050509050565b84612394918851936123607f095ea7b300000000000000000000000000000000000000000000000000000000958685820152876024820152600060448201526044815261235a816116b0565b886119f9565b895190815230600482015273ffffffffffffffffffffffffffffffffffffffff909116602482015291829081906044820190565b0381875afa90811561249f57600091612472575b506123ef576123e49495519384015260248301526fffffffffffffffffffffffffffffffff6044830152604482526123df826116b0565b6119f9565b803880808080612305565b6084848751907f08c379a00000000000000000000000000000000000000000000000000000000082526004820152603660248201527f5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f60448201527f20746f206e6f6e2d7a65726f20616c6c6f77616e6365000000000000000000006064820152fd5b908582813d8311612498575b61248881836116cc565b81010312610323575051386123a8565b503d61247e565b87513d6000823e3d90fd5b908782813d83116124d0575b6124c081836116cc565b81010312610323575051386122fe565b503d6124b6565b89513d6000823e3d90fd5b611c0f9088519182917f08c379a000000000000000000000000000000000000000000000000000000000835260048301611c36565b90508682813d8311612560575b61252e81836116cc565b810103126103235750827f496e73756666696369656e742062616c616e6365206f6620746f6b656e496e3a91516121d0565b503d612524565b88513d6000823e3d90fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f446561646c696e652065786365656465640000000000000000000000000000006044820152fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f496e76616c6964207061746820656e64000000000000000000000000000000006044820152fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f496e76616c6964207061746820737461727400000000000000000000000000006044820152fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f496e76616c6964207061746800000000000000000000000000000000000000006044820152fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f496e76616c696420746f206164647265737300000000000000000000000000006044820152fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f496e76616c696420726f757465722061646472657373000000000000000000006044820152fd5b801561291e57600081805b6128e8575061281d8161170d565b9161282b60405193846116cc565b8183527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe06128588361170d565b01908060209236848701375b61286e5750505090565b600a90603093828206850180951161265d57801561265d577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff018094865182101561262e5760f81b7fff000000000000000000000000000000000000000000000000000000000000001660001a9086018401530480612864565b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461265d576001600a910191048061280f565b5060405161292b81611694565b600181527f3000000000000000000000000000000000000000000000000000000000000000602082015290565b73ffffffffffffffffffffffffffffffffffffffff909593949195612981888685898b866120e3565b1695863b1561161b576040517f5c11d7950000000000000000000000000000000000000000000000000000000081529493600086806129c88585888b8b8f60048801611dc6565b0381838c5af1928315612a23577f0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b606396612a0f94612a14575b50604051958695339987611dc6565b0390a3565b612a1d90611651565b38612a00565b6040513d6000823e3d90fd5b9573ffffffffffffffffffffffffffffffffffffffff8495929697612a58838a868989866120e3565b169660008488612a988585886040519c8d9687967f8803dbee00000000000000000000000000000000000000000000000000000000885260048801611dc6565b0381838c5af1928315612a23577f0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b606396612a0f94612ade5750604051958695339987611dc6565b612af2903d806000833e610b2281836116cc565b5038612a0056fea26469706673582212200ebd207e72b921659c73c5cc1b0b556c68e62213bbba817eb9d13396334f8b5b64736f6c63430008130033', 'head': None, 'length': 22112, 'tail': None, 'truncated': False}, 'verified_source': False}
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
print(obj['capability_graph']['graph_json'].keys())
PY" in /tmp/codex-qdkf04iq succeeded in 57ms:
dict_keys(['edges', 'nodes', 'version'])
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
nodes=obj['capability_graph']['graph_json']['nodes']
from collections import Counter
print('nodes', len(nodes))
print('types', Counter(n.get('type') for n in nodes))
print('first 10', nodes[:10])
PY" in /tmp/codex-qdkf04iq succeeded in 32ms:
nodes 462
types Counter({'basic_block': 429, 'function': 20, 'callsite': 11, 'sink': 2})
first 10 [{'end_pc': 15, 'hash': '0xe8e2e3d8c808f7629c73ec2e27bbafbc482df8393481f6d0f40ebb3912fab6a1', 'id': 'bb:0', 'start_pc': 0, 'type': 'basic_block'}, {'end_pc': 24, 'hash': '0x015af76f84ff0793063e673a58b90f7f3b88ad3aad5a574c2548b27e2e2ad993', 'id': 'bb:16', 'start_pc': 16, 'type': 'basic_block'}, {'end_pc': 28, 'hash': '0xbf903fd58e673671bce9fe52dee6a7a301689fab4890199bec2ced804d9e3fa0', 'id': 'bb:25', 'start_pc': 25, 'type': 'basic_block'}, {'end_pc': 30, 'hash': '0xcc41f56ee835e1bb21424e88b3e5d893ce9c5c0922819ecc32a2b8fbc00bfa55', 'id': 'bb:29', 'start_pc': 29, 'type': 'basic_block'}, {'end_pc': 50, 'hash': '0x3241cc0ca6a25a4a8b10f6f58f253418221ef1f4c3a801ccabe2ee6c7a24f7e4', 'id': 'bb:31', 'start_pc': 31, 'type': 'basic_block'}, {'end_pc': 61, 'hash': '0xedd55eab051da13466cd24a8f52e44e1fa83c3df6c757d0d53af45ed4c898b9a', 'id': 'bb:51', 'start_pc': 51, 'type': 'basic_block'}, {'end_pc': 72, 'hash': '0x352693756bfe63946b980079c1bd0bdf7b1749a84b5b308d8926bd6158bf10a6', 'id': 'bb:62', 'start_pc': 62, 'type': 'basic_block'}, {'end_pc': 84, 'hash': '0xd68b2f0871f7c0426d65b1b3e6323198bafa8ae75cbe844701515cb8936d7c43', 'id': 'bb:73', 'start_pc': 73, 'type': 'basic_block'}, {'end_pc': 96, 'hash': '0x576a8ace9c4144afaff75b43c9d854ada8422e929c443b92dfc68028fa13513d', 'id': 'bb:85', 'start_pc': 85, 'type': 'basic_block'}, {'end_pc': 107, 'hash': '0x31a2ab9fbe7c02d30cbf04d572c90245341e2e8f9ee32bf9cebad6925f163805', 'id': 'bb:97', 'start_pc': 97, 'type': 'basic_block'}]
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
# map pc to block(s)
call_pcs=[652,2763,4792,6744,10702,10910]
for pc in call_pcs:
    blk=[b for b in blocks if b['start_pc']<=pc<=b['end_pc']]
    print('pc', pc, 'blocks', len(blk))
    if blk:
        b=blk[0]
        print(' block start', b['start_pc'], 'end', b['end_pc'])
        print(' opcodes:', b['opcodes'])
        print('---')
PY" in /tmp/codex-qdkf04iq succeeded in 44ms:
pc 652 blocks 1
 block start 646 end 658
 opcodes: ['JUMPDEST', 'SUB', 'OP_81', 'OP_83', 'OP_8D', 'GAS', 'CALL', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
---
pc 2763 blocks 1
 block start 2757 end 2769
 opcodes: ['JUMPDEST', 'SUB', 'OP_81', 'OP_83', 'OP_8C', 'GAS', 'CALL', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
---
pc 4792 blocks 1
 block start 4784 end 4797
 opcodes: ['POP', 'OP_82', 'OP_80', 'OP_80', 'OP_80', 'OP_85', 'CALLER', 'OP_82', 'CALL', 'ISZERO', 'PUSH2', 'JUMPI']
---
pc 6744 blocks 1
 block start 6687 end 6750
 opcodes: ['JUMPDEST', 'PUSH1', 'OP_93', 'OP_84', 'OP_82', 'MSTORE', 'PUSH32', 'OP_85', 'OP_83', 'ADD', 'MSTORE', 'PUSH1', 'OP_80', 'OP_85', 'OP_87', 'OP_82', 'OP_97', 'MLOAD', 'OP_91', 'ADD', 'OP_82', 'OP_85', 'GAS', 'CALL', 'RETURNDATASIZE', 'ISZERO', 'PUSH2', 'JUMPI']
---
pc 10702 blocks 1
 block start 10696 end 10709
 opcodes: ['JUMPDEST', 'SUB', 'OP_81', 'OP_83', 'OP_8C', 'GAS', 'CALL', 'OP_92', 'OP_83', 'ISZERO', 'PUSH2', 'JUMPI']
---
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
call_pcs=[3583,8316,8640,8943,9113]
for pc in call_pcs:
    blk=[b for b in blocks if b['start_pc']<=pc<=b['end_pc']]
    print('pc', pc, 'blocks', len(blk))
    if blk:
        b=blk[0]
        print(' block start', b['start_pc'], 'end', b['end_pc'])
        print(' opcodes:', b['opcodes'])
        print('---')
PY" in /tmp/codex-qdkf04iq succeeded in 35ms:
pc 3583 blocks 1
 block start 3534 end 3590
 opcodes: ['OP_89', 'MLOAD', 'OP_97', 'PUSH32', 'OP_89', 'MSTORE', 'ADDRESS', 'OP_83', 'OP_8A', 'ADD', 'MSTORE', 'OP_87', 'OP_89', 'OP_87', 'OP_81', 'OP_8D', 'GAS', 'STATICCALL', 'OP_98', 'OP_89', 'ISZERO', 'PUSH2', 'JUMPI']
---
pc 8316 blocks 1
 block start 8273 end 8321
 opcodes: ['OP_91', 'PUSH1', 'OP_94', 'OP_93', 'OP_91', 'PUSH1', 'PUSH1', 'OP_94', 'PUSH1', 'MLOAD', 'OP_94', 'OP_85', 'MSTORE', 'AND', 'OP_84', 'OP_84', 'ADD', 'MSTORE', 'PUSH1', 'OP_83', 'ADD', 'MSTORE', 'PUSH1', 'OP_82', 'ADD', 'MSTORE', 'PUSH1', 'OP_93', 'OP_84', 'OP_91', 'OP_82', 'OP_80', 'MSTORE', 'PUSH1', 'GAS', 'STATICCALL', 'ISZERO', 'PUSH2', 'JUMPI']
---
pc 8640 blocks 1
 block start 8580 end 8646
 opcodes: ['JUMPDEST', 'AND', 'OP_90', 'PUSH1', 'OP_94', 'OP_85', 'MLOAD', 'OP_93', 'PUSH32', 'OP_85', 'MSTORE', 'ADDRESS', 'PUSH1', 'OP_86', 'ADD', 'MSTORE', 'PUSH1', 'OP_94', 'OP_85', 'OP_81', 'PUSH1', 'OP_81', 'OP_88', 'GAS', 'STATICCALL', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
---
pc 8943 blocks 1
 block start 8861 end 8950
 opcodes: ['POP', 'OP_86', 'MLOAD', 'PUSH32', 'OP_80', 'OP_82', 'MSTORE', 'ADDRESS', 'PUSH1', 'OP_83', 'ADD', 'MSTORE', 'PUSH20', 'OP_83', 'AND', 'PUSH1', 'OP_83', 'ADD', 'MSTORE', 'OP_92', 'OP_90', 'OP_86', 'OP_81', 'PUSH1', 'OP_81', 'OP_89', 'GAS', 'STATICCALL', 'OP_90', 'OP_81', 'ISZERO', 'PUSH2', 'JUMPI']
---
pc 9113 blocks 1
 block start 9108 end 9120
 opcodes: ['JUMPDEST', 'SUB', 'OP_81', 'OP_87', 'GAS', 'STATICCALL', 'OP_90', 'OP_81', 'ISZERO', 'PUSH2', 'JUMPI']
---
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
# find block containing pc 6553
blk=[b for b in blocks if b['start_pc']<=6553<=b['end_pc']]
print('blocks', len(blk))
if blk:
    b=blk[0]
    print('start', b['start_pc'], 'end', b['end_pc'])
    print('opcodes', b['opcodes'])
PY" in /tmp/codex-qdkf04iq succeeded in 34ms:
blocks 1
start 6549 end 6554
opcodes ['PUSH1', 'PUSH1', 'SSTORE', 'JUMP']
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
blocks_s=[(b['start_pc'], b['end_pc'], b['opcodes']) for b in blocks if 'SSTORE' in b['opcodes']]
print('SSTORE blocks', len(blocks_s))
print(blocks_s[:20])
PY" in /tmp/codex-qdkf04iq succeeded in 47ms:
SSTORE blocks 13
[(718, 727, ['JUMPDEST', 'SUB', 'OP_90', 'OP_A3', 'PUSH1', 'OP_81', 'SSTORE', 'OP_80', 'RETURN']), (908, 991, ['POP', 'POP', 'PUSH1', 'SLOAD', 'OP_82', 'PUSH32', 'OP_82', 'AND', 'OR', 'PUSH1', 'SSTORE', 'AND', 'PUSH32', 'OP_83', 'OP_80', 'OP_A3', 'OP_80', 'RETURN']), (1512, 1577, ['JUMPDEST', 'OP_83', 'MLOAD', 'OP_93', 'PUSH1', 'CALLDATALOAD', 'OP_85', 'MSTORE', 'PUSH1', 'CALLDATALOAD', 'PUSH1', 'OP_86', 'ADD', 'MSTORE', 'OP_84', 'ADD', 'MSTORE', 'AND', 'OP_90', 'PUSH32', 'PUSH1', 'CALLER', 'OP_92', 'OP_A3', 'PUSH1', 'OP_81', 'SSTORE', 'OP_80', 'RETURN']), (1736, 1815, ['JUMPDEST', 'ISZERO', 'ISZERO', 'OP_90', 'PUSH1', 'SLOAD', 'PUSH32', 'PUSH21', 'OP_84', 'PUSH1', 'SHL', 'AND', 'OP_91', 'AND', 'OR', 'PUSH1', 'SSTORE', 'MLOAD', 'OP_90', 'OP_81', 'MSTORE', 'OP_A1', 'OP_80', 'RETURN']), (1998, 2042, ['POP', 'POP', 'PUSH32', 'PUSH1', 'SLOAD', 'AND', 'OR', 'PUSH1', 'SSTORE', 'OP_80', 'RETURN']), (2372, 2425, ['JUMPDEST', 'OP_84', 'OP_86', 'MSTORE', 'OP_82', 'MSTORE', 'OP_80', 'OP_85', 'SHA3', 'PUSH32', 'OP_81', 'SLOAD', 'AND', 'OP_90', 'SSTORE', 'MLOAD', 'OP_84', 'OP_81', 'MSTORE', 'OP_A2', 'OP_80', 'RETURN']), (2976, 3056, ['JUMPDEST', 'ISZERO', 'ISZERO', 'OP_90', 'PUSH1', 'SLOAD', 'PUSH32', 'PUSH22', 'OP_84', 'PUSH1', 'SHL', 'AND', 'OP_91', 'AND', 'OR', 'PUSH1', 'SSTORE', 'MLOAD', 'OP_90', 'OP_81', 'MSTORE', 'OP_A1', 'OP_80', 'RETURN']), (3195, 3297, ['JUMPDEST', 'OP_80', 'PUSH20', 'PUSH1', 'SLOAD', 'PUSH32', 'OP_81', 'AND', 'PUSH1', 'SSTORE', 'AND', 'PUSH32', 'OP_82', 'OP_80', 'OP_A3', 'OP_80', 'RETURN']), (3718, 3736, ['JUMPDEST', 'PUSH1', 'SLOAD', 'AND', 'OP_94', 'MLOAD', 'OP_92', 'OP_83', 'MSTORE', 'CALLER', 'OP_92', 'OP_A4', 'PUSH1', 'OP_81', 'SSTORE', 'OP_80', 'RETURN']), (4574, 4618, ['POP', 'POP', 'PUSH32', 'PUSH1', 'SLOAD', 'AND', 'OR', 'PUSH1', 'SSTORE', 'OP_80', 'RETURN']), (4798, 4845, ['MLOAD', 'OP_90', 'OP_81', 'MSTORE', 'PUSH32', 'PUSH1', 'CALLER', 'OP_92', 'OP_A2', 'PUSH1', 'OP_81', 'SSTORE', 'OP_80', 'RETURN']), (5566, 5623, ['JUMPDEST', 'OP_84', 'OP_86', 'MSTORE', 'OP_82', 'MSTORE', 'OP_80', 'OP_85', 'SHA3', 'PUSH1', 'PUSH32', 'OP_82', 'SLOAD', 'AND', 'OR', 'OP_90', 'SSTORE', 'MLOAD', 'PUSH1', 'OP_81', 'MSTORE', 'OP_A2', 'OP_80', 'RETURN']), (6549, 6554, ['PUSH1', 'PUSH1', 'SSTORE', 'JUMP'])]
Reconnecting... 1/5
Reconnecting... 2/5
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
found=False
for b in blocks:
    if 'CHAINID' in b['opcodes']:
        print('CHAINID in block', b['start_pc'], b['end_pc'])
        found=True
        break
print('CHAINID present', found)
PY" in /tmp/codex-qdkf04iq succeeded in 45ms:
CHAINID present False
exec
/bin/bash -lc "python - <<'PY'
vals=[652,2763,4792,6744,10702,10910,4798]
for v in vals:
    print(v, hex(v))
PY" in /tmp/codex-qdkf04iq succeeded in 18ms:
652 0x28c
2763 0xacb
4792 0x12b8
6744 0x1a58
10702 0x29ce
10910 0x2a9e
4798 0x12be
codex
{"no_findings":false,"summary":"Bytecode shows multiple low-level CALLs to computed targets (some with value) and no delegatecall/proxy pattern. Guard detection is heuristic and no access-control guards were detected in artifacts, so external call safety is uncertain.","findings":[{"severity":"medium","category":"reentrancy","title":"Computed external CALLs (with possible ETH value) could enable reentrancy or unintended external execution","exploit_scenario":"If any of these CALLs target addresses influenced by calldata (e.g., recipient/router/token) and occur before state updates or without a nonReentrant guard, a malicious contract can reenter and manipulate accounting or drain funds during the external call. The analyzer observed CALL targets marked as computed and guard detection is empty, so safety is not proven from bytecode alone.","recommendation":"Ensure all state-changing paths that perform external CALLs follow checks-effects-interactions and are protected with a reentrancy guard; validate or restrict externally supplied call targets/recipients; and avoid sending ETH to arbitrary addresses unless explicitly intended and accounted for.","evidence":"Detector findings flag untrusted CALL targets and possible ETH value transfers. Callsites show CALL opcodes with computed targets/values (pc 0x28c, 0x0acb, 0x12b8, 0x1a58, 0x29ce, 0x2a9e). A CALL at pc 0x12b8 is followed by an SSTORE at pc 0x12be, indicating a state update occurs after an external call in at least one path.","locations":["pc:0x28c","pc:0x0acb","pc:0x12b8","pc:0x12be","pc:0x1a58","pc:0x29ce","pc:0x2a9e"]}]}
tokens used
151,333

Metadata

{
    "codex": {
        "ran_at": "2026-01-30T12:59:57.601470+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 22112,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode shows multiple low-level CALLs to computed targets (some with value) and no delegatecall/proxy pattern. Guard detection is heuristic and no access-control guards were detected in artifacts, so external call safety is uncertain.",
    "raw_final": {
        "summary": "Bytecode shows multiple low-level CALLs to computed targets (some with value) and no delegatecall/proxy pattern. Guard detection is heuristic and no access-control guards were detected in artifacts, so external call safety is uncertain.",
        "findings": [
            {
                "title": "Computed external CALLs (with possible ETH value) could enable reentrancy or unintended external execution",
                "category": "reentrancy",
                "evidence": "Detector findings flag untrusted CALL targets and possible ETH value transfers. Callsites show CALL opcodes with computed targets/values (pc 0x28c, 0x0acb, 0x12b8, 0x1a58, 0x29ce, 0x2a9e). A CALL at pc 0x12b8 is followed by an SSTORE at pc 0x12be, indicating a state update occurs after an external call in at least one path.",
                "severity": "medium",
                "locations": [
                    "pc:0x28c",
                    "pc:0x0acb",
                    "pc:0x12b8",
                    "pc:0x12be",
                    "pc:0x1a58",
                    "pc:0x29ce",
                    "pc:0x2a9e"
                ],
                "recommendation": "Ensure all state-changing paths that perform external CALLs follow checks-effects-interactions and are protected with a reentrancy guard; validate or restrict externally supplied call targets/recipients; and avoid sending ETH to arbitrary addresses unless explicitly intended and accounted for.",
                "exploit_scenario": "If any of these CALLs target addresses influenced by calldata (e.g., recipient/router/token) and occur before state updates or without a nonReentrant guard, a malicious contract can reenter and manipulate accounting or drain funds during the external call. The analyzer observed CALL targets marked as computed and guard detection is empty, so safety is not proven from bytecode alone."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

Selfdestruct

CREATE2

CALL-family (heavy)

EXT*/BALANCE

Total opcodes

4379

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x40
00000002: PUSH1 0x80
00000004: DUP2
00000005: MSTORE
00000006: PUSH1 0x04
00000008: DUP1
00000009: CALLDATASIZE
0000000a: LT
0000000b: ISZERO
0000000c: PUSH2 0x001f
0000000f: JUMPI
00000010: JUMPDEST
00000011: POP
00000012: POP
00000013: CALLDATASIZE
00000014: ISZERO
00000015: PUSH2 0x001d
00000018: JUMPI
00000019: PUSH1 0x00
0000001b: DUP1
0000001c: REVERT
0000001d: JUMPDEST
0000001e: STOP
0000001f: JUMPDEST
00000020: PUSH1 0x00
00000022: SWAP2
00000023: DUP3
00000024: CALLDATALOAD
00000025: PUSH1 0xe0
00000027: SHR
00000028: DUP1
00000029: PUSH4 0x0c9708cb
0000002e: EQ
0000002f: PUSH2 0x1538
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0x2287e96a
00000039: EQ
0000003a: PUSH2 0x14f3
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x2b7ac3f3
00000044: EQ
00000045: PUSH2 0x14a0
00000048: JUMPI
00000049: DUP4
0000004a: DUP2
0000004b: PUSH4 0x347ae8d2
00000050: EQ
00000051: PUSH2 0x1355
00000054: JUMPI
00000055: POP
00000056: DUP1
00000057: PUSH4 0x476343ee
0000005c: EQ
0000005d: PUSH2 0x1268
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x5437988d
00000067: EQ
00000068: PUSH2 0x117f
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x6209b13d
00000072: EQ
00000073: PUSH2 0x0d27
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x6ddd1713
0000007d: EQ
0000007e: PUSH2 0x0ce2
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x715018a6
00000088: EQ
00000089: PUSH2 0x0c44
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8da5cb5b
00000093: EQ
00000094: PUSH2 0x0bf1
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x9ec004a2
0000009e: EQ
0000009f: PUSH2 0x0b3b
000000a2: JUMPI
000000a3: DUP4
000000a4: DUP2
000000a5: PUSH4 0xa28c0efa
000000aa: EQ
000000ab: PUSH2 0x097a
000000ae: JUMPI
000000af: POP
000000b0: DUP1
000000b1: PUSH4 0xb31d26eb
000000b6: EQ
000000b7: PUSH2 0x08be
000000ba: JUMPI
000000bb: DUP1
000000bc: PUSH4 0xc0696e1b
000000c1: EQ
000000c2: PUSH2 0x0858
000000c5: JUMPI
000000c6: DUP1
000000c7: PUSH4 0xc0bb38ff
000000cc: EQ
000000cd: PUSH2 0x076f
000000d0: JUMPI
000000d1: DUP1
000000d2: PUSH4 0xdcbe353f
000000d7: EQ
000000d8: PUSH2 0x071c
000000db: JUMPI
000000dc: DUP1
000000dd: PUSH4 0xe01af92c
000000e2: EQ
000000e3: PUSH2 0x0663
000000e6: JUMPI
000000e7: DUP1
000000e8: PUSH4 0xf2f53993
000000ed: EQ
000000ee: PUSH2 0x0463
000000f1: JUMPI
000000f2: DUP1
000000f3: PUSH4 0xf2fde38b
000000f8: EQ
000000f9: PUSH2 0x032a
000000fc: JUMPI
000000fd: PUSH4 0xfb3a6007
00000102: EQ
00000103: PUSH2 0x010c
00000106: JUMPI
00000107: POP
00000108: PUSH2 0x0010
0000010b: JUMP
0000010c: JUMPDEST
0000010d: CALLVALUE
0000010e: PUSH2 0x0326
00000111: JUMPI
00000112: DUP3
00000113: PUSH2 0x0233
00000116: PUSH2 0x0212
00000119: PUSH2 0x020a
0000011c: PUSH2 0x0124
0000011f: CALLDATASIZE
00000120: PUSH2 0x178e
00000123: JUMP
00000124: JUMPDEST
00000125: PUSH2 0x013b
00000128: SWAP13
00000129: SWAP7
0000012a: SWAP13
0000012b: SWAP12
0000012c: SWAP6
0000012d: SWAP11
0000012e: SWAP4
0000012f: SWAP8
00000130: SWAP5
00000131: SWAP12
00000132: SWAP10
00000133: SWAP3
00000134: SWAP9
00000135: SWAP2
00000136: SWAP10
00000137: PUSH2 0x198a
0000013a: JUMP
0000013b: JUMPDEST
0000013c: PUSH1 0x3c
0000013e: PUSH1 0x02
00000140: SLOAD
00000141: SWAP7
00000142: PUSH2 0x0150
00000145: PUSH1 0xff
00000147: DUP10
00000148: PUSH1 0xa0
0000014a: SHR
0000014b: AND
0000014c: PUSH2 0x1c80
0000014f: JUMP
00000150: JUMPDEST
00000151: PUSH2 0x015c
00000154: DUP13
00000155: TIMESTAMP
00000156: GT
00000157: ISZERO
00000158: PUSH2 0x1ce5
0000015b: JUMP
0000015c: JUMPDEST
0000015d: DUP12
0000015e: DUP10
0000015f: MLOAD
00000160: PUSH2 0x01db
00000163: DUP2
00000164: PUSH2 0x01af
00000167: PUSH1 0x20
00000169: DUP3
0000016a: ADD
0000016b: SWAP5
0000016c: ADDRESS
0000016d: SWAP1
0000016e: CALLER
0000016f: DUP8
00000170: SWAP2
00000171: SWAP3
00000172: PUSH1 0x48
00000174: SWAP4
00000175: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00000196: DUP1
00000197: SWAP4
00000198: PUSH1 0x60
0000019a: SHL
0000019b: AND
0000019c: DUP5
0000019d: MSTORE
0000019e: PUSH1 0x14
000001a0: DUP5
000001a1: ADD
000001a2: MSTORE
000001a3: PUSH1 0x60
000001a5: SHL
000001a6: AND
000001a7: PUSH1 0x34
000001a9: DUP3
000001aa: ADD
000001ab: MSTORE
000001ac: ADD
000001ad: SWAP1
000001ae: JUMP
000001af: JUMPDEST
000001b0: SUB
000001b1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000001d2: DUP2
000001d3: ADD
000001d4: DUP4
000001d5: MSTORE
000001d6: DUP3
000001d7: PUSH2 0x16cc
000001da: JUMP
000001db: JUMPDEST
000001dc: MLOAD
000001dd: SWAP1
000001de: KECCAK256
000001df: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000200: DUP3
00000201: MSTORE
00000202: PUSH1 0x1c
00000204: MSTORE
00000205: KECCAK256
00000206: PUSH2 0x1fee
00000209: JUMP
0000020a: JUMPDEST
0000020b: SWAP2
0000020c: SWAP1
0000020d: SWAP2
0000020e: PUSH2 0x1e55
00000211: JUMP
00000212: JUMPDEST
00000213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000228: DUP1
00000229: DUP1
0000022a: SWAP6
0000022b: AND
0000022c: SWAP2
0000022d: AND
0000022e: EQ
0000022f: PUSH2 0x1925
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH2 0x0241
00000237: DUP7
00000238: DUP7
00000239: DUP7
0000023a: DUP12
0000023b: DUP14
0000023c: DUP7
0000023d: PUSH2 0x20e3
00000240: JUMP
00000241: JUMPDEST
00000242: AND
00000243: SWAP8
00000244: DUP10
00000245: DUP10
00000246: EXTCODESIZE
00000247: ISZERO
00000248: PUSH2 0x0323
0000024b: JUMPI
0000024c: DUP9
0000024d: DUP8
0000024e: SWAP3
0000024f: PUSH2 0x0286
00000252: DUP9
00000253: DUP9
00000254: DUP9
00000255: DUP14
00000256: DUP10
00000257: MLOAD
00000258: SWAP9
00000259: DUP10
0000025a: SWAP8
0000025b: DUP9
0000025c: SWAP8
0000025d: PUSH32 0x5c11d79500000000000000000000000000000000000000000000000000000000
0000027e: DUP10
0000027f: MSTORE
00000280: DUP9
00000281: ADD
00000282: PUSH2 0x1dc6
00000285: JUMP
00000286: JUMPDEST
00000287: SUB
00000288: DUP2
00000289: DUP4
0000028a: DUP14
0000028b: GAS
0000028c: CALL
0000028d: DUP1
0000028e: ISZERO
0000028f: PUSH2 0x0319
00000292: JUMPI
00000293: PUSH2 0x02d8
00000296: JUMPI
00000297: JUMPDEST
00000298: POP
00000299: SWAP2
0000029a: PUSH32 0x0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b6063
000002bb: SWAP6
000002bc: SWAP5
000002bd: SWAP4
000002be: SWAP2
000002bf: PUSH2 0x02ce
000002c2: SWAP4
000002c3: MLOAD
000002c4: SWAP6
000002c5: DUP7
000002c6: SWAP6
000002c7: CALLER
000002c8: SWAP10
000002c9: DUP8
000002ca: PUSH2 0x1dc6
000002cd: JUMP
000002ce: JUMPDEST
000002cf: SUB
000002d0: SWAP1
000002d1: LOG3
000002d2: PUSH1 0x01
000002d4: DUP2
000002d5: SSTORE
000002d6: DUP1
000002d7: RETURN
000002d8: JUMPDEST
000002d9: SWAP2
000002da: PUSH2 0x02ce
000002dd: SWAP4
000002de: SWAP2
000002df: SWAP10
000002e0: PUSH2 0x030c
000002e3: PUSH32 0x0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b6063
00000304: SWAP9
00000305: SWAP8
00000306: SWAP7
00000307: SWAP5
00000308: PUSH2 0x1651
0000030b: JUMP
0000030c: JUMPDEST
0000030d: SWAP10
0000030e: SWAP2
0000030f: SWAP4
00000310: POP
00000311: SWAP2
00000312: SWAP4
00000313: SWAP5
00000314: SWAP6
00000315: PUSH2 0x0297
00000318: JUMP
00000319: JUMPDEST
0000031a: DUP3
0000031b: MLOAD
0000031c: RETURNDATASIZE
0000031d: DUP13
0000031e: DUP3
0000031f: RETURNDATACOPY
00000320: RETURNDATASIZE
00000321: SWAP1
00000322: REVERT
00000323: JUMPDEST
00000324: DUP1
00000325: REVERT
00000326: JUMPDEST
00000327: DUP3
00000328: DUP1
00000329: REVERT
0000032a: JUMPDEST
0000032b: POP
0000032c: SWAP1
0000032d: CALLVALUE
0000032e: PUSH2 0x0326
00000331: JUMPI
00000332: PUSH1 0x20
00000334: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000355: CALLDATASIZE
00000356: ADD
00000357: SLT
00000358: PUSH2 0x0326
0000035b: JUMPI
0000035c: PUSH2 0x0363
0000035f: PUSH2 0x15f8
00000362: JUMP
00000363: JUMPDEST
00000364: SWAP1
00000365: PUSH2 0x036c
00000368: PUSH2 0x1841
0000036b: JUMP
0000036c: JUMPDEST
0000036d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000382: DUP1
00000383: SWAP3
00000384: AND
00000385: SWAP3
00000386: DUP4
00000387: ISZERO
00000388: PUSH2 0x03e0
0000038b: JUMPI
0000038c: POP
0000038d: POP
0000038e: PUSH1 0x01
00000390: SLOAD
00000391: DUP3
00000392: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000003b3: DUP3
000003b4: AND
000003b5: OR
000003b6: PUSH1 0x01
000003b8: SSTORE
000003b9: AND
000003ba: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000003db: DUP4
000003dc: DUP1
000003dd: LOG3
000003de: DUP1
000003df: RETURN
000003e0: JUMPDEST
000003e1: SWAP1
000003e2: PUSH1 0x20
000003e4: PUSH1 0x84
000003e6: SWAP3
000003e7: MLOAD
000003e8: SWAP2
000003e9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000040a: DUP4
0000040b: MSTORE
0000040c: DUP3
0000040d: ADD
0000040e: MSTORE
0000040f: PUSH1 0x26
00000411: PUSH1 0x24
00000413: DUP3
00000414: ADD
00000415: MSTORE
00000416: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000437: PUSH1 0x44
00000439: DUP3
0000043a: ADD
0000043b: MSTORE
0000043c: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000045d: PUSH1 0x64
0000045f: DUP3
00000460: ADD
00000461: MSTORE
00000462: REVERT
00000463: JUMPDEST
00000464: POP
00000465: SWAP1
00000466: CALLVALUE
00000467: PUSH2 0x0326
0000046a: JUMPI
0000046b: PUSH2 0x0160
0000046e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000048f: CALLDATASIZE
00000490: ADD
00000491: SLT
00000492: PUSH2 0x0326
00000495: JUMPI
00000496: PUSH2 0x049d
00000499: PUSH2 0x15f8
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH8 0xffffffffffffffff
000004a7: PUSH1 0xa4
000004a9: CALLDATALOAD
000004aa: DUP2
000004ab: DUP2
000004ac: GT
000004ad: PUSH2 0x065f
000004b0: JUMPI
000004b1: PUSH2 0x04bd
000004b4: SWAP1
000004b5: CALLDATASIZE
000004b6: SWAP1
000004b7: DUP6
000004b8: ADD
000004b9: PUSH2 0x1620
000004bc: JUMP
000004bd: JUMPDEST
000004be: SWAP1
000004bf: SWAP4
000004c0: PUSH1 0xc4
000004c2: CALLDATALOAD
000004c3: DUP4
000004c4: DUP2
000004c5: GT
000004c6: PUSH2 0x065b
000004c9: JUMPI
000004ca: PUSH2 0x04d6
000004cd: SWAP1
000004ce: CALLDATASIZE
000004cf: SWAP1
000004d0: DUP4
000004d1: ADD
000004d2: PUSH2 0x1620
000004d5: JUMP
000004d6: JUMPDEST
000004d7: PUSH1 0xe4
000004d9: CALLDATALOAD
000004da: SWAP2
000004db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f0: SWAP8
000004f1: DUP9
000004f2: DUP5
000004f3: AND
000004f4: DUP5
000004f5: SUB
000004f6: PUSH2 0x0657
000004f9: JUMPI
000004fa: PUSH2 0x0124
000004fd: CALLDATALOAD
000004fe: DUP1
000004ff: ISZERO
00000500: ISZERO
00000501: SWAP8
00000502: DUP9
00000503: DUP3
00000504: SUB
00000505: PUSH2 0x0653
00000508: JUMPI
00000509: DUP13
0000050a: PUSH2 0x0144
0000050d: CALLDATALOAD
0000050e: SWAP2
0000050f: DUP3
00000510: GT
00000511: PUSH2 0x0323
00000514: JUMPI
00000515: DUP12
00000516: DUP1
00000517: PUSH2 0x05b8
0000051a: SWAP3
0000051b: DUP16
0000051c: SWAP11
0000051d: PUSH2 0x052f
00000520: PUSH2 0x05b0
00000523: SWAP2
00000524: PUSH2 0x05c1
00000527: SWAP8
00000528: CALLDATASIZE
00000529: SWAP2
0000052a: ADD
0000052b: PUSH2 0x1747
0000052e: JUMP
0000052f: JUMPDEST
00000530: PUSH2 0x0537
00000533: PUSH2 0x198a
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH1 0x3c
0000053a: PUSH1 0x02
0000053c: SLOAD
0000053d: SWAP4
0000053e: PUSH2 0x054c
00000541: PUSH1 0xff
00000543: DUP7
00000544: PUSH1 0xa0
00000546: SHR
00000547: AND
00000548: PUSH2 0x1c80
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH2 0x0104
00000550: CALLDATALOAD
00000551: SWAP15
00000552: DUP16
00000553: SWAP1
00000554: PUSH2 0x055f
00000557: DUP3
00000558: TIMESTAMP
00000559: GT
0000055a: ISZERO
0000055b: PUSH2 0x1ce5
0000055e: JUMP
0000055f: JUMPDEST
00000560: MLOAD
00000561: PUSH2 0x01db
00000564: DUP2
00000565: PUSH2 0x01af
00000568: PUSH1 0x20
0000056a: DUP3
0000056b: ADD
0000056c: SWAP5
0000056d: ADDRESS
0000056e: SWAP1
0000056f: CALLER
00000570: DUP8
00000571: SWAP2
00000572: SWAP3
00000573: PUSH1 0x48
00000575: SWAP4
00000576: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00000597: DUP1
00000598: SWAP4
00000599: PUSH1 0x60
0000059b: SHL
0000059c: AND
0000059d: DUP5
0000059e: MSTORE
0000059f: PUSH1 0x14
000005a1: DUP5
000005a2: ADD
000005a3: MSTORE
000005a4: PUSH1 0x60
000005a6: SHL
000005a7: AND
000005a8: PUSH1 0x34
000005aa: DUP3
000005ab: ADD
000005ac: MSTORE
000005ad: ADD
000005ae: SWAP1
000005af: JUMP
000005b0: JUMPDEST
000005b1: SWAP5
000005b2: SWAP1
000005b3: SWAP5
000005b4: PUSH2 0x1e55
000005b7: JUMP
000005b8: JUMPDEST
000005b9: AND
000005ba: SWAP2
000005bb: AND
000005bc: EQ
000005bd: PUSH2 0x1925
000005c0: JUMP
000005c1: JUMPDEST
000005c2: ISZERO
000005c3: PUSH2 0x062a
000005c6: JUMPI
000005c7: DUP5
000005c8: DUP5
000005c9: PUSH2 0x05e8
000005cc: SWAP8
000005cd: PUSH2 0x05dc
000005d0: SWAP4
000005d1: PUSH1 0x84
000005d3: CALLDATALOAD
000005d4: PUSH1 0x64
000005d6: CALLDATALOAD
000005d7: DUP14
000005d8: PUSH2 0x2a2f
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH1 0x44
000005df: CALLDATALOAD
000005e0: PUSH1 0x24
000005e2: CALLDATALOAD
000005e3: DUP9
000005e4: PUSH2 0x2958
000005e7: JUMP
000005e8: JUMPDEST
000005e9: DUP4
000005ea: MLOAD
000005eb: SWAP4
000005ec: PUSH1 0x24
000005ee: CALLDATALOAD
000005ef: DUP6
000005f0: MSTORE
000005f1: PUSH1 0x64
000005f3: CALLDATALOAD
000005f4: PUSH1 0x20
000005f6: DUP7
000005f7: ADD
000005f8: MSTORE
000005f9: DUP5
000005fa: ADD
000005fb: MSTORE
000005fc: AND
000005fd: SWAP1
000005fe: PUSH32 0x878afaa6030e670afe43ec14fbf8d116afe62910349b6ecb5f6ce3f6ebd851c3
0000061f: PUSH1 0x60
00000621: CALLER
00000622: SWAP3
00000623: LOG3
00000624: PUSH1 0x01
00000626: DUP2
00000627: SSTORE
00000628: DUP1
00000629: RETURN
0000062a: JUMPDEST
0000062b: SWAP1
0000062c: DUP5
0000062d: DUP5
0000062e: PUSH2 0x064e
00000631: SWAP8
00000632: SWAP5
00000633: PUSH2 0x0642
00000636: SWAP4
00000637: PUSH1 0x44
00000639: CALLDATALOAD
0000063a: PUSH1 0x24
0000063c: CALLDATALOAD
0000063d: DUP14
0000063e: PUSH2 0x2958
00000641: JUMP
00000642: JUMPDEST
00000643: PUSH1 0x84
00000645: CALLDATALOAD
00000646: PUSH1 0x64
00000648: CALLDATALOAD
00000649: DUP9
0000064a: PUSH2 0x2a2f
0000064d: JUMP
0000064e: JUMPDEST
0000064f: PUSH2 0x05e8
00000652: JUMP
00000653: JUMPDEST
00000654: DUP13
00000655: DUP1
00000656: REVERT
00000657: JUMPDEST
00000658: DUP11
00000659: DUP1
0000065a: REVERT
0000065b: JUMPDEST
0000065c: DUP8
0000065d: DUP1
0000065e: REVERT
0000065f: JUMPDEST
00000660: DUP6
00000661: DUP1
00000662: REVERT
00000663: JUMPDEST
00000664: DUP4
00000665: DUP3
00000666: CALLVALUE
00000667: PUSH2 0x0718
0000066a: JUMPI
0000066b: PUSH1 0x20
0000066d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000068e: CALLDATASIZE
0000068f: ADD
00000690: SLT
00000691: PUSH2 0x0718
00000694: JUMPI
00000695: PUSH1 0x20
00000697: PUSH32 0x36863eb5e5d22837b66f9cc6e980882edf1b0f1b012e25f5e5799abb223db2e5
000006b8: SWAP2
000006b9: PUSH2 0x06c0
000006bc: PUSH2 0x1832
000006bf: JUMP
000006c0: JUMPDEST
000006c1: PUSH2 0x06c8
000006c4: PUSH2 0x1841
000006c7: JUMP
000006c8: JUMPDEST
000006c9: ISZERO
000006ca: ISZERO
000006cb: SWAP1
000006cc: PUSH1 0x02
000006ce: SLOAD
000006cf: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
000006f0: PUSH21 0xff0000000000000000000000000000000000000000
00000706: DUP5
00000707: PUSH1 0xa0
00000709: SHL
0000070a: AND
0000070b: SWAP2
0000070c: AND
0000070d: OR
0000070e: PUSH1 0x02
00000710: SSTORE
00000711: MLOAD
00000712: SWAP1
00000713: DUP2
00000714: MSTORE
00000715: LOG1
00000716: DUP1
00000717: RETURN
00000718: JUMPDEST
00000719: POP
0000071a: DUP1
0000071b: REVERT
0000071c: JUMPDEST
0000071d: DUP4
0000071e: DUP3
0000071f: CALLVALUE
00000720: PUSH2 0x0718
00000723: JUMPI
00000724: DUP2
00000725: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000746: CALLDATASIZE
00000747: ADD
00000748: SLT
00000749: PUSH2 0x0718
0000074c: JUMPI
0000074d: PUSH1 0x20
0000074f: SWAP1
00000750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000765: PUSH1 0x03
00000767: SLOAD
00000768: AND
00000769: SWAP1
0000076a: MLOAD
0000076b: SWAP1
0000076c: DUP2
0000076d: MSTORE
0000076e: RETURN
0000076f: JUMPDEST
00000770: POP
00000771: SWAP1
00000772: CALLVALUE
00000773: PUSH2 0x0326
00000776: JUMPI
00000777: PUSH1 0x20
00000779: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000079a: CALLDATASIZE
0000079b: ADD
0000079c: SLT
0000079d: PUSH2 0x0326
000007a0: JUMPI
000007a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b6: PUSH2 0x07bd
000007b9: PUSH2 0x15f8
000007bc: JUMP
000007bd: JUMPDEST
000007be: PUSH2 0x07c5
000007c1: PUSH2 0x1841
000007c4: JUMP
000007c5: JUMPDEST
000007c6: AND
000007c7: SWAP2
000007c8: DUP3
000007c9: ISZERO
000007ca: PUSH2 0x07fb
000007cd: JUMPI
000007ce: POP
000007cf: POP
000007d0: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000007f1: PUSH1 0x03
000007f3: SLOAD
000007f4: AND
000007f5: OR
000007f6: PUSH1 0x03
000007f8: SSTORE
000007f9: DUP1
000007fa: RETURN
000007fb: JUMPDEST
000007fc: SWAP1
000007fd: PUSH1 0x20
000007ff: PUSH1 0x64
00000801: SWAP3
00000802: MLOAD
00000803: SWAP2
00000804: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000825: DUP4
00000826: MSTORE
00000827: DUP3
00000828: ADD
00000829: MSTORE
0000082a: PUSH1 0x19
0000082c: PUSH1 0x24
0000082e: DUP3
0000082f: ADD
00000830: MSTORE
00000831: PUSH32 0x496e76616c696420726563697069656e74206164647265737300000000000000
00000852: PUSH1 0x44
00000854: DUP3
00000855: ADD
00000856: MSTORE
00000857: REVERT
00000858: JUMPDEST
00000859: POP
0000085a: SWAP1
0000085b: CALLVALUE
0000085c: PUSH2 0x0326
0000085f: JUMPI
00000860: PUSH1 0x20
00000862: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000883: CALLDATASIZE
00000884: ADD
00000885: SLT
00000886: PUSH2 0x0326
00000889: JUMPI
0000088a: DUP2
0000088b: PUSH1 0x20
0000088d: SWAP4
0000088e: PUSH1 0xff
00000890: SWAP3
00000891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a6: PUSH2 0x08ad
000008a9: PUSH2 0x15f8
000008ac: JUMP
000008ad: JUMPDEST
000008ae: AND
000008af: DUP3
000008b0: MSTORE
000008b1: DUP6
000008b2: MSTORE
000008b3: KECCAK256
000008b4: SLOAD
000008b5: AND
000008b6: SWAP1
000008b7: MLOAD
000008b8: SWAP1
000008b9: ISZERO
000008ba: ISZERO
000008bb: DUP2
000008bc: MSTORE
000008bd: RETURN
000008be: JUMPDEST
000008bf: POP
000008c0: CALLVALUE
000008c1: PUSH2 0x0326
000008c4: JUMPI
000008c5: PUSH1 0x20
000008c7: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000008e8: CALLDATASIZE
000008e9: ADD
000008ea: SLT
000008eb: PUSH2 0x0326
000008ee: JUMPI
000008ef: PUSH1 0x20
000008f1: PUSH32 0xf93f9a76c1bf3444d22400a00cb9fe990e6abe9dbb333fda48859cfee864543d
00000912: SWAP2
00000913: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000928: PUSH2 0x092f
0000092b: PUSH2 0x15f8
0000092e: JUMP
0000092f: JUMPDEST
00000930: PUSH2 0x0937
00000933: PUSH2 0x1841
00000936: JUMP
00000937: JUMPDEST
00000938: AND
00000939: SWAP4
0000093a: PUSH2 0x0944
0000093d: DUP6
0000093e: ISZERO
0000093f: ISZERO
00000940: PUSH2 0x18c0
00000943: JUMP
00000944: JUMPDEST
00000945: DUP5
00000946: DUP7
00000947: MSTORE
00000948: DUP3
00000949: MSTORE
0000094a: DUP1
0000094b: DUP6
0000094c: KECCAK256
0000094d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000096e: DUP2
0000096f: SLOAD
00000970: AND
00000971: SWAP1
00000972: SSTORE
00000973: MLOAD
00000974: DUP5
00000975: DUP2
00000976: MSTORE
00000977: LOG2
00000978: DUP1
00000979: RETURN
0000097a: JUMPDEST
0000097b: DUP3
0000097c: DUP2
0000097d: DUP6
0000097e: CALLVALUE
0000097f: PUSH2 0x0718
00000982: JUMPI
00000983: DUP3
00000984: SWAP2
00000985: DUP3
00000986: SWAP2
00000987: PUSH2 0x098f
0000098a: CALLDATASIZE
0000098b: PUSH2 0x178e
0000098e: JUMP
0000098f: JUMPDEST
00000990: SWAP6
00000991: DUP2
00000992: DUP4
00000993: DUP6
00000994: DUP4
00000995: SWAP14
00000996: DUP10
00000997: SWAP13
00000998: SWAP6
00000999: SWAP12
0000099a: DUP10
0000099b: SWAP15
0000099c: SWAP9
0000099d: SWAP11
0000099e: SWAP8
0000099f: SWAP12
000009a0: PUSH2 0x09a7
000009a3: PUSH2 0x198a
000009a6: JUMP
000009a7: JUMPDEST
000009a8: PUSH1 0x02
000009aa: SLOAD
000009ab: SWAP3
000009ac: DUP4
000009ad: PUSH1 0xa0
000009af: SHR
000009b0: PUSH1 0xff
000009b2: AND
000009b3: PUSH2 0x09bb
000009b6: SWAP1
000009b7: PUSH2 0x1c80
000009ba: JUMP
000009bb: JUMPDEST
000009bc: DUP7
000009bd: TIMESTAMP
000009be: GT
000009bf: ISZERO
000009c0: PUSH2 0x09c8
000009c3: SWAP1
000009c4: PUSH2 0x1ce5
000009c7: JUMP
000009c8: JUMPDEST
000009c9: MLOAD
000009ca: CALLER
000009cb: PUSH1 0x60
000009cd: SWAP1
000009ce: DUP2
000009cf: SHL
000009d0: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
000009f1: SWAP1
000009f2: DUP2
000009f3: AND
000009f4: PUSH1 0x20
000009f6: DUP5
000009f7: ADD
000009f8: SWAP1
000009f9: DUP2
000009fa: MSTORE
000009fb: PUSH1 0x34
000009fd: DUP5
000009fe: ADD
000009ff: DUP11
00000a00: SWAP1
00000a01: MSTORE
00000a02: ADDRESS
00000a03: SWAP1
00000a04: SWAP3
00000a05: SHL
00000a06: AND
00000a07: PUSH1 0x54
00000a09: DUP4
00000a0a: ADD
00000a0b: MSTORE
00000a0c: PUSH1 0x48
00000a0e: DUP3
00000a0f: MSTORE
00000a10: SWAP1
00000a11: PUSH2 0x0a1b
00000a14: PUSH1 0x68
00000a16: DUP3
00000a17: PUSH2 0x16cc
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: MLOAD
00000a1d: SWAP1
00000a1e: KECCAK256
00000a1f: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000a40: DUP12
00000a41: MSTORE
00000a42: PUSH1 0x1c
00000a44: MSTORE
00000a45: PUSH1 0x3c
00000a47: DUP11
00000a48: KECCAK256
00000a49: SWAP1
00000a4a: PUSH2 0x0a52
00000a4d: SWAP2
00000a4e: PUSH2 0x1fee
00000a51: JUMP
00000a52: JUMPDEST
00000a53: PUSH2 0x0a5b
00000a56: SWAP1
00000a57: PUSH2 0x1e55
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a71: DUP1
00000a72: DUP1
00000a73: SWAP5
00000a74: AND
00000a75: SWAP2
00000a76: AND
00000a77: EQ
00000a78: PUSH2 0x0a80
00000a7b: SWAP1
00000a7c: PUSH2 0x1925
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: PUSH2 0x0a8e
00000a84: DUP6
00000a85: DUP6
00000a86: DUP6
00000a87: DUP14
00000a88: DUP13
00000a89: DUP7
00000a8a: PUSH2 0x20e3
00000a8d: JUMP
00000a8e: JUMPDEST
00000a8f: AND
00000a90: SWAP15
00000a91: MLOAD
00000a92: SWAP8
00000a93: DUP9
00000a94: SWAP7
00000a95: DUP8
00000a96: SWAP7
00000a97: PUSH32 0x8803dbee00000000000000000000000000000000000000000000000000000000
00000ab8: DUP9
00000ab9: MSTORE
00000aba: DUP8
00000abb: ADD
00000abc: SWAP6
00000abd: PUSH2 0x0ac5
00000ac0: SWAP7
00000ac1: PUSH2 0x1dc6
00000ac4: JUMP
00000ac5: JUMPDEST
00000ac6: SUB
00000ac7: DUP2
00000ac8: DUP4
00000ac9: DUP13
00000aca: GAS
00000acb: CALL
00000acc: DUP1
00000acd: ISZERO
00000ace: PUSH2 0x0b31
00000ad1: JUMPI
00000ad2: SWAP9
00000ad3: PUSH2 0x02ce
00000ad6: SWAP5
00000ad7: SWAP4
00000ad8: SWAP3
00000ad9: SWAP2
00000ada: PUSH32 0x0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b6063
00000afb: SWAP9
00000afc: SWAP10
00000afd: SWAP11
00000afe: PUSH2 0x0b0f
00000b01: JUMPI
00000b02: JUMPDEST
00000b03: POP
00000b04: MLOAD
00000b05: SWAP6
00000b06: DUP7
00000b07: SWAP6
00000b08: CALLER
00000b09: SWAP10
00000b0a: DUP8
00000b0b: PUSH2 0x1dc6
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: PUSH2 0x0b2a
00000b13: SWAP1
00000b14: RETURNDATASIZE
00000b15: DUP1
00000b16: DUP15
00000b17: DUP4
00000b18: RETURNDATACOPY
00000b19: PUSH2 0x0b22
00000b1c: DUP2
00000b1d: DUP4
00000b1e: PUSH2 0x16cc
00000b21: JUMP
00000b22: JUMPDEST
00000b23: DUP2
00000b24: ADD
00000b25: SWAP1
00000b26: PUSH2 0x1d4a
00000b29: JUMP
00000b2a: JUMPDEST
00000b2b: POP
00000b2c: DUP12
00000b2d: PUSH2 0x0b02
00000b30: JUMP
00000b31: JUMPDEST
00000b32: DUP10
00000b33: MLOAD
00000b34: RETURNDATASIZE
00000b35: DUP13
00000b36: DUP3
00000b37: RETURNDATACOPY
00000b38: RETURNDATASIZE
00000b39: SWAP1
00000b3a: REVERT
00000b3b: JUMPDEST
00000b3c: DUP4
00000b3d: DUP3
00000b3e: CALLVALUE
00000b3f: PUSH2 0x0718
00000b42: JUMPI
00000b43: PUSH1 0x20
00000b45: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000b66: CALLDATASIZE
00000b67: ADD
00000b68: SLT
00000b69: PUSH2 0x0718
00000b6c: JUMPI
00000b6d: PUSH1 0x20
00000b6f: PUSH32 0xe9598c828ce137a2e3927f94810e904e0203a92c9ec7b11195e7d8e6de12f6ab
00000b90: SWAP2
00000b91: PUSH2 0x0b98
00000b94: PUSH2 0x1832
00000b97: JUMP
00000b98: JUMPDEST
00000b99: PUSH2 0x0ba0
00000b9c: PUSH2 0x1841
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: ISZERO
00000ba2: ISZERO
00000ba3: SWAP1
00000ba4: PUSH1 0x02
00000ba6: SLOAD
00000ba7: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff
00000bc8: PUSH22 0xff000000000000000000000000000000000000000000
00000bdf: DUP5
00000be0: PUSH1 0xa8
00000be2: SHL
00000be3: AND
00000be4: SWAP2
00000be5: AND
00000be6: OR
00000be7: PUSH1 0x02
00000be9: SSTORE
00000bea: MLOAD
00000beb: SWAP1
00000bec: DUP2
00000bed: MSTORE
00000bee: LOG1
00000bef: DUP1
00000bf0: RETURN
00000bf1: JUMPDEST
00000bf2: DUP4
00000bf3: DUP3
00000bf4: CALLVALUE
00000bf5: PUSH2 0x0718
00000bf8: JUMPI
00000bf9: DUP2
00000bfa: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c1b: CALLDATASIZE
00000c1c: ADD
00000c1d: SLT
00000c1e: PUSH2 0x0718
00000c21: JUMPI
00000c22: PUSH1 0x20
00000c24: SWAP1
00000c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3a: PUSH1 0x01
00000c3c: SLOAD
00000c3d: AND
00000c3e: SWAP1
00000c3f: MLOAD
00000c40: SWAP1
00000c41: DUP2
00000c42: MSTORE
00000c43: RETURN
00000c44: JUMPDEST
00000c45: DUP4
00000c46: CALLVALUE
00000c47: PUSH2 0x0323
00000c4a: JUMPI
00000c4b: DUP1
00000c4c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c6d: CALLDATASIZE
00000c6e: ADD
00000c6f: SLT
00000c70: PUSH2 0x0323
00000c73: JUMPI
00000c74: PUSH2 0x0c7b
00000c77: PUSH2 0x1841
00000c7a: JUMP
00000c7b: JUMPDEST
00000c7c: DUP1
00000c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c92: PUSH1 0x01
00000c94: SLOAD
00000c95: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000cb6: DUP2
00000cb7: AND
00000cb8: PUSH1 0x01
00000cba: SSTORE
00000cbb: AND
00000cbc: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000cdd: DUP3
00000cde: DUP1
00000cdf: LOG3
00000ce0: DUP1
00000ce1: RETURN
00000ce2: JUMPDEST
00000ce3: DUP4
00000ce4: DUP3
00000ce5: CALLVALUE
00000ce6: PUSH2 0x0718
00000ce9: JUMPI
00000cea: DUP2
00000ceb: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000d0c: CALLDATASIZE
00000d0d: ADD
00000d0e: SLT
00000d0f: PUSH2 0x0718
00000d12: JUMPI
00000d13: PUSH1 0x20
00000d15: SWAP1
00000d16: PUSH1 0xff
00000d18: PUSH1 0x02
00000d1a: SLOAD
00000d1b: PUSH1 0xa0
00000d1d: SHR
00000d1e: AND
00000d1f: SWAP1
00000d20: MLOAD
00000d21: SWAP1
00000d22: ISZERO
00000d23: ISZERO
00000d24: DUP2
00000d25: MSTORE
00000d26: RETURN
00000d27: JUMPDEST
00000d28: POP
00000d29: SWAP1
00000d2a: CALLVALUE
00000d2b: PUSH2 0x0326
00000d2e: JUMPI
00000d2f: PUSH1 0x60
00000d31: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000d52: CALLDATASIZE
00000d53: ADD
00000d54: SLT
00000d55: PUSH2 0x0326
00000d58: JUMPI
00000d59: PUSH2 0x0d60
00000d5c: PUSH2 0x15f8
00000d5f: JUMP
00000d60: JUMPDEST
00000d61: PUSH1 0x24
00000d63: DUP1
00000d64: CALLDATALOAD
00000d65: SWAP2
00000d66: DUP3
00000d67: ISZERO
00000d68: ISZERO
00000d69: DUP4
00000d6a: SUB
00000d6b: PUSH2 0x065f
00000d6e: JUMPI
00000d6f: PUSH1 0x44
00000d71: SWAP2
00000d72: DUP3
00000d73: CALLDATALOAD
00000d74: SWAP3
00000d75: PUSH1 0xff
00000d77: PUSH1 0x02
00000d79: SLOAD
00000d7a: PUSH1 0xa8
00000d7c: SHR
00000d7d: AND
00000d7e: ISZERO
00000d7f: PUSH2 0x1124
00000d82: JUMPI
00000d83: CALLER
00000d84: DUP9
00000d85: MSTORE
00000d86: PUSH1 0x20
00000d88: SWAP4
00000d89: DUP7
00000d8a: DUP6
00000d8b: MSTORE
00000d8c: PUSH2 0x0d9a
00000d8f: PUSH1 0xff
00000d91: DUP10
00000d92: DUP12
00000d93: KECCAK256
00000d94: SLOAD
00000d95: AND
00000d96: PUSH2 0x1925
00000d99: JUMP
00000d9a: JUMPDEST
00000d9b: PUSH2 0x0da2
00000d9e: PUSH2 0x198a
00000da1: JUMP
00000da2: JUMPDEST
00000da3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db8: DUP1
00000db9: SWAP5
00000dba: AND
00000dbb: SWAP7
00000dbc: DUP8
00000dbd: ISZERO
00000dbe: PUSH2 0x10ca
00000dc1: JUMPI
00000dc2: DUP5
00000dc3: PUSH1 0x03
00000dc5: SLOAD
00000dc6: AND
00000dc7: SWAP2
00000dc8: DUP3
00000dc9: ISZERO
00000dca: PUSH2 0x1049
00000dcd: JUMPI
00000dce: DUP10
00000dcf: MLOAD
00000dd0: SWAP8
00000dd1: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000df2: DUP10
00000df3: MSTORE
00000df4: ADDRESS
00000df5: DUP4
00000df6: DUP11
00000df7: ADD
00000df8: MSTORE
00000df9: DUP8
00000dfa: DUP10
00000dfb: DUP8
00000dfc: DUP2
00000dfd: DUP14
00000dfe: GAS
00000dff: STATICCALL
00000e00: SWAP9
00000e01: DUP10
00000e02: ISZERO
00000e03: PUSH2 0x103f
00000e06: JUMPI
00000e07: DUP13
00000e08: SWAP10
00000e09: PUSH2 0x100c
00000e0c: JUMPI
00000e0d: JUMPDEST
00000e0e: POP
00000e0f: ISZERO
00000e10: PUSH2 0x0f19
00000e13: JUMPI
00000e14: POP
00000e15: DUP7
00000e16: ISZERO
00000e17: PUSH2 0x0e99
00000e1a: JUMPI
00000e1b: POP
00000e1c: SWAP2
00000e1d: PUSH2 0x0e86
00000e20: SWAP2
00000e21: PUSH32 0x2017ff49f5dedb0169265520a1792549adf2bd026c9740cd9a8dc5f3f08252a8
00000e42: SWAP6
00000e43: SWAP5
00000e44: SWAP4
00000e45: JUMPDEST
00000e46: DUP10
00000e47: MLOAD
00000e48: SWAP3
00000e49: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00000e6a: DUP8
00000e6b: DUP6
00000e6c: ADD
00000e6d: MSTORE
00000e6e: DUP4
00000e6f: ADD
00000e70: MSTORE
00000e71: DUP7
00000e72: DUP2
00000e73: DUP4
00000e74: ADD
00000e75: MSTORE
00000e76: DUP2
00000e77: MSTORE
00000e78: PUSH2 0x0e80
00000e7b: DUP2
00000e7c: PUSH2 0x16b0
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: DUP7
00000e82: PUSH2 0x19f9
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x03
00000e89: SLOAD
00000e8a: AND
00000e8b: SWAP5
00000e8c: MLOAD
00000e8d: SWAP3
00000e8e: DUP4
00000e8f: MSTORE
00000e90: CALLER
00000e91: SWAP3
00000e92: LOG4
00000e93: PUSH1 0x01
00000e95: DUP2
00000e96: SSTORE
00000e97: DUP1
00000e98: RETURN
00000e99: JUMPDEST
00000e9a: PUSH1 0x84
00000e9c: SWAP1
00000e9d: PUSH32 0x4e6f20746f6b656e7320617661696c61626c6520666f72207769746864726177
00000ebe: DUP5
00000ebf: PUSH1 0x22
00000ec1: DUP8
00000ec2: DUP11
00000ec3: DUP15
00000ec4: MLOAD
00000ec5: SWAP6
00000ec6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ee7: DUP8
00000ee8: MSTORE
00000ee9: DUP7
00000eea: ADD
00000eeb: MSTORE
00000eec: DUP5
00000eed: ADD
00000eee: MSTORE
00000eef: DUP3
00000ef0: ADD
00000ef1: MSTORE
00000ef2: PUSH32 0x616c000000000000000000000000000000000000000000000000000000000000
00000f13: PUSH1 0x64
00000f15: DUP3
00000f16: ADD
00000f17: MSTORE
00000f18: REVERT
00000f19: JUMPDEST
00000f1a: SWAP2
00000f1b: SWAP7
00000f1c: DUP3
00000f1d: ISZERO
00000f1e: PUSH2 0x0fb1
00000f21: JUMPI
00000f22: DUP3
00000f23: GT
00000f24: PUSH2 0x0f57
00000f27: JUMPI
00000f28: POP
00000f29: SWAP2
00000f2a: PUSH2 0x0e86
00000f2d: SWAP2
00000f2e: PUSH32 0x2017ff49f5dedb0169265520a1792549adf2bd026c9740cd9a8dc5f3f08252a8
00000f4f: SWAP6
00000f50: SWAP5
00000f51: SWAP4
00000f52: SWAP7
00000f53: PUSH2 0x0e45
00000f56: JUMP
00000f57: JUMPDEST
00000f58: PUSH1 0x64
00000f5a: SWAP1
00000f5b: PUSH32 0x496e73756666696369656e7420746f6b656e2062616c616e6365000000000000
00000f7c: DUP5
00000f7d: PUSH1 0x1a
00000f7f: DUP8
00000f80: DUP11
00000f81: DUP15
00000f82: MLOAD
00000f83: SWAP6
00000f84: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fa5: DUP8
00000fa6: MSTORE
00000fa7: DUP7
00000fa8: ADD
00000fa9: MSTORE
00000faa: DUP5
00000fab: ADD
00000fac: MSTORE
00000fad: DUP3
00000fae: ADD
00000faf: MSTORE
00000fb0: REVERT
00000fb1: JUMPDEST
00000fb2: POP
00000fb3: PUSH1 0x64
00000fb5: SWAP1
00000fb6: PUSH32 0x416d6f756e74206d7573742062652067726561746572207468616e2030000000
00000fd7: DUP5
00000fd8: PUSH1 0x1d
00000fda: DUP8
00000fdb: DUP11
00000fdc: DUP15
00000fdd: MLOAD
00000fde: SWAP6
00000fdf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001000: DUP8
00001001: MSTORE
00001002: DUP7
00001003: ADD
00001004: MSTORE
00001005: DUP5
00001006: ADD
00001007: MSTORE
00001008: DUP3
00001009: ADD
0000100a: MSTORE
0000100b: REVERT
0000100c: JUMPDEST
0000100d: SWAP1
0000100e: SWAP9
0000100f: POP
00001010: DUP8
00001011: DUP2
00001012: DUP2
00001013: RETURNDATASIZE
00001014: DUP4
00001015: GT
00001016: PUSH2 0x1038
00001019: JUMPI
0000101a: JUMPDEST
0000101b: PUSH2 0x1024
0000101e: DUP2
0000101f: DUP4
00001020: PUSH2 0x16cc
00001023: JUMP
00001024: JUMPDEST
00001025: DUP2
00001026: ADD
00001027: SUB
00001028: SLT
00001029: PUSH2 0x1034
0000102c: JUMPI
0000102d: MLOAD
0000102e: SWAP8
0000102f: CODESIZE
00001030: PUSH2 0x0e0d
00001033: JUMP
00001034: JUMPDEST
00001035: DUP12
00001036: DUP1
00001037: REVERT
00001038: JUMPDEST
00001039: POP
0000103a: RETURNDATASIZE
0000103b: PUSH2 0x101a
0000103e: JUMP
0000103f: JUMPDEST
00001040: DUP12
00001041: MLOAD
00001042: RETURNDATASIZE
00001043: DUP15
00001044: DUP3
00001045: RETURNDATACOPY
00001046: RETURNDATASIZE
00001047: SWAP1
00001048: REVERT
00001049: JUMPDEST
0000104a: POP
0000104b: PUSH1 0x84
0000104d: SWAP1
0000104e: PUSH32 0x496e76616c6964207769746864726177526563697069656e7420616464726573
0000106f: DUP5
00001070: PUSH1 0x21
00001072: DUP8
00001073: DUP11
00001074: DUP15
00001075: MLOAD
00001076: SWAP6
00001077: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001098: DUP8
00001099: MSTORE
0000109a: DUP7
0000109b: ADD
0000109c: MSTORE
0000109d: DUP5
0000109e: ADD
0000109f: MSTORE
000010a0: DUP3
000010a1: ADD
000010a2: MSTORE
000010a3: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
000010c4: PUSH1 0x64
000010c6: DUP3
000010c7: ADD
000010c8: MSTORE
000010c9: REVERT
000010ca: JUMPDEST
000010cb: PUSH1 0x64
000010cd: SWAP1
000010ce: PUSH32 0x496e76616c696420746f6b656e20616464726573730000000000000000000000
000010ef: DUP5
000010f0: PUSH1 0x15
000010f2: DUP8
000010f3: DUP11
000010f4: DUP15
000010f5: MLOAD
000010f6: SWAP6
000010f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001118: DUP8
00001119: MSTORE
0000111a: DUP7
0000111b: ADD
0000111c: MSTORE
0000111d: DUP5
0000111e: ADD
0000111f: MSTORE
00001120: DUP3
00001121: ADD
00001122: MSTORE
00001123: REVERT
00001124: JUMPDEST
00001125: PUSH32 0x57697468647261772069732064697361626c6564000000000000000000000000
00001146: DUP7
00001147: SWAP2
00001148: PUSH1 0x14
0000114a: PUSH1 0x64
0000114c: SWAP5
0000114d: PUSH1 0x20
0000114f: DUP12
00001150: MLOAD
00001151: SWAP6
00001152: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001173: DUP8
00001174: MSTORE
00001175: DUP7
00001176: ADD
00001177: MSTORE
00001178: DUP5
00001179: ADD
0000117a: MSTORE
0000117b: DUP3
0000117c: ADD
0000117d: MSTORE
0000117e: REVERT
0000117f: JUMPDEST
00001180: POP
00001181: SWAP1
00001182: CALLVALUE
00001183: PUSH2 0x0326
00001186: JUMPI
00001187: PUSH1 0x20
00001189: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000011aa: CALLDATASIZE
000011ab: ADD
000011ac: SLT
000011ad: PUSH2 0x0326
000011b0: JUMPI
000011b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c6: PUSH2 0x11cd
000011c9: PUSH2 0x15f8
000011cc: JUMP
000011cd: JUMPDEST
000011ce: PUSH2 0x11d5
000011d1: PUSH2 0x1841
000011d4: JUMP
000011d5: JUMPDEST
000011d6: AND
000011d7: SWAP2
000011d8: DUP3
000011d9: ISZERO
000011da: PUSH2 0x120b
000011dd: JUMPI
000011de: POP
000011df: POP
000011e0: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001201: PUSH1 0x02
00001203: SLOAD
00001204: AND
00001205: OR
00001206: PUSH1 0x02
00001208: SSTORE
00001209: DUP1
0000120a: RETURN
0000120b: JUMPDEST
0000120c: SWAP1
0000120d: PUSH1 0x20
0000120f: PUSH1 0x64
00001211: SWAP3
00001212: MLOAD
00001213: SWAP2
00001214: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001235: DUP4
00001236: MSTORE
00001237: DUP3
00001238: ADD
00001239: MSTORE
0000123a: PUSH1 0x18
0000123c: PUSH1 0x24
0000123e: DUP3
0000123f: ADD
00001240: MSTORE
00001241: PUSH32 0x496e76616c696420766572696669657220616464726573730000000000000000
00001262: PUSH1 0x44
00001264: DUP3
00001265: ADD
00001266: MSTORE
00001267: REVERT
00001268: JUMPDEST
00001269: POP
0000126a: CALLVALUE
0000126b: PUSH2 0x0326
0000126e: JUMPI
0000126f: DUP3
00001270: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001291: CALLDATASIZE
00001292: ADD
00001293: SLT
00001294: PUSH2 0x0326
00001297: JUMPI
00001298: PUSH2 0x129f
0000129b: PUSH2 0x1841
0000129e: JUMP
0000129f: JUMPDEST
000012a0: PUSH2 0x12a7
000012a3: PUSH2 0x198a
000012a6: JUMP
000012a7: JUMPDEST
000012a8: SELFBALANCE
000012a9: SWAP2
000012aa: DUP3
000012ab: ISZERO
000012ac: PUSH2 0x12f9
000012af: JUMPI
000012b0: POP
000012b1: DUP3
000012b2: DUP1
000012b3: DUP1
000012b4: DUP1
000012b5: DUP6
000012b6: CALLER
000012b7: DUP3
000012b8: CALL
000012b9: ISZERO
000012ba: PUSH2 0x12ee
000012bd: JUMPI
000012be: MLOAD
000012bf: SWAP1
000012c0: DUP2
000012c1: MSTORE
000012c2: PUSH32 0xc0819c13be868895eb93e40eaceb96de976442fa1d404e5c55f14bb65a8c489a
000012e3: PUSH1 0x20
000012e5: CALLER
000012e6: SWAP3
000012e7: LOG2
000012e8: PUSH1 0x01
000012ea: DUP2
000012eb: SSTORE
000012ec: DUP1
000012ed: RETURN
000012ee: JUMPDEST
000012ef: MLOAD
000012f0: SWAP2
000012f1: RETURNDATASIZE
000012f2: SWAP2
000012f3: POP
000012f4: DUP3
000012f5: RETURNDATACOPY
000012f6: RETURNDATASIZE
000012f7: SWAP1
000012f8: REVERT
000012f9: JUMPDEST
000012fa: PUSH1 0x20
000012fc: PUSH1 0x64
000012fe: SWAP3
000012ff: MLOAD
00001300: SWAP2
00001301: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001322: DUP4
00001323: MSTORE
00001324: DUP3
00001325: ADD
00001326: MSTORE
00001327: PUSH1 0x1d
00001329: PUSH1 0x24
0000132b: DUP3
0000132c: ADD
0000132d: MSTORE
0000132e: PUSH32 0x4e6f206665657320617661696c61626c6520746f207769746864726177000000
0000134f: PUSH1 0x44
00001351: DUP3
00001352: ADD
00001353: MSTORE
00001354: REVERT
00001355: JUMPDEST
00001356: DUP3
00001357: DUP2
00001358: DUP6
00001359: CALLVALUE
0000135a: PUSH2 0x0718
0000135d: JUMPI
0000135e: DUP3
0000135f: SWAP2
00001360: DUP3
00001361: SWAP2
00001362: PUSH2 0x136a
00001365: CALLDATASIZE
00001366: PUSH2 0x178e
00001369: JUMP
0000136a: JUMPDEST
0000136b: SWAP6
0000136c: DUP2
0000136d: DUP4
0000136e: DUP6
0000136f: DUP4
00001370: SWAP14
00001371: DUP10
00001372: SWAP13
00001373: SWAP6
00001374: SWAP12
00001375: DUP10
00001376: SWAP15
00001377: SWAP9
00001378: SWAP11
00001379: SWAP8
0000137a: SWAP12
0000137b: PUSH2 0x1382
0000137e: PUSH2 0x198a
00001381: JUMP
00001382: JUMPDEST
00001383: PUSH1 0x02
00001385: SLOAD
00001386: SWAP3
00001387: DUP4
00001388: PUSH1 0xa0
0000138a: SHR
0000138b: PUSH1 0xff
0000138d: AND
0000138e: PUSH2 0x1396
00001391: SWAP1
00001392: PUSH2 0x1c80
00001395: JUMP
00001396: JUMPDEST
00001397: DUP7
00001398: TIMESTAMP
00001399: GT
0000139a: ISZERO
0000139b: PUSH2 0x13a3
0000139e: SWAP1
0000139f: PUSH2 0x1ce5
000013a2: JUMP
000013a3: JUMPDEST
000013a4: MLOAD
000013a5: CALLER
000013a6: PUSH1 0x60
000013a8: SWAP1
000013a9: DUP2
000013aa: SHL
000013ab: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
000013cc: SWAP1
000013cd: DUP2
000013ce: AND
000013cf: PUSH1 0x20
000013d1: DUP5
000013d2: ADD
000013d3: SWAP1
000013d4: DUP2
000013d5: MSTORE
000013d6: PUSH1 0x34
000013d8: DUP5
000013d9: ADD
000013da: DUP11
000013db: SWAP1
000013dc: MSTORE
000013dd: ADDRESS
000013de: SWAP1
000013df: SWAP3
000013e0: SHL
000013e1: AND
000013e2: PUSH1 0x54
000013e4: DUP4
000013e5: ADD
000013e6: MSTORE
000013e7: PUSH1 0x48
000013e9: DUP3
000013ea: MSTORE
000013eb: SWAP1
000013ec: PUSH2 0x13f6
000013ef: PUSH1 0x68
000013f1: DUP3
000013f2: PUSH2 0x16cc
000013f5: JUMP
000013f6: JUMPDEST
000013f7: MLOAD
000013f8: SWAP1
000013f9: KECCAK256
000013fa: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
0000141b: DUP12
0000141c: MSTORE
0000141d: PUSH1 0x1c
0000141f: MSTORE
00001420: PUSH1 0x3c
00001422: DUP11
00001423: KECCAK256
00001424: SWAP1
00001425: PUSH2 0x142d
00001428: SWAP2
00001429: PUSH2 0x1fee
0000142c: JUMP
0000142d: JUMPDEST
0000142e: PUSH2 0x1436
00001431: SWAP1
00001432: PUSH2 0x1e55
00001435: JUMP
00001436: JUMPDEST
00001437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000144c: DUP1
0000144d: DUP1
0000144e: SWAP5
0000144f: AND
00001450: SWAP2
00001451: AND
00001452: EQ
00001453: PUSH2 0x145b
00001456: SWAP1
00001457: PUSH2 0x1925
0000145a: JUMP
0000145b: JUMPDEST
0000145c: PUSH2 0x1469
0000145f: DUP6
00001460: DUP6
00001461: DUP6
00001462: DUP14
00001463: DUP11
00001464: DUP7
00001465: PUSH2 0x20e3
00001468: JUMP
00001469: JUMPDEST
0000146a: AND
0000146b: SWAP15
0000146c: MLOAD
0000146d: SWAP8
0000146e: DUP9
0000146f: SWAP7
00001470: DUP8
00001471: SWAP7
00001472: PUSH32 0x38ed173900000000000000000000000000000000000000000000000000000000
00001493: DUP9
00001494: MSTORE
00001495: DUP8
00001496: ADD
00001497: SWAP6
00001498: PUSH2 0x0ac5
0000149b: SWAP7
0000149c: PUSH2 0x1dc6
0000149f: JUMP
000014a0: JUMPDEST
000014a1: DUP4
000014a2: DUP3
000014a3: CALLVALUE
000014a4: PUSH2 0x0718
000014a7: JUMPI
000014a8: DUP2
000014a9: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000014ca: CALLDATASIZE
000014cb: ADD
000014cc: SLT
000014cd: PUSH2 0x0718
000014d0: JUMPI
000014d1: PUSH1 0x20
000014d3: SWAP1
000014d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e9: PUSH1 0x02
000014eb: SLOAD
000014ec: AND
000014ed: SWAP1
000014ee: MLOAD
000014ef: SWAP1
000014f0: DUP2
000014f1: MSTORE
000014f2: RETURN
000014f3: JUMPDEST
000014f4: DUP4
000014f5: DUP3
000014f6: CALLVALUE
000014f7: PUSH2 0x0718
000014fa: JUMPI
000014fb: DUP2
000014fc: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000151d: CALLDATASIZE
0000151e: ADD
0000151f: SLT
00001520: PUSH2 0x0718
00001523: JUMPI
00001524: PUSH1 0x20
00001526: SWAP1
00001527: PUSH1 0xff
00001529: PUSH1 0x02
0000152b: SLOAD
0000152c: PUSH1 0xa8
0000152e: SHR
0000152f: AND
00001530: SWAP1
00001531: MLOAD
00001532: SWAP1
00001533: ISZERO
00001534: ISZERO
00001535: DUP2
00001536: MSTORE
00001537: RETURN
00001538: JUMPDEST
00001539: POP
0000153a: CALLVALUE
0000153b: PUSH2 0x0326
0000153e: JUMPI
0000153f: PUSH1 0x20
00001541: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001562: CALLDATASIZE
00001563: ADD
00001564: SLT
00001565: PUSH2 0x0326
00001568: JUMPI
00001569: PUSH1 0x20
0000156b: PUSH32 0xf93f9a76c1bf3444d22400a00cb9fe990e6abe9dbb333fda48859cfee864543d
0000158c: SWAP2
0000158d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a2: PUSH2 0x15a9
000015a5: PUSH2 0x15f8
000015a8: JUMP
000015a9: JUMPDEST
000015aa: PUSH2 0x15b1
000015ad: PUSH2 0x1841
000015b0: JUMP
000015b1: JUMPDEST
000015b2: AND
000015b3: SWAP4
000015b4: PUSH2 0x15be
000015b7: DUP6
000015b8: ISZERO
000015b9: ISZERO
000015ba: PUSH2 0x18c0
000015bd: JUMP
000015be: JUMPDEST
000015bf: DUP5
000015c0: DUP7
000015c1: MSTORE
000015c2: DUP3
000015c3: MSTORE
000015c4: DUP1
000015c5: DUP6
000015c6: KECCAK256
000015c7: PUSH1 0x01
000015c9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000015ea: DUP3
000015eb: SLOAD
000015ec: AND
000015ed: OR
000015ee: SWAP1
000015ef: SSTORE
000015f0: MLOAD
000015f1: PUSH1 0x01
000015f3: DUP2
000015f4: MSTORE
000015f5: LOG2
000015f6: DUP1
000015f7: RETURN
000015f8: JUMPDEST
000015f9: PUSH1 0x04
000015fb: CALLDATALOAD
000015fc: SWAP1
000015fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001612: DUP3
00001613: AND
00001614: DUP3
00001615: SUB
00001616: PUSH2 0x161b
00001619: JUMPI
0000161a: JUMP
0000161b: JUMPDEST
0000161c: PUSH1 0x00
0000161e: DUP1
0000161f: REVERT
00001620: JUMPDEST
00001621: SWAP2
00001622: DUP2
00001623: PUSH1 0x1f
00001625: DUP5
00001626: ADD
00001627: SLT
00001628: ISZERO
00001629: PUSH2 0x161b
0000162c: JUMPI
0000162d: DUP3
0000162e: CALLDATALOAD
0000162f: SWAP2
00001630: PUSH8 0xffffffffffffffff
00001639: DUP4
0000163a: GT
0000163b: PUSH2 0x161b
0000163e: JUMPI
0000163f: PUSH1 0x20
00001641: DUP1
00001642: DUP6
00001643: ADD
00001644: SWAP5
00001645: DUP5
00001646: PUSH1 0x05
00001648: SHL
00001649: ADD
0000164a: ADD
0000164b: GT
0000164c: PUSH2 0x161b
0000164f: JUMPI
00001650: JUMP
00001651: JUMPDEST
00001652: PUSH8 0xffffffffffffffff
0000165b: DUP2
0000165c: GT
0000165d: PUSH2 0x1665
00001660: JUMPI
00001661: PUSH1 0x40
00001663: MSTORE
00001664: JUMP
00001665: JUMPDEST
00001666: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001687: PUSH1 0x00
00001689: MSTORE
0000168a: PUSH1 0x41
0000168c: PUSH1 0x04
0000168e: MSTORE
0000168f: PUSH1 0x24
00001691: PUSH1 0x00
00001693: REVERT
00001694: JUMPDEST
00001695: PUSH1 0x40
00001697: DUP2
00001698: ADD
00001699: SWAP1
0000169a: DUP2
0000169b: LT
0000169c: PUSH8 0xffffffffffffffff
000016a5: DUP3
000016a6: GT
000016a7: OR
000016a8: PUSH2 0x1665
000016ab: JUMPI
000016ac: PUSH1 0x40
000016ae: MSTORE
000016af: JUMP
000016b0: JUMPDEST
000016b1: PUSH1 0x80
000016b3: DUP2
000016b4: ADD
000016b5: SWAP1
000016b6: DUP2
000016b7: LT
000016b8: PUSH8 0xffffffffffffffff
000016c1: DUP3
000016c2: GT
000016c3: OR
000016c4: PUSH2 0x1665
000016c7: JUMPI
000016c8: PUSH1 0x40
000016ca: MSTORE
000016cb: JUMP
000016cc: JUMPDEST
000016cd: SWAP1
000016ce: PUSH1 0x1f
000016d0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000016f1: SWAP2
000016f2: ADD
000016f3: AND
000016f4: DUP2
000016f5: ADD
000016f6: SWAP1
000016f7: DUP2
000016f8: LT
000016f9: PUSH8 0xffffffffffffffff
00001702: DUP3
00001703: GT
00001704: OR
00001705: PUSH2 0x1665
00001708: JUMPI
00001709: PUSH1 0x40
0000170b: MSTORE
0000170c: JUMP
0000170d: JUMPDEST
0000170e: PUSH8 0xffffffffffffffff
00001717: DUP2
00001718: GT
00001719: PUSH2 0x1665
0000171c: JUMPI
0000171d: PUSH1 0x1f
0000171f: ADD
00001720: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001741: AND
00001742: PUSH1 0x20
00001744: ADD
00001745: SWAP1
00001746: JUMP
00001747: JUMPDEST
00001748: DUP2
00001749: PUSH1 0x1f
0000174b: DUP3
0000174c: ADD
0000174d: SLT
0000174e: ISZERO
0000174f: PUSH2 0x161b
00001752: JUMPI
00001753: DUP1
00001754: CALLDATALOAD
00001755: SWAP1
00001756: PUSH2 0x175e
00001759: DUP3
0000175a: PUSH2 0x170d
0000175d: JUMP
0000175e: JUMPDEST
0000175f: SWAP3
00001760: PUSH2 0x176c
00001763: PUSH1 0x40
00001765: MLOAD
00001766: SWAP5
00001767: DUP6
00001768: PUSH2 0x16cc
0000176b: JUMP
0000176c: JUMPDEST
0000176d: DUP3
0000176e: DUP5
0000176f: MSTORE
00001770: PUSH1 0x20
00001772: DUP4
00001773: DUP4
00001774: ADD
00001775: ADD
00001776: GT
00001777: PUSH2 0x161b
0000177a: JUMPI
0000177b: DUP2
0000177c: PUSH1 0x00
0000177e: SWAP3
0000177f: PUSH1 0x20
00001781: DUP1
00001782: SWAP4
00001783: ADD
00001784: DUP4
00001785: DUP7
00001786: ADD
00001787: CALLDATACOPY
00001788: DUP4
00001789: ADD
0000178a: ADD
0000178b: MSTORE
0000178c: SWAP1
0000178d: JUMP
0000178e: JUMPDEST
0000178f: PUSH1 0xe0
00001791: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000017b2: DUP3
000017b3: ADD
000017b4: SLT
000017b5: PUSH2 0x161b
000017b8: JUMPI
000017b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ce: SWAP1
000017cf: PUSH1 0x04
000017d1: CALLDATALOAD
000017d2: DUP3
000017d3: DUP2
000017d4: AND
000017d5: DUP2
000017d6: SUB
000017d7: PUSH2 0x161b
000017da: JUMPI
000017db: SWAP3
000017dc: PUSH1 0x24
000017de: CALLDATALOAD
000017df: SWAP3
000017e0: PUSH1 0x44
000017e2: CALLDATALOAD
000017e3: SWAP3
000017e4: PUSH8 0xffffffffffffffff
000017ed: SWAP1
000017ee: PUSH1 0x64
000017f0: CALLDATALOAD
000017f1: DUP3
000017f2: DUP2
000017f3: GT
000017f4: PUSH2 0x161b
000017f7: JUMPI
000017f8: DUP2
000017f9: PUSH2 0x1804
000017fc: SWAP2
000017fd: PUSH1 0x04
000017ff: ADD
00001800: PUSH2 0x1620
00001803: JUMP
00001804: JUMPDEST
00001805: SWAP5
00001806: SWAP1
00001807: SWAP5
00001808: SWAP4
00001809: PUSH1 0x84
0000180b: CALLDATALOAD
0000180c: SWAP1
0000180d: DUP2
0000180e: AND
0000180f: DUP2
00001810: SUB
00001811: PUSH2 0x161b
00001814: JUMPI
00001815: SWAP3
00001816: PUSH1 0xa4
00001818: CALLDATALOAD
00001819: SWAP3
0000181a: PUSH1 0xc4
0000181c: CALLDATALOAD
0000181d: SWAP2
0000181e: DUP3
0000181f: GT
00001820: PUSH2 0x161b
00001823: JUMPI
00001824: PUSH2 0x182f
00001827: SWAP2
00001828: PUSH1 0x04
0000182a: ADD
0000182b: PUSH2 0x1747
0000182e: JUMP
0000182f: JUMPDEST
00001830: SWAP1
00001831: JUMP
00001832: JUMPDEST
00001833: PUSH1 0x04
00001835: CALLDATALOAD
00001836: SWAP1
00001837: DUP2
00001838: ISZERO
00001839: ISZERO
0000183a: DUP3
0000183b: SUB
0000183c: PUSH2 0x161b
0000183f: JUMPI
00001840: JUMP
00001841: JUMPDEST
00001842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001857: PUSH1 0x01
00001859: SLOAD
0000185a: AND
0000185b: CALLER
0000185c: SUB
0000185d: PUSH2 0x1862
00001860: JUMPI
00001861: JUMP
00001862: JUMPDEST
00001863: PUSH1 0x64
00001865: PUSH1 0x40
00001867: MLOAD
00001868: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001889: DUP2
0000188a: MSTORE
0000188b: PUSH1 0x20
0000188d: PUSH1 0x04
0000188f: DUP3
00001890: ADD
00001891: MSTORE
00001892: PUSH1 0x20
00001894: PUSH1 0x24
00001896: DUP3
00001897: ADD
00001898: MSTORE
00001899: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000018ba: PUSH1 0x44
000018bc: DUP3
000018bd: ADD
000018be: MSTORE
000018bf: REVERT
000018c0: JUMPDEST
000018c1: ISZERO
000018c2: PUSH2 0x18c7
000018c5: JUMPI
000018c6: JUMP
000018c7: JUMPDEST
000018c8: PUSH1 0x64
000018ca: PUSH1 0x40
000018cc: MLOAD
000018cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018ee: DUP2
000018ef: MSTORE
000018f0: PUSH1 0x20
000018f2: PUSH1 0x04
000018f4: DUP3
000018f5: ADD
000018f6: MSTORE
000018f7: PUSH1 0x0f
000018f9: PUSH1 0x24
000018fb: DUP3
000018fc: ADD
000018fd: MSTORE
000018fe: PUSH32 0x496e76616c696420616464726573730000000000000000000000000000000000
0000191f: PUSH1 0x44
00001921: DUP3
00001922: ADD
00001923: MSTORE
00001924: REVERT
00001925: JUMPDEST
00001926: ISZERO
00001927: PUSH2 0x192c
0000192a: JUMPI
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH1 0x64
0000192f: PUSH1 0x40
00001931: MLOAD
00001932: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001953: DUP2
00001954: MSTORE
00001955: PUSH1 0x20
00001957: PUSH1 0x04
00001959: DUP3
0000195a: ADD
0000195b: MSTORE
0000195c: PUSH1 0x0f
0000195e: PUSH1 0x24
00001960: DUP3
00001961: ADD
00001962: MSTORE
00001963: PUSH32 0x4e6f742077686974656c69737465640000000000000000000000000000000000
00001984: PUSH1 0x44
00001986: DUP3
00001987: ADD
00001988: MSTORE
00001989: REVERT
0000198a: JUMPDEST
0000198b: PUSH1 0x02
0000198d: PUSH1 0x00
0000198f: SLOAD
00001990: EQ
00001991: PUSH2 0x199b
00001994: JUMPI
00001995: PUSH1 0x02
00001997: PUSH1 0x00
00001999: SSTORE
0000199a: JUMP
0000199b: JUMPDEST
0000199c: PUSH1 0x64
0000199e: PUSH1 0x40
000019a0: MLOAD
000019a1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019c2: DUP2
000019c3: MSTORE
000019c4: PUSH1 0x20
000019c6: PUSH1 0x04
000019c8: DUP3
000019c9: ADD
000019ca: MSTORE
000019cb: PUSH1 0x1f
000019cd: PUSH1 0x24
000019cf: DUP3
000019d0: ADD
000019d1: MSTORE
000019d2: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000019f3: PUSH1 0x44
000019f5: DUP3
000019f6: ADD
000019f7: MSTORE
000019f8: REVERT
000019f9: JUMPDEST
000019fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0f: AND
00001a10: SWAP1
00001a11: PUSH2 0x1a84
00001a14: PUSH1 0x40
00001a16: MLOAD
00001a17: PUSH2 0x1a1f
00001a1a: DUP2
00001a1b: PUSH2 0x1694
00001a1e: JUMP
00001a1f: JUMPDEST
00001a20: PUSH1 0x20
00001a22: SWAP4
00001a23: DUP5
00001a24: DUP3
00001a25: MSTORE
00001a26: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001a47: DUP6
00001a48: DUP4
00001a49: ADD
00001a4a: MSTORE
00001a4b: PUSH1 0x00
00001a4d: DUP1
00001a4e: DUP6
00001a4f: DUP8
00001a50: DUP3
00001a51: SWAP8
00001a52: MLOAD
00001a53: SWAP2
00001a54: ADD
00001a55: DUP3
00001a56: DUP6
00001a57: GAS
00001a58: CALL
00001a59: RETURNDATASIZE
00001a5a: ISZERO
00001a5b: PUSH2 0x1b47
00001a5e: JUMPI
00001a5f: RETURNDATASIZE
00001a60: SWAP2
00001a61: PUSH2 0x1a69
00001a64: DUP4
00001a65: PUSH2 0x170d
00001a68: JUMP
00001a69: JUMPDEST
00001a6a: SWAP3
00001a6b: PUSH2 0x1a77
00001a6e: PUSH1 0x40
00001a70: MLOAD
00001a71: SWAP5
00001a72: DUP6
00001a73: PUSH2 0x16cc
00001a76: JUMP
00001a77: JUMPDEST
00001a78: DUP4
00001a79: MSTORE
00001a7a: RETURNDATASIZE
00001a7b: DUP7
00001a7c: DUP9
00001a7d: DUP6
00001a7e: ADD
00001a7f: RETURNDATACOPY
00001a80: PUSH2 0x1b4b
00001a83: JUMP
00001a84: JUMPDEST
00001a85: DUP1
00001a86: MLOAD
00001a87: SWAP2
00001a88: DUP3
00001a89: ISZERO
00001a8a: SWAP2
00001a8b: DUP5
00001a8c: DUP4
00001a8d: ISZERO
00001a8e: PUSH2 0x1b23
00001a91: JUMPI
00001a92: JUMPDEST
00001a93: POP
00001a94: POP
00001a95: POP
00001a96: SWAP1
00001a97: POP
00001a98: ISZERO
00001a99: PUSH2 0x1a9f
00001a9c: JUMPI
00001a9d: POP
00001a9e: JUMP
00001a9f: JUMPDEST
00001aa0: PUSH1 0x84
00001aa2: SWAP1
00001aa3: PUSH1 0x40
00001aa5: MLOAD
00001aa6: SWAP1
00001aa7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ac8: DUP3
00001ac9: MSTORE
00001aca: PUSH1 0x04
00001acc: DUP3
00001acd: ADD
00001ace: MSTORE
00001acf: PUSH1 0x2a
00001ad1: PUSH1 0x24
00001ad3: DUP3
00001ad4: ADD
00001ad5: MSTORE
00001ad6: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001af7: PUSH1 0x44
00001af9: DUP3
00001afa: ADD
00001afb: MSTORE
00001afc: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00001b1d: PUSH1 0x64
00001b1f: DUP3
00001b20: ADD
00001b21: MSTORE
00001b22: REVERT
00001b23: JUMPDEST
00001b24: SWAP2
00001b25: SWAP4
00001b26: DUP2
00001b27: DUP1
00001b28: SWAP5
00001b29: POP
00001b2a: ADD
00001b2b: SUB
00001b2c: SLT
00001b2d: PUSH2 0x0718
00001b30: JUMPI
00001b31: DUP3
00001b32: ADD
00001b33: MLOAD
00001b34: SWAP1
00001b35: DUP2
00001b36: ISZERO
00001b37: ISZERO
00001b38: DUP3
00001b39: SUB
00001b3a: PUSH2 0x0323
00001b3d: JUMPI
00001b3e: POP
00001b3f: DUP1
00001b40: CODESIZE
00001b41: DUP1
00001b42: DUP5
00001b43: PUSH2 0x1a92
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH1 0x60
00001b4a: SWAP2
00001b4b: JUMPDEST
00001b4c: SWAP2
00001b4d: SWAP3
00001b4e: SWAP1
00001b4f: ISZERO
00001b50: PUSH2 0x1bc6
00001b53: JUMPI
00001b54: POP
00001b55: DUP2
00001b56: MLOAD
00001b57: ISZERO
00001b58: PUSH2 0x1b5f
00001b5b: JUMPI
00001b5c: POP
00001b5d: SWAP1
00001b5e: JUMP
00001b5f: JUMPDEST
00001b60: EXTCODESIZE
00001b61: ISZERO
00001b62: PUSH2 0x1b68
00001b65: JUMPI
00001b66: SWAP1
00001b67: JUMP
00001b68: JUMPDEST
00001b69: PUSH1 0x64
00001b6b: PUSH1 0x40
00001b6d: MLOAD
00001b6e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b8f: DUP2
00001b90: MSTORE
00001b91: PUSH1 0x20
00001b93: PUSH1 0x04
00001b95: DUP3
00001b96: ADD
00001b97: MSTORE
00001b98: PUSH1 0x1d
00001b9a: PUSH1 0x24
00001b9c: DUP3
00001b9d: ADD
00001b9e: MSTORE
00001b9f: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001bc0: PUSH1 0x44
00001bc2: DUP3
00001bc3: ADD
00001bc4: MSTORE
00001bc5: REVERT
00001bc6: JUMPDEST
00001bc7: DUP3
00001bc8: MLOAD
00001bc9: SWAP1
00001bca: SWAP2
00001bcb: POP
00001bcc: ISZERO
00001bcd: PUSH2 0x1bd9
00001bd0: JUMPI
00001bd1: POP
00001bd2: DUP1
00001bd3: MLOAD
00001bd4: SWAP1
00001bd5: PUSH1 0x20
00001bd7: ADD
00001bd8: REVERT
00001bd9: JUMPDEST
00001bda: PUSH2 0x1c0f
00001bdd: SWAP1
00001bde: PUSH1 0x40
00001be0: MLOAD
00001be1: SWAP2
00001be2: DUP3
00001be3: SWAP2
00001be4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c05: DUP4
00001c06: MSTORE
00001c07: PUSH1 0x04
00001c09: DUP4
00001c0a: ADD
00001c0b: PUSH2 0x1c36
00001c0e: JUMP
00001c0f: JUMPDEST
00001c10: SUB
00001c11: SWAP1
00001c12: REVERT
00001c13: JUMPDEST
00001c14: PUSH1 0x00
00001c16: JUMPDEST
00001c17: DUP4
00001c18: DUP2
00001c19: LT
00001c1a: PUSH2 0x1c26
00001c1d: JUMPI
00001c1e: POP
00001c1f: POP
00001c20: PUSH1 0x00
00001c22: SWAP2
00001c23: ADD
00001c24: MSTORE
00001c25: JUMP
00001c26: JUMPDEST
00001c27: DUP2
00001c28: DUP2
00001c29: ADD
00001c2a: MLOAD
00001c2b: DUP4
00001c2c: DUP3
00001c2d: ADD
00001c2e: MSTORE
00001c2f: PUSH1 0x20
00001c31: ADD
00001c32: PUSH2 0x1c16
00001c35: JUMP
00001c36: JUMPDEST
00001c37: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001c58: PUSH1 0x1f
00001c5a: PUSH1 0x40
00001c5c: SWAP4
00001c5d: PUSH1 0x20
00001c5f: DUP5
00001c60: MSTORE
00001c61: PUSH2 0x1c79
00001c64: DUP2
00001c65: MLOAD
00001c66: DUP1
00001c67: SWAP3
00001c68: DUP2
00001c69: PUSH1 0x20
00001c6b: DUP9
00001c6c: ADD
00001c6d: MSTORE
00001c6e: PUSH1 0x20
00001c70: DUP9
00001c71: DUP9
00001c72: ADD
00001c73: SWAP2
00001c74: ADD
00001c75: PUSH2 0x1c13
00001c78: JUMP
00001c79: JUMPDEST
00001c7a: ADD
00001c7b: AND
00001c7c: ADD
00001c7d: ADD
00001c7e: SWAP1
00001c7f: JUMP
00001c80: JUMPDEST
00001c81: ISZERO
00001c82: PUSH2 0x1c87
00001c85: JUMPI
00001c86: JUMP
00001c87: JUMPDEST
00001c88: PUSH1 0x64
00001c8a: PUSH1 0x40
00001c8c: MLOAD
00001c8d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cae: DUP2
00001caf: MSTORE
00001cb0: PUSH1 0x20
00001cb2: PUSH1 0x04
00001cb4: DUP3
00001cb5: ADD
00001cb6: MSTORE
00001cb7: PUSH1 0x10
00001cb9: PUSH1 0x24
00001cbb: DUP3
00001cbc: ADD
00001cbd: MSTORE
00001cbe: PUSH32 0x537761702069732064697361626c656400000000000000000000000000000000
00001cdf: PUSH1 0x44
00001ce1: DUP3
00001ce2: ADD
00001ce3: MSTORE
00001ce4: REVERT
00001ce5: JUMPDEST
00001ce6: ISZERO
00001ce7: PUSH2 0x1cec
00001cea: JUMPI
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: PUSH1 0x64
00001cef: PUSH1 0x40
00001cf1: MLOAD
00001cf2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d13: DUP2
00001d14: MSTORE
00001d15: PUSH1 0x20
00001d17: PUSH1 0x04
00001d19: DUP3
00001d1a: ADD
00001d1b: MSTORE
00001d1c: PUSH1 0x13
00001d1e: PUSH1 0x24
00001d20: DUP3
00001d21: ADD
00001d22: MSTORE
00001d23: PUSH32 0x5472616e73616374696f6e206578706972656400000000000000000000000000
00001d44: PUSH1 0x44
00001d46: DUP3
00001d47: ADD
00001d48: MSTORE
00001d49: REVERT
00001d4a: JUMPDEST
00001d4b: SWAP1
00001d4c: PUSH1 0x20
00001d4e: SWAP1
00001d4f: DUP2
00001d50: DUP4
00001d51: DUP3
00001d52: SUB
00001d53: SLT
00001d54: PUSH2 0x161b
00001d57: JUMPI
00001d58: DUP3
00001d59: MLOAD
00001d5a: PUSH8 0xffffffffffffffff
00001d63: SWAP4
00001d64: DUP5
00001d65: DUP3
00001d66: GT
00001d67: PUSH2 0x161b
00001d6a: JUMPI
00001d6b: ADD
00001d6c: DUP2
00001d6d: PUSH1 0x1f
00001d6f: DUP3
00001d70: ADD
00001d71: SLT
00001d72: ISZERO
00001d73: PUSH2 0x161b
00001d76: JUMPI
00001d77: DUP1
00001d78: MLOAD
00001d79: SWAP4
00001d7a: DUP5
00001d7b: GT
00001d7c: PUSH2 0x1665
00001d7f: JUMPI
00001d80: DUP4
00001d81: PUSH1 0x05
00001d83: SHL
00001d84: SWAP1
00001d85: PUSH1 0x40
00001d87: MLOAD
00001d88: SWAP5
00001d89: PUSH2 0x1d94
00001d8c: DUP6
00001d8d: DUP5
00001d8e: ADD
00001d8f: DUP8
00001d90: PUSH2 0x16cc
00001d93: JUMP
00001d94: JUMPDEST
00001d95: DUP6
00001d96: MSTORE
00001d97: DUP4
00001d98: DUP1
00001d99: DUP7
00001d9a: ADD
00001d9b: SWAP3
00001d9c: DUP3
00001d9d: ADD
00001d9e: ADD
00001d9f: SWAP3
00001da0: DUP4
00001da1: GT
00001da2: PUSH2 0x161b
00001da5: JUMPI
00001da6: DUP4
00001da7: ADD
00001da8: SWAP1
00001da9: JUMPDEST
00001daa: DUP3
00001dab: DUP3
00001dac: LT
00001dad: PUSH2 0x1db7
00001db0: JUMPI
00001db1: POP
00001db2: POP
00001db3: POP
00001db4: POP
00001db5: SWAP1
00001db6: JUMP
00001db7: JUMPDEST
00001db8: DUP2
00001db9: MLOAD
00001dba: DUP2
00001dbb: MSTORE
00001dbc: SWAP1
00001dbd: DUP4
00001dbe: ADD
00001dbf: SWAP1
00001dc0: DUP4
00001dc1: ADD
00001dc2: PUSH2 0x1da9
00001dc5: JUMP
00001dc6: JUMPDEST
00001dc7: SWAP4
00001dc8: DUP1
00001dc9: SWAP2
00001dca: SWAP8
00001dcb: SWAP7
00001dcc: SWAP6
00001dcd: SWAP8
00001dce: PUSH1 0xa0
00001dd0: DUP7
00001dd1: ADD
00001dd2: SWAP1
00001dd3: DUP7
00001dd4: MSTORE
00001dd5: PUSH1 0x20
00001dd7: SWAP4
00001dd8: DUP5
00001dd9: DUP8
00001dda: ADD
00001ddb: MSTORE
00001ddc: PUSH1 0xa0
00001dde: PUSH1 0x40
00001de0: DUP8
00001de1: ADD
00001de2: MSTORE
00001de3: MSTORE
00001de4: PUSH1 0xc0
00001de6: DUP5
00001de7: ADD
00001de8: SWAP3
00001de9: SWAP2
00001dea: PUSH1 0x00
00001dec: DUP1
00001ded: JUMPDEST
00001dee: DUP4
00001def: DUP3
00001df0: LT
00001df1: PUSH2 0x1e1d
00001df4: JUMPI
00001df5: POP
00001df6: POP
00001df7: POP
00001df8: POP
00001df9: POP
00001dfa: SWAP1
00001dfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e10: PUSH1 0x80
00001e12: SWAP3
00001e13: SWAP6
00001e14: AND
00001e15: PUSH1 0x60
00001e17: DUP3
00001e18: ADD
00001e19: MSTORE
00001e1a: ADD
00001e1b: MSTORE
00001e1c: JUMP
00001e1d: JUMPDEST
00001e1e: SWAP1
00001e1f: SWAP2
00001e20: SWAP3
00001e21: SWAP4
00001e22: SWAP5
00001e23: DUP6
00001e24: CALLDATALOAD
00001e25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e3a: DUP2
00001e3b: AND
00001e3c: DUP1
00001e3d: SWAP2
00001e3e: SUB
00001e3f: PUSH2 0x0326
00001e42: JUMPI
00001e43: DUP2
00001e44: MSTORE
00001e45: DUP4
00001e46: ADD
00001e47: SWAP5
00001e48: DUP4
00001e49: ADD
00001e4a: SWAP4
00001e4b: SWAP3
00001e4c: SWAP2
00001e4d: PUSH1 0x01
00001e4f: ADD
00001e50: SWAP1
00001e51: PUSH2 0x1ded
00001e54: JUMP
00001e55: JUMPDEST
00001e56: PUSH1 0x05
00001e58: DUP2
00001e59: LT
00001e5a: ISZERO
00001e5b: PUSH2 0x1fbf
00001e5e: JUMPI
00001e5f: DUP1
00001e60: PUSH2 0x1e66
00001e63: JUMPI
00001e64: POP
00001e65: JUMP
00001e66: JUMPDEST
00001e67: PUSH1 0x01
00001e69: DUP2
00001e6a: SUB
00001e6b: PUSH2 0x1ecc
00001e6e: JUMPI
00001e6f: PUSH1 0x64
00001e71: PUSH1 0x40
00001e73: MLOAD
00001e74: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e95: DUP2
00001e96: MSTORE
00001e97: PUSH1 0x20
00001e99: PUSH1 0x04
00001e9b: DUP3
00001e9c: ADD
00001e9d: MSTORE
00001e9e: PUSH1 0x18
00001ea0: PUSH1 0x24
00001ea2: DUP3
00001ea3: ADD
00001ea4: MSTORE
00001ea5: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000
00001ec6: PUSH1 0x44
00001ec8: DUP3
00001ec9: ADD
00001eca: MSTORE
00001ecb: REVERT
00001ecc: JUMPDEST
00001ecd: PUSH1 0x02
00001ecf: DUP2
00001ed0: SUB
00001ed1: PUSH2 0x1f32
00001ed4: JUMPI
00001ed5: PUSH1 0x64
00001ed7: PUSH1 0x40
00001ed9: MLOAD
00001eda: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001efb: DUP2
00001efc: MSTORE
00001efd: PUSH1 0x20
00001eff: PUSH1 0x04
00001f01: DUP3
00001f02: ADD
00001f03: MSTORE
00001f04: PUSH1 0x1f
00001f06: PUSH1 0x24
00001f08: DUP3
00001f09: ADD
00001f0a: MSTORE
00001f0b: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800
00001f2c: PUSH1 0x44
00001f2e: DUP3
00001f2f: ADD
00001f30: MSTORE
00001f31: REVERT
00001f32: JUMPDEST
00001f33: PUSH1 0x03
00001f35: EQ
00001f36: PUSH2 0x1f3b
00001f39: JUMPI
00001f3a: JUMP
00001f3b: JUMPDEST
00001f3c: PUSH1 0x84
00001f3e: PUSH1 0x40
00001f40: MLOAD
00001f41: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f62: DUP2
00001f63: MSTORE
00001f64: PUSH1 0x20
00001f66: PUSH1 0x04
00001f68: DUP3
00001f69: ADD
00001f6a: MSTORE
00001f6b: PUSH1 0x22
00001f6d: PUSH1 0x24
00001f6f: DUP3
00001f70: ADD
00001f71: MSTORE
00001f72: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c
00001f93: PUSH1 0x44
00001f95: DUP3
00001f96: ADD
00001f97: MSTORE
00001f98: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000
00001fb9: PUSH1 0x64
00001fbb: DUP3
00001fbc: ADD
00001fbd: MSTORE
00001fbe: REVERT
00001fbf: JUMPDEST
00001fc0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001fe1: PUSH1 0x00
00001fe3: MSTORE
00001fe4: PUSH1 0x21
00001fe6: PUSH1 0x04
00001fe8: MSTORE
00001fe9: PUSH1 0x24
00001feb: PUSH1 0x00
00001fed: REVERT
00001fee: JUMPDEST
00001fef: SWAP1
00001ff0: PUSH1 0x41
00001ff2: DUP2
00001ff3: MLOAD
00001ff4: EQ
00001ff5: PUSH1 0x00
00001ff7: EQ
00001ff8: PUSH2 0x201c
00001ffb: JUMPI
00001ffc: PUSH2 0x2018
00001fff: SWAP2
00002000: PUSH1 0x20
00002002: DUP3
00002003: ADD
00002004: MLOAD
00002005: SWAP1
00002006: PUSH1 0x60
00002008: PUSH1 0x40
0000200a: DUP5
0000200b: ADD
0000200c: MLOAD
0000200d: SWAP4
0000200e: ADD
0000200f: MLOAD
00002010: PUSH1 0x00
00002012: BYTE
00002013: SWAP1
00002014: PUSH2 0x2026
00002017: JUMP
00002018: JUMPDEST
00002019: SWAP1
0000201a: SWAP2
0000201b: JUMP
0000201c: JUMPDEST
0000201d: POP
0000201e: POP
0000201f: PUSH1 0x00
00002021: SWAP1
00002022: PUSH1 0x02
00002024: SWAP1
00002025: JUMP
00002026: JUMPDEST
00002027: SWAP3
00002028: SWAP2
00002029: SWAP1
0000202a: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
0000204b: DUP4
0000204c: GT
0000204d: PUSH2 0x20b6
00002050: JUMPI
00002051: SWAP2
00002052: PUSH1 0x80
00002054: SWAP5
00002055: SWAP4
00002056: SWAP2
00002057: PUSH1 0xff
00002059: PUSH1 0x20
0000205b: SWAP5
0000205c: PUSH1 0x40
0000205e: MLOAD
0000205f: SWAP5
00002060: DUP6
00002061: MSTORE
00002062: AND
00002063: DUP5
00002064: DUP5
00002065: ADD
00002066: MSTORE
00002067: PUSH1 0x40
00002069: DUP4
0000206a: ADD
0000206b: MSTORE
0000206c: PUSH1 0x60
0000206e: DUP3
0000206f: ADD
00002070: MSTORE
00002071: PUSH1 0x00
00002073: SWAP4
00002074: DUP5
00002075: SWAP2
00002076: DUP3
00002077: DUP1
00002078: MSTORE
00002079: PUSH1 0x01
0000207b: GAS
0000207c: STATICCALL
0000207d: ISZERO
0000207e: PUSH2 0x20a9
00002081: JUMPI
00002082: DUP2
00002083: MLOAD
00002084: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002099: DUP2
0000209a: AND
0000209b: ISZERO
0000209c: PUSH2 0x20a3
0000209f: JUMPI
000020a0: SWAP2
000020a1: SWAP1
000020a2: JUMP
000020a3: JUMPDEST
000020a4: POP
000020a5: PUSH1 0x01
000020a7: SWAP1
000020a8: JUMP
000020a9: JUMPDEST
000020aa: POP
000020ab: PUSH1 0x40
000020ad: MLOAD
000020ae: SWAP1
000020af: RETURNDATASIZE
000020b0: SWAP1
000020b1: DUP3
000020b2: RETURNDATACOPY
000020b3: RETURNDATASIZE
000020b4: SWAP1
000020b5: REVERT
000020b6: JUMPDEST
000020b7: POP
000020b8: POP
000020b9: POP
000020ba: POP
000020bb: PUSH1 0x00
000020bd: SWAP1
000020be: PUSH1 0x03
000020c0: SWAP1
000020c1: JUMP
000020c2: JUMPDEST
000020c3: CALLDATALOAD
000020c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d9: DUP2
000020da: AND
000020db: DUP2
000020dc: SUB
000020dd: PUSH2 0x161b
000020e0: JUMPI
000020e1: SWAP1
000020e2: JUMP
000020e3: JUMPDEST
000020e4: SWAP4
000020e5: SWAP3
000020e6: SWAP2
000020e7: SWAP1
000020e8: SWAP6
000020e9: SWAP5
000020ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ff: SWAP3
00002100: DUP4
00002101: DUP7
00002102: AND
00002103: SWAP5
00002104: DUP6
00002105: ISZERO
00002106: PUSH2 0x27a6
00002109: JUMPI
0000210a: DUP5
0000210b: AND
0000210c: ISZERO
0000210d: PUSH2 0x2748
00002110: JUMPI
00002111: PUSH1 0x02
00002113: DUP2
00002114: LT
00002115: PUSH2 0x26ea
00002118: JUMPI
00002119: DUP1
0000211a: ISZERO
0000211b: PUSH2 0x262e
0000211e: JUMPI
0000211f: DUP4
00002120: PUSH2 0x2128
00002123: DUP5
00002124: PUSH2 0x20c2
00002127: JUMP
00002128: JUMPDEST
00002129: AND
0000212a: ISZERO
0000212b: PUSH2 0x268c
0000212e: JUMPI
0000212f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002150: DUP2
00002151: ADD
00002152: SWAP1
00002153: DUP1
00002154: DUP3
00002155: GT
00002156: PUSH2 0x265d
00002159: JUMPI
0000215a: DUP2
0000215b: LT
0000215c: ISZERO
0000215d: PUSH2 0x262e
00002160: JUMPI
00002161: PUSH2 0x216f
00002164: DUP5
00002165: SWAP2
00002166: PUSH1 0x05
00002168: SHL
00002169: DUP5
0000216a: ADD
0000216b: PUSH2 0x20c2
0000216e: JUMP
0000216f: JUMPDEST
00002170: AND
00002171: ISZERO
00002172: PUSH2 0x25d0
00002175: JUMPI
00002176: TIMESTAMP
00002177: GT
00002178: PUSH2 0x2572
0000217b: JUMPI
0000217c: PUSH2 0x2184
0000217f: SWAP1
00002180: PUSH2 0x20c2
00002183: JUMP
00002184: JUMPDEST
00002185: AND
00002186: SWAP1
00002187: PUSH1 0x40
00002189: SWAP5
0000218a: DUP6
0000218b: MLOAD
0000218c: SWAP4
0000218d: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000021ae: DUP6
000021af: MSTORE
000021b0: ADDRESS
000021b1: PUSH1 0x04
000021b3: DUP7
000021b4: ADD
000021b5: MSTORE
000021b6: PUSH1 0x20
000021b8: SWAP5
000021b9: DUP6
000021ba: DUP2
000021bb: PUSH1 0x24
000021bd: DUP2
000021be: DUP9
000021bf: GAS
000021c0: STATICCALL
000021c1: DUP1
000021c2: ISZERO
000021c3: PUSH2 0x2567
000021c6: JUMPI
000021c7: DUP4
000021c8: SWAP1
000021c9: PUSH1 0x00
000021cb: SWAP1
000021cc: PUSH2 0x2517
000021cf: JUMPI
000021d0: JUMPDEST
000021d1: PUSH32 0x496e73756666696369656e742062616c616e6365206f6620746f6b656e496e3a
000021f2: SWAP3
000021f3: POP
000021f4: PUSH2 0x2297
000021f7: PUSH1 0x46
000021f9: DUP10
000021fa: DUP13
000021fb: PUSH2 0x2203
000021fe: DUP6
000021ff: PUSH2 0x2804
00002202: JUMP
00002203: JUMPDEST
00002204: PUSH32 0x2000000000000000000000000000000000000000000000000000000000000000
00002225: PUSH2 0x222d
00002228: DUP9
00002229: PUSH2 0x2804
0000222c: JUMP
0000222d: JUMPDEST
0000222e: SWAP3
0000222f: DUP1
00002230: MLOAD
00002231: SWAP10
00002232: DUP11
00002233: SWAP6
00002234: DUP7
00002235: ADD
00002236: MSTORE
00002237: DUP5
00002238: ADD
00002239: MSTORE
0000223a: PUSH2 0x224d
0000223d: DUP14
0000223e: DUP3
0000223f: MLOAD
00002240: SWAP3
00002241: DUP4
00002242: SWAP2
00002243: PUSH1 0x41
00002245: DUP8
00002246: ADD
00002247: SWAP2
00002248: ADD
00002249: PUSH2 0x1c13
0000224c: JUMP
0000224d: JUMPDEST
0000224e: DUP3
0000224f: ADD
00002250: PUSH32 0x206c746520000000000000000000000000000000000000000000000000000000
00002271: PUSH1 0x41
00002273: DUP3
00002274: ADD
00002275: MSTORE
00002276: PUSH2 0x2288
00002279: DUP14
0000227a: DUP4
0000227b: MLOAD
0000227c: SWAP4
0000227d: DUP5
0000227e: SWAP2
0000227f: DUP8
00002280: DUP6
00002281: ADD
00002282: SWAP2
00002283: ADD
00002284: PUSH2 0x1c13
00002287: JUMP
00002288: JUMPDEST
00002289: ADD
0000228a: SUB
0000228b: PUSH1 0x26
0000228d: DUP2
0000228e: ADD
0000228f: DUP7
00002290: MSTORE
00002291: ADD
00002292: DUP5
00002293: PUSH2 0x16cc
00002296: JUMP
00002297: JUMPDEST
00002298: LT
00002299: PUSH2 0x24e2
0000229c: JUMPI
0000229d: POP
0000229e: DUP7
0000229f: MLOAD
000022a0: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
000022c1: DUP1
000022c2: DUP3
000022c3: MSTORE
000022c4: ADDRESS
000022c5: PUSH1 0x04
000022c7: DUP4
000022c8: ADD
000022c9: MSTORE
000022ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022df: DUP4
000022e0: AND
000022e1: PUSH1 0x24
000022e3: DUP4
000022e4: ADD
000022e5: MSTORE
000022e6: SWAP3
000022e7: SWAP1
000022e8: DUP7
000022e9: DUP2
000022ea: PUSH1 0x44
000022ec: DUP2
000022ed: DUP10
000022ee: GAS
000022ef: STATICCALL
000022f0: SWAP1
000022f1: DUP2
000022f2: ISZERO
000022f3: PUSH2 0x24d7
000022f6: JUMPI
000022f7: PUSH1 0x00
000022f9: SWAP2
000022fa: PUSH2 0x24aa
000022fd: JUMPI
000022fe: JUMPDEST
000022ff: POP
00002300: LT
00002301: PUSH2 0x230e
00002304: JUMPI
00002305: JUMPDEST
00002306: POP
00002307: POP
00002308: POP
00002309: POP
0000230a: POP
0000230b: SWAP1
0000230c: POP
0000230d: JUMP
0000230e: JUMPDEST
0000230f: DUP5
00002310: PUSH2 0x2394
00002313: SWAP2
00002314: DUP9
00002315: MLOAD
00002316: SWAP4
00002317: PUSH2 0x2360
0000231a: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
0000233b: SWAP6
0000233c: DUP7
0000233d: DUP6
0000233e: DUP3
0000233f: ADD
00002340: MSTORE
00002341: DUP8
00002342: PUSH1 0x24
00002344: DUP3
00002345: ADD
00002346: MSTORE
00002347: PUSH1 0x00
00002349: PUSH1 0x44
0000234b: DUP3
0000234c: ADD
0000234d: MSTORE
0000234e: PUSH1 0x44
00002350: DUP2
00002351: MSTORE
00002352: PUSH2 0x235a
00002355: DUP2
00002356: PUSH2 0x16b0
00002359: JUMP
0000235a: JUMPDEST
0000235b: DUP9
0000235c: PUSH2 0x19f9
0000235f: JUMP
00002360: JUMPDEST
00002361: DUP10
00002362: MLOAD
00002363: SWAP1
00002364: DUP2
00002365: MSTORE
00002366: ADDRESS
00002367: PUSH1 0x04
00002369: DUP3
0000236a: ADD
0000236b: MSTORE
0000236c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002381: SWAP1
00002382: SWAP2
00002383: AND
00002384: PUSH1 0x24
00002386: DUP3
00002387: ADD
00002388: MSTORE
00002389: SWAP2
0000238a: DUP3
0000238b: SWAP1
0000238c: DUP2
0000238d: SWAP1
0000238e: PUSH1 0x44
00002390: DUP3
00002391: ADD
00002392: SWAP1
00002393: JUMP
00002394: JUMPDEST
00002395: SUB
00002396: DUP2
00002397: DUP8
00002398: GAS
00002399: STATICCALL
0000239a: SWAP1
0000239b: DUP2
0000239c: ISZERO
0000239d: PUSH2 0x249f
000023a0: JUMPI
000023a1: PUSH1 0x00
000023a3: SWAP2
000023a4: PUSH2 0x2472
000023a7: JUMPI
000023a8: JUMPDEST
000023a9: POP
000023aa: PUSH2 0x23ef
000023ad: JUMPI
000023ae: PUSH2 0x23e4
000023b1: SWAP5
000023b2: SWAP6
000023b3: MLOAD
000023b4: SWAP4
000023b5: DUP5
000023b6: ADD
000023b7: MSTORE
000023b8: PUSH1 0x24
000023ba: DUP4
000023bb: ADD
000023bc: MSTORE
000023bd: PUSH16 0xffffffffffffffffffffffffffffffff
000023ce: PUSH1 0x44
000023d0: DUP4
000023d1: ADD
000023d2: MSTORE
000023d3: PUSH1 0x44
000023d5: DUP3
000023d6: MSTORE
000023d7: PUSH2 0x23df
000023da: DUP3
000023db: PUSH2 0x16b0
000023de: JUMP
000023df: JUMPDEST
000023e0: PUSH2 0x19f9
000023e3: JUMP
000023e4: JUMPDEST
000023e5: DUP1
000023e6: CODESIZE
000023e7: DUP1
000023e8: DUP1
000023e9: DUP1
000023ea: DUP1
000023eb: PUSH2 0x2305
000023ee: JUMP
000023ef: JUMPDEST
000023f0: PUSH1 0x84
000023f2: DUP5
000023f3: DUP8
000023f4: MLOAD
000023f5: SWAP1
000023f6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002417: DUP3
00002418: MSTORE
00002419: PUSH1 0x04
0000241b: DUP3
0000241c: ADD
0000241d: MSTORE
0000241e: PUSH1 0x36
00002420: PUSH1 0x24
00002422: DUP3
00002423: ADD
00002424: MSTORE
00002425: PUSH32 0x5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f
00002446: PUSH1 0x44
00002448: DUP3
00002449: ADD
0000244a: MSTORE
0000244b: PUSH32 0x20746f206e6f6e2d7a65726f20616c6c6f77616e636500000000000000000000
0000246c: PUSH1 0x64
0000246e: DUP3
0000246f: ADD
00002470: MSTORE
00002471: REVERT
00002472: JUMPDEST
00002473: SWAP1
00002474: DUP6
00002475: DUP3
00002476: DUP2
00002477: RETURNDATASIZE
00002478: DUP4
00002479: GT
0000247a: PUSH2 0x2498
0000247d: JUMPI
0000247e: JUMPDEST
0000247f: PUSH2 0x2488
00002482: DUP2
00002483: DUP4
00002484: PUSH2 0x16cc
00002487: JUMP
00002488: JUMPDEST
00002489: DUP2
0000248a: ADD
0000248b: SUB
0000248c: SLT
0000248d: PUSH2 0x0323
00002490: JUMPI
00002491: POP
00002492: MLOAD
00002493: CODESIZE
00002494: PUSH2 0x23a8
00002497: JUMP
00002498: JUMPDEST
00002499: POP
0000249a: RETURNDATASIZE
0000249b: PUSH2 0x247e
0000249e: JUMP
0000249f: JUMPDEST
000024a0: DUP8
000024a1: MLOAD
000024a2: RETURNDATASIZE
000024a3: PUSH1 0x00
000024a5: DUP3
000024a6: RETURNDATACOPY
000024a7: RETURNDATASIZE
000024a8: SWAP1
000024a9: REVERT
000024aa: JUMPDEST
000024ab: SWAP1
000024ac: DUP8
000024ad: DUP3
000024ae: DUP2
000024af: RETURNDATASIZE
000024b0: DUP4
000024b1: GT
000024b2: PUSH2 0x24d0
000024b5: JUMPI
000024b6: JUMPDEST
000024b7: PUSH2 0x24c0
000024ba: DUP2
000024bb: DUP4
000024bc: PUSH2 0x16cc
000024bf: JUMP
000024c0: JUMPDEST
000024c1: DUP2
000024c2: ADD
000024c3: SUB
000024c4: SLT
000024c5: PUSH2 0x0323
000024c8: JUMPI
000024c9: POP
000024ca: MLOAD
000024cb: CODESIZE
000024cc: PUSH2 0x22fe
000024cf: JUMP
000024d0: JUMPDEST
000024d1: POP
000024d2: RETURNDATASIZE
000024d3: PUSH2 0x24b6
000024d6: JUMP
000024d7: JUMPDEST
000024d8: DUP10
000024d9: MLOAD
000024da: RETURNDATASIZE
000024db: PUSH1 0x00
000024dd: DUP3
000024de: RETURNDATACOPY
000024df: RETURNDATASIZE
000024e0: SWAP1
000024e1: REVERT
000024e2: JUMPDEST
000024e3: PUSH2 0x1c0f
000024e6: SWAP1
000024e7: DUP9
000024e8: MLOAD
000024e9: SWAP2
000024ea: DUP3
000024eb: SWAP2
000024ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000250d: DUP4
0000250e: MSTORE
0000250f: PUSH1 0x04
00002511: DUP4
00002512: ADD
00002513: PUSH2 0x1c36
00002516: JUMP
00002517: JUMPDEST
00002518: SWAP1
00002519: POP
0000251a: DUP7
0000251b: DUP3
0000251c: DUP2
0000251d: RETURNDATASIZE
0000251e: DUP4
0000251f: GT
00002520: PUSH2 0x2560
00002523: JUMPI
00002524: JUMPDEST
00002525: PUSH2 0x252e
00002528: DUP2
00002529: DUP4
0000252a: PUSH2 0x16cc
0000252d: JUMP
0000252e: JUMPDEST
0000252f: DUP2
00002530: ADD
00002531: SUB
00002532: SLT
00002533: PUSH2 0x0323
00002536: JUMPI
00002537: POP
00002538: DUP3
00002539: PUSH32 0x496e73756666696369656e742062616c616e6365206f6620746f6b656e496e3a
0000255a: SWAP2
0000255b: MLOAD
0000255c: PUSH2 0x21d0
0000255f: JUMP
00002560: JUMPDEST
00002561: POP
00002562: RETURNDATASIZE
00002563: PUSH2 0x2524
00002566: JUMP
00002567: JUMPDEST
00002568: DUP9
00002569: MLOAD
0000256a: RETURNDATASIZE
0000256b: PUSH1 0x00
0000256d: DUP3
0000256e: RETURNDATACOPY
0000256f: RETURNDATASIZE
00002570: SWAP1
00002571: REVERT
00002572: JUMPDEST
00002573: PUSH1 0x64
00002575: PUSH1 0x40
00002577: MLOAD
00002578: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002599: DUP2
0000259a: MSTORE
0000259b: PUSH1 0x20
0000259d: PUSH1 0x04
0000259f: DUP3
000025a0: ADD
000025a1: MSTORE
000025a2: PUSH1 0x11
000025a4: PUSH1 0x24
000025a6: DUP3
000025a7: ADD
000025a8: MSTORE
000025a9: PUSH32 0x446561646c696e65206578636565646564000000000000000000000000000000
000025ca: PUSH1 0x44
000025cc: DUP3
000025cd: ADD
000025ce: MSTORE
000025cf: REVERT
000025d0: JUMPDEST
000025d1: PUSH1 0x64
000025d3: PUSH1 0x40
000025d5: MLOAD
000025d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025f7: DUP2
000025f8: MSTORE
000025f9: PUSH1 0x20
000025fb: PUSH1 0x04
000025fd: DUP3
000025fe: ADD
000025ff: MSTORE
00002600: PUSH1 0x10
00002602: PUSH1 0x24
00002604: DUP3
00002605: ADD
00002606: MSTORE
00002607: PUSH32 0x496e76616c6964207061746820656e6400000000000000000000000000000000
00002628: PUSH1 0x44
0000262a: DUP3
0000262b: ADD
0000262c: MSTORE
0000262d: REVERT
0000262e: JUMPDEST
0000262f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002650: PUSH1 0x00
00002652: MSTORE
00002653: PUSH1 0x32
00002655: PUSH1 0x04
00002657: MSTORE
00002658: PUSH1 0x24
0000265a: PUSH1 0x00
0000265c: REVERT
0000265d: JUMPDEST
0000265e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000267f: PUSH1 0x00
00002681: MSTORE
00002682: PUSH1 0x11
00002684: PUSH1 0x04
00002686: MSTORE
00002687: PUSH1 0x24
00002689: PUSH1 0x00
0000268b: REVERT
0000268c: JUMPDEST
0000268d: PUSH1 0x64
0000268f: PUSH1 0x40
00002691: MLOAD
00002692: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000026b3: DUP2
000026b4: MSTORE
000026b5: PUSH1 0x20
000026b7: PUSH1 0x04
000026b9: DUP3
000026ba: ADD
000026bb: MSTORE
000026bc: PUSH1 0x12
000026be: PUSH1 0x24
000026c0: DUP3
000026c1: ADD
000026c2: MSTORE
000026c3: PUSH32 0x496e76616c696420706174682073746172740000000000000000000000000000
000026e4: PUSH1 0x44
000026e6: DUP3
000026e7: ADD
000026e8: MSTORE
000026e9: REVERT
000026ea: JUMPDEST
000026eb: PUSH1 0x64
000026ed: PUSH1 0x40
000026ef: MLOAD
000026f0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002711: DUP2
00002712: MSTORE
00002713: PUSH1 0x20
00002715: PUSH1 0x04
00002717: DUP3
00002718: ADD
00002719: MSTORE
0000271a: PUSH1 0x0c
0000271c: PUSH1 0x24
0000271e: DUP3
0000271f: ADD
00002720: MSTORE
00002721: PUSH32 0x496e76616c696420706174680000000000000000000000000000000000000000
00002742: PUSH1 0x44
00002744: DUP3
00002745: ADD
00002746: MSTORE
00002747: REVERT
00002748: JUMPDEST
00002749: PUSH1 0x64
0000274b: PUSH1 0x40
0000274d: MLOAD
0000274e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000276f: DUP2
00002770: MSTORE
00002771: PUSH1 0x20
00002773: PUSH1 0x04
00002775: DUP3
00002776: ADD
00002777: MSTORE
00002778: PUSH1 0x12
0000277a: PUSH1 0x24
0000277c: DUP3
0000277d: ADD
0000277e: MSTORE
0000277f: PUSH32 0x496e76616c696420746f20616464726573730000000000000000000000000000
000027a0: PUSH1 0x44
000027a2: DUP3
000027a3: ADD
000027a4: MSTORE
000027a5: REVERT
000027a6: JUMPDEST
000027a7: PUSH1 0x64
000027a9: PUSH1 0x40
000027ab: MLOAD
000027ac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000027cd: DUP2
000027ce: MSTORE
000027cf: PUSH1 0x20
000027d1: PUSH1 0x04
000027d3: DUP3
000027d4: ADD
000027d5: MSTORE
000027d6: PUSH1 0x16
000027d8: PUSH1 0x24
000027da: DUP3
000027db: ADD
000027dc: MSTORE
000027dd: PUSH32 0x496e76616c696420726f75746572206164647265737300000000000000000000
000027fe: PUSH1 0x44
00002800: DUP3
00002801: ADD
00002802: MSTORE
00002803: REVERT
00002804: JUMPDEST
00002805: DUP1
00002806: ISZERO
00002807: PUSH2 0x291e
0000280a: JUMPI
0000280b: PUSH1 0x00
0000280d: DUP2
0000280e: DUP1
0000280f: JUMPDEST
00002810: PUSH2 0x28e8
00002813: JUMPI
00002814: POP
00002815: PUSH2 0x281d
00002818: DUP2
00002819: PUSH2 0x170d
0000281c: JUMP
0000281d: JUMPDEST
0000281e: SWAP2
0000281f: PUSH2 0x282b
00002822: PUSH1 0x40
00002824: MLOAD
00002825: SWAP4
00002826: DUP5
00002827: PUSH2 0x16cc
0000282a: JUMP
0000282b: JUMPDEST
0000282c: DUP2
0000282d: DUP4
0000282e: MSTORE
0000282f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002850: PUSH2 0x2858
00002853: DUP4
00002854: PUSH2 0x170d
00002857: JUMP
00002858: JUMPDEST
00002859: ADD
0000285a: SWAP1
0000285b: DUP1
0000285c: PUSH1 0x20
0000285e: SWAP3
0000285f: CALLDATASIZE
00002860: DUP5
00002861: DUP8
00002862: ADD
00002863: CALLDATACOPY
00002864: JUMPDEST
00002865: PUSH2 0x286e
00002868: JUMPI
00002869: POP
0000286a: POP
0000286b: POP
0000286c: SWAP1
0000286d: JUMP
0000286e: JUMPDEST
0000286f: PUSH1 0x0a
00002871: SWAP1
00002872: PUSH1 0x30
00002874: SWAP4
00002875: DUP3
00002876: DUP3
00002877: MOD
00002878: DUP6
00002879: ADD
0000287a: DUP1
0000287b: SWAP6
0000287c: GT
0000287d: PUSH2 0x265d
00002880: JUMPI
00002881: DUP1
00002882: ISZERO
00002883: PUSH2 0x265d
00002886: JUMPI
00002887: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000028a8: ADD
000028a9: DUP1
000028aa: SWAP5
000028ab: DUP7
000028ac: MLOAD
000028ad: DUP3
000028ae: LT
000028af: ISZERO
000028b0: PUSH2 0x262e
000028b3: JUMPI
000028b4: PUSH1 0xf8
000028b6: SHL
000028b7: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
000028d8: AND
000028d9: PUSH1 0x00
000028db: BYTE
000028dc: SWAP1
000028dd: DUP7
000028de: ADD
000028df: DUP5
000028e0: ADD
000028e1: MSTORE8
000028e2: DIV
000028e3: DUP1
000028e4: PUSH2 0x2864
000028e7: JUMP
000028e8: JUMPDEST
000028e9: SWAP1
000028ea: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000290b: DUP2
0000290c: EQ
0000290d: PUSH2 0x265d
00002910: JUMPI
00002911: PUSH1 0x01
00002913: PUSH1 0x0a
00002915: SWAP2
00002916: ADD
00002917: SWAP2
00002918: DIV
00002919: DUP1
0000291a: PUSH2 0x280f
0000291d: JUMP
0000291e: JUMPDEST
0000291f: POP
00002920: PUSH1 0x40
00002922: MLOAD
00002923: PUSH2 0x292b
00002926: DUP2
00002927: PUSH2 0x1694
0000292a: JUMP
0000292b: JUMPDEST
0000292c: PUSH1 0x01
0000292e: DUP2
0000292f: MSTORE
00002930: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002951: PUSH1 0x20
00002953: DUP3
00002954: ADD
00002955: MSTORE
00002956: SWAP1
00002957: JUMP
00002958: JUMPDEST
00002959: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000296e: SWAP1
0000296f: SWAP6
00002970: SWAP4
00002971: SWAP5
00002972: SWAP2
00002973: SWAP6
00002974: PUSH2 0x2981
00002977: DUP9
00002978: DUP7
00002979: DUP6
0000297a: DUP10
0000297b: DUP12
0000297c: DUP7
0000297d: PUSH2 0x20e3
00002980: JUMP
00002981: JUMPDEST
00002982: AND
00002983: SWAP6
00002984: DUP7
00002985: EXTCODESIZE
00002986: ISZERO
00002987: PUSH2 0x161b
0000298a: JUMPI
0000298b: PUSH1 0x40
0000298d: MLOAD
0000298e: PUSH32 0x5c11d79500000000000000000000000000000000000000000000000000000000
000029af: DUP2
000029b0: MSTORE
000029b1: SWAP5
000029b2: SWAP4
000029b3: PUSH1 0x00
000029b5: DUP7
000029b6: DUP1
000029b7: PUSH2 0x29c8
000029ba: DUP6
000029bb: DUP6
000029bc: DUP9
000029bd: DUP12
000029be: DUP12
000029bf: DUP16
000029c0: PUSH1 0x04
000029c2: DUP9
000029c3: ADD
000029c4: PUSH2 0x1dc6
000029c7: JUMP
000029c8: JUMPDEST
000029c9: SUB
000029ca: DUP2
000029cb: DUP4
000029cc: DUP13
000029cd: GAS
000029ce: CALL
000029cf: SWAP3
000029d0: DUP4
000029d1: ISZERO
000029d2: PUSH2 0x2a23
000029d5: JUMPI
000029d6: PUSH32 0x0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b6063
000029f7: SWAP7
000029f8: PUSH2 0x2a0f
000029fb: SWAP5
000029fc: PUSH2 0x2a14
000029ff: JUMPI
00002a00: JUMPDEST
00002a01: POP
00002a02: PUSH1 0x40
00002a04: MLOAD
00002a05: SWAP6
00002a06: DUP7
00002a07: SWAP6
00002a08: CALLER
00002a09: SWAP10
00002a0a: DUP8
00002a0b: PUSH2 0x1dc6
00002a0e: JUMP
00002a0f: JUMPDEST
00002a10: SUB
00002a11: SWAP1
00002a12: LOG3
00002a13: JUMP
00002a14: JUMPDEST
00002a15: PUSH2 0x2a1d
00002a18: SWAP1
00002a19: PUSH2 0x1651
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: CODESIZE
00002a1f: PUSH2 0x2a00
00002a22: JUMP
00002a23: JUMPDEST
00002a24: PUSH1 0x40
00002a26: MLOAD
00002a27: RETURNDATASIZE
00002a28: PUSH1 0x00
00002a2a: DUP3
00002a2b: RETURNDATACOPY
00002a2c: RETURNDATASIZE
00002a2d: SWAP1
00002a2e: REVERT
00002a2f: JUMPDEST
00002a30: SWAP6
00002a31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a46: DUP5
00002a47: SWAP6
00002a48: SWAP3
00002a49: SWAP7
00002a4a: SWAP8
00002a4b: PUSH2 0x2a58
00002a4e: DUP4
00002a4f: DUP11
00002a50: DUP7
00002a51: DUP10
00002a52: DUP10
00002a53: DUP7
00002a54: PUSH2 0x20e3
00002a57: JUMP
00002a58: JUMPDEST
00002a59: AND
00002a5a: SWAP7
00002a5b: PUSH1 0x00
00002a5d: DUP5
00002a5e: DUP9
00002a5f: PUSH2 0x2a98
00002a62: DUP6
00002a63: DUP6
00002a64: DUP9
00002a65: PUSH1 0x40
00002a67: MLOAD
00002a68: SWAP13
00002a69: DUP14
00002a6a: SWAP7
00002a6b: DUP8
00002a6c: SWAP7
00002a6d: PUSH32 0x8803dbee00000000000000000000000000000000000000000000000000000000
00002a8e: DUP9
00002a8f: MSTORE
00002a90: PUSH1 0x04
00002a92: DUP9
00002a93: ADD
00002a94: PUSH2 0x1dc6
00002a97: JUMP
00002a98: JUMPDEST
00002a99: SUB
00002a9a: DUP2
00002a9b: DUP4
00002a9c: DUP13
00002a9d: GAS
00002a9e: CALL
00002a9f: SWAP3
00002aa0: DUP4
00002aa1: ISZERO
00002aa2: PUSH2 0x2a23
00002aa5: JUMPI
00002aa6: PUSH32 0x0fe342f6cf540cbfe4163cc2713c016f6b2b1abcd4c02d62f580ea01c86b6063
00002ac7: SWAP7
00002ac8: PUSH2 0x2a0f
00002acb: SWAP5
00002acc: PUSH2 0x2ade
00002acf: JUMPI
00002ad0: POP
00002ad1: PUSH1 0x40
00002ad3: MLOAD
00002ad4: SWAP6
00002ad5: DUP7
00002ad6: SWAP6
00002ad7: CALLER
00002ad8: SWAP10
00002ad9: DUP8
00002ada: PUSH2 0x1dc6
00002add: JUMP
00002ade: JUMPDEST
00002adf: PUSH2 0x2af2
00002ae2: SWAP1
00002ae3: RETURNDATASIZE
00002ae4: DUP1
00002ae5: PUSH1 0x00
00002ae7: DUP4
00002ae8: RETURNDATACOPY
00002ae9: PUSH2 0x0b22
00002aec: DUP2
00002aed: DUP4
00002aee: PUSH2 0x16cc
00002af1: JUMP
00002af2: JUMPDEST
00002af3: POP
00002af4: CODESIZE
00002af5: PUSH2 0x2a00
00002af8: JUMP
00002af9: INVALID
00002afa: LOG2
00002afb: PUSH5 0x6970667358
00002b01: UNKNOWN(0x22)
00002b02: SLT
00002b03: KECCAK256
00002b04: UNKNOWN(0x0E)
00002b05: UNKNOWN(0xBD)
00002b06: KECCAK256
00002b07: PUSH31 0x72b921659c73c5cc1b0b556c68e62213bbba817eb9d13396334f8b5b64736f
00002b27: PUSH13

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x1b13eb9f0bba8c419f443823eb173f5fde14bb5c45b1c916d03d6154619e7340 call_targets: 0x951a1ca3ad7ad2e055226783d32c9e8a69188485 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x1b13eb9f0bba8c419f443823eb173f5fde14bb5c45b1c916d03d6154619e7340", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x951a1ca3ad7ad2e055226783d32c9e8a69188485" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0c9708cb", "selector": "0x0c9708cb", "calldata_variants": [ "0x0c9708cb", "0x0c9708cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2287e96a", "selector": "0x2287e96a", "calldata_variants": [ "0x2287e96a", "0x2287e96a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2b7ac3f3", "selector": "0x2b7ac3f3", "calldata_variants": [ "0x2b7ac3f3", "0x2b7ac3f30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x347ae8d2", "selector": "0x347ae8d2", "calldata_variants": [ "0x347ae8d2", "0x347ae8d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x476343ee", "selector": "0x476343ee", "calldata_variants": [ "0x476343ee", "0x476343ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5437988d", "selector": "0x5437988d", "calldata_variants": [ "0x5437988d", "0x5437988d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6209b13d", "selector": "0x6209b13d", "calldata_variants": [ "0x6209b13d", "0x6209b13d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6ddd1713", "selector": "0x6ddd1713", "calldata_variants": [ "0x6ddd1713", "0x6ddd17130000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 652, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2763, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4792, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x1b13eb9f0bba8c419f443823eb173f5fde14bb5c45b1c916d03d6154619e7340 call_targets: 0x951a1ca3ad7ad2e055226783d32c9e8a69188485 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x1b13eb9f0bba8c419f443823eb173f5fde14bb5c45b1c916d03d6154619e7340", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x951a1ca3ad7ad2e055226783d32c9e8a69188485" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0c9708cb", "selector": "0x0c9708cb", "calldata_variants": [ "0x0c9708cb", "0x0c9708cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2287e96a", "selector": "0x2287e96a", "calldata_variants": [ "0x2287e96a", "0x2287e96a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2b7ac3f3", "selector": "0x2b7ac3f3", "calldata_variants": [ "0x2b7ac3f3", "0x2b7ac3f30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x347ae8d2", "selector": "0x347ae8d2", "calldata_variants": [ "0x347ae8d2", "0x347ae8d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x476343ee", "selector": "0x476343ee", "calldata_variants": [ "0x476343ee", "0x476343ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5437988d", "selector": "0x5437988d", "calldata_variants": [ "0x5437988d", "0x5437988d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6209b13d", "selector": "0x6209b13d", "calldata_variants": [ "0x6209b13d", "0x6209b13d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6ddd1713", "selector": "0x6ddd1713", "calldata_variants": [ "0x6ddd1713", "0x6ddd17130000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 652, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2763, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4792, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
medium	reentrancy	codex	Computed external CALLs (with possible ETH value) could enable reentrancy or unintended external execution	75	no	—	view evidence_json { "evidence": "Detector findings flag untrusted CALL targets and possible ETH value transfers. Callsites show CALL opcodes with computed targets/values (pc 0x28c, 0x0acb, 0x12b8, 0x1a58, 0x29ce, 0x2a9e). A CALL at pc 0x12b8 is followed by an SSTORE at pc 0x12be, indicating a state update occurs after an external call in at least one path.", "locations": [ "pc:0x28c", "pc:0x0acb", "pc:0x12b8", "pc:0x12be", "pc:0x1a58", "pc:0x29ce", "pc:0x2a9e" ], "recommendation": "Ensure all state-changing paths that perform external CALLs follow checks-effects-interactions and are protected with a reentrancy guard; validate or restrict externally supplied call targets/recipients; and avoid sending ETH to arbitrary addresses unless explicitly intended and accounted for.", "exploit_scenario": "If any of these CALLs target addresses influenced by calldata (e.g., recipient/router/token) and occur before state updates or without a nonReentrant guard, a malicious contract can reenter and manipulate accounting or drain funds during the external call. The analyzer observed CALL targets marked as computed and guard detection is empty, so safety is not proven from bytecode alone." }

Severity