3dbe34ca-84de-43a3-8ba8-921c748e83d9
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 |
|---|---|---|---|---|
| 30538 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 104087 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 104088 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 104089 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 104090 | capability.graph | complete | 1 / 3 | 1 week ago |
| 104091 | detector.run | complete | 1 / 3 | 1 week ago |
| 104092 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1089307] OpenAI Codex v0.77.0 (research preview)
[codex:1089307] --------
[codex:1089307] workdir: /tmp/codex-multi-y1bpwosx
[codex:1089307] model: gpt-5.2-codex
[codex:1089307] provider: openai
[codex:1089307] approval: never
[codex:1089307] sandbox: read-only
[codex:1089307] reasoning effort: xhigh
[codex:1089307] reasoning summaries: auto
[codex:1089307] session id: 019b6b18-a804-7fb1-98f6-e195490f4407
[codex:1089307] --------
[codex:1089307] user
[codex:1089307] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1089307] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1089307] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1089307]
[codex:1089307] Scope rules:
[codex:1089307] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1089307] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1089307]
[codex:1089307] Output MUST be valid JSON matching the provided schema.
[codex:1089307] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1089307] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1089307]
[codex:1089307] Output constraints (IMPORTANT):
[codex:1089307] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1089307] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1089307] mcp startup: no servers
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1089307] exec
[codex:1089307] /bin/bash -lc ls in /tmp/codex-multi-y1bpwosx succeeded in 5ms:
[codex:1089307] AUDIT_BUNDLE.txt
[codex:1089307] codex-output-schema.json
[codex:1089307] contracts
[codex:1089307] exec
[codex:1089307] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-y1bpwosx succeeded in 5ms:
[codex:1089307] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1089307]
[codex:1089307] ================================================================================
[codex:1089307] FILE: contracts/@mimic-fi/v3-authorizer/contracts/Authorized.sol
[codex:1089307] ================================================================================
[codex:1089307] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1089307] // This program is free software: you can redistribute it and/or modify
[codex:1089307] // it under the terms of the GNU General Public License as published by
[codex:1089307] // the Free Software Foundation, either version 3 of the License, or
[codex:1089307] // (at your option) any later version.
[codex:1089307]
[codex:1089307] // This program is distributed in the hope that it will be useful,
[codex:1089307] // but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:1089307] // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
[codex:1089307] // GNU General Public License for more details.
[codex:1089307]
[codex:1089307] // You should have received a copy of the GNU General Public License
[codex:1089307] // along with this program. If not, see <http://www.gnu.org/licenses/>.
[codex:1089307]
[codex:1089307] pragma solidity ^0.8.17;
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Ensuring complete file reading**
[codex:1089307] exec
[codex:1089307] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-y1bpwosx succeeded in 7ms:
[codex:1089307] 4:FILE: contracts/@mimic-fi/v3-authorizer/contracts/Authorized.sol
[codex:1089307] 124:FILE: contracts/@mimic-fi/v3-authorizer/contracts/AuthorizedHelpers.sol
[codex:1089307] 251:FILE: contracts/@mimic-fi/v3-authorizer/contracts/interfaces/IAuthorized.sol
[codex:1089307] 285:FILE: contracts/@mimic-fi/v3-authorizer/contracts/interfaces/IAuthorizer.sol
[codex:1089307] 426:FILE: contracts/@mimic-fi/v3-fee-controller/contracts/interfaces/IFeeController.sol
[codex:1089307] 544:FILE: contracts/@mimic-fi/v3-helpers/contracts/math/FixedPoint.sol
[codex:1089307] 635:FILE: contracts/@mimic-fi/v3-helpers/contracts/utils/Denominations.sol
[codex:1089307] 670:FILE: contracts/@mimic-fi/v3-helpers/contracts/utils/ERC20Helpers.sol
[codex:1089307] 715:FILE: contracts/@mimic-fi/v3-helpers/contracts/utils/IWrappedNativeToken.sol
[codex:1089307] 751:FILE: contracts/@mimic-fi/v3-price-oracle/contracts/interfaces/IPriceOracle.sol
[codex:1089307] 893:FILE: contracts/@mimic-fi/v3-registry/contracts/interfaces/IRegistry.sol
[codex:1089307] 989:FILE: contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:1089307] 1075:FILE: contracts/@openzeppelin/contracts/token/ERC20/extensions/draft-IERC20Permit.sol
[codex:1089307] 1139:FILE: contracts/@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol
[codex:1089307] 1259:FILE: contracts/@openzeppelin/contracts/utils/Address.sol
[codex:1089307] 1485:FILE: contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1089307] 1627:FILE: contracts/@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol
[codex:1089307] 1706:FILE: contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol
[codex:1089307] 1905:FILE: contracts/contracts/SmartVault.sol
[codex:1089307] 2257:FILE: contracts/contracts/interfaces/ISmartVault.sol
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Reviewing main SmartVault contracts**
[codex:1089307] exec
[codex:1089307] /bin/bash -lc "sed -n '1905,2256p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-y1bpwosx succeeded in 5ms:
[codex:1089307] FILE: contracts/contracts/SmartVault.sol
[codex:1089307] ================================================================================
[codex:1089307] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1089307] // This program is free software: you can redistribute it and/or modify
[codex:1089307] // it under the terms of the GNU General Public License as published by
[codex:1089307] // the Free Software Foundation, either version 3 of the License, or
[codex:1089307] // (at your option) any later version.
[codex:1089307]
[codex:1089307] // This program is distributed in the hope that it will be useful,
[codex:1089307] // but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:1089307] // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
[codex:1089307] // GNU General Public License for more details.
[codex:1089307]
[codex:1089307] // You should have received a copy of the GNU General Public License
[codex:1089307] // along with this program. If not, see <http://www.gnu.org/licenses/>.
[codex:1089307]
[codex:1089307] pragma solidity ^0.8.0;
[codex:1089307]
[codex:1089307] import '@openzeppelin/contracts/token/ERC20/IERC20.sol';
[codex:1089307] import '@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol';
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Reviewing SmartVault and helpers for vulnerabilities**
[codex:1089307] exec
[codex:1089307] /bin/bash -lc "sed -n '544,750p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-y1bpwosx succeeded in 6ms:
[codex:1089307] FILE: contracts/@mimic-fi/v3-helpers/contracts/math/FixedPoint.sol
[codex:1089307] ================================================================================
[codex:1089307] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1089307] // This program is free software: you can redistribute it and/or modify
[codex:1089307] // it under the terms of the GNU General Public License as published by
[codex:1089307] // the Free Software Foundation, either version 3 of the License, or
[codex:1089307] // (at your option) any later version.
[codex:1089307]
[codex:1089307] // This program is distributed in the hope that it will be useful,
[codex:1089307] // but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:1089307] // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
[codex:1089307] // GNU General Public License for more details.
[codex:1089307]
[codex:1089307] // You should have received a copy of the GNU General Public License
[codex:1089307] // along with this program. If not, see <http://www.gnu.org/licenses/>.
[codex:1089307]
[codex:1089307] pragma solidity ^0.8.0;
[codex:1089307]
[codex:1089307] /**
[codex:1089307] * @title FixedPoint
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Checking missing imports and compile issues**
[codex:1089307] exec
[codex:1089307] /bin/bash -lc "sed -n '751,989p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-y1bpwosx succeeded in 5ms:
[codex:1089307] FILE: contracts/@mimic-fi/v3-price-oracle/contracts/interfaces/IPriceOracle.sol
[codex:1089307] ================================================================================
[codex:1089307] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1089307] // This program is free software: you can redistribute it and/or modify
[codex:1089307] // it under the terms of the GNU General Public License as published by
[codex:1089307] // the Free Software Foundation, either version 3 of the License, or
[codex:1089307] // (at your option) any later version.
[codex:1089307]
[codex:1089307] // This program is distributed in the hope that it will be useful,
[codex:1089307] // but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:1089307] // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
[codex:1089307] // GNU General Public License for more details.
[codex:1089307]
[codex:1089307] // You should have received a copy of the GNU General Public License
[codex:1089307] // along with this program. If not, see <http://www.gnu.org/licenses/>.
[codex:1089307]
[codex:1089307] pragma solidity >=0.8.0;
[codex:1089307]
[codex:1089307] import '@mimic-fi/v3-authorizer/contracts/interfaces/IAuthorized.sol';
[codex:1089307]
[codex:1089307]
[codex:1089307]
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Analyzing SmartVault delegatecall and permissions risks**
[codex:1089307]
[codex:1089307] I'm carefully assessing how SmartVault's use of delegatecall to connectors, combined with the permission system and overrideConnectorCheck, could allow authorized users to bypass restrictions by executing arbitrary storage writes or internal calls. I'm also considering fee calculation edge cases, reentrancy protections, upgradeability design, and the implications of immutable variables in proxy contexts. This review highlights that permission to execute connectors effectively grants admin-level control, so the trust model around connectors and registry governance is critical.
[codex:1089307] thinking
[codex:1089307] **Evaluating token handling and authorization nuances**
[codex:1089307]
[codex:1089307] I'm reviewing token transfer handling, especially differences between native and ERC20 tokens in `collect` and `withdraw`, and how authorizer parameters incorporate amounts. I’m also considering edge cases around initialization, reentrancy, connector behaviors via delegatecall, immutables in upgradeable context, and fee controller interactions. Despite design risks like delegatecall storage writes and initialization front-running, no definitive critical flaws stand out—mostly nuanced considerations about expected usage and governance assumptions.
[codex:1089307] thinking
[codex:1089307] **Reviewing external calls, delegatecall, and initialization risks**
[codex:1089307]
[codex:1089307] I'm considering how `call` and `execute` interact with EOAs and contracts, noting that `call` can't send ETH to EOAs with empty data but `withdraw` handles native token transfers with fees. Initialization patterns are consistent with typical upgradeable contracts, though uninitialized proxies pose front-running risks. The use of delegatecall to connectors remains a key design trust assumption, highlighting that connectors have full vault storage access. Import referencing across files seems fine given the compilation context. Overall, the system shows careful structuring, with residual design-level considerations around permissions and delegatecall risks.
[codex:1089307] exec
[codex:1089307] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-y1bpwosx succeeded in 7ms:
[codex:1089307] {"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:1089307]
[codex:1089307] thinking
[codex:1089307] **Ensuring full file coverage**
[codex:1089307] exec
[codex:1089307] /bin/bash -lc "sed -n '1,543p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-y1bpwosx succeeded in 6ms:
[codex:1089307] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1089307]
[codex:1089307] ================================================================================
[codex:1089307] FILE: contracts/@mimic-fi/v3-authorizer/contracts/Authorized.sol
[codex:1089307] ================================================================================
[codex:1089307] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1089307] // This program is free software: you can redistribute it and/or modify
[codex:1089307] // it under the terms of the GNU General Public License as published by
[codex:1089307] // the Free Software Foundation, either version 3 of the License, or
[codex:1089307] // (at your option) any later version.
[codex:1089307]
[codex:1089307] // This program is distributed in the hope that it will be useful,
[codex:1089307] // but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:1089307] // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
[codex:1089307] // GNU General Public License for more details.
[codex:1089307]
[codex:1089307] // You should have received a copy of the GNU General Public License
[codex:1089307] // along with this program. If not, see <http://www.gnu.org/licenses/>.
[codex:1089307]
[codex:1089307] pragma solidity ^0.8.17;
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Continuing to read remaining code sections**
[codex:1089307] exec
[codex:1089307] /bin/bash -lc "sed -n '989,1484p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-y1bpwosx succeeded in 7ms:
[codex:1089307] FILE: contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:1089307] ================================================================================
[codex:1089307] // SPDX-License-Identifier: MIT
[codex:1089307] // OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)
[codex:1089307]
[codex:1089307] pragma solidity ^0.8.0;
[codex:1089307]
[codex:1089307] /**
[codex:1089307] * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:1089307] */
[codex:1089307] interface IERC20 {
[codex:1089307] /**
[codex:1089307] * @dev Emitted when `value` tokens are moved from one account (`from`) to
[codex:1089307] * another (`to`).
[codex:1089307] *
[codex:1089307] * Note that `value` may be zero.
[codex:1089307] */
[codex:1089307] event Transfer(address indexed from, address indexed to, uint256 value);
[codex:1089307]
[codex:1089307] /**
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Reviewing Initializable code**
[codex:1089307] exec
[codex:1089307] /bin/bash -lc "sed -n '1485,1904p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-y1bpwosx succeeded in 6ms:
[codex:1089307] FILE: contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1089307] ================================================================================
[codex:1089307] // SPDX-License-Identifier: MIT
[codex:1089307] // OpenZeppelin Contracts (last updated v4.7.0) (proxy/utils/Initializable.sol)
[codex:1089307]
[codex:1089307] pragma solidity ^0.8.2;
[codex:1089307]
[codex:1089307] import "../../utils/AddressUpgradeable.sol";
[codex:1089307]
[codex:1089307] /**
[codex:1089307] * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
[codex:1089307] * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an
[codex:1089307] * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
[codex:1089307] * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:1089307] *
[codex:1089307] * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be
[codex:1089307] * reused. This mechanism prevents re-execution of each "step" but allows the creation of new initialization steps in
[codex:1089307] * case an upgrade adds a module that needs to be initialized.
[codex:1089307] *
[codex:1089307] * For example:
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Continuing to read code from line 2257**
[codex:1089307]
[codex:1089307] I'm going to read from line 2257 through 2548 to review this segment thoroughly since it contains the interface and test code already seen, but I want to confirm details in this chunk. This will help me understand the related functionality completely.
[codex:1089307] exec
[codex:1089307] /bin/bash -lc "sed -n '2257,2548p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-y1bpwosx succeeded in 6ms:
[codex:1089307] FILE: contracts/contracts/interfaces/ISmartVault.sol
[codex:1089307] ================================================================================
[codex:1089307] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1089307] // This program is free software: you can redistribute it and/or modify
[codex:1089307] // it under the terms of the GNU General Public License as published by
[codex:1089307] // the Free Software Foundation, either version 3 of the License, or
[codex:1089307] // (at your option) any later version.
[codex:1089307]
[codex:1089307] // This program is distributed in the hope that it will be useful,
[codex:1089307] // but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:1089307] // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
[codex:1089307] // GNU General Public License for more details.
[codex:1089307]
[codex:1089307] // You should have received a copy of the GNU General Public License
[codex:1089307] // along with this program. If not, see <http://www.gnu.org/licenses/>.
[codex:1089307]
[codex:1089307] pragma solidity >=0.8.0;
[codex:1089307]
[codex:1089307] import '@mimic-fi/v3-authorizer/contracts/interfaces/IAuthorized.sol';
[codex:1089307]
[codex:1089307]
[codex:1089307]
[codex:1089307] thinking
[codex:1089307] **Summarizing audit observations**
[codex:1089307]
[codex:1089307] I’m compiling a careful review of potential issues, weighing subtle risks like delegatecall trust boundaries, reentrancy guards, and initialization gaps. It looks like no critical vulnerabilities stand out, but operational risks remain around connector trust and proxy initialization—so overall, no exploitable bugs but some governance and deployment notes.
[codex:1089307] thinking
[codex:1089307] **Preparing final audit JSON output**
[codex:1089307]
[codex:1089307] I’m carefully framing the final JSON with no findings, keeping the summary concise and focused on the review scope, and confirming there are no exploitable vulnerabilities to report.
[codex:1089307] codex
[codex:1089307] {"no_findings":true,"summary":"Reviewed the SmartVault implementation and related first-party helpers/interfaces in AUDIT_BUNDLE.txt; no exploitable vulnerabilities found in scope.","findings":[]}
[codex:1089307] tokens used
[codex:1089307] 57,832
[codex:1089307] {"no_findings":true,"summary":"Reviewed the SmartVault implementation and related first-party helpers/interfaces in AUDIT_BUNDLE.txt; no exploitable vulnerabilities found in scope.","findings":[]}
{
"codex": {
"ran_at": "2025-12-29T17:17:39.798842+00:00",
"returncode": 0
},
"summary": "Reviewed the SmartVault implementation and related first-party helpers/interfaces in AUDIT_BUNDLE.txt; no exploitable vulnerabilities found in scope.",
"raw_final": {
"summary": "Reviewed the SmartVault implementation and related first-party helpers/interfaces in AUDIT_BUNDLE.txt; no exploitable vulnerabilities found in scope.",
"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 0x016d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x530e784f 00000019: GT 0000001a: PUSH2 0x00cb 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc8fea2fb 00000024: GT 00000025: PUSH2 0x007f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xde0e9a3e 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xde0e9a3e 0000003a: EQ 0000003b: PUSH2 0x0456 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xea598cb0 00000045: EQ 00000046: PUSH2 0x0476 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xeb056bbb 00000050: EQ 00000051: PUSH2 0x0496 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xc8fea2fb 00000060: EQ 00000061: PUSH2 0x03f0 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xd09edf31 0000006b: EQ 0000006c: PUSH2 0x0410 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd9caed12 00000076: EQ 00000077: PUSH2 0x0436 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x7b103999 00000086: GT 00000087: PUSH2 0x00b0 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x7b103999 00000091: EQ 00000092: PUSH2 0x038d 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x8456cb59 0000009c: EQ 0000009d: PUSH2 0x03c1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xb187bd26 000000a7: EQ 000000a8: PUSH2 0x03d6 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x530e784f 000000b7: EQ 000000b8: PUSH2 0x0339 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x6999b377 000000c2: EQ 000000c3: PUSH2 0x0359 000000c6: JUMPI 000000c7: PUSH1 0x00 000000c9: DUP1 000000ca: REVERT 000000cb: JUMPDEST 000000cc: DUP1 000000cd: PUSH4 0x28a3a266 000000d2: GT 000000d3: PUSH2 0x0122 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x4532ed5a 000000dd: GT 000000de: PUSH2 0x0107 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x4532ed5a 000000e8: EQ 000000e9: PUSH2 0x02d9 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x485cc955 000000f3: EQ 000000f4: PUSH2 0x02f9 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x4ae00041 000000fe: EQ 000000ff: PUSH2 0x0319 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: DUP1 00000109: PUSH4 0x28a3a266 0000010e: EQ 0000010f: PUSH2 0x0292 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x3f4ba83a 00000119: EQ 0000011a: PUSH2 0x02c2 0000011d: JUMPI 0000011e: PUSH1 0x00 00000120: DUP1 00000121: REVERT 00000122: JUMPDEST 00000123: DUP1 00000124: PUSH4 0x1cff79cd 00000129: GT 0000012a: PUSH2 0x0153 0000012d: JUMPI 0000012e: DUP1 0000012f: PUSH4 0x1cff79cd 00000134: EQ 00000135: PUSH2 0x0210 00000138: JUMPI 00000139: DUP1 0000013a: PUSH4 0x1ffa27f9 0000013f: EQ 00000140: PUSH2 0x023d 00000143: JUMPI 00000144: DUP1 00000145: PUSH4 0x2630c12f 0000014a: EQ 0000014b: PUSH2 0x026d 0000014e: JUMPI 0000014f: PUSH1 0x00 00000151: DUP1 00000152: REVERT 00000153: JUMPDEST 00000154: DUP1 00000155: PUSH3 0xbc4894 00000159: EQ 0000015a: PUSH2 0x0179 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0x17fcb39b 00000164: EQ 00000165: PUSH2 0x01c4 00000168: JUMPI 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: REVERT 0000016d: JUMPDEST 0000016e: CALLDATASIZE 0000016f: PUSH2 0x0174 00000172: JUMPI 00000173: STOP 00000174: JUMPDEST 00000175: PUSH1 0x00 00000177: DUP1 00000178: REVERT 00000179: JUMPDEST 0000017a: CALLVALUE 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: POP 00000187: PUSH2 0x01b1 0000018a: PUSH2 0x0194 0000018d: CALLDATASIZE 0000018e: PUSH1 0x04 00000190: PUSH2 0x2873 00000193: JUMP 00000194: JUMPDEST 00000195: PUSH1 0x35 00000197: PUSH1 0x20 00000199: SWAP1 0000019a: DUP2 0000019b: MSTORE 0000019c: PUSH1 0x00 0000019e: SWAP3 0000019f: DUP4 000001a0: MSTORE 000001a1: PUSH1 0x40 000001a3: DUP1 000001a4: DUP5 000001a5: KECCAK256 000001a6: SWAP1 000001a7: SWAP2 000001a8: MSTORE 000001a9: SWAP1 000001aa: DUP3 000001ab: MSTORE 000001ac: SWAP1 000001ad: KECCAK256 000001ae: SLOAD 000001af: DUP2 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: SWAP1 000001b6: DUP2 000001b7: MSTORE 000001b8: PUSH1 0x20 000001ba: ADD 000001bb: JUMPDEST 000001bc: PUSH1 0x40 000001be: MLOAD 000001bf: DUP1 000001c0: SWAP2 000001c1: SUB 000001c2: SWAP1 000001c3: RETURN 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01d0 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: REVERT 000001d0: JUMPDEST 000001d1: POP 000001d2: PUSH2 0x01f8 000001d5: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000001f6: DUP2 000001f7: JUMP 000001f8: JUMPDEST 000001f9: PUSH1 0x40 000001fb: MLOAD 000001fc: PUSH1 0x01 000001fe: PUSH1 0x01 00000200: PUSH1 0xa0 00000202: SHL 00000203: SUB 00000204: SWAP1 00000205: SWAP2 00000206: AND 00000207: DUP2 00000208: MSTORE 00000209: PUSH1 0x20 0000020b: ADD 0000020c: PUSH2 0x01bb 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: PUSH2 0x0230 00000221: PUSH2 0x022b 00000224: CALLDATASIZE 00000225: PUSH1 0x04 00000227: PUSH2 0x297d 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH2 0x04b6 0000022f: JUMP 00000230: JUMPDEST 00000231: PUSH1 0x40 00000233: MLOAD 00000234: PUSH2 0x01bb 00000237: SWAP2 00000238: SWAP1 00000239: PUSH2 0x2a3b 0000023c: JUMP 0000023d: JUMPDEST 0000023e: CALLVALUE 0000023f: DUP1 00000240: ISZERO 00000241: PUSH2 0x0249 00000244: JUMPI 00000245: PUSH1 0x00 00000247: DUP1 00000248: REVERT 00000249: JUMPDEST 0000024a: POP 0000024b: PUSH2 0x025d 0000024e: PUSH2 0x0258 00000251: CALLDATASIZE 00000252: PUSH1 0x04 00000254: PUSH2 0x2a4e 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH2 0x0622 0000025c: JUMP 0000025d: JUMPDEST 0000025e: PUSH1 0x40 00000260: MLOAD 00000261: SWAP1 00000262: ISZERO 00000263: ISZERO 00000264: DUP2 00000265: MSTORE 00000266: PUSH1 0x20 00000268: ADD 00000269: PUSH2 0x01bb 0000026c: JUMP 0000026d: JUMPDEST 0000026e: CALLVALUE 0000026f: DUP1 00000270: ISZERO 00000271: PUSH2 0x0279 00000274: JUMPI 00000275: PUSH1 0x00 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: POP 0000027b: PUSH1 0x33 0000027d: SLOAD 0000027e: PUSH2 0x01f8 00000281: SWAP1 00000282: PUSH2 0x0100 00000285: SWAP1 00000286: DIV 00000287: PUSH1 0x01 00000289: PUSH1 0x01 0000028b: PUSH1 0xa0 0000028d: SHL 0000028e: SUB 0000028f: AND 00000290: DUP2 00000291: JUMP 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH2 0x025d 000002a3: PUSH2 0x02ad 000002a6: CALLDATASIZE 000002a7: PUSH1 0x04 000002a9: PUSH2 0x2a4e 000002ac: JUMP 000002ad: JUMPDEST 000002ae: PUSH1 0x34 000002b0: PUSH1 0x20 000002b2: MSTORE 000002b3: PUSH1 0x00 000002b5: SWAP1 000002b6: DUP2 000002b7: MSTORE 000002b8: PUSH1 0x40 000002ba: SWAP1 000002bb: KECCAK256 000002bc: SLOAD 000002bd: PUSH1 0xff 000002bf: AND 000002c0: DUP2 000002c1: JUMP 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: DUP1 000002c5: ISZERO 000002c6: PUSH2 0x02ce 000002c9: JUMPI 000002ca: PUSH1 0x00 000002cc: DUP1 000002cd: REVERT 000002ce: JUMPDEST 000002cf: POP 000002d0: PUSH2 0x02d7 000002d3: PUSH2 0x0633 000002d6: JUMP 000002d7: JUMPDEST 000002d8: STOP 000002d9: JUMPDEST 000002da: CALLVALUE 000002db: DUP1 000002dc: ISZERO 000002dd: PUSH2 0x02e5 000002e0: JUMPI 000002e1: PUSH1 0x00 000002e3: DUP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: POP 000002e7: PUSH2 0x02d7 000002ea: PUSH2 0x02f4 000002ed: CALLDATASIZE 000002ee: PUSH1 0x04 000002f0: PUSH2 0x2a79 000002f3: JUMP 000002f4: JUMPDEST 000002f5: PUSH2 0x06f0 000002f8: JUMP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: DUP1 000002fc: ISZERO 000002fd: PUSH2 0x0305 00000300: JUMPI 00000301: PUSH1 0x00 00000303: DUP1 00000304: REVERT 00000305: JUMPDEST 00000306: POP 00000307: PUSH2 0x02d7 0000030a: PUSH2 0x0314 0000030d: CALLDATASIZE 0000030e: PUSH1 0x04 00000310: PUSH2 0x2aa7 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH2 0x083f 00000318: JUMP 00000319: JUMPDEST 0000031a: CALLVALUE 0000031b: DUP1 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: PUSH2 0x0230 0000032a: PUSH2 0x0334 0000032d: CALLDATASIZE 0000032e: PUSH1 0x04 00000330: PUSH2 0x2ad5 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH2 0x09bb 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: DUP1 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: PUSH2 0x02d7 0000034a: PUSH2 0x0354 0000034d: CALLDATASIZE 0000034e: PUSH1 0x04 00000350: PUSH2 0x2a4e 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH2 0x0b1d 00000358: JUMP 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: DUP1 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: POP 00000367: PUSH2 0x01f8 0000036a: PUSH32 0x00000000000000000000000088586bfc840b99680c8cc753a36b51999608b1f6 0000038b: DUP2 0000038c: JUMP 0000038d: JUMPDEST 0000038e: CALLVALUE 0000038f: DUP1 00000390: ISZERO 00000391: PUSH2 0x0399 00000394: JUMPI 00000395: PUSH1 0x00 00000397: DUP1 00000398: REVERT 00000399: JUMPDEST 0000039a: POP 0000039b: PUSH2 0x01f8 0000039e: PUSH32 0x0000000000000000000000001675bf3f75046acd131cad845eb8ff3bed49a643 000003bf: DUP2 000003c0: JUMP 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x02d7 000003d2: PUSH2 0x0bfa 000003d5: JUMP 000003d6: JUMPDEST 000003d7: CALLVALUE 000003d8: DUP1 000003d9: ISZERO 000003da: PUSH2 0x03e2 000003dd: JUMPI 000003de: PUSH1 0x00 000003e0: DUP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: POP 000003e4: PUSH1 0x33 000003e6: SLOAD 000003e7: PUSH2 0x025d 000003ea: SWAP1 000003eb: PUSH1 0xff 000003ed: AND 000003ee: DUP2 000003ef: JUMP 000003f0: JUMPDEST 000003f1: CALLVALUE 000003f2: DUP1 000003f3: ISZERO 000003f4: PUSH2 0x03fc 000003f7: JUMPI 000003f8: PUSH1 0x00 000003fa: DUP1 000003fb: REVERT 000003fc: JUMPDEST 000003fd: POP 000003fe: PUSH2 0x02d7 00000401: PUSH2 0x040b 00000404: CALLDATASIZE 00000405: PUSH1 0x04 00000407: PUSH2 0x2b2e 0000040a: JUMP 0000040b: JUMPDEST 0000040c: PUSH2 0x0cbb 0000040f: JUMP 00000410: JUMPDEST 00000411: CALLVALUE 00000412: DUP1 00000413: ISZERO 00000414: PUSH2 0x041c 00000417: JUMPI 00000418: PUSH1 0x00 0000041a: DUP1 0000041b: REVERT 0000041c: JUMPDEST 0000041d: POP 0000041e: PUSH1 0x00 00000420: SLOAD 00000421: PUSH2 0x01f8 00000424: SWAP1 00000425: PUSH3 0x010000 00000429: SWAP1 0000042a: DIV 0000042b: PUSH1 0x01 0000042d: PUSH1 0x01 0000042f: PUSH1 0xa0 00000431: SHL 00000432: SUB 00000433: AND 00000434: DUP2 00000435: JUMP 00000436: JUMPDEST 00000437: CALLVALUE 00000438: DUP1 00000439: ISZERO 0000043a: PUSH2 0x0442 0000043d: JUMPI 0000043e: PUSH1 0x00 00000440: DUP1 00000441: REVERT 00000442: JUMPDEST 00000443: POP 00000444: PUSH2 0x02d7 00000447: PUSH2 0x0451 0000044a: CALLDATASIZE 0000044b: PUSH1 0x04 0000044d: PUSH2 0x2b2e 00000450: JUMP 00000451: JUMPDEST 00000452: PUSH2 0x0e2f 00000455: JUMP 00000456: JUMPDEST 00000457: CALLVALUE 00000458: DUP1 00000459: ISZERO 0000045a: PUSH2 0x0462 0000045d: JUMPI 0000045e: PUSH1 0x00 00000460: DUP1 00000461: REVERT 00000462: JUMPDEST 00000463: POP 00000464: PUSH2 0x02d7 00000467: PUSH2 0x0471 0000046a: CALLDATASIZE 0000046b: PUSH1 0x04 0000046d: PUSH2 0x2b6f 00000470: JUMP 00000471: JUMPDEST 00000472: PUSH2 0x10ba 00000475: JUMP 00000476: JUMPDEST 00000477: CALLVALUE 00000478: DUP1 00000479: ISZERO 0000047a: PUSH2 0x0482 0000047d: JUMPI 0000047e: PUSH1 0x00 00000480: DUP1 00000481: REVERT 00000482: JUMPDEST 00000483: POP 00000484: PUSH2 0x02d7 00000487: PUSH2 0x0491 0000048a: CALLDATASIZE 0000048b: PUSH1 0x04 0000048d: PUSH2 0x2b6f 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH2 0x1294 00000495: JUMP 00000496: JUMPDEST 00000497: CALLVALUE 00000498: DUP1 00000499: ISZERO 0000049a: PUSH2 0x04a2 0000049d: JUMPI 0000049e: PUSH1 0x00 000004a0: DUP1 000004a1: REVERT 000004a2: JUMPDEST 000004a3: POP 000004a4: PUSH2 0x02d7 000004a7: PUSH2 0x04b1 000004aa: CALLDATASIZE 000004ab: PUSH1 0x04 000004ad: PUSH2 0x2b88 000004b0: JUMP 000004b1: JUMPDEST 000004b2: PUSH2 0x1495 000004b5: JUMP 000004b6: JUMPDEST 000004b7: PUSH1 0x60 000004b9: PUSH1 0x02 000004bb: PUSH1 0x01 000004bd: SLOAD 000004be: SUB 000004bf: PUSH2 0x050f 000004c2: JUMPI 000004c3: PUSH1 0x40 000004c5: MLOAD 000004c6: PUSH3 0x461bcd 000004ca: PUSH1 0xe5 000004cc: SHL 000004cd: DUP2 000004ce: MSTORE 000004cf: PUSH1 0x20 000004d1: PUSH1 0x04 000004d3: DUP3 000004d4: ADD 000004d5: MSTORE 000004d6: PUSH1 0x1f 000004d8: PUSH1 0x24 000004da: DUP3 000004db: ADD 000004dc: MSTORE 000004dd: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000004fe: PUSH1 0x44 00000500: DUP3 00000501: ADD 00000502: MSTORE 00000503: PUSH1 0x64 00000505: ADD 00000506: JUMPDEST 00000507: PUSH1 0x40 00000509: MLOAD 0000050a: DUP1 0000050b: SWAP2 0000050c: SUB 0000050d: SWAP1 0000050e: REVERT 0000050f: JUMPDEST 00000510: PUSH1 0x02 00000512: PUSH1 0x01 00000514: SSTORE 00000515: PUSH1 0x33 00000517: SLOAD 00000518: PUSH1 0xff 0000051a: AND 0000051b: ISZERO 0000051c: PUSH2 0x0551 0000051f: JUMPI 00000520: PUSH1 0x40 00000522: MLOAD 00000523: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 00000544: DUP2 00000545: MSTORE 00000546: PUSH1 0x04 00000548: ADD 00000549: PUSH1 0x40 0000054b: MLOAD 0000054c: DUP1 0000054d: SWAP2 0000054e: SUB 0000054f: SWAP1 00000550: REVERT 00000551: JUMPDEST 00000552: PUSH2 0x055a 00000555: DUP4 00000556: PUSH2 0x1605 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH2 0x0589 0000055e: CALLER 0000055f: PUSH1 0x00 00000561: CALLDATALOAD 00000562: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000583: AND 00000584: DUP4 00000585: PUSH2 0x1619 00000588: JUMP 00000589: JUMPDEST 0000058a: PUSH2 0x0592 0000058d: DUP5 0000058e: PUSH2 0x1660 00000591: JUMP 00000592: JUMPDEST 00000593: PUSH2 0x05d2 00000596: DUP5 00000597: DUP5 00000598: PUSH1 0x40 0000059a: MLOAD 0000059b: DUP1 0000059c: PUSH1 0x40 0000059e: ADD 0000059f: PUSH1 0x40 000005a1: MSTORE 000005a2: DUP1 000005a3: PUSH1 0x1a 000005a5: DUP2 000005a6: MSTORE 000005a7: PUSH1 0x20 000005a9: ADD 000005aa: PUSH32 0x534d4152545f5641554c545f455845435554455f4641494c4544000000000000 000005cb: DUP2 000005cc: MSTORE 000005cd: POP 000005ce: PUSH2 0x1934 000005d1: JUMP 000005d2: JUMPDEST 000005d3: SWAP2 000005d4: POP 000005d5: DUP4 000005d6: PUSH1 0x01 000005d8: PUSH1 0x01 000005da: PUSH1 0xa0 000005dc: SHL 000005dd: SUB 000005de: AND 000005df: PUSH32 0xc96720f35dd524e76ea92971ce13d08e9a17816bf3b0008a7083e6032354ebb5 00000600: DUP5 00000601: DUP5 00000602: PUSH1 0x40 00000604: MLOAD 00000605: PUSH2 0x060f 00000608: SWAP3 00000609: SWAP2 0000060a: SWAP1 0000060b: PUSH2 0x2bd2 0000060e: JUMP 0000060f: JUMPDEST 00000610: PUSH1 0x40 00000612: MLOAD 00000613: DUP1 00000614: SWAP2 00000615: SUB 00000616: SWAP1 00000617: LOG2 00000618: POP 00000619: PUSH1 0x01 0000061b: DUP1 0000061c: SSTORE 0000061d: SWAP3 0000061e: SWAP2 0000061f: POP 00000620: POP 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH1 0x00 00000625: PUSH2 0x062d 00000628: DUP3 00000629: PUSH2 0x1a2a 0000062c: JUMP 0000062d: JUMPDEST 0000062e: SWAP3 0000062f: SWAP2 00000630: POP 00000631: POP 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH2 0x0661 00000637: CALLER 00000638: PUSH1 0x00 0000063a: CALLDATALOAD 0000063b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000065c: AND 0000065d: PUSH2 0x1abf 00000660: JUMP 00000661: JUMPDEST 00000662: PUSH1 0x33 00000664: SLOAD 00000665: PUSH1 0xff 00000667: AND 00000668: PUSH2 0x069d 0000066b: JUMPI 0000066c: PUSH1 0x40 0000066e: MLOAD 0000066f: PUSH32 0x55fc734200000000000000000000000000000000000000000000000000000000 00000690: DUP2 00000691: MSTORE 00000692: PUSH1 0x04 00000694: ADD 00000695: PUSH1 0x40 00000697: MLOAD 00000698: DUP1 00000699: SWAP2 0000069a: SUB 0000069b: SWAP1 0000069c: REVERT 0000069d: JUMPDEST 0000069e: PUSH1 0x33 000006a0: DUP1 000006a1: SLOAD 000006a2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000006c3: AND 000006c4: SWAP1 000006c5: SSTORE 000006c6: PUSH1 0x40 000006c8: MLOAD 000006c9: PUSH32 0xa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d16933 000006ea: SWAP1 000006eb: PUSH1 0x00 000006ed: SWAP1 000006ee: LOG1 000006ef: JUMP 000006f0: JUMPDEST 000006f1: PUSH1 0x02 000006f3: PUSH1 0x01 000006f5: SLOAD 000006f6: SUB 000006f7: PUSH2 0x0742 000006fa: JUMPI 000006fb: PUSH1 0x40 000006fd: MLOAD 000006fe: PUSH3 0x461bcd 00000702: PUSH1 0xe5 00000704: SHL 00000705: DUP2 00000706: MSTORE 00000707: PUSH1 0x20 00000709: PUSH1 0x04 0000070b: DUP3 0000070c: ADD 0000070d: MSTORE 0000070e: PUSH1 0x1f 00000710: PUSH1 0x24 00000712: DUP3 00000713: ADD 00000714: MSTORE 00000715: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000736: PUSH1 0x44 00000738: DUP3 00000739: ADD 0000073a: MSTORE 0000073b: PUSH1 0x64 0000073d: ADD 0000073e: PUSH2 0x0506 00000741: JUMP 00000742: JUMPDEST 00000743: PUSH1 0x02 00000745: PUSH1 0x01 00000747: SSTORE 00000748: PUSH1 0x33 0000074a: SLOAD 0000074b: PUSH1 0xff 0000074d: AND 0000074e: ISZERO 0000074f: PUSH2 0x0784 00000752: JUMPI 00000753: PUSH1 0x40 00000755: MLOAD 00000756: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 00000777: DUP2 00000778: MSTORE 00000779: PUSH1 0x04 0000077b: ADD 0000077c: PUSH1 0x40 0000077e: MLOAD 0000077f: DUP1 00000780: SWAP2 00000781: SUB 00000782: SWAP1 00000783: REVERT 00000784: JUMPDEST 00000785: PUSH2 0x078e 00000788: DUP3 00000789: DUP3 0000078a: PUSH2 0x1adf 0000078d: JUMP 0000078e: JUMPDEST 0000078f: PUSH2 0x07bd 00000792: CALLER 00000793: PUSH1 0x00 00000795: CALLDATALOAD 00000796: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000007b7: AND 000007b8: DUP4 000007b9: PUSH2 0x1619 000007bc: JUMP 000007bd: JUMPDEST 000007be: PUSH1 0x01 000007c0: PUSH1 0x01 000007c2: PUSH1 0xa0 000007c4: SHL 000007c5: SUB 000007c6: DUP4 000007c7: AND 000007c8: PUSH1 0x00 000007ca: DUP2 000007cb: DUP2 000007cc: MSTORE 000007cd: PUSH1 0x34 000007cf: PUSH1 0x20 000007d1: SWAP1 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x40 000007d6: SWAP2 000007d7: DUP3 000007d8: SWAP1 000007d9: KECCAK256 000007da: DUP1 000007db: SLOAD 000007dc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000007fd: AND 000007fe: DUP7 000007ff: ISZERO 00000800: ISZERO 00000801: SWAP1 00000802: DUP2 00000803: OR 00000804: SWAP1 00000805: SWAP2 00000806: SSTORE 00000807: SWAP2 00000808: MLOAD 00000809: SWAP2 0000080a: DUP3 0000080b: MSTORE 0000080c: PUSH32 0xb59eefe3d43ac0e52238583d75ad6c45dff171b4d14853da666ce4c3f1ed289f 0000082d: SWAP2 0000082e: ADD 0000082f: PUSH1 0x40 00000831: MLOAD 00000832: DUP1 00000833: SWAP2 00000834: SUB 00000835: SWAP1 00000836: LOG2 00000837: POP 00000838: POP 00000839: PUSH1 0x01 0000083b: DUP1 0000083c: SSTORE 0000083d: POP 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH1 0x00 00000842: SLOAD 00000843: PUSH2 0x0100 00000846: SWAP1 00000847: DIV 00000848: PUSH1 0xff 0000084a: AND 0000084b: ISZERO 0000084c: DUP1 0000084d: DUP1 0000084e: ISZERO 0000084f: PUSH2 0x085f 00000852: JUMPI 00000853: POP 00000854: PUSH1 0x00 00000856: SLOAD 00000857: PUSH1 0x01 00000859: PUSH1 0xff 0000085b: SWAP1 0000085c: SWAP2 0000085d: AND 0000085e: LT 0000085f: JUMPDEST 00000860: DUP1 00000861: PUSH2 0x0879 00000864: JUMPI 00000865: POP 00000866: ADDRESS 00000867: EXTCODESIZE 00000868: ISZERO 00000869: DUP1 0000086a: ISZERO 0000086b: PUSH2 0x0879 0000086e: JUMPI 0000086f: POP 00000870: PUSH1 0x00 00000872: SLOAD 00000873: PUSH1 0xff 00000875: AND 00000876: PUSH1 0x01 00000878: EQ 00000879: JUMPDEST 0000087a: PUSH2 0x08eb 0000087d: JUMPI 0000087e: PUSH1 0x40 00000880: MLOAD 00000881: PUSH3 0x461bcd 00000885: PUSH1 0xe5 00000887: SHL 00000888: DUP2 00000889: MSTORE 0000088a: PUSH1 0x20 0000088c: PUSH1 0x04 0000088e: DUP3 0000088f: ADD 00000890: MSTORE 00000891: PUSH1 0x2e 00000893: PUSH1 0x24 00000895: DUP3 00000896: ADD 00000897: MSTORE 00000898: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 000008b9: PUSH1 0x44 000008bb: DUP3 000008bc: ADD 000008bd: MSTORE 000008be: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 000008df: PUSH1 0x64 000008e1: DUP3 000008e2: ADD 000008e3: MSTORE 000008e4: PUSH1 0x84 000008e6: ADD 000008e7: PUSH2 0x0506 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH1 0x00 000008ee: DUP1 000008ef: SLOAD 000008f0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000911: AND 00000912: PUSH1 0x01 00000914: OR 00000915: SWAP1 00000916: SSTORE 00000917: DUP1 00000918: ISZERO 00000919: PUSH2 0x0949 0000091c: JUMPI 0000091d: PUSH1 0x00 0000091f: DUP1 00000920: SLOAD 00000921: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00000942: AND 00000943: PUSH2 0x0100 00000946: OR 00000947: SWAP1 00000948: SSTORE 00000949: JUMPDEST 0000094a: PUSH2 0x0953 0000094d: DUP4 0000094e: DUP4 0000094f: PUSH2 0x1b5f 00000952: JUMP 00000953: JUMPDEST 00000954: DUP1 00000955: ISZERO 00000956: PUSH2 0x09b6 00000959: JUMPI 0000095a: PUSH1 0x00 0000095c: DUP1 0000095d: SLOAD 0000095e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 0000097f: AND 00000980: SWAP1 00000981: SSTORE 00000982: PUSH1 0x40 00000984: MLOAD 00000985: PUSH1 0x01 00000987: DUP2 00000988: MSTORE 00000989: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 000009aa: SWAP1 000009ab: PUSH1 0x20 000009ad: ADD 000009ae: PUSH1 0x40 000009b0: MLOAD 000009b1: DUP1 000009b2: SWAP2 000009b3: SUB 000009b4: SWAP1 000009b5: LOG1 000009b6: JUMPDEST 000009b7: POP 000009b8: POP 000009b9: POP 000009ba: JUMP 000009bb: JUMPDEST 000009bc: PUSH1 0x60 000009be: PUSH1 0x02 000009c0: PUSH1 0x01 000009c2: SLOAD 000009c3: SUB 000009c4: PUSH2 0x0a0f 000009c7: JUMPI 000009c8: PUSH1 0x40 000009ca: MLOAD 000009cb: PUSH3 0x461bcd 000009cf: PUSH1 0xe5 000009d1: SHL 000009d2: DUP2 000009d3: MSTORE 000009d4: PUSH1 0x20 000009d6: PUSH1 0x04 000009d8: DUP3 000009d9: ADD 000009da: MSTORE 000009db: PUSH1 0x1f 000009dd: PUSH1 0x24 000009df: DUP3 000009e0: ADD 000009e1: MSTORE 000009e2: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000a03: PUSH1 0x44 00000a05: DUP3 00000a06: ADD 00000a07: MSTORE 00000a08: PUSH1 0x64 00000a0a: ADD 00000a0b: PUSH2 0x0506 00000a0e: JUMP 00000a0f: JUMPDEST 00000a10: PUSH1 0x02 00000a12: PUSH1 0x01 00000a14: SSTORE 00000a15: PUSH1 0x33 00000a17: SLOAD 00000a18: PUSH1 0xff 00000a1a: AND 00000a1b: ISZERO 00000a1c: PUSH2 0x0a51 00000a1f: JUMPI 00000a20: PUSH1 0x40 00000a22: MLOAD 00000a23: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 00000a44: DUP2 00000a45: MSTORE 00000a46: PUSH1 0x04 00000a48: ADD 00000a49: PUSH1 0x40 00000a4b: MLOAD 00000a4c: DUP1 00000a4d: SWAP2 00000a4e: SUB 00000a4f: SWAP1 00000a50: REVERT 00000a51: JUMPDEST 00000a52: PUSH2 0x0a5a 00000a55: DUP5 00000a56: PUSH2 0x1605 00000a59: JUMP 00000a5a: JUMPDEST 00000a5b: PUSH2 0x0a89 00000a5e: CALLER 00000a5f: PUSH1 0x00 00000a61: CALLDATALOAD 00000a62: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000a83: AND 00000a84: DUP4 00000a85: PUSH2 0x1619 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: PUSH2 0x0aca 00000a8d: DUP6 00000a8e: DUP6 00000a8f: DUP6 00000a90: PUSH1 0x40 00000a92: MLOAD 00000a93: DUP1 00000a94: PUSH1 0x40 00000a96: ADD 00000a97: PUSH1 0x40 00000a99: MSTORE 00000a9a: DUP1 00000a9b: PUSH1 0x17 00000a9d: DUP2 00000a9e: MSTORE 00000a9f: PUSH1 0x20 00000aa1: ADD 00000aa2: PUSH32 0x534d4152545f5641554c545f43414c4c5f4641494c4544000000000000000000 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: POP 00000ac6: PUSH2 0x1bf7 00000ac9: JUMP 00000aca: JUMPDEST 00000acb: SWAP2 00000acc: POP 00000acd: DUP5 00000ace: PUSH1 0x01 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0xa0 00000ad4: SHL 00000ad5: SUB 00000ad6: AND 00000ad7: PUSH32 0x8e5d52c2fd20a8ca33fcfe8232fb93b5c1b40ac5c050512ac0ba6033dfb02d4e 00000af8: DUP6 00000af9: DUP6 00000afa: DUP6 00000afb: PUSH1 0x40 00000afd: MLOAD 00000afe: PUSH2 0x0b09 00000b01: SWAP4 00000b02: SWAP3 00000b03: SWAP2 00000b04: SWAP1 00000b05: PUSH2 0x2c00 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: PUSH1 0x40 00000b0c: MLOAD 00000b0d: DUP1 00000b0e: SWAP2 00000b0f: SUB 00000b10: SWAP1 00000b11: LOG2 00000b12: POP 00000b13: PUSH1 0x01 00000b15: DUP1 00000b16: SSTORE 00000b17: SWAP4 00000b18: SWAP3 00000b19: POP 00000b1a: POP 00000b1b: POP 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: PUSH1 0x02 00000b20: PUSH1 0x01 00000b22: SLOAD 00000b23: SUB 00000b24: PUSH2 0x0b6f 00000b27: JUMPI 00000b28: PUSH1 0x40 00000b2a: MLOAD 00000b2b: PUSH3 0x461bcd 00000b2f: PUSH1 0xe5 00000b31: SHL 00000b32: DUP2 00000b33: MSTORE 00000b34: PUSH1 0x20 00000b36: PUSH1 0x04 00000b38: DUP3 00000b39: ADD 00000b3a: MSTORE 00000b3b: PUSH1 0x1f 00000b3d: PUSH1 0x24 00000b3f: DUP3 00000b40: ADD 00000b41: MSTORE 00000b42: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000b63: PUSH1 0x44 00000b65: DUP3 00000b66: ADD 00000b67: MSTORE 00000b68: PUSH1 0x64 00000b6a: ADD 00000b6b: PUSH2 0x0506 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH1 0x02 00000b72: PUSH1 0x01 00000b74: SSTORE 00000b75: PUSH1 0x33 00000b77: SLOAD 00000b78: PUSH1 0xff 00000b7a: AND 00000b7b: ISZERO 00000b7c: PUSH2 0x0bb1 00000b7f: JUMPI 00000b80: PUSH1 0x40 00000b82: MLOAD 00000b83: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: PUSH1 0x04 00000ba8: ADD 00000ba9: PUSH1 0x40 00000bab: MLOAD 00000bac: DUP1 00000bad: SWAP2 00000bae: SUB 00000baf: SWAP1 00000bb0: REVERT 00000bb1: JUMPDEST 00000bb2: PUSH2 0x0bba 00000bb5: DUP2 00000bb6: PUSH2 0x1605 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH2 0x0be9 00000bbe: CALLER 00000bbf: PUSH1 0x00 00000bc1: CALLDATALOAD 00000bc2: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000be3: AND 00000be4: DUP4 00000be5: PUSH2 0x1619 00000be8: JUMP 00000be9: JUMPDEST 00000bea: PUSH2 0x0bf2 00000bed: DUP3 00000bee: PUSH2 0x1d3f 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: POP 00000bf4: POP 00000bf5: PUSH1 0x01 00000bf7: DUP1 00000bf8: SSTORE 00000bf9: JUMP 00000bfa: JUMPDEST 00000bfb: PUSH2 0x0c28 00000bfe: CALLER 00000bff: PUSH1 0x00 00000c01: CALLDATALOAD 00000c02: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000c23: AND 00000c24: PUSH2 0x1abf 00000c27: JUMP 00000c28: JUMPDEST 00000c29: PUSH1 0x33 00000c2b: SLOAD 00000c2c: PUSH1 0xff 00000c2e: AND 00000c2f: ISZERO 00000c30: PUSH2 0x0c65 00000c33: JUMPI 00000c34: PUSH1 0x40 00000c36: MLOAD 00000c37: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 00000c58: DUP2 00000c59: MSTORE 00000c5a: PUSH1 0x04 00000c5c: ADD 00000c5d: PUSH1 0x40 00000c5f: MLOAD 00000c60: DUP1 00000c61: SWAP2 00000c62: SUB 00000c63: SWAP1 00000c64: REVERT 00000c65: JUMPDEST 00000c66: PUSH1 0x33 00000c68: DUP1 00000c69: SLOAD 00000c6a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000c8b: AND 00000c8c: PUSH1 0x01 00000c8e: OR 00000c8f: SWAP1 00000c90: SSTORE 00000c91: PUSH1 0x40 00000c93: MLOAD 00000c94: PUSH32 0x9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e752 00000cb5: SWAP1 00000cb6: PUSH1 0x00 00000cb8: SWAP1 00000cb9: LOG1 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x02 00000cbe: PUSH1 0x01 00000cc0: SLOAD 00000cc1: SUB 00000cc2: PUSH2 0x0d0d 00000cc5: JUMPI 00000cc6: PUSH1 0x40 00000cc8: MLOAD 00000cc9: PUSH3 0x461bcd 00000ccd: PUSH1 0xe5 00000ccf: SHL 00000cd0: DUP2 00000cd1: MSTORE 00000cd2: PUSH1 0x20 00000cd4: PUSH1 0x04 00000cd6: DUP3 00000cd7: ADD 00000cd8: MSTORE 00000cd9: PUSH1 0x1f 00000cdb: PUSH1 0x24 00000cdd: DUP3 00000cde: ADD 00000cdf: MSTORE 00000ce0: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000d01: PUSH1 0x44 00000d03: DUP3 00000d04: ADD 00000d05: MSTORE 00000d06: PUSH1 0x64 00000d08: ADD 00000d09: PUSH2 0x0506 00000d0c: JUMP 00000d0d: JUMPDEST 00000d0e: PUSH1 0x02 00000d10: PUSH1 0x01 00000d12: SSTORE 00000d13: PUSH1 0x33 00000d15: SLOAD 00000d16: PUSH1 0xff 00000d18: AND 00000d19: ISZERO 00000d1a: PUSH2 0x0d4f 00000d1d: JUMPI 00000d1e: PUSH1 0x40 00000d20: MLOAD 00000d21: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 00000d42: DUP2 00000d43: MSTORE 00000d44: PUSH1 0x04 00000d46: ADD 00000d47: PUSH1 0x40 00000d49: MLOAD 00000d4a: DUP1 00000d4b: SWAP2 00000d4c: SUB 00000d4d: SWAP1 00000d4e: REVERT 00000d4f: JUMPDEST 00000d50: PUSH2 0x0d5a 00000d53: DUP4 00000d54: DUP4 00000d55: DUP4 00000d56: PUSH2 0x1da8 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: PUSH2 0x0d89 00000d5e: CALLER 00000d5f: PUSH1 0x00 00000d61: CALLDATALOAD 00000d62: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000d83: AND 00000d84: DUP4 00000d85: PUSH2 0x1619 00000d88: JUMP 00000d89: JUMPDEST 00000d8a: DUP2 00000d8b: PUSH1 0x00 00000d8d: SUB 00000d8e: PUSH2 0x0dc3 00000d91: JUMPI 00000d92: PUSH1 0x40 00000d94: MLOAD 00000d95: PUSH32 0xf6faad9300000000000000000000000000000000000000000000000000000000 00000db6: DUP2 00000db7: MSTORE 00000db8: PUSH1 0x04 00000dba: ADD 00000dbb: PUSH1 0x40 00000dbd: MLOAD 00000dbe: DUP1 00000dbf: SWAP2 00000dc0: SUB 00000dc1: SWAP1 00000dc2: REVERT 00000dc3: JUMPDEST 00000dc4: PUSH2 0x0dd8 00000dc7: PUSH1 0x01 00000dc9: PUSH1 0x01 00000dcb: PUSH1 0xa0 00000dcd: SHL 00000dce: SUB 00000dcf: DUP6 00000dd0: AND 00000dd1: DUP5 00000dd2: ADDRESS 00000dd3: DUP6 00000dd4: PUSH2 0x1e43 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: DUP3 00000dda: PUSH1 0x01 00000ddc: PUSH1 0x01 00000dde: PUSH1 0xa0 00000de0: SHL 00000de1: SUB 00000de2: AND 00000de3: DUP5 00000de4: PUSH1 0x01 00000de6: PUSH1 0x01 00000de8: PUSH1 0xa0 00000dea: SHL 00000deb: SUB 00000dec: AND 00000ded: PUSH32 0x484decdc1e9549e1866295f6f86c889ded3f7de410e7488a7a415978589dc8fd 00000e0e: DUP5 00000e0f: PUSH1 0x40 00000e11: MLOAD 00000e12: PUSH2 0x0e1d 00000e15: SWAP2 00000e16: DUP2 00000e17: MSTORE 00000e18: PUSH1 0x20 00000e1a: ADD 00000e1b: SWAP1 00000e1c: JUMP 00000e1d: JUMPDEST 00000e1e: PUSH1 0x40 00000e20: MLOAD 00000e21: DUP1 00000e22: SWAP2 00000e23: SUB 00000e24: SWAP1 00000e25: LOG3 00000e26: POP 00000e27: POP 00000e28: PUSH1 0x01 00000e2a: DUP1 00000e2b: SSTORE 00000e2c: POP 00000e2d: POP 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: PUSH1 0x02 00000e32: PUSH1 0x01 00000e34: SLOAD 00000e35: SUB 00000e36: PUSH2 0x0e81 00000e39: JUMPI 00000e3a: PUSH1 0x40 00000e3c: MLOAD 00000e3d: PUSH3 0x461bcd 00000e41: PUSH1 0xe5 00000e43: SHL 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x20 00000e48: PUSH1 0x04 00000e4a: DUP3 00000e4b: ADD 00000e4c: MSTORE 00000e4d: PUSH1 0x1f 00000e4f: PUSH1 0x24 00000e51: DUP3 00000e52: ADD 00000e53: MSTORE 00000e54: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000e75: PUSH1 0x44 00000e77: DUP3 00000e78: ADD 00000e79: MSTORE 00000e7a: PUSH1 0x64 00000e7c: ADD 00000e7d: PUSH2 0x0506 00000e80: JUMP 00000e81: JUMPDEST 00000e82: PUSH1 0x02 00000e84: PUSH1 0x01 00000e86: SSTORE 00000e87: PUSH1 0x33 00000e89: SLOAD 00000e8a: PUSH1 0xff 00000e8c: AND 00000e8d: ISZERO 00000e8e: PUSH2 0x0ec3 00000e91: JUMPI 00000e92: PUSH1 0x40 00000e94: MLOAD 00000e95: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 00000eb6: DUP2 00000eb7: MSTORE 00000eb8: PUSH1 0x04 00000eba: ADD 00000ebb: PUSH1 0x40 00000ebd: MLOAD 00000ebe: DUP1 00000ebf: SWAP2 00000ec0: SUB 00000ec1: SWAP1 00000ec2: REVERT 00000ec3: JUMPDEST 00000ec4: PUSH2 0x0ece 00000ec7: DUP4 00000ec8: DUP4 00000ec9: DUP4 00000eca: PUSH2 0x1da8 00000ecd: JUMP 00000ece: JUMPDEST 00000ecf: PUSH2 0x0efd 00000ed2: CALLER 00000ed3: PUSH1 0x00 00000ed5: CALLDATALOAD 00000ed6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000ef7: AND 00000ef8: DUP4 00000ef9: PUSH2 0x1619 00000efc: JUMP 00000efd: JUMPDEST 00000efe: DUP2 00000eff: PUSH1 0x00 00000f01: SUB 00000f02: PUSH2 0x0f37 00000f05: JUMPI 00000f06: PUSH1 0x40 00000f08: MLOAD 00000f09: PUSH32 0xf6faad9300000000000000000000000000000000000000000000000000000000 00000f2a: DUP2 00000f2b: MSTORE 00000f2c: PUSH1 0x04 00000f2e: ADD 00000f2f: PUSH1 0x40 00000f31: MLOAD 00000f32: DUP1 00000f33: SWAP2 00000f34: SUB 00000f35: SWAP1 00000f36: REVERT 00000f37: JUMPDEST 00000f38: PUSH1 0x01 00000f3a: PUSH1 0x01 00000f3c: PUSH1 0xa0 00000f3e: SHL 00000f3f: SUB 00000f40: DUP4 00000f41: AND 00000f42: PUSH2 0x0f77 00000f45: JUMPI 00000f46: PUSH1 0x40 00000f48: MLOAD 00000f49: PUSH32 0x4513279f00000000000000000000000000000000000000000000000000000000 00000f6a: DUP2 00000f6b: MSTORE 00000f6c: PUSH1 0x04 00000f6e: ADD 00000f6f: PUSH1 0x40 00000f71: MLOAD 00000f72: DUP1 00000f73: SWAP2 00000f74: SUB 00000f75: SWAP1 00000f76: REVERT 00000f77: JUMPDEST 00000f78: PUSH1 0x40 00000f7a: MLOAD 00000f7b: PUSH32 0xb88c914800000000000000000000000000000000000000000000000000000000 00000f9c: DUP2 00000f9d: MSTORE 00000f9e: ADDRESS 00000f9f: PUSH1 0x04 00000fa1: DUP3 00000fa2: ADD 00000fa3: MSTORE 00000fa4: PUSH1 0x00 00000fa6: SWAP1 00000fa7: DUP2 00000fa8: SWAP1 00000fa9: PUSH1 0x01 00000fab: PUSH1 0x01 00000fad: PUSH1 0xa0 00000faf: SHL 00000fb0: SUB 00000fb1: PUSH32 0x00000000000000000000000088586bfc840b99680c8cc753a36b51999608b1f6 00000fd2: AND 00000fd3: SWAP1 00000fd4: PUSH4 0xb88c9148 00000fd9: SWAP1 00000fda: PUSH1 0x24 00000fdc: ADD 00000fdd: PUSH1 0x60 00000fdf: PUSH1 0x40 00000fe1: MLOAD 00000fe2: DUP1 00000fe3: DUP4 00000fe4: SUB 00000fe5: DUP2 00000fe6: DUP7 00000fe7: GAS 00000fe8: STATICCALL 00000fe9: ISZERO 00000fea: DUP1 00000feb: ISZERO 00000fec: PUSH2 0x0ff9 00000fef: JUMPI 00000ff0: RETURNDATASIZE 00000ff1: PUSH1 0x00 00000ff3: DUP1 00000ff4: RETURNDATACOPY 00000ff5: RETURNDATASIZE 00000ff6: PUSH1 0x00 00000ff8: REVERT 00000ff9: JUMPDEST 00000ffa: POP 00000ffb: POP 00000ffc: POP 00000ffd: POP 00000ffe: PUSH1 0x40 00001000: MLOAD 00001001: RETURNDATASIZE 00001002: PUSH1 0x1f 00001004: NOT 00001005: PUSH1 0x1f 00001007: DUP3 00001008: ADD 00001009: AND 0000100a: DUP3 0000100b: ADD 0000100c: DUP1 0000100d: PUSH1 0x40 0000100f: MSTORE 00001010: POP 00001011: DUP2 00001012: ADD 00001013: SWAP1 00001014: PUSH2 0x101d 00001017: SWAP2 00001018: SWAP1 00001019: PUSH2 0x2c35 0000101c: JUMP 0000101d: JUMPDEST 0000101e: SWAP1 0000101f: SWAP4 00001020: POP 00001021: SWAP2 00001022: POP 00001023: PUSH1 0x00 00001025: SWAP1 00001026: POP 00001027: PUSH2 0x1030 0000102a: DUP6 0000102b: DUP5 0000102c: PUSH2 0x1f18 0000102f: JUMP 00001030: JUMPDEST 00001031: SWAP1 00001032: POP 00001033: PUSH2 0x103d 00001036: DUP8 00001037: DUP4 00001038: DUP4 00001039: PUSH2 0x1f8e 0000103c: JUMP 0000103d: JUMPDEST 0000103e: PUSH1 0x00 00001040: PUSH2 0x1049 00001043: DUP3 00001044: DUP8 00001045: PUSH2 0x2c9d 00001048: JUMP 00001049: JUMPDEST 0000104a: SWAP1 0000104b: POP 0000104c: PUSH2 0x1056 0000104f: DUP9 00001050: DUP9 00001051: DUP4 00001052: PUSH2 0x1f8e 00001055: JUMP 00001056: JUMPDEST 00001057: DUP7 00001058: PUSH1 0x01 0000105a: PUSH1 0x01 0000105c: PUSH1 0xa0 0000105e: SHL 0000105f: SUB 00001060: AND 00001061: DUP9 00001062: PUSH1 0x01 00001064: PUSH1 0x01 00001066: PUSH1 0xa0 00001068: SHL 00001069: SUB 0000106a: AND 0000106b: PUSH32 0x91fb9d98b786c57d74c099ccd2beca1739e9f6a81fb49001ca465c4b7591bbe2 0000108c: DUP4 0000108d: DUP6 0000108e: PUSH1 0x40 00001090: MLOAD 00001091: PUSH2 0x10a4 00001094: SWAP3 00001095: SWAP2 00001096: SWAP1 00001097: SWAP2 00001098: DUP3 00001099: MSTORE 0000109a: PUSH1 0x20 0000109c: DUP3 0000109d: ADD 0000109e: MSTORE 0000109f: PUSH1 0x40 000010a1: ADD 000010a2: SWAP1 000010a3: JUMP 000010a4: JUMPDEST 000010a5: PUSH1 0x40 000010a7: MLOAD 000010a8: DUP1 000010a9: SWAP2 000010aa: SUB 000010ab: SWAP1 000010ac: LOG3 000010ad: POP 000010ae: POP 000010af: PUSH1 0x01 000010b1: DUP1 000010b2: SSTORE 000010b3: POP 000010b4: POP 000010b5: POP 000010b6: POP 000010b7: POP 000010b8: POP 000010b9: JUMP 000010ba: JUMPDEST 000010bb: PUSH1 0x02 000010bd: PUSH1 0x01 000010bf: SLOAD 000010c0: SUB 000010c1: PUSH2 0x110c 000010c4: JUMPI 000010c5: PUSH1 0x40 000010c7: MLOAD 000010c8: PUSH3 0x461bcd 000010cc: PUSH1 0xe5 000010ce: SHL 000010cf: DUP2 000010d0: MSTORE 000010d1: PUSH1 0x20 000010d3: PUSH1 0x04 000010d5: DUP3 000010d6: ADD 000010d7: MSTORE 000010d8: PUSH1 0x1f 000010da: PUSH1 0x24 000010dc: DUP3 000010dd: ADD 000010de: MSTORE 000010df: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00001100: PUSH1 0x44 00001102: DUP3 00001103: ADD 00001104: MSTORE 00001105: PUSH1 0x64 00001107: ADD 00001108: PUSH2 0x0506 0000110b: JUMP 0000110c: JUMPDEST 0000110d: PUSH1 0x02 0000110f: PUSH1 0x01 00001111: SSTORE 00001112: PUSH1 0x33 00001114: SLOAD 00001115: PUSH1 0xff 00001117: AND 00001118: ISZERO 00001119: PUSH2 0x114e 0000111c: JUMPI 0000111d: PUSH1 0x40 0000111f: MLOAD 00001120: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 00001141: DUP2 00001142: MSTORE 00001143: PUSH1 0x04 00001145: ADD 00001146: PUSH1 0x40 00001148: MLOAD 00001149: DUP1 0000114a: SWAP2 0000114b: SUB 0000114c: SWAP1 0000114d: REVERT 0000114e: JUMPDEST 0000114f: PUSH2 0x1157 00001152: DUP2 00001153: PUSH2 0x1fa6 00001156: JUMP 00001157: JUMPDEST 00001158: PUSH2 0x1186 0000115b: CALLER 0000115c: PUSH1 0x00 0000115e: CALLDATALOAD 0000115f: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001180: AND 00001181: DUP4 00001182: PUSH2 0x1619 00001185: JUMP 00001186: JUMPDEST 00001187: DUP2 00001188: PUSH1 0x00 0000118a: SUB 0000118b: PUSH2 0x11c0 0000118e: JUMPI 0000118f: PUSH1 0x40 00001191: MLOAD 00001192: PUSH32 0xf6faad9300000000000000000000000000000000000000000000000000000000 000011b3: DUP2 000011b4: MSTORE 000011b5: PUSH1 0x04 000011b7: ADD 000011b8: PUSH1 0x40 000011ba: MLOAD 000011bb: DUP1 000011bc: SWAP2 000011bd: SUB 000011be: SWAP1 000011bf: REVERT 000011c0: JUMPDEST 000011c1: PUSH1 0x40 000011c3: MLOAD 000011c4: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000 000011e5: DUP2 000011e6: MSTORE 000011e7: PUSH1 0x04 000011e9: DUP2 000011ea: ADD 000011eb: DUP4 000011ec: SWAP1 000011ed: MSTORE 000011ee: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000120f: PUSH1 0x01 00001211: PUSH1 0x01 00001213: PUSH1 0xa0 00001215: SHL 00001216: SUB 00001217: AND 00001218: SWAP1 00001219: PUSH4 0x2e1a7d4d 0000121e: SWAP1 0000121f: PUSH1 0x24 00001221: ADD 00001222: PUSH1 0x00 00001224: PUSH1 0x40 00001226: MLOAD 00001227: DUP1 00001228: DUP4 00001229: SUB 0000122a: DUP2 0000122b: PUSH1 0x00 0000122d: DUP8 0000122e: DUP1 0000122f: EXTCODESIZE 00001230: ISZERO 00001231: DUP1 00001232: ISZERO 00001233: PUSH2 0x123b 00001236: JUMPI 00001237: PUSH1 0x00 00001239: DUP1 0000123a: REVERT 0000123b: JUMPDEST 0000123c: POP 0000123d: GAS 0000123e: CALL 0000123f: ISZERO 00001240: DUP1 00001241: ISZERO 00001242: PUSH2 0x124f 00001245: JUMPI 00001246: RETURNDATASIZE 00001247: PUSH1 0x00 00001249: DUP1 0000124a: RETURNDATACOPY 0000124b: RETURNDATASIZE 0000124c: PUSH1 0x00 0000124e: REVERT 0000124f: JUMPDEST 00001250: POP 00001251: POP 00001252: POP 00001253: POP 00001254: PUSH32 0xbeaa92c6354c6dcf375d2c514352b2c11bc865784722e5dd9b267e606eb5fc5f 00001275: DUP3 00001276: PUSH1 0x40 00001278: MLOAD 00001279: PUSH2 0x1284 0000127c: SWAP2 0000127d: DUP2 0000127e: MSTORE 0000127f: PUSH1 0x20 00001281: ADD 00001282: SWAP1 00001283: JUMP 00001284: JUMPDEST 00001285: PUSH1 0x40 00001287: MLOAD 00001288: DUP1 00001289: SWAP2 0000128a: SUB 0000128b: SWAP1 0000128c: LOG1 0000128d: POP 0000128e: POP 0000128f: PUSH1 0x01 00001291: DUP1 00001292: SSTORE 00001293: JUMP 00001294: JUMPDEST 00001295: PUSH1 0x02 00001297: PUSH1 0x01 00001299: SLOAD 0000129a: SUB 0000129b: PUSH2 0x12e6 0000129e: JUMPI 0000129f: PUSH1 0x40 000012a1: MLOAD 000012a2: PUSH3 0x461bcd 000012a6: PUSH1 0xe5 000012a8: SHL 000012a9: DUP2 000012aa: MSTORE 000012ab: PUSH1 0x20 000012ad: PUSH1 0x04 000012af: DUP3 000012b0: ADD 000012b1: MSTORE 000012b2: PUSH1 0x1f 000012b4: PUSH1 0x24 000012b6: DUP3 000012b7: ADD 000012b8: MSTORE 000012b9: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000012da: PUSH1 0x44 000012dc: DUP3 000012dd: ADD 000012de: MSTORE 000012df: PUSH1 0x64 000012e1: ADD 000012e2: PUSH2 0x0506 000012e5: JUMP 000012e6: JUMPDEST 000012e7: PUSH1 0x02 000012e9: PUSH1 0x01 000012eb: SSTORE 000012ec: PUSH1 0x33 000012ee: SLOAD 000012ef: PUSH1 0xff 000012f1: AND 000012f2: ISZERO 000012f3: PUSH2 0x1328 000012f6: JUMPI 000012f7: PUSH1 0x40 000012f9: MLOAD 000012fa: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 0000131b: DUP2 0000131c: MSTORE 0000131d: PUSH1 0x04 0000131f: ADD 00001320: PUSH1 0x40 00001322: MLOAD 00001323: DUP1 00001324: SWAP2 00001325: SUB 00001326: SWAP1 00001327: REVERT 00001328: JUMPDEST 00001329: PUSH2 0x1331 0000132c: DUP2 0000132d: PUSH2 0x1fa6 00001330: JUMP 00001331: JUMPDEST 00001332: PUSH2 0x1360 00001335: CALLER 00001336: PUSH1 0x00 00001338: CALLDATALOAD 00001339: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000135a: AND 0000135b: DUP4 0000135c: PUSH2 0x1619 0000135f: JUMP 00001360: JUMPDEST 00001361: DUP2 00001362: PUSH1 0x00 00001364: SUB 00001365: PUSH2 0x139a 00001368: JUMPI 00001369: PUSH1 0x40 0000136b: MLOAD 0000136c: PUSH32 0xf6faad9300000000000000000000000000000000000000000000000000000000 0000138d: DUP2 0000138e: MSTORE 0000138f: PUSH1 0x04 00001391: ADD 00001392: PUSH1 0x40 00001394: MLOAD 00001395: DUP1 00001396: SWAP2 00001397: SUB 00001398: SWAP1 00001399: REVERT 0000139a: JUMPDEST 0000139b: SELFBALANCE 0000139c: DUP3 0000139d: DUP2 0000139e: LT 0000139f: ISZERO 000013a0: PUSH2 0x13df 000013a3: JUMPI 000013a4: PUSH1 0x40 000013a6: MLOAD 000013a7: PUSH32 0x392d655800000000000000000000000000000000000000000000000000000000 000013c8: DUP2 000013c9: MSTORE 000013ca: PUSH1 0x04 000013cc: DUP2 000013cd: ADD 000013ce: DUP3 000013cf: SWAP1 000013d0: MSTORE 000013d1: PUSH1 0x24 000013d3: DUP2 000013d4: ADD 000013d5: DUP5 000013d6: SWAP1 000013d7: MSTORE 000013d8: PUSH1 0x44 000013da: ADD 000013db: PUSH2 0x0506 000013de: JUMP 000013df: JUMPDEST 000013e0: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001401: PUSH1 0x01 00001403: PUSH1 0x01 00001405: PUSH1 0xa0 00001407: SHL 00001408: SUB 00001409: AND 0000140a: PUSH4 0xd0e30db0 0000140f: DUP5 00001410: PUSH1 0x40 00001412: MLOAD 00001413: DUP3 00001414: PUSH4 0xffffffff 00001419: AND 0000141a: PUSH1 0xe0 0000141c: SHL 0000141d: DUP2 0000141e: MSTORE 0000141f: PUSH1 0x04 00001421: ADD 00001422: PUSH1 0x00 00001424: PUSH1 0x40 00001426: MLOAD 00001427: DUP1 00001428: DUP4 00001429: SUB 0000142a: DUP2 0000142b: DUP6 0000142c: DUP9 0000142d: DUP1 0000142e: EXTCODESIZE 0000142f: ISZERO 00001430: DUP1 00001431: ISZERO 00001432: PUSH2 0x143a 00001435: JUMPI 00001436: PUSH1 0x00 00001438: DUP1 00001439: REVERT 0000143a: JUMPDEST 0000143b: POP 0000143c: GAS 0000143d: CALL 0000143e: ISZERO 0000143f: DUP1 00001440: ISZERO 00001441: PUSH2 0x144e 00001444: JUMPI 00001445: RETURNDATASIZE 00001446: PUSH1 0x00 00001448: DUP1 00001449: RETURNDATACOPY 0000144a: RETURNDATASIZE 0000144b: PUSH1 0x00 0000144d: REVERT 0000144e: JUMPDEST 0000144f: POP 00001450: POP 00001451: POP 00001452: POP 00001453: POP 00001454: PUSH32 0x5b8cd8f3a67af1dee11ad4321a05f79a76cc7ea517810fc56d6d96c1e60d3686 00001475: DUP4 00001476: PUSH1 0x40 00001478: MLOAD 00001479: PUSH2 0x1484 0000147c: SWAP2 0000147d: DUP2 0000147e: MSTORE 0000147f: PUSH1 0x20 00001481: ADD 00001482: SWAP1 00001483: JUMP 00001484: JUMPDEST 00001485: PUSH1 0x40 00001487: MLOAD 00001488: DUP1 00001489: SWAP2 0000148a: SUB 0000148b: SWAP1 0000148c: LOG1 0000148d: POP 0000148e: POP 0000148f: PUSH1 0x01 00001491: DUP1 00001492: SSTORE 00001493: POP 00001494: JUMP 00001495: JUMPDEST 00001496: PUSH1 0x02 00001498: PUSH1 0x01 0000149a: SLOAD 0000149b: SUB 0000149c: PUSH2 0x14e7 0000149f: JUMPI 000014a0: PUSH1 0x40 000014a2: MLOAD 000014a3: PUSH3 0x461bcd 000014a7: PUSH1 0xe5 000014a9: SHL 000014aa: DUP2 000014ab: MSTORE 000014ac: PUSH1 0x20 000014ae: PUSH1 0x04 000014b0: DUP3 000014b1: ADD 000014b2: MSTORE 000014b3: PUSH1 0x1f 000014b5: PUSH1 0x24 000014b7: DUP3 000014b8: ADD 000014b9: MSTORE 000014ba: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000014db: PUSH1 0x44 000014dd: DUP3 000014de: ADD 000014df: MSTORE 000014e0: PUSH1 0x64 000014e2: ADD 000014e3: PUSH2 0x0506 000014e6: JUMP 000014e7: JUMPDEST 000014e8: PUSH1 0x02 000014ea: PUSH1 0x01 000014ec: SSTORE 000014ed: PUSH1 0x33 000014ef: SLOAD 000014f0: PUSH1 0xff 000014f2: AND 000014f3: ISZERO 000014f4: PUSH2 0x1529 000014f7: JUMPI 000014f8: PUSH1 0x40 000014fa: MLOAD 000014fb: PUSH32 0x7f2b027b00000000000000000000000000000000000000000000000000000000 0000151c: DUP2 0000151d: MSTORE 0000151e: PUSH1 0x04 00001520: ADD 00001521: PUSH1 0x40 00001523: MLOAD 00001524: DUP1 00001525: SWAP2 00001526: SUB 00001527: SWAP1 00001528: REVERT 00001529: JUMPDEST 0000152a: PUSH2 0x1535 0000152d: DUP5 0000152e: DUP5 0000152f: DUP5 00001530: DUP5 00001531: PUSH2 0x1fed 00001534: JUMP 00001535: JUMPDEST 00001536: PUSH2 0x1564 00001539: CALLER 0000153a: PUSH1 0x00 0000153c: CALLDATALOAD 0000153d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000155e: AND 0000155f: DUP4 00001560: PUSH2 0x1619 00001563: JUMP 00001564: JUMPDEST 00001565: DUP5 00001566: PUSH2 0x159b 00001569: JUMPI 0000156a: PUSH1 0x40 0000156c: MLOAD 0000156d: PUSH32 0x93109a8300000000000000000000000000000000000000000000000000000000 0000158e: DUP2 0000158f: MSTORE 00001590: PUSH1 0x04 00001592: ADD 00001593: PUSH1 0x40 00001595: MLOAD 00001596: DUP1 00001597: SWAP2 00001598: SUB 00001599: SWAP1 0000159a: REVERT 0000159b: JUMPDEST 0000159c: PUSH1 0x01 0000159e: PUSH1 0x01 000015a0: PUSH1 0xa0 000015a2: SHL 000015a3: SUB 000015a4: DUP5 000015a5: AND 000015a6: PUSH2 0x15db 000015a9: JUMPI 000015aa: PUSH1 0x40 000015ac: MLOAD 000015ad: PUSH32 0x3df5130600000000000000000000000000000000000000000000000000000000 000015ce: DUP2 000015cf: MSTORE 000015d0: PUSH1 0x04 000015d2: ADD 000015d3: PUSH1 0x40 000015d5: MLOAD 000015d6: DUP1 000015d7: SWAP2 000015d8: SUB 000015d9: SWAP1 000015da: REVERT 000015db: JUMPDEST 000015dc: PUSH2 0x15fa 000015df: DUP6 000015e0: DUP6 000015e1: DUP6 000015e2: DUP6 000015e3: PUSH2 0x15ee 000015e6: JUMPI 000015e7: PUSH2 0x20b5 000015ea: PUSH2 0x15f2 000015ed: JUMP 000015ee: JUMPDEST 000015ef: PUSH2 0x21a3 000015f2: JUMPDEST 000015f3: PUSH4 0xffffffff 000015f8: AND 000015f9: JUMP 000015fa: JUMPDEST 000015fb: POP 000015fc: POP 000015fd: PUSH1 0x01 000015ff: DUP1 00001600: SSTORE 00001601: POP 00001602: POP 00001603: POP 00001604: JUMP 00001605: JUMPDEST 00001606: PUSH1 0x60 00001608: PUSH2 0x062d 0000160b: DUP3 0000160c: PUSH1 0x01 0000160e: PUSH1 0x01 00001610: PUSH1 0xa0 00001612: SHL 00001613: SUB 00001614: AND 00001615: PUSH2 0x1fa6 00001618: JUMP 00001619: JUMPDEST 0000161a: PUSH2 0x1624 0000161d: DUP4 0000161e: DUP4 0000161f: DUP4 00001620: PUSH2 0x2225 00001623: JUMP 00001624: JUMPDEST 00001625: PUSH2 0x09b6 00001628: JUMPI 00001629: DUP3 0000162a: DUP3 0000162b: DUP3 0000162c: PUSH1 0x40 0000162e: MLOAD 0000162f: PUSH32 0x960c80da00000000000000000000000000000000000000000000000000000000 00001650: DUP2 00001651: MSTORE 00001652: PUSH1 0x04 00001654: ADD 00001655: PUSH2 0x0506 00001658: SWAP4 00001659: SWAP3 0000165a: SWAP2 0000165b: SWAP1 0000165c: PUSH2 0x2ceb 0000165f: JUMP 00001660: JUMPDEST 00001661: PUSH1 0x01 00001663: PUSH1 0x01 00001665: PUSH1 0xa0 00001667: SHL 00001668: SUB 00001669: DUP2 0000166a: AND 0000166b: PUSH1 0x00 0000166d: SWAP1 0000166e: DUP2 0000166f: MSTORE 00001670: PUSH1 0x34 00001672: PUSH1 0x20 00001674: MSTORE 00001675: PUSH1 0x40 00001677: SWAP1 00001678: KECCAK256 00001679: SLOAD 0000167a: PUSH1 0xff 0000167c: AND 0000167d: ISZERO 0000167e: PUSH2 0x1684 00001681: JUMPI 00001682: POP 00001683: JUMP 00001684: JUMPDEST 00001685: PUSH1 0x40 00001687: MLOAD 00001688: PUSH32 0xc3c5a54700000000000000000000000000000000000000000000000000000000 000016a9: DUP2 000016aa: MSTORE 000016ab: PUSH1 0x01 000016ad: PUSH1 0x01 000016af: PUSH1 0xa0 000016b1: SHL 000016b2: SUB 000016b3: DUP3 000016b4: DUP2 000016b5: AND 000016b6: PUSH1 0x04 000016b8: DUP4 000016b9: ADD 000016ba: MSTORE 000016bb: PUSH32 0x0000000000000000000000001675bf3f75046acd131cad845eb8ff3bed49a643 000016dc: AND 000016dd: SWAP1 000016de: PUSH4 0xc3c5a547 000016e3: SWAP1 000016e4: PUSH1 0x24 000016e6: ADD 000016e7: PUSH1 0x20 000016e9: PUSH1 0x40 000016eb: MLOAD 000016ec: DUP1 000016ed: DUP4 000016ee: SUB 000016ef: DUP2 000016f0: DUP7 000016f1: GAS 000016f2: STATICCALL 000016f3: ISZERO 000016f4: DUP1 000016f5: ISZERO 000016f6: PUSH2 0x1703 000016f9: JUMPI 000016fa: RETURNDATASIZE 000016fb: PUSH1 0x00 000016fd: DUP1 000016fe: RETURNDATACOPY 000016ff: RETURNDATASIZE 00001700: PUSH1 0x00 00001702: REVERT 00001703: JUMPDEST 00001704: POP 00001705: POP 00001706: POP 00001707: POP 00001708: PUSH1 0x40 0000170a: MLOAD 0000170b: RETURNDATASIZE 0000170c: PUSH1 0x1f 0000170e: NOT 0000170f: PUSH1 0x1f 00001711: DUP3 00001712: ADD 00001713: AND 00001714: DUP3 00001715: ADD 00001716: DUP1 00001717: PUSH1 0x40 00001719: MSTORE 0000171a: POP 0000171b: DUP2 0000171c: ADD 0000171d: SWAP1 0000171e: PUSH2 0x1727 00001721: SWAP2 00001722: SWAP1 00001723: PUSH2 0x2d35 00001726: JUMP 00001727: JUMPDEST 00001728: PUSH2 0x1768 0000172b: JUMPI 0000172c: PUSH1 0x40 0000172e: MLOAD 0000172f: PUSH32 0x76df38f400000000000000000000000000000000000000000000000000000000 00001750: DUP2 00001751: MSTORE 00001752: PUSH1 0x01 00001754: PUSH1 0x01 00001756: PUSH1 0xa0 00001758: SHL 00001759: SUB 0000175a: DUP3 0000175b: AND 0000175c: PUSH1 0x04 0000175e: DUP3 0000175f: ADD 00001760: MSTORE 00001761: PUSH1 0x24 00001763: ADD 00001764: PUSH2 0x0506 00001767: JUMP 00001768: JUMPDEST 00001769: PUSH1 0x40 0000176b: MLOAD 0000176c: PUSH32 0x690d0aed00000000000000000000000000000000000000000000000000000000 0000178d: DUP2 0000178e: MSTORE 0000178f: PUSH1 0x01 00001791: PUSH1 0x01 00001793: PUSH1 0xa0 00001795: SHL 00001796: SUB 00001797: DUP3 00001798: DUP2 00001799: AND 0000179a: PUSH1 0x04 0000179c: DUP4 0000179d: ADD 0000179e: MSTORE 0000179f: PUSH32 0x0000000000000000000000001675bf3f75046acd131cad845eb8ff3bed49a643 000017c0: AND 000017c1: SWAP1 000017c2: PUSH4 0x690d0aed 000017c7: SWAP1 000017c8: PUSH1 0x24 000017ca: ADD 000017cb: PUSH1 0x20 000017cd: PUSH1 0x40 000017cf: MLOAD 000017d0: DUP1 000017d1: DUP4 000017d2: SUB 000017d3: DUP2 000017d4: DUP7 000017d5: GAS 000017d6: STATICCALL 000017d7: ISZERO 000017d8: DUP1 000017d9: ISZERO 000017da: PUSH2 0x17e7 000017dd: JUMPI 000017de: RETURNDATASIZE 000017df: PUSH1 0x00 000017e1: DUP1 000017e2: RETURNDATACOPY 000017e3: RETURNDATASIZE 000017e4: PUSH1 0x00 000017e6: REVERT 000017e7: JUMPDEST 000017e8: POP 000017e9: POP 000017ea: POP 000017eb: POP 000017ec: PUSH1 0x40 000017ee: MLOAD 000017ef: RETURNDATASIZE 000017f0: PUSH1 0x1f 000017f2: NOT 000017f3: PUSH1 0x1f 000017f5: DUP3 000017f6: ADD 000017f7: AND 000017f8: DUP3 000017f9: ADD 000017fa: DUP1 000017fb: PUSH1 0x40 000017fd: MSTORE 000017fe: POP 000017ff: DUP2 00001800: ADD 00001801: SWAP1 00001802: PUSH2 0x180b 00001805: SWAP2 00001806: SWAP1 00001807: PUSH2 0x2d35 0000180a: JUMP 0000180b: JUMPDEST 0000180c: PUSH2 0x184c 0000180f: JUMPI 00001810: PUSH1 0x40 00001812: MLOAD 00001813: PUSH32 0x01a85b2100000000000000000000000000000000000000000000000000000000 00001834: DUP2 00001835: MSTORE 00001836: PUSH1 0x01 00001838: PUSH1 0x01 0000183a: PUSH1 0xa0 0000183c: SHL 0000183d: SUB 0000183e: DUP3 0000183f: AND 00001840: PUSH1 0x04 00001842: DUP3 00001843: ADD 00001844: MSTORE 00001845: PUSH1 0x24 00001847: ADD 00001848: PUSH2 0x0506 0000184b: JUMP 0000184c: JUMPDEST 0000184d: PUSH1 0x40 0000184f: MLOAD 00001850: PUSH32 0x94543c1500000000000000000000000000000000000000000000000000000000 00001871: DUP2 00001872: MSTORE 00001873: PUSH1 0x01 00001875: PUSH1 0x01 00001877: PUSH1 0xa0 00001879: SHL 0000187a: SUB 0000187b: DUP3 0000187c: DUP2 0000187d: AND 0000187e: PUSH1 0x04 00001880: DUP4 00001881: ADD 00001882: MSTORE 00001883: PUSH32 0x0000000000000000000000001675bf3f75046acd131cad845eb8ff3bed49a643 000018a4: AND 000018a5: SWAP1 000018a6: PUSH4 0x94543c15 000018ab: SWAP1 000018ac: PUSH1 0x24 000018ae: ADD 000018af: PUSH1 0x20 000018b1: PUSH1 0x40 000018b3: MLOAD 000018b4: DUP1 000018b5: DUP4 000018b6: SUB 000018b7: DUP2 000018b8: DUP7 000018b9: GAS 000018ba: STATICCALL 000018bb: ISZERO 000018bc: DUP1 000018bd: ISZERO 000018be: PUSH2 0x18cb 000018c1: JUMPI 000018c2: RETURNDATASIZE 000018c3: PUSH1 0x00 000018c5: DUP1 000018c6: RETURNDATACOPY 000018c7: RETURNDATASIZE 000018c8: PUSH1 0x00 000018ca: REVERT 000018cb: JUMPDEST 000018cc: POP 000018cd: POP 000018ce: POP 000018cf: POP 000018d0: PUSH1 0x40 000018d2: MLOAD 000018d3: RETURNDATASIZE 000018d4: PUSH1 0x1f 000018d6: NOT 000018d7: PUSH1 0x1f 000018d9: DUP3 000018da: ADD 000018db: AND 000018dc: DUP3 000018dd: ADD 000018de: DUP1 000018df: PUSH1 0x40 000018e1: MSTORE 000018e2: POP 000018e3: DUP2 000018e4: ADD 000018e5: SWAP1 000018e6: PUSH2 0x18ef 000018e9: SWAP2 000018ea: SWAP1 000018eb: PUSH2 0x2d35 000018ee: JUMP 000018ef: JUMPDEST 000018f0: ISZERO 000018f1: PUSH2 0x1931 000018f4: JUMPI 000018f5: PUSH1 0x40 000018f7: MLOAD 000018f8: PUSH32 0x032e8e5500000000000000000000000000000000000000000000000000000000 00001919: DUP2 0000191a: MSTORE 0000191b: PUSH1 0x01 0000191d: PUSH1 0x01 0000191f: PUSH1 0xa0 00001921: SHL 00001922: SUB 00001923: DUP3 00001924: AND 00001925: PUSH1 0x04 00001927: DUP3 00001928: ADD 00001929: MSTORE 0000192a: PUSH1 0x24 0000192c: ADD 0000192d: PUSH2 0x0506 00001930: JUMP 00001931: JUMPDEST 00001932: POP 00001933: JUMP 00001934: JUMPDEST 00001935: PUSH1 0x60 00001937: PUSH1 0x01 00001939: PUSH1 0x01 0000193b: PUSH1 0xa0 0000193d: SHL 0000193e: SUB 0000193f: DUP5 00001940: AND 00001941: EXTCODESIZE 00001942: PUSH2 0x19b3 00001945: JUMPI 00001946: PUSH1 0x40 00001948: MLOAD 00001949: PUSH3 0x461bcd 0000194d: PUSH1 0xe5 0000194f: SHL 00001950: DUP2 00001951: MSTORE 00001952: PUSH1 0x20 00001954: PUSH1 0x04 00001956: DUP3 00001957: ADD 00001958: MSTORE 00001959: PUSH1 0x26 0000195b: PUSH1 0x24 0000195d: DUP3 0000195e: ADD 0000195f: MSTORE 00001960: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f 00001981: PUSH1 0x44 00001983: DUP3 00001984: ADD 00001985: MSTORE 00001986: PUSH32 0x6e74726163740000000000000000000000000000000000000000000000000000 000019a7: PUSH1 0x64 000019a9: DUP3 000019aa: ADD 000019ab: MSTORE 000019ac: PUSH1 0x84 000019ae: ADD 000019af: PUSH2 0x0506 000019b2: JUMP 000019b3: JUMPDEST 000019b4: PUSH1 0x00 000019b6: DUP1 000019b7: DUP6 000019b8: PUSH1 0x01 000019ba: PUSH1 0x01 000019bc: PUSH1 0xa0 000019be: SHL 000019bf: SUB 000019c0: AND 000019c1: DUP6 000019c2: PUSH1 0x40 000019c4: MLOAD 000019c5: PUSH2 0x19ce 000019c8: SWAP2 000019c9: SWAP1 000019ca: PUSH2 0x2d52 000019cd: JUMP 000019ce: JUMPDEST 000019cf: PUSH1 0x00 000019d1: PUSH1 0x40 000019d3: MLOAD 000019d4: DUP1 000019d5: DUP4 000019d6: SUB 000019d7: DUP2 000019d8: DUP6 000019d9: GAS 000019da: DELEGATECALL 000019db: SWAP2 000019dc: POP 000019dd: POP 000019de: RETURNDATASIZE 000019df: DUP1 000019e0: PUSH1 0x00 000019e2: DUP2 000019e3: EQ 000019e4: PUSH2 0x1a09 000019e7: JUMPI 000019e8: PUSH1 0x40 000019ea: MLOAD 000019eb: SWAP2 000019ec: POP 000019ed: PUSH1 0x1f 000019ef: NOT 000019f0: PUSH1 0x3f 000019f2: RETURNDATASIZE 000019f3: ADD 000019f4: AND 000019f5: DUP3 000019f6: ADD 000019f7: PUSH1 0x40 000019f9: MSTORE 000019fa: RETURNDATASIZE 000019fb: DUP3 000019fc: MSTORE 000019fd: RETURNDATASIZE 000019fe: PUSH1 0x00 00001a00: PUSH1 0x20 00001a02: DUP5 00001a03: ADD 00001a04: RETURNDATACOPY 00001a05: PUSH2 0x1a0e 00001a08: JUMP 00001a09: JUMPDEST 00001a0a: PUSH1 0x60 00001a0c: SWAP2 00001a0d: POP 00001a0e: JUMPDEST 00001a0f: POP 00001a10: SWAP2 00001a11: POP 00001a12: SWAP2 00001a13: POP 00001a14: PUSH2 0x1a1e 00001a17: DUP3 00001a18: DUP3 00001a19: DUP7 00001a1a: PUSH2 0x22c3 00001a1d: JUMP 00001a1e: JUMPDEST 00001a1f: SWAP3 00001a20: POP 00001a21: POP 00001a22: POP 00001a23: JUMPDEST 00001a24: SWAP4 00001a25: SWAP3 00001a26: POP 00001a27: POP 00001a28: POP 00001a29: JUMP 00001a2a: JUMPDEST 00001a2b: PUSH1 0x00 00001a2d: DUP1 00001a2e: SLOAD 00001a2f: PUSH1 0x40 00001a31: MLOAD 00001a32: PUSH32 0xe8a67dad00000000000000000000000000000000000000000000000000000000 00001a53: DUP2 00001a54: MSTORE 00001a55: PUSH1 0x01 00001a57: PUSH1 0x01 00001a59: PUSH1 0xa0 00001a5b: SHL 00001a5c: SUB 00001a5d: DUP5 00001a5e: DUP2 00001a5f: AND 00001a60: PUSH1 0x04 00001a62: DUP4 00001a63: ADD 00001a64: MSTORE 00001a65: ADDRESS 00001a66: PUSH1 0x24 00001a68: DUP4 00001a69: ADD 00001a6a: MSTORE 00001a6b: PUSH3 0x010000 00001a6f: SWAP1 00001a70: SWAP3 00001a71: DIV 00001a72: SWAP1 00001a73: SWAP2 00001a74: AND 00001a75: SWAP1 00001a76: PUSH4 0xe8a67dad 00001a7b: SWAP1 00001a7c: PUSH1 0x44 00001a7e: ADD 00001a7f: PUSH1 0x20 00001a81: PUSH1 0x40 00001a83: MLOAD 00001a84: DUP1 00001a85: DUP4 00001a86: SUB 00001a87: DUP2 00001a88: DUP7 00001a89: GAS 00001a8a: STATICCALL 00001a8b: ISZERO 00001a8c: DUP1 00001a8d: ISZERO 00001a8e: PUSH2 0x1a9b 00001a91: JUMPI 00001a92: RETURNDATASIZE 00001a93: PUSH1 0x00 00001a95: DUP1 00001a96: RETURNDATACOPY 00001a97: RETURNDATASIZE 00001a98: PUSH1 0x00 00001a9a: REVERT 00001a9b: JUMPDEST 00001a9c: POP 00001a9d: POP 00001a9e: POP 00001a9f: POP 00001aa0: PUSH1 0x40 00001aa2: MLOAD 00001aa3: RETURNDATASIZE 00001aa4: PUSH1 0x1f 00001aa6: NOT 00001aa7: PUSH1 0x1f 00001aa9: DUP3 00001aaa: ADD 00001aab: AND 00001aac: DUP3 00001aad: ADD 00001aae: DUP1 00001aaf: PUSH1 0x40 00001ab1: MSTORE 00001ab2: POP 00001ab3: DUP2 00001ab4: ADD 00001ab5: SWAP1 00001ab6: PUSH2 0x062d 00001ab9: SWAP2 00001aba: SWAP1 00001abb: PUSH2 0x2d35 00001abe: JUMP 00001abf: JUMPDEST 00001ac0: PUSH1 0x40 00001ac2: DUP1 00001ac3: MLOAD 00001ac4: PUSH1 0x00 00001ac6: DUP2 00001ac7: MSTORE 00001ac8: PUSH1 0x20 00001aca: DUP2 00001acb: ADD 00001acc: SWAP1 00001acd: SWAP2 00001ace: MSTORE 00001acf: PUSH2 0x1adb 00001ad2: SWAP1 00001ad3: DUP4 00001ad4: SWAP1 00001ad5: DUP4 00001ad6: SWAP1 00001ad7: PUSH2 0x1619 00001ada: JUMP 00001adb: JUMPDEST 00001adc: POP 00001add: POP 00001ade: JUMP 00001adf: JUMPDEST 00001ae0: PUSH1 0x40 00001ae2: DUP1 00001ae3: MLOAD 00001ae4: PUSH1 0x02 00001ae6: DUP1 00001ae7: DUP3 00001ae8: MSTORE 00001ae9: PUSH1 0x60 00001aeb: DUP1 00001aec: DUP4 00001aed: ADD 00001aee: DUP5 00001aef: MSTORE 00001af0: SWAP3 00001af1: PUSH1 0x20 00001af3: DUP4 00001af4: ADD 00001af5: SWAP1 00001af6: DUP1 00001af7: CALLDATASIZE 00001af8: DUP4 00001af9: CALLDATACOPY 00001afa: ADD 00001afb: SWAP1 00001afc: POP 00001afd: POP 00001afe: SWAP1 00001aff: POP 00001b00: DUP3 00001b01: PUSH1 0x01 00001b03: PUSH1 0x01 00001b05: PUSH1 0xa0 00001b07: SHL 00001b08: SUB 00001b09: AND 00001b0a: DUP2 00001b0b: PUSH1 0x00 00001b0d: DUP2 00001b0e: MLOAD 00001b0f: DUP2 00001b10: LT 00001b11: PUSH2 0x1b1c 00001b14: JUMPI 00001b15: PUSH2 0x1b1c 00001b18: PUSH2 0x2d6e 00001b1b: JUMP 00001b1c: JUMPDEST 00001b1d: PUSH1 0x20 00001b1f: MUL 00001b20: PUSH1 0x20 00001b22: ADD 00001b23: ADD 00001b24: DUP2 00001b25: DUP2 00001b26: MSTORE 00001b27: POP 00001b28: POP 00001b29: DUP2 00001b2a: PUSH2 0x1b34 00001b2d: JUMPI 00001b2e: PUSH1 0x00 00001b30: PUSH2 0x1b37 00001b33: JUMP 00001b34: JUMPDEST 00001b35: PUSH1 0x01 00001b37: JUMPDEST 00001b38: PUSH1 0xff 00001b3a: AND 00001b3b: DUP2 00001b3c: PUSH1 0x01 00001b3e: DUP2 00001b3f: MLOAD 00001b40: DUP2 00001b41: LT 00001b42: PUSH2 0x1b4d 00001b45: JUMPI 00001b46: PUSH2 0x1b4d 00001b49: PUSH2 0x2d6e 00001b4c: JUMP 00001b4d: JUMPDEST 00001b4e: PUSH1 0x20 00001b50: MUL 00001b51: PUSH1 0x20 00001b53: ADD 00001b54: ADD 00001b55: DUP2 00001b56: DUP2 00001b57: MSTORE 00001b58: POP 00001b59: POP 00001b5a: SWAP3 00001b5b: SWAP2 00001b5c: POP 00001b5d: POP 00001b5e: JUMP 00001b5f: JUMPDEST 00001b60: PUSH1 0x00 00001b62: SLOAD 00001b63: PUSH2 0x0100 00001b66: SWAP1 00001b67: DIV 00001b68: PUSH1 0xff 00001b6a: AND 00001b6b: PUSH2 0x1bdc 00001b6e: JUMPI 00001b6f: PUSH1 0x40 00001b71: MLOAD 00001b72: PUSH3 0x461bcd 00001b76: PUSH1 0xe5 00001b78: SHL 00001b79: DUP2 00001b7a: MSTORE 00001b7b: PUSH1 0x20 00001b7d: PUSH1 0x04 00001b7f: DUP3 00001b80: ADD 00001b81: MSTORE 00001b82: PUSH1 0x2b 00001b84: PUSH1 0x24 00001b86: DUP3 00001b87: ADD 00001b88: MSTORE 00001b89: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00001baa: PUSH1 0x44 00001bac: DUP3 00001bad: ADD 00001bae: MSTORE 00001baf: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 00001bd0: PUSH1 0x64 00001bd2: DUP3 00001bd3: ADD 00001bd4: MSTORE 00001bd5: PUSH1 0x84 00001bd7: ADD 00001bd8: PUSH2 0x0506 00001bdb: JUMP 00001bdc: JUMPDEST 00001bdd: PUSH2 0x1be4 00001be0: PUSH2 0x22fc 00001be3: JUMP 00001be4: JUMPDEST 00001be5: PUSH2 0x1bed 00001be8: DUP3 00001be9: PUSH2 0x2383 00001bec: JUMP 00001bed: JUMPDEST 00001bee: PUSH2 0x1adb 00001bf1: DUP3 00001bf2: DUP3 00001bf3: PUSH2 0x2409 00001bf6: JUMP 00001bf7: JUMPDEST 00001bf8: PUSH1 0x60 00001bfa: DUP3 00001bfb: SELFBALANCE 00001bfc: LT 00001bfd: ISZERO 00001bfe: PUSH2 0x1c6f 00001c01: JUMPI 00001c02: PUSH1 0x40 00001c04: MLOAD 00001c05: PUSH3 0x461bcd 00001c09: PUSH1 0xe5 00001c0b: SHL 00001c0c: DUP2 00001c0d: MSTORE 00001c0e: PUSH1 0x20 00001c10: PUSH1 0x04 00001c12: DUP3 00001c13: ADD 00001c14: MSTORE 00001c15: PUSH1 0x26 00001c17: PUSH1 0x24 00001c19: DUP3 00001c1a: ADD 00001c1b: MSTORE 00001c1c: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00001c3d: PUSH1 0x44 00001c3f: DUP3 00001c40: ADD 00001c41: MSTORE 00001c42: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 00001c63: PUSH1 0x64 00001c65: DUP3 00001c66: ADD 00001c67: MSTORE 00001c68: PUSH1 0x84 00001c6a: ADD 00001c6b: PUSH2 0x0506 00001c6e: JUMP 00001c6f: JUMPDEST 00001c70: PUSH1 0x01 00001c72: PUSH1 0x01 00001c74: PUSH1 0xa0 00001c76: SHL 00001c77: SUB 00001c78: DUP6 00001c79: AND 00001c7a: EXTCODESIZE 00001c7b: PUSH2 0x1cc6 00001c7e: JUMPI 00001c7f: PUSH1 0x40 00001c81: MLOAD 00001c82: PUSH3 0x461bcd 00001c86: PUSH1 0xe5 00001c88: SHL 00001c89: DUP2 00001c8a: MSTORE 00001c8b: PUSH1 0x20 00001c8d: PUSH1 0x04 00001c8f: DUP3 00001c90: ADD 00001c91: MSTORE 00001c92: PUSH1 0x1d 00001c94: PUSH1 0x24 00001c96: DUP3 00001c97: ADD 00001c98: MSTORE 00001c99: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001cba: PUSH1 0x44 00001cbc: DUP3 00001cbd: ADD 00001cbe: MSTORE 00001cbf: PUSH1 0x64 00001cc1: ADD 00001cc2: PUSH2 0x0506 00001cc5: JUMP 00001cc6: JUMPDEST 00001cc7: PUSH1 0x00 00001cc9: DUP1 00001cca: DUP7 00001ccb: PUSH1 0x01 00001ccd: PUSH1 0x01 00001ccf: PUSH1 0xa0 00001cd1: SHL 00001cd2: SUB 00001cd3: AND 00001cd4: DUP6 00001cd5: DUP8 00001cd6: PUSH1 0x40 00001cd8: MLOAD 00001cd9: PUSH2 0x1ce2 00001cdc: SWAP2 00001cdd: SWAP1 00001cde: PUSH2 0x2d52 00001ce1: JUMP 00001ce2: JUMPDEST 00001ce3: PUSH1 0x00 00001ce5: PUSH1 0x40 00001ce7: MLOAD 00001ce8: DUP1 00001ce9: DUP4 00001cea: SUB 00001ceb: DUP2 00001cec: DUP6 00001ced: DUP8 00001cee: GAS 00001cef: CALL 00001cf0: SWAP3 00001cf1: POP 00001cf2: POP 00001cf3: POP 00001cf4: RETURNDATASIZE 00001cf5: DUP1 00001cf6: PUSH1 0x00 00001cf8: DUP2 00001cf9: EQ 00001cfa: PUSH2 0x1d1f 00001cfd: JUMPI 00001cfe: PUSH1 0x40 00001d00: MLOAD 00001d01: SWAP2 00001d02: POP 00001d03: PUSH1 0x1f 00001d05: NOT 00001d06: PUSH1 0x3f 00001d08: RETURNDATASIZE 00001d09: ADD 00001d0a: AND 00001d0b: DUP3 00001d0c: ADD 00001d0d: PUSH1 0x40 00001d0f: MSTORE 00001d10: RETURNDATASIZE 00001d11: DUP3 00001d12: MSTORE 00001d13: RETURNDATASIZE 00001d14: PUSH1 0x00 00001d16: PUSH1 0x20 00001d18: DUP5 00001d19: ADD 00001d1a: RETURNDATACOPY 00001d1b: PUSH2 0x1d24 00001d1e: JUMP 00001d1f: JUMPDEST 00001d20: PUSH1 0x60 00001d22: SWAP2 00001d23: POP 00001d24: JUMPDEST 00001d25: POP 00001d26: SWAP2 00001d27: POP 00001d28: SWAP2 00001d29: POP 00001d2a: PUSH2 0x1d34 00001d2d: DUP3 00001d2e: DUP3 00001d2f: DUP7 00001d30: PUSH2 0x22c3 00001d33: JUMP 00001d34: JUMPDEST 00001d35: SWAP8 00001d36: SWAP7 00001d37: POP 00001d38: POP 00001d39: POP 00001d3a: POP 00001d3b: POP 00001d3c: POP 00001d3d: POP 00001d3e: JUMP 00001d3f: JUMPDEST 00001d40: PUSH1 0x33 00001d42: DUP1 00001d43: SLOAD 00001d44: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff 00001d65: AND 00001d66: PUSH2 0x0100 00001d69: PUSH1 0x01 00001d6b: PUSH1 0x01 00001d6d: PUSH1 0xa0 00001d6f: SHL 00001d70: SUB 00001d71: DUP5 00001d72: AND 00001d73: SWAP1 00001d74: DUP2 00001d75: MUL 00001d76: SWAP2 00001d77: SWAP1 00001d78: SWAP2 00001d79: OR 00001d7a: SWAP1 00001d7b: SWAP2 00001d7c: SSTORE 00001d7d: PUSH1 0x40 00001d7f: MLOAD 00001d80: PUSH32 0x6536690106168bdf4ba72c128a053d817999b1db90cae23f139b293bf862cb75 00001da1: SWAP1 00001da2: PUSH1 0x00 00001da4: SWAP1 00001da5: LOG2 00001da6: POP 00001da7: JUMP 00001da8: JUMPDEST 00001da9: PUSH1 0x40 00001dab: DUP1 00001dac: MLOAD 00001dad: PUSH1 0x03 00001daf: DUP1 00001db0: DUP3 00001db1: MSTORE 00001db2: PUSH1 0x80 00001db4: DUP3 00001db5: ADD 00001db6: SWAP1 00001db7: SWAP3 00001db8: MSTORE 00001db9: PUSH1 0x60 00001dbb: SWAP2 00001dbc: PUSH1 0x20 00001dbe: DUP3 00001dbf: ADD 00001dc0: DUP4 00001dc1: DUP1 00001dc2: CALLDATASIZE 00001dc3: DUP4 00001dc4: CALLDATACOPY 00001dc5: ADD 00001dc6: SWAP1 00001dc7: POP 00001dc8: POP 00001dc9: SWAP1 00001dca: POP 00001dcb: DUP4 00001dcc: PUSH1 0x01 00001dce: PUSH1 0x01 00001dd0: PUSH1 0xa0 00001dd2: SHL 00001dd3: SUB 00001dd4: AND 00001dd5: DUP2 00001dd6: PUSH1 0x00 00001dd8: DUP2 00001dd9: MLOAD 00001dda: DUP2 00001ddb: LT 00001ddc: PUSH2 0x1de7 00001ddf: JUMPI 00001de0: PUSH2 0x1de7 00001de3: PUSH2 0x2d6e 00001de6: JUMP 00001de7: JUMPDEST 00001de8: PUSH1 0x20 00001dea: MUL 00001deb: PUSH1 0x20 00001ded: ADD 00001dee: ADD 00001def: DUP2 00001df0: DUP2 00001df1: MSTORE 00001df2: POP 00001df3: POP 00001df4: DUP3 00001df5: PUSH1 0x01 00001df7: PUSH1 0x01 00001df9: PUSH1 0xa0 00001dfb: SHL 00001dfc: SUB 00001dfd: AND 00001dfe: DUP2 00001dff: PUSH1 0x01 00001e01: DUP2 00001e02: MLOAD 00001e03: DUP2 00001e04: LT 00001e05: PUSH2 0x1e10 00001e08: JUMPI 00001e09: PUSH2 0x1e10 00001e0c: PUSH2 0x2d6e 00001e0f: JUMP 00001e10: JUMPDEST 00001e11: PUSH1 0x20 00001e13: MUL 00001e14: PUSH1 0x20 00001e16: ADD 00001e17: ADD 00001e18: DUP2 00001e19: DUP2 00001e1a: MSTORE 00001e1b: POP 00001e1c: POP 00001e1d: DUP2 00001e1e: DUP2 00001e1f: PUSH1 0x02 00001e21: DUP2 00001e22: MLOAD 00001e23: DUP2 00001e24: LT 00001e25: PUSH2 0x1e30 00001e28: JUMPI 00001e29: PUSH2 0x1e30 00001e2c: PUSH2 0x2d6e 00001e2f: JUMP 00001e30: JUMPDEST 00001e31: PUSH1 0x20 00001e33: MUL 00001e34: PUSH1 0x20 00001e36: ADD 00001e37: ADD 00001e38: DUP2 00001e39: DUP2 00001e3a: MSTORE 00001e3b: POP 00001e3c: POP 00001e3d: SWAP4 00001e3e: SWAP3 00001e3f: POP 00001e40: POP 00001e41: POP 00001e42: JUMP 00001e43: JUMPDEST 00001e44: PUSH1 0x40 00001e46: MLOAD 00001e47: PUSH1 0x01 00001e49: PUSH1 0x01 00001e4b: PUSH1 0xa0 00001e4d: SHL 00001e4e: SUB 00001e4f: DUP1 00001e50: DUP6 00001e51: AND 00001e52: PUSH1 0x24 00001e54: DUP4 00001e55: ADD 00001e56: MSTORE 00001e57: DUP4 00001e58: AND 00001e59: PUSH1 0x44 00001e5b: DUP3 00001e5c: ADD 00001e5d: MSTORE 00001e5e: PUSH1 0x64 00001e60: DUP2 00001e61: ADD 00001e62: DUP3 00001e63: SWAP1 00001e64: MSTORE 00001e65: PUSH2 0x1f12 00001e68: SWAP1 00001e69: DUP6 00001e6a: SWAP1 00001e6b: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00001e8c: SWAP1 00001e8d: PUSH1 0x84 00001e8f: ADD 00001e90: JUMPDEST 00001e91: PUSH1 0x40 00001e93: DUP1 00001e94: MLOAD 00001e95: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001eb6: DUP2 00001eb7: DUP5 00001eb8: SUB 00001eb9: ADD 00001eba: DUP2 00001ebb: MSTORE 00001ebc: SWAP2 00001ebd: SWAP1 00001ebe: MSTORE 00001ebf: PUSH1 0x20 00001ec1: DUP2 00001ec2: ADD 00001ec3: DUP1 00001ec4: MLOAD 00001ec5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001ee2: AND 00001ee3: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001f04: SWAP1 00001f05: SWAP4 00001f06: AND 00001f07: SWAP3 00001f08: SWAP1 00001f09: SWAP3 00001f0a: OR 00001f0b: SWAP1 00001f0c: SWAP2 00001f0d: MSTORE 00001f0e: PUSH2 0x248f 00001f11: JUMP 00001f12: JUMPDEST 00001f13: POP 00001f14: POP 00001f15: POP 00001f16: POP 00001f17: JUMP 00001f18: JUMPDEST 00001f19: PUSH1 0x00 00001f1b: DUP3 00001f1c: DUP3 00001f1d: MUL 00001f1e: DUP4 00001f1f: ISZERO 00001f20: DUP1 00001f21: ISZERO 00001f22: SWAP1 00001f23: PUSH2 0x1f3b 00001f26: JUMPI 00001f27: POP 00001f28: DUP3 00001f29: DUP5 00001f2a: DUP3 00001f2b: DUP2 00001f2c: PUSH2 0x1f37 00001f2f: JUMPI 00001f30: PUSH2 0x1f37 00001f33: PUSH2 0x2d9d 00001f36: JUMP 00001f37: JUMPDEST 00001f38: DIV 00001f39: EQ 00001f3a: ISZERO 00001f3b: JUMPDEST 00001f3c: ISZERO 00001f3d: PUSH2 0x1f7c 00001f40: JUMPI 00001f41: PUSH1 0x40 00001f43: MLOAD 00001f44: PUSH32 0xe8e4a4fa00000000000000000000000000000000000000000000000000000000 00001f65: DUP2 00001f66: MSTORE 00001f67: PUSH1 0x04 00001f69: DUP2 00001f6a: ADD 00001f6b: DUP6 00001f6c: SWAP1 00001f6d: MSTORE 00001f6e: PUSH1 0x24 00001f70: DUP2 00001f71: ADD 00001f72: DUP5 00001f73: SWAP1 00001f74: MSTORE 00001f75: PUSH1 0x44 00001f77: ADD 00001f78: PUSH2 0x0506 00001f7b: JUMP 00001f7c: JUMPDEST 00001f7d: PUSH8 0x0de0b6b3a7640000 00001f86: SWAP1 00001f87: DIV 00001f88: SWAP4 00001f89: SWAP3 00001f8a: POP 00001f8b: POP 00001f8c: POP 00001f8d: JUMP 00001f8e: JUMPDEST 00001f8f: DUP1 00001f90: PUSH1 0x00 00001f92: SUB 00001f93: PUSH2 0x1f9b 00001f96: JUMPI 00001f97: POP 00001f98: POP 00001f99: POP 00001f9a: JUMP 00001f9b: JUMPDEST 00001f9c: PUSH2 0x09b6 00001f9f: DUP4 00001fa0: DUP4 00001fa1: DUP4 00001fa2: PUSH2 0x2574 00001fa5: JUMP 00001fa6: JUMPDEST 00001fa7: PUSH1 0x40 00001fa9: DUP1 00001faa: MLOAD 00001fab: PUSH1 0x01 00001fad: DUP1 00001fae: DUP3 00001faf: MSTORE 00001fb0: DUP2 00001fb1: DUP4 00001fb2: ADD 00001fb3: SWAP1 00001fb4: SWAP3 00001fb5: MSTORE 00001fb6: PUSH1 0x60 00001fb8: SWAP2 00001fb9: PUSH1 0x20 00001fbb: DUP1 00001fbc: DUP4 00001fbd: ADD 00001fbe: SWAP1 00001fbf: DUP1 00001fc0: CALLDATASIZE 00001fc1: DUP4 00001fc2: CALLDATACOPY 00001fc3: ADD 00001fc4: SWAP1 00001fc5: POP 00001fc6: POP 00001fc7: SWAP1 00001fc8: POP 00001fc9: DUP2 00001fca: DUP2 00001fcb: PUSH1 0x00 00001fcd: DUP2 00001fce: MLOAD 00001fcf: DUP2 00001fd0: LT 00001fd1: PUSH2 0x1fdc 00001fd4: JUMPI 00001fd5: PUSH2 0x1fdc 00001fd8: PUSH2 0x2d6e 00001fdb: JUMP 00001fdc: JUMPDEST 00001fdd: PUSH1 0x20 00001fdf: MUL 00001fe0: PUSH1 0x20 00001fe2: ADD 00001fe3: ADD 00001fe4: DUP2 00001fe5: DUP2 00001fe6: MSTORE 00001fe7: POP 00001fe8: POP 00001fe9: SWAP2 00001fea: SWAP1 00001feb: POP 00001fec: JUMP 00001fed: JUMPDEST 00001fee: PUSH1 0x40 00001ff0: DUP1 00001ff1: MLOAD 00001ff2: PUSH1 0x04 00001ff4: DUP1 00001ff5: DUP3 00001ff6: MSTORE 00001ff7: PUSH1 0xa0 00001ff9: DUP3 00001ffa: ADD 00001ffb: SWAP1 00001ffc: SWAP3 00001ffd: MSTORE 00001ffe: PUSH1 0x60 00002000: SWAP2 00002001: PUSH1 0x20 00002003: DUP3 00002004: ADD 00002005: PUSH1 0x80 00002007: DUP1 00002008: CALLDATASIZE 00002009: DUP4 0000200a: CALLDATACOPY 0000200b: ADD 0000200c: SWAP1 0000200d: POP 0000200e: POP 0000200f: SWAP1 00002010: POP 00002011: DUP5 00002012: PUSH1 0x00 00002014: SHR 00002015: DUP2 00002016: PUSH1 0x00 00002018: DUP2 00002019: MLOAD 0000201a: DUP2 0000201b: LT 0000201c: PUSH2 0x2027 0000201f: JUMPI 00002020: PUSH2 0x2027 00002023: PUSH2 0x2d6e 00002026: JUMP 00002027: JUMPDEST 00002028: PUSH1 0x20 0000202a: MUL 0000202b: PUSH1 0x20 0000202d: ADD 0000202e: ADD 0000202f: DUP2 00002030: DUP2 00002031: MSTORE 00002032: POP 00002033: POP 00002034: DUP4 00002035: PUSH1 0x01 00002037: PUSH1 0x01 00002039: PUSH1 0xa0 0000203b: SHL 0000203c: SUB 0000203d: AND 0000203e: DUP2 0000203f: PUSH1 0x01 00002041: DUP2 00002042: MLOAD 00002043: DUP2 00002044: LT 00002045: PUSH2 0x2050 00002048: JUMPI 00002049: PUSH2 0x2050 0000204c: PUSH2 0x2d6e 0000204f: JUMP 00002050: JUMPDEST 00002051: PUSH1 0x20 00002053: MUL 00002054: PUSH1 0x20 00002056: ADD 00002057: ADD 00002058: DUP2 00002059: DUP2 0000205a: MSTORE 0000205b: POP 0000205c: POP 0000205d: DUP3 0000205e: DUP2 0000205f: PUSH1 0x02 00002061: DUP2 00002062: MLOAD 00002063: DUP2 00002064: LT 00002065: PUSH2 0x2070 00002068: JUMPI 00002069: PUSH2 0x2070 0000206c: PUSH2 0x2d6e 0000206f: JUMP 00002070: JUMPDEST 00002071: PUSH1 0x20 00002073: MUL 00002074: PUSH1 0x20 00002076: ADD 00002077: ADD 00002078: DUP2 00002079: DUP2 0000207a: MSTORE 0000207b: POP 0000207c: POP 0000207d: DUP2 0000207e: PUSH2 0x2088 00002081: JUMPI 00002082: PUSH1 0x00 00002084: PUSH2 0x208b 00002087: JUMP 00002088: JUMPDEST 00002089: PUSH1 0x01 0000208b: JUMPDEST 0000208c: PUSH1 0xff 0000208e: AND 0000208f: DUP2 00002090: PUSH1 0x03 00002092: DUP2 00002093: MLOAD 00002094: DUP2 00002095: LT 00002096: PUSH2 0x20a1 00002099: JUMPI 0000209a: PUSH2 0x20a1 0000209d: PUSH2 0x2d6e 000020a0: JUMP 000020a1: JUMPDEST 000020a2: PUSH1 0x20 000020a4: MUL 000020a5: PUSH1 0x20 000020a7: ADD 000020a8: ADD 000020a9: DUP2 000020aa: DUP2 000020ab: MSTORE 000020ac: POP 000020ad: POP 000020ae: SWAP5 000020af: SWAP4 000020b0: POP 000020b1: POP 000020b2: POP 000020b3: POP 000020b4: JUMP 000020b5: JUMPDEST 000020b6: PUSH1 0x00 000020b8: DUP4 000020b9: DUP2 000020ba: MSTORE 000020bb: PUSH1 0x35 000020bd: PUSH1 0x20 000020bf: SWAP1 000020c0: DUP2 000020c1: MSTORE 000020c2: PUSH1 0x40 000020c4: DUP1 000020c5: DUP4 000020c6: KECCAK256 000020c7: PUSH1 0x01 000020c9: PUSH1 0x01 000020cb: PUSH1 0xa0 000020cd: SHL 000020ce: SUB 000020cf: DUP7 000020d0: AND 000020d1: DUP5 000020d2: MSTORE 000020d3: SWAP1 000020d4: SWAP2 000020d5: MSTORE 000020d6: SWAP1 000020d7: KECCAK256 000020d8: SLOAD 000020d9: DUP2 000020da: DUP2 000020db: LT 000020dc: ISZERO 000020dd: PUSH2 0x2132 000020e0: JUMPI 000020e1: PUSH1 0x40 000020e3: MLOAD 000020e4: PUSH32 0xc4238b7400000000000000000000000000000000000000000000000000000000 00002105: DUP2 00002106: MSTORE 00002107: PUSH1 0x04 00002109: DUP2 0000210a: ADD 0000210b: DUP6 0000210c: SWAP1 0000210d: MSTORE 0000210e: PUSH1 0x01 00002110: PUSH1 0x01 00002112: PUSH1 0xa0 00002114: SHL 00002115: SUB 00002116: DUP5 00002117: AND 00002118: PUSH1 0x24 0000211a: DUP3 0000211b: ADD 0000211c: MSTORE 0000211d: PUSH1 0x44 0000211f: DUP2 00002120: ADD 00002121: DUP3 00002122: SWAP1 00002123: MSTORE 00002124: PUSH1 0x64 00002126: DUP2 00002127: ADD 00002128: DUP4 00002129: SWAP1 0000212a: MSTORE 0000212b: PUSH1 0x84 0000212d: ADD 0000212e: PUSH2 0x0506 00002131: JUMP 00002132: JUMPDEST 00002133: PUSH2 0x213c 00002136: DUP3 00002137: DUP3 00002138: PUSH2 0x2c9d 0000213b: JUMP 0000213c: JUMPDEST 0000213d: PUSH1 0x00 0000213f: DUP6 00002140: DUP2 00002141: MSTORE 00002142: PUSH1 0x35 00002144: PUSH1 0x20 00002146: SWAP1 00002147: DUP2 00002148: MSTORE 00002149: PUSH1 0x40 0000214b: DUP1 0000214c: DUP4 0000214d: KECCAK256 0000214e: PUSH1 0x01 00002150: PUSH1 0x01 00002152: PUSH1 0xa0 00002154: SHL 00002155: SUB 00002156: DUP9 00002157: AND 00002158: DUP1 00002159: DUP6 0000215a: MSTORE 0000215b: SWAP1 0000215c: DUP4 0000215d: MSTORE 0000215e: DUP2 0000215f: DUP5 00002160: KECCAK256 00002161: SWAP5 00002162: SWAP1 00002163: SWAP5 00002164: SSTORE 00002165: DUP1 00002166: MLOAD 00002167: DUP7 00002168: DUP2 00002169: MSTORE 0000216a: SWAP2 0000216b: DUP3 0000216c: ADD 0000216d: SWAP3 0000216e: SWAP1 0000216f: SWAP3 00002170: MSTORE 00002171: DUP7 00002172: SWAP2 00002173: PUSH32 0xec0aa393d070ebcec385459d5d2e9ffb8e387b20025e9373ef428e9b1ad21cb7 00002194: SWAP2 00002195: ADD 00002196: PUSH1 0x40 00002198: MLOAD 00002199: DUP1 0000219a: SWAP2 0000219b: SUB 0000219c: SWAP1 0000219d: LOG3 0000219e: POP 0000219f: POP 000021a0: POP 000021a1: POP 000021a2: JUMP 000021a3: JUMPDEST 000021a4: PUSH1 0x00 000021a6: DUP4 000021a7: DUP2 000021a8: MSTORE 000021a9: PUSH1 0x35 000021ab: PUSH1 0x20 000021ad: SWAP1 000021ae: DUP2 000021af: MSTORE 000021b0: PUSH1 0x40 000021b2: DUP1 000021b3: DUP4 000021b4: KECCAK256 000021b5: PUSH1 0x01 000021b7: PUSH1 0x01 000021b9: PUSH1 0xa0 000021bb: SHL 000021bc: SUB 000021bd: DUP7 000021be: AND 000021bf: DUP5 000021c0: MSTORE 000021c1: SWAP1 000021c2: SWAP2 000021c3: MSTORE 000021c4: DUP2 000021c5: KECCAK256 000021c6: DUP1 000021c7: SLOAD 000021c8: DUP4 000021c9: SWAP3 000021ca: SWAP1 000021cb: PUSH2 0x21d5 000021ce: SWAP1 000021cf: DUP5 000021d0: SWAP1 000021d1: PUSH2 0x2dcc 000021d4: JUMP 000021d5: JUMPDEST 000021d6: SWAP1 000021d7: SWAP2 000021d8: SSTORE 000021d9: POP 000021da: POP 000021db: PUSH1 0x40 000021dd: DUP1 000021de: MLOAD 000021df: DUP3 000021e0: DUP2 000021e1: MSTORE 000021e2: PUSH1 0x01 000021e4: PUSH1 0x20 000021e6: DUP3 000021e7: ADD 000021e8: MSTORE 000021e9: PUSH1 0x01 000021eb: PUSH1 0x01 000021ed: PUSH1 0xa0 000021ef: SHL 000021f0: SUB 000021f1: DUP5 000021f2: AND 000021f3: SWAP2 000021f4: DUP6 000021f5: SWAP2 000021f6: PUSH32 0xec0aa393d070ebcec385459d5d2e9ffb8e387b20025e9373ef428e9b1ad21cb7 00002217: SWAP2 00002218: ADD 00002219: PUSH1 0x40 0000221b: MLOAD 0000221c: DUP1 0000221d: SWAP2 0000221e: SUB 0000221f: SWAP1 00002220: LOG3 00002221: POP 00002222: POP 00002223: POP 00002224: JUMP 00002225: JUMPDEST 00002226: PUSH1 0x00 00002228: DUP1 00002229: SLOAD 0000222a: PUSH1 0x40 0000222c: MLOAD 0000222d: PUSH32 0x2852289500000000000000000000000000000000000000000000000000000000 0000224e: DUP2 0000224f: MSTORE 00002250: PUSH3 0x010000 00002254: SWAP1 00002255: SWAP2 00002256: DIV 00002257: PUSH1 0x01 00002259: PUSH1 0x01 0000225b: PUSH1 0xa0 0000225d: SHL 0000225e: SUB 0000225f: AND 00002260: SWAP1 00002261: PUSH4 0x28522895 00002266: SWAP1 00002267: PUSH2 0x227a 0000226a: SWAP1 0000226b: DUP8 0000226c: SWAP1 0000226d: ADDRESS 0000226e: SWAP1 0000226f: DUP9 00002270: SWAP1 00002271: DUP9 00002272: SWAP1 00002273: PUSH1 0x04 00002275: ADD 00002276: PUSH2 0x2ddf 00002279: JUMP 0000227a: JUMPDEST 0000227b: PUSH1 0x20 0000227d: PUSH1 0x40 0000227f: MLOAD 00002280: DUP1 00002281: DUP4 00002282: SUB 00002283: DUP2 00002284: DUP7 00002285: GAS 00002286: STATICCALL 00002287: ISZERO 00002288: DUP1 00002289: ISZERO 0000228a: PUSH2 0x2297 0000228d: JUMPI 0000228e: RETURNDATASIZE 0000228f: PUSH1 0x00 00002291: DUP1 00002292: RETURNDATACOPY 00002293: RETURNDATASIZE 00002294: PUSH1 0x00 00002296: REVERT 00002297: JUMPDEST 00002298: POP 00002299: POP 0000229a: POP 0000229b: POP 0000229c: PUSH1 0x40 0000229e: MLOAD 0000229f: RETURNDATASIZE 000022a0: PUSH1 0x1f 000022a2: NOT 000022a3: PUSH1 0x1f 000022a5: DUP3 000022a6: ADD 000022a7: AND 000022a8: DUP3 000022a9: ADD 000022aa: DUP1 000022ab: PUSH1 0x40 000022ad: MSTORE 000022ae: POP 000022af: DUP2 000022b0: ADD 000022b1: SWAP1 000022b2: PUSH2 0x22bb 000022b5: SWAP2 000022b6: SWAP1 000022b7: PUSH2 0x2d35 000022ba: JUMP 000022bb: JUMPDEST 000022bc: SWAP5 000022bd: SWAP4 000022be: POP 000022bf: POP 000022c0: POP 000022c1: POP 000022c2: JUMP 000022c3: JUMPDEST 000022c4: PUSH1 0x60 000022c6: DUP4 000022c7: ISZERO 000022c8: PUSH2 0x22d2 000022cb: JUMPI 000022cc: POP 000022cd: DUP2 000022ce: PUSH2 0x1a23 000022d1: JUMP 000022d2: JUMPDEST 000022d3: DUP3 000022d4: MLOAD 000022d5: ISZERO 000022d6: PUSH2 0x22e2 000022d9: JUMPI 000022da: DUP3 000022db: MLOAD 000022dc: DUP1 000022dd: DUP5 000022de: PUSH1 0x20 000022e0: ADD 000022e1: REVERT 000022e2: JUMPDEST 000022e3: DUP2 000022e4: PUSH1 0x40 000022e6: MLOAD 000022e7: PUSH3 0x461bcd 000022eb: PUSH1 0xe5 000022ed: SHL 000022ee: DUP2 000022ef: MSTORE 000022f0: PUSH1 0x04 000022f2: ADD 000022f3: PUSH2 0x0506 000022f6: SWAP2 000022f7: SWAP1 000022f8: PUSH2 0x2a3b 000022fb: JUMP 000022fc: JUMPDEST 000022fd: PUSH1 0x00 000022ff: SLOAD 00002300: PUSH2 0x0100 00002303: SWAP1 00002304: DIV 00002305: PUSH1 0xff 00002307: AND 00002308: PUSH2 0x2379 0000230b: JUMPI 0000230c: PUSH1 0x40 0000230e: MLOAD 0000230f: PUSH3 0x461bcd 00002313: PUSH1 0xe5 00002315: SHL 00002316: DUP2 00002317: MSTORE 00002318: PUSH1 0x20 0000231a: PUSH1 0x04 0000231c: DUP3 0000231d: ADD 0000231e: MSTORE 0000231f: PUSH1 0x2b 00002321: PUSH1 0x24 00002323: DUP3 00002324: ADD 00002325: MSTORE 00002326: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00002347: PUSH1 0x44 00002349: DUP3 0000234a: ADD 0000234b: MSTORE 0000234c: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 0000236d: PUSH1 0x64 0000236f: DUP3 00002370: ADD 00002371: MSTORE 00002372: PUSH1 0x84 00002374: ADD 00002375: PUSH2 0x0506 00002378: JUMP 00002379: JUMPDEST 0000237a: PUSH2 0x2381 0000237d: PUSH2 0x25ad 00002380: JUMP 00002381: JUMPDEST 00002382: JUMP 00002383: JUMPDEST 00002384: PUSH1 0x00 00002386: SLOAD 00002387: PUSH2 0x0100 0000238a: SWAP1 0000238b: DIV 0000238c: PUSH1 0xff 0000238e: AND 0000238f: PUSH2 0x2400 00002392: JUMPI 00002393: PUSH1 0x40 00002395: MLOAD 00002396: PUSH3 0x461bcd 0000239a: PUSH1 0xe5 0000239c: SHL 0000239d: DUP2 0000239e: MSTORE 0000239f: PUSH1 0x20 000023a1: PUSH1 0x04 000023a3: DUP3 000023a4: ADD 000023a5: MSTORE 000023a6: PUSH1 0x2b 000023a8: PUSH1 0x24 000023aa: DUP3 000023ab: ADD 000023ac: MSTORE 000023ad: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 000023ce: PUSH1 0x44 000023d0: DUP3 000023d1: ADD 000023d2: MSTORE 000023d3: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 000023f4: PUSH1 0x64 000023f6: DUP3 000023f7: ADD 000023f8: MSTORE 000023f9: PUSH1 0x84 000023fb: ADD 000023fc: PUSH2 0x0506 000023ff: JUMP 00002400: JUMPDEST 00002401: PUSH2 0x1931 00002404: DUP2 00002405: PUSH2 0x2630 00002408: JUMP 00002409: JUMPDEST 0000240a: PUSH1 0x00 0000240c: SLOAD 0000240d: PUSH2 0x0100 00002410: SWAP1 00002411: DIV 00002412: PUSH1 0xff 00002414: AND 00002415: PUSH2 0x2486 00002418: JUMPI 00002419: PUSH1 0x40 0000241b: MLOAD 0000241c: PUSH3 0x461bcd 00002420: PUSH1 0xe5 00002422: SHL 00002423: DUP2 00002424: MSTORE 00002425: PUSH1 0x20 00002427: PUSH1 0x04 00002429: DUP3 0000242a: ADD 0000242b: MSTORE 0000242c: PUSH1 0x2b 0000242e: PUSH1 0x24 00002430: DUP3 00002431: ADD 00002432: MSTORE 00002433: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00002454: PUSH1 0x44 00002456: DUP3 00002457: ADD 00002458: MSTORE 00002459: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 0000247a: PUSH1 0x64 0000247c: DUP3 0000247d: ADD 0000247e: MSTORE 0000247f: PUSH1 0x84 00002481: ADD 00002482: PUSH2 0x0506 00002485: JUMP 00002486: JUMPDEST 00002487: PUSH2 0x1adb 0000248a: DUP2 0000248b: PUSH2 0x1d3f 0000248e: JUMP 0000248f: JUMPDEST 00002490: PUSH1 0x00 00002492: PUSH2 0x24e4 00002495: DUP3 00002496: PUSH1 0x40 00002498: MLOAD 00002499: DUP1 0000249a: PUSH1 0x40 0000249c: ADD 0000249d: PUSH1 0x40 0000249f: MSTORE 000024a0: DUP1 000024a1: PUSH1 0x20 000024a3: DUP2 000024a4: MSTORE 000024a5: PUSH1 0x20 000024a7: ADD 000024a8: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000024c9: DUP2 000024ca: MSTORE 000024cb: POP 000024cc: DUP6 000024cd: PUSH1 0x01 000024cf: PUSH1 0x01 000024d1: PUSH1 0xa0 000024d3: SHL 000024d4: SUB 000024d5: AND 000024d6: PUSH2 0x26ed 000024d9: SWAP1 000024da: SWAP3 000024db: SWAP2 000024dc: SWAP1 000024dd: PUSH4 0xffffffff 000024e2: AND 000024e3: JUMP 000024e4: JUMPDEST 000024e5: DUP1 000024e6: MLOAD 000024e7: SWAP1 000024e8: SWAP2 000024e9: POP 000024ea: ISZERO 000024eb: PUSH2 0x09b6 000024ee: JUMPI 000024ef: DUP1 000024f0: DUP1 000024f1: PUSH1 0x20 000024f3: ADD 000024f4: SWAP1 000024f5: MLOAD 000024f6: DUP2 000024f7: ADD 000024f8: SWAP1 000024f9: PUSH2 0x2502 000024fc: SWAP2 000024fd: SWAP1 000024fe: PUSH2 0x2d35 00002501: JUMP 00002502: JUMPDEST 00002503: PUSH2 0x09b6 00002506: JUMPI 00002507: PUSH1 0x40 00002509: MLOAD 0000250a: PUSH3 0x461bcd 0000250e: PUSH1 0xe5 00002510: SHL 00002511: DUP2 00002512: MSTORE 00002513: PUSH1 0x20 00002515: PUSH1 0x04 00002517: DUP3 00002518: ADD 00002519: MSTORE 0000251a: PUSH1 0x2a 0000251c: PUSH1 0x24 0000251e: DUP3 0000251f: ADD 00002520: MSTORE 00002521: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00002542: PUSH1 0x44 00002544: DUP3 00002545: ADD 00002546: MSTORE 00002547: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00002568: PUSH1 0x64 0000256a: DUP3 0000256b: ADD 0000256c: MSTORE 0000256d: PUSH1 0x84 0000256f: ADD 00002570: PUSH2 0x0506 00002573: JUMP 00002574: JUMPDEST 00002575: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0000258a: PUSH1 0x01 0000258c: PUSH1 0x01 0000258e: PUSH1 0xa0 00002590: SHL 00002591: SUB 00002592: DUP5 00002593: AND 00002594: SUB 00002595: PUSH2 0x25a2 00002598: JUMPI 00002599: PUSH2 0x09b6 0000259c: DUP3 0000259d: DUP3 0000259e: PUSH2 0x26fc 000025a1: JUMP 000025a2: JUMPDEST 000025a3: PUSH2 0x09b6 000025a6: DUP4 000025a7: DUP4 000025a8: DUP4 000025a9: PUSH2 0x2815 000025ac: JUMP 000025ad: JUMPDEST 000025ae: PUSH1 0x00 000025b0: SLOAD 000025b1: PUSH2 0x0100 000025b4: SWAP1 000025b5: DIV 000025b6: PUSH1 0xff 000025b8: AND 000025b9: PUSH2 0x262a 000025bc: JUMPI 000025bd: PUSH1 0x40 000025bf: MLOAD 000025c0: PUSH3 0x461bcd 000025c4: PUSH1 0xe5 000025c6: SHL 000025c7: DUP2 000025c8: MSTORE 000025c9: PUSH1 0x20 000025cb: PUSH1 0x04 000025cd: DUP3 000025ce: ADD 000025cf: MSTORE 000025d0: PUSH1 0x2b 000025d2: PUSH1 0x24 000025d4: DUP3 000025d5: ADD 000025d6: MSTORE 000025d7: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 000025f8: PUSH1 0x44 000025fa: DUP3 000025fb: ADD 000025fc: MSTORE 000025fd: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 0000261e: PUSH1 0x64 00002620: DUP3 00002621: ADD 00002622: MSTORE 00002623: PUSH1 0x84 00002625: ADD 00002626: PUSH2 0x0506 00002629: JUMP 0000262a: JUMPDEST 0000262b: PUSH1 0x01 0000262d: DUP1 0000262e: SSTORE 0000262f: JUMP 00002630: JUMPDEST 00002631: PUSH1 0x00 00002633: SLOAD 00002634: PUSH2 0x0100 00002637: SWAP1 00002638: DIV 00002639: PUSH1 0xff 0000263b: AND 0000263c: PUSH2 0x26ad 0000263f: JUMPI 00002640: PUSH1 0x40 00002642: MLOAD 00002643: PUSH3 0x461bcd 00002647: PUSH1 0xe5 00002649: SHL 0000264a: DUP2 0000264b: MSTORE 0000264c: PUSH1 0x20 0000264e: PUSH1 0x04 00002650: DUP3 00002651: ADD 00002652: MSTORE 00002653: PUSH1 0x2b 00002655: PUSH1 0x24 00002657: DUP3 00002658: ADD 00002659: MSTORE 0000265a: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 0000267b: PUSH1 0x44 0000267d: DUP3 0000267e: ADD 0000267f: MSTORE 00002680: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 000026a1: PUSH1 0x64 000026a3: DUP3 000026a4: ADD 000026a5: MSTORE 000026a6: PUSH1 0x84 000026a8: ADD 000026a9: PUSH2 0x0506 000026ac: JUMP 000026ad: JUMPDEST 000026ae: PUSH1 0x00 000026b0: DUP1 000026b1: SLOAD 000026b2: PUSH1 0x01 000026b4: PUSH1 0x01 000026b6: PUSH1 0xa0 000026b8: SHL 000026b9: SUB 000026ba: SWAP1 000026bb: SWAP3 000026bc: AND 000026bd: PUSH3 0x010000 000026c1: MUL 000026c2: PUSH32 0xffffffffffffffffffff0000000000000000000000000000000000000000ffff 000026e3: SWAP1 000026e4: SWAP3 000026e5: AND 000026e6: SWAP2 000026e7: SWAP1 000026e8: SWAP2 000026e9: OR 000026ea: SWAP1 000026eb: SSTORE 000026ec: JUMP 000026ed: JUMPDEST 000026ee: PUSH1 0x60 000026f0: PUSH2 0x22bb 000026f3: DUP5 000026f4: DUP5 000026f5: PUSH1 0x00 000026f7: DUP6 000026f8: PUSH2 0x1bf7 000026fb: JUMP 000026fc: JUMPDEST 000026fd: DUP1 000026fe: SELFBALANCE 000026ff: LT 00002700: ISZERO 00002701: PUSH2 0x274c 00002704: JUMPI 00002705: PUSH1 0x40 00002707: MLOAD 00002708: PUSH3 0x461bcd 0000270c: PUSH1 0xe5 0000270e: SHL 0000270f: DUP2 00002710: MSTORE 00002711: PUSH1 0x20 00002713: PUSH1 0x04 00002715: DUP3 00002716: ADD 00002717: MSTORE 00002718: PUSH1 0x1d 0000271a: PUSH1 0x24 0000271c: DUP3 0000271d: ADD 0000271e: MSTORE 0000271f: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00002740: PUSH1 0x44 00002742: DUP3 00002743: ADD 00002744: MSTORE 00002745: PUSH1 0x64 00002747: ADD 00002748: PUSH2 0x0506 0000274b: JUMP 0000274c: JUMPDEST 0000274d: PUSH1 0x00 0000274f: DUP3 00002750: PUSH1 0x01 00002752: PUSH1 0x01 00002754: PUSH1 0xa0 00002756: SHL 00002757: SUB 00002758: AND 00002759: DUP3 0000275a: PUSH1 0x40 0000275c: MLOAD 0000275d: PUSH1 0x00 0000275f: PUSH1 0x40 00002761: MLOAD 00002762: DUP1 00002763: DUP4 00002764: SUB 00002765: DUP2 00002766: DUP6 00002767: DUP8 00002768: GAS 00002769: CALL 0000276a: SWAP3 0000276b: POP 0000276c: POP 0000276d: POP 0000276e: RETURNDATASIZE 0000276f: DUP1 00002770: PUSH1 0x00 00002772: DUP2 00002773: EQ 00002774: PUSH2 0x2799 00002777: JUMPI 00002778: PUSH1 0x40 0000277a: MLOAD 0000277b: SWAP2 0000277c: POP 0000277d: PUSH1 0x1f 0000277f: NOT 00002780: PUSH1 0x3f 00002782: RETURNDATASIZE 00002783: ADD 00002784: AND 00002785: DUP3 00002786: ADD 00002787: PUSH1 0x40 00002789: MSTORE 0000278a: RETURNDATASIZE 0000278b: DUP3 0000278c: MSTORE 0000278d: RETURNDATASIZE 0000278e: PUSH1 0x00 00002790: PUSH1 0x20 00002792: DUP5 00002793: ADD 00002794: RETURNDATACOPY 00002795: PUSH2 0x279e 00002798: JUMP 00002799: JUMPDEST 0000279a: PUSH1 0x60 0000279c: SWAP2 0000279d: POP 0000279e: JUMPDEST 0000279f: POP 000027a0: POP 000027a1: SWAP1 000027a2: POP 000027a3: DUP1 000027a4: PUSH2 0x09b6 000027a7: JUMPI 000027a8: PUSH1 0x40 000027aa: MLOAD 000027ab: PUSH3 0x461bcd 000027af: PUSH1 0xe5 000027b1: SHL 000027b2: DUP2 000027b3: MSTORE 000027b4: PUSH1 0x20 000027b6: PUSH1 0x04 000027b8: DUP3 000027b9: ADD 000027ba: MSTORE 000027bb: PUSH1 0x3a 000027bd: PUSH1 0x24 000027bf: DUP3 000027c0: ADD 000027c1: MSTORE 000027c2: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 000027e3: PUSH1 0x44 000027e5: DUP3 000027e6: ADD 000027e7: MSTORE 000027e8: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00002809: PUSH1 0x64 0000280b: DUP3 0000280c: ADD 0000280d: MSTORE 0000280e: PUSH1 0x84 00002810: ADD 00002811: PUSH2 0x0506 00002814: JUMP 00002815: JUMPDEST 00002816: PUSH1 0x40 00002818: MLOAD 00002819: PUSH1 0x01 0000281b: PUSH1 0x01 0000281d: PUSH1 0xa0 0000281f: SHL 00002820: SUB 00002821: DUP4 00002822: AND 00002823: PUSH1 0x24 00002825: DUP3 00002826: ADD 00002827: MSTORE 00002828: PUSH1 0x44 0000282a: DUP2 0000282b: ADD 0000282c: DUP3 0000282d: SWAP1 0000282e: MSTORE 0000282f: PUSH2 0x09b6 00002832: SWAP1 00002833: DUP5 00002834: SWAP1 00002835: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00002856: SWAP1 00002857: PUSH1 0x64 00002859: ADD 0000285a: PUSH2 0x1e90 0000285d: JUMP 0000285e: JUMPDEST 0000285f: PUSH1 0x01 00002861: PUSH1 0x01 00002863: PUSH1 0xa0 00002865: SHL 00002866: SUB 00002867: DUP2 00002868: AND 00002869: DUP2 0000286a: EQ 0000286b: PUSH2 0x1931 0000286e: JUMPI 0000286f: PUSH1 0x00 00002871: DUP1 00002872: REVERT 00002873: JUMPDEST 00002874: PUSH1 0x00 00002876: DUP1 00002877: PUSH1 0x40 00002879: DUP4 0000287a: DUP6 0000287b: SUB 0000287c: SLT 0000287d: ISZERO 0000287e: PUSH2 0x2886 00002881: JUMPI 00002882: PUSH1 0x00 00002884: DUP1 00002885: REVERT 00002886: JUMPDEST 00002887: DUP3 00002888: CALLDATALOAD 00002889: SWAP2 0000288a: POP 0000288b: PUSH1 0x20 0000288d: DUP4 0000288e: ADD 0000288f: CALLDATALOAD 00002890: PUSH2 0x2898 00002893: DUP2 00002894: PUSH2 0x285e 00002897: JUMP 00002898: JUMPDEST 00002899: DUP1 0000289a: SWAP2 0000289b: POP 0000289c: POP 0000289d: SWAP3 0000289e: POP 0000289f: SWAP3 000028a0: SWAP1 000028a1: POP 000028a2: JUMP 000028a3: JUMPDEST 000028a4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000028c5: PUSH1 0x00 000028c7: MSTORE 000028c8: PUSH1 0x41 000028ca: PUSH1 0x04 000028cc: MSTORE 000028cd: PUSH1 0x24 000028cf: PUSH1 0x00 000028d1: REVERT 000028d2: JUMPDEST 000028d3: PUSH1 0x00 000028d5: DUP3 000028d6: PUSH1 0x1f 000028d8: DUP4 000028d9: ADD 000028da: SLT 000028db: PUSH2 0x28e3 000028de: JUMPI 000028df: PUSH1 0x00 000028e1: DUP1 000028e2: REVERT 000028e3: JUMPDEST 000028e4: DUP2 000028e5: CALLDATALOAD 000028e6: PUSH8 0xffffffffffffffff 000028ef: DUP1 000028f0: DUP3 000028f1: GT 000028f2: ISZERO 000028f3: PUSH2 0x28fe 000028f6: JUMPI 000028f7: PUSH2 0x28fe 000028fa: PUSH2 0x28a3 000028fd: JUMP 000028fe: JUMPDEST 000028ff: PUSH1 0x40 00002901: MLOAD 00002902: PUSH1 0x1f 00002904: DUP4 00002905: ADD 00002906: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002927: SWAP1 00002928: DUP2 00002929: AND 0000292a: PUSH1 0x3f 0000292c: ADD 0000292d: AND 0000292e: DUP2 0000292f: ADD 00002930: SWAP1 00002931: DUP3 00002932: DUP3 00002933: GT 00002934: DUP2 00002935: DUP4 00002936: LT 00002937: OR 00002938: ISZERO 00002939: PUSH2 0x2944 0000293c: JUMPI 0000293d: PUSH2 0x2944 00002940: PUSH2 0x28a3 00002943: JUMP 00002944: JUMPDEST 00002945: DUP2 00002946: PUSH1 0x40 00002948: MSTORE 00002949: DUP4 0000294a: DUP2 0000294b: MSTORE 0000294c: DUP7 0000294d: PUSH1 0x20 0000294f: DUP6 00002950: DUP9 00002951: ADD 00002952: ADD 00002953: GT 00002954: ISZERO 00002955: PUSH2 0x295d 00002958: JUMPI 00002959: PUSH1 0x00 0000295b: DUP1 0000295c: REVERT 0000295d: JUMPDEST 0000295e: DUP4 0000295f: PUSH1 0x20 00002961: DUP8 00002962: ADD 00002963: PUSH1 0x20 00002965: DUP4 00002966: ADD 00002967: CALLDATACOPY 00002968: PUSH1 0x00 0000296a: PUSH1 0x20 0000296c: DUP6 0000296d: DUP4 0000296e: ADD 0000296f: ADD 00002970: MSTORE 00002971: DUP1 00002972: SWAP5 00002973: POP 00002974: POP 00002975: POP 00002976: POP 00002977: POP 00002978: SWAP3 00002979: SWAP2 0000297a: POP 0000297b: POP 0000297c: JUMP 0000297d: JUMPDEST 0000297e: PUSH1 0x00 00002980: DUP1 00002981: PUSH1 0x40 00002983: DUP4 00002984: DUP6 00002985: SUB 00002986: SLT 00002987: ISZERO 00002988: PUSH2 0x2990 0000298b: JUMPI 0000298c: PUSH1 0x00 0000298e: DUP1 0000298f: REVERT 00002990: JUMPDEST 00002991: DUP3 00002992: CALLDATALOAD 00002993: PUSH2 0x299b 00002996: DUP2 00002997: PUSH2 0x285e 0000299a: JUMP 0000299b: JUMPDEST 0000299c: SWAP2 0000299d: POP 0000299e: PUSH1 0x20 000029a0: DUP4 000029a1: ADD 000029a2: CALLDATALOAD 000029a3: PUSH8 0xffffffffffffffff 000029ac: DUP2 000029ad: GT 000029ae: ISZERO 000029af: PUSH2 0x29b7 000029b2: JUMPI 000029b3: PUSH1 0x00 000029b5: DUP1 000029b6: REVERT 000029b7: JUMPDEST 000029b8: PUSH2 0x29c3 000029bb: DUP6 000029bc: DUP3 000029bd: DUP7 000029be: ADD 000029bf: PUSH2 0x28d2 000029c2: JUMP 000029c3: JUMPDEST 000029c4: SWAP2 000029c5: POP 000029c6: POP 000029c7: SWAP3 000029c8: POP 000029c9: SWAP3 000029ca: SWAP1 000029cb: POP 000029cc: JUMP 000029cd: JUMPDEST 000029ce: PUSH1 0x00 000029d0: JUMPDEST 000029d1: DUP4 000029d2: DUP2 000029d3: LT 000029d4: ISZERO 000029d5: PUSH2 0x29e8 000029d8: JUMPI 000029d9: DUP2 000029da: DUP2 000029db: ADD 000029dc: MLOAD 000029dd: DUP4 000029de: DUP3 000029df: ADD 000029e0: MSTORE 000029e1: PUSH1 0x20 000029e3: ADD 000029e4: PUSH2 0x29d0 000029e7: JUMP 000029e8: JUMPDEST 000029e9: POP 000029ea: POP 000029eb: PUSH1 0x00 000029ed: SWAP2 000029ee: ADD 000029ef: MSTORE 000029f0: JUMP 000029f1: JUMPDEST 000029f2: PUSH1 0x00 000029f4: DUP2 000029f5: MLOAD 000029f6: DUP1 000029f7: DUP5 000029f8: MSTORE 000029f9: PUSH2 0x2a09 000029fc: DUP2 000029fd: PUSH1 0x20 000029ff: DUP7 00002a00: ADD 00002a01: PUSH1 0x20 00002a03: DUP7 00002a04: ADD 00002a05: PUSH2 0x29cd 00002a08: JUMP 00002a09: JUMPDEST 00002a0a: PUSH1 0x1f 00002a0c: ADD 00002a0d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002a2e: AND 00002a2f: SWAP3 00002a30: SWAP1 00002a31: SWAP3 00002a32: ADD 00002a33: PUSH1 0x20 00002a35: ADD 00002a36: SWAP3 00002a37: SWAP2 00002a38: POP 00002a39: POP 00002a3a: JUMP 00002a3b: JUMPDEST 00002a3c: PUSH1 0x20 00002a3e: DUP2 00002a3f: MSTORE 00002a40: PUSH1 0x00 00002a42: PUSH2 0x1a23 00002a45: PUSH1 0x20 00002a47: DUP4 00002a48: ADD 00002a49: DUP5 00002a4a: PUSH2 0x29f1 00002a4d: JUMP 00002a4e: JUMPDEST 00002a4f: PUSH1 0x00 00002a51: PUSH1 0x20 00002a53: DUP3 00002a54: DUP5 00002a55: SUB 00002a56: SLT 00002a57: ISZERO 00002a58: PUSH2 0x2a60 00002a5b: JUMPI 00002a5c: PUSH1 0x00 00002a5e: DUP1 00002a5f: REVERT 00002a60: JUMPDEST 00002a61: DUP2 00002a62: CALLDATALOAD 00002a63: PUSH2 0x1a23 00002a66: DUP2 00002a67: PUSH2 0x285e 00002a6a: JUMP 00002a6b: JUMPDEST 00002a6c: DUP1 00002a6d: ISZERO 00002a6e: ISZERO 00002a6f: DUP2 00002a70: EQ 00002a71: PUSH2 0x1931 00002a74: JUMPI 00002a75: PUSH1 0x00 00002a77: DUP1 00002a78: REVERT 00002a79: JUMPDEST 00002a7a: PUSH1 0x00 00002a7c: DUP1 00002a7d: PUSH1 0x40 00002a7f: DUP4 00002a80: DUP6 00002a81: SUB 00002a82: SLT 00002a83: ISZERO 00002a84: PUSH2 0x2a8c 00002a87: JUMPI 00002a88: PUSH1 0x00 00002a8a: DUP1 00002a8b: REVERT 00002a8c: JUMPDEST 00002a8d: DUP3 00002a8e: CALLDATALOAD 00002a8f: PUSH2 0x2a97 00002a92: DUP2 00002a93: PUSH2 0x285e 00002a96: JUMP 00002a97: JUMPDEST 00002a98: SWAP2 00002a99: POP 00002a9a: PUSH1 0x20 00002a9c: DUP4 00002a9d: ADD 00002a9e: CALLDATALOAD 00002a9f: PUSH2 0x2898 00002aa2: DUP2 00002aa3: PUSH2 0x2a6b 00002aa6: JUMP 00002aa7: JUMPDEST 00002aa8: PUSH1 0x00 00002aaa: DUP1 00002aab: PUSH1 0x40 00002aad: DUP4 00002aae: DUP6 00002aaf: SUB 00002ab0: SLT 00002ab1: ISZERO 00002ab2: PUSH2 0x2aba 00002ab5: JUMPI 00002ab6: PUSH1 0x00 00002ab8: DUP1 00002ab9: REVERT 00002aba: JUMPDEST 00002abb: DUP3 00002abc: CALLDATALOAD 00002abd: PUSH2 0x2ac5 00002ac0: DUP2 00002ac1: PUSH2 0x285e 00002ac4: JUMP 00002ac5: JUMPDEST 00002ac6: SWAP2 00002ac7: POP 00002ac8: PUSH1 0x20 00002aca: DUP4 00002acb: ADD 00002acc: CALLDATALOAD 00002acd: PUSH2 0x2898 00002ad0: DUP2 00002ad1: PUSH2 0x285e 00002ad4: JUMP 00002ad5: JUMPDEST 00002ad6: PUSH1 0x00 00002ad8: DUP1 00002ad9: PUSH1 0x00 00002adb: PUSH1 0x60 00002add: DUP5 00002ade: DUP7 00002adf: SUB 00002ae0: SLT 00002ae1: ISZERO 00002ae2: PUSH2 0x2aea 00002ae5: JUMPI 00002ae6: PUSH1 0x00 00002ae8: DUP1 00002ae9: REVERT 00002aea: JUMPDEST 00002aeb: DUP4 00002aec: CALLDATALOAD 00002aed: PUSH2 0x2af5 00002af0: DUP2 00002af1: PUSH2 0x285e 00002af4: JUMP 00002af5: JUMPDEST 00002af6: SWAP3 00002af7: POP 00002af8: PUSH1 0x20 00002afa: DUP5 00002afb: ADD 00002afc: CALLDATALOAD 00002afd: PUSH8 0xffffffffffffffff 00002b06: DUP2 00002b07: GT 00002b08: ISZERO 00002b09: PUSH2 0x2b11 00002b0c: JUMPI 00002b0d: PUSH1 0x00 00002b0f: DUP1 00002b10: REVERT 00002b11: JUMPDEST 00002b12: PUSH2 0x2b1d 00002b15: DUP7 00002b16: DUP3 00002b17: DUP8 00002b18: ADD 00002b19: PUSH2 0x28d2 00002b1c: JUMP 00002b1d: JUMPDEST 00002b1e: SWAP3 00002b1f: POP 00002b20: POP 00002b21: PUSH1 0x40 00002b23: DUP5 00002b24: ADD 00002b25: CALLDATALOAD 00002b26: SWAP1 00002b27: POP 00002b28: SWAP3 00002b29: POP 00002b2a: SWAP3 00002b2b: POP 00002b2c: SWAP3 00002b2d: JUMP 00002b2e: JUMPDEST 00002b2f: PUSH1 0x00 00002b31: DUP1 00002b32: PUSH1 0x00 00002b34: PUSH1 0x60 00002b36: DUP5 00002b37: DUP7 00002b38: SUB 00002b39: SLT 00002b3a: ISZERO 00002b3b: PUSH2 0x2b43 00002b3e: JUMPI 00002b3f: PUSH1 0x00 00002b41: DUP1 00002b42: REVERT 00002b43: JUMPDEST 00002b44: DUP4 00002b45: CALLDATALOAD 00002b46: PUSH2 0x2b4e 00002b49: DUP2 00002b4a: PUSH2 0x285e 00002b4d: JUMP 00002b4e: JUMPDEST 00002b4f: SWAP3 00002b50: POP 00002b51: PUSH1 0x20 00002b53: DUP5 00002b54: ADD 00002b55: CALLDATALOAD 00002b56: PUSH2 0x2b5e 00002b59: DUP2 00002b5a: PUSH2 0x285e 00002b5d: JUMP 00002b5e: JUMPDEST 00002b5f: SWAP3 00002b60: SWAP6 00002b61: SWAP3 00002b62: SWAP5 00002b63: POP 00002b64: POP 00002b65: POP 00002b66: PUSH1 0x40 00002b68: SWAP2 00002b69: SWAP1 00002b6a: SWAP2 00002b6b: ADD 00002b6c: CALLDATALOAD 00002b6d: SWAP1 00002b6e: JUMP 00002b6f: JUMPDEST 00002b70: PUSH1 0x00 00002b72: PUSH1 0x20 00002b74: DUP3 00002b75: DUP5 00002b76: SUB 00002b77: SLT 00002b78: ISZERO 00002b79: PUSH2 0x2b81 00002b7c: JUMPI 00002b7d: PUSH1 0x00 00002b7f: DUP1 00002b80: REVERT 00002b81: JUMPDEST 00002b82: POP 00002b83: CALLDATALOAD 00002b84: SWAP2 00002b85: SWAP1 00002b86: POP 00002b87: JUMP 00002b88: JUMPDEST 00002b89: PUSH1 0x00 00002b8b: DUP1 00002b8c: PUSH1 0x00 00002b8e: DUP1 00002b8f: PUSH1 0x80 00002b91: DUP6 00002b92: DUP8 00002b93: SUB 00002b94: SLT 00002b95: ISZERO 00002b96: PUSH2 0x2b9e 00002b99: JUMPI 00002b9a: PUSH1 0x00 00002b9c: DUP1 00002b9d: REVERT 00002b9e: JUMPDEST 00002b9f: DUP5 00002ba0: CALLDATALOAD 00002ba1: SWAP4 00002ba2: POP 00002ba3: PUSH1 0x20 00002ba5: DUP6 00002ba6: ADD 00002ba7: CALLDATALOAD 00002ba8: PUSH2 0x2bb0 00002bab: DUP2 00002bac: PUSH2 0x285e 00002baf: JUMP 00002bb0: JUMPDEST 00002bb1: SWAP3 00002bb2: POP 00002bb3: PUSH1 0x40 00002bb5: DUP6 00002bb6: ADD 00002bb7: CALLDATALOAD 00002bb8: SWAP2 00002bb9: POP 00002bba: PUSH1 0x60 00002bbc: DUP6 00002bbd: ADD 00002bbe: CALLDATALOAD 00002bbf: PUSH2 0x2bc7 00002bc2: DUP2 00002bc3: PUSH2 0x2a6b 00002bc6: JUMP 00002bc7: JUMPDEST 00002bc8: SWAP4 00002bc9: SWAP7 00002bca: SWAP3 00002bcb: SWAP6 00002bcc: POP 00002bcd: SWAP1 00002bce: SWAP4 00002bcf: POP 00002bd0: POP 00002bd1: JUMP 00002bd2: JUMPDEST 00002bd3: PUSH1 0x40 00002bd5: DUP2 00002bd6: MSTORE 00002bd7: PUSH1 0x00 00002bd9: PUSH2 0x2be5 00002bdc: PUSH1 0x40 00002bde: DUP4 00002bdf: ADD 00002be0: DUP6 00002be1: PUSH2 0x29f1 00002be4: JUMP 00002be5: JUMPDEST 00002be6: DUP3 00002be7: DUP2 00002be8: SUB 00002be9: PUSH1 0x20 00002beb: DUP5 00002bec: ADD 00002bed: MSTORE 00002bee: PUSH2 0x2bf7 00002bf1: DUP2 00002bf2: DUP6 00002bf3: PUSH2 0x29f1 00002bf6: JUMP 00002bf7: JUMPDEST 00002bf8: SWAP6 00002bf9: SWAP5 00002bfa: POP 00002bfb: POP 00002bfc: POP 00002bfd: POP 00002bfe: POP 00002bff: JUMP 00002c00: JUMPDEST 00002c01: PUSH1 0x60 00002c03: DUP2 00002c04: MSTORE 00002c05: PUSH1 0x00 00002c07: PUSH2 0x2c13 00002c0a: PUSH1 0x60 00002c0c: DUP4 00002c0d: ADD 00002c0e: DUP7 00002c0f: PUSH2 0x29f1 00002c12: JUMP 00002c13: JUMPDEST 00002c14: DUP5 00002c15: PUSH1 0x20 00002c17: DUP5 00002c18: ADD 00002c19: MSTORE 00002c1a: DUP3 00002c1b: DUP2 00002c1c: SUB 00002c1d: PUSH1 0x40 00002c1f: DUP5 00002c20: ADD 00002c21: MSTORE 00002c22: PUSH2 0x2c2b 00002c25: DUP2 00002c26: DUP6 00002c27: PUSH2 0x29f1 00002c2a: JUMP 00002c2b: JUMPDEST 00002c2c: SWAP7 00002c2d: SWAP6 00002c2e: POP 00002c2f: POP 00002c30: POP 00002c31: POP 00002c32: POP 00002c33: POP 00002c34: JUMP 00002c35: JUMPDEST 00002c36: PUSH1 0x00 00002c38: DUP1 00002c39: PUSH1 0x00 00002c3b: PUSH1 0x60 00002c3d: DUP5 00002c3e: DUP7 00002c3f: SUB 00002c40: SLT 00002c41: ISZERO 00002c42: PUSH2 0x2c4a 00002c45: JUMPI 00002c46: PUSH1 0x00 00002c48: DUP1 00002c49: REVERT 00002c4a: JUMPDEST 00002c4b: DUP4 00002c4c: MLOAD 00002c4d: SWAP3 00002c4e: POP 00002c4f: PUSH1 0x20 00002c51: DUP5 00002c52: ADD 00002c53: MLOAD 00002c54: SWAP2 00002c55: POP 00002c56: PUSH1 0x40 00002c58: DUP5 00002c59: ADD 00002c5a: MLOAD 00002c5b: PUSH2 0x2c63 00002c5e: DUP2 00002c5f: PUSH2 0x285e 00002c62: JUMP 00002c63: JUMPDEST 00002c64: DUP1 00002c65: SWAP2 00002c66: POP 00002c67: POP 00002c68: SWAP3 00002c69: POP 00002c6a: SWAP3 00002c6b: POP 00002c6c: SWAP3 00002c6d: JUMP 00002c6e: JUMPDEST 00002c6f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002c90: PUSH1 0x00 00002c92: MSTORE 00002c93: PUSH1 0x11 00002c95: PUSH1 0x04 00002c97: MSTORE 00002c98: PUSH1 0x24 00002c9a: PUSH1 0x00 00002c9c: REVERT 00002c9d: JUMPDEST 00002c9e: DUP2 00002c9f: DUP2 00002ca0: SUB 00002ca1: DUP2 00002ca2: DUP2 00002ca3: GT 00002ca4: ISZERO 00002ca5: PUSH2 0x062d 00002ca8: JUMPI 00002ca9: PUSH2 0x062d 00002cac: PUSH2 0x2c6e 00002caf: JUMP 00002cb0: JUMPDEST 00002cb1: PUSH1 0x00 00002cb3: DUP2 00002cb4: MLOAD 00002cb5: DUP1 00002cb6: DUP5 00002cb7: MSTORE 00002cb8: PUSH1 0x20 00002cba: DUP1 00002cbb: DUP6 00002cbc: ADD 00002cbd: SWAP5 00002cbe: POP 00002cbf: DUP1 00002cc0: DUP5 00002cc1: ADD 00002cc2: PUSH1 0x00 00002cc4: JUMPDEST 00002cc5: DUP4 00002cc6: DUP2 00002cc7: LT 00002cc8: ISZERO 00002cc9: PUSH2 0x2ce0 00002ccc: JUMPI 00002ccd: DUP2 00002cce: MLOAD 00002ccf: DUP8 00002cd0: MSTORE 00002cd1: SWAP6 00002cd2: DUP3 00002cd3: ADD 00002cd4: SWAP6 00002cd5: SWAP1 00002cd6: DUP3 00002cd7: ADD 00002cd8: SWAP1 00002cd9: PUSH1 0x01 00002cdb: ADD 00002cdc: PUSH2 0x2cc4 00002cdf: JUMP 00002ce0: JUMPDEST 00002ce1: POP 00002ce2: SWAP5 00002ce3: SWAP6 00002ce4: SWAP5 00002ce5: POP 00002ce6: POP 00002ce7: POP 00002ce8: POP 00002ce9: POP 00002cea: JUMP 00002ceb: JUMPDEST 00002cec: PUSH1 0x01 00002cee: PUSH1 0x01 00002cf0: PUSH1 0xa0 00002cf2: SHL 00002cf3: SUB 00002cf4: DUP5 00002cf5: AND 00002cf6: DUP2 00002cf7: MSTORE 00002cf8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002d19: DUP4 00002d1a: AND 00002d1b: PUSH1 0x20 00002d1d: DUP3 00002d1e: ADD 00002d1f: MSTORE 00002d20: PUSH1 0x60 00002d22: PUSH1 0x40 00002d24: DUP3 00002d25: ADD 00002d26: MSTORE 00002d27: PUSH1 0x00 00002d29: PUSH2 0x2bf7 00002d2c: PUSH1 0x60 00002d2e: DUP4 00002d2f: ADD 00002d30: DUP5 00002d31: PUSH2 0x2cb0 00002d34: JUMP 00002d35: JUMPDEST 00002d36: PUSH1 0x00 00002d38: PUSH1 0x20 00002d3a: DUP3 00002d3b: DUP5 00002d3c: SUB 00002d3d: SLT 00002d3e: ISZERO 00002d3f: PUSH2 0x2d47 00002d42: JUMPI 00002d43: PUSH1 0x00 00002d45: DUP1 00002d46: REVERT 00002d47: JUMPDEST 00002d48: DUP2 00002d49: MLOAD 00002d4a: PUSH2 0x1a23 00002d4d: DUP2 00002d4e: PUSH2 0x2a6b 00002d51: JUMP 00002d52: JUMPDEST 00002d53: PUSH1 0x00 00002d55: DUP3 00002d56: MLOAD 00002d57: PUSH2 0x2d64 00002d5a: DUP2 00002d5b: DUP5 00002d5c: PUSH1 0x20 00002d5e: DUP8 00002d5f: ADD 00002d60: PUSH2 0x29cd 00002d63: JUMP 00002d64: JUMPDEST 00002d65: SWAP2 00002d66: SWAP1 00002d67: SWAP2 00002d68: ADD 00002d69: SWAP3 00002d6a: SWAP2 00002d6b: POP 00002d6c: POP 00002d6d: JUMP 00002d6e: JUMPDEST 00002d6f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002d90: PUSH1 0x00 00002d92: MSTORE 00002d93: PUSH1 0x32 00002d95: PUSH1 0x04 00002d97: MSTORE 00002d98: PUSH1 0x24 00002d9a: PUSH1 0x00 00002d9c: REVERT 00002d9d: JUMPDEST 00002d9e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002dbf: PUSH1 0x00 00002dc1: MSTORE 00002dc2: PUSH1 0x12 00002dc4: PUSH1 0x04 00002dc6: MSTORE 00002dc7: PUSH1 0x24 00002dc9: PUSH1 0x00 00002dcb: REVERT 00002dcc: JUMPDEST 00002dcd: DUP1 00002dce: DUP3 00002dcf: ADD 00002dd0: DUP1 00002dd1: DUP3 00002dd2: GT 00002dd3: ISZERO 00002dd4: PUSH2 0x062d 00002dd7: JUMPI 00002dd8: PUSH2 0x062d 00002ddb: PUSH2 0x2c6e 00002dde: JUMP 00002ddf: JUMPDEST 00002de0: PUSH1 0x00 00002de2: PUSH1 0x01 00002de4: PUSH1 0x01 00002de6: PUSH1 0xa0 00002de8: SHL 00002de9: SUB 00002dea: DUP1 00002deb: DUP8 00002dec: AND 00002ded: DUP4 00002dee: MSTORE 00002def: DUP1 00002df0: DUP7 00002df1: AND 00002df2: PUSH1 0x20 00002df4: DUP5 00002df5: ADD 00002df6: MSTORE 00002df7: POP 00002df8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002e19: DUP5 00002e1a: AND 00002e1b: PUSH1 0x40 00002e1d: DUP4 00002e1e: ADD 00002e1f: MSTORE 00002e20: PUSH1 0x80 00002e22: PUSH1 0x60 00002e24: DUP4 00002e25: ADD 00002e26: MSTORE 00002e27: PUSH2 0x2c2b 00002e2a: PUSH1 0x80 00002e2c: DUP4 00002e2d: ADD 00002e2e: DUP5 00002e2f: PUSH2 0x2cb0 00002e32: JUMP 00002e33: INVALID 00002e34: LOG2 00002e35: PUSH5 0x6970667358 00002e3b: UNKNOWN(0x22) 00002e3c: SLT 00002e3d: KECCAK256 00002e3e: SWAP12 00002e3f: UNKNOWN(0x4F) 00002e40: PUSH25 0x62d8d21b15f64727175d6ed8e638503f7e72e1ea42e98c8465 00002e5a: SLOAD 00002e5b: MSIZE 00002e5c: UNKNOWN(0xB4) 00002e5d: UNKNOWN(0x24) 00002e5e: PUSH5 0x736f6c6343 00002e64: STOP 00002e65: ADDMOD 00002e66: GT 00002e67: STOP 00002e68: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xa6d80e8e9d4c8add83b6e4090c35acda83a0a779c9731c550060fc6a69bf3d5d
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0xa6d80e8e9d4c8add83b6e4090c35acda83a0a779c9731c550060fc6a69bf3d5d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xde0e9a3e",
"selector": "0xde0e9a3e",
"calldata_variants": [
"0xde0e9a3e",
"0xde0e9a3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea598cb0",
"selector": "0xea598cb0",
"calldata_variants": [
"0xea598cb0",
"0xea598cb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb056bbb",
"selector": "0xeb056bbb",
"calldata_variants": [
"0xeb056bbb",
"0xeb056bbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8fea2fb",
"selector": "0xc8fea2fb",
"calldata_variants": [
"0xc8fea2fb",
"0xc8fea2fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd09edf31",
"selector": "0xd09edf31",
"calldata_variants": [
"0xd09edf31",
"0xd09edf310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b103999",
"selector": "0x7b103999",
"calldata_variants": [
"0x7b103999",
"0x7b1039990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6618,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x01ca8d0c18c8e04e2b9dc91c0891a02202a0b9abb77b4dbb278e38bd7488a14a
call_targets:
0xd23ae48269ca7c2b9d486b814b683eeb0a615ec8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x01ca8d0c18c8e04e2b9dc91c0891a02202a0b9abb77b4dbb278e38bd7488a14a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd23ae48269ca7c2b9d486b814b683eeb0a615ec8"
],
"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": "0xde0e9a3e",
"selector": "0xde0e9a3e",
"calldata_variants": [
"0xde0e9a3e",
"0xde0e9a3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea598cb0",
"selector": "0xea598cb0",
"calldata_variants": [
"0xea598cb0",
"0xea598cb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb056bbb",
"selector": "0xeb056bbb",
"calldata_variants": [
"0xeb056bbb",
"0xeb056bbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8fea2fb",
"selector": "0xc8fea2fb",
"calldata_variants": [
"0xc8fea2fb",
"0xc8fea2fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd09edf31",
"selector": "0xd09edf31",
"calldata_variants": [
"0xd09edf31",
"0xd09edf310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b103999",
"selector": "0x7b103999",
"calldata_variants": [
"0x7b103999",
"0x7b1039990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4670,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5181,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x01ca8d0c18c8e04e2b9dc91c0891a02202a0b9abb77b4dbb278e38bd7488a14a
call_targets:
0xd23ae48269ca7c2b9d486b814b683eeb0a615ec8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x01ca8d0c18c8e04e2b9dc91c0891a02202a0b9abb77b4dbb278e38bd7488a14a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd23ae48269ca7c2b9d486b814b683eeb0a615ec8"
],
"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": "0xde0e9a3e",
"selector": "0xde0e9a3e",
"calldata_variants": [
"0xde0e9a3e",
"0xde0e9a3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea598cb0",
"selector": "0xea598cb0",
"calldata_variants": [
"0xea598cb0",
"0xea598cb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb056bbb",
"selector": "0xeb056bbb",
"calldata_variants": [
"0xeb056bbb",
"0xeb056bbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8fea2fb",
"selector": "0xc8fea2fb",
"calldata_variants": [
"0xc8fea2fb",
"0xc8fea2fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd09edf31",
"selector": "0xd09edf31",
"calldata_variants": [
"0xd09edf31",
"0xd09edf310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b103999",
"selector": "0x7b103999",
"calldata_variants": [
"0x7b103999",
"0x7b1039990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4670,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5181,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| 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
}
|