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

Analysis Run

019bb2d5-fda3-7027-b59f-9717a250f31d

complete
Chain ID
1
Address
Block Number
Created
Mon, Jan 12, 2026 3:32 PM
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
Authorization based on tx.origin
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
39657 artifact.fetch complete 1 / 3 3 months ago
39658 proxy.resolve complete 1 / 3 3 months ago
39659 tool.cast_disasm complete 1 / 3 3 months ago
39660 analysis.bundle complete 1 / 3 3 months ago
39661 capability.graph complete 1 / 3 3 months ago
39662 detector.run complete 1 / 3 3 months ago
39663 validation.fork complete 1 / 3 3 months ago
39748 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 analysis indicates a tx.origin-based guard and three low-level CALL sites with computed target/value (return-data checking not shown); no delegatecall/proxy pattern is detected in the bundle.
View stdout
{"no_findings":false,"summary":"Bytecode analysis indicates a tx.origin-based guard and three low-level CALL sites with computed target/value (return-data checking not shown); no delegatecall/proxy pattern is detected in the bundle.","findings":[{"severity":"medium","category":"auth","title":"tx.origin used in authorization guard (heuristic)","exploit_scenario":"If a protected path relies on tx.origin for authorization, a malicious contract can trick the owner/privileged EOA into initiating a call, causing tx.origin to match while msg.sender is the attacker’s contract. This enables unauthorized actions or breaks multisig/contract-based admin flows. The guard detection is heuristic and not mapped to a specific sink, so impact depends on the guarded function.","recommendation":"Replace tx.origin checks with msg.sender-based access control (e.g., Ownable/roles). If EOA-only behavior is required, explicitly document the restriction and consider safer patterns (allowlist, EIP-1271 for contract admins).","evidence":"analysis_artifact.auth.guards and detector_findings[0] report tx_origin_used at pc 14751; validation status indicates no sink mapping, so the exact gated action is uncertain.","locations":["pc:14751"]},{"severity":"low","category":"other","title":"External CALLs with computed target/value; reentrancy/unchecked-call uncertainty","exploit_scenario":"If these CALL sites are reachable with user-controlled target/value, they may allow reentrancy or unintended ETH transfers depending on state-update order and validation. The analysis marks target/value as computed and cannot confirm return-data checks; a trace reported a constant target (self), so actual risk depends on runtime data flows.","recommendation":"Confirm whether the CALL targets/values are user-controlled. If so, apply checks-effects-interactions, add a reentrancy guard on stateful paths, and validate target/amounts. Ensure low-level call return values are checked when calling tokens/externals.","evidence":"detector_findings[1] and [2] list CALL sites at pc 6609/8489/13883 with computed target/value and returndata_checked=null; validation_json notes a constant target in one trace but not confirmed globally.","locations":["pc:6609","pc:8489","pc:13883"]}]}
View stderr
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-magfdq3d
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb308-3670-78f1-ac4b-97281d4eee44
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

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

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

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

thinking
**Reading BYTECODE_BUNDLE.json file**
exec
/bin/bash -lc ls in /tmp/codex-magfdq3d succeeded in 8ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-magfdq3d succeeded in 12ms:
{
  "analysis_artifact": {
    "address": "0x3ee764c95e9d2264de3717a4cb45bcd3c5f00035",
    "artifact_hash": "0x26fdd991c791a439e2ff7fcd733fc2e2ab0d34145eb1e2e7dc2b6a7c5f686fd0",
    "artifact_json": {
      "auth": {
        "guards": [
          {
            "pc": 14751,
            "type": "tx_origin_used"
          }
        ]
      },
      "basic_blocks": [
        {
          "end_pc": 12,
          "hash": "0x453ac52bf573a84b603c245ed3ef9144d54e6604d599690569b3c5be0bbc00cf",
          "opcodes": [
            "PUSH1",
            "PUSH1",

thinking
**Analyzing bytecode and call targets**
exec
/bin/bash -lc 'rg -n "proxy|eip-1967|beacon|implementation|delegatecall|DELEGATECALL|call:|CALL" BYTECODE_BUNDLE.json' in /tmp/codex-magfdq3d succeeded in 34ms:
23:            "CALLDATASIZE",
35:            "CALLDATALOAD",
250:            "CALLVALUE",
277:            "CALLDATASIZE",
308:            "CALLDATALOAD",
366:            "CALLDATALOAD",
438:            "CALLDATACOPY",
469:            "CALLDATALOAD",
527:            "CALLDATALOAD",
599:            "CALLDATACOPY",
630:            "CALLDATALOAD",
683:            "CALLVALUE",
710:            "CALLDATASIZE",
741:            "CALLDATALOAD",
752:            "CALLDATALOAD",
763:            "CALLDATALOAD",
821:            "CALLDATALOAD",
893:            "CALLDATACOPY",
966:            "CALLVALUE",
993:            "CALLDATASIZE",

thinking
**Preparing to parse proxy evidence section**
exec
/bin/bash -lc "sed -n '16480,16560p' BYTECODE_BUNDLE.json" in /tmp/codex-magfdq3d succeeded in 10ms:
          {
            "op": "SSTORE",
            "pc": 14726,
            "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
          }
        ],
        "writes": 7
      },
      "version": "analysis_artifact_v1"
    },
    "block_number": null,
    "chain_id": 1,
    "codehash": "0xa710103edbfd3001e47ac551d6b84cf1ead53b195b356896f17fba587cbd196a",
    "created_at": "2026-01-12T15:32:44.000000Z",
    "id": 1033,
    "updated_at": "2026-01-12T15:32:44.000000Z",
    "version": "analysis_artifact_v1"
  },
  "analysis_run": {
    "address": "0x3ee764c95e9d2264de3717a4cb45bcd3c5f00035",

thinking
**Analyzing runtime bytecode for ownership and security risks**

I’m examining the bytecode and strings that suggest an Ownable contract with cross-chain locking functionality, likely related to PolyNetwork. I see tx.origin used for authorization, which can pose phishing risks, so I want to verify evidence around program counter 14751 to confirm this use. I’m also looking into external calls to token addresses for potential reentrancy but can’t conclusively find problematic patterns without deeper inspection of callsites around PCs like 6609. I’ll focus on parsing evidence for tx.origin usage and external call details to cautiously assess risks.
exec
/bin/bash -lc "rg -n \"\\\"pc\\\": 6609|call:6609\" BYTECODE_BUNDLE.json" in /tmp/codex-magfdq3d succeeded in 7ms:
12188:          "pc": 6609,
19383:          "to": "call:6609",
19387:          "from": "call:6609",
23075:          "id": "call:6609",
23077:          "pc": 6609,
23220:            "pc": 6609,
23277:            "pc": 6609,

thinking
**Inspecting callsite details**
exec
/bin/bash -lc "sed -n '23180,23240p' BYTECODE_BUNDLE.json" in /tmp/codex-magfdq3d succeeded in 6ms:
          "id": "fn:0x715018a6",
          "selector": "0x715018a6",
          "type": "function"
        }
      ],
      "version": "capability_graph_v1"
    },
    "id": 1033,
    "updated_at": "2026-01-12T15:32:44.000000Z",
    "version": "capability_graph_v1"
  },
  "detector_findings": [
    {
      "confidence": 70,
      "evidence_json": {
        "guards_detected": [
          {
            "pc": 14751,
            "type": "tx_origin_used"
          }

thinking
**Analyzing contract storage and authorization checks**
exec
/bin/bash -lc 'rg -n "tx_origin" BYTECODE_BUNDLE.json' in /tmp/codex-magfdq3d succeeded in 10ms:
10:            "type": "tx_origin_used"
15029:                "type": "tx_origin_used"
15133:                "type": "tx_origin_used"
15237:                "type": "tx_origin_used"
15341:                "type": "tx_origin_used"
15445:                "type": "tx_origin_used"
15549:                "type": "tx_origin_used"
15653:                "type": "tx_origin_used"
15757:                "type": "tx_origin_used"
15861:                "type": "tx_origin_used"
15965:                "type": "tx_origin_used"
16069:                "type": "tx_origin_used"
16173:                "type": "tx_origin_used"
16277:                "type": "tx_origin_used"
23198:            "type": "tx_origin_used"
23243:            "type": "tx_origin_used"
23300:            "type": "tx_origin_used"

thinking
**Investigating tx_origin occurrences**
exec
/bin/bash -lc "sed -n '14980,15060p' BYTECODE_BUNDLE.json" in /tmp/codex-magfdq3d succeeded in 7ms:
          "selector": "0xd798f881"
        },
        {
          "entry_pc": null,
          "selector": "0xf2fde38b"
        },
        {
          "entry_pc": 2376452955,
          "selector": "0x84a6d055"
        },
        {
          "entry_pc": 2402473371,
          "selector": "0x8da5cb5b"
        },
        {
          "entry_pc": null,
          "selector": "0x8f32d59b"
        },
        {
          "entry_pc": 860419643,

thinking
**Inspecting functions array for tx.origin usage**
exec
/bin/bash -lc "sed -n '15060,15180p' BYTECODE_BUNDLE.json" in /tmp/codex-magfdq3d succeeded in 9ms:
                "op": "SLOAD",
                "pc": 4931,
                "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
              },
              {
                "op": "SLOAD",
                "pc": 5501,
                "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
              },
              {
                "op": "SLOAD",
                "pc": 5743,
                "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
              },
              {
                "op": "SLOAD",
                "pc": 6044,
                "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
              },
              {

thinking
**Analyzing auth and external calls in bytecode**

I'm examining use of tx.origin for authorization and external call patterns, weighing detector severity against uncertainty. I'm also investigating evidence around external cross-chain manager calls in the bytecode for security-relevant usage.
exec
/bin/bash -lc 'rg -n "EthCrossChain|lock_proxy|unlock|Lock" BYTECODE_BUNDLE.json' in /tmp/codex-magfdq3d exited 1 in 30ms:


thinking
**Summarizing bytecode analysis findings**

I’m sorting through runtime bytecode and hex-encoded ASCII to clarify findings around use of tx.origin for authorization, untrusted external calls with value, and absence of proxy or delegatecall risks. I’m carefully assembling a JSON report with two main findings—medium-severity auth risk from tx.origin and low-severity reentrancy/unchecked call exposure—being cautious about uncertainties in external call targets and return-data checks.
codex
{"no_findings":false,"summary":"Bytecode analysis indicates a tx.origin-based guard and three low-level CALL sites with computed target/value (return-data checking not shown); no delegatecall/proxy pattern is detected in the bundle.","findings":[{"severity":"medium","category":"auth","title":"tx.origin used in authorization guard (heuristic)","exploit_scenario":"If a protected path relies on tx.origin for authorization, a malicious contract can trick the owner/privileged EOA into initiating a call, causing tx.origin to match while msg.sender is the attacker’s contract. This enables unauthorized actions or breaks multisig/contract-based admin flows. The guard detection is heuristic and not mapped to a specific sink, so impact depends on the guarded function.","recommendation":"Replace tx.origin checks with msg.sender-based access control (e.g., Ownable/roles). If EOA-only behavior is required, explicitly document the restriction and consider safer patterns (allowlist, EIP-1271 for contract admins).","evidence":"analysis_artifact.auth.guards and detector_findings[0] report tx_origin_used at pc 14751; validation status indicates no sink mapping, so the exact gated action is uncertain.","locations":["pc:14751"]},{"severity":"low","category":"other","title":"External CALLs with computed target/value; reentrancy/unchecked-call uncertainty","exploit_scenario":"If these CALL sites are reachable with user-controlled target/value, they may allow reentrancy or unintended ETH transfers depending on state-update order and validation. The analysis marks target/value as computed and cannot confirm return-data checks; a trace reported a constant target (self), so actual risk depends on runtime data flows.","recommendation":"Confirm whether the CALL targets/values are user-controlled. If so, apply checks-effects-interactions, add a reentrancy guard on stateful paths, and validate target/amounts. Ensure low-level call return values are checked when calling tokens/externals.","evidence":"detector_findings[1] and [2] list CALL sites at pc 6609/8489/13883 with computed target/value and returndata_checked=null; validation_json notes a constant target in one trace but not confirmed globally.","locations":["pc:6609","pc:8489","pc:13883"]}]}
tokens used
37,329
Metadata
{
    "codex": {
        "ran_at": "2026-01-12T16:28:55.267628+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 31202,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode analysis indicates a tx.origin-based guard and three low-level CALL sites with computed target/value (return-data checking not shown); no delegatecall/proxy pattern is detected in the bundle.",
    "raw_final": {
        "summary": "Bytecode analysis indicates a tx.origin-based guard and three low-level CALL sites with computed target/value (return-data checking not shown); no delegatecall/proxy pattern is detected in the bundle.",
        "findings": [
            {
                "title": "tx.origin used in authorization guard (heuristic)",
                "category": "auth",
                "evidence": "analysis_artifact.auth.guards and detector_findings[0] report tx_origin_used at pc 14751; validation status indicates no sink mapping, so the exact gated action is uncertain.",
                "severity": "medium",
                "locations": [
                    "pc:14751"
                ],
                "recommendation": "Replace tx.origin checks with msg.sender-based access control (e.g., Ownable/roles). If EOA-only behavior is required, explicitly document the restriction and consider safer patterns (allowlist, EIP-1271 for contract admins).",
                "exploit_scenario": "If a protected path relies on tx.origin for authorization, a malicious contract can trick the owner/privileged EOA into initiating a call, causing tx.origin to match while msg.sender is the attacker\u2019s contract. This enables unauthorized actions or breaks multisig/contract-based admin flows. The guard detection is heuristic and not mapped to a specific sink, so impact depends on the guarded function."
            },
            {
                "title": "External CALLs with computed target/value; reentrancy/unchecked-call uncertainty",
                "category": "other",
                "evidence": "detector_findings[1] and [2] list CALL sites at pc 6609/8489/13883 with computed target/value and returndata_checked=null; validation_json notes a constant target in one trace but not confirmed globally.",
                "severity": "low",
                "locations": [
                    "pc:6609",
                    "pc:8489",
                    "pc:13883"
                ],
                "recommendation": "Confirm whether the CALL targets/values are user-controlled. If so, apply checks-effects-interactions, add a reentrancy guard on stateful paths, and validate target/amounts. Ensure low-level call return values are checked when calling tokens/externals.",
                "exploit_scenario": "If these CALL sites are reachable with user-controlled target/value, they may allow reentrancy or unintended ETH transfers depending on state-update order and validation. The analysis marks target/value as computed and cannot confirm return-data checks; a trace reported a constant target (self), so actual risk depends on runtime data flows."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
7
Total opcodes
8515
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00c2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x84a6d055
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9e5767aa
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x9e5767aa
0000002f: EQ
00000030: PUSH2 0x074b
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xaf9980f0
0000003a: EQ
0000003b: PUSH2 0x0809
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd798f881
00000045: EQ
00000046: PUSH2 0x085a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x08b1
00000054: JUMPI
00000055: PUSH2 0x00c2
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x84a6d055
00000060: EQ
00000061: PUSH2 0x05b4
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x8da5cb5b
0000006b: EQ
0000006c: PUSH2 0x06c5
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8f32d59b
00000076: EQ
00000077: PUSH2 0x071c
0000007a: JUMPI
0000007b: PUSH2 0x00c2
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x06af4b9f
00000086: EQ
00000087: PUSH2 0x00c7
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x3348f63b
00000091: EQ
00000092: PUSH2 0x0252
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x379b98f6
0000009c: EQ
0000009d: PUSH2 0x0366
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x4f7d9808
000000a7: EQ
000000a8: PUSH2 0x045a
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x59c589a1
000000b2: EQ
000000b3: PUSH2 0x0538
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x715018a6
000000bd: EQ
000000be: PUSH2 0x059d
000000c1: JUMPI
000000c2: JUMPDEST
000000c3: PUSH1 0x00
000000c5: DUP1
000000c6: REVERT
000000c7: JUMPDEST
000000c8: CALLVALUE
000000c9: DUP1
000000ca: ISZERO
000000cb: PUSH2 0x00d3
000000ce: JUMPI
000000cf: PUSH1 0x00
000000d1: DUP1
000000d2: REVERT
000000d3: JUMPDEST
000000d4: POP
000000d5: PUSH2 0x0238
000000d8: PUSH1 0x04
000000da: DUP1
000000db: CALLDATASIZE
000000dc: SUB
000000dd: PUSH1 0x60
000000df: DUP2
000000e0: LT
000000e1: ISZERO
000000e2: PUSH2 0x00ea
000000e5: JUMPI
000000e6: PUSH1 0x00
000000e8: DUP1
000000e9: REVERT
000000ea: JUMPDEST
000000eb: DUP2
000000ec: ADD
000000ed: SWAP1
000000ee: DUP1
000000ef: DUP1
000000f0: CALLDATALOAD
000000f1: SWAP1
000000f2: PUSH1 0x20
000000f4: ADD
000000f5: SWAP1
000000f6: PUSH5 0x0100000000
000000fc: DUP2
000000fd: GT
000000fe: ISZERO
000000ff: PUSH2 0x0107
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP3
00000109: ADD
0000010a: DUP4
0000010b: PUSH1 0x20
0000010d: DUP3
0000010e: ADD
0000010f: GT
00000110: ISZERO
00000111: PUSH2 0x0119
00000114: JUMPI
00000115: PUSH1 0x00
00000117: DUP1
00000118: REVERT
00000119: JUMPDEST
0000011a: DUP1
0000011b: CALLDATALOAD
0000011c: SWAP1
0000011d: PUSH1 0x20
0000011f: ADD
00000120: SWAP2
00000121: DUP5
00000122: PUSH1 0x01
00000124: DUP4
00000125: MUL
00000126: DUP5
00000127: ADD
00000128: GT
00000129: PUSH5 0x0100000000
0000012f: DUP4
00000130: GT
00000131: OR
00000132: ISZERO
00000133: PUSH2 0x013b
00000136: JUMPI
00000137: PUSH1 0x00
00000139: DUP1
0000013a: REVERT
0000013b: JUMPDEST
0000013c: SWAP2
0000013d: SWAP1
0000013e: DUP1
0000013f: DUP1
00000140: PUSH1 0x1f
00000142: ADD
00000143: PUSH1 0x20
00000145: DUP1
00000146: SWAP2
00000147: DIV
00000148: MUL
00000149: PUSH1 0x20
0000014b: ADD
0000014c: PUSH1 0x40
0000014e: MLOAD
0000014f: SWAP1
00000150: DUP2
00000151: ADD
00000152: PUSH1 0x40
00000154: MSTORE
00000155: DUP1
00000156: SWAP4
00000157: SWAP3
00000158: SWAP2
00000159: SWAP1
0000015a: DUP2
0000015b: DUP2
0000015c: MSTORE
0000015d: PUSH1 0x20
0000015f: ADD
00000160: DUP4
00000161: DUP4
00000162: DUP1
00000163: DUP3
00000164: DUP5
00000165: CALLDATACOPY
00000166: PUSH1 0x00
00000168: DUP2
00000169: DUP5
0000016a: ADD
0000016b: MSTORE
0000016c: PUSH1 0x1f
0000016e: NOT
0000016f: PUSH1 0x1f
00000171: DUP3
00000172: ADD
00000173: AND
00000174: SWAP1
00000175: POP
00000176: DUP1
00000177: DUP4
00000178: ADD
00000179: SWAP3
0000017a: POP
0000017b: POP
0000017c: POP
0000017d: POP
0000017e: POP
0000017f: POP
00000180: POP
00000181: SWAP2
00000182: SWAP3
00000183: SWAP2
00000184: SWAP3
00000185: SWAP1
00000186: DUP1
00000187: CALLDATALOAD
00000188: SWAP1
00000189: PUSH1 0x20
0000018b: ADD
0000018c: SWAP1
0000018d: PUSH5 0x0100000000
00000193: DUP2
00000194: GT
00000195: ISZERO
00000196: PUSH2 0x019e
00000199: JUMPI
0000019a: PUSH1 0x00
0000019c: DUP1
0000019d: REVERT
0000019e: JUMPDEST
0000019f: DUP3
000001a0: ADD
000001a1: DUP4
000001a2: PUSH1 0x20
000001a4: DUP3
000001a5: ADD
000001a6: GT
000001a7: ISZERO
000001a8: PUSH2 0x01b0
000001ab: JUMPI
000001ac: PUSH1 0x00
000001ae: DUP1
000001af: REVERT
000001b0: JUMPDEST
000001b1: DUP1
000001b2: CALLDATALOAD
000001b3: SWAP1
000001b4: PUSH1 0x20
000001b6: ADD
000001b7: SWAP2
000001b8: DUP5
000001b9: PUSH1 0x01
000001bb: DUP4
000001bc: MUL
000001bd: DUP5
000001be: ADD
000001bf: GT
000001c0: PUSH5 0x0100000000
000001c6: DUP4
000001c7: GT
000001c8: OR
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: SWAP2
000001d4: SWAP1
000001d5: DUP1
000001d6: DUP1
000001d7: PUSH1 0x1f
000001d9: ADD
000001da: PUSH1 0x20
000001dc: DUP1
000001dd: SWAP2
000001de: DIV
000001df: MUL
000001e0: PUSH1 0x20
000001e2: ADD
000001e3: PUSH1 0x40
000001e5: MLOAD
000001e6: SWAP1
000001e7: DUP2
000001e8: ADD
000001e9: PUSH1 0x40
000001eb: MSTORE
000001ec: DUP1
000001ed: SWAP4
000001ee: SWAP3
000001ef: SWAP2
000001f0: SWAP1
000001f1: DUP2
000001f2: DUP2
000001f3: MSTORE
000001f4: PUSH1 0x20
000001f6: ADD
000001f7: DUP4
000001f8: DUP4
000001f9: DUP1
000001fa: DUP3
000001fb: DUP5
000001fc: CALLDATACOPY
000001fd: PUSH1 0x00
000001ff: DUP2
00000200: DUP5
00000201: ADD
00000202: MSTORE
00000203: PUSH1 0x1f
00000205: NOT
00000206: PUSH1 0x1f
00000208: DUP3
00000209: ADD
0000020a: AND
0000020b: SWAP1
0000020c: POP
0000020d: DUP1
0000020e: DUP4
0000020f: ADD
00000210: SWAP3
00000211: POP
00000212: POP
00000213: POP
00000214: POP
00000215: POP
00000216: POP
00000217: POP
00000218: SWAP2
00000219: SWAP3
0000021a: SWAP2
0000021b: SWAP3
0000021c: SWAP1
0000021d: DUP1
0000021e: CALLDATALOAD
0000021f: PUSH8 0xffffffffffffffff
00000228: AND
00000229: SWAP1
0000022a: PUSH1 0x20
0000022c: ADD
0000022d: SWAP1
0000022e: SWAP3
0000022f: SWAP2
00000230: SWAP1
00000231: POP
00000232: POP
00000233: POP
00000234: PUSH2 0x0902
00000237: JUMP
00000238: JUMPDEST
00000239: PUSH1 0x40
0000023b: MLOAD
0000023c: DUP1
0000023d: DUP3
0000023e: ISZERO
0000023f: ISZERO
00000240: ISZERO
00000241: ISZERO
00000242: DUP2
00000243: MSTORE
00000244: PUSH1 0x20
00000246: ADD
00000247: SWAP2
00000248: POP
00000249: POP
0000024a: PUSH1 0x40
0000024c: MLOAD
0000024d: DUP1
0000024e: SWAP2
0000024f: SUB
00000250: SWAP1
00000251: RETURN
00000252: JUMPDEST
00000253: CALLVALUE
00000254: DUP1
00000255: ISZERO
00000256: PUSH2 0x025e
00000259: JUMPI
0000025a: PUSH1 0x00
0000025c: DUP1
0000025d: REVERT
0000025e: JUMPDEST
0000025f: POP
00000260: PUSH2 0x034c
00000263: PUSH1 0x04
00000265: DUP1
00000266: CALLDATASIZE
00000267: SUB
00000268: PUSH1 0x60
0000026a: DUP2
0000026b: LT
0000026c: ISZERO
0000026d: PUSH2 0x0275
00000270: JUMPI
00000271: PUSH1 0x00
00000273: DUP1
00000274: REVERT
00000275: JUMPDEST
00000276: DUP2
00000277: ADD
00000278: SWAP1
00000279: DUP1
0000027a: DUP1
0000027b: CALLDATALOAD
0000027c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000291: AND
00000292: SWAP1
00000293: PUSH1 0x20
00000295: ADD
00000296: SWAP1
00000297: SWAP3
00000298: SWAP2
00000299: SWAP1
0000029a: DUP1
0000029b: CALLDATALOAD
0000029c: PUSH8 0xffffffffffffffff
000002a5: AND
000002a6: SWAP1
000002a7: PUSH1 0x20
000002a9: ADD
000002aa: SWAP1
000002ab: SWAP3
000002ac: SWAP2
000002ad: SWAP1
000002ae: DUP1
000002af: CALLDATALOAD
000002b0: SWAP1
000002b1: PUSH1 0x20
000002b3: ADD
000002b4: SWAP1
000002b5: PUSH5 0x0100000000
000002bb: DUP2
000002bc: GT
000002bd: ISZERO
000002be: PUSH2 0x02c6
000002c1: JUMPI
000002c2: PUSH1 0x00
000002c4: DUP1
000002c5: REVERT
000002c6: JUMPDEST
000002c7: DUP3
000002c8: ADD
000002c9: DUP4
000002ca: PUSH1 0x20
000002cc: DUP3
000002cd: ADD
000002ce: GT
000002cf: ISZERO
000002d0: PUSH2 0x02d8
000002d3: JUMPI
000002d4: PUSH1 0x00
000002d6: DUP1
000002d7: REVERT
000002d8: JUMPDEST
000002d9: DUP1
000002da: CALLDATALOAD
000002db: SWAP1
000002dc: PUSH1 0x20
000002de: ADD
000002df: SWAP2
000002e0: DUP5
000002e1: PUSH1 0x01
000002e3: DUP4
000002e4: MUL
000002e5: DUP5
000002e6: ADD
000002e7: GT
000002e8: PUSH5 0x0100000000
000002ee: DUP4
000002ef: GT
000002f0: OR
000002f1: ISZERO
000002f2: PUSH2 0x02fa
000002f5: JUMPI
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: REVERT
000002fa: JUMPDEST
000002fb: SWAP2
000002fc: SWAP1
000002fd: DUP1
000002fe: DUP1
000002ff: PUSH1 0x1f
00000301: ADD
00000302: PUSH1 0x20
00000304: DUP1
00000305: SWAP2
00000306: DIV
00000307: MUL
00000308: PUSH1 0x20
0000030a: ADD
0000030b: PUSH1 0x40
0000030d: MLOAD
0000030e: SWAP1
0000030f: DUP2
00000310: ADD
00000311: PUSH1 0x40
00000313: MSTORE
00000314: DUP1
00000315: SWAP4
00000316: SWAP3
00000317: SWAP2
00000318: SWAP1
00000319: DUP2
0000031a: DUP2
0000031b: MSTORE
0000031c: PUSH1 0x20
0000031e: ADD
0000031f: DUP4
00000320: DUP4
00000321: DUP1
00000322: DUP3
00000323: DUP5
00000324: CALLDATACOPY
00000325: PUSH1 0x00
00000327: DUP2
00000328: DUP5
00000329: ADD
0000032a: MSTORE
0000032b: PUSH1 0x1f
0000032d: NOT
0000032e: PUSH1 0x1f
00000330: DUP3
00000331: ADD
00000332: AND
00000333: SWAP1
00000334: POP
00000335: DUP1
00000336: DUP4
00000337: ADD
00000338: SWAP3
00000339: POP
0000033a: POP
0000033b: POP
0000033c: POP
0000033d: POP
0000033e: POP
0000033f: POP
00000340: SWAP2
00000341: SWAP3
00000342: SWAP2
00000343: SWAP3
00000344: SWAP1
00000345: POP
00000346: POP
00000347: POP
00000348: PUSH2 0x0d58
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH1 0x40
0000034f: MLOAD
00000350: DUP1
00000351: DUP3
00000352: ISZERO
00000353: ISZERO
00000354: ISZERO
00000355: ISZERO
00000356: DUP2
00000357: MSTORE
00000358: PUSH1 0x20
0000035a: ADD
0000035b: SWAP2
0000035c: POP
0000035d: POP
0000035e: PUSH1 0x40
00000360: MLOAD
00000361: DUP1
00000362: SWAP2
00000363: SUB
00000364: SWAP1
00000365: RETURN
00000366: JUMPDEST
00000367: CALLVALUE
00000368: DUP1
00000369: ISZERO
0000036a: PUSH2 0x0372
0000036d: JUMPI
0000036e: PUSH1 0x00
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x0440
00000377: PUSH1 0x04
00000379: DUP1
0000037a: CALLDATASIZE
0000037b: SUB
0000037c: PUSH1 0x40
0000037e: DUP2
0000037f: LT
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: DUP2
0000038b: ADD
0000038c: SWAP1
0000038d: DUP1
0000038e: DUP1
0000038f: CALLDATALOAD
00000390: PUSH8 0xffffffffffffffff
00000399: AND
0000039a: SWAP1
0000039b: PUSH1 0x20
0000039d: ADD
0000039e: SWAP1
0000039f: SWAP3
000003a0: SWAP2
000003a1: SWAP1
000003a2: DUP1
000003a3: CALLDATALOAD
000003a4: SWAP1
000003a5: PUSH1 0x20
000003a7: ADD
000003a8: SWAP1
000003a9: PUSH5 0x0100000000
000003af: DUP2
000003b0: GT
000003b1: ISZERO
000003b2: PUSH2 0x03ba
000003b5: JUMPI
000003b6: PUSH1 0x00
000003b8: DUP1
000003b9: REVERT
000003ba: JUMPDEST
000003bb: DUP3
000003bc: ADD
000003bd: DUP4
000003be: PUSH1 0x20
000003c0: DUP3
000003c1: ADD
000003c2: GT
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: DUP1
000003ce: CALLDATALOAD
000003cf: SWAP1
000003d0: PUSH1 0x20
000003d2: ADD
000003d3: SWAP2
000003d4: DUP5
000003d5: PUSH1 0x01
000003d7: DUP4
000003d8: MUL
000003d9: DUP5
000003da: ADD
000003db: GT
000003dc: PUSH5 0x0100000000
000003e2: DUP4
000003e3: GT
000003e4: OR
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: SWAP2
000003f0: SWAP1
000003f1: DUP1
000003f2: DUP1
000003f3: PUSH1 0x1f
000003f5: ADD
000003f6: PUSH1 0x20
000003f8: DUP1
000003f9: SWAP2
000003fa: DIV
000003fb: MUL
000003fc: PUSH1 0x20
000003fe: ADD
000003ff: PUSH1 0x40
00000401: MLOAD
00000402: SWAP1
00000403: DUP2
00000404: ADD
00000405: PUSH1 0x40
00000407: MSTORE
00000408: DUP1
00000409: SWAP4
0000040a: SWAP3
0000040b: SWAP2
0000040c: SWAP1
0000040d: DUP2
0000040e: DUP2
0000040f: MSTORE
00000410: PUSH1 0x20
00000412: ADD
00000413: DUP4
00000414: DUP4
00000415: DUP1
00000416: DUP3
00000417: DUP5
00000418: CALLDATACOPY
00000419: PUSH1 0x00
0000041b: DUP2
0000041c: DUP5
0000041d: ADD
0000041e: MSTORE
0000041f: PUSH1 0x1f
00000421: NOT
00000422: PUSH1 0x1f
00000424: DUP3
00000425: ADD
00000426: AND
00000427: SWAP1
00000428: POP
00000429: DUP1
0000042a: DUP4
0000042b: ADD
0000042c: SWAP3
0000042d: POP
0000042e: POP
0000042f: POP
00000430: POP
00000431: POP
00000432: POP
00000433: POP
00000434: SWAP2
00000435: SWAP3
00000436: SWAP2
00000437: SWAP3
00000438: SWAP1
00000439: POP
0000043a: POP
0000043b: POP
0000043c: PUSH2 0x0f54
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH1 0x40
00000443: MLOAD
00000444: DUP1
00000445: DUP3
00000446: ISZERO
00000447: ISZERO
00000448: ISZERO
00000449: ISZERO
0000044a: DUP2
0000044b: MSTORE
0000044c: PUSH1 0x20
0000044e: ADD
0000044f: SWAP2
00000450: POP
00000451: POP
00000452: PUSH1 0x40
00000454: MLOAD
00000455: DUP1
00000456: SWAP2
00000457: SUB
00000458: SWAP1
00000459: RETURN
0000045a: JUMPDEST
0000045b: CALLVALUE
0000045c: DUP1
0000045d: ISZERO
0000045e: PUSH2 0x0466
00000461: JUMPI
00000462: PUSH1 0x00
00000464: DUP1
00000465: REVERT
00000466: JUMPDEST
00000467: POP
00000468: PUSH2 0x04bd
0000046b: PUSH1 0x04
0000046d: DUP1
0000046e: CALLDATASIZE
0000046f: SUB
00000470: PUSH1 0x40
00000472: DUP2
00000473: LT
00000474: ISZERO
00000475: PUSH2 0x047d
00000478: JUMPI
00000479: PUSH1 0x00
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: DUP2
0000047f: ADD
00000480: SWAP1
00000481: DUP1
00000482: DUP1
00000483: CALLDATALOAD
00000484: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000499: AND
0000049a: SWAP1
0000049b: PUSH1 0x20
0000049d: ADD
0000049e: SWAP1
0000049f: SWAP3
000004a0: SWAP2
000004a1: SWAP1
000004a2: DUP1
000004a3: CALLDATALOAD
000004a4: PUSH8 0xffffffffffffffff
000004ad: AND
000004ae: SWAP1
000004af: PUSH1 0x20
000004b1: ADD
000004b2: SWAP1
000004b3: SWAP3
000004b4: SWAP2
000004b5: SWAP1
000004b6: POP
000004b7: POP
000004b8: POP
000004b9: PUSH2 0x10ce
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH1 0x40
000004c0: MLOAD
000004c1: DUP1
000004c2: DUP1
000004c3: PUSH1 0x20
000004c5: ADD
000004c6: DUP3
000004c7: DUP2
000004c8: SUB
000004c9: DUP3
000004ca: MSTORE
000004cb: DUP4
000004cc: DUP2
000004cd: DUP2
000004ce: MLOAD
000004cf: DUP2
000004d0: MSTORE
000004d1: PUSH1 0x20
000004d3: ADD
000004d4: SWAP2
000004d5: POP
000004d6: DUP1
000004d7: MLOAD
000004d8: SWAP1
000004d9: PUSH1 0x20
000004db: ADD
000004dc: SWAP1
000004dd: DUP1
000004de: DUP4
000004df: DUP4
000004e0: PUSH1 0x00
000004e2: JUMPDEST
000004e3: DUP4
000004e4: DUP2
000004e5: LT
000004e6: ISZERO
000004e7: PUSH2 0x04fd
000004ea: JUMPI
000004eb: DUP1
000004ec: DUP3
000004ed: ADD
000004ee: MLOAD
000004ef: DUP2
000004f0: DUP5
000004f1: ADD
000004f2: MSTORE
000004f3: PUSH1 0x20
000004f5: DUP2
000004f6: ADD
000004f7: SWAP1
000004f8: POP
000004f9: PUSH2 0x04e2
000004fc: JUMP
000004fd: JUMPDEST
000004fe: POP
000004ff: POP
00000500: POP
00000501: POP
00000502: SWAP1
00000503: POP
00000504: SWAP1
00000505: DUP2
00000506: ADD
00000507: SWAP1
00000508: PUSH1 0x1f
0000050a: AND
0000050b: DUP1
0000050c: ISZERO
0000050d: PUSH2 0x052a
00000510: JUMPI
00000511: DUP1
00000512: DUP3
00000513: SUB
00000514: DUP1
00000515: MLOAD
00000516: PUSH1 0x01
00000518: DUP4
00000519: PUSH1 0x20
0000051b: SUB
0000051c: PUSH2 0x0100
0000051f: EXP
00000520: SUB
00000521: NOT
00000522: AND
00000523: DUP2
00000524: MSTORE
00000525: PUSH1 0x20
00000527: ADD
00000528: SWAP2
00000529: POP
0000052a: JUMPDEST
0000052b: POP
0000052c: SWAP3
0000052d: POP
0000052e: POP
0000052f: POP
00000530: PUSH1 0x40
00000532: MLOAD
00000533: DUP1
00000534: SWAP2
00000535: SUB
00000536: SWAP1
00000537: RETURN
00000538: JUMPDEST
00000539: CALLVALUE
0000053a: DUP1
0000053b: ISZERO
0000053c: PUSH2 0x0544
0000053f: JUMPI
00000540: PUSH1 0x00
00000542: DUP1
00000543: REVERT
00000544: JUMPDEST
00000545: POP
00000546: PUSH2 0x0587
00000549: PUSH1 0x04
0000054b: DUP1
0000054c: CALLDATASIZE
0000054d: SUB
0000054e: PUSH1 0x20
00000550: DUP2
00000551: LT
00000552: ISZERO
00000553: PUSH2 0x055b
00000556: JUMPI
00000557: PUSH1 0x00
00000559: DUP1
0000055a: REVERT
0000055b: JUMPDEST
0000055c: DUP2
0000055d: ADD
0000055e: SWAP1
0000055f: DUP1
00000560: DUP1
00000561: CALLDATALOAD
00000562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000577: AND
00000578: SWAP1
00000579: PUSH1 0x20
0000057b: ADD
0000057c: SWAP1
0000057d: SWAP3
0000057e: SWAP2
0000057f: SWAP1
00000580: POP
00000581: POP
00000582: POP
00000583: PUSH2 0x118b
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH1 0x40
0000058a: MLOAD
0000058b: DUP1
0000058c: DUP3
0000058d: DUP2
0000058e: MSTORE
0000058f: PUSH1 0x20
00000591: ADD
00000592: SWAP2
00000593: POP
00000594: POP
00000595: PUSH1 0x40
00000597: MLOAD
00000598: DUP1
00000599: SWAP2
0000059a: SUB
0000059b: SWAP1
0000059c: RETURN
0000059d: JUMPDEST
0000059e: CALLVALUE
0000059f: DUP1
000005a0: ISZERO
000005a1: PUSH2 0x05a9
000005a4: JUMPI
000005a5: PUSH1 0x00
000005a7: DUP1
000005a8: REVERT
000005a9: JUMPDEST
000005aa: POP
000005ab: PUSH2 0x05b2
000005ae: PUSH2 0x12ac
000005b1: JUMP
000005b2: JUMPDEST
000005b3: STOP
000005b4: JUMPDEST
000005b5: PUSH2 0x06ab
000005b8: PUSH1 0x04
000005ba: DUP1
000005bb: CALLDATASIZE
000005bc: SUB
000005bd: PUSH1 0x80
000005bf: DUP2
000005c0: LT
000005c1: ISZERO
000005c2: PUSH2 0x05ca
000005c5: JUMPI
000005c6: PUSH1 0x00
000005c8: DUP1
000005c9: REVERT
000005ca: JUMPDEST
000005cb: DUP2
000005cc: ADD
000005cd: SWAP1
000005ce: DUP1
000005cf: DUP1
000005d0: CALLDATALOAD
000005d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e6: AND
000005e7: SWAP1
000005e8: PUSH1 0x20
000005ea: ADD
000005eb: SWAP1
000005ec: SWAP3
000005ed: SWAP2
000005ee: SWAP1
000005ef: DUP1
000005f0: CALLDATALOAD
000005f1: PUSH8 0xffffffffffffffff
000005fa: AND
000005fb: SWAP1
000005fc: PUSH1 0x20
000005fe: ADD
000005ff: SWAP1
00000600: SWAP3
00000601: SWAP2
00000602: SWAP1
00000603: DUP1
00000604: CALLDATALOAD
00000605: SWAP1
00000606: PUSH1 0x20
00000608: ADD
00000609: SWAP1
0000060a: PUSH5 0x0100000000
00000610: DUP2
00000611: GT
00000612: ISZERO
00000613: PUSH2 0x061b
00000616: JUMPI
00000617: PUSH1 0x00
00000619: DUP1
0000061a: REVERT
0000061b: JUMPDEST
0000061c: DUP3
0000061d: ADD
0000061e: DUP4
0000061f: PUSH1 0x20
00000621: DUP3
00000622: ADD
00000623: GT
00000624: ISZERO
00000625: PUSH2 0x062d
00000628: JUMPI
00000629: PUSH1 0x00
0000062b: DUP1
0000062c: REVERT
0000062d: JUMPDEST
0000062e: DUP1
0000062f: CALLDATALOAD
00000630: SWAP1
00000631: PUSH1 0x20
00000633: ADD
00000634: SWAP2
00000635: DUP5
00000636: PUSH1 0x01
00000638: DUP4
00000639: MUL
0000063a: DUP5
0000063b: ADD
0000063c: GT
0000063d: PUSH5 0x0100000000
00000643: DUP4
00000644: GT
00000645: OR
00000646: ISZERO
00000647: PUSH2 0x064f
0000064a: JUMPI
0000064b: PUSH1 0x00
0000064d: DUP1
0000064e: REVERT
0000064f: JUMPDEST
00000650: SWAP2
00000651: SWAP1
00000652: DUP1
00000653: DUP1
00000654: PUSH1 0x1f
00000656: ADD
00000657: PUSH1 0x20
00000659: DUP1
0000065a: SWAP2
0000065b: DIV
0000065c: MUL
0000065d: PUSH1 0x20
0000065f: ADD
00000660: PUSH1 0x40
00000662: MLOAD
00000663: SWAP1
00000664: DUP2
00000665: ADD
00000666: PUSH1 0x40
00000668: MSTORE
00000669: DUP1
0000066a: SWAP4
0000066b: SWAP3
0000066c: SWAP2
0000066d: SWAP1
0000066e: DUP2
0000066f: DUP2
00000670: MSTORE
00000671: PUSH1 0x20
00000673: ADD
00000674: DUP4
00000675: DUP4
00000676: DUP1
00000677: DUP3
00000678: DUP5
00000679: CALLDATACOPY
0000067a: PUSH1 0x00
0000067c: DUP2
0000067d: DUP5
0000067e: ADD
0000067f: MSTORE
00000680: PUSH1 0x1f
00000682: NOT
00000683: PUSH1 0x1f
00000685: DUP3
00000686: ADD
00000687: AND
00000688: SWAP1
00000689: POP
0000068a: DUP1
0000068b: DUP4
0000068c: ADD
0000068d: SWAP3
0000068e: POP
0000068f: POP
00000690: POP
00000691: POP
00000692: POP
00000693: POP
00000694: POP
00000695: SWAP2
00000696: SWAP3
00000697: SWAP2
00000698: SWAP3
00000699: SWAP1
0000069a: DUP1
0000069b: CALLDATALOAD
0000069c: SWAP1
0000069d: PUSH1 0x20
0000069f: ADD
000006a0: SWAP1
000006a1: SWAP3
000006a2: SWAP2
000006a3: SWAP1
000006a4: POP
000006a5: POP
000006a6: POP
000006a7: PUSH2 0x13e5
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: DUP3
000006b1: ISZERO
000006b2: ISZERO
000006b3: ISZERO
000006b4: ISZERO
000006b5: DUP2
000006b6: MSTORE
000006b7: PUSH1 0x20
000006b9: ADD
000006ba: SWAP2
000006bb: POP
000006bc: POP
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: DUP1
000006c1: SWAP2
000006c2: SUB
000006c3: SWAP1
000006c4: RETURN
000006c5: JUMPDEST
000006c6: CALLVALUE
000006c7: DUP1
000006c8: ISZERO
000006c9: PUSH2 0x06d1
000006cc: JUMPI
000006cd: PUSH1 0x00
000006cf: DUP1
000006d0: REVERT
000006d1: JUMPDEST
000006d2: POP
000006d3: PUSH2 0x06da
000006d6: PUSH2 0x1c0d
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH1 0x40
000006dd: MLOAD
000006de: DUP1
000006df: DUP3
000006e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f5: AND
000006f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070b: AND
0000070c: DUP2
0000070d: MSTORE
0000070e: PUSH1 0x20
00000710: ADD
00000711: SWAP2
00000712: POP
00000713: POP
00000714: PUSH1 0x40
00000716: MLOAD
00000717: DUP1
00000718: SWAP2
00000719: SUB
0000071a: SWAP1
0000071b: RETURN
0000071c: JUMPDEST
0000071d: CALLVALUE
0000071e: DUP1
0000071f: ISZERO
00000720: PUSH2 0x0728
00000723: JUMPI
00000724: PUSH1 0x00
00000726: DUP1
00000727: REVERT
00000728: JUMPDEST
00000729: POP
0000072a: PUSH2 0x0731
0000072d: PUSH2 0x1c36
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH1 0x40
00000734: MLOAD
00000735: DUP1
00000736: DUP3
00000737: ISZERO
00000738: ISZERO
00000739: ISZERO
0000073a: ISZERO
0000073b: DUP2
0000073c: MSTORE
0000073d: PUSH1 0x20
0000073f: ADD
00000740: SWAP2
00000741: POP
00000742: POP
00000743: PUSH1 0x40
00000745: MLOAD
00000746: DUP1
00000747: SWAP2
00000748: SUB
00000749: SWAP1
0000074a: RETURN
0000074b: JUMPDEST
0000074c: CALLVALUE
0000074d: DUP1
0000074e: ISZERO
0000074f: PUSH2 0x0757
00000752: JUMPI
00000753: PUSH1 0x00
00000755: DUP1
00000756: REVERT
00000757: JUMPDEST
00000758: POP
00000759: PUSH2 0x078e
0000075c: PUSH1 0x04
0000075e: DUP1
0000075f: CALLDATASIZE
00000760: SUB
00000761: PUSH1 0x20
00000763: DUP2
00000764: LT
00000765: ISZERO
00000766: PUSH2 0x076e
00000769: JUMPI
0000076a: PUSH1 0x00
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: DUP2
00000770: ADD
00000771: SWAP1
00000772: DUP1
00000773: DUP1
00000774: CALLDATALOAD
00000775: PUSH8 0xffffffffffffffff
0000077e: AND
0000077f: SWAP1
00000780: PUSH1 0x20
00000782: ADD
00000783: SWAP1
00000784: SWAP3
00000785: SWAP2
00000786: SWAP1
00000787: POP
00000788: POP
00000789: POP
0000078a: PUSH2 0x1c94
0000078d: JUMP
0000078e: JUMPDEST
0000078f: PUSH1 0x40
00000791: MLOAD
00000792: DUP1
00000793: DUP1
00000794: PUSH1 0x20
00000796: ADD
00000797: DUP3
00000798: DUP2
00000799: SUB
0000079a: DUP3
0000079b: MSTORE
0000079c: DUP4
0000079d: DUP2
0000079e: DUP2
0000079f: MLOAD
000007a0: DUP2
000007a1: MSTORE
000007a2: PUSH1 0x20
000007a4: ADD
000007a5: SWAP2
000007a6: POP
000007a7: DUP1
000007a8: MLOAD
000007a9: SWAP1
000007aa: PUSH1 0x20
000007ac: ADD
000007ad: SWAP1
000007ae: DUP1
000007af: DUP4
000007b0: DUP4
000007b1: PUSH1 0x00
000007b3: JUMPDEST
000007b4: DUP4
000007b5: DUP2
000007b6: LT
000007b7: ISZERO
000007b8: PUSH2 0x07ce
000007bb: JUMPI
000007bc: DUP1
000007bd: DUP3
000007be: ADD
000007bf: MLOAD
000007c0: DUP2
000007c1: DUP5
000007c2: ADD
000007c3: MSTORE
000007c4: PUSH1 0x20
000007c6: DUP2
000007c7: ADD
000007c8: SWAP1
000007c9: POP
000007ca: PUSH2 0x07b3
000007cd: JUMP
000007ce: JUMPDEST
000007cf: POP
000007d0: POP
000007d1: POP
000007d2: POP
000007d3: SWAP1
000007d4: POP
000007d5: SWAP1
000007d6: DUP2
000007d7: ADD
000007d8: SWAP1
000007d9: PUSH1 0x1f
000007db: AND
000007dc: DUP1
000007dd: ISZERO
000007de: PUSH2 0x07fb
000007e1: JUMPI
000007e2: DUP1
000007e3: DUP3
000007e4: SUB
000007e5: DUP1
000007e6: MLOAD
000007e7: PUSH1 0x01
000007e9: DUP4
000007ea: PUSH1 0x20
000007ec: SUB
000007ed: PUSH2 0x0100
000007f0: EXP
000007f1: SUB
000007f2: NOT
000007f3: AND
000007f4: DUP2
000007f5: MSTORE
000007f6: PUSH1 0x20
000007f8: ADD
000007f9: SWAP2
000007fa: POP
000007fb: JUMPDEST
000007fc: POP
000007fd: SWAP3
000007fe: POP
000007ff: POP
00000800: POP
00000801: PUSH1 0x40
00000803: MLOAD
00000804: DUP1
00000805: SWAP2
00000806: SUB
00000807: SWAP1
00000808: RETURN
00000809: JUMPDEST
0000080a: CALLVALUE
0000080b: DUP1
0000080c: ISZERO
0000080d: PUSH2 0x0815
00000810: JUMPI
00000811: PUSH1 0x00
00000813: DUP1
00000814: REVERT
00000815: JUMPDEST
00000816: POP
00000817: PUSH2 0x0858
0000081a: PUSH1 0x04
0000081c: DUP1
0000081d: CALLDATASIZE
0000081e: SUB
0000081f: PUSH1 0x20
00000821: DUP2
00000822: LT
00000823: ISZERO
00000824: PUSH2 0x082c
00000827: JUMPI
00000828: PUSH1 0x00
0000082a: DUP1
0000082b: REVERT
0000082c: JUMPDEST
0000082d: DUP2
0000082e: ADD
0000082f: SWAP1
00000830: DUP1
00000831: DUP1
00000832: CALLDATALOAD
00000833: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000848: AND
00000849: SWAP1
0000084a: PUSH1 0x20
0000084c: ADD
0000084d: SWAP1
0000084e: SWAP3
0000084f: SWAP2
00000850: SWAP1
00000851: POP
00000852: POP
00000853: POP
00000854: PUSH2 0x1d44
00000857: JUMP
00000858: JUMPDEST
00000859: STOP
0000085a: JUMPDEST
0000085b: CALLVALUE
0000085c: DUP1
0000085d: ISZERO
0000085e: PUSH2 0x0866
00000861: JUMPI
00000862: PUSH1 0x00
00000864: DUP1
00000865: REVERT
00000866: JUMPDEST
00000867: POP
00000868: PUSH2 0x086f
0000086b: PUSH2 0x1e87
0000086e: JUMP
0000086f: JUMPDEST
00000870: PUSH1 0x40
00000872: MLOAD
00000873: DUP1
00000874: DUP3
00000875: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088a: AND
0000088b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a0: AND
000008a1: DUP2
000008a2: MSTORE
000008a3: PUSH1 0x20
000008a5: ADD
000008a6: SWAP2
000008a7: POP
000008a8: POP
000008a9: PUSH1 0x40
000008ab: MLOAD
000008ac: DUP1
000008ad: SWAP2
000008ae: SUB
000008af: SWAP1
000008b0: RETURN
000008b1: JUMPDEST
000008b2: CALLVALUE
000008b3: DUP1
000008b4: ISZERO
000008b5: PUSH2 0x08bd
000008b8: JUMPI
000008b9: PUSH1 0x00
000008bb: DUP1
000008bc: REVERT
000008bd: JUMPDEST
000008be: POP
000008bf: PUSH2 0x0900
000008c2: PUSH1 0x04
000008c4: DUP1
000008c5: CALLDATASIZE
000008c6: SUB
000008c7: PUSH1 0x20
000008c9: DUP2
000008ca: LT
000008cb: ISZERO
000008cc: PUSH2 0x08d4
000008cf: JUMPI
000008d0: PUSH1 0x00
000008d2: DUP1
000008d3: REVERT
000008d4: JUMPDEST
000008d5: DUP2
000008d6: ADD
000008d7: SWAP1
000008d8: DUP1
000008d9: DUP1
000008da: CALLDATALOAD
000008db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f0: AND
000008f1: SWAP1
000008f2: PUSH1 0x20
000008f4: ADD
000008f5: SWAP1
000008f6: SWAP3
000008f7: SWAP2
000008f8: SWAP1
000008f9: POP
000008fa: POP
000008fb: POP
000008fc: PUSH2 0x1ead
000008ff: JUMP
00000900: JUMPDEST
00000901: STOP
00000902: JUMPDEST
00000903: PUSH1 0x00
00000905: DUP1
00000906: PUSH1 0x01
00000908: PUSH1 0x00
0000090a: SWAP1
0000090b: SLOAD
0000090c: SWAP1
0000090d: PUSH2 0x0100
00000910: EXP
00000911: SWAP1
00000912: DIV
00000913: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000928: AND
00000929: SWAP1
0000092a: POP
0000092b: DUP1
0000092c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000941: AND
00000942: PUSH4 0x87939a7f
00000947: PUSH1 0x40
00000949: MLOAD
0000094a: DUP2
0000094b: PUSH4 0xffffffff
00000950: AND
00000951: PUSH1 0xe0
00000953: SHL
00000954: DUP2
00000955: MSTORE
00000956: PUSH1 0x04
00000958: ADD
00000959: PUSH1 0x20
0000095b: PUSH1 0x40
0000095d: MLOAD
0000095e: DUP1
0000095f: DUP4
00000960: SUB
00000961: DUP2
00000962: DUP7
00000963: DUP1
00000964: EXTCODESIZE
00000965: ISZERO
00000966: DUP1
00000967: ISZERO
00000968: PUSH2 0x0970
0000096b: JUMPI
0000096c: PUSH1 0x00
0000096e: DUP1
0000096f: REVERT
00000970: JUMPDEST
00000971: POP
00000972: GAS
00000973: STATICCALL
00000974: ISZERO
00000975: DUP1
00000976: ISZERO
00000977: PUSH2 0x0984
0000097a: JUMPI
0000097b: RETURNDATASIZE
0000097c: PUSH1 0x00
0000097e: DUP1
0000097f: RETURNDATACOPY
00000980: RETURNDATASIZE
00000981: PUSH1 0x00
00000983: REVERT
00000984: JUMPDEST
00000985: POP
00000986: POP
00000987: POP
00000988: POP
00000989: PUSH1 0x40
0000098b: MLOAD
0000098c: RETURNDATASIZE
0000098d: PUSH1 0x20
0000098f: DUP2
00000990: LT
00000991: ISZERO
00000992: PUSH2 0x099a
00000995: JUMPI
00000996: PUSH1 0x00
00000998: DUP1
00000999: REVERT
0000099a: JUMPDEST
0000099b: DUP2
0000099c: ADD
0000099d: SWAP1
0000099e: DUP1
0000099f: DUP1
000009a0: MLOAD
000009a1: SWAP1
000009a2: PUSH1 0x20
000009a4: ADD
000009a5: SWAP1
000009a6: SWAP3
000009a7: SWAP2
000009a8: SWAP1
000009a9: POP
000009aa: POP
000009ab: POP
000009ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c1: AND
000009c2: PUSH2 0x09c9
000009c5: PUSH2 0x1f33
000009c8: JUMP
000009c9: JUMPDEST
000009ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009df: AND
000009e0: EQ
000009e1: PUSH2 0x0a35
000009e4: JUMPI
000009e5: PUSH1 0x40
000009e7: MLOAD
000009e8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a09: DUP2
00000a0a: MSTORE
00000a0b: PUSH1 0x04
00000a0d: ADD
00000a0e: DUP1
00000a0f: DUP1
00000a10: PUSH1 0x20
00000a12: ADD
00000a13: DUP3
00000a14: DUP2
00000a15: SUB
00000a16: DUP3
00000a17: MSTORE
00000a18: PUSH1 0x2d
00000a1a: DUP2
00000a1b: MSTORE
00000a1c: PUSH1 0x20
00000a1e: ADD
00000a1f: DUP1
00000a20: PUSH2 0x3ab4
00000a23: PUSH1 0x2d
00000a25: SWAP2
00000a26: CODECOPY
00000a27: PUSH1 0x40
00000a29: ADD
00000a2a: SWAP2
00000a2b: POP
00000a2c: POP
00000a2d: PUSH1 0x40
00000a2f: MLOAD
00000a30: DUP1
00000a31: SWAP2
00000a32: SUB
00000a33: SWAP1
00000a34: REVERT
00000a35: JUMPDEST
00000a36: PUSH2 0x0a3d
00000a39: PUSH2 0x38d0
00000a3c: JUMP
00000a3d: JUMPDEST
00000a3e: PUSH2 0x0a46
00000a41: DUP7
00000a42: PUSH2 0x1f3b
00000a45: JUMP
00000a46: JUMPDEST
00000a47: SWAP1
00000a48: POP
00000a49: PUSH1 0x00
00000a4b: DUP6
00000a4c: MLOAD
00000a4d: EQ
00000a4e: ISZERO
00000a4f: PUSH2 0x0aa3
00000a52: JUMPI
00000a53: PUSH1 0x40
00000a55: MLOAD
00000a56: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a77: DUP2
00000a78: MSTORE
00000a79: PUSH1 0x04
00000a7b: ADD
00000a7c: DUP1
00000a7d: DUP1
00000a7e: PUSH1 0x20
00000a80: ADD
00000a81: DUP3
00000a82: DUP2
00000a83: SUB
00000a84: DUP3
00000a85: MSTORE
00000a86: PUSH1 0x2b
00000a88: DUP2
00000a89: MSTORE
00000a8a: PUSH1 0x20
00000a8c: ADD
00000a8d: DUP1
00000a8e: PUSH2 0x3ae1
00000a91: PUSH1 0x2b
00000a93: SWAP2
00000a94: CODECOPY
00000a95: PUSH1 0x40
00000a97: ADD
00000a98: SWAP2
00000a99: POP
00000a9a: POP
00000a9b: PUSH1 0x40
00000a9d: MLOAD
00000a9e: DUP1
00000a9f: SWAP2
00000aa0: SUB
00000aa1: SWAP1
00000aa2: REVERT
00000aa3: JUMPDEST
00000aa4: PUSH2 0x0ad3
00000aa7: PUSH1 0x02
00000aa9: PUSH1 0x00
00000aab: DUP7
00000aac: PUSH8 0xffffffffffffffff
00000ab5: AND
00000ab6: PUSH8 0xffffffffffffffff
00000abf: AND
00000ac0: DUP2
00000ac1: MSTORE
00000ac2: PUSH1 0x20
00000ac4: ADD
00000ac5: SWAP1
00000ac6: DUP2
00000ac7: MSTORE
00000ac8: PUSH1 0x20
00000aca: ADD
00000acb: PUSH1 0x00
00000acd: KECCAK256
00000ace: DUP7
00000acf: PUSH2 0x1fa3
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: PUSH2 0x0b28
00000ad7: JUMPI
00000ad8: PUSH1 0x40
00000ada: MLOAD
00000adb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000afc: DUP2
00000afd: MSTORE
00000afe: PUSH1 0x04
00000b00: ADD
00000b01: DUP1
00000b02: DUP1
00000b03: PUSH1 0x20
00000b05: ADD
00000b06: DUP3
00000b07: DUP2
00000b08: SUB
00000b09: DUP3
00000b0a: MSTORE
00000b0b: PUSH1 0x22
00000b0d: DUP2
00000b0e: MSTORE
00000b0f: PUSH1 0x20
00000b11: ADD
00000b12: DUP1
00000b13: PUSH2 0x3c79
00000b16: PUSH1 0x22
00000b18: SWAP2
00000b19: CODECOPY
00000b1a: PUSH1 0x40
00000b1c: ADD
00000b1d: SWAP2
00000b1e: POP
00000b1f: POP
00000b20: PUSH1 0x40
00000b22: MLOAD
00000b23: DUP1
00000b24: SWAP2
00000b25: SUB
00000b26: SWAP1
00000b27: REVERT
00000b28: JUMPDEST
00000b29: PUSH1 0x00
00000b2b: DUP2
00000b2c: PUSH1 0x00
00000b2e: ADD
00000b2f: MLOAD
00000b30: MLOAD
00000b31: EQ
00000b32: ISZERO
00000b33: PUSH2 0x0ba4
00000b36: JUMPI
00000b37: PUSH1 0x40
00000b39: MLOAD
00000b3a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b5b: DUP2
00000b5c: MSTORE
00000b5d: PUSH1 0x04
00000b5f: ADD
00000b60: DUP1
00000b61: DUP1
00000b62: PUSH1 0x20
00000b64: ADD
00000b65: DUP3
00000b66: DUP2
00000b67: SUB
00000b68: DUP3
00000b69: MSTORE
00000b6a: PUSH1 0x1b
00000b6c: DUP2
00000b6d: MSTORE
00000b6e: PUSH1 0x20
00000b70: ADD
00000b71: DUP1
00000b72: PUSH32 0x746f4173736574486173682063616e6e6f7420626520656d7074790000000000
00000b93: DUP2
00000b94: MSTORE
00000b95: POP
00000b96: PUSH1 0x20
00000b98: ADD
00000b99: SWAP2
00000b9a: POP
00000b9b: POP
00000b9c: PUSH1 0x40
00000b9e: MLOAD
00000b9f: DUP1
00000ba0: SWAP2
00000ba1: SUB
00000ba2: SWAP1
00000ba3: REVERT
00000ba4: JUMPDEST
00000ba5: PUSH1 0x00
00000ba7: PUSH2 0x0bb3
00000baa: DUP3
00000bab: PUSH1 0x00
00000bad: ADD
00000bae: MLOAD
00000baf: PUSH2 0x205b
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: SWAP1
00000bb5: POP
00000bb6: PUSH1 0x00
00000bb8: DUP3
00000bb9: PUSH1 0x20
00000bbb: ADD
00000bbc: MLOAD
00000bbd: MLOAD
00000bbe: EQ
00000bbf: ISZERO
00000bc0: PUSH2 0x0c31
00000bc3: JUMPI
00000bc4: PUSH1 0x40
00000bc6: MLOAD
00000bc7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x04
00000bec: ADD
00000bed: DUP1
00000bee: DUP1
00000bef: PUSH1 0x20
00000bf1: ADD
00000bf2: DUP3
00000bf3: DUP2
00000bf4: SUB
00000bf5: DUP3
00000bf6: MSTORE
00000bf7: PUSH1 0x19
00000bf9: DUP2
00000bfa: MSTORE
00000bfb: PUSH1 0x20
00000bfd: ADD
00000bfe: DUP1
00000bff: PUSH32 0x746f416464726573732063616e6e6f7420626520656d70747900000000000000
00000c20: DUP2
00000c21: MSTORE
00000c22: POP
00000c23: PUSH1 0x20
00000c25: ADD
00000c26: SWAP2
00000c27: POP
00000c28: POP
00000c29: PUSH1 0x40
00000c2b: MLOAD
00000c2c: DUP1
00000c2d: SWAP2
00000c2e: SUB
00000c2f: SWAP1
00000c30: REVERT
00000c31: JUMPDEST
00000c32: PUSH1 0x00
00000c34: PUSH2 0x0c40
00000c37: DUP4
00000c38: PUSH1 0x20
00000c3a: ADD
00000c3b: MLOAD
00000c3c: PUSH2 0x205b
00000c3f: JUMP
00000c40: JUMPDEST
00000c41: SWAP1
00000c42: POP
00000c43: PUSH2 0x0c51
00000c46: DUP3
00000c47: DUP3
00000c48: DUP6
00000c49: PUSH1 0x40
00000c4b: ADD
00000c4c: MLOAD
00000c4d: PUSH2 0x20c3
00000c50: JUMP
00000c51: JUMPDEST
00000c52: PUSH2 0x0ca6
00000c55: JUMPI
00000c56: PUSH1 0x40
00000c58: MLOAD
00000c59: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c7a: DUP2
00000c7b: MSTORE
00000c7c: PUSH1 0x04
00000c7e: ADD
00000c7f: DUP1
00000c80: DUP1
00000c81: PUSH1 0x20
00000c83: ADD
00000c84: DUP3
00000c85: DUP2
00000c86: SUB
00000c87: DUP3
00000c88: MSTORE
00000c89: PUSH1 0x3c
00000c8b: DUP2
00000c8c: MSTORE
00000c8d: PUSH1 0x20
00000c8f: ADD
00000c90: DUP1
00000c91: PUSH2 0x3a78
00000c94: PUSH1 0x3c
00000c96: SWAP2
00000c97: CODECOPY
00000c98: PUSH1 0x40
00000c9a: ADD
00000c9b: SWAP2
00000c9c: POP
00000c9d: POP
00000c9e: PUSH1 0x40
00000ca0: MLOAD
00000ca1: DUP1
00000ca2: SWAP2
00000ca3: SUB
00000ca4: SWAP1
00000ca5: REVERT
00000ca6: JUMPDEST
00000ca7: PUSH32 0xd90288730b87c2b8e0c45bd82260fd22478aba30ae1c4d578b8daba9261604df
00000cc8: DUP3
00000cc9: DUP3
00000cca: DUP6
00000ccb: PUSH1 0x40
00000ccd: ADD
00000cce: MLOAD
00000ccf: PUSH1 0x40
00000cd1: MLOAD
00000cd2: DUP1
00000cd3: DUP5
00000cd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce9: AND
00000cea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cff: AND
00000d00: DUP2
00000d01: MSTORE
00000d02: PUSH1 0x20
00000d04: ADD
00000d05: DUP4
00000d06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1b: AND
00000d1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d31: AND
00000d32: DUP2
00000d33: MSTORE
00000d34: PUSH1 0x20
00000d36: ADD
00000d37: DUP3
00000d38: DUP2
00000d39: MSTORE
00000d3a: PUSH1 0x20
00000d3c: ADD
00000d3d: SWAP4
00000d3e: POP
00000d3f: POP
00000d40: POP
00000d41: POP
00000d42: PUSH1 0x40
00000d44: MLOAD
00000d45: DUP1
00000d46: SWAP2
00000d47: SUB
00000d48: SWAP1
00000d49: LOG1
00000d4a: PUSH1 0x01
00000d4c: SWAP5
00000d4d: POP
00000d4e: POP
00000d4f: POP
00000d50: POP
00000d51: POP
00000d52: SWAP4
00000d53: SWAP3
00000d54: POP
00000d55: POP
00000d56: POP
00000d57: JUMP
00000d58: JUMPDEST
00000d59: PUSH1 0x00
00000d5b: PUSH2 0x0d62
00000d5e: PUSH2 0x1c36
00000d61: JUMP
00000d62: JUMPDEST
00000d63: PUSH2 0x0dd4
00000d66: JUMPI
00000d67: PUSH1 0x40
00000d69: MLOAD
00000d6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d8b: DUP2
00000d8c: MSTORE
00000d8d: PUSH1 0x04
00000d8f: ADD
00000d90: DUP1
00000d91: DUP1
00000d92: PUSH1 0x20
00000d94: ADD
00000d95: DUP3
00000d96: DUP2
00000d97: SUB
00000d98: DUP3
00000d99: MSTORE
00000d9a: PUSH1 0x20
00000d9c: DUP2
00000d9d: MSTORE
00000d9e: PUSH1 0x20
00000da0: ADD
00000da1: DUP1
00000da2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000dc3: DUP2
00000dc4: MSTORE
00000dc5: POP
00000dc6: PUSH1 0x20
00000dc8: ADD
00000dc9: SWAP2
00000dca: POP
00000dcb: POP
00000dcc: PUSH1 0x40
00000dce: MLOAD
00000dcf: DUP1
00000dd0: SWAP2
00000dd1: SUB
00000dd2: SWAP1
00000dd3: REVERT
00000dd4: JUMPDEST
00000dd5: DUP2
00000dd6: PUSH1 0x03
00000dd8: PUSH1 0x00
00000dda: DUP7
00000ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df0: AND
00000df1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e06: AND
00000e07: DUP2
00000e08: MSTORE
00000e09: PUSH1 0x20
00000e0b: ADD
00000e0c: SWAP1
00000e0d: DUP2
00000e0e: MSTORE
00000e0f: PUSH1 0x20
00000e11: ADD
00000e12: PUSH1 0x00
00000e14: KECCAK256
00000e15: PUSH1 0x00
00000e17: DUP6
00000e18: PUSH8 0xffffffffffffffff
00000e21: AND
00000e22: PUSH8 0xffffffffffffffff
00000e2b: AND
00000e2c: DUP2
00000e2d: MSTORE
00000e2e: PUSH1 0x20
00000e30: ADD
00000e31: SWAP1
00000e32: DUP2
00000e33: MSTORE
00000e34: PUSH1 0x20
00000e36: ADD
00000e37: PUSH1 0x00
00000e39: KECCAK256
00000e3a: SWAP1
00000e3b: DUP1
00000e3c: MLOAD
00000e3d: SWAP1
00000e3e: PUSH1 0x20
00000e40: ADD
00000e41: SWAP1
00000e42: PUSH2 0x0e4c
00000e45: SWAP3
00000e46: SWAP2
00000e47: SWAP1
00000e48: PUSH2 0x38f1
00000e4b: JUMP
00000e4c: JUMPDEST
00000e4d: POP
00000e4e: PUSH32 0x1628c8374c1bdfeb2275fd9f4c90562fd3fae974783dc522c8234e36abcfc58e
00000e6f: DUP5
00000e70: DUP5
00000e71: DUP5
00000e72: PUSH2 0x0e7a
00000e75: DUP9
00000e76: PUSH2 0x118b
00000e79: JUMP
00000e7a: JUMPDEST
00000e7b: PUSH1 0x40
00000e7d: MLOAD
00000e7e: DUP1
00000e7f: DUP6
00000e80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e95: AND
00000e96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eab: AND
00000eac: DUP2
00000ead: MSTORE
00000eae: PUSH1 0x20
00000eb0: ADD
00000eb1: DUP5
00000eb2: PUSH8 0xffffffffffffffff
00000ebb: AND
00000ebc: PUSH8 0xffffffffffffffff
00000ec5: AND
00000ec6: DUP2
00000ec7: MSTORE
00000ec8: PUSH1 0x20
00000eca: ADD
00000ecb: DUP1
00000ecc: PUSH1 0x20
00000ece: ADD
00000ecf: DUP4
00000ed0: DUP2
00000ed1: MSTORE
00000ed2: PUSH1 0x20
00000ed4: ADD
00000ed5: DUP3
00000ed6: DUP2
00000ed7: SUB
00000ed8: DUP3
00000ed9: MSTORE
00000eda: DUP5
00000edb: DUP2
00000edc: DUP2
00000edd: MLOAD
00000ede: DUP2
00000edf: MSTORE
00000ee0: PUSH1 0x20
00000ee2: ADD
00000ee3: SWAP2
00000ee4: POP
00000ee5: DUP1
00000ee6: MLOAD
00000ee7: SWAP1
00000ee8: PUSH1 0x20
00000eea: ADD
00000eeb: SWAP1
00000eec: DUP1
00000eed: DUP4
00000eee: DUP4
00000eef: PUSH1 0x00
00000ef1: JUMPDEST
00000ef2: DUP4
00000ef3: DUP2
00000ef4: LT
00000ef5: ISZERO
00000ef6: PUSH2 0x0f0c
00000ef9: JUMPI
00000efa: DUP1
00000efb: DUP3
00000efc: ADD
00000efd: MLOAD
00000efe: DUP2
00000eff: DUP5
00000f00: ADD
00000f01: MSTORE
00000f02: PUSH1 0x20
00000f04: DUP2
00000f05: ADD
00000f06: SWAP1
00000f07: POP
00000f08: PUSH2 0x0ef1
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: POP
00000f0e: POP
00000f0f: POP
00000f10: POP
00000f11: SWAP1
00000f12: POP
00000f13: SWAP1
00000f14: DUP2
00000f15: ADD
00000f16: SWAP1
00000f17: PUSH1 0x1f
00000f19: AND
00000f1a: DUP1
00000f1b: ISZERO
00000f1c: PUSH2 0x0f39
00000f1f: JUMPI
00000f20: DUP1
00000f21: DUP3
00000f22: SUB
00000f23: DUP1
00000f24: MLOAD
00000f25: PUSH1 0x01
00000f27: DUP4
00000f28: PUSH1 0x20
00000f2a: SUB
00000f2b: PUSH2 0x0100
00000f2e: EXP
00000f2f: SUB
00000f30: NOT
00000f31: AND
00000f32: DUP2
00000f33: MSTORE
00000f34: PUSH1 0x20
00000f36: ADD
00000f37: SWAP2
00000f38: POP
00000f39: JUMPDEST
00000f3a: POP
00000f3b: SWAP6
00000f3c: POP
00000f3d: POP
00000f3e: POP
00000f3f: POP
00000f40: POP
00000f41: POP
00000f42: PUSH1 0x40
00000f44: MLOAD
00000f45: DUP1
00000f46: SWAP2
00000f47: SUB
00000f48: SWAP1
00000f49: LOG1
00000f4a: PUSH1 0x01
00000f4c: SWAP1
00000f4d: POP
00000f4e: SWAP4
00000f4f: SWAP3
00000f50: POP
00000f51: POP
00000f52: POP
00000f53: JUMP
00000f54: JUMPDEST
00000f55: PUSH1 0x00
00000f57: PUSH2 0x0f5e
00000f5a: PUSH2 0x1c36
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH2 0x0fd0
00000f62: JUMPI
00000f63: PUSH1 0x40
00000f65: MLOAD
00000f66: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f87: DUP2
00000f88: MSTORE
00000f89: PUSH1 0x04
00000f8b: ADD
00000f8c: DUP1
00000f8d: DUP1
00000f8e: PUSH1 0x20
00000f90: ADD
00000f91: DUP3
00000f92: DUP2
00000f93: SUB
00000f94: DUP3
00000f95: MSTORE
00000f96: PUSH1 0x20
00000f98: DUP2
00000f99: MSTORE
00000f9a: PUSH1 0x20
00000f9c: ADD
00000f9d: DUP1
00000f9e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000fbf: DUP2
00000fc0: MSTORE
00000fc1: POP
00000fc2: PUSH1 0x20
00000fc4: ADD
00000fc5: SWAP2
00000fc6: POP
00000fc7: POP
00000fc8: PUSH1 0x40
00000fca: MLOAD
00000fcb: DUP1
00000fcc: SWAP2
00000fcd: SUB
00000fce: SWAP1
00000fcf: REVERT
00000fd0: JUMPDEST
00000fd1: DUP2
00000fd2: PUSH1 0x02
00000fd4: PUSH1 0x00
00000fd6: DUP6
00000fd7: PUSH8 0xffffffffffffffff
00000fe0: AND
00000fe1: PUSH8 0xffffffffffffffff
00000fea: AND
00000feb: DUP2
00000fec: MSTORE
00000fed: PUSH1 0x20
00000fef: ADD
00000ff0: SWAP1
00000ff1: DUP2
00000ff2: MSTORE
00000ff3: PUSH1 0x20
00000ff5: ADD
00000ff6: PUSH1 0x00
00000ff8: KECCAK256
00000ff9: SWAP1
00000ffa: DUP1
00000ffb: MLOAD
00000ffc: SWAP1
00000ffd: PUSH1 0x20
00000fff: ADD
00001000: SWAP1
00001001: PUSH2 0x100b
00001004: SWAP3
00001005: SWAP2
00001006: SWAP1
00001007: PUSH2 0x38f1
0000100a: JUMP
0000100b: JUMPDEST
0000100c: POP
0000100d: PUSH32 0xdacd7d303272a3b58aec6620d6d1fb588f4996a5b46858ed437f1c34348f2d0f
0000102e: DUP4
0000102f: DUP4
00001030: PUSH1 0x40
00001032: MLOAD
00001033: DUP1
00001034: DUP4
00001035: PUSH8 0xffffffffffffffff
0000103e: AND
0000103f: PUSH8 0xffffffffffffffff
00001048: AND
00001049: DUP2
0000104a: MSTORE
0000104b: PUSH1 0x20
0000104d: ADD
0000104e: DUP1
0000104f: PUSH1 0x20
00001051: ADD
00001052: DUP3
00001053: DUP2
00001054: SUB
00001055: DUP3
00001056: MSTORE
00001057: DUP4
00001058: DUP2
00001059: DUP2
0000105a: MLOAD
0000105b: DUP2
0000105c: MSTORE
0000105d: PUSH1 0x20
0000105f: ADD
00001060: SWAP2
00001061: POP
00001062: DUP1
00001063: MLOAD
00001064: SWAP1
00001065: PUSH1 0x20
00001067: ADD
00001068: SWAP1
00001069: DUP1
0000106a: DUP4
0000106b: DUP4
0000106c: PUSH1 0x00
0000106e: JUMPDEST
0000106f: DUP4
00001070: DUP2
00001071: LT
00001072: ISZERO
00001073: PUSH2 0x1089
00001076: JUMPI
00001077: DUP1
00001078: DUP3
00001079: ADD
0000107a: MLOAD
0000107b: DUP2
0000107c: DUP5
0000107d: ADD
0000107e: MSTORE
0000107f: PUSH1 0x20
00001081: DUP2
00001082: ADD
00001083: SWAP1
00001084: POP
00001085: PUSH2 0x106e
00001088: JUMP
00001089: JUMPDEST
0000108a: POP
0000108b: POP
0000108c: POP
0000108d: POP
0000108e: SWAP1
0000108f: POP
00001090: SWAP1
00001091: DUP2
00001092: ADD
00001093: SWAP1
00001094: PUSH1 0x1f
00001096: AND
00001097: DUP1
00001098: ISZERO
00001099: PUSH2 0x10b6
0000109c: JUMPI
0000109d: DUP1
0000109e: DUP3
0000109f: SUB
000010a0: DUP1
000010a1: MLOAD
000010a2: PUSH1 0x01
000010a4: DUP4
000010a5: PUSH1 0x20
000010a7: SUB
000010a8: PUSH2 0x0100
000010ab: EXP
000010ac: SUB
000010ad: NOT
000010ae: AND
000010af: DUP2
000010b0: MSTORE
000010b1: PUSH1 0x20
000010b3: ADD
000010b4: SWAP2
000010b5: POP
000010b6: JUMPDEST
000010b7: POP
000010b8: SWAP4
000010b9: POP
000010ba: POP
000010bb: POP
000010bc: POP
000010bd: PUSH1 0x40
000010bf: MLOAD
000010c0: DUP1
000010c1: SWAP2
000010c2: SUB
000010c3: SWAP1
000010c4: LOG1
000010c5: PUSH1 0x01
000010c7: SWAP1
000010c8: POP
000010c9: SWAP3
000010ca: SWAP2
000010cb: POP
000010cc: POP
000010cd: JUMP
000010ce: JUMPDEST
000010cf: PUSH1 0x03
000010d1: PUSH1 0x20
000010d3: MSTORE
000010d4: DUP2
000010d5: PUSH1 0x00
000010d7: MSTORE
000010d8: PUSH1 0x40
000010da: PUSH1 0x00
000010dc: KECCAK256
000010dd: PUSH1 0x20
000010df: MSTORE
000010e0: DUP1
000010e1: PUSH1 0x00
000010e3: MSTORE
000010e4: PUSH1 0x40
000010e6: PUSH1 0x00
000010e8: KECCAK256
000010e9: PUSH1 0x00
000010eb: SWAP2
000010ec: POP
000010ed: SWAP2
000010ee: POP
000010ef: POP
000010f0: DUP1
000010f1: SLOAD
000010f2: PUSH1 0x01
000010f4: DUP2
000010f5: PUSH1 0x01
000010f7: AND
000010f8: ISZERO
000010f9: PUSH2 0x0100
000010fc: MUL
000010fd: SUB
000010fe: AND
000010ff: PUSH1 0x02
00001101: SWAP1
00001102: DIV
00001103: DUP1
00001104: PUSH1 0x1f
00001106: ADD
00001107: PUSH1 0x20
00001109: DUP1
0000110a: SWAP2
0000110b: DIV
0000110c: MUL
0000110d: PUSH1 0x20
0000110f: ADD
00001110: PUSH1 0x40
00001112: MLOAD
00001113: SWAP1
00001114: DUP2
00001115: ADD
00001116: PUSH1 0x40
00001118: MSTORE
00001119: DUP1
0000111a: SWAP3
0000111b: SWAP2
0000111c: SWAP1
0000111d: DUP2
0000111e: DUP2
0000111f: MSTORE
00001120: PUSH1 0x20
00001122: ADD
00001123: DUP3
00001124: DUP1
00001125: SLOAD
00001126: PUSH1 0x01
00001128: DUP2
00001129: PUSH1 0x01
0000112b: AND
0000112c: ISZERO
0000112d: PUSH2 0x0100
00001130: MUL
00001131: SUB
00001132: AND
00001133: PUSH1 0x02
00001135: SWAP1
00001136: DIV
00001137: DUP1
00001138: ISZERO
00001139: PUSH2 0x1183
0000113c: JUMPI
0000113d: DUP1
0000113e: PUSH1 0x1f
00001140: LT
00001141: PUSH2 0x1158
00001144: JUMPI
00001145: PUSH2 0x0100
00001148: DUP1
00001149: DUP4
0000114a: SLOAD
0000114b: DIV
0000114c: MUL
0000114d: DUP4
0000114e: MSTORE
0000114f: SWAP2
00001150: PUSH1 0x20
00001152: ADD
00001153: SWAP2
00001154: PUSH2 0x1183
00001157: JUMP
00001158: JUMPDEST
00001159: DUP3
0000115a: ADD
0000115b: SWAP2
0000115c: SWAP1
0000115d: PUSH1 0x00
0000115f: MSTORE
00001160: PUSH1 0x20
00001162: PUSH1 0x00
00001164: KECCAK256
00001165: SWAP1
00001166: JUMPDEST
00001167: DUP2
00001168: SLOAD
00001169: DUP2
0000116a: MSTORE
0000116b: SWAP1
0000116c: PUSH1 0x01
0000116e: ADD
0000116f: SWAP1
00001170: PUSH1 0x20
00001172: ADD
00001173: DUP1
00001174: DUP4
00001175: GT
00001176: PUSH2 0x1166
00001179: JUMPI
0000117a: DUP3
0000117b: SWAP1
0000117c: SUB
0000117d: PUSH1 0x1f
0000117f: AND
00001180: DUP3
00001181: ADD
00001182: SWAP2
00001183: JUMPDEST
00001184: POP
00001185: POP
00001186: POP
00001187: POP
00001188: POP
00001189: DUP2
0000118a: JUMP
0000118b: JUMPDEST
0000118c: PUSH1 0x00
0000118e: DUP1
0000118f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a4: AND
000011a5: DUP3
000011a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bb: AND
000011bc: EQ
000011bd: ISZERO
000011be: PUSH2 0x11e6
000011c1: JUMPI
000011c2: PUSH1 0x00
000011c4: ADDRESS
000011c5: SWAP1
000011c6: POP
000011c7: DUP1
000011c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011dd: AND
000011de: BALANCE
000011df: SWAP2
000011e0: POP
000011e1: POP
000011e2: PUSH2 0x12a7
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x00
000011e9: DUP3
000011ea: SWAP1
000011eb: POP
000011ec: DUP1
000011ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001202: AND
00001203: PUSH4 0x70a08231
00001208: ADDRESS
00001209: PUSH1 0x40
0000120b: MLOAD
0000120c: DUP3
0000120d: PUSH4 0xffffffff
00001212: AND
00001213: PUSH1 0xe0
00001215: SHL
00001216: DUP2
00001217: MSTORE
00001218: PUSH1 0x04
0000121a: ADD
0000121b: DUP1
0000121c: DUP3
0000121d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001232: AND
00001233: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001248: AND
00001249: DUP2
0000124a: MSTORE
0000124b: PUSH1 0x20
0000124d: ADD
0000124e: SWAP2
0000124f: POP
00001250: POP
00001251: PUSH1 0x20
00001253: PUSH1 0x40
00001255: MLOAD
00001256: DUP1
00001257: DUP4
00001258: SUB
00001259: DUP2
0000125a: DUP7
0000125b: DUP1
0000125c: EXTCODESIZE
0000125d: ISZERO
0000125e: DUP1
0000125f: ISZERO
00001260: PUSH2 0x1268
00001263: JUMPI
00001264: PUSH1 0x00
00001266: DUP1
00001267: REVERT
00001268: JUMPDEST
00001269: POP
0000126a: GAS
0000126b: STATICCALL
0000126c: ISZERO
0000126d: DUP1
0000126e: ISZERO
0000126f: PUSH2 0x127c
00001272: JUMPI
00001273: RETURNDATASIZE
00001274: PUSH1 0x00
00001276: DUP1
00001277: RETURNDATACOPY
00001278: RETURNDATASIZE
00001279: PUSH1 0x00
0000127b: REVERT
0000127c: JUMPDEST
0000127d: POP
0000127e: POP
0000127f: POP
00001280: POP
00001281: PUSH1 0x40
00001283: MLOAD
00001284: RETURNDATASIZE
00001285: PUSH1 0x20
00001287: DUP2
00001288: LT
00001289: ISZERO
0000128a: PUSH2 0x1292
0000128d: JUMPI
0000128e: PUSH1 0x00
00001290: DUP1
00001291: REVERT
00001292: JUMPDEST
00001293: DUP2
00001294: ADD
00001295: SWAP1
00001296: DUP1
00001297: DUP1
00001298: MLOAD
00001299: SWAP1
0000129a: PUSH1 0x20
0000129c: ADD
0000129d: SWAP1
0000129e: SWAP3
0000129f: SWAP2
000012a0: SWAP1
000012a1: POP
000012a2: POP
000012a3: POP
000012a4: SWAP2
000012a5: POP
000012a6: POP
000012a7: JUMPDEST
000012a8: SWAP2
000012a9: SWAP1
000012aa: POP
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH2 0x12b4
000012b0: PUSH2 0x1c36
000012b3: JUMP
000012b4: JUMPDEST
000012b5: PUSH2 0x1326
000012b8: JUMPI
000012b9: PUSH1 0x40
000012bb: MLOAD
000012bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012dd: DUP2
000012de: MSTORE
000012df: PUSH1 0x04
000012e1: ADD
000012e2: DUP1
000012e3: DUP1
000012e4: PUSH1 0x20
000012e6: ADD
000012e7: DUP3
000012e8: DUP2
000012e9: SUB
000012ea: DUP3
000012eb: MSTORE
000012ec: PUSH1 0x20
000012ee: DUP2
000012ef: MSTORE
000012f0: PUSH1 0x20
000012f2: ADD
000012f3: DUP1
000012f4: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001315: DUP2
00001316: MSTORE
00001317: POP
00001318: PUSH1 0x20
0000131a: ADD
0000131b: SWAP2
0000131c: POP
0000131d: POP
0000131e: PUSH1 0x40
00001320: MLOAD
00001321: DUP1
00001322: SWAP2
00001323: SUB
00001324: SWAP1
00001325: REVERT
00001326: JUMPDEST
00001327: PUSH1 0x00
00001329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133e: AND
0000133f: PUSH1 0x00
00001341: DUP1
00001342: SWAP1
00001343: SLOAD
00001344: SWAP1
00001345: PUSH2 0x0100
00001348: EXP
00001349: SWAP1
0000134a: DIV
0000134b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001360: AND
00001361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001376: AND
00001377: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001398: PUSH1 0x40
0000139a: MLOAD
0000139b: PUSH1 0x40
0000139d: MLOAD
0000139e: DUP1
0000139f: SWAP2
000013a0: SUB
000013a1: SWAP1
000013a2: LOG3
000013a3: PUSH1 0x00
000013a5: DUP1
000013a6: PUSH1 0x00
000013a8: PUSH2 0x0100
000013ab: EXP
000013ac: DUP2
000013ad: SLOAD
000013ae: DUP2
000013af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c4: MUL
000013c5: NOT
000013c6: AND
000013c7: SWAP1
000013c8: DUP4
000013c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013de: AND
000013df: MUL
000013e0: OR
000013e1: SWAP1
000013e2: SSTORE
000013e3: POP
000013e4: JUMP
000013e5: JUMPDEST
000013e6: PUSH1 0x00
000013e8: DUP1
000013e9: DUP3
000013ea: EQ
000013eb: ISZERO
000013ec: PUSH2 0x145d
000013ef: JUMPI
000013f0: PUSH1 0x40
000013f2: MLOAD
000013f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001414: DUP2
00001415: MSTORE
00001416: PUSH1 0x04
00001418: ADD
00001419: DUP1
0000141a: DUP1
0000141b: PUSH1 0x20
0000141d: ADD
0000141e: DUP3
0000141f: DUP2
00001420: SUB
00001421: DUP3
00001422: MSTORE
00001423: PUSH1 0x16
00001425: DUP2
00001426: MSTORE
00001427: PUSH1 0x20
00001429: ADD
0000142a: DUP1
0000142b: PUSH32 0x616d6f756e742063616e6e6f74206265207a65726f2100000000000000000000
0000144c: DUP2
0000144d: MSTORE
0000144e: POP
0000144f: PUSH1 0x20
00001451: ADD
00001452: SWAP2
00001453: POP
00001454: POP
00001455: PUSH1 0x40
00001457: MLOAD
00001458: DUP1
00001459: SWAP2
0000145a: SUB
0000145b: SWAP1
0000145c: REVERT
0000145d: JUMPDEST
0000145e: PUSH2 0x1467
00001461: DUP6
00001462: DUP4
00001463: PUSH2 0x21b1
00001466: JUMP
00001467: JUMPDEST
00001468: PUSH2 0x14bc
0000146b: JUMPI
0000146c: PUSH1 0x40
0000146e: MLOAD
0000146f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001490: DUP2
00001491: MSTORE
00001492: PUSH1 0x04
00001494: ADD
00001495: DUP1
00001496: DUP1
00001497: PUSH1 0x20
00001499: ADD
0000149a: DUP3
0000149b: DUP2
0000149c: SUB
0000149d: DUP3
0000149e: MSTORE
0000149f: PUSH1 0x3f
000014a1: DUP2
000014a2: MSTORE
000014a3: PUSH1 0x20
000014a5: ADD
000014a6: DUP1
000014a7: PUSH2 0x3b5d
000014aa: PUSH1 0x3f
000014ac: SWAP2
000014ad: CODECOPY
000014ae: PUSH1 0x40
000014b0: ADD
000014b1: SWAP2
000014b2: POP
000014b3: POP
000014b4: PUSH1 0x40
000014b6: MLOAD
000014b7: DUP1
000014b8: SWAP2
000014b9: SUB
000014ba: SWAP1
000014bb: REVERT
000014bc: JUMPDEST
000014bd: PUSH1 0x60
000014bf: PUSH1 0x03
000014c1: PUSH1 0x00
000014c3: DUP8
000014c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d9: AND
000014da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ef: AND
000014f0: DUP2
000014f1: MSTORE
000014f2: PUSH1 0x20
000014f4: ADD
000014f5: SWAP1
000014f6: DUP2
000014f7: MSTORE
000014f8: PUSH1 0x20
000014fa: ADD
000014fb: PUSH1 0x00
000014fd: KECCAK256
000014fe: PUSH1 0x00
00001500: DUP7
00001501: PUSH8 0xffffffffffffffff
0000150a: AND
0000150b: PUSH8 0xffffffffffffffff
00001514: AND
00001515: DUP2
00001516: MSTORE
00001517: PUSH1 0x20
00001519: ADD
0000151a: SWAP1
0000151b: DUP2
0000151c: MSTORE
0000151d: PUSH1 0x20
0000151f: ADD
00001520: PUSH1 0x00
00001522: KECCAK256
00001523: DUP1
00001524: SLOAD
00001525: PUSH1 0x01
00001527: DUP2
00001528: PUSH1 0x01
0000152a: AND
0000152b: ISZERO
0000152c: PUSH2 0x0100
0000152f: MUL
00001530: SUB
00001531: AND
00001532: PUSH1 0x02
00001534: SWAP1
00001535: DIV
00001536: DUP1
00001537: PUSH1 0x1f
00001539: ADD
0000153a: PUSH1 0x20
0000153c: DUP1
0000153d: SWAP2
0000153e: DIV
0000153f: MUL
00001540: PUSH1 0x20
00001542: ADD
00001543: PUSH1 0x40
00001545: MLOAD
00001546: SWAP1
00001547: DUP2
00001548: ADD
00001549: PUSH1 0x40
0000154b: MSTORE
0000154c: DUP1
0000154d: SWAP3
0000154e: SWAP2
0000154f: SWAP1
00001550: DUP2
00001551: DUP2
00001552: MSTORE
00001553: PUSH1 0x20
00001555: ADD
00001556: DUP3
00001557: DUP1
00001558: SLOAD
00001559: PUSH1 0x01
0000155b: DUP2
0000155c: PUSH1 0x01
0000155e: AND
0000155f: ISZERO
00001560: PUSH2 0x0100
00001563: MUL
00001564: SUB
00001565: AND
00001566: PUSH1 0x02
00001568: SWAP1
00001569: DIV
0000156a: DUP1
0000156b: ISZERO
0000156c: PUSH2 0x15b6
0000156f: JUMPI
00001570: DUP1
00001571: PUSH1 0x1f
00001573: LT
00001574: PUSH2 0x158b
00001577: JUMPI
00001578: PUSH2 0x0100
0000157b: DUP1
0000157c: DUP4
0000157d: SLOAD
0000157e: DIV
0000157f: MUL
00001580: DUP4
00001581: MSTORE
00001582: SWAP2
00001583: PUSH1 0x20
00001585: ADD
00001586: SWAP2
00001587: PUSH2 0x15b6
0000158a: JUMP
0000158b: JUMPDEST
0000158c: DUP3
0000158d: ADD
0000158e: SWAP2
0000158f: SWAP1
00001590: PUSH1 0x00
00001592: MSTORE
00001593: PUSH1 0x20
00001595: PUSH1 0x00
00001597: KECCAK256
00001598: SWAP1
00001599: JUMPDEST
0000159a: DUP2
0000159b: SLOAD
0000159c: DUP2
0000159d: MSTORE
0000159e: SWAP1
0000159f: PUSH1 0x01
000015a1: ADD
000015a2: SWAP1
000015a3: PUSH1 0x20
000015a5: ADD
000015a6: DUP1
000015a7: DUP4
000015a8: GT
000015a9: PUSH2 0x1599
000015ac: JUMPI
000015ad: DUP3
000015ae: SWAP1
000015af: SUB
000015b0: PUSH1 0x1f
000015b2: AND
000015b3: DUP3
000015b4: ADD
000015b5: SWAP2
000015b6: JUMPDEST
000015b7: POP
000015b8: POP
000015b9: POP
000015ba: POP
000015bb: POP
000015bc: SWAP1
000015bd: POP
000015be: PUSH1 0x00
000015c0: DUP2
000015c1: MLOAD
000015c2: EQ
000015c3: ISZERO
000015c4: PUSH2 0x1635
000015c7: JUMPI
000015c8: PUSH1 0x40
000015ca: MLOAD
000015cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015ec: DUP2
000015ed: MSTORE
000015ee: PUSH1 0x04
000015f0: ADD
000015f1: DUP1
000015f2: DUP1
000015f3: PUSH1 0x20
000015f5: ADD
000015f6: DUP3
000015f7: DUP2
000015f8: SUB
000015f9: DUP3
000015fa: MSTORE
000015fb: PUSH1 0x19
000015fd: DUP2
000015fe: MSTORE
000015ff: PUSH1 0x20
00001601: ADD
00001602: DUP1
00001603: PUSH32 0x656d70747920696c6c6567616c20746f41737365744861736800000000000000
00001624: DUP2
00001625: MSTORE
00001626: POP
00001627: PUSH1 0x20
00001629: ADD
0000162a: SWAP2
0000162b: POP
0000162c: POP
0000162d: PUSH1 0x40
0000162f: MLOAD
00001630: DUP1
00001631: SWAP2
00001632: SUB
00001633: SWAP1
00001634: REVERT
00001635: JUMPDEST
00001636: PUSH2 0x163d
00001639: PUSH2 0x38d0
0000163c: JUMP
0000163d: JUMPDEST
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: DUP1
00001642: PUSH1 0x60
00001644: ADD
00001645: PUSH1 0x40
00001647: MSTORE
00001648: DUP1
00001649: DUP4
0000164a: DUP2
0000164b: MSTORE
0000164c: PUSH1 0x20
0000164e: ADD
0000164f: DUP7
00001650: DUP2
00001651: MSTORE
00001652: PUSH1 0x20
00001654: ADD
00001655: DUP6
00001656: DUP2
00001657: MSTORE
00001658: POP
00001659: SWAP1
0000165a: POP
0000165b: PUSH1 0x60
0000165d: PUSH2 0x1665
00001660: DUP3
00001661: PUSH2 0x236a
00001664: JUMP
00001665: JUMPDEST
00001666: SWAP1
00001667: POP
00001668: PUSH1 0x00
0000166a: PUSH1 0x01
0000166c: PUSH1 0x00
0000166e: SWAP1
0000166f: SLOAD
00001670: SWAP1
00001671: PUSH2 0x0100
00001674: EXP
00001675: SWAP1
00001676: DIV
00001677: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168c: AND
0000168d: SWAP1
0000168e: POP
0000168f: PUSH1 0x00
00001691: DUP2
00001692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a7: AND
000016a8: PUSH4 0x87939a7f
000016ad: PUSH1 0x40
000016af: MLOAD
000016b0: DUP2
000016b1: PUSH4 0xffffffff
000016b6: AND
000016b7: PUSH1 0xe0
000016b9: SHL
000016ba: DUP2
000016bb: MSTORE
000016bc: PUSH1 0x04
000016be: ADD
000016bf: PUSH1 0x20
000016c1: PUSH1 0x40
000016c3: MLOAD
000016c4: DUP1
000016c5: DUP4
000016c6: SUB
000016c7: DUP2
000016c8: DUP7
000016c9: DUP1
000016ca: EXTCODESIZE
000016cb: ISZERO
000016cc: DUP1
000016cd: ISZERO
000016ce: PUSH2 0x16d6
000016d1: JUMPI
000016d2: PUSH1 0x00
000016d4: DUP1
000016d5: REVERT
000016d6: JUMPDEST
000016d7: POP
000016d8: GAS
000016d9: STATICCALL
000016da: ISZERO
000016db: DUP1
000016dc: ISZERO
000016dd: PUSH2 0x16ea
000016e0: JUMPI
000016e1: RETURNDATASIZE
000016e2: PUSH1 0x00
000016e4: DUP1
000016e5: RETURNDATACOPY
000016e6: RETURNDATASIZE
000016e7: PUSH1 0x00
000016e9: REVERT
000016ea: JUMPDEST
000016eb: POP
000016ec: POP
000016ed: POP
000016ee: POP
000016ef: PUSH1 0x40
000016f1: MLOAD
000016f2: RETURNDATASIZE
000016f3: PUSH1 0x20
000016f5: DUP2
000016f6: LT
000016f7: ISZERO
000016f8: PUSH2 0x1700
000016fb: JUMPI
000016fc: PUSH1 0x00
000016fe: DUP1
000016ff: REVERT
00001700: JUMPDEST
00001701: DUP2
00001702: ADD
00001703: SWAP1
00001704: DUP1
00001705: DUP1
00001706: MLOAD
00001707: SWAP1
00001708: PUSH1 0x20
0000170a: ADD
0000170b: SWAP1
0000170c: SWAP3
0000170d: SWAP2
0000170e: SWAP1
0000170f: POP
00001710: POP
00001711: POP
00001712: SWAP1
00001713: POP
00001714: PUSH1 0x00
00001716: DUP2
00001717: SWAP1
00001718: POP
00001719: PUSH1 0x60
0000171b: PUSH1 0x02
0000171d: PUSH1 0x00
0000171f: DUP13
00001720: PUSH8 0xffffffffffffffff
00001729: AND
0000172a: PUSH8 0xffffffffffffffff
00001733: AND
00001734: DUP2
00001735: MSTORE
00001736: PUSH1 0x20
00001738: ADD
00001739: SWAP1
0000173a: DUP2
0000173b: MSTORE
0000173c: PUSH1 0x20
0000173e: ADD
0000173f: PUSH1 0x00
00001741: KECCAK256
00001742: DUP1
00001743: SLOAD
00001744: PUSH1 0x01
00001746: DUP2
00001747: PUSH1 0x01
00001749: AND
0000174a: ISZERO
0000174b: PUSH2 0x0100
0000174e: MUL
0000174f: SUB
00001750: AND
00001751: PUSH1 0x02
00001753: SWAP1
00001754: DIV
00001755: DUP1
00001756: PUSH1 0x1f
00001758: ADD
00001759: PUSH1 0x20
0000175b: DUP1
0000175c: SWAP2
0000175d: DIV
0000175e: MUL
0000175f: PUSH1 0x20
00001761: ADD
00001762: PUSH1 0x40
00001764: MLOAD
00001765: SWAP1
00001766: DUP2
00001767: ADD
00001768: PUSH1 0x40
0000176a: MSTORE
0000176b: DUP1
0000176c: SWAP3
0000176d: SWAP2
0000176e: SWAP1
0000176f: DUP2
00001770: DUP2
00001771: MSTORE
00001772: PUSH1 0x20
00001774: ADD
00001775: DUP3
00001776: DUP1
00001777: SLOAD
00001778: PUSH1 0x01
0000177a: DUP2
0000177b: PUSH1 0x01
0000177d: AND
0000177e: ISZERO
0000177f: PUSH2 0x0100
00001782: MUL
00001783: SUB
00001784: AND
00001785: PUSH1 0x02
00001787: SWAP1
00001788: DIV
00001789: DUP1
0000178a: ISZERO
0000178b: PUSH2 0x17d5
0000178e: JUMPI
0000178f: DUP1
00001790: PUSH1 0x1f
00001792: LT
00001793: PUSH2 0x17aa
00001796: JUMPI
00001797: PUSH2 0x0100
0000179a: DUP1
0000179b: DUP4
0000179c: SLOAD
0000179d: DIV
0000179e: MUL
0000179f: DUP4
000017a0: MSTORE
000017a1: SWAP2
000017a2: PUSH1 0x20
000017a4: ADD
000017a5: SWAP2
000017a6: PUSH2 0x17d5
000017a9: JUMP
000017aa: JUMPDEST
000017ab: DUP3
000017ac: ADD
000017ad: SWAP2
000017ae: SWAP1
000017af: PUSH1 0x00
000017b1: MSTORE
000017b2: PUSH1 0x20
000017b4: PUSH1 0x00
000017b6: KECCAK256
000017b7: SWAP1
000017b8: JUMPDEST
000017b9: DUP2
000017ba: SLOAD
000017bb: DUP2
000017bc: MSTORE
000017bd: SWAP1
000017be: PUSH1 0x01
000017c0: ADD
000017c1: SWAP1
000017c2: PUSH1 0x20
000017c4: ADD
000017c5: DUP1
000017c6: DUP4
000017c7: GT
000017c8: PUSH2 0x17b8
000017cb: JUMPI
000017cc: DUP3
000017cd: SWAP1
000017ce: SUB
000017cf: PUSH1 0x1f
000017d1: AND
000017d2: DUP3
000017d3: ADD
000017d4: SWAP2
000017d5: JUMPDEST
000017d6: POP
000017d7: POP
000017d8: POP
000017d9: POP
000017da: POP
000017db: SWAP1
000017dc: POP
000017dd: PUSH1 0x00
000017df: DUP2
000017e0: MLOAD
000017e1: EQ
000017e2: ISZERO
000017e3: PUSH2 0x1854
000017e6: JUMPI
000017e7: PUSH1 0x40
000017e9: MLOAD
000017ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000180b: DUP2
0000180c: MSTORE
0000180d: PUSH1 0x04
0000180f: ADD
00001810: DUP1
00001811: DUP1
00001812: PUSH1 0x20
00001814: ADD
00001815: DUP3
00001816: DUP2
00001817: SUB
00001818: DUP3
00001819: MSTORE
0000181a: PUSH1 0x19
0000181c: DUP2
0000181d: MSTORE
0000181e: PUSH1 0x20
00001820: ADD
00001821: DUP1
00001822: PUSH32 0x656d70747920696c6c6567616c20746f50726f78794861736800000000000000
00001843: DUP2
00001844: MSTORE
00001845: POP
00001846: PUSH1 0x20
00001848: ADD
00001849: SWAP2
0000184a: POP
0000184b: POP
0000184c: PUSH1 0x40
0000184e: MLOAD
0000184f: DUP1
00001850: SWAP2
00001851: SUB
00001852: SWAP1
00001853: REVERT
00001854: JUMPDEST
00001855: DUP2
00001856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186b: AND
0000186c: PUSH4 0xbd5cf625
00001871: DUP13
00001872: DUP4
00001873: DUP9
00001874: PUSH1 0x40
00001876: MLOAD
00001877: DUP5
00001878: PUSH4 0xffffffff
0000187d: AND
0000187e: PUSH1 0xe0
00001880: SHL
00001881: DUP2
00001882: MSTORE
00001883: PUSH1 0x04
00001885: ADD
00001886: DUP1
00001887: DUP5
00001888: PUSH8 0xffffffffffffffff
00001891: AND
00001892: PUSH8 0xffffffffffffffff
0000189b: AND
0000189c: DUP2
0000189d: MSTORE
0000189e: PUSH1 0x20
000018a0: ADD
000018a1: DUP1
000018a2: PUSH1 0x20
000018a4: ADD
000018a5: DUP1
000018a6: PUSH1 0x20
000018a8: ADD
000018a9: DUP1
000018aa: PUSH1 0x20
000018ac: ADD
000018ad: DUP5
000018ae: DUP2
000018af: SUB
000018b0: DUP5
000018b1: MSTORE
000018b2: DUP7
000018b3: DUP2
000018b4: DUP2
000018b5: MLOAD
000018b6: DUP2
000018b7: MSTORE
000018b8: PUSH1 0x20
000018ba: ADD
000018bb: SWAP2
000018bc: POP
000018bd: DUP1
000018be: MLOAD
000018bf: SWAP1
000018c0: PUSH1 0x20
000018c2: ADD
000018c3: SWAP1
000018c4: DUP1
000018c5: DUP4
000018c6: DUP4
000018c7: PUSH1 0x00
000018c9: JUMPDEST
000018ca: DUP4
000018cb: DUP2
000018cc: LT
000018cd: ISZERO
000018ce: PUSH2 0x18e4
000018d1: JUMPI
000018d2: DUP1
000018d3: DUP3
000018d4: ADD
000018d5: MLOAD
000018d6: DUP2
000018d7: DUP5
000018d8: ADD
000018d9: MSTORE
000018da: PUSH1 0x20
000018dc: DUP2
000018dd: ADD
000018de: SWAP1
000018df: POP
000018e0: PUSH2 0x18c9
000018e3: JUMP
000018e4: JUMPDEST
000018e5: POP
000018e6: POP
000018e7: POP
000018e8: POP
000018e9: SWAP1
000018ea: POP
000018eb: SWAP1
000018ec: DUP2
000018ed: ADD
000018ee: SWAP1
000018ef: PUSH1 0x1f
000018f1: AND
000018f2: DUP1
000018f3: ISZERO
000018f4: PUSH2 0x1911
000018f7: JUMPI
000018f8: DUP1
000018f9: DUP3
000018fa: SUB
000018fb: DUP1
000018fc: MLOAD
000018fd: PUSH1 0x01
000018ff: DUP4
00001900: PUSH1 0x20
00001902: SUB
00001903: PUSH2 0x0100
00001906: EXP
00001907: SUB
00001908: NOT
00001909: AND
0000190a: DUP2
0000190b: MSTORE
0000190c: PUSH1 0x20
0000190e: ADD
0000190f: SWAP2
00001910: POP
00001911: JUMPDEST
00001912: POP
00001913: DUP5
00001914: DUP2
00001915: SUB
00001916: DUP4
00001917: MSTORE
00001918: PUSH1 0x06
0000191a: DUP2
0000191b: MSTORE
0000191c: PUSH1 0x20
0000191e: ADD
0000191f: DUP1
00001920: PUSH32 0x756e6c6f636b0000000000000000000000000000000000000000000000000000
00001941: DUP2
00001942: MSTORE
00001943: POP
00001944: PUSH1 0x20
00001946: ADD
00001947: DUP5
00001948: DUP2
00001949: SUB
0000194a: DUP3
0000194b: MSTORE
0000194c: DUP6
0000194d: DUP2
0000194e: DUP2
0000194f: MLOAD
00001950: DUP2
00001951: MSTORE
00001952: PUSH1 0x20
00001954: ADD
00001955: SWAP2
00001956: POP
00001957: DUP1
00001958: MLOAD
00001959: SWAP1
0000195a: PUSH1 0x20
0000195c: ADD
0000195d: SWAP1
0000195e: DUP1
0000195f: DUP4
00001960: DUP4
00001961: PUSH1 0x00
00001963: JUMPDEST
00001964: DUP4
00001965: DUP2
00001966: LT
00001967: ISZERO
00001968: PUSH2 0x197e
0000196b: JUMPI
0000196c: DUP1
0000196d: DUP3
0000196e: ADD
0000196f: MLOAD
00001970: DUP2
00001971: DUP5
00001972: ADD
00001973: MSTORE
00001974: PUSH1 0x20
00001976: DUP2
00001977: ADD
00001978: SWAP1
00001979: POP
0000197a: PUSH2 0x1963
0000197d: JUMP
0000197e: JUMPDEST
0000197f: POP
00001980: POP
00001981: POP
00001982: POP
00001983: SWAP1
00001984: POP
00001985: SWAP1
00001986: DUP2
00001987: ADD
00001988: SWAP1
00001989: PUSH1 0x1f
0000198b: AND
0000198c: DUP1
0000198d: ISZERO
0000198e: PUSH2 0x19ab
00001991: JUMPI
00001992: DUP1
00001993: DUP3
00001994: SUB
00001995: DUP1
00001996: MLOAD
00001997: PUSH1 0x01
00001999: DUP4
0000199a: PUSH1 0x20
0000199c: SUB
0000199d: PUSH2 0x0100
000019a0: EXP
000019a1: SUB
000019a2: NOT
000019a3: AND
000019a4: DUP2
000019a5: MSTORE
000019a6: PUSH1 0x20
000019a8: ADD
000019a9: SWAP2
000019aa: POP
000019ab: JUMPDEST
000019ac: POP
000019ad: SWAP7
000019ae: POP
000019af: POP
000019b0: POP
000019b1: POP
000019b2: POP
000019b3: POP
000019b4: POP
000019b5: PUSH1 0x20
000019b7: PUSH1 0x40
000019b9: MLOAD
000019ba: DUP1
000019bb: DUP4
000019bc: SUB
000019bd: DUP2
000019be: PUSH1 0x00
000019c0: DUP8
000019c1: DUP1
000019c2: EXTCODESIZE
000019c3: ISZERO
000019c4: DUP1
000019c5: ISZERO
000019c6: PUSH2 0x19ce
000019c9: JUMPI
000019ca: PUSH1 0x00
000019cc: DUP1
000019cd: REVERT
000019ce: JUMPDEST
000019cf: POP
000019d0: GAS
000019d1: CALL
000019d2: ISZERO
000019d3: DUP1
000019d4: ISZERO
000019d5: PUSH2 0x19e2
000019d8: JUMPI
000019d9: RETURNDATASIZE
000019da: PUSH1 0x00
000019dc: DUP1
000019dd: RETURNDATACOPY
000019de: RETURNDATASIZE
000019df: PUSH1 0x00
000019e1: REVERT
000019e2: JUMPDEST
000019e3: POP
000019e4: POP
000019e5: POP
000019e6: POP
000019e7: PUSH1 0x40
000019e9: MLOAD
000019ea: RETURNDATASIZE
000019eb: PUSH1 0x20
000019ed: DUP2
000019ee: LT
000019ef: ISZERO
000019f0: PUSH2 0x19f8
000019f3: JUMPI
000019f4: PUSH1 0x00
000019f6: DUP1
000019f7: REVERT
000019f8: JUMPDEST
000019f9: DUP2
000019fa: ADD
000019fb: SWAP1
000019fc: DUP1
000019fd: DUP1
000019fe: MLOAD
000019ff: SWAP1
00001a00: PUSH1 0x20
00001a02: ADD
00001a03: SWAP1
00001a04: SWAP3
00001a05: SWAP2
00001a06: SWAP1
00001a07: POP
00001a08: POP
00001a09: POP
00001a0a: PUSH2 0x1a5e
00001a0d: JUMPI
00001a0e: PUSH1 0x40
00001a10: MLOAD
00001a11: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a32: DUP2
00001a33: MSTORE
00001a34: PUSH1 0x04
00001a36: ADD
00001a37: DUP1
00001a38: DUP1
00001a39: PUSH1 0x20
00001a3b: ADD
00001a3c: DUP3
00001a3d: DUP2
00001a3e: SUB
00001a3f: DUP3
00001a40: MSTORE
00001a41: PUSH1 0x2f
00001a43: DUP2
00001a44: MSTORE
00001a45: PUSH1 0x20
00001a47: ADD
00001a48: DUP1
00001a49: PUSH2 0x3b2e
00001a4c: PUSH1 0x2f
00001a4e: SWAP2
00001a4f: CODECOPY
00001a50: PUSH1 0x40
00001a52: ADD
00001a53: SWAP2
00001a54: POP
00001a55: POP
00001a56: PUSH1 0x40
00001a58: MLOAD
00001a59: DUP1
00001a5a: SWAP2
00001a5b: SUB
00001a5c: SWAP1
00001a5d: REVERT
00001a5e: JUMPDEST
00001a5f: PUSH32 0x8636abd6d0e464fe725a13346c7ac779b73561c705506044a2e6b2cdb1295ea5
00001a80: DUP13
00001a81: PUSH2 0x1a88
00001a84: PUSH2 0x1f33
00001a87: JUMP
00001a88: JUMPDEST
00001a89: DUP14
00001a8a: DUP11
00001a8b: DUP15
00001a8c: DUP15
00001a8d: PUSH1 0x40
00001a8f: MLOAD
00001a90: DUP1
00001a91: DUP8
00001a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa7: AND
00001aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abd: AND
00001abe: DUP2
00001abf: MSTORE
00001ac0: PUSH1 0x20
00001ac2: ADD
00001ac3: DUP7
00001ac4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad9: AND
00001ada: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aef: AND
00001af0: DUP2
00001af1: MSTORE
00001af2: PUSH1 0x20
00001af4: ADD
00001af5: DUP6
00001af6: PUSH8 0xffffffffffffffff
00001aff: AND
00001b00: PUSH8 0xffffffffffffffff
00001b09: AND
00001b0a: DUP2
00001b0b: MSTORE
00001b0c: PUSH1 0x20
00001b0e: ADD
00001b0f: DUP1
00001b10: PUSH1 0x20
00001b12: ADD
00001b13: DUP1
00001b14: PUSH1 0x20
00001b16: ADD
00001b17: DUP5
00001b18: DUP2
00001b19: MSTORE
00001b1a: PUSH1 0x20
00001b1c: ADD
00001b1d: DUP4
00001b1e: DUP2
00001b1f: SUB
00001b20: DUP4
00001b21: MSTORE
00001b22: DUP7
00001b23: DUP2
00001b24: DUP2
00001b25: MLOAD
00001b26: DUP2
00001b27: MSTORE
00001b28: PUSH1 0x20
00001b2a: ADD
00001b2b: SWAP2
00001b2c: POP
00001b2d: DUP1
00001b2e: MLOAD
00001b2f: SWAP1
00001b30: PUSH1 0x20
00001b32: ADD
00001b33: SWAP1
00001b34: DUP1
00001b35: DUP4
00001b36: DUP4
00001b37: PUSH1 0x00
00001b39: JUMPDEST
00001b3a: DUP4
00001b3b: DUP2
00001b3c: LT
00001b3d: ISZERO
00001b3e: PUSH2 0x1b54
00001b41: JUMPI
00001b42: DUP1
00001b43: DUP3
00001b44: ADD
00001b45: MLOAD
00001b46: DUP2
00001b47: DUP5
00001b48: ADD
00001b49: MSTORE
00001b4a: PUSH1 0x20
00001b4c: DUP2
00001b4d: ADD
00001b4e: SWAP1
00001b4f: POP
00001b50: PUSH2 0x1b39
00001b53: JUMP
00001b54: JUMPDEST
00001b55: POP
00001b56: POP
00001b57: POP
00001b58: POP
00001b59: SWAP1
00001b5a: POP
00001b5b: SWAP1
00001b5c: DUP2
00001b5d: ADD
00001b5e: SWAP1
00001b5f: PUSH1 0x1f
00001b61: AND
00001b62: DUP1
00001b63: ISZERO
00001b64: PUSH2 0x1b81
00001b67: JUMPI
00001b68: DUP1
00001b69: DUP3
00001b6a: SUB
00001b6b: DUP1
00001b6c: MLOAD
00001b6d: PUSH1 0x01
00001b6f: DUP4
00001b70: PUSH1 0x20
00001b72: SUB
00001b73: PUSH2 0x0100
00001b76: EXP
00001b77: SUB
00001b78: NOT
00001b79: AND
00001b7a: DUP2
00001b7b: MSTORE
00001b7c: PUSH1 0x20
00001b7e: ADD
00001b7f: SWAP2
00001b80: POP
00001b81: JUMPDEST
00001b82: POP
00001b83: DUP4
00001b84: DUP2
00001b85: SUB
00001b86: DUP3
00001b87: MSTORE
00001b88: DUP6
00001b89: DUP2
00001b8a: DUP2
00001b8b: MLOAD
00001b8c: DUP2
00001b8d: MSTORE
00001b8e: PUSH1 0x20
00001b90: ADD
00001b91: SWAP2
00001b92: POP
00001b93: DUP1
00001b94: MLOAD
00001b95: SWAP1
00001b96: PUSH1 0x20
00001b98: ADD
00001b99: SWAP1
00001b9a: DUP1
00001b9b: DUP4
00001b9c: DUP4
00001b9d: PUSH1 0x00
00001b9f: JUMPDEST
00001ba0: DUP4
00001ba1: DUP2
00001ba2: LT
00001ba3: ISZERO
00001ba4: PUSH2 0x1bba
00001ba7: JUMPI
00001ba8: DUP1
00001ba9: DUP3
00001baa: ADD
00001bab: MLOAD
00001bac: DUP2
00001bad: DUP5
00001bae: ADD
00001baf: MSTORE
00001bb0: PUSH1 0x20
00001bb2: DUP2
00001bb3: ADD
00001bb4: SWAP1
00001bb5: POP
00001bb6: PUSH2 0x1b9f
00001bb9: JUMP
00001bba: JUMPDEST
00001bbb: POP
00001bbc: POP
00001bbd: POP
00001bbe: POP
00001bbf: SWAP1
00001bc0: POP
00001bc1: SWAP1
00001bc2: DUP2
00001bc3: ADD
00001bc4: SWAP1
00001bc5: PUSH1 0x1f
00001bc7: AND
00001bc8: DUP1
00001bc9: ISZERO
00001bca: PUSH2 0x1be7
00001bcd: JUMPI
00001bce: DUP1
00001bcf: DUP3
00001bd0: SUB
00001bd1: DUP1
00001bd2: MLOAD
00001bd3: PUSH1 0x01
00001bd5: DUP4
00001bd6: PUSH1 0x20
00001bd8: SUB
00001bd9: PUSH2 0x0100
00001bdc: EXP
00001bdd: SUB
00001bde: NOT
00001bdf: AND
00001be0: DUP2
00001be1: MSTORE
00001be2: PUSH1 0x20
00001be4: ADD
00001be5: SWAP2
00001be6: POP
00001be7: JUMPDEST
00001be8: POP
00001be9: SWAP9
00001bea: POP
00001beb: POP
00001bec: POP
00001bed: POP
00001bee: POP
00001bef: POP
00001bf0: POP
00001bf1: POP
00001bf2: POP
00001bf3: PUSH1 0x40
00001bf5: MLOAD
00001bf6: DUP1
00001bf7: SWAP2
00001bf8: SUB
00001bf9: SWAP1
00001bfa: LOG1
00001bfb: PUSH1 0x01
00001bfd: SWAP8
00001bfe: POP
00001bff: POP
00001c00: POP
00001c01: POP
00001c02: POP
00001c03: POP
00001c04: POP
00001c05: POP
00001c06: SWAP5
00001c07: SWAP4
00001c08: POP
00001c09: POP
00001c0a: POP
00001c0b: POP
00001c0c: JUMP
00001c0d: JUMPDEST
00001c0e: PUSH1 0x00
00001c10: DUP1
00001c11: PUSH1 0x00
00001c13: SWAP1
00001c14: SLOAD
00001c15: SWAP1
00001c16: PUSH2 0x0100
00001c19: EXP
00001c1a: SWAP1
00001c1b: DIV
00001c1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c31: AND
00001c32: SWAP1
00001c33: POP
00001c34: SWAP1
00001c35: JUMP
00001c36: JUMPDEST
00001c37: PUSH1 0x00
00001c39: DUP1
00001c3a: PUSH1 0x00
00001c3c: SWAP1
00001c3d: SLOAD
00001c3e: SWAP1
00001c3f: PUSH2 0x0100
00001c42: EXP
00001c43: SWAP1
00001c44: DIV
00001c45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5a: AND
00001c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c70: AND
00001c71: PUSH2 0x1c78
00001c74: PUSH2 0x1f33
00001c77: JUMP
00001c78: JUMPDEST
00001c79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c8e: AND
00001c8f: EQ
00001c90: SWAP1
00001c91: POP
00001c92: SWAP1
00001c93: JUMP
00001c94: JUMPDEST
00001c95: PUSH1 0x02
00001c97: PUSH1 0x20
00001c99: MSTORE
00001c9a: DUP1
00001c9b: PUSH1 0x00
00001c9d: MSTORE
00001c9e: PUSH1 0x40
00001ca0: PUSH1 0x00
00001ca2: KECCAK256
00001ca3: PUSH1 0x00
00001ca5: SWAP2
00001ca6: POP
00001ca7: SWAP1
00001ca8: POP
00001ca9: DUP1
00001caa: SLOAD
00001cab: PUSH1 0x01
00001cad: DUP2
00001cae: PUSH1 0x01
00001cb0: AND
00001cb1: ISZERO
00001cb2: PUSH2 0x0100
00001cb5: MUL
00001cb6: SUB
00001cb7: AND
00001cb8: PUSH1 0x02
00001cba: SWAP1
00001cbb: DIV
00001cbc: DUP1
00001cbd: PUSH1 0x1f
00001cbf: ADD
00001cc0: PUSH1 0x20
00001cc2: DUP1
00001cc3: SWAP2
00001cc4: DIV
00001cc5: MUL
00001cc6: PUSH1 0x20
00001cc8: ADD
00001cc9: PUSH1 0x40
00001ccb: MLOAD
00001ccc: SWAP1
00001ccd: DUP2
00001cce: ADD
00001ccf: PUSH1 0x40
00001cd1: MSTORE
00001cd2: DUP1
00001cd3: SWAP3
00001cd4: SWAP2
00001cd5: SWAP1
00001cd6: DUP2
00001cd7: DUP2
00001cd8: MSTORE
00001cd9: PUSH1 0x20
00001cdb: ADD
00001cdc: DUP3
00001cdd: DUP1
00001cde: SLOAD
00001cdf: PUSH1 0x01
00001ce1: DUP2
00001ce2: PUSH1 0x01
00001ce4: AND
00001ce5: ISZERO
00001ce6: PUSH2 0x0100
00001ce9: MUL
00001cea: SUB
00001ceb: AND
00001cec: PUSH1 0x02
00001cee: SWAP1
00001cef: DIV
00001cf0: DUP1
00001cf1: ISZERO
00001cf2: PUSH2 0x1d3c
00001cf5: JUMPI
00001cf6: DUP1
00001cf7: PUSH1 0x1f
00001cf9: LT
00001cfa: PUSH2 0x1d11
00001cfd: JUMPI
00001cfe: PUSH2 0x0100
00001d01: DUP1
00001d02: DUP4
00001d03: SLOAD
00001d04: DIV
00001d05: MUL
00001d06: DUP4
00001d07: MSTORE
00001d08: SWAP2
00001d09: PUSH1 0x20
00001d0b: ADD
00001d0c: SWAP2
00001d0d: PUSH2 0x1d3c
00001d10: JUMP
00001d11: JUMPDEST
00001d12: DUP3
00001d13: ADD
00001d14: SWAP2
00001d15: SWAP1
00001d16: PUSH1 0x00
00001d18: MSTORE
00001d19: PUSH1 0x20
00001d1b: PUSH1 0x00
00001d1d: KECCAK256
00001d1e: SWAP1
00001d1f: JUMPDEST
00001d20: DUP2
00001d21: SLOAD
00001d22: DUP2
00001d23: MSTORE
00001d24: SWAP1
00001d25: PUSH1 0x01
00001d27: ADD
00001d28: SWAP1
00001d29: PUSH1 0x20
00001d2b: ADD
00001d2c: DUP1
00001d2d: DUP4
00001d2e: GT
00001d2f: PUSH2 0x1d1f
00001d32: JUMPI
00001d33: DUP3
00001d34: SWAP1
00001d35: SUB
00001d36: PUSH1 0x1f
00001d38: AND
00001d39: DUP3
00001d3a: ADD
00001d3b: SWAP2
00001d3c: JUMPDEST
00001d3d: POP
00001d3e: POP
00001d3f: POP
00001d40: POP
00001d41: POP
00001d42: DUP2
00001d43: JUMP
00001d44: JUMPDEST
00001d45: PUSH2 0x1d4c
00001d48: PUSH2 0x1c36
00001d4b: JUMP
00001d4c: JUMPDEST
00001d4d: PUSH2 0x1dbe
00001d50: JUMPI
00001d51: PUSH1 0x40
00001d53: MLOAD
00001d54: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d75: DUP2
00001d76: MSTORE
00001d77: PUSH1 0x04
00001d79: ADD
00001d7a: DUP1
00001d7b: DUP1
00001d7c: PUSH1 0x20
00001d7e: ADD
00001d7f: DUP3
00001d80: DUP2
00001d81: SUB
00001d82: DUP3
00001d83: MSTORE
00001d84: PUSH1 0x20
00001d86: DUP2
00001d87: MSTORE
00001d88: PUSH1 0x20
00001d8a: ADD
00001d8b: DUP1
00001d8c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001dad: DUP2
00001dae: MSTORE
00001daf: POP
00001db0: PUSH1 0x20
00001db2: ADD
00001db3: SWAP2
00001db4: POP
00001db5: POP
00001db6: PUSH1 0x40
00001db8: MLOAD
00001db9: DUP1
00001dba: SWAP2
00001dbb: SUB
00001dbc: SWAP1
00001dbd: REVERT
00001dbe: JUMPDEST
00001dbf: DUP1
00001dc0: PUSH1 0x01
00001dc2: PUSH1 0x00
00001dc4: PUSH2 0x0100
00001dc7: EXP
00001dc8: DUP2
00001dc9: SLOAD
00001dca: DUP2
00001dcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de0: MUL
00001de1: NOT
00001de2: AND
00001de3: SWAP1
00001de4: DUP4
00001de5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfa: AND
00001dfb: MUL
00001dfc: OR
00001dfd: SWAP1
00001dfe: SSTORE
00001dff: POP
00001e00: PUSH32 0x43b1a8ec337adb61e8311ed025d99c80db65c02fe5c5027c1b6a93b40970cec4
00001e21: PUSH1 0x01
00001e23: PUSH1 0x00
00001e25: SWAP1
00001e26: SLOAD
00001e27: SWAP1
00001e28: PUSH2 0x0100
00001e2b: EXP
00001e2c: SWAP1
00001e2d: DIV
00001e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e43: AND
00001e44: PUSH1 0x40
00001e46: MLOAD
00001e47: DUP1
00001e48: DUP3
00001e49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5e: AND
00001e5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e74: AND
00001e75: DUP2
00001e76: MSTORE
00001e77: PUSH1 0x20
00001e79: ADD
00001e7a: SWAP2
00001e7b: POP
00001e7c: POP
00001e7d: PUSH1 0x40
00001e7f: MLOAD
00001e80: DUP1
00001e81: SWAP2
00001e82: SUB
00001e83: SWAP1
00001e84: LOG1
00001e85: POP
00001e86: JUMP
00001e87: JUMPDEST
00001e88: PUSH1 0x01
00001e8a: PUSH1 0x00
00001e8c: SWAP1
00001e8d: SLOAD
00001e8e: SWAP1
00001e8f: PUSH2 0x0100
00001e92: EXP
00001e93: SWAP1
00001e94: DIV
00001e95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eaa: AND
00001eab: DUP2
00001eac: JUMP
00001ead: JUMPDEST
00001eae: PUSH2 0x1eb5
00001eb1: PUSH2 0x1c36
00001eb4: JUMP
00001eb5: JUMPDEST
00001eb6: PUSH2 0x1f27
00001eb9: JUMPI
00001eba: PUSH1 0x40
00001ebc: MLOAD
00001ebd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ede: DUP2
00001edf: MSTORE
00001ee0: PUSH1 0x04
00001ee2: ADD
00001ee3: DUP1
00001ee4: DUP1
00001ee5: PUSH1 0x20
00001ee7: ADD
00001ee8: DUP3
00001ee9: DUP2
00001eea: SUB
00001eeb: DUP3
00001eec: MSTORE
00001eed: PUSH1 0x20
00001eef: DUP2
00001ef0: MSTORE
00001ef1: PUSH1 0x20
00001ef3: ADD
00001ef4: DUP1
00001ef5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001f16: DUP2
00001f17: MSTORE
00001f18: POP
00001f19: PUSH1 0x20
00001f1b: ADD
00001f1c: SWAP2
00001f1d: POP
00001f1e: POP
00001f1f: PUSH1 0x40
00001f21: MLOAD
00001f22: DUP1
00001f23: SWAP2
00001f24: SUB
00001f25: SWAP1
00001f26: REVERT
00001f27: JUMPDEST
00001f28: PUSH2 0x1f30
00001f2b: DUP2
00001f2c: PUSH2 0x24ad
00001f2f: JUMP
00001f30: JUMPDEST
00001f31: POP
00001f32: JUMP
00001f33: JUMPDEST
00001f34: PUSH1 0x00
00001f36: CALLER
00001f37: SWAP1
00001f38: POP
00001f39: SWAP1
00001f3a: JUMP
00001f3b: JUMPDEST
00001f3c: PUSH2 0x1f43
00001f3f: PUSH2 0x38d0
00001f42: JUMP
00001f43: JUMPDEST
00001f44: PUSH2 0x1f4b
00001f47: PUSH2 0x38d0
00001f4a: JUMP
00001f4b: JUMPDEST
00001f4c: PUSH1 0x00
00001f4e: DUP1
00001f4f: SWAP1
00001f50: POP
00001f51: PUSH2 0x1f5a
00001f54: DUP5
00001f55: DUP3
00001f56: PUSH2 0x25f1
00001f59: JUMP
00001f5a: JUMPDEST
00001f5b: DUP2
00001f5c: SWAP2
00001f5d: POP
00001f5e: DUP4
00001f5f: PUSH1 0x00
00001f61: ADD
00001f62: DUP2
00001f63: SWAP4
00001f64: POP
00001f65: DUP3
00001f66: SWAP1
00001f67: MSTORE
00001f68: POP
00001f69: POP
00001f6a: PUSH2 0x1f73
00001f6d: DUP5
00001f6e: DUP3
00001f6f: PUSH2 0x25f1
00001f72: JUMP
00001f73: JUMPDEST
00001f74: DUP2
00001f75: SWAP2
00001f76: POP
00001f77: DUP4
00001f78: PUSH1 0x20
00001f7a: ADD
00001f7b: DUP2
00001f7c: SWAP4
00001f7d: POP
00001f7e: DUP3
00001f7f: SWAP1
00001f80: MSTORE
00001f81: POP
00001f82: POP
00001f83: PUSH2 0x1f8c
00001f86: DUP5
00001f87: DUP3
00001f88: PUSH2 0x26f1
00001f8b: JUMP
00001f8c: JUMPDEST
00001f8d: DUP4
00001f8e: PUSH1 0x40
00001f90: ADD
00001f91: DUP2
00001f92: SWAP4
00001f93: POP
00001f94: DUP3
00001f95: DUP2
00001f96: MSTORE
00001f97: POP
00001f98: POP
00001f99: POP
00001f9a: DUP2
00001f9b: SWAP3
00001f9c: POP
00001f9d: POP
00001f9e: POP
00001f9f: SWAP2
00001fa0: SWAP1
00001fa1: POP
00001fa2: JUMP
00001fa3: JUMPDEST
00001fa4: PUSH1 0x00
00001fa6: DUP1
00001fa7: PUSH1 0x01
00001fa9: SWAP1
00001faa: POP
00001fab: DUP4
00001fac: SLOAD
00001fad: PUSH1 0x02
00001faf: PUSH1 0x01
00001fb1: DUP1
00001fb2: DUP4
00001fb3: AND
00001fb4: ISZERO
00001fb5: PUSH2 0x0100
00001fb8: MUL
00001fb9: SUB
00001fba: DUP3
00001fbb: AND
00001fbc: DIV
00001fbd: DUP5
00001fbe: MLOAD
00001fbf: DUP1
00001fc0: DUP3
00001fc1: EQ
00001fc2: PUSH1 0x01
00001fc4: DUP2
00001fc5: EQ
00001fc6: PUSH2 0x1fd2
00001fc9: JUMPI
00001fca: PUSH1 0x00
00001fcc: SWAP5
00001fcd: POP
00001fce: PUSH2 0x204d
00001fd1: JUMP
00001fd2: JUMPDEST
00001fd3: DUP3
00001fd4: ISZERO
00001fd5: PUSH2 0x204c
00001fd8: JUMPI
00001fd9: PUSH1 0x20
00001fdb: DUP4
00001fdc: LT
00001fdd: PUSH1 0x01
00001fdf: DUP2
00001fe0: EQ
00001fe1: PUSH2 0x2030
00001fe4: JUMPI
00001fe5: PUSH1 0x01
00001fe7: DUP10
00001fe8: PUSH1 0x00
00001fea: MSTORE
00001feb: PUSH1 0x20
00001fed: PUSH1 0x00
00001fef: KECCAK256
00001ff0: PUSH1 0x20
00001ff2: DUP11
00001ff3: ADD
00001ff4: DUP6
00001ff5: DUP2
00001ff6: ADD
00001ff7: JUMPDEST
00001ff8: PUSH1 0x02
00001ffa: DUP5
00001ffb: DUP3
00001ffc: DUP5
00001ffd: LT
00001ffe: ADD
00001fff: EQ
00002000: ISZERO
00002001: PUSH2 0x2027
00002004: JUMPI
00002005: DUP2
00002006: MLOAD
00002007: DUP4
00002008: SLOAD
00002009: EQ
0000200a: PUSH2 0x2016
0000200d: JUMPI
0000200e: PUSH1 0x00
00002010: SWAP10
00002011: POP
00002012: PUSH1 0x00
00002014: SWAP4
00002015: POP
00002016: JUMPDEST
00002017: PUSH1 0x01
00002019: DUP4
0000201a: ADD
0000201b: SWAP3
0000201c: POP
0000201d: PUSH1 0x20
0000201f: DUP3
00002020: ADD
00002021: SWAP2
00002022: POP
00002023: PUSH2 0x1ff7
00002026: JUMP
00002027: JUMPDEST
00002028: POP
00002029: POP
0000202a: POP
0000202b: POP
0000202c: PUSH2 0x204a
0000202f: JUMP
00002030: JUMPDEST
00002031: PUSH2 0x0100
00002034: DUP1
00002035: DUP7
00002036: DIV
00002037: MUL
00002038: SWAP5
00002039: POP
0000203a: PUSH1 0x20
0000203c: DUP9
0000203d: ADD
0000203e: MLOAD
0000203f: DUP6
00002040: EQ
00002041: PUSH2 0x2049
00002044: JUMPI
00002045: PUSH1 0x00
00002047: SWAP6
00002048: POP
00002049: JUMPDEST
0000204a: JUMPDEST
0000204b: POP
0000204c: JUMPDEST
0000204d: JUMPDEST
0000204e: POP
0000204f: POP
00002050: POP
00002051: POP
00002052: DUP1
00002053: SWAP2
00002054: POP
00002055: POP
00002056: SWAP3
00002057: SWAP2
00002058: POP
00002059: POP
0000205a: JUMP
0000205b: JUMPDEST
0000205c: PUSH1 0x00
0000205e: PUSH1 0x14
00002060: DUP3
00002061: MLOAD
00002062: EQ
00002063: PUSH2 0x20b7
00002066: JUMPI
00002067: PUSH1 0x40
00002069: MLOAD
0000206a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000208b: DUP2
0000208c: MSTORE
0000208d: PUSH1 0x04
0000208f: ADD
00002090: DUP1
00002091: DUP1
00002092: PUSH1 0x20
00002094: ADD
00002095: DUP3
00002096: DUP2
00002097: SUB
00002098: DUP3
00002099: MSTORE
0000209a: PUSH1 0x23
0000209c: DUP2
0000209d: MSTORE
0000209e: PUSH1 0x20
000020a0: ADD
000020a1: DUP1
000020a2: PUSH2 0x39fc
000020a5: PUSH1 0x23
000020a7: SWAP2
000020a8: CODECOPY
000020a9: PUSH1 0x40
000020ab: ADD
000020ac: SWAP2
000020ad: POP
000020ae: POP
000020af: PUSH1 0x40
000020b1: MLOAD
000020b2: DUP1
000020b3: SWAP2
000020b4: SUB
000020b5: SWAP1
000020b6: REVERT
000020b7: JUMPDEST
000020b8: PUSH1 0x14
000020ba: DUP3
000020bb: ADD
000020bc: MLOAD
000020bd: SWAP1
000020be: POP
000020bf: SWAP2
000020c0: SWAP1
000020c1: POP
000020c2: JUMP
000020c3: JUMPDEST
000020c4: PUSH1 0x00
000020c6: DUP1
000020c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020dc: AND
000020dd: DUP5
000020de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f3: AND
000020f4: EQ
000020f5: ISZERO
000020f6: PUSH2 0x2145
000020f9: JUMPI
000020fa: DUP3
000020fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002110: AND
00002111: PUSH2 0x08fc
00002114: DUP4
00002115: SWAP1
00002116: DUP2
00002117: ISZERO
00002118: MUL
00002119: SWAP1
0000211a: PUSH1 0x40
0000211c: MLOAD
0000211d: PUSH1 0x00
0000211f: PUSH1 0x40
00002121: MLOAD
00002122: DUP1
00002123: DUP4
00002124: SUB
00002125: DUP2
00002126: DUP6
00002127: DUP9
00002128: DUP9
00002129: CALL
0000212a: SWAP4
0000212b: POP
0000212c: POP
0000212d: POP
0000212e: POP
0000212f: ISZERO
00002130: DUP1
00002131: ISZERO
00002132: PUSH2 0x213f
00002135: JUMPI
00002136: RETURNDATASIZE
00002137: PUSH1 0x00
00002139: DUP1
0000213a: RETURNDATACOPY
0000213b: RETURNDATASIZE
0000213c: PUSH1 0x00
0000213e: REVERT
0000213f: JUMPDEST
00002140: POP
00002141: PUSH2 0x21a6
00002144: JUMP
00002145: JUMPDEST
00002146: PUSH2 0x2150
00002149: DUP5
0000214a: DUP5
0000214b: DUP5
0000214c: PUSH2 0x284a
0000214f: JUMP
00002150: JUMPDEST
00002151: PUSH2 0x21a5
00002154: JUMPI
00002155: PUSH1 0x40
00002157: MLOAD
00002158: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002179: DUP2
0000217a: MSTORE
0000217b: PUSH1 0x04
0000217d: ADD
0000217e: DUP1
0000217f: DUP1
00002180: PUSH1 0x20
00002182: ADD
00002183: DUP3
00002184: DUP2
00002185: SUB
00002186: DUP3
00002187: MSTORE
00002188: PUSH1 0x42
0000218a: DUP2
0000218b: MSTORE
0000218c: PUSH1 0x20
0000218e: ADD
0000218f: DUP1
00002190: PUSH2 0x39ba
00002193: PUSH1 0x42
00002195: SWAP2
00002196: CODECOPY
00002197: PUSH1 0x60
00002199: ADD
0000219a: SWAP2
0000219b: POP
0000219c: POP
0000219d: PUSH1 0x40
0000219f: MLOAD
000021a0: DUP1
000021a1: SWAP2
000021a2: SUB
000021a3: SWAP1
000021a4: REVERT
000021a5: JUMPDEST
000021a6: JUMPDEST
000021a7: PUSH1 0x01
000021a9: SWAP1
000021aa: POP
000021ab: SWAP4
000021ac: SWAP3
000021ad: POP
000021ae: POP
000021af: POP
000021b0: JUMP
000021b1: JUMPDEST
000021b2: PUSH1 0x00
000021b4: DUP1
000021b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ca: AND
000021cb: DUP4
000021cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e1: AND
000021e2: EQ
000021e3: ISZERO
000021e4: PUSH2 0x229e
000021e7: JUMPI
000021e8: PUSH1 0x00
000021ea: CALLVALUE
000021eb: EQ
000021ec: ISZERO
000021ed: PUSH2 0x2241
000021f0: JUMPI
000021f1: PUSH1 0x40
000021f3: MLOAD
000021f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002215: DUP2
00002216: MSTORE
00002217: PUSH1 0x04
00002219: ADD
0000221a: DUP1
0000221b: DUP1
0000221c: PUSH1 0x20
0000221e: ADD
0000221f: DUP3
00002220: DUP2
00002221: SUB
00002222: DUP3
00002223: MSTORE
00002224: PUSH1 0x21
00002226: DUP2
00002227: MSTORE
00002228: PUSH1 0x20
0000222a: ADD
0000222b: DUP1
0000222c: PUSH2 0x3c9b
0000222f: PUSH1 0x21
00002231: SWAP2
00002232: CODECOPY
00002233: PUSH1 0x40
00002235: ADD
00002236: SWAP2
00002237: POP
00002238: POP
00002239: PUSH1 0x40
0000223b: MLOAD
0000223c: DUP1
0000223d: SWAP2
0000223e: SUB
0000223f: SWAP1
00002240: REVERT
00002241: JUMPDEST
00002242: DUP2
00002243: CALLVALUE
00002244: EQ
00002245: PUSH2 0x2299
00002248: JUMPI
00002249: PUSH1 0x40
0000224b: MLOAD
0000224c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000226d: DUP2
0000226e: MSTORE
0000226f: PUSH1 0x04
00002271: ADD
00002272: DUP1
00002273: DUP1
00002274: PUSH1 0x20
00002276: ADD
00002277: DUP3
00002278: DUP2
00002279: SUB
0000227a: DUP3
0000227b: MSTORE
0000227c: PUSH1 0x29
0000227e: DUP2
0000227f: MSTORE
00002280: PUSH1 0x20
00002282: ADD
00002283: DUP1
00002284: PUSH2 0x3b9c
00002287: PUSH1 0x29
00002289: SWAP2
0000228a: CODECOPY
0000228b: PUSH1 0x40
0000228d: ADD
0000228e: SWAP2
0000228f: POP
00002290: POP
00002291: PUSH1 0x40
00002293: MLOAD
00002294: DUP1
00002295: SWAP2
00002296: SUB
00002297: SWAP1
00002298: REVERT
00002299: JUMPDEST
0000229a: PUSH2 0x2360
0000229d: JUMP
0000229e: JUMPDEST
0000229f: PUSH1 0x00
000022a1: CALLVALUE
000022a2: EQ
000022a3: PUSH2 0x22f7
000022a6: JUMPI
000022a7: PUSH1 0x40
000022a9: MLOAD
000022aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022cb: DUP2
000022cc: MSTORE
000022cd: PUSH1 0x04
000022cf: ADD
000022d0: DUP1
000022d1: DUP1
000022d2: PUSH1 0x20
000022d4: ADD
000022d5: DUP3
000022d6: DUP2
000022d7: SUB
000022d8: DUP3
000022d9: MSTORE
000022da: PUSH1 0x22
000022dc: DUP2
000022dd: MSTORE
000022de: PUSH1 0x20
000022e0: ADD
000022e1: DUP1
000022e2: PUSH2 0x3b0c
000022e5: PUSH1 0x22
000022e7: SWAP2
000022e8: CODECOPY
000022e9: PUSH1 0x40
000022eb: ADD
000022ec: SWAP2
000022ed: POP
000022ee: POP
000022ef: PUSH1 0x40
000022f1: MLOAD
000022f2: DUP1
000022f3: SWAP2
000022f4: SUB
000022f5: SWAP1
000022f6: REVERT
000022f7: JUMPDEST
000022f8: PUSH2 0x230a
000022fb: DUP4
000022fc: PUSH2 0x2303
000022ff: PUSH2 0x1f33
00002302: JUMP
00002303: JUMPDEST
00002304: ADDRESS
00002305: DUP6
00002306: PUSH2 0x2887
00002309: JUMP
0000230a: JUMPDEST
0000230b: PUSH2 0x235f
0000230e: JUMPI
0000230f: PUSH1 0x40
00002311: MLOAD
00002312: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002333: DUP2
00002334: MSTORE
00002335: PUSH1 0x04
00002337: ADD
00002338: DUP1
00002339: DUP1
0000233a: PUSH1 0x20
0000233c: ADD
0000233d: DUP3
0000233e: DUP2
0000233f: SUB
00002340: DUP3
00002341: MSTORE
00002342: PUSH1 0x33
00002344: DUP2
00002345: MSTORE
00002346: PUSH1 0x20
00002348: ADD
00002349: DUP1
0000234a: PUSH2 0x3a1f
0000234d: PUSH1 0x33
0000234f: SWAP2
00002350: CODECOPY
00002351: PUSH1 0x40
00002353: ADD
00002354: SWAP2
00002355: POP
00002356: POP
00002357: PUSH1 0x40
00002359: MLOAD
0000235a: DUP1
0000235b: SWAP2
0000235c: SUB
0000235d: SWAP1
0000235e: REVERT
0000235f: JUMPDEST
00002360: JUMPDEST
00002361: PUSH1 0x01
00002363: SWAP1
00002364: POP
00002365: SWAP3
00002366: SWAP2
00002367: POP
00002368: POP
00002369: JUMP
0000236a: JUMPDEST
0000236b: PUSH1 0x60
0000236d: DUP1
0000236e: PUSH2 0x237a
00002371: DUP4
00002372: PUSH1 0x00
00002374: ADD
00002375: MLOAD
00002376: PUSH2 0x28c7
00002379: JUMP
0000237a: JUMPDEST
0000237b: PUSH2 0x2387
0000237e: DUP5
0000237f: PUSH1 0x20
00002381: ADD
00002382: MLOAD
00002383: PUSH2 0x28c7
00002386: JUMP
00002387: JUMPDEST
00002388: PUSH2 0x2394
0000238b: DUP6
0000238c: PUSH1 0x40
0000238e: ADD
0000238f: MLOAD
00002390: PUSH2 0x299d
00002393: JUMP
00002394: JUMPDEST
00002395: PUSH1 0x40
00002397: MLOAD
00002398: PUSH1 0x20
0000239a: ADD
0000239b: DUP1
0000239c: DUP5
0000239d: DUP1
0000239e: MLOAD
0000239f: SWAP1
000023a0: PUSH1 0x20
000023a2: ADD
000023a3: SWAP1
000023a4: DUP1
000023a5: DUP4
000023a6: DUP4
000023a7: JUMPDEST
000023a8: PUSH1 0x20
000023aa: DUP4
000023ab: LT
000023ac: PUSH2 0x23ca
000023af: JUMPI
000023b0: DUP1
000023b1: MLOAD
000023b2: DUP3
000023b3: MSTORE
000023b4: PUSH1 0x20
000023b6: DUP3
000023b7: ADD
000023b8: SWAP2
000023b9: POP
000023ba: PUSH1 0x20
000023bc: DUP2
000023bd: ADD
000023be: SWAP1
000023bf: POP
000023c0: PUSH1 0x20
000023c2: DUP4
000023c3: SUB
000023c4: SWAP3
000023c5: POP
000023c6: PUSH2 0x23a7
000023c9: JUMP
000023ca: JUMPDEST
000023cb: PUSH1 0x01
000023cd: DUP4
000023ce: PUSH1 0x20
000023d0: SUB
000023d1: PUSH2 0x0100
000023d4: EXP
000023d5: SUB
000023d6: DUP1
000023d7: NOT
000023d8: DUP3
000023d9: MLOAD
000023da: AND
000023db: DUP2
000023dc: DUP5
000023dd: MLOAD
000023de: AND
000023df: DUP1
000023e0: DUP3
000023e1: OR
000023e2: DUP6
000023e3: MSTORE
000023e4: POP
000023e5: POP
000023e6: POP
000023e7: POP
000023e8: POP
000023e9: POP
000023ea: SWAP1
000023eb: POP
000023ec: ADD
000023ed: DUP4
000023ee: DUP1
000023ef: MLOAD
000023f0: SWAP1
000023f1: PUSH1 0x20
000023f3: ADD
000023f4: SWAP1
000023f5: DUP1
000023f6: DUP4
000023f7: DUP4
000023f8: JUMPDEST
000023f9: PUSH1 0x20
000023fb: DUP4
000023fc: LT
000023fd: PUSH2 0x241b
00002400: JUMPI
00002401: DUP1
00002402: MLOAD
00002403: DUP3
00002404: MSTORE
00002405: PUSH1 0x20
00002407: DUP3
00002408: ADD
00002409: SWAP2
0000240a: POP
0000240b: PUSH1 0x20
0000240d: DUP2
0000240e: ADD
0000240f: SWAP1
00002410: POP
00002411: PUSH1 0x20
00002413: DUP4
00002414: SUB
00002415: SWAP3
00002416: POP
00002417: PUSH2 0x23f8
0000241a: JUMP
0000241b: JUMPDEST
0000241c: PUSH1 0x01
0000241e: DUP4
0000241f: PUSH1 0x20
00002421: SUB
00002422: PUSH2 0x0100
00002425: EXP
00002426: SUB
00002427: DUP1
00002428: NOT
00002429: DUP3
0000242a: MLOAD
0000242b: AND
0000242c: DUP2
0000242d: DUP5
0000242e: MLOAD
0000242f: AND
00002430: DUP1
00002431: DUP3
00002432: OR
00002433: DUP6
00002434: MSTORE
00002435: POP
00002436: POP
00002437: POP
00002438: POP
00002439: POP
0000243a: POP
0000243b: SWAP1
0000243c: POP
0000243d: ADD
0000243e: DUP3
0000243f: DUP1
00002440: MLOAD
00002441: SWAP1
00002442: PUSH1 0x20
00002444: ADD
00002445: SWAP1
00002446: DUP1
00002447: DUP4
00002448: DUP4
00002449: JUMPDEST
0000244a: PUSH1 0x20
0000244c: DUP4
0000244d: LT
0000244e: PUSH2 0x246c
00002451: JUMPI
00002452: DUP1
00002453: MLOAD
00002454: DUP3
00002455: MSTORE
00002456: PUSH1 0x20
00002458: DUP3
00002459: ADD
0000245a: SWAP2
0000245b: POP
0000245c: PUSH1 0x20
0000245e: DUP2
0000245f: ADD
00002460: SWAP1
00002461: POP
00002462: PUSH1 0x20
00002464: DUP4
00002465: SUB
00002466: SWAP3
00002467: POP
00002468: PUSH2 0x2449
0000246b: JUMP
0000246c: JUMPDEST
0000246d: PUSH1 0x01
0000246f: DUP4
00002470: PUSH1 0x20
00002472: SUB
00002473: PUSH2 0x0100
00002476: EXP
00002477: SUB
00002478: DUP1
00002479: NOT
0000247a: DUP3
0000247b: MLOAD
0000247c: AND
0000247d: DUP2
0000247e: DUP5
0000247f: MLOAD
00002480: AND
00002481: DUP1
00002482: DUP3
00002483: OR
00002484: DUP6
00002485: MSTORE
00002486: POP
00002487: POP
00002488: POP
00002489: POP
0000248a: POP
0000248b: POP
0000248c: SWAP1
0000248d: POP
0000248e: ADD
0000248f: SWAP4
00002490: POP
00002491: POP
00002492: POP
00002493: POP
00002494: PUSH1 0x40
00002496: MLOAD
00002497: PUSH1 0x20
00002499: DUP2
0000249a: DUP4
0000249b: SUB
0000249c: SUB
0000249d: DUP2
0000249e: MSTORE
0000249f: SWAP1
000024a0: PUSH1 0x40
000024a2: MSTORE
000024a3: SWAP1
000024a4: POP
000024a5: DUP1
000024a6: SWAP2
000024a7: POP
000024a8: POP
000024a9: SWAP2
000024aa: SWAP1
000024ab: POP
000024ac: JUMP
000024ad: JUMPDEST
000024ae: PUSH1 0x00
000024b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c5: AND
000024c6: DUP2
000024c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024dc: AND
000024dd: EQ
000024de: ISZERO
000024df: PUSH2 0x2533
000024e2: JUMPI
000024e3: PUSH1 0x40
000024e5: MLOAD
000024e6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002507: DUP2
00002508: MSTORE
00002509: PUSH1 0x04
0000250b: ADD
0000250c: DUP1
0000250d: DUP1
0000250e: PUSH1 0x20
00002510: ADD
00002511: DUP3
00002512: DUP2
00002513: SUB
00002514: DUP3
00002515: MSTORE
00002516: PUSH1 0x26
00002518: DUP2
00002519: MSTORE
0000251a: PUSH1 0x20
0000251c: ADD
0000251d: DUP1
0000251e: PUSH2 0x3a52
00002521: PUSH1 0x26
00002523: SWAP2
00002524: CODECOPY
00002525: PUSH1 0x40
00002527: ADD
00002528: SWAP2
00002529: POP
0000252a: POP
0000252b: PUSH1 0x40
0000252d: MLOAD
0000252e: DUP1
0000252f: SWAP2
00002530: SUB
00002531: SWAP1
00002532: REVERT
00002533: JUMPDEST
00002534: DUP1
00002535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000254a: AND
0000254b: PUSH1 0x00
0000254d: DUP1
0000254e: SWAP1
0000254f: SLOAD
00002550: SWAP1
00002551: PUSH2 0x0100
00002554: EXP
00002555: SWAP1
00002556: DIV
00002557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000256c: AND
0000256d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002582: AND
00002583: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000025a4: PUSH1 0x40
000025a6: MLOAD
000025a7: PUSH1 0x40
000025a9: MLOAD
000025aa: DUP1
000025ab: SWAP2
000025ac: SUB
000025ad: SWAP1
000025ae: LOG3
000025af: DUP1
000025b0: PUSH1 0x00
000025b2: DUP1
000025b3: PUSH2 0x0100
000025b6: EXP
000025b7: DUP2
000025b8: SLOAD
000025b9: DUP2
000025ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025cf: MUL
000025d0: NOT
000025d1: AND
000025d2: SWAP1
000025d3: DUP4
000025d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e9: AND
000025ea: MUL
000025eb: OR
000025ec: SWAP1
000025ed: SSTORE
000025ee: POP
000025ef: POP
000025f0: JUMP
000025f1: JUMPDEST
000025f2: PUSH1 0x60
000025f4: PUSH1 0x00
000025f6: DUP1
000025f7: PUSH2 0x2600
000025fa: DUP6
000025fb: DUP6
000025fc: PUSH2 0x2a7c
000025ff: JUMP
00002600: JUMPDEST
00002601: DUP1
00002602: SWAP6
00002603: POP
00002604: DUP2
00002605: SWAP3
00002606: POP
00002607: POP
00002608: POP
00002609: DUP5
0000260a: MLOAD
0000260b: DUP2
0000260c: DUP6
0000260d: ADD
0000260e: GT
0000260f: ISZERO
00002610: DUP1
00002611: ISZERO
00002612: PUSH2 0x261c
00002615: JUMPI
00002616: POP
00002617: DUP1
00002618: DUP5
00002619: ADD
0000261a: DUP5
0000261b: LT
0000261c: JUMPDEST
0000261d: PUSH2 0x2671
00002620: JUMPI
00002621: PUSH1 0x40
00002623: MLOAD
00002624: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002645: DUP2
00002646: MSTORE
00002647: PUSH1 0x04
00002649: ADD
0000264a: DUP1
0000264b: DUP1
0000264c: PUSH1 0x20
0000264e: ADD
0000264f: DUP3
00002650: DUP2
00002651: SUB
00002652: DUP3
00002653: MSTORE
00002654: PUSH1 0x24
00002656: DUP2
00002657: MSTORE
00002658: PUSH1 0x20
0000265a: ADD
0000265b: DUP1
0000265c: PUSH2 0x3c55
0000265f: PUSH1 0x24
00002661: SWAP2
00002662: CODECOPY
00002663: PUSH1 0x40
00002665: ADD
00002666: SWAP2
00002667: POP
00002668: POP
00002669: PUSH1 0x40
0000266b: MLOAD
0000266c: DUP1
0000266d: SWAP2
0000266e: SUB
0000266f: SWAP1
00002670: REVERT
00002671: JUMPDEST
00002672: PUSH1 0x60
00002674: DUP2
00002675: ISZERO
00002676: PUSH1 0x00
00002678: DUP2
00002679: EQ
0000267a: PUSH2 0x268e
0000267d: JUMPI
0000267e: PUSH1 0x40
00002680: MLOAD
00002681: SWAP2
00002682: POP
00002683: PUSH1 0x20
00002685: DUP3
00002686: ADD
00002687: PUSH1 0x40
00002689: MSTORE
0000268a: PUSH2 0x26df
0000268d: JUMP
0000268e: JUMPDEST
0000268f: PUSH1 0x40
00002691: MLOAD
00002692: SWAP2
00002693: POP
00002694: PUSH1 0x1f
00002696: DUP4
00002697: AND
00002698: DUP1
00002699: ISZERO
0000269a: PUSH1 0x20
0000269c: MUL
0000269d: DUP2
0000269e: DUP5
0000269f: ADD
000026a0: ADD
000026a1: DUP5
000026a2: DUP2
000026a3: ADD
000026a4: DUP9
000026a5: DUP4
000026a6: ISZERO
000026a7: PUSH1 0x20
000026a9: MUL
000026aa: DUP5
000026ab: DUP13
000026ac: ADD
000026ad: ADD
000026ae: ADD
000026af: JUMPDEST
000026b0: DUP2
000026b1: DUP4
000026b2: LT
000026b3: ISZERO
000026b4: PUSH2 0x26cc
000026b7: JUMPI
000026b8: DUP1
000026b9: MLOAD
000026ba: DUP4
000026bb: MSTORE
000026bc: PUSH1 0x20
000026be: DUP4
000026bf: ADD
000026c0: SWAP3
000026c1: POP
000026c2: PUSH1 0x20
000026c4: DUP2
000026c5: ADD
000026c6: SWAP1
000026c7: POP
000026c8: PUSH2 0x26af
000026cb: JUMP
000026cc: JUMPDEST
000026cd: POP
000026ce: DUP6
000026cf: DUP6
000026d0: MSTORE
000026d1: PUSH1 0x1f
000026d3: NOT
000026d4: PUSH1 0x1f
000026d6: DUP4
000026d7: ADD
000026d8: AND
000026d9: PUSH1 0x40
000026db: MSTORE
000026dc: POP
000026dd: POP
000026de: POP
000026df: JUMPDEST
000026e0: POP
000026e1: DUP1
000026e2: DUP3
000026e3: DUP7
000026e4: ADD
000026e5: SWAP4
000026e6: POP
000026e7: SWAP4
000026e8: POP
000026e9: POP
000026ea: POP
000026eb: SWAP3
000026ec: POP
000026ed: SWAP3
000026ee: SWAP1
000026ef: POP
000026f0: JUMP
000026f1: JUMPDEST
000026f2: PUSH1 0x00
000026f4: DUP1
000026f5: DUP4
000026f6: MLOAD
000026f7: PUSH1 0x20
000026f9: DUP5
000026fa: ADD
000026fb: GT
000026fc: ISZERO
000026fd: DUP1
000026fe: ISZERO
000026ff: PUSH2 0x270a
00002702: JUMPI
00002703: POP
00002704: PUSH1 0x20
00002706: DUP4
00002707: ADD
00002708: DUP4
00002709: LT
0000270a: JUMPDEST
0000270b: PUSH2 0x275f
0000270e: JUMPI
0000270f: PUSH1 0x40
00002711: MLOAD
00002712: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002733: DUP2
00002734: MSTORE
00002735: PUSH1 0x04
00002737: ADD
00002738: DUP1
00002739: DUP1
0000273a: PUSH1 0x20
0000273c: ADD
0000273d: DUP3
0000273e: DUP2
0000273f: SUB
00002740: DUP3
00002741: MSTORE
00002742: PUSH1 0x23
00002744: DUP2
00002745: MSTORE
00002746: PUSH1 0x20
00002748: ADD
00002749: DUP1
0000274a: PUSH2 0x3997
0000274d: PUSH1 0x23
0000274f: SWAP2
00002750: CODECOPY
00002751: PUSH1 0x40
00002753: ADD
00002754: SWAP2
00002755: POP
00002756: POP
00002757: PUSH1 0x40
00002759: MLOAD
0000275a: DUP1
0000275b: SWAP2
0000275c: SUB
0000275d: SWAP1
0000275e: REVERT
0000275f: JUMPDEST
00002760: PUSH1 0x00
00002762: PUSH1 0x40
00002764: MLOAD
00002765: PUSH1 0x20
00002767: PUSH1 0x00
00002769: PUSH1 0x01
0000276b: DUP3
0000276c: SUB
0000276d: DUP8
0000276e: PUSH1 0x20
00002770: DUP11
00002771: ADD
00002772: ADD
00002773: MLOAD
00002774: JUMPDEST
00002775: DUP4
00002776: DUP4
00002777: LT
00002778: ISZERO
00002779: PUSH2 0x2794
0000277c: JUMPI
0000277d: DUP1
0000277e: DUP3
0000277f: BYTE
00002780: DUP4
00002781: DUP7
00002782: ADD
00002783: MSTORE8
00002784: PUSH1 0x01
00002786: DUP4
00002787: ADD
00002788: SWAP3
00002789: POP
0000278a: PUSH1 0x01
0000278c: DUP3
0000278d: SUB
0000278e: SWAP2
0000278f: POP
00002790: PUSH2 0x2774
00002793: JUMP
00002794: JUMPDEST
00002795: POP
00002796: POP
00002797: POP
00002798: DUP1
00002799: DUP3
0000279a: ADD
0000279b: PUSH1 0x40
0000279d: MSTORE
0000279e: DUP2
0000279f: MLOAD
000027a0: SWAP3
000027a1: POP
000027a2: POP
000027a3: POP
000027a4: PUSH32 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000027c5: DUP2
000027c6: GT
000027c7: ISZERO
000027c8: PUSH2 0x2839
000027cb: JUMPI
000027cc: PUSH1 0x40
000027ce: MLOAD
000027cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000027f0: DUP2
000027f1: MSTORE
000027f2: PUSH1 0x04
000027f4: ADD
000027f5: DUP1
000027f6: DUP1
000027f7: PUSH1 0x20
000027f9: ADD
000027fa: DUP3
000027fb: DUP2
000027fc: SUB
000027fd: DUP3
000027fe: MSTORE
000027ff: PUSH1 0x17
00002801: DUP2
00002802: MSTORE
00002803: PUSH1 0x20
00002805: ADD
00002806: DUP1
00002807: PUSH32 0x56616c75652065786365656473207468652072616e6765000000000000000000
00002828: DUP2
00002829: MSTORE
0000282a: POP
0000282b: PUSH1 0x20
0000282d: ADD
0000282e: SWAP2
0000282f: POP
00002830: POP
00002831: PUSH1 0x40
00002833: MLOAD
00002834: DUP1
00002835: SWAP2
00002836: SUB
00002837: SWAP1
00002838: REVERT
00002839: JUMPDEST
0000283a: DUP1
0000283b: PUSH1 0x20
0000283d: DUP6
0000283e: ADD
0000283f: SWAP3
00002840: POP
00002841: SWAP3
00002842: POP
00002843: POP
00002844: SWAP3
00002845: POP
00002846: SWAP3
00002847: SWAP1
00002848: POP
00002849: JUMP
0000284a: JUMPDEST
0000284b: PUSH1 0x00
0000284d: DUP1
0000284e: DUP5
0000284f: SWAP1
00002850: POP
00002851: PUSH2 0x287b
00002854: DUP5
00002855: DUP5
00002856: DUP4
00002857: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000286c: AND
0000286d: PUSH2 0x2dad
00002870: SWAP1
00002871: SWAP3
00002872: SWAP2
00002873: SWAP1
00002874: PUSH4 0xffffffff
00002879: AND
0000287a: JUMP
0000287b: JUMPDEST
0000287c: PUSH1 0x01
0000287e: SWAP2
0000287f: POP
00002880: POP
00002881: SWAP4
00002882: SWAP3
00002883: POP
00002884: POP
00002885: POP
00002886: JUMP
00002887: JUMPDEST
00002888: PUSH1 0x00
0000288a: DUP1
0000288b: DUP6
0000288c: SWAP1
0000288d: POP
0000288e: PUSH2 0x28ba
00002891: DUP6
00002892: DUP6
00002893: DUP6
00002894: DUP5
00002895: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028aa: AND
000028ab: PUSH2 0x2e7e
000028ae: SWAP1
000028af: SWAP4
000028b0: SWAP3
000028b1: SWAP2
000028b2: SWAP1
000028b3: PUSH4 0xffffffff
000028b8: AND
000028b9: JUMP
000028ba: JUMPDEST
000028bb: PUSH1 0x01
000028bd: SWAP2
000028be: POP
000028bf: POP
000028c0: SWAP5
000028c1: SWAP4
000028c2: POP
000028c3: POP
000028c4: POP
000028c5: POP
000028c6: JUMP
000028c7: JUMPDEST
000028c8: PUSH1 0x60
000028ca: PUSH1 0x00
000028cc: DUP3
000028cd: MLOAD
000028ce: SWAP1
000028cf: POP
000028d0: PUSH2 0x28d8
000028d3: DUP2
000028d4: PUSH2 0x2f84
000028d7: JUMP
000028d8: JUMPDEST
000028d9: DUP4
000028da: PUSH1 0x40
000028dc: MLOAD
000028dd: PUSH1 0x20
000028df: ADD
000028e0: DUP1
000028e1: DUP4
000028e2: DUP1
000028e3: MLOAD
000028e4: SWAP1
000028e5: PUSH1 0x20
000028e7: ADD
000028e8: SWAP1
000028e9: DUP1
000028ea: DUP4
000028eb: DUP4
000028ec: JUMPDEST
000028ed: PUSH1 0x20
000028ef: DUP4
000028f0: LT
000028f1: PUSH2 0x290f
000028f4: JUMPI
000028f5: DUP1
000028f6: MLOAD
000028f7: DUP3
000028f8: MSTORE
000028f9: PUSH1 0x20
000028fb: DUP3
000028fc: ADD
000028fd: SWAP2
000028fe: POP
000028ff: PUSH1 0x20
00002901: DUP2
00002902: ADD
00002903: SWAP1
00002904: POP
00002905: PUSH1 0x20
00002907: DUP4
00002908: SUB
00002909: SWAP3
0000290a: POP
0000290b: PUSH2 0x28ec
0000290e: JUMP
0000290f: JUMPDEST
00002910: PUSH1 0x01
00002912: DUP4
00002913: PUSH1 0x20
00002915: SUB
00002916: PUSH2 0x0100
00002919: EXP
0000291a: SUB
0000291b: DUP1
0000291c: NOT
0000291d: DUP3
0000291e: MLOAD
0000291f: AND
00002920: DUP2
00002921: DUP5
00002922: MLOAD
00002923: AND
00002924: DUP1
00002925: DUP3
00002926: OR
00002927: DUP6
00002928: MSTORE
00002929: POP
0000292a: POP
0000292b: POP
0000292c: POP
0000292d: POP
0000292e: POP
0000292f: SWAP1
00002930: POP
00002931: ADD
00002932: DUP3
00002933: DUP1
00002934: MLOAD
00002935: SWAP1
00002936: PUSH1 0x20
00002938: ADD
00002939: SWAP1
0000293a: DUP1
0000293b: DUP4
0000293c: DUP4
0000293d: JUMPDEST
0000293e: PUSH1 0x20
00002940: DUP4
00002941: LT
00002942: PUSH2 0x2960
00002945: JUMPI
00002946: DUP1
00002947: MLOAD
00002948: DUP3
00002949: MSTORE
0000294a: PUSH1 0x20
0000294c: DUP3
0000294d: ADD
0000294e: SWAP2
0000294f: POP
00002950: PUSH1 0x20
00002952: DUP2
00002953: ADD
00002954: SWAP1
00002955: POP
00002956: PUSH1 0x20
00002958: DUP4
00002959: SUB
0000295a: SWAP3
0000295b: POP
0000295c: PUSH2 0x293d
0000295f: JUMP
00002960: JUMPDEST
00002961: PUSH1 0x01
00002963: DUP4
00002964: PUSH1 0x20
00002966: SUB
00002967: PUSH2 0x0100
0000296a: EXP
0000296b: SUB
0000296c: DUP1
0000296d: NOT
0000296e: DUP3
0000296f: MLOAD
00002970: AND
00002971: DUP2
00002972: DUP5
00002973: MLOAD
00002974: AND
00002975: DUP1
00002976: DUP3
00002977: OR
00002978: DUP6
00002979: MSTORE
0000297a: POP
0000297b: POP
0000297c: POP
0000297d: POP
0000297e: POP
0000297f: POP
00002980: SWAP1
00002981: POP
00002982: ADD
00002983: SWAP3
00002984: POP
00002985: POP
00002986: POP
00002987: PUSH1 0x40
00002989: MLOAD
0000298a: PUSH1 0x20
0000298c: DUP2
0000298d: DUP4
0000298e: SUB
0000298f: SUB
00002990: DUP2
00002991: MSTORE
00002992: SWAP1
00002993: PUSH1 0x40
00002995: MSTORE
00002996: SWAP2
00002997: POP
00002998: POP
00002999: SWAP2
0000299a: SWAP1
0000299b: POP
0000299c: JUMP
0000299d: JUMPDEST
0000299e: PUSH1 0x60
000029a0: PUSH32 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029c1: DUP3
000029c2: GT
000029c3: ISZERO
000029c4: PUSH2 0x2a35
000029c7: JUMPI
000029c8: PUSH1 0x40
000029ca: MLOAD
000029cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000029ec: DUP2
000029ed: MSTORE
000029ee: PUSH1 0x04
000029f0: ADD
000029f1: DUP1
000029f2: DUP1
000029f3: PUSH1 0x20
000029f5: ADD
000029f6: DUP3
000029f7: DUP2
000029f8: SUB
000029f9: DUP3
000029fa: MSTORE
000029fb: PUSH1 0x1b
000029fd: DUP2
000029fe: MSTORE
000029ff: PUSH1 0x20
00002a01: ADD
00002a02: DUP1
00002a03: PUSH32 0x56616c756520657863656564732075696e743235352072616e67650000000000
00002a24: DUP2
00002a25: MSTORE
00002a26: POP
00002a27: PUSH1 0x20
00002a29: ADD
00002a2a: SWAP2
00002a2b: POP
00002a2c: POP
00002a2d: PUSH1 0x40
00002a2f: MLOAD
00002a30: DUP1
00002a31: SWAP2
00002a32: SUB
00002a33: SWAP1
00002a34: REVERT
00002a35: JUMPDEST
00002a36: PUSH1 0x60
00002a38: PUSH1 0x40
00002a3a: MLOAD
00002a3b: SWAP1
00002a3c: POP
00002a3d: PUSH1 0x20
00002a3f: DUP1
00002a40: DUP3
00002a41: MSTORE
00002a42: PUSH1 0x00
00002a44: PUSH1 0x1f
00002a46: JUMPDEST
00002a47: DUP3
00002a48: DUP3
00002a49: LT
00002a4a: ISZERO
00002a4b: PUSH2 0x2a69
00002a4e: JUMPI
00002a4f: DUP6
00002a50: DUP2
00002a51: BYTE
00002a52: DUP3
00002a53: PUSH1 0x20
00002a55: DUP7
00002a56: ADD
00002a57: ADD
00002a58: MSTORE8
00002a59: PUSH1 0x01
00002a5b: DUP3
00002a5c: ADD
00002a5d: SWAP2
00002a5e: POP
00002a5f: PUSH1 0x01
00002a61: DUP2
00002a62: SUB
00002a63: SWAP1
00002a64: POP
00002a65: PUSH2 0x2a46
00002a68: JUMP
00002a69: JUMPDEST
00002a6a: POP
00002a6b: POP
00002a6c: PUSH1 0x40
00002a6e: DUP3
00002a6f: ADD
00002a70: PUSH1 0x40
00002a72: MSTORE
00002a73: POP
00002a74: DUP1
00002a75: SWAP2
00002a76: POP
00002a77: POP
00002a78: SWAP2
00002a79: SWAP1
00002a7a: POP
00002a7b: JUMP
00002a7c: JUMPDEST
00002a7d: PUSH1 0x00
00002a7f: DUP1
00002a80: PUSH1 0x00
00002a82: PUSH2 0x2a8b
00002a85: DUP6
00002a86: DUP6
00002a87: PUSH2 0x325d
00002a8a: JUMP
00002a8b: JUMPDEST
00002a8c: DUP1
00002a8d: SWAP6
00002a8e: POP
00002a8f: DUP2
00002a90: SWAP3
00002a91: POP
00002a92: POP
00002a93: POP
00002a94: PUSH1 0x00
00002a96: PUSH1 0xfd
00002a98: PUSH1 0xf8
00002a9a: SHL
00002a9b: DUP3
00002a9c: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002abc: NOT
00002abd: AND
00002abe: EQ
00002abf: ISZERO
00002ac0: PUSH2 0x2b6e
00002ac3: JUMPI
00002ac4: PUSH2 0x2acd
00002ac7: DUP7
00002ac8: DUP7
00002ac9: PUSH2 0x3304
00002acc: JUMP
00002acd: JUMPDEST
00002ace: DUP2
00002acf: PUSH2 0xffff
00002ad2: AND
00002ad3: SWAP2
00002ad4: POP
00002ad5: DUP1
00002ad6: SWAP7
00002ad7: POP
00002ad8: DUP2
00002ad9: SWAP3
00002ada: POP
00002adb: POP
00002adc: POP
00002add: PUSH1 0xfd
00002adf: DUP2
00002ae0: LT
00002ae1: ISZERO
00002ae2: DUP1
00002ae3: ISZERO
00002ae4: PUSH2 0x2aef
00002ae7: JUMPI
00002ae8: POP
00002ae9: PUSH2 0xffff
00002aec: DUP2
00002aed: GT
00002aee: ISZERO
00002aef: JUMPDEST
00002af0: PUSH2 0x2b61
00002af3: JUMPI
00002af4: PUSH1 0x40
00002af6: MLOAD
00002af7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b18: DUP2
00002b19: MSTORE
00002b1a: PUSH1 0x04
00002b1c: ADD
00002b1d: DUP1
00002b1e: DUP1
00002b1f: PUSH1 0x20
00002b21: ADD
00002b22: DUP3
00002b23: DUP2
00002b24: SUB
00002b25: DUP3
00002b26: MSTORE
00002b27: PUSH1 0x1f
00002b29: DUP2
00002b2a: MSTORE
00002b2b: PUSH1 0x20
00002b2d: ADD
00002b2e: DUP1
00002b2f: PUSH32 0x4e65787455696e7431362c2076616c7565206f7574736964652072616e676500
00002b50: DUP2
00002b51: MSTORE
00002b52: POP
00002b53: PUSH1 0x20
00002b55: ADD
00002b56: SWAP2
00002b57: POP
00002b58: POP
00002b59: PUSH1 0x40
00002b5b: MLOAD
00002b5c: DUP1
00002b5d: SWAP2
00002b5e: SUB
00002b5f: SWAP1
00002b60: REVERT
00002b61: JUMPDEST
00002b62: DUP1
00002b63: DUP6
00002b64: SWAP4
00002b65: POP
00002b66: SWAP4
00002b67: POP
00002b68: POP
00002b69: POP
00002b6a: PUSH2 0x2da6
00002b6d: JUMP
00002b6e: JUMPDEST
00002b6f: PUSH1 0xfe
00002b71: PUSH1 0xf8
00002b73: SHL
00002b74: DUP3
00002b75: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002b95: NOT
00002b96: AND
00002b97: EQ
00002b98: ISZERO
00002b99: PUSH2 0x2c4b
00002b9c: JUMPI
00002b9d: PUSH2 0x2ba6
00002ba0: DUP7
00002ba1: DUP7
00002ba2: PUSH2 0x33ae
00002ba5: JUMP
00002ba6: JUMPDEST
00002ba7: DUP2
00002ba8: PUSH4 0xffffffff
00002bad: AND
00002bae: SWAP2
00002baf: POP
00002bb0: DUP1
00002bb1: SWAP7
00002bb2: POP
00002bb3: DUP2
00002bb4: SWAP3
00002bb5: POP
00002bb6: POP
00002bb7: POP
00002bb8: PUSH2 0xffff
00002bbb: DUP2
00002bbc: GT
00002bbd: DUP1
00002bbe: ISZERO
00002bbf: PUSH2 0x2bcc
00002bc2: JUMPI
00002bc3: POP
00002bc4: PUSH4 0xffffffff
00002bc9: DUP2
00002bca: GT
00002bcb: ISZERO
00002bcc: JUMPDEST
00002bcd: PUSH2 0x2c3e
00002bd0: JUMPI
00002bd1: PUSH1 0x40
00002bd3: MLOAD
00002bd4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002bf5: DUP2
00002bf6: MSTORE
00002bf7: PUSH1 0x04
00002bf9: ADD
00002bfa: DUP1
00002bfb: DUP1
00002bfc: PUSH1 0x20
00002bfe: ADD
00002bff: DUP3
00002c00: DUP2
00002c01: SUB
00002c02: DUP3
00002c03: MSTORE
00002c04: PUSH1 0x20
00002c06: DUP2
00002c07: MSTORE
00002c08: PUSH1 0x20
00002c0a: ADD
00002c0b: DUP1
00002c0c: PUSH32 0x4e65787456617255696e742c2076616c7565206f7574736964652072616e6765
00002c2d: DUP2
00002c2e: MSTORE
00002c2f: POP
00002c30: PUSH1 0x20
00002c32: ADD
00002c33: SWAP2
00002c34: POP
00002c35: POP
00002c36: PUSH1 0x40
00002c38: MLOAD
00002c39: DUP1
00002c3a: SWAP2
00002c3b: SUB
00002c3c: SWAP1
00002c3d: REVERT
00002c3e: JUMPDEST
00002c3f: DUP1
00002c40: DUP6
00002c41: SWAP4
00002c42: POP
00002c43: SWAP4
00002c44: POP
00002c45: POP
00002c46: POP
00002c47: PUSH2 0x2da6
00002c4a: JUMP
00002c4b: JUMPDEST
00002c4c: PUSH1 0xff
00002c4e: PUSH1 0xf8
00002c50: SHL
00002c51: DUP3
00002c52: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002c72: NOT
00002c73: AND
00002c74: EQ
00002c75: ISZERO
00002c76: PUSH2 0x2d1e
00002c79: JUMPI
00002c7a: PUSH2 0x2c83
00002c7d: DUP7
00002c7e: DUP7
00002c7f: PUSH2 0x3476
00002c82: JUMP
00002c83: JUMPDEST
00002c84: DUP2
00002c85: PUSH8 0xffffffffffffffff
00002c8e: AND
00002c8f: SWAP2
00002c90: POP
00002c91: DUP1
00002c92: SWAP7
00002c93: POP
00002c94: DUP2
00002c95: SWAP3
00002c96: POP
00002c97: POP
00002c98: POP
00002c99: PUSH4 0xffffffff
00002c9e: DUP2
00002c9f: GT
00002ca0: PUSH2 0x2d11
00002ca3: JUMPI
00002ca4: PUSH1 0x40
00002ca6: MLOAD
00002ca7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002cc8: DUP2
00002cc9: MSTORE
00002cca: PUSH1 0x04
00002ccc: ADD
00002ccd: DUP1
00002cce: DUP1
00002ccf: PUSH1 0x20
00002cd1: ADD
00002cd2: DUP3
00002cd3: DUP2
00002cd4: SUB
00002cd5: DUP3
00002cd6: MSTORE
00002cd7: PUSH1 0x20
00002cd9: DUP2
00002cda: MSTORE
00002cdb: PUSH1 0x20
00002cdd: ADD
00002cde: DUP1
00002cdf: PUSH32 0x4e65787456617255696e742c2076616c7565206f7574736964652072616e6765
00002d00: DUP2
00002d01: MSTORE
00002d02: POP
00002d03: PUSH1 0x20
00002d05: ADD
00002d06: SWAP2
00002d07: POP
00002d08: POP
00002d09: PUSH1 0x40
00002d0b: MLOAD
00002d0c: DUP1
00002d0d: SWAP2
00002d0e: SUB
00002d0f: SWAP1
00002d10: REVERT
00002d11: JUMPDEST
00002d12: DUP1
00002d13: DUP6
00002d14: SWAP4
00002d15: POP
00002d16: SWAP4
00002d17: POP
00002d18: POP
00002d19: POP
00002d1a: PUSH2 0x2da6
00002d1d: JUMP
00002d1e: JUMPDEST
00002d1f: DUP2
00002d20: PUSH1 0xf8
00002d22: SHR
00002d23: PUSH1 0xff
00002d25: AND
00002d26: SWAP1
00002d27: POP
00002d28: PUSH1 0xfd
00002d2a: DUP2
00002d2b: LT
00002d2c: PUSH2 0x2d9d
00002d2f: JUMPI
00002d30: PUSH1 0x40
00002d32: MLOAD
00002d33: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d54: DUP2
00002d55: MSTORE
00002d56: PUSH1 0x04
00002d58: ADD
00002d59: DUP1
00002d5a: DUP1
00002d5b: PUSH1 0x20
00002d5d: ADD
00002d5e: DUP3
00002d5f: DUP2
00002d60: SUB
00002d61: DUP3
00002d62: MSTORE
00002d63: PUSH1 0x20
00002d65: DUP2
00002d66: MSTORE
00002d67: PUSH1 0x20
00002d69: ADD
00002d6a: DUP1
00002d6b: PUSH32 0x4e65787456617255696e742c2076616c7565206f7574736964652072616e6765
00002d8c: DUP2
00002d8d: MSTORE
00002d8e: POP
00002d8f: PUSH1 0x20
00002d91: ADD
00002d92: SWAP2
00002d93: POP
00002d94: POP
00002d95: PUSH1 0x40
00002d97: MLOAD
00002d98: DUP1
00002d99: SWAP2
00002d9a: SUB
00002d9b: SWAP1
00002d9c: REVERT
00002d9d: JUMPDEST
00002d9e: DUP1
00002d9f: DUP6
00002da0: SWAP4
00002da1: POP
00002da2: SWAP4
00002da3: POP
00002da4: POP
00002da5: POP
00002da6: JUMPDEST
00002da7: SWAP3
00002da8: POP
00002da9: SWAP3
00002daa: SWAP1
00002dab: POP
00002dac: JUMP
00002dad: JUMPDEST
00002dae: PUSH2 0x2e79
00002db1: DUP4
00002db2: DUP5
00002db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dc8: AND
00002dc9: PUSH4 0xa9059cbb
00002dce: SWAP1
00002dcf: POP
00002dd0: PUSH1 0xe0
00002dd2: SHL
00002dd3: DUP5
00002dd4: DUP5
00002dd5: PUSH1 0x40
00002dd7: MLOAD
00002dd8: PUSH1 0x24
00002dda: ADD
00002ddb: DUP1
00002ddc: DUP4
00002ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002df2: AND
00002df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e08: AND
00002e09: DUP2
00002e0a: MSTORE
00002e0b: PUSH1 0x20
00002e0d: ADD
00002e0e: DUP3
00002e0f: DUP2
00002e10: MSTORE
00002e11: PUSH1 0x20
00002e13: ADD
00002e14: SWAP3
00002e15: POP
00002e16: POP
00002e17: POP
00002e18: PUSH1 0x40
00002e1a: MLOAD
00002e1b: PUSH1 0x20
00002e1d: DUP2
00002e1e: DUP4
00002e1f: SUB
00002e20: SUB
00002e21: DUP2
00002e22: MSTORE
00002e23: SWAP1
00002e24: PUSH1 0x40
00002e26: MSTORE
00002e27: SWAP1
00002e28: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002e45: NOT
00002e46: AND
00002e47: PUSH1 0x20
00002e49: DUP3
00002e4a: ADD
00002e4b: DUP1
00002e4c: MLOAD
00002e4d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002e6a: DUP4
00002e6b: DUP2
00002e6c: DUP4
00002e6d: AND
00002e6e: OR
00002e6f: DUP4
00002e70: MSTORE
00002e71: POP
00002e72: POP
00002e73: POP
00002e74: POP
00002e75: PUSH2 0x353e
00002e78: JUMP
00002e79: JUMPDEST
00002e7a: POP
00002e7b: POP
00002e7c: POP
00002e7d: JUMP
00002e7e: JUMPDEST
00002e7f: PUSH2 0x2f7e
00002e82: DUP5
00002e83: DUP6
00002e84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e99: AND
00002e9a: PUSH4 0x23b872dd
00002e9f: SWAP1
00002ea0: POP
00002ea1: PUSH1 0xe0
00002ea3: SHL
00002ea4: DUP6
00002ea5: DUP6
00002ea6: DUP6
00002ea7: PUSH1 0x40
00002ea9: MLOAD
00002eaa: PUSH1 0x24
00002eac: ADD
00002ead: DUP1
00002eae: DUP5
00002eaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ec4: AND
00002ec5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eda: AND
00002edb: DUP2
00002edc: MSTORE
00002edd: PUSH1 0x20
00002edf: ADD
00002ee0: DUP4
00002ee1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ef6: AND
00002ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f0c: AND
00002f0d: DUP2
00002f0e: MSTORE
00002f0f: PUSH1 0x20
00002f11: ADD
00002f12: DUP3
00002f13: DUP2
00002f14: MSTORE
00002f15: PUSH1 0x20
00002f17: ADD
00002f18: SWAP4
00002f19: POP
00002f1a: POP
00002f1b: POP
00002f1c: POP
00002f1d: PUSH1 0x40
00002f1f: MLOAD
00002f20: PUSH1 0x20
00002f22: DUP2
00002f23: DUP4
00002f24: SUB
00002f25: SUB
00002f26: DUP2
00002f27: MSTORE
00002f28: SWAP1
00002f29: PUSH1 0x40
00002f2b: MSTORE
00002f2c: SWAP1
00002f2d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002f4a: NOT
00002f4b: AND
00002f4c: PUSH1 0x20
00002f4e: DUP3
00002f4f: ADD
00002f50: DUP1
00002f51: MLOAD
00002f52: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002f6f: DUP4
00002f70: DUP2
00002f71: DUP4
00002f72: AND
00002f73: OR
00002f74: DUP4
00002f75: MSTORE
00002f76: POP
00002f77: POP
00002f78: POP
00002f79: POP
00002f7a: PUSH2 0x353e
00002f7d: JUMP
00002f7e: JUMPDEST
00002f7f: POP
00002f80: POP
00002f81: POP
00002f82: POP
00002f83: JUMP
00002f84: JUMPDEST
00002f85: PUSH1 0x60
00002f87: PUSH1 0xfd
00002f89: DUP3
00002f8a: PUSH8 0xffffffffffffffff
00002f93: AND
00002f94: LT
00002f95: ISZERO
00002f96: PUSH2 0x2fa9
00002f99: JUMPI
00002f9a: PUSH2 0x2fa2
00002f9d: DUP3
00002f9e: PUSH2 0x3773
00002fa1: JUMP
00002fa2: JUMPDEST
00002fa3: SWAP1
00002fa4: POP
00002fa5: PUSH2 0x3258
00002fa8: JUMP
00002fa9: JUMPDEST
00002faa: PUSH2 0xffff
00002fad: DUP3
00002fae: PUSH8 0xffffffffffffffff
00002fb7: AND
00002fb8: GT
00002fb9: PUSH2 0x3095
00002fbc: JUMPI
00002fbd: PUSH2 0x2fc9
00002fc0: PUSH1 0xfd
00002fc2: PUSH1 0xf8
00002fc4: SHL
00002fc5: PUSH2 0x3798
00002fc8: JUMP
00002fc9: JUMPDEST
00002fca: PUSH2 0x2fd2
00002fcd: DUP4
00002fce: PUSH2 0x37ad
00002fd1: JUMP
00002fd2: JUMPDEST
00002fd3: PUSH1 0x40
00002fd5: MLOAD
00002fd6: PUSH1 0x20
00002fd8: ADD
00002fd9: DUP1
00002fda: DUP4
00002fdb: DUP1
00002fdc: MLOAD
00002fdd: SWAP1
00002fde: PUSH1 0x20
00002fe0: ADD
00002fe1: SWAP1
00002fe2: DUP1
00002fe3: DUP4
00002fe4: DUP4
00002fe5: JUMPDEST
00002fe6: PUSH1 0x20
00002fe8: DUP4
00002fe9: LT
00002fea: PUSH2 0x3008
00002fed: JUMPI
00002fee: DUP1
00002fef: MLOAD
00002ff0: DUP3
00002ff1: MSTORE
00002ff2: PUSH1 0x20
00002ff4: DUP3
00002ff5: ADD
00002ff6: SWAP2
00002ff7: POP
00002ff8: PUSH1 0x20
00002ffa: DUP2
00002ffb: ADD
00002ffc: SWAP1
00002ffd: POP
00002ffe: PUSH1 0x20
00003000: DUP4
00003001: SUB
00003002: SWAP3
00003003: POP
00003004: PUSH2 0x2fe5
00003007: JUMP
00003008: JUMPDEST
00003009: PUSH1 0x01
0000300b: DUP4
0000300c: PUSH1 0x20
0000300e: SUB
0000300f: PUSH2 0x0100
00003012: EXP
00003013: SUB
00003014: DUP1
00003015: NOT
00003016: DUP3
00003017: MLOAD
00003018: AND
00003019: DUP2
0000301a: DUP5
0000301b: MLOAD
0000301c: AND
0000301d: DUP1
0000301e: DUP3
0000301f: OR
00003020: DUP6
00003021: MSTORE
00003022: POP
00003023: POP
00003024: POP
00003025: POP
00003026: POP
00003027: POP
00003028: SWAP1
00003029: POP
0000302a: ADD
0000302b: DUP3
0000302c: DUP1
0000302d: MLOAD
0000302e: SWAP1
0000302f: PUSH1 0x20
00003031: ADD
00003032: SWAP1
00003033: DUP1
00003034: DUP4
00003035: DUP4
00003036: JUMPDEST
00003037: PUSH1 0x20
00003039: DUP4
0000303a: LT
0000303b: PUSH2 0x3059
0000303e: JUMPI
0000303f: DUP1
00003040: MLOAD
00003041: DUP3
00003042: MSTORE
00003043: PUSH1 0x20
00003045: DUP3
00003046: ADD
00003047: SWAP2
00003048: POP
00003049: PUSH1 0x20
0000304b: DUP2
0000304c: ADD
0000304d: SWAP1
0000304e: POP
0000304f: PUSH1 0x20
00003051: DUP4
00003052: SUB
00003053: SWAP3
00003054: POP
00003055: PUSH2 0x3036
00003058: JUMP
00003059: JUMPDEST
0000305a: PUSH1 0x01
0000305c: DUP4
0000305d: PUSH1 0x20
0000305f: SUB
00003060: PUSH2 0x0100
00003063: EXP
00003064: SUB
00003065: DUP1
00003066: NOT
00003067: DUP3
00003068: MLOAD
00003069: AND
0000306a: DUP2
0000306b: DUP5
0000306c: MLOAD
0000306d: AND
0000306e: DUP1
0000306f: DUP3
00003070: OR
00003071: DUP6
00003072: MSTORE
00003073: POP
00003074: POP
00003075: POP
00003076: POP
00003077: POP
00003078: POP
00003079: SWAP1
0000307a: POP
0000307b: ADD
0000307c: SWAP3
0000307d: POP
0000307e: POP
0000307f: POP
00003080: PUSH1 0x40
00003082: MLOAD
00003083: PUSH1 0x20
00003085: DUP2
00003086: DUP4
00003087: SUB
00003088: SUB
00003089: DUP2
0000308a: MSTORE
0000308b: SWAP1
0000308c: PUSH1 0x40
0000308e: MSTORE
0000308f: SWAP1
00003090: POP
00003091: PUSH2 0x3258
00003094: JUMP
00003095: JUMPDEST
00003096: PUSH4 0xffffffff
0000309b: DUP3
0000309c: PUSH8 0xffffffffffffffff
000030a5: AND
000030a6: GT
000030a7: PUSH2 0x3183
000030aa: JUMPI
000030ab: PUSH2 0x30b7
000030ae: PUSH1 0xfe
000030b0: PUSH1 0xf8
000030b2: SHL
000030b3: PUSH2 0x3798
000030b6: JUMP
000030b7: JUMPDEST
000030b8: PUSH2 0x30c0
000030bb: DUP4
000030bc: PUSH2 0x37f5
000030bf: JUMP
000030c0: JUMPDEST
000030c1: PUSH1 0x40
000030c3: MLOAD
000030c4: PUSH1 0x20
000030c6: ADD
000030c7: DUP1
000030c8: DUP4
000030c9: DUP1
000030ca: MLOAD
000030cb: SWAP1
000030cc: PUSH1 0x20
000030ce: ADD
000030cf: SWAP1
000030d0: DUP1
000030d1: DUP4
000030d2: DUP4
000030d3: JUMPDEST
000030d4: PUSH1 0x20
000030d6: DUP4
000030d7: LT
000030d8: PUSH2 0x30f6
000030db: JUMPI
000030dc: DUP1
000030dd: MLOAD
000030de: DUP3
000030df: MSTORE
000030e0: PUSH1 0x20
000030e2: DUP3
000030e3: ADD
000030e4: SWAP2
000030e5: POP
000030e6: PUSH1 0x20
000030e8: DUP2
000030e9: ADD
000030ea: SWAP1
000030eb: POP
000030ec: PUSH1 0x20
000030ee: DUP4
000030ef: SUB
000030f0: SWAP3
000030f1: POP
000030f2: PUSH2 0x30d3
000030f5: JUMP
000030f6: JUMPDEST
000030f7: PUSH1 0x01
000030f9: DUP4
000030fa: PUSH1 0x20
000030fc: SUB
000030fd: PUSH2 0x0100
00003100: EXP
00003101: SUB
00003102: DUP1
00003103: NOT
00003104: DUP3
00003105: MLOAD
00003106: AND
00003107: DUP2
00003108: DUP5
00003109: MLOAD
0000310a: AND
0000310b: DUP1
0000310c: DUP3
0000310d: OR
0000310e: DUP6
0000310f: MSTORE
00003110: POP
00003111: POP
00003112: POP
00003113: POP
00003114: POP
00003115: POP
00003116: SWAP1
00003117: POP
00003118: ADD
00003119: DUP3
0000311a: DUP1
0000311b: MLOAD
0000311c: SWAP1
0000311d: PUSH1 0x20
0000311f: ADD
00003120: SWAP1
00003121: DUP1
00003122: DUP4
00003123: DUP4
00003124: JUMPDEST
00003125: PUSH1 0x20
00003127: DUP4
00003128: LT
00003129: PUSH2 0x3147
0000312c: JUMPI
0000312d: DUP1
0000312e: MLOAD
0000312f: DUP3
00003130: MSTORE
00003131: PUSH1 0x20
00003133: DUP3
00003134: ADD
00003135: SWAP2
00003136: POP
00003137: PUSH1 0x20
00003139: DUP2
0000313a: ADD
0000313b: SWAP1
0000313c: POP
0000313d: PUSH1 0x20
0000313f: DUP4
00003140: SUB
00003141: SWAP3
00003142: POP
00003143: PUSH2 0x3124
00003146: JUMP
00003147: JUMPDEST
00003148: PUSH1 0x01
0000314a: DUP4
0000314b: PUSH1 0x20
0000314d: SUB
0000314e: PUSH2 0x0100
00003151: EXP
00003152: SUB
00003153: DUP1
00003154: NOT
00003155: DUP3
00003156: MLOAD
00003157: AND
00003158: DUP2
00003159: DUP5
0000315a: MLOAD
0000315b: AND
0000315c: DUP1
0000315d: DUP3
0000315e: OR
0000315f: DUP6
00003160: MSTORE
00003161: POP
00003162: POP
00003163: POP
00003164: POP
00003165: POP
00003166: POP
00003167: SWAP1
00003168: POP
00003169: ADD
0000316a: SWAP3
0000316b: POP
0000316c: POP
0000316d: POP
0000316e: PUSH1 0x40
00003170: MLOAD
00003171: PUSH1 0x20
00003173: DUP2
00003174: DUP4
00003175: SUB
00003176: SUB
00003177: DUP2
00003178: MSTORE
00003179: SWAP1
0000317a: PUSH1 0x40
0000317c: MSTORE
0000317d: SWAP1
0000317e: POP
0000317f: PUSH2 0x3258
00003182: JUMP
00003183: JUMPDEST
00003184: PUSH2 0x3190
00003187: PUSH1 0xff
00003189: PUSH1 0xf8
0000318b: SHL
0000318c: PUSH2 0x3798
0000318f: JUMP
00003190: JUMPDEST
00003191: PUSH2 0x3199
00003194: DUP4
00003195: PUSH2 0x383d
00003198: JUMP
00003199: JUMPDEST
0000319a: PUSH1 0x40
0000319c: MLOAD
0000319d: PUSH1 0x20
0000319f: ADD
000031a0: DUP1
000031a1: DUP4
000031a2: DUP1
000031a3: MLOAD
000031a4: SWAP1
000031a5: PUSH1 0x20
000031a7: ADD
000031a8: SWAP1
000031a9: DUP1
000031aa: DUP4
000031ab: DUP4
000031ac: JUMPDEST
000031ad: PUSH1 0x20
000031af: DUP4
000031b0: LT
000031b1: PUSH2 0x31cf
000031b4: JUMPI
000031b5: DUP1
000031b6: MLOAD
000031b7: DUP3
000031b8: MSTORE
000031b9: PUSH1 0x20
000031bb: DUP3
000031bc: ADD
000031bd: SWAP2
000031be: POP
000031bf: PUSH1 0x20
000031c1: DUP2
000031c2: ADD
000031c3: SWAP1
000031c4: POP
000031c5: PUSH1 0x20
000031c7: DUP4
000031c8: SUB
000031c9: SWAP3
000031ca: POP
000031cb: PUSH2 0x31ac
000031ce: JUMP
000031cf: JUMPDEST
000031d0: PUSH1 0x01
000031d2: DUP4
000031d3: PUSH1 0x20
000031d5: SUB
000031d6: PUSH2 0x0100
000031d9: EXP
000031da: SUB
000031db: DUP1
000031dc: NOT
000031dd: DUP3
000031de: MLOAD
000031df: AND
000031e0: DUP2
000031e1: DUP5
000031e2: MLOAD
000031e3: AND
000031e4: DUP1
000031e5: DUP3
000031e6: OR
000031e7: DUP6
000031e8: MSTORE
000031e9: POP
000031ea: POP
000031eb: POP
000031ec: POP
000031ed: POP
000031ee: POP
000031ef: SWAP1
000031f0: POP
000031f1: ADD
000031f2: DUP3
000031f3: DUP1
000031f4: MLOAD
000031f5: SWAP1
000031f6: PUSH1 0x20
000031f8: ADD
000031f9: SWAP1
000031fa: DUP1
000031fb: DUP4
000031fc: DUP4
000031fd: JUMPDEST
000031fe: PUSH1 0x20
00003200: DUP4
00003201: LT
00003202: PUSH2 0x3220
00003205: JUMPI
00003206: DUP1
00003207: MLOAD
00003208: DUP3
00003209: MSTORE
0000320a: PUSH1 0x20
0000320c: DUP3
0000320d: ADD
0000320e: SWAP2
0000320f: POP
00003210: PUSH1 0x20
00003212: DUP2
00003213: ADD
00003214: SWAP1
00003215: POP
00003216: PUSH1 0x20
00003218: DUP4
00003219: SUB
0000321a: SWAP3
0000321b: POP
0000321c: PUSH2 0x31fd
0000321f: JUMP
00003220: JUMPDEST
00003221: PUSH1 0x01
00003223: DUP4
00003224: PUSH1 0x20
00003226: SUB
00003227: PUSH2 0x0100
0000322a: EXP
0000322b: SUB
0000322c: DUP1
0000322d: NOT
0000322e: DUP3
0000322f: MLOAD
00003230: AND
00003231: DUP2
00003232: DUP5
00003233: MLOAD
00003234: AND
00003235: DUP1
00003236: DUP3
00003237: OR
00003238: DUP6
00003239: MSTORE
0000323a: POP
0000323b: POP
0000323c: POP
0000323d: POP
0000323e: POP
0000323f: POP
00003240: SWAP1
00003241: POP
00003242: ADD
00003243: SWAP3
00003244: POP
00003245: POP
00003246: POP
00003247: PUSH1 0x40
00003249: MLOAD
0000324a: PUSH1 0x20
0000324c: DUP2
0000324d: DUP4
0000324e: SUB
0000324f: SUB
00003250: DUP2
00003251: MSTORE
00003252: SWAP1
00003253: PUSH1 0x40
00003255: MSTORE
00003256: SWAP1
00003257: POP
00003258: JUMPDEST
00003259: SWAP2
0000325a: SWAP1
0000325b: POP
0000325c: JUMP
0000325d: JUMPDEST
0000325e: PUSH1 0x00
00003260: DUP1
00003261: DUP4
00003262: MLOAD
00003263: PUSH1 0x01
00003265: DUP5
00003266: ADD
00003267: GT
00003268: ISZERO
00003269: DUP1
0000326a: ISZERO
0000326b: PUSH2 0x3276
0000326e: JUMPI
0000326f: POP
00003270: PUSH1 0x01
00003272: DUP4
00003273: ADD
00003274: DUP4
00003275: LT
00003276: JUMPDEST
00003277: PUSH2 0x32e8
0000327a: JUMPI
0000327b: PUSH1 0x40
0000327d: MLOAD
0000327e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000329f: DUP2
000032a0: MSTORE
000032a1: PUSH1 0x04
000032a3: ADD
000032a4: DUP1
000032a5: DUP1
000032a6: PUSH1 0x20
000032a8: ADD
000032a9: DUP3
000032aa: DUP2
000032ab: SUB
000032ac: DUP3
000032ad: MSTORE
000032ae: PUSH1 0x20
000032b0: DUP2
000032b1: MSTORE
000032b2: PUSH1 0x20
000032b4: ADD
000032b5: DUP1
000032b6: PUSH32 0x4e657874427974652c204f66667365742065786365656473206d6178696d756d
000032d7: DUP2
000032d8: MSTORE
000032d9: POP
000032da: PUSH1 0x20
000032dc: ADD
000032dd: SWAP2
000032de: POP
000032df: POP
000032e0: PUSH1 0x40
000032e2: MLOAD
000032e3: DUP1
000032e4: SWAP2
000032e5: SUB
000032e6: SWAP1
000032e7: REVERT
000032e8: JUMPDEST
000032e9: PUSH1 0x00
000032eb: DUP4
000032ec: PUSH1 0x20
000032ee: DUP7
000032ef: ADD
000032f0: ADD
000032f1: MLOAD
000032f2: SWAP1
000032f3: POP
000032f4: DUP1
000032f5: PUSH1 0x01
000032f7: DUP6
000032f8: ADD
000032f9: SWAP3
000032fa: POP
000032fb: SWAP3
000032fc: POP
000032fd: POP
000032fe: SWAP3
000032ff: POP
00003300: SWAP3
00003301: SWAP1
00003302: POP
00003303: JUMP
00003304: JUMPDEST
00003305: PUSH1 0x00
00003307: DUP1
00003308: DUP4
00003309: MLOAD
0000330a: PUSH1 0x02
0000330c: DUP5
0000330d: ADD
0000330e: GT
0000330f: ISZERO
00003310: DUP1
00003311: ISZERO
00003312: PUSH2 0x331d
00003315: JUMPI
00003316: POP
00003317: PUSH1 0x02
00003319: DUP4
0000331a: ADD
0000331b: DUP4
0000331c: LT
0000331d: JUMPDEST
0000331e: PUSH2 0x3372
00003321: JUMPI
00003322: PUSH1 0x40
00003324: MLOAD
00003325: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003346: DUP2
00003347: MSTORE
00003348: PUSH1 0x04
0000334a: ADD
0000334b: DUP1
0000334c: DUP1
0000334d: PUSH1 0x20
0000334f: ADD
00003350: DUP3
00003351: DUP2
00003352: SUB
00003353: DUP3
00003354: MSTORE
00003355: PUSH1 0x22
00003357: DUP2
00003358: MSTORE
00003359: PUSH1 0x20
0000335b: ADD
0000335c: DUP1
0000335d: PUSH2 0x3bc5
00003360: PUSH1 0x22
00003362: SWAP2
00003363: CODECOPY
00003364: PUSH1 0x40
00003366: ADD
00003367: SWAP2
00003368: POP
00003369: POP
0000336a: PUSH1 0x40
0000336c: MLOAD
0000336d: DUP1
0000336e: SWAP2
0000336f: SUB
00003370: SWAP1
00003371: REVERT
00003372: JUMPDEST
00003373: PUSH1 0x00
00003375: PUSH1 0x40
00003377: MLOAD
00003378: DUP5
00003379: PUSH1 0x20
0000337b: DUP8
0000337c: ADD
0000337d: ADD
0000337e: MLOAD
0000337f: DUP1
00003380: PUSH1 0x01
00003382: BYTE
00003383: DUP3
00003384: MSTORE8
00003385: DUP1
00003386: PUSH1 0x00
00003388: BYTE
00003389: PUSH1 0x01
0000338b: DUP4
0000338c: ADD
0000338d: MSTORE8
0000338e: PUSH1 0x02
00003390: DUP3
00003391: ADD
00003392: PUSH1 0x40
00003394: MSTORE
00003395: PUSH1 0x1e
00003397: DUP3
00003398: SUB
00003399: MLOAD
0000339a: SWAP3
0000339b: POP
0000339c: POP
0000339d: POP
0000339e: DUP1
0000339f: PUSH1 0x02
000033a1: DUP6
000033a2: ADD
000033a3: SWAP3
000033a4: POP
000033a5: SWAP3
000033a6: POP
000033a7: POP
000033a8: SWAP3
000033a9: POP
000033aa: SWAP3
000033ab: SWAP1
000033ac: POP
000033ad: JUMP
000033ae: JUMPDEST
000033af: PUSH1 0x00
000033b1: DUP1
000033b2: DUP4
000033b3: MLOAD
000033b4: PUSH1 0x04
000033b6: DUP5
000033b7: ADD
000033b8: GT
000033b9: ISZERO
000033ba: DUP1
000033bb: ISZERO
000033bc: PUSH2 0x33c7
000033bf: JUMPI
000033c0: POP
000033c1: PUSH1 0x04
000033c3: DUP4
000033c4: ADD
000033c5: DUP4
000033c6: LT
000033c7: JUMPDEST
000033c8: PUSH2 0x341c
000033cb: JUMPI
000033cc: PUSH1 0x40
000033ce: MLOAD
000033cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000033f0: DUP2
000033f1: MSTORE
000033f2: PUSH1 0x04
000033f4: ADD
000033f5: DUP1
000033f6: DUP1
000033f7: PUSH1 0x20
000033f9: ADD
000033fa: DUP3
000033fb: DUP2
000033fc: SUB
000033fd: DUP3
000033fe: MSTORE
000033ff: PUSH1 0x22
00003401: DUP2
00003402: MSTORE
00003403: PUSH1 0x20
00003405: ADD
00003406: DUP1
00003407: PUSH2 0x3c33
0000340a: PUSH1 0x22
0000340c: SWAP2
0000340d: CODECOPY
0000340e: PUSH1 0x40
00003410: ADD
00003411: SWAP2
00003412: POP
00003413: POP
00003414: PUSH1 0x40
00003416: MLOAD
00003417: DUP1
00003418: SWAP2
00003419: SUB
0000341a: SWAP1
0000341b: REVERT
0000341c: JUMPDEST
0000341d: PUSH1 0x00
0000341f: PUSH1 0x40
00003421: MLOAD
00003422: PUSH1 0x04
00003424: PUSH1 0x00
00003426: PUSH1 0x01
00003428: DUP3
00003429: SUB
0000342a: DUP8
0000342b: PUSH1 0x20
0000342d: DUP11
0000342e: ADD
0000342f: ADD
00003430: MLOAD
00003431: JUMPDEST
00003432: DUP4
00003433: DUP4
00003434: LT
00003435: ISZERO
00003436: PUSH2 0x3451
00003439: JUMPI
0000343a: DUP1
0000343b: DUP3
0000343c: BYTE
0000343d: DUP4
0000343e: DUP7
0000343f: ADD
00003440: MSTORE8
00003441: PUSH1 0x01
00003443: DUP4
00003444: ADD
00003445: SWAP3
00003446: POP
00003447: PUSH1 0x01
00003449: DUP3
0000344a: SUB
0000344b: SWAP2
0000344c: POP
0000344d: PUSH2 0x3431
00003450: JUMP
00003451: JUMPDEST
00003452: POP
00003453: POP
00003454: POP
00003455: DUP1
00003456: DUP3
00003457: ADD
00003458: PUSH1 0x40
0000345a: MSTORE
0000345b: DUP1
0000345c: PUSH1 0x20
0000345e: SUB
0000345f: DUP3
00003460: SUB
00003461: MLOAD
00003462: SWAP3
00003463: POP
00003464: POP
00003465: POP
00003466: DUP1
00003467: PUSH1 0x04
00003469: DUP6
0000346a: ADD
0000346b: SWAP3
0000346c: POP
0000346d: SWAP3
0000346e: POP
0000346f: POP
00003470: SWAP3
00003471: POP
00003472: SWAP3
00003473: SWAP1
00003474: POP
00003475: JUMP
00003476: JUMPDEST
00003477: PUSH1 0x00
00003479: DUP1
0000347a: DUP4
0000347b: MLOAD
0000347c: PUSH1 0x08
0000347e: DUP5
0000347f: ADD
00003480: GT
00003481: ISZERO
00003482: DUP1
00003483: ISZERO
00003484: PUSH2 0x348f
00003487: JUMPI
00003488: POP
00003489: PUSH1 0x08
0000348b: DUP4
0000348c: ADD
0000348d: DUP4
0000348e: LT
0000348f: JUMPDEST
00003490: PUSH2 0x34e4
00003493: JUMPI
00003494: PUSH1 0x40
00003496: MLOAD
00003497: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000034b8: DUP2
000034b9: MSTORE
000034ba: PUSH1 0x04
000034bc: ADD
000034bd: DUP1
000034be: DUP1
000034bf: PUSH1 0x20
000034c1: ADD
000034c2: DUP3
000034c3: DUP2
000034c4: SUB
000034c5: DUP3
000034c6: MSTORE
000034c7: PUSH1 0x22
000034c9: DUP2
000034ca: MSTORE
000034cb: PUSH1 0x20
000034cd: ADD
000034ce: DUP1
000034cf: PUSH2 0x3c11
000034d2: PUSH1 0x22
000034d4: SWAP2
000034d5: CODECOPY
000034d6: PUSH1 0x40
000034d8: ADD
000034d9: SWAP2
000034da: POP
000034db: POP
000034dc: PUSH1 0x40
000034de: MLOAD
000034df: DUP1
000034e0: SWAP2
000034e1: SUB
000034e2: SWAP1
000034e3: REVERT
000034e4: JUMPDEST
000034e5: PUSH1 0x00
000034e7: PUSH1 0x40
000034e9: MLOAD
000034ea: PUSH1 0x08
000034ec: PUSH1 0x00
000034ee: PUSH1 0x01
000034f0: DUP3
000034f1: SUB
000034f2: DUP8
000034f3: PUSH1 0x20
000034f5: DUP11
000034f6: ADD
000034f7: ADD
000034f8: MLOAD
000034f9: JUMPDEST
000034fa: DUP4
000034fb: DUP4
000034fc: LT
000034fd: ISZERO
000034fe: PUSH2 0x3519
00003501: JUMPI
00003502: DUP1
00003503: DUP3
00003504: BYTE
00003505: DUP4
00003506: DUP7
00003507: ADD
00003508: MSTORE8
00003509: PUSH1 0x01
0000350b: DUP4
0000350c: ADD
0000350d: SWAP3
0000350e: POP
0000350f: PUSH1 0x01
00003511: DUP3
00003512: SUB
00003513: SWAP2
00003514: POP
00003515: PUSH2 0x34f9
00003518: JUMP
00003519: JUMPDEST
0000351a: POP
0000351b: POP
0000351c: POP
0000351d: DUP1
0000351e: DUP3
0000351f: ADD
00003520: PUSH1 0x40
00003522: MSTORE
00003523: DUP1
00003524: PUSH1 0x20
00003526: SUB
00003527: DUP3
00003528: SUB
00003529: MLOAD
0000352a: SWAP3
0000352b: POP
0000352c: POP
0000352d: POP
0000352e: DUP1
0000352f: PUSH1 0x08
00003531: DUP6
00003532: ADD
00003533: SWAP3
00003534: POP
00003535: SWAP3
00003536: POP
00003537: POP
00003538: SWAP3
00003539: POP
0000353a: SWAP3
0000353b: SWAP1
0000353c: POP
0000353d: JUMP
0000353e: JUMPDEST
0000353f: PUSH2 0x3547
00003542: DUP3
00003543: PUSH2 0x3885
00003546: JUMP
00003547: JUMPDEST
00003548: PUSH2 0x35b9
0000354b: JUMPI
0000354c: PUSH1 0x40
0000354e: MLOAD
0000354f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003570: DUP2
00003571: MSTORE
00003572: PUSH1 0x04
00003574: ADD
00003575: DUP1
00003576: DUP1
00003577: PUSH1 0x20
00003579: ADD
0000357a: DUP3
0000357b: DUP2
0000357c: SUB
0000357d: DUP3
0000357e: MSTORE
0000357f: PUSH1 0x1f
00003581: DUP2
00003582: MSTORE
00003583: PUSH1 0x20
00003585: ADD
00003586: DUP1
00003587: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
000035a8: DUP2
000035a9: MSTORE
000035aa: POP
000035ab: PUSH1 0x20
000035ad: ADD
000035ae: SWAP2
000035af: POP
000035b0: POP
000035b1: PUSH1 0x40
000035b3: MLOAD
000035b4: DUP1
000035b5: SWAP2
000035b6: SUB
000035b7: SWAP1
000035b8: REVERT
000035b9: JUMPDEST
000035ba: PUSH1 0x00
000035bc: PUSH1 0x60
000035be: DUP4
000035bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035d4: AND
000035d5: DUP4
000035d6: PUSH1 0x40
000035d8: MLOAD
000035d9: DUP1
000035da: DUP3
000035db: DUP1
000035dc: MLOAD
000035dd: SWAP1
000035de: PUSH1 0x20
000035e0: ADD
000035e1: SWAP1
000035e2: DUP1
000035e3: DUP4
000035e4: DUP4
000035e5: JUMPDEST
000035e6: PUSH1 0x20
000035e8: DUP4
000035e9: LT
000035ea: PUSH2 0x3608
000035ed: JUMPI
000035ee: DUP1
000035ef: MLOAD
000035f0: DUP3
000035f1: MSTORE
000035f2: PUSH1 0x20
000035f4: DUP3
000035f5: ADD
000035f6: SWAP2
000035f7: POP
000035f8: PUSH1 0x20
000035fa: DUP2
000035fb: ADD
000035fc: SWAP1
000035fd: POP
000035fe: PUSH1 0x20
00003600: DUP4
00003601: SUB
00003602: SWAP3
00003603: POP
00003604: PUSH2 0x35e5
00003607: JUMP
00003608: JUMPDEST
00003609: PUSH1 0x01
0000360b: DUP4
0000360c: PUSH1 0x20
0000360e: SUB
0000360f: PUSH2 0x0100
00003612: EXP
00003613: SUB
00003614: DUP1
00003615: NOT
00003616: DUP3
00003617: MLOAD
00003618: AND
00003619: DUP2
0000361a: DUP5
0000361b: MLOAD
0000361c: AND
0000361d: DUP1
0000361e: DUP3
0000361f: OR
00003620: DUP6
00003621: MSTORE
00003622: POP
00003623: POP
00003624: POP
00003625: POP
00003626: POP
00003627: POP
00003628: SWAP1
00003629: POP
0000362a: ADD
0000362b: SWAP2
0000362c: POP
0000362d: POP
0000362e: PUSH1 0x00
00003630: PUSH1 0x40
00003632: MLOAD
00003633: DUP1
00003634: DUP4
00003635: SUB
00003636: DUP2
00003637: PUSH1 0x00
00003639: DUP7
0000363a: GAS
0000363b: CALL
0000363c: SWAP2
0000363d: POP
0000363e: POP
0000363f: RETURNDATASIZE
00003640: DUP1
00003641: PUSH1 0x00
00003643: DUP2
00003644: EQ
00003645: PUSH2 0x366a
00003648: JUMPI
00003649: PUSH1 0x40
0000364b: MLOAD
0000364c: SWAP2
0000364d: POP
0000364e: PUSH1 0x1f
00003650: NOT
00003651: PUSH1 0x3f
00003653: RETURNDATASIZE
00003654: ADD
00003655: AND
00003656: DUP3
00003657: ADD
00003658: PUSH1 0x40
0000365a: MSTORE
0000365b: RETURNDATASIZE
0000365c: DUP3
0000365d: MSTORE
0000365e: RETURNDATASIZE
0000365f: PUSH1 0x00
00003661: PUSH1 0x20
00003663: DUP5
00003664: ADD
00003665: RETURNDATACOPY
00003666: PUSH2 0x366f
00003669: JUMP
0000366a: JUMPDEST
0000366b: PUSH1 0x60
0000366d: SWAP2
0000366e: POP
0000366f: JUMPDEST
00003670: POP
00003671: SWAP2
00003672: POP
00003673: SWAP2
00003674: POP
00003675: DUP2
00003676: PUSH2 0x36e7
00003679: JUMPI
0000367a: PUSH1 0x40
0000367c: MLOAD
0000367d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000369e: DUP2
0000369f: MSTORE
000036a0: PUSH1 0x04
000036a2: ADD
000036a3: DUP1
000036a4: DUP1
000036a5: PUSH1 0x20
000036a7: ADD
000036a8: DUP3
000036a9: DUP2
000036aa: SUB
000036ab: DUP3
000036ac: MSTORE
000036ad: PUSH1 0x20
000036af: DUP2
000036b0: MSTORE
000036b1: PUSH1 0x20
000036b3: ADD
000036b4: DUP1
000036b5: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000036d6: DUP2
000036d7: MSTORE
000036d8: POP
000036d9: PUSH1 0x20
000036db: ADD
000036dc: SWAP2
000036dd: POP
000036de: POP
000036df: PUSH1 0x40
000036e1: MLOAD
000036e2: DUP1
000036e3: SWAP2
000036e4: SUB
000036e5: SWAP1
000036e6: REVERT
000036e7: JUMPDEST
000036e8: PUSH1 0x00
000036ea: DUP2
000036eb: MLOAD
000036ec: GT
000036ed: ISZERO
000036ee: PUSH2 0x376d
000036f1: JUMPI
000036f2: DUP1
000036f3: DUP1
000036f4: PUSH1 0x20
000036f6: ADD
000036f7: SWAP1
000036f8: MLOAD
000036f9: PUSH1 0x20
000036fb: DUP2
000036fc: LT
000036fd: ISZERO
000036fe: PUSH2 0x3706
00003701: JUMPI
00003702: PUSH1 0x00
00003704: DUP1
00003705: REVERT
00003706: JUMPDEST
00003707: DUP2
00003708: ADD
00003709: SWAP1
0000370a: DUP1
0000370b: DUP1
0000370c: MLOAD
0000370d: SWAP1
0000370e: PUSH1 0x20
00003710: ADD
00003711: SWAP1
00003712: SWAP3
00003713: SWAP2
00003714: SWAP1
00003715: POP
00003716: POP
00003717: POP
00003718: PUSH2 0x376c
0000371b: JUMPI
0000371c: PUSH1 0x40
0000371e: MLOAD
0000371f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003740: DUP2
00003741: MSTORE
00003742: PUSH1 0x04
00003744: ADD
00003745: DUP1
00003746: DUP1
00003747: PUSH1 0x20
00003749: ADD
0000374a: DUP3
0000374b: DUP2
0000374c: SUB
0000374d: DUP3
0000374e: MSTORE
0000374f: PUSH1 0x2a
00003751: DUP2
00003752: MSTORE
00003753: PUSH1 0x20
00003755: ADD
00003756: DUP1
00003757: PUSH2 0x3be7
0000375a: PUSH1 0x2a
0000375c: SWAP2
0000375d: CODECOPY
0000375e: PUSH1 0x40
00003760: ADD
00003761: SWAP2
00003762: POP
00003763: POP
00003764: PUSH1 0x40
00003766: MLOAD
00003767: DUP1
00003768: SWAP2
00003769: SUB
0000376a: SWAP1
0000376b: REVERT
0000376c: JUMPDEST
0000376d: JUMPDEST
0000376e: POP
0000376f: POP
00003770: POP
00003771: POP
00003772: JUMP
00003773: JUMPDEST
00003774: PUSH1 0x60
00003776: DUP1
00003777: PUSH1 0x40
00003779: MLOAD
0000377a: SWAP1
0000377b: POP
0000377c: PUSH1 0x01
0000377e: DUP2
0000377f: MSTORE
00003780: DUP3
00003781: PUSH1 0xf8
00003783: SHL
00003784: PUSH1 0x20
00003786: DUP3
00003787: ADD
00003788: MSTORE
00003789: PUSH1 0x21
0000378b: DUP2
0000378c: ADD
0000378d: PUSH1 0x40
0000378f: MSTORE
00003790: DUP1
00003791: SWAP2
00003792: POP
00003793: POP
00003794: SWAP2
00003795: SWAP1
00003796: POP
00003797: JUMP
00003798: JUMPDEST
00003799: PUSH1 0x60
0000379b: PUSH2 0x37a6
0000379e: DUP3
0000379f: PUSH1 0xf8
000037a1: SHR
000037a2: PUSH2 0x3773
000037a5: JUMP
000037a6: JUMPDEST
000037a7: SWAP1
000037a8: POP
000037a9: SWAP2
000037aa: SWAP1
000037ab: POP
000037ac: JUMP
000037ad: JUMPDEST
000037ae: PUSH1 0x60
000037b0: DUP1
000037b1: PUSH1 0x40
000037b3: MLOAD
000037b4: SWAP1
000037b5: POP
000037b6: PUSH1 0x02
000037b8: DUP1
000037b9: DUP3
000037ba: MSTORE
000037bb: PUSH1 0x00
000037bd: PUSH1 0x1f
000037bf: JUMPDEST
000037c0: DUP3
000037c1: DUP3
000037c2: LT
000037c3: ISZERO
000037c4: PUSH2 0x37e2
000037c7: JUMPI
000037c8: DUP6
000037c9: DUP2
000037ca: BYTE
000037cb: DUP3
000037cc: PUSH1 0x20
000037ce: DUP7
000037cf: ADD
000037d0: ADD
000037d1: MSTORE8
000037d2: PUSH1 0x01
000037d4: DUP3
000037d5: ADD
000037d6: SWAP2
000037d7: POP
000037d8: PUSH1 0x01
000037da: DUP2
000037db: SUB
000037dc: SWAP1
000037dd: POP
000037de: PUSH2 0x37bf
000037e1: JUMP
000037e2: JUMPDEST
000037e3: POP
000037e4: POP
000037e5: PUSH1 0x22
000037e7: DUP3
000037e8: ADD
000037e9: PUSH1 0x40
000037eb: MSTORE
000037ec: POP
000037ed: DUP1
000037ee: SWAP2
000037ef: POP
000037f0: POP
000037f1: SWAP2
000037f2: SWAP1
000037f3: POP
000037f4: JUMP
000037f5: JUMPDEST
000037f6: PUSH1 0x60
000037f8: DUP1
000037f9: PUSH1 0x40
000037fb: MLOAD
000037fc: SWAP1
000037fd: POP
000037fe: PUSH1 0x04
00003800: DUP1
00003801: DUP3
00003802: MSTORE
00003803: PUSH1 0x00
00003805: PUSH1 0x1f
00003807: JUMPDEST
00003808: DUP3
00003809: DUP3
0000380a: LT
0000380b: ISZERO
0000380c: PUSH2 0x382a
0000380f: JUMPI
00003810: DUP6
00003811: DUP2
00003812: BYTE
00003813: DUP3
00003814: PUSH1 0x20
00003816: DUP7
00003817: ADD
00003818: ADD
00003819: MSTORE8
0000381a: PUSH1 0x01
0000381c: DUP3
0000381d: ADD
0000381e: SWAP2
0000381f: POP
00003820: PUSH1 0x01
00003822: DUP2
00003823: SUB
00003824: SWAP1
00003825: POP
00003826: PUSH2 0x3807
00003829: JUMP
0000382a: JUMPDEST
0000382b: POP
0000382c: POP
0000382d: PUSH1 0x24
0000382f: DUP3
00003830: ADD
00003831: PUSH1 0x40
00003833: MSTORE
00003834: POP
00003835: DUP1
00003836: SWAP2
00003837: POP
00003838: POP
00003839: SWAP2
0000383a: SWAP1
0000383b: POP
0000383c: JUMP
0000383d: JUMPDEST
0000383e: PUSH1 0x60
00003840: DUP1
00003841: PUSH1 0x40
00003843: MLOAD
00003844: SWAP1
00003845: POP
00003846: PUSH1 0x08
00003848: DUP1
00003849: DUP3
0000384a: MSTORE
0000384b: PUSH1 0x00
0000384d: PUSH1 0x1f
0000384f: JUMPDEST
00003850: DUP3
00003851: DUP3
00003852: LT
00003853: ISZERO
00003854: PUSH2 0x3872
00003857: JUMPI
00003858: DUP6
00003859: DUP2
0000385a: BYTE
0000385b: DUP3
0000385c: PUSH1 0x20
0000385e: DUP7
0000385f: ADD
00003860: ADD
00003861: MSTORE8
00003862: PUSH1 0x01
00003864: DUP3
00003865: ADD
00003866: SWAP2
00003867: POP
00003868: PUSH1 0x01
0000386a: DUP2
0000386b: SUB
0000386c: SWAP1
0000386d: POP
0000386e: PUSH2 0x384f
00003871: JUMP
00003872: JUMPDEST
00003873: POP
00003874: POP
00003875: PUSH1 0x28
00003877: DUP3
00003878: ADD
00003879: PUSH1 0x40
0000387b: MSTORE
0000387c: POP
0000387d: DUP1
0000387e: SWAP2
0000387f: POP
00003880: POP
00003881: SWAP2
00003882: SWAP1
00003883: POP
00003884: JUMP
00003885: JUMPDEST
00003886: PUSH1 0x00
00003888: DUP1
00003889: PUSH1 0x00
0000388b: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
000038ac: PUSH1 0x00
000038ae: SHL
000038af: SWAP1
000038b0: POP
000038b1: DUP4
000038b2: EXTCODEHASH
000038b3: SWAP2
000038b4: POP
000038b5: PUSH1 0x00
000038b7: DUP1
000038b8: SHL
000038b9: DUP3
000038ba: EQ
000038bb: ISZERO
000038bc: DUP1
000038bd: ISZERO
000038be: PUSH2 0x38c7
000038c1: JUMPI
000038c2: POP
000038c3: DUP1
000038c4: DUP3
000038c5: EQ
000038c6: ISZERO
000038c7: JUMPDEST
000038c8: SWAP3
000038c9: POP
000038ca: POP
000038cb: POP
000038cc: SWAP2
000038cd: SWAP1
000038ce: POP
000038cf: JUMP
000038d0: JUMPDEST
000038d1: PUSH1 0x40
000038d3: MLOAD
000038d4: DUP1
000038d5: PUSH1 0x60
000038d7: ADD
000038d8: PUSH1 0x40
000038da: MSTORE
000038db: DUP1
000038dc: PUSH1 0x60
000038de: DUP2
000038df: MSTORE
000038e0: PUSH1 0x20
000038e2: ADD
000038e3: PUSH1 0x60
000038e5: DUP2
000038e6: MSTORE
000038e7: PUSH1 0x20
000038e9: ADD
000038ea: PUSH1 0x00
000038ec: DUP2
000038ed: MSTORE
000038ee: POP
000038ef: SWAP1
000038f0: JUMP
000038f1: JUMPDEST
000038f2: DUP3
000038f3: DUP1
000038f4: SLOAD
000038f5: PUSH1 0x01
000038f7: DUP2
000038f8: PUSH1 0x01
000038fa: AND
000038fb: ISZERO
000038fc: PUSH2 0x0100
000038ff: MUL
00003900: SUB
00003901: AND
00003902: PUSH1 0x02
00003904: SWAP1
00003905: DIV
00003906: SWAP1
00003907: PUSH1 0x00
00003909: MSTORE
0000390a: PUSH1 0x20
0000390c: PUSH1 0x00
0000390e: KECCAK256
0000390f: SWAP1
00003910: PUSH1 0x1f
00003912: ADD
00003913: PUSH1 0x20
00003915: SWAP1
00003916: DIV
00003917: DUP2
00003918: ADD
00003919: SWAP3
0000391a: DUP3
0000391b: PUSH1 0x1f
0000391d: LT
0000391e: PUSH2 0x3932
00003921: JUMPI
00003922: DUP1
00003923: MLOAD
00003924: PUSH1 0xff
00003926: NOT
00003927: AND
00003928: DUP4
00003929: DUP1
0000392a: ADD
0000392b: OR
0000392c: DUP6
0000392d: SSTORE
0000392e: PUSH2 0x3960
00003931: JUMP
00003932: JUMPDEST
00003933: DUP3
00003934: DUP1
00003935: ADD
00003936: PUSH1 0x01
00003938: ADD
00003939: DUP6
0000393a: SSTORE
0000393b: DUP3
0000393c: ISZERO
0000393d: PUSH2 0x3960
00003940: JUMPI
00003941: SWAP2
00003942: DUP3
00003943: ADD
00003944: JUMPDEST
00003945: DUP3
00003946: DUP2
00003947: GT
00003948: ISZERO
00003949: PUSH2 0x395f
0000394c: JUMPI
0000394d: DUP3
0000394e: MLOAD
0000394f: DUP3
00003950: SSTORE
00003951: SWAP2
00003952: PUSH1 0x20
00003954: ADD
00003955: SWAP2
00003956: SWAP1
00003957: PUSH1 0x01
00003959: ADD
0000395a: SWAP1
0000395b: PUSH2 0x3944
0000395e: JUMP
0000395f: JUMPDEST
00003960: JUMPDEST
00003961: POP
00003962: SWAP1
00003963: POP
00003964: PUSH2 0x396d
00003967: SWAP2
00003968: SWAP1
00003969: PUSH2 0x3971
0000396c: JUMP
0000396d: JUMPDEST
0000396e: POP
0000396f: SWAP1
00003970: JUMP
00003971: JUMPDEST
00003972: PUSH2 0x3993
00003975: SWAP2
00003976: SWAP1
00003977: JUMPDEST
00003978: DUP1
00003979: DUP3
0000397a: GT
0000397b: ISZERO
0000397c: PUSH2 0x398f
0000397f: JUMPI
00003980: PUSH1 0x00
00003982: DUP2
00003983: PUSH1 0x00
00003985: SWAP1
00003986: SSTORE
00003987: POP
00003988: PUSH1 0x01
0000398a: ADD
0000398b: PUSH2 0x3977
0000398e: JUMP
0000398f: JUMPDEST
00003990: POP
00003991: SWAP1
00003992: JUMP
00003993: JUMPDEST
00003994: SWAP1
00003995: JUMP
00003996: INVALID
00003997: UNKNOWN(0x4E)
00003998: PUSH6 0x787455696e74
0000399f: ORIGIN
000039a0: CALLDATALOAD
000039a1: CALLDATALOAD
000039a2: UNKNOWN(0x2C)
000039a3: KECCAK256
000039a4: PUSH16 0x66667365742065786365656473206d61
000039b5: PUSH25 0x696d756d7472616e7366657220657263323020617373657420
000039cf: PUSH7 0x726f6d206c6f63
000039d7: PUSH12 0x5f70726f787920636f6e7472
000039e4: PUSH2 0x6374
000039e7: KECCAK256
000039e8: PUSH21 0x6f20746f41646472657373206661696c6564216279
000039fe: PUSH21 0x6573206c656e67746820646f6573206e6f74206d61
00003a14: PUSH21 0x636820616464726573737472616e73666572206572
00003a2a: PUSH4 0x32302061
00003a2f: PUSH20 0x73657420746f206c6f636b5f70726f787920636f
00003a44: PUSH15 0x7472616374206661696c6564214f77
00003a54: PUSH15 0x61626c653a206e6577206f776e6572
00003a64: KECCAK256
00003a65: PUSH10 0x7320746865207a65726f
00003a70: KECCAK256
00003a71: PUSH2 0x6464
00003a74: PUSH19 0x6573737472616e736665722061737365742066
00003a88: PUSH19 0x6f6d206c6f636b5f70726f787920636f6e7472
00003a9c: PUSH2 0x6374
00003a9f: KECCAK256
00003aa0: PUSH21 0x6f20746f41646472657373206661696c6564216d73
00003ab6: PUSH8 0x53656e6465722069
00003abf: PUSH20 0x206e6f742045746843726f7373436861696e4d61
00003ad4: PUSH15 0x61676572436f6e747261637466726f
00003ae4: PUSH14 0x2070726f787920636f6e74726163
00003af3: PUSH21 0x20616464726573732063616e6e6f7420626520656d
00003b09: PUSH17 0x747974686572652073686f756c64206265
00003b1b: KECCAK256
00003b1c: PUSH15 0x6f206574686572207472616e736665
00003b2c: PUSH19 0x2145746843726f7373436861696e4d616e6167
00003b40: PUSH6 0x722063726f73
00003b47: PUSH20 0x436861696e206578656375746564206572726f72
00003b5c: UNKNOWN(0x21)
00003b5d: PUSH21 0x72616e736665722061737365742066726f6d206672
00003b73: PUSH16 0x6d4164647265737320746f206c6f636b
00003b84: PUSH0
00003b85: PUSH17 0x726f787920636f6e747261637420206661
00003b97: PUSH10 0x6c6564217472616e7366
00003ba2: PUSH6 0x727265642065
00003ba9: PUSH21 0x686572206973206e6f7420657175616c20746f2061
00003bbf: PUSH14 0x6f756e74214e65787455696e7431
00003bce: CALLDATASIZE
00003bcf: UNKNOWN(0x2C)
00003bd0: KECCAK256
00003bd1: PUSH16 0x66667365742065786365656473206d61
00003be2: PUSH25 0x696d756d5361666545524332303a204552433230206f706572
00003bfc: PUSH2 0x7469
00003bff: PUSH16 0x6e20646964206e6f7420737563636565
00003c10: PUSH5 0x4e65787455
00003c16: PUSH10 0x6e7436342c206f666673
00003c21: PUSH6 0x742065786365
00003c28: PUSH6 0x6473206d6178
00003c2f: PUSH10 0x6d756d4e65787455696e
00003c3a: PUSH21 0x33322c206f66667365742065786365656473206d61
00003c50: PUSH25 0x696d756d4e65787456617242797465732c206f666673657420
00003c6a: PUSH6 0x786365656473
00003c71: KECCAK256
00003c72: PUSH14 0x6178696d756d46726f6d2050726f
00003c81: PUSH25 0x7920636f6e74726163742061646472657373206572726f7221
00003c9b: PUSH21 0x72616e736665727265642065746865722063616e6e
00003cb1: PUSH16 0x74206265207a65726f21a265627a7a72
00003cc2: BALANCE
00003cc3: PC
00003cc4: KECCAK256
00003cc5: UNKNOWN(0x2D)
00003cc6: PUSH15 0x5dda6a84a4468f40bac7db4cbe71d9
00003cd6: DUP7
00003cd7: UNKNOWN(0xF7)
00003cd8: STATICCALL
00003cd9: MSTORE
00003cda: CALLDATACOPY
00003cdb: UNKNOWN(0xED)
00003cdc: SIGNEXTEND
00003cdd: MULMOD
00003cde: PUSH32

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x9e5767aa",
            "selector": "0x9e5767aa",
            "calldata_variants": [
                "0x9e5767aa",
                "0x9e5767aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaf9980f0",
            "selector": "0xaf9980f0",
            "calldata_variants": [
                "0xaf9980f0",
                "0xaf9980f00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd798f881",
            "selector": "0xd798f881",
            "calldata_variants": [
                "0xd798f881",
                "0xd798f8810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84a6d055",
            "selector": "0x84a6d055",
            "calldata_variants": [
                "0x84a6d055",
                "0x84a6d0550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f32d59b",
            "selector": "0x8f32d59b",
            "calldata_variants": [
                "0x8f32d59b",
                "0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06af4b9f",
            "selector": "0x06af4b9f",
            "calldata_variants": [
                "0x06af4b9f",
                "0x06af4b9f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 14751,
            "type": "tx_origin_used"
        }
    ]
}
medium auth codex tx.origin used in authorization guard (heuristic) 75 no
view
evidence_json
{
    "evidence": "analysis_artifact.auth.guards and detector_findings[0] report tx_origin_used at pc 14751; validation status indicates no sink mapping, so the exact gated action is uncertain.",
    "locations": [
        "pc:14751"
    ],
    "recommendation": "Replace tx.origin checks with msg.sender-based access control (e.g., Ownable/roles). If EOA-only behavior is required, explicitly document the restriction and consider safer patterns (allowlist, EIP-1271 for contract admins).",
    "exploit_scenario": "If a protected path relies on tx.origin for authorization, a malicious contract can trick the owner/privileged EOA into initiating a call, causing tx.origin to match while msg.sender is the attacker\u2019s contract. This enables unauthorized actions or breaks multisig/contract-based admin flows. The guard detection is heuristic and not mapped to a specific sink, so impact depends on the guarded function."
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x0d8e24fe3ffa13540902b9db93b5f21938d16909a33bb2e137846b1f7b90f4e9
call_targets: 0x3ee764c95e9d2264de3717a4cb45bcd3c5f00035
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0d8e24fe3ffa13540902b9db93b5f21938d16909a33bb2e137846b1f7b90f4e9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3ee764c95e9d2264de3717a4cb45bcd3c5f00035"
    ],
    "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": "0x9e5767aa",
            "selector": "0x9e5767aa",
            "calldata_variants": [
                "0x9e5767aa",
                "0x9e5767aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaf9980f0",
            "selector": "0xaf9980f0",
            "calldata_variants": [
                "0xaf9980f0",
                "0xaf9980f00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd798f881",
            "selector": "0xd798f881",
            "calldata_variants": [
                "0xd798f881",
                "0xd798f8810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84a6d055",
            "selector": "0x84a6d055",
            "calldata_variants": [
                "0x84a6d055",
                "0x84a6d0550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f32d59b",
            "selector": "0x8f32d59b",
            "calldata_variants": [
                "0x8f32d59b",
                "0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06af4b9f",
            "selector": "0x06af4b9f",
            "calldata_variants": [
                "0x06af4b9f",
                "0x06af4b9f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 6609,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8489,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 13883,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 14751,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x0d8e24fe3ffa13540902b9db93b5f21938d16909a33bb2e137846b1f7b90f4e9
call_targets: 0x3ee764c95e9d2264de3717a4cb45bcd3c5f00035
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0d8e24fe3ffa13540902b9db93b5f21938d16909a33bb2e137846b1f7b90f4e9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3ee764c95e9d2264de3717a4cb45bcd3c5f00035"
    ],
    "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": "0x9e5767aa",
            "selector": "0x9e5767aa",
            "calldata_variants": [
                "0x9e5767aa",
                "0x9e5767aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaf9980f0",
            "selector": "0xaf9980f0",
            "calldata_variants": [
                "0xaf9980f0",
                "0xaf9980f00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd798f881",
            "selector": "0xd798f881",
            "calldata_variants": [
                "0xd798f881",
                "0xd798f8810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84a6d055",
            "selector": "0x84a6d055",
            "calldata_variants": [
                "0x84a6d055",
                "0x84a6d0550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f32d59b",
            "selector": "0x8f32d59b",
            "calldata_variants": [
                "0x8f32d59b",
                "0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06af4b9f",
            "selector": "0x06af4b9f",
            "calldata_variants": [
                "0x06af4b9f",
                "0x06af4b9f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 6609,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8489,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 13883,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 14751,
            "type": "tx_origin_used"
        }
    ]
}
low other codex External CALLs with computed target/value; reentrancy/unchecked-call uncertainty 65 no
view
evidence_json
{
    "evidence": "detector_findings[1] and [2] list CALL sites at pc 6609/8489/13883 with computed target/value and returndata_checked=null; validation_json notes a constant target in one trace but not confirmed globally.",
    "locations": [
        "pc:6609",
        "pc:8489",
        "pc:13883"
    ],
    "recommendation": "Confirm whether the CALL targets/values are user-controlled. If so, apply checks-effects-interactions, add a reentrancy guard on stateful paths, and validate target/amounts. Ensure low-level call return values are checked when calling tokens/externals.",
    "exploit_scenario": "If these CALL sites are reachable with user-controlled target/value, they may allow reentrancy or unintended ETH transfers depending on state-update order and validation. The analysis marks target/value as computed and cannot confirm return-data checks; a trace reported a constant target (self), so actual risk depends on runtime data flows."
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 7
}