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

Analysis Run

019be3d6-82f5-73ce-b152-f0dadbc57205

complete
Chain ID
1
Address
Block Number
Created
Thu, Jan 22, 2026 3:54 AM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Present
Best current signal
ETH value transfer possible
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
40757 artifact.fetch complete 1 / 3 2 months ago
40758 proxy.resolve complete 1 / 3 2 months ago
40759 tool.cast_disasm complete 1 / 3 2 months ago
40760 analysis.bundle complete 1 / 3 2 months ago
40761 capability.graph complete 1 / 3 2 months ago
40762 detector.run complete 1 / 3 2 months ago
40763 validation.fork complete 1 / 3 2 months ago
41299 report.consolidate complete 1 / 6 2 months ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
1
No findings?
no
Summary
Bytecode looks UniswapV2‑pair‑like (LOCKED/UniswapV2 strings, no proxy/delegatecall detected). Two low‑level CALL sites have computed targets/values with unconfirmed returndata checks; bytecode‑only analysis cannot confirm zero‑value or reentrancy protections on those paths.
View stdout
{"no_findings":false,"summary":"Bytecode looks UniswapV2‑pair‑like (LOCKED/UniswapV2 strings, no proxy/delegatecall detected). Two low‑level CALL sites have computed targets/values with unconfirmed returndata checks; bytecode‑only analysis cannot confirm zero‑value or reentrancy protections on those paths.","findings":[{"severity":"low","category":"other","title":"Low‑level CALL to computed target/value with unconfirmed checks","exploit_scenario":"If the CALLs at pc 0x0d40 / 0x2cb0 are reachable from state‑changing paths and the target/value can be influenced (e.g., callback or token address), a malicious callee could reenter or siphon ETH if nonzero value is sent. Bytecode evidence is insufficient to confirm zero‑value usage, strict target constraints, or safe‑transfer return‑data checks.","recommendation":"Confirm these CALLs are only used for safe token transfers/callbacks with zero ETH and guarded by a reentrancy lock. If not, add explicit value=0 enforcement, strict target validation, and return‑data checks (success && (returndata.length==0 || decode(bool))).","evidence":"detector_findings show CALL at pc 3392 and 11440 with target_expression_category=computed, value_expression_category=computed, returndata_checked=null; eth_value_calls=2 and untrusted_call_count=2. Validation did not prove target variability (classification: constant_target), so risk is uncertain from bytecode alone.","locations":["pc:0x0d40","pc:0x2cb0"]}]}
View stderr
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-vanso4zz
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be427-61a5-72e0-b26d-763c84425e8e
--------
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
**Listing directory contents**
exec
/bin/bash -lc ls in /tmp/codex-vanso4zz succeeded in 6ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-vanso4zz succeeded in 27ms:
{
  "analysis_artifact": {
    "address": "0xa55951b2dcb3574eab8a54a6b5ec0ecf3f6fff95",
    "artifact_hash": "0xbceed135319d57819a1d3d0c2b9d10ee544e456d546621cfe23149e78f4acada",
    "artifact_json": {
      "auth": {
        "guards": [
          {
            "pc": 5235,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
          },
          {
            "pc": 6362,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
          }
        ]
      },
      "basic_blocks": [

thinking
**Exploring evidence bundle and storage slots**

Planning to inspect detector findings on CALL, focusing on callsites near PCs 3392 and 11440, to check for untrusted CALL with value or missing access control. Next, I'll search JSON fields for storage slots or EIP-1967 proxy indicators to clarify upgradeability risks.
exec
/bin/bash -lc 'rg -n "storage" BYTECODE_BUNDLE.json | head -n 50' in /tmp/codex-vanso4zz succeeded in 7ms:
13306:          "storage": {
13686:          "storage": {
14066:          "storage": {
14446:          "storage": {
14826:          "storage": {
15206:          "storage": {
15586:          "storage": {
15966:          "storage": {
16346:          "storage": {
16726:          "storage": {
17106:          "storage": {
17486:          "storage": {
17866:          "storage": {
18246:          "storage": {
18626:          "storage": {
19006:          "storage": {
19386:          "storage": {
19766:          "storage": {
20146:          "storage": {
20526:          "storage": {

thinking
**Exploring evidence bundle functions**

I'm checking code around line 23582 to find how storage evidence is handled or bundled, aiming to understand relevant functions.
exec
/bin/bash -lc "sed -n '23560,23680p' BYTECODE_BUNDLE.json" in /tmp/codex-vanso4zz succeeded in 8ms:
        "0x485cc955",
        "0x5909c0d5",
        "0x5a3d5493",
        "0x23b872dd",
        "0x30adf81f",
        "0x313ce567",
        "0x022c0d9f",
        "0x06fdde03",
        "0x0902f1ac",
        "0x095ea7b3",
        "0x0dfe1681",
        "0x18160ddd"
      ],
      "sinks": {
        "call": 2,
        "create": 0,
        "create2": 0,
        "delegatecall": 0,
        "selfdestruct": 0,
        "staticcall": 16,

thinking
**Exploring evidence bundle for call sites**

I'm planning to search the analysis artifact for references to the evidence bundle and call sites around PC 3392 and 11440 to locate relevant call site data.
exec
/bin/bash -lc 'rg -n "evidence" BYTECODE_BUNDLE.json | head -n 50' in /tmp/codex-vanso4zz succeeded in 9ms:
23973:      "proxy_evidence": {
30277:      "evidence_json": {
30333:      "evidence_json": {

thinking
**Inspecting proxy_evidence**
exec
/bin/bash -lc "sed -n '23960,24040p' BYTECODE_BUNDLE.json" in /tmp/codex-vanso4zz succeeded in 10ms:
  "artifact": {
    "codehash": "0xac9e9a1507861b56629d940ecdb88aa8cf82e02738e324ae1df40343c6858b20",
    "compiler_json": {
      "compiler_version": null,
      "etherscan": {
        "contract_name": null,
        "implementation": null,
        "license": "Unknown",
        "proxy": "0",
        "swarm_source": null
      },
      "optimizer_enabled": false,
      "optimizer_runs": 0,
      "proxy_evidence": {
        "status": "not_proxy"
      }
    },
    "implementation_address": null,
    "is_proxy": false,
    "runtime_bytecode": {


thinking
**Analyzing call patterns in UniswapV2 bytecode**

I've identified that the UniswapV2 pair's `_safeTransfer` uses low-level `call` with zero ETH value for token transfers, though detection flags some calls as having ETH value—likely a conservative estimate. Next, I'll inspect specific `CALL` opcodes in the bytecode to confirm value usage and call targets.
thinking
**Confirming low-severity findings on external calls and reentrancy**

The UniswapV2 pair bytecode shows low-level external calls with possible ETH value and untrusted targets, but it includes a reentrancy lock and return data checks in safeTransfer (though evidence is not fully conclusive). I'll report these as low-severity cautions highlighting expected behavior and potential reentrancy risk if the lock fails or is bypassed.
exec
/bin/bash -lc "rg -n \"\\\"pc\\\": 3392|\\\"pc\\\": 11440\" BYTECODE_BUNDLE.json" in /tmp/codex-vanso4zz succeeded in 12ms:
10768:          "pc": 3392,
10880:          "pc": 11440,
29992:          "pc": 3392,
30088:          "pc": 11440,
30282:            "pc": 3392,
30289:            "pc": 11440,
30338:            "pc": 3392,
30345:            "pc": 11440,

thinking
**Inspecting callsite metadata**
exec
/bin/bash -lc "sed -n '10740,10820p' BYTECODE_BUNDLE.json" in /tmp/codex-vanso4zz succeeded in 7ms:
            "PUSH3",
            "PUSH6",
            "STOP"
          ],
          "start_pc": 14897
        },
        {
          "end_pc": 15134,
          "hash": "0xb1779c1b2db907eee8a709fa0b7a006bfd3131093d9674feb8ec3638a2d6b54c",
          "opcodes": [
            "MOD",
            "OP_0C",
            "STOP"
          ],
          "start_pc": 15132
        },
        {
          "end_pc": 15135,
          "hash": "0x58aab1f52ea0c8ce1b647d8cc3d630eb9c7f63fe410e060136e0658d520ac3f3",
          "opcodes": [

thinking
**Identifying call data reference**

The calls data point is noted near line 10870 for further examination or use.
exec
/bin/bash -lc "sed -n '10870,10930p' BYTECODE_BUNDLE.json" in /tmp/codex-vanso4zz succeeded in 8ms:
        },
        {
          "opcode": "STATICCALL",
          "pc": 10981,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "n/a"
        },
        {
          "opcode": "CALL",
          "pc": 11440,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "computed"
        },
        {
          "opcode": "STATICCALL",
          "pc": 13568,
          "returndata_checked": null,
          "target_expression_category": "computed",


thinking
**Refining untrusted call findings**

Deciding to combine related detectors into single JSON findings to avoid duplicates, noting untrusted external calls with ETH value and potential reentrancy risk; evidence will include call details and mention the presence of a reentrancy guard lock in bytecode but with uncertain coverage.
thinking
**Consolidating low-severity external call finding**

Decided to report a single low-severity finding highlighting two low-level CALL sites with computed target and value, unconfirmed return-data checks, and potential reentrancy/value-transfer risks under uncertain conditions; summary will note UniswapV2-like bytecode and absence of proxy indicators, with detailed evidence referencing detector findings and callsite PCs.
codex
{"no_findings":false,"summary":"Bytecode looks UniswapV2‑pair‑like (LOCKED/UniswapV2 strings, no proxy/delegatecall detected). Two low‑level CALL sites have computed targets/values with unconfirmed returndata checks; bytecode‑only analysis cannot confirm zero‑value or reentrancy protections on those paths.","findings":[{"severity":"low","category":"other","title":"Low‑level CALL to computed target/value with unconfirmed checks","exploit_scenario":"If the CALLs at pc 0x0d40 / 0x2cb0 are reachable from state‑changing paths and the target/value can be influenced (e.g., callback or token address), a malicious callee could reenter or siphon ETH if nonzero value is sent. Bytecode evidence is insufficient to confirm zero‑value usage, strict target constraints, or safe‑transfer return‑data checks.","recommendation":"Confirm these CALLs are only used for safe token transfers/callbacks with zero ETH and guarded by a reentrancy lock. If not, add explicit value=0 enforcement, strict target validation, and return‑data checks (success && (returndata.length==0 || decode(bool))).","evidence":"detector_findings show CALL at pc 3392 and 11440 with target_expression_category=computed, value_expression_category=computed, returndata_checked=null; eth_value_calls=2 and untrusted_call_count=2. Validation did not prove target variability (classification: constant_target), so risk is uncertain from bytecode alone.","locations":["pc:0x0d40","pc:0x2cb0"]}]}
tokens used
39,803
Metadata
{
    "codex": {
        "ran_at": "2026-01-22T05:24:42.654004+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 30274,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode looks UniswapV2\u2011pair\u2011like (LOCKED/UniswapV2 strings, no proxy/delegatecall detected). Two low\u2011level CALL sites have computed targets/values with unconfirmed returndata checks; bytecode\u2011only analysis cannot confirm zero\u2011value or reentrancy protections on those paths.",
    "raw_final": {
        "summary": "Bytecode looks UniswapV2\u2011pair\u2011like (LOCKED/UniswapV2 strings, no proxy/delegatecall detected). Two low\u2011level CALL sites have computed targets/values with unconfirmed returndata checks; bytecode\u2011only analysis cannot confirm zero\u2011value or reentrancy protections on those paths.",
        "findings": [
            {
                "title": "Low\u2011level CALL to computed target/value with unconfirmed checks",
                "category": "other",
                "evidence": "detector_findings show CALL at pc 3392 and 11440 with target_expression_category=computed, value_expression_category=computed, returndata_checked=null; eth_value_calls=2 and untrusted_call_count=2. Validation did not prove target variability (classification: constant_target), so risk is uncertain from bytecode alone.",
                "severity": "low",
                "locations": [
                    "pc:0x0d40",
                    "pc:0x2cb0"
                ],
                "recommendation": "Confirm these CALLs are only used for safe token transfers/callbacks with zero ETH and guarded by a reentrancy lock. If not, add explicit value=0 enforcement, strict target validation, and return\u2011data checks (success && (returndata.length==0 || decode(bool))).",
                "exploit_scenario": "If the CALLs at pc 0x0d40 / 0x2cb0 are reachable from state\u2011changing paths and the target/value can be influenced (e.g., callback or token address), a malicious callee could reenter or siphon ETH if nonzero value is sent. Bytecode evidence is insufficient to confirm zero\u2011value usage, strict target constraints, or safe\u2011transfer return\u2011data checks."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
18
EXT*/BALANCE
16
Total opcodes
7313
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01a9
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x6a627842
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xba9a7a56
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd21220a7
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd21220a7
00000047: EQ
00000048: PUSH2 0x0869
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd505accf
00000052: EQ
00000053: PUSH2 0x089d
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x0936
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfff6cae9
00000068: EQ
00000069: PUSH2 0x09ae
0000006c: JUMPI
0000006d: PUSH2 0x01a9
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xba9a7a56
00000078: EQ
00000079: PUSH2 0x07d3
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xbc25cf77
00000083: EQ
00000084: PUSH2 0x07f1
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xc45a0155
0000008e: EQ
0000008f: PUSH2 0x0835
00000092: JUMPI
00000093: PUSH2 0x01a9
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x7ecebe00
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x7ecebe00
000000a9: EQ
000000aa: PUSH2 0x0635
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x89afcb44
000000b4: EQ
000000b5: PUSH2 0x068d
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x95d89b41
000000bf: EQ
000000c0: PUSH2 0x06ec
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa9059cbb
000000ca: EQ
000000cb: PUSH2 0x076f
000000ce: JUMPI
000000cf: PUSH2 0x01a9
000000d2: JUMP
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x6a627842
000000da: EQ
000000db: PUSH2 0x0567
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x70a08231
000000e5: EQ
000000e6: PUSH2 0x05bf
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x7464fc3d
000000f0: EQ
000000f1: PUSH2 0x0617
000000f4: JUMPI
000000f5: PUSH2 0x01a9
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x23b872dd
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x3644e515
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x3644e515
00000116: EQ
00000117: PUSH2 0x04a9
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x485cc955
00000121: EQ
00000122: PUSH2 0x04c7
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x5909c0d5
0000012c: EQ
0000012d: PUSH2 0x052b
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x5a3d5493
00000137: EQ
00000138: PUSH2 0x0549
0000013b: JUMPI
0000013c: PUSH2 0x01a9
0000013f: JUMP
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x23b872dd
00000147: EQ
00000148: PUSH2 0x03e6
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x30adf81f
00000152: EQ
00000153: PUSH2 0x046a
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x313ce567
0000015d: EQ
0000015e: PUSH2 0x0488
00000161: JUMPI
00000162: PUSH2 0x01a9
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x022c0d9f
0000016d: EQ
0000016e: PUSH2 0x01ae
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x06fdde03
00000178: EQ
00000179: PUSH2 0x025b
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x0902f1ac
00000183: EQ
00000184: PUSH2 0x02de
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x095ea7b3
0000018e: EQ
0000018f: PUSH2 0x0330
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x0dfe1681
00000199: EQ
0000019a: PUSH2 0x0394
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x18160ddd
000001a4: EQ
000001a5: PUSH2 0x03c8
000001a8: JUMPI
000001a9: JUMPDEST
000001aa: PUSH1 0x00
000001ac: DUP1
000001ad: REVERT
000001ae: JUMPDEST
000001af: PUSH2 0x0259
000001b2: PUSH1 0x04
000001b4: DUP1
000001b5: CALLDATASIZE
000001b6: SUB
000001b7: PUSH1 0x80
000001b9: DUP2
000001ba: LT
000001bb: ISZERO
000001bc: PUSH2 0x01c4
000001bf: JUMPI
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: DUP2
000001c6: ADD
000001c7: SWAP1
000001c8: DUP1
000001c9: DUP1
000001ca: CALLDATALOAD
000001cb: SWAP1
000001cc: PUSH1 0x20
000001ce: ADD
000001cf: SWAP1
000001d0: SWAP3
000001d1: SWAP2
000001d2: SWAP1
000001d3: DUP1
000001d4: CALLDATALOAD
000001d5: SWAP1
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: SWAP1
000001da: SWAP3
000001db: SWAP2
000001dc: SWAP1
000001dd: DUP1
000001de: CALLDATALOAD
000001df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f4: AND
000001f5: SWAP1
000001f6: PUSH1 0x20
000001f8: ADD
000001f9: SWAP1
000001fa: SWAP3
000001fb: SWAP2
000001fc: SWAP1
000001fd: DUP1
000001fe: CALLDATALOAD
000001ff: SWAP1
00000200: PUSH1 0x20
00000202: ADD
00000203: SWAP1
00000204: PUSH5 0x0100000000
0000020a: DUP2
0000020b: GT
0000020c: ISZERO
0000020d: PUSH2 0x0215
00000210: JUMPI
00000211: PUSH1 0x00
00000213: DUP1
00000214: REVERT
00000215: JUMPDEST
00000216: DUP3
00000217: ADD
00000218: DUP4
00000219: PUSH1 0x20
0000021b: DUP3
0000021c: ADD
0000021d: GT
0000021e: ISZERO
0000021f: PUSH2 0x0227
00000222: JUMPI
00000223: PUSH1 0x00
00000225: DUP1
00000226: REVERT
00000227: JUMPDEST
00000228: DUP1
00000229: CALLDATALOAD
0000022a: SWAP1
0000022b: PUSH1 0x20
0000022d: ADD
0000022e: SWAP2
0000022f: DUP5
00000230: PUSH1 0x01
00000232: DUP4
00000233: MUL
00000234: DUP5
00000235: ADD
00000236: GT
00000237: PUSH5 0x0100000000
0000023d: DUP4
0000023e: GT
0000023f: OR
00000240: ISZERO
00000241: PUSH2 0x0249
00000244: JUMPI
00000245: PUSH1 0x00
00000247: DUP1
00000248: REVERT
00000249: JUMPDEST
0000024a: SWAP1
0000024b: SWAP2
0000024c: SWAP3
0000024d: SWAP4
0000024e: SWAP2
0000024f: SWAP3
00000250: SWAP4
00000251: SWAP1
00000252: POP
00000253: POP
00000254: POP
00000255: PUSH2 0x09b8
00000258: JUMP
00000259: JUMPDEST
0000025a: STOP
0000025b: JUMPDEST
0000025c: PUSH2 0x0263
0000025f: PUSH2 0x1163
00000262: JUMP
00000263: JUMPDEST
00000264: PUSH1 0x40
00000266: MLOAD
00000267: DUP1
00000268: DUP1
00000269: PUSH1 0x20
0000026b: ADD
0000026c: DUP3
0000026d: DUP2
0000026e: SUB
0000026f: DUP3
00000270: MSTORE
00000271: DUP4
00000272: DUP2
00000273: DUP2
00000274: MLOAD
00000275: DUP2
00000276: MSTORE
00000277: PUSH1 0x20
00000279: ADD
0000027a: SWAP2
0000027b: POP
0000027c: DUP1
0000027d: MLOAD
0000027e: SWAP1
0000027f: PUSH1 0x20
00000281: ADD
00000282: SWAP1
00000283: DUP1
00000284: DUP4
00000285: DUP4
00000286: PUSH1 0x00
00000288: JUMPDEST
00000289: DUP4
0000028a: DUP2
0000028b: LT
0000028c: ISZERO
0000028d: PUSH2 0x02a3
00000290: JUMPI
00000291: DUP1
00000292: DUP3
00000293: ADD
00000294: MLOAD
00000295: DUP2
00000296: DUP5
00000297: ADD
00000298: MSTORE
00000299: PUSH1 0x20
0000029b: DUP2
0000029c: ADD
0000029d: SWAP1
0000029e: POP
0000029f: PUSH2 0x0288
000002a2: JUMP
000002a3: JUMPDEST
000002a4: POP
000002a5: POP
000002a6: POP
000002a7: POP
000002a8: SWAP1
000002a9: POP
000002aa: SWAP1
000002ab: DUP2
000002ac: ADD
000002ad: SWAP1
000002ae: PUSH1 0x1f
000002b0: AND
000002b1: DUP1
000002b2: ISZERO
000002b3: PUSH2 0x02d0
000002b6: JUMPI
000002b7: DUP1
000002b8: DUP3
000002b9: SUB
000002ba: DUP1
000002bb: MLOAD
000002bc: PUSH1 0x01
000002be: DUP4
000002bf: PUSH1 0x20
000002c1: SUB
000002c2: PUSH2 0x0100
000002c5: EXP
000002c6: SUB
000002c7: NOT
000002c8: AND
000002c9: DUP2
000002ca: MSTORE
000002cb: PUSH1 0x20
000002cd: ADD
000002ce: SWAP2
000002cf: POP
000002d0: JUMPDEST
000002d1: POP
000002d2: SWAP3
000002d3: POP
000002d4: POP
000002d5: POP
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: DUP1
000002da: SWAP2
000002db: SUB
000002dc: SWAP1
000002dd: RETURN
000002de: JUMPDEST
000002df: PUSH2 0x02e6
000002e2: PUSH2 0x119c
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: DUP1
000002eb: DUP5
000002ec: PUSH14 0xffffffffffffffffffffffffffff
000002fb: AND
000002fc: DUP2
000002fd: MSTORE
000002fe: PUSH1 0x20
00000300: ADD
00000301: DUP4
00000302: PUSH14 0xffffffffffffffffffffffffffff
00000311: AND
00000312: DUP2
00000313: MSTORE
00000314: PUSH1 0x20
00000316: ADD
00000317: DUP3
00000318: PUSH4 0xffffffff
0000031d: AND
0000031e: DUP2
0000031f: MSTORE
00000320: PUSH1 0x20
00000322: ADD
00000323: SWAP4
00000324: POP
00000325: POP
00000326: POP
00000327: POP
00000328: PUSH1 0x40
0000032a: MLOAD
0000032b: DUP1
0000032c: SWAP2
0000032d: SUB
0000032e: SWAP1
0000032f: RETURN
00000330: JUMPDEST
00000331: PUSH2 0x037c
00000334: PUSH1 0x04
00000336: DUP1
00000337: CALLDATASIZE
00000338: SUB
00000339: PUSH1 0x40
0000033b: DUP2
0000033c: LT
0000033d: ISZERO
0000033e: PUSH2 0x0346
00000341: JUMPI
00000342: PUSH1 0x00
00000344: DUP1
00000345: REVERT
00000346: JUMPDEST
00000347: DUP2
00000348: ADD
00000349: SWAP1
0000034a: DUP1
0000034b: DUP1
0000034c: CALLDATALOAD
0000034d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000362: AND
00000363: SWAP1
00000364: PUSH1 0x20
00000366: ADD
00000367: SWAP1
00000368: SWAP3
00000369: SWAP2
0000036a: SWAP1
0000036b: DUP1
0000036c: CALLDATALOAD
0000036d: SWAP1
0000036e: PUSH1 0x20
00000370: ADD
00000371: SWAP1
00000372: SWAP3
00000373: SWAP2
00000374: SWAP1
00000375: POP
00000376: POP
00000377: POP
00000378: PUSH2 0x11f9
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH1 0x40
0000037f: MLOAD
00000380: DUP1
00000381: DUP3
00000382: ISZERO
00000383: ISZERO
00000384: DUP2
00000385: MSTORE
00000386: PUSH1 0x20
00000388: ADD
00000389: SWAP2
0000038a: POP
0000038b: POP
0000038c: PUSH1 0x40
0000038e: MLOAD
0000038f: DUP1
00000390: SWAP2
00000391: SUB
00000392: SWAP1
00000393: RETURN
00000394: JUMPDEST
00000395: PUSH2 0x039c
00000398: PUSH2 0x1210
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH1 0x40
0000039f: MLOAD
000003a0: DUP1
000003a1: DUP3
000003a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b7: AND
000003b8: DUP2
000003b9: MSTORE
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: SWAP2
000003be: POP
000003bf: POP
000003c0: PUSH1 0x40
000003c2: MLOAD
000003c3: DUP1
000003c4: SWAP2
000003c5: SUB
000003c6: SWAP1
000003c7: RETURN
000003c8: JUMPDEST
000003c9: PUSH2 0x03d0
000003cc: PUSH2 0x1236
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH1 0x40
000003d3: MLOAD
000003d4: DUP1
000003d5: DUP3
000003d6: DUP2
000003d7: MSTORE
000003d8: PUSH1 0x20
000003da: ADD
000003db: SWAP2
000003dc: POP
000003dd: POP
000003de: PUSH1 0x40
000003e0: MLOAD
000003e1: DUP1
000003e2: SWAP2
000003e3: SUB
000003e4: SWAP1
000003e5: RETURN
000003e6: JUMPDEST
000003e7: PUSH2 0x0452
000003ea: PUSH1 0x04
000003ec: DUP1
000003ed: CALLDATASIZE
000003ee: SUB
000003ef: PUSH1 0x60
000003f1: DUP2
000003f2: LT
000003f3: ISZERO
000003f4: PUSH2 0x03fc
000003f7: JUMPI
000003f8: PUSH1 0x00
000003fa: DUP1
000003fb: REVERT
000003fc: JUMPDEST
000003fd: DUP2
000003fe: ADD
000003ff: SWAP1
00000400: DUP1
00000401: DUP1
00000402: CALLDATALOAD
00000403: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000418: AND
00000419: SWAP1
0000041a: PUSH1 0x20
0000041c: ADD
0000041d: SWAP1
0000041e: SWAP3
0000041f: SWAP2
00000420: SWAP1
00000421: DUP1
00000422: CALLDATALOAD
00000423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000438: AND
00000439: SWAP1
0000043a: PUSH1 0x20
0000043c: ADD
0000043d: SWAP1
0000043e: SWAP3
0000043f: SWAP2
00000440: SWAP1
00000441: DUP1
00000442: CALLDATALOAD
00000443: SWAP1
00000444: PUSH1 0x20
00000446: ADD
00000447: SWAP1
00000448: SWAP3
00000449: SWAP2
0000044a: SWAP1
0000044b: POP
0000044c: POP
0000044d: POP
0000044e: PUSH2 0x123c
00000451: JUMP
00000452: JUMPDEST
00000453: PUSH1 0x40
00000455: MLOAD
00000456: DUP1
00000457: DUP3
00000458: ISZERO
00000459: ISZERO
0000045a: DUP2
0000045b: MSTORE
0000045c: PUSH1 0x20
0000045e: ADD
0000045f: SWAP2
00000460: POP
00000461: POP
00000462: PUSH1 0x40
00000464: MLOAD
00000465: DUP1
00000466: SWAP2
00000467: SUB
00000468: SWAP1
00000469: RETURN
0000046a: JUMPDEST
0000046b: PUSH2 0x0472
0000046e: PUSH2 0x1407
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH1 0x40
00000475: MLOAD
00000476: DUP1
00000477: DUP3
00000478: DUP2
00000479: MSTORE
0000047a: PUSH1 0x20
0000047c: ADD
0000047d: SWAP2
0000047e: POP
0000047f: POP
00000480: PUSH1 0x40
00000482: MLOAD
00000483: DUP1
00000484: SWAP2
00000485: SUB
00000486: SWAP1
00000487: RETURN
00000488: JUMPDEST
00000489: PUSH2 0x0490
0000048c: PUSH2 0x142e
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH1 0x40
00000493: MLOAD
00000494: DUP1
00000495: DUP3
00000496: PUSH1 0xff
00000498: AND
00000499: DUP2
0000049a: MSTORE
0000049b: PUSH1 0x20
0000049d: ADD
0000049e: SWAP2
0000049f: POP
000004a0: POP
000004a1: PUSH1 0x40
000004a3: MLOAD
000004a4: DUP1
000004a5: SWAP2
000004a6: SUB
000004a7: SWAP1
000004a8: RETURN
000004a9: JUMPDEST
000004aa: PUSH2 0x04b1
000004ad: PUSH2 0x1433
000004b0: JUMP
000004b1: JUMPDEST
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: DUP1
000004b6: DUP3
000004b7: DUP2
000004b8: MSTORE
000004b9: PUSH1 0x20
000004bb: ADD
000004bc: SWAP2
000004bd: POP
000004be: POP
000004bf: PUSH1 0x40
000004c1: MLOAD
000004c2: DUP1
000004c3: SWAP2
000004c4: SUB
000004c5: SWAP1
000004c6: RETURN
000004c7: JUMPDEST
000004c8: PUSH2 0x0529
000004cb: PUSH1 0x04
000004cd: DUP1
000004ce: CALLDATASIZE
000004cf: SUB
000004d0: PUSH1 0x40
000004d2: DUP2
000004d3: LT
000004d4: ISZERO
000004d5: PUSH2 0x04dd
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: DUP1
000004dc: REVERT
000004dd: JUMPDEST
000004de: DUP2
000004df: ADD
000004e0: SWAP1
000004e1: DUP1
000004e2: DUP1
000004e3: CALLDATALOAD
000004e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f9: AND
000004fa: SWAP1
000004fb: PUSH1 0x20
000004fd: ADD
000004fe: SWAP1
000004ff: SWAP3
00000500: SWAP2
00000501: SWAP1
00000502: DUP1
00000503: CALLDATALOAD
00000504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000519: AND
0000051a: SWAP1
0000051b: PUSH1 0x20
0000051d: ADD
0000051e: SWAP1
0000051f: SWAP3
00000520: SWAP2
00000521: SWAP1
00000522: POP
00000523: POP
00000524: POP
00000525: PUSH2 0x1439
00000528: JUMP
00000529: JUMPDEST
0000052a: STOP
0000052b: JUMPDEST
0000052c: PUSH2 0x0533
0000052f: PUSH2 0x1582
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH1 0x40
00000536: MLOAD
00000537: DUP1
00000538: DUP3
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x20
0000053d: ADD
0000053e: SWAP2
0000053f: POP
00000540: POP
00000541: PUSH1 0x40
00000543: MLOAD
00000544: DUP1
00000545: SWAP2
00000546: SUB
00000547: SWAP1
00000548: RETURN
00000549: JUMPDEST
0000054a: PUSH2 0x0551
0000054d: PUSH2 0x1588
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH1 0x40
00000554: MLOAD
00000555: DUP1
00000556: DUP3
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x20
0000055b: ADD
0000055c: SWAP2
0000055d: POP
0000055e: POP
0000055f: PUSH1 0x40
00000561: MLOAD
00000562: DUP1
00000563: SWAP2
00000564: SUB
00000565: SWAP1
00000566: RETURN
00000567: JUMPDEST
00000568: PUSH2 0x05a9
0000056b: PUSH1 0x04
0000056d: DUP1
0000056e: CALLDATASIZE
0000056f: SUB
00000570: PUSH1 0x20
00000572: DUP2
00000573: LT
00000574: ISZERO
00000575: PUSH2 0x057d
00000578: JUMPI
00000579: PUSH1 0x00
0000057b: DUP1
0000057c: REVERT
0000057d: JUMPDEST
0000057e: DUP2
0000057f: ADD
00000580: SWAP1
00000581: DUP1
00000582: DUP1
00000583: CALLDATALOAD
00000584: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000599: AND
0000059a: SWAP1
0000059b: PUSH1 0x20
0000059d: ADD
0000059e: SWAP1
0000059f: SWAP3
000005a0: SWAP2
000005a1: SWAP1
000005a2: POP
000005a3: POP
000005a4: POP
000005a5: PUSH2 0x158e
000005a8: JUMP
000005a9: JUMPDEST
000005aa: PUSH1 0x40
000005ac: MLOAD
000005ad: DUP1
000005ae: DUP3
000005af: DUP2
000005b0: MSTORE
000005b1: PUSH1 0x20
000005b3: ADD
000005b4: SWAP2
000005b5: POP
000005b6: POP
000005b7: PUSH1 0x40
000005b9: MLOAD
000005ba: DUP1
000005bb: SWAP2
000005bc: SUB
000005bd: SWAP1
000005be: RETURN
000005bf: JUMPDEST
000005c0: PUSH2 0x0601
000005c3: PUSH1 0x04
000005c5: DUP1
000005c6: CALLDATASIZE
000005c7: SUB
000005c8: PUSH1 0x20
000005ca: DUP2
000005cb: LT
000005cc: ISZERO
000005cd: PUSH2 0x05d5
000005d0: JUMPI
000005d1: PUSH1 0x00
000005d3: DUP1
000005d4: REVERT
000005d5: JUMPDEST
000005d6: DUP2
000005d7: ADD
000005d8: SWAP1
000005d9: DUP1
000005da: DUP1
000005db: CALLDATALOAD
000005dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f1: AND
000005f2: SWAP1
000005f3: PUSH1 0x20
000005f5: ADD
000005f6: SWAP1
000005f7: SWAP3
000005f8: SWAP2
000005f9: SWAP1
000005fa: POP
000005fb: POP
000005fc: POP
000005fd: PUSH2 0x1cbc
00000600: JUMP
00000601: JUMPDEST
00000602: PUSH1 0x40
00000604: MLOAD
00000605: DUP1
00000606: DUP3
00000607: DUP2
00000608: MSTORE
00000609: PUSH1 0x20
0000060b: ADD
0000060c: SWAP2
0000060d: POP
0000060e: POP
0000060f: PUSH1 0x40
00000611: MLOAD
00000612: DUP1
00000613: SWAP2
00000614: SUB
00000615: SWAP1
00000616: RETURN
00000617: JUMPDEST
00000618: PUSH2 0x061f
0000061b: PUSH2 0x1cd4
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH1 0x40
00000622: MLOAD
00000623: DUP1
00000624: DUP3
00000625: DUP2
00000626: MSTORE
00000627: PUSH1 0x20
00000629: ADD
0000062a: SWAP2
0000062b: POP
0000062c: POP
0000062d: PUSH1 0x40
0000062f: MLOAD
00000630: DUP1
00000631: SWAP2
00000632: SUB
00000633: SWAP1
00000634: RETURN
00000635: JUMPDEST
00000636: PUSH2 0x0677
00000639: PUSH1 0x04
0000063b: DUP1
0000063c: CALLDATASIZE
0000063d: SUB
0000063e: PUSH1 0x20
00000640: DUP2
00000641: LT
00000642: ISZERO
00000643: PUSH2 0x064b
00000646: JUMPI
00000647: PUSH1 0x00
00000649: DUP1
0000064a: REVERT
0000064b: JUMPDEST
0000064c: DUP2
0000064d: ADD
0000064e: SWAP1
0000064f: DUP1
00000650: DUP1
00000651: CALLDATALOAD
00000652: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000667: AND
00000668: SWAP1
00000669: PUSH1 0x20
0000066b: ADD
0000066c: SWAP1
0000066d: SWAP3
0000066e: SWAP2
0000066f: SWAP1
00000670: POP
00000671: POP
00000672: POP
00000673: PUSH2 0x1cda
00000676: JUMP
00000677: JUMPDEST
00000678: PUSH1 0x40
0000067a: MLOAD
0000067b: DUP1
0000067c: DUP3
0000067d: DUP2
0000067e: MSTORE
0000067f: PUSH1 0x20
00000681: ADD
00000682: SWAP2
00000683: POP
00000684: POP
00000685: PUSH1 0x40
00000687: MLOAD
00000688: DUP1
00000689: SWAP2
0000068a: SUB
0000068b: SWAP1
0000068c: RETURN
0000068d: JUMPDEST
0000068e: PUSH2 0x06cf
00000691: PUSH1 0x04
00000693: DUP1
00000694: CALLDATASIZE
00000695: SUB
00000696: PUSH1 0x20
00000698: DUP2
00000699: LT
0000069a: ISZERO
0000069b: PUSH2 0x06a3
0000069e: JUMPI
0000069f: PUSH1 0x00
000006a1: DUP1
000006a2: REVERT
000006a3: JUMPDEST
000006a4: DUP2
000006a5: ADD
000006a6: SWAP1
000006a7: DUP1
000006a8: DUP1
000006a9: CALLDATALOAD
000006aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006bf: AND
000006c0: SWAP1
000006c1: PUSH1 0x20
000006c3: ADD
000006c4: SWAP1
000006c5: SWAP3
000006c6: SWAP2
000006c7: SWAP1
000006c8: POP
000006c9: POP
000006ca: POP
000006cb: PUSH2 0x1cf2
000006ce: JUMP
000006cf: JUMPDEST
000006d0: PUSH1 0x40
000006d2: MLOAD
000006d3: DUP1
000006d4: DUP4
000006d5: DUP2
000006d6: MSTORE
000006d7: PUSH1 0x20
000006d9: ADD
000006da: DUP3
000006db: DUP2
000006dc: MSTORE
000006dd: PUSH1 0x20
000006df: ADD
000006e0: SWAP3
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: PUSH1 0x40
000006e6: MLOAD
000006e7: DUP1
000006e8: SWAP2
000006e9: SUB
000006ea: SWAP1
000006eb: RETURN
000006ec: JUMPDEST
000006ed: PUSH2 0x06f4
000006f0: PUSH2 0x2287
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: DUP1
000006f9: DUP1
000006fa: PUSH1 0x20
000006fc: ADD
000006fd: DUP3
000006fe: DUP2
000006ff: SUB
00000700: DUP3
00000701: MSTORE
00000702: DUP4
00000703: DUP2
00000704: DUP2
00000705: MLOAD
00000706: DUP2
00000707: MSTORE
00000708: PUSH1 0x20
0000070a: ADD
0000070b: SWAP2
0000070c: POP
0000070d: DUP1
0000070e: MLOAD
0000070f: SWAP1
00000710: PUSH1 0x20
00000712: ADD
00000713: SWAP1
00000714: DUP1
00000715: DUP4
00000716: DUP4
00000717: PUSH1 0x00
00000719: JUMPDEST
0000071a: DUP4
0000071b: DUP2
0000071c: LT
0000071d: ISZERO
0000071e: PUSH2 0x0734
00000721: JUMPI
00000722: DUP1
00000723: DUP3
00000724: ADD
00000725: MLOAD
00000726: DUP2
00000727: DUP5
00000728: ADD
00000729: MSTORE
0000072a: PUSH1 0x20
0000072c: DUP2
0000072d: ADD
0000072e: SWAP1
0000072f: POP
00000730: PUSH2 0x0719
00000733: JUMP
00000734: JUMPDEST
00000735: POP
00000736: POP
00000737: POP
00000738: POP
00000739: SWAP1
0000073a: POP
0000073b: SWAP1
0000073c: DUP2
0000073d: ADD
0000073e: SWAP1
0000073f: PUSH1 0x1f
00000741: AND
00000742: DUP1
00000743: ISZERO
00000744: PUSH2 0x0761
00000747: JUMPI
00000748: DUP1
00000749: DUP3
0000074a: SUB
0000074b: DUP1
0000074c: MLOAD
0000074d: PUSH1 0x01
0000074f: DUP4
00000750: PUSH1 0x20
00000752: SUB
00000753: PUSH2 0x0100
00000756: EXP
00000757: SUB
00000758: NOT
00000759: AND
0000075a: DUP2
0000075b: MSTORE
0000075c: PUSH1 0x20
0000075e: ADD
0000075f: SWAP2
00000760: POP
00000761: JUMPDEST
00000762: POP
00000763: SWAP3
00000764: POP
00000765: POP
00000766: POP
00000767: PUSH1 0x40
00000769: MLOAD
0000076a: DUP1
0000076b: SWAP2
0000076c: SUB
0000076d: SWAP1
0000076e: RETURN
0000076f: JUMPDEST
00000770: PUSH2 0x07bb
00000773: PUSH1 0x04
00000775: DUP1
00000776: CALLDATASIZE
00000777: SUB
00000778: PUSH1 0x40
0000077a: DUP2
0000077b: LT
0000077c: ISZERO
0000077d: PUSH2 0x0785
00000780: JUMPI
00000781: PUSH1 0x00
00000783: DUP1
00000784: REVERT
00000785: JUMPDEST
00000786: DUP2
00000787: ADD
00000788: SWAP1
00000789: DUP1
0000078a: DUP1
0000078b: CALLDATALOAD
0000078c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a1: AND
000007a2: SWAP1
000007a3: PUSH1 0x20
000007a5: ADD
000007a6: SWAP1
000007a7: SWAP3
000007a8: SWAP2
000007a9: SWAP1
000007aa: DUP1
000007ab: CALLDATALOAD
000007ac: SWAP1
000007ad: PUSH1 0x20
000007af: ADD
000007b0: SWAP1
000007b1: SWAP3
000007b2: SWAP2
000007b3: SWAP1
000007b4: POP
000007b5: POP
000007b6: POP
000007b7: PUSH2 0x22c0
000007ba: JUMP
000007bb: JUMPDEST
000007bc: PUSH1 0x40
000007be: MLOAD
000007bf: DUP1
000007c0: DUP3
000007c1: ISZERO
000007c2: ISZERO
000007c3: DUP2
000007c4: MSTORE
000007c5: PUSH1 0x20
000007c7: ADD
000007c8: SWAP2
000007c9: POP
000007ca: POP
000007cb: PUSH1 0x40
000007cd: MLOAD
000007ce: DUP1
000007cf: SWAP2
000007d0: SUB
000007d1: SWAP1
000007d2: RETURN
000007d3: JUMPDEST
000007d4: PUSH2 0x07db
000007d7: PUSH2 0x22d7
000007da: JUMP
000007db: JUMPDEST
000007dc: PUSH1 0x40
000007de: MLOAD
000007df: DUP1
000007e0: DUP3
000007e1: DUP2
000007e2: MSTORE
000007e3: PUSH1 0x20
000007e5: ADD
000007e6: SWAP2
000007e7: POP
000007e8: POP
000007e9: PUSH1 0x40
000007eb: MLOAD
000007ec: DUP1
000007ed: SWAP2
000007ee: SUB
000007ef: SWAP1
000007f0: RETURN
000007f1: JUMPDEST
000007f2: PUSH2 0x0833
000007f5: PUSH1 0x04
000007f7: DUP1
000007f8: CALLDATASIZE
000007f9: SUB
000007fa: PUSH1 0x20
000007fc: DUP2
000007fd: LT
000007fe: ISZERO
000007ff: PUSH2 0x0807
00000802: JUMPI
00000803: PUSH1 0x00
00000805: DUP1
00000806: REVERT
00000807: JUMPDEST
00000808: DUP2
00000809: ADD
0000080a: SWAP1
0000080b: DUP1
0000080c: DUP1
0000080d: CALLDATALOAD
0000080e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000823: AND
00000824: SWAP1
00000825: PUSH1 0x20
00000827: ADD
00000828: SWAP1
00000829: SWAP3
0000082a: SWAP2
0000082b: SWAP1
0000082c: POP
0000082d: POP
0000082e: POP
0000082f: PUSH2 0x22dd
00000832: JUMP
00000833: JUMPDEST
00000834: STOP
00000835: JUMPDEST
00000836: PUSH2 0x083d
00000839: PUSH2 0x258c
0000083c: JUMP
0000083d: JUMPDEST
0000083e: PUSH1 0x40
00000840: MLOAD
00000841: DUP1
00000842: DUP3
00000843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000858: AND
00000859: DUP2
0000085a: MSTORE
0000085b: PUSH1 0x20
0000085d: ADD
0000085e: SWAP2
0000085f: POP
00000860: POP
00000861: PUSH1 0x40
00000863: MLOAD
00000864: DUP1
00000865: SWAP2
00000866: SUB
00000867: SWAP1
00000868: RETURN
00000869: JUMPDEST
0000086a: PUSH2 0x0871
0000086d: PUSH2 0x25b2
00000870: JUMP
00000871: JUMPDEST
00000872: PUSH1 0x40
00000874: MLOAD
00000875: DUP1
00000876: DUP3
00000877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088c: AND
0000088d: DUP2
0000088e: MSTORE
0000088f: PUSH1 0x20
00000891: ADD
00000892: SWAP2
00000893: POP
00000894: POP
00000895: PUSH1 0x40
00000897: MLOAD
00000898: DUP1
00000899: SWAP2
0000089a: SUB
0000089b: SWAP1
0000089c: RETURN
0000089d: JUMPDEST
0000089e: PUSH2 0x0934
000008a1: PUSH1 0x04
000008a3: DUP1
000008a4: CALLDATASIZE
000008a5: SUB
000008a6: PUSH1 0xe0
000008a8: DUP2
000008a9: LT
000008aa: ISZERO
000008ab: PUSH2 0x08b3
000008ae: JUMPI
000008af: PUSH1 0x00
000008b1: DUP1
000008b2: REVERT
000008b3: JUMPDEST
000008b4: DUP2
000008b5: ADD
000008b6: SWAP1
000008b7: DUP1
000008b8: DUP1
000008b9: CALLDATALOAD
000008ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cf: AND
000008d0: SWAP1
000008d1: PUSH1 0x20
000008d3: ADD
000008d4: SWAP1
000008d5: SWAP3
000008d6: SWAP2
000008d7: SWAP1
000008d8: DUP1
000008d9: CALLDATALOAD
000008da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ef: AND
000008f0: SWAP1
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: SWAP1
000008f5: SWAP3
000008f6: SWAP2
000008f7: SWAP1
000008f8: DUP1
000008f9: CALLDATALOAD
000008fa: SWAP1
000008fb: PUSH1 0x20
000008fd: ADD
000008fe: SWAP1
000008ff: SWAP3
00000900: SWAP2
00000901: SWAP1
00000902: DUP1
00000903: CALLDATALOAD
00000904: SWAP1
00000905: PUSH1 0x20
00000907: ADD
00000908: SWAP1
00000909: SWAP3
0000090a: SWAP2
0000090b: SWAP1
0000090c: DUP1
0000090d: CALLDATALOAD
0000090e: PUSH1 0xff
00000910: AND
00000911: SWAP1
00000912: PUSH1 0x20
00000914: ADD
00000915: SWAP1
00000916: SWAP3
00000917: SWAP2
00000918: SWAP1
00000919: DUP1
0000091a: CALLDATALOAD
0000091b: SWAP1
0000091c: PUSH1 0x20
0000091e: ADD
0000091f: SWAP1
00000920: SWAP3
00000921: SWAP2
00000922: SWAP1
00000923: DUP1
00000924: CALLDATALOAD
00000925: SWAP1
00000926: PUSH1 0x20
00000928: ADD
00000929: SWAP1
0000092a: SWAP3
0000092b: SWAP2
0000092c: SWAP1
0000092d: POP
0000092e: POP
0000092f: POP
00000930: PUSH2 0x25d8
00000933: JUMP
00000934: JUMPDEST
00000935: STOP
00000936: JUMPDEST
00000937: PUSH2 0x0998
0000093a: PUSH1 0x04
0000093c: DUP1
0000093d: CALLDATASIZE
0000093e: SUB
0000093f: PUSH1 0x40
00000941: DUP2
00000942: LT
00000943: ISZERO
00000944: PUSH2 0x094c
00000947: JUMPI
00000948: PUSH1 0x00
0000094a: DUP1
0000094b: REVERT
0000094c: JUMPDEST
0000094d: DUP2
0000094e: ADD
0000094f: SWAP1
00000950: DUP1
00000951: DUP1
00000952: CALLDATALOAD
00000953: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000968: AND
00000969: SWAP1
0000096a: PUSH1 0x20
0000096c: ADD
0000096d: SWAP1
0000096e: SWAP3
0000096f: SWAP2
00000970: SWAP1
00000971: DUP1
00000972: CALLDATALOAD
00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000988: AND
00000989: SWAP1
0000098a: PUSH1 0x20
0000098c: ADD
0000098d: SWAP1
0000098e: SWAP3
0000098f: SWAP2
00000990: SWAP1
00000991: POP
00000992: POP
00000993: POP
00000994: PUSH2 0x28ed
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH1 0x40
0000099b: MLOAD
0000099c: DUP1
0000099d: DUP3
0000099e: DUP2
0000099f: MSTORE
000009a0: PUSH1 0x20
000009a2: ADD
000009a3: SWAP2
000009a4: POP
000009a5: POP
000009a6: PUSH1 0x40
000009a8: MLOAD
000009a9: DUP1
000009aa: SWAP2
000009ab: SUB
000009ac: SWAP1
000009ad: RETURN
000009ae: JUMPDEST
000009af: PUSH2 0x09b6
000009b2: PUSH2 0x2912
000009b5: JUMP
000009b6: JUMPDEST
000009b7: STOP
000009b8: JUMPDEST
000009b9: PUSH1 0x01
000009bb: PUSH1 0x0c
000009bd: SLOAD
000009be: EQ
000009bf: PUSH2 0x0a30
000009c2: JUMPI
000009c3: PUSH1 0x40
000009c5: MLOAD
000009c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009e7: DUP2
000009e8: MSTORE
000009e9: PUSH1 0x04
000009eb: ADD
000009ec: DUP1
000009ed: DUP1
000009ee: PUSH1 0x20
000009f0: ADD
000009f1: DUP3
000009f2: DUP2
000009f3: SUB
000009f4: DUP3
000009f5: MSTORE
000009f6: PUSH1 0x11
000009f8: DUP2
000009f9: MSTORE
000009fa: PUSH1 0x20
000009fc: ADD
000009fd: DUP1
000009fe: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
00000a1f: DUP2
00000a20: MSTORE
00000a21: POP
00000a22: PUSH1 0x20
00000a24: ADD
00000a25: SWAP2
00000a26: POP
00000a27: POP
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: DUP1
00000a2c: SWAP2
00000a2d: SUB
00000a2e: SWAP1
00000a2f: REVERT
00000a30: JUMPDEST
00000a31: PUSH1 0x00
00000a33: PUSH1 0x0c
00000a35: DUP2
00000a36: SWAP1
00000a37: SSTORE
00000a38: POP
00000a39: PUSH1 0x00
00000a3b: DUP6
00000a3c: GT
00000a3d: DUP1
00000a3e: PUSH2 0x0a47
00000a41: JUMPI
00000a42: POP
00000a43: PUSH1 0x00
00000a45: DUP5
00000a46: GT
00000a47: JUMPDEST
00000a48: PUSH2 0x0a9c
00000a4b: JUMPI
00000a4c: PUSH1 0x40
00000a4e: MLOAD
00000a4f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a70: DUP2
00000a71: MSTORE
00000a72: PUSH1 0x04
00000a74: ADD
00000a75: DUP1
00000a76: DUP1
00000a77: PUSH1 0x20
00000a79: ADD
00000a7a: DUP3
00000a7b: DUP2
00000a7c: SUB
00000a7d: DUP3
00000a7e: MSTORE
00000a7f: PUSH1 0x25
00000a81: DUP2
00000a82: MSTORE
00000a83: PUSH1 0x20
00000a85: ADD
00000a86: DUP1
00000a87: PUSH2 0x3a31
00000a8a: PUSH1 0x25
00000a8c: SWAP2
00000a8d: CODECOPY
00000a8e: PUSH1 0x40
00000a90: ADD
00000a91: SWAP2
00000a92: POP
00000a93: POP
00000a94: PUSH1 0x40
00000a96: MLOAD
00000a97: DUP1
00000a98: SWAP2
00000a99: SUB
00000a9a: SWAP1
00000a9b: REVERT
00000a9c: JUMPDEST
00000a9d: PUSH1 0x00
00000a9f: DUP1
00000aa0: PUSH2 0x0aa7
00000aa3: PUSH2 0x119c
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: POP
00000aa9: SWAP2
00000aaa: POP
00000aab: SWAP2
00000aac: POP
00000aad: DUP2
00000aae: PUSH14 0xffffffffffffffffffffffffffff
00000abd: AND
00000abe: DUP8
00000abf: LT
00000ac0: DUP1
00000ac1: ISZERO
00000ac2: PUSH2 0x0ada
00000ac5: JUMPI
00000ac6: POP
00000ac7: DUP1
00000ac8: PUSH14 0xffffffffffffffffffffffffffff
00000ad7: AND
00000ad8: DUP7
00000ad9: LT
00000ada: JUMPDEST
00000adb: PUSH2 0x0b2f
00000ade: JUMPI
00000adf: PUSH1 0x40
00000ae1: MLOAD
00000ae2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b03: DUP2
00000b04: MSTORE
00000b05: PUSH1 0x04
00000b07: ADD
00000b08: DUP1
00000b09: DUP1
00000b0a: PUSH1 0x20
00000b0c: ADD
00000b0d: DUP3
00000b0e: DUP2
00000b0f: SUB
00000b10: DUP3
00000b11: MSTORE
00000b12: PUSH1 0x21
00000b14: DUP2
00000b15: MSTORE
00000b16: PUSH1 0x20
00000b18: ADD
00000b19: DUP1
00000b1a: PUSH2 0x3a7a
00000b1d: PUSH1 0x21
00000b1f: SWAP2
00000b20: CODECOPY
00000b21: PUSH1 0x40
00000b23: ADD
00000b24: SWAP2
00000b25: POP
00000b26: POP
00000b27: PUSH1 0x40
00000b29: MLOAD
00000b2a: DUP1
00000b2b: SWAP2
00000b2c: SUB
00000b2d: SWAP1
00000b2e: REVERT
00000b2f: JUMPDEST
00000b30: PUSH1 0x00
00000b32: DUP1
00000b33: PUSH1 0x00
00000b35: PUSH1 0x06
00000b37: PUSH1 0x00
00000b39: SWAP1
00000b3a: SLOAD
00000b3b: SWAP1
00000b3c: PUSH2 0x0100
00000b3f: EXP
00000b40: SWAP1
00000b41: DIV
00000b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b57: AND
00000b58: SWAP1
00000b59: POP
00000b5a: PUSH1 0x00
00000b5c: PUSH1 0x07
00000b5e: PUSH1 0x00
00000b60: SWAP1
00000b61: SLOAD
00000b62: SWAP1
00000b63: PUSH2 0x0100
00000b66: EXP
00000b67: SWAP1
00000b68: DIV
00000b69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7e: AND
00000b7f: SWAP1
00000b80: POP
00000b81: DUP2
00000b82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b97: AND
00000b98: DUP10
00000b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bae: AND
00000baf: EQ
00000bb0: ISZERO
00000bb1: DUP1
00000bb2: ISZERO
00000bb3: PUSH2 0x0be8
00000bb6: JUMPI
00000bb7: POP
00000bb8: DUP1
00000bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bce: AND
00000bcf: DUP10
00000bd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be5: AND
00000be6: EQ
00000be7: ISZERO
00000be8: JUMPDEST
00000be9: PUSH2 0x0c5a
00000bec: JUMPI
00000bed: PUSH1 0x40
00000bef: MLOAD
00000bf0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c11: DUP2
00000c12: MSTORE
00000c13: PUSH1 0x04
00000c15: ADD
00000c16: DUP1
00000c17: DUP1
00000c18: PUSH1 0x20
00000c1a: ADD
00000c1b: DUP3
00000c1c: DUP2
00000c1d: SUB
00000c1e: DUP3
00000c1f: MSTORE
00000c20: PUSH1 0x15
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x20
00000c26: ADD
00000c27: DUP1
00000c28: PUSH32 0x556e697377617056323a20494e56414c49445f544f0000000000000000000000
00000c49: DUP2
00000c4a: MSTORE
00000c4b: POP
00000c4c: PUSH1 0x20
00000c4e: ADD
00000c4f: SWAP2
00000c50: POP
00000c51: POP
00000c52: PUSH1 0x40
00000c54: MLOAD
00000c55: DUP1
00000c56: SWAP2
00000c57: SUB
00000c58: SWAP1
00000c59: REVERT
00000c5a: JUMPDEST
00000c5b: PUSH1 0x00
00000c5d: DUP12
00000c5e: GT
00000c5f: ISZERO
00000c60: PUSH2 0x0c6f
00000c63: JUMPI
00000c64: PUSH2 0x0c6e
00000c67: DUP3
00000c68: DUP11
00000c69: DUP14
00000c6a: PUSH2 0x2b66
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: JUMPDEST
00000c70: PUSH1 0x00
00000c72: DUP11
00000c73: GT
00000c74: ISZERO
00000c75: PUSH2 0x0c84
00000c78: JUMPI
00000c79: PUSH2 0x0c83
00000c7c: DUP2
00000c7d: DUP11
00000c7e: DUP13
00000c7f: PUSH2 0x2b66
00000c82: JUMP
00000c83: JUMPDEST
00000c84: JUMPDEST
00000c85: PUSH1 0x00
00000c87: DUP9
00000c88: DUP9
00000c89: SWAP1
00000c8a: POP
00000c8b: GT
00000c8c: ISZERO
00000c8d: PUSH2 0x0d56
00000c90: JUMPI
00000c91: DUP9
00000c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca7: AND
00000ca8: PUSH4 0x10d1e85c
00000cad: CALLER
00000cae: DUP14
00000caf: DUP14
00000cb0: DUP13
00000cb1: DUP13
00000cb2: PUSH1 0x40
00000cb4: MLOAD
00000cb5: DUP7
00000cb6: PUSH4 0xffffffff
00000cbb: AND
00000cbc: PUSH1 0xe0
00000cbe: SHL
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: PUSH1 0x04
00000cc3: ADD
00000cc4: DUP1
00000cc5: DUP7
00000cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cdb: AND
00000cdc: DUP2
00000cdd: MSTORE
00000cde: PUSH1 0x20
00000ce0: ADD
00000ce1: DUP6
00000ce2: DUP2
00000ce3: MSTORE
00000ce4: PUSH1 0x20
00000ce6: ADD
00000ce7: DUP5
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x20
00000cec: ADD
00000ced: DUP1
00000cee: PUSH1 0x20
00000cf0: ADD
00000cf1: DUP3
00000cf2: DUP2
00000cf3: SUB
00000cf4: DUP3
00000cf5: MSTORE
00000cf6: DUP5
00000cf7: DUP5
00000cf8: DUP3
00000cf9: DUP2
00000cfa: DUP2
00000cfb: MSTORE
00000cfc: PUSH1 0x20
00000cfe: ADD
00000cff: SWAP3
00000d00: POP
00000d01: DUP1
00000d02: DUP3
00000d03: DUP5
00000d04: CALLDATACOPY
00000d05: PUSH1 0x00
00000d07: DUP2
00000d08: DUP5
00000d09: ADD
00000d0a: MSTORE
00000d0b: PUSH1 0x1f
00000d0d: NOT
00000d0e: PUSH1 0x1f
00000d10: DUP3
00000d11: ADD
00000d12: AND
00000d13: SWAP1
00000d14: POP
00000d15: DUP1
00000d16: DUP4
00000d17: ADD
00000d18: SWAP3
00000d19: POP
00000d1a: POP
00000d1b: POP
00000d1c: SWAP7
00000d1d: POP
00000d1e: POP
00000d1f: POP
00000d20: POP
00000d21: POP
00000d22: POP
00000d23: POP
00000d24: PUSH1 0x00
00000d26: PUSH1 0x40
00000d28: MLOAD
00000d29: DUP1
00000d2a: DUP4
00000d2b: SUB
00000d2c: DUP2
00000d2d: PUSH1 0x00
00000d2f: DUP8
00000d30: DUP1
00000d31: EXTCODESIZE
00000d32: ISZERO
00000d33: DUP1
00000d34: ISZERO
00000d35: PUSH2 0x0d3d
00000d38: JUMPI
00000d39: PUSH1 0x00
00000d3b: DUP1
00000d3c: REVERT
00000d3d: JUMPDEST
00000d3e: POP
00000d3f: GAS
00000d40: CALL
00000d41: ISZERO
00000d42: DUP1
00000d43: ISZERO
00000d44: PUSH2 0x0d51
00000d47: JUMPI
00000d48: RETURNDATASIZE
00000d49: PUSH1 0x00
00000d4b: DUP1
00000d4c: RETURNDATACOPY
00000d4d: RETURNDATASIZE
00000d4e: PUSH1 0x00
00000d50: REVERT
00000d51: JUMPDEST
00000d52: POP
00000d53: POP
00000d54: POP
00000d55: POP
00000d56: JUMPDEST
00000d57: DUP2
00000d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6d: AND
00000d6e: PUSH4 0x70a08231
00000d73: ADDRESS
00000d74: PUSH1 0x40
00000d76: MLOAD
00000d77: DUP3
00000d78: PUSH4 0xffffffff
00000d7d: AND
00000d7e: PUSH1 0xe0
00000d80: SHL
00000d81: DUP2
00000d82: MSTORE
00000d83: PUSH1 0x04
00000d85: ADD
00000d86: DUP1
00000d87: DUP3
00000d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d9d: AND
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x20
00000da2: ADD
00000da3: SWAP2
00000da4: POP
00000da5: POP
00000da6: PUSH1 0x20
00000da8: PUSH1 0x40
00000daa: MLOAD
00000dab: DUP1
00000dac: DUP4
00000dad: SUB
00000dae: DUP2
00000daf: DUP7
00000db0: DUP1
00000db1: EXTCODESIZE
00000db2: ISZERO
00000db3: DUP1
00000db4: ISZERO
00000db5: PUSH2 0x0dbd
00000db8: JUMPI
00000db9: PUSH1 0x00
00000dbb: DUP1
00000dbc: REVERT
00000dbd: JUMPDEST
00000dbe: POP
00000dbf: GAS
00000dc0: STATICCALL
00000dc1: ISZERO
00000dc2: DUP1
00000dc3: ISZERO
00000dc4: PUSH2 0x0dd1
00000dc7: JUMPI
00000dc8: RETURNDATASIZE
00000dc9: PUSH1 0x00
00000dcb: DUP1
00000dcc: RETURNDATACOPY
00000dcd: RETURNDATASIZE
00000dce: PUSH1 0x00
00000dd0: REVERT
00000dd1: JUMPDEST
00000dd2: POP
00000dd3: POP
00000dd4: POP
00000dd5: POP
00000dd6: PUSH1 0x40
00000dd8: MLOAD
00000dd9: RETURNDATASIZE
00000dda: PUSH1 0x20
00000ddc: DUP2
00000ddd: LT
00000dde: ISZERO
00000ddf: PUSH2 0x0de7
00000de2: JUMPI
00000de3: PUSH1 0x00
00000de5: DUP1
00000de6: REVERT
00000de7: JUMPDEST
00000de8: DUP2
00000de9: ADD
00000dea: SWAP1
00000deb: DUP1
00000dec: DUP1
00000ded: MLOAD
00000dee: SWAP1
00000def: PUSH1 0x20
00000df1: ADD
00000df2: SWAP1
00000df3: SWAP3
00000df4: SWAP2
00000df5: SWAP1
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: SWAP4
00000dfa: POP
00000dfb: DUP1
00000dfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e11: AND
00000e12: PUSH4 0x70a08231
00000e17: ADDRESS
00000e18: PUSH1 0x40
00000e1a: MLOAD
00000e1b: DUP3
00000e1c: PUSH4 0xffffffff
00000e21: AND
00000e22: PUSH1 0xe0
00000e24: SHL
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x04
00000e29: ADD
00000e2a: DUP1
00000e2b: DUP3
00000e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e41: AND
00000e42: DUP2
00000e43: MSTORE
00000e44: PUSH1 0x20
00000e46: ADD
00000e47: SWAP2
00000e48: POP
00000e49: POP
00000e4a: PUSH1 0x20
00000e4c: PUSH1 0x40
00000e4e: MLOAD
00000e4f: DUP1
00000e50: DUP4
00000e51: SUB
00000e52: DUP2
00000e53: DUP7
00000e54: DUP1
00000e55: EXTCODESIZE
00000e56: ISZERO
00000e57: DUP1
00000e58: ISZERO
00000e59: PUSH2 0x0e61
00000e5c: JUMPI
00000e5d: PUSH1 0x00
00000e5f: DUP1
00000e60: REVERT
00000e61: JUMPDEST
00000e62: POP
00000e63: GAS
00000e64: STATICCALL
00000e65: ISZERO
00000e66: DUP1
00000e67: ISZERO
00000e68: PUSH2 0x0e75
00000e6b: JUMPI
00000e6c: RETURNDATASIZE
00000e6d: PUSH1 0x00
00000e6f: DUP1
00000e70: RETURNDATACOPY
00000e71: RETURNDATASIZE
00000e72: PUSH1 0x00
00000e74: REVERT
00000e75: JUMPDEST
00000e76: POP
00000e77: POP
00000e78: POP
00000e79: POP
00000e7a: PUSH1 0x40
00000e7c: MLOAD
00000e7d: RETURNDATASIZE
00000e7e: PUSH1 0x20
00000e80: DUP2
00000e81: LT
00000e82: ISZERO
00000e83: PUSH2 0x0e8b
00000e86: JUMPI
00000e87: PUSH1 0x00
00000e89: DUP1
00000e8a: REVERT
00000e8b: JUMPDEST
00000e8c: DUP2
00000e8d: ADD
00000e8e: SWAP1
00000e8f: DUP1
00000e90: DUP1
00000e91: MLOAD
00000e92: SWAP1
00000e93: PUSH1 0x20
00000e95: ADD
00000e96: SWAP1
00000e97: SWAP3
00000e98: SWAP2
00000e99: SWAP1
00000e9a: POP
00000e9b: POP
00000e9c: POP
00000e9d: SWAP3
00000e9e: POP
00000e9f: POP
00000ea0: POP
00000ea1: PUSH1 0x00
00000ea3: DUP10
00000ea4: DUP6
00000ea5: PUSH14 0xffffffffffffffffffffffffffff
00000eb4: AND
00000eb5: SUB
00000eb6: DUP4
00000eb7: GT
00000eb8: PUSH2 0x0ec2
00000ebb: JUMPI
00000ebc: PUSH1 0x00
00000ebe: PUSH2 0x0ed8
00000ec1: JUMP
00000ec2: JUMPDEST
00000ec3: DUP10
00000ec4: DUP6
00000ec5: PUSH14 0xffffffffffffffffffffffffffff
00000ed4: AND
00000ed5: SUB
00000ed6: DUP4
00000ed7: SUB
00000ed8: JUMPDEST
00000ed9: SWAP1
00000eda: POP
00000edb: PUSH1 0x00
00000edd: DUP10
00000ede: DUP6
00000edf: PUSH14 0xffffffffffffffffffffffffffff
00000eee: AND
00000eef: SUB
00000ef0: DUP4
00000ef1: GT
00000ef2: PUSH2 0x0efc
00000ef5: JUMPI
00000ef6: PUSH1 0x00
00000ef8: PUSH2 0x0f12
00000efb: JUMP
00000efc: JUMPDEST
00000efd: DUP10
00000efe: DUP6
00000eff: PUSH14 0xffffffffffffffffffffffffffff
00000f0e: AND
00000f0f: SUB
00000f10: DUP4
00000f11: SUB
00000f12: JUMPDEST
00000f13: SWAP1
00000f14: POP
00000f15: PUSH1 0x00
00000f17: DUP3
00000f18: GT
00000f19: DUP1
00000f1a: PUSH2 0x0f23
00000f1d: JUMPI
00000f1e: POP
00000f1f: PUSH1 0x00
00000f21: DUP2
00000f22: GT
00000f23: JUMPDEST
00000f24: PUSH2 0x0f78
00000f27: JUMPI
00000f28: PUSH1 0x40
00000f2a: MLOAD
00000f2b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f4c: DUP2
00000f4d: MSTORE
00000f4e: PUSH1 0x04
00000f50: ADD
00000f51: DUP1
00000f52: DUP1
00000f53: PUSH1 0x20
00000f55: ADD
00000f56: DUP3
00000f57: DUP2
00000f58: SUB
00000f59: DUP3
00000f5a: MSTORE
00000f5b: PUSH1 0x24
00000f5d: DUP2
00000f5e: MSTORE
00000f5f: PUSH1 0x20
00000f61: ADD
00000f62: DUP1
00000f63: PUSH2 0x3a56
00000f66: PUSH1 0x24
00000f68: SWAP2
00000f69: CODECOPY
00000f6a: PUSH1 0x40
00000f6c: ADD
00000f6d: SWAP2
00000f6e: POP
00000f6f: POP
00000f70: PUSH1 0x40
00000f72: MLOAD
00000f73: DUP1
00000f74: SWAP2
00000f75: SUB
00000f76: SWAP1
00000f77: REVERT
00000f78: JUMPDEST
00000f79: PUSH1 0x00
00000f7b: PUSH2 0x0fb4
00000f7e: PUSH2 0x0f91
00000f81: PUSH1 0x03
00000f83: DUP6
00000f84: PUSH2 0x2d9d
00000f87: SWAP1
00000f88: SWAP2
00000f89: SWAP1
00000f8a: PUSH4 0xffffffff
00000f8f: AND
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH2 0x0fa6
00000f95: PUSH2 0x03e8
00000f98: DUP9
00000f99: PUSH2 0x2d9d
00000f9c: SWAP1
00000f9d: SWAP2
00000f9e: SWAP1
00000f9f: PUSH4 0xffffffff
00000fa4: AND
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: PUSH2 0x2e32
00000faa: SWAP1
00000fab: SWAP2
00000fac: SWAP1
00000fad: PUSH4 0xffffffff
00000fb2: AND
00000fb3: JUMP
00000fb4: JUMPDEST
00000fb5: SWAP1
00000fb6: POP
00000fb7: PUSH1 0x00
00000fb9: PUSH2 0x0ff2
00000fbc: PUSH2 0x0fcf
00000fbf: PUSH1 0x03
00000fc1: DUP6
00000fc2: PUSH2 0x2d9d
00000fc5: SWAP1
00000fc6: SWAP2
00000fc7: SWAP1
00000fc8: PUSH4 0xffffffff
00000fcd: AND
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH2 0x0fe4
00000fd3: PUSH2 0x03e8
00000fd6: DUP9
00000fd7: PUSH2 0x2d9d
00000fda: SWAP1
00000fdb: SWAP2
00000fdc: SWAP1
00000fdd: PUSH4 0xffffffff
00000fe2: AND
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: PUSH2 0x2e32
00000fe8: SWAP1
00000fe9: SWAP2
00000fea: SWAP1
00000feb: PUSH4 0xffffffff
00000ff0: AND
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: SWAP1
00000ff4: POP
00000ff5: PUSH2 0x103c
00000ff8: PUSH3 0x0f4240
00000ffc: PUSH2 0x102e
00000fff: DUP10
00001000: PUSH14 0xffffffffffffffffffffffffffff
0000100f: AND
00001010: DUP12
00001011: PUSH14 0xffffffffffffffffffffffffffff
00001020: AND
00001021: PUSH2 0x2d9d
00001024: SWAP1
00001025: SWAP2
00001026: SWAP1
00001027: PUSH4 0xffffffff
0000102c: AND
0000102d: JUMP
0000102e: JUMPDEST
0000102f: PUSH2 0x2d9d
00001032: SWAP1
00001033: SWAP2
00001034: SWAP1
00001035: PUSH4 0xffffffff
0000103a: AND
0000103b: JUMP
0000103c: JUMPDEST
0000103d: PUSH2 0x104f
00001040: DUP3
00001041: DUP5
00001042: PUSH2 0x2d9d
00001045: SWAP1
00001046: SWAP2
00001047: SWAP1
00001048: PUSH4 0xffffffff
0000104d: AND
0000104e: JUMP
0000104f: JUMPDEST
00001050: LT
00001051: ISZERO
00001052: PUSH2 0x10c3
00001055: JUMPI
00001056: PUSH1 0x40
00001058: MLOAD
00001059: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000107a: DUP2
0000107b: MSTORE
0000107c: PUSH1 0x04
0000107e: ADD
0000107f: DUP1
00001080: DUP1
00001081: PUSH1 0x20
00001083: ADD
00001084: DUP3
00001085: DUP2
00001086: SUB
00001087: DUP3
00001088: MSTORE
00001089: PUSH1 0x0c
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: ADD
00001090: DUP1
00001091: PUSH32 0x556e697377617056323a204b0000000000000000000000000000000000000000
000010b2: DUP2
000010b3: MSTORE
000010b4: POP
000010b5: PUSH1 0x20
000010b7: ADD
000010b8: SWAP2
000010b9: POP
000010ba: POP
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: DUP1
000010bf: SWAP2
000010c0: SUB
000010c1: SWAP1
000010c2: REVERT
000010c3: JUMPDEST
000010c4: POP
000010c5: POP
000010c6: PUSH2 0x10d1
000010c9: DUP5
000010ca: DUP5
000010cb: DUP9
000010cc: DUP9
000010cd: PUSH2 0x2eb5
000010d0: JUMP
000010d1: JUMPDEST
000010d2: DUP9
000010d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e8: AND
000010e9: CALLER
000010ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ff: AND
00001100: PUSH32 0xd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d822
00001121: DUP5
00001122: DUP5
00001123: DUP16
00001124: DUP16
00001125: PUSH1 0x40
00001127: MLOAD
00001128: DUP1
00001129: DUP6
0000112a: DUP2
0000112b: MSTORE
0000112c: PUSH1 0x20
0000112e: ADD
0000112f: DUP5
00001130: DUP2
00001131: MSTORE
00001132: PUSH1 0x20
00001134: ADD
00001135: DUP4
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x20
0000113a: ADD
0000113b: DUP3
0000113c: DUP2
0000113d: MSTORE
0000113e: PUSH1 0x20
00001140: ADD
00001141: SWAP5
00001142: POP
00001143: POP
00001144: POP
00001145: POP
00001146: POP
00001147: PUSH1 0x40
00001149: MLOAD
0000114a: DUP1
0000114b: SWAP2
0000114c: SUB
0000114d: SWAP1
0000114e: LOG3
0000114f: POP
00001150: POP
00001151: POP
00001152: POP
00001153: POP
00001154: POP
00001155: PUSH1 0x01
00001157: PUSH1 0x0c
00001159: DUP2
0000115a: SWAP1
0000115b: SSTORE
0000115c: POP
0000115d: POP
0000115e: POP
0000115f: POP
00001160: POP
00001161: POP
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH1 0x40
00001166: MLOAD
00001167: DUP1
00001168: PUSH1 0x40
0000116a: ADD
0000116b: PUSH1 0x40
0000116d: MSTORE
0000116e: DUP1
0000116f: PUSH1 0x0d
00001171: DUP2
00001172: MSTORE
00001173: PUSH1 0x20
00001175: ADD
00001176: PUSH32 0x4e455448204c5020546f6b656e00000000000000000000000000000000000000
00001197: DUP2
00001198: MSTORE
00001199: POP
0000119a: DUP2
0000119b: JUMP
0000119c: JUMPDEST
0000119d: PUSH1 0x00
0000119f: DUP1
000011a0: PUSH1 0x00
000011a2: PUSH1 0x08
000011a4: PUSH1 0x00
000011a6: SWAP1
000011a7: SLOAD
000011a8: SWAP1
000011a9: PUSH2 0x0100
000011ac: EXP
000011ad: SWAP1
000011ae: DIV
000011af: PUSH14 0xffffffffffffffffffffffffffff
000011be: AND
000011bf: SWAP3
000011c0: POP
000011c1: PUSH1 0x08
000011c3: PUSH1 0x0e
000011c5: SWAP1
000011c6: SLOAD
000011c7: SWAP1
000011c8: PUSH2 0x0100
000011cb: EXP
000011cc: SWAP1
000011cd: DIV
000011ce: PUSH14 0xffffffffffffffffffffffffffff
000011dd: AND
000011de: SWAP2
000011df: POP
000011e0: PUSH1 0x08
000011e2: PUSH1 0x1c
000011e4: SWAP1
000011e5: SLOAD
000011e6: SWAP1
000011e7: PUSH2 0x0100
000011ea: EXP
000011eb: SWAP1
000011ec: DIV
000011ed: PUSH4 0xffffffff
000011f2: AND
000011f3: SWAP1
000011f4: POP
000011f5: SWAP1
000011f6: SWAP2
000011f7: SWAP3
000011f8: JUMP
000011f9: JUMPDEST
000011fa: PUSH1 0x00
000011fc: PUSH2 0x1206
000011ff: CALLER
00001200: DUP5
00001201: DUP5
00001202: PUSH2 0x3213
00001205: JUMP
00001206: JUMPDEST
00001207: PUSH1 0x01
00001209: SWAP1
0000120a: POP
0000120b: SWAP3
0000120c: SWAP2
0000120d: POP
0000120e: POP
0000120f: JUMP
00001210: JUMPDEST
00001211: PUSH1 0x06
00001213: PUSH1 0x00
00001215: SWAP1
00001216: SLOAD
00001217: SWAP1
00001218: PUSH2 0x0100
0000121b: EXP
0000121c: SWAP1
0000121d: DIV
0000121e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001233: AND
00001234: DUP2
00001235: JUMP
00001236: JUMPDEST
00001237: PUSH1 0x00
00001239: SLOAD
0000123a: DUP2
0000123b: JUMP
0000123c: JUMPDEST
0000123d: PUSH1 0x00
0000123f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001260: PUSH1 0x02
00001262: PUSH1 0x00
00001264: DUP7
00001265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127a: AND
0000127b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001290: AND
00001291: DUP2
00001292: MSTORE
00001293: PUSH1 0x20
00001295: ADD
00001296: SWAP1
00001297: DUP2
00001298: MSTORE
00001299: PUSH1 0x20
0000129b: ADD
0000129c: PUSH1 0x00
0000129e: KECCAK256
0000129f: PUSH1 0x00
000012a1: CALLER
000012a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b7: AND
000012b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cd: AND
000012ce: DUP2
000012cf: MSTORE
000012d0: PUSH1 0x20
000012d2: ADD
000012d3: SWAP1
000012d4: DUP2
000012d5: MSTORE
000012d6: PUSH1 0x20
000012d8: ADD
000012d9: PUSH1 0x00
000012db: KECCAK256
000012dc: SLOAD
000012dd: EQ
000012de: PUSH2 0x13f1
000012e1: JUMPI
000012e2: PUSH2 0x1370
000012e5: DUP3
000012e6: PUSH1 0x02
000012e8: PUSH1 0x00
000012ea: DUP8
000012eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001300: AND
00001301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001316: AND
00001317: DUP2
00001318: MSTORE
00001319: PUSH1 0x20
0000131b: ADD
0000131c: SWAP1
0000131d: DUP2
0000131e: MSTORE
0000131f: PUSH1 0x20
00001321: ADD
00001322: PUSH1 0x00
00001324: KECCAK256
00001325: PUSH1 0x00
00001327: CALLER
00001328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133d: AND
0000133e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001353: AND
00001354: DUP2
00001355: MSTORE
00001356: PUSH1 0x20
00001358: ADD
00001359: SWAP1
0000135a: DUP2
0000135b: MSTORE
0000135c: PUSH1 0x20
0000135e: ADD
0000135f: PUSH1 0x00
00001361: KECCAK256
00001362: SLOAD
00001363: PUSH2 0x2e32
00001366: SWAP1
00001367: SWAP2
00001368: SWAP1
00001369: PUSH4 0xffffffff
0000136e: AND
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH1 0x02
00001373: PUSH1 0x00
00001375: DUP7
00001376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138b: AND
0000138c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a1: AND
000013a2: DUP2
000013a3: MSTORE
000013a4: PUSH1 0x20
000013a6: ADD
000013a7: SWAP1
000013a8: DUP2
000013a9: MSTORE
000013aa: PUSH1 0x20
000013ac: ADD
000013ad: PUSH1 0x00
000013af: KECCAK256
000013b0: PUSH1 0x00
000013b2: CALLER
000013b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c8: AND
000013c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013de: AND
000013df: DUP2
000013e0: MSTORE
000013e1: PUSH1 0x20
000013e3: ADD
000013e4: SWAP1
000013e5: DUP2
000013e6: MSTORE
000013e7: PUSH1 0x20
000013e9: ADD
000013ea: PUSH1 0x00
000013ec: KECCAK256
000013ed: DUP2
000013ee: SWAP1
000013ef: SSTORE
000013f0: POP
000013f1: JUMPDEST
000013f2: PUSH2 0x13fc
000013f5: DUP5
000013f6: DUP5
000013f7: DUP5
000013f8: PUSH2 0x32fe
000013fb: JUMP
000013fc: JUMPDEST
000013fd: PUSH1 0x01
000013ff: SWAP1
00001400: POP
00001401: SWAP4
00001402: SWAP3
00001403: POP
00001404: POP
00001405: POP
00001406: JUMP
00001407: JUMPDEST
00001408: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00001429: PUSH1 0x00
0000142b: SHL
0000142c: DUP2
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH1 0x12
00001431: DUP2
00001432: JUMP
00001433: JUMPDEST
00001434: PUSH1 0x03
00001436: SLOAD
00001437: DUP2
00001438: JUMP
00001439: JUMPDEST
0000143a: PUSH1 0x05
0000143c: PUSH1 0x00
0000143e: SWAP1
0000143f: SLOAD
00001440: SWAP1
00001441: PUSH2 0x0100
00001444: EXP
00001445: SWAP1
00001446: DIV
00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145c: AND
0000145d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001472: AND
00001473: CALLER
00001474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001489: AND
0000148a: EQ
0000148b: PUSH2 0x14fc
0000148e: JUMPI
0000148f: PUSH1 0x40
00001491: MLOAD
00001492: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014b3: DUP2
000014b4: MSTORE
000014b5: PUSH1 0x04
000014b7: ADD
000014b8: DUP1
000014b9: DUP1
000014ba: PUSH1 0x20
000014bc: ADD
000014bd: DUP3
000014be: DUP2
000014bf: SUB
000014c0: DUP3
000014c1: MSTORE
000014c2: PUSH1 0x14
000014c4: DUP2
000014c5: MSTORE
000014c6: PUSH1 0x20
000014c8: ADD
000014c9: DUP1
000014ca: PUSH32 0x556e697377617056323a20464f5242494444454e000000000000000000000000
000014eb: DUP2
000014ec: MSTORE
000014ed: POP
000014ee: PUSH1 0x20
000014f0: ADD
000014f1: SWAP2
000014f2: POP
000014f3: POP
000014f4: PUSH1 0x40
000014f6: MLOAD
000014f7: DUP1
000014f8: SWAP2
000014f9: SUB
000014fa: SWAP1
000014fb: REVERT
000014fc: JUMPDEST
000014fd: DUP2
000014fe: PUSH1 0x06
00001500: PUSH1 0x00
00001502: PUSH2 0x0100
00001505: EXP
00001506: DUP2
00001507: SLOAD
00001508: DUP2
00001509: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000151e: MUL
0000151f: NOT
00001520: AND
00001521: SWAP1
00001522: DUP4
00001523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001538: AND
00001539: MUL
0000153a: OR
0000153b: SWAP1
0000153c: SSTORE
0000153d: POP
0000153e: DUP1
0000153f: PUSH1 0x07
00001541: PUSH1 0x00
00001543: PUSH2 0x0100
00001546: EXP
00001547: DUP2
00001548: SLOAD
00001549: DUP2
0000154a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155f: MUL
00001560: NOT
00001561: AND
00001562: SWAP1
00001563: DUP4
00001564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001579: AND
0000157a: MUL
0000157b: OR
0000157c: SWAP1
0000157d: SSTORE
0000157e: POP
0000157f: POP
00001580: POP
00001581: JUMP
00001582: JUMPDEST
00001583: PUSH1 0x09
00001585: SLOAD
00001586: DUP2
00001587: JUMP
00001588: JUMPDEST
00001589: PUSH1 0x0a
0000158b: SLOAD
0000158c: DUP2
0000158d: JUMP
0000158e: JUMPDEST
0000158f: PUSH1 0x00
00001591: PUSH1 0x01
00001593: PUSH1 0x0c
00001595: SLOAD
00001596: EQ
00001597: PUSH2 0x1608
0000159a: JUMPI
0000159b: PUSH1 0x40
0000159d: MLOAD
0000159e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015bf: DUP2
000015c0: MSTORE
000015c1: PUSH1 0x04
000015c3: ADD
000015c4: DUP1
000015c5: DUP1
000015c6: PUSH1 0x20
000015c8: ADD
000015c9: DUP3
000015ca: DUP2
000015cb: SUB
000015cc: DUP3
000015cd: MSTORE
000015ce: PUSH1 0x11
000015d0: DUP2
000015d1: MSTORE
000015d2: PUSH1 0x20
000015d4: ADD
000015d5: DUP1
000015d6: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
000015f7: DUP2
000015f8: MSTORE
000015f9: POP
000015fa: PUSH1 0x20
000015fc: ADD
000015fd: SWAP2
000015fe: POP
000015ff: POP
00001600: PUSH1 0x40
00001602: MLOAD
00001603: DUP1
00001604: SWAP2
00001605: SUB
00001606: SWAP1
00001607: REVERT
00001608: JUMPDEST
00001609: PUSH1 0x00
0000160b: PUSH1 0x0c
0000160d: DUP2
0000160e: SWAP1
0000160f: SSTORE
00001610: POP
00001611: PUSH1 0x00
00001613: DUP1
00001614: PUSH2 0x161b
00001617: PUSH2 0x119c
0000161a: JUMP
0000161b: JUMPDEST
0000161c: POP
0000161d: SWAP2
0000161e: POP
0000161f: SWAP2
00001620: POP
00001621: PUSH1 0x00
00001623: PUSH1 0x06
00001625: PUSH1 0x00
00001627: SWAP1
00001628: SLOAD
00001629: SWAP1
0000162a: PUSH2 0x0100
0000162d: EXP
0000162e: SWAP1
0000162f: DIV
00001630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001645: AND
00001646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165b: AND
0000165c: PUSH4 0x70a08231
00001661: ADDRESS
00001662: PUSH1 0x40
00001664: MLOAD
00001665: DUP3
00001666: PUSH4 0xffffffff
0000166b: AND
0000166c: PUSH1 0xe0
0000166e: SHL
0000166f: DUP2
00001670: MSTORE
00001671: PUSH1 0x04
00001673: ADD
00001674: DUP1
00001675: DUP3
00001676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168b: AND
0000168c: DUP2
0000168d: MSTORE
0000168e: PUSH1 0x20
00001690: ADD
00001691: SWAP2
00001692: POP
00001693: POP
00001694: PUSH1 0x20
00001696: PUSH1 0x40
00001698: MLOAD
00001699: DUP1
0000169a: DUP4
0000169b: SUB
0000169c: DUP2
0000169d: DUP7
0000169e: DUP1
0000169f: EXTCODESIZE
000016a0: ISZERO
000016a1: DUP1
000016a2: ISZERO
000016a3: PUSH2 0x16ab
000016a6: JUMPI
000016a7: PUSH1 0x00
000016a9: DUP1
000016aa: REVERT
000016ab: JUMPDEST
000016ac: POP
000016ad: GAS
000016ae: STATICCALL
000016af: ISZERO
000016b0: DUP1
000016b1: ISZERO
000016b2: PUSH2 0x16bf
000016b5: JUMPI
000016b6: RETURNDATASIZE
000016b7: PUSH1 0x00
000016b9: DUP1
000016ba: RETURNDATACOPY
000016bb: RETURNDATASIZE
000016bc: PUSH1 0x00
000016be: REVERT
000016bf: JUMPDEST
000016c0: POP
000016c1: POP
000016c2: POP
000016c3: POP
000016c4: PUSH1 0x40
000016c6: MLOAD
000016c7: RETURNDATASIZE
000016c8: PUSH1 0x20
000016ca: DUP2
000016cb: LT
000016cc: ISZERO
000016cd: PUSH2 0x16d5
000016d0: JUMPI
000016d1: PUSH1 0x00
000016d3: DUP1
000016d4: REVERT
000016d5: JUMPDEST
000016d6: DUP2
000016d7: ADD
000016d8: SWAP1
000016d9: DUP1
000016da: DUP1
000016db: MLOAD
000016dc: SWAP1
000016dd: PUSH1 0x20
000016df: ADD
000016e0: SWAP1
000016e1: SWAP3
000016e2: SWAP2
000016e3: SWAP1
000016e4: POP
000016e5: POP
000016e6: POP
000016e7: SWAP1
000016e8: POP
000016e9: PUSH1 0x00
000016eb: PUSH1 0x07
000016ed: PUSH1 0x00
000016ef: SWAP1
000016f0: SLOAD
000016f1: SWAP1
000016f2: PUSH2 0x0100
000016f5: EXP
000016f6: SWAP1
000016f7: DIV
000016f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170d: AND
0000170e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001723: AND
00001724: PUSH4 0x70a08231
00001729: ADDRESS
0000172a: PUSH1 0x40
0000172c: MLOAD
0000172d: DUP3
0000172e: PUSH4 0xffffffff
00001733: AND
00001734: PUSH1 0xe0
00001736: SHL
00001737: DUP2
00001738: MSTORE
00001739: PUSH1 0x04
0000173b: ADD
0000173c: DUP1
0000173d: DUP3
0000173e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001753: AND
00001754: DUP2
00001755: MSTORE
00001756: PUSH1 0x20
00001758: ADD
00001759: SWAP2
0000175a: POP
0000175b: POP
0000175c: PUSH1 0x20
0000175e: PUSH1 0x40
00001760: MLOAD
00001761: DUP1
00001762: DUP4
00001763: SUB
00001764: DUP2
00001765: DUP7
00001766: DUP1
00001767: EXTCODESIZE
00001768: ISZERO
00001769: DUP1
0000176a: ISZERO
0000176b: PUSH2 0x1773
0000176e: JUMPI
0000176f: PUSH1 0x00
00001771: DUP1
00001772: REVERT
00001773: JUMPDEST
00001774: POP
00001775: GAS
00001776: STATICCALL
00001777: ISZERO
00001778: DUP1
00001779: ISZERO
0000177a: PUSH2 0x1787
0000177d: JUMPI
0000177e: RETURNDATASIZE
0000177f: PUSH1 0x00
00001781: DUP1
00001782: RETURNDATACOPY
00001783: RETURNDATASIZE
00001784: PUSH1 0x00
00001786: REVERT
00001787: JUMPDEST
00001788: POP
00001789: POP
0000178a: POP
0000178b: POP
0000178c: PUSH1 0x40
0000178e: MLOAD
0000178f: RETURNDATASIZE
00001790: PUSH1 0x20
00001792: DUP2
00001793: LT
00001794: ISZERO
00001795: PUSH2 0x179d
00001798: JUMPI
00001799: PUSH1 0x00
0000179b: DUP1
0000179c: REVERT
0000179d: JUMPDEST
0000179e: DUP2
0000179f: ADD
000017a0: SWAP1
000017a1: DUP1
000017a2: DUP1
000017a3: MLOAD
000017a4: SWAP1
000017a5: PUSH1 0x20
000017a7: ADD
000017a8: SWAP1
000017a9: SWAP3
000017aa: SWAP2
000017ab: SWAP1
000017ac: POP
000017ad: POP
000017ae: POP
000017af: SWAP1
000017b0: POP
000017b1: PUSH1 0x00
000017b3: PUSH2 0x17d5
000017b6: DUP6
000017b7: PUSH14 0xffffffffffffffffffffffffffff
000017c6: AND
000017c7: DUP5
000017c8: PUSH2 0x2e32
000017cb: SWAP1
000017cc: SWAP2
000017cd: SWAP1
000017ce: PUSH4 0xffffffff
000017d3: AND
000017d4: JUMP
000017d5: JUMPDEST
000017d6: SWAP1
000017d7: POP
000017d8: PUSH1 0x00
000017da: PUSH2 0x17fc
000017dd: DUP6
000017de: PUSH14 0xffffffffffffffffffffffffffff
000017ed: AND
000017ee: DUP5
000017ef: PUSH2 0x2e32
000017f2: SWAP1
000017f3: SWAP2
000017f4: SWAP1
000017f5: PUSH4 0xffffffff
000017fa: AND
000017fb: JUMP
000017fc: JUMPDEST
000017fd: SWAP1
000017fe: POP
000017ff: PUSH1 0x00
00001801: PUSH2 0x180a
00001804: DUP8
00001805: DUP8
00001806: PUSH2 0x3492
00001809: JUMP
0000180a: JUMPDEST
0000180b: SWAP1
0000180c: POP
0000180d: PUSH1 0x00
0000180f: DUP1
00001810: SLOAD
00001811: SWAP1
00001812: POP
00001813: PUSH1 0x00
00001815: DUP2
00001816: EQ
00001817: ISZERO
00001818: PUSH2 0x1b07
0000181b: JUMPI
0000181c: PUSH1 0x00
0000181e: PUSH1 0x05
00001820: PUSH1 0x00
00001822: SWAP1
00001823: SLOAD
00001824: SWAP1
00001825: PUSH2 0x0100
00001828: EXP
00001829: SWAP1
0000182a: DIV
0000182b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001840: AND
00001841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001856: AND
00001857: PUSH4 0x7cd07e47
0000185c: PUSH1 0x40
0000185e: MLOAD
0000185f: DUP2
00001860: PUSH4 0xffffffff
00001865: AND
00001866: PUSH1 0xe0
00001868: SHL
00001869: DUP2
0000186a: MSTORE
0000186b: PUSH1 0x04
0000186d: ADD
0000186e: PUSH1 0x20
00001870: PUSH1 0x40
00001872: MLOAD
00001873: DUP1
00001874: DUP4
00001875: SUB
00001876: DUP2
00001877: DUP7
00001878: DUP1
00001879: EXTCODESIZE
0000187a: ISZERO
0000187b: DUP1
0000187c: ISZERO
0000187d: PUSH2 0x1885
00001880: JUMPI
00001881: PUSH1 0x00
00001883: DUP1
00001884: REVERT
00001885: JUMPDEST
00001886: POP
00001887: GAS
00001888: STATICCALL
00001889: ISZERO
0000188a: DUP1
0000188b: ISZERO
0000188c: PUSH2 0x1899
0000188f: JUMPI
00001890: RETURNDATASIZE
00001891: PUSH1 0x00
00001893: DUP1
00001894: RETURNDATACOPY
00001895: RETURNDATASIZE
00001896: PUSH1 0x00
00001898: REVERT
00001899: JUMPDEST
0000189a: POP
0000189b: POP
0000189c: POP
0000189d: POP
0000189e: PUSH1 0x40
000018a0: MLOAD
000018a1: RETURNDATASIZE
000018a2: PUSH1 0x20
000018a4: DUP2
000018a5: LT
000018a6: ISZERO
000018a7: PUSH2 0x18af
000018aa: JUMPI
000018ab: PUSH1 0x00
000018ad: DUP1
000018ae: REVERT
000018af: JUMPDEST
000018b0: DUP2
000018b1: ADD
000018b2: SWAP1
000018b3: DUP1
000018b4: DUP1
000018b5: MLOAD
000018b6: SWAP1
000018b7: PUSH1 0x20
000018b9: ADD
000018ba: SWAP1
000018bb: SWAP3
000018bc: SWAP2
000018bd: SWAP1
000018be: POP
000018bf: POP
000018c0: POP
000018c1: SWAP1
000018c2: POP
000018c3: DUP1
000018c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d9: AND
000018da: CALLER
000018db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f0: AND
000018f1: EQ
000018f2: ISZERO
000018f3: PUSH2 0x1a20
000018f6: JUMPI
000018f7: DUP1
000018f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190d: AND
0000190e: PUSH4 0x40dc0e37
00001913: PUSH1 0x40
00001915: MLOAD
00001916: DUP2
00001917: PUSH4 0xffffffff
0000191c: AND
0000191d: PUSH1 0xe0
0000191f: SHL
00001920: DUP2
00001921: MSTORE
00001922: PUSH1 0x04
00001924: ADD
00001925: PUSH1 0x20
00001927: PUSH1 0x40
00001929: MLOAD
0000192a: DUP1
0000192b: DUP4
0000192c: SUB
0000192d: DUP2
0000192e: DUP7
0000192f: DUP1
00001930: EXTCODESIZE
00001931: ISZERO
00001932: DUP1
00001933: ISZERO
00001934: PUSH2 0x193c
00001937: JUMPI
00001938: PUSH1 0x00
0000193a: DUP1
0000193b: REVERT
0000193c: JUMPDEST
0000193d: POP
0000193e: GAS
0000193f: STATICCALL
00001940: ISZERO
00001941: DUP1
00001942: ISZERO
00001943: PUSH2 0x1950
00001946: JUMPI
00001947: RETURNDATASIZE
00001948: PUSH1 0x00
0000194a: DUP1
0000194b: RETURNDATACOPY
0000194c: RETURNDATASIZE
0000194d: PUSH1 0x00
0000194f: REVERT
00001950: JUMPDEST
00001951: POP
00001952: POP
00001953: POP
00001954: POP
00001955: PUSH1 0x40
00001957: MLOAD
00001958: RETURNDATASIZE
00001959: PUSH1 0x20
0000195b: DUP2
0000195c: LT
0000195d: ISZERO
0000195e: PUSH2 0x1966
00001961: JUMPI
00001962: PUSH1 0x00
00001964: DUP1
00001965: REVERT
00001966: JUMPDEST
00001967: DUP2
00001968: ADD
00001969: SWAP1
0000196a: DUP1
0000196b: DUP1
0000196c: MLOAD
0000196d: SWAP1
0000196e: PUSH1 0x20
00001970: ADD
00001971: SWAP1
00001972: SWAP3
00001973: SWAP2
00001974: SWAP1
00001975: POP
00001976: POP
00001977: POP
00001978: SWAP10
00001979: POP
0000197a: PUSH1 0x00
0000197c: DUP11
0000197d: GT
0000197e: DUP1
0000197f: ISZERO
00001980: PUSH2 0x19a9
00001983: JUMPI
00001984: POP
00001985: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000019a6: DUP11
000019a7: EQ
000019a8: ISZERO
000019a9: JUMPDEST
000019aa: PUSH2 0x1a1b
000019ad: JUMPI
000019ae: PUSH1 0x40
000019b0: MLOAD
000019b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019d2: DUP2
000019d3: MSTORE
000019d4: PUSH1 0x04
000019d6: ADD
000019d7: DUP1
000019d8: DUP1
000019d9: PUSH1 0x20
000019db: ADD
000019dc: DUP3
000019dd: DUP2
000019de: SUB
000019df: DUP3
000019e0: MSTORE
000019e1: PUSH1 0x15
000019e3: DUP2
000019e4: MSTORE
000019e5: PUSH1 0x20
000019e7: ADD
000019e8: DUP1
000019e9: PUSH32 0x4261642064657369726564206c69717569646974790000000000000000000000
00001a0a: DUP2
00001a0b: MSTORE
00001a0c: POP
00001a0d: PUSH1 0x20
00001a0f: ADD
00001a10: SWAP2
00001a11: POP
00001a12: POP
00001a13: PUSH1 0x40
00001a15: MLOAD
00001a16: DUP1
00001a17: SWAP2
00001a18: SUB
00001a19: SWAP1
00001a1a: REVERT
00001a1b: JUMPDEST
00001a1c: PUSH2 0x1b01
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH1 0x00
00001a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a38: AND
00001a39: DUP2
00001a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4f: AND
00001a50: EQ
00001a51: PUSH2 0x1ac2
00001a54: JUMPI
00001a55: PUSH1 0x40
00001a57: MLOAD
00001a58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a79: DUP2
00001a7a: MSTORE
00001a7b: PUSH1 0x04
00001a7d: ADD
00001a7e: DUP1
00001a7f: DUP1
00001a80: PUSH1 0x20
00001a82: ADD
00001a83: DUP3
00001a84: DUP2
00001a85: SUB
00001a86: DUP3
00001a87: MSTORE
00001a88: PUSH1 0x16
00001a8a: DUP2
00001a8b: MSTORE
00001a8c: PUSH1 0x20
00001a8e: ADD
00001a8f: DUP1
00001a90: PUSH32 0x4d757374206e6f742068617665206d69677261746f7200000000000000000000
00001ab1: DUP2
00001ab2: MSTORE
00001ab3: POP
00001ab4: PUSH1 0x20
00001ab6: ADD
00001ab7: SWAP2
00001ab8: POP
00001ab9: POP
00001aba: PUSH1 0x40
00001abc: MLOAD
00001abd: DUP1
00001abe: SWAP2
00001abf: SUB
00001ac0: SWAP1
00001ac1: REVERT
00001ac2: JUMPDEST
00001ac3: PUSH2 0x1af1
00001ac6: PUSH2 0x03e8
00001ac9: PUSH2 0x1ae3
00001acc: PUSH2 0x1ade
00001acf: DUP8
00001ad0: DUP10
00001ad1: PUSH2 0x2d9d
00001ad4: SWAP1
00001ad5: SWAP2
00001ad6: SWAP1
00001ad7: PUSH4 0xffffffff
00001adc: AND
00001add: JUMP
00001ade: JUMPDEST
00001adf: PUSH2 0x3673
00001ae2: JUMP
00001ae3: JUMPDEST
00001ae4: PUSH2 0x2e32
00001ae7: SWAP1
00001ae8: SWAP2
00001ae9: SWAP1
00001aea: PUSH4 0xffffffff
00001aef: AND
00001af0: JUMP
00001af1: JUMPDEST
00001af2: SWAP10
00001af3: POP
00001af4: PUSH2 0x1b00
00001af7: PUSH1 0x00
00001af9: PUSH2 0x03e8
00001afc: PUSH2 0x36d5
00001aff: JUMP
00001b00: JUMPDEST
00001b01: JUMPDEST
00001b02: POP
00001b03: PUSH2 0x1b6a
00001b06: JUMP
00001b07: JUMPDEST
00001b08: PUSH2 0x1b67
00001b0b: DUP9
00001b0c: PUSH14 0xffffffffffffffffffffffffffff
00001b1b: AND
00001b1c: PUSH2 0x1b2e
00001b1f: DUP4
00001b20: DUP8
00001b21: PUSH2 0x2d9d
00001b24: SWAP1
00001b25: SWAP2
00001b26: SWAP1
00001b27: PUSH4 0xffffffff
00001b2c: AND
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: DUP2
00001b30: PUSH2 0x1b35
00001b33: JUMPI
00001b34: INVALID
00001b35: JUMPDEST
00001b36: DIV
00001b37: DUP9
00001b38: PUSH14 0xffffffffffffffffffffffffffff
00001b47: AND
00001b48: PUSH2 0x1b5a
00001b4b: DUP5
00001b4c: DUP8
00001b4d: PUSH2 0x2d9d
00001b50: SWAP1
00001b51: SWAP2
00001b52: SWAP1
00001b53: PUSH4 0xffffffff
00001b58: AND
00001b59: JUMP
00001b5a: JUMPDEST
00001b5b: DUP2
00001b5c: PUSH2 0x1b61
00001b5f: JUMPI
00001b60: INVALID
00001b61: JUMPDEST
00001b62: DIV
00001b63: PUSH2 0x37ef
00001b66: JUMP
00001b67: JUMPDEST
00001b68: SWAP9
00001b69: POP
00001b6a: JUMPDEST
00001b6b: PUSH1 0x00
00001b6d: DUP10
00001b6e: GT
00001b6f: PUSH2 0x1bc3
00001b72: JUMPI
00001b73: PUSH1 0x40
00001b75: MLOAD
00001b76: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b97: DUP2
00001b98: MSTORE
00001b99: PUSH1 0x04
00001b9b: ADD
00001b9c: DUP1
00001b9d: DUP1
00001b9e: PUSH1 0x20
00001ba0: ADD
00001ba1: DUP3
00001ba2: DUP2
00001ba3: SUB
00001ba4: DUP3
00001ba5: MSTORE
00001ba6: PUSH1 0x28
00001ba8: DUP2
00001ba9: MSTORE
00001baa: PUSH1 0x20
00001bac: ADD
00001bad: DUP1
00001bae: PUSH2 0x3ac3
00001bb1: PUSH1 0x28
00001bb3: SWAP2
00001bb4: CODECOPY
00001bb5: PUSH1 0x40
00001bb7: ADD
00001bb8: SWAP2
00001bb9: POP
00001bba: POP
00001bbb: PUSH1 0x40
00001bbd: MLOAD
00001bbe: DUP1
00001bbf: SWAP2
00001bc0: SUB
00001bc1: SWAP1
00001bc2: REVERT
00001bc3: JUMPDEST
00001bc4: PUSH2 0x1bcd
00001bc7: DUP11
00001bc8: DUP11
00001bc9: PUSH2 0x36d5
00001bcc: JUMP
00001bcd: JUMPDEST
00001bce: PUSH2 0x1bd9
00001bd1: DUP7
00001bd2: DUP7
00001bd3: DUP11
00001bd4: DUP11
00001bd5: PUSH2 0x2eb5
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: DUP2
00001bdb: ISZERO
00001bdc: PUSH2 0x1c51
00001bdf: JUMPI
00001be0: PUSH2 0x1c4a
00001be3: PUSH1 0x08
00001be5: PUSH1 0x0e
00001be7: SWAP1
00001be8: SLOAD
00001be9: SWAP1
00001bea: PUSH2 0x0100
00001bed: EXP
00001bee: SWAP1
00001bef: DIV
00001bf0: PUSH14 0xffffffffffffffffffffffffffff
00001bff: AND
00001c00: PUSH14 0xffffffffffffffffffffffffffff
00001c0f: AND
00001c10: PUSH1 0x08
00001c12: PUSH1 0x00
00001c14: SWAP1
00001c15: SLOAD
00001c16: SWAP1
00001c17: PUSH2 0x0100
00001c1a: EXP
00001c1b: SWAP1
00001c1c: DIV
00001c1d: PUSH14 0xffffffffffffffffffffffffffff
00001c2c: AND
00001c2d: PUSH14 0xffffffffffffffffffffffffffff
00001c3c: AND
00001c3d: PUSH2 0x2d9d
00001c40: SWAP1
00001c41: SWAP2
00001c42: SWAP1
00001c43: PUSH4 0xffffffff
00001c48: AND
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: PUSH1 0x0b
00001c4d: DUP2
00001c4e: SWAP1
00001c4f: SSTORE
00001c50: POP
00001c51: JUMPDEST
00001c52: CALLER
00001c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c68: AND
00001c69: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
00001c8a: DUP6
00001c8b: DUP6
00001c8c: PUSH1 0x40
00001c8e: MLOAD
00001c8f: DUP1
00001c90: DUP4
00001c91: DUP2
00001c92: MSTORE
00001c93: PUSH1 0x20
00001c95: ADD
00001c96: DUP3
00001c97: DUP2
00001c98: MSTORE
00001c99: PUSH1 0x20
00001c9b: ADD
00001c9c: SWAP3
00001c9d: POP
00001c9e: POP
00001c9f: POP
00001ca0: PUSH1 0x40
00001ca2: MLOAD
00001ca3: DUP1
00001ca4: SWAP2
00001ca5: SUB
00001ca6: SWAP1
00001ca7: LOG2
00001ca8: POP
00001ca9: POP
00001caa: POP
00001cab: POP
00001cac: POP
00001cad: POP
00001cae: POP
00001caf: POP
00001cb0: PUSH1 0x01
00001cb2: PUSH1 0x0c
00001cb4: DUP2
00001cb5: SWAP1
00001cb6: SSTORE
00001cb7: POP
00001cb8: SWAP2
00001cb9: SWAP1
00001cba: POP
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: PUSH1 0x01
00001cbf: PUSH1 0x20
00001cc1: MSTORE
00001cc2: DUP1
00001cc3: PUSH1 0x00
00001cc5: MSTORE
00001cc6: PUSH1 0x40
00001cc8: PUSH1 0x00
00001cca: KECCAK256
00001ccb: PUSH1 0x00
00001ccd: SWAP2
00001cce: POP
00001ccf: SWAP1
00001cd0: POP
00001cd1: SLOAD
00001cd2: DUP2
00001cd3: JUMP
00001cd4: JUMPDEST
00001cd5: PUSH1 0x0b
00001cd7: SLOAD
00001cd8: DUP2
00001cd9: JUMP
00001cda: JUMPDEST
00001cdb: PUSH1 0x04
00001cdd: PUSH1 0x20
00001cdf: MSTORE
00001ce0: DUP1
00001ce1: PUSH1 0x00
00001ce3: MSTORE
00001ce4: PUSH1 0x40
00001ce6: PUSH1 0x00
00001ce8: KECCAK256
00001ce9: PUSH1 0x00
00001ceb: SWAP2
00001cec: POP
00001ced: SWAP1
00001cee: POP
00001cef: SLOAD
00001cf0: DUP2
00001cf1: JUMP
00001cf2: JUMPDEST
00001cf3: PUSH1 0x00
00001cf5: DUP1
00001cf6: PUSH1 0x01
00001cf8: PUSH1 0x0c
00001cfa: SLOAD
00001cfb: EQ
00001cfc: PUSH2 0x1d6d
00001cff: JUMPI
00001d00: PUSH1 0x40
00001d02: MLOAD
00001d03: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d24: DUP2
00001d25: MSTORE
00001d26: PUSH1 0x04
00001d28: ADD
00001d29: DUP1
00001d2a: DUP1
00001d2b: PUSH1 0x20
00001d2d: ADD
00001d2e: DUP3
00001d2f: DUP2
00001d30: SUB
00001d31: DUP3
00001d32: MSTORE
00001d33: PUSH1 0x11
00001d35: DUP2
00001d36: MSTORE
00001d37: PUSH1 0x20
00001d39: ADD
00001d3a: DUP1
00001d3b: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
00001d5c: DUP2
00001d5d: MSTORE
00001d5e: POP
00001d5f: PUSH1 0x20
00001d61: ADD
00001d62: SWAP2
00001d63: POP
00001d64: POP
00001d65: PUSH1 0x40
00001d67: MLOAD
00001d68: DUP1
00001d69: SWAP2
00001d6a: SUB
00001d6b: SWAP1
00001d6c: REVERT
00001d6d: JUMPDEST
00001d6e: PUSH1 0x00
00001d70: PUSH1 0x0c
00001d72: DUP2
00001d73: SWAP1
00001d74: SSTORE
00001d75: POP
00001d76: PUSH1 0x00
00001d78: DUP1
00001d79: PUSH2 0x1d80
00001d7c: PUSH2 0x119c
00001d7f: JUMP
00001d80: JUMPDEST
00001d81: POP
00001d82: SWAP2
00001d83: POP
00001d84: SWAP2
00001d85: POP
00001d86: PUSH1 0x00
00001d88: PUSH1 0x06
00001d8a: PUSH1 0x00
00001d8c: SWAP1
00001d8d: SLOAD
00001d8e: SWAP1
00001d8f: PUSH2 0x0100
00001d92: EXP
00001d93: SWAP1
00001d94: DIV
00001d95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001daa: AND
00001dab: SWAP1
00001dac: POP
00001dad: PUSH1 0x00
00001daf: PUSH1 0x07
00001db1: PUSH1 0x00
00001db3: SWAP1
00001db4: SLOAD
00001db5: SWAP1
00001db6: PUSH2 0x0100
00001db9: EXP
00001dba: SWAP1
00001dbb: DIV
00001dbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd1: AND
00001dd2: SWAP1
00001dd3: POP
00001dd4: PUSH1 0x00
00001dd6: DUP3
00001dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dec: AND
00001ded: PUSH4 0x70a08231
00001df2: ADDRESS
00001df3: PUSH1 0x40
00001df5: MLOAD
00001df6: DUP3
00001df7: PUSH4 0xffffffff
00001dfc: AND
00001dfd: PUSH1 0xe0
00001dff: SHL
00001e00: DUP2
00001e01: MSTORE
00001e02: PUSH1 0x04
00001e04: ADD
00001e05: DUP1
00001e06: DUP3
00001e07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1c: AND
00001e1d: DUP2
00001e1e: MSTORE
00001e1f: PUSH1 0x20
00001e21: ADD
00001e22: SWAP2
00001e23: POP
00001e24: POP
00001e25: PUSH1 0x20
00001e27: PUSH1 0x40
00001e29: MLOAD
00001e2a: DUP1
00001e2b: DUP4
00001e2c: SUB
00001e2d: DUP2
00001e2e: DUP7
00001e2f: DUP1
00001e30: EXTCODESIZE
00001e31: ISZERO
00001e32: DUP1
00001e33: ISZERO
00001e34: PUSH2 0x1e3c
00001e37: JUMPI
00001e38: PUSH1 0x00
00001e3a: DUP1
00001e3b: REVERT
00001e3c: JUMPDEST
00001e3d: POP
00001e3e: GAS
00001e3f: STATICCALL
00001e40: ISZERO
00001e41: DUP1
00001e42: ISZERO
00001e43: PUSH2 0x1e50
00001e46: JUMPI
00001e47: RETURNDATASIZE
00001e48: PUSH1 0x00
00001e4a: DUP1
00001e4b: RETURNDATACOPY
00001e4c: RETURNDATASIZE
00001e4d: PUSH1 0x00
00001e4f: REVERT
00001e50: JUMPDEST
00001e51: POP
00001e52: POP
00001e53: POP
00001e54: POP
00001e55: PUSH1 0x40
00001e57: MLOAD
00001e58: RETURNDATASIZE
00001e59: PUSH1 0x20
00001e5b: DUP2
00001e5c: LT
00001e5d: ISZERO
00001e5e: PUSH2 0x1e66
00001e61: JUMPI
00001e62: PUSH1 0x00
00001e64: DUP1
00001e65: REVERT
00001e66: JUMPDEST
00001e67: DUP2
00001e68: ADD
00001e69: SWAP1
00001e6a: DUP1
00001e6b: DUP1
00001e6c: MLOAD
00001e6d: SWAP1
00001e6e: PUSH1 0x20
00001e70: ADD
00001e71: SWAP1
00001e72: SWAP3
00001e73: SWAP2
00001e74: SWAP1
00001e75: POP
00001e76: POP
00001e77: POP
00001e78: SWAP1
00001e79: POP
00001e7a: PUSH1 0x00
00001e7c: DUP3
00001e7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e92: AND
00001e93: PUSH4 0x70a08231
00001e98: ADDRESS
00001e99: PUSH1 0x40
00001e9b: MLOAD
00001e9c: DUP3
00001e9d: PUSH4 0xffffffff
00001ea2: AND
00001ea3: PUSH1 0xe0
00001ea5: SHL
00001ea6: DUP2
00001ea7: MSTORE
00001ea8: PUSH1 0x04
00001eaa: ADD
00001eab: DUP1
00001eac: DUP3
00001ead: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec2: AND
00001ec3: DUP2
00001ec4: MSTORE
00001ec5: PUSH1 0x20
00001ec7: ADD
00001ec8: SWAP2
00001ec9: POP
00001eca: POP
00001ecb: PUSH1 0x20
00001ecd: PUSH1 0x40
00001ecf: MLOAD
00001ed0: DUP1
00001ed1: DUP4
00001ed2: SUB
00001ed3: DUP2
00001ed4: DUP7
00001ed5: DUP1
00001ed6: EXTCODESIZE
00001ed7: ISZERO
00001ed8: DUP1
00001ed9: ISZERO
00001eda: PUSH2 0x1ee2
00001edd: JUMPI
00001ede: PUSH1 0x00
00001ee0: DUP1
00001ee1: REVERT
00001ee2: JUMPDEST
00001ee3: POP
00001ee4: GAS
00001ee5: STATICCALL
00001ee6: ISZERO
00001ee7: DUP1
00001ee8: ISZERO
00001ee9: PUSH2 0x1ef6
00001eec: JUMPI
00001eed: RETURNDATASIZE
00001eee: PUSH1 0x00
00001ef0: DUP1
00001ef1: RETURNDATACOPY
00001ef2: RETURNDATASIZE
00001ef3: PUSH1 0x00
00001ef5: REVERT
00001ef6: JUMPDEST
00001ef7: POP
00001ef8: POP
00001ef9: POP
00001efa: POP
00001efb: PUSH1 0x40
00001efd: MLOAD
00001efe: RETURNDATASIZE
00001eff: PUSH1 0x20
00001f01: DUP2
00001f02: LT
00001f03: ISZERO
00001f04: PUSH2 0x1f0c
00001f07: JUMPI
00001f08: PUSH1 0x00
00001f0a: DUP1
00001f0b: REVERT
00001f0c: JUMPDEST
00001f0d: DUP2
00001f0e: ADD
00001f0f: SWAP1
00001f10: DUP1
00001f11: DUP1
00001f12: MLOAD
00001f13: SWAP1
00001f14: PUSH1 0x20
00001f16: ADD
00001f17: SWAP1
00001f18: SWAP3
00001f19: SWAP2
00001f1a: SWAP1
00001f1b: POP
00001f1c: POP
00001f1d: POP
00001f1e: SWAP1
00001f1f: POP
00001f20: PUSH1 0x00
00001f22: PUSH1 0x01
00001f24: PUSH1 0x00
00001f26: ADDRESS
00001f27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f3c: AND
00001f3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f52: AND
00001f53: DUP2
00001f54: MSTORE
00001f55: PUSH1 0x20
00001f57: ADD
00001f58: SWAP1
00001f59: DUP2
00001f5a: MSTORE
00001f5b: PUSH1 0x20
00001f5d: ADD
00001f5e: PUSH1 0x00
00001f60: KECCAK256
00001f61: SLOAD
00001f62: SWAP1
00001f63: POP
00001f64: PUSH1 0x00
00001f66: PUSH2 0x1f6f
00001f69: DUP9
00001f6a: DUP9
00001f6b: PUSH2 0x3492
00001f6e: JUMP
00001f6f: JUMPDEST
00001f70: SWAP1
00001f71: POP
00001f72: PUSH1 0x00
00001f74: DUP1
00001f75: SLOAD
00001f76: SWAP1
00001f77: POP
00001f78: DUP1
00001f79: PUSH2 0x1f8b
00001f7c: DUP7
00001f7d: DUP6
00001f7e: PUSH2 0x2d9d
00001f81: SWAP1
00001f82: SWAP2
00001f83: SWAP1
00001f84: PUSH4 0xffffffff
00001f89: AND
00001f8a: JUMP
00001f8b: JUMPDEST
00001f8c: DUP2
00001f8d: PUSH2 0x1f92
00001f90: JUMPI
00001f91: INVALID
00001f92: JUMPDEST
00001f93: DIV
00001f94: SWAP11
00001f95: POP
00001f96: DUP1
00001f97: PUSH2 0x1fa9
00001f9a: DUP6
00001f9b: DUP6
00001f9c: PUSH2 0x2d9d
00001f9f: SWAP1
00001fa0: SWAP2
00001fa1: SWAP1
00001fa2: PUSH4 0xffffffff
00001fa7: AND
00001fa8: JUMP
00001fa9: JUMPDEST
00001faa: DUP2
00001fab: PUSH2 0x1fb0
00001fae: JUMPI
00001faf: INVALID
00001fb0: JUMPDEST
00001fb1: DIV
00001fb2: SWAP10
00001fb3: POP
00001fb4: PUSH1 0x00
00001fb6: DUP12
00001fb7: GT
00001fb8: DUP1
00001fb9: ISZERO
00001fba: PUSH2 0x1fc3
00001fbd: JUMPI
00001fbe: POP
00001fbf: PUSH1 0x00
00001fc1: DUP11
00001fc2: GT
00001fc3: JUMPDEST
00001fc4: PUSH2 0x2018
00001fc7: JUMPI
00001fc8: PUSH1 0x40
00001fca: MLOAD
00001fcb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fec: DUP2
00001fed: MSTORE
00001fee: PUSH1 0x04
00001ff0: ADD
00001ff1: DUP1
00001ff2: DUP1
00001ff3: PUSH1 0x20
00001ff5: ADD
00001ff6: DUP3
00001ff7: DUP2
00001ff8: SUB
00001ff9: DUP3
00001ffa: MSTORE
00001ffb: PUSH1 0x28
00001ffd: DUP2
00001ffe: MSTORE
00001fff: PUSH1 0x20
00002001: ADD
00002002: DUP1
00002003: PUSH2 0x3a9b
00002006: PUSH1 0x28
00002008: SWAP2
00002009: CODECOPY
0000200a: PUSH1 0x40
0000200c: ADD
0000200d: SWAP2
0000200e: POP
0000200f: POP
00002010: PUSH1 0x40
00002012: MLOAD
00002013: DUP1
00002014: SWAP2
00002015: SUB
00002016: SWAP1
00002017: REVERT
00002018: JUMPDEST
00002019: PUSH2 0x2022
0000201c: ADDRESS
0000201d: DUP5
0000201e: PUSH2 0x3808
00002021: JUMP
00002022: JUMPDEST
00002023: PUSH2 0x202d
00002026: DUP8
00002027: DUP14
00002028: DUP14
00002029: PUSH2 0x2b66
0000202c: JUMP
0000202d: JUMPDEST
0000202e: PUSH2 0x2038
00002031: DUP7
00002032: DUP14
00002033: DUP13
00002034: PUSH2 0x2b66
00002037: JUMP
00002038: JUMPDEST
00002039: DUP7
0000203a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204f: AND
00002050: PUSH4 0x70a08231
00002055: ADDRESS
00002056: PUSH1 0x40
00002058: MLOAD
00002059: DUP3
0000205a: PUSH4 0xffffffff
0000205f: AND
00002060: PUSH1 0xe0
00002062: SHL
00002063: DUP2
00002064: MSTORE
00002065: PUSH1 0x04
00002067: ADD
00002068: DUP1
00002069: DUP3
0000206a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000207f: AND
00002080: DUP2
00002081: MSTORE
00002082: PUSH1 0x20
00002084: ADD
00002085: SWAP2
00002086: POP
00002087: POP
00002088: PUSH1 0x20
0000208a: PUSH1 0x40
0000208c: MLOAD
0000208d: DUP1
0000208e: DUP4
0000208f: SUB
00002090: DUP2
00002091: DUP7
00002092: DUP1
00002093: EXTCODESIZE
00002094: ISZERO
00002095: DUP1
00002096: ISZERO
00002097: PUSH2 0x209f
0000209a: JUMPI
0000209b: PUSH1 0x00
0000209d: DUP1
0000209e: REVERT
0000209f: JUMPDEST
000020a0: POP
000020a1: GAS
000020a2: STATICCALL
000020a3: ISZERO
000020a4: DUP1
000020a5: ISZERO
000020a6: PUSH2 0x20b3
000020a9: JUMPI
000020aa: RETURNDATASIZE
000020ab: PUSH1 0x00
000020ad: DUP1
000020ae: RETURNDATACOPY
000020af: RETURNDATASIZE
000020b0: PUSH1 0x00
000020b2: REVERT
000020b3: JUMPDEST
000020b4: POP
000020b5: POP
000020b6: POP
000020b7: POP
000020b8: PUSH1 0x40
000020ba: MLOAD
000020bb: RETURNDATASIZE
000020bc: PUSH1 0x20
000020be: DUP2
000020bf: LT
000020c0: ISZERO
000020c1: PUSH2 0x20c9
000020c4: JUMPI
000020c5: PUSH1 0x00
000020c7: DUP1
000020c8: REVERT
000020c9: JUMPDEST
000020ca: DUP2
000020cb: ADD
000020cc: SWAP1
000020cd: DUP1
000020ce: DUP1
000020cf: MLOAD
000020d0: SWAP1
000020d1: PUSH1 0x20
000020d3: ADD
000020d4: SWAP1
000020d5: SWAP3
000020d6: SWAP2
000020d7: SWAP1
000020d8: POP
000020d9: POP
000020da: POP
000020db: SWAP5
000020dc: POP
000020dd: DUP6
000020de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f3: AND
000020f4: PUSH4 0x70a08231
000020f9: ADDRESS
000020fa: PUSH1 0x40
000020fc: MLOAD
000020fd: DUP3
000020fe: PUSH4 0xffffffff
00002103: AND
00002104: PUSH1 0xe0
00002106: SHL
00002107: DUP2
00002108: MSTORE
00002109: PUSH1 0x04
0000210b: ADD
0000210c: DUP1
0000210d: DUP3
0000210e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002123: AND
00002124: DUP2
00002125: MSTORE
00002126: PUSH1 0x20
00002128: ADD
00002129: SWAP2
0000212a: POP
0000212b: POP
0000212c: PUSH1 0x20
0000212e: PUSH1 0x40
00002130: MLOAD
00002131: DUP1
00002132: DUP4
00002133: SUB
00002134: DUP2
00002135: DUP7
00002136: DUP1
00002137: EXTCODESIZE
00002138: ISZERO
00002139: DUP1
0000213a: ISZERO
0000213b: PUSH2 0x2143
0000213e: JUMPI
0000213f: PUSH1 0x00
00002141: DUP1
00002142: REVERT
00002143: JUMPDEST
00002144: POP
00002145: GAS
00002146: STATICCALL
00002147: ISZERO
00002148: DUP1
00002149: ISZERO
0000214a: PUSH2 0x2157
0000214d: JUMPI
0000214e: RETURNDATASIZE
0000214f: PUSH1 0x00
00002151: DUP1
00002152: RETURNDATACOPY
00002153: RETURNDATASIZE
00002154: PUSH1 0x00
00002156: REVERT
00002157: JUMPDEST
00002158: POP
00002159: POP
0000215a: POP
0000215b: POP
0000215c: PUSH1 0x40
0000215e: MLOAD
0000215f: RETURNDATASIZE
00002160: PUSH1 0x20
00002162: DUP2
00002163: LT
00002164: ISZERO
00002165: PUSH2 0x216d
00002168: JUMPI
00002169: PUSH1 0x00
0000216b: DUP1
0000216c: REVERT
0000216d: JUMPDEST
0000216e: DUP2
0000216f: ADD
00002170: SWAP1
00002171: DUP1
00002172: DUP1
00002173: MLOAD
00002174: SWAP1
00002175: PUSH1 0x20
00002177: ADD
00002178: SWAP1
00002179: SWAP3
0000217a: SWAP2
0000217b: SWAP1
0000217c: POP
0000217d: POP
0000217e: POP
0000217f: SWAP4
00002180: POP
00002181: PUSH2 0x218c
00002184: DUP6
00002185: DUP6
00002186: DUP12
00002187: DUP12
00002188: PUSH2 0x2eb5
0000218b: JUMP
0000218c: JUMPDEST
0000218d: DUP2
0000218e: ISZERO
0000218f: PUSH2 0x2204
00002192: JUMPI
00002193: PUSH2 0x21fd
00002196: PUSH1 0x08
00002198: PUSH1 0x0e
0000219a: SWAP1
0000219b: SLOAD
0000219c: SWAP1
0000219d: PUSH2 0x0100
000021a0: EXP
000021a1: SWAP1
000021a2: DIV
000021a3: PUSH14 0xffffffffffffffffffffffffffff
000021b2: AND
000021b3: PUSH14 0xffffffffffffffffffffffffffff
000021c2: AND
000021c3: PUSH1 0x08
000021c5: PUSH1 0x00
000021c7: SWAP1
000021c8: SLOAD
000021c9: SWAP1
000021ca: PUSH2 0x0100
000021cd: EXP
000021ce: SWAP1
000021cf: DIV
000021d0: PUSH14 0xffffffffffffffffffffffffffff
000021df: AND
000021e0: PUSH14 0xffffffffffffffffffffffffffff
000021ef: AND
000021f0: PUSH2 0x2d9d
000021f3: SWAP1
000021f4: SWAP2
000021f5: SWAP1
000021f6: PUSH4 0xffffffff
000021fb: AND
000021fc: JUMP
000021fd: JUMPDEST
000021fe: PUSH1 0x0b
00002200: DUP2
00002201: SWAP1
00002202: SSTORE
00002203: POP
00002204: JUMPDEST
00002205: DUP12
00002206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000221b: AND
0000221c: CALLER
0000221d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002232: AND
00002233: PUSH32 0xdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496
00002254: DUP14
00002255: DUP14
00002256: PUSH1 0x40
00002258: MLOAD
00002259: DUP1
0000225a: DUP4
0000225b: DUP2
0000225c: MSTORE
0000225d: PUSH1 0x20
0000225f: ADD
00002260: DUP3
00002261: DUP2
00002262: MSTORE
00002263: PUSH1 0x20
00002265: ADD
00002266: SWAP3
00002267: POP
00002268: POP
00002269: POP
0000226a: PUSH1 0x40
0000226c: MLOAD
0000226d: DUP1
0000226e: SWAP2
0000226f: SUB
00002270: SWAP1
00002271: LOG3
00002272: POP
00002273: POP
00002274: POP
00002275: POP
00002276: POP
00002277: POP
00002278: POP
00002279: POP
0000227a: POP
0000227b: PUSH1 0x01
0000227d: PUSH1 0x0c
0000227f: DUP2
00002280: SWAP1
00002281: SSTORE
00002282: POP
00002283: SWAP2
00002284: POP
00002285: SWAP2
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH1 0x40
0000228a: MLOAD
0000228b: DUP1
0000228c: PUSH1 0x40
0000228e: ADD
0000228f: PUSH1 0x40
00002291: MSTORE
00002292: DUP1
00002293: PUSH1 0x06
00002295: DUP2
00002296: MSTORE
00002297: PUSH1 0x20
00002299: ADD
0000229a: PUSH32 0x4e4554484c500000000000000000000000000000000000000000000000000000
000022bb: DUP2
000022bc: MSTORE
000022bd: POP
000022be: DUP2
000022bf: JUMP
000022c0: JUMPDEST
000022c1: PUSH1 0x00
000022c3: PUSH2 0x22cd
000022c6: CALLER
000022c7: DUP5
000022c8: DUP5
000022c9: PUSH2 0x32fe
000022cc: JUMP
000022cd: JUMPDEST
000022ce: PUSH1 0x01
000022d0: SWAP1
000022d1: POP
000022d2: SWAP3
000022d3: SWAP2
000022d4: POP
000022d5: POP
000022d6: JUMP
000022d7: JUMPDEST
000022d8: PUSH2 0x03e8
000022db: DUP2
000022dc: JUMP
000022dd: JUMPDEST
000022de: PUSH1 0x01
000022e0: PUSH1 0x0c
000022e2: SLOAD
000022e3: EQ
000022e4: PUSH2 0x2355
000022e7: JUMPI
000022e8: PUSH1 0x40
000022ea: MLOAD
000022eb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000230c: DUP2
0000230d: MSTORE
0000230e: PUSH1 0x04
00002310: ADD
00002311: DUP1
00002312: DUP1
00002313: PUSH1 0x20
00002315: ADD
00002316: DUP3
00002317: DUP2
00002318: SUB
00002319: DUP3
0000231a: MSTORE
0000231b: PUSH1 0x11
0000231d: DUP2
0000231e: MSTORE
0000231f: PUSH1 0x20
00002321: ADD
00002322: DUP1
00002323: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
00002344: DUP2
00002345: MSTORE
00002346: POP
00002347: PUSH1 0x20
00002349: ADD
0000234a: SWAP2
0000234b: POP
0000234c: POP
0000234d: PUSH1 0x40
0000234f: MLOAD
00002350: DUP1
00002351: SWAP2
00002352: SUB
00002353: SWAP1
00002354: REVERT
00002355: JUMPDEST
00002356: PUSH1 0x00
00002358: PUSH1 0x0c
0000235a: DUP2
0000235b: SWAP1
0000235c: SSTORE
0000235d: POP
0000235e: PUSH1 0x00
00002360: PUSH1 0x06
00002362: PUSH1 0x00
00002364: SWAP1
00002365: SLOAD
00002366: SWAP1
00002367: PUSH2 0x0100
0000236a: EXP
0000236b: SWAP1
0000236c: DIV
0000236d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002382: AND
00002383: SWAP1
00002384: POP
00002385: PUSH1 0x00
00002387: PUSH1 0x07
00002389: PUSH1 0x00
0000238b: SWAP1
0000238c: SLOAD
0000238d: SWAP1
0000238e: PUSH2 0x0100
00002391: EXP
00002392: SWAP1
00002393: DIV
00002394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a9: AND
000023aa: SWAP1
000023ab: POP
000023ac: PUSH2 0x2495
000023af: DUP3
000023b0: DUP5
000023b1: PUSH2 0x2490
000023b4: PUSH1 0x08
000023b6: PUSH1 0x00
000023b8: SWAP1
000023b9: SLOAD
000023ba: SWAP1
000023bb: PUSH2 0x0100
000023be: EXP
000023bf: SWAP1
000023c0: DIV
000023c1: PUSH14 0xffffffffffffffffffffffffffff
000023d0: AND
000023d1: PUSH14 0xffffffffffffffffffffffffffff
000023e0: AND
000023e1: DUP7
000023e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f7: AND
000023f8: PUSH4 0x70a08231
000023fd: ADDRESS
000023fe: PUSH1 0x40
00002400: MLOAD
00002401: DUP3
00002402: PUSH4 0xffffffff
00002407: AND
00002408: PUSH1 0xe0
0000240a: SHL
0000240b: DUP2
0000240c: MSTORE
0000240d: PUSH1 0x04
0000240f: ADD
00002410: DUP1
00002411: DUP3
00002412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002427: AND
00002428: DUP2
00002429: MSTORE
0000242a: PUSH1 0x20
0000242c: ADD
0000242d: SWAP2
0000242e: POP
0000242f: POP
00002430: PUSH1 0x20
00002432: PUSH1 0x40
00002434: MLOAD
00002435: DUP1
00002436: DUP4
00002437: SUB
00002438: DUP2
00002439: DUP7
0000243a: DUP1
0000243b: EXTCODESIZE
0000243c: ISZERO
0000243d: DUP1
0000243e: ISZERO
0000243f: PUSH2 0x2447
00002442: JUMPI
00002443: PUSH1 0x00
00002445: DUP1
00002446: REVERT
00002447: JUMPDEST
00002448: POP
00002449: GAS
0000244a: STATICCALL
0000244b: ISZERO
0000244c: DUP1
0000244d: ISZERO
0000244e: PUSH2 0x245b
00002451: JUMPI
00002452: RETURNDATASIZE
00002453: PUSH1 0x00
00002455: DUP1
00002456: RETURNDATACOPY
00002457: RETURNDATASIZE
00002458: PUSH1 0x00
0000245a: REVERT
0000245b: JUMPDEST
0000245c: POP
0000245d: POP
0000245e: POP
0000245f: POP
00002460: PUSH1 0x40
00002462: MLOAD
00002463: RETURNDATASIZE
00002464: PUSH1 0x20
00002466: DUP2
00002467: LT
00002468: ISZERO
00002469: PUSH2 0x2471
0000246c: JUMPI
0000246d: PUSH1 0x00
0000246f: DUP1
00002470: REVERT
00002471: JUMPDEST
00002472: DUP2
00002473: ADD
00002474: SWAP1
00002475: DUP1
00002476: DUP1
00002477: MLOAD
00002478: SWAP1
00002479: PUSH1 0x20
0000247b: ADD
0000247c: SWAP1
0000247d: SWAP3
0000247e: SWAP2
0000247f: SWAP1
00002480: POP
00002481: POP
00002482: POP
00002483: PUSH2 0x2e32
00002486: SWAP1
00002487: SWAP2
00002488: SWAP1
00002489: PUSH4 0xffffffff
0000248e: AND
0000248f: JUMP
00002490: JUMPDEST
00002491: PUSH2 0x2b66
00002494: JUMP
00002495: JUMPDEST
00002496: PUSH2 0x257f
00002499: DUP2
0000249a: DUP5
0000249b: PUSH2 0x257a
0000249e: PUSH1 0x08
000024a0: PUSH1 0x0e
000024a2: SWAP1
000024a3: SLOAD
000024a4: SWAP1
000024a5: PUSH2 0x0100
000024a8: EXP
000024a9: SWAP1
000024aa: DIV
000024ab: PUSH14 0xffffffffffffffffffffffffffff
000024ba: AND
000024bb: PUSH14 0xffffffffffffffffffffffffffff
000024ca: AND
000024cb: DUP6
000024cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e1: AND
000024e2: PUSH4 0x70a08231
000024e7: ADDRESS
000024e8: PUSH1 0x40
000024ea: MLOAD
000024eb: DUP3
000024ec: PUSH4 0xffffffff
000024f1: AND
000024f2: PUSH1 0xe0
000024f4: SHL
000024f5: DUP2
000024f6: MSTORE
000024f7: PUSH1 0x04
000024f9: ADD
000024fa: DUP1
000024fb: DUP3
000024fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002511: AND
00002512: DUP2
00002513: MSTORE
00002514: PUSH1 0x20
00002516: ADD
00002517: SWAP2
00002518: POP
00002519: POP
0000251a: PUSH1 0x20
0000251c: PUSH1 0x40
0000251e: MLOAD
0000251f: DUP1
00002520: DUP4
00002521: SUB
00002522: DUP2
00002523: DUP7
00002524: DUP1
00002525: EXTCODESIZE
00002526: ISZERO
00002527: DUP1
00002528: ISZERO
00002529: PUSH2 0x2531
0000252c: JUMPI
0000252d: PUSH1 0x00
0000252f: DUP1
00002530: REVERT
00002531: JUMPDEST
00002532: POP
00002533: GAS
00002534: STATICCALL
00002535: ISZERO
00002536: DUP1
00002537: ISZERO
00002538: PUSH2 0x2545
0000253b: JUMPI
0000253c: RETURNDATASIZE
0000253d: PUSH1 0x00
0000253f: DUP1
00002540: RETURNDATACOPY
00002541: RETURNDATASIZE
00002542: PUSH1 0x00
00002544: REVERT
00002545: JUMPDEST
00002546: POP
00002547: POP
00002548: POP
00002549: POP
0000254a: PUSH1 0x40
0000254c: MLOAD
0000254d: RETURNDATASIZE
0000254e: PUSH1 0x20
00002550: DUP2
00002551: LT
00002552: ISZERO
00002553: PUSH2 0x255b
00002556: JUMPI
00002557: PUSH1 0x00
00002559: DUP1
0000255a: REVERT
0000255b: JUMPDEST
0000255c: DUP2
0000255d: ADD
0000255e: SWAP1
0000255f: DUP1
00002560: DUP1
00002561: MLOAD
00002562: SWAP1
00002563: PUSH1 0x20
00002565: ADD
00002566: SWAP1
00002567: SWAP3
00002568: SWAP2
00002569: SWAP1
0000256a: POP
0000256b: POP
0000256c: POP
0000256d: PUSH2 0x2e32
00002570: SWAP1
00002571: SWAP2
00002572: SWAP1
00002573: PUSH4 0xffffffff
00002578: AND
00002579: JUMP
0000257a: JUMPDEST
0000257b: PUSH2 0x2b66
0000257e: JUMP
0000257f: JUMPDEST
00002580: POP
00002581: POP
00002582: PUSH1 0x01
00002584: PUSH1 0x0c
00002586: DUP2
00002587: SWAP1
00002588: SSTORE
00002589: POP
0000258a: POP
0000258b: JUMP
0000258c: JUMPDEST
0000258d: PUSH1 0x05
0000258f: PUSH1 0x00
00002591: SWAP1
00002592: SLOAD
00002593: SWAP1
00002594: PUSH2 0x0100
00002597: EXP
00002598: SWAP1
00002599: DIV
0000259a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025af: AND
000025b0: DUP2
000025b1: JUMP
000025b2: JUMPDEST
000025b3: PUSH1 0x07
000025b5: PUSH1 0x00
000025b7: SWAP1
000025b8: SLOAD
000025b9: SWAP1
000025ba: PUSH2 0x0100
000025bd: EXP
000025be: SWAP1
000025bf: DIV
000025c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d5: AND
000025d6: DUP2
000025d7: JUMP
000025d8: JUMPDEST
000025d9: TIMESTAMP
000025da: DUP5
000025db: LT
000025dc: ISZERO
000025dd: PUSH2 0x264e
000025e0: JUMPI
000025e1: PUSH1 0x40
000025e3: MLOAD
000025e4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002605: DUP2
00002606: MSTORE
00002607: PUSH1 0x04
00002609: ADD
0000260a: DUP1
0000260b: DUP1
0000260c: PUSH1 0x20
0000260e: ADD
0000260f: DUP3
00002610: DUP2
00002611: SUB
00002612: DUP3
00002613: MSTORE
00002614: PUSH1 0x12
00002616: DUP2
00002617: MSTORE
00002618: PUSH1 0x20
0000261a: ADD
0000261b: DUP1
0000261c: PUSH32 0x556e697377617056323a20455850495245440000000000000000000000000000
0000263d: DUP2
0000263e: MSTORE
0000263f: POP
00002640: PUSH1 0x20
00002642: ADD
00002643: SWAP2
00002644: POP
00002645: POP
00002646: PUSH1 0x40
00002648: MLOAD
00002649: DUP1
0000264a: SWAP2
0000264b: SUB
0000264c: SWAP1
0000264d: REVERT
0000264e: JUMPDEST
0000264f: PUSH1 0x00
00002651: PUSH1 0x03
00002653: SLOAD
00002654: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00002675: PUSH1 0x00
00002677: SHL
00002678: DUP10
00002679: DUP10
0000267a: DUP10
0000267b: PUSH1 0x04
0000267d: PUSH1 0x00
0000267f: DUP15
00002680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002695: AND
00002696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ab: AND
000026ac: DUP2
000026ad: MSTORE
000026ae: PUSH1 0x20
000026b0: ADD
000026b1: SWAP1
000026b2: DUP2
000026b3: MSTORE
000026b4: PUSH1 0x20
000026b6: ADD
000026b7: PUSH1 0x00
000026b9: KECCAK256
000026ba: PUSH1 0x00
000026bc: DUP2
000026bd: SLOAD
000026be: DUP1
000026bf: SWAP3
000026c0: SWAP2
000026c1: SWAP1
000026c2: PUSH1 0x01
000026c4: ADD
000026c5: SWAP2
000026c6: SWAP1
000026c7: POP
000026c8: SSTORE
000026c9: DUP11
000026ca: PUSH1 0x40
000026cc: MLOAD
000026cd: PUSH1 0x20
000026cf: ADD
000026d0: DUP1
000026d1: DUP8
000026d2: DUP2
000026d3: MSTORE
000026d4: PUSH1 0x20
000026d6: ADD
000026d7: DUP7
000026d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ed: AND
000026ee: DUP2
000026ef: MSTORE
000026f0: PUSH1 0x20
000026f2: ADD
000026f3: DUP6
000026f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002709: AND
0000270a: DUP2
0000270b: MSTORE
0000270c: PUSH1 0x20
0000270e: ADD
0000270f: DUP5
00002710: DUP2
00002711: MSTORE
00002712: PUSH1 0x20
00002714: ADD
00002715: DUP4
00002716: DUP2
00002717: MSTORE
00002718: PUSH1 0x20
0000271a: ADD
0000271b: DUP3
0000271c: DUP2
0000271d: MSTORE
0000271e: PUSH1 0x20
00002720: ADD
00002721: SWAP7
00002722: POP
00002723: POP
00002724: POP
00002725: POP
00002726: POP
00002727: POP
00002728: POP
00002729: PUSH1 0x40
0000272b: MLOAD
0000272c: PUSH1 0x20
0000272e: DUP2
0000272f: DUP4
00002730: SUB
00002731: SUB
00002732: DUP2
00002733: MSTORE
00002734: SWAP1
00002735: PUSH1 0x40
00002737: MSTORE
00002738: DUP1
00002739: MLOAD
0000273a: SWAP1
0000273b: PUSH1 0x20
0000273d: ADD
0000273e: KECCAK256
0000273f: PUSH1 0x40
00002741: MLOAD
00002742: PUSH1 0x20
00002744: ADD
00002745: DUP1
00002746: DUP1
00002747: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00002768: DUP2
00002769: MSTORE
0000276a: POP
0000276b: PUSH1 0x02
0000276d: ADD
0000276e: DUP4
0000276f: DUP2
00002770: MSTORE
00002771: PUSH1 0x20
00002773: ADD
00002774: DUP3
00002775: DUP2
00002776: MSTORE
00002777: PUSH1 0x20
00002779: ADD
0000277a: SWAP3
0000277b: POP
0000277c: POP
0000277d: POP
0000277e: PUSH1 0x40
00002780: MLOAD
00002781: PUSH1 0x20
00002783: DUP2
00002784: DUP4
00002785: SUB
00002786: SUB
00002787: DUP2
00002788: MSTORE
00002789: SWAP1
0000278a: PUSH1 0x40
0000278c: MSTORE
0000278d: DUP1
0000278e: MLOAD
0000278f: SWAP1
00002790: PUSH1 0x20
00002792: ADD
00002793: KECCAK256
00002794: SWAP1
00002795: POP
00002796: PUSH1 0x00
00002798: PUSH1 0x01
0000279a: DUP3
0000279b: DUP7
0000279c: DUP7
0000279d: DUP7
0000279e: PUSH1 0x40
000027a0: MLOAD
000027a1: PUSH1 0x00
000027a3: DUP2
000027a4: MSTORE
000027a5: PUSH1 0x20
000027a7: ADD
000027a8: PUSH1 0x40
000027aa: MSTORE
000027ab: PUSH1 0x40
000027ad: MLOAD
000027ae: DUP1
000027af: DUP6
000027b0: DUP2
000027b1: MSTORE
000027b2: PUSH1 0x20
000027b4: ADD
000027b5: DUP5
000027b6: PUSH1 0xff
000027b8: AND
000027b9: DUP2
000027ba: MSTORE
000027bb: PUSH1 0x20
000027bd: ADD
000027be: DUP4
000027bf: DUP2
000027c0: MSTORE
000027c1: PUSH1 0x20
000027c3: ADD
000027c4: DUP3
000027c5: DUP2
000027c6: MSTORE
000027c7: PUSH1 0x20
000027c9: ADD
000027ca: SWAP5
000027cb: POP
000027cc: POP
000027cd: POP
000027ce: POP
000027cf: POP
000027d0: PUSH1 0x20
000027d2: PUSH1 0x40
000027d4: MLOAD
000027d5: PUSH1 0x20
000027d7: DUP2
000027d8: SUB
000027d9: SWAP1
000027da: DUP1
000027db: DUP5
000027dc: SUB
000027dd: SWAP1
000027de: DUP6
000027df: GAS
000027e0: STATICCALL
000027e1: ISZERO
000027e2: DUP1
000027e3: ISZERO
000027e4: PUSH2 0x27f1
000027e7: JUMPI
000027e8: RETURNDATASIZE
000027e9: PUSH1 0x00
000027eb: DUP1
000027ec: RETURNDATACOPY
000027ed: RETURNDATASIZE
000027ee: PUSH1 0x00
000027f0: REVERT
000027f1: JUMPDEST
000027f2: POP
000027f3: POP
000027f4: POP
000027f5: PUSH1 0x20
000027f7: PUSH1 0x40
000027f9: MLOAD
000027fa: SUB
000027fb: MLOAD
000027fc: SWAP1
000027fd: POP
000027fe: PUSH1 0x00
00002800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002815: AND
00002816: DUP2
00002817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000282c: AND
0000282d: EQ
0000282e: ISZERO
0000282f: DUP1
00002830: ISZERO
00002831: PUSH2 0x2865
00002834: JUMPI
00002835: POP
00002836: DUP9
00002837: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000284c: AND
0000284d: DUP2
0000284e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002863: AND
00002864: EQ
00002865: JUMPDEST
00002866: PUSH2 0x28d7
00002869: JUMPI
0000286a: PUSH1 0x40
0000286c: MLOAD
0000286d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000288e: DUP2
0000288f: MSTORE
00002890: PUSH1 0x04
00002892: ADD
00002893: DUP1
00002894: DUP1
00002895: PUSH1 0x20
00002897: ADD
00002898: DUP3
00002899: DUP2
0000289a: SUB
0000289b: DUP3
0000289c: MSTORE
0000289d: PUSH1 0x1c
0000289f: DUP2
000028a0: MSTORE
000028a1: PUSH1 0x20
000028a3: ADD
000028a4: DUP1
000028a5: PUSH32 0x556e697377617056323a20494e56414c49445f5349474e415455524500000000
000028c6: DUP2
000028c7: MSTORE
000028c8: POP
000028c9: PUSH1 0x20
000028cb: ADD
000028cc: SWAP2
000028cd: POP
000028ce: POP
000028cf: PUSH1 0x40
000028d1: MLOAD
000028d2: DUP1
000028d3: SWAP2
000028d4: SUB
000028d5: SWAP1
000028d6: REVERT
000028d7: JUMPDEST
000028d8: PUSH2 0x28e2
000028db: DUP10
000028dc: DUP10
000028dd: DUP10
000028de: PUSH2 0x3213
000028e1: JUMP
000028e2: JUMPDEST
000028e3: POP
000028e4: POP
000028e5: POP
000028e6: POP
000028e7: POP
000028e8: POP
000028e9: POP
000028ea: POP
000028eb: POP
000028ec: JUMP
000028ed: JUMPDEST
000028ee: PUSH1 0x02
000028f0: PUSH1 0x20
000028f2: MSTORE
000028f3: DUP2
000028f4: PUSH1 0x00
000028f6: MSTORE
000028f7: PUSH1 0x40
000028f9: PUSH1 0x00
000028fb: KECCAK256
000028fc: PUSH1 0x20
000028fe: MSTORE
000028ff: DUP1
00002900: PUSH1 0x00
00002902: MSTORE
00002903: PUSH1 0x40
00002905: PUSH1 0x00
00002907: KECCAK256
00002908: PUSH1 0x00
0000290a: SWAP2
0000290b: POP
0000290c: SWAP2
0000290d: POP
0000290e: POP
0000290f: SLOAD
00002910: DUP2
00002911: JUMP
00002912: JUMPDEST
00002913: PUSH1 0x01
00002915: PUSH1 0x0c
00002917: SLOAD
00002918: EQ
00002919: PUSH2 0x298a
0000291c: JUMPI
0000291d: PUSH1 0x40
0000291f: MLOAD
00002920: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002941: DUP2
00002942: MSTORE
00002943: PUSH1 0x04
00002945: ADD
00002946: DUP1
00002947: DUP1
00002948: PUSH1 0x20
0000294a: ADD
0000294b: DUP3
0000294c: DUP2
0000294d: SUB
0000294e: DUP3
0000294f: MSTORE
00002950: PUSH1 0x11
00002952: DUP2
00002953: MSTORE
00002954: PUSH1 0x20
00002956: ADD
00002957: DUP1
00002958: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
00002979: DUP2
0000297a: MSTORE
0000297b: POP
0000297c: PUSH1 0x20
0000297e: ADD
0000297f: SWAP2
00002980: POP
00002981: POP
00002982: PUSH1 0x40
00002984: MLOAD
00002985: DUP1
00002986: SWAP2
00002987: SUB
00002988: SWAP1
00002989: REVERT
0000298a: JUMPDEST
0000298b: PUSH1 0x00
0000298d: PUSH1 0x0c
0000298f: DUP2
00002990: SWAP1
00002991: SSTORE
00002992: POP
00002993: PUSH2 0x2b5c
00002996: PUSH1 0x06
00002998: PUSH1 0x00
0000299a: SWAP1
0000299b: SLOAD
0000299c: SWAP1
0000299d: PUSH2 0x0100
000029a0: EXP
000029a1: SWAP1
000029a2: DIV
000029a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b8: AND
000029b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ce: AND
000029cf: PUSH4 0x70a08231
000029d4: ADDRESS
000029d5: PUSH1 0x40
000029d7: MLOAD
000029d8: DUP3
000029d9: PUSH4 0xffffffff
000029de: AND
000029df: PUSH1 0xe0
000029e1: SHL
000029e2: DUP2
000029e3: MSTORE
000029e4: PUSH1 0x04
000029e6: ADD
000029e7: DUP1
000029e8: DUP3
000029e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029fe: AND
000029ff: DUP2
00002a00: MSTORE
00002a01: PUSH1 0x20
00002a03: ADD
00002a04: SWAP2
00002a05: POP
00002a06: POP
00002a07: PUSH1 0x20
00002a09: PUSH1 0x40
00002a0b: MLOAD
00002a0c: DUP1
00002a0d: DUP4
00002a0e: SUB
00002a0f: DUP2
00002a10: DUP7
00002a11: DUP1
00002a12: EXTCODESIZE
00002a13: ISZERO
00002a14: DUP1
00002a15: ISZERO
00002a16: PUSH2 0x2a1e
00002a19: JUMPI
00002a1a: PUSH1 0x00
00002a1c: DUP1
00002a1d: REVERT
00002a1e: JUMPDEST
00002a1f: POP
00002a20: GAS
00002a21: STATICCALL
00002a22: ISZERO
00002a23: DUP1
00002a24: ISZERO
00002a25: PUSH2 0x2a32
00002a28: JUMPI
00002a29: RETURNDATASIZE
00002a2a: PUSH1 0x00
00002a2c: DUP1
00002a2d: RETURNDATACOPY
00002a2e: RETURNDATASIZE
00002a2f: PUSH1 0x00
00002a31: REVERT
00002a32: JUMPDEST
00002a33: POP
00002a34: POP
00002a35: POP
00002a36: POP
00002a37: PUSH1 0x40
00002a39: MLOAD
00002a3a: RETURNDATASIZE
00002a3b: PUSH1 0x20
00002a3d: DUP2
00002a3e: LT
00002a3f: ISZERO
00002a40: PUSH2 0x2a48
00002a43: JUMPI
00002a44: PUSH1 0x00
00002a46: DUP1
00002a47: REVERT
00002a48: JUMPDEST
00002a49: DUP2
00002a4a: ADD
00002a4b: SWAP1
00002a4c: DUP1
00002a4d: DUP1
00002a4e: MLOAD
00002a4f: SWAP1
00002a50: PUSH1 0x20
00002a52: ADD
00002a53: SWAP1
00002a54: SWAP3
00002a55: SWAP2
00002a56: SWAP1
00002a57: POP
00002a58: POP
00002a59: POP
00002a5a: PUSH1 0x07
00002a5c: PUSH1 0x00
00002a5e: SWAP1
00002a5f: SLOAD
00002a60: SWAP1
00002a61: PUSH2 0x0100
00002a64: EXP
00002a65: SWAP1
00002a66: DIV
00002a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a7c: AND
00002a7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a92: AND
00002a93: PUSH4 0x70a08231
00002a98: ADDRESS
00002a99: PUSH1 0x40
00002a9b: MLOAD
00002a9c: DUP3
00002a9d: PUSH4 0xffffffff
00002aa2: AND
00002aa3: PUSH1 0xe0
00002aa5: SHL
00002aa6: DUP2
00002aa7: MSTORE
00002aa8: PUSH1 0x04
00002aaa: ADD
00002aab: DUP1
00002aac: DUP3
00002aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ac2: AND
00002ac3: DUP2
00002ac4: MSTORE
00002ac5: PUSH1 0x20
00002ac7: ADD
00002ac8: SWAP2
00002ac9: POP
00002aca: POP
00002acb: PUSH1 0x20
00002acd: PUSH1 0x40
00002acf: MLOAD
00002ad0: DUP1
00002ad1: DUP4
00002ad2: SUB
00002ad3: DUP2
00002ad4: DUP7
00002ad5: DUP1
00002ad6: EXTCODESIZE
00002ad7: ISZERO
00002ad8: DUP1
00002ad9: ISZERO
00002ada: PUSH2 0x2ae2
00002add: JUMPI
00002ade: PUSH1 0x00
00002ae0: DUP1
00002ae1: REVERT
00002ae2: JUMPDEST
00002ae3: POP
00002ae4: GAS
00002ae5: STATICCALL
00002ae6: ISZERO
00002ae7: DUP1
00002ae8: ISZERO
00002ae9: PUSH2 0x2af6
00002aec: JUMPI
00002aed: RETURNDATASIZE
00002aee: PUSH1 0x00
00002af0: DUP1
00002af1: RETURNDATACOPY
00002af2: RETURNDATASIZE
00002af3: PUSH1 0x00
00002af5: REVERT
00002af6: JUMPDEST
00002af7: POP
00002af8: POP
00002af9: POP
00002afa: POP
00002afb: PUSH1 0x40
00002afd: MLOAD
00002afe: RETURNDATASIZE
00002aff: PUSH1 0x20
00002b01: DUP2
00002b02: LT
00002b03: ISZERO
00002b04: PUSH2 0x2b0c
00002b07: JUMPI
00002b08: PUSH1 0x00
00002b0a: DUP1
00002b0b: REVERT
00002b0c: JUMPDEST
00002b0d: DUP2
00002b0e: ADD
00002b0f: SWAP1
00002b10: DUP1
00002b11: DUP1
00002b12: MLOAD
00002b13: SWAP1
00002b14: PUSH1 0x20
00002b16: ADD
00002b17: SWAP1
00002b18: SWAP3
00002b19: SWAP2
00002b1a: SWAP1
00002b1b: POP
00002b1c: POP
00002b1d: POP
00002b1e: PUSH1 0x08
00002b20: PUSH1 0x00
00002b22: SWAP1
00002b23: SLOAD
00002b24: SWAP1
00002b25: PUSH2 0x0100
00002b28: EXP
00002b29: SWAP1
00002b2a: DIV
00002b2b: PUSH14 0xffffffffffffffffffffffffffff
00002b3a: AND
00002b3b: PUSH1 0x08
00002b3d: PUSH1 0x0e
00002b3f: SWAP1
00002b40: SLOAD
00002b41: SWAP1
00002b42: PUSH2 0x0100
00002b45: EXP
00002b46: SWAP1
00002b47: DIV
00002b48: PUSH14 0xffffffffffffffffffffffffffff
00002b57: AND
00002b58: PUSH2 0x2eb5
00002b5b: JUMP
00002b5c: JUMPDEST
00002b5d: PUSH1 0x01
00002b5f: PUSH1 0x0c
00002b61: DUP2
00002b62: SWAP1
00002b63: SSTORE
00002b64: POP
00002b65: JUMP
00002b66: JUMPDEST
00002b67: PUSH1 0x00
00002b69: PUSH1 0x60
00002b6b: DUP5
00002b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b81: AND
00002b82: PUSH1 0x40
00002b84: MLOAD
00002b85: DUP1
00002b86: PUSH1 0x40
00002b88: ADD
00002b89: PUSH1 0x40
00002b8b: MSTORE
00002b8c: DUP1
00002b8d: PUSH1 0x19
00002b8f: DUP2
00002b90: MSTORE
00002b91: PUSH1 0x20
00002b93: ADD
00002b94: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000
00002bb5: DUP2
00002bb6: MSTORE
00002bb7: POP
00002bb8: DUP1
00002bb9: MLOAD
00002bba: SWAP1
00002bbb: PUSH1 0x20
00002bbd: ADD
00002bbe: KECCAK256
00002bbf: DUP6
00002bc0: DUP6
00002bc1: PUSH1 0x40
00002bc3: MLOAD
00002bc4: PUSH1 0x24
00002bc6: ADD
00002bc7: DUP1
00002bc8: DUP4
00002bc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bde: AND
00002bdf: DUP2
00002be0: MSTORE
00002be1: PUSH1 0x20
00002be3: ADD
00002be4: DUP3
00002be5: DUP2
00002be6: MSTORE
00002be7: PUSH1 0x20
00002be9: ADD
00002bea: SWAP3
00002beb: POP
00002bec: POP
00002bed: POP
00002bee: PUSH1 0x40
00002bf0: MLOAD
00002bf1: PUSH1 0x20
00002bf3: DUP2
00002bf4: DUP4
00002bf5: SUB
00002bf6: SUB
00002bf7: DUP2
00002bf8: MSTORE
00002bf9: SWAP1
00002bfa: PUSH1 0x40
00002bfc: MSTORE
00002bfd: SWAP1
00002bfe: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002c1b: NOT
00002c1c: AND
00002c1d: PUSH1 0x20
00002c1f: DUP3
00002c20: ADD
00002c21: DUP1
00002c22: MLOAD
00002c23: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002c40: DUP4
00002c41: DUP2
00002c42: DUP4
00002c43: AND
00002c44: OR
00002c45: DUP4
00002c46: MSTORE
00002c47: POP
00002c48: POP
00002c49: POP
00002c4a: POP
00002c4b: PUSH1 0x40
00002c4d: MLOAD
00002c4e: DUP1
00002c4f: DUP3
00002c50: DUP1
00002c51: MLOAD
00002c52: SWAP1
00002c53: PUSH1 0x20
00002c55: ADD
00002c56: SWAP1
00002c57: DUP1
00002c58: DUP4
00002c59: DUP4
00002c5a: JUMPDEST
00002c5b: PUSH1 0x20
00002c5d: DUP4
00002c5e: LT
00002c5f: PUSH2 0x2c7d
00002c62: JUMPI
00002c63: DUP1
00002c64: MLOAD
00002c65: DUP3
00002c66: MSTORE
00002c67: PUSH1 0x20
00002c69: DUP3
00002c6a: ADD
00002c6b: SWAP2
00002c6c: POP
00002c6d: PUSH1 0x20
00002c6f: DUP2
00002c70: ADD
00002c71: SWAP1
00002c72: POP
00002c73: PUSH1 0x20
00002c75: DUP4
00002c76: SUB
00002c77: SWAP3
00002c78: POP
00002c79: PUSH2 0x2c5a
00002c7c: JUMP
00002c7d: JUMPDEST
00002c7e: PUSH1 0x01
00002c80: DUP4
00002c81: PUSH1 0x20
00002c83: SUB
00002c84: PUSH2 0x0100
00002c87: EXP
00002c88: SUB
00002c89: DUP1
00002c8a: NOT
00002c8b: DUP3
00002c8c: MLOAD
00002c8d: AND
00002c8e: DUP2
00002c8f: DUP5
00002c90: MLOAD
00002c91: AND
00002c92: DUP1
00002c93: DUP3
00002c94: OR
00002c95: DUP6
00002c96: MSTORE
00002c97: POP
00002c98: POP
00002c99: POP
00002c9a: POP
00002c9b: POP
00002c9c: POP
00002c9d: SWAP1
00002c9e: POP
00002c9f: ADD
00002ca0: SWAP2
00002ca1: POP
00002ca2: POP
00002ca3: PUSH1 0x00
00002ca5: PUSH1 0x40
00002ca7: MLOAD
00002ca8: DUP1
00002ca9: DUP4
00002caa: SUB
00002cab: DUP2
00002cac: PUSH1 0x00
00002cae: DUP7
00002caf: GAS
00002cb0: CALL
00002cb1: SWAP2
00002cb2: POP
00002cb3: POP
00002cb4: RETURNDATASIZE
00002cb5: DUP1
00002cb6: PUSH1 0x00
00002cb8: DUP2
00002cb9: EQ
00002cba: PUSH2 0x2cdf
00002cbd: JUMPI
00002cbe: PUSH1 0x40
00002cc0: MLOAD
00002cc1: SWAP2
00002cc2: POP
00002cc3: PUSH1 0x1f
00002cc5: NOT
00002cc6: PUSH1 0x3f
00002cc8: RETURNDATASIZE
00002cc9: ADD
00002cca: AND
00002ccb: DUP3
00002ccc: ADD
00002ccd: PUSH1 0x40
00002ccf: MSTORE
00002cd0: RETURNDATASIZE
00002cd1: DUP3
00002cd2: MSTORE
00002cd3: RETURNDATASIZE
00002cd4: PUSH1 0x00
00002cd6: PUSH1 0x20
00002cd8: DUP5
00002cd9: ADD
00002cda: RETURNDATACOPY
00002cdb: PUSH2 0x2ce4
00002cde: JUMP
00002cdf: JUMPDEST
00002ce0: PUSH1 0x60
00002ce2: SWAP2
00002ce3: POP
00002ce4: JUMPDEST
00002ce5: POP
00002ce6: SWAP2
00002ce7: POP
00002ce8: SWAP2
00002ce9: POP
00002cea: DUP2
00002ceb: DUP1
00002cec: ISZERO
00002ced: PUSH2 0x2d24
00002cf0: JUMPI
00002cf1: POP
00002cf2: PUSH1 0x00
00002cf4: DUP2
00002cf5: MLOAD
00002cf6: EQ
00002cf7: DUP1
00002cf8: PUSH2 0x2d23
00002cfb: JUMPI
00002cfc: POP
00002cfd: DUP1
00002cfe: DUP1
00002cff: PUSH1 0x20
00002d01: ADD
00002d02: SWAP1
00002d03: MLOAD
00002d04: PUSH1 0x20
00002d06: DUP2
00002d07: LT
00002d08: ISZERO
00002d09: PUSH2 0x2d11
00002d0c: JUMPI
00002d0d: PUSH1 0x00
00002d0f: DUP1
00002d10: REVERT
00002d11: JUMPDEST
00002d12: DUP2
00002d13: ADD
00002d14: SWAP1
00002d15: DUP1
00002d16: DUP1
00002d17: MLOAD
00002d18: SWAP1
00002d19: PUSH1 0x20
00002d1b: ADD
00002d1c: SWAP1
00002d1d: SWAP3
00002d1e: SWAP2
00002d1f: SWAP1
00002d20: POP
00002d21: POP
00002d22: POP
00002d23: JUMPDEST
00002d24: JUMPDEST
00002d25: PUSH2 0x2d96
00002d28: JUMPI
00002d29: PUSH1 0x40
00002d2b: MLOAD
00002d2c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d4d: DUP2
00002d4e: MSTORE
00002d4f: PUSH1 0x04
00002d51: ADD
00002d52: DUP1
00002d53: DUP1
00002d54: PUSH1 0x20
00002d56: ADD
00002d57: DUP3
00002d58: DUP2
00002d59: SUB
00002d5a: DUP3
00002d5b: MSTORE
00002d5c: PUSH1 0x1a
00002d5e: DUP2
00002d5f: MSTORE
00002d60: PUSH1 0x20
00002d62: ADD
00002d63: DUP1
00002d64: PUSH32 0x556e697377617056323a205452414e534645525f4641494c4544000000000000
00002d85: DUP2
00002d86: MSTORE
00002d87: POP
00002d88: PUSH1 0x20
00002d8a: ADD
00002d8b: SWAP2
00002d8c: POP
00002d8d: POP
00002d8e: PUSH1 0x40
00002d90: MLOAD
00002d91: DUP1
00002d92: SWAP2
00002d93: SUB
00002d94: SWAP1
00002d95: REVERT
00002d96: JUMPDEST
00002d97: POP
00002d98: POP
00002d99: POP
00002d9a: POP
00002d9b: POP
00002d9c: JUMP
00002d9d: JUMPDEST
00002d9e: PUSH1 0x00
00002da0: DUP1
00002da1: DUP3
00002da2: EQ
00002da3: DUP1
00002da4: PUSH2 0x2dba
00002da7: JUMPI
00002da8: POP
00002da9: DUP3
00002daa: DUP3
00002dab: DUP4
00002dac: DUP6
00002dad: MUL
00002dae: SWAP3
00002daf: POP
00002db0: DUP3
00002db1: DUP2
00002db2: PUSH2 0x2db7
00002db5: JUMPI
00002db6: INVALID
00002db7: JUMPDEST
00002db8: DIV
00002db9: EQ
00002dba: JUMPDEST
00002dbb: PUSH2 0x2e2c
00002dbe: JUMPI
00002dbf: PUSH1 0x40
00002dc1: MLOAD
00002dc2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002de3: DUP2
00002de4: MSTORE
00002de5: PUSH1 0x04
00002de7: ADD
00002de8: DUP1
00002de9: DUP1
00002dea: PUSH1 0x20
00002dec: ADD
00002ded: DUP3
00002dee: DUP2
00002def: SUB
00002df0: DUP3
00002df1: MSTORE
00002df2: PUSH1 0x14
00002df4: DUP2
00002df5: MSTORE
00002df6: PUSH1 0x20
00002df8: ADD
00002df9: DUP1
00002dfa: PUSH32 0x64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000
00002e1b: DUP2
00002e1c: MSTORE
00002e1d: POP
00002e1e: PUSH1 0x20
00002e20: ADD
00002e21: SWAP2
00002e22: POP
00002e23: POP
00002e24: PUSH1 0x40
00002e26: MLOAD
00002e27: DUP1
00002e28: SWAP2
00002e29: SUB
00002e2a: SWAP1
00002e2b: REVERT
00002e2c: JUMPDEST
00002e2d: SWAP3
00002e2e: SWAP2
00002e2f: POP
00002e30: POP
00002e31: JUMP
00002e32: JUMPDEST
00002e33: PUSH1 0x00
00002e35: DUP3
00002e36: DUP3
00002e37: DUP5
00002e38: SUB
00002e39: SWAP2
00002e3a: POP
00002e3b: DUP2
00002e3c: GT
00002e3d: ISZERO
00002e3e: PUSH2 0x2eaf
00002e41: JUMPI
00002e42: PUSH1 0x40
00002e44: MLOAD
00002e45: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e66: DUP2
00002e67: MSTORE
00002e68: PUSH1 0x04
00002e6a: ADD
00002e6b: DUP1
00002e6c: DUP1
00002e6d: PUSH1 0x20
00002e6f: ADD
00002e70: DUP3
00002e71: DUP2
00002e72: SUB
00002e73: DUP3
00002e74: MSTORE
00002e75: PUSH1 0x15
00002e77: DUP2
00002e78: MSTORE
00002e79: PUSH1 0x20
00002e7b: ADD
00002e7c: DUP1
00002e7d: PUSH32 0x64732d6d6174682d7375622d756e646572666c6f770000000000000000000000
00002e9e: DUP2
00002e9f: MSTORE
00002ea0: POP
00002ea1: PUSH1 0x20
00002ea3: ADD
00002ea4: SWAP2
00002ea5: POP
00002ea6: POP
00002ea7: PUSH1 0x40
00002ea9: MLOAD
00002eaa: DUP1
00002eab: SWAP2
00002eac: SUB
00002ead: SWAP1
00002eae: REVERT
00002eaf: JUMPDEST
00002eb0: SWAP3
00002eb1: SWAP2
00002eb2: POP
00002eb3: POP
00002eb4: JUMP
00002eb5: JUMPDEST
00002eb6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002ed7: PUSH14 0xffffffffffffffffffffffffffff
00002ee6: AND
00002ee7: DUP5
00002ee8: GT
00002ee9: ISZERO
00002eea: DUP1
00002eeb: ISZERO
00002eec: PUSH2 0x2f25
00002eef: JUMPI
00002ef0: POP
00002ef1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002f12: PUSH14 0xffffffffffffffffffffffffffff
00002f21: AND
00002f22: DUP4
00002f23: GT
00002f24: ISZERO
00002f25: JUMPDEST
00002f26: PUSH2 0x2f97
00002f29: JUMPI
00002f2a: PUSH1 0x40
00002f2c: MLOAD
00002f2d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f4e: DUP2
00002f4f: MSTORE
00002f50: PUSH1 0x04
00002f52: ADD
00002f53: DUP1
00002f54: DUP1
00002f55: PUSH1 0x20
00002f57: ADD
00002f58: DUP3
00002f59: DUP2
00002f5a: SUB
00002f5b: DUP3
00002f5c: MSTORE
00002f5d: PUSH1 0x13
00002f5f: DUP2
00002f60: MSTORE
00002f61: PUSH1 0x20
00002f63: ADD
00002f64: DUP1
00002f65: PUSH32 0x556e697377617056323a204f564552464c4f5700000000000000000000000000
00002f86: DUP2
00002f87: MSTORE
00002f88: POP
00002f89: PUSH1 0x20
00002f8b: ADD
00002f8c: SWAP2
00002f8d: POP
00002f8e: POP
00002f8f: PUSH1 0x40
00002f91: MLOAD
00002f92: DUP1
00002f93: SWAP2
00002f94: SUB
00002f95: SWAP1
00002f96: REVERT
00002f97: JUMPDEST
00002f98: PUSH1 0x00
00002f9a: PUSH5 0x0100000000
00002fa0: TIMESTAMP
00002fa1: DUP2
00002fa2: PUSH2 0x2fa7
00002fa5: JUMPI
00002fa6: INVALID
00002fa7: JUMPDEST
00002fa8: MOD
00002fa9: SWAP1
00002faa: POP
00002fab: PUSH1 0x00
00002fad: PUSH1 0x08
00002faf: PUSH1 0x1c
00002fb1: SWAP1
00002fb2: SLOAD
00002fb3: SWAP1
00002fb4: PUSH2 0x0100
00002fb7: EXP
00002fb8: SWAP1
00002fb9: DIV
00002fba: PUSH4 0xffffffff
00002fbf: AND
00002fc0: DUP3
00002fc1: SUB
00002fc2: SWAP1
00002fc3: POP
00002fc4: PUSH1 0x00
00002fc6: DUP2
00002fc7: PUSH4 0xffffffff
00002fcc: AND
00002fcd: GT
00002fce: DUP1
00002fcf: ISZERO
00002fd0: PUSH2 0x2fea
00002fd3: JUMPI
00002fd4: POP
00002fd5: PUSH1 0x00
00002fd7: DUP5
00002fd8: PUSH14 0xffffffffffffffffffffffffffff
00002fe7: AND
00002fe8: EQ
00002fe9: ISZERO
00002fea: JUMPDEST
00002feb: DUP1
00002fec: ISZERO
00002fed: PUSH2 0x3007
00002ff0: JUMPI
00002ff1: POP
00002ff2: PUSH1 0x00
00002ff4: DUP4
00002ff5: PUSH14 0xffffffffffffffffffffffffffff
00003004: AND
00003005: EQ
00003006: ISZERO
00003007: JUMPDEST
00003008: ISZERO
00003009: PUSH2 0x30e9
0000300c: JUMPI
0000300d: DUP1
0000300e: PUSH4 0xffffffff
00003013: AND
00003014: PUSH2 0x304c
00003017: DUP6
00003018: PUSH2 0x3020
0000301b: DUP7
0000301c: PUSH2 0x3922
0000301f: JUMP
00003020: JUMPDEST
00003021: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000303e: AND
0000303f: PUSH2 0x394d
00003042: SWAP1
00003043: SWAP2
00003044: SWAP1
00003045: PUSH4 0xffffffff
0000304a: AND
0000304b: JUMP
0000304c: JUMPDEST
0000304d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000306a: AND
0000306b: MUL
0000306c: PUSH1 0x09
0000306e: PUSH1 0x00
00003070: DUP3
00003071: DUP3
00003072: SLOAD
00003073: ADD
00003074: SWAP3
00003075: POP
00003076: POP
00003077: DUP2
00003078: SWAP1
00003079: SSTORE
0000307a: POP
0000307b: DUP1
0000307c: PUSH4 0xffffffff
00003081: AND
00003082: PUSH2 0x30ba
00003085: DUP5
00003086: PUSH2 0x308e
00003089: DUP8
0000308a: PUSH2 0x3922
0000308d: JUMP
0000308e: JUMPDEST
0000308f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000030ac: AND
000030ad: PUSH2 0x394d
000030b0: SWAP1
000030b1: SWAP2
000030b2: SWAP1
000030b3: PUSH4 0xffffffff
000030b8: AND
000030b9: JUMP
000030ba: JUMPDEST
000030bb: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000030d8: AND
000030d9: MUL
000030da: PUSH1 0x0a
000030dc: PUSH1 0x00
000030de: DUP3
000030df: DUP3
000030e0: SLOAD
000030e1: ADD
000030e2: SWAP3
000030e3: POP
000030e4: POP
000030e5: DUP2
000030e6: SWAP1
000030e7: SSTORE
000030e8: POP
000030e9: JUMPDEST
000030ea: DUP6
000030eb: PUSH1 0x08
000030ed: PUSH1 0x00
000030ef: PUSH2 0x0100
000030f2: EXP
000030f3: DUP2
000030f4: SLOAD
000030f5: DUP2
000030f6: PUSH14 0xffffffffffffffffffffffffffff
00003105: MUL
00003106: NOT
00003107: AND
00003108: SWAP1
00003109: DUP4
0000310a: PUSH14 0xffffffffffffffffffffffffffff
00003119: AND
0000311a: MUL
0000311b: OR
0000311c: SWAP1
0000311d: SSTORE
0000311e: POP
0000311f: DUP5
00003120: PUSH1 0x08
00003122: PUSH1 0x0e
00003124: PUSH2 0x0100
00003127: EXP
00003128: DUP2
00003129: SLOAD
0000312a: DUP2
0000312b: PUSH14 0xffffffffffffffffffffffffffff
0000313a: MUL
0000313b: NOT
0000313c: AND
0000313d: SWAP1
0000313e: DUP4
0000313f: PUSH14 0xffffffffffffffffffffffffffff
0000314e: AND
0000314f: MUL
00003150: OR
00003151: SWAP1
00003152: SSTORE
00003153: POP
00003154: DUP2
00003155: PUSH1 0x08
00003157: PUSH1 0x1c
00003159: PUSH2 0x0100
0000315c: EXP
0000315d: DUP2
0000315e: SLOAD
0000315f: DUP2
00003160: PUSH4 0xffffffff
00003165: MUL
00003166: NOT
00003167: AND
00003168: SWAP1
00003169: DUP4
0000316a: PUSH4 0xffffffff
0000316f: AND
00003170: MUL
00003171: OR
00003172: SWAP1
00003173: SSTORE
00003174: POP
00003175: PUSH32 0x1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1
00003196: PUSH1 0x08
00003198: PUSH1 0x00
0000319a: SWAP1
0000319b: SLOAD
0000319c: SWAP1
0000319d: PUSH2 0x0100
000031a0: EXP
000031a1: SWAP1
000031a2: DIV
000031a3: PUSH14 0xffffffffffffffffffffffffffff
000031b2: AND
000031b3: PUSH1 0x08
000031b5: PUSH1 0x0e
000031b7: SWAP1
000031b8: SLOAD
000031b9: SWAP1
000031ba: PUSH2 0x0100
000031bd: EXP
000031be: SWAP1
000031bf: DIV
000031c0: PUSH14 0xffffffffffffffffffffffffffff
000031cf: AND
000031d0: PUSH1 0x40
000031d2: MLOAD
000031d3: DUP1
000031d4: DUP4
000031d5: PUSH14 0xffffffffffffffffffffffffffff
000031e4: AND
000031e5: DUP2
000031e6: MSTORE
000031e7: PUSH1 0x20
000031e9: ADD
000031ea: DUP3
000031eb: PUSH14 0xffffffffffffffffffffffffffff
000031fa: AND
000031fb: DUP2
000031fc: MSTORE
000031fd: PUSH1 0x20
000031ff: ADD
00003200: SWAP3
00003201: POP
00003202: POP
00003203: POP
00003204: PUSH1 0x40
00003206: MLOAD
00003207: DUP1
00003208: SWAP2
00003209: SUB
0000320a: SWAP1
0000320b: LOG1
0000320c: POP
0000320d: POP
0000320e: POP
0000320f: POP
00003210: POP
00003211: POP
00003212: JUMP
00003213: JUMPDEST
00003214: DUP1
00003215: PUSH1 0x02
00003217: PUSH1 0x00
00003219: DUP6
0000321a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000322f: AND
00003230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003245: AND
00003246: DUP2
00003247: MSTORE
00003248: PUSH1 0x20
0000324a: ADD
0000324b: SWAP1
0000324c: DUP2
0000324d: MSTORE
0000324e: PUSH1 0x20
00003250: ADD
00003251: PUSH1 0x00
00003253: KECCAK256
00003254: PUSH1 0x00
00003256: DUP5
00003257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000326c: AND
0000326d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003282: AND
00003283: DUP2
00003284: MSTORE
00003285: PUSH1 0x20
00003287: ADD
00003288: SWAP1
00003289: DUP2
0000328a: MSTORE
0000328b: PUSH1 0x20
0000328d: ADD
0000328e: PUSH1 0x00
00003290: KECCAK256
00003291: DUP2
00003292: SWAP1
00003293: SSTORE
00003294: POP
00003295: DUP2
00003296: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032ab: AND
000032ac: DUP4
000032ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032c2: AND
000032c3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000032e4: DUP4
000032e5: PUSH1 0x40
000032e7: MLOAD
000032e8: DUP1
000032e9: DUP3
000032ea: DUP2
000032eb: MSTORE
000032ec: PUSH1 0x20
000032ee: ADD
000032ef: SWAP2
000032f0: POP
000032f1: POP
000032f2: PUSH1 0x40
000032f4: MLOAD
000032f5: DUP1
000032f6: SWAP2
000032f7: SUB
000032f8: SWAP1
000032f9: LOG3
000032fa: POP
000032fb: POP
000032fc: POP
000032fd: JUMP
000032fe: JUMPDEST
000032ff: PUSH2 0x3350
00003302: DUP2
00003303: PUSH1 0x01
00003305: PUSH1 0x00
00003307: DUP7
00003308: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000331d: AND
0000331e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003333: AND
00003334: DUP2
00003335: MSTORE
00003336: PUSH1 0x20
00003338: ADD
00003339: SWAP1
0000333a: DUP2
0000333b: MSTORE
0000333c: PUSH1 0x20
0000333e: ADD
0000333f: PUSH1 0x00
00003341: KECCAK256
00003342: SLOAD
00003343: PUSH2 0x2e32
00003346: SWAP1
00003347: SWAP2
00003348: SWAP1
00003349: PUSH4 0xffffffff
0000334e: AND
0000334f: JUMP
00003350: JUMPDEST
00003351: PUSH1 0x01
00003353: PUSH1 0x00
00003355: DUP6
00003356: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000336b: AND
0000336c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003381: AND
00003382: DUP2
00003383: MSTORE
00003384: PUSH1 0x20
00003386: ADD
00003387: SWAP1
00003388: DUP2
00003389: MSTORE
0000338a: PUSH1 0x20
0000338c: ADD
0000338d: PUSH1 0x00
0000338f: KECCAK256
00003390: DUP2
00003391: SWAP1
00003392: SSTORE
00003393: POP
00003394: PUSH2 0x33e5
00003397: DUP2
00003398: PUSH1 0x01
0000339a: PUSH1 0x00
0000339c: DUP6
0000339d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033b2: AND
000033b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033c8: AND
000033c9: DUP2
000033ca: MSTORE
000033cb: PUSH1 0x20
000033cd: ADD
000033ce: SWAP1
000033cf: DUP2
000033d0: MSTORE
000033d1: PUSH1 0x20
000033d3: ADD
000033d4: PUSH1 0x00
000033d6: KECCAK256
000033d7: SLOAD
000033d8: PUSH2 0x39ad
000033db: SWAP1
000033dc: SWAP2
000033dd: SWAP1
000033de: PUSH4 0xffffffff
000033e3: AND
000033e4: JUMP
000033e5: JUMPDEST
000033e6: PUSH1 0x01
000033e8: PUSH1 0x00
000033ea: DUP5
000033eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003400: AND
00003401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003416: AND
00003417: DUP2
00003418: MSTORE
00003419: PUSH1 0x20
0000341b: ADD
0000341c: SWAP1
0000341d: DUP2
0000341e: MSTORE
0000341f: PUSH1 0x20
00003421: ADD
00003422: PUSH1 0x00
00003424: KECCAK256
00003425: DUP2
00003426: SWAP1
00003427: SSTORE
00003428: POP
00003429: DUP2
0000342a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000343f: AND
00003440: DUP4
00003441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003456: AND
00003457: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003478: DUP4
00003479: PUSH1 0x40
0000347b: MLOAD
0000347c: DUP1
0000347d: DUP3
0000347e: DUP2
0000347f: MSTORE
00003480: PUSH1 0x20
00003482: ADD
00003483: SWAP2
00003484: POP
00003485: POP
00003486: PUSH1 0x40
00003488: MLOAD
00003489: DUP1
0000348a: SWAP2
0000348b: SUB
0000348c: SWAP1
0000348d: LOG3
0000348e: POP
0000348f: POP
00003490: POP
00003491: JUMP
00003492: JUMPDEST
00003493: PUSH1 0x00
00003495: DUP1
00003496: PUSH1 0x05
00003498: PUSH1 0x00
0000349a: SWAP1
0000349b: SLOAD
0000349c: SWAP1
0000349d: PUSH2 0x0100
000034a0: EXP
000034a1: SWAP1
000034a2: DIV
000034a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034b8: AND
000034b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034ce: AND
000034cf: PUSH4 0x017e7e58
000034d4: PUSH1 0x40
000034d6: MLOAD
000034d7: DUP2
000034d8: PUSH4 0xffffffff
000034dd: AND
000034de: PUSH1 0xe0
000034e0: SHL
000034e1: DUP2
000034e2: MSTORE
000034e3: PUSH1 0x04
000034e5: ADD
000034e6: PUSH1 0x20
000034e8: PUSH1 0x40
000034ea: MLOAD
000034eb: DUP1
000034ec: DUP4
000034ed: SUB
000034ee: DUP2
000034ef: DUP7
000034f0: DUP1
000034f1: EXTCODESIZE
000034f2: ISZERO
000034f3: DUP1
000034f4: ISZERO
000034f5: PUSH2 0x34fd
000034f8: JUMPI
000034f9: PUSH1 0x00
000034fb: DUP1
000034fc: REVERT
000034fd: JUMPDEST
000034fe: POP
000034ff: GAS
00003500: STATICCALL
00003501: ISZERO
00003502: DUP1
00003503: ISZERO
00003504: PUSH2 0x3511
00003507: JUMPI
00003508: RETURNDATASIZE
00003509: PUSH1 0x00
0000350b: DUP1
0000350c: RETURNDATACOPY
0000350d: RETURNDATASIZE
0000350e: PUSH1 0x00
00003510: REVERT
00003511: JUMPDEST
00003512: POP
00003513: POP
00003514: POP
00003515: POP
00003516: PUSH1 0x40
00003518: MLOAD
00003519: RETURNDATASIZE
0000351a: PUSH1 0x20
0000351c: DUP2
0000351d: LT
0000351e: ISZERO
0000351f: PUSH2 0x3527
00003522: JUMPI
00003523: PUSH1 0x00
00003525: DUP1
00003526: REVERT
00003527: JUMPDEST
00003528: DUP2
00003529: ADD
0000352a: SWAP1
0000352b: DUP1
0000352c: DUP1
0000352d: MLOAD
0000352e: SWAP1
0000352f: PUSH1 0x20
00003531: ADD
00003532: SWAP1
00003533: SWAP3
00003534: SWAP2
00003535: SWAP1
00003536: POP
00003537: POP
00003538: POP
00003539: SWAP1
0000353a: POP
0000353b: PUSH1 0x00
0000353d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003552: AND
00003553: DUP2
00003554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003569: AND
0000356a: EQ
0000356b: ISZERO
0000356c: SWAP2
0000356d: POP
0000356e: PUSH1 0x00
00003570: PUSH1 0x0b
00003572: SLOAD
00003573: SWAP1
00003574: POP
00003575: DUP3
00003576: ISZERO
00003577: PUSH2 0x3659
0000357a: JUMPI
0000357b: PUSH1 0x00
0000357d: DUP2
0000357e: EQ
0000357f: PUSH2 0x3654
00003582: JUMPI
00003583: PUSH1 0x00
00003585: PUSH2 0x35bf
00003588: PUSH2 0x35ba
0000358b: DUP7
0000358c: PUSH14 0xffffffffffffffffffffffffffff
0000359b: AND
0000359c: DUP9
0000359d: PUSH14 0xffffffffffffffffffffffffffff
000035ac: AND
000035ad: PUSH2 0x2d9d
000035b0: SWAP1
000035b1: SWAP2
000035b2: SWAP1
000035b3: PUSH4 0xffffffff
000035b8: AND
000035b9: JUMP
000035ba: JUMPDEST
000035bb: PUSH2 0x3673
000035be: JUMP
000035bf: JUMPDEST
000035c0: SWAP1
000035c1: POP
000035c2: PUSH1 0x00
000035c4: PUSH2 0x35cc
000035c7: DUP4
000035c8: PUSH2 0x3673
000035cb: JUMP
000035cc: JUMPDEST
000035cd: SWAP1
000035ce: POP
000035cf: DUP1
000035d0: DUP3
000035d1: GT
000035d2: ISZERO
000035d3: PUSH2 0x3651
000035d6: JUMPI
000035d7: PUSH1 0x00
000035d9: PUSH2 0x35ff
000035dc: PUSH2 0x35ee
000035df: DUP4
000035e0: DUP6
000035e1: PUSH2 0x2e32
000035e4: SWAP1
000035e5: SWAP2
000035e6: SWAP1
000035e7: PUSH4 0xffffffff
000035ec: AND
000035ed: JUMP
000035ee: JUMPDEST
000035ef: PUSH1 0x00
000035f1: SLOAD
000035f2: PUSH2 0x2d9d
000035f5: SWAP1
000035f6: SWAP2
000035f7: SWAP1
000035f8: PUSH4 0xffffffff
000035fd: AND
000035fe: JUMP
000035ff: JUMPDEST
00003600: SWAP1
00003601: POP
00003602: PUSH1 0x00
00003604: PUSH2 0x3629
00003607: DUP4
00003608: PUSH2 0x361b
0000360b: PUSH1 0x05
0000360d: DUP8
0000360e: PUSH2 0x2d9d
00003611: SWAP1
00003612: SWAP2
00003613: SWAP1
00003614: PUSH4 0xffffffff
00003619: AND
0000361a: JUMP
0000361b: JUMPDEST
0000361c: PUSH2 0x39ad
0000361f: SWAP1
00003620: SWAP2
00003621: SWAP1
00003622: PUSH4 0xffffffff
00003627: AND
00003628: JUMP
00003629: JUMPDEST
0000362a: SWAP1
0000362b: POP
0000362c: PUSH1 0x00
0000362e: DUP2
0000362f: DUP4
00003630: DUP2
00003631: PUSH2 0x3636
00003634: JUMPI
00003635: INVALID
00003636: JUMPDEST
00003637: DIV
00003638: SWAP1
00003639: POP
0000363a: PUSH1 0x00
0000363c: DUP2
0000363d: GT
0000363e: ISZERO
0000363f: PUSH2 0x364d
00003642: JUMPI
00003643: PUSH2 0x364c
00003646: DUP8
00003647: DUP3
00003648: PUSH2 0x36d5
0000364b: JUMP
0000364c: JUMPDEST
0000364d: JUMPDEST
0000364e: POP
0000364f: POP
00003650: POP
00003651: JUMPDEST
00003652: POP
00003653: POP
00003654: JUMPDEST
00003655: PUSH2 0x366b
00003658: JUMP
00003659: JUMPDEST
0000365a: PUSH1 0x00
0000365c: DUP2
0000365d: EQ
0000365e: PUSH2 0x366a
00003661: JUMPI
00003662: PUSH1 0x00
00003664: PUSH1 0x0b
00003666: DUP2
00003667: SWAP1
00003668: SSTORE
00003669: POP
0000366a: JUMPDEST
0000366b: JUMPDEST
0000366c: POP
0000366d: POP
0000366e: SWAP3
0000366f: SWAP2
00003670: POP
00003671: POP
00003672: JUMP
00003673: JUMPDEST
00003674: PUSH1 0x00
00003676: PUSH1 0x03
00003678: DUP3
00003679: GT
0000367a: ISZERO
0000367b: PUSH2 0x36c2
0000367e: JUMPI
0000367f: DUP2
00003680: SWAP1
00003681: POP
00003682: PUSH1 0x00
00003684: PUSH1 0x01
00003686: PUSH1 0x02
00003688: DUP5
00003689: DUP2
0000368a: PUSH2 0x368f
0000368d: JUMPI
0000368e: INVALID
0000368f: JUMPDEST
00003690: DIV
00003691: ADD
00003692: SWAP1
00003693: POP
00003694: JUMPDEST
00003695: DUP2
00003696: DUP2
00003697: LT
00003698: ISZERO
00003699: PUSH2 0x36bc
0000369c: JUMPI
0000369d: DUP1
0000369e: SWAP2
0000369f: POP
000036a0: PUSH1 0x02
000036a2: DUP2
000036a3: DUP3
000036a4: DUP6
000036a5: DUP2
000036a6: PUSH2 0x36ab
000036a9: JUMPI
000036aa: INVALID
000036ab: JUMPDEST
000036ac: DIV
000036ad: ADD
000036ae: DUP2
000036af: PUSH2 0x36b4
000036b2: JUMPI
000036b3: INVALID
000036b4: JUMPDEST
000036b5: DIV
000036b6: SWAP1
000036b7: POP
000036b8: PUSH2 0x3694
000036bb: JUMP
000036bc: JUMPDEST
000036bd: POP
000036be: PUSH2 0x36d0
000036c1: JUMP
000036c2: JUMPDEST
000036c3: PUSH1 0x00
000036c5: DUP3
000036c6: EQ
000036c7: PUSH2 0x36cf
000036ca: JUMPI
000036cb: PUSH1 0x01
000036cd: SWAP1
000036ce: POP
000036cf: JUMPDEST
000036d0: JUMPDEST
000036d1: SWAP2
000036d2: SWAP1
000036d3: POP
000036d4: JUMP
000036d5: JUMPDEST
000036d6: PUSH2 0x36ea
000036d9: DUP2
000036da: PUSH1 0x00
000036dc: SLOAD
000036dd: PUSH2 0x39ad
000036e0: SWAP1
000036e1: SWAP2
000036e2: SWAP1
000036e3: PUSH4 0xffffffff
000036e8: AND
000036e9: JUMP
000036ea: JUMPDEST
000036eb: PUSH1 0x00
000036ed: DUP2
000036ee: SWAP1
000036ef: SSTORE
000036f0: POP
000036f1: PUSH2 0x3742
000036f4: DUP2
000036f5: PUSH1 0x01
000036f7: PUSH1 0x00
000036f9: DUP6
000036fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000370f: AND
00003710: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003725: AND
00003726: DUP2
00003727: MSTORE
00003728: PUSH1 0x20
0000372a: ADD
0000372b: SWAP1
0000372c: DUP2
0000372d: MSTORE
0000372e: PUSH1 0x20
00003730: ADD
00003731: PUSH1 0x00
00003733: KECCAK256
00003734: SLOAD
00003735: PUSH2 0x39ad
00003738: SWAP1
00003739: SWAP2
0000373a: SWAP1
0000373b: PUSH4 0xffffffff
00003740: AND
00003741: JUMP
00003742: JUMPDEST
00003743: PUSH1 0x01
00003745: PUSH1 0x00
00003747: DUP5
00003748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000375d: AND
0000375e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003773: AND
00003774: DUP2
00003775: MSTORE
00003776: PUSH1 0x20
00003778: ADD
00003779: SWAP1
0000377a: DUP2
0000377b: MSTORE
0000377c: PUSH1 0x20
0000377e: ADD
0000377f: PUSH1 0x00
00003781: KECCAK256
00003782: DUP2
00003783: SWAP1
00003784: SSTORE
00003785: POP
00003786: DUP2
00003787: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000379c: AND
0000379d: PUSH1 0x00
0000379f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037b4: AND
000037b5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000037d6: DUP4
000037d7: PUSH1 0x40
000037d9: MLOAD
000037da: DUP1
000037db: DUP3
000037dc: DUP2
000037dd: MSTORE
000037de: PUSH1 0x20
000037e0: ADD
000037e1: SWAP2
000037e2: POP
000037e3: POP
000037e4: PUSH1 0x40
000037e6: MLOAD
000037e7: DUP1
000037e8: SWAP2
000037e9: SUB
000037ea: SWAP1
000037eb: LOG3
000037ec: POP
000037ed: POP
000037ee: JUMP
000037ef: JUMPDEST
000037f0: PUSH1 0x00
000037f2: DUP2
000037f3: DUP4
000037f4: LT
000037f5: PUSH2 0x37fe
000037f8: JUMPI
000037f9: DUP2
000037fa: PUSH2 0x3800
000037fd: JUMP
000037fe: JUMPDEST
000037ff: DUP3
00003800: JUMPDEST
00003801: SWAP1
00003802: POP
00003803: SWAP3
00003804: SWAP2
00003805: POP
00003806: POP
00003807: JUMP
00003808: JUMPDEST
00003809: PUSH2 0x385a
0000380c: DUP2
0000380d: PUSH1 0x01
0000380f: PUSH1 0x00
00003811: DUP6
00003812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003827: AND
00003828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000383d: AND
0000383e: DUP2
0000383f: MSTORE
00003840: PUSH1 0x20
00003842: ADD
00003843: SWAP1
00003844: DUP2
00003845: MSTORE
00003846: PUSH1 0x20
00003848: ADD
00003849: PUSH1 0x00
0000384b: KECCAK256
0000384c: SLOAD
0000384d: PUSH2 0x2e32
00003850: SWAP1
00003851: SWAP2
00003852: SWAP1
00003853: PUSH4 0xffffffff
00003858: AND
00003859: JUMP
0000385a: JUMPDEST
0000385b: PUSH1 0x01
0000385d: PUSH1 0x00
0000385f: DUP5
00003860: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003875: AND
00003876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000388b: AND
0000388c: DUP2
0000388d: MSTORE
0000388e: PUSH1 0x20
00003890: ADD
00003891: SWAP1
00003892: DUP2
00003893: MSTORE
00003894: PUSH1 0x20
00003896: ADD
00003897: PUSH1 0x00
00003899: KECCAK256
0000389a: DUP2
0000389b: SWAP1
0000389c: SSTORE
0000389d: POP
0000389e: PUSH2 0x38b2
000038a1: DUP2
000038a2: PUSH1 0x00
000038a4: SLOAD
000038a5: PUSH2 0x2e32
000038a8: SWAP1
000038a9: SWAP2
000038aa: SWAP1
000038ab: PUSH4 0xffffffff
000038b0: AND
000038b1: JUMP
000038b2: JUMPDEST
000038b3: PUSH1 0x00
000038b5: DUP2
000038b6: SWAP1
000038b7: SSTORE
000038b8: POP
000038b9: PUSH1 0x00
000038bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038d0: AND
000038d1: DUP3
000038d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038e7: AND
000038e8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003909: DUP4
0000390a: PUSH1 0x40
0000390c: MLOAD
0000390d: DUP1
0000390e: DUP3
0000390f: DUP2
00003910: MSTORE
00003911: PUSH1 0x20
00003913: ADD
00003914: SWAP2
00003915: POP
00003916: POP
00003917: PUSH1 0x40
00003919: MLOAD
0000391a: DUP1
0000391b: SWAP2
0000391c: SUB
0000391d: SWAP1
0000391e: LOG3
0000391f: POP
00003920: POP
00003921: JUMP
00003922: JUMPDEST
00003923: PUSH1 0x00
00003925: PUSH15 0x010000000000000000000000000000
00003935: DUP3
00003936: PUSH14 0xffffffffffffffffffffffffffff
00003945: AND
00003946: MUL
00003947: SWAP1
00003948: POP
00003949: SWAP2
0000394a: SWAP1
0000394b: POP
0000394c: JUMP
0000394d: JUMPDEST
0000394e: PUSH1 0x00
00003950: DUP2
00003951: PUSH14 0xffffffffffffffffffffffffffff
00003960: AND
00003961: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000397e: AND
0000397f: DUP4
00003980: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000399d: AND
0000399e: DUP2
0000399f: PUSH2 0x39a4
000039a2: JUMPI
000039a3: INVALID
000039a4: JUMPDEST
000039a5: DIV
000039a6: SWAP1
000039a7: POP
000039a8: SWAP3
000039a9: SWAP2
000039aa: POP
000039ab: POP
000039ac: JUMP
000039ad: JUMPDEST
000039ae: PUSH1 0x00
000039b0: DUP3
000039b1: DUP3
000039b2: DUP5
000039b3: ADD
000039b4: SWAP2
000039b5: POP
000039b6: DUP2
000039b7: LT
000039b8: ISZERO
000039b9: PUSH2 0x3a2a
000039bc: JUMPI
000039bd: PUSH1 0x40
000039bf: MLOAD
000039c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000039e1: DUP2
000039e2: MSTORE
000039e3: PUSH1 0x04
000039e5: ADD
000039e6: DUP1
000039e7: DUP1
000039e8: PUSH1 0x20
000039ea: ADD
000039eb: DUP3
000039ec: DUP2
000039ed: SUB
000039ee: DUP3
000039ef: MSTORE
000039f0: PUSH1 0x14
000039f2: DUP2
000039f3: MSTORE
000039f4: PUSH1 0x20
000039f6: ADD
000039f7: DUP1
000039f8: PUSH32 0x64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000
00003a19: DUP2
00003a1a: MSTORE
00003a1b: POP
00003a1c: PUSH1 0x20
00003a1e: ADD
00003a1f: SWAP2
00003a20: POP
00003a21: POP
00003a22: PUSH1 0x40
00003a24: MLOAD
00003a25: DUP1
00003a26: SWAP2
00003a27: SUB
00003a28: SWAP1
00003a29: REVERT
00003a2a: JUMPDEST
00003a2b: SWAP3
00003a2c: SWAP2
00003a2d: POP
00003a2e: POP
00003a2f: JUMP
00003a30: INVALID
00003a31: SSTORE
00003a32: PUSH15 0x697377617056323a20494e53554646
00003a42: BLOBHASH
00003a43: NUMBER
00003a44: BLOBHASH
00003a45: GASLIMIT
00003a46: UNKNOWN(0x4E)
00003a47: SLOAD
00003a48: PUSH0
00003a49: UNKNOWN(0x4F)
00003a4a: SSTORE
00003a4b: SLOAD
00003a4c: POP
00003a4d: SSTORE
00003a4e: SLOAD
00003a4f: PUSH0
00003a50: COINBASE
00003a51: UNKNOWN(0x4D)
00003a52: UNKNOWN(0x4F)
00003a53: SSTORE
00003a54: UNKNOWN(0x4E)
00003a55: SLOAD
00003a56: SSTORE
00003a57: PUSH15 0x697377617056323a20494e53554646
00003a67: BLOBHASH
00003a68: NUMBER
00003a69: BLOBHASH
00003a6a: GASLIMIT
00003a6b: UNKNOWN(0x4E)
00003a6c: SLOAD
00003a6d: PUSH0
00003a6e: BLOBHASH
00003a6f: UNKNOWN(0x4E)
00003a70: POP
00003a71: SSTORE
00003a72: SLOAD
00003a73: PUSH0
00003a74: COINBASE
00003a75: UNKNOWN(0x4D)
00003a76: UNKNOWN(0x4F)
00003a77: SSTORE
00003a78: UNKNOWN(0x4E)
00003a79: SLOAD
00003a7a: SSTORE
00003a7b: PUSH15 0x697377617056323a20494e53554646
00003a8b: BLOBHASH
00003a8c: NUMBER
00003a8d: BLOBHASH
00003a8e: GASLIMIT
00003a8f: UNKNOWN(0x4E)
00003a90: SLOAD
00003a91: PUSH0
00003a92: UNKNOWN(0x4C)
00003a93: BLOBHASH
00003a94: MLOAD
00003a95: SSTORE
00003a96: BLOBHASH
00003a97: DIFFICULTY
00003a98: BLOBHASH
00003a99: SLOAD
00003a9a: MSIZE
00003a9b: SSTORE
00003a9c: PUSH15 0x697377617056323a20494e53554646
00003aac: BLOBHASH
00003aad: NUMBER
00003aae: BLOBHASH
00003aaf: GASLIMIT
00003ab0: UNKNOWN(0x4E)
00003ab1: SLOAD
00003ab2: PUSH0
00003ab3: UNKNOWN(0x4C)
00003ab4: BLOBHASH
00003ab5: MLOAD
00003ab6: SSTORE
00003ab7: BLOBHASH
00003ab8: DIFFICULTY
00003ab9: BLOBHASH
00003aba: SLOAD
00003abb: MSIZE
00003abc: PUSH0
00003abd: TIMESTAMP
00003abe: SSTORE
00003abf: MSTORE
00003ac0: UNKNOWN(0x4E)
00003ac1: GASLIMIT
00003ac2: DIFFICULTY
00003ac3: SSTORE
00003ac4: PUSH15 0x697377617056323a20494e53554646
00003ad4: BLOBHASH
00003ad5: NUMBER
00003ad6: BLOBHASH
00003ad7: GASLIMIT
00003ad8: UNKNOWN(0x4E)
00003ad9: SLOAD
00003ada: PUSH0
00003adb: UNKNOWN(0x4C)
00003adc: BLOBHASH
00003add: MLOAD
00003ade: SSTORE
00003adf: BLOBHASH
00003ae0: DIFFICULTY
00003ae1: BLOBHASH
00003ae2: SLOAD
00003ae3: MSIZE
00003ae4: PUSH0
00003ae5: UNKNOWN(0x4D)
00003ae6: BLOBHASH
00003ae7: UNKNOWN(0x4E)
00003ae8: SLOAD
00003ae9: GASLIMIT
00003aea: DIFFICULTY
00003aeb: LOG2
00003aec: PUSH5 0x6970667358
00003af2: UNKNOWN(0x22)
00003af3: SLT
00003af4: KECCAK256
00003af5: PUSH26 0x83f2e06cad1a0cab64218e001050f85840c00747e814f8b3d571
00003b10: PUSH3 0xa2ced8
00003b14: PUSH6 0x64736f6c6343
00003b1b: STOP
00003b1c: MOD
00003b1d: UNKNOWN(0x0C)
00003b1e: STOP
00003b1f: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xfda07b1e79ac5c3ca80cf786714783e5a8feb2fc85348091ab7eef71fd37f54d
call_targets: 0xa55951b2dcb3574eab8a54a6b5ec0ecf3f6fff95
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfda07b1e79ac5c3ca80cf786714783e5a8feb2fc85348091ab7eef71fd37f54d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa55951b2dcb3574eab8a54a6b5ec0ecf3f6fff95"
    ],
    "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": "0xd21220a7",
            "selector": "0xd21220a7",
            "calldata_variants": [
                "0xd21220a7",
                "0xd21220a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfff6cae9",
            "selector": "0xfff6cae9",
            "calldata_variants": [
                "0xfff6cae9",
                "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba9a7a56",
            "selector": "0xba9a7a56",
            "calldata_variants": [
                "0xba9a7a56",
                "0xba9a7a560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbc25cf77",
            "selector": "0xbc25cf77",
            "calldata_variants": [
                "0xbc25cf77",
                "0xbc25cf770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45a0155",
            "selector": "0xc45a0155",
            "calldata_variants": [
                "0xc45a0155",
                "0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7ecebe00",
            "selector": "0x7ecebe00",
            "calldata_variants": [
                "0x7ecebe00",
                "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3392,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11440,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 5235,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6362,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xfda07b1e79ac5c3ca80cf786714783e5a8feb2fc85348091ab7eef71fd37f54d
call_targets: 0xa55951b2dcb3574eab8a54a6b5ec0ecf3f6fff95
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfda07b1e79ac5c3ca80cf786714783e5a8feb2fc85348091ab7eef71fd37f54d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa55951b2dcb3574eab8a54a6b5ec0ecf3f6fff95"
    ],
    "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": "0xd21220a7",
            "selector": "0xd21220a7",
            "calldata_variants": [
                "0xd21220a7",
                "0xd21220a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfff6cae9",
            "selector": "0xfff6cae9",
            "calldata_variants": [
                "0xfff6cae9",
                "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba9a7a56",
            "selector": "0xba9a7a56",
            "calldata_variants": [
                "0xba9a7a56",
                "0xba9a7a560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbc25cf77",
            "selector": "0xbc25cf77",
            "calldata_variants": [
                "0xbc25cf77",
                "0xbc25cf770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45a0155",
            "selector": "0xc45a0155",
            "calldata_variants": [
                "0xc45a0155",
                "0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7ecebe00",
            "selector": "0x7ecebe00",
            "calldata_variants": [
                "0x7ecebe00",
                "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3392,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11440,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 5235,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6362,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 2
}
low other codex Low‑level CALL to computed target/value with unconfirmed checks 65 no
view
evidence_json
{
    "evidence": "detector_findings show CALL at pc 3392 and 11440 with target_expression_category=computed, value_expression_category=computed, returndata_checked=null; eth_value_calls=2 and untrusted_call_count=2. Validation did not prove target variability (classification: constant_target), so risk is uncertain from bytecode alone.",
    "locations": [
        "pc:0x0d40",
        "pc:0x2cb0"
    ],
    "recommendation": "Confirm these CALLs are only used for safe token transfers/callbacks with zero ETH and guarded by a reentrancy lock. If not, add explicit value=0 enforcement, strict target validation, and return\u2011data checks (success && (returndata.length==0 || decode(bool))).",
    "exploit_scenario": "If the CALLs at pc 0x0d40 / 0x2cb0 are reachable from state\u2011changing paths and the target/value can be influenced (e.g., callback or token address), a malicious callee could reenter or siphon ETH if nonzero value is sent. Bytecode evidence is insufficient to confirm zero\u2011value usage, strict target constraints, or safe\u2011transfer return\u2011data checks."
}
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": 16
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 18
}