TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

3dbe34ca-84de-43a3-8ba8-921c748e83d9

failed
Chain ID
1
Address
Block Number
Created
Mon, Dec 29, 2025 5:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target reachable
crit 0 high 0 proxy context implementation known
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
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

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: yes
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
Reviewed the SmartVault implementation and related first-party helpers/interfaces in AUDIT_BUNDLE.txt; no exploitable vulnerabilities found in scope.
View stderr
[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":[]}
Metadata
{
    "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
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
10
EXT*/BALANCE
5
Total opcodes
5685
Flags
delegatecall_present heavy_ext_balance_usage
View cast disassembly output
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

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_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
view
trace_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
view
trace_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
view
evidence_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
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 5
}