06935d5d-1e6e-40f1-a675-615781fd25a9
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 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 |
No slither job recorded yet.
[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":[]}
{
"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
}
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
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_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 |
viewtrace_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 |
viewtrace_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 |
viewtrace_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 | — |
viewevidence_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 | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 15
}
|