019bab3b-ac62-70bf-bd48-3141cf1dd860
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 |
|---|---|---|---|---|
| 38751 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 38752 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 38753 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 38754 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 38755 | capability.graph | complete | 1 / 3 | 3 months ago |
| 38756 | detector.run | complete | 1 / 3 | 3 months ago |
| 38757 | validation.fork | complete | 1 / 3 | 3 months ago |
| 39168 | report.consolidate | complete | 1 / 6 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
{"no_findings":false,"summary":"Bytecode indicates an ERC1155-style contract with Ownable checks and no proxy/delegatecall. The main risks are around untrusted external calls (ERC1155 receiver hooks) and an ETH sweep via low-level CALL; both appear intentional but should be reviewed for reentrancy/access-control correctness.","findings":[{"severity":"low","category":"reentrancy","title":"Untrusted external calls during ERC1155 receiver hooks (potential reentrancy surface)","exploit_scenario":"If a malicious receiver contract is called via onERC1155Received/onERC1155BatchReceived, it can reenter other functions while state is mid‑update. If any state updates or accounting occur after these calls, a reentrant call could bypass invariants (e.g., mint limits or balances). Evidence of a reentrancy guard is not detected, but guard detection is heuristic.","recommendation":"Ensure all state changes for transfers/mints are completed before calling external receivers and consider a reentrancy guard on externally callable state-mutating functions if invariants could be violated on reentry.","evidence":"External CALLs to computed targets with gas are present at pc:9846 and pc:10358; returndata handling occurs after the call, but no guard is detected in auth.guards.", "locations":["pc:9846","pc:10358"]},{"severity":"low","category":"access_control","title":"Low-level ETH sweep to caller uses SELFBALANCE and CALLER","exploit_scenario":"The bytecode performs a low-level CALL sending the full contract balance to CALLER. If access control around this path is misconfigured or bypassable, any caller could drain ETH. The bytecode shows a CALLER==SLOAD(owner) check, but guard detection is heuristic and storage slot meaning is inferred.","recommendation":"Verify the withdraw/sweep function is strictly owner-only (or otherwise authorized) and that the owner slot is correctly initialized and not mutable by untrusted users. Consider emitting an event for withdrawals for monitoring.","evidence":"CALL at pc:2900 uses SELFBALANCE and CALLER as value/target; preceding block at pc:2803 performs CALLER EQ against a masked SLOAD (likely owner check).","locations":["pc:2900","pc:2803"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-6iejn534
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019babe3-5d9a-77d2-a875-b70aeaf221aa
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.
Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.
Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
mcp startup: no servers
thinking
**Reading BYTECODE_BUNDLE.json**
exec
/bin/bash -lc ls in /tmp/codex-6iejn534 succeeded in 6ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-6iejn534 succeeded in 8ms:
{
"analysis_artifact": {
"address": "0xa658542ca3265c00beb9a7b45a23503ed87c66c0",
"artifact_hash": "0x06bb400fecc2c6f29489ecf2a5c643b6b8e3ebc0e73411e51f72033bb89fcef9",
"artifact_json": {
"auth": {
"guards": []
},
"basic_blocks": [
{
"end_pc": 12,
"hash": "0xfcbaaa82c4e0a8e6365f35fc4d00a277413db7f03ddeaae646784e780ddcf63a",
"opcodes": [
"PUSH1",
"PUSH1",
"MSTORE",
"PUSH1",
"CALLDATASIZE",
"LT",
"PUSH2",
thinking
**Analyzing untrusted CALL usage and potential reentrancy**
I'm piecing together evidence about untrusted external CALLs that might transfer ETH, focusing on calls to the contract's own address, hinting at possible reentrancy. The data lacks clear guards or state-change order, so I'll cautiously highlight reentrancy risks with medium severity. To deepen the analysis, I'll try locating storage slot info or callsites in the JSON to find stronger evidence.
exec
/bin/bash -lc 'rg -n "storage" BYTECODE_BUNDLE.json' in /tmp/codex-6iejn534 succeeded in 11ms:
17083: "storage": {
17272: "storage": {
17461: "storage": {
17650: "storage": {
17839: "storage": {
18028: "storage": {
18217: "storage": {
18406: "storage": {
18595: "storage": {
18784: "storage": {
18973: "storage": {
19162: "storage": {
19351: "storage": {
19540: "storage": {
19729: "storage": {
19918: "storage": {
20107: "storage": {
20296: "storage": {
20485: "storage": {
20674: "storage": {
thinking
**Searching for evidence_bundle**
exec
/bin/bash -lc 'rg -n "evidence" BYTECODE_BUNDLE.json' in /tmp/codex-6iejn534 succeeded in 14ms:
23944: "proxy_evidence": {
33164: "evidence_json": {
33216: "evidence_json": {
thinking
**Inspecting proxy evidence snippet**
exec
/bin/bash -lc "sed -n '23920,24020p' BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 11ms:
"analysis_run": {
"address": "0xa658542ca3265c00beb9a7b45a23503ed87c66c0",
"block_number": null,
"chain_id": 1,
"child_links": [],
"created_at": "2026-01-11T04:06:13.000000Z",
"id": "019bab3b-ac62-70bf-bd48-3141cf1dd860",
"parent_links": [],
"status": "running",
"updated_at": "2026-01-11T04:08:43.000000Z"
},
"artifact": {
"codehash": "0xf2abd5f263a3dee907fd54a006b243947c4fb8f16f2d241cf45aa8841f2433d9",
"compiler_json": {
"compiler_version": null,
"etherscan": {
"contract_name": null,
"implementation": null,
"license": "Unknown",
"proxy": "0",
thinking
**Analyzing external calls and reentrancy risks in ERC1155 contract**
exec
/bin/bash -lc 'rg -n "callsites" BYTECODE_BUNDLE.json' in /tmp/codex-6iejn534 succeeded in 6ms:
13019: "callsites": [
exec
/bin/bash -lc "sed -n '12980,13080p' BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 10ms:
"EXP",
"OP_91",
"OP_8C",
"OP_0D",
"CALLDATALOAD",
"OP_94",
"MSIZE",
"OP_BB",
"OP_C3",
"OP_A2",
"OP_99",
"OP_A8",
"OP_96",
"OP_27",
"PUSH9",
"NUMBER",
"STOP"
],
"start_pc": 13185
},
thinking
**Inspecting call types and storage**
exec
/bin/bash -lc "sed -n '23720,23820p' BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 7ms:
"0x08c379a0",
"0xbc197c81",
"0xf23a6e61"
],
"sinks": {
"call": 3,
"create": 0,
"create2": 0,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 1,
"upgrade_slot_write_suspected": false
},
"storage": {
"keccak_count": 67,
"reads": 74,
"slots": [
{
"op": "SLOAD",
"pc": 1143,
thinking
**Analyzing ERC1155 contract external calls**
I'm piecing together that this contract is a typical ERC1155 with minting, allowlist, owner withdrawal, and external calls that sometimes transfer ETH. I'm carefully considering possible risks around unguarded external calls with value, especially withdrawals and receiver callbacks, while noting there's no proxy upgradeability or explicit reentrancy protection visible yet, so I need to be conservative and dig into call sites and order of state updates for clarity.
exec
/bin/bash -lc "rg -n \"\\\"pc\\\": 2900\" -n BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 6ms:
13022: "pc": 2900,
32915: "pc": 2900,
33169: "pc": 2900,
33221: "pc": 2900,
thinking
**Inspecting callsite around line 32900**
exec
/bin/bash -lc "sed -n '32880,32960p' BYTECODE_BUNDLE.json" in /tmp/codex-6iejn534 succeeded in 17ms:
"id": "bb:13180",
"start_pc": 13180,
"type": "basic_block"
},
{
"end_pc": 13184,
"hash": "0x4311ade97b4e9b6c6bc119ecbd61d62bde32a9cbbb798e11b2c7e789f41ae1c5",
"id": "bb:13184",
"start_pc": 13184,
"type": "basic_block"
},
{
"end_pc": 13265,
"hash": "0x4f7e0c23bc16bd29ca23cceb7b31b8b4511d351e645943ce21d82d171808f42a",
"id": "bb:13185",
"start_pc": 13185,
"type": "basic_block"
},
{
"end_pc": 13268,
thinking
**Identifying basic blocks with CALL operations**
exec
/bin/bash -lc "python - <<'PY'
import json
import re
from pathlib import Path
p=Path('BYTECODE_BUNDLE.json')
obj=json.loads(p.read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
ops=b.get('opcodes') or []
if any(op in ('CALL','DELEGATECALL','STATICCALL') for op in ops):
# include call op location? no pc inside op list; use start/end
print({'start':b['start_pc'],'end':b['end_pc'],'ops':[op for op in ops if op in ('CALL','DELEGATECALL','STATICCALL','CALLVALUE','CALLER','BALANCE')]})
PY" in /tmp/codex-6iejn534 succeeded in 91ms:
{'start': 2875, 'end': 2912, 'ops': ['CALLER', 'CALL']}
{'start': 6337, 'end': 6347, 'ops': ['STATICCALL']}
{'start': 9843, 'end': 9856, 'ops': ['CALL']}
{'start': 10355, 'end': 10368, 'ops': ['CALL']}
thinking
**Analyzing CALL opcode contexts**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
ops=b.get('opcodes') or []
if 'CALL' in ops or 'STATICCALL' in ops:
print('block',b['start_pc'],b['end_pc'])
print(ops)
PY" in /tmp/codex-6iejn534 succeeded in 89ms:
block 2875 2912
['JUMPDEST', 'PUSH1', 'MLOAD', 'SELFBALANCE', 'OP_90', 'CALLER', 'OP_90', 'OP_82', 'ISZERO', 'PUSH2', 'MUL', 'OP_90', 'OP_83', 'OP_90', 'PUSH1', 'OP_81', 'OP_81', 'OP_81', 'OP_85', 'OP_88', 'OP_88', 'CALL', 'OP_93', 'POP', 'POP', 'POP', 'POP', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
block 6337 6347
['JUMPDEST', 'POP', 'GAS', 'STATICCALL', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
block 9843 9856
['JUMPDEST', 'POP', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
block 10355 10368
['JUMPDEST', 'POP', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
thinking
**Analyzing external calls and access control in bytecode**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
if 9800 <= b['start_pc'] <= 9900 or 9800 <= b['end_pc'] <= 9900:
print(b['start_pc'], b['end_pc'], b.get('opcodes'))
PY" in /tmp/codex-6iejn534 succeeded in 39ms:
9766 9816 ['PUSH1', 'MLOAD', 'PUSH4', 'PUSH1', 'SHL', 'OP_81', 'MSTORE', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'OP_85', 'AND', 'OP_90', 'PUSH4', 'OP_90', 'PUSH2', 'OP_90', 'OP_89', 'OP_90', 'OP_89', 'OP_90', 'OP_88', 'OP_90', 'OP_88', 'OP_90', 'OP_88', 'OP_90', 'PUSH1', 'ADD', 'PUSH2', 'JUMP']
9817 9838 ['JUMPDEST', 'PUSH1', 'PUSH1', 'MLOAD', 'OP_80', 'OP_83', 'SUB', 'OP_81', 'PUSH1', 'OP_87', 'OP_80', 'EXTCODESIZE', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
9839 9842 ['PUSH1', 'OP_80', 'REVERT']
9843 9856 ['JUMPDEST', 'POP', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
9857 9887 ['POP', 'PUSH1', 'OP_80', 'MLOAD', 'PUSH1', 'RETURNDATASIZE', 'OP_90', 'OP_81', 'ADD', 'PUSH1', 'NOT', 'AND', 'OP_82', 'ADD', 'OP_90', 'OP_92', 'MSTORE', 'PUSH2', 'OP_91', 'OP_81', 'ADD', 'OP_90', 'PUSH2', 'JUMP']
9888 9889 ['JUMPDEST', 'PUSH1']
9891 9895 ['JUMPDEST', 'PUSH2', 'JUMPI']
9896 9902 ['PUSH2', 'PUSH2', 'JUMP']
thinking
**Inspecting post-CALL data processing**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
if 9880 <= b['start_pc'] <= 9950:
print(b['start_pc'], b['end_pc'], b.get('opcodes'))
PY" in /tmp/codex-6iejn534 succeeded in 33ms:
9888 9889 ['JUMPDEST', 'PUSH1']
9891 9895 ['JUMPDEST', 'PUSH2', 'JUMPI']
9896 9902 ['PUSH2', 'PUSH2', 'JUMP']
9903 9915 ['JUMPDEST', 'OP_80', 'PUSH4', 'EQ', 'ISZERO', 'PUSH2', 'JUMPI']
9916 9923 ['POP', 'PUSH2', 'PUSH2', 'JUMP']
9924 9929 ['JUMPDEST', 'OP_80', 'PUSH2', 'JUMPI']
9930 9934 ['POP', 'PUSH2', 'JUMP']
9935 9960 ['JUMPDEST', 'OP_80', 'PUSH1', 'MLOAD', 'PUSH3', 'PUSH1', 'SHL', 'OP_81', 'MSTORE', 'PUSH1', 'ADD', 'PUSH2', 'OP_91', 'OP_90', 'PUSH2', 'JUMP']
thinking
**Examining call return checks**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
if 10330 <= b['start_pc'] <= 10420:
print(b['start_pc'], b['end_pc'], b.get('opcodes'))
PY" in /tmp/codex-6iejn534 succeeded in 94ms:
10351 10354 ['PUSH1', 'OP_80', 'REVERT']
10355 10368 ['JUMPDEST', 'POP', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
10369 10399 ['POP', 'PUSH1', 'OP_80', 'MLOAD', 'PUSH1', 'RETURNDATASIZE', 'OP_90', 'OP_81', 'ADD', 'PUSH1', 'NOT', 'AND', 'OP_82', 'ADD', 'OP_90', 'OP_92', 'MSTORE', 'PUSH2', 'OP_91', 'OP_81', 'ADD', 'OP_90', 'PUSH2', 'JUMP']
10400 10401 ['JUMPDEST', 'PUSH1']
10403 10407 ['JUMPDEST', 'PUSH2', 'JUMPI']
10408 10414 ['PUSH2', 'PUSH2', 'JUMP']
10415 10439 ['JUMPDEST', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'NOT', 'OP_81', 'AND', 'PUSH4', 'PUSH1', 'SHL', 'EQ', 'PUSH2', 'JUMPI']
thinking
**Investigating receiver hooks and access checks**
exec
/bin/bash -lc "python - <<'PY'
import json
from pathlib import Path
obj=json.loads(Path('BYTECODE_BUNDLE.json').read_text())
blocks=obj['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
if 2800 <= b['start_pc'] <= 2875:
print(b['start_pc'], b['end_pc'], b.get('opcodes'))
PY" in /tmp/codex-6iejn534 succeeded in 47ms:
2803 2821 ['JUMPDEST', 'PUSH1', 'SLOAD', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'AND', 'CALLER', 'EQ', 'PUSH2', 'JUMPI']
2822 2874 ['PUSH1', 'MLOAD', 'PUSH3', 'PUSH1', 'SHL', 'OP_81', 'MSTORE', 'PUSH1', 'PUSH1', 'OP_82', 'ADD', 'OP_81', 'OP_90', 'MSTORE', 'PUSH1', 'OP_82', 'ADD', 'MSTORE', 'PUSH1', 'OP_80', 'MLOAD', 'PUSH1', 'PUSH2', 'OP_83', 'CODECOPY', 'OP_81', 'MLOAD', 'OP_91', 'MSTORE', 'PUSH1', 'OP_82', 'ADD', 'MSTORE', 'PUSH1', 'ADD', 'PUSH2', 'JUMP']
2875 2912 ['JUMPDEST', 'PUSH1', 'MLOAD', 'SELFBALANCE', 'OP_90', 'CALLER', 'OP_90', 'OP_82', 'ISZERO', 'PUSH2', 'MUL', 'OP_90', 'OP_83', 'OP_90', 'PUSH1', 'OP_81', 'OP_81', 'OP_81', 'OP_85', 'OP_88', 'OP_88', 'CALL', 'OP_93', 'POP', 'POP', 'POP', 'POP', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
thinking
**Analyzing bytecode for reentrancy and access control**
codex
{"no_findings":false,"summary":"Bytecode indicates an ERC1155-style contract with Ownable checks and no proxy/delegatecall. The main risks are around untrusted external calls (ERC1155 receiver hooks) and an ETH sweep via low-level CALL; both appear intentional but should be reviewed for reentrancy/access-control correctness.","findings":[{"severity":"low","category":"reentrancy","title":"Untrusted external calls during ERC1155 receiver hooks (potential reentrancy surface)","exploit_scenario":"If a malicious receiver contract is called via onERC1155Received/onERC1155BatchReceived, it can reenter other functions while state is mid‑update. If any state updates or accounting occur after these calls, a reentrant call could bypass invariants (e.g., mint limits or balances). Evidence of a reentrancy guard is not detected, but guard detection is heuristic.","recommendation":"Ensure all state changes for transfers/mints are completed before calling external receivers and consider a reentrancy guard on externally callable state-mutating functions if invariants could be violated on reentry.","evidence":"External CALLs to computed targets with gas are present at pc:9846 and pc:10358; returndata handling occurs after the call, but no guard is detected in auth.guards.", "locations":["pc:9846","pc:10358"]},{"severity":"low","category":"access_control","title":"Low-level ETH sweep to caller uses SELFBALANCE and CALLER","exploit_scenario":"The bytecode performs a low-level CALL sending the full contract balance to CALLER. If access control around this path is misconfigured or bypassable, any caller could drain ETH. The bytecode shows a CALLER==SLOAD(owner) check, but guard detection is heuristic and storage slot meaning is inferred.","recommendation":"Verify the withdraw/sweep function is strictly owner-only (or otherwise authorized) and that the owner slot is correctly initialized and not mutable by untrusted users. Consider emitting an event for withdrawals for monitoring.","evidence":"CALL at pc:2900 uses SELFBALANCE and CALLER as value/target; preceding block at pc:2803 performs CALLER EQ against a masked SLOAD (likely owner check).","locations":["pc:2900","pc:2803"]}]}
tokens used
48,356
{
"codex": {
"ran_at": "2026-01-11T07:12:06.640369+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 26542,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "Bytecode indicates an ERC1155-style contract with Ownable checks and no proxy/delegatecall. The main risks are around untrusted external calls (ERC1155 receiver hooks) and an ETH sweep via low-level CALL; both appear intentional but should be reviewed for reentrancy/access-control correctness.",
"raw_final": {
"summary": "Bytecode indicates an ERC1155-style contract with Ownable checks and no proxy/delegatecall. The main risks are around untrusted external calls (ERC1155 receiver hooks) and an ETH sweep via low-level CALL; both appear intentional but should be reviewed for reentrancy/access-control correctness.",
"findings": [
{
"title": "Untrusted external calls during ERC1155 receiver hooks (potential reentrancy surface)",
"category": "reentrancy",
"evidence": "External CALLs to computed targets with gas are present at pc:9846 and pc:10358; returndata handling occurs after the call, but no guard is detected in auth.guards.",
"severity": "low",
"locations": [
"pc:9846",
"pc:10358"
],
"recommendation": "Ensure all state changes for transfers/mints are completed before calling external receivers and consider a reentrancy guard on externally callable state-mutating functions if invariants could be violated on reentry.",
"exploit_scenario": "If a malicious receiver contract is called via onERC1155Received/onERC1155BatchReceived, it can reenter other functions while state is mid\u2011update. If any state updates or accounting occur after these calls, a reentrant call could bypass invariants (e.g., mint limits or balances). Evidence of a reentrancy guard is not detected, but guard detection is heuristic."
},
{
"title": "Low-level ETH sweep to caller uses SELFBALANCE and CALLER",
"category": "access_control",
"evidence": "CALL at pc:2900 uses SELFBALANCE and CALLER as value/target; preceding block at pc:2803 performs CALLER EQ against a masked SLOAD (likely owner check).",
"severity": "low",
"locations": [
"pc:2900",
"pc:2803"
],
"recommendation": "Verify the withdraw/sweep function is strictly owner-only (or otherwise authorized) and that the owner slot is correctly initialized and not mutable by untrusted users. Consider emitting an event for withdrawals for monitoring.",
"exploit_scenario": "The bytecode performs a low-level CALL sending the full contract balance to CALLER. If access control around this path is misconfigured or bypassable, any caller could drain ETH. The bytecode shows a CALLER==SLOAD(owner) check, but guard detection is heuristic and storage slot meaning is inferred."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01fd 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x011d 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc751958d 00000024: GT 00000025: PUSH2 0x00b0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe985e9c5 0000002f: GT 00000030: PUSH2 0x007f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: GT 0000003b: PUSH2 0x0064 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x061c 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf5298aca 00000050: EQ 00000051: PUSH2 0x063c 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf7d97577 0000005b: EQ 0000005c: PUSH2 0x065c 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xe985e9c5 0000006b: EQ 0000006c: PUSH2 0x05dc 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xf242432a 00000076: EQ 00000077: PUSH2 0x05fc 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0xc751958d 00000086: EQ 00000087: PUSH2 0x0552 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0xd96a094a 00000091: EQ 00000092: PUSH2 0x0572 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xdbd39392 0000009c: EQ 0000009d: PUSH2 0x0585 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xe8a3d485 000000a7: EQ 000000a8: PUSH2 0x05c7 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0xa22cb465 000000b7: GT 000000b8: PUSH2 0x00ec 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0xa22cb465 000000c2: EQ 000000c3: PUSH2 0x04ba 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0xb2609d77 000000cd: EQ 000000ce: PUSH2 0x04da 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0xb5b49727 000000d8: EQ 000000d9: PUSH2 0x04fa 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xc204642c 000000e3: EQ 000000e4: PUSH2 0x0532 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x715018a6 000000f3: EQ 000000f4: PUSH2 0x0452 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x8da5cb5b 000000fe: EQ 000000ff: PUSH2 0x0467 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x938e3d7b 00000109: EQ 0000010a: PUSH2 0x0485 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x95d89b41 00000114: EQ 00000115: PUSH2 0x04a5 00000118: JUMPI 00000119: PUSH1 0x00 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: DUP1 0000011f: PUSH4 0x2eb2c2d6 00000124: GT 00000125: PUSH2 0x0195 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x46a7dadc 0000012f: GT 00000130: PUSH2 0x0164 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0x46a7dadc 0000013a: EQ 0000013b: PUSH2 0x03c5 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x4e1273f4 00000145: EQ 00000146: PUSH2 0x03e5 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x691562a0 00000150: EQ 00000151: PUSH2 0x0412 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x6b20c454 0000015b: EQ 0000015c: PUSH2 0x0432 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x2eb2c2d6 0000016b: EQ 0000016c: PUSH2 0x0336 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x35403023 00000176: EQ 00000177: PUSH2 0x0356 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x3ccfd60b 00000181: EQ 00000182: PUSH2 0x0383 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x43a73d9a 0000018c: EQ 0000018d: PUSH2 0x0398 00000190: JUMPI 00000191: PUSH1 0x00 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: DUP1 00000197: PUSH4 0x0c31ba98 0000019c: GT 0000019d: PUSH2 0x01d1 000001a0: JUMPI 000001a1: DUP1 000001a2: PUSH4 0x0c31ba98 000001a7: EQ 000001a8: PUSH2 0x02a9 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x0e89341c 000001b2: EQ 000001b3: PUSH2 0x02c9 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x21775c92 000001bd: EQ 000001be: PUSH2 0x02e9 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x26a49e37 000001c8: EQ 000001c9: PUSH2 0x0309 000001cc: JUMPI 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: DUP1 000001d3: PUSH3 0xfdd58e 000001d7: EQ 000001d8: PUSH2 0x0202 000001db: JUMPI 000001dc: DUP1 000001dd: PUSH4 0x01ffc9a7 000001e2: EQ 000001e3: PUSH2 0x0235 000001e6: JUMPI 000001e7: DUP1 000001e8: PUSH4 0x02fe5305 000001ed: EQ 000001ee: PUSH2 0x0265 000001f1: JUMPI 000001f2: DUP1 000001f3: PUSH4 0x06fdde03 000001f8: EQ 000001f9: PUSH2 0x0287 000001fc: JUMPI 000001fd: JUMPDEST 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: CALLVALUE 00000204: DUP1 00000205: ISZERO 00000206: PUSH2 0x020e 00000209: JUMPI 0000020a: PUSH1 0x00 0000020c: DUP1 0000020d: REVERT 0000020e: JUMPDEST 0000020f: POP 00000210: PUSH2 0x0222 00000213: PUSH2 0x021d 00000216: CALLDATASIZE 00000217: PUSH1 0x04 00000219: PUSH2 0x2d55 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH2 0x067c 00000221: JUMP 00000222: JUMPDEST 00000223: PUSH1 0x40 00000225: MLOAD 00000226: SWAP1 00000227: DUP2 00000228: MSTORE 00000229: PUSH1 0x20 0000022b: ADD 0000022c: JUMPDEST 0000022d: PUSH1 0x40 0000022f: MLOAD 00000230: DUP1 00000231: SWAP2 00000232: SUB 00000233: SWAP1 00000234: RETURN 00000235: JUMPDEST 00000236: CALLVALUE 00000237: DUP1 00000238: ISZERO 00000239: PUSH2 0x0241 0000023c: JUMPI 0000023d: PUSH1 0x00 0000023f: DUP1 00000240: REVERT 00000241: JUMPDEST 00000242: POP 00000243: PUSH2 0x0255 00000246: PUSH2 0x0250 00000249: CALLDATASIZE 0000024a: PUSH1 0x04 0000024c: PUSH2 0x2efc 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH2 0x0728 00000254: JUMP 00000255: JUMPDEST 00000256: PUSH1 0x40 00000258: MLOAD 00000259: SWAP1 0000025a: ISZERO 0000025b: ISZERO 0000025c: DUP2 0000025d: MSTORE 0000025e: PUSH1 0x20 00000260: ADD 00000261: PUSH2 0x022c 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: DUP1 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x0285 00000276: PUSH2 0x0280 00000279: CALLDATASIZE 0000027a: PUSH1 0x04 0000027c: PUSH2 0x2f53 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH2 0x07c3 00000284: JUMP 00000285: JUMPDEST 00000286: STOP 00000287: JUMPDEST 00000288: CALLVALUE 00000289: DUP1 0000028a: ISZERO 0000028b: PUSH2 0x0293 0000028e: JUMPI 0000028f: PUSH1 0x00 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: POP 00000295: PUSH2 0x029c 00000298: PUSH2 0x0817 0000029b: JUMP 0000029c: JUMPDEST 0000029d: PUSH1 0x40 0000029f: MLOAD 000002a0: PUSH2 0x022c 000002a3: SWAP2 000002a4: SWAP1 000002a5: PUSH2 0x3166 000002a8: JUMP 000002a9: JUMPDEST 000002aa: CALLVALUE 000002ab: DUP1 000002ac: ISZERO 000002ad: PUSH2 0x02b5 000002b0: JUMPI 000002b1: PUSH1 0x00 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: POP 000002b7: PUSH2 0x0285 000002ba: PUSH2 0x02c4 000002bd: CALLDATASIZE 000002be: PUSH1 0x04 000002c0: PUSH2 0x2d81 000002c3: JUMP 000002c4: JUMPDEST 000002c5: PUSH2 0x08a5 000002c8: JUMP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: DUP1 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: POP 000002d7: PUSH2 0x029c 000002da: PUSH2 0x02e4 000002dd: CALLDATASIZE 000002de: PUSH1 0x04 000002e0: PUSH2 0x2f9c 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH2 0x095b 000002e8: JUMP 000002e9: JUMPDEST 000002ea: CALLVALUE 000002eb: DUP1 000002ec: ISZERO 000002ed: PUSH2 0x02f5 000002f0: JUMPI 000002f1: PUSH1 0x00 000002f3: DUP1 000002f4: REVERT 000002f5: JUMPDEST 000002f6: POP 000002f7: PUSH2 0x0285 000002fa: PUSH2 0x0304 000002fd: CALLDATASIZE 000002fe: PUSH1 0x04 00000300: PUSH2 0x2ee1 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH2 0x09ef 00000308: JUMP 00000309: JUMPDEST 0000030a: CALLVALUE 0000030b: DUP1 0000030c: ISZERO 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: POP 00000317: PUSH2 0x0222 0000031a: PUSH2 0x0324 0000031d: CALLDATASIZE 0000031e: PUSH1 0x04 00000320: PUSH2 0x2f9c 00000323: JUMP 00000324: JUMPDEST 00000325: PUSH1 0x05 00000327: PUSH1 0x20 00000329: MSTORE 0000032a: PUSH1 0x00 0000032c: SWAP1 0000032d: DUP2 0000032e: MSTORE 0000032f: PUSH1 0x40 00000331: SWAP1 00000332: KECCAK256 00000333: SLOAD 00000334: DUP2 00000335: JUMP 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x0285 00000347: PUSH2 0x0351 0000034a: CALLDATASIZE 0000034b: PUSH1 0x04 0000034d: PUSH2 0x2b93 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH2 0x0a51 00000355: JUMP 00000356: JUMPDEST 00000357: CALLVALUE 00000358: DUP1 00000359: ISZERO 0000035a: PUSH2 0x0362 0000035d: JUMPI 0000035e: PUSH1 0x00 00000360: DUP1 00000361: REVERT 00000362: JUMPDEST 00000363: POP 00000364: PUSH2 0x0222 00000367: PUSH2 0x0371 0000036a: CALLDATASIZE 0000036b: PUSH1 0x04 0000036d: PUSH2 0x2f9c 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH1 0x06 00000374: PUSH1 0x20 00000376: MSTORE 00000377: PUSH1 0x00 00000379: SWAP1 0000037a: DUP2 0000037b: MSTORE 0000037c: PUSH1 0x40 0000037e: SWAP1 0000037f: KECCAK256 00000380: SLOAD 00000381: DUP2 00000382: JUMP 00000383: JUMPDEST 00000384: CALLVALUE 00000385: DUP1 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: POP 00000391: PUSH2 0x0285 00000394: PUSH2 0x0af3 00000397: JUMP 00000398: JUMPDEST 00000399: CALLVALUE 0000039a: DUP1 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH2 0x03ad 000003a9: PUSH2 0x0b6e 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: PUSH1 0x01 000003b3: PUSH1 0x01 000003b5: PUSH1 0xa0 000003b7: SHL 000003b8: SUB 000003b9: SWAP1 000003ba: SWAP2 000003bb: AND 000003bc: DUP2 000003bd: MSTORE 000003be: PUSH1 0x20 000003c0: ADD 000003c1: PUSH2 0x022c 000003c4: JUMP 000003c5: JUMPDEST 000003c6: CALLVALUE 000003c7: DUP1 000003c8: ISZERO 000003c9: PUSH2 0x03d1 000003cc: JUMPI 000003cd: PUSH1 0x00 000003cf: DUP1 000003d0: REVERT 000003d1: JUMPDEST 000003d2: POP 000003d3: PUSH2 0x0285 000003d6: PUSH2 0x03e0 000003d9: CALLDATASIZE 000003da: PUSH1 0x04 000003dc: PUSH2 0x2b3d 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH2 0x0bca 000003e4: JUMP 000003e5: JUMPDEST 000003e6: CALLVALUE 000003e7: DUP1 000003e8: ISZERO 000003e9: PUSH2 0x03f1 000003ec: JUMPI 000003ed: PUSH1 0x00 000003ef: DUP1 000003f0: REVERT 000003f1: JUMPDEST 000003f2: POP 000003f3: PUSH2 0x0405 000003f6: PUSH2 0x0400 000003f9: CALLDATASIZE 000003fa: PUSH1 0x04 000003fc: PUSH2 0x2dea 000003ff: JUMP 00000400: JUMPDEST 00000401: PUSH2 0x0c41 00000404: JUMP 00000405: JUMPDEST 00000406: PUSH1 0x40 00000408: MLOAD 00000409: PUSH2 0x022c 0000040c: SWAP2 0000040d: SWAP1 0000040e: PUSH2 0x3125 00000411: JUMP 00000412: JUMPDEST 00000413: CALLVALUE 00000414: DUP1 00000415: ISZERO 00000416: PUSH2 0x041e 00000419: JUMPI 0000041a: PUSH1 0x00 0000041c: DUP1 0000041d: REVERT 0000041e: JUMPDEST 0000041f: POP 00000420: PUSH2 0x0285 00000423: PUSH2 0x042d 00000426: CALLDATASIZE 00000427: PUSH1 0x04 00000429: PUSH2 0x2db6 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH2 0x0d7f 00000431: JUMP 00000432: JUMPDEST 00000433: CALLVALUE 00000434: DUP1 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: POP 00000440: PUSH2 0x0285 00000443: PUSH2 0x044d 00000446: CALLDATASIZE 00000447: PUSH1 0x04 00000449: PUSH2 0x2caa 0000044c: JUMP 0000044d: JUMPDEST 0000044e: PUSH2 0x0fec 00000451: JUMP 00000452: JUMPDEST 00000453: CALLVALUE 00000454: DUP1 00000455: ISZERO 00000456: PUSH2 0x045e 00000459: JUMPI 0000045a: PUSH1 0x00 0000045c: DUP1 0000045d: REVERT 0000045e: JUMPDEST 0000045f: POP 00000460: PUSH2 0x0285 00000463: PUSH2 0x1071 00000466: JUMP 00000467: JUMPDEST 00000468: CALLVALUE 00000469: DUP1 0000046a: ISZERO 0000046b: PUSH2 0x0473 0000046e: JUMPI 0000046f: PUSH1 0x00 00000471: DUP1 00000472: REVERT 00000473: JUMPDEST 00000474: POP 00000475: PUSH1 0x03 00000477: SLOAD 00000478: PUSH1 0x01 0000047a: PUSH1 0x01 0000047c: PUSH1 0xa0 0000047e: SHL 0000047f: SUB 00000480: AND 00000481: PUSH2 0x03ad 00000484: JUMP 00000485: JUMPDEST 00000486: CALLVALUE 00000487: DUP1 00000488: ISZERO 00000489: PUSH2 0x0491 0000048c: JUMPI 0000048d: PUSH1 0x00 0000048f: DUP1 00000490: REVERT 00000491: JUMPDEST 00000492: POP 00000493: PUSH2 0x0285 00000496: PUSH2 0x04a0 00000499: CALLDATASIZE 0000049a: PUSH1 0x04 0000049c: PUSH2 0x2f53 0000049f: JUMP 000004a0: JUMPDEST 000004a1: PUSH2 0x10c5 000004a4: JUMP 000004a5: JUMPDEST 000004a6: CALLVALUE 000004a7: DUP1 000004a8: ISZERO 000004a9: PUSH2 0x04b1 000004ac: JUMPI 000004ad: PUSH1 0x00 000004af: DUP1 000004b0: REVERT 000004b1: JUMPDEST 000004b2: POP 000004b3: PUSH2 0x029c 000004b6: PUSH2 0x1120 000004b9: JUMP 000004ba: JUMPDEST 000004bb: CALLVALUE 000004bc: DUP1 000004bd: ISZERO 000004be: PUSH2 0x04c6 000004c1: JUMPI 000004c2: PUSH1 0x00 000004c4: DUP1 000004c5: REVERT 000004c6: JUMPDEST 000004c7: POP 000004c8: PUSH2 0x0285 000004cb: PUSH2 0x04d5 000004ce: CALLDATASIZE 000004cf: PUSH1 0x04 000004d1: PUSH2 0x2d20 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH2 0x112d 000004d9: JUMP 000004da: JUMPDEST 000004db: CALLVALUE 000004dc: DUP1 000004dd: ISZERO 000004de: PUSH2 0x04e6 000004e1: JUMPI 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: REVERT 000004e6: JUMPDEST 000004e7: POP 000004e8: PUSH2 0x0285 000004eb: PUSH2 0x04f5 000004ee: CALLDATASIZE 000004ef: PUSH1 0x04 000004f1: PUSH2 0x2ee1 000004f4: JUMP 000004f5: JUMPDEST 000004f6: PUSH2 0x1138 000004f9: JUMP 000004fa: JUMPDEST 000004fb: CALLVALUE 000004fc: DUP1 000004fd: ISZERO 000004fe: PUSH2 0x0506 00000501: JUMPI 00000502: PUSH1 0x00 00000504: DUP1 00000505: REVERT 00000506: JUMPDEST 00000507: POP 00000508: PUSH2 0x0222 0000050b: PUSH2 0x0515 0000050e: CALLDATASIZE 0000050f: PUSH1 0x04 00000511: PUSH2 0x2fb5 00000514: JUMP 00000515: JUMPDEST 00000516: PUSH1 0x07 00000518: PUSH1 0x20 0000051a: SWAP1 0000051b: DUP2 0000051c: MSTORE 0000051d: PUSH1 0x00 0000051f: SWAP3 00000520: DUP4 00000521: MSTORE 00000522: PUSH1 0x40 00000524: DUP1 00000525: DUP5 00000526: KECCAK256 00000527: SWAP1 00000528: SWAP2 00000529: MSTORE 0000052a: SWAP1 0000052b: DUP3 0000052c: MSTORE 0000052d: SWAP1 0000052e: KECCAK256 0000052f: SLOAD 00000530: DUP2 00000531: JUMP 00000532: JUMPDEST 00000533: CALLVALUE 00000534: DUP1 00000535: ISZERO 00000536: PUSH2 0x053e 00000539: JUMPI 0000053a: PUSH1 0x00 0000053c: DUP1 0000053d: REVERT 0000053e: JUMPDEST 0000053f: POP 00000540: PUSH2 0x0285 00000543: PUSH2 0x054d 00000546: CALLDATASIZE 00000547: PUSH1 0x04 00000549: PUSH2 0x2e4e 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH2 0x1193 00000551: JUMP 00000552: JUMPDEST 00000553: CALLVALUE 00000554: DUP1 00000555: ISZERO 00000556: PUSH2 0x055e 00000559: JUMPI 0000055a: PUSH1 0x00 0000055c: DUP1 0000055d: REVERT 0000055e: JUMPDEST 0000055f: POP 00000560: PUSH2 0x0285 00000563: PUSH2 0x056d 00000566: CALLDATASIZE 00000567: PUSH1 0x04 00000569: PUSH2 0x2e93 0000056c: JUMP 0000056d: JUMPDEST 0000056e: PUSH2 0x13c7 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH2 0x0285 00000576: PUSH2 0x0580 00000579: CALLDATASIZE 0000057a: PUSH1 0x04 0000057c: PUSH2 0x2f9c 0000057f: JUMP 00000580: JUMPDEST 00000581: PUSH2 0x1457 00000584: JUMP 00000585: JUMPDEST 00000586: CALLVALUE 00000587: DUP1 00000588: ISZERO 00000589: PUSH2 0x0591 0000058c: JUMPI 0000058d: PUSH1 0x00 0000058f: DUP1 00000590: REVERT 00000591: JUMPDEST 00000592: POP 00000593: PUSH2 0x0222 00000596: PUSH2 0x05a0 00000599: CALLDATASIZE 0000059a: PUSH1 0x04 0000059c: PUSH2 0x2d55 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH1 0x00 000005a3: SWAP1 000005a4: DUP2 000005a5: MSTORE 000005a6: PUSH1 0x07 000005a8: PUSH1 0x20 000005aa: SWAP1 000005ab: DUP2 000005ac: MSTORE 000005ad: PUSH1 0x40 000005af: DUP1 000005b0: DUP4 000005b1: KECCAK256 000005b2: PUSH1 0x01 000005b4: PUSH1 0x01 000005b6: PUSH1 0xa0 000005b8: SHL 000005b9: SUB 000005ba: SWAP5 000005bb: SWAP1 000005bc: SWAP5 000005bd: AND 000005be: DUP4 000005bf: MSTORE 000005c0: SWAP3 000005c1: SWAP1 000005c2: MSTORE 000005c3: KECCAK256 000005c4: SLOAD 000005c5: SWAP1 000005c6: JUMP 000005c7: JUMPDEST 000005c8: CALLVALUE 000005c9: DUP1 000005ca: ISZERO 000005cb: PUSH2 0x05d3 000005ce: JUMPI 000005cf: PUSH1 0x00 000005d1: DUP1 000005d2: REVERT 000005d3: JUMPDEST 000005d4: POP 000005d5: PUSH2 0x029c 000005d8: PUSH2 0x17c6 000005db: JUMP 000005dc: JUMPDEST 000005dd: CALLVALUE 000005de: DUP1 000005df: ISZERO 000005e0: PUSH2 0x05e8 000005e3: JUMPI 000005e4: PUSH1 0x00 000005e6: DUP1 000005e7: REVERT 000005e8: JUMPDEST 000005e9: POP 000005ea: PUSH2 0x0255 000005ed: PUSH2 0x05f7 000005f0: CALLDATASIZE 000005f1: PUSH1 0x04 000005f3: PUSH2 0x2b5a 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH2 0x1858 000005fb: JUMP 000005fc: JUMPDEST 000005fd: CALLVALUE 000005fe: DUP1 000005ff: ISZERO 00000600: PUSH2 0x0608 00000603: JUMPI 00000604: PUSH1 0x00 00000606: DUP1 00000607: REVERT 00000608: JUMPDEST 00000609: POP 0000060a: PUSH2 0x0285 0000060d: PUSH2 0x0617 00000610: CALLDATASIZE 00000611: PUSH1 0x04 00000613: PUSH2 0x2c41 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH2 0x1944 0000061b: JUMP 0000061c: JUMPDEST 0000061d: CALLVALUE 0000061e: DUP1 0000061f: ISZERO 00000620: PUSH2 0x0628 00000623: JUMPI 00000624: PUSH1 0x00 00000626: DUP1 00000627: REVERT 00000628: JUMPDEST 00000629: POP 0000062a: PUSH2 0x0285 0000062d: PUSH2 0x0637 00000630: CALLDATASIZE 00000631: PUSH1 0x04 00000633: PUSH2 0x2b3d 00000636: JUMP 00000637: JUMPDEST 00000638: PUSH2 0x19cb 0000063b: JUMP 0000063c: JUMPDEST 0000063d: CALLVALUE 0000063e: DUP1 0000063f: ISZERO 00000640: PUSH2 0x0648 00000643: JUMPI 00000644: PUSH1 0x00 00000646: DUP1 00000647: REVERT 00000648: JUMPDEST 00000649: POP 0000064a: PUSH2 0x0285 0000064d: PUSH2 0x0657 00000650: CALLDATASIZE 00000651: PUSH1 0x04 00000653: PUSH2 0x2d81 00000656: JUMP 00000657: JUMPDEST 00000658: PUSH2 0x1a98 0000065b: JUMP 0000065c: JUMPDEST 0000065d: CALLVALUE 0000065e: DUP1 0000065f: ISZERO 00000660: PUSH2 0x0668 00000663: JUMPI 00000664: PUSH1 0x00 00000666: DUP1 00000667: REVERT 00000668: JUMPDEST 00000669: POP 0000066a: PUSH2 0x0285 0000066d: PUSH2 0x0677 00000670: CALLDATASIZE 00000671: PUSH1 0x04 00000673: PUSH2 0x2fda 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH2 0x1b1d 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH1 0x00 0000067f: PUSH1 0x01 00000681: PUSH1 0x01 00000683: PUSH1 0xa0 00000685: SHL 00000686: SUB 00000687: DUP4 00000688: AND 00000689: PUSH2 0x06ff 0000068c: JUMPI 0000068d: PUSH1 0x40 0000068f: MLOAD 00000690: PUSH3 0x461bcd 00000694: PUSH1 0xe5 00000696: SHL 00000697: DUP2 00000698: MSTORE 00000699: PUSH1 0x20 0000069b: PUSH1 0x04 0000069d: DUP3 0000069e: ADD 0000069f: MSTORE 000006a0: PUSH1 0x2b 000006a2: PUSH1 0x24 000006a4: DUP3 000006a5: ADD 000006a6: MSTORE 000006a7: PUSH32 0x455243313135353a2062616c616e636520717565727920666f7220746865207a 000006c8: PUSH1 0x44 000006ca: DUP3 000006cb: ADD 000006cc: MSTORE 000006cd: PUSH32 0x65726f2061646472657373000000000000000000000000000000000000000000 000006ee: PUSH1 0x64 000006f0: DUP3 000006f1: ADD 000006f2: MSTORE 000006f3: PUSH1 0x84 000006f5: ADD 000006f6: JUMPDEST 000006f7: PUSH1 0x40 000006f9: MLOAD 000006fa: DUP1 000006fb: SWAP2 000006fc: SUB 000006fd: SWAP1 000006fe: REVERT 000006ff: JUMPDEST 00000700: POP 00000701: PUSH1 0x00 00000703: DUP2 00000704: DUP2 00000705: MSTORE 00000706: PUSH1 0x20 00000708: DUP2 00000709: DUP2 0000070a: MSTORE 0000070b: PUSH1 0x40 0000070d: DUP1 0000070e: DUP4 0000070f: KECCAK256 00000710: PUSH1 0x01 00000712: PUSH1 0x01 00000714: PUSH1 0xa0 00000716: SHL 00000717: SUB 00000718: DUP7 00000719: AND 0000071a: DUP5 0000071b: MSTORE 0000071c: SWAP1 0000071d: SWAP2 0000071e: MSTORE 0000071f: SWAP1 00000720: KECCAK256 00000721: SLOAD 00000722: JUMPDEST 00000723: SWAP3 00000724: SWAP2 00000725: POP 00000726: POP 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH1 0x00 0000072b: PUSH1 0x01 0000072d: PUSH1 0x01 0000072f: PUSH1 0xe0 00000731: SHL 00000732: SUB 00000733: NOT 00000734: DUP3 00000735: AND 00000736: PUSH32 0xd9b67a2600000000000000000000000000000000000000000000000000000000 00000757: EQ 00000758: DUP1 00000759: PUSH2 0x078b 0000075c: JUMPI 0000075d: POP 0000075e: PUSH1 0x01 00000760: PUSH1 0x01 00000762: PUSH1 0xe0 00000764: SHL 00000765: SUB 00000766: NOT 00000767: DUP3 00000768: AND 00000769: PUSH32 0x0e89341c00000000000000000000000000000000000000000000000000000000 0000078a: EQ 0000078b: JUMPDEST 0000078c: DUP1 0000078d: PUSH2 0x0722 00000790: JUMPI 00000791: POP 00000792: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000007b3: PUSH1 0x01 000007b5: PUSH1 0x01 000007b7: PUSH1 0xe0 000007b9: SHL 000007ba: SUB 000007bb: NOT 000007bc: DUP4 000007bd: AND 000007be: EQ 000007bf: PUSH2 0x0722 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH1 0x03 000007c6: SLOAD 000007c7: PUSH1 0x01 000007c9: PUSH1 0x01 000007cb: PUSH1 0xa0 000007cd: SHL 000007ce: SUB 000007cf: AND 000007d0: CALLER 000007d1: EQ 000007d2: PUSH2 0x080b 000007d5: JUMPI 000007d6: PUSH1 0x40 000007d8: MLOAD 000007d9: PUSH3 0x461bcd 000007dd: PUSH1 0xe5 000007df: SHL 000007e0: DUP2 000007e1: MSTORE 000007e2: PUSH1 0x20 000007e4: PUSH1 0x04 000007e6: DUP3 000007e7: ADD 000007e8: DUP2 000007e9: SWAP1 000007ea: MSTORE 000007eb: PUSH1 0x24 000007ed: DUP3 000007ee: ADD 000007ef: MSTORE 000007f0: PUSH1 0x00 000007f2: DUP1 000007f3: MLOAD 000007f4: PUSH1 0x20 000007f6: PUSH2 0x3381 000007f9: DUP4 000007fa: CODECOPY 000007fb: DUP2 000007fc: MLOAD 000007fd: SWAP2 000007fe: MSTORE 000007ff: PUSH1 0x44 00000801: DUP3 00000802: ADD 00000803: MSTORE 00000804: PUSH1 0x64 00000806: ADD 00000807: PUSH2 0x06f6 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH2 0x0814 0000080f: DUP2 00000810: PUSH2 0x1bb7 00000813: JUMP 00000814: JUMPDEST 00000815: POP 00000816: JUMP 00000817: JUMPDEST 00000818: PUSH1 0x0c 0000081a: DUP1 0000081b: SLOAD 0000081c: PUSH2 0x0824 0000081f: SWAP1 00000820: PUSH2 0x31eb 00000823: JUMP 00000824: JUMPDEST 00000825: DUP1 00000826: PUSH1 0x1f 00000828: ADD 00000829: PUSH1 0x20 0000082b: DUP1 0000082c: SWAP2 0000082d: DIV 0000082e: MUL 0000082f: PUSH1 0x20 00000831: ADD 00000832: PUSH1 0x40 00000834: MLOAD 00000835: SWAP1 00000836: DUP2 00000837: ADD 00000838: PUSH1 0x40 0000083a: MSTORE 0000083b: DUP1 0000083c: SWAP3 0000083d: SWAP2 0000083e: SWAP1 0000083f: DUP2 00000840: DUP2 00000841: MSTORE 00000842: PUSH1 0x20 00000844: ADD 00000845: DUP3 00000846: DUP1 00000847: SLOAD 00000848: PUSH2 0x0850 0000084b: SWAP1 0000084c: PUSH2 0x31eb 0000084f: JUMP 00000850: JUMPDEST 00000851: DUP1 00000852: ISZERO 00000853: PUSH2 0x089d 00000856: JUMPI 00000857: DUP1 00000858: PUSH1 0x1f 0000085a: LT 0000085b: PUSH2 0x0872 0000085e: JUMPI 0000085f: PUSH2 0x0100 00000862: DUP1 00000863: DUP4 00000864: SLOAD 00000865: DIV 00000866: MUL 00000867: DUP4 00000868: MSTORE 00000869: SWAP2 0000086a: PUSH1 0x20 0000086c: ADD 0000086d: SWAP2 0000086e: PUSH2 0x089d 00000871: JUMP 00000872: JUMPDEST 00000873: DUP3 00000874: ADD 00000875: SWAP2 00000876: SWAP1 00000877: PUSH1 0x00 00000879: MSTORE 0000087a: PUSH1 0x20 0000087c: PUSH1 0x00 0000087e: KECCAK256 0000087f: SWAP1 00000880: JUMPDEST 00000881: DUP2 00000882: SLOAD 00000883: DUP2 00000884: MSTORE 00000885: SWAP1 00000886: PUSH1 0x01 00000888: ADD 00000889: SWAP1 0000088a: PUSH1 0x20 0000088c: ADD 0000088d: DUP1 0000088e: DUP4 0000088f: GT 00000890: PUSH2 0x0880 00000893: JUMPI 00000894: DUP3 00000895: SWAP1 00000896: SUB 00000897: PUSH1 0x1f 00000899: AND 0000089a: DUP3 0000089b: ADD 0000089c: SWAP2 0000089d: JUMPDEST 0000089e: POP 0000089f: POP 000008a0: POP 000008a1: POP 000008a2: POP 000008a3: DUP2 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x03 000008a8: SLOAD 000008a9: PUSH1 0x01 000008ab: PUSH1 0x01 000008ad: PUSH1 0xa0 000008af: SHL 000008b0: SUB 000008b1: AND 000008b2: CALLER 000008b3: EQ 000008b4: PUSH2 0x08ed 000008b7: JUMPI 000008b8: PUSH1 0x40 000008ba: MLOAD 000008bb: PUSH3 0x461bcd 000008bf: PUSH1 0xe5 000008c1: SHL 000008c2: DUP2 000008c3: MSTORE 000008c4: PUSH1 0x20 000008c6: PUSH1 0x04 000008c8: DUP3 000008c9: ADD 000008ca: DUP2 000008cb: SWAP1 000008cc: MSTORE 000008cd: PUSH1 0x24 000008cf: DUP3 000008d0: ADD 000008d1: MSTORE 000008d2: PUSH1 0x00 000008d4: DUP1 000008d5: MLOAD 000008d6: PUSH1 0x20 000008d8: PUSH2 0x3381 000008db: DUP4 000008dc: CODECOPY 000008dd: DUP2 000008de: MLOAD 000008df: SWAP2 000008e0: MSTORE 000008e1: PUSH1 0x44 000008e3: DUP3 000008e4: ADD 000008e5: MSTORE 000008e6: PUSH1 0x64 000008e8: ADD 000008e9: PUSH2 0x06f6 000008ec: JUMP 000008ed: JUMPDEST 000008ee: DUP1 000008ef: ISZERO 000008f0: PUSH2 0x0930 000008f3: JUMPI 000008f4: PUSH1 0x00 000008f6: DUP3 000008f7: DUP2 000008f8: MSTORE 000008f9: PUSH1 0x08 000008fb: PUSH1 0x20 000008fd: SWAP1 000008fe: DUP2 000008ff: MSTORE 00000900: PUSH1 0x40 00000902: DUP1 00000903: DUP4 00000904: KECCAK256 00000905: PUSH1 0x01 00000907: PUSH1 0x01 00000909: PUSH1 0xa0 0000090b: SHL 0000090c: SUB 0000090d: DUP8 0000090e: AND 0000090f: DUP5 00000910: MSTORE 00000911: SWAP1 00000912: SWAP2 00000913: MSTORE 00000914: DUP2 00000915: KECCAK256 00000916: DUP1 00000917: SLOAD 00000918: DUP4 00000919: SWAP3 0000091a: SWAP1 0000091b: PUSH2 0x0925 0000091e: SWAP1 0000091f: DUP5 00000920: SWAP1 00000921: PUSH2 0x319d 00000924: JUMP 00000925: JUMPDEST 00000926: SWAP1 00000927: SWAP2 00000928: SSTORE 00000929: POP 0000092a: PUSH2 0x0956 0000092d: SWAP1 0000092e: POP 0000092f: JUMP 00000930: JUMPDEST 00000931: PUSH1 0x00 00000933: DUP3 00000934: DUP2 00000935: MSTORE 00000936: PUSH1 0x08 00000938: PUSH1 0x20 0000093a: SWAP1 0000093b: DUP2 0000093c: MSTORE 0000093d: PUSH1 0x40 0000093f: DUP1 00000940: DUP4 00000941: KECCAK256 00000942: PUSH1 0x01 00000944: PUSH1 0x01 00000946: PUSH1 0xa0 00000948: SHL 00000949: SUB 0000094a: DUP8 0000094b: AND 0000094c: DUP5 0000094d: MSTORE 0000094e: SWAP1 0000094f: SWAP2 00000950: MSTORE 00000951: SWAP1 00000952: KECCAK256 00000953: DUP2 00000954: SWAP1 00000955: SSTORE 00000956: JUMPDEST 00000957: POP 00000958: POP 00000959: POP 0000095a: JUMP 0000095b: JUMPDEST 0000095c: PUSH1 0x60 0000095e: PUSH1 0x02 00000960: DUP1 00000961: SLOAD 00000962: PUSH2 0x096a 00000965: SWAP1 00000966: PUSH2 0x31eb 00000969: JUMP 0000096a: JUMPDEST 0000096b: DUP1 0000096c: PUSH1 0x1f 0000096e: ADD 0000096f: PUSH1 0x20 00000971: DUP1 00000972: SWAP2 00000973: DIV 00000974: MUL 00000975: PUSH1 0x20 00000977: ADD 00000978: PUSH1 0x40 0000097a: MLOAD 0000097b: SWAP1 0000097c: DUP2 0000097d: ADD 0000097e: PUSH1 0x40 00000980: MSTORE 00000981: DUP1 00000982: SWAP3 00000983: SWAP2 00000984: SWAP1 00000985: DUP2 00000986: DUP2 00000987: MSTORE 00000988: PUSH1 0x20 0000098a: ADD 0000098b: DUP3 0000098c: DUP1 0000098d: SLOAD 0000098e: PUSH2 0x0996 00000991: SWAP1 00000992: PUSH2 0x31eb 00000995: JUMP 00000996: JUMPDEST 00000997: DUP1 00000998: ISZERO 00000999: PUSH2 0x09e3 0000099c: JUMPI 0000099d: DUP1 0000099e: PUSH1 0x1f 000009a0: LT 000009a1: PUSH2 0x09b8 000009a4: JUMPI 000009a5: PUSH2 0x0100 000009a8: DUP1 000009a9: DUP4 000009aa: SLOAD 000009ab: DIV 000009ac: MUL 000009ad: DUP4 000009ae: MSTORE 000009af: SWAP2 000009b0: PUSH1 0x20 000009b2: ADD 000009b3: SWAP2 000009b4: PUSH2 0x09e3 000009b7: JUMP 000009b8: JUMPDEST 000009b9: DUP3 000009ba: ADD 000009bb: SWAP2 000009bc: SWAP1 000009bd: PUSH1 0x00 000009bf: MSTORE 000009c0: PUSH1 0x20 000009c2: PUSH1 0x00 000009c4: KECCAK256 000009c5: SWAP1 000009c6: JUMPDEST 000009c7: DUP2 000009c8: SLOAD 000009c9: DUP2 000009ca: MSTORE 000009cb: SWAP1 000009cc: PUSH1 0x01 000009ce: ADD 000009cf: SWAP1 000009d0: PUSH1 0x20 000009d2: ADD 000009d3: DUP1 000009d4: DUP4 000009d5: GT 000009d6: PUSH2 0x09c6 000009d9: JUMPI 000009da: DUP3 000009db: SWAP1 000009dc: SUB 000009dd: PUSH1 0x1f 000009df: AND 000009e0: DUP3 000009e1: ADD 000009e2: SWAP2 000009e3: JUMPDEST 000009e4: POP 000009e5: POP 000009e6: POP 000009e7: POP 000009e8: POP 000009e9: SWAP1 000009ea: POP 000009eb: SWAP2 000009ec: SWAP1 000009ed: POP 000009ee: JUMP 000009ef: JUMPDEST 000009f0: PUSH1 0x03 000009f2: SLOAD 000009f3: PUSH1 0x01 000009f5: PUSH1 0x01 000009f7: PUSH1 0xa0 000009f9: SHL 000009fa: SUB 000009fb: AND 000009fc: CALLER 000009fd: EQ 000009fe: PUSH2 0x0a37 00000a01: JUMPI 00000a02: PUSH1 0x40 00000a04: MLOAD 00000a05: PUSH3 0x461bcd 00000a09: PUSH1 0xe5 00000a0b: SHL 00000a0c: DUP2 00000a0d: MSTORE 00000a0e: PUSH1 0x20 00000a10: PUSH1 0x04 00000a12: DUP3 00000a13: ADD 00000a14: DUP2 00000a15: SWAP1 00000a16: MSTORE 00000a17: PUSH1 0x24 00000a19: DUP3 00000a1a: ADD 00000a1b: MSTORE 00000a1c: PUSH1 0x00 00000a1e: DUP1 00000a1f: MLOAD 00000a20: PUSH1 0x20 00000a22: PUSH2 0x3381 00000a25: DUP4 00000a26: CODECOPY 00000a27: DUP2 00000a28: MLOAD 00000a29: SWAP2 00000a2a: MSTORE 00000a2b: PUSH1 0x44 00000a2d: DUP3 00000a2e: ADD 00000a2f: MSTORE 00000a30: PUSH1 0x64 00000a32: ADD 00000a33: PUSH2 0x06f6 00000a36: JUMP 00000a37: JUMPDEST 00000a38: PUSH1 0x0a 00000a3a: DUP1 00000a3b: SLOAD 00000a3c: SWAP2 00000a3d: ISZERO 00000a3e: ISZERO 00000a3f: PUSH2 0x0100 00000a42: MUL 00000a43: PUSH2 0xff00 00000a46: NOT 00000a47: SWAP1 00000a48: SWAP3 00000a49: AND 00000a4a: SWAP2 00000a4b: SWAP1 00000a4c: SWAP2 00000a4d: OR 00000a4e: SWAP1 00000a4f: SSTORE 00000a50: JUMP 00000a51: JUMPDEST 00000a52: PUSH1 0x01 00000a54: PUSH1 0x01 00000a56: PUSH1 0xa0 00000a58: SHL 00000a59: SUB 00000a5a: DUP6 00000a5b: AND 00000a5c: CALLER 00000a5d: EQ 00000a5e: DUP1 00000a5f: PUSH2 0x0a6d 00000a62: JUMPI 00000a63: POP 00000a64: PUSH2 0x0a6d 00000a67: DUP6 00000a68: CALLER 00000a69: PUSH2 0x1858 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH2 0x0adf 00000a71: JUMPI 00000a72: PUSH1 0x40 00000a74: MLOAD 00000a75: PUSH3 0x461bcd 00000a79: PUSH1 0xe5 00000a7b: SHL 00000a7c: DUP2 00000a7d: MSTORE 00000a7e: PUSH1 0x20 00000a80: PUSH1 0x04 00000a82: DUP3 00000a83: ADD 00000a84: MSTORE 00000a85: PUSH1 0x32 00000a87: PUSH1 0x24 00000a89: DUP3 00000a8a: ADD 00000a8b: MSTORE 00000a8c: PUSH32 0x455243313135353a207472616e736665722063616c6c6572206973206e6f7420 00000aad: PUSH1 0x44 00000aaf: DUP3 00000ab0: ADD 00000ab1: MSTORE 00000ab2: PUSH32 0x6f776e6572206e6f7220617070726f7665640000000000000000000000000000 00000ad3: PUSH1 0x64 00000ad5: DUP3 00000ad6: ADD 00000ad7: MSTORE 00000ad8: PUSH1 0x84 00000ada: ADD 00000adb: PUSH2 0x06f6 00000ade: JUMP 00000adf: JUMPDEST 00000ae0: PUSH2 0x0aec 00000ae3: DUP6 00000ae4: DUP6 00000ae5: DUP6 00000ae6: DUP6 00000ae7: DUP6 00000ae8: PUSH2 0x1bca 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: POP 00000aee: POP 00000aef: POP 00000af0: POP 00000af1: POP 00000af2: JUMP 00000af3: JUMPDEST 00000af4: PUSH1 0x03 00000af6: SLOAD 00000af7: PUSH1 0x01 00000af9: PUSH1 0x01 00000afb: PUSH1 0xa0 00000afd: SHL 00000afe: SUB 00000aff: AND 00000b00: CALLER 00000b01: EQ 00000b02: PUSH2 0x0b3b 00000b05: JUMPI 00000b06: PUSH1 0x40 00000b08: MLOAD 00000b09: PUSH3 0x461bcd 00000b0d: PUSH1 0xe5 00000b0f: SHL 00000b10: DUP2 00000b11: MSTORE 00000b12: PUSH1 0x20 00000b14: PUSH1 0x04 00000b16: DUP3 00000b17: ADD 00000b18: DUP2 00000b19: SWAP1 00000b1a: MSTORE 00000b1b: PUSH1 0x24 00000b1d: DUP3 00000b1e: ADD 00000b1f: MSTORE 00000b20: PUSH1 0x00 00000b22: DUP1 00000b23: MLOAD 00000b24: PUSH1 0x20 00000b26: PUSH2 0x3381 00000b29: DUP4 00000b2a: CODECOPY 00000b2b: DUP2 00000b2c: MLOAD 00000b2d: SWAP2 00000b2e: MSTORE 00000b2f: PUSH1 0x44 00000b31: DUP3 00000b32: ADD 00000b33: MSTORE 00000b34: PUSH1 0x64 00000b36: ADD 00000b37: PUSH2 0x06f6 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH1 0x40 00000b3e: MLOAD 00000b3f: SELFBALANCE 00000b40: SWAP1 00000b41: CALLER 00000b42: SWAP1 00000b43: DUP3 00000b44: ISZERO 00000b45: PUSH2 0x08fc 00000b48: MUL 00000b49: SWAP1 00000b4a: DUP4 00000b4b: SWAP1 00000b4c: PUSH1 0x00 00000b4e: DUP2 00000b4f: DUP2 00000b50: DUP2 00000b51: DUP6 00000b52: DUP9 00000b53: DUP9 00000b54: CALL 00000b55: SWAP4 00000b56: POP 00000b57: POP 00000b58: POP 00000b59: POP 00000b5a: ISZERO 00000b5b: DUP1 00000b5c: ISZERO 00000b5d: PUSH2 0x0b6a 00000b60: JUMPI 00000b61: RETURNDATASIZE 00000b62: PUSH1 0x00 00000b64: DUP1 00000b65: RETURNDATACOPY 00000b66: RETURNDATASIZE 00000b67: PUSH1 0x00 00000b69: REVERT 00000b6a: JUMPDEST 00000b6b: POP 00000b6c: POP 00000b6d: JUMP 00000b6e: JUMPDEST 00000b6f: PUSH1 0x03 00000b71: SLOAD 00000b72: PUSH1 0x00 00000b74: SWAP1 00000b75: PUSH1 0x01 00000b77: PUSH1 0x01 00000b79: PUSH1 0xa0 00000b7b: SHL 00000b7c: SUB 00000b7d: AND 00000b7e: CALLER 00000b7f: EQ 00000b80: PUSH2 0x0bb9 00000b83: JUMPI 00000b84: PUSH1 0x40 00000b86: MLOAD 00000b87: PUSH3 0x461bcd 00000b8b: PUSH1 0xe5 00000b8d: SHL 00000b8e: DUP2 00000b8f: MSTORE 00000b90: PUSH1 0x20 00000b92: PUSH1 0x04 00000b94: DUP3 00000b95: ADD 00000b96: DUP2 00000b97: SWAP1 00000b98: MSTORE 00000b99: PUSH1 0x24 00000b9b: DUP3 00000b9c: ADD 00000b9d: MSTORE 00000b9e: PUSH1 0x00 00000ba0: DUP1 00000ba1: MLOAD 00000ba2: PUSH1 0x20 00000ba4: PUSH2 0x3381 00000ba7: DUP4 00000ba8: CODECOPY 00000ba9: DUP2 00000baa: MLOAD 00000bab: SWAP2 00000bac: MSTORE 00000bad: PUSH1 0x44 00000baf: DUP3 00000bb0: ADD 00000bb1: MSTORE 00000bb2: PUSH1 0x64 00000bb4: ADD 00000bb5: PUSH2 0x06f6 00000bb8: JUMP 00000bb9: JUMPDEST 00000bba: POP 00000bbb: PUSH1 0x04 00000bbd: SLOAD 00000bbe: PUSH1 0x01 00000bc0: PUSH1 0x01 00000bc2: PUSH1 0xa0 00000bc4: SHL 00000bc5: SUB 00000bc6: AND 00000bc7: JUMPDEST 00000bc8: SWAP1 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: PUSH1 0x03 00000bcd: SLOAD 00000bce: PUSH1 0x01 00000bd0: PUSH1 0x01 00000bd2: PUSH1 0xa0 00000bd4: SHL 00000bd5: SUB 00000bd6: AND 00000bd7: CALLER 00000bd8: EQ 00000bd9: PUSH2 0x0c12 00000bdc: JUMPI 00000bdd: PUSH1 0x40 00000bdf: MLOAD 00000be0: PUSH3 0x461bcd 00000be4: PUSH1 0xe5 00000be6: SHL 00000be7: DUP2 00000be8: MSTORE 00000be9: PUSH1 0x20 00000beb: PUSH1 0x04 00000bed: DUP3 00000bee: ADD 00000bef: DUP2 00000bf0: SWAP1 00000bf1: MSTORE 00000bf2: PUSH1 0x24 00000bf4: DUP3 00000bf5: ADD 00000bf6: MSTORE 00000bf7: PUSH1 0x00 00000bf9: DUP1 00000bfa: MLOAD 00000bfb: PUSH1 0x20 00000bfd: PUSH2 0x3381 00000c00: DUP4 00000c01: CODECOPY 00000c02: DUP2 00000c03: MLOAD 00000c04: SWAP2 00000c05: MSTORE 00000c06: PUSH1 0x44 00000c08: DUP3 00000c09: ADD 00000c0a: MSTORE 00000c0b: PUSH1 0x64 00000c0d: ADD 00000c0e: PUSH2 0x06f6 00000c11: JUMP 00000c12: JUMPDEST 00000c13: PUSH1 0x04 00000c15: DUP1 00000c16: SLOAD 00000c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2c: NOT 00000c2d: AND 00000c2e: PUSH1 0x01 00000c30: PUSH1 0x01 00000c32: PUSH1 0xa0 00000c34: SHL 00000c35: SUB 00000c36: SWAP3 00000c37: SWAP1 00000c38: SWAP3 00000c39: AND 00000c3a: SWAP2 00000c3b: SWAP1 00000c3c: SWAP2 00000c3d: OR 00000c3e: SWAP1 00000c3f: SSTORE 00000c40: JUMP 00000c41: JUMPDEST 00000c42: PUSH1 0x60 00000c44: DUP2 00000c45: MLOAD 00000c46: DUP4 00000c47: MLOAD 00000c48: EQ 00000c49: PUSH2 0x0cba 00000c4c: JUMPI 00000c4d: PUSH1 0x40 00000c4f: MLOAD 00000c50: PUSH3 0x461bcd 00000c54: PUSH1 0xe5 00000c56: SHL 00000c57: DUP2 00000c58: MSTORE 00000c59: PUSH1 0x20 00000c5b: PUSH1 0x04 00000c5d: DUP3 00000c5e: ADD 00000c5f: MSTORE 00000c60: PUSH1 0x29 00000c62: PUSH1 0x24 00000c64: DUP3 00000c65: ADD 00000c66: MSTORE 00000c67: PUSH32 0x455243313135353a206163636f756e747320616e6420696473206c656e677468 00000c88: PUSH1 0x44 00000c8a: DUP3 00000c8b: ADD 00000c8c: MSTORE 00000c8d: PUSH32 0x206d69736d617463680000000000000000000000000000000000000000000000 00000cae: PUSH1 0x64 00000cb0: DUP3 00000cb1: ADD 00000cb2: MSTORE 00000cb3: PUSH1 0x84 00000cb5: ADD 00000cb6: PUSH2 0x06f6 00000cb9: JUMP 00000cba: JUMPDEST 00000cbb: PUSH1 0x00 00000cbd: DUP4 00000cbe: MLOAD 00000cbf: PUSH8 0xffffffffffffffff 00000cc8: DUP2 00000cc9: GT 00000cca: ISZERO 00000ccb: PUSH2 0x0cd6 00000cce: JUMPI 00000ccf: PUSH2 0x0cd6 00000cd2: PUSH2 0x329a 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: PUSH1 0x40 00000cd9: MLOAD 00000cda: SWAP1 00000cdb: DUP1 00000cdc: DUP3 00000cdd: MSTORE 00000cde: DUP1 00000cdf: PUSH1 0x20 00000ce1: MUL 00000ce2: PUSH1 0x20 00000ce4: ADD 00000ce5: DUP3 00000ce6: ADD 00000ce7: PUSH1 0x40 00000ce9: MSTORE 00000cea: DUP1 00000ceb: ISZERO 00000cec: PUSH2 0x0cff 00000cef: JUMPI 00000cf0: DUP2 00000cf1: PUSH1 0x20 00000cf3: ADD 00000cf4: PUSH1 0x20 00000cf6: DUP3 00000cf7: MUL 00000cf8: DUP1 00000cf9: CALLDATASIZE 00000cfa: DUP4 00000cfb: CALLDATACOPY 00000cfc: ADD 00000cfd: SWAP1 00000cfe: POP 00000cff: JUMPDEST 00000d00: POP 00000d01: SWAP1 00000d02: POP 00000d03: PUSH1 0x00 00000d05: JUMPDEST 00000d06: DUP5 00000d07: MLOAD 00000d08: DUP2 00000d09: LT 00000d0a: ISZERO 00000d0b: PUSH2 0x0d77 00000d0e: JUMPI 00000d0f: PUSH2 0x0d4a 00000d12: DUP6 00000d13: DUP3 00000d14: DUP2 00000d15: MLOAD 00000d16: DUP2 00000d17: LT 00000d18: PUSH2 0x0d23 00000d1b: JUMPI 00000d1c: PUSH2 0x0d23 00000d1f: PUSH2 0x3284 00000d22: JUMP 00000d23: JUMPDEST 00000d24: PUSH1 0x20 00000d26: MUL 00000d27: PUSH1 0x20 00000d29: ADD 00000d2a: ADD 00000d2b: MLOAD 00000d2c: DUP6 00000d2d: DUP4 00000d2e: DUP2 00000d2f: MLOAD 00000d30: DUP2 00000d31: LT 00000d32: PUSH2 0x0d3d 00000d35: JUMPI 00000d36: PUSH2 0x0d3d 00000d39: PUSH2 0x3284 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: PUSH1 0x20 00000d40: MUL 00000d41: PUSH1 0x20 00000d43: ADD 00000d44: ADD 00000d45: MLOAD 00000d46: PUSH2 0x067c 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: DUP3 00000d4c: DUP3 00000d4d: DUP2 00000d4e: MLOAD 00000d4f: DUP2 00000d50: LT 00000d51: PUSH2 0x0d5c 00000d54: JUMPI 00000d55: PUSH2 0x0d5c 00000d58: PUSH2 0x3284 00000d5b: JUMP 00000d5c: JUMPDEST 00000d5d: PUSH1 0x20 00000d5f: SWAP1 00000d60: DUP2 00000d61: MUL 00000d62: SWAP2 00000d63: SWAP1 00000d64: SWAP2 00000d65: ADD 00000d66: ADD 00000d67: MSTORE 00000d68: PUSH2 0x0d70 00000d6b: DUP2 00000d6c: PUSH2 0x3253 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: SWAP1 00000d72: POP 00000d73: PUSH2 0x0d05 00000d76: JUMP 00000d77: JUMPDEST 00000d78: POP 00000d79: SWAP4 00000d7a: SWAP3 00000d7b: POP 00000d7c: POP 00000d7d: POP 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: PUSH1 0x03 00000d82: SLOAD 00000d83: PUSH1 0x01 00000d85: PUSH1 0x01 00000d87: PUSH1 0xa0 00000d89: SHL 00000d8a: SUB 00000d8b: AND 00000d8c: CALLER 00000d8d: EQ 00000d8e: PUSH2 0x0dc7 00000d91: JUMPI 00000d92: PUSH1 0x40 00000d94: MLOAD 00000d95: PUSH3 0x461bcd 00000d99: PUSH1 0xe5 00000d9b: SHL 00000d9c: DUP2 00000d9d: MSTORE 00000d9e: PUSH1 0x20 00000da0: PUSH1 0x04 00000da2: DUP3 00000da3: ADD 00000da4: DUP2 00000da5: SWAP1 00000da6: MSTORE 00000da7: PUSH1 0x24 00000da9: DUP3 00000daa: ADD 00000dab: MSTORE 00000dac: PUSH1 0x00 00000dae: DUP1 00000daf: MLOAD 00000db0: PUSH1 0x20 00000db2: PUSH2 0x3381 00000db5: DUP4 00000db6: CODECOPY 00000db7: DUP2 00000db8: MLOAD 00000db9: SWAP2 00000dba: MSTORE 00000dbb: PUSH1 0x44 00000dbd: DUP3 00000dbe: ADD 00000dbf: MSTORE 00000dc0: PUSH1 0x64 00000dc2: ADD 00000dc3: PUSH2 0x06f6 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH1 0x02 00000dca: DUP2 00000dcb: PUSH1 0xff 00000dcd: AND 00000dce: GT 00000dcf: ISZERO 00000dd0: PUSH2 0x0e0a 00000dd3: JUMPI 00000dd4: PUSH1 0x40 00000dd6: MLOAD 00000dd7: PUSH3 0x461bcd 00000ddb: PUSH1 0xe5 00000ddd: SHL 00000dde: DUP2 00000ddf: MSTORE 00000de0: PUSH1 0x20 00000de2: PUSH1 0x04 00000de4: DUP3 00000de5: ADD 00000de6: MSTORE 00000de7: PUSH1 0x0c 00000de9: PUSH1 0x24 00000deb: DUP3 00000dec: ADD 00000ded: MSTORE 00000dee: PUSH12 0x496e76616c69642074797065 00000dfb: PUSH1 0xa0 00000dfd: SHL 00000dfe: PUSH1 0x44 00000e00: DUP3 00000e01: ADD 00000e02: MSTORE 00000e03: PUSH1 0x64 00000e05: ADD 00000e06: PUSH2 0x06f6 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH1 0x0a 00000e0d: SLOAD 00000e0e: PUSH1 0xff 00000e10: PUSH2 0x0100 00000e13: SWAP1 00000e14: SWAP2 00000e15: DIV 00000e16: AND 00000e17: ISZERO 00000e18: ISZERO 00000e19: PUSH1 0x01 00000e1b: EQ 00000e1c: PUSH2 0x0e67 00000e1f: JUMPI 00000e20: PUSH1 0x40 00000e22: MLOAD 00000e23: PUSH3 0x461bcd 00000e27: PUSH1 0xe5 00000e29: SHL 00000e2a: DUP2 00000e2b: MSTORE 00000e2c: PUSH1 0x20 00000e2e: PUSH1 0x04 00000e30: DUP3 00000e31: ADD 00000e32: MSTORE 00000e33: PUSH1 0x17 00000e35: PUSH1 0x24 00000e37: DUP3 00000e38: ADD 00000e39: MSTORE 00000e3a: PUSH32 0x4d696e74696e67206e6f7420656e61626c656420796574000000000000000000 00000e5b: PUSH1 0x44 00000e5d: DUP3 00000e5e: ADD 00000e5f: MSTORE 00000e60: PUSH1 0x64 00000e62: ADD 00000e63: PUSH2 0x06f6 00000e66: JUMP 00000e67: JUMPDEST 00000e68: PUSH1 0x64 00000e6a: PUSH2 0x0e82 00000e6d: DUP3 00000e6e: PUSH1 0xff 00000e70: AND 00000e71: PUSH1 0x00 00000e73: SWAP1 00000e74: DUP2 00000e75: MSTORE 00000e76: PUSH1 0x06 00000e78: PUSH1 0x20 00000e7a: MSTORE 00000e7b: PUSH1 0x40 00000e7d: SWAP1 00000e7e: KECCAK256 00000e7f: SLOAD 00000e80: SWAP1 00000e81: JUMP 00000e82: JUMPDEST 00000e83: LT 00000e84: PUSH2 0x0edf 00000e87: JUMPI 00000e88: PUSH1 0x40 00000e8a: MLOAD 00000e8b: PUSH3 0x461bcd 00000e8f: PUSH1 0xe5 00000e91: SHL 00000e92: DUP2 00000e93: MSTORE 00000e94: PUSH1 0x20 00000e96: PUSH1 0x04 00000e98: DUP3 00000e99: ADD 00000e9a: MSTORE 00000e9b: PUSH1 0x27 00000e9d: PUSH1 0x24 00000e9f: DUP3 00000ea0: ADD 00000ea1: MSTORE 00000ea2: PUSH32 0x4e6f7420656e6f756768206c65667420746f206d696e742074686174206d616e 00000ec3: PUSH1 0x44 00000ec5: DUP3 00000ec6: ADD 00000ec7: MSTORE 00000ec8: PUSH7 0x79206974656d73 00000ed0: PUSH1 0xc8 00000ed2: SHL 00000ed3: PUSH1 0x64 00000ed5: DUP3 00000ed6: ADD 00000ed7: MSTORE 00000ed8: PUSH1 0x84 00000eda: ADD 00000edb: PUSH2 0x06f6 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: PUSH1 0x00 00000ee2: PUSH2 0x0eed 00000ee5: DUP3 00000ee6: PUSH1 0xff 00000ee8: AND 00000ee9: PUSH2 0x1e28 00000eec: JUMP 00000eed: JUMPDEST 00000eee: PUSH1 0x00 00000ef0: DUP2 00000ef1: DUP2 00000ef2: MSTORE 00000ef3: PUSH1 0x09 00000ef5: PUSH1 0x20 00000ef7: MSTORE 00000ef8: PUSH1 0x40 00000efa: SWAP1 00000efb: KECCAK256 00000efc: SLOAD 00000efd: SWAP1 00000efe: SWAP2 00000eff: POP 00000f00: PUSH1 0xff 00000f02: AND 00000f03: ISZERO 00000f04: PUSH2 0x0f4f 00000f07: JUMPI 00000f08: PUSH1 0x40 00000f0a: MLOAD 00000f0b: PUSH3 0x461bcd 00000f0f: PUSH1 0xe5 00000f11: SHL 00000f12: DUP2 00000f13: MSTORE 00000f14: PUSH1 0x20 00000f16: PUSH1 0x04 00000f18: DUP3 00000f19: ADD 00000f1a: MSTORE 00000f1b: PUSH1 0x18 00000f1d: PUSH1 0x24 00000f1f: DUP3 00000f20: ADD 00000f21: MSTORE 00000f22: PUSH32 0x416c7265616479206d696e7465642074686174206f6e652e0000000000000000 00000f43: PUSH1 0x44 00000f45: DUP3 00000f46: ADD 00000f47: MSTORE 00000f48: PUSH1 0x64 00000f4a: ADD 00000f4b: PUSH2 0x06f6 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: PUSH2 0x0f6b 00000f53: DUP4 00000f54: DUP3 00000f55: PUSH1 0x01 00000f57: PUSH1 0x40 00000f59: MLOAD 00000f5a: DUP1 00000f5b: PUSH1 0x20 00000f5d: ADD 00000f5e: PUSH1 0x40 00000f60: MSTORE 00000f61: DUP1 00000f62: PUSH1 0x00 00000f64: DUP2 00000f65: MSTORE 00000f66: POP 00000f67: PUSH2 0x1e4e 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: PUSH1 0xff 00000f6e: DUP3 00000f6f: AND 00000f70: PUSH1 0x00 00000f72: SWAP1 00000f73: DUP2 00000f74: MSTORE 00000f75: PUSH1 0x07 00000f77: PUSH1 0x20 00000f79: SWAP1 00000f7a: DUP2 00000f7b: MSTORE 00000f7c: PUSH1 0x40 00000f7e: DUP1 00000f7f: DUP4 00000f80: KECCAK256 00000f81: PUSH1 0x01 00000f83: PUSH1 0x01 00000f85: PUSH1 0xa0 00000f87: SHL 00000f88: SUB 00000f89: DUP8 00000f8a: AND 00000f8b: DUP5 00000f8c: MSTORE 00000f8d: SWAP1 00000f8e: SWAP2 00000f8f: MSTORE 00000f90: DUP2 00000f91: KECCAK256 00000f92: DUP1 00000f93: SLOAD 00000f94: PUSH1 0x01 00000f96: SWAP3 00000f97: SWAP1 00000f98: PUSH2 0x0fa2 00000f9b: SWAP1 00000f9c: DUP5 00000f9d: SWAP1 00000f9e: PUSH2 0x319d 00000fa1: JUMP 00000fa2: JUMPDEST 00000fa3: SWAP1 00000fa4: SWAP2 00000fa5: SSTORE 00000fa6: POP 00000fa7: POP 00000fa8: PUSH1 0xff 00000faa: DUP3 00000fab: AND 00000fac: PUSH1 0x00 00000fae: SWAP1 00000faf: DUP2 00000fb0: MSTORE 00000fb1: PUSH1 0x06 00000fb3: PUSH1 0x20 00000fb5: MSTORE 00000fb6: PUSH1 0x40 00000fb8: DUP2 00000fb9: KECCAK256 00000fba: DUP1 00000fbb: SLOAD 00000fbc: PUSH1 0x01 00000fbe: SWAP3 00000fbf: SWAP1 00000fc0: PUSH2 0x0fca 00000fc3: SWAP1 00000fc4: DUP5 00000fc5: SWAP1 00000fc6: PUSH2 0x319d 00000fc9: JUMP 00000fca: JUMPDEST 00000fcb: SWAP1 00000fcc: SWAP2 00000fcd: SSTORE 00000fce: POP 00000fcf: POP 00000fd0: PUSH1 0x00 00000fd2: SWAP1 00000fd3: DUP2 00000fd4: MSTORE 00000fd5: PUSH1 0x09 00000fd7: PUSH1 0x20 00000fd9: MSTORE 00000fda: PUSH1 0x40 00000fdc: SWAP1 00000fdd: KECCAK256 00000fde: DUP1 00000fdf: SLOAD 00000fe0: PUSH1 0xff 00000fe2: NOT 00000fe3: AND 00000fe4: PUSH1 0x01 00000fe6: OR 00000fe7: SWAP1 00000fe8: SSTORE 00000fe9: POP 00000fea: POP 00000feb: JUMP 00000fec: JUMPDEST 00000fed: PUSH1 0x01 00000fef: PUSH1 0x01 00000ff1: PUSH1 0xa0 00000ff3: SHL 00000ff4: SUB 00000ff5: DUP4 00000ff6: AND 00000ff7: CALLER 00000ff8: EQ 00000ff9: DUP1 00000ffa: PUSH2 0x1008 00000ffd: JUMPI 00000ffe: POP 00000fff: PUSH2 0x1008 00001002: DUP4 00001003: CALLER 00001004: PUSH2 0x1858 00001007: JUMP 00001008: JUMPDEST 00001009: PUSH2 0x1066 0000100c: JUMPI 0000100d: PUSH1 0x40 0000100f: MLOAD 00001010: PUSH3 0x461bcd 00001014: PUSH1 0xe5 00001016: SHL 00001017: DUP2 00001018: MSTORE 00001019: PUSH1 0x20 0000101b: PUSH1 0x04 0000101d: DUP3 0000101e: ADD 0000101f: MSTORE 00001020: PUSH1 0x29 00001022: PUSH1 0x24 00001024: DUP3 00001025: ADD 00001026: MSTORE 00001027: PUSH32 0x455243313135353a2063616c6c6572206973206e6f74206f776e6572206e6f72 00001048: PUSH1 0x44 0000104a: DUP3 0000104b: ADD 0000104c: MSTORE 0000104d: PUSH9 0x08185c1c1c9bdd9959 00001057: PUSH1 0xba 00001059: SHL 0000105a: PUSH1 0x64 0000105c: DUP3 0000105d: ADD 0000105e: MSTORE 0000105f: PUSH1 0x84 00001061: ADD 00001062: PUSH2 0x06f6 00001065: JUMP 00001066: JUMPDEST 00001067: PUSH2 0x0956 0000106a: DUP4 0000106b: DUP4 0000106c: DUP4 0000106d: PUSH2 0x1f74 00001070: JUMP 00001071: JUMPDEST 00001072: PUSH1 0x03 00001074: SLOAD 00001075: PUSH1 0x01 00001077: PUSH1 0x01 00001079: PUSH1 0xa0 0000107b: SHL 0000107c: SUB 0000107d: AND 0000107e: CALLER 0000107f: EQ 00001080: PUSH2 0x10b9 00001083: JUMPI 00001084: PUSH1 0x40 00001086: MLOAD 00001087: PUSH3 0x461bcd 0000108b: PUSH1 0xe5 0000108d: SHL 0000108e: DUP2 0000108f: MSTORE 00001090: PUSH1 0x20 00001092: PUSH1 0x04 00001094: DUP3 00001095: ADD 00001096: DUP2 00001097: SWAP1 00001098: MSTORE 00001099: PUSH1 0x24 0000109b: DUP3 0000109c: ADD 0000109d: MSTORE 0000109e: PUSH1 0x00 000010a0: DUP1 000010a1: MLOAD 000010a2: PUSH1 0x20 000010a4: PUSH2 0x3381 000010a7: DUP4 000010a8: CODECOPY 000010a9: DUP2 000010aa: MLOAD 000010ab: SWAP2 000010ac: MSTORE 000010ad: PUSH1 0x44 000010af: DUP3 000010b0: ADD 000010b1: MSTORE 000010b2: PUSH1 0x64 000010b4: ADD 000010b5: PUSH2 0x06f6 000010b8: JUMP 000010b9: JUMPDEST 000010ba: PUSH2 0x10c3 000010bd: PUSH1 0x00 000010bf: PUSH2 0x21a9 000010c2: JUMP 000010c3: JUMPDEST 000010c4: JUMP 000010c5: JUMPDEST 000010c6: PUSH1 0x03 000010c8: SLOAD 000010c9: PUSH1 0x01 000010cb: PUSH1 0x01 000010cd: PUSH1 0xa0 000010cf: SHL 000010d0: SUB 000010d1: AND 000010d2: CALLER 000010d3: EQ 000010d4: PUSH2 0x110d 000010d7: JUMPI 000010d8: PUSH1 0x40 000010da: MLOAD 000010db: PUSH3 0x461bcd 000010df: PUSH1 0xe5 000010e1: SHL 000010e2: DUP2 000010e3: MSTORE 000010e4: PUSH1 0x20 000010e6: PUSH1 0x04 000010e8: DUP3 000010e9: ADD 000010ea: DUP2 000010eb: SWAP1 000010ec: MSTORE 000010ed: PUSH1 0x24 000010ef: DUP3 000010f0: ADD 000010f1: MSTORE 000010f2: PUSH1 0x00 000010f4: DUP1 000010f5: MLOAD 000010f6: PUSH1 0x20 000010f8: PUSH2 0x3381 000010fb: DUP4 000010fc: CODECOPY 000010fd: DUP2 000010fe: MLOAD 000010ff: SWAP2 00001100: MSTORE 00001101: PUSH1 0x44 00001103: DUP3 00001104: ADD 00001105: MSTORE 00001106: PUSH1 0x64 00001108: ADD 00001109: PUSH2 0x06f6 0000110c: JUMP 0000110d: JUMPDEST 0000110e: DUP1 0000110f: MLOAD 00001110: PUSH2 0x0b6a 00001113: SWAP1 00001114: PUSH1 0x0b 00001116: SWAP1 00001117: PUSH1 0x20 00001119: DUP5 0000111a: ADD 0000111b: SWAP1 0000111c: PUSH2 0x2920 0000111f: JUMP 00001120: JUMPDEST 00001121: PUSH1 0x0d 00001123: DUP1 00001124: SLOAD 00001125: PUSH2 0x0824 00001128: SWAP1 00001129: PUSH2 0x31eb 0000112c: JUMP 0000112d: JUMPDEST 0000112e: PUSH2 0x0b6a 00001131: CALLER 00001132: DUP4 00001133: DUP4 00001134: PUSH2 0x2208 00001137: JUMP 00001138: JUMPDEST 00001139: PUSH1 0x03 0000113b: SLOAD 0000113c: PUSH1 0x01 0000113e: PUSH1 0x01 00001140: PUSH1 0xa0 00001142: SHL 00001143: SUB 00001144: AND 00001145: CALLER 00001146: EQ 00001147: PUSH2 0x1180 0000114a: JUMPI 0000114b: PUSH1 0x40 0000114d: MLOAD 0000114e: PUSH3 0x461bcd 00001152: PUSH1 0xe5 00001154: SHL 00001155: DUP2 00001156: MSTORE 00001157: PUSH1 0x20 00001159: PUSH1 0x04 0000115b: DUP3 0000115c: ADD 0000115d: DUP2 0000115e: SWAP1 0000115f: MSTORE 00001160: PUSH1 0x24 00001162: DUP3 00001163: ADD 00001164: MSTORE 00001165: PUSH1 0x00 00001167: DUP1 00001168: MLOAD 00001169: PUSH1 0x20 0000116b: PUSH2 0x3381 0000116e: DUP4 0000116f: CODECOPY 00001170: DUP2 00001171: MLOAD 00001172: SWAP2 00001173: MSTORE 00001174: PUSH1 0x44 00001176: DUP3 00001177: ADD 00001178: MSTORE 00001179: PUSH1 0x64 0000117b: ADD 0000117c: PUSH2 0x06f6 0000117f: JUMP 00001180: JUMPDEST 00001181: PUSH1 0x0a 00001183: DUP1 00001184: SLOAD 00001185: PUSH1 0xff 00001187: NOT 00001188: AND 00001189: SWAP2 0000118a: ISZERO 0000118b: ISZERO 0000118c: SWAP2 0000118d: SWAP1 0000118e: SWAP2 0000118f: OR 00001190: SWAP1 00001191: SSTORE 00001192: JUMP 00001193: JUMPDEST 00001194: PUSH1 0x03 00001196: SLOAD 00001197: PUSH1 0x01 00001199: PUSH1 0x01 0000119b: PUSH1 0xa0 0000119d: SHL 0000119e: SUB 0000119f: AND 000011a0: CALLER 000011a1: EQ 000011a2: PUSH2 0x11db 000011a5: JUMPI 000011a6: PUSH1 0x40 000011a8: MLOAD 000011a9: PUSH3 0x461bcd 000011ad: PUSH1 0xe5 000011af: SHL 000011b0: DUP2 000011b1: MSTORE 000011b2: PUSH1 0x20 000011b4: PUSH1 0x04 000011b6: DUP3 000011b7: ADD 000011b8: DUP2 000011b9: SWAP1 000011ba: MSTORE 000011bb: PUSH1 0x24 000011bd: DUP3 000011be: ADD 000011bf: MSTORE 000011c0: PUSH1 0x00 000011c2: DUP1 000011c3: MLOAD 000011c4: PUSH1 0x20 000011c6: PUSH2 0x3381 000011c9: DUP4 000011ca: CODECOPY 000011cb: DUP2 000011cc: MLOAD 000011cd: SWAP2 000011ce: MSTORE 000011cf: PUSH1 0x44 000011d1: DUP3 000011d2: ADD 000011d3: MSTORE 000011d4: PUSH1 0x64 000011d6: ADD 000011d7: PUSH2 0x06f6 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x02 000011de: DUP2 000011df: GT 000011e0: ISZERO 000011e1: PUSH2 0x121b 000011e4: JUMPI 000011e5: PUSH1 0x40 000011e7: MLOAD 000011e8: PUSH3 0x461bcd 000011ec: PUSH1 0xe5 000011ee: SHL 000011ef: DUP2 000011f0: MSTORE 000011f1: PUSH1 0x20 000011f3: PUSH1 0x04 000011f5: DUP3 000011f6: ADD 000011f7: MSTORE 000011f8: PUSH1 0x0c 000011fa: PUSH1 0x24 000011fc: DUP3 000011fd: ADD 000011fe: MSTORE 000011ff: PUSH12 0x496e76616c69642074797065 0000120c: PUSH1 0xa0 0000120e: SHL 0000120f: PUSH1 0x44 00001211: DUP3 00001212: ADD 00001213: MSTORE 00001214: PUSH1 0x64 00001216: ADD 00001217: PUSH2 0x06f6 0000121a: JUMP 0000121b: JUMPDEST 0000121c: PUSH1 0x00 0000121e: PUSH1 0x01 00001220: DUP4 00001221: MLOAD 00001222: PUSH2 0x122b 00001225: SWAP2 00001226: SWAP1 00001227: PUSH2 0x31d4 0000122a: JUMP 0000122b: JUMPDEST 0000122c: PUSH1 0x00 0000122e: DUP4 0000122f: DUP2 00001230: MSTORE 00001231: PUSH1 0x06 00001233: PUSH1 0x20 00001235: MSTORE 00001236: PUSH1 0x40 00001238: SWAP1 00001239: KECCAK256 0000123a: SLOAD 0000123b: SWAP1 0000123c: SWAP2 0000123d: POP 0000123e: PUSH1 0x64 00001240: SWAP1 00001241: PUSH2 0x124b 00001244: SWAP1 00001245: DUP4 00001246: SWAP1 00001247: PUSH2 0x319d 0000124a: JUMP 0000124b: JUMPDEST 0000124c: LT 0000124d: PUSH2 0x12a8 00001250: JUMPI 00001251: PUSH1 0x40 00001253: MLOAD 00001254: PUSH3 0x461bcd 00001258: PUSH1 0xe5 0000125a: SHL 0000125b: DUP2 0000125c: MSTORE 0000125d: PUSH1 0x20 0000125f: PUSH1 0x04 00001261: DUP3 00001262: ADD 00001263: MSTORE 00001264: PUSH1 0x27 00001266: PUSH1 0x24 00001268: DUP3 00001269: ADD 0000126a: MSTORE 0000126b: PUSH32 0x4e6f7420656e6f756768206c65667420746f206d696e742074686174206d616e 0000128c: PUSH1 0x44 0000128e: DUP3 0000128f: ADD 00001290: MSTORE 00001291: PUSH7 0x79206974656d73 00001299: PUSH1 0xc8 0000129b: SHL 0000129c: PUSH1 0x64 0000129e: DUP3 0000129f: ADD 000012a0: MSTORE 000012a1: PUSH1 0x84 000012a3: ADD 000012a4: PUSH2 0x06f6 000012a7: JUMP 000012a8: JUMPDEST 000012a9: PUSH1 0x00 000012ab: PUSH2 0x12b3 000012ae: DUP4 000012af: PUSH2 0x1e28 000012b2: JUMP 000012b3: JUMPDEST 000012b4: SWAP1 000012b5: POP 000012b6: PUSH1 0x00 000012b8: JUMPDEST 000012b9: DUP3 000012ba: DUP2 000012bb: GT 000012bc: PUSH2 0x0aec 000012bf: JUMPI 000012c0: PUSH2 0x12ff 000012c3: DUP6 000012c4: DUP3 000012c5: DUP2 000012c6: MLOAD 000012c7: DUP2 000012c8: LT 000012c9: PUSH2 0x12d4 000012cc: JUMPI 000012cd: PUSH2 0x12d4 000012d0: PUSH2 0x3284 000012d3: JUMP 000012d4: JUMPDEST 000012d5: PUSH1 0x20 000012d7: MUL 000012d8: PUSH1 0x20 000012da: ADD 000012db: ADD 000012dc: MLOAD 000012dd: DUP3 000012de: DUP5 000012df: PUSH2 0x12e8 000012e2: SWAP2 000012e3: SWAP1 000012e4: PUSH2 0x319d 000012e7: JUMP 000012e8: JUMPDEST 000012e9: PUSH1 0x01 000012eb: PUSH1 0x40 000012ed: MLOAD 000012ee: DUP1 000012ef: PUSH1 0x20 000012f1: ADD 000012f2: PUSH1 0x40 000012f4: MSTORE 000012f5: DUP1 000012f6: PUSH1 0x00 000012f8: DUP2 000012f9: MSTORE 000012fa: POP 000012fb: PUSH2 0x1e4e 000012fe: JUMP 000012ff: JUMPDEST 00001300: PUSH1 0x00 00001302: DUP5 00001303: DUP2 00001304: MSTORE 00001305: PUSH1 0x07 00001307: PUSH1 0x20 00001309: MSTORE 0000130a: PUSH1 0x40 0000130c: DUP2 0000130d: KECCAK256 0000130e: DUP7 0000130f: MLOAD 00001310: PUSH1 0x01 00001312: SWAP3 00001313: SWAP1 00001314: DUP9 00001315: SWAP1 00001316: DUP6 00001317: SWAP1 00001318: DUP2 00001319: LT 0000131a: PUSH2 0x1325 0000131d: JUMPI 0000131e: PUSH2 0x1325 00001321: PUSH2 0x3284 00001324: JUMP 00001325: JUMPDEST 00001326: PUSH1 0x20 00001328: MUL 00001329: PUSH1 0x20 0000132b: ADD 0000132c: ADD 0000132d: MLOAD 0000132e: PUSH1 0x01 00001330: PUSH1 0x01 00001332: PUSH1 0xa0 00001334: SHL 00001335: SUB 00001336: AND 00001337: PUSH1 0x01 00001339: PUSH1 0x01 0000133b: PUSH1 0xa0 0000133d: SHL 0000133e: SUB 0000133f: AND 00001340: DUP2 00001341: MSTORE 00001342: PUSH1 0x20 00001344: ADD 00001345: SWAP1 00001346: DUP2 00001347: MSTORE 00001348: PUSH1 0x20 0000134a: ADD 0000134b: PUSH1 0x00 0000134d: KECCAK256 0000134e: PUSH1 0x00 00001350: DUP3 00001351: DUP3 00001352: SLOAD 00001353: PUSH2 0x135c 00001356: SWAP2 00001357: SWAP1 00001358: PUSH2 0x319d 0000135b: JUMP 0000135c: JUMPDEST 0000135d: SWAP1 0000135e: SWAP2 0000135f: SSTORE 00001360: POP 00001361: POP 00001362: PUSH1 0x00 00001364: DUP5 00001365: DUP2 00001366: MSTORE 00001367: PUSH1 0x06 00001369: PUSH1 0x20 0000136b: MSTORE 0000136c: PUSH1 0x40 0000136e: DUP2 0000136f: KECCAK256 00001370: DUP1 00001371: SLOAD 00001372: PUSH1 0x01 00001374: SWAP3 00001375: SWAP1 00001376: PUSH2 0x1380 00001379: SWAP1 0000137a: DUP5 0000137b: SWAP1 0000137c: PUSH2 0x319d 0000137f: JUMP 00001380: JUMPDEST 00001381: SWAP1 00001382: SWAP2 00001383: SSTORE 00001384: POP 00001385: PUSH1 0x01 00001387: SWAP1 00001388: POP 00001389: PUSH1 0x09 0000138b: PUSH1 0x00 0000138d: PUSH2 0x1396 00001390: DUP5 00001391: DUP7 00001392: PUSH2 0x319d 00001395: JUMP 00001396: JUMPDEST 00001397: DUP2 00001398: MSTORE 00001399: PUSH1 0x20 0000139b: DUP2 0000139c: ADD 0000139d: SWAP2 0000139e: SWAP1 0000139f: SWAP2 000013a0: MSTORE 000013a1: PUSH1 0x40 000013a3: ADD 000013a4: PUSH1 0x00 000013a6: KECCAK256 000013a7: DUP1 000013a8: SLOAD 000013a9: PUSH1 0xff 000013ab: NOT 000013ac: AND 000013ad: SWAP2 000013ae: ISZERO 000013af: ISZERO 000013b0: SWAP2 000013b1: SWAP1 000013b2: SWAP2 000013b3: OR 000013b4: SWAP1 000013b5: SSTORE 000013b6: DUP1 000013b7: PUSH2 0x13bf 000013ba: DUP2 000013bb: PUSH2 0x3253 000013be: JUMP 000013bf: JUMPDEST 000013c0: SWAP2 000013c1: POP 000013c2: POP 000013c3: PUSH2 0x12b8 000013c6: JUMP 000013c7: JUMPDEST 000013c8: PUSH1 0x03 000013ca: SLOAD 000013cb: PUSH1 0x01 000013cd: PUSH1 0x01 000013cf: PUSH1 0xa0 000013d1: SHL 000013d2: SUB 000013d3: AND 000013d4: CALLER 000013d5: EQ 000013d6: PUSH2 0x140f 000013d9: JUMPI 000013da: PUSH1 0x40 000013dc: MLOAD 000013dd: PUSH3 0x461bcd 000013e1: PUSH1 0xe5 000013e3: SHL 000013e4: DUP2 000013e5: MSTORE 000013e6: PUSH1 0x20 000013e8: PUSH1 0x04 000013ea: DUP3 000013eb: ADD 000013ec: DUP2 000013ed: SWAP1 000013ee: MSTORE 000013ef: PUSH1 0x24 000013f1: DUP3 000013f2: ADD 000013f3: MSTORE 000013f4: PUSH1 0x00 000013f6: DUP1 000013f7: MLOAD 000013f8: PUSH1 0x20 000013fa: PUSH2 0x3381 000013fd: DUP4 000013fe: CODECOPY 000013ff: DUP2 00001400: MLOAD 00001401: SWAP2 00001402: MSTORE 00001403: PUSH1 0x44 00001405: DUP3 00001406: ADD 00001407: MSTORE 00001408: PUSH1 0x64 0000140a: ADD 0000140b: PUSH2 0x06f6 0000140e: JUMP 0000140f: JUMPDEST 00001410: PUSH1 0x00 00001412: JUMPDEST 00001413: DUP4 00001414: MLOAD 00001415: DUP2 00001416: LT 00001417: ISZERO 00001418: PUSH2 0x1451 0000141b: JUMPI 0000141c: PUSH2 0x143f 0000141f: DUP5 00001420: DUP3 00001421: DUP2 00001422: MLOAD 00001423: DUP2 00001424: LT 00001425: PUSH2 0x1430 00001428: JUMPI 00001429: PUSH2 0x1430 0000142c: PUSH2 0x3284 0000142f: JUMP 00001430: JUMPDEST 00001431: PUSH1 0x20 00001433: MUL 00001434: PUSH1 0x20 00001436: ADD 00001437: ADD 00001438: MLOAD 00001439: DUP5 0000143a: DUP5 0000143b: PUSH2 0x08a5 0000143e: JUMP 0000143f: JUMPDEST 00001440: DUP1 00001441: PUSH2 0x1449 00001444: DUP2 00001445: PUSH2 0x3253 00001448: JUMP 00001449: JUMPDEST 0000144a: SWAP2 0000144b: POP 0000144c: POP 0000144d: PUSH2 0x1412 00001450: JUMP 00001451: JUMPDEST 00001452: POP 00001453: POP 00001454: POP 00001455: POP 00001456: JUMP 00001457: JUMPDEST 00001458: PUSH1 0x0a 0000145a: SLOAD 0000145b: PUSH1 0xff 0000145d: PUSH2 0x0100 00001460: SWAP1 00001461: SWAP2 00001462: DIV 00001463: AND 00001464: ISZERO 00001465: ISZERO 00001466: PUSH1 0x01 00001468: EQ 00001469: PUSH2 0x14b4 0000146c: JUMPI 0000146d: PUSH1 0x40 0000146f: MLOAD 00001470: PUSH3 0x461bcd 00001474: PUSH1 0xe5 00001476: SHL 00001477: DUP2 00001478: MSTORE 00001479: PUSH1 0x20 0000147b: PUSH1 0x04 0000147d: DUP3 0000147e: ADD 0000147f: MSTORE 00001480: PUSH1 0x17 00001482: PUSH1 0x24 00001484: DUP3 00001485: ADD 00001486: MSTORE 00001487: PUSH32 0x4d696e74696e67206e6f7420656e61626c656420796574000000000000000000 000014a8: PUSH1 0x44 000014aa: DUP3 000014ab: ADD 000014ac: MSTORE 000014ad: PUSH1 0x64 000014af: ADD 000014b0: PUSH2 0x06f6 000014b3: JUMP 000014b4: JUMPDEST 000014b5: PUSH1 0x03 000014b7: SLOAD 000014b8: PUSH1 0x01 000014ba: PUSH1 0x01 000014bc: PUSH1 0xa0 000014be: SHL 000014bf: SUB 000014c0: AND 000014c1: CALLER 000014c2: EQ 000014c3: DUP1 000014c4: PUSH2 0x14d0 000014c7: JUMPI 000014c8: POP 000014c9: PUSH1 0x0a 000014cb: SLOAD 000014cc: PUSH1 0xff 000014ce: AND 000014cf: ISZERO 000014d0: JUMPDEST 000014d1: DUP1 000014d2: PUSH2 0x1500 000014d5: JUMPI 000014d6: POP 000014d7: PUSH1 0x0a 000014d9: SLOAD 000014da: PUSH1 0xff 000014dc: AND 000014dd: DUP1 000014de: ISZERO 000014df: PUSH2 0x1500 000014e2: JUMPI 000014e3: POP 000014e4: PUSH1 0x00 000014e6: DUP2 000014e7: DUP2 000014e8: MSTORE 000014e9: PUSH1 0x08 000014eb: PUSH1 0x20 000014ed: SWAP1 000014ee: DUP2 000014ef: MSTORE 000014f0: PUSH1 0x40 000014f2: DUP1 000014f3: DUP4 000014f4: KECCAK256 000014f5: CALLER 000014f6: DUP5 000014f7: MSTORE 000014f8: SWAP1 000014f9: SWAP2 000014fa: MSTORE 000014fb: SWAP1 000014fc: KECCAK256 000014fd: SLOAD 000014fe: ISZERO 000014ff: ISZERO 00001500: JUMPDEST 00001501: PUSH2 0x1572 00001504: JUMPI 00001505: PUSH1 0x40 00001507: MLOAD 00001508: PUSH3 0x461bcd 0000150c: PUSH1 0xe5 0000150e: SHL 0000150f: DUP2 00001510: MSTORE 00001511: PUSH1 0x20 00001513: PUSH1 0x04 00001515: DUP3 00001516: ADD 00001517: MSTORE 00001518: PUSH1 0x26 0000151a: PUSH1 0x24 0000151c: DUP3 0000151d: ADD 0000151e: MSTORE 0000151f: PUSH32 0x596f75206d757374206265206f6e2074686520616c6c6f77206c69737420746f 00001540: PUSH1 0x44 00001542: DUP3 00001543: ADD 00001544: MSTORE 00001545: PUSH32 0x206d696e742e0000000000000000000000000000000000000000000000000000 00001566: PUSH1 0x64 00001568: DUP3 00001569: ADD 0000156a: MSTORE 0000156b: PUSH1 0x84 0000156d: ADD 0000156e: PUSH2 0x06f6 00001571: JUMP 00001572: JUMPDEST 00001573: PUSH1 0x00 00001575: DUP2 00001576: DUP2 00001577: MSTORE 00001578: PUSH1 0x05 0000157a: PUSH1 0x20 0000157c: MSTORE 0000157d: PUSH1 0x40 0000157f: SWAP1 00001580: KECCAK256 00001581: SLOAD 00001582: CALLVALUE 00001583: LT 00001584: ISZERO 00001585: PUSH2 0x15d0 00001588: JUMPI 00001589: PUSH1 0x40 0000158b: MLOAD 0000158c: PUSH3 0x461bcd 00001590: PUSH1 0xe5 00001592: SHL 00001593: DUP2 00001594: MSTORE 00001595: PUSH1 0x20 00001597: PUSH1 0x04 00001599: DUP3 0000159a: ADD 0000159b: MSTORE 0000159c: PUSH1 0x1e 0000159e: PUSH1 0x24 000015a0: DUP3 000015a1: ADD 000015a2: MSTORE 000015a3: PUSH32 0x4e6f7420656e6f75676820657468657220746f20636f76657220636f73740000 000015c4: PUSH1 0x44 000015c6: DUP3 000015c7: ADD 000015c8: MSTORE 000015c9: PUSH1 0x64 000015cb: ADD 000015cc: PUSH2 0x06f6 000015cf: JUMP 000015d0: JUMPDEST 000015d1: PUSH1 0x02 000015d3: DUP2 000015d4: GT 000015d5: ISZERO 000015d6: PUSH2 0x1610 000015d9: JUMPI 000015da: PUSH1 0x40 000015dc: MLOAD 000015dd: PUSH3 0x461bcd 000015e1: PUSH1 0xe5 000015e3: SHL 000015e4: DUP2 000015e5: MSTORE 000015e6: PUSH1 0x20 000015e8: PUSH1 0x04 000015ea: DUP3 000015eb: ADD 000015ec: MSTORE 000015ed: PUSH1 0x0c 000015ef: PUSH1 0x24 000015f1: DUP3 000015f2: ADD 000015f3: MSTORE 000015f4: PUSH12 0x496e76616c69642074797065 00001601: PUSH1 0xa0 00001603: SHL 00001604: PUSH1 0x44 00001606: DUP3 00001607: ADD 00001608: MSTORE 00001609: PUSH1 0x64 0000160b: ADD 0000160c: PUSH2 0x06f6 0000160f: JUMP 00001610: JUMPDEST 00001611: PUSH1 0x00 00001613: DUP2 00001614: DUP2 00001615: MSTORE 00001616: PUSH1 0x06 00001618: PUSH1 0x20 0000161a: MSTORE 0000161b: PUSH1 0x40 0000161d: SWAP1 0000161e: KECCAK256 0000161f: SLOAD 00001620: PUSH1 0x64 00001622: LT 00001623: ISZERO 00001624: PUSH2 0x167f 00001627: JUMPI 00001628: PUSH1 0x40 0000162a: MLOAD 0000162b: PUSH3 0x461bcd 0000162f: PUSH1 0xe5 00001631: SHL 00001632: DUP2 00001633: MSTORE 00001634: PUSH1 0x20 00001636: PUSH1 0x04 00001638: DUP3 00001639: ADD 0000163a: MSTORE 0000163b: PUSH1 0x27 0000163d: PUSH1 0x24 0000163f: DUP3 00001640: ADD 00001641: MSTORE 00001642: PUSH32 0x4e6f7420656e6f756768206c65667420746f206d696e742074686174206d616e 00001663: PUSH1 0x44 00001665: DUP3 00001666: ADD 00001667: MSTORE 00001668: PUSH7 0x79206974656d73 00001670: PUSH1 0xc8 00001672: SHL 00001673: PUSH1 0x64 00001675: DUP3 00001676: ADD 00001677: MSTORE 00001678: PUSH1 0x84 0000167a: ADD 0000167b: PUSH2 0x06f6 0000167e: JUMP 0000167f: JUMPDEST 00001680: PUSH1 0x00 00001682: PUSH2 0x168a 00001685: DUP3 00001686: PUSH2 0x1e28 00001689: JUMP 0000168a: JUMPDEST 0000168b: PUSH1 0x00 0000168d: DUP2 0000168e: DUP2 0000168f: MSTORE 00001690: PUSH1 0x09 00001692: PUSH1 0x20 00001694: MSTORE 00001695: PUSH1 0x40 00001697: SWAP1 00001698: KECCAK256 00001699: SLOAD 0000169a: SWAP1 0000169b: SWAP2 0000169c: POP 0000169d: PUSH1 0xff 0000169f: AND 000016a0: ISZERO 000016a1: PUSH2 0x16ec 000016a4: JUMPI 000016a5: PUSH1 0x40 000016a7: MLOAD 000016a8: PUSH3 0x461bcd 000016ac: PUSH1 0xe5 000016ae: SHL 000016af: DUP2 000016b0: MSTORE 000016b1: PUSH1 0x20 000016b3: PUSH1 0x04 000016b5: DUP3 000016b6: ADD 000016b7: MSTORE 000016b8: PUSH1 0x18 000016ba: PUSH1 0x24 000016bc: DUP3 000016bd: ADD 000016be: MSTORE 000016bf: PUSH32 0x416c7265616479206d696e7465642074686174206f6e652e0000000000000000 000016e0: PUSH1 0x44 000016e2: DUP3 000016e3: ADD 000016e4: MSTORE 000016e5: PUSH1 0x64 000016e7: ADD 000016e8: PUSH2 0x06f6 000016eb: JUMP 000016ec: JUMPDEST 000016ed: PUSH2 0x1708 000016f0: CALLER 000016f1: DUP3 000016f2: PUSH1 0x01 000016f4: PUSH1 0x40 000016f6: MLOAD 000016f7: DUP1 000016f8: PUSH1 0x20 000016fa: ADD 000016fb: PUSH1 0x40 000016fd: MSTORE 000016fe: DUP1 000016ff: PUSH1 0x00 00001701: DUP2 00001702: MSTORE 00001703: POP 00001704: PUSH2 0x1e4e 00001707: JUMP 00001708: JUMPDEST 00001709: PUSH1 0x00 0000170b: DUP3 0000170c: DUP2 0000170d: MSTORE 0000170e: PUSH1 0x08 00001710: PUSH1 0x20 00001712: SWAP1 00001713: DUP2 00001714: MSTORE 00001715: PUSH1 0x40 00001717: DUP1 00001718: DUP4 00001719: KECCAK256 0000171a: CALLER 0000171b: DUP5 0000171c: MSTORE 0000171d: SWAP1 0000171e: SWAP2 0000171f: MSTORE 00001720: SWAP1 00001721: KECCAK256 00001722: SLOAD 00001723: ISZERO 00001724: PUSH2 0x1757 00001727: JUMPI 00001728: PUSH1 0x00 0000172a: DUP3 0000172b: DUP2 0000172c: MSTORE 0000172d: PUSH1 0x08 0000172f: PUSH1 0x20 00001731: SWAP1 00001732: DUP2 00001733: MSTORE 00001734: PUSH1 0x40 00001736: DUP1 00001737: DUP4 00001738: KECCAK256 00001739: CALLER 0000173a: DUP5 0000173b: MSTORE 0000173c: SWAP1 0000173d: SWAP2 0000173e: MSTORE 0000173f: DUP2 00001740: KECCAK256 00001741: DUP1 00001742: SLOAD 00001743: PUSH1 0x01 00001745: SWAP3 00001746: SWAP1 00001747: PUSH2 0x1751 0000174a: SWAP1 0000174b: DUP5 0000174c: SWAP1 0000174d: PUSH2 0x31d4 00001750: JUMP 00001751: JUMPDEST 00001752: SWAP1 00001753: SWAP2 00001754: SSTORE 00001755: POP 00001756: POP 00001757: JUMPDEST 00001758: PUSH1 0x00 0000175a: DUP3 0000175b: DUP2 0000175c: MSTORE 0000175d: PUSH1 0x07 0000175f: PUSH1 0x20 00001761: SWAP1 00001762: DUP2 00001763: MSTORE 00001764: PUSH1 0x40 00001766: DUP1 00001767: DUP4 00001768: KECCAK256 00001769: CALLER 0000176a: DUP5 0000176b: MSTORE 0000176c: SWAP1 0000176d: SWAP2 0000176e: MSTORE 0000176f: DUP2 00001770: KECCAK256 00001771: DUP1 00001772: SLOAD 00001773: PUSH1 0x01 00001775: SWAP3 00001776: SWAP1 00001777: PUSH2 0x1781 0000177a: SWAP1 0000177b: DUP5 0000177c: SWAP1 0000177d: PUSH2 0x319d 00001780: JUMP 00001781: JUMPDEST 00001782: SWAP1 00001783: SWAP2 00001784: SSTORE 00001785: POP 00001786: POP 00001787: PUSH1 0x00 00001789: DUP3 0000178a: DUP2 0000178b: MSTORE 0000178c: PUSH1 0x06 0000178e: PUSH1 0x20 00001790: MSTORE 00001791: PUSH1 0x40 00001793: DUP2 00001794: KECCAK256 00001795: DUP1 00001796: SLOAD 00001797: PUSH1 0x01 00001799: SWAP3 0000179a: SWAP1 0000179b: PUSH2 0x17a5 0000179e: SWAP1 0000179f: DUP5 000017a0: SWAP1 000017a1: PUSH2 0x319d 000017a4: JUMP 000017a5: JUMPDEST 000017a6: SWAP1 000017a7: SWAP2 000017a8: SSTORE 000017a9: POP 000017aa: POP 000017ab: PUSH1 0x00 000017ad: SWAP1 000017ae: DUP2 000017af: MSTORE 000017b0: PUSH1 0x09 000017b2: PUSH1 0x20 000017b4: MSTORE 000017b5: PUSH1 0x40 000017b7: SWAP1 000017b8: KECCAK256 000017b9: DUP1 000017ba: SLOAD 000017bb: PUSH1 0xff 000017bd: NOT 000017be: AND 000017bf: PUSH1 0x01 000017c1: OR 000017c2: SWAP1 000017c3: SSTORE 000017c4: POP 000017c5: JUMP 000017c6: JUMPDEST 000017c7: PUSH1 0x60 000017c9: PUSH1 0x0b 000017cb: DUP1 000017cc: SLOAD 000017cd: PUSH2 0x17d5 000017d0: SWAP1 000017d1: PUSH2 0x31eb 000017d4: JUMP 000017d5: JUMPDEST 000017d6: DUP1 000017d7: PUSH1 0x1f 000017d9: ADD 000017da: PUSH1 0x20 000017dc: DUP1 000017dd: SWAP2 000017de: DIV 000017df: MUL 000017e0: PUSH1 0x20 000017e2: ADD 000017e3: PUSH1 0x40 000017e5: MLOAD 000017e6: SWAP1 000017e7: DUP2 000017e8: ADD 000017e9: PUSH1 0x40 000017eb: MSTORE 000017ec: DUP1 000017ed: SWAP3 000017ee: SWAP2 000017ef: SWAP1 000017f0: DUP2 000017f1: DUP2 000017f2: MSTORE 000017f3: PUSH1 0x20 000017f5: ADD 000017f6: DUP3 000017f7: DUP1 000017f8: SLOAD 000017f9: PUSH2 0x1801 000017fc: SWAP1 000017fd: PUSH2 0x31eb 00001800: JUMP 00001801: JUMPDEST 00001802: DUP1 00001803: ISZERO 00001804: PUSH2 0x184e 00001807: JUMPI 00001808: DUP1 00001809: PUSH1 0x1f 0000180b: LT 0000180c: PUSH2 0x1823 0000180f: JUMPI 00001810: PUSH2 0x0100 00001813: DUP1 00001814: DUP4 00001815: SLOAD 00001816: DIV 00001817: MUL 00001818: DUP4 00001819: MSTORE 0000181a: SWAP2 0000181b: PUSH1 0x20 0000181d: ADD 0000181e: SWAP2 0000181f: PUSH2 0x184e 00001822: JUMP 00001823: JUMPDEST 00001824: DUP3 00001825: ADD 00001826: SWAP2 00001827: SWAP1 00001828: PUSH1 0x00 0000182a: MSTORE 0000182b: PUSH1 0x20 0000182d: PUSH1 0x00 0000182f: KECCAK256 00001830: SWAP1 00001831: JUMPDEST 00001832: DUP2 00001833: SLOAD 00001834: DUP2 00001835: MSTORE 00001836: SWAP1 00001837: PUSH1 0x01 00001839: ADD 0000183a: SWAP1 0000183b: PUSH1 0x20 0000183d: ADD 0000183e: DUP1 0000183f: DUP4 00001840: GT 00001841: PUSH2 0x1831 00001844: JUMPI 00001845: DUP3 00001846: SWAP1 00001847: SUB 00001848: PUSH1 0x1f 0000184a: AND 0000184b: DUP3 0000184c: ADD 0000184d: SWAP2 0000184e: JUMPDEST 0000184f: POP 00001850: POP 00001851: POP 00001852: POP 00001853: POP 00001854: SWAP1 00001855: POP 00001856: SWAP1 00001857: JUMP 00001858: JUMPDEST 00001859: PUSH1 0x04 0000185b: DUP1 0000185c: SLOAD 0000185d: PUSH1 0x40 0000185f: MLOAD 00001860: PUSH32 0xc455279100000000000000000000000000000000000000000000000000000000 00001881: DUP2 00001882: MSTORE 00001883: PUSH1 0x01 00001885: PUSH1 0x01 00001887: PUSH1 0xa0 00001889: SHL 0000188a: SUB 0000188b: DUP6 0000188c: DUP2 0000188d: AND 0000188e: SWAP4 0000188f: DUP3 00001890: ADD 00001891: SWAP4 00001892: SWAP1 00001893: SWAP4 00001894: MSTORE 00001895: PUSH1 0x00 00001897: SWAP3 00001898: SWAP2 00001899: DUP3 0000189a: AND 0000189b: SWAP2 0000189c: DUP5 0000189d: AND 0000189e: SWAP1 0000189f: DUP3 000018a0: SWAP1 000018a1: PUSH4 0xc4552791 000018a6: SWAP1 000018a7: PUSH1 0x24 000018a9: ADD 000018aa: PUSH1 0x20 000018ac: PUSH1 0x40 000018ae: MLOAD 000018af: DUP1 000018b0: DUP4 000018b1: SUB 000018b2: DUP2 000018b3: DUP7 000018b4: DUP1 000018b5: EXTCODESIZE 000018b6: ISZERO 000018b7: DUP1 000018b8: ISZERO 000018b9: PUSH2 0x18c1 000018bc: JUMPI 000018bd: PUSH1 0x00 000018bf: DUP1 000018c0: REVERT 000018c1: JUMPDEST 000018c2: POP 000018c3: GAS 000018c4: STATICCALL 000018c5: ISZERO 000018c6: DUP1 000018c7: ISZERO 000018c8: PUSH2 0x18d5 000018cb: JUMPI 000018cc: RETURNDATASIZE 000018cd: PUSH1 0x00 000018cf: DUP1 000018d0: RETURNDATACOPY 000018d1: RETURNDATASIZE 000018d2: PUSH1 0x00 000018d4: REVERT 000018d5: JUMPDEST 000018d6: POP 000018d7: POP 000018d8: POP 000018d9: POP 000018da: PUSH1 0x40 000018dc: MLOAD 000018dd: RETURNDATASIZE 000018de: PUSH1 0x1f 000018e0: NOT 000018e1: PUSH1 0x1f 000018e3: DUP3 000018e4: ADD 000018e5: AND 000018e6: DUP3 000018e7: ADD 000018e8: DUP1 000018e9: PUSH1 0x40 000018eb: MSTORE 000018ec: POP 000018ed: DUP2 000018ee: ADD 000018ef: SWAP1 000018f0: PUSH2 0x18f9 000018f3: SWAP2 000018f4: SWAP1 000018f5: PUSH2 0x2f36 000018f8: JUMP 000018f9: JUMPDEST 000018fa: PUSH1 0x01 000018fc: PUSH1 0x01 000018fe: PUSH1 0xa0 00001900: SHL 00001901: SUB 00001902: AND 00001903: EQ 00001904: ISZERO 00001905: PUSH2 0x1912 00001908: JUMPI 00001909: PUSH1 0x01 0000190b: SWAP2 0000190c: POP 0000190d: POP 0000190e: PUSH2 0x0722 00001911: JUMP 00001912: JUMPDEST 00001913: PUSH1 0x01 00001915: PUSH1 0x01 00001917: PUSH1 0xa0 00001919: SHL 0000191a: SUB 0000191b: DUP1 0000191c: DUP6 0000191d: AND 0000191e: PUSH1 0x00 00001920: SWAP1 00001921: DUP2 00001922: MSTORE 00001923: PUSH1 0x01 00001925: PUSH1 0x20 00001927: SWAP1 00001928: DUP2 00001929: MSTORE 0000192a: PUSH1 0x40 0000192c: DUP1 0000192d: DUP4 0000192e: KECCAK256 0000192f: SWAP4 00001930: DUP8 00001931: AND 00001932: DUP4 00001933: MSTORE 00001934: SWAP3 00001935: SWAP1 00001936: MSTORE 00001937: KECCAK256 00001938: SLOAD 00001939: PUSH1 0xff 0000193b: AND 0000193c: JUMPDEST 0000193d: SWAP5 0000193e: SWAP4 0000193f: POP 00001940: POP 00001941: POP 00001942: POP 00001943: JUMP 00001944: JUMPDEST 00001945: PUSH1 0x01 00001947: PUSH1 0x01 00001949: PUSH1 0xa0 0000194b: SHL 0000194c: SUB 0000194d: DUP6 0000194e: AND 0000194f: CALLER 00001950: EQ 00001951: DUP1 00001952: PUSH2 0x1960 00001955: JUMPI 00001956: POP 00001957: PUSH2 0x1960 0000195a: DUP6 0000195b: CALLER 0000195c: PUSH2 0x1858 0000195f: JUMP 00001960: JUMPDEST 00001961: PUSH2 0x19be 00001964: JUMPI 00001965: PUSH1 0x40 00001967: MLOAD 00001968: PUSH3 0x461bcd 0000196c: PUSH1 0xe5 0000196e: SHL 0000196f: DUP2 00001970: MSTORE 00001971: PUSH1 0x20 00001973: PUSH1 0x04 00001975: DUP3 00001976: ADD 00001977: MSTORE 00001978: PUSH1 0x29 0000197a: PUSH1 0x24 0000197c: DUP3 0000197d: ADD 0000197e: MSTORE 0000197f: PUSH32 0x455243313135353a2063616c6c6572206973206e6f74206f776e6572206e6f72 000019a0: PUSH1 0x44 000019a2: DUP3 000019a3: ADD 000019a4: MSTORE 000019a5: PUSH9 0x08185c1c1c9bdd9959 000019af: PUSH1 0xba 000019b1: SHL 000019b2: PUSH1 0x64 000019b4: DUP3 000019b5: ADD 000019b6: MSTORE 000019b7: PUSH1 0x84 000019b9: ADD 000019ba: PUSH2 0x06f6 000019bd: JUMP 000019be: JUMPDEST 000019bf: PUSH2 0x0aec 000019c2: DUP6 000019c3: DUP6 000019c4: DUP6 000019c5: DUP6 000019c6: DUP6 000019c7: PUSH2 0x22fd 000019ca: JUMP 000019cb: JUMPDEST 000019cc: PUSH1 0x03 000019ce: SLOAD 000019cf: PUSH1 0x01 000019d1: PUSH1 0x01 000019d3: PUSH1 0xa0 000019d5: SHL 000019d6: SUB 000019d7: AND 000019d8: CALLER 000019d9: EQ 000019da: PUSH2 0x1a13 000019dd: JUMPI 000019de: PUSH1 0x40 000019e0: MLOAD 000019e1: PUSH3 0x461bcd 000019e5: PUSH1 0xe5 000019e7: SHL 000019e8: DUP2 000019e9: MSTORE 000019ea: PUSH1 0x20 000019ec: PUSH1 0x04 000019ee: DUP3 000019ef: ADD 000019f0: DUP2 000019f1: SWAP1 000019f2: MSTORE 000019f3: PUSH1 0x24 000019f5: DUP3 000019f6: ADD 000019f7: MSTORE 000019f8: PUSH1 0x00 000019fa: DUP1 000019fb: MLOAD 000019fc: PUSH1 0x20 000019fe: PUSH2 0x3381 00001a01: DUP4 00001a02: CODECOPY 00001a03: DUP2 00001a04: MLOAD 00001a05: SWAP2 00001a06: MSTORE 00001a07: PUSH1 0x44 00001a09: DUP3 00001a0a: ADD 00001a0b: MSTORE 00001a0c: PUSH1 0x64 00001a0e: ADD 00001a0f: PUSH2 0x06f6 00001a12: JUMP 00001a13: JUMPDEST 00001a14: PUSH1 0x01 00001a16: PUSH1 0x01 00001a18: PUSH1 0xa0 00001a1a: SHL 00001a1b: SUB 00001a1c: DUP2 00001a1d: AND 00001a1e: PUSH2 0x1a8f 00001a21: JUMPI 00001a22: PUSH1 0x40 00001a24: MLOAD 00001a25: PUSH3 0x461bcd 00001a29: PUSH1 0xe5 00001a2b: SHL 00001a2c: DUP2 00001a2d: MSTORE 00001a2e: PUSH1 0x20 00001a30: PUSH1 0x04 00001a32: DUP3 00001a33: ADD 00001a34: MSTORE 00001a35: PUSH1 0x26 00001a37: PUSH1 0x24 00001a39: DUP3 00001a3a: ADD 00001a3b: MSTORE 00001a3c: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001a5d: PUSH1 0x44 00001a5f: DUP3 00001a60: ADD 00001a61: MSTORE 00001a62: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00001a83: PUSH1 0x64 00001a85: DUP3 00001a86: ADD 00001a87: MSTORE 00001a88: PUSH1 0x84 00001a8a: ADD 00001a8b: PUSH2 0x06f6 00001a8e: JUMP 00001a8f: JUMPDEST 00001a90: PUSH2 0x0814 00001a93: DUP2 00001a94: PUSH2 0x21a9 00001a97: JUMP 00001a98: JUMPDEST 00001a99: PUSH1 0x01 00001a9b: PUSH1 0x01 00001a9d: PUSH1 0xa0 00001a9f: SHL 00001aa0: SUB 00001aa1: DUP4 00001aa2: AND 00001aa3: CALLER 00001aa4: EQ 00001aa5: DUP1 00001aa6: PUSH2 0x1ab4 00001aa9: JUMPI 00001aaa: POP 00001aab: PUSH2 0x1ab4 00001aae: DUP4 00001aaf: CALLER 00001ab0: PUSH2 0x1858 00001ab3: JUMP 00001ab4: JUMPDEST 00001ab5: PUSH2 0x1b12 00001ab8: JUMPI 00001ab9: PUSH1 0x40 00001abb: MLOAD 00001abc: PUSH3 0x461bcd 00001ac0: PUSH1 0xe5 00001ac2: SHL 00001ac3: DUP2 00001ac4: MSTORE 00001ac5: PUSH1 0x20 00001ac7: PUSH1 0x04 00001ac9: DUP3 00001aca: ADD 00001acb: MSTORE 00001acc: PUSH1 0x29 00001ace: PUSH1 0x24 00001ad0: DUP3 00001ad1: ADD 00001ad2: MSTORE 00001ad3: PUSH32 0x455243313135353a2063616c6c6572206973206e6f74206f776e6572206e6f72 00001af4: PUSH1 0x44 00001af6: DUP3 00001af7: ADD 00001af8: MSTORE 00001af9: PUSH9 0x08185c1c1c9bdd9959 00001b03: PUSH1 0xba 00001b05: SHL 00001b06: PUSH1 0x64 00001b08: DUP3 00001b09: ADD 00001b0a: MSTORE 00001b0b: PUSH1 0x84 00001b0d: ADD 00001b0e: PUSH2 0x06f6 00001b11: JUMP 00001b12: JUMPDEST 00001b13: PUSH2 0x0956 00001b16: DUP4 00001b17: DUP4 00001b18: DUP4 00001b19: PUSH2 0x249b 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: PUSH1 0x03 00001b20: SLOAD 00001b21: PUSH1 0x01 00001b23: PUSH1 0x01 00001b25: PUSH1 0xa0 00001b27: SHL 00001b28: SUB 00001b29: AND 00001b2a: CALLER 00001b2b: EQ 00001b2c: PUSH2 0x1b65 00001b2f: JUMPI 00001b30: PUSH1 0x40 00001b32: MLOAD 00001b33: PUSH3 0x461bcd 00001b37: PUSH1 0xe5 00001b39: SHL 00001b3a: DUP2 00001b3b: MSTORE 00001b3c: PUSH1 0x20 00001b3e: PUSH1 0x04 00001b40: DUP3 00001b41: ADD 00001b42: DUP2 00001b43: SWAP1 00001b44: MSTORE 00001b45: PUSH1 0x24 00001b47: DUP3 00001b48: ADD 00001b49: MSTORE 00001b4a: PUSH1 0x00 00001b4c: DUP1 00001b4d: MLOAD 00001b4e: PUSH1 0x20 00001b50: PUSH2 0x3381 00001b53: DUP4 00001b54: CODECOPY 00001b55: DUP2 00001b56: MLOAD 00001b57: SWAP2 00001b58: MSTORE 00001b59: PUSH1 0x44 00001b5b: DUP3 00001b5c: ADD 00001b5d: MSTORE 00001b5e: PUSH1 0x64 00001b60: ADD 00001b61: PUSH2 0x06f6 00001b64: JUMP 00001b65: JUMPDEST 00001b66: PUSH1 0x02 00001b68: DUP3 00001b69: GT 00001b6a: ISZERO 00001b6b: PUSH2 0x1ba5 00001b6e: JUMPI 00001b6f: PUSH1 0x40 00001b71: MLOAD 00001b72: PUSH3 0x461bcd 00001b76: PUSH1 0xe5 00001b78: SHL 00001b79: DUP2 00001b7a: MSTORE 00001b7b: PUSH1 0x20 00001b7d: PUSH1 0x04 00001b7f: DUP3 00001b80: ADD 00001b81: MSTORE 00001b82: PUSH1 0x0c 00001b84: PUSH1 0x24 00001b86: DUP3 00001b87: ADD 00001b88: MSTORE 00001b89: PUSH12 0x496e76616c69642074797065 00001b96: PUSH1 0xa0 00001b98: SHL 00001b99: PUSH1 0x44 00001b9b: DUP3 00001b9c: ADD 00001b9d: MSTORE 00001b9e: PUSH1 0x64 00001ba0: ADD 00001ba1: PUSH2 0x06f6 00001ba4: JUMP 00001ba5: JUMPDEST 00001ba6: PUSH1 0x00 00001ba8: SWAP2 00001ba9: DUP3 00001baa: MSTORE 00001bab: PUSH1 0x05 00001bad: PUSH1 0x20 00001baf: MSTORE 00001bb0: PUSH1 0x40 00001bb2: SWAP1 00001bb3: SWAP2 00001bb4: KECCAK256 00001bb5: SSTORE 00001bb6: JUMP 00001bb7: JUMPDEST 00001bb8: DUP1 00001bb9: MLOAD 00001bba: PUSH2 0x0b6a 00001bbd: SWAP1 00001bbe: PUSH1 0x02 00001bc0: SWAP1 00001bc1: PUSH1 0x20 00001bc3: DUP5 00001bc4: ADD 00001bc5: SWAP1 00001bc6: PUSH2 0x2920 00001bc9: JUMP 00001bca: JUMPDEST 00001bcb: DUP2 00001bcc: MLOAD 00001bcd: DUP4 00001bce: MLOAD 00001bcf: EQ 00001bd0: PUSH2 0x1c2c 00001bd3: JUMPI 00001bd4: PUSH1 0x40 00001bd6: MLOAD 00001bd7: PUSH3 0x461bcd 00001bdb: PUSH1 0xe5 00001bdd: SHL 00001bde: DUP2 00001bdf: MSTORE 00001be0: PUSH1 0x20 00001be2: PUSH1 0x04 00001be4: DUP3 00001be5: ADD 00001be6: MSTORE 00001be7: PUSH1 0x28 00001be9: PUSH1 0x24 00001beb: DUP3 00001bec: ADD 00001bed: MSTORE 00001bee: PUSH32 0x455243313135353a2069647320616e6420616d6f756e7473206c656e67746820 00001c0f: PUSH1 0x44 00001c11: DUP3 00001c12: ADD 00001c13: MSTORE 00001c14: PUSH8 0x0dad2e6dac2e8c6d 00001c1d: PUSH1 0xc3 00001c1f: SHL 00001c20: PUSH1 0x64 00001c22: DUP3 00001c23: ADD 00001c24: MSTORE 00001c25: PUSH1 0x84 00001c27: ADD 00001c28: PUSH2 0x06f6 00001c2b: JUMP 00001c2c: JUMPDEST 00001c2d: PUSH1 0x01 00001c2f: PUSH1 0x01 00001c31: PUSH1 0xa0 00001c33: SHL 00001c34: SUB 00001c35: DUP5 00001c36: AND 00001c37: PUSH2 0x1c90 00001c3a: JUMPI 00001c3b: PUSH1 0x40 00001c3d: MLOAD 00001c3e: PUSH3 0x461bcd 00001c42: PUSH1 0xe5 00001c44: SHL 00001c45: DUP2 00001c46: MSTORE 00001c47: PUSH1 0x20 00001c49: PUSH1 0x04 00001c4b: DUP3 00001c4c: ADD 00001c4d: MSTORE 00001c4e: PUSH1 0x25 00001c50: PUSH1 0x24 00001c52: DUP3 00001c53: ADD 00001c54: MSTORE 00001c55: PUSH32 0x455243313135353a207472616e7366657220746f20746865207a65726f206164 00001c76: PUSH1 0x44 00001c78: DUP3 00001c79: ADD 00001c7a: MSTORE 00001c7b: PUSH5 0x6472657373 00001c81: PUSH1 0xd8 00001c83: SHL 00001c84: PUSH1 0x64 00001c86: DUP3 00001c87: ADD 00001c88: MSTORE 00001c89: PUSH1 0x84 00001c8b: ADD 00001c8c: PUSH2 0x06f6 00001c8f: JUMP 00001c90: JUMPDEST 00001c91: CALLER 00001c92: PUSH1 0x00 00001c94: JUMPDEST 00001c95: DUP5 00001c96: MLOAD 00001c97: DUP2 00001c98: LT 00001c99: ISZERO 00001c9a: PUSH2 0x1dba 00001c9d: JUMPI 00001c9e: PUSH1 0x00 00001ca0: DUP6 00001ca1: DUP3 00001ca2: DUP2 00001ca3: MLOAD 00001ca4: DUP2 00001ca5: LT 00001ca6: PUSH2 0x1cb1 00001ca9: JUMPI 00001caa: PUSH2 0x1cb1 00001cad: PUSH2 0x3284 00001cb0: JUMP 00001cb1: JUMPDEST 00001cb2: PUSH1 0x20 00001cb4: MUL 00001cb5: PUSH1 0x20 00001cb7: ADD 00001cb8: ADD 00001cb9: MLOAD 00001cba: SWAP1 00001cbb: POP 00001cbc: PUSH1 0x00 00001cbe: DUP6 00001cbf: DUP4 00001cc0: DUP2 00001cc1: MLOAD 00001cc2: DUP2 00001cc3: LT 00001cc4: PUSH2 0x1ccf 00001cc7: JUMPI 00001cc8: PUSH2 0x1ccf 00001ccb: PUSH2 0x3284 00001cce: JUMP 00001ccf: JUMPDEST 00001cd0: PUSH1 0x20 00001cd2: SWAP1 00001cd3: DUP2 00001cd4: MUL 00001cd5: SWAP2 00001cd6: SWAP1 00001cd7: SWAP2 00001cd8: ADD 00001cd9: DUP2 00001cda: ADD 00001cdb: MLOAD 00001cdc: PUSH1 0x00 00001cde: DUP5 00001cdf: DUP2 00001ce0: MSTORE 00001ce1: DUP1 00001ce2: DUP4 00001ce3: MSTORE 00001ce4: PUSH1 0x40 00001ce6: DUP1 00001ce7: DUP3 00001ce8: KECCAK256 00001ce9: PUSH1 0x01 00001ceb: PUSH1 0x01 00001ced: PUSH1 0xa0 00001cef: SHL 00001cf0: SUB 00001cf1: DUP15 00001cf2: AND 00001cf3: DUP4 00001cf4: MSTORE 00001cf5: SWAP1 00001cf6: SWAP4 00001cf7: MSTORE 00001cf8: SWAP2 00001cf9: SWAP1 00001cfa: SWAP2 00001cfb: KECCAK256 00001cfc: SLOAD 00001cfd: SWAP1 00001cfe: SWAP2 00001cff: POP 00001d00: DUP2 00001d01: DUP2 00001d02: LT 00001d03: ISZERO 00001d04: PUSH2 0x1d62 00001d07: JUMPI 00001d08: PUSH1 0x40 00001d0a: MLOAD 00001d0b: PUSH3 0x461bcd 00001d0f: PUSH1 0xe5 00001d11: SHL 00001d12: DUP2 00001d13: MSTORE 00001d14: PUSH1 0x20 00001d16: PUSH1 0x04 00001d18: DUP3 00001d19: ADD 00001d1a: MSTORE 00001d1b: PUSH1 0x2a 00001d1d: PUSH1 0x24 00001d1f: DUP3 00001d20: ADD 00001d21: MSTORE 00001d22: PUSH32 0x455243313135353a20696e73756666696369656e742062616c616e636520666f 00001d43: PUSH1 0x44 00001d45: DUP3 00001d46: ADD 00001d47: MSTORE 00001d48: PUSH10 0x39103a3930b739b332b9 00001d53: PUSH1 0xb1 00001d55: SHL 00001d56: PUSH1 0x64 00001d58: DUP3 00001d59: ADD 00001d5a: MSTORE 00001d5b: PUSH1 0x84 00001d5d: ADD 00001d5e: PUSH2 0x06f6 00001d61: JUMP 00001d62: JUMPDEST 00001d63: PUSH1 0x00 00001d65: DUP4 00001d66: DUP2 00001d67: MSTORE 00001d68: PUSH1 0x20 00001d6a: DUP2 00001d6b: DUP2 00001d6c: MSTORE 00001d6d: PUSH1 0x40 00001d6f: DUP1 00001d70: DUP4 00001d71: KECCAK256 00001d72: PUSH1 0x01 00001d74: PUSH1 0x01 00001d76: PUSH1 0xa0 00001d78: SHL 00001d79: SUB 00001d7a: DUP15 00001d7b: DUP2 00001d7c: AND 00001d7d: DUP6 00001d7e: MSTORE 00001d7f: SWAP3 00001d80: MSTORE 00001d81: DUP1 00001d82: DUP4 00001d83: KECCAK256 00001d84: DUP6 00001d85: DUP6 00001d86: SUB 00001d87: SWAP1 00001d88: SSTORE 00001d89: SWAP1 00001d8a: DUP12 00001d8b: AND 00001d8c: DUP3 00001d8d: MSTORE 00001d8e: DUP2 00001d8f: KECCAK256 00001d90: DUP1 00001d91: SLOAD 00001d92: DUP5 00001d93: SWAP3 00001d94: SWAP1 00001d95: PUSH2 0x1d9f 00001d98: SWAP1 00001d99: DUP5 00001d9a: SWAP1 00001d9b: PUSH2 0x319d 00001d9e: JUMP 00001d9f: JUMPDEST 00001da0: SWAP3 00001da1: POP 00001da2: POP 00001da3: DUP2 00001da4: SWAP1 00001da5: SSTORE 00001da6: POP 00001da7: POP 00001da8: POP 00001da9: POP 00001daa: DUP1 00001dab: PUSH2 0x1db3 00001dae: SWAP1 00001daf: PUSH2 0x3253 00001db2: JUMP 00001db3: JUMPDEST 00001db4: SWAP1 00001db5: POP 00001db6: PUSH2 0x1c94 00001db9: JUMP 00001dba: JUMPDEST 00001dbb: POP 00001dbc: DUP5 00001dbd: PUSH1 0x01 00001dbf: PUSH1 0x01 00001dc1: PUSH1 0xa0 00001dc3: SHL 00001dc4: SUB 00001dc5: AND 00001dc6: DUP7 00001dc7: PUSH1 0x01 00001dc9: PUSH1 0x01 00001dcb: PUSH1 0xa0 00001dcd: SHL 00001dce: SUB 00001dcf: AND 00001dd0: DUP3 00001dd1: PUSH1 0x01 00001dd3: PUSH1 0x01 00001dd5: PUSH1 0xa0 00001dd7: SHL 00001dd8: SUB 00001dd9: AND 00001dda: PUSH32 0x4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb 00001dfb: DUP8 00001dfc: DUP8 00001dfd: PUSH1 0x40 00001dff: MLOAD 00001e00: PUSH2 0x1e0a 00001e03: SWAP3 00001e04: SWAP2 00001e05: SWAP1 00001e06: PUSH2 0x3138 00001e09: JUMP 00001e0a: JUMPDEST 00001e0b: PUSH1 0x40 00001e0d: MLOAD 00001e0e: DUP1 00001e0f: SWAP2 00001e10: SUB 00001e11: SWAP1 00001e12: LOG4 00001e13: PUSH2 0x1e20 00001e16: DUP2 00001e17: DUP8 00001e18: DUP8 00001e19: DUP8 00001e1a: DUP8 00001e1b: DUP8 00001e1c: PUSH2 0x2615 00001e1f: JUMP 00001e20: JUMPDEST 00001e21: POP 00001e22: POP 00001e23: POP 00001e24: POP 00001e25: POP 00001e26: POP 00001e27: JUMP 00001e28: JUMPDEST 00001e29: PUSH1 0x00 00001e2b: PUSH2 0x1e35 00001e2e: PUSH1 0x64 00001e30: DUP4 00001e31: PUSH2 0x31b5 00001e34: JUMP 00001e35: JUMPDEST 00001e36: PUSH1 0x00 00001e38: DUP4 00001e39: DUP2 00001e3a: MSTORE 00001e3b: PUSH1 0x06 00001e3d: PUSH1 0x20 00001e3f: MSTORE 00001e40: PUSH1 0x40 00001e42: SWAP1 00001e43: KECCAK256 00001e44: SLOAD 00001e45: PUSH2 0x0722 00001e48: SWAP2 00001e49: SWAP1 00001e4a: PUSH2 0x319d 00001e4d: JUMP 00001e4e: JUMPDEST 00001e4f: PUSH1 0x01 00001e51: PUSH1 0x01 00001e53: PUSH1 0xa0 00001e55: SHL 00001e56: SUB 00001e57: DUP5 00001e58: AND 00001e59: PUSH2 0x1eca 00001e5c: JUMPI 00001e5d: PUSH1 0x40 00001e5f: MLOAD 00001e60: PUSH3 0x461bcd 00001e64: PUSH1 0xe5 00001e66: SHL 00001e67: DUP2 00001e68: MSTORE 00001e69: PUSH1 0x20 00001e6b: PUSH1 0x04 00001e6d: DUP3 00001e6e: ADD 00001e6f: MSTORE 00001e70: PUSH1 0x21 00001e72: PUSH1 0x24 00001e74: DUP3 00001e75: ADD 00001e76: MSTORE 00001e77: PUSH32 0x455243313135353a206d696e7420746f20746865207a65726f20616464726573 00001e98: PUSH1 0x44 00001e9a: DUP3 00001e9b: ADD 00001e9c: MSTORE 00001e9d: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000 00001ebe: PUSH1 0x64 00001ec0: DUP3 00001ec1: ADD 00001ec2: MSTORE 00001ec3: PUSH1 0x84 00001ec5: ADD 00001ec6: PUSH2 0x06f6 00001ec9: JUMP 00001eca: JUMPDEST 00001ecb: CALLER 00001ecc: PUSH2 0x1ee4 00001ecf: DUP2 00001ed0: PUSH1 0x00 00001ed2: DUP8 00001ed3: PUSH2 0x1edb 00001ed6: DUP9 00001ed7: PUSH2 0x27ca 00001eda: JUMP 00001edb: JUMPDEST 00001edc: PUSH2 0x0aec 00001edf: DUP9 00001ee0: PUSH2 0x27ca 00001ee3: JUMP 00001ee4: JUMPDEST 00001ee5: PUSH1 0x00 00001ee7: DUP5 00001ee8: DUP2 00001ee9: MSTORE 00001eea: PUSH1 0x20 00001eec: DUP2 00001eed: DUP2 00001eee: MSTORE 00001eef: PUSH1 0x40 00001ef1: DUP1 00001ef2: DUP4 00001ef3: KECCAK256 00001ef4: PUSH1 0x01 00001ef6: PUSH1 0x01 00001ef8: PUSH1 0xa0 00001efa: SHL 00001efb: SUB 00001efc: DUP10 00001efd: AND 00001efe: DUP5 00001eff: MSTORE 00001f00: SWAP1 00001f01: SWAP2 00001f02: MSTORE 00001f03: DUP2 00001f04: KECCAK256 00001f05: DUP1 00001f06: SLOAD 00001f07: DUP6 00001f08: SWAP3 00001f09: SWAP1 00001f0a: PUSH2 0x1f14 00001f0d: SWAP1 00001f0e: DUP5 00001f0f: SWAP1 00001f10: PUSH2 0x319d 00001f13: JUMP 00001f14: JUMPDEST 00001f15: SWAP1 00001f16: SWAP2 00001f17: SSTORE 00001f18: POP 00001f19: POP 00001f1a: PUSH1 0x40 00001f1c: DUP1 00001f1d: MLOAD 00001f1e: DUP6 00001f1f: DUP2 00001f20: MSTORE 00001f21: PUSH1 0x20 00001f23: DUP2 00001f24: ADD 00001f25: DUP6 00001f26: SWAP1 00001f27: MSTORE 00001f28: PUSH1 0x01 00001f2a: PUSH1 0x01 00001f2c: PUSH1 0xa0 00001f2e: SHL 00001f2f: SUB 00001f30: DUP1 00001f31: DUP9 00001f32: AND 00001f33: SWAP3 00001f34: PUSH1 0x00 00001f36: SWAP3 00001f37: SWAP2 00001f38: DUP6 00001f39: AND 00001f3a: SWAP2 00001f3b: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62 00001f5c: SWAP2 00001f5d: ADD 00001f5e: PUSH1 0x40 00001f60: MLOAD 00001f61: DUP1 00001f62: SWAP2 00001f63: SUB 00001f64: SWAP1 00001f65: LOG4 00001f66: PUSH2 0x0aec 00001f69: DUP2 00001f6a: PUSH1 0x00 00001f6c: DUP8 00001f6d: DUP8 00001f6e: DUP8 00001f6f: DUP8 00001f70: PUSH2 0x2815 00001f73: JUMP 00001f74: JUMPDEST 00001f75: PUSH1 0x01 00001f77: PUSH1 0x01 00001f79: PUSH1 0xa0 00001f7b: SHL 00001f7c: SUB 00001f7d: DUP4 00001f7e: AND 00001f7f: PUSH2 0x1fd6 00001f82: JUMPI 00001f83: PUSH1 0x40 00001f85: MLOAD 00001f86: PUSH3 0x461bcd 00001f8a: PUSH1 0xe5 00001f8c: SHL 00001f8d: DUP2 00001f8e: MSTORE 00001f8f: PUSH1 0x20 00001f91: PUSH1 0x04 00001f93: DUP3 00001f94: ADD 00001f95: MSTORE 00001f96: PUSH1 0x23 00001f98: PUSH1 0x24 00001f9a: DUP3 00001f9b: ADD 00001f9c: MSTORE 00001f9d: PUSH32 0x455243313135353a206275726e2066726f6d20746865207a65726f2061646472 00001fbe: PUSH1 0x44 00001fc0: DUP3 00001fc1: ADD 00001fc2: MSTORE 00001fc3: PUSH3 0x657373 00001fc7: PUSH1 0xe8 00001fc9: SHL 00001fca: PUSH1 0x64 00001fcc: DUP3 00001fcd: ADD 00001fce: MSTORE 00001fcf: PUSH1 0x84 00001fd1: ADD 00001fd2: PUSH2 0x06f6 00001fd5: JUMP 00001fd6: JUMPDEST 00001fd7: DUP1 00001fd8: MLOAD 00001fd9: DUP3 00001fda: MLOAD 00001fdb: EQ 00001fdc: PUSH2 0x2038 00001fdf: JUMPI 00001fe0: PUSH1 0x40 00001fe2: MLOAD 00001fe3: PUSH3 0x461bcd 00001fe7: PUSH1 0xe5 00001fe9: SHL 00001fea: DUP2 00001feb: MSTORE 00001fec: PUSH1 0x20 00001fee: PUSH1 0x04 00001ff0: DUP3 00001ff1: ADD 00001ff2: MSTORE 00001ff3: PUSH1 0x28 00001ff5: PUSH1 0x24 00001ff7: DUP3 00001ff8: ADD 00001ff9: MSTORE 00001ffa: PUSH32 0x455243313135353a2069647320616e6420616d6f756e7473206c656e67746820 0000201b: PUSH1 0x44 0000201d: DUP3 0000201e: ADD 0000201f: MSTORE 00002020: PUSH8 0x0dad2e6dac2e8c6d 00002029: PUSH1 0xc3 0000202b: SHL 0000202c: PUSH1 0x64 0000202e: DUP3 0000202f: ADD 00002030: MSTORE 00002031: PUSH1 0x84 00002033: ADD 00002034: PUSH2 0x06f6 00002037: JUMP 00002038: JUMPDEST 00002039: PUSH1 0x40 0000203b: DUP1 0000203c: MLOAD 0000203d: PUSH1 0x20 0000203f: DUP2 00002040: ADD 00002041: SWAP1 00002042: SWAP2 00002043: MSTORE 00002044: PUSH1 0x00 00002046: SWAP1 00002047: DUP2 00002048: SWAP1 00002049: MSTORE 0000204a: CALLER 0000204b: SWAP1 0000204c: JUMPDEST 0000204d: DUP4 0000204e: MLOAD 0000204f: DUP2 00002050: LT 00002051: ISZERO 00002052: PUSH2 0x214a 00002055: JUMPI 00002056: PUSH1 0x00 00002058: DUP5 00002059: DUP3 0000205a: DUP2 0000205b: MLOAD 0000205c: DUP2 0000205d: LT 0000205e: PUSH2 0x2069 00002061: JUMPI 00002062: PUSH2 0x2069 00002065: PUSH2 0x3284 00002068: JUMP 00002069: JUMPDEST 0000206a: PUSH1 0x20 0000206c: MUL 0000206d: PUSH1 0x20 0000206f: ADD 00002070: ADD 00002071: MLOAD 00002072: SWAP1 00002073: POP 00002074: PUSH1 0x00 00002076: DUP5 00002077: DUP4 00002078: DUP2 00002079: MLOAD 0000207a: DUP2 0000207b: LT 0000207c: PUSH2 0x2087 0000207f: JUMPI 00002080: PUSH2 0x2087 00002083: PUSH2 0x3284 00002086: JUMP 00002087: JUMPDEST 00002088: PUSH1 0x20 0000208a: SWAP1 0000208b: DUP2 0000208c: MUL 0000208d: SWAP2 0000208e: SWAP1 0000208f: SWAP2 00002090: ADD 00002091: DUP2 00002092: ADD 00002093: MLOAD 00002094: PUSH1 0x00 00002096: DUP5 00002097: DUP2 00002098: MSTORE 00002099: DUP1 0000209a: DUP4 0000209b: MSTORE 0000209c: PUSH1 0x40 0000209e: DUP1 0000209f: DUP3 000020a0: KECCAK256 000020a1: PUSH1 0x01 000020a3: PUSH1 0x01 000020a5: PUSH1 0xa0 000020a7: SHL 000020a8: SUB 000020a9: DUP13 000020aa: AND 000020ab: DUP4 000020ac: MSTORE 000020ad: SWAP1 000020ae: SWAP4 000020af: MSTORE 000020b0: SWAP2 000020b1: SWAP1 000020b2: SWAP2 000020b3: KECCAK256 000020b4: SLOAD 000020b5: SWAP1 000020b6: SWAP2 000020b7: POP 000020b8: DUP2 000020b9: DUP2 000020ba: LT 000020bb: ISZERO 000020bc: PUSH2 0x2113 000020bf: JUMPI 000020c0: PUSH1 0x40 000020c2: MLOAD 000020c3: PUSH3 0x461bcd 000020c7: PUSH1 0xe5 000020c9: SHL 000020ca: DUP2 000020cb: MSTORE 000020cc: PUSH1 0x20 000020ce: PUSH1 0x04 000020d0: DUP3 000020d1: ADD 000020d2: MSTORE 000020d3: PUSH1 0x24 000020d5: DUP1 000020d6: DUP3 000020d7: ADD 000020d8: MSTORE 000020d9: PUSH32 0x455243313135353a206275726e20616d6f756e7420657863656564732062616c 000020fa: PUSH1 0x44 000020fc: DUP3 000020fd: ADD 000020fe: MSTORE 000020ff: PUSH4 0x616e6365 00002104: PUSH1 0xe0 00002106: SHL 00002107: PUSH1 0x64 00002109: DUP3 0000210a: ADD 0000210b: MSTORE 0000210c: PUSH1 0x84 0000210e: ADD 0000210f: PUSH2 0x06f6 00002112: JUMP 00002113: JUMPDEST 00002114: PUSH1 0x00 00002116: SWAP3 00002117: DUP4 00002118: MSTORE 00002119: PUSH1 0x20 0000211b: DUP4 0000211c: DUP2 0000211d: MSTORE 0000211e: PUSH1 0x40 00002120: DUP1 00002121: DUP6 00002122: KECCAK256 00002123: PUSH1 0x01 00002125: PUSH1 0x01 00002127: PUSH1 0xa0 00002129: SHL 0000212a: SUB 0000212b: DUP12 0000212c: AND 0000212d: DUP7 0000212e: MSTORE 0000212f: SWAP1 00002130: SWAP2 00002131: MSTORE 00002132: SWAP1 00002133: SWAP3 00002134: KECCAK256 00002135: SWAP2 00002136: SUB 00002137: SWAP1 00002138: SSTORE 00002139: DUP1 0000213a: PUSH2 0x2142 0000213d: DUP2 0000213e: PUSH2 0x3253 00002141: JUMP 00002142: JUMPDEST 00002143: SWAP2 00002144: POP 00002145: POP 00002146: PUSH2 0x204c 00002149: JUMP 0000214a: JUMPDEST 0000214b: POP 0000214c: PUSH1 0x00 0000214e: PUSH1 0x01 00002150: PUSH1 0x01 00002152: PUSH1 0xa0 00002154: SHL 00002155: SUB 00002156: AND 00002157: DUP5 00002158: PUSH1 0x01 0000215a: PUSH1 0x01 0000215c: PUSH1 0xa0 0000215e: SHL 0000215f: SUB 00002160: AND 00002161: DUP3 00002162: PUSH1 0x01 00002164: PUSH1 0x01 00002166: PUSH1 0xa0 00002168: SHL 00002169: SUB 0000216a: AND 0000216b: PUSH32 0x4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb 0000218c: DUP7 0000218d: DUP7 0000218e: PUSH1 0x40 00002190: MLOAD 00002191: PUSH2 0x219b 00002194: SWAP3 00002195: SWAP2 00002196: SWAP1 00002197: PUSH2 0x3138 0000219a: JUMP 0000219b: JUMPDEST 0000219c: PUSH1 0x40 0000219e: MLOAD 0000219f: DUP1 000021a0: SWAP2 000021a1: SUB 000021a2: SWAP1 000021a3: LOG4 000021a4: POP 000021a5: POP 000021a6: POP 000021a7: POP 000021a8: JUMP 000021a9: JUMPDEST 000021aa: PUSH1 0x03 000021ac: DUP1 000021ad: SLOAD 000021ae: PUSH1 0x01 000021b0: PUSH1 0x01 000021b2: PUSH1 0xa0 000021b4: SHL 000021b5: SUB 000021b6: DUP4 000021b7: DUP2 000021b8: AND 000021b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021ce: NOT 000021cf: DUP4 000021d0: AND 000021d1: DUP2 000021d2: OR 000021d3: SWAP1 000021d4: SWAP4 000021d5: SSTORE 000021d6: PUSH1 0x40 000021d8: MLOAD 000021d9: SWAP2 000021da: AND 000021db: SWAP2 000021dc: SWAP1 000021dd: DUP3 000021de: SWAP1 000021df: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00002200: SWAP1 00002201: PUSH1 0x00 00002203: SWAP1 00002204: LOG3 00002205: POP 00002206: POP 00002207: JUMP 00002208: JUMPDEST 00002209: DUP2 0000220a: PUSH1 0x01 0000220c: PUSH1 0x01 0000220e: PUSH1 0xa0 00002210: SHL 00002211: SUB 00002212: AND 00002213: DUP4 00002214: PUSH1 0x01 00002216: PUSH1 0x01 00002218: PUSH1 0xa0 0000221a: SHL 0000221b: SUB 0000221c: AND 0000221d: EQ 0000221e: ISZERO 0000221f: PUSH2 0x2290 00002222: JUMPI 00002223: PUSH1 0x40 00002225: MLOAD 00002226: PUSH3 0x461bcd 0000222a: PUSH1 0xe5 0000222c: SHL 0000222d: DUP2 0000222e: MSTORE 0000222f: PUSH1 0x20 00002231: PUSH1 0x04 00002233: DUP3 00002234: ADD 00002235: MSTORE 00002236: PUSH1 0x29 00002238: PUSH1 0x24 0000223a: DUP3 0000223b: ADD 0000223c: MSTORE 0000223d: PUSH32 0x455243313135353a2073657474696e6720617070726f76616c20737461747573 0000225e: PUSH1 0x44 00002260: DUP3 00002261: ADD 00002262: MSTORE 00002263: PUSH32 0x20666f722073656c660000000000000000000000000000000000000000000000 00002284: PUSH1 0x64 00002286: DUP3 00002287: ADD 00002288: MSTORE 00002289: PUSH1 0x84 0000228b: ADD 0000228c: PUSH2 0x06f6 0000228f: JUMP 00002290: JUMPDEST 00002291: PUSH1 0x01 00002293: PUSH1 0x01 00002295: PUSH1 0xa0 00002297: SHL 00002298: SUB 00002299: DUP4 0000229a: DUP2 0000229b: AND 0000229c: PUSH1 0x00 0000229e: DUP2 0000229f: DUP2 000022a0: MSTORE 000022a1: PUSH1 0x01 000022a3: PUSH1 0x20 000022a5: SWAP1 000022a6: DUP2 000022a7: MSTORE 000022a8: PUSH1 0x40 000022aa: DUP1 000022ab: DUP4 000022ac: KECCAK256 000022ad: SWAP5 000022ae: DUP8 000022af: AND 000022b0: DUP1 000022b1: DUP5 000022b2: MSTORE 000022b3: SWAP5 000022b4: DUP3 000022b5: MSTORE 000022b6: SWAP2 000022b7: DUP3 000022b8: SWAP1 000022b9: KECCAK256 000022ba: DUP1 000022bb: SLOAD 000022bc: PUSH1 0xff 000022be: NOT 000022bf: AND 000022c0: DUP7 000022c1: ISZERO 000022c2: ISZERO 000022c3: SWAP1 000022c4: DUP2 000022c5: OR 000022c6: SWAP1 000022c7: SWAP2 000022c8: SSTORE 000022c9: SWAP2 000022ca: MLOAD 000022cb: SWAP2 000022cc: DUP3 000022cd: MSTORE 000022ce: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 000022ef: SWAP2 000022f0: ADD 000022f1: PUSH1 0x40 000022f3: MLOAD 000022f4: DUP1 000022f5: SWAP2 000022f6: SUB 000022f7: SWAP1 000022f8: LOG3 000022f9: POP 000022fa: POP 000022fb: POP 000022fc: JUMP 000022fd: JUMPDEST 000022fe: PUSH1 0x01 00002300: PUSH1 0x01 00002302: PUSH1 0xa0 00002304: SHL 00002305: SUB 00002306: DUP5 00002307: AND 00002308: PUSH2 0x2361 0000230b: JUMPI 0000230c: PUSH1 0x40 0000230e: MLOAD 0000230f: PUSH3 0x461bcd 00002313: PUSH1 0xe5 00002315: SHL 00002316: DUP2 00002317: MSTORE 00002318: PUSH1 0x20 0000231a: PUSH1 0x04 0000231c: DUP3 0000231d: ADD 0000231e: MSTORE 0000231f: PUSH1 0x25 00002321: PUSH1 0x24 00002323: DUP3 00002324: ADD 00002325: MSTORE 00002326: PUSH32 0x455243313135353a207472616e7366657220746f20746865207a65726f206164 00002347: PUSH1 0x44 00002349: DUP3 0000234a: ADD 0000234b: MSTORE 0000234c: PUSH5 0x6472657373 00002352: PUSH1 0xd8 00002354: SHL 00002355: PUSH1 0x64 00002357: DUP3 00002358: ADD 00002359: MSTORE 0000235a: PUSH1 0x84 0000235c: ADD 0000235d: PUSH2 0x06f6 00002360: JUMP 00002361: JUMPDEST 00002362: CALLER 00002363: PUSH2 0x2371 00002366: DUP2 00002367: DUP8 00002368: DUP8 00002369: PUSH2 0x1edb 0000236c: DUP9 0000236d: PUSH2 0x27ca 00002370: JUMP 00002371: JUMPDEST 00002372: PUSH1 0x00 00002374: DUP5 00002375: DUP2 00002376: MSTORE 00002377: PUSH1 0x20 00002379: DUP2 0000237a: DUP2 0000237b: MSTORE 0000237c: PUSH1 0x40 0000237e: DUP1 0000237f: DUP4 00002380: KECCAK256 00002381: PUSH1 0x01 00002383: PUSH1 0x01 00002385: PUSH1 0xa0 00002387: SHL 00002388: SUB 00002389: DUP11 0000238a: AND 0000238b: DUP5 0000238c: MSTORE 0000238d: SWAP1 0000238e: SWAP2 0000238f: MSTORE 00002390: SWAP1 00002391: KECCAK256 00002392: SLOAD 00002393: DUP4 00002394: DUP2 00002395: LT 00002396: ISZERO 00002397: PUSH2 0x23f5 0000239a: JUMPI 0000239b: PUSH1 0x40 0000239d: MLOAD 0000239e: PUSH3 0x461bcd 000023a2: PUSH1 0xe5 000023a4: SHL 000023a5: DUP2 000023a6: MSTORE 000023a7: PUSH1 0x20 000023a9: PUSH1 0x04 000023ab: DUP3 000023ac: ADD 000023ad: MSTORE 000023ae: PUSH1 0x2a 000023b0: PUSH1 0x24 000023b2: DUP3 000023b3: ADD 000023b4: MSTORE 000023b5: PUSH32 0x455243313135353a20696e73756666696369656e742062616c616e636520666f 000023d6: PUSH1 0x44 000023d8: DUP3 000023d9: ADD 000023da: MSTORE 000023db: PUSH10 0x39103a3930b739b332b9 000023e6: PUSH1 0xb1 000023e8: SHL 000023e9: PUSH1 0x64 000023eb: DUP3 000023ec: ADD 000023ed: MSTORE 000023ee: PUSH1 0x84 000023f0: ADD 000023f1: PUSH2 0x06f6 000023f4: JUMP 000023f5: JUMPDEST 000023f6: PUSH1 0x00 000023f8: DUP6 000023f9: DUP2 000023fa: MSTORE 000023fb: PUSH1 0x20 000023fd: DUP2 000023fe: DUP2 000023ff: MSTORE 00002400: PUSH1 0x40 00002402: DUP1 00002403: DUP4 00002404: KECCAK256 00002405: PUSH1 0x01 00002407: PUSH1 0x01 00002409: PUSH1 0xa0 0000240b: SHL 0000240c: SUB 0000240d: DUP12 0000240e: DUP2 0000240f: AND 00002410: DUP6 00002411: MSTORE 00002412: SWAP3 00002413: MSTORE 00002414: DUP1 00002415: DUP4 00002416: KECCAK256 00002417: DUP8 00002418: DUP6 00002419: SUB 0000241a: SWAP1 0000241b: SSTORE 0000241c: SWAP1 0000241d: DUP9 0000241e: AND 0000241f: DUP3 00002420: MSTORE 00002421: DUP2 00002422: KECCAK256 00002423: DUP1 00002424: SLOAD 00002425: DUP7 00002426: SWAP3 00002427: SWAP1 00002428: PUSH2 0x2432 0000242b: SWAP1 0000242c: DUP5 0000242d: SWAP1 0000242e: PUSH2 0x319d 00002431: JUMP 00002432: JUMPDEST 00002433: SWAP1 00002434: SWAP2 00002435: SSTORE 00002436: POP 00002437: POP 00002438: PUSH1 0x40 0000243a: DUP1 0000243b: MLOAD 0000243c: DUP7 0000243d: DUP2 0000243e: MSTORE 0000243f: PUSH1 0x20 00002441: DUP2 00002442: ADD 00002443: DUP7 00002444: SWAP1 00002445: MSTORE 00002446: PUSH1 0x01 00002448: PUSH1 0x01 0000244a: PUSH1 0xa0 0000244c: SHL 0000244d: SUB 0000244e: DUP1 0000244f: DUP10 00002450: AND 00002451: SWAP3 00002452: DUP11 00002453: DUP3 00002454: AND 00002455: SWAP3 00002456: SWAP2 00002457: DUP7 00002458: AND 00002459: SWAP2 0000245a: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62 0000247b: SWAP2 0000247c: ADD 0000247d: PUSH1 0x40 0000247f: MLOAD 00002480: DUP1 00002481: SWAP2 00002482: SUB 00002483: SWAP1 00002484: LOG4 00002485: PUSH2 0x2492 00002488: DUP3 00002489: DUP9 0000248a: DUP9 0000248b: DUP9 0000248c: DUP9 0000248d: DUP9 0000248e: PUSH2 0x2815 00002491: JUMP 00002492: JUMPDEST 00002493: POP 00002494: POP 00002495: POP 00002496: POP 00002497: POP 00002498: POP 00002499: POP 0000249a: JUMP 0000249b: JUMPDEST 0000249c: PUSH1 0x01 0000249e: PUSH1 0x01 000024a0: PUSH1 0xa0 000024a2: SHL 000024a3: SUB 000024a4: DUP4 000024a5: AND 000024a6: PUSH2 0x24fd 000024a9: JUMPI 000024aa: PUSH1 0x40 000024ac: MLOAD 000024ad: PUSH3 0x461bcd 000024b1: PUSH1 0xe5 000024b3: SHL 000024b4: DUP2 000024b5: MSTORE 000024b6: PUSH1 0x20 000024b8: PUSH1 0x04 000024ba: DUP3 000024bb: ADD 000024bc: MSTORE 000024bd: PUSH1 0x23 000024bf: PUSH1 0x24 000024c1: DUP3 000024c2: ADD 000024c3: MSTORE 000024c4: PUSH32 0x455243313135353a206275726e2066726f6d20746865207a65726f2061646472 000024e5: PUSH1 0x44 000024e7: DUP3 000024e8: ADD 000024e9: MSTORE 000024ea: PUSH3 0x657373 000024ee: PUSH1 0xe8 000024f0: SHL 000024f1: PUSH1 0x64 000024f3: DUP3 000024f4: ADD 000024f5: MSTORE 000024f6: PUSH1 0x84 000024f8: ADD 000024f9: PUSH2 0x06f6 000024fc: JUMP 000024fd: JUMPDEST 000024fe: CALLER 000024ff: PUSH2 0x252d 00002502: DUP2 00002503: DUP6 00002504: PUSH1 0x00 00002506: PUSH2 0x250e 00002509: DUP8 0000250a: PUSH2 0x27ca 0000250d: JUMP 0000250e: JUMPDEST 0000250f: PUSH2 0x2517 00002512: DUP8 00002513: PUSH2 0x27ca 00002516: JUMP 00002517: JUMPDEST 00002518: POP 00002519: POP 0000251a: PUSH1 0x40 0000251c: DUP1 0000251d: MLOAD 0000251e: PUSH1 0x20 00002520: DUP2 00002521: ADD 00002522: SWAP1 00002523: SWAP2 00002524: MSTORE 00002525: PUSH1 0x00 00002527: SWAP1 00002528: MSTORE 00002529: POP 0000252a: POP 0000252b: POP 0000252c: JUMP 0000252d: JUMPDEST 0000252e: PUSH1 0x00 00002530: DUP4 00002531: DUP2 00002532: MSTORE 00002533: PUSH1 0x20 00002535: DUP2 00002536: DUP2 00002537: MSTORE 00002538: PUSH1 0x40 0000253a: DUP1 0000253b: DUP4 0000253c: KECCAK256 0000253d: PUSH1 0x01 0000253f: PUSH1 0x01 00002541: PUSH1 0xa0 00002543: SHL 00002544: SUB 00002545: DUP9 00002546: AND 00002547: DUP5 00002548: MSTORE 00002549: SWAP1 0000254a: SWAP2 0000254b: MSTORE 0000254c: SWAP1 0000254d: KECCAK256 0000254e: SLOAD 0000254f: DUP3 00002550: DUP2 00002551: LT 00002552: ISZERO 00002553: PUSH2 0x25aa 00002556: JUMPI 00002557: PUSH1 0x40 00002559: MLOAD 0000255a: PUSH3 0x461bcd 0000255e: PUSH1 0xe5 00002560: SHL 00002561: DUP2 00002562: MSTORE 00002563: PUSH1 0x20 00002565: PUSH1 0x04 00002567: DUP3 00002568: ADD 00002569: MSTORE 0000256a: PUSH1 0x24 0000256c: DUP1 0000256d: DUP3 0000256e: ADD 0000256f: MSTORE 00002570: PUSH32 0x455243313135353a206275726e20616d6f756e7420657863656564732062616c 00002591: PUSH1 0x44 00002593: DUP3 00002594: ADD 00002595: MSTORE 00002596: PUSH4 0x616e6365 0000259b: PUSH1 0xe0 0000259d: SHL 0000259e: PUSH1 0x64 000025a0: DUP3 000025a1: ADD 000025a2: MSTORE 000025a3: PUSH1 0x84 000025a5: ADD 000025a6: PUSH2 0x06f6 000025a9: JUMP 000025aa: JUMPDEST 000025ab: PUSH1 0x00 000025ad: DUP5 000025ae: DUP2 000025af: MSTORE 000025b0: PUSH1 0x20 000025b2: DUP2 000025b3: DUP2 000025b4: MSTORE 000025b5: PUSH1 0x40 000025b7: DUP1 000025b8: DUP4 000025b9: KECCAK256 000025ba: PUSH1 0x01 000025bc: PUSH1 0x01 000025be: PUSH1 0xa0 000025c0: SHL 000025c1: SUB 000025c2: DUP10 000025c3: DUP2 000025c4: AND 000025c5: DUP1 000025c6: DUP7 000025c7: MSTORE 000025c8: SWAP2 000025c9: DUP5 000025ca: MSTORE 000025cb: DUP3 000025cc: DUP6 000025cd: KECCAK256 000025ce: DUP9 000025cf: DUP8 000025d0: SUB 000025d1: SWAP1 000025d2: SSTORE 000025d3: DUP3 000025d4: MLOAD 000025d5: DUP10 000025d6: DUP2 000025d7: MSTORE 000025d8: SWAP4 000025d9: DUP5 000025da: ADD 000025db: DUP9 000025dc: SWAP1 000025dd: MSTORE 000025de: SWAP1 000025df: SWAP3 000025e0: SWAP1 000025e1: DUP7 000025e2: AND 000025e3: SWAP2 000025e4: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62 00002605: SWAP2 00002606: ADD 00002607: PUSH1 0x40 00002609: MLOAD 0000260a: DUP1 0000260b: SWAP2 0000260c: SUB 0000260d: SWAP1 0000260e: LOG4 0000260f: POP 00002610: POP 00002611: POP 00002612: POP 00002613: POP 00002614: JUMP 00002615: JUMPDEST 00002616: PUSH1 0x01 00002618: PUSH1 0x01 0000261a: PUSH1 0xa0 0000261c: SHL 0000261d: SUB 0000261e: DUP5 0000261f: AND 00002620: EXTCODESIZE 00002621: ISZERO 00002622: PUSH2 0x1e20 00002625: JUMPI 00002626: PUSH1 0x40 00002628: MLOAD 00002629: PUSH4 0xbc197c81 0000262e: PUSH1 0xe0 00002630: SHL 00002631: DUP2 00002632: MSTORE 00002633: PUSH1 0x01 00002635: PUSH1 0x01 00002637: PUSH1 0xa0 00002639: SHL 0000263a: SUB 0000263b: DUP6 0000263c: AND 0000263d: SWAP1 0000263e: PUSH4 0xbc197c81 00002643: SWAP1 00002644: PUSH2 0x2659 00002647: SWAP1 00002648: DUP10 00002649: SWAP1 0000264a: DUP10 0000264b: SWAP1 0000264c: DUP9 0000264d: SWAP1 0000264e: DUP9 0000264f: SWAP1 00002650: DUP9 00002651: SWAP1 00002652: PUSH1 0x04 00002654: ADD 00002655: PUSH2 0x3084 00002658: JUMP 00002659: JUMPDEST 0000265a: PUSH1 0x20 0000265c: PUSH1 0x40 0000265e: MLOAD 0000265f: DUP1 00002660: DUP4 00002661: SUB 00002662: DUP2 00002663: PUSH1 0x00 00002665: DUP8 00002666: DUP1 00002667: EXTCODESIZE 00002668: ISZERO 00002669: DUP1 0000266a: ISZERO 0000266b: PUSH2 0x2673 0000266e: JUMPI 0000266f: PUSH1 0x00 00002671: DUP1 00002672: REVERT 00002673: JUMPDEST 00002674: POP 00002675: GAS 00002676: CALL 00002677: SWAP3 00002678: POP 00002679: POP 0000267a: POP 0000267b: DUP1 0000267c: ISZERO 0000267d: PUSH2 0x26a3 00002680: JUMPI 00002681: POP 00002682: PUSH1 0x40 00002684: DUP1 00002685: MLOAD 00002686: PUSH1 0x1f 00002688: RETURNDATASIZE 00002689: SWAP1 0000268a: DUP2 0000268b: ADD 0000268c: PUSH1 0x1f 0000268e: NOT 0000268f: AND 00002690: DUP3 00002691: ADD 00002692: SWAP1 00002693: SWAP3 00002694: MSTORE 00002695: PUSH2 0x26a0 00002698: SWAP2 00002699: DUP2 0000269a: ADD 0000269b: SWAP1 0000269c: PUSH2 0x2f19 0000269f: JUMP 000026a0: JUMPDEST 000026a1: PUSH1 0x01 000026a3: JUMPDEST 000026a4: PUSH2 0x2759 000026a7: JUMPI 000026a8: PUSH2 0x26af 000026ab: PUSH2 0x32b0 000026ae: JUMP 000026af: JUMPDEST 000026b0: DUP1 000026b1: PUSH4 0x08c379a0 000026b6: EQ 000026b7: ISZERO 000026b8: PUSH2 0x26e9 000026bb: JUMPI 000026bc: POP 000026bd: PUSH2 0x26c4 000026c0: PUSH2 0x32cb 000026c3: JUMP 000026c4: JUMPDEST 000026c5: DUP1 000026c6: PUSH2 0x26cf 000026c9: JUMPI 000026ca: POP 000026cb: PUSH2 0x26eb 000026ce: JUMP 000026cf: JUMPDEST 000026d0: DUP1 000026d1: PUSH1 0x40 000026d3: MLOAD 000026d4: PUSH3 0x461bcd 000026d8: PUSH1 0xe5 000026da: SHL 000026db: DUP2 000026dc: MSTORE 000026dd: PUSH1 0x04 000026df: ADD 000026e0: PUSH2 0x06f6 000026e3: SWAP2 000026e4: SWAP1 000026e5: PUSH2 0x3166 000026e8: JUMP 000026e9: JUMPDEST 000026ea: POP 000026eb: JUMPDEST 000026ec: PUSH1 0x40 000026ee: MLOAD 000026ef: PUSH3 0x461bcd 000026f3: PUSH1 0xe5 000026f5: SHL 000026f6: DUP2 000026f7: MSTORE 000026f8: PUSH1 0x20 000026fa: PUSH1 0x04 000026fc: DUP3 000026fd: ADD 000026fe: MSTORE 000026ff: PUSH1 0x34 00002701: PUSH1 0x24 00002703: DUP3 00002704: ADD 00002705: MSTORE 00002706: PUSH32 0x455243313135353a207472616e7366657220746f206e6f6e2045524331313535 00002727: PUSH1 0x44 00002729: DUP3 0000272a: ADD 0000272b: MSTORE 0000272c: PUSH32 0x526563656976657220696d706c656d656e746572000000000000000000000000 0000274d: PUSH1 0x64 0000274f: DUP3 00002750: ADD 00002751: MSTORE 00002752: PUSH1 0x84 00002754: ADD 00002755: PUSH2 0x06f6 00002758: JUMP 00002759: JUMPDEST 0000275a: PUSH1 0x01 0000275c: PUSH1 0x01 0000275e: PUSH1 0xe0 00002760: SHL 00002761: SUB 00002762: NOT 00002763: DUP2 00002764: AND 00002765: PUSH4 0xbc197c81 0000276a: PUSH1 0xe0 0000276c: SHL 0000276d: EQ 0000276e: PUSH2 0x2492 00002771: JUMPI 00002772: PUSH1 0x40 00002774: MLOAD 00002775: PUSH3 0x461bcd 00002779: PUSH1 0xe5 0000277b: SHL 0000277c: DUP2 0000277d: MSTORE 0000277e: PUSH1 0x20 00002780: PUSH1 0x04 00002782: DUP3 00002783: ADD 00002784: MSTORE 00002785: PUSH1 0x28 00002787: PUSH1 0x24 00002789: DUP3 0000278a: ADD 0000278b: MSTORE 0000278c: PUSH32 0x455243313135353a204552433131353552656365697665722072656a65637465 000027ad: PUSH1 0x44 000027af: DUP3 000027b0: ADD 000027b1: MSTORE 000027b2: PUSH8 0x6420746f6b656e73 000027bb: PUSH1 0xc0 000027bd: SHL 000027be: PUSH1 0x64 000027c0: DUP3 000027c1: ADD 000027c2: MSTORE 000027c3: PUSH1 0x84 000027c5: ADD 000027c6: PUSH2 0x06f6 000027c9: JUMP 000027ca: JUMPDEST 000027cb: PUSH1 0x40 000027cd: DUP1 000027ce: MLOAD 000027cf: PUSH1 0x01 000027d1: DUP1 000027d2: DUP3 000027d3: MSTORE 000027d4: DUP2 000027d5: DUP4 000027d6: ADD 000027d7: SWAP1 000027d8: SWAP3 000027d9: MSTORE 000027da: PUSH1 0x60 000027dc: SWAP2 000027dd: PUSH1 0x00 000027df: SWAP2 000027e0: SWAP1 000027e1: PUSH1 0x20 000027e3: DUP1 000027e4: DUP4 000027e5: ADD 000027e6: SWAP1 000027e7: DUP1 000027e8: CALLDATASIZE 000027e9: DUP4 000027ea: CALLDATACOPY 000027eb: ADD 000027ec: SWAP1 000027ed: POP 000027ee: POP 000027ef: SWAP1 000027f0: POP 000027f1: DUP3 000027f2: DUP2 000027f3: PUSH1 0x00 000027f5: DUP2 000027f6: MLOAD 000027f7: DUP2 000027f8: LT 000027f9: PUSH2 0x2804 000027fc: JUMPI 000027fd: PUSH2 0x2804 00002800: PUSH2 0x3284 00002803: JUMP 00002804: JUMPDEST 00002805: PUSH1 0x20 00002807: SWAP1 00002808: DUP2 00002809: MUL 0000280a: SWAP2 0000280b: SWAP1 0000280c: SWAP2 0000280d: ADD 0000280e: ADD 0000280f: MSTORE 00002810: SWAP3 00002811: SWAP2 00002812: POP 00002813: POP 00002814: JUMP 00002815: JUMPDEST 00002816: PUSH1 0x01 00002818: PUSH1 0x01 0000281a: PUSH1 0xa0 0000281c: SHL 0000281d: SUB 0000281e: DUP5 0000281f: AND 00002820: EXTCODESIZE 00002821: ISZERO 00002822: PUSH2 0x1e20 00002825: JUMPI 00002826: PUSH1 0x40 00002828: MLOAD 00002829: PUSH4 0xf23a6e61 0000282e: PUSH1 0xe0 00002830: SHL 00002831: DUP2 00002832: MSTORE 00002833: PUSH1 0x01 00002835: PUSH1 0x01 00002837: PUSH1 0xa0 00002839: SHL 0000283a: SUB 0000283b: DUP6 0000283c: AND 0000283d: SWAP1 0000283e: PUSH4 0xf23a6e61 00002843: SWAP1 00002844: PUSH2 0x2859 00002847: SWAP1 00002848: DUP10 00002849: SWAP1 0000284a: DUP10 0000284b: SWAP1 0000284c: DUP9 0000284d: SWAP1 0000284e: DUP9 0000284f: SWAP1 00002850: DUP9 00002851: SWAP1 00002852: PUSH1 0x04 00002854: ADD 00002855: PUSH2 0x30e2 00002858: JUMP 00002859: JUMPDEST 0000285a: PUSH1 0x20 0000285c: PUSH1 0x40 0000285e: MLOAD 0000285f: DUP1 00002860: DUP4 00002861: SUB 00002862: DUP2 00002863: PUSH1 0x00 00002865: DUP8 00002866: DUP1 00002867: EXTCODESIZE 00002868: ISZERO 00002869: DUP1 0000286a: ISZERO 0000286b: PUSH2 0x2873 0000286e: JUMPI 0000286f: PUSH1 0x00 00002871: DUP1 00002872: REVERT 00002873: JUMPDEST 00002874: POP 00002875: GAS 00002876: CALL 00002877: SWAP3 00002878: POP 00002879: POP 0000287a: POP 0000287b: DUP1 0000287c: ISZERO 0000287d: PUSH2 0x28a3 00002880: JUMPI 00002881: POP 00002882: PUSH1 0x40 00002884: DUP1 00002885: MLOAD 00002886: PUSH1 0x1f 00002888: RETURNDATASIZE 00002889: SWAP1 0000288a: DUP2 0000288b: ADD 0000288c: PUSH1 0x1f 0000288e: NOT 0000288f: AND 00002890: DUP3 00002891: ADD 00002892: SWAP1 00002893: SWAP3 00002894: MSTORE 00002895: PUSH2 0x28a0 00002898: SWAP2 00002899: DUP2 0000289a: ADD 0000289b: SWAP1 0000289c: PUSH2 0x2f19 0000289f: JUMP 000028a0: JUMPDEST 000028a1: PUSH1 0x01 000028a3: JUMPDEST 000028a4: PUSH2 0x28af 000028a7: JUMPI 000028a8: PUSH2 0x26af 000028ab: PUSH2 0x32b0 000028ae: JUMP 000028af: JUMPDEST 000028b0: PUSH1 0x01 000028b2: PUSH1 0x01 000028b4: PUSH1 0xe0 000028b6: SHL 000028b7: SUB 000028b8: NOT 000028b9: DUP2 000028ba: AND 000028bb: PUSH4 0xf23a6e61 000028c0: PUSH1 0xe0 000028c2: SHL 000028c3: EQ 000028c4: PUSH2 0x2492 000028c7: JUMPI 000028c8: PUSH1 0x40 000028ca: MLOAD 000028cb: PUSH3 0x461bcd 000028cf: PUSH1 0xe5 000028d1: SHL 000028d2: DUP2 000028d3: MSTORE 000028d4: PUSH1 0x20 000028d6: PUSH1 0x04 000028d8: DUP3 000028d9: ADD 000028da: MSTORE 000028db: PUSH1 0x28 000028dd: PUSH1 0x24 000028df: DUP3 000028e0: ADD 000028e1: MSTORE 000028e2: PUSH32 0x455243313135353a204552433131353552656365697665722072656a65637465 00002903: PUSH1 0x44 00002905: DUP3 00002906: ADD 00002907: MSTORE 00002908: PUSH8 0x6420746f6b656e73 00002911: PUSH1 0xc0 00002913: SHL 00002914: PUSH1 0x64 00002916: DUP3 00002917: ADD 00002918: MSTORE 00002919: PUSH1 0x84 0000291b: ADD 0000291c: PUSH2 0x06f6 0000291f: JUMP 00002920: JUMPDEST 00002921: DUP3 00002922: DUP1 00002923: SLOAD 00002924: PUSH2 0x292c 00002927: SWAP1 00002928: PUSH2 0x31eb 0000292b: JUMP 0000292c: JUMPDEST 0000292d: SWAP1 0000292e: PUSH1 0x00 00002930: MSTORE 00002931: PUSH1 0x20 00002933: PUSH1 0x00 00002935: KECCAK256 00002936: SWAP1 00002937: PUSH1 0x1f 00002939: ADD 0000293a: PUSH1 0x20 0000293c: SWAP1 0000293d: DIV 0000293e: DUP2 0000293f: ADD 00002940: SWAP3 00002941: DUP3 00002942: PUSH2 0x294e 00002945: JUMPI 00002946: PUSH1 0x00 00002948: DUP6 00002949: SSTORE 0000294a: PUSH2 0x2994 0000294d: JUMP 0000294e: JUMPDEST 0000294f: DUP3 00002950: PUSH1 0x1f 00002952: LT 00002953: PUSH2 0x2967 00002956: JUMPI 00002957: DUP1 00002958: MLOAD 00002959: PUSH1 0xff 0000295b: NOT 0000295c: AND 0000295d: DUP4 0000295e: DUP1 0000295f: ADD 00002960: OR 00002961: DUP6 00002962: SSTORE 00002963: PUSH2 0x2994 00002966: JUMP 00002967: JUMPDEST 00002968: DUP3 00002969: DUP1 0000296a: ADD 0000296b: PUSH1 0x01 0000296d: ADD 0000296e: DUP6 0000296f: SSTORE 00002970: DUP3 00002971: ISZERO 00002972: PUSH2 0x2994 00002975: JUMPI 00002976: SWAP2 00002977: DUP3 00002978: ADD 00002979: JUMPDEST 0000297a: DUP3 0000297b: DUP2 0000297c: GT 0000297d: ISZERO 0000297e: PUSH2 0x2994 00002981: JUMPI 00002982: DUP3 00002983: MLOAD 00002984: DUP3 00002985: SSTORE 00002986: SWAP2 00002987: PUSH1 0x20 00002989: ADD 0000298a: SWAP2 0000298b: SWAP1 0000298c: PUSH1 0x01 0000298e: ADD 0000298f: SWAP1 00002990: PUSH2 0x2979 00002993: JUMP 00002994: JUMPDEST 00002995: POP 00002996: PUSH2 0x29a0 00002999: SWAP3 0000299a: SWAP2 0000299b: POP 0000299c: PUSH2 0x29a4 0000299f: JUMP 000029a0: JUMPDEST 000029a1: POP 000029a2: SWAP1 000029a3: JUMP 000029a4: JUMPDEST 000029a5: JUMPDEST 000029a6: DUP1 000029a7: DUP3 000029a8: GT 000029a9: ISZERO 000029aa: PUSH2 0x29a0 000029ad: JUMPI 000029ae: PUSH1 0x00 000029b0: DUP2 000029b1: SSTORE 000029b2: PUSH1 0x01 000029b4: ADD 000029b5: PUSH2 0x29a5 000029b8: JUMP 000029b9: JUMPDEST 000029ba: PUSH1 0x00 000029bc: PUSH8 0xffffffffffffffff 000029c5: DUP4 000029c6: GT 000029c7: ISZERO 000029c8: PUSH2 0x29d3 000029cb: JUMPI 000029cc: PUSH2 0x29d3 000029cf: PUSH2 0x329a 000029d2: JUMP 000029d3: JUMPDEST 000029d4: PUSH1 0x40 000029d6: MLOAD 000029d7: PUSH2 0x29ea 000029da: PUSH1 0x1f 000029dc: DUP6 000029dd: ADD 000029de: PUSH1 0x1f 000029e0: NOT 000029e1: AND 000029e2: PUSH1 0x20 000029e4: ADD 000029e5: DUP3 000029e6: PUSH2 0x3226 000029e9: JUMP 000029ea: JUMPDEST 000029eb: DUP1 000029ec: SWAP2 000029ed: POP 000029ee: DUP4 000029ef: DUP2 000029f0: MSTORE 000029f1: DUP5 000029f2: DUP5 000029f3: DUP5 000029f4: ADD 000029f5: GT 000029f6: ISZERO 000029f7: PUSH2 0x29ff 000029fa: JUMPI 000029fb: PUSH1 0x00 000029fd: DUP1 000029fe: REVERT 000029ff: JUMPDEST 00002a00: DUP4 00002a01: DUP4 00002a02: PUSH1 0x20 00002a04: DUP4 00002a05: ADD 00002a06: CALLDATACOPY 00002a07: PUSH1 0x00 00002a09: PUSH1 0x20 00002a0b: DUP6 00002a0c: DUP4 00002a0d: ADD 00002a0e: ADD 00002a0f: MSTORE 00002a10: POP 00002a11: SWAP4 00002a12: SWAP3 00002a13: POP 00002a14: POP 00002a15: POP 00002a16: JUMP 00002a17: JUMPDEST 00002a18: PUSH1 0x00 00002a1a: DUP3 00002a1b: PUSH1 0x1f 00002a1d: DUP4 00002a1e: ADD 00002a1f: SLT 00002a20: PUSH2 0x2a28 00002a23: JUMPI 00002a24: PUSH1 0x00 00002a26: DUP1 00002a27: REVERT 00002a28: JUMPDEST 00002a29: DUP2 00002a2a: CALLDATALOAD 00002a2b: PUSH1 0x20 00002a2d: PUSH2 0x2a35 00002a30: DUP3 00002a31: PUSH2 0x3179 00002a34: JUMP 00002a35: JUMPDEST 00002a36: PUSH1 0x40 00002a38: MLOAD 00002a39: PUSH2 0x2a42 00002a3c: DUP3 00002a3d: DUP3 00002a3e: PUSH2 0x3226 00002a41: JUMP 00002a42: JUMPDEST 00002a43: DUP4 00002a44: DUP2 00002a45: MSTORE 00002a46: DUP3 00002a47: DUP2 00002a48: ADD 00002a49: SWAP2 00002a4a: POP 00002a4b: DUP6 00002a4c: DUP4 00002a4d: ADD 00002a4e: PUSH1 0x05 00002a50: DUP6 00002a51: SWAP1 00002a52: SHL 00002a53: DUP8 00002a54: ADD 00002a55: DUP5 00002a56: ADD 00002a57: DUP9 00002a58: LT 00002a59: ISZERO 00002a5a: PUSH2 0x2a62 00002a5d: JUMPI 00002a5e: PUSH1 0x00 00002a60: DUP1 00002a61: REVERT 00002a62: JUMPDEST 00002a63: PUSH1 0x00 00002a65: JUMPDEST 00002a66: DUP6 00002a67: DUP2 00002a68: LT 00002a69: ISZERO 00002a6a: PUSH2 0x2a8a 00002a6d: JUMPI 00002a6e: DUP2 00002a6f: CALLDATALOAD 00002a70: PUSH2 0x2a78 00002a73: DUP2 00002a74: PUSH2 0x3355 00002a77: JUMP 00002a78: JUMPDEST 00002a79: DUP5 00002a7a: MSTORE 00002a7b: SWAP3 00002a7c: DUP5 00002a7d: ADD 00002a7e: SWAP3 00002a7f: SWAP1 00002a80: DUP5 00002a81: ADD 00002a82: SWAP1 00002a83: PUSH1 0x01 00002a85: ADD 00002a86: PUSH2 0x2a65 00002a89: JUMP 00002a8a: JUMPDEST 00002a8b: POP 00002a8c: SWAP1 00002a8d: SWAP8 00002a8e: SWAP7 00002a8f: POP 00002a90: POP 00002a91: POP 00002a92: POP 00002a93: POP 00002a94: POP 00002a95: POP 00002a96: JUMP 00002a97: JUMPDEST 00002a98: PUSH1 0x00 00002a9a: DUP3 00002a9b: PUSH1 0x1f 00002a9d: DUP4 00002a9e: ADD 00002a9f: SLT 00002aa0: PUSH2 0x2aa8 00002aa3: JUMPI 00002aa4: PUSH1 0x00 00002aa6: DUP1 00002aa7: REVERT 00002aa8: JUMPDEST 00002aa9: DUP2 00002aaa: CALLDATALOAD 00002aab: PUSH1 0x20 00002aad: PUSH2 0x2ab5 00002ab0: DUP3 00002ab1: PUSH2 0x3179 00002ab4: JUMP 00002ab5: JUMPDEST 00002ab6: PUSH1 0x40 00002ab8: MLOAD 00002ab9: PUSH2 0x2ac2 00002abc: DUP3 00002abd: DUP3 00002abe: PUSH2 0x3226 00002ac1: JUMP 00002ac2: JUMPDEST 00002ac3: DUP4 00002ac4: DUP2 00002ac5: MSTORE 00002ac6: DUP3 00002ac7: DUP2 00002ac8: ADD 00002ac9: SWAP2 00002aca: POP 00002acb: DUP6 00002acc: DUP4 00002acd: ADD 00002ace: PUSH1 0x05 00002ad0: DUP6 00002ad1: SWAP1 00002ad2: SHL 00002ad3: DUP8 00002ad4: ADD 00002ad5: DUP5 00002ad6: ADD 00002ad7: DUP9 00002ad8: LT 00002ad9: ISZERO 00002ada: PUSH2 0x2ae2 00002add: JUMPI 00002ade: PUSH1 0x00 00002ae0: DUP1 00002ae1: REVERT 00002ae2: JUMPDEST 00002ae3: PUSH1 0x00 00002ae5: JUMPDEST 00002ae6: DUP6 00002ae7: DUP2 00002ae8: LT 00002ae9: ISZERO 00002aea: PUSH2 0x2a8a 00002aed: JUMPI 00002aee: DUP2 00002aef: CALLDATALOAD 00002af0: DUP5 00002af1: MSTORE 00002af2: SWAP3 00002af3: DUP5 00002af4: ADD 00002af5: SWAP3 00002af6: SWAP1 00002af7: DUP5 00002af8: ADD 00002af9: SWAP1 00002afa: PUSH1 0x01 00002afc: ADD 00002afd: PUSH2 0x2ae5 00002b00: JUMP 00002b01: JUMPDEST 00002b02: DUP1 00002b03: CALLDATALOAD 00002b04: DUP1 00002b05: ISZERO 00002b06: ISZERO 00002b07: DUP2 00002b08: EQ 00002b09: PUSH2 0x2b11 00002b0c: JUMPI 00002b0d: PUSH1 0x00 00002b0f: DUP1 00002b10: REVERT 00002b11: JUMPDEST 00002b12: SWAP2 00002b13: SWAP1 00002b14: POP 00002b15: JUMP 00002b16: JUMPDEST 00002b17: PUSH1 0x00 00002b19: DUP3 00002b1a: PUSH1 0x1f 00002b1c: DUP4 00002b1d: ADD 00002b1e: SLT 00002b1f: PUSH2 0x2b27 00002b22: JUMPI 00002b23: PUSH1 0x00 00002b25: DUP1 00002b26: REVERT 00002b27: JUMPDEST 00002b28: PUSH2 0x2b36 00002b2b: DUP4 00002b2c: DUP4 00002b2d: CALLDATALOAD 00002b2e: PUSH1 0x20 00002b30: DUP6 00002b31: ADD 00002b32: PUSH2 0x29b9 00002b35: JUMP 00002b36: JUMPDEST 00002b37: SWAP4 00002b38: SWAP3 00002b39: POP 00002b3a: POP 00002b3b: POP 00002b3c: JUMP 00002b3d: JUMPDEST 00002b3e: PUSH1 0x00 00002b40: PUSH1 0x20 00002b42: DUP3 00002b43: DUP5 00002b44: SUB 00002b45: SLT 00002b46: ISZERO 00002b47: PUSH2 0x2b4f 00002b4a: JUMPI 00002b4b: PUSH1 0x00 00002b4d: DUP1 00002b4e: REVERT 00002b4f: JUMPDEST 00002b50: DUP2 00002b51: CALLDATALOAD 00002b52: PUSH2 0x2b36 00002b55: DUP2 00002b56: PUSH2 0x3355 00002b59: JUMP 00002b5a: JUMPDEST 00002b5b: PUSH1 0x00 00002b5d: DUP1 00002b5e: PUSH1 0x40 00002b60: DUP4 00002b61: DUP6 00002b62: SUB 00002b63: SLT 00002b64: ISZERO 00002b65: PUSH2 0x2b6d 00002b68: JUMPI 00002b69: PUSH1 0x00 00002b6b: DUP1 00002b6c: REVERT 00002b6d: JUMPDEST 00002b6e: DUP3 00002b6f: CALLDATALOAD 00002b70: PUSH2 0x2b78 00002b73: DUP2 00002b74: PUSH2 0x3355 00002b77: JUMP 00002b78: JUMPDEST 00002b79: SWAP2 00002b7a: POP 00002b7b: PUSH1 0x20 00002b7d: DUP4 00002b7e: ADD 00002b7f: CALLDATALOAD 00002b80: PUSH2 0x2b88 00002b83: DUP2 00002b84: PUSH2 0x3355 00002b87: JUMP 00002b88: JUMPDEST 00002b89: DUP1 00002b8a: SWAP2 00002b8b: POP 00002b8c: POP 00002b8d: SWAP3 00002b8e: POP 00002b8f: SWAP3 00002b90: SWAP1 00002b91: POP 00002b92: JUMP 00002b93: JUMPDEST 00002b94: PUSH1 0x00 00002b96: DUP1 00002b97: PUSH1 0x00 00002b99: DUP1 00002b9a: PUSH1 0x00 00002b9c: PUSH1 0xa0 00002b9e: DUP7 00002b9f: DUP9 00002ba0: SUB 00002ba1: SLT 00002ba2: ISZERO 00002ba3: PUSH2 0x2bab 00002ba6: JUMPI 00002ba7: PUSH1 0x00 00002ba9: DUP1 00002baa: REVERT 00002bab: JUMPDEST 00002bac: DUP6 00002bad: CALLDATALOAD 00002bae: PUSH2 0x2bb6 00002bb1: DUP2 00002bb2: PUSH2 0x3355 00002bb5: JUMP 00002bb6: JUMPDEST 00002bb7: SWAP5 00002bb8: POP 00002bb9: PUSH1 0x20 00002bbb: DUP7 00002bbc: ADD 00002bbd: CALLDATALOAD 00002bbe: PUSH2 0x2bc6 00002bc1: DUP2 00002bc2: PUSH2 0x3355 00002bc5: JUMP 00002bc6: JUMPDEST 00002bc7: SWAP4 00002bc8: POP 00002bc9: PUSH1 0x40 00002bcb: DUP7 00002bcc: ADD 00002bcd: CALLDATALOAD 00002bce: PUSH8 0xffffffffffffffff 00002bd7: DUP1 00002bd8: DUP3 00002bd9: GT 00002bda: ISZERO 00002bdb: PUSH2 0x2be3 00002bde: JUMPI 00002bdf: PUSH1 0x00 00002be1: DUP1 00002be2: REVERT 00002be3: JUMPDEST 00002be4: PUSH2 0x2bef 00002be7: DUP10 00002be8: DUP4 00002be9: DUP11 00002bea: ADD 00002beb: PUSH2 0x2a97 00002bee: JUMP 00002bef: JUMPDEST 00002bf0: SWAP5 00002bf1: POP 00002bf2: PUSH1 0x60 00002bf4: DUP9 00002bf5: ADD 00002bf6: CALLDATALOAD 00002bf7: SWAP2 00002bf8: POP 00002bf9: DUP1 00002bfa: DUP3 00002bfb: GT 00002bfc: ISZERO 00002bfd: PUSH2 0x2c05 00002c00: JUMPI 00002c01: PUSH1 0x00 00002c03: DUP1 00002c04: REVERT 00002c05: JUMPDEST 00002c06: PUSH2 0x2c11 00002c09: DUP10 00002c0a: DUP4 00002c0b: DUP11 00002c0c: ADD 00002c0d: PUSH2 0x2a97 00002c10: JUMP 00002c11: JUMPDEST 00002c12: SWAP4 00002c13: POP 00002c14: PUSH1 0x80 00002c16: DUP9 00002c17: ADD 00002c18: CALLDATALOAD 00002c19: SWAP2 00002c1a: POP 00002c1b: DUP1 00002c1c: DUP3 00002c1d: GT 00002c1e: ISZERO 00002c1f: PUSH2 0x2c27 00002c22: JUMPI 00002c23: PUSH1 0x00 00002c25: DUP1 00002c26: REVERT 00002c27: JUMPDEST 00002c28: POP 00002c29: PUSH2 0x2c34 00002c2c: DUP9 00002c2d: DUP3 00002c2e: DUP10 00002c2f: ADD 00002c30: PUSH2 0x2b16 00002c33: JUMP 00002c34: JUMPDEST 00002c35: SWAP2 00002c36: POP 00002c37: POP 00002c38: SWAP3 00002c39: SWAP6 00002c3a: POP 00002c3b: SWAP3 00002c3c: SWAP6 00002c3d: SWAP1 00002c3e: SWAP4 00002c3f: POP 00002c40: JUMP 00002c41: JUMPDEST 00002c42: PUSH1 0x00 00002c44: DUP1 00002c45: PUSH1 0x00 00002c47: DUP1 00002c48: PUSH1 0x00 00002c4a: PUSH1 0xa0 00002c4c: DUP7 00002c4d: DUP9 00002c4e: SUB 00002c4f: SLT 00002c50: ISZERO 00002c51: PUSH2 0x2c59 00002c54: JUMPI 00002c55: PUSH1 0x00 00002c57: DUP1 00002c58: REVERT 00002c59: JUMPDEST 00002c5a: DUP6 00002c5b: CALLDATALOAD 00002c5c: PUSH2 0x2c64 00002c5f: DUP2 00002c60: PUSH2 0x3355 00002c63: JUMP 00002c64: JUMPDEST 00002c65: SWAP5 00002c66: POP 00002c67: PUSH1 0x20 00002c69: DUP7 00002c6a: ADD 00002c6b: CALLDATALOAD 00002c6c: PUSH2 0x2c74 00002c6f: DUP2 00002c70: PUSH2 0x3355 00002c73: JUMP 00002c74: JUMPDEST 00002c75: SWAP4 00002c76: POP 00002c77: PUSH1 0x40 00002c79: DUP7 00002c7a: ADD 00002c7b: CALLDATALOAD 00002c7c: SWAP3 00002c7d: POP 00002c7e: PUSH1 0x60 00002c80: DUP7 00002c81: ADD 00002c82: CALLDATALOAD 00002c83: SWAP2 00002c84: POP 00002c85: PUSH1 0x80 00002c87: DUP7 00002c88: ADD 00002c89: CALLDATALOAD 00002c8a: PUSH8 0xffffffffffffffff 00002c93: DUP2 00002c94: GT 00002c95: ISZERO 00002c96: PUSH2 0x2c9e 00002c99: JUMPI 00002c9a: PUSH1 0x00 00002c9c: DUP1 00002c9d: REVERT 00002c9e: JUMPDEST 00002c9f: PUSH2 0x2c34 00002ca2: DUP9 00002ca3: DUP3 00002ca4: DUP10 00002ca5: ADD 00002ca6: PUSH2 0x2b16 00002ca9: JUMP 00002caa: JUMPDEST 00002cab: PUSH1 0x00 00002cad: DUP1 00002cae: PUSH1 0x00 00002cb0: PUSH1 0x60 00002cb2: DUP5 00002cb3: DUP7 00002cb4: SUB 00002cb5: SLT 00002cb6: ISZERO 00002cb7: PUSH2 0x2cbf 00002cba: JUMPI 00002cbb: PUSH1 0x00 00002cbd: DUP1 00002cbe: REVERT 00002cbf: JUMPDEST 00002cc0: DUP4 00002cc1: CALLDATALOAD 00002cc2: PUSH2 0x2cca 00002cc5: DUP2 00002cc6: PUSH2 0x3355 00002cc9: JUMP 00002cca: JUMPDEST 00002ccb: SWAP3 00002ccc: POP 00002ccd: PUSH1 0x20 00002ccf: DUP5 00002cd0: ADD 00002cd1: CALLDATALOAD 00002cd2: PUSH8 0xffffffffffffffff 00002cdb: DUP1 00002cdc: DUP3 00002cdd: GT 00002cde: ISZERO 00002cdf: PUSH2 0x2ce7 00002ce2: JUMPI 00002ce3: PUSH1 0x00 00002ce5: DUP1 00002ce6: REVERT 00002ce7: JUMPDEST 00002ce8: PUSH2 0x2cf3 00002ceb: DUP8 00002cec: DUP4 00002ced: DUP9 00002cee: ADD 00002cef: PUSH2 0x2a97 00002cf2: JUMP 00002cf3: JUMPDEST 00002cf4: SWAP4 00002cf5: POP 00002cf6: PUSH1 0x40 00002cf8: DUP7 00002cf9: ADD 00002cfa: CALLDATALOAD 00002cfb: SWAP2 00002cfc: POP 00002cfd: DUP1 00002cfe: DUP3 00002cff: GT 00002d00: ISZERO 00002d01: PUSH2 0x2d09 00002d04: JUMPI 00002d05: PUSH1 0x00 00002d07: DUP1 00002d08: REVERT 00002d09: JUMPDEST 00002d0a: POP 00002d0b: PUSH2 0x2d16 00002d0e: DUP7 00002d0f: DUP3 00002d10: DUP8 00002d11: ADD 00002d12: PUSH2 0x2a97 00002d15: JUMP 00002d16: JUMPDEST 00002d17: SWAP2 00002d18: POP 00002d19: POP 00002d1a: SWAP3 00002d1b: POP 00002d1c: SWAP3 00002d1d: POP 00002d1e: SWAP3 00002d1f: JUMP 00002d20: JUMPDEST 00002d21: PUSH1 0x00 00002d23: DUP1 00002d24: PUSH1 0x40 00002d26: DUP4 00002d27: DUP6 00002d28: SUB 00002d29: SLT 00002d2a: ISZERO 00002d2b: PUSH2 0x2d33 00002d2e: JUMPI 00002d2f: PUSH1 0x00 00002d31: DUP1 00002d32: REVERT 00002d33: JUMPDEST 00002d34: DUP3 00002d35: CALLDATALOAD 00002d36: PUSH2 0x2d3e 00002d39: DUP2 00002d3a: PUSH2 0x3355 00002d3d: JUMP 00002d3e: JUMPDEST 00002d3f: SWAP2 00002d40: POP 00002d41: PUSH2 0x2d4c 00002d44: PUSH1 0x20 00002d46: DUP5 00002d47: ADD 00002d48: PUSH2 0x2b01 00002d4b: JUMP 00002d4c: JUMPDEST 00002d4d: SWAP1 00002d4e: POP 00002d4f: SWAP3 00002d50: POP 00002d51: SWAP3 00002d52: SWAP1 00002d53: POP 00002d54: JUMP 00002d55: JUMPDEST 00002d56: PUSH1 0x00 00002d58: DUP1 00002d59: PUSH1 0x40 00002d5b: DUP4 00002d5c: DUP6 00002d5d: SUB 00002d5e: SLT 00002d5f: ISZERO 00002d60: PUSH2 0x2d68 00002d63: JUMPI 00002d64: PUSH1 0x00 00002d66: DUP1 00002d67: REVERT 00002d68: JUMPDEST 00002d69: DUP3 00002d6a: CALLDATALOAD 00002d6b: PUSH2 0x2d73 00002d6e: DUP2 00002d6f: PUSH2 0x3355 00002d72: JUMP 00002d73: JUMPDEST 00002d74: SWAP5 00002d75: PUSH1 0x20 00002d77: SWAP4 00002d78: SWAP1 00002d79: SWAP4 00002d7a: ADD 00002d7b: CALLDATALOAD 00002d7c: SWAP4 00002d7d: POP 00002d7e: POP 00002d7f: POP 00002d80: JUMP 00002d81: JUMPDEST 00002d82: PUSH1 0x00 00002d84: DUP1 00002d85: PUSH1 0x00 00002d87: PUSH1 0x60 00002d89: DUP5 00002d8a: DUP7 00002d8b: SUB 00002d8c: SLT 00002d8d: ISZERO 00002d8e: PUSH2 0x2d96 00002d91: JUMPI 00002d92: PUSH1 0x00 00002d94: DUP1 00002d95: REVERT 00002d96: JUMPDEST 00002d97: DUP4 00002d98: CALLDATALOAD 00002d99: PUSH2 0x2da1 00002d9c: DUP2 00002d9d: PUSH2 0x3355 00002da0: JUMP 00002da1: JUMPDEST 00002da2: SWAP6 00002da3: PUSH1 0x20 00002da5: DUP6 00002da6: ADD 00002da7: CALLDATALOAD 00002da8: SWAP6 00002da9: POP 00002daa: PUSH1 0x40 00002dac: SWAP1 00002dad: SWAP5 00002dae: ADD 00002daf: CALLDATALOAD 00002db0: SWAP4 00002db1: SWAP3 00002db2: POP 00002db3: POP 00002db4: POP 00002db5: JUMP 00002db6: JUMPDEST 00002db7: PUSH1 0x00 00002db9: DUP1 00002dba: PUSH1 0x40 00002dbc: DUP4 00002dbd: DUP6 00002dbe: SUB 00002dbf: SLT 00002dc0: ISZERO 00002dc1: PUSH2 0x2dc9 00002dc4: JUMPI 00002dc5: PUSH1 0x00 00002dc7: DUP1 00002dc8: REVERT 00002dc9: JUMPDEST 00002dca: DUP3 00002dcb: CALLDATALOAD 00002dcc: PUSH2 0x2dd4 00002dcf: DUP2 00002dd0: PUSH2 0x3355 00002dd3: JUMP 00002dd4: JUMPDEST 00002dd5: SWAP2 00002dd6: POP 00002dd7: PUSH1 0x20 00002dd9: DUP4 00002dda: ADD 00002ddb: CALLDATALOAD 00002ddc: PUSH1 0xff 00002dde: DUP2 00002ddf: AND 00002de0: DUP2 00002de1: EQ 00002de2: PUSH2 0x2b88 00002de5: JUMPI 00002de6: PUSH1 0x00 00002de8: DUP1 00002de9: REVERT 00002dea: JUMPDEST 00002deb: PUSH1 0x00 00002ded: DUP1 00002dee: PUSH1 0x40 00002df0: DUP4 00002df1: DUP6 00002df2: SUB 00002df3: SLT 00002df4: ISZERO 00002df5: PUSH2 0x2dfd 00002df8: JUMPI 00002df9: PUSH1 0x00 00002dfb: DUP1 00002dfc: REVERT 00002dfd: JUMPDEST 00002dfe: DUP3 00002dff: CALLDATALOAD 00002e00: PUSH8 0xffffffffffffffff 00002e09: DUP1 00002e0a: DUP3 00002e0b: GT 00002e0c: ISZERO 00002e0d: PUSH2 0x2e15 00002e10: JUMPI 00002e11: PUSH1 0x00 00002e13: DUP1 00002e14: REVERT 00002e15: JUMPDEST 00002e16: PUSH2 0x2e21 00002e19: DUP7 00002e1a: DUP4 00002e1b: DUP8 00002e1c: ADD 00002e1d: PUSH2 0x2a17 00002e20: JUMP 00002e21: JUMPDEST 00002e22: SWAP4 00002e23: POP 00002e24: PUSH1 0x20 00002e26: DUP6 00002e27: ADD 00002e28: CALLDATALOAD 00002e29: SWAP2 00002e2a: POP 00002e2b: DUP1 00002e2c: DUP3 00002e2d: GT 00002e2e: ISZERO 00002e2f: PUSH2 0x2e37 00002e32: JUMPI 00002e33: PUSH1 0x00 00002e35: DUP1 00002e36: REVERT 00002e37: JUMPDEST 00002e38: POP 00002e39: PUSH2 0x2e44 00002e3c: DUP6 00002e3d: DUP3 00002e3e: DUP7 00002e3f: ADD 00002e40: PUSH2 0x2a97 00002e43: JUMP 00002e44: JUMPDEST 00002e45: SWAP2 00002e46: POP 00002e47: POP 00002e48: SWAP3 00002e49: POP 00002e4a: SWAP3 00002e4b: SWAP1 00002e4c: POP 00002e4d: JUMP 00002e4e: JUMPDEST 00002e4f: PUSH1 0x00 00002e51: DUP1 00002e52: PUSH1 0x40 00002e54: DUP4 00002e55: DUP6 00002e56: SUB 00002e57: SLT 00002e58: ISZERO 00002e59: PUSH2 0x2e61 00002e5c: JUMPI 00002e5d: PUSH1 0x00 00002e5f: DUP1 00002e60: REVERT 00002e61: JUMPDEST 00002e62: DUP3 00002e63: CALLDATALOAD 00002e64: PUSH8 0xffffffffffffffff 00002e6d: DUP2 00002e6e: GT 00002e6f: ISZERO 00002e70: PUSH2 0x2e78 00002e73: JUMPI 00002e74: PUSH1 0x00 00002e76: DUP1 00002e77: REVERT 00002e78: JUMPDEST 00002e79: PUSH2 0x2e84 00002e7c: DUP6 00002e7d: DUP3 00002e7e: DUP7 00002e7f: ADD 00002e80: PUSH2 0x2a17 00002e83: JUMP 00002e84: JUMPDEST 00002e85: SWAP6 00002e86: PUSH1 0x20 00002e88: SWAP5 00002e89: SWAP1 00002e8a: SWAP5 00002e8b: ADD 00002e8c: CALLDATALOAD 00002e8d: SWAP5 00002e8e: POP 00002e8f: POP 00002e90: POP 00002e91: POP 00002e92: JUMP 00002e93: JUMPDEST 00002e94: PUSH1 0x00 00002e96: DUP1 00002e97: PUSH1 0x00 00002e99: PUSH1 0x60 00002e9b: DUP5 00002e9c: DUP7 00002e9d: SUB 00002e9e: SLT 00002e9f: ISZERO 00002ea0: PUSH2 0x2ea8 00002ea3: JUMPI 00002ea4: PUSH1 0x00 00002ea6: DUP1 00002ea7: REVERT 00002ea8: JUMPDEST 00002ea9: DUP4 00002eaa: CALLDATALOAD 00002eab: PUSH8 0xffffffffffffffff 00002eb4: DUP2 00002eb5: GT 00002eb6: ISZERO 00002eb7: PUSH2 0x2ebf 00002eba: JUMPI 00002ebb: PUSH1 0x00 00002ebd: DUP1 00002ebe: REVERT 00002ebf: JUMPDEST 00002ec0: PUSH2 0x2ecb 00002ec3: DUP7 00002ec4: DUP3 00002ec5: DUP8 00002ec6: ADD 00002ec7: PUSH2 0x2a17 00002eca: JUMP 00002ecb: JUMPDEST 00002ecc: SWAP7 00002ecd: PUSH1 0x20 00002ecf: DUP7 00002ed0: ADD 00002ed1: CALLDATALOAD 00002ed2: SWAP7 00002ed3: POP 00002ed4: PUSH1 0x40 00002ed6: SWAP1 00002ed7: SWAP6 00002ed8: ADD 00002ed9: CALLDATALOAD 00002eda: SWAP5 00002edb: SWAP4 00002edc: POP 00002edd: POP 00002ede: POP 00002edf: POP 00002ee0: JUMP 00002ee1: JUMPDEST 00002ee2: PUSH1 0x00 00002ee4: PUSH1 0x20 00002ee6: DUP3 00002ee7: DUP5 00002ee8: SUB 00002ee9: SLT 00002eea: ISZERO 00002eeb: PUSH2 0x2ef3 00002eee: JUMPI 00002eef: PUSH1 0x00 00002ef1: DUP1 00002ef2: REVERT 00002ef3: JUMPDEST 00002ef4: PUSH2 0x2b36 00002ef7: DUP3 00002ef8: PUSH2 0x2b01 00002efb: JUMP 00002efc: JUMPDEST 00002efd: PUSH1 0x00 00002eff: PUSH1 0x20 00002f01: DUP3 00002f02: DUP5 00002f03: SUB 00002f04: SLT 00002f05: ISZERO 00002f06: PUSH2 0x2f0e 00002f09: JUMPI 00002f0a: PUSH1 0x00 00002f0c: DUP1 00002f0d: REVERT 00002f0e: JUMPDEST 00002f0f: DUP2 00002f10: CALLDATALOAD 00002f11: PUSH2 0x2b36 00002f14: DUP2 00002f15: PUSH2 0x336a 00002f18: JUMP 00002f19: JUMPDEST 00002f1a: PUSH1 0x00 00002f1c: PUSH1 0x20 00002f1e: DUP3 00002f1f: DUP5 00002f20: SUB 00002f21: SLT 00002f22: ISZERO 00002f23: PUSH2 0x2f2b 00002f26: JUMPI 00002f27: PUSH1 0x00 00002f29: DUP1 00002f2a: REVERT 00002f2b: JUMPDEST 00002f2c: DUP2 00002f2d: MLOAD 00002f2e: PUSH2 0x2b36 00002f31: DUP2 00002f32: PUSH2 0x336a 00002f35: JUMP 00002f36: JUMPDEST 00002f37: PUSH1 0x00 00002f39: PUSH1 0x20 00002f3b: DUP3 00002f3c: DUP5 00002f3d: SUB 00002f3e: SLT 00002f3f: ISZERO 00002f40: PUSH2 0x2f48 00002f43: JUMPI 00002f44: PUSH1 0x00 00002f46: DUP1 00002f47: REVERT 00002f48: JUMPDEST 00002f49: DUP2 00002f4a: MLOAD 00002f4b: PUSH2 0x2b36 00002f4e: DUP2 00002f4f: PUSH2 0x3355 00002f52: JUMP 00002f53: JUMPDEST 00002f54: PUSH1 0x00 00002f56: PUSH1 0x20 00002f58: DUP3 00002f59: DUP5 00002f5a: SUB 00002f5b: SLT 00002f5c: ISZERO 00002f5d: PUSH2 0x2f65 00002f60: JUMPI 00002f61: PUSH1 0x00 00002f63: DUP1 00002f64: REVERT 00002f65: JUMPDEST 00002f66: DUP2 00002f67: CALLDATALOAD 00002f68: PUSH8 0xffffffffffffffff 00002f71: DUP2 00002f72: GT 00002f73: ISZERO 00002f74: PUSH2 0x2f7c 00002f77: JUMPI 00002f78: PUSH1 0x00 00002f7a: DUP1 00002f7b: REVERT 00002f7c: JUMPDEST 00002f7d: DUP3 00002f7e: ADD 00002f7f: PUSH1 0x1f 00002f81: DUP2 00002f82: ADD 00002f83: DUP5 00002f84: SGT 00002f85: PUSH2 0x2f8d 00002f88: JUMPI 00002f89: PUSH1 0x00 00002f8b: DUP1 00002f8c: REVERT 00002f8d: JUMPDEST 00002f8e: PUSH2 0x193c 00002f91: DUP5 00002f92: DUP3 00002f93: CALLDATALOAD 00002f94: PUSH1 0x20 00002f96: DUP5 00002f97: ADD 00002f98: PUSH2 0x29b9 00002f9b: JUMP 00002f9c: JUMPDEST 00002f9d: PUSH1 0x00 00002f9f: PUSH1 0x20 00002fa1: DUP3 00002fa2: DUP5 00002fa3: SUB 00002fa4: SLT 00002fa5: ISZERO 00002fa6: PUSH2 0x2fae 00002fa9: JUMPI 00002faa: PUSH1 0x00 00002fac: DUP1 00002fad: REVERT 00002fae: JUMPDEST 00002faf: POP 00002fb0: CALLDATALOAD 00002fb1: SWAP2 00002fb2: SWAP1 00002fb3: POP 00002fb4: JUMP 00002fb5: JUMPDEST 00002fb6: PUSH1 0x00 00002fb8: DUP1 00002fb9: PUSH1 0x40 00002fbb: DUP4 00002fbc: DUP6 00002fbd: SUB 00002fbe: SLT 00002fbf: ISZERO 00002fc0: PUSH2 0x2fc8 00002fc3: JUMPI 00002fc4: PUSH1 0x00 00002fc6: DUP1 00002fc7: REVERT 00002fc8: JUMPDEST 00002fc9: DUP3 00002fca: CALLDATALOAD 00002fcb: SWAP2 00002fcc: POP 00002fcd: PUSH1 0x20 00002fcf: DUP4 00002fd0: ADD 00002fd1: CALLDATALOAD 00002fd2: PUSH2 0x2b88 00002fd5: DUP2 00002fd6: PUSH2 0x3355 00002fd9: JUMP 00002fda: JUMPDEST 00002fdb: PUSH1 0x00 00002fdd: DUP1 00002fde: PUSH1 0x40 00002fe0: DUP4 00002fe1: DUP6 00002fe2: SUB 00002fe3: SLT 00002fe4: ISZERO 00002fe5: PUSH2 0x2fed 00002fe8: JUMPI 00002fe9: PUSH1 0x00 00002feb: DUP1 00002fec: REVERT 00002fed: JUMPDEST 00002fee: POP 00002fef: POP 00002ff0: DUP1 00002ff1: CALLDATALOAD 00002ff2: SWAP3 00002ff3: PUSH1 0x20 00002ff5: SWAP1 00002ff6: SWAP2 00002ff7: ADD 00002ff8: CALLDATALOAD 00002ff9: SWAP2 00002ffa: POP 00002ffb: JUMP 00002ffc: JUMPDEST 00002ffd: PUSH1 0x00 00002fff: DUP2 00003000: MLOAD 00003001: DUP1 00003002: DUP5 00003003: MSTORE 00003004: PUSH1 0x20 00003006: DUP1 00003007: DUP6 00003008: ADD 00003009: SWAP5 0000300a: POP 0000300b: DUP1 0000300c: DUP5 0000300d: ADD 0000300e: PUSH1 0x00 00003010: JUMPDEST 00003011: DUP4 00003012: DUP2 00003013: LT 00003014: ISZERO 00003015: PUSH2 0x302c 00003018: JUMPI 00003019: DUP2 0000301a: MLOAD 0000301b: DUP8 0000301c: MSTORE 0000301d: SWAP6 0000301e: DUP3 0000301f: ADD 00003020: SWAP6 00003021: SWAP1 00003022: DUP3 00003023: ADD 00003024: SWAP1 00003025: PUSH1 0x01 00003027: ADD 00003028: PUSH2 0x3010 0000302b: JUMP 0000302c: JUMPDEST 0000302d: POP 0000302e: SWAP5 0000302f: SWAP6 00003030: SWAP5 00003031: POP 00003032: POP 00003033: POP 00003034: POP 00003035: POP 00003036: JUMP 00003037: JUMPDEST 00003038: PUSH1 0x00 0000303a: DUP2 0000303b: MLOAD 0000303c: DUP1 0000303d: DUP5 0000303e: MSTORE 0000303f: PUSH1 0x00 00003041: JUMPDEST 00003042: DUP2 00003043: DUP2 00003044: LT 00003045: ISZERO 00003046: PUSH2 0x305d 00003049: JUMPI 0000304a: PUSH1 0x20 0000304c: DUP2 0000304d: DUP6 0000304e: ADD 0000304f: DUP2 00003050: ADD 00003051: MLOAD 00003052: DUP7 00003053: DUP4 00003054: ADD 00003055: DUP3 00003056: ADD 00003057: MSTORE 00003058: ADD 00003059: PUSH2 0x3041 0000305c: JUMP 0000305d: JUMPDEST 0000305e: DUP2 0000305f: DUP2 00003060: GT 00003061: ISZERO 00003062: PUSH2 0x306f 00003065: JUMPI 00003066: PUSH1 0x00 00003068: PUSH1 0x20 0000306a: DUP4 0000306b: DUP8 0000306c: ADD 0000306d: ADD 0000306e: MSTORE 0000306f: JUMPDEST 00003070: POP 00003071: PUSH1 0x1f 00003073: ADD 00003074: PUSH1 0x1f 00003076: NOT 00003077: AND 00003078: SWAP3 00003079: SWAP1 0000307a: SWAP3 0000307b: ADD 0000307c: PUSH1 0x20 0000307e: ADD 0000307f: SWAP3 00003080: SWAP2 00003081: POP 00003082: POP 00003083: JUMP 00003084: JUMPDEST 00003085: PUSH1 0x00 00003087: PUSH1 0x01 00003089: PUSH1 0x01 0000308b: PUSH1 0xa0 0000308d: SHL 0000308e: SUB 0000308f: DUP1 00003090: DUP9 00003091: AND 00003092: DUP4 00003093: MSTORE 00003094: DUP1 00003095: DUP8 00003096: AND 00003097: PUSH1 0x20 00003099: DUP5 0000309a: ADD 0000309b: MSTORE 0000309c: POP 0000309d: PUSH1 0xa0 0000309f: PUSH1 0x40 000030a1: DUP4 000030a2: ADD 000030a3: MSTORE 000030a4: PUSH2 0x30b0 000030a7: PUSH1 0xa0 000030a9: DUP4 000030aa: ADD 000030ab: DUP7 000030ac: PUSH2 0x2ffc 000030af: JUMP 000030b0: JUMPDEST 000030b1: DUP3 000030b2: DUP2 000030b3: SUB 000030b4: PUSH1 0x60 000030b6: DUP5 000030b7: ADD 000030b8: MSTORE 000030b9: PUSH2 0x30c2 000030bc: DUP2 000030bd: DUP7 000030be: PUSH2 0x2ffc 000030c1: JUMP 000030c2: JUMPDEST 000030c3: SWAP1 000030c4: POP 000030c5: DUP3 000030c6: DUP2 000030c7: SUB 000030c8: PUSH1 0x80 000030ca: DUP5 000030cb: ADD 000030cc: MSTORE 000030cd: PUSH2 0x30d6 000030d0: DUP2 000030d1: DUP6 000030d2: PUSH2 0x3037 000030d5: JUMP 000030d6: JUMPDEST 000030d7: SWAP9 000030d8: SWAP8 000030d9: POP 000030da: POP 000030db: POP 000030dc: POP 000030dd: POP 000030de: POP 000030df: POP 000030e0: POP 000030e1: JUMP 000030e2: JUMPDEST 000030e3: PUSH1 0x00 000030e5: PUSH1 0x01 000030e7: PUSH1 0x01 000030e9: PUSH1 0xa0 000030eb: SHL 000030ec: SUB 000030ed: DUP1 000030ee: DUP9 000030ef: AND 000030f0: DUP4 000030f1: MSTORE 000030f2: DUP1 000030f3: DUP8 000030f4: AND 000030f5: PUSH1 0x20 000030f7: DUP5 000030f8: ADD 000030f9: MSTORE 000030fa: POP 000030fb: DUP5 000030fc: PUSH1 0x40 000030fe: DUP4 000030ff: ADD 00003100: MSTORE 00003101: DUP4 00003102: PUSH1 0x60 00003104: DUP4 00003105: ADD 00003106: MSTORE 00003107: PUSH1 0xa0 00003109: PUSH1 0x80 0000310b: DUP4 0000310c: ADD 0000310d: MSTORE 0000310e: PUSH2 0x311a 00003111: PUSH1 0xa0 00003113: DUP4 00003114: ADD 00003115: DUP5 00003116: PUSH2 0x3037 00003119: JUMP 0000311a: JUMPDEST 0000311b: SWAP8 0000311c: SWAP7 0000311d: POP 0000311e: POP 0000311f: POP 00003120: POP 00003121: POP 00003122: POP 00003123: POP 00003124: JUMP 00003125: JUMPDEST 00003126: PUSH1 0x20 00003128: DUP2 00003129: MSTORE 0000312a: PUSH1 0x00 0000312c: PUSH2 0x2b36 0000312f: PUSH1 0x20 00003131: DUP4 00003132: ADD 00003133: DUP5 00003134: PUSH2 0x2ffc 00003137: JUMP 00003138: JUMPDEST 00003139: PUSH1 0x40 0000313b: DUP2 0000313c: MSTORE 0000313d: PUSH1 0x00 0000313f: PUSH2 0x314b 00003142: PUSH1 0x40 00003144: DUP4 00003145: ADD 00003146: DUP6 00003147: PUSH2 0x2ffc 0000314a: JUMP 0000314b: JUMPDEST 0000314c: DUP3 0000314d: DUP2 0000314e: SUB 0000314f: PUSH1 0x20 00003151: DUP5 00003152: ADD 00003153: MSTORE 00003154: PUSH2 0x315d 00003157: DUP2 00003158: DUP6 00003159: PUSH2 0x2ffc 0000315c: JUMP 0000315d: JUMPDEST 0000315e: SWAP6 0000315f: SWAP5 00003160: POP 00003161: POP 00003162: POP 00003163: POP 00003164: POP 00003165: JUMP 00003166: JUMPDEST 00003167: PUSH1 0x20 00003169: DUP2 0000316a: MSTORE 0000316b: PUSH1 0x00 0000316d: PUSH2 0x2b36 00003170: PUSH1 0x20 00003172: DUP4 00003173: ADD 00003174: DUP5 00003175: PUSH2 0x3037 00003178: JUMP 00003179: JUMPDEST 0000317a: PUSH1 0x00 0000317c: PUSH8 0xffffffffffffffff 00003185: DUP3 00003186: GT 00003187: ISZERO 00003188: PUSH2 0x3193 0000318b: JUMPI 0000318c: PUSH2 0x3193 0000318f: PUSH2 0x329a 00003192: JUMP 00003193: JUMPDEST 00003194: POP 00003195: PUSH1 0x05 00003197: SHL 00003198: PUSH1 0x20 0000319a: ADD 0000319b: SWAP1 0000319c: JUMP 0000319d: JUMPDEST 0000319e: PUSH1 0x00 000031a0: DUP3 000031a1: NOT 000031a2: DUP3 000031a3: GT 000031a4: ISZERO 000031a5: PUSH2 0x31b0 000031a8: JUMPI 000031a9: PUSH2 0x31b0 000031ac: PUSH2 0x326e 000031af: JUMP 000031b0: JUMPDEST 000031b1: POP 000031b2: ADD 000031b3: SWAP1 000031b4: JUMP 000031b5: JUMPDEST 000031b6: PUSH1 0x00 000031b8: DUP2 000031b9: PUSH1 0x00 000031bb: NOT 000031bc: DIV 000031bd: DUP4 000031be: GT 000031bf: DUP3 000031c0: ISZERO 000031c1: ISZERO 000031c2: AND 000031c3: ISZERO 000031c4: PUSH2 0x31cf 000031c7: JUMPI 000031c8: PUSH2 0x31cf 000031cb: PUSH2 0x326e 000031ce: JUMP 000031cf: JUMPDEST 000031d0: POP 000031d1: MUL 000031d2: SWAP1 000031d3: JUMP 000031d4: JUMPDEST 000031d5: PUSH1 0x00 000031d7: DUP3 000031d8: DUP3 000031d9: LT 000031da: ISZERO 000031db: PUSH2 0x31e6 000031de: JUMPI 000031df: PUSH2 0x31e6 000031e2: PUSH2 0x326e 000031e5: JUMP 000031e6: JUMPDEST 000031e7: POP 000031e8: SUB 000031e9: SWAP1 000031ea: JUMP 000031eb: JUMPDEST 000031ec: PUSH1 0x01 000031ee: DUP2 000031ef: DUP2 000031f0: SHR 000031f1: SWAP1 000031f2: DUP3 000031f3: AND 000031f4: DUP1 000031f5: PUSH2 0x31ff 000031f8: JUMPI 000031f9: PUSH1 0x7f 000031fb: DUP3 000031fc: AND 000031fd: SWAP2 000031fe: POP 000031ff: JUMPDEST 00003200: PUSH1 0x20 00003202: DUP3 00003203: LT 00003204: DUP2 00003205: EQ 00003206: ISZERO 00003207: PUSH2 0x3220 0000320a: JUMPI 0000320b: PUSH4 0x4e487b71 00003210: PUSH1 0xe0 00003212: SHL 00003213: PUSH1 0x00 00003215: MSTORE 00003216: PUSH1 0x22 00003218: PUSH1 0x04 0000321a: MSTORE 0000321b: PUSH1 0x24 0000321d: PUSH1 0x00 0000321f: REVERT 00003220: JUMPDEST 00003221: POP 00003222: SWAP2 00003223: SWAP1 00003224: POP 00003225: JUMP 00003226: JUMPDEST 00003227: PUSH1 0x1f 00003229: DUP3 0000322a: ADD 0000322b: PUSH1 0x1f 0000322d: NOT 0000322e: AND 0000322f: DUP2 00003230: ADD 00003231: PUSH8 0xffffffffffffffff 0000323a: DUP2 0000323b: GT 0000323c: DUP3 0000323d: DUP3 0000323e: LT 0000323f: OR 00003240: ISZERO 00003241: PUSH2 0x324c 00003244: JUMPI 00003245: PUSH2 0x324c 00003248: PUSH2 0x329a 0000324b: JUMP 0000324c: JUMPDEST 0000324d: PUSH1 0x40 0000324f: MSTORE 00003250: POP 00003251: POP 00003252: JUMP 00003253: JUMPDEST 00003254: PUSH1 0x00 00003256: PUSH1 0x00 00003258: NOT 00003259: DUP3 0000325a: EQ 0000325b: ISZERO 0000325c: PUSH2 0x3267 0000325f: JUMPI 00003260: PUSH2 0x3267 00003263: PUSH2 0x326e 00003266: JUMP 00003267: JUMPDEST 00003268: POP 00003269: PUSH1 0x01 0000326b: ADD 0000326c: SWAP1 0000326d: JUMP 0000326e: JUMPDEST 0000326f: PUSH4 0x4e487b71 00003274: PUSH1 0xe0 00003276: SHL 00003277: PUSH1 0x00 00003279: MSTORE 0000327a: PUSH1 0x11 0000327c: PUSH1 0x04 0000327e: MSTORE 0000327f: PUSH1 0x24 00003281: PUSH1 0x00 00003283: REVERT 00003284: JUMPDEST 00003285: PUSH4 0x4e487b71 0000328a: PUSH1 0xe0 0000328c: SHL 0000328d: PUSH1 0x00 0000328f: MSTORE 00003290: PUSH1 0x32 00003292: PUSH1 0x04 00003294: MSTORE 00003295: PUSH1 0x24 00003297: PUSH1 0x00 00003299: REVERT 0000329a: JUMPDEST 0000329b: PUSH4 0x4e487b71 000032a0: PUSH1 0xe0 000032a2: SHL 000032a3: PUSH1 0x00 000032a5: MSTORE 000032a6: PUSH1 0x41 000032a8: PUSH1 0x04 000032aa: MSTORE 000032ab: PUSH1 0x24 000032ad: PUSH1 0x00 000032af: REVERT 000032b0: JUMPDEST 000032b1: PUSH1 0x00 000032b3: PUSH1 0x03 000032b5: RETURNDATASIZE 000032b6: GT 000032b7: ISZERO 000032b8: PUSH2 0x0bc7 000032bb: JUMPI 000032bc: PUSH1 0x04 000032be: PUSH1 0x00 000032c0: DUP1 000032c1: RETURNDATACOPY 000032c2: POP 000032c3: PUSH1 0x00 000032c5: MLOAD 000032c6: PUSH1 0xe0 000032c8: SHR 000032c9: SWAP1 000032ca: JUMP 000032cb: JUMPDEST 000032cc: PUSH1 0x00 000032ce: PUSH1 0x44 000032d0: RETURNDATASIZE 000032d1: LT 000032d2: ISZERO 000032d3: PUSH2 0x32d9 000032d6: JUMPI 000032d7: SWAP1 000032d8: JUMP 000032d9: JUMPDEST 000032da: PUSH1 0x40 000032dc: MLOAD 000032dd: PUSH1 0x03 000032df: NOT 000032e0: RETURNDATASIZE 000032e1: DUP2 000032e2: ADD 000032e3: PUSH1 0x04 000032e5: DUP4 000032e6: RETURNDATACOPY 000032e7: DUP2 000032e8: MLOAD 000032e9: RETURNDATASIZE 000032ea: PUSH8 0xffffffffffffffff 000032f3: DUP2 000032f4: PUSH1 0x24 000032f6: DUP5 000032f7: ADD 000032f8: GT 000032f9: DUP2 000032fa: DUP5 000032fb: GT 000032fc: OR 000032fd: ISZERO 000032fe: PUSH2 0x3309 00003301: JUMPI 00003302: POP 00003303: POP 00003304: POP 00003305: POP 00003306: POP 00003307: SWAP1 00003308: JUMP 00003309: JUMPDEST 0000330a: DUP3 0000330b: DUP6 0000330c: ADD 0000330d: SWAP2 0000330e: POP 0000330f: DUP2 00003310: MLOAD 00003311: DUP2 00003312: DUP2 00003313: GT 00003314: ISZERO 00003315: PUSH2 0x3321 00003318: JUMPI 00003319: POP 0000331a: POP 0000331b: POP 0000331c: POP 0000331d: POP 0000331e: POP 0000331f: SWAP1 00003320: JUMP 00003321: JUMPDEST 00003322: DUP5 00003323: RETURNDATASIZE 00003324: DUP8 00003325: ADD 00003326: ADD 00003327: PUSH1 0x20 00003329: DUP3 0000332a: DUP6 0000332b: ADD 0000332c: ADD 0000332d: GT 0000332e: ISZERO 0000332f: PUSH2 0x333b 00003332: JUMPI 00003333: POP 00003334: POP 00003335: POP 00003336: POP 00003337: POP 00003338: POP 00003339: SWAP1 0000333a: JUMP 0000333b: JUMPDEST 0000333c: PUSH2 0x334a 0000333f: PUSH1 0x20 00003341: DUP3 00003342: DUP7 00003343: ADD 00003344: ADD 00003345: DUP8 00003346: PUSH2 0x3226 00003349: JUMP 0000334a: JUMPDEST 0000334b: POP 0000334c: SWAP1 0000334d: SWAP6 0000334e: SWAP5 0000334f: POP 00003350: POP 00003351: POP 00003352: POP 00003353: POP 00003354: JUMP 00003355: JUMPDEST 00003356: PUSH1 0x01 00003358: PUSH1 0x01 0000335a: PUSH1 0xa0 0000335c: SHL 0000335d: SUB 0000335e: DUP2 0000335f: AND 00003360: DUP2 00003361: EQ 00003362: PUSH2 0x0814 00003365: JUMPI 00003366: PUSH1 0x00 00003368: DUP1 00003369: REVERT 0000336a: JUMPDEST 0000336b: PUSH1 0x01 0000336d: PUSH1 0x01 0000336f: PUSH1 0xe0 00003371: SHL 00003372: SUB 00003373: NOT 00003374: DUP2 00003375: AND 00003376: DUP2 00003377: EQ 00003378: PUSH2 0x0814 0000337b: JUMPI 0000337c: PUSH1 0x00 0000337e: DUP1 0000337f: REVERT 00003380: INVALID 00003381: UNKNOWN(0x4F) 00003382: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865 0000339b: KECCAK256 0000339c: PUSH16 0x776e6572a26469706673582212201db1 000033ad: PUSH9 0x96d0716d6f90743213 000033b7: UNKNOWN(0xD4) 000033b8: EXP 000033b9: SWAP2 000033ba: DUP13 000033bb: UNKNOWN(0x0D) 000033bc: CALLDATALOAD 000033bd: SWAP5 000033be: MSIZE 000033bf: UNKNOWN(0xBB) 000033c0: UNKNOWN(0xC3) 000033c1: LOG2 000033c2: SWAP10 000033c3: UNKNOWN(0xA8) 000033c4: SWAP7 000033c5: UNKNOWN(0x27) 000033c6: PUSH9 0xd96e64fa64736f6c63 000033d0: NUMBER 000033d1: STOP 000033d2: ADDMOD 000033d3: SMOD 000033d4: STOP 000033d5: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x55ba425b8693eab82b8324d68cef47c8dc8a9bd2de6bfcaf4994cb067344bbb6
call_targets:
0xa658542ca3265c00beb9a7b45a23503ed87c66c0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x55ba425b8693eab82b8324d68cef47c8dc8a9bd2de6bfcaf4994cb067344bbb6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa658542ca3265c00beb9a7b45a23503ed87c66c0"
],
"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": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5298aca",
"selector": "0xf5298aca",
"calldata_variants": [
"0xf5298aca",
"0xf5298aca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7d97577",
"selector": "0xf7d97577",
"calldata_variants": [
"0xf7d97577",
"0xf7d975770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf242432a",
"selector": "0xf242432a",
"calldata_variants": [
"0xf242432a",
"0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc751958d",
"selector": "0xc751958d",
"calldata_variants": [
"0xc751958d",
"0xc751958d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd96a094a",
"selector": "0xd96a094a",
"calldata_variants": [
"0xd96a094a",
"0xd96a094a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbd39392",
"selector": "0xdbd39392",
"calldata_variants": [
"0xdbd39392",
"0xdbd393920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2900,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9846,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 10358,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x55ba425b8693eab82b8324d68cef47c8dc8a9bd2de6bfcaf4994cb067344bbb6
call_targets:
0xa658542ca3265c00beb9a7b45a23503ed87c66c0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x55ba425b8693eab82b8324d68cef47c8dc8a9bd2de6bfcaf4994cb067344bbb6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa658542ca3265c00beb9a7b45a23503ed87c66c0"
],
"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": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5298aca",
"selector": "0xf5298aca",
"calldata_variants": [
"0xf5298aca",
"0xf5298aca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7d97577",
"selector": "0xf7d97577",
"calldata_variants": [
"0xf7d97577",
"0xf7d975770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf242432a",
"selector": "0xf242432a",
"calldata_variants": [
"0xf242432a",
"0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc751958d",
"selector": "0xc751958d",
"calldata_variants": [
"0xc751958d",
"0xc751958d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd96a094a",
"selector": "0xd96a094a",
"calldata_variants": [
"0xd96a094a",
"0xd96a094a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbd39392",
"selector": "0xdbd39392",
"calldata_variants": [
"0xdbd39392",
"0xdbd393920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2900,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9846,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 10358,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| low | reentrancy | codex | Untrusted external calls during ERC1155 receiver hooks (potential reentrancy surface) | 65 | no | — |
viewevidence_json{
"evidence": "External CALLs to computed targets with gas are present at pc:9846 and pc:10358; returndata handling occurs after the call, but no guard is detected in auth.guards.",
"locations": [
"pc:9846",
"pc:10358"
],
"recommendation": "Ensure all state changes for transfers/mints are completed before calling external receivers and consider a reentrancy guard on externally callable state-mutating functions if invariants could be violated on reentry.",
"exploit_scenario": "If a malicious receiver contract is called via onERC1155Received/onERC1155BatchReceived, it can reenter other functions while state is mid\u2011update. If any state updates or accounting occur after these calls, a reentrant call could bypass invariants (e.g., mint limits or balances). Evidence of a reentrancy guard is not detected, but guard detection is heuristic."
}
|
| low | access_control | codex | Low-level ETH sweep to caller uses SELFBALANCE and CALLER | 65 | no | — |
viewevidence_json{
"evidence": "CALL at pc:2900 uses SELFBALANCE and CALLER as value/target; preceding block at pc:2803 performs CALLER EQ against a masked SLOAD (likely owner check).",
"locations": [
"pc:2900",
"pc:2803"
],
"recommendation": "Verify the withdraw/sweep function is strictly owner-only (or otherwise authorized) and that the owner slot is correctly initialized and not mutable by untrusted users. Consider emitting an event for withdrawals for monitoring.",
"exploit_scenario": "The bytecode performs a low-level CALL sending the full contract balance to CALLER. If access control around this path is misconfigured or bypassable, any caller could drain ETH. The bytecode shows a CALLER==SLOAD(owner) check, but guard detection is heuristic and storage slot meaning is inferred."
}
|
| 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": 5
}
|