Analysis Run

[codex:579828] OpenAI Codex v0.77.0 (research preview)
[codex:579828] --------
[codex:579828] workdir: /tmp/codex-multi-47i4nn87
[codex:579828] model: gpt-5.2-codex
[codex:579828] provider: openai
[codex:579828] approval: never
[codex:579828] sandbox: read-only
[codex:579828] reasoning effort: xhigh
[codex:579828] reasoning summaries: auto
[codex:579828] session id: 019b886d-4829-7762-9765-7ab8ad2eda2c
[codex:579828] --------
[codex:579828] user
[codex:579828] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:579828] 
[codex:579828] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:579828] 
[codex:579828] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:579828] - Gas inefficiency, code quality, naming, or best practices
[codex:579828] - Theoretical vulnerabilities without a clear extraction path
[codex:579828] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:579828] - Front-running unless it enables theft beyond MEV
[codex:579828] - DoS, griefing, or issues that don't result in attacker profit
[codex:579828] - Missing events, view function issues, or informational findings
[codex:579828] 
[codex:579828] HIGH-VALUE PATTERNS TO HUNT:
[codex:579828] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:579828] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:579828] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:579828] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:579828] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:579828] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:579828] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:579828] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:579828] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:579828] 
[codex:579828] For each finding, you MUST provide:
[codex:579828] 1. Exact file and line numbers of vulnerable code
[codex:579828] 2. Step-by-step exploit transaction sequence
[codex:579828] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:579828] 
[codex:579828] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:579828] 
[codex:579828] Output MUST be valid JSON matching the provided schema.
[codex:579828] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:579828] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:579828] mcp startup: no servers
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Reviewing instructions and AUDIT_BUNDLE**
[codex:579828] exec
[codex:579828] /bin/bash -lc ls in /tmp/codex-multi-47i4nn87 succeeded in 5ms:
[codex:579828] AUDIT_BUNDLE.txt
[codex:579828] codex-output-schema.json
[codex:579828] contracts
[codex:579828] exec
[codex:579828] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-47i4nn87 succeeded in 6ms:
[codex:579828] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:579828] 
[codex:579828] ================================================================================
[codex:579828] FILE: contracts/@skalenetwork/ima-interfaces/IGasReimbursable.sol
[codex:579828] ================================================================================
[codex:579828] // SPDX-License-Identifier: AGPL-3.0-only
[codex:579828] 
[codex:579828] /**
[codex:579828]  *   IGasReimbursable.sol - SKALE Interchain Messaging Agent
[codex:579828]  *   Copyright (C) 2021-Present SKALE Labs
[codex:579828]  *   @author Artem Payvin
[codex:579828]  *
[codex:579828]  *   SKALE IMA is free software: you can redistribute it and/or modify
[codex:579828]  *   it under the terms of the GNU Affero General Public License as published
[codex:579828]  *   by the Free Software Foundation, either version 3 of the License, or
[codex:579828]  *   (at your option) any later version.
[codex:579828]  *
[codex:579828]  *   SKALE IMA is distributed in the hope that it will be useful,
[codex:579828]  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:579828]  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Searching for contract implementations**
[codex:579828] exec
[codex:579828] /bin/bash -lc 'rg -n "contract" AUDIT_BUNDLE.txt | head' in /tmp/codex-multi-47i4nn87 succeeded in 7ms:
[codex:579828] 4:FILE: contracts/@skalenetwork/ima-interfaces/IGasReimbursable.sol
[codex:579828] 43:FILE: contracts/@skalenetwork/ima-interfaces/IMessageProxy.sol
[codex:579828] 73:     * destination contract on schain that will receiver message,
[codex:579828] 113:        address contractAddress
[codex:579828] 131:FILE: contracts/@skalenetwork/ima-interfaces/IMessageReceiver.sol
[codex:579828] 167:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/DepositBoxes/IDepositBoxEth.sol
[codex:579828] 206:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/ICommunityPool.sol
[codex:579828] 241:        IContractManager contractManagerOfSkaleManagerValue,
[codex:579828] 261:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/IDepositBox.sol
[codex:579828] 297:        IContractManager contractManagerOfSkaleManagerValue,
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Searching for additional bundle files**
[codex:579828] exec
[codex:579828] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-47i4nn87 succeeded in 6ms:
[codex:579828] 4:FILE: contracts/@skalenetwork/ima-interfaces/IGasReimbursable.sol
[codex:579828] 43:FILE: contracts/@skalenetwork/ima-interfaces/IMessageProxy.sol
[codex:579828] 131:FILE: contracts/@skalenetwork/ima-interfaces/IMessageReceiver.sol
[codex:579828] 167:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/DepositBoxes/IDepositBoxEth.sol
[codex:579828] 206:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/ICommunityPool.sol
[codex:579828] 261:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/IDepositBox.sol
[codex:579828] 307:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/ILinker.sol
[codex:579828] 347:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/IMessageProxyForMainnet.sol
[codex:579828] 398:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/ISkaleManagerClient.sol
[codex:579828] 433:FILE: contracts/@skalenetwork/ima-interfaces/mainnet/ITwin.sol
[codex:579828] 468:FILE: contracts/@skalenetwork/skale-manager-interfaces/IContractManager.sol
[codex:579828] 514:FILE: contracts/@skalenetwork/skale-manager-interfaces/ISchains.sol
[codex:579828] 628:FILE: contracts/@skalenetwork/skale-manager-interfaces/ISchainsInternal.sol
[codex:579828] 746:FILE: contracts/@skalenetwork/skale-manager-interfaces/IWallets.sol
[codex:579828] 815:FILE: contracts/contracts/MessageProxy.sol
[codex:579828] 1399:FILE: contracts/contracts/Messages.sol
[codex:579828] 2093:FILE: contracts/contracts/mainnet/CommunityPool.sol
[codex:579828] 2379:FILE: contracts/contracts/mainnet/DepositBox.sol
[codex:579828] 2503:FILE: contracts/contracts/mainnet/DepositBoxes/DepositBoxEth.sol
[codex:579828] 2763:FILE: contracts/contracts/mainnet/MessageProxyForMainnet.sol
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Preparing to analyze key contracts for vulnerabilities**
[codex:579828] exec
[codex:579828] /bin/bash -lc 'ls contracts/contracts/mainnet' in /tmp/codex-multi-47i4nn87 succeeded in 5ms:
[codex:579828] CommunityPool.sol
[codex:579828] DepositBoxes
[codex:579828] DepositBox.sol
[codex:579828] MessageProxyForMainnet.sol
[codex:579828] SkaleManagerClient.sol
[codex:579828] Twin.sol
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Opening DepositBox.sol file**
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '1,220p' contracts/contracts/mainnet/DepositBox.sol" in /tmp/codex-multi-47i4nn87 succeeded in 5ms:
[codex:579828] // SPDX-License-Identifier: AGPL-3.0-only
[codex:579828] 
[codex:579828] /**
[codex:579828]  *   DepositBox.sol - SKALE Interchain Messaging Agent
[codex:579828]  *   Copyright (C) 2021-Present SKALE Labs
[codex:579828]  *   @author Artem Payvin
[codex:579828]  *   @author Dmytro Stebaiev
[codex:579828]  *
[codex:579828]  *   SKALE IMA is free software: you can redistribute it and/or modify
[codex:579828]  *   it under the terms of the GNU Affero General Public License as published
[codex:579828]  *   by the Free Software Foundation, either version 3 of the License, or
[codex:579828]  *   (at your option) any later version.
[codex:579828]  *
[codex:579828]  *   SKALE IMA is distributed in the hope that it will be useful,
[codex:579828]  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:579828]  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:579828]  *   GNU Affero General Public License for more details.
[codex:579828]  *
[codex:579828]  *   You should have received a copy of the GNU Affero General Public License
[codex:579828]  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Reviewing DepositBox abstraction**
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '1,260p' contracts/contracts/mainnet/DepositBoxes/DepositBoxEth.sol" in /tmp/codex-multi-47i4nn87 succeeded in 5ms:
[codex:579828] // SPDX-License-Identifier: AGPL-3.0-only
[codex:579828] 
[codex:579828] /**
[codex:579828]  *   DepositBoxEth.sol - SKALE Interchain Messaging Agent
[codex:579828]  *   Copyright (C) 2019-Present SKALE Labs
[codex:579828]  *   @author Artem Payvin
[codex:579828]  *
[codex:579828]  *   SKALE IMA is free software: you can redistribute it and/or modify
[codex:579828]  *   it under the terms of the GNU Affero General Public License as published
[codex:579828]  *   by the Free Software Foundation, either version 3 of the License, or
[codex:579828]  *   (at your option) any later version.
[codex:579828]  *
[codex:579828]  *   SKALE IMA is distributed in the hope that it will be useful,
[codex:579828]  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:579828]  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:579828]  *   GNU Affero General Public License for more details.
[codex:579828]  *
[codex:579828]  *   You should have received a copy of the GNU Affero General Public License
[codex:579828]  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
[codex:579828]  */
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Analyzing potential reentrancy issues**
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '1,260p' contracts/contracts/mainnet/CommunityPool.sol" in /tmp/codex-multi-47i4nn87 succeeded in 5ms:
[codex:579828] // SPDX-License-Identifier: AGPL-3.0-only
[codex:579828] 
[codex:579828] /*
[codex:579828]     CommunityPool.sol - SKALE Manager
[codex:579828]     Copyright (C) 2021-Present SKALE Labs
[codex:579828]     @author Dmytro Stebaiev
[codex:579828]     @author Artem Payvin
[codex:579828]     @author Vadim Yavorsky
[codex:579828] 
[codex:579828]     SKALE Manager is free software: you can redistribute it and/or modify
[codex:579828]     it under the terms of the GNU Affero General Public License as published
[codex:579828]     by the Free Software Foundation, either version 3 of the License, or
[codex:579828]     (at your option) any later version.
[codex:579828] 
[codex:579828]     SKALE Manager is distributed in the hope that it will be useful,
[codex:579828]     but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:579828]     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:579828]     GNU Affero General Public License for more details.
[codex:579828] 
[codex:579828]     You should have received a copy of the GNU Affero General Public License
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '260,520p' contracts/contracts/mainnet/CommunityPool.sol" in /tmp/codex-multi-47i4nn87 succeeded in 5ms:
[codex:579828]         external
[codex:579828]         view
[codex:579828]         override
[codex:579828]         returns (uint256)
[codex:579828]     {
[codex:579828]         uint256 currentValue = _multiplyOnAdaptedBaseFee(minTransactionGas);
[codex:579828]         if (currentValue  <= _userWallets[receiver][schainHash]) {
[codex:579828]             return 0;
[codex:579828]         }
[codex:579828]         return currentValue - _userWallets[receiver][schainHash];
[codex:579828]     }
[codex:579828] 
[codex:579828]     /**
[codex:579828]      * @dev Checks whether user wallet was recharged for sufficient amount.
[codex:579828]      */
[codex:579828]     function _balanceIsSufficient(bytes32 schainHash, address receiver, uint256 delta) private view returns (bool) {
[codex:579828]         return delta + _userWallets[receiver][schainHash] >= minTransactionGas * tx.gasprice;
[codex:579828]     }
[codex:579828] 
[codex:579828]     function _multiplyOnAdaptedBaseFee(uint256 value) private view returns (uint256) {
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Analyzing reentrancy and access controls**
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '1,260p' contracts/contracts/mainnet/MessageProxyForMainnet.sol" in /tmp/codex-multi-47i4nn87 succeeded in 6ms:
[codex:579828] // SPDX-License-Identifier: AGPL-3.0-only
[codex:579828] 
[codex:579828] /**
[codex:579828]  *   MessageProxyForMainnet.sol - SKALE Interchain Messaging Agent
[codex:579828]  *   Copyright (C) 2019-Present SKALE Labs
[codex:579828]  *   @author Artem Payvin
[codex:579828]  *
[codex:579828]  *   SKALE IMA is free software: you can redistribute it and/or modify
[codex:579828]  *   it under the terms of the GNU Affero General Public License as published
[codex:579828]  *   by the Free Software Foundation, either version 3 of the License, or
[codex:579828]  *   (at your option) any later version.
[codex:579828]  *
[codex:579828]  *   SKALE IMA is distributed in the hope that it will be useful,
[codex:579828]  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:579828]  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:579828]  *   GNU Affero General Public License for more details.
[codex:579828]  *
[codex:579828]  *   You should have received a copy of the GNU Affero General Public License
[codex:579828]  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
[codex:579828]  */
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '260,620p' contracts/contracts/mainnet/MessageProxyForMainnet.sol" in /tmp/codex-multi-47i4nn87 succeeded in 5ms:
[codex:579828]         bytes32 schainHash = keccak256(abi.encodePacked(schainName));
[codex:579828]         require(schainHash != MAINNET_HASH, "Schain hash can not be equal Mainnet");
[codex:579828]         require(
[codex:579828]             hasRole(EXTRA_CONTRACT_REGISTRAR_ROLE, msg.sender) ||
[codex:579828]             isSchainOwner(msg.sender, schainHash),
[codex:579828]             "Not enough permissions to remove reimbursed contract"
[codex:579828]         );
[codex:579828]         require(_reimbursedContracts[schainHash].contains(reimbursedContract), "Reimbursed contract is not added");
[codex:579828]         _removeReimbursedContract(schainHash, reimbursedContract);
[codex:579828]     }
[codex:579828] 
[codex:579828]     /**
[codex:579828]      * @dev Posts incoming message from `fromSchainName`.
[codex:579828]      *
[codex:579828]      * Requirements:
[codex:579828]      *
[codex:579828]      * - `msg.sender` must be authorized caller.
[codex:579828]      * - `fromSchainName` must be initialized.
[codex:579828]      * - `startingCounter` must be equal to the chain's incoming message counter.
[codex:579828]      * - If destination chain is Mainnet, message signature must be valid.
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Evaluating access controls on chain addition**
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '1,260p' contracts/contracts/MessageProxy.sol" in /tmp/codex-multi-47i4nn87 succeeded in 7ms:
[codex:579828] // SPDX-License-Identifier: AGPL-3.0-only
[codex:579828] 
[codex:579828] /**
[codex:579828]  *   MessageProxy.sol - SKALE Interchain Messaging Agent
[codex:579828]  *   Copyright (C) 2021-Present SKALE Labs
[codex:579828]  *   @author Dmytro Stebaiev
[codex:579828]  *
[codex:579828]  *   SKALE IMA is free software: you can redistribute it and/or modify
[codex:579828]  *   it under the terms of the GNU Affero General Public License as published
[codex:579828]  *   by the Free Software Foundation, either version 3 of the License, or
[codex:579828]  *   (at your option) any later version.
[codex:579828]  *
[codex:579828]  *   SKALE IMA is distributed in the hope that it will be useful,
[codex:579828]  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:579828]  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:579828]  *   GNU Affero General Public License for more details.
[codex:579828]  *
[codex:579828]  *   You should have received a copy of the GNU Affero General Public License
[codex:579828]  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
[codex:579828]  */
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '260,520p' contracts/contracts/MessageProxy.sol" in /tmp/codex-multi-47i4nn87 succeeded in 5ms:
[codex:579828] 
[codex:579828] 
[codex:579828]     /**
[codex:579828]      * @dev Should return block number of the last message transferred to schain
[codex:579828]      */
[codex:579828]     function getLastOutgoingMessageBlockId(string memory targetSchainName) external view override returns (uint) {
[codex:579828]         bytes32 dstChainHash = keccak256(abi.encodePacked(targetSchainName));
[codex:579828]         require(connectedChains[dstChainHash].inited, "Destination chain is not initialized");
[codex:579828]         return connectedChains[dstChainHash].lastOutgoingMessageBlockId;
[codex:579828]     }
[codex:579828] 
[codex:579828]     /**
[codex:579828]      * @dev Returns number of incoming messages.
[codex:579828]      *
[codex:579828]      * Requirements:
[codex:579828]      *
[codex:579828]      * - Source schain must be initialized.
[codex:579828]      */
[codex:579828]     function getIncomingMessagesCounter(string calldata fromSchainName)
[codex:579828]         external
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '520,1040p' contracts/contracts/MessageProxy.sol" in /tmp/codex-multi-47i4nn87 succeeded in 5ms:
[codex:579828]             return address(0);
[codex:579828]         }
[codex:579828]     }
[codex:579828] 
[codex:579828]     /**
[codex:579828]      * @dev Checks whether msg.sender is registered as custom extra contract.
[codex:579828]      */
[codex:579828]     function _authorizeOutgoingMessageSender(bytes32 targetChainHash) internal view virtual {
[codex:579828]         require(
[codex:579828]             isContractRegistered(bytes32(0), msg.sender) || isContractRegistered(targetChainHash, msg.sender),
[codex:579828]             "Sender contract is not registered"
[codex:579828]         );
[codex:579828]     }
[codex:579828] 
[codex:579828]     /**
[codex:579828]      * @dev Returns list of registered custom extra contracts.
[codex:579828]      */
[codex:579828]     function _getRegistryContracts()
[codex:579828]         internal
[codex:579828]         view
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Checking MessageProxy and Messages library**
[codex:579828] exec
[codex:579828] /bin/bash -lc "sed -n '1,260p' contracts/contracts/Messages.sol" in /tmp/codex-multi-47i4nn87 succeeded in 6ms:
[codex:579828] // SPDX-License-Identifier: AGPL-3.0-only
[codex:579828] 
[codex:579828] /**
[codex:579828]  *   Messages.sol - SKALE Interchain Messaging Agent
[codex:579828]  *   Copyright (C) 2021-Present SKALE Labs
[codex:579828]  *   @author Dmytro Stebaiev
[codex:579828]  *
[codex:579828]  *   SKALE IMA is free software: you can redistribute it and/or modify
[codex:579828]  *   it under the terms of the GNU Affero General Public License as published
[codex:579828]  *   by the Free Software Foundation, either version 3 of the License, or
[codex:579828]  *   (at your option) any later version.
[codex:579828]  *
[codex:579828]  *   SKALE IMA is distributed in the hope that it will be useful,
[codex:579828]  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:579828]  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:579828]  *   GNU Affero General Public License for more details.
[codex:579828]  *
[codex:579828]  *   You should have received a copy of the GNU Affero General Public License
[codex:579828]  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
[codex:579828]  */
[codex:579828] 
[codex:579828] 
[codex:579828] 
[codex:579828] thinking
[codex:579828] **Analyzing potential contract vulnerabilities**
[codex:579828] 
[codex:579828] I’m thoroughly investigating various access controls and message flows around the DepositBox, CommunityPool, and MessageProxy contracts to spot any exploit paths that could let an attacker profit, like withdrawing funds without authorization. I’m checking signature verification, message encoding tricks, reentrancy risks, initialization protections, and possible mismatches in accounting logic—but so far, the restrictions and safeguards seem to hold up under scrutiny, with no clear exploit found.
[codex:579828] thinking
[codex:579828] **Evaluating detailed message and fund flow logic**
[codex:579828] 
[codex:579828] I'm carefully verifying access controls, message decoding, and fund transfer logic to identify any concrete ways an attacker could manipulate deposits, approvals, or message signatures for illicit profit. The analysis digs into recursive message type checks, role restrictions, reentrancy protections, and nuanced edge cases with deposited ETH flow and cross-chain message authenticity—highlighting some interesting trust assumptions but no obvious immediate exploit paths.
[codex:579828] thinking
[codex:579828] **Reviewing cross-chain deposit and withdrawal logic**
[codex:579828] 
[codex:579828] I'm evaluating how deposits on mainnet map to withdrawals on schains, focusing on trust assumptions with schain contracts and message signature checks. The controls ensure only authorized schain contracts can withdraw pooled ETH, and replay protections prevent message misuse. After thorough checks across relevant contracts, I find no concrete exploit path to profit from the code as provided.
[codex:579828] codex
[codex:579828] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided contracts.","findings":[]}
[codex:579828] tokens used
[codex:579828] 72,698
[codex:579828] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T09:57:44.645816+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path identified in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path identified in the provided contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0229
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x884cee5a
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb2a026d1
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc80493cf
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc80493cf
0000003a: EQ
0000003b: PUSH2 0x0708
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xca15c873
00000045: EQ
00000046: PUSH2 0x072a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd547741f
00000050: EQ
00000051: PUSH2 0x074a
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf37b9514
0000005b: EQ
0000005c: PUSH2 0x076a
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf7afd438
00000066: EQ
00000067: PUSH2 0x078a
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb2a026d1
00000076: EQ
00000077: PUSH2 0x0665
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xb48eea44
00000081: EQ
00000082: PUSH2 0x0678
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb8a60d38
0000008c: EQ
0000008d: PUSH2 0x0698
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc0c53b8b
00000097: EQ
00000098: PUSH2 0x06c8
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc4d66de8
000000a2: EQ
000000a3: PUSH2 0x06e8
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0xa217fddf
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa217fddf
000000bd: EQ
000000be: PUSH2 0x05dd
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa26e1186
000000c8: EQ
000000c9: PUSH2 0x05f2
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa5eeb92e
000000d3: EQ
000000d4: PUSH2 0x0605
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa69cc360
000000de: EQ
000000df: PUSH2 0x0625
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xb0cba84e
000000e9: EQ
000000ea: PUSH2 0x0645
000000ed: JUMPI
000000ee: PUSH1 0x00
000000f0: DUP1
000000f1: REVERT
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x884cee5a
000000f9: EQ
000000fa: PUSH2 0x055d
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x8cdbdce0
00000104: EQ
00000105: PUSH2 0x057d
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x9010d07c
0000010f: EQ
00000110: PUSH2 0x059d
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x91d14854
0000011a: EQ
0000011b: PUSH2 0x05bd
0000011e: JUMPI
0000011f: PUSH1 0x00
00000121: DUP1
00000122: REVERT
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x410ec2e2
0000012a: GT
0000012b: PUSH2 0x01b1
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x5647d689
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x5647d689
00000140: EQ
00000141: PUSH2 0x048d
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x5c75f49d
0000014b: EQ
0000014c: PUSH2 0x04ba
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x6652342b
00000156: EQ
00000157: PUSH2 0x04da
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x6cfc7d64
00000161: EQ
00000162: PUSH2 0x0507
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x7259c116
0000016c: EQ
0000016d: PUSH2 0x053d
00000170: JUMPI
00000171: PUSH1 0x00
00000173: DUP1
00000174: REVERT
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x410ec2e2
0000017c: EQ
0000017d: PUSH2 0x03ed
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x468eaa29
00000187: EQ
00000188: PUSH2 0x040d
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x485cc955
00000192: EQ
00000193: PUSH2 0x042d
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x48c85abf
0000019d: EQ
0000019e: PUSH2 0x044d
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x5573b8b6
000001a8: EQ
000001a9: PUSH2 0x046d
000001ac: JUMPI
000001ad: PUSH1 0x00
000001af: DUP1
000001b0: REVERT
000001b1: JUMPDEST
000001b2: DUP1
000001b3: PUSH4 0x248a9ca3
000001b8: GT
000001b9: PUSH2 0x01f8
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x248a9ca3
000001c3: EQ
000001c4: PUSH2 0x031b
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x2dc726bd
000001ce: EQ
000001cf: PUSH2 0x0359
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x2f2ff15d
000001d9: EQ
000001da: PUSH2 0x038d
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x36568abe
000001e4: EQ
000001e5: PUSH2 0x03ad
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x3f478628
000001ef: EQ
000001f0: PUSH2 0x03cd
000001f3: JUMPI
000001f4: PUSH1 0x00
000001f6: DUP1
000001f7: REVERT
000001f8: JUMPDEST
000001f9: DUP1
000001fa: PUSH4 0x01ffc9a7
000001ff: EQ
00000200: PUSH2 0x0277
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x0bfb82a1
0000020a: EQ
0000020b: PUSH2 0x02ac
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x0d0b79a4
00000215: EQ
00000216: PUSH2 0x02c3
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x23dc68d1
00000220: EQ
00000221: PUSH2 0x02fb
00000224: JUMPI
00000225: PUSH1 0x00
00000227: DUP1
00000228: REVERT
00000229: JUMPDEST
0000022a: CALLDATASIZE
0000022b: PUSH2 0x0272
0000022e: JUMPI
0000022f: PUSH1 0x40
00000231: MLOAD
00000232: PUSH3 0x461bcd
00000236: PUSH1 0xe5
00000238: SHL
00000239: DUP2
0000023a: MSTORE
0000023b: PUSH1 0x20
0000023d: PUSH1 0x04
0000023f: DUP3
00000240: ADD
00000241: MSTORE
00000242: PUSH1 0x14
00000244: PUSH1 0x24
00000246: DUP3
00000247: ADD
00000248: MSTORE
00000249: PUSH20 0x2ab9b2903232b837b9b4ba10333ab731ba34b7b7
0000025e: PUSH1 0x61
00000260: SHL
00000261: PUSH1 0x44
00000263: DUP3
00000264: ADD
00000265: MSTORE
00000266: PUSH1 0x64
00000268: ADD
00000269: JUMPDEST
0000026a: PUSH1 0x40
0000026c: MLOAD
0000026d: DUP1
0000026e: SWAP2
0000026f: SUB
00000270: SWAP1
00000271: REVERT
00000272: JUMPDEST
00000273: PUSH1 0x00
00000275: DUP1
00000276: REVERT
00000277: JUMPDEST
00000278: CALLVALUE
00000279: DUP1
0000027a: ISZERO
0000027b: PUSH2 0x0283
0000027e: JUMPI
0000027f: PUSH1 0x00
00000281: DUP1
00000282: REVERT
00000283: JUMPDEST
00000284: POP
00000285: PUSH2 0x0297
00000288: PUSH2 0x0292
0000028b: CALLDATASIZE
0000028c: PUSH1 0x04
0000028e: PUSH2 0x2801
00000291: JUMP
00000292: JUMPDEST
00000293: PUSH2 0x07aa
00000296: JUMP
00000297: JUMPDEST
00000298: PUSH1 0x40
0000029a: MLOAD
0000029b: SWAP1
0000029c: ISZERO
0000029d: ISZERO
0000029e: DUP2
0000029f: MSTORE
000002a0: PUSH1 0x20
000002a2: ADD
000002a3: JUMPDEST
000002a4: PUSH1 0x40
000002a6: MLOAD
000002a7: DUP1
000002a8: SWAP2
000002a9: SUB
000002aa: SWAP1
000002ab: RETURN
000002ac: JUMPDEST
000002ad: CALLVALUE
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH2 0x02c1
000002bd: PUSH2 0x07d5
000002c0: JUMP
000002c1: JUMPDEST
000002c2: STOP
000002c3: JUMPDEST
000002c4: CALLVALUE
000002c5: DUP1
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: POP
000002d1: PUSH1 0xcc
000002d3: SLOAD
000002d4: PUSH2 0x02e3
000002d7: SWAP1
000002d8: PUSH1 0x01
000002da: PUSH1 0x01
000002dc: PUSH1 0xa0
000002de: SHL
000002df: SUB
000002e0: AND
000002e1: DUP2
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x40
000002e6: MLOAD
000002e7: PUSH1 0x01
000002e9: PUSH1 0x01
000002eb: PUSH1 0xa0
000002ed: SHL
000002ee: SUB
000002ef: SWAP1
000002f0: SWAP2
000002f1: AND
000002f2: DUP2
000002f3: MSTORE
000002f4: PUSH1 0x20
000002f6: ADD
000002f7: PUSH2 0x02a3
000002fa: JUMP
000002fb: JUMPDEST
000002fc: CALLVALUE
000002fd: DUP1
000002fe: ISZERO
000002ff: PUSH2 0x0307
00000302: JUMPI
00000303: PUSH1 0x00
00000305: DUP1
00000306: REVERT
00000307: JUMPDEST
00000308: POP
00000309: PUSH2 0x02c1
0000030c: PUSH2 0x0316
0000030f: CALLDATASIZE
00000310: PUSH1 0x04
00000312: PUSH2 0x2889
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH2 0x0853
0000031a: JUMP
0000031b: JUMPDEST
0000031c: CALLVALUE
0000031d: DUP1
0000031e: ISZERO
0000031f: PUSH2 0x0327
00000322: JUMPI
00000323: PUSH1 0x00
00000325: DUP1
00000326: REVERT
00000327: JUMPDEST
00000328: POP
00000329: PUSH2 0x034b
0000032c: PUSH2 0x0336
0000032f: CALLDATASIZE
00000330: PUSH1 0x04
00000332: PUSH2 0x28e0
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH1 0x00
00000339: SWAP1
0000033a: DUP2
0000033b: MSTORE
0000033c: PUSH1 0x65
0000033e: PUSH1 0x20
00000340: MSTORE
00000341: PUSH1 0x40
00000343: SWAP1
00000344: KECCAK256
00000345: PUSH1 0x01
00000347: ADD
00000348: SLOAD
00000349: SWAP1
0000034a: JUMP
0000034b: JUMPDEST
0000034c: PUSH1 0x40
0000034e: MLOAD
0000034f: SWAP1
00000350: DUP2
00000351: MSTORE
00000352: PUSH1 0x20
00000354: ADD
00000355: PUSH2 0x02a3
00000358: JUMP
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: DUP1
0000035c: ISZERO
0000035d: PUSH2 0x0365
00000360: JUMPI
00000361: PUSH1 0x00
00000363: DUP1
00000364: REVERT
00000365: JUMPDEST
00000366: POP
00000367: PUSH2 0x034b
0000036a: PUSH32 0xadc0611617a946881d948c7506bdf0975adbe0cfb172896a62eb6a75f21f2ff9
0000038b: DUP2
0000038c: JUMP
0000038d: JUMPDEST
0000038e: CALLVALUE
0000038f: DUP1
00000390: ISZERO
00000391: PUSH2 0x0399
00000394: JUMPI
00000395: PUSH1 0x00
00000397: DUP1
00000398: REVERT
00000399: JUMPDEST
0000039a: POP
0000039b: PUSH2 0x02c1
0000039e: PUSH2 0x03a8
000003a1: CALLDATASIZE
000003a2: PUSH1 0x04
000003a4: PUSH2 0x28f9
000003a7: JUMP
000003a8: JUMPDEST
000003a9: PUSH2 0x09f0
000003ac: JUMP
000003ad: JUMPDEST
000003ae: CALLVALUE
000003af: DUP1
000003b0: ISZERO
000003b1: PUSH2 0x03b9
000003b4: JUMPI
000003b5: PUSH1 0x00
000003b7: DUP1
000003b8: REVERT
000003b9: JUMPDEST
000003ba: POP
000003bb: PUSH2 0x02c1
000003be: PUSH2 0x03c8
000003c1: CALLDATASIZE
000003c2: PUSH1 0x04
000003c4: PUSH2 0x28f9
000003c7: JUMP
000003c8: JUMPDEST
000003c9: PUSH2 0x0a1a
000003cc: JUMP
000003cd: JUMPDEST
000003ce: CALLVALUE
000003cf: DUP1
000003d0: ISZERO
000003d1: PUSH2 0x03d9
000003d4: JUMPI
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: POP
000003db: PUSH2 0x02e3
000003de: PUSH2 0x03e8
000003e1: CALLDATASIZE
000003e2: PUSH1 0x04
000003e4: PUSH2 0x2929
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH2 0x0a98
000003ec: JUMP
000003ed: JUMPDEST
000003ee: CALLVALUE
000003ef: DUP1
000003f0: ISZERO
000003f1: PUSH2 0x03f9
000003f4: JUMPI
000003f5: PUSH1 0x00
000003f7: DUP1
000003f8: REVERT
000003f9: JUMPDEST
000003fa: POP
000003fb: PUSH1 0xc9
000003fd: SLOAD
000003fe: PUSH2 0x02e3
00000401: SWAP1
00000402: PUSH1 0x01
00000404: PUSH1 0x01
00000406: PUSH1 0xa0
00000408: SHL
00000409: SUB
0000040a: AND
0000040b: DUP2
0000040c: JUMP
0000040d: JUMPDEST
0000040e: CALLVALUE
0000040f: DUP1
00000410: ISZERO
00000411: PUSH2 0x0419
00000414: JUMPI
00000415: PUSH1 0x00
00000417: DUP1
00000418: REVERT
00000419: JUMPDEST
0000041a: POP
0000041b: PUSH2 0x0297
0000041e: PUSH2 0x0428
00000421: CALLDATASIZE
00000422: PUSH1 0x04
00000424: PUSH2 0x2985
00000427: JUMP
00000428: JUMPDEST
00000429: PUSH2 0x0b5f
0000042c: JUMP
0000042d: JUMPDEST
0000042e: CALLVALUE
0000042f: DUP1
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: POP
0000043b: PUSH2 0x02c1
0000043e: PUSH2 0x0448
00000441: CALLDATASIZE
00000442: PUSH1 0x04
00000444: PUSH2 0x29b1
00000447: JUMP
00000448: JUMPDEST
00000449: PUSH2 0x0c6e
0000044c: JUMP
0000044d: JUMPDEST
0000044e: CALLVALUE
0000044f: DUP1
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: PUSH2 0x02c1
0000045e: PUSH2 0x0468
00000461: CALLDATASIZE
00000462: PUSH1 0x04
00000464: PUSH2 0x29df
00000467: JUMP
00000468: JUMPDEST
00000469: PUSH2 0x0d43
0000046c: JUMP
0000046d: JUMPDEST
0000046e: CALLVALUE
0000046f: DUP1
00000470: ISZERO
00000471: PUSH2 0x0479
00000474: JUMPI
00000475: PUSH1 0x00
00000477: DUP1
00000478: REVERT
00000479: JUMPDEST
0000047a: POP
0000047b: PUSH1 0xca
0000047d: SLOAD
0000047e: PUSH2 0x02e3
00000481: SWAP1
00000482: PUSH1 0x01
00000484: PUSH1 0x01
00000486: PUSH1 0xa0
00000488: SHL
00000489: SUB
0000048a: AND
0000048b: DUP2
0000048c: JUMP
0000048d: JUMPDEST
0000048e: CALLVALUE
0000048f: DUP1
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: POP
0000049b: PUSH2 0x034b
0000049e: PUSH2 0x04a8
000004a1: CALLDATASIZE
000004a2: PUSH1 0x04
000004a4: PUSH2 0x2a21
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH1 0xce
000004ab: PUSH1 0x20
000004ad: MSTORE
000004ae: PUSH1 0x00
000004b0: SWAP1
000004b1: DUP2
000004b2: MSTORE
000004b3: PUSH1 0x40
000004b5: SWAP1
000004b6: KECCAK256
000004b7: SLOAD
000004b8: DUP2
000004b9: JUMP
000004ba: JUMPDEST
000004bb: CALLVALUE
000004bc: DUP1
000004bd: ISZERO
000004be: PUSH2 0x04c6
000004c1: JUMPI
000004c2: PUSH1 0x00
000004c4: DUP1
000004c5: REVERT
000004c6: JUMPDEST
000004c7: POP
000004c8: PUSH2 0x02c1
000004cb: PUSH2 0x04d5
000004ce: CALLDATASIZE
000004cf: PUSH1 0x04
000004d1: PUSH2 0x29df
000004d4: JUMP
000004d5: JUMPDEST
000004d6: PUSH2 0x0f37
000004d9: JUMP
000004da: JUMPDEST
000004db: CALLVALUE
000004dc: DUP1
000004dd: ISZERO
000004de: PUSH2 0x04e6
000004e1: JUMPI
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: REVERT
000004e6: JUMPDEST
000004e7: POP
000004e8: PUSH2 0x034b
000004eb: PUSH2 0x04f5
000004ee: CALLDATASIZE
000004ef: PUSH1 0x04
000004f1: PUSH2 0x28e0
000004f4: JUMP
000004f5: JUMPDEST
000004f6: PUSH1 0xcf
000004f8: PUSH1 0x20
000004fa: MSTORE
000004fb: PUSH1 0x00
000004fd: SWAP1
000004fe: DUP2
000004ff: MSTORE
00000500: PUSH1 0x40
00000502: SWAP1
00000503: KECCAK256
00000504: SLOAD
00000505: DUP2
00000506: JUMP
00000507: JUMPDEST
00000508: CALLVALUE
00000509: DUP1
0000050a: ISZERO
0000050b: PUSH2 0x0513
0000050e: JUMPI
0000050f: PUSH1 0x00
00000511: DUP1
00000512: REVERT
00000513: JUMPDEST
00000514: POP
00000515: PUSH2 0x02e3
00000518: PUSH2 0x0522
0000051b: CALLDATASIZE
0000051c: PUSH1 0x04
0000051e: PUSH2 0x28e0
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH1 0xcb
00000525: PUSH1 0x20
00000527: MSTORE
00000528: PUSH1 0x00
0000052a: SWAP1
0000052b: DUP2
0000052c: MSTORE
0000052d: PUSH1 0x40
0000052f: SWAP1
00000530: KECCAK256
00000531: SLOAD
00000532: PUSH1 0x01
00000534: PUSH1 0x01
00000536: PUSH1 0xa0
00000538: SHL
00000539: SUB
0000053a: AND
0000053b: DUP2
0000053c: JUMP
0000053d: JUMPDEST
0000053e: CALLVALUE
0000053f: DUP1
00000540: ISZERO
00000541: PUSH2 0x0549
00000544: JUMPI
00000545: PUSH1 0x00
00000547: DUP1
00000548: REVERT
00000549: JUMPDEST
0000054a: POP
0000054b: PUSH2 0x02e3
0000054e: PUSH2 0x0558
00000551: CALLDATASIZE
00000552: PUSH1 0x04
00000554: PUSH2 0x28e0
00000557: JUMP
00000558: JUMPDEST
00000559: PUSH2 0x104d
0000055c: JUMP
0000055d: JUMPDEST
0000055e: CALLVALUE
0000055f: DUP1
00000560: ISZERO
00000561: PUSH2 0x0569
00000564: JUMPI
00000565: PUSH1 0x00
00000567: DUP1
00000568: REVERT
00000569: JUMPDEST
0000056a: POP
0000056b: PUSH2 0x02c1
0000056e: PUSH2 0x0578
00000571: CALLDATASIZE
00000572: PUSH1 0x04
00000574: PUSH2 0x2929
00000577: JUMP
00000578: JUMPDEST
00000579: PUSH2 0x10d9
0000057c: JUMP
0000057d: JUMPDEST
0000057e: CALLVALUE
0000057f: DUP1
00000580: ISZERO
00000581: PUSH2 0x0589
00000584: JUMPI
00000585: PUSH1 0x00
00000587: DUP1
00000588: REVERT
00000589: JUMPDEST
0000058a: POP
0000058b: PUSH2 0x02c1
0000058e: PUSH2 0x0598
00000591: CALLDATASIZE
00000592: PUSH1 0x04
00000594: PUSH2 0x2ae1
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH2 0x1375
0000059c: JUMP
0000059d: JUMPDEST
0000059e: CALLVALUE
0000059f: DUP1
000005a0: ISZERO
000005a1: PUSH2 0x05a9
000005a4: JUMPI
000005a5: PUSH1 0x00
000005a7: DUP1
000005a8: REVERT
000005a9: JUMPDEST
000005aa: POP
000005ab: PUSH2 0x02e3
000005ae: PUSH2 0x05b8
000005b1: CALLDATASIZE
000005b2: PUSH1 0x04
000005b4: PUSH2 0x2b16
000005b7: JUMP
000005b8: JUMPDEST
000005b9: PUSH2 0x13ee
000005bc: JUMP
000005bd: JUMPDEST
000005be: CALLVALUE
000005bf: DUP1
000005c0: ISZERO
000005c1: PUSH2 0x05c9
000005c4: JUMPI
000005c5: PUSH1 0x00
000005c7: DUP1
000005c8: REVERT
000005c9: JUMPDEST
000005ca: POP
000005cb: PUSH2 0x0297
000005ce: PUSH2 0x05d8
000005d1: CALLDATASIZE
000005d2: PUSH1 0x04
000005d4: PUSH2 0x28f9
000005d7: JUMP
000005d8: JUMPDEST
000005d9: PUSH2 0x140d
000005dc: JUMP
000005dd: JUMPDEST
000005de: CALLVALUE
000005df: DUP1
000005e0: ISZERO
000005e1: PUSH2 0x05e9
000005e4: JUMPI
000005e5: PUSH1 0x00
000005e7: DUP1
000005e8: REVERT
000005e9: JUMPDEST
000005ea: POP
000005eb: PUSH2 0x034b
000005ee: PUSH1 0x00
000005f0: DUP2
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH2 0x02c1
000005f6: PUSH2 0x0600
000005f9: CALLDATASIZE
000005fa: PUSH1 0x04
000005fc: PUSH2 0x2ae1
000005ff: JUMP
00000600: JUMPDEST
00000601: PUSH2 0x1438
00000604: JUMP
00000605: JUMPDEST
00000606: CALLVALUE
00000607: DUP1
00000608: ISZERO
00000609: PUSH2 0x0611
0000060c: JUMPI
0000060d: PUSH1 0x00
0000060f: DUP1
00000610: REVERT
00000611: JUMPDEST
00000612: POP
00000613: PUSH2 0x02c1
00000616: PUSH2 0x0620
00000619: CALLDATASIZE
0000061a: PUSH1 0x04
0000061c: PUSH2 0x29df
0000061f: JUMP
00000620: JUMPDEST
00000621: PUSH2 0x1442
00000624: JUMP
00000625: JUMPDEST
00000626: CALLVALUE
00000627: DUP1
00000628: ISZERO
00000629: PUSH2 0x0631
0000062c: JUMPI
0000062d: PUSH1 0x00
0000062f: DUP1
00000630: REVERT
00000631: JUMPDEST
00000632: POP
00000633: PUSH2 0x0297
00000636: PUSH2 0x0640
00000639: CALLDATASIZE
0000063a: PUSH1 0x04
0000063c: PUSH2 0x28f9
0000063f: JUMP
00000640: JUMPDEST
00000641: PUSH2 0x163a
00000644: JUMP
00000645: JUMPDEST
00000646: CALLVALUE
00000647: DUP1
00000648: ISZERO
00000649: PUSH2 0x0651
0000064c: JUMPI
0000064d: PUSH1 0x00
0000064f: DUP1
00000650: REVERT
00000651: JUMPDEST
00000652: POP
00000653: PUSH2 0x0297
00000656: PUSH2 0x0660
00000659: CALLDATASIZE
0000065a: PUSH1 0x04
0000065c: PUSH2 0x29df
0000065f: JUMP
00000660: JUMPDEST
00000661: PUSH2 0x1704
00000664: JUMP
00000665: JUMPDEST
00000666: PUSH2 0x02c1
00000669: PUSH2 0x0673
0000066c: CALLDATASIZE
0000066d: PUSH1 0x04
0000066f: PUSH2 0x2b38
00000672: JUMP
00000673: JUMPDEST
00000674: PUSH2 0x175f
00000677: JUMP
00000678: JUMPDEST
00000679: CALLVALUE
0000067a: DUP1
0000067b: ISZERO
0000067c: PUSH2 0x0684
0000067f: JUMPI
00000680: PUSH1 0x00
00000682: DUP1
00000683: REVERT
00000684: JUMPDEST
00000685: POP
00000686: PUSH2 0x0297
00000689: PUSH2 0x0693
0000068c: CALLDATASIZE
0000068d: PUSH1 0x04
0000068f: PUSH2 0x2ae1
00000692: JUMP
00000693: JUMPDEST
00000694: PUSH2 0x1a20
00000697: JUMP
00000698: JUMPDEST
00000699: CALLVALUE
0000069a: DUP1
0000069b: ISZERO
0000069c: PUSH2 0x06a4
0000069f: JUMPI
000006a0: PUSH1 0x00
000006a2: DUP1
000006a3: REVERT
000006a4: JUMPDEST
000006a5: POP
000006a6: PUSH2 0x0297
000006a9: PUSH2 0x06b3
000006ac: CALLDATASIZE
000006ad: PUSH1 0x04
000006af: PUSH2 0x28e0
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH1 0xd0
000006b6: PUSH1 0x20
000006b8: MSTORE
000006b9: PUSH1 0x00
000006bb: SWAP1
000006bc: DUP2
000006bd: MSTORE
000006be: PUSH1 0x40
000006c0: SWAP1
000006c1: KECCAK256
000006c2: SLOAD
000006c3: PUSH1 0xff
000006c5: AND
000006c6: DUP2
000006c7: JUMP
000006c8: JUMPDEST
000006c9: CALLVALUE
000006ca: DUP1
000006cb: ISZERO
000006cc: PUSH2 0x06d4
000006cf: JUMPI
000006d0: PUSH1 0x00
000006d2: DUP1
000006d3: REVERT
000006d4: JUMPDEST
000006d5: POP
000006d6: PUSH2 0x02c1
000006d9: PUSH2 0x06e3
000006dc: CALLDATASIZE
000006dd: PUSH1 0x04
000006df: PUSH2 0x2b7f
000006e2: JUMP
000006e3: JUMPDEST
000006e4: PUSH2 0x1a67
000006e7: JUMP
000006e8: JUMPDEST
000006e9: CALLVALUE
000006ea: DUP1
000006eb: ISZERO
000006ec: PUSH2 0x06f4
000006ef: JUMPI
000006f0: PUSH1 0x00
000006f2: DUP1
000006f3: REVERT
000006f4: JUMPDEST
000006f5: POP
000006f6: PUSH2 0x02c1
000006f9: PUSH2 0x0703
000006fc: CALLDATASIZE
000006fd: PUSH1 0x04
000006ff: PUSH2 0x2a21
00000702: JUMP
00000703: JUMPDEST
00000704: PUSH2 0x1b26
00000707: JUMP
00000708: JUMPDEST
00000709: CALLVALUE
0000070a: DUP1
0000070b: ISZERO
0000070c: PUSH2 0x0714
0000070f: JUMPI
00000710: PUSH1 0x00
00000712: DUP1
00000713: REVERT
00000714: JUMPDEST
00000715: POP
00000716: PUSH2 0x034b
00000719: PUSH1 0x00
0000071b: DUP1
0000071c: MLOAD
0000071d: PUSH1 0x20
0000071f: PUSH2 0x307d
00000722: DUP4
00000723: CODECOPY
00000724: DUP2
00000725: MLOAD
00000726: SWAP2
00000727: MSTORE
00000728: DUP2
00000729: JUMP
0000072a: JUMPDEST
0000072b: CALLVALUE
0000072c: DUP1
0000072d: ISZERO
0000072e: PUSH2 0x0736
00000731: JUMPI
00000732: PUSH1 0x00
00000734: DUP1
00000735: REVERT
00000736: JUMPDEST
00000737: POP
00000738: PUSH2 0x034b
0000073b: PUSH2 0x0745
0000073e: CALLDATASIZE
0000073f: PUSH1 0x04
00000741: PUSH2 0x28e0
00000744: JUMP
00000745: JUMPDEST
00000746: PUSH2 0x1c04
00000749: JUMP
0000074a: JUMPDEST
0000074b: CALLVALUE
0000074c: DUP1
0000074d: ISZERO
0000074e: PUSH2 0x0756
00000751: JUMPI
00000752: PUSH1 0x00
00000754: DUP1
00000755: REVERT
00000756: JUMPDEST
00000757: POP
00000758: PUSH2 0x02c1
0000075b: PUSH2 0x0765
0000075e: CALLDATASIZE
0000075f: PUSH1 0x04
00000761: PUSH2 0x28f9
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH2 0x1c1b
00000769: JUMP
0000076a: JUMPDEST
0000076b: CALLVALUE
0000076c: DUP1
0000076d: ISZERO
0000076e: PUSH2 0x0776
00000771: JUMPI
00000772: PUSH1 0x00
00000774: DUP1
00000775: REVERT
00000776: JUMPDEST
00000777: POP
00000778: PUSH2 0x02c1
0000077b: PUSH2 0x0785
0000077e: CALLDATASIZE
0000077f: PUSH1 0x04
00000781: PUSH2 0x2bbf
00000784: JUMP
00000785: JUMPDEST
00000786: PUSH2 0x1c40
00000789: JUMP
0000078a: JUMPDEST
0000078b: CALLVALUE
0000078c: DUP1
0000078d: ISZERO
0000078e: PUSH2 0x0796
00000791: JUMPI
00000792: PUSH1 0x00
00000794: DUP1
00000795: REVERT
00000796: JUMPDEST
00000797: POP
00000798: PUSH2 0x02c1
0000079b: PUSH2 0x07a5
0000079e: CALLDATASIZE
0000079f: PUSH1 0x04
000007a1: PUSH2 0x2ae1
000007a4: JUMP
000007a5: JUMPDEST
000007a6: PUSH2 0x1e7d
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH1 0x00
000007ad: PUSH1 0x01
000007af: PUSH1 0x01
000007b1: PUSH1 0xe0
000007b3: SHL
000007b4: SUB
000007b5: NOT
000007b6: DUP3
000007b7: AND
000007b8: PUSH4 0x5a05180f
000007bd: PUSH1 0xe0
000007bf: SHL
000007c0: EQ
000007c1: DUP1
000007c2: PUSH2 0x07cf
000007c5: JUMPI
000007c6: POP
000007c7: PUSH2 0x07cf
000007ca: DUP3
000007cb: PUSH2 0x1ebe
000007ce: JUMP
000007cf: JUMPDEST
000007d0: SWAP3
000007d1: SWAP2
000007d2: POP
000007d3: POP
000007d4: JUMP
000007d5: JUMPDEST
000007d6: CALLER
000007d7: PUSH1 0x00
000007d9: SWAP1
000007da: DUP2
000007db: MSTORE
000007dc: PUSH1 0xce
000007de: PUSH1 0x20
000007e0: MSTORE
000007e1: PUSH1 0x40
000007e3: SWAP1
000007e4: KECCAK256
000007e5: SLOAD
000007e6: PUSH2 0x0831
000007e9: JUMPI
000007ea: PUSH1 0x40
000007ec: MLOAD
000007ed: PUSH3 0x461bcd
000007f1: PUSH1 0xe5
000007f3: SHL
000007f4: DUP2
000007f5: MSTORE
000007f6: PUSH1 0x20
000007f8: PUSH1 0x04
000007fa: DUP3
000007fb: ADD
000007fc: MSTORE
000007fd: PUSH1 0x19
000007ff: PUSH1 0x24
00000801: DUP3
00000802: ADD
00000803: MSTORE
00000804: PUSH32 0x557365722068617320696e73756666696369656e742045544800000000000000
00000825: PUSH1 0x44
00000827: DUP3
00000828: ADD
00000829: MSTORE
0000082a: PUSH1 0x64
0000082c: ADD
0000082d: PUSH2 0x0269
00000830: JUMP
00000831: JUMPDEST
00000832: CALLER
00000833: PUSH1 0x00
00000835: DUP2
00000836: DUP2
00000837: MSTORE
00000838: PUSH1 0xce
0000083a: PUSH1 0x20
0000083c: MSTORE
0000083d: PUSH1 0x40
0000083f: DUP2
00000840: KECCAK256
00000841: DUP1
00000842: SLOAD
00000843: SWAP2
00000844: SWAP1
00000845: SSTORE
00000846: SWAP1
00000847: PUSH2 0x0850
0000084a: SWAP1
0000084b: DUP3
0000084c: PUSH2 0x1ef3
0000084f: JUMP
00000850: JUMPDEST
00000851: POP
00000852: JUMP
00000853: JUMPDEST
00000854: PUSH1 0x00
00000856: DUP4
00000857: DUP4
00000858: PUSH1 0x40
0000085a: MLOAD
0000085b: PUSH1 0x20
0000085d: ADD
0000085e: PUSH2 0x0868
00000861: SWAP3
00000862: SWAP2
00000863: SWAP1
00000864: PUSH2 0x2c1c
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH1 0x40
0000086b: MLOAD
0000086c: PUSH1 0x20
0000086e: DUP2
0000086f: DUP4
00000870: SUB
00000871: SUB
00000872: DUP2
00000873: MSTORE
00000874: SWAP1
00000875: PUSH1 0x40
00000877: MSTORE
00000878: DUP1
00000879: MLOAD
0000087a: SWAP1
0000087b: PUSH1 0x20
0000087d: ADD
0000087e: KECCAK256
0000087f: SWAP1
00000880: POP
00000881: PUSH2 0x0898
00000884: PUSH1 0x00
00000886: DUP1
00000887: MLOAD
00000888: PUSH1 0x20
0000088a: PUSH2 0x307d
0000088d: DUP4
0000088e: CODECOPY
0000088f: DUP2
00000890: MLOAD
00000891: SWAP2
00000892: MSTORE
00000893: CALLER
00000894: PUSH2 0x140d
00000897: JUMP
00000898: JUMPDEST
00000899: DUP1
0000089a: PUSH2 0x08a8
0000089d: JUMPI
0000089e: POP
0000089f: PUSH2 0x08a8
000008a2: CALLER
000008a3: DUP3
000008a4: PUSH2 0x0b5f
000008a7: JUMP
000008a8: JUMPDEST
000008a9: PUSH2 0x08ec
000008ac: JUMPI
000008ad: PUSH1 0x40
000008af: MLOAD
000008b0: PUSH3 0x461bcd
000008b4: PUSH1 0xe5
000008b6: SHL
000008b7: DUP2
000008b8: MSTORE
000008b9: PUSH1 0x20
000008bb: PUSH1 0x04
000008bd: DUP3
000008be: ADD
000008bf: MSTORE
000008c0: PUSH1 0x15
000008c2: PUSH1 0x24
000008c4: DUP3
000008c5: ADD
000008c6: MSTORE
000008c7: PUSH21 0x2737ba1030baba3437b934bd32b21031b0b63632b9
000008dd: PUSH1 0x59
000008df: SHL
000008e0: PUSH1 0x44
000008e2: DUP3
000008e3: ADD
000008e4: MSTORE
000008e5: PUSH1 0x64
000008e7: ADD
000008e8: PUSH2 0x0269
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH1 0x00
000008ef: DUP2
000008f0: DUP2
000008f1: MSTORE
000008f2: PUSH1 0xcb
000008f4: PUSH1 0x20
000008f6: MSTORE
000008f7: PUSH1 0x40
000008f9: SWAP1
000008fa: KECCAK256
000008fb: SLOAD
000008fc: PUSH1 0x01
000008fe: PUSH1 0x01
00000900: PUSH1 0xa0
00000902: SHL
00000903: SUB
00000904: AND
00000905: ISZERO
00000906: PUSH2 0x0951
00000909: JUMPI
0000090a: PUSH1 0x40
0000090c: MLOAD
0000090d: PUSH3 0x461bcd
00000911: PUSH1 0xe5
00000913: SHL
00000914: DUP2
00000915: MSTORE
00000916: PUSH1 0x20
00000918: PUSH1 0x04
0000091a: DUP3
0000091b: ADD
0000091c: MSTORE
0000091d: PUSH1 0x1a
0000091f: PUSH1 0x24
00000921: DUP3
00000922: ADD
00000923: MSTORE
00000924: PUSH32 0x534b414c4520636861696e20697320616c726561647920736574000000000000
00000945: PUSH1 0x44
00000947: DUP3
00000948: ADD
00000949: MSTORE
0000094a: PUSH1 0x64
0000094c: ADD
0000094d: PUSH2 0x0269
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH1 0x01
00000954: PUSH1 0x01
00000956: PUSH1 0xa0
00000958: SHL
00000959: SUB
0000095a: DUP3
0000095b: AND
0000095c: PUSH2 0x09c0
0000095f: JUMPI
00000960: PUSH1 0x40
00000962: MLOAD
00000963: PUSH3 0x461bcd
00000967: PUSH1 0xe5
00000969: SHL
0000096a: DUP2
0000096b: MSTORE
0000096c: PUSH1 0x20
0000096e: PUSH1 0x04
00000970: DUP3
00000971: ADD
00000972: MSTORE
00000973: PUSH1 0x30
00000975: PUSH1 0x24
00000977: DUP3
00000978: ADD
00000979: MSTORE
0000097a: PUSH32 0x496e636f72726563742061646472657373206f6620636f6e7472616374207265
0000099b: PUSH1 0x44
0000099d: DUP3
0000099e: ADD
0000099f: MSTORE
000009a0: PUSH16 0x31b2b4bb32b91037b71029b1b430b4b7
000009b1: PUSH1 0x81
000009b3: SHL
000009b4: PUSH1 0x64
000009b6: DUP3
000009b7: ADD
000009b8: MSTORE
000009b9: PUSH1 0x84
000009bb: ADD
000009bc: PUSH2 0x0269
000009bf: JUMP
000009c0: JUMPDEST
000009c1: PUSH1 0x00
000009c3: SWAP1
000009c4: DUP2
000009c5: MSTORE
000009c6: PUSH1 0xcb
000009c8: PUSH1 0x20
000009ca: MSTORE
000009cb: PUSH1 0x40
000009cd: SWAP1
000009ce: KECCAK256
000009cf: DUP1
000009d0: SLOAD
000009d1: PUSH1 0x01
000009d3: PUSH1 0x01
000009d5: PUSH1 0xa0
000009d7: SHL
000009d8: SUB
000009d9: NOT
000009da: AND
000009db: PUSH1 0x01
000009dd: PUSH1 0x01
000009df: PUSH1 0xa0
000009e1: SHL
000009e2: SUB
000009e3: SWAP3
000009e4: SWAP1
000009e5: SWAP3
000009e6: AND
000009e7: SWAP2
000009e8: SWAP1
000009e9: SWAP2
000009ea: OR
000009eb: SWAP1
000009ec: SSTORE
000009ed: POP
000009ee: POP
000009ef: JUMP
000009f0: JUMPDEST
000009f1: PUSH1 0x00
000009f3: DUP3
000009f4: DUP2
000009f5: MSTORE
000009f6: PUSH1 0x65
000009f8: PUSH1 0x20
000009fa: MSTORE
000009fb: PUSH1 0x40
000009fd: SWAP1
000009fe: KECCAK256
000009ff: PUSH1 0x01
00000a01: ADD
00000a02: SLOAD
00000a03: PUSH2 0x0a0b
00000a06: DUP2
00000a07: PUSH2 0x200c
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: PUSH2 0x0a15
00000a0f: DUP4
00000a10: DUP4
00000a11: PUSH2 0x2016
00000a14: JUMP
00000a15: JUMPDEST
00000a16: POP
00000a17: POP
00000a18: POP
00000a19: JUMP
00000a1a: JUMPDEST
00000a1b: PUSH1 0x01
00000a1d: PUSH1 0x01
00000a1f: PUSH1 0xa0
00000a21: SHL
00000a22: SUB
00000a23: DUP2
00000a24: AND
00000a25: CALLER
00000a26: EQ
00000a27: PUSH2 0x0a8a
00000a2a: JUMPI
00000a2b: PUSH1 0x40
00000a2d: MLOAD
00000a2e: PUSH3 0x461bcd
00000a32: PUSH1 0xe5
00000a34: SHL
00000a35: DUP2
00000a36: MSTORE
00000a37: PUSH1 0x20
00000a39: PUSH1 0x04
00000a3b: DUP3
00000a3c: ADD
00000a3d: MSTORE
00000a3e: PUSH1 0x2f
00000a40: PUSH1 0x24
00000a42: DUP3
00000a43: ADD
00000a44: MSTORE
00000a45: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
00000a66: PUSH1 0x44
00000a68: DUP3
00000a69: ADD
00000a6a: MSTORE
00000a6b: PUSH15 0x103937b632b9903337b91039b2b633
00000a7b: PUSH1 0x89
00000a7d: SHL
00000a7e: PUSH1 0x64
00000a80: DUP3
00000a81: ADD
00000a82: MSTORE
00000a83: PUSH1 0x84
00000a85: ADD
00000a86: PUSH2 0x0269
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: PUSH2 0x0a94
00000a8e: DUP3
00000a8f: DUP3
00000a90: PUSH2 0x2038
00000a93: JUMP
00000a94: JUMPDEST
00000a95: POP
00000a96: POP
00000a97: JUMP
00000a98: JUMPDEST
00000a99: PUSH1 0x00
00000a9b: DUP5
00000a9c: DUP5
00000a9d: PUSH1 0x40
00000a9f: MLOAD
00000aa0: PUSH1 0x20
00000aa2: ADD
00000aa3: PUSH2 0x0ab9
00000aa6: SWAP1
00000aa7: PUSH7 0x13585a5b9b995d
00000aaf: PUSH1 0xca
00000ab1: SHL
00000ab2: DUP2
00000ab3: MSTORE
00000ab4: PUSH1 0x07
00000ab6: ADD
00000ab7: SWAP1
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: PUSH1 0x40
00000abc: MLOAD
00000abd: PUSH1 0x20
00000abf: DUP2
00000ac0: DUP4
00000ac1: SUB
00000ac2: SUB
00000ac3: DUP2
00000ac4: MSTORE
00000ac5: SWAP1
00000ac6: PUSH1 0x40
00000ac8: MSTORE
00000ac9: DUP1
00000aca: MLOAD
00000acb: SWAP1
00000acc: PUSH1 0x20
00000ace: ADD
00000acf: KECCAK256
00000ad0: DUP3
00000ad1: EQ
00000ad2: ISZERO
00000ad3: DUP1
00000ad4: ISZERO
00000ad5: PUSH2 0x0af7
00000ad8: JUMPI
00000ad9: POP
00000ada: PUSH1 0x00
00000adc: DUP3
00000add: DUP2
00000ade: MSTORE
00000adf: PUSH1 0xcb
00000ae1: PUSH1 0x20
00000ae3: MSTORE
00000ae4: PUSH1 0x40
00000ae6: SWAP1
00000ae7: KECCAK256
00000ae8: SLOAD
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0x01
00000aed: PUSH1 0xa0
00000aef: SHL
00000af0: SUB
00000af1: DUP3
00000af2: DUP2
00000af3: AND
00000af4: SWAP2
00000af5: AND
00000af6: EQ
00000af7: JUMPDEST
00000af8: PUSH2 0x0b43
00000afb: JUMPI
00000afc: PUSH1 0x40
00000afe: MLOAD
00000aff: PUSH3 0x461bcd
00000b03: PUSH1 0xe5
00000b05: SHL
00000b06: DUP2
00000b07: MSTORE
00000b08: PUSH1 0x20
00000b0a: PUSH1 0x04
00000b0c: DUP3
00000b0d: ADD
00000b0e: MSTORE
00000b0f: PUSH1 0x1b
00000b11: PUSH1 0x24
00000b13: DUP3
00000b14: ADD
00000b15: MSTORE
00000b16: PUSH32 0x526563656976657220636861696e20697320696e636f72726563740000000000
00000b37: PUSH1 0x44
00000b39: DUP3
00000b3a: ADD
00000b3b: MSTORE
00000b3c: PUSH1 0x64
00000b3e: ADD
00000b3f: PUSH2 0x0269
00000b42: JUMP
00000b43: JUMPDEST
00000b44: PUSH1 0x00
00000b46: PUSH2 0x0b4f
00000b49: DUP7
00000b4a: DUP7
00000b4b: PUSH2 0x205a
00000b4e: JUMP
00000b4f: JUMPDEST
00000b50: PUSH1 0x20
00000b52: ADD
00000b53: MLOAD
00000b54: SWAP9
00000b55: SWAP8
00000b56: POP
00000b57: POP
00000b58: POP
00000b59: POP
00000b5a: POP
00000b5b: POP
00000b5c: POP
00000b5d: POP
00000b5e: JUMP
00000b5f: JUMPDEST
00000b60: PUSH1 0xc9
00000b62: SLOAD
00000b63: PUSH1 0x40
00000b65: MLOAD
00000b66: PUSH4 0x35817773
00000b6b: PUSH1 0xe0
00000b6d: SHL
00000b6e: DUP2
00000b6f: MSTORE
00000b70: PUSH1 0x20
00000b72: PUSH1 0x04
00000b74: DUP3
00000b75: ADD
00000b76: MSTORE
00000b77: PUSH1 0x0f
00000b79: PUSH1 0x24
00000b7b: DUP3
00000b7c: ADD
00000b7d: MSTORE
00000b7e: PUSH15 0x14d8da185a5b9cd25b9d195c9b985b
00000b8e: PUSH1 0x8a
00000b90: SHL
00000b91: PUSH1 0x44
00000b93: DUP3
00000b94: ADD
00000b95: MSTORE
00000b96: PUSH1 0x00
00000b98: SWAP2
00000b99: DUP3
00000b9a: SWAP2
00000b9b: PUSH1 0x01
00000b9d: PUSH1 0x01
00000b9f: PUSH1 0xa0
00000ba1: SHL
00000ba2: SUB
00000ba3: SWAP1
00000ba4: SWAP2
00000ba5: AND
00000ba6: SWAP1
00000ba7: PUSH4 0x35817773
00000bac: SWAP1
00000bad: PUSH1 0x64
00000baf: ADD
00000bb0: PUSH1 0x20
00000bb2: PUSH1 0x40
00000bb4: MLOAD
00000bb5: DUP1
00000bb6: DUP4
00000bb7: SUB
00000bb8: DUP2
00000bb9: DUP7
00000bba: GAS
00000bbb: STATICCALL
00000bbc: ISZERO
00000bbd: DUP1
00000bbe: ISZERO
00000bbf: PUSH2 0x0bcc
00000bc2: JUMPI
00000bc3: RETURNDATASIZE
00000bc4: PUSH1 0x00
00000bc6: DUP1
00000bc7: RETURNDATACOPY
00000bc8: RETURNDATASIZE
00000bc9: PUSH1 0x00
00000bcb: REVERT
00000bcc: JUMPDEST
00000bcd: POP
00000bce: POP
00000bcf: POP
00000bd0: POP
00000bd1: PUSH1 0x40
00000bd3: MLOAD
00000bd4: RETURNDATASIZE
00000bd5: PUSH1 0x1f
00000bd7: NOT
00000bd8: PUSH1 0x1f
00000bda: DUP3
00000bdb: ADD
00000bdc: AND
00000bdd: DUP3
00000bde: ADD
00000bdf: DUP1
00000be0: PUSH1 0x40
00000be2: MSTORE
00000be3: POP
00000be4: DUP2
00000be5: ADD
00000be6: SWAP1
00000be7: PUSH2 0x0bf0
00000bea: SWAP2
00000beb: SWAP1
00000bec: PUSH2 0x2c2c
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: PUSH1 0x40
00000bf3: MLOAD
00000bf4: PUSH4 0x47bf2805
00000bf9: PUSH1 0xe1
00000bfb: SHL
00000bfc: DUP2
00000bfd: MSTORE
00000bfe: PUSH1 0x01
00000c00: PUSH1 0x01
00000c02: PUSH1 0xa0
00000c04: SHL
00000c05: SUB
00000c06: DUP7
00000c07: DUP2
00000c08: AND
00000c09: PUSH1 0x04
00000c0b: DUP4
00000c0c: ADD
00000c0d: MSTORE
00000c0e: PUSH1 0x24
00000c10: DUP3
00000c11: ADD
00000c12: DUP7
00000c13: SWAP1
00000c14: MSTORE
00000c15: SWAP2
00000c16: SWAP3
00000c17: POP
00000c18: SWAP1
00000c19: DUP3
00000c1a: AND
00000c1b: SWAP1
00000c1c: PUSH4 0x8f7e500a
00000c21: SWAP1
00000c22: PUSH1 0x44
00000c24: ADD
00000c25: JUMPDEST
00000c26: PUSH1 0x20
00000c28: PUSH1 0x40
00000c2a: MLOAD
00000c2b: DUP1
00000c2c: DUP4
00000c2d: SUB
00000c2e: DUP2
00000c2f: DUP7
00000c30: GAS
00000c31: STATICCALL
00000c32: ISZERO
00000c33: DUP1
00000c34: ISZERO
00000c35: PUSH2 0x0c42
00000c38: JUMPI
00000c39: RETURNDATASIZE
00000c3a: PUSH1 0x00
00000c3c: DUP1
00000c3d: RETURNDATACOPY
00000c3e: RETURNDATASIZE
00000c3f: PUSH1 0x00
00000c41: REVERT
00000c42: JUMPDEST
00000c43: POP
00000c44: POP
00000c45: POP
00000c46: POP
00000c47: PUSH1 0x40
00000c49: MLOAD
00000c4a: RETURNDATASIZE
00000c4b: PUSH1 0x1f
00000c4d: NOT
00000c4e: PUSH1 0x1f
00000c50: DUP3
00000c51: ADD
00000c52: AND
00000c53: DUP3
00000c54: ADD
00000c55: DUP1
00000c56: PUSH1 0x40
00000c58: MSTORE
00000c59: POP
00000c5a: DUP2
00000c5b: ADD
00000c5c: SWAP1
00000c5d: PUSH2 0x0c66
00000c60: SWAP2
00000c61: SWAP1
00000c62: PUSH2 0x2c49
00000c65: JUMP
00000c66: JUMPDEST
00000c67: SWAP5
00000c68: SWAP4
00000c69: POP
00000c6a: POP
00000c6b: POP
00000c6c: POP
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: PUSH1 0x00
00000c71: SLOAD
00000c72: PUSH2 0x0100
00000c75: SWAP1
00000c76: DIV
00000c77: PUSH1 0xff
00000c79: AND
00000c7a: ISZERO
00000c7b: DUP1
00000c7c: DUP1
00000c7d: ISZERO
00000c7e: PUSH2 0x0c8e
00000c81: JUMPI
00000c82: POP
00000c83: PUSH1 0x00
00000c85: SLOAD
00000c86: PUSH1 0x01
00000c88: PUSH1 0xff
00000c8a: SWAP1
00000c8b: SWAP2
00000c8c: AND
00000c8d: LT
00000c8e: JUMPDEST
00000c8f: DUP1
00000c90: PUSH2 0x0ca8
00000c93: JUMPI
00000c94: POP
00000c95: ADDRESS
00000c96: EXTCODESIZE
00000c97: ISZERO
00000c98: DUP1
00000c99: ISZERO
00000c9a: PUSH2 0x0ca8
00000c9d: JUMPI
00000c9e: POP
00000c9f: PUSH1 0x00
00000ca1: SLOAD
00000ca2: PUSH1 0xff
00000ca4: AND
00000ca5: PUSH1 0x01
00000ca7: EQ
00000ca8: JUMPDEST
00000ca9: PUSH2 0x0cc4
00000cac: JUMPI
00000cad: PUSH1 0x40
00000caf: MLOAD
00000cb0: PUSH3 0x461bcd
00000cb4: PUSH1 0xe5
00000cb6: SHL
00000cb7: DUP2
00000cb8: MSTORE
00000cb9: PUSH1 0x04
00000cbb: ADD
00000cbc: PUSH2 0x0269
00000cbf: SWAP1
00000cc0: PUSH2 0x2c6b
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: PUSH1 0x00
00000cc7: DUP1
00000cc8: SLOAD
00000cc9: PUSH1 0xff
00000ccb: NOT
00000ccc: AND
00000ccd: PUSH1 0x01
00000ccf: OR
00000cd0: SWAP1
00000cd1: SSTORE
00000cd2: DUP1
00000cd3: ISZERO
00000cd4: PUSH2 0x0ce7
00000cd7: JUMPI
00000cd8: PUSH1 0x00
00000cda: DUP1
00000cdb: SLOAD
00000cdc: PUSH2 0xff00
00000cdf: NOT
00000ce0: AND
00000ce1: PUSH2 0x0100
00000ce4: OR
00000ce5: SWAP1
00000ce6: SSTORE
00000ce7: JUMPDEST
00000ce8: PUSH2 0x0cf0
00000ceb: DUP4
00000cec: PUSH2 0x1b26
00000cef: JUMP
00000cf0: JUMPDEST
00000cf1: PUSH1 0xca
00000cf3: DUP1
00000cf4: SLOAD
00000cf5: PUSH1 0x01
00000cf7: PUSH1 0x01
00000cf9: PUSH1 0xa0
00000cfb: SHL
00000cfc: SUB
00000cfd: NOT
00000cfe: AND
00000cff: PUSH1 0x01
00000d01: PUSH1 0x01
00000d03: PUSH1 0xa0
00000d05: SHL
00000d06: SUB
00000d07: DUP5
00000d08: AND
00000d09: OR
00000d0a: SWAP1
00000d0b: SSTORE
00000d0c: DUP1
00000d0d: ISZERO
00000d0e: PUSH2 0x0a15
00000d11: JUMPI
00000d12: PUSH1 0x00
00000d14: DUP1
00000d15: SLOAD
00000d16: PUSH2 0xff00
00000d19: NOT
00000d1a: AND
00000d1b: SWAP1
00000d1c: SSTORE
00000d1d: PUSH1 0x40
00000d1f: MLOAD
00000d20: PUSH1 0x01
00000d22: DUP2
00000d23: MSTORE
00000d24: PUSH1 0x00
00000d26: DUP1
00000d27: MLOAD
00000d28: PUSH1 0x20
00000d2a: PUSH2 0x305d
00000d2d: DUP4
00000d2e: CODECOPY
00000d2f: DUP2
00000d30: MLOAD
00000d31: SWAP2
00000d32: MSTORE
00000d33: SWAP1
00000d34: PUSH1 0x20
00000d36: ADD
00000d37: PUSH1 0x40
00000d39: MLOAD
00000d3a: DUP1
00000d3b: SWAP2
00000d3c: SUB
00000d3d: SWAP1
00000d3e: LOG1
00000d3f: POP
00000d40: POP
00000d41: POP
00000d42: JUMP
00000d43: JUMPDEST
00000d44: DUP2
00000d45: DUP2
00000d46: DUP1
00000d47: DUP1
00000d48: PUSH1 0x1f
00000d4a: ADD
00000d4b: PUSH1 0x20
00000d4d: DUP1
00000d4e: SWAP2
00000d4f: DIV
00000d50: MUL
00000d51: PUSH1 0x20
00000d53: ADD
00000d54: PUSH1 0x40
00000d56: MLOAD
00000d57: SWAP1
00000d58: DUP2
00000d59: ADD
00000d5a: PUSH1 0x40
00000d5c: MSTORE
00000d5d: DUP1
00000d5e: SWAP4
00000d5f: SWAP3
00000d60: SWAP2
00000d61: SWAP1
00000d62: DUP2
00000d63: DUP2
00000d64: MSTORE
00000d65: PUSH1 0x20
00000d67: ADD
00000d68: DUP4
00000d69: DUP4
00000d6a: DUP1
00000d6b: DUP3
00000d6c: DUP5
00000d6d: CALLDATACOPY
00000d6e: PUSH1 0x00
00000d70: SWAP3
00000d71: ADD
00000d72: SWAP2
00000d73: SWAP1
00000d74: SWAP2
00000d75: MSTORE
00000d76: POP
00000d77: PUSH2 0x0d89
00000d7a: SWAP3
00000d7b: POP
00000d7c: CALLER
00000d7d: SWAP2
00000d7e: POP
00000d7f: PUSH2 0x0428
00000d82: SWAP1
00000d83: POP
00000d84: DUP4
00000d85: PUSH2 0x20f3
00000d88: JUMP
00000d89: JUMPDEST
00000d8a: PUSH2 0x0da5
00000d8d: JUMPI
00000d8e: PUSH1 0x40
00000d90: MLOAD
00000d91: PUSH3 0x461bcd
00000d95: PUSH1 0xe5
00000d97: SHL
00000d98: DUP2
00000d99: MSTORE
00000d9a: PUSH1 0x04
00000d9c: ADD
00000d9d: PUSH2 0x0269
00000da0: SWAP1
00000da1: PUSH2 0x2cb9
00000da4: JUMP
00000da5: JUMPDEST
00000da6: DUP3
00000da7: DUP3
00000da8: PUSH1 0x40
00000daa: MLOAD
00000dab: PUSH1 0x20
00000dad: ADD
00000dae: PUSH2 0x0db8
00000db1: SWAP3
00000db2: SWAP2
00000db3: SWAP1
00000db4: PUSH2 0x2c1c
00000db7: JUMP
00000db8: JUMPDEST
00000db9: PUSH1 0x40
00000dbb: DUP1
00000dbc: MLOAD
00000dbd: DUP1
00000dbe: DUP4
00000dbf: SUB
00000dc0: PUSH1 0x1f
00000dc2: NOT
00000dc3: ADD
00000dc4: DUP2
00000dc5: MSTORE
00000dc6: SWAP1
00000dc7: DUP3
00000dc8: SWAP1
00000dc9: MSTORE
00000dca: DUP1
00000dcb: MLOAD
00000dcc: PUSH1 0x20
00000dce: SWAP1
00000dcf: SWAP2
00000dd0: ADD
00000dd1: KECCAK256
00000dd2: PUSH1 0xcc
00000dd4: SLOAD
00000dd5: PUSH4 0x7f77c90f
00000dda: PUSH1 0xe1
00000ddc: SHL
00000ddd: DUP4
00000dde: MSTORE
00000ddf: PUSH1 0x04
00000de1: DUP4
00000de2: ADD
00000de3: DUP3
00000de4: SWAP1
00000de5: MSTORE
00000de6: SWAP1
00000de7: SWAP2
00000de8: PUSH1 0x01
00000dea: PUSH1 0x01
00000dec: PUSH1 0xa0
00000dee: SHL
00000def: SUB
00000df0: SWAP1
00000df1: SWAP2
00000df2: AND
00000df3: SWAP1
00000df4: PUSH4 0xfeef921e
00000df9: SWAP1
00000dfa: PUSH1 0x24
00000dfc: ADD
00000dfd: PUSH1 0x20
00000dff: PUSH1 0x40
00000e01: MLOAD
00000e02: DUP1
00000e03: DUP4
00000e04: SUB
00000e05: DUP2
00000e06: DUP7
00000e07: GAS
00000e08: STATICCALL
00000e09: ISZERO
00000e0a: DUP1
00000e0b: ISZERO
00000e0c: PUSH2 0x0e19
00000e0f: JUMPI
00000e10: RETURNDATASIZE
00000e11: PUSH1 0x00
00000e13: DUP1
00000e14: RETURNDATACOPY
00000e15: RETURNDATASIZE
00000e16: PUSH1 0x00
00000e18: REVERT
00000e19: JUMPDEST
00000e1a: POP
00000e1b: POP
00000e1c: POP
00000e1d: POP
00000e1e: PUSH1 0x40
00000e20: MLOAD
00000e21: RETURNDATASIZE
00000e22: PUSH1 0x1f
00000e24: NOT
00000e25: PUSH1 0x1f
00000e27: DUP3
00000e28: ADD
00000e29: AND
00000e2a: DUP3
00000e2b: ADD
00000e2c: DUP1
00000e2d: PUSH1 0x40
00000e2f: MSTORE
00000e30: POP
00000e31: DUP2
00000e32: ADD
00000e33: SWAP1
00000e34: PUSH2 0x0e3d
00000e37: SWAP2
00000e38: SWAP1
00000e39: PUSH2 0x2c49
00000e3c: JUMP
00000e3d: JUMPDEST
00000e3e: PUSH2 0x0e59
00000e41: JUMPI
00000e42: PUSH1 0x40
00000e44: MLOAD
00000e45: PUSH3 0x461bcd
00000e49: PUSH1 0xe5
00000e4b: SHL
00000e4c: DUP2
00000e4d: MSTORE
00000e4e: PUSH1 0x04
00000e50: ADD
00000e51: PUSH2 0x0269
00000e54: SWAP1
00000e55: PUSH2 0x2cf0
00000e58: JUMP
00000e59: JUMPDEST
00000e5a: PUSH1 0x00
00000e5c: DUP5
00000e5d: DUP5
00000e5e: PUSH1 0x40
00000e60: MLOAD
00000e61: PUSH1 0x20
00000e63: ADD
00000e64: PUSH2 0x0e6e
00000e67: SWAP3
00000e68: SWAP2
00000e69: SWAP1
00000e6a: PUSH2 0x2c1c
00000e6d: JUMP
00000e6e: JUMPDEST
00000e6f: PUSH1 0x40
00000e71: DUP1
00000e72: MLOAD
00000e73: PUSH1 0x1f
00000e75: NOT
00000e76: DUP2
00000e77: DUP5
00000e78: SUB
00000e79: ADD
00000e7a: DUP2
00000e7b: MSTORE
00000e7c: SWAP2
00000e7d: DUP2
00000e7e: MSTORE
00000e7f: DUP2
00000e80: MLOAD
00000e81: PUSH1 0x20
00000e83: SWAP3
00000e84: DUP4
00000e85: ADD
00000e86: KECCAK256
00000e87: PUSH1 0x00
00000e89: DUP2
00000e8a: DUP2
00000e8b: MSTORE
00000e8c: PUSH1 0xd0
00000e8e: SWAP1
00000e8f: SWAP4
00000e90: MSTORE
00000e91: SWAP2
00000e92: KECCAK256
00000e93: SLOAD
00000e94: SWAP1
00000e95: SWAP2
00000e96: POP
00000e97: PUSH1 0xff
00000e99: AND
00000e9a: PUSH2 0x0ee5
00000e9d: JUMPI
00000e9e: PUSH1 0x40
00000ea0: MLOAD
00000ea1: PUSH3 0x461bcd
00000ea5: PUSH1 0xe5
00000ea7: SHL
00000ea8: DUP2
00000ea9: MSTORE
00000eaa: PUSH1 0x20
00000eac: PUSH1 0x04
00000eae: DUP3
00000eaf: ADD
00000eb0: MSTORE
00000eb1: PUSH1 0x1d
00000eb3: PUSH1 0x24
00000eb5: DUP3
00000eb6: ADD
00000eb7: MSTORE
00000eb8: PUSH32 0x41637469766520657468207472616e73666572732064697361626c6564000000
00000ed9: PUSH1 0x44
00000edb: DUP3
00000edc: ADD
00000edd: MSTORE
00000ede: PUSH1 0x64
00000ee0: ADD
00000ee1: PUSH2 0x0269
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH1 0x40
00000ee8: MLOAD
00000ee9: PUSH1 0x00
00000eeb: DUP2
00000eec: MSTORE
00000eed: DUP2
00000eee: SWAP1
00000eef: PUSH32 0x7fa5d14b256fdc9958409018842283c7aa9f1dcac65d273a908913074613a01d
00000f10: SWAP1
00000f11: PUSH1 0x20
00000f13: ADD
00000f14: PUSH1 0x40
00000f16: MLOAD
00000f17: DUP1
00000f18: SWAP2
00000f19: SUB
00000f1a: SWAP1
00000f1b: LOG2
00000f1c: PUSH1 0x00
00000f1e: SWAP1
00000f1f: DUP2
00000f20: MSTORE
00000f21: PUSH1 0xd0
00000f23: PUSH1 0x20
00000f25: MSTORE
00000f26: PUSH1 0x40
00000f28: SWAP1
00000f29: KECCAK256
00000f2a: DUP1
00000f2b: SLOAD
00000f2c: PUSH1 0xff
00000f2e: NOT
00000f2f: AND
00000f30: SWAP1
00000f31: SSTORE
00000f32: POP
00000f33: POP
00000f34: POP
00000f35: POP
00000f36: JUMP
00000f37: JUMPDEST
00000f38: PUSH1 0x00
00000f3a: DUP3
00000f3b: DUP3
00000f3c: PUSH1 0x40
00000f3e: MLOAD
00000f3f: PUSH1 0x20
00000f41: ADD
00000f42: PUSH2 0x0f4c
00000f45: SWAP3
00000f46: SWAP2
00000f47: SWAP1
00000f48: PUSH2 0x2c1c
00000f4b: JUMP
00000f4c: JUMPDEST
00000f4d: PUSH1 0x40
00000f4f: MLOAD
00000f50: PUSH1 0x20
00000f52: DUP2
00000f53: DUP4
00000f54: SUB
00000f55: SUB
00000f56: DUP2
00000f57: MSTORE
00000f58: SWAP1
00000f59: PUSH1 0x40
00000f5b: MSTORE
00000f5c: DUP1
00000f5d: MLOAD
00000f5e: SWAP1
00000f5f: PUSH1 0x20
00000f61: ADD
00000f62: KECCAK256
00000f63: SWAP1
00000f64: POP
00000f65: PUSH2 0x0f7c
00000f68: PUSH1 0x00
00000f6a: DUP1
00000f6b: MLOAD
00000f6c: PUSH1 0x20
00000f6e: PUSH2 0x307d
00000f71: DUP4
00000f72: CODECOPY
00000f73: DUP2
00000f74: MLOAD
00000f75: SWAP2
00000f76: MSTORE
00000f77: CALLER
00000f78: PUSH2 0x140d
00000f7b: JUMP
00000f7c: JUMPDEST
00000f7d: DUP1
00000f7e: PUSH2 0x0f8c
00000f81: JUMPI
00000f82: POP
00000f83: PUSH2 0x0f8c
00000f86: CALLER
00000f87: DUP3
00000f88: PUSH2 0x0b5f
00000f8b: JUMP
00000f8c: JUMPDEST
00000f8d: PUSH2 0x0fd0
00000f90: JUMPI
00000f91: PUSH1 0x40
00000f93: MLOAD
00000f94: PUSH3 0x461bcd
00000f98: PUSH1 0xe5
00000f9a: SHL
00000f9b: DUP2
00000f9c: MSTORE
00000f9d: PUSH1 0x20
00000f9f: PUSH1 0x04
00000fa1: DUP3
00000fa2: ADD
00000fa3: MSTORE
00000fa4: PUSH1 0x15
00000fa6: PUSH1 0x24
00000fa8: DUP3
00000fa9: ADD
00000faa: MSTORE
00000fab: PUSH21 0x2737ba1030baba3437b934bd32b21031b0b63632b9
00000fc1: PUSH1 0x59
00000fc3: SHL
00000fc4: PUSH1 0x44
00000fc6: DUP3
00000fc7: ADD
00000fc8: MSTORE
00000fc9: PUSH1 0x64
00000fcb: ADD
00000fcc: PUSH2 0x0269
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: PUSH1 0x00
00000fd3: DUP2
00000fd4: DUP2
00000fd5: MSTORE
00000fd6: PUSH1 0xcb
00000fd8: PUSH1 0x20
00000fda: MSTORE
00000fdb: PUSH1 0x40
00000fdd: SWAP1
00000fde: KECCAK256
00000fdf: SLOAD
00000fe0: PUSH1 0x01
00000fe2: PUSH1 0x01
00000fe4: PUSH1 0xa0
00000fe6: SHL
00000fe7: SUB
00000fe8: AND
00000fe9: PUSH2 0x102d
00000fec: JUMPI
00000fed: PUSH1 0x40
00000fef: MLOAD
00000ff0: PUSH3 0x461bcd
00000ff4: PUSH1 0xe5
00000ff6: SHL
00000ff7: DUP2
00000ff8: MSTORE
00000ff9: PUSH1 0x20
00000ffb: PUSH1 0x04
00000ffd: DUP3
00000ffe: ADD
00000fff: MSTORE
00001000: PUSH1 0x16
00001002: PUSH1 0x24
00001004: DUP3
00001005: ADD
00001006: MSTORE
00001007: PUSH22 0x14d2d053114818da185a5b881a5cc81b9bdd081cd95d
0000101e: PUSH1 0x52
00001020: SHL
00001021: PUSH1 0x44
00001023: DUP3
00001024: ADD
00001025: MSTORE
00001026: PUSH1 0x64
00001028: ADD
00001029: PUSH2 0x0269
0000102c: JUMP
0000102d: JUMPDEST
0000102e: PUSH1 0x00
00001030: SWAP1
00001031: DUP2
00001032: MSTORE
00001033: PUSH1 0xcb
00001035: PUSH1 0x20
00001037: MSTORE
00001038: PUSH1 0x40
0000103a: SWAP1
0000103b: KECCAK256
0000103c: DUP1
0000103d: SLOAD
0000103e: PUSH1 0x01
00001040: PUSH1 0x01
00001042: PUSH1 0xa0
00001044: SHL
00001045: SUB
00001046: NOT
00001047: AND
00001048: SWAP1
00001049: SSTORE
0000104a: POP
0000104b: POP
0000104c: JUMP
0000104d: JUMPDEST
0000104e: PUSH1 0x00
00001050: DUP2
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0xcb
00001055: PUSH1 0x20
00001057: MSTORE
00001058: PUSH1 0x40
0000105a: DUP2
0000105b: KECCAK256
0000105c: SLOAD
0000105d: PUSH1 0x01
0000105f: PUSH1 0x01
00001061: PUSH1 0xa0
00001063: SHL
00001064: SUB
00001065: AND
00001066: PUSH2 0x10bd
00001069: JUMPI
0000106a: PUSH1 0x40
0000106c: MLOAD
0000106d: PUSH3 0x461bcd
00001071: PUSH1 0xe5
00001073: SHL
00001074: DUP2
00001075: MSTORE
00001076: PUSH1 0x20
00001078: PUSH1 0x04
0000107a: DUP3
0000107b: ADD
0000107c: MSTORE
0000107d: PUSH1 0x24
0000107f: DUP1
00001080: DUP3
00001081: ADD
00001082: MSTORE
00001083: PUSH32 0x44657374696e6174696f6e20636f6e7472616374206d75737420626520646566
000010a4: PUSH1 0x44
000010a6: DUP3
000010a7: ADD
000010a8: MSTORE
000010a9: PUSH4 0x1a5b9959
000010ae: PUSH1 0xe2
000010b0: SHL
000010b1: PUSH1 0x64
000010b3: DUP3
000010b4: ADD
000010b5: MSTORE
000010b6: PUSH1 0x84
000010b8: ADD
000010b9: PUSH2 0x0269
000010bc: JUMP
000010bd: JUMPDEST
000010be: POP
000010bf: PUSH1 0x00
000010c1: SWAP1
000010c2: DUP2
000010c3: MSTORE
000010c4: PUSH1 0xcb
000010c6: PUSH1 0x20
000010c8: MSTORE
000010c9: PUSH1 0x40
000010cb: SWAP1
000010cc: KECCAK256
000010cd: SLOAD
000010ce: PUSH1 0x01
000010d0: PUSH1 0x01
000010d2: PUSH1 0xa0
000010d4: SHL
000010d5: SUB
000010d6: AND
000010d7: SWAP1
000010d8: JUMP
000010d9: JUMPDEST
000010da: PUSH1 0xca
000010dc: SLOAD
000010dd: PUSH1 0x01
000010df: PUSH1 0x01
000010e1: PUSH1 0xa0
000010e3: SHL
000010e4: SUB
000010e5: AND
000010e6: CALLER
000010e7: EQ
000010e8: PUSH2 0x1133
000010eb: JUMPI
000010ec: PUSH1 0x40
000010ee: MLOAD
000010ef: PUSH3 0x461bcd
000010f3: PUSH1 0xe5
000010f5: SHL
000010f6: DUP2
000010f7: MSTORE
000010f8: PUSH1 0x20
000010fa: PUSH1 0x04
000010fc: DUP3
000010fd: ADD
000010fe: MSTORE
000010ff: PUSH1 0x1c
00001101: PUSH1 0x24
00001103: DUP3
00001104: ADD
00001105: MSTORE
00001106: PUSH32 0x53656e646572206973206e6f742061204d65737361676550726f787900000000
00001127: PUSH1 0x44
00001129: DUP3
0000112a: ADD
0000112b: MSTORE
0000112c: PUSH1 0x64
0000112e: ADD
0000112f: PUSH2 0x0269
00001132: JUMP
00001133: JUMPDEST
00001134: PUSH1 0xcc
00001136: SLOAD
00001137: PUSH1 0x40
00001139: MLOAD
0000113a: PUSH4 0x7f77c90f
0000113f: PUSH1 0xe1
00001141: SHL
00001142: DUP2
00001143: MSTORE
00001144: PUSH1 0x04
00001146: DUP2
00001147: ADD
00001148: DUP7
00001149: SWAP1
0000114a: MSTORE
0000114b: DUP6
0000114c: SWAP2
0000114d: PUSH1 0x01
0000114f: PUSH1 0x01
00001151: PUSH1 0xa0
00001153: SHL
00001154: SUB
00001155: AND
00001156: SWAP1
00001157: PUSH4 0xfeef921e
0000115c: SWAP1
0000115d: PUSH1 0x24
0000115f: ADD
00001160: PUSH1 0x20
00001162: PUSH1 0x40
00001164: MLOAD
00001165: DUP1
00001166: DUP4
00001167: SUB
00001168: DUP2
00001169: DUP7
0000116a: GAS
0000116b: STATICCALL
0000116c: ISZERO
0000116d: DUP1
0000116e: ISZERO
0000116f: PUSH2 0x117c
00001172: JUMPI
00001173: RETURNDATASIZE
00001174: PUSH1 0x00
00001176: DUP1
00001177: RETURNDATACOPY
00001178: RETURNDATASIZE
00001179: PUSH1 0x00
0000117b: REVERT
0000117c: JUMPDEST
0000117d: POP
0000117e: POP
0000117f: POP
00001180: POP
00001181: PUSH1 0x40
00001183: MLOAD
00001184: RETURNDATASIZE
00001185: PUSH1 0x1f
00001187: NOT
00001188: PUSH1 0x1f
0000118a: DUP3
0000118b: ADD
0000118c: AND
0000118d: DUP3
0000118e: ADD
0000118f: DUP1
00001190: PUSH1 0x40
00001192: MSTORE
00001193: POP
00001194: DUP2
00001195: ADD
00001196: SWAP1
00001197: PUSH2 0x11a0
0000119a: SWAP2
0000119b: SWAP1
0000119c: PUSH2 0x2c49
0000119f: JUMP
000011a0: JUMPDEST
000011a1: PUSH2 0x11bc
000011a4: JUMPI
000011a5: PUSH1 0x40
000011a7: MLOAD
000011a8: PUSH3 0x461bcd
000011ac: PUSH1 0xe5
000011ae: SHL
000011af: DUP2
000011b0: MSTORE
000011b1: PUSH1 0x04
000011b3: ADD
000011b4: PUSH2 0x0269
000011b7: SWAP1
000011b8: PUSH2 0x2cf0
000011bb: JUMP
000011bc: JUMPDEST
000011bd: DUP5
000011be: DUP5
000011bf: PUSH1 0x40
000011c1: MLOAD
000011c2: PUSH1 0x20
000011c4: ADD
000011c5: PUSH2 0x11db
000011c8: SWAP1
000011c9: PUSH7 0x13585a5b9b995d
000011d1: PUSH1 0xca
000011d3: SHL
000011d4: DUP2
000011d5: MSTORE
000011d6: PUSH1 0x07
000011d8: ADD
000011d9: SWAP1
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH1 0x40
000011de: MLOAD
000011df: PUSH1 0x20
000011e1: DUP2
000011e2: DUP4
000011e3: SUB
000011e4: SUB
000011e5: DUP2
000011e6: MSTORE
000011e7: SWAP1
000011e8: PUSH1 0x40
000011ea: MSTORE
000011eb: DUP1
000011ec: MLOAD
000011ed: SWAP1
000011ee: PUSH1 0x20
000011f0: ADD
000011f1: KECCAK256
000011f2: DUP3
000011f3: EQ
000011f4: ISZERO
000011f5: DUP1
000011f6: ISZERO
000011f7: PUSH2 0x1219
000011fa: JUMPI
000011fb: POP
000011fc: PUSH1 0x00
000011fe: DUP3
000011ff: DUP2
00001200: MSTORE
00001201: PUSH1 0xcb
00001203: PUSH1 0x20
00001205: MSTORE
00001206: PUSH1 0x40
00001208: SWAP1
00001209: KECCAK256
0000120a: SLOAD
0000120b: PUSH1 0x01
0000120d: PUSH1 0x01
0000120f: PUSH1 0xa0
00001211: SHL
00001212: SUB
00001213: DUP3
00001214: DUP2
00001215: AND
00001216: SWAP2
00001217: AND
00001218: EQ
00001219: JUMPDEST
0000121a: PUSH2 0x1265
0000121d: JUMPI
0000121e: PUSH1 0x40
00001220: MLOAD
00001221: PUSH3 0x461bcd
00001225: PUSH1 0xe5
00001227: SHL
00001228: DUP2
00001229: MSTORE
0000122a: PUSH1 0x20
0000122c: PUSH1 0x04
0000122e: DUP3
0000122f: ADD
00001230: MSTORE
00001231: PUSH1 0x1b
00001233: PUSH1 0x24
00001235: DUP3
00001236: ADD
00001237: MSTORE
00001238: PUSH32 0x526563656976657220636861696e20697320696e636f72726563740000000000
00001259: PUSH1 0x44
0000125b: DUP3
0000125c: ADD
0000125d: MSTORE
0000125e: PUSH1 0x64
00001260: ADD
00001261: PUSH2 0x0269
00001264: JUMP
00001265: JUMPDEST
00001266: PUSH1 0x00
00001268: PUSH2 0x1271
0000126b: DUP7
0000126c: DUP7
0000126d: PUSH2 0x205a
00001270: JUMP
00001271: JUMPDEST
00001272: SWAP1
00001273: POP
00001274: SELFBALANCE
00001275: DUP2
00001276: PUSH1 0x40
00001278: ADD
00001279: MLOAD
0000127a: GT
0000127b: ISZERO
0000127c: PUSH2 0x12db
0000127f: JUMPI
00001280: PUSH1 0x40
00001282: MLOAD
00001283: PUSH3 0x461bcd
00001287: PUSH1 0xe5
00001289: SHL
0000128a: DUP2
0000128b: MSTORE
0000128c: PUSH1 0x20
0000128e: PUSH1 0x04
00001290: DUP3
00001291: ADD
00001292: MSTORE
00001293: PUSH1 0x2b
00001295: PUSH1 0x24
00001297: DUP3
00001298: ADD
00001299: MSTORE
0000129a: PUSH32 0x4e6f7420656e6f756768206d6f6e657920746f2066696e697368207468697320
000012bb: PUSH1 0x44
000012bd: DUP3
000012be: ADD
000012bf: MSTORE
000012c0: PUSH11 0x3a3930b739b0b1ba34b7b7
000012cc: PUSH1 0xa9
000012ce: SHL
000012cf: PUSH1 0x64
000012d1: DUP3
000012d2: ADD
000012d3: MSTORE
000012d4: PUSH1 0x84
000012d6: ADD
000012d7: PUSH2 0x0269
000012da: JUMP
000012db: JUMPDEST
000012dc: PUSH2 0x12e9
000012df: DUP9
000012e0: DUP3
000012e1: PUSH1 0x40
000012e3: ADD
000012e4: MLOAD
000012e5: PUSH2 0x2123
000012e8: JUMP
000012e9: JUMPDEST
000012ea: PUSH1 0x00
000012ec: DUP9
000012ed: DUP2
000012ee: MSTORE
000012ef: PUSH1 0xd0
000012f1: PUSH1 0x20
000012f3: MSTORE
000012f4: PUSH1 0x40
000012f6: SWAP1
000012f7: KECCAK256
000012f8: SLOAD
000012f9: PUSH1 0xff
000012fb: AND
000012fc: PUSH2 0x1347
000012ff: JUMPI
00001300: DUP1
00001301: PUSH1 0x40
00001303: ADD
00001304: MLOAD
00001305: PUSH1 0xce
00001307: PUSH1 0x00
00001309: DUP4
0000130a: PUSH1 0x20
0000130c: ADD
0000130d: MLOAD
0000130e: PUSH1 0x01
00001310: PUSH1 0x01
00001312: PUSH1 0xa0
00001314: SHL
00001315: SUB
00001316: AND
00001317: PUSH1 0x01
00001319: PUSH1 0x01
0000131b: PUSH1 0xa0
0000131d: SHL
0000131e: SUB
0000131f: AND
00001320: DUP2
00001321: MSTORE
00001322: PUSH1 0x20
00001324: ADD
00001325: SWAP1
00001326: DUP2
00001327: MSTORE
00001328: PUSH1 0x20
0000132a: ADD
0000132b: PUSH1 0x00
0000132d: KECCAK256
0000132e: PUSH1 0x00
00001330: DUP3
00001331: DUP3
00001332: SLOAD
00001333: PUSH2 0x133c
00001336: SWAP2
00001337: SWAP1
00001338: PUSH2 0x2d30
0000133b: JUMP
0000133c: JUMPDEST
0000133d: SWAP1
0000133e: SWAP2
0000133f: SSTORE
00001340: POP
00001341: PUSH2 0x136b
00001344: SWAP1
00001345: POP
00001346: JUMP
00001347: JUMPDEST
00001348: PUSH2 0x136b
0000134b: DUP2
0000134c: PUSH1 0x40
0000134e: ADD
0000134f: MLOAD
00001350: DUP3
00001351: PUSH1 0x20
00001353: ADD
00001354: MLOAD
00001355: PUSH1 0x01
00001357: PUSH1 0x01
00001359: PUSH1 0xa0
0000135b: SHL
0000135c: SUB
0000135d: AND
0000135e: PUSH2 0x1ef3
00001361: SWAP1
00001362: SWAP2
00001363: SWAP1
00001364: PUSH4 0xffffffff
00001369: AND
0000136a: JUMP
0000136b: JUMPDEST
0000136c: POP
0000136d: POP
0000136e: POP
0000136f: POP
00001370: POP
00001371: POP
00001372: POP
00001373: POP
00001374: JUMP
00001375: JUMPDEST
00001376: DUP1
00001377: PUSH2 0x1383
0000137a: CALLER
0000137b: PUSH2 0x0428
0000137e: DUP4
0000137f: PUSH2 0x20f3
00001382: JUMP
00001383: JUMPDEST
00001384: PUSH2 0x139f
00001387: JUMPI
00001388: PUSH1 0x40
0000138a: MLOAD
0000138b: PUSH3 0x461bcd
0000138f: PUSH1 0xe5
00001391: SHL
00001392: DUP2
00001393: MSTORE
00001394: PUSH1 0x04
00001396: ADD
00001397: PUSH2 0x0269
0000139a: SWAP1
0000139b: PUSH2 0x2cb9
0000139e: JUMP
0000139f: JUMPDEST
000013a0: PUSH1 0x01
000013a2: PUSH1 0xcd
000013a4: PUSH1 0x00
000013a6: DUP5
000013a7: PUSH1 0x40
000013a9: MLOAD
000013aa: PUSH1 0x20
000013ac: ADD
000013ad: PUSH2 0x13b6
000013b0: SWAP2
000013b1: SWAP1
000013b2: PUSH2 0x2d67
000013b5: JUMP
000013b6: JUMPDEST
000013b7: PUSH1 0x40
000013b9: DUP1
000013ba: MLOAD
000013bb: DUP1
000013bc: DUP4
000013bd: SUB
000013be: PUSH1 0x1f
000013c0: NOT
000013c1: ADD
000013c2: DUP2
000013c3: MSTORE
000013c4: SWAP2
000013c5: DUP2
000013c6: MSTORE
000013c7: DUP2
000013c8: MLOAD
000013c9: PUSH1 0x20
000013cb: SWAP3
000013cc: DUP4
000013cd: ADD
000013ce: KECCAK256
000013cf: DUP4
000013d0: MSTORE
000013d1: SWAP1
000013d2: DUP3
000013d3: ADD
000013d4: SWAP3
000013d5: SWAP1
000013d6: SWAP3
000013d7: MSTORE
000013d8: ADD
000013d9: PUSH1 0x00
000013db: KECCAK256
000013dc: DUP1
000013dd: SLOAD
000013de: PUSH1 0xff
000013e0: NOT
000013e1: AND
000013e2: SWAP2
000013e3: ISZERO
000013e4: ISZERO
000013e5: SWAP2
000013e6: SWAP1
000013e7: SWAP2
000013e8: OR
000013e9: SWAP1
000013ea: SSTORE
000013eb: POP
000013ec: POP
000013ed: JUMP
000013ee: JUMPDEST
000013ef: PUSH1 0x00
000013f1: DUP3
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x97
000013f6: PUSH1 0x20
000013f8: MSTORE
000013f9: PUSH1 0x40
000013fb: DUP2
000013fc: KECCAK256
000013fd: PUSH2 0x1406
00001400: SWAP1
00001401: DUP4
00001402: PUSH2 0x214a
00001405: JUMP
00001406: JUMPDEST
00001407: SWAP4
00001408: SWAP3
00001409: POP
0000140a: POP
0000140b: POP
0000140c: JUMP
0000140d: JUMPDEST
0000140e: PUSH1 0x00
00001410: SWAP2
00001411: DUP3
00001412: MSTORE
00001413: PUSH1 0x65
00001415: PUSH1 0x20
00001417: SWAP1
00001418: DUP2
00001419: MSTORE
0000141a: PUSH1 0x40
0000141c: DUP1
0000141d: DUP5
0000141e: KECCAK256
0000141f: PUSH1 0x01
00001421: PUSH1 0x01
00001423: PUSH1 0xa0
00001425: SHL
00001426: SUB
00001427: SWAP4
00001428: SWAP1
00001429: SWAP4
0000142a: AND
0000142b: DUP5
0000142c: MSTORE
0000142d: SWAP2
0000142e: SWAP1
0000142f: MSTORE
00001430: SWAP1
00001431: KECCAK256
00001432: SLOAD
00001433: PUSH1 0xff
00001435: AND
00001436: SWAP1
00001437: JUMP
00001438: JUMPDEST
00001439: PUSH2 0x0850
0000143c: DUP2
0000143d: CALLER
0000143e: PUSH2 0x175f
00001441: JUMP
00001442: JUMPDEST
00001443: DUP2
00001444: DUP2
00001445: DUP1
00001446: DUP1
00001447: PUSH1 0x1f
00001449: ADD
0000144a: PUSH1 0x20
0000144c: DUP1
0000144d: SWAP2
0000144e: DIV
0000144f: MUL
00001450: PUSH1 0x20
00001452: ADD
00001453: PUSH1 0x40
00001455: MLOAD
00001456: SWAP1
00001457: DUP2
00001458: ADD
00001459: PUSH1 0x40
0000145b: MSTORE
0000145c: DUP1
0000145d: SWAP4
0000145e: SWAP3
0000145f: SWAP2
00001460: SWAP1
00001461: DUP2
00001462: DUP2
00001463: MSTORE
00001464: PUSH1 0x20
00001466: ADD
00001467: DUP4
00001468: DUP4
00001469: DUP1
0000146a: DUP3
0000146b: DUP5
0000146c: CALLDATACOPY
0000146d: PUSH1 0x00
0000146f: SWAP3
00001470: ADD
00001471: SWAP2
00001472: SWAP1
00001473: SWAP2
00001474: MSTORE
00001475: POP
00001476: PUSH2 0x1488
00001479: SWAP3
0000147a: POP
0000147b: CALLER
0000147c: SWAP2
0000147d: POP
0000147e: PUSH2 0x0428
00001481: SWAP1
00001482: POP
00001483: DUP4
00001484: PUSH2 0x20f3
00001487: JUMP
00001488: JUMPDEST
00001489: PUSH2 0x14a4
0000148c: JUMPI
0000148d: PUSH1 0x40
0000148f: MLOAD
00001490: PUSH3 0x461bcd
00001494: PUSH1 0xe5
00001496: SHL
00001497: DUP2
00001498: MSTORE
00001499: PUSH1 0x04
0000149b: ADD
0000149c: PUSH2 0x0269
0000149f: SWAP1
000014a0: PUSH2 0x2cb9
000014a3: JUMP
000014a4: JUMPDEST
000014a5: DUP3
000014a6: DUP3
000014a7: PUSH1 0x40
000014a9: MLOAD
000014aa: PUSH1 0x20
000014ac: ADD
000014ad: PUSH2 0x14b7
000014b0: SWAP3
000014b1: SWAP2
000014b2: SWAP1
000014b3: PUSH2 0x2c1c
000014b6: JUMP
000014b7: JUMPDEST
000014b8: PUSH1 0x40
000014ba: DUP1
000014bb: MLOAD
000014bc: DUP1
000014bd: DUP4
000014be: SUB
000014bf: PUSH1 0x1f
000014c1: NOT
000014c2: ADD
000014c3: DUP2
000014c4: MSTORE
000014c5: SWAP1
000014c6: DUP3
000014c7: SWAP1
000014c8: MSTORE
000014c9: DUP1
000014ca: MLOAD
000014cb: PUSH1 0x20
000014cd: SWAP1
000014ce: SWAP2
000014cf: ADD
000014d0: KECCAK256
000014d1: PUSH1 0xcc
000014d3: SLOAD
000014d4: PUSH4 0x7f77c90f
000014d9: PUSH1 0xe1
000014db: SHL
000014dc: DUP4
000014dd: MSTORE
000014de: PUSH1 0x04
000014e0: DUP4
000014e1: ADD
000014e2: DUP3
000014e3: SWAP1
000014e4: MSTORE
000014e5: SWAP1
000014e6: SWAP2
000014e7: PUSH1 0x01
000014e9: PUSH1 0x01
000014eb: PUSH1 0xa0
000014ed: SHL
000014ee: SUB
000014ef: SWAP1
000014f0: SWAP2
000014f1: AND
000014f2: SWAP1
000014f3: PUSH4 0xfeef921e
000014f8: SWAP1
000014f9: PUSH1 0x24
000014fb: ADD
000014fc: PUSH1 0x20
000014fe: PUSH1 0x40
00001500: MLOAD
00001501: DUP1
00001502: DUP4
00001503: SUB
00001504: DUP2
00001505: DUP7
00001506: GAS
00001507: STATICCALL
00001508: ISZERO
00001509: DUP1
0000150a: ISZERO
0000150b: PUSH2 0x1518
0000150e: JUMPI
0000150f: RETURNDATASIZE
00001510: PUSH1 0x00
00001512: DUP1
00001513: RETURNDATACOPY
00001514: RETURNDATASIZE
00001515: PUSH1 0x00
00001517: REVERT
00001518: JUMPDEST
00001519: POP
0000151a: POP
0000151b: POP
0000151c: POP
0000151d: PUSH1 0x40
0000151f: MLOAD
00001520: RETURNDATASIZE
00001521: PUSH1 0x1f
00001523: NOT
00001524: PUSH1 0x1f
00001526: DUP3
00001527: ADD
00001528: AND
00001529: DUP3
0000152a: ADD
0000152b: DUP1
0000152c: PUSH1 0x40
0000152e: MSTORE
0000152f: POP
00001530: DUP2
00001531: ADD
00001532: SWAP1
00001533: PUSH2 0x153c
00001536: SWAP2
00001537: SWAP1
00001538: PUSH2 0x2c49
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH2 0x1558
00001540: JUMPI
00001541: PUSH1 0x40
00001543: MLOAD
00001544: PUSH3 0x461bcd
00001548: PUSH1 0xe5
0000154a: SHL
0000154b: DUP2
0000154c: MSTORE
0000154d: PUSH1 0x04
0000154f: ADD
00001550: PUSH2 0x0269
00001553: SWAP1
00001554: PUSH2 0x2cf0
00001557: JUMP
00001558: JUMPDEST
00001559: PUSH1 0x00
0000155b: DUP5
0000155c: DUP5
0000155d: PUSH1 0x40
0000155f: MLOAD
00001560: PUSH1 0x20
00001562: ADD
00001563: PUSH2 0x156d
00001566: SWAP3
00001567: SWAP2
00001568: SWAP1
00001569: PUSH2 0x2c1c
0000156c: JUMP
0000156d: JUMPDEST
0000156e: PUSH1 0x40
00001570: DUP1
00001571: MLOAD
00001572: PUSH1 0x1f
00001574: NOT
00001575: DUP2
00001576: DUP5
00001577: SUB
00001578: ADD
00001579: DUP2
0000157a: MSTORE
0000157b: SWAP2
0000157c: DUP2
0000157d: MSTORE
0000157e: DUP2
0000157f: MLOAD
00001580: PUSH1 0x20
00001582: SWAP3
00001583: DUP4
00001584: ADD
00001585: KECCAK256
00001586: PUSH1 0x00
00001588: DUP2
00001589: DUP2
0000158a: MSTORE
0000158b: PUSH1 0xd0
0000158d: SWAP1
0000158e: SWAP4
0000158f: MSTORE
00001590: SWAP2
00001591: KECCAK256
00001592: SLOAD
00001593: SWAP1
00001594: SWAP2
00001595: POP
00001596: PUSH1 0xff
00001598: AND
00001599: ISZERO
0000159a: PUSH2 0x15e5
0000159d: JUMPI
0000159e: PUSH1 0x40
000015a0: MLOAD
000015a1: PUSH3 0x461bcd
000015a5: PUSH1 0xe5
000015a7: SHL
000015a8: DUP2
000015a9: MSTORE
000015aa: PUSH1 0x20
000015ac: PUSH1 0x04
000015ae: DUP3
000015af: ADD
000015b0: MSTORE
000015b1: PUSH1 0x1c
000015b3: PUSH1 0x24
000015b5: DUP3
000015b6: ADD
000015b7: MSTORE
000015b8: PUSH32 0x41637469766520657468207472616e736665727320656e61626c656400000000
000015d9: PUSH1 0x44
000015db: DUP3
000015dc: ADD
000015dd: MSTORE
000015de: PUSH1 0x64
000015e0: ADD
000015e1: PUSH2 0x0269
000015e4: JUMP
000015e5: JUMPDEST
000015e6: PUSH1 0x40
000015e8: MLOAD
000015e9: PUSH1 0x01
000015eb: DUP2
000015ec: MSTORE
000015ed: DUP2
000015ee: SWAP1
000015ef: PUSH32 0x7fa5d14b256fdc9958409018842283c7aa9f1dcac65d273a908913074613a01d
00001610: SWAP1
00001611: PUSH1 0x20
00001613: ADD
00001614: PUSH1 0x40
00001616: MLOAD
00001617: DUP1
00001618: SWAP2
00001619: SUB
0000161a: SWAP1
0000161b: LOG2
0000161c: PUSH1 0x00
0000161e: SWAP1
0000161f: DUP2
00001620: MSTORE
00001621: PUSH1 0xd0
00001623: PUSH1 0x20
00001625: MSTORE
00001626: PUSH1 0x40
00001628: SWAP1
00001629: KECCAK256
0000162a: DUP1
0000162b: SLOAD
0000162c: PUSH1 0xff
0000162e: NOT
0000162f: AND
00001630: PUSH1 0x01
00001632: OR
00001633: SWAP1
00001634: SSTORE
00001635: POP
00001636: POP
00001637: POP
00001638: POP
00001639: JUMP
0000163a: JUMPDEST
0000163b: PUSH1 0xc9
0000163d: SLOAD
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: PUSH4 0x35817773
00001646: PUSH1 0xe0
00001648: SHL
00001649: DUP2
0000164a: MSTORE
0000164b: PUSH1 0x20
0000164d: PUSH1 0x04
0000164f: DUP3
00001650: ADD
00001651: MSTORE
00001652: PUSH1 0x0f
00001654: PUSH1 0x24
00001656: DUP3
00001657: ADD
00001658: MSTORE
00001659: PUSH15 0x14d8da185a5b9cd25b9d195c9b985b
00001669: PUSH1 0x8a
0000166b: SHL
0000166c: PUSH1 0x44
0000166e: DUP3
0000166f: ADD
00001670: MSTORE
00001671: PUSH1 0x00
00001673: SWAP2
00001674: DUP3
00001675: SWAP2
00001676: PUSH1 0x01
00001678: PUSH1 0x01
0000167a: PUSH1 0xa0
0000167c: SHL
0000167d: SUB
0000167e: SWAP1
0000167f: SWAP2
00001680: AND
00001681: SWAP1
00001682: PUSH4 0x35817773
00001687: SWAP1
00001688: PUSH1 0x64
0000168a: ADD
0000168b: PUSH1 0x20
0000168d: PUSH1 0x40
0000168f: MLOAD
00001690: DUP1
00001691: DUP4
00001692: SUB
00001693: DUP2
00001694: DUP7
00001695: GAS
00001696: STATICCALL
00001697: ISZERO
00001698: DUP1
00001699: ISZERO
0000169a: PUSH2 0x16a7
0000169d: JUMPI
0000169e: RETURNDATASIZE
0000169f: PUSH1 0x00
000016a1: DUP1
000016a2: RETURNDATACOPY
000016a3: RETURNDATASIZE
000016a4: PUSH1 0x00
000016a6: REVERT
000016a7: JUMPDEST
000016a8: POP
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: PUSH1 0x40
000016ae: MLOAD
000016af: RETURNDATASIZE
000016b0: PUSH1 0x1f
000016b2: NOT
000016b3: PUSH1 0x1f
000016b5: DUP3
000016b6: ADD
000016b7: AND
000016b8: DUP3
000016b9: ADD
000016ba: DUP1
000016bb: PUSH1 0x40
000016bd: MSTORE
000016be: POP
000016bf: DUP2
000016c0: ADD
000016c1: SWAP1
000016c2: PUSH2 0x16cb
000016c5: SWAP2
000016c6: SWAP1
000016c7: PUSH2 0x2c2c
000016ca: JUMP
000016cb: JUMPDEST
000016cc: PUSH1 0x40
000016ce: MLOAD
000016cf: PUSH4 0x55189a3d
000016d4: PUSH1 0xe1
000016d6: SHL
000016d7: DUP2
000016d8: MSTORE
000016d9: PUSH1 0x04
000016db: DUP2
000016dc: ADD
000016dd: DUP7
000016de: SWAP1
000016df: MSTORE
000016e0: PUSH1 0x01
000016e2: PUSH1 0x01
000016e4: PUSH1 0xa0
000016e6: SHL
000016e7: SUB
000016e8: DUP6
000016e9: DUP2
000016ea: AND
000016eb: PUSH1 0x24
000016ed: DUP4
000016ee: ADD
000016ef: MSTORE
000016f0: SWAP2
000016f1: SWAP3
000016f2: POP
000016f3: SWAP1
000016f4: DUP3
000016f5: AND
000016f6: SWAP1
000016f7: PUSH4 0xaa31347a
000016fc: SWAP1
000016fd: PUSH1 0x44
000016ff: ADD
00001700: PUSH2 0x0c25
00001703: JUMP
00001704: JUMPDEST
00001705: PUSH1 0x00
00001707: DUP1
00001708: PUSH1 0x01
0000170a: PUSH1 0x01
0000170c: PUSH1 0xa0
0000170e: SHL
0000170f: SUB
00001710: AND
00001711: PUSH1 0xcb
00001713: PUSH1 0x00
00001715: DUP6
00001716: DUP6
00001717: PUSH1 0x40
00001719: MLOAD
0000171a: PUSH1 0x20
0000171c: ADD
0000171d: PUSH2 0x1727
00001720: SWAP3
00001721: SWAP2
00001722: SWAP1
00001723: PUSH2 0x2c1c
00001726: JUMP
00001727: JUMPDEST
00001728: PUSH1 0x40
0000172a: DUP1
0000172b: MLOAD
0000172c: DUP1
0000172d: DUP4
0000172e: SUB
0000172f: PUSH1 0x1f
00001731: NOT
00001732: ADD
00001733: DUP2
00001734: MSTORE
00001735: SWAP2
00001736: DUP2
00001737: MSTORE
00001738: DUP2
00001739: MLOAD
0000173a: PUSH1 0x20
0000173c: SWAP3
0000173d: DUP4
0000173e: ADD
0000173f: KECCAK256
00001740: DUP4
00001741: MSTORE
00001742: SWAP1
00001743: DUP3
00001744: ADD
00001745: SWAP3
00001746: SWAP1
00001747: SWAP3
00001748: MSTORE
00001749: ADD
0000174a: PUSH1 0x00
0000174c: KECCAK256
0000174d: SLOAD
0000174e: PUSH1 0x01
00001750: PUSH1 0x01
00001752: PUSH1 0xa0
00001754: SHL
00001755: SUB
00001756: AND
00001757: EQ
00001758: ISZERO
00001759: SWAP4
0000175a: SWAP3
0000175b: POP
0000175c: POP
0000175d: POP
0000175e: JUMP
0000175f: JUMPDEST
00001760: DUP2
00001761: DUP2
00001762: PUSH1 0x40
00001764: MLOAD
00001765: PUSH1 0x20
00001767: ADD
00001768: PUSH2 0x177e
0000176b: SWAP1
0000176c: PUSH7 0x13585a5b9b995d
00001774: PUSH1 0xca
00001776: SHL
00001777: DUP2
00001778: MSTORE
00001779: PUSH1 0x07
0000177b: ADD
0000177c: SWAP1
0000177d: JUMP
0000177e: JUMPDEST
0000177f: PUSH1 0x40
00001781: MLOAD
00001782: PUSH1 0x20
00001784: DUP2
00001785: DUP4
00001786: SUB
00001787: SUB
00001788: DUP2
00001789: MSTORE
0000178a: SWAP1
0000178b: PUSH1 0x40
0000178d: MSTORE
0000178e: DUP1
0000178f: MLOAD
00001790: SWAP1
00001791: PUSH1 0x20
00001793: ADD
00001794: KECCAK256
00001795: DUP3
00001796: PUSH1 0x40
00001798: MLOAD
00001799: PUSH1 0x20
0000179b: ADD
0000179c: PUSH2 0x17a5
0000179f: SWAP2
000017a0: SWAP1
000017a1: PUSH2 0x2d67
000017a4: JUMP
000017a5: JUMPDEST
000017a6: PUSH1 0x40
000017a8: MLOAD
000017a9: PUSH1 0x20
000017ab: DUP2
000017ac: DUP4
000017ad: SUB
000017ae: SUB
000017af: DUP2
000017b0: MSTORE
000017b1: SWAP1
000017b2: PUSH1 0x40
000017b4: MSTORE
000017b5: DUP1
000017b6: MLOAD
000017b7: SWAP1
000017b8: PUSH1 0x20
000017ba: ADD
000017bb: KECCAK256
000017bc: SUB
000017bd: PUSH2 0x1813
000017c0: JUMPI
000017c1: PUSH1 0x40
000017c3: MLOAD
000017c4: PUSH3 0x461bcd
000017c8: PUSH1 0xe5
000017ca: SHL
000017cb: DUP2
000017cc: MSTORE
000017cd: PUSH1 0x20
000017cf: PUSH1 0x04
000017d1: DUP3
000017d2: ADD
000017d3: MSTORE
000017d4: PUSH1 0x22
000017d6: PUSH1 0x24
000017d8: DUP3
000017d9: ADD
000017da: MSTORE
000017db: PUSH32 0x534b414c4520636861696e206e616d652063616e6e6f74206265204d61696e6e
000017fc: PUSH1 0x44
000017fe: DUP3
000017ff: ADD
00001800: MSTORE
00001801: PUSH2 0x195d
00001804: PUSH1 0xf2
00001806: SHL
00001807: PUSH1 0x64
00001809: DUP3
0000180a: ADD
0000180b: MSTORE
0000180c: PUSH1 0x84
0000180e: ADD
0000180f: PUSH2 0x0269
00001812: JUMP
00001813: JUMPDEST
00001814: PUSH1 0x01
00001816: PUSH1 0x01
00001818: PUSH1 0xa0
0000181a: SHL
0000181b: SUB
0000181c: DUP2
0000181d: AND
0000181e: PUSH2 0x1869
00001821: JUMPI
00001822: PUSH1 0x40
00001824: MLOAD
00001825: PUSH3 0x461bcd
00001829: PUSH1 0xe5
0000182b: SHL
0000182c: DUP2
0000182d: MSTORE
0000182e: PUSH1 0x20
00001830: PUSH1 0x04
00001832: DUP3
00001833: ADD
00001834: MSTORE
00001835: PUSH1 0x1f
00001837: PUSH1 0x24
00001839: DUP3
0000183a: ADD
0000183b: MSTORE
0000183c: PUSH32 0x526563656976657220616464726573732063616e6e6f74206265206e756c6c00
0000185d: PUSH1 0x44
0000185f: DUP3
00001860: ADD
00001861: MSTORE
00001862: PUSH1 0x64
00001864: ADD
00001865: PUSH2 0x0269
00001868: JUMP
00001869: JUMPDEST
0000186a: DUP4
0000186b: PUSH1 0x40
0000186d: MLOAD
0000186e: PUSH1 0x20
00001870: ADD
00001871: PUSH2 0x187a
00001874: SWAP2
00001875: SWAP1
00001876: PUSH2 0x2d67
00001879: JUMP
0000187a: JUMPDEST
0000187b: PUSH1 0x40
0000187d: DUP1
0000187e: MLOAD
0000187f: DUP1
00001880: DUP4
00001881: SUB
00001882: PUSH1 0x1f
00001884: NOT
00001885: ADD
00001886: DUP2
00001887: MSTORE
00001888: SWAP1
00001889: DUP3
0000188a: SWAP1
0000188b: MSTORE
0000188c: DUP1
0000188d: MLOAD
0000188e: PUSH1 0x20
00001890: SWAP1
00001891: SWAP2
00001892: ADD
00001893: KECCAK256
00001894: PUSH1 0xcc
00001896: SLOAD
00001897: PUSH4 0x7f77c90f
0000189c: PUSH1 0xe1
0000189e: SHL
0000189f: DUP4
000018a0: MSTORE
000018a1: PUSH1 0x04
000018a3: DUP4
000018a4: ADD
000018a5: DUP3
000018a6: SWAP1
000018a7: MSTORE
000018a8: SWAP1
000018a9: SWAP2
000018aa: PUSH1 0x01
000018ac: PUSH1 0x01
000018ae: PUSH1 0xa0
000018b0: SHL
000018b1: SUB
000018b2: SWAP1
000018b3: SWAP2
000018b4: AND
000018b5: SWAP1
000018b6: PUSH4 0xfeef921e
000018bb: SWAP1
000018bc: PUSH1 0x24
000018be: ADD
000018bf: PUSH1 0x20
000018c1: PUSH1 0x40
000018c3: MLOAD
000018c4: DUP1
000018c5: DUP4
000018c6: SUB
000018c7: DUP2
000018c8: DUP7
000018c9: GAS
000018ca: STATICCALL
000018cb: ISZERO
000018cc: DUP1
000018cd: ISZERO
000018ce: PUSH2 0x18db
000018d1: JUMPI
000018d2: RETURNDATASIZE
000018d3: PUSH1 0x00
000018d5: DUP1
000018d6: RETURNDATACOPY
000018d7: RETURNDATASIZE
000018d8: PUSH1 0x00
000018da: REVERT
000018db: JUMPDEST
000018dc: POP
000018dd: POP
000018de: POP
000018df: POP
000018e0: PUSH1 0x40
000018e2: MLOAD
000018e3: RETURNDATASIZE
000018e4: PUSH1 0x1f
000018e6: NOT
000018e7: PUSH1 0x1f
000018e9: DUP3
000018ea: ADD
000018eb: AND
000018ec: DUP3
000018ed: ADD
000018ee: DUP1
000018ef: PUSH1 0x40
000018f1: MSTORE
000018f2: POP
000018f3: DUP2
000018f4: ADD
000018f5: SWAP1
000018f6: PUSH2 0x18ff
000018f9: SWAP2
000018fa: SWAP1
000018fb: PUSH2 0x2c49
000018fe: JUMP
000018ff: JUMPDEST
00001900: PUSH2 0x191b
00001903: JUMPI
00001904: PUSH1 0x40
00001906: MLOAD
00001907: PUSH3 0x461bcd
0000190b: PUSH1 0xe5
0000190d: SHL
0000190e: DUP2
0000190f: MSTORE
00001910: PUSH1 0x04
00001912: ADD
00001913: PUSH2 0x0269
00001916: SWAP1
00001917: PUSH2 0x2cf0
0000191a: JUMP
0000191b: JUMPDEST
0000191c: PUSH1 0x00
0000191e: DUP6
0000191f: PUSH1 0x40
00001921: MLOAD
00001922: PUSH1 0x20
00001924: ADD
00001925: PUSH2 0x192e
00001928: SWAP2
00001929: SWAP1
0000192a: PUSH2 0x2d67
0000192d: JUMP
0000192e: JUMPDEST
0000192f: PUSH1 0x40
00001931: DUP1
00001932: MLOAD
00001933: PUSH1 0x1f
00001935: NOT
00001936: DUP2
00001937: DUP5
00001938: SUB
00001939: ADD
0000193a: DUP2
0000193b: MSTORE
0000193c: SWAP2
0000193d: DUP2
0000193e: MSTORE
0000193f: DUP2
00001940: MLOAD
00001941: PUSH1 0x20
00001943: SWAP3
00001944: DUP4
00001945: ADD
00001946: KECCAK256
00001947: PUSH1 0x00
00001949: DUP2
0000194a: DUP2
0000194b: MSTORE
0000194c: PUSH1 0xcb
0000194e: SWAP1
0000194f: SWAP4
00001950: MSTORE
00001951: SWAP2
00001952: KECCAK256
00001953: SLOAD
00001954: SWAP1
00001955: SWAP2
00001956: POP
00001957: PUSH1 0x01
00001959: PUSH1 0x01
0000195b: PUSH1 0xa0
0000195d: SHL
0000195e: SUB
0000195f: AND
00001960: DUP1
00001961: PUSH2 0x19a0
00001964: JUMPI
00001965: PUSH1 0x40
00001967: MLOAD
00001968: PUSH3 0x461bcd
0000196c: PUSH1 0xe5
0000196e: SHL
0000196f: DUP2
00001970: MSTORE
00001971: PUSH1 0x20
00001973: PUSH1 0x04
00001975: DUP3
00001976: ADD
00001977: MSTORE
00001978: PUSH1 0x11
0000197a: PUSH1 0x24
0000197c: DUP3
0000197d: ADD
0000197e: MSTORE
0000197f: PUSH17 0x2ab731b7b73732b1ba32b21031b430b4b7
00001991: PUSH1 0x79
00001993: SHL
00001994: PUSH1 0x44
00001996: DUP3
00001997: ADD
00001998: MSTORE
00001999: PUSH1 0x64
0000199b: ADD
0000199c: PUSH2 0x0269
0000199f: JUMP
000019a0: JUMPDEST
000019a1: PUSH2 0x19aa
000019a4: DUP3
000019a5: CALLVALUE
000019a6: PUSH2 0x2156
000019a9: JUMP
000019aa: JUMPDEST
000019ab: PUSH1 0xca
000019ad: SLOAD
000019ae: PUSH1 0x01
000019b0: PUSH1 0x01
000019b2: PUSH1 0xa0
000019b4: SHL
000019b5: SUB
000019b6: AND
000019b7: PUSH4 0x94489202
000019bc: DUP4
000019bd: DUP4
000019be: PUSH2 0x19c7
000019c1: DUP11
000019c2: CALLVALUE
000019c3: PUSH2 0x2174
000019c6: JUMP
000019c7: JUMPDEST
000019c8: PUSH1 0x40
000019ca: MLOAD
000019cb: DUP5
000019cc: PUSH4 0xffffffff
000019d1: AND
000019d2: PUSH1 0xe0
000019d4: SHL
000019d5: DUP2
000019d6: MSTORE
000019d7: PUSH1 0x04
000019d9: ADD
000019da: PUSH2 0x19e5
000019dd: SWAP4
000019de: SWAP3
000019df: SWAP2
000019e0: SWAP1
000019e1: PUSH2 0x2daf
000019e4: JUMP
000019e5: JUMPDEST
000019e6: PUSH1 0x00
000019e8: PUSH1 0x40
000019ea: MLOAD
000019eb: DUP1
000019ec: DUP4
000019ed: SUB
000019ee: DUP2
000019ef: PUSH1 0x00
000019f1: DUP8
000019f2: DUP1
000019f3: EXTCODESIZE
000019f4: ISZERO
000019f5: DUP1
000019f6: ISZERO
000019f7: PUSH2 0x19ff
000019fa: JUMPI
000019fb: PUSH1 0x00
000019fd: DUP1
000019fe: REVERT
000019ff: JUMPDEST
00001a00: POP
00001a01: GAS
00001a02: CALL
00001a03: ISZERO
00001a04: DUP1
00001a05: ISZERO
00001a06: PUSH2 0x1a13
00001a09: JUMPI
00001a0a: RETURNDATASIZE
00001a0b: PUSH1 0x00
00001a0d: DUP1
00001a0e: RETURNDATACOPY
00001a0f: RETURNDATASIZE
00001a10: PUSH1 0x00
00001a12: REVERT
00001a13: JUMPDEST
00001a14: POP
00001a15: POP
00001a16: POP
00001a17: POP
00001a18: POP
00001a19: POP
00001a1a: POP
00001a1b: POP
00001a1c: POP
00001a1d: POP
00001a1e: POP
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH1 0x00
00001a23: PUSH1 0xcd
00001a25: PUSH1 0x00
00001a27: DUP4
00001a28: PUSH1 0x40
00001a2a: MLOAD
00001a2b: PUSH1 0x20
00001a2d: ADD
00001a2e: PUSH2 0x1a37
00001a31: SWAP2
00001a32: SWAP1
00001a33: PUSH2 0x2d67
00001a36: JUMP
00001a37: JUMPDEST
00001a38: PUSH1 0x40
00001a3a: DUP1
00001a3b: MLOAD
00001a3c: PUSH1 0x1f
00001a3e: NOT
00001a3f: DUP2
00001a40: DUP5
00001a41: SUB
00001a42: ADD
00001a43: DUP2
00001a44: MSTORE
00001a45: SWAP2
00001a46: DUP2
00001a47: MSTORE
00001a48: DUP2
00001a49: MLOAD
00001a4a: PUSH1 0x20
00001a4c: SWAP3
00001a4d: DUP4
00001a4e: ADD
00001a4f: KECCAK256
00001a50: DUP4
00001a51: MSTORE
00001a52: SWAP1
00001a53: DUP3
00001a54: ADD
00001a55: SWAP3
00001a56: SWAP1
00001a57: SWAP3
00001a58: MSTORE
00001a59: ADD
00001a5a: PUSH1 0x00
00001a5c: KECCAK256
00001a5d: SLOAD
00001a5e: PUSH1 0xff
00001a60: AND
00001a61: ISZERO
00001a62: SWAP3
00001a63: SWAP2
00001a64: POP
00001a65: POP
00001a66: JUMP
00001a67: JUMPDEST
00001a68: PUSH1 0x00
00001a6a: SLOAD
00001a6b: PUSH2 0x0100
00001a6e: SWAP1
00001a6f: DIV
00001a70: PUSH1 0xff
00001a72: AND
00001a73: ISZERO
00001a74: DUP1
00001a75: DUP1
00001a76: ISZERO
00001a77: PUSH2 0x1a87
00001a7a: JUMPI
00001a7b: POP
00001a7c: PUSH1 0x00
00001a7e: SLOAD
00001a7f: PUSH1 0x01
00001a81: PUSH1 0xff
00001a83: SWAP1
00001a84: SWAP2
00001a85: AND
00001a86: LT
00001a87: JUMPDEST
00001a88: DUP1
00001a89: PUSH2 0x1aa1
00001a8c: JUMPI
00001a8d: POP
00001a8e: ADDRESS
00001a8f: EXTCODESIZE
00001a90: ISZERO
00001a91: DUP1
00001a92: ISZERO
00001a93: PUSH2 0x1aa1
00001a96: JUMPI
00001a97: POP
00001a98: PUSH1 0x00
00001a9a: SLOAD
00001a9b: PUSH1 0xff
00001a9d: AND
00001a9e: PUSH1 0x01
00001aa0: EQ
00001aa1: JUMPDEST
00001aa2: PUSH2 0x1abd
00001aa5: JUMPI
00001aa6: PUSH1 0x40
00001aa8: MLOAD
00001aa9: PUSH3 0x461bcd
00001aad: PUSH1 0xe5
00001aaf: SHL
00001ab0: DUP2
00001ab1: MSTORE
00001ab2: PUSH1 0x04
00001ab4: ADD
00001ab5: PUSH2 0x0269
00001ab8: SWAP1
00001ab9: PUSH2 0x2c6b
00001abc: JUMP
00001abd: JUMPDEST
00001abe: PUSH1 0x00
00001ac0: DUP1
00001ac1: SLOAD
00001ac2: PUSH1 0xff
00001ac4: NOT
00001ac5: AND
00001ac6: PUSH1 0x01
00001ac8: OR
00001ac9: SWAP1
00001aca: SSTORE
00001acb: DUP1
00001acc: ISZERO
00001acd: PUSH2 0x1ae0
00001ad0: JUMPI
00001ad1: PUSH1 0x00
00001ad3: DUP1
00001ad4: SLOAD
00001ad5: PUSH2 0xff00
00001ad8: NOT
00001ad9: AND
00001ada: PUSH2 0x0100
00001add: OR
00001ade: SWAP1
00001adf: SSTORE
00001ae0: JUMPDEST
00001ae1: PUSH2 0x1aeb
00001ae4: DUP5
00001ae5: DUP5
00001ae6: DUP5
00001ae7: PUSH2 0x21cc
00001aea: JUMP
00001aeb: JUMPDEST
00001aec: DUP1
00001aed: ISZERO
00001aee: PUSH2 0x1b20
00001af1: JUMPI
00001af2: PUSH1 0x00
00001af4: DUP1
00001af5: SLOAD
00001af6: PUSH2 0xff00
00001af9: NOT
00001afa: AND
00001afb: SWAP1
00001afc: SSTORE
00001afd: PUSH1 0x40
00001aff: MLOAD
00001b00: PUSH1 0x01
00001b02: DUP2
00001b03: MSTORE
00001b04: PUSH1 0x00
00001b06: DUP1
00001b07: MLOAD
00001b08: PUSH1 0x20
00001b0a: PUSH2 0x305d
00001b0d: DUP4
00001b0e: CODECOPY
00001b0f: DUP2
00001b10: MLOAD
00001b11: SWAP2
00001b12: MSTORE
00001b13: SWAP1
00001b14: PUSH1 0x20
00001b16: ADD
00001b17: JUMPDEST
00001b18: PUSH1 0x40
00001b1a: MLOAD
00001b1b: DUP1
00001b1c: SWAP2
00001b1d: SUB
00001b1e: SWAP1
00001b1f: LOG1
00001b20: JUMPDEST
00001b21: POP
00001b22: POP
00001b23: POP
00001b24: POP
00001b25: JUMP
00001b26: JUMPDEST
00001b27: PUSH1 0x00
00001b29: SLOAD
00001b2a: PUSH2 0x0100
00001b2d: SWAP1
00001b2e: DIV
00001b2f: PUSH1 0xff
00001b31: AND
00001b32: ISZERO
00001b33: DUP1
00001b34: DUP1
00001b35: ISZERO
00001b36: PUSH2 0x1b46
00001b39: JUMPI
00001b3a: POP
00001b3b: PUSH1 0x00
00001b3d: SLOAD
00001b3e: PUSH1 0x01
00001b40: PUSH1 0xff
00001b42: SWAP1
00001b43: SWAP2
00001b44: AND
00001b45: LT
00001b46: JUMPDEST
00001b47: DUP1
00001b48: PUSH2 0x1b60
00001b4b: JUMPI
00001b4c: POP
00001b4d: ADDRESS
00001b4e: EXTCODESIZE
00001b4f: ISZERO
00001b50: DUP1
00001b51: ISZERO
00001b52: PUSH2 0x1b60
00001b55: JUMPI
00001b56: POP
00001b57: PUSH1 0x00
00001b59: SLOAD
00001b5a: PUSH1 0xff
00001b5c: AND
00001b5d: PUSH1 0x01
00001b5f: EQ
00001b60: JUMPDEST
00001b61: PUSH2 0x1b7c
00001b64: JUMPI
00001b65: PUSH1 0x40
00001b67: MLOAD
00001b68: PUSH3 0x461bcd
00001b6c: PUSH1 0xe5
00001b6e: SHL
00001b6f: DUP2
00001b70: MSTORE
00001b71: PUSH1 0x04
00001b73: ADD
00001b74: PUSH2 0x0269
00001b77: SWAP1
00001b78: PUSH2 0x2c6b
00001b7b: JUMP
00001b7c: JUMPDEST
00001b7d: PUSH1 0x00
00001b7f: DUP1
00001b80: SLOAD
00001b81: PUSH1 0xff
00001b83: NOT
00001b84: AND
00001b85: PUSH1 0x01
00001b87: OR
00001b88: SWAP1
00001b89: SSTORE
00001b8a: DUP1
00001b8b: ISZERO
00001b8c: PUSH2 0x1b9f
00001b8f: JUMPI
00001b90: PUSH1 0x00
00001b92: DUP1
00001b93: SLOAD
00001b94: PUSH2 0xff00
00001b97: NOT
00001b98: AND
00001b99: PUSH2 0x0100
00001b9c: OR
00001b9d: SWAP1
00001b9e: SSTORE
00001b9f: JUMPDEST
00001ba0: PUSH2 0x1ba7
00001ba3: PUSH2 0x22b2
00001ba6: JUMP
00001ba7: JUMPDEST
00001ba8: PUSH2 0x1bb2
00001bab: PUSH1 0x00
00001bad: CALLER
00001bae: PUSH2 0x231f
00001bb1: JUMP
00001bb2: JUMPDEST
00001bb3: PUSH1 0xc9
00001bb5: DUP1
00001bb6: SLOAD
00001bb7: PUSH1 0x01
00001bb9: PUSH1 0x01
00001bbb: PUSH1 0xa0
00001bbd: SHL
00001bbe: SUB
00001bbf: NOT
00001bc0: AND
00001bc1: PUSH1 0x01
00001bc3: PUSH1 0x01
00001bc5: PUSH1 0xa0
00001bc7: SHL
00001bc8: SUB
00001bc9: DUP5
00001bca: AND
00001bcb: OR
00001bcc: SWAP1
00001bcd: SSTORE
00001bce: DUP1
00001bcf: ISZERO
00001bd0: PUSH2 0x0a94
00001bd3: JUMPI
00001bd4: PUSH1 0x00
00001bd6: DUP1
00001bd7: SLOAD
00001bd8: PUSH2 0xff00
00001bdb: NOT
00001bdc: AND
00001bdd: SWAP1
00001bde: SSTORE
00001bdf: PUSH1 0x40
00001be1: MLOAD
00001be2: PUSH1 0x01
00001be4: DUP2
00001be5: MSTORE
00001be6: PUSH1 0x00
00001be8: DUP1
00001be9: MLOAD
00001bea: PUSH1 0x20
00001bec: PUSH2 0x305d
00001bef: DUP4
00001bf0: CODECOPY
00001bf1: DUP2
00001bf2: MLOAD
00001bf3: SWAP2
00001bf4: MSTORE
00001bf5: SWAP1
00001bf6: PUSH1 0x20
00001bf8: ADD
00001bf9: PUSH1 0x40
00001bfb: MLOAD
00001bfc: DUP1
00001bfd: SWAP2
00001bfe: SUB
00001bff: SWAP1
00001c00: LOG1
00001c01: POP
00001c02: POP
00001c03: JUMP
00001c04: JUMPDEST
00001c05: PUSH1 0x00
00001c07: DUP2
00001c08: DUP2
00001c09: MSTORE
00001c0a: PUSH1 0x97
00001c0c: PUSH1 0x20
00001c0e: MSTORE
00001c0f: PUSH1 0x40
00001c11: DUP2
00001c12: KECCAK256
00001c13: PUSH2 0x07cf
00001c16: SWAP1
00001c17: PUSH2 0x2329
00001c1a: JUMP
00001c1b: JUMPDEST
00001c1c: PUSH1 0x00
00001c1e: DUP3
00001c1f: DUP2
00001c20: MSTORE
00001c21: PUSH1 0x65
00001c23: PUSH1 0x20
00001c25: MSTORE
00001c26: PUSH1 0x40
00001c28: SWAP1
00001c29: KECCAK256
00001c2a: PUSH1 0x01
00001c2c: ADD
00001c2d: SLOAD
00001c2e: PUSH2 0x1c36
00001c31: DUP2
00001c32: PUSH2 0x200c
00001c35: JUMP
00001c36: JUMPDEST
00001c37: PUSH2 0x0a15
00001c3a: DUP4
00001c3b: DUP4
00001c3c: PUSH2 0x2038
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: DUP4
00001c42: DUP4
00001c43: DUP1
00001c44: DUP1
00001c45: PUSH1 0x1f
00001c47: ADD
00001c48: PUSH1 0x20
00001c4a: DUP1
00001c4b: SWAP2
00001c4c: DIV
00001c4d: MUL
00001c4e: PUSH1 0x20
00001c50: ADD
00001c51: PUSH1 0x40
00001c53: MLOAD
00001c54: SWAP1
00001c55: DUP2
00001c56: ADD
00001c57: PUSH1 0x40
00001c59: MSTORE
00001c5a: DUP1
00001c5b: SWAP4
00001c5c: SWAP3
00001c5d: SWAP2
00001c5e: SWAP1
00001c5f: DUP2
00001c60: DUP2
00001c61: MSTORE
00001c62: PUSH1 0x20
00001c64: ADD
00001c65: DUP4
00001c66: DUP4
00001c67: DUP1
00001c68: DUP3
00001c69: DUP5
00001c6a: CALLDATACOPY
00001c6b: PUSH1 0x00
00001c6d: SWAP3
00001c6e: ADD
00001c6f: SWAP2
00001c70: SWAP1
00001c71: SWAP2
00001c72: MSTORE
00001c73: POP
00001c74: PUSH2 0x1c86
00001c77: SWAP3
00001c78: POP
00001c79: CALLER
00001c7a: SWAP2
00001c7b: POP
00001c7c: PUSH2 0x0428
00001c7f: SWAP1
00001c80: POP
00001c81: DUP4
00001c82: PUSH2 0x20f3
00001c85: JUMP
00001c86: JUMPDEST
00001c87: PUSH2 0x1ca2
00001c8a: JUMPI
00001c8b: PUSH1 0x40
00001c8d: MLOAD
00001c8e: PUSH3 0x461bcd
00001c92: PUSH1 0xe5
00001c94: SHL
00001c95: DUP2
00001c96: MSTORE
00001c97: PUSH1 0x04
00001c99: ADD
00001c9a: PUSH2 0x0269
00001c9d: SWAP1
00001c9e: PUSH2 0x2cb9
00001ca1: JUMP
00001ca2: JUMPDEST
00001ca3: DUP5
00001ca4: DUP5
00001ca5: PUSH1 0x40
00001ca7: MLOAD
00001ca8: PUSH1 0x20
00001caa: ADD
00001cab: PUSH2 0x1cb5
00001cae: SWAP3
00001caf: SWAP2
00001cb0: SWAP1
00001cb1: PUSH2 0x2c1c
00001cb4: JUMP
00001cb5: JUMPDEST
00001cb6: PUSH1 0x40
00001cb8: DUP1
00001cb9: MLOAD
00001cba: DUP1
00001cbb: DUP4
00001cbc: SUB
00001cbd: PUSH1 0x1f
00001cbf: NOT
00001cc0: ADD
00001cc1: DUP2
00001cc2: MSTORE
00001cc3: SWAP1
00001cc4: DUP3
00001cc5: SWAP1
00001cc6: MSTORE
00001cc7: DUP1
00001cc8: MLOAD
00001cc9: PUSH1 0x20
00001ccb: SWAP1
00001ccc: SWAP2
00001ccd: ADD
00001cce: KECCAK256
00001ccf: PUSH1 0xcc
00001cd1: SLOAD
00001cd2: PUSH4 0x7f77c90f
00001cd7: PUSH1 0xe1
00001cd9: SHL
00001cda: DUP4
00001cdb: MSTORE
00001cdc: PUSH1 0x04
00001cde: DUP4
00001cdf: ADD
00001ce0: DUP3
00001ce1: SWAP1
00001ce2: MSTORE
00001ce3: SWAP1
00001ce4: SWAP2
00001ce5: PUSH1 0x01
00001ce7: PUSH1 0x01
00001ce9: PUSH1 0xa0
00001ceb: SHL
00001cec: SUB
00001ced: SWAP1
00001cee: SWAP2
00001cef: AND
00001cf0: SWAP1
00001cf1: PUSH4 0xfeef921e
00001cf6: SWAP1
00001cf7: PUSH1 0x24
00001cf9: ADD
00001cfa: PUSH1 0x20
00001cfc: PUSH1 0x40
00001cfe: MLOAD
00001cff: DUP1
00001d00: DUP4
00001d01: SUB
00001d02: DUP2
00001d03: DUP7
00001d04: GAS
00001d05: STATICCALL
00001d06: ISZERO
00001d07: DUP1
00001d08: ISZERO
00001d09: PUSH2 0x1d16
00001d0c: JUMPI
00001d0d: RETURNDATASIZE
00001d0e: PUSH1 0x00
00001d10: DUP1
00001d11: RETURNDATACOPY
00001d12: RETURNDATASIZE
00001d13: PUSH1 0x00
00001d15: REVERT
00001d16: JUMPDEST
00001d17: POP
00001d18: POP
00001d19: POP
00001d1a: POP
00001d1b: PUSH1 0x40
00001d1d: MLOAD
00001d1e: RETURNDATASIZE
00001d1f: PUSH1 0x1f
00001d21: NOT
00001d22: PUSH1 0x1f
00001d24: DUP3
00001d25: ADD
00001d26: AND
00001d27: DUP3
00001d28: ADD
00001d29: DUP1
00001d2a: PUSH1 0x40
00001d2c: MSTORE
00001d2d: POP
00001d2e: DUP2
00001d2f: ADD
00001d30: SWAP1
00001d31: PUSH2 0x1d3a
00001d34: SWAP2
00001d35: SWAP1
00001d36: PUSH2 0x2c49
00001d39: JUMP
00001d3a: JUMPDEST
00001d3b: ISZERO
00001d3c: PUSH2 0x1d7e
00001d3f: JUMPI
00001d40: PUSH1 0x40
00001d42: MLOAD
00001d43: PUSH3 0x461bcd
00001d47: PUSH1 0xe5
00001d49: SHL
00001d4a: DUP2
00001d4b: MSTORE
00001d4c: PUSH1 0x20
00001d4e: PUSH1 0x04
00001d50: DUP3
00001d51: ADD
00001d52: MSTORE
00001d53: PUSH1 0x14
00001d55: PUSH1 0x24
00001d57: DUP3
00001d58: ADD
00001d59: MSTORE
00001d5a: PUSH20 0x14d8da185a5b881a5cc81b9bdd081ada5b1b1959
00001d6f: PUSH1 0x62
00001d71: SHL
00001d72: PUSH1 0x44
00001d74: DUP3
00001d75: ADD
00001d76: MSTORE
00001d77: PUSH1 0x64
00001d79: ADD
00001d7a: PUSH2 0x0269
00001d7d: JUMP
00001d7e: JUMPDEST
00001d7f: PUSH1 0x01
00001d81: PUSH1 0x01
00001d83: PUSH1 0xa0
00001d85: SHL
00001d86: SUB
00001d87: DUP5
00001d88: AND
00001d89: PUSH2 0x1dd4
00001d8c: JUMPI
00001d8d: PUSH1 0x40
00001d8f: MLOAD
00001d90: PUSH3 0x461bcd
00001d94: PUSH1 0xe5
00001d96: SHL
00001d97: DUP2
00001d98: MSTORE
00001d99: PUSH1 0x20
00001d9b: PUSH1 0x04
00001d9d: DUP3
00001d9e: ADD
00001d9f: MSTORE
00001da0: PUSH1 0x1e
00001da2: PUSH1 0x24
00001da4: DUP3
00001da5: ADD
00001da6: MSTORE
00001da7: PUSH32 0x526563656976657220616464726573732068617320746f206265207365740000
00001dc8: PUSH1 0x44
00001dca: DUP3
00001dcb: ADD
00001dcc: MSTORE
00001dcd: PUSH1 0x64
00001dcf: ADD
00001dd0: PUSH2 0x0269
00001dd3: JUMP
00001dd4: JUMPDEST
00001dd5: PUSH1 0x00
00001dd7: DUP7
00001dd8: DUP7
00001dd9: PUSH1 0x40
00001ddb: MLOAD
00001ddc: PUSH1 0x20
00001dde: ADD
00001ddf: PUSH2 0x1de9
00001de2: SWAP3
00001de3: SWAP2
00001de4: SWAP1
00001de5: PUSH2 0x2c1c
00001de8: JUMP
00001de9: JUMPDEST
00001dea: PUSH1 0x40
00001dec: MLOAD
00001ded: PUSH1 0x20
00001def: DUP2
00001df0: DUP4
00001df1: SUB
00001df2: SUB
00001df3: DUP2
00001df4: MSTORE
00001df5: SWAP1
00001df6: PUSH1 0x40
00001df8: MSTORE
00001df9: DUP1
00001dfa: MLOAD
00001dfb: SWAP1
00001dfc: PUSH1 0x20
00001dfe: ADD
00001dff: KECCAK256
00001e00: SWAP1
00001e01: POP
00001e02: DUP4
00001e03: PUSH1 0xcf
00001e05: PUSH1 0x00
00001e07: DUP4
00001e08: DUP2
00001e09: MSTORE
00001e0a: PUSH1 0x20
00001e0c: ADD
00001e0d: SWAP1
00001e0e: DUP2
00001e0f: MSTORE
00001e10: PUSH1 0x20
00001e12: ADD
00001e13: PUSH1 0x00
00001e15: KECCAK256
00001e16: SLOAD
00001e17: LT
00001e18: ISZERO
00001e19: PUSH2 0x1e57
00001e1c: JUMPI
00001e1d: PUSH1 0x40
00001e1f: MLOAD
00001e20: PUSH3 0x461bcd
00001e24: PUSH1 0xe5
00001e26: SHL
00001e27: DUP2
00001e28: MSTORE
00001e29: PUSH1 0x20
00001e2b: PUSH1 0x04
00001e2d: DUP3
00001e2e: ADD
00001e2f: MSTORE
00001e30: PUSH1 0x10
00001e32: PUSH1 0x24
00001e34: DUP3
00001e35: ADD
00001e36: MSTORE
00001e37: PUSH16 0x125b98dbdc9c9958dd08185b5bdd5b9d
00001e48: PUSH1 0x82
00001e4a: SHL
00001e4b: PUSH1 0x44
00001e4d: DUP3
00001e4e: ADD
00001e4f: MSTORE
00001e50: PUSH1 0x64
00001e52: ADD
00001e53: PUSH2 0x0269
00001e56: JUMP
00001e57: JUMPDEST
00001e58: PUSH2 0x1e61
00001e5b: DUP2
00001e5c: DUP6
00001e5d: PUSH2 0x2123
00001e60: JUMP
00001e61: JUMPDEST
00001e62: PUSH2 0x1e74
00001e65: PUSH1 0x01
00001e67: PUSH1 0x01
00001e69: PUSH1 0xa0
00001e6b: SHL
00001e6c: SUB
00001e6d: DUP7
00001e6e: AND
00001e6f: DUP6
00001e70: PUSH2 0x1ef3
00001e73: JUMP
00001e74: JUMPDEST
00001e75: POP
00001e76: POP
00001e77: POP
00001e78: POP
00001e79: POP
00001e7a: POP
00001e7b: POP
00001e7c: JUMP
00001e7d: JUMPDEST
00001e7e: DUP1
00001e7f: PUSH2 0x1e8b
00001e82: CALLER
00001e83: PUSH2 0x0428
00001e86: DUP4
00001e87: PUSH2 0x20f3
00001e8a: JUMP
00001e8b: JUMPDEST
00001e8c: PUSH2 0x1ea7
00001e8f: JUMPI
00001e90: PUSH1 0x40
00001e92: MLOAD
00001e93: PUSH3 0x461bcd
00001e97: PUSH1 0xe5
00001e99: SHL
00001e9a: DUP2
00001e9b: MSTORE
00001e9c: PUSH1 0x04
00001e9e: ADD
00001e9f: PUSH2 0x0269
00001ea2: SWAP1
00001ea3: PUSH2 0x2cb9
00001ea6: JUMP
00001ea7: JUMPDEST
00001ea8: PUSH1 0x00
00001eaa: PUSH1 0xcd
00001eac: PUSH1 0x00
00001eae: DUP5
00001eaf: PUSH1 0x40
00001eb1: MLOAD
00001eb2: PUSH1 0x20
00001eb4: ADD
00001eb5: PUSH2 0x13b6
00001eb8: SWAP2
00001eb9: SWAP1
00001eba: PUSH2 0x2d67
00001ebd: JUMP
00001ebe: JUMPDEST
00001ebf: PUSH1 0x00
00001ec1: PUSH1 0x01
00001ec3: PUSH1 0x01
00001ec5: PUSH1 0xe0
00001ec7: SHL
00001ec8: SUB
00001ec9: NOT
00001eca: DUP3
00001ecb: AND
00001ecc: PUSH4 0x7965db0b
00001ed1: PUSH1 0xe0
00001ed3: SHL
00001ed4: EQ
00001ed5: DUP1
00001ed6: PUSH2 0x07cf
00001ed9: JUMPI
00001eda: POP
00001edb: PUSH4 0x01ffc9a7
00001ee0: PUSH1 0xe0
00001ee2: SHL
00001ee3: PUSH1 0x01
00001ee5: PUSH1 0x01
00001ee7: PUSH1 0xe0
00001ee9: SHL
00001eea: SUB
00001eeb: NOT
00001eec: DUP4
00001eed: AND
00001eee: EQ
00001eef: PUSH2 0x07cf
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: DUP1
00001ef5: SELFBALANCE
00001ef6: LT
00001ef7: ISZERO
00001ef8: PUSH2 0x1f43
00001efb: JUMPI
00001efc: PUSH1 0x40
00001efe: MLOAD
00001eff: PUSH3 0x461bcd
00001f03: PUSH1 0xe5
00001f05: SHL
00001f06: DUP2
00001f07: MSTORE
00001f08: PUSH1 0x20
00001f0a: PUSH1 0x04
00001f0c: DUP3
00001f0d: ADD
00001f0e: MSTORE
00001f0f: PUSH1 0x1d
00001f11: PUSH1 0x24
00001f13: DUP3
00001f14: ADD
00001f15: MSTORE
00001f16: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00001f37: PUSH1 0x44
00001f39: DUP3
00001f3a: ADD
00001f3b: MSTORE
00001f3c: PUSH1 0x64
00001f3e: ADD
00001f3f: PUSH2 0x0269
00001f42: JUMP
00001f43: JUMPDEST
00001f44: PUSH1 0x00
00001f46: DUP3
00001f47: PUSH1 0x01
00001f49: PUSH1 0x01
00001f4b: PUSH1 0xa0
00001f4d: SHL
00001f4e: SUB
00001f4f: AND
00001f50: DUP3
00001f51: PUSH1 0x40
00001f53: MLOAD
00001f54: PUSH1 0x00
00001f56: PUSH1 0x40
00001f58: MLOAD
00001f59: DUP1
00001f5a: DUP4
00001f5b: SUB
00001f5c: DUP2
00001f5d: DUP6
00001f5e: DUP8
00001f5f: GAS
00001f60: CALL
00001f61: SWAP3
00001f62: POP
00001f63: POP
00001f64: POP
00001f65: RETURNDATASIZE
00001f66: DUP1
00001f67: PUSH1 0x00
00001f69: DUP2
00001f6a: EQ
00001f6b: PUSH2 0x1f90
00001f6e: JUMPI
00001f6f: PUSH1 0x40
00001f71: MLOAD
00001f72: SWAP2
00001f73: POP
00001f74: PUSH1 0x1f
00001f76: NOT
00001f77: PUSH1 0x3f
00001f79: RETURNDATASIZE
00001f7a: ADD
00001f7b: AND
00001f7c: DUP3
00001f7d: ADD
00001f7e: PUSH1 0x40
00001f80: MSTORE
00001f81: RETURNDATASIZE
00001f82: DUP3
00001f83: MSTORE
00001f84: RETURNDATASIZE
00001f85: PUSH1 0x00
00001f87: PUSH1 0x20
00001f89: DUP5
00001f8a: ADD
00001f8b: RETURNDATACOPY
00001f8c: PUSH2 0x1f95
00001f8f: JUMP
00001f90: JUMPDEST
00001f91: PUSH1 0x60
00001f93: SWAP2
00001f94: POP
00001f95: JUMPDEST
00001f96: POP
00001f97: POP
00001f98: SWAP1
00001f99: POP
00001f9a: DUP1
00001f9b: PUSH2 0x0a15
00001f9e: JUMPI
00001f9f: PUSH1 0x40
00001fa1: MLOAD
00001fa2: PUSH3 0x461bcd
00001fa6: PUSH1 0xe5
00001fa8: SHL
00001fa9: DUP2
00001faa: MSTORE
00001fab: PUSH1 0x20
00001fad: PUSH1 0x04
00001faf: DUP3
00001fb0: ADD
00001fb1: MSTORE
00001fb2: PUSH1 0x3a
00001fb4: PUSH1 0x24
00001fb6: DUP3
00001fb7: ADD
00001fb8: MSTORE
00001fb9: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001fda: PUSH1 0x44
00001fdc: DUP3
00001fdd: ADD
00001fde: MSTORE
00001fdf: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00002000: PUSH1 0x64
00002002: DUP3
00002003: ADD
00002004: MSTORE
00002005: PUSH1 0x84
00002007: ADD
00002008: PUSH2 0x0269
0000200b: JUMP
0000200c: JUMPDEST
0000200d: PUSH2 0x0850
00002010: DUP2
00002011: CALLER
00002012: PUSH2 0x2333
00002015: JUMP
00002016: JUMPDEST
00002017: PUSH2 0x2020
0000201a: DUP3
0000201b: DUP3
0000201c: PUSH2 0x2397
0000201f: JUMP
00002020: JUMPDEST
00002021: PUSH1 0x00
00002023: DUP3
00002024: DUP2
00002025: MSTORE
00002026: PUSH1 0x97
00002028: PUSH1 0x20
0000202a: MSTORE
0000202b: PUSH1 0x40
0000202d: SWAP1
0000202e: KECCAK256
0000202f: PUSH2 0x0a15
00002032: SWAP1
00002033: DUP3
00002034: PUSH2 0x241d
00002037: JUMP
00002038: JUMPDEST
00002039: PUSH2 0x2042
0000203c: DUP3
0000203d: DUP3
0000203e: PUSH2 0x2432
00002041: JUMP
00002042: JUMPDEST
00002043: PUSH1 0x00
00002045: DUP3
00002046: DUP2
00002047: MSTORE
00002048: PUSH1 0x97
0000204a: PUSH1 0x20
0000204c: MSTORE
0000204d: PUSH1 0x40
0000204f: SWAP1
00002050: KECCAK256
00002051: PUSH2 0x0a15
00002054: SWAP1
00002055: DUP3
00002056: PUSH2 0x2499
00002059: JUMP
0000205a: JUMPDEST
0000205b: PUSH1 0x40
0000205d: DUP1
0000205e: MLOAD
0000205f: PUSH1 0x80
00002061: DUP2
00002062: ADD
00002063: DUP3
00002064: MSTORE
00002065: PUSH1 0x00
00002067: PUSH1 0x60
00002069: DUP3
0000206a: ADD
0000206b: DUP2
0000206c: DUP2
0000206d: MSTORE
0000206e: DUP3
0000206f: MSTORE
00002070: PUSH1 0x20
00002072: DUP3
00002073: ADD
00002074: DUP2
00002075: SWAP1
00002076: MSTORE
00002077: SWAP2
00002078: DUP2
00002079: ADD
0000207a: SWAP2
0000207b: SWAP1
0000207c: SWAP2
0000207d: MSTORE
0000207e: PUSH1 0x01
00002080: PUSH2 0x2089
00002083: DUP5
00002084: DUP5
00002085: PUSH2 0x24ae
00002088: JUMP
00002089: JUMPDEST
0000208a: PUSH1 0x0e
0000208c: DUP2
0000208d: GT
0000208e: ISZERO
0000208f: PUSH2 0x209a
00002092: JUMPI
00002093: PUSH2 0x209a
00002096: PUSH2 0x2de2
00002099: JUMP
0000209a: JUMPDEST
0000209b: EQ
0000209c: PUSH2 0x20e7
0000209f: JUMPI
000020a0: PUSH1 0x40
000020a2: MLOAD
000020a3: PUSH3 0x461bcd
000020a7: PUSH1 0xe5
000020a9: SHL
000020aa: DUP2
000020ab: MSTORE
000020ac: PUSH1 0x20
000020ae: PUSH1 0x04
000020b0: DUP3
000020b1: ADD
000020b2: DUP2
000020b3: SWAP1
000020b4: MSTORE
000020b5: PUSH1 0x24
000020b7: DUP3
000020b8: ADD
000020b9: MSTORE
000020ba: PUSH32 0x4d6573736167652074797065206973206e6f7420455448207472616e73666572
000020db: PUSH1 0x44
000020dd: DUP3
000020de: ADD
000020df: MSTORE
000020e0: PUSH1 0x64
000020e2: ADD
000020e3: PUSH2 0x0269
000020e6: JUMP
000020e7: JUMPDEST
000020e8: PUSH2 0x1406
000020eb: DUP3
000020ec: DUP5
000020ed: ADD
000020ee: DUP5
000020ef: PUSH2 0x2e0c
000020f2: JUMP
000020f3: JUMPDEST
000020f4: PUSH1 0x00
000020f6: DUP2
000020f7: PUSH1 0x40
000020f9: MLOAD
000020fa: PUSH1 0x20
000020fc: ADD
000020fd: PUSH2 0x2106
00002100: SWAP2
00002101: SWAP1
00002102: PUSH2 0x2d67
00002105: JUMP
00002106: JUMPDEST
00002107: PUSH1 0x40
00002109: MLOAD
0000210a: PUSH1 0x20
0000210c: DUP2
0000210d: DUP4
0000210e: SUB
0000210f: SUB
00002110: DUP2
00002111: MSTORE
00002112: SWAP1
00002113: PUSH1 0x40
00002115: MSTORE
00002116: DUP1
00002117: MLOAD
00002118: SWAP1
00002119: PUSH1 0x20
0000211b: ADD
0000211c: KECCAK256
0000211d: SWAP1
0000211e: POP
0000211f: SWAP2
00002120: SWAP1
00002121: POP
00002122: JUMP
00002123: JUMPDEST
00002124: PUSH1 0x00
00002126: DUP3
00002127: DUP2
00002128: MSTORE
00002129: PUSH1 0xcf
0000212b: PUSH1 0x20
0000212d: MSTORE
0000212e: PUSH1 0x40
00002130: DUP2
00002131: KECCAK256
00002132: DUP1
00002133: SLOAD
00002134: DUP4
00002135: SWAP3
00002136: SWAP1
00002137: PUSH2 0x2141
0000213a: SWAP1
0000213b: DUP5
0000213c: SWAP1
0000213d: PUSH2 0x2eac
00002140: JUMP
00002141: JUMPDEST
00002142: SWAP1
00002143: SWAP2
00002144: SSTORE
00002145: POP
00002146: POP
00002147: POP
00002148: POP
00002149: JUMP
0000214a: JUMPDEST
0000214b: PUSH1 0x00
0000214d: PUSH2 0x1406
00002150: DUP4
00002151: DUP4
00002152: PUSH2 0x24f9
00002155: JUMP
00002156: JUMPDEST
00002157: PUSH1 0x00
00002159: DUP3
0000215a: DUP2
0000215b: MSTORE
0000215c: PUSH1 0xcf
0000215e: PUSH1 0x20
00002160: MSTORE
00002161: PUSH1 0x40
00002163: DUP2
00002164: KECCAK256
00002165: DUP1
00002166: SLOAD
00002167: DUP4
00002168: SWAP3
00002169: SWAP1
0000216a: PUSH2 0x2141
0000216d: SWAP1
0000216e: DUP5
0000216f: SWAP1
00002170: PUSH2 0x2d30
00002173: JUMP
00002174: JUMPDEST
00002175: PUSH1 0x40
00002177: DUP1
00002178: MLOAD
00002179: PUSH1 0x80
0000217b: DUP2
0000217c: ADD
0000217d: DUP3
0000217e: MSTORE
0000217f: PUSH1 0x01
00002181: PUSH1 0x60
00002183: DUP1
00002184: DUP4
00002185: ADD
00002186: SWAP2
00002187: DUP3
00002188: MSTORE
00002189: SWAP1
0000218a: DUP3
0000218b: MSTORE
0000218c: PUSH1 0x01
0000218e: PUSH1 0x01
00002190: PUSH1 0xa0
00002192: SHL
00002193: SUB
00002194: DUP6
00002195: AND
00002196: PUSH1 0x20
00002198: DUP1
00002199: DUP5
0000219a: ADD
0000219b: SWAP2
0000219c: SWAP1
0000219d: SWAP2
0000219e: MSTORE
0000219f: DUP3
000021a0: DUP5
000021a1: ADD
000021a2: DUP6
000021a3: SWAP1
000021a4: MSTORE
000021a5: SWAP3
000021a6: MLOAD
000021a7: SWAP1
000021a8: SWAP3
000021a9: PUSH2 0x21b4
000021ac: SWAP2
000021ad: DUP4
000021ae: SWAP2
000021af: ADD
000021b0: PUSH2 0x2ebf
000021b3: JUMP
000021b4: JUMPDEST
000021b5: PUSH1 0x40
000021b7: MLOAD
000021b8: PUSH1 0x20
000021ba: DUP2
000021bb: DUP4
000021bc: SUB
000021bd: SUB
000021be: DUP2
000021bf: MSTORE
000021c0: SWAP1
000021c1: PUSH1 0x40
000021c3: MSTORE
000021c4: SWAP2
000021c5: POP
000021c6: POP
000021c7: SWAP3
000021c8: SWAP2
000021c9: POP
000021ca: POP
000021cb: JUMP
000021cc: JUMPDEST
000021cd: PUSH1 0x00
000021cf: SLOAD
000021d0: PUSH2 0x0100
000021d3: SWAP1
000021d4: DIV
000021d5: PUSH1 0xff
000021d7: AND
000021d8: ISZERO
000021d9: DUP1
000021da: DUP1
000021db: ISZERO
000021dc: PUSH2 0x21ec
000021df: JUMPI
000021e0: POP
000021e1: PUSH1 0x00
000021e3: SLOAD
000021e4: PUSH1 0x01
000021e6: PUSH1 0xff
000021e8: SWAP1
000021e9: SWAP2
000021ea: AND
000021eb: LT
000021ec: JUMPDEST
000021ed: DUP1
000021ee: PUSH2 0x2206
000021f1: JUMPI
000021f2: POP
000021f3: ADDRESS
000021f4: EXTCODESIZE
000021f5: ISZERO
000021f6: DUP1
000021f7: ISZERO
000021f8: PUSH2 0x2206
000021fb: JUMPI
000021fc: POP
000021fd: PUSH1 0x00
000021ff: SLOAD
00002200: PUSH1 0xff
00002202: AND
00002203: PUSH1 0x01
00002205: EQ
00002206: JUMPDEST
00002207: PUSH2 0x2222
0000220a: JUMPI
0000220b: PUSH1 0x40
0000220d: MLOAD
0000220e: PUSH3 0x461bcd
00002212: PUSH1 0xe5
00002214: SHL
00002215: DUP2
00002216: MSTORE
00002217: PUSH1 0x04
00002219: ADD
0000221a: PUSH2 0x0269
0000221d: SWAP1
0000221e: PUSH2 0x2c6b
00002221: JUMP
00002222: JUMPDEST
00002223: PUSH1 0x00
00002225: DUP1
00002226: SLOAD
00002227: PUSH1 0xff
00002229: NOT
0000222a: AND
0000222b: PUSH1 0x01
0000222d: OR
0000222e: SWAP1
0000222f: SSTORE
00002230: DUP1
00002231: ISZERO
00002232: PUSH2 0x2245
00002235: JUMPI
00002236: PUSH1 0x00
00002238: DUP1
00002239: SLOAD
0000223a: PUSH2 0xff00
0000223d: NOT
0000223e: AND
0000223f: PUSH2 0x0100
00002242: OR
00002243: SWAP1
00002244: SSTORE
00002245: JUMPDEST
00002246: PUSH2 0x224f
00002249: DUP5
0000224a: DUP4
0000224b: PUSH2 0x0c6e
0000224e: JUMP
0000224f: JUMPDEST
00002250: PUSH2 0x2267
00002253: PUSH1 0x00
00002255: DUP1
00002256: MLOAD
00002257: PUSH1 0x20
00002259: PUSH2 0x307d
0000225c: DUP4
0000225d: CODECOPY
0000225e: DUP2
0000225f: MLOAD
00002260: SWAP2
00002261: MSTORE
00002262: DUP5
00002263: PUSH2 0x231f
00002266: JUMP
00002267: JUMPDEST
00002268: PUSH1 0xcc
0000226a: DUP1
0000226b: SLOAD
0000226c: PUSH1 0x01
0000226e: PUSH1 0x01
00002270: PUSH1 0xa0
00002272: SHL
00002273: SUB
00002274: NOT
00002275: AND
00002276: PUSH1 0x01
00002278: PUSH1 0x01
0000227a: PUSH1 0xa0
0000227c: SHL
0000227d: SUB
0000227e: DUP6
0000227f: AND
00002280: OR
00002281: SWAP1
00002282: SSTORE
00002283: DUP1
00002284: ISZERO
00002285: PUSH2 0x1b20
00002288: JUMPI
00002289: PUSH1 0x00
0000228b: DUP1
0000228c: SLOAD
0000228d: PUSH2 0xff00
00002290: NOT
00002291: AND
00002292: SWAP1
00002293: SSTORE
00002294: PUSH1 0x40
00002296: MLOAD
00002297: PUSH1 0x01
00002299: DUP2
0000229a: MSTORE
0000229b: PUSH1 0x00
0000229d: DUP1
0000229e: MLOAD
0000229f: PUSH1 0x20
000022a1: PUSH2 0x305d
000022a4: DUP4
000022a5: CODECOPY
000022a6: DUP2
000022a7: MLOAD
000022a8: SWAP2
000022a9: MSTORE
000022aa: SWAP1
000022ab: PUSH1 0x20
000022ad: ADD
000022ae: PUSH2 0x1b17
000022b1: JUMP
000022b2: JUMPDEST
000022b3: PUSH1 0x00
000022b5: SLOAD
000022b6: PUSH2 0x0100
000022b9: SWAP1
000022ba: DIV
000022bb: PUSH1 0xff
000022bd: AND
000022be: PUSH2 0x231d
000022c1: JUMPI
000022c2: PUSH1 0x40
000022c4: MLOAD
000022c5: PUSH3 0x461bcd
000022c9: PUSH1 0xe5
000022cb: SHL
000022cc: DUP2
000022cd: MSTORE
000022ce: PUSH1 0x20
000022d0: PUSH1 0x04
000022d2: DUP3
000022d3: ADD
000022d4: MSTORE
000022d5: PUSH1 0x2b
000022d7: PUSH1 0x24
000022d9: DUP3
000022da: ADD
000022db: MSTORE
000022dc: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
000022fd: PUSH1 0x44
000022ff: DUP3
00002300: ADD
00002301: MSTORE
00002302: PUSH11 0x6e697469616c697a696e67
0000230e: PUSH1 0xa8
00002310: SHL
00002311: PUSH1 0x64
00002313: DUP3
00002314: ADD
00002315: MSTORE
00002316: PUSH1 0x84
00002318: ADD
00002319: PUSH2 0x0269
0000231c: JUMP
0000231d: JUMPDEST
0000231e: JUMP
0000231f: JUMPDEST
00002320: PUSH2 0x0a94
00002323: DUP3
00002324: DUP3
00002325: PUSH2 0x2016
00002328: JUMP
00002329: JUMPDEST
0000232a: PUSH1 0x00
0000232c: PUSH2 0x07cf
0000232f: DUP3
00002330: SLOAD
00002331: SWAP1
00002332: JUMP
00002333: JUMPDEST
00002334: PUSH2 0x233d
00002337: DUP3
00002338: DUP3
00002339: PUSH2 0x140d
0000233c: JUMP
0000233d: JUMPDEST
0000233e: PUSH2 0x0a94
00002341: JUMPI
00002342: PUSH2 0x2355
00002345: DUP2
00002346: PUSH1 0x01
00002348: PUSH1 0x01
0000234a: PUSH1 0xa0
0000234c: SHL
0000234d: SUB
0000234e: AND
0000234f: PUSH1 0x14
00002351: PUSH2 0x2523
00002354: JUMP
00002355: JUMPDEST
00002356: PUSH2 0x2360
00002359: DUP4
0000235a: PUSH1 0x20
0000235c: PUSH2 0x2523
0000235f: JUMP
00002360: JUMPDEST
00002361: PUSH1 0x40
00002363: MLOAD
00002364: PUSH1 0x20
00002366: ADD
00002367: PUSH2 0x2371
0000236a: SWAP3
0000236b: SWAP2
0000236c: SWAP1
0000236d: PUSH2 0x2f0b
00002370: JUMP
00002371: JUMPDEST
00002372: PUSH1 0x40
00002374: DUP1
00002375: MLOAD
00002376: PUSH1 0x1f
00002378: NOT
00002379: DUP2
0000237a: DUP5
0000237b: SUB
0000237c: ADD
0000237d: DUP2
0000237e: MSTORE
0000237f: SWAP1
00002380: DUP3
00002381: SWAP1
00002382: MSTORE
00002383: PUSH3 0x461bcd
00002387: PUSH1 0xe5
00002389: SHL
0000238a: DUP3
0000238b: MSTORE
0000238c: PUSH2 0x0269
0000238f: SWAP2
00002390: PUSH1 0x04
00002392: ADD
00002393: PUSH2 0x2f80
00002396: JUMP
00002397: JUMPDEST
00002398: PUSH2 0x23a1
0000239b: DUP3
0000239c: DUP3
0000239d: PUSH2 0x140d
000023a0: JUMP
000023a1: JUMPDEST
000023a2: PUSH2 0x0a94
000023a5: JUMPI
000023a6: PUSH1 0x00
000023a8: DUP3
000023a9: DUP2
000023aa: MSTORE
000023ab: PUSH1 0x65
000023ad: PUSH1 0x20
000023af: SWAP1
000023b0: DUP2
000023b1: MSTORE
000023b2: PUSH1 0x40
000023b4: DUP1
000023b5: DUP4
000023b6: KECCAK256
000023b7: PUSH1 0x01
000023b9: PUSH1 0x01
000023bb: PUSH1 0xa0
000023bd: SHL
000023be: SUB
000023bf: DUP6
000023c0: AND
000023c1: DUP5
000023c2: MSTORE
000023c3: SWAP1
000023c4: SWAP2
000023c5: MSTORE
000023c6: SWAP1
000023c7: KECCAK256
000023c8: DUP1
000023c9: SLOAD
000023ca: PUSH1 0xff
000023cc: NOT
000023cd: AND
000023ce: PUSH1 0x01
000023d0: OR
000023d1: SWAP1
000023d2: SSTORE
000023d3: PUSH2 0x23d9
000023d6: CALLER
000023d7: SWAP1
000023d8: JUMP
000023d9: JUMPDEST
000023da: PUSH1 0x01
000023dc: PUSH1 0x01
000023de: PUSH1 0xa0
000023e0: SHL
000023e1: SUB
000023e2: AND
000023e3: DUP2
000023e4: PUSH1 0x01
000023e6: PUSH1 0x01
000023e8: PUSH1 0xa0
000023ea: SHL
000023eb: SUB
000023ec: AND
000023ed: DUP4
000023ee: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
0000240f: PUSH1 0x40
00002411: MLOAD
00002412: PUSH1 0x40
00002414: MLOAD
00002415: DUP1
00002416: SWAP2
00002417: SUB
00002418: SWAP1
00002419: LOG4
0000241a: POP
0000241b: POP
0000241c: JUMP
0000241d: JUMPDEST
0000241e: PUSH1 0x00
00002420: PUSH2 0x1406
00002423: DUP4
00002424: PUSH1 0x01
00002426: PUSH1 0x01
00002428: PUSH1 0xa0
0000242a: SHL
0000242b: SUB
0000242c: DUP5
0000242d: AND
0000242e: PUSH2 0x26bf
00002431: JUMP
00002432: JUMPDEST
00002433: PUSH2 0x243c
00002436: DUP3
00002437: DUP3
00002438: PUSH2 0x140d
0000243b: JUMP
0000243c: JUMPDEST
0000243d: ISZERO
0000243e: PUSH2 0x0a94
00002441: JUMPI
00002442: PUSH1 0x00
00002444: DUP3
00002445: DUP2
00002446: MSTORE
00002447: PUSH1 0x65
00002449: PUSH1 0x20
0000244b: SWAP1
0000244c: DUP2
0000244d: MSTORE
0000244e: PUSH1 0x40
00002450: DUP1
00002451: DUP4
00002452: KECCAK256
00002453: PUSH1 0x01
00002455: PUSH1 0x01
00002457: PUSH1 0xa0
00002459: SHL
0000245a: SUB
0000245b: DUP6
0000245c: AND
0000245d: DUP1
0000245e: DUP6
0000245f: MSTORE
00002460: SWAP3
00002461: MSTORE
00002462: DUP1
00002463: DUP4
00002464: KECCAK256
00002465: DUP1
00002466: SLOAD
00002467: PUSH1 0xff
00002469: NOT
0000246a: AND
0000246b: SWAP1
0000246c: SSTORE
0000246d: MLOAD
0000246e: CALLER
0000246f: SWAP3
00002470: DUP6
00002471: SWAP2
00002472: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00002493: SWAP2
00002494: SWAP1
00002495: LOG4
00002496: POP
00002497: POP
00002498: JUMP
00002499: JUMPDEST
0000249a: PUSH1 0x00
0000249c: PUSH2 0x1406
0000249f: DUP4
000024a0: PUSH1 0x01
000024a2: PUSH1 0x01
000024a4: PUSH1 0xa0
000024a6: SHL
000024a7: SUB
000024a8: DUP5
000024a9: AND
000024aa: PUSH2 0x270e
000024ad: JUMP
000024ae: JUMPDEST
000024af: PUSH1 0x00
000024b1: DUP1
000024b2: PUSH2 0x24bd
000024b5: DUP4
000024b6: DUP6
000024b7: ADD
000024b8: DUP6
000024b9: PUSH2 0x28e0
000024bc: JUMP
000024bd: JUMPDEST
000024be: SWAP1
000024bf: POP
000024c0: PUSH2 0x24ca
000024c3: PUSH1 0x20
000024c5: DUP3
000024c6: PUSH2 0x2f93
000024c9: JUMP
000024ca: JUMPDEST
000024cb: PUSH1 0x00
000024cd: SUB
000024ce: PUSH2 0x24ed
000024d1: JUMPI
000024d2: PUSH2 0x24e5
000024d5: PUSH2 0x24e0
000024d8: DUP5
000024d9: DUP4
000024da: DUP2
000024db: DUP9
000024dc: PUSH2 0x2fb5
000024df: JUMP
000024e0: JUMPDEST
000024e1: PUSH2 0x24ae
000024e4: JUMP
000024e5: JUMPDEST
000024e6: SWAP2
000024e7: POP
000024e8: POP
000024e9: PUSH2 0x07cf
000024ec: JUMP
000024ed: JUMPDEST
000024ee: PUSH2 0x24e5
000024f1: DUP4
000024f2: DUP6
000024f3: ADD
000024f4: DUP6
000024f5: PUSH2 0x2fdf
000024f8: JUMP
000024f9: JUMPDEST
000024fa: PUSH1 0x00
000024fc: DUP3
000024fd: PUSH1 0x00
000024ff: ADD
00002500: DUP3
00002501: DUP2
00002502: SLOAD
00002503: DUP2
00002504: LT
00002505: PUSH2 0x2510
00002508: JUMPI
00002509: PUSH2 0x2510
0000250c: PUSH2 0x2ffa
0000250f: JUMP
00002510: JUMPDEST
00002511: SWAP1
00002512: PUSH1 0x00
00002514: MSTORE
00002515: PUSH1 0x20
00002517: PUSH1 0x00
00002519: KECCAK256
0000251a: ADD
0000251b: SLOAD
0000251c: SWAP1
0000251d: POP
0000251e: SWAP3
0000251f: SWAP2
00002520: POP
00002521: POP
00002522: JUMP
00002523: JUMPDEST
00002524: PUSH1 0x60
00002526: PUSH1 0x00
00002528: PUSH2 0x2532
0000252b: DUP4
0000252c: PUSH1 0x02
0000252e: PUSH2 0x3010
00002531: JUMP
00002532: JUMPDEST
00002533: PUSH2 0x253d
00002536: SWAP1
00002537: PUSH1 0x02
00002539: PUSH2 0x2d30
0000253c: JUMP
0000253d: JUMPDEST
0000253e: PUSH8 0xffffffffffffffff
00002547: DUP2
00002548: GT
00002549: ISZERO
0000254a: PUSH2 0x2555
0000254d: JUMPI
0000254e: PUSH2 0x2555
00002551: PUSH2 0x2a3e
00002554: JUMP
00002555: JUMPDEST
00002556: PUSH1 0x40
00002558: MLOAD
00002559: SWAP1
0000255a: DUP1
0000255b: DUP3
0000255c: MSTORE
0000255d: DUP1
0000255e: PUSH1 0x1f
00002560: ADD
00002561: PUSH1 0x1f
00002563: NOT
00002564: AND
00002565: PUSH1 0x20
00002567: ADD
00002568: DUP3
00002569: ADD
0000256a: PUSH1 0x40
0000256c: MSTORE
0000256d: DUP1
0000256e: ISZERO
0000256f: PUSH2 0x257f
00002572: JUMPI
00002573: PUSH1 0x20
00002575: DUP3
00002576: ADD
00002577: DUP2
00002578: DUP1
00002579: CALLDATASIZE
0000257a: DUP4
0000257b: CALLDATACOPY
0000257c: ADD
0000257d: SWAP1
0000257e: POP
0000257f: JUMPDEST
00002580: POP
00002581: SWAP1
00002582: POP
00002583: PUSH1 0x03
00002585: PUSH1 0xfc
00002587: SHL
00002588: DUP2
00002589: PUSH1 0x00
0000258b: DUP2
0000258c: MLOAD
0000258d: DUP2
0000258e: LT
0000258f: PUSH2 0x259a
00002592: JUMPI
00002593: PUSH2 0x259a
00002596: PUSH2 0x2ffa
00002599: JUMP
0000259a: JUMPDEST
0000259b: PUSH1 0x20
0000259d: ADD
0000259e: ADD
0000259f: SWAP1
000025a0: PUSH1 0x01
000025a2: PUSH1 0x01
000025a4: PUSH1 0xf8
000025a6: SHL
000025a7: SUB
000025a8: NOT
000025a9: AND
000025aa: SWAP1
000025ab: DUP2
000025ac: PUSH1 0x00
000025ae: BYTE
000025af: SWAP1
000025b0: MSTORE8
000025b1: POP
000025b2: PUSH1 0x0f
000025b4: PUSH1 0xfb
000025b6: SHL
000025b7: DUP2
000025b8: PUSH1 0x01
000025ba: DUP2
000025bb: MLOAD
000025bc: DUP2
000025bd: LT
000025be: PUSH2 0x25c9
000025c1: JUMPI
000025c2: PUSH2 0x25c9
000025c5: PUSH2 0x2ffa
000025c8: JUMP
000025c9: JUMPDEST
000025ca: PUSH1 0x20
000025cc: ADD
000025cd: ADD
000025ce: SWAP1
000025cf: PUSH1 0x01
000025d1: PUSH1 0x01
000025d3: PUSH1 0xf8
000025d5: SHL
000025d6: SUB
000025d7: NOT
000025d8: AND
000025d9: SWAP1
000025da: DUP2
000025db: PUSH1 0x00
000025dd: BYTE
000025de: SWAP1
000025df: MSTORE8
000025e0: POP
000025e1: PUSH1 0x00
000025e3: PUSH2 0x25ed
000025e6: DUP5
000025e7: PUSH1 0x02
000025e9: PUSH2 0x3010
000025ec: JUMP
000025ed: JUMPDEST
000025ee: PUSH2 0x25f8
000025f1: SWAP1
000025f2: PUSH1 0x01
000025f4: PUSH2 0x2d30
000025f7: JUMP
000025f8: JUMPDEST
000025f9: SWAP1
000025fa: POP
000025fb: JUMPDEST
000025fc: PUSH1 0x01
000025fe: DUP2
000025ff: GT
00002600: ISZERO
00002601: PUSH2 0x2670
00002604: JUMPI
00002605: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3
00002616: PUSH1 0x81
00002618: SHL
00002619: DUP6
0000261a: PUSH1 0x0f
0000261c: AND
0000261d: PUSH1 0x10
0000261f: DUP2
00002620: LT
00002621: PUSH2 0x262c
00002624: JUMPI
00002625: PUSH2 0x262c
00002628: PUSH2 0x2ffa
0000262b: JUMP
0000262c: JUMPDEST
0000262d: BYTE
0000262e: PUSH1 0xf8
00002630: SHL
00002631: DUP3
00002632: DUP3
00002633: DUP2
00002634: MLOAD
00002635: DUP2
00002636: LT
00002637: PUSH2 0x2642
0000263a: JUMPI
0000263b: PUSH2 0x2642
0000263e: PUSH2 0x2ffa
00002641: JUMP
00002642: JUMPDEST
00002643: PUSH1 0x20
00002645: ADD
00002646: ADD
00002647: SWAP1
00002648: PUSH1 0x01
0000264a: PUSH1 0x01
0000264c: PUSH1 0xf8
0000264e: SHL
0000264f: SUB
00002650: NOT
00002651: AND
00002652: SWAP1
00002653: DUP2
00002654: PUSH1 0x00
00002656: BYTE
00002657: SWAP1
00002658: MSTORE8
00002659: POP
0000265a: PUSH1 0x04
0000265c: SWAP5
0000265d: SWAP1
0000265e: SWAP5
0000265f: SHR
00002660: SWAP4
00002661: PUSH2 0x2669
00002664: DUP2
00002665: PUSH2 0x302f
00002668: JUMP
00002669: JUMPDEST
0000266a: SWAP1
0000266b: POP
0000266c: PUSH2 0x25fb
0000266f: JUMP
00002670: JUMPDEST
00002671: POP
00002672: DUP4
00002673: ISZERO
00002674: PUSH2 0x1406
00002677: JUMPI
00002678: PUSH1 0x40
0000267a: MLOAD
0000267b: PUSH3 0x461bcd
0000267f: PUSH1 0xe5
00002681: SHL
00002682: DUP2
00002683: MSTORE
00002684: PUSH1 0x20
00002686: PUSH1 0x04
00002688: DUP3
00002689: ADD
0000268a: DUP2
0000268b: SWAP1
0000268c: MSTORE
0000268d: PUSH1 0x24
0000268f: DUP3
00002690: ADD
00002691: MSTORE
00002692: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
000026b3: PUSH1 0x44
000026b5: DUP3
000026b6: ADD
000026b7: MSTORE
000026b8: PUSH1 0x64
000026ba: ADD
000026bb: PUSH2 0x0269
000026be: JUMP
000026bf: JUMPDEST
000026c0: PUSH1 0x00
000026c2: DUP2
000026c3: DUP2
000026c4: MSTORE
000026c5: PUSH1 0x01
000026c7: DUP4
000026c8: ADD
000026c9: PUSH1 0x20
000026cb: MSTORE
000026cc: PUSH1 0x40
000026ce: DUP2
000026cf: KECCAK256
000026d0: SLOAD
000026d1: PUSH2 0x2706
000026d4: JUMPI
000026d5: POP
000026d6: DUP2
000026d7: SLOAD
000026d8: PUSH1 0x01
000026da: DUP2
000026db: DUP2
000026dc: ADD
000026dd: DUP5
000026de: SSTORE
000026df: PUSH1 0x00
000026e1: DUP5
000026e2: DUP2
000026e3: MSTORE
000026e4: PUSH1 0x20
000026e6: DUP1
000026e7: DUP3
000026e8: KECCAK256
000026e9: SWAP1
000026ea: SWAP4
000026eb: ADD
000026ec: DUP5
000026ed: SWAP1
000026ee: SSTORE
000026ef: DUP5
000026f0: SLOAD
000026f1: DUP5
000026f2: DUP3
000026f3: MSTORE
000026f4: DUP3
000026f5: DUP7
000026f6: ADD
000026f7: SWAP1
000026f8: SWAP4
000026f9: MSTORE
000026fa: PUSH1 0x40
000026fc: SWAP1
000026fd: KECCAK256
000026fe: SWAP2
000026ff: SWAP1
00002700: SWAP2
00002701: SSTORE
00002702: PUSH2 0x07cf
00002705: JUMP
00002706: JUMPDEST
00002707: POP
00002708: PUSH1 0x00
0000270a: PUSH2 0x07cf
0000270d: JUMP
0000270e: JUMPDEST
0000270f: PUSH1 0x00
00002711: DUP2
00002712: DUP2
00002713: MSTORE
00002714: PUSH1 0x01
00002716: DUP4
00002717: ADD
00002718: PUSH1 0x20
0000271a: MSTORE
0000271b: PUSH1 0x40
0000271d: DUP2
0000271e: KECCAK256
0000271f: SLOAD
00002720: DUP1
00002721: ISZERO
00002722: PUSH2 0x27f7
00002725: JUMPI
00002726: PUSH1 0x00
00002728: PUSH2 0x2732
0000272b: PUSH1 0x01
0000272d: DUP4
0000272e: PUSH2 0x2eac
00002731: JUMP
00002732: JUMPDEST
00002733: DUP6
00002734: SLOAD
00002735: SWAP1
00002736: SWAP2
00002737: POP
00002738: PUSH1 0x00
0000273a: SWAP1
0000273b: PUSH2 0x2746
0000273e: SWAP1
0000273f: PUSH1 0x01
00002741: SWAP1
00002742: PUSH2 0x2eac
00002745: JUMP
00002746: JUMPDEST
00002747: SWAP1
00002748: POP
00002749: DUP2
0000274a: DUP2
0000274b: EQ
0000274c: PUSH2 0x27ab
0000274f: JUMPI
00002750: PUSH1 0x00
00002752: DUP7
00002753: PUSH1 0x00
00002755: ADD
00002756: DUP3
00002757: DUP2
00002758: SLOAD
00002759: DUP2
0000275a: LT
0000275b: PUSH2 0x2766
0000275e: JUMPI
0000275f: PUSH2 0x2766
00002762: PUSH2 0x2ffa
00002765: JUMP
00002766: JUMPDEST
00002767: SWAP1
00002768: PUSH1 0x00
0000276a: MSTORE
0000276b: PUSH1 0x20
0000276d: PUSH1 0x00
0000276f: KECCAK256
00002770: ADD
00002771: SLOAD
00002772: SWAP1
00002773: POP
00002774: DUP1
00002775: DUP8
00002776: PUSH1 0x00
00002778: ADD
00002779: DUP5
0000277a: DUP2
0000277b: SLOAD
0000277c: DUP2
0000277d: LT
0000277e: PUSH2 0x2789
00002781: JUMPI
00002782: PUSH2 0x2789
00002785: PUSH2 0x2ffa
00002788: JUMP
00002789: JUMPDEST
0000278a: PUSH1 0x00
0000278c: SWAP2
0000278d: DUP3
0000278e: MSTORE
0000278f: PUSH1 0x20
00002791: DUP1
00002792: DUP4
00002793: KECCAK256
00002794: SWAP1
00002795: SWAP2
00002796: ADD
00002797: SWAP3
00002798: SWAP1
00002799: SWAP3
0000279a: SSTORE
0000279b: SWAP2
0000279c: DUP3
0000279d: MSTORE
0000279e: PUSH1 0x01
000027a0: DUP9
000027a1: ADD
000027a2: SWAP1
000027a3: MSTORE
000027a4: PUSH1 0x40
000027a6: SWAP1
000027a7: KECCAK256
000027a8: DUP4
000027a9: SWAP1
000027aa: SSTORE
000027ab: JUMPDEST
000027ac: DUP6
000027ad: SLOAD
000027ae: DUP7
000027af: SWAP1
000027b0: DUP1
000027b1: PUSH2 0x27bc
000027b4: JUMPI
000027b5: PUSH2 0x27bc
000027b8: PUSH2 0x3046
000027bb: JUMP
000027bc: JUMPDEST
000027bd: PUSH1 0x01
000027bf: SWAP1
000027c0: SUB
000027c1: DUP2
000027c2: DUP2
000027c3: SWAP1
000027c4: PUSH1 0x00
000027c6: MSTORE
000027c7: PUSH1 0x20
000027c9: PUSH1 0x00
000027cb: KECCAK256
000027cc: ADD
000027cd: PUSH1 0x00
000027cf: SWAP1
000027d0: SSTORE
000027d1: SWAP1
000027d2: SSTORE
000027d3: DUP6
000027d4: PUSH1 0x01
000027d6: ADD
000027d7: PUSH1 0x00
000027d9: DUP7
000027da: DUP2
000027db: MSTORE
000027dc: PUSH1 0x20
000027de: ADD
000027df: SWAP1
000027e0: DUP2
000027e1: MSTORE
000027e2: PUSH1 0x20
000027e4: ADD
000027e5: PUSH1 0x00
000027e7: KECCAK256
000027e8: PUSH1 0x00
000027ea: SWAP1
000027eb: SSTORE
000027ec: PUSH1 0x01
000027ee: SWAP4
000027ef: POP
000027f0: POP
000027f1: POP
000027f2: POP
000027f3: PUSH2 0x07cf
000027f6: JUMP
000027f7: JUMPDEST
000027f8: PUSH1 0x00
000027fa: SWAP2
000027fb: POP
000027fc: POP
000027fd: PUSH2 0x07cf
00002800: JUMP
00002801: JUMPDEST
00002802: PUSH1 0x00
00002804: PUSH1 0x20
00002806: DUP3
00002807: DUP5
00002808: SUB
00002809: SLT
0000280a: ISZERO
0000280b: PUSH2 0x2813
0000280e: JUMPI
0000280f: PUSH1 0x00
00002811: DUP1
00002812: REVERT
00002813: JUMPDEST
00002814: DUP2
00002815: CALLDATALOAD
00002816: PUSH1 0x01
00002818: PUSH1 0x01
0000281a: PUSH1 0xe0
0000281c: SHL
0000281d: SUB
0000281e: NOT
0000281f: DUP2
00002820: AND
00002821: DUP2
00002822: EQ
00002823: PUSH2 0x1406
00002826: JUMPI
00002827: PUSH1 0x00
00002829: DUP1
0000282a: REVERT
0000282b: JUMPDEST
0000282c: PUSH1 0x00
0000282e: DUP1
0000282f: DUP4
00002830: PUSH1 0x1f
00002832: DUP5
00002833: ADD
00002834: SLT
00002835: PUSH2 0x283d
00002838: JUMPI
00002839: PUSH1 0x00
0000283b: DUP1
0000283c: REVERT
0000283d: JUMPDEST
0000283e: POP
0000283f: DUP2
00002840: CALLDATALOAD
00002841: PUSH8 0xffffffffffffffff
0000284a: DUP2
0000284b: GT
0000284c: ISZERO
0000284d: PUSH2 0x2855
00002850: JUMPI
00002851: PUSH1 0x00
00002853: DUP1
00002854: REVERT
00002855: JUMPDEST
00002856: PUSH1 0x20
00002858: DUP4
00002859: ADD
0000285a: SWAP2
0000285b: POP
0000285c: DUP4
0000285d: PUSH1 0x20
0000285f: DUP3
00002860: DUP6
00002861: ADD
00002862: ADD
00002863: GT
00002864: ISZERO
00002865: PUSH2 0x286d
00002868: JUMPI
00002869: PUSH1 0x00
0000286b: DUP1
0000286c: REVERT
0000286d: JUMPDEST
0000286e: SWAP3
0000286f: POP
00002870: SWAP3
00002871: SWAP1
00002872: POP
00002873: JUMP
00002874: JUMPDEST
00002875: PUSH1 0x01
00002877: PUSH1 0x01
00002879: PUSH1 0xa0
0000287b: SHL
0000287c: SUB
0000287d: DUP2
0000287e: AND
0000287f: DUP2
00002880: EQ
00002881: PUSH2 0x0850
00002884: JUMPI
00002885: PUSH1 0x00
00002887: DUP1
00002888: REVERT
00002889: JUMPDEST
0000288a: PUSH1 0x00
0000288c: DUP1
0000288d: PUSH1 0x00
0000288f: PUSH1 0x40
00002891: DUP5
00002892: DUP7
00002893: SUB
00002894: SLT
00002895: ISZERO
00002896: PUSH2 0x289e
00002899: JUMPI
0000289a: PUSH1 0x00
0000289c: DUP1
0000289d: REVERT
0000289e: JUMPDEST
0000289f: DUP4
000028a0: CALLDATALOAD
000028a1: PUSH8 0xffffffffffffffff
000028aa: DUP2
000028ab: GT
000028ac: ISZERO
000028ad: PUSH2 0x28b5
000028b0: JUMPI
000028b1: PUSH1 0x00
000028b3: DUP1
000028b4: REVERT
000028b5: JUMPDEST
000028b6: PUSH2 0x28c1
000028b9: DUP7
000028ba: DUP3
000028bb: DUP8
000028bc: ADD
000028bd: PUSH2 0x282b
000028c0: JUMP
000028c1: JUMPDEST
000028c2: SWAP1
000028c3: SWAP5
000028c4: POP
000028c5: SWAP3
000028c6: POP
000028c7: POP
000028c8: PUSH1 0x20
000028ca: DUP5
000028cb: ADD
000028cc: CALLDATALOAD
000028cd: PUSH2 0x28d5
000028d0: DUP2
000028d1: PUSH2 0x2874
000028d4: JUMP
000028d5: JUMPDEST
000028d6: DUP1
000028d7: SWAP2
000028d8: POP
000028d9: POP
000028da: SWAP3
000028db: POP
000028dc: SWAP3
000028dd: POP
000028de: SWAP3
000028df: JUMP
000028e0: JUMPDEST
000028e1: PUSH1 0x00
000028e3: PUSH1 0x20
000028e5: DUP3
000028e6: DUP5
000028e7: SUB
000028e8: SLT
000028e9: ISZERO
000028ea: PUSH2 0x28f2
000028ed: JUMPI
000028ee: PUSH1 0x00
000028f0: DUP1
000028f1: REVERT
000028f2: JUMPDEST
000028f3: POP
000028f4: CALLDATALOAD
000028f5: SWAP2
000028f6: SWAP1
000028f7: POP
000028f8: JUMP
000028f9: JUMPDEST
000028fa: PUSH1 0x00
000028fc: DUP1
000028fd: PUSH1 0x40
000028ff: DUP4
00002900: DUP6
00002901: SUB
00002902: SLT
00002903: ISZERO
00002904: PUSH2 0x290c
00002907: JUMPI
00002908: PUSH1 0x00
0000290a: DUP1
0000290b: REVERT
0000290c: JUMPDEST
0000290d: DUP3
0000290e: CALLDATALOAD
0000290f: SWAP2
00002910: POP
00002911: PUSH1 0x20
00002913: DUP4
00002914: ADD
00002915: CALLDATALOAD
00002916: PUSH2 0x291e
00002919: DUP2
0000291a: PUSH2 0x2874
0000291d: JUMP
0000291e: JUMPDEST
0000291f: DUP1
00002920: SWAP2
00002921: POP
00002922: POP
00002923: SWAP3
00002924: POP
00002925: SWAP3
00002926: SWAP1
00002927: POP
00002928: JUMP
00002929: JUMPDEST
0000292a: PUSH1 0x00
0000292c: DUP1
0000292d: PUSH1 0x00
0000292f: DUP1
00002930: PUSH1 0x60
00002932: DUP6
00002933: DUP8
00002934: SUB
00002935: SLT
00002936: ISZERO
00002937: PUSH2 0x293f
0000293a: JUMPI
0000293b: PUSH1 0x00
0000293d: DUP1
0000293e: REVERT
0000293f: JUMPDEST
00002940: DUP5
00002941: CALLDATALOAD
00002942: SWAP4
00002943: POP
00002944: PUSH1 0x20
00002946: DUP6
00002947: ADD
00002948: CALLDATALOAD
00002949: PUSH2 0x2951
0000294c: DUP2
0000294d: PUSH2 0x2874
00002950: JUMP
00002951: JUMPDEST
00002952: SWAP3
00002953: POP
00002954: PUSH1 0x40
00002956: DUP6
00002957: ADD
00002958: CALLDATALOAD
00002959: PUSH8 0xffffffffffffffff
00002962: DUP2
00002963: GT
00002964: ISZERO
00002965: PUSH2 0x296d
00002968: JUMPI
00002969: PUSH1 0x00
0000296b: DUP1
0000296c: REVERT
0000296d: JUMPDEST
0000296e: PUSH2 0x2979
00002971: DUP8
00002972: DUP3
00002973: DUP9
00002974: ADD
00002975: PUSH2 0x282b
00002978: JUMP
00002979: JUMPDEST
0000297a: SWAP6
0000297b: SWAP9
0000297c: SWAP5
0000297d: SWAP8
0000297e: POP
0000297f: SWAP6
00002980: POP
00002981: POP
00002982: POP
00002983: POP
00002984: JUMP
00002985: JUMPDEST
00002986: PUSH1 0x00
00002988: DUP1
00002989: PUSH1 0x40
0000298b: DUP4
0000298c: DUP6
0000298d: SUB
0000298e: SLT
0000298f: ISZERO
00002990: PUSH2 0x2998
00002993: JUMPI
00002994: PUSH1 0x00
00002996: DUP1
00002997: REVERT
00002998: JUMPDEST
00002999: DUP3
0000299a: CALLDATALOAD
0000299b: PUSH2 0x29a3
0000299e: DUP2
0000299f: PUSH2 0x2874
000029a2: JUMP
000029a3: JUMPDEST
000029a4: SWAP5
000029a5: PUSH1 0x20
000029a7: SWAP4
000029a8: SWAP1
000029a9: SWAP4
000029aa: ADD
000029ab: CALLDATALOAD
000029ac: SWAP4
000029ad: POP
000029ae: POP
000029af: POP
000029b0: JUMP
000029b1: JUMPDEST
000029b2: PUSH1 0x00
000029b4: DUP1
000029b5: PUSH1 0x40
000029b7: DUP4
000029b8: DUP6
000029b9: SUB
000029ba: SLT
000029bb: ISZERO
000029bc: PUSH2 0x29c4
000029bf: JUMPI
000029c0: PUSH1 0x00
000029c2: DUP1
000029c3: REVERT
000029c4: JUMPDEST
000029c5: DUP3
000029c6: CALLDATALOAD
000029c7: PUSH2 0x29cf
000029ca: DUP2
000029cb: PUSH2 0x2874
000029ce: JUMP
000029cf: JUMPDEST
000029d0: SWAP2
000029d1: POP
000029d2: PUSH1 0x20
000029d4: DUP4
000029d5: ADD
000029d6: CALLDATALOAD
000029d7: PUSH2 0x291e
000029da: DUP2
000029db: PUSH2 0x2874
000029de: JUMP
000029df: JUMPDEST
000029e0: PUSH1 0x00
000029e2: DUP1
000029e3: PUSH1 0x20
000029e5: DUP4
000029e6: DUP6
000029e7: SUB
000029e8: SLT
000029e9: ISZERO
000029ea: PUSH2 0x29f2
000029ed: JUMPI
000029ee: PUSH1 0x00
000029f0: DUP1
000029f1: REVERT
000029f2: JUMPDEST
000029f3: DUP3
000029f4: CALLDATALOAD
000029f5: PUSH8 0xffffffffffffffff
000029fe: DUP2
000029ff: GT
00002a00: ISZERO
00002a01: PUSH2 0x2a09
00002a04: JUMPI
00002a05: PUSH1 0x00
00002a07: DUP1
00002a08: REVERT
00002a09: JUMPDEST
00002a0a: PUSH2 0x2a15
00002a0d: DUP6
00002a0e: DUP3
00002a0f: DUP7
00002a10: ADD
00002a11: PUSH2 0x282b
00002a14: JUMP
00002a15: JUMPDEST
00002a16: SWAP1
00002a17: SWAP7
00002a18: SWAP1
00002a19: SWAP6
00002a1a: POP
00002a1b: SWAP4
00002a1c: POP
00002a1d: POP
00002a1e: POP
00002a1f: POP
00002a20: JUMP
00002a21: JUMPDEST
00002a22: PUSH1 0x00
00002a24: PUSH1 0x20
00002a26: DUP3
00002a27: DUP5
00002a28: SUB
00002a29: SLT
00002a2a: ISZERO
00002a2b: PUSH2 0x2a33
00002a2e: JUMPI
00002a2f: PUSH1 0x00
00002a31: DUP1
00002a32: REVERT
00002a33: JUMPDEST
00002a34: DUP2
00002a35: CALLDATALOAD
00002a36: PUSH2 0x1406
00002a39: DUP2
00002a3a: PUSH2 0x2874
00002a3d: JUMP
00002a3e: JUMPDEST
00002a3f: PUSH4 0x4e487b71
00002a44: PUSH1 0xe0
00002a46: SHL
00002a47: PUSH1 0x00
00002a49: MSTORE
00002a4a: PUSH1 0x41
00002a4c: PUSH1 0x04
00002a4e: MSTORE
00002a4f: PUSH1 0x24
00002a51: PUSH1 0x00
00002a53: REVERT
00002a54: JUMPDEST
00002a55: PUSH1 0x00
00002a57: DUP3
00002a58: PUSH1 0x1f
00002a5a: DUP4
00002a5b: ADD
00002a5c: SLT
00002a5d: PUSH2 0x2a65
00002a60: JUMPI
00002a61: PUSH1 0x00
00002a63: DUP1
00002a64: REVERT
00002a65: JUMPDEST
00002a66: DUP2
00002a67: CALLDATALOAD
00002a68: PUSH8 0xffffffffffffffff
00002a71: DUP1
00002a72: DUP3
00002a73: GT
00002a74: ISZERO
00002a75: PUSH2 0x2a80
00002a78: JUMPI
00002a79: PUSH2 0x2a80
00002a7c: PUSH2 0x2a3e
00002a7f: JUMP
00002a80: JUMPDEST
00002a81: PUSH1 0x40
00002a83: MLOAD
00002a84: PUSH1 0x1f
00002a86: DUP4
00002a87: ADD
00002a88: PUSH1 0x1f
00002a8a: NOT
00002a8b: SWAP1
00002a8c: DUP2
00002a8d: AND
00002a8e: PUSH1 0x3f
00002a90: ADD
00002a91: AND
00002a92: DUP2
00002a93: ADD
00002a94: SWAP1
00002a95: DUP3
00002a96: DUP3
00002a97: GT
00002a98: DUP2
00002a99: DUP4
00002a9a: LT
00002a9b: OR
00002a9c: ISZERO
00002a9d: PUSH2 0x2aa8
00002aa0: JUMPI
00002aa1: PUSH2 0x2aa8
00002aa4: PUSH2 0x2a3e
00002aa7: JUMP
00002aa8: JUMPDEST
00002aa9: DUP2
00002aaa: PUSH1 0x40
00002aac: MSTORE
00002aad: DUP4
00002aae: DUP2
00002aaf: MSTORE
00002ab0: DUP7
00002ab1: PUSH1 0x20
00002ab3: DUP6
00002ab4: DUP9
00002ab5: ADD
00002ab6: ADD
00002ab7: GT
00002ab8: ISZERO
00002ab9: PUSH2 0x2ac1
00002abc: JUMPI
00002abd: PUSH1 0x00
00002abf: DUP1
00002ac0: REVERT
00002ac1: JUMPDEST
00002ac2: DUP4
00002ac3: PUSH1 0x20
00002ac5: DUP8
00002ac6: ADD
00002ac7: PUSH1 0x20
00002ac9: DUP4
00002aca: ADD
00002acb: CALLDATACOPY
00002acc: PUSH1 0x00
00002ace: PUSH1 0x20
00002ad0: DUP6
00002ad1: DUP4
00002ad2: ADD
00002ad3: ADD
00002ad4: MSTORE
00002ad5: DUP1
00002ad6: SWAP5
00002ad7: POP
00002ad8: POP
00002ad9: POP
00002ada: POP
00002adb: POP
00002adc: SWAP3
00002add: SWAP2
00002ade: POP
00002adf: POP
00002ae0: JUMP
00002ae1: JUMPDEST
00002ae2: PUSH1 0x00
00002ae4: PUSH1 0x20
00002ae6: DUP3
00002ae7: DUP5
00002ae8: SUB
00002ae9: SLT
00002aea: ISZERO
00002aeb: PUSH2 0x2af3
00002aee: JUMPI
00002aef: PUSH1 0x00
00002af1: DUP1
00002af2: REVERT
00002af3: JUMPDEST
00002af4: DUP2
00002af5: CALLDATALOAD
00002af6: PUSH8 0xffffffffffffffff
00002aff: DUP2
00002b00: GT
00002b01: ISZERO
00002b02: PUSH2 0x2b0a
00002b05: JUMPI
00002b06: PUSH1 0x00
00002b08: DUP1
00002b09: REVERT
00002b0a: JUMPDEST
00002b0b: PUSH2 0x0c66
00002b0e: DUP5
00002b0f: DUP3
00002b10: DUP6
00002b11: ADD
00002b12: PUSH2 0x2a54
00002b15: JUMP
00002b16: JUMPDEST
00002b17: PUSH1 0x00
00002b19: DUP1
00002b1a: PUSH1 0x40
00002b1c: DUP4
00002b1d: DUP6
00002b1e: SUB
00002b1f: SLT
00002b20: ISZERO
00002b21: PUSH2 0x2b29
00002b24: JUMPI
00002b25: PUSH1 0x00
00002b27: DUP1
00002b28: REVERT
00002b29: JUMPDEST
00002b2a: POP
00002b2b: POP
00002b2c: DUP1
00002b2d: CALLDATALOAD
00002b2e: SWAP3
00002b2f: PUSH1 0x20
00002b31: SWAP1
00002b32: SWAP2
00002b33: ADD
00002b34: CALLDATALOAD
00002b35: SWAP2
00002b36: POP
00002b37: JUMP
00002b38: JUMPDEST
00002b39: PUSH1 0x00
00002b3b: DUP1
00002b3c: PUSH1 0x40
00002b3e: DUP4
00002b3f: DUP6
00002b40: SUB
00002b41: SLT
00002b42: ISZERO
00002b43: PUSH2 0x2b4b
00002b46: JUMPI
00002b47: PUSH1 0x00
00002b49: DUP1
00002b4a: REVERT
00002b4b: JUMPDEST
00002b4c: DUP3
00002b4d: CALLDATALOAD
00002b4e: PUSH8 0xffffffffffffffff
00002b57: DUP2
00002b58: GT
00002b59: ISZERO
00002b5a: PUSH2 0x2b62
00002b5d: JUMPI
00002b5e: PUSH1 0x00
00002b60: DUP1
00002b61: REVERT
00002b62: JUMPDEST
00002b63: PUSH2 0x2b6e
00002b66: DUP6
00002b67: DUP3
00002b68: DUP7
00002b69: ADD
00002b6a: PUSH2 0x2a54
00002b6d: JUMP
00002b6e: JUMPDEST
00002b6f: SWAP3
00002b70: POP
00002b71: POP
00002b72: PUSH1 0x20
00002b74: DUP4
00002b75: ADD
00002b76: CALLDATALOAD
00002b77: PUSH2 0x291e
00002b7a: DUP2
00002b7b: PUSH2 0x2874
00002b7e: JUMP
00002b7f: JUMPDEST
00002b80: PUSH1 0x00
00002b82: DUP1
00002b83: PUSH1 0x00
00002b85: PUSH1 0x60
00002b87: DUP5
00002b88: DUP7
00002b89: SUB
00002b8a: SLT
00002b8b: ISZERO
00002b8c: PUSH2 0x2b94
00002b8f: JUMPI
00002b90: PUSH1 0x00
00002b92: DUP1
00002b93: REVERT
00002b94: JUMPDEST
00002b95: DUP4
00002b96: CALLDATALOAD
00002b97: PUSH2 0x2b9f
00002b9a: DUP2
00002b9b: PUSH2 0x2874
00002b9e: JUMP
00002b9f: JUMPDEST
00002ba0: SWAP3
00002ba1: POP
00002ba2: PUSH1 0x20
00002ba4: DUP5
00002ba5: ADD
00002ba6: CALLDATALOAD
00002ba7: PUSH2 0x2baf
00002baa: DUP2
00002bab: PUSH2 0x2874
00002bae: JUMP
00002baf: JUMPDEST
00002bb0: SWAP2
00002bb1: POP
00002bb2: PUSH1 0x40
00002bb4: DUP5
00002bb5: ADD
00002bb6: CALLDATALOAD
00002bb7: PUSH2 0x28d5
00002bba: DUP2
00002bbb: PUSH2 0x2874
00002bbe: JUMP
00002bbf: JUMPDEST
00002bc0: PUSH1 0x00
00002bc2: DUP1
00002bc3: PUSH1 0x00
00002bc5: DUP1
00002bc6: PUSH1 0x60
00002bc8: DUP6
00002bc9: DUP8
00002bca: SUB
00002bcb: SLT
00002bcc: ISZERO
00002bcd: PUSH2 0x2bd5
00002bd0: JUMPI
00002bd1: PUSH1 0x00
00002bd3: DUP1
00002bd4: REVERT
00002bd5: JUMPDEST
00002bd6: DUP5
00002bd7: CALLDATALOAD
00002bd8: PUSH8 0xffffffffffffffff
00002be1: DUP2
00002be2: GT
00002be3: ISZERO
00002be4: PUSH2 0x2bec
00002be7: JUMPI
00002be8: PUSH1 0x00
00002bea: DUP1
00002beb: REVERT
00002bec: JUMPDEST
00002bed: PUSH2 0x2bf8
00002bf0: DUP8
00002bf1: DUP3
00002bf2: DUP9
00002bf3: ADD
00002bf4: PUSH2 0x282b
00002bf7: JUMP
00002bf8: JUMPDEST
00002bf9: SWAP1
00002bfa: SWAP6
00002bfb: POP
00002bfc: SWAP4
00002bfd: POP
00002bfe: POP
00002bff: PUSH1 0x20
00002c01: DUP6
00002c02: ADD
00002c03: CALLDATALOAD
00002c04: PUSH2 0x2c0c
00002c07: DUP2
00002c08: PUSH2 0x2874
00002c0b: JUMP
00002c0c: JUMPDEST
00002c0d: SWAP4
00002c0e: SWAP7
00002c0f: SWAP3
00002c10: SWAP6
00002c11: POP
00002c12: SWAP3
00002c13: SWAP4
00002c14: PUSH1 0x40
00002c16: ADD
00002c17: CALLDATALOAD
00002c18: SWAP3
00002c19: POP
00002c1a: POP
00002c1b: JUMP
00002c1c: JUMPDEST
00002c1d: DUP2
00002c1e: DUP4
00002c1f: DUP3
00002c20: CALLDATACOPY
00002c21: PUSH1 0x00
00002c23: SWAP2
00002c24: ADD
00002c25: SWAP1
00002c26: DUP2
00002c27: MSTORE
00002c28: SWAP2
00002c29: SWAP1
00002c2a: POP
00002c2b: JUMP
00002c2c: JUMPDEST
00002c2d: PUSH1 0x00
00002c2f: PUSH1 0x20
00002c31: DUP3
00002c32: DUP5
00002c33: SUB
00002c34: SLT
00002c35: ISZERO
00002c36: PUSH2 0x2c3e
00002c39: JUMPI
00002c3a: PUSH1 0x00
00002c3c: DUP1
00002c3d: REVERT
00002c3e: JUMPDEST
00002c3f: DUP2
00002c40: MLOAD
00002c41: PUSH2 0x1406
00002c44: DUP2
00002c45: PUSH2 0x2874
00002c48: JUMP
00002c49: JUMPDEST
00002c4a: PUSH1 0x00
00002c4c: PUSH1 0x20
00002c4e: DUP3
00002c4f: DUP5
00002c50: SUB
00002c51: SLT
00002c52: ISZERO
00002c53: PUSH2 0x2c5b
00002c56: JUMPI
00002c57: PUSH1 0x00
00002c59: DUP1
00002c5a: REVERT
00002c5b: JUMPDEST
00002c5c: DUP2
00002c5d: MLOAD
00002c5e: DUP1
00002c5f: ISZERO
00002c60: ISZERO
00002c61: DUP2
00002c62: EQ
00002c63: PUSH2 0x1406
00002c66: JUMPI
00002c67: PUSH1 0x00
00002c69: DUP1
00002c6a: REVERT
00002c6b: JUMPDEST
00002c6c: PUSH1 0x20
00002c6e: DUP1
00002c6f: DUP3
00002c70: MSTORE
00002c71: PUSH1 0x2e
00002c73: SWAP1
00002c74: DUP3
00002c75: ADD
00002c76: MSTORE
00002c77: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00002c98: PUSH1 0x40
00002c9a: DUP3
00002c9b: ADD
00002c9c: MSTORE
00002c9d: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00002cac: PUSH1 0x92
00002cae: SHL
00002caf: PUSH1 0x60
00002cb1: DUP3
00002cb2: ADD
00002cb3: MSTORE
00002cb4: PUSH1 0x80
00002cb6: ADD
00002cb7: SWAP1
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: PUSH1 0x20
00002cbc: DUP1
00002cbd: DUP3
00002cbe: MSTORE
00002cbf: PUSH1 0x1d
00002cc1: SWAP1
00002cc2: DUP3
00002cc3: ADD
00002cc4: MSTORE
00002cc5: PUSH32 0x53656e646572206973206e6f7420616e2053636861696e206f776e6572000000
00002ce6: PUSH1 0x40
00002ce8: DUP3
00002ce9: ADD
00002cea: MSTORE
00002ceb: PUSH1 0x60
00002ced: ADD
00002cee: SWAP1
00002cef: JUMP
00002cf0: JUMPDEST
00002cf1: PUSH1 0x20
00002cf3: DUP1
00002cf4: DUP3
00002cf5: MSTORE
00002cf6: PUSH1 0x10
00002cf8: SWAP1
00002cf9: DUP3
00002cfa: ADD
00002cfb: MSTORE
00002cfc: PUSH16 0x14d8da185a5b881a5cc81ada5b1b1959
00002d0d: PUSH1 0x82
00002d0f: SHL
00002d10: PUSH1 0x40
00002d12: DUP3
00002d13: ADD
00002d14: MSTORE
00002d15: PUSH1 0x60
00002d17: ADD
00002d18: SWAP1
00002d19: JUMP
00002d1a: JUMPDEST
00002d1b: PUSH4 0x4e487b71
00002d20: PUSH1 0xe0
00002d22: SHL
00002d23: PUSH1 0x00
00002d25: MSTORE
00002d26: PUSH1 0x11
00002d28: PUSH1 0x04
00002d2a: MSTORE
00002d2b: PUSH1 0x24
00002d2d: PUSH1 0x00
00002d2f: REVERT
00002d30: JUMPDEST
00002d31: DUP1
00002d32: DUP3
00002d33: ADD
00002d34: DUP1
00002d35: DUP3
00002d36: GT
00002d37: ISZERO
00002d38: PUSH2 0x07cf
00002d3b: JUMPI
00002d3c: PUSH2 0x07cf
00002d3f: PUSH2 0x2d1a
00002d42: JUMP
00002d43: JUMPDEST
00002d44: PUSH1 0x00
00002d46: JUMPDEST
00002d47: DUP4
00002d48: DUP2
00002d49: LT
00002d4a: ISZERO
00002d4b: PUSH2 0x2d5e
00002d4e: JUMPI
00002d4f: DUP2
00002d50: DUP2
00002d51: ADD
00002d52: MLOAD
00002d53: DUP4
00002d54: DUP3
00002d55: ADD
00002d56: MSTORE
00002d57: PUSH1 0x20
00002d59: ADD
00002d5a: PUSH2 0x2d46
00002d5d: JUMP
00002d5e: JUMPDEST
00002d5f: POP
00002d60: POP
00002d61: PUSH1 0x00
00002d63: SWAP2
00002d64: ADD
00002d65: MSTORE
00002d66: JUMP
00002d67: JUMPDEST
00002d68: PUSH1 0x00
00002d6a: DUP3
00002d6b: MLOAD
00002d6c: PUSH2 0x2d79
00002d6f: DUP2
00002d70: DUP5
00002d71: PUSH1 0x20
00002d73: DUP8
00002d74: ADD
00002d75: PUSH2 0x2d43
00002d78: JUMP
00002d79: JUMPDEST
00002d7a: SWAP2
00002d7b: SWAP1
00002d7c: SWAP2
00002d7d: ADD
00002d7e: SWAP3
00002d7f: SWAP2
00002d80: POP
00002d81: POP
00002d82: JUMP
00002d83: JUMPDEST
00002d84: PUSH1 0x00
00002d86: DUP2
00002d87: MLOAD
00002d88: DUP1
00002d89: DUP5
00002d8a: MSTORE
00002d8b: PUSH2 0x2d9b
00002d8e: DUP2
00002d8f: PUSH1 0x20
00002d91: DUP7
00002d92: ADD
00002d93: PUSH1 0x20
00002d95: DUP7
00002d96: ADD
00002d97: PUSH2 0x2d43
00002d9a: JUMP
00002d9b: JUMPDEST
00002d9c: PUSH1 0x1f
00002d9e: ADD
00002d9f: PUSH1 0x1f
00002da1: NOT
00002da2: AND
00002da3: SWAP3
00002da4: SWAP1
00002da5: SWAP3
00002da6: ADD
00002da7: PUSH1 0x20
00002da9: ADD
00002daa: SWAP3
00002dab: SWAP2
00002dac: POP
00002dad: POP
00002dae: JUMP
00002daf: JUMPDEST
00002db0: DUP4
00002db1: DUP2
00002db2: MSTORE
00002db3: PUSH1 0x01
00002db5: PUSH1 0x01
00002db7: PUSH1 0xa0
00002db9: SHL
00002dba: SUB
00002dbb: DUP4
00002dbc: AND
00002dbd: PUSH1 0x20
00002dbf: DUP3
00002dc0: ADD
00002dc1: MSTORE
00002dc2: PUSH1 0x60
00002dc4: PUSH1 0x40
00002dc6: DUP3
00002dc7: ADD
00002dc8: DUP2
00002dc9: SWAP1
00002dca: MSTORE
00002dcb: PUSH1 0x00
00002dcd: SWAP1
00002dce: PUSH2 0x2dd9
00002dd1: SWAP1
00002dd2: DUP4
00002dd3: ADD
00002dd4: DUP5
00002dd5: PUSH2 0x2d83
00002dd8: JUMP
00002dd9: JUMPDEST
00002dda: SWAP6
00002ddb: SWAP5
00002ddc: POP
00002ddd: POP
00002dde: POP
00002ddf: POP
00002de0: POP
00002de1: JUMP
00002de2: JUMPDEST
00002de3: PUSH4 0x4e487b71
00002de8: PUSH1 0xe0
00002dea: SHL
00002deb: PUSH1 0x00
00002ded: MSTORE
00002dee: PUSH1 0x21
00002df0: PUSH1 0x04
00002df2: MSTORE
00002df3: PUSH1 0x24
00002df5: PUSH1 0x00
00002df7: REVERT
00002df8: JUMPDEST
00002df9: DUP1
00002dfa: CALLDATALOAD
00002dfb: PUSH1 0x0f
00002dfd: DUP2
00002dfe: LT
00002dff: PUSH2 0x2e07
00002e02: JUMPI
00002e03: PUSH1 0x00
00002e05: DUP1
00002e06: REVERT
00002e07: JUMPDEST
00002e08: SWAP2
00002e09: SWAP1
00002e0a: POP
00002e0b: JUMP
00002e0c: JUMPDEST
00002e0d: PUSH1 0x00
00002e0f: DUP2
00002e10: DUP4
00002e11: SUB
00002e12: PUSH1 0x60
00002e14: DUP2
00002e15: SLT
00002e16: ISZERO
00002e17: PUSH2 0x2e1f
00002e1a: JUMPI
00002e1b: PUSH1 0x00
00002e1d: DUP1
00002e1e: REVERT
00002e1f: JUMPDEST
00002e20: PUSH1 0x40
00002e22: MLOAD
00002e23: PUSH1 0x60
00002e25: DUP2
00002e26: ADD
00002e27: PUSH8 0xffffffffffffffff
00002e30: DUP3
00002e31: DUP3
00002e32: LT
00002e33: DUP2
00002e34: DUP4
00002e35: GT
00002e36: OR
00002e37: ISZERO
00002e38: PUSH2 0x2e43
00002e3b: JUMPI
00002e3c: PUSH2 0x2e43
00002e3f: PUSH2 0x2a3e
00002e42: JUMP
00002e43: JUMPDEST
00002e44: DUP2
00002e45: PUSH1 0x40
00002e47: MSTORE
00002e48: PUSH1 0x20
00002e4a: DUP5
00002e4b: SLT
00002e4c: ISZERO
00002e4d: PUSH2 0x2e55
00002e50: JUMPI
00002e51: PUSH1 0x00
00002e53: DUP1
00002e54: REVERT
00002e55: JUMPDEST
00002e56: PUSH1 0x80
00002e58: DUP4
00002e59: ADD
00002e5a: SWAP4
00002e5b: POP
00002e5c: DUP2
00002e5d: DUP5
00002e5e: LT
00002e5f: DUP2
00002e60: DUP6
00002e61: GT
00002e62: OR
00002e63: ISZERO
00002e64: PUSH2 0x2e6f
00002e67: JUMPI
00002e68: PUSH2 0x2e6f
00002e6b: PUSH2 0x2a3e
00002e6e: JUMP
00002e6f: JUMPDEST
00002e70: POP
00002e71: DUP3
00002e72: PUSH1 0x40
00002e74: MSTORE
00002e75: PUSH2 0x2e7d
00002e78: DUP6
00002e79: PUSH2 0x2df8
00002e7c: JUMP
00002e7d: JUMPDEST
00002e7e: DUP2
00002e7f: MSTORE
00002e80: DUP2
00002e81: MSTORE
00002e82: PUSH1 0x20
00002e84: DUP5
00002e85: ADD
00002e86: CALLDATALOAD
00002e87: SWAP2
00002e88: POP
00002e89: PUSH2 0x2e91
00002e8c: DUP3
00002e8d: PUSH2 0x2874
00002e90: JUMP
00002e91: JUMPDEST
00002e92: DUP2
00002e93: PUSH1 0x20
00002e95: DUP3
00002e96: ADD
00002e97: MSTORE
00002e98: PUSH1 0x40
00002e9a: DUP5
00002e9b: ADD
00002e9c: CALLDATALOAD
00002e9d: PUSH1 0x40
00002e9f: DUP3
00002ea0: ADD
00002ea1: MSTORE
00002ea2: DUP1
00002ea3: SWAP3
00002ea4: POP
00002ea5: POP
00002ea6: POP
00002ea7: SWAP3
00002ea8: SWAP2
00002ea9: POP
00002eaa: POP
00002eab: JUMP
00002eac: JUMPDEST
00002ead: DUP2
00002eae: DUP2
00002eaf: SUB
00002eb0: DUP2
00002eb1: DUP2
00002eb2: GT
00002eb3: ISZERO
00002eb4: PUSH2 0x07cf
00002eb7: JUMPI
00002eb8: PUSH2 0x07cf
00002ebb: PUSH2 0x2d1a
00002ebe: JUMP
00002ebf: JUMPDEST
00002ec0: DUP2
00002ec1: MLOAD
00002ec2: MLOAD
00002ec3: PUSH1 0x60
00002ec5: DUP3
00002ec6: ADD
00002ec7: SWAP1
00002ec8: PUSH1 0x0f
00002eca: DUP2
00002ecb: LT
00002ecc: PUSH2 0x2ee5
00002ecf: JUMPI
00002ed0: PUSH4 0x4e487b71
00002ed5: PUSH1 0xe0
00002ed7: SHL
00002ed8: PUSH1 0x00
00002eda: MSTORE
00002edb: PUSH1 0x21
00002edd: PUSH1 0x04
00002edf: MSTORE
00002ee0: PUSH1 0x24
00002ee2: PUSH1 0x00
00002ee4: REVERT
00002ee5: JUMPDEST
00002ee6: DUP3
00002ee7: MSTORE
00002ee8: PUSH1 0x20
00002eea: DUP4
00002eeb: DUP2
00002eec: ADD
00002eed: MLOAD
00002eee: PUSH1 0x01
00002ef0: PUSH1 0x01
00002ef2: PUSH1 0xa0
00002ef4: SHL
00002ef5: SUB
00002ef6: AND
00002ef7: SWAP1
00002ef8: DUP4
00002ef9: ADD
00002efa: MSTORE
00002efb: PUSH1 0x40
00002efd: SWAP3
00002efe: DUP4
00002eff: ADD
00002f00: MLOAD
00002f01: SWAP3
00002f02: SWAP1
00002f03: SWAP2
00002f04: ADD
00002f05: SWAP2
00002f06: SWAP1
00002f07: SWAP2
00002f08: MSTORE
00002f09: SWAP1
00002f0a: JUMP
00002f0b: JUMPDEST
00002f0c: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
00002f2d: DUP2
00002f2e: MSTORE
00002f2f: PUSH1 0x00
00002f31: DUP4
00002f32: MLOAD
00002f33: PUSH2 0x2f43
00002f36: DUP2
00002f37: PUSH1 0x17
00002f39: DUP6
00002f3a: ADD
00002f3b: PUSH1 0x20
00002f3d: DUP9
00002f3e: ADD
00002f3f: PUSH2 0x2d43
00002f42: JUMP
00002f43: JUMPDEST
00002f44: PUSH17 0x01034b99036b4b9b9b4b733903937b6329
00002f56: PUSH1 0x7d
00002f58: SHL
00002f59: PUSH1 0x17
00002f5b: SWAP2
00002f5c: DUP5
00002f5d: ADD
00002f5e: SWAP2
00002f5f: DUP3
00002f60: ADD
00002f61: MSTORE
00002f62: DUP4
00002f63: MLOAD
00002f64: PUSH2 0x2f74
00002f67: DUP2
00002f68: PUSH1 0x28
00002f6a: DUP5
00002f6b: ADD
00002f6c: PUSH1 0x20
00002f6e: DUP9
00002f6f: ADD
00002f70: PUSH2 0x2d43
00002f73: JUMP
00002f74: JUMPDEST
00002f75: ADD
00002f76: PUSH1 0x28
00002f78: ADD
00002f79: SWAP5
00002f7a: SWAP4
00002f7b: POP
00002f7c: POP
00002f7d: POP
00002f7e: POP
00002f7f: JUMP
00002f80: JUMPDEST
00002f81: PUSH1 0x20
00002f83: DUP2
00002f84: MSTORE
00002f85: PUSH1 0x00
00002f87: PUSH2 0x1406
00002f8a: PUSH1 0x20
00002f8c: DUP4
00002f8d: ADD
00002f8e: DUP5
00002f8f: PUSH2 0x2d83
00002f92: JUMP
00002f93: JUMPDEST
00002f94: PUSH1 0x00
00002f96: DUP3
00002f97: PUSH2 0x2fb0
00002f9a: JUMPI
00002f9b: PUSH4 0x4e487b71
00002fa0: PUSH1 0xe0
00002fa2: SHL
00002fa3: PUSH1 0x00
00002fa5: MSTORE
00002fa6: PUSH1 0x12
00002fa8: PUSH1 0x04
00002faa: MSTORE
00002fab: PUSH1 0x24
00002fad: PUSH1 0x00
00002faf: REVERT
00002fb0: JUMPDEST
00002fb1: POP
00002fb2: MOD
00002fb3: SWAP1
00002fb4: JUMP
00002fb5: JUMPDEST
00002fb6: PUSH1 0x00
00002fb8: DUP1
00002fb9: DUP6
00002fba: DUP6
00002fbb: GT
00002fbc: ISZERO
00002fbd: PUSH2 0x2fc5
00002fc0: JUMPI
00002fc1: PUSH1 0x00
00002fc3: DUP1
00002fc4: REVERT
00002fc5: JUMPDEST
00002fc6: DUP4
00002fc7: DUP7
00002fc8: GT
00002fc9: ISZERO
00002fca: PUSH2 0x2fd2
00002fcd: JUMPI
00002fce: PUSH1 0x00
00002fd0: DUP1
00002fd1: REVERT
00002fd2: JUMPDEST
00002fd3: POP
00002fd4: POP
00002fd5: DUP3
00002fd6: ADD
00002fd7: SWAP4
00002fd8: SWAP2
00002fd9: SWAP1
00002fda: SWAP3
00002fdb: SUB
00002fdc: SWAP2
00002fdd: POP
00002fde: JUMP
00002fdf: JUMPDEST
00002fe0: PUSH1 0x00
00002fe2: PUSH1 0x20
00002fe4: DUP3
00002fe5: DUP5
00002fe6: SUB
00002fe7: SLT
00002fe8: ISZERO
00002fe9: PUSH2 0x2ff1
00002fec: JUMPI
00002fed: PUSH1 0x00
00002fef: DUP1
00002ff0: REVERT
00002ff1: JUMPDEST
00002ff2: PUSH2 0x1406
00002ff5: DUP3
00002ff6: PUSH2 0x2df8
00002ff9: JUMP
00002ffa: JUMPDEST
00002ffb: PUSH4 0x4e487b71
00003000: PUSH1 0xe0
00003002: SHL
00003003: PUSH1 0x00
00003005: MSTORE
00003006: PUSH1 0x32
00003008: PUSH1 0x04
0000300a: MSTORE
0000300b: PUSH1 0x24
0000300d: PUSH1 0x00
0000300f: REVERT
00003010: JUMPDEST
00003011: PUSH1 0x00
00003013: DUP2
00003014: PUSH1 0x00
00003016: NOT
00003017: DIV
00003018: DUP4
00003019: GT
0000301a: DUP3
0000301b: ISZERO
0000301c: ISZERO
0000301d: AND
0000301e: ISZERO
0000301f: PUSH2 0x302a
00003022: JUMPI
00003023: PUSH2 0x302a
00003026: PUSH2 0x2d1a
00003029: JUMP
0000302a: JUMPDEST
0000302b: POP
0000302c: MUL
0000302d: SWAP1
0000302e: JUMP
0000302f: JUMPDEST
00003030: PUSH1 0x00
00003032: DUP2
00003033: PUSH2 0x303e
00003036: JUMPI
00003037: PUSH2 0x303e
0000303a: PUSH2 0x2d1a
0000303d: JUMP
0000303e: JUMPDEST
0000303f: POP
00003040: PUSH1 0x00
00003042: NOT
00003043: ADD
00003044: SWAP1
00003045: JUMP
00003046: JUMPDEST
00003047: PUSH4 0x4e487b71
0000304c: PUSH1 0xe0
0000304e: SHL
0000304f: PUSH1 0x00
00003051: MSTORE
00003052: PUSH1 0x31
00003054: PUSH1 0x04
00003056: MSTORE
00003057: PUSH1 0x24
00003059: PUSH1 0x00
0000305b: REVERT
0000305c: INVALID
0000305d: PUSH32 0x26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb384740249873
0000307e: EXTCODESIZE
0000307f: UNKNOWN(0xAC)
00003080: RETURNDATASIZE
00003081: UNKNOWN(0xCA)
00003082: LT
00003083: UNKNOWN(0x26)
00003084: DUP8
00003085: UNKNOWN(0xAA)
00003086: ADDMOD
00003087: UNKNOWN(0xC8)
00003088: SLOAD
00003089: UNKNOWN(0xC5)
0000308a: UNKNOWN(0xF9)
0000308b: MOD
0000308c: PUSH32 0xc424f98fd8e90e41ad6b73aecc59a4fda2646970667358221220b3937104e924
000030ad: PUSH11 0xc8ba595e415b70b5fd1f04
000030b9: UNKNOWN(0xEA)
000030ba: UNKNOWN(0xBE)
000030bb: MOD
000030bc: SIGNEXTEND
000030bd: UNKNOWN(0xCA)
000030be: UNKNOWN(0xC2)
000030bf: UNKNOWN(0xA5)
000030c0: XOR
000030c1: LOG4
000030c2: PUSH8 0x95859f0964736f6c
000030cb: PUSH4 0x43000810
000030d0: STOP
000030d1: CALLER