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

Analysis Run

019bb005-067a-72f6-9cc1-461f0f1a0847

complete
Chain ID
1
Address
Block Number
Created
Mon, Jan 12, 2026 2:24 AM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Present
Best current signal
Untrusted DELEGATECALL target 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
39489 artifact.fetch complete 1 / 3 3 months ago
39490 proxy.resolve complete 1 / 3 3 months ago
39491 tool.cast_disasm complete 1 / 3 3 months ago
39492 analysis.bundle complete 1 / 3 3 months ago
39493 capability.graph complete 1 / 3 3 months ago
39494 detector.run complete 1 / 3 3 months ago
39495 validation.fork complete 1 / 3 3 months ago
39528 report.consolidate complete 1 / 6 3 months ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
2
No findings?
no
Summary
Bytecode-only review flagged a computed DELEGATECALL and multiple value-bearing CALLs to computed targets with no detected guards; these warrant manual verification of target control and reentrancy ordering.
View stdout
{"no_findings":false,"summary":"Bytecode-only review flagged a computed DELEGATECALL and multiple value-bearing CALLs to computed targets with no detected guards; these warrant manual verification of target control and reentrancy ordering.","findings":[{"severity":"high","category":"other","title":"Computed DELEGATECALL target reachable (possible arbitrary code execution)","exploit_scenario":"If an attacker can influence the delegatecall target (via calldata or modifiable storage), they can execute arbitrary code in the caller's context, overwrite storage (including ownership/asset accounting), and drain funds.","recommendation":"Ensure the delegatecall target is fixed to a trusted library/implementation or gated by strict access control and allowlisting; avoid delegatecall to user-controlled addresses.","evidence":"Detector flagged 1 DELEGATECALL with target_expression_category=\"computed\" and no guards detected; pc 13517 (0x34cd).","locations":["pc:0x34cd"]},{"severity":"medium","category":"reentrancy","title":"Value-bearing external CALLs to computed targets without detected guard","exploit_scenario":"If these CALLs send ETH or invoke user-supplied contracts before state is fully updated, a malicious callee can reenter and trigger duplicate processing (e.g., double-withdraw/refund) or manipulate order state. Bytecode-only view cannot confirm call ordering or guards.","recommendation":"Review each value-bearing CALL to confirm checks-effects-interactions ordering and/or add a reentrancy guard on external-call paths; restrict external call targets where possible.","evidence":"Detectors show 4 CALL sites with target/value computed and no guards detected; eth_value_calls=4 at pc 4442 (0x115a), 5276 (0x149c), 6520 (0x1978), 11289 (0x2c19).","locations":["pc:0x115a","pc:0x149c","pc:0x1978","pc:0x2c19"]}]}
View stderr
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-ne8qq2ix
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb047-db98-7d92-8875-7f0dfc8ce860
--------
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
**Preparing to read BYTECODE_BUNDLE.json**
exec
/bin/bash -lc ls in /tmp/codex-ne8qq2ix succeeded in 8ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-ne8qq2ix succeeded in 9ms:
{
  "analysis_artifact": {
    "address": "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3",
    "artifact_hash": "0x416c69c728bdbd02fe1a48afed970e714b06a7aed0eb6a9554b25603553c0fea",
    "artifact_json": {
      "auth": {
        "guards": []
      },
      "basic_blocks": [
        {
          "end_pc": 12,
          "hash": "0x431dfc0bfe2ab2dd37e5d0d82610f873058d13b60702bec0631be36ebb411a1c",
          "opcodes": [
            "PUSH1",
            "PUSH1",
            "MSTORE",
            "PUSH1",
            "CALLDATASIZE",
            "LT",
            "PUSH2",

thinking
**Analyzing bytecode and storage slots**
exec
/bin/bash -lc 'rg -n "storage|slot|eip|proxy|implementation|beacon|1967" BYTECODE_BUNDLE.json' in /tmp/codex-ne8qq2ix succeeded in 46ms:
8296:          "end_pc": 11967,
12950:          "storage": {
12952:            "slots": [
12956:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
12961:                "slot": "0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300"
12966:                "slot": "0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300"
12971:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
12976:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
12981:                "slot": "0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00"
12986:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
12991:                "slot": "0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100"
12996:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
13001:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
13006:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
13011:                "slot": "0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300"
13016:                "slot": "0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00"
13021:                "slot": "0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300"
13026:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
13031:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
13036:                "slot": "0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300"

thinking
**Searching for proxy evidence section**
exec
/bin/bash -lc 'rg -n "proxy_evidence|proxy_flag|onchain_method|implementation" BYTECODE_BUNDLE.json | head -n 40' in /tmp/codex-ne8qq2ix succeeded in 22ms:
15809:        "link_type": "implementation",
15813:              "implementation": "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3",
15814:              "proxy_flag": true
15818:          "implementation": "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3",
15820:          "onchain_method": "eip1967",
15845:        "implementation": null,
15852:      "proxy_evidence": {
15856:    "implementation_address": null,

thinking
**Viewing specific code region**
exec
/bin/bash -lc "sed -n '15780,15880p' BYTECODE_BUNDLE.json" in /tmp/codex-ne8qq2ix succeeded in 32ms:
            "op": "SLOAD",
            "pc": 13224,
            "slot": "0x00000000000000000000000000000000000000000000000000000000000033ad"
          }
        ],
        "writes": 28
      },
      "version": "analysis_artifact_v1"
    },
    "block_number": null,
    "chain_id": 1,
    "codehash": "0x4099440a39acd6c83aa22d30b194960c40daac31d9bd59185501ebf4decfdd4f",
    "created_at": "2026-01-12T03:10:20.000000Z",
    "id": 1012,
    "updated_at": "2026-01-12T03:10:20.000000Z",
    "version": "analysis_artifact_v1"
  },
  "analysis_run": {
    "address": "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3",
    "block_number": null,

thinking
**Evaluating proxy and delegatecall risks**
exec
/bin/bash -lc 'rg -n "evidence|callsite|delegatecall|CALL" BYTECODE_BUNDLE.json | head -n 80' in /tmp/codex-ne8qq2ix succeeded in 9ms:
18:            "CALLDATASIZE",
30:            "CALLDATALOAD",
363:            "CALLDATASIZE",
391:            "CALLVALUE",
417:            "CALLDATASIZE",
441:            "CALLDATASIZE",
463:            "CALLVALUE",
498:            "CALLVALUE",
533:            "CALLVALUE",
559:            "CALLDATASIZE",
581:            "CALLVALUE",
650:            "CALLVALUE",
705:            "CALLVALUE",
731:            "CALLDATASIZE",
766:            "CALLVALUE",
801:            "CALLVALUE",
857:            "CALLVALUE",
883:            "CALLDATASIZE",
905:            "CALLVALUE",
943:            "CALLVALUE",


thinking
**Summarizing delegatecall, external calls, and access control findings**

I'll analyze identified callsites and detector evidence to report on risks around delegatecall to computed targets, external calls with ETH value possibly causing reentrancy, and access control checks. I’ll explicitly mention uncertainty due to bytecode-only data and proxy implementation context, and compile findings in JSON format with severity, categories, scenarios, recommendations, evidence, and locations.
thinking
**Composing final JSON findings response**

I'm assembling the required JSON output with a concise summary and two detailed findings—one for the computed delegatecall risk and one for external calls with value lacking reentrancy guards—matching the given schema and category enums.
codex
{"no_findings":false,"summary":"Bytecode-only review flagged a computed DELEGATECALL and multiple value-bearing CALLs to computed targets with no detected guards; these warrant manual verification of target control and reentrancy ordering.","findings":[{"severity":"high","category":"other","title":"Computed DELEGATECALL target reachable (possible arbitrary code execution)","exploit_scenario":"If an attacker can influence the delegatecall target (via calldata or modifiable storage), they can execute arbitrary code in the caller's context, overwrite storage (including ownership/asset accounting), and drain funds.","recommendation":"Ensure the delegatecall target is fixed to a trusted library/implementation or gated by strict access control and allowlisting; avoid delegatecall to user-controlled addresses.","evidence":"Detector flagged 1 DELEGATECALL with target_expression_category=\"computed\" and no guards detected; pc 13517 (0x34cd).","locations":["pc:0x34cd"]},{"severity":"medium","category":"reentrancy","title":"Value-bearing external CALLs to computed targets without detected guard","exploit_scenario":"If these CALLs send ETH or invoke user-supplied contracts before state is fully updated, a malicious callee can reenter and trigger duplicate processing (e.g., double-withdraw/refund) or manipulate order state. Bytecode-only view cannot confirm call ordering or guards.","recommendation":"Review each value-bearing CALL to confirm checks-effects-interactions ordering and/or add a reentrancy guard on external-call paths; restrict external call targets where possible.","evidence":"Detectors show 4 CALL sites with target/value computed and no guards detected; eth_value_calls=4 at pc 4442 (0x115a), 5276 (0x149c), 6520 (0x1978), 11289 (0x2c19).","locations":["pc:0x115a","pc:0x149c","pc:0x1978","pc:0x2c19"]}]}
tokens used
51,285
Metadata
{
    "codex": {
        "ran_at": "2026-01-12T03:39:40.972715+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 27108,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode-only review flagged a computed DELEGATECALL and multiple value-bearing CALLs to computed targets with no detected guards; these warrant manual verification of target control and reentrancy ordering.",
    "raw_final": {
        "summary": "Bytecode-only review flagged a computed DELEGATECALL and multiple value-bearing CALLs to computed targets with no detected guards; these warrant manual verification of target control and reentrancy ordering.",
        "findings": [
            {
                "title": "Computed DELEGATECALL target reachable (possible arbitrary code execution)",
                "category": "other",
                "evidence": "Detector flagged 1 DELEGATECALL with target_expression_category=\"computed\" and no guards detected; pc 13517 (0x34cd).",
                "severity": "high",
                "locations": [
                    "pc:0x34cd"
                ],
                "recommendation": "Ensure the delegatecall target is fixed to a trusted library/implementation or gated by strict access control and allowlisting; avoid delegatecall to user-controlled addresses.",
                "exploit_scenario": "If an attacker can influence the delegatecall target (via calldata or modifiable storage), they can execute arbitrary code in the caller's context, overwrite storage (including ownership/asset accounting), and drain funds."
            },
            {
                "title": "Value-bearing external CALLs to computed targets without detected guard",
                "category": "reentrancy",
                "evidence": "Detectors show 4 CALL sites with target/value computed and no guards detected; eth_value_calls=4 at pc 4442 (0x115a), 5276 (0x149c), 6520 (0x1978), 11289 (0x2c19).",
                "severity": "medium",
                "locations": [
                    "pc:0x115a",
                    "pc:0x149c",
                    "pc:0x1978",
                    "pc:0x2c19"
                ],
                "recommendation": "Review each value-bearing CALL to confirm checks-effects-interactions ordering and/or add a reentrancy guard on external-call paths; restrict external call targets where possible.",
                "exploit_scenario": "If these CALLs send ETH or invoke user-supplied contracts before state is fully updated, a malicious callee can reenter and trigger duplicate processing (e.g., double-withdraw/refund) or manipulate order state. Bytecode-only view cannot confirm call ordering or guards."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
2
Total opcodes
5909
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x011b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x84b0196e
00000019: GT
0000001a: PUSH2 0x009c
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb460af94
00000024: GT
00000025: PUSH2 0x006e
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc617b667
0000002f: GT
00000030: PUSH2 0x0056
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc617b667
0000003a: EQ
0000003b: PUSH2 0x0399
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf1db4763
00000045: EQ
00000046: PUSH2 0x03b9
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x03e9
00000054: JUMPI
00000055: STOP
00000056: JUMPDEST
00000057: DUP1
00000058: PUSH4 0xb460af94
0000005d: EQ
0000005e: PUSH2 0x0349
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xb695c935
00000068: EQ
00000069: PUSH2 0x0369
0000006c: JUMPI
0000006d: STOP
0000006e: JUMPDEST
0000006f: DUP1
00000070: PUSH4 0x84b0196e
00000075: EQ
00000076: PUSH2 0x027a
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x863d51c9
00000080: EQ
00000081: PUSH2 0x02a2
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x8da5cb5b
0000008b: EQ
0000008c: PUSH2 0x02c2
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0xa0897609
00000096: EQ
00000097: PUSH2 0x030c
0000009a: JUMPI
0000009b: STOP
0000009c: JUMPDEST
0000009d: DUP1
0000009e: PUSH4 0x485cc955
000000a3: GT
000000a4: PUSH2 0x00ed
000000a7: JUMPI
000000a8: DUP1
000000a9: PUSH4 0x5c975abb
000000ae: GT
000000af: PUSH2 0x00d5
000000b2: JUMPI
000000b3: DUP1
000000b4: PUSH4 0x5c975abb
000000b9: EQ
000000ba: PUSH2 0x01f2
000000bd: JUMPI
000000be: DUP1
000000bf: PUSH4 0x65bd4f0e
000000c4: EQ
000000c5: PUSH2 0x0235
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x715018a6
000000cf: EQ
000000d0: PUSH2 0x0265
000000d3: JUMPI
000000d4: STOP
000000d5: JUMPDEST
000000d6: DUP1
000000d7: PUSH4 0x485cc955
000000dc: EQ
000000dd: PUSH2 0x0181
000000e0: JUMPI
000000e1: DUP1
000000e2: PUSH4 0x521e47b9
000000e7: EQ
000000e8: PUSH2 0x01a1
000000eb: JUMPI
000000ec: STOP
000000ed: JUMPDEST
000000ee: DUP1
000000ef: PUSH4 0x05b1737e
000000f4: EQ
000000f5: PUSH2 0x0124
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0x101916e0
000000ff: EQ
00000100: PUSH2 0x0144
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0x37a66d85
0000010a: EQ
0000010b: PUSH2 0x0157
0000010e: JUMPI
0000010f: DUP1
00000110: PUSH4 0x3c89edce
00000115: EQ
00000116: PUSH2 0x016c
00000119: JUMPI
0000011a: STOP
0000011b: JUMPDEST
0000011c: CALLDATASIZE
0000011d: PUSH2 0x0122
00000120: JUMPI
00000121: STOP
00000122: JUMPDEST
00000123: STOP
00000124: JUMPDEST
00000125: CALLVALUE
00000126: DUP1
00000127: ISZERO
00000128: PUSH2 0x0130
0000012b: JUMPI
0000012c: PUSH1 0x00
0000012e: DUP1
0000012f: REVERT
00000130: JUMPDEST
00000131: POP
00000132: PUSH2 0x0122
00000135: PUSH2 0x013f
00000138: CALLDATASIZE
00000139: PUSH1 0x04
0000013b: PUSH2 0x2e34
0000013e: JUMP
0000013f: JUMPDEST
00000140: PUSH2 0x0409
00000143: JUMP
00000144: JUMPDEST
00000145: PUSH2 0x0122
00000148: PUSH2 0x0152
0000014b: CALLDATASIZE
0000014c: PUSH1 0x04
0000014e: PUSH2 0x2e67
00000151: JUMP
00000152: JUMPDEST
00000153: PUSH2 0x0500
00000156: JUMP
00000157: JUMPDEST
00000158: CALLVALUE
00000159: DUP1
0000015a: ISZERO
0000015b: PUSH2 0x0163
0000015e: JUMPI
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: POP
00000165: PUSH2 0x0122
00000168: PUSH2 0x09a2
0000016b: JUMP
0000016c: JUMPDEST
0000016d: CALLVALUE
0000016e: DUP1
0000016f: ISZERO
00000170: PUSH2 0x0178
00000173: JUMPI
00000174: PUSH1 0x00
00000176: DUP1
00000177: REVERT
00000178: JUMPDEST
00000179: POP
0000017a: PUSH2 0x0122
0000017d: PUSH2 0x09b4
00000180: JUMP
00000181: JUMPDEST
00000182: CALLVALUE
00000183: DUP1
00000184: ISZERO
00000185: PUSH2 0x018d
00000188: JUMPI
00000189: PUSH1 0x00
0000018b: DUP1
0000018c: REVERT
0000018d: JUMPDEST
0000018e: POP
0000018f: PUSH2 0x0122
00000192: PUSH2 0x019c
00000195: CALLDATASIZE
00000196: PUSH1 0x04
00000198: PUSH2 0x2ea4
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH2 0x09c4
000001a0: JUMP
000001a1: JUMPDEST
000001a2: CALLVALUE
000001a3: DUP1
000001a4: ISZERO
000001a5: PUSH2 0x01ad
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: POP
000001af: PUSH1 0x04
000001b1: SLOAD
000001b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c7: AND
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: MLOAD
000001cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001e1: SWAP1
000001e2: SWAP2
000001e3: AND
000001e4: DUP2
000001e5: MSTORE
000001e6: PUSH1 0x20
000001e8: ADD
000001e9: JUMPDEST
000001ea: PUSH1 0x40
000001ec: MLOAD
000001ed: DUP1
000001ee: SWAP2
000001ef: SUB
000001f0: SWAP1
000001f1: RETURN
000001f2: JUMPDEST
000001f3: CALLVALUE
000001f4: DUP1
000001f5: ISZERO
000001f6: PUSH2 0x01fe
000001f9: JUMPI
000001fa: PUSH1 0x00
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: POP
00000200: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00000221: SLOAD
00000222: PUSH1 0xff
00000224: AND
00000225: JUMPDEST
00000226: PUSH1 0x40
00000228: MLOAD
00000229: SWAP1
0000022a: ISZERO
0000022b: ISZERO
0000022c: DUP2
0000022d: MSTORE
0000022e: PUSH1 0x20
00000230: ADD
00000231: PUSH2 0x01e9
00000234: JUMP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH2 0x0225
00000246: PUSH2 0x0250
00000249: CALLDATASIZE
0000024a: PUSH1 0x04
0000024c: PUSH2 0x2ed7
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH1 0x00
00000253: SWAP1
00000254: DUP2
00000255: MSTORE
00000256: PUSH1 0x03
00000258: PUSH1 0x20
0000025a: MSTORE
0000025b: PUSH1 0x40
0000025d: SWAP1
0000025e: KECCAK256
0000025f: SLOAD
00000260: PUSH1 0xff
00000262: AND
00000263: SWAP1
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x0122
00000276: PUSH2 0x0c09
00000279: JUMP
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH2 0x028f
0000028b: PUSH2 0x0c1b
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x40
00000292: MLOAD
00000293: PUSH2 0x01e9
00000296: SWAP8
00000297: SWAP7
00000298: SWAP6
00000299: SWAP5
0000029a: SWAP4
0000029b: SWAP3
0000029c: SWAP2
0000029d: SWAP1
0000029e: PUSH2 0x2f5e
000002a1: JUMP
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x0122
000002b3: PUSH2 0x02bd
000002b6: CALLDATASIZE
000002b7: PUSH1 0x04
000002b9: PUSH2 0x3020
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH2 0x0d17
000002c1: JUMP
000002c2: JUMPDEST
000002c3: CALLVALUE
000002c4: DUP1
000002c5: ISZERO
000002c6: PUSH2 0x02ce
000002c9: JUMPI
000002ca: PUSH1 0x00
000002cc: DUP1
000002cd: REVERT
000002ce: JUMPDEST
000002cf: POP
000002d0: PUSH32 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300
000002f1: SLOAD
000002f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000307: AND
00000308: PUSH2 0x01c8
0000030b: JUMP
0000030c: JUMPDEST
0000030d: CALLVALUE
0000030e: DUP1
0000030f: ISZERO
00000310: PUSH2 0x0318
00000313: JUMPI
00000314: PUSH1 0x00
00000316: DUP1
00000317: REVERT
00000318: JUMPDEST
00000319: POP
0000031a: PUSH2 0x033c
0000031d: PUSH2 0x0327
00000320: CALLDATASIZE
00000321: PUSH1 0x04
00000323: PUSH2 0x2ed7
00000326: JUMP
00000327: JUMPDEST
00000328: PUSH1 0x01
0000032a: PUSH1 0x20
0000032c: MSTORE
0000032d: PUSH1 0x00
0000032f: SWAP1
00000330: DUP2
00000331: MSTORE
00000332: PUSH1 0x40
00000334: SWAP1
00000335: KECCAK256
00000336: SLOAD
00000337: PUSH1 0xff
00000339: AND
0000033a: DUP2
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: PUSH2 0x01e9
00000343: SWAP2
00000344: SWAP1
00000345: PUSH2 0x308a
00000348: JUMP
00000349: JUMPDEST
0000034a: CALLVALUE
0000034b: DUP1
0000034c: ISZERO
0000034d: PUSH2 0x0355
00000350: JUMPI
00000351: PUSH1 0x00
00000353: DUP1
00000354: REVERT
00000355: JUMPDEST
00000356: POP
00000357: PUSH2 0x0122
0000035a: PUSH2 0x0364
0000035d: CALLDATASIZE
0000035e: PUSH1 0x04
00000360: PUSH2 0x30cb
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH2 0x13af
00000368: JUMP
00000369: JUMPDEST
0000036a: CALLVALUE
0000036b: DUP1
0000036c: ISZERO
0000036d: PUSH2 0x0375
00000370: JUMPI
00000371: PUSH1 0x00
00000373: DUP1
00000374: REVERT
00000375: JUMPDEST
00000376: POP
00000377: PUSH2 0x033c
0000037a: PUSH2 0x0384
0000037d: CALLDATASIZE
0000037e: PUSH1 0x04
00000380: PUSH2 0x2ed7
00000383: JUMP
00000384: JUMPDEST
00000385: PUSH1 0x02
00000387: PUSH1 0x20
00000389: MSTORE
0000038a: PUSH1 0x00
0000038c: SWAP1
0000038d: DUP2
0000038e: MSTORE
0000038f: PUSH1 0x40
00000391: SWAP1
00000392: KECCAK256
00000393: SLOAD
00000394: PUSH1 0xff
00000396: AND
00000397: DUP2
00000398: JUMP
00000399: JUMPDEST
0000039a: CALLVALUE
0000039b: DUP1
0000039c: ISZERO
0000039d: PUSH2 0x03a5
000003a0: JUMPI
000003a1: PUSH1 0x00
000003a3: DUP1
000003a4: REVERT
000003a5: JUMPDEST
000003a6: POP
000003a7: PUSH2 0x0122
000003aa: PUSH2 0x03b4
000003ad: CALLDATASIZE
000003ae: PUSH1 0x04
000003b0: PUSH2 0x2e67
000003b3: JUMP
000003b4: JUMPDEST
000003b5: PUSH2 0x1635
000003b8: JUMP
000003b9: JUMPDEST
000003ba: CALLVALUE
000003bb: DUP1
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: PUSH2 0x0225
000003ca: PUSH2 0x03d4
000003cd: CALLDATASIZE
000003ce: PUSH1 0x04
000003d0: PUSH2 0x2ed7
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH1 0x03
000003d7: PUSH1 0x20
000003d9: MSTORE
000003da: PUSH1 0x00
000003dc: SWAP1
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x40
000003e1: SWAP1
000003e2: KECCAK256
000003e3: SLOAD
000003e4: PUSH1 0xff
000003e6: AND
000003e7: DUP2
000003e8: JUMP
000003e9: JUMPDEST
000003ea: CALLVALUE
000003eb: DUP1
000003ec: ISZERO
000003ed: PUSH2 0x03f5
000003f0: JUMPI
000003f1: PUSH1 0x00
000003f3: DUP1
000003f4: REVERT
000003f5: JUMPDEST
000003f6: POP
000003f7: PUSH2 0x0122
000003fa: PUSH2 0x0404
000003fd: CALLDATASIZE
000003fe: PUSH1 0x04
00000400: PUSH2 0x2e34
00000403: JUMP
00000404: JUMPDEST
00000405: PUSH2 0x1baf
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH2 0x0411
0000040d: PUSH2 0x1c10
00000410: JUMP
00000411: JUMPDEST
00000412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000427: DUP2
00000428: AND
00000429: PUSH2 0x04b9
0000042c: JUMPI
0000042d: PUSH1 0x40
0000042f: MLOAD
00000430: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000451: DUP2
00000452: MSTORE
00000453: PUSH1 0x20
00000455: PUSH1 0x04
00000457: DUP3
00000458: ADD
00000459: MSTORE
0000045a: PUSH1 0x27
0000045c: PUSH1 0x24
0000045e: DUP3
0000045f: ADD
00000460: MSTORE
00000461: PUSH32 0x4c697175696469747942616e6b3a20696e76616c696420766572696679696e67
00000482: PUSH1 0x44
00000484: DUP3
00000485: ADD
00000486: MSTORE
00000487: PUSH32 0x207369676e657200000000000000000000000000000000000000000000000000
000004a8: PUSH1 0x64
000004aa: DUP3
000004ab: ADD
000004ac: MSTORE
000004ad: PUSH1 0x84
000004af: ADD
000004b0: JUMPDEST
000004b1: PUSH1 0x40
000004b3: MLOAD
000004b4: DUP1
000004b5: SWAP2
000004b6: SUB
000004b7: SWAP1
000004b8: REVERT
000004b9: JUMPDEST
000004ba: PUSH1 0x04
000004bc: DUP1
000004bd: SLOAD
000004be: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000004df: AND
000004e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f5: SWAP3
000004f6: SWAP1
000004f7: SWAP3
000004f8: AND
000004f9: SWAP2
000004fa: SWAP1
000004fb: SWAP2
000004fc: OR
000004fd: SWAP1
000004fe: SSTORE
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH2 0x0508
00000504: PUSH2 0x1c9e
00000507: JUMP
00000508: JUMPDEST
00000509: PUSH2 0x0510
0000050c: PUSH2 0x1d1f
0000050f: JUMP
00000510: JUMPDEST
00000511: DUP1
00000512: CALLDATALOAD
00000513: PUSH1 0x00
00000515: SWAP1
00000516: DUP2
00000517: MSTORE
00000518: PUSH1 0x03
0000051a: PUSH1 0x20
0000051c: MSTORE
0000051d: PUSH1 0x40
0000051f: SWAP1
00000520: KECCAK256
00000521: SLOAD
00000522: PUSH1 0xff
00000524: AND
00000525: ISZERO
00000526: PUSH2 0x058b
00000529: JUMPI
0000052a: PUSH1 0x40
0000052c: MLOAD
0000052d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000054e: DUP2
0000054f: MSTORE
00000550: PUSH1 0x20
00000552: PUSH1 0x04
00000554: DUP3
00000555: ADD
00000556: MSTORE
00000557: PUSH1 0x0c
00000559: PUSH1 0x24
0000055b: DUP3
0000055c: ADD
0000055d: MSTORE
0000055e: PUSH32 0x4f72646572206c6f636b65640000000000000000000000000000000000000000
0000057f: PUSH1 0x44
00000581: DUP3
00000582: ADD
00000583: MSTORE
00000584: PUSH1 0x64
00000586: ADD
00000587: PUSH2 0x04b0
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH1 0x00
0000058e: PUSH2 0x059a
00000591: PUSH1 0x20
00000593: DUP4
00000594: ADD
00000595: DUP4
00000596: PUSH2 0x3107
00000599: JUMP
0000059a: JUMPDEST
0000059b: SWAP1
0000059c: POP
0000059d: GT
0000059e: PUSH2 0x0603
000005a1: JUMPI
000005a2: PUSH1 0x40
000005a4: MLOAD
000005a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005c6: DUP2
000005c7: MSTORE
000005c8: PUSH1 0x20
000005ca: PUSH1 0x04
000005cc: DUP3
000005cd: ADD
000005ce: MSTORE
000005cf: PUSH1 0x19
000005d1: PUSH1 0x24
000005d3: DUP3
000005d4: ADD
000005d5: MSTORE
000005d6: PUSH32 0x4f7264657220746f6b656e20696e666f20726571756972656400000000000000
000005f7: PUSH1 0x44
000005f9: DUP3
000005fa: ADD
000005fb: MSTORE
000005fc: PUSH1 0x64
000005fe: ADD
000005ff: PUSH2 0x04b0
00000602: JUMP
00000603: JUMPDEST
00000604: DUP1
00000605: CALLDATALOAD
00000606: PUSH1 0x00
00000608: SWAP1
00000609: DUP2
0000060a: MSTORE
0000060b: PUSH1 0x20
0000060d: DUP2
0000060e: SWAP1
0000060f: MSTORE
00000610: PUSH1 0x40
00000612: SWAP1
00000613: KECCAK256
00000614: SLOAD
00000615: ISZERO
00000616: PUSH2 0x067b
00000619: JUMPI
0000061a: PUSH1 0x40
0000061c: MLOAD
0000061d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000063e: DUP2
0000063f: MSTORE
00000640: PUSH1 0x20
00000642: PUSH1 0x04
00000644: DUP3
00000645: ADD
00000646: MSTORE
00000647: PUSH1 0x17
00000649: PUSH1 0x24
0000064b: DUP3
0000064c: ADD
0000064d: MSTORE
0000064e: PUSH32 0x4f7264657220616c72656164792070726f636573736564000000000000000000
0000066f: PUSH1 0x44
00000671: DUP3
00000672: ADD
00000673: MSTORE
00000674: PUSH1 0x64
00000676: ADD
00000677: PUSH2 0x04b0
0000067a: JUMP
0000067b: JUMPDEST
0000067c: PUSH2 0x0684
0000067f: DUP2
00000680: PUSH2 0x1d7b
00000683: JUMP
00000684: JUMPDEST
00000685: PUSH2 0x06ea
00000688: JUMPI
00000689: PUSH1 0x40
0000068b: MLOAD
0000068c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006ad: DUP2
000006ae: MSTORE
000006af: PUSH1 0x20
000006b1: PUSH1 0x04
000006b3: DUP3
000006b4: ADD
000006b5: MSTORE
000006b6: PUSH1 0x15
000006b8: PUSH1 0x24
000006ba: DUP3
000006bb: ADD
000006bc: MSTORE
000006bd: PUSH32 0x496e76616c6964206465706f736974206f726465720000000000000000000000
000006de: PUSH1 0x44
000006e0: DUP3
000006e1: ADD
000006e2: MSTORE
000006e3: PUSH1 0x64
000006e5: ADD
000006e6: PUSH2 0x04b0
000006e9: JUMP
000006ea: JUMPDEST
000006eb: DUP1
000006ec: PUSH1 0x40
000006ee: ADD
000006ef: CALLDATALOAD
000006f0: TIMESTAMP
000006f1: GT
000006f2: ISZERO
000006f3: PUSH2 0x0758
000006f6: JUMPI
000006f7: PUSH1 0x40
000006f9: MLOAD
000006fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000071b: DUP2
0000071c: MSTORE
0000071d: PUSH1 0x20
0000071f: PUSH1 0x04
00000721: DUP3
00000722: ADD
00000723: MSTORE
00000724: PUSH1 0x0d
00000726: PUSH1 0x24
00000728: DUP3
00000729: ADD
0000072a: MSTORE
0000072b: PUSH32 0x4f72646572206578706972656400000000000000000000000000000000000000
0000074c: PUSH1 0x44
0000074e: DUP3
0000074f: ADD
00000750: MSTORE
00000751: PUSH1 0x64
00000753: ADD
00000754: PUSH2 0x04b0
00000757: JUMP
00000758: JUMPDEST
00000759: PUSH1 0x00
0000075b: JUMPDEST
0000075c: PUSH2 0x0768
0000075f: PUSH1 0x20
00000761: DUP4
00000762: ADD
00000763: DUP4
00000764: PUSH2 0x3107
00000767: JUMP
00000768: JUMPDEST
00000769: SWAP1
0000076a: POP
0000076b: DUP2
0000076c: LT
0000076d: ISZERO
0000076e: PUSH2 0x0975
00000771: JUMPI
00000772: PUSH1 0x00
00000774: PUSH2 0x0780
00000777: PUSH1 0x20
00000779: DUP5
0000077a: ADD
0000077b: DUP5
0000077c: PUSH2 0x3107
0000077f: JUMP
00000780: JUMPDEST
00000781: DUP4
00000782: DUP2
00000783: DUP2
00000784: LT
00000785: PUSH2 0x0790
00000788: JUMPI
00000789: PUSH2 0x0790
0000078c: PUSH2 0x3176
0000078f: JUMP
00000790: JUMPDEST
00000791: SWAP1
00000792: POP
00000793: PUSH1 0x40
00000795: MUL
00000796: ADD
00000797: DUP1
00000798: CALLDATASIZE
00000799: SUB
0000079a: DUP2
0000079b: ADD
0000079c: SWAP1
0000079d: PUSH2 0x07a6
000007a0: SWAP2
000007a1: SWAP1
000007a2: PUSH2 0x31d4
000007a5: JUMP
000007a6: JUMPDEST
000007a7: DUP1
000007a8: MLOAD
000007a9: SWAP1
000007aa: SWAP2
000007ab: POP
000007ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c1: AND
000007c2: PUSH2 0x0872
000007c5: JUMPI
000007c6: DUP1
000007c7: PUSH1 0x20
000007c9: ADD
000007ca: MLOAD
000007cb: CALLVALUE
000007cc: EQ
000007cd: PUSH2 0x0832
000007d0: JUMPI
000007d1: PUSH1 0x40
000007d3: MLOAD
000007d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007f5: DUP2
000007f6: MSTORE
000007f7: PUSH1 0x20
000007f9: PUSH1 0x04
000007fb: DUP3
000007fc: ADD
000007fd: MSTORE
000007fe: PUSH1 0x14
00000800: PUSH1 0x24
00000802: DUP3
00000803: ADD
00000804: MSTORE
00000805: PUSH32 0x496e636f72726563742045544820616d6f756e74000000000000000000000000
00000826: PUSH1 0x44
00000828: DUP3
00000829: ADD
0000082a: MSTORE
0000082b: PUSH1 0x64
0000082d: ADD
0000082e: PUSH2 0x04b0
00000831: JUMP
00000832: JUMPDEST
00000833: PUSH1 0x40
00000835: DUP1
00000836: MLOAD
00000837: CALLVALUE
00000838: DUP2
00000839: MSTORE
0000083a: PUSH1 0x00
0000083c: PUSH1 0x20
0000083e: DUP3
0000083f: ADD
00000840: MSTORE
00000841: CALLER
00000842: SWAP2
00000843: PUSH32 0xb4e1304f97b5093610f51b33ddab6622388422e2dac138b0d32f93dcfbd39edf
00000864: SWAP2
00000865: ADD
00000866: PUSH1 0x40
00000868: MLOAD
00000869: DUP1
0000086a: SWAP2
0000086b: SUB
0000086c: SWAP1
0000086d: LOG2
0000086e: PUSH2 0x08fe
00000871: JUMP
00000872: JUMPDEST
00000873: DUP1
00000874: MLOAD
00000875: PUSH1 0x20
00000877: DUP3
00000878: ADD
00000879: MLOAD
0000087a: PUSH2 0x089e
0000087d: SWAP1
0000087e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000893: DUP4
00000894: AND
00000895: SWAP1
00000896: CALLER
00000897: SWAP1
00000898: ADDRESS
00000899: SWAP1
0000089a: PUSH2 0x1e0a
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH1 0x20
000008a1: DUP3
000008a2: ADD
000008a3: MLOAD
000008a4: DUP3
000008a5: MLOAD
000008a6: PUSH1 0x40
000008a8: MLOAD
000008a9: CALLER
000008aa: SWAP3
000008ab: PUSH32 0xb4e1304f97b5093610f51b33ddab6622388422e2dac138b0d32f93dcfbd39edf
000008cc: SWAP3
000008cd: PUSH2 0x08f4
000008d0: SWAP3
000008d1: SWAP2
000008d2: DUP3
000008d3: MSTORE
000008d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e9: AND
000008ea: PUSH1 0x20
000008ec: DUP3
000008ed: ADD
000008ee: MSTORE
000008ef: PUSH1 0x40
000008f1: ADD
000008f2: SWAP1
000008f3: JUMP
000008f4: JUMPDEST
000008f5: PUSH1 0x40
000008f7: MLOAD
000008f8: DUP1
000008f9: SWAP2
000008fa: SUB
000008fb: SWAP1
000008fc: LOG2
000008fd: POP
000008fe: JUMPDEST
000008ff: DUP3
00000900: CALLDATALOAD
00000901: PUSH1 0x00
00000903: SWAP1
00000904: DUP2
00000905: MSTORE
00000906: PUSH1 0x20
00000908: DUP2
00000909: DUP2
0000090a: MSTORE
0000090b: PUSH1 0x40
0000090d: DUP3
0000090e: KECCAK256
0000090f: DUP1
00000910: SLOAD
00000911: PUSH1 0x01
00000913: DUP1
00000914: DUP3
00000915: ADD
00000916: DUP4
00000917: SSTORE
00000918: SWAP2
00000919: DUP5
0000091a: MSTORE
0000091b: SWAP3
0000091c: DUP3
0000091d: SWAP1
0000091e: KECCAK256
0000091f: DUP5
00000920: MLOAD
00000921: PUSH1 0x02
00000923: SWAP1
00000924: SWAP5
00000925: MUL
00000926: ADD
00000927: DUP1
00000928: SLOAD
00000929: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000094a: AND
0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000960: SWAP1
00000961: SWAP5
00000962: AND
00000963: SWAP4
00000964: SWAP1
00000965: SWAP4
00000966: OR
00000967: DUP4
00000968: SSTORE
00000969: SWAP3
0000096a: ADD
0000096b: MLOAD
0000096c: SWAP1
0000096d: DUP3
0000096e: ADD
0000096f: SSTORE
00000970: ADD
00000971: PUSH2 0x075b
00000974: JUMP
00000975: JUMPDEST
00000976: POP
00000977: PUSH2 0x099f
0000097a: PUSH1 0x01
0000097c: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
0000099d: SSTORE
0000099e: JUMP
0000099f: JUMPDEST
000009a0: POP
000009a1: JUMP
000009a2: JUMPDEST
000009a3: PUSH2 0x09aa
000009a6: PUSH2 0x1c10
000009a9: JUMP
000009aa: JUMPDEST
000009ab: PUSH2 0x09b2
000009ae: PUSH2 0x1ebf
000009b1: JUMP
000009b2: JUMPDEST
000009b3: JUMP
000009b4: JUMPDEST
000009b5: PUSH2 0x09bc
000009b8: PUSH2 0x1c10
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH2 0x09b2
000009c0: PUSH2 0x1f5f
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
000009e6: DUP1
000009e7: SLOAD
000009e8: PUSH9 0x010000000000000000
000009f2: DUP2
000009f3: DIV
000009f4: PUSH1 0xff
000009f6: AND
000009f7: ISZERO
000009f8: SWAP1
000009f9: PUSH8 0xffffffffffffffff
00000a02: AND
00000a03: PUSH1 0x00
00000a05: DUP2
00000a06: ISZERO
00000a07: DUP1
00000a08: ISZERO
00000a09: PUSH2 0x0a0f
00000a0c: JUMPI
00000a0d: POP
00000a0e: DUP3
00000a0f: JUMPDEST
00000a10: SWAP1
00000a11: POP
00000a12: PUSH1 0x00
00000a14: DUP3
00000a15: PUSH8 0xffffffffffffffff
00000a1e: AND
00000a1f: PUSH1 0x01
00000a21: EQ
00000a22: DUP1
00000a23: ISZERO
00000a24: PUSH2 0x0a2c
00000a27: JUMPI
00000a28: POP
00000a29: ADDRESS
00000a2a: EXTCODESIZE
00000a2b: ISZERO
00000a2c: JUMPDEST
00000a2d: SWAP1
00000a2e: POP
00000a2f: DUP2
00000a30: ISZERO
00000a31: DUP1
00000a32: ISZERO
00000a33: PUSH2 0x0a3a
00000a36: JUMPI
00000a37: POP
00000a38: DUP1
00000a39: ISZERO
00000a3a: JUMPDEST
00000a3b: ISZERO
00000a3c: PUSH2 0x0a71
00000a3f: JUMPI
00000a40: PUSH1 0x40
00000a42: MLOAD
00000a43: PUSH32 0xf92ee8a900000000000000000000000000000000000000000000000000000000
00000a64: DUP2
00000a65: MSTORE
00000a66: PUSH1 0x04
00000a68: ADD
00000a69: PUSH1 0x40
00000a6b: MLOAD
00000a6c: DUP1
00000a6d: SWAP2
00000a6e: SUB
00000a6f: SWAP1
00000a70: REVERT
00000a71: JUMPDEST
00000a72: DUP5
00000a73: SLOAD
00000a74: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
00000a95: AND
00000a96: PUSH1 0x01
00000a98: OR
00000a99: DUP6
00000a9a: SSTORE
00000a9b: DUP4
00000a9c: ISZERO
00000a9d: PUSH2 0x0ad2
00000aa0: JUMPI
00000aa1: DUP5
00000aa2: SLOAD
00000aa3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff
00000ac4: AND
00000ac5: PUSH9 0x010000000000000000
00000acf: OR
00000ad0: DUP6
00000ad1: SSTORE
00000ad2: JUMPDEST
00000ad3: PUSH2 0x0b46
00000ad6: PUSH1 0x40
00000ad8: MLOAD
00000ad9: DUP1
00000ada: PUSH1 0x40
00000adc: ADD
00000add: PUSH1 0x40
00000adf: MSTORE
00000ae0: DUP1
00000ae1: PUSH1 0x0d
00000ae3: DUP2
00000ae4: MSTORE
00000ae5: PUSH1 0x20
00000ae7: ADD
00000ae8: PUSH32 0x4c697175696469747942616e6b00000000000000000000000000000000000000
00000b09: DUP2
00000b0a: MSTORE
00000b0b: POP
00000b0c: PUSH1 0x40
00000b0e: MLOAD
00000b0f: DUP1
00000b10: PUSH1 0x40
00000b12: ADD
00000b13: PUSH1 0x40
00000b15: MSTORE
00000b16: DUP1
00000b17: PUSH1 0x01
00000b19: DUP2
00000b1a: MSTORE
00000b1b: PUSH1 0x20
00000b1d: ADD
00000b1e: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000
00000b3f: DUP2
00000b40: MSTORE
00000b41: POP
00000b42: PUSH2 0x1fd5
00000b45: JUMP
00000b46: JUMPDEST
00000b47: PUSH2 0x0b4f
00000b4a: DUP8
00000b4b: PUSH2 0x1feb
00000b4e: JUMP
00000b4f: JUMPDEST
00000b50: PUSH2 0x0b57
00000b53: PUSH2 0x1ffc
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH2 0x0b5f
00000b5b: PUSH2 0x200c
00000b5e: JUMP
00000b5f: JUMPDEST
00000b60: PUSH1 0x04
00000b62: DUP1
00000b63: SLOAD
00000b64: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000b85: AND
00000b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9b: DUP9
00000b9c: AND
00000b9d: OR
00000b9e: SWAP1
00000b9f: SSTORE
00000ba0: DUP4
00000ba1: ISZERO
00000ba2: PUSH2 0x0c00
00000ba5: JUMPI
00000ba6: DUP5
00000ba7: SLOAD
00000ba8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff
00000bc9: AND
00000bca: DUP6
00000bcb: SSTORE
00000bcc: PUSH1 0x40
00000bce: MLOAD
00000bcf: PUSH1 0x01
00000bd1: DUP2
00000bd2: MSTORE
00000bd3: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2
00000bf4: SWAP1
00000bf5: PUSH1 0x20
00000bf7: ADD
00000bf8: PUSH1 0x40
00000bfa: MLOAD
00000bfb: DUP1
00000bfc: SWAP2
00000bfd: SUB
00000bfe: SWAP1
00000bff: LOG1
00000c00: JUMPDEST
00000c01: POP
00000c02: POP
00000c03: POP
00000c04: POP
00000c05: POP
00000c06: POP
00000c07: POP
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: PUSH2 0x0c11
00000c0d: PUSH2 0x1c10
00000c10: JUMP
00000c11: JUMPDEST
00000c12: PUSH2 0x09b2
00000c15: PUSH1 0x00
00000c17: PUSH2 0x201c
00000c1a: JUMP
00000c1b: JUMPDEST
00000c1c: PUSH1 0x00
00000c1e: PUSH1 0x60
00000c20: DUP1
00000c21: DUP3
00000c22: DUP1
00000c23: DUP1
00000c24: DUP4
00000c25: DUP2
00000c26: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00000c47: DUP1
00000c48: SLOAD
00000c49: SWAP1
00000c4a: SWAP2
00000c4b: POP
00000c4c: ISZERO
00000c4d: DUP1
00000c4e: ISZERO
00000c4f: PUSH2 0x0c5a
00000c52: JUMPI
00000c53: POP
00000c54: PUSH1 0x01
00000c56: DUP2
00000c57: ADD
00000c58: SLOAD
00000c59: ISZERO
00000c5a: JUMPDEST
00000c5b: PUSH2 0x0cc0
00000c5e: JUMPI
00000c5f: PUSH1 0x40
00000c61: MLOAD
00000c62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c83: DUP2
00000c84: MSTORE
00000c85: PUSH1 0x20
00000c87: PUSH1 0x04
00000c89: DUP3
00000c8a: ADD
00000c8b: MSTORE
00000c8c: PUSH1 0x15
00000c8e: PUSH1 0x24
00000c90: DUP3
00000c91: ADD
00000c92: MSTORE
00000c93: PUSH32 0x4549503731323a20556e696e697469616c697a65640000000000000000000000
00000cb4: PUSH1 0x44
00000cb6: DUP3
00000cb7: ADD
00000cb8: MSTORE
00000cb9: PUSH1 0x64
00000cbb: ADD
00000cbc: PUSH2 0x04b0
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH2 0x0cc8
00000cc4: PUSH2 0x20b2
00000cc7: JUMP
00000cc8: JUMPDEST
00000cc9: PUSH2 0x0cd0
00000ccc: PUSH2 0x2187
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: PUSH1 0x40
00000cd3: DUP1
00000cd4: MLOAD
00000cd5: PUSH1 0x00
00000cd7: DUP1
00000cd8: DUP3
00000cd9: MSTORE
00000cda: PUSH1 0x20
00000cdc: DUP3
00000cdd: ADD
00000cde: SWAP1
00000cdf: SWAP3
00000ce0: MSTORE
00000ce1: PUSH32 0x0f00000000000000000000000000000000000000000000000000000000000000
00000d02: SWAP13
00000d03: SWAP4
00000d04: SWAP12
00000d05: POP
00000d06: SWAP2
00000d07: SWAP10
00000d08: POP
00000d09: CHAINID
00000d0a: SWAP9
00000d0b: POP
00000d0c: ADDRESS
00000d0d: SWAP8
00000d0e: POP
00000d0f: SWAP6
00000d10: POP
00000d11: SWAP4
00000d12: POP
00000d13: SWAP2
00000d14: POP
00000d15: POP
00000d16: JUMP
00000d17: JUMPDEST
00000d18: PUSH2 0x0d1f
00000d1b: PUSH2 0x1c9e
00000d1e: JUMP
00000d1f: JUMPDEST
00000d20: PUSH2 0x0d27
00000d23: PUSH2 0x1d1f
00000d26: JUMP
00000d27: JUMPDEST
00000d28: DUP1
00000d29: CALLDATALOAD
00000d2a: PUSH1 0x00
00000d2c: SWAP1
00000d2d: DUP2
00000d2e: MSTORE
00000d2f: PUSH1 0x03
00000d31: PUSH1 0x20
00000d33: MSTORE
00000d34: PUSH1 0x40
00000d36: SWAP1
00000d37: KECCAK256
00000d38: SLOAD
00000d39: PUSH1 0xff
00000d3b: AND
00000d3c: ISZERO
00000d3d: PUSH2 0x0da2
00000d40: JUMPI
00000d41: PUSH1 0x40
00000d43: MLOAD
00000d44: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d65: DUP2
00000d66: MSTORE
00000d67: PUSH1 0x20
00000d69: PUSH1 0x04
00000d6b: DUP3
00000d6c: ADD
00000d6d: MSTORE
00000d6e: PUSH1 0x0c
00000d70: PUSH1 0x24
00000d72: DUP3
00000d73: ADD
00000d74: MSTORE
00000d75: PUSH32 0x4f72646572206c6f636b65640000000000000000000000000000000000000000
00000d96: PUSH1 0x44
00000d98: DUP3
00000d99: ADD
00000d9a: MSTORE
00000d9b: PUSH1 0x64
00000d9d: ADD
00000d9e: PUSH2 0x04b0
00000da1: JUMP
00000da2: JUMPDEST
00000da3: PUSH1 0x00
00000da5: PUSH2 0x0db1
00000da8: PUSH1 0x20
00000daa: DUP4
00000dab: ADD
00000dac: DUP4
00000dad: PUSH2 0x3107
00000db0: JUMP
00000db1: JUMPDEST
00000db2: SWAP1
00000db3: POP
00000db4: GT
00000db5: PUSH2 0x0e40
00000db8: JUMPI
00000db9: PUSH1 0x40
00000dbb: MLOAD
00000dbc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ddd: DUP2
00000dde: MSTORE
00000ddf: PUSH1 0x20
00000de1: PUSH1 0x04
00000de3: DUP3
00000de4: ADD
00000de5: MSTORE
00000de6: PUSH1 0x22
00000de8: PUSH1 0x24
00000dea: DUP3
00000deb: ADD
00000dec: MSTORE
00000ded: PUSH32 0x4f72646572206e6f7420666f756e6420696e206465706f736974207265636f72
00000e0e: PUSH1 0x44
00000e10: DUP3
00000e11: ADD
00000e12: MSTORE
00000e13: PUSH32 0x6473000000000000000000000000000000000000000000000000000000000000
00000e34: PUSH1 0x64
00000e36: DUP3
00000e37: ADD
00000e38: MSTORE
00000e39: PUSH1 0x84
00000e3b: ADD
00000e3c: PUSH2 0x04b0
00000e3f: JUMP
00000e40: JUMPDEST
00000e41: PUSH2 0x0e49
00000e44: DUP2
00000e45: PUSH2 0x21d8
00000e48: JUMP
00000e49: JUMPDEST
00000e4a: PUSH2 0x0eaf
00000e4d: JUMPI
00000e4e: PUSH1 0x40
00000e50: MLOAD
00000e51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e72: DUP2
00000e73: MSTORE
00000e74: PUSH1 0x20
00000e76: PUSH1 0x04
00000e78: DUP3
00000e79: ADD
00000e7a: MSTORE
00000e7b: PUSH1 0x15
00000e7d: PUSH1 0x24
00000e7f: DUP3
00000e80: ADD
00000e81: MSTORE
00000e82: PUSH32 0x496e76616c69642072656c65617365206f726465720000000000000000000000
00000ea3: PUSH1 0x44
00000ea5: DUP3
00000ea6: ADD
00000ea7: MSTORE
00000ea8: PUSH1 0x64
00000eaa: ADD
00000eab: PUSH2 0x04b0
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: DUP1
00000eb1: PUSH1 0x60
00000eb3: ADD
00000eb4: CALLDATALOAD
00000eb5: TIMESTAMP
00000eb6: GT
00000eb7: ISZERO
00000eb8: PUSH2 0x0f1d
00000ebb: JUMPI
00000ebc: PUSH1 0x40
00000ebe: MLOAD
00000ebf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ee0: DUP2
00000ee1: MSTORE
00000ee2: PUSH1 0x20
00000ee4: PUSH1 0x04
00000ee6: DUP3
00000ee7: ADD
00000ee8: MSTORE
00000ee9: PUSH1 0x0d
00000eeb: PUSH1 0x24
00000eed: DUP3
00000eee: ADD
00000eef: MSTORE
00000ef0: PUSH32 0x4f72646572206578706972656400000000000000000000000000000000000000
00000f11: PUSH1 0x44
00000f13: DUP3
00000f14: ADD
00000f15: MSTORE
00000f16: PUSH1 0x64
00000f18: ADD
00000f19: PUSH2 0x04b0
00000f1c: JUMP
00000f1d: JUMPDEST
00000f1e: DUP1
00000f1f: CALLDATALOAD
00000f20: PUSH1 0x00
00000f22: SWAP1
00000f23: DUP2
00000f24: MSTORE
00000f25: PUSH1 0x02
00000f27: PUSH1 0x20
00000f29: MSTORE
00000f2a: PUSH1 0x40
00000f2c: DUP2
00000f2d: KECCAK256
00000f2e: SLOAD
00000f2f: PUSH1 0xff
00000f31: AND
00000f32: PUSH1 0x01
00000f34: DUP2
00000f35: GT
00000f36: ISZERO
00000f37: PUSH2 0x0f42
00000f3a: JUMPI
00000f3b: PUSH2 0x0f42
00000f3e: PUSH2 0x305b
00000f41: JUMP
00000f42: JUMPDEST
00000f43: EQ
00000f44: PUSH2 0x0fa9
00000f47: JUMPI
00000f48: PUSH1 0x40
00000f4a: MLOAD
00000f4b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f6c: DUP2
00000f6d: MSTORE
00000f6e: PUSH1 0x20
00000f70: PUSH1 0x04
00000f72: DUP3
00000f73: ADD
00000f74: MSTORE
00000f75: PUSH1 0x17
00000f77: PUSH1 0x24
00000f79: DUP3
00000f7a: ADD
00000f7b: MSTORE
00000f7c: PUSH32 0x4f7264657220616c72656164792070726f636573736564000000000000000000
00000f9d: PUSH1 0x44
00000f9f: DUP3
00000fa0: ADD
00000fa1: MSTORE
00000fa2: PUSH1 0x64
00000fa4: ADD
00000fa5: PUSH2 0x04b0
00000fa8: JUMP
00000fa9: JUMPDEST
00000faa: PUSH2 0x0fb9
00000fad: PUSH1 0xa0
00000faf: DUP3
00000fb0: ADD
00000fb1: PUSH1 0x80
00000fb3: DUP4
00000fb4: ADD
00000fb5: PUSH2 0x2e34
00000fb8: JUMP
00000fb9: JUMPDEST
00000fba: PUSH1 0x40
00000fbc: MLOAD
00000fbd: PUSH32 0x15271b6700000000000000000000000000000000000000000000000000000000
00000fde: DUP2
00000fdf: MSTORE
00000fe0: DUP3
00000fe1: CALLDATALOAD
00000fe2: PUSH1 0x04
00000fe4: DUP3
00000fe5: ADD
00000fe6: MSTORE
00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffc: SWAP2
00000ffd: SWAP1
00000ffe: SWAP2
00000fff: AND
00001000: SWAP1
00001001: PUSH4 0x15271b67
00001006: SWAP1
00001007: PUSH1 0x24
00001009: ADD
0000100a: PUSH1 0x20
0000100c: PUSH1 0x40
0000100e: MLOAD
0000100f: DUP1
00001010: DUP4
00001011: SUB
00001012: DUP2
00001013: DUP7
00001014: GAS
00001015: STATICCALL
00001016: ISZERO
00001017: DUP1
00001018: ISZERO
00001019: PUSH2 0x1026
0000101c: JUMPI
0000101d: RETURNDATASIZE
0000101e: PUSH1 0x00
00001020: DUP1
00001021: RETURNDATACOPY
00001022: RETURNDATASIZE
00001023: PUSH1 0x00
00001025: REVERT
00001026: JUMPDEST
00001027: POP
00001028: POP
00001029: POP
0000102a: POP
0000102b: PUSH1 0x40
0000102d: MLOAD
0000102e: RETURNDATASIZE
0000102f: PUSH1 0x1f
00001031: NOT
00001032: PUSH1 0x1f
00001034: DUP3
00001035: ADD
00001036: AND
00001037: DUP3
00001038: ADD
00001039: DUP1
0000103a: PUSH1 0x40
0000103c: MSTORE
0000103d: POP
0000103e: DUP2
0000103f: ADD
00001040: SWAP1
00001041: PUSH2 0x104a
00001044: SWAP2
00001045: SWAP1
00001046: PUSH2 0x322b
00001049: JUMP
0000104a: JUMPDEST
0000104b: PUSH2 0x10b0
0000104e: JUMPI
0000104f: PUSH1 0x40
00001051: MLOAD
00001052: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001073: DUP2
00001074: MSTORE
00001075: PUSH1 0x20
00001077: PUSH1 0x04
00001079: DUP3
0000107a: ADD
0000107b: MSTORE
0000107c: PUSH1 0x10
0000107e: PUSH1 0x24
00001080: DUP3
00001081: ADD
00001082: MSTORE
00001083: PUSH32 0x496e76616c6964206f7264657220696400000000000000000000000000000000
000010a4: PUSH1 0x44
000010a6: DUP3
000010a7: ADD
000010a8: MSTORE
000010a9: PUSH1 0x64
000010ab: ADD
000010ac: PUSH2 0x04b0
000010af: JUMP
000010b0: JUMPDEST
000010b1: PUSH1 0x00
000010b3: JUMPDEST
000010b4: PUSH2 0x10c0
000010b7: PUSH1 0x20
000010b9: DUP4
000010ba: ADD
000010bb: DUP4
000010bc: PUSH2 0x3107
000010bf: JUMP
000010c0: JUMPDEST
000010c1: SWAP1
000010c2: POP
000010c3: DUP2
000010c4: LT
000010c5: ISZERO
000010c6: PUSH2 0x134c
000010c9: JUMPI
000010ca: PUSH1 0x00
000010cc: PUSH2 0x10d8
000010cf: PUSH1 0x20
000010d1: DUP5
000010d2: ADD
000010d3: DUP5
000010d4: PUSH2 0x3107
000010d7: JUMP
000010d8: JUMPDEST
000010d9: DUP4
000010da: DUP2
000010db: DUP2
000010dc: LT
000010dd: PUSH2 0x10e8
000010e0: JUMPI
000010e1: PUSH2 0x10e8
000010e4: PUSH2 0x3176
000010e7: JUMP
000010e8: JUMPDEST
000010e9: SWAP1
000010ea: POP
000010eb: PUSH1 0x40
000010ed: MUL
000010ee: ADD
000010ef: DUP1
000010f0: CALLDATASIZE
000010f1: SUB
000010f2: DUP2
000010f3: ADD
000010f4: SWAP1
000010f5: PUSH2 0x10fe
000010f8: SWAP2
000010f9: SWAP1
000010fa: PUSH2 0x31d4
000010fd: JUMP
000010fe: JUMPDEST
000010ff: DUP1
00001100: MLOAD
00001101: SWAP1
00001102: SWAP2
00001103: POP
00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001119: AND
0000111a: PUSH2 0x1283
0000111d: JUMPI
0000111e: PUSH1 0x00
00001120: PUSH2 0x112f
00001123: PUSH1 0x60
00001125: DUP6
00001126: ADD
00001127: PUSH1 0x40
00001129: DUP7
0000112a: ADD
0000112b: PUSH2 0x2e34
0000112e: JUMP
0000112f: JUMPDEST
00001130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001145: AND
00001146: DUP3
00001147: PUSH1 0x20
00001149: ADD
0000114a: MLOAD
0000114b: PUSH1 0x40
0000114d: MLOAD
0000114e: PUSH1 0x00
00001150: PUSH1 0x40
00001152: MLOAD
00001153: DUP1
00001154: DUP4
00001155: SUB
00001156: DUP2
00001157: DUP6
00001158: DUP8
00001159: GAS
0000115a: CALL
0000115b: SWAP3
0000115c: POP
0000115d: POP
0000115e: POP
0000115f: RETURNDATASIZE
00001160: DUP1
00001161: PUSH1 0x00
00001163: DUP2
00001164: EQ
00001165: PUSH2 0x118a
00001168: JUMPI
00001169: PUSH1 0x40
0000116b: MLOAD
0000116c: SWAP2
0000116d: POP
0000116e: PUSH1 0x1f
00001170: NOT
00001171: PUSH1 0x3f
00001173: RETURNDATASIZE
00001174: ADD
00001175: AND
00001176: DUP3
00001177: ADD
00001178: PUSH1 0x40
0000117a: MSTORE
0000117b: RETURNDATASIZE
0000117c: DUP3
0000117d: MSTORE
0000117e: RETURNDATASIZE
0000117f: PUSH1 0x00
00001181: PUSH1 0x20
00001183: DUP5
00001184: ADD
00001185: RETURNDATACOPY
00001186: PUSH2 0x118f
00001189: JUMP
0000118a: JUMPDEST
0000118b: PUSH1 0x60
0000118d: SWAP2
0000118e: POP
0000118f: JUMPDEST
00001190: POP
00001191: POP
00001192: SWAP1
00001193: POP
00001194: DUP1
00001195: PUSH2 0x11fa
00001198: JUMPI
00001199: PUSH1 0x40
0000119b: MLOAD
0000119c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011bd: DUP2
000011be: MSTORE
000011bf: PUSH1 0x20
000011c1: PUSH1 0x04
000011c3: DUP3
000011c4: ADD
000011c5: MSTORE
000011c6: PUSH1 0x13
000011c8: PUSH1 0x24
000011ca: DUP3
000011cb: ADD
000011cc: MSTORE
000011cd: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000
000011ee: PUSH1 0x44
000011f0: DUP3
000011f1: ADD
000011f2: MSTORE
000011f3: PUSH1 0x64
000011f5: ADD
000011f6: PUSH2 0x04b0
000011f9: JUMP
000011fa: JUMPDEST
000011fb: PUSH2 0x120a
000011fe: PUSH1 0x60
00001200: DUP6
00001201: ADD
00001202: PUSH1 0x40
00001204: DUP7
00001205: ADD
00001206: PUSH2 0x2e34
00001209: JUMP
0000120a: JUMPDEST
0000120b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001220: AND
00001221: PUSH32 0xa8e623c654132d1367fecfb903b1095f106e72026399650b54dbbf24d981d4d1
00001242: DUP4
00001243: PUSH1 0x20
00001245: ADD
00001246: MLOAD
00001247: PUSH1 0x00
00001249: PUSH1 0x40
0000124b: MLOAD
0000124c: PUSH2 0x1275
0000124f: SWAP3
00001250: SWAP2
00001251: SWAP1
00001252: SWAP2
00001253: DUP3
00001254: MSTORE
00001255: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126a: AND
0000126b: PUSH1 0x20
0000126d: DUP3
0000126e: ADD
0000126f: MSTORE
00001270: PUSH1 0x40
00001272: ADD
00001273: SWAP1
00001274: JUMP
00001275: JUMPDEST
00001276: PUSH1 0x40
00001278: MLOAD
00001279: DUP1
0000127a: SWAP2
0000127b: SUB
0000127c: SWAP1
0000127d: LOG2
0000127e: POP
0000127f: PUSH2 0x1343
00001282: JUMP
00001283: JUMPDEST
00001284: DUP1
00001285: MLOAD
00001286: PUSH2 0x12bb
00001289: PUSH2 0x1298
0000128c: PUSH1 0x60
0000128e: DUP7
0000128f: ADD
00001290: PUSH1 0x40
00001292: DUP8
00001293: ADD
00001294: PUSH2 0x2e34
00001297: JUMP
00001298: JUMPDEST
00001299: PUSH1 0x20
0000129b: DUP5
0000129c: ADD
0000129d: MLOAD
0000129e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b3: DUP5
000012b4: AND
000012b5: SWAP2
000012b6: SWAP1
000012b7: PUSH2 0x2206
000012ba: JUMP
000012bb: JUMPDEST
000012bc: PUSH2 0x12cb
000012bf: PUSH1 0x60
000012c1: DUP6
000012c2: ADD
000012c3: PUSH1 0x40
000012c5: DUP7
000012c6: ADD
000012c7: PUSH2 0x2e34
000012ca: JUMP
000012cb: JUMPDEST
000012cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e1: AND
000012e2: PUSH32 0xa8e623c654132d1367fecfb903b1095f106e72026399650b54dbbf24d981d4d1
00001303: DUP4
00001304: PUSH1 0x20
00001306: ADD
00001307: MLOAD
00001308: DUP5
00001309: PUSH1 0x00
0000130b: ADD
0000130c: MLOAD
0000130d: PUSH1 0x40
0000130f: MLOAD
00001310: PUSH2 0x1339
00001313: SWAP3
00001314: SWAP2
00001315: SWAP1
00001316: SWAP2
00001317: DUP3
00001318: MSTORE
00001319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132e: AND
0000132f: PUSH1 0x20
00001331: DUP3
00001332: ADD
00001333: MSTORE
00001334: PUSH1 0x40
00001336: ADD
00001337: SWAP1
00001338: JUMP
00001339: JUMPDEST
0000133a: PUSH1 0x40
0000133c: MLOAD
0000133d: DUP1
0000133e: SWAP2
0000133f: SUB
00001340: SWAP1
00001341: LOG2
00001342: POP
00001343: JUMPDEST
00001344: POP
00001345: PUSH1 0x01
00001347: ADD
00001348: PUSH2 0x10b3
0000134b: JUMP
0000134c: JUMPDEST
0000134d: POP
0000134e: DUP1
0000134f: CALLDATALOAD
00001350: PUSH1 0x00
00001352: SWAP1
00001353: DUP2
00001354: MSTORE
00001355: PUSH1 0x02
00001357: PUSH1 0x20
00001359: MSTORE
0000135a: PUSH1 0x40
0000135c: SWAP1
0000135d: KECCAK256
0000135e: DUP1
0000135f: SLOAD
00001360: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001381: AND
00001382: PUSH1 0x01
00001384: OR
00001385: SWAP1
00001386: SSTORE
00001387: PUSH2 0x099f
0000138a: PUSH1 0x01
0000138c: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
000013ad: SSTORE
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH2 0x13b7
000013b3: PUSH2 0x1c10
000013b6: JUMP
000013b7: JUMPDEST
000013b8: PUSH2 0x13bf
000013bb: PUSH2 0x1c9e
000013be: JUMP
000013bf: JUMPDEST
000013c0: PUSH2 0x13c7
000013c3: PUSH2 0x1d1f
000013c6: JUMP
000013c7: JUMPDEST
000013c8: PUSH1 0x00
000013ca: DUP4
000013cb: GT
000013cc: PUSH2 0x1457
000013cf: JUMPI
000013d0: PUSH1 0x40
000013d2: MLOAD
000013d3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013f4: DUP2
000013f5: MSTORE
000013f6: PUSH1 0x20
000013f8: PUSH1 0x04
000013fa: DUP3
000013fb: ADD
000013fc: MSTORE
000013fd: PUSH1 0x29
000013ff: PUSH1 0x24
00001401: DUP3
00001402: ADD
00001403: MSTORE
00001404: PUSH32 0x576974686472617720616d6f756e74206d757374206265206772656174657220
00001425: PUSH1 0x44
00001427: DUP3
00001428: ADD
00001429: MSTORE
0000142a: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000
0000144b: PUSH1 0x64
0000144d: DUP3
0000144e: ADD
0000144f: MSTORE
00001450: PUSH1 0x84
00001452: ADD
00001453: PUSH2 0x04b0
00001456: JUMP
00001457: JUMPDEST
00001458: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000146d: DUP3
0000146e: AND
0000146f: PUSH2 0x1592
00001472: JUMPI
00001473: PUSH1 0x00
00001475: DUP2
00001476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000148b: AND
0000148c: DUP5
0000148d: PUSH1 0x40
0000148f: MLOAD
00001490: PUSH1 0x00
00001492: PUSH1 0x40
00001494: MLOAD
00001495: DUP1
00001496: DUP4
00001497: SUB
00001498: DUP2
00001499: DUP6
0000149a: DUP8
0000149b: GAS
0000149c: CALL
0000149d: SWAP3
0000149e: POP
0000149f: POP
000014a0: POP
000014a1: RETURNDATASIZE
000014a2: DUP1
000014a3: PUSH1 0x00
000014a5: DUP2
000014a6: EQ
000014a7: PUSH2 0x14cc
000014aa: JUMPI
000014ab: PUSH1 0x40
000014ad: MLOAD
000014ae: SWAP2
000014af: POP
000014b0: PUSH1 0x1f
000014b2: NOT
000014b3: PUSH1 0x3f
000014b5: RETURNDATASIZE
000014b6: ADD
000014b7: AND
000014b8: DUP3
000014b9: ADD
000014ba: PUSH1 0x40
000014bc: MSTORE
000014bd: RETURNDATASIZE
000014be: DUP3
000014bf: MSTORE
000014c0: RETURNDATASIZE
000014c1: PUSH1 0x00
000014c3: PUSH1 0x20
000014c5: DUP5
000014c6: ADD
000014c7: RETURNDATACOPY
000014c8: PUSH2 0x14d1
000014cb: JUMP
000014cc: JUMPDEST
000014cd: PUSH1 0x60
000014cf: SWAP2
000014d0: POP
000014d1: JUMPDEST
000014d2: POP
000014d3: POP
000014d4: SWAP1
000014d5: POP
000014d6: DUP1
000014d7: PUSH2 0x153c
000014da: JUMPI
000014db: PUSH1 0x40
000014dd: MLOAD
000014de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014ff: DUP2
00001500: MSTORE
00001501: PUSH1 0x20
00001503: PUSH1 0x04
00001505: DUP3
00001506: ADD
00001507: MSTORE
00001508: PUSH1 0x13
0000150a: PUSH1 0x24
0000150c: DUP3
0000150d: ADD
0000150e: MSTORE
0000150f: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000
00001530: PUSH1 0x44
00001532: DUP3
00001533: ADD
00001534: MSTORE
00001535: PUSH1 0x64
00001537: ADD
00001538: PUSH2 0x04b0
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH1 0x40
0000153f: DUP1
00001540: MLOAD
00001541: DUP6
00001542: DUP2
00001543: MSTORE
00001544: PUSH1 0x00
00001546: PUSH1 0x20
00001548: DUP3
00001549: ADD
0000154a: MSTORE
0000154b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001560: DUP5
00001561: AND
00001562: SWAP2
00001563: PUSH31 0x1a143d5b175701cb3246058ffac3d63945192075a926ff73a19930f09d587a
00001583: SWAP2
00001584: ADD
00001585: PUSH1 0x40
00001587: MLOAD
00001588: DUP1
00001589: SWAP2
0000158a: SUB
0000158b: SWAP1
0000158c: LOG2
0000158d: POP
0000158e: PUSH2 0x1607
00001591: JUMP
00001592: JUMPDEST
00001593: DUP2
00001594: PUSH2 0x15b4
00001597: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ac: DUP3
000015ad: AND
000015ae: DUP4
000015af: DUP7
000015b0: PUSH2 0x2206
000015b3: JUMP
000015b4: JUMPDEST
000015b5: PUSH1 0x40
000015b7: DUP1
000015b8: MLOAD
000015b9: DUP6
000015ba: DUP2
000015bb: MSTORE
000015bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d1: DUP6
000015d2: DUP2
000015d3: AND
000015d4: PUSH1 0x20
000015d6: DUP4
000015d7: ADD
000015d8: MSTORE
000015d9: DUP5
000015da: AND
000015db: SWAP2
000015dc: PUSH31 0x1a143d5b175701cb3246058ffac3d63945192075a926ff73a19930f09d587a
000015fc: SWAP2
000015fd: ADD
000015fe: PUSH1 0x40
00001600: MLOAD
00001601: DUP1
00001602: SWAP2
00001603: SUB
00001604: SWAP1
00001605: LOG2
00001606: POP
00001607: JUMPDEST
00001608: PUSH2 0x1630
0000160b: PUSH1 0x01
0000160d: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
0000162e: SSTORE
0000162f: JUMP
00001630: JUMPDEST
00001631: POP
00001632: POP
00001633: POP
00001634: JUMP
00001635: JUMPDEST
00001636: PUSH2 0x163d
00001639: PUSH2 0x1c9e
0000163c: JUMP
0000163d: JUMPDEST
0000163e: PUSH2 0x1645
00001641: PUSH2 0x1d1f
00001644: JUMP
00001645: JUMPDEST
00001646: DUP1
00001647: CALLDATALOAD
00001648: PUSH1 0x00
0000164a: SWAP1
0000164b: DUP2
0000164c: MSTORE
0000164d: PUSH1 0x03
0000164f: PUSH1 0x20
00001651: MSTORE
00001652: PUSH1 0x40
00001654: SWAP1
00001655: KECCAK256
00001656: SLOAD
00001657: PUSH1 0xff
00001659: AND
0000165a: ISZERO
0000165b: PUSH2 0x16c0
0000165e: JUMPI
0000165f: PUSH1 0x40
00001661: MLOAD
00001662: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001683: DUP2
00001684: MSTORE
00001685: PUSH1 0x20
00001687: PUSH1 0x04
00001689: DUP3
0000168a: ADD
0000168b: MSTORE
0000168c: PUSH1 0x0c
0000168e: PUSH1 0x24
00001690: DUP3
00001691: ADD
00001692: MSTORE
00001693: PUSH32 0x4f72646572206c6f636b65640000000000000000000000000000000000000000
000016b4: PUSH1 0x44
000016b6: DUP3
000016b7: ADD
000016b8: MSTORE
000016b9: PUSH1 0x64
000016bb: ADD
000016bc: PUSH2 0x04b0
000016bf: JUMP
000016c0: JUMPDEST
000016c1: PUSH2 0x16c9
000016c4: DUP2
000016c5: PUSH2 0x2244
000016c8: JUMP
000016c9: JUMPDEST
000016ca: PUSH2 0x172f
000016cd: JUMPI
000016ce: PUSH1 0x40
000016d0: MLOAD
000016d1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016f2: DUP2
000016f3: MSTORE
000016f4: PUSH1 0x20
000016f6: PUSH1 0x04
000016f8: DUP3
000016f9: ADD
000016fa: MSTORE
000016fb: PUSH1 0x14
000016fd: PUSH1 0x24
000016ff: DUP3
00001700: ADD
00001701: MSTORE
00001702: PUSH32 0x496e76616c696420726566756e64206f72646572000000000000000000000000
00001723: PUSH1 0x44
00001725: DUP3
00001726: ADD
00001727: MSTORE
00001728: PUSH1 0x64
0000172a: ADD
0000172b: PUSH2 0x04b0
0000172e: JUMP
0000172f: JUMPDEST
00001730: DUP1
00001731: PUSH1 0x40
00001733: ADD
00001734: CALLDATALOAD
00001735: TIMESTAMP
00001736: GT
00001737: ISZERO
00001738: PUSH2 0x179d
0000173b: JUMPI
0000173c: PUSH1 0x40
0000173e: MLOAD
0000173f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001760: DUP2
00001761: MSTORE
00001762: PUSH1 0x20
00001764: PUSH1 0x04
00001766: DUP3
00001767: ADD
00001768: MSTORE
00001769: PUSH1 0x0d
0000176b: PUSH1 0x24
0000176d: DUP3
0000176e: ADD
0000176f: MSTORE
00001770: PUSH32 0x4f72646572206578706972656400000000000000000000000000000000000000
00001791: PUSH1 0x44
00001793: DUP3
00001794: ADD
00001795: MSTORE
00001796: PUSH1 0x64
00001798: ADD
00001799: PUSH2 0x04b0
0000179c: JUMP
0000179d: JUMPDEST
0000179e: DUP1
0000179f: CALLDATALOAD
000017a0: PUSH1 0x00
000017a2: SWAP1
000017a3: DUP2
000017a4: MSTORE
000017a5: PUSH1 0x03
000017a7: PUSH1 0x20
000017a9: SWAP1
000017aa: DUP2
000017ab: MSTORE
000017ac: PUSH1 0x40
000017ae: DUP1
000017af: DUP4
000017b0: KECCAK256
000017b1: DUP1
000017b2: SLOAD
000017b3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000017d4: AND
000017d5: PUSH1 0x01
000017d7: OR
000017d8: SWAP1
000017d9: SSTORE
000017da: DUP3
000017db: DUP3
000017dc: MSTORE
000017dd: DUP1
000017de: DUP4
000017df: KECCAK256
000017e0: DUP1
000017e1: SLOAD
000017e2: DUP3
000017e3: MLOAD
000017e4: DUP2
000017e5: DUP6
000017e6: MUL
000017e7: DUP2
000017e8: ADD
000017e9: DUP6
000017ea: ADD
000017eb: SWAP1
000017ec: SWAP4
000017ed: MSTORE
000017ee: DUP1
000017ef: DUP4
000017f0: MSTORE
000017f1: SWAP2
000017f2: SWAP3
000017f3: SWAP1
000017f4: SWAP2
000017f5: SWAP1
000017f6: DUP5
000017f7: SWAP1
000017f8: DUP5
000017f9: ADD
000017fa: JUMPDEST
000017fb: DUP3
000017fc: DUP3
000017fd: LT
000017fe: ISZERO
000017ff: PUSH2 0x184f
00001802: JUMPI
00001803: PUSH1 0x00
00001805: DUP5
00001806: DUP2
00001807: MSTORE
00001808: PUSH1 0x20
0000180a: SWAP1
0000180b: DUP2
0000180c: SWAP1
0000180d: KECCAK256
0000180e: PUSH1 0x40
00001810: DUP1
00001811: MLOAD
00001812: DUP1
00001813: DUP3
00001814: ADD
00001815: SWAP1
00001816: SWAP2
00001817: MSTORE
00001818: PUSH1 0x02
0000181a: DUP6
0000181b: MUL
0000181c: SWAP1
0000181d: SWAP2
0000181e: ADD
0000181f: DUP1
00001820: SLOAD
00001821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001836: AND
00001837: DUP3
00001838: MSTORE
00001839: PUSH1 0x01
0000183b: SWAP1
0000183c: DUP2
0000183d: ADD
0000183e: SLOAD
0000183f: DUP3
00001840: DUP5
00001841: ADD
00001842: MSTORE
00001843: SWAP1
00001844: DUP4
00001845: MSTORE
00001846: SWAP1
00001847: SWAP3
00001848: ADD
00001849: SWAP2
0000184a: ADD
0000184b: PUSH2 0x17fa
0000184e: JUMP
0000184f: JUMPDEST
00001850: POP
00001851: POP
00001852: POP
00001853: POP
00001854: SWAP1
00001855: POP
00001856: PUSH1 0x00
00001858: DUP2
00001859: MLOAD
0000185a: GT
0000185b: PUSH2 0x1864
0000185e: JUMPI
0000185f: POP
00001860: PUSH2 0x1b86
00001863: JUMP
00001864: JUMPDEST
00001865: DUP2
00001866: CALLDATALOAD
00001867: PUSH1 0x00
00001869: SWAP1
0000186a: DUP2
0000186b: MSTORE
0000186c: PUSH1 0x01
0000186e: PUSH1 0x20
00001870: DUP2
00001871: SWAP1
00001872: MSTORE
00001873: PUSH1 0x40
00001875: DUP3
00001876: KECCAK256
00001877: SLOAD
00001878: PUSH1 0xff
0000187a: AND
0000187b: SWAP1
0000187c: DUP2
0000187d: GT
0000187e: ISZERO
0000187f: PUSH2 0x188a
00001882: JUMPI
00001883: PUSH2 0x188a
00001886: PUSH2 0x305b
00001889: JUMP
0000188a: JUMPDEST
0000188b: EQ
0000188c: PUSH2 0x18f1
0000188f: JUMPI
00001890: PUSH1 0x40
00001892: MLOAD
00001893: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018b4: DUP2
000018b5: MSTORE
000018b6: PUSH1 0x20
000018b8: PUSH1 0x04
000018ba: DUP3
000018bb: ADD
000018bc: MSTORE
000018bd: PUSH1 0x16
000018bf: PUSH1 0x24
000018c1: DUP3
000018c2: ADD
000018c3: MSTORE
000018c4: PUSH32 0x4f7264657220616c726561647920726566756e64656400000000000000000000
000018e5: PUSH1 0x44
000018e7: DUP3
000018e8: ADD
000018e9: MSTORE
000018ea: PUSH1 0x64
000018ec: ADD
000018ed: PUSH2 0x04b0
000018f0: JUMP
000018f1: JUMPDEST
000018f2: PUSH1 0x00
000018f4: JUMPDEST
000018f5: DUP2
000018f6: MLOAD
000018f7: DUP2
000018f8: LT
000018f9: ISZERO
000018fa: PUSH2 0x1b47
000018fd: JUMPI
000018fe: PUSH1 0x00
00001900: DUP3
00001901: DUP3
00001902: DUP2
00001903: MLOAD
00001904: DUP2
00001905: LT
00001906: PUSH2 0x1911
00001909: JUMPI
0000190a: PUSH2 0x1911
0000190d: PUSH2 0x3176
00001910: JUMP
00001911: JUMPDEST
00001912: PUSH1 0x20
00001914: SWAP1
00001915: DUP2
00001916: MUL
00001917: SWAP2
00001918: SWAP1
00001919: SWAP2
0000191a: ADD
0000191b: ADD
0000191c: MLOAD
0000191d: DUP1
0000191e: MLOAD
0000191f: SWAP1
00001920: SWAP2
00001921: POP
00001922: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001937: AND
00001938: PUSH2 0x1aa1
0000193b: JUMPI
0000193c: PUSH1 0x00
0000193e: PUSH2 0x194d
00001941: PUSH1 0x40
00001943: DUP7
00001944: ADD
00001945: PUSH1 0x20
00001947: DUP8
00001948: ADD
00001949: PUSH2 0x2e34
0000194c: JUMP
0000194d: JUMPDEST
0000194e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001963: AND
00001964: DUP3
00001965: PUSH1 0x20
00001967: ADD
00001968: MLOAD
00001969: PUSH1 0x40
0000196b: MLOAD
0000196c: PUSH1 0x00
0000196e: PUSH1 0x40
00001970: MLOAD
00001971: DUP1
00001972: DUP4
00001973: SUB
00001974: DUP2
00001975: DUP6
00001976: DUP8
00001977: GAS
00001978: CALL
00001979: SWAP3
0000197a: POP
0000197b: POP
0000197c: POP
0000197d: RETURNDATASIZE
0000197e: DUP1
0000197f: PUSH1 0x00
00001981: DUP2
00001982: EQ
00001983: PUSH2 0x19a8
00001986: JUMPI
00001987: PUSH1 0x40
00001989: MLOAD
0000198a: SWAP2
0000198b: POP
0000198c: PUSH1 0x1f
0000198e: NOT
0000198f: PUSH1 0x3f
00001991: RETURNDATASIZE
00001992: ADD
00001993: AND
00001994: DUP3
00001995: ADD
00001996: PUSH1 0x40
00001998: MSTORE
00001999: RETURNDATASIZE
0000199a: DUP3
0000199b: MSTORE
0000199c: RETURNDATASIZE
0000199d: PUSH1 0x00
0000199f: PUSH1 0x20
000019a1: DUP5
000019a2: ADD
000019a3: RETURNDATACOPY
000019a4: PUSH2 0x19ad
000019a7: JUMP
000019a8: JUMPDEST
000019a9: PUSH1 0x60
000019ab: SWAP2
000019ac: POP
000019ad: JUMPDEST
000019ae: POP
000019af: POP
000019b0: SWAP1
000019b1: POP
000019b2: DUP1
000019b3: PUSH2 0x1a18
000019b6: JUMPI
000019b7: PUSH1 0x40
000019b9: MLOAD
000019ba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019db: DUP2
000019dc: MSTORE
000019dd: PUSH1 0x20
000019df: PUSH1 0x04
000019e1: DUP3
000019e2: ADD
000019e3: MSTORE
000019e4: PUSH1 0x13
000019e6: PUSH1 0x24
000019e8: DUP3
000019e9: ADD
000019ea: MSTORE
000019eb: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000
00001a0c: PUSH1 0x44
00001a0e: DUP3
00001a0f: ADD
00001a10: MSTORE
00001a11: PUSH1 0x64
00001a13: ADD
00001a14: PUSH2 0x04b0
00001a17: JUMP
00001a18: JUMPDEST
00001a19: PUSH2 0x1a28
00001a1c: PUSH1 0x40
00001a1e: DUP7
00001a1f: ADD
00001a20: PUSH1 0x20
00001a22: DUP8
00001a23: ADD
00001a24: PUSH2 0x2e34
00001a27: JUMP
00001a28: JUMPDEST
00001a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3e: AND
00001a3f: PUSH32 0xb44b3631755227290f8fbd7b248fa4be405129d15351313e3c332a3fb9919417
00001a60: DUP4
00001a61: PUSH1 0x20
00001a63: ADD
00001a64: MLOAD
00001a65: PUSH1 0x00
00001a67: PUSH1 0x40
00001a69: MLOAD
00001a6a: PUSH2 0x1a93
00001a6d: SWAP3
00001a6e: SWAP2
00001a6f: SWAP1
00001a70: SWAP2
00001a71: DUP3
00001a72: MSTORE
00001a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a88: AND
00001a89: PUSH1 0x20
00001a8b: DUP3
00001a8c: ADD
00001a8d: MSTORE
00001a8e: PUSH1 0x40
00001a90: ADD
00001a91: SWAP1
00001a92: JUMP
00001a93: JUMPDEST
00001a94: PUSH1 0x40
00001a96: MLOAD
00001a97: DUP1
00001a98: SWAP2
00001a99: SUB
00001a9a: SWAP1
00001a9b: LOG2
00001a9c: POP
00001a9d: PUSH2 0x1b3e
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: DUP1
00001aa3: MLOAD
00001aa4: PUSH2 0x1ab6
00001aa7: PUSH2 0x1298
00001aaa: PUSH1 0x40
00001aac: DUP8
00001aad: ADD
00001aae: PUSH1 0x20
00001ab0: DUP9
00001ab1: ADD
00001ab2: PUSH2 0x2e34
00001ab5: JUMP
00001ab6: JUMPDEST
00001ab7: PUSH2 0x1ac6
00001aba: PUSH1 0x40
00001abc: DUP7
00001abd: ADD
00001abe: PUSH1 0x20
00001ac0: DUP8
00001ac1: ADD
00001ac2: PUSH2 0x2e34
00001ac5: JUMP
00001ac6: JUMPDEST
00001ac7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001adc: AND
00001add: PUSH32 0xb44b3631755227290f8fbd7b248fa4be405129d15351313e3c332a3fb9919417
00001afe: DUP4
00001aff: PUSH1 0x20
00001b01: ADD
00001b02: MLOAD
00001b03: DUP5
00001b04: PUSH1 0x00
00001b06: ADD
00001b07: MLOAD
00001b08: PUSH1 0x40
00001b0a: MLOAD
00001b0b: PUSH2 0x1b34
00001b0e: SWAP3
00001b0f: SWAP2
00001b10: SWAP1
00001b11: SWAP2
00001b12: DUP3
00001b13: MSTORE
00001b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b29: AND
00001b2a: PUSH1 0x20
00001b2c: DUP3
00001b2d: ADD
00001b2e: MSTORE
00001b2f: PUSH1 0x40
00001b31: ADD
00001b32: SWAP1
00001b33: JUMP
00001b34: JUMPDEST
00001b35: PUSH1 0x40
00001b37: MLOAD
00001b38: DUP1
00001b39: SWAP2
00001b3a: SUB
00001b3b: SWAP1
00001b3c: LOG2
00001b3d: POP
00001b3e: JUMPDEST
00001b3f: POP
00001b40: PUSH1 0x01
00001b42: ADD
00001b43: PUSH2 0x18f4
00001b46: JUMP
00001b47: JUMPDEST
00001b48: POP
00001b49: POP
00001b4a: DUP1
00001b4b: CALLDATALOAD
00001b4c: PUSH1 0x00
00001b4e: SWAP1
00001b4f: DUP2
00001b50: MSTORE
00001b51: PUSH1 0x01
00001b53: PUSH1 0x20
00001b55: DUP2
00001b56: SWAP1
00001b57: MSTORE
00001b58: PUSH1 0x40
00001b5a: SWAP1
00001b5b: SWAP2
00001b5c: KECCAK256
00001b5d: DUP1
00001b5e: SLOAD
00001b5f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001b80: AND
00001b81: SWAP1
00001b82: SWAP2
00001b83: OR
00001b84: SWAP1
00001b85: SSTORE
00001b86: JUMPDEST
00001b87: PUSH2 0x099f
00001b8a: PUSH1 0x01
00001b8c: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
00001bad: SSTORE
00001bae: JUMP
00001baf: JUMPDEST
00001bb0: PUSH2 0x1bb7
00001bb3: PUSH2 0x1c10
00001bb6: JUMP
00001bb7: JUMPDEST
00001bb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bcd: DUP2
00001bce: AND
00001bcf: PUSH2 0x1c07
00001bd2: JUMPI
00001bd3: PUSH1 0x40
00001bd5: MLOAD
00001bd6: PUSH32 0x1e4fbdf700000000000000000000000000000000000000000000000000000000
00001bf7: DUP2
00001bf8: MSTORE
00001bf9: PUSH1 0x00
00001bfb: PUSH1 0x04
00001bfd: DUP3
00001bfe: ADD
00001bff: MSTORE
00001c00: PUSH1 0x24
00001c02: ADD
00001c03: PUSH2 0x04b0
00001c06: JUMP
00001c07: JUMPDEST
00001c08: PUSH2 0x099f
00001c0b: DUP2
00001c0c: PUSH2 0x201c
00001c0f: JUMP
00001c10: JUMPDEST
00001c11: CALLER
00001c12: PUSH2 0x1c4f
00001c15: PUSH32 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300
00001c36: SLOAD
00001c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4c: AND
00001c4d: SWAP1
00001c4e: JUMP
00001c4f: JUMPDEST
00001c50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c65: AND
00001c66: EQ
00001c67: PUSH2 0x09b2
00001c6a: JUMPI
00001c6b: PUSH1 0x40
00001c6d: MLOAD
00001c6e: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000
00001c8f: DUP2
00001c90: MSTORE
00001c91: CALLER
00001c92: PUSH1 0x04
00001c94: DUP3
00001c95: ADD
00001c96: MSTORE
00001c97: PUSH1 0x24
00001c99: ADD
00001c9a: PUSH2 0x04b0
00001c9d: JUMP
00001c9e: JUMPDEST
00001c9f: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
00001cc0: DUP1
00001cc1: SLOAD
00001cc2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe
00001ce3: ADD
00001ce4: PUSH2 0x1d19
00001ce7: JUMPI
00001ce8: PUSH1 0x40
00001cea: MLOAD
00001ceb: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
00001d0c: DUP2
00001d0d: MSTORE
00001d0e: PUSH1 0x04
00001d10: ADD
00001d11: PUSH1 0x40
00001d13: MLOAD
00001d14: DUP1
00001d15: SWAP2
00001d16: SUB
00001d17: SWAP1
00001d18: REVERT
00001d19: JUMPDEST
00001d1a: PUSH1 0x02
00001d1c: SWAP1
00001d1d: SSTORE
00001d1e: JUMP
00001d1f: JUMPDEST
00001d20: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00001d41: SLOAD
00001d42: PUSH1 0xff
00001d44: AND
00001d45: ISZERO
00001d46: PUSH2 0x09b2
00001d49: JUMPI
00001d4a: PUSH1 0x40
00001d4c: MLOAD
00001d4d: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00001d6e: DUP2
00001d6f: MSTORE
00001d70: PUSH1 0x04
00001d72: ADD
00001d73: PUSH1 0x40
00001d75: MLOAD
00001d76: DUP1
00001d77: SWAP2
00001d78: SUB
00001d79: SWAP1
00001d7a: REVERT
00001d7b: JUMPDEST
00001d7c: PUSH1 0x00
00001d7e: DUP1
00001d7f: PUSH2 0x1d87
00001d82: DUP4
00001d83: PUSH2 0x2250
00001d86: JUMP
00001d87: JUMPDEST
00001d88: SWAP1
00001d89: POP
00001d8a: PUSH1 0x00
00001d8c: PUSH2 0x1d94
00001d8f: DUP3
00001d90: PUSH2 0x23bc
00001d93: JUMP
00001d94: JUMPDEST
00001d95: SWAP1
00001d96: POP
00001d97: PUSH1 0x00
00001d99: PUSH2 0x1de3
00001d9c: DUP3
00001d9d: PUSH2 0x1da9
00001da0: PUSH1 0x60
00001da2: DUP9
00001da3: ADD
00001da4: DUP9
00001da5: PUSH2 0x324d
00001da8: JUMP
00001da9: JUMPDEST
00001daa: DUP1
00001dab: DUP1
00001dac: PUSH1 0x1f
00001dae: ADD
00001daf: PUSH1 0x20
00001db1: DUP1
00001db2: SWAP2
00001db3: DIV
00001db4: MUL
00001db5: PUSH1 0x20
00001db7: ADD
00001db8: PUSH1 0x40
00001dba: MLOAD
00001dbb: SWAP1
00001dbc: DUP2
00001dbd: ADD
00001dbe: PUSH1 0x40
00001dc0: MSTORE
00001dc1: DUP1
00001dc2: SWAP4
00001dc3: SWAP3
00001dc4: SWAP2
00001dc5: SWAP1
00001dc6: DUP2
00001dc7: DUP2
00001dc8: MSTORE
00001dc9: PUSH1 0x20
00001dcb: ADD
00001dcc: DUP4
00001dcd: DUP4
00001dce: DUP1
00001dcf: DUP3
00001dd0: DUP5
00001dd1: CALLDATACOPY
00001dd2: PUSH1 0x00
00001dd4: SWAP3
00001dd5: ADD
00001dd6: SWAP2
00001dd7: SWAP1
00001dd8: SWAP2
00001dd9: MSTORE
00001dda: POP
00001ddb: PUSH2 0x240a
00001dde: SWAP3
00001ddf: POP
00001de0: POP
00001de1: POP
00001de2: JUMP
00001de3: JUMPDEST
00001de4: PUSH1 0x04
00001de6: SLOAD
00001de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfc: SWAP1
00001dfd: DUP2
00001dfe: AND
00001dff: SWAP2
00001e00: AND
00001e01: EQ
00001e02: SWAP6
00001e03: SWAP5
00001e04: POP
00001e05: POP
00001e06: POP
00001e07: POP
00001e08: POP
00001e09: JUMP
00001e0a: JUMPDEST
00001e0b: PUSH1 0x40
00001e0d: MLOAD
00001e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e23: DUP5
00001e24: DUP2
00001e25: AND
00001e26: PUSH1 0x24
00001e28: DUP4
00001e29: ADD
00001e2a: MSTORE
00001e2b: DUP4
00001e2c: DUP2
00001e2d: AND
00001e2e: PUSH1 0x44
00001e30: DUP4
00001e31: ADD
00001e32: MSTORE
00001e33: PUSH1 0x64
00001e35: DUP3
00001e36: ADD
00001e37: DUP4
00001e38: SWAP1
00001e39: MSTORE
00001e3a: PUSH2 0x1e93
00001e3d: SWAP2
00001e3e: DUP7
00001e3f: SWAP2
00001e40: DUP3
00001e41: AND
00001e42: SWAP1
00001e43: PUSH4 0x23b872dd
00001e48: SWAP1
00001e49: PUSH1 0x84
00001e4b: ADD
00001e4c: JUMPDEST
00001e4d: PUSH1 0x40
00001e4f: MLOAD
00001e50: PUSH1 0x20
00001e52: DUP2
00001e53: DUP4
00001e54: SUB
00001e55: SUB
00001e56: DUP2
00001e57: MSTORE
00001e58: SWAP1
00001e59: PUSH1 0x40
00001e5b: MSTORE
00001e5c: SWAP2
00001e5d: POP
00001e5e: PUSH1 0xe0
00001e60: SHL
00001e61: PUSH1 0x20
00001e63: DUP3
00001e64: ADD
00001e65: DUP1
00001e66: MLOAD
00001e67: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001e84: DUP4
00001e85: DUP2
00001e86: DUP4
00001e87: AND
00001e88: OR
00001e89: DUP4
00001e8a: MSTORE
00001e8b: POP
00001e8c: POP
00001e8d: POP
00001e8e: POP
00001e8f: PUSH2 0x2434
00001e92: JUMP
00001e93: JUMPDEST
00001e94: POP
00001e95: POP
00001e96: POP
00001e97: POP
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: PUSH1 0x01
00001e9c: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
00001ebd: SSTORE
00001ebe: JUMP
00001ebf: JUMPDEST
00001ec0: PUSH2 0x1ec7
00001ec3: PUSH2 0x1d1f
00001ec6: JUMP
00001ec7: JUMPDEST
00001ec8: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00001ee9: DUP1
00001eea: SLOAD
00001eeb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001f0c: AND
00001f0d: PUSH1 0x01
00001f0f: OR
00001f10: DUP2
00001f11: SSTORE
00001f12: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001f33: CALLER
00001f34: JUMPDEST
00001f35: PUSH1 0x40
00001f37: MLOAD
00001f38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4d: SWAP1
00001f4e: SWAP2
00001f4f: AND
00001f50: DUP2
00001f51: MSTORE
00001f52: PUSH1 0x20
00001f54: ADD
00001f55: PUSH1 0x40
00001f57: MLOAD
00001f58: DUP1
00001f59: SWAP2
00001f5a: SUB
00001f5b: SWAP1
00001f5c: LOG1
00001f5d: POP
00001f5e: JUMP
00001f5f: JUMPDEST
00001f60: PUSH2 0x1f67
00001f63: PUSH2 0x24ca
00001f66: JUMP
00001f67: JUMPDEST
00001f68: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00001f89: DUP1
00001f8a: SLOAD
00001f8b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001fac: AND
00001fad: DUP2
00001fae: SSTORE
00001faf: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001fd0: CALLER
00001fd1: PUSH2 0x1f34
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: PUSH2 0x1fdd
00001fd9: PUSH2 0x2525
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: PUSH2 0x1fe7
00001fe1: DUP3
00001fe2: DUP3
00001fe3: PUSH2 0x258c
00001fe6: JUMP
00001fe7: JUMPDEST
00001fe8: POP
00001fe9: POP
00001fea: JUMP
00001feb: JUMPDEST
00001fec: PUSH2 0x1ff3
00001fef: PUSH2 0x2525
00001ff2: JUMP
00001ff3: JUMPDEST
00001ff4: PUSH2 0x099f
00001ff7: DUP2
00001ff8: PUSH2 0x25ff
00001ffb: JUMP
00001ffc: JUMPDEST
00001ffd: PUSH2 0x2004
00002000: PUSH2 0x2525
00002003: JUMP
00002004: JUMPDEST
00002005: PUSH2 0x09b2
00002008: PUSH2 0x2607
0000200b: JUMP
0000200c: JUMPDEST
0000200d: PUSH2 0x2014
00002010: PUSH2 0x2525
00002013: JUMP
00002014: JUMPDEST
00002015: PUSH2 0x09b2
00002018: PUSH2 0x260f
0000201b: JUMP
0000201c: JUMPDEST
0000201d: PUSH32 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300
0000203e: DUP1
0000203f: SLOAD
00002040: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002061: DUP2
00002062: AND
00002063: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002078: DUP5
00002079: DUP2
0000207a: AND
0000207b: SWAP2
0000207c: DUP3
0000207d: OR
0000207e: DUP5
0000207f: SSTORE
00002080: PUSH1 0x40
00002082: MLOAD
00002083: SWAP3
00002084: AND
00002085: SWAP2
00002086: DUP3
00002087: SWAP1
00002088: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000020a9: SWAP1
000020aa: PUSH1 0x00
000020ac: SWAP1
000020ad: LOG3
000020ae: POP
000020af: POP
000020b0: POP
000020b1: JUMP
000020b2: JUMPDEST
000020b3: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d102
000020d4: DUP1
000020d5: SLOAD
000020d6: PUSH1 0x60
000020d8: SWAP2
000020d9: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
000020fa: SWAP2
000020fb: PUSH2 0x2103
000020fe: SWAP1
000020ff: PUSH2 0x32b2
00002102: JUMP
00002103: JUMPDEST
00002104: DUP1
00002105: PUSH1 0x1f
00002107: ADD
00002108: PUSH1 0x20
0000210a: DUP1
0000210b: SWAP2
0000210c: DIV
0000210d: MUL
0000210e: PUSH1 0x20
00002110: ADD
00002111: PUSH1 0x40
00002113: MLOAD
00002114: SWAP1
00002115: DUP2
00002116: ADD
00002117: PUSH1 0x40
00002119: MSTORE
0000211a: DUP1
0000211b: SWAP3
0000211c: SWAP2
0000211d: SWAP1
0000211e: DUP2
0000211f: DUP2
00002120: MSTORE
00002121: PUSH1 0x20
00002123: ADD
00002124: DUP3
00002125: DUP1
00002126: SLOAD
00002127: PUSH2 0x212f
0000212a: SWAP1
0000212b: PUSH2 0x32b2
0000212e: JUMP
0000212f: JUMPDEST
00002130: DUP1
00002131: ISZERO
00002132: PUSH2 0x217c
00002135: JUMPI
00002136: DUP1
00002137: PUSH1 0x1f
00002139: LT
0000213a: PUSH2 0x2151
0000213d: JUMPI
0000213e: PUSH2 0x0100
00002141: DUP1
00002142: DUP4
00002143: SLOAD
00002144: DIV
00002145: MUL
00002146: DUP4
00002147: MSTORE
00002148: SWAP2
00002149: PUSH1 0x20
0000214b: ADD
0000214c: SWAP2
0000214d: PUSH2 0x217c
00002150: JUMP
00002151: JUMPDEST
00002152: DUP3
00002153: ADD
00002154: SWAP2
00002155: SWAP1
00002156: PUSH1 0x00
00002158: MSTORE
00002159: PUSH1 0x20
0000215b: PUSH1 0x00
0000215d: KECCAK256
0000215e: SWAP1
0000215f: JUMPDEST
00002160: DUP2
00002161: SLOAD
00002162: DUP2
00002163: MSTORE
00002164: SWAP1
00002165: PUSH1 0x01
00002167: ADD
00002168: SWAP1
00002169: PUSH1 0x20
0000216b: ADD
0000216c: DUP1
0000216d: DUP4
0000216e: GT
0000216f: PUSH2 0x215f
00002172: JUMPI
00002173: DUP3
00002174: SWAP1
00002175: SUB
00002176: PUSH1 0x1f
00002178: AND
00002179: DUP3
0000217a: ADD
0000217b: SWAP2
0000217c: JUMPDEST
0000217d: POP
0000217e: POP
0000217f: POP
00002180: POP
00002181: POP
00002182: SWAP2
00002183: POP
00002184: POP
00002185: SWAP1
00002186: JUMP
00002187: JUMPDEST
00002188: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d103
000021a9: DUP1
000021aa: SLOAD
000021ab: PUSH1 0x60
000021ad: SWAP2
000021ae: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
000021cf: SWAP2
000021d0: PUSH2 0x2103
000021d3: SWAP1
000021d4: PUSH2 0x32b2
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH1 0x00
000021db: DUP1
000021dc: PUSH2 0x21e4
000021df: DUP4
000021e0: PUSH2 0x2660
000021e3: JUMP
000021e4: JUMPDEST
000021e5: SWAP1
000021e6: POP
000021e7: PUSH1 0x00
000021e9: PUSH2 0x21f1
000021ec: DUP3
000021ed: PUSH2 0x23bc
000021f0: JUMP
000021f1: JUMPDEST
000021f2: SWAP1
000021f3: POP
000021f4: PUSH1 0x00
000021f6: PUSH2 0x1de3
000021f9: DUP3
000021fa: PUSH2 0x1da9
000021fd: PUSH1 0xa0
000021ff: DUP9
00002200: ADD
00002201: DUP9
00002202: PUSH2 0x324d
00002205: JUMP
00002206: JUMPDEST
00002207: PUSH1 0x40
00002209: MLOAD
0000220a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000221f: DUP4
00002220: DUP2
00002221: AND
00002222: PUSH1 0x24
00002224: DUP4
00002225: ADD
00002226: MSTORE
00002227: PUSH1 0x44
00002229: DUP3
0000222a: ADD
0000222b: DUP4
0000222c: SWAP1
0000222d: MSTORE
0000222e: PUSH2 0x1630
00002231: SWAP2
00002232: DUP6
00002233: SWAP2
00002234: DUP3
00002235: AND
00002236: SWAP1
00002237: PUSH4 0xa9059cbb
0000223c: SWAP1
0000223d: PUSH1 0x64
0000223f: ADD
00002240: PUSH2 0x1e4c
00002243: JUMP
00002244: JUMPDEST
00002245: PUSH1 0x00
00002247: DUP1
00002248: PUSH2 0x1d87
0000224b: DUP4
0000224c: PUSH2 0x27cc
0000224f: JUMP
00002250: JUMPDEST
00002251: PUSH1 0x00
00002253: DUP1
00002254: PUSH2 0x2260
00002257: PUSH1 0x20
00002259: DUP5
0000225a: ADD
0000225b: DUP5
0000225c: PUSH2 0x3107
0000225f: JUMP
00002260: JUMPDEST
00002261: SWAP1
00002262: POP
00002263: PUSH8 0xffffffffffffffff
0000226c: DUP2
0000226d: GT
0000226e: ISZERO
0000226f: PUSH2 0x227a
00002272: JUMPI
00002273: PUSH2 0x227a
00002276: PUSH2 0x31a5
00002279: JUMP
0000227a: JUMPDEST
0000227b: PUSH1 0x40
0000227d: MLOAD
0000227e: SWAP1
0000227f: DUP1
00002280: DUP3
00002281: MSTORE
00002282: DUP1
00002283: PUSH1 0x20
00002285: MUL
00002286: PUSH1 0x20
00002288: ADD
00002289: DUP3
0000228a: ADD
0000228b: PUSH1 0x40
0000228d: MSTORE
0000228e: DUP1
0000228f: ISZERO
00002290: PUSH2 0x22a3
00002293: JUMPI
00002294: DUP2
00002295: PUSH1 0x20
00002297: ADD
00002298: PUSH1 0x20
0000229a: DUP3
0000229b: MUL
0000229c: DUP1
0000229d: CALLDATASIZE
0000229e: DUP4
0000229f: CALLDATACOPY
000022a0: ADD
000022a1: SWAP1
000022a2: POP
000022a3: JUMPDEST
000022a4: POP
000022a5: SWAP1
000022a6: POP
000022a7: PUSH1 0x00
000022a9: JUMPDEST
000022aa: PUSH2 0x22b6
000022ad: PUSH1 0x20
000022af: DUP6
000022b0: ADD
000022b1: DUP6
000022b2: PUSH2 0x3107
000022b5: JUMP
000022b6: JUMPDEST
000022b7: SWAP1
000022b8: POP
000022b9: DUP2
000022ba: LT
000022bb: ISZERO
000022bc: PUSH2 0x230f
000022bf: JUMPI
000022c0: PUSH2 0x22ea
000022c3: PUSH2 0x22cf
000022c6: PUSH1 0x20
000022c8: DUP7
000022c9: ADD
000022ca: DUP7
000022cb: PUSH2 0x3107
000022ce: JUMP
000022cf: JUMPDEST
000022d0: DUP4
000022d1: DUP2
000022d2: DUP2
000022d3: LT
000022d4: PUSH2 0x22df
000022d7: JUMPI
000022d8: PUSH2 0x22df
000022db: PUSH2 0x3176
000022de: JUMP
000022df: JUMPDEST
000022e0: SWAP1
000022e1: POP
000022e2: PUSH1 0x40
000022e4: MUL
000022e5: ADD
000022e6: PUSH2 0x2858
000022e9: JUMP
000022ea: JUMPDEST
000022eb: DUP3
000022ec: DUP3
000022ed: DUP2
000022ee: MLOAD
000022ef: DUP2
000022f0: LT
000022f1: PUSH2 0x22fc
000022f4: JUMPI
000022f5: PUSH2 0x22fc
000022f8: PUSH2 0x3176
000022fb: JUMP
000022fc: JUMPDEST
000022fd: PUSH1 0x20
000022ff: SWAP1
00002300: DUP2
00002301: MUL
00002302: SWAP2
00002303: SWAP1
00002304: SWAP2
00002305: ADD
00002306: ADD
00002307: MSTORE
00002308: PUSH1 0x01
0000230a: ADD
0000230b: PUSH2 0x22a9
0000230e: JUMP
0000230f: JUMPDEST
00002310: POP
00002311: PUSH1 0x00
00002313: DUP2
00002314: PUSH1 0x40
00002316: MLOAD
00002317: PUSH1 0x20
00002319: ADD
0000231a: PUSH2 0x2323
0000231d: SWAP2
0000231e: SWAP1
0000231f: PUSH2 0x32ff
00002322: JUMP
00002323: JUMPDEST
00002324: PUSH1 0x40
00002326: DUP1
00002327: MLOAD
00002328: DUP1
00002329: DUP4
0000232a: SUB
0000232b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000234c: ADD
0000234d: DUP2
0000234e: MSTORE
0000234f: DUP3
00002350: DUP3
00002351: MSTORE
00002352: DUP1
00002353: MLOAD
00002354: PUSH1 0x20
00002356: SWAP2
00002357: DUP3
00002358: ADD
00002359: KECCAK256
0000235a: PUSH32 0xca23b1bc4e39cf37fd76eeda305272f5b30d39bd819bf4b211d6c0aba27df5d1
0000237b: SWAP2
0000237c: DUP5
0000237d: ADD
0000237e: SWAP2
0000237f: SWAP1
00002380: SWAP2
00002381: MSTORE
00002382: DUP7
00002383: CALLDATALOAD
00002384: DUP4
00002385: DUP4
00002386: ADD
00002387: MSTORE
00002388: PUSH1 0x60
0000238a: DUP4
0000238b: ADD
0000238c: DUP2
0000238d: SWAP1
0000238e: MSTORE
0000238f: SWAP1
00002390: DUP7
00002391: ADD
00002392: CALLDATALOAD
00002393: PUSH1 0x80
00002395: DUP4
00002396: ADD
00002397: MSTORE
00002398: SWAP2
00002399: POP
0000239a: PUSH1 0xa0
0000239c: ADD
0000239d: JUMPDEST
0000239e: PUSH1 0x40
000023a0: MLOAD
000023a1: PUSH1 0x20
000023a3: DUP2
000023a4: DUP4
000023a5: SUB
000023a6: SUB
000023a7: DUP2
000023a8: MSTORE
000023a9: SWAP1
000023aa: PUSH1 0x40
000023ac: MSTORE
000023ad: DUP1
000023ae: MLOAD
000023af: SWAP1
000023b0: PUSH1 0x20
000023b2: ADD
000023b3: KECCAK256
000023b4: SWAP3
000023b5: POP
000023b6: POP
000023b7: POP
000023b8: SWAP2
000023b9: SWAP1
000023ba: POP
000023bb: JUMP
000023bc: JUMPDEST
000023bd: PUSH1 0x00
000023bf: PUSH2 0x2404
000023c2: PUSH2 0x23c9
000023c5: PUSH2 0x28c2
000023c8: JUMP
000023c9: JUMPDEST
000023ca: DUP4
000023cb: PUSH1 0x40
000023cd: MLOAD
000023ce: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
000023ef: DUP2
000023f0: MSTORE
000023f1: PUSH1 0x02
000023f3: DUP2
000023f4: ADD
000023f5: SWAP3
000023f6: SWAP1
000023f7: SWAP3
000023f8: MSTORE
000023f9: PUSH1 0x22
000023fb: DUP3
000023fc: ADD
000023fd: MSTORE
000023fe: PUSH1 0x42
00002400: SWAP1
00002401: KECCAK256
00002402: SWAP1
00002403: JUMP
00002404: JUMPDEST
00002405: SWAP3
00002406: SWAP2
00002407: POP
00002408: POP
00002409: JUMP
0000240a: JUMPDEST
0000240b: PUSH1 0x00
0000240d: DUP1
0000240e: PUSH1 0x00
00002410: DUP1
00002411: PUSH2 0x241a
00002414: DUP7
00002415: DUP7
00002416: PUSH2 0x28d1
00002419: JUMP
0000241a: JUMPDEST
0000241b: SWAP3
0000241c: POP
0000241d: SWAP3
0000241e: POP
0000241f: SWAP3
00002420: POP
00002421: PUSH2 0x242a
00002424: DUP3
00002425: DUP3
00002426: PUSH2 0x291e
00002429: JUMP
0000242a: JUMPDEST
0000242b: POP
0000242c: SWAP1
0000242d: SWAP5
0000242e: SWAP4
0000242f: POP
00002430: POP
00002431: POP
00002432: POP
00002433: JUMP
00002434: JUMPDEST
00002435: PUSH1 0x00
00002437: PUSH2 0x2456
0000243a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244f: DUP5
00002450: AND
00002451: DUP4
00002452: PUSH2 0x2a22
00002455: JUMP
00002456: JUMPDEST
00002457: SWAP1
00002458: POP
00002459: DUP1
0000245a: MLOAD
0000245b: PUSH1 0x00
0000245d: EQ
0000245e: ISZERO
0000245f: DUP1
00002460: ISZERO
00002461: PUSH2 0x247b
00002464: JUMPI
00002465: POP
00002466: DUP1
00002467: DUP1
00002468: PUSH1 0x20
0000246a: ADD
0000246b: SWAP1
0000246c: MLOAD
0000246d: DUP2
0000246e: ADD
0000246f: SWAP1
00002470: PUSH2 0x2479
00002473: SWAP2
00002474: SWAP1
00002475: PUSH2 0x322b
00002478: JUMP
00002479: JUMPDEST
0000247a: ISZERO
0000247b: JUMPDEST
0000247c: ISZERO
0000247d: PUSH2 0x1630
00002480: JUMPI
00002481: PUSH1 0x40
00002483: MLOAD
00002484: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
000024a5: DUP2
000024a6: MSTORE
000024a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024bc: DUP5
000024bd: AND
000024be: PUSH1 0x04
000024c0: DUP3
000024c1: ADD
000024c2: MSTORE
000024c3: PUSH1 0x24
000024c5: ADD
000024c6: PUSH2 0x04b0
000024c9: JUMP
000024ca: JUMPDEST
000024cb: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
000024ec: SLOAD
000024ed: PUSH1 0xff
000024ef: AND
000024f0: PUSH2 0x09b2
000024f3: JUMPI
000024f4: PUSH1 0x40
000024f6: MLOAD
000024f7: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000
00002518: DUP2
00002519: MSTORE
0000251a: PUSH1 0x04
0000251c: ADD
0000251d: PUSH1 0x40
0000251f: MLOAD
00002520: DUP1
00002521: SWAP2
00002522: SUB
00002523: SWAP1
00002524: REVERT
00002525: JUMPDEST
00002526: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
00002547: SLOAD
00002548: PUSH9 0x010000000000000000
00002552: SWAP1
00002553: DIV
00002554: PUSH1 0xff
00002556: AND
00002557: PUSH2 0x09b2
0000255a: JUMPI
0000255b: PUSH1 0x40
0000255d: MLOAD
0000255e: PUSH32 0xd7e6bcf800000000000000000000000000000000000000000000000000000000
0000257f: DUP2
00002580: MSTORE
00002581: PUSH1 0x04
00002583: ADD
00002584: PUSH1 0x40
00002586: MLOAD
00002587: DUP1
00002588: SWAP2
00002589: SUB
0000258a: SWAP1
0000258b: REVERT
0000258c: JUMPDEST
0000258d: PUSH2 0x2594
00002590: PUSH2 0x2525
00002593: JUMP
00002594: JUMPDEST
00002595: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
000025b6: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d102
000025d7: PUSH2 0x25e0
000025da: DUP5
000025db: DUP3
000025dc: PUSH2 0x3385
000025df: JUMP
000025e0: JUMPDEST
000025e1: POP
000025e2: PUSH1 0x03
000025e4: DUP2
000025e5: ADD
000025e6: PUSH2 0x25ef
000025e9: DUP4
000025ea: DUP3
000025eb: PUSH2 0x3385
000025ee: JUMP
000025ef: JUMPDEST
000025f0: POP
000025f1: PUSH1 0x00
000025f3: DUP1
000025f4: DUP3
000025f5: SSTORE
000025f6: PUSH1 0x01
000025f8: SWAP1
000025f9: SWAP2
000025fa: ADD
000025fb: SSTORE
000025fc: POP
000025fd: POP
000025fe: JUMP
000025ff: JUMPDEST
00002600: PUSH2 0x1bb7
00002603: PUSH2 0x2525
00002606: JUMP
00002607: JUMPDEST
00002608: PUSH2 0x1e99
0000260b: PUSH2 0x2525
0000260e: JUMP
0000260f: JUMPDEST
00002610: PUSH2 0x2617
00002613: PUSH2 0x2525
00002616: JUMP
00002617: JUMPDEST
00002618: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00002639: DUP1
0000263a: SLOAD
0000263b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000265c: AND
0000265d: SWAP1
0000265e: SSTORE
0000265f: JUMP
00002660: JUMPDEST
00002661: PUSH1 0x00
00002663: DUP1
00002664: PUSH2 0x2670
00002667: PUSH1 0x20
00002669: DUP5
0000266a: ADD
0000266b: DUP5
0000266c: PUSH2 0x3107
0000266f: JUMP
00002670: JUMPDEST
00002671: SWAP1
00002672: POP
00002673: PUSH8 0xffffffffffffffff
0000267c: DUP2
0000267d: GT
0000267e: ISZERO
0000267f: PUSH2 0x268a
00002682: JUMPI
00002683: PUSH2 0x268a
00002686: PUSH2 0x31a5
00002689: JUMP
0000268a: JUMPDEST
0000268b: PUSH1 0x40
0000268d: MLOAD
0000268e: SWAP1
0000268f: DUP1
00002690: DUP3
00002691: MSTORE
00002692: DUP1
00002693: PUSH1 0x20
00002695: MUL
00002696: PUSH1 0x20
00002698: ADD
00002699: DUP3
0000269a: ADD
0000269b: PUSH1 0x40
0000269d: MSTORE
0000269e: DUP1
0000269f: ISZERO
000026a0: PUSH2 0x26b3
000026a3: JUMPI
000026a4: DUP2
000026a5: PUSH1 0x20
000026a7: ADD
000026a8: PUSH1 0x20
000026aa: DUP3
000026ab: MUL
000026ac: DUP1
000026ad: CALLDATASIZE
000026ae: DUP4
000026af: CALLDATACOPY
000026b0: ADD
000026b1: SWAP1
000026b2: POP
000026b3: JUMPDEST
000026b4: POP
000026b5: SWAP1
000026b6: POP
000026b7: PUSH1 0x00
000026b9: JUMPDEST
000026ba: PUSH2 0x26c6
000026bd: PUSH1 0x20
000026bf: DUP6
000026c0: ADD
000026c1: DUP6
000026c2: PUSH2 0x3107
000026c5: JUMP
000026c6: JUMPDEST
000026c7: SWAP1
000026c8: POP
000026c9: DUP2
000026ca: LT
000026cb: ISZERO
000026cc: PUSH2 0x2704
000026cf: JUMPI
000026d0: PUSH2 0x26df
000026d3: PUSH2 0x22cf
000026d6: PUSH1 0x20
000026d8: DUP7
000026d9: ADD
000026da: DUP7
000026db: PUSH2 0x3107
000026de: JUMP
000026df: JUMPDEST
000026e0: DUP3
000026e1: DUP3
000026e2: DUP2
000026e3: MLOAD
000026e4: DUP2
000026e5: LT
000026e6: PUSH2 0x26f1
000026e9: JUMPI
000026ea: PUSH2 0x26f1
000026ed: PUSH2 0x3176
000026f0: JUMP
000026f1: JUMPDEST
000026f2: PUSH1 0x20
000026f4: SWAP1
000026f5: DUP2
000026f6: MUL
000026f7: SWAP2
000026f8: SWAP1
000026f9: SWAP2
000026fa: ADD
000026fb: ADD
000026fc: MSTORE
000026fd: PUSH1 0x01
000026ff: ADD
00002700: PUSH2 0x26b9
00002703: JUMP
00002704: JUMPDEST
00002705: POP
00002706: PUSH1 0x00
00002708: DUP2
00002709: PUSH1 0x40
0000270b: MLOAD
0000270c: PUSH1 0x20
0000270e: ADD
0000270f: PUSH2 0x2718
00002712: SWAP2
00002713: SWAP1
00002714: PUSH2 0x32ff
00002717: JUMP
00002718: JUMPDEST
00002719: PUSH1 0x40
0000271b: MLOAD
0000271c: PUSH1 0x20
0000271e: DUP2
0000271f: DUP4
00002720: SUB
00002721: SUB
00002722: DUP2
00002723: MSTORE
00002724: SWAP1
00002725: PUSH1 0x40
00002727: MSTORE
00002728: DUP1
00002729: MLOAD
0000272a: SWAP1
0000272b: PUSH1 0x20
0000272d: ADD
0000272e: KECCAK256
0000272f: SWAP1
00002730: POP
00002731: PUSH32 0x8085492b4e387829a89633eae7049d9359dec12e41c2b515ef97bed9f419f570
00002752: DUP5
00002753: PUSH1 0x00
00002755: ADD
00002756: CALLDATALOAD
00002757: DUP3
00002758: DUP7
00002759: PUSH1 0x40
0000275b: ADD
0000275c: PUSH1 0x20
0000275e: DUP2
0000275f: ADD
00002760: SWAP1
00002761: PUSH2 0x276a
00002764: SWAP2
00002765: SWAP1
00002766: PUSH2 0x2e34
00002769: JUMP
0000276a: JUMPDEST
0000276b: PUSH1 0x60
0000276d: DUP9
0000276e: ADD
0000276f: CALLDATALOAD
00002770: PUSH2 0x277f
00002773: PUSH1 0xa0
00002775: DUP11
00002776: ADD
00002777: PUSH1 0x80
00002779: DUP12
0000277a: ADD
0000277b: PUSH2 0x2e34
0000277e: JUMP
0000277f: JUMPDEST
00002780: PUSH1 0x40
00002782: DUP1
00002783: MLOAD
00002784: PUSH1 0x20
00002786: DUP2
00002787: ADD
00002788: SWAP8
00002789: SWAP1
0000278a: SWAP8
0000278b: MSTORE
0000278c: DUP7
0000278d: ADD
0000278e: SWAP5
0000278f: SWAP1
00002790: SWAP5
00002791: MSTORE
00002792: PUSH1 0x60
00002794: DUP6
00002795: ADD
00002796: SWAP3
00002797: SWAP1
00002798: SWAP3
00002799: MSTORE
0000279a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027af: SWAP1
000027b0: DUP2
000027b1: AND
000027b2: PUSH1 0x80
000027b4: DUP6
000027b5: ADD
000027b6: MSTORE
000027b7: PUSH1 0xa0
000027b9: DUP5
000027ba: ADD
000027bb: SWAP2
000027bc: SWAP1
000027bd: SWAP2
000027be: MSTORE
000027bf: AND
000027c0: PUSH1 0xc0
000027c2: DUP3
000027c3: ADD
000027c4: MSTORE
000027c5: PUSH1 0xe0
000027c7: ADD
000027c8: PUSH2 0x239d
000027cb: JUMP
000027cc: JUMPDEST
000027cd: PUSH1 0x00
000027cf: PUSH32 0xc68e8a41ddc775426bafc6c546980fa757222eab83a35e4ab8232f94621e01ee
000027f0: DUP3
000027f1: CALLDATALOAD
000027f2: PUSH2 0x2801
000027f5: PUSH1 0x40
000027f7: DUP6
000027f8: ADD
000027f9: PUSH1 0x20
000027fb: DUP7
000027fc: ADD
000027fd: PUSH2 0x2e34
00002800: JUMP
00002801: JUMPDEST
00002802: PUSH1 0x40
00002804: DUP1
00002805: MLOAD
00002806: PUSH1 0x20
00002808: DUP2
00002809: ADD
0000280a: SWAP5
0000280b: SWAP1
0000280c: SWAP5
0000280d: MSTORE
0000280e: DUP4
0000280f: DUP2
00002810: ADD
00002811: SWAP3
00002812: SWAP1
00002813: SWAP3
00002814: MSTORE
00002815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000282a: AND
0000282b: PUSH1 0x60
0000282d: DUP4
0000282e: ADD
0000282f: MSTORE
00002830: DUP4
00002831: ADD
00002832: CALLDATALOAD
00002833: PUSH1 0x80
00002835: DUP3
00002836: ADD
00002837: MSTORE
00002838: PUSH1 0xa0
0000283a: ADD
0000283b: JUMPDEST
0000283c: PUSH1 0x40
0000283e: MLOAD
0000283f: PUSH1 0x20
00002841: DUP2
00002842: DUP4
00002843: SUB
00002844: SUB
00002845: DUP2
00002846: MSTORE
00002847: SWAP1
00002848: PUSH1 0x40
0000284a: MSTORE
0000284b: DUP1
0000284c: MLOAD
0000284d: SWAP1
0000284e: PUSH1 0x20
00002850: ADD
00002851: KECCAK256
00002852: SWAP1
00002853: POP
00002854: SWAP2
00002855: SWAP1
00002856: POP
00002857: JUMP
00002858: JUMPDEST
00002859: PUSH1 0x00
0000285b: PUSH32 0x7d69dae8bf857a7738550aebbecd7f76adc760b8f1aa09653e4ab724b774ca7f
0000287c: PUSH2 0x2888
0000287f: PUSH1 0x20
00002881: DUP5
00002882: ADD
00002883: DUP5
00002884: PUSH2 0x2e34
00002887: JUMP
00002888: JUMPDEST
00002889: PUSH1 0x40
0000288b: DUP1
0000288c: MLOAD
0000288d: PUSH1 0x20
0000288f: DUP2
00002890: DUP2
00002891: ADD
00002892: SWAP5
00002893: SWAP1
00002894: SWAP5
00002895: MSTORE
00002896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ab: SWAP1
000028ac: SWAP3
000028ad: AND
000028ae: SWAP1
000028af: DUP3
000028b0: ADD
000028b1: MSTORE
000028b2: SWAP1
000028b3: DUP4
000028b4: ADD
000028b5: CALLDATALOAD
000028b6: PUSH1 0x60
000028b8: DUP3
000028b9: ADD
000028ba: MSTORE
000028bb: PUSH1 0x80
000028bd: ADD
000028be: PUSH2 0x283b
000028c1: JUMP
000028c2: JUMPDEST
000028c3: PUSH1 0x00
000028c5: PUSH2 0x28cc
000028c8: PUSH2 0x2a37
000028cb: JUMP
000028cc: JUMPDEST
000028cd: SWAP1
000028ce: POP
000028cf: SWAP1
000028d0: JUMP
000028d1: JUMPDEST
000028d2: PUSH1 0x00
000028d4: DUP1
000028d5: PUSH1 0x00
000028d7: DUP4
000028d8: MLOAD
000028d9: PUSH1 0x41
000028db: SUB
000028dc: PUSH2 0x290b
000028df: JUMPI
000028e0: PUSH1 0x20
000028e2: DUP5
000028e3: ADD
000028e4: MLOAD
000028e5: PUSH1 0x40
000028e7: DUP6
000028e8: ADD
000028e9: MLOAD
000028ea: PUSH1 0x60
000028ec: DUP7
000028ed: ADD
000028ee: MLOAD
000028ef: PUSH1 0x00
000028f1: BYTE
000028f2: PUSH2 0x28fd
000028f5: DUP9
000028f6: DUP3
000028f7: DUP6
000028f8: DUP6
000028f9: PUSH2 0x2aab
000028fc: JUMP
000028fd: JUMPDEST
000028fe: SWAP6
000028ff: POP
00002900: SWAP6
00002901: POP
00002902: SWAP6
00002903: POP
00002904: POP
00002905: POP
00002906: POP
00002907: PUSH2 0x2917
0000290a: JUMP
0000290b: JUMPDEST
0000290c: POP
0000290d: POP
0000290e: DUP2
0000290f: MLOAD
00002910: PUSH1 0x00
00002912: SWAP2
00002913: POP
00002914: PUSH1 0x02
00002916: SWAP1
00002917: JUMPDEST
00002918: SWAP3
00002919: POP
0000291a: SWAP3
0000291b: POP
0000291c: SWAP3
0000291d: JUMP
0000291e: JUMPDEST
0000291f: PUSH1 0x00
00002921: DUP3
00002922: PUSH1 0x03
00002924: DUP2
00002925: GT
00002926: ISZERO
00002927: PUSH2 0x2932
0000292a: JUMPI
0000292b: PUSH2 0x2932
0000292e: PUSH2 0x305b
00002931: JUMP
00002932: JUMPDEST
00002933: SUB
00002934: PUSH2 0x293b
00002937: JUMPI
00002938: POP
00002939: POP
0000293a: JUMP
0000293b: JUMPDEST
0000293c: PUSH1 0x01
0000293e: DUP3
0000293f: PUSH1 0x03
00002941: DUP2
00002942: GT
00002943: ISZERO
00002944: PUSH2 0x294f
00002947: JUMPI
00002948: PUSH2 0x294f
0000294b: PUSH2 0x305b
0000294e: JUMP
0000294f: JUMPDEST
00002950: SUB
00002951: PUSH2 0x2986
00002954: JUMPI
00002955: PUSH1 0x40
00002957: MLOAD
00002958: PUSH32 0xf645eedf00000000000000000000000000000000000000000000000000000000
00002979: DUP2
0000297a: MSTORE
0000297b: PUSH1 0x04
0000297d: ADD
0000297e: PUSH1 0x40
00002980: MLOAD
00002981: DUP1
00002982: SWAP2
00002983: SUB
00002984: SWAP1
00002985: REVERT
00002986: JUMPDEST
00002987: PUSH1 0x02
00002989: DUP3
0000298a: PUSH1 0x03
0000298c: DUP2
0000298d: GT
0000298e: ISZERO
0000298f: PUSH2 0x299a
00002992: JUMPI
00002993: PUSH2 0x299a
00002996: PUSH2 0x305b
00002999: JUMP
0000299a: JUMPDEST
0000299b: SUB
0000299c: PUSH2 0x29d4
0000299f: JUMPI
000029a0: PUSH1 0x40
000029a2: MLOAD
000029a3: PUSH32 0xfce698f700000000000000000000000000000000000000000000000000000000
000029c4: DUP2
000029c5: MSTORE
000029c6: PUSH1 0x04
000029c8: DUP2
000029c9: ADD
000029ca: DUP3
000029cb: SWAP1
000029cc: MSTORE
000029cd: PUSH1 0x24
000029cf: ADD
000029d0: PUSH2 0x04b0
000029d3: JUMP
000029d4: JUMPDEST
000029d5: PUSH1 0x03
000029d7: DUP3
000029d8: PUSH1 0x03
000029da: DUP2
000029db: GT
000029dc: ISZERO
000029dd: PUSH2 0x29e8
000029e0: JUMPI
000029e1: PUSH2 0x29e8
000029e4: PUSH2 0x305b
000029e7: JUMP
000029e8: JUMPDEST
000029e9: SUB
000029ea: PUSH2 0x1fe7
000029ed: JUMPI
000029ee: PUSH1 0x40
000029f0: MLOAD
000029f1: PUSH32 0xd78bce0c00000000000000000000000000000000000000000000000000000000
00002a12: DUP2
00002a13: MSTORE
00002a14: PUSH1 0x04
00002a16: DUP2
00002a17: ADD
00002a18: DUP3
00002a19: SWAP1
00002a1a: MSTORE
00002a1b: PUSH1 0x24
00002a1d: ADD
00002a1e: PUSH2 0x04b0
00002a21: JUMP
00002a22: JUMPDEST
00002a23: PUSH1 0x60
00002a25: PUSH2 0x2a30
00002a28: DUP4
00002a29: DUP4
00002a2a: PUSH1 0x00
00002a2c: PUSH2 0x2ba5
00002a2f: JUMP
00002a30: JUMPDEST
00002a31: SWAP4
00002a32: SWAP3
00002a33: POP
00002a34: POP
00002a35: POP
00002a36: JUMP
00002a37: JUMPDEST
00002a38: PUSH1 0x00
00002a3a: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00002a5b: PUSH2 0x2a62
00002a5e: PUSH2 0x2c68
00002a61: JUMP
00002a62: JUMPDEST
00002a63: PUSH2 0x2a6a
00002a66: PUSH2 0x2ce4
00002a69: JUMP
00002a6a: JUMPDEST
00002a6b: PUSH1 0x40
00002a6d: DUP1
00002a6e: MLOAD
00002a6f: PUSH1 0x20
00002a71: DUP2
00002a72: ADD
00002a73: SWAP5
00002a74: SWAP1
00002a75: SWAP5
00002a76: MSTORE
00002a77: DUP4
00002a78: ADD
00002a79: SWAP2
00002a7a: SWAP1
00002a7b: SWAP2
00002a7c: MSTORE
00002a7d: PUSH1 0x60
00002a7f: DUP3
00002a80: ADD
00002a81: MSTORE
00002a82: CHAINID
00002a83: PUSH1 0x80
00002a85: DUP3
00002a86: ADD
00002a87: MSTORE
00002a88: ADDRESS
00002a89: PUSH1 0xa0
00002a8b: DUP3
00002a8c: ADD
00002a8d: MSTORE
00002a8e: PUSH1 0xc0
00002a90: ADD
00002a91: PUSH1 0x40
00002a93: MLOAD
00002a94: PUSH1 0x20
00002a96: DUP2
00002a97: DUP4
00002a98: SUB
00002a99: SUB
00002a9a: DUP2
00002a9b: MSTORE
00002a9c: SWAP1
00002a9d: PUSH1 0x40
00002a9f: MSTORE
00002aa0: DUP1
00002aa1: MLOAD
00002aa2: SWAP1
00002aa3: PUSH1 0x20
00002aa5: ADD
00002aa6: KECCAK256
00002aa7: SWAP1
00002aa8: POP
00002aa9: SWAP1
00002aaa: JUMP
00002aab: JUMPDEST
00002aac: PUSH1 0x00
00002aae: DUP1
00002aaf: DUP1
00002ab0: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
00002ad1: DUP5
00002ad2: GT
00002ad3: ISZERO
00002ad4: PUSH2 0x2ae6
00002ad7: JUMPI
00002ad8: POP
00002ad9: PUSH1 0x00
00002adb: SWAP2
00002adc: POP
00002add: PUSH1 0x03
00002adf: SWAP1
00002ae0: POP
00002ae1: DUP3
00002ae2: PUSH2 0x2b9b
00002ae5: JUMP
00002ae6: JUMPDEST
00002ae7: PUSH1 0x40
00002ae9: DUP1
00002aea: MLOAD
00002aeb: PUSH1 0x00
00002aed: DUP1
00002aee: DUP3
00002aef: MSTORE
00002af0: PUSH1 0x20
00002af2: DUP3
00002af3: ADD
00002af4: DUP1
00002af5: DUP5
00002af6: MSTORE
00002af7: DUP11
00002af8: SWAP1
00002af9: MSTORE
00002afa: PUSH1 0xff
00002afc: DUP10
00002afd: AND
00002afe: SWAP3
00002aff: DUP3
00002b00: ADD
00002b01: SWAP3
00002b02: SWAP1
00002b03: SWAP3
00002b04: MSTORE
00002b05: PUSH1 0x60
00002b07: DUP2
00002b08: ADD
00002b09: DUP8
00002b0a: SWAP1
00002b0b: MSTORE
00002b0c: PUSH1 0x80
00002b0e: DUP2
00002b0f: ADD
00002b10: DUP7
00002b11: SWAP1
00002b12: MSTORE
00002b13: PUSH1 0x01
00002b15: SWAP1
00002b16: PUSH1 0xa0
00002b18: ADD
00002b19: PUSH1 0x20
00002b1b: PUSH1 0x40
00002b1d: MLOAD
00002b1e: PUSH1 0x20
00002b20: DUP2
00002b21: SUB
00002b22: SWAP1
00002b23: DUP1
00002b24: DUP5
00002b25: SUB
00002b26: SWAP1
00002b27: DUP6
00002b28: GAS
00002b29: STATICCALL
00002b2a: ISZERO
00002b2b: DUP1
00002b2c: ISZERO
00002b2d: PUSH2 0x2b3a
00002b30: JUMPI
00002b31: RETURNDATASIZE
00002b32: PUSH1 0x00
00002b34: DUP1
00002b35: RETURNDATACOPY
00002b36: RETURNDATASIZE
00002b37: PUSH1 0x00
00002b39: REVERT
00002b3a: JUMPDEST
00002b3b: POP
00002b3c: POP
00002b3d: PUSH1 0x40
00002b3f: MLOAD
00002b40: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002b61: ADD
00002b62: MLOAD
00002b63: SWAP2
00002b64: POP
00002b65: POP
00002b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b7b: DUP2
00002b7c: AND
00002b7d: PUSH2 0x2b91
00002b80: JUMPI
00002b81: POP
00002b82: PUSH1 0x00
00002b84: SWAP3
00002b85: POP
00002b86: PUSH1 0x01
00002b88: SWAP2
00002b89: POP
00002b8a: DUP3
00002b8b: SWAP1
00002b8c: POP
00002b8d: PUSH2 0x2b9b
00002b90: JUMP
00002b91: JUMPDEST
00002b92: SWAP3
00002b93: POP
00002b94: PUSH1 0x00
00002b96: SWAP2
00002b97: POP
00002b98: DUP2
00002b99: SWAP1
00002b9a: POP
00002b9b: JUMPDEST
00002b9c: SWAP5
00002b9d: POP
00002b9e: SWAP5
00002b9f: POP
00002ba0: SWAP5
00002ba1: SWAP2
00002ba2: POP
00002ba3: POP
00002ba4: JUMP
00002ba5: JUMPDEST
00002ba6: PUSH1 0x60
00002ba8: DUP2
00002ba9: SELFBALANCE
00002baa: LT
00002bab: ISZERO
00002bac: PUSH2 0x2be3
00002baf: JUMPI
00002bb0: PUSH1 0x40
00002bb2: MLOAD
00002bb3: PUSH32 0xcd78605900000000000000000000000000000000000000000000000000000000
00002bd4: DUP2
00002bd5: MSTORE
00002bd6: ADDRESS
00002bd7: PUSH1 0x04
00002bd9: DUP3
00002bda: ADD
00002bdb: MSTORE
00002bdc: PUSH1 0x24
00002bde: ADD
00002bdf: PUSH2 0x04b0
00002be2: JUMP
00002be3: JUMPDEST
00002be4: PUSH1 0x00
00002be6: DUP1
00002be7: DUP6
00002be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bfd: AND
00002bfe: DUP5
00002bff: DUP7
00002c00: PUSH1 0x40
00002c02: MLOAD
00002c03: PUSH2 0x2c0c
00002c06: SWAP2
00002c07: SWAP1
00002c08: PUSH2 0x349f
00002c0b: JUMP
00002c0c: JUMPDEST
00002c0d: PUSH1 0x00
00002c0f: PUSH1 0x40
00002c11: MLOAD
00002c12: DUP1
00002c13: DUP4
00002c14: SUB
00002c15: DUP2
00002c16: DUP6
00002c17: DUP8
00002c18: GAS
00002c19: CALL
00002c1a: SWAP3
00002c1b: POP
00002c1c: POP
00002c1d: POP
00002c1e: RETURNDATASIZE
00002c1f: DUP1
00002c20: PUSH1 0x00
00002c22: DUP2
00002c23: EQ
00002c24: PUSH2 0x2c49
00002c27: JUMPI
00002c28: PUSH1 0x40
00002c2a: MLOAD
00002c2b: SWAP2
00002c2c: POP
00002c2d: PUSH1 0x1f
00002c2f: NOT
00002c30: PUSH1 0x3f
00002c32: RETURNDATASIZE
00002c33: ADD
00002c34: AND
00002c35: DUP3
00002c36: ADD
00002c37: PUSH1 0x40
00002c39: MSTORE
00002c3a: RETURNDATASIZE
00002c3b: DUP3
00002c3c: MSTORE
00002c3d: RETURNDATASIZE
00002c3e: PUSH1 0x00
00002c40: PUSH1 0x20
00002c42: DUP5
00002c43: ADD
00002c44: RETURNDATACOPY
00002c45: PUSH2 0x2c4e
00002c48: JUMP
00002c49: JUMPDEST
00002c4a: PUSH1 0x60
00002c4c: SWAP2
00002c4d: POP
00002c4e: JUMPDEST
00002c4f: POP
00002c50: SWAP2
00002c51: POP
00002c52: SWAP2
00002c53: POP
00002c54: PUSH2 0x2c5e
00002c57: DUP7
00002c58: DUP4
00002c59: DUP4
00002c5a: PUSH2 0x2d3a
00002c5d: JUMP
00002c5e: JUMPDEST
00002c5f: SWAP7
00002c60: SWAP6
00002c61: POP
00002c62: POP
00002c63: POP
00002c64: POP
00002c65: POP
00002c66: POP
00002c67: JUMP
00002c68: JUMPDEST
00002c69: PUSH1 0x00
00002c6b: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00002c8c: DUP2
00002c8d: PUSH2 0x2c94
00002c90: PUSH2 0x20b2
00002c93: JUMP
00002c94: JUMPDEST
00002c95: DUP1
00002c96: MLOAD
00002c97: SWAP1
00002c98: SWAP2
00002c99: POP
00002c9a: ISZERO
00002c9b: PUSH2 0x2cac
00002c9e: JUMPI
00002c9f: DUP1
00002ca0: MLOAD
00002ca1: PUSH1 0x20
00002ca3: SWAP1
00002ca4: SWAP2
00002ca5: ADD
00002ca6: KECCAK256
00002ca7: SWAP3
00002ca8: SWAP2
00002ca9: POP
00002caa: POP
00002cab: JUMP
00002cac: JUMPDEST
00002cad: DUP2
00002cae: SLOAD
00002caf: DUP1
00002cb0: ISZERO
00002cb1: PUSH2 0x2cbb
00002cb4: JUMPI
00002cb5: SWAP4
00002cb6: SWAP3
00002cb7: POP
00002cb8: POP
00002cb9: POP
00002cba: JUMP
00002cbb: JUMPDEST
00002cbc: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002cdd: SWAP4
00002cde: POP
00002cdf: POP
00002ce0: POP
00002ce1: POP
00002ce2: SWAP1
00002ce3: JUMP
00002ce4: JUMPDEST
00002ce5: PUSH1 0x00
00002ce7: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00002d08: DUP2
00002d09: PUSH2 0x2d10
00002d0c: PUSH2 0x2187
00002d0f: JUMP
00002d10: JUMPDEST
00002d11: DUP1
00002d12: MLOAD
00002d13: SWAP1
00002d14: SWAP2
00002d15: POP
00002d16: ISZERO
00002d17: PUSH2 0x2d28
00002d1a: JUMPI
00002d1b: DUP1
00002d1c: MLOAD
00002d1d: PUSH1 0x20
00002d1f: SWAP1
00002d20: SWAP2
00002d21: ADD
00002d22: KECCAK256
00002d23: SWAP3
00002d24: SWAP2
00002d25: POP
00002d26: POP
00002d27: JUMP
00002d28: JUMPDEST
00002d29: PUSH1 0x01
00002d2b: DUP3
00002d2c: ADD
00002d2d: SLOAD
00002d2e: DUP1
00002d2f: ISZERO
00002d30: PUSH2 0x2cbb
00002d33: JUMPI
00002d34: SWAP4
00002d35: SWAP3
00002d36: POP
00002d37: POP
00002d38: POP
00002d39: JUMP
00002d3a: JUMPDEST
00002d3b: PUSH1 0x60
00002d3d: DUP3
00002d3e: PUSH2 0x2d4f
00002d41: JUMPI
00002d42: PUSH2 0x2d4a
00002d45: DUP3
00002d46: PUSH2 0x2dc9
00002d49: JUMP
00002d4a: JUMPDEST
00002d4b: PUSH2 0x2a30
00002d4e: JUMP
00002d4f: JUMPDEST
00002d50: DUP2
00002d51: MLOAD
00002d52: ISZERO
00002d53: DUP1
00002d54: ISZERO
00002d55: PUSH2 0x2d73
00002d58: JUMPI
00002d59: POP
00002d5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d6f: DUP5
00002d70: AND
00002d71: EXTCODESIZE
00002d72: ISZERO
00002d73: JUMPDEST
00002d74: ISZERO
00002d75: PUSH2 0x2dc2
00002d78: JUMPI
00002d79: PUSH1 0x40
00002d7b: MLOAD
00002d7c: PUSH32 0x9996b31500000000000000000000000000000000000000000000000000000000
00002d9d: DUP2
00002d9e: MSTORE
00002d9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002db4: DUP6
00002db5: AND
00002db6: PUSH1 0x04
00002db8: DUP3
00002db9: ADD
00002dba: MSTORE
00002dbb: PUSH1 0x24
00002dbd: ADD
00002dbe: PUSH2 0x04b0
00002dc1: JUMP
00002dc2: JUMPDEST
00002dc3: POP
00002dc4: DUP1
00002dc5: PUSH2 0x2a30
00002dc8: JUMP
00002dc9: JUMPDEST
00002dca: DUP1
00002dcb: MLOAD
00002dcc: ISZERO
00002dcd: PUSH2 0x2dd9
00002dd0: JUMPI
00002dd1: DUP1
00002dd2: MLOAD
00002dd3: DUP1
00002dd4: DUP3
00002dd5: PUSH1 0x20
00002dd7: ADD
00002dd8: REVERT
00002dd9: JUMPDEST
00002dda: PUSH1 0x40
00002ddc: MLOAD
00002ddd: PUSH32 0x1425ea4200000000000000000000000000000000000000000000000000000000
00002dfe: DUP2
00002dff: MSTORE
00002e00: PUSH1 0x04
00002e02: ADD
00002e03: PUSH1 0x40
00002e05: MLOAD
00002e06: DUP1
00002e07: SWAP2
00002e08: SUB
00002e09: SWAP1
00002e0a: REVERT
00002e0b: JUMPDEST
00002e0c: DUP1
00002e0d: CALLDATALOAD
00002e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e23: DUP2
00002e24: AND
00002e25: DUP2
00002e26: EQ
00002e27: PUSH2 0x2e2f
00002e2a: JUMPI
00002e2b: PUSH1 0x00
00002e2d: DUP1
00002e2e: REVERT
00002e2f: JUMPDEST
00002e30: SWAP2
00002e31: SWAP1
00002e32: POP
00002e33: JUMP
00002e34: JUMPDEST
00002e35: PUSH1 0x00
00002e37: PUSH1 0x20
00002e39: DUP3
00002e3a: DUP5
00002e3b: SUB
00002e3c: SLT
00002e3d: ISZERO
00002e3e: PUSH2 0x2e46
00002e41: JUMPI
00002e42: PUSH1 0x00
00002e44: DUP1
00002e45: REVERT
00002e46: JUMPDEST
00002e47: PUSH2 0x2a30
00002e4a: DUP3
00002e4b: PUSH2 0x2e0b
00002e4e: JUMP
00002e4f: JUMPDEST
00002e50: PUSH1 0x00
00002e52: PUSH1 0x80
00002e54: DUP3
00002e55: DUP5
00002e56: SUB
00002e57: SLT
00002e58: ISZERO
00002e59: PUSH2 0x2e61
00002e5c: JUMPI
00002e5d: PUSH1 0x00
00002e5f: DUP1
00002e60: REVERT
00002e61: JUMPDEST
00002e62: POP
00002e63: SWAP2
00002e64: SWAP1
00002e65: POP
00002e66: JUMP
00002e67: JUMPDEST
00002e68: PUSH1 0x00
00002e6a: PUSH1 0x20
00002e6c: DUP3
00002e6d: DUP5
00002e6e: SUB
00002e6f: SLT
00002e70: ISZERO
00002e71: PUSH2 0x2e79
00002e74: JUMPI
00002e75: PUSH1 0x00
00002e77: DUP1
00002e78: REVERT
00002e79: JUMPDEST
00002e7a: DUP2
00002e7b: CALLDATALOAD
00002e7c: PUSH8 0xffffffffffffffff
00002e85: DUP2
00002e86: GT
00002e87: ISZERO
00002e88: PUSH2 0x2e90
00002e8b: JUMPI
00002e8c: PUSH1 0x00
00002e8e: DUP1
00002e8f: REVERT
00002e90: JUMPDEST
00002e91: PUSH2 0x2e9c
00002e94: DUP5
00002e95: DUP3
00002e96: DUP6
00002e97: ADD
00002e98: PUSH2 0x2e4f
00002e9b: JUMP
00002e9c: JUMPDEST
00002e9d: SWAP5
00002e9e: SWAP4
00002e9f: POP
00002ea0: POP
00002ea1: POP
00002ea2: POP
00002ea3: JUMP
00002ea4: JUMPDEST
00002ea5: PUSH1 0x00
00002ea7: DUP1
00002ea8: PUSH1 0x40
00002eaa: DUP4
00002eab: DUP6
00002eac: SUB
00002ead: SLT
00002eae: ISZERO
00002eaf: PUSH2 0x2eb7
00002eb2: JUMPI
00002eb3: PUSH1 0x00
00002eb5: DUP1
00002eb6: REVERT
00002eb7: JUMPDEST
00002eb8: PUSH2 0x2ec0
00002ebb: DUP4
00002ebc: PUSH2 0x2e0b
00002ebf: JUMP
00002ec0: JUMPDEST
00002ec1: SWAP2
00002ec2: POP
00002ec3: PUSH2 0x2ece
00002ec6: PUSH1 0x20
00002ec8: DUP5
00002ec9: ADD
00002eca: PUSH2 0x2e0b
00002ecd: JUMP
00002ece: JUMPDEST
00002ecf: SWAP1
00002ed0: POP
00002ed1: SWAP3
00002ed2: POP
00002ed3: SWAP3
00002ed4: SWAP1
00002ed5: POP
00002ed6: JUMP
00002ed7: JUMPDEST
00002ed8: PUSH1 0x00
00002eda: PUSH1 0x20
00002edc: DUP3
00002edd: DUP5
00002ede: SUB
00002edf: SLT
00002ee0: ISZERO
00002ee1: PUSH2 0x2ee9
00002ee4: JUMPI
00002ee5: PUSH1 0x00
00002ee7: DUP1
00002ee8: REVERT
00002ee9: JUMPDEST
00002eea: POP
00002eeb: CALLDATALOAD
00002eec: SWAP2
00002eed: SWAP1
00002eee: POP
00002eef: JUMP
00002ef0: JUMPDEST
00002ef1: PUSH1 0x00
00002ef3: JUMPDEST
00002ef4: DUP4
00002ef5: DUP2
00002ef6: LT
00002ef7: ISZERO
00002ef8: PUSH2 0x2f0b
00002efb: JUMPI
00002efc: DUP2
00002efd: DUP2
00002efe: ADD
00002eff: MLOAD
00002f00: DUP4
00002f01: DUP3
00002f02: ADD
00002f03: MSTORE
00002f04: PUSH1 0x20
00002f06: ADD
00002f07: PUSH2 0x2ef3
00002f0a: JUMP
00002f0b: JUMPDEST
00002f0c: POP
00002f0d: POP
00002f0e: PUSH1 0x00
00002f10: SWAP2
00002f11: ADD
00002f12: MSTORE
00002f13: JUMP
00002f14: JUMPDEST
00002f15: PUSH1 0x00
00002f17: DUP2
00002f18: MLOAD
00002f19: DUP1
00002f1a: DUP5
00002f1b: MSTORE
00002f1c: PUSH2 0x2f2c
00002f1f: DUP2
00002f20: PUSH1 0x20
00002f22: DUP7
00002f23: ADD
00002f24: PUSH1 0x20
00002f26: DUP7
00002f27: ADD
00002f28: PUSH2 0x2ef0
00002f2b: JUMP
00002f2c: JUMPDEST
00002f2d: PUSH1 0x1f
00002f2f: ADD
00002f30: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002f51: AND
00002f52: SWAP3
00002f53: SWAP1
00002f54: SWAP3
00002f55: ADD
00002f56: PUSH1 0x20
00002f58: ADD
00002f59: SWAP3
00002f5a: SWAP2
00002f5b: POP
00002f5c: POP
00002f5d: JUMP
00002f5e: JUMPDEST
00002f5f: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00002f80: DUP9
00002f81: AND
00002f82: DUP2
00002f83: MSTORE
00002f84: PUSH1 0x00
00002f86: PUSH1 0x20
00002f88: PUSH1 0xe0
00002f8a: PUSH1 0x20
00002f8c: DUP5
00002f8d: ADD
00002f8e: MSTORE
00002f8f: PUSH2 0x2f9b
00002f92: PUSH1 0xe0
00002f94: DUP5
00002f95: ADD
00002f96: DUP11
00002f97: PUSH2 0x2f14
00002f9a: JUMP
00002f9b: JUMPDEST
00002f9c: DUP4
00002f9d: DUP2
00002f9e: SUB
00002f9f: PUSH1 0x40
00002fa1: DUP6
00002fa2: ADD
00002fa3: MSTORE
00002fa4: PUSH2 0x2fad
00002fa7: DUP2
00002fa8: DUP11
00002fa9: PUSH2 0x2f14
00002fac: JUMP
00002fad: JUMPDEST
00002fae: PUSH1 0x60
00002fb0: DUP6
00002fb1: ADD
00002fb2: DUP10
00002fb3: SWAP1
00002fb4: MSTORE
00002fb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fca: DUP9
00002fcb: AND
00002fcc: PUSH1 0x80
00002fce: DUP7
00002fcf: ADD
00002fd0: MSTORE
00002fd1: PUSH1 0xa0
00002fd3: DUP6
00002fd4: ADD
00002fd5: DUP8
00002fd6: SWAP1
00002fd7: MSTORE
00002fd8: DUP5
00002fd9: DUP2
00002fda: SUB
00002fdb: PUSH1 0xc0
00002fdd: DUP7
00002fde: ADD
00002fdf: MSTORE
00002fe0: DUP6
00002fe1: MLOAD
00002fe2: DUP1
00002fe3: DUP3
00002fe4: MSTORE
00002fe5: PUSH1 0x20
00002fe7: DUP1
00002fe8: DUP9
00002fe9: ADD
00002fea: SWAP4
00002feb: POP
00002fec: SWAP1
00002fed: SWAP2
00002fee: ADD
00002fef: SWAP1
00002ff0: PUSH1 0x00
00002ff2: JUMPDEST
00002ff3: DUP2
00002ff4: DUP2
00002ff5: LT
00002ff6: ISZERO
00002ff7: PUSH2 0x300e
00002ffa: JUMPI
00002ffb: DUP4
00002ffc: MLOAD
00002ffd: DUP4
00002ffe: MSTORE
00002fff: SWAP3
00003000: DUP5
00003001: ADD
00003002: SWAP3
00003003: SWAP2
00003004: DUP5
00003005: ADD
00003006: SWAP2
00003007: PUSH1 0x01
00003009: ADD
0000300a: PUSH2 0x2ff2
0000300d: JUMP
0000300e: JUMPDEST
0000300f: POP
00003010: SWAP1
00003011: SWAP13
00003012: SWAP12
00003013: POP
00003014: POP
00003015: POP
00003016: POP
00003017: POP
00003018: POP
00003019: POP
0000301a: POP
0000301b: POP
0000301c: POP
0000301d: POP
0000301e: POP
0000301f: JUMP
00003020: JUMPDEST
00003021: PUSH1 0x00
00003023: PUSH1 0x20
00003025: DUP3
00003026: DUP5
00003027: SUB
00003028: SLT
00003029: ISZERO
0000302a: PUSH2 0x3032
0000302d: JUMPI
0000302e: PUSH1 0x00
00003030: DUP1
00003031: REVERT
00003032: JUMPDEST
00003033: DUP2
00003034: CALLDATALOAD
00003035: PUSH8 0xffffffffffffffff
0000303e: DUP2
0000303f: GT
00003040: ISZERO
00003041: PUSH2 0x3049
00003044: JUMPI
00003045: PUSH1 0x00
00003047: DUP1
00003048: REVERT
00003049: JUMPDEST
0000304a: DUP3
0000304b: ADD
0000304c: PUSH1 0xc0
0000304e: DUP2
0000304f: DUP6
00003050: SUB
00003051: SLT
00003052: ISZERO
00003053: PUSH2 0x2a30
00003056: JUMPI
00003057: PUSH1 0x00
00003059: DUP1
0000305a: REVERT
0000305b: JUMPDEST
0000305c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000307d: PUSH1 0x00
0000307f: MSTORE
00003080: PUSH1 0x21
00003082: PUSH1 0x04
00003084: MSTORE
00003085: PUSH1 0x24
00003087: PUSH1 0x00
00003089: REVERT
0000308a: JUMPDEST
0000308b: PUSH1 0x20
0000308d: DUP2
0000308e: ADD
0000308f: PUSH1 0x02
00003091: DUP4
00003092: LT
00003093: PUSH2 0x30c5
00003096: JUMPI
00003097: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000030b8: PUSH1 0x00
000030ba: MSTORE
000030bb: PUSH1 0x21
000030bd: PUSH1 0x04
000030bf: MSTORE
000030c0: PUSH1 0x24
000030c2: PUSH1 0x00
000030c4: REVERT
000030c5: JUMPDEST
000030c6: SWAP2
000030c7: SWAP1
000030c8: MSTORE
000030c9: SWAP1
000030ca: JUMP
000030cb: JUMPDEST
000030cc: PUSH1 0x00
000030ce: DUP1
000030cf: PUSH1 0x00
000030d1: PUSH1 0x60
000030d3: DUP5
000030d4: DUP7
000030d5: SUB
000030d6: SLT
000030d7: ISZERO
000030d8: PUSH2 0x30e0
000030db: JUMPI
000030dc: PUSH1 0x00
000030de: DUP1
000030df: REVERT
000030e0: JUMPDEST
000030e1: DUP4
000030e2: CALLDATALOAD
000030e3: SWAP3
000030e4: POP
000030e5: PUSH2 0x30f0
000030e8: PUSH1 0x20
000030ea: DUP6
000030eb: ADD
000030ec: PUSH2 0x2e0b
000030ef: JUMP
000030f0: JUMPDEST
000030f1: SWAP2
000030f2: POP
000030f3: PUSH2 0x30fe
000030f6: PUSH1 0x40
000030f8: DUP6
000030f9: ADD
000030fa: PUSH2 0x2e0b
000030fd: JUMP
000030fe: JUMPDEST
000030ff: SWAP1
00003100: POP
00003101: SWAP3
00003102: POP
00003103: SWAP3
00003104: POP
00003105: SWAP3
00003106: JUMP
00003107: JUMPDEST
00003108: PUSH1 0x00
0000310a: DUP1
0000310b: DUP4
0000310c: CALLDATALOAD
0000310d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
0000312e: DUP5
0000312f: CALLDATASIZE
00003130: SUB
00003131: ADD
00003132: DUP2
00003133: SLT
00003134: PUSH2 0x313c
00003137: JUMPI
00003138: PUSH1 0x00
0000313a: DUP1
0000313b: REVERT
0000313c: JUMPDEST
0000313d: DUP4
0000313e: ADD
0000313f: DUP1
00003140: CALLDATALOAD
00003141: SWAP2
00003142: POP
00003143: PUSH8 0xffffffffffffffff
0000314c: DUP3
0000314d: GT
0000314e: ISZERO
0000314f: PUSH2 0x3157
00003152: JUMPI
00003153: PUSH1 0x00
00003155: DUP1
00003156: REVERT
00003157: JUMPDEST
00003158: PUSH1 0x20
0000315a: ADD
0000315b: SWAP2
0000315c: POP
0000315d: PUSH1 0x06
0000315f: DUP2
00003160: SWAP1
00003161: SHL
00003162: CALLDATASIZE
00003163: SUB
00003164: DUP3
00003165: SGT
00003166: ISZERO
00003167: PUSH2 0x316f
0000316a: JUMPI
0000316b: PUSH1 0x00
0000316d: DUP1
0000316e: REVERT
0000316f: JUMPDEST
00003170: SWAP3
00003171: POP
00003172: SWAP3
00003173: SWAP1
00003174: POP
00003175: JUMP
00003176: JUMPDEST
00003177: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003198: PUSH1 0x00
0000319a: MSTORE
0000319b: PUSH1 0x32
0000319d: PUSH1 0x04
0000319f: MSTORE
000031a0: PUSH1 0x24
000031a2: PUSH1 0x00
000031a4: REVERT
000031a5: JUMPDEST
000031a6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000031c7: PUSH1 0x00
000031c9: MSTORE
000031ca: PUSH1 0x41
000031cc: PUSH1 0x04
000031ce: MSTORE
000031cf: PUSH1 0x24
000031d1: PUSH1 0x00
000031d3: REVERT
000031d4: JUMPDEST
000031d5: PUSH1 0x00
000031d7: PUSH1 0x40
000031d9: DUP3
000031da: DUP5
000031db: SUB
000031dc: SLT
000031dd: ISZERO
000031de: PUSH2 0x31e6
000031e1: JUMPI
000031e2: PUSH1 0x00
000031e4: DUP1
000031e5: REVERT
000031e6: JUMPDEST
000031e7: PUSH1 0x40
000031e9: MLOAD
000031ea: PUSH1 0x40
000031ec: DUP2
000031ed: ADD
000031ee: DUP2
000031ef: DUP2
000031f0: LT
000031f1: PUSH8 0xffffffffffffffff
000031fa: DUP3
000031fb: GT
000031fc: OR
000031fd: ISZERO
000031fe: PUSH2 0x3209
00003201: JUMPI
00003202: PUSH2 0x3209
00003205: PUSH2 0x31a5
00003208: JUMP
00003209: JUMPDEST
0000320a: PUSH1 0x40
0000320c: MSTORE
0000320d: PUSH2 0x3215
00003210: DUP4
00003211: PUSH2 0x2e0b
00003214: JUMP
00003215: JUMPDEST
00003216: DUP2
00003217: MSTORE
00003218: PUSH1 0x20
0000321a: DUP4
0000321b: ADD
0000321c: CALLDATALOAD
0000321d: PUSH1 0x20
0000321f: DUP3
00003220: ADD
00003221: MSTORE
00003222: DUP1
00003223: SWAP2
00003224: POP
00003225: POP
00003226: SWAP3
00003227: SWAP2
00003228: POP
00003229: POP
0000322a: JUMP
0000322b: JUMPDEST
0000322c: PUSH1 0x00
0000322e: PUSH1 0x20
00003230: DUP3
00003231: DUP5
00003232: SUB
00003233: SLT
00003234: ISZERO
00003235: PUSH2 0x323d
00003238: JUMPI
00003239: PUSH1 0x00
0000323b: DUP1
0000323c: REVERT
0000323d: JUMPDEST
0000323e: DUP2
0000323f: MLOAD
00003240: DUP1
00003241: ISZERO
00003242: ISZERO
00003243: DUP2
00003244: EQ
00003245: PUSH2 0x2a30
00003248: JUMPI
00003249: PUSH1 0x00
0000324b: DUP1
0000324c: REVERT
0000324d: JUMPDEST
0000324e: PUSH1 0x00
00003250: DUP1
00003251: DUP4
00003252: CALLDATALOAD
00003253: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00003274: DUP5
00003275: CALLDATASIZE
00003276: SUB
00003277: ADD
00003278: DUP2
00003279: SLT
0000327a: PUSH2 0x3282
0000327d: JUMPI
0000327e: PUSH1 0x00
00003280: DUP1
00003281: REVERT
00003282: JUMPDEST
00003283: DUP4
00003284: ADD
00003285: DUP1
00003286: CALLDATALOAD
00003287: SWAP2
00003288: POP
00003289: PUSH8 0xffffffffffffffff
00003292: DUP3
00003293: GT
00003294: ISZERO
00003295: PUSH2 0x329d
00003298: JUMPI
00003299: PUSH1 0x00
0000329b: DUP1
0000329c: REVERT
0000329d: JUMPDEST
0000329e: PUSH1 0x20
000032a0: ADD
000032a1: SWAP2
000032a2: POP
000032a3: CALLDATASIZE
000032a4: DUP2
000032a5: SWAP1
000032a6: SUB
000032a7: DUP3
000032a8: SGT
000032a9: ISZERO
000032aa: PUSH2 0x316f
000032ad: JUMPI
000032ae: PUSH1 0x00
000032b0: DUP1
000032b1: REVERT
000032b2: JUMPDEST
000032b3: PUSH1 0x01
000032b5: DUP2
000032b6: DUP2
000032b7: SHR
000032b8: SWAP1
000032b9: DUP3
000032ba: AND
000032bb: DUP1
000032bc: PUSH2 0x32c6
000032bf: JUMPI
000032c0: PUSH1 0x7f
000032c2: DUP3
000032c3: AND
000032c4: SWAP2
000032c5: POP
000032c6: JUMPDEST
000032c7: PUSH1 0x20
000032c9: DUP3
000032ca: LT
000032cb: DUP2
000032cc: SUB
000032cd: PUSH2 0x2e61
000032d0: JUMPI
000032d1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000032f2: PUSH1 0x00
000032f4: MSTORE
000032f5: PUSH1 0x22
000032f7: PUSH1 0x04
000032f9: MSTORE
000032fa: PUSH1 0x24
000032fc: PUSH1 0x00
000032fe: REVERT
000032ff: JUMPDEST
00003300: DUP2
00003301: MLOAD
00003302: PUSH1 0x00
00003304: SWAP1
00003305: DUP3
00003306: SWAP1
00003307: PUSH1 0x20
00003309: DUP1
0000330a: DUP7
0000330b: ADD
0000330c: DUP5
0000330d: JUMPDEST
0000330e: DUP4
0000330f: DUP2
00003310: LT
00003311: ISZERO
00003312: PUSH2 0x3329
00003315: JUMPI
00003316: DUP2
00003317: MLOAD
00003318: DUP6
00003319: MSTORE
0000331a: SWAP4
0000331b: DUP3
0000331c: ADD
0000331d: SWAP4
0000331e: SWAP1
0000331f: DUP3
00003320: ADD
00003321: SWAP1
00003322: PUSH1 0x01
00003324: ADD
00003325: PUSH2 0x330d
00003328: JUMP
00003329: JUMPDEST
0000332a: POP
0000332b: SWAP3
0000332c: SWAP7
0000332d: SWAP6
0000332e: POP
0000332f: POP
00003330: POP
00003331: POP
00003332: POP
00003333: POP
00003334: JUMP
00003335: JUMPDEST
00003336: PUSH1 0x1f
00003338: DUP3
00003339: GT
0000333a: ISZERO
0000333b: PUSH2 0x1630
0000333e: JUMPI
0000333f: PUSH1 0x00
00003341: DUP2
00003342: PUSH1 0x00
00003344: MSTORE
00003345: PUSH1 0x20
00003347: PUSH1 0x00
00003349: KECCAK256
0000334a: PUSH1 0x1f
0000334c: DUP6
0000334d: ADD
0000334e: PUSH1 0x05
00003350: SHR
00003351: DUP2
00003352: ADD
00003353: PUSH1 0x20
00003355: DUP7
00003356: LT
00003357: ISZERO
00003358: PUSH2 0x335e
0000335b: JUMPI
0000335c: POP
0000335d: DUP1
0000335e: JUMPDEST
0000335f: PUSH1 0x1f
00003361: DUP6
00003362: ADD
00003363: PUSH1 0x05
00003365: SHR
00003366: DUP3
00003367: ADD
00003368: SWAP2
00003369: POP
0000336a: JUMPDEST
0000336b: DUP2
0000336c: DUP2
0000336d: LT
0000336e: ISZERO
0000336f: PUSH2 0x337d
00003372: JUMPI
00003373: DUP3
00003374: DUP2
00003375: SSTORE
00003376: PUSH1 0x01
00003378: ADD
00003379: PUSH2 0x336a
0000337c: JUMP
0000337d: JUMPDEST
0000337e: POP
0000337f: POP
00003380: POP
00003381: POP
00003382: POP
00003383: POP
00003384: JUMP
00003385: JUMPDEST
00003386: DUP2
00003387: MLOAD
00003388: PUSH8 0xffffffffffffffff
00003391: DUP2
00003392: GT
00003393: ISZERO
00003394: PUSH2 0x339f
00003397: JUMPI
00003398: PUSH2 0x339f
0000339b: PUSH2 0x31a5
0000339e: JUMP
0000339f: JUMPDEST
000033a0: PUSH2 0x33b3
000033a3: DUP2
000033a4: PUSH2 0x33ad
000033a7: DUP5
000033a8: SLOAD
000033a9: PUSH2 0x32b2
000033ac: JUMP
000033ad: JUMPDEST
000033ae: DUP5
000033af: PUSH2 0x3335
000033b2: JUMP
000033b3: JUMPDEST
000033b4: PUSH1 0x20
000033b6: DUP1
000033b7: PUSH1 0x1f
000033b9: DUP4
000033ba: GT
000033bb: PUSH1 0x01
000033bd: DUP2
000033be: EQ
000033bf: PUSH2 0x3406
000033c2: JUMPI
000033c3: PUSH1 0x00
000033c5: DUP5
000033c6: ISZERO
000033c7: PUSH2 0x33d0
000033ca: JUMPI
000033cb: POP
000033cc: DUP6
000033cd: DUP4
000033ce: ADD
000033cf: MLOAD
000033d0: JUMPDEST
000033d1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000033f2: PUSH1 0x03
000033f4: DUP7
000033f5: SWAP1
000033f6: SHL
000033f7: SHR
000033f8: NOT
000033f9: AND
000033fa: PUSH1 0x01
000033fc: DUP6
000033fd: SWAP1
000033fe: SHL
000033ff: OR
00003400: DUP6
00003401: SSTORE
00003402: PUSH2 0x337d
00003405: JUMP
00003406: JUMPDEST
00003407: PUSH1 0x00
00003409: DUP6
0000340a: DUP2
0000340b: MSTORE
0000340c: PUSH1 0x20
0000340e: DUP2
0000340f: KECCAK256
00003410: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00003431: DUP7
00003432: AND
00003433: SWAP2
00003434: JUMPDEST
00003435: DUP3
00003436: DUP2
00003437: LT
00003438: ISZERO
00003439: PUSH2 0x3453
0000343c: JUMPI
0000343d: DUP9
0000343e: DUP7
0000343f: ADD
00003440: MLOAD
00003441: DUP3
00003442: SSTORE
00003443: SWAP5
00003444: DUP5
00003445: ADD
00003446: SWAP5
00003447: PUSH1 0x01
00003449: SWAP1
0000344a: SWAP2
0000344b: ADD
0000344c: SWAP1
0000344d: DUP5
0000344e: ADD
0000344f: PUSH2 0x3434
00003452: JUMP
00003453: JUMPDEST
00003454: POP
00003455: DUP6
00003456: DUP3
00003457: LT
00003458: ISZERO
00003459: PUSH2 0x348f
0000345c: JUMPI
0000345d: DUP8
0000345e: DUP6
0000345f: ADD
00003460: MLOAD
00003461: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003482: PUSH1 0x03
00003484: DUP9
00003485: SWAP1
00003486: SHL
00003487: PUSH1 0xf8
00003489: AND
0000348a: SHR
0000348b: NOT
0000348c: AND
0000348d: DUP2
0000348e: SSTORE
0000348f: JUMPDEST
00003490: POP
00003491: POP
00003492: POP
00003493: POP
00003494: POP
00003495: PUSH1 0x01
00003497: SWAP1
00003498: DUP2
00003499: SHL
0000349a: ADD
0000349b: SWAP1
0000349c: SSTORE
0000349d: POP
0000349e: JUMP
0000349f: JUMPDEST
000034a0: PUSH1 0x00
000034a2: DUP3
000034a3: MLOAD
000034a4: PUSH2 0x34b1
000034a7: DUP2
000034a8: DUP5
000034a9: PUSH1 0x20
000034ab: DUP8
000034ac: ADD
000034ad: PUSH2 0x2ef0
000034b0: JUMP
000034b1: JUMPDEST
000034b2: SWAP2
000034b3: SWAP1
000034b4: SWAP2
000034b5: ADD
000034b6: SWAP3
000034b7: SWAP2
000034b8: POP
000034b9: POP
000034ba: JUMP
000034bb: INVALID
000034bc: LOG2
000034bd: PUSH5 0x6970667358
000034c3: UNKNOWN(0x22)
000034c4: SLT
000034c5: KECCAK256
000034c6: STATICCALL
000034c7: MSIZE
000034c8: UNKNOWN(0xFC)
000034c9: UNKNOWN(0xC7)
000034ca: SAR
000034cb: UNKNOWN(0xCA)
000034cc: SIGNEXTEND
000034cd: DELEGATECALL
000034ce: MUL
000034cf: SWAP3
000034d0: UNKNOWN(0xD2)
000034d1: UNKNOWN(0xB6)
000034d2: EQ
000034d3: UNKNOWN(0xA8)
000034d4: SWAP4
000034d5: UNKNOWN(0xC4)
000034d6: UNKNOWN(0xF6)
000034d7: UNKNOWN(0x2C)
000034d8: RETURN
000034d9: MLOAD
000034da: CALLDATALOAD
000034db: UNKNOWN(0xAA)
000034dc: PUSH10 0x3e05a7c28a837685ef64
000034e7: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x9c5dc0b6709ea21482f2be2826d164fd97600effd398290d55172c7e007dd0f1
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x9c5dc0b6709ea21482f2be2826d164fd97600effd398290d55172c7e007dd0f1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xc617b667",
            "selector": "0xc617b667",
            "calldata_variants": [
                "0xc617b667",
                "0xc617b6670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1db4763",
            "selector": "0xf1db4763",
            "calldata_variants": [
                "0xf1db4763",
                "0xf1db47630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb460af94",
            "selector": "0xb460af94",
            "calldata_variants": [
                "0xb460af94",
                "0xb460af940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb695c935",
            "selector": "0xb695c935",
            "calldata_variants": [
                "0xb695c935",
                "0xb695c9350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84b0196e",
            "selector": "0x84b0196e",
            "calldata_variants": [
                "0x84b0196e",
                "0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x863d51c9",
            "selector": "0x863d51c9",
            "calldata_variants": [
                "0x863d51c9",
                "0x863d51c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 13517,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other codex Computed DELEGATECALL target reachable (possible arbitrary code execution) 85 no
view
evidence_json
{
    "evidence": "Detector flagged 1 DELEGATECALL with target_expression_category=\"computed\" and no guards detected; pc 13517 (0x34cd).",
    "locations": [
        "pc:0x34cd"
    ],
    "recommendation": "Ensure the delegatecall target is fixed to a trusted library/implementation or gated by strict access control and allowlisting; avoid delegatecall to user-controlled addresses.",
    "exploit_scenario": "If an attacker can influence the delegatecall target (via calldata or modifiable storage), they can execute arbitrary code in the caller's context, overwrite storage (including ownership/asset accounting), and drain funds."
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x9005188ec3a8e0ddda68b80390bb520f00290b3ddba22d49565bd4b529ab86a0
call_targets: 0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9005188ec3a8e0ddda68b80390bb520f00290b3ddba22d49565bd4b529ab86a0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3"
    ],
    "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": "0xc617b667",
            "selector": "0xc617b667",
            "calldata_variants": [
                "0xc617b667",
                "0xc617b6670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1db4763",
            "selector": "0xf1db4763",
            "calldata_variants": [
                "0xf1db4763",
                "0xf1db47630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb460af94",
            "selector": "0xb460af94",
            "calldata_variants": [
                "0xb460af94",
                "0xb460af940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb695c935",
            "selector": "0xb695c935",
            "calldata_variants": [
                "0xb695c935",
                "0xb695c9350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84b0196e",
            "selector": "0x84b0196e",
            "calldata_variants": [
                "0x84b0196e",
                "0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x863d51c9",
            "selector": "0x863d51c9",
            "calldata_variants": [
                "0x863d51c9",
                "0x863d51c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4442,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5276,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6520,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x9005188ec3a8e0ddda68b80390bb520f00290b3ddba22d49565bd4b529ab86a0
call_targets: 0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9005188ec3a8e0ddda68b80390bb520f00290b3ddba22d49565bd4b529ab86a0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3"
    ],
    "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": "0xc617b667",
            "selector": "0xc617b667",
            "calldata_variants": [
                "0xc617b667",
                "0xc617b6670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1db4763",
            "selector": "0xf1db4763",
            "calldata_variants": [
                "0xf1db4763",
                "0xf1db47630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb460af94",
            "selector": "0xb460af94",
            "calldata_variants": [
                "0xb460af94",
                "0xb460af940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb695c935",
            "selector": "0xb695c935",
            "calldata_variants": [
                "0xb695c935",
                "0xb695c9350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84b0196e",
            "selector": "0x84b0196e",
            "calldata_variants": [
                "0x84b0196e",
                "0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x863d51c9",
            "selector": "0x863d51c9",
            "calldata_variants": [
                "0x863d51c9",
                "0x863d51c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4442,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5276,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6520,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}
medium reentrancy codex Value-bearing external CALLs to computed targets without detected guard 75 no
view
evidence_json
{
    "evidence": "Detectors show 4 CALL sites with target/value computed and no guards detected; eth_value_calls=4 at pc 4442 (0x115a), 5276 (0x149c), 6520 (0x1978), 11289 (0x2c19).",
    "locations": [
        "pc:0x115a",
        "pc:0x149c",
        "pc:0x1978",
        "pc:0x2c19"
    ],
    "recommendation": "Review each value-bearing CALL to confirm checks-effects-interactions ordering and/or add a reentrancy guard on external-call paths; restrict external call targets where possible.",
    "exploit_scenario": "If these CALLs send ETH or invoke user-supplied contracts before state is fully updated, a malicious callee can reenter and trigger duplicate processing (e.g., double-withdraw/refund) or manipulate order state. Bytecode-only view cannot confirm call ordering or guards."
}
medium upgradeability cast DELEGATECALL present 80 no
view
evidence_json
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}