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

Analysis Run

06935d5d-1e6e-40f1-a675-615781fd25a9

failed
Chain ID
1
Address
Block Number
Created
Tue, Dec 30, 2025 12:42 AM
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
Authorization based on tx.origin
crit 0 high 0 direct contract
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
30633 report.consolidate complete 1 / 1 3 months ago
74794 artifact.fetch failed 1 / 3 2 weeks ago
74795 tool.cast_disasm complete 1 / 3 2 weeks ago
74796 analysis.bundle complete 1 / 3 2 weeks ago
74797 capability.graph complete 1 / 3 2 weeks ago
74798 detector.run complete 1 / 3 2 weeks ago
74799 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
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
No exploitable issues found in the first-party scope (Chamber contracts); third-party dependencies were excluded per instructions.
View stderr
[codex:1021185] OpenAI Codex v0.77.0 (research preview)
[codex:1021185] --------
[codex:1021185] workdir: /tmp/codex-multi-2xuj_i3y
[codex:1021185] model: gpt-5.2-codex
[codex:1021185] provider: openai
[codex:1021185] approval: never
[codex:1021185] sandbox: read-only
[codex:1021185] reasoning effort: xhigh
[codex:1021185] reasoning summaries: auto
[codex:1021185] session id: 019b6cb0-21d1-7d71-afb9-38c07987c1a2
[codex:1021185] --------
[codex:1021185] user
[codex:1021185] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1021185] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1021185] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1021185] 
[codex:1021185] Scope rules:
[codex:1021185] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1021185] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1021185] 
[codex:1021185] Output MUST be valid JSON matching the provided schema.
[codex:1021185] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1021185] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1021185] 
[codex:1021185] Output constraints (IMPORTANT):
[codex:1021185] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1021185] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1021185] mcp startup: no servers
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Preparing to audit with skill usage**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc ls in /tmp/codex-multi-2xuj_i3y succeeded in 6ms:
[codex:1021185] AUDIT_BUNDLE.txt
[codex:1021185] codex-output-schema.json
[codex:1021185] contracts
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Reading AUDIT_BUNDLE.txt**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-2xuj_i3y succeeded in 6ms:
[codex:1021185] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1021185] 
[codex:1021185] ================================================================================
[codex:1021185] FILE: contracts/lib/chambers/src/Chamber.sol
[codex:1021185] ================================================================================
[codex:1021185] /**
[codex:1021185]  *     SPDX-License-Identifier: Apache License 2.0
[codex:1021185]  *
[codex:1021185]  *     Copyright 2018 Set Labs Inc.
[codex:1021185]  *     Copyright 2022 Smash Works Inc.
[codex:1021185]  *
[codex:1021185]  *     Licensed under the Apache License, Version 2.0 (the "License");
[codex:1021185]  *     you may not use this file except in compliance with the License.
[codex:1021185]  *     You may obtain a copy of the License at
[codex:1021185]  *
[codex:1021185]  *     http://www.apache.org/licenses/LICENSE-2.0
[codex:1021185]  *
[codex:1021185]  *     Unless required by applicable law or agreed to in writing, software
[codex:1021185]  *     distributed under the License is distributed on an "AS IS" BASIS,
[codex:1021185]  *     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Planning full audit bundle review**
[codex:1021185] 
[codex:1021185] I'm figuring out how to fully read the large AUDIT_BUNDLE.txt file since my current view is truncated. I'll read it in manageable chunks, about 200 lines at a time, using tools like `sed` and `rg` to identify file boundaries and ensure I capture all first-party contract contents outside third-party `lib/` and `@openzeppelin/` code. This way, I can follow the user's scope rules while verifying the full audit bundle properly.
[codex:1021185] exec
[codex:1021185] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-2xuj_i3y succeeded in 8ms:
[codex:1021185] contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/IERC20Permit.sol
[codex:1021185] contracts/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:1021185] contracts/lib/solmate/src/tokens/ERC20.sol
[codex:1021185] contracts/lib/chambers/src/interfaces/IChamberGod.sol
[codex:1021185] contracts/lib/chambers/src/interfaces/IChamber.sol
[codex:1021185] contracts/lib/chambers/src/Chamber.sol
[codex:1021185] contracts/lib/solmate/src/utils/ReentrancyGuard.sol
[codex:1021185] contracts/lib/chambers/src/lib/ArrayUtils.sol
[codex:1021185] contracts/lib/solmate/src/auth/Owned.sol
[codex:1021185] contracts/lib/chambers/src/lib/PreciseUnitMath.sol
[codex:1021185] contracts/lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol
[codex:1021185] contracts/lib/openzeppelin-contracts/contracts/utils/Address.sol
[codex:1021185] contracts/lib/openzeppelin-contracts/contracts/utils/structs/EnumerableSet.sol
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Clarifying first-party versus third-party code**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc 'wc -l AUDIT_BUNDLE.txt' in /tmp/codex-multi-2xuj_i3y succeeded in 5ms:
[codex:1021185] 2206 AUDIT_BUNDLE.txt
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Planning sequential file reads**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 6ms:
[codex:1021185] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1021185] 
[codex:1021185] ================================================================================
[codex:1021185] FILE: contracts/lib/chambers/src/Chamber.sol
[codex:1021185] ================================================================================
[codex:1021185] /**
[codex:1021185]  *     SPDX-License-Identifier: Apache License 2.0
[codex:1021185]  *
[codex:1021185]  *     Copyright 2018 Set Labs Inc.
[codex:1021185]  *     Copyright 2022 Smash Works Inc.
[codex:1021185]  *
[codex:1021185]  *     Licensed under the Apache License, Version 2.0 (the "License");
[codex:1021185]  *     you may not use this file except in compliance with the License.
[codex:1021185]  *     You may obtain a copy of the License at
[codex:1021185]  *
[codex:1021185]  *     http://www.apache.org/licenses/LICENSE-2.0
[codex:1021185]  *
[codex:1021185]  *     Unless required by applicable law or agreed to in writing, software
[codex:1021185]  *     distributed under the License is distributed on an "AS IS" BASIS,
[codex:1021185]  *     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Continuing content processing**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 5ms:
[codex:1021185]     function isWizard(address _wizard) public view returns (bool) {
[codex:1021185]         return wizards.contains(_wizard);
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * Checks if the address is a constituent of the Chamber
[codex:1021185]      *
[codex:1021185]      * @param _constituent The address of a constituent
[codex:1021185]      *
[codex:1021185]      * @return bool True/False if the address is a constituent or not
[codex:1021185]      */
[codex:1021185]     function isConstituent(address _constituent) public view returns (bool) {
[codex:1021185]         return constituents.contains(_constituent);
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * Allows the Owner to add a new manager to the Chamber
[codex:1021185]      *
[codex:1021185]      * @param _manager The address of the manager to add
[codex:1021185]      */
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Continuing with next segment**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '400,600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 5ms:
[codex:1021185]     function lockChamber() external onlyWizard nonReentrant {
[codex:1021185]         require(chamberLockState == ChamberState.UNLOCKED, "Chamber locked");
[codex:1021185]         chamberLockState = ChamberState.LOCKED;
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * Unlocks the chamber from potentially malicious outside calls of contracts
[codex:1021185]      * that were not created by arch-protocol
[codex:1021185]      */
[codex:1021185]     function unlockChamber() external onlyWizard nonReentrant {
[codex:1021185]         require(chamberLockState == ChamberState.LOCKED, "Chamber already unlocked");
[codex:1021185]         chamberLockState = ChamberState.UNLOCKED;
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * Allows a wizard to transfer an specific amount of constituent tokens
[codex:1021185]      * to a recipient
[codex:1021185]      *
[codex:1021185]      * @param _constituent   The address of the constituent
[codex:1021185]      * @param _recipient     The address of the recipient to transfer tokens to
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Continuing processing segments**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '600,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 5ms:
[codex:1021185]     event AllowedContractRemoved(address indexed _allowedContract);
[codex:1021185] 
[codex:1021185]     /*//////////////////////////////////////////////////////////////
[codex:1021185]                                CHAMBER MANAGEMENT
[codex:1021185]     //////////////////////////////////////////////////////////////*/
[codex:1021185] 
[codex:1021185]     function addConstituent(address _constituent) external;
[codex:1021185] 
[codex:1021185]     function removeConstituent(address _constituent) external;
[codex:1021185] 
[codex:1021185]     function isManager(address _manager) external view returns (bool);
[codex:1021185] 
[codex:1021185]     function isWizard(address _wizard) external view returns (bool);
[codex:1021185] 
[codex:1021185]     function isConstituent(address _constituent) external view returns (bool);
[codex:1021185] 
[codex:1021185]     function addManager(address _manager) external;
[codex:1021185] 
[codex:1021185]     function removeManager(address _manager) external;
[codex:1021185] 
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Continuing exploration**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '800,1000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 5ms:
[codex:1021185]  *    @@@@@#(((((((
[codex:1021185]  *    @@@@@(((((
[codex:1021185]  *      @@@((
[codex:1021185]  */
[codex:1021185] pragma solidity ^0.8.17.0;
[codex:1021185] 
[codex:1021185] library ArrayUtils {
[codex:1021185]     /**
[codex:1021185]      * Returns the index of the element 'a' in the _array provided. It also returns true if
[codex:1021185]      * the element was found, and false if not, as -1 is not a possible output.
[codex:1021185]      *
[codex:1021185]      * @param _array    Array to check
[codex:1021185]      * @param a         Element to check in array
[codex:1021185]      *
[codex:1021185]      * @return A tuple with the index of the element, and a bool
[codex:1021185]      */
[codex:1021185]     function indexOf(address[] memory _array, address a) internal pure returns (uint256, bool) {
[codex:1021185]         uint256 length = _array.length;
[codex:1021185]         for (uint256 i = 0; i < length; i++) {
[codex:1021185]             if (_array[i] == a) {
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Continuing process**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '1000,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 6ms:
[codex:1021185]         internal
[codex:1021185]         pure
[codex:1021185]         returns (uint256)
[codex:1021185]     {
[codex:1021185]         if (_a == 0 || _b == 0) {
[codex:1021185]             return 0;
[codex:1021185]         }
[codex:1021185]         uint256 preciseUnit = 10 ** _decimals;
[codex:1021185]         return (((_a * _b) - 1) / preciseUnit) + 1;
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * Divides value _a by value _b (result is rounded down). Value _a is scaled up to match value _b decimals.
[codex:1021185]      * The result can be interpreted as [wei].
[codex:1021185]      *
[codex:1021185]      * @param _a          Unsigned integer [wei]
[codex:1021185]      * @param _b          Unsigned integer [10e_decimals]
[codex:1021185]      * @param _decimals   Decimals of _b
[codex:1021185]      */
[codex:1021185]     function preciseDiv(uint256 _a, uint256 _b, uint256 _decimals)
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Continuing process**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '1200,1400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 5ms:
[codex:1021185] // SPDX-License-Identifier: MIT
[codex:1021185] // OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/utils/SafeERC20.sol)
[codex:1021185] 
[codex:1021185] pragma solidity ^0.8.0;
[codex:1021185] 
[codex:1021185] import "../IERC20.sol";
[codex:1021185] import "../extensions/IERC20Permit.sol";
[codex:1021185] import "../../../utils/Address.sol";
[codex:1021185] 
[codex:1021185] /**
[codex:1021185]  * @title SafeERC20
[codex:1021185]  * @dev Wrappers around ERC20 operations that throw on failure (when the token
[codex:1021185]  * contract returns false). Tokens that return no value (and instead revert or
[codex:1021185]  * throw on failure) are also supported, non-reverting calls are assumed to be
[codex:1021185]  * successful.
[codex:1021185]  * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
[codex:1021185]  * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
[codex:1021185]  */
[codex:1021185] library SafeERC20 {
[codex:1021185]     using Address for address;
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Continuing exploration**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '1400,1600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 6ms:
[codex:1021185]         string memory errorMessage
[codex:1021185]     ) internal returns (bytes memory) {
[codex:1021185]         return functionCallWithValue(target, data, 0, errorMessage);
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
[codex:1021185]      * but also transferring `value` wei to `target`.
[codex:1021185]      *
[codex:1021185]      * Requirements:
[codex:1021185]      *
[codex:1021185]      * - the calling contract must have an ETH balance of at least `value`.
[codex:1021185]      * - the called Solidity function must be `payable`.
[codex:1021185]      *
[codex:1021185]      * _Available since v3.1._
[codex:1021185]      */
[codex:1021185]     function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
[codex:1021185]         return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
[codex:1021185]     }
[codex:1021185] 
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Continuing exploration**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '1600,1800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 5ms:
[codex:1021185]         // Position of the value in the `values` array, plus 1 because index 0
[codex:1021185]         // means a value is not in the set.
[codex:1021185]         mapping(bytes32 => uint256) _indexes;
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * @dev Add a value to a set. O(1).
[codex:1021185]      *
[codex:1021185]      * Returns true if the value was added to the set, that is if it was not
[codex:1021185]      * already present.
[codex:1021185]      */
[codex:1021185]     function _add(Set storage set, bytes32 value) private returns (bool) {
[codex:1021185]         if (!_contains(set, value)) {
[codex:1021185]             set._values.push(value);
[codex:1021185]             // The value is stored at length-1, but we add 1 to all indexes
[codex:1021185]             // and use 0 as a sentinel value
[codex:1021185]             set._indexes[value] = set._values.length;
[codex:1021185]             return true;
[codex:1021185]         } else {
[codex:1021185]             return false;
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Continuing exploration**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '1800,2000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 6ms:
[codex:1021185]         return _remove(set._inner, bytes32(uint256(uint160(value))));
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * @dev Returns true if the value is in the set. O(1).
[codex:1021185]      */
[codex:1021185]     function contains(AddressSet storage set, address value) internal view returns (bool) {
[codex:1021185]         return _contains(set._inner, bytes32(uint256(uint160(value))));
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * @dev Returns the number of values in the set. O(1).
[codex:1021185]      */
[codex:1021185]     function length(AddressSet storage set) internal view returns (uint256) {
[codex:1021185]         return _length(set._inner);
[codex:1021185]     }
[codex:1021185] 
[codex:1021185]     /**
[codex:1021185]      * @dev Returns the value stored at position `index` in the set. O(1).
[codex:1021185]      *
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Finishing reading content**
[codex:1021185] exec
[codex:1021185] /bin/bash -lc "sed -n '2000,2206p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-2xuj_i3y succeeded in 6ms:
[codex:1021185] 
[codex:1021185]     uint8 public immutable decimals;
[codex:1021185] 
[codex:1021185]     /*//////////////////////////////////////////////////////////////
[codex:1021185]                               ERC20 STORAGE
[codex:1021185]     //////////////////////////////////////////////////////////////*/
[codex:1021185] 
[codex:1021185]     uint256 public totalSupply;
[codex:1021185] 
[codex:1021185]     mapping(address => uint256) public balanceOf;
[codex:1021185] 
[codex:1021185]     mapping(address => mapping(address => uint256)) public allowance;
[codex:1021185] 
[codex:1021185]     /*//////////////////////////////////////////////////////////////
[codex:1021185]                             EIP-2612 STORAGE
[codex:1021185]     //////////////////////////////////////////////////////////////*/
[codex:1021185] 
[codex:1021185]     uint256 internal immutable INITIAL_CHAIN_ID;
[codex:1021185] 
[codex:1021185]     bytes32 internal immutable INITIAL_DOMAIN_SEPARATOR;
[codex:1021185] 
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Evaluating security and logic in Chamber contract**
[codex:1021185] thinking
[codex:1021185] **Confirming lock and reentrancy logic gaps**
[codex:1021185] 
[codex:1021185] I'll explore how the chamberLockState and chambersNonReentrant interact, noting that lockChamber only pauses updateQuantities and leaves other functions unlocked—this suggests a potential gap between intended "pause" behavior and actual enforcement, but it may not be exploitable since privileged roles control sensitive functions.
[codex:1021185] exec
[codex:1021185] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-2xuj_i3y succeeded in 6ms:
[codex:1021185] {"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:1021185] 
[codex:1021185] 
[codex:1021185] thinking
[codex:1021185] **Assessing potential vulnerabilities and output format**
[codex:1021185] thinking
[codex:1021185] **Identifying lock mechanism gaps and finalizing output**
[codex:1021185] 
[codex:1021185] I'll note that the lockChamber function doesn't effectively restrict calls beyond updateQuantities, which may not match its intended behavior, but this likely isn't exploitable by arbitrary attackers since only wizards can call key functions. After thorough review, I’ll produce the JSON output indicating no findings with a clear summary to meet the required schema.
[codex:1021185] codex
[codex:1021185] {"no_findings":true,"summary":"No exploitable issues found in the first-party scope (Chamber contracts); third-party dependencies were excluded per instructions.","findings":[]}
[codex:1021185] tokens used
[codex:1021185] 55,723
[codex:1021185] {"no_findings":true,"summary":"No exploitable issues found in the first-party scope (Chamber contracts); third-party dependencies were excluded per instructions.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-30T00:42:16.161672+00:00",
        "returncode": 0
    },
    "summary": "No exploitable issues found in the first-party scope (Chamber contracts); third-party dependencies were excluded per instructions.",
    "raw_final": {
        "summary": "No exploitable issues found in the first-party scope (Chamber contracts); third-party dependencies were excluded per instructions.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
15
EXT*/BALANCE
1
Total opcodes
8003
Flags
create_opcodes_present call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x0253
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x792b1ed9
00000026: GT
00000027: PUSH2 0x0146
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xa9059cbb
00000031: GT
00000032: PUSH2 0x00c3
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd36fc0ff
0000003c: GT
0000003d: PUSH2 0x0087
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd36fc0ff
00000047: EQ
00000048: PUSH2 0x0544
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd505accf
00000052: EQ
00000053: PUSH2 0x054c
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x055f
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf2fde38b
00000068: EQ
00000069: PUSH2 0x058a
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xf3ae2415
00000073: EQ
00000074: PUSH2 0x059d
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0xf43b8555
0000007e: EQ
0000007f: PUSH2 0x05b0
00000082: JUMPI
00000083: PUSH1 0x00
00000085: DUP1
00000086: REVERT
00000087: JUMPDEST
00000088: DUP1
00000089: PUSH4 0xa9059cbb
0000008e: EQ
0000008f: PUSH2 0x04f0
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xac18de43
00000099: EQ
0000009a: PUSH2 0x0503
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xb94473ea
000000a4: EQ
000000a5: PUSH2 0x0516
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xc3b35a7e
000000af: EQ
000000b0: PUSH2 0x051e
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xc8f4feea
000000ba: EQ
000000bb: PUSH2 0x0531
000000be: JUMPI
000000bf: PUSH1 0x00
000000c1: DUP1
000000c2: REVERT
000000c3: JUMPDEST
000000c4: DUP1
000000c5: PUSH4 0x95d89b41
000000ca: GT
000000cb: PUSH2 0x010a
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x95d89b41
000000d5: EQ
000000d6: PUSH2 0x04a7
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x9800fc16
000000e0: EQ
000000e1: PUSH2 0x04af
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x9908c590
000000eb: EQ
000000ec: PUSH2 0x04c2
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x9dc29fac
000000f6: EQ
000000f7: PUSH2 0x04d5
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xa8d088bb
00000101: EQ
00000102: PUSH2 0x04e8
00000105: JUMPI
00000106: PUSH1 0x00
00000108: DUP1
00000109: REVERT
0000010a: JUMPDEST
0000010b: DUP1
0000010c: PUSH4 0x792b1ed9
00000111: EQ
00000112: PUSH2 0x0421
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0x7df21519
0000011c: EQ
0000011d: PUSH2 0x0436
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0x7ecebe00
00000127: EQ
00000128: PUSH2 0x0461
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0x8da5cb5b
00000132: EQ
00000133: PUSH2 0x0481
00000136: JUMPI
00000137: DUP1
00000138: PUSH4 0x95ad97fd
0000013d: EQ
0000013e: PUSH2 0x0494
00000141: JUMPI
00000142: PUSH1 0x00
00000144: DUP1
00000145: REVERT
00000146: JUMPDEST
00000147: DUP1
00000148: PUSH4 0x313ce567
0000014d: GT
0000014e: PUSH2 0x01d4
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0x4199459f
00000158: GT
00000159: PUSH2 0x0198
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0x4199459f
00000163: EQ
00000164: PUSH2 0x03b1
00000167: JUMPI
00000168: DUP1
00000169: PUSH4 0x538741c5
0000016e: EQ
0000016f: PUSH2 0x03d1
00000172: JUMPI
00000173: DUP1
00000174: PUSH4 0x585faa2d
00000179: EQ
0000017a: PUSH2 0x03e6
0000017d: JUMPI
0000017e: DUP1
0000017f: PUSH4 0x6a76d37b
00000184: EQ
00000185: PUSH2 0x03ee
00000188: JUMPI
00000189: DUP1
0000018a: PUSH4 0x70a08231
0000018f: EQ
00000190: PUSH2 0x0401
00000193: JUMPI
00000194: PUSH1 0x00
00000196: DUP1
00000197: REVERT
00000198: JUMPDEST
00000199: DUP1
0000019a: PUSH4 0x313ce567
0000019f: EQ
000001a0: PUSH2 0x0342
000001a3: JUMPI
000001a4: DUP1
000001a5: PUSH4 0x315749fb
000001aa: EQ
000001ab: PUSH2 0x037b
000001ae: JUMPI
000001af: DUP1
000001b0: PUSH4 0x3644e515
000001b5: EQ
000001b6: PUSH2 0x0383
000001b9: JUMPI
000001ba: DUP1
000001bb: PUSH4 0x37c1fe54
000001c0: EQ
000001c1: PUSH2 0x038b
000001c4: JUMPI
000001c5: DUP1
000001c6: PUSH4 0x40c10f19
000001cb: EQ
000001cc: PUSH2 0x039e
000001cf: JUMPI
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: DUP1
000001d6: PUSH4 0x23b872dd
000001db: GT
000001dc: PUSH2 0x021b
000001df: JUMPI
000001e0: DUP1
000001e1: PUSH4 0x23b872dd
000001e6: EQ
000001e7: PUSH2 0x02ee
000001ea: JUMPI
000001eb: DUP1
000001ec: PUSH4 0x24aa15d7
000001f1: EQ
000001f2: PUSH2 0x0301
000001f5: JUMPI
000001f6: DUP1
000001f7: PUSH4 0x2a286cdf
000001fc: EQ
000001fd: PUSH2 0x0309
00000200: JUMPI
00000201: DUP1
00000202: PUSH4 0x2c56462f
00000207: EQ
00000208: PUSH2 0x031c
0000020b: JUMPI
0000020c: DUP1
0000020d: PUSH4 0x2d06177a
00000212: EQ
00000213: PUSH2 0x032f
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: DUP1
0000021d: PUSH4 0x06fdde03
00000222: EQ
00000223: PUSH2 0x0258
00000226: JUMPI
00000227: DUP1
00000228: PUSH4 0x095ea7b3
0000022d: EQ
0000022e: PUSH2 0x0276
00000231: JUMPI
00000232: DUP1
00000233: PUSH4 0x12992809
00000238: EQ
00000239: PUSH2 0x0299
0000023c: JUMPI
0000023d: DUP1
0000023e: PUSH4 0x12ab980b
00000243: EQ
00000244: PUSH2 0x02d0
00000247: JUMPI
00000248: DUP1
00000249: PUSH4 0x18160ddd
0000024e: EQ
0000024f: PUSH2 0x02e5
00000252: JUMPI
00000253: JUMPDEST
00000254: PUSH1 0x00
00000256: DUP1
00000257: REVERT
00000258: JUMPDEST
00000259: PUSH2 0x0260
0000025c: PUSH2 0x05c3
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH1 0x40
00000263: MLOAD
00000264: PUSH2 0x026d
00000267: SWAP2
00000268: SWAP1
00000269: PUSH2 0x2c8b
0000026c: JUMP
0000026d: JUMPDEST
0000026e: PUSH1 0x40
00000270: MLOAD
00000271: DUP1
00000272: SWAP2
00000273: SUB
00000274: SWAP1
00000275: RETURN
00000276: JUMPDEST
00000277: PUSH2 0x0289
0000027a: PUSH2 0x0284
0000027d: CALLDATASIZE
0000027e: PUSH1 0x04
00000280: PUSH2 0x2ce6
00000283: JUMP
00000284: JUMPDEST
00000285: PUSH2 0x0651
00000288: JUMP
00000289: JUMPDEST
0000028a: PUSH1 0x40
0000028c: MLOAD
0000028d: SWAP1
0000028e: ISZERO
0000028f: ISZERO
00000290: DUP2
00000291: MSTORE
00000292: PUSH1 0x20
00000294: ADD
00000295: PUSH2 0x026d
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH2 0x02c2
0000029d: PUSH2 0x02a7
000002a0: CALLDATASIZE
000002a1: PUSH1 0x04
000002a3: PUSH2 0x2d12
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH1 0x01
000002aa: PUSH1 0x01
000002ac: PUSH1 0xa0
000002ae: SHL
000002af: SUB
000002b0: AND
000002b1: PUSH1 0x00
000002b3: SWAP1
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x0a
000002b8: PUSH1 0x20
000002ba: MSTORE
000002bb: PUSH1 0x40
000002bd: SWAP1
000002be: KECCAK256
000002bf: SLOAD
000002c0: SWAP1
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x40
000002c5: MLOAD
000002c6: SWAP1
000002c7: DUP2
000002c8: MSTORE
000002c9: PUSH1 0x20
000002cb: ADD
000002cc: PUSH2 0x026d
000002cf: JUMP
000002d0: JUMPDEST
000002d1: PUSH2 0x02e3
000002d4: PUSH2 0x02de
000002d7: CALLDATASIZE
000002d8: PUSH1 0x04
000002da: PUSH2 0x2d12
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH2 0x06be
000002e2: JUMP
000002e3: JUMPDEST
000002e4: STOP
000002e5: JUMPDEST
000002e6: PUSH2 0x02c2
000002e9: PUSH1 0x04
000002eb: SLOAD
000002ec: DUP2
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH2 0x0289
000002f2: PUSH2 0x02fc
000002f5: CALLDATASIZE
000002f6: PUSH1 0x04
000002f8: PUSH2 0x2d2f
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH2 0x07e9
00000300: JUMP
00000301: JUMPDEST
00000302: PUSH2 0x02e3
00000305: PUSH2 0x08c9
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH2 0x02e3
0000030d: PUSH2 0x0317
00000310: CALLDATASIZE
00000311: PUSH1 0x04
00000313: PUSH2 0x2d12
00000316: JUMP
00000317: JUMPDEST
00000318: PUSH2 0x0995
0000031b: JUMP
0000031c: JUMPDEST
0000031d: PUSH2 0x02e3
00000320: PUSH2 0x032a
00000323: CALLDATASIZE
00000324: PUSH1 0x04
00000326: PUSH2 0x2d12
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH2 0x0a72
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH2 0x02e3
00000333: PUSH2 0x033d
00000336: CALLDATASIZE
00000337: PUSH1 0x04
00000339: PUSH2 0x2d12
0000033c: JUMP
0000033d: JUMPDEST
0000033e: PUSH2 0x0c61
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH2 0x0369
00000346: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000012
00000367: DUP2
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH1 0x40
0000036c: MLOAD
0000036d: PUSH1 0xff
0000036f: SWAP1
00000370: SWAP2
00000371: AND
00000372: DUP2
00000373: MSTORE
00000374: PUSH1 0x20
00000376: ADD
00000377: PUSH2 0x026d
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH2 0x02e3
0000037f: PUSH2 0x0dd7
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH2 0x02c2
00000387: PUSH2 0x0e8e
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH2 0x02e3
0000038f: PUSH2 0x0399
00000392: CALLDATASIZE
00000393: PUSH1 0x04
00000395: PUSH2 0x2d12
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH2 0x0ee9
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH2 0x02e3
000003a2: PUSH2 0x03ac
000003a5: CALLDATASIZE
000003a6: PUSH1 0x04
000003a8: PUSH2 0x2ce6
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH2 0x1007
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH2 0x02c2
000003b5: PUSH2 0x03bf
000003b8: CALLDATASIZE
000003b9: PUSH1 0x04
000003bb: PUSH2 0x2d12
000003be: JUMP
000003bf: JUMPDEST
000003c0: PUSH1 0x0a
000003c2: PUSH1 0x20
000003c4: MSTORE
000003c5: PUSH1 0x00
000003c7: SWAP1
000003c8: DUP2
000003c9: MSTORE
000003ca: PUSH1 0x40
000003cc: SWAP1
000003cd: KECCAK256
000003ce: SLOAD
000003cf: DUP2
000003d0: JUMP
000003d1: JUMPDEST
000003d2: PUSH2 0x03d9
000003d5: PUSH2 0x1065
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH1 0x40
000003dc: MLOAD
000003dd: PUSH2 0x026d
000003e0: SWAP2
000003e1: SWAP1
000003e2: PUSH2 0x2d70
000003e5: JUMP
000003e6: JUMPDEST
000003e7: PUSH2 0x03d9
000003ea: PUSH2 0x1071
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH2 0x0289
000003f2: PUSH2 0x03fc
000003f5: CALLDATASIZE
000003f6: PUSH1 0x04
000003f8: PUSH2 0x2d12
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH2 0x10d3
00000400: JUMP
00000401: JUMPDEST
00000402: PUSH2 0x02c2
00000405: PUSH2 0x040f
00000408: CALLDATASIZE
00000409: PUSH1 0x04
0000040b: PUSH2 0x2d12
0000040e: JUMP
0000040f: JUMPDEST
00000410: PUSH1 0x05
00000412: PUSH1 0x20
00000414: MSTORE
00000415: PUSH1 0x00
00000417: SWAP1
00000418: DUP2
00000419: MSTORE
0000041a: PUSH1 0x40
0000041c: SWAP1
0000041d: KECCAK256
0000041e: SLOAD
0000041f: DUP2
00000420: JUMP
00000421: JUMPDEST
00000422: PUSH2 0x0429
00000425: PUSH2 0x1142
00000428: JUMP
00000429: JUMPDEST
0000042a: PUSH1 0x40
0000042c: MLOAD
0000042d: PUSH2 0x026d
00000430: SWAP2
00000431: SWAP1
00000432: PUSH2 0x2dbd
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH2 0x0449
0000043a: PUSH2 0x0444
0000043d: CALLDATASIZE
0000043e: PUSH1 0x04
00000440: PUSH2 0x2df5
00000443: JUMP
00000444: JUMPDEST
00000445: PUSH2 0x120f
00000448: JUMP
00000449: JUMPDEST
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: PUSH1 0x01
0000044f: PUSH1 0x01
00000451: PUSH1 0xa0
00000453: SHL
00000454: SUB
00000455: SWAP1
00000456: SWAP2
00000457: AND
00000458: DUP2
00000459: MSTORE
0000045a: PUSH1 0x20
0000045c: ADD
0000045d: PUSH2 0x026d
00000460: JUMP
00000461: JUMPDEST
00000462: PUSH2 0x02c2
00000465: PUSH2 0x046f
00000468: CALLDATASIZE
00000469: PUSH1 0x04
0000046b: PUSH2 0x2d12
0000046e: JUMP
0000046f: JUMPDEST
00000470: PUSH1 0x07
00000472: PUSH1 0x20
00000474: MSTORE
00000475: PUSH1 0x00
00000477: SWAP1
00000478: DUP2
00000479: MSTORE
0000047a: PUSH1 0x40
0000047c: SWAP1
0000047d: KECCAK256
0000047e: SLOAD
0000047f: DUP2
00000480: JUMP
00000481: JUMPDEST
00000482: PUSH1 0x00
00000484: SLOAD
00000485: PUSH2 0x0449
00000488: SWAP1
00000489: PUSH1 0x01
0000048b: PUSH1 0x01
0000048d: PUSH1 0xa0
0000048f: SHL
00000490: SUB
00000491: AND
00000492: DUP2
00000493: JUMP
00000494: JUMPDEST
00000495: PUSH2 0x0289
00000498: PUSH2 0x04a2
0000049b: CALLDATASIZE
0000049c: PUSH1 0x04
0000049e: PUSH2 0x2d12
000004a1: JUMP
000004a2: JUMPDEST
000004a3: PUSH2 0x1239
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH2 0x0260
000004ab: PUSH2 0x1246
000004ae: JUMP
000004af: JUMPDEST
000004b0: PUSH2 0x02e3
000004b3: PUSH2 0x04bd
000004b6: CALLDATASIZE
000004b7: PUSH1 0x04
000004b9: PUSH2 0x2d12
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH2 0x1253
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH2 0x02e3
000004c6: PUSH2 0x04d0
000004c9: CALLDATASIZE
000004ca: PUSH1 0x04
000004cc: PUSH2 0x2d12
000004cf: JUMP
000004d0: JUMPDEST
000004d1: PUSH2 0x1376
000004d4: JUMP
000004d5: JUMPDEST
000004d6: PUSH2 0x02e3
000004d9: PUSH2 0x04e3
000004dc: CALLDATASIZE
000004dd: PUSH1 0x04
000004df: PUSH2 0x2ce6
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH2 0x1563
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH2 0x03d9
000004ec: PUSH2 0x15b9
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH2 0x0289
000004f4: PUSH2 0x04fe
000004f7: CALLDATASIZE
000004f8: PUSH1 0x04
000004fa: PUSH2 0x2ce6
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH2 0x15c5
00000502: JUMP
00000503: JUMPDEST
00000504: PUSH2 0x02e3
00000507: PUSH2 0x0511
0000050a: CALLDATASIZE
0000050b: PUSH1 0x04
0000050d: PUSH2 0x2d12
00000510: JUMP
00000511: JUMPDEST
00000512: PUSH2 0x162b
00000515: JUMP
00000516: JUMPDEST
00000517: PUSH2 0x03d9
0000051a: PUSH2 0x174b
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH2 0x02e3
00000522: PUSH2 0x052c
00000525: CALLDATASIZE
00000526: PUSH1 0x04
00000528: PUSH2 0x2d2f
0000052b: JUMP
0000052c: JUMPDEST
0000052d: PUSH2 0x1757
00000530: JUMP
00000531: JUMPDEST
00000532: PUSH2 0x02c2
00000535: PUSH2 0x053f
00000538: CALLDATASIZE
00000539: PUSH1 0x04
0000053b: PUSH2 0x2e24
0000053e: JUMP
0000053f: JUMPDEST
00000540: PUSH2 0x1916
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH2 0x02e3
00000548: PUSH2 0x1c7c
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH2 0x02e3
00000550: PUSH2 0x055a
00000553: CALLDATASIZE
00000554: PUSH1 0x04
00000556: PUSH2 0x2f2f
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH2 0x1e9e
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH2 0x02c2
00000563: PUSH2 0x056d
00000566: CALLDATASIZE
00000567: PUSH1 0x04
00000569: PUSH2 0x2fa6
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH1 0x06
00000570: PUSH1 0x20
00000572: SWAP1
00000573: DUP2
00000574: MSTORE
00000575: PUSH1 0x00
00000577: SWAP3
00000578: DUP4
00000579: MSTORE
0000057a: PUSH1 0x40
0000057c: DUP1
0000057d: DUP5
0000057e: KECCAK256
0000057f: SWAP1
00000580: SWAP2
00000581: MSTORE
00000582: SWAP1
00000583: DUP3
00000584: MSTORE
00000585: SWAP1
00000586: KECCAK256
00000587: SLOAD
00000588: DUP2
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH2 0x02e3
0000058e: PUSH2 0x0598
00000591: CALLDATASIZE
00000592: PUSH1 0x04
00000594: PUSH2 0x2d12
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH2 0x20e2
0000059c: JUMP
0000059d: JUMPDEST
0000059e: PUSH2 0x0289
000005a1: PUSH2 0x05ab
000005a4: CALLDATASIZE
000005a5: PUSH1 0x04
000005a7: PUSH2 0x2d12
000005aa: JUMP
000005ab: JUMPDEST
000005ac: PUSH2 0x2157
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH2 0x0289
000005b4: PUSH2 0x05be
000005b7: CALLDATASIZE
000005b8: PUSH1 0x04
000005ba: PUSH2 0x2d12
000005bd: JUMP
000005be: JUMPDEST
000005bf: PUSH2 0x2164
000005c2: JUMP
000005c3: JUMPDEST
000005c4: PUSH1 0x02
000005c6: DUP1
000005c7: SLOAD
000005c8: PUSH2 0x05d0
000005cb: SWAP1
000005cc: PUSH2 0x2fdf
000005cf: JUMP
000005d0: JUMPDEST
000005d1: DUP1
000005d2: PUSH1 0x1f
000005d4: ADD
000005d5: PUSH1 0x20
000005d7: DUP1
000005d8: SWAP2
000005d9: DIV
000005da: MUL
000005db: PUSH1 0x20
000005dd: ADD
000005de: PUSH1 0x40
000005e0: MLOAD
000005e1: SWAP1
000005e2: DUP2
000005e3: ADD
000005e4: PUSH1 0x40
000005e6: MSTORE
000005e7: DUP1
000005e8: SWAP3
000005e9: SWAP2
000005ea: SWAP1
000005eb: DUP2
000005ec: DUP2
000005ed: MSTORE
000005ee: PUSH1 0x20
000005f0: ADD
000005f1: DUP3
000005f2: DUP1
000005f3: SLOAD
000005f4: PUSH2 0x05fc
000005f7: SWAP1
000005f8: PUSH2 0x2fdf
000005fb: JUMP
000005fc: JUMPDEST
000005fd: DUP1
000005fe: ISZERO
000005ff: PUSH2 0x0649
00000602: JUMPI
00000603: DUP1
00000604: PUSH1 0x1f
00000606: LT
00000607: PUSH2 0x061e
0000060a: JUMPI
0000060b: PUSH2 0x0100
0000060e: DUP1
0000060f: DUP4
00000610: SLOAD
00000611: DIV
00000612: MUL
00000613: DUP4
00000614: MSTORE
00000615: SWAP2
00000616: PUSH1 0x20
00000618: ADD
00000619: SWAP2
0000061a: PUSH2 0x0649
0000061d: JUMP
0000061e: JUMPDEST
0000061f: DUP3
00000620: ADD
00000621: SWAP2
00000622: SWAP1
00000623: PUSH1 0x00
00000625: MSTORE
00000626: PUSH1 0x20
00000628: PUSH1 0x00
0000062a: KECCAK256
0000062b: SWAP1
0000062c: JUMPDEST
0000062d: DUP2
0000062e: SLOAD
0000062f: DUP2
00000630: MSTORE
00000631: SWAP1
00000632: PUSH1 0x01
00000634: ADD
00000635: SWAP1
00000636: PUSH1 0x20
00000638: ADD
00000639: DUP1
0000063a: DUP4
0000063b: GT
0000063c: PUSH2 0x062c
0000063f: JUMPI
00000640: DUP3
00000641: SWAP1
00000642: SUB
00000643: PUSH1 0x1f
00000645: AND
00000646: DUP3
00000647: ADD
00000648: SWAP2
00000649: JUMPDEST
0000064a: POP
0000064b: POP
0000064c: POP
0000064d: POP
0000064e: POP
0000064f: DUP2
00000650: JUMP
00000651: JUMPDEST
00000652: CALLER
00000653: PUSH1 0x00
00000655: DUP2
00000656: DUP2
00000657: MSTORE
00000658: PUSH1 0x06
0000065a: PUSH1 0x20
0000065c: SWAP1
0000065d: DUP2
0000065e: MSTORE
0000065f: PUSH1 0x40
00000661: DUP1
00000662: DUP4
00000663: KECCAK256
00000664: PUSH1 0x01
00000666: PUSH1 0x01
00000668: PUSH1 0xa0
0000066a: SHL
0000066b: SUB
0000066c: DUP8
0000066d: AND
0000066e: DUP1
0000066f: DUP6
00000670: MSTORE
00000671: SWAP3
00000672: MSTORE
00000673: DUP1
00000674: DUP4
00000675: KECCAK256
00000676: DUP6
00000677: SWAP1
00000678: SSTORE
00000679: MLOAD
0000067a: SWAP2
0000067b: SWAP3
0000067c: SWAP1
0000067d: SWAP2
0000067e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000069f: SWAP1
000006a0: PUSH2 0x06ac
000006a3: SWAP1
000006a4: DUP7
000006a5: DUP2
000006a6: MSTORE
000006a7: PUSH1 0x20
000006a9: ADD
000006aa: SWAP1
000006ab: JUMP
000006ac: JUMPDEST
000006ad: PUSH1 0x40
000006af: MLOAD
000006b0: DUP1
000006b1: SWAP2
000006b2: SUB
000006b3: SWAP1
000006b4: LOG3
000006b5: POP
000006b6: PUSH1 0x01
000006b8: JUMPDEST
000006b9: SWAP3
000006ba: SWAP2
000006bb: POP
000006bc: POP
000006bd: JUMP
000006be: JUMPDEST
000006bf: PUSH2 0x06c7
000006c2: CALLER
000006c3: PUSH2 0x2157
000006c6: JUMP
000006c7: JUMPDEST
000006c8: PUSH2 0x06ec
000006cb: JUMPI
000006cc: PUSH1 0x40
000006ce: MLOAD
000006cf: PUSH3 0x461bcd
000006d3: PUSH1 0xe5
000006d5: SHL
000006d6: DUP2
000006d7: MSTORE
000006d8: PUSH1 0x04
000006da: ADD
000006db: PUSH2 0x06e3
000006de: SWAP1
000006df: PUSH2 0x3013
000006e2: JUMP
000006e3: JUMPDEST
000006e4: PUSH1 0x40
000006e6: MLOAD
000006e7: DUP1
000006e8: SWAP2
000006e9: SUB
000006ea: SWAP1
000006eb: REVERT
000006ec: JUMPDEST
000006ed: PUSH1 0x01
000006ef: SLOAD
000006f0: PUSH1 0x01
000006f2: EQ
000006f3: PUSH2 0x070e
000006f6: JUMPI
000006f7: PUSH1 0x40
000006f9: MLOAD
000006fa: PUSH3 0x461bcd
000006fe: PUSH1 0xe5
00000700: SHL
00000701: DUP2
00000702: MSTORE
00000703: PUSH1 0x04
00000705: ADD
00000706: PUSH2 0x06e3
00000709: SWAP1
0000070a: PUSH2 0x303c
0000070d: JUMP
0000070e: JUMPDEST
0000070f: PUSH1 0x02
00000711: PUSH1 0x01
00000713: SSTORE
00000714: PUSH2 0x071c
00000717: DUP2
00000718: PUSH2 0x1239
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH2 0x0760
00000720: JUMPI
00000721: PUSH1 0x40
00000723: MLOAD
00000724: PUSH3 0x461bcd
00000728: PUSH1 0xe5
0000072a: SHL
0000072b: DUP2
0000072c: MSTORE
0000072d: PUSH1 0x20
0000072f: PUSH1 0x04
00000731: DUP3
00000732: ADD
00000733: MSTORE
00000734: PUSH1 0x15
00000736: PUSH1 0x24
00000738: DUP3
00000739: ADD
0000073a: MSTORE
0000073b: PUSH21 0x2bb4bd30b932103737ba1034b71031b430b6b132b9
00000751: PUSH1 0x59
00000753: SHL
00000754: PUSH1 0x44
00000756: DUP3
00000757: ADD
00000758: MSTORE
00000759: PUSH1 0x64
0000075b: ADD
0000075c: PUSH2 0x06e3
0000075f: JUMP
00000760: JUMPDEST
00000761: PUSH2 0x076b
00000764: PUSH1 0x0b
00000766: DUP3
00000767: PUSH2 0x218d
0000076a: JUMP
0000076b: JUMPDEST
0000076c: PUSH2 0x07ae
0000076f: JUMPI
00000770: PUSH1 0x40
00000772: MLOAD
00000773: PUSH3 0x461bcd
00000777: PUSH1 0xe5
00000779: SHL
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH1 0x20
0000077e: PUSH1 0x04
00000780: DUP3
00000781: ADD
00000782: MSTORE
00000783: PUSH1 0x14
00000785: PUSH1 0x24
00000787: DUP3
00000788: ADD
00000789: MSTORE
0000078a: PUSH20 0x10d85b9b9bdd081c995b5bdd99481dda5e985c99
0000079f: PUSH1 0x62
000007a1: SHL
000007a2: PUSH1 0x44
000007a4: DUP3
000007a5: ADD
000007a6: MSTORE
000007a7: PUSH1 0x64
000007a9: ADD
000007aa: PUSH2 0x06e3
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH1 0x40
000007b1: MLOAD
000007b2: PUSH1 0x01
000007b4: PUSH1 0x01
000007b6: PUSH1 0xa0
000007b8: SHL
000007b9: SUB
000007ba: DUP3
000007bb: AND
000007bc: SWAP1
000007bd: PUSH32 0x35014a11db7bdb4adb31405c5c7646a3a45bb66c22b5528b37645f2bcb88bea9
000007de: SWAP1
000007df: PUSH1 0x00
000007e1: SWAP1
000007e2: LOG2
000007e3: POP
000007e4: PUSH1 0x01
000007e6: DUP1
000007e7: SSTORE
000007e8: JUMP
000007e9: JUMPDEST
000007ea: PUSH1 0x01
000007ec: PUSH1 0x01
000007ee: PUSH1 0xa0
000007f0: SHL
000007f1: SUB
000007f2: DUP4
000007f3: AND
000007f4: PUSH1 0x00
000007f6: SWAP1
000007f7: DUP2
000007f8: MSTORE
000007f9: PUSH1 0x06
000007fb: PUSH1 0x20
000007fd: SWAP1
000007fe: DUP2
000007ff: MSTORE
00000800: PUSH1 0x40
00000802: DUP1
00000803: DUP4
00000804: KECCAK256
00000805: CALLER
00000806: DUP5
00000807: MSTORE
00000808: SWAP1
00000809: SWAP2
0000080a: MSTORE
0000080b: DUP2
0000080c: KECCAK256
0000080d: SLOAD
0000080e: PUSH1 0x00
00000810: NOT
00000811: DUP2
00000812: EQ
00000813: PUSH2 0x0845
00000816: JUMPI
00000817: PUSH2 0x0820
0000081a: DUP4
0000081b: DUP3
0000081c: PUSH2 0x3076
0000081f: JUMP
00000820: JUMPDEST
00000821: PUSH1 0x01
00000823: PUSH1 0x01
00000825: PUSH1 0xa0
00000827: SHL
00000828: SUB
00000829: DUP7
0000082a: AND
0000082b: PUSH1 0x00
0000082d: SWAP1
0000082e: DUP2
0000082f: MSTORE
00000830: PUSH1 0x06
00000832: PUSH1 0x20
00000834: SWAP1
00000835: DUP2
00000836: MSTORE
00000837: PUSH1 0x40
00000839: DUP1
0000083a: DUP4
0000083b: KECCAK256
0000083c: CALLER
0000083d: DUP5
0000083e: MSTORE
0000083f: SWAP1
00000840: SWAP2
00000841: MSTORE
00000842: SWAP1
00000843: KECCAK256
00000844: SSTORE
00000845: JUMPDEST
00000846: PUSH1 0x01
00000848: PUSH1 0x01
0000084a: PUSH1 0xa0
0000084c: SHL
0000084d: SUB
0000084e: DUP6
0000084f: AND
00000850: PUSH1 0x00
00000852: SWAP1
00000853: DUP2
00000854: MSTORE
00000855: PUSH1 0x05
00000857: PUSH1 0x20
00000859: MSTORE
0000085a: PUSH1 0x40
0000085c: DUP2
0000085d: KECCAK256
0000085e: DUP1
0000085f: SLOAD
00000860: DUP6
00000861: SWAP3
00000862: SWAP1
00000863: PUSH2 0x086d
00000866: SWAP1
00000867: DUP5
00000868: SWAP1
00000869: PUSH2 0x3076
0000086c: JUMP
0000086d: JUMPDEST
0000086e: SWAP1
0000086f: SWAP2
00000870: SSTORE
00000871: POP
00000872: POP
00000873: PUSH1 0x01
00000875: PUSH1 0x01
00000877: PUSH1 0xa0
00000879: SHL
0000087a: SUB
0000087b: DUP1
0000087c: DUP6
0000087d: AND
0000087e: PUSH1 0x00
00000880: DUP2
00000881: DUP2
00000882: MSTORE
00000883: PUSH1 0x05
00000885: PUSH1 0x20
00000887: MSTORE
00000888: PUSH1 0x40
0000088a: SWAP1
0000088b: DUP2
0000088c: SWAP1
0000088d: KECCAK256
0000088e: DUP1
0000088f: SLOAD
00000890: DUP8
00000891: ADD
00000892: SWAP1
00000893: SSTORE
00000894: MLOAD
00000895: SWAP1
00000896: SWAP2
00000897: DUP8
00000898: AND
00000899: SWAP1
0000089a: PUSH1 0x00
0000089c: DUP1
0000089d: MLOAD
0000089e: PUSH1 0x20
000008a0: PUSH2 0x3367
000008a3: DUP4
000008a4: CODECOPY
000008a5: DUP2
000008a6: MLOAD
000008a7: SWAP2
000008a8: MSTORE
000008a9: SWAP1
000008aa: PUSH2 0x08b6
000008ad: SWAP1
000008ae: DUP8
000008af: DUP2
000008b0: MSTORE
000008b1: PUSH1 0x20
000008b3: ADD
000008b4: SWAP1
000008b5: JUMP
000008b6: JUMPDEST
000008b7: PUSH1 0x40
000008b9: MLOAD
000008ba: DUP1
000008bb: SWAP2
000008bc: SUB
000008bd: SWAP1
000008be: LOG3
000008bf: POP
000008c0: PUSH1 0x01
000008c2: SWAP5
000008c3: SWAP4
000008c4: POP
000008c5: POP
000008c6: POP
000008c7: POP
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH2 0x08d2
000008cd: CALLER
000008ce: PUSH2 0x1239
000008d1: JUMP
000008d2: JUMPDEST
000008d3: PUSH2 0x08ee
000008d6: JUMPI
000008d7: PUSH1 0x40
000008d9: MLOAD
000008da: PUSH3 0x461bcd
000008de: PUSH1 0xe5
000008e0: SHL
000008e1: DUP2
000008e2: MSTORE
000008e3: PUSH1 0x04
000008e5: ADD
000008e6: PUSH2 0x06e3
000008e9: SWAP1
000008ea: PUSH2 0x3089
000008ed: JUMP
000008ee: JUMPDEST
000008ef: PUSH1 0x01
000008f1: SLOAD
000008f2: PUSH1 0x01
000008f4: EQ
000008f5: PUSH2 0x0910
000008f8: JUMPI
000008f9: PUSH1 0x40
000008fb: MLOAD
000008fc: PUSH3 0x461bcd
00000900: PUSH1 0xe5
00000902: SHL
00000903: DUP2
00000904: MSTORE
00000905: PUSH1 0x04
00000907: ADD
00000908: PUSH2 0x06e3
0000090b: SWAP1
0000090c: PUSH2 0x303c
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH1 0x02
00000913: PUSH1 0x01
00000915: SSTORE
00000916: PUSH1 0x00
00000918: PUSH1 0x11
0000091a: SLOAD
0000091b: PUSH1 0xff
0000091d: AND
0000091e: PUSH1 0x01
00000920: DUP2
00000921: GT
00000922: ISZERO
00000923: PUSH2 0x092e
00000926: JUMPI
00000927: PUSH2 0x092e
0000092a: PUSH2 0x30b3
0000092d: JUMP
0000092e: JUMPDEST
0000092f: EQ
00000930: PUSH2 0x097b
00000933: JUMPI
00000934: PUSH1 0x40
00000936: MLOAD
00000937: PUSH3 0x461bcd
0000093b: PUSH1 0xe5
0000093d: SHL
0000093e: DUP2
0000093f: MSTORE
00000940: PUSH1 0x20
00000942: PUSH1 0x04
00000944: DUP3
00000945: ADD
00000946: MSTORE
00000947: PUSH1 0x18
00000949: PUSH1 0x24
0000094b: DUP3
0000094c: ADD
0000094d: MSTORE
0000094e: PUSH32 0x4368616d62657220616c726561647920756e6c6f636b65640000000000000000
0000096f: PUSH1 0x44
00000971: DUP3
00000972: ADD
00000973: MSTORE
00000974: PUSH1 0x64
00000976: ADD
00000977: PUSH2 0x06e3
0000097a: JUMP
0000097b: JUMPDEST
0000097c: PUSH1 0x11
0000097e: DUP1
0000097f: SLOAD
00000980: PUSH1 0x01
00000982: SWAP2
00000983: SWAP1
00000984: PUSH1 0xff
00000986: NOT
00000987: AND
00000988: DUP3
00000989: DUP1
0000098a: JUMPDEST
0000098b: MUL
0000098c: OR
0000098d: SWAP1
0000098e: SSTORE
0000098f: POP
00000990: PUSH1 0x01
00000992: DUP1
00000993: SSTORE
00000994: JUMP
00000995: JUMPDEST
00000996: PUSH2 0x099e
00000999: CALLER
0000099a: PUSH2 0x1239
0000099d: JUMP
0000099e: JUMPDEST
0000099f: PUSH2 0x09ba
000009a2: JUMPI
000009a3: PUSH1 0x40
000009a5: MLOAD
000009a6: PUSH3 0x461bcd
000009aa: PUSH1 0xe5
000009ac: SHL
000009ad: DUP2
000009ae: MSTORE
000009af: PUSH1 0x04
000009b1: ADD
000009b2: PUSH2 0x06e3
000009b5: SWAP1
000009b6: PUSH2 0x3089
000009b9: JUMP
000009ba: JUMPDEST
000009bb: PUSH1 0x01
000009bd: SLOAD
000009be: PUSH1 0x01
000009c0: EQ
000009c1: PUSH2 0x09dc
000009c4: JUMPI
000009c5: PUSH1 0x40
000009c7: MLOAD
000009c8: PUSH3 0x461bcd
000009cc: PUSH1 0xe5
000009ce: SHL
000009cf: DUP2
000009d0: MSTORE
000009d1: PUSH1 0x04
000009d3: ADD
000009d4: PUSH2 0x06e3
000009d7: SWAP1
000009d8: PUSH2 0x303c
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x02
000009df: PUSH1 0x01
000009e1: SSTORE
000009e2: PUSH2 0x09ea
000009e5: DUP2
000009e6: PUSH2 0x10d3
000009e9: JUMP
000009ea: JUMPDEST
000009eb: PUSH2 0x0a2c
000009ee: JUMPI
000009ef: PUSH1 0x40
000009f1: MLOAD
000009f2: PUSH3 0x461bcd
000009f6: PUSH1 0xe5
000009f8: SHL
000009f9: DUP2
000009fa: MSTORE
000009fb: PUSH1 0x20
000009fd: PUSH1 0x04
000009ff: DUP3
00000a00: ADD
00000a01: MSTORE
00000a02: PUSH1 0x13
00000a04: PUSH1 0x24
00000a06: DUP3
00000a07: ADD
00000a08: MSTORE
00000a09: PUSH19 0x135d5cdd0818994818dbdb9cdd1a5d1d595b9d
00000a1d: PUSH1 0x6a
00000a1f: SHL
00000a20: PUSH1 0x44
00000a22: DUP3
00000a23: ADD
00000a24: MSTORE
00000a25: PUSH1 0x64
00000a27: ADD
00000a28: PUSH2 0x06e3
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: PUSH2 0x0a37
00000a30: PUSH1 0x09
00000a32: DUP3
00000a33: PUSH2 0x21a2
00000a36: JUMP
00000a37: JUMPDEST
00000a38: PUSH1 0x40
00000a3a: MLOAD
00000a3b: PUSH1 0x01
00000a3d: PUSH1 0x01
00000a3f: PUSH1 0xa0
00000a41: SHL
00000a42: SUB
00000a43: DUP3
00000a44: AND
00000a45: SWAP1
00000a46: PUSH32 0x7146b276c069596d9ba13f415f0815827f3f72bc58a5e7456f2f375535cd21f3
00000a67: SWAP1
00000a68: PUSH1 0x00
00000a6a: SWAP1
00000a6b: LOG2
00000a6c: POP
00000a6d: PUSH1 0x01
00000a6f: DUP1
00000a70: SSTORE
00000a71: JUMP
00000a72: JUMPDEST
00000a73: PUSH2 0x0a7b
00000a76: CALLER
00000a77: PUSH2 0x2157
00000a7a: JUMP
00000a7b: JUMPDEST
00000a7c: PUSH2 0x0a97
00000a7f: JUMPI
00000a80: PUSH1 0x40
00000a82: MLOAD
00000a83: PUSH3 0x461bcd
00000a87: PUSH1 0xe5
00000a89: SHL
00000a8a: DUP2
00000a8b: MSTORE
00000a8c: PUSH1 0x04
00000a8e: ADD
00000a8f: PUSH2 0x06e3
00000a92: SWAP1
00000a93: PUSH2 0x3013
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH1 0x01
00000a9a: SLOAD
00000a9b: PUSH1 0x01
00000a9d: EQ
00000a9e: PUSH2 0x0ab9
00000aa1: JUMPI
00000aa2: PUSH1 0x40
00000aa4: MLOAD
00000aa5: PUSH3 0x461bcd
00000aa9: PUSH1 0xe5
00000aab: SHL
00000aac: DUP2
00000aad: MSTORE
00000aae: PUSH1 0x04
00000ab0: ADD
00000ab1: PUSH2 0x06e3
00000ab4: SWAP1
00000ab5: PUSH2 0x303c
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: PUSH1 0x02
00000abc: PUSH1 0x01
00000abe: SSTORE
00000abf: PUSH1 0x08
00000ac1: SLOAD
00000ac2: PUSH1 0x40
00000ac4: MLOAD
00000ac5: PUSH4 0xf43b8555
00000aca: PUSH1 0xe0
00000acc: SHL
00000acd: DUP2
00000ace: MSTORE
00000acf: PUSH1 0x01
00000ad1: PUSH1 0x01
00000ad3: PUSH1 0xa0
00000ad5: SHL
00000ad6: SUB
00000ad7: DUP4
00000ad8: DUP2
00000ad9: AND
00000ada: PUSH1 0x04
00000adc: DUP4
00000add: ADD
00000ade: MSTORE
00000adf: SWAP1
00000ae0: SWAP2
00000ae1: AND
00000ae2: SWAP1
00000ae3: PUSH4 0xf43b8555
00000ae8: SWAP1
00000ae9: PUSH1 0x24
00000aeb: ADD
00000aec: PUSH1 0x20
00000aee: PUSH1 0x40
00000af0: MLOAD
00000af1: DUP1
00000af2: DUP4
00000af3: SUB
00000af4: DUP2
00000af5: DUP7
00000af6: GAS
00000af7: STATICCALL
00000af8: ISZERO
00000af9: DUP1
00000afa: ISZERO
00000afb: PUSH2 0x0b08
00000afe: JUMPI
00000aff: RETURNDATASIZE
00000b00: PUSH1 0x00
00000b02: DUP1
00000b03: RETURNDATACOPY
00000b04: RETURNDATASIZE
00000b05: PUSH1 0x00
00000b07: REVERT
00000b08: JUMPDEST
00000b09: POP
00000b0a: POP
00000b0b: POP
00000b0c: POP
00000b0d: PUSH1 0x40
00000b0f: MLOAD
00000b10: RETURNDATASIZE
00000b11: PUSH1 0x1f
00000b13: NOT
00000b14: PUSH1 0x1f
00000b16: DUP3
00000b17: ADD
00000b18: AND
00000b19: DUP3
00000b1a: ADD
00000b1b: DUP1
00000b1c: PUSH1 0x40
00000b1e: MSTORE
00000b1f: POP
00000b20: DUP2
00000b21: ADD
00000b22: SWAP1
00000b23: PUSH2 0x0b2c
00000b26: SWAP2
00000b27: SWAP1
00000b28: PUSH2 0x30c9
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: PUSH2 0x0b83
00000b30: JUMPI
00000b31: PUSH1 0x40
00000b33: MLOAD
00000b34: PUSH3 0x461bcd
00000b38: PUSH1 0xe5
00000b3a: SHL
00000b3b: DUP2
00000b3c: MSTORE
00000b3d: PUSH1 0x20
00000b3f: PUSH1 0x04
00000b41: DUP3
00000b42: ADD
00000b43: MSTORE
00000b44: PUSH1 0x22
00000b46: PUSH1 0x24
00000b48: DUP3
00000b49: ADD
00000b4a: MSTORE
00000b4b: PUSH32 0x436f6e7472616374206e6f7420616c6c6f77656420696e204368616d62657247
00000b6c: PUSH1 0x44
00000b6e: DUP3
00000b6f: ADD
00000b70: MSTORE
00000b71: PUSH2 0x1bd9
00000b74: PUSH1 0xf2
00000b76: SHL
00000b77: PUSH1 0x64
00000b79: DUP3
00000b7a: ADD
00000b7b: MSTORE
00000b7c: PUSH1 0x84
00000b7e: ADD
00000b7f: PUSH2 0x06e3
00000b82: JUMP
00000b83: JUMPDEST
00000b84: PUSH2 0x0b8c
00000b87: DUP2
00000b88: PUSH2 0x2164
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: ISZERO
00000b8e: PUSH2 0x0bd9
00000b91: JUMPI
00000b92: PUSH1 0x40
00000b94: MLOAD
00000b95: PUSH3 0x461bcd
00000b99: PUSH1 0xe5
00000b9b: SHL
00000b9c: DUP2
00000b9d: MSTORE
00000b9e: PUSH1 0x20
00000ba0: PUSH1 0x04
00000ba2: DUP3
00000ba3: ADD
00000ba4: MSTORE
00000ba5: PUSH1 0x18
00000ba7: PUSH1 0x24
00000ba9: DUP3
00000baa: ADD
00000bab: MSTORE
00000bac: PUSH32 0x436f6e747261637420616c726561647920616c6c6f7765640000000000000000
00000bcd: PUSH1 0x44
00000bcf: DUP3
00000bd0: ADD
00000bd1: MSTORE
00000bd2: PUSH1 0x64
00000bd4: ADD
00000bd5: PUSH2 0x06e3
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: PUSH2 0x0be4
00000bdd: PUSH1 0x0f
00000bdf: DUP3
00000be0: PUSH2 0x2171
00000be3: JUMP
00000be4: JUMPDEST
00000be5: PUSH2 0x0c26
00000be8: JUMPI
00000be9: PUSH1 0x40
00000beb: MLOAD
00000bec: PUSH3 0x461bcd
00000bf0: PUSH1 0xe5
00000bf2: SHL
00000bf3: DUP2
00000bf4: MSTORE
00000bf5: PUSH1 0x20
00000bf7: PUSH1 0x04
00000bf9: DUP3
00000bfa: ADD
00000bfb: MSTORE
00000bfc: PUSH1 0x13
00000bfe: PUSH1 0x24
00000c00: DUP3
00000c01: ADD
00000c02: MSTORE
00000c03: PUSH19 0x10d85b9b9bdd081859190818dbdb9d1c9858dd
00000c17: PUSH1 0x6a
00000c19: SHL
00000c1a: PUSH1 0x44
00000c1c: DUP3
00000c1d: ADD
00000c1e: MSTORE
00000c1f: PUSH1 0x64
00000c21: ADD
00000c22: PUSH2 0x06e3
00000c25: JUMP
00000c26: JUMPDEST
00000c27: PUSH1 0x40
00000c29: MLOAD
00000c2a: PUSH1 0x01
00000c2c: PUSH1 0x01
00000c2e: PUSH1 0xa0
00000c30: SHL
00000c31: SUB
00000c32: DUP3
00000c33: AND
00000c34: SWAP1
00000c35: PUSH32 0x745213c0a7dcd996a1ded5a6943d545aadcdb27ec72b0ec5636da2a8f59fccdd
00000c56: SWAP1
00000c57: PUSH1 0x00
00000c59: SWAP1
00000c5a: LOG2
00000c5b: POP
00000c5c: PUSH1 0x01
00000c5e: DUP1
00000c5f: SSTORE
00000c60: JUMP
00000c61: JUMPDEST
00000c62: PUSH1 0x00
00000c64: SLOAD
00000c65: PUSH1 0x01
00000c67: PUSH1 0x01
00000c69: PUSH1 0xa0
00000c6b: SHL
00000c6c: SUB
00000c6d: AND
00000c6e: CALLER
00000c6f: EQ
00000c70: PUSH2 0x0c8b
00000c73: JUMPI
00000c74: PUSH1 0x40
00000c76: MLOAD
00000c77: PUSH3 0x461bcd
00000c7b: PUSH1 0xe5
00000c7d: SHL
00000c7e: DUP2
00000c7f: MSTORE
00000c80: PUSH1 0x04
00000c82: ADD
00000c83: PUSH2 0x06e3
00000c86: SWAP1
00000c87: PUSH2 0x30eb
00000c8a: JUMP
00000c8b: JUMPDEST
00000c8c: PUSH1 0x01
00000c8e: SLOAD
00000c8f: PUSH1 0x01
00000c91: EQ
00000c92: PUSH2 0x0cad
00000c95: JUMPI
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: PUSH3 0x461bcd
00000c9d: PUSH1 0xe5
00000c9f: SHL
00000ca0: DUP2
00000ca1: MSTORE
00000ca2: PUSH1 0x04
00000ca4: ADD
00000ca5: PUSH2 0x06e3
00000ca8: SWAP1
00000ca9: PUSH2 0x303c
00000cac: JUMP
00000cad: JUMPDEST
00000cae: PUSH1 0x02
00000cb0: PUSH1 0x01
00000cb2: SSTORE
00000cb3: PUSH2 0x0cbb
00000cb6: DUP2
00000cb7: PUSH2 0x2157
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: ISZERO
00000cbd: PUSH2 0x0cfa
00000cc0: JUMPI
00000cc1: PUSH1 0x40
00000cc3: MLOAD
00000cc4: PUSH3 0x461bcd
00000cc8: PUSH1 0xe5
00000cca: SHL
00000ccb: DUP2
00000ccc: MSTORE
00000ccd: PUSH1 0x20
00000ccf: PUSH1 0x04
00000cd1: DUP3
00000cd2: ADD
00000cd3: MSTORE
00000cd4: PUSH1 0x0f
00000cd6: PUSH1 0x24
00000cd8: DUP3
00000cd9: ADD
00000cda: MSTORE
00000cdb: PUSH15 0x20b63932b0b23c9036b0b730b3b2b9
00000ceb: PUSH1 0x89
00000ced: SHL
00000cee: PUSH1 0x44
00000cf0: DUP3
00000cf1: ADD
00000cf2: MSTORE
00000cf3: PUSH1 0x64
00000cf5: ADD
00000cf6: PUSH2 0x06e3
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: PUSH1 0x01
00000cfd: PUSH1 0x01
00000cff: PUSH1 0xa0
00000d01: SHL
00000d02: SUB
00000d03: DUP2
00000d04: AND
00000d05: PUSH2 0x0d50
00000d08: JUMPI
00000d09: PUSH1 0x40
00000d0b: MLOAD
00000d0c: PUSH3 0x461bcd
00000d10: PUSH1 0xe5
00000d12: SHL
00000d13: DUP2
00000d14: MSTORE
00000d15: PUSH1 0x20
00000d17: PUSH1 0x04
00000d19: DUP3
00000d1a: ADD
00000d1b: MSTORE
00000d1c: PUSH1 0x17
00000d1e: PUSH1 0x24
00000d20: DUP3
00000d21: ADD
00000d22: MSTORE
00000d23: PUSH32 0x43616e6e6f7420616464206e756c6c2061646472657373000000000000000000
00000d44: PUSH1 0x44
00000d46: DUP3
00000d47: ADD
00000d48: MSTORE
00000d49: PUSH1 0x64
00000d4b: ADD
00000d4c: PUSH2 0x06e3
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: PUSH2 0x0d5b
00000d54: PUSH1 0x0d
00000d56: DUP3
00000d57: PUSH2 0x2171
00000d5a: JUMP
00000d5b: JUMPDEST
00000d5c: PUSH2 0x0d9c
00000d5f: JUMPI
00000d60: PUSH1 0x40
00000d62: MLOAD
00000d63: PUSH3 0x461bcd
00000d67: PUSH1 0xe5
00000d69: SHL
00000d6a: DUP2
00000d6b: MSTORE
00000d6c: PUSH1 0x20
00000d6e: PUSH1 0x04
00000d70: DUP3
00000d71: ADD
00000d72: MSTORE
00000d73: PUSH1 0x12
00000d75: PUSH1 0x24
00000d77: DUP3
00000d78: ADD
00000d79: MSTORE
00000d7a: PUSH18 0x21b0b73737ba1030b2321036b0b730b3b2b9
00000d8d: PUSH1 0x71
00000d8f: SHL
00000d90: PUSH1 0x44
00000d92: DUP3
00000d93: ADD
00000d94: MSTORE
00000d95: PUSH1 0x64
00000d97: ADD
00000d98: PUSH2 0x06e3
00000d9b: JUMP
00000d9c: JUMPDEST
00000d9d: PUSH1 0x40
00000d9f: MLOAD
00000da0: PUSH1 0x01
00000da2: PUSH1 0x01
00000da4: PUSH1 0xa0
00000da6: SHL
00000da7: SUB
00000da8: DUP3
00000da9: AND
00000daa: SWAP1
00000dab: PUSH32 0x3b4a40cccf2058c593542587329dd385be4f0b588db5471fbd9598e56dd7093a
00000dcc: SWAP1
00000dcd: PUSH1 0x00
00000dcf: SWAP1
00000dd0: LOG2
00000dd1: POP
00000dd2: PUSH1 0x01
00000dd4: DUP1
00000dd5: SSTORE
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH2 0x0de0
00000ddb: CALLER
00000ddc: PUSH2 0x1239
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: PUSH2 0x0dfc
00000de4: JUMPI
00000de5: PUSH1 0x40
00000de7: MLOAD
00000de8: PUSH3 0x461bcd
00000dec: PUSH1 0xe5
00000dee: SHL
00000def: DUP2
00000df0: MSTORE
00000df1: PUSH1 0x04
00000df3: ADD
00000df4: PUSH2 0x06e3
00000df7: SWAP1
00000df8: PUSH2 0x3089
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: PUSH1 0x01
00000dff: SLOAD
00000e00: PUSH1 0x01
00000e02: EQ
00000e03: PUSH2 0x0e1e
00000e06: JUMPI
00000e07: PUSH1 0x40
00000e09: MLOAD
00000e0a: PUSH3 0x461bcd
00000e0e: PUSH1 0xe5
00000e10: SHL
00000e11: DUP2
00000e12: MSTORE
00000e13: PUSH1 0x04
00000e15: ADD
00000e16: PUSH2 0x06e3
00000e19: SWAP1
00000e1a: PUSH2 0x303c
00000e1d: JUMP
00000e1e: JUMPDEST
00000e1f: PUSH1 0x02
00000e21: PUSH1 0x01
00000e23: SWAP1
00000e24: DUP2
00000e25: SSTORE
00000e26: PUSH1 0x11
00000e28: SLOAD
00000e29: PUSH1 0xff
00000e2b: AND
00000e2c: PUSH1 0x01
00000e2e: DUP2
00000e2f: GT
00000e30: ISZERO
00000e31: PUSH2 0x0e3c
00000e34: JUMPI
00000e35: PUSH2 0x0e3c
00000e38: PUSH2 0x30b3
00000e3b: JUMP
00000e3c: JUMPDEST
00000e3d: EQ
00000e3e: PUSH2 0x0e7a
00000e41: JUMPI
00000e42: PUSH1 0x40
00000e44: MLOAD
00000e45: PUSH3 0x461bcd
00000e49: PUSH1 0xe5
00000e4b: SHL
00000e4c: DUP2
00000e4d: MSTORE
00000e4e: PUSH1 0x20
00000e50: PUSH1 0x04
00000e52: DUP3
00000e53: ADD
00000e54: MSTORE
00000e55: PUSH1 0x0e
00000e57: PUSH1 0x24
00000e59: DUP3
00000e5a: ADD
00000e5b: MSTORE
00000e5c: PUSH14 0x10da185b58995c881b1bd8dad959
00000e6b: PUSH1 0x92
00000e6d: SHL
00000e6e: PUSH1 0x44
00000e70: DUP3
00000e71: ADD
00000e72: MSTORE
00000e73: PUSH1 0x64
00000e75: ADD
00000e76: PUSH2 0x06e3
00000e79: JUMP
00000e7a: JUMPDEST
00000e7b: PUSH1 0x11
00000e7d: DUP1
00000e7e: SLOAD
00000e7f: PUSH1 0x00
00000e81: SWAP2
00000e82: SWAP1
00000e83: PUSH1 0xff
00000e85: NOT
00000e86: AND
00000e87: PUSH1 0x01
00000e89: DUP4
00000e8a: PUSH2 0x098a
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: PUSH1 0x00
00000e91: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000eb2: CHAINID
00000eb3: EQ
00000eb4: PUSH2 0x0ec4
00000eb7: JUMPI
00000eb8: PUSH2 0x0ebf
00000ebb: PUSH2 0x2315
00000ebe: JUMP
00000ebf: JUMPDEST
00000ec0: SWAP1
00000ec1: POP
00000ec2: SWAP1
00000ec3: JUMP
00000ec4: JUMPDEST
00000ec5: POP
00000ec6: PUSH32 0x5c3982e80cd0886e8cb69be10a9687573afe5e40e7fefe9c9bf6c023a07219d0
00000ee7: SWAP1
00000ee8: JUMP
00000ee9: JUMPDEST
00000eea: PUSH2 0x0ef2
00000eed: CALLER
00000eee: PUSH2 0x1239
00000ef1: JUMP
00000ef2: JUMPDEST
00000ef3: PUSH2 0x0f0e
00000ef6: JUMPI
00000ef7: PUSH1 0x40
00000ef9: MLOAD
00000efa: PUSH3 0x461bcd
00000efe: PUSH1 0xe5
00000f00: SHL
00000f01: DUP2
00000f02: MSTORE
00000f03: PUSH1 0x04
00000f05: ADD
00000f06: PUSH2 0x06e3
00000f09: SWAP1
00000f0a: PUSH2 0x3089
00000f0d: JUMP
00000f0e: JUMPDEST
00000f0f: PUSH1 0x01
00000f11: SLOAD
00000f12: PUSH1 0x01
00000f14: EQ
00000f15: PUSH2 0x0f30
00000f18: JUMPI
00000f19: PUSH1 0x40
00000f1b: MLOAD
00000f1c: PUSH3 0x461bcd
00000f20: PUSH1 0xe5
00000f22: SHL
00000f23: DUP2
00000f24: MSTORE
00000f25: PUSH1 0x04
00000f27: ADD
00000f28: PUSH2 0x06e3
00000f2b: SWAP1
00000f2c: PUSH2 0x303c
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x02
00000f33: PUSH1 0x01
00000f35: SSTORE
00000f36: PUSH2 0x0f3e
00000f39: DUP2
00000f3a: PUSH2 0x10d3
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: ISZERO
00000f40: PUSH2 0x0f8b
00000f43: JUMPI
00000f44: PUSH1 0x40
00000f46: MLOAD
00000f47: PUSH3 0x461bcd
00000f4b: PUSH1 0xe5
00000f4d: SHL
00000f4e: DUP2
00000f4f: MSTORE
00000f50: PUSH1 0x20
00000f52: PUSH1 0x04
00000f54: DUP3
00000f55: ADD
00000f56: MSTORE
00000f57: PUSH1 0x17
00000f59: PUSH1 0x24
00000f5b: DUP3
00000f5c: ADD
00000f5d: MSTORE
00000f5e: PUSH32 0x4d757374206e6f7420626520636f6e7374697475656e74000000000000000000
00000f7f: PUSH1 0x44
00000f81: DUP3
00000f82: ADD
00000f83: MSTORE
00000f84: PUSH1 0x64
00000f86: ADD
00000f87: PUSH2 0x06e3
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: PUSH1 0x09
00000f8e: DUP1
00000f8f: SLOAD
00000f90: PUSH1 0x01
00000f92: DUP2
00000f93: ADD
00000f94: DUP3
00000f95: SSTORE
00000f96: PUSH1 0x00
00000f98: SWAP2
00000f99: DUP3
00000f9a: MSTORE
00000f9b: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af
00000fbc: ADD
00000fbd: DUP1
00000fbe: SLOAD
00000fbf: PUSH1 0x01
00000fc1: PUSH1 0x01
00000fc3: PUSH1 0xa0
00000fc5: SHL
00000fc6: SUB
00000fc7: NOT
00000fc8: AND
00000fc9: PUSH1 0x01
00000fcb: PUSH1 0x01
00000fcd: PUSH1 0xa0
00000fcf: SHL
00000fd0: SUB
00000fd1: DUP5
00000fd2: AND
00000fd3: SWAP1
00000fd4: DUP2
00000fd5: OR
00000fd6: SWAP1
00000fd7: SWAP2
00000fd8: SSTORE
00000fd9: PUSH1 0x40
00000fdb: MLOAD
00000fdc: SWAP1
00000fdd: SWAP2
00000fde: PUSH32 0x8f63ff8fbc244d116babb3955e18cd1c02d0e8ab77369224288d679f938f81b7
00000fff: SWAP2
00001000: LOG2
00001001: POP
00001002: PUSH1 0x01
00001004: DUP1
00001005: SSTORE
00001006: JUMP
00001007: JUMPDEST
00001008: PUSH2 0x1010
0000100b: CALLER
0000100c: PUSH2 0x1239
0000100f: JUMP
00001010: JUMPDEST
00001011: PUSH2 0x102c
00001014: JUMPI
00001015: PUSH1 0x40
00001017: MLOAD
00001018: PUSH3 0x461bcd
0000101c: PUSH1 0xe5
0000101e: SHL
0000101f: DUP2
00001020: MSTORE
00001021: PUSH1 0x04
00001023: ADD
00001024: PUSH2 0x06e3
00001027: SWAP1
00001028: PUSH2 0x3089
0000102b: JUMP
0000102c: JUMPDEST
0000102d: PUSH1 0x01
0000102f: SLOAD
00001030: PUSH1 0x01
00001032: EQ
00001033: PUSH2 0x104e
00001036: JUMPI
00001037: PUSH1 0x40
00001039: MLOAD
0000103a: PUSH3 0x461bcd
0000103e: PUSH1 0xe5
00001040: SHL
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x04
00001045: ADD
00001046: PUSH2 0x06e3
00001049: SWAP1
0000104a: PUSH2 0x303c
0000104d: JUMP
0000104e: JUMPDEST
0000104f: PUSH1 0x02
00001051: PUSH1 0x01
00001053: SSTORE
00001054: PUSH2 0x105d
00001057: DUP3
00001058: DUP3
00001059: PUSH2 0x23af
0000105c: JUMP
0000105d: JUMPDEST
0000105e: POP
0000105f: POP
00001060: PUSH1 0x01
00001062: DUP1
00001063: SSTORE
00001064: JUMP
00001065: JUMPDEST
00001066: PUSH1 0x60
00001068: PUSH2 0x0ebf
0000106b: PUSH1 0x0f
0000106d: PUSH2 0x2409
00001070: JUMP
00001071: JUMPDEST
00001072: PUSH1 0x60
00001074: PUSH1 0x09
00001076: DUP1
00001077: SLOAD
00001078: DUP1
00001079: PUSH1 0x20
0000107b: MUL
0000107c: PUSH1 0x20
0000107e: ADD
0000107f: PUSH1 0x40
00001081: MLOAD
00001082: SWAP1
00001083: DUP2
00001084: ADD
00001085: PUSH1 0x40
00001087: MSTORE
00001088: DUP1
00001089: SWAP3
0000108a: SWAP2
0000108b: SWAP1
0000108c: DUP2
0000108d: DUP2
0000108e: MSTORE
0000108f: PUSH1 0x20
00001091: ADD
00001092: DUP3
00001093: DUP1
00001094: SLOAD
00001095: DUP1
00001096: ISZERO
00001097: PUSH2 0x10c9
0000109a: JUMPI
0000109b: PUSH1 0x20
0000109d: MUL
0000109e: DUP3
0000109f: ADD
000010a0: SWAP2
000010a1: SWAP1
000010a2: PUSH1 0x00
000010a4: MSTORE
000010a5: PUSH1 0x20
000010a7: PUSH1 0x00
000010a9: KECCAK256
000010aa: SWAP1
000010ab: JUMPDEST
000010ac: DUP2
000010ad: SLOAD
000010ae: PUSH1 0x01
000010b0: PUSH1 0x01
000010b2: PUSH1 0xa0
000010b4: SHL
000010b5: SUB
000010b6: AND
000010b7: DUP2
000010b8: MSTORE
000010b9: PUSH1 0x01
000010bb: SWAP1
000010bc: SWAP2
000010bd: ADD
000010be: SWAP1
000010bf: PUSH1 0x20
000010c1: ADD
000010c2: DUP1
000010c3: DUP4
000010c4: GT
000010c5: PUSH2 0x10ab
000010c8: JUMPI
000010c9: JUMPDEST
000010ca: POP
000010cb: POP
000010cc: POP
000010cd: POP
000010ce: POP
000010cf: SWAP1
000010d0: POP
000010d1: SWAP1
000010d2: JUMP
000010d3: JUMPDEST
000010d4: PUSH1 0x00
000010d6: PUSH2 0x06b8
000010d9: DUP3
000010da: PUSH1 0x09
000010dc: DUP1
000010dd: SLOAD
000010de: DUP1
000010df: PUSH1 0x20
000010e1: MUL
000010e2: PUSH1 0x20
000010e4: ADD
000010e5: PUSH1 0x40
000010e7: MLOAD
000010e8: SWAP1
000010e9: DUP2
000010ea: ADD
000010eb: PUSH1 0x40
000010ed: MSTORE
000010ee: DUP1
000010ef: SWAP3
000010f0: SWAP2
000010f1: SWAP1
000010f2: DUP2
000010f3: DUP2
000010f4: MSTORE
000010f5: PUSH1 0x20
000010f7: ADD
000010f8: DUP3
000010f9: DUP1
000010fa: SLOAD
000010fb: DUP1
000010fc: ISZERO
000010fd: PUSH2 0x112f
00001100: JUMPI
00001101: PUSH1 0x20
00001103: MUL
00001104: DUP3
00001105: ADD
00001106: SWAP2
00001107: SWAP1
00001108: PUSH1 0x00
0000110a: MSTORE
0000110b: PUSH1 0x20
0000110d: PUSH1 0x00
0000110f: KECCAK256
00001110: SWAP1
00001111: JUMPDEST
00001112: DUP2
00001113: SLOAD
00001114: PUSH1 0x01
00001116: PUSH1 0x01
00001118: PUSH1 0xa0
0000111a: SHL
0000111b: SUB
0000111c: AND
0000111d: DUP2
0000111e: MSTORE
0000111f: PUSH1 0x01
00001121: SWAP1
00001122: SWAP2
00001123: ADD
00001124: SWAP1
00001125: PUSH1 0x20
00001127: ADD
00001128: DUP1
00001129: DUP4
0000112a: GT
0000112b: PUSH2 0x1111
0000112e: JUMPI
0000112f: JUMPDEST
00001130: POP
00001131: POP
00001132: POP
00001133: POP
00001134: POP
00001135: PUSH2 0x2416
00001138: SWAP1
00001139: SWAP2
0000113a: SWAP1
0000113b: PUSH4 0xffffffff
00001140: AND
00001141: JUMP
00001142: JUMPDEST
00001143: PUSH1 0x09
00001145: SLOAD
00001146: PUSH1 0x60
00001148: SWAP1
00001149: PUSH1 0x00
0000114b: SWAP1
0000114c: PUSH8 0xffffffffffffffff
00001155: DUP2
00001156: GT
00001157: ISZERO
00001158: PUSH2 0x1163
0000115b: JUMPI
0000115c: PUSH2 0x1163
0000115f: PUSH2 0x2e0e
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH1 0x40
00001166: MLOAD
00001167: SWAP1
00001168: DUP1
00001169: DUP3
0000116a: MSTORE
0000116b: DUP1
0000116c: PUSH1 0x20
0000116e: MUL
0000116f: PUSH1 0x20
00001171: ADD
00001172: DUP3
00001173: ADD
00001174: PUSH1 0x40
00001176: MSTORE
00001177: DUP1
00001178: ISZERO
00001179: PUSH2 0x118c
0000117c: JUMPI
0000117d: DUP2
0000117e: PUSH1 0x20
00001180: ADD
00001181: PUSH1 0x20
00001183: DUP3
00001184: MUL
00001185: DUP1
00001186: CALLDATASIZE
00001187: DUP4
00001188: CALLDATACOPY
00001189: ADD
0000118a: SWAP1
0000118b: POP
0000118c: JUMPDEST
0000118d: POP
0000118e: SWAP1
0000118f: POP
00001190: PUSH1 0x00
00001192: JUMPDEST
00001193: PUSH1 0x09
00001195: SLOAD
00001196: DUP2
00001197: LT
00001198: ISZERO
00001199: PUSH2 0x1209
0000119c: JUMPI
0000119d: PUSH1 0x0a
0000119f: PUSH1 0x00
000011a1: PUSH1 0x09
000011a3: DUP4
000011a4: DUP2
000011a5: SLOAD
000011a6: DUP2
000011a7: LT
000011a8: PUSH2 0x11b3
000011ab: JUMPI
000011ac: PUSH2 0x11b3
000011af: PUSH2 0x3111
000011b2: JUMP
000011b3: JUMPDEST
000011b4: PUSH1 0x00
000011b6: SWAP2
000011b7: DUP3
000011b8: MSTORE
000011b9: PUSH1 0x20
000011bb: DUP1
000011bc: DUP4
000011bd: KECCAK256
000011be: SWAP1
000011bf: SWAP2
000011c0: ADD
000011c1: SLOAD
000011c2: PUSH1 0x01
000011c4: PUSH1 0x01
000011c6: PUSH1 0xa0
000011c8: SHL
000011c9: SUB
000011ca: AND
000011cb: DUP4
000011cc: MSTORE
000011cd: DUP3
000011ce: ADD
000011cf: SWAP3
000011d0: SWAP1
000011d1: SWAP3
000011d2: MSTORE
000011d3: PUSH1 0x40
000011d5: ADD
000011d6: SWAP1
000011d7: KECCAK256
000011d8: SLOAD
000011d9: DUP3
000011da: MLOAD
000011db: DUP4
000011dc: SWAP1
000011dd: DUP4
000011de: SWAP1
000011df: DUP2
000011e0: LT
000011e1: PUSH2 0x11ec
000011e4: JUMPI
000011e5: PUSH2 0x11ec
000011e8: PUSH2 0x3111
000011eb: JUMP
000011ec: JUMPDEST
000011ed: PUSH1 0x20
000011ef: SWAP1
000011f0: DUP2
000011f1: MUL
000011f2: SWAP2
000011f3: SWAP1
000011f4: SWAP2
000011f5: ADD
000011f6: ADD
000011f7: MSTORE
000011f8: DUP1
000011f9: PUSH2 0x1201
000011fc: DUP2
000011fd: PUSH2 0x3127
00001200: JUMP
00001201: JUMPDEST
00001202: SWAP2
00001203: POP
00001204: POP
00001205: PUSH2 0x1192
00001208: JUMP
00001209: JUMPDEST
0000120a: POP
0000120b: SWAP2
0000120c: SWAP1
0000120d: POP
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH1 0x09
00001212: DUP2
00001213: DUP2
00001214: SLOAD
00001215: DUP2
00001216: LT
00001217: PUSH2 0x121f
0000121a: JUMPI
0000121b: PUSH1 0x00
0000121d: DUP1
0000121e: REVERT
0000121f: JUMPDEST
00001220: PUSH1 0x00
00001222: SWAP2
00001223: DUP3
00001224: MSTORE
00001225: PUSH1 0x20
00001227: SWAP1
00001228: SWAP2
00001229: KECCAK256
0000122a: ADD
0000122b: SLOAD
0000122c: PUSH1 0x01
0000122e: PUSH1 0x01
00001230: PUSH1 0xa0
00001232: SHL
00001233: SUB
00001234: AND
00001235: SWAP1
00001236: POP
00001237: DUP2
00001238: JUMP
00001239: JUMPDEST
0000123a: PUSH1 0x00
0000123c: PUSH2 0x06b8
0000123f: PUSH1 0x0b
00001241: DUP4
00001242: PUSH2 0x242c
00001245: JUMP
00001246: JUMPDEST
00001247: PUSH1 0x03
00001249: DUP1
0000124a: SLOAD
0000124b: PUSH2 0x05d0
0000124e: SWAP1
0000124f: PUSH2 0x2fdf
00001252: JUMP
00001253: JUMPDEST
00001254: PUSH2 0x125c
00001257: CALLER
00001258: PUSH2 0x2157
0000125b: JUMP
0000125c: JUMPDEST
0000125d: PUSH2 0x1278
00001260: JUMPI
00001261: PUSH1 0x40
00001263: MLOAD
00001264: PUSH3 0x461bcd
00001268: PUSH1 0xe5
0000126a: SHL
0000126b: DUP2
0000126c: MSTORE
0000126d: PUSH1 0x04
0000126f: ADD
00001270: PUSH2 0x06e3
00001273: SWAP1
00001274: PUSH2 0x3013
00001277: JUMP
00001278: JUMPDEST
00001279: PUSH1 0x01
0000127b: SLOAD
0000127c: PUSH1 0x01
0000127e: EQ
0000127f: PUSH2 0x129a
00001282: JUMPI
00001283: PUSH1 0x40
00001285: MLOAD
00001286: PUSH3 0x461bcd
0000128a: PUSH1 0xe5
0000128c: SHL
0000128d: DUP2
0000128e: MSTORE
0000128f: PUSH1 0x04
00001291: ADD
00001292: PUSH2 0x06e3
00001295: SWAP1
00001296: PUSH2 0x303c
00001299: JUMP
0000129a: JUMPDEST
0000129b: PUSH1 0x02
0000129d: PUSH1 0x01
0000129f: SSTORE
000012a0: PUSH2 0x12a8
000012a3: DUP2
000012a4: PUSH2 0x2164
000012a7: JUMP
000012a8: JUMPDEST
000012a9: PUSH2 0x12eb
000012ac: JUMPI
000012ad: PUSH1 0x40
000012af: MLOAD
000012b0: PUSH3 0x461bcd
000012b4: PUSH1 0xe5
000012b6: SHL
000012b7: DUP2
000012b8: MSTORE
000012b9: PUSH1 0x20
000012bb: PUSH1 0x04
000012bd: DUP3
000012be: ADD
000012bf: MSTORE
000012c0: PUSH1 0x14
000012c2: PUSH1 0x24
000012c4: DUP3
000012c5: ADD
000012c6: MSTORE
000012c7: PUSH20 0x10dbdb9d1c9858dd081b9bdd08185b1b1bddd959
000012dc: PUSH1 0x62
000012de: SHL
000012df: PUSH1 0x44
000012e1: DUP3
000012e2: ADD
000012e3: MSTORE
000012e4: PUSH1 0x64
000012e6: ADD
000012e7: PUSH2 0x06e3
000012ea: JUMP
000012eb: JUMPDEST
000012ec: PUSH2 0x12f6
000012ef: PUSH1 0x0f
000012f1: DUP3
000012f2: PUSH2 0x218d
000012f5: JUMP
000012f6: JUMPDEST
000012f7: PUSH2 0x133b
000012fa: JUMPI
000012fb: PUSH1 0x40
000012fd: MLOAD
000012fe: PUSH3 0x461bcd
00001302: PUSH1 0xe5
00001304: SHL
00001305: DUP2
00001306: MSTORE
00001307: PUSH1 0x20
00001309: PUSH1 0x04
0000130b: DUP3
0000130c: ADD
0000130d: MSTORE
0000130e: PUSH1 0x16
00001310: PUSH1 0x24
00001312: DUP3
00001313: ADD
00001314: MSTORE
00001315: PUSH22 0x10d85b9b9bdd081c995b5bdd994818dbdb9d1c9858dd
0000132c: PUSH1 0x52
0000132e: SHL
0000132f: PUSH1 0x44
00001331: DUP3
00001332: ADD
00001333: MSTORE
00001334: PUSH1 0x64
00001336: ADD
00001337: PUSH2 0x06e3
0000133a: JUMP
0000133b: JUMPDEST
0000133c: PUSH1 0x40
0000133e: MLOAD
0000133f: PUSH1 0x01
00001341: PUSH1 0x01
00001343: PUSH1 0xa0
00001345: SHL
00001346: SUB
00001347: DUP3
00001348: AND
00001349: SWAP1
0000134a: PUSH32 0xac2e940b68b32bc719742a99f71a86e3854dac1225e4b3de2ec392bb9850f413
0000136b: SWAP1
0000136c: PUSH1 0x00
0000136e: SWAP1
0000136f: LOG2
00001370: POP
00001371: PUSH1 0x01
00001373: DUP1
00001374: SSTORE
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH2 0x137f
0000137a: CALLER
0000137b: PUSH2 0x2157
0000137e: JUMP
0000137f: JUMPDEST
00001380: PUSH2 0x139b
00001383: JUMPI
00001384: PUSH1 0x40
00001386: MLOAD
00001387: PUSH3 0x461bcd
0000138b: PUSH1 0xe5
0000138d: SHL
0000138e: DUP2
0000138f: MSTORE
00001390: PUSH1 0x04
00001392: ADD
00001393: PUSH2 0x06e3
00001396: SWAP1
00001397: PUSH2 0x3013
0000139a: JUMP
0000139b: JUMPDEST
0000139c: PUSH1 0x01
0000139e: SLOAD
0000139f: PUSH1 0x01
000013a1: EQ
000013a2: PUSH2 0x13bd
000013a5: JUMPI
000013a6: PUSH1 0x40
000013a8: MLOAD
000013a9: PUSH3 0x461bcd
000013ad: PUSH1 0xe5
000013af: SHL
000013b0: DUP2
000013b1: MSTORE
000013b2: PUSH1 0x04
000013b4: ADD
000013b5: PUSH2 0x06e3
000013b8: SWAP1
000013b9: PUSH2 0x303c
000013bc: JUMP
000013bd: JUMPDEST
000013be: PUSH1 0x02
000013c0: PUSH1 0x01
000013c2: SSTORE
000013c3: PUSH1 0x08
000013c5: SLOAD
000013c6: PUSH1 0x40
000013c8: MLOAD
000013c9: PUSH4 0x95ad97fd
000013ce: PUSH1 0xe0
000013d0: SHL
000013d1: DUP2
000013d2: MSTORE
000013d3: PUSH1 0x01
000013d5: PUSH1 0x01
000013d7: PUSH1 0xa0
000013d9: SHL
000013da: SUB
000013db: DUP4
000013dc: DUP2
000013dd: AND
000013de: PUSH1 0x04
000013e0: DUP4
000013e1: ADD
000013e2: MSTORE
000013e3: SWAP1
000013e4: SWAP2
000013e5: AND
000013e6: SWAP1
000013e7: PUSH4 0x95ad97fd
000013ec: SWAP1
000013ed: PUSH1 0x24
000013ef: ADD
000013f0: PUSH1 0x20
000013f2: PUSH1 0x40
000013f4: MLOAD
000013f5: DUP1
000013f6: DUP4
000013f7: SUB
000013f8: DUP2
000013f9: DUP7
000013fa: GAS
000013fb: STATICCALL
000013fc: ISZERO
000013fd: DUP1
000013fe: ISZERO
000013ff: PUSH2 0x140c
00001402: JUMPI
00001403: RETURNDATASIZE
00001404: PUSH1 0x00
00001406: DUP1
00001407: RETURNDATACOPY
00001408: RETURNDATASIZE
00001409: PUSH1 0x00
0000140b: REVERT
0000140c: JUMPDEST
0000140d: POP
0000140e: POP
0000140f: POP
00001410: POP
00001411: PUSH1 0x40
00001413: MLOAD
00001414: RETURNDATASIZE
00001415: PUSH1 0x1f
00001417: NOT
00001418: PUSH1 0x1f
0000141a: DUP3
0000141b: ADD
0000141c: AND
0000141d: DUP3
0000141e: ADD
0000141f: DUP1
00001420: PUSH1 0x40
00001422: MSTORE
00001423: POP
00001424: DUP2
00001425: ADD
00001426: SWAP1
00001427: PUSH2 0x1430
0000142a: SWAP2
0000142b: SWAP1
0000142c: PUSH2 0x30c9
0000142f: JUMP
00001430: JUMPDEST
00001431: PUSH2 0x1487
00001434: JUMPI
00001435: PUSH1 0x40
00001437: MLOAD
00001438: PUSH3 0x461bcd
0000143c: PUSH1 0xe5
0000143e: SHL
0000143f: DUP2
00001440: MSTORE
00001441: PUSH1 0x20
00001443: PUSH1 0x04
00001445: DUP3
00001446: ADD
00001447: MSTORE
00001448: PUSH1 0x22
0000144a: PUSH1 0x24
0000144c: DUP3
0000144d: ADD
0000144e: MSTORE
0000144f: PUSH32 0x57697a617264206e6f742076616c69646174656420696e204368616d62657247
00001470: PUSH1 0x44
00001472: DUP3
00001473: ADD
00001474: MSTORE
00001475: PUSH2 0x1bd9
00001478: PUSH1 0xf2
0000147a: SHL
0000147b: PUSH1 0x64
0000147d: DUP3
0000147e: ADD
0000147f: MSTORE
00001480: PUSH1 0x84
00001482: ADD
00001483: PUSH2 0x06e3
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH2 0x1490
0000148b: DUP2
0000148c: PUSH2 0x1239
0000148f: JUMP
00001490: JUMPDEST
00001491: ISZERO
00001492: PUSH2 0x14dd
00001495: JUMPI
00001496: PUSH1 0x40
00001498: MLOAD
00001499: PUSH3 0x461bcd
0000149d: PUSH1 0xe5
0000149f: SHL
000014a0: DUP2
000014a1: MSTORE
000014a2: PUSH1 0x20
000014a4: PUSH1 0x04
000014a6: DUP3
000014a7: ADD
000014a8: MSTORE
000014a9: PUSH1 0x19
000014ab: PUSH1 0x24
000014ad: DUP3
000014ae: ADD
000014af: MSTORE
000014b0: PUSH32 0x57697a61726420616c726561647920696e204368616d62657200000000000000
000014d1: PUSH1 0x44
000014d3: DUP3
000014d4: ADD
000014d5: MSTORE
000014d6: PUSH1 0x64
000014d8: ADD
000014d9: PUSH2 0x06e3
000014dc: JUMP
000014dd: JUMPDEST
000014de: PUSH2 0x14e8
000014e1: PUSH1 0x0b
000014e3: DUP3
000014e4: PUSH2 0x2171
000014e7: JUMP
000014e8: JUMPDEST
000014e9: PUSH2 0x1528
000014ec: JUMPI
000014ed: PUSH1 0x40
000014ef: MLOAD
000014f0: PUSH3 0x461bcd
000014f4: PUSH1 0xe5
000014f6: SHL
000014f7: DUP2
000014f8: MSTORE
000014f9: PUSH1 0x20
000014fb: PUSH1 0x04
000014fd: DUP3
000014fe: ADD
000014ff: MSTORE
00001500: PUSH1 0x11
00001502: PUSH1 0x24
00001504: DUP3
00001505: ADD
00001506: MSTORE
00001507: PUSH17 0x10d85b9b9bdd08185919081dda5e985c99
00001519: PUSH1 0x7a
0000151b: SHL
0000151c: PUSH1 0x44
0000151e: DUP3
0000151f: ADD
00001520: MSTORE
00001521: PUSH1 0x64
00001523: ADD
00001524: PUSH2 0x06e3
00001527: JUMP
00001528: JUMPDEST
00001529: PUSH1 0x40
0000152b: MLOAD
0000152c: PUSH1 0x01
0000152e: PUSH1 0x01
00001530: PUSH1 0xa0
00001532: SHL
00001533: SUB
00001534: DUP3
00001535: AND
00001536: SWAP1
00001537: PUSH32 0x18c8a5c5e19d4382b64a94b578eb09f7d1797ee3df236dba16efc12bf853bcb5
00001558: SWAP1
00001559: PUSH1 0x00
0000155b: SWAP1
0000155c: LOG2
0000155d: POP
0000155e: PUSH1 0x01
00001560: DUP1
00001561: SSTORE
00001562: JUMP
00001563: JUMPDEST
00001564: PUSH2 0x156c
00001567: CALLER
00001568: PUSH2 0x1239
0000156b: JUMP
0000156c: JUMPDEST
0000156d: PUSH2 0x1588
00001570: JUMPI
00001571: PUSH1 0x40
00001573: MLOAD
00001574: PUSH3 0x461bcd
00001578: PUSH1 0xe5
0000157a: SHL
0000157b: DUP2
0000157c: MSTORE
0000157d: PUSH1 0x04
0000157f: ADD
00001580: PUSH2 0x06e3
00001583: SWAP1
00001584: PUSH2 0x3089
00001587: JUMP
00001588: JUMPDEST
00001589: PUSH1 0x01
0000158b: SLOAD
0000158c: PUSH1 0x01
0000158e: EQ
0000158f: PUSH2 0x15aa
00001592: JUMPI
00001593: PUSH1 0x40
00001595: MLOAD
00001596: PUSH3 0x461bcd
0000159a: PUSH1 0xe5
0000159c: SHL
0000159d: DUP2
0000159e: MSTORE
0000159f: PUSH1 0x04
000015a1: ADD
000015a2: PUSH2 0x06e3
000015a5: SWAP1
000015a6: PUSH2 0x303c
000015a9: JUMP
000015aa: JUMPDEST
000015ab: PUSH1 0x02
000015ad: PUSH1 0x01
000015af: SSTORE
000015b0: PUSH2 0x105d
000015b3: DUP3
000015b4: DUP3
000015b5: PUSH2 0x244e
000015b8: JUMP
000015b9: JUMPDEST
000015ba: PUSH1 0x60
000015bc: PUSH2 0x0ebf
000015bf: PUSH1 0x0d
000015c1: PUSH2 0x2409
000015c4: JUMP
000015c5: JUMPDEST
000015c6: CALLER
000015c7: PUSH1 0x00
000015c9: SWAP1
000015ca: DUP2
000015cb: MSTORE
000015cc: PUSH1 0x05
000015ce: PUSH1 0x20
000015d0: MSTORE
000015d1: PUSH1 0x40
000015d3: DUP2
000015d4: KECCAK256
000015d5: DUP1
000015d6: SLOAD
000015d7: DUP4
000015d8: SWAP2
000015d9: SWAP1
000015da: DUP4
000015db: SWAP1
000015dc: PUSH2 0x15e6
000015df: SWAP1
000015e0: DUP5
000015e1: SWAP1
000015e2: PUSH2 0x3076
000015e5: JUMP
000015e6: JUMPDEST
000015e7: SWAP1
000015e8: SWAP2
000015e9: SSTORE
000015ea: POP
000015eb: POP
000015ec: PUSH1 0x01
000015ee: PUSH1 0x01
000015f0: PUSH1 0xa0
000015f2: SHL
000015f3: SUB
000015f4: DUP4
000015f5: AND
000015f6: PUSH1 0x00
000015f8: DUP2
000015f9: DUP2
000015fa: MSTORE
000015fb: PUSH1 0x05
000015fd: PUSH1 0x20
000015ff: MSTORE
00001600: PUSH1 0x40
00001602: SWAP1
00001603: DUP2
00001604: SWAP1
00001605: KECCAK256
00001606: DUP1
00001607: SLOAD
00001608: DUP6
00001609: ADD
0000160a: SWAP1
0000160b: SSTORE
0000160c: MLOAD
0000160d: CALLER
0000160e: SWAP1
0000160f: PUSH1 0x00
00001611: DUP1
00001612: MLOAD
00001613: PUSH1 0x20
00001615: PUSH2 0x3367
00001618: DUP4
00001619: CODECOPY
0000161a: DUP2
0000161b: MLOAD
0000161c: SWAP2
0000161d: MSTORE
0000161e: SWAP1
0000161f: PUSH2 0x06ac
00001622: SWAP1
00001623: DUP7
00001624: DUP2
00001625: MSTORE
00001626: PUSH1 0x20
00001628: ADD
00001629: SWAP1
0000162a: JUMP
0000162b: JUMPDEST
0000162c: PUSH1 0x00
0000162e: SLOAD
0000162f: PUSH1 0x01
00001631: PUSH1 0x01
00001633: PUSH1 0xa0
00001635: SHL
00001636: SUB
00001637: AND
00001638: CALLER
00001639: EQ
0000163a: PUSH2 0x1655
0000163d: JUMPI
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: PUSH3 0x461bcd
00001645: PUSH1 0xe5
00001647: SHL
00001648: DUP2
00001649: MSTORE
0000164a: PUSH1 0x04
0000164c: ADD
0000164d: PUSH2 0x06e3
00001650: SWAP1
00001651: PUSH2 0x30eb
00001654: JUMP
00001655: JUMPDEST
00001656: PUSH1 0x01
00001658: SLOAD
00001659: PUSH1 0x01
0000165b: EQ
0000165c: PUSH2 0x1677
0000165f: JUMPI
00001660: PUSH1 0x40
00001662: MLOAD
00001663: PUSH3 0x461bcd
00001667: PUSH1 0xe5
00001669: SHL
0000166a: DUP2
0000166b: MSTORE
0000166c: PUSH1 0x04
0000166e: ADD
0000166f: PUSH2 0x06e3
00001672: SWAP1
00001673: PUSH2 0x303c
00001676: JUMP
00001677: JUMPDEST
00001678: PUSH1 0x02
0000167a: PUSH1 0x01
0000167c: SSTORE
0000167d: PUSH2 0x1685
00001680: DUP2
00001681: PUSH2 0x2157
00001684: JUMP
00001685: JUMPDEST
00001686: PUSH2 0x16c1
00001689: JUMPI
0000168a: PUSH1 0x40
0000168c: MLOAD
0000168d: PUSH3 0x461bcd
00001691: PUSH1 0xe5
00001693: SHL
00001694: DUP2
00001695: MSTORE
00001696: PUSH1 0x20
00001698: PUSH1 0x04
0000169a: DUP3
0000169b: ADD
0000169c: MSTORE
0000169d: PUSH1 0x0d
0000169f: PUSH1 0x24
000016a1: DUP3
000016a2: ADD
000016a3: MSTORE
000016a4: PUSH13 0x2737ba10309036b0b730b3b2b9
000016b2: PUSH1 0x99
000016b4: SHL
000016b5: PUSH1 0x44
000016b7: DUP3
000016b8: ADD
000016b9: MSTORE
000016ba: PUSH1 0x64
000016bc: ADD
000016bd: PUSH2 0x06e3
000016c0: JUMP
000016c1: JUMPDEST
000016c2: PUSH2 0x16cc
000016c5: PUSH1 0x0d
000016c7: DUP3
000016c8: PUSH2 0x218d
000016cb: JUMP
000016cc: JUMPDEST
000016cd: PUSH2 0x1710
000016d0: JUMPI
000016d1: PUSH1 0x40
000016d3: MLOAD
000016d4: PUSH3 0x461bcd
000016d8: PUSH1 0xe5
000016da: SHL
000016db: DUP2
000016dc: MSTORE
000016dd: PUSH1 0x20
000016df: PUSH1 0x04
000016e1: DUP3
000016e2: ADD
000016e3: MSTORE
000016e4: PUSH1 0x15
000016e6: PUSH1 0x24
000016e8: DUP3
000016e9: ADD
000016ea: MSTORE
000016eb: PUSH21 0x21b0b73737ba103932b6b7bb329036b0b730b3b2b9
00001701: PUSH1 0x59
00001703: SHL
00001704: PUSH1 0x44
00001706: DUP3
00001707: ADD
00001708: MSTORE
00001709: PUSH1 0x64
0000170b: ADD
0000170c: PUSH2 0x06e3
0000170f: JUMP
00001710: JUMPDEST
00001711: PUSH1 0x40
00001713: MLOAD
00001714: PUSH1 0x01
00001716: PUSH1 0x01
00001718: PUSH1 0xa0
0000171a: SHL
0000171b: SUB
0000171c: DUP3
0000171d: AND
0000171e: SWAP1
0000171f: PUSH32 0xef69f7d97228658c92417be1b16b19058315de71fecb435d07b7d23728b6bd31
00001740: SWAP1
00001741: PUSH1 0x00
00001743: SWAP1
00001744: LOG2
00001745: POP
00001746: PUSH1 0x01
00001748: DUP1
00001749: SSTORE
0000174a: JUMP
0000174b: JUMPDEST
0000174c: PUSH1 0x60
0000174e: PUSH2 0x0ebf
00001751: PUSH1 0x0b
00001753: PUSH2 0x2409
00001756: JUMP
00001757: JUMPDEST
00001758: PUSH2 0x1760
0000175b: CALLER
0000175c: PUSH2 0x1239
0000175f: JUMP
00001760: JUMPDEST
00001761: PUSH2 0x177c
00001764: JUMPI
00001765: PUSH1 0x40
00001767: MLOAD
00001768: PUSH3 0x461bcd
0000176c: PUSH1 0xe5
0000176e: SHL
0000176f: DUP2
00001770: MSTORE
00001771: PUSH1 0x04
00001773: ADD
00001774: PUSH2 0x06e3
00001777: SWAP1
00001778: PUSH2 0x3089
0000177b: JUMP
0000177c: JUMPDEST
0000177d: PUSH1 0x01
0000177f: SLOAD
00001780: PUSH1 0x01
00001782: EQ
00001783: PUSH2 0x179e
00001786: JUMPI
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: PUSH3 0x461bcd
0000178e: PUSH1 0xe5
00001790: SHL
00001791: DUP2
00001792: MSTORE
00001793: PUSH1 0x04
00001795: ADD
00001796: PUSH2 0x06e3
00001799: SWAP1
0000179a: PUSH2 0x303c
0000179d: JUMP
0000179e: JUMPDEST
0000179f: PUSH1 0x02
000017a1: PUSH1 0x01
000017a3: SSTORE
000017a4: DUP1
000017a5: ISZERO
000017a6: PUSH2 0x190d
000017a9: JUMPI
000017aa: PUSH1 0x40
000017ac: MLOAD
000017ad: PUSH4 0x70a08231
000017b2: PUSH1 0xe0
000017b4: SHL
000017b5: DUP2
000017b6: MSTORE
000017b7: ADDRESS
000017b8: PUSH1 0x04
000017ba: DUP3
000017bb: ADD
000017bc: MSTORE
000017bd: PUSH1 0x00
000017bf: SWAP1
000017c0: PUSH1 0x01
000017c2: PUSH1 0x01
000017c4: PUSH1 0xa0
000017c6: SHL
000017c7: SUB
000017c8: DUP6
000017c9: AND
000017ca: SWAP1
000017cb: PUSH4 0x70a08231
000017d0: SWAP1
000017d1: PUSH1 0x24
000017d3: ADD
000017d4: PUSH1 0x20
000017d6: PUSH1 0x40
000017d8: MLOAD
000017d9: DUP1
000017da: DUP4
000017db: SUB
000017dc: DUP2
000017dd: DUP7
000017de: GAS
000017df: STATICCALL
000017e0: ISZERO
000017e1: DUP1
000017e2: ISZERO
000017e3: PUSH2 0x17f0
000017e6: JUMPI
000017e7: RETURNDATASIZE
000017e8: PUSH1 0x00
000017ea: DUP1
000017eb: RETURNDATACOPY
000017ec: RETURNDATASIZE
000017ed: PUSH1 0x00
000017ef: REVERT
000017f0: JUMPDEST
000017f1: POP
000017f2: POP
000017f3: POP
000017f4: POP
000017f5: PUSH1 0x40
000017f7: MLOAD
000017f8: RETURNDATASIZE
000017f9: PUSH1 0x1f
000017fb: NOT
000017fc: PUSH1 0x1f
000017fe: DUP3
000017ff: ADD
00001800: AND
00001801: DUP3
00001802: ADD
00001803: DUP1
00001804: PUSH1 0x40
00001806: MSTORE
00001807: POP
00001808: DUP2
00001809: ADD
0000180a: SWAP1
0000180b: PUSH2 0x1814
0000180e: SWAP2
0000180f: SWAP1
00001810: PUSH2 0x3140
00001813: JUMP
00001814: JUMPDEST
00001815: SWAP1
00001816: POP
00001817: PUSH2 0x182a
0000181a: PUSH1 0x01
0000181c: PUSH1 0x01
0000181e: PUSH1 0xa0
00001820: SHL
00001821: SUB
00001822: DUP6
00001823: AND
00001824: DUP5
00001825: DUP5
00001826: PUSH2 0x24b0
00001829: JUMP
0000182a: JUMPDEST
0000182b: PUSH1 0x40
0000182d: MLOAD
0000182e: PUSH4 0x70a08231
00001833: PUSH1 0xe0
00001835: SHL
00001836: DUP2
00001837: MSTORE
00001838: ADDRESS
00001839: PUSH1 0x04
0000183b: DUP3
0000183c: ADD
0000183d: MSTORE
0000183e: PUSH1 0x00
00001840: SWAP1
00001841: PUSH1 0x01
00001843: PUSH1 0x01
00001845: PUSH1 0xa0
00001847: SHL
00001848: SUB
00001849: DUP7
0000184a: AND
0000184b: SWAP1
0000184c: PUSH4 0x70a08231
00001851: SWAP1
00001852: PUSH1 0x24
00001854: ADD
00001855: PUSH1 0x20
00001857: PUSH1 0x40
00001859: MLOAD
0000185a: DUP1
0000185b: DUP4
0000185c: SUB
0000185d: DUP2
0000185e: DUP7
0000185f: GAS
00001860: STATICCALL
00001861: ISZERO
00001862: DUP1
00001863: ISZERO
00001864: PUSH2 0x1871
00001867: JUMPI
00001868: RETURNDATASIZE
00001869: PUSH1 0x00
0000186b: DUP1
0000186c: RETURNDATACOPY
0000186d: RETURNDATASIZE
0000186e: PUSH1 0x00
00001870: REVERT
00001871: JUMPDEST
00001872: POP
00001873: POP
00001874: POP
00001875: POP
00001876: PUSH1 0x40
00001878: MLOAD
00001879: RETURNDATASIZE
0000187a: PUSH1 0x1f
0000187c: NOT
0000187d: PUSH1 0x1f
0000187f: DUP3
00001880: ADD
00001881: AND
00001882: DUP3
00001883: ADD
00001884: DUP1
00001885: PUSH1 0x40
00001887: MSTORE
00001888: POP
00001889: DUP2
0000188a: ADD
0000188b: SWAP1
0000188c: PUSH2 0x1895
0000188f: SWAP2
00001890: SWAP1
00001891: PUSH2 0x3140
00001894: JUMP
00001895: JUMPDEST
00001896: SWAP1
00001897: POP
00001898: PUSH2 0x18a1
0000189b: DUP4
0000189c: DUP4
0000189d: PUSH2 0x3076
000018a0: JUMP
000018a1: JUMPDEST
000018a2: DUP2
000018a3: LT
000018a4: ISZERO
000018a5: PUSH2 0x190a
000018a8: JUMPI
000018a9: PUSH1 0x40
000018ab: MLOAD
000018ac: PUSH3 0x461bcd
000018b0: PUSH1 0xe5
000018b2: SHL
000018b3: DUP2
000018b4: MSTORE
000018b5: PUSH1 0x20
000018b7: PUSH1 0x04
000018b9: DUP3
000018ba: ADD
000018bb: MSTORE
000018bc: PUSH1 0x31
000018be: PUSH1 0x24
000018c0: DUP3
000018c1: ADD
000018c2: MSTORE
000018c3: PUSH32 0x4368616d6265722e7769746864726177546f3a20496e76616c696420706f7374
000018e4: PUSH1 0x44
000018e6: DUP3
000018e7: ADD
000018e8: MSTORE
000018e9: PUSH17 0x2d77697468647261772062616c616e6365
000018fb: PUSH1 0x78
000018fd: SHL
000018fe: PUSH1 0x64
00001900: DUP3
00001901: ADD
00001902: MSTORE
00001903: PUSH1 0x84
00001905: ADD
00001906: PUSH2 0x06e3
00001909: JUMP
0000190a: JUMPDEST
0000190b: POP
0000190c: POP
0000190d: JUMPDEST
0000190e: POP
0000190f: POP
00001910: PUSH1 0x01
00001912: DUP1
00001913: SSTORE
00001914: POP
00001915: JUMP
00001916: JUMPDEST
00001917: PUSH1 0x00
00001919: PUSH2 0x1921
0000191c: CALLER
0000191d: PUSH2 0x1239
00001920: JUMP
00001921: JUMPDEST
00001922: PUSH2 0x193d
00001925: JUMPI
00001926: PUSH1 0x40
00001928: MLOAD
00001929: PUSH3 0x461bcd
0000192d: PUSH1 0xe5
0000192f: SHL
00001930: DUP2
00001931: MSTORE
00001932: PUSH1 0x04
00001934: ADD
00001935: PUSH2 0x06e3
00001938: SWAP1
00001939: PUSH2 0x3089
0000193c: JUMP
0000193d: JUMPDEST
0000193e: PUSH1 0x01
00001940: SLOAD
00001941: PUSH1 0x01
00001943: EQ
00001944: PUSH2 0x195f
00001947: JUMPI
00001948: PUSH1 0x40
0000194a: MLOAD
0000194b: PUSH3 0x461bcd
0000194f: PUSH1 0xe5
00001951: SHL
00001952: DUP2
00001953: MSTORE
00001954: PUSH1 0x04
00001956: ADD
00001957: PUSH2 0x06e3
0000195a: SWAP1
0000195b: PUSH2 0x303c
0000195e: JUMP
0000195f: JUMPDEST
00001960: PUSH1 0x02
00001962: PUSH1 0x01
00001964: SSTORE
00001965: ADDRESS
00001966: PUSH1 0x01
00001968: PUSH1 0x01
0000196a: PUSH1 0xa0
0000196c: SHL
0000196d: SUB
0000196e: DUP5
0000196f: AND
00001970: SUB
00001971: PUSH2 0x19bc
00001974: JUMPI
00001975: PUSH1 0x40
00001977: MLOAD
00001978: PUSH3 0x461bcd
0000197c: PUSH1 0xe5
0000197e: SHL
0000197f: DUP2
00001980: MSTORE
00001981: PUSH1 0x20
00001983: PUSH1 0x04
00001985: DUP3
00001986: ADD
00001987: MSTORE
00001988: PUSH1 0x19
0000198a: PUSH1 0x24
0000198c: DUP3
0000198d: ADD
0000198e: MSTORE
0000198f: PUSH32 0x43616e6e6f7420696e766f6b6520746865204368616d62657200000000000000
000019b0: PUSH1 0x44
000019b2: DUP3
000019b3: ADD
000019b4: MSTORE
000019b5: PUSH1 0x64
000019b7: ADD
000019b8: PUSH2 0x06e3
000019bb: JUMP
000019bc: JUMPDEST
000019bd: PUSH2 0x19c5
000019c0: DUP4
000019c1: PUSH2 0x2164
000019c4: JUMP
000019c5: JUMPDEST
000019c6: PUSH2 0x1a06
000019c9: JUMPI
000019ca: PUSH1 0x40
000019cc: MLOAD
000019cd: PUSH3 0x461bcd
000019d1: PUSH1 0xe5
000019d3: SHL
000019d4: DUP2
000019d5: MSTORE
000019d6: PUSH1 0x20
000019d8: PUSH1 0x04
000019da: DUP3
000019db: ADD
000019dc: MSTORE
000019dd: PUSH1 0x12
000019df: PUSH1 0x24
000019e1: DUP3
000019e2: ADD
000019e3: MSTORE
000019e4: PUSH18 0x15185c99d95d081b9bdd08185b1b1bddd959
000019f7: PUSH1 0x72
000019f9: SHL
000019fa: PUSH1 0x44
000019fc: DUP3
000019fd: ADD
000019fe: MSTORE
000019ff: PUSH1 0x64
00001a01: ADD
00001a02: PUSH2 0x06e3
00001a05: JUMP
00001a06: JUMPDEST
00001a07: PUSH1 0x40
00001a09: MLOAD
00001a0a: PUSH4 0x70a08231
00001a0f: PUSH1 0xe0
00001a11: SHL
00001a12: DUP2
00001a13: MSTORE
00001a14: ADDRESS
00001a15: PUSH1 0x04
00001a17: DUP3
00001a18: ADD
00001a19: MSTORE
00001a1a: PUSH1 0x00
00001a1c: SWAP1
00001a1d: PUSH1 0x01
00001a1f: PUSH1 0x01
00001a21: PUSH1 0xa0
00001a23: SHL
00001a24: SUB
00001a25: DUP9
00001a26: AND
00001a27: SWAP1
00001a28: PUSH4 0x70a08231
00001a2d: SWAP1
00001a2e: PUSH1 0x24
00001a30: ADD
00001a31: PUSH1 0x20
00001a33: PUSH1 0x40
00001a35: MLOAD
00001a36: DUP1
00001a37: DUP4
00001a38: SUB
00001a39: DUP2
00001a3a: DUP7
00001a3b: GAS
00001a3c: STATICCALL
00001a3d: ISZERO
00001a3e: DUP1
00001a3f: ISZERO
00001a40: PUSH2 0x1a4d
00001a43: JUMPI
00001a44: RETURNDATASIZE
00001a45: PUSH1 0x00
00001a47: DUP1
00001a48: RETURNDATACOPY
00001a49: RETURNDATASIZE
00001a4a: PUSH1 0x00
00001a4c: REVERT
00001a4d: JUMPDEST
00001a4e: POP
00001a4f: POP
00001a50: POP
00001a51: POP
00001a52: PUSH1 0x40
00001a54: MLOAD
00001a55: RETURNDATASIZE
00001a56: PUSH1 0x1f
00001a58: NOT
00001a59: PUSH1 0x1f
00001a5b: DUP3
00001a5c: ADD
00001a5d: AND
00001a5e: DUP3
00001a5f: ADD
00001a60: DUP1
00001a61: PUSH1 0x40
00001a63: MSTORE
00001a64: POP
00001a65: DUP2
00001a66: ADD
00001a67: SWAP1
00001a68: PUSH2 0x1a71
00001a6b: SWAP2
00001a6c: SWAP1
00001a6d: PUSH2 0x3140
00001a70: JUMP
00001a71: JUMPDEST
00001a72: PUSH1 0x40
00001a74: MLOAD
00001a75: PUSH4 0x6eb1769f
00001a7a: PUSH1 0xe1
00001a7c: SHL
00001a7d: DUP2
00001a7e: MSTORE
00001a7f: ADDRESS
00001a80: PUSH1 0x04
00001a82: DUP3
00001a83: ADD
00001a84: MSTORE
00001a85: PUSH1 0x01
00001a87: PUSH1 0x01
00001a89: PUSH1 0xa0
00001a8b: SHL
00001a8c: SUB
00001a8d: DUP6
00001a8e: DUP2
00001a8f: AND
00001a90: PUSH1 0x24
00001a92: DUP4
00001a93: ADD
00001a94: MSTORE
00001a95: SWAP2
00001a96: SWAP3
00001a97: POP
00001a98: PUSH1 0x00
00001a9a: SWAP2
00001a9b: DUP12
00001a9c: AND
00001a9d: SWAP1
00001a9e: PUSH4 0xdd62ed3e
00001aa3: SWAP1
00001aa4: PUSH1 0x44
00001aa6: ADD
00001aa7: PUSH1 0x20
00001aa9: PUSH1 0x40
00001aab: MLOAD
00001aac: DUP1
00001aad: DUP4
00001aae: SUB
00001aaf: DUP2
00001ab0: DUP7
00001ab1: GAS
00001ab2: STATICCALL
00001ab3: ISZERO
00001ab4: DUP1
00001ab5: ISZERO
00001ab6: PUSH2 0x1ac3
00001ab9: JUMPI
00001aba: RETURNDATASIZE
00001abb: PUSH1 0x00
00001abd: DUP1
00001abe: RETURNDATACOPY
00001abf: RETURNDATASIZE
00001ac0: PUSH1 0x00
00001ac2: REVERT
00001ac3: JUMPDEST
00001ac4: POP
00001ac5: POP
00001ac6: POP
00001ac7: POP
00001ac8: PUSH1 0x40
00001aca: MLOAD
00001acb: RETURNDATASIZE
00001acc: PUSH1 0x1f
00001ace: NOT
00001acf: PUSH1 0x1f
00001ad1: DUP3
00001ad2: ADD
00001ad3: AND
00001ad4: DUP3
00001ad5: ADD
00001ad6: DUP1
00001ad7: PUSH1 0x40
00001ad9: MSTORE
00001ada: POP
00001adb: DUP2
00001adc: ADD
00001add: SWAP1
00001ade: PUSH2 0x1ae7
00001ae1: SWAP2
00001ae2: SWAP1
00001ae3: PUSH2 0x3140
00001ae6: JUMP
00001ae7: JUMPDEST
00001ae8: SWAP1
00001ae9: POP
00001aea: DUP9
00001aeb: DUP2
00001aec: LT
00001aed: ISZERO
00001aee: PUSH2 0x1b10
00001af1: JUMPI
00001af2: PUSH2 0x1b10
00001af5: DUP5
00001af6: PUSH2 0x1aff
00001af9: DUP4
00001afa: DUP13
00001afb: PUSH2 0x3076
00001afe: JUMP
00001aff: JUMPDEST
00001b00: PUSH1 0x01
00001b02: PUSH1 0x01
00001b04: PUSH1 0xa0
00001b06: SHL
00001b07: SUB
00001b08: DUP14
00001b09: AND
00001b0a: SWAP2
00001b0b: SWAP1
00001b0c: PUSH2 0x2518
00001b0f: JUMP
00001b10: JUMPDEST
00001b11: PUSH2 0x1b1a
00001b14: DUP7
00001b15: DUP7
00001b16: PUSH2 0x25ca
00001b19: JUMP
00001b1a: JUMPDEST
00001b1b: POP
00001b1c: PUSH1 0x40
00001b1e: MLOAD
00001b1f: PUSH4 0x6eb1769f
00001b24: PUSH1 0xe1
00001b26: SHL
00001b27: DUP2
00001b28: MSTORE
00001b29: ADDRESS
00001b2a: PUSH1 0x04
00001b2c: DUP3
00001b2d: ADD
00001b2e: MSTORE
00001b2f: PUSH1 0x01
00001b31: PUSH1 0x01
00001b33: PUSH1 0xa0
00001b35: SHL
00001b36: SUB
00001b37: DUP6
00001b38: DUP2
00001b39: AND
00001b3a: PUSH1 0x24
00001b3c: DUP4
00001b3d: ADD
00001b3e: MSTORE
00001b3f: DUP12
00001b40: AND
00001b41: SWAP1
00001b42: PUSH4 0xdd62ed3e
00001b47: SWAP1
00001b48: PUSH1 0x44
00001b4a: ADD
00001b4b: PUSH1 0x20
00001b4d: PUSH1 0x40
00001b4f: MLOAD
00001b50: DUP1
00001b51: DUP4
00001b52: SUB
00001b53: DUP2
00001b54: DUP7
00001b55: GAS
00001b56: STATICCALL
00001b57: ISZERO
00001b58: DUP1
00001b59: ISZERO
00001b5a: PUSH2 0x1b67
00001b5d: JUMPI
00001b5e: RETURNDATASIZE
00001b5f: PUSH1 0x00
00001b61: DUP1
00001b62: RETURNDATACOPY
00001b63: RETURNDATASIZE
00001b64: PUSH1 0x00
00001b66: REVERT
00001b67: JUMPDEST
00001b68: POP
00001b69: POP
00001b6a: POP
00001b6b: POP
00001b6c: PUSH1 0x40
00001b6e: MLOAD
00001b6f: RETURNDATASIZE
00001b70: PUSH1 0x1f
00001b72: NOT
00001b73: PUSH1 0x1f
00001b75: DUP3
00001b76: ADD
00001b77: AND
00001b78: DUP3
00001b79: ADD
00001b7a: DUP1
00001b7b: PUSH1 0x40
00001b7d: MSTORE
00001b7e: POP
00001b7f: DUP2
00001b80: ADD
00001b81: SWAP1
00001b82: PUSH2 0x1b8b
00001b85: SWAP2
00001b86: SWAP1
00001b87: PUSH2 0x3140
00001b8a: JUMP
00001b8b: JUMPDEST
00001b8c: SWAP1
00001b8d: POP
00001b8e: PUSH2 0x1ba1
00001b91: PUSH1 0x01
00001b93: PUSH1 0x01
00001b95: PUSH1 0xa0
00001b97: SHL
00001b98: SUB
00001b99: DUP12
00001b9a: AND
00001b9b: DUP6
00001b9c: DUP4
00001b9d: PUSH2 0x2632
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: PUSH1 0x40
00001ba4: MLOAD
00001ba5: PUSH4 0x70a08231
00001baa: PUSH1 0xe0
00001bac: SHL
00001bad: DUP2
00001bae: MSTORE
00001baf: ADDRESS
00001bb0: PUSH1 0x04
00001bb2: DUP3
00001bb3: ADD
00001bb4: MSTORE
00001bb5: PUSH1 0x00
00001bb7: SWAP1
00001bb8: PUSH1 0x01
00001bba: PUSH1 0x01
00001bbc: PUSH1 0xa0
00001bbe: SHL
00001bbf: SUB
00001bc0: DUP11
00001bc1: AND
00001bc2: SWAP1
00001bc3: PUSH4 0x70a08231
00001bc8: SWAP1
00001bc9: PUSH1 0x24
00001bcb: ADD
00001bcc: PUSH1 0x20
00001bce: PUSH1 0x40
00001bd0: MLOAD
00001bd1: DUP1
00001bd2: DUP4
00001bd3: SUB
00001bd4: DUP2
00001bd5: DUP7
00001bd6: GAS
00001bd7: STATICCALL
00001bd8: ISZERO
00001bd9: DUP1
00001bda: ISZERO
00001bdb: PUSH2 0x1be8
00001bde: JUMPI
00001bdf: RETURNDATASIZE
00001be0: PUSH1 0x00
00001be2: DUP1
00001be3: RETURNDATACOPY
00001be4: RETURNDATASIZE
00001be5: PUSH1 0x00
00001be7: REVERT
00001be8: JUMPDEST
00001be9: POP
00001bea: POP
00001beb: POP
00001bec: POP
00001bed: PUSH1 0x40
00001bef: MLOAD
00001bf0: RETURNDATASIZE
00001bf1: PUSH1 0x1f
00001bf3: NOT
00001bf4: PUSH1 0x1f
00001bf6: DUP3
00001bf7: ADD
00001bf8: AND
00001bf9: DUP3
00001bfa: ADD
00001bfb: DUP1
00001bfc: PUSH1 0x40
00001bfe: MSTORE
00001bff: POP
00001c00: DUP2
00001c01: ADD
00001c02: SWAP1
00001c03: PUSH2 0x1c0c
00001c06: SWAP2
00001c07: SWAP1
00001c08: PUSH2 0x3140
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: SWAP1
00001c0e: POP
00001c0f: PUSH2 0x1c18
00001c12: DUP4
00001c13: DUP3
00001c14: PUSH2 0x3076
00001c17: JUMP
00001c18: JUMPDEST
00001c19: SWAP4
00001c1a: POP
00001c1b: DUP8
00001c1c: DUP5
00001c1d: LT
00001c1e: ISZERO
00001c1f: PUSH2 0x1c6a
00001c22: JUMPI
00001c23: PUSH1 0x40
00001c25: MLOAD
00001c26: PUSH3 0x461bcd
00001c2a: PUSH1 0xe5
00001c2c: SHL
00001c2d: DUP2
00001c2e: MSTORE
00001c2f: PUSH1 0x20
00001c31: PUSH1 0x04
00001c33: DUP3
00001c34: ADD
00001c35: MSTORE
00001c36: PUSH1 0x18
00001c38: PUSH1 0x24
00001c3a: DUP3
00001c3b: ADD
00001c3c: MSTORE
00001c3d: PUSH32 0x556e646572626f7567687420627579207175616e746974790000000000000000
00001c5e: PUSH1 0x44
00001c60: DUP3
00001c61: ADD
00001c62: MSTORE
00001c63: PUSH1 0x64
00001c65: ADD
00001c66: PUSH2 0x06e3
00001c69: JUMP
00001c6a: JUMPDEST
00001c6b: POP
00001c6c: POP
00001c6d: POP
00001c6e: PUSH1 0x01
00001c70: DUP1
00001c71: SSTORE
00001c72: SWAP8
00001c73: SWAP7
00001c74: POP
00001c75: POP
00001c76: POP
00001c77: POP
00001c78: POP
00001c79: POP
00001c7a: POP
00001c7b: JUMP
00001c7c: JUMPDEST
00001c7d: PUSH2 0x1c85
00001c80: CALLER
00001c81: PUSH2 0x1239
00001c84: JUMP
00001c85: JUMPDEST
00001c86: PUSH2 0x1ca1
00001c89: JUMPI
00001c8a: PUSH1 0x40
00001c8c: MLOAD
00001c8d: PUSH3 0x461bcd
00001c91: PUSH1 0xe5
00001c93: SHL
00001c94: DUP2
00001c95: MSTORE
00001c96: PUSH1 0x04
00001c98: ADD
00001c99: PUSH2 0x06e3
00001c9c: SWAP1
00001c9d: PUSH2 0x3089
00001ca0: JUMP
00001ca1: JUMPDEST
00001ca2: PUSH1 0x01
00001ca4: SLOAD
00001ca5: PUSH1 0x01
00001ca7: EQ
00001ca8: PUSH2 0x1cc3
00001cab: JUMPI
00001cac: PUSH1 0x40
00001cae: MLOAD
00001caf: PUSH3 0x461bcd
00001cb3: PUSH1 0xe5
00001cb5: SHL
00001cb6: DUP2
00001cb7: MSTORE
00001cb8: PUSH1 0x04
00001cba: ADD
00001cbb: PUSH2 0x06e3
00001cbe: SWAP1
00001cbf: PUSH2 0x303c
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: PUSH1 0x02
00001cc6: PUSH1 0x01
00001cc8: SWAP1
00001cc9: DUP2
00001cca: SSTORE
00001ccb: PUSH1 0x11
00001ccd: SLOAD
00001cce: PUSH1 0xff
00001cd0: AND
00001cd1: PUSH1 0x01
00001cd3: DUP2
00001cd4: GT
00001cd5: ISZERO
00001cd6: PUSH2 0x1ce1
00001cd9: JUMPI
00001cda: PUSH2 0x1ce1
00001cdd: PUSH2 0x30b3
00001ce0: JUMP
00001ce1: JUMPDEST
00001ce2: EQ
00001ce3: PUSH2 0x1d27
00001ce6: JUMPI
00001ce7: PUSH1 0x40
00001ce9: MLOAD
00001cea: PUSH3 0x461bcd
00001cee: PUSH1 0xe5
00001cf0: SHL
00001cf1: DUP2
00001cf2: MSTORE
00001cf3: PUSH1 0x20
00001cf5: PUSH1 0x04
00001cf7: DUP3
00001cf8: ADD
00001cf9: MSTORE
00001cfa: PUSH1 0x16
00001cfc: PUSH1 0x24
00001cfe: DUP3
00001cff: ADD
00001d00: MSTORE
00001d01: PUSH22 0x139bdb881c99595b9d1c985b98de48185b1b1bddd959
00001d18: PUSH1 0x52
00001d1a: SHL
00001d1b: PUSH1 0x44
00001d1d: DUP3
00001d1e: ADD
00001d1f: MSTORE
00001d20: PUSH1 0x64
00001d22: ADD
00001d23: PUSH2 0x06e3
00001d26: JUMP
00001d27: JUMPDEST
00001d28: PUSH1 0x11
00001d2a: DUP1
00001d2b: SLOAD
00001d2c: PUSH1 0xff
00001d2e: NOT
00001d2f: AND
00001d30: SWAP1
00001d31: SSTORE
00001d32: PUSH1 0x00
00001d34: JUMPDEST
00001d35: PUSH1 0x09
00001d37: SLOAD
00001d38: DUP2
00001d39: LT
00001d3a: ISZERO
00001d3b: PUSH2 0x1e8a
00001d3e: JUMPI
00001d3f: PUSH1 0x00
00001d41: PUSH1 0x09
00001d43: DUP3
00001d44: DUP2
00001d45: SLOAD
00001d46: DUP2
00001d47: LT
00001d48: PUSH2 0x1d53
00001d4b: JUMPI
00001d4c: PUSH2 0x1d53
00001d4f: PUSH2 0x3111
00001d52: JUMP
00001d53: JUMPDEST
00001d54: PUSH1 0x00
00001d56: SWAP2
00001d57: DUP3
00001d58: MSTORE
00001d59: PUSH1 0x20
00001d5b: DUP3
00001d5c: KECCAK256
00001d5d: ADD
00001d5e: SLOAD
00001d5f: PUSH1 0x40
00001d61: MLOAD
00001d62: PUSH4 0x70a08231
00001d67: PUSH1 0xe0
00001d69: SHL
00001d6a: DUP2
00001d6b: MSTORE
00001d6c: ADDRESS
00001d6d: PUSH1 0x04
00001d6f: DUP3
00001d70: ADD
00001d71: MSTORE
00001d72: PUSH1 0x01
00001d74: PUSH1 0x01
00001d76: PUSH1 0xa0
00001d78: SHL
00001d79: SUB
00001d7a: SWAP1
00001d7b: SWAP2
00001d7c: AND
00001d7d: SWAP3
00001d7e: POP
00001d7f: DUP3
00001d80: SWAP1
00001d81: PUSH4 0x70a08231
00001d86: SWAP1
00001d87: PUSH1 0x24
00001d89: ADD
00001d8a: PUSH1 0x20
00001d8c: PUSH1 0x40
00001d8e: MLOAD
00001d8f: DUP1
00001d90: DUP4
00001d91: SUB
00001d92: DUP2
00001d93: DUP7
00001d94: GAS
00001d95: STATICCALL
00001d96: ISZERO
00001d97: DUP1
00001d98: ISZERO
00001d99: PUSH2 0x1da6
00001d9c: JUMPI
00001d9d: RETURNDATASIZE
00001d9e: PUSH1 0x00
00001da0: DUP1
00001da1: RETURNDATACOPY
00001da2: RETURNDATASIZE
00001da3: PUSH1 0x00
00001da5: REVERT
00001da6: JUMPDEST
00001da7: POP
00001da8: POP
00001da9: POP
00001daa: POP
00001dab: PUSH1 0x40
00001dad: MLOAD
00001dae: RETURNDATASIZE
00001daf: PUSH1 0x1f
00001db1: NOT
00001db2: PUSH1 0x1f
00001db4: DUP3
00001db5: ADD
00001db6: AND
00001db7: DUP3
00001db8: ADD
00001db9: DUP1
00001dba: PUSH1 0x40
00001dbc: MSTORE
00001dbd: POP
00001dbe: DUP2
00001dbf: ADD
00001dc0: SWAP1
00001dc1: PUSH2 0x1dca
00001dc4: SWAP2
00001dc5: SWAP1
00001dc6: PUSH2 0x3140
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: SWAP1
00001dcc: POP
00001dcd: PUSH1 0x00
00001dcf: PUSH2 0x1e08
00001dd2: PUSH1 0x04
00001dd4: SLOAD
00001dd5: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000012
00001df6: PUSH1 0xff
00001df8: AND
00001df9: DUP5
00001dfa: PUSH2 0x2745
00001dfd: SWAP1
00001dfe: SWAP3
00001dff: SWAP2
00001e00: SWAP1
00001e01: PUSH4 0xffffffff
00001e06: AND
00001e07: JUMP
00001e08: JUMPDEST
00001e09: SWAP1
00001e0a: POP
00001e0b: PUSH1 0x00
00001e0d: DUP2
00001e0e: GT
00001e0f: PUSH2 0x1e5a
00001e12: JUMPI
00001e13: PUSH1 0x40
00001e15: MLOAD
00001e16: PUSH3 0x461bcd
00001e1a: PUSH1 0xe5
00001e1c: SHL
00001e1d: DUP2
00001e1e: MSTORE
00001e1f: PUSH1 0x20
00001e21: PUSH1 0x04
00001e23: DUP3
00001e24: ADD
00001e25: MSTORE
00001e26: PUSH1 0x19
00001e28: PUSH1 0x24
00001e2a: DUP3
00001e2b: ADD
00001e2c: MSTORE
00001e2d: PUSH32 0x5a65726f207175616e74697479206e6f7420616c6c6f77656400000000000000
00001e4e: PUSH1 0x44
00001e50: DUP3
00001e51: ADD
00001e52: MSTORE
00001e53: PUSH1 0x64
00001e55: ADD
00001e56: PUSH2 0x06e3
00001e59: JUMP
00001e5a: JUMPDEST
00001e5b: PUSH1 0x01
00001e5d: PUSH1 0x01
00001e5f: PUSH1 0xa0
00001e61: SHL
00001e62: SUB
00001e63: SWAP1
00001e64: SWAP3
00001e65: AND
00001e66: PUSH1 0x00
00001e68: SWAP1
00001e69: DUP2
00001e6a: MSTORE
00001e6b: PUSH1 0x0a
00001e6d: PUSH1 0x20
00001e6f: MSTORE
00001e70: PUSH1 0x40
00001e72: SWAP1
00001e73: KECCAK256
00001e74: SWAP2
00001e75: SWAP1
00001e76: SWAP2
00001e77: SSTORE
00001e78: POP
00001e79: DUP1
00001e7a: PUSH2 0x1e82
00001e7d: DUP2
00001e7e: PUSH2 0x3127
00001e81: JUMP
00001e82: JUMPDEST
00001e83: SWAP2
00001e84: POP
00001e85: POP
00001e86: PUSH2 0x1d34
00001e89: JUMP
00001e8a: JUMPDEST
00001e8b: POP
00001e8c: PUSH1 0x11
00001e8e: DUP1
00001e8f: SLOAD
00001e90: PUSH1 0x01
00001e92: SWAP2
00001e93: SWAP1
00001e94: PUSH1 0xff
00001e96: NOT
00001e97: AND
00001e98: DUP3
00001e99: DUP1
00001e9a: PUSH2 0x098a
00001e9d: JUMP
00001e9e: JUMPDEST
00001e9f: TIMESTAMP
00001ea0: DUP5
00001ea1: LT
00001ea2: ISZERO
00001ea3: PUSH2 0x1eee
00001ea6: JUMPI
00001ea7: PUSH1 0x40
00001ea9: MLOAD
00001eaa: PUSH3 0x461bcd
00001eae: PUSH1 0xe5
00001eb0: SHL
00001eb1: DUP2
00001eb2: MSTORE
00001eb3: PUSH1 0x20
00001eb5: PUSH1 0x04
00001eb7: DUP3
00001eb8: ADD
00001eb9: MSTORE
00001eba: PUSH1 0x17
00001ebc: PUSH1 0x24
00001ebe: DUP3
00001ebf: ADD
00001ec0: MSTORE
00001ec1: PUSH32 0x5045524d49545f444541444c494e455f45585049524544000000000000000000
00001ee2: PUSH1 0x44
00001ee4: DUP3
00001ee5: ADD
00001ee6: MSTORE
00001ee7: PUSH1 0x64
00001ee9: ADD
00001eea: PUSH2 0x06e3
00001eed: JUMP
00001eee: JUMPDEST
00001eef: PUSH1 0x00
00001ef1: PUSH1 0x01
00001ef3: PUSH2 0x1efa
00001ef6: PUSH2 0x0e8e
00001ef9: JUMP
00001efa: JUMPDEST
00001efb: PUSH1 0x01
00001efd: PUSH1 0x01
00001eff: PUSH1 0xa0
00001f01: SHL
00001f02: SUB
00001f03: DUP11
00001f04: DUP2
00001f05: AND
00001f06: PUSH1 0x00
00001f08: DUP2
00001f09: DUP2
00001f0a: MSTORE
00001f0b: PUSH1 0x07
00001f0d: PUSH1 0x20
00001f0f: SWAP1
00001f10: DUP2
00001f11: MSTORE
00001f12: PUSH1 0x40
00001f14: SWAP2
00001f15: DUP3
00001f16: SWAP1
00001f17: KECCAK256
00001f18: DUP1
00001f19: SLOAD
00001f1a: PUSH1 0x01
00001f1c: DUP2
00001f1d: ADD
00001f1e: SWAP1
00001f1f: SWAP2
00001f20: SSTORE
00001f21: DUP3
00001f22: MLOAD
00001f23: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00001f44: DUP2
00001f45: DUP5
00001f46: ADD
00001f47: MSTORE
00001f48: DUP1
00001f49: DUP5
00001f4a: ADD
00001f4b: SWAP5
00001f4c: SWAP1
00001f4d: SWAP5
00001f4e: MSTORE
00001f4f: SWAP4
00001f50: DUP14
00001f51: AND
00001f52: PUSH1 0x60
00001f54: DUP5
00001f55: ADD
00001f56: MSTORE
00001f57: PUSH1 0x80
00001f59: DUP4
00001f5a: ADD
00001f5b: DUP13
00001f5c: SWAP1
00001f5d: MSTORE
00001f5e: PUSH1 0xa0
00001f60: DUP4
00001f61: ADD
00001f62: SWAP4
00001f63: SWAP1
00001f64: SWAP4
00001f65: MSTORE
00001f66: PUSH1 0xc0
00001f68: DUP1
00001f69: DUP4
00001f6a: ADD
00001f6b: DUP12
00001f6c: SWAP1
00001f6d: MSTORE
00001f6e: DUP2
00001f6f: MLOAD
00001f70: DUP1
00001f71: DUP5
00001f72: SUB
00001f73: SWAP1
00001f74: SWAP2
00001f75: ADD
00001f76: DUP2
00001f77: MSTORE
00001f78: PUSH1 0xe0
00001f7a: DUP4
00001f7b: ADD
00001f7c: SWAP1
00001f7d: SWAP2
00001f7e: MSTORE
00001f7f: DUP1
00001f80: MLOAD
00001f81: SWAP3
00001f82: ADD
00001f83: SWAP2
00001f84: SWAP1
00001f85: SWAP2
00001f86: KECCAK256
00001f87: PUSH2 0x1901
00001f8a: PUSH1 0xf0
00001f8c: SHL
00001f8d: PUSH2 0x0100
00001f90: DUP4
00001f91: ADD
00001f92: MSTORE
00001f93: PUSH2 0x0102
00001f96: DUP3
00001f97: ADD
00001f98: SWAP3
00001f99: SWAP1
00001f9a: SWAP3
00001f9b: MSTORE
00001f9c: PUSH2 0x0122
00001f9f: DUP2
00001fa0: ADD
00001fa1: SWAP2
00001fa2: SWAP1
00001fa3: SWAP2
00001fa4: MSTORE
00001fa5: PUSH2 0x0142
00001fa8: ADD
00001fa9: PUSH1 0x40
00001fab: DUP1
00001fac: MLOAD
00001fad: PUSH1 0x1f
00001faf: NOT
00001fb0: DUP2
00001fb1: DUP5
00001fb2: SUB
00001fb3: ADD
00001fb4: DUP2
00001fb5: MSTORE
00001fb6: DUP3
00001fb7: DUP3
00001fb8: MSTORE
00001fb9: DUP1
00001fba: MLOAD
00001fbb: PUSH1 0x20
00001fbd: SWAP2
00001fbe: DUP3
00001fbf: ADD
00001fc0: KECCAK256
00001fc1: PUSH1 0x00
00001fc3: DUP5
00001fc4: MSTORE
00001fc5: SWAP1
00001fc6: DUP4
00001fc7: ADD
00001fc8: DUP1
00001fc9: DUP4
00001fca: MSTORE
00001fcb: MSTORE
00001fcc: PUSH1 0xff
00001fce: DUP8
00001fcf: AND
00001fd0: SWAP1
00001fd1: DUP3
00001fd2: ADD
00001fd3: MSTORE
00001fd4: PUSH1 0x60
00001fd6: DUP2
00001fd7: ADD
00001fd8: DUP6
00001fd9: SWAP1
00001fda: MSTORE
00001fdb: PUSH1 0x80
00001fdd: DUP2
00001fde: ADD
00001fdf: DUP5
00001fe0: SWAP1
00001fe1: MSTORE
00001fe2: PUSH1 0xa0
00001fe4: ADD
00001fe5: PUSH1 0x20
00001fe7: PUSH1 0x40
00001fe9: MLOAD
00001fea: PUSH1 0x20
00001fec: DUP2
00001fed: SUB
00001fee: SWAP1
00001fef: DUP1
00001ff0: DUP5
00001ff1: SUB
00001ff2: SWAP1
00001ff3: DUP6
00001ff4: GAS
00001ff5: STATICCALL
00001ff6: ISZERO
00001ff7: DUP1
00001ff8: ISZERO
00001ff9: PUSH2 0x2006
00001ffc: JUMPI
00001ffd: RETURNDATASIZE
00001ffe: PUSH1 0x00
00002000: DUP1
00002001: RETURNDATACOPY
00002002: RETURNDATASIZE
00002003: PUSH1 0x00
00002005: REVERT
00002006: JUMPDEST
00002007: POP
00002008: POP
00002009: PUSH1 0x40
0000200b: MLOAD
0000200c: PUSH1 0x1f
0000200e: NOT
0000200f: ADD
00002010: MLOAD
00002011: SWAP2
00002012: POP
00002013: POP
00002014: PUSH1 0x01
00002016: PUSH1 0x01
00002018: PUSH1 0xa0
0000201a: SHL
0000201b: SUB
0000201c: DUP2
0000201d: AND
0000201e: ISZERO
0000201f: DUP1
00002020: ISZERO
00002021: SWAP1
00002022: PUSH2 0x203c
00002025: JUMPI
00002026: POP
00002027: DUP8
00002028: PUSH1 0x01
0000202a: PUSH1 0x01
0000202c: PUSH1 0xa0
0000202e: SHL
0000202f: SUB
00002030: AND
00002031: DUP2
00002032: PUSH1 0x01
00002034: PUSH1 0x01
00002036: PUSH1 0xa0
00002038: SHL
00002039: SUB
0000203a: AND
0000203b: EQ
0000203c: JUMPDEST
0000203d: PUSH2 0x2079
00002040: JUMPI
00002041: PUSH1 0x40
00002043: MLOAD
00002044: PUSH3 0x461bcd
00002048: PUSH1 0xe5
0000204a: SHL
0000204b: DUP2
0000204c: MSTORE
0000204d: PUSH1 0x20
0000204f: PUSH1 0x04
00002051: DUP3
00002052: ADD
00002053: MSTORE
00002054: PUSH1 0x0e
00002056: PUSH1 0x24
00002058: DUP3
00002059: ADD
0000205a: MSTORE
0000205b: PUSH14 0x24a72b20a624a22fa9a4a3a722a9
0000206a: PUSH1 0x91
0000206c: SHL
0000206d: PUSH1 0x44
0000206f: DUP3
00002070: ADD
00002071: MSTORE
00002072: PUSH1 0x64
00002074: ADD
00002075: PUSH2 0x06e3
00002078: JUMP
00002079: JUMPDEST
0000207a: PUSH1 0x01
0000207c: PUSH1 0x01
0000207e: PUSH1 0xa0
00002080: SHL
00002081: SUB
00002082: SWAP1
00002083: DUP2
00002084: AND
00002085: PUSH1 0x00
00002087: SWAP1
00002088: DUP2
00002089: MSTORE
0000208a: PUSH1 0x06
0000208c: PUSH1 0x20
0000208e: SWAP1
0000208f: DUP2
00002090: MSTORE
00002091: PUSH1 0x40
00002093: DUP1
00002094: DUP4
00002095: KECCAK256
00002096: DUP11
00002097: DUP6
00002098: AND
00002099: DUP1
0000209a: DUP6
0000209b: MSTORE
0000209c: SWAP1
0000209d: DUP4
0000209e: MSTORE
0000209f: SWAP3
000020a0: DUP2
000020a1: SWAP1
000020a2: KECCAK256
000020a3: DUP10
000020a4: SWAP1
000020a5: SSTORE
000020a6: MLOAD
000020a7: DUP9
000020a8: DUP2
000020a9: MSTORE
000020aa: SWAP2
000020ab: SWAP3
000020ac: DUP11
000020ad: AND
000020ae: SWAP2
000020af: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000020d0: SWAP2
000020d1: ADD
000020d2: PUSH1 0x40
000020d4: MLOAD
000020d5: DUP1
000020d6: SWAP2
000020d7: SUB
000020d8: SWAP1
000020d9: LOG3
000020da: POP
000020db: POP
000020dc: POP
000020dd: POP
000020de: POP
000020df: POP
000020e0: POP
000020e1: JUMP
000020e2: JUMPDEST
000020e3: PUSH1 0x00
000020e5: SLOAD
000020e6: PUSH1 0x01
000020e8: PUSH1 0x01
000020ea: PUSH1 0xa0
000020ec: SHL
000020ed: SUB
000020ee: AND
000020ef: CALLER
000020f0: EQ
000020f1: PUSH2 0x210c
000020f4: JUMPI
000020f5: PUSH1 0x40
000020f7: MLOAD
000020f8: PUSH3 0x461bcd
000020fc: PUSH1 0xe5
000020fe: SHL
000020ff: DUP2
00002100: MSTORE
00002101: PUSH1 0x04
00002103: ADD
00002104: PUSH2 0x06e3
00002107: SWAP1
00002108: PUSH2 0x30eb
0000210b: JUMP
0000210c: JUMPDEST
0000210d: PUSH1 0x00
0000210f: DUP1
00002110: SLOAD
00002111: PUSH1 0x01
00002113: PUSH1 0x01
00002115: PUSH1 0xa0
00002117: SHL
00002118: SUB
00002119: NOT
0000211a: AND
0000211b: PUSH1 0x01
0000211d: PUSH1 0x01
0000211f: PUSH1 0xa0
00002121: SHL
00002122: SUB
00002123: DUP4
00002124: AND
00002125: SWAP1
00002126: DUP2
00002127: OR
00002128: DUP3
00002129: SSTORE
0000212a: PUSH1 0x40
0000212c: MLOAD
0000212d: SWAP1
0000212e: SWAP2
0000212f: CALLER
00002130: SWAP2
00002131: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002152: SWAP2
00002153: SWAP1
00002154: LOG3
00002155: POP
00002156: JUMP
00002157: JUMPDEST
00002158: PUSH1 0x00
0000215a: PUSH2 0x06b8
0000215d: PUSH1 0x0d
0000215f: DUP4
00002160: PUSH2 0x242c
00002163: JUMP
00002164: JUMPDEST
00002165: PUSH1 0x00
00002167: PUSH2 0x06b8
0000216a: PUSH1 0x0f
0000216c: DUP4
0000216d: PUSH2 0x242c
00002170: JUMP
00002171: JUMPDEST
00002172: PUSH1 0x00
00002174: PUSH2 0x2186
00002177: DUP4
00002178: PUSH1 0x01
0000217a: PUSH1 0x01
0000217c: PUSH1 0xa0
0000217e: SHL
0000217f: SUB
00002180: DUP5
00002181: AND
00002182: PUSH2 0x27b0
00002185: JUMP
00002186: JUMPDEST
00002187: SWAP4
00002188: SWAP3
00002189: POP
0000218a: POP
0000218b: POP
0000218c: JUMP
0000218d: JUMPDEST
0000218e: PUSH1 0x00
00002190: PUSH2 0x2186
00002193: DUP4
00002194: PUSH1 0x01
00002196: PUSH1 0x01
00002198: PUSH1 0xa0
0000219a: SHL
0000219b: SUB
0000219c: DUP5
0000219d: AND
0000219e: PUSH2 0x27ff
000021a1: JUMP
000021a2: JUMPDEST
000021a3: PUSH1 0x00
000021a5: DUP1
000021a6: PUSH2 0x2208
000021a9: DUP5
000021aa: DUP1
000021ab: SLOAD
000021ac: DUP1
000021ad: PUSH1 0x20
000021af: MUL
000021b0: PUSH1 0x20
000021b2: ADD
000021b3: PUSH1 0x40
000021b5: MLOAD
000021b6: SWAP1
000021b7: DUP2
000021b8: ADD
000021b9: PUSH1 0x40
000021bb: MSTORE
000021bc: DUP1
000021bd: SWAP3
000021be: SWAP2
000021bf: SWAP1
000021c0: DUP2
000021c1: DUP2
000021c2: MSTORE
000021c3: PUSH1 0x20
000021c5: ADD
000021c6: DUP3
000021c7: DUP1
000021c8: SLOAD
000021c9: DUP1
000021ca: ISZERO
000021cb: PUSH2 0x21fd
000021ce: JUMPI
000021cf: PUSH1 0x20
000021d1: MUL
000021d2: DUP3
000021d3: ADD
000021d4: SWAP2
000021d5: SWAP1
000021d6: PUSH1 0x00
000021d8: MSTORE
000021d9: PUSH1 0x20
000021db: PUSH1 0x00
000021dd: KECCAK256
000021de: SWAP1
000021df: JUMPDEST
000021e0: DUP2
000021e1: SLOAD
000021e2: PUSH1 0x01
000021e4: PUSH1 0x01
000021e6: PUSH1 0xa0
000021e8: SHL
000021e9: SUB
000021ea: AND
000021eb: DUP2
000021ec: MSTORE
000021ed: PUSH1 0x01
000021ef: SWAP1
000021f0: SWAP2
000021f1: ADD
000021f2: SWAP1
000021f3: PUSH1 0x20
000021f5: ADD
000021f6: DUP1
000021f7: DUP4
000021f8: GT
000021f9: PUSH2 0x21df
000021fc: JUMPI
000021fd: JUMPDEST
000021fe: POP
000021ff: POP
00002200: POP
00002201: POP
00002202: POP
00002203: DUP5
00002204: PUSH2 0x28f2
00002207: JUMP
00002208: JUMPDEST
00002209: SWAP2
0000220a: POP
0000220b: SWAP2
0000220c: POP
0000220d: DUP1
0000220e: PUSH2 0x2250
00002211: JUMPI
00002212: PUSH1 0x40
00002214: MLOAD
00002215: PUSH3 0x461bcd
00002219: PUSH1 0xe5
0000221b: SHL
0000221c: DUP2
0000221d: MSTORE
0000221e: PUSH1 0x20
00002220: PUSH1 0x04
00002222: DUP3
00002223: ADD
00002224: MSTORE
00002225: PUSH1 0x14
00002227: PUSH1 0x24
00002229: DUP3
0000222a: ADD
0000222b: MSTORE
0000222c: PUSH20 0x41646472657373206e6f7420696e206172726179
00002241: PUSH1 0x60
00002243: SHL
00002244: PUSH1 0x44
00002246: DUP3
00002247: ADD
00002248: MSTORE
00002249: PUSH1 0x64
0000224b: ADD
0000224c: PUSH2 0x06e3
0000224f: JUMP
00002250: JUMPDEST
00002251: DUP4
00002252: SLOAD
00002253: PUSH1 0x00
00002255: SWAP1
00002256: PUSH2 0x2261
00002259: SWAP1
0000225a: PUSH1 0x01
0000225c: SWAP1
0000225d: PUSH2 0x3076
00002260: JUMP
00002261: JUMPDEST
00002262: SWAP1
00002263: POP
00002264: DUP1
00002265: DUP4
00002266: EQ
00002267: PUSH2 0x22db
0000226a: JUMPI
0000226b: DUP5
0000226c: DUP2
0000226d: DUP2
0000226e: SLOAD
0000226f: DUP2
00002270: LT
00002271: PUSH2 0x227c
00002274: JUMPI
00002275: PUSH2 0x227c
00002278: PUSH2 0x3111
0000227b: JUMP
0000227c: JUMPDEST
0000227d: SWAP1
0000227e: PUSH1 0x00
00002280: MSTORE
00002281: PUSH1 0x20
00002283: PUSH1 0x00
00002285: KECCAK256
00002286: ADD
00002287: PUSH1 0x00
00002289: SWAP1
0000228a: SLOAD
0000228b: SWAP1
0000228c: PUSH2 0x0100
0000228f: EXP
00002290: SWAP1
00002291: DIV
00002292: PUSH1 0x01
00002294: PUSH1 0x01
00002296: PUSH1 0xa0
00002298: SHL
00002299: SUB
0000229a: AND
0000229b: DUP6
0000229c: DUP5
0000229d: DUP2
0000229e: SLOAD
0000229f: DUP2
000022a0: LT
000022a1: PUSH2 0x22ac
000022a4: JUMPI
000022a5: PUSH2 0x22ac
000022a8: PUSH2 0x3111
000022ab: JUMP
000022ac: JUMPDEST
000022ad: SWAP1
000022ae: PUSH1 0x00
000022b0: MSTORE
000022b1: PUSH1 0x20
000022b3: PUSH1 0x00
000022b5: KECCAK256
000022b6: ADD
000022b7: PUSH1 0x00
000022b9: PUSH2 0x0100
000022bc: EXP
000022bd: DUP2
000022be: SLOAD
000022bf: DUP2
000022c0: PUSH1 0x01
000022c2: PUSH1 0x01
000022c4: PUSH1 0xa0
000022c6: SHL
000022c7: SUB
000022c8: MUL
000022c9: NOT
000022ca: AND
000022cb: SWAP1
000022cc: DUP4
000022cd: PUSH1 0x01
000022cf: PUSH1 0x01
000022d1: PUSH1 0xa0
000022d3: SHL
000022d4: SUB
000022d5: AND
000022d6: MUL
000022d7: OR
000022d8: SWAP1
000022d9: SSTORE
000022da: POP
000022db: JUMPDEST
000022dc: DUP5
000022dd: DUP1
000022de: SLOAD
000022df: DUP1
000022e0: PUSH2 0x22eb
000022e3: JUMPI
000022e4: PUSH2 0x22eb
000022e7: PUSH2 0x3159
000022ea: JUMP
000022eb: JUMPDEST
000022ec: PUSH1 0x00
000022ee: DUP3
000022ef: DUP2
000022f0: MSTORE
000022f1: PUSH1 0x20
000022f3: SWAP1
000022f4: KECCAK256
000022f5: DUP2
000022f6: ADD
000022f7: PUSH1 0x00
000022f9: NOT
000022fa: SWAP1
000022fb: DUP2
000022fc: ADD
000022fd: DUP1
000022fe: SLOAD
000022ff: PUSH1 0x01
00002301: PUSH1 0x01
00002303: PUSH1 0xa0
00002305: SHL
00002306: SUB
00002307: NOT
00002308: AND
00002309: SWAP1
0000230a: SSTORE
0000230b: ADD
0000230c: SWAP1
0000230d: SSTORE
0000230e: POP
0000230f: JUMPDEST
00002310: POP
00002311: POP
00002312: POP
00002313: POP
00002314: JUMP
00002315: JUMPDEST
00002316: PUSH1 0x00
00002318: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00002339: PUSH1 0x02
0000233b: PUSH1 0x40
0000233d: MLOAD
0000233e: PUSH2 0x2347
00002341: SWAP2
00002342: SWAP1
00002343: PUSH2 0x316f
00002346: JUMP
00002347: JUMPDEST
00002348: PUSH1 0x40
0000234a: DUP1
0000234b: MLOAD
0000234c: SWAP2
0000234d: DUP3
0000234e: SWAP1
0000234f: SUB
00002350: DUP3
00002351: KECCAK256
00002352: PUSH1 0x20
00002354: DUP4
00002355: ADD
00002356: SWAP4
00002357: SWAP1
00002358: SWAP4
00002359: MSTORE
0000235a: DUP2
0000235b: ADD
0000235c: SWAP2
0000235d: SWAP1
0000235e: SWAP2
0000235f: MSTORE
00002360: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
00002381: PUSH1 0x60
00002383: DUP3
00002384: ADD
00002385: MSTORE
00002386: CHAINID
00002387: PUSH1 0x80
00002389: DUP3
0000238a: ADD
0000238b: MSTORE
0000238c: ADDRESS
0000238d: PUSH1 0xa0
0000238f: DUP3
00002390: ADD
00002391: MSTORE
00002392: PUSH1 0xc0
00002394: ADD
00002395: PUSH1 0x40
00002397: MLOAD
00002398: PUSH1 0x20
0000239a: DUP2
0000239b: DUP4
0000239c: SUB
0000239d: SUB
0000239e: DUP2
0000239f: MSTORE
000023a0: SWAP1
000023a1: PUSH1 0x40
000023a3: MSTORE
000023a4: DUP1
000023a5: MLOAD
000023a6: SWAP1
000023a7: PUSH1 0x20
000023a9: ADD
000023aa: KECCAK256
000023ab: SWAP1
000023ac: POP
000023ad: SWAP1
000023ae: JUMP
000023af: JUMPDEST
000023b0: DUP1
000023b1: PUSH1 0x04
000023b3: PUSH1 0x00
000023b5: DUP3
000023b6: DUP3
000023b7: SLOAD
000023b8: PUSH2 0x23c1
000023bb: SWAP2
000023bc: SWAP1
000023bd: PUSH2 0x320e
000023c0: JUMP
000023c1: JUMPDEST
000023c2: SWAP1
000023c3: SWAP2
000023c4: SSTORE
000023c5: POP
000023c6: POP
000023c7: PUSH1 0x01
000023c9: PUSH1 0x01
000023cb: PUSH1 0xa0
000023cd: SHL
000023ce: SUB
000023cf: DUP3
000023d0: AND
000023d1: PUSH1 0x00
000023d3: DUP2
000023d4: DUP2
000023d5: MSTORE
000023d6: PUSH1 0x05
000023d8: PUSH1 0x20
000023da: SWAP1
000023db: DUP2
000023dc: MSTORE
000023dd: PUSH1 0x40
000023df: DUP1
000023e0: DUP4
000023e1: KECCAK256
000023e2: DUP1
000023e3: SLOAD
000023e4: DUP7
000023e5: ADD
000023e6: SWAP1
000023e7: SSTORE
000023e8: MLOAD
000023e9: DUP5
000023ea: DUP2
000023eb: MSTORE
000023ec: PUSH1 0x00
000023ee: DUP1
000023ef: MLOAD
000023f0: PUSH1 0x20
000023f2: PUSH2 0x3367
000023f5: DUP4
000023f6: CODECOPY
000023f7: DUP2
000023f8: MLOAD
000023f9: SWAP2
000023fa: MSTORE
000023fb: SWAP2
000023fc: ADD
000023fd: JUMPDEST
000023fe: PUSH1 0x40
00002400: MLOAD
00002401: DUP1
00002402: SWAP2
00002403: SUB
00002404: SWAP1
00002405: LOG3
00002406: POP
00002407: POP
00002408: JUMP
00002409: JUMPDEST
0000240a: PUSH1 0x60
0000240c: PUSH1 0x00
0000240e: PUSH2 0x2186
00002411: DUP4
00002412: PUSH2 0x2965
00002415: JUMP
00002416: JUMPDEST
00002417: PUSH1 0x00
00002419: DUP1
0000241a: PUSH2 0x2423
0000241d: DUP5
0000241e: DUP5
0000241f: PUSH2 0x28f2
00002422: JUMP
00002423: JUMPDEST
00002424: SWAP6
00002425: SWAP5
00002426: POP
00002427: POP
00002428: POP
00002429: POP
0000242a: POP
0000242b: JUMP
0000242c: JUMPDEST
0000242d: PUSH1 0x01
0000242f: PUSH1 0x01
00002431: PUSH1 0xa0
00002433: SHL
00002434: SUB
00002435: DUP2
00002436: AND
00002437: PUSH1 0x00
00002439: SWAP1
0000243a: DUP2
0000243b: MSTORE
0000243c: PUSH1 0x01
0000243e: DUP4
0000243f: ADD
00002440: PUSH1 0x20
00002442: MSTORE
00002443: PUSH1 0x40
00002445: DUP2
00002446: KECCAK256
00002447: SLOAD
00002448: ISZERO
00002449: ISZERO
0000244a: PUSH2 0x2186
0000244d: JUMP
0000244e: JUMPDEST
0000244f: PUSH1 0x01
00002451: PUSH1 0x01
00002453: PUSH1 0xa0
00002455: SHL
00002456: SUB
00002457: DUP3
00002458: AND
00002459: PUSH1 0x00
0000245b: SWAP1
0000245c: DUP2
0000245d: MSTORE
0000245e: PUSH1 0x05
00002460: PUSH1 0x20
00002462: MSTORE
00002463: PUSH1 0x40
00002465: DUP2
00002466: KECCAK256
00002467: DUP1
00002468: SLOAD
00002469: DUP4
0000246a: SWAP3
0000246b: SWAP1
0000246c: PUSH2 0x2476
0000246f: SWAP1
00002470: DUP5
00002471: SWAP1
00002472: PUSH2 0x3076
00002475: JUMP
00002476: JUMPDEST
00002477: SWAP1
00002478: SWAP2
00002479: SSTORE
0000247a: POP
0000247b: POP
0000247c: PUSH1 0x04
0000247e: DUP1
0000247f: SLOAD
00002480: DUP3
00002481: SWAP1
00002482: SUB
00002483: SWAP1
00002484: SSTORE
00002485: PUSH1 0x40
00002487: MLOAD
00002488: DUP2
00002489: DUP2
0000248a: MSTORE
0000248b: PUSH1 0x00
0000248d: SWAP1
0000248e: PUSH1 0x01
00002490: PUSH1 0x01
00002492: PUSH1 0xa0
00002494: SHL
00002495: SUB
00002496: DUP5
00002497: AND
00002498: SWAP1
00002499: PUSH1 0x00
0000249b: DUP1
0000249c: MLOAD
0000249d: PUSH1 0x20
0000249f: PUSH2 0x3367
000024a2: DUP4
000024a3: CODECOPY
000024a4: DUP2
000024a5: MLOAD
000024a6: SWAP2
000024a7: MSTORE
000024a8: SWAP1
000024a9: PUSH1 0x20
000024ab: ADD
000024ac: PUSH2 0x23fd
000024af: JUMP
000024b0: JUMPDEST
000024b1: PUSH1 0x40
000024b3: MLOAD
000024b4: PUSH1 0x01
000024b6: PUSH1 0x01
000024b8: PUSH1 0xa0
000024ba: SHL
000024bb: SUB
000024bc: DUP4
000024bd: AND
000024be: PUSH1 0x24
000024c0: DUP3
000024c1: ADD
000024c2: MSTORE
000024c3: PUSH1 0x44
000024c5: DUP2
000024c6: ADD
000024c7: DUP3
000024c8: SWAP1
000024c9: MSTORE
000024ca: PUSH2 0x2513
000024cd: SWAP1
000024ce: DUP5
000024cf: SWAP1
000024d0: PUSH4 0xa9059cbb
000024d5: PUSH1 0xe0
000024d7: SHL
000024d8: SWAP1
000024d9: PUSH1 0x64
000024db: ADD
000024dc: JUMPDEST
000024dd: PUSH1 0x40
000024df: DUP1
000024e0: MLOAD
000024e1: PUSH1 0x1f
000024e3: NOT
000024e4: DUP2
000024e5: DUP5
000024e6: SUB
000024e7: ADD
000024e8: DUP2
000024e9: MSTORE
000024ea: SWAP2
000024eb: SWAP1
000024ec: MSTORE
000024ed: PUSH1 0x20
000024ef: DUP2
000024f0: ADD
000024f1: DUP1
000024f2: MLOAD
000024f3: PUSH1 0x01
000024f5: PUSH1 0x01
000024f7: PUSH1 0xe0
000024f9: SHL
000024fa: SUB
000024fb: AND
000024fc: PUSH1 0x01
000024fe: PUSH1 0x01
00002500: PUSH1 0xe0
00002502: SHL
00002503: SUB
00002504: NOT
00002505: SWAP1
00002506: SWAP4
00002507: AND
00002508: SWAP3
00002509: SWAP1
0000250a: SWAP3
0000250b: OR
0000250c: SWAP1
0000250d: SWAP2
0000250e: MSTORE
0000250f: PUSH2 0x29c1
00002512: JUMP
00002513: JUMPDEST
00002514: POP
00002515: POP
00002516: POP
00002517: JUMP
00002518: JUMPDEST
00002519: PUSH1 0x40
0000251b: MLOAD
0000251c: PUSH4 0x6eb1769f
00002521: PUSH1 0xe1
00002523: SHL
00002524: DUP2
00002525: MSTORE
00002526: ADDRESS
00002527: PUSH1 0x04
00002529: DUP3
0000252a: ADD
0000252b: MSTORE
0000252c: PUSH1 0x01
0000252e: PUSH1 0x01
00002530: PUSH1 0xa0
00002532: SHL
00002533: SUB
00002534: DUP4
00002535: DUP2
00002536: AND
00002537: PUSH1 0x24
00002539: DUP4
0000253a: ADD
0000253b: MSTORE
0000253c: PUSH1 0x00
0000253e: SWAP2
0000253f: DUP4
00002540: SWAP2
00002541: DUP7
00002542: AND
00002543: SWAP1
00002544: PUSH4 0xdd62ed3e
00002549: SWAP1
0000254a: PUSH1 0x44
0000254c: ADD
0000254d: PUSH1 0x20
0000254f: PUSH1 0x40
00002551: MLOAD
00002552: DUP1
00002553: DUP4
00002554: SUB
00002555: DUP2
00002556: DUP7
00002557: GAS
00002558: STATICCALL
00002559: ISZERO
0000255a: DUP1
0000255b: ISZERO
0000255c: PUSH2 0x2569
0000255f: JUMPI
00002560: RETURNDATASIZE
00002561: PUSH1 0x00
00002563: DUP1
00002564: RETURNDATACOPY
00002565: RETURNDATASIZE
00002566: PUSH1 0x00
00002568: REVERT
00002569: JUMPDEST
0000256a: POP
0000256b: POP
0000256c: POP
0000256d: POP
0000256e: PUSH1 0x40
00002570: MLOAD
00002571: RETURNDATASIZE
00002572: PUSH1 0x1f
00002574: NOT
00002575: PUSH1 0x1f
00002577: DUP3
00002578: ADD
00002579: AND
0000257a: DUP3
0000257b: ADD
0000257c: DUP1
0000257d: PUSH1 0x40
0000257f: MSTORE
00002580: POP
00002581: DUP2
00002582: ADD
00002583: SWAP1
00002584: PUSH2 0x258d
00002587: SWAP2
00002588: SWAP1
00002589: PUSH2 0x3140
0000258c: JUMP
0000258d: JUMPDEST
0000258e: PUSH2 0x2597
00002591: SWAP2
00002592: SWAP1
00002593: PUSH2 0x320e
00002596: JUMP
00002597: JUMPDEST
00002598: PUSH1 0x40
0000259a: MLOAD
0000259b: PUSH1 0x01
0000259d: PUSH1 0x01
0000259f: PUSH1 0xa0
000025a1: SHL
000025a2: SUB
000025a3: DUP6
000025a4: AND
000025a5: PUSH1 0x24
000025a7: DUP3
000025a8: ADD
000025a9: MSTORE
000025aa: PUSH1 0x44
000025ac: DUP2
000025ad: ADD
000025ae: DUP3
000025af: SWAP1
000025b0: MSTORE
000025b1: SWAP1
000025b2: SWAP2
000025b3: POP
000025b4: PUSH2 0x230f
000025b7: SWAP1
000025b8: DUP6
000025b9: SWAP1
000025ba: PUSH4 0x095ea7b3
000025bf: PUSH1 0xe0
000025c1: SHL
000025c2: SWAP1
000025c3: PUSH1 0x64
000025c5: ADD
000025c6: PUSH2 0x24dc
000025c9: JUMP
000025ca: JUMPDEST
000025cb: PUSH1 0x60
000025cd: PUSH2 0x25df
000025d0: PUSH1 0x01
000025d2: PUSH1 0x01
000025d4: PUSH1 0xa0
000025d6: SHL
000025d7: SUB
000025d8: DUP4
000025d9: AND
000025da: DUP5
000025db: PUSH2 0x2a93
000025de: JUMP
000025df: JUMPDEST
000025e0: SWAP1
000025e1: POP
000025e2: PUSH1 0x00
000025e4: DUP2
000025e5: MLOAD
000025e6: GT
000025e7: PUSH2 0x06b8
000025ea: JUMPI
000025eb: PUSH1 0x40
000025ed: MLOAD
000025ee: PUSH3 0x461bcd
000025f2: PUSH1 0xe5
000025f4: SHL
000025f5: DUP2
000025f6: MSTORE
000025f7: PUSH1 0x20
000025f9: PUSH1 0x04
000025fb: DUP3
000025fc: ADD
000025fd: MSTORE
000025fe: PUSH1 0x1d
00002600: PUSH1 0x24
00002602: DUP3
00002603: ADD
00002604: MSTORE
00002605: PUSH32 0x4c6f77206c6576656c2066756e6374696f6e43616c6c206661696c6564000000
00002626: PUSH1 0x44
00002628: DUP3
00002629: ADD
0000262a: MSTORE
0000262b: PUSH1 0x64
0000262d: ADD
0000262e: PUSH2 0x06e3
00002631: JUMP
00002632: JUMPDEST
00002633: PUSH1 0x40
00002635: MLOAD
00002636: PUSH4 0x6eb1769f
0000263b: PUSH1 0xe1
0000263d: SHL
0000263e: DUP2
0000263f: MSTORE
00002640: ADDRESS
00002641: PUSH1 0x04
00002643: DUP3
00002644: ADD
00002645: MSTORE
00002646: PUSH1 0x01
00002648: PUSH1 0x01
0000264a: PUSH1 0xa0
0000264c: SHL
0000264d: SUB
0000264e: DUP4
0000264f: DUP2
00002650: AND
00002651: PUSH1 0x24
00002653: DUP4
00002654: ADD
00002655: MSTORE
00002656: PUSH1 0x00
00002658: SWAP2
00002659: SWAP1
0000265a: DUP6
0000265b: AND
0000265c: SWAP1
0000265d: PUSH4 0xdd62ed3e
00002662: SWAP1
00002663: PUSH1 0x44
00002665: ADD
00002666: PUSH1 0x20
00002668: PUSH1 0x40
0000266a: MLOAD
0000266b: DUP1
0000266c: DUP4
0000266d: SUB
0000266e: DUP2
0000266f: DUP7
00002670: GAS
00002671: STATICCALL
00002672: ISZERO
00002673: DUP1
00002674: ISZERO
00002675: PUSH2 0x2682
00002678: JUMPI
00002679: RETURNDATASIZE
0000267a: PUSH1 0x00
0000267c: DUP1
0000267d: RETURNDATACOPY
0000267e: RETURNDATASIZE
0000267f: PUSH1 0x00
00002681: REVERT
00002682: JUMPDEST
00002683: POP
00002684: POP
00002685: POP
00002686: POP
00002687: PUSH1 0x40
00002689: MLOAD
0000268a: RETURNDATASIZE
0000268b: PUSH1 0x1f
0000268d: NOT
0000268e: PUSH1 0x1f
00002690: DUP3
00002691: ADD
00002692: AND
00002693: DUP3
00002694: ADD
00002695: DUP1
00002696: PUSH1 0x40
00002698: MSTORE
00002699: POP
0000269a: DUP2
0000269b: ADD
0000269c: SWAP1
0000269d: PUSH2 0x26a6
000026a0: SWAP2
000026a1: SWAP1
000026a2: PUSH2 0x3140
000026a5: JUMP
000026a6: JUMPDEST
000026a7: SWAP1
000026a8: POP
000026a9: DUP2
000026aa: DUP2
000026ab: LT
000026ac: ISZERO
000026ad: PUSH2 0x270a
000026b0: JUMPI
000026b1: PUSH1 0x40
000026b3: MLOAD
000026b4: PUSH3 0x461bcd
000026b8: PUSH1 0xe5
000026ba: SHL
000026bb: DUP2
000026bc: MSTORE
000026bd: PUSH1 0x20
000026bf: PUSH1 0x04
000026c1: DUP3
000026c2: ADD
000026c3: MSTORE
000026c4: PUSH1 0x29
000026c6: PUSH1 0x24
000026c8: DUP3
000026c9: ADD
000026ca: MSTORE
000026cb: PUSH32 0x5361666545524332303a2064656372656173656420616c6c6f77616e63652062
000026ec: PUSH1 0x44
000026ee: DUP3
000026ef: ADD
000026f0: MSTORE
000026f1: PUSH9 0x656c6f77207a65726f
000026fb: PUSH1 0xb8
000026fd: SHL
000026fe: PUSH1 0x64
00002700: DUP3
00002701: ADD
00002702: MSTORE
00002703: PUSH1 0x84
00002705: ADD
00002706: PUSH2 0x06e3
00002709: JUMP
0000270a: JUMPDEST
0000270b: PUSH1 0x40
0000270d: MLOAD
0000270e: PUSH1 0x01
00002710: PUSH1 0x01
00002712: PUSH1 0xa0
00002714: SHL
00002715: SUB
00002716: DUP5
00002717: AND
00002718: PUSH1 0x24
0000271a: DUP3
0000271b: ADD
0000271c: MSTORE
0000271d: DUP3
0000271e: DUP3
0000271f: SUB
00002720: PUSH1 0x44
00002722: DUP3
00002723: ADD
00002724: DUP2
00002725: SWAP1
00002726: MSTORE
00002727: SWAP1
00002728: PUSH2 0x273e
0000272b: SWAP1
0000272c: DUP7
0000272d: SWAP1
0000272e: PUSH4 0x095ea7b3
00002733: PUSH1 0xe0
00002735: SHL
00002736: SWAP1
00002737: PUSH1 0x64
00002739: ADD
0000273a: PUSH2 0x24dc
0000273d: JUMP
0000273e: JUMPDEST
0000273f: POP
00002740: POP
00002741: POP
00002742: POP
00002743: POP
00002744: JUMP
00002745: JUMPDEST
00002746: PUSH1 0x00
00002748: DUP3
00002749: PUSH1 0x00
0000274b: SUB
0000274c: PUSH2 0x278c
0000274f: JUMPI
00002750: PUSH1 0x40
00002752: MLOAD
00002753: PUSH3 0x461bcd
00002757: PUSH1 0xe5
00002759: SHL
0000275a: DUP2
0000275b: MSTORE
0000275c: PUSH1 0x20
0000275e: PUSH1 0x04
00002760: DUP3
00002761: ADD
00002762: MSTORE
00002763: PUSH1 0x12
00002765: PUSH1 0x24
00002767: DUP3
00002768: ADD
00002769: MSTORE
0000276a: PUSH18 0x043616e6e6f7420646976696465206279203
0000277d: PUSH1 0x74
0000277f: SHL
00002780: PUSH1 0x44
00002782: DUP3
00002783: ADD
00002784: MSTORE
00002785: PUSH1 0x64
00002787: ADD
00002788: PUSH2 0x06e3
0000278b: JUMP
0000278c: JUMPDEST
0000278d: PUSH1 0x00
0000278f: PUSH2 0x2799
00002792: DUP4
00002793: PUSH1 0x0a
00002795: PUSH2 0x3305
00002798: JUMP
00002799: JUMPDEST
0000279a: SWAP1
0000279b: POP
0000279c: DUP4
0000279d: PUSH2 0x27a6
000027a0: DUP3
000027a1: DUP8
000027a2: PUSH2 0x3311
000027a5: JUMP
000027a6: JUMPDEST
000027a7: PUSH2 0x2423
000027aa: SWAP2
000027ab: SWAP1
000027ac: PUSH2 0x3328
000027af: JUMP
000027b0: JUMPDEST
000027b1: PUSH1 0x00
000027b3: DUP2
000027b4: DUP2
000027b5: MSTORE
000027b6: PUSH1 0x01
000027b8: DUP4
000027b9: ADD
000027ba: PUSH1 0x20
000027bc: MSTORE
000027bd: PUSH1 0x40
000027bf: DUP2
000027c0: KECCAK256
000027c1: SLOAD
000027c2: PUSH2 0x27f7
000027c5: JUMPI
000027c6: POP
000027c7: DUP2
000027c8: SLOAD
000027c9: PUSH1 0x01
000027cb: DUP2
000027cc: DUP2
000027cd: ADD
000027ce: DUP5
000027cf: SSTORE
000027d0: PUSH1 0x00
000027d2: DUP5
000027d3: DUP2
000027d4: MSTORE
000027d5: PUSH1 0x20
000027d7: DUP1
000027d8: DUP3
000027d9: KECCAK256
000027da: SWAP1
000027db: SWAP4
000027dc: ADD
000027dd: DUP5
000027de: SWAP1
000027df: SSTORE
000027e0: DUP5
000027e1: SLOAD
000027e2: DUP5
000027e3: DUP3
000027e4: MSTORE
000027e5: DUP3
000027e6: DUP7
000027e7: ADD
000027e8: SWAP1
000027e9: SWAP4
000027ea: MSTORE
000027eb: PUSH1 0x40
000027ed: SWAP1
000027ee: KECCAK256
000027ef: SWAP2
000027f0: SWAP1
000027f1: SWAP2
000027f2: SSTORE
000027f3: PUSH2 0x06b8
000027f6: JUMP
000027f7: JUMPDEST
000027f8: POP
000027f9: PUSH1 0x00
000027fb: PUSH2 0x06b8
000027fe: JUMP
000027ff: JUMPDEST
00002800: PUSH1 0x00
00002802: DUP2
00002803: DUP2
00002804: MSTORE
00002805: PUSH1 0x01
00002807: DUP4
00002808: ADD
00002809: PUSH1 0x20
0000280b: MSTORE
0000280c: PUSH1 0x40
0000280e: DUP2
0000280f: KECCAK256
00002810: SLOAD
00002811: DUP1
00002812: ISZERO
00002813: PUSH2 0x28e8
00002816: JUMPI
00002817: PUSH1 0x00
00002819: PUSH2 0x2823
0000281c: PUSH1 0x01
0000281e: DUP4
0000281f: PUSH2 0x3076
00002822: JUMP
00002823: JUMPDEST
00002824: DUP6
00002825: SLOAD
00002826: SWAP1
00002827: SWAP2
00002828: POP
00002829: PUSH1 0x00
0000282b: SWAP1
0000282c: PUSH2 0x2837
0000282f: SWAP1
00002830: PUSH1 0x01
00002832: SWAP1
00002833: PUSH2 0x3076
00002836: JUMP
00002837: JUMPDEST
00002838: SWAP1
00002839: POP
0000283a: DUP2
0000283b: DUP2
0000283c: EQ
0000283d: PUSH2 0x289c
00002840: JUMPI
00002841: PUSH1 0x00
00002843: DUP7
00002844: PUSH1 0x00
00002846: ADD
00002847: DUP3
00002848: DUP2
00002849: SLOAD
0000284a: DUP2
0000284b: LT
0000284c: PUSH2 0x2857
0000284f: JUMPI
00002850: PUSH2 0x2857
00002853: PUSH2 0x3111
00002856: JUMP
00002857: JUMPDEST
00002858: SWAP1
00002859: PUSH1 0x00
0000285b: MSTORE
0000285c: PUSH1 0x20
0000285e: PUSH1 0x00
00002860: KECCAK256
00002861: ADD
00002862: SLOAD
00002863: SWAP1
00002864: POP
00002865: DUP1
00002866: DUP8
00002867: PUSH1 0x00
00002869: ADD
0000286a: DUP5
0000286b: DUP2
0000286c: SLOAD
0000286d: DUP2
0000286e: LT
0000286f: PUSH2 0x287a
00002872: JUMPI
00002873: PUSH2 0x287a
00002876: PUSH2 0x3111
00002879: JUMP
0000287a: JUMPDEST
0000287b: PUSH1 0x00
0000287d: SWAP2
0000287e: DUP3
0000287f: MSTORE
00002880: PUSH1 0x20
00002882: DUP1
00002883: DUP4
00002884: KECCAK256
00002885: SWAP1
00002886: SWAP2
00002887: ADD
00002888: SWAP3
00002889: SWAP1
0000288a: SWAP3
0000288b: SSTORE
0000288c: SWAP2
0000288d: DUP3
0000288e: MSTORE
0000288f: PUSH1 0x01
00002891: DUP9
00002892: ADD
00002893: SWAP1
00002894: MSTORE
00002895: PUSH1 0x40
00002897: SWAP1
00002898: KECCAK256
00002899: DUP4
0000289a: SWAP1
0000289b: SSTORE
0000289c: JUMPDEST
0000289d: DUP6
0000289e: SLOAD
0000289f: DUP7
000028a0: SWAP1
000028a1: DUP1
000028a2: PUSH2 0x28ad
000028a5: JUMPI
000028a6: PUSH2 0x28ad
000028a9: PUSH2 0x3159
000028ac: JUMP
000028ad: JUMPDEST
000028ae: PUSH1 0x01
000028b0: SWAP1
000028b1: SUB
000028b2: DUP2
000028b3: DUP2
000028b4: SWAP1
000028b5: PUSH1 0x00
000028b7: MSTORE
000028b8: PUSH1 0x20
000028ba: PUSH1 0x00
000028bc: KECCAK256
000028bd: ADD
000028be: PUSH1 0x00
000028c0: SWAP1
000028c1: SSTORE
000028c2: SWAP1
000028c3: SSTORE
000028c4: DUP6
000028c5: PUSH1 0x01
000028c7: ADD
000028c8: PUSH1 0x00
000028ca: DUP7
000028cb: DUP2
000028cc: MSTORE
000028cd: PUSH1 0x20
000028cf: ADD
000028d0: SWAP1
000028d1: DUP2
000028d2: MSTORE
000028d3: PUSH1 0x20
000028d5: ADD
000028d6: PUSH1 0x00
000028d8: KECCAK256
000028d9: PUSH1 0x00
000028db: SWAP1
000028dc: SSTORE
000028dd: PUSH1 0x01
000028df: SWAP4
000028e0: POP
000028e1: POP
000028e2: POP
000028e3: POP
000028e4: PUSH2 0x06b8
000028e7: JUMP
000028e8: JUMPDEST
000028e9: PUSH1 0x00
000028eb: SWAP2
000028ec: POP
000028ed: POP
000028ee: PUSH2 0x06b8
000028f1: JUMP
000028f2: JUMPDEST
000028f3: DUP2
000028f4: MLOAD
000028f5: PUSH1 0x00
000028f7: SWAP1
000028f8: DUP2
000028f9: SWAP1
000028fa: DUP2
000028fb: JUMPDEST
000028fc: DUP2
000028fd: DUP2
000028fe: LT
000028ff: ISZERO
00002900: PUSH2 0x2954
00002903: JUMPI
00002904: DUP5
00002905: PUSH1 0x01
00002907: PUSH1 0x01
00002909: PUSH1 0xa0
0000290b: SHL
0000290c: SUB
0000290d: AND
0000290e: DUP7
0000290f: DUP3
00002910: DUP2
00002911: MLOAD
00002912: DUP2
00002913: LT
00002914: PUSH2 0x291f
00002917: JUMPI
00002918: PUSH2 0x291f
0000291b: PUSH2 0x3111
0000291e: JUMP
0000291f: JUMPDEST
00002920: PUSH1 0x20
00002922: MUL
00002923: PUSH1 0x20
00002925: ADD
00002926: ADD
00002927: MLOAD
00002928: PUSH1 0x01
0000292a: PUSH1 0x01
0000292c: PUSH1 0xa0
0000292e: SHL
0000292f: SUB
00002930: AND
00002931: SUB
00002932: PUSH2 0x2942
00002935: JUMPI
00002936: SWAP3
00002937: POP
00002938: PUSH1 0x01
0000293a: SWAP2
0000293b: POP
0000293c: PUSH2 0x295e
0000293f: SWAP1
00002940: POP
00002941: JUMP
00002942: JUMPDEST
00002943: DUP1
00002944: PUSH2 0x294c
00002947: DUP2
00002948: PUSH2 0x3127
0000294b: JUMP
0000294c: JUMPDEST
0000294d: SWAP2
0000294e: POP
0000294f: POP
00002950: PUSH2 0x28fb
00002953: JUMP
00002954: JUMPDEST
00002955: POP
00002956: PUSH1 0x00
00002958: DUP1
00002959: SWAP3
0000295a: POP
0000295b: SWAP3
0000295c: POP
0000295d: POP
0000295e: JUMPDEST
0000295f: SWAP3
00002960: POP
00002961: SWAP3
00002962: SWAP1
00002963: POP
00002964: JUMP
00002965: JUMPDEST
00002966: PUSH1 0x60
00002968: DUP2
00002969: PUSH1 0x00
0000296b: ADD
0000296c: DUP1
0000296d: SLOAD
0000296e: DUP1
0000296f: PUSH1 0x20
00002971: MUL
00002972: PUSH1 0x20
00002974: ADD
00002975: PUSH1 0x40
00002977: MLOAD
00002978: SWAP1
00002979: DUP2
0000297a: ADD
0000297b: PUSH1 0x40
0000297d: MSTORE
0000297e: DUP1
0000297f: SWAP3
00002980: SWAP2
00002981: SWAP1
00002982: DUP2
00002983: DUP2
00002984: MSTORE
00002985: PUSH1 0x20
00002987: ADD
00002988: DUP3
00002989: DUP1
0000298a: SLOAD
0000298b: DUP1
0000298c: ISZERO
0000298d: PUSH2 0x29b5
00002990: JUMPI
00002991: PUSH1 0x20
00002993: MUL
00002994: DUP3
00002995: ADD
00002996: SWAP2
00002997: SWAP1
00002998: PUSH1 0x00
0000299a: MSTORE
0000299b: PUSH1 0x20
0000299d: PUSH1 0x00
0000299f: KECCAK256
000029a0: SWAP1
000029a1: JUMPDEST
000029a2: DUP2
000029a3: SLOAD
000029a4: DUP2
000029a5: MSTORE
000029a6: PUSH1 0x20
000029a8: ADD
000029a9: SWAP1
000029aa: PUSH1 0x01
000029ac: ADD
000029ad: SWAP1
000029ae: DUP1
000029af: DUP4
000029b0: GT
000029b1: PUSH2 0x29a1
000029b4: JUMPI
000029b5: JUMPDEST
000029b6: POP
000029b7: POP
000029b8: POP
000029b9: POP
000029ba: POP
000029bb: SWAP1
000029bc: POP
000029bd: SWAP2
000029be: SWAP1
000029bf: POP
000029c0: JUMP
000029c1: JUMPDEST
000029c2: PUSH1 0x00
000029c4: PUSH2 0x2a16
000029c7: DUP3
000029c8: PUSH1 0x40
000029ca: MLOAD
000029cb: DUP1
000029cc: PUSH1 0x40
000029ce: ADD
000029cf: PUSH1 0x40
000029d1: MSTORE
000029d2: DUP1
000029d3: PUSH1 0x20
000029d5: DUP2
000029d6: MSTORE
000029d7: PUSH1 0x20
000029d9: ADD
000029da: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000029fb: DUP2
000029fc: MSTORE
000029fd: POP
000029fe: DUP6
000029ff: PUSH1 0x01
00002a01: PUSH1 0x01
00002a03: PUSH1 0xa0
00002a05: SHL
00002a06: SUB
00002a07: AND
00002a08: PUSH2 0x2ad7
00002a0b: SWAP1
00002a0c: SWAP3
00002a0d: SWAP2
00002a0e: SWAP1
00002a0f: PUSH4 0xffffffff
00002a14: AND
00002a15: JUMP
00002a16: JUMPDEST
00002a17: DUP1
00002a18: MLOAD
00002a19: SWAP1
00002a1a: SWAP2
00002a1b: POP
00002a1c: ISZERO
00002a1d: PUSH2 0x2513
00002a20: JUMPI
00002a21: DUP1
00002a22: DUP1
00002a23: PUSH1 0x20
00002a25: ADD
00002a26: SWAP1
00002a27: MLOAD
00002a28: DUP2
00002a29: ADD
00002a2a: SWAP1
00002a2b: PUSH2 0x2a34
00002a2e: SWAP2
00002a2f: SWAP1
00002a30: PUSH2 0x30c9
00002a33: JUMP
00002a34: JUMPDEST
00002a35: PUSH2 0x2513
00002a38: JUMPI
00002a39: PUSH1 0x40
00002a3b: MLOAD
00002a3c: PUSH3 0x461bcd
00002a40: PUSH1 0xe5
00002a42: SHL
00002a43: DUP2
00002a44: MSTORE
00002a45: PUSH1 0x20
00002a47: PUSH1 0x04
00002a49: DUP3
00002a4a: ADD
00002a4b: MSTORE
00002a4c: PUSH1 0x2a
00002a4e: PUSH1 0x24
00002a50: DUP3
00002a51: ADD
00002a52: MSTORE
00002a53: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002a74: PUSH1 0x44
00002a76: DUP3
00002a77: ADD
00002a78: MSTORE
00002a79: PUSH10 0x1bdd081cdd58d8d95959
00002a84: PUSH1 0xb2
00002a86: SHL
00002a87: PUSH1 0x64
00002a89: DUP3
00002a8a: ADD
00002a8b: MSTORE
00002a8c: PUSH1 0x84
00002a8e: ADD
00002a8f: PUSH2 0x06e3
00002a92: JUMP
00002a93: JUMPDEST
00002a94: PUSH1 0x60
00002a96: PUSH2 0x2186
00002a99: DUP4
00002a9a: DUP4
00002a9b: PUSH1 0x00
00002a9d: PUSH1 0x40
00002a9f: MLOAD
00002aa0: DUP1
00002aa1: PUSH1 0x40
00002aa3: ADD
00002aa4: PUSH1 0x40
00002aa6: MSTORE
00002aa7: DUP1
00002aa8: PUSH1 0x1e
00002aaa: DUP2
00002aab: MSTORE
00002aac: PUSH1 0x20
00002aae: ADD
00002aaf: PUSH32 0x416464726573733a206c6f772d6c6576656c2063616c6c206661696c65640000
00002ad0: DUP2
00002ad1: MSTORE
00002ad2: POP
00002ad3: PUSH2 0x2aee
00002ad6: JUMP
00002ad7: JUMPDEST
00002ad8: PUSH1 0x60
00002ada: PUSH2 0x2ae6
00002add: DUP5
00002ade: DUP5
00002adf: PUSH1 0x00
00002ae1: DUP6
00002ae2: PUSH2 0x2aee
00002ae5: JUMP
00002ae6: JUMPDEST
00002ae7: SWAP5
00002ae8: SWAP4
00002ae9: POP
00002aea: POP
00002aeb: POP
00002aec: POP
00002aed: JUMP
00002aee: JUMPDEST
00002aef: PUSH1 0x60
00002af1: DUP3
00002af2: SELFBALANCE
00002af3: LT
00002af4: ISZERO
00002af5: PUSH2 0x2b4f
00002af8: JUMPI
00002af9: PUSH1 0x40
00002afb: MLOAD
00002afc: PUSH3 0x461bcd
00002b00: PUSH1 0xe5
00002b02: SHL
00002b03: DUP2
00002b04: MSTORE
00002b05: PUSH1 0x20
00002b07: PUSH1 0x04
00002b09: DUP3
00002b0a: ADD
00002b0b: MSTORE
00002b0c: PUSH1 0x26
00002b0e: PUSH1 0x24
00002b10: DUP3
00002b11: ADD
00002b12: MSTORE
00002b13: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00002b34: PUSH1 0x44
00002b36: DUP3
00002b37: ADD
00002b38: MSTORE
00002b39: PUSH6 0x1c8818d85b1b
00002b40: PUSH1 0xd2
00002b42: SHL
00002b43: PUSH1 0x64
00002b45: DUP3
00002b46: ADD
00002b47: MSTORE
00002b48: PUSH1 0x84
00002b4a: ADD
00002b4b: PUSH2 0x06e3
00002b4e: JUMP
00002b4f: JUMPDEST
00002b50: PUSH1 0x00
00002b52: DUP1
00002b53: DUP7
00002b54: PUSH1 0x01
00002b56: PUSH1 0x01
00002b58: PUSH1 0xa0
00002b5a: SHL
00002b5b: SUB
00002b5c: AND
00002b5d: DUP6
00002b5e: DUP8
00002b5f: PUSH1 0x40
00002b61: MLOAD
00002b62: PUSH2 0x2b6b
00002b65: SWAP2
00002b66: SWAP1
00002b67: PUSH2 0x334a
00002b6a: JUMP
00002b6b: JUMPDEST
00002b6c: PUSH1 0x00
00002b6e: PUSH1 0x40
00002b70: MLOAD
00002b71: DUP1
00002b72: DUP4
00002b73: SUB
00002b74: DUP2
00002b75: DUP6
00002b76: DUP8
00002b77: GAS
00002b78: CALL
00002b79: SWAP3
00002b7a: POP
00002b7b: POP
00002b7c: POP
00002b7d: RETURNDATASIZE
00002b7e: DUP1
00002b7f: PUSH1 0x00
00002b81: DUP2
00002b82: EQ
00002b83: PUSH2 0x2ba8
00002b86: JUMPI
00002b87: PUSH1 0x40
00002b89: MLOAD
00002b8a: SWAP2
00002b8b: POP
00002b8c: PUSH1 0x1f
00002b8e: NOT
00002b8f: PUSH1 0x3f
00002b91: RETURNDATASIZE
00002b92: ADD
00002b93: AND
00002b94: DUP3
00002b95: ADD
00002b96: PUSH1 0x40
00002b98: MSTORE
00002b99: RETURNDATASIZE
00002b9a: DUP3
00002b9b: MSTORE
00002b9c: RETURNDATASIZE
00002b9d: PUSH1 0x00
00002b9f: PUSH1 0x20
00002ba1: DUP5
00002ba2: ADD
00002ba3: RETURNDATACOPY
00002ba4: PUSH2 0x2bad
00002ba7: JUMP
00002ba8: JUMPDEST
00002ba9: PUSH1 0x60
00002bab: SWAP2
00002bac: POP
00002bad: JUMPDEST
00002bae: POP
00002baf: SWAP2
00002bb0: POP
00002bb1: SWAP2
00002bb2: POP
00002bb3: PUSH2 0x2bbe
00002bb6: DUP8
00002bb7: DUP4
00002bb8: DUP4
00002bb9: DUP8
00002bba: PUSH2 0x2bc9
00002bbd: JUMP
00002bbe: JUMPDEST
00002bbf: SWAP8
00002bc0: SWAP7
00002bc1: POP
00002bc2: POP
00002bc3: POP
00002bc4: POP
00002bc5: POP
00002bc6: POP
00002bc7: POP
00002bc8: JUMP
00002bc9: JUMPDEST
00002bca: PUSH1 0x60
00002bcc: DUP4
00002bcd: ISZERO
00002bce: PUSH2 0x2c38
00002bd1: JUMPI
00002bd2: DUP3
00002bd3: MLOAD
00002bd4: PUSH1 0x00
00002bd6: SUB
00002bd7: PUSH2 0x2c31
00002bda: JUMPI
00002bdb: PUSH1 0x01
00002bdd: PUSH1 0x01
00002bdf: PUSH1 0xa0
00002be1: SHL
00002be2: SUB
00002be3: DUP6
00002be4: AND
00002be5: EXTCODESIZE
00002be6: PUSH2 0x2c31
00002be9: JUMPI
00002bea: PUSH1 0x40
00002bec: MLOAD
00002bed: PUSH3 0x461bcd
00002bf1: PUSH1 0xe5
00002bf3: SHL
00002bf4: DUP2
00002bf5: MSTORE
00002bf6: PUSH1 0x20
00002bf8: PUSH1 0x04
00002bfa: DUP3
00002bfb: ADD
00002bfc: MSTORE
00002bfd: PUSH1 0x1d
00002bff: PUSH1 0x24
00002c01: DUP3
00002c02: ADD
00002c03: MSTORE
00002c04: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002c25: PUSH1 0x44
00002c27: DUP3
00002c28: ADD
00002c29: MSTORE
00002c2a: PUSH1 0x64
00002c2c: ADD
00002c2d: PUSH2 0x06e3
00002c30: JUMP
00002c31: JUMPDEST
00002c32: POP
00002c33: DUP2
00002c34: PUSH2 0x2ae6
00002c37: JUMP
00002c38: JUMPDEST
00002c39: PUSH2 0x2ae6
00002c3c: DUP4
00002c3d: DUP4
00002c3e: DUP2
00002c3f: MLOAD
00002c40: ISZERO
00002c41: PUSH2 0x2c4d
00002c44: JUMPI
00002c45: DUP2
00002c46: MLOAD
00002c47: DUP1
00002c48: DUP4
00002c49: PUSH1 0x20
00002c4b: ADD
00002c4c: REVERT
00002c4d: JUMPDEST
00002c4e: DUP1
00002c4f: PUSH1 0x40
00002c51: MLOAD
00002c52: PUSH3 0x461bcd
00002c56: PUSH1 0xe5
00002c58: SHL
00002c59: DUP2
00002c5a: MSTORE
00002c5b: PUSH1 0x04
00002c5d: ADD
00002c5e: PUSH2 0x06e3
00002c61: SWAP2
00002c62: SWAP1
00002c63: PUSH2 0x2c8b
00002c66: JUMP
00002c67: JUMPDEST
00002c68: PUSH1 0x00
00002c6a: JUMPDEST
00002c6b: DUP4
00002c6c: DUP2
00002c6d: LT
00002c6e: ISZERO
00002c6f: PUSH2 0x2c82
00002c72: JUMPI
00002c73: DUP2
00002c74: DUP2
00002c75: ADD
00002c76: MLOAD
00002c77: DUP4
00002c78: DUP3
00002c79: ADD
00002c7a: MSTORE
00002c7b: PUSH1 0x20
00002c7d: ADD
00002c7e: PUSH2 0x2c6a
00002c81: JUMP
00002c82: JUMPDEST
00002c83: POP
00002c84: POP
00002c85: PUSH1 0x00
00002c87: SWAP2
00002c88: ADD
00002c89: MSTORE
00002c8a: JUMP
00002c8b: JUMPDEST
00002c8c: PUSH1 0x20
00002c8e: DUP2
00002c8f: MSTORE
00002c90: PUSH1 0x00
00002c92: DUP3
00002c93: MLOAD
00002c94: DUP1
00002c95: PUSH1 0x20
00002c97: DUP5
00002c98: ADD
00002c99: MSTORE
00002c9a: PUSH2 0x2caa
00002c9d: DUP2
00002c9e: PUSH1 0x40
00002ca0: DUP6
00002ca1: ADD
00002ca2: PUSH1 0x20
00002ca4: DUP8
00002ca5: ADD
00002ca6: PUSH2 0x2c67
00002ca9: JUMP
00002caa: JUMPDEST
00002cab: PUSH1 0x1f
00002cad: ADD
00002cae: PUSH1 0x1f
00002cb0: NOT
00002cb1: AND
00002cb2: SWAP2
00002cb3: SWAP1
00002cb4: SWAP2
00002cb5: ADD
00002cb6: PUSH1 0x40
00002cb8: ADD
00002cb9: SWAP3
00002cba: SWAP2
00002cbb: POP
00002cbc: POP
00002cbd: JUMP
00002cbe: JUMPDEST
00002cbf: PUSH1 0x01
00002cc1: PUSH1 0x01
00002cc3: PUSH1 0xa0
00002cc5: SHL
00002cc6: SUB
00002cc7: DUP2
00002cc8: AND
00002cc9: DUP2
00002cca: EQ
00002ccb: PUSH2 0x2cd3
00002cce: JUMPI
00002ccf: PUSH1 0x00
00002cd1: DUP1
00002cd2: REVERT
00002cd3: JUMPDEST
00002cd4: POP
00002cd5: JUMP
00002cd6: JUMPDEST
00002cd7: DUP1
00002cd8: CALLDATALOAD
00002cd9: PUSH2 0x2ce1
00002cdc: DUP2
00002cdd: PUSH2 0x2cbe
00002ce0: JUMP
00002ce1: JUMPDEST
00002ce2: SWAP2
00002ce3: SWAP1
00002ce4: POP
00002ce5: JUMP
00002ce6: JUMPDEST
00002ce7: PUSH1 0x00
00002ce9: DUP1
00002cea: PUSH1 0x40
00002cec: DUP4
00002ced: DUP6
00002cee: SUB
00002cef: SLT
00002cf0: ISZERO
00002cf1: PUSH2 0x2cf9
00002cf4: JUMPI
00002cf5: PUSH1 0x00
00002cf7: DUP1
00002cf8: REVERT
00002cf9: JUMPDEST
00002cfa: DUP3
00002cfb: CALLDATALOAD
00002cfc: PUSH2 0x2d04
00002cff: DUP2
00002d00: PUSH2 0x2cbe
00002d03: JUMP
00002d04: JUMPDEST
00002d05: SWAP5
00002d06: PUSH1 0x20
00002d08: SWAP4
00002d09: SWAP1
00002d0a: SWAP4
00002d0b: ADD
00002d0c: CALLDATALOAD
00002d0d: SWAP4
00002d0e: POP
00002d0f: POP
00002d10: POP
00002d11: JUMP
00002d12: JUMPDEST
00002d13: PUSH1 0x00
00002d15: PUSH1 0x20
00002d17: DUP3
00002d18: DUP5
00002d19: SUB
00002d1a: SLT
00002d1b: ISZERO
00002d1c: PUSH2 0x2d24
00002d1f: JUMPI
00002d20: PUSH1 0x00
00002d22: DUP1
00002d23: REVERT
00002d24: JUMPDEST
00002d25: DUP2
00002d26: CALLDATALOAD
00002d27: PUSH2 0x2186
00002d2a: DUP2
00002d2b: PUSH2 0x2cbe
00002d2e: JUMP
00002d2f: JUMPDEST
00002d30: PUSH1 0x00
00002d32: DUP1
00002d33: PUSH1 0x00
00002d35: PUSH1 0x60
00002d37: DUP5
00002d38: DUP7
00002d39: SUB
00002d3a: SLT
00002d3b: ISZERO
00002d3c: PUSH2 0x2d44
00002d3f: JUMPI
00002d40: PUSH1 0x00
00002d42: DUP1
00002d43: REVERT
00002d44: JUMPDEST
00002d45: DUP4
00002d46: CALLDATALOAD
00002d47: PUSH2 0x2d4f
00002d4a: DUP2
00002d4b: PUSH2 0x2cbe
00002d4e: JUMP
00002d4f: JUMPDEST
00002d50: SWAP3
00002d51: POP
00002d52: PUSH1 0x20
00002d54: DUP5
00002d55: ADD
00002d56: CALLDATALOAD
00002d57: PUSH2 0x2d5f
00002d5a: DUP2
00002d5b: PUSH2 0x2cbe
00002d5e: JUMP
00002d5f: JUMPDEST
00002d60: SWAP3
00002d61: SWAP6
00002d62: SWAP3
00002d63: SWAP5
00002d64: POP
00002d65: POP
00002d66: POP
00002d67: PUSH1 0x40
00002d69: SWAP2
00002d6a: SWAP1
00002d6b: SWAP2
00002d6c: ADD
00002d6d: CALLDATALOAD
00002d6e: SWAP1
00002d6f: JUMP
00002d70: JUMPDEST
00002d71: PUSH1 0x20
00002d73: DUP1
00002d74: DUP3
00002d75: MSTORE
00002d76: DUP3
00002d77: MLOAD
00002d78: DUP3
00002d79: DUP3
00002d7a: ADD
00002d7b: DUP2
00002d7c: SWAP1
00002d7d: MSTORE
00002d7e: PUSH1 0x00
00002d80: SWAP2
00002d81: SWAP1
00002d82: DUP5
00002d83: DUP3
00002d84: ADD
00002d85: SWAP1
00002d86: PUSH1 0x40
00002d88: DUP6
00002d89: ADD
00002d8a: SWAP1
00002d8b: DUP5
00002d8c: JUMPDEST
00002d8d: DUP2
00002d8e: DUP2
00002d8f: LT
00002d90: ISZERO
00002d91: PUSH2 0x2db1
00002d94: JUMPI
00002d95: DUP4
00002d96: MLOAD
00002d97: PUSH1 0x01
00002d99: PUSH1 0x01
00002d9b: PUSH1 0xa0
00002d9d: SHL
00002d9e: SUB
00002d9f: AND
00002da0: DUP4
00002da1: MSTORE
00002da2: SWAP3
00002da3: DUP5
00002da4: ADD
00002da5: SWAP3
00002da6: SWAP2
00002da7: DUP5
00002da8: ADD
00002da9: SWAP2
00002daa: PUSH1 0x01
00002dac: ADD
00002dad: PUSH2 0x2d8c
00002db0: JUMP
00002db1: JUMPDEST
00002db2: POP
00002db3: SWAP1
00002db4: SWAP7
00002db5: SWAP6
00002db6: POP
00002db7: POP
00002db8: POP
00002db9: POP
00002dba: POP
00002dbb: POP
00002dbc: JUMP
00002dbd: JUMPDEST
00002dbe: PUSH1 0x20
00002dc0: DUP1
00002dc1: DUP3
00002dc2: MSTORE
00002dc3: DUP3
00002dc4: MLOAD
00002dc5: DUP3
00002dc6: DUP3
00002dc7: ADD
00002dc8: DUP2
00002dc9: SWAP1
00002dca: MSTORE
00002dcb: PUSH1 0x00
00002dcd: SWAP2
00002dce: SWAP1
00002dcf: DUP5
00002dd0: DUP3
00002dd1: ADD
00002dd2: SWAP1
00002dd3: PUSH1 0x40
00002dd5: DUP6
00002dd6: ADD
00002dd7: SWAP1
00002dd8: DUP5
00002dd9: JUMPDEST
00002dda: DUP2
00002ddb: DUP2
00002ddc: LT
00002ddd: ISZERO
00002dde: PUSH2 0x2db1
00002de1: JUMPI
00002de2: DUP4
00002de3: MLOAD
00002de4: DUP4
00002de5: MSTORE
00002de6: SWAP3
00002de7: DUP5
00002de8: ADD
00002de9: SWAP3
00002dea: SWAP2
00002deb: DUP5
00002dec: ADD
00002ded: SWAP2
00002dee: PUSH1 0x01
00002df0: ADD
00002df1: PUSH2 0x2dd9
00002df4: JUMP
00002df5: JUMPDEST
00002df6: PUSH1 0x00
00002df8: PUSH1 0x20
00002dfa: DUP3
00002dfb: DUP5
00002dfc: SUB
00002dfd: SLT
00002dfe: ISZERO
00002dff: PUSH2 0x2e07
00002e02: JUMPI
00002e03: PUSH1 0x00
00002e05: DUP1
00002e06: REVERT
00002e07: JUMPDEST
00002e08: POP
00002e09: CALLDATALOAD
00002e0a: SWAP2
00002e0b: SWAP1
00002e0c: POP
00002e0d: JUMP
00002e0e: JUMPDEST
00002e0f: PUSH4 0x4e487b71
00002e14: PUSH1 0xe0
00002e16: SHL
00002e17: PUSH1 0x00
00002e19: MSTORE
00002e1a: PUSH1 0x41
00002e1c: PUSH1 0x04
00002e1e: MSTORE
00002e1f: PUSH1 0x24
00002e21: PUSH1 0x00
00002e23: REVERT
00002e24: JUMPDEST
00002e25: PUSH1 0x00
00002e27: DUP1
00002e28: PUSH1 0x00
00002e2a: DUP1
00002e2b: PUSH1 0x00
00002e2d: DUP1
00002e2e: PUSH1 0x00
00002e30: PUSH1 0xe0
00002e32: DUP9
00002e33: DUP11
00002e34: SUB
00002e35: SLT
00002e36: ISZERO
00002e37: PUSH2 0x2e3f
00002e3a: JUMPI
00002e3b: PUSH1 0x00
00002e3d: DUP1
00002e3e: REVERT
00002e3f: JUMPDEST
00002e40: DUP8
00002e41: CALLDATALOAD
00002e42: PUSH2 0x2e4a
00002e45: DUP2
00002e46: PUSH2 0x2cbe
00002e49: JUMP
00002e4a: JUMPDEST
00002e4b: SWAP7
00002e4c: POP
00002e4d: PUSH1 0x20
00002e4f: DUP9
00002e50: ADD
00002e51: CALLDATALOAD
00002e52: SWAP6
00002e53: POP
00002e54: PUSH1 0x40
00002e56: DUP9
00002e57: ADD
00002e58: CALLDATALOAD
00002e59: PUSH2 0x2e61
00002e5c: DUP2
00002e5d: PUSH2 0x2cbe
00002e60: JUMP
00002e61: JUMPDEST
00002e62: SWAP5
00002e63: POP
00002e64: PUSH1 0x60
00002e66: DUP9
00002e67: ADD
00002e68: CALLDATALOAD
00002e69: SWAP4
00002e6a: POP
00002e6b: PUSH1 0x80
00002e6d: DUP9
00002e6e: ADD
00002e6f: CALLDATALOAD
00002e70: PUSH8 0xffffffffffffffff
00002e79: DUP1
00002e7a: DUP3
00002e7b: GT
00002e7c: ISZERO
00002e7d: PUSH2 0x2e85
00002e80: JUMPI
00002e81: PUSH1 0x00
00002e83: DUP1
00002e84: REVERT
00002e85: JUMPDEST
00002e86: DUP2
00002e87: DUP11
00002e88: ADD
00002e89: SWAP2
00002e8a: POP
00002e8b: DUP11
00002e8c: PUSH1 0x1f
00002e8e: DUP4
00002e8f: ADD
00002e90: SLT
00002e91: PUSH2 0x2e99
00002e94: JUMPI
00002e95: PUSH1 0x00
00002e97: DUP1
00002e98: REVERT
00002e99: JUMPDEST
00002e9a: DUP2
00002e9b: CALLDATALOAD
00002e9c: DUP2
00002e9d: DUP2
00002e9e: GT
00002e9f: ISZERO
00002ea0: PUSH2 0x2eab
00002ea3: JUMPI
00002ea4: PUSH2 0x2eab
00002ea7: PUSH2 0x2e0e
00002eaa: JUMP
00002eab: JUMPDEST
00002eac: PUSH1 0x40
00002eae: MLOAD
00002eaf: PUSH1 0x1f
00002eb1: DUP3
00002eb2: ADD
00002eb3: PUSH1 0x1f
00002eb5: NOT
00002eb6: SWAP1
00002eb7: DUP2
00002eb8: AND
00002eb9: PUSH1 0x3f
00002ebb: ADD
00002ebc: AND
00002ebd: DUP2
00002ebe: ADD
00002ebf: SWAP1
00002ec0: DUP4
00002ec1: DUP3
00002ec2: GT
00002ec3: DUP2
00002ec4: DUP4
00002ec5: LT
00002ec6: OR
00002ec7: ISZERO
00002ec8: PUSH2 0x2ed3
00002ecb: JUMPI
00002ecc: PUSH2 0x2ed3
00002ecf: PUSH2 0x2e0e
00002ed2: JUMP
00002ed3: JUMPDEST
00002ed4: DUP2
00002ed5: PUSH1 0x40
00002ed7: MSTORE
00002ed8: DUP3
00002ed9: DUP2
00002eda: MSTORE
00002edb: DUP14
00002edc: PUSH1 0x20
00002ede: DUP5
00002edf: DUP8
00002ee0: ADD
00002ee1: ADD
00002ee2: GT
00002ee3: ISZERO
00002ee4: PUSH2 0x2eec
00002ee7: JUMPI
00002ee8: PUSH1 0x00
00002eea: DUP1
00002eeb: REVERT
00002eec: JUMPDEST
00002eed: DUP3
00002eee: PUSH1 0x20
00002ef0: DUP7
00002ef1: ADD
00002ef2: PUSH1 0x20
00002ef4: DUP4
00002ef5: ADD
00002ef6: CALLDATACOPY
00002ef7: PUSH1 0x00
00002ef9: PUSH1 0x20
00002efb: DUP5
00002efc: DUP4
00002efd: ADD
00002efe: ADD
00002eff: MSTORE
00002f00: DUP1
00002f01: SWAP8
00002f02: POP
00002f03: POP
00002f04: POP
00002f05: POP
00002f06: POP
00002f07: POP
00002f08: PUSH2 0x2f13
00002f0b: PUSH1 0xa0
00002f0d: DUP10
00002f0e: ADD
00002f0f: PUSH2 0x2cd6
00002f12: JUMP
00002f13: JUMPDEST
00002f14: SWAP2
00002f15: POP
00002f16: PUSH2 0x2f21
00002f19: PUSH1 0xc0
00002f1b: DUP10
00002f1c: ADD
00002f1d: PUSH2 0x2cd6
00002f20: JUMP
00002f21: JUMPDEST
00002f22: SWAP1
00002f23: POP
00002f24: SWAP3
00002f25: SWAP6
00002f26: SWAP9
00002f27: SWAP2
00002f28: SWAP5
00002f29: SWAP8
00002f2a: POP
00002f2b: SWAP3
00002f2c: SWAP6
00002f2d: POP
00002f2e: JUMP
00002f2f: JUMPDEST
00002f30: PUSH1 0x00
00002f32: DUP1
00002f33: PUSH1 0x00
00002f35: DUP1
00002f36: PUSH1 0x00
00002f38: DUP1
00002f39: PUSH1 0x00
00002f3b: PUSH1 0xe0
00002f3d: DUP9
00002f3e: DUP11
00002f3f: SUB
00002f40: SLT
00002f41: ISZERO
00002f42: PUSH2 0x2f4a
00002f45: JUMPI
00002f46: PUSH1 0x00
00002f48: DUP1
00002f49: REVERT
00002f4a: JUMPDEST
00002f4b: DUP8
00002f4c: CALLDATALOAD
00002f4d: PUSH2 0x2f55
00002f50: DUP2
00002f51: PUSH2 0x2cbe
00002f54: JUMP
00002f55: JUMPDEST
00002f56: SWAP7
00002f57: POP
00002f58: PUSH1 0x20
00002f5a: DUP9
00002f5b: ADD
00002f5c: CALLDATALOAD
00002f5d: PUSH2 0x2f65
00002f60: DUP2
00002f61: PUSH2 0x2cbe
00002f64: JUMP
00002f65: JUMPDEST
00002f66: SWAP6
00002f67: POP
00002f68: PUSH1 0x40
00002f6a: DUP9
00002f6b: ADD
00002f6c: CALLDATALOAD
00002f6d: SWAP5
00002f6e: POP
00002f6f: PUSH1 0x60
00002f71: DUP9
00002f72: ADD
00002f73: CALLDATALOAD
00002f74: SWAP4
00002f75: POP
00002f76: PUSH1 0x80
00002f78: DUP9
00002f79: ADD
00002f7a: CALLDATALOAD
00002f7b: PUSH1 0xff
00002f7d: DUP2
00002f7e: AND
00002f7f: DUP2
00002f80: EQ
00002f81: PUSH2 0x2f89
00002f84: JUMPI
00002f85: PUSH1 0x00
00002f87: DUP1
00002f88: REVERT
00002f89: JUMPDEST
00002f8a: SWAP7
00002f8b: SWAP10
00002f8c: SWAP6
00002f8d: SWAP9
00002f8e: POP
00002f8f: SWAP4
00002f90: SWAP7
00002f91: SWAP3
00002f92: SWAP6
00002f93: SWAP5
00002f94: PUSH1 0xa0
00002f96: DUP5
00002f97: ADD
00002f98: CALLDATALOAD
00002f99: SWAP5
00002f9a: POP
00002f9b: PUSH1 0xc0
00002f9d: SWAP1
00002f9e: SWAP4
00002f9f: ADD
00002fa0: CALLDATALOAD
00002fa1: SWAP3
00002fa2: SWAP2
00002fa3: POP
00002fa4: POP
00002fa5: JUMP
00002fa6: JUMPDEST
00002fa7: PUSH1 0x00
00002fa9: DUP1
00002faa: PUSH1 0x40
00002fac: DUP4
00002fad: DUP6
00002fae: SUB
00002faf: SLT
00002fb0: ISZERO
00002fb1: PUSH2 0x2fb9
00002fb4: JUMPI
00002fb5: PUSH1 0x00
00002fb7: DUP1
00002fb8: REVERT
00002fb9: JUMPDEST
00002fba: DUP3
00002fbb: CALLDATALOAD
00002fbc: PUSH2 0x2fc4
00002fbf: DUP2
00002fc0: PUSH2 0x2cbe
00002fc3: JUMP
00002fc4: JUMPDEST
00002fc5: SWAP2
00002fc6: POP
00002fc7: PUSH1 0x20
00002fc9: DUP4
00002fca: ADD
00002fcb: CALLDATALOAD
00002fcc: PUSH2 0x2fd4
00002fcf: DUP2
00002fd0: PUSH2 0x2cbe
00002fd3: JUMP
00002fd4: JUMPDEST
00002fd5: DUP1
00002fd6: SWAP2
00002fd7: POP
00002fd8: POP
00002fd9: SWAP3
00002fda: POP
00002fdb: SWAP3
00002fdc: SWAP1
00002fdd: POP
00002fde: JUMP
00002fdf: JUMPDEST
00002fe0: PUSH1 0x01
00002fe2: DUP2
00002fe3: DUP2
00002fe4: SHR
00002fe5: SWAP1
00002fe6: DUP3
00002fe7: AND
00002fe8: DUP1
00002fe9: PUSH2 0x2ff3
00002fec: JUMPI
00002fed: PUSH1 0x7f
00002fef: DUP3
00002ff0: AND
00002ff1: SWAP2
00002ff2: POP
00002ff3: JUMPDEST
00002ff4: PUSH1 0x20
00002ff6: DUP3
00002ff7: LT
00002ff8: DUP2
00002ff9: SUB
00002ffa: PUSH2 0x1209
00002ffd: JUMPI
00002ffe: PUSH4 0x4e487b71
00003003: PUSH1 0xe0
00003005: SHL
00003006: PUSH1 0x00
00003008: MSTORE
00003009: PUSH1 0x22
0000300b: PUSH1 0x04
0000300d: MSTORE
0000300e: PUSH1 0x24
00003010: PUSH1 0x00
00003012: REVERT
00003013: JUMPDEST
00003014: PUSH1 0x20
00003016: DUP1
00003017: DUP3
00003018: MSTORE
00003019: PUSH1 0x0f
0000301b: SWAP1
0000301c: DUP3
0000301d: ADD
0000301e: MSTORE
0000301f: PUSH15 0x26bab9ba1031329026b0b730b3b2b9
0000302f: PUSH1 0x89
00003031: SHL
00003032: PUSH1 0x40
00003034: DUP3
00003035: ADD
00003036: MSTORE
00003037: PUSH1 0x60
00003039: ADD
0000303a: SWAP1
0000303b: JUMP
0000303c: JUMPDEST
0000303d: PUSH1 0x20
0000303f: DUP1
00003040: DUP3
00003041: MSTORE
00003042: PUSH1 0x0a
00003044: SWAP1
00003045: DUP3
00003046: ADD
00003047: MSTORE
00003048: PUSH10 0x5245454e5452414e4359
00003053: PUSH1 0xb0
00003055: SHL
00003056: PUSH1 0x40
00003058: DUP3
00003059: ADD
0000305a: MSTORE
0000305b: PUSH1 0x60
0000305d: ADD
0000305e: SWAP1
0000305f: JUMP
00003060: JUMPDEST
00003061: PUSH4 0x4e487b71
00003066: PUSH1 0xe0
00003068: SHL
00003069: PUSH1 0x00
0000306b: MSTORE
0000306c: PUSH1 0x11
0000306e: PUSH1 0x04
00003070: MSTORE
00003071: PUSH1 0x24
00003073: PUSH1 0x00
00003075: REVERT
00003076: JUMPDEST
00003077: DUP2
00003078: DUP2
00003079: SUB
0000307a: DUP2
0000307b: DUP2
0000307c: GT
0000307d: ISZERO
0000307e: PUSH2 0x06b8
00003081: JUMPI
00003082: PUSH2 0x06b8
00003085: PUSH2 0x3060
00003088: JUMP
00003089: JUMPDEST
0000308a: PUSH1 0x20
0000308c: DUP1
0000308d: DUP3
0000308e: MSTORE
0000308f: PUSH1 0x10
00003091: SWAP1
00003092: DUP3
00003093: ADD
00003094: MSTORE
00003095: PUSH16 0x135d5cdd0818994818481dda5e985c99
000030a6: PUSH1 0x82
000030a8: SHL
000030a9: PUSH1 0x40
000030ab: DUP3
000030ac: ADD
000030ad: MSTORE
000030ae: PUSH1 0x60
000030b0: ADD
000030b1: SWAP1
000030b2: JUMP
000030b3: JUMPDEST
000030b4: PUSH4 0x4e487b71
000030b9: PUSH1 0xe0
000030bb: SHL
000030bc: PUSH1 0x00
000030be: MSTORE
000030bf: PUSH1 0x21
000030c1: PUSH1 0x04
000030c3: MSTORE
000030c4: PUSH1 0x24
000030c6: PUSH1 0x00
000030c8: REVERT
000030c9: JUMPDEST
000030ca: PUSH1 0x00
000030cc: PUSH1 0x20
000030ce: DUP3
000030cf: DUP5
000030d0: SUB
000030d1: SLT
000030d2: ISZERO
000030d3: PUSH2 0x30db
000030d6: JUMPI
000030d7: PUSH1 0x00
000030d9: DUP1
000030da: REVERT
000030db: JUMPDEST
000030dc: DUP2
000030dd: MLOAD
000030de: DUP1
000030df: ISZERO
000030e0: ISZERO
000030e1: DUP2
000030e2: EQ
000030e3: PUSH2 0x2186
000030e6: JUMPI
000030e7: PUSH1 0x00
000030e9: DUP1
000030ea: REVERT
000030eb: JUMPDEST
000030ec: PUSH1 0x20
000030ee: DUP1
000030ef: DUP3
000030f0: MSTORE
000030f1: PUSH1 0x0c
000030f3: SWAP1
000030f4: DUP3
000030f5: ADD
000030f6: MSTORE
000030f7: PUSH12 0x15539055551213d492569151
00003104: PUSH1 0xa2
00003106: SHL
00003107: PUSH1 0x40
00003109: DUP3
0000310a: ADD
0000310b: MSTORE
0000310c: PUSH1 0x60
0000310e: ADD
0000310f: SWAP1
00003110: JUMP
00003111: JUMPDEST
00003112: PUSH4 0x4e487b71
00003117: PUSH1 0xe0
00003119: SHL
0000311a: PUSH1 0x00
0000311c: MSTORE
0000311d: PUSH1 0x32
0000311f: PUSH1 0x04
00003121: MSTORE
00003122: PUSH1 0x24
00003124: PUSH1 0x00
00003126: REVERT
00003127: JUMPDEST
00003128: PUSH1 0x00
0000312a: PUSH1 0x01
0000312c: DUP3
0000312d: ADD
0000312e: PUSH2 0x3139
00003131: JUMPI
00003132: PUSH2 0x3139
00003135: PUSH2 0x3060
00003138: JUMP
00003139: JUMPDEST
0000313a: POP
0000313b: PUSH1 0x01
0000313d: ADD
0000313e: SWAP1
0000313f: JUMP
00003140: JUMPDEST
00003141: PUSH1 0x00
00003143: PUSH1 0x20
00003145: DUP3
00003146: DUP5
00003147: SUB
00003148: SLT
00003149: ISZERO
0000314a: PUSH2 0x3152
0000314d: JUMPI
0000314e: PUSH1 0x00
00003150: DUP1
00003151: REVERT
00003152: JUMPDEST
00003153: POP
00003154: MLOAD
00003155: SWAP2
00003156: SWAP1
00003157: POP
00003158: JUMP
00003159: JUMPDEST
0000315a: PUSH4 0x4e487b71
0000315f: PUSH1 0xe0
00003161: SHL
00003162: PUSH1 0x00
00003164: MSTORE
00003165: PUSH1 0x31
00003167: PUSH1 0x04
00003169: MSTORE
0000316a: PUSH1 0x24
0000316c: PUSH1 0x00
0000316e: REVERT
0000316f: JUMPDEST
00003170: PUSH1 0x00
00003172: DUP1
00003173: DUP4
00003174: SLOAD
00003175: DUP2
00003176: PUSH1 0x01
00003178: DUP3
00003179: DUP2
0000317a: SHR
0000317b: SWAP2
0000317c: POP
0000317d: DUP1
0000317e: DUP4
0000317f: AND
00003180: DUP1
00003181: PUSH2 0x318b
00003184: JUMPI
00003185: PUSH1 0x7f
00003187: DUP4
00003188: AND
00003189: SWAP3
0000318a: POP
0000318b: JUMPDEST
0000318c: PUSH1 0x20
0000318e: DUP1
0000318f: DUP5
00003190: LT
00003191: DUP3
00003192: SUB
00003193: PUSH2 0x31aa
00003196: JUMPI
00003197: PUSH4 0x4e487b71
0000319c: PUSH1 0xe0
0000319e: SHL
0000319f: DUP7
000031a0: MSTORE
000031a1: PUSH1 0x22
000031a3: PUSH1 0x04
000031a5: MSTORE
000031a6: PUSH1 0x24
000031a8: DUP7
000031a9: REVERT
000031aa: JUMPDEST
000031ab: DUP2
000031ac: DUP1
000031ad: ISZERO
000031ae: PUSH2 0x31be
000031b1: JUMPI
000031b2: PUSH1 0x01
000031b4: DUP2
000031b5: EQ
000031b6: PUSH2 0x31d3
000031b9: JUMPI
000031ba: PUSH2 0x3200
000031bd: JUMP
000031be: JUMPDEST
000031bf: PUSH1 0xff
000031c1: NOT
000031c2: DUP7
000031c3: AND
000031c4: DUP10
000031c5: MSTORE
000031c6: DUP5
000031c7: ISZERO
000031c8: ISZERO
000031c9: DUP6
000031ca: MUL
000031cb: DUP10
000031cc: ADD
000031cd: SWAP7
000031ce: POP
000031cf: PUSH2 0x3200
000031d2: JUMP
000031d3: JUMPDEST
000031d4: PUSH1 0x00
000031d6: DUP11
000031d7: DUP2
000031d8: MSTORE
000031d9: PUSH1 0x20
000031db: SWAP1
000031dc: KECCAK256
000031dd: PUSH1 0x00
000031df: JUMPDEST
000031e0: DUP7
000031e1: DUP2
000031e2: LT
000031e3: ISZERO
000031e4: PUSH2 0x31f8
000031e7: JUMPI
000031e8: DUP2
000031e9: SLOAD
000031ea: DUP12
000031eb: DUP3
000031ec: ADD
000031ed: MSTORE
000031ee: SWAP1
000031ef: DUP6
000031f0: ADD
000031f1: SWAP1
000031f2: DUP4
000031f3: ADD
000031f4: PUSH2 0x31df
000031f7: JUMP
000031f8: JUMPDEST
000031f9: POP
000031fa: POP
000031fb: DUP5
000031fc: DUP10
000031fd: ADD
000031fe: SWAP7
000031ff: POP
00003200: JUMPDEST
00003201: POP
00003202: SWAP5
00003203: SWAP9
00003204: SWAP8
00003205: POP
00003206: POP
00003207: POP
00003208: POP
00003209: POP
0000320a: POP
0000320b: POP
0000320c: POP
0000320d: JUMP
0000320e: JUMPDEST
0000320f: DUP1
00003210: DUP3
00003211: ADD
00003212: DUP1
00003213: DUP3
00003214: GT
00003215: ISZERO
00003216: PUSH2 0x06b8
00003219: JUMPI
0000321a: PUSH2 0x06b8
0000321d: PUSH2 0x3060
00003220: JUMP
00003221: JUMPDEST
00003222: PUSH1 0x01
00003224: DUP2
00003225: DUP2
00003226: JUMPDEST
00003227: DUP1
00003228: DUP6
00003229: GT
0000322a: ISZERO
0000322b: PUSH2 0x325c
0000322e: JUMPI
0000322f: DUP2
00003230: PUSH1 0x00
00003232: NOT
00003233: DIV
00003234: DUP3
00003235: GT
00003236: ISZERO
00003237: PUSH2 0x3242
0000323a: JUMPI
0000323b: PUSH2 0x3242
0000323e: PUSH2 0x3060
00003241: JUMP
00003242: JUMPDEST
00003243: DUP1
00003244: DUP6
00003245: AND
00003246: ISZERO
00003247: PUSH2 0x324f
0000324a: JUMPI
0000324b: SWAP2
0000324c: DUP2
0000324d: MUL
0000324e: SWAP2
0000324f: JUMPDEST
00003250: SWAP4
00003251: DUP5
00003252: SHR
00003253: SWAP4
00003254: SWAP1
00003255: DUP1
00003256: MUL
00003257: SWAP1
00003258: PUSH2 0x3226
0000325b: JUMP
0000325c: JUMPDEST
0000325d: POP
0000325e: SWAP3
0000325f: POP
00003260: SWAP3
00003261: SWAP1
00003262: POP
00003263: JUMP
00003264: JUMPDEST
00003265: PUSH1 0x00
00003267: DUP3
00003268: PUSH2 0x3273
0000326b: JUMPI
0000326c: POP
0000326d: PUSH1 0x01
0000326f: PUSH2 0x06b8
00003272: JUMP
00003273: JUMPDEST
00003274: DUP2
00003275: PUSH2 0x3280
00003278: JUMPI
00003279: POP
0000327a: PUSH1 0x00
0000327c: PUSH2 0x06b8
0000327f: JUMP
00003280: JUMPDEST
00003281: DUP2
00003282: PUSH1 0x01
00003284: DUP2
00003285: EQ
00003286: PUSH2 0x3296
00003289: JUMPI
0000328a: PUSH1 0x02
0000328c: DUP2
0000328d: EQ
0000328e: PUSH2 0x32a0
00003291: JUMPI
00003292: PUSH2 0x32bc
00003295: JUMP
00003296: JUMPDEST
00003297: PUSH1 0x01
00003299: SWAP2
0000329a: POP
0000329b: POP
0000329c: PUSH2 0x06b8
0000329f: JUMP
000032a0: JUMPDEST
000032a1: PUSH1 0xff
000032a3: DUP5
000032a4: GT
000032a5: ISZERO
000032a6: PUSH2 0x32b1
000032a9: JUMPI
000032aa: PUSH2 0x32b1
000032ad: PUSH2 0x3060
000032b0: JUMP
000032b1: JUMPDEST
000032b2: POP
000032b3: POP
000032b4: PUSH1 0x01
000032b6: DUP3
000032b7: SHL
000032b8: PUSH2 0x06b8
000032bb: JUMP
000032bc: JUMPDEST
000032bd: POP
000032be: PUSH1 0x20
000032c0: DUP4
000032c1: LT
000032c2: PUSH2 0x0133
000032c5: DUP4
000032c6: LT
000032c7: AND
000032c8: PUSH1 0x4e
000032ca: DUP5
000032cb: LT
000032cc: PUSH1 0x0b
000032ce: DUP5
000032cf: LT
000032d0: AND
000032d1: OR
000032d2: ISZERO
000032d3: PUSH2 0x32df
000032d6: JUMPI
000032d7: POP
000032d8: DUP2
000032d9: DUP2
000032da: EXP
000032db: PUSH2 0x06b8
000032de: JUMP
000032df: JUMPDEST
000032e0: PUSH2 0x32e9
000032e3: DUP4
000032e4: DUP4
000032e5: PUSH2 0x3221
000032e8: JUMP
000032e9: JUMPDEST
000032ea: DUP1
000032eb: PUSH1 0x00
000032ed: NOT
000032ee: DIV
000032ef: DUP3
000032f0: GT
000032f1: ISZERO
000032f2: PUSH2 0x32fd
000032f5: JUMPI
000032f6: PUSH2 0x32fd
000032f9: PUSH2 0x3060
000032fc: JUMP
000032fd: JUMPDEST
000032fe: MUL
000032ff: SWAP4
00003300: SWAP3
00003301: POP
00003302: POP
00003303: POP
00003304: JUMP
00003305: JUMPDEST
00003306: PUSH1 0x00
00003308: PUSH2 0x2186
0000330b: DUP4
0000330c: DUP4
0000330d: PUSH2 0x3264
00003310: JUMP
00003311: JUMPDEST
00003312: DUP1
00003313: DUP3
00003314: MUL
00003315: DUP2
00003316: ISZERO
00003317: DUP3
00003318: DUP3
00003319: DIV
0000331a: DUP5
0000331b: EQ
0000331c: OR
0000331d: PUSH2 0x06b8
00003320: JUMPI
00003321: PUSH2 0x06b8
00003324: PUSH2 0x3060
00003327: JUMP
00003328: JUMPDEST
00003329: PUSH1 0x00
0000332b: DUP3
0000332c: PUSH2 0x3345
0000332f: JUMPI
00003330: PUSH4 0x4e487b71
00003335: PUSH1 0xe0
00003337: SHL
00003338: PUSH1 0x00
0000333a: MSTORE
0000333b: PUSH1 0x12
0000333d: PUSH1 0x04
0000333f: MSTORE
00003340: PUSH1 0x24
00003342: PUSH1 0x00
00003344: REVERT
00003345: JUMPDEST
00003346: POP
00003347: DIV
00003348: SWAP1
00003349: JUMP
0000334a: JUMPDEST
0000334b: PUSH1 0x00
0000334d: DUP3
0000334e: MLOAD
0000334f: PUSH2 0x335c
00003352: DUP2
00003353: DUP5
00003354: PUSH1 0x20
00003356: DUP8
00003357: ADD
00003358: PUSH2 0x2c67
0000335b: JUMP
0000335c: JUMPDEST
0000335d: SWAP2
0000335e: SWAP1
0000335f: SWAP2
00003360: ADD
00003361: SWAP3
00003362: SWAP2
00003363: POP
00003364: POP
00003365: JUMP
00003366: INVALID
00003367: UNKNOWN(0xDD)
00003368: CALLCODE
00003369: MSTORE
0000336a: UNKNOWN(0xAD)
0000336b: SHL
0000336c: UNKNOWN(0xE2)
0000336d: UNKNOWN(0xC8)
0000336e: SWAP12
0000336f: PUSH10 0xc2b068fc378daa952ba7
0000337a: CALL
0000337b: PUSH4 0xc4a11628
00003380: CREATE2
00003381: GAS
00003382: UNKNOWN(0x4D)
00003383: CREATE2
00003384: UNKNOWN(0x23)
00003385: UNKNOWN(0xB3)
00003386: UNKNOWN(0xEF)
00003387: LOG2
00003388: PUSH5 0x6970667358
0000338e: UNKNOWN(0x22)
0000338f: SLT
00003390: KECCAK256
00003391: SDIV
00003392: AND
00003393: UNKNOWN(0xB1)
00003394: UNKNOWN(0xAC)
00003395: UNKNOWN(0x2B)
00003396: UNKNOWN(0xBA)
00003397: ORIGIN
00003398: UNKNOWN(0xD6)
00003399: MLOAD
0000339a: INVALID
0000339b: MUL
0000339c: PUSH32

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd36fc0ff",
            "selector": "0xd36fc0ff",
            "calldata_variants": [
                "0xd36fc0ff",
                "0xd36fc0ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3ae2415",
            "selector": "0xf3ae2415",
            "calldata_variants": [
                "0xf3ae2415",
                "0xf3ae24150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf43b8555",
            "selector": "0xf43b8555",
            "calldata_variants": [
                "0xf43b8555",
                "0xf43b85550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xac18de43",
            "selector": "0xac18de43",
            "calldata_variants": [
                "0xac18de43",
                "0xac18de430000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 13207,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x9b7559ffe8aaf3ea41b2df947a7c45986d3b12d5c9e1c11633ea716828f8b741
call_targets: 0x89c53b02558e4d1c24b9bf3bed1279871187ef0b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9b7559ffe8aaf3ea41b2df947a7c45986d3b12d5c9e1c11633ea716828f8b741",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x89c53b02558e4d1c24b9bf3bed1279871187ef0b"
    ],
    "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": "0xd36fc0ff",
            "selector": "0xd36fc0ff",
            "calldata_variants": [
                "0xd36fc0ff",
                "0xd36fc0ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3ae2415",
            "selector": "0xf3ae2415",
            "calldata_variants": [
                "0xf3ae2415",
                "0xf3ae24150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf43b8555",
            "selector": "0xf43b8555",
            "calldata_variants": [
                "0xf43b8555",
                "0xf43b85550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xac18de43",
            "selector": "0xac18de43",
            "calldata_variants": [
                "0xac18de43",
                "0xac18de430000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 11128,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 13160,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 13178,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 13207,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x9b7559ffe8aaf3ea41b2df947a7c45986d3b12d5c9e1c11633ea716828f8b741
call_targets: 0x89c53b02558e4d1c24b9bf3bed1279871187ef0b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9b7559ffe8aaf3ea41b2df947a7c45986d3b12d5c9e1c11633ea716828f8b741",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x89c53b02558e4d1c24b9bf3bed1279871187ef0b"
    ],
    "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": "0xd36fc0ff",
            "selector": "0xd36fc0ff",
            "calldata_variants": [
                "0xd36fc0ff",
                "0xd36fc0ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3ae2415",
            "selector": "0xf3ae2415",
            "calldata_variants": [
                "0xf3ae2415",
                "0xf3ae24150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf43b8555",
            "selector": "0xf43b8555",
            "calldata_variants": [
                "0xf43b8555",
                "0xf43b85550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xac18de43",
            "selector": "0xac18de43",
            "calldata_variants": [
                "0xac18de43",
                "0xac18de430000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 11128,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 13160,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 13178,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 13207,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x52becdbf3e9a03a3d4c7352dea5cef96badf5fd25c87769a80c80f6a6d42bf1a
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x52becdbf3e9a03a3d4c7352dea5cef96badf5fd25c87769a80c80f6a6d42bf1a",
    "confirmed": false,
    "trace_mode": "structLogs",
    "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": "0xd36fc0ff",
            "selector": "0xd36fc0ff",
            "calldata_variants": [
                "0xd36fc0ff",
                "0xd36fc0ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3ae2415",
            "selector": "0xf3ae2415",
            "calldata_variants": [
                "0xf3ae2415",
                "0xf3ae24150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf43b8555",
            "selector": "0xf43b8555",
            "calldata_variants": [
                "0xf43b8555",
                "0xf43b85550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xac18de43",
            "selector": "0xac18de43",
            "calldata_variants": [
                "0xac18de43",
                "0xac18de430000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}
low other cast Contract creation opcode present 60 no
view
evidence_json
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 0,
    "create2_count": 2
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 15
}