019bb005-067a-72f6-9cc1-461f0f1a0847
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 |
|---|---|---|---|---|
| 39489 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 39490 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 39491 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 39492 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 39493 | capability.graph | complete | 1 / 3 | 3 months ago |
| 39494 | detector.run | complete | 1 / 3 | 3 months ago |
| 39495 | validation.fork | complete | 1 / 3 | 3 months ago |
| 39528 | report.consolidate | complete | 1 / 6 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
{"no_findings":false,"summary":"Bytecode-only review flagged a computed DELEGATECALL and multiple value-bearing CALLs to computed targets with no detected guards; these warrant manual verification of target control and reentrancy ordering.","findings":[{"severity":"high","category":"other","title":"Computed DELEGATECALL target reachable (possible arbitrary code execution)","exploit_scenario":"If an attacker can influence the delegatecall target (via calldata or modifiable storage), they can execute arbitrary code in the caller's context, overwrite storage (including ownership/asset accounting), and drain funds.","recommendation":"Ensure the delegatecall target is fixed to a trusted library/implementation or gated by strict access control and allowlisting; avoid delegatecall to user-controlled addresses.","evidence":"Detector flagged 1 DELEGATECALL with target_expression_category=\"computed\" and no guards detected; pc 13517 (0x34cd).","locations":["pc:0x34cd"]},{"severity":"medium","category":"reentrancy","title":"Value-bearing external CALLs to computed targets without detected guard","exploit_scenario":"If these CALLs send ETH or invoke user-supplied contracts before state is fully updated, a malicious callee can reenter and trigger duplicate processing (e.g., double-withdraw/refund) or manipulate order state. Bytecode-only view cannot confirm call ordering or guards.","recommendation":"Review each value-bearing CALL to confirm checks-effects-interactions ordering and/or add a reentrancy guard on external-call paths; restrict external call targets where possible.","evidence":"Detectors show 4 CALL sites with target/value computed and no guards detected; eth_value_calls=4 at pc 4442 (0x115a), 5276 (0x149c), 6520 (0x1978), 11289 (0x2c19).","locations":["pc:0x115a","pc:0x149c","pc:0x1978","pc:0x2c19"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-ne8qq2ix
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb047-db98-7d92-8875-7f0dfc8ce860
--------
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
**Preparing to read BYTECODE_BUNDLE.json**
exec
/bin/bash -lc ls in /tmp/codex-ne8qq2ix succeeded in 8ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-ne8qq2ix succeeded in 9ms:
{
"analysis_artifact": {
"address": "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3",
"artifact_hash": "0x416c69c728bdbd02fe1a48afed970e714b06a7aed0eb6a9554b25603553c0fea",
"artifact_json": {
"auth": {
"guards": []
},
"basic_blocks": [
{
"end_pc": 12,
"hash": "0x431dfc0bfe2ab2dd37e5d0d82610f873058d13b60702bec0631be36ebb411a1c",
"opcodes": [
"PUSH1",
"PUSH1",
"MSTORE",
"PUSH1",
"CALLDATASIZE",
"LT",
"PUSH2",
thinking
**Analyzing bytecode and storage slots**
exec
/bin/bash -lc 'rg -n "storage|slot|eip|proxy|implementation|beacon|1967" BYTECODE_BUNDLE.json' in /tmp/codex-ne8qq2ix succeeded in 46ms:
8296: "end_pc": 11967,
12950: "storage": {
12952: "slots": [
12956: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
12961: "slot": "0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300"
12966: "slot": "0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300"
12971: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
12976: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
12981: "slot": "0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00"
12986: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
12991: "slot": "0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100"
12996: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
13001: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
13006: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
13011: "slot": "0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300"
13016: "slot": "0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00"
13021: "slot": "0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300"
13026: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
13031: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
13036: "slot": "0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300"
thinking
**Searching for proxy evidence section**
exec
/bin/bash -lc 'rg -n "proxy_evidence|proxy_flag|onchain_method|implementation" BYTECODE_BUNDLE.json | head -n 40' in /tmp/codex-ne8qq2ix succeeded in 22ms:
15809: "link_type": "implementation",
15813: "implementation": "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3",
15814: "proxy_flag": true
15818: "implementation": "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3",
15820: "onchain_method": "eip1967",
15845: "implementation": null,
15852: "proxy_evidence": {
15856: "implementation_address": null,
thinking
**Viewing specific code region**
exec
/bin/bash -lc "sed -n '15780,15880p' BYTECODE_BUNDLE.json" in /tmp/codex-ne8qq2ix succeeded in 32ms:
"op": "SLOAD",
"pc": 13224,
"slot": "0x00000000000000000000000000000000000000000000000000000000000033ad"
}
],
"writes": 28
},
"version": "analysis_artifact_v1"
},
"block_number": null,
"chain_id": 1,
"codehash": "0x4099440a39acd6c83aa22d30b194960c40daac31d9bd59185501ebf4decfdd4f",
"created_at": "2026-01-12T03:10:20.000000Z",
"id": 1012,
"updated_at": "2026-01-12T03:10:20.000000Z",
"version": "analysis_artifact_v1"
},
"analysis_run": {
"address": "0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3",
"block_number": null,
thinking
**Evaluating proxy and delegatecall risks**
exec
/bin/bash -lc 'rg -n "evidence|callsite|delegatecall|CALL" BYTECODE_BUNDLE.json | head -n 80' in /tmp/codex-ne8qq2ix succeeded in 9ms:
18: "CALLDATASIZE",
30: "CALLDATALOAD",
363: "CALLDATASIZE",
391: "CALLVALUE",
417: "CALLDATASIZE",
441: "CALLDATASIZE",
463: "CALLVALUE",
498: "CALLVALUE",
533: "CALLVALUE",
559: "CALLDATASIZE",
581: "CALLVALUE",
650: "CALLVALUE",
705: "CALLVALUE",
731: "CALLDATASIZE",
766: "CALLVALUE",
801: "CALLVALUE",
857: "CALLVALUE",
883: "CALLDATASIZE",
905: "CALLVALUE",
943: "CALLVALUE",
thinking
**Summarizing delegatecall, external calls, and access control findings**
I'll analyze identified callsites and detector evidence to report on risks around delegatecall to computed targets, external calls with ETH value possibly causing reentrancy, and access control checks. I’ll explicitly mention uncertainty due to bytecode-only data and proxy implementation context, and compile findings in JSON format with severity, categories, scenarios, recommendations, evidence, and locations.
thinking
**Composing final JSON findings response**
I'm assembling the required JSON output with a concise summary and two detailed findings—one for the computed delegatecall risk and one for external calls with value lacking reentrancy guards—matching the given schema and category enums.
codex
{"no_findings":false,"summary":"Bytecode-only review flagged a computed DELEGATECALL and multiple value-bearing CALLs to computed targets with no detected guards; these warrant manual verification of target control and reentrancy ordering.","findings":[{"severity":"high","category":"other","title":"Computed DELEGATECALL target reachable (possible arbitrary code execution)","exploit_scenario":"If an attacker can influence the delegatecall target (via calldata or modifiable storage), they can execute arbitrary code in the caller's context, overwrite storage (including ownership/asset accounting), and drain funds.","recommendation":"Ensure the delegatecall target is fixed to a trusted library/implementation or gated by strict access control and allowlisting; avoid delegatecall to user-controlled addresses.","evidence":"Detector flagged 1 DELEGATECALL with target_expression_category=\"computed\" and no guards detected; pc 13517 (0x34cd).","locations":["pc:0x34cd"]},{"severity":"medium","category":"reentrancy","title":"Value-bearing external CALLs to computed targets without detected guard","exploit_scenario":"If these CALLs send ETH or invoke user-supplied contracts before state is fully updated, a malicious callee can reenter and trigger duplicate processing (e.g., double-withdraw/refund) or manipulate order state. Bytecode-only view cannot confirm call ordering or guards.","recommendation":"Review each value-bearing CALL to confirm checks-effects-interactions ordering and/or add a reentrancy guard on external-call paths; restrict external call targets where possible.","evidence":"Detectors show 4 CALL sites with target/value computed and no guards detected; eth_value_calls=4 at pc 4442 (0x115a), 5276 (0x149c), 6520 (0x1978), 11289 (0x2c19).","locations":["pc:0x115a","pc:0x149c","pc:0x1978","pc:0x2c19"]}]}
tokens used
51,285
{
"codex": {
"ran_at": "2026-01-12T03:39:40.972715+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 27108,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "Bytecode-only review flagged a computed DELEGATECALL and multiple value-bearing CALLs to computed targets with no detected guards; these warrant manual verification of target control and reentrancy ordering.",
"raw_final": {
"summary": "Bytecode-only review flagged a computed DELEGATECALL and multiple value-bearing CALLs to computed targets with no detected guards; these warrant manual verification of target control and reentrancy ordering.",
"findings": [
{
"title": "Computed DELEGATECALL target reachable (possible arbitrary code execution)",
"category": "other",
"evidence": "Detector flagged 1 DELEGATECALL with target_expression_category=\"computed\" and no guards detected; pc 13517 (0x34cd).",
"severity": "high",
"locations": [
"pc:0x34cd"
],
"recommendation": "Ensure the delegatecall target is fixed to a trusted library/implementation or gated by strict access control and allowlisting; avoid delegatecall to user-controlled addresses.",
"exploit_scenario": "If an attacker can influence the delegatecall target (via calldata or modifiable storage), they can execute arbitrary code in the caller's context, overwrite storage (including ownership/asset accounting), and drain funds."
},
{
"title": "Value-bearing external CALLs to computed targets without detected guard",
"category": "reentrancy",
"evidence": "Detectors show 4 CALL sites with target/value computed and no guards detected; eth_value_calls=4 at pc 4442 (0x115a), 5276 (0x149c), 6520 (0x1978), 11289 (0x2c19).",
"severity": "medium",
"locations": [
"pc:0x115a",
"pc:0x149c",
"pc:0x1978",
"pc:0x2c19"
],
"recommendation": "Review each value-bearing CALL to confirm checks-effects-interactions ordering and/or add a reentrancy guard on external-call paths; restrict external call targets where possible.",
"exploit_scenario": "If these CALLs send ETH or invoke user-supplied contracts before state is fully updated, a malicious callee can reenter and trigger duplicate processing (e.g., double-withdraw/refund) or manipulate order state. Bytecode-only view cannot confirm call ordering or guards."
}
],
"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 0x011b 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x84b0196e 00000019: GT 0000001a: PUSH2 0x009c 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb460af94 00000024: GT 00000025: PUSH2 0x006e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc617b667 0000002f: GT 00000030: PUSH2 0x0056 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc617b667 0000003a: EQ 0000003b: PUSH2 0x0399 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf1db4763 00000045: EQ 00000046: PUSH2 0x03b9 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x03e9 00000054: JUMPI 00000055: STOP 00000056: JUMPDEST 00000057: DUP1 00000058: PUSH4 0xb460af94 0000005d: EQ 0000005e: PUSH2 0x0349 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xb695c935 00000068: EQ 00000069: PUSH2 0x0369 0000006c: JUMPI 0000006d: STOP 0000006e: JUMPDEST 0000006f: DUP1 00000070: PUSH4 0x84b0196e 00000075: EQ 00000076: PUSH2 0x027a 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0x863d51c9 00000080: EQ 00000081: PUSH2 0x02a2 00000084: JUMPI 00000085: DUP1 00000086: PUSH4 0x8da5cb5b 0000008b: EQ 0000008c: PUSH2 0x02c2 0000008f: JUMPI 00000090: DUP1 00000091: PUSH4 0xa0897609 00000096: EQ 00000097: PUSH2 0x030c 0000009a: JUMPI 0000009b: STOP 0000009c: JUMPDEST 0000009d: DUP1 0000009e: PUSH4 0x485cc955 000000a3: GT 000000a4: PUSH2 0x00ed 000000a7: JUMPI 000000a8: DUP1 000000a9: PUSH4 0x5c975abb 000000ae: GT 000000af: PUSH2 0x00d5 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x5c975abb 000000b9: EQ 000000ba: PUSH2 0x01f2 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x65bd4f0e 000000c4: EQ 000000c5: PUSH2 0x0235 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x715018a6 000000cf: EQ 000000d0: PUSH2 0x0265 000000d3: JUMPI 000000d4: STOP 000000d5: JUMPDEST 000000d6: DUP1 000000d7: PUSH4 0x485cc955 000000dc: EQ 000000dd: PUSH2 0x0181 000000e0: JUMPI 000000e1: DUP1 000000e2: PUSH4 0x521e47b9 000000e7: EQ 000000e8: PUSH2 0x01a1 000000eb: JUMPI 000000ec: STOP 000000ed: JUMPDEST 000000ee: DUP1 000000ef: PUSH4 0x05b1737e 000000f4: EQ 000000f5: PUSH2 0x0124 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0x101916e0 000000ff: EQ 00000100: PUSH2 0x0144 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0x37a66d85 0000010a: EQ 0000010b: PUSH2 0x0157 0000010e: JUMPI 0000010f: DUP1 00000110: PUSH4 0x3c89edce 00000115: EQ 00000116: PUSH2 0x016c 00000119: JUMPI 0000011a: STOP 0000011b: JUMPDEST 0000011c: CALLDATASIZE 0000011d: PUSH2 0x0122 00000120: JUMPI 00000121: STOP 00000122: JUMPDEST 00000123: STOP 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x0122 00000135: PUSH2 0x013f 00000138: CALLDATASIZE 00000139: PUSH1 0x04 0000013b: PUSH2 0x2e34 0000013e: JUMP 0000013f: JUMPDEST 00000140: PUSH2 0x0409 00000143: JUMP 00000144: JUMPDEST 00000145: PUSH2 0x0122 00000148: PUSH2 0x0152 0000014b: CALLDATASIZE 0000014c: PUSH1 0x04 0000014e: PUSH2 0x2e67 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH2 0x0500 00000156: JUMP 00000157: JUMPDEST 00000158: CALLVALUE 00000159: DUP1 0000015a: ISZERO 0000015b: PUSH2 0x0163 0000015e: JUMPI 0000015f: PUSH1 0x00 00000161: DUP1 00000162: REVERT 00000163: JUMPDEST 00000164: POP 00000165: PUSH2 0x0122 00000168: PUSH2 0x09a2 0000016b: JUMP 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: PUSH2 0x0122 0000017d: PUSH2 0x09b4 00000180: JUMP 00000181: JUMPDEST 00000182: CALLVALUE 00000183: DUP1 00000184: ISZERO 00000185: PUSH2 0x018d 00000188: JUMPI 00000189: PUSH1 0x00 0000018b: DUP1 0000018c: REVERT 0000018d: JUMPDEST 0000018e: POP 0000018f: PUSH2 0x0122 00000192: PUSH2 0x019c 00000195: CALLDATASIZE 00000196: PUSH1 0x04 00000198: PUSH2 0x2ea4 0000019b: JUMP 0000019c: JUMPDEST 0000019d: PUSH2 0x09c4 000001a0: JUMP 000001a1: JUMPDEST 000001a2: CALLVALUE 000001a3: DUP1 000001a4: ISZERO 000001a5: PUSH2 0x01ad 000001a8: JUMPI 000001a9: PUSH1 0x00 000001ab: DUP1 000001ac: REVERT 000001ad: JUMPDEST 000001ae: POP 000001af: PUSH1 0x04 000001b1: SLOAD 000001b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c7: AND 000001c8: JUMPDEST 000001c9: PUSH1 0x40 000001cb: MLOAD 000001cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e1: SWAP1 000001e2: SWAP2 000001e3: AND 000001e4: DUP2 000001e5: MSTORE 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: JUMPDEST 000001ea: PUSH1 0x40 000001ec: MLOAD 000001ed: DUP1 000001ee: SWAP2 000001ef: SUB 000001f0: SWAP1 000001f1: RETURN 000001f2: JUMPDEST 000001f3: CALLVALUE 000001f4: DUP1 000001f5: ISZERO 000001f6: PUSH2 0x01fe 000001f9: JUMPI 000001fa: PUSH1 0x00 000001fc: DUP1 000001fd: REVERT 000001fe: JUMPDEST 000001ff: POP 00000200: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300 00000221: SLOAD 00000222: PUSH1 0xff 00000224: AND 00000225: JUMPDEST 00000226: PUSH1 0x40 00000228: MLOAD 00000229: SWAP1 0000022a: ISZERO 0000022b: ISZERO 0000022c: DUP2 0000022d: MSTORE 0000022e: PUSH1 0x20 00000230: ADD 00000231: PUSH2 0x01e9 00000234: JUMP 00000235: JUMPDEST 00000236: CALLVALUE 00000237: DUP1 00000238: ISZERO 00000239: PUSH2 0x0241 0000023c: JUMPI 0000023d: PUSH1 0x00 0000023f: DUP1 00000240: REVERT 00000241: JUMPDEST 00000242: POP 00000243: PUSH2 0x0225 00000246: PUSH2 0x0250 00000249: CALLDATASIZE 0000024a: PUSH1 0x04 0000024c: PUSH2 0x2ed7 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH1 0x00 00000253: SWAP1 00000254: DUP2 00000255: MSTORE 00000256: PUSH1 0x03 00000258: PUSH1 0x20 0000025a: MSTORE 0000025b: PUSH1 0x40 0000025d: SWAP1 0000025e: KECCAK256 0000025f: SLOAD 00000260: PUSH1 0xff 00000262: AND 00000263: SWAP1 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: DUP1 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x0122 00000276: PUSH2 0x0c09 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x028f 0000028b: PUSH2 0x0c1b 0000028e: JUMP 0000028f: JUMPDEST 00000290: PUSH1 0x40 00000292: MLOAD 00000293: PUSH2 0x01e9 00000296: SWAP8 00000297: SWAP7 00000298: SWAP6 00000299: SWAP5 0000029a: SWAP4 0000029b: SWAP3 0000029c: SWAP2 0000029d: SWAP1 0000029e: PUSH2 0x2f5e 000002a1: JUMP 000002a2: JUMPDEST 000002a3: CALLVALUE 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: PUSH2 0x0122 000002b3: PUSH2 0x02bd 000002b6: CALLDATASIZE 000002b7: PUSH1 0x04 000002b9: PUSH2 0x3020 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH2 0x0d17 000002c1: JUMP 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: DUP1 000002c5: ISZERO 000002c6: PUSH2 0x02ce 000002c9: JUMPI 000002ca: PUSH1 0x00 000002cc: DUP1 000002cd: REVERT 000002ce: JUMPDEST 000002cf: POP 000002d0: PUSH32 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300 000002f1: SLOAD 000002f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000307: AND 00000308: PUSH2 0x01c8 0000030b: JUMP 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: DUP1 0000030f: ISZERO 00000310: PUSH2 0x0318 00000313: JUMPI 00000314: PUSH1 0x00 00000316: DUP1 00000317: REVERT 00000318: JUMPDEST 00000319: POP 0000031a: PUSH2 0x033c 0000031d: PUSH2 0x0327 00000320: CALLDATASIZE 00000321: PUSH1 0x04 00000323: PUSH2 0x2ed7 00000326: JUMP 00000327: JUMPDEST 00000328: PUSH1 0x01 0000032a: PUSH1 0x20 0000032c: MSTORE 0000032d: PUSH1 0x00 0000032f: SWAP1 00000330: DUP2 00000331: MSTORE 00000332: PUSH1 0x40 00000334: SWAP1 00000335: KECCAK256 00000336: SLOAD 00000337: PUSH1 0xff 00000339: AND 0000033a: DUP2 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH1 0x40 0000033f: MLOAD 00000340: PUSH2 0x01e9 00000343: SWAP2 00000344: SWAP1 00000345: PUSH2 0x308a 00000348: JUMP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: DUP1 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: PUSH2 0x0122 0000035a: PUSH2 0x0364 0000035d: CALLDATASIZE 0000035e: PUSH1 0x04 00000360: PUSH2 0x30cb 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH2 0x13af 00000368: JUMP 00000369: JUMPDEST 0000036a: CALLVALUE 0000036b: DUP1 0000036c: ISZERO 0000036d: PUSH2 0x0375 00000370: JUMPI 00000371: PUSH1 0x00 00000373: DUP1 00000374: REVERT 00000375: JUMPDEST 00000376: POP 00000377: PUSH2 0x033c 0000037a: PUSH2 0x0384 0000037d: CALLDATASIZE 0000037e: PUSH1 0x04 00000380: PUSH2 0x2ed7 00000383: JUMP 00000384: JUMPDEST 00000385: PUSH1 0x02 00000387: PUSH1 0x20 00000389: MSTORE 0000038a: PUSH1 0x00 0000038c: SWAP1 0000038d: DUP2 0000038e: MSTORE 0000038f: PUSH1 0x40 00000391: SWAP1 00000392: KECCAK256 00000393: SLOAD 00000394: PUSH1 0xff 00000396: AND 00000397: DUP2 00000398: JUMP 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: DUP1 0000039c: ISZERO 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: POP 000003a7: PUSH2 0x0122 000003aa: PUSH2 0x03b4 000003ad: CALLDATASIZE 000003ae: PUSH1 0x04 000003b0: PUSH2 0x2e67 000003b3: JUMP 000003b4: JUMPDEST 000003b5: PUSH2 0x1635 000003b8: JUMP 000003b9: JUMPDEST 000003ba: CALLVALUE 000003bb: DUP1 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: POP 000003c7: PUSH2 0x0225 000003ca: PUSH2 0x03d4 000003cd: CALLDATASIZE 000003ce: PUSH1 0x04 000003d0: PUSH2 0x2ed7 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH1 0x03 000003d7: PUSH1 0x20 000003d9: MSTORE 000003da: PUSH1 0x00 000003dc: SWAP1 000003dd: DUP2 000003de: MSTORE 000003df: PUSH1 0x40 000003e1: SWAP1 000003e2: KECCAK256 000003e3: SLOAD 000003e4: PUSH1 0xff 000003e6: AND 000003e7: DUP2 000003e8: JUMP 000003e9: JUMPDEST 000003ea: CALLVALUE 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: POP 000003f7: PUSH2 0x0122 000003fa: PUSH2 0x0404 000003fd: CALLDATASIZE 000003fe: PUSH1 0x04 00000400: PUSH2 0x2e34 00000403: JUMP 00000404: JUMPDEST 00000405: PUSH2 0x1baf 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH2 0x0411 0000040d: PUSH2 0x1c10 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000427: DUP2 00000428: AND 00000429: PUSH2 0x04b9 0000042c: JUMPI 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000451: DUP2 00000452: MSTORE 00000453: PUSH1 0x20 00000455: PUSH1 0x04 00000457: DUP3 00000458: ADD 00000459: MSTORE 0000045a: PUSH1 0x27 0000045c: PUSH1 0x24 0000045e: DUP3 0000045f: ADD 00000460: MSTORE 00000461: PUSH32 0x4c697175696469747942616e6b3a20696e76616c696420766572696679696e67 00000482: PUSH1 0x44 00000484: DUP3 00000485: ADD 00000486: MSTORE 00000487: PUSH32 0x207369676e657200000000000000000000000000000000000000000000000000 000004a8: PUSH1 0x64 000004aa: DUP3 000004ab: ADD 000004ac: MSTORE 000004ad: PUSH1 0x84 000004af: ADD 000004b0: JUMPDEST 000004b1: PUSH1 0x40 000004b3: MLOAD 000004b4: DUP1 000004b5: SWAP2 000004b6: SUB 000004b7: SWAP1 000004b8: REVERT 000004b9: JUMPDEST 000004ba: PUSH1 0x04 000004bc: DUP1 000004bd: SLOAD 000004be: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000004df: AND 000004e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f5: SWAP3 000004f6: SWAP1 000004f7: SWAP3 000004f8: AND 000004f9: SWAP2 000004fa: SWAP1 000004fb: SWAP2 000004fc: OR 000004fd: SWAP1 000004fe: SSTORE 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH2 0x0508 00000504: PUSH2 0x1c9e 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH2 0x0510 0000050c: PUSH2 0x1d1f 0000050f: JUMP 00000510: JUMPDEST 00000511: DUP1 00000512: CALLDATALOAD 00000513: PUSH1 0x00 00000515: SWAP1 00000516: DUP2 00000517: MSTORE 00000518: PUSH1 0x03 0000051a: PUSH1 0x20 0000051c: MSTORE 0000051d: PUSH1 0x40 0000051f: SWAP1 00000520: KECCAK256 00000521: SLOAD 00000522: PUSH1 0xff 00000524: AND 00000525: ISZERO 00000526: PUSH2 0x058b 00000529: JUMPI 0000052a: PUSH1 0x40 0000052c: MLOAD 0000052d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000054e: DUP2 0000054f: MSTORE 00000550: PUSH1 0x20 00000552: PUSH1 0x04 00000554: DUP3 00000555: ADD 00000556: MSTORE 00000557: PUSH1 0x0c 00000559: PUSH1 0x24 0000055b: DUP3 0000055c: ADD 0000055d: MSTORE 0000055e: PUSH32 0x4f72646572206c6f636b65640000000000000000000000000000000000000000 0000057f: PUSH1 0x44 00000581: DUP3 00000582: ADD 00000583: MSTORE 00000584: PUSH1 0x64 00000586: ADD 00000587: PUSH2 0x04b0 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH1 0x00 0000058e: PUSH2 0x059a 00000591: PUSH1 0x20 00000593: DUP4 00000594: ADD 00000595: DUP4 00000596: PUSH2 0x3107 00000599: JUMP 0000059a: JUMPDEST 0000059b: SWAP1 0000059c: POP 0000059d: GT 0000059e: PUSH2 0x0603 000005a1: JUMPI 000005a2: PUSH1 0x40 000005a4: MLOAD 000005a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005c6: DUP2 000005c7: MSTORE 000005c8: PUSH1 0x20 000005ca: PUSH1 0x04 000005cc: DUP3 000005cd: ADD 000005ce: MSTORE 000005cf: PUSH1 0x19 000005d1: PUSH1 0x24 000005d3: DUP3 000005d4: ADD 000005d5: MSTORE 000005d6: PUSH32 0x4f7264657220746f6b656e20696e666f20726571756972656400000000000000 000005f7: PUSH1 0x44 000005f9: DUP3 000005fa: ADD 000005fb: MSTORE 000005fc: PUSH1 0x64 000005fe: ADD 000005ff: PUSH2 0x04b0 00000602: JUMP 00000603: JUMPDEST 00000604: DUP1 00000605: CALLDATALOAD 00000606: PUSH1 0x00 00000608: SWAP1 00000609: DUP2 0000060a: MSTORE 0000060b: PUSH1 0x20 0000060d: DUP2 0000060e: SWAP1 0000060f: MSTORE 00000610: PUSH1 0x40 00000612: SWAP1 00000613: KECCAK256 00000614: SLOAD 00000615: ISZERO 00000616: PUSH2 0x067b 00000619: JUMPI 0000061a: PUSH1 0x40 0000061c: MLOAD 0000061d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000063e: DUP2 0000063f: MSTORE 00000640: PUSH1 0x20 00000642: PUSH1 0x04 00000644: DUP3 00000645: ADD 00000646: MSTORE 00000647: PUSH1 0x17 00000649: PUSH1 0x24 0000064b: DUP3 0000064c: ADD 0000064d: MSTORE 0000064e: PUSH32 0x4f7264657220616c72656164792070726f636573736564000000000000000000 0000066f: PUSH1 0x44 00000671: DUP3 00000672: ADD 00000673: MSTORE 00000674: PUSH1 0x64 00000676: ADD 00000677: PUSH2 0x04b0 0000067a: JUMP 0000067b: JUMPDEST 0000067c: PUSH2 0x0684 0000067f: DUP2 00000680: PUSH2 0x1d7b 00000683: JUMP 00000684: JUMPDEST 00000685: PUSH2 0x06ea 00000688: JUMPI 00000689: PUSH1 0x40 0000068b: MLOAD 0000068c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006ad: DUP2 000006ae: MSTORE 000006af: PUSH1 0x20 000006b1: PUSH1 0x04 000006b3: DUP3 000006b4: ADD 000006b5: MSTORE 000006b6: PUSH1 0x15 000006b8: PUSH1 0x24 000006ba: DUP3 000006bb: ADD 000006bc: MSTORE 000006bd: PUSH32 0x496e76616c6964206465706f736974206f726465720000000000000000000000 000006de: PUSH1 0x44 000006e0: DUP3 000006e1: ADD 000006e2: MSTORE 000006e3: PUSH1 0x64 000006e5: ADD 000006e6: PUSH2 0x04b0 000006e9: JUMP 000006ea: JUMPDEST 000006eb: DUP1 000006ec: PUSH1 0x40 000006ee: ADD 000006ef: CALLDATALOAD 000006f0: TIMESTAMP 000006f1: GT 000006f2: ISZERO 000006f3: PUSH2 0x0758 000006f6: JUMPI 000006f7: PUSH1 0x40 000006f9: MLOAD 000006fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000071b: DUP2 0000071c: MSTORE 0000071d: PUSH1 0x20 0000071f: PUSH1 0x04 00000721: DUP3 00000722: ADD 00000723: MSTORE 00000724: PUSH1 0x0d 00000726: PUSH1 0x24 00000728: DUP3 00000729: ADD 0000072a: MSTORE 0000072b: PUSH32 0x4f72646572206578706972656400000000000000000000000000000000000000 0000074c: PUSH1 0x44 0000074e: DUP3 0000074f: ADD 00000750: MSTORE 00000751: PUSH1 0x64 00000753: ADD 00000754: PUSH2 0x04b0 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH1 0x00 0000075b: JUMPDEST 0000075c: PUSH2 0x0768 0000075f: PUSH1 0x20 00000761: DUP4 00000762: ADD 00000763: DUP4 00000764: PUSH2 0x3107 00000767: JUMP 00000768: JUMPDEST 00000769: SWAP1 0000076a: POP 0000076b: DUP2 0000076c: LT 0000076d: ISZERO 0000076e: PUSH2 0x0975 00000771: JUMPI 00000772: PUSH1 0x00 00000774: PUSH2 0x0780 00000777: PUSH1 0x20 00000779: DUP5 0000077a: ADD 0000077b: DUP5 0000077c: PUSH2 0x3107 0000077f: JUMP 00000780: JUMPDEST 00000781: DUP4 00000782: DUP2 00000783: DUP2 00000784: LT 00000785: PUSH2 0x0790 00000788: JUMPI 00000789: PUSH2 0x0790 0000078c: PUSH2 0x3176 0000078f: JUMP 00000790: JUMPDEST 00000791: SWAP1 00000792: POP 00000793: PUSH1 0x40 00000795: MUL 00000796: ADD 00000797: DUP1 00000798: CALLDATASIZE 00000799: SUB 0000079a: DUP2 0000079b: ADD 0000079c: SWAP1 0000079d: PUSH2 0x07a6 000007a0: SWAP2 000007a1: SWAP1 000007a2: PUSH2 0x31d4 000007a5: JUMP 000007a6: JUMPDEST 000007a7: DUP1 000007a8: MLOAD 000007a9: SWAP1 000007aa: SWAP2 000007ab: POP 000007ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c1: AND 000007c2: PUSH2 0x0872 000007c5: JUMPI 000007c6: DUP1 000007c7: PUSH1 0x20 000007c9: ADD 000007ca: MLOAD 000007cb: CALLVALUE 000007cc: EQ 000007cd: PUSH2 0x0832 000007d0: JUMPI 000007d1: PUSH1 0x40 000007d3: MLOAD 000007d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007f5: DUP2 000007f6: MSTORE 000007f7: PUSH1 0x20 000007f9: PUSH1 0x04 000007fb: DUP3 000007fc: ADD 000007fd: MSTORE 000007fe: PUSH1 0x14 00000800: PUSH1 0x24 00000802: DUP3 00000803: ADD 00000804: MSTORE 00000805: PUSH32 0x496e636f72726563742045544820616d6f756e74000000000000000000000000 00000826: PUSH1 0x44 00000828: DUP3 00000829: ADD 0000082a: MSTORE 0000082b: PUSH1 0x64 0000082d: ADD 0000082e: PUSH2 0x04b0 00000831: JUMP 00000832: JUMPDEST 00000833: PUSH1 0x40 00000835: DUP1 00000836: MLOAD 00000837: CALLVALUE 00000838: DUP2 00000839: MSTORE 0000083a: PUSH1 0x00 0000083c: PUSH1 0x20 0000083e: DUP3 0000083f: ADD 00000840: MSTORE 00000841: CALLER 00000842: SWAP2 00000843: PUSH32 0xb4e1304f97b5093610f51b33ddab6622388422e2dac138b0d32f93dcfbd39edf 00000864: SWAP2 00000865: ADD 00000866: PUSH1 0x40 00000868: MLOAD 00000869: DUP1 0000086a: SWAP2 0000086b: SUB 0000086c: SWAP1 0000086d: LOG2 0000086e: PUSH2 0x08fe 00000871: JUMP 00000872: JUMPDEST 00000873: DUP1 00000874: MLOAD 00000875: PUSH1 0x20 00000877: DUP3 00000878: ADD 00000879: MLOAD 0000087a: PUSH2 0x089e 0000087d: SWAP1 0000087e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000893: DUP4 00000894: AND 00000895: SWAP1 00000896: CALLER 00000897: SWAP1 00000898: ADDRESS 00000899: SWAP1 0000089a: PUSH2 0x1e0a 0000089d: JUMP 0000089e: JUMPDEST 0000089f: PUSH1 0x20 000008a1: DUP3 000008a2: ADD 000008a3: MLOAD 000008a4: DUP3 000008a5: MLOAD 000008a6: PUSH1 0x40 000008a8: MLOAD 000008a9: CALLER 000008aa: SWAP3 000008ab: PUSH32 0xb4e1304f97b5093610f51b33ddab6622388422e2dac138b0d32f93dcfbd39edf 000008cc: SWAP3 000008cd: PUSH2 0x08f4 000008d0: SWAP3 000008d1: SWAP2 000008d2: DUP3 000008d3: MSTORE 000008d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e9: AND 000008ea: PUSH1 0x20 000008ec: DUP3 000008ed: ADD 000008ee: MSTORE 000008ef: PUSH1 0x40 000008f1: ADD 000008f2: SWAP1 000008f3: JUMP 000008f4: JUMPDEST 000008f5: PUSH1 0x40 000008f7: MLOAD 000008f8: DUP1 000008f9: SWAP2 000008fa: SUB 000008fb: SWAP1 000008fc: LOG2 000008fd: POP 000008fe: JUMPDEST 000008ff: DUP3 00000900: CALLDATALOAD 00000901: PUSH1 0x00 00000903: SWAP1 00000904: DUP2 00000905: MSTORE 00000906: PUSH1 0x20 00000908: DUP2 00000909: DUP2 0000090a: MSTORE 0000090b: PUSH1 0x40 0000090d: DUP3 0000090e: KECCAK256 0000090f: DUP1 00000910: SLOAD 00000911: PUSH1 0x01 00000913: DUP1 00000914: DUP3 00000915: ADD 00000916: DUP4 00000917: SSTORE 00000918: SWAP2 00000919: DUP5 0000091a: MSTORE 0000091b: SWAP3 0000091c: DUP3 0000091d: SWAP1 0000091e: KECCAK256 0000091f: DUP5 00000920: MLOAD 00000921: PUSH1 0x02 00000923: SWAP1 00000924: SWAP5 00000925: MUL 00000926: ADD 00000927: DUP1 00000928: SLOAD 00000929: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000094a: AND 0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000960: SWAP1 00000961: SWAP5 00000962: AND 00000963: SWAP4 00000964: SWAP1 00000965: SWAP4 00000966: OR 00000967: DUP4 00000968: SSTORE 00000969: SWAP3 0000096a: ADD 0000096b: MLOAD 0000096c: SWAP1 0000096d: DUP3 0000096e: ADD 0000096f: SSTORE 00000970: ADD 00000971: PUSH2 0x075b 00000974: JUMP 00000975: JUMPDEST 00000976: POP 00000977: PUSH2 0x099f 0000097a: PUSH1 0x01 0000097c: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 0000099d: SSTORE 0000099e: JUMP 0000099f: JUMPDEST 000009a0: POP 000009a1: JUMP 000009a2: JUMPDEST 000009a3: PUSH2 0x09aa 000009a6: PUSH2 0x1c10 000009a9: JUMP 000009aa: JUMPDEST 000009ab: PUSH2 0x09b2 000009ae: PUSH2 0x1ebf 000009b1: JUMP 000009b2: JUMPDEST 000009b3: JUMP 000009b4: JUMPDEST 000009b5: PUSH2 0x09bc 000009b8: PUSH2 0x1c10 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH2 0x09b2 000009c0: PUSH2 0x1f5f 000009c3: JUMP 000009c4: JUMPDEST 000009c5: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 000009e6: DUP1 000009e7: SLOAD 000009e8: PUSH9 0x010000000000000000 000009f2: DUP2 000009f3: DIV 000009f4: PUSH1 0xff 000009f6: AND 000009f7: ISZERO 000009f8: SWAP1 000009f9: PUSH8 0xffffffffffffffff 00000a02: AND 00000a03: PUSH1 0x00 00000a05: DUP2 00000a06: ISZERO 00000a07: DUP1 00000a08: ISZERO 00000a09: PUSH2 0x0a0f 00000a0c: JUMPI 00000a0d: POP 00000a0e: DUP3 00000a0f: JUMPDEST 00000a10: SWAP1 00000a11: POP 00000a12: PUSH1 0x00 00000a14: DUP3 00000a15: PUSH8 0xffffffffffffffff 00000a1e: AND 00000a1f: PUSH1 0x01 00000a21: EQ 00000a22: DUP1 00000a23: ISZERO 00000a24: PUSH2 0x0a2c 00000a27: JUMPI 00000a28: POP 00000a29: ADDRESS 00000a2a: EXTCODESIZE 00000a2b: ISZERO 00000a2c: JUMPDEST 00000a2d: SWAP1 00000a2e: POP 00000a2f: DUP2 00000a30: ISZERO 00000a31: DUP1 00000a32: ISZERO 00000a33: PUSH2 0x0a3a 00000a36: JUMPI 00000a37: POP 00000a38: DUP1 00000a39: ISZERO 00000a3a: JUMPDEST 00000a3b: ISZERO 00000a3c: PUSH2 0x0a71 00000a3f: JUMPI 00000a40: PUSH1 0x40 00000a42: MLOAD 00000a43: PUSH32 0xf92ee8a900000000000000000000000000000000000000000000000000000000 00000a64: DUP2 00000a65: MSTORE 00000a66: PUSH1 0x04 00000a68: ADD 00000a69: PUSH1 0x40 00000a6b: MLOAD 00000a6c: DUP1 00000a6d: SWAP2 00000a6e: SUB 00000a6f: SWAP1 00000a70: REVERT 00000a71: JUMPDEST 00000a72: DUP5 00000a73: SLOAD 00000a74: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000 00000a95: AND 00000a96: PUSH1 0x01 00000a98: OR 00000a99: DUP6 00000a9a: SSTORE 00000a9b: DUP4 00000a9c: ISZERO 00000a9d: PUSH2 0x0ad2 00000aa0: JUMPI 00000aa1: DUP5 00000aa2: SLOAD 00000aa3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff 00000ac4: AND 00000ac5: PUSH9 0x010000000000000000 00000acf: OR 00000ad0: DUP6 00000ad1: SSTORE 00000ad2: JUMPDEST 00000ad3: PUSH2 0x0b46 00000ad6: PUSH1 0x40 00000ad8: MLOAD 00000ad9: DUP1 00000ada: PUSH1 0x40 00000adc: ADD 00000add: PUSH1 0x40 00000adf: MSTORE 00000ae0: DUP1 00000ae1: PUSH1 0x0d 00000ae3: DUP2 00000ae4: MSTORE 00000ae5: PUSH1 0x20 00000ae7: ADD 00000ae8: PUSH32 0x4c697175696469747942616e6b00000000000000000000000000000000000000 00000b09: DUP2 00000b0a: MSTORE 00000b0b: POP 00000b0c: PUSH1 0x40 00000b0e: MLOAD 00000b0f: DUP1 00000b10: PUSH1 0x40 00000b12: ADD 00000b13: PUSH1 0x40 00000b15: MSTORE 00000b16: DUP1 00000b17: PUSH1 0x01 00000b19: DUP2 00000b1a: MSTORE 00000b1b: PUSH1 0x20 00000b1d: ADD 00000b1e: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000 00000b3f: DUP2 00000b40: MSTORE 00000b41: POP 00000b42: PUSH2 0x1fd5 00000b45: JUMP 00000b46: JUMPDEST 00000b47: PUSH2 0x0b4f 00000b4a: DUP8 00000b4b: PUSH2 0x1feb 00000b4e: JUMP 00000b4f: JUMPDEST 00000b50: PUSH2 0x0b57 00000b53: PUSH2 0x1ffc 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH2 0x0b5f 00000b5b: PUSH2 0x200c 00000b5e: JUMP 00000b5f: JUMPDEST 00000b60: PUSH1 0x04 00000b62: DUP1 00000b63: SLOAD 00000b64: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000b85: AND 00000b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9b: DUP9 00000b9c: AND 00000b9d: OR 00000b9e: SWAP1 00000b9f: SSTORE 00000ba0: DUP4 00000ba1: ISZERO 00000ba2: PUSH2 0x0c00 00000ba5: JUMPI 00000ba6: DUP5 00000ba7: SLOAD 00000ba8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff 00000bc9: AND 00000bca: DUP6 00000bcb: SSTORE 00000bcc: PUSH1 0x40 00000bce: MLOAD 00000bcf: PUSH1 0x01 00000bd1: DUP2 00000bd2: MSTORE 00000bd3: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 00000bf4: SWAP1 00000bf5: PUSH1 0x20 00000bf7: ADD 00000bf8: PUSH1 0x40 00000bfa: MLOAD 00000bfb: DUP1 00000bfc: SWAP2 00000bfd: SUB 00000bfe: SWAP1 00000bff: LOG1 00000c00: JUMPDEST 00000c01: POP 00000c02: POP 00000c03: POP 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: POP 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH2 0x0c11 00000c0d: PUSH2 0x1c10 00000c10: JUMP 00000c11: JUMPDEST 00000c12: PUSH2 0x09b2 00000c15: PUSH1 0x00 00000c17: PUSH2 0x201c 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: PUSH1 0x00 00000c1e: PUSH1 0x60 00000c20: DUP1 00000c21: DUP3 00000c22: DUP1 00000c23: DUP1 00000c24: DUP4 00000c25: DUP2 00000c26: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100 00000c47: DUP1 00000c48: SLOAD 00000c49: SWAP1 00000c4a: SWAP2 00000c4b: POP 00000c4c: ISZERO 00000c4d: DUP1 00000c4e: ISZERO 00000c4f: PUSH2 0x0c5a 00000c52: JUMPI 00000c53: POP 00000c54: PUSH1 0x01 00000c56: DUP2 00000c57: ADD 00000c58: SLOAD 00000c59: ISZERO 00000c5a: JUMPDEST 00000c5b: PUSH2 0x0cc0 00000c5e: JUMPI 00000c5f: PUSH1 0x40 00000c61: MLOAD 00000c62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c83: DUP2 00000c84: MSTORE 00000c85: PUSH1 0x20 00000c87: PUSH1 0x04 00000c89: DUP3 00000c8a: ADD 00000c8b: MSTORE 00000c8c: PUSH1 0x15 00000c8e: PUSH1 0x24 00000c90: DUP3 00000c91: ADD 00000c92: MSTORE 00000c93: PUSH32 0x4549503731323a20556e696e697469616c697a65640000000000000000000000 00000cb4: PUSH1 0x44 00000cb6: DUP3 00000cb7: ADD 00000cb8: MSTORE 00000cb9: PUSH1 0x64 00000cbb: ADD 00000cbc: PUSH2 0x04b0 00000cbf: JUMP 00000cc0: JUMPDEST 00000cc1: PUSH2 0x0cc8 00000cc4: PUSH2 0x20b2 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: PUSH2 0x0cd0 00000ccc: PUSH2 0x2187 00000ccf: JUMP 00000cd0: JUMPDEST 00000cd1: PUSH1 0x40 00000cd3: DUP1 00000cd4: MLOAD 00000cd5: PUSH1 0x00 00000cd7: DUP1 00000cd8: DUP3 00000cd9: MSTORE 00000cda: PUSH1 0x20 00000cdc: DUP3 00000cdd: ADD 00000cde: SWAP1 00000cdf: SWAP3 00000ce0: MSTORE 00000ce1: PUSH32 0x0f00000000000000000000000000000000000000000000000000000000000000 00000d02: SWAP13 00000d03: SWAP4 00000d04: SWAP12 00000d05: POP 00000d06: SWAP2 00000d07: SWAP10 00000d08: POP 00000d09: CHAINID 00000d0a: SWAP9 00000d0b: POP 00000d0c: ADDRESS 00000d0d: SWAP8 00000d0e: POP 00000d0f: SWAP6 00000d10: POP 00000d11: SWAP4 00000d12: POP 00000d13: SWAP2 00000d14: POP 00000d15: POP 00000d16: JUMP 00000d17: JUMPDEST 00000d18: PUSH2 0x0d1f 00000d1b: PUSH2 0x1c9e 00000d1e: JUMP 00000d1f: JUMPDEST 00000d20: PUSH2 0x0d27 00000d23: PUSH2 0x1d1f 00000d26: JUMP 00000d27: JUMPDEST 00000d28: DUP1 00000d29: CALLDATALOAD 00000d2a: PUSH1 0x00 00000d2c: SWAP1 00000d2d: DUP2 00000d2e: MSTORE 00000d2f: PUSH1 0x03 00000d31: PUSH1 0x20 00000d33: MSTORE 00000d34: PUSH1 0x40 00000d36: SWAP1 00000d37: KECCAK256 00000d38: SLOAD 00000d39: PUSH1 0xff 00000d3b: AND 00000d3c: ISZERO 00000d3d: PUSH2 0x0da2 00000d40: JUMPI 00000d41: PUSH1 0x40 00000d43: MLOAD 00000d44: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d65: DUP2 00000d66: MSTORE 00000d67: PUSH1 0x20 00000d69: PUSH1 0x04 00000d6b: DUP3 00000d6c: ADD 00000d6d: MSTORE 00000d6e: PUSH1 0x0c 00000d70: PUSH1 0x24 00000d72: DUP3 00000d73: ADD 00000d74: MSTORE 00000d75: PUSH32 0x4f72646572206c6f636b65640000000000000000000000000000000000000000 00000d96: PUSH1 0x44 00000d98: DUP3 00000d99: ADD 00000d9a: MSTORE 00000d9b: PUSH1 0x64 00000d9d: ADD 00000d9e: PUSH2 0x04b0 00000da1: JUMP 00000da2: JUMPDEST 00000da3: PUSH1 0x00 00000da5: PUSH2 0x0db1 00000da8: PUSH1 0x20 00000daa: DUP4 00000dab: ADD 00000dac: DUP4 00000dad: PUSH2 0x3107 00000db0: JUMP 00000db1: JUMPDEST 00000db2: SWAP1 00000db3: POP 00000db4: GT 00000db5: PUSH2 0x0e40 00000db8: JUMPI 00000db9: PUSH1 0x40 00000dbb: MLOAD 00000dbc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ddd: DUP2 00000dde: MSTORE 00000ddf: PUSH1 0x20 00000de1: PUSH1 0x04 00000de3: DUP3 00000de4: ADD 00000de5: MSTORE 00000de6: PUSH1 0x22 00000de8: PUSH1 0x24 00000dea: DUP3 00000deb: ADD 00000dec: MSTORE 00000ded: PUSH32 0x4f72646572206e6f7420666f756e6420696e206465706f736974207265636f72 00000e0e: PUSH1 0x44 00000e10: DUP3 00000e11: ADD 00000e12: MSTORE 00000e13: PUSH32 0x6473000000000000000000000000000000000000000000000000000000000000 00000e34: PUSH1 0x64 00000e36: DUP3 00000e37: ADD 00000e38: MSTORE 00000e39: PUSH1 0x84 00000e3b: ADD 00000e3c: PUSH2 0x04b0 00000e3f: JUMP 00000e40: JUMPDEST 00000e41: PUSH2 0x0e49 00000e44: DUP2 00000e45: PUSH2 0x21d8 00000e48: JUMP 00000e49: JUMPDEST 00000e4a: PUSH2 0x0eaf 00000e4d: JUMPI 00000e4e: PUSH1 0x40 00000e50: MLOAD 00000e51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e72: DUP2 00000e73: MSTORE 00000e74: PUSH1 0x20 00000e76: PUSH1 0x04 00000e78: DUP3 00000e79: ADD 00000e7a: MSTORE 00000e7b: PUSH1 0x15 00000e7d: PUSH1 0x24 00000e7f: DUP3 00000e80: ADD 00000e81: MSTORE 00000e82: PUSH32 0x496e76616c69642072656c65617365206f726465720000000000000000000000 00000ea3: PUSH1 0x44 00000ea5: DUP3 00000ea6: ADD 00000ea7: MSTORE 00000ea8: PUSH1 0x64 00000eaa: ADD 00000eab: PUSH2 0x04b0 00000eae: JUMP 00000eaf: JUMPDEST 00000eb0: DUP1 00000eb1: PUSH1 0x60 00000eb3: ADD 00000eb4: CALLDATALOAD 00000eb5: TIMESTAMP 00000eb6: GT 00000eb7: ISZERO 00000eb8: PUSH2 0x0f1d 00000ebb: JUMPI 00000ebc: PUSH1 0x40 00000ebe: MLOAD 00000ebf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ee0: DUP2 00000ee1: MSTORE 00000ee2: PUSH1 0x20 00000ee4: PUSH1 0x04 00000ee6: DUP3 00000ee7: ADD 00000ee8: MSTORE 00000ee9: PUSH1 0x0d 00000eeb: PUSH1 0x24 00000eed: DUP3 00000eee: ADD 00000eef: MSTORE 00000ef0: PUSH32 0x4f72646572206578706972656400000000000000000000000000000000000000 00000f11: PUSH1 0x44 00000f13: DUP3 00000f14: ADD 00000f15: MSTORE 00000f16: PUSH1 0x64 00000f18: ADD 00000f19: PUSH2 0x04b0 00000f1c: JUMP 00000f1d: JUMPDEST 00000f1e: DUP1 00000f1f: CALLDATALOAD 00000f20: PUSH1 0x00 00000f22: SWAP1 00000f23: DUP2 00000f24: MSTORE 00000f25: PUSH1 0x02 00000f27: PUSH1 0x20 00000f29: MSTORE 00000f2a: PUSH1 0x40 00000f2c: DUP2 00000f2d: KECCAK256 00000f2e: SLOAD 00000f2f: PUSH1 0xff 00000f31: AND 00000f32: PUSH1 0x01 00000f34: DUP2 00000f35: GT 00000f36: ISZERO 00000f37: PUSH2 0x0f42 00000f3a: JUMPI 00000f3b: PUSH2 0x0f42 00000f3e: PUSH2 0x305b 00000f41: JUMP 00000f42: JUMPDEST 00000f43: EQ 00000f44: PUSH2 0x0fa9 00000f47: JUMPI 00000f48: PUSH1 0x40 00000f4a: MLOAD 00000f4b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f6c: DUP2 00000f6d: MSTORE 00000f6e: PUSH1 0x20 00000f70: PUSH1 0x04 00000f72: DUP3 00000f73: ADD 00000f74: MSTORE 00000f75: PUSH1 0x17 00000f77: PUSH1 0x24 00000f79: DUP3 00000f7a: ADD 00000f7b: MSTORE 00000f7c: PUSH32 0x4f7264657220616c72656164792070726f636573736564000000000000000000 00000f9d: PUSH1 0x44 00000f9f: DUP3 00000fa0: ADD 00000fa1: MSTORE 00000fa2: PUSH1 0x64 00000fa4: ADD 00000fa5: PUSH2 0x04b0 00000fa8: JUMP 00000fa9: JUMPDEST 00000faa: PUSH2 0x0fb9 00000fad: PUSH1 0xa0 00000faf: DUP3 00000fb0: ADD 00000fb1: PUSH1 0x80 00000fb3: DUP4 00000fb4: ADD 00000fb5: PUSH2 0x2e34 00000fb8: JUMP 00000fb9: JUMPDEST 00000fba: PUSH1 0x40 00000fbc: MLOAD 00000fbd: PUSH32 0x15271b6700000000000000000000000000000000000000000000000000000000 00000fde: DUP2 00000fdf: MSTORE 00000fe0: DUP3 00000fe1: CALLDATALOAD 00000fe2: PUSH1 0x04 00000fe4: DUP3 00000fe5: ADD 00000fe6: MSTORE 00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffc: SWAP2 00000ffd: SWAP1 00000ffe: SWAP2 00000fff: AND 00001000: SWAP1 00001001: PUSH4 0x15271b67 00001006: SWAP1 00001007: PUSH1 0x24 00001009: ADD 0000100a: PUSH1 0x20 0000100c: PUSH1 0x40 0000100e: MLOAD 0000100f: DUP1 00001010: DUP4 00001011: SUB 00001012: DUP2 00001013: DUP7 00001014: GAS 00001015: STATICCALL 00001016: ISZERO 00001017: DUP1 00001018: ISZERO 00001019: PUSH2 0x1026 0000101c: JUMPI 0000101d: RETURNDATASIZE 0000101e: PUSH1 0x00 00001020: DUP1 00001021: RETURNDATACOPY 00001022: RETURNDATASIZE 00001023: PUSH1 0x00 00001025: REVERT 00001026: JUMPDEST 00001027: POP 00001028: POP 00001029: POP 0000102a: POP 0000102b: PUSH1 0x40 0000102d: MLOAD 0000102e: RETURNDATASIZE 0000102f: PUSH1 0x1f 00001031: NOT 00001032: PUSH1 0x1f 00001034: DUP3 00001035: ADD 00001036: AND 00001037: DUP3 00001038: ADD 00001039: DUP1 0000103a: PUSH1 0x40 0000103c: MSTORE 0000103d: POP 0000103e: DUP2 0000103f: ADD 00001040: SWAP1 00001041: PUSH2 0x104a 00001044: SWAP2 00001045: SWAP1 00001046: PUSH2 0x322b 00001049: JUMP 0000104a: JUMPDEST 0000104b: PUSH2 0x10b0 0000104e: JUMPI 0000104f: PUSH1 0x40 00001051: MLOAD 00001052: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001073: DUP2 00001074: MSTORE 00001075: PUSH1 0x20 00001077: PUSH1 0x04 00001079: DUP3 0000107a: ADD 0000107b: MSTORE 0000107c: PUSH1 0x10 0000107e: PUSH1 0x24 00001080: DUP3 00001081: ADD 00001082: MSTORE 00001083: PUSH32 0x496e76616c6964206f7264657220696400000000000000000000000000000000 000010a4: PUSH1 0x44 000010a6: DUP3 000010a7: ADD 000010a8: MSTORE 000010a9: PUSH1 0x64 000010ab: ADD 000010ac: PUSH2 0x04b0 000010af: JUMP 000010b0: JUMPDEST 000010b1: PUSH1 0x00 000010b3: JUMPDEST 000010b4: PUSH2 0x10c0 000010b7: PUSH1 0x20 000010b9: DUP4 000010ba: ADD 000010bb: DUP4 000010bc: PUSH2 0x3107 000010bf: JUMP 000010c0: JUMPDEST 000010c1: SWAP1 000010c2: POP 000010c3: DUP2 000010c4: LT 000010c5: ISZERO 000010c6: PUSH2 0x134c 000010c9: JUMPI 000010ca: PUSH1 0x00 000010cc: PUSH2 0x10d8 000010cf: PUSH1 0x20 000010d1: DUP5 000010d2: ADD 000010d3: DUP5 000010d4: PUSH2 0x3107 000010d7: JUMP 000010d8: JUMPDEST 000010d9: DUP4 000010da: DUP2 000010db: DUP2 000010dc: LT 000010dd: PUSH2 0x10e8 000010e0: JUMPI 000010e1: PUSH2 0x10e8 000010e4: PUSH2 0x3176 000010e7: JUMP 000010e8: JUMPDEST 000010e9: SWAP1 000010ea: POP 000010eb: PUSH1 0x40 000010ed: MUL 000010ee: ADD 000010ef: DUP1 000010f0: CALLDATASIZE 000010f1: SUB 000010f2: DUP2 000010f3: ADD 000010f4: SWAP1 000010f5: PUSH2 0x10fe 000010f8: SWAP2 000010f9: SWAP1 000010fa: PUSH2 0x31d4 000010fd: JUMP 000010fe: JUMPDEST 000010ff: DUP1 00001100: MLOAD 00001101: SWAP1 00001102: SWAP2 00001103: POP 00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001119: AND 0000111a: PUSH2 0x1283 0000111d: JUMPI 0000111e: PUSH1 0x00 00001120: PUSH2 0x112f 00001123: PUSH1 0x60 00001125: DUP6 00001126: ADD 00001127: PUSH1 0x40 00001129: DUP7 0000112a: ADD 0000112b: PUSH2 0x2e34 0000112e: JUMP 0000112f: JUMPDEST 00001130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001145: AND 00001146: DUP3 00001147: PUSH1 0x20 00001149: ADD 0000114a: MLOAD 0000114b: PUSH1 0x40 0000114d: MLOAD 0000114e: PUSH1 0x00 00001150: PUSH1 0x40 00001152: MLOAD 00001153: DUP1 00001154: DUP4 00001155: SUB 00001156: DUP2 00001157: DUP6 00001158: DUP8 00001159: GAS 0000115a: CALL 0000115b: SWAP3 0000115c: POP 0000115d: POP 0000115e: POP 0000115f: RETURNDATASIZE 00001160: DUP1 00001161: PUSH1 0x00 00001163: DUP2 00001164: EQ 00001165: PUSH2 0x118a 00001168: JUMPI 00001169: PUSH1 0x40 0000116b: MLOAD 0000116c: SWAP2 0000116d: POP 0000116e: PUSH1 0x1f 00001170: NOT 00001171: PUSH1 0x3f 00001173: RETURNDATASIZE 00001174: ADD 00001175: AND 00001176: DUP3 00001177: ADD 00001178: PUSH1 0x40 0000117a: MSTORE 0000117b: RETURNDATASIZE 0000117c: DUP3 0000117d: MSTORE 0000117e: RETURNDATASIZE 0000117f: PUSH1 0x00 00001181: PUSH1 0x20 00001183: DUP5 00001184: ADD 00001185: RETURNDATACOPY 00001186: PUSH2 0x118f 00001189: JUMP 0000118a: JUMPDEST 0000118b: PUSH1 0x60 0000118d: SWAP2 0000118e: POP 0000118f: JUMPDEST 00001190: POP 00001191: POP 00001192: SWAP1 00001193: POP 00001194: DUP1 00001195: PUSH2 0x11fa 00001198: JUMPI 00001199: PUSH1 0x40 0000119b: MLOAD 0000119c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011bd: DUP2 000011be: MSTORE 000011bf: PUSH1 0x20 000011c1: PUSH1 0x04 000011c3: DUP3 000011c4: ADD 000011c5: MSTORE 000011c6: PUSH1 0x13 000011c8: PUSH1 0x24 000011ca: DUP3 000011cb: ADD 000011cc: MSTORE 000011cd: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000 000011ee: PUSH1 0x44 000011f0: DUP3 000011f1: ADD 000011f2: MSTORE 000011f3: PUSH1 0x64 000011f5: ADD 000011f6: PUSH2 0x04b0 000011f9: JUMP 000011fa: JUMPDEST 000011fb: PUSH2 0x120a 000011fe: PUSH1 0x60 00001200: DUP6 00001201: ADD 00001202: PUSH1 0x40 00001204: DUP7 00001205: ADD 00001206: PUSH2 0x2e34 00001209: JUMP 0000120a: JUMPDEST 0000120b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001220: AND 00001221: PUSH32 0xa8e623c654132d1367fecfb903b1095f106e72026399650b54dbbf24d981d4d1 00001242: DUP4 00001243: PUSH1 0x20 00001245: ADD 00001246: MLOAD 00001247: PUSH1 0x00 00001249: PUSH1 0x40 0000124b: MLOAD 0000124c: PUSH2 0x1275 0000124f: SWAP3 00001250: SWAP2 00001251: SWAP1 00001252: SWAP2 00001253: DUP3 00001254: MSTORE 00001255: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126a: AND 0000126b: PUSH1 0x20 0000126d: DUP3 0000126e: ADD 0000126f: MSTORE 00001270: PUSH1 0x40 00001272: ADD 00001273: SWAP1 00001274: JUMP 00001275: JUMPDEST 00001276: PUSH1 0x40 00001278: MLOAD 00001279: DUP1 0000127a: SWAP2 0000127b: SUB 0000127c: SWAP1 0000127d: LOG2 0000127e: POP 0000127f: PUSH2 0x1343 00001282: JUMP 00001283: JUMPDEST 00001284: DUP1 00001285: MLOAD 00001286: PUSH2 0x12bb 00001289: PUSH2 0x1298 0000128c: PUSH1 0x60 0000128e: DUP7 0000128f: ADD 00001290: PUSH1 0x40 00001292: DUP8 00001293: ADD 00001294: PUSH2 0x2e34 00001297: JUMP 00001298: JUMPDEST 00001299: PUSH1 0x20 0000129b: DUP5 0000129c: ADD 0000129d: MLOAD 0000129e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b3: DUP5 000012b4: AND 000012b5: SWAP2 000012b6: SWAP1 000012b7: PUSH2 0x2206 000012ba: JUMP 000012bb: JUMPDEST 000012bc: PUSH2 0x12cb 000012bf: PUSH1 0x60 000012c1: DUP6 000012c2: ADD 000012c3: PUSH1 0x40 000012c5: DUP7 000012c6: ADD 000012c7: PUSH2 0x2e34 000012ca: JUMP 000012cb: JUMPDEST 000012cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e1: AND 000012e2: PUSH32 0xa8e623c654132d1367fecfb903b1095f106e72026399650b54dbbf24d981d4d1 00001303: DUP4 00001304: PUSH1 0x20 00001306: ADD 00001307: MLOAD 00001308: DUP5 00001309: PUSH1 0x00 0000130b: ADD 0000130c: MLOAD 0000130d: PUSH1 0x40 0000130f: MLOAD 00001310: PUSH2 0x1339 00001313: SWAP3 00001314: SWAP2 00001315: SWAP1 00001316: SWAP2 00001317: DUP3 00001318: MSTORE 00001319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000132e: AND 0000132f: PUSH1 0x20 00001331: DUP3 00001332: ADD 00001333: MSTORE 00001334: PUSH1 0x40 00001336: ADD 00001337: SWAP1 00001338: JUMP 00001339: JUMPDEST 0000133a: PUSH1 0x40 0000133c: MLOAD 0000133d: DUP1 0000133e: SWAP2 0000133f: SUB 00001340: SWAP1 00001341: LOG2 00001342: POP 00001343: JUMPDEST 00001344: POP 00001345: PUSH1 0x01 00001347: ADD 00001348: PUSH2 0x10b3 0000134b: JUMP 0000134c: JUMPDEST 0000134d: POP 0000134e: DUP1 0000134f: CALLDATALOAD 00001350: PUSH1 0x00 00001352: SWAP1 00001353: DUP2 00001354: MSTORE 00001355: PUSH1 0x02 00001357: PUSH1 0x20 00001359: MSTORE 0000135a: PUSH1 0x40 0000135c: SWAP1 0000135d: KECCAK256 0000135e: DUP1 0000135f: SLOAD 00001360: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001381: AND 00001382: PUSH1 0x01 00001384: OR 00001385: SWAP1 00001386: SSTORE 00001387: PUSH2 0x099f 0000138a: PUSH1 0x01 0000138c: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 000013ad: SSTORE 000013ae: JUMP 000013af: JUMPDEST 000013b0: PUSH2 0x13b7 000013b3: PUSH2 0x1c10 000013b6: JUMP 000013b7: JUMPDEST 000013b8: PUSH2 0x13bf 000013bb: PUSH2 0x1c9e 000013be: JUMP 000013bf: JUMPDEST 000013c0: PUSH2 0x13c7 000013c3: PUSH2 0x1d1f 000013c6: JUMP 000013c7: JUMPDEST 000013c8: PUSH1 0x00 000013ca: DUP4 000013cb: GT 000013cc: PUSH2 0x1457 000013cf: JUMPI 000013d0: PUSH1 0x40 000013d2: MLOAD 000013d3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013f4: DUP2 000013f5: MSTORE 000013f6: PUSH1 0x20 000013f8: PUSH1 0x04 000013fa: DUP3 000013fb: ADD 000013fc: MSTORE 000013fd: PUSH1 0x29 000013ff: PUSH1 0x24 00001401: DUP3 00001402: ADD 00001403: MSTORE 00001404: PUSH32 0x576974686472617720616d6f756e74206d757374206265206772656174657220 00001425: PUSH1 0x44 00001427: DUP3 00001428: ADD 00001429: MSTORE 0000142a: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000 0000144b: PUSH1 0x64 0000144d: DUP3 0000144e: ADD 0000144f: MSTORE 00001450: PUSH1 0x84 00001452: ADD 00001453: PUSH2 0x04b0 00001456: JUMP 00001457: JUMPDEST 00001458: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146d: DUP3 0000146e: AND 0000146f: PUSH2 0x1592 00001472: JUMPI 00001473: PUSH1 0x00 00001475: DUP2 00001476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148b: AND 0000148c: DUP5 0000148d: PUSH1 0x40 0000148f: MLOAD 00001490: PUSH1 0x00 00001492: PUSH1 0x40 00001494: MLOAD 00001495: DUP1 00001496: DUP4 00001497: SUB 00001498: DUP2 00001499: DUP6 0000149a: DUP8 0000149b: GAS 0000149c: CALL 0000149d: SWAP3 0000149e: POP 0000149f: POP 000014a0: POP 000014a1: RETURNDATASIZE 000014a2: DUP1 000014a3: PUSH1 0x00 000014a5: DUP2 000014a6: EQ 000014a7: PUSH2 0x14cc 000014aa: JUMPI 000014ab: PUSH1 0x40 000014ad: MLOAD 000014ae: SWAP2 000014af: POP 000014b0: PUSH1 0x1f 000014b2: NOT 000014b3: PUSH1 0x3f 000014b5: RETURNDATASIZE 000014b6: ADD 000014b7: AND 000014b8: DUP3 000014b9: ADD 000014ba: PUSH1 0x40 000014bc: MSTORE 000014bd: RETURNDATASIZE 000014be: DUP3 000014bf: MSTORE 000014c0: RETURNDATASIZE 000014c1: PUSH1 0x00 000014c3: PUSH1 0x20 000014c5: DUP5 000014c6: ADD 000014c7: RETURNDATACOPY 000014c8: PUSH2 0x14d1 000014cb: JUMP 000014cc: JUMPDEST 000014cd: PUSH1 0x60 000014cf: SWAP2 000014d0: POP 000014d1: JUMPDEST 000014d2: POP 000014d3: POP 000014d4: SWAP1 000014d5: POP 000014d6: DUP1 000014d7: PUSH2 0x153c 000014da: JUMPI 000014db: PUSH1 0x40 000014dd: MLOAD 000014de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014ff: DUP2 00001500: MSTORE 00001501: PUSH1 0x20 00001503: PUSH1 0x04 00001505: DUP3 00001506: ADD 00001507: MSTORE 00001508: PUSH1 0x13 0000150a: PUSH1 0x24 0000150c: DUP3 0000150d: ADD 0000150e: MSTORE 0000150f: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000 00001530: PUSH1 0x44 00001532: DUP3 00001533: ADD 00001534: MSTORE 00001535: PUSH1 0x64 00001537: ADD 00001538: PUSH2 0x04b0 0000153b: JUMP 0000153c: JUMPDEST 0000153d: PUSH1 0x40 0000153f: DUP1 00001540: MLOAD 00001541: DUP6 00001542: DUP2 00001543: MSTORE 00001544: PUSH1 0x00 00001546: PUSH1 0x20 00001548: DUP3 00001549: ADD 0000154a: MSTORE 0000154b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001560: DUP5 00001561: AND 00001562: SWAP2 00001563: PUSH31 0x1a143d5b175701cb3246058ffac3d63945192075a926ff73a19930f09d587a 00001583: SWAP2 00001584: ADD 00001585: PUSH1 0x40 00001587: MLOAD 00001588: DUP1 00001589: SWAP2 0000158a: SUB 0000158b: SWAP1 0000158c: LOG2 0000158d: POP 0000158e: PUSH2 0x1607 00001591: JUMP 00001592: JUMPDEST 00001593: DUP2 00001594: PUSH2 0x15b4 00001597: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ac: DUP3 000015ad: AND 000015ae: DUP4 000015af: DUP7 000015b0: PUSH2 0x2206 000015b3: JUMP 000015b4: JUMPDEST 000015b5: PUSH1 0x40 000015b7: DUP1 000015b8: MLOAD 000015b9: DUP6 000015ba: DUP2 000015bb: MSTORE 000015bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d1: DUP6 000015d2: DUP2 000015d3: AND 000015d4: PUSH1 0x20 000015d6: DUP4 000015d7: ADD 000015d8: MSTORE 000015d9: DUP5 000015da: AND 000015db: SWAP2 000015dc: PUSH31 0x1a143d5b175701cb3246058ffac3d63945192075a926ff73a19930f09d587a 000015fc: SWAP2 000015fd: ADD 000015fe: PUSH1 0x40 00001600: MLOAD 00001601: DUP1 00001602: SWAP2 00001603: SUB 00001604: SWAP1 00001605: LOG2 00001606: POP 00001607: JUMPDEST 00001608: PUSH2 0x1630 0000160b: PUSH1 0x01 0000160d: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 0000162e: SSTORE 0000162f: JUMP 00001630: JUMPDEST 00001631: POP 00001632: POP 00001633: POP 00001634: JUMP 00001635: JUMPDEST 00001636: PUSH2 0x163d 00001639: PUSH2 0x1c9e 0000163c: JUMP 0000163d: JUMPDEST 0000163e: PUSH2 0x1645 00001641: PUSH2 0x1d1f 00001644: JUMP 00001645: JUMPDEST 00001646: DUP1 00001647: CALLDATALOAD 00001648: PUSH1 0x00 0000164a: SWAP1 0000164b: DUP2 0000164c: MSTORE 0000164d: PUSH1 0x03 0000164f: PUSH1 0x20 00001651: MSTORE 00001652: PUSH1 0x40 00001654: SWAP1 00001655: KECCAK256 00001656: SLOAD 00001657: PUSH1 0xff 00001659: AND 0000165a: ISZERO 0000165b: PUSH2 0x16c0 0000165e: JUMPI 0000165f: PUSH1 0x40 00001661: MLOAD 00001662: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001683: DUP2 00001684: MSTORE 00001685: PUSH1 0x20 00001687: PUSH1 0x04 00001689: DUP3 0000168a: ADD 0000168b: MSTORE 0000168c: PUSH1 0x0c 0000168e: PUSH1 0x24 00001690: DUP3 00001691: ADD 00001692: MSTORE 00001693: PUSH32 0x4f72646572206c6f636b65640000000000000000000000000000000000000000 000016b4: PUSH1 0x44 000016b6: DUP3 000016b7: ADD 000016b8: MSTORE 000016b9: PUSH1 0x64 000016bb: ADD 000016bc: PUSH2 0x04b0 000016bf: JUMP 000016c0: JUMPDEST 000016c1: PUSH2 0x16c9 000016c4: DUP2 000016c5: PUSH2 0x2244 000016c8: JUMP 000016c9: JUMPDEST 000016ca: PUSH2 0x172f 000016cd: JUMPI 000016ce: PUSH1 0x40 000016d0: MLOAD 000016d1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016f2: DUP2 000016f3: MSTORE 000016f4: PUSH1 0x20 000016f6: PUSH1 0x04 000016f8: DUP3 000016f9: ADD 000016fa: MSTORE 000016fb: PUSH1 0x14 000016fd: PUSH1 0x24 000016ff: DUP3 00001700: ADD 00001701: MSTORE 00001702: PUSH32 0x496e76616c696420726566756e64206f72646572000000000000000000000000 00001723: PUSH1 0x44 00001725: DUP3 00001726: ADD 00001727: MSTORE 00001728: PUSH1 0x64 0000172a: ADD 0000172b: PUSH2 0x04b0 0000172e: JUMP 0000172f: JUMPDEST 00001730: DUP1 00001731: PUSH1 0x40 00001733: ADD 00001734: CALLDATALOAD 00001735: TIMESTAMP 00001736: GT 00001737: ISZERO 00001738: PUSH2 0x179d 0000173b: JUMPI 0000173c: PUSH1 0x40 0000173e: MLOAD 0000173f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001760: DUP2 00001761: MSTORE 00001762: PUSH1 0x20 00001764: PUSH1 0x04 00001766: DUP3 00001767: ADD 00001768: MSTORE 00001769: PUSH1 0x0d 0000176b: PUSH1 0x24 0000176d: DUP3 0000176e: ADD 0000176f: MSTORE 00001770: PUSH32 0x4f72646572206578706972656400000000000000000000000000000000000000 00001791: PUSH1 0x44 00001793: DUP3 00001794: ADD 00001795: MSTORE 00001796: PUSH1 0x64 00001798: ADD 00001799: PUSH2 0x04b0 0000179c: JUMP 0000179d: JUMPDEST 0000179e: DUP1 0000179f: CALLDATALOAD 000017a0: PUSH1 0x00 000017a2: SWAP1 000017a3: DUP2 000017a4: MSTORE 000017a5: PUSH1 0x03 000017a7: PUSH1 0x20 000017a9: SWAP1 000017aa: DUP2 000017ab: MSTORE 000017ac: PUSH1 0x40 000017ae: DUP1 000017af: DUP4 000017b0: KECCAK256 000017b1: DUP1 000017b2: SLOAD 000017b3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000017d4: AND 000017d5: PUSH1 0x01 000017d7: OR 000017d8: SWAP1 000017d9: SSTORE 000017da: DUP3 000017db: DUP3 000017dc: MSTORE 000017dd: DUP1 000017de: DUP4 000017df: KECCAK256 000017e0: DUP1 000017e1: SLOAD 000017e2: DUP3 000017e3: MLOAD 000017e4: DUP2 000017e5: DUP6 000017e6: MUL 000017e7: DUP2 000017e8: ADD 000017e9: DUP6 000017ea: ADD 000017eb: SWAP1 000017ec: SWAP4 000017ed: MSTORE 000017ee: DUP1 000017ef: DUP4 000017f0: MSTORE 000017f1: SWAP2 000017f2: SWAP3 000017f3: SWAP1 000017f4: SWAP2 000017f5: SWAP1 000017f6: DUP5 000017f7: SWAP1 000017f8: DUP5 000017f9: ADD 000017fa: JUMPDEST 000017fb: DUP3 000017fc: DUP3 000017fd: LT 000017fe: ISZERO 000017ff: PUSH2 0x184f 00001802: JUMPI 00001803: PUSH1 0x00 00001805: DUP5 00001806: DUP2 00001807: MSTORE 00001808: PUSH1 0x20 0000180a: SWAP1 0000180b: DUP2 0000180c: SWAP1 0000180d: KECCAK256 0000180e: PUSH1 0x40 00001810: DUP1 00001811: MLOAD 00001812: DUP1 00001813: DUP3 00001814: ADD 00001815: SWAP1 00001816: SWAP2 00001817: MSTORE 00001818: PUSH1 0x02 0000181a: DUP6 0000181b: MUL 0000181c: SWAP1 0000181d: SWAP2 0000181e: ADD 0000181f: DUP1 00001820: SLOAD 00001821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001836: AND 00001837: DUP3 00001838: MSTORE 00001839: PUSH1 0x01 0000183b: SWAP1 0000183c: DUP2 0000183d: ADD 0000183e: SLOAD 0000183f: DUP3 00001840: DUP5 00001841: ADD 00001842: MSTORE 00001843: SWAP1 00001844: DUP4 00001845: MSTORE 00001846: SWAP1 00001847: SWAP3 00001848: ADD 00001849: SWAP2 0000184a: ADD 0000184b: PUSH2 0x17fa 0000184e: JUMP 0000184f: JUMPDEST 00001850: POP 00001851: POP 00001852: POP 00001853: POP 00001854: SWAP1 00001855: POP 00001856: PUSH1 0x00 00001858: DUP2 00001859: MLOAD 0000185a: GT 0000185b: PUSH2 0x1864 0000185e: JUMPI 0000185f: POP 00001860: PUSH2 0x1b86 00001863: JUMP 00001864: JUMPDEST 00001865: DUP2 00001866: CALLDATALOAD 00001867: PUSH1 0x00 00001869: SWAP1 0000186a: DUP2 0000186b: MSTORE 0000186c: PUSH1 0x01 0000186e: PUSH1 0x20 00001870: DUP2 00001871: SWAP1 00001872: MSTORE 00001873: PUSH1 0x40 00001875: DUP3 00001876: KECCAK256 00001877: SLOAD 00001878: PUSH1 0xff 0000187a: AND 0000187b: SWAP1 0000187c: DUP2 0000187d: GT 0000187e: ISZERO 0000187f: PUSH2 0x188a 00001882: JUMPI 00001883: PUSH2 0x188a 00001886: PUSH2 0x305b 00001889: JUMP 0000188a: JUMPDEST 0000188b: EQ 0000188c: PUSH2 0x18f1 0000188f: JUMPI 00001890: PUSH1 0x40 00001892: MLOAD 00001893: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018b4: DUP2 000018b5: MSTORE 000018b6: PUSH1 0x20 000018b8: PUSH1 0x04 000018ba: DUP3 000018bb: ADD 000018bc: MSTORE 000018bd: PUSH1 0x16 000018bf: PUSH1 0x24 000018c1: DUP3 000018c2: ADD 000018c3: MSTORE 000018c4: PUSH32 0x4f7264657220616c726561647920726566756e64656400000000000000000000 000018e5: PUSH1 0x44 000018e7: DUP3 000018e8: ADD 000018e9: MSTORE 000018ea: PUSH1 0x64 000018ec: ADD 000018ed: PUSH2 0x04b0 000018f0: JUMP 000018f1: JUMPDEST 000018f2: PUSH1 0x00 000018f4: JUMPDEST 000018f5: DUP2 000018f6: MLOAD 000018f7: DUP2 000018f8: LT 000018f9: ISZERO 000018fa: PUSH2 0x1b47 000018fd: JUMPI 000018fe: PUSH1 0x00 00001900: DUP3 00001901: DUP3 00001902: DUP2 00001903: MLOAD 00001904: DUP2 00001905: LT 00001906: PUSH2 0x1911 00001909: JUMPI 0000190a: PUSH2 0x1911 0000190d: PUSH2 0x3176 00001910: JUMP 00001911: JUMPDEST 00001912: PUSH1 0x20 00001914: SWAP1 00001915: DUP2 00001916: MUL 00001917: SWAP2 00001918: SWAP1 00001919: SWAP2 0000191a: ADD 0000191b: ADD 0000191c: MLOAD 0000191d: DUP1 0000191e: MLOAD 0000191f: SWAP1 00001920: SWAP2 00001921: POP 00001922: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001937: AND 00001938: PUSH2 0x1aa1 0000193b: JUMPI 0000193c: PUSH1 0x00 0000193e: PUSH2 0x194d 00001941: PUSH1 0x40 00001943: DUP7 00001944: ADD 00001945: PUSH1 0x20 00001947: DUP8 00001948: ADD 00001949: PUSH2 0x2e34 0000194c: JUMP 0000194d: JUMPDEST 0000194e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001963: AND 00001964: DUP3 00001965: PUSH1 0x20 00001967: ADD 00001968: MLOAD 00001969: PUSH1 0x40 0000196b: MLOAD 0000196c: PUSH1 0x00 0000196e: PUSH1 0x40 00001970: MLOAD 00001971: DUP1 00001972: DUP4 00001973: SUB 00001974: DUP2 00001975: DUP6 00001976: DUP8 00001977: GAS 00001978: CALL 00001979: SWAP3 0000197a: POP 0000197b: POP 0000197c: POP 0000197d: RETURNDATASIZE 0000197e: DUP1 0000197f: PUSH1 0x00 00001981: DUP2 00001982: EQ 00001983: PUSH2 0x19a8 00001986: JUMPI 00001987: PUSH1 0x40 00001989: MLOAD 0000198a: SWAP2 0000198b: POP 0000198c: PUSH1 0x1f 0000198e: NOT 0000198f: PUSH1 0x3f 00001991: RETURNDATASIZE 00001992: ADD 00001993: AND 00001994: DUP3 00001995: ADD 00001996: PUSH1 0x40 00001998: MSTORE 00001999: RETURNDATASIZE 0000199a: DUP3 0000199b: MSTORE 0000199c: RETURNDATASIZE 0000199d: PUSH1 0x00 0000199f: PUSH1 0x20 000019a1: DUP5 000019a2: ADD 000019a3: RETURNDATACOPY 000019a4: PUSH2 0x19ad 000019a7: JUMP 000019a8: JUMPDEST 000019a9: PUSH1 0x60 000019ab: SWAP2 000019ac: POP 000019ad: JUMPDEST 000019ae: POP 000019af: POP 000019b0: SWAP1 000019b1: POP 000019b2: DUP1 000019b3: PUSH2 0x1a18 000019b6: JUMPI 000019b7: PUSH1 0x40 000019b9: MLOAD 000019ba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019db: DUP2 000019dc: MSTORE 000019dd: PUSH1 0x20 000019df: PUSH1 0x04 000019e1: DUP3 000019e2: ADD 000019e3: MSTORE 000019e4: PUSH1 0x13 000019e6: PUSH1 0x24 000019e8: DUP3 000019e9: ADD 000019ea: MSTORE 000019eb: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000 00001a0c: PUSH1 0x44 00001a0e: DUP3 00001a0f: ADD 00001a10: MSTORE 00001a11: PUSH1 0x64 00001a13: ADD 00001a14: PUSH2 0x04b0 00001a17: JUMP 00001a18: JUMPDEST 00001a19: PUSH2 0x1a28 00001a1c: PUSH1 0x40 00001a1e: DUP7 00001a1f: ADD 00001a20: PUSH1 0x20 00001a22: DUP8 00001a23: ADD 00001a24: PUSH2 0x2e34 00001a27: JUMP 00001a28: JUMPDEST 00001a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a3e: AND 00001a3f: PUSH32 0xb44b3631755227290f8fbd7b248fa4be405129d15351313e3c332a3fb9919417 00001a60: DUP4 00001a61: PUSH1 0x20 00001a63: ADD 00001a64: MLOAD 00001a65: PUSH1 0x00 00001a67: PUSH1 0x40 00001a69: MLOAD 00001a6a: PUSH2 0x1a93 00001a6d: SWAP3 00001a6e: SWAP2 00001a6f: SWAP1 00001a70: SWAP2 00001a71: DUP3 00001a72: MSTORE 00001a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a88: AND 00001a89: PUSH1 0x20 00001a8b: DUP3 00001a8c: ADD 00001a8d: MSTORE 00001a8e: PUSH1 0x40 00001a90: ADD 00001a91: SWAP1 00001a92: JUMP 00001a93: JUMPDEST 00001a94: PUSH1 0x40 00001a96: MLOAD 00001a97: DUP1 00001a98: SWAP2 00001a99: SUB 00001a9a: SWAP1 00001a9b: LOG2 00001a9c: POP 00001a9d: PUSH2 0x1b3e 00001aa0: JUMP 00001aa1: JUMPDEST 00001aa2: DUP1 00001aa3: MLOAD 00001aa4: PUSH2 0x1ab6 00001aa7: PUSH2 0x1298 00001aaa: PUSH1 0x40 00001aac: DUP8 00001aad: ADD 00001aae: PUSH1 0x20 00001ab0: DUP9 00001ab1: ADD 00001ab2: PUSH2 0x2e34 00001ab5: JUMP 00001ab6: JUMPDEST 00001ab7: PUSH2 0x1ac6 00001aba: PUSH1 0x40 00001abc: DUP7 00001abd: ADD 00001abe: PUSH1 0x20 00001ac0: DUP8 00001ac1: ADD 00001ac2: PUSH2 0x2e34 00001ac5: JUMP 00001ac6: JUMPDEST 00001ac7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001adc: AND 00001add: PUSH32 0xb44b3631755227290f8fbd7b248fa4be405129d15351313e3c332a3fb9919417 00001afe: DUP4 00001aff: PUSH1 0x20 00001b01: ADD 00001b02: MLOAD 00001b03: DUP5 00001b04: PUSH1 0x00 00001b06: ADD 00001b07: MLOAD 00001b08: PUSH1 0x40 00001b0a: MLOAD 00001b0b: PUSH2 0x1b34 00001b0e: SWAP3 00001b0f: SWAP2 00001b10: SWAP1 00001b11: SWAP2 00001b12: DUP3 00001b13: MSTORE 00001b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b29: AND 00001b2a: PUSH1 0x20 00001b2c: DUP3 00001b2d: ADD 00001b2e: MSTORE 00001b2f: PUSH1 0x40 00001b31: ADD 00001b32: SWAP1 00001b33: JUMP 00001b34: JUMPDEST 00001b35: PUSH1 0x40 00001b37: MLOAD 00001b38: DUP1 00001b39: SWAP2 00001b3a: SUB 00001b3b: SWAP1 00001b3c: LOG2 00001b3d: POP 00001b3e: JUMPDEST 00001b3f: POP 00001b40: PUSH1 0x01 00001b42: ADD 00001b43: PUSH2 0x18f4 00001b46: JUMP 00001b47: JUMPDEST 00001b48: POP 00001b49: POP 00001b4a: DUP1 00001b4b: CALLDATALOAD 00001b4c: PUSH1 0x00 00001b4e: SWAP1 00001b4f: DUP2 00001b50: MSTORE 00001b51: PUSH1 0x01 00001b53: PUSH1 0x20 00001b55: DUP2 00001b56: SWAP1 00001b57: MSTORE 00001b58: PUSH1 0x40 00001b5a: SWAP1 00001b5b: SWAP2 00001b5c: KECCAK256 00001b5d: DUP1 00001b5e: SLOAD 00001b5f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001b80: AND 00001b81: SWAP1 00001b82: SWAP2 00001b83: OR 00001b84: SWAP1 00001b85: SSTORE 00001b86: JUMPDEST 00001b87: PUSH2 0x099f 00001b8a: PUSH1 0x01 00001b8c: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00001bad: SSTORE 00001bae: JUMP 00001baf: JUMPDEST 00001bb0: PUSH2 0x1bb7 00001bb3: PUSH2 0x1c10 00001bb6: JUMP 00001bb7: JUMPDEST 00001bb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bcd: DUP2 00001bce: AND 00001bcf: PUSH2 0x1c07 00001bd2: JUMPI 00001bd3: PUSH1 0x40 00001bd5: MLOAD 00001bd6: PUSH32 0x1e4fbdf700000000000000000000000000000000000000000000000000000000 00001bf7: DUP2 00001bf8: MSTORE 00001bf9: PUSH1 0x00 00001bfb: PUSH1 0x04 00001bfd: DUP3 00001bfe: ADD 00001bff: MSTORE 00001c00: PUSH1 0x24 00001c02: ADD 00001c03: PUSH2 0x04b0 00001c06: JUMP 00001c07: JUMPDEST 00001c08: PUSH2 0x099f 00001c0b: DUP2 00001c0c: PUSH2 0x201c 00001c0f: JUMP 00001c10: JUMPDEST 00001c11: CALLER 00001c12: PUSH2 0x1c4f 00001c15: PUSH32 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300 00001c36: SLOAD 00001c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4c: AND 00001c4d: SWAP1 00001c4e: JUMP 00001c4f: JUMPDEST 00001c50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c65: AND 00001c66: EQ 00001c67: PUSH2 0x09b2 00001c6a: JUMPI 00001c6b: PUSH1 0x40 00001c6d: MLOAD 00001c6e: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000 00001c8f: DUP2 00001c90: MSTORE 00001c91: CALLER 00001c92: PUSH1 0x04 00001c94: DUP3 00001c95: ADD 00001c96: MSTORE 00001c97: PUSH1 0x24 00001c99: ADD 00001c9a: PUSH2 0x04b0 00001c9d: JUMP 00001c9e: JUMPDEST 00001c9f: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00001cc0: DUP1 00001cc1: SLOAD 00001cc2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe 00001ce3: ADD 00001ce4: PUSH2 0x1d19 00001ce7: JUMPI 00001ce8: PUSH1 0x40 00001cea: MLOAD 00001ceb: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 00001d0c: DUP2 00001d0d: MSTORE 00001d0e: PUSH1 0x04 00001d10: ADD 00001d11: PUSH1 0x40 00001d13: MLOAD 00001d14: DUP1 00001d15: SWAP2 00001d16: SUB 00001d17: SWAP1 00001d18: REVERT 00001d19: JUMPDEST 00001d1a: PUSH1 0x02 00001d1c: SWAP1 00001d1d: SSTORE 00001d1e: JUMP 00001d1f: JUMPDEST 00001d20: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300 00001d41: SLOAD 00001d42: PUSH1 0xff 00001d44: AND 00001d45: ISZERO 00001d46: PUSH2 0x09b2 00001d49: JUMPI 00001d4a: PUSH1 0x40 00001d4c: MLOAD 00001d4d: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000 00001d6e: DUP2 00001d6f: MSTORE 00001d70: PUSH1 0x04 00001d72: ADD 00001d73: PUSH1 0x40 00001d75: MLOAD 00001d76: DUP1 00001d77: SWAP2 00001d78: SUB 00001d79: SWAP1 00001d7a: REVERT 00001d7b: JUMPDEST 00001d7c: PUSH1 0x00 00001d7e: DUP1 00001d7f: PUSH2 0x1d87 00001d82: DUP4 00001d83: PUSH2 0x2250 00001d86: JUMP 00001d87: JUMPDEST 00001d88: SWAP1 00001d89: POP 00001d8a: PUSH1 0x00 00001d8c: PUSH2 0x1d94 00001d8f: DUP3 00001d90: PUSH2 0x23bc 00001d93: JUMP 00001d94: JUMPDEST 00001d95: SWAP1 00001d96: POP 00001d97: PUSH1 0x00 00001d99: PUSH2 0x1de3 00001d9c: DUP3 00001d9d: PUSH2 0x1da9 00001da0: PUSH1 0x60 00001da2: DUP9 00001da3: ADD 00001da4: DUP9 00001da5: PUSH2 0x324d 00001da8: JUMP 00001da9: JUMPDEST 00001daa: DUP1 00001dab: DUP1 00001dac: PUSH1 0x1f 00001dae: ADD 00001daf: PUSH1 0x20 00001db1: DUP1 00001db2: SWAP2 00001db3: DIV 00001db4: MUL 00001db5: PUSH1 0x20 00001db7: ADD 00001db8: PUSH1 0x40 00001dba: MLOAD 00001dbb: SWAP1 00001dbc: DUP2 00001dbd: ADD 00001dbe: PUSH1 0x40 00001dc0: MSTORE 00001dc1: DUP1 00001dc2: SWAP4 00001dc3: SWAP3 00001dc4: SWAP2 00001dc5: SWAP1 00001dc6: DUP2 00001dc7: DUP2 00001dc8: MSTORE 00001dc9: PUSH1 0x20 00001dcb: ADD 00001dcc: DUP4 00001dcd: DUP4 00001dce: DUP1 00001dcf: DUP3 00001dd0: DUP5 00001dd1: CALLDATACOPY 00001dd2: PUSH1 0x00 00001dd4: SWAP3 00001dd5: ADD 00001dd6: SWAP2 00001dd7: SWAP1 00001dd8: SWAP2 00001dd9: MSTORE 00001dda: POP 00001ddb: PUSH2 0x240a 00001dde: SWAP3 00001ddf: POP 00001de0: POP 00001de1: POP 00001de2: JUMP 00001de3: JUMPDEST 00001de4: PUSH1 0x04 00001de6: SLOAD 00001de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dfc: SWAP1 00001dfd: DUP2 00001dfe: AND 00001dff: SWAP2 00001e00: AND 00001e01: EQ 00001e02: SWAP6 00001e03: SWAP5 00001e04: POP 00001e05: POP 00001e06: POP 00001e07: POP 00001e08: POP 00001e09: JUMP 00001e0a: JUMPDEST 00001e0b: PUSH1 0x40 00001e0d: MLOAD 00001e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e23: DUP5 00001e24: DUP2 00001e25: AND 00001e26: PUSH1 0x24 00001e28: DUP4 00001e29: ADD 00001e2a: MSTORE 00001e2b: DUP4 00001e2c: DUP2 00001e2d: AND 00001e2e: PUSH1 0x44 00001e30: DUP4 00001e31: ADD 00001e32: MSTORE 00001e33: PUSH1 0x64 00001e35: DUP3 00001e36: ADD 00001e37: DUP4 00001e38: SWAP1 00001e39: MSTORE 00001e3a: PUSH2 0x1e93 00001e3d: SWAP2 00001e3e: DUP7 00001e3f: SWAP2 00001e40: DUP3 00001e41: AND 00001e42: SWAP1 00001e43: PUSH4 0x23b872dd 00001e48: SWAP1 00001e49: PUSH1 0x84 00001e4b: ADD 00001e4c: JUMPDEST 00001e4d: PUSH1 0x40 00001e4f: MLOAD 00001e50: PUSH1 0x20 00001e52: DUP2 00001e53: DUP4 00001e54: SUB 00001e55: SUB 00001e56: DUP2 00001e57: MSTORE 00001e58: SWAP1 00001e59: PUSH1 0x40 00001e5b: MSTORE 00001e5c: SWAP2 00001e5d: POP 00001e5e: PUSH1 0xe0 00001e60: SHL 00001e61: PUSH1 0x20 00001e63: DUP3 00001e64: ADD 00001e65: DUP1 00001e66: MLOAD 00001e67: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001e84: DUP4 00001e85: DUP2 00001e86: DUP4 00001e87: AND 00001e88: OR 00001e89: DUP4 00001e8a: MSTORE 00001e8b: POP 00001e8c: POP 00001e8d: POP 00001e8e: POP 00001e8f: PUSH2 0x2434 00001e92: JUMP 00001e93: JUMPDEST 00001e94: POP 00001e95: POP 00001e96: POP 00001e97: POP 00001e98: JUMP 00001e99: JUMPDEST 00001e9a: PUSH1 0x01 00001e9c: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00001ebd: SSTORE 00001ebe: JUMP 00001ebf: JUMPDEST 00001ec0: PUSH2 0x1ec7 00001ec3: PUSH2 0x1d1f 00001ec6: JUMP 00001ec7: JUMPDEST 00001ec8: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300 00001ee9: DUP1 00001eea: SLOAD 00001eeb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001f0c: AND 00001f0d: PUSH1 0x01 00001f0f: OR 00001f10: DUP2 00001f11: SSTORE 00001f12: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00001f33: CALLER 00001f34: JUMPDEST 00001f35: PUSH1 0x40 00001f37: MLOAD 00001f38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f4d: SWAP1 00001f4e: SWAP2 00001f4f: AND 00001f50: DUP2 00001f51: MSTORE 00001f52: PUSH1 0x20 00001f54: ADD 00001f55: PUSH1 0x40 00001f57: MLOAD 00001f58: DUP1 00001f59: SWAP2 00001f5a: SUB 00001f5b: SWAP1 00001f5c: LOG1 00001f5d: POP 00001f5e: JUMP 00001f5f: JUMPDEST 00001f60: PUSH2 0x1f67 00001f63: PUSH2 0x24ca 00001f66: JUMP 00001f67: JUMPDEST 00001f68: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300 00001f89: DUP1 00001f8a: SLOAD 00001f8b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001fac: AND 00001fad: DUP2 00001fae: SSTORE 00001faf: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00001fd0: CALLER 00001fd1: PUSH2 0x1f34 00001fd4: JUMP 00001fd5: JUMPDEST 00001fd6: PUSH2 0x1fdd 00001fd9: PUSH2 0x2525 00001fdc: JUMP 00001fdd: JUMPDEST 00001fde: PUSH2 0x1fe7 00001fe1: DUP3 00001fe2: DUP3 00001fe3: PUSH2 0x258c 00001fe6: JUMP 00001fe7: JUMPDEST 00001fe8: POP 00001fe9: POP 00001fea: JUMP 00001feb: JUMPDEST 00001fec: PUSH2 0x1ff3 00001fef: PUSH2 0x2525 00001ff2: JUMP 00001ff3: JUMPDEST 00001ff4: PUSH2 0x099f 00001ff7: DUP2 00001ff8: PUSH2 0x25ff 00001ffb: JUMP 00001ffc: JUMPDEST 00001ffd: PUSH2 0x2004 00002000: PUSH2 0x2525 00002003: JUMP 00002004: JUMPDEST 00002005: PUSH2 0x09b2 00002008: PUSH2 0x2607 0000200b: JUMP 0000200c: JUMPDEST 0000200d: PUSH2 0x2014 00002010: PUSH2 0x2525 00002013: JUMP 00002014: JUMPDEST 00002015: PUSH2 0x09b2 00002018: PUSH2 0x260f 0000201b: JUMP 0000201c: JUMPDEST 0000201d: PUSH32 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300 0000203e: DUP1 0000203f: SLOAD 00002040: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00002061: DUP2 00002062: AND 00002063: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002078: DUP5 00002079: DUP2 0000207a: AND 0000207b: SWAP2 0000207c: DUP3 0000207d: OR 0000207e: DUP5 0000207f: SSTORE 00002080: PUSH1 0x40 00002082: MLOAD 00002083: SWAP3 00002084: AND 00002085: SWAP2 00002086: DUP3 00002087: SWAP1 00002088: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000020a9: SWAP1 000020aa: PUSH1 0x00 000020ac: SWAP1 000020ad: LOG3 000020ae: POP 000020af: POP 000020b0: POP 000020b1: JUMP 000020b2: JUMPDEST 000020b3: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d102 000020d4: DUP1 000020d5: SLOAD 000020d6: PUSH1 0x60 000020d8: SWAP2 000020d9: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100 000020fa: SWAP2 000020fb: PUSH2 0x2103 000020fe: SWAP1 000020ff: PUSH2 0x32b2 00002102: JUMP 00002103: JUMPDEST 00002104: DUP1 00002105: PUSH1 0x1f 00002107: ADD 00002108: PUSH1 0x20 0000210a: DUP1 0000210b: SWAP2 0000210c: DIV 0000210d: MUL 0000210e: PUSH1 0x20 00002110: ADD 00002111: PUSH1 0x40 00002113: MLOAD 00002114: SWAP1 00002115: DUP2 00002116: ADD 00002117: PUSH1 0x40 00002119: MSTORE 0000211a: DUP1 0000211b: SWAP3 0000211c: SWAP2 0000211d: SWAP1 0000211e: DUP2 0000211f: DUP2 00002120: MSTORE 00002121: PUSH1 0x20 00002123: ADD 00002124: DUP3 00002125: DUP1 00002126: SLOAD 00002127: PUSH2 0x212f 0000212a: SWAP1 0000212b: PUSH2 0x32b2 0000212e: JUMP 0000212f: JUMPDEST 00002130: DUP1 00002131: ISZERO 00002132: PUSH2 0x217c 00002135: JUMPI 00002136: DUP1 00002137: PUSH1 0x1f 00002139: LT 0000213a: PUSH2 0x2151 0000213d: JUMPI 0000213e: PUSH2 0x0100 00002141: DUP1 00002142: DUP4 00002143: SLOAD 00002144: DIV 00002145: MUL 00002146: DUP4 00002147: MSTORE 00002148: SWAP2 00002149: PUSH1 0x20 0000214b: ADD 0000214c: SWAP2 0000214d: PUSH2 0x217c 00002150: JUMP 00002151: JUMPDEST 00002152: DUP3 00002153: ADD 00002154: SWAP2 00002155: SWAP1 00002156: PUSH1 0x00 00002158: MSTORE 00002159: PUSH1 0x20 0000215b: PUSH1 0x00 0000215d: KECCAK256 0000215e: SWAP1 0000215f: JUMPDEST 00002160: DUP2 00002161: SLOAD 00002162: DUP2 00002163: MSTORE 00002164: SWAP1 00002165: PUSH1 0x01 00002167: ADD 00002168: SWAP1 00002169: PUSH1 0x20 0000216b: ADD 0000216c: DUP1 0000216d: DUP4 0000216e: GT 0000216f: PUSH2 0x215f 00002172: JUMPI 00002173: DUP3 00002174: SWAP1 00002175: SUB 00002176: PUSH1 0x1f 00002178: AND 00002179: DUP3 0000217a: ADD 0000217b: SWAP2 0000217c: JUMPDEST 0000217d: POP 0000217e: POP 0000217f: POP 00002180: POP 00002181: POP 00002182: SWAP2 00002183: POP 00002184: POP 00002185: SWAP1 00002186: JUMP 00002187: JUMPDEST 00002188: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d103 000021a9: DUP1 000021aa: SLOAD 000021ab: PUSH1 0x60 000021ad: SWAP2 000021ae: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100 000021cf: SWAP2 000021d0: PUSH2 0x2103 000021d3: SWAP1 000021d4: PUSH2 0x32b2 000021d7: JUMP 000021d8: JUMPDEST 000021d9: PUSH1 0x00 000021db: DUP1 000021dc: PUSH2 0x21e4 000021df: DUP4 000021e0: PUSH2 0x2660 000021e3: JUMP 000021e4: JUMPDEST 000021e5: SWAP1 000021e6: POP 000021e7: PUSH1 0x00 000021e9: PUSH2 0x21f1 000021ec: DUP3 000021ed: PUSH2 0x23bc 000021f0: JUMP 000021f1: JUMPDEST 000021f2: SWAP1 000021f3: POP 000021f4: PUSH1 0x00 000021f6: PUSH2 0x1de3 000021f9: DUP3 000021fa: PUSH2 0x1da9 000021fd: PUSH1 0xa0 000021ff: DUP9 00002200: ADD 00002201: DUP9 00002202: PUSH2 0x324d 00002205: JUMP 00002206: JUMPDEST 00002207: PUSH1 0x40 00002209: MLOAD 0000220a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000221f: DUP4 00002220: DUP2 00002221: AND 00002222: PUSH1 0x24 00002224: DUP4 00002225: ADD 00002226: MSTORE 00002227: PUSH1 0x44 00002229: DUP3 0000222a: ADD 0000222b: DUP4 0000222c: SWAP1 0000222d: MSTORE 0000222e: PUSH2 0x1630 00002231: SWAP2 00002232: DUP6 00002233: SWAP2 00002234: DUP3 00002235: AND 00002236: SWAP1 00002237: PUSH4 0xa9059cbb 0000223c: SWAP1 0000223d: PUSH1 0x64 0000223f: ADD 00002240: PUSH2 0x1e4c 00002243: JUMP 00002244: JUMPDEST 00002245: PUSH1 0x00 00002247: DUP1 00002248: PUSH2 0x1d87 0000224b: DUP4 0000224c: PUSH2 0x27cc 0000224f: JUMP 00002250: JUMPDEST 00002251: PUSH1 0x00 00002253: DUP1 00002254: PUSH2 0x2260 00002257: PUSH1 0x20 00002259: DUP5 0000225a: ADD 0000225b: DUP5 0000225c: PUSH2 0x3107 0000225f: JUMP 00002260: JUMPDEST 00002261: SWAP1 00002262: POP 00002263: PUSH8 0xffffffffffffffff 0000226c: DUP2 0000226d: GT 0000226e: ISZERO 0000226f: PUSH2 0x227a 00002272: JUMPI 00002273: PUSH2 0x227a 00002276: PUSH2 0x31a5 00002279: JUMP 0000227a: JUMPDEST 0000227b: PUSH1 0x40 0000227d: MLOAD 0000227e: SWAP1 0000227f: DUP1 00002280: DUP3 00002281: MSTORE 00002282: DUP1 00002283: PUSH1 0x20 00002285: MUL 00002286: PUSH1 0x20 00002288: ADD 00002289: DUP3 0000228a: ADD 0000228b: PUSH1 0x40 0000228d: MSTORE 0000228e: DUP1 0000228f: ISZERO 00002290: PUSH2 0x22a3 00002293: JUMPI 00002294: DUP2 00002295: PUSH1 0x20 00002297: ADD 00002298: PUSH1 0x20 0000229a: DUP3 0000229b: MUL 0000229c: DUP1 0000229d: CALLDATASIZE 0000229e: DUP4 0000229f: CALLDATACOPY 000022a0: ADD 000022a1: SWAP1 000022a2: POP 000022a3: JUMPDEST 000022a4: POP 000022a5: SWAP1 000022a6: POP 000022a7: PUSH1 0x00 000022a9: JUMPDEST 000022aa: PUSH2 0x22b6 000022ad: PUSH1 0x20 000022af: DUP6 000022b0: ADD 000022b1: DUP6 000022b2: PUSH2 0x3107 000022b5: JUMP 000022b6: JUMPDEST 000022b7: SWAP1 000022b8: POP 000022b9: DUP2 000022ba: LT 000022bb: ISZERO 000022bc: PUSH2 0x230f 000022bf: JUMPI 000022c0: PUSH2 0x22ea 000022c3: PUSH2 0x22cf 000022c6: PUSH1 0x20 000022c8: DUP7 000022c9: ADD 000022ca: DUP7 000022cb: PUSH2 0x3107 000022ce: JUMP 000022cf: JUMPDEST 000022d0: DUP4 000022d1: DUP2 000022d2: DUP2 000022d3: LT 000022d4: PUSH2 0x22df 000022d7: JUMPI 000022d8: PUSH2 0x22df 000022db: PUSH2 0x3176 000022de: JUMP 000022df: JUMPDEST 000022e0: SWAP1 000022e1: POP 000022e2: PUSH1 0x40 000022e4: MUL 000022e5: ADD 000022e6: PUSH2 0x2858 000022e9: JUMP 000022ea: JUMPDEST 000022eb: DUP3 000022ec: DUP3 000022ed: DUP2 000022ee: MLOAD 000022ef: DUP2 000022f0: LT 000022f1: PUSH2 0x22fc 000022f4: JUMPI 000022f5: PUSH2 0x22fc 000022f8: PUSH2 0x3176 000022fb: JUMP 000022fc: JUMPDEST 000022fd: PUSH1 0x20 000022ff: SWAP1 00002300: DUP2 00002301: MUL 00002302: SWAP2 00002303: SWAP1 00002304: SWAP2 00002305: ADD 00002306: ADD 00002307: MSTORE 00002308: PUSH1 0x01 0000230a: ADD 0000230b: PUSH2 0x22a9 0000230e: JUMP 0000230f: JUMPDEST 00002310: POP 00002311: PUSH1 0x00 00002313: DUP2 00002314: PUSH1 0x40 00002316: MLOAD 00002317: PUSH1 0x20 00002319: ADD 0000231a: PUSH2 0x2323 0000231d: SWAP2 0000231e: SWAP1 0000231f: PUSH2 0x32ff 00002322: JUMP 00002323: JUMPDEST 00002324: PUSH1 0x40 00002326: DUP1 00002327: MLOAD 00002328: DUP1 00002329: DUP4 0000232a: SUB 0000232b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000234c: ADD 0000234d: DUP2 0000234e: MSTORE 0000234f: DUP3 00002350: DUP3 00002351: MSTORE 00002352: DUP1 00002353: MLOAD 00002354: PUSH1 0x20 00002356: SWAP2 00002357: DUP3 00002358: ADD 00002359: KECCAK256 0000235a: PUSH32 0xca23b1bc4e39cf37fd76eeda305272f5b30d39bd819bf4b211d6c0aba27df5d1 0000237b: SWAP2 0000237c: DUP5 0000237d: ADD 0000237e: SWAP2 0000237f: SWAP1 00002380: SWAP2 00002381: MSTORE 00002382: DUP7 00002383: CALLDATALOAD 00002384: DUP4 00002385: DUP4 00002386: ADD 00002387: MSTORE 00002388: PUSH1 0x60 0000238a: DUP4 0000238b: ADD 0000238c: DUP2 0000238d: SWAP1 0000238e: MSTORE 0000238f: SWAP1 00002390: DUP7 00002391: ADD 00002392: CALLDATALOAD 00002393: PUSH1 0x80 00002395: DUP4 00002396: ADD 00002397: MSTORE 00002398: SWAP2 00002399: POP 0000239a: PUSH1 0xa0 0000239c: ADD 0000239d: JUMPDEST 0000239e: PUSH1 0x40 000023a0: MLOAD 000023a1: PUSH1 0x20 000023a3: DUP2 000023a4: DUP4 000023a5: SUB 000023a6: SUB 000023a7: DUP2 000023a8: MSTORE 000023a9: SWAP1 000023aa: PUSH1 0x40 000023ac: MSTORE 000023ad: DUP1 000023ae: MLOAD 000023af: SWAP1 000023b0: PUSH1 0x20 000023b2: ADD 000023b3: KECCAK256 000023b4: SWAP3 000023b5: POP 000023b6: POP 000023b7: POP 000023b8: SWAP2 000023b9: SWAP1 000023ba: POP 000023bb: JUMP 000023bc: JUMPDEST 000023bd: PUSH1 0x00 000023bf: PUSH2 0x2404 000023c2: PUSH2 0x23c9 000023c5: PUSH2 0x28c2 000023c8: JUMP 000023c9: JUMPDEST 000023ca: DUP4 000023cb: PUSH1 0x40 000023cd: MLOAD 000023ce: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000 000023ef: DUP2 000023f0: MSTORE 000023f1: PUSH1 0x02 000023f3: DUP2 000023f4: ADD 000023f5: SWAP3 000023f6: SWAP1 000023f7: SWAP3 000023f8: MSTORE 000023f9: PUSH1 0x22 000023fb: DUP3 000023fc: ADD 000023fd: MSTORE 000023fe: PUSH1 0x42 00002400: SWAP1 00002401: KECCAK256 00002402: SWAP1 00002403: JUMP 00002404: JUMPDEST 00002405: SWAP3 00002406: SWAP2 00002407: POP 00002408: POP 00002409: JUMP 0000240a: JUMPDEST 0000240b: PUSH1 0x00 0000240d: DUP1 0000240e: PUSH1 0x00 00002410: DUP1 00002411: PUSH2 0x241a 00002414: DUP7 00002415: DUP7 00002416: PUSH2 0x28d1 00002419: JUMP 0000241a: JUMPDEST 0000241b: SWAP3 0000241c: POP 0000241d: SWAP3 0000241e: POP 0000241f: SWAP3 00002420: POP 00002421: PUSH2 0x242a 00002424: DUP3 00002425: DUP3 00002426: PUSH2 0x291e 00002429: JUMP 0000242a: JUMPDEST 0000242b: POP 0000242c: SWAP1 0000242d: SWAP5 0000242e: SWAP4 0000242f: POP 00002430: POP 00002431: POP 00002432: POP 00002433: JUMP 00002434: JUMPDEST 00002435: PUSH1 0x00 00002437: PUSH2 0x2456 0000243a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000244f: DUP5 00002450: AND 00002451: DUP4 00002452: PUSH2 0x2a22 00002455: JUMP 00002456: JUMPDEST 00002457: SWAP1 00002458: POP 00002459: DUP1 0000245a: MLOAD 0000245b: PUSH1 0x00 0000245d: EQ 0000245e: ISZERO 0000245f: DUP1 00002460: ISZERO 00002461: PUSH2 0x247b 00002464: JUMPI 00002465: POP 00002466: DUP1 00002467: DUP1 00002468: PUSH1 0x20 0000246a: ADD 0000246b: SWAP1 0000246c: MLOAD 0000246d: DUP2 0000246e: ADD 0000246f: SWAP1 00002470: PUSH2 0x2479 00002473: SWAP2 00002474: SWAP1 00002475: PUSH2 0x322b 00002478: JUMP 00002479: JUMPDEST 0000247a: ISZERO 0000247b: JUMPDEST 0000247c: ISZERO 0000247d: PUSH2 0x1630 00002480: JUMPI 00002481: PUSH1 0x40 00002483: MLOAD 00002484: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000 000024a5: DUP2 000024a6: MSTORE 000024a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024bc: DUP5 000024bd: AND 000024be: PUSH1 0x04 000024c0: DUP3 000024c1: ADD 000024c2: MSTORE 000024c3: PUSH1 0x24 000024c5: ADD 000024c6: PUSH2 0x04b0 000024c9: JUMP 000024ca: JUMPDEST 000024cb: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300 000024ec: SLOAD 000024ed: PUSH1 0xff 000024ef: AND 000024f0: PUSH2 0x09b2 000024f3: JUMPI 000024f4: PUSH1 0x40 000024f6: MLOAD 000024f7: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000 00002518: DUP2 00002519: MSTORE 0000251a: PUSH1 0x04 0000251c: ADD 0000251d: PUSH1 0x40 0000251f: MLOAD 00002520: DUP1 00002521: SWAP2 00002522: SUB 00002523: SWAP1 00002524: REVERT 00002525: JUMPDEST 00002526: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00002547: SLOAD 00002548: PUSH9 0x010000000000000000 00002552: SWAP1 00002553: DIV 00002554: PUSH1 0xff 00002556: AND 00002557: PUSH2 0x09b2 0000255a: JUMPI 0000255b: PUSH1 0x40 0000255d: MLOAD 0000255e: PUSH32 0xd7e6bcf800000000000000000000000000000000000000000000000000000000 0000257f: DUP2 00002580: MSTORE 00002581: PUSH1 0x04 00002583: ADD 00002584: PUSH1 0x40 00002586: MLOAD 00002587: DUP1 00002588: SWAP2 00002589: SUB 0000258a: SWAP1 0000258b: REVERT 0000258c: JUMPDEST 0000258d: PUSH2 0x2594 00002590: PUSH2 0x2525 00002593: JUMP 00002594: JUMPDEST 00002595: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100 000025b6: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d102 000025d7: PUSH2 0x25e0 000025da: DUP5 000025db: DUP3 000025dc: PUSH2 0x3385 000025df: JUMP 000025e0: JUMPDEST 000025e1: POP 000025e2: PUSH1 0x03 000025e4: DUP2 000025e5: ADD 000025e6: PUSH2 0x25ef 000025e9: DUP4 000025ea: DUP3 000025eb: PUSH2 0x3385 000025ee: JUMP 000025ef: JUMPDEST 000025f0: POP 000025f1: PUSH1 0x00 000025f3: DUP1 000025f4: DUP3 000025f5: SSTORE 000025f6: PUSH1 0x01 000025f8: SWAP1 000025f9: SWAP2 000025fa: ADD 000025fb: SSTORE 000025fc: POP 000025fd: POP 000025fe: JUMP 000025ff: JUMPDEST 00002600: PUSH2 0x1bb7 00002603: PUSH2 0x2525 00002606: JUMP 00002607: JUMPDEST 00002608: PUSH2 0x1e99 0000260b: PUSH2 0x2525 0000260e: JUMP 0000260f: JUMPDEST 00002610: PUSH2 0x2617 00002613: PUSH2 0x2525 00002616: JUMP 00002617: JUMPDEST 00002618: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300 00002639: DUP1 0000263a: SLOAD 0000263b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 0000265c: AND 0000265d: SWAP1 0000265e: SSTORE 0000265f: JUMP 00002660: JUMPDEST 00002661: PUSH1 0x00 00002663: DUP1 00002664: PUSH2 0x2670 00002667: PUSH1 0x20 00002669: DUP5 0000266a: ADD 0000266b: DUP5 0000266c: PUSH2 0x3107 0000266f: JUMP 00002670: JUMPDEST 00002671: SWAP1 00002672: POP 00002673: PUSH8 0xffffffffffffffff 0000267c: DUP2 0000267d: GT 0000267e: ISZERO 0000267f: PUSH2 0x268a 00002682: JUMPI 00002683: PUSH2 0x268a 00002686: PUSH2 0x31a5 00002689: JUMP 0000268a: JUMPDEST 0000268b: PUSH1 0x40 0000268d: MLOAD 0000268e: SWAP1 0000268f: DUP1 00002690: DUP3 00002691: MSTORE 00002692: DUP1 00002693: PUSH1 0x20 00002695: MUL 00002696: PUSH1 0x20 00002698: ADD 00002699: DUP3 0000269a: ADD 0000269b: PUSH1 0x40 0000269d: MSTORE 0000269e: DUP1 0000269f: ISZERO 000026a0: PUSH2 0x26b3 000026a3: JUMPI 000026a4: DUP2 000026a5: PUSH1 0x20 000026a7: ADD 000026a8: PUSH1 0x20 000026aa: DUP3 000026ab: MUL 000026ac: DUP1 000026ad: CALLDATASIZE 000026ae: DUP4 000026af: CALLDATACOPY 000026b0: ADD 000026b1: SWAP1 000026b2: POP 000026b3: JUMPDEST 000026b4: POP 000026b5: SWAP1 000026b6: POP 000026b7: PUSH1 0x00 000026b9: JUMPDEST 000026ba: PUSH2 0x26c6 000026bd: PUSH1 0x20 000026bf: DUP6 000026c0: ADD 000026c1: DUP6 000026c2: PUSH2 0x3107 000026c5: JUMP 000026c6: JUMPDEST 000026c7: SWAP1 000026c8: POP 000026c9: DUP2 000026ca: LT 000026cb: ISZERO 000026cc: PUSH2 0x2704 000026cf: JUMPI 000026d0: PUSH2 0x26df 000026d3: PUSH2 0x22cf 000026d6: PUSH1 0x20 000026d8: DUP7 000026d9: ADD 000026da: DUP7 000026db: PUSH2 0x3107 000026de: JUMP 000026df: JUMPDEST 000026e0: DUP3 000026e1: DUP3 000026e2: DUP2 000026e3: MLOAD 000026e4: DUP2 000026e5: LT 000026e6: PUSH2 0x26f1 000026e9: JUMPI 000026ea: PUSH2 0x26f1 000026ed: PUSH2 0x3176 000026f0: JUMP 000026f1: JUMPDEST 000026f2: PUSH1 0x20 000026f4: SWAP1 000026f5: DUP2 000026f6: MUL 000026f7: SWAP2 000026f8: SWAP1 000026f9: SWAP2 000026fa: ADD 000026fb: ADD 000026fc: MSTORE 000026fd: PUSH1 0x01 000026ff: ADD 00002700: PUSH2 0x26b9 00002703: JUMP 00002704: JUMPDEST 00002705: POP 00002706: PUSH1 0x00 00002708: DUP2 00002709: PUSH1 0x40 0000270b: MLOAD 0000270c: PUSH1 0x20 0000270e: ADD 0000270f: PUSH2 0x2718 00002712: SWAP2 00002713: SWAP1 00002714: PUSH2 0x32ff 00002717: JUMP 00002718: JUMPDEST 00002719: PUSH1 0x40 0000271b: MLOAD 0000271c: PUSH1 0x20 0000271e: DUP2 0000271f: DUP4 00002720: SUB 00002721: SUB 00002722: DUP2 00002723: MSTORE 00002724: SWAP1 00002725: PUSH1 0x40 00002727: MSTORE 00002728: DUP1 00002729: MLOAD 0000272a: SWAP1 0000272b: PUSH1 0x20 0000272d: ADD 0000272e: KECCAK256 0000272f: SWAP1 00002730: POP 00002731: PUSH32 0x8085492b4e387829a89633eae7049d9359dec12e41c2b515ef97bed9f419f570 00002752: DUP5 00002753: PUSH1 0x00 00002755: ADD 00002756: CALLDATALOAD 00002757: DUP3 00002758: DUP7 00002759: PUSH1 0x40 0000275b: ADD 0000275c: PUSH1 0x20 0000275e: DUP2 0000275f: ADD 00002760: SWAP1 00002761: PUSH2 0x276a 00002764: SWAP2 00002765: SWAP1 00002766: PUSH2 0x2e34 00002769: JUMP 0000276a: JUMPDEST 0000276b: PUSH1 0x60 0000276d: DUP9 0000276e: ADD 0000276f: CALLDATALOAD 00002770: PUSH2 0x277f 00002773: PUSH1 0xa0 00002775: DUP11 00002776: ADD 00002777: PUSH1 0x80 00002779: DUP12 0000277a: ADD 0000277b: PUSH2 0x2e34 0000277e: JUMP 0000277f: JUMPDEST 00002780: PUSH1 0x40 00002782: DUP1 00002783: MLOAD 00002784: PUSH1 0x20 00002786: DUP2 00002787: ADD 00002788: SWAP8 00002789: SWAP1 0000278a: SWAP8 0000278b: MSTORE 0000278c: DUP7 0000278d: ADD 0000278e: SWAP5 0000278f: SWAP1 00002790: SWAP5 00002791: MSTORE 00002792: PUSH1 0x60 00002794: DUP6 00002795: ADD 00002796: SWAP3 00002797: SWAP1 00002798: SWAP3 00002799: MSTORE 0000279a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027af: SWAP1 000027b0: DUP2 000027b1: AND 000027b2: PUSH1 0x80 000027b4: DUP6 000027b5: ADD 000027b6: MSTORE 000027b7: PUSH1 0xa0 000027b9: DUP5 000027ba: ADD 000027bb: SWAP2 000027bc: SWAP1 000027bd: SWAP2 000027be: MSTORE 000027bf: AND 000027c0: PUSH1 0xc0 000027c2: DUP3 000027c3: ADD 000027c4: MSTORE 000027c5: PUSH1 0xe0 000027c7: ADD 000027c8: PUSH2 0x239d 000027cb: JUMP 000027cc: JUMPDEST 000027cd: PUSH1 0x00 000027cf: PUSH32 0xc68e8a41ddc775426bafc6c546980fa757222eab83a35e4ab8232f94621e01ee 000027f0: DUP3 000027f1: CALLDATALOAD 000027f2: PUSH2 0x2801 000027f5: PUSH1 0x40 000027f7: DUP6 000027f8: ADD 000027f9: PUSH1 0x20 000027fb: DUP7 000027fc: ADD 000027fd: PUSH2 0x2e34 00002800: JUMP 00002801: JUMPDEST 00002802: PUSH1 0x40 00002804: DUP1 00002805: MLOAD 00002806: PUSH1 0x20 00002808: DUP2 00002809: ADD 0000280a: SWAP5 0000280b: SWAP1 0000280c: SWAP5 0000280d: MSTORE 0000280e: DUP4 0000280f: DUP2 00002810: ADD 00002811: SWAP3 00002812: SWAP1 00002813: SWAP3 00002814: MSTORE 00002815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000282a: AND 0000282b: PUSH1 0x60 0000282d: DUP4 0000282e: ADD 0000282f: MSTORE 00002830: DUP4 00002831: ADD 00002832: CALLDATALOAD 00002833: PUSH1 0x80 00002835: DUP3 00002836: ADD 00002837: MSTORE 00002838: PUSH1 0xa0 0000283a: ADD 0000283b: JUMPDEST 0000283c: PUSH1 0x40 0000283e: MLOAD 0000283f: PUSH1 0x20 00002841: DUP2 00002842: DUP4 00002843: SUB 00002844: SUB 00002845: DUP2 00002846: MSTORE 00002847: SWAP1 00002848: PUSH1 0x40 0000284a: MSTORE 0000284b: DUP1 0000284c: MLOAD 0000284d: SWAP1 0000284e: PUSH1 0x20 00002850: ADD 00002851: KECCAK256 00002852: SWAP1 00002853: POP 00002854: SWAP2 00002855: SWAP1 00002856: POP 00002857: JUMP 00002858: JUMPDEST 00002859: PUSH1 0x00 0000285b: PUSH32 0x7d69dae8bf857a7738550aebbecd7f76adc760b8f1aa09653e4ab724b774ca7f 0000287c: PUSH2 0x2888 0000287f: PUSH1 0x20 00002881: DUP5 00002882: ADD 00002883: DUP5 00002884: PUSH2 0x2e34 00002887: JUMP 00002888: JUMPDEST 00002889: PUSH1 0x40 0000288b: DUP1 0000288c: MLOAD 0000288d: PUSH1 0x20 0000288f: DUP2 00002890: DUP2 00002891: ADD 00002892: SWAP5 00002893: SWAP1 00002894: SWAP5 00002895: MSTORE 00002896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028ab: SWAP1 000028ac: SWAP3 000028ad: AND 000028ae: SWAP1 000028af: DUP3 000028b0: ADD 000028b1: MSTORE 000028b2: SWAP1 000028b3: DUP4 000028b4: ADD 000028b5: CALLDATALOAD 000028b6: PUSH1 0x60 000028b8: DUP3 000028b9: ADD 000028ba: MSTORE 000028bb: PUSH1 0x80 000028bd: ADD 000028be: PUSH2 0x283b 000028c1: JUMP 000028c2: JUMPDEST 000028c3: PUSH1 0x00 000028c5: PUSH2 0x28cc 000028c8: PUSH2 0x2a37 000028cb: JUMP 000028cc: JUMPDEST 000028cd: SWAP1 000028ce: POP 000028cf: SWAP1 000028d0: JUMP 000028d1: JUMPDEST 000028d2: PUSH1 0x00 000028d4: DUP1 000028d5: PUSH1 0x00 000028d7: DUP4 000028d8: MLOAD 000028d9: PUSH1 0x41 000028db: SUB 000028dc: PUSH2 0x290b 000028df: JUMPI 000028e0: PUSH1 0x20 000028e2: DUP5 000028e3: ADD 000028e4: MLOAD 000028e5: PUSH1 0x40 000028e7: DUP6 000028e8: ADD 000028e9: MLOAD 000028ea: PUSH1 0x60 000028ec: DUP7 000028ed: ADD 000028ee: MLOAD 000028ef: PUSH1 0x00 000028f1: BYTE 000028f2: PUSH2 0x28fd 000028f5: DUP9 000028f6: DUP3 000028f7: DUP6 000028f8: DUP6 000028f9: PUSH2 0x2aab 000028fc: JUMP 000028fd: JUMPDEST 000028fe: SWAP6 000028ff: POP 00002900: SWAP6 00002901: POP 00002902: SWAP6 00002903: POP 00002904: POP 00002905: POP 00002906: POP 00002907: PUSH2 0x2917 0000290a: JUMP 0000290b: JUMPDEST 0000290c: POP 0000290d: POP 0000290e: DUP2 0000290f: MLOAD 00002910: PUSH1 0x00 00002912: SWAP2 00002913: POP 00002914: PUSH1 0x02 00002916: SWAP1 00002917: JUMPDEST 00002918: SWAP3 00002919: POP 0000291a: SWAP3 0000291b: POP 0000291c: SWAP3 0000291d: JUMP 0000291e: JUMPDEST 0000291f: PUSH1 0x00 00002921: DUP3 00002922: PUSH1 0x03 00002924: DUP2 00002925: GT 00002926: ISZERO 00002927: PUSH2 0x2932 0000292a: JUMPI 0000292b: PUSH2 0x2932 0000292e: PUSH2 0x305b 00002931: JUMP 00002932: JUMPDEST 00002933: SUB 00002934: PUSH2 0x293b 00002937: JUMPI 00002938: POP 00002939: POP 0000293a: JUMP 0000293b: JUMPDEST 0000293c: PUSH1 0x01 0000293e: DUP3 0000293f: PUSH1 0x03 00002941: DUP2 00002942: GT 00002943: ISZERO 00002944: PUSH2 0x294f 00002947: JUMPI 00002948: PUSH2 0x294f 0000294b: PUSH2 0x305b 0000294e: JUMP 0000294f: JUMPDEST 00002950: SUB 00002951: PUSH2 0x2986 00002954: JUMPI 00002955: PUSH1 0x40 00002957: MLOAD 00002958: PUSH32 0xf645eedf00000000000000000000000000000000000000000000000000000000 00002979: DUP2 0000297a: MSTORE 0000297b: PUSH1 0x04 0000297d: ADD 0000297e: PUSH1 0x40 00002980: MLOAD 00002981: DUP1 00002982: SWAP2 00002983: SUB 00002984: SWAP1 00002985: REVERT 00002986: JUMPDEST 00002987: PUSH1 0x02 00002989: DUP3 0000298a: PUSH1 0x03 0000298c: DUP2 0000298d: GT 0000298e: ISZERO 0000298f: PUSH2 0x299a 00002992: JUMPI 00002993: PUSH2 0x299a 00002996: PUSH2 0x305b 00002999: JUMP 0000299a: JUMPDEST 0000299b: SUB 0000299c: PUSH2 0x29d4 0000299f: JUMPI 000029a0: PUSH1 0x40 000029a2: MLOAD 000029a3: PUSH32 0xfce698f700000000000000000000000000000000000000000000000000000000 000029c4: DUP2 000029c5: MSTORE 000029c6: PUSH1 0x04 000029c8: DUP2 000029c9: ADD 000029ca: DUP3 000029cb: SWAP1 000029cc: MSTORE 000029cd: PUSH1 0x24 000029cf: ADD 000029d0: PUSH2 0x04b0 000029d3: JUMP 000029d4: JUMPDEST 000029d5: PUSH1 0x03 000029d7: DUP3 000029d8: PUSH1 0x03 000029da: DUP2 000029db: GT 000029dc: ISZERO 000029dd: PUSH2 0x29e8 000029e0: JUMPI 000029e1: PUSH2 0x29e8 000029e4: PUSH2 0x305b 000029e7: JUMP 000029e8: JUMPDEST 000029e9: SUB 000029ea: PUSH2 0x1fe7 000029ed: JUMPI 000029ee: PUSH1 0x40 000029f0: MLOAD 000029f1: PUSH32 0xd78bce0c00000000000000000000000000000000000000000000000000000000 00002a12: DUP2 00002a13: MSTORE 00002a14: PUSH1 0x04 00002a16: DUP2 00002a17: ADD 00002a18: DUP3 00002a19: SWAP1 00002a1a: MSTORE 00002a1b: PUSH1 0x24 00002a1d: ADD 00002a1e: PUSH2 0x04b0 00002a21: JUMP 00002a22: JUMPDEST 00002a23: PUSH1 0x60 00002a25: PUSH2 0x2a30 00002a28: DUP4 00002a29: DUP4 00002a2a: PUSH1 0x00 00002a2c: PUSH2 0x2ba5 00002a2f: JUMP 00002a30: JUMPDEST 00002a31: SWAP4 00002a32: SWAP3 00002a33: POP 00002a34: POP 00002a35: POP 00002a36: JUMP 00002a37: JUMPDEST 00002a38: PUSH1 0x00 00002a3a: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 00002a5b: PUSH2 0x2a62 00002a5e: PUSH2 0x2c68 00002a61: JUMP 00002a62: JUMPDEST 00002a63: PUSH2 0x2a6a 00002a66: PUSH2 0x2ce4 00002a69: JUMP 00002a6a: JUMPDEST 00002a6b: PUSH1 0x40 00002a6d: DUP1 00002a6e: MLOAD 00002a6f: PUSH1 0x20 00002a71: DUP2 00002a72: ADD 00002a73: SWAP5 00002a74: SWAP1 00002a75: SWAP5 00002a76: MSTORE 00002a77: DUP4 00002a78: ADD 00002a79: SWAP2 00002a7a: SWAP1 00002a7b: SWAP2 00002a7c: MSTORE 00002a7d: PUSH1 0x60 00002a7f: DUP3 00002a80: ADD 00002a81: MSTORE 00002a82: CHAINID 00002a83: PUSH1 0x80 00002a85: DUP3 00002a86: ADD 00002a87: MSTORE 00002a88: ADDRESS 00002a89: PUSH1 0xa0 00002a8b: DUP3 00002a8c: ADD 00002a8d: MSTORE 00002a8e: PUSH1 0xc0 00002a90: ADD 00002a91: PUSH1 0x40 00002a93: MLOAD 00002a94: PUSH1 0x20 00002a96: DUP2 00002a97: DUP4 00002a98: SUB 00002a99: SUB 00002a9a: DUP2 00002a9b: MSTORE 00002a9c: SWAP1 00002a9d: PUSH1 0x40 00002a9f: MSTORE 00002aa0: DUP1 00002aa1: MLOAD 00002aa2: SWAP1 00002aa3: PUSH1 0x20 00002aa5: ADD 00002aa6: KECCAK256 00002aa7: SWAP1 00002aa8: POP 00002aa9: SWAP1 00002aaa: JUMP 00002aab: JUMPDEST 00002aac: PUSH1 0x00 00002aae: DUP1 00002aaf: DUP1 00002ab0: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00002ad1: DUP5 00002ad2: GT 00002ad3: ISZERO 00002ad4: PUSH2 0x2ae6 00002ad7: JUMPI 00002ad8: POP 00002ad9: PUSH1 0x00 00002adb: SWAP2 00002adc: POP 00002add: PUSH1 0x03 00002adf: SWAP1 00002ae0: POP 00002ae1: DUP3 00002ae2: PUSH2 0x2b9b 00002ae5: JUMP 00002ae6: JUMPDEST 00002ae7: PUSH1 0x40 00002ae9: DUP1 00002aea: MLOAD 00002aeb: PUSH1 0x00 00002aed: DUP1 00002aee: DUP3 00002aef: MSTORE 00002af0: PUSH1 0x20 00002af2: DUP3 00002af3: ADD 00002af4: DUP1 00002af5: DUP5 00002af6: MSTORE 00002af7: DUP11 00002af8: SWAP1 00002af9: MSTORE 00002afa: PUSH1 0xff 00002afc: DUP10 00002afd: AND 00002afe: SWAP3 00002aff: DUP3 00002b00: ADD 00002b01: SWAP3 00002b02: SWAP1 00002b03: SWAP3 00002b04: MSTORE 00002b05: PUSH1 0x60 00002b07: DUP2 00002b08: ADD 00002b09: DUP8 00002b0a: SWAP1 00002b0b: MSTORE 00002b0c: PUSH1 0x80 00002b0e: DUP2 00002b0f: ADD 00002b10: DUP7 00002b11: SWAP1 00002b12: MSTORE 00002b13: PUSH1 0x01 00002b15: SWAP1 00002b16: PUSH1 0xa0 00002b18: ADD 00002b19: PUSH1 0x20 00002b1b: PUSH1 0x40 00002b1d: MLOAD 00002b1e: PUSH1 0x20 00002b20: DUP2 00002b21: SUB 00002b22: SWAP1 00002b23: DUP1 00002b24: DUP5 00002b25: SUB 00002b26: SWAP1 00002b27: DUP6 00002b28: GAS 00002b29: STATICCALL 00002b2a: ISZERO 00002b2b: DUP1 00002b2c: ISZERO 00002b2d: PUSH2 0x2b3a 00002b30: JUMPI 00002b31: RETURNDATASIZE 00002b32: PUSH1 0x00 00002b34: DUP1 00002b35: RETURNDATACOPY 00002b36: RETURNDATASIZE 00002b37: PUSH1 0x00 00002b39: REVERT 00002b3a: JUMPDEST 00002b3b: POP 00002b3c: POP 00002b3d: PUSH1 0x40 00002b3f: MLOAD 00002b40: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002b61: ADD 00002b62: MLOAD 00002b63: SWAP2 00002b64: POP 00002b65: POP 00002b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b7b: DUP2 00002b7c: AND 00002b7d: PUSH2 0x2b91 00002b80: JUMPI 00002b81: POP 00002b82: PUSH1 0x00 00002b84: SWAP3 00002b85: POP 00002b86: PUSH1 0x01 00002b88: SWAP2 00002b89: POP 00002b8a: DUP3 00002b8b: SWAP1 00002b8c: POP 00002b8d: PUSH2 0x2b9b 00002b90: JUMP 00002b91: JUMPDEST 00002b92: SWAP3 00002b93: POP 00002b94: PUSH1 0x00 00002b96: SWAP2 00002b97: POP 00002b98: DUP2 00002b99: SWAP1 00002b9a: POP 00002b9b: JUMPDEST 00002b9c: SWAP5 00002b9d: POP 00002b9e: SWAP5 00002b9f: POP 00002ba0: SWAP5 00002ba1: SWAP2 00002ba2: POP 00002ba3: POP 00002ba4: JUMP 00002ba5: JUMPDEST 00002ba6: PUSH1 0x60 00002ba8: DUP2 00002ba9: SELFBALANCE 00002baa: LT 00002bab: ISZERO 00002bac: PUSH2 0x2be3 00002baf: JUMPI 00002bb0: PUSH1 0x40 00002bb2: MLOAD 00002bb3: PUSH32 0xcd78605900000000000000000000000000000000000000000000000000000000 00002bd4: DUP2 00002bd5: MSTORE 00002bd6: ADDRESS 00002bd7: PUSH1 0x04 00002bd9: DUP3 00002bda: ADD 00002bdb: MSTORE 00002bdc: PUSH1 0x24 00002bde: ADD 00002bdf: PUSH2 0x04b0 00002be2: JUMP 00002be3: JUMPDEST 00002be4: PUSH1 0x00 00002be6: DUP1 00002be7: DUP6 00002be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bfd: AND 00002bfe: DUP5 00002bff: DUP7 00002c00: PUSH1 0x40 00002c02: MLOAD 00002c03: PUSH2 0x2c0c 00002c06: SWAP2 00002c07: SWAP1 00002c08: PUSH2 0x349f 00002c0b: JUMP 00002c0c: JUMPDEST 00002c0d: PUSH1 0x00 00002c0f: PUSH1 0x40 00002c11: MLOAD 00002c12: DUP1 00002c13: DUP4 00002c14: SUB 00002c15: DUP2 00002c16: DUP6 00002c17: DUP8 00002c18: GAS 00002c19: CALL 00002c1a: SWAP3 00002c1b: POP 00002c1c: POP 00002c1d: POP 00002c1e: RETURNDATASIZE 00002c1f: DUP1 00002c20: PUSH1 0x00 00002c22: DUP2 00002c23: EQ 00002c24: PUSH2 0x2c49 00002c27: JUMPI 00002c28: PUSH1 0x40 00002c2a: MLOAD 00002c2b: SWAP2 00002c2c: POP 00002c2d: PUSH1 0x1f 00002c2f: NOT 00002c30: PUSH1 0x3f 00002c32: RETURNDATASIZE 00002c33: ADD 00002c34: AND 00002c35: DUP3 00002c36: ADD 00002c37: PUSH1 0x40 00002c39: MSTORE 00002c3a: RETURNDATASIZE 00002c3b: DUP3 00002c3c: MSTORE 00002c3d: RETURNDATASIZE 00002c3e: PUSH1 0x00 00002c40: PUSH1 0x20 00002c42: DUP5 00002c43: ADD 00002c44: RETURNDATACOPY 00002c45: PUSH2 0x2c4e 00002c48: JUMP 00002c49: JUMPDEST 00002c4a: PUSH1 0x60 00002c4c: SWAP2 00002c4d: POP 00002c4e: JUMPDEST 00002c4f: POP 00002c50: SWAP2 00002c51: POP 00002c52: SWAP2 00002c53: POP 00002c54: PUSH2 0x2c5e 00002c57: DUP7 00002c58: DUP4 00002c59: DUP4 00002c5a: PUSH2 0x2d3a 00002c5d: JUMP 00002c5e: JUMPDEST 00002c5f: SWAP7 00002c60: SWAP6 00002c61: POP 00002c62: POP 00002c63: POP 00002c64: POP 00002c65: POP 00002c66: POP 00002c67: JUMP 00002c68: JUMPDEST 00002c69: PUSH1 0x00 00002c6b: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100 00002c8c: DUP2 00002c8d: PUSH2 0x2c94 00002c90: PUSH2 0x20b2 00002c93: JUMP 00002c94: JUMPDEST 00002c95: DUP1 00002c96: MLOAD 00002c97: SWAP1 00002c98: SWAP2 00002c99: POP 00002c9a: ISZERO 00002c9b: PUSH2 0x2cac 00002c9e: JUMPI 00002c9f: DUP1 00002ca0: MLOAD 00002ca1: PUSH1 0x20 00002ca3: SWAP1 00002ca4: SWAP2 00002ca5: ADD 00002ca6: KECCAK256 00002ca7: SWAP3 00002ca8: SWAP2 00002ca9: POP 00002caa: POP 00002cab: JUMP 00002cac: JUMPDEST 00002cad: DUP2 00002cae: SLOAD 00002caf: DUP1 00002cb0: ISZERO 00002cb1: PUSH2 0x2cbb 00002cb4: JUMPI 00002cb5: SWAP4 00002cb6: SWAP3 00002cb7: POP 00002cb8: POP 00002cb9: POP 00002cba: JUMP 00002cbb: JUMPDEST 00002cbc: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 00002cdd: SWAP4 00002cde: POP 00002cdf: POP 00002ce0: POP 00002ce1: POP 00002ce2: SWAP1 00002ce3: JUMP 00002ce4: JUMPDEST 00002ce5: PUSH1 0x00 00002ce7: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100 00002d08: DUP2 00002d09: PUSH2 0x2d10 00002d0c: PUSH2 0x2187 00002d0f: JUMP 00002d10: JUMPDEST 00002d11: DUP1 00002d12: MLOAD 00002d13: SWAP1 00002d14: SWAP2 00002d15: POP 00002d16: ISZERO 00002d17: PUSH2 0x2d28 00002d1a: JUMPI 00002d1b: DUP1 00002d1c: MLOAD 00002d1d: PUSH1 0x20 00002d1f: SWAP1 00002d20: SWAP2 00002d21: ADD 00002d22: KECCAK256 00002d23: SWAP3 00002d24: SWAP2 00002d25: POP 00002d26: POP 00002d27: JUMP 00002d28: JUMPDEST 00002d29: PUSH1 0x01 00002d2b: DUP3 00002d2c: ADD 00002d2d: SLOAD 00002d2e: DUP1 00002d2f: ISZERO 00002d30: PUSH2 0x2cbb 00002d33: JUMPI 00002d34: SWAP4 00002d35: SWAP3 00002d36: POP 00002d37: POP 00002d38: POP 00002d39: JUMP 00002d3a: JUMPDEST 00002d3b: PUSH1 0x60 00002d3d: DUP3 00002d3e: PUSH2 0x2d4f 00002d41: JUMPI 00002d42: PUSH2 0x2d4a 00002d45: DUP3 00002d46: PUSH2 0x2dc9 00002d49: JUMP 00002d4a: JUMPDEST 00002d4b: PUSH2 0x2a30 00002d4e: JUMP 00002d4f: JUMPDEST 00002d50: DUP2 00002d51: MLOAD 00002d52: ISZERO 00002d53: DUP1 00002d54: ISZERO 00002d55: PUSH2 0x2d73 00002d58: JUMPI 00002d59: POP 00002d5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d6f: DUP5 00002d70: AND 00002d71: EXTCODESIZE 00002d72: ISZERO 00002d73: JUMPDEST 00002d74: ISZERO 00002d75: PUSH2 0x2dc2 00002d78: JUMPI 00002d79: PUSH1 0x40 00002d7b: MLOAD 00002d7c: PUSH32 0x9996b31500000000000000000000000000000000000000000000000000000000 00002d9d: DUP2 00002d9e: MSTORE 00002d9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002db4: DUP6 00002db5: AND 00002db6: PUSH1 0x04 00002db8: DUP3 00002db9: ADD 00002dba: MSTORE 00002dbb: PUSH1 0x24 00002dbd: ADD 00002dbe: PUSH2 0x04b0 00002dc1: JUMP 00002dc2: JUMPDEST 00002dc3: POP 00002dc4: DUP1 00002dc5: PUSH2 0x2a30 00002dc8: JUMP 00002dc9: JUMPDEST 00002dca: DUP1 00002dcb: MLOAD 00002dcc: ISZERO 00002dcd: PUSH2 0x2dd9 00002dd0: JUMPI 00002dd1: DUP1 00002dd2: MLOAD 00002dd3: DUP1 00002dd4: DUP3 00002dd5: PUSH1 0x20 00002dd7: ADD 00002dd8: REVERT 00002dd9: JUMPDEST 00002dda: PUSH1 0x40 00002ddc: MLOAD 00002ddd: PUSH32 0x1425ea4200000000000000000000000000000000000000000000000000000000 00002dfe: DUP2 00002dff: MSTORE 00002e00: PUSH1 0x04 00002e02: ADD 00002e03: PUSH1 0x40 00002e05: MLOAD 00002e06: DUP1 00002e07: SWAP2 00002e08: SUB 00002e09: SWAP1 00002e0a: REVERT 00002e0b: JUMPDEST 00002e0c: DUP1 00002e0d: CALLDATALOAD 00002e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e23: DUP2 00002e24: AND 00002e25: DUP2 00002e26: EQ 00002e27: PUSH2 0x2e2f 00002e2a: JUMPI 00002e2b: PUSH1 0x00 00002e2d: DUP1 00002e2e: REVERT 00002e2f: JUMPDEST 00002e30: SWAP2 00002e31: SWAP1 00002e32: POP 00002e33: JUMP 00002e34: JUMPDEST 00002e35: PUSH1 0x00 00002e37: PUSH1 0x20 00002e39: DUP3 00002e3a: DUP5 00002e3b: SUB 00002e3c: SLT 00002e3d: ISZERO 00002e3e: PUSH2 0x2e46 00002e41: JUMPI 00002e42: PUSH1 0x00 00002e44: DUP1 00002e45: REVERT 00002e46: JUMPDEST 00002e47: PUSH2 0x2a30 00002e4a: DUP3 00002e4b: PUSH2 0x2e0b 00002e4e: JUMP 00002e4f: JUMPDEST 00002e50: PUSH1 0x00 00002e52: PUSH1 0x80 00002e54: DUP3 00002e55: DUP5 00002e56: SUB 00002e57: SLT 00002e58: ISZERO 00002e59: PUSH2 0x2e61 00002e5c: JUMPI 00002e5d: PUSH1 0x00 00002e5f: DUP1 00002e60: REVERT 00002e61: JUMPDEST 00002e62: POP 00002e63: SWAP2 00002e64: SWAP1 00002e65: POP 00002e66: JUMP 00002e67: JUMPDEST 00002e68: PUSH1 0x00 00002e6a: PUSH1 0x20 00002e6c: DUP3 00002e6d: DUP5 00002e6e: SUB 00002e6f: SLT 00002e70: ISZERO 00002e71: PUSH2 0x2e79 00002e74: JUMPI 00002e75: PUSH1 0x00 00002e77: DUP1 00002e78: REVERT 00002e79: JUMPDEST 00002e7a: DUP2 00002e7b: CALLDATALOAD 00002e7c: PUSH8 0xffffffffffffffff 00002e85: DUP2 00002e86: GT 00002e87: ISZERO 00002e88: PUSH2 0x2e90 00002e8b: JUMPI 00002e8c: PUSH1 0x00 00002e8e: DUP1 00002e8f: REVERT 00002e90: JUMPDEST 00002e91: PUSH2 0x2e9c 00002e94: DUP5 00002e95: DUP3 00002e96: DUP6 00002e97: ADD 00002e98: PUSH2 0x2e4f 00002e9b: JUMP 00002e9c: JUMPDEST 00002e9d: SWAP5 00002e9e: SWAP4 00002e9f: POP 00002ea0: POP 00002ea1: POP 00002ea2: POP 00002ea3: JUMP 00002ea4: JUMPDEST 00002ea5: PUSH1 0x00 00002ea7: DUP1 00002ea8: PUSH1 0x40 00002eaa: DUP4 00002eab: DUP6 00002eac: SUB 00002ead: SLT 00002eae: ISZERO 00002eaf: PUSH2 0x2eb7 00002eb2: JUMPI 00002eb3: PUSH1 0x00 00002eb5: DUP1 00002eb6: REVERT 00002eb7: JUMPDEST 00002eb8: PUSH2 0x2ec0 00002ebb: DUP4 00002ebc: PUSH2 0x2e0b 00002ebf: JUMP 00002ec0: JUMPDEST 00002ec1: SWAP2 00002ec2: POP 00002ec3: PUSH2 0x2ece 00002ec6: PUSH1 0x20 00002ec8: DUP5 00002ec9: ADD 00002eca: PUSH2 0x2e0b 00002ecd: JUMP 00002ece: JUMPDEST 00002ecf: SWAP1 00002ed0: POP 00002ed1: SWAP3 00002ed2: POP 00002ed3: SWAP3 00002ed4: SWAP1 00002ed5: POP 00002ed6: JUMP 00002ed7: JUMPDEST 00002ed8: PUSH1 0x00 00002eda: PUSH1 0x20 00002edc: DUP3 00002edd: DUP5 00002ede: SUB 00002edf: SLT 00002ee0: ISZERO 00002ee1: PUSH2 0x2ee9 00002ee4: JUMPI 00002ee5: PUSH1 0x00 00002ee7: DUP1 00002ee8: REVERT 00002ee9: JUMPDEST 00002eea: POP 00002eeb: CALLDATALOAD 00002eec: SWAP2 00002eed: SWAP1 00002eee: POP 00002eef: JUMP 00002ef0: JUMPDEST 00002ef1: PUSH1 0x00 00002ef3: JUMPDEST 00002ef4: DUP4 00002ef5: DUP2 00002ef6: LT 00002ef7: ISZERO 00002ef8: PUSH2 0x2f0b 00002efb: JUMPI 00002efc: DUP2 00002efd: DUP2 00002efe: ADD 00002eff: MLOAD 00002f00: DUP4 00002f01: DUP3 00002f02: ADD 00002f03: MSTORE 00002f04: PUSH1 0x20 00002f06: ADD 00002f07: PUSH2 0x2ef3 00002f0a: JUMP 00002f0b: JUMPDEST 00002f0c: POP 00002f0d: POP 00002f0e: PUSH1 0x00 00002f10: SWAP2 00002f11: ADD 00002f12: MSTORE 00002f13: JUMP 00002f14: JUMPDEST 00002f15: PUSH1 0x00 00002f17: DUP2 00002f18: MLOAD 00002f19: DUP1 00002f1a: DUP5 00002f1b: MSTORE 00002f1c: PUSH2 0x2f2c 00002f1f: DUP2 00002f20: PUSH1 0x20 00002f22: DUP7 00002f23: ADD 00002f24: PUSH1 0x20 00002f26: DUP7 00002f27: ADD 00002f28: PUSH2 0x2ef0 00002f2b: JUMP 00002f2c: JUMPDEST 00002f2d: PUSH1 0x1f 00002f2f: ADD 00002f30: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002f51: AND 00002f52: SWAP3 00002f53: SWAP1 00002f54: SWAP3 00002f55: ADD 00002f56: PUSH1 0x20 00002f58: ADD 00002f59: SWAP3 00002f5a: SWAP2 00002f5b: POP 00002f5c: POP 00002f5d: JUMP 00002f5e: JUMPDEST 00002f5f: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000 00002f80: DUP9 00002f81: AND 00002f82: DUP2 00002f83: MSTORE 00002f84: PUSH1 0x00 00002f86: PUSH1 0x20 00002f88: PUSH1 0xe0 00002f8a: PUSH1 0x20 00002f8c: DUP5 00002f8d: ADD 00002f8e: MSTORE 00002f8f: PUSH2 0x2f9b 00002f92: PUSH1 0xe0 00002f94: DUP5 00002f95: ADD 00002f96: DUP11 00002f97: PUSH2 0x2f14 00002f9a: JUMP 00002f9b: JUMPDEST 00002f9c: DUP4 00002f9d: DUP2 00002f9e: SUB 00002f9f: PUSH1 0x40 00002fa1: DUP6 00002fa2: ADD 00002fa3: MSTORE 00002fa4: PUSH2 0x2fad 00002fa7: DUP2 00002fa8: DUP11 00002fa9: PUSH2 0x2f14 00002fac: JUMP 00002fad: JUMPDEST 00002fae: PUSH1 0x60 00002fb0: DUP6 00002fb1: ADD 00002fb2: DUP10 00002fb3: SWAP1 00002fb4: MSTORE 00002fb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fca: DUP9 00002fcb: AND 00002fcc: PUSH1 0x80 00002fce: DUP7 00002fcf: ADD 00002fd0: MSTORE 00002fd1: PUSH1 0xa0 00002fd3: DUP6 00002fd4: ADD 00002fd5: DUP8 00002fd6: SWAP1 00002fd7: MSTORE 00002fd8: DUP5 00002fd9: DUP2 00002fda: SUB 00002fdb: PUSH1 0xc0 00002fdd: DUP7 00002fde: ADD 00002fdf: MSTORE 00002fe0: DUP6 00002fe1: MLOAD 00002fe2: DUP1 00002fe3: DUP3 00002fe4: MSTORE 00002fe5: PUSH1 0x20 00002fe7: DUP1 00002fe8: DUP9 00002fe9: ADD 00002fea: SWAP4 00002feb: POP 00002fec: SWAP1 00002fed: SWAP2 00002fee: ADD 00002fef: SWAP1 00002ff0: PUSH1 0x00 00002ff2: JUMPDEST 00002ff3: DUP2 00002ff4: DUP2 00002ff5: LT 00002ff6: ISZERO 00002ff7: PUSH2 0x300e 00002ffa: JUMPI 00002ffb: DUP4 00002ffc: MLOAD 00002ffd: DUP4 00002ffe: MSTORE 00002fff: SWAP3 00003000: DUP5 00003001: ADD 00003002: SWAP3 00003003: SWAP2 00003004: DUP5 00003005: ADD 00003006: SWAP2 00003007: PUSH1 0x01 00003009: ADD 0000300a: PUSH2 0x2ff2 0000300d: JUMP 0000300e: JUMPDEST 0000300f: POP 00003010: SWAP1 00003011: SWAP13 00003012: SWAP12 00003013: POP 00003014: POP 00003015: POP 00003016: POP 00003017: POP 00003018: POP 00003019: POP 0000301a: POP 0000301b: POP 0000301c: POP 0000301d: POP 0000301e: POP 0000301f: JUMP 00003020: JUMPDEST 00003021: PUSH1 0x00 00003023: PUSH1 0x20 00003025: DUP3 00003026: DUP5 00003027: SUB 00003028: SLT 00003029: ISZERO 0000302a: PUSH2 0x3032 0000302d: JUMPI 0000302e: PUSH1 0x00 00003030: DUP1 00003031: REVERT 00003032: JUMPDEST 00003033: DUP2 00003034: CALLDATALOAD 00003035: PUSH8 0xffffffffffffffff 0000303e: DUP2 0000303f: GT 00003040: ISZERO 00003041: PUSH2 0x3049 00003044: JUMPI 00003045: PUSH1 0x00 00003047: DUP1 00003048: REVERT 00003049: JUMPDEST 0000304a: DUP3 0000304b: ADD 0000304c: PUSH1 0xc0 0000304e: DUP2 0000304f: DUP6 00003050: SUB 00003051: SLT 00003052: ISZERO 00003053: PUSH2 0x2a30 00003056: JUMPI 00003057: PUSH1 0x00 00003059: DUP1 0000305a: REVERT 0000305b: JUMPDEST 0000305c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000307d: PUSH1 0x00 0000307f: MSTORE 00003080: PUSH1 0x21 00003082: PUSH1 0x04 00003084: MSTORE 00003085: PUSH1 0x24 00003087: PUSH1 0x00 00003089: REVERT 0000308a: JUMPDEST 0000308b: PUSH1 0x20 0000308d: DUP2 0000308e: ADD 0000308f: PUSH1 0x02 00003091: DUP4 00003092: LT 00003093: PUSH2 0x30c5 00003096: JUMPI 00003097: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000030b8: PUSH1 0x00 000030ba: MSTORE 000030bb: PUSH1 0x21 000030bd: PUSH1 0x04 000030bf: MSTORE 000030c0: PUSH1 0x24 000030c2: PUSH1 0x00 000030c4: REVERT 000030c5: JUMPDEST 000030c6: SWAP2 000030c7: SWAP1 000030c8: MSTORE 000030c9: SWAP1 000030ca: JUMP 000030cb: JUMPDEST 000030cc: PUSH1 0x00 000030ce: DUP1 000030cf: PUSH1 0x00 000030d1: PUSH1 0x60 000030d3: DUP5 000030d4: DUP7 000030d5: SUB 000030d6: SLT 000030d7: ISZERO 000030d8: PUSH2 0x30e0 000030db: JUMPI 000030dc: PUSH1 0x00 000030de: DUP1 000030df: REVERT 000030e0: JUMPDEST 000030e1: DUP4 000030e2: CALLDATALOAD 000030e3: SWAP3 000030e4: POP 000030e5: PUSH2 0x30f0 000030e8: PUSH1 0x20 000030ea: DUP6 000030eb: ADD 000030ec: PUSH2 0x2e0b 000030ef: JUMP 000030f0: JUMPDEST 000030f1: SWAP2 000030f2: POP 000030f3: PUSH2 0x30fe 000030f6: PUSH1 0x40 000030f8: DUP6 000030f9: ADD 000030fa: PUSH2 0x2e0b 000030fd: JUMP 000030fe: JUMPDEST 000030ff: SWAP1 00003100: POP 00003101: SWAP3 00003102: POP 00003103: SWAP3 00003104: POP 00003105: SWAP3 00003106: JUMP 00003107: JUMPDEST 00003108: PUSH1 0x00 0000310a: DUP1 0000310b: DUP4 0000310c: CALLDATALOAD 0000310d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1 0000312e: DUP5 0000312f: CALLDATASIZE 00003130: SUB 00003131: ADD 00003132: DUP2 00003133: SLT 00003134: PUSH2 0x313c 00003137: JUMPI 00003138: PUSH1 0x00 0000313a: DUP1 0000313b: REVERT 0000313c: JUMPDEST 0000313d: DUP4 0000313e: ADD 0000313f: DUP1 00003140: CALLDATALOAD 00003141: SWAP2 00003142: POP 00003143: PUSH8 0xffffffffffffffff 0000314c: DUP3 0000314d: GT 0000314e: ISZERO 0000314f: PUSH2 0x3157 00003152: JUMPI 00003153: PUSH1 0x00 00003155: DUP1 00003156: REVERT 00003157: JUMPDEST 00003158: PUSH1 0x20 0000315a: ADD 0000315b: SWAP2 0000315c: POP 0000315d: PUSH1 0x06 0000315f: DUP2 00003160: SWAP1 00003161: SHL 00003162: CALLDATASIZE 00003163: SUB 00003164: DUP3 00003165: SGT 00003166: ISZERO 00003167: PUSH2 0x316f 0000316a: JUMPI 0000316b: PUSH1 0x00 0000316d: DUP1 0000316e: REVERT 0000316f: JUMPDEST 00003170: SWAP3 00003171: POP 00003172: SWAP3 00003173: SWAP1 00003174: POP 00003175: JUMP 00003176: JUMPDEST 00003177: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003198: PUSH1 0x00 0000319a: MSTORE 0000319b: PUSH1 0x32 0000319d: PUSH1 0x04 0000319f: MSTORE 000031a0: PUSH1 0x24 000031a2: PUSH1 0x00 000031a4: REVERT 000031a5: JUMPDEST 000031a6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000031c7: PUSH1 0x00 000031c9: MSTORE 000031ca: PUSH1 0x41 000031cc: PUSH1 0x04 000031ce: MSTORE 000031cf: PUSH1 0x24 000031d1: PUSH1 0x00 000031d3: REVERT 000031d4: JUMPDEST 000031d5: PUSH1 0x00 000031d7: PUSH1 0x40 000031d9: DUP3 000031da: DUP5 000031db: SUB 000031dc: SLT 000031dd: ISZERO 000031de: PUSH2 0x31e6 000031e1: JUMPI 000031e2: PUSH1 0x00 000031e4: DUP1 000031e5: REVERT 000031e6: JUMPDEST 000031e7: PUSH1 0x40 000031e9: MLOAD 000031ea: PUSH1 0x40 000031ec: DUP2 000031ed: ADD 000031ee: DUP2 000031ef: DUP2 000031f0: LT 000031f1: PUSH8 0xffffffffffffffff 000031fa: DUP3 000031fb: GT 000031fc: OR 000031fd: ISZERO 000031fe: PUSH2 0x3209 00003201: JUMPI 00003202: PUSH2 0x3209 00003205: PUSH2 0x31a5 00003208: JUMP 00003209: JUMPDEST 0000320a: PUSH1 0x40 0000320c: MSTORE 0000320d: PUSH2 0x3215 00003210: DUP4 00003211: PUSH2 0x2e0b 00003214: JUMP 00003215: JUMPDEST 00003216: DUP2 00003217: MSTORE 00003218: PUSH1 0x20 0000321a: DUP4 0000321b: ADD 0000321c: CALLDATALOAD 0000321d: PUSH1 0x20 0000321f: DUP3 00003220: ADD 00003221: MSTORE 00003222: DUP1 00003223: SWAP2 00003224: POP 00003225: POP 00003226: SWAP3 00003227: SWAP2 00003228: POP 00003229: POP 0000322a: JUMP 0000322b: JUMPDEST 0000322c: PUSH1 0x00 0000322e: PUSH1 0x20 00003230: DUP3 00003231: DUP5 00003232: SUB 00003233: SLT 00003234: ISZERO 00003235: PUSH2 0x323d 00003238: JUMPI 00003239: PUSH1 0x00 0000323b: DUP1 0000323c: REVERT 0000323d: JUMPDEST 0000323e: DUP2 0000323f: MLOAD 00003240: DUP1 00003241: ISZERO 00003242: ISZERO 00003243: DUP2 00003244: EQ 00003245: PUSH2 0x2a30 00003248: JUMPI 00003249: PUSH1 0x00 0000324b: DUP1 0000324c: REVERT 0000324d: JUMPDEST 0000324e: PUSH1 0x00 00003250: DUP1 00003251: DUP4 00003252: CALLDATALOAD 00003253: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1 00003274: DUP5 00003275: CALLDATASIZE 00003276: SUB 00003277: ADD 00003278: DUP2 00003279: SLT 0000327a: PUSH2 0x3282 0000327d: JUMPI 0000327e: PUSH1 0x00 00003280: DUP1 00003281: REVERT 00003282: JUMPDEST 00003283: DUP4 00003284: ADD 00003285: DUP1 00003286: CALLDATALOAD 00003287: SWAP2 00003288: POP 00003289: PUSH8 0xffffffffffffffff 00003292: DUP3 00003293: GT 00003294: ISZERO 00003295: PUSH2 0x329d 00003298: JUMPI 00003299: PUSH1 0x00 0000329b: DUP1 0000329c: REVERT 0000329d: JUMPDEST 0000329e: PUSH1 0x20 000032a0: ADD 000032a1: SWAP2 000032a2: POP 000032a3: CALLDATASIZE 000032a4: DUP2 000032a5: SWAP1 000032a6: SUB 000032a7: DUP3 000032a8: SGT 000032a9: ISZERO 000032aa: PUSH2 0x316f 000032ad: JUMPI 000032ae: PUSH1 0x00 000032b0: DUP1 000032b1: REVERT 000032b2: JUMPDEST 000032b3: PUSH1 0x01 000032b5: DUP2 000032b6: DUP2 000032b7: SHR 000032b8: SWAP1 000032b9: DUP3 000032ba: AND 000032bb: DUP1 000032bc: PUSH2 0x32c6 000032bf: JUMPI 000032c0: PUSH1 0x7f 000032c2: DUP3 000032c3: AND 000032c4: SWAP2 000032c5: POP 000032c6: JUMPDEST 000032c7: PUSH1 0x20 000032c9: DUP3 000032ca: LT 000032cb: DUP2 000032cc: SUB 000032cd: PUSH2 0x2e61 000032d0: JUMPI 000032d1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000032f2: PUSH1 0x00 000032f4: MSTORE 000032f5: PUSH1 0x22 000032f7: PUSH1 0x04 000032f9: MSTORE 000032fa: PUSH1 0x24 000032fc: PUSH1 0x00 000032fe: REVERT 000032ff: JUMPDEST 00003300: DUP2 00003301: MLOAD 00003302: PUSH1 0x00 00003304: SWAP1 00003305: DUP3 00003306: SWAP1 00003307: PUSH1 0x20 00003309: DUP1 0000330a: DUP7 0000330b: ADD 0000330c: DUP5 0000330d: JUMPDEST 0000330e: DUP4 0000330f: DUP2 00003310: LT 00003311: ISZERO 00003312: PUSH2 0x3329 00003315: JUMPI 00003316: DUP2 00003317: MLOAD 00003318: DUP6 00003319: MSTORE 0000331a: SWAP4 0000331b: DUP3 0000331c: ADD 0000331d: SWAP4 0000331e: SWAP1 0000331f: DUP3 00003320: ADD 00003321: SWAP1 00003322: PUSH1 0x01 00003324: ADD 00003325: PUSH2 0x330d 00003328: JUMP 00003329: JUMPDEST 0000332a: POP 0000332b: SWAP3 0000332c: SWAP7 0000332d: SWAP6 0000332e: POP 0000332f: POP 00003330: POP 00003331: POP 00003332: POP 00003333: POP 00003334: JUMP 00003335: JUMPDEST 00003336: PUSH1 0x1f 00003338: DUP3 00003339: GT 0000333a: ISZERO 0000333b: PUSH2 0x1630 0000333e: JUMPI 0000333f: PUSH1 0x00 00003341: DUP2 00003342: PUSH1 0x00 00003344: MSTORE 00003345: PUSH1 0x20 00003347: PUSH1 0x00 00003349: KECCAK256 0000334a: PUSH1 0x1f 0000334c: DUP6 0000334d: ADD 0000334e: PUSH1 0x05 00003350: SHR 00003351: DUP2 00003352: ADD 00003353: PUSH1 0x20 00003355: DUP7 00003356: LT 00003357: ISZERO 00003358: PUSH2 0x335e 0000335b: JUMPI 0000335c: POP 0000335d: DUP1 0000335e: JUMPDEST 0000335f: PUSH1 0x1f 00003361: DUP6 00003362: ADD 00003363: PUSH1 0x05 00003365: SHR 00003366: DUP3 00003367: ADD 00003368: SWAP2 00003369: POP 0000336a: JUMPDEST 0000336b: DUP2 0000336c: DUP2 0000336d: LT 0000336e: ISZERO 0000336f: PUSH2 0x337d 00003372: JUMPI 00003373: DUP3 00003374: DUP2 00003375: SSTORE 00003376: PUSH1 0x01 00003378: ADD 00003379: PUSH2 0x336a 0000337c: JUMP 0000337d: JUMPDEST 0000337e: POP 0000337f: POP 00003380: POP 00003381: POP 00003382: POP 00003383: POP 00003384: JUMP 00003385: JUMPDEST 00003386: DUP2 00003387: MLOAD 00003388: PUSH8 0xffffffffffffffff 00003391: DUP2 00003392: GT 00003393: ISZERO 00003394: PUSH2 0x339f 00003397: JUMPI 00003398: PUSH2 0x339f 0000339b: PUSH2 0x31a5 0000339e: JUMP 0000339f: JUMPDEST 000033a0: PUSH2 0x33b3 000033a3: DUP2 000033a4: PUSH2 0x33ad 000033a7: DUP5 000033a8: SLOAD 000033a9: PUSH2 0x32b2 000033ac: JUMP 000033ad: JUMPDEST 000033ae: DUP5 000033af: PUSH2 0x3335 000033b2: JUMP 000033b3: JUMPDEST 000033b4: PUSH1 0x20 000033b6: DUP1 000033b7: PUSH1 0x1f 000033b9: DUP4 000033ba: GT 000033bb: PUSH1 0x01 000033bd: DUP2 000033be: EQ 000033bf: PUSH2 0x3406 000033c2: JUMPI 000033c3: PUSH1 0x00 000033c5: DUP5 000033c6: ISZERO 000033c7: PUSH2 0x33d0 000033ca: JUMPI 000033cb: POP 000033cc: DUP6 000033cd: DUP4 000033ce: ADD 000033cf: MLOAD 000033d0: JUMPDEST 000033d1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000033f2: PUSH1 0x03 000033f4: DUP7 000033f5: SWAP1 000033f6: SHL 000033f7: SHR 000033f8: NOT 000033f9: AND 000033fa: PUSH1 0x01 000033fc: DUP6 000033fd: SWAP1 000033fe: SHL 000033ff: OR 00003400: DUP6 00003401: SSTORE 00003402: PUSH2 0x337d 00003405: JUMP 00003406: JUMPDEST 00003407: PUSH1 0x00 00003409: DUP6 0000340a: DUP2 0000340b: MSTORE 0000340c: PUSH1 0x20 0000340e: DUP2 0000340f: KECCAK256 00003410: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00003431: DUP7 00003432: AND 00003433: SWAP2 00003434: JUMPDEST 00003435: DUP3 00003436: DUP2 00003437: LT 00003438: ISZERO 00003439: PUSH2 0x3453 0000343c: JUMPI 0000343d: DUP9 0000343e: DUP7 0000343f: ADD 00003440: MLOAD 00003441: DUP3 00003442: SSTORE 00003443: SWAP5 00003444: DUP5 00003445: ADD 00003446: SWAP5 00003447: PUSH1 0x01 00003449: SWAP1 0000344a: SWAP2 0000344b: ADD 0000344c: SWAP1 0000344d: DUP5 0000344e: ADD 0000344f: PUSH2 0x3434 00003452: JUMP 00003453: JUMPDEST 00003454: POP 00003455: DUP6 00003456: DUP3 00003457: LT 00003458: ISZERO 00003459: PUSH2 0x348f 0000345c: JUMPI 0000345d: DUP8 0000345e: DUP6 0000345f: ADD 00003460: MLOAD 00003461: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00003482: PUSH1 0x03 00003484: DUP9 00003485: SWAP1 00003486: SHL 00003487: PUSH1 0xf8 00003489: AND 0000348a: SHR 0000348b: NOT 0000348c: AND 0000348d: DUP2 0000348e: SSTORE 0000348f: JUMPDEST 00003490: POP 00003491: POP 00003492: POP 00003493: POP 00003494: POP 00003495: PUSH1 0x01 00003497: SWAP1 00003498: DUP2 00003499: SHL 0000349a: ADD 0000349b: SWAP1 0000349c: SSTORE 0000349d: POP 0000349e: JUMP 0000349f: JUMPDEST 000034a0: PUSH1 0x00 000034a2: DUP3 000034a3: MLOAD 000034a4: PUSH2 0x34b1 000034a7: DUP2 000034a8: DUP5 000034a9: PUSH1 0x20 000034ab: DUP8 000034ac: ADD 000034ad: PUSH2 0x2ef0 000034b0: JUMP 000034b1: JUMPDEST 000034b2: SWAP2 000034b3: SWAP1 000034b4: SWAP2 000034b5: ADD 000034b6: SWAP3 000034b7: SWAP2 000034b8: POP 000034b9: POP 000034ba: JUMP 000034bb: INVALID 000034bc: LOG2 000034bd: PUSH5 0x6970667358 000034c3: UNKNOWN(0x22) 000034c4: SLT 000034c5: KECCAK256 000034c6: STATICCALL 000034c7: MSIZE 000034c8: UNKNOWN(0xFC) 000034c9: UNKNOWN(0xC7) 000034ca: SAR 000034cb: UNKNOWN(0xCA) 000034cc: SIGNEXTEND 000034cd: DELEGATECALL 000034ce: MUL 000034cf: SWAP3 000034d0: UNKNOWN(0xD2) 000034d1: UNKNOWN(0xB6) 000034d2: EQ 000034d3: UNKNOWN(0xA8) 000034d4: SWAP4 000034d5: UNKNOWN(0xC4) 000034d6: UNKNOWN(0xF6) 000034d7: UNKNOWN(0x2C) 000034d8: RETURN 000034d9: MLOAD 000034da: CALLDATALOAD 000034db: UNKNOWN(0xAA) 000034dc: PUSH10 0x3e05a7c28a837685ef64 000034e7: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x9c5dc0b6709ea21482f2be2826d164fd97600effd398290d55172c7e007dd0f1
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x9c5dc0b6709ea21482f2be2826d164fd97600effd398290d55172c7e007dd0f1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xc617b667",
"selector": "0xc617b667",
"calldata_variants": [
"0xc617b667",
"0xc617b6670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1db4763",
"selector": "0xf1db4763",
"calldata_variants": [
"0xf1db4763",
"0xf1db47630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb460af94",
"selector": "0xb460af94",
"calldata_variants": [
"0xb460af94",
"0xb460af940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb695c935",
"selector": "0xb695c935",
"calldata_variants": [
"0xb695c935",
"0xb695c9350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84b0196e",
"selector": "0x84b0196e",
"calldata_variants": [
"0x84b0196e",
"0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x863d51c9",
"selector": "0x863d51c9",
"calldata_variants": [
"0x863d51c9",
"0x863d51c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 13517,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | codex | Computed DELEGATECALL target reachable (possible arbitrary code execution) | 85 | no | — |
viewevidence_json{
"evidence": "Detector flagged 1 DELEGATECALL with target_expression_category=\"computed\" and no guards detected; pc 13517 (0x34cd).",
"locations": [
"pc:0x34cd"
],
"recommendation": "Ensure the delegatecall target is fixed to a trusted library/implementation or gated by strict access control and allowlisting; avoid delegatecall to user-controlled addresses.",
"exploit_scenario": "If an attacker can influence the delegatecall target (via calldata or modifiable storage), they can execute arbitrary code in the caller's context, overwrite storage (including ownership/asset accounting), and drain funds."
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9005188ec3a8e0ddda68b80390bb520f00290b3ddba22d49565bd4b529ab86a0
call_targets:
0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9005188ec3a8e0ddda68b80390bb520f00290b3ddba22d49565bd4b529ab86a0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3"
],
"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": "0xc617b667",
"selector": "0xc617b667",
"calldata_variants": [
"0xc617b667",
"0xc617b6670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1db4763",
"selector": "0xf1db4763",
"calldata_variants": [
"0xf1db4763",
"0xf1db47630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb460af94",
"selector": "0xb460af94",
"calldata_variants": [
"0xb460af94",
"0xb460af940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb695c935",
"selector": "0xb695c935",
"calldata_variants": [
"0xb695c935",
"0xb695c9350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84b0196e",
"selector": "0x84b0196e",
"calldata_variants": [
"0x84b0196e",
"0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x863d51c9",
"selector": "0x863d51c9",
"calldata_variants": [
"0x863d51c9",
"0x863d51c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4442,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5276,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x9005188ec3a8e0ddda68b80390bb520f00290b3ddba22d49565bd4b529ab86a0
call_targets:
0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9005188ec3a8e0ddda68b80390bb520f00290b3ddba22d49565bd4b529ab86a0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9cea88ee39b6cc09c478942bbf83bfa77d87b5f3"
],
"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": "0xc617b667",
"selector": "0xc617b667",
"calldata_variants": [
"0xc617b667",
"0xc617b6670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1db4763",
"selector": "0xf1db4763",
"calldata_variants": [
"0xf1db4763",
"0xf1db47630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb460af94",
"selector": "0xb460af94",
"calldata_variants": [
"0xb460af94",
"0xb460af940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb695c935",
"selector": "0xb695c935",
"calldata_variants": [
"0xb695c935",
"0xb695c9350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84b0196e",
"selector": "0x84b0196e",
"calldata_variants": [
"0x84b0196e",
"0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x863d51c9",
"selector": "0x863d51c9",
"calldata_variants": [
"0x863d51c9",
"0x863d51c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4442,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5276,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | reentrancy | codex | Value-bearing external CALLs to computed targets without detected guard | 75 | no | — |
viewevidence_json{
"evidence": "Detectors show 4 CALL sites with target/value computed and no guards detected; eth_value_calls=4 at pc 4442 (0x115a), 5276 (0x149c), 6520 (0x1978), 11289 (0x2c19).",
"locations": [
"pc:0x115a",
"pc:0x149c",
"pc:0x1978",
"pc:0x2c19"
],
"recommendation": "Review each value-bearing CALL to confirm checks-effects-interactions ordering and/or add a reentrancy guard on external-call paths; restrict external call targets where possible.",
"exploit_scenario": "If these CALLs send ETH or invoke user-supplied contracts before state is fully updated, a malicious callee can reenter and trigger duplicate processing (e.g., double-withdraw/refund) or manipulate order state. Bytecode-only view cannot confirm call ordering or guards."
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|