Analysis Run

{"no_findings":false,"summary":"Bytecode shows multiple computed CALLs (some with ETH) and no detected guards; access control around these execution paths is unclear from bytecode. No delegatecall/proxy indicators were found.","findings":[{"severity":"medium","category":"access_control","title":"Potential arbitrary external CALL with ETH value if execution path is ungated","exploit_scenario":"If any publicly callable selector forwards user-supplied target/value, an attacker could invoke it to make this contract send ETH or interact with arbitrary contracts from its balance. The analysis only shows computed CALL targets/values and no detected guards; a validation trace saw a constant target to self but it was not confirmed, so actual risk depends on the presence of access control in those paths.","recommendation":"Confirm that any call-forwarding/execution selectors require strict owner/authorized checks; restrict target/value or add allowlisting. Consider adding a reentrancy guard if state can be mutated before/after external calls.","evidence":"Detector findings report 7 CALL sites with computed target/value and no guards detected; ETH value transfers possible. Validation saw constant target = this contract but was not confirmed.","locations":["pc:0x405","pc:0x53d","pc:0x6da","pc:0x75f","pc:0x862","pc:0x9e7","pc:0xb27"]}]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-0hr5vaxc
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bac04-1667-70a1-b0f7-d36469adfbea
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

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

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

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

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

thinking
**Analyzing contract call structure**
exec
/bin/bash -lc 'rg -n "evidence|callsite|storage|selector|call_targets|delegatecall|proxy|upgrade|slot" BYTECODE_BUNDLE.json' in /tmp/codex-0hr5vaxc succeeded in 10ms:
5066:      "callsites": [
6580:      "dispatcher_type": "selector_jump_table",
6584:          "selector": "0xc50d8f41"
6588:          "selector": "0xc5f4127a"
6592:          "selector": "0xc8743864"
6596:          "selector": "0xd65890b4"
6600:          "selector": "0x82f11491"
6604:          "selector": "0x8da5cb5b"
6608:          "selector": "0x90b8fc6a"
6612:          "selector": "0x51cbd036"
6616:          "selector": "0x729a60c0"
6620:          "selector": "0x82e7486d"
6624:          "selector": "0x11b5779e"
6628:          "selector": "0x150b7a02"
6632:          "selector": "0x429b62e5"
6641:          "selector": "0xc50d8f41",
6644:            "delegatecall": 0,
6648:          "storage": {
6650:            "slots": [
6654:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"

thinking
**Investigating callsites and selectors**
exec
/bin/bash -lc "sed -n '5000,5125p' BYTECODE_BUNDLE.json" in /tmp/codex-0hr5vaxc succeeded in 23ms:
            "PUSH4",
            "PUSH1",
            "SHL",
            "PUSH1",
            "MSTORE",
            "PUSH1",
            "PUSH1",
            "MSTORE",
            "PUSH1",
            "PUSH1",
            "REVERT"
          ],
          "start_pc": 4481
        },
        {
          "end_pc": 4506,
          "hash": "0x5e49791c976f35b2979cf4cabb41202dbaa068c6c3afa49919fce6353e16b02d",
          "opcodes": [
            "JUMPDEST",
            "POP",
exec
/bin/bash -lc "sed -n '5125,5205p' BYTECODE_BUNDLE.json" in /tmp/codex-0hr5vaxc succeeded in 6ms:
          "pc": 2535,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "computed"
        },
        {
          "opcode": "STATICCALL",
          "pc": 2739,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "n/a"
        },
        {
          "opcode": "CALL",
          "pc": 2855,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "computed"
        },
        {

thinking
**Examining selector context**
exec
/bin/bash -lc "sed -n '6560,6675p' BYTECODE_BUNDLE.json" in /tmp/codex-0hr5vaxc succeeded in 6ms:
          "to": "bb:4066",
          "type": "control_flow"
        },
        {
          "from": "bb:4430",
          "to": "bb:4413",
          "type": "control_flow"
        },
        {
          "from": "bb:4473",
          "to": "bb:4502",
          "type": "control_flow"
        },
        {
          "from": "bb:4473",
          "to": "bb:4481",
          "type": "control_flow_fallthrough"
        }
      ],
      "cfg_hash": "0x6a95649e06566cce577e41cc2458e055ebb27981be9cea1cc82e67b60553c1f4",
exec
/bin/bash -lc "sed -n '6675,6755p' BYTECODE_BUNDLE.json" in /tmp/codex-0hr5vaxc succeeded in 11ms:
              },
              {
                "op": "SLOAD",
                "pc": 1957,
                "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
              },
              {
                "op": "SLOAD",
                "pc": 2059,
                "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
              },
              {
                "op": "SLOAD",
                "pc": 2686,
                "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
              },
              {
                "op": "SLOAD",
                "pc": 2973,
                "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"

thinking
**Analyzing suspicious function entries**
exec
/bin/bash -lc "sed -n '11200,11480p' BYTECODE_BUNDLE.json" in /tmp/codex-0hr5vaxc succeeded in 20ms:
          "pc": 1029,
          "type": "callsite"
        },
        {
          "id": "call:1223",
          "opcode": "STATICCALL",
          "pc": 1223,
          "type": "callsite"
        },
        {
          "id": "call:1341",
          "opcode": "CALL",
          "pc": 1341,
          "type": "callsite"
        },
        {
          "id": "call:1521",
          "opcode": "STATICCALL",
          "pc": 1521,
          "type": "callsite"

thinking
**Searching for storage-related data**
exec
/bin/bash -lc "sed -n '7460,7585p' BYTECODE_BUNDLE.json" in /tmp/codex-0hr5vaxc succeeded in 6ms:
                "op": "SLOAD",
                "pc": 2973,
                "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
              }
            ],
            "writes": 1
          }
        }
      ],
      "selectors": [
        "0xc50d8f41",
        "0xc5f4127a",
        "0xc8743864",
        "0xd65890b4",
        "0x82f11491",
        "0x8da5cb5b",
        "0x90b8fc6a",
        "0x51cbd036",
        "0x729a60c0",
        "0x82e7486d",

thinking
**Investigating callsite opcodes for security analysis**

I’m focusing on analyzing callsites by locating basic blocks around specific program counters in the opcode list to assess potential security risks like reentrancy or missing return value checks. Since I only have the opcode JSON artifact and a read-only environment, I plan to use a minimal inline Python script to extract and examine the relevant instruction blocks for deeper insight.
exec
/bin/bash -lc "python - <<'PY'
import json
import bisect
from pathlib import Path

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
# create list of (start_pc, end_pc, opcodes)
blocks_sorted=sorted([(b['start_pc'], b['end_pc'], b.get('opcodes'), b.get('hash')) for b in blocks if 'start_pc' in b])

pcs=[1029,1341,1754,1887,2146,2535,2855]

for pc in pcs:
    # find block containing pc
    blk=None
    for s,e,ops,hashv in blocks_sorted:
        if s<=pc<=e:
            blk=(s,e,ops,hashv)
            break
    print('pc',pc,'block',blk[0] if blk else None,'-',blk[1] if blk else None)
    if blk and blk[2]:
        print('ops:', ' '.join(blk[2]))
    else:
        print('ops: None')
    print('---')
PY" in /tmp/codex-0hr5vaxc succeeded in 30ms:
pc 1029 block 1026 - 1036
ops: JUMPDEST POP GAS CALL ISZERO OP_80 ISZERO PUSH2 JUMPI
---
pc 1341 block 1328 - 1348
ops: JUMPDEST PUSH1 PUSH1 MLOAD OP_80 OP_83 SUB OP_81 OP_85 OP_88 GAS CALL ISZERO OP_80 ISZERO PUSH2 JUMPI
---
pc 1754 block 1751 - 1761
ops: JUMPDEST POP GAS CALL ISZERO OP_80 ISZERO PUSH2 JUMPI
---
pc 1887 block 1874 - 1901
ops: JUMPDEST PUSH1 PUSH1 MLOAD OP_80 OP_83 SUB OP_81 OP_85 OP_87 GAS CALL OP_92 POP POP POP RETURNDATASIZE OP_80 PUSH1 OP_81 EQ PUSH2 JUMPI
---
pc 2146 block 2119 - 2160
ops: JUMPDEST PUSH1 MLOAD SELFBALANCE OP_90 PUSH1 PUSH1 PUSH1 SHL SUB OP_83 AND OP_90 OP_82 OP_90 PUSH1 OP_81 OP_81 OP_81 OP_85 OP_87 GAS CALL OP_92 POP POP POP RETURNDATASIZE OP_80 PUSH1 OP_81 EQ PUSH2 JUMPI
---
pc 2535 block 2532 - 2542
ops: JUMPDEST POP GAS CALL ISZERO OP_80 ISZERO PUSH2 JUMPI
---
pc 2855 block 2842 - 2862
ops: JUMPDEST PUSH1 PUSH1 MLOAD OP_80 OP_83 SUB OP_81 OP_85 OP_88 GAS CALL ISZERO OP_80 ISZERO PUSH2 JUMPI

thinking
**Analyzing return data size checks in opcodes**
exec
/bin/bash -lc "python - <<'PY'
import json

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

blocks=data['analysis_artifact']['artifact_json']['basic_blocks']

pcs=[1223,1521,2368,2739,3026]

for pc in pcs:
    blk=None
    for b in blocks:
        if b.get('start_pc') is not None and b['start_pc']<=pc<=b['end_pc']:
            blk=b
            break
    print('pc',pc,'block',blk['start_pc'] if blk else None,'-',blk['end_pc'] if blk else None)
    print('ops:', ' '.join(blk.get('opcodes',[])) if blk else None)
    print('---')
PY" in /tmp/codex-0hr5vaxc succeeded in 29ms:
pc 1223 block 1167 - 1230
ops: PUSH1 OP_80 SLOAD PUSH1 MLOAD PUSH4 PUSH1 SHL OP_81 MSTORE PUSH1 OP_81 ADD OP_84 OP_90 MSTORE PUSH1 PUSH1 PUSH1 SHL SUB OP_90 OP_91 AND OP_90 PUSH4 OP_90 PUSH1 ADD PUSH1 PUSH1 MLOAD OP_80 OP_83 SUB OP_81 OP_86 GAS STATICCALL ISZERO OP_80 ISZERO PUSH2 JUMPI
---
pc 1521 block 1440 - 1528
ops: JUMPDEST PUSH1 OP_80 SLOAD PUSH1 OP_80 MLOAD PUSH32 OP_81 MSTORE OP_90 MLOAD PUSH1 OP_93 PUSH1 PUSH1 PUSH1 SHL SUB OP_90 OP_93 AND OP_92 PUSH4 OP_92 PUSH1 OP_80 OP_82 ADD OP_93 OP_91 OP_82 OP_90 SUB ADD OP_81 OP_86 GAS STATICCALL ISZERO OP_80 ISZERO PUSH2 JUMPI
---
pc 2368 block 2289 - 2375
ops: PUSH1 MLOAD PUSH32 OP_81 MSTORE PUSH1 OP_81 ADD OP_82 OP_90 MSTORE PUSH1 OP_90 PUSH1 PUSH1 PUSH1 SHL SUB OP_87 AND OP_90 PUSH4 OP_90 PUSH1 ADD PUSH1 PUSH1 MLOAD OP_80 OP_83 SUB OP_81 OP_86 GAS STATICCALL ISZERO OP_80 ISZERO PUSH2 JUMPI
---
pc 2739 block 2683 - 2746
ops: PUSH1 OP_80 SLOAD PUSH1 MLOAD PUSH4 PUSH1 SHL OP_81 MSTORE PUSH1 OP_81 ADD OP_84 OP_90 MSTORE PUSH1 PUSH1 PUSH1 SHL SUB OP_90 OP_91 AND OP_90 PUSH4 OP_90 PUSH1 ADD PUSH1 PUSH1 MLOAD OP_80 OP_83 SUB OP_81 OP_86 GAS STATICCALL ISZERO OP_80 ISZERO PUSH2 JUMPI
---
pc 3026 block 2970 - 3033
ops: PUSH1 OP_80 SLOAD PUSH1 MLOAD PUSH4 PUSH1 SHL OP_81 MSTORE PUSH1 OP_81 ADD OP_84 OP_90 MSTORE PUSH1 PUSH1 PUSH1 SHL SUB OP_90 OP_91 AND OP_90 PUSH4 OP_90 PUSH1 ADD PUSH1 PUSH1 MLOAD OP_80 OP_83 SUB OP_81 OP_86 GAS STATICCALL ISZERO OP_80 ISZERO PUSH2 JUMPI
---

thinking
**Analyzing contract call patterns**
exec
/bin/bash -lc "python - <<'PY'
import json

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

blocks=data['analysis_artifact']['artifact_json']['basic_blocks']

# find blocks with SSTORE or DELEGATECALL etc
sstore_blocks=[]
for b in blocks:
    ops=b.get('opcodes')
    if not ops:
        continue
    if 'SSTORE' in ops:
        sstore_blocks.append(b)

print('sstore blocks',len(sstore_blocks))
for b in sstore_blocks[:10]:
    print('block',b['start_pc'],'-',b['end_pc'],'ops',' '.join(b['opcodes']))
PY" in /tmp/codex-0hr5vaxc succeeded in 45ms:
sstore blocks 1
block 2017 - 2055 ops JUMPDEST PUSH1 PUSH1 PUSH1 SHL SUB AND PUSH1 OP_90 OP_81 MSTORE PUSH1 PUSH1 OP_81 OP_90 MSTORE PUSH1 OP_90 OP_91 SHA3 OP_80 SLOAD PUSH1 NOT AND OP_90 OP_91 OR OP_90 SSTORE JUMP

thinking
**Analyzing storage update pattern**
exec
/bin/bash -lc "python - <<'PY'
import json

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

blocks=data['analysis_artifact']['artifact_json']['basic_blocks']

# print blocks around 1980-2060
for b in blocks:
    if b.get('start_pc') is None: continue
    if 1950 <= b['start_pc'] <= 2060:
        print('block',b['start_pc'],'-',b['end_pc'])
        print('ops',' '.join(b.get('opcodes',[])))
PY" in /tmp/codex-0hr5vaxc succeeded in 28ms:
block 1954 - 1972
ops JUMPDEST PUSH1 SLOAD PUSH1 PUSH1 PUSH1 SHL SUB AND CALLER EQ PUSH2 JUMPI
block 1973 - 2016
ops PUSH1 MLOAD PUSH3 PUSH1 SHL OP_81 MSTORE PUSH1 PUSH1 OP_82 ADD MSTORE PUSH1 PUSH1 OP_82 ADD MSTORE PUSH2 PUSH1 SHL PUSH1 OP_82 ADD MSTORE PUSH1 ADD PUSH2 JUMP
block 2017 - 2055
ops JUMPDEST PUSH1 PUSH1 PUSH1 SHL SUB AND PUSH1 OP_90 OP_81 MSTORE PUSH1 PUSH1 OP_81 OP_90 MSTORE PUSH1 OP_90 OP_91 SHA3 OP_80 SLOAD PUSH1 NOT AND OP_90 OP_91 OR OP_90 SSTORE JUMP
block 2056 - 2074
ops JUMPDEST PUSH1 SLOAD PUSH1 PUSH1 PUSH1 SHL SUB AND CALLER EQ PUSH2 JUMPI

thinking
**Analyzing access control near call sites**
exec
/bin/bash -lc "python - <<'PY'
import json

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

blocks=sorted([b for b in data['analysis_artifact']['artifact_json']['basic_blocks'] if b.get('start_pc') is not None], key=lambda b:b['start_pc'])

for b in blocks:
    if 980 <= b['start_pc'] <= 1060:
        print('block',b['start_pc'],'-',b['end_pc'])
        print('ops',' '.join(b.get('opcodes',[])))
PY" in /tmp/codex-0hr5vaxc succeeded in 37ms:
block 1022 - 1025
ops PUSH1 OP_80 REVERT
block 1026 - 1036
ops JUMPDEST POP GAS CALL ISZERO OP_80 ISZERO PUSH2 JUMPI
block 1037 - 1045
ops RETURNDATASIZE PUSH1 OP_80 RETURNDATACOPY RETURNDATASIZE PUSH1 REVERT
block 1046 - 1060
ops JUMPDEST POP POP POP POP OP_80 OP_80 PUSH2 OP_90 PUSH2 JUMP

thinking
**Inspecting call context and access control**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=sorted([b for b in data['analysis_artifact']['artifact_json']['basic_blocks'] if b.get('start_pc') is not None], key=lambda b:b['start_pc'])
for b in blocks:
    if 880 <= b['start_pc'] <= 980:
        print('block',b['start_pc'],'-',b['end_pc'])
        print('ops',' '.join(b.get('opcodes',[])))
PY" in /tmp/codex-0hr5vaxc succeeded in 27ms:
block 889 - 895
ops JUMPDEST OP_81 GT PUSH2 JUMPI
block 896 - 905
ops OP_82 OP_82 OP_82 OP_81 OP_81 LT PUSH2 JUMPI
block 906 - 912
ops PUSH2 PUSH2 JUMP
block 913 - 933
ops JUMPDEST OP_90 POP PUSH1 MUL ADD PUSH1 OP_81 ADD OP_90 PUSH2 OP_91 OP_90 PUSH2 JUMP
block 934 - 1021
ops JUMPDEST PUSH1 MLOAD PUSH32 OP_81 MSTORE CALLER PUSH1 OP_82 ADD MSTORE PUSH1 PUSH1 PUSH1 SHL SUB OP_91 OP_90 OP_91 AND OP_90 PUSH4 OP_90 PUSH1 ADD PUSH1 PUSH1 MLOAD OP_80 OP_83 SUB OP_81 PUSH1 OP_87 OP_80 EXTCODESIZE ISZERO OP_80 ISZERO PUSH2 JUMPI

thinking
**Analyzing call data and access control risks**

I'm piecing together how the contract builds call data involving CALLER and EXTCODESIZE, hinting at verifying targets as contracts and owner checks. The selectors suggest ownership and NFT receiving, pointing to a minimal forwarding or proxy-like contract that executes external calls with ETH transfers. Access control is unclear—some CALLER checks appear, yet no guard detection was found, raising concerns about potential arbitrary call execution. I’m also weighing reentrancy possibilities given external calls and storage writes without obvious guards, and confirming lack of upgradeability or signature validation. Overall, I want to cautiously flag potential medium-severity issues around unguarded external calls and access control ambiguities, while noting some evidence hints at internal call targets.
exec
/bin/bash -lc "python - <<'PY'
import json

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

blocks=[b for b in data['analysis_artifact']['artifact_json']['basic_blocks'] if b.get('opcodes')]

caller_blocks=[b for b in blocks if 'CALLER' in b['opcodes']]
print('CALLER blocks',len(caller_blocks))
for b in caller_blocks:
    print('block',b['start_pc'],'-',b['end_pc'],'ops',' '.join(b['opcodes']))
PY" in /tmp/codex-0hr5vaxc succeeded in 34ms:
CALLER blocks 10
block 220 - 276 ops PUSH1 OP_80 MLOAD CALLER OP_81 MSTORE CALLVALUE PUSH1 OP_82 ADD MSTORE PUSH32 OP_91 ADD PUSH1 MLOAD OP_80 OP_91 SUB OP_90 OP_A1 STOP
block 797 - 826 ops JUMPDEST CALLER PUSH1 OP_90 OP_81 MSTORE PUSH1 PUSH1 OP_81 OP_90 MSTORE PUSH1 OP_90 OP_91 SHA3 SLOAD PUSH1 AND ISZERO ISZERO EQ PUSH2 JUMPI
block 934 - 1021 ops JUMPDEST PUSH1 MLOAD PUSH32 OP_81 MSTORE CALLER PUSH1 OP_82 ADD MSTORE PUSH1 PUSH1 PUSH1 SHL SUB OP_91 OP_90 OP_91 AND OP_90 PUSH4 OP_90 PUSH1 ADD PUSH1 PUSH1 MLOAD OP_80 OP_83 SUB OP_81 PUSH1 OP_87 OP_80 EXTCODESIZE ISZERO OP_80 ISZERO PUSH2 JUMPI
block 1074 - 1103 ops JUMPDEST CALLER PUSH1 OP_90 OP_81 MSTORE PUSH1 PUSH1 OP_81 OP_90 MSTORE PUSH1 OP_90 OP_91 SHA3 SLOAD PUSH1 AND ISZERO ISZERO EQ PUSH2 JUMPI
block 1583 - 1601 ops JUMPDEST PUSH1 SLOAD PUSH1 PUSH1 PUSH1 SHL SUB AND CALLER EQ PUSH2 JUMPI
block 1780 - 1799 ops JUMPDEST PUSH1 OP_80 SLOAD PUSH1 PUSH1 PUSH1 SHL SUB AND CALLER EQ PUSH2 JUMPI
block 1954 - 1972 ops JUMPDEST PUSH1 SLOAD PUSH1 PUSH1 PUSH1 SHL SUB AND CALLER EQ PUSH2 JUMPI
block 2056 - 2074 ops JUMPDEST PUSH1 SLOAD PUSH1 PUSH1 PUSH1 SHL SUB AND CALLER EQ PUSH2 JUMPI
block 2206 - 2235 ops JUMPDEST CALLER PUSH1 OP_90 OP_81 MSTORE PUSH1 PUSH1 OP_81 OP_90 MSTORE PUSH1 OP_90 OP_91 SHA3 SLOAD PUSH1 AND ISZERO ISZERO EQ PUSH2 JUMPI
block 2576 - 2605 ops JUMPDEST CALLER PUSH1 OP_90 OP_81 MSTORE PUSH1 PUSH1 OP_81 OP_90 MSTORE PUSH1 OP_90 OP_91 SHA3 SLOAD PUSH1 AND ISZERO ISZERO EQ PUSH2 JUMPI

thinking
**Analyzing access control via mapping and owner checks**
exec
/bin/bash -lc "python - <<'PY'
import json
from collections import defaultdict

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

edges=data['analysis_artifact']['artifact_json']['cfg_edges']
# build adjacency
adj=defaultdict(list)
for e in edges:
    adj[e['from']].append(e['to'])

# map start_pc to bb id
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
start_to_id={b['start_pc']: b.get('id', f\"bb:{b['start_pc']}\") for b in blocks if b.get('start_pc') is not None}
# ensure ids in edges are like bb:xxx
# We need start pcs for 797 etc to id
for s in [797,934,1026,1074,1341,1751,1874,2119,2532,2842,2206,2576,1583,1780,1954,2056]:
    # find block by start
    bb=None
    for b in blocks:
        if b.get('start_pc')==s:
            bb=b.get('id', f\"bb:{s}\")
            break
    print('start',s,'bb',bb,'edges->',adj.get(bb,[]))

PY" in /tmp/codex-0hr5vaxc succeeded in 40ms:
start 797 bb bb:797 edges-> ['bb:875', 'bb:827']
start 934 bb bb:934 edges-> ['bb:1026', 'bb:1022']
start 1026 bb bb:1026 edges-> ['bb:1046', 'bb:1037']
start 1074 bb bb:1074 edges-> ['bb:1147', 'bb:1104']
start 1341 bb None edges-> []
start 1751 bb bb:1751 edges-> ['bb:1771', 'bb:1762']
start 1874 bb bb:1874 edges-> ['bb:1935', 'bb:1902']
start 2119 bb bb:2119 edges-> ['bb:2194', 'bb:2161']
start 2532 bb bb:2532 edges-> ['bb:2552', 'bb:2543']
start 2842 bb bb:2842 edges-> ['bb:2872', 'bb:2863']
start 2206 bb bb:2206 edges-> ['bb:2279', 'bb:2236']
start 2576 bb bb:2576 edges-> ['bb:2649', 'bb:2606']
start 1583 bb bb:1583 edges-> ['bb:1646', 'bb:1602']
start 1780 bb bb:1780 edges-> ['bb:1844', 'bb:1800']
start 1954 bb bb:1954 edges-> ['bb:2017', 'bb:1973']
start 2056 bb bb:2056 edges-> ['bb:2119', 'bb:2075']

thinking
**Tracing control flow to call block**
exec
/bin/bash -lc "python - <<'PY'
import json
from collections import defaultdict

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

edges=data['analysis_artifact']['artifact_json']['cfg_edges']

pred=defaultdict(list)
for e in edges:
    pred[e['to']].append(e['from'])

# function to print predecessors for a bb id
for bb in ['bb:934','bb:1026','bb:1328','bb:1751','bb:1874','bb:2119','bb:2532','bb:2842']:
    print(bb,'pred',pred.get(bb))
PY" in /tmp/codex-0hr5vaxc succeeded in 32ms:
bb:934 pred None
bb:1026 pred ['bb:934']
bb:1328 pred None
bb:1751 pred ['bb:1646']
bb:1874 pred None
bb:2119 pred ['bb:2056']
bb:2532 pred ['bb:2421']
bb:2842 pred None

thinking
**Analyzing missing predecessors and paths**
exec
/bin/bash -lc "python - <<'PY'
import json
from collections import defaultdict, deque

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

edges=data['analysis_artifact']['artifact_json']['cfg_edges']

adj=defaultdict(list)
for e in edges:
    adj[e['from']].append(e['to'])

start='bb:797'
target='bb:934'

queue=deque([start])
visited=set([start])
found=False
while queue:
    node=queue.popleft()
    if node==target:
        found=True
        break
    for nxt in adj.get(node,[]):
        if nxt not in visited:
            visited.add(nxt)
            queue.append(nxt)

print('reachable',found,'visited',len(visited))
PY" in /tmp/codex-0hr5vaxc succeeded in 36ms:
reachable False visited 9

thinking
**Analyzing callsite-to-storage paths**

I'm figuring out if external call blocks connect to storage-write blocks by exploring control flow edges and entry points, aiming to spot potential reentrancy or unchecked-call risks in functions with complex or unclear access control.
exec
/bin/bash -lc "python - <<'PY'
import json
from collections import defaultdict, deque

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

edges=data['analysis_artifact']['artifact_json']['cfg_edges']

adj=defaultdict(list)
for e in edges:
    adj[e['from']].append(e['to'])

# function to BFS

def reachable(start, target):
    if start not in adj: return False
    q=deque([start])
    seen=set([start])
    while q:
        n=q.popleft()
        if n==target:
            return True
        for nxt in adj.get(n,[]):
            if nxt not in seen:
                seen.add(nxt)
                q.append(nxt)
    return False

# callsite blocks
call_blocks=['bb:1026','bb:1328','bb:1751','bb:1874','bb:2119','bb:2532','bb:2842']
# sstore block
sstore='bb:2017'

for cb in call_blocks:
    print(cb,'-> sstore',reachable(cb,sstore))
PY" in /tmp/codex-0hr5vaxc succeeded in 28ms:
bb:1026 -> sstore False
bb:1328 -> sstore False
bb:1751 -> sstore False
bb:1874 -> sstore False
bb:2119 -> sstore False
bb:2532 -> sstore False
bb:2842 -> sstore False

thinking
**Analyzing external call and access control risks**
exec
/bin/bash -lc "python - <<'PY'
pcs=[1029,1341,1754,1887,2146,2535,2855]
for pc in pcs:
    print(pc, hex(pc))
PY" in /tmp/codex-0hr5vaxc succeeded in 44ms:
1029 0x405
1341 0x53d
1754 0x6da
1887 0x75f
2146 0x862
2535 0x9e7
2855 0xb27

thinking
**Composing detailed security findings**
codex
{"no_findings":false,"summary":"Bytecode shows multiple computed CALLs (some with ETH) and no detected guards; access control around these execution paths is unclear from bytecode. No delegatecall/proxy indicators were found.","findings":[{"severity":"medium","category":"access_control","title":"Potential arbitrary external CALL with ETH value if execution path is ungated","exploit_scenario":"If any publicly callable selector forwards user-supplied target/value, an attacker could invoke it to make this contract send ETH or interact with arbitrary contracts from its balance. The analysis only shows computed CALL targets/values and no detected guards; a validation trace saw a constant target to self but it was not confirmed, so actual risk depends on the presence of access control in those paths.","recommendation":"Confirm that any call-forwarding/execution selectors require strict owner/authorized checks; restrict target/value or add allowlisting. Consider adding a reentrancy guard if state can be mutated before/after external calls.","evidence":"Detector findings report 7 CALL sites with computed target/value and no guards detected; ETH value transfers possible. Validation saw constant target = this contract but was not confirmed.","locations":["pc:0x405","pc:0x53d","pc:0x6da","pc:0x75f","pc:0x862","pc:0x9e7","pc:0xb27"]}]}
tokens used
113,977

{
    "codex": {
        "ran_at": "2026-01-11T07:49:05.448288+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 9124,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode shows multiple computed CALLs (some with ETH) and no detected guards; access control around these execution paths is unclear from bytecode. No delegatecall/proxy indicators were found.",
    "raw_final": {
        "summary": "Bytecode shows multiple computed CALLs (some with ETH) and no detected guards; access control around these execution paths is unclear from bytecode. No delegatecall/proxy indicators were found.",
        "findings": [
            {
                "title": "Potential arbitrary external CALL with ETH value if execution path is ungated",
                "category": "access_control",
                "evidence": "Detector findings report 7 CALL sites with computed target/value and no guards detected; ETH value transfers possible. Validation saw constant target = this contract but was not confirmed.",
                "severity": "medium",
                "locations": [
                    "pc:0x405",
                    "pc:0x53d",
                    "pc:0x6da",
                    "pc:0x75f",
                    "pc:0x862",
                    "pc:0x9e7",
                    "pc:0xb27"
                ],
                "recommendation": "Confirm that any call-forwarding/execution selectors require strict owner/authorized checks; restrict target/value or add allowlisting. Consider adding a reentrancy guard if state can be mutated before/after external calls.",
                "exploit_scenario": "If any publicly callable selector forwards user-supplied target/value, an attacker could invoke it to make this contract send ETH or interact with arbitrary contracts from its balance. The analysis only shows computed CALL targets/values and no detected guards; a validation trace saw a constant target to self but it was not confirmed, so actual risk depends on the presence of access control in those paths."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00d6
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x82f11491
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc50d8f41
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc50d8f41
0000002f: EQ
00000030: PUSH2 0x02aa
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc5f4127a
0000003a: EQ
0000003b: PUSH2 0x02ca
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xc8743864
00000045: EQ
00000046: PUSH2 0x02ea
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd65890b4
00000050: EQ
00000051: PUSH2 0x02fd
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x82f11491
00000060: EQ
00000061: PUSH2 0x023f
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x8da5cb5b
0000006b: EQ
0000006c: PUSH2 0x0252
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x90b8fc6a
00000076: EQ
00000077: PUSH2 0x028a
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x51cbd036
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x51cbd036
00000091: EQ
00000092: PUSH2 0x01ea
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x729a60c0
0000009c: EQ
0000009d: PUSH2 0x01fd
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x82e7486d
000000a7: EQ
000000a8: PUSH2 0x021f
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x11b5779e
000000b7: EQ
000000b8: PUSH2 0x011a
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x150b7a02
000000c2: EQ
000000c3: PUSH2 0x012f
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x429b62e5
000000cd: EQ
000000ce: PUSH2 0x01aa
000000d1: JUMPI
000000d2: PUSH1 0x00
000000d4: DUP1
000000d5: REVERT
000000d6: JUMPDEST
000000d7: CALLDATASIZE
000000d8: PUSH2 0x0115
000000db: JUMPI
000000dc: PUSH1 0x40
000000de: DUP1
000000df: MLOAD
000000e0: CALLER
000000e1: DUP2
000000e2: MSTORE
000000e3: CALLVALUE
000000e4: PUSH1 0x20
000000e6: DUP3
000000e7: ADD
000000e8: MSTORE
000000e9: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874
0000010a: SWAP2
0000010b: ADD
0000010c: PUSH1 0x40
0000010e: MLOAD
0000010f: DUP1
00000110: SWAP2
00000111: SUB
00000112: SWAP1
00000113: LOG1
00000114: STOP
00000115: JUMPDEST
00000116: PUSH1 0x00
00000118: DUP1
00000119: REVERT
0000011a: JUMPDEST
0000011b: PUSH2 0x012d
0000011e: PUSH2 0x0128
00000121: CALLDATASIZE
00000122: PUSH1 0x04
00000124: PUSH2 0x0c67
00000127: JUMP
00000128: JUMPDEST
00000129: PUSH2 0x031d
0000012c: JUMP
0000012d: JUMPDEST
0000012e: STOP
0000012f: JUMPDEST
00000130: CALLVALUE
00000131: DUP1
00000132: ISZERO
00000133: PUSH2 0x013b
00000136: JUMPI
00000137: PUSH1 0x00
00000139: DUP1
0000013a: REVERT
0000013b: JUMPDEST
0000013c: POP
0000013d: PUSH2 0x0174
00000140: PUSH2 0x014a
00000143: CALLDATASIZE
00000144: PUSH1 0x04
00000146: PUSH2 0x0d3d
00000149: JUMP
0000014a: JUMPDEST
0000014b: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
0000016c: SWAP6
0000016d: SWAP5
0000016e: POP
0000016f: POP
00000170: POP
00000171: POP
00000172: POP
00000173: JUMP
00000174: JUMPDEST
00000175: PUSH1 0x40
00000177: MLOAD
00000178: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000199: SWAP1
0000019a: SWAP2
0000019b: AND
0000019c: DUP2
0000019d: MSTORE
0000019e: PUSH1 0x20
000001a0: ADD
000001a1: JUMPDEST
000001a2: PUSH1 0x40
000001a4: MLOAD
000001a5: DUP1
000001a6: SWAP2
000001a7: SUB
000001a8: SWAP1
000001a9: RETURN
000001aa: JUMPDEST
000001ab: CALLVALUE
000001ac: DUP1
000001ad: ISZERO
000001ae: PUSH2 0x01b6
000001b1: JUMPI
000001b2: PUSH1 0x00
000001b4: DUP1
000001b5: REVERT
000001b6: JUMPDEST
000001b7: POP
000001b8: PUSH2 0x01da
000001bb: PUSH2 0x01c5
000001be: CALLDATASIZE
000001bf: PUSH1 0x04
000001c1: PUSH2 0x0db0
000001c4: JUMP
000001c5: JUMPDEST
000001c6: PUSH1 0x01
000001c8: PUSH1 0x20
000001ca: MSTORE
000001cb: PUSH1 0x00
000001cd: SWAP1
000001ce: DUP2
000001cf: MSTORE
000001d0: PUSH1 0x40
000001d2: SWAP1
000001d3: KECCAK256
000001d4: SLOAD
000001d5: PUSH1 0xff
000001d7: AND
000001d8: DUP2
000001d9: JUMP
000001da: JUMPDEST
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: SWAP1
000001df: ISZERO
000001e0: ISZERO
000001e1: DUP2
000001e2: MSTORE
000001e3: PUSH1 0x20
000001e5: ADD
000001e6: PUSH2 0x01a1
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH2 0x012d
000001ee: PUSH2 0x01f8
000001f1: CALLDATASIZE
000001f2: PUSH1 0x04
000001f4: PUSH2 0x0dd4
000001f7: JUMP
000001f8: JUMPDEST
000001f9: PUSH2 0x0432
000001fc: JUMP
000001fd: JUMPDEST
000001fe: CALLVALUE
000001ff: DUP1
00000200: ISZERO
00000201: PUSH2 0x0209
00000204: JUMPI
00000205: PUSH1 0x00
00000207: DUP1
00000208: REVERT
00000209: JUMPDEST
0000020a: POP
0000020b: PUSH2 0x0212
0000020e: PUSH2 0x05a0
00000211: JUMP
00000212: JUMPDEST
00000213: PUSH1 0x40
00000215: MLOAD
00000216: PUSH2 0x01a1
00000219: SWAP2
0000021a: SWAP1
0000021b: PUSH2 0x0e3b
0000021e: JUMP
0000021f: JUMPDEST
00000220: CALLVALUE
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: PUSH2 0x012d
00000230: PUSH2 0x023a
00000233: CALLDATASIZE
00000234: PUSH1 0x04
00000236: PUSH2 0x0e88
00000239: JUMP
0000023a: JUMPDEST
0000023b: PUSH2 0x062f
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH2 0x01da
00000243: PUSH2 0x024d
00000246: CALLDATASIZE
00000247: PUSH1 0x04
00000249: PUSH2 0x0ec9
0000024c: JUMP
0000024d: JUMPDEST
0000024e: PUSH2 0x06f4
00000251: JUMP
00000252: JUMPDEST
00000253: CALLVALUE
00000254: DUP1
00000255: ISZERO
00000256: PUSH2 0x025e
00000259: JUMPI
0000025a: PUSH1 0x00
0000025c: DUP1
0000025d: REVERT
0000025e: JUMPDEST
0000025f: POP
00000260: PUSH1 0x00
00000262: SLOAD
00000263: PUSH2 0x0272
00000266: SWAP1
00000267: PUSH1 0x01
00000269: PUSH1 0x01
0000026b: PUSH1 0xa0
0000026d: SHL
0000026e: SUB
0000026f: AND
00000270: DUP2
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH1 0x40
00000275: MLOAD
00000276: PUSH1 0x01
00000278: PUSH1 0x01
0000027a: PUSH1 0xa0
0000027c: SHL
0000027d: SUB
0000027e: SWAP1
0000027f: SWAP2
00000280: AND
00000281: DUP2
00000282: MSTORE
00000283: PUSH1 0x20
00000285: ADD
00000286: PUSH2 0x01a1
00000289: JUMP
0000028a: JUMPDEST
0000028b: CALLVALUE
0000028c: DUP1
0000028d: ISZERO
0000028e: PUSH2 0x0296
00000291: JUMPI
00000292: PUSH1 0x00
00000294: DUP1
00000295: REVERT
00000296: JUMPDEST
00000297: POP
00000298: PUSH2 0x012d
0000029b: PUSH2 0x02a5
0000029e: CALLDATASIZE
0000029f: PUSH1 0x04
000002a1: PUSH2 0x0db0
000002a4: JUMP
000002a5: JUMPDEST
000002a6: PUSH2 0x07a2
000002a9: JUMP
000002aa: JUMPDEST
000002ab: CALLVALUE
000002ac: DUP1
000002ad: ISZERO
000002ae: PUSH2 0x02b6
000002b1: JUMPI
000002b2: PUSH1 0x00
000002b4: DUP1
000002b5: REVERT
000002b6: JUMPDEST
000002b7: POP
000002b8: PUSH2 0x012d
000002bb: PUSH2 0x02c5
000002be: CALLDATASIZE
000002bf: PUSH1 0x04
000002c1: PUSH2 0x0db0
000002c4: JUMP
000002c5: JUMPDEST
000002c6: PUSH2 0x0808
000002c9: JUMP
000002ca: JUMPDEST
000002cb: CALLVALUE
000002cc: DUP1
000002cd: ISZERO
000002ce: PUSH2 0x02d6
000002d1: JUMPI
000002d2: PUSH1 0x00
000002d4: DUP1
000002d5: REVERT
000002d6: JUMPDEST
000002d7: POP
000002d8: PUSH2 0x012d
000002db: PUSH2 0x02e5
000002de: CALLDATASIZE
000002df: PUSH1 0x04
000002e1: PUSH2 0x0f25
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH2 0x089e
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH2 0x012d
000002ee: PUSH2 0x02f8
000002f1: CALLDATASIZE
000002f2: PUSH1 0x04
000002f4: PUSH2 0x0dd4
000002f7: JUMP
000002f8: JUMPDEST
000002f9: PUSH2 0x0a10
000002fc: JUMP
000002fd: JUMPDEST
000002fe: CALLVALUE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x0309
00000304: JUMPI
00000305: PUSH1 0x00
00000307: DUP1
00000308: REVERT
00000309: JUMPDEST
0000030a: POP
0000030b: PUSH2 0x0212
0000030e: PUSH2 0x0318
00000311: CALLDATASIZE
00000312: PUSH1 0x04
00000314: PUSH2 0x0f6b
00000317: JUMP
00000318: JUMPDEST
00000319: PUSH2 0x0b82
0000031c: JUMP
0000031d: JUMPDEST
0000031e: CALLER
0000031f: PUSH1 0x00
00000321: SWAP1
00000322: DUP2
00000323: MSTORE
00000324: PUSH1 0x01
00000326: PUSH1 0x20
00000328: DUP2
00000329: SWAP1
0000032a: MSTORE
0000032b: PUSH1 0x40
0000032d: SWAP1
0000032e: SWAP2
0000032f: KECCAK256
00000330: SLOAD
00000331: PUSH1 0xff
00000333: AND
00000334: ISZERO
00000335: ISZERO
00000336: EQ
00000337: PUSH2 0x036b
0000033a: JUMPI
0000033b: PUSH1 0x40
0000033d: MLOAD
0000033e: PUSH3 0x461bcd
00000342: PUSH1 0xe5
00000344: SHL
00000345: DUP2
00000346: MSTORE
00000347: PUSH1 0x20
00000349: PUSH1 0x04
0000034b: DUP3
0000034c: ADD
0000034d: MSTORE
0000034e: PUSH1 0x01
00000350: PUSH1 0x24
00000352: DUP3
00000353: ADD
00000354: MSTORE
00000355: PUSH1 0x37
00000357: PUSH1 0xf9
00000359: SHL
0000035a: PUSH1 0x44
0000035c: DUP3
0000035d: ADD
0000035e: MSTORE
0000035f: PUSH1 0x64
00000361: ADD
00000362: JUMPDEST
00000363: PUSH1 0x40
00000365: MLOAD
00000366: DUP1
00000367: SWAP2
00000368: SUB
00000369: SWAP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: PUSH1 0x00
0000036e: JUMPDEST
0000036f: PUSH2 0x0379
00000372: PUSH1 0x01
00000374: DUP4
00000375: PUSH2 0x0f9a
00000378: JUMP
00000379: JUMPDEST
0000037a: DUP2
0000037b: GT
0000037c: PUSH2 0x042d
0000037f: JUMPI
00000380: DUP3
00000381: DUP3
00000382: DUP3
00000383: DUP2
00000384: DUP2
00000385: LT
00000386: PUSH2 0x0391
00000389: JUMPI
0000038a: PUSH2 0x0391
0000038d: PUSH2 0x0fb3
00000390: JUMP
00000391: JUMPDEST
00000392: SWAP1
00000393: POP
00000394: PUSH1 0x20
00000396: MUL
00000397: ADD
00000398: PUSH1 0x20
0000039a: DUP2
0000039b: ADD
0000039c: SWAP1
0000039d: PUSH2 0x03a6
000003a0: SWAP2
000003a1: SWAP1
000003a2: PUSH2 0x0db0
000003a5: JUMP
000003a6: JUMPDEST
000003a7: PUSH1 0x40
000003a9: MLOAD
000003aa: PUSH32 0xc50d8f4100000000000000000000000000000000000000000000000000000000
000003cb: DUP2
000003cc: MSTORE
000003cd: CALLER
000003ce: PUSH1 0x04
000003d0: DUP3
000003d1: ADD
000003d2: MSTORE
000003d3: PUSH1 0x01
000003d5: PUSH1 0x01
000003d7: PUSH1 0xa0
000003d9: SHL
000003da: SUB
000003db: SWAP2
000003dc: SWAP1
000003dd: SWAP2
000003de: AND
000003df: SWAP1
000003e0: PUSH4 0xc50d8f41
000003e5: SWAP1
000003e6: PUSH1 0x24
000003e8: ADD
000003e9: PUSH1 0x00
000003eb: PUSH1 0x40
000003ed: MLOAD
000003ee: DUP1
000003ef: DUP4
000003f0: SUB
000003f1: DUP2
000003f2: PUSH1 0x00
000003f4: DUP8
000003f5: DUP1
000003f6: EXTCODESIZE
000003f7: ISZERO
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: GAS
00000405: CALL
00000406: ISZERO
00000407: DUP1
00000408: ISZERO
00000409: PUSH2 0x0416
0000040c: JUMPI
0000040d: RETURNDATASIZE
0000040e: PUSH1 0x00
00000410: DUP1
00000411: RETURNDATACOPY
00000412: RETURNDATASIZE
00000413: PUSH1 0x00
00000415: REVERT
00000416: JUMPDEST
00000417: POP
00000418: POP
00000419: POP
0000041a: POP
0000041b: DUP1
0000041c: DUP1
0000041d: PUSH2 0x0425
00000420: SWAP1
00000421: PUSH2 0x0fc9
00000424: JUMP
00000425: JUMPDEST
00000426: SWAP2
00000427: POP
00000428: POP
00000429: PUSH2 0x036e
0000042c: JUMP
0000042d: JUMPDEST
0000042e: POP
0000042f: POP
00000430: POP
00000431: JUMP
00000432: JUMPDEST
00000433: CALLER
00000434: PUSH1 0x00
00000436: SWAP1
00000437: DUP2
00000438: MSTORE
00000439: PUSH1 0x01
0000043b: PUSH1 0x20
0000043d: DUP2
0000043e: SWAP1
0000043f: MSTORE
00000440: PUSH1 0x40
00000442: SWAP1
00000443: SWAP2
00000444: KECCAK256
00000445: SLOAD
00000446: PUSH1 0xff
00000448: AND
00000449: ISZERO
0000044a: ISZERO
0000044b: EQ
0000044c: PUSH2 0x047b
0000044f: JUMPI
00000450: PUSH1 0x40
00000452: MLOAD
00000453: PUSH3 0x461bcd
00000457: PUSH1 0xe5
00000459: SHL
0000045a: DUP2
0000045b: MSTORE
0000045c: PUSH1 0x20
0000045e: PUSH1 0x04
00000460: DUP3
00000461: ADD
00000462: MSTORE
00000463: PUSH1 0x01
00000465: PUSH1 0x24
00000467: DUP3
00000468: ADD
00000469: MSTORE
0000046a: PUSH1 0x37
0000046c: PUSH1 0xf9
0000046e: SHL
0000046f: PUSH1 0x44
00000471: DUP3
00000472: ADD
00000473: MSTORE
00000474: PUSH1 0x64
00000476: ADD
00000477: PUSH2 0x0362
0000047a: JUMP
0000047b: JUMPDEST
0000047c: DUP2
0000047d: JUMPDEST
0000047e: PUSH2 0x0488
00000481: PUSH1 0x01
00000483: DUP4
00000484: PUSH2 0x0f9a
00000487: JUMP
00000488: JUMPDEST
00000489: DUP2
0000048a: GT
0000048b: PUSH2 0x0598
0000048e: JUMPI
0000048f: PUSH1 0x00
00000491: DUP1
00000492: SLOAD
00000493: PUSH1 0x40
00000495: MLOAD
00000496: PUSH4 0x0d4c43fd
0000049b: PUSH1 0xe4
0000049d: SHL
0000049e: DUP2
0000049f: MSTORE
000004a0: PUSH1 0x04
000004a2: DUP2
000004a3: ADD
000004a4: DUP5
000004a5: SWAP1
000004a6: MSTORE
000004a7: PUSH1 0x01
000004a9: PUSH1 0x01
000004ab: PUSH1 0xa0
000004ad: SHL
000004ae: SUB
000004af: SWAP1
000004b0: SWAP2
000004b1: AND
000004b2: SWAP1
000004b3: PUSH4 0xd4c43fd0
000004b8: SWAP1
000004b9: PUSH1 0x24
000004bb: ADD
000004bc: PUSH1 0x20
000004be: PUSH1 0x40
000004c0: MLOAD
000004c1: DUP1
000004c2: DUP4
000004c3: SUB
000004c4: DUP2
000004c5: DUP7
000004c6: GAS
000004c7: STATICCALL
000004c8: ISZERO
000004c9: DUP1
000004ca: ISZERO
000004cb: PUSH2 0x04d8
000004ce: JUMPI
000004cf: RETURNDATASIZE
000004d0: PUSH1 0x00
000004d2: DUP1
000004d3: RETURNDATACOPY
000004d4: RETURNDATASIZE
000004d5: PUSH1 0x00
000004d7: REVERT
000004d8: JUMPDEST
000004d9: POP
000004da: POP
000004db: POP
000004dc: POP
000004dd: PUSH1 0x40
000004df: MLOAD
000004e0: RETURNDATASIZE
000004e1: PUSH1 0x1f
000004e3: NOT
000004e4: PUSH1 0x1f
000004e6: DUP3
000004e7: ADD
000004e8: AND
000004e9: DUP3
000004ea: ADD
000004eb: DUP1
000004ec: PUSH1 0x40
000004ee: MSTORE
000004ef: POP
000004f0: DUP2
000004f1: ADD
000004f2: SWAP1
000004f3: PUSH2 0x04fc
000004f6: SWAP2
000004f7: SWAP1
000004f8: PUSH2 0x0ff2
000004fb: JUMP
000004fc: JUMPDEST
000004fd: PUSH1 0x01
000004ff: PUSH1 0x01
00000501: PUSH1 0xa0
00000503: SHL
00000504: SUB
00000505: AND
00000506: PUSH4 0x82f11491
0000050b: PUSH1 0x00
0000050d: DUP10
0000050e: DUP10
0000050f: DUP10
00000510: PUSH1 0x00
00000512: PUSH1 0x40
00000514: MLOAD
00000515: DUP7
00000516: PUSH4 0xffffffff
0000051b: AND
0000051c: PUSH1 0xe0
0000051e: SHL
0000051f: DUP2
00000520: MSTORE
00000521: PUSH1 0x04
00000523: ADD
00000524: PUSH2 0x0530
00000527: SWAP5
00000528: SWAP4
00000529: SWAP3
0000052a: SWAP2
0000052b: SWAP1
0000052c: PUSH2 0x1038
0000052f: JUMP
00000530: JUMPDEST
00000531: PUSH1 0x20
00000533: PUSH1 0x40
00000535: MLOAD
00000536: DUP1
00000537: DUP4
00000538: SUB
00000539: DUP2
0000053a: DUP6
0000053b: DUP9
0000053c: GAS
0000053d: CALL
0000053e: ISZERO
0000053f: DUP1
00000540: ISZERO
00000541: PUSH2 0x054e
00000544: JUMPI
00000545: RETURNDATASIZE
00000546: PUSH1 0x00
00000548: DUP1
00000549: RETURNDATACOPY
0000054a: RETURNDATASIZE
0000054b: PUSH1 0x00
0000054d: REVERT
0000054e: JUMPDEST
0000054f: POP
00000550: POP
00000551: POP
00000552: POP
00000553: POP
00000554: PUSH1 0x40
00000556: MLOAD
00000557: RETURNDATASIZE
00000558: PUSH1 0x1f
0000055a: NOT
0000055b: PUSH1 0x1f
0000055d: DUP3
0000055e: ADD
0000055f: AND
00000560: DUP3
00000561: ADD
00000562: DUP1
00000563: PUSH1 0x40
00000565: MSTORE
00000566: POP
00000567: DUP2
00000568: ADD
00000569: SWAP1
0000056a: PUSH2 0x0573
0000056d: SWAP2
0000056e: SWAP1
0000056f: PUSH2 0x106c
00000572: JUMP
00000573: JUMPDEST
00000574: SWAP1
00000575: POP
00000576: DUP1
00000577: ISZERO
00000578: PUSH2 0x0581
0000057b: JUMPI
0000057c: POP
0000057d: PUSH2 0x0586
00000580: JUMP
00000581: JUMPDEST
00000582: DUP3
00000583: SWAP2
00000584: POP
00000585: POP
00000586: JUMPDEST
00000587: DUP1
00000588: PUSH2 0x0590
0000058b: DUP2
0000058c: PUSH2 0x0fc9
0000058f: JUMP
00000590: JUMPDEST
00000591: SWAP2
00000592: POP
00000593: POP
00000594: PUSH2 0x047d
00000597: JUMP
00000598: JUMPDEST
00000599: POP
0000059a: POP
0000059b: POP
0000059c: POP
0000059d: POP
0000059e: POP
0000059f: JUMP
000005a0: JUMPDEST
000005a1: PUSH1 0x00
000005a3: DUP1
000005a4: SLOAD
000005a5: PUSH1 0x40
000005a7: DUP1
000005a8: MLOAD
000005a9: PUSH32 0x729a60c000000000000000000000000000000000000000000000000000000000
000005ca: DUP2
000005cb: MSTORE
000005cc: SWAP1
000005cd: MLOAD
000005ce: PUSH1 0x60
000005d0: SWAP4
000005d1: PUSH1 0x01
000005d3: PUSH1 0x01
000005d5: PUSH1 0xa0
000005d7: SHL
000005d8: SUB
000005d9: SWAP1
000005da: SWAP4
000005db: AND
000005dc: SWAP3
000005dd: PUSH4 0x729a60c0
000005e2: SWAP3
000005e3: PUSH1 0x04
000005e5: DUP1
000005e6: DUP3
000005e7: ADD
000005e8: SWAP4
000005e9: SWAP2
000005ea: DUP3
000005eb: SWAP1
000005ec: SUB
000005ed: ADD
000005ee: DUP2
000005ef: DUP7
000005f0: GAS
000005f1: STATICCALL
000005f2: ISZERO
000005f3: DUP1
000005f4: ISZERO
000005f5: PUSH2 0x0602
000005f8: JUMPI
000005f9: RETURNDATASIZE
000005fa: PUSH1 0x00
000005fc: DUP1
000005fd: RETURNDATACOPY
000005fe: RETURNDATASIZE
000005ff: PUSH1 0x00
00000601: REVERT
00000602: JUMPDEST
00000603: POP
00000604: POP
00000605: POP
00000606: POP
00000607: PUSH1 0x40
00000609: MLOAD
0000060a: RETURNDATASIZE
0000060b: PUSH1 0x00
0000060d: DUP3
0000060e: RETURNDATACOPY
0000060f: PUSH1 0x1f
00000611: RETURNDATASIZE
00000612: SWAP1
00000613: DUP2
00000614: ADD
00000615: PUSH1 0x1f
00000617: NOT
00000618: AND
00000619: DUP3
0000061a: ADD
0000061b: PUSH1 0x40
0000061d: MSTORE
0000061e: PUSH2 0x062a
00000621: SWAP2
00000622: SWAP1
00000623: DUP2
00000624: ADD
00000625: SWAP1
00000626: PUSH2 0x10a4
00000629: JUMP
0000062a: JUMPDEST
0000062b: SWAP1
0000062c: POP
0000062d: SWAP1
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH1 0x00
00000632: SLOAD
00000633: PUSH1 0x01
00000635: PUSH1 0x01
00000637: PUSH1 0xa0
00000639: SHL
0000063a: SUB
0000063b: AND
0000063c: CALLER
0000063d: EQ
0000063e: PUSH2 0x066e
00000641: JUMPI
00000642: PUSH1 0x40
00000644: MLOAD
00000645: PUSH3 0x461bcd
00000649: PUSH1 0xe5
0000064b: SHL
0000064c: DUP2
0000064d: MSTORE
0000064e: PUSH1 0x20
00000650: PUSH1 0x04
00000652: DUP3
00000653: ADD
00000654: MSTORE
00000655: PUSH1 0x02
00000657: PUSH1 0x24
00000659: DUP3
0000065a: ADD
0000065b: MSTORE
0000065c: PUSH2 0x39b7
0000065f: PUSH1 0xf1
00000661: SHL
00000662: PUSH1 0x44
00000664: DUP3
00000665: ADD
00000666: MSTORE
00000667: PUSH1 0x64
00000669: ADD
0000066a: PUSH2 0x0362
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH1 0x40
00000671: MLOAD
00000672: PUSH32 0x42842e0e00000000000000000000000000000000000000000000000000000000
00000693: DUP2
00000694: MSTORE
00000695: ADDRESS
00000696: PUSH1 0x04
00000698: DUP3
00000699: ADD
0000069a: MSTORE
0000069b: PUSH1 0x01
0000069d: PUSH1 0x01
0000069f: PUSH1 0xa0
000006a1: SHL
000006a2: SUB
000006a3: DUP4
000006a4: DUP2
000006a5: AND
000006a6: PUSH1 0x24
000006a8: DUP4
000006a9: ADD
000006aa: MSTORE
000006ab: PUSH1 0x44
000006ad: DUP3
000006ae: ADD
000006af: DUP4
000006b0: SWAP1
000006b1: MSTORE
000006b2: DUP5
000006b3: AND
000006b4: SWAP1
000006b5: PUSH4 0x42842e0e
000006ba: SWAP1
000006bb: PUSH1 0x64
000006bd: ADD
000006be: PUSH1 0x00
000006c0: PUSH1 0x40
000006c2: MLOAD
000006c3: DUP1
000006c4: DUP4
000006c5: SUB
000006c6: DUP2
000006c7: PUSH1 0x00
000006c9: DUP8
000006ca: DUP1
000006cb: EXTCODESIZE
000006cc: ISZERO
000006cd: DUP1
000006ce: ISZERO
000006cf: PUSH2 0x06d7
000006d2: JUMPI
000006d3: PUSH1 0x00
000006d5: DUP1
000006d6: REVERT
000006d7: JUMPDEST
000006d8: POP
000006d9: GAS
000006da: CALL
000006db: ISZERO
000006dc: DUP1
000006dd: ISZERO
000006de: PUSH2 0x06eb
000006e1: JUMPI
000006e2: RETURNDATASIZE
000006e3: PUSH1 0x00
000006e5: DUP1
000006e6: RETURNDATACOPY
000006e7: RETURNDATASIZE
000006e8: PUSH1 0x00
000006ea: REVERT
000006eb: JUMPDEST
000006ec: POP
000006ed: POP
000006ee: POP
000006ef: POP
000006f0: POP
000006f1: POP
000006f2: POP
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x00
000006f7: DUP1
000006f8: SLOAD
000006f9: PUSH1 0x01
000006fb: PUSH1 0x01
000006fd: PUSH1 0xa0
000006ff: SHL
00000700: SUB
00000701: AND
00000702: CALLER
00000703: EQ
00000704: PUSH2 0x0734
00000707: JUMPI
00000708: PUSH1 0x40
0000070a: MLOAD
0000070b: PUSH3 0x461bcd
0000070f: PUSH1 0xe5
00000711: SHL
00000712: DUP2
00000713: MSTORE
00000714: PUSH1 0x20
00000716: PUSH1 0x04
00000718: DUP3
00000719: ADD
0000071a: MSTORE
0000071b: PUSH1 0x02
0000071d: PUSH1 0x24
0000071f: DUP3
00000720: ADD
00000721: MSTORE
00000722: PUSH2 0x39b7
00000725: PUSH1 0xf1
00000727: SHL
00000728: PUSH1 0x44
0000072a: DUP3
0000072b: ADD
0000072c: MSTORE
0000072d: PUSH1 0x64
0000072f: ADD
00000730: PUSH2 0x0362
00000733: JUMP
00000734: JUMPDEST
00000735: PUSH1 0x00
00000737: DUP1
00000738: DUP7
00000739: PUSH1 0x01
0000073b: PUSH1 0x01
0000073d: PUSH1 0xa0
0000073f: SHL
00000740: SUB
00000741: AND
00000742: DUP5
00000743: DUP8
00000744: DUP8
00000745: PUSH1 0x40
00000747: MLOAD
00000748: PUSH2 0x0752
0000074b: SWAP3
0000074c: SWAP2
0000074d: SWAP1
0000074e: PUSH2 0x1169
00000751: JUMP
00000752: JUMPDEST
00000753: PUSH1 0x00
00000755: PUSH1 0x40
00000757: MLOAD
00000758: DUP1
00000759: DUP4
0000075a: SUB
0000075b: DUP2
0000075c: DUP6
0000075d: DUP8
0000075e: GAS
0000075f: CALL
00000760: SWAP3
00000761: POP
00000762: POP
00000763: POP
00000764: RETURNDATASIZE
00000765: DUP1
00000766: PUSH1 0x00
00000768: DUP2
00000769: EQ
0000076a: PUSH2 0x078f
0000076d: JUMPI
0000076e: PUSH1 0x40
00000770: MLOAD
00000771: SWAP2
00000772: POP
00000773: PUSH1 0x1f
00000775: NOT
00000776: PUSH1 0x3f
00000778: RETURNDATASIZE
00000779: ADD
0000077a: AND
0000077b: DUP3
0000077c: ADD
0000077d: PUSH1 0x40
0000077f: MSTORE
00000780: RETURNDATASIZE
00000781: DUP3
00000782: MSTORE
00000783: RETURNDATASIZE
00000784: PUSH1 0x00
00000786: PUSH1 0x20
00000788: DUP5
00000789: ADD
0000078a: RETURNDATACOPY
0000078b: PUSH2 0x0794
0000078e: JUMP
0000078f: JUMPDEST
00000790: PUSH1 0x60
00000792: SWAP2
00000793: POP
00000794: JUMPDEST
00000795: POP
00000796: SWAP1
00000797: SWAP9
00000798: SWAP8
00000799: POP
0000079a: POP
0000079b: POP
0000079c: POP
0000079d: POP
0000079e: POP
0000079f: POP
000007a0: POP
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH1 0x00
000007a5: SLOAD
000007a6: PUSH1 0x01
000007a8: PUSH1 0x01
000007aa: PUSH1 0xa0
000007ac: SHL
000007ad: SUB
000007ae: AND
000007af: CALLER
000007b0: EQ
000007b1: PUSH2 0x07e1
000007b4: JUMPI
000007b5: PUSH1 0x40
000007b7: MLOAD
000007b8: PUSH3 0x461bcd
000007bc: PUSH1 0xe5
000007be: SHL
000007bf: DUP2
000007c0: MSTORE
000007c1: PUSH1 0x20
000007c3: PUSH1 0x04
000007c5: DUP3
000007c6: ADD
000007c7: MSTORE
000007c8: PUSH1 0x02
000007ca: PUSH1 0x24
000007cc: DUP3
000007cd: ADD
000007ce: MSTORE
000007cf: PUSH2 0x39b7
000007d2: PUSH1 0xf1
000007d4: SHL
000007d5: PUSH1 0x44
000007d7: DUP3
000007d8: ADD
000007d9: MSTORE
000007da: PUSH1 0x64
000007dc: ADD
000007dd: PUSH2 0x0362
000007e0: JUMP
000007e1: JUMPDEST
000007e2: PUSH1 0x01
000007e4: PUSH1 0x01
000007e6: PUSH1 0xa0
000007e8: SHL
000007e9: SUB
000007ea: AND
000007eb: PUSH1 0x00
000007ed: SWAP1
000007ee: DUP2
000007ef: MSTORE
000007f0: PUSH1 0x01
000007f2: PUSH1 0x20
000007f4: DUP2
000007f5: SWAP1
000007f6: MSTORE
000007f7: PUSH1 0x40
000007f9: SWAP1
000007fa: SWAP2
000007fb: KECCAK256
000007fc: DUP1
000007fd: SLOAD
000007fe: PUSH1 0xff
00000800: NOT
00000801: AND
00000802: SWAP1
00000803: SWAP2
00000804: OR
00000805: SWAP1
00000806: SSTORE
00000807: JUMP
00000808: JUMPDEST
00000809: PUSH1 0x00
0000080b: SLOAD
0000080c: PUSH1 0x01
0000080e: PUSH1 0x01
00000810: PUSH1 0xa0
00000812: SHL
00000813: SUB
00000814: AND
00000815: CALLER
00000816: EQ
00000817: PUSH2 0x0847
0000081a: JUMPI
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: PUSH3 0x461bcd
00000822: PUSH1 0xe5
00000824: SHL
00000825: DUP2
00000826: MSTORE
00000827: PUSH1 0x20
00000829: PUSH1 0x04
0000082b: DUP3
0000082c: ADD
0000082d: MSTORE
0000082e: PUSH1 0x02
00000830: PUSH1 0x24
00000832: DUP3
00000833: ADD
00000834: MSTORE
00000835: PUSH2 0x39b7
00000838: PUSH1 0xf1
0000083a: SHL
0000083b: PUSH1 0x44
0000083d: DUP3
0000083e: ADD
0000083f: MSTORE
00000840: PUSH1 0x64
00000842: ADD
00000843: PUSH2 0x0362
00000846: JUMP
00000847: JUMPDEST
00000848: PUSH1 0x40
0000084a: MLOAD
0000084b: SELFBALANCE
0000084c: SWAP1
0000084d: PUSH1 0x01
0000084f: PUSH1 0x01
00000851: PUSH1 0xa0
00000853: SHL
00000854: SUB
00000855: DUP4
00000856: AND
00000857: SWAP1
00000858: DUP3
00000859: SWAP1
0000085a: PUSH1 0x00
0000085c: DUP2
0000085d: DUP2
0000085e: DUP2
0000085f: DUP6
00000860: DUP8
00000861: GAS
00000862: CALL
00000863: SWAP3
00000864: POP
00000865: POP
00000866: POP
00000867: RETURNDATASIZE
00000868: DUP1
00000869: PUSH1 0x00
0000086b: DUP2
0000086c: EQ
0000086d: PUSH2 0x0892
00000870: JUMPI
00000871: PUSH1 0x40
00000873: MLOAD
00000874: SWAP2
00000875: POP
00000876: PUSH1 0x1f
00000878: NOT
00000879: PUSH1 0x3f
0000087b: RETURNDATASIZE
0000087c: ADD
0000087d: AND
0000087e: DUP3
0000087f: ADD
00000880: PUSH1 0x40
00000882: MSTORE
00000883: RETURNDATASIZE
00000884: DUP3
00000885: MSTORE
00000886: RETURNDATASIZE
00000887: PUSH1 0x00
00000889: PUSH1 0x20
0000088b: DUP5
0000088c: ADD
0000088d: RETURNDATACOPY
0000088e: PUSH2 0x0897
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x60
00000895: SWAP2
00000896: POP
00000897: JUMPDEST
00000898: POP
00000899: POP
0000089a: POP
0000089b: POP
0000089c: POP
0000089d: JUMP
0000089e: JUMPDEST
0000089f: CALLER
000008a0: PUSH1 0x00
000008a2: SWAP1
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x01
000008a7: PUSH1 0x20
000008a9: DUP2
000008aa: SWAP1
000008ab: MSTORE
000008ac: PUSH1 0x40
000008ae: SWAP1
000008af: SWAP2
000008b0: KECCAK256
000008b1: SLOAD
000008b2: PUSH1 0xff
000008b4: AND
000008b5: ISZERO
000008b6: ISZERO
000008b7: EQ
000008b8: PUSH2 0x08e7
000008bb: JUMPI
000008bc: PUSH1 0x40
000008be: MLOAD
000008bf: PUSH3 0x461bcd
000008c3: PUSH1 0xe5
000008c5: SHL
000008c6: DUP2
000008c7: MSTORE
000008c8: PUSH1 0x20
000008ca: PUSH1 0x04
000008cc: DUP3
000008cd: ADD
000008ce: MSTORE
000008cf: PUSH1 0x01
000008d1: PUSH1 0x24
000008d3: DUP3
000008d4: ADD
000008d5: MSTORE
000008d6: PUSH1 0x37
000008d8: PUSH1 0xf9
000008da: SHL
000008db: PUSH1 0x44
000008dd: DUP3
000008de: ADD
000008df: MSTORE
000008e0: PUSH1 0x64
000008e2: ADD
000008e3: PUSH2 0x0362
000008e6: JUMP
000008e7: JUMPDEST
000008e8: DUP2
000008e9: JUMPDEST
000008ea: DUP2
000008eb: DUP2
000008ec: GT
000008ed: PUSH2 0x0897
000008f0: JUMPI
000008f1: PUSH1 0x40
000008f3: MLOAD
000008f4: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000
00000915: DUP2
00000916: MSTORE
00000917: PUSH1 0x04
00000919: DUP2
0000091a: ADD
0000091b: DUP3
0000091c: SWAP1
0000091d: MSTORE
0000091e: PUSH1 0x00
00000920: SWAP1
00000921: PUSH1 0x01
00000923: PUSH1 0x01
00000925: PUSH1 0xa0
00000927: SHL
00000928: SUB
00000929: DUP8
0000092a: AND
0000092b: SWAP1
0000092c: PUSH4 0x6352211e
00000931: SWAP1
00000932: PUSH1 0x24
00000934: ADD
00000935: PUSH1 0x20
00000937: PUSH1 0x40
00000939: MLOAD
0000093a: DUP1
0000093b: DUP4
0000093c: SUB
0000093d: DUP2
0000093e: DUP7
0000093f: GAS
00000940: STATICCALL
00000941: ISZERO
00000942: DUP1
00000943: ISZERO
00000944: PUSH2 0x0951
00000947: JUMPI
00000948: RETURNDATASIZE
00000949: PUSH1 0x00
0000094b: DUP1
0000094c: RETURNDATACOPY
0000094d: RETURNDATASIZE
0000094e: PUSH1 0x00
00000950: REVERT
00000951: JUMPDEST
00000952: POP
00000953: POP
00000954: POP
00000955: POP
00000956: PUSH1 0x40
00000958: MLOAD
00000959: RETURNDATASIZE
0000095a: PUSH1 0x1f
0000095c: NOT
0000095d: PUSH1 0x1f
0000095f: DUP3
00000960: ADD
00000961: AND
00000962: DUP3
00000963: ADD
00000964: DUP1
00000965: PUSH1 0x40
00000967: MSTORE
00000968: POP
00000969: DUP2
0000096a: ADD
0000096b: SWAP1
0000096c: PUSH2 0x0975
0000096f: SWAP2
00000970: SWAP1
00000971: PUSH2 0x0ff2
00000974: JUMP
00000975: JUMPDEST
00000976: PUSH1 0x40
00000978: MLOAD
00000979: PUSH32 0x82e7486d00000000000000000000000000000000000000000000000000000000
0000099a: DUP2
0000099b: MSTORE
0000099c: PUSH1 0x01
0000099e: PUSH1 0x01
000009a0: PUSH1 0xa0
000009a2: SHL
000009a3: SUB
000009a4: DUP9
000009a5: DUP2
000009a6: AND
000009a7: PUSH1 0x04
000009a9: DUP4
000009aa: ADD
000009ab: MSTORE
000009ac: DUP8
000009ad: DUP2
000009ae: AND
000009af: PUSH1 0x24
000009b1: DUP4
000009b2: ADD
000009b3: MSTORE
000009b4: PUSH1 0x44
000009b6: DUP3
000009b7: ADD
000009b8: DUP6
000009b9: SWAP1
000009ba: MSTORE
000009bb: SWAP2
000009bc: SWAP3
000009bd: POP
000009be: SWAP1
000009bf: DUP3
000009c0: AND
000009c1: SWAP1
000009c2: PUSH4 0x82e7486d
000009c7: SWAP1
000009c8: PUSH1 0x64
000009ca: ADD
000009cb: PUSH1 0x00
000009cd: PUSH1 0x40
000009cf: MLOAD
000009d0: DUP1
000009d1: DUP4
000009d2: SUB
000009d3: DUP2
000009d4: PUSH1 0x00
000009d6: DUP8
000009d7: DUP1
000009d8: EXTCODESIZE
000009d9: ISZERO
000009da: DUP1
000009db: ISZERO
000009dc: PUSH2 0x09e4
000009df: JUMPI
000009e0: PUSH1 0x00
000009e2: DUP1
000009e3: REVERT
000009e4: JUMPDEST
000009e5: POP
000009e6: GAS
000009e7: CALL
000009e8: ISZERO
000009e9: DUP1
000009ea: ISZERO
000009eb: PUSH2 0x09f8
000009ee: JUMPI
000009ef: RETURNDATASIZE
000009f0: PUSH1 0x00
000009f2: DUP1
000009f3: RETURNDATACOPY
000009f4: RETURNDATASIZE
000009f5: PUSH1 0x00
000009f7: REVERT
000009f8: JUMPDEST
000009f9: POP
000009fa: POP
000009fb: POP
000009fc: POP
000009fd: POP
000009fe: DUP1
000009ff: DUP1
00000a00: PUSH2 0x0a08
00000a03: SWAP1
00000a04: PUSH2 0x0fc9
00000a07: JUMP
00000a08: JUMPDEST
00000a09: SWAP2
00000a0a: POP
00000a0b: POP
00000a0c: PUSH2 0x08e9
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: CALLER
00000a12: PUSH1 0x00
00000a14: SWAP1
00000a15: DUP2
00000a16: MSTORE
00000a17: PUSH1 0x01
00000a19: PUSH1 0x20
00000a1b: DUP2
00000a1c: SWAP1
00000a1d: MSTORE
00000a1e: PUSH1 0x40
00000a20: SWAP1
00000a21: SWAP2
00000a22: KECCAK256
00000a23: SLOAD
00000a24: PUSH1 0xff
00000a26: AND
00000a27: ISZERO
00000a28: ISZERO
00000a29: EQ
00000a2a: PUSH2 0x0a59
00000a2d: JUMPI
00000a2e: PUSH1 0x40
00000a30: MLOAD
00000a31: PUSH3 0x461bcd
00000a35: PUSH1 0xe5
00000a37: SHL
00000a38: DUP2
00000a39: MSTORE
00000a3a: PUSH1 0x20
00000a3c: PUSH1 0x04
00000a3e: DUP3
00000a3f: ADD
00000a40: MSTORE
00000a41: PUSH1 0x01
00000a43: PUSH1 0x24
00000a45: DUP3
00000a46: ADD
00000a47: MSTORE
00000a48: PUSH1 0x37
00000a4a: PUSH1 0xf9
00000a4c: SHL
00000a4d: PUSH1 0x44
00000a4f: DUP3
00000a50: ADD
00000a51: MSTORE
00000a52: PUSH1 0x64
00000a54: ADD
00000a55: PUSH2 0x0362
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: PUSH1 0x00
00000a5c: PUSH2 0x0a65
00000a5f: DUP3
00000a60: CALLVALUE
00000a61: PUSH2 0x1179
00000a64: JUMP
00000a65: JUMPDEST
00000a66: SWAP1
00000a67: POP
00000a68: DUP3
00000a69: JUMPDEST
00000a6a: PUSH2 0x0a74
00000a6d: PUSH1 0x01
00000a6f: DUP5
00000a70: PUSH2 0x0f9a
00000a73: JUMP
00000a74: JUMPDEST
00000a75: DUP2
00000a76: GT
00000a77: PUSH2 0x06eb
00000a7a: JUMPI
00000a7b: PUSH1 0x00
00000a7d: DUP1
00000a7e: SLOAD
00000a7f: PUSH1 0x40
00000a81: MLOAD
00000a82: PUSH4 0x0d4c43fd
00000a87: PUSH1 0xe4
00000a89: SHL
00000a8a: DUP2
00000a8b: MSTORE
00000a8c: PUSH1 0x04
00000a8e: DUP2
00000a8f: ADD
00000a90: DUP5
00000a91: SWAP1
00000a92: MSTORE
00000a93: PUSH1 0x01
00000a95: PUSH1 0x01
00000a97: PUSH1 0xa0
00000a99: SHL
00000a9a: SUB
00000a9b: SWAP1
00000a9c: SWAP2
00000a9d: AND
00000a9e: SWAP1
00000a9f: PUSH4 0xd4c43fd0
00000aa4: SWAP1
00000aa5: PUSH1 0x24
00000aa7: ADD
00000aa8: PUSH1 0x20
00000aaa: PUSH1 0x40
00000aac: MLOAD
00000aad: DUP1
00000aae: DUP4
00000aaf: SUB
00000ab0: DUP2
00000ab1: DUP7
00000ab2: GAS
00000ab3: STATICCALL
00000ab4: ISZERO
00000ab5: DUP1
00000ab6: ISZERO
00000ab7: PUSH2 0x0ac4
00000aba: JUMPI
00000abb: RETURNDATASIZE
00000abc: PUSH1 0x00
00000abe: DUP1
00000abf: RETURNDATACOPY
00000ac0: RETURNDATASIZE
00000ac1: PUSH1 0x00
00000ac3: REVERT
00000ac4: JUMPDEST
00000ac5: POP
00000ac6: POP
00000ac7: POP
00000ac8: POP
00000ac9: PUSH1 0x40
00000acb: MLOAD
00000acc: RETURNDATASIZE
00000acd: PUSH1 0x1f
00000acf: NOT
00000ad0: PUSH1 0x1f
00000ad2: DUP3
00000ad3: ADD
00000ad4: AND
00000ad5: DUP3
00000ad6: ADD
00000ad7: DUP1
00000ad8: PUSH1 0x40
00000ada: MSTORE
00000adb: POP
00000adc: DUP2
00000add: ADD
00000ade: SWAP1
00000adf: PUSH2 0x0ae8
00000ae2: SWAP2
00000ae3: SWAP1
00000ae4: PUSH2 0x0ff2
00000ae7: JUMP
00000ae8: JUMPDEST
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0x01
00000aed: PUSH1 0xa0
00000aef: SHL
00000af0: SUB
00000af1: AND
00000af2: PUSH4 0x82f11491
00000af7: DUP5
00000af8: DUP11
00000af9: DUP11
00000afa: DUP11
00000afb: DUP9
00000afc: PUSH1 0x40
00000afe: MLOAD
00000aff: DUP7
00000b00: PUSH4 0xffffffff
00000b05: AND
00000b06: PUSH1 0xe0
00000b08: SHL
00000b09: DUP2
00000b0a: MSTORE
00000b0b: PUSH1 0x04
00000b0d: ADD
00000b0e: PUSH2 0x0b1a
00000b11: SWAP5
00000b12: SWAP4
00000b13: SWAP3
00000b14: SWAP2
00000b15: SWAP1
00000b16: PUSH2 0x1038
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH1 0x20
00000b1d: PUSH1 0x40
00000b1f: MLOAD
00000b20: DUP1
00000b21: DUP4
00000b22: SUB
00000b23: DUP2
00000b24: DUP6
00000b25: DUP9
00000b26: GAS
00000b27: CALL
00000b28: ISZERO
00000b29: DUP1
00000b2a: ISZERO
00000b2b: PUSH2 0x0b38
00000b2e: JUMPI
00000b2f: RETURNDATASIZE
00000b30: PUSH1 0x00
00000b32: DUP1
00000b33: RETURNDATACOPY
00000b34: RETURNDATASIZE
00000b35: PUSH1 0x00
00000b37: REVERT
00000b38: JUMPDEST
00000b39: POP
00000b3a: POP
00000b3b: POP
00000b3c: POP
00000b3d: POP
00000b3e: PUSH1 0x40
00000b40: MLOAD
00000b41: RETURNDATASIZE
00000b42: PUSH1 0x1f
00000b44: NOT
00000b45: PUSH1 0x1f
00000b47: DUP3
00000b48: ADD
00000b49: AND
00000b4a: DUP3
00000b4b: ADD
00000b4c: DUP1
00000b4d: PUSH1 0x40
00000b4f: MSTORE
00000b50: POP
00000b51: DUP2
00000b52: ADD
00000b53: SWAP1
00000b54: PUSH2 0x0b5d
00000b57: SWAP2
00000b58: SWAP1
00000b59: PUSH2 0x106c
00000b5c: JUMP
00000b5d: JUMPDEST
00000b5e: SWAP1
00000b5f: POP
00000b60: DUP1
00000b61: ISZERO
00000b62: PUSH2 0x0b6b
00000b65: JUMPI
00000b66: POP
00000b67: PUSH2 0x0b70
00000b6a: JUMP
00000b6b: JUMPDEST
00000b6c: DUP4
00000b6d: SWAP2
00000b6e: POP
00000b6f: POP
00000b70: JUMPDEST
00000b71: DUP1
00000b72: PUSH2 0x0b7a
00000b75: DUP2
00000b76: PUSH2 0x0fc9
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: SWAP2
00000b7c: POP
00000b7d: POP
00000b7e: PUSH2 0x0a69
00000b81: JUMP
00000b82: JUMPDEST
00000b83: PUSH1 0x60
00000b85: DUP1
00000b86: PUSH1 0x00
00000b88: JUMPDEST
00000b89: PUSH2 0x0b93
00000b8c: PUSH1 0x01
00000b8e: DUP6
00000b8f: PUSH2 0x0f9a
00000b92: JUMP
00000b93: JUMPDEST
00000b94: DUP2
00000b95: GT
00000b96: PUSH2 0x0c60
00000b99: JUMPI
00000b9a: PUSH1 0x00
00000b9c: DUP1
00000b9d: SLOAD
00000b9e: PUSH1 0x40
00000ba0: MLOAD
00000ba1: PUSH4 0x0d4c43fd
00000ba6: PUSH1 0xe4
00000ba8: SHL
00000ba9: DUP2
00000baa: MSTORE
00000bab: PUSH1 0x04
00000bad: DUP2
00000bae: ADD
00000baf: DUP5
00000bb0: SWAP1
00000bb1: MSTORE
00000bb2: PUSH1 0x01
00000bb4: PUSH1 0x01
00000bb6: PUSH1 0xa0
00000bb8: SHL
00000bb9: SUB
00000bba: SWAP1
00000bbb: SWAP2
00000bbc: AND
00000bbd: SWAP1
00000bbe: PUSH4 0xd4c43fd0
00000bc3: SWAP1
00000bc4: PUSH1 0x24
00000bc6: ADD
00000bc7: PUSH1 0x20
00000bc9: PUSH1 0x40
00000bcb: MLOAD
00000bcc: DUP1
00000bcd: DUP4
00000bce: SUB
00000bcf: DUP2
00000bd0: DUP7
00000bd1: GAS
00000bd2: STATICCALL
00000bd3: ISZERO
00000bd4: DUP1
00000bd5: ISZERO
00000bd6: PUSH2 0x0be3
00000bd9: JUMPI
00000bda: RETURNDATASIZE
00000bdb: PUSH1 0x00
00000bdd: DUP1
00000bde: RETURNDATACOPY
00000bdf: RETURNDATASIZE
00000be0: PUSH1 0x00
00000be2: REVERT
00000be3: JUMPDEST
00000be4: POP
00000be5: POP
00000be6: POP
00000be7: POP
00000be8: PUSH1 0x40
00000bea: MLOAD
00000beb: RETURNDATASIZE
00000bec: PUSH1 0x1f
00000bee: NOT
00000bef: PUSH1 0x1f
00000bf1: DUP3
00000bf2: ADD
00000bf3: AND
00000bf4: DUP3
00000bf5: ADD
00000bf6: DUP1
00000bf7: PUSH1 0x40
00000bf9: MSTORE
00000bfa: POP
00000bfb: DUP2
00000bfc: ADD
00000bfd: SWAP1
00000bfe: PUSH2 0x0c07
00000c01: SWAP2
00000c02: SWAP1
00000c03: PUSH2 0x0ff2
00000c06: JUMP
00000c07: JUMPDEST
00000c08: SWAP1
00000c09: POP
00000c0a: PUSH1 0x01
00000c0c: PUSH1 0x01
00000c0e: PUSH1 0xa0
00000c10: SHL
00000c11: SUB
00000c12: DUP2
00000c13: AND
00000c14: BALANCE
00000c15: ISZERO
00000c16: PUSH2 0x0c4d
00000c19: JUMPI
00000c1a: DUP1
00000c1b: DUP4
00000c1c: DUP4
00000c1d: DUP2
00000c1e: MLOAD
00000c1f: DUP2
00000c20: LT
00000c21: PUSH2 0x0c2c
00000c24: JUMPI
00000c25: PUSH2 0x0c2c
00000c28: PUSH2 0x0fb3
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: PUSH1 0x20
00000c2f: MUL
00000c30: PUSH1 0x20
00000c32: ADD
00000c33: ADD
00000c34: SWAP1
00000c35: PUSH1 0x01
00000c37: PUSH1 0x01
00000c39: PUSH1 0xa0
00000c3b: SHL
00000c3c: SUB
00000c3d: AND
00000c3e: SWAP1
00000c3f: DUP2
00000c40: PUSH1 0x01
00000c42: PUSH1 0x01
00000c44: PUSH1 0xa0
00000c46: SHL
00000c47: SUB
00000c48: AND
00000c49: DUP2
00000c4a: MSTORE
00000c4b: POP
00000c4c: POP
00000c4d: JUMPDEST
00000c4e: POP
00000c4f: DUP1
00000c50: PUSH2 0x0c58
00000c53: DUP2
00000c54: PUSH2 0x0fc9
00000c57: JUMP
00000c58: JUMPDEST
00000c59: SWAP2
00000c5a: POP
00000c5b: POP
00000c5c: PUSH2 0x0b88
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: POP
00000c62: SWAP3
00000c63: SWAP2
00000c64: POP
00000c65: POP
00000c66: JUMP
00000c67: JUMPDEST
00000c68: PUSH1 0x00
00000c6a: DUP1
00000c6b: PUSH1 0x20
00000c6d: DUP4
00000c6e: DUP6
00000c6f: SUB
00000c70: SLT
00000c71: ISZERO
00000c72: PUSH2 0x0c7a
00000c75: JUMPI
00000c76: PUSH1 0x00
00000c78: DUP1
00000c79: REVERT
00000c7a: JUMPDEST
00000c7b: DUP3
00000c7c: CALLDATALOAD
00000c7d: PUSH8 0xffffffffffffffff
00000c86: DUP1
00000c87: DUP3
00000c88: GT
00000c89: ISZERO
00000c8a: PUSH2 0x0c92
00000c8d: JUMPI
00000c8e: PUSH1 0x00
00000c90: DUP1
00000c91: REVERT
00000c92: JUMPDEST
00000c93: DUP2
00000c94: DUP6
00000c95: ADD
00000c96: SWAP2
00000c97: POP
00000c98: DUP6
00000c99: PUSH1 0x1f
00000c9b: DUP4
00000c9c: ADD
00000c9d: SLT
00000c9e: PUSH2 0x0ca6
00000ca1: JUMPI
00000ca2: PUSH1 0x00
00000ca4: DUP1
00000ca5: REVERT
00000ca6: JUMPDEST
00000ca7: DUP2
00000ca8: CALLDATALOAD
00000ca9: DUP2
00000caa: DUP2
00000cab: GT
00000cac: ISZERO
00000cad: PUSH2 0x0cb5
00000cb0: JUMPI
00000cb1: PUSH1 0x00
00000cb3: DUP1
00000cb4: REVERT
00000cb5: JUMPDEST
00000cb6: DUP7
00000cb7: PUSH1 0x20
00000cb9: DUP3
00000cba: PUSH1 0x05
00000cbc: SHL
00000cbd: DUP6
00000cbe: ADD
00000cbf: ADD
00000cc0: GT
00000cc1: ISZERO
00000cc2: PUSH2 0x0cca
00000cc5: JUMPI
00000cc6: PUSH1 0x00
00000cc8: DUP1
00000cc9: REVERT
00000cca: JUMPDEST
00000ccb: PUSH1 0x20
00000ccd: SWAP3
00000cce: SWAP1
00000ccf: SWAP3
00000cd0: ADD
00000cd1: SWAP7
00000cd2: SWAP2
00000cd3: SWAP6
00000cd4: POP
00000cd5: SWAP1
00000cd6: SWAP4
00000cd7: POP
00000cd8: POP
00000cd9: POP
00000cda: POP
00000cdb: JUMP
00000cdc: JUMPDEST
00000cdd: PUSH1 0x01
00000cdf: PUSH1 0x01
00000ce1: PUSH1 0xa0
00000ce3: SHL
00000ce4: SUB
00000ce5: DUP2
00000ce6: AND
00000ce7: DUP2
00000ce8: EQ
00000ce9: PUSH2 0x0cf1
00000cec: JUMPI
00000ced: PUSH1 0x00
00000cef: DUP1
00000cf0: REVERT
00000cf1: JUMPDEST
00000cf2: POP
00000cf3: JUMP
00000cf4: JUMPDEST
00000cf5: PUSH1 0x00
00000cf7: DUP1
00000cf8: DUP4
00000cf9: PUSH1 0x1f
00000cfb: DUP5
00000cfc: ADD
00000cfd: SLT
00000cfe: PUSH2 0x0d06
00000d01: JUMPI
00000d02: PUSH1 0x00
00000d04: DUP1
00000d05: REVERT
00000d06: JUMPDEST
00000d07: POP
00000d08: DUP2
00000d09: CALLDATALOAD
00000d0a: PUSH8 0xffffffffffffffff
00000d13: DUP2
00000d14: GT
00000d15: ISZERO
00000d16: PUSH2 0x0d1e
00000d19: JUMPI
00000d1a: PUSH1 0x00
00000d1c: DUP1
00000d1d: REVERT
00000d1e: JUMPDEST
00000d1f: PUSH1 0x20
00000d21: DUP4
00000d22: ADD
00000d23: SWAP2
00000d24: POP
00000d25: DUP4
00000d26: PUSH1 0x20
00000d28: DUP3
00000d29: DUP6
00000d2a: ADD
00000d2b: ADD
00000d2c: GT
00000d2d: ISZERO
00000d2e: PUSH2 0x0d36
00000d31: JUMPI
00000d32: PUSH1 0x00
00000d34: DUP1
00000d35: REVERT
00000d36: JUMPDEST
00000d37: SWAP3
00000d38: POP
00000d39: SWAP3
00000d3a: SWAP1
00000d3b: POP
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: PUSH1 0x00
00000d40: DUP1
00000d41: PUSH1 0x00
00000d43: DUP1
00000d44: PUSH1 0x00
00000d46: PUSH1 0x80
00000d48: DUP7
00000d49: DUP9
00000d4a: SUB
00000d4b: SLT
00000d4c: ISZERO
00000d4d: PUSH2 0x0d55
00000d50: JUMPI
00000d51: PUSH1 0x00
00000d53: DUP1
00000d54: REVERT
00000d55: JUMPDEST
00000d56: DUP6
00000d57: CALLDATALOAD
00000d58: PUSH2 0x0d60
00000d5b: DUP2
00000d5c: PUSH2 0x0cdc
00000d5f: JUMP
00000d60: JUMPDEST
00000d61: SWAP5
00000d62: POP
00000d63: PUSH1 0x20
00000d65: DUP7
00000d66: ADD
00000d67: CALLDATALOAD
00000d68: PUSH2 0x0d70
00000d6b: DUP2
00000d6c: PUSH2 0x0cdc
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: SWAP4
00000d72: POP
00000d73: PUSH1 0x40
00000d75: DUP7
00000d76: ADD
00000d77: CALLDATALOAD
00000d78: SWAP3
00000d79: POP
00000d7a: PUSH1 0x60
00000d7c: DUP7
00000d7d: ADD
00000d7e: CALLDATALOAD
00000d7f: PUSH8 0xffffffffffffffff
00000d88: DUP2
00000d89: GT
00000d8a: ISZERO
00000d8b: PUSH2 0x0d93
00000d8e: JUMPI
00000d8f: PUSH1 0x00
00000d91: DUP1
00000d92: REVERT
00000d93: JUMPDEST
00000d94: PUSH2 0x0d9f
00000d97: DUP9
00000d98: DUP3
00000d99: DUP10
00000d9a: ADD
00000d9b: PUSH2 0x0cf4
00000d9e: JUMP
00000d9f: JUMPDEST
00000da0: SWAP7
00000da1: SWAP10
00000da2: SWAP6
00000da3: SWAP9
00000da4: POP
00000da5: SWAP4
00000da6: SWAP7
00000da7: POP
00000da8: SWAP3
00000da9: SWAP5
00000daa: SWAP4
00000dab: SWAP3
00000dac: POP
00000dad: POP
00000dae: POP
00000daf: JUMP
00000db0: JUMPDEST
00000db1: PUSH1 0x00
00000db3: PUSH1 0x20
00000db5: DUP3
00000db6: DUP5
00000db7: SUB
00000db8: SLT
00000db9: ISZERO
00000dba: PUSH2 0x0dc2
00000dbd: JUMPI
00000dbe: PUSH1 0x00
00000dc0: DUP1
00000dc1: REVERT
00000dc2: JUMPDEST
00000dc3: DUP2
00000dc4: CALLDATALOAD
00000dc5: PUSH2 0x0dcd
00000dc8: DUP2
00000dc9: PUSH2 0x0cdc
00000dcc: JUMP
00000dcd: JUMPDEST
00000dce: SWAP4
00000dcf: SWAP3
00000dd0: POP
00000dd1: POP
00000dd2: POP
00000dd3: JUMP
00000dd4: JUMPDEST
00000dd5: PUSH1 0x00
00000dd7: DUP1
00000dd8: PUSH1 0x00
00000dda: DUP1
00000ddb: PUSH1 0x00
00000ddd: PUSH1 0x80
00000ddf: DUP7
00000de0: DUP9
00000de1: SUB
00000de2: SLT
00000de3: ISZERO
00000de4: PUSH2 0x0dec
00000de7: JUMPI
00000de8: PUSH1 0x00
00000dea: DUP1
00000deb: REVERT
00000dec: JUMPDEST
00000ded: DUP6
00000dee: CALLDATALOAD
00000def: PUSH2 0x0df7
00000df2: DUP2
00000df3: PUSH2 0x0cdc
00000df6: JUMP
00000df7: JUMPDEST
00000df8: SWAP5
00000df9: POP
00000dfa: PUSH1 0x20
00000dfc: DUP7
00000dfd: ADD
00000dfe: CALLDATALOAD
00000dff: PUSH8 0xffffffffffffffff
00000e08: DUP2
00000e09: GT
00000e0a: ISZERO
00000e0b: PUSH2 0x0e13
00000e0e: JUMPI
00000e0f: PUSH1 0x00
00000e11: DUP1
00000e12: REVERT
00000e13: JUMPDEST
00000e14: PUSH2 0x0e1f
00000e17: DUP9
00000e18: DUP3
00000e19: DUP10
00000e1a: ADD
00000e1b: PUSH2 0x0cf4
00000e1e: JUMP
00000e1f: JUMPDEST
00000e20: SWAP7
00000e21: SWAP10
00000e22: SWAP1
00000e23: SWAP9
00000e24: POP
00000e25: SWAP6
00000e26: SWAP7
00000e27: PUSH1 0x40
00000e29: DUP2
00000e2a: ADD
00000e2b: CALLDATALOAD
00000e2c: SWAP7
00000e2d: PUSH1 0x60
00000e2f: SWAP1
00000e30: SWAP2
00000e31: ADD
00000e32: CALLDATALOAD
00000e33: SWAP6
00000e34: POP
00000e35: SWAP4
00000e36: POP
00000e37: POP
00000e38: POP
00000e39: POP
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: PUSH1 0x20
00000e3e: DUP1
00000e3f: DUP3
00000e40: MSTORE
00000e41: DUP3
00000e42: MLOAD
00000e43: DUP3
00000e44: DUP3
00000e45: ADD
00000e46: DUP2
00000e47: SWAP1
00000e48: MSTORE
00000e49: PUSH1 0x00
00000e4b: SWAP2
00000e4c: SWAP1
00000e4d: DUP5
00000e4e: DUP3
00000e4f: ADD
00000e50: SWAP1
00000e51: PUSH1 0x40
00000e53: DUP6
00000e54: ADD
00000e55: SWAP1
00000e56: DUP5
00000e57: JUMPDEST
00000e58: DUP2
00000e59: DUP2
00000e5a: LT
00000e5b: ISZERO
00000e5c: PUSH2 0x0e7c
00000e5f: JUMPI
00000e60: DUP4
00000e61: MLOAD
00000e62: PUSH1 0x01
00000e64: PUSH1 0x01
00000e66: PUSH1 0xa0
00000e68: SHL
00000e69: SUB
00000e6a: AND
00000e6b: DUP4
00000e6c: MSTORE
00000e6d: SWAP3
00000e6e: DUP5
00000e6f: ADD
00000e70: SWAP3
00000e71: SWAP2
00000e72: DUP5
00000e73: ADD
00000e74: SWAP2
00000e75: PUSH1 0x01
00000e77: ADD
00000e78: PUSH2 0x0e57
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: POP
00000e7e: SWAP1
00000e7f: SWAP7
00000e80: SWAP6
00000e81: POP
00000e82: POP
00000e83: POP
00000e84: POP
00000e85: POP
00000e86: POP
00000e87: JUMP
00000e88: JUMPDEST
00000e89: PUSH1 0x00
00000e8b: DUP1
00000e8c: PUSH1 0x00
00000e8e: PUSH1 0x60
00000e90: DUP5
00000e91: DUP7
00000e92: SUB
00000e93: SLT
00000e94: ISZERO
00000e95: PUSH2 0x0e9d
00000e98: JUMPI
00000e99: PUSH1 0x00
00000e9b: DUP1
00000e9c: REVERT
00000e9d: JUMPDEST
00000e9e: DUP4
00000e9f: CALLDATALOAD
00000ea0: PUSH2 0x0ea8
00000ea3: DUP2
00000ea4: PUSH2 0x0cdc
00000ea7: JUMP
00000ea8: JUMPDEST
00000ea9: SWAP3
00000eaa: POP
00000eab: PUSH1 0x20
00000ead: DUP5
00000eae: ADD
00000eaf: CALLDATALOAD
00000eb0: PUSH2 0x0eb8
00000eb3: DUP2
00000eb4: PUSH2 0x0cdc
00000eb7: JUMP
00000eb8: JUMPDEST
00000eb9: SWAP3
00000eba: SWAP6
00000ebb: SWAP3
00000ebc: SWAP5
00000ebd: POP
00000ebe: POP
00000ebf: POP
00000ec0: PUSH1 0x40
00000ec2: SWAP2
00000ec3: SWAP1
00000ec4: SWAP2
00000ec5: ADD
00000ec6: CALLDATALOAD
00000ec7: SWAP1
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: PUSH1 0x00
00000ecc: DUP1
00000ecd: PUSH1 0x00
00000ecf: DUP1
00000ed0: PUSH1 0x60
00000ed2: DUP6
00000ed3: DUP8
00000ed4: SUB
00000ed5: SLT
00000ed6: ISZERO
00000ed7: PUSH2 0x0edf
00000eda: JUMPI
00000edb: PUSH1 0x00
00000edd: DUP1
00000ede: REVERT
00000edf: JUMPDEST
00000ee0: DUP5
00000ee1: CALLDATALOAD
00000ee2: PUSH2 0x0eea
00000ee5: DUP2
00000ee6: PUSH2 0x0cdc
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: SWAP4
00000eec: POP
00000eed: PUSH1 0x20
00000eef: DUP6
00000ef0: ADD
00000ef1: CALLDATALOAD
00000ef2: PUSH8 0xffffffffffffffff
00000efb: DUP2
00000efc: GT
00000efd: ISZERO
00000efe: PUSH2 0x0f06
00000f01: JUMPI
00000f02: PUSH1 0x00
00000f04: DUP1
00000f05: REVERT
00000f06: JUMPDEST
00000f07: PUSH2 0x0f12
00000f0a: DUP8
00000f0b: DUP3
00000f0c: DUP9
00000f0d: ADD
00000f0e: PUSH2 0x0cf4
00000f11: JUMP
00000f12: JUMPDEST
00000f13: SWAP6
00000f14: SWAP9
00000f15: SWAP1
00000f16: SWAP8
00000f17: POP
00000f18: SWAP5
00000f19: SWAP6
00000f1a: PUSH1 0x40
00000f1c: ADD
00000f1d: CALLDATALOAD
00000f1e: SWAP5
00000f1f: SWAP4
00000f20: POP
00000f21: POP
00000f22: POP
00000f23: POP
00000f24: JUMP
00000f25: JUMPDEST
00000f26: PUSH1 0x00
00000f28: DUP1
00000f29: PUSH1 0x00
00000f2b: DUP1
00000f2c: PUSH1 0x80
00000f2e: DUP6
00000f2f: DUP8
00000f30: SUB
00000f31: SLT
00000f32: ISZERO
00000f33: PUSH2 0x0f3b
00000f36: JUMPI
00000f37: PUSH1 0x00
00000f39: DUP1
00000f3a: REVERT
00000f3b: JUMPDEST
00000f3c: DUP5
00000f3d: CALLDATALOAD
00000f3e: PUSH2 0x0f46
00000f41: DUP2
00000f42: PUSH2 0x0cdc
00000f45: JUMP
00000f46: JUMPDEST
00000f47: SWAP4
00000f48: POP
00000f49: PUSH1 0x20
00000f4b: DUP6
00000f4c: ADD
00000f4d: CALLDATALOAD
00000f4e: PUSH2 0x0f56
00000f51: DUP2
00000f52: PUSH2 0x0cdc
00000f55: JUMP
00000f56: JUMPDEST
00000f57: SWAP4
00000f58: SWAP7
00000f59: SWAP4
00000f5a: SWAP6
00000f5b: POP
00000f5c: POP
00000f5d: POP
00000f5e: POP
00000f5f: PUSH1 0x40
00000f61: DUP3
00000f62: ADD
00000f63: CALLDATALOAD
00000f64: SWAP2
00000f65: PUSH1 0x60
00000f67: ADD
00000f68: CALLDATALOAD
00000f69: SWAP1
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: PUSH1 0x00
00000f6e: PUSH1 0x20
00000f70: DUP3
00000f71: DUP5
00000f72: SUB
00000f73: SLT
00000f74: ISZERO
00000f75: PUSH2 0x0f7d
00000f78: JUMPI
00000f79: PUSH1 0x00
00000f7b: DUP1
00000f7c: REVERT
00000f7d: JUMPDEST
00000f7e: POP
00000f7f: CALLDATALOAD
00000f80: SWAP2
00000f81: SWAP1
00000f82: POP
00000f83: JUMP
00000f84: JUMPDEST
00000f85: PUSH4 0x4e487b71
00000f8a: PUSH1 0xe0
00000f8c: SHL
00000f8d: PUSH1 0x00
00000f8f: MSTORE
00000f90: PUSH1 0x11
00000f92: PUSH1 0x04
00000f94: MSTORE
00000f95: PUSH1 0x24
00000f97: PUSH1 0x00
00000f99: REVERT
00000f9a: JUMPDEST
00000f9b: DUP2
00000f9c: DUP2
00000f9d: SUB
00000f9e: DUP2
00000f9f: DUP2
00000fa0: GT
00000fa1: ISZERO
00000fa2: PUSH2 0x0fad
00000fa5: JUMPI
00000fa6: PUSH2 0x0fad
00000fa9: PUSH2 0x0f84
00000fac: JUMP
00000fad: JUMPDEST
00000fae: SWAP3
00000faf: SWAP2
00000fb0: POP
00000fb1: POP
00000fb2: JUMP
00000fb3: JUMPDEST
00000fb4: PUSH4 0x4e487b71
00000fb9: PUSH1 0xe0
00000fbb: SHL
00000fbc: PUSH1 0x00
00000fbe: MSTORE
00000fbf: PUSH1 0x32
00000fc1: PUSH1 0x04
00000fc3: MSTORE
00000fc4: PUSH1 0x24
00000fc6: PUSH1 0x00
00000fc8: REVERT
00000fc9: JUMPDEST
00000fca: PUSH1 0x00
00000fcc: PUSH1 0x01
00000fce: DUP3
00000fcf: ADD
00000fd0: PUSH2 0x0fdb
00000fd3: JUMPI
00000fd4: PUSH2 0x0fdb
00000fd7: PUSH2 0x0f84
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: POP
00000fdd: PUSH1 0x01
00000fdf: ADD
00000fe0: SWAP1
00000fe1: JUMP
00000fe2: JUMPDEST
00000fe3: DUP1
00000fe4: MLOAD
00000fe5: PUSH2 0x0fed
00000fe8: DUP2
00000fe9: PUSH2 0x0cdc
00000fec: JUMP
00000fed: JUMPDEST
00000fee: SWAP2
00000fef: SWAP1
00000ff0: POP
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: PUSH1 0x00
00000ff5: PUSH1 0x20
00000ff7: DUP3
00000ff8: DUP5
00000ff9: SUB
00000ffa: SLT
00000ffb: ISZERO
00000ffc: PUSH2 0x1004
00000fff: JUMPI
00001000: PUSH1 0x00
00001002: DUP1
00001003: REVERT
00001004: JUMPDEST
00001005: DUP2
00001006: MLOAD
00001007: PUSH2 0x0dcd
0000100a: DUP2
0000100b: PUSH2 0x0cdc
0000100e: JUMP
0000100f: JUMPDEST
00001010: DUP2
00001011: DUP4
00001012: MSTORE
00001013: DUP2
00001014: DUP2
00001015: PUSH1 0x20
00001017: DUP6
00001018: ADD
00001019: CALLDATACOPY
0000101a: POP
0000101b: PUSH1 0x00
0000101d: DUP3
0000101e: DUP3
0000101f: ADD
00001020: PUSH1 0x20
00001022: SWAP1
00001023: DUP2
00001024: ADD
00001025: SWAP2
00001026: SWAP1
00001027: SWAP2
00001028: MSTORE
00001029: PUSH1 0x1f
0000102b: SWAP1
0000102c: SWAP2
0000102d: ADD
0000102e: PUSH1 0x1f
00001030: NOT
00001031: AND
00001032: SWAP1
00001033: SWAP2
00001034: ADD
00001035: ADD
00001036: SWAP1
00001037: JUMP
00001038: JUMPDEST
00001039: PUSH1 0x01
0000103b: PUSH1 0x01
0000103d: PUSH1 0xa0
0000103f: SHL
00001040: SUB
00001041: DUP6
00001042: AND
00001043: DUP2
00001044: MSTORE
00001045: PUSH1 0x60
00001047: PUSH1 0x20
00001049: DUP3
0000104a: ADD
0000104b: MSTORE
0000104c: PUSH1 0x00
0000104e: PUSH2 0x105b
00001051: PUSH1 0x60
00001053: DUP4
00001054: ADD
00001055: DUP6
00001056: DUP8
00001057: PUSH2 0x100f
0000105a: JUMP
0000105b: JUMPDEST
0000105c: SWAP1
0000105d: POP
0000105e: DUP3
0000105f: PUSH1 0x40
00001061: DUP4
00001062: ADD
00001063: MSTORE
00001064: SWAP6
00001065: SWAP5
00001066: POP
00001067: POP
00001068: POP
00001069: POP
0000106a: POP
0000106b: JUMP
0000106c: JUMPDEST
0000106d: PUSH1 0x00
0000106f: PUSH1 0x20
00001071: DUP3
00001072: DUP5
00001073: SUB
00001074: SLT
00001075: ISZERO
00001076: PUSH2 0x107e
00001079: JUMPI
0000107a: PUSH1 0x00
0000107c: DUP1
0000107d: REVERT
0000107e: JUMPDEST
0000107f: DUP2
00001080: MLOAD
00001081: DUP1
00001082: ISZERO
00001083: ISZERO
00001084: DUP2
00001085: EQ
00001086: PUSH2 0x0dcd
00001089: JUMPI
0000108a: PUSH1 0x00
0000108c: DUP1
0000108d: REVERT
0000108e: JUMPDEST
0000108f: PUSH4 0x4e487b71
00001094: PUSH1 0xe0
00001096: SHL
00001097: PUSH1 0x00
00001099: MSTORE
0000109a: PUSH1 0x41
0000109c: PUSH1 0x04
0000109e: MSTORE
0000109f: PUSH1 0x24
000010a1: PUSH1 0x00
000010a3: REVERT
000010a4: JUMPDEST
000010a5: PUSH1 0x00
000010a7: PUSH1 0x20
000010a9: DUP1
000010aa: DUP4
000010ab: DUP6
000010ac: SUB
000010ad: SLT
000010ae: ISZERO
000010af: PUSH2 0x10b7
000010b2: JUMPI
000010b3: PUSH1 0x00
000010b5: DUP1
000010b6: REVERT
000010b7: JUMPDEST
000010b8: DUP3
000010b9: MLOAD
000010ba: PUSH8 0xffffffffffffffff
000010c3: DUP1
000010c4: DUP3
000010c5: GT
000010c6: ISZERO
000010c7: PUSH2 0x10cf
000010ca: JUMPI
000010cb: PUSH1 0x00
000010cd: DUP1
000010ce: REVERT
000010cf: JUMPDEST
000010d0: DUP2
000010d1: DUP6
000010d2: ADD
000010d3: SWAP2
000010d4: POP
000010d5: DUP6
000010d6: PUSH1 0x1f
000010d8: DUP4
000010d9: ADD
000010da: SLT
000010db: PUSH2 0x10e3
000010de: JUMPI
000010df: PUSH1 0x00
000010e1: DUP1
000010e2: REVERT
000010e3: JUMPDEST
000010e4: DUP2
000010e5: MLOAD
000010e6: DUP2
000010e7: DUP2
000010e8: GT
000010e9: ISZERO
000010ea: PUSH2 0x10f5
000010ed: JUMPI
000010ee: PUSH2 0x10f5
000010f1: PUSH2 0x108e
000010f4: JUMP
000010f5: JUMPDEST
000010f6: DUP1
000010f7: PUSH1 0x05
000010f9: SHL
000010fa: PUSH1 0x40
000010fc: MLOAD
000010fd: PUSH1 0x1f
000010ff: NOT
00001100: PUSH1 0x3f
00001102: DUP4
00001103: ADD
00001104: AND
00001105: DUP2
00001106: ADD
00001107: DUP2
00001108: DUP2
00001109: LT
0000110a: DUP6
0000110b: DUP3
0000110c: GT
0000110d: OR
0000110e: ISZERO
0000110f: PUSH2 0x111a
00001112: JUMPI
00001113: PUSH2 0x111a
00001116: PUSH2 0x108e
00001119: JUMP
0000111a: JUMPDEST
0000111b: PUSH1 0x40
0000111d: MSTORE
0000111e: SWAP2
0000111f: DUP3
00001120: MSTORE
00001121: DUP5
00001122: DUP3
00001123: ADD
00001124: SWAP3
00001125: POP
00001126: DUP4
00001127: DUP2
00001128: ADD
00001129: DUP6
0000112a: ADD
0000112b: SWAP2
0000112c: DUP9
0000112d: DUP4
0000112e: GT
0000112f: ISZERO
00001130: PUSH2 0x1138
00001133: JUMPI
00001134: PUSH1 0x00
00001136: DUP1
00001137: REVERT
00001138: JUMPDEST
00001139: SWAP4
0000113a: DUP6
0000113b: ADD
0000113c: SWAP4
0000113d: JUMPDEST
0000113e: DUP3
0000113f: DUP6
00001140: LT
00001141: ISZERO
00001142: PUSH2 0x115d
00001145: JUMPI
00001146: PUSH2 0x114e
00001149: DUP6
0000114a: PUSH2 0x0fe2
0000114d: JUMP
0000114e: JUMPDEST
0000114f: DUP5
00001150: MSTORE
00001151: SWAP4
00001152: DUP6
00001153: ADD
00001154: SWAP4
00001155: SWAP3
00001156: DUP6
00001157: ADD
00001158: SWAP3
00001159: PUSH2 0x113d
0000115c: JUMP
0000115d: JUMPDEST
0000115e: SWAP9
0000115f: SWAP8
00001160: POP
00001161: POP
00001162: POP
00001163: POP
00001164: POP
00001165: POP
00001166: POP
00001167: POP
00001168: JUMP
00001169: JUMPDEST
0000116a: DUP2
0000116b: DUP4
0000116c: DUP3
0000116d: CALLDATACOPY
0000116e: PUSH1 0x00
00001170: SWAP2
00001171: ADD
00001172: SWAP1
00001173: DUP2
00001174: MSTORE
00001175: SWAP2
00001176: SWAP1
00001177: POP
00001178: JUMP
00001179: JUMPDEST
0000117a: PUSH1 0x00
0000117c: DUP3
0000117d: PUSH2 0x1196
00001180: JUMPI
00001181: PUSH4 0x4e487b71
00001186: PUSH1 0xe0
00001188: SHL
00001189: PUSH1 0x00
0000118b: MSTORE
0000118c: PUSH1 0x12
0000118e: PUSH1 0x04
00001190: MSTORE
00001191: PUSH1 0x24
00001193: PUSH1 0x00
00001195: REVERT
00001196: JUMPDEST
00001197: POP
00001198: DIV
00001199: SWAP1
0000119a: JUMP
0000119b: INVALID
0000119c: LOG2
0000119d: PUSH5 0x6970667358
000011a3: UNKNOWN(0x22)
000011a4: SLT
000011a5: KECCAK256
000011a6: UNKNOWN(0xB1)
000011a7: UNKNOWN(0x4F)
000011a8: UNKNOWN(0xBB)
000011a9: UNKNOWN(0xB5)
000011aa: ADDMOD
000011ab: SWAP15
000011ac: DUP9
000011ad: PUSH18 0xb4dafbabff1bdd2332a2173d3eb4e69520fa
000011c0: INVALID
000011c1: PC
000011c2: PUSH4 0x9e624864
000011c7: PUSH20