4569b6c8-4f2a-475a-a123-61c4c377a66f
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 |
|---|---|---|---|---|
| 30482 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 103751 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 103752 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 103753 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103754 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103755 | detector.run | complete | 1 / 3 | 1 week ago |
| 103756 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1016741] OpenAI Codex v0.77.0 (research preview)
[codex:1016741] --------
[codex:1016741] workdir: /tmp/codex-multi-kf47imww
[codex:1016741] model: gpt-5.2-codex
[codex:1016741] provider: openai
[codex:1016741] approval: never
[codex:1016741] sandbox: read-only
[codex:1016741] reasoning effort: xhigh
[codex:1016741] reasoning summaries: auto
[codex:1016741] session id: 019b6a23-eef9-7283-84e8-ab44fdac49b3
[codex:1016741] --------
[codex:1016741] user
[codex:1016741] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1016741] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1016741] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1016741]
[codex:1016741] Scope rules:
[codex:1016741] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1016741] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1016741]
[codex:1016741] Output MUST be valid JSON matching the provided schema.
[codex:1016741] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1016741] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1016741]
[codex:1016741] Output constraints (IMPORTANT):
[codex:1016741] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1016741] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1016741] mcp startup: no servers
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Inspecting AUDIT_BUNDLE.txt**
[codex:1016741] exec
[codex:1016741] /bin/bash -lc ls in /tmp/codex-multi-kf47imww succeeded in 7ms:
[codex:1016741] AUDIT_BUNDLE.txt
[codex:1016741] codex-output-schema.json
[codex:1016741] contracts
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Reading AUDIT_BUNDLE.txt**
[codex:1016741] exec
[codex:1016741] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-kf47imww succeeded in 6ms:
[codex:1016741] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1016741]
[codex:1016741] ================================================================================
[codex:1016741] FILE: contracts/Contract.sol
[codex:1016741] ================================================================================
[codex:1016741] // SPDX-License-Identifier: MIT
[codex:1016741] pragma solidity ^0.8.17;
[codex:1016741]
[codex:1016741] // OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/utils/SafeERC20.sol)
[codex:1016741]
[codex:1016741] // OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/IERC20.sol)
[codex:1016741]
[codex:1016741] /**
[codex:1016741] * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:1016741] */
[codex:1016741] interface IERC20Upgradeable {
[codex:1016741] /**
[codex:1016741] * @dev Emitted when `value` tokens are moved from one account (`from`) to
[codex:1016741] * another (`to`).
[codex:1016741] *
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Checking AUDIT_BUNDLE contents**
[codex:1016741] exec
[codex:1016741] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-kf47imww succeeded in 16ms:
[codex:1016741] 4:FILE: contracts/Contract.sol
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Identifying relevant contracts**
[codex:1016741] exec
[codex:1016741] /bin/bash -lc 'rg -n "contract " AUDIT_BUNDLE.txt' in /tmp/codex-multi-kf47imww succeeded in 7ms:
[codex:1016741] 163: * - a contract in construction
[codex:1016741] 164: * - an address where a contract will be created
[codex:1016741] 165: * - an address where a contract lived, but was destroyed
[codex:1016741] 167: * Furthermore, `isContract` will also return true if the target contract within
[codex:1016741] 254: * - the calling contract must have an ETH balance of at least `value`.
[codex:1016741] 331: * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling
[codex:1016741] 390: * contract returns false). Tokens that return no value (and instead revert or
[codex:1016741] 400: * @dev Transfer `value` amount of `token` from the calling contract to `to`. If `token` returns no value,
[codex:1016741] 497: // the target address contains contract code and also asserts for success in the low-level call.
[codex:1016741] 585: * @dev Thrown when the spender of the permit does not match this contract address
[codex:1016741] 655: * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
[codex:1016741] 658: * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:1016741] 668: * contract MyToken is ERC20Upgradeable {
[codex:1016741] 674: * contract MyTokenV2 is MyToken, ERC20PermitUpgradeable {
[codex:1016741] 689: * Avoid leaving a contract uninitialized.
[codex:1016741] 691: * An uninitialized contract can be taken over by an attacker. This applies to both a proxy and its implementation
[codex:1016741] 692: * contract, which may impact the proxy. To prevent the implementation contract from being used, you should invoke
[codex:1016741] 704:abstract contract Initializable {
[codex:1016741] 706: * @dev Indicates that the contract has been initialized.
[codex:1016741] 712: * @dev Indicates that the contract is in the process of being initialized.
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Analyzing upgradeable proxy admin logic**
[codex:1016741] exec
[codex:1016741] /bin/bash -lc 'rg -n "TransparentUpgradeableProxy|ERC1967Proxy|Proxy" AUDIT_BUNDLE.txt' in /tmp/codex-multi-kf47imww succeeded in 6ms:
[codex:1016741] 682: * possible by providing the encoded function call as the `_data` argument to {ERC1967Proxy-constructor}.
[codex:1016741] 939: * @dev ERC1822: Universal Upgradeable Proxy Standard (UUPS) documents a method for upgradeability through a simplified
[codex:1016741] 959: * @dev This is the interface that {BeaconProxy} expects of its beacon.
[codex:1016741] 965: * {BeaconProxy} will check that this address is a contract.
[codex:1016741] 973: * @dev ERC-1967: Proxy Storage Slots. This interface contains the events defined in the ERC.
[codex:1016741] 1291: * {ERC1967Proxy}, when this contract is set as the implementation behind such a proxy.
[codex:1016741] 1317: modifier onlyProxy() {
[codex:1016741] 1353: function upgradeTo(address newImplementation) public virtual onlyProxy {
[codex:1016741] 1368: function upgradeToAndCall(address newImplementation, bytes memory data) public payable virtual onlyProxy {
[codex:1016741] 1670: /// @param zkMinterBurnerProxy_ the address of the ZkMinterBurnerProxy deployed on the L2
[codex:1016741] 1677: address zkMinterBurnerProxy_,
[codex:1016741] 1679: ) external onlyProxy onlyAdmin initializer {
[codex:1016741] 1681: require(zkMinterBurnerProxy_ != address(0), "INVALID_MB");
[codex:1016741] 1693: zkMinterBurner = zkMinterBurnerProxy_;
[codex:1016741]
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Analyzing upgradeability and initialization risks**
[codex:1016741]
[codex:1016741] This is a detailed exploration of potential upgrade and initialization issues in the UUPS proxy pattern used here, especially concerning the admin slot management. I'm working through how onlyAdmin gating on initialization could lock the contract if the admin slot isn't pre-set, causing a bricked proxy with no apparent exploit but serious deployment risk. I’m also considering interactions with Transparent proxies versus ERC1967 proxies, plus reviewing potential reentrancy and permit handling nuances in bridging functions, noticing a mix of intentional allowances and trust assumptions. There’s a lot here around governance and upgrade path correctness to untangle!
[codex:1016741] thinking
[codex:1016741] **Reviewing role management and initialization constraints**
[codex:1016741]
[codex:1016741] I’m examining how admin and owner roles are split for upgrades and pausing, noticing the initialize function is gated by onlyAdmin which depends on a potentially unset admin slot—this makes initialization tricky or blocked in UUPS proxies. I’m also checking permit and bridgeToken call nuances with regard to caller identity and reentrancy risks, plus planning to locate and reference relevant lines in the contract code for audit documentation.
[codex:1016741] exec
[codex:1016741] /bin/bash -lc "nl -ba AUDIT_BUNDLE.txt | sed -n '1480,1735p'" in /tmp/codex-multi-kf47imww succeeded in 6ms:
[codex:1016741] 1480 function _pause() internal virtual whenNotPaused {
[codex:1016741] 1481 _paused = true;
[codex:1016741] 1482 emit Paused(_msgSender());
[codex:1016741] 1483 }
[codex:1016741] 1484
[codex:1016741] 1485 /**
[codex:1016741] 1486 * @dev Returns to normal state.
[codex:1016741] 1487 *
[codex:1016741] 1488 * Requirements:
[codex:1016741] 1489 *
[codex:1016741] 1490 * - The contract must be paused.
[codex:1016741] 1491 */
[codex:1016741] 1492 function _unpause() internal virtual whenPaused {
[codex:1016741] 1493 _paused = false;
[codex:1016741] 1494 emit Unpaused(_msgSender());
[codex:1016741] 1495 }
[codex:1016741] 1496
[codex:1016741] 1497 /**
[codex:1016741] 1498 * @dev This empty reserved space is put in place to allow future versions to add new
[codex:1016741] 1499 * variables without shifting down storage in the inheritance chain.
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Extending function implementations**
[codex:1016741] exec
[codex:1016741] /bin/bash -lc "nl -ba AUDIT_BUNDLE.txt | sed -n '1730,1795p'" in /tmp/codex-multi-kf47imww succeeded in 6ms:
[codex:1016741] 1730
[codex:1016741] 1731 /// @notice Similar to other `bridgeToken` function, but saves an ERC20.approve call
[codex:1016741] 1732 /// by using the EIP-2612 permit function
[codex:1016741] 1733 function bridgeToken(
[codex:1016741] 1734 address destinationAddress,
[codex:1016741] 1735 uint256 amount,
[codex:1016741] 1736 bool forceUpdateGlobalExitRoot,
[codex:1016741] 1737 bytes calldata permitData
[codex:1016741] 1738 ) external whenNotPaused {
[codex:1016741] 1739 if (permitData.length > 0)
[codex:1016741] 1740 LibPermit.permit(address(l1USDC), amount, permitData);
[codex:1016741] 1741
[codex:1016741] 1742 bridgeToken(destinationAddress, amount, forceUpdateGlobalExitRoot);
[codex:1016741] 1743 }
[codex:1016741] 1744
[codex:1016741] 1745 /// @dev This function is triggered by the bridge to faciliate the L1 USDC withdrawal process.
[codex:1016741] 1746 /// This function is called by the bridge when a message is sent by the L2
[codex:1016741] 1747 /// ZkMinterBurner communicating that it has burned USDC-e and wants to withdraw the L1 USDC
[codex:1016741] 1748 /// that backs it.
[codex:1016741] 1749 /// @dev This function can only be called by the bridge contract
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Analyzing upgradeability and external call risks**
[codex:1016741]
[codex:1016741] I'm thinking through the upgradeability initializer issue with onlyAdmin plus proxy admin slot unset, which could brick deployment—a high-severity misconfiguration rather than attacker exploit. I'm weighing other potential flags like unchecked calls in LibPermit, the trust model around bridge calls, and reentrancy possibilities, trying to focus on truly exploitable vulnerabilities within the given categories. I plan to confirm interface details by searching for IPolygonZkEVMBridge and related receiver interfaces next.
[codex:1016741] exec
[codex:1016741] /bin/bash -lc 'rg -n "interface IPolygonZkEVMBridge|interface IBridgeMessageReceiver" AUDIT_BUNDLE.txt' in /tmp/codex-multi-kf47imww succeeded in 7ms:
[codex:1016741] 525:interface IBridgeMessageReceiver {
[codex:1016741] 533:interface IPolygonZkEVMBridge {
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Reviewing function return definitions**
[codex:1016741] exec
[codex:1016741] /bin/bash -lc "nl -ba AUDIT_BUNDLE.txt | sed -n '500,560p'" in /tmp/codex-multi-kf47imww succeeded in 6ms:
[codex:1016741] 500 require(returndata.length == 0 || abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
[codex:1016741] 501 }
[codex:1016741] 502
[codex:1016741] 503 /**
[codex:1016741] 504 * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
[codex:1016741] 505 * on the return value: the return value is optional (but if data is returned, it must not be false).
[codex:1016741] 506 * @param token The token targeted by the call.
[codex:1016741] 507 * @param data The call data (encoded using abi.encode or one of its variants).
[codex:1016741] 508 *
[codex:1016741] 509 * This is a variant of {_callOptionalReturn} that silents catches all reverts and returns a bool instead.
[codex:1016741] 510 */
[codex:1016741] 511 function _callOptionalReturnBool(IERC20Upgradeable token, bytes memory data) private returns (bool) {
[codex:1016741] 512 // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
[codex:1016741] 513 // we're implementing it ourselves. We cannot use {Address-functionCall} here since this should return false
[codex:1016741] 514 // and not revert is the subcall reverts.
[codex:1016741] 515
[codex:1016741] 516 (bool success, bytes memory returndata) = address(token).call(data);
[codex:1016741] 517 return
[codex:1016741] 518 success && (returndata.length == 0 || abi.decode(returndata, (bool))) && AddressUpgradeable.isContract(address(token));
[codex:1016741] 519 }
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Continuing interface review**
[codex:1016741] exec
[codex:1016741] /bin/bash -lc "nl -ba AUDIT_BUNDLE.txt | sed -n '560,660p'" in /tmp/codex-multi-kf47imww succeeded in 7ms:
[codex:1016741] 560 * @dev Thrown when the message transaction on claimMessage fails
[codex:1016741] 561 */
[codex:1016741] 562 error MessageFailed();
[codex:1016741] 563
[codex:1016741] 564 /**
[codex:1016741] 565 * @dev Thrown when the global exit root does not exist
[codex:1016741] 566 */
[codex:1016741] 567 error GlobalExitRootInvalid();
[codex:1016741] 568
[codex:1016741] 569 /**
[codex:1016741] 570 * @dev Thrown when the smt proof does not match
[codex:1016741] 571 */
[codex:1016741] 572 error InvalidSmtProof();
[codex:1016741] 573
[codex:1016741] 574 /**
[codex:1016741] 575 * @dev Thrown when an index is already claimed
[codex:1016741] 576 */
[codex:1016741] 577 error AlreadyClaimed();
[codex:1016741] 578
[codex:1016741] 579 /**
[codex:1016741]
[codex:1016741] thinking
[codex:1016741] **Summarizing upgradeability and initialization risk**
[codex:1016741]
[codex:1016741] I'll explain the core issue of the upgrade and initialization relying on the ERC1967 admin slot, which can be unset or unreachable in common UUPS proxy deployments, potentially locking the contract forever and breaking upgrade paths. I’ll include a clear exploit scenario, recommendations, and relevant code evidence to make the finding actionable.
[codex:1016741] codex
[codex:1016741] {"no_findings":false,"summary":"1 high-severity upgradeability issue identified.","findings":[{"severity":"high","category":"upgradeability","title":"Initializer and upgrade authorization depend on the ERC1967 admin slot, which is unset/unreachable in typical UUPS deployments","exploit_scenario":"If the proxy is deployed as a standard UUPS/`ERC1967Proxy`, the admin slot is never initialized, so `onlyAdmin` always fails. This makes `initialize` uncallable and permanently bricks the proxy (owner/admin/bridge/token never set). If a TransparentUpgradeableProxy is used instead, the admin cannot reach implementation functions due to the transparent proxy guard, so `upgradeTo`/`changeAdmin` in the implementation become unreachable, effectively disabling upgrades.","recommendation":"Align the access control with the intended proxy type. For UUPS, replace `onlyAdmin` with an owner/role check stored in implementation state (e.g., `onlyOwner`/AccessControl) and allow `initialize` to be called by the deployer; or explicitly set the admin slot during deployment and avoid transparent proxies if relying on `onlyAdmin` in the implementation. Consider using OZ’s recommended UUPS pattern: `initialize` with `initializer` + `_authorizeUpgrade` using `onlyOwner`.","evidence":"`onlyAdmin` gates both `_authorizeUpgrade` and `initialize`, but the admin slot is not set anywhere before `initialize`; UUPS proxies do not set the admin slot by default, so `onlyAdmin` will fail and initialization/upgrades are blocked.","locations":["contracts/Contract.sol:1526","contracts/Contract.sol:1531","contracts/Contract.sol:1672"]}]}
[codex:1016741] tokens used
[codex:1016741] 34,395
[codex:1016741] {"no_findings":false,"summary":"1 high-severity upgradeability issue identified.","findings":[{"severity":"high","category":"upgradeability","title":"Initializer and upgrade authorization depend on the ERC1967 admin slot, which is unset/unreachable in typical UUPS deployments","exploit_scenario":"If the proxy is deployed as a standard UUPS/`ERC1967Proxy`, the admin slot is never initialized, so `onlyAdmin` always fails. This makes `initialize` uncallable and permanently bricks the proxy (owner/admin/bridge/token never set). If a TransparentUpgradeableProxy is used instead, the admin cannot reach implementation functions due to the transparent proxy guard, so `upgradeTo`/`changeAdmin` in the implementation become unreachable, effectively disabling upgrades.","recommendation":"Align the access control with the intended proxy type. For UUPS, replace `onlyAdmin` with an owner/role check stored in implementation state (e.g., `onlyOwner`/AccessControl) and allow `initialize` to be called by the deployer; or explicitly set the admin slot during deployment and avoid transparent proxies if relying on `onlyAdmin` in the implementation. Consider using OZ’s recommended UUPS pattern: `initialize` with `initializer` + `_authorizeUpgrade` using `onlyOwner`.","evidence":"`onlyAdmin` gates both `_authorizeUpgrade` and `initialize`, but the admin slot is not set anywhere before `initialize`; UUPS proxies do not set the admin slot by default, so `onlyAdmin` will fail and initialization/upgrades are blocked.","locations":["contracts/Contract.sol:1526","contracts/Contract.sol:1531","contracts/Contract.sol:1672"]}]}
{
"codex": {
"ran_at": "2025-12-29T12:48:50.893271+00:00",
"returncode": 0
},
"summary": "1 high-severity upgradeability issue identified.",
"raw_final": {
"summary": "1 high-severity upgradeability issue identified.",
"findings": [
{
"title": "Initializer and upgrade authorization depend on the ERC1967 admin slot, which is unset/unreachable in typical UUPS deployments",
"category": "upgradeability",
"evidence": "`onlyAdmin` gates both `_authorizeUpgrade` and `initialize`, but the admin slot is not set anywhere before `initialize`; UUPS proxies do not set the admin slot by default, so `onlyAdmin` will fail and initialization/upgrades are blocked.",
"severity": "high",
"locations": [
"contracts/Contract.sol:1526",
"contracts/Contract.sol:1531",
"contracts/Contract.sol:1672"
],
"recommendation": "Align the access control with the intended proxy type. For UUPS, replace `onlyAdmin` with an owner/role check stored in implementation state (e.g., `onlyOwner`/AccessControl) and allow `initialize` to be called by the deployer; or explicitly set the admin slot during deployment and avoid transparent proxies if relying on `onlyAdmin` in the implementation. Consider using OZ\u2019s recommended UUPS pattern: `initialize` with `initializer` + `_authorizeUpgrade` using `onlyOwner`.",
"exploit_scenario": "If the proxy is deployed as a standard UUPS/`ERC1967Proxy`, the admin slot is never initialized, so `onlyAdmin` always fails. This makes `initialize` uncallable and permanently bricks the proxy (owner/admin/bridge/token never set). If a TransparentUpgradeableProxy is used instead, the admin cannot reach implementation functions due to the transparent proxy guard, so `upgradeTo`/`changeAdmin` in the implementation become unreachable, effectively disabling upgrades."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0109 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x726dc60b 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x988d3898 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x988d3898 0000002f: EQ 00000030: PUSH2 0x0292 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa282c46e 0000003a: EQ 0000003b: PUSH2 0x02b2 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xa6f73669 00000045: EQ 00000046: PUSH2 0x02eb 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe78cea92 00000050: EQ 00000051: PUSH2 0x030b 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x032b 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x726dc60b 0000006b: EQ 0000006c: PUSH2 0x020b 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8456cb59 00000076: EQ 00000077: PUSH2 0x022b 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8da5cb5b 00000081: EQ 00000082: PUSH2 0x0240 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x8f283970 0000008c: EQ 0000008d: PUSH2 0x0272 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x3f4ba83a 0000009c: GT 0000009d: PUSH2 0x00dc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x3f4ba83a 000000a7: EQ 000000a8: PUSH2 0x0183 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x4f1ef286 000000b2: EQ 000000b3: PUSH2 0x0198 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x52d1902d 000000bd: EQ 000000be: PUSH2 0x01ab 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5c975abb 000000c8: EQ 000000c9: PUSH2 0x01d3 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x715018a6 000000d3: EQ 000000d4: PUSH2 0x01f6 000000d7: JUMPI 000000d8: PUSH1 0x00 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH4 0x03bdcfc9 000000e3: EQ 000000e4: PUSH2 0x010e 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x073aec9a 000000ee: EQ 000000ef: PUSH2 0x0130 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x1806b5f2 000000f9: EQ 000000fa: PUSH2 0x0150 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x3659cfe6 00000104: EQ 00000105: PUSH2 0x0163 00000108: JUMPI 00000109: JUMPDEST 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: CALLVALUE 00000110: DUP1 00000111: ISZERO 00000112: PUSH2 0x011a 00000115: JUMPI 00000116: PUSH1 0x00 00000118: DUP1 00000119: REVERT 0000011a: JUMPDEST 0000011b: POP 0000011c: PUSH2 0x012e 0000011f: PUSH2 0x0129 00000122: CALLDATASIZE 00000123: PUSH1 0x04 00000125: PUSH2 0x1a3e 00000128: JUMP 00000129: JUMPDEST 0000012a: PUSH2 0x034b 0000012d: JUMP 0000012e: JUMPDEST 0000012f: STOP 00000130: JUMPDEST 00000131: CALLVALUE 00000132: DUP1 00000133: ISZERO 00000134: PUSH2 0x013c 00000137: JUMPI 00000138: PUSH1 0x00 0000013a: DUP1 0000013b: REVERT 0000013c: JUMPDEST 0000013d: POP 0000013e: PUSH2 0x012e 00000141: PUSH2 0x014b 00000144: CALLDATASIZE 00000145: PUSH1 0x04 00000147: PUSH2 0x1a99 0000014a: JUMP 0000014b: JUMPDEST 0000014c: PUSH2 0x04da 0000014f: JUMP 00000150: JUMPDEST 00000151: PUSH2 0x012e 00000154: PUSH2 0x015e 00000157: CALLDATASIZE 00000158: PUSH1 0x04 0000015a: PUSH2 0x1bbc 0000015d: JUMP 0000015e: JUMPDEST 0000015f: PUSH2 0x0890 00000162: JUMP 00000163: JUMPDEST 00000164: CALLVALUE 00000165: DUP1 00000166: ISZERO 00000167: PUSH2 0x016f 0000016a: JUMPI 0000016b: PUSH1 0x00 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: POP 00000171: PUSH2 0x012e 00000174: PUSH2 0x017e 00000177: CALLDATASIZE 00000178: PUSH1 0x04 0000017a: PUSH2 0x1c1c 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH2 0x0a44 00000182: JUMP 00000183: JUMPDEST 00000184: CALLVALUE 00000185: DUP1 00000186: ISZERO 00000187: PUSH2 0x018f 0000018a: JUMPI 0000018b: PUSH1 0x00 0000018d: DUP1 0000018e: REVERT 0000018f: JUMPDEST 00000190: POP 00000191: PUSH2 0x012e 00000194: PUSH2 0x0b0c 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH2 0x012e 0000019c: PUSH2 0x01a6 0000019f: CALLDATASIZE 000001a0: PUSH1 0x04 000001a2: PUSH2 0x1c39 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH2 0x0b1e 000001aa: JUMP 000001ab: JUMPDEST 000001ac: CALLVALUE 000001ad: DUP1 000001ae: ISZERO 000001af: PUSH2 0x01b7 000001b2: JUMPI 000001b3: PUSH1 0x00 000001b5: DUP1 000001b6: REVERT 000001b7: JUMPDEST 000001b8: POP 000001b9: PUSH2 0x01c0 000001bc: PUSH2 0x0bd7 000001bf: JUMP 000001c0: JUMPDEST 000001c1: PUSH1 0x40 000001c3: MLOAD 000001c4: SWAP1 000001c5: DUP2 000001c6: MSTORE 000001c7: PUSH1 0x20 000001c9: ADD 000001ca: JUMPDEST 000001cb: PUSH1 0x40 000001cd: MLOAD 000001ce: DUP1 000001cf: SWAP2 000001d0: SUB 000001d1: SWAP1 000001d2: RETURN 000001d3: JUMPDEST 000001d4: CALLVALUE 000001d5: DUP1 000001d6: ISZERO 000001d7: PUSH2 0x01df 000001da: JUMPI 000001db: PUSH1 0x00 000001dd: DUP1 000001de: REVERT 000001df: JUMPDEST 000001e0: POP 000001e1: PUSH1 0x65 000001e3: SLOAD 000001e4: PUSH1 0xff 000001e6: AND 000001e7: PUSH1 0x40 000001e9: MLOAD 000001ea: SWAP1 000001eb: ISZERO 000001ec: ISZERO 000001ed: DUP2 000001ee: MSTORE 000001ef: PUSH1 0x20 000001f1: ADD 000001f2: PUSH2 0x01ca 000001f5: JUMP 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x012e 00000207: PUSH2 0x0c8a 0000020a: JUMP 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: DUP1 0000020e: ISZERO 0000020f: PUSH2 0x0217 00000212: JUMPI 00000213: PUSH1 0x00 00000215: DUP1 00000216: REVERT 00000217: JUMPDEST 00000218: POP 00000219: PUSH2 0x012e 0000021c: PUSH2 0x0226 0000021f: CALLDATASIZE 00000220: PUSH1 0x04 00000222: PUSH2 0x1c89 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH2 0x0c9c 0000022a: JUMP 0000022b: JUMPDEST 0000022c: CALLVALUE 0000022d: DUP1 0000022e: ISZERO 0000022f: PUSH2 0x0237 00000232: JUMPI 00000233: PUSH1 0x00 00000235: DUP1 00000236: REVERT 00000237: JUMPDEST 00000238: POP 00000239: PUSH2 0x012e 0000023c: PUSH2 0x0ccd 0000023f: JUMP 00000240: JUMPDEST 00000241: CALLVALUE 00000242: DUP1 00000243: ISZERO 00000244: PUSH2 0x024c 00000247: JUMPI 00000248: PUSH1 0x00 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: POP 0000024e: PUSH1 0x33 00000250: SLOAD 00000251: PUSH1 0x01 00000253: PUSH1 0x01 00000255: PUSH1 0xa0 00000257: SHL 00000258: SUB 00000259: AND 0000025a: JUMPDEST 0000025b: PUSH1 0x40 0000025d: MLOAD 0000025e: PUSH1 0x01 00000260: PUSH1 0x01 00000262: PUSH1 0xa0 00000264: SHL 00000265: SUB 00000266: SWAP1 00000267: SWAP2 00000268: AND 00000269: DUP2 0000026a: MSTORE 0000026b: PUSH1 0x20 0000026d: ADD 0000026e: PUSH2 0x01ca 00000271: JUMP 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: PUSH2 0x012e 00000283: PUSH2 0x028d 00000286: CALLDATASIZE 00000287: PUSH1 0x04 00000289: PUSH2 0x1c1c 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH2 0x0cdd 00000291: JUMP 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH1 0xfc 000002a2: SLOAD 000002a3: PUSH2 0x025a 000002a6: SWAP1 000002a7: PUSH1 0x01 000002a9: PUSH1 0x01 000002ab: PUSH1 0xa0 000002ad: SHL 000002ae: SUB 000002af: AND 000002b0: DUP2 000002b1: JUMP 000002b2: JUMPDEST 000002b3: CALLVALUE 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: PUSH1 0xfb 000002c2: SLOAD 000002c3: PUSH2 0x02d6 000002c6: SWAP1 000002c7: PUSH1 0x01 000002c9: PUSH1 0xa0 000002cb: SHL 000002cc: SWAP1 000002cd: DIV 000002ce: PUSH4 0xffffffff 000002d3: AND 000002d4: DUP2 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: PUSH4 0xffffffff 000002df: SWAP1 000002e0: SWAP2 000002e1: AND 000002e2: DUP2 000002e3: MSTORE 000002e4: PUSH1 0x20 000002e6: ADD 000002e7: PUSH2 0x01ca 000002ea: JUMP 000002eb: JUMPDEST 000002ec: CALLVALUE 000002ed: DUP1 000002ee: ISZERO 000002ef: PUSH2 0x02f7 000002f2: JUMPI 000002f3: PUSH1 0x00 000002f5: DUP1 000002f6: REVERT 000002f7: JUMPDEST 000002f8: POP 000002f9: PUSH1 0xfd 000002fb: SLOAD 000002fc: PUSH2 0x025a 000002ff: SWAP1 00000300: PUSH1 0x01 00000302: PUSH1 0x01 00000304: PUSH1 0xa0 00000306: SHL 00000307: SUB 00000308: AND 00000309: DUP2 0000030a: JUMP 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: POP 00000319: PUSH1 0xfb 0000031b: SLOAD 0000031c: PUSH2 0x025a 0000031f: SWAP1 00000320: PUSH1 0x01 00000322: PUSH1 0x01 00000324: PUSH1 0xa0 00000326: SHL 00000327: SUB 00000328: AND 00000329: DUP2 0000032a: JUMP 0000032b: JUMPDEST 0000032c: CALLVALUE 0000032d: DUP1 0000032e: ISZERO 0000032f: PUSH2 0x0337 00000332: JUMPI 00000333: PUSH1 0x00 00000335: DUP1 00000336: REVERT 00000337: JUMPDEST 00000338: POP 00000339: PUSH2 0x012e 0000033c: PUSH2 0x0346 0000033f: CALLDATASIZE 00000340: PUSH1 0x04 00000342: PUSH2 0x1c1c 00000345: JUMP 00000346: JUMPDEST 00000347: PUSH2 0x0d73 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH2 0x0353 0000034f: PUSH2 0x0de9 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH1 0x01 00000356: PUSH1 0x01 00000358: PUSH1 0xa0 0000035a: SHL 0000035b: SUB 0000035c: DUP4 0000035d: AND 0000035e: PUSH2 0x03a1 00000361: JUMPI 00000362: PUSH1 0x40 00000364: MLOAD 00000365: PUSH3 0x461bcd 00000369: PUSH1 0xe5 0000036b: SHL 0000036c: DUP2 0000036d: MSTORE 0000036e: PUSH1 0x20 00000370: PUSH1 0x04 00000372: DUP3 00000373: ADD 00000374: MSTORE 00000375: PUSH1 0x10 00000377: PUSH1 0x24 00000379: DUP3 0000037a: ADD 0000037b: MSTORE 0000037c: PUSH16 0x24a72b20a624a22fa922a1a2a4ab22a9 0000038d: PUSH1 0x81 0000038f: SHL 00000390: PUSH1 0x44 00000392: DUP3 00000393: ADD 00000394: MSTORE 00000395: PUSH1 0x64 00000397: ADD 00000398: JUMPDEST 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: DUP1 0000039d: SWAP2 0000039e: SUB 0000039f: SWAP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: PUSH1 0x00 000003a4: DUP3 000003a5: GT 000003a6: PUSH2 0x03e2 000003a9: JUMPI 000003aa: PUSH1 0x40 000003ac: MLOAD 000003ad: PUSH3 0x461bcd 000003b1: PUSH1 0xe5 000003b3: SHL 000003b4: DUP2 000003b5: MSTORE 000003b6: PUSH1 0x20 000003b8: PUSH1 0x04 000003ba: DUP3 000003bb: ADD 000003bc: MSTORE 000003bd: PUSH1 0x0e 000003bf: PUSH1 0x24 000003c1: DUP3 000003c2: ADD 000003c3: MSTORE 000003c4: PUSH14 0x1253959053125117d05353d55395 000003d3: PUSH1 0x92 000003d5: SHL 000003d6: PUSH1 0x44 000003d8: DUP3 000003d9: ADD 000003da: MSTORE 000003db: PUSH1 0x64 000003dd: ADD 000003de: PUSH2 0x0398 000003e1: JUMP 000003e2: JUMPDEST 000003e3: PUSH1 0xfd 000003e5: SLOAD 000003e6: PUSH2 0x03fa 000003e9: SWAP1 000003ea: PUSH1 0x01 000003ec: PUSH1 0x01 000003ee: PUSH1 0xa0 000003f0: SHL 000003f1: SUB 000003f2: AND 000003f3: CALLER 000003f4: ADDRESS 000003f5: DUP6 000003f6: PUSH2 0x0e2f 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH1 0x40 000003fd: DUP1 000003fe: MLOAD 000003ff: PUSH1 0x01 00000401: PUSH1 0x01 00000403: PUSH1 0xa0 00000405: SHL 00000406: SUB 00000407: DUP6 00000408: DUP2 00000409: AND 0000040a: PUSH1 0x20 0000040c: DUP4 0000040d: ADD 0000040e: MSTORE 0000040f: DUP2 00000410: DUP4 00000411: ADD 00000412: DUP6 00000413: SWAP1 00000414: MSTORE 00000415: DUP3 00000416: MLOAD 00000417: DUP1 00000418: DUP4 00000419: SUB 0000041a: DUP5 0000041b: ADD 0000041c: DUP2 0000041d: MSTORE 0000041e: PUSH1 0x60 00000420: DUP4 00000421: ADD 00000422: SWAP4 00000423: DUP5 00000424: SWAP1 00000425: MSTORE 00000426: PUSH1 0xfb 00000428: SLOAD 00000429: PUSH1 0xfc 0000042b: SLOAD 0000042c: PUSH4 0x0481fe6f 00000431: PUSH1 0xe3 00000433: SHL 00000434: SWAP1 00000435: SWAP6 00000436: MSTORE 00000437: SWAP1 00000438: SWAP4 00000439: DUP2 0000043a: DUP4 0000043b: AND 0000043c: SWAP4 0000043d: PUSH4 0x240ff378 00000442: SWAP4 00000443: PUSH2 0x0462 00000446: SWAP4 00000447: PUSH1 0x01 00000449: PUSH1 0xa0 0000044b: SHL 0000044c: SWAP1 0000044d: DIV 0000044e: PUSH4 0xffffffff 00000453: AND 00000454: SWAP3 00000455: AND 00000456: SWAP1 00000457: DUP8 00000458: SWAP1 00000459: DUP8 0000045a: SWAP1 0000045b: PUSH1 0x64 0000045d: ADD 0000045e: PUSH2 0x1d78 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH1 0x00 00000465: PUSH1 0x40 00000467: MLOAD 00000468: DUP1 00000469: DUP4 0000046a: SUB 0000046b: DUP2 0000046c: PUSH1 0x00 0000046e: DUP8 0000046f: DUP1 00000470: EXTCODESIZE 00000471: ISZERO 00000472: DUP1 00000473: ISZERO 00000474: PUSH2 0x047c 00000477: JUMPI 00000478: PUSH1 0x00 0000047a: DUP1 0000047b: REVERT 0000047c: JUMPDEST 0000047d: POP 0000047e: GAS 0000047f: CALL 00000480: ISZERO 00000481: DUP1 00000482: ISZERO 00000483: PUSH2 0x0490 00000486: JUMPI 00000487: RETURNDATASIZE 00000488: PUSH1 0x00 0000048a: DUP1 0000048b: RETURNDATACOPY 0000048c: RETURNDATASIZE 0000048d: PUSH1 0x00 0000048f: REVERT 00000490: JUMPDEST 00000491: POP 00000492: POP 00000493: PUSH1 0x40 00000495: MLOAD 00000496: DUP6 00000497: DUP2 00000498: MSTORE 00000499: PUSH1 0x01 0000049b: PUSH1 0x01 0000049d: PUSH1 0xa0 0000049f: SHL 000004a0: SUB 000004a1: DUP8 000004a2: AND 000004a3: SWAP3 000004a4: POP 000004a5: CALLER 000004a6: SWAP2 000004a7: POP 000004a8: PUSH32 0x5548c837ab068cf56a2c2479df0882a4922fd203edb7517321831d95078c5f62 000004c9: SWAP1 000004ca: PUSH1 0x20 000004cc: ADD 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: DUP1 000004d1: SWAP2 000004d2: SUB 000004d3: SWAP1 000004d4: LOG3 000004d5: POP 000004d6: POP 000004d7: POP 000004d8: POP 000004d9: JUMP 000004da: JUMPDEST 000004db: PUSH1 0x01 000004dd: PUSH1 0x01 000004df: PUSH1 0xa0 000004e1: SHL 000004e2: SUB 000004e3: PUSH32 0x000000000000000000000000a4e6762eaaf259da74696f46faaf79ba9dde14e6 00000504: AND 00000505: ADDRESS 00000506: SUB 00000507: PUSH2 0x0522 0000050a: JUMPI 0000050b: PUSH1 0x40 0000050d: MLOAD 0000050e: PUSH3 0x461bcd 00000512: PUSH1 0xe5 00000514: SHL 00000515: DUP2 00000516: MSTORE 00000517: PUSH1 0x04 00000519: ADD 0000051a: PUSH2 0x0398 0000051d: SWAP1 0000051e: PUSH2 0x1db0 00000521: JUMP 00000522: JUMPDEST 00000523: PUSH32 0x000000000000000000000000a4e6762eaaf259da74696f46faaf79ba9dde14e6 00000544: PUSH1 0x01 00000546: PUSH1 0x01 00000548: PUSH1 0xa0 0000054a: SHL 0000054b: SUB 0000054c: AND 0000054d: PUSH2 0x0554 00000550: PUSH2 0x0ea0 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH1 0x01 00000557: PUSH1 0x01 00000559: PUSH1 0xa0 0000055b: SHL 0000055c: SUB 0000055d: AND 0000055e: EQ 0000055f: PUSH2 0x057a 00000562: JUMPI 00000563: PUSH1 0x40 00000565: MLOAD 00000566: PUSH3 0x461bcd 0000056a: PUSH1 0xe5 0000056c: SHL 0000056d: DUP2 0000056e: MSTORE 0000056f: PUSH1 0x04 00000571: ADD 00000572: PUSH2 0x0398 00000575: SWAP1 00000576: PUSH2 0x1dfc 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH2 0x0582 0000057e: PUSH2 0x0ec1 00000581: JUMP 00000582: JUMPDEST 00000583: PUSH1 0x01 00000585: PUSH1 0x01 00000587: PUSH1 0xa0 00000589: SHL 0000058a: SUB 0000058b: AND 0000058c: CALLER 0000058d: PUSH1 0x01 0000058f: PUSH1 0x01 00000591: PUSH1 0xa0 00000593: SHL 00000594: SUB 00000595: AND 00000596: EQ 00000597: PUSH2 0x05b2 0000059a: JUMPI 0000059b: PUSH1 0x40 0000059d: MLOAD 0000059e: PUSH3 0x461bcd 000005a2: PUSH1 0xe5 000005a4: SHL 000005a5: DUP2 000005a6: MSTORE 000005a7: PUSH1 0x04 000005a9: ADD 000005aa: PUSH2 0x0398 000005ad: SWAP1 000005ae: PUSH2 0x1e48 000005b1: JUMP 000005b2: JUMPDEST 000005b3: PUSH1 0x00 000005b5: SLOAD 000005b6: PUSH2 0x0100 000005b9: SWAP1 000005ba: DIV 000005bb: PUSH1 0xff 000005bd: AND 000005be: ISZERO 000005bf: DUP1 000005c0: DUP1 000005c1: ISZERO 000005c2: PUSH2 0x05d2 000005c5: JUMPI 000005c6: POP 000005c7: PUSH1 0x00 000005c9: SLOAD 000005ca: PUSH1 0x01 000005cc: PUSH1 0xff 000005ce: SWAP1 000005cf: SWAP2 000005d0: AND 000005d1: LT 000005d2: JUMPDEST 000005d3: DUP1 000005d4: PUSH2 0x05ec 000005d7: JUMPI 000005d8: POP 000005d9: ADDRESS 000005da: EXTCODESIZE 000005db: ISZERO 000005dc: DUP1 000005dd: ISZERO 000005de: PUSH2 0x05ec 000005e1: JUMPI 000005e2: POP 000005e3: PUSH1 0x00 000005e5: SLOAD 000005e6: PUSH1 0xff 000005e8: AND 000005e9: PUSH1 0x01 000005eb: EQ 000005ec: JUMPDEST 000005ed: PUSH2 0x064f 000005f0: JUMPI 000005f1: PUSH1 0x40 000005f3: MLOAD 000005f4: PUSH3 0x461bcd 000005f8: PUSH1 0xe5 000005fa: SHL 000005fb: DUP2 000005fc: MSTORE 000005fd: PUSH1 0x20 000005ff: PUSH1 0x04 00000601: DUP3 00000602: ADD 00000603: MSTORE 00000604: PUSH1 0x2e 00000606: PUSH1 0x24 00000608: DUP3 00000609: ADD 0000060a: MSTORE 0000060b: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 0000062c: PUSH1 0x44 0000062e: DUP3 0000062f: ADD 00000630: MSTORE 00000631: PUSH14 0x191e481a5b9a5d1a585b1a5e9959 00000640: PUSH1 0x92 00000642: SHL 00000643: PUSH1 0x64 00000645: DUP3 00000646: ADD 00000647: MSTORE 00000648: PUSH1 0x84 0000064a: ADD 0000064b: PUSH2 0x0398 0000064e: JUMP 0000064f: JUMPDEST 00000650: PUSH1 0x00 00000652: DUP1 00000653: SLOAD 00000654: PUSH1 0xff 00000656: NOT 00000657: AND 00000658: PUSH1 0x01 0000065a: OR 0000065b: SWAP1 0000065c: SSTORE 0000065d: DUP1 0000065e: ISZERO 0000065f: PUSH2 0x0672 00000662: JUMPI 00000663: PUSH1 0x00 00000665: DUP1 00000666: SLOAD 00000667: PUSH2 0xff00 0000066a: NOT 0000066b: AND 0000066c: PUSH2 0x0100 0000066f: OR 00000670: SWAP1 00000671: SSTORE 00000672: JUMPDEST 00000673: PUSH1 0x01 00000675: PUSH1 0x01 00000677: PUSH1 0xa0 00000679: SHL 0000067a: SUB 0000067b: DUP6 0000067c: AND 0000067d: PUSH2 0x06b9 00000680: JUMPI 00000681: PUSH1 0x40 00000683: MLOAD 00000684: PUSH3 0x461bcd 00000688: PUSH1 0xe5 0000068a: SHL 0000068b: DUP2 0000068c: MSTORE 0000068d: PUSH1 0x20 0000068f: PUSH1 0x04 00000691: DUP3 00000692: ADD 00000693: MSTORE 00000694: PUSH1 0x0e 00000696: PUSH1 0x24 00000698: DUP3 00000699: ADD 0000069a: MSTORE 0000069b: PUSH14 0x494e56414c49445f425249444745 000006aa: PUSH1 0x90 000006ac: SHL 000006ad: PUSH1 0x44 000006af: DUP3 000006b0: ADD 000006b1: MSTORE 000006b2: PUSH1 0x64 000006b4: ADD 000006b5: PUSH2 0x0398 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH1 0x01 000006bc: PUSH1 0x01 000006be: PUSH1 0xa0 000006c0: SHL 000006c1: SUB 000006c2: DUP4 000006c3: AND 000006c4: PUSH2 0x06fc 000006c7: JUMPI 000006c8: PUSH1 0x40 000006ca: MLOAD 000006cb: PUSH3 0x461bcd 000006cf: PUSH1 0xe5 000006d1: SHL 000006d2: DUP2 000006d3: MSTORE 000006d4: PUSH1 0x20 000006d6: PUSH1 0x04 000006d8: DUP3 000006d9: ADD 000006da: MSTORE 000006db: PUSH1 0x0a 000006dd: PUSH1 0x24 000006df: DUP3 000006e0: ADD 000006e1: MSTORE 000006e2: PUSH10 0x24a72b20a624a22fa6a1 000006ed: PUSH1 0xb1 000006ef: SHL 000006f0: PUSH1 0x44 000006f2: DUP3 000006f3: ADD 000006f4: MSTORE 000006f5: PUSH1 0x64 000006f7: ADD 000006f8: PUSH2 0x0398 000006fb: JUMP 000006fc: JUMPDEST 000006fd: PUSH1 0x01 000006ff: PUSH1 0x01 00000701: PUSH1 0xa0 00000703: SHL 00000704: SUB 00000705: DUP3 00000706: AND 00000707: PUSH2 0x0744 0000070a: JUMPI 0000070b: PUSH1 0x40 0000070d: MLOAD 0000070e: PUSH3 0x461bcd 00000712: PUSH1 0xe5 00000714: SHL 00000715: DUP2 00000716: MSTORE 00000717: PUSH1 0x20 00000719: PUSH1 0x04 0000071b: DUP3 0000071c: ADD 0000071d: MSTORE 0000071e: PUSH1 0x0f 00000720: PUSH1 0x24 00000722: DUP3 00000723: ADD 00000724: MSTORE 00000725: PUSH15 0x494e56414c49445f4c315f55534443 00000735: PUSH1 0x88 00000737: SHL 00000738: PUSH1 0x44 0000073a: DUP3 0000073b: ADD 0000073c: MSTORE 0000073d: PUSH1 0x64 0000073f: ADD 00000740: PUSH2 0x0398 00000743: JUMP 00000744: JUMPDEST 00000745: PUSH1 0x01 00000747: PUSH1 0x01 00000749: PUSH1 0xa0 0000074b: SHL 0000074c: SUB 0000074d: DUP8 0000074e: AND 0000074f: PUSH2 0x078a 00000752: JUMPI 00000753: PUSH1 0x40 00000755: MLOAD 00000756: PUSH3 0x461bcd 0000075a: PUSH1 0xe5 0000075c: SHL 0000075d: DUP2 0000075e: MSTORE 0000075f: PUSH1 0x20 00000761: PUSH1 0x04 00000763: DUP3 00000764: ADD 00000765: MSTORE 00000766: PUSH1 0x0d 00000768: PUSH1 0x24 0000076a: DUP3 0000076b: ADD 0000076c: MSTORE 0000076d: PUSH13 0x24a72b20a624a22fa7aba722a9 0000077b: PUSH1 0x99 0000077d: SHL 0000077e: PUSH1 0x44 00000780: DUP3 00000781: ADD 00000782: MSTORE 00000783: PUSH1 0x64 00000785: ADD 00000786: PUSH2 0x0398 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH1 0x01 0000078d: PUSH1 0x01 0000078f: PUSH1 0xa0 00000791: SHL 00000792: SUB 00000793: DUP7 00000794: AND 00000795: PUSH2 0x07d0 00000798: JUMPI 00000799: PUSH1 0x40 0000079b: MLOAD 0000079c: PUSH3 0x461bcd 000007a0: PUSH1 0xe5 000007a2: SHL 000007a3: DUP2 000007a4: MSTORE 000007a5: PUSH1 0x20 000007a7: PUSH1 0x04 000007a9: DUP3 000007aa: ADD 000007ab: MSTORE 000007ac: PUSH1 0x0d 000007ae: PUSH1 0x24 000007b0: DUP3 000007b1: ADD 000007b2: MSTORE 000007b3: PUSH13 0x24a72b20a624a22fa0a226a4a7 000007c1: PUSH1 0x99 000007c3: SHL 000007c4: PUSH1 0x44 000007c6: DUP3 000007c7: ADD 000007c8: MSTORE 000007c9: PUSH1 0x64 000007cb: ADD 000007cc: PUSH2 0x0398 000007cf: JUMP 000007d0: JUMPDEST 000007d1: PUSH2 0x07d8 000007d4: PUSH2 0x0ee9 000007d7: JUMP 000007d8: JUMPDEST 000007d9: PUSH2 0x07e1 000007dc: DUP8 000007dd: PUSH2 0x0f28 000007e0: JUMP 000007e1: JUMPDEST 000007e2: PUSH2 0x07ea 000007e5: DUP7 000007e6: PUSH2 0x0f7a 000007e9: JUMP 000007ea: JUMPDEST 000007eb: PUSH1 0xfb 000007ed: DUP1 000007ee: SLOAD 000007ef: PUSH1 0x01 000007f1: PUSH1 0x01 000007f3: PUSH1 0xa0 000007f5: SHL 000007f6: SUB 000007f7: DUP8 000007f8: DUP2 000007f9: AND 000007fa: PUSH1 0x01 000007fc: PUSH1 0x01 000007fe: PUSH1 0xc0 00000800: SHL 00000801: SUB 00000802: NOT 00000803: SWAP1 00000804: SWAP3 00000805: AND 00000806: SWAP2 00000807: SWAP1 00000808: SWAP2 00000809: OR 0000080a: PUSH1 0x01 0000080c: PUSH1 0xa0 0000080e: SHL 0000080f: PUSH4 0xffffffff 00000814: DUP9 00000815: AND 00000816: MUL 00000817: OR 00000818: SWAP1 00000819: SWAP2 0000081a: SSTORE 0000081b: PUSH1 0xfc 0000081d: DUP1 0000081e: SLOAD 0000081f: PUSH1 0x01 00000821: PUSH1 0x01 00000823: PUSH1 0xa0 00000825: SHL 00000826: SUB 00000827: NOT 00000828: SWAP1 00000829: DUP2 0000082a: AND 0000082b: DUP7 0000082c: DUP5 0000082d: AND 0000082e: OR 0000082f: SWAP1 00000830: SWAP2 00000831: SSTORE 00000832: PUSH1 0xfd 00000834: DUP1 00000835: SLOAD 00000836: SWAP1 00000837: SWAP2 00000838: AND 00000839: SWAP2 0000083a: DUP5 0000083b: AND 0000083c: SWAP2 0000083d: SWAP1 0000083e: SWAP2 0000083f: OR 00000840: SWAP1 00000841: SSTORE 00000842: DUP1 00000843: ISZERO 00000844: PUSH2 0x0887 00000847: JUMPI 00000848: PUSH1 0x00 0000084a: DUP1 0000084b: SLOAD 0000084c: PUSH2 0xff00 0000084f: NOT 00000850: AND 00000851: SWAP1 00000852: SSTORE 00000853: PUSH1 0x40 00000855: MLOAD 00000856: PUSH1 0x01 00000858: DUP2 00000859: MSTORE 0000085a: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 0000087b: SWAP1 0000087c: PUSH1 0x20 0000087e: ADD 0000087f: PUSH1 0x40 00000881: MLOAD 00000882: DUP1 00000883: SWAP2 00000884: SUB 00000885: SWAP1 00000886: LOG1 00000887: JUMPDEST 00000888: POP 00000889: POP 0000088a: POP 0000088b: POP 0000088c: POP 0000088d: POP 0000088e: POP 0000088f: JUMP 00000890: JUMPDEST 00000891: PUSH2 0x0898 00000894: PUSH2 0x0de9 00000897: JUMP 00000898: JUMPDEST 00000899: PUSH1 0xfb 0000089b: SLOAD 0000089c: PUSH1 0x01 0000089e: PUSH1 0x01 000008a0: PUSH1 0xa0 000008a2: SHL 000008a3: SUB 000008a4: AND 000008a5: CALLER 000008a6: EQ 000008a7: PUSH2 0x08df 000008aa: JUMPI 000008ab: PUSH1 0x40 000008ad: MLOAD 000008ae: PUSH3 0x461bcd 000008b2: PUSH1 0xe5 000008b4: SHL 000008b5: DUP2 000008b6: MSTORE 000008b7: PUSH1 0x20 000008b9: PUSH1 0x04 000008bb: DUP3 000008bc: ADD 000008bd: MSTORE 000008be: PUSH1 0x0a 000008c0: PUSH1 0x24 000008c2: DUP3 000008c3: ADD 000008c4: MSTORE 000008c5: PUSH10 0x4e4f545f425249444745 000008d0: PUSH1 0xb0 000008d2: SHL 000008d3: PUSH1 0x44 000008d5: DUP3 000008d6: ADD 000008d7: MSTORE 000008d8: PUSH1 0x64 000008da: ADD 000008db: PUSH2 0x0398 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH1 0xfc 000008e2: SLOAD 000008e3: PUSH1 0x01 000008e5: PUSH1 0x01 000008e7: PUSH1 0xa0 000008e9: SHL 000008ea: SUB 000008eb: DUP5 000008ec: DUP2 000008ed: AND 000008ee: SWAP2 000008ef: AND 000008f0: EQ 000008f1: PUSH2 0x0930 000008f4: JUMPI 000008f5: PUSH1 0x40 000008f7: MLOAD 000008f8: PUSH3 0x461bcd 000008fc: PUSH1 0xe5 000008fe: SHL 000008ff: DUP2 00000900: MSTORE 00000901: PUSH1 0x20 00000903: PUSH1 0x04 00000905: DUP3 00000906: ADD 00000907: MSTORE 00000908: PUSH1 0x11 0000090a: PUSH1 0x24 0000090c: DUP3 0000090d: ADD 0000090e: MSTORE 0000090f: PUSH17 0x2727aa2fa6a4a72a22a92fa12aa92722a9 00000921: PUSH1 0x79 00000923: SHL 00000924: PUSH1 0x44 00000926: DUP3 00000927: ADD 00000928: MSTORE 00000929: PUSH1 0x64 0000092b: ADD 0000092c: PUSH2 0x0398 0000092f: JUMP 00000930: JUMPDEST 00000931: PUSH1 0xfb 00000933: SLOAD 00000934: PUSH4 0xffffffff 00000939: DUP4 0000093a: DUP2 0000093b: AND 0000093c: PUSH1 0x01 0000093e: PUSH1 0xa0 00000940: SHL 00000941: SWAP1 00000942: SWAP3 00000943: DIV 00000944: AND 00000945: EQ 00000946: PUSH2 0x0980 00000949: JUMPI 0000094a: PUSH1 0x40 0000094c: MLOAD 0000094d: PUSH3 0x461bcd 00000951: PUSH1 0xe5 00000953: SHL 00000954: DUP2 00000955: MSTORE 00000956: PUSH1 0x20 00000958: PUSH1 0x04 0000095a: DUP3 0000095b: ADD 0000095c: MSTORE 0000095d: PUSH1 0x0c 0000095f: PUSH1 0x24 00000961: DUP3 00000962: ADD 00000963: MSTORE 00000964: PUSH12 0x2727aa2fad25afa1a420a4a7 00000971: PUSH1 0xa1 00000973: SHL 00000974: PUSH1 0x44 00000976: DUP3 00000977: ADD 00000978: MSTORE 00000979: PUSH1 0x64 0000097b: ADD 0000097c: PUSH2 0x0398 0000097f: JUMP 00000980: JUMPDEST 00000981: PUSH1 0x00 00000983: DUP1 00000984: DUP3 00000985: DUP1 00000986: PUSH1 0x20 00000988: ADD 00000989: SWAP1 0000098a: MLOAD 0000098b: DUP2 0000098c: ADD 0000098d: SWAP1 0000098e: PUSH2 0x0997 00000991: SWAP2 00000992: SWAP1 00000993: PUSH2 0x1e6b 00000996: JUMP 00000997: JUMPDEST 00000998: SWAP1 00000999: SWAP3 0000099a: POP 0000099b: SWAP1 0000099c: POP 0000099d: PUSH1 0x01 0000099f: PUSH1 0x01 000009a1: PUSH1 0xa0 000009a3: SHL 000009a4: SUB 000009a5: DUP3 000009a6: AND 000009a7: PUSH2 0x09e5 000009aa: JUMPI 000009ab: PUSH1 0x40 000009ad: MLOAD 000009ae: PUSH3 0x461bcd 000009b2: PUSH1 0xe5 000009b4: SHL 000009b5: DUP2 000009b6: MSTORE 000009b7: PUSH1 0x20 000009b9: PUSH1 0x04 000009bb: DUP3 000009bc: ADD 000009bd: MSTORE 000009be: PUSH1 0x10 000009c0: PUSH1 0x24 000009c2: DUP3 000009c3: ADD 000009c4: MSTORE 000009c5: PUSH16 0x24a72b20a624a22fa922a1a2a4ab22a9 000009d6: PUSH1 0x81 000009d8: SHL 000009d9: PUSH1 0x44 000009db: DUP3 000009dc: ADD 000009dd: MSTORE 000009de: PUSH1 0x64 000009e0: ADD 000009e1: PUSH2 0x0398 000009e4: JUMP 000009e5: JUMPDEST 000009e6: PUSH1 0x00 000009e8: DUP2 000009e9: GT 000009ea: PUSH2 0x0a26 000009ed: JUMPI 000009ee: PUSH1 0x40 000009f0: MLOAD 000009f1: PUSH3 0x461bcd 000009f5: PUSH1 0xe5 000009f7: SHL 000009f8: DUP2 000009f9: MSTORE 000009fa: PUSH1 0x20 000009fc: PUSH1 0x04 000009fe: DUP3 000009ff: ADD 00000a00: MSTORE 00000a01: PUSH1 0x0e 00000a03: PUSH1 0x24 00000a05: DUP3 00000a06: ADD 00000a07: MSTORE 00000a08: PUSH14 0x1253959053125117d05353d55395 00000a17: PUSH1 0x92 00000a19: SHL 00000a1a: PUSH1 0x44 00000a1c: DUP3 00000a1d: ADD 00000a1e: MSTORE 00000a1f: PUSH1 0x64 00000a21: ADD 00000a22: PUSH2 0x0398 00000a25: JUMP 00000a26: JUMPDEST 00000a27: PUSH1 0xfd 00000a29: SLOAD 00000a2a: PUSH2 0x0a3d 00000a2d: SWAP1 00000a2e: PUSH1 0x01 00000a30: PUSH1 0x01 00000a32: PUSH1 0xa0 00000a34: SHL 00000a35: SUB 00000a36: AND 00000a37: DUP4 00000a38: DUP4 00000a39: PUSH2 0x0fce 00000a3c: JUMP 00000a3d: JUMPDEST 00000a3e: POP 00000a3f: POP 00000a40: POP 00000a41: POP 00000a42: POP 00000a43: JUMP 00000a44: JUMPDEST 00000a45: PUSH1 0x01 00000a47: PUSH1 0x01 00000a49: PUSH1 0xa0 00000a4b: SHL 00000a4c: SUB 00000a4d: PUSH32 0x000000000000000000000000a4e6762eaaf259da74696f46faaf79ba9dde14e6 00000a6e: AND 00000a6f: ADDRESS 00000a70: SUB 00000a71: PUSH2 0x0a8c 00000a74: JUMPI 00000a75: PUSH1 0x40 00000a77: MLOAD 00000a78: PUSH3 0x461bcd 00000a7c: PUSH1 0xe5 00000a7e: SHL 00000a7f: DUP2 00000a80: MSTORE 00000a81: PUSH1 0x04 00000a83: ADD 00000a84: PUSH2 0x0398 00000a87: SWAP1 00000a88: PUSH2 0x1db0 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: PUSH32 0x000000000000000000000000a4e6762eaaf259da74696f46faaf79ba9dde14e6 00000aae: PUSH1 0x01 00000ab0: PUSH1 0x01 00000ab2: PUSH1 0xa0 00000ab4: SHL 00000ab5: SUB 00000ab6: AND 00000ab7: PUSH2 0x0abe 00000aba: PUSH2 0x0ea0 00000abd: JUMP 00000abe: JUMPDEST 00000abf: PUSH1 0x01 00000ac1: PUSH1 0x01 00000ac3: PUSH1 0xa0 00000ac5: SHL 00000ac6: SUB 00000ac7: AND 00000ac8: EQ 00000ac9: PUSH2 0x0ae4 00000acc: JUMPI 00000acd: PUSH1 0x40 00000acf: MLOAD 00000ad0: PUSH3 0x461bcd 00000ad4: PUSH1 0xe5 00000ad6: SHL 00000ad7: DUP2 00000ad8: MSTORE 00000ad9: PUSH1 0x04 00000adb: ADD 00000adc: PUSH2 0x0398 00000adf: SWAP1 00000ae0: PUSH2 0x1dfc 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: PUSH2 0x0aed 00000ae8: DUP2 00000ae9: PUSH2 0x1003 00000aec: JUMP 00000aed: JUMPDEST 00000aee: PUSH1 0x40 00000af0: DUP1 00000af1: MLOAD 00000af2: PUSH1 0x00 00000af4: DUP1 00000af5: DUP3 00000af6: MSTORE 00000af7: PUSH1 0x20 00000af9: DUP3 00000afa: ADD 00000afb: SWAP1 00000afc: SWAP3 00000afd: MSTORE 00000afe: PUSH2 0x0b09 00000b01: SWAP2 00000b02: DUP4 00000b03: SWAP2 00000b04: SWAP1 00000b05: PUSH2 0x103b 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: POP 00000b0b: JUMP 00000b0c: JUMPDEST 00000b0d: PUSH2 0x0b14 00000b10: PUSH2 0x11a6 00000b13: JUMP 00000b14: JUMPDEST 00000b15: PUSH2 0x0b1c 00000b18: PUSH2 0x1200 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: JUMP 00000b1e: JUMPDEST 00000b1f: PUSH1 0x01 00000b21: PUSH1 0x01 00000b23: PUSH1 0xa0 00000b25: SHL 00000b26: SUB 00000b27: PUSH32 0x000000000000000000000000a4e6762eaaf259da74696f46faaf79ba9dde14e6 00000b48: AND 00000b49: ADDRESS 00000b4a: SUB 00000b4b: PUSH2 0x0b66 00000b4e: JUMPI 00000b4f: PUSH1 0x40 00000b51: MLOAD 00000b52: PUSH3 0x461bcd 00000b56: PUSH1 0xe5 00000b58: SHL 00000b59: DUP2 00000b5a: MSTORE 00000b5b: PUSH1 0x04 00000b5d: ADD 00000b5e: PUSH2 0x0398 00000b61: SWAP1 00000b62: PUSH2 0x1db0 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH32 0x000000000000000000000000a4e6762eaaf259da74696f46faaf79ba9dde14e6 00000b88: PUSH1 0x01 00000b8a: PUSH1 0x01 00000b8c: PUSH1 0xa0 00000b8e: SHL 00000b8f: SUB 00000b90: AND 00000b91: PUSH2 0x0b98 00000b94: PUSH2 0x0ea0 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH1 0x01 00000b9b: PUSH1 0x01 00000b9d: PUSH1 0xa0 00000b9f: SHL 00000ba0: SUB 00000ba1: AND 00000ba2: EQ 00000ba3: PUSH2 0x0bbe 00000ba6: JUMPI 00000ba7: PUSH1 0x40 00000ba9: MLOAD 00000baa: PUSH3 0x461bcd 00000bae: PUSH1 0xe5 00000bb0: SHL 00000bb1: DUP2 00000bb2: MSTORE 00000bb3: PUSH1 0x04 00000bb5: ADD 00000bb6: PUSH2 0x0398 00000bb9: SWAP1 00000bba: PUSH2 0x1dfc 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: PUSH2 0x0bc7 00000bc2: DUP3 00000bc3: PUSH2 0x1003 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: PUSH2 0x0bd3 00000bcb: DUP3 00000bcc: DUP3 00000bcd: PUSH1 0x01 00000bcf: PUSH2 0x103b 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: POP 00000bd5: POP 00000bd6: JUMP 00000bd7: JUMPDEST 00000bd8: PUSH1 0x00 00000bda: ADDRESS 00000bdb: PUSH1 0x01 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0xa0 00000be1: SHL 00000be2: SUB 00000be3: PUSH32 0x000000000000000000000000a4e6762eaaf259da74696f46faaf79ba9dde14e6 00000c04: AND 00000c05: EQ 00000c06: PUSH2 0x0c77 00000c09: JUMPI 00000c0a: PUSH1 0x40 00000c0c: MLOAD 00000c0d: PUSH3 0x461bcd 00000c11: PUSH1 0xe5 00000c13: SHL 00000c14: DUP2 00000c15: MSTORE 00000c16: PUSH1 0x20 00000c18: PUSH1 0x04 00000c1a: DUP3 00000c1b: ADD 00000c1c: MSTORE 00000c1d: PUSH1 0x38 00000c1f: PUSH1 0x24 00000c21: DUP3 00000c22: ADD 00000c23: MSTORE 00000c24: PUSH32 0x555550535570677261646561626c653a206d757374206e6f742062652063616c 00000c45: PUSH1 0x44 00000c47: DUP3 00000c48: ADD 00000c49: MSTORE 00000c4a: PUSH32 0x6c6564207468726f7567682064656c656761746563616c6c0000000000000000 00000c6b: PUSH1 0x64 00000c6d: DUP3 00000c6e: ADD 00000c6f: MSTORE 00000c70: PUSH1 0x84 00000c72: ADD 00000c73: PUSH2 0x0398 00000c76: JUMP 00000c77: JUMPDEST 00000c78: POP 00000c79: PUSH1 0x00 00000c7b: DUP1 00000c7c: MLOAD 00000c7d: PUSH1 0x20 00000c7f: PUSH2 0x201b 00000c82: DUP4 00000c83: CODECOPY 00000c84: DUP2 00000c85: MLOAD 00000c86: SWAP2 00000c87: MSTORE 00000c88: SWAP1 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: PUSH2 0x0c92 00000c8e: PUSH2 0x11a6 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH2 0x0b1c 00000c96: PUSH1 0x00 00000c98: PUSH2 0x0f28 00000c9b: JUMP 00000c9c: JUMPDEST 00000c9d: PUSH2 0x0ca4 00000ca0: PUSH2 0x0de9 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: DUP1 00000ca6: ISZERO 00000ca7: PUSH2 0x0cc2 00000caa: JUMPI 00000cab: PUSH1 0xfd 00000cad: SLOAD 00000cae: PUSH2 0x0cc2 00000cb1: SWAP1 00000cb2: PUSH1 0x01 00000cb4: PUSH1 0x01 00000cb6: PUSH1 0xa0 00000cb8: SHL 00000cb9: SUB 00000cba: AND 00000cbb: DUP6 00000cbc: DUP5 00000cbd: DUP5 00000cbe: PUSH2 0x1252 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: PUSH2 0x0a3d 00000cc6: DUP6 00000cc7: DUP6 00000cc8: DUP6 00000cc9: PUSH2 0x034b 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: PUSH2 0x0cd5 00000cd1: PUSH2 0x11a6 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH2 0x0b1c 00000cd9: PUSH2 0x1414 00000cdc: JUMP 00000cdd: JUMPDEST 00000cde: PUSH2 0x0ce5 00000ce1: PUSH2 0x0ec1 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: PUSH1 0x01 00000ce8: PUSH1 0x01 00000cea: PUSH1 0xa0 00000cec: SHL 00000ced: SUB 00000cee: AND 00000cef: CALLER 00000cf0: PUSH1 0x01 00000cf2: PUSH1 0x01 00000cf4: PUSH1 0xa0 00000cf6: SHL 00000cf7: SUB 00000cf8: AND 00000cf9: EQ 00000cfa: PUSH2 0x0d15 00000cfd: JUMPI 00000cfe: PUSH1 0x40 00000d00: MLOAD 00000d01: PUSH3 0x461bcd 00000d05: PUSH1 0xe5 00000d07: SHL 00000d08: DUP2 00000d09: MSTORE 00000d0a: PUSH1 0x04 00000d0c: ADD 00000d0d: PUSH2 0x0398 00000d10: SWAP1 00000d11: PUSH2 0x1e48 00000d14: JUMP 00000d15: JUMPDEST 00000d16: PUSH2 0x0d1d 00000d19: PUSH2 0x0ec1 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: PUSH1 0x01 00000d20: PUSH1 0x01 00000d22: PUSH1 0xa0 00000d24: SHL 00000d25: SUB 00000d26: AND 00000d27: DUP2 00000d28: PUSH1 0x01 00000d2a: PUSH1 0x01 00000d2c: PUSH1 0xa0 00000d2e: SHL 00000d2f: SUB 00000d30: AND 00000d31: SUB 00000d32: PUSH2 0x0d6a 00000d35: JUMPI 00000d36: PUSH1 0x40 00000d38: MLOAD 00000d39: PUSH3 0x461bcd 00000d3d: PUSH1 0xe5 00000d3f: SHL 00000d40: DUP2 00000d41: MSTORE 00000d42: PUSH1 0x20 00000d44: PUSH1 0x04 00000d46: DUP3 00000d47: ADD 00000d48: MSTORE 00000d49: PUSH1 0x0a 00000d4b: PUSH1 0x24 00000d4d: DUP3 00000d4e: ADD 00000d4f: MSTORE 00000d50: PUSH10 0x29a0a6a2afa0a226a4a7 00000d5b: PUSH1 0xb1 00000d5d: SHL 00000d5e: PUSH1 0x44 00000d60: DUP3 00000d61: ADD 00000d62: MSTORE 00000d63: PUSH1 0x64 00000d65: ADD 00000d66: PUSH2 0x0398 00000d69: JUMP 00000d6a: JUMPDEST 00000d6b: PUSH2 0x0b09 00000d6e: DUP2 00000d6f: PUSH2 0x0f7a 00000d72: JUMP 00000d73: JUMPDEST 00000d74: PUSH2 0x0d7b 00000d77: PUSH2 0x11a6 00000d7a: JUMP 00000d7b: JUMPDEST 00000d7c: PUSH1 0x01 00000d7e: PUSH1 0x01 00000d80: PUSH1 0xa0 00000d82: SHL 00000d83: SUB 00000d84: DUP2 00000d85: AND 00000d86: PUSH2 0x0de0 00000d89: JUMPI 00000d8a: PUSH1 0x40 00000d8c: MLOAD 00000d8d: PUSH3 0x461bcd 00000d91: PUSH1 0xe5 00000d93: SHL 00000d94: DUP2 00000d95: MSTORE 00000d96: PUSH1 0x20 00000d98: PUSH1 0x04 00000d9a: DUP3 00000d9b: ADD 00000d9c: MSTORE 00000d9d: PUSH1 0x26 00000d9f: PUSH1 0x24 00000da1: DUP3 00000da2: ADD 00000da3: MSTORE 00000da4: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000dc5: PUSH1 0x44 00000dc7: DUP3 00000dc8: ADD 00000dc9: MSTORE 00000dca: PUSH6 0x646472657373 00000dd1: PUSH1 0xd0 00000dd3: SHL 00000dd4: PUSH1 0x64 00000dd6: DUP3 00000dd7: ADD 00000dd8: MSTORE 00000dd9: PUSH1 0x84 00000ddb: ADD 00000ddc: PUSH2 0x0398 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: PUSH2 0x0b09 00000de4: DUP2 00000de5: PUSH2 0x0f28 00000de8: JUMP 00000de9: JUMPDEST 00000dea: PUSH1 0x65 00000dec: SLOAD 00000ded: PUSH1 0xff 00000def: AND 00000df0: ISZERO 00000df1: PUSH2 0x0b1c 00000df4: JUMPI 00000df5: PUSH1 0x40 00000df7: MLOAD 00000df8: PUSH3 0x461bcd 00000dfc: PUSH1 0xe5 00000dfe: SHL 00000dff: DUP2 00000e00: MSTORE 00000e01: PUSH1 0x20 00000e03: PUSH1 0x04 00000e05: DUP3 00000e06: ADD 00000e07: MSTORE 00000e08: PUSH1 0x10 00000e0a: PUSH1 0x24 00000e0c: DUP3 00000e0d: ADD 00000e0e: MSTORE 00000e0f: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000e20: PUSH1 0x82 00000e22: SHL 00000e23: PUSH1 0x44 00000e25: DUP3 00000e26: ADD 00000e27: MSTORE 00000e28: PUSH1 0x64 00000e2a: ADD 00000e2b: PUSH2 0x0398 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: PUSH1 0x40 00000e32: MLOAD 00000e33: PUSH1 0x01 00000e35: PUSH1 0x01 00000e37: PUSH1 0xa0 00000e39: SHL 00000e3a: SUB 00000e3b: DUP1 00000e3c: DUP6 00000e3d: AND 00000e3e: PUSH1 0x24 00000e40: DUP4 00000e41: ADD 00000e42: MSTORE 00000e43: DUP4 00000e44: AND 00000e45: PUSH1 0x44 00000e47: DUP3 00000e48: ADD 00000e49: MSTORE 00000e4a: PUSH1 0x64 00000e4c: DUP2 00000e4d: ADD 00000e4e: DUP3 00000e4f: SWAP1 00000e50: MSTORE 00000e51: PUSH2 0x0e9a 00000e54: SWAP1 00000e55: DUP6 00000e56: SWAP1 00000e57: PUSH4 0x23b872dd 00000e5c: PUSH1 0xe0 00000e5e: SHL 00000e5f: SWAP1 00000e60: PUSH1 0x84 00000e62: ADD 00000e63: JUMPDEST 00000e64: PUSH1 0x40 00000e66: DUP1 00000e67: MLOAD 00000e68: PUSH1 0x1f 00000e6a: NOT 00000e6b: DUP2 00000e6c: DUP5 00000e6d: SUB 00000e6e: ADD 00000e6f: DUP2 00000e70: MSTORE 00000e71: SWAP2 00000e72: SWAP1 00000e73: MSTORE 00000e74: PUSH1 0x20 00000e76: DUP2 00000e77: ADD 00000e78: DUP1 00000e79: MLOAD 00000e7a: PUSH1 0x01 00000e7c: PUSH1 0x01 00000e7e: PUSH1 0xe0 00000e80: SHL 00000e81: SUB 00000e82: AND 00000e83: PUSH1 0x01 00000e85: PUSH1 0x01 00000e87: PUSH1 0xe0 00000e89: SHL 00000e8a: SUB 00000e8b: NOT 00000e8c: SWAP1 00000e8d: SWAP4 00000e8e: AND 00000e8f: SWAP3 00000e90: SWAP1 00000e91: SWAP3 00000e92: OR 00000e93: SWAP1 00000e94: SWAP2 00000e95: MSTORE 00000e96: PUSH2 0x1451 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: POP 00000e9c: POP 00000e9d: POP 00000e9e: POP 00000e9f: JUMP 00000ea0: JUMPDEST 00000ea1: PUSH1 0x00 00000ea3: PUSH1 0x00 00000ea5: DUP1 00000ea6: MLOAD 00000ea7: PUSH1 0x20 00000ea9: PUSH2 0x201b 00000eac: DUP4 00000ead: CODECOPY 00000eae: DUP2 00000eaf: MLOAD 00000eb0: SWAP2 00000eb1: MSTORE 00000eb2: JUMPDEST 00000eb3: SLOAD 00000eb4: PUSH1 0x01 00000eb6: PUSH1 0x01 00000eb8: PUSH1 0xa0 00000eba: SHL 00000ebb: SUB 00000ebc: AND 00000ebd: SWAP2 00000ebe: SWAP1 00000ebf: POP 00000ec0: JUMP 00000ec1: JUMPDEST 00000ec2: PUSH1 0x00 00000ec4: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000ee5: PUSH2 0x0eb2 00000ee8: JUMP 00000ee9: JUMPDEST 00000eea: PUSH1 0x00 00000eec: SLOAD 00000eed: PUSH2 0x0100 00000ef0: SWAP1 00000ef1: DIV 00000ef2: PUSH1 0xff 00000ef4: AND 00000ef5: PUSH2 0x0f10 00000ef8: JUMPI 00000ef9: PUSH1 0x40 00000efb: MLOAD 00000efc: PUSH3 0x461bcd 00000f00: PUSH1 0xe5 00000f02: SHL 00000f03: DUP2 00000f04: MSTORE 00000f05: PUSH1 0x04 00000f07: ADD 00000f08: PUSH2 0x0398 00000f0b: SWAP1 00000f0c: PUSH2 0x1e99 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: PUSH2 0x0f18 00000f14: PUSH2 0x1526 00000f17: JUMP 00000f18: JUMPDEST 00000f19: PUSH2 0x0f20 00000f1c: PUSH2 0x1555 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH2 0x0b1c 00000f24: PUSH2 0x1584 00000f27: JUMP 00000f28: JUMPDEST 00000f29: PUSH1 0x33 00000f2b: DUP1 00000f2c: SLOAD 00000f2d: PUSH1 0x01 00000f2f: PUSH1 0x01 00000f31: PUSH1 0xa0 00000f33: SHL 00000f34: SUB 00000f35: DUP4 00000f36: DUP2 00000f37: AND 00000f38: PUSH1 0x01 00000f3a: PUSH1 0x01 00000f3c: PUSH1 0xa0 00000f3e: SHL 00000f3f: SUB 00000f40: NOT 00000f41: DUP4 00000f42: AND 00000f43: DUP2 00000f44: OR 00000f45: SWAP1 00000f46: SWAP4 00000f47: SSTORE 00000f48: PUSH1 0x40 00000f4a: MLOAD 00000f4b: SWAP2 00000f4c: AND 00000f4d: SWAP2 00000f4e: SWAP1 00000f4f: DUP3 00000f50: SWAP1 00000f51: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000f72: SWAP1 00000f73: PUSH1 0x00 00000f75: SWAP1 00000f76: LOG3 00000f77: POP 00000f78: POP 00000f79: JUMP 00000f7a: JUMPDEST 00000f7b: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f 00000f9c: PUSH2 0x0fa3 00000f9f: PUSH2 0x0ec1 00000fa2: JUMP 00000fa3: JUMPDEST 00000fa4: PUSH1 0x40 00000fa6: DUP1 00000fa7: MLOAD 00000fa8: PUSH1 0x01 00000faa: PUSH1 0x01 00000fac: PUSH1 0xa0 00000fae: SHL 00000faf: SUB 00000fb0: SWAP3 00000fb1: DUP4 00000fb2: AND 00000fb3: DUP2 00000fb4: MSTORE 00000fb5: SWAP2 00000fb6: DUP5 00000fb7: AND 00000fb8: PUSH1 0x20 00000fba: DUP4 00000fbb: ADD 00000fbc: MSTORE 00000fbd: ADD 00000fbe: PUSH1 0x40 00000fc0: MLOAD 00000fc1: DUP1 00000fc2: SWAP2 00000fc3: SUB 00000fc4: SWAP1 00000fc5: LOG1 00000fc6: PUSH2 0x0b09 00000fc9: DUP2 00000fca: PUSH2 0x15ab 00000fcd: JUMP 00000fce: JUMPDEST 00000fcf: PUSH1 0x40 00000fd1: MLOAD 00000fd2: PUSH1 0x01 00000fd4: PUSH1 0x01 00000fd6: PUSH1 0xa0 00000fd8: SHL 00000fd9: SUB 00000fda: DUP4 00000fdb: AND 00000fdc: PUSH1 0x24 00000fde: DUP3 00000fdf: ADD 00000fe0: MSTORE 00000fe1: PUSH1 0x44 00000fe3: DUP2 00000fe4: ADD 00000fe5: DUP3 00000fe6: SWAP1 00000fe7: MSTORE 00000fe8: PUSH2 0x0ffe 00000feb: SWAP1 00000fec: DUP5 00000fed: SWAP1 00000fee: PUSH4 0xa9059cbb 00000ff3: PUSH1 0xe0 00000ff5: SHL 00000ff6: SWAP1 00000ff7: PUSH1 0x64 00000ff9: ADD 00000ffa: PUSH2 0x0e63 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: POP 00001000: POP 00001001: POP 00001002: JUMP 00001003: JUMPDEST 00001004: PUSH2 0x100b 00001007: PUSH2 0x0ec1 0000100a: JUMP 0000100b: JUMPDEST 0000100c: PUSH1 0x01 0000100e: PUSH1 0x01 00001010: PUSH1 0xa0 00001012: SHL 00001013: SUB 00001014: AND 00001015: CALLER 00001016: PUSH1 0x01 00001018: PUSH1 0x01 0000101a: PUSH1 0xa0 0000101c: SHL 0000101d: SUB 0000101e: AND 0000101f: EQ 00001020: PUSH2 0x0b09 00001023: JUMPI 00001024: PUSH1 0x40 00001026: MLOAD 00001027: PUSH3 0x461bcd 0000102b: PUSH1 0xe5 0000102d: SHL 0000102e: DUP2 0000102f: MSTORE 00001030: PUSH1 0x04 00001032: ADD 00001033: PUSH2 0x0398 00001036: SWAP1 00001037: PUSH2 0x1e48 0000103a: JUMP 0000103b: JUMPDEST 0000103c: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143 0000105d: SLOAD 0000105e: PUSH1 0xff 00001060: AND 00001061: ISZERO 00001062: PUSH2 0x106e 00001065: JUMPI 00001066: PUSH2 0x0ffe 00001069: DUP4 0000106a: PUSH2 0x1654 0000106d: JUMP 0000106e: JUMPDEST 0000106f: DUP3 00001070: PUSH1 0x01 00001072: PUSH1 0x01 00001074: PUSH1 0xa0 00001076: SHL 00001077: SUB 00001078: AND 00001079: PUSH4 0x52d1902d 0000107e: PUSH1 0x40 00001080: MLOAD 00001081: DUP2 00001082: PUSH4 0xffffffff 00001087: AND 00001088: PUSH1 0xe0 0000108a: SHL 0000108b: DUP2 0000108c: MSTORE 0000108d: PUSH1 0x04 0000108f: ADD 00001090: PUSH1 0x20 00001092: PUSH1 0x40 00001094: MLOAD 00001095: DUP1 00001096: DUP4 00001097: SUB 00001098: DUP2 00001099: DUP7 0000109a: GAS 0000109b: STATICCALL 0000109c: SWAP3 0000109d: POP 0000109e: POP 0000109f: POP 000010a0: DUP1 000010a1: ISZERO 000010a2: PUSH2 0x10c8 000010a5: JUMPI 000010a6: POP 000010a7: PUSH1 0x40 000010a9: DUP1 000010aa: MLOAD 000010ab: PUSH1 0x1f 000010ad: RETURNDATASIZE 000010ae: SWAP1 000010af: DUP2 000010b0: ADD 000010b1: PUSH1 0x1f 000010b3: NOT 000010b4: AND 000010b5: DUP3 000010b6: ADD 000010b7: SWAP1 000010b8: SWAP3 000010b9: MSTORE 000010ba: PUSH2 0x10c5 000010bd: SWAP2 000010be: DUP2 000010bf: ADD 000010c0: SWAP1 000010c1: PUSH2 0x1ee4 000010c4: JUMP 000010c5: JUMPDEST 000010c6: PUSH1 0x01 000010c8: JUMPDEST 000010c9: PUSH2 0x112b 000010cc: JUMPI 000010cd: PUSH1 0x40 000010cf: MLOAD 000010d0: PUSH3 0x461bcd 000010d4: PUSH1 0xe5 000010d6: SHL 000010d7: DUP2 000010d8: MSTORE 000010d9: PUSH1 0x20 000010db: PUSH1 0x04 000010dd: DUP3 000010de: ADD 000010df: MSTORE 000010e0: PUSH1 0x2e 000010e2: PUSH1 0x24 000010e4: DUP3 000010e5: ADD 000010e6: MSTORE 000010e7: PUSH32 0x45524331393637557067726164653a206e657720696d706c656d656e74617469 00001108: PUSH1 0x44 0000110a: DUP3 0000110b: ADD 0000110c: MSTORE 0000110d: PUSH14 0x6f6e206973206e6f742055555053 0000111c: PUSH1 0x90 0000111e: SHL 0000111f: PUSH1 0x64 00001121: DUP3 00001122: ADD 00001123: MSTORE 00001124: PUSH1 0x84 00001126: ADD 00001127: PUSH2 0x0398 0000112a: JUMP 0000112b: JUMPDEST 0000112c: PUSH1 0x00 0000112e: DUP1 0000112f: MLOAD 00001130: PUSH1 0x20 00001132: PUSH2 0x201b 00001135: DUP4 00001136: CODECOPY 00001137: DUP2 00001138: MLOAD 00001139: SWAP2 0000113a: MSTORE 0000113b: DUP2 0000113c: EQ 0000113d: PUSH2 0x119a 00001140: JUMPI 00001141: PUSH1 0x40 00001143: MLOAD 00001144: PUSH3 0x461bcd 00001148: PUSH1 0xe5 0000114a: SHL 0000114b: DUP2 0000114c: MSTORE 0000114d: PUSH1 0x20 0000114f: PUSH1 0x04 00001151: DUP3 00001152: ADD 00001153: MSTORE 00001154: PUSH1 0x29 00001156: PUSH1 0x24 00001158: DUP3 00001159: ADD 0000115a: MSTORE 0000115b: PUSH32 0x45524331393637557067726164653a20756e737570706f727465642070726f78 0000117c: PUSH1 0x44 0000117e: DUP3 0000117f: ADD 00001180: MSTORE 00001181: PUSH9 0x1a58589b1955555251 0000118b: PUSH1 0xba 0000118d: SHL 0000118e: PUSH1 0x64 00001190: DUP3 00001191: ADD 00001192: MSTORE 00001193: PUSH1 0x84 00001195: ADD 00001196: PUSH2 0x0398 00001199: JUMP 0000119a: JUMPDEST 0000119b: POP 0000119c: PUSH2 0x0ffe 0000119f: DUP4 000011a0: DUP4 000011a1: DUP4 000011a2: PUSH2 0x16d6 000011a5: JUMP 000011a6: JUMPDEST 000011a7: PUSH1 0x33 000011a9: SLOAD 000011aa: PUSH1 0x01 000011ac: PUSH1 0x01 000011ae: PUSH1 0xa0 000011b0: SHL 000011b1: SUB 000011b2: AND 000011b3: CALLER 000011b4: EQ 000011b5: PUSH2 0x0b1c 000011b8: JUMPI 000011b9: PUSH1 0x40 000011bb: MLOAD 000011bc: PUSH3 0x461bcd 000011c0: PUSH1 0xe5 000011c2: SHL 000011c3: DUP2 000011c4: MSTORE 000011c5: PUSH1 0x20 000011c7: PUSH1 0x04 000011c9: DUP3 000011ca: ADD 000011cb: DUP2 000011cc: SWAP1 000011cd: MSTORE 000011ce: PUSH1 0x24 000011d0: DUP3 000011d1: ADD 000011d2: MSTORE 000011d3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000011f4: PUSH1 0x44 000011f6: DUP3 000011f7: ADD 000011f8: MSTORE 000011f9: PUSH1 0x64 000011fb: ADD 000011fc: PUSH2 0x0398 000011ff: JUMP 00001200: JUMPDEST 00001201: PUSH2 0x1208 00001204: PUSH2 0x16fb 00001207: JUMP 00001208: JUMPDEST 00001209: PUSH1 0x65 0000120b: DUP1 0000120c: SLOAD 0000120d: PUSH1 0xff 0000120f: NOT 00001210: AND 00001211: SWAP1 00001212: SSTORE 00001213: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00001234: CALLER 00001235: JUMPDEST 00001236: PUSH1 0x40 00001238: MLOAD 00001239: PUSH1 0x01 0000123b: PUSH1 0x01 0000123d: PUSH1 0xa0 0000123f: SHL 00001240: SUB 00001241: SWAP1 00001242: SWAP2 00001243: AND 00001244: DUP2 00001245: MSTORE 00001246: PUSH1 0x20 00001248: ADD 00001249: PUSH1 0x40 0000124b: MLOAD 0000124c: DUP1 0000124d: SWAP2 0000124e: SUB 0000124f: SWAP1 00001250: LOG1 00001251: JUMP 00001252: JUMPDEST 00001253: PUSH4 0xd505accf 00001258: PUSH1 0xe0 0000125a: SHL 0000125b: PUSH2 0x1268 0000125e: PUSH1 0x04 00001260: PUSH1 0x00 00001262: DUP5 00001263: DUP7 00001264: PUSH2 0x1efd 00001267: JUMP 00001268: JUMPDEST 00001269: PUSH2 0x1271 0000126c: SWAP2 0000126d: PUSH2 0x1f27 00001270: JUMP 00001271: JUMPDEST 00001272: PUSH1 0x01 00001274: PUSH1 0x01 00001276: PUSH1 0xe0 00001278: SHL 00001279: SUB 0000127a: NOT 0000127b: AND 0000127c: EQ 0000127d: PUSH2 0x1299 00001280: JUMPI 00001281: PUSH1 0x40 00001283: MLOAD 00001284: PUSH4 0x7eb349ff 00001289: PUSH1 0xe1 0000128b: SHL 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x04 00001290: ADD 00001291: PUSH1 0x40 00001293: MLOAD 00001294: DUP1 00001295: SWAP2 00001296: SUB 00001297: SWAP1 00001298: REVERT 00001299: JUMPDEST 0000129a: PUSH1 0x00 0000129c: DUP1 0000129d: DUP1 0000129e: DUP1 0000129f: DUP1 000012a0: DUP1 000012a1: DUP1 000012a2: PUSH2 0x12ae 000012a5: DUP9 000012a6: PUSH1 0x04 000012a8: DUP2 000012a9: DUP13 000012aa: PUSH2 0x1efd 000012ad: JUMP 000012ae: JUMPDEST 000012af: DUP2 000012b0: ADD 000012b1: SWAP1 000012b2: PUSH2 0x12bb 000012b5: SWAP2 000012b6: SWAP1 000012b7: PUSH2 0x1f57 000012ba: JUMP 000012bb: JUMPDEST 000012bc: SWAP7 000012bd: POP 000012be: SWAP7 000012bf: POP 000012c0: SWAP7 000012c1: POP 000012c2: SWAP7 000012c3: POP 000012c4: SWAP7 000012c5: POP 000012c6: SWAP7 000012c7: POP 000012c8: SWAP7 000012c9: POP 000012ca: CALLER 000012cb: PUSH1 0x01 000012cd: PUSH1 0x01 000012cf: PUSH1 0xa0 000012d1: SHL 000012d2: SUB 000012d3: AND 000012d4: DUP8 000012d5: PUSH1 0x01 000012d7: PUSH1 0x01 000012d9: PUSH1 0xa0 000012db: SHL 000012dc: SUB 000012dd: AND 000012de: EQ 000012df: PUSH2 0x12fb 000012e2: JUMPI 000012e3: PUSH1 0x40 000012e5: MLOAD 000012e6: PUSH4 0x912ecce7 000012eb: PUSH1 0xe0 000012ed: SHL 000012ee: DUP2 000012ef: MSTORE 000012f0: PUSH1 0x04 000012f2: ADD 000012f3: PUSH1 0x40 000012f5: MLOAD 000012f6: DUP1 000012f7: SWAP2 000012f8: SUB 000012f9: SWAP1 000012fa: REVERT 000012fb: JUMPDEST 000012fc: PUSH1 0x01 000012fe: PUSH1 0x01 00001300: PUSH1 0xa0 00001302: SHL 00001303: SUB 00001304: DUP7 00001305: AND 00001306: ADDRESS 00001307: EQ 00001308: PUSH2 0x1324 0000130b: JUMPI 0000130c: PUSH1 0x40 0000130e: MLOAD 0000130f: PUSH4 0x750643af 00001314: PUSH1 0xe0 00001316: SHL 00001317: DUP2 00001318: MSTORE 00001319: PUSH1 0x04 0000131b: ADD 0000131c: PUSH1 0x40 0000131e: MLOAD 0000131f: DUP1 00001320: SWAP2 00001321: SUB 00001322: SWAP1 00001323: REVERT 00001324: JUMPDEST 00001325: DUP10 00001326: DUP6 00001327: EQ 00001328: PUSH2 0x1344 0000132b: JUMPI 0000132c: PUSH1 0x40 0000132e: MLOAD 0000132f: PUSH4 0x03fffc4b 00001334: PUSH1 0xe0 00001336: SHL 00001337: DUP2 00001338: MSTORE 00001339: PUSH1 0x04 0000133b: ADD 0000133c: PUSH1 0x40 0000133e: MLOAD 0000133f: DUP1 00001340: SWAP2 00001341: SUB 00001342: SWAP1 00001343: REVERT 00001344: JUMPDEST 00001345: PUSH1 0x40 00001347: DUP1 00001348: MLOAD 00001349: PUSH1 0x01 0000134b: PUSH1 0x01 0000134d: PUSH1 0xa0 0000134f: SHL 00001350: SUB 00001351: DUP10 00001352: DUP2 00001353: AND 00001354: PUSH1 0x24 00001356: DUP4 00001357: ADD 00001358: MSTORE 00001359: DUP9 0000135a: DUP2 0000135b: AND 0000135c: PUSH1 0x44 0000135e: DUP4 0000135f: ADD 00001360: MSTORE 00001361: PUSH1 0x64 00001363: DUP3 00001364: ADD 00001365: DUP9 00001366: SWAP1 00001367: MSTORE 00001368: PUSH1 0x84 0000136a: DUP3 0000136b: ADD 0000136c: DUP8 0000136d: SWAP1 0000136e: MSTORE 0000136f: PUSH1 0xff 00001371: DUP7 00001372: AND 00001373: PUSH1 0xa4 00001375: DUP4 00001376: ADD 00001377: MSTORE 00001378: PUSH1 0xc4 0000137a: DUP3 0000137b: ADD 0000137c: DUP6 0000137d: SWAP1 0000137e: MSTORE 0000137f: PUSH1 0xe4 00001381: DUP1 00001382: DUP4 00001383: ADD 00001384: DUP6 00001385: SWAP1 00001386: MSTORE 00001387: DUP4 00001388: MLOAD 00001389: DUP1 0000138a: DUP5 0000138b: SUB 0000138c: SWAP1 0000138d: SWAP2 0000138e: ADD 0000138f: DUP2 00001390: MSTORE 00001391: PUSH2 0x0104 00001394: SWAP1 00001395: SWAP3 00001396: ADD 00001397: DUP4 00001398: MSTORE 00001399: PUSH1 0x20 0000139b: DUP3 0000139c: ADD 0000139d: DUP1 0000139e: MLOAD 0000139f: PUSH1 0x01 000013a1: PUSH1 0x01 000013a3: PUSH1 0xe0 000013a5: SHL 000013a6: SUB 000013a7: AND 000013a8: PUSH4 0xd505accf 000013ad: PUSH1 0xe0 000013af: SHL 000013b0: OR 000013b1: SWAP1 000013b2: MSTORE 000013b3: SWAP2 000013b4: MLOAD 000013b5: SWAP2 000013b6: DUP14 000013b7: AND 000013b8: SWAP2 000013b9: PUSH2 0x13c2 000013bc: SWAP2 000013bd: SWAP1 000013be: PUSH2 0x1fce 000013c1: JUMP 000013c2: JUMPDEST 000013c3: PUSH1 0x00 000013c5: PUSH1 0x40 000013c7: MLOAD 000013c8: DUP1 000013c9: DUP4 000013ca: SUB 000013cb: DUP2 000013cc: PUSH1 0x00 000013ce: DUP7 000013cf: GAS 000013d0: CALL 000013d1: SWAP2 000013d2: POP 000013d3: POP 000013d4: RETURNDATASIZE 000013d5: DUP1 000013d6: PUSH1 0x00 000013d8: DUP2 000013d9: EQ 000013da: PUSH2 0x13ff 000013dd: JUMPI 000013de: PUSH1 0x40 000013e0: MLOAD 000013e1: SWAP2 000013e2: POP 000013e3: PUSH1 0x1f 000013e5: NOT 000013e6: PUSH1 0x3f 000013e8: RETURNDATASIZE 000013e9: ADD 000013ea: AND 000013eb: DUP3 000013ec: ADD 000013ed: PUSH1 0x40 000013ef: MSTORE 000013f0: RETURNDATASIZE 000013f1: DUP3 000013f2: MSTORE 000013f3: RETURNDATASIZE 000013f4: PUSH1 0x00 000013f6: PUSH1 0x20 000013f8: DUP5 000013f9: ADD 000013fa: RETURNDATACOPY 000013fb: PUSH2 0x1404 000013fe: JUMP 000013ff: JUMPDEST 00001400: PUSH1 0x60 00001402: SWAP2 00001403: POP 00001404: JUMPDEST 00001405: POP 00001406: POP 00001407: POP 00001408: POP 00001409: POP 0000140a: POP 0000140b: POP 0000140c: POP 0000140d: POP 0000140e: POP 0000140f: POP 00001410: POP 00001411: POP 00001412: POP 00001413: JUMP 00001414: JUMPDEST 00001415: PUSH2 0x141c 00001418: PUSH2 0x0de9 0000141b: JUMP 0000141c: JUMPDEST 0000141d: PUSH1 0x65 0000141f: DUP1 00001420: SLOAD 00001421: PUSH1 0xff 00001423: NOT 00001424: AND 00001425: PUSH1 0x01 00001427: OR 00001428: SWAP1 00001429: SSTORE 0000142a: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 0000144b: PUSH2 0x1235 0000144e: CALLER 0000144f: SWAP1 00001450: JUMP 00001451: JUMPDEST 00001452: PUSH1 0x00 00001454: PUSH2 0x14a6 00001457: DUP3 00001458: PUSH1 0x40 0000145a: MLOAD 0000145b: DUP1 0000145c: PUSH1 0x40 0000145e: ADD 0000145f: PUSH1 0x40 00001461: MSTORE 00001462: DUP1 00001463: PUSH1 0x20 00001465: DUP2 00001466: MSTORE 00001467: PUSH1 0x20 00001469: ADD 0000146a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 0000148b: DUP2 0000148c: MSTORE 0000148d: POP 0000148e: DUP6 0000148f: PUSH1 0x01 00001491: PUSH1 0x01 00001493: PUSH1 0xa0 00001495: SHL 00001496: SUB 00001497: AND 00001498: PUSH2 0x1744 0000149b: SWAP1 0000149c: SWAP3 0000149d: SWAP2 0000149e: SWAP1 0000149f: PUSH4 0xffffffff 000014a4: AND 000014a5: JUMP 000014a6: JUMPDEST 000014a7: SWAP1 000014a8: POP 000014a9: DUP1 000014aa: MLOAD 000014ab: PUSH1 0x00 000014ad: EQ 000014ae: DUP1 000014af: PUSH2 0x14c7 000014b2: JUMPI 000014b3: POP 000014b4: DUP1 000014b5: DUP1 000014b6: PUSH1 0x20 000014b8: ADD 000014b9: SWAP1 000014ba: MLOAD 000014bb: DUP2 000014bc: ADD 000014bd: SWAP1 000014be: PUSH2 0x14c7 000014c1: SWAP2 000014c2: SWAP1 000014c3: PUSH2 0x1fea 000014c6: JUMP 000014c7: JUMPDEST 000014c8: PUSH2 0x0ffe 000014cb: JUMPI 000014cc: PUSH1 0x40 000014ce: MLOAD 000014cf: PUSH3 0x461bcd 000014d3: PUSH1 0xe5 000014d5: SHL 000014d6: DUP2 000014d7: MSTORE 000014d8: PUSH1 0x20 000014da: PUSH1 0x04 000014dc: DUP3 000014dd: ADD 000014de: MSTORE 000014df: PUSH1 0x2a 000014e1: PUSH1 0x24 000014e3: DUP3 000014e4: ADD 000014e5: MSTORE 000014e6: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00001507: PUSH1 0x44 00001509: DUP3 0000150a: ADD 0000150b: MSTORE 0000150c: PUSH10 0x1bdd081cdd58d8d95959 00001517: PUSH1 0xb2 00001519: SHL 0000151a: PUSH1 0x64 0000151c: DUP3 0000151d: ADD 0000151e: MSTORE 0000151f: PUSH1 0x84 00001521: ADD 00001522: PUSH2 0x0398 00001525: JUMP 00001526: JUMPDEST 00001527: PUSH1 0x00 00001529: SLOAD 0000152a: PUSH2 0x0100 0000152d: SWAP1 0000152e: DIV 0000152f: PUSH1 0xff 00001531: AND 00001532: PUSH2 0x154d 00001535: JUMPI 00001536: PUSH1 0x40 00001538: MLOAD 00001539: PUSH3 0x461bcd 0000153d: PUSH1 0xe5 0000153f: SHL 00001540: DUP2 00001541: MSTORE 00001542: PUSH1 0x04 00001544: ADD 00001545: PUSH2 0x0398 00001548: SWAP1 00001549: PUSH2 0x1e99 0000154c: JUMP 0000154d: JUMPDEST 0000154e: PUSH2 0x0b1c 00001551: PUSH2 0x175b 00001554: JUMP 00001555: JUMPDEST 00001556: PUSH1 0x00 00001558: SLOAD 00001559: PUSH2 0x0100 0000155c: SWAP1 0000155d: DIV 0000155e: PUSH1 0xff 00001560: AND 00001561: PUSH2 0x157c 00001564: JUMPI 00001565: PUSH1 0x40 00001567: MLOAD 00001568: PUSH3 0x461bcd 0000156c: PUSH1 0xe5 0000156e: SHL 0000156f: DUP2 00001570: MSTORE 00001571: PUSH1 0x04 00001573: ADD 00001574: PUSH2 0x0398 00001577: SWAP1 00001578: PUSH2 0x1e99 0000157b: JUMP 0000157c: JUMPDEST 0000157d: PUSH2 0x0b1c 00001580: PUSH2 0x178b 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH1 0x00 00001587: SLOAD 00001588: PUSH2 0x0100 0000158b: SWAP1 0000158c: DIV 0000158d: PUSH1 0xff 0000158f: AND 00001590: PUSH2 0x0b1c 00001593: JUMPI 00001594: PUSH1 0x40 00001596: MLOAD 00001597: PUSH3 0x461bcd 0000159b: PUSH1 0xe5 0000159d: SHL 0000159e: DUP2 0000159f: MSTORE 000015a0: PUSH1 0x04 000015a2: ADD 000015a3: PUSH2 0x0398 000015a6: SWAP1 000015a7: PUSH2 0x1e99 000015aa: JUMP 000015ab: JUMPDEST 000015ac: PUSH1 0x01 000015ae: PUSH1 0x01 000015b0: PUSH1 0xa0 000015b2: SHL 000015b3: SUB 000015b4: DUP2 000015b5: AND 000015b6: PUSH2 0x1610 000015b9: JUMPI 000015ba: PUSH1 0x40 000015bc: MLOAD 000015bd: PUSH3 0x461bcd 000015c1: PUSH1 0xe5 000015c3: SHL 000015c4: DUP2 000015c5: MSTORE 000015c6: PUSH1 0x20 000015c8: PUSH1 0x04 000015ca: DUP3 000015cb: ADD 000015cc: MSTORE 000015cd: PUSH1 0x26 000015cf: PUSH1 0x24 000015d1: DUP3 000015d2: ADD 000015d3: MSTORE 000015d4: PUSH32 0x455243313936373a206e65772061646d696e20697320746865207a65726f2061 000015f5: PUSH1 0x44 000015f7: DUP3 000015f8: ADD 000015f9: MSTORE 000015fa: PUSH6 0x646472657373 00001601: PUSH1 0xd0 00001603: SHL 00001604: PUSH1 0x64 00001606: DUP3 00001607: ADD 00001608: MSTORE 00001609: PUSH1 0x84 0000160b: ADD 0000160c: PUSH2 0x0398 0000160f: JUMP 00001610: JUMPDEST 00001611: DUP1 00001612: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00001633: JUMPDEST 00001634: DUP1 00001635: SLOAD 00001636: PUSH1 0x01 00001638: PUSH1 0x01 0000163a: PUSH1 0xa0 0000163c: SHL 0000163d: SUB 0000163e: NOT 0000163f: AND 00001640: PUSH1 0x01 00001642: PUSH1 0x01 00001644: PUSH1 0xa0 00001646: SHL 00001647: SUB 00001648: SWAP3 00001649: SWAP1 0000164a: SWAP3 0000164b: AND 0000164c: SWAP2 0000164d: SWAP1 0000164e: SWAP2 0000164f: OR 00001650: SWAP1 00001651: SSTORE 00001652: POP 00001653: JUMP 00001654: JUMPDEST 00001655: PUSH1 0x01 00001657: PUSH1 0x01 00001659: PUSH1 0xa0 0000165b: SHL 0000165c: SUB 0000165d: DUP2 0000165e: AND 0000165f: EXTCODESIZE 00001660: PUSH2 0x16c1 00001663: JUMPI 00001664: PUSH1 0x40 00001666: MLOAD 00001667: PUSH3 0x461bcd 0000166b: PUSH1 0xe5 0000166d: SHL 0000166e: DUP2 0000166f: MSTORE 00001670: PUSH1 0x20 00001672: PUSH1 0x04 00001674: DUP3 00001675: ADD 00001676: MSTORE 00001677: PUSH1 0x2d 00001679: PUSH1 0x24 0000167b: DUP3 0000167c: ADD 0000167d: MSTORE 0000167e: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 0000169f: PUSH1 0x44 000016a1: DUP3 000016a2: ADD 000016a3: MSTORE 000016a4: PUSH13 0x1bdd08184818dbdb9d1c9858dd 000016b2: PUSH1 0x9a 000016b4: SHL 000016b5: PUSH1 0x64 000016b7: DUP3 000016b8: ADD 000016b9: MSTORE 000016ba: PUSH1 0x84 000016bc: ADD 000016bd: PUSH2 0x0398 000016c0: JUMP 000016c1: JUMPDEST 000016c2: DUP1 000016c3: PUSH1 0x00 000016c5: DUP1 000016c6: MLOAD 000016c7: PUSH1 0x20 000016c9: PUSH2 0x201b 000016cc: DUP4 000016cd: CODECOPY 000016ce: DUP2 000016cf: MLOAD 000016d0: SWAP2 000016d1: MSTORE 000016d2: PUSH2 0x1633 000016d5: JUMP 000016d6: JUMPDEST 000016d7: PUSH2 0x16df 000016da: DUP4 000016db: PUSH2 0x17be 000016de: JUMP 000016df: JUMPDEST 000016e0: PUSH1 0x00 000016e2: DUP3 000016e3: MLOAD 000016e4: GT 000016e5: DUP1 000016e6: PUSH2 0x16ec 000016e9: JUMPI 000016ea: POP 000016eb: DUP1 000016ec: JUMPDEST 000016ed: ISZERO 000016ee: PUSH2 0x0ffe 000016f1: JUMPI 000016f2: PUSH2 0x0e9a 000016f5: DUP4 000016f6: DUP4 000016f7: PUSH2 0x17fe 000016fa: JUMP 000016fb: JUMPDEST 000016fc: PUSH1 0x65 000016fe: SLOAD 000016ff: PUSH1 0xff 00001701: AND 00001702: PUSH2 0x0b1c 00001705: JUMPI 00001706: PUSH1 0x40 00001708: MLOAD 00001709: PUSH3 0x461bcd 0000170d: PUSH1 0xe5 0000170f: SHL 00001710: DUP2 00001711: MSTORE 00001712: PUSH1 0x20 00001714: PUSH1 0x04 00001716: DUP3 00001717: ADD 00001718: MSTORE 00001719: PUSH1 0x14 0000171b: PUSH1 0x24 0000171d: DUP3 0000171e: ADD 0000171f: MSTORE 00001720: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 00001735: PUSH1 0x62 00001737: SHL 00001738: PUSH1 0x44 0000173a: DUP3 0000173b: ADD 0000173c: MSTORE 0000173d: PUSH1 0x64 0000173f: ADD 00001740: PUSH2 0x0398 00001743: JUMP 00001744: JUMPDEST 00001745: PUSH1 0x60 00001747: PUSH2 0x1753 0000174a: DUP5 0000174b: DUP5 0000174c: PUSH1 0x00 0000174e: DUP6 0000174f: PUSH2 0x182a 00001752: JUMP 00001753: JUMPDEST 00001754: SWAP5 00001755: SWAP4 00001756: POP 00001757: POP 00001758: POP 00001759: POP 0000175a: JUMP 0000175b: JUMPDEST 0000175c: PUSH1 0x00 0000175e: SLOAD 0000175f: PUSH2 0x0100 00001762: SWAP1 00001763: DIV 00001764: PUSH1 0xff 00001766: AND 00001767: PUSH2 0x1782 0000176a: JUMPI 0000176b: PUSH1 0x40 0000176d: MLOAD 0000176e: PUSH3 0x461bcd 00001772: PUSH1 0xe5 00001774: SHL 00001775: DUP2 00001776: MSTORE 00001777: PUSH1 0x04 00001779: ADD 0000177a: PUSH2 0x0398 0000177d: SWAP1 0000177e: PUSH2 0x1e99 00001781: JUMP 00001782: JUMPDEST 00001783: PUSH2 0x0b1c 00001786: CALLER 00001787: PUSH2 0x0f28 0000178a: JUMP 0000178b: JUMPDEST 0000178c: PUSH1 0x00 0000178e: SLOAD 0000178f: PUSH2 0x0100 00001792: SWAP1 00001793: DIV 00001794: PUSH1 0xff 00001796: AND 00001797: PUSH2 0x17b2 0000179a: JUMPI 0000179b: PUSH1 0x40 0000179d: MLOAD 0000179e: PUSH3 0x461bcd 000017a2: PUSH1 0xe5 000017a4: SHL 000017a5: DUP2 000017a6: MSTORE 000017a7: PUSH1 0x04 000017a9: ADD 000017aa: PUSH2 0x0398 000017ad: SWAP1 000017ae: PUSH2 0x1e99 000017b1: JUMP 000017b2: JUMPDEST 000017b3: PUSH1 0x65 000017b5: DUP1 000017b6: SLOAD 000017b7: PUSH1 0xff 000017b9: NOT 000017ba: AND 000017bb: SWAP1 000017bc: SSTORE 000017bd: JUMP 000017be: JUMPDEST 000017bf: PUSH2 0x17c7 000017c2: DUP2 000017c3: PUSH2 0x1654 000017c6: JUMP 000017c7: JUMPDEST 000017c8: PUSH1 0x40 000017ca: MLOAD 000017cb: PUSH1 0x01 000017cd: PUSH1 0x01 000017cf: PUSH1 0xa0 000017d1: SHL 000017d2: SUB 000017d3: DUP3 000017d4: AND 000017d5: SWAP1 000017d6: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 000017f7: SWAP1 000017f8: PUSH1 0x00 000017fa: SWAP1 000017fb: LOG2 000017fc: POP 000017fd: JUMP 000017fe: JUMPDEST 000017ff: PUSH1 0x60 00001801: PUSH2 0x1823 00001804: DUP4 00001805: DUP4 00001806: PUSH1 0x40 00001808: MLOAD 00001809: DUP1 0000180a: PUSH1 0x60 0000180c: ADD 0000180d: PUSH1 0x40 0000180f: MSTORE 00001810: DUP1 00001811: PUSH1 0x27 00001813: DUP2 00001814: MSTORE 00001815: PUSH1 0x20 00001817: ADD 00001818: PUSH2 0x203b 0000181b: PUSH1 0x27 0000181d: SWAP2 0000181e: CODECOPY 0000181f: PUSH2 0x1905 00001822: JUMP 00001823: JUMPDEST 00001824: SWAP4 00001825: SWAP3 00001826: POP 00001827: POP 00001828: POP 00001829: JUMP 0000182a: JUMPDEST 0000182b: PUSH1 0x60 0000182d: DUP3 0000182e: SELFBALANCE 0000182f: LT 00001830: ISZERO 00001831: PUSH2 0x188b 00001834: JUMPI 00001835: PUSH1 0x40 00001837: MLOAD 00001838: PUSH3 0x461bcd 0000183c: PUSH1 0xe5 0000183e: SHL 0000183f: DUP2 00001840: MSTORE 00001841: PUSH1 0x20 00001843: PUSH1 0x04 00001845: DUP3 00001846: ADD 00001847: MSTORE 00001848: PUSH1 0x26 0000184a: PUSH1 0x24 0000184c: DUP3 0000184d: ADD 0000184e: MSTORE 0000184f: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00001870: PUSH1 0x44 00001872: DUP3 00001873: ADD 00001874: MSTORE 00001875: PUSH6 0x1c8818d85b1b 0000187c: PUSH1 0xd2 0000187e: SHL 0000187f: PUSH1 0x64 00001881: DUP3 00001882: ADD 00001883: MSTORE 00001884: PUSH1 0x84 00001886: ADD 00001887: PUSH2 0x0398 0000188a: JUMP 0000188b: JUMPDEST 0000188c: PUSH1 0x00 0000188e: DUP1 0000188f: DUP7 00001890: PUSH1 0x01 00001892: PUSH1 0x01 00001894: PUSH1 0xa0 00001896: SHL 00001897: SUB 00001898: AND 00001899: DUP6 0000189a: DUP8 0000189b: PUSH1 0x40 0000189d: MLOAD 0000189e: PUSH2 0x18a7 000018a1: SWAP2 000018a2: SWAP1 000018a3: PUSH2 0x1fce 000018a6: JUMP 000018a7: JUMPDEST 000018a8: PUSH1 0x00 000018aa: PUSH1 0x40 000018ac: MLOAD 000018ad: DUP1 000018ae: DUP4 000018af: SUB 000018b0: DUP2 000018b1: DUP6 000018b2: DUP8 000018b3: GAS 000018b4: CALL 000018b5: SWAP3 000018b6: POP 000018b7: POP 000018b8: POP 000018b9: RETURNDATASIZE 000018ba: DUP1 000018bb: PUSH1 0x00 000018bd: DUP2 000018be: EQ 000018bf: PUSH2 0x18e4 000018c2: JUMPI 000018c3: PUSH1 0x40 000018c5: MLOAD 000018c6: SWAP2 000018c7: POP 000018c8: PUSH1 0x1f 000018ca: NOT 000018cb: PUSH1 0x3f 000018cd: RETURNDATASIZE 000018ce: ADD 000018cf: AND 000018d0: DUP3 000018d1: ADD 000018d2: PUSH1 0x40 000018d4: MSTORE 000018d5: RETURNDATASIZE 000018d6: DUP3 000018d7: MSTORE 000018d8: RETURNDATASIZE 000018d9: PUSH1 0x00 000018db: PUSH1 0x20 000018dd: DUP5 000018de: ADD 000018df: RETURNDATACOPY 000018e0: PUSH2 0x18e9 000018e3: JUMP 000018e4: JUMPDEST 000018e5: PUSH1 0x60 000018e7: SWAP2 000018e8: POP 000018e9: JUMPDEST 000018ea: POP 000018eb: SWAP2 000018ec: POP 000018ed: SWAP2 000018ee: POP 000018ef: PUSH2 0x18fa 000018f2: DUP8 000018f3: DUP4 000018f4: DUP4 000018f5: DUP8 000018f6: PUSH2 0x197d 000018f9: JUMP 000018fa: JUMPDEST 000018fb: SWAP8 000018fc: SWAP7 000018fd: POP 000018fe: POP 000018ff: POP 00001900: POP 00001901: POP 00001902: POP 00001903: POP 00001904: JUMP 00001905: JUMPDEST 00001906: PUSH1 0x60 00001908: PUSH1 0x00 0000190a: DUP1 0000190b: DUP6 0000190c: PUSH1 0x01 0000190e: PUSH1 0x01 00001910: PUSH1 0xa0 00001912: SHL 00001913: SUB 00001914: AND 00001915: DUP6 00001916: PUSH1 0x40 00001918: MLOAD 00001919: PUSH2 0x1922 0000191c: SWAP2 0000191d: SWAP1 0000191e: PUSH2 0x1fce 00001921: JUMP 00001922: JUMPDEST 00001923: PUSH1 0x00 00001925: PUSH1 0x40 00001927: MLOAD 00001928: DUP1 00001929: DUP4 0000192a: SUB 0000192b: DUP2 0000192c: DUP6 0000192d: GAS 0000192e: DELEGATECALL 0000192f: SWAP2 00001930: POP 00001931: POP 00001932: RETURNDATASIZE 00001933: DUP1 00001934: PUSH1 0x00 00001936: DUP2 00001937: EQ 00001938: PUSH2 0x195d 0000193b: JUMPI 0000193c: PUSH1 0x40 0000193e: MLOAD 0000193f: SWAP2 00001940: POP 00001941: PUSH1 0x1f 00001943: NOT 00001944: PUSH1 0x3f 00001946: RETURNDATASIZE 00001947: ADD 00001948: AND 00001949: DUP3 0000194a: ADD 0000194b: PUSH1 0x40 0000194d: MSTORE 0000194e: RETURNDATASIZE 0000194f: DUP3 00001950: MSTORE 00001951: RETURNDATASIZE 00001952: PUSH1 0x00 00001954: PUSH1 0x20 00001956: DUP5 00001957: ADD 00001958: RETURNDATACOPY 00001959: PUSH2 0x1962 0000195c: JUMP 0000195d: JUMPDEST 0000195e: PUSH1 0x60 00001960: SWAP2 00001961: POP 00001962: JUMPDEST 00001963: POP 00001964: SWAP2 00001965: POP 00001966: SWAP2 00001967: POP 00001968: PUSH2 0x1973 0000196b: DUP7 0000196c: DUP4 0000196d: DUP4 0000196e: DUP8 0000196f: PUSH2 0x197d 00001972: JUMP 00001973: JUMPDEST 00001974: SWAP7 00001975: SWAP6 00001976: POP 00001977: POP 00001978: POP 00001979: POP 0000197a: POP 0000197b: POP 0000197c: JUMP 0000197d: JUMPDEST 0000197e: PUSH1 0x60 00001980: DUP4 00001981: ISZERO 00001982: PUSH2 0x19ec 00001985: JUMPI 00001986: DUP3 00001987: MLOAD 00001988: PUSH1 0x00 0000198a: SUB 0000198b: PUSH2 0x19e5 0000198e: JUMPI 0000198f: PUSH1 0x01 00001991: PUSH1 0x01 00001993: PUSH1 0xa0 00001995: SHL 00001996: SUB 00001997: DUP6 00001998: AND 00001999: EXTCODESIZE 0000199a: PUSH2 0x19e5 0000199d: JUMPI 0000199e: PUSH1 0x40 000019a0: MLOAD 000019a1: PUSH3 0x461bcd 000019a5: PUSH1 0xe5 000019a7: SHL 000019a8: DUP2 000019a9: MSTORE 000019aa: PUSH1 0x20 000019ac: PUSH1 0x04 000019ae: DUP3 000019af: ADD 000019b0: MSTORE 000019b1: PUSH1 0x1d 000019b3: PUSH1 0x24 000019b5: DUP3 000019b6: ADD 000019b7: MSTORE 000019b8: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000019d9: PUSH1 0x44 000019db: DUP3 000019dc: ADD 000019dd: MSTORE 000019de: PUSH1 0x64 000019e0: ADD 000019e1: PUSH2 0x0398 000019e4: JUMP 000019e5: JUMPDEST 000019e6: POP 000019e7: DUP2 000019e8: PUSH2 0x1753 000019eb: JUMP 000019ec: JUMPDEST 000019ed: PUSH2 0x1753 000019f0: DUP4 000019f1: DUP4 000019f2: DUP2 000019f3: MLOAD 000019f4: ISZERO 000019f5: PUSH2 0x1a01 000019f8: JUMPI 000019f9: DUP2 000019fa: MLOAD 000019fb: DUP1 000019fc: DUP4 000019fd: PUSH1 0x20 000019ff: ADD 00001a00: REVERT 00001a01: JUMPDEST 00001a02: DUP1 00001a03: PUSH1 0x40 00001a05: MLOAD 00001a06: PUSH3 0x461bcd 00001a0a: PUSH1 0xe5 00001a0c: SHL 00001a0d: DUP2 00001a0e: MSTORE 00001a0f: PUSH1 0x04 00001a11: ADD 00001a12: PUSH2 0x0398 00001a15: SWAP2 00001a16: SWAP1 00001a17: PUSH2 0x2007 00001a1a: JUMP 00001a1b: JUMPDEST 00001a1c: PUSH1 0x01 00001a1e: PUSH1 0x01 00001a20: PUSH1 0xa0 00001a22: SHL 00001a23: SUB 00001a24: DUP2 00001a25: AND 00001a26: DUP2 00001a27: EQ 00001a28: PUSH2 0x0b09 00001a2b: JUMPI 00001a2c: PUSH1 0x00 00001a2e: DUP1 00001a2f: REVERT 00001a30: JUMPDEST 00001a31: DUP1 00001a32: ISZERO 00001a33: ISZERO 00001a34: DUP2 00001a35: EQ 00001a36: PUSH2 0x0b09 00001a39: JUMPI 00001a3a: PUSH1 0x00 00001a3c: DUP1 00001a3d: REVERT 00001a3e: JUMPDEST 00001a3f: PUSH1 0x00 00001a41: DUP1 00001a42: PUSH1 0x00 00001a44: PUSH1 0x60 00001a46: DUP5 00001a47: DUP7 00001a48: SUB 00001a49: SLT 00001a4a: ISZERO 00001a4b: PUSH2 0x1a53 00001a4e: JUMPI 00001a4f: PUSH1 0x00 00001a51: DUP1 00001a52: REVERT 00001a53: JUMPDEST 00001a54: DUP4 00001a55: CALLDATALOAD 00001a56: PUSH2 0x1a5e 00001a59: DUP2 00001a5a: PUSH2 0x1a1b 00001a5d: JUMP 00001a5e: JUMPDEST 00001a5f: SWAP3 00001a60: POP 00001a61: PUSH1 0x20 00001a63: DUP5 00001a64: ADD 00001a65: CALLDATALOAD 00001a66: SWAP2 00001a67: POP 00001a68: PUSH1 0x40 00001a6a: DUP5 00001a6b: ADD 00001a6c: CALLDATALOAD 00001a6d: PUSH2 0x1a75 00001a70: DUP2 00001a71: PUSH2 0x1a30 00001a74: JUMP 00001a75: JUMPDEST 00001a76: DUP1 00001a77: SWAP2 00001a78: POP 00001a79: POP 00001a7a: SWAP3 00001a7b: POP 00001a7c: SWAP3 00001a7d: POP 00001a7e: SWAP3 00001a7f: JUMP 00001a80: JUMPDEST 00001a81: DUP1 00001a82: CALLDATALOAD 00001a83: PUSH4 0xffffffff 00001a88: DUP2 00001a89: AND 00001a8a: DUP2 00001a8b: EQ 00001a8c: PUSH2 0x1a94 00001a8f: JUMPI 00001a90: PUSH1 0x00 00001a92: DUP1 00001a93: REVERT 00001a94: JUMPDEST 00001a95: SWAP2 00001a96: SWAP1 00001a97: POP 00001a98: JUMP 00001a99: JUMPDEST 00001a9a: PUSH1 0x00 00001a9c: DUP1 00001a9d: PUSH1 0x00 00001a9f: DUP1 00001aa0: PUSH1 0x00 00001aa2: DUP1 00001aa3: PUSH1 0xc0 00001aa5: DUP8 00001aa6: DUP10 00001aa7: SUB 00001aa8: SLT 00001aa9: ISZERO 00001aaa: PUSH2 0x1ab2 00001aad: JUMPI 00001aae: PUSH1 0x00 00001ab0: DUP1 00001ab1: REVERT 00001ab2: JUMPDEST 00001ab3: DUP7 00001ab4: CALLDATALOAD 00001ab5: PUSH2 0x1abd 00001ab8: DUP2 00001ab9: PUSH2 0x1a1b 00001abc: JUMP 00001abd: JUMPDEST 00001abe: SWAP6 00001abf: POP 00001ac0: PUSH1 0x20 00001ac2: DUP8 00001ac3: ADD 00001ac4: CALLDATALOAD 00001ac5: PUSH2 0x1acd 00001ac8: DUP2 00001ac9: PUSH2 0x1a1b 00001acc: JUMP 00001acd: JUMPDEST 00001ace: SWAP5 00001acf: POP 00001ad0: PUSH1 0x40 00001ad2: DUP8 00001ad3: ADD 00001ad4: CALLDATALOAD 00001ad5: PUSH2 0x1add 00001ad8: DUP2 00001ad9: PUSH2 0x1a1b 00001adc: JUMP 00001add: JUMPDEST 00001ade: SWAP4 00001adf: POP 00001ae0: PUSH2 0x1aeb 00001ae3: PUSH1 0x60 00001ae5: DUP9 00001ae6: ADD 00001ae7: PUSH2 0x1a80 00001aea: JUMP 00001aeb: JUMPDEST 00001aec: SWAP3 00001aed: POP 00001aee: PUSH1 0x80 00001af0: DUP8 00001af1: ADD 00001af2: CALLDATALOAD 00001af3: PUSH2 0x1afb 00001af6: DUP2 00001af7: PUSH2 0x1a1b 00001afa: JUMP 00001afb: JUMPDEST 00001afc: SWAP2 00001afd: POP 00001afe: PUSH1 0xa0 00001b00: DUP8 00001b01: ADD 00001b02: CALLDATALOAD 00001b03: PUSH2 0x1b0b 00001b06: DUP2 00001b07: PUSH2 0x1a1b 00001b0a: JUMP 00001b0b: JUMPDEST 00001b0c: DUP1 00001b0d: SWAP2 00001b0e: POP 00001b0f: POP 00001b10: SWAP3 00001b11: SWAP6 00001b12: POP 00001b13: SWAP3 00001b14: SWAP6 00001b15: POP 00001b16: SWAP3 00001b17: SWAP6 00001b18: JUMP 00001b19: JUMPDEST 00001b1a: PUSH4 0x4e487b71 00001b1f: PUSH1 0xe0 00001b21: SHL 00001b22: PUSH1 0x00 00001b24: MSTORE 00001b25: PUSH1 0x41 00001b27: PUSH1 0x04 00001b29: MSTORE 00001b2a: PUSH1 0x24 00001b2c: PUSH1 0x00 00001b2e: REVERT 00001b2f: JUMPDEST 00001b30: PUSH1 0x00 00001b32: DUP3 00001b33: PUSH1 0x1f 00001b35: DUP4 00001b36: ADD 00001b37: SLT 00001b38: PUSH2 0x1b40 00001b3b: JUMPI 00001b3c: PUSH1 0x00 00001b3e: DUP1 00001b3f: REVERT 00001b40: JUMPDEST 00001b41: DUP2 00001b42: CALLDATALOAD 00001b43: PUSH8 0xffffffffffffffff 00001b4c: DUP1 00001b4d: DUP3 00001b4e: GT 00001b4f: ISZERO 00001b50: PUSH2 0x1b5b 00001b53: JUMPI 00001b54: PUSH2 0x1b5b 00001b57: PUSH2 0x1b19 00001b5a: JUMP 00001b5b: JUMPDEST 00001b5c: PUSH1 0x40 00001b5e: MLOAD 00001b5f: PUSH1 0x1f 00001b61: DUP4 00001b62: ADD 00001b63: PUSH1 0x1f 00001b65: NOT 00001b66: SWAP1 00001b67: DUP2 00001b68: AND 00001b69: PUSH1 0x3f 00001b6b: ADD 00001b6c: AND 00001b6d: DUP2 00001b6e: ADD 00001b6f: SWAP1 00001b70: DUP3 00001b71: DUP3 00001b72: GT 00001b73: DUP2 00001b74: DUP4 00001b75: LT 00001b76: OR 00001b77: ISZERO 00001b78: PUSH2 0x1b83 00001b7b: JUMPI 00001b7c: PUSH2 0x1b83 00001b7f: PUSH2 0x1b19 00001b82: JUMP 00001b83: JUMPDEST 00001b84: DUP2 00001b85: PUSH1 0x40 00001b87: MSTORE 00001b88: DUP4 00001b89: DUP2 00001b8a: MSTORE 00001b8b: DUP7 00001b8c: PUSH1 0x20 00001b8e: DUP6 00001b8f: DUP9 00001b90: ADD 00001b91: ADD 00001b92: GT 00001b93: ISZERO 00001b94: PUSH2 0x1b9c 00001b97: JUMPI 00001b98: PUSH1 0x00 00001b9a: DUP1 00001b9b: REVERT 00001b9c: JUMPDEST 00001b9d: DUP4 00001b9e: PUSH1 0x20 00001ba0: DUP8 00001ba1: ADD 00001ba2: PUSH1 0x20 00001ba4: DUP4 00001ba5: ADD 00001ba6: CALLDATACOPY 00001ba7: PUSH1 0x00 00001ba9: PUSH1 0x20 00001bab: DUP6 00001bac: DUP4 00001bad: ADD 00001bae: ADD 00001baf: MSTORE 00001bb0: DUP1 00001bb1: SWAP5 00001bb2: POP 00001bb3: POP 00001bb4: POP 00001bb5: POP 00001bb6: POP 00001bb7: SWAP3 00001bb8: SWAP2 00001bb9: POP 00001bba: POP 00001bbb: JUMP 00001bbc: JUMPDEST 00001bbd: PUSH1 0x00 00001bbf: DUP1 00001bc0: PUSH1 0x00 00001bc2: PUSH1 0x60 00001bc4: DUP5 00001bc5: DUP7 00001bc6: SUB 00001bc7: SLT 00001bc8: ISZERO 00001bc9: PUSH2 0x1bd1 00001bcc: JUMPI 00001bcd: PUSH1 0x00 00001bcf: DUP1 00001bd0: REVERT 00001bd1: JUMPDEST 00001bd2: DUP4 00001bd3: CALLDATALOAD 00001bd4: PUSH2 0x1bdc 00001bd7: DUP2 00001bd8: PUSH2 0x1a1b 00001bdb: JUMP 00001bdc: JUMPDEST 00001bdd: SWAP3 00001bde: POP 00001bdf: PUSH2 0x1bea 00001be2: PUSH1 0x20 00001be4: DUP6 00001be5: ADD 00001be6: PUSH2 0x1a80 00001be9: JUMP 00001bea: JUMPDEST 00001beb: SWAP2 00001bec: POP 00001bed: PUSH1 0x40 00001bef: DUP5 00001bf0: ADD 00001bf1: CALLDATALOAD 00001bf2: PUSH8 0xffffffffffffffff 00001bfb: DUP2 00001bfc: GT 00001bfd: ISZERO 00001bfe: PUSH2 0x1c06 00001c01: JUMPI 00001c02: PUSH1 0x00 00001c04: DUP1 00001c05: REVERT 00001c06: JUMPDEST 00001c07: PUSH2 0x1c12 00001c0a: DUP7 00001c0b: DUP3 00001c0c: DUP8 00001c0d: ADD 00001c0e: PUSH2 0x1b2f 00001c11: JUMP 00001c12: JUMPDEST 00001c13: SWAP2 00001c14: POP 00001c15: POP 00001c16: SWAP3 00001c17: POP 00001c18: SWAP3 00001c19: POP 00001c1a: SWAP3 00001c1b: JUMP 00001c1c: JUMPDEST 00001c1d: PUSH1 0x00 00001c1f: PUSH1 0x20 00001c21: DUP3 00001c22: DUP5 00001c23: SUB 00001c24: SLT 00001c25: ISZERO 00001c26: PUSH2 0x1c2e 00001c29: JUMPI 00001c2a: PUSH1 0x00 00001c2c: DUP1 00001c2d: REVERT 00001c2e: JUMPDEST 00001c2f: DUP2 00001c30: CALLDATALOAD 00001c31: PUSH2 0x1823 00001c34: DUP2 00001c35: PUSH2 0x1a1b 00001c38: JUMP 00001c39: JUMPDEST 00001c3a: PUSH1 0x00 00001c3c: DUP1 00001c3d: PUSH1 0x40 00001c3f: DUP4 00001c40: DUP6 00001c41: SUB 00001c42: SLT 00001c43: ISZERO 00001c44: PUSH2 0x1c4c 00001c47: JUMPI 00001c48: PUSH1 0x00 00001c4a: DUP1 00001c4b: REVERT 00001c4c: JUMPDEST 00001c4d: DUP3 00001c4e: CALLDATALOAD 00001c4f: PUSH2 0x1c57 00001c52: DUP2 00001c53: PUSH2 0x1a1b 00001c56: JUMP 00001c57: JUMPDEST 00001c58: SWAP2 00001c59: POP 00001c5a: PUSH1 0x20 00001c5c: DUP4 00001c5d: ADD 00001c5e: CALLDATALOAD 00001c5f: PUSH8 0xffffffffffffffff 00001c68: DUP2 00001c69: GT 00001c6a: ISZERO 00001c6b: PUSH2 0x1c73 00001c6e: JUMPI 00001c6f: PUSH1 0x00 00001c71: DUP1 00001c72: REVERT 00001c73: JUMPDEST 00001c74: PUSH2 0x1c7f 00001c77: DUP6 00001c78: DUP3 00001c79: DUP7 00001c7a: ADD 00001c7b: PUSH2 0x1b2f 00001c7e: JUMP 00001c7f: JUMPDEST 00001c80: SWAP2 00001c81: POP 00001c82: POP 00001c83: SWAP3 00001c84: POP 00001c85: SWAP3 00001c86: SWAP1 00001c87: POP 00001c88: JUMP 00001c89: JUMPDEST 00001c8a: PUSH1 0x00 00001c8c: DUP1 00001c8d: PUSH1 0x00 00001c8f: DUP1 00001c90: PUSH1 0x00 00001c92: PUSH1 0x80 00001c94: DUP7 00001c95: DUP9 00001c96: SUB 00001c97: SLT 00001c98: ISZERO 00001c99: PUSH2 0x1ca1 00001c9c: JUMPI 00001c9d: PUSH1 0x00 00001c9f: DUP1 00001ca0: REVERT 00001ca1: JUMPDEST 00001ca2: DUP6 00001ca3: CALLDATALOAD 00001ca4: PUSH2 0x1cac 00001ca7: DUP2 00001ca8: PUSH2 0x1a1b 00001cab: JUMP 00001cac: JUMPDEST 00001cad: SWAP5 00001cae: POP 00001caf: PUSH1 0x20 00001cb1: DUP7 00001cb2: ADD 00001cb3: CALLDATALOAD 00001cb4: SWAP4 00001cb5: POP 00001cb6: PUSH1 0x40 00001cb8: DUP7 00001cb9: ADD 00001cba: CALLDATALOAD 00001cbb: PUSH2 0x1cc3 00001cbe: DUP2 00001cbf: PUSH2 0x1a30 00001cc2: JUMP 00001cc3: JUMPDEST 00001cc4: SWAP3 00001cc5: POP 00001cc6: PUSH1 0x60 00001cc8: DUP7 00001cc9: ADD 00001cca: CALLDATALOAD 00001ccb: PUSH8 0xffffffffffffffff 00001cd4: DUP1 00001cd5: DUP3 00001cd6: GT 00001cd7: ISZERO 00001cd8: PUSH2 0x1ce0 00001cdb: JUMPI 00001cdc: PUSH1 0x00 00001cde: DUP1 00001cdf: REVERT 00001ce0: JUMPDEST 00001ce1: DUP2 00001ce2: DUP9 00001ce3: ADD 00001ce4: SWAP2 00001ce5: POP 00001ce6: DUP9 00001ce7: PUSH1 0x1f 00001ce9: DUP4 00001cea: ADD 00001ceb: SLT 00001cec: PUSH2 0x1cf4 00001cef: JUMPI 00001cf0: PUSH1 0x00 00001cf2: DUP1 00001cf3: REVERT 00001cf4: JUMPDEST 00001cf5: DUP2 00001cf6: CALLDATALOAD 00001cf7: DUP2 00001cf8: DUP2 00001cf9: GT 00001cfa: ISZERO 00001cfb: PUSH2 0x1d03 00001cfe: JUMPI 00001cff: PUSH1 0x00 00001d01: DUP1 00001d02: REVERT 00001d03: JUMPDEST 00001d04: DUP10 00001d05: PUSH1 0x20 00001d07: DUP3 00001d08: DUP6 00001d09: ADD 00001d0a: ADD 00001d0b: GT 00001d0c: ISZERO 00001d0d: PUSH2 0x1d15 00001d10: JUMPI 00001d11: PUSH1 0x00 00001d13: DUP1 00001d14: REVERT 00001d15: JUMPDEST 00001d16: SWAP7 00001d17: SWAP10 00001d18: SWAP6 00001d19: SWAP9 00001d1a: POP 00001d1b: SWAP4 00001d1c: SWAP7 00001d1d: POP 00001d1e: PUSH1 0x20 00001d20: ADD 00001d21: SWAP5 00001d22: SWAP4 00001d23: SWAP3 00001d24: POP 00001d25: POP 00001d26: POP 00001d27: JUMP 00001d28: JUMPDEST 00001d29: PUSH1 0x00 00001d2b: JUMPDEST 00001d2c: DUP4 00001d2d: DUP2 00001d2e: LT 00001d2f: ISZERO 00001d30: PUSH2 0x1d43 00001d33: JUMPI 00001d34: DUP2 00001d35: DUP2 00001d36: ADD 00001d37: MLOAD 00001d38: DUP4 00001d39: DUP3 00001d3a: ADD 00001d3b: MSTORE 00001d3c: PUSH1 0x20 00001d3e: ADD 00001d3f: PUSH2 0x1d2b 00001d42: JUMP 00001d43: JUMPDEST 00001d44: POP 00001d45: POP 00001d46: PUSH1 0x00 00001d48: SWAP2 00001d49: ADD 00001d4a: MSTORE 00001d4b: JUMP 00001d4c: JUMPDEST 00001d4d: PUSH1 0x00 00001d4f: DUP2 00001d50: MLOAD 00001d51: DUP1 00001d52: DUP5 00001d53: MSTORE 00001d54: PUSH2 0x1d64 00001d57: DUP2 00001d58: PUSH1 0x20 00001d5a: DUP7 00001d5b: ADD 00001d5c: PUSH1 0x20 00001d5e: DUP7 00001d5f: ADD 00001d60: PUSH2 0x1d28 00001d63: JUMP 00001d64: JUMPDEST 00001d65: PUSH1 0x1f 00001d67: ADD 00001d68: PUSH1 0x1f 00001d6a: NOT 00001d6b: AND 00001d6c: SWAP3 00001d6d: SWAP1 00001d6e: SWAP3 00001d6f: ADD 00001d70: PUSH1 0x20 00001d72: ADD 00001d73: SWAP3 00001d74: SWAP2 00001d75: POP 00001d76: POP 00001d77: JUMP 00001d78: JUMPDEST 00001d79: PUSH4 0xffffffff 00001d7e: DUP6 00001d7f: AND 00001d80: DUP2 00001d81: MSTORE 00001d82: PUSH1 0x01 00001d84: PUSH1 0x01 00001d86: PUSH1 0xa0 00001d88: SHL 00001d89: SUB 00001d8a: DUP5 00001d8b: AND 00001d8c: PUSH1 0x20 00001d8e: DUP3 00001d8f: ADD 00001d90: MSTORE 00001d91: DUP3 00001d92: ISZERO 00001d93: ISZERO 00001d94: PUSH1 0x40 00001d96: DUP3 00001d97: ADD 00001d98: MSTORE 00001d99: PUSH1 0x80 00001d9b: PUSH1 0x60 00001d9d: DUP3 00001d9e: ADD 00001d9f: DUP2 00001da0: SWAP1 00001da1: MSTORE 00001da2: PUSH1 0x00 00001da4: SWAP1 00001da5: PUSH2 0x1973 00001da8: SWAP1 00001da9: DUP4 00001daa: ADD 00001dab: DUP5 00001dac: PUSH2 0x1d4c 00001daf: JUMP 00001db0: JUMPDEST 00001db1: PUSH1 0x20 00001db3: DUP1 00001db4: DUP3 00001db5: MSTORE 00001db6: PUSH1 0x2c 00001db8: SWAP1 00001db9: DUP3 00001dba: ADD 00001dbb: MSTORE 00001dbc: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00001ddd: PUSH1 0x40 00001ddf: DUP3 00001de0: ADD 00001de1: MSTORE 00001de2: PUSH12 0x19195b1959d85d1958d85b1b 00001def: PUSH1 0xa2 00001df1: SHL 00001df2: PUSH1 0x60 00001df4: DUP3 00001df5: ADD 00001df6: MSTORE 00001df7: PUSH1 0x80 00001df9: ADD 00001dfa: SWAP1 00001dfb: JUMP 00001dfc: JUMPDEST 00001dfd: PUSH1 0x20 00001dff: DUP1 00001e00: DUP3 00001e01: MSTORE 00001e02: PUSH1 0x2c 00001e04: SWAP1 00001e05: DUP3 00001e06: ADD 00001e07: MSTORE 00001e08: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00001e29: PUSH1 0x40 00001e2b: DUP3 00001e2c: ADD 00001e2d: MSTORE 00001e2e: PUSH12 0x6163746976652070726f7879 00001e3b: PUSH1 0xa0 00001e3d: SHL 00001e3e: PUSH1 0x60 00001e40: DUP3 00001e41: ADD 00001e42: MSTORE 00001e43: PUSH1 0x80 00001e45: ADD 00001e46: SWAP1 00001e47: JUMP 00001e48: JUMPDEST 00001e49: PUSH1 0x20 00001e4b: DUP1 00001e4c: DUP3 00001e4d: MSTORE 00001e4e: PUSH1 0x09 00001e50: SWAP1 00001e51: DUP3 00001e52: ADD 00001e53: MSTORE 00001e54: PUSH9 0x2727aa2fa0a226a4a7 00001e5e: PUSH1 0xb9 00001e60: SHL 00001e61: PUSH1 0x40 00001e63: DUP3 00001e64: ADD 00001e65: MSTORE 00001e66: PUSH1 0x60 00001e68: ADD 00001e69: SWAP1 00001e6a: JUMP 00001e6b: JUMPDEST 00001e6c: PUSH1 0x00 00001e6e: DUP1 00001e6f: PUSH1 0x40 00001e71: DUP4 00001e72: DUP6 00001e73: SUB 00001e74: SLT 00001e75: ISZERO 00001e76: PUSH2 0x1e7e 00001e79: JUMPI 00001e7a: PUSH1 0x00 00001e7c: DUP1 00001e7d: REVERT 00001e7e: JUMPDEST 00001e7f: DUP3 00001e80: MLOAD 00001e81: PUSH2 0x1e89 00001e84: DUP2 00001e85: PUSH2 0x1a1b 00001e88: JUMP 00001e89: JUMPDEST 00001e8a: PUSH1 0x20 00001e8c: SWAP4 00001e8d: SWAP1 00001e8e: SWAP4 00001e8f: ADD 00001e90: MLOAD 00001e91: SWAP3 00001e92: SWAP5 00001e93: SWAP3 00001e94: SWAP4 00001e95: POP 00001e96: POP 00001e97: POP 00001e98: JUMP 00001e99: JUMPDEST 00001e9a: PUSH1 0x20 00001e9c: DUP1 00001e9d: DUP3 00001e9e: MSTORE 00001e9f: PUSH1 0x2b 00001ea1: SWAP1 00001ea2: DUP3 00001ea3: ADD 00001ea4: MSTORE 00001ea5: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00001ec6: PUSH1 0x40 00001ec8: DUP3 00001ec9: ADD 00001eca: MSTORE 00001ecb: PUSH11 0x6e697469616c697a696e67 00001ed7: PUSH1 0xa8 00001ed9: SHL 00001eda: PUSH1 0x60 00001edc: DUP3 00001edd: ADD 00001ede: MSTORE 00001edf: PUSH1 0x80 00001ee1: ADD 00001ee2: SWAP1 00001ee3: JUMP 00001ee4: JUMPDEST 00001ee5: PUSH1 0x00 00001ee7: PUSH1 0x20 00001ee9: DUP3 00001eea: DUP5 00001eeb: SUB 00001eec: SLT 00001eed: ISZERO 00001eee: PUSH2 0x1ef6 00001ef1: JUMPI 00001ef2: PUSH1 0x00 00001ef4: DUP1 00001ef5: REVERT 00001ef6: JUMPDEST 00001ef7: POP 00001ef8: MLOAD 00001ef9: SWAP2 00001efa: SWAP1 00001efb: POP 00001efc: JUMP 00001efd: JUMPDEST 00001efe: PUSH1 0x00 00001f00: DUP1 00001f01: DUP6 00001f02: DUP6 00001f03: GT 00001f04: ISZERO 00001f05: PUSH2 0x1f0d 00001f08: JUMPI 00001f09: PUSH1 0x00 00001f0b: DUP1 00001f0c: REVERT 00001f0d: JUMPDEST 00001f0e: DUP4 00001f0f: DUP7 00001f10: GT 00001f11: ISZERO 00001f12: PUSH2 0x1f1a 00001f15: JUMPI 00001f16: PUSH1 0x00 00001f18: DUP1 00001f19: REVERT 00001f1a: JUMPDEST 00001f1b: POP 00001f1c: POP 00001f1d: DUP3 00001f1e: ADD 00001f1f: SWAP4 00001f20: SWAP2 00001f21: SWAP1 00001f22: SWAP3 00001f23: SUB 00001f24: SWAP2 00001f25: POP 00001f26: JUMP 00001f27: JUMPDEST 00001f28: PUSH1 0x01 00001f2a: PUSH1 0x01 00001f2c: PUSH1 0xe0 00001f2e: SHL 00001f2f: SUB 00001f30: NOT 00001f31: DUP2 00001f32: CALLDATALOAD 00001f33: DUP2 00001f34: DUP2 00001f35: AND 00001f36: SWAP2 00001f37: PUSH1 0x04 00001f39: DUP6 00001f3a: LT 00001f3b: ISZERO 00001f3c: PUSH2 0x1f4f 00001f3f: JUMPI 00001f40: DUP1 00001f41: DUP2 00001f42: DUP7 00001f43: PUSH1 0x04 00001f45: SUB 00001f46: PUSH1 0x03 00001f48: SHL 00001f49: SHL 00001f4a: DUP4 00001f4b: AND 00001f4c: AND 00001f4d: SWAP3 00001f4e: POP 00001f4f: JUMPDEST 00001f50: POP 00001f51: POP 00001f52: SWAP3 00001f53: SWAP2 00001f54: POP 00001f55: POP 00001f56: JUMP 00001f57: JUMPDEST 00001f58: PUSH1 0x00 00001f5a: DUP1 00001f5b: PUSH1 0x00 00001f5d: DUP1 00001f5e: PUSH1 0x00 00001f60: DUP1 00001f61: PUSH1 0x00 00001f63: PUSH1 0xe0 00001f65: DUP9 00001f66: DUP11 00001f67: SUB 00001f68: SLT 00001f69: ISZERO 00001f6a: PUSH2 0x1f72 00001f6d: JUMPI 00001f6e: PUSH1 0x00 00001f70: DUP1 00001f71: REVERT 00001f72: JUMPDEST 00001f73: DUP8 00001f74: CALLDATALOAD 00001f75: PUSH2 0x1f7d 00001f78: DUP2 00001f79: PUSH2 0x1a1b 00001f7c: JUMP 00001f7d: JUMPDEST 00001f7e: SWAP7 00001f7f: POP 00001f80: PUSH1 0x20 00001f82: DUP9 00001f83: ADD 00001f84: CALLDATALOAD 00001f85: PUSH2 0x1f8d 00001f88: DUP2 00001f89: PUSH2 0x1a1b 00001f8c: JUMP 00001f8d: JUMPDEST 00001f8e: SWAP6 00001f8f: POP 00001f90: PUSH1 0x40 00001f92: DUP9 00001f93: ADD 00001f94: CALLDATALOAD 00001f95: SWAP5 00001f96: POP 00001f97: PUSH1 0x60 00001f99: DUP9 00001f9a: ADD 00001f9b: CALLDATALOAD 00001f9c: SWAP4 00001f9d: POP 00001f9e: PUSH1 0x80 00001fa0: DUP9 00001fa1: ADD 00001fa2: CALLDATALOAD 00001fa3: PUSH1 0xff 00001fa5: DUP2 00001fa6: AND 00001fa7: DUP2 00001fa8: EQ 00001fa9: PUSH2 0x1fb1 00001fac: JUMPI 00001fad: PUSH1 0x00 00001faf: DUP1 00001fb0: REVERT 00001fb1: JUMPDEST 00001fb2: SWAP7 00001fb3: SWAP10 00001fb4: SWAP6 00001fb5: SWAP9 00001fb6: POP 00001fb7: SWAP4 00001fb8: SWAP7 00001fb9: SWAP3 00001fba: SWAP6 00001fbb: SWAP5 00001fbc: PUSH1 0xa0 00001fbe: DUP5 00001fbf: ADD 00001fc0: CALLDATALOAD 00001fc1: SWAP5 00001fc2: POP 00001fc3: PUSH1 0xc0 00001fc5: SWAP1 00001fc6: SWAP4 00001fc7: ADD 00001fc8: CALLDATALOAD 00001fc9: SWAP3 00001fca: SWAP2 00001fcb: POP 00001fcc: POP 00001fcd: JUMP 00001fce: JUMPDEST 00001fcf: PUSH1 0x00 00001fd1: DUP3 00001fd2: MLOAD 00001fd3: PUSH2 0x1fe0 00001fd6: DUP2 00001fd7: DUP5 00001fd8: PUSH1 0x20 00001fda: DUP8 00001fdb: ADD 00001fdc: PUSH2 0x1d28 00001fdf: JUMP 00001fe0: JUMPDEST 00001fe1: SWAP2 00001fe2: SWAP1 00001fe3: SWAP2 00001fe4: ADD 00001fe5: SWAP3 00001fe6: SWAP2 00001fe7: POP 00001fe8: POP 00001fe9: JUMP 00001fea: JUMPDEST 00001feb: PUSH1 0x00 00001fed: PUSH1 0x20 00001fef: DUP3 00001ff0: DUP5 00001ff1: SUB 00001ff2: SLT 00001ff3: ISZERO 00001ff4: PUSH2 0x1ffc 00001ff7: JUMPI 00001ff8: PUSH1 0x00 00001ffa: DUP1 00001ffb: REVERT 00001ffc: JUMPDEST 00001ffd: DUP2 00001ffe: MLOAD 00001fff: PUSH2 0x1823 00002002: DUP2 00002003: PUSH2 0x1a30 00002006: JUMP 00002007: JUMPDEST 00002008: PUSH1 0x20 0000200a: DUP2 0000200b: MSTORE 0000200c: PUSH1 0x00 0000200e: PUSH2 0x1823 00002011: PUSH1 0x20 00002013: DUP4 00002014: ADD 00002015: DUP5 00002016: PUSH2 0x1d4c 00002019: JUMP 0000201a: INVALID 0000201b: CALLDATASIZE 0000201c: ADDMOD 0000201d: SWAP5 0000201e: LOG1 0000201f: EXTCODESIZE 00002020: LOG1 00002021: LOG3 00002022: UNKNOWN(0x21) 00002023: MOD 00002024: PUSH8 0xc828492db98dca3e 0000202d: KECCAK256 0000202e: PUSH23 0xcc3735a920a3ca505d382bbc416464726573733a206c6f 00002046: PUSH24 0x2d6c6576656c2064656c65676174652063616c6c20666169 0000205f: PUSH13 0x6564a264697066735822122068 0000206d: UNKNOWN(0xED) 0000206e: UNKNOWN(0xC8) 0000206f: RETURNDATASIZE 00002070: MUL 00002071: MULMOD 00002072: MOD 00002073: UNKNOWN(0xE2) 00002074: RETURNDATACOPY 00002075: UNKNOWN(0xCE) 00002076: BASEFEE 00002077: COINBASE 00002078: SWAP2 00002079: SWAP5 0000207a: UNKNOWN(0x0E) 0000207b: UNKNOWN(0xD0) 0000207c: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x1beccd2b7c3efba247c930bca8a5c3b4fc512c7c9f8fa8254655c5d20024da07
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x1beccd2b7c3efba247c930bca8a5c3b4fc512c7c9f8fa8254655c5d20024da07",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x988d3898",
"selector": "0x988d3898",
"calldata_variants": [
"0x988d3898",
"0x988d38980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa282c46e",
"selector": "0xa282c46e",
"calldata_variants": [
"0xa282c46e",
"0xa282c46e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f73669",
"selector": "0xa6f73669",
"calldata_variants": [
"0xa6f73669",
"0xa6f736690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe78cea92",
"selector": "0xe78cea92",
"calldata_variants": [
"0xe78cea92",
"0xe78cea920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x726dc60b",
"selector": "0x726dc60b",
"calldata_variants": [
"0x726dc60b",
"0x726dc60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6446,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | upgradeability | codex | Initializer and upgrade authorization depend on the ERC1967 admin slot, which is unset/unreachable in typical UUPS deployments | 85 | no | — |
viewevidence_json{
"evidence": "`onlyAdmin` gates both `_authorizeUpgrade` and `initialize`, but the admin slot is not set anywhere before `initialize`; UUPS proxies do not set the admin slot by default, so `onlyAdmin` will fail and initialization/upgrades are blocked.",
"locations": [
"contracts/Contract.sol:1526",
"contracts/Contract.sol:1531",
"contracts/Contract.sol:1672"
],
"recommendation": "Align the access control with the intended proxy type. For UUPS, replace `onlyAdmin` with an owner/role check stored in implementation state (e.g., `onlyOwner`/AccessControl) and allow `initialize` to be called by the deployer; or explicitly set the admin slot during deployment and avoid transparent proxies if relying on `onlyAdmin` in the implementation. Consider using OZ\u2019s recommended UUPS pattern: `initialize` with `initializer` + `_authorizeUpgrade` using `onlyOwner`.",
"exploit_scenario": "If the proxy is deployed as a standard UUPS/`ERC1967Proxy`, the admin slot is never initialized, so `onlyAdmin` always fails. This makes `initialize` uncallable and permanently bricks the proxy (owner/admin/bridge/token never set). If a TransparentUpgradeableProxy is used instead, the admin cannot reach implementation functions due to the transparent proxy guard, so `upgradeTo`/`changeAdmin` in the implementation become unreachable, effectively disabling upgrades."
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc9d9cdb16822e75a209929bfe781e0e4bec1991a305fc1a0b22fa8aae63447f3
call_targets:
0xa4e6762eaaf259da74696f46faaf79ba9dde14e6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc9d9cdb16822e75a209929bfe781e0e4bec1991a305fc1a0b22fa8aae63447f3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa4e6762eaaf259da74696f46faaf79ba9dde14e6"
],
"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": "0x988d3898",
"selector": "0x988d3898",
"calldata_variants": [
"0x988d3898",
"0x988d38980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa282c46e",
"selector": "0xa282c46e",
"calldata_variants": [
"0xa282c46e",
"0xa282c46e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f73669",
"selector": "0xa6f73669",
"calldata_variants": [
"0xa6f73669",
"0xa6f736690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe78cea92",
"selector": "0xe78cea92",
"calldata_variants": [
"0xe78cea92",
"0xe78cea920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x726dc60b",
"selector": "0x726dc60b",
"calldata_variants": [
"0x726dc60b",
"0x726dc60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1151,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5072,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6324,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc9d9cdb16822e75a209929bfe781e0e4bec1991a305fc1a0b22fa8aae63447f3
call_targets:
0xa4e6762eaaf259da74696f46faaf79ba9dde14e6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc9d9cdb16822e75a209929bfe781e0e4bec1991a305fc1a0b22fa8aae63447f3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa4e6762eaaf259da74696f46faaf79ba9dde14e6"
],
"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": "0x988d3898",
"selector": "0x988d3898",
"calldata_variants": [
"0x988d3898",
"0x988d38980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa282c46e",
"selector": "0xa282c46e",
"calldata_variants": [
"0xa282c46e",
"0xa282c46e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f73669",
"selector": "0xa6f73669",
"calldata_variants": [
"0xa6f73669",
"0xa6f736690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe78cea92",
"selector": "0xe78cea92",
"calldata_variants": [
"0xe78cea92",
"0xe78cea920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x726dc60b",
"selector": "0x726dc60b",
"calldata_variants": [
"0x726dc60b",
"0x726dc60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1151,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5072,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6324,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 5
}
|