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