c75630c1-933d-4552-ad87-c83d68336312
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 |
|---|---|---|---|---|
| 30533 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 104057 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 104058 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 104059 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 104060 | capability.graph | complete | 1 / 3 | 1 week ago |
| 104061 | detector.run | complete | 1 / 3 | 1 week ago |
| 104062 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:790924] OpenAI Codex v0.77.0 (research preview)
[codex:790924] --------
[codex:790924] workdir: /tmp/codex-multi-s6g8qvva
[codex:790924] model: gpt-5.2-codex
[codex:790924] provider: openai
[codex:790924] approval: never
[codex:790924] sandbox: read-only
[codex:790924] reasoning effort: xhigh
[codex:790924] reasoning summaries: auto
[codex:790924] session id: 019b6b13-5fec-7bc3-809f-64049c61c1ef
[codex:790924] --------
[codex:790924] user
[codex:790924] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:790924] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:790924] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:790924]
[codex:790924] Scope rules:
[codex:790924] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:790924] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:790924]
[codex:790924] Output MUST be valid JSON matching the provided schema.
[codex:790924] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:790924] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:790924]
[codex:790924] Output constraints (IMPORTANT):
[codex:790924] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:790924] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:790924] mcp startup: no servers
[codex:790924]
[codex:790924] thinking
[codex:790924] **Preparing to read AUDIT_BUNDLE.txt**
[codex:790924] exec
[codex:790924] /bin/bash -lc ls in /tmp/codex-multi-s6g8qvva succeeded in 5ms:
[codex:790924] AUDIT_BUNDLE.txt
[codex:790924] codex-output-schema.json
[codex:790924] contracts
[codex:790924] exec
[codex:790924] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-s6g8qvva succeeded in 6ms:
[codex:790924] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:790924]
[codex:790924] ================================================================================
[codex:790924] FILE: contracts/contracts/core/connext/helpers/ConnextDiamond.sol
[codex:790924] ================================================================================
[codex:790924] // SPDX-License-Identifier: MIT
[codex:790924] pragma solidity 0.8.17;
[codex:790924]
[codex:790924] /******************************************************************************\
[codex:790924] * Author: Nick Mudge <nick@perfectabstractions.com> (https://twitter.com/mudgen)
[codex:790924] * EIP-2535 Diamonds: https://eips.ethereum.org/EIPS/eip-2535
[codex:790924] *
[codex:790924] * Implementation of a diamond.
[codex:790924] /******************************************************************************/
[codex:790924]
[codex:790924] import {LibDiamond} from "../libraries/LibDiamond.sol";
[codex:790924] import {IDiamondCut} from "../interfaces/IDiamondCut.sol";
[codex:790924]
[codex:790924] contract ConnextDiamond {
[codex:790924] struct Initialization {
[codex:790924]
[codex:790924]
[codex:790924] thinking
[codex:790924] **Summarizing audit observations and risks**
[codex:790924]
[codex:790924] I’m analyzing the diamond pattern implementation focusing on access control, reentrancy, upgradeability, and delegatecall risks based on the limited bundle. Without facets present, internal functions lack explicit access control but rely on facets to enforce it; this limits direct vulnerabilities in the bundle. The constructor’s optional owner parameter may lead to no ownership set, potentially bricking upgrades if facets don’t enforce ownership. Delegatecalls in fallback and initialization are expected but carry inherent upgrade risks if improperly gated by facets. The acceptance delay mechanism seems solid though some edge cases on timing and stale proposals remain low risk. Overall, the code shows no exploitable findings, but potential upgrade and misconfiguration risks depend on facet implementations not included here. I’ll prepare the JSON audit output reflecting no critical issues found.
[codex:790924] thinking
[codex:790924] **Finalizing audit conclusions and JSON output**
[codex:790924]
[codex:790924] I’m wrapping up with a thorough check of internal upgradeability and access control nuances. While propose/rescind functions lack internal gating, this is expected to be handled by facets not included here. The acceptance delay exists but defaults to zero if not set, allowing immediate upgrades after proposal, which might be intended. The code shows no exploitable bugs in fallback, delegatecalls, or storage handling given absence of facets. I’ll produce a minimal JSON audit report confirming no findings and summarizing scope limitations around upgrade and access control enforcement resting on external facets.
[codex:790924] codex
[codex:790924] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the provided first-party diamond base contracts; upgrade/access-control behavior depends on external facets not in scope.","findings":[]}
[codex:790924] tokens used
[codex:790924] 24,445
[codex:790924] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the provided first-party diamond base contracts; upgrade/access-control behavior depends on external facets not in scope.","findings":[]}
{
"codex": {
"ran_at": "2025-12-29T17:08:34.611262+00:00",
"returncode": 0
},
"summary": "No exploitable vulnerabilities found in the provided first-party diamond base contracts; upgrade/access-control behavior depends on external facets not in scope.",
"raw_final": {
"summary": "No exploitable vulnerabilities found in the provided first-party diamond base contracts; upgrade/access-control behavior depends on external facets not in scope.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: PUSH2 0x000b 00000009: JUMPI 0000000a: STOP 0000000b: JUMPDEST 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: CALLDATALOAD 00000010: PUSH1 0x01 00000012: PUSH1 0x01 00000014: PUSH1 0xe0 00000016: SHL 00000017: SUB 00000018: NOT 00000019: AND 0000001a: DUP2 0000001b: MSTORE 0000001c: PUSH1 0x00 0000001e: DUP1 0000001f: MLOAD 00000020: PUSH1 0x20 00000022: PUSH2 0x128a 00000025: DUP4 00000026: CODECOPY 00000027: DUP2 00000028: MLOAD 00000029: SWAP2 0000002a: MSTORE 0000002b: PUSH1 0x20 0000002d: DUP2 0000002e: SWAP1 0000002f: MSTORE 00000030: PUSH1 0x40 00000032: SWAP1 00000033: SWAP2 00000034: KECCAK256 00000035: SLOAD 00000036: DUP2 00000037: SWAP1 00000038: PUSH1 0x01 0000003a: PUSH1 0x01 0000003c: PUSH1 0xa0 0000003e: SHL 0000003f: SUB 00000040: AND 00000041: DUP1 00000042: PUSH2 0x0092 00000045: JUMPI 00000046: PUSH1 0x40 00000048: MLOAD 00000049: PUSH3 0x461bcd 0000004d: PUSH1 0xe5 0000004f: SHL 00000050: DUP2 00000051: MSTORE 00000052: PUSH1 0x20 00000054: PUSH1 0x04 00000056: DUP3 00000057: ADD 00000058: DUP2 00000059: SWAP1 0000005a: MSTORE 0000005b: PUSH1 0x24 0000005d: DUP3 0000005e: ADD 0000005f: MSTORE 00000060: PUSH32 0x4469616d6f6e643a2046756e6374696f6e20646f6573206e6f74206578697374 00000081: PUSH1 0x44 00000083: DUP3 00000084: ADD 00000085: MSTORE 00000086: PUSH1 0x64 00000088: ADD 00000089: JUMPDEST 0000008a: PUSH1 0x40 0000008c: MLOAD 0000008d: DUP1 0000008e: SWAP2 0000008f: SUB 00000090: SWAP1 00000091: REVERT 00000092: JUMPDEST 00000093: CALLDATASIZE 00000094: PUSH1 0x00 00000096: DUP1 00000097: CALLDATACOPY 00000098: PUSH1 0x00 0000009a: DUP1 0000009b: CALLDATASIZE 0000009c: PUSH1 0x00 0000009e: DUP5 0000009f: GAS 000000a0: DELEGATECALL 000000a1: RETURNDATASIZE 000000a2: PUSH1 0x00 000000a4: DUP1 000000a5: RETURNDATACOPY 000000a6: DUP1 000000a7: DUP1 000000a8: ISZERO 000000a9: PUSH2 0x00b1 000000ac: JUMPI 000000ad: RETURNDATASIZE 000000ae: PUSH1 0x00 000000b0: RETURN 000000b1: JUMPDEST 000000b2: RETURNDATASIZE 000000b3: PUSH1 0x00 000000b5: REVERT 000000b6: JUMPDEST 000000b7: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c1320 000000d8: SLOAD 000000d9: PUSH1 0x40 000000db: MLOAD 000000dc: PUSH1 0x00 000000de: DUP1 000000df: MLOAD 000000e0: PUSH1 0x20 000000e2: PUSH2 0x128a 000000e5: DUP4 000000e6: CODECOPY 000000e7: DUP2 000000e8: MLOAD 000000e9: SWAP2 000000ea: MSTORE 000000eb: SWAP2 000000ec: PUSH1 0x01 000000ee: PUSH1 0x01 000000f0: PUSH1 0xa0 000000f2: SHL 000000f3: SUB 000000f4: DUP5 000000f5: DUP2 000000f6: AND 000000f7: SWAP3 000000f8: SWAP2 000000f9: AND 000000fa: SWAP1 000000fb: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000011c: SWAP1 0000011d: PUSH1 0x00 0000011f: SWAP1 00000120: LOG3 00000121: PUSH1 0x04 00000123: ADD 00000124: DUP1 00000125: SLOAD 00000126: PUSH1 0x01 00000128: PUSH1 0x01 0000012a: PUSH1 0xa0 0000012c: SHL 0000012d: SUB 0000012e: NOT 0000012f: AND 00000130: PUSH1 0x01 00000132: PUSH1 0x01 00000134: PUSH1 0xa0 00000136: SHL 00000137: SUB 00000138: SWAP3 00000139: SWAP1 0000013a: SWAP3 0000013b: AND 0000013c: SWAP2 0000013d: SWAP1 0000013e: SWAP2 0000013f: OR 00000140: SWAP1 00000141: SSTORE 00000142: JUMP 00000143: JUMPDEST 00000144: PUSH1 0x40 00000146: MLOAD 00000147: PUSH1 0x00 00000149: DUP1 0000014a: MLOAD 0000014b: PUSH1 0x20 0000014d: PUSH2 0x128a 00000150: DUP4 00000151: CODECOPY 00000152: DUP2 00000153: MLOAD 00000154: SWAP2 00000155: MSTORE 00000156: SWAP1 00000157: PUSH1 0x00 00000159: SWAP1 0000015a: PUSH2 0x016b 0000015d: SWAP1 0000015e: DUP7 0000015f: SWAP1 00000160: DUP7 00000161: SWAP1 00000162: DUP7 00000163: SWAP1 00000164: PUSH1 0x20 00000166: ADD 00000167: PUSH2 0x103b 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH1 0x40 0000016e: DUP1 0000016f: MLOAD 00000170: PUSH1 0x1f 00000172: NOT 00000173: DUP2 00000174: DUP5 00000175: SUB 00000176: ADD 00000177: DUP2 00000178: MSTORE 00000179: SWAP2 0000017a: SWAP1 0000017b: MSTORE 0000017c: DUP1 0000017d: MLOAD 0000017e: PUSH1 0x20 00000180: SWAP1 00000181: SWAP2 00000182: ADD 00000183: KECCAK256 00000184: PUSH1 0x02 00000186: DUP4 00000187: ADD 00000188: SLOAD 00000189: SWAP1 0000018a: SWAP2 0000018b: POP 0000018c: ISZERO 0000018d: PUSH2 0x020f 00000190: JUMPI 00000191: PUSH1 0x00 00000193: DUP2 00000194: DUP2 00000195: MSTORE 00000196: PUSH1 0x05 00000198: DUP4 00000199: ADD 0000019a: PUSH1 0x20 0000019c: MSTORE 0000019d: PUSH1 0x40 0000019f: SWAP1 000001a0: KECCAK256 000001a1: SLOAD 000001a2: DUP1 000001a3: ISZERO 000001a4: DUP1 000001a5: ISZERO 000001a6: SWAP1 000001a7: PUSH2 0x01b0 000001aa: JUMPI 000001ab: POP 000001ac: TIMESTAMP 000001ad: DUP2 000001ae: GT 000001af: ISZERO 000001b0: JUMPDEST 000001b1: PUSH2 0x01fc 000001b4: JUMPI 000001b5: PUSH1 0x40 000001b7: MLOAD 000001b8: PUSH3 0x461bcd 000001bc: PUSH1 0xe5 000001be: SHL 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x20 000001c3: PUSH1 0x04 000001c5: DUP3 000001c6: ADD 000001c7: MSTORE 000001c8: PUSH1 0x1d 000001ca: PUSH1 0x24 000001cc: DUP3 000001cd: ADD 000001ce: MSTORE 000001cf: PUSH32 0x4c69624469616d6f6e643a2064656c6179206e6f7420656c6170736564000000 000001f0: PUSH1 0x44 000001f2: DUP3 000001f3: ADD 000001f4: MSTORE 000001f5: PUSH1 0x64 000001f7: ADD 000001f8: PUSH2 0x0089 000001fb: JUMP 000001fc: JUMPDEST 000001fd: POP 000001fe: PUSH1 0x00 00000200: DUP2 00000201: DUP2 00000202: MSTORE 00000203: PUSH1 0x05 00000205: DUP4 00000206: ADD 00000207: PUSH1 0x20 00000209: MSTORE 0000020a: PUSH1 0x40 0000020c: DUP2 0000020d: KECCAK256 0000020e: SSTORE 0000020f: JUMPDEST 00000210: DUP5 00000211: MLOAD 00000212: PUSH1 0x00 00000214: JUMPDEST 00000215: DUP2 00000216: DUP2 00000217: LT 00000218: ISZERO 00000219: PUSH2 0x03cc 0000021c: JUMPI 0000021d: PUSH1 0x00 0000021f: DUP8 00000220: DUP3 00000221: DUP2 00000222: MLOAD 00000223: DUP2 00000224: LT 00000225: PUSH2 0x0230 00000228: JUMPI 00000229: PUSH2 0x0230 0000022c: PUSH2 0x113b 0000022f: JUMP 00000230: JUMPDEST 00000231: PUSH1 0x20 00000233: MUL 00000234: PUSH1 0x20 00000236: ADD 00000237: ADD 00000238: MLOAD 00000239: PUSH1 0x20 0000023b: ADD 0000023c: MLOAD 0000023d: SWAP1 0000023e: POP 0000023f: PUSH1 0x00 00000241: PUSH1 0x02 00000243: DUP2 00000244: GT 00000245: ISZERO 00000246: PUSH2 0x0251 00000249: JUMPI 0000024a: PUSH2 0x0251 0000024d: PUSH2 0x0fd5 00000250: JUMP 00000251: JUMPDEST 00000252: DUP2 00000253: PUSH1 0x02 00000255: DUP2 00000256: GT 00000257: ISZERO 00000258: PUSH2 0x0263 0000025b: JUMPI 0000025c: PUSH2 0x0263 0000025f: PUSH2 0x0fd5 00000262: JUMP 00000263: JUMPDEST 00000264: SUB 00000265: PUSH2 0x02b1 00000268: JUMPI 00000269: PUSH2 0x02ac 0000026c: DUP9 0000026d: DUP4 0000026e: DUP2 0000026f: MLOAD 00000270: DUP2 00000271: LT 00000272: PUSH2 0x027d 00000275: JUMPI 00000276: PUSH2 0x027d 00000279: PUSH2 0x113b 0000027c: JUMP 0000027d: JUMPDEST 0000027e: PUSH1 0x20 00000280: MUL 00000281: PUSH1 0x20 00000283: ADD 00000284: ADD 00000285: MLOAD 00000286: PUSH1 0x00 00000288: ADD 00000289: MLOAD 0000028a: DUP10 0000028b: DUP5 0000028c: DUP2 0000028d: MLOAD 0000028e: DUP2 0000028f: LT 00000290: PUSH2 0x029b 00000293: JUMPI 00000294: PUSH2 0x029b 00000297: PUSH2 0x113b 0000029a: JUMP 0000029b: JUMPDEST 0000029c: PUSH1 0x20 0000029e: MUL 0000029f: PUSH1 0x20 000002a1: ADD 000002a2: ADD 000002a3: MLOAD 000002a4: PUSH1 0x40 000002a6: ADD 000002a7: MLOAD 000002a8: PUSH2 0x062d 000002ab: JUMP 000002ac: JUMPDEST 000002ad: PUSH2 0x03c3 000002b0: JUMP 000002b1: JUMPDEST 000002b2: PUSH1 0x01 000002b4: DUP2 000002b5: PUSH1 0x02 000002b7: DUP2 000002b8: GT 000002b9: ISZERO 000002ba: PUSH2 0x02c5 000002bd: JUMPI 000002be: PUSH2 0x02c5 000002c1: PUSH2 0x0fd5 000002c4: JUMP 000002c5: JUMPDEST 000002c6: SUB 000002c7: PUSH2 0x030e 000002ca: JUMPI 000002cb: PUSH2 0x02ac 000002ce: DUP9 000002cf: DUP4 000002d0: DUP2 000002d1: MLOAD 000002d2: DUP2 000002d3: LT 000002d4: PUSH2 0x02df 000002d7: JUMPI 000002d8: PUSH2 0x02df 000002db: PUSH2 0x113b 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH1 0x20 000002e2: MUL 000002e3: PUSH1 0x20 000002e5: ADD 000002e6: ADD 000002e7: MLOAD 000002e8: PUSH1 0x00 000002ea: ADD 000002eb: MLOAD 000002ec: DUP10 000002ed: DUP5 000002ee: DUP2 000002ef: MLOAD 000002f0: DUP2 000002f1: LT 000002f2: PUSH2 0x02fd 000002f5: JUMPI 000002f6: PUSH2 0x02fd 000002f9: PUSH2 0x113b 000002fc: JUMP 000002fd: JUMPDEST 000002fe: PUSH1 0x20 00000300: MUL 00000301: PUSH1 0x20 00000303: ADD 00000304: ADD 00000305: MLOAD 00000306: PUSH1 0x40 00000308: ADD 00000309: MLOAD 0000030a: PUSH2 0x079e 0000030d: JUMP 0000030e: JUMPDEST 0000030f: PUSH1 0x02 00000311: DUP2 00000312: PUSH1 0x02 00000314: DUP2 00000315: GT 00000316: ISZERO 00000317: PUSH2 0x0322 0000031a: JUMPI 0000031b: PUSH2 0x0322 0000031e: PUSH2 0x0fd5 00000321: JUMP 00000322: JUMPDEST 00000323: SUB 00000324: PUSH2 0x036b 00000327: JUMPI 00000328: PUSH2 0x02ac 0000032b: DUP9 0000032c: DUP4 0000032d: DUP2 0000032e: MLOAD 0000032f: DUP2 00000330: LT 00000331: PUSH2 0x033c 00000334: JUMPI 00000335: PUSH2 0x033c 00000338: PUSH2 0x113b 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH1 0x20 0000033f: MUL 00000340: PUSH1 0x20 00000342: ADD 00000343: ADD 00000344: MLOAD 00000345: PUSH1 0x00 00000347: ADD 00000348: MLOAD 00000349: DUP10 0000034a: DUP5 0000034b: DUP2 0000034c: MLOAD 0000034d: DUP2 0000034e: LT 0000034f: PUSH2 0x035a 00000352: JUMPI 00000353: PUSH2 0x035a 00000356: PUSH2 0x113b 00000359: JUMP 0000035a: JUMPDEST 0000035b: PUSH1 0x20 0000035d: MUL 0000035e: PUSH1 0x20 00000360: ADD 00000361: ADD 00000362: MLOAD 00000363: PUSH1 0x40 00000365: ADD 00000366: MLOAD 00000367: PUSH2 0x0927 0000036a: JUMP 0000036b: JUMPDEST 0000036c: PUSH1 0x40 0000036e: MLOAD 0000036f: PUSH3 0x461bcd 00000373: PUSH1 0xe5 00000375: SHL 00000376: DUP2 00000377: MSTORE 00000378: PUSH1 0x20 0000037a: PUSH1 0x04 0000037c: DUP3 0000037d: ADD 0000037e: MSTORE 0000037f: PUSH1 0x27 00000381: PUSH1 0x24 00000383: DUP3 00000384: ADD 00000385: MSTORE 00000386: PUSH32 0x4c69624469616d6f6e644375743a20496e636f72726563742046616365744375 000003a7: PUSH1 0x44 000003a9: DUP3 000003aa: ADD 000003ab: MSTORE 000003ac: PUSH7 0x3a20b1ba34b7b7 000003b4: PUSH1 0xc9 000003b6: SHL 000003b7: PUSH1 0x64 000003b9: DUP3 000003ba: ADD 000003bb: MSTORE 000003bc: PUSH1 0x84 000003be: ADD 000003bf: PUSH2 0x0089 000003c2: JUMP 000003c3: JUMPDEST 000003c4: POP 000003c5: PUSH1 0x01 000003c7: ADD 000003c8: PUSH2 0x0214 000003cb: JUMP 000003cc: JUMPDEST 000003cd: POP 000003ce: PUSH32 0x8faa70878671ccd212d20771b795c50af8fd3ff6cf27f4bde57e5d4de0aeb673 000003ef: DUP7 000003f0: DUP7 000003f1: DUP7 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: PUSH2 0x0400 000003f8: SWAP4 000003f9: SWAP3 000003fa: SWAP2 000003fb: SWAP1 000003fc: PUSH2 0x103b 000003ff: JUMP 00000400: JUMPDEST 00000401: PUSH1 0x40 00000403: MLOAD 00000404: DUP1 00000405: SWAP2 00000406: SUB 00000407: SWAP1 00000408: LOG1 00000409: PUSH2 0x0412 0000040c: DUP6 0000040d: DUP6 0000040e: PUSH2 0x041a 00000411: JUMP 00000412: JUMPDEST 00000413: POP 00000414: POP 00000415: POP 00000416: POP 00000417: POP 00000418: POP 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH1 0x01 0000041d: PUSH1 0x01 0000041f: PUSH1 0xa0 00000421: SHL 00000422: SUB 00000423: DUP3 00000424: AND 00000425: PUSH2 0x04a1 00000428: JUMPI 00000429: DUP1 0000042a: MLOAD 0000042b: ISZERO 0000042c: PUSH2 0x049d 0000042f: JUMPI 00000430: PUSH1 0x40 00000432: MLOAD 00000433: PUSH3 0x461bcd 00000437: PUSH1 0xe5 00000439: SHL 0000043a: DUP2 0000043b: MSTORE 0000043c: PUSH1 0x20 0000043e: PUSH1 0x04 00000440: DUP3 00000441: ADD 00000442: MSTORE 00000443: PUSH1 0x3c 00000445: PUSH1 0x24 00000447: DUP3 00000448: ADD 00000449: MSTORE 0000044a: PUSH32 0x4c69624469616d6f6e644375743a205f696e6974206973206164647265737328 0000046b: PUSH1 0x44 0000046d: DUP3 0000046e: ADD 0000046f: MSTORE 00000470: PUSH32 0x3029206275745f63616c6c64617461206973206e6f7420656d70747900000000 00000491: PUSH1 0x64 00000493: DUP3 00000494: ADD 00000495: MSTORE 00000496: PUSH1 0x84 00000498: ADD 00000499: PUSH2 0x0089 0000049c: JUMP 0000049d: JUMPDEST 0000049e: POP 0000049f: POP 000004a0: JUMP 000004a1: JUMPDEST 000004a2: DUP1 000004a3: MLOAD 000004a4: PUSH1 0x00 000004a6: SUB 000004a7: PUSH2 0x0518 000004aa: JUMPI 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: PUSH3 0x461bcd 000004b2: PUSH1 0xe5 000004b4: SHL 000004b5: DUP2 000004b6: MSTORE 000004b7: PUSH1 0x20 000004b9: PUSH1 0x04 000004bb: DUP3 000004bc: ADD 000004bd: MSTORE 000004be: PUSH1 0x3d 000004c0: PUSH1 0x24 000004c2: DUP3 000004c3: ADD 000004c4: MSTORE 000004c5: PUSH32 0x4c69624469616d6f6e644375743a205f63616c6c6461746120697320656d7074 000004e6: PUSH1 0x44 000004e8: DUP3 000004e9: ADD 000004ea: MSTORE 000004eb: PUSH32 0x7920627574205f696e6974206973206e6f742061646472657373283029000000 0000050c: PUSH1 0x64 0000050e: DUP3 0000050f: ADD 00000510: MSTORE 00000511: PUSH1 0x84 00000513: ADD 00000514: PUSH2 0x0089 00000517: JUMP 00000518: JUMPDEST 00000519: PUSH1 0x01 0000051b: PUSH1 0x01 0000051d: PUSH1 0xa0 0000051f: SHL 00000520: SUB 00000521: DUP3 00000522: AND 00000523: ADDRESS 00000524: EQ 00000525: PUSH2 0x054a 00000528: JUMPI 00000529: PUSH2 0x054a 0000052c: DUP3 0000052d: PUSH1 0x40 0000052f: MLOAD 00000530: DUP1 00000531: PUSH1 0x60 00000533: ADD 00000534: PUSH1 0x40 00000536: MSTORE 00000537: DUP1 00000538: PUSH1 0x28 0000053a: DUP2 0000053b: MSTORE 0000053c: PUSH1 0x20 0000053e: ADD 0000053f: PUSH2 0x12aa 00000542: PUSH1 0x28 00000544: SWAP2 00000545: CODECOPY 00000546: PUSH2 0x0ad9 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH1 0x00 0000054d: DUP1 0000054e: DUP4 0000054f: PUSH1 0x01 00000551: PUSH1 0x01 00000553: PUSH1 0xa0 00000555: SHL 00000556: SUB 00000557: AND 00000558: DUP4 00000559: PUSH1 0x40 0000055b: MLOAD 0000055c: PUSH2 0x0565 0000055f: SWAP2 00000560: SWAP1 00000561: PUSH2 0x1151 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x00 00000568: PUSH1 0x40 0000056a: MLOAD 0000056b: DUP1 0000056c: DUP4 0000056d: SUB 0000056e: DUP2 0000056f: DUP6 00000570: GAS 00000571: DELEGATECALL 00000572: SWAP2 00000573: POP 00000574: POP 00000575: RETURNDATASIZE 00000576: DUP1 00000577: PUSH1 0x00 00000579: DUP2 0000057a: EQ 0000057b: PUSH2 0x05a0 0000057e: JUMPI 0000057f: PUSH1 0x40 00000581: MLOAD 00000582: SWAP2 00000583: POP 00000584: PUSH1 0x1f 00000586: NOT 00000587: PUSH1 0x3f 00000589: RETURNDATASIZE 0000058a: ADD 0000058b: AND 0000058c: DUP3 0000058d: ADD 0000058e: PUSH1 0x40 00000590: MSTORE 00000591: RETURNDATASIZE 00000592: DUP3 00000593: MSTORE 00000594: RETURNDATASIZE 00000595: PUSH1 0x00 00000597: PUSH1 0x20 00000599: DUP5 0000059a: ADD 0000059b: RETURNDATACOPY 0000059c: PUSH2 0x05a5 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH1 0x60 000005a3: SWAP2 000005a4: POP 000005a5: JUMPDEST 000005a6: POP 000005a7: SWAP2 000005a8: POP 000005a9: SWAP2 000005aa: POP 000005ab: DUP2 000005ac: PUSH2 0x0627 000005af: JUMPI 000005b0: DUP1 000005b1: MLOAD 000005b2: ISZERO 000005b3: PUSH2 0x05d0 000005b6: JUMPI 000005b7: DUP1 000005b8: PUSH1 0x40 000005ba: MLOAD 000005bb: PUSH3 0x461bcd 000005bf: PUSH1 0xe5 000005c1: SHL 000005c2: DUP2 000005c3: MSTORE 000005c4: PUSH1 0x04 000005c6: ADD 000005c7: PUSH2 0x0089 000005ca: SWAP2 000005cb: SWAP1 000005cc: PUSH2 0x116d 000005cf: JUMP 000005d0: JUMPDEST 000005d1: PUSH1 0x40 000005d3: MLOAD 000005d4: PUSH3 0x461bcd 000005d8: PUSH1 0xe5 000005da: SHL 000005db: DUP2 000005dc: MSTORE 000005dd: PUSH1 0x20 000005df: PUSH1 0x04 000005e1: DUP3 000005e2: ADD 000005e3: MSTORE 000005e4: PUSH1 0x26 000005e6: PUSH1 0x24 000005e8: DUP3 000005e9: ADD 000005ea: MSTORE 000005eb: PUSH32 0x4c69624469616d6f6e644375743a205f696e69742066756e6374696f6e207265 0000060c: PUSH1 0x44 0000060e: DUP3 0000060f: ADD 00000610: MSTORE 00000611: PUSH6 0x1d995c9d1959 00000618: PUSH1 0xd2 0000061a: SHL 0000061b: PUSH1 0x64 0000061d: DUP3 0000061e: ADD 0000061f: MSTORE 00000620: PUSH1 0x84 00000622: ADD 00000623: PUSH2 0x0089 00000626: JUMP 00000627: JUMPDEST 00000628: POP 00000629: POP 0000062a: POP 0000062b: POP 0000062c: JUMP 0000062d: JUMPDEST 0000062e: DUP1 0000062f: MLOAD 00000630: PUSH1 0x00 00000632: SUB 00000633: PUSH2 0x064e 00000636: JUMPI 00000637: PUSH1 0x40 00000639: MLOAD 0000063a: PUSH3 0x461bcd 0000063e: PUSH1 0xe5 00000640: SHL 00000641: DUP2 00000642: MSTORE 00000643: PUSH1 0x04 00000645: ADD 00000646: PUSH2 0x0089 00000649: SWAP1 0000064a: PUSH2 0x1187 0000064d: JUMP 0000064e: JUMPDEST 0000064f: PUSH1 0x00 00000651: DUP1 00000652: MLOAD 00000653: PUSH1 0x20 00000655: PUSH2 0x128a 00000658: DUP4 00000659: CODECOPY 0000065a: DUP2 0000065b: MLOAD 0000065c: SWAP2 0000065d: MSTORE 0000065e: PUSH1 0x01 00000660: PUSH1 0x01 00000662: PUSH1 0xa0 00000664: SHL 00000665: SUB 00000666: DUP4 00000667: AND 00000668: PUSH2 0x0683 0000066b: JUMPI 0000066c: PUSH1 0x40 0000066e: MLOAD 0000066f: PUSH3 0x461bcd 00000673: PUSH1 0xe5 00000675: SHL 00000676: DUP2 00000677: MSTORE 00000678: PUSH1 0x04 0000067a: ADD 0000067b: PUSH2 0x0089 0000067e: SWAP1 0000067f: PUSH2 0x11d2 00000682: JUMP 00000683: JUMPDEST 00000684: PUSH1 0x01 00000686: PUSH1 0x01 00000688: PUSH1 0xa0 0000068a: SHL 0000068b: SUB 0000068c: DUP4 0000068d: AND 0000068e: PUSH1 0x00 00000690: SWAP1 00000691: DUP2 00000692: MSTORE 00000693: PUSH1 0x01 00000695: DUP3 00000696: ADD 00000697: PUSH1 0x20 00000699: MSTORE 0000069a: PUSH1 0x40 0000069c: DUP2 0000069d: KECCAK256 0000069e: SLOAD 0000069f: SWAP1 000006a0: PUSH1 0x01 000006a2: PUSH1 0x01 000006a4: PUSH1 0x60 000006a6: SHL 000006a7: SUB 000006a8: DUP3 000006a9: AND 000006aa: SWAP1 000006ab: SUB 000006ac: PUSH2 0x06b9 000006af: JUMPI 000006b0: PUSH2 0x06b9 000006b3: DUP3 000006b4: DUP6 000006b5: PUSH2 0x0b07 000006b8: JUMP 000006b9: JUMPDEST 000006ba: DUP3 000006bb: MLOAD 000006bc: PUSH1 0x00 000006be: JUMPDEST 000006bf: DUP2 000006c0: DUP2 000006c1: LT 000006c2: ISZERO 000006c3: PUSH2 0x0412 000006c6: JUMPI 000006c7: PUSH1 0x00 000006c9: DUP6 000006ca: DUP3 000006cb: DUP2 000006cc: MLOAD 000006cd: DUP2 000006ce: LT 000006cf: PUSH2 0x06da 000006d2: JUMPI 000006d3: PUSH2 0x06da 000006d6: PUSH2 0x113b 000006d9: JUMP 000006da: JUMPDEST 000006db: PUSH1 0x20 000006dd: SWAP1 000006de: DUP2 000006df: MUL 000006e0: SWAP2 000006e1: SWAP1 000006e2: SWAP2 000006e3: ADD 000006e4: DUP2 000006e5: ADD 000006e6: MLOAD 000006e7: PUSH1 0x01 000006e9: PUSH1 0x01 000006eb: PUSH1 0xe0 000006ed: SHL 000006ee: SUB 000006ef: NOT 000006f0: DUP2 000006f1: AND 000006f2: PUSH1 0x00 000006f4: SWAP1 000006f5: DUP2 000006f6: MSTORE 000006f7: SWAP2 000006f8: DUP8 000006f9: SWAP1 000006fa: MSTORE 000006fb: PUSH1 0x40 000006fd: SWAP1 000006fe: SWAP2 000006ff: KECCAK256 00000700: SLOAD 00000701: SWAP1 00000702: SWAP2 00000703: POP 00000704: PUSH1 0x01 00000706: PUSH1 0x01 00000708: PUSH1 0xa0 0000070a: SHL 0000070b: SUB 0000070c: AND 0000070d: DUP1 0000070e: ISZERO 0000070f: PUSH2 0x0778 00000712: JUMPI 00000713: PUSH1 0x40 00000715: MLOAD 00000716: PUSH3 0x461bcd 0000071a: PUSH1 0xe5 0000071c: SHL 0000071d: DUP2 0000071e: MSTORE 0000071f: PUSH1 0x20 00000721: PUSH1 0x04 00000723: DUP3 00000724: ADD 00000725: MSTORE 00000726: PUSH1 0x35 00000728: PUSH1 0x24 0000072a: DUP3 0000072b: ADD 0000072c: MSTORE 0000072d: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774206164642066756e6374696f 0000074e: PUSH1 0x44 00000750: DUP3 00000751: ADD 00000752: MSTORE 00000753: PUSH21 0x6e207468617420616c726561647920657869737473 00000769: PUSH1 0x58 0000076b: SHL 0000076c: PUSH1 0x64 0000076e: DUP3 0000076f: ADD 00000770: MSTORE 00000771: PUSH1 0x84 00000773: ADD 00000774: PUSH2 0x0089 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH2 0x0784 0000077c: DUP7 0000077d: DUP4 0000077e: DUP8 0000077f: DUP12 00000780: PUSH2 0x0b71 00000783: JUMP 00000784: JUMPDEST 00000785: DUP5 00000786: PUSH2 0x078e 00000789: DUP2 0000078a: PUSH2 0x1234 0000078d: JUMP 0000078e: JUMPDEST 0000078f: SWAP6 00000790: POP 00000791: POP 00000792: DUP3 00000793: PUSH1 0x01 00000795: ADD 00000796: SWAP3 00000797: POP 00000798: POP 00000799: POP 0000079a: PUSH2 0x06be 0000079d: JUMP 0000079e: JUMPDEST 0000079f: DUP1 000007a0: MLOAD 000007a1: PUSH1 0x00 000007a3: DUP2 000007a4: SWAP1 000007a5: SUB 000007a6: PUSH2 0x07c1 000007a9: JUMPI 000007aa: PUSH1 0x40 000007ac: MLOAD 000007ad: PUSH3 0x461bcd 000007b1: PUSH1 0xe5 000007b3: SHL 000007b4: DUP2 000007b5: MSTORE 000007b6: PUSH1 0x04 000007b8: ADD 000007b9: PUSH2 0x0089 000007bc: SWAP1 000007bd: PUSH2 0x1187 000007c0: JUMP 000007c1: JUMPDEST 000007c2: PUSH1 0x00 000007c4: DUP1 000007c5: MLOAD 000007c6: PUSH1 0x20 000007c8: PUSH2 0x128a 000007cb: DUP4 000007cc: CODECOPY 000007cd: DUP2 000007ce: MLOAD 000007cf: SWAP2 000007d0: MSTORE 000007d1: PUSH1 0x01 000007d3: PUSH1 0x01 000007d5: PUSH1 0xa0 000007d7: SHL 000007d8: SUB 000007d9: DUP5 000007da: AND 000007db: PUSH2 0x07f6 000007de: JUMPI 000007df: PUSH1 0x40 000007e1: MLOAD 000007e2: PUSH3 0x461bcd 000007e6: PUSH1 0xe5 000007e8: SHL 000007e9: DUP2 000007ea: MSTORE 000007eb: PUSH1 0x04 000007ed: ADD 000007ee: PUSH2 0x0089 000007f1: SWAP1 000007f2: PUSH2 0x11d2 000007f5: JUMP 000007f6: JUMPDEST 000007f7: PUSH1 0x01 000007f9: PUSH1 0x01 000007fb: PUSH1 0xa0 000007fd: SHL 000007fe: SUB 000007ff: DUP5 00000800: AND 00000801: PUSH1 0x00 00000803: SWAP1 00000804: DUP2 00000805: MSTORE 00000806: PUSH1 0x01 00000808: DUP3 00000809: ADD 0000080a: PUSH1 0x20 0000080c: MSTORE 0000080d: PUSH1 0x40 0000080f: DUP2 00000810: KECCAK256 00000811: SLOAD 00000812: SWAP1 00000813: PUSH1 0x01 00000815: PUSH1 0x01 00000817: PUSH1 0x60 00000819: SHL 0000081a: SUB 0000081b: DUP3 0000081c: AND 0000081d: SWAP1 0000081e: SUB 0000081f: PUSH2 0x082c 00000822: JUMPI 00000823: PUSH2 0x082c 00000826: DUP3 00000827: DUP7 00000828: PUSH2 0x0b07 0000082b: JUMP 0000082c: JUMPDEST 0000082d: PUSH1 0x00 0000082f: JUMPDEST 00000830: DUP4 00000831: DUP2 00000832: LT 00000833: ISZERO 00000834: PUSH2 0x0412 00000837: JUMPI 00000838: PUSH1 0x00 0000083a: DUP6 0000083b: DUP3 0000083c: DUP2 0000083d: MLOAD 0000083e: DUP2 0000083f: LT 00000840: PUSH2 0x084b 00000843: JUMPI 00000844: PUSH2 0x084b 00000847: PUSH2 0x113b 0000084a: JUMP 0000084b: JUMPDEST 0000084c: PUSH1 0x20 0000084e: SWAP1 0000084f: DUP2 00000850: MUL 00000851: SWAP2 00000852: SWAP1 00000853: SWAP2 00000854: ADD 00000855: DUP2 00000856: ADD 00000857: MLOAD 00000858: PUSH1 0x01 0000085a: PUSH1 0x01 0000085c: PUSH1 0xe0 0000085e: SHL 0000085f: SUB 00000860: NOT 00000861: DUP2 00000862: AND 00000863: PUSH1 0x00 00000865: SWAP1 00000866: DUP2 00000867: MSTORE 00000868: SWAP2 00000869: DUP7 0000086a: SWAP1 0000086b: MSTORE 0000086c: PUSH1 0x40 0000086e: SWAP1 0000086f: SWAP2 00000870: KECCAK256 00000871: SLOAD 00000872: SWAP1 00000873: SWAP2 00000874: POP 00000875: PUSH1 0x01 00000877: PUSH1 0x01 00000879: PUSH1 0xa0 0000087b: SHL 0000087c: SUB 0000087d: SWAP1 0000087e: DUP2 0000087f: AND 00000880: SWAP1 00000881: DUP9 00000882: AND 00000883: DUP2 00000884: SUB 00000885: PUSH2 0x08f6 00000888: JUMPI 00000889: PUSH1 0x40 0000088b: MLOAD 0000088c: PUSH3 0x461bcd 00000890: PUSH1 0xe5 00000892: SHL 00000893: DUP2 00000894: MSTORE 00000895: PUSH1 0x20 00000897: PUSH1 0x04 00000899: DUP3 0000089a: ADD 0000089b: MSTORE 0000089c: PUSH1 0x38 0000089e: PUSH1 0x24 000008a0: DUP3 000008a1: ADD 000008a2: MSTORE 000008a3: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774207265706c6163652066756e 000008c4: PUSH1 0x44 000008c6: DUP3 000008c7: ADD 000008c8: MSTORE 000008c9: PUSH32 0x6374696f6e20776974682073616d652066756e6374696f6e0000000000000000 000008ea: PUSH1 0x64 000008ec: DUP3 000008ed: ADD 000008ee: MSTORE 000008ef: PUSH1 0x84 000008f1: ADD 000008f2: PUSH2 0x0089 000008f5: JUMP 000008f6: JUMPDEST 000008f7: PUSH2 0x0901 000008fa: DUP6 000008fb: DUP3 000008fc: DUP5 000008fd: PUSH2 0x0c11 00000900: JUMP 00000901: JUMPDEST 00000902: PUSH2 0x090d 00000905: DUP6 00000906: DUP4 00000907: DUP7 00000908: DUP12 00000909: PUSH2 0x0b71 0000090c: JUMP 0000090d: JUMPDEST 0000090e: DUP4 0000090f: PUSH2 0x0917 00000912: DUP2 00000913: PUSH2 0x1234 00000916: JUMP 00000917: JUMPDEST 00000918: SWAP5 00000919: POP 0000091a: POP 0000091b: DUP3 0000091c: PUSH1 0x01 0000091e: ADD 0000091f: SWAP3 00000920: POP 00000921: POP 00000922: POP 00000923: PUSH2 0x082f 00000926: JUMP 00000927: JUMPDEST 00000928: DUP1 00000929: MLOAD 0000092a: PUSH1 0x00 0000092c: SUB 0000092d: PUSH2 0x0948 00000930: JUMPI 00000931: PUSH1 0x40 00000933: MLOAD 00000934: PUSH3 0x461bcd 00000938: PUSH1 0xe5 0000093a: SHL 0000093b: DUP2 0000093c: MSTORE 0000093d: PUSH1 0x04 0000093f: ADD 00000940: PUSH2 0x0089 00000943: SWAP1 00000944: PUSH2 0x1187 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x00 0000094b: DUP1 0000094c: MLOAD 0000094d: PUSH1 0x20 0000094f: PUSH2 0x128a 00000952: DUP4 00000953: CODECOPY 00000954: DUP2 00000955: MLOAD 00000956: SWAP2 00000957: MSTORE 00000958: PUSH4 0x5df91ac7 0000095d: PUSH1 0xe1 0000095f: SHL 00000960: PUSH4 0x07e4c707 00000965: PUSH1 0xe2 00000967: SHL 00000968: PUSH1 0x01 0000096a: PUSH1 0x01 0000096c: PUSH1 0xa0 0000096e: SHL 0000096f: SUB 00000970: DUP6 00000971: AND 00000972: ISZERO 00000973: PUSH2 0x09dd 00000976: JUMPI 00000977: PUSH1 0x40 00000979: MLOAD 0000097a: PUSH3 0x461bcd 0000097e: PUSH1 0xe5 00000980: SHL 00000981: DUP2 00000982: MSTORE 00000983: PUSH1 0x20 00000985: PUSH1 0x04 00000987: DUP3 00000988: ADD 00000989: MSTORE 0000098a: PUSH1 0x36 0000098c: PUSH1 0x24 0000098e: DUP3 0000098f: ADD 00000990: MSTORE 00000991: PUSH32 0x4c69624469616d6f6e644375743a2052656d6f76652066616365742061646472 000009b2: PUSH1 0x44 000009b4: DUP3 000009b5: ADD 000009b6: MSTORE 000009b7: PUSH22 0x657373206d7573742062652061646472657373283029 000009ce: PUSH1 0x50 000009d0: SHL 000009d1: PUSH1 0x64 000009d3: DUP3 000009d4: ADD 000009d5: MSTORE 000009d6: PUSH1 0x84 000009d8: ADD 000009d9: PUSH2 0x0089 000009dc: JUMP 000009dd: JUMPDEST 000009de: DUP4 000009df: MLOAD 000009e0: PUSH1 0x00 000009e2: JUMPDEST 000009e3: DUP2 000009e4: DUP2 000009e5: LT 000009e6: ISZERO 000009e7: PUSH2 0x0ad0 000009ea: JUMPI 000009eb: PUSH1 0x00 000009ed: DUP7 000009ee: DUP3 000009ef: DUP2 000009f0: MLOAD 000009f1: DUP2 000009f2: LT 000009f3: PUSH2 0x09fe 000009f6: JUMPI 000009f7: PUSH2 0x09fe 000009fa: PUSH2 0x113b 000009fd: JUMP 000009fe: JUMPDEST 000009ff: PUSH1 0x20 00000a01: MUL 00000a02: PUSH1 0x20 00000a04: ADD 00000a05: ADD 00000a06: MLOAD 00000a07: SWAP1 00000a08: POP 00000a09: DUP5 00000a0a: PUSH1 0x01 00000a0c: PUSH1 0x01 00000a0e: PUSH1 0xe0 00000a10: SHL 00000a11: SUB 00000a12: NOT 00000a13: AND 00000a14: DUP2 00000a15: PUSH1 0x01 00000a17: PUSH1 0x01 00000a19: PUSH1 0xe0 00000a1b: SHL 00000a1c: SUB 00000a1d: NOT 00000a1e: AND 00000a1f: EQ 00000a20: ISZERO 00000a21: DUP1 00000a22: ISZERO 00000a23: PUSH2 0x0a39 00000a26: JUMPI 00000a27: POP 00000a28: PUSH1 0x01 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0xe0 00000a2e: SHL 00000a2f: SUB 00000a30: NOT 00000a31: DUP2 00000a32: DUP2 00000a33: AND 00000a34: SWAP1 00000a35: DUP6 00000a36: AND 00000a37: EQ 00000a38: ISZERO 00000a39: JUMPDEST 00000a3a: PUSH2 0x0a98 00000a3d: JUMPI 00000a3e: PUSH1 0x40 00000a40: MLOAD 00000a41: PUSH3 0x461bcd 00000a45: PUSH1 0xe5 00000a47: SHL 00000a48: DUP2 00000a49: MSTORE 00000a4a: PUSH1 0x20 00000a4c: PUSH1 0x04 00000a4e: DUP3 00000a4f: ADD 00000a50: MSTORE 00000a51: PUSH1 0x2a 00000a53: PUSH1 0x24 00000a55: DUP3 00000a56: ADD 00000a57: MSTORE 00000a58: PUSH32 0x4c69624469616d6f6e644375743a2043616e6e6f742072656d6f766520637574 00000a79: PUSH1 0x44 00000a7b: DUP3 00000a7c: ADD 00000a7d: MSTORE 00000a7e: PUSH10 0x2073656c6563746f7273 00000a89: PUSH1 0xb0 00000a8b: SHL 00000a8c: PUSH1 0x64 00000a8e: DUP3 00000a8f: ADD 00000a90: MSTORE 00000a91: PUSH1 0x84 00000a93: ADD 00000a94: PUSH2 0x0089 00000a97: JUMP 00000a98: JUMPDEST 00000a99: PUSH1 0x01 00000a9b: PUSH1 0x01 00000a9d: PUSH1 0xe0 00000a9f: SHL 00000aa0: SUB 00000aa1: NOT 00000aa2: DUP2 00000aa3: AND 00000aa4: PUSH1 0x00 00000aa6: SWAP1 00000aa7: DUP2 00000aa8: MSTORE 00000aa9: PUSH1 0x20 00000aab: DUP8 00000aac: SWAP1 00000aad: MSTORE 00000aae: PUSH1 0x40 00000ab0: SWAP1 00000ab1: KECCAK256 00000ab2: SLOAD 00000ab3: PUSH1 0x01 00000ab5: PUSH1 0x01 00000ab7: PUSH1 0xa0 00000ab9: SHL 00000aba: SUB 00000abb: AND 00000abc: PUSH2 0x0ac6 00000abf: DUP8 00000ac0: DUP3 00000ac1: DUP5 00000ac2: PUSH2 0x0c11 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: POP 00000ac8: POP 00000ac9: PUSH1 0x01 00000acb: ADD 00000acc: PUSH2 0x09e2 00000acf: JUMP 00000ad0: JUMPDEST 00000ad1: POP 00000ad2: POP 00000ad3: POP 00000ad4: POP 00000ad5: POP 00000ad6: POP 00000ad7: POP 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: DUP1 00000adb: PUSH1 0x01 00000add: PUSH1 0x01 00000adf: PUSH1 0xa0 00000ae1: SHL 00000ae2: SUB 00000ae3: DUP4 00000ae4: AND 00000ae5: EXTCODESIZE 00000ae6: PUSH2 0x0b02 00000ae9: JUMPI 00000aea: PUSH1 0x40 00000aec: MLOAD 00000aed: PUSH3 0x461bcd 00000af1: PUSH1 0xe5 00000af3: SHL 00000af4: DUP2 00000af5: MSTORE 00000af6: PUSH1 0x04 00000af8: ADD 00000af9: PUSH2 0x0089 00000afc: SWAP2 00000afd: SWAP1 00000afe: PUSH2 0x116d 00000b01: JUMP 00000b02: JUMPDEST 00000b03: POP 00000b04: POP 00000b05: POP 00000b06: JUMP 00000b07: JUMPDEST 00000b08: PUSH2 0x0b29 00000b0b: DUP2 00000b0c: PUSH1 0x40 00000b0e: MLOAD 00000b0f: DUP1 00000b10: PUSH1 0x60 00000b12: ADD 00000b13: PUSH1 0x40 00000b15: MSTORE 00000b16: DUP1 00000b17: PUSH1 0x24 00000b19: DUP2 00000b1a: MSTORE 00000b1b: PUSH1 0x20 00000b1d: ADD 00000b1e: PUSH2 0x12d2 00000b21: PUSH1 0x24 00000b23: SWAP2 00000b24: CODECOPY 00000b25: PUSH2 0x0ad9 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: PUSH1 0x02 00000b2c: DUP3 00000b2d: ADD 00000b2e: DUP1 00000b2f: SLOAD 00000b30: PUSH1 0x01 00000b32: PUSH1 0x01 00000b34: PUSH1 0xa0 00000b36: SHL 00000b37: SUB 00000b38: SWAP1 00000b39: SWAP3 00000b3a: AND 00000b3b: PUSH1 0x00 00000b3d: DUP2 00000b3e: DUP2 00000b3f: MSTORE 00000b40: PUSH1 0x01 00000b42: SWAP5 00000b43: DUP6 00000b44: ADD 00000b45: PUSH1 0x20 00000b47: SWAP1 00000b48: DUP2 00000b49: MSTORE 00000b4a: PUSH1 0x40 00000b4c: DUP3 00000b4d: KECCAK256 00000b4e: DUP7 00000b4f: ADD 00000b50: DUP6 00000b51: SWAP1 00000b52: SSTORE 00000b53: SWAP5 00000b54: DUP5 00000b55: ADD 00000b56: DUP4 00000b57: SSTORE 00000b58: SWAP2 00000b59: DUP3 00000b5a: MSTORE 00000b5b: SWAP3 00000b5c: SWAP1 00000b5d: KECCAK256 00000b5e: ADD 00000b5f: DUP1 00000b60: SLOAD 00000b61: PUSH1 0x01 00000b63: PUSH1 0x01 00000b65: PUSH1 0xa0 00000b67: SHL 00000b68: SUB 00000b69: NOT 00000b6a: AND 00000b6b: SWAP1 00000b6c: SWAP2 00000b6d: OR 00000b6e: SWAP1 00000b6f: SSTORE 00000b70: JUMP 00000b71: JUMPDEST 00000b72: PUSH1 0x01 00000b74: PUSH1 0x01 00000b76: PUSH1 0xe0 00000b78: SHL 00000b79: SUB 00000b7a: NOT 00000b7b: DUP4 00000b7c: AND 00000b7d: PUSH1 0x00 00000b7f: DUP2 00000b80: DUP2 00000b81: MSTORE 00000b82: PUSH1 0x20 00000b84: DUP7 00000b85: DUP2 00000b86: MSTORE 00000b87: PUSH1 0x40 00000b89: DUP1 00000b8a: DUP4 00000b8b: KECCAK256 00000b8c: DUP1 00000b8d: SLOAD 00000b8e: PUSH1 0x01 00000b90: PUSH1 0x01 00000b92: PUSH1 0x60 00000b94: SHL 00000b95: SUB 00000b96: SWAP1 00000b97: SWAP8 00000b98: AND 00000b99: PUSH1 0x01 00000b9b: PUSH1 0xa0 00000b9d: SHL 00000b9e: MUL 00000b9f: PUSH1 0x01 00000ba1: PUSH1 0x01 00000ba3: PUSH1 0xa0 00000ba5: SHL 00000ba6: SUB 00000ba7: SWAP8 00000ba8: DUP9 00000ba9: AND 00000baa: OR 00000bab: DUP2 00000bac: SSTORE 00000bad: SWAP5 00000bae: SWAP1 00000baf: SWAP6 00000bb0: AND 00000bb1: DUP1 00000bb2: DUP4 00000bb3: MSTORE 00000bb4: PUSH1 0x01 00000bb6: DUP1 00000bb7: DUP10 00000bb8: ADD 00000bb9: DUP4 00000bba: MSTORE 00000bbb: SWAP6 00000bbc: DUP4 00000bbd: KECCAK256 00000bbe: DUP1 00000bbf: SLOAD 00000bc0: SWAP7 00000bc1: DUP8 00000bc2: ADD 00000bc3: DUP2 00000bc4: SSTORE 00000bc5: DUP4 00000bc6: MSTORE 00000bc7: DUP2 00000bc8: DUP4 00000bc9: KECCAK256 00000bca: PUSH1 0x08 00000bcc: DUP8 00000bcd: DIV 00000bce: ADD 00000bcf: DUP1 00000bd0: SLOAD 00000bd1: PUSH1 0xe0 00000bd3: SWAP9 00000bd4: SWAP1 00000bd5: SWAP9 00000bd6: SHR 00000bd7: PUSH1 0x04 00000bd9: PUSH1 0x07 00000bdb: SWAP1 00000bdc: SWAP9 00000bdd: AND 00000bde: SWAP8 00000bdf: SWAP1 00000be0: SWAP8 00000be1: MUL 00000be2: PUSH2 0x0100 00000be5: EXP 00000be6: SWAP7 00000be7: DUP8 00000be8: MUL 00000be9: PUSH4 0xffffffff 00000bee: SWAP1 00000bef: SWAP8 00000bf0: MUL 00000bf1: NOT 00000bf2: SWAP1 00000bf3: SWAP8 00000bf4: AND 00000bf5: SWAP6 00000bf6: SWAP1 00000bf7: SWAP6 00000bf8: OR 00000bf9: SWAP1 00000bfa: SWAP6 00000bfb: SSTORE 00000bfc: MSTORE 00000bfd: SWAP3 00000bfe: SWAP1 00000bff: SWAP2 00000c00: MSTORE 00000c01: DUP2 00000c02: SLOAD 00000c03: PUSH1 0x01 00000c05: PUSH1 0x01 00000c07: PUSH1 0xa0 00000c09: SHL 00000c0a: SUB 00000c0b: NOT 00000c0c: AND 00000c0d: OR 00000c0e: SWAP1 00000c0f: SSTORE 00000c10: JUMP 00000c11: JUMPDEST 00000c12: PUSH1 0x01 00000c14: PUSH1 0x01 00000c16: PUSH1 0xa0 00000c18: SHL 00000c19: SUB 00000c1a: DUP3 00000c1b: AND 00000c1c: PUSH2 0x0c8d 00000c1f: JUMPI 00000c20: PUSH1 0x40 00000c22: MLOAD 00000c23: PUSH3 0x461bcd 00000c27: PUSH1 0xe5 00000c29: SHL 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x20 00000c2e: PUSH1 0x04 00000c30: DUP3 00000c31: ADD 00000c32: MSTORE 00000c33: PUSH1 0x37 00000c35: PUSH1 0x24 00000c37: DUP3 00000c38: ADD 00000c39: MSTORE 00000c3a: PUSH32 0x4c69624469616d6f6e644375743a2043616e27742072656d6f76652066756e63 00000c5b: PUSH1 0x44 00000c5d: DUP3 00000c5e: ADD 00000c5f: MSTORE 00000c60: PUSH32 0x74696f6e207468617420646f65736e2774206578697374000000000000000000 00000c81: PUSH1 0x64 00000c83: DUP3 00000c84: ADD 00000c85: MSTORE 00000c86: PUSH1 0x84 00000c88: ADD 00000c89: PUSH2 0x0089 00000c8c: JUMP 00000c8d: JUMPDEST 00000c8e: ADDRESS 00000c8f: PUSH1 0x01 00000c91: PUSH1 0x01 00000c93: PUSH1 0xa0 00000c95: SHL 00000c96: SUB 00000c97: DUP4 00000c98: AND 00000c99: SUB 00000c9a: PUSH2 0x0cfc 00000c9d: JUMPI 00000c9e: PUSH1 0x40 00000ca0: MLOAD 00000ca1: PUSH3 0x461bcd 00000ca5: PUSH1 0xe5 00000ca7: SHL 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x20 00000cac: PUSH1 0x04 00000cae: DUP3 00000caf: ADD 00000cb0: MSTORE 00000cb1: PUSH1 0x2e 00000cb3: PUSH1 0x24 00000cb5: DUP3 00000cb6: ADD 00000cb7: MSTORE 00000cb8: PUSH32 0x4c69624469616d6f6e644375743a2043616e27742072656d6f766520696d6d75 00000cd9: PUSH1 0x44 00000cdb: DUP3 00000cdc: ADD 00000cdd: MSTORE 00000cde: PUSH14 0x3a30b1363290333ab731ba34b7b7 00000ced: PUSH1 0x91 00000cef: SHL 00000cf0: PUSH1 0x64 00000cf2: DUP3 00000cf3: ADD 00000cf4: MSTORE 00000cf5: PUSH1 0x84 00000cf7: ADD 00000cf8: PUSH2 0x0089 00000cfb: JUMP 00000cfc: JUMPDEST 00000cfd: PUSH1 0x01 00000cff: PUSH1 0x01 00000d01: PUSH1 0xe0 00000d03: SHL 00000d04: SUB 00000d05: NOT 00000d06: DUP2 00000d07: AND 00000d08: PUSH1 0x00 00000d0a: SWAP1 00000d0b: DUP2 00000d0c: MSTORE 00000d0d: PUSH1 0x20 00000d0f: DUP5 00000d10: DUP2 00000d11: MSTORE 00000d12: PUSH1 0x40 00000d14: DUP1 00000d15: DUP4 00000d16: KECCAK256 00000d17: SLOAD 00000d18: PUSH1 0x01 00000d1a: PUSH1 0x01 00000d1c: PUSH1 0xa0 00000d1e: SHL 00000d1f: SUB 00000d20: DUP7 00000d21: AND 00000d22: DUP5 00000d23: MSTORE 00000d24: PUSH1 0x01 00000d26: DUP1 00000d27: DUP9 00000d28: ADD 00000d29: SWAP1 00000d2a: SWAP4 00000d2b: MSTORE 00000d2c: SWAP1 00000d2d: DUP4 00000d2e: KECCAK256 00000d2f: SLOAD 00000d30: PUSH1 0x01 00000d32: PUSH1 0xa0 00000d34: SHL 00000d35: SWAP1 00000d36: SWAP2 00000d37: DIV 00000d38: PUSH1 0x01 00000d3a: PUSH1 0x01 00000d3c: PUSH1 0x60 00000d3e: SHL 00000d3f: SUB 00000d40: AND 00000d41: SWAP3 00000d42: SWAP2 00000d43: PUSH2 0x0d4b 00000d46: SWAP2 00000d47: PUSH2 0x125a 00000d4a: JUMP 00000d4b: JUMPDEST 00000d4c: SWAP1 00000d4d: POP 00000d4e: DUP1 00000d4f: DUP3 00000d50: EQ 00000d51: PUSH2 0x0e3d 00000d54: JUMPI 00000d55: PUSH1 0x01 00000d57: PUSH1 0x01 00000d59: PUSH1 0xa0 00000d5b: SHL 00000d5c: SUB 00000d5d: DUP5 00000d5e: AND 00000d5f: PUSH1 0x00 00000d61: SWAP1 00000d62: DUP2 00000d63: MSTORE 00000d64: PUSH1 0x01 00000d66: DUP7 00000d67: ADD 00000d68: PUSH1 0x20 00000d6a: MSTORE 00000d6b: PUSH1 0x40 00000d6d: DUP2 00000d6e: KECCAK256 00000d6f: DUP1 00000d70: SLOAD 00000d71: DUP4 00000d72: SWAP1 00000d73: DUP2 00000d74: LT 00000d75: PUSH2 0x0d80 00000d78: JUMPI 00000d79: PUSH2 0x0d80 00000d7c: PUSH2 0x113b 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH1 0x00 00000d83: SWAP2 00000d84: DUP3 00000d85: MSTORE 00000d86: PUSH1 0x20 00000d88: DUP1 00000d89: DUP4 00000d8a: KECCAK256 00000d8b: PUSH1 0x08 00000d8d: DUP4 00000d8e: DIV 00000d8f: ADD 00000d90: SLOAD 00000d91: PUSH1 0x01 00000d93: PUSH1 0x01 00000d95: PUSH1 0xa0 00000d97: SHL 00000d98: SUB 00000d99: DUP10 00000d9a: AND 00000d9b: DUP5 00000d9c: MSTORE 00000d9d: PUSH1 0x01 00000d9f: DUP11 00000da0: ADD 00000da1: SWAP1 00000da2: SWAP2 00000da3: MSTORE 00000da4: PUSH1 0x40 00000da6: SWAP1 00000da7: SWAP3 00000da8: KECCAK256 00000da9: DUP1 00000daa: SLOAD 00000dab: PUSH1 0x07 00000dad: SWAP1 00000dae: SWAP3 00000daf: AND 00000db0: PUSH1 0x04 00000db2: MUL 00000db3: PUSH2 0x0100 00000db6: EXP 00000db7: SWAP1 00000db8: SWAP3 00000db9: DIV 00000dba: PUSH1 0xe0 00000dbc: SHL 00000dbd: SWAP3 00000dbe: POP 00000dbf: DUP3 00000dc0: SWAP2 00000dc1: SWAP1 00000dc2: DUP6 00000dc3: SWAP1 00000dc4: DUP2 00000dc5: LT 00000dc6: PUSH2 0x0dd1 00000dc9: JUMPI 00000dca: PUSH2 0x0dd1 00000dcd: PUSH2 0x113b 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: PUSH1 0x00 00000dd4: SWAP2 00000dd5: DUP3 00000dd6: MSTORE 00000dd7: PUSH1 0x20 00000dd9: DUP1 00000dda: DUP4 00000ddb: KECCAK256 00000ddc: PUSH1 0x08 00000dde: DUP4 00000ddf: DIV 00000de0: ADD 00000de1: DUP1 00000de2: SLOAD 00000de3: PUSH4 0xffffffff 00000de8: PUSH1 0x07 00000dea: SWAP1 00000deb: SWAP5 00000dec: AND 00000ded: PUSH1 0x04 00000def: MUL 00000df0: PUSH2 0x0100 00000df3: EXP 00000df4: SWAP4 00000df5: DUP5 00000df6: MUL 00000df7: NOT 00000df8: AND 00000df9: PUSH1 0xe0 00000dfb: SWAP6 00000dfc: SWAP1 00000dfd: SWAP6 00000dfe: SHR 00000dff: SWAP3 00000e00: SWAP1 00000e01: SWAP3 00000e02: MUL 00000e03: SWAP4 00000e04: SWAP1 00000e05: SWAP4 00000e06: OR 00000e07: SWAP1 00000e08: SSTORE 00000e09: PUSH1 0x01 00000e0b: PUSH1 0x01 00000e0d: PUSH1 0xe0 00000e0f: SHL 00000e10: SUB 00000e11: NOT 00000e12: SWAP3 00000e13: SWAP1 00000e14: SWAP3 00000e15: AND 00000e16: DUP3 00000e17: MSTORE 00000e18: DUP7 00000e19: SWAP1 00000e1a: MSTORE 00000e1b: PUSH1 0x40 00000e1d: SWAP1 00000e1e: KECCAK256 00000e1f: DUP1 00000e20: SLOAD 00000e21: PUSH1 0x01 00000e23: PUSH1 0x01 00000e25: PUSH1 0xa0 00000e27: SHL 00000e28: SUB 00000e29: AND 00000e2a: PUSH1 0x01 00000e2c: PUSH1 0xa0 00000e2e: SHL 00000e2f: PUSH1 0x01 00000e31: PUSH1 0x01 00000e33: PUSH1 0x60 00000e35: SHL 00000e36: SUB 00000e37: DUP6 00000e38: AND 00000e39: MUL 00000e3a: OR 00000e3b: SWAP1 00000e3c: SSTORE 00000e3d: JUMPDEST 00000e3e: PUSH1 0x01 00000e40: PUSH1 0x01 00000e42: PUSH1 0xa0 00000e44: SHL 00000e45: SUB 00000e46: DUP5 00000e47: AND 00000e48: PUSH1 0x00 00000e4a: SWAP1 00000e4b: DUP2 00000e4c: MSTORE 00000e4d: PUSH1 0x01 00000e4f: DUP7 00000e50: ADD 00000e51: PUSH1 0x20 00000e53: MSTORE 00000e54: PUSH1 0x40 00000e56: SWAP1 00000e57: KECCAK256 00000e58: DUP1 00000e59: SLOAD 00000e5a: DUP1 00000e5b: PUSH2 0x0e66 00000e5e: JUMPI 00000e5f: PUSH2 0x0e66 00000e62: PUSH2 0x1273 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH1 0x00 00000e69: DUP3 00000e6a: DUP2 00000e6b: MSTORE 00000e6c: PUSH1 0x20 00000e6e: DUP1 00000e6f: DUP3 00000e70: KECCAK256 00000e71: PUSH1 0x08 00000e73: PUSH1 0x00 00000e75: NOT 00000e76: SWAP1 00000e77: SWAP5 00000e78: ADD 00000e79: SWAP4 00000e7a: DUP5 00000e7b: DIV 00000e7c: ADD 00000e7d: DUP1 00000e7e: SLOAD 00000e7f: PUSH4 0xffffffff 00000e84: PUSH1 0x04 00000e86: PUSH1 0x07 00000e88: DUP8 00000e89: AND 00000e8a: MUL 00000e8b: PUSH2 0x0100 00000e8e: EXP 00000e8f: MUL 00000e90: NOT 00000e91: AND 00000e92: SWAP1 00000e93: SSTORE 00000e94: SWAP2 00000e95: SWAP1 00000e96: SWAP3 00000e97: SSTORE 00000e98: PUSH1 0x01 00000e9a: PUSH1 0x01 00000e9c: PUSH1 0xe0 00000e9e: SHL 00000e9f: SUB 00000ea0: NOT 00000ea1: DUP6 00000ea2: AND 00000ea3: DUP3 00000ea4: MSTORE 00000ea5: DUP7 00000ea6: SWAP1 00000ea7: MSTORE 00000ea8: PUSH1 0x40 00000eaa: DUP2 00000eab: KECCAK256 00000eac: DUP2 00000ead: SWAP1 00000eae: SSTORE 00000eaf: DUP2 00000eb0: SWAP1 00000eb1: SUB 00000eb2: PUSH2 0x0fce 00000eb5: JUMPI 00000eb6: PUSH1 0x02 00000eb8: DUP6 00000eb9: ADD 00000eba: SLOAD 00000ebb: PUSH1 0x00 00000ebd: SWAP1 00000ebe: PUSH2 0x0ec9 00000ec1: SWAP1 00000ec2: PUSH1 0x01 00000ec4: SWAP1 00000ec5: PUSH2 0x125a 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH1 0x01 00000ecc: PUSH1 0x01 00000ece: PUSH1 0xa0 00000ed0: SHL 00000ed1: SUB 00000ed2: DUP7 00000ed3: AND 00000ed4: PUSH1 0x00 00000ed6: SWAP1 00000ed7: DUP2 00000ed8: MSTORE 00000ed9: PUSH1 0x01 00000edb: DUP1 00000edc: DUP10 00000edd: ADD 00000ede: PUSH1 0x20 00000ee0: MSTORE 00000ee1: PUSH1 0x40 00000ee3: SWAP1 00000ee4: SWAP2 00000ee5: KECCAK256 00000ee6: ADD 00000ee7: SLOAD 00000ee8: SWAP1 00000ee9: SWAP2 00000eea: POP 00000eeb: DUP1 00000eec: DUP3 00000eed: EQ 00000eee: PUSH2 0x0f78 00000ef1: JUMPI 00000ef2: PUSH1 0x00 00000ef4: DUP8 00000ef5: PUSH1 0x02 00000ef7: ADD 00000ef8: DUP4 00000ef9: DUP2 00000efa: SLOAD 00000efb: DUP2 00000efc: LT 00000efd: PUSH2 0x0f08 00000f00: JUMPI 00000f01: PUSH2 0x0f08 00000f04: PUSH2 0x113b 00000f07: JUMP 00000f08: JUMPDEST 00000f09: PUSH1 0x00 00000f0b: SWAP2 00000f0c: DUP3 00000f0d: MSTORE 00000f0e: PUSH1 0x20 00000f10: SWAP1 00000f11: SWAP2 00000f12: KECCAK256 00000f13: ADD 00000f14: SLOAD 00000f15: PUSH1 0x02 00000f17: DUP10 00000f18: ADD 00000f19: DUP1 00000f1a: SLOAD 00000f1b: PUSH1 0x01 00000f1d: PUSH1 0x01 00000f1f: PUSH1 0xa0 00000f21: SHL 00000f22: SUB 00000f23: SWAP1 00000f24: SWAP3 00000f25: AND 00000f26: SWAP3 00000f27: POP 00000f28: DUP3 00000f29: SWAP2 00000f2a: DUP5 00000f2b: SWAP1 00000f2c: DUP2 00000f2d: LT 00000f2e: PUSH2 0x0f39 00000f31: JUMPI 00000f32: PUSH2 0x0f39 00000f35: PUSH2 0x113b 00000f38: JUMP 00000f39: JUMPDEST 00000f3a: PUSH1 0x00 00000f3c: SWAP2 00000f3d: DUP3 00000f3e: MSTORE 00000f3f: PUSH1 0x20 00000f41: DUP1 00000f42: DUP4 00000f43: KECCAK256 00000f44: SWAP2 00000f45: SWAP1 00000f46: SWAP2 00000f47: ADD 00000f48: DUP1 00000f49: SLOAD 00000f4a: PUSH1 0x01 00000f4c: PUSH1 0x01 00000f4e: PUSH1 0xa0 00000f50: SHL 00000f51: SUB 00000f52: NOT 00000f53: AND 00000f54: PUSH1 0x01 00000f56: PUSH1 0x01 00000f58: PUSH1 0xa0 00000f5a: SHL 00000f5b: SUB 00000f5c: SWAP5 00000f5d: DUP6 00000f5e: AND 00000f5f: OR 00000f60: SWAP1 00000f61: SSTORE 00000f62: SWAP3 00000f63: SWAP1 00000f64: SWAP2 00000f65: AND 00000f66: DUP2 00000f67: MSTORE 00000f68: PUSH1 0x01 00000f6a: DUP10 00000f6b: DUP2 00000f6c: ADD 00000f6d: SWAP1 00000f6e: SWAP3 00000f6f: MSTORE 00000f70: PUSH1 0x40 00000f72: SWAP1 00000f73: KECCAK256 00000f74: ADD 00000f75: DUP2 00000f76: SWAP1 00000f77: SSTORE 00000f78: JUMPDEST 00000f79: DUP7 00000f7a: PUSH1 0x02 00000f7c: ADD 00000f7d: DUP1 00000f7e: SLOAD 00000f7f: DUP1 00000f80: PUSH2 0x0f8b 00000f83: JUMPI 00000f84: PUSH2 0x0f8b 00000f87: PUSH2 0x1273 00000f8a: JUMP 00000f8b: JUMPDEST 00000f8c: PUSH1 0x00 00000f8e: DUP3 00000f8f: DUP2 00000f90: MSTORE 00000f91: PUSH1 0x20 00000f93: DUP1 00000f94: DUP3 00000f95: KECCAK256 00000f96: DUP4 00000f97: ADD 00000f98: PUSH1 0x00 00000f9a: NOT 00000f9b: SWAP1 00000f9c: DUP2 00000f9d: ADD 00000f9e: DUP1 00000f9f: SLOAD 00000fa0: PUSH1 0x01 00000fa2: PUSH1 0x01 00000fa4: PUSH1 0xa0 00000fa6: SHL 00000fa7: SUB 00000fa8: NOT 00000fa9: AND 00000faa: SWAP1 00000fab: SSTORE 00000fac: SWAP1 00000fad: SWAP3 00000fae: ADD 00000faf: SWAP1 00000fb0: SWAP3 00000fb1: SSTORE 00000fb2: PUSH1 0x01 00000fb4: PUSH1 0x01 00000fb6: PUSH1 0xa0 00000fb8: SHL 00000fb9: SUB 00000fba: DUP9 00000fbb: AND 00000fbc: DUP3 00000fbd: MSTORE 00000fbe: PUSH1 0x01 00000fc0: DUP10 00000fc1: DUP2 00000fc2: ADD 00000fc3: SWAP1 00000fc4: SWAP2 00000fc5: MSTORE 00000fc6: PUSH1 0x40 00000fc8: DUP3 00000fc9: KECCAK256 00000fca: ADD 00000fcb: SSTORE 00000fcc: POP 00000fcd: POP 00000fce: JUMPDEST 00000fcf: POP 00000fd0: POP 00000fd1: POP 00000fd2: POP 00000fd3: POP 00000fd4: JUMP 00000fd5: JUMPDEST 00000fd6: PUSH4 0x4e487b71 00000fdb: PUSH1 0xe0 00000fdd: SHL 00000fde: PUSH1 0x00 00000fe0: MSTORE 00000fe1: PUSH1 0x21 00000fe3: PUSH1 0x04 00000fe5: MSTORE 00000fe6: PUSH1 0x24 00000fe8: PUSH1 0x00 00000fea: REVERT 00000feb: JUMPDEST 00000fec: PUSH1 0x00 00000fee: JUMPDEST 00000fef: DUP4 00000ff0: DUP2 00000ff1: LT 00000ff2: ISZERO 00000ff3: PUSH2 0x1006 00000ff6: JUMPI 00000ff7: DUP2 00000ff8: DUP2 00000ff9: ADD 00000ffa: MLOAD 00000ffb: DUP4 00000ffc: DUP3 00000ffd: ADD 00000ffe: MSTORE 00000fff: PUSH1 0x20 00001001: ADD 00001002: PUSH2 0x0fee 00001005: JUMP 00001006: JUMPDEST 00001007: POP 00001008: POP 00001009: PUSH1 0x00 0000100b: SWAP2 0000100c: ADD 0000100d: MSTORE 0000100e: JUMP 0000100f: JUMPDEST 00001010: PUSH1 0x00 00001012: DUP2 00001013: MLOAD 00001014: DUP1 00001015: DUP5 00001016: MSTORE 00001017: PUSH2 0x1027 0000101a: DUP2 0000101b: PUSH1 0x20 0000101d: DUP7 0000101e: ADD 0000101f: PUSH1 0x20 00001021: DUP7 00001022: ADD 00001023: PUSH2 0x0feb 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH1 0x1f 0000102a: ADD 0000102b: PUSH1 0x1f 0000102d: NOT 0000102e: AND 0000102f: SWAP3 00001030: SWAP1 00001031: SWAP3 00001032: ADD 00001033: PUSH1 0x20 00001035: ADD 00001036: SWAP3 00001037: SWAP2 00001038: POP 00001039: POP 0000103a: JUMP 0000103b: JUMPDEST 0000103c: PUSH1 0x00 0000103e: PUSH1 0x60 00001040: DUP1 00001041: DUP4 00001042: ADD 00001043: DUP2 00001044: DUP5 00001045: MSTORE 00001046: DUP1 00001047: DUP8 00001048: MLOAD 00001049: DUP1 0000104a: DUP4 0000104b: MSTORE 0000104c: PUSH1 0x80 0000104e: SWAP3 0000104f: POP 00001050: DUP3 00001051: DUP7 00001052: ADD 00001053: SWAP2 00001054: POP 00001055: DUP3 00001056: DUP2 00001057: PUSH1 0x05 00001059: SHL 0000105a: DUP8 0000105b: ADD 0000105c: ADD 0000105d: PUSH1 0x20 0000105f: DUP1 00001060: DUP12 00001061: ADD 00001062: PUSH1 0x00 00001064: JUMPDEST 00001065: DUP5 00001066: DUP2 00001067: LT 00001068: ISZERO 00001069: PUSH2 0x110b 0000106c: JUMPI 0000106d: DUP10 0000106e: DUP5 0000106f: SUB 00001070: PUSH1 0x7f 00001072: NOT 00001073: ADD 00001074: DUP7 00001075: MSTORE 00001076: DUP2 00001077: MLOAD 00001078: DUP1 00001079: MLOAD 0000107a: PUSH1 0x01 0000107c: PUSH1 0x01 0000107e: PUSH1 0xa0 00001080: SHL 00001081: SUB 00001082: AND 00001083: DUP6 00001084: MSTORE 00001085: DUP4 00001086: DUP2 00001087: ADD 00001088: MLOAD 00001089: DUP10 0000108a: DUP7 0000108b: ADD 0000108c: SWAP1 0000108d: PUSH1 0x03 0000108f: DUP2 00001090: LT 00001091: PUSH2 0x10aa 00001094: JUMPI 00001095: PUSH4 0x4e487b71 0000109a: PUSH1 0xe0 0000109c: SHL 0000109d: PUSH1 0x00 0000109f: MSTORE 000010a0: PUSH1 0x21 000010a2: PUSH1 0x04 000010a4: MSTORE 000010a5: PUSH1 0x24 000010a7: PUSH1 0x00 000010a9: REVERT 000010aa: JUMPDEST 000010ab: DUP7 000010ac: DUP7 000010ad: ADD 000010ae: MSTORE 000010af: PUSH1 0x40 000010b1: SWAP2 000010b2: DUP3 000010b3: ADD 000010b4: MLOAD 000010b5: SWAP2 000010b6: DUP7 000010b7: ADD 000010b8: DUP11 000010b9: SWAP1 000010ba: MSTORE 000010bb: DUP2 000010bc: MLOAD 000010bd: SWAP1 000010be: DUP2 000010bf: SWAP1 000010c0: MSTORE 000010c1: SWAP1 000010c2: DUP5 000010c3: ADD 000010c4: SWAP1 000010c5: PUSH1 0x00 000010c7: SWAP1 000010c8: DUP10 000010c9: DUP8 000010ca: ADD 000010cb: SWAP1 000010cc: JUMPDEST 000010cd: DUP1 000010ce: DUP4 000010cf: LT 000010d0: ISZERO 000010d1: PUSH2 0x10f6 000010d4: JUMPI 000010d5: DUP4 000010d6: MLOAD 000010d7: PUSH1 0x01 000010d9: PUSH1 0x01 000010db: PUSH1 0xe0 000010dd: SHL 000010de: SUB 000010df: NOT 000010e0: AND 000010e1: DUP3 000010e2: MSTORE 000010e3: SWAP3 000010e4: DUP7 000010e5: ADD 000010e6: SWAP3 000010e7: PUSH1 0x01 000010e9: SWAP3 000010ea: SWAP1 000010eb: SWAP3 000010ec: ADD 000010ed: SWAP2 000010ee: SWAP1 000010ef: DUP7 000010f0: ADD 000010f1: SWAP1 000010f2: PUSH2 0x10cc 000010f5: JUMP 000010f6: JUMPDEST 000010f7: POP 000010f8: SWAP8 000010f9: DUP6 000010fa: ADD 000010fb: SWAP8 000010fc: SWAP6 000010fd: POP 000010fe: POP 000010ff: POP 00001100: SWAP1 00001101: DUP3 00001102: ADD 00001103: SWAP1 00001104: PUSH1 0x01 00001106: ADD 00001107: PUSH2 0x1064 0000110a: JUMP 0000110b: JUMPDEST 0000110c: POP 0000110d: POP 0000110e: PUSH1 0x01 00001110: PUSH1 0x01 00001112: PUSH1 0xa0 00001114: SHL 00001115: SUB 00001116: DUP11 00001117: AND 00001118: SWAP1 00001119: DUP9 0000111a: ADD 0000111b: MSTORE 0000111c: DUP7 0000111d: DUP2 0000111e: SUB 0000111f: PUSH1 0x40 00001121: DUP9 00001122: ADD 00001123: MSTORE 00001124: PUSH2 0x112d 00001127: DUP2 00001128: DUP10 00001129: PUSH2 0x100f 0000112c: JUMP 0000112d: JUMPDEST 0000112e: SWAP11 0000112f: SWAP10 00001130: POP 00001131: POP 00001132: POP 00001133: POP 00001134: POP 00001135: POP 00001136: POP 00001137: POP 00001138: POP 00001139: POP 0000113a: JUMP 0000113b: JUMPDEST 0000113c: PUSH4 0x4e487b71 00001141: PUSH1 0xe0 00001143: SHL 00001144: PUSH1 0x00 00001146: MSTORE 00001147: PUSH1 0x32 00001149: PUSH1 0x04 0000114b: MSTORE 0000114c: PUSH1 0x24 0000114e: PUSH1 0x00 00001150: REVERT 00001151: JUMPDEST 00001152: PUSH1 0x00 00001154: DUP3 00001155: MLOAD 00001156: PUSH2 0x1163 00001159: DUP2 0000115a: DUP5 0000115b: PUSH1 0x20 0000115d: DUP8 0000115e: ADD 0000115f: PUSH2 0x0feb 00001162: JUMP 00001163: JUMPDEST 00001164: SWAP2 00001165: SWAP1 00001166: SWAP2 00001167: ADD 00001168: SWAP3 00001169: SWAP2 0000116a: POP 0000116b: POP 0000116c: JUMP 0000116d: JUMPDEST 0000116e: PUSH1 0x20 00001170: DUP2 00001171: MSTORE 00001172: PUSH1 0x00 00001174: PUSH2 0x1180 00001177: PUSH1 0x20 00001179: DUP4 0000117a: ADD 0000117b: DUP5 0000117c: PUSH2 0x100f 0000117f: JUMP 00001180: JUMPDEST 00001181: SWAP4 00001182: SWAP3 00001183: POP 00001184: POP 00001185: POP 00001186: JUMP 00001187: JUMPDEST 00001188: PUSH1 0x20 0000118a: DUP1 0000118b: DUP3 0000118c: MSTORE 0000118d: PUSH1 0x2b 0000118f: SWAP1 00001190: DUP3 00001191: ADD 00001192: MSTORE 00001193: PUSH32 0x4c69624469616d6f6e644375743a204e6f2073656c6563746f727320696e2066 000011b4: PUSH1 0x40 000011b6: DUP3 000011b7: ADD 000011b8: MSTORE 000011b9: PUSH11 0x1858d95d081d1bc818dd5d 000011c5: PUSH1 0xaa 000011c7: SHL 000011c8: PUSH1 0x60 000011ca: DUP3 000011cb: ADD 000011cc: MSTORE 000011cd: PUSH1 0x80 000011cf: ADD 000011d0: SWAP1 000011d1: JUMP 000011d2: JUMPDEST 000011d3: PUSH1 0x20 000011d5: DUP1 000011d6: DUP3 000011d7: MSTORE 000011d8: PUSH1 0x2c 000011da: SWAP1 000011db: DUP3 000011dc: ADD 000011dd: MSTORE 000011de: PUSH32 0x4c69624469616d6f6e644375743a204164642066616365742063616e27742062 000011ff: PUSH1 0x40 00001201: DUP3 00001202: ADD 00001203: MSTORE 00001204: PUSH12 0x652061646472657373283029 00001211: PUSH1 0xa0 00001213: SHL 00001214: PUSH1 0x60 00001216: DUP3 00001217: ADD 00001218: MSTORE 00001219: PUSH1 0x80 0000121b: ADD 0000121c: SWAP1 0000121d: JUMP 0000121e: JUMPDEST 0000121f: PUSH4 0x4e487b71 00001224: PUSH1 0xe0 00001226: SHL 00001227: PUSH1 0x00 00001229: MSTORE 0000122a: PUSH1 0x11 0000122c: PUSH1 0x04 0000122e: MSTORE 0000122f: PUSH1 0x24 00001231: PUSH1 0x00 00001233: REVERT 00001234: JUMPDEST 00001235: PUSH1 0x00 00001237: PUSH1 0x01 00001239: PUSH1 0x01 0000123b: PUSH1 0x60 0000123d: SHL 0000123e: SUB 0000123f: DUP1 00001240: DUP4 00001241: AND 00001242: DUP2 00001243: DUP2 00001244: SUB 00001245: PUSH2 0x1250 00001248: JUMPI 00001249: PUSH2 0x1250 0000124c: PUSH2 0x121e 0000124f: JUMP 00001250: JUMPDEST 00001251: PUSH1 0x01 00001253: ADD 00001254: SWAP4 00001255: SWAP3 00001256: POP 00001257: POP 00001258: POP 00001259: JUMP 0000125a: JUMPDEST 0000125b: DUP2 0000125c: DUP2 0000125d: SUB 0000125e: DUP2 0000125f: DUP2 00001260: GT 00001261: ISZERO 00001262: PUSH2 0x126d 00001265: JUMPI 00001266: PUSH2 0x126d 00001269: PUSH2 0x121e 0000126c: JUMP 0000126d: JUMPDEST 0000126e: SWAP3 0000126f: SWAP2 00001270: POP 00001271: POP 00001272: JUMP 00001273: JUMPDEST 00001274: PUSH4 0x4e487b71 00001279: PUSH1 0xe0 0000127b: SHL 0000127c: PUSH1 0x00 0000127e: MSTORE 0000127f: PUSH1 0x31 00001281: PUSH1 0x04 00001283: MSTORE 00001284: PUSH1 0x24 00001286: PUSH1 0x00 00001288: REVERT 00001289: INVALID 0000128a: UNKNOWN(0xC8) 0000128b: UNKNOWN(0xFC) 0000128c: UNKNOWN(0xAD) 0000128d: DUP14 0000128e: UNKNOWN(0xB8) 0000128f: UNKNOWN(0x4D) 00001290: EXTCODECOPY 00001291: UNKNOWN(0xC1) 00001292: DUP12 00001293: UNKNOWN(0x4C) 00001294: COINBASE 00001295: UNKNOWN(0xD5) 00001296: MLOAD 00001297: UNKNOWN(0xEA) 00001298: UNKNOWN(0x0E) 00001299: UNKNOWN(0xE6) 0000129a: PUSH14 0xd599cde068d998e57d5e09332c13 000012a9: SHR 000012aa: UNKNOWN(0x4C) 000012ab: PUSH10 0x624469616d6f6e644375 000012b6: PUSH21 0x3a205f696e6974206164647265737320686173206e 000012cc: PUSH16 0x20636f64654c69624469616d6f6e6443 000012dd: PUSH22 0x743a204e657720666163657420686173206e6f20636f 000012f4: PUSH5 0x65a2646970 000012fa: PUSH7 0x73582212203b1f 00001302: UNKNOWN(0x4E) 00001303: UNKNOWN(0xD6) 00001304: GAS 00001305: PUSH12 0xab0f6c2f33b7eaa1e2b89284 00001312: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewvalidation_json{
"sink": "DELEGATECALL",
"errors": 10,
"status": "unknown",
"attempts": 11,
"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": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 160,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1393,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 2
}
|