301d1918-69c5-437b-a2f8-854e87d53b6f
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 |
|---|---|---|---|---|
| 31397 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 111380 | artifact.fetch | complete | 1 / 3 | 1 week ago |
| 111381 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 111382 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 111383 | capability.graph | complete | 1 / 3 | 1 week ago |
| 111384 | detector.run | complete | 1 / 3 | 1 week ago |
| 111385 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:253405] OpenAI Codex v0.77.0 (research preview)
[codex:253405] --------
[codex:253405] workdir: /tmp/codex-multi-nt4y66tg
[codex:253405] model: gpt-5.2-codex
[codex:253405] provider: openai
[codex:253405] approval: never
[codex:253405] sandbox: read-only
[codex:253405] reasoning effort: xhigh
[codex:253405] reasoning summaries: auto
[codex:253405] session id: 019b812e-6fb0-7f82-b7d8-1c367f1e8d97
[codex:253405] --------
[codex:253405] user
[codex:253405] You are a profit-focused exploit hunter analyzing EVM bytecode. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:253405]
[codex:253405] Read `BYTECODE_BUNDLE.txt` completely before concluding.
[codex:253405]
[codex:253405] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:253405] - Gas inefficiency, code quality, or best practices
[codex:253405] - Theoretical vulnerabilities without a clear extraction path
[codex:253405] - Generic footguns (unchecked return values, etc.) unless they enable theft
[codex:253405] - Issues requiring social engineering or off-chain coordination
[codex:253405]
[codex:253405] PATTERNS WORTH INVESTIGATING in bytecode:
[codex:253405] - CALL/DELEGATECALL with controllable destination or calldata
[codex:253405] - Value transfers (CALL with non-zero value) without prior CALLER/ORIGIN checks
[codex:253405] - SSTORE to low slots (0-10) that might be owner/admin storage
[codex:253405] - ecrecover (signature validation) - look for missing nonce/replay protection
[codex:253405] - External calls before state updates (reentrancy)
[codex:253405] - SELFDESTRUCT with controllable beneficiary
[codex:253405] - Proxy patterns (DELEGATECALL to storage slot) with unprotected upgrade paths
[codex:253405]
[codex:253405] For each finding, you MUST explain:
[codex:253405] 1. The specific bytecode pattern/offsets that indicate the vulnerability
[codex:253405] 2. The concrete sequence of transactions to extract value
[codex:253405] 3. Why you believe this is exploitable (not just suspicious)
[codex:253405]
[codex:253405] If you cannot identify a concrete profit path from bytecode alone: set no_findings=true.
[codex:253405] Do NOT hallucinate. Bytecode-only analysis is limited - be honest about uncertainty.
[codex:253405]
[codex:253405] Output MUST be valid JSON matching the provided schema.
[codex:253405] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:253405] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:253405] mcp startup: no servers
[codex:253405]
[codex:253405] thinking
[codex:253405] **Reading BYTECODE_BUNDLE.txt**
[codex:253405] exec
[codex:253405] /bin/bash -lc ls in /tmp/codex-multi-nt4y66tg succeeded in 6ms:
[codex:253405] BYTECODE_BUNDLE.txt
[codex:253405] codex-output-schema.json
[codex:253405] exec
[codex:253405] /bin/bash -lc 'cat BYTECODE_BUNDLE.txt' in /tmp/codex-multi-nt4y66tg succeeded in 5ms:
[codex:253405] Runtime bytecode bundle for best-effort auditing.
[codex:253405] Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:253405]
[codex:253405] FILE: runtime_bytecode.hex
[codex:253405] 0x6060604052600436106101035763ffffffff60e060020a6000350416630be479e1811461016957806314614af91461017e57806317f708fb1461019c57806319f363bc146101af5780632b55b792146101c65780632d923501146101e55780632e1a7d4d146102105780634d5a8e101461022657806354fd4d50146102555780637c422f1d1461028c578063853828b6146102bf57806389fb8a48146102d25780639aae82c1146102e8578063a9cc471814610307578063c0ee0b8a1461031a578063c2fbe7bc14610349578063d0e30db01461036e578063d3c4c4d014610376578063def86cbb146103a0578063f91c7ca3146103ca578063fffe58a2146103ee575b736683ab42aacec410d74ee1801bb89b39b6aeefbe636c2802e8600060405160e060020a63ffffffff8416028152600481019190915260240160006040518083038186803b151561015357600080fd5b6102c65a03f4151561016457600080fd5b505050005b341561017457600080fd5b61017c61040c565b005b61017c600160a060020a036004358116906024359060443516610472565b34156101a757600080fd5b61017c6104fc565b61017c600435600160a060020a036024351661054c565b34156101d157600080fd5b61017c600160a060020a03600435166105cc565b34156101f057600080fd5b61017c60048035600160a060020a03169060248035908101910135610669565b341561021b57600080fd5b61017c600435610731565b341561023157600080fd5b61017c60048035600160a060020a031690602480359160443591820191013561079e565b341561026057600080fd5b610268610846565b60405180848152602001838152602001828152602001935050505060405180910390f35b341561029757600080fd5b61017c60048035600160a060020a0316906024803591604435916064359081019101356108cc565b34156102ca57600080fd5b61017c61097e565b34156102dd57600080fd5b61017c6004356109ce565b34156102f357600080fd5b61017c600160a060020a0360043516610a24565b341561031257600080fd5b61017c610a83565b341561032557600080fd5b61017c60048035600160a060020a0316906024803591604435918201910135610ad3565b341561035457600080fd5b61035c610b61565b60405190815260200160405180910390f35b61017c610bd9565b341561038157600080fd5b61017c6004803590602480359160443591606435908101910135610c29565b34156103ab57600080fd5b61017c6024600480358281019290820135918135918201910135610cb8565b34156103d557600080fd5b61017c600160a060020a03600435166024351515610d52565b34156103f957600080fd5b61017c6004803560248101910135610dbb565b736683ab42aacec410d74ee1801bb89b39b6aeefbe63113da5d9600060405160e060020a63ffffffff8416028152600481019190915260240160006040518083038186803b151561045c57600080fd5b6102c65a03f4151561046d57600080fd5b505050565b736683ab42aacec410d74ee1801bb89b39b6aeefbe634afcba30600085858560405160e060020a63ffffffff87160281526004810194909452600160a060020a039283166024850152604484019190915216606482015260840160006040518083038186803b15156104e357600080fd5b6102c65a03f415156104f457600080fd5b505050505050565b736683ab42aacec410d74ee1801bb89b39b6aeefbe637c6a8a68600060405160e060020a63ffffffff8416028152600481019190915260240160006040518083038186803b151561045c57600080fd5b736683ab42aacec410d74ee1801bb89b39b6aeefbe632fb2c6d26000848460405160e060020a63ffffffff861602815260048101939093526024830191909152600160a060020a0316604482015260640160006040518083038186803b15156105b457600080fd5b6102c65a03f415156105c557600080fd5b5050505050565b60135460ff16156105dc57600080fd5b6013805460ff19166001179055736683ab42aacec410d74ee1801bb89b39b6aeefbe6380b8871c60008360405160e060020a63ffffffff85160281526004810192909252600160a060020a0316602482015260440160006040518083038186803b151561064857600080fd5b6102c65a03f4151561065957600080fd5b50506013805460ff191690555050565b60135460ff161561067957600080fd5b6013805460ff19166001179055736683ab42aacec410d74ee1801bb89b39b6aeefbe63392a4fa2600085858560405160e060020a63ffffffff871602815260048101858152600160a060020a038516602483015260606044830190815260648301849052909160840184602085028082843782019150509550505050505060006040518083038186803b151561070e57600080fd5b6102c65a03f4151561071f57600080fd5b50506013805460ff1916905550505050565b736683ab42aacec410d74ee1801bb89b39b6aeefbe63f522fc1b60008360405160e060020a63ffffffff85160281526004810192909252602482015260440160006040518083038186803b151561078757600080fd5b6102c65a03f4151561079857600080fd5b50505050565b736683ab42aacec410d74ee1801bb89b39b6aeefbe63512b893f60008686868660405160e060020a63ffffffff881602815260048101868152600160a060020a03861660248301526044820185905260806064830190815260848301849052909160a4018484808284378201915050965050505050505060006040518083038186803b151561082c57600080fd5b6102c65a03f4151561083d57600080fd5b50505050505050565b6000806000736683ab42aacec410d74ee1801bb89b39b6aeefbe6354fd4d506000604051606001526040518163ffffffff1660e060020a02815260040160606040518083038186803b151561089a57600080fd5b6102c65a03f415156108ab57600080fd5b50505060405180519060200180519060200180519050925092509250909192565b736683ab42aacec410d74ee1801bb89b39b6aeefbe63b261039b6000878787878760405160e060020a63ffffffff891602815260048101878152600160a060020a0387166024830152604482018690526064820185905260a06084830190815260a48301849052909160c401848480828437820191505097505050505050505060006040518083038186803b151561096357600080fd5b6102c65a03f4151561097457600080fd5b5050505050505050565b736683ab42aacec410d74ee1801bb89b39b6aeefbe63f64e7cda600060405160e060020a63ffffffff8416028152600481019190915260240160006040518083038186803b151561045c57600080fd5b736683ab42aacec410d74ee1801bb89b39b6aeefbe6368540b6b60008360405160e060020a63ffffffff85160281526004810192909252602482015260440160006040518083038186803b151561078757600080fd5b736683ab42aacec410d74ee1801bb89b39b6aeefbe63c27d2d4560008360405160e060020a63ffffffff85160281526004810192909252600160a060020a0316602482015260440160006040518083038186803b151561078757600080fd5b736683ab42aacec410d74ee1801bb89b39b6aeefbe6362cea5b9600060405160e060020a63ffffffff8416028152600481019190915260240160006040518083038186803b151561045c57600080fd5b736683ab42aacec410d74ee1801bb89b39b6aeefbe63dde9806b60008686868660405160e060020a63ffffffff881602815260048101868152600160a060020a03861660248301526044820185905260806064830190815260848301849052909160a4018484808284378201915050965050505050505060006040518083038186803b151561082c57600080fd5b6000736683ab42aacec410d74ee1801bb89b39b6aeefbe63e8603f0982806040516020015260405160e060020a63ffffffff8416028152600481019190915260240160206040518083038186803b1515610bba57600080fd5b6102c65a03f41515610bcb57600080fd5b505050604051805190505090565b736683ab42aacec410d74ee1801bb89b39b6aeefbe63cc135813600060405160e060020a63ffffffff8416028152600481019190915260240160006040518083038186803b151561045c57600080fd5b736683ab42aacec410d74ee1801bb89b39b6aeefbe632006b39d600087878787876040518763ffffffff1660e060020a02815260040180878152602001868152602001858152602001848152602001806020018281038252848482818152602001925060200280828437820191505097505050505050505060006040518083038186803b151561096357600080fd5b736683ab42aacec410d74ee1801bb89b39b6aeefbe63536b7ad56000868686866040518663ffffffff1660e060020a02815260040180868152602001806020018060200183810383528787828181526020019250602002808284379091018481038352858152602090810191508690860280828437820191505097505050505050505060006040518083038186803b151561082c57600080fd5b736683ab42aacec410d74ee1801bb89b39b6aeefbe63663eb9946000848460405160e060020a63ffffffff86160281526004810193909352600160a060020a0390911660248301521515604482015260640160006040518083038186803b15156105b457600080fd5b736683ab42aacec410d74ee1801bb89b39b6aeefbe63d4d357c06000848460405160e060020a63ffffffff861602815260048101848152604060248301908152604483018490529091606401846020850280828437820191505094505050505060006040518083038186803b15156105b457600080fd00a165627a7a723058203ddce2e3811a517c2d71a2a9b51a34ce6f47d3e248677cefebd53723bde8c6260029
[codex:253405]
[codex:253405] thinking
[codex:253405] **Analyzing proxy bytecode for exploits**
[codex:253405]
[codex:253405] I’m unraveling a contract that acts like a proxy forwarding calls to a fixed external address, mainly via delegatecall and call. While it has payable functions and typical proxy patterns, without the code of the referenced contract, I can’t identify a concrete exploit or profit path just from this bytecode. I’m confirming there’s no selfdestruct or obvious vulnerabilities here, so the safest conclusion is no findings. I’ll prepare a JSON summary reflecting that.
[codex:253405] codex
[codex:253405] {"no_findings":true,"summary":"No concrete, exploitable profit path is evident from the provided bytecode alone; the contract appears to forward calls to a fixed external address without any clearly controllable value-transfer, selfdestruct, or upgrade mechanism in this bytecode.","findings":[]}
[codex:253405] tokens used
[codex:253405] 9,805
[codex:253405] {"no_findings":true,"summary":"No concrete, exploitable profit path is evident from the provided bytecode alone; the contract appears to forward calls to a fixed external address without any clearly controllable value-transfer, selfdestruct, or upgrade mechanism in this bytecode.","findings":[]}
{
"codex": {
"ran_at": "2026-01-03T00:08:20.314965+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path is evident from the provided bytecode alone; the contract appears to forward calls to a fixed external address without any clearly controllable value-transfer, selfdestruct, or upgrade mechanism in this bytecode.",
"raw_final": {
"summary": "No concrete, exploitable profit path is evident from the provided bytecode alone; the contract appears to forward calls to a fixed external address without any clearly controllable value-transfer, selfdestruct, or upgrade mechanism in this bytecode.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0103 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x0be479e1 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0169 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x14614af9 0000002d: EQ 0000002e: PUSH2 0x017e 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x17f708fb 00000038: EQ 00000039: PUSH2 0x019c 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x19f363bc 00000043: EQ 00000044: PUSH2 0x01af 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x2b55b792 0000004e: EQ 0000004f: PUSH2 0x01c6 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x2d923501 00000059: EQ 0000005a: PUSH2 0x01e5 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x2e1a7d4d 00000064: EQ 00000065: PUSH2 0x0210 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x4d5a8e10 0000006f: EQ 00000070: PUSH2 0x0226 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x54fd4d50 0000007a: EQ 0000007b: PUSH2 0x0255 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x7c422f1d 00000085: EQ 00000086: PUSH2 0x028c 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x853828b6 00000090: EQ 00000091: PUSH2 0x02bf 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x89fb8a48 0000009b: EQ 0000009c: PUSH2 0x02d2 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x9aae82c1 000000a6: EQ 000000a7: PUSH2 0x02e8 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0xa9cc4718 000000b1: EQ 000000b2: PUSH2 0x0307 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xc0ee0b8a 000000bc: EQ 000000bd: PUSH2 0x031a 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xc2fbe7bc 000000c7: EQ 000000c8: PUSH2 0x0349 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xd0e30db0 000000d2: EQ 000000d3: PUSH2 0x036e 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xd3c4c4d0 000000dd: EQ 000000de: PUSH2 0x0376 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0xdef86cbb 000000e8: EQ 000000e9: PUSH2 0x03a0 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0xf91c7ca3 000000f3: EQ 000000f4: PUSH2 0x03ca 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0xfffe58a2 000000fe: EQ 000000ff: PUSH2 0x03ee 00000102: JUMPI 00000103: JUMPDEST 00000104: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000119: PUSH4 0x6c2802e8 0000011e: PUSH1 0x00 00000120: PUSH1 0x40 00000122: MLOAD 00000123: PUSH1 0xe0 00000125: PUSH1 0x02 00000127: EXP 00000128: PUSH4 0xffffffff 0000012d: DUP5 0000012e: AND 0000012f: MUL 00000130: DUP2 00000131: MSTORE 00000132: PUSH1 0x04 00000134: DUP2 00000135: ADD 00000136: SWAP2 00000137: SWAP1 00000138: SWAP2 00000139: MSTORE 0000013a: PUSH1 0x24 0000013c: ADD 0000013d: PUSH1 0x00 0000013f: PUSH1 0x40 00000141: MLOAD 00000142: DUP1 00000143: DUP4 00000144: SUB 00000145: DUP2 00000146: DUP7 00000147: DUP1 00000148: EXTCODESIZE 00000149: ISZERO 0000014a: ISZERO 0000014b: PUSH2 0x0153 0000014e: JUMPI 0000014f: PUSH1 0x00 00000151: DUP1 00000152: REVERT 00000153: JUMPDEST 00000154: PUSH2 0x02c6 00000157: GAS 00000158: SUB 00000159: DELEGATECALL 0000015a: ISZERO 0000015b: ISZERO 0000015c: PUSH2 0x0164 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: POP 00000166: POP 00000167: POP 00000168: STOP 00000169: JUMPDEST 0000016a: CALLVALUE 0000016b: ISZERO 0000016c: PUSH2 0x0174 0000016f: JUMPI 00000170: PUSH1 0x00 00000172: DUP1 00000173: REVERT 00000174: JUMPDEST 00000175: PUSH2 0x017c 00000178: PUSH2 0x040c 0000017b: JUMP 0000017c: JUMPDEST 0000017d: STOP 0000017e: JUMPDEST 0000017f: PUSH2 0x017c 00000182: PUSH1 0x01 00000184: PUSH1 0xa0 00000186: PUSH1 0x02 00000188: EXP 00000189: SUB 0000018a: PUSH1 0x04 0000018c: CALLDATALOAD 0000018d: DUP2 0000018e: AND 0000018f: SWAP1 00000190: PUSH1 0x24 00000192: CALLDATALOAD 00000193: SWAP1 00000194: PUSH1 0x44 00000196: CALLDATALOAD 00000197: AND 00000198: PUSH2 0x0472 0000019b: JUMP 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: PUSH2 0x017c 000001ab: PUSH2 0x04fc 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH2 0x017c 000001b3: PUSH1 0x04 000001b5: CALLDATALOAD 000001b6: PUSH1 0x01 000001b8: PUSH1 0xa0 000001ba: PUSH1 0x02 000001bc: EXP 000001bd: SUB 000001be: PUSH1 0x24 000001c0: CALLDATALOAD 000001c1: AND 000001c2: PUSH2 0x054c 000001c5: JUMP 000001c6: JUMPDEST 000001c7: CALLVALUE 000001c8: ISZERO 000001c9: PUSH2 0x01d1 000001cc: JUMPI 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: PUSH2 0x017c 000001d5: PUSH1 0x01 000001d7: PUSH1 0xa0 000001d9: PUSH1 0x02 000001db: EXP 000001dc: SUB 000001dd: PUSH1 0x04 000001df: CALLDATALOAD 000001e0: AND 000001e1: PUSH2 0x05cc 000001e4: JUMP 000001e5: JUMPDEST 000001e6: CALLVALUE 000001e7: ISZERO 000001e8: PUSH2 0x01f0 000001eb: JUMPI 000001ec: PUSH1 0x00 000001ee: DUP1 000001ef: REVERT 000001f0: JUMPDEST 000001f1: PUSH2 0x017c 000001f4: PUSH1 0x04 000001f6: DUP1 000001f7: CALLDATALOAD 000001f8: PUSH1 0x01 000001fa: PUSH1 0xa0 000001fc: PUSH1 0x02 000001fe: EXP 000001ff: SUB 00000200: AND 00000201: SWAP1 00000202: PUSH1 0x24 00000204: DUP1 00000205: CALLDATALOAD 00000206: SWAP1 00000207: DUP2 00000208: ADD 00000209: SWAP2 0000020a: ADD 0000020b: CALLDATALOAD 0000020c: PUSH2 0x0669 0000020f: JUMP 00000210: JUMPDEST 00000211: CALLVALUE 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: PUSH2 0x017c 0000021f: PUSH1 0x04 00000221: CALLDATALOAD 00000222: PUSH2 0x0731 00000225: JUMP 00000226: JUMPDEST 00000227: CALLVALUE 00000228: ISZERO 00000229: PUSH2 0x0231 0000022c: JUMPI 0000022d: PUSH1 0x00 0000022f: DUP1 00000230: REVERT 00000231: JUMPDEST 00000232: PUSH2 0x017c 00000235: PUSH1 0x04 00000237: DUP1 00000238: CALLDATALOAD 00000239: PUSH1 0x01 0000023b: PUSH1 0xa0 0000023d: PUSH1 0x02 0000023f: EXP 00000240: SUB 00000241: AND 00000242: SWAP1 00000243: PUSH1 0x24 00000245: DUP1 00000246: CALLDATALOAD 00000247: SWAP2 00000248: PUSH1 0x44 0000024a: CALLDATALOAD 0000024b: SWAP2 0000024c: DUP3 0000024d: ADD 0000024e: SWAP2 0000024f: ADD 00000250: CALLDATALOAD 00000251: PUSH2 0x079e 00000254: JUMP 00000255: JUMPDEST 00000256: CALLVALUE 00000257: ISZERO 00000258: PUSH2 0x0260 0000025b: JUMPI 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: PUSH2 0x0268 00000264: PUSH2 0x0846 00000267: JUMP 00000268: JUMPDEST 00000269: PUSH1 0x40 0000026b: MLOAD 0000026c: DUP1 0000026d: DUP5 0000026e: DUP2 0000026f: MSTORE 00000270: PUSH1 0x20 00000272: ADD 00000273: DUP4 00000274: DUP2 00000275: MSTORE 00000276: PUSH1 0x20 00000278: ADD 00000279: DUP3 0000027a: DUP2 0000027b: MSTORE 0000027c: PUSH1 0x20 0000027e: ADD 0000027f: SWAP4 00000280: POP 00000281: POP 00000282: POP 00000283: POP 00000284: PUSH1 0x40 00000286: MLOAD 00000287: DUP1 00000288: SWAP2 00000289: SUB 0000028a: SWAP1 0000028b: RETURN 0000028c: JUMPDEST 0000028d: CALLVALUE 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: PUSH2 0x017c 0000029b: PUSH1 0x04 0000029d: DUP1 0000029e: CALLDATALOAD 0000029f: PUSH1 0x01 000002a1: PUSH1 0xa0 000002a3: PUSH1 0x02 000002a5: EXP 000002a6: SUB 000002a7: AND 000002a8: SWAP1 000002a9: PUSH1 0x24 000002ab: DUP1 000002ac: CALLDATALOAD 000002ad: SWAP2 000002ae: PUSH1 0x44 000002b0: CALLDATALOAD 000002b1: SWAP2 000002b2: PUSH1 0x64 000002b4: CALLDATALOAD 000002b5: SWAP1 000002b6: DUP2 000002b7: ADD 000002b8: SWAP2 000002b9: ADD 000002ba: CALLDATALOAD 000002bb: PUSH2 0x08cc 000002be: JUMP 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: ISZERO 000002c2: PUSH2 0x02ca 000002c5: JUMPI 000002c6: PUSH1 0x00 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: PUSH2 0x017c 000002ce: PUSH2 0x097e 000002d1: JUMP 000002d2: JUMPDEST 000002d3: CALLVALUE 000002d4: ISZERO 000002d5: PUSH2 0x02dd 000002d8: JUMPI 000002d9: PUSH1 0x00 000002db: DUP1 000002dc: REVERT 000002dd: JUMPDEST 000002de: PUSH2 0x017c 000002e1: PUSH1 0x04 000002e3: CALLDATALOAD 000002e4: PUSH2 0x09ce 000002e7: JUMP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: ISZERO 000002eb: PUSH2 0x02f3 000002ee: JUMPI 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: PUSH2 0x017c 000002f7: PUSH1 0x01 000002f9: PUSH1 0xa0 000002fb: PUSH1 0x02 000002fd: EXP 000002fe: SUB 000002ff: PUSH1 0x04 00000301: CALLDATALOAD 00000302: AND 00000303: PUSH2 0x0a24 00000306: JUMP 00000307: JUMPDEST 00000308: CALLVALUE 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: PUSH2 0x017c 00000316: PUSH2 0x0a83 00000319: JUMP 0000031a: JUMPDEST 0000031b: CALLVALUE 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: PUSH2 0x017c 00000329: PUSH1 0x04 0000032b: DUP1 0000032c: CALLDATALOAD 0000032d: PUSH1 0x01 0000032f: PUSH1 0xa0 00000331: PUSH1 0x02 00000333: EXP 00000334: SUB 00000335: AND 00000336: SWAP1 00000337: PUSH1 0x24 00000339: DUP1 0000033a: CALLDATALOAD 0000033b: SWAP2 0000033c: PUSH1 0x44 0000033e: CALLDATALOAD 0000033f: SWAP2 00000340: DUP3 00000341: ADD 00000342: SWAP2 00000343: ADD 00000344: CALLDATALOAD 00000345: PUSH2 0x0ad3 00000348: JUMP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: PUSH2 0x035c 00000358: PUSH2 0x0b61 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH1 0x40 0000035f: MLOAD 00000360: SWAP1 00000361: DUP2 00000362: MSTORE 00000363: PUSH1 0x20 00000365: ADD 00000366: PUSH1 0x40 00000368: MLOAD 00000369: DUP1 0000036a: SWAP2 0000036b: SUB 0000036c: SWAP1 0000036d: RETURN 0000036e: JUMPDEST 0000036f: PUSH2 0x017c 00000372: PUSH2 0x0bd9 00000375: JUMP 00000376: JUMPDEST 00000377: CALLVALUE 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: PUSH2 0x017c 00000385: PUSH1 0x04 00000387: DUP1 00000388: CALLDATALOAD 00000389: SWAP1 0000038a: PUSH1 0x24 0000038c: DUP1 0000038d: CALLDATALOAD 0000038e: SWAP2 0000038f: PUSH1 0x44 00000391: CALLDATALOAD 00000392: SWAP2 00000393: PUSH1 0x64 00000395: CALLDATALOAD 00000396: SWAP1 00000397: DUP2 00000398: ADD 00000399: SWAP2 0000039a: ADD 0000039b: CALLDATALOAD 0000039c: PUSH2 0x0c29 0000039f: JUMP 000003a0: JUMPDEST 000003a1: CALLVALUE 000003a2: ISZERO 000003a3: PUSH2 0x03ab 000003a6: JUMPI 000003a7: PUSH1 0x00 000003a9: DUP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: PUSH2 0x017c 000003af: PUSH1 0x24 000003b1: PUSH1 0x04 000003b3: DUP1 000003b4: CALLDATALOAD 000003b5: DUP3 000003b6: DUP2 000003b7: ADD 000003b8: SWAP3 000003b9: SWAP1 000003ba: DUP3 000003bb: ADD 000003bc: CALLDATALOAD 000003bd: SWAP2 000003be: DUP2 000003bf: CALLDATALOAD 000003c0: SWAP2 000003c1: DUP3 000003c2: ADD 000003c3: SWAP2 000003c4: ADD 000003c5: CALLDATALOAD 000003c6: PUSH2 0x0cb8 000003c9: JUMP 000003ca: JUMPDEST 000003cb: CALLVALUE 000003cc: ISZERO 000003cd: PUSH2 0x03d5 000003d0: JUMPI 000003d1: PUSH1 0x00 000003d3: DUP1 000003d4: REVERT 000003d5: JUMPDEST 000003d6: PUSH2 0x017c 000003d9: PUSH1 0x01 000003db: PUSH1 0xa0 000003dd: PUSH1 0x02 000003df: EXP 000003e0: SUB 000003e1: PUSH1 0x04 000003e3: CALLDATALOAD 000003e4: AND 000003e5: PUSH1 0x24 000003e7: CALLDATALOAD 000003e8: ISZERO 000003e9: ISZERO 000003ea: PUSH2 0x0d52 000003ed: JUMP 000003ee: JUMPDEST 000003ef: CALLVALUE 000003f0: ISZERO 000003f1: PUSH2 0x03f9 000003f4: JUMPI 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: REVERT 000003f9: JUMPDEST 000003fa: PUSH2 0x017c 000003fd: PUSH1 0x04 000003ff: DUP1 00000400: CALLDATALOAD 00000401: PUSH1 0x24 00000403: DUP2 00000404: ADD 00000405: SWAP2 00000406: ADD 00000407: CALLDATALOAD 00000408: PUSH2 0x0dbb 0000040b: JUMP 0000040c: JUMPDEST 0000040d: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000422: PUSH4 0x113da5d9 00000427: PUSH1 0x00 00000429: PUSH1 0x40 0000042b: MLOAD 0000042c: PUSH1 0xe0 0000042e: PUSH1 0x02 00000430: EXP 00000431: PUSH4 0xffffffff 00000436: DUP5 00000437: AND 00000438: MUL 00000439: DUP2 0000043a: MSTORE 0000043b: PUSH1 0x04 0000043d: DUP2 0000043e: ADD 0000043f: SWAP2 00000440: SWAP1 00000441: SWAP2 00000442: MSTORE 00000443: PUSH1 0x24 00000445: ADD 00000446: PUSH1 0x00 00000448: PUSH1 0x40 0000044a: MLOAD 0000044b: DUP1 0000044c: DUP4 0000044d: SUB 0000044e: DUP2 0000044f: DUP7 00000450: DUP1 00000451: EXTCODESIZE 00000452: ISZERO 00000453: ISZERO 00000454: PUSH2 0x045c 00000457: JUMPI 00000458: PUSH1 0x00 0000045a: DUP1 0000045b: REVERT 0000045c: JUMPDEST 0000045d: PUSH2 0x02c6 00000460: GAS 00000461: SUB 00000462: DELEGATECALL 00000463: ISZERO 00000464: ISZERO 00000465: PUSH2 0x046d 00000468: JUMPI 00000469: PUSH1 0x00 0000046b: DUP1 0000046c: REVERT 0000046d: JUMPDEST 0000046e: POP 0000046f: POP 00000470: POP 00000471: JUMP 00000472: JUMPDEST 00000473: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000488: PUSH4 0x4afcba30 0000048d: PUSH1 0x00 0000048f: DUP6 00000490: DUP6 00000491: DUP6 00000492: PUSH1 0x40 00000494: MLOAD 00000495: PUSH1 0xe0 00000497: PUSH1 0x02 00000499: EXP 0000049a: PUSH4 0xffffffff 0000049f: DUP8 000004a0: AND 000004a1: MUL 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x04 000004a6: DUP2 000004a7: ADD 000004a8: SWAP5 000004a9: SWAP1 000004aa: SWAP5 000004ab: MSTORE 000004ac: PUSH1 0x01 000004ae: PUSH1 0xa0 000004b0: PUSH1 0x02 000004b2: EXP 000004b3: SUB 000004b4: SWAP3 000004b5: DUP4 000004b6: AND 000004b7: PUSH1 0x24 000004b9: DUP6 000004ba: ADD 000004bb: MSTORE 000004bc: PUSH1 0x44 000004be: DUP5 000004bf: ADD 000004c0: SWAP2 000004c1: SWAP1 000004c2: SWAP2 000004c3: MSTORE 000004c4: AND 000004c5: PUSH1 0x64 000004c7: DUP3 000004c8: ADD 000004c9: MSTORE 000004ca: PUSH1 0x84 000004cc: ADD 000004cd: PUSH1 0x00 000004cf: PUSH1 0x40 000004d1: MLOAD 000004d2: DUP1 000004d3: DUP4 000004d4: SUB 000004d5: DUP2 000004d6: DUP7 000004d7: DUP1 000004d8: EXTCODESIZE 000004d9: ISZERO 000004da: ISZERO 000004db: PUSH2 0x04e3 000004de: JUMPI 000004df: PUSH1 0x00 000004e1: DUP1 000004e2: REVERT 000004e3: JUMPDEST 000004e4: PUSH2 0x02c6 000004e7: GAS 000004e8: SUB 000004e9: DELEGATECALL 000004ea: ISZERO 000004eb: ISZERO 000004ec: PUSH2 0x04f4 000004ef: JUMPI 000004f0: PUSH1 0x00 000004f2: DUP1 000004f3: REVERT 000004f4: JUMPDEST 000004f5: POP 000004f6: POP 000004f7: POP 000004f8: POP 000004f9: POP 000004fa: POP 000004fb: JUMP 000004fc: JUMPDEST 000004fd: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000512: PUSH4 0x7c6a8a68 00000517: PUSH1 0x00 00000519: PUSH1 0x40 0000051b: MLOAD 0000051c: PUSH1 0xe0 0000051e: PUSH1 0x02 00000520: EXP 00000521: PUSH4 0xffffffff 00000526: DUP5 00000527: AND 00000528: MUL 00000529: DUP2 0000052a: MSTORE 0000052b: PUSH1 0x04 0000052d: DUP2 0000052e: ADD 0000052f: SWAP2 00000530: SWAP1 00000531: SWAP2 00000532: MSTORE 00000533: PUSH1 0x24 00000535: ADD 00000536: PUSH1 0x00 00000538: PUSH1 0x40 0000053a: MLOAD 0000053b: DUP1 0000053c: DUP4 0000053d: SUB 0000053e: DUP2 0000053f: DUP7 00000540: DUP1 00000541: EXTCODESIZE 00000542: ISZERO 00000543: ISZERO 00000544: PUSH2 0x045c 00000547: JUMPI 00000548: PUSH1 0x00 0000054a: DUP1 0000054b: REVERT 0000054c: JUMPDEST 0000054d: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000562: PUSH4 0x2fb2c6d2 00000567: PUSH1 0x00 00000569: DUP5 0000056a: DUP5 0000056b: PUSH1 0x40 0000056d: MLOAD 0000056e: PUSH1 0xe0 00000570: PUSH1 0x02 00000572: EXP 00000573: PUSH4 0xffffffff 00000578: DUP7 00000579: AND 0000057a: MUL 0000057b: DUP2 0000057c: MSTORE 0000057d: PUSH1 0x04 0000057f: DUP2 00000580: ADD 00000581: SWAP4 00000582: SWAP1 00000583: SWAP4 00000584: MSTORE 00000585: PUSH1 0x24 00000587: DUP4 00000588: ADD 00000589: SWAP2 0000058a: SWAP1 0000058b: SWAP2 0000058c: MSTORE 0000058d: PUSH1 0x01 0000058f: PUSH1 0xa0 00000591: PUSH1 0x02 00000593: EXP 00000594: SUB 00000595: AND 00000596: PUSH1 0x44 00000598: DUP3 00000599: ADD 0000059a: MSTORE 0000059b: PUSH1 0x64 0000059d: ADD 0000059e: PUSH1 0x00 000005a0: PUSH1 0x40 000005a2: MLOAD 000005a3: DUP1 000005a4: DUP4 000005a5: SUB 000005a6: DUP2 000005a7: DUP7 000005a8: DUP1 000005a9: EXTCODESIZE 000005aa: ISZERO 000005ab: ISZERO 000005ac: PUSH2 0x05b4 000005af: JUMPI 000005b0: PUSH1 0x00 000005b2: DUP1 000005b3: REVERT 000005b4: JUMPDEST 000005b5: PUSH2 0x02c6 000005b8: GAS 000005b9: SUB 000005ba: DELEGATECALL 000005bb: ISZERO 000005bc: ISZERO 000005bd: PUSH2 0x05c5 000005c0: JUMPI 000005c1: PUSH1 0x00 000005c3: DUP1 000005c4: REVERT 000005c5: JUMPDEST 000005c6: POP 000005c7: POP 000005c8: POP 000005c9: POP 000005ca: POP 000005cb: JUMP 000005cc: JUMPDEST 000005cd: PUSH1 0x13 000005cf: SLOAD 000005d0: PUSH1 0xff 000005d2: AND 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: PUSH1 0x13 000005df: DUP1 000005e0: SLOAD 000005e1: PUSH1 0xff 000005e3: NOT 000005e4: AND 000005e5: PUSH1 0x01 000005e7: OR 000005e8: SWAP1 000005e9: SSTORE 000005ea: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 000005ff: PUSH4 0x80b8871c 00000604: PUSH1 0x00 00000606: DUP4 00000607: PUSH1 0x40 00000609: MLOAD 0000060a: PUSH1 0xe0 0000060c: PUSH1 0x02 0000060e: EXP 0000060f: PUSH4 0xffffffff 00000614: DUP6 00000615: AND 00000616: MUL 00000617: DUP2 00000618: MSTORE 00000619: PUSH1 0x04 0000061b: DUP2 0000061c: ADD 0000061d: SWAP3 0000061e: SWAP1 0000061f: SWAP3 00000620: MSTORE 00000621: PUSH1 0x01 00000623: PUSH1 0xa0 00000625: PUSH1 0x02 00000627: EXP 00000628: SUB 00000629: AND 0000062a: PUSH1 0x24 0000062c: DUP3 0000062d: ADD 0000062e: MSTORE 0000062f: PUSH1 0x44 00000631: ADD 00000632: PUSH1 0x00 00000634: PUSH1 0x40 00000636: MLOAD 00000637: DUP1 00000638: DUP4 00000639: SUB 0000063a: DUP2 0000063b: DUP7 0000063c: DUP1 0000063d: EXTCODESIZE 0000063e: ISZERO 0000063f: ISZERO 00000640: PUSH2 0x0648 00000643: JUMPI 00000644: PUSH1 0x00 00000646: DUP1 00000647: REVERT 00000648: JUMPDEST 00000649: PUSH2 0x02c6 0000064c: GAS 0000064d: SUB 0000064e: DELEGATECALL 0000064f: ISZERO 00000650: ISZERO 00000651: PUSH2 0x0659 00000654: JUMPI 00000655: PUSH1 0x00 00000657: DUP1 00000658: REVERT 00000659: JUMPDEST 0000065a: POP 0000065b: POP 0000065c: PUSH1 0x13 0000065e: DUP1 0000065f: SLOAD 00000660: PUSH1 0xff 00000662: NOT 00000663: AND 00000664: SWAP1 00000665: SSTORE 00000666: POP 00000667: POP 00000668: JUMP 00000669: JUMPDEST 0000066a: PUSH1 0x13 0000066c: SLOAD 0000066d: PUSH1 0xff 0000066f: AND 00000670: ISZERO 00000671: PUSH2 0x0679 00000674: JUMPI 00000675: PUSH1 0x00 00000677: DUP1 00000678: REVERT 00000679: JUMPDEST 0000067a: PUSH1 0x13 0000067c: DUP1 0000067d: SLOAD 0000067e: PUSH1 0xff 00000680: NOT 00000681: AND 00000682: PUSH1 0x01 00000684: OR 00000685: SWAP1 00000686: SSTORE 00000687: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 0000069c: PUSH4 0x392a4fa2 000006a1: PUSH1 0x00 000006a3: DUP6 000006a4: DUP6 000006a5: DUP6 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: PUSH1 0xe0 000006ab: PUSH1 0x02 000006ad: EXP 000006ae: PUSH4 0xffffffff 000006b3: DUP8 000006b4: AND 000006b5: MUL 000006b6: DUP2 000006b7: MSTORE 000006b8: PUSH1 0x04 000006ba: DUP2 000006bb: ADD 000006bc: DUP6 000006bd: DUP2 000006be: MSTORE 000006bf: PUSH1 0x01 000006c1: PUSH1 0xa0 000006c3: PUSH1 0x02 000006c5: EXP 000006c6: SUB 000006c7: DUP6 000006c8: AND 000006c9: PUSH1 0x24 000006cb: DUP4 000006cc: ADD 000006cd: MSTORE 000006ce: PUSH1 0x60 000006d0: PUSH1 0x44 000006d2: DUP4 000006d3: ADD 000006d4: SWAP1 000006d5: DUP2 000006d6: MSTORE 000006d7: PUSH1 0x64 000006d9: DUP4 000006da: ADD 000006db: DUP5 000006dc: SWAP1 000006dd: MSTORE 000006de: SWAP1 000006df: SWAP2 000006e0: PUSH1 0x84 000006e2: ADD 000006e3: DUP5 000006e4: PUSH1 0x20 000006e6: DUP6 000006e7: MUL 000006e8: DUP1 000006e9: DUP3 000006ea: DUP5 000006eb: CALLDATACOPY 000006ec: DUP3 000006ed: ADD 000006ee: SWAP2 000006ef: POP 000006f0: POP 000006f1: SWAP6 000006f2: POP 000006f3: POP 000006f4: POP 000006f5: POP 000006f6: POP 000006f7: POP 000006f8: PUSH1 0x00 000006fa: PUSH1 0x40 000006fc: MLOAD 000006fd: DUP1 000006fe: DUP4 000006ff: SUB 00000700: DUP2 00000701: DUP7 00000702: DUP1 00000703: EXTCODESIZE 00000704: ISZERO 00000705: ISZERO 00000706: PUSH2 0x070e 00000709: JUMPI 0000070a: PUSH1 0x00 0000070c: DUP1 0000070d: REVERT 0000070e: JUMPDEST 0000070f: PUSH2 0x02c6 00000712: GAS 00000713: SUB 00000714: DELEGATECALL 00000715: ISZERO 00000716: ISZERO 00000717: PUSH2 0x071f 0000071a: JUMPI 0000071b: PUSH1 0x00 0000071d: DUP1 0000071e: REVERT 0000071f: JUMPDEST 00000720: POP 00000721: POP 00000722: PUSH1 0x13 00000724: DUP1 00000725: SLOAD 00000726: PUSH1 0xff 00000728: NOT 00000729: AND 0000072a: SWAP1 0000072b: SSTORE 0000072c: POP 0000072d: POP 0000072e: POP 0000072f: POP 00000730: JUMP 00000731: JUMPDEST 00000732: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000747: PUSH4 0xf522fc1b 0000074c: PUSH1 0x00 0000074e: DUP4 0000074f: PUSH1 0x40 00000751: MLOAD 00000752: PUSH1 0xe0 00000754: PUSH1 0x02 00000756: EXP 00000757: PUSH4 0xffffffff 0000075c: DUP6 0000075d: AND 0000075e: MUL 0000075f: DUP2 00000760: MSTORE 00000761: PUSH1 0x04 00000763: DUP2 00000764: ADD 00000765: SWAP3 00000766: SWAP1 00000767: SWAP3 00000768: MSTORE 00000769: PUSH1 0x24 0000076b: DUP3 0000076c: ADD 0000076d: MSTORE 0000076e: PUSH1 0x44 00000770: ADD 00000771: PUSH1 0x00 00000773: PUSH1 0x40 00000775: MLOAD 00000776: DUP1 00000777: DUP4 00000778: SUB 00000779: DUP2 0000077a: DUP7 0000077b: DUP1 0000077c: EXTCODESIZE 0000077d: ISZERO 0000077e: ISZERO 0000077f: PUSH2 0x0787 00000782: JUMPI 00000783: PUSH1 0x00 00000785: DUP1 00000786: REVERT 00000787: JUMPDEST 00000788: PUSH2 0x02c6 0000078b: GAS 0000078c: SUB 0000078d: DELEGATECALL 0000078e: ISZERO 0000078f: ISZERO 00000790: PUSH2 0x0798 00000793: JUMPI 00000794: PUSH1 0x00 00000796: DUP1 00000797: REVERT 00000798: JUMPDEST 00000799: POP 0000079a: POP 0000079b: POP 0000079c: POP 0000079d: JUMP 0000079e: JUMPDEST 0000079f: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 000007b4: PUSH4 0x512b893f 000007b9: PUSH1 0x00 000007bb: DUP7 000007bc: DUP7 000007bd: DUP7 000007be: DUP7 000007bf: PUSH1 0x40 000007c1: MLOAD 000007c2: PUSH1 0xe0 000007c4: PUSH1 0x02 000007c6: EXP 000007c7: PUSH4 0xffffffff 000007cc: DUP9 000007cd: AND 000007ce: MUL 000007cf: DUP2 000007d0: MSTORE 000007d1: PUSH1 0x04 000007d3: DUP2 000007d4: ADD 000007d5: DUP7 000007d6: DUP2 000007d7: MSTORE 000007d8: PUSH1 0x01 000007da: PUSH1 0xa0 000007dc: PUSH1 0x02 000007de: EXP 000007df: SUB 000007e0: DUP7 000007e1: AND 000007e2: PUSH1 0x24 000007e4: DUP4 000007e5: ADD 000007e6: MSTORE 000007e7: PUSH1 0x44 000007e9: DUP3 000007ea: ADD 000007eb: DUP6 000007ec: SWAP1 000007ed: MSTORE 000007ee: PUSH1 0x80 000007f0: PUSH1 0x64 000007f2: DUP4 000007f3: ADD 000007f4: SWAP1 000007f5: DUP2 000007f6: MSTORE 000007f7: PUSH1 0x84 000007f9: DUP4 000007fa: ADD 000007fb: DUP5 000007fc: SWAP1 000007fd: MSTORE 000007fe: SWAP1 000007ff: SWAP2 00000800: PUSH1 0xa4 00000802: ADD 00000803: DUP5 00000804: DUP5 00000805: DUP1 00000806: DUP3 00000807: DUP5 00000808: CALLDATACOPY 00000809: DUP3 0000080a: ADD 0000080b: SWAP2 0000080c: POP 0000080d: POP 0000080e: SWAP7 0000080f: POP 00000810: POP 00000811: POP 00000812: POP 00000813: POP 00000814: POP 00000815: POP 00000816: PUSH1 0x00 00000818: PUSH1 0x40 0000081a: MLOAD 0000081b: DUP1 0000081c: DUP4 0000081d: SUB 0000081e: DUP2 0000081f: DUP7 00000820: DUP1 00000821: EXTCODESIZE 00000822: ISZERO 00000823: ISZERO 00000824: PUSH2 0x082c 00000827: JUMPI 00000828: PUSH1 0x00 0000082a: DUP1 0000082b: REVERT 0000082c: JUMPDEST 0000082d: PUSH2 0x02c6 00000830: GAS 00000831: SUB 00000832: DELEGATECALL 00000833: ISZERO 00000834: ISZERO 00000835: PUSH2 0x083d 00000838: JUMPI 00000839: PUSH1 0x00 0000083b: DUP1 0000083c: REVERT 0000083d: JUMPDEST 0000083e: POP 0000083f: POP 00000840: POP 00000841: POP 00000842: POP 00000843: POP 00000844: POP 00000845: JUMP 00000846: JUMPDEST 00000847: PUSH1 0x00 00000849: DUP1 0000084a: PUSH1 0x00 0000084c: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000861: PUSH4 0x54fd4d50 00000866: PUSH1 0x00 00000868: PUSH1 0x40 0000086a: MLOAD 0000086b: PUSH1 0x60 0000086d: ADD 0000086e: MSTORE 0000086f: PUSH1 0x40 00000871: MLOAD 00000872: DUP2 00000873: PUSH4 0xffffffff 00000878: AND 00000879: PUSH1 0xe0 0000087b: PUSH1 0x02 0000087d: EXP 0000087e: MUL 0000087f: DUP2 00000880: MSTORE 00000881: PUSH1 0x04 00000883: ADD 00000884: PUSH1 0x60 00000886: PUSH1 0x40 00000888: MLOAD 00000889: DUP1 0000088a: DUP4 0000088b: SUB 0000088c: DUP2 0000088d: DUP7 0000088e: DUP1 0000088f: EXTCODESIZE 00000890: ISZERO 00000891: ISZERO 00000892: PUSH2 0x089a 00000895: JUMPI 00000896: PUSH1 0x00 00000898: DUP1 00000899: REVERT 0000089a: JUMPDEST 0000089b: PUSH2 0x02c6 0000089e: GAS 0000089f: SUB 000008a0: DELEGATECALL 000008a1: ISZERO 000008a2: ISZERO 000008a3: PUSH2 0x08ab 000008a6: JUMPI 000008a7: PUSH1 0x00 000008a9: DUP1 000008aa: REVERT 000008ab: JUMPDEST 000008ac: POP 000008ad: POP 000008ae: POP 000008af: PUSH1 0x40 000008b1: MLOAD 000008b2: DUP1 000008b3: MLOAD 000008b4: SWAP1 000008b5: PUSH1 0x20 000008b7: ADD 000008b8: DUP1 000008b9: MLOAD 000008ba: SWAP1 000008bb: PUSH1 0x20 000008bd: ADD 000008be: DUP1 000008bf: MLOAD 000008c0: SWAP1 000008c1: POP 000008c2: SWAP3 000008c3: POP 000008c4: SWAP3 000008c5: POP 000008c6: SWAP3 000008c7: POP 000008c8: SWAP1 000008c9: SWAP2 000008ca: SWAP3 000008cb: JUMP 000008cc: JUMPDEST 000008cd: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 000008e2: PUSH4 0xb261039b 000008e7: PUSH1 0x00 000008e9: DUP8 000008ea: DUP8 000008eb: DUP8 000008ec: DUP8 000008ed: DUP8 000008ee: PUSH1 0x40 000008f0: MLOAD 000008f1: PUSH1 0xe0 000008f3: PUSH1 0x02 000008f5: EXP 000008f6: PUSH4 0xffffffff 000008fb: DUP10 000008fc: AND 000008fd: MUL 000008fe: DUP2 000008ff: MSTORE 00000900: PUSH1 0x04 00000902: DUP2 00000903: ADD 00000904: DUP8 00000905: DUP2 00000906: MSTORE 00000907: PUSH1 0x01 00000909: PUSH1 0xa0 0000090b: PUSH1 0x02 0000090d: EXP 0000090e: SUB 0000090f: DUP8 00000910: AND 00000911: PUSH1 0x24 00000913: DUP4 00000914: ADD 00000915: MSTORE 00000916: PUSH1 0x44 00000918: DUP3 00000919: ADD 0000091a: DUP7 0000091b: SWAP1 0000091c: MSTORE 0000091d: PUSH1 0x64 0000091f: DUP3 00000920: ADD 00000921: DUP6 00000922: SWAP1 00000923: MSTORE 00000924: PUSH1 0xa0 00000926: PUSH1 0x84 00000928: DUP4 00000929: ADD 0000092a: SWAP1 0000092b: DUP2 0000092c: MSTORE 0000092d: PUSH1 0xa4 0000092f: DUP4 00000930: ADD 00000931: DUP5 00000932: SWAP1 00000933: MSTORE 00000934: SWAP1 00000935: SWAP2 00000936: PUSH1 0xc4 00000938: ADD 00000939: DUP5 0000093a: DUP5 0000093b: DUP1 0000093c: DUP3 0000093d: DUP5 0000093e: CALLDATACOPY 0000093f: DUP3 00000940: ADD 00000941: SWAP2 00000942: POP 00000943: POP 00000944: SWAP8 00000945: POP 00000946: POP 00000947: POP 00000948: POP 00000949: POP 0000094a: POP 0000094b: POP 0000094c: POP 0000094d: PUSH1 0x00 0000094f: PUSH1 0x40 00000951: MLOAD 00000952: DUP1 00000953: DUP4 00000954: SUB 00000955: DUP2 00000956: DUP7 00000957: DUP1 00000958: EXTCODESIZE 00000959: ISZERO 0000095a: ISZERO 0000095b: PUSH2 0x0963 0000095e: JUMPI 0000095f: PUSH1 0x00 00000961: DUP1 00000962: REVERT 00000963: JUMPDEST 00000964: PUSH2 0x02c6 00000967: GAS 00000968: SUB 00000969: DELEGATECALL 0000096a: ISZERO 0000096b: ISZERO 0000096c: PUSH2 0x0974 0000096f: JUMPI 00000970: PUSH1 0x00 00000972: DUP1 00000973: REVERT 00000974: JUMPDEST 00000975: POP 00000976: POP 00000977: POP 00000978: POP 00000979: POP 0000097a: POP 0000097b: POP 0000097c: POP 0000097d: JUMP 0000097e: JUMPDEST 0000097f: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000994: PUSH4 0xf64e7cda 00000999: PUSH1 0x00 0000099b: PUSH1 0x40 0000099d: MLOAD 0000099e: PUSH1 0xe0 000009a0: PUSH1 0x02 000009a2: EXP 000009a3: PUSH4 0xffffffff 000009a8: DUP5 000009a9: AND 000009aa: MUL 000009ab: DUP2 000009ac: MSTORE 000009ad: PUSH1 0x04 000009af: DUP2 000009b0: ADD 000009b1: SWAP2 000009b2: SWAP1 000009b3: SWAP2 000009b4: MSTORE 000009b5: PUSH1 0x24 000009b7: ADD 000009b8: PUSH1 0x00 000009ba: PUSH1 0x40 000009bc: MLOAD 000009bd: DUP1 000009be: DUP4 000009bf: SUB 000009c0: DUP2 000009c1: DUP7 000009c2: DUP1 000009c3: EXTCODESIZE 000009c4: ISZERO 000009c5: ISZERO 000009c6: PUSH2 0x045c 000009c9: JUMPI 000009ca: PUSH1 0x00 000009cc: DUP1 000009cd: REVERT 000009ce: JUMPDEST 000009cf: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 000009e4: PUSH4 0x68540b6b 000009e9: PUSH1 0x00 000009eb: DUP4 000009ec: PUSH1 0x40 000009ee: MLOAD 000009ef: PUSH1 0xe0 000009f1: PUSH1 0x02 000009f3: EXP 000009f4: PUSH4 0xffffffff 000009f9: DUP6 000009fa: AND 000009fb: MUL 000009fc: DUP2 000009fd: MSTORE 000009fe: PUSH1 0x04 00000a00: DUP2 00000a01: ADD 00000a02: SWAP3 00000a03: SWAP1 00000a04: SWAP3 00000a05: MSTORE 00000a06: PUSH1 0x24 00000a08: DUP3 00000a09: ADD 00000a0a: MSTORE 00000a0b: PUSH1 0x44 00000a0d: ADD 00000a0e: PUSH1 0x00 00000a10: PUSH1 0x40 00000a12: MLOAD 00000a13: DUP1 00000a14: DUP4 00000a15: SUB 00000a16: DUP2 00000a17: DUP7 00000a18: DUP1 00000a19: EXTCODESIZE 00000a1a: ISZERO 00000a1b: ISZERO 00000a1c: PUSH2 0x0787 00000a1f: JUMPI 00000a20: PUSH1 0x00 00000a22: DUP1 00000a23: REVERT 00000a24: JUMPDEST 00000a25: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000a3a: PUSH4 0xc27d2d45 00000a3f: PUSH1 0x00 00000a41: DUP4 00000a42: PUSH1 0x40 00000a44: MLOAD 00000a45: PUSH1 0xe0 00000a47: PUSH1 0x02 00000a49: EXP 00000a4a: PUSH4 0xffffffff 00000a4f: DUP6 00000a50: AND 00000a51: MUL 00000a52: DUP2 00000a53: MSTORE 00000a54: PUSH1 0x04 00000a56: DUP2 00000a57: ADD 00000a58: SWAP3 00000a59: SWAP1 00000a5a: SWAP3 00000a5b: MSTORE 00000a5c: PUSH1 0x01 00000a5e: PUSH1 0xa0 00000a60: PUSH1 0x02 00000a62: EXP 00000a63: SUB 00000a64: AND 00000a65: PUSH1 0x24 00000a67: DUP3 00000a68: ADD 00000a69: MSTORE 00000a6a: PUSH1 0x44 00000a6c: ADD 00000a6d: PUSH1 0x00 00000a6f: PUSH1 0x40 00000a71: MLOAD 00000a72: DUP1 00000a73: DUP4 00000a74: SUB 00000a75: DUP2 00000a76: DUP7 00000a77: DUP1 00000a78: EXTCODESIZE 00000a79: ISZERO 00000a7a: ISZERO 00000a7b: PUSH2 0x0787 00000a7e: JUMPI 00000a7f: PUSH1 0x00 00000a81: DUP1 00000a82: REVERT 00000a83: JUMPDEST 00000a84: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000a99: PUSH4 0x62cea5b9 00000a9e: PUSH1 0x00 00000aa0: PUSH1 0x40 00000aa2: MLOAD 00000aa3: PUSH1 0xe0 00000aa5: PUSH1 0x02 00000aa7: EXP 00000aa8: PUSH4 0xffffffff 00000aad: DUP5 00000aae: AND 00000aaf: MUL 00000ab0: DUP2 00000ab1: MSTORE 00000ab2: PUSH1 0x04 00000ab4: DUP2 00000ab5: ADD 00000ab6: SWAP2 00000ab7: SWAP1 00000ab8: SWAP2 00000ab9: MSTORE 00000aba: PUSH1 0x24 00000abc: ADD 00000abd: PUSH1 0x00 00000abf: PUSH1 0x40 00000ac1: MLOAD 00000ac2: DUP1 00000ac3: DUP4 00000ac4: SUB 00000ac5: DUP2 00000ac6: DUP7 00000ac7: DUP1 00000ac8: EXTCODESIZE 00000ac9: ISZERO 00000aca: ISZERO 00000acb: PUSH2 0x045c 00000ace: JUMPI 00000acf: PUSH1 0x00 00000ad1: DUP1 00000ad2: REVERT 00000ad3: JUMPDEST 00000ad4: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000ae9: PUSH4 0xdde9806b 00000aee: PUSH1 0x00 00000af0: DUP7 00000af1: DUP7 00000af2: DUP7 00000af3: DUP7 00000af4: PUSH1 0x40 00000af6: MLOAD 00000af7: PUSH1 0xe0 00000af9: PUSH1 0x02 00000afb: EXP 00000afc: PUSH4 0xffffffff 00000b01: DUP9 00000b02: AND 00000b03: MUL 00000b04: DUP2 00000b05: MSTORE 00000b06: PUSH1 0x04 00000b08: DUP2 00000b09: ADD 00000b0a: DUP7 00000b0b: DUP2 00000b0c: MSTORE 00000b0d: PUSH1 0x01 00000b0f: PUSH1 0xa0 00000b11: PUSH1 0x02 00000b13: EXP 00000b14: SUB 00000b15: DUP7 00000b16: AND 00000b17: PUSH1 0x24 00000b19: DUP4 00000b1a: ADD 00000b1b: MSTORE 00000b1c: PUSH1 0x44 00000b1e: DUP3 00000b1f: ADD 00000b20: DUP6 00000b21: SWAP1 00000b22: MSTORE 00000b23: PUSH1 0x80 00000b25: PUSH1 0x64 00000b27: DUP4 00000b28: ADD 00000b29: SWAP1 00000b2a: DUP2 00000b2b: MSTORE 00000b2c: PUSH1 0x84 00000b2e: DUP4 00000b2f: ADD 00000b30: DUP5 00000b31: SWAP1 00000b32: MSTORE 00000b33: SWAP1 00000b34: SWAP2 00000b35: PUSH1 0xa4 00000b37: ADD 00000b38: DUP5 00000b39: DUP5 00000b3a: DUP1 00000b3b: DUP3 00000b3c: DUP5 00000b3d: CALLDATACOPY 00000b3e: DUP3 00000b3f: ADD 00000b40: SWAP2 00000b41: POP 00000b42: POP 00000b43: SWAP7 00000b44: POP 00000b45: POP 00000b46: POP 00000b47: POP 00000b48: POP 00000b49: POP 00000b4a: POP 00000b4b: PUSH1 0x00 00000b4d: PUSH1 0x40 00000b4f: MLOAD 00000b50: DUP1 00000b51: DUP4 00000b52: SUB 00000b53: DUP2 00000b54: DUP7 00000b55: DUP1 00000b56: EXTCODESIZE 00000b57: ISZERO 00000b58: ISZERO 00000b59: PUSH2 0x082c 00000b5c: JUMPI 00000b5d: PUSH1 0x00 00000b5f: DUP1 00000b60: REVERT 00000b61: JUMPDEST 00000b62: PUSH1 0x00 00000b64: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000b79: PUSH4 0xe8603f09 00000b7e: DUP3 00000b7f: DUP1 00000b80: PUSH1 0x40 00000b82: MLOAD 00000b83: PUSH1 0x20 00000b85: ADD 00000b86: MSTORE 00000b87: PUSH1 0x40 00000b89: MLOAD 00000b8a: PUSH1 0xe0 00000b8c: PUSH1 0x02 00000b8e: EXP 00000b8f: PUSH4 0xffffffff 00000b94: DUP5 00000b95: AND 00000b96: MUL 00000b97: DUP2 00000b98: MSTORE 00000b99: PUSH1 0x04 00000b9b: DUP2 00000b9c: ADD 00000b9d: SWAP2 00000b9e: SWAP1 00000b9f: SWAP2 00000ba0: MSTORE 00000ba1: PUSH1 0x24 00000ba3: ADD 00000ba4: PUSH1 0x20 00000ba6: PUSH1 0x40 00000ba8: MLOAD 00000ba9: DUP1 00000baa: DUP4 00000bab: SUB 00000bac: DUP2 00000bad: DUP7 00000bae: DUP1 00000baf: EXTCODESIZE 00000bb0: ISZERO 00000bb1: ISZERO 00000bb2: PUSH2 0x0bba 00000bb5: JUMPI 00000bb6: PUSH1 0x00 00000bb8: DUP1 00000bb9: REVERT 00000bba: JUMPDEST 00000bbb: PUSH2 0x02c6 00000bbe: GAS 00000bbf: SUB 00000bc0: DELEGATECALL 00000bc1: ISZERO 00000bc2: ISZERO 00000bc3: PUSH2 0x0bcb 00000bc6: JUMPI 00000bc7: PUSH1 0x00 00000bc9: DUP1 00000bca: REVERT 00000bcb: JUMPDEST 00000bcc: POP 00000bcd: POP 00000bce: POP 00000bcf: PUSH1 0x40 00000bd1: MLOAD 00000bd2: DUP1 00000bd3: MLOAD 00000bd4: SWAP1 00000bd5: POP 00000bd6: POP 00000bd7: SWAP1 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000bef: PUSH4 0xcc135813 00000bf4: PUSH1 0x00 00000bf6: PUSH1 0x40 00000bf8: MLOAD 00000bf9: PUSH1 0xe0 00000bfb: PUSH1 0x02 00000bfd: EXP 00000bfe: PUSH4 0xffffffff 00000c03: DUP5 00000c04: AND 00000c05: MUL 00000c06: DUP2 00000c07: MSTORE 00000c08: PUSH1 0x04 00000c0a: DUP2 00000c0b: ADD 00000c0c: SWAP2 00000c0d: SWAP1 00000c0e: SWAP2 00000c0f: MSTORE 00000c10: PUSH1 0x24 00000c12: ADD 00000c13: PUSH1 0x00 00000c15: PUSH1 0x40 00000c17: MLOAD 00000c18: DUP1 00000c19: DUP4 00000c1a: SUB 00000c1b: DUP2 00000c1c: DUP7 00000c1d: DUP1 00000c1e: EXTCODESIZE 00000c1f: ISZERO 00000c20: ISZERO 00000c21: PUSH2 0x045c 00000c24: JUMPI 00000c25: PUSH1 0x00 00000c27: DUP1 00000c28: REVERT 00000c29: JUMPDEST 00000c2a: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000c3f: PUSH4 0x2006b39d 00000c44: PUSH1 0x00 00000c46: DUP8 00000c47: DUP8 00000c48: DUP8 00000c49: DUP8 00000c4a: DUP8 00000c4b: PUSH1 0x40 00000c4d: MLOAD 00000c4e: DUP8 00000c4f: PUSH4 0xffffffff 00000c54: AND 00000c55: PUSH1 0xe0 00000c57: PUSH1 0x02 00000c59: EXP 00000c5a: MUL 00000c5b: DUP2 00000c5c: MSTORE 00000c5d: PUSH1 0x04 00000c5f: ADD 00000c60: DUP1 00000c61: DUP8 00000c62: DUP2 00000c63: MSTORE 00000c64: PUSH1 0x20 00000c66: ADD 00000c67: DUP7 00000c68: DUP2 00000c69: MSTORE 00000c6a: PUSH1 0x20 00000c6c: ADD 00000c6d: DUP6 00000c6e: DUP2 00000c6f: MSTORE 00000c70: PUSH1 0x20 00000c72: ADD 00000c73: DUP5 00000c74: DUP2 00000c75: MSTORE 00000c76: PUSH1 0x20 00000c78: ADD 00000c79: DUP1 00000c7a: PUSH1 0x20 00000c7c: ADD 00000c7d: DUP3 00000c7e: DUP2 00000c7f: SUB 00000c80: DUP3 00000c81: MSTORE 00000c82: DUP5 00000c83: DUP5 00000c84: DUP3 00000c85: DUP2 00000c86: DUP2 00000c87: MSTORE 00000c88: PUSH1 0x20 00000c8a: ADD 00000c8b: SWAP3 00000c8c: POP 00000c8d: PUSH1 0x20 00000c8f: MUL 00000c90: DUP1 00000c91: DUP3 00000c92: DUP5 00000c93: CALLDATACOPY 00000c94: DUP3 00000c95: ADD 00000c96: SWAP2 00000c97: POP 00000c98: POP 00000c99: SWAP8 00000c9a: POP 00000c9b: POP 00000c9c: POP 00000c9d: POP 00000c9e: POP 00000c9f: POP 00000ca0: POP 00000ca1: POP 00000ca2: PUSH1 0x00 00000ca4: PUSH1 0x40 00000ca6: MLOAD 00000ca7: DUP1 00000ca8: DUP4 00000ca9: SUB 00000caa: DUP2 00000cab: DUP7 00000cac: DUP1 00000cad: EXTCODESIZE 00000cae: ISZERO 00000caf: ISZERO 00000cb0: PUSH2 0x0963 00000cb3: JUMPI 00000cb4: PUSH1 0x00 00000cb6: DUP1 00000cb7: REVERT 00000cb8: JUMPDEST 00000cb9: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000cce: PUSH4 0x536b7ad5 00000cd3: PUSH1 0x00 00000cd5: DUP7 00000cd6: DUP7 00000cd7: DUP7 00000cd8: DUP7 00000cd9: PUSH1 0x40 00000cdb: MLOAD 00000cdc: DUP7 00000cdd: PUSH4 0xffffffff 00000ce2: AND 00000ce3: PUSH1 0xe0 00000ce5: PUSH1 0x02 00000ce7: EXP 00000ce8: MUL 00000ce9: DUP2 00000cea: MSTORE 00000ceb: PUSH1 0x04 00000ced: ADD 00000cee: DUP1 00000cef: DUP7 00000cf0: DUP2 00000cf1: MSTORE 00000cf2: PUSH1 0x20 00000cf4: ADD 00000cf5: DUP1 00000cf6: PUSH1 0x20 00000cf8: ADD 00000cf9: DUP1 00000cfa: PUSH1 0x20 00000cfc: ADD 00000cfd: DUP4 00000cfe: DUP2 00000cff: SUB 00000d00: DUP4 00000d01: MSTORE 00000d02: DUP8 00000d03: DUP8 00000d04: DUP3 00000d05: DUP2 00000d06: DUP2 00000d07: MSTORE 00000d08: PUSH1 0x20 00000d0a: ADD 00000d0b: SWAP3 00000d0c: POP 00000d0d: PUSH1 0x20 00000d0f: MUL 00000d10: DUP1 00000d11: DUP3 00000d12: DUP5 00000d13: CALLDATACOPY 00000d14: SWAP1 00000d15: SWAP2 00000d16: ADD 00000d17: DUP5 00000d18: DUP2 00000d19: SUB 00000d1a: DUP4 00000d1b: MSTORE 00000d1c: DUP6 00000d1d: DUP2 00000d1e: MSTORE 00000d1f: PUSH1 0x20 00000d21: SWAP1 00000d22: DUP2 00000d23: ADD 00000d24: SWAP2 00000d25: POP 00000d26: DUP7 00000d27: SWAP1 00000d28: DUP7 00000d29: MUL 00000d2a: DUP1 00000d2b: DUP3 00000d2c: DUP5 00000d2d: CALLDATACOPY 00000d2e: DUP3 00000d2f: ADD 00000d30: SWAP2 00000d31: POP 00000d32: POP 00000d33: SWAP8 00000d34: POP 00000d35: POP 00000d36: POP 00000d37: POP 00000d38: POP 00000d39: POP 00000d3a: POP 00000d3b: POP 00000d3c: PUSH1 0x00 00000d3e: PUSH1 0x40 00000d40: MLOAD 00000d41: DUP1 00000d42: DUP4 00000d43: SUB 00000d44: DUP2 00000d45: DUP7 00000d46: DUP1 00000d47: EXTCODESIZE 00000d48: ISZERO 00000d49: ISZERO 00000d4a: PUSH2 0x082c 00000d4d: JUMPI 00000d4e: PUSH1 0x00 00000d50: DUP1 00000d51: REVERT 00000d52: JUMPDEST 00000d53: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000d68: PUSH4 0x663eb994 00000d6d: PUSH1 0x00 00000d6f: DUP5 00000d70: DUP5 00000d71: PUSH1 0x40 00000d73: MLOAD 00000d74: PUSH1 0xe0 00000d76: PUSH1 0x02 00000d78: EXP 00000d79: PUSH4 0xffffffff 00000d7e: DUP7 00000d7f: AND 00000d80: MUL 00000d81: DUP2 00000d82: MSTORE 00000d83: PUSH1 0x04 00000d85: DUP2 00000d86: ADD 00000d87: SWAP4 00000d88: SWAP1 00000d89: SWAP4 00000d8a: MSTORE 00000d8b: PUSH1 0x01 00000d8d: PUSH1 0xa0 00000d8f: PUSH1 0x02 00000d91: EXP 00000d92: SUB 00000d93: SWAP1 00000d94: SWAP2 00000d95: AND 00000d96: PUSH1 0x24 00000d98: DUP4 00000d99: ADD 00000d9a: MSTORE 00000d9b: ISZERO 00000d9c: ISZERO 00000d9d: PUSH1 0x44 00000d9f: DUP3 00000da0: ADD 00000da1: MSTORE 00000da2: PUSH1 0x64 00000da4: ADD 00000da5: PUSH1 0x00 00000da7: PUSH1 0x40 00000da9: MLOAD 00000daa: DUP1 00000dab: DUP4 00000dac: SUB 00000dad: DUP2 00000dae: DUP7 00000daf: DUP1 00000db0: EXTCODESIZE 00000db1: ISZERO 00000db2: ISZERO 00000db3: PUSH2 0x05b4 00000db6: JUMPI 00000db7: PUSH1 0x00 00000db9: DUP1 00000dba: REVERT 00000dbb: JUMPDEST 00000dbc: PUSH20 0x6683ab42aacec410d74ee1801bb89b39b6aeefbe 00000dd1: PUSH4 0xd4d357c0 00000dd6: PUSH1 0x00 00000dd8: DUP5 00000dd9: DUP5 00000dda: PUSH1 0x40 00000ddc: MLOAD 00000ddd: PUSH1 0xe0 00000ddf: PUSH1 0x02 00000de1: EXP 00000de2: PUSH4 0xffffffff 00000de7: DUP7 00000de8: AND 00000de9: MUL 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x04 00000dee: DUP2 00000def: ADD 00000df0: DUP5 00000df1: DUP2 00000df2: MSTORE 00000df3: PUSH1 0x40 00000df5: PUSH1 0x24 00000df7: DUP4 00000df8: ADD 00000df9: SWAP1 00000dfa: DUP2 00000dfb: MSTORE 00000dfc: PUSH1 0x44 00000dfe: DUP4 00000dff: ADD 00000e00: DUP5 00000e01: SWAP1 00000e02: MSTORE 00000e03: SWAP1 00000e04: SWAP2 00000e05: PUSH1 0x64 00000e07: ADD 00000e08: DUP5 00000e09: PUSH1 0x20 00000e0b: DUP6 00000e0c: MUL 00000e0d: DUP1 00000e0e: DUP3 00000e0f: DUP5 00000e10: CALLDATACOPY 00000e11: DUP3 00000e12: ADD 00000e13: SWAP2 00000e14: POP 00000e15: POP 00000e16: SWAP5 00000e17: POP 00000e18: POP 00000e19: POP 00000e1a: POP 00000e1b: POP 00000e1c: PUSH1 0x00 00000e1e: PUSH1 0x40 00000e20: MLOAD 00000e21: DUP1 00000e22: DUP4 00000e23: SUB 00000e24: DUP2 00000e25: DUP7 00000e26: DUP1 00000e27: EXTCODESIZE 00000e28: ISZERO 00000e29: ISZERO 00000e2a: PUSH2 0x05b4 00000e2d: JUMPI 00000e2e: PUSH1 0x00 00000e30: DUP1 00000e31: REVERT 00000e32: STOP 00000e33: LOG1 00000e34: PUSH6 0x627a7a723058 00000e3b: KECCAK256 00000e3c: RETURNDATASIZE 00000e3d: UNKNOWN(0xDC) 00000e3e: UNKNOWN(0xE2) 00000e3f: UNKNOWN(0xE3) 00000e40: DUP2 00000e41: BYTE 00000e42: MLOAD 00000e43: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xaf1c906bc34224efaca7ac0f01472dcfaea1ebd42530cf24cc678a90da5f4b7a
call_targets:
0x6683ab42aacec410d74ee1801bb89b39b6aeefbe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xaf1c906bc34224efaca7ac0f01472dcfaea1ebd42530cf24cc678a90da5f4b7a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6683ab42aacec410d74ee1801bb89b39b6aeefbe"
],
"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": "0x0be479e1",
"selector": "0x0be479e1",
"calldata_variants": [
"0x0be479e1",
"0x0be479e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14614af9",
"selector": "0x14614af9",
"calldata_variants": [
"0x14614af9",
"0x14614af90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17f708fb",
"selector": "0x17f708fb",
"calldata_variants": [
"0x17f708fb",
"0x17f708fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19f363bc",
"selector": "0x19f363bc",
"calldata_variants": [
"0x19f363bc",
"0x19f363bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b55b792",
"selector": "0x2b55b792",
"calldata_variants": [
"0x2b55b792",
"0x2b55b7920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d923501",
"selector": "0x2d923501",
"calldata_variants": [
"0x2d923501",
"0x2d9235010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d5a8e10",
"selector": "0x4d5a8e10",
"calldata_variants": [
"0x4d5a8e10",
"0x4d5a8e100000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 345,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1122,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1257,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 11,
"untrusted_delegatecall_count": 11
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 11
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 22
}
|