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

Analysis Run

4569b6c8-4f2a-475a-a123-61c4c377a66f

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
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

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
1
No findings?
no
Summary
1 high-severity upgradeability issue identified.
View stderr
[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"]}]}
Metadata
{
    "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
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
5
Total opcodes
4754
Flags
delegatecall_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 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

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 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
view
evidence_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
view
trace_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
view
trace_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
view
evidence_json
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 5
}