019be3d6-82f5-73ce-b152-f0dadbc57205
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| 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 |
{
"status": "not_proxy"
}
No slither job recorded yet.
{"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"]}]}
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
{
"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
}
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
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_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 |
viewtrace_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 | — |
viewevidence_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 | — |
viewevidence_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 | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 18
}
|