214d6e9b-6a89-41e5-8498-e1b8950dda29
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 |
|---|---|---|---|---|
| 31710 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 95683 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 95684 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 95685 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 95686 | capability.graph | complete | 1 / 3 | 1 week ago |
| 95687 | detector.run | complete | 1 / 3 | 1 week ago |
| 95688 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1042284] OpenAI Codex v0.77.0 (research preview)
[codex:1042284] --------
[codex:1042284] workdir: /tmp/codex-multi-5kgc4ve5
[codex:1042284] model: gpt-5.2-codex
[codex:1042284] provider: openai
[codex:1042284] approval: never
[codex:1042284] sandbox: read-only
[codex:1042284] reasoning effort: xhigh
[codex:1042284] reasoning summaries: auto
[codex:1042284] session id: 019b8cce-87b6-77d0-9cc6-b30e277ad1b7
[codex:1042284] --------
[codex:1042284] user
[codex:1042284] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1042284]
[codex:1042284] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1042284]
[codex:1042284] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1042284] - Gas inefficiency, code quality, naming, or best practices
[codex:1042284] - Theoretical vulnerabilities without a clear extraction path
[codex:1042284] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1042284] - Front-running unless it enables theft beyond MEV
[codex:1042284] - DoS, griefing, or issues that don't result in attacker profit
[codex:1042284] - Missing events, view function issues, or informational findings
[codex:1042284]
[codex:1042284] HIGH-VALUE PATTERNS TO HUNT:
[codex:1042284] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1042284] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1042284] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1042284] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1042284] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1042284] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1042284] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1042284] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1042284] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1042284]
[codex:1042284] For each finding, you MUST provide:
[codex:1042284] 1. Exact file and line numbers of vulnerable code
[codex:1042284] 2. Step-by-step exploit transaction sequence
[codex:1042284] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1042284]
[codex:1042284] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1042284]
[codex:1042284] Output MUST be valid JSON matching the provided schema.
[codex:1042284] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1042284] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1042284] mcp startup: no servers
[codex:1042284]
[codex:1042284] thinking
[codex:1042284] **Preparing to review skills and audit bundle**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc ls in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] AUDIT_BUNDLE.txt
[codex:1042284] codex-output-schema.json
[codex:1042284] contracts
[codex:1042284]
[codex:1042284] thinking
[codex:1042284] **Proceeding to read AUDIT_BUNDLE**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1042284]
[codex:1042284] ================================================================================
[codex:1042284] FILE: contracts/Contract.sol
[codex:1042284] ================================================================================
[codex:1042284] // SPDX-License-Identifier: UNLICENSED
[codex:1042284] pragma solidity 0.8.17;
[codex:1042284]
[codex:1042284] // OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)
[codex:1042284]
[codex:1042284] // OpenZeppelin Contracts v4.4.1 (utils/Context.sol)
[codex:1042284]
[codex:1042284] // OpenZeppelin Contracts (last updated v4.9.0) (proxy/utils/Initializable.sol)
[codex:1042284]
[codex:1042284] // OpenZeppelin Contracts (last updated v4.9.0) (utils/Address.sol)
[codex:1042284]
[codex:1042284] /**
[codex:1042284] * @dev Collection of functions related to the address type
[codex:1042284] */
[codex:1042284] library AddressUpgradeable {
[codex:1042284]
[codex:1042284] thinking
[codex:1042284] **Analyzing Bridge and WrappedToken security**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc 'rg --files' in /tmp/codex-multi-5kgc4ve5 succeeded in 10ms:
[codex:1042284] codex-output-schema.json
[codex:1042284] AUDIT_BUNDLE.txt
[codex:1042284] contracts/Contract.sol
[codex:1042284]
[codex:1042284] thinking
[codex:1042284] **Preparing to analyze Contract.sol**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '1,250p'" in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] 1 // SPDX-License-Identifier: UNLICENSED
[codex:1042284] 2 pragma solidity 0.8.17;
[codex:1042284] 3
[codex:1042284] 4 // OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)
[codex:1042284] 5
[codex:1042284] 6 // OpenZeppelin Contracts v4.4.1 (utils/Context.sol)
[codex:1042284] 7
[codex:1042284] 8 // OpenZeppelin Contracts (last updated v4.9.0) (proxy/utils/Initializable.sol)
[codex:1042284] 9
[codex:1042284] 10 // OpenZeppelin Contracts (last updated v4.9.0) (utils/Address.sol)
[codex:1042284] 11
[codex:1042284] 12 /**
[codex:1042284] 13 * @dev Collection of functions related to the address type
[codex:1042284] 14 */
[codex:1042284] 15 library AddressUpgradeable {
[codex:1042284] 16 /**
[codex:1042284] 17 * @dev Returns true if `account` is a contract.
[codex:1042284] 18 *
[codex:1042284] 19 * [IMPORTANT]
[codex:1042284] 20 * ====
[codex:1042284]
[codex:1042284] thinking
[codex:1042284] **Locating contract declarations**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc 'rg -n "contract WrappedToken|contract Bridge|library CheckOwner" contracts/Contract.sol' in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] 2657:contract WrappedToken is OwnableUpgradeable, ERC20BurnableUpgradeable, ERC20PermitUpgradeable {
[codex:1042284] 2669:library CheckOwner {
[codex:1042284] 2680:contract Bridge is OwnableUpgradeable {
[codex:1042284]
[codex:1042284] thinking
[codex:1042284] **Checking code around line 2657**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '2620,2805p'" in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] 2620 _approve(owner, spender, value);
[codex:1042284] 2621 }
[codex:1042284] 2622
[codex:1042284] 2623 /**
[codex:1042284] 2624 * @dev See {IERC20Permit-nonces}.
[codex:1042284] 2625 */
[codex:1042284] 2626 function nonces(address owner) public view virtual override returns (uint256) {
[codex:1042284] 2627 return _nonces[owner].current();
[codex:1042284] 2628 }
[codex:1042284] 2629
[codex:1042284] 2630 /**
[codex:1042284] 2631 * @dev See {IERC20Permit-DOMAIN_SEPARATOR}.
[codex:1042284] 2632 */
[codex:1042284] 2633 // solhint-disable-next-line func-name-mixedcase
[codex:1042284] 2634 function DOMAIN_SEPARATOR() external view override returns (bytes32) {
[codex:1042284] 2635 return _domainSeparatorV4();
[codex:1042284] 2636 }
[codex:1042284] 2637
[codex:1042284] 2638 /**
[codex:1042284] 2639 * @dev "Consume a nonce": return the current value and increment.
[codex:1042284]
[codex:1042284]
[codex:1042284] thinking
[codex:1042284] **Evaluating token bridging vulnerabilities**
[codex:1042284] thinking
[codex:1042284] **Assessing initialization and access controls for vulnerabilities**
[codex:1042284]
[codex:1042284] I'm reviewing whether missing initializer protections or operator access might lead to exploits. It seems an uninitialized proxy could let an attacker take ownership and drain tokens if not promptly initialized, but this is more a deployment/configuration concern than a direct code vulnerability. Overall, no concrete exploit paths for profit appear in the on-chain logic given proper initialization.
[codex:1042284] exec
[codex:1042284] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:1042284]
[codex:1042284] thinking
[codex:1042284] **Preparing JSON output**
[codex:1042284] codex
[codex:1042284] {"no_findings":true,"summary":"No concrete, exploitable path to profit (ETH/tokens/NFTs) identified in the provided contracts.","findings":[]}
[codex:1042284] tokens used
[codex:1042284] 45,561
[codex:1042284] {"no_findings":true,"summary":"No concrete, exploitable path to profit (ETH/tokens/NFTs) identified in the provided contracts.","findings":[]}
{
"codex": {
"ran_at": "2026-01-05T06:21:13.324233+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable path to profit (ETH/tokens/NFTs) identified in the provided contracts.",
"raw_final": {
"summary": "No concrete, exploitable path to profit (ETH/tokens/NFTs) identified in the provided contracts.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00c2 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x58bc8337 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x0210 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa3bf277e 0000003a: EQ 0000003b: PUSH2 0x022e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd4546d23 00000045: EQ 00000046: PUSH2 0x024e 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0261 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x58bc8337 00000060: EQ 00000061: PUSH2 0x01c6 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x715018a6 0000006b: EQ 0000006c: PUSH2 0x01db 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x77a24f36 00000076: EQ 00000077: PUSH2 0x01f0 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x07ef210c 00000086: EQ 00000087: PUSH2 0x00c7 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x0e93b35c 00000091: EQ 00000092: PUSH2 0x010c 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x29605e77 0000009c: EQ 0000009d: PUSH2 0x012e 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x4432e6b7 000000a7: EQ 000000a8: PUSH2 0x014e 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x5530f4a5 000000b2: EQ 000000b3: PUSH2 0x016e 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x570ca735 000000bd: EQ 000000be: PUSH2 0x018e 000000c1: JUMPI 000000c2: JUMPDEST 000000c3: PUSH1 0x00 000000c5: DUP1 000000c6: REVERT 000000c7: JUMPDEST 000000c8: CALLVALUE 000000c9: DUP1 000000ca: ISZERO 000000cb: PUSH2 0x00d3 000000ce: JUMPI 000000cf: PUSH1 0x00 000000d1: DUP1 000000d2: REVERT 000000d3: JUMPDEST 000000d4: POP 000000d5: PUSH2 0x00f7 000000d8: PUSH2 0x00e2 000000db: CALLDATASIZE 000000dc: PUSH1 0x04 000000de: PUSH2 0x1281 000000e1: JUMP 000000e2: JUMPDEST 000000e3: PUSH1 0x65 000000e5: PUSH1 0x20 000000e7: MSTORE 000000e8: PUSH1 0x00 000000ea: SWAP1 000000eb: DUP2 000000ec: MSTORE 000000ed: PUSH1 0x40 000000ef: SWAP1 000000f0: KECCAK256 000000f1: SLOAD 000000f2: PUSH1 0xff 000000f4: AND 000000f5: DUP2 000000f6: JUMP 000000f7: JUMPDEST 000000f8: PUSH1 0x40 000000fa: MLOAD 000000fb: SWAP1 000000fc: ISZERO 000000fd: ISZERO 000000fe: DUP2 000000ff: MSTORE 00000100: PUSH1 0x20 00000102: ADD 00000103: JUMPDEST 00000104: PUSH1 0x40 00000106: MLOAD 00000107: DUP1 00000108: SWAP2 00000109: SUB 0000010a: SWAP1 0000010b: RETURN 0000010c: JUMPDEST 0000010d: CALLVALUE 0000010e: DUP1 0000010f: ISZERO 00000110: PUSH2 0x0118 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: POP 0000011a: PUSH2 0x012c 0000011d: PUSH2 0x0127 00000120: CALLDATASIZE 00000121: PUSH1 0x04 00000123: PUSH2 0x12ee 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH2 0x0281 0000012b: JUMP 0000012c: JUMPDEST 0000012d: STOP 0000012e: JUMPDEST 0000012f: CALLVALUE 00000130: DUP1 00000131: ISZERO 00000132: PUSH2 0x013a 00000135: JUMPI 00000136: PUSH1 0x00 00000138: DUP1 00000139: REVERT 0000013a: JUMPDEST 0000013b: POP 0000013c: PUSH2 0x012c 0000013f: PUSH2 0x0149 00000142: CALLDATASIZE 00000143: PUSH1 0x04 00000145: PUSH2 0x1281 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH2 0x0329 0000014d: JUMP 0000014e: JUMPDEST 0000014f: CALLVALUE 00000150: DUP1 00000151: ISZERO 00000152: PUSH2 0x015a 00000155: JUMPI 00000156: PUSH1 0x00 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: POP 0000015c: PUSH2 0x012c 0000015f: PUSH2 0x0169 00000162: CALLDATASIZE 00000163: PUSH1 0x04 00000165: PUSH2 0x1397 00000168: JUMP 00000169: JUMPDEST 0000016a: PUSH2 0x03a5 0000016d: JUMP 0000016e: JUMPDEST 0000016f: CALLVALUE 00000170: DUP1 00000171: ISZERO 00000172: PUSH2 0x017a 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: POP 0000017c: PUSH2 0x012c 0000017f: PUSH2 0x0189 00000182: CALLDATASIZE 00000183: PUSH1 0x04 00000185: PUSH2 0x1403 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH2 0x04ec 0000018d: JUMP 0000018e: JUMPDEST 0000018f: CALLVALUE 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: POP 0000019c: PUSH1 0x66 0000019e: SLOAD 0000019f: PUSH2 0x01ae 000001a2: SWAP1 000001a3: PUSH1 0x01 000001a5: PUSH1 0x01 000001a7: PUSH1 0xa0 000001a9: SHL 000001aa: SUB 000001ab: AND 000001ac: DUP2 000001ad: JUMP 000001ae: JUMPDEST 000001af: PUSH1 0x40 000001b1: MLOAD 000001b2: PUSH1 0x01 000001b4: PUSH1 0x01 000001b6: PUSH1 0xa0 000001b8: SHL 000001b9: SUB 000001ba: SWAP1 000001bb: SWAP2 000001bc: AND 000001bd: DUP2 000001be: MSTORE 000001bf: PUSH1 0x20 000001c1: ADD 000001c2: PUSH2 0x0103 000001c5: JUMP 000001c6: JUMPDEST 000001c7: CALLVALUE 000001c8: DUP1 000001c9: ISZERO 000001ca: PUSH2 0x01d2 000001cd: JUMPI 000001ce: PUSH1 0x00 000001d0: DUP1 000001d1: REVERT 000001d2: JUMPDEST 000001d3: POP 000001d4: PUSH2 0x01ae 000001d7: PUSH1 0x00 000001d9: DUP2 000001da: JUMP 000001db: JUMPDEST 000001dc: CALLVALUE 000001dd: DUP1 000001de: ISZERO 000001df: PUSH2 0x01e7 000001e2: JUMPI 000001e3: PUSH1 0x00 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: POP 000001e9: PUSH2 0x012c 000001ec: PUSH2 0x0768 000001ef: JUMP 000001f0: JUMPDEST 000001f1: CALLVALUE 000001f2: DUP1 000001f3: ISZERO 000001f4: PUSH2 0x01fc 000001f7: JUMPI 000001f8: PUSH1 0x00 000001fa: DUP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: POP 000001fe: PUSH2 0x012c 00000201: PUSH2 0x020b 00000204: CALLDATASIZE 00000205: PUSH1 0x04 00000207: PUSH2 0x149d 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH2 0x077c 0000020f: JUMP 00000210: JUMPDEST 00000211: CALLVALUE 00000212: DUP1 00000213: ISZERO 00000214: PUSH2 0x021c 00000217: JUMPI 00000218: PUSH1 0x00 0000021a: DUP1 0000021b: REVERT 0000021c: JUMPDEST 0000021d: POP 0000021e: PUSH1 0x33 00000220: SLOAD 00000221: PUSH1 0x01 00000223: PUSH1 0x01 00000225: PUSH1 0xa0 00000227: SHL 00000228: SUB 00000229: AND 0000022a: PUSH2 0x01ae 0000022d: JUMP 0000022e: JUMPDEST 0000022f: CALLVALUE 00000230: DUP1 00000231: ISZERO 00000232: PUSH2 0x023a 00000235: JUMPI 00000236: PUSH1 0x00 00000238: DUP1 00000239: REVERT 0000023a: JUMPDEST 0000023b: POP 0000023c: PUSH2 0x012c 0000023f: PUSH2 0x0249 00000242: CALLDATASIZE 00000243: PUSH1 0x04 00000245: PUSH2 0x14f6 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH2 0x098b 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH2 0x012c 00000252: PUSH2 0x025c 00000255: CALLDATASIZE 00000256: PUSH1 0x04 00000258: PUSH2 0x1579 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH2 0x0b58 00000260: JUMP 00000261: JUMPDEST 00000262: CALLVALUE 00000263: DUP1 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: POP 0000026f: PUSH2 0x012c 00000272: PUSH2 0x027c 00000275: CALLDATASIZE 00000276: PUSH1 0x04 00000278: PUSH2 0x1281 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH2 0x0bf0 00000280: JUMP 00000281: JUMPDEST 00000282: CHAINID 00000283: DUP2 00000284: DUP2 00000285: SUB 00000286: PUSH2 0x02d6 00000289: JUMPI 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: PUSH3 0x461bcd 00000291: PUSH1 0xe5 00000293: SHL 00000294: DUP2 00000295: MSTORE 00000296: PUSH1 0x20 00000298: PUSH1 0x04 0000029a: DUP3 0000029b: ADD 0000029c: MSTORE 0000029d: PUSH1 0x1d 0000029f: PUSH1 0x24 000002a1: DUP3 000002a2: ADD 000002a3: MSTORE 000002a4: PUSH32 0x4272696467653a20696e76616c6964206465737420636861696e206964000000 000002c5: PUSH1 0x44 000002c7: DUP3 000002c8: ADD 000002c9: MSTORE 000002ca: PUSH1 0x64 000002cc: ADD 000002cd: JUMPDEST 000002ce: PUSH1 0x40 000002d0: MLOAD 000002d1: DUP1 000002d2: SWAP2 000002d3: SUB 000002d4: SWAP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: PUSH2 0x02e0 000002da: DUP7 000002db: DUP7 000002dc: PUSH2 0x0c69 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH32 0xc28e54186544d7357308b86c8319edd275e0db552d62381cf49f827791845c61 00000302: DUP7 00000303: CALLER 00000304: DUP8 00000305: DUP8 00000306: DUP8 00000307: DUP8 00000308: PUSH1 0x40 0000030a: MLOAD 0000030b: PUSH2 0x0319 0000030e: SWAP7 0000030f: SWAP6 00000310: SWAP5 00000311: SWAP4 00000312: SWAP3 00000313: SWAP2 00000314: SWAP1 00000315: PUSH2 0x15c5 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH1 0x40 0000031c: MLOAD 0000031d: DUP1 0000031e: SWAP2 0000031f: SUB 00000320: SWAP1 00000321: LOG1 00000322: POP 00000323: POP 00000324: POP 00000325: POP 00000326: POP 00000327: POP 00000328: JUMP 00000329: JUMPDEST 0000032a: PUSH1 0x66 0000032c: SLOAD 0000032d: PUSH1 0x01 0000032f: PUSH1 0x01 00000331: PUSH1 0xa0 00000333: SHL 00000334: SUB 00000335: AND 00000336: CALLER 00000337: PUSH1 0x01 00000339: PUSH1 0x01 0000033b: PUSH1 0xa0 0000033d: SHL 0000033e: SUB 0000033f: AND 00000340: EQ 00000341: PUSH2 0x0383 00000344: JUMPI 00000345: PUSH1 0x40 00000347: MLOAD 00000348: PUSH3 0x461bcd 0000034c: PUSH1 0xe5 0000034e: SHL 0000034f: DUP2 00000350: MSTORE 00000351: PUSH1 0x20 00000353: PUSH1 0x04 00000355: DUP3 00000356: ADD 00000357: MSTORE 00000358: PUSH1 0x14 0000035a: PUSH1 0x24 0000035c: DUP3 0000035d: ADD 0000035e: MSTORE 0000035f: PUSH20 0x109c9a5919d94e881d5b985d5d1a1bdc9a5cd959 00000374: PUSH1 0x62 00000376: SHL 00000377: PUSH1 0x44 00000379: DUP3 0000037a: ADD 0000037b: MSTORE 0000037c: PUSH1 0x64 0000037e: ADD 0000037f: PUSH2 0x02cd 00000382: JUMP 00000383: JUMPDEST 00000384: PUSH1 0x66 00000386: DUP1 00000387: SLOAD 00000388: PUSH1 0x01 0000038a: PUSH1 0x01 0000038c: PUSH1 0xa0 0000038e: SHL 0000038f: SUB 00000390: NOT 00000391: AND 00000392: PUSH1 0x01 00000394: PUSH1 0x01 00000396: PUSH1 0xa0 00000398: SHL 00000399: SUB 0000039a: SWAP3 0000039b: SWAP1 0000039c: SWAP3 0000039d: AND 0000039e: SWAP2 0000039f: SWAP1 000003a0: SWAP2 000003a1: OR 000003a2: SWAP1 000003a3: SSTORE 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH1 0x66 000003a8: SLOAD 000003a9: PUSH1 0x01 000003ab: PUSH1 0x01 000003ad: PUSH1 0xa0 000003af: SHL 000003b0: SUB 000003b1: AND 000003b2: CALLER 000003b3: PUSH1 0x01 000003b5: PUSH1 0x01 000003b7: PUSH1 0xa0 000003b9: SHL 000003ba: SUB 000003bb: AND 000003bc: EQ 000003bd: PUSH2 0x03ff 000003c0: JUMPI 000003c1: PUSH1 0x40 000003c3: MLOAD 000003c4: PUSH3 0x461bcd 000003c8: PUSH1 0xe5 000003ca: SHL 000003cb: DUP2 000003cc: MSTORE 000003cd: PUSH1 0x20 000003cf: PUSH1 0x04 000003d1: DUP3 000003d2: ADD 000003d3: MSTORE 000003d4: PUSH1 0x14 000003d6: PUSH1 0x24 000003d8: DUP3 000003d9: ADD 000003da: MSTORE 000003db: PUSH20 0x109c9a5919d94e881d5b985d5d1a1bdc9a5cd959 000003f0: PUSH1 0x62 000003f2: SHL 000003f3: PUSH1 0x44 000003f5: DUP3 000003f6: ADD 000003f7: MSTORE 000003f8: PUSH1 0x64 000003fa: ADD 000003fb: PUSH2 0x02cd 000003fe: JUMP 000003ff: JUMPDEST 00000400: DUP3 00000401: DUP2 00000402: EQ 00000403: PUSH2 0x044e 00000406: JUMPI 00000407: PUSH1 0x40 00000409: MLOAD 0000040a: PUSH3 0x461bcd 0000040e: PUSH1 0xe5 00000410: SHL 00000411: DUP2 00000412: MSTORE 00000413: PUSH1 0x20 00000415: PUSH1 0x04 00000417: DUP3 00000418: ADD 00000419: MSTORE 0000041a: PUSH1 0x1c 0000041c: PUSH1 0x24 0000041e: DUP3 0000041f: ADD 00000420: MSTORE 00000421: PUSH32 0x4272696467653a206d69736d617463682064617461206c656e67746800000000 00000442: PUSH1 0x44 00000444: DUP3 00000445: ADD 00000446: MSTORE 00000447: PUSH1 0x64 00000449: ADD 0000044a: PUSH2 0x02cd 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x00 00000451: JUMPDEST 00000452: DUP4 00000453: DUP2 00000454: LT 00000455: ISZERO 00000456: PUSH2 0x04e5 00000459: JUMPI 0000045a: DUP3 0000045b: DUP3 0000045c: DUP3 0000045d: DUP2 0000045e: DUP2 0000045f: LT 00000460: PUSH2 0x046b 00000463: JUMPI 00000464: PUSH2 0x046b 00000467: PUSH2 0x1620 0000046a: JUMP 0000046b: JUMPDEST 0000046c: SWAP1 0000046d: POP 0000046e: PUSH1 0x20 00000470: MUL 00000471: ADD 00000472: PUSH1 0x20 00000474: DUP2 00000475: ADD 00000476: SWAP1 00000477: PUSH2 0x0480 0000047a: SWAP2 0000047b: SWAP1 0000047c: PUSH2 0x1644 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x65 00000483: PUSH1 0x00 00000485: DUP8 00000486: DUP8 00000487: DUP6 00000488: DUP2 00000489: DUP2 0000048a: LT 0000048b: PUSH2 0x0496 0000048e: JUMPI 0000048f: PUSH2 0x0496 00000492: PUSH2 0x1620 00000495: JUMP 00000496: JUMPDEST 00000497: SWAP1 00000498: POP 00000499: PUSH1 0x20 0000049b: MUL 0000049c: ADD 0000049d: PUSH1 0x20 0000049f: DUP2 000004a0: ADD 000004a1: SWAP1 000004a2: PUSH2 0x04ab 000004a5: SWAP2 000004a6: SWAP1 000004a7: PUSH2 0x1281 000004aa: JUMP 000004ab: JUMPDEST 000004ac: PUSH1 0x01 000004ae: PUSH1 0x01 000004b0: PUSH1 0xa0 000004b2: SHL 000004b3: SUB 000004b4: AND 000004b5: DUP2 000004b6: MSTORE 000004b7: PUSH1 0x20 000004b9: DUP2 000004ba: ADD 000004bb: SWAP2 000004bc: SWAP1 000004bd: SWAP2 000004be: MSTORE 000004bf: PUSH1 0x40 000004c1: ADD 000004c2: PUSH1 0x00 000004c4: KECCAK256 000004c5: DUP1 000004c6: SLOAD 000004c7: PUSH1 0xff 000004c9: NOT 000004ca: AND 000004cb: SWAP2 000004cc: ISZERO 000004cd: ISZERO 000004ce: SWAP2 000004cf: SWAP1 000004d0: SWAP2 000004d1: OR 000004d2: SWAP1 000004d3: SSTORE 000004d4: DUP1 000004d5: PUSH2 0x04dd 000004d8: DUP2 000004d9: PUSH2 0x1661 000004dc: JUMP 000004dd: JUMPDEST 000004de: SWAP2 000004df: POP 000004e0: POP 000004e1: PUSH2 0x0451 000004e4: JUMP 000004e5: JUMPDEST 000004e6: POP 000004e7: POP 000004e8: POP 000004e9: POP 000004ea: POP 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH2 0x04f4 000004f0: PUSH2 0x0d16 000004f3: JUMP 000004f4: JUMPDEST 000004f5: DUP5 000004f6: DUP4 000004f7: EQ 000004f8: DUP1 000004f9: ISZERO 000004fa: PUSH2 0x0502 000004fd: JUMPI 000004fe: POP 000004ff: DUP3 00000500: DUP2 00000501: EQ 00000502: JUMPDEST 00000503: PUSH2 0x054e 00000506: JUMPI 00000507: PUSH1 0x40 00000509: MLOAD 0000050a: PUSH3 0x461bcd 0000050e: PUSH1 0xe5 00000510: SHL 00000511: DUP2 00000512: MSTORE 00000513: PUSH1 0x20 00000515: PUSH1 0x04 00000517: DUP3 00000518: ADD 00000519: MSTORE 0000051a: PUSH1 0x1a 0000051c: PUSH1 0x24 0000051e: DUP3 0000051f: ADD 00000520: MSTORE 00000521: PUSH32 0x4272696467653a20696e76616c696420696e7075742064617461000000000000 00000542: PUSH1 0x44 00000544: DUP3 00000545: ADD 00000546: MSTORE 00000547: PUSH1 0x64 00000549: ADD 0000054a: PUSH2 0x02cd 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH1 0x00 00000551: JUMPDEST 00000552: DUP4 00000553: DUP2 00000554: LT 00000555: ISZERO 00000556: PUSH2 0x072e 00000559: JUMPI 0000055a: PUSH1 0x00 0000055c: DUP8 0000055d: DUP8 0000055e: DUP4 0000055f: DUP2 00000560: DUP2 00000561: LT 00000562: PUSH2 0x056d 00000565: JUMPI 00000566: PUSH2 0x056d 00000569: PUSH2 0x1620 0000056c: JUMP 0000056d: JUMPDEST 0000056e: SWAP1 0000056f: POP 00000570: PUSH1 0x20 00000572: MUL 00000573: ADD 00000574: PUSH1 0x20 00000576: DUP2 00000577: ADD 00000578: SWAP1 00000579: PUSH2 0x0582 0000057c: SWAP2 0000057d: SWAP1 0000057e: PUSH2 0x1281 00000581: JUMP 00000582: JUMPDEST 00000583: PUSH1 0x01 00000585: PUSH1 0x01 00000587: PUSH1 0xa0 00000589: SHL 0000058a: SUB 0000058b: AND 0000058c: EQ 0000058d: ISZERO 0000058e: DUP1 0000058f: ISZERO 00000590: PUSH2 0x05ce 00000593: JUMPI 00000594: POP 00000595: PUSH2 0x05ce 00000598: ADDRESS 00000599: DUP9 0000059a: DUP9 0000059b: DUP5 0000059c: DUP2 0000059d: DUP2 0000059e: LT 0000059f: PUSH2 0x05aa 000005a2: JUMPI 000005a3: PUSH2 0x05aa 000005a6: PUSH2 0x1620 000005a9: JUMP 000005aa: JUMPDEST 000005ab: SWAP1 000005ac: POP 000005ad: PUSH1 0x20 000005af: MUL 000005b0: ADD 000005b1: PUSH1 0x20 000005b3: DUP2 000005b4: ADD 000005b5: SWAP1 000005b6: PUSH2 0x05bf 000005b9: SWAP2 000005ba: SWAP1 000005bb: PUSH2 0x1281 000005be: JUMP 000005bf: JUMPDEST 000005c0: PUSH1 0x01 000005c2: PUSH1 0x01 000005c4: PUSH1 0xa0 000005c6: SHL 000005c7: SUB 000005c8: AND 000005c9: SWAP1 000005ca: PUSH2 0x0d70 000005cd: JUMP 000005ce: JUMPDEST 000005cf: ISZERO 000005d0: PUSH2 0x06ad 000005d3: JUMPI 000005d4: DUP7 000005d5: DUP7 000005d6: DUP3 000005d7: DUP2 000005d8: DUP2 000005d9: LT 000005da: PUSH2 0x05e5 000005dd: JUMPI 000005de: PUSH2 0x05e5 000005e1: PUSH2 0x1620 000005e4: JUMP 000005e5: JUMPDEST 000005e6: SWAP1 000005e7: POP 000005e8: PUSH1 0x20 000005ea: MUL 000005eb: ADD 000005ec: PUSH1 0x20 000005ee: DUP2 000005ef: ADD 000005f0: SWAP1 000005f1: PUSH2 0x05fa 000005f4: SWAP2 000005f5: SWAP1 000005f6: PUSH2 0x1281 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH1 0x01 000005fd: PUSH1 0x01 000005ff: PUSH1 0xa0 00000601: SHL 00000602: SUB 00000603: AND 00000604: PUSH4 0x40c10f19 00000609: DUP7 0000060a: DUP7 0000060b: DUP5 0000060c: DUP2 0000060d: DUP2 0000060e: LT 0000060f: PUSH2 0x061a 00000612: JUMPI 00000613: PUSH2 0x061a 00000616: PUSH2 0x1620 00000619: JUMP 0000061a: JUMPDEST 0000061b: SWAP1 0000061c: POP 0000061d: PUSH1 0x20 0000061f: MUL 00000620: ADD 00000621: PUSH1 0x20 00000623: DUP2 00000624: ADD 00000625: SWAP1 00000626: PUSH2 0x062f 00000629: SWAP2 0000062a: SWAP1 0000062b: PUSH2 0x1281 0000062e: JUMP 0000062f: JUMPDEST 00000630: DUP6 00000631: DUP6 00000632: DUP6 00000633: DUP2 00000634: DUP2 00000635: LT 00000636: PUSH2 0x0641 00000639: JUMPI 0000063a: PUSH2 0x0641 0000063d: PUSH2 0x1620 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x40 00000644: MLOAD 00000645: PUSH1 0x01 00000647: PUSH1 0x01 00000649: PUSH1 0xe0 0000064b: SHL 0000064c: SUB 0000064d: NOT 0000064e: PUSH1 0xe0 00000650: DUP8 00000651: SWAP1 00000652: SHL 00000653: AND 00000654: DUP2 00000655: MSTORE 00000656: PUSH1 0x01 00000658: PUSH1 0x01 0000065a: PUSH1 0xa0 0000065c: SHL 0000065d: SUB 0000065e: SWAP1 0000065f: SWAP5 00000660: AND 00000661: PUSH1 0x04 00000663: DUP6 00000664: ADD 00000665: MSTORE 00000666: PUSH1 0x20 00000668: MUL 00000669: SWAP2 0000066a: SWAP1 0000066b: SWAP2 0000066c: ADD 0000066d: CALLDATALOAD 0000066e: PUSH1 0x24 00000670: DUP4 00000671: ADD 00000672: MSTORE 00000673: POP 00000674: PUSH1 0x44 00000676: ADD 00000677: PUSH1 0x00 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: DUP1 0000067d: DUP4 0000067e: SUB 0000067f: DUP2 00000680: PUSH1 0x00 00000682: DUP8 00000683: DUP1 00000684: EXTCODESIZE 00000685: ISZERO 00000686: DUP1 00000687: ISZERO 00000688: PUSH2 0x0690 0000068b: JUMPI 0000068c: PUSH1 0x00 0000068e: DUP1 0000068f: REVERT 00000690: JUMPDEST 00000691: POP 00000692: GAS 00000693: CALL 00000694: ISZERO 00000695: DUP1 00000696: ISZERO 00000697: PUSH2 0x06a4 0000069a: JUMPI 0000069b: RETURNDATASIZE 0000069c: PUSH1 0x00 0000069e: DUP1 0000069f: RETURNDATACOPY 000006a0: RETURNDATASIZE 000006a1: PUSH1 0x00 000006a3: REVERT 000006a4: JUMPDEST 000006a5: POP 000006a6: POP 000006a7: POP 000006a8: POP 000006a9: PUSH2 0x071c 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH2 0x071c 000006b1: DUP8 000006b2: DUP8 000006b3: DUP4 000006b4: DUP2 000006b5: DUP2 000006b6: LT 000006b7: PUSH2 0x06c2 000006ba: JUMPI 000006bb: PUSH2 0x06c2 000006be: PUSH2 0x1620 000006c1: JUMP 000006c2: JUMPDEST 000006c3: SWAP1 000006c4: POP 000006c5: PUSH1 0x20 000006c7: MUL 000006c8: ADD 000006c9: PUSH1 0x20 000006cb: DUP2 000006cc: ADD 000006cd: SWAP1 000006ce: PUSH2 0x06d7 000006d1: SWAP2 000006d2: SWAP1 000006d3: PUSH2 0x1281 000006d6: JUMP 000006d7: JUMPDEST 000006d8: DUP7 000006d9: DUP7 000006da: DUP5 000006db: DUP2 000006dc: DUP2 000006dd: LT 000006de: PUSH2 0x06e9 000006e1: JUMPI 000006e2: PUSH2 0x06e9 000006e5: PUSH2 0x1620 000006e8: JUMP 000006e9: JUMPDEST 000006ea: SWAP1 000006eb: POP 000006ec: PUSH1 0x20 000006ee: MUL 000006ef: ADD 000006f0: PUSH1 0x20 000006f2: DUP2 000006f3: ADD 000006f4: SWAP1 000006f5: PUSH2 0x06fe 000006f8: SWAP2 000006f9: SWAP1 000006fa: PUSH2 0x1281 000006fd: JUMP 000006fe: JUMPDEST 000006ff: DUP6 00000700: DUP6 00000701: DUP6 00000702: DUP2 00000703: DUP2 00000704: LT 00000705: PUSH2 0x0710 00000708: JUMPI 00000709: PUSH2 0x0710 0000070c: PUSH2 0x1620 0000070f: JUMP 00000710: JUMPDEST 00000711: SWAP1 00000712: POP 00000713: PUSH1 0x20 00000715: MUL 00000716: ADD 00000717: CALLDATALOAD 00000718: PUSH2 0x0e4a 0000071b: JUMP 0000071c: JUMPDEST 0000071d: DUP1 0000071e: PUSH2 0x0726 00000721: DUP2 00000722: PUSH2 0x1661 00000725: JUMP 00000726: JUMPDEST 00000727: SWAP2 00000728: POP 00000729: POP 0000072a: PUSH2 0x0551 0000072d: JUMP 0000072e: JUMPDEST 0000072f: POP 00000730: PUSH32 0xe9914506df53b6ba40090fea5ed4edb71623a51062de3125c2dc65b23de6d05e 00000751: DUP7 00000752: DUP7 00000753: DUP7 00000754: DUP7 00000755: DUP7 00000756: DUP7 00000757: PUSH1 0x40 00000759: MLOAD 0000075a: PUSH2 0x0319 0000075d: SWAP7 0000075e: SWAP6 0000075f: SWAP5 00000760: SWAP4 00000761: SWAP3 00000762: SWAP2 00000763: SWAP1 00000764: PUSH2 0x1703 00000767: JUMP 00000768: JUMPDEST 00000769: PUSH2 0x0770 0000076c: PUSH2 0x0d16 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH2 0x077a 00000774: PUSH1 0x00 00000776: PUSH2 0x0f1a 00000779: JUMP 0000077a: JUMPDEST 0000077b: JUMP 0000077c: JUMPDEST 0000077d: PUSH1 0x00 0000077f: SLOAD 00000780: PUSH2 0x0100 00000783: SWAP1 00000784: DIV 00000785: PUSH1 0xff 00000787: AND 00000788: ISZERO 00000789: DUP1 0000078a: DUP1 0000078b: ISZERO 0000078c: PUSH2 0x079c 0000078f: JUMPI 00000790: POP 00000791: PUSH1 0x00 00000793: SLOAD 00000794: PUSH1 0x01 00000796: PUSH1 0xff 00000798: SWAP1 00000799: SWAP2 0000079a: AND 0000079b: LT 0000079c: JUMPDEST 0000079d: DUP1 0000079e: PUSH2 0x07b6 000007a1: JUMPI 000007a2: POP 000007a3: ADDRESS 000007a4: EXTCODESIZE 000007a5: ISZERO 000007a6: DUP1 000007a7: ISZERO 000007a8: PUSH2 0x07b6 000007ab: JUMPI 000007ac: POP 000007ad: PUSH1 0x00 000007af: SLOAD 000007b0: PUSH1 0xff 000007b2: AND 000007b3: PUSH1 0x01 000007b5: EQ 000007b6: JUMPDEST 000007b7: PUSH2 0x0819 000007ba: JUMPI 000007bb: PUSH1 0x40 000007bd: MLOAD 000007be: PUSH3 0x461bcd 000007c2: PUSH1 0xe5 000007c4: SHL 000007c5: DUP2 000007c6: MSTORE 000007c7: PUSH1 0x20 000007c9: PUSH1 0x04 000007cb: DUP3 000007cc: ADD 000007cd: MSTORE 000007ce: PUSH1 0x2e 000007d0: PUSH1 0x24 000007d2: DUP3 000007d3: ADD 000007d4: MSTORE 000007d5: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 000007f6: PUSH1 0x44 000007f8: DUP3 000007f9: ADD 000007fa: MSTORE 000007fb: PUSH14 0x191e481a5b9a5d1a585b1a5e9959 0000080a: PUSH1 0x92 0000080c: SHL 0000080d: PUSH1 0x64 0000080f: DUP3 00000810: ADD 00000811: MSTORE 00000812: PUSH1 0x84 00000814: ADD 00000815: PUSH2 0x02cd 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH1 0x00 0000081c: DUP1 0000081d: SLOAD 0000081e: PUSH1 0xff 00000820: NOT 00000821: AND 00000822: PUSH1 0x01 00000824: OR 00000825: SWAP1 00000826: SSTORE 00000827: DUP1 00000828: ISZERO 00000829: PUSH2 0x083c 0000082c: JUMPI 0000082d: PUSH1 0x00 0000082f: DUP1 00000830: SLOAD 00000831: PUSH2 0xff00 00000834: NOT 00000835: AND 00000836: PUSH2 0x0100 00000839: OR 0000083a: SWAP1 0000083b: SSTORE 0000083c: JUMPDEST 0000083d: PUSH1 0x01 0000083f: PUSH1 0x01 00000841: PUSH1 0xa0 00000843: SHL 00000844: SUB 00000845: DUP6 00000846: AND 00000847: ISZERO 00000848: DUP1 00000849: ISZERO 0000084a: SWAP1 0000084b: PUSH2 0x085c 0000084e: JUMPI 0000084f: POP 00000850: PUSH1 0x01 00000852: PUSH1 0x01 00000854: PUSH1 0xa0 00000856: SHL 00000857: SUB 00000858: DUP5 00000859: AND 0000085a: ISZERO 0000085b: ISZERO 0000085c: JUMPDEST 0000085d: PUSH2 0x08a8 00000860: JUMPI 00000861: PUSH1 0x40 00000863: MLOAD 00000864: PUSH3 0x461bcd 00000868: PUSH1 0xe5 0000086a: SHL 0000086b: DUP2 0000086c: MSTORE 0000086d: PUSH1 0x20 0000086f: PUSH1 0x04 00000871: DUP3 00000872: ADD 00000873: MSTORE 00000874: PUSH1 0x17 00000876: PUSH1 0x24 00000878: DUP3 00000879: ADD 0000087a: MSTORE 0000087b: PUSH32 0x4272696467653a20696e76616c69642061646472657373000000000000000000 0000089c: PUSH1 0x44 0000089e: DUP3 0000089f: ADD 000008a0: MSTORE 000008a1: PUSH1 0x64 000008a3: ADD 000008a4: PUSH2 0x02cd 000008a7: JUMP 000008a8: JUMPDEST 000008a9: PUSH2 0x08b1 000008ac: DUP6 000008ad: PUSH2 0x0f1a 000008b0: JUMP 000008b1: JUMPDEST 000008b2: PUSH1 0x66 000008b4: DUP1 000008b5: SLOAD 000008b6: PUSH1 0x01 000008b8: PUSH1 0x01 000008ba: PUSH1 0xa0 000008bc: SHL 000008bd: SUB 000008be: NOT 000008bf: AND 000008c0: PUSH1 0x01 000008c2: PUSH1 0x01 000008c4: PUSH1 0xa0 000008c6: SHL 000008c7: SUB 000008c8: DUP7 000008c9: AND 000008ca: OR 000008cb: SWAP1 000008cc: SSTORE 000008cd: PUSH1 0x00 000008cf: JUMPDEST 000008d0: DUP3 000008d1: DUP2 000008d2: LT 000008d3: ISZERO 000008d4: PUSH2 0x093e 000008d7: JUMPI 000008d8: PUSH1 0x01 000008da: PUSH1 0x65 000008dc: PUSH1 0x00 000008de: DUP7 000008df: DUP7 000008e0: DUP6 000008e1: DUP2 000008e2: DUP2 000008e3: LT 000008e4: PUSH2 0x08ef 000008e7: JUMPI 000008e8: PUSH2 0x08ef 000008eb: PUSH2 0x1620 000008ee: JUMP 000008ef: JUMPDEST 000008f0: SWAP1 000008f1: POP 000008f2: PUSH1 0x20 000008f4: MUL 000008f5: ADD 000008f6: PUSH1 0x20 000008f8: DUP2 000008f9: ADD 000008fa: SWAP1 000008fb: PUSH2 0x0904 000008fe: SWAP2 000008ff: SWAP1 00000900: PUSH2 0x1281 00000903: JUMP 00000904: JUMPDEST 00000905: PUSH1 0x01 00000907: PUSH1 0x01 00000909: PUSH1 0xa0 0000090b: SHL 0000090c: SUB 0000090d: AND 0000090e: DUP2 0000090f: MSTORE 00000910: PUSH1 0x20 00000912: DUP2 00000913: ADD 00000914: SWAP2 00000915: SWAP1 00000916: SWAP2 00000917: MSTORE 00000918: PUSH1 0x40 0000091a: ADD 0000091b: PUSH1 0x00 0000091d: KECCAK256 0000091e: DUP1 0000091f: SLOAD 00000920: PUSH1 0xff 00000922: NOT 00000923: AND 00000924: SWAP2 00000925: ISZERO 00000926: ISZERO 00000927: SWAP2 00000928: SWAP1 00000929: SWAP2 0000092a: OR 0000092b: SWAP1 0000092c: SSTORE 0000092d: DUP1 0000092e: PUSH2 0x0936 00000931: DUP2 00000932: PUSH2 0x1661 00000935: JUMP 00000936: JUMPDEST 00000937: SWAP2 00000938: POP 00000939: POP 0000093a: PUSH2 0x08cf 0000093d: JUMP 0000093e: JUMPDEST 0000093f: POP 00000940: DUP1 00000941: ISZERO 00000942: PUSH2 0x04e5 00000945: JUMPI 00000946: PUSH1 0x00 00000948: DUP1 00000949: SLOAD 0000094a: PUSH2 0xff00 0000094d: NOT 0000094e: AND 0000094f: SWAP1 00000950: SSTORE 00000951: PUSH1 0x40 00000953: MLOAD 00000954: PUSH1 0x01 00000956: DUP2 00000957: MSTORE 00000958: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00000979: SWAP1 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: PUSH1 0x40 0000097f: MLOAD 00000980: DUP1 00000981: SWAP2 00000982: SUB 00000983: SWAP1 00000984: LOG1 00000985: POP 00000986: POP 00000987: POP 00000988: POP 00000989: POP 0000098a: JUMP 0000098b: JUMPDEST 0000098c: PUSH2 0x0993 0000098f: PUSH2 0x0d16 00000992: JUMP 00000993: JUMPDEST 00000994: DUP3 00000995: DUP2 00000996: EQ 00000997: PUSH2 0x09e2 0000099a: JUMPI 0000099b: PUSH1 0x40 0000099d: MLOAD 0000099e: PUSH3 0x461bcd 000009a2: PUSH1 0xe5 000009a4: SHL 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x20 000009a9: PUSH1 0x04 000009ab: DUP3 000009ac: ADD 000009ad: MSTORE 000009ae: PUSH1 0x1a 000009b0: PUSH1 0x24 000009b2: DUP3 000009b3: ADD 000009b4: MSTORE 000009b5: PUSH32 0x4272696467653a20696e76616c696420696e7075742064617461000000000000 000009d6: PUSH1 0x44 000009d8: DUP3 000009d9: ADD 000009da: MSTORE 000009db: PUSH1 0x64 000009dd: ADD 000009de: PUSH2 0x02cd 000009e1: JUMP 000009e2: JUMPDEST 000009e3: PUSH1 0x00 000009e5: PUSH1 0x01 000009e7: PUSH1 0x01 000009e9: PUSH1 0xa0 000009eb: SHL 000009ec: SUB 000009ed: DUP7 000009ee: AND 000009ef: ISZERO 000009f0: DUP1 000009f1: ISZERO 000009f2: SWAP1 000009f3: PUSH2 0x0a0a 000009f6: JUMPI 000009f7: POP 000009f8: PUSH2 0x0a0a 000009fb: PUSH1 0x01 000009fd: PUSH1 0x01 000009ff: PUSH1 0xa0 00000a01: SHL 00000a02: SUB 00000a03: DUP8 00000a04: AND 00000a05: ADDRESS 00000a06: PUSH2 0x0d70 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: SWAP1 00000a0c: POP 00000a0d: PUSH1 0x00 00000a0f: JUMPDEST 00000a10: DUP5 00000a11: DUP2 00000a12: LT 00000a13: ISZERO 00000a14: PUSH2 0x0b20 00000a17: JUMPI 00000a18: DUP2 00000a19: ISZERO 00000a1a: PUSH2 0x0ad1 00000a1d: JUMPI 00000a1e: DUP7 00000a1f: PUSH1 0x01 00000a21: PUSH1 0x01 00000a23: PUSH1 0xa0 00000a25: SHL 00000a26: SUB 00000a27: AND 00000a28: PUSH4 0x40c10f19 00000a2d: DUP8 00000a2e: DUP8 00000a2f: DUP5 00000a30: DUP2 00000a31: DUP2 00000a32: LT 00000a33: PUSH2 0x0a3e 00000a36: JUMPI 00000a37: PUSH2 0x0a3e 00000a3a: PUSH2 0x1620 00000a3d: JUMP 00000a3e: JUMPDEST 00000a3f: SWAP1 00000a40: POP 00000a41: PUSH1 0x20 00000a43: MUL 00000a44: ADD 00000a45: PUSH1 0x20 00000a47: DUP2 00000a48: ADD 00000a49: SWAP1 00000a4a: PUSH2 0x0a53 00000a4d: SWAP2 00000a4e: SWAP1 00000a4f: PUSH2 0x1281 00000a52: JUMP 00000a53: JUMPDEST 00000a54: DUP7 00000a55: DUP7 00000a56: DUP6 00000a57: DUP2 00000a58: DUP2 00000a59: LT 00000a5a: PUSH2 0x0a65 00000a5d: JUMPI 00000a5e: PUSH2 0x0a65 00000a61: PUSH2 0x1620 00000a64: JUMP 00000a65: JUMPDEST 00000a66: PUSH1 0x40 00000a68: MLOAD 00000a69: PUSH1 0x01 00000a6b: PUSH1 0x01 00000a6d: PUSH1 0xe0 00000a6f: SHL 00000a70: SUB 00000a71: NOT 00000a72: PUSH1 0xe0 00000a74: DUP8 00000a75: SWAP1 00000a76: SHL 00000a77: AND 00000a78: DUP2 00000a79: MSTORE 00000a7a: PUSH1 0x01 00000a7c: PUSH1 0x01 00000a7e: PUSH1 0xa0 00000a80: SHL 00000a81: SUB 00000a82: SWAP1 00000a83: SWAP5 00000a84: AND 00000a85: PUSH1 0x04 00000a87: DUP6 00000a88: ADD 00000a89: MSTORE 00000a8a: PUSH1 0x20 00000a8c: MUL 00000a8d: SWAP2 00000a8e: SWAP1 00000a8f: SWAP2 00000a90: ADD 00000a91: CALLDATALOAD 00000a92: PUSH1 0x24 00000a94: DUP4 00000a95: ADD 00000a96: MSTORE 00000a97: POP 00000a98: PUSH1 0x44 00000a9a: ADD 00000a9b: PUSH1 0x00 00000a9d: PUSH1 0x40 00000a9f: MLOAD 00000aa0: DUP1 00000aa1: DUP4 00000aa2: SUB 00000aa3: DUP2 00000aa4: PUSH1 0x00 00000aa6: DUP8 00000aa7: DUP1 00000aa8: EXTCODESIZE 00000aa9: ISZERO 00000aaa: DUP1 00000aab: ISZERO 00000aac: PUSH2 0x0ab4 00000aaf: JUMPI 00000ab0: PUSH1 0x00 00000ab2: DUP1 00000ab3: REVERT 00000ab4: JUMPDEST 00000ab5: POP 00000ab6: GAS 00000ab7: CALL 00000ab8: ISZERO 00000ab9: DUP1 00000aba: ISZERO 00000abb: PUSH2 0x0ac8 00000abe: JUMPI 00000abf: RETURNDATASIZE 00000ac0: PUSH1 0x00 00000ac2: DUP1 00000ac3: RETURNDATACOPY 00000ac4: RETURNDATASIZE 00000ac5: PUSH1 0x00 00000ac7: REVERT 00000ac8: JUMPDEST 00000ac9: POP 00000aca: POP 00000acb: POP 00000acc: POP 00000acd: PUSH2 0x0b0e 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH2 0x0b0e 00000ad5: DUP8 00000ad6: DUP8 00000ad7: DUP8 00000ad8: DUP5 00000ad9: DUP2 00000ada: DUP2 00000adb: LT 00000adc: PUSH2 0x0ae7 00000adf: JUMPI 00000ae0: PUSH2 0x0ae7 00000ae3: PUSH2 0x1620 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: SWAP1 00000ae9: POP 00000aea: PUSH1 0x20 00000aec: MUL 00000aed: ADD 00000aee: PUSH1 0x20 00000af0: DUP2 00000af1: ADD 00000af2: SWAP1 00000af3: PUSH2 0x0afc 00000af6: SWAP2 00000af7: SWAP1 00000af8: PUSH2 0x1281 00000afb: JUMP 00000afc: JUMPDEST 00000afd: DUP7 00000afe: DUP7 00000aff: DUP6 00000b00: DUP2 00000b01: DUP2 00000b02: LT 00000b03: PUSH2 0x0710 00000b06: JUMPI 00000b07: PUSH2 0x0710 00000b0a: PUSH2 0x1620 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: DUP1 00000b10: PUSH2 0x0b18 00000b13: DUP2 00000b14: PUSH2 0x1661 00000b17: JUMP 00000b18: JUMPDEST 00000b19: SWAP2 00000b1a: POP 00000b1b: POP 00000b1c: PUSH2 0x0a0f 00000b1f: JUMP 00000b20: JUMPDEST 00000b21: POP 00000b22: PUSH32 0xa20ca4d8d83b89ff090c0ea7b3c3c600625d46681874e0c0d1e35a1d1d4964dd 00000b43: DUP7 00000b44: DUP7 00000b45: DUP7 00000b46: DUP7 00000b47: DUP7 00000b48: PUSH1 0x40 00000b4a: MLOAD 00000b4b: PUSH2 0x0319 00000b4e: SWAP6 00000b4f: SWAP5 00000b50: SWAP4 00000b51: SWAP3 00000b52: SWAP2 00000b53: SWAP1 00000b54: PUSH2 0x177d 00000b57: JUMP 00000b58: JUMPDEST 00000b59: CHAINID 00000b5a: DUP2 00000b5b: DUP2 00000b5c: SUB 00000b5d: PUSH2 0x0ba8 00000b60: JUMPI 00000b61: PUSH1 0x40 00000b63: MLOAD 00000b64: PUSH3 0x461bcd 00000b68: PUSH1 0xe5 00000b6a: SHL 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x20 00000b6f: PUSH1 0x04 00000b71: DUP3 00000b72: ADD 00000b73: MSTORE 00000b74: PUSH1 0x1d 00000b76: PUSH1 0x24 00000b78: DUP3 00000b79: ADD 00000b7a: MSTORE 00000b7b: PUSH32 0x4272696467653a20696e76616c6964206465737420636861696e206964000000 00000b9c: PUSH1 0x44 00000b9e: DUP3 00000b9f: ADD 00000ba0: MSTORE 00000ba1: PUSH1 0x64 00000ba3: ADD 00000ba4: PUSH2 0x02cd 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: PUSH32 0xc28e54186544d7357308b86c8319edd275e0db552d62381cf49f827791845c61 00000bca: PUSH1 0x00 00000bcc: CALLER 00000bcd: CALLVALUE 00000bce: DUP8 00000bcf: DUP8 00000bd0: DUP8 00000bd1: PUSH1 0x40 00000bd3: MLOAD 00000bd4: PUSH2 0x0be2 00000bd7: SWAP7 00000bd8: SWAP6 00000bd9: SWAP5 00000bda: SWAP4 00000bdb: SWAP3 00000bdc: SWAP2 00000bdd: SWAP1 00000bde: PUSH2 0x15c5 00000be1: JUMP 00000be2: JUMPDEST 00000be3: PUSH1 0x40 00000be5: MLOAD 00000be6: DUP1 00000be7: SWAP2 00000be8: SUB 00000be9: SWAP1 00000bea: LOG1 00000beb: POP 00000bec: POP 00000bed: POP 00000bee: POP 00000bef: JUMP 00000bf0: JUMPDEST 00000bf1: PUSH2 0x0bf8 00000bf4: PUSH2 0x0d16 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0x01 00000bfd: PUSH1 0xa0 00000bff: SHL 00000c00: SUB 00000c01: DUP2 00000c02: AND 00000c03: PUSH2 0x0c5d 00000c06: JUMPI 00000c07: PUSH1 0x40 00000c09: MLOAD 00000c0a: PUSH3 0x461bcd 00000c0e: PUSH1 0xe5 00000c10: SHL 00000c11: DUP2 00000c12: MSTORE 00000c13: PUSH1 0x20 00000c15: PUSH1 0x04 00000c17: DUP3 00000c18: ADD 00000c19: MSTORE 00000c1a: PUSH1 0x26 00000c1c: PUSH1 0x24 00000c1e: DUP3 00000c1f: ADD 00000c20: MSTORE 00000c21: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000c42: PUSH1 0x44 00000c44: DUP3 00000c45: ADD 00000c46: MSTORE 00000c47: PUSH6 0x646472657373 00000c4e: PUSH1 0xd0 00000c50: SHL 00000c51: PUSH1 0x64 00000c53: DUP3 00000c54: ADD 00000c55: MSTORE 00000c56: PUSH1 0x84 00000c58: ADD 00000c59: PUSH2 0x02cd 00000c5c: JUMP 00000c5d: JUMPDEST 00000c5e: PUSH2 0x0c66 00000c61: DUP2 00000c62: PUSH2 0x0f1a 00000c65: JUMP 00000c66: JUMPDEST 00000c67: POP 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH1 0x01 00000c6c: PUSH1 0x01 00000c6e: PUSH1 0xa0 00000c70: SHL 00000c71: SUB 00000c72: DUP3 00000c73: AND 00000c74: PUSH1 0x00 00000c76: SWAP1 00000c77: DUP2 00000c78: MSTORE 00000c79: PUSH1 0x65 00000c7b: PUSH1 0x20 00000c7d: MSTORE 00000c7e: PUSH1 0x40 00000c80: SWAP1 00000c81: KECCAK256 00000c82: SLOAD 00000c83: PUSH1 0xff 00000c85: AND 00000c86: PUSH2 0x0ca2 00000c89: JUMPI 00000c8a: PUSH2 0x0c9e 00000c8d: PUSH1 0x01 00000c8f: PUSH1 0x01 00000c91: PUSH1 0xa0 00000c93: SHL 00000c94: SUB 00000c95: DUP4 00000c96: AND 00000c97: CALLER 00000c98: ADDRESS 00000c99: DUP5 00000c9a: PUSH2 0x0f6c 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: POP 00000ca0: POP 00000ca1: JUMP 00000ca2: JUMPDEST 00000ca3: PUSH1 0x01 00000ca5: PUSH1 0x01 00000ca7: PUSH1 0xa0 00000ca9: SHL 00000caa: SUB 00000cab: DUP3 00000cac: AND 00000cad: PUSH4 0x79cc6790 00000cb2: CALLER 00000cb3: PUSH1 0x40 00000cb5: MLOAD 00000cb6: PUSH1 0x01 00000cb8: PUSH1 0x01 00000cba: PUSH1 0xe0 00000cbc: SHL 00000cbd: SUB 00000cbe: NOT 00000cbf: PUSH1 0xe0 00000cc1: DUP5 00000cc2: SWAP1 00000cc3: SHL 00000cc4: AND 00000cc5: DUP2 00000cc6: MSTORE 00000cc7: PUSH1 0x01 00000cc9: PUSH1 0x01 00000ccb: PUSH1 0xa0 00000ccd: SHL 00000cce: SUB 00000ccf: SWAP1 00000cd0: SWAP2 00000cd1: AND 00000cd2: PUSH1 0x04 00000cd4: DUP3 00000cd5: ADD 00000cd6: MSTORE 00000cd7: PUSH1 0x24 00000cd9: DUP2 00000cda: ADD 00000cdb: DUP5 00000cdc: SWAP1 00000cdd: MSTORE 00000cde: PUSH1 0x44 00000ce0: ADD 00000ce1: PUSH1 0x00 00000ce3: PUSH1 0x40 00000ce5: MLOAD 00000ce6: DUP1 00000ce7: DUP4 00000ce8: SUB 00000ce9: DUP2 00000cea: PUSH1 0x00 00000cec: DUP8 00000ced: DUP1 00000cee: EXTCODESIZE 00000cef: ISZERO 00000cf0: DUP1 00000cf1: ISZERO 00000cf2: PUSH2 0x0cfa 00000cf5: JUMPI 00000cf6: PUSH1 0x00 00000cf8: DUP1 00000cf9: REVERT 00000cfa: JUMPDEST 00000cfb: POP 00000cfc: GAS 00000cfd: CALL 00000cfe: ISZERO 00000cff: DUP1 00000d00: ISZERO 00000d01: PUSH2 0x0d0e 00000d04: JUMPI 00000d05: RETURNDATASIZE 00000d06: PUSH1 0x00 00000d08: DUP1 00000d09: RETURNDATACOPY 00000d0a: RETURNDATASIZE 00000d0b: PUSH1 0x00 00000d0d: REVERT 00000d0e: JUMPDEST 00000d0f: POP 00000d10: POP 00000d11: POP 00000d12: POP 00000d13: POP 00000d14: POP 00000d15: JUMP 00000d16: JUMPDEST 00000d17: PUSH1 0x33 00000d19: SLOAD 00000d1a: PUSH1 0x01 00000d1c: PUSH1 0x01 00000d1e: PUSH1 0xa0 00000d20: SHL 00000d21: SUB 00000d22: AND 00000d23: CALLER 00000d24: EQ 00000d25: PUSH2 0x077a 00000d28: JUMPI 00000d29: PUSH1 0x40 00000d2b: MLOAD 00000d2c: PUSH3 0x461bcd 00000d30: PUSH1 0xe5 00000d32: SHL 00000d33: DUP2 00000d34: MSTORE 00000d35: PUSH1 0x20 00000d37: PUSH1 0x04 00000d39: DUP3 00000d3a: ADD 00000d3b: DUP2 00000d3c: SWAP1 00000d3d: MSTORE 00000d3e: PUSH1 0x24 00000d40: DUP3 00000d41: ADD 00000d42: MSTORE 00000d43: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000d64: PUSH1 0x44 00000d66: DUP3 00000d67: ADD 00000d68: MSTORE 00000d69: PUSH1 0x64 00000d6b: ADD 00000d6c: PUSH2 0x02cd 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: PUSH1 0x40 00000d73: DUP1 00000d74: MLOAD 00000d75: PUSH1 0x04 00000d77: DUP2 00000d78: MSTORE 00000d79: PUSH1 0x24 00000d7b: DUP2 00000d7c: ADD 00000d7d: DUP3 00000d7e: MSTORE 00000d7f: PUSH1 0x20 00000d81: DUP2 00000d82: ADD 00000d83: DUP1 00000d84: MLOAD 00000d85: PUSH1 0x01 00000d87: PUSH1 0x01 00000d89: PUSH1 0xe0 00000d8b: SHL 00000d8c: SUB 00000d8d: AND 00000d8e: PUSH4 0x8da5cb5b 00000d93: PUSH1 0xe0 00000d95: SHL 00000d96: OR 00000d97: SWAP1 00000d98: MSTORE 00000d99: SWAP1 00000d9a: MLOAD 00000d9b: PUSH1 0x00 00000d9d: SWAP2 00000d9e: DUP3 00000d9f: SWAP2 00000da0: DUP3 00000da1: SWAP2 00000da2: PUSH1 0x01 00000da4: PUSH1 0x01 00000da6: PUSH1 0xa0 00000da8: SHL 00000da9: SUB 00000daa: DUP8 00000dab: AND 00000dac: SWAP2 00000dad: PUSH2 0x0db6 00000db0: SWAP2 00000db1: SWAP1 00000db2: PUSH2 0x17e5 00000db5: JUMP 00000db6: JUMPDEST 00000db7: PUSH1 0x00 00000db9: PUSH1 0x40 00000dbb: MLOAD 00000dbc: DUP1 00000dbd: DUP4 00000dbe: SUB 00000dbf: DUP2 00000dc0: DUP6 00000dc1: GAS 00000dc2: STATICCALL 00000dc3: SWAP2 00000dc4: POP 00000dc5: POP 00000dc6: RETURNDATASIZE 00000dc7: DUP1 00000dc8: PUSH1 0x00 00000dca: DUP2 00000dcb: EQ 00000dcc: PUSH2 0x0df1 00000dcf: JUMPI 00000dd0: PUSH1 0x40 00000dd2: MLOAD 00000dd3: SWAP2 00000dd4: POP 00000dd5: PUSH1 0x1f 00000dd7: NOT 00000dd8: PUSH1 0x3f 00000dda: RETURNDATASIZE 00000ddb: ADD 00000ddc: AND 00000ddd: DUP3 00000dde: ADD 00000ddf: PUSH1 0x40 00000de1: MSTORE 00000de2: RETURNDATASIZE 00000de3: DUP3 00000de4: MSTORE 00000de5: RETURNDATASIZE 00000de6: PUSH1 0x00 00000de8: PUSH1 0x20 00000dea: DUP5 00000deb: ADD 00000dec: RETURNDATACOPY 00000ded: PUSH2 0x0df6 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH1 0x60 00000df4: SWAP2 00000df5: POP 00000df6: JUMPDEST 00000df7: POP 00000df8: SWAP2 00000df9: POP 00000dfa: SWAP2 00000dfb: POP 00000dfc: DUP2 00000dfd: ISZERO 00000dfe: DUP1 00000dff: PUSH2 0x0e07 00000e02: JUMPI 00000e03: POP 00000e04: DUP1 00000e05: MLOAD 00000e06: ISZERO 00000e07: JUMPDEST 00000e08: ISZERO 00000e09: PUSH2 0x0e17 00000e0c: JUMPI 00000e0d: PUSH1 0x00 00000e0f: SWAP3 00000e10: POP 00000e11: POP 00000e12: POP 00000e13: PUSH2 0x0e44 00000e16: JUMP 00000e17: JUMPDEST 00000e18: DUP4 00000e19: PUSH1 0x01 00000e1b: PUSH1 0x01 00000e1d: PUSH1 0xa0 00000e1f: SHL 00000e20: SUB 00000e21: AND 00000e22: DUP2 00000e23: DUP1 00000e24: PUSH1 0x20 00000e26: ADD 00000e27: SWAP1 00000e28: MLOAD 00000e29: DUP2 00000e2a: ADD 00000e2b: SWAP1 00000e2c: PUSH2 0x0e35 00000e2f: SWAP2 00000e30: SWAP1 00000e31: PUSH2 0x1801 00000e34: JUMP 00000e35: JUMPDEST 00000e36: PUSH1 0x01 00000e38: PUSH1 0x01 00000e3a: PUSH1 0xa0 00000e3c: SHL 00000e3d: SUB 00000e3e: AND 00000e3f: EQ 00000e40: SWAP3 00000e41: POP 00000e42: POP 00000e43: POP 00000e44: JUMPDEST 00000e45: SWAP3 00000e46: SWAP2 00000e47: POP 00000e48: POP 00000e49: JUMP 00000e4a: JUMPDEST 00000e4b: PUSH1 0x01 00000e4d: PUSH1 0x01 00000e4f: PUSH1 0xa0 00000e51: SHL 00000e52: SUB 00000e53: DUP4 00000e54: AND 00000e55: PUSH2 0x0f01 00000e58: JUMPI 00000e59: PUSH1 0x00 00000e5b: DUP3 00000e5c: PUSH1 0x01 00000e5e: PUSH1 0x01 00000e60: PUSH1 0xa0 00000e62: SHL 00000e63: SUB 00000e64: AND 00000e65: DUP3 00000e66: PUSH1 0x40 00000e68: MLOAD 00000e69: PUSH1 0x00 00000e6b: PUSH1 0x40 00000e6d: MLOAD 00000e6e: DUP1 00000e6f: DUP4 00000e70: SUB 00000e71: DUP2 00000e72: DUP6 00000e73: DUP8 00000e74: GAS 00000e75: CALL 00000e76: SWAP3 00000e77: POP 00000e78: POP 00000e79: POP 00000e7a: RETURNDATASIZE 00000e7b: DUP1 00000e7c: PUSH1 0x00 00000e7e: DUP2 00000e7f: EQ 00000e80: PUSH2 0x0ea5 00000e83: JUMPI 00000e84: PUSH1 0x40 00000e86: MLOAD 00000e87: SWAP2 00000e88: POP 00000e89: PUSH1 0x1f 00000e8b: NOT 00000e8c: PUSH1 0x3f 00000e8e: RETURNDATASIZE 00000e8f: ADD 00000e90: AND 00000e91: DUP3 00000e92: ADD 00000e93: PUSH1 0x40 00000e95: MSTORE 00000e96: RETURNDATASIZE 00000e97: DUP3 00000e98: MSTORE 00000e99: RETURNDATASIZE 00000e9a: PUSH1 0x00 00000e9c: PUSH1 0x20 00000e9e: DUP5 00000e9f: ADD 00000ea0: RETURNDATACOPY 00000ea1: PUSH2 0x0eaa 00000ea4: JUMP 00000ea5: JUMPDEST 00000ea6: PUSH1 0x60 00000ea8: SWAP2 00000ea9: POP 00000eaa: JUMPDEST 00000eab: POP 00000eac: POP 00000ead: SWAP1 00000eae: POP 00000eaf: DUP1 00000eb0: PUSH2 0x0efb 00000eb3: JUMPI 00000eb4: PUSH1 0x40 00000eb6: MLOAD 00000eb7: PUSH3 0x461bcd 00000ebb: PUSH1 0xe5 00000ebd: SHL 00000ebe: DUP2 00000ebf: MSTORE 00000ec0: PUSH1 0x20 00000ec2: PUSH1 0x04 00000ec4: DUP3 00000ec5: ADD 00000ec6: MSTORE 00000ec7: PUSH1 0x1b 00000ec9: PUSH1 0x24 00000ecb: DUP3 00000ecc: ADD 00000ecd: MSTORE 00000ece: PUSH32 0x4272696467653a207472616e7366657220657468206661696c65640000000000 00000eef: PUSH1 0x44 00000ef1: DUP3 00000ef2: ADD 00000ef3: MSTORE 00000ef4: PUSH1 0x64 00000ef6: ADD 00000ef7: PUSH2 0x02cd 00000efa: JUMP 00000efb: JUMPDEST 00000efc: POP 00000efd: POP 00000efe: POP 00000eff: POP 00000f00: JUMP 00000f01: JUMPDEST 00000f02: PUSH2 0x0f15 00000f05: PUSH1 0x01 00000f07: PUSH1 0x01 00000f09: PUSH1 0xa0 00000f0b: SHL 00000f0c: SUB 00000f0d: DUP5 00000f0e: AND 00000f0f: DUP4 00000f10: DUP4 00000f11: PUSH2 0x0fd7 00000f14: JUMP 00000f15: JUMPDEST 00000f16: POP 00000f17: POP 00000f18: POP 00000f19: JUMP 00000f1a: JUMPDEST 00000f1b: PUSH1 0x33 00000f1d: DUP1 00000f1e: SLOAD 00000f1f: PUSH1 0x01 00000f21: PUSH1 0x01 00000f23: PUSH1 0xa0 00000f25: SHL 00000f26: SUB 00000f27: DUP4 00000f28: DUP2 00000f29: AND 00000f2a: PUSH1 0x01 00000f2c: PUSH1 0x01 00000f2e: PUSH1 0xa0 00000f30: SHL 00000f31: SUB 00000f32: NOT 00000f33: DUP4 00000f34: AND 00000f35: DUP2 00000f36: OR 00000f37: SWAP1 00000f38: SWAP4 00000f39: SSTORE 00000f3a: PUSH1 0x40 00000f3c: MLOAD 00000f3d: SWAP2 00000f3e: AND 00000f3f: SWAP2 00000f40: SWAP1 00000f41: DUP3 00000f42: SWAP1 00000f43: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000f64: SWAP1 00000f65: PUSH1 0x00 00000f67: SWAP1 00000f68: LOG3 00000f69: POP 00000f6a: POP 00000f6b: JUMP 00000f6c: JUMPDEST 00000f6d: PUSH1 0x40 00000f6f: MLOAD 00000f70: PUSH1 0x01 00000f72: PUSH1 0x01 00000f74: PUSH1 0xa0 00000f76: SHL 00000f77: SUB 00000f78: DUP1 00000f79: DUP6 00000f7a: AND 00000f7b: PUSH1 0x24 00000f7d: DUP4 00000f7e: ADD 00000f7f: MSTORE 00000f80: DUP4 00000f81: AND 00000f82: PUSH1 0x44 00000f84: DUP3 00000f85: ADD 00000f86: MSTORE 00000f87: PUSH1 0x64 00000f89: DUP2 00000f8a: ADD 00000f8b: DUP3 00000f8c: SWAP1 00000f8d: MSTORE 00000f8e: PUSH2 0x0efb 00000f91: SWAP1 00000f92: DUP6 00000f93: SWAP1 00000f94: PUSH4 0x23b872dd 00000f99: PUSH1 0xe0 00000f9b: SHL 00000f9c: SWAP1 00000f9d: PUSH1 0x84 00000f9f: ADD 00000fa0: JUMPDEST 00000fa1: PUSH1 0x40 00000fa3: DUP1 00000fa4: MLOAD 00000fa5: PUSH1 0x1f 00000fa7: NOT 00000fa8: DUP2 00000fa9: DUP5 00000faa: SUB 00000fab: ADD 00000fac: DUP2 00000fad: MSTORE 00000fae: SWAP2 00000faf: SWAP1 00000fb0: MSTORE 00000fb1: PUSH1 0x20 00000fb3: DUP2 00000fb4: ADD 00000fb5: DUP1 00000fb6: MLOAD 00000fb7: PUSH1 0x01 00000fb9: PUSH1 0x01 00000fbb: PUSH1 0xe0 00000fbd: SHL 00000fbe: SUB 00000fbf: AND 00000fc0: PUSH1 0x01 00000fc2: PUSH1 0x01 00000fc4: PUSH1 0xe0 00000fc6: SHL 00000fc7: SUB 00000fc8: NOT 00000fc9: SWAP1 00000fca: SWAP4 00000fcb: AND 00000fcc: SWAP3 00000fcd: SWAP1 00000fce: SWAP3 00000fcf: OR 00000fd0: SWAP1 00000fd1: SWAP2 00000fd2: MSTORE 00000fd3: PUSH2 0x1007 00000fd6: JUMP 00000fd7: JUMPDEST 00000fd8: PUSH1 0x40 00000fda: MLOAD 00000fdb: PUSH1 0x01 00000fdd: PUSH1 0x01 00000fdf: PUSH1 0xa0 00000fe1: SHL 00000fe2: SUB 00000fe3: DUP4 00000fe4: AND 00000fe5: PUSH1 0x24 00000fe7: DUP3 00000fe8: ADD 00000fe9: MSTORE 00000fea: PUSH1 0x44 00000fec: DUP2 00000fed: ADD 00000fee: DUP3 00000fef: SWAP1 00000ff0: MSTORE 00000ff1: PUSH2 0x0f15 00000ff4: SWAP1 00000ff5: DUP5 00000ff6: SWAP1 00000ff7: PUSH4 0xa9059cbb 00000ffc: PUSH1 0xe0 00000ffe: SHL 00000fff: SWAP1 00001000: PUSH1 0x64 00001002: ADD 00001003: PUSH2 0x0fa0 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH1 0x00 0000100a: PUSH2 0x105c 0000100d: DUP3 0000100e: PUSH1 0x40 00001010: MLOAD 00001011: DUP1 00001012: PUSH1 0x40 00001014: ADD 00001015: PUSH1 0x40 00001017: MSTORE 00001018: DUP1 00001019: PUSH1 0x20 0000101b: DUP2 0000101c: MSTORE 0000101d: PUSH1 0x20 0000101f: ADD 00001020: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00001041: DUP2 00001042: MSTORE 00001043: POP 00001044: DUP6 00001045: PUSH1 0x01 00001047: PUSH1 0x01 00001049: PUSH1 0xa0 0000104b: SHL 0000104c: SUB 0000104d: AND 0000104e: PUSH2 0x10dc 00001051: SWAP1 00001052: SWAP3 00001053: SWAP2 00001054: SWAP1 00001055: PUSH4 0xffffffff 0000105a: AND 0000105b: JUMP 0000105c: JUMPDEST 0000105d: SWAP1 0000105e: POP 0000105f: DUP1 00001060: MLOAD 00001061: PUSH1 0x00 00001063: EQ 00001064: DUP1 00001065: PUSH2 0x107d 00001068: JUMPI 00001069: POP 0000106a: DUP1 0000106b: DUP1 0000106c: PUSH1 0x20 0000106e: ADD 0000106f: SWAP1 00001070: MLOAD 00001071: DUP2 00001072: ADD 00001073: SWAP1 00001074: PUSH2 0x107d 00001077: SWAP2 00001078: SWAP1 00001079: PUSH2 0x181e 0000107c: JUMP 0000107d: JUMPDEST 0000107e: PUSH2 0x0f15 00001081: JUMPI 00001082: PUSH1 0x40 00001084: MLOAD 00001085: PUSH3 0x461bcd 00001089: PUSH1 0xe5 0000108b: SHL 0000108c: DUP2 0000108d: MSTORE 0000108e: PUSH1 0x20 00001090: PUSH1 0x04 00001092: DUP3 00001093: ADD 00001094: MSTORE 00001095: PUSH1 0x2a 00001097: PUSH1 0x24 00001099: DUP3 0000109a: ADD 0000109b: MSTORE 0000109c: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000010bd: PUSH1 0x44 000010bf: DUP3 000010c0: ADD 000010c1: MSTORE 000010c2: PUSH10 0x1bdd081cdd58d8d95959 000010cd: PUSH1 0xb2 000010cf: SHL 000010d0: PUSH1 0x64 000010d2: DUP3 000010d3: ADD 000010d4: MSTORE 000010d5: PUSH1 0x84 000010d7: ADD 000010d8: PUSH2 0x02cd 000010db: JUMP 000010dc: JUMPDEST 000010dd: PUSH1 0x60 000010df: PUSH2 0x10eb 000010e2: DUP5 000010e3: DUP5 000010e4: PUSH1 0x00 000010e6: DUP6 000010e7: PUSH2 0x10f3 000010ea: JUMP 000010eb: JUMPDEST 000010ec: SWAP5 000010ed: SWAP4 000010ee: POP 000010ef: POP 000010f0: POP 000010f1: POP 000010f2: JUMP 000010f3: JUMPDEST 000010f4: PUSH1 0x60 000010f6: DUP3 000010f7: SELFBALANCE 000010f8: LT 000010f9: ISZERO 000010fa: PUSH2 0x1154 000010fd: JUMPI 000010fe: PUSH1 0x40 00001100: MLOAD 00001101: PUSH3 0x461bcd 00001105: PUSH1 0xe5 00001107: SHL 00001108: DUP2 00001109: MSTORE 0000110a: PUSH1 0x20 0000110c: PUSH1 0x04 0000110e: DUP3 0000110f: ADD 00001110: MSTORE 00001111: PUSH1 0x26 00001113: PUSH1 0x24 00001115: DUP3 00001116: ADD 00001117: MSTORE 00001118: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00001139: PUSH1 0x44 0000113b: DUP3 0000113c: ADD 0000113d: MSTORE 0000113e: PUSH6 0x1c8818d85b1b 00001145: PUSH1 0xd2 00001147: SHL 00001148: PUSH1 0x64 0000114a: DUP3 0000114b: ADD 0000114c: MSTORE 0000114d: PUSH1 0x84 0000114f: ADD 00001150: PUSH2 0x02cd 00001153: JUMP 00001154: JUMPDEST 00001155: PUSH1 0x00 00001157: DUP1 00001158: DUP7 00001159: PUSH1 0x01 0000115b: PUSH1 0x01 0000115d: PUSH1 0xa0 0000115f: SHL 00001160: SUB 00001161: AND 00001162: DUP6 00001163: DUP8 00001164: PUSH1 0x40 00001166: MLOAD 00001167: PUSH2 0x1170 0000116a: SWAP2 0000116b: SWAP1 0000116c: PUSH2 0x17e5 0000116f: JUMP 00001170: JUMPDEST 00001171: PUSH1 0x00 00001173: PUSH1 0x40 00001175: MLOAD 00001176: DUP1 00001177: DUP4 00001178: SUB 00001179: DUP2 0000117a: DUP6 0000117b: DUP8 0000117c: GAS 0000117d: CALL 0000117e: SWAP3 0000117f: POP 00001180: POP 00001181: POP 00001182: RETURNDATASIZE 00001183: DUP1 00001184: PUSH1 0x00 00001186: DUP2 00001187: EQ 00001188: PUSH2 0x11ad 0000118b: JUMPI 0000118c: PUSH1 0x40 0000118e: MLOAD 0000118f: SWAP2 00001190: POP 00001191: PUSH1 0x1f 00001193: NOT 00001194: PUSH1 0x3f 00001196: RETURNDATASIZE 00001197: ADD 00001198: AND 00001199: DUP3 0000119a: ADD 0000119b: PUSH1 0x40 0000119d: MSTORE 0000119e: RETURNDATASIZE 0000119f: DUP3 000011a0: MSTORE 000011a1: RETURNDATASIZE 000011a2: PUSH1 0x00 000011a4: PUSH1 0x20 000011a6: DUP5 000011a7: ADD 000011a8: RETURNDATACOPY 000011a9: PUSH2 0x11b2 000011ac: JUMP 000011ad: JUMPDEST 000011ae: PUSH1 0x60 000011b0: SWAP2 000011b1: POP 000011b2: JUMPDEST 000011b3: POP 000011b4: SWAP2 000011b5: POP 000011b6: SWAP2 000011b7: POP 000011b8: PUSH2 0x11c3 000011bb: DUP8 000011bc: DUP4 000011bd: DUP4 000011be: DUP8 000011bf: PUSH2 0x11ce 000011c2: JUMP 000011c3: JUMPDEST 000011c4: SWAP8 000011c5: SWAP7 000011c6: POP 000011c7: POP 000011c8: POP 000011c9: POP 000011ca: POP 000011cb: POP 000011cc: POP 000011cd: JUMP 000011ce: JUMPDEST 000011cf: PUSH1 0x60 000011d1: DUP4 000011d2: ISZERO 000011d3: PUSH2 0x123d 000011d6: JUMPI 000011d7: DUP3 000011d8: MLOAD 000011d9: PUSH1 0x00 000011db: SUB 000011dc: PUSH2 0x1236 000011df: JUMPI 000011e0: PUSH1 0x01 000011e2: PUSH1 0x01 000011e4: PUSH1 0xa0 000011e6: SHL 000011e7: SUB 000011e8: DUP6 000011e9: AND 000011ea: EXTCODESIZE 000011eb: PUSH2 0x1236 000011ee: JUMPI 000011ef: PUSH1 0x40 000011f1: MLOAD 000011f2: PUSH3 0x461bcd 000011f6: PUSH1 0xe5 000011f8: SHL 000011f9: DUP2 000011fa: MSTORE 000011fb: PUSH1 0x20 000011fd: PUSH1 0x04 000011ff: DUP3 00001200: ADD 00001201: MSTORE 00001202: PUSH1 0x1d 00001204: PUSH1 0x24 00001206: DUP3 00001207: ADD 00001208: MSTORE 00001209: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 0000122a: PUSH1 0x44 0000122c: DUP3 0000122d: ADD 0000122e: MSTORE 0000122f: PUSH1 0x64 00001231: ADD 00001232: PUSH2 0x02cd 00001235: JUMP 00001236: JUMPDEST 00001237: POP 00001238: DUP2 00001239: PUSH2 0x10eb 0000123c: JUMP 0000123d: JUMPDEST 0000123e: PUSH2 0x10eb 00001241: DUP4 00001242: DUP4 00001243: DUP2 00001244: MLOAD 00001245: ISZERO 00001246: PUSH2 0x1252 00001249: JUMPI 0000124a: DUP2 0000124b: MLOAD 0000124c: DUP1 0000124d: DUP4 0000124e: PUSH1 0x20 00001250: ADD 00001251: REVERT 00001252: JUMPDEST 00001253: DUP1 00001254: PUSH1 0x40 00001256: MLOAD 00001257: PUSH3 0x461bcd 0000125b: PUSH1 0xe5 0000125d: SHL 0000125e: DUP2 0000125f: MSTORE 00001260: PUSH1 0x04 00001262: ADD 00001263: PUSH2 0x02cd 00001266: SWAP2 00001267: SWAP1 00001268: PUSH2 0x183b 0000126b: JUMP 0000126c: JUMPDEST 0000126d: PUSH1 0x01 0000126f: PUSH1 0x01 00001271: PUSH1 0xa0 00001273: SHL 00001274: SUB 00001275: DUP2 00001276: AND 00001277: DUP2 00001278: EQ 00001279: PUSH2 0x0c66 0000127c: JUMPI 0000127d: PUSH1 0x00 0000127f: DUP1 00001280: REVERT 00001281: JUMPDEST 00001282: PUSH1 0x00 00001284: PUSH1 0x20 00001286: DUP3 00001287: DUP5 00001288: SUB 00001289: SLT 0000128a: ISZERO 0000128b: PUSH2 0x1293 0000128e: JUMPI 0000128f: PUSH1 0x00 00001291: DUP1 00001292: REVERT 00001293: JUMPDEST 00001294: DUP2 00001295: CALLDATALOAD 00001296: PUSH2 0x129e 00001299: DUP2 0000129a: PUSH2 0x126c 0000129d: JUMP 0000129e: JUMPDEST 0000129f: SWAP4 000012a0: SWAP3 000012a1: POP 000012a2: POP 000012a3: POP 000012a4: JUMP 000012a5: JUMPDEST 000012a6: PUSH1 0x00 000012a8: DUP1 000012a9: DUP4 000012aa: PUSH1 0x1f 000012ac: DUP5 000012ad: ADD 000012ae: SLT 000012af: PUSH2 0x12b7 000012b2: JUMPI 000012b3: PUSH1 0x00 000012b5: DUP1 000012b6: REVERT 000012b7: JUMPDEST 000012b8: POP 000012b9: DUP2 000012ba: CALLDATALOAD 000012bb: PUSH8 0xffffffffffffffff 000012c4: DUP2 000012c5: GT 000012c6: ISZERO 000012c7: PUSH2 0x12cf 000012ca: JUMPI 000012cb: PUSH1 0x00 000012cd: DUP1 000012ce: REVERT 000012cf: JUMPDEST 000012d0: PUSH1 0x20 000012d2: DUP4 000012d3: ADD 000012d4: SWAP2 000012d5: POP 000012d6: DUP4 000012d7: PUSH1 0x20 000012d9: DUP3 000012da: DUP6 000012db: ADD 000012dc: ADD 000012dd: GT 000012de: ISZERO 000012df: PUSH2 0x12e7 000012e2: JUMPI 000012e3: PUSH1 0x00 000012e5: DUP1 000012e6: REVERT 000012e7: JUMPDEST 000012e8: SWAP3 000012e9: POP 000012ea: SWAP3 000012eb: SWAP1 000012ec: POP 000012ed: JUMP 000012ee: JUMPDEST 000012ef: PUSH1 0x00 000012f1: DUP1 000012f2: PUSH1 0x00 000012f4: DUP1 000012f5: PUSH1 0x00 000012f7: PUSH1 0x80 000012f9: DUP7 000012fa: DUP9 000012fb: SUB 000012fc: SLT 000012fd: ISZERO 000012fe: PUSH2 0x1306 00001301: JUMPI 00001302: PUSH1 0x00 00001304: DUP1 00001305: REVERT 00001306: JUMPDEST 00001307: DUP6 00001308: CALLDATALOAD 00001309: PUSH2 0x1311 0000130c: DUP2 0000130d: PUSH2 0x126c 00001310: JUMP 00001311: JUMPDEST 00001312: SWAP5 00001313: POP 00001314: PUSH1 0x20 00001316: DUP7 00001317: ADD 00001318: CALLDATALOAD 00001319: SWAP4 0000131a: POP 0000131b: PUSH1 0x40 0000131d: DUP7 0000131e: ADD 0000131f: CALLDATALOAD 00001320: PUSH8 0xffffffffffffffff 00001329: DUP2 0000132a: GT 0000132b: ISZERO 0000132c: PUSH2 0x1334 0000132f: JUMPI 00001330: PUSH1 0x00 00001332: DUP1 00001333: REVERT 00001334: JUMPDEST 00001335: PUSH2 0x1340 00001338: DUP9 00001339: DUP3 0000133a: DUP10 0000133b: ADD 0000133c: PUSH2 0x12a5 0000133f: JUMP 00001340: JUMPDEST 00001341: SWAP7 00001342: SWAP10 00001343: SWAP6 00001344: SWAP9 00001345: POP 00001346: SWAP7 00001347: PUSH1 0x60 00001349: ADD 0000134a: CALLDATALOAD 0000134b: SWAP5 0000134c: SWAP4 0000134d: POP 0000134e: POP 0000134f: POP 00001350: POP 00001351: JUMP 00001352: JUMPDEST 00001353: PUSH1 0x00 00001355: DUP1 00001356: DUP4 00001357: PUSH1 0x1f 00001359: DUP5 0000135a: ADD 0000135b: SLT 0000135c: PUSH2 0x1364 0000135f: JUMPI 00001360: PUSH1 0x00 00001362: DUP1 00001363: REVERT 00001364: JUMPDEST 00001365: POP 00001366: DUP2 00001367: CALLDATALOAD 00001368: PUSH8 0xffffffffffffffff 00001371: DUP2 00001372: GT 00001373: ISZERO 00001374: PUSH2 0x137c 00001377: JUMPI 00001378: PUSH1 0x00 0000137a: DUP1 0000137b: REVERT 0000137c: JUMPDEST 0000137d: PUSH1 0x20 0000137f: DUP4 00001380: ADD 00001381: SWAP2 00001382: POP 00001383: DUP4 00001384: PUSH1 0x20 00001386: DUP3 00001387: PUSH1 0x05 00001389: SHL 0000138a: DUP6 0000138b: ADD 0000138c: ADD 0000138d: GT 0000138e: ISZERO 0000138f: PUSH2 0x12e7 00001392: JUMPI 00001393: PUSH1 0x00 00001395: DUP1 00001396: REVERT 00001397: JUMPDEST 00001398: PUSH1 0x00 0000139a: DUP1 0000139b: PUSH1 0x00 0000139d: DUP1 0000139e: PUSH1 0x40 000013a0: DUP6 000013a1: DUP8 000013a2: SUB 000013a3: SLT 000013a4: ISZERO 000013a5: PUSH2 0x13ad 000013a8: JUMPI 000013a9: PUSH1 0x00 000013ab: DUP1 000013ac: REVERT 000013ad: JUMPDEST 000013ae: DUP5 000013af: CALLDATALOAD 000013b0: PUSH8 0xffffffffffffffff 000013b9: DUP1 000013ba: DUP3 000013bb: GT 000013bc: ISZERO 000013bd: PUSH2 0x13c5 000013c0: JUMPI 000013c1: PUSH1 0x00 000013c3: DUP1 000013c4: REVERT 000013c5: JUMPDEST 000013c6: PUSH2 0x13d1 000013c9: DUP9 000013ca: DUP4 000013cb: DUP10 000013cc: ADD 000013cd: PUSH2 0x1352 000013d0: JUMP 000013d1: JUMPDEST 000013d2: SWAP1 000013d3: SWAP7 000013d4: POP 000013d5: SWAP5 000013d6: POP 000013d7: PUSH1 0x20 000013d9: DUP8 000013da: ADD 000013db: CALLDATALOAD 000013dc: SWAP2 000013dd: POP 000013de: DUP1 000013df: DUP3 000013e0: GT 000013e1: ISZERO 000013e2: PUSH2 0x13ea 000013e5: JUMPI 000013e6: PUSH1 0x00 000013e8: DUP1 000013e9: REVERT 000013ea: JUMPDEST 000013eb: POP 000013ec: PUSH2 0x13f7 000013ef: DUP8 000013f0: DUP3 000013f1: DUP9 000013f2: ADD 000013f3: PUSH2 0x1352 000013f6: JUMP 000013f7: JUMPDEST 000013f8: SWAP6 000013f9: SWAP9 000013fa: SWAP5 000013fb: SWAP8 000013fc: POP 000013fd: SWAP6 000013fe: POP 000013ff: POP 00001400: POP 00001401: POP 00001402: JUMP 00001403: JUMPDEST 00001404: PUSH1 0x00 00001406: DUP1 00001407: PUSH1 0x00 00001409: DUP1 0000140a: PUSH1 0x00 0000140c: DUP1 0000140d: PUSH1 0x60 0000140f: DUP8 00001410: DUP10 00001411: SUB 00001412: SLT 00001413: ISZERO 00001414: PUSH2 0x141c 00001417: JUMPI 00001418: PUSH1 0x00 0000141a: DUP1 0000141b: REVERT 0000141c: JUMPDEST 0000141d: DUP7 0000141e: CALLDATALOAD 0000141f: PUSH8 0xffffffffffffffff 00001428: DUP1 00001429: DUP3 0000142a: GT 0000142b: ISZERO 0000142c: PUSH2 0x1434 0000142f: JUMPI 00001430: PUSH1 0x00 00001432: DUP1 00001433: REVERT 00001434: JUMPDEST 00001435: PUSH2 0x1440 00001438: DUP11 00001439: DUP4 0000143a: DUP12 0000143b: ADD 0000143c: PUSH2 0x1352 0000143f: JUMP 00001440: JUMPDEST 00001441: SWAP1 00001442: SWAP9 00001443: POP 00001444: SWAP7 00001445: POP 00001446: PUSH1 0x20 00001448: DUP10 00001449: ADD 0000144a: CALLDATALOAD 0000144b: SWAP2 0000144c: POP 0000144d: DUP1 0000144e: DUP3 0000144f: GT 00001450: ISZERO 00001451: PUSH2 0x1459 00001454: JUMPI 00001455: PUSH1 0x00 00001457: DUP1 00001458: REVERT 00001459: JUMPDEST 0000145a: PUSH2 0x1465 0000145d: DUP11 0000145e: DUP4 0000145f: DUP12 00001460: ADD 00001461: PUSH2 0x1352 00001464: JUMP 00001465: JUMPDEST 00001466: SWAP1 00001467: SWAP7 00001468: POP 00001469: SWAP5 0000146a: POP 0000146b: PUSH1 0x40 0000146d: DUP10 0000146e: ADD 0000146f: CALLDATALOAD 00001470: SWAP2 00001471: POP 00001472: DUP1 00001473: DUP3 00001474: GT 00001475: ISZERO 00001476: PUSH2 0x147e 00001479: JUMPI 0000147a: PUSH1 0x00 0000147c: DUP1 0000147d: REVERT 0000147e: JUMPDEST 0000147f: POP 00001480: PUSH2 0x148b 00001483: DUP10 00001484: DUP3 00001485: DUP11 00001486: ADD 00001487: PUSH2 0x1352 0000148a: JUMP 0000148b: JUMPDEST 0000148c: SWAP8 0000148d: SWAP11 0000148e: SWAP7 0000148f: SWAP10 00001490: POP 00001491: SWAP5 00001492: SWAP8 00001493: POP 00001494: SWAP3 00001495: SWAP6 00001496: SWAP4 00001497: SWAP5 00001498: SWAP3 00001499: POP 0000149a: POP 0000149b: POP 0000149c: JUMP 0000149d: JUMPDEST 0000149e: PUSH1 0x00 000014a0: DUP1 000014a1: PUSH1 0x00 000014a3: DUP1 000014a4: PUSH1 0x60 000014a6: DUP6 000014a7: DUP8 000014a8: SUB 000014a9: SLT 000014aa: ISZERO 000014ab: PUSH2 0x14b3 000014ae: JUMPI 000014af: PUSH1 0x00 000014b1: DUP1 000014b2: REVERT 000014b3: JUMPDEST 000014b4: DUP5 000014b5: CALLDATALOAD 000014b6: PUSH2 0x14be 000014b9: DUP2 000014ba: PUSH2 0x126c 000014bd: JUMP 000014be: JUMPDEST 000014bf: SWAP4 000014c0: POP 000014c1: PUSH1 0x20 000014c3: DUP6 000014c4: ADD 000014c5: CALLDATALOAD 000014c6: PUSH2 0x14ce 000014c9: DUP2 000014ca: PUSH2 0x126c 000014cd: JUMP 000014ce: JUMPDEST 000014cf: SWAP3 000014d0: POP 000014d1: PUSH1 0x40 000014d3: DUP6 000014d4: ADD 000014d5: CALLDATALOAD 000014d6: PUSH8 0xffffffffffffffff 000014df: DUP2 000014e0: GT 000014e1: ISZERO 000014e2: PUSH2 0x14ea 000014e5: JUMPI 000014e6: PUSH1 0x00 000014e8: DUP1 000014e9: REVERT 000014ea: JUMPDEST 000014eb: PUSH2 0x13f7 000014ee: DUP8 000014ef: DUP3 000014f0: DUP9 000014f1: ADD 000014f2: PUSH2 0x1352 000014f5: JUMP 000014f6: JUMPDEST 000014f7: PUSH1 0x00 000014f9: DUP1 000014fa: PUSH1 0x00 000014fc: DUP1 000014fd: PUSH1 0x00 000014ff: PUSH1 0x60 00001501: DUP7 00001502: DUP9 00001503: SUB 00001504: SLT 00001505: ISZERO 00001506: PUSH2 0x150e 00001509: JUMPI 0000150a: PUSH1 0x00 0000150c: DUP1 0000150d: REVERT 0000150e: JUMPDEST 0000150f: DUP6 00001510: CALLDATALOAD 00001511: PUSH2 0x1519 00001514: DUP2 00001515: PUSH2 0x126c 00001518: JUMP 00001519: JUMPDEST 0000151a: SWAP5 0000151b: POP 0000151c: PUSH1 0x20 0000151e: DUP7 0000151f: ADD 00001520: CALLDATALOAD 00001521: PUSH8 0xffffffffffffffff 0000152a: DUP1 0000152b: DUP3 0000152c: GT 0000152d: ISZERO 0000152e: PUSH2 0x1536 00001531: JUMPI 00001532: PUSH1 0x00 00001534: DUP1 00001535: REVERT 00001536: JUMPDEST 00001537: PUSH2 0x1542 0000153a: DUP10 0000153b: DUP4 0000153c: DUP11 0000153d: ADD 0000153e: PUSH2 0x1352 00001541: JUMP 00001542: JUMPDEST 00001543: SWAP1 00001544: SWAP7 00001545: POP 00001546: SWAP5 00001547: POP 00001548: PUSH1 0x40 0000154a: DUP9 0000154b: ADD 0000154c: CALLDATALOAD 0000154d: SWAP2 0000154e: POP 0000154f: DUP1 00001550: DUP3 00001551: GT 00001552: ISZERO 00001553: PUSH2 0x155b 00001556: JUMPI 00001557: PUSH1 0x00 00001559: DUP1 0000155a: REVERT 0000155b: JUMPDEST 0000155c: POP 0000155d: PUSH2 0x1568 00001560: DUP9 00001561: DUP3 00001562: DUP10 00001563: ADD 00001564: PUSH2 0x1352 00001567: JUMP 00001568: JUMPDEST 00001569: SWAP7 0000156a: SWAP10 0000156b: SWAP6 0000156c: SWAP9 0000156d: POP 0000156e: SWAP4 0000156f: SWAP7 00001570: POP 00001571: SWAP3 00001572: SWAP5 00001573: SWAP4 00001574: SWAP3 00001575: POP 00001576: POP 00001577: POP 00001578: JUMP 00001579: JUMPDEST 0000157a: PUSH1 0x00 0000157c: DUP1 0000157d: PUSH1 0x00 0000157f: PUSH1 0x40 00001581: DUP5 00001582: DUP7 00001583: SUB 00001584: SLT 00001585: ISZERO 00001586: PUSH2 0x158e 00001589: JUMPI 0000158a: PUSH1 0x00 0000158c: DUP1 0000158d: REVERT 0000158e: JUMPDEST 0000158f: DUP4 00001590: CALLDATALOAD 00001591: PUSH8 0xffffffffffffffff 0000159a: DUP2 0000159b: GT 0000159c: ISZERO 0000159d: PUSH2 0x15a5 000015a0: JUMPI 000015a1: PUSH1 0x00 000015a3: DUP1 000015a4: REVERT 000015a5: JUMPDEST 000015a6: PUSH2 0x15b1 000015a9: DUP7 000015aa: DUP3 000015ab: DUP8 000015ac: ADD 000015ad: PUSH2 0x12a5 000015b0: JUMP 000015b1: JUMPDEST 000015b2: SWAP1 000015b3: SWAP8 000015b4: SWAP1 000015b5: SWAP7 000015b6: POP 000015b7: PUSH1 0x20 000015b9: SWAP6 000015ba: SWAP1 000015bb: SWAP6 000015bc: ADD 000015bd: CALLDATALOAD 000015be: SWAP5 000015bf: SWAP4 000015c0: POP 000015c1: POP 000015c2: POP 000015c3: POP 000015c4: JUMP 000015c5: JUMPDEST 000015c6: PUSH1 0x01 000015c8: PUSH1 0x01 000015ca: PUSH1 0xa0 000015cc: SHL 000015cd: SUB 000015ce: DUP8 000015cf: DUP2 000015d0: AND 000015d1: DUP3 000015d2: MSTORE 000015d3: DUP7 000015d4: AND 000015d5: PUSH1 0x20 000015d7: DUP3 000015d8: ADD 000015d9: MSTORE 000015da: PUSH1 0x40 000015dc: DUP2 000015dd: ADD 000015de: DUP6 000015df: SWAP1 000015e0: MSTORE 000015e1: PUSH1 0xa0 000015e3: PUSH1 0x60 000015e5: DUP3 000015e6: ADD 000015e7: DUP2 000015e8: SWAP1 000015e9: MSTORE 000015ea: DUP2 000015eb: ADD 000015ec: DUP4 000015ed: SWAP1 000015ee: MSTORE 000015ef: PUSH1 0x00 000015f1: DUP4 000015f2: DUP6 000015f3: PUSH1 0xc0 000015f5: DUP5 000015f6: ADD 000015f7: CALLDATACOPY 000015f8: PUSH1 0x00 000015fa: PUSH1 0xc0 000015fc: DUP6 000015fd: DUP5 000015fe: ADD 000015ff: ADD 00001600: MSTORE 00001601: PUSH1 0xc0 00001603: PUSH1 0x1f 00001605: NOT 00001606: PUSH1 0x1f 00001608: DUP7 00001609: ADD 0000160a: AND 0000160b: DUP4 0000160c: ADD 0000160d: ADD 0000160e: SWAP1 0000160f: POP 00001610: DUP3 00001611: PUSH1 0x80 00001613: DUP4 00001614: ADD 00001615: MSTORE 00001616: SWAP8 00001617: SWAP7 00001618: POP 00001619: POP 0000161a: POP 0000161b: POP 0000161c: POP 0000161d: POP 0000161e: POP 0000161f: JUMP 00001620: JUMPDEST 00001621: PUSH4 0x4e487b71 00001626: PUSH1 0xe0 00001628: SHL 00001629: PUSH1 0x00 0000162b: MSTORE 0000162c: PUSH1 0x32 0000162e: PUSH1 0x04 00001630: MSTORE 00001631: PUSH1 0x24 00001633: PUSH1 0x00 00001635: REVERT 00001636: JUMPDEST 00001637: DUP1 00001638: ISZERO 00001639: ISZERO 0000163a: DUP2 0000163b: EQ 0000163c: PUSH2 0x0c66 0000163f: JUMPI 00001640: PUSH1 0x00 00001642: DUP1 00001643: REVERT 00001644: JUMPDEST 00001645: PUSH1 0x00 00001647: PUSH1 0x20 00001649: DUP3 0000164a: DUP5 0000164b: SUB 0000164c: SLT 0000164d: ISZERO 0000164e: PUSH2 0x1656 00001651: JUMPI 00001652: PUSH1 0x00 00001654: DUP1 00001655: REVERT 00001656: JUMPDEST 00001657: DUP2 00001658: CALLDATALOAD 00001659: PUSH2 0x129e 0000165c: DUP2 0000165d: PUSH2 0x1636 00001660: JUMP 00001661: JUMPDEST 00001662: PUSH1 0x00 00001664: PUSH1 0x01 00001666: DUP3 00001667: ADD 00001668: PUSH2 0x1681 0000166b: JUMPI 0000166c: PUSH4 0x4e487b71 00001671: PUSH1 0xe0 00001673: SHL 00001674: PUSH1 0x00 00001676: MSTORE 00001677: PUSH1 0x11 00001679: PUSH1 0x04 0000167b: MSTORE 0000167c: PUSH1 0x24 0000167e: PUSH1 0x00 00001680: REVERT 00001681: JUMPDEST 00001682: POP 00001683: PUSH1 0x01 00001685: ADD 00001686: SWAP1 00001687: JUMP 00001688: JUMPDEST 00001689: DUP2 0000168a: DUP4 0000168b: MSTORE 0000168c: PUSH1 0x00 0000168e: PUSH1 0x20 00001690: DUP1 00001691: DUP6 00001692: ADD 00001693: SWAP5 00001694: POP 00001695: DUP3 00001696: PUSH1 0x00 00001698: JUMPDEST 00001699: DUP6 0000169a: DUP2 0000169b: LT 0000169c: ISZERO 0000169d: PUSH2 0x16c6 000016a0: JUMPI 000016a1: DUP2 000016a2: CALLDATALOAD 000016a3: PUSH2 0x16ab 000016a6: DUP2 000016a7: PUSH2 0x126c 000016aa: JUMP 000016ab: JUMPDEST 000016ac: PUSH1 0x01 000016ae: PUSH1 0x01 000016b0: PUSH1 0xa0 000016b2: SHL 000016b3: SUB 000016b4: AND 000016b5: DUP8 000016b6: MSTORE 000016b7: SWAP6 000016b8: DUP3 000016b9: ADD 000016ba: SWAP6 000016bb: SWAP1 000016bc: DUP3 000016bd: ADD 000016be: SWAP1 000016bf: PUSH1 0x01 000016c1: ADD 000016c2: PUSH2 0x1698 000016c5: JUMP 000016c6: JUMPDEST 000016c7: POP 000016c8: SWAP5 000016c9: SWAP6 000016ca: SWAP5 000016cb: POP 000016cc: POP 000016cd: POP 000016ce: POP 000016cf: POP 000016d0: JUMP 000016d1: JUMPDEST 000016d2: DUP2 000016d3: DUP4 000016d4: MSTORE 000016d5: PUSH1 0x00 000016d7: PUSH1 0x01 000016d9: PUSH1 0x01 000016db: PUSH1 0xfb 000016dd: SHL 000016de: SUB 000016df: DUP4 000016e0: GT 000016e1: ISZERO 000016e2: PUSH2 0x16ea 000016e5: JUMPI 000016e6: PUSH1 0x00 000016e8: DUP1 000016e9: REVERT 000016ea: JUMPDEST 000016eb: DUP3 000016ec: PUSH1 0x05 000016ee: SHL 000016ef: DUP1 000016f0: DUP4 000016f1: PUSH1 0x20 000016f3: DUP8 000016f4: ADD 000016f5: CALLDATACOPY 000016f6: SWAP4 000016f7: SWAP1 000016f8: SWAP4 000016f9: ADD 000016fa: PUSH1 0x20 000016fc: ADD 000016fd: SWAP4 000016fe: SWAP3 000016ff: POP 00001700: POP 00001701: POP 00001702: JUMP 00001703: JUMPDEST 00001704: PUSH1 0x60 00001706: DUP1 00001707: DUP3 00001708: MSTORE 00001709: DUP2 0000170a: ADD 0000170b: DUP7 0000170c: SWAP1 0000170d: MSTORE 0000170e: PUSH1 0x00 00001710: DUP8 00001711: PUSH1 0x80 00001713: DUP4 00001714: ADD 00001715: DUP3 00001716: JUMPDEST 00001717: DUP10 00001718: DUP2 00001719: LT 0000171a: ISZERO 0000171b: PUSH2 0x1746 0000171e: JUMPI 0000171f: DUP3 00001720: CALLDATALOAD 00001721: PUSH2 0x1729 00001724: DUP2 00001725: PUSH2 0x126c 00001728: JUMP 00001729: JUMPDEST 0000172a: PUSH1 0x01 0000172c: PUSH1 0x01 0000172e: PUSH1 0xa0 00001730: SHL 00001731: SUB 00001732: AND 00001733: DUP3 00001734: MSTORE 00001735: PUSH1 0x20 00001737: SWAP3 00001738: DUP4 00001739: ADD 0000173a: SWAP3 0000173b: SWAP1 0000173c: SWAP2 0000173d: ADD 0000173e: SWAP1 0000173f: PUSH1 0x01 00001741: ADD 00001742: PUSH2 0x1716 00001745: JUMP 00001746: JUMPDEST 00001747: POP 00001748: DUP4 00001749: DUP2 0000174a: SUB 0000174b: PUSH1 0x20 0000174d: DUP6 0000174e: ADD 0000174f: MSTORE 00001750: PUSH2 0x175a 00001753: DUP2 00001754: DUP9 00001755: DUP11 00001756: PUSH2 0x1688 00001759: JUMP 0000175a: JUMPDEST 0000175b: SWAP2 0000175c: POP 0000175d: POP 0000175e: DUP3 0000175f: DUP2 00001760: SUB 00001761: PUSH1 0x40 00001763: DUP5 00001764: ADD 00001765: MSTORE 00001766: PUSH2 0x1770 00001769: DUP2 0000176a: DUP6 0000176b: DUP8 0000176c: PUSH2 0x16d1 0000176f: JUMP 00001770: JUMPDEST 00001771: SWAP10 00001772: SWAP9 00001773: POP 00001774: POP 00001775: POP 00001776: POP 00001777: POP 00001778: POP 00001779: POP 0000177a: POP 0000177b: POP 0000177c: JUMP 0000177d: JUMPDEST 0000177e: PUSH1 0x01 00001780: PUSH1 0x01 00001782: PUSH1 0xa0 00001784: SHL 00001785: SUB 00001786: DUP7 00001787: AND 00001788: DUP2 00001789: MSTORE 0000178a: PUSH1 0x60 0000178c: PUSH1 0x20 0000178e: DUP3 0000178f: ADD 00001790: DUP2 00001791: SWAP1 00001792: MSTORE 00001793: PUSH1 0x00 00001795: SWAP1 00001796: PUSH2 0x17a2 00001799: SWAP1 0000179a: DUP4 0000179b: ADD 0000179c: DUP7 0000179d: DUP9 0000179e: PUSH2 0x1688 000017a1: JUMP 000017a2: JUMPDEST 000017a3: DUP3 000017a4: DUP2 000017a5: SUB 000017a6: PUSH1 0x40 000017a8: DUP5 000017a9: ADD 000017aa: MSTORE 000017ab: PUSH2 0x17b5 000017ae: DUP2 000017af: DUP6 000017b0: DUP8 000017b1: PUSH2 0x16d1 000017b4: JUMP 000017b5: JUMPDEST 000017b6: SWAP9 000017b7: SWAP8 000017b8: POP 000017b9: POP 000017ba: POP 000017bb: POP 000017bc: POP 000017bd: POP 000017be: POP 000017bf: POP 000017c0: JUMP 000017c1: JUMPDEST 000017c2: PUSH1 0x00 000017c4: JUMPDEST 000017c5: DUP4 000017c6: DUP2 000017c7: LT 000017c8: ISZERO 000017c9: PUSH2 0x17dc 000017cc: JUMPI 000017cd: DUP2 000017ce: DUP2 000017cf: ADD 000017d0: MLOAD 000017d1: DUP4 000017d2: DUP3 000017d3: ADD 000017d4: MSTORE 000017d5: PUSH1 0x20 000017d7: ADD 000017d8: PUSH2 0x17c4 000017db: JUMP 000017dc: JUMPDEST 000017dd: POP 000017de: POP 000017df: PUSH1 0x00 000017e1: SWAP2 000017e2: ADD 000017e3: MSTORE 000017e4: JUMP 000017e5: JUMPDEST 000017e6: PUSH1 0x00 000017e8: DUP3 000017e9: MLOAD 000017ea: PUSH2 0x17f7 000017ed: DUP2 000017ee: DUP5 000017ef: PUSH1 0x20 000017f1: DUP8 000017f2: ADD 000017f3: PUSH2 0x17c1 000017f6: JUMP 000017f7: JUMPDEST 000017f8: SWAP2 000017f9: SWAP1 000017fa: SWAP2 000017fb: ADD 000017fc: SWAP3 000017fd: SWAP2 000017fe: POP 000017ff: POP 00001800: JUMP 00001801: JUMPDEST 00001802: PUSH1 0x00 00001804: PUSH1 0x20 00001806: DUP3 00001807: DUP5 00001808: SUB 00001809: SLT 0000180a: ISZERO 0000180b: PUSH2 0x1813 0000180e: JUMPI 0000180f: PUSH1 0x00 00001811: DUP1 00001812: REVERT 00001813: JUMPDEST 00001814: DUP2 00001815: MLOAD 00001816: PUSH2 0x129e 00001819: DUP2 0000181a: PUSH2 0x126c 0000181d: JUMP 0000181e: JUMPDEST 0000181f: PUSH1 0x00 00001821: PUSH1 0x20 00001823: DUP3 00001824: DUP5 00001825: SUB 00001826: SLT 00001827: ISZERO 00001828: PUSH2 0x1830 0000182b: JUMPI 0000182c: PUSH1 0x00 0000182e: DUP1 0000182f: REVERT 00001830: JUMPDEST 00001831: DUP2 00001832: MLOAD 00001833: PUSH2 0x129e 00001836: DUP2 00001837: PUSH2 0x1636 0000183a: JUMP 0000183b: JUMPDEST 0000183c: PUSH1 0x20 0000183e: DUP2 0000183f: MSTORE 00001840: PUSH1 0x00 00001842: DUP3 00001843: MLOAD 00001844: DUP1 00001845: PUSH1 0x20 00001847: DUP5 00001848: ADD 00001849: MSTORE 0000184a: PUSH2 0x185a 0000184d: DUP2 0000184e: PUSH1 0x40 00001850: DUP6 00001851: ADD 00001852: PUSH1 0x20 00001854: DUP8 00001855: ADD 00001856: PUSH2 0x17c1 00001859: JUMP 0000185a: JUMPDEST 0000185b: PUSH1 0x1f 0000185d: ADD 0000185e: PUSH1 0x1f 00001860: NOT 00001861: AND 00001862: SWAP2 00001863: SWAP1 00001864: SWAP2 00001865: ADD 00001866: PUSH1 0x40 00001868: ADD 00001869: SWAP3 0000186a: SWAP2 0000186b: POP 0000186c: POP 0000186d: JUMP 0000186e: INVALID 0000186f: LOG2 00001870: PUSH5 0x6970667358 00001876: UNKNOWN(0x22) 00001877: SLT 00001878: KECCAK256 00001879: UNKNOWN(0xB6) 0000187a: UNKNOWN(0xB1) 0000187b: UNKNOWN(0x29) 0000187c: BLOCKHASH 0000187d: LOG0 0000187e: PUSH28 0x5ebba2e138ddf9bbb2c5a7060f4ea0f0270b8d119b5aee79fbf26473 0000189b: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6684eca6de7716b85c6fdf4df4e732b64003784b30a5b7e79ea8424914184fd1
call_targets:
0xbd0adb3ee21e0a75d3021384177238883d69e883
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6684eca6de7716b85c6fdf4df4e732b64003784b30a5b7e79ea8424914184fd1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbd0adb3ee21e0a75d3021384177238883d69e883"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3bf277e",
"selector": "0xa3bf277e",
"calldata_variants": [
"0xa3bf277e",
"0xa3bf277e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4546d23",
"selector": "0xd4546d23",
"calldata_variants": [
"0xd4546d23",
"0xd4546d230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x58bc8337",
"selector": "0x58bc8337",
"calldata_variants": [
"0x58bc8337",
"0x58bc83370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x77a24f36",
"selector": "0x77a24f36",
"calldata_variants": [
"0x77a24f36",
"0x77a24f360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07ef210c",
"selector": "0x07ef210c",
"calldata_variants": [
"0x07ef210c",
"0x07ef210c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1683,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2743,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3325,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6684eca6de7716b85c6fdf4df4e732b64003784b30a5b7e79ea8424914184fd1
call_targets:
0xbd0adb3ee21e0a75d3021384177238883d69e883
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6684eca6de7716b85c6fdf4df4e732b64003784b30a5b7e79ea8424914184fd1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbd0adb3ee21e0a75d3021384177238883d69e883"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3bf277e",
"selector": "0xa3bf277e",
"calldata_variants": [
"0xa3bf277e",
"0xa3bf277e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4546d23",
"selector": "0xd4546d23",
"calldata_variants": [
"0xd4546d23",
"0xd4546d230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x58bc8337",
"selector": "0x58bc8337",
"calldata_variants": [
"0x58bc8337",
"0x58bc83370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x77a24f36",
"selector": "0x77a24f36",
"calldata_variants": [
"0x77a24f36",
"0x77a24f360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07ef210c",
"selector": "0x07ef210c",
"calldata_variants": [
"0x07ef210c",
"0x07ef210c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1683,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2743,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3325,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 5
}
|