Analysis Run

[codex:628121] OpenAI Codex v0.77.0 (research preview)
[codex:628121] --------
[codex:628121] workdir: /tmp/codex-multi-6rs_99dj
[codex:628121] model: gpt-5.2-codex
[codex:628121] provider: openai
[codex:628121] approval: never
[codex:628121] sandbox: read-only
[codex:628121] reasoning effort: xhigh
[codex:628121] reasoning summaries: auto
[codex:628121] session id: 019b8015-b84b-7531-b1bf-633275f0a41f
[codex:628121] --------
[codex:628121] user
[codex:628121] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:628121] 
[codex:628121] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:628121] 
[codex:628121] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:628121] - Gas inefficiency, code quality, naming, or best practices
[codex:628121] - Theoretical vulnerabilities without a clear extraction path
[codex:628121] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:628121] - Front-running unless it enables theft beyond MEV
[codex:628121] - DoS, griefing, or issues that don't result in attacker profit
[codex:628121] - Missing events, view function issues, or informational findings
[codex:628121] 
[codex:628121] HIGH-VALUE PATTERNS TO HUNT:
[codex:628121] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:628121] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:628121] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:628121] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:628121] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:628121] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:628121] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:628121] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:628121] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:628121] 
[codex:628121] For each finding, you MUST provide:
[codex:628121] 1. Exact file and line numbers of vulnerable code
[codex:628121] 2. Step-by-step exploit transaction sequence
[codex:628121] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:628121] 
[codex:628121] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:628121] 
[codex:628121] Output MUST be valid JSON matching the provided schema.
[codex:628121] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:628121] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:628121] mcp startup: no servers
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Preparing to read AUDIT_BUNDLE.txt**
[codex:628121] exec
[codex:628121] /bin/bash -lc ls in /tmp/codex-multi-6rs_99dj succeeded in 6ms:
[codex:628121] AUDIT_BUNDLE.txt
[codex:628121] codex-output-schema.json
[codex:628121] contracts
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Reading AUDIT_BUNDLE.txt**
[codex:628121] exec
[codex:628121] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-6rs_99dj succeeded in 6ms:
[codex:628121] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:628121] 
[codex:628121] ================================================================================
[codex:628121] FILE: contracts/@chainlink/contracts/src/v0.8/interfaces/AggregatorV3Interface.sol
[codex:628121] ================================================================================
[codex:628121] // SPDX-License-Identifier: MIT
[codex:628121] pragma solidity ^0.8.0;
[codex:628121] 
[codex:628121] interface AggregatorV3Interface {
[codex:628121] 
[codex:628121]   function decimals()
[codex:628121]     external
[codex:628121]     view
[codex:628121]     returns (
[codex:628121]       uint8
[codex:628121]     );
[codex:628121] 
[codex:628121]   function description()
[codex:628121]     external
[codex:628121]     view
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Analyzing potential vulnerabilities and access control**
[codex:628121] 
[codex:628121] I'm considering the overall contract design and how prices and tokens interplay, especially around Chainlink price feed manipulation and distribution. I'll focus on functions with external or public visibility that might lack proper access control and cause profit exploits, planning to explore key contract files instead of parsing the huge concatenated file directly.
[codex:628121] exec
[codex:628121] /bin/bash -lc 'rg --files' in /tmp/codex-multi-6rs_99dj succeeded in 9ms:
[codex:628121] AUDIT_BUNDLE.txt
[codex:628121] codex-output-schema.json
[codex:628121] contracts/contracts/InitializableUpgrades.sol
[codex:628121] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:628121] contracts/contracts/EIP1967/EIP1967Writer.sol
[codex:628121] contracts/contracts/EIP1967/EIP1967Reader.sol
[codex:628121] contracts/contracts/v0Extended/ToonTokenV0Extended.sol
[codex:628121] contracts/contracts/v0Extended/Obligations.sol
[codex:628121] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol
[codex:628121] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:628121] contracts/contracts/v0/ToonTokenV0.sol
[codex:628121] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20MetadataUpgradeable.sol
[codex:628121] contracts/contracts/v0/LUTs.sol
[codex:628121] contracts/contracts/v0/ChainlinkETHUSD.sol
[codex:628121] contracts/contracts/v0/Voting.sol
[codex:628121] contracts/@openzeppelin/contracts/utils/Address.sol
[codex:628121] contracts/@openzeppelin/contracts/utils/math/Math.sol
[codex:628121] contracts/@openzeppelin/contracts/utils/StorageSlot.sol
[codex:628121] contracts/@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol
[codex:628121] contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Examining Voting.sol file**
[codex:628121] exec
[codex:628121] /bin/bash -lc "sed -n '1,240p' contracts/contracts/v0/Voting.sol" in /tmp/codex-multi-6rs_99dj succeeded in 6ms:
[codex:628121] /**
[codex:628121]  * Submitted for verification at Etherscan.io on 2021-12-23
[codex:628121]  */
[codex:628121] 
[codex:628121] // SPDX-License-Identifier: BUSL-1.1
[codex:628121] pragma solidity ^0.8.4;
[codex:628121] 
[codex:628121] import "@openzeppelin/contracts/utils/structs/EnumerableSet.sol";
[codex:628121] 
[codex:628121] abstract contract Voting {
[codex:628121]     using EnumerableSet for EnumerableSet.AddressSet;
[codex:628121] 
[codex:628121]     mapping(address => address) internal _votersDecisions;
[codex:628121] 
[codex:628121]     EnumerableSet.AddressSet internal _voters;
[codex:628121] 
[codex:628121]     event Vote(address voter, address candidate);
[codex:628121] 
[codex:628121]     function _vote(address voter, address candidate) internal {
[codex:628121]         require(voter != address(0), "vote from the zero address");
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Prioritizing next modules**
[codex:628121] exec
[codex:628121] /bin/bash -lc "sed -n '1,240p' contracts/contracts/v0/libraries/Elections.sol" in /tmp/codex-multi-6rs_99dj succeeded in 5ms:
[codex:628121] /**
[codex:628121]  * Submitted for verification at Etherscan.io on 2021-12-23
[codex:628121]  */
[codex:628121] 
[codex:628121] // SPDX-License-Identifier: BUSL-1.1
[codex:628121] pragma solidity ^0.8.4;
[codex:628121] 
[codex:628121] import "@openzeppelin/contracts/utils/structs/EnumerableSet.sol";
[codex:628121] 
[codex:628121] import "./ElectionsPrincipal.sol";
[codex:628121] 
[codex:628121] library Elections {
[codex:628121]     using EnumerableSet for EnumerableSet.AddressSet;
[codex:628121] 
[codex:628121]     function findTop2(
[codex:628121]         EnumerableSet.AddressSet storage voters,
[codex:628121]         ElectionsPrincipal principal
[codex:628121]     )
[codex:628121]         public
[codex:628121]         view
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Checking ElectionsPrincipal**
[codex:628121] exec
[codex:628121] /bin/bash -lc "sed -n '1,200p' contracts/contracts/v0/libraries/ElectionsPrincipal.sol" in /tmp/codex-multi-6rs_99dj succeeded in 5ms:
[codex:628121] /**
[codex:628121]  * Submitted for verification at Etherscan.io on 2021-12-23
[codex:628121]  */
[codex:628121] 
[codex:628121] // SPDX-License-Identifier: BUSL-1.1
[codex:628121] pragma solidity ^0.8.4;
[codex:628121] 
[codex:628121] interface ElectionsPrincipal {
[codex:628121]     function candidateOf(address account) external view returns (address);
[codex:628121] 
[codex:628121]     function votesOf(address account) external view returns (uint256);
[codex:628121] }
[codex:628121] 
[codex:628121] // Copyright 2021 ToonCoin.COM
[codex:628121] // http://tooncoin.com/license
[codex:628121] // Full source code: http://tooncoin.com/sourcecode
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Inspecting calculator complexity**
[codex:628121] exec
[codex:628121] /bin/bash -lc "sed -n '1,260p' contracts/contracts/v0/libraries/Calculator.sol" in /tmp/codex-multi-6rs_99dj succeeded in 5ms:
[codex:628121] /**
[codex:628121]  * Submitted for verification at Etherscan.io on 2021-12-23
[codex:628121]  */
[codex:628121] 
[codex:628121] // SPDX-License-Identifier: BUSL-1.1
[codex:628121] pragma solidity ^0.8.4;
[codex:628121] 
[codex:628121] library Calculator {
[codex:628121]     struct Result {
[codex:628121]         uint256 tokensAmount;
[codex:628121]         uint256 maintainerBonusTokensAmount;
[codex:628121]         uint256 bountyBonusTokensAmount;
[codex:628121]         uint256 nextNodeId;
[codex:628121]         uint256 nextPricePerToken;
[codex:628121]     }
[codex:628121] 
[codex:628121]     // solhint-disable-next-line contract-name-camelcase
[codex:628121]     struct _LoopState {
[codex:628121]         uint256 prev;
[codex:628121]         uint256 curr;
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Analyzing upgrade and governance risks**
[codex:628121] exec
[codex:628121] /bin/bash -lc "sed -n '1,200p' contracts/contracts/v0/libraries/LUTsLoader.sol" in /tmp/codex-multi-6rs_99dj succeeded in 6ms:
[codex:628121] /**
[codex:628121]  * Submitted for verification at Etherscan.io on 2021-12-23
[codex:628121]  */
[codex:628121] 
[codex:628121] // SPDX-License-Identifier: BUSL-1.1
[codex:628121] pragma solidity ^0.8.4;
[codex:628121] 
[codex:628121] // solhint-disable function-max-lines
[codex:628121] library LUTsLoader {
[codex:628121]     function fillPriceNodes0(uint256[] storage table) public {
[codex:628121]         require(table.length == 0, "fillPriceNodes0 initialized");
[codex:628121]         table.push(1000000000000000000);
[codex:628121]         table.push(1000000000000000000);
[codex:628121]         table.push(1033606645623224470);
[codex:628121]         table.push(1068342697876493930);
[codex:628121]         table.push(1104246112328188820);
[codex:628121]         table.push(1141356120106025580);
[codex:628121]         table.push(1179713270764327210);
[codex:628121]         table.push(1219359476591919000);
[codex:628121]         table.push(1260338058409064100);
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Analyzing possible vulnerabilities in token contract**
[codex:628121] 
[codex:628121] I'm carefully examining possible exploits in token contract functions, focusing on whether any unauthorized party could profit from calling them. I consider initialization, obligations, minting, token transfers, upgrades, and governance voting to spot reentrancy, access control gaps, or manipulation routes that could drain value or give attackers undue control. I’m also checking handling of supply lookup tables and chainlink feeds for subtle risks. Overall, I’m trying to find a profit-driven attack vector despite mostly guarded logic.
[codex:628121] exec
[codex:628121] /bin/bash -lc "rg -n \"call\\{value|transfer\\(|send\\(|_transfer\\(\" contracts/contracts" in /tmp/codex-multi-6rs_99dj succeeded in 15ms:
[codex:628121] contracts/contracts/v0/ToonTokenV0.sol:272:            (bool success, ) = recipient.call{value: amount}("");
[codex:628121] contracts/contracts/v0Extended/ToonTokenV0Extended.sol:93:        _transfer(sender, recipient, amount);
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Analyzing potential governance and upgrade exploits**
[codex:628121] exec
[codex:628121] /bin/bash -lc 'rg -n "fillSupplyNodes0|fillSupplyNodes1|fillSupplyNodes2|fillSupplyNodes3" -n contracts/contracts/v0/libraries/LUTsLoader.sol' in /tmp/codex-multi-6rs_99dj succeeded in 6ms:
[codex:628121] 380:    function fillSupplyNodes0(uint256[] storage table) public {
[codex:628121] 381:        require(table.length == 0, "fillSupplyNodes0 initialized");
[codex:628121] 484:    function fillSupplyNodes1(uint256[] storage table) public {
[codex:628121] 487:            "fillSupplyNodes1 initialized"
[codex:628121] 591:    function fillSupplyNodes2(uint256[] storage table) public {
[codex:628121] 594:            "fillSupplyNodes2 initialized"
[codex:628121] 698:    function fillSupplyNodes3(uint256[] storage table) public {
[codex:628121] 701:            "fillSupplyNodes3 initialized"
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Analyzing governance and token supply risks**
[codex:628121] exec
[codex:628121] /bin/bash -lc "nl -ba contracts/contracts/v0/ChainlinkETHUSD.sol | sed -n '1,120p'" in /tmp/codex-multi-6rs_99dj succeeded in 6ms:
[codex:628121]      1	/**
[codex:628121]      2	 * Submitted for verification at Etherscan.io on 2021-12-23
[codex:628121]      3	 */
[codex:628121]      4	
[codex:628121]      5	// SPDX-License-Identifier: BUSL-1.1
[codex:628121]      6	pragma solidity ^0.8.4;
[codex:628121]      7	
[codex:628121]      8	import "@chainlink/contracts/src/v0.8/interfaces/AggregatorV3Interface.sol";
[codex:628121]      9	
[codex:628121]     10	abstract contract ChainlinkETHUSD {
[codex:628121]     11	    address private _chainlinkDataFeed;
[codex:628121]     12	
[codex:628121]     13	    function setChainlinkDataFeed(address dataFeed) external {
[codex:628121]     14	        require(_chainlinkDataFeed == address(0), "already set");
[codex:628121]     15	
[codex:628121]     16	        _chainlinkDataFeed = dataFeed;
[codex:628121]     17	    }
[codex:628121]     18	
[codex:628121]     19	    function getChainlinkDataFeed() external view returns (address) {
[codex:628121]     20	        return _chainlinkDataFeed;
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Gathering line numbers for key functions**
[codex:628121] exec
[codex:628121] /bin/bash -lc "nl -ba contracts/contracts/v0/ToonTokenV0.sol | sed -n '200,360p'" in /tmp/codex-multi-6rs_99dj succeeded in 6ms:
[codex:628121]    200	                runnerUpCandidateVotes,
[codex:628121]    201	                totalVotes
[codex:628121]    202	            );
[codex:628121]    203	        }
[codex:628121]    204	    }
[codex:628121]    205	
[codex:628121]    206	    function breakConsensus(
[codex:628121]    207	        address[] memory alternativeCandidateVoters,
[codex:628121]    208	        address[] memory abstainedVoters
[codex:628121]    209	    ) external hasConsensus {
[codex:628121]    210	        uint256 votes = Elections.sumVotesExceptZeroAnd(
[codex:628121]    211	            maintainer,
[codex:628121]    212	            alternativeCandidateVoters,
[codex:628121]    213	            ElectionsPrincipal(this)
[codex:628121]    214	        );
[codex:628121]    215	
[codex:628121]    216	        uint256 abstainedVotes = Elections.sumVotesFor(
[codex:628121]    217	            address(0),
[codex:628121]    218	            abstainedVoters,
[codex:628121]    219	            ElectionsPrincipal(this)
[codex:628121] exec
[codex:628121] /bin/bash -lc "nl -ba contracts/contracts/v0/ToonTokenV0.sol | sed -n '360,520p'" in /tmp/codex-multi-6rs_99dj succeeded in 6ms:
[codex:628121]    360	            _vote(buyer, maintainer);
[codex:628121]    361	        }
[codex:628121]    362	    }
[codex:628121]    363	
[codex:628121]    364	    function purchase() external payable hasConsensus {
[codex:628121]    365	        _purchase(_msgSender(), _convertEthToUsd(msg.value));
[codex:628121]    366	    }
[codex:628121]    367	
[codex:628121]    368	    function purchaseAndVote(address candidate) external payable hasConsensus {
[codex:628121]    369	        _purchase(_msgSender(), _convertEthToUsd(msg.value));
[codex:628121]    370	        _vote(_msgSender(), candidate);
[codex:628121]    371	    }
[codex:628121]    372	
[codex:628121]    373	    function _purchase(address account, uint256 usdAmount) internal {
[codex:628121]    374	        require(account != address(0), "purchase from the zero address");
[codex:628121]    375	        require(usdAmount > 0, "no funds");
[codex:628121]    376	
[codex:628121]    377	        Calculator.Result memory r = Calculator.calcTokens(
[codex:628121]    378	            usdAmount,
[codex:628121]    379	            totalSupply(),
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Scanning for external functions**
[codex:628121] exec
[codex:628121] /bin/bash -lc 'rg -n "function .*external" contracts/contracts' in /tmp/codex-multi-6rs_99dj succeeded in 10ms:
[codex:628121] contracts/contracts/InitializableUpgrades.sol:26:    function initialize() external virtual implementationInitializer {}
[codex:628121] contracts/contracts/v0/LUTs.sol:17:    function initSupplyLUT0() external {
[codex:628121] contracts/contracts/v0/LUTs.sol:21:    function initSupplyLUT1() external {
[codex:628121] contracts/contracts/v0/LUTs.sol:25:    function initSupplyLUT2() external {
[codex:628121] contracts/contracts/v0/LUTs.sol:29:    function initSupplyLUT3() external {
[codex:628121] contracts/contracts/v0/LUTs.sol:33:    function initPriceLUT0() external {
[codex:628121] contracts/contracts/v0/LUTs.sol:37:    function initPriceLUT1() external {
[codex:628121] contracts/contracts/v0/LUTs.sol:41:    function initPriceLUT2() external {
[codex:628121] contracts/contracts/v0/LUTs.sol:45:    function initPriceLUT3() external {
[codex:628121] contracts/contracts/v0/ToonTokenV0.sol:123:    function overrideName(string memory overriddenName_) external {
[codex:628121] contracts/contracts/v0/ToonTokenV0.sol:131:    function vote(address candidate) external {
[codex:628121] contracts/contracts/v0/ToonTokenV0.sol:141:    function holdElectionsAndUpdate() external {
[codex:628121] contracts/contracts/v0/ToonTokenV0.sol:364:    function purchase() external payable hasConsensus {
[codex:628121] contracts/contracts/v0/ToonTokenV0.sol:368:    function purchaseAndVote(address candidate) external payable hasConsensus {
[codex:628121] contracts/contracts/v0/ChainlinkETHUSD.sol:13:    function setChainlinkDataFeed(address dataFeed) external {
[codex:628121] contracts/contracts/v0/ChainlinkETHUSD.sol:19:    function getChainlinkDataFeed() external view returns (address) {
[codex:628121] contracts/contracts/v0/libraries/ElectionsPrincipal.sol:9:    function candidateOf(address account) external view returns (address);
[codex:628121] contracts/contracts/v0/libraries/ElectionsPrincipal.sol:11:    function votesOf(address account) external view returns (uint256);
[codex:628121] 
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Analyzing potential exploit paths and governance risks**
[codex:628121] 
[codex:628121] I'm working through the contract’s external functions and governance mechanisms to see if there's any clear way to extract value improperly. I’m evaluating if things like setting the Chainlink data feed or governance voting rules could be abused to profit, considering deployment race conditions, voting low turnout scenarios, and upgrade initialization logic, while distinguishing design choices from exploitable bugs.
[codex:628121] thinking
[codex:628121] **Investigating pricing logic and initialization vulnerabilities**
[codex:628121] 
[codex:628121] I'm examining the token pricing code, including how minimums and maximums are handled in bounty price calculations, and I’m checking if unprotected initialization functions or external LUT setups could be exploited. I’m also looking into upgrade mechanics and storage slot safety to spot any subtle bugs or exploitable patterns.
[codex:628121] exec
[codex:628121] /bin/bash -lc "nl -ba contracts/contracts/InitializableUpgrades.sol | sed -n '1,160p'" in /tmp/codex-multi-6rs_99dj succeeded in 7ms:
[codex:628121]      1	/**
[codex:628121]      2	 * Submitted for verification at Etherscan.io on 2021-12-23
[codex:628121]      3	 */
[codex:628121]      4	
[codex:628121]      5	// SPDX-License-Identifier: BUSL-1.1
[codex:628121]      6	pragma solidity ^0.8.4;
[codex:628121]      7	
[codex:628121]      8	import "./EIP1967/EIP1967Reader.sol";
[codex:628121]      9	import "./EIP1967/EIP1967Writer.sol";
[codex:628121]     10	
[codex:628121]     11	abstract contract InitializableUpgrades is EIP1967Reader, EIP1967Writer {
[codex:628121]     12	    address private _implementationInitialized;
[codex:628121]     13	
[codex:628121]     14	    modifier implementationInitializer() {
[codex:628121]     15	        require(
[codex:628121]     16	            _implementationInitialized != implementation(),
[codex:628121]     17	            "already upgraded"
[codex:628121]     18	        );
[codex:628121]     19	
[codex:628121]     20	        _;
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Analyzing oracle and governance vulnerabilities**
[codex:628121] exec
[codex:628121] /bin/bash -lc "nl -ba contracts/contracts/v0/ToonTokenV0.sol | sed -n '110,190p'" in /tmp/codex-multi-6rs_99dj succeeded in 6ms:
[codex:628121]    110	    function __ToonTokenV0_init_unchained()
[codex:628121]    111	        internal
[codex:628121]    112	        initializer
[codex:628121]    113	        implementationInitializer
[codex:628121]    114	    {
[codex:628121]    115	        consensus = true;
[codex:628121]    116	    }
[codex:628121]    117	
[codex:628121]    118	    function name() public view virtual override returns (string memory) {
[codex:628121]    119	        if (bytes(_overriddenName).length == 0) return super.name();
[codex:628121]    120	        return _overriddenName;
[codex:628121]    121	    }
[codex:628121]    122	
[codex:628121]    123	    function overrideName(string memory overriddenName_) external {
[codex:628121]    124	        require(
[codex:628121]    125	            address(0) == maintainer || _msgSender() == maintainer,
[codex:628121]    126	            "not authorized"
[codex:628121]    127	        );
[codex:628121]    128	        _overriddenName = overriddenName_;
[codex:628121]    129	    }
[codex:628121] 
[codex:628121] thinking
[codex:628121] **Summarizing exploit analysis and JSON report plan**
[codex:628121] codex
[codex:628121] {"no_findings":false,"summary":"Unrestricted oracle initialization lets an attacker set a malicious price feed, mint disproportionate tokens, seize maintainer role, and drain the contract’s ETH via governance distribution.","findings":[{"severity":"high","category":"oracle","title":"Unprotected Chainlink feed initialization enables malicious oracle and governance takeover to drain ETH","exploit_scenario":"1) Deploy a fake AggregatorV3Interface that returns an arbitrarily large (or negative) `answer` with matching `roundId/answeredInRound`. 2) Call `setChainlinkDataFeed(fake)` before any legitimate setup. 3) Call `purchase`/send ETH; `_convertEthToUsd` trusts the fake price and casts it to `uint256`, minting a massive token balance. 4) Vote for self and call `holdElectionsAndUpdate` to become maintainer. 5) Call `proposeDistribution` for the full contract ETH balance. 6) After 14 days, call `holdElectionsAndUpdate` again; `_performProposedDistribution` transfers ETH to attacker. Profit potential: up to the entire ETH balance held by the contract (all buyer deposits after the malicious feed is set), plus any external liquidity if the inflated tokens are dumped.","recommendation":"Restrict `setChainlinkDataFeed` to an authorized role and validate the feed address is a trusted contract. Also reject non‑positive prices before casting to `uint256` to prevent malicious oracles from returning negative values.","evidence":"`setChainlinkDataFeed` is externally callable with no auth and the price is trusted/cast without positivity checks, then used to mint tokens; maintainer can later distribute ETH.","locations":["contracts/contracts/v0/ChainlinkETHUSD.sol:13","contracts/contracts/v0/ChainlinkETHUSD.sol:23","contracts/contracts/v0/ChainlinkETHUSD.sol:35","contracts/contracts/v0/ChainlinkETHUSD.sol:41","contracts/contracts/v0/ToonTokenV0.sol:352","contracts/contracts/v0/ToonTokenV0.sol:373","contracts/contracts/v0/ToonTokenV0.sol:315","contracts/contracts/v0/ToonTokenV0.sol:253"]}]}
[codex:628121] tokens used
[codex:628121] 46,319
[codex:628121] {"no_findings":false,"summary":"Unrestricted oracle initialization lets an attacker set a malicious price feed, mint disproportionate tokens, seize maintainer role, and drain the contract’s ETH via governance distribution.","findings":[{"severity":"high","category":"oracle","title":"Unprotected Chainlink feed initialization enables malicious oracle and governance takeover to drain ETH","exploit_scenario":"1) Deploy a fake AggregatorV3Interface that returns an arbitrarily large (or negative) `answer` with matching `roundId/answeredInRound`. 2) Call `setChainlinkDataFeed(fake)` before any legitimate setup. 3) Call `purchase`/send ETH; `_convertEthToUsd` trusts the fake price and casts it to `uint256`, minting a massive token balance. 4) Vote for self and call `holdElectionsAndUpdate` to become maintainer. 5) Call `proposeDistribution` for the full contract ETH balance. 6) After 14 days, call `holdElectionsAndUpdate` again; `_performProposedDistribution` transfers ETH to attacker. Profit potential: up to the entire ETH balance held by the contract (all buyer deposits after the malicious feed is set), plus any external liquidity if the inflated tokens are dumped.","recommendation":"Restrict `setChainlinkDataFeed` to an authorized role and validate the feed address is a trusted contract. Also reject non‑positive prices before casting to `uint256` to prevent malicious oracles from returning negative values.","evidence":"`setChainlinkDataFeed` is externally callable with no auth and the price is trusted/cast without positivity checks, then used to mint tokens; maintainer can later distribute ETH.","locations":["contracts/contracts/v0/ChainlinkETHUSD.sol:13","contracts/contracts/v0/ChainlinkETHUSD.sol:23","contracts/contracts/v0/ChainlinkETHUSD.sol:35","contracts/contracts/v0/ChainlinkETHUSD.sol:41","contracts/contracts/v0/ToonTokenV0.sol:352","contracts/contracts/v0/ToonTokenV0.sol:373","contracts/contracts/v0/ToonTokenV0.sol:315","contracts/contracts/v0/ToonTokenV0.sol:253"]}]}

{
    "codex": {
        "ran_at": "2026-01-02T19:08:03.232632+00:00",
        "returncode": 0
    },
    "summary": "Unrestricted oracle initialization lets an attacker set a malicious price feed, mint disproportionate tokens, seize maintainer role, and drain the contract\u2019s ETH via governance distribution.",
    "raw_final": {
        "summary": "Unrestricted oracle initialization lets an attacker set a malicious price feed, mint disproportionate tokens, seize maintainer role, and drain the contract\u2019s ETH via governance distribution.",
        "findings": [
            {
                "title": "Unprotected Chainlink feed initialization enables malicious oracle and governance takeover to drain ETH",
                "category": "oracle",
                "evidence": "`setChainlinkDataFeed` is externally callable with no auth and the price is trusted/cast without positivity checks, then used to mint tokens; maintainer can later distribute ETH.",
                "severity": "high",
                "locations": [
                    "contracts/contracts/v0/ChainlinkETHUSD.sol:13",
                    "contracts/contracts/v0/ChainlinkETHUSD.sol:23",
                    "contracts/contracts/v0/ChainlinkETHUSD.sol:35",
                    "contracts/contracts/v0/ChainlinkETHUSD.sol:41",
                    "contracts/contracts/v0/ToonTokenV0.sol:352",
                    "contracts/contracts/v0/ToonTokenV0.sol:373",
                    "contracts/contracts/v0/ToonTokenV0.sol:315",
                    "contracts/contracts/v0/ToonTokenV0.sol:253"
                ],
                "recommendation": "Restrict `setChainlinkDataFeed` to an authorized role and validate the feed address is a trusted contract. Also reject non\u2011positive prices before casting to `uint256` to prevent malicious oracles from returning negative values.",
                "exploit_scenario": "1) Deploy a fake AggregatorV3Interface that returns an arbitrarily large (or negative) `answer` with matching `roundId/answeredInRound`. 2) Call `setChainlinkDataFeed(fake)` before any legitimate setup. 3) Call `purchase`/send ETH; `_convertEthToUsd` trusts the fake price and casts it to `uint256`, minting a massive token balance. 4) Vote for self and call `holdElectionsAndUpdate` to become maintainer. 5) Call `proposeDistribution` for the full contract ETH balance. 6) After 14 days, call `holdElectionsAndUpdate` again; `_performProposedDistribution` transfers ETH to attacker. Profit potential: up to the entire ETH balance held by the contract (all buyer deposits after the malicious feed is set), plus any external liquidity if the inflated tokens are dumped."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0359
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x750f853a
00000019: GT
0000001a: PUSH2 0x01bb
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbf4818b2
00000024: GT
00000025: PUSH2 0x00f7
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe60465e7
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xed401551
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xed401551
00000045: EQ
00000046: PUSH2 0x0ab2
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xef682f49
00000050: EQ
00000051: PUSH2 0x0ad2
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xef77e4a5
0000005b: EQ
0000005c: PUSH2 0x0ae7
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xff861d74
00000066: EQ
00000067: PUSH2 0x0afe
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xe60465e7
00000076: EQ
00000077: PUSH2 0x0a5b
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe6265840
00000081: EQ
00000082: PUSH2 0x0a70
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe81ce5a3
0000008c: EQ
0000008d: PUSH2 0x0a9b
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xd3f6a157
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xd3f6a157
000000a7: EQ
000000a8: PUSH2 0x09a3
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xd6a88fc7
000000b2: EQ
000000b3: PUSH2 0x09c3
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xdd62ed3e
000000bd: EQ
000000be: PUSH2 0x09da
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xe5760520
000000c8: EQ
000000c9: PUSH2 0x0a2d
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0xbf4818b2
000000d8: EQ
000000d9: PUSH2 0x0928
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xc915fc93
000000e3: EQ
000000e4: PUSH2 0x096e
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xc9aefed9
000000ee: EQ
000000ef: PUSH2 0x098e
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x95d89b41
000000fe: GT
000000ff: PUSH2 0x0164
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xa9059cbb
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xa9059cbb
00000114: EQ
00000115: PUSH2 0x0884
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xaf36e6ca
0000011f: EQ
00000120: PUSH2 0x08a4
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xb1fd4f6e
0000012a: EQ
0000012b: PUSH2 0x08b9
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xb4796736
00000135: EQ
00000136: PUSH2 0x08cc
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x95d89b41
00000145: EQ
00000146: PUSH2 0x081c
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x9850d32b
00000150: EQ
00000151: PUSH2 0x0831
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0xa457c2d7
0000015b: EQ
0000015c: PUSH2 0x0864
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x8129fc1c
0000016b: GT
0000016c: PUSH2 0x0195
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x8129fc1c
00000176: EQ
00000177: PUSH2 0x07d7
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x8ef3f761
00000181: EQ
00000182: PUSH2 0x07ec
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x94ea36a5
0000018c: EQ
0000018d: PUSH2 0x0807
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: DUP1
00000197: PUSH4 0x750f853a
0000019c: EQ
0000019d: PUSH2 0x0782
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x79cf52d6
000001a7: EQ
000001a8: PUSH2 0x07a2
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x79ec5d3a
000001b2: EQ
000001b3: PUSH2 0x07b7
000001b6: JUMPI
000001b7: PUSH1 0x00
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: DUP1
000001bd: PUSH4 0x39509351
000001c2: GT
000001c3: PUSH2 0x0295
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0x61d9544d
000001cd: GT
000001ce: PUSH2 0x0233
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0x69b6aa74
000001d8: GT
000001d9: PUSH2 0x020d
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x69b6aa74
000001e3: EQ
000001e4: PUSH2 0x06da
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x6ae27868
000001ee: EQ
000001ef: PUSH2 0x06f1
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0x6dd7d8ea
000001f9: EQ
000001fa: PUSH2 0x071f
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0x70a08231
00000204: EQ
00000205: PUSH2 0x073f
00000208: JUMPI
00000209: PUSH1 0x00
0000020b: DUP1
0000020c: REVERT
0000020d: JUMPDEST
0000020e: DUP1
0000020f: PUSH4 0x61d9544d
00000214: EQ
00000215: PUSH2 0x069d
00000218: JUMPI
00000219: DUP1
0000021a: PUSH4 0x646b963d
0000021f: EQ
00000220: PUSH2 0x06bd
00000223: JUMPI
00000224: DUP1
00000225: PUSH4 0x64edfbf0
0000022a: EQ
0000022b: PUSH2 0x06d2
0000022e: JUMPI
0000022f: PUSH1 0x00
00000231: DUP1
00000232: REVERT
00000233: JUMPDEST
00000234: DUP1
00000235: PUSH4 0x579cb1d7
0000023a: GT
0000023b: PUSH2 0x026f
0000023e: JUMPI
0000023f: DUP1
00000240: PUSH4 0x579cb1d7
00000245: EQ
00000246: PUSH2 0x0631
00000249: JUMPI
0000024a: DUP1
0000024b: PUSH4 0x5ae1823c
00000250: EQ
00000251: PUSH2 0x0651
00000254: JUMPI
00000255: DUP1
00000256: PUSH4 0x5b4c9125
0000025b: EQ
0000025c: PUSH2 0x0671
0000025f: JUMPI
00000260: DUP1
00000261: PUSH4 0x5c60da1b
00000266: EQ
00000267: PUSH2 0x0688
0000026a: JUMPI
0000026b: PUSH1 0x00
0000026d: DUP1
0000026e: REVERT
0000026f: JUMPDEST
00000270: DUP1
00000271: PUSH4 0x39509351
00000276: EQ
00000277: PUSH2 0x059e
0000027a: JUMPI
0000027b: DUP1
0000027c: PUSH4 0x3f4d8eed
00000281: EQ
00000282: PUSH2 0x05be
00000285: JUMPI
00000286: DUP1
00000287: PUSH4 0x4c992fa6
0000028c: EQ
0000028d: PUSH2 0x05de
00000290: JUMPI
00000291: PUSH1 0x00
00000293: DUP1
00000294: REVERT
00000295: JUMPDEST
00000296: DUP1
00000297: PUSH4 0x192a9611
0000029c: GT
0000029d: PUSH2 0x0302
000002a0: JUMPI
000002a1: DUP1
000002a2: PUSH4 0x26379d41
000002a7: GT
000002a8: PUSH2 0x02dc
000002ab: JUMPI
000002ac: DUP1
000002ad: PUSH4 0x26379d41
000002b2: EQ
000002b3: PUSH2 0x0541
000002b6: JUMPI
000002b7: DUP1
000002b8: PUSH4 0x27390514
000002bd: EQ
000002be: PUSH2 0x0556
000002c1: JUMPI
000002c2: DUP1
000002c3: PUSH4 0x2f9dbd6b
000002c8: EQ
000002c9: PUSH2 0x056d
000002cc: JUMPI
000002cd: DUP1
000002ce: PUSH4 0x313ce567
000002d3: EQ
000002d4: PUSH2 0x0582
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: DUP1
000002de: PUSH4 0x192a9611
000002e3: EQ
000002e4: PUSH2 0x04f7
000002e7: JUMPI
000002e8: DUP1
000002e9: PUSH4 0x23b872dd
000002ee: EQ
000002ef: PUSH2 0x050c
000002f2: JUMPI
000002f3: DUP1
000002f4: PUSH4 0x23f260a2
000002f9: EQ
000002fa: PUSH2 0x052c
000002fd: JUMPI
000002fe: PUSH1 0x00
00000300: DUP1
00000301: REVERT
00000302: JUMPDEST
00000303: DUP1
00000304: PUSH4 0x0baab36b
00000309: GT
0000030a: PUSH2 0x0333
0000030d: JUMPI
0000030e: DUP1
0000030f: PUSH4 0x0baab36b
00000314: EQ
00000315: PUSH2 0x04a0
00000318: JUMPI
00000319: DUP1
0000031a: PUSH4 0x13e8ed8c
0000031f: EQ
00000320: PUSH2 0x04c2
00000323: JUMPI
00000324: DUP1
00000325: PUSH4 0x18160ddd
0000032a: EQ
0000032b: PUSH2 0x04e2
0000032e: JUMPI
0000032f: PUSH1 0x00
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: DUP1
00000335: PUSH4 0x06fdde03
0000033a: EQ
0000033b: PUSH2 0x0420
0000033e: JUMPI
0000033f: DUP1
00000340: PUSH4 0x08ee7ed8
00000345: EQ
00000346: PUSH2 0x044b
00000349: JUMPI
0000034a: DUP1
0000034b: PUSH4 0x095ea7b3
00000350: EQ
00000351: PUSH2 0x0470
00000354: JUMPI
00000355: PUSH1 0x00
00000357: DUP1
00000358: REVERT
00000359: JUMPDEST
0000035a: CALLDATASIZE
0000035b: PUSH2 0x041b
0000035e: JUMPI
0000035f: PUSH2 0x0366
00000362: PUSH2 0x0b2c
00000365: JUMP
00000366: JUMPDEST
00000367: CALLER
00000368: PUSH2 0x0379
0000036b: DUP2
0000036c: PUSH2 0x0374
0000036f: CALLVALUE
00000370: PUSH2 0x0ba5
00000373: JUMP
00000374: JUMPDEST
00000375: PUSH2 0x0d4e
00000378: JUMP
00000379: JUMPDEST
0000037a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038f: DUP2
00000390: DUP2
00000391: AND
00000392: PUSH1 0x00
00000394: SWAP1
00000395: DUP2
00000396: MSTORE
00000397: PUSH1 0xc9
00000399: PUSH1 0x20
0000039b: MSTORE
0000039c: PUSH1 0x40
0000039e: SWAP1
0000039f: KECCAK256
000003a0: SLOAD
000003a1: AND
000003a2: ISZERO
000003a3: DUP1
000003a4: ISZERO
000003a5: PUSH2 0x03e9
000003a8: JUMPI
000003a9: POP
000003aa: PUSH2 0x03b5
000003ad: PUSH1 0x12
000003af: PUSH1 0x0a
000003b1: PUSH2 0x4166
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH2 0x03c1
000003b9: SWAP1
000003ba: PUSH2 0x03e8
000003bd: PUSH2 0x4175
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d7: DUP3
000003d8: AND
000003d9: PUSH1 0x00
000003db: SWAP1
000003dc: DUP2
000003dd: MSTORE
000003de: PUSH1 0x33
000003e0: PUSH1 0x20
000003e2: MSTORE
000003e3: PUSH1 0x40
000003e5: SWAP1
000003e6: KECCAK256
000003e7: SLOAD
000003e8: GT
000003e9: JUMPDEST
000003ea: ISZERO
000003eb: PUSH2 0x0418
000003ee: JUMPI
000003ef: PUSH2 0x012f
000003f2: SLOAD
000003f3: PUSH2 0x0418
000003f6: SWAP1
000003f7: DUP3
000003f8: SWAP1
000003f9: PUSH2 0x0100
000003fc: SWAP1
000003fd: DIV
000003fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000413: AND
00000414: PUSH2 0x0f74
00000417: JUMP
00000418: JUMPDEST
00000419: POP
0000041a: STOP
0000041b: JUMPDEST
0000041c: PUSH1 0x00
0000041e: DUP1
0000041f: REVERT
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x0435
00000431: PUSH2 0x10ec
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH1 0x40
00000438: MLOAD
00000439: PUSH2 0x0442
0000043c: SWAP2
0000043d: SWAP1
0000043e: PUSH2 0x41de
00000441: JUMP
00000442: JUMPDEST
00000443: PUSH1 0x40
00000445: MLOAD
00000446: DUP1
00000447: SWAP2
00000448: SUB
00000449: SWAP1
0000044a: RETURN
0000044b: JUMPDEST
0000044c: CALLVALUE
0000044d: DUP1
0000044e: ISZERO
0000044f: PUSH2 0x0457
00000452: JUMPI
00000453: PUSH1 0x00
00000455: DUP1
00000456: REVERT
00000457: JUMPDEST
00000458: POP
00000459: PUSH2 0x0462
0000045c: PUSH2 0x0136
0000045f: SLOAD
00000460: DUP2
00000461: JUMP
00000462: JUMPDEST
00000463: PUSH1 0x40
00000465: MLOAD
00000466: SWAP1
00000467: DUP2
00000468: MSTORE
00000469: PUSH1 0x20
0000046b: ADD
0000046c: PUSH2 0x0442
0000046f: JUMP
00000470: JUMPDEST
00000471: CALLVALUE
00000472: DUP1
00000473: ISZERO
00000474: PUSH2 0x047c
00000477: JUMPI
00000478: PUSH1 0x00
0000047a: DUP1
0000047b: REVERT
0000047c: JUMPDEST
0000047d: POP
0000047e: PUSH2 0x0490
00000481: PUSH2 0x048b
00000484: CALLDATASIZE
00000485: PUSH1 0x04
00000487: PUSH2 0x4251
0000048a: JUMP
0000048b: JUMPDEST
0000048c: PUSH2 0x11a2
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH1 0x40
00000493: MLOAD
00000494: SWAP1
00000495: ISZERO
00000496: ISZERO
00000497: DUP2
00000498: MSTORE
00000499: PUSH1 0x20
0000049b: ADD
0000049c: PUSH2 0x0442
0000049f: JUMP
000004a0: JUMPDEST
000004a1: CALLVALUE
000004a2: DUP1
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: POP
000004ae: PUSH2 0x04c0
000004b1: PUSH2 0x04bb
000004b4: CALLDATASIZE
000004b5: PUSH1 0x04
000004b7: PUSH2 0x4251
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH2 0x11b9
000004bf: JUMP
000004c0: JUMPDEST
000004c1: STOP
000004c2: JUMPDEST
000004c3: CALLVALUE
000004c4: DUP1
000004c5: ISZERO
000004c6: PUSH2 0x04ce
000004c9: JUMPI
000004ca: PUSH1 0x00
000004cc: DUP1
000004cd: REVERT
000004ce: JUMPDEST
000004cf: POP
000004d0: PUSH2 0x04c0
000004d3: PUSH2 0x04dd
000004d6: CALLDATASIZE
000004d7: PUSH1 0x04
000004d9: PUSH2 0x42fb
000004dc: JUMP
000004dd: JUMPDEST
000004de: PUSH2 0x12b0
000004e1: JUMP
000004e2: JUMPDEST
000004e3: CALLVALUE
000004e4: DUP1
000004e5: ISZERO
000004e6: PUSH2 0x04ee
000004e9: JUMPI
000004ea: PUSH1 0x00
000004ec: DUP1
000004ed: REVERT
000004ee: JUMPDEST
000004ef: POP
000004f0: PUSH2 0x0462
000004f3: PUSH2 0x1388
000004f6: JUMP
000004f7: JUMPDEST
000004f8: CALLVALUE
000004f9: DUP1
000004fa: ISZERO
000004fb: PUSH2 0x0503
000004fe: JUMPI
000004ff: PUSH1 0x00
00000501: DUP1
00000502: REVERT
00000503: JUMPDEST
00000504: POP
00000505: PUSH2 0x04c0
00000508: PUSH2 0x13af
0000050b: JUMP
0000050c: JUMPDEST
0000050d: CALLVALUE
0000050e: DUP1
0000050f: ISZERO
00000510: PUSH2 0x0518
00000513: JUMPI
00000514: PUSH1 0x00
00000516: DUP1
00000517: REVERT
00000518: JUMPDEST
00000519: POP
0000051a: PUSH2 0x0490
0000051d: PUSH2 0x0527
00000520: CALLDATASIZE
00000521: PUSH1 0x04
00000523: PUSH2 0x43ae
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH2 0x142e
0000052b: JUMP
0000052c: JUMPDEST
0000052d: CALLVALUE
0000052e: DUP1
0000052f: ISZERO
00000530: PUSH2 0x0538
00000533: JUMPI
00000534: PUSH1 0x00
00000536: DUP1
00000537: REVERT
00000538: JUMPDEST
00000539: POP
0000053a: PUSH2 0x04c0
0000053d: PUSH2 0x1516
00000540: JUMP
00000541: JUMPDEST
00000542: CALLVALUE
00000543: DUP1
00000544: ISZERO
00000545: PUSH2 0x054d
00000548: JUMPI
00000549: PUSH1 0x00
0000054b: DUP1
0000054c: REVERT
0000054d: JUMPDEST
0000054e: POP
0000054f: PUSH2 0x04c0
00000552: PUSH2 0x1567
00000555: JUMP
00000556: JUMPDEST
00000557: CALLVALUE
00000558: DUP1
00000559: ISZERO
0000055a: PUSH2 0x0562
0000055d: JUMPI
0000055e: PUSH1 0x00
00000560: DUP1
00000561: REVERT
00000562: JUMPDEST
00000563: POP
00000564: PUSH2 0x0462
00000567: PUSH2 0x0192
0000056a: SLOAD
0000056b: DUP2
0000056c: JUMP
0000056d: JUMPDEST
0000056e: CALLVALUE
0000056f: DUP1
00000570: ISZERO
00000571: PUSH2 0x0579
00000574: JUMPI
00000575: PUSH1 0x00
00000577: DUP1
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: PUSH2 0x04c0
0000057e: PUSH2 0x177a
00000581: JUMP
00000582: JUMPDEST
00000583: CALLVALUE
00000584: DUP1
00000585: ISZERO
00000586: PUSH2 0x058e
00000589: JUMPI
0000058a: PUSH1 0x00
0000058c: DUP1
0000058d: REVERT
0000058e: JUMPDEST
0000058f: POP
00000590: PUSH1 0x40
00000592: MLOAD
00000593: PUSH1 0x12
00000595: DUP2
00000596: MSTORE
00000597: PUSH1 0x20
00000599: ADD
0000059a: PUSH2 0x0442
0000059d: JUMP
0000059e: JUMPDEST
0000059f: CALLVALUE
000005a0: DUP1
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: POP
000005ac: PUSH2 0x0490
000005af: PUSH2 0x05b9
000005b2: CALLDATASIZE
000005b3: PUSH1 0x04
000005b5: PUSH2 0x4251
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH2 0x17cb
000005bd: JUMP
000005be: JUMPDEST
000005bf: CALLVALUE
000005c0: DUP1
000005c1: ISZERO
000005c2: PUSH2 0x05ca
000005c5: JUMPI
000005c6: PUSH1 0x00
000005c8: DUP1
000005c9: REVERT
000005ca: JUMPDEST
000005cb: POP
000005cc: PUSH2 0x04c0
000005cf: PUSH2 0x05d9
000005d2: CALLDATASIZE
000005d3: PUSH1 0x04
000005d5: PUSH2 0x43ef
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH2 0x1814
000005dd: JUMP
000005de: JUMPDEST
000005df: CALLVALUE
000005e0: DUP1
000005e1: ISZERO
000005e2: PUSH2 0x05ea
000005e5: JUMPI
000005e6: PUSH1 0x00
000005e8: DUP1
000005e9: REVERT
000005ea: JUMPDEST
000005eb: POP
000005ec: PUSH2 0x0135
000005ef: SLOAD
000005f0: PUSH2 0x060c
000005f3: SWAP1
000005f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000609: AND
0000060a: DUP2
0000060b: JUMP
0000060c: JUMPDEST
0000060d: PUSH1 0x40
0000060f: MLOAD
00000610: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000625: SWAP1
00000626: SWAP2
00000627: AND
00000628: DUP2
00000629: MSTORE
0000062a: PUSH1 0x20
0000062c: ADD
0000062d: PUSH2 0x0442
00000630: JUMP
00000631: JUMPDEST
00000632: CALLVALUE
00000633: DUP1
00000634: ISZERO
00000635: PUSH2 0x063d
00000638: JUMPI
00000639: PUSH1 0x00
0000063b: DUP1
0000063c: REVERT
0000063d: JUMPDEST
0000063e: POP
0000063f: PUSH2 0x04c0
00000642: PUSH2 0x064c
00000645: CALLDATASIZE
00000646: PUSH1 0x04
00000648: PUSH2 0x44ad
0000064b: JUMP
0000064c: JUMPDEST
0000064d: PUSH2 0x19de
00000650: JUMP
00000651: JUMPDEST
00000652: CALLVALUE
00000653: DUP1
00000654: ISZERO
00000655: PUSH2 0x065d
00000658: JUMPI
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: REVERT
0000065d: JUMPDEST
0000065e: POP
0000065f: PUSH2 0x04c0
00000662: PUSH2 0x066c
00000665: CALLDATASIZE
00000666: PUSH1 0x04
00000668: PUSH2 0x4523
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH2 0x1c7f
00000670: JUMP
00000671: JUMPDEST
00000672: CALLVALUE
00000673: DUP1
00000674: ISZERO
00000675: PUSH2 0x067d
00000678: JUMPI
00000679: PUSH1 0x00
0000067b: DUP1
0000067c: REVERT
0000067d: JUMPDEST
0000067e: POP
0000067f: PUSH2 0x0462
00000682: PUSH2 0x0194
00000685: SLOAD
00000686: DUP2
00000687: JUMP
00000688: JUMPDEST
00000689: CALLVALUE
0000068a: DUP1
0000068b: ISZERO
0000068c: PUSH2 0x0694
0000068f: JUMPI
00000690: PUSH1 0x00
00000692: DUP1
00000693: REVERT
00000694: JUMPDEST
00000695: POP
00000696: PUSH2 0x060c
00000699: PUSH2 0x1eac
0000069c: JUMP
0000069d: JUMPDEST
0000069e: CALLVALUE
0000069f: DUP1
000006a0: ISZERO
000006a1: PUSH2 0x06a9
000006a4: JUMPI
000006a5: PUSH1 0x00
000006a7: DUP1
000006a8: REVERT
000006a9: JUMPDEST
000006aa: POP
000006ab: PUSH2 0x04c0
000006ae: PUSH2 0x06b8
000006b1: CALLDATASIZE
000006b2: PUSH1 0x04
000006b4: PUSH2 0x4587
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH2 0x1eb6
000006bc: JUMP
000006bd: JUMPDEST
000006be: CALLVALUE
000006bf: DUP1
000006c0: ISZERO
000006c1: PUSH2 0x06c9
000006c4: JUMPI
000006c5: PUSH1 0x00
000006c7: DUP1
000006c8: REVERT
000006c9: JUMPDEST
000006ca: POP
000006cb: PUSH2 0x04c0
000006ce: PUSH2 0x1f72
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH2 0x04c0
000006d6: PUSH2 0x1fc3
000006d9: JUMP
000006da: JUMPDEST
000006db: CALLVALUE
000006dc: DUP1
000006dd: ISZERO
000006de: PUSH2 0x06e6
000006e1: JUMPI
000006e2: PUSH1 0x00
000006e4: DUP1
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: PUSH2 0x0462
000006eb: PUSH2 0x0193
000006ee: SLOAD
000006ef: DUP2
000006f0: JUMP
000006f1: JUMPDEST
000006f2: CALLVALUE
000006f3: DUP1
000006f4: ISZERO
000006f5: PUSH2 0x06fd
000006f8: JUMPI
000006f9: PUSH1 0x00
000006fb: DUP1
000006fc: REVERT
000006fd: JUMPDEST
000006fe: POP
000006ff: PUSH2 0x0130
00000702: SLOAD
00000703: PUSH2 0x060c
00000706: SWAP1
00000707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071c: AND
0000071d: DUP2
0000071e: JUMP
0000071f: JUMPDEST
00000720: CALLVALUE
00000721: DUP1
00000722: ISZERO
00000723: PUSH2 0x072b
00000726: JUMPI
00000727: PUSH1 0x00
00000729: DUP1
0000072a: REVERT
0000072b: JUMPDEST
0000072c: POP
0000072d: PUSH2 0x04c0
00000730: PUSH2 0x073a
00000733: CALLDATASIZE
00000734: PUSH1 0x04
00000736: PUSH2 0x45a0
00000739: JUMP
0000073a: JUMPDEST
0000073b: PUSH2 0x1fd9
0000073e: JUMP
0000073f: JUMPDEST
00000740: CALLVALUE
00000741: DUP1
00000742: ISZERO
00000743: PUSH2 0x074b
00000746: JUMPI
00000747: PUSH1 0x00
00000749: DUP1
0000074a: REVERT
0000074b: JUMPDEST
0000074c: POP
0000074d: PUSH2 0x0462
00000750: PUSH2 0x075a
00000753: CALLDATASIZE
00000754: PUSH1 0x04
00000756: PUSH2 0x45a0
00000759: JUMP
0000075a: JUMPDEST
0000075b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000770: AND
00000771: PUSH1 0x00
00000773: SWAP1
00000774: DUP2
00000775: MSTORE
00000776: PUSH1 0x33
00000778: PUSH1 0x20
0000077a: MSTORE
0000077b: PUSH1 0x40
0000077d: SWAP1
0000077e: KECCAK256
0000077f: SLOAD
00000780: SWAP1
00000781: JUMP
00000782: JUMPDEST
00000783: CALLVALUE
00000784: DUP1
00000785: ISZERO
00000786: PUSH2 0x078e
00000789: JUMPI
0000078a: PUSH1 0x00
0000078c: DUP1
0000078d: REVERT
0000078e: JUMPDEST
0000078f: POP
00000790: PUSH2 0x04c0
00000793: PUSH2 0x079d
00000796: CALLDATASIZE
00000797: PUSH1 0x04
00000799: PUSH2 0x45a0
0000079c: JUMP
0000079d: JUMPDEST
0000079e: PUSH2 0x2058
000007a1: JUMP
000007a2: JUMPDEST
000007a3: CALLVALUE
000007a4: DUP1
000007a5: ISZERO
000007a6: PUSH2 0x07ae
000007a9: JUMPI
000007aa: PUSH1 0x00
000007ac: DUP1
000007ad: REVERT
000007ae: JUMPDEST
000007af: POP
000007b0: PUSH2 0x04c0
000007b3: PUSH2 0x211f
000007b6: JUMP
000007b7: JUMPDEST
000007b8: CALLVALUE
000007b9: DUP1
000007ba: ISZERO
000007bb: PUSH2 0x07c3
000007be: JUMPI
000007bf: PUSH1 0x00
000007c1: DUP1
000007c2: REVERT
000007c3: JUMPDEST
000007c4: POP
000007c5: PUSH2 0x0462
000007c8: PUSH2 0x07d2
000007cb: CALLDATASIZE
000007cc: PUSH1 0x04
000007ce: PUSH2 0x45a0
000007d1: JUMP
000007d2: JUMPDEST
000007d3: PUSH2 0x2170
000007d6: JUMP
000007d7: JUMPDEST
000007d8: CALLVALUE
000007d9: DUP1
000007da: ISZERO
000007db: PUSH2 0x07e3
000007de: JUMPI
000007df: PUSH1 0x00
000007e1: DUP1
000007e2: REVERT
000007e3: JUMPDEST
000007e4: POP
000007e5: PUSH2 0x04c0
000007e8: PUSH2 0x219b
000007eb: JUMP
000007ec: JUMPDEST
000007ed: CALLVALUE
000007ee: DUP1
000007ef: ISZERO
000007f0: PUSH2 0x07f8
000007f3: JUMPI
000007f4: PUSH1 0x00
000007f6: DUP1
000007f7: REVERT
000007f8: JUMPDEST
000007f9: POP
000007fa: PUSH2 0x012f
000007fd: SLOAD
000007fe: PUSH2 0x0490
00000801: SWAP1
00000802: PUSH1 0xff
00000804: AND
00000805: DUP2
00000806: JUMP
00000807: JUMPDEST
00000808: CALLVALUE
00000809: DUP1
0000080a: ISZERO
0000080b: PUSH2 0x0813
0000080e: JUMPI
0000080f: PUSH1 0x00
00000811: DUP1
00000812: REVERT
00000813: JUMPDEST
00000814: POP
00000815: PUSH2 0x04c0
00000818: PUSH2 0x2398
0000081b: JUMP
0000081c: JUMPDEST
0000081d: CALLVALUE
0000081e: DUP1
0000081f: ISZERO
00000820: PUSH2 0x0828
00000823: JUMPI
00000824: PUSH1 0x00
00000826: DUP1
00000827: REVERT
00000828: JUMPDEST
00000829: POP
0000082a: PUSH2 0x0435
0000082d: PUSH2 0x23e9
00000830: JUMP
00000831: JUMPDEST
00000832: CALLVALUE
00000833: DUP1
00000834: ISZERO
00000835: PUSH2 0x083d
00000838: JUMPI
00000839: PUSH1 0x00
0000083b: DUP1
0000083c: REVERT
0000083d: JUMPDEST
0000083e: POP
0000083f: PUSH2 0x012f
00000842: SLOAD
00000843: PUSH2 0x060c
00000846: SWAP1
00000847: PUSH2 0x0100
0000084a: SWAP1
0000084b: DIV
0000084c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000861: AND
00000862: DUP2
00000863: JUMP
00000864: JUMPDEST
00000865: CALLVALUE
00000866: DUP1
00000867: ISZERO
00000868: PUSH2 0x0870
0000086b: JUMPI
0000086c: PUSH1 0x00
0000086e: DUP1
0000086f: REVERT
00000870: JUMPDEST
00000871: POP
00000872: PUSH2 0x0490
00000875: PUSH2 0x087f
00000878: CALLDATASIZE
00000879: PUSH1 0x04
0000087b: PUSH2 0x4251
0000087e: JUMP
0000087f: JUMPDEST
00000880: PUSH2 0x23f8
00000883: JUMP
00000884: JUMPDEST
00000885: CALLVALUE
00000886: DUP1
00000887: ISZERO
00000888: PUSH2 0x0890
0000088b: JUMPI
0000088c: PUSH1 0x00
0000088e: DUP1
0000088f: REVERT
00000890: JUMPDEST
00000891: POP
00000892: PUSH2 0x0490
00000895: PUSH2 0x089f
00000898: CALLDATASIZE
00000899: PUSH1 0x04
0000089b: PUSH2 0x4251
0000089e: JUMP
0000089f: JUMPDEST
000008a0: PUSH2 0x24d0
000008a3: JUMP
000008a4: JUMPDEST
000008a5: CALLVALUE
000008a6: DUP1
000008a7: ISZERO
000008a8: PUSH2 0x08b0
000008ab: JUMPI
000008ac: PUSH1 0x00
000008ae: DUP1
000008af: REVERT
000008b0: JUMPDEST
000008b1: POP
000008b2: PUSH2 0x04c0
000008b5: PUSH2 0x24dd
000008b8: JUMP
000008b9: JUMPDEST
000008ba: PUSH2 0x04c0
000008bd: PUSH2 0x08c7
000008c0: CALLDATASIZE
000008c1: PUSH1 0x04
000008c3: PUSH2 0x45a0
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH2 0x252e
000008cb: JUMP
000008cc: JUMPDEST
000008cd: CALLVALUE
000008ce: DUP1
000008cf: ISZERO
000008d0: PUSH2 0x08d8
000008d3: JUMPI
000008d4: PUSH1 0x00
000008d6: DUP1
000008d7: REVERT
000008d8: JUMPDEST
000008d9: POP
000008da: PUSH2 0x0462
000008dd: PUSH2 0x08e7
000008e0: CALLDATASIZE
000008e1: PUSH1 0x04
000008e3: PUSH2 0x43ef
000008e6: JUMP
000008e7: JUMPDEST
000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fd: DUP4
000008fe: AND
000008ff: PUSH1 0x00
00000901: SWAP1
00000902: DUP2
00000903: MSTORE
00000904: PUSH2 0x0160
00000907: PUSH1 0x20
00000909: SWAP1
0000090a: DUP2
0000090b: MSTORE
0000090c: PUSH1 0x40
0000090e: DUP1
0000090f: DUP4
00000910: KECCAK256
00000911: DUP6
00000912: DUP5
00000913: MSTORE
00000914: DUP3
00000915: MSTORE
00000916: DUP1
00000917: DUP4
00000918: KECCAK256
00000919: DUP5
0000091a: DUP5
0000091b: MSTORE
0000091c: SWAP1
0000091d: SWAP2
0000091e: MSTORE
0000091f: SWAP1
00000920: KECCAK256
00000921: SLOAD
00000922: SWAP4
00000923: SWAP3
00000924: POP
00000925: POP
00000926: POP
00000927: JUMP
00000928: JUMPDEST
00000929: CALLVALUE
0000092a: DUP1
0000092b: ISZERO
0000092c: PUSH2 0x0934
0000092f: JUMPI
00000930: PUSH1 0x00
00000932: DUP1
00000933: REVERT
00000934: JUMPDEST
00000935: POP
00000936: PUSH2 0x060c
00000939: PUSH2 0x0943
0000093c: CALLDATASIZE
0000093d: PUSH1 0x04
0000093f: PUSH2 0x45a0
00000942: JUMP
00000943: JUMPDEST
00000944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000959: SWAP1
0000095a: DUP2
0000095b: AND
0000095c: PUSH1 0x00
0000095e: SWAP1
0000095f: DUP2
00000960: MSTORE
00000961: PUSH1 0xc9
00000963: PUSH1 0x20
00000965: MSTORE
00000966: PUSH1 0x40
00000968: SWAP1
00000969: KECCAK256
0000096a: SLOAD
0000096b: AND
0000096c: SWAP1
0000096d: JUMP
0000096e: JUMPDEST
0000096f: CALLVALUE
00000970: DUP1
00000971: ISZERO
00000972: PUSH2 0x097a
00000975: JUMPI
00000976: PUSH1 0x00
00000978: DUP1
00000979: REVERT
0000097a: JUMPDEST
0000097b: POP
0000097c: PUSH2 0x04c0
0000097f: PUSH2 0x0989
00000982: CALLDATASIZE
00000983: PUSH1 0x04
00000985: PUSH2 0x45a0
00000988: JUMP
00000989: JUMPDEST
0000098a: PUSH2 0x253f
0000098d: JUMP
0000098e: JUMPDEST
0000098f: CALLVALUE
00000990: DUP1
00000991: ISZERO
00000992: PUSH2 0x099a
00000995: JUMPI
00000996: PUSH1 0x00
00000998: DUP1
00000999: REVERT
0000099a: JUMPDEST
0000099b: POP
0000099c: PUSH2 0x04c0
0000099f: PUSH2 0x25c0
000009a2: JUMP
000009a3: JUMPDEST
000009a4: CALLVALUE
000009a5: DUP1
000009a6: ISZERO
000009a7: PUSH2 0x09af
000009aa: JUMPI
000009ab: PUSH1 0x00
000009ad: DUP1
000009ae: REVERT
000009af: JUMPDEST
000009b0: POP
000009b1: PUSH2 0x04c0
000009b4: PUSH2 0x09be
000009b7: CALLDATASIZE
000009b8: PUSH1 0x04
000009ba: PUSH2 0x45bd
000009bd: JUMP
000009be: JUMPDEST
000009bf: PUSH2 0x265b
000009c2: JUMP
000009c3: JUMPDEST
000009c4: CALLVALUE
000009c5: DUP1
000009c6: ISZERO
000009c7: PUSH2 0x09cf
000009ca: JUMPI
000009cb: PUSH1 0x00
000009cd: DUP1
000009ce: REVERT
000009cf: JUMPDEST
000009d0: POP
000009d1: PUSH2 0x0462
000009d4: PUSH2 0x012e
000009d7: SLOAD
000009d8: DUP2
000009d9: JUMP
000009da: JUMPDEST
000009db: CALLVALUE
000009dc: DUP1
000009dd: ISZERO
000009de: PUSH2 0x09e6
000009e1: JUMPI
000009e2: PUSH1 0x00
000009e4: DUP1
000009e5: REVERT
000009e6: JUMPDEST
000009e7: POP
000009e8: PUSH2 0x0462
000009eb: PUSH2 0x09f5
000009ee: CALLDATASIZE
000009ef: PUSH1 0x04
000009f1: PUSH2 0x45bd
000009f4: JUMP
000009f5: JUMPDEST
000009f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a0b: SWAP2
00000a0c: DUP3
00000a0d: AND
00000a0e: PUSH1 0x00
00000a10: SWAP1
00000a11: DUP2
00000a12: MSTORE
00000a13: PUSH1 0x34
00000a15: PUSH1 0x20
00000a17: SWAP1
00000a18: DUP2
00000a19: MSTORE
00000a1a: PUSH1 0x40
00000a1c: DUP1
00000a1d: DUP4
00000a1e: KECCAK256
00000a1f: SWAP4
00000a20: SWAP1
00000a21: SWAP5
00000a22: AND
00000a23: DUP3
00000a24: MSTORE
00000a25: SWAP2
00000a26: SWAP1
00000a27: SWAP2
00000a28: MSTORE
00000a29: KECCAK256
00000a2a: SLOAD
00000a2b: SWAP1
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: CALLVALUE
00000a2f: DUP1
00000a30: ISZERO
00000a31: PUSH2 0x0a39
00000a34: JUMPI
00000a35: PUSH1 0x00
00000a37: DUP1
00000a38: REVERT
00000a39: JUMPDEST
00000a3a: POP
00000a3b: PUSH2 0x0131
00000a3e: SLOAD
00000a3f: PUSH2 0x060c
00000a42: SWAP1
00000a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a58: AND
00000a59: DUP2
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: CALLVALUE
00000a5d: DUP1
00000a5e: ISZERO
00000a5f: PUSH2 0x0a67
00000a62: JUMPI
00000a63: PUSH1 0x00
00000a65: DUP1
00000a66: REVERT
00000a67: JUMPDEST
00000a68: POP
00000a69: PUSH2 0x04c0
00000a6c: PUSH2 0x2795
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: CALLVALUE
00000a72: DUP1
00000a73: ISZERO
00000a74: PUSH2 0x0a7c
00000a77: JUMPI
00000a78: PUSH1 0x00
00000a7a: DUP1
00000a7b: REVERT
00000a7c: JUMPDEST
00000a7d: POP
00000a7e: PUSH1 0xfc
00000a80: SLOAD
00000a81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a96: AND
00000a97: PUSH2 0x060c
00000a9a: JUMP
00000a9b: JUMPDEST
00000a9c: CALLVALUE
00000a9d: DUP1
00000a9e: ISZERO
00000a9f: PUSH2 0x0aa7
00000aa2: JUMPI
00000aa3: PUSH1 0x00
00000aa5: DUP1
00000aa6: REVERT
00000aa7: JUMPDEST
00000aa8: POP
00000aa9: PUSH2 0x0462
00000aac: PUSH2 0x0134
00000aaf: SLOAD
00000ab0: DUP2
00000ab1: JUMP
00000ab2: JUMPDEST
00000ab3: CALLVALUE
00000ab4: DUP1
00000ab5: ISZERO
00000ab6: PUSH2 0x0abe
00000ab9: JUMPI
00000aba: PUSH1 0x00
00000abc: DUP1
00000abd: REVERT
00000abe: JUMPDEST
00000abf: POP
00000ac0: PUSH2 0x04c0
00000ac3: PUSH2 0x0acd
00000ac6: CALLDATASIZE
00000ac7: PUSH1 0x04
00000ac9: PUSH2 0x45f6
00000acc: JUMP
00000acd: JUMPDEST
00000ace: PUSH2 0x280b
00000ad1: JUMP
00000ad2: JUMPDEST
00000ad3: CALLVALUE
00000ad4: DUP1
00000ad5: ISZERO
00000ad6: PUSH2 0x0ade
00000ad9: JUMPI
00000ada: PUSH1 0x00
00000adc: DUP1
00000add: REVERT
00000ade: JUMPDEST
00000adf: POP
00000ae0: PUSH2 0x04c0
00000ae3: PUSH2 0x2818
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: CALLVALUE
00000ae9: DUP1
00000aea: ISZERO
00000aeb: PUSH2 0x0af3
00000aee: JUMPI
00000aef: PUSH1 0x00
00000af1: DUP1
00000af2: REVERT
00000af3: JUMPDEST
00000af4: POP
00000af5: PUSH2 0x0462
00000af8: PUSH2 0x0133
00000afb: SLOAD
00000afc: DUP2
00000afd: JUMP
00000afe: JUMPDEST
00000aff: CALLVALUE
00000b00: DUP1
00000b01: ISZERO
00000b02: PUSH2 0x0b0a
00000b05: JUMPI
00000b06: PUSH1 0x00
00000b08: DUP1
00000b09: REVERT
00000b0a: JUMPDEST
00000b0b: POP
00000b0c: PUSH2 0x0132
00000b0f: SLOAD
00000b10: PUSH2 0x060c
00000b13: SWAP1
00000b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b29: AND
00000b2a: DUP2
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: PUSH2 0x012f
00000b30: SLOAD
00000b31: PUSH1 0xff
00000b33: AND
00000b34: ISZERO
00000b35: ISZERO
00000b36: PUSH1 0x01
00000b38: EQ
00000b39: PUSH2 0x0ba3
00000b3c: JUMPI
00000b3d: PUSH1 0x40
00000b3f: MLOAD
00000b40: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b61: DUP2
00000b62: MSTORE
00000b63: PUSH1 0x20
00000b65: PUSH1 0x04
00000b67: DUP3
00000b68: ADD
00000b69: MSTORE
00000b6a: PUSH1 0x1e
00000b6c: PUSH1 0x24
00000b6e: DUP3
00000b6f: ADD
00000b70: MSTORE
00000b71: PUSH32 0x636f6d6d756e697479206d75737420726561636820636f6e73656e7375730000
00000b92: PUSH1 0x44
00000b94: DUP3
00000b95: ADD
00000b96: MSTORE
00000b97: PUSH1 0x64
00000b99: ADD
00000b9a: JUMPDEST
00000b9b: PUSH1 0x40
00000b9d: MLOAD
00000b9e: DUP1
00000b9f: SWAP2
00000ba0: SUB
00000ba1: SWAP1
00000ba2: REVERT
00000ba3: JUMPDEST
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: PUSH1 0x00
00000ba8: DUP1
00000ba9: PUSH1 0x00
00000bab: DUP1
00000bac: PUSH1 0xfc
00000bae: PUSH1 0x00
00000bb0: SWAP1
00000bb1: SLOAD
00000bb2: SWAP1
00000bb3: PUSH2 0x0100
00000bb6: EXP
00000bb7: SWAP1
00000bb8: DIV
00000bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bce: AND
00000bcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be4: AND
00000be5: PUSH4 0xfeaf968c
00000bea: PUSH1 0x40
00000bec: MLOAD
00000bed: DUP2
00000bee: PUSH4 0xffffffff
00000bf3: AND
00000bf4: PUSH1 0xe0
00000bf6: SHL
00000bf7: DUP2
00000bf8: MSTORE
00000bf9: PUSH1 0x04
00000bfb: ADD
00000bfc: PUSH1 0xa0
00000bfe: PUSH1 0x40
00000c00: MLOAD
00000c01: DUP1
00000c02: DUP4
00000c03: SUB
00000c04: DUP2
00000c05: DUP7
00000c06: GAS
00000c07: STATICCALL
00000c08: ISZERO
00000c09: DUP1
00000c0a: ISZERO
00000c0b: PUSH2 0x0c18
00000c0e: JUMPI
00000c0f: RETURNDATASIZE
00000c10: PUSH1 0x00
00000c12: DUP1
00000c13: RETURNDATACOPY
00000c14: RETURNDATASIZE
00000c15: PUSH1 0x00
00000c17: REVERT
00000c18: JUMPDEST
00000c19: POP
00000c1a: POP
00000c1b: POP
00000c1c: POP
00000c1d: PUSH1 0x40
00000c1f: MLOAD
00000c20: RETURNDATASIZE
00000c21: PUSH1 0x1f
00000c23: NOT
00000c24: PUSH1 0x1f
00000c26: DUP3
00000c27: ADD
00000c28: AND
00000c29: DUP3
00000c2a: ADD
00000c2b: DUP1
00000c2c: PUSH1 0x40
00000c2e: MSTORE
00000c2f: POP
00000c30: DUP2
00000c31: ADD
00000c32: SWAP1
00000c33: PUSH2 0x0c3c
00000c36: SWAP2
00000c37: SWAP1
00000c38: PUSH2 0x4652
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: SWAP5
00000c3e: POP
00000c3f: POP
00000c40: POP
00000c41: SWAP3
00000c42: POP
00000c43: SWAP3
00000c44: POP
00000c45: DUP3
00000c46: PUSH10 0xffffffffffffffffffff
00000c51: AND
00000c52: DUP2
00000c53: PUSH10 0xffffffffffffffffffff
00000c5e: AND
00000c5f: EQ
00000c60: PUSH2 0x0cc5
00000c63: JUMPI
00000c64: PUSH1 0x40
00000c66: MLOAD
00000c67: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c88: DUP2
00000c89: MSTORE
00000c8a: PUSH1 0x20
00000c8c: PUSH1 0x04
00000c8e: DUP3
00000c8f: ADD
00000c90: MSTORE
00000c91: PUSH1 0x19
00000c93: PUSH1 0x24
00000c95: DUP3
00000c96: ADD
00000c97: MSTORE
00000c98: PUSH32 0x436861696e4c696e6b20455448555344206f7574646174656400000000000000
00000cb9: PUSH1 0x44
00000cbb: DUP3
00000cbc: ADD
00000cbd: MSTORE
00000cbe: PUSH1 0x64
00000cc0: ADD
00000cc1: PUSH2 0x0b9a
00000cc4: JUMP
00000cc5: JUMPDEST
00000cc6: DUP2
00000cc7: PUSH2 0x0d2c
00000cca: JUMPI
00000ccb: PUSH1 0x40
00000ccd: MLOAD
00000cce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x20
00000cf3: PUSH1 0x04
00000cf5: DUP3
00000cf6: ADD
00000cf7: MSTORE
00000cf8: PUSH1 0x1f
00000cfa: PUSH1 0x24
00000cfc: DUP3
00000cfd: ADD
00000cfe: MSTORE
00000cff: PUSH32 0x436861696e4c696e6b20455448555344206973206e6f7420776f726b696e6700
00000d20: PUSH1 0x44
00000d22: DUP3
00000d23: ADD
00000d24: MSTORE
00000d25: PUSH1 0x64
00000d27: ADD
00000d28: PUSH2 0x0b9a
00000d2b: JUMP
00000d2c: JUMPDEST
00000d2d: PUSH4 0x05f5e100
00000d32: PUSH2 0x0d3b
00000d35: DUP4
00000d36: DUP8
00000d37: PUSH2 0x4175
00000d3a: JUMP
00000d3b: JUMPDEST
00000d3c: PUSH2 0x0d45
00000d3f: SWAP2
00000d40: SWAP1
00000d41: PUSH2 0x46a2
00000d44: JUMP
00000d45: JUMPDEST
00000d46: SWAP6
00000d47: SWAP5
00000d48: POP
00000d49: POP
00000d4a: POP
00000d4b: POP
00000d4c: POP
00000d4d: JUMP
00000d4e: JUMPDEST
00000d4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d64: DUP3
00000d65: AND
00000d66: PUSH2 0x0dcb
00000d69: JUMPI
00000d6a: PUSH1 0x40
00000d6c: MLOAD
00000d6d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d8e: DUP2
00000d8f: MSTORE
00000d90: PUSH1 0x20
00000d92: PUSH1 0x04
00000d94: DUP3
00000d95: ADD
00000d96: MSTORE
00000d97: PUSH1 0x1e
00000d99: PUSH1 0x24
00000d9b: DUP3
00000d9c: ADD
00000d9d: MSTORE
00000d9e: PUSH32 0x70757263686173652066726f6d20746865207a65726f20616464726573730000
00000dbf: PUSH1 0x44
00000dc1: DUP3
00000dc2: ADD
00000dc3: MSTORE
00000dc4: PUSH1 0x64
00000dc6: ADD
00000dc7: PUSH2 0x0b9a
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: PUSH1 0x00
00000dce: DUP2
00000dcf: GT
00000dd0: PUSH2 0x0e35
00000dd3: JUMPI
00000dd4: PUSH1 0x40
00000dd6: MLOAD
00000dd7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000df8: DUP2
00000df9: MSTORE
00000dfa: PUSH1 0x20
00000dfc: PUSH1 0x04
00000dfe: DUP3
00000dff: ADD
00000e00: MSTORE
00000e01: PUSH1 0x08
00000e03: PUSH1 0x24
00000e05: DUP3
00000e06: ADD
00000e07: MSTORE
00000e08: PUSH32 0x6e6f2066756e6473000000000000000000000000000000000000000000000000
00000e29: PUSH1 0x44
00000e2b: DUP3
00000e2c: ADD
00000e2d: MSTORE
00000e2e: PUSH1 0x64
00000e30: ADD
00000e31: PUSH2 0x0b9a
00000e34: JUMP
00000e35: JUMPDEST
00000e36: PUSH1 0x00
00000e38: PUSH20 0x6ddba9a5bc3aca1f58017664603981ef13293707
00000e4d: PUSH4 0x85459041
00000e52: DUP4
00000e53: PUSH2 0x0e5a
00000e56: PUSH2 0x1388
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: PUSH1 0x99
00000e5d: SLOAD
00000e5e: PUSH2 0x0130
00000e61: SLOAD
00000e62: PUSH2 0x0131
00000e65: SLOAD
00000e66: PUSH1 0x40
00000e68: MLOAD
00000e69: PUSH1 0xe0
00000e6b: DUP8
00000e6c: SWAP1
00000e6d: SHL
00000e6e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000e8f: AND
00000e90: DUP2
00000e91: MSTORE
00000e92: PUSH1 0x04
00000e94: DUP2
00000e95: ADD
00000e96: SWAP6
00000e97: SWAP1
00000e98: SWAP6
00000e99: MSTORE
00000e9a: PUSH1 0x24
00000e9c: DUP6
00000e9d: ADD
00000e9e: SWAP4
00000e9f: SWAP1
00000ea0: SWAP4
00000ea1: MSTORE
00000ea2: PUSH1 0x44
00000ea4: DUP5
00000ea5: ADD
00000ea6: SWAP2
00000ea7: SWAP1
00000ea8: SWAP2
00000ea9: MSTORE
00000eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebf: SWAP1
00000ec0: DUP2
00000ec1: AND
00000ec2: ISZERO
00000ec3: PUSH1 0x64
00000ec5: DUP5
00000ec6: ADD
00000ec7: MSTORE
00000ec8: AND
00000ec9: ISZERO
00000eca: PUSH1 0x84
00000ecc: DUP3
00000ecd: ADD
00000ece: MSTORE
00000ecf: PUSH1 0x97
00000ed1: PUSH1 0xa4
00000ed3: DUP3
00000ed4: ADD
00000ed5: MSTORE
00000ed6: PUSH1 0x98
00000ed8: PUSH1 0xc4
00000eda: DUP3
00000edb: ADD
00000edc: MSTORE
00000edd: PUSH1 0xe4
00000edf: ADD
00000ee0: PUSH1 0xa0
00000ee2: PUSH1 0x40
00000ee4: MLOAD
00000ee5: DUP1
00000ee6: DUP4
00000ee7: SUB
00000ee8: DUP2
00000ee9: DUP7
00000eea: GAS
00000eeb: DELEGATECALL
00000eec: ISZERO
00000eed: DUP1
00000eee: ISZERO
00000eef: PUSH2 0x0efc
00000ef2: JUMPI
00000ef3: RETURNDATASIZE
00000ef4: PUSH1 0x00
00000ef6: DUP1
00000ef7: RETURNDATACOPY
00000ef8: RETURNDATASIZE
00000ef9: PUSH1 0x00
00000efb: REVERT
00000efc: JUMPDEST
00000efd: POP
00000efe: POP
00000eff: POP
00000f00: POP
00000f01: PUSH1 0x40
00000f03: MLOAD
00000f04: RETURNDATASIZE
00000f05: PUSH1 0x1f
00000f07: NOT
00000f08: PUSH1 0x1f
00000f0a: DUP3
00000f0b: ADD
00000f0c: AND
00000f0d: DUP3
00000f0e: ADD
00000f0f: DUP1
00000f10: PUSH1 0x40
00000f12: MSTORE
00000f13: POP
00000f14: DUP2
00000f15: ADD
00000f16: SWAP1
00000f17: PUSH2 0x0f20
00000f1a: SWAP2
00000f1b: SWAP1
00000f1c: PUSH2 0x46dd
00000f1f: JUMP
00000f20: JUMPDEST
00000f21: PUSH1 0x60
00000f23: DUP2
00000f24: ADD
00000f25: MLOAD
00000f26: PUSH1 0x99
00000f28: SSTORE
00000f29: PUSH1 0x80
00000f2b: DUP2
00000f2c: ADD
00000f2d: MLOAD
00000f2e: PUSH2 0x012e
00000f31: SSTORE
00000f32: DUP1
00000f33: MLOAD
00000f34: SWAP1
00000f35: SWAP2
00000f36: POP
00000f37: PUSH2 0x0f41
00000f3a: SWAP1
00000f3b: DUP5
00000f3c: SWAP1
00000f3d: PUSH2 0x2869
00000f40: JUMP
00000f41: JUMPDEST
00000f42: PUSH1 0x20
00000f44: DUP2
00000f45: ADD
00000f46: MLOAD
00000f47: ISZERO
00000f48: PUSH2 0x0f58
00000f4b: JUMPI
00000f4c: PUSH2 0x0f58
00000f4f: DUP2
00000f50: PUSH1 0x20
00000f52: ADD
00000f53: MLOAD
00000f54: PUSH2 0x2989
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH1 0x40
00000f5b: DUP2
00000f5c: ADD
00000f5d: MLOAD
00000f5e: ISZERO
00000f5f: PUSH2 0x0f6f
00000f62: JUMPI
00000f63: PUSH2 0x0f6f
00000f66: DUP2
00000f67: PUSH1 0x40
00000f69: ADD
00000f6a: MLOAD
00000f6b: PUSH2 0x29be
00000f6e: JUMP
00000f6f: JUMPDEST
00000f70: POP
00000f71: POP
00000f72: POP
00000f73: JUMP
00000f74: JUMPDEST
00000f75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f8a: DUP3
00000f8b: AND
00000f8c: PUSH2 0x0ff1
00000f8f: JUMPI
00000f90: PUSH1 0x40
00000f92: MLOAD
00000f93: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fb4: DUP2
00000fb5: MSTORE
00000fb6: PUSH1 0x20
00000fb8: PUSH1 0x04
00000fba: DUP3
00000fbb: ADD
00000fbc: MSTORE
00000fbd: PUSH1 0x1a
00000fbf: PUSH1 0x24
00000fc1: DUP3
00000fc2: ADD
00000fc3: MSTORE
00000fc4: PUSH32 0x766f74652066726f6d20746865207a65726f2061646472657373000000000000
00000fe5: PUSH1 0x44
00000fe7: DUP3
00000fe8: ADD
00000fe9: MSTORE
00000fea: PUSH1 0x64
00000fec: ADD
00000fed: PUSH2 0x0b9a
00000ff0: JUMP
00000ff1: JUMPDEST
00000ff2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001007: DUP3
00001008: DUP2
00001009: AND
0000100a: PUSH1 0x00
0000100c: SWAP1
0000100d: DUP2
0000100e: MSTORE
0000100f: PUSH1 0xc9
00001011: PUSH1 0x20
00001013: MSTORE
00001014: PUSH1 0x40
00001016: SWAP1
00001017: KECCAK256
00001018: SLOAD
00001019: DUP2
0000101a: AND
0000101b: SWAP1
0000101c: DUP3
0000101d: AND
0000101e: EQ
0000101f: PUSH2 0x10e8
00001022: JUMPI
00001023: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001038: DUP3
00001039: DUP2
0000103a: AND
0000103b: PUSH1 0x00
0000103d: SWAP1
0000103e: DUP2
0000103f: MSTORE
00001040: PUSH1 0xc9
00001042: PUSH1 0x20
00001044: MSTORE
00001045: PUSH1 0x40
00001047: SWAP1
00001048: KECCAK256
00001049: DUP1
0000104a: SLOAD
0000104b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000106c: AND
0000106d: SWAP2
0000106e: DUP4
0000106f: AND
00001070: SWAP2
00001071: DUP3
00001072: OR
00001073: SWAP1
00001074: SSTORE
00001075: PUSH2 0x1089
00001078: JUMPI
00001079: PUSH2 0x1083
0000107c: PUSH1 0xca
0000107e: DUP4
0000107f: PUSH2 0x29f3
00001082: JUMP
00001083: JUMPDEST
00001084: POP
00001085: PUSH2 0x1096
00001088: JUMP
00001089: JUMPDEST
0000108a: PUSH2 0x1094
0000108d: PUSH1 0xca
0000108f: DUP4
00001090: PUSH2 0x2a15
00001093: JUMP
00001094: JUMPDEST
00001095: POP
00001096: JUMPDEST
00001097: PUSH1 0x40
00001099: DUP1
0000109a: MLOAD
0000109b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b0: DUP1
000010b1: DUP6
000010b2: AND
000010b3: DUP3
000010b4: MSTORE
000010b5: DUP4
000010b6: AND
000010b7: PUSH1 0x20
000010b9: DUP3
000010ba: ADD
000010bb: MSTORE
000010bc: PUSH32 0xa54b4b55bf59d86099f37de5d683b7e560a961171658f51a65b6de1d0d31ccd6
000010dd: SWAP2
000010de: ADD
000010df: JUMPDEST
000010e0: PUSH1 0x40
000010e2: MLOAD
000010e3: DUP1
000010e4: SWAP2
000010e5: SUB
000010e6: SWAP1
000010e7: LOG1
000010e8: JUMPDEST
000010e9: POP
000010ea: POP
000010eb: JUMP
000010ec: JUMPDEST
000010ed: PUSH1 0x60
000010ef: PUSH2 0x0137
000010f2: DUP1
000010f3: SLOAD
000010f4: PUSH2 0x10fc
000010f7: SWAP1
000010f8: PUSH2 0x474d
000010fb: JUMP
000010fc: JUMPDEST
000010fd: ISZERO
000010fe: ISZERO
000010ff: SWAP1
00001100: POP
00001101: PUSH2 0x1111
00001104: JUMPI
00001105: PUSH2 0x110c
00001108: PUSH2 0x2a37
0000110b: JUMP
0000110c: JUMPDEST
0000110d: SWAP1
0000110e: POP
0000110f: SWAP1
00001110: JUMP
00001111: JUMPDEST
00001112: PUSH2 0x0137
00001115: DUP1
00001116: SLOAD
00001117: PUSH2 0x111f
0000111a: SWAP1
0000111b: PUSH2 0x474d
0000111e: JUMP
0000111f: JUMPDEST
00001120: DUP1
00001121: PUSH1 0x1f
00001123: ADD
00001124: PUSH1 0x20
00001126: DUP1
00001127: SWAP2
00001128: DIV
00001129: MUL
0000112a: PUSH1 0x20
0000112c: ADD
0000112d: PUSH1 0x40
0000112f: MLOAD
00001130: SWAP1
00001131: DUP2
00001132: ADD
00001133: PUSH1 0x40
00001135: MSTORE
00001136: DUP1
00001137: SWAP3
00001138: SWAP2
00001139: SWAP1
0000113a: DUP2
0000113b: DUP2
0000113c: MSTORE
0000113d: PUSH1 0x20
0000113f: ADD
00001140: DUP3
00001141: DUP1
00001142: SLOAD
00001143: PUSH2 0x114b
00001146: SWAP1
00001147: PUSH2 0x474d
0000114a: JUMP
0000114b: JUMPDEST
0000114c: DUP1
0000114d: ISZERO
0000114e: PUSH2 0x1198
00001151: JUMPI
00001152: DUP1
00001153: PUSH1 0x1f
00001155: LT
00001156: PUSH2 0x116d
00001159: JUMPI
0000115a: PUSH2 0x0100
0000115d: DUP1
0000115e: DUP4
0000115f: SLOAD
00001160: DIV
00001161: MUL
00001162: DUP4
00001163: MSTORE
00001164: SWAP2
00001165: PUSH1 0x20
00001167: ADD
00001168: SWAP2
00001169: PUSH2 0x1198
0000116c: JUMP
0000116d: JUMPDEST
0000116e: DUP3
0000116f: ADD
00001170: SWAP2
00001171: SWAP1
00001172: PUSH1 0x00
00001174: MSTORE
00001175: PUSH1 0x20
00001177: PUSH1 0x00
00001179: KECCAK256
0000117a: SWAP1
0000117b: JUMPDEST
0000117c: DUP2
0000117d: SLOAD
0000117e: DUP2
0000117f: MSTORE
00001180: SWAP1
00001181: PUSH1 0x01
00001183: ADD
00001184: SWAP1
00001185: PUSH1 0x20
00001187: ADD
00001188: DUP1
00001189: DUP4
0000118a: GT
0000118b: PUSH2 0x117b
0000118e: JUMPI
0000118f: DUP3
00001190: SWAP1
00001191: SUB
00001192: PUSH1 0x1f
00001194: AND
00001195: DUP3
00001196: ADD
00001197: SWAP2
00001198: JUMPDEST
00001199: POP
0000119a: POP
0000119b: POP
0000119c: POP
0000119d: POP
0000119e: SWAP1
0000119f: POP
000011a0: SWAP1
000011a1: JUMP
000011a2: JUMPDEST
000011a3: PUSH1 0x00
000011a5: PUSH2 0x11af
000011a8: CALLER
000011a9: DUP5
000011aa: DUP5
000011ab: PUSH2 0x2a46
000011ae: JUMP
000011af: JUMPDEST
000011b0: POP
000011b1: PUSH1 0x01
000011b3: JUMPDEST
000011b4: SWAP3
000011b5: SWAP2
000011b6: POP
000011b7: POP
000011b8: JUMP
000011b9: JUMPDEST
000011ba: PUSH2 0x11c1
000011bd: PUSH2 0x2bf9
000011c0: JUMP
000011c1: JUMPDEST
000011c2: DUP1
000011c3: SELFBALANCE
000011c4: LT
000011c5: ISZERO
000011c6: PUSH2 0x122b
000011c9: JUMPI
000011ca: PUSH1 0x40
000011cc: MLOAD
000011cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011ee: DUP2
000011ef: MSTORE
000011f0: PUSH1 0x20
000011f2: PUSH1 0x04
000011f4: DUP3
000011f5: ADD
000011f6: MSTORE
000011f7: PUSH1 0x08
000011f9: PUSH1 0x24
000011fb: DUP3
000011fc: ADD
000011fd: MSTORE
000011fe: PUSH32 0x746f6f206d756368000000000000000000000000000000000000000000000000
0000121f: PUSH1 0x44
00001221: DUP3
00001222: ADD
00001223: MSTORE
00001224: PUSH1 0x64
00001226: ADD
00001227: PUSH2 0x0b9a
0000122a: JUMP
0000122b: JUMPDEST
0000122c: PUSH2 0x0132
0000122f: DUP1
00001230: SLOAD
00001231: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001252: AND
00001253: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001268: DUP5
00001269: AND
0000126a: SWAP1
0000126b: DUP2
0000126c: OR
0000126d: SWAP1
0000126e: SWAP2
0000126f: SSTORE
00001270: PUSH2 0x0133
00001273: DUP3
00001274: SWAP1
00001275: SSTORE
00001276: TIMESTAMP
00001277: PUSH2 0x0134
0000127a: SSTORE
0000127b: PUSH1 0x40
0000127d: DUP1
0000127e: MLOAD
0000127f: SWAP2
00001280: DUP3
00001281: MSTORE
00001282: PUSH1 0x20
00001284: DUP3
00001285: ADD
00001286: DUP4
00001287: SWAP1
00001288: MSTORE
00001289: PUSH32 0x136b0c09bf0b88ea09227747535ec0fae13d2cd33075a449ed578e773cdf9bc8
000012aa: SWAP2
000012ab: ADD
000012ac: PUSH2 0x10df
000012af: JUMP
000012b0: JUMPDEST
000012b1: PUSH2 0x012f
000012b4: SLOAD
000012b5: PUSH2 0x0100
000012b8: SWAP1
000012b9: DIV
000012ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cf: AND
000012d0: ISZERO
000012d1: DUP1
000012d2: PUSH2 0x130e
000012d5: JUMPI
000012d6: POP
000012d7: PUSH2 0x012f
000012da: SLOAD
000012db: PUSH2 0x0100
000012de: SWAP1
000012df: DIV
000012e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f5: AND
000012f6: CALLER
000012f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130c: AND
0000130d: EQ
0000130e: JUMPDEST
0000130f: PUSH2 0x1374
00001312: JUMPI
00001313: PUSH1 0x40
00001315: MLOAD
00001316: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001337: DUP2
00001338: MSTORE
00001339: PUSH1 0x20
0000133b: PUSH1 0x04
0000133d: DUP3
0000133e: ADD
0000133f: MSTORE
00001340: PUSH1 0x0e
00001342: PUSH1 0x24
00001344: DUP3
00001345: ADD
00001346: MSTORE
00001347: PUSH32 0x6e6f7420617574686f72697a6564000000000000000000000000000000000000
00001368: PUSH1 0x44
0000136a: DUP3
0000136b: ADD
0000136c: MSTORE
0000136d: PUSH1 0x64
0000136f: ADD
00001370: PUSH2 0x0b9a
00001373: JUMP
00001374: JUMPDEST
00001375: DUP1
00001376: MLOAD
00001377: PUSH2 0x10e8
0000137a: SWAP1
0000137b: PUSH2 0x0137
0000137e: SWAP1
0000137f: PUSH1 0x20
00001381: DUP5
00001382: ADD
00001383: SWAP1
00001384: PUSH2 0x3f7e
00001387: JUMP
00001388: JUMPDEST
00001389: PUSH1 0x00
0000138b: PUSH2 0x0193
0000138e: SLOAD
0000138f: PUSH2 0x0192
00001392: SLOAD
00001393: PUSH2 0x139b
00001396: PUSH1 0x35
00001398: SLOAD
00001399: SWAP1
0000139a: JUMP
0000139b: JUMPDEST
0000139c: PUSH2 0x13a5
0000139f: SWAP2
000013a0: SWAP1
000013a1: PUSH2 0x47a1
000013a4: JUMP
000013a5: JUMPDEST
000013a6: PUSH2 0x110c
000013a9: SWAP2
000013aa: SWAP1
000013ab: PUSH2 0x47a1
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH1 0x40
000013b2: MLOAD
000013b3: PUSH32 0x07ab6b4100000000000000000000000000000000000000000000000000000000
000013d4: DUP2
000013d5: MSTORE
000013d6: PUSH1 0x98
000013d8: PUSH1 0x04
000013da: DUP3
000013db: ADD
000013dc: MSTORE
000013dd: PUSH20 0x1ca1f575712668e6288604922a72dd1fb7d1c91f
000013f2: SWAP1
000013f3: PUSH4 0x07ab6b41
000013f8: SWAP1
000013f9: PUSH1 0x24
000013fb: ADD
000013fc: JUMPDEST
000013fd: PUSH1 0x00
000013ff: PUSH1 0x40
00001401: MLOAD
00001402: DUP1
00001403: DUP4
00001404: SUB
00001405: DUP2
00001406: DUP7
00001407: DUP1
00001408: EXTCODESIZE
00001409: ISZERO
0000140a: DUP1
0000140b: ISZERO
0000140c: PUSH2 0x1414
0000140f: JUMPI
00001410: PUSH1 0x00
00001412: DUP1
00001413: REVERT
00001414: JUMPDEST
00001415: POP
00001416: GAS
00001417: DELEGATECALL
00001418: ISZERO
00001419: DUP1
0000141a: ISZERO
0000141b: PUSH2 0x1428
0000141e: JUMPI
0000141f: RETURNDATASIZE
00001420: PUSH1 0x00
00001422: DUP1
00001423: RETURNDATACOPY
00001424: RETURNDATASIZE
00001425: PUSH1 0x00
00001427: REVERT
00001428: JUMPDEST
00001429: POP
0000142a: POP
0000142b: POP
0000142c: POP
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH1 0x00
00001431: PUSH2 0x143b
00001434: DUP5
00001435: DUP5
00001436: DUP5
00001437: PUSH2 0x2c96
0000143a: JUMP
0000143b: JUMPDEST
0000143c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001451: DUP5
00001452: AND
00001453: PUSH1 0x00
00001455: SWAP1
00001456: DUP2
00001457: MSTORE
00001458: PUSH1 0x34
0000145a: PUSH1 0x20
0000145c: SWAP1
0000145d: DUP2
0000145e: MSTORE
0000145f: PUSH1 0x40
00001461: DUP1
00001462: DUP4
00001463: KECCAK256
00001464: CALLER
00001465: DUP5
00001466: MSTORE
00001467: SWAP1
00001468: SWAP2
00001469: MSTORE
0000146a: SWAP1
0000146b: KECCAK256
0000146c: SLOAD
0000146d: DUP3
0000146e: DUP2
0000146f: LT
00001470: ISZERO
00001471: PUSH2 0x14fc
00001474: JUMPI
00001475: PUSH1 0x40
00001477: MLOAD
00001478: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001499: DUP2
0000149a: MSTORE
0000149b: PUSH1 0x20
0000149d: PUSH1 0x04
0000149f: DUP3
000014a0: ADD
000014a1: MSTORE
000014a2: PUSH1 0x28
000014a4: PUSH1 0x24
000014a6: DUP3
000014a7: ADD
000014a8: MSTORE
000014a9: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061
000014ca: PUSH1 0x44
000014cc: DUP3
000014cd: ADD
000014ce: MSTORE
000014cf: PUSH32 0x6c6c6f77616e6365000000000000000000000000000000000000000000000000
000014f0: PUSH1 0x64
000014f2: DUP3
000014f3: ADD
000014f4: MSTORE
000014f5: PUSH1 0x84
000014f7: ADD
000014f8: PUSH2 0x0b9a
000014fb: JUMP
000014fc: JUMPDEST
000014fd: PUSH2 0x1509
00001500: DUP6
00001501: CALLER
00001502: DUP6
00001503: DUP5
00001504: SUB
00001505: PUSH2 0x2a46
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH1 0x01
0000150c: SWAP2
0000150d: POP
0000150e: POP
0000150f: JUMPDEST
00001510: SWAP4
00001511: SWAP3
00001512: POP
00001513: POP
00001514: POP
00001515: JUMP
00001516: JUMPDEST
00001517: PUSH1 0x40
00001519: MLOAD
0000151a: PUSH32 0xba77675000000000000000000000000000000000000000000000000000000000
0000153b: DUP2
0000153c: MSTORE
0000153d: PUSH1 0x97
0000153f: PUSH1 0x04
00001541: DUP3
00001542: ADD
00001543: MSTORE
00001544: PUSH20 0x1ca1f575712668e6288604922a72dd1fb7d1c91f
00001559: SWAP1
0000155a: PUSH4 0xba776750
0000155f: SWAP1
00001560: PUSH1 0x24
00001562: ADD
00001563: PUSH2 0x13fc
00001566: JUMP
00001567: JUMPDEST
00001568: PUSH1 0x40
0000156a: MLOAD
0000156b: PUSH32 0x8159168c00000000000000000000000000000000000000000000000000000000
0000158c: DUP2
0000158d: MSTORE
0000158e: PUSH1 0xca
00001590: PUSH1 0x04
00001592: DUP3
00001593: ADD
00001594: MSTORE
00001595: ADDRESS
00001596: PUSH1 0x24
00001598: DUP3
00001599: ADD
0000159a: MSTORE
0000159b: PUSH1 0x00
0000159d: SWAP1
0000159e: DUP2
0000159f: SWAP1
000015a0: DUP2
000015a1: SWAP1
000015a2: DUP2
000015a3: SWAP1
000015a4: PUSH20 0xaf272775e752b330b1d269d7513e62a299e0f8b7
000015b9: SWAP1
000015ba: PUSH4 0x8159168c
000015bf: SWAP1
000015c0: PUSH1 0x44
000015c2: ADD
000015c3: PUSH1 0x80
000015c5: PUSH1 0x40
000015c7: MLOAD
000015c8: DUP1
000015c9: DUP4
000015ca: SUB
000015cb: DUP2
000015cc: DUP7
000015cd: GAS
000015ce: DELEGATECALL
000015cf: ISZERO
000015d0: DUP1
000015d1: ISZERO
000015d2: PUSH2 0x15df
000015d5: JUMPI
000015d6: RETURNDATASIZE
000015d7: PUSH1 0x00
000015d9: DUP1
000015da: RETURNDATACOPY
000015db: RETURNDATASIZE
000015dc: PUSH1 0x00
000015de: REVERT
000015df: JUMPDEST
000015e0: POP
000015e1: POP
000015e2: POP
000015e3: POP
000015e4: PUSH1 0x40
000015e6: MLOAD
000015e7: RETURNDATASIZE
000015e8: PUSH1 0x1f
000015ea: NOT
000015eb: PUSH1 0x1f
000015ed: DUP3
000015ee: ADD
000015ef: AND
000015f0: DUP3
000015f1: ADD
000015f2: DUP1
000015f3: PUSH1 0x40
000015f5: MSTORE
000015f6: POP
000015f7: DUP2
000015f8: ADD
000015f9: SWAP1
000015fa: PUSH2 0x1603
000015fd: SWAP2
000015fe: SWAP1
000015ff: PUSH2 0x47b9
00001602: JUMP
00001603: JUMPDEST
00001604: PUSH1 0x40
00001606: MLOAD
00001607: PUSH32 0xfe1d1d8b00000000000000000000000000000000000000000000000000000000
00001628: DUP2
00001629: MSTORE
0000162a: PUSH1 0x04
0000162c: DUP2
0000162d: ADD
0000162e: DUP5
0000162f: SWAP1
00001630: MSTORE
00001631: PUSH1 0x24
00001633: DUP2
00001634: ADD
00001635: DUP3
00001636: SWAP1
00001637: MSTORE
00001638: SWAP4
00001639: SWAP8
0000163a: POP
0000163b: SWAP2
0000163c: SWAP6
0000163d: POP
0000163e: SWAP4
0000163f: POP
00001640: SWAP2
00001641: POP
00001642: PUSH1 0x00
00001644: SWAP1
00001645: PUSH20 0xaf272775e752b330b1d269d7513e62a299e0f8b7
0000165a: SWAP1
0000165b: PUSH4 0xfe1d1d8b
00001660: SWAP1
00001661: PUSH1 0x44
00001663: ADD
00001664: PUSH1 0x20
00001666: PUSH1 0x40
00001668: MLOAD
00001669: DUP1
0000166a: DUP4
0000166b: SUB
0000166c: DUP2
0000166d: DUP7
0000166e: GAS
0000166f: DELEGATECALL
00001670: ISZERO
00001671: DUP1
00001672: ISZERO
00001673: PUSH2 0x1680
00001676: JUMPI
00001677: RETURNDATASIZE
00001678: PUSH1 0x00
0000167a: DUP1
0000167b: RETURNDATACOPY
0000167c: RETURNDATASIZE
0000167d: PUSH1 0x00
0000167f: REVERT
00001680: JUMPDEST
00001681: POP
00001682: POP
00001683: POP
00001684: POP
00001685: PUSH1 0x40
00001687: MLOAD
00001688: RETURNDATASIZE
00001689: PUSH1 0x1f
0000168b: NOT
0000168c: PUSH1 0x1f
0000168e: DUP3
0000168f: ADD
00001690: AND
00001691: DUP3
00001692: ADD
00001693: DUP1
00001694: PUSH1 0x40
00001696: MSTORE
00001697: POP
00001698: DUP2
00001699: ADD
0000169a: SWAP1
0000169b: PUSH2 0x16a4
0000169e: SWAP2
0000169f: SWAP1
000016a0: PUSH2 0x47f8
000016a3: JUMP
000016a4: JUMPDEST
000016a5: PUSH2 0x012f
000016a8: SLOAD
000016a9: SWAP1
000016aa: SWAP2
000016ab: POP
000016ac: PUSH1 0xff
000016ae: AND
000016af: ISZERO
000016b0: DUP1
000016b1: ISZERO
000016b2: PUSH2 0x16bd
000016b5: JUMPI
000016b6: POP
000016b7: PUSH1 0x01
000016b9: DUP2
000016ba: ISZERO
000016bb: ISZERO
000016bc: EQ
000016bd: JUMPDEST
000016be: ISZERO
000016bf: PUSH2 0x1767
000016c2: JUMPI
000016c3: CALLER
000016c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d9: DUP7
000016da: AND
000016db: EQ
000016dc: PUSH2 0x1767
000016df: JUMPI
000016e0: PUSH1 0x40
000016e2: MLOAD
000016e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001704: DUP2
00001705: MSTORE
00001706: PUSH1 0x20
00001708: PUSH1 0x04
0000170a: DUP3
0000170b: ADD
0000170c: MSTORE
0000170d: PUSH1 0x30
0000170f: PUSH1 0x24
00001711: DUP3
00001712: ADD
00001713: MSTORE
00001714: PUSH32 0x6f6e6c7920612077696e6e65722063616e20616c6c6f7720636f6e73656e7375
00001735: PUSH1 0x44
00001737: DUP3
00001738: ADD
00001739: MSTORE
0000173a: PUSH32 0x7320746f20626520726573746f72656400000000000000000000000000000000
0000175b: PUSH1 0x64
0000175d: DUP3
0000175e: ADD
0000175f: MSTORE
00001760: PUSH1 0x84
00001762: ADD
00001763: PUSH2 0x0b9a
00001766: JUMP
00001767: JUMPDEST
00001768: PUSH2 0x1773
0000176b: DUP2
0000176c: DUP7
0000176d: DUP6
0000176e: DUP6
0000176f: PUSH2 0x2f49
00001772: JUMP
00001773: JUMPDEST
00001774: POP
00001775: POP
00001776: POP
00001777: POP
00001778: POP
00001779: JUMP
0000177a: JUMPDEST
0000177b: PUSH1 0x40
0000177d: MLOAD
0000177e: PUSH32 0xe058859400000000000000000000000000000000000000000000000000000000
0000179f: DUP2
000017a0: MSTORE
000017a1: PUSH1 0x98
000017a3: PUSH1 0x04
000017a5: DUP3
000017a6: ADD
000017a7: MSTORE
000017a8: PUSH20 0x1ca1f575712668e6288604922a72dd1fb7d1c91f
000017bd: SWAP1
000017be: PUSH4 0xe0588594
000017c3: SWAP1
000017c4: PUSH1 0x24
000017c6: ADD
000017c7: PUSH2 0x13fc
000017ca: JUMP
000017cb: JUMPDEST
000017cc: CALLER
000017cd: PUSH1 0x00
000017cf: DUP2
000017d0: DUP2
000017d1: MSTORE
000017d2: PUSH1 0x34
000017d4: PUSH1 0x20
000017d6: SWAP1
000017d7: DUP2
000017d8: MSTORE
000017d9: PUSH1 0x40
000017db: DUP1
000017dc: DUP4
000017dd: KECCAK256
000017de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f3: DUP8
000017f4: AND
000017f5: DUP5
000017f6: MSTORE
000017f7: SWAP1
000017f8: SWAP2
000017f9: MSTORE
000017fa: DUP2
000017fb: KECCAK256
000017fc: SLOAD
000017fd: SWAP1
000017fe: SWAP2
000017ff: PUSH2 0x11af
00001802: SWAP2
00001803: DUP6
00001804: SWAP1
00001805: PUSH2 0x180f
00001808: SWAP1
00001809: DUP7
0000180a: SWAP1
0000180b: PUSH2 0x47a1
0000180e: JUMP
0000180f: JUMPDEST
00001810: PUSH2 0x2a46
00001813: JUMP
00001814: JUMPDEST
00001815: DUP2
00001816: TIMESTAMP
00001817: LT
00001818: ISZERO
00001819: DUP1
0000181a: PUSH2 0x182c
0000181d: JUMPI
0000181e: POP
0000181f: DUP1
00001820: PUSH2 0x1829
00001823: PUSH2 0x012e
00001826: SLOAD
00001827: SWAP1
00001828: JUMP
00001829: JUMPDEST
0000182a: LT
0000182b: ISZERO
0000182c: JUMPDEST
0000182d: PUSH2 0x1892
00001830: JUMPI
00001831: PUSH1 0x40
00001833: MLOAD
00001834: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001855: DUP2
00001856: MSTORE
00001857: PUSH1 0x20
00001859: PUSH1 0x04
0000185b: DUP3
0000185c: ADD
0000185d: MSTORE
0000185e: PUSH1 0x09
00001860: PUSH1 0x24
00001862: DUP3
00001863: ADD
00001864: MSTORE
00001865: PUSH32 0x746f6f206561726c790000000000000000000000000000000000000000000000
00001886: PUSH1 0x44
00001888: DUP3
00001889: ADD
0000188a: MSTORE
0000188b: PUSH1 0x64
0000188d: ADD
0000188e: PUSH2 0x0b9a
00001891: JUMP
00001892: JUMPDEST
00001893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a8: DUP4
000018a9: AND
000018aa: PUSH1 0x00
000018ac: SWAP1
000018ad: DUP2
000018ae: MSTORE
000018af: PUSH2 0x0160
000018b2: PUSH1 0x20
000018b4: SWAP1
000018b5: DUP2
000018b6: MSTORE
000018b7: PUSH1 0x40
000018b9: DUP1
000018ba: DUP4
000018bb: KECCAK256
000018bc: DUP6
000018bd: DUP5
000018be: MSTORE
000018bf: DUP3
000018c0: MSTORE
000018c1: DUP1
000018c2: DUP4
000018c3: KECCAK256
000018c4: DUP5
000018c5: DUP5
000018c6: MSTORE
000018c7: SWAP1
000018c8: SWAP2
000018c9: MSTORE
000018ca: SWAP1
000018cb: KECCAK256
000018cc: SLOAD
000018cd: PUSH2 0x1932
000018d0: JUMPI
000018d1: PUSH1 0x40
000018d3: MLOAD
000018d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018f5: DUP2
000018f6: MSTORE
000018f7: PUSH1 0x20
000018f9: PUSH1 0x04
000018fb: DUP3
000018fc: ADD
000018fd: MSTORE
000018fe: PUSH1 0x12
00001900: PUSH1 0x24
00001902: DUP3
00001903: ADD
00001904: MSTORE
00001905: PUSH32 0x6e6f7468696e6720746f20706179206f66660000000000000000000000000000
00001926: PUSH1 0x44
00001928: DUP3
00001929: ADD
0000192a: MSTORE
0000192b: PUSH1 0x64
0000192d: ADD
0000192e: PUSH2 0x0b9a
00001931: JUMP
00001932: JUMPDEST
00001933: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001948: DUP4
00001949: AND
0000194a: PUSH1 0x00
0000194c: SWAP1
0000194d: DUP2
0000194e: MSTORE
0000194f: PUSH2 0x0160
00001952: PUSH1 0x20
00001954: SWAP1
00001955: DUP2
00001956: MSTORE
00001957: PUSH1 0x40
00001959: DUP1
0000195a: DUP4
0000195b: KECCAK256
0000195c: DUP6
0000195d: DUP5
0000195e: MSTORE
0000195f: DUP3
00001960: MSTORE
00001961: DUP1
00001962: DUP4
00001963: KECCAK256
00001964: DUP5
00001965: DUP5
00001966: MSTORE
00001967: SWAP1
00001968: SWAP2
00001969: MSTORE
0000196a: DUP2
0000196b: KECCAK256
0000196c: DUP1
0000196d: SLOAD
0000196e: SWAP2
0000196f: SWAP1
00001970: SSTORE
00001971: PUSH2 0x197b
00001974: ADDRESS
00001975: DUP6
00001976: DUP4
00001977: PUSH2 0x30c0
0000197a: JUMP
0000197b: JUMPDEST
0000197c: PUSH1 0x40
0000197e: DUP1
0000197f: MLOAD
00001980: DUP3
00001981: DUP2
00001982: MSTORE
00001983: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001998: DUP7
00001999: AND
0000199a: PUSH1 0x20
0000199c: DUP3
0000199d: ADD
0000199e: MSTORE
0000199f: SWAP1
000019a0: DUP2
000019a1: ADD
000019a2: DUP5
000019a3: SWAP1
000019a4: MSTORE
000019a5: PUSH1 0x60
000019a7: DUP2
000019a8: ADD
000019a9: DUP4
000019aa: SWAP1
000019ab: MSTORE
000019ac: PUSH32 0x7b9b573d2256221f1d6fb2b07daa4f14c7bea9b3b28f4d70b8a862e1395c8076
000019cd: SWAP1
000019ce: PUSH1 0x80
000019d0: ADD
000019d1: PUSH1 0x40
000019d3: MLOAD
000019d4: DUP1
000019d5: SWAP2
000019d6: SUB
000019d7: SWAP1
000019d8: LOG1
000019d9: POP
000019da: POP
000019db: POP
000019dc: POP
000019dd: JUMP
000019de: JUMPDEST
000019df: PUSH1 0x40
000019e1: MLOAD
000019e2: PUSH32 0xe9553b6600000000000000000000000000000000000000000000000000000000
00001a03: DUP2
00001a04: MSTORE
00001a05: PUSH1 0x00
00001a07: SWAP1
00001a08: PUSH20 0xaf272775e752b330b1d269d7513e62a299e0f8b7
00001a1d: SWAP1
00001a1e: PUSH4 0xe9553b66
00001a23: SWAP1
00001a24: PUSH2 0x1a35
00001a27: SWAP1
00001a28: DUP8
00001a29: SWAP1
00001a2a: DUP8
00001a2b: SWAP1
00001a2c: ADDRESS
00001a2d: SWAP1
00001a2e: PUSH1 0x04
00001a30: ADD
00001a31: PUSH2 0x481a
00001a34: JUMP
00001a35: JUMPDEST
00001a36: PUSH1 0x20
00001a38: PUSH1 0x40
00001a3a: MLOAD
00001a3b: DUP1
00001a3c: DUP4
00001a3d: SUB
00001a3e: DUP2
00001a3f: DUP7
00001a40: GAS
00001a41: DELEGATECALL
00001a42: ISZERO
00001a43: DUP1
00001a44: ISZERO
00001a45: PUSH2 0x1a52
00001a48: JUMPI
00001a49: RETURNDATASIZE
00001a4a: PUSH1 0x00
00001a4c: DUP1
00001a4d: RETURNDATACOPY
00001a4e: RETURNDATASIZE
00001a4f: PUSH1 0x00
00001a51: REVERT
00001a52: JUMPDEST
00001a53: POP
00001a54: POP
00001a55: POP
00001a56: POP
00001a57: PUSH1 0x40
00001a59: MLOAD
00001a5a: RETURNDATASIZE
00001a5b: PUSH1 0x1f
00001a5d: NOT
00001a5e: PUSH1 0x1f
00001a60: DUP3
00001a61: ADD
00001a62: AND
00001a63: DUP3
00001a64: ADD
00001a65: DUP1
00001a66: PUSH1 0x40
00001a68: MSTORE
00001a69: POP
00001a6a: DUP2
00001a6b: ADD
00001a6c: SWAP1
00001a6d: PUSH2 0x1a76
00001a70: SWAP2
00001a71: SWAP1
00001a72: PUSH2 0x488d
00001a75: JUMP
00001a76: JUMPDEST
00001a77: SWAP1
00001a78: POP
00001a79: PUSH1 0x00
00001a7b: PUSH20 0xaf272775e752b330b1d269d7513e62a299e0f8b7
00001a90: PUSH4 0xe9553b66
00001a95: PUSH1 0x00
00001a97: DUP6
00001a98: ADDRESS
00001a99: PUSH1 0x40
00001a9b: MLOAD
00001a9c: DUP5
00001a9d: PUSH4 0xffffffff
00001aa2: AND
00001aa3: PUSH1 0xe0
00001aa5: SHL
00001aa6: DUP2
00001aa7: MSTORE
00001aa8: PUSH1 0x04
00001aaa: ADD
00001aab: PUSH2 0x1ab6
00001aae: SWAP4
00001aaf: SWAP3
00001ab0: SWAP2
00001ab1: SWAP1
00001ab2: PUSH2 0x481a
00001ab5: JUMP
00001ab6: JUMPDEST
00001ab7: PUSH1 0x20
00001ab9: PUSH1 0x40
00001abb: MLOAD
00001abc: DUP1
00001abd: DUP4
00001abe: SUB
00001abf: DUP2
00001ac0: DUP7
00001ac1: GAS
00001ac2: DELEGATECALL
00001ac3: ISZERO
00001ac4: DUP1
00001ac5: ISZERO
00001ac6: PUSH2 0x1ad3
00001ac9: JUMPI
00001aca: RETURNDATASIZE
00001acb: PUSH1 0x00
00001acd: DUP1
00001ace: RETURNDATACOPY
00001acf: RETURNDATASIZE
00001ad0: PUSH1 0x00
00001ad2: REVERT
00001ad3: JUMPDEST
00001ad4: POP
00001ad5: POP
00001ad6: POP
00001ad7: POP
00001ad8: PUSH1 0x40
00001ada: MLOAD
00001adb: RETURNDATASIZE
00001adc: PUSH1 0x1f
00001ade: NOT
00001adf: PUSH1 0x1f
00001ae1: DUP3
00001ae2: ADD
00001ae3: AND
00001ae4: DUP3
00001ae5: ADD
00001ae6: DUP1
00001ae7: PUSH1 0x40
00001ae9: MSTORE
00001aea: POP
00001aeb: DUP2
00001aec: ADD
00001aed: SWAP1
00001aee: PUSH2 0x1af7
00001af1: SWAP2
00001af2: SWAP1
00001af3: PUSH2 0x488d
00001af6: JUMP
00001af7: JUMPDEST
00001af8: SWAP1
00001af9: POP
00001afa: PUSH1 0x00
00001afc: DUP2
00001afd: PUSH2 0x1b04
00001b00: PUSH2 0x1388
00001b03: JUMP
00001b04: JUMPDEST
00001b05: PUSH2 0x1b0e
00001b08: SWAP2
00001b09: SWAP1
00001b0a: PUSH2 0x48a6
00001b0d: JUMP
00001b0e: JUMPDEST
00001b0f: PUSH1 0x40
00001b11: MLOAD
00001b12: PUSH32 0xfe1d1d8b00000000000000000000000000000000000000000000000000000000
00001b33: DUP2
00001b34: MSTORE
00001b35: PUSH1 0x04
00001b37: DUP2
00001b38: ADD
00001b39: DUP6
00001b3a: SWAP1
00001b3b: MSTORE
00001b3c: PUSH1 0x24
00001b3e: DUP2
00001b3f: ADD
00001b40: DUP3
00001b41: SWAP1
00001b42: MSTORE
00001b43: SWAP1
00001b44: SWAP2
00001b45: POP
00001b46: PUSH20 0xaf272775e752b330b1d269d7513e62a299e0f8b7
00001b5b: SWAP1
00001b5c: PUSH4 0xfe1d1d8b
00001b61: SWAP1
00001b62: PUSH1 0x44
00001b64: ADD
00001b65: PUSH1 0x20
00001b67: PUSH1 0x40
00001b69: MLOAD
00001b6a: DUP1
00001b6b: DUP4
00001b6c: SUB
00001b6d: DUP2
00001b6e: DUP7
00001b6f: GAS
00001b70: DELEGATECALL
00001b71: ISZERO
00001b72: DUP1
00001b73: ISZERO
00001b74: PUSH2 0x1b81
00001b77: JUMPI
00001b78: RETURNDATASIZE
00001b79: PUSH1 0x00
00001b7b: DUP1
00001b7c: RETURNDATACOPY
00001b7d: RETURNDATASIZE
00001b7e: PUSH1 0x00
00001b80: REVERT
00001b81: JUMPDEST
00001b82: POP
00001b83: POP
00001b84: POP
00001b85: POP
00001b86: PUSH1 0x40
00001b88: MLOAD
00001b89: RETURNDATASIZE
00001b8a: PUSH1 0x1f
00001b8c: NOT
00001b8d: PUSH1 0x1f
00001b8f: DUP3
00001b90: ADD
00001b91: AND
00001b92: DUP3
00001b93: ADD
00001b94: DUP1
00001b95: PUSH1 0x40
00001b97: MSTORE
00001b98: POP
00001b99: DUP2
00001b9a: ADD
00001b9b: SWAP1
00001b9c: PUSH2 0x1ba5
00001b9f: SWAP2
00001ba0: SWAP1
00001ba1: PUSH2 0x47f8
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: ISZERO
00001ba7: PUSH2 0x1c77
00001baa: JUMPI
00001bab: PUSH2 0x012f
00001bae: SLOAD
00001baf: PUSH1 0xff
00001bb1: AND
00001bb2: PUSH2 0x1c5a
00001bb5: JUMPI
00001bb6: CALLER
00001bb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bcc: DUP8
00001bcd: AND
00001bce: EQ
00001bcf: PUSH2 0x1c5a
00001bd2: JUMPI
00001bd3: PUSH1 0x40
00001bd5: MLOAD
00001bd6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bf7: DUP2
00001bf8: MSTORE
00001bf9: PUSH1 0x20
00001bfb: PUSH1 0x04
00001bfd: DUP3
00001bfe: ADD
00001bff: MSTORE
00001c00: PUSH1 0x30
00001c02: PUSH1 0x24
00001c04: DUP3
00001c05: ADD
00001c06: MSTORE
00001c07: PUSH32 0x6f6e6c7920612077696e6e65722063616e20616c6c6f7720636f6e73656e7375
00001c28: PUSH1 0x44
00001c2a: DUP3
00001c2b: ADD
00001c2c: MSTORE
00001c2d: PUSH32 0x7320746f20626520726573746f72656400000000000000000000000000000000
00001c4e: PUSH1 0x64
00001c50: DUP3
00001c51: ADD
00001c52: MSTORE
00001c53: PUSH1 0x84
00001c55: ADD
00001c56: PUSH2 0x0b9a
00001c59: JUMP
00001c5a: JUMPDEST
00001c5b: PUSH1 0x00
00001c5d: PUSH2 0x1c66
00001c60: DUP5
00001c61: DUP4
00001c62: PUSH2 0x48a6
00001c65: JUMP
00001c66: JUMPDEST
00001c67: SWAP1
00001c68: POP
00001c69: PUSH2 0x1c75
00001c6c: PUSH1 0x01
00001c6e: DUP9
00001c6f: DUP4
00001c70: DUP6
00001c71: PUSH2 0x2f49
00001c74: JUMP
00001c75: JUMPDEST
00001c76: POP
00001c77: JUMPDEST
00001c78: POP
00001c79: POP
00001c7a: POP
00001c7b: POP
00001c7c: POP
00001c7d: POP
00001c7e: JUMP
00001c7f: JUMPDEST
00001c80: PUSH2 0x1c87
00001c83: PUSH2 0x0b2c
00001c86: JUMP
00001c87: JUMPDEST
00001c88: PUSH2 0x012f
00001c8b: SLOAD
00001c8c: PUSH1 0x40
00001c8e: MLOAD
00001c8f: PUSH32 0xf19970ad00000000000000000000000000000000000000000000000000000000
00001cb0: DUP2
00001cb1: MSTORE
00001cb2: PUSH1 0x00
00001cb4: SWAP2
00001cb5: PUSH20 0xaf272775e752b330b1d269d7513e62a299e0f8b7
00001cca: SWAP2
00001ccb: PUSH4 0xf19970ad
00001cd0: SWAP2
00001cd1: PUSH2 0x1cfd
00001cd4: SWAP2
00001cd5: PUSH2 0x0100
00001cd8: SWAP1
00001cd9: SWAP2
00001cda: DIV
00001cdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf0: AND
00001cf1: SWAP1
00001cf2: DUP8
00001cf3: SWAP1
00001cf4: ADDRESS
00001cf5: SWAP1
00001cf6: PUSH1 0x04
00001cf8: ADD
00001cf9: PUSH2 0x481a
00001cfc: JUMP
00001cfd: JUMPDEST
00001cfe: PUSH1 0x20
00001d00: PUSH1 0x40
00001d02: MLOAD
00001d03: DUP1
00001d04: DUP4
00001d05: SUB
00001d06: DUP2
00001d07: DUP7
00001d08: GAS
00001d09: DELEGATECALL
00001d0a: ISZERO
00001d0b: DUP1
00001d0c: ISZERO
00001d0d: PUSH2 0x1d1a
00001d10: JUMPI
00001d11: RETURNDATASIZE
00001d12: PUSH1 0x00
00001d14: DUP1
00001d15: RETURNDATACOPY
00001d16: RETURNDATASIZE
00001d17: PUSH1 0x00
00001d19: REVERT
00001d1a: JUMPDEST
00001d1b: POP
00001d1c: POP
00001d1d: POP
00001d1e: POP
00001d1f: PUSH1 0x40
00001d21: MLOAD
00001d22: RETURNDATASIZE
00001d23: PUSH1 0x1f
00001d25: NOT
00001d26: PUSH1 0x1f
00001d28: DUP3
00001d29: ADD
00001d2a: AND
00001d2b: DUP3
00001d2c: ADD
00001d2d: DUP1
00001d2e: PUSH1 0x40
00001d30: MSTORE
00001d31: POP
00001d32: DUP2
00001d33: ADD
00001d34: SWAP1
00001d35: PUSH2 0x1d3e
00001d38: SWAP2
00001d39: SWAP1
00001d3a: PUSH2 0x488d
00001d3d: JUMP
00001d3e: JUMPDEST
00001d3f: SWAP1
00001d40: POP
00001d41: PUSH1 0x00
00001d43: PUSH20 0xaf272775e752b330b1d269d7513e62a299e0f8b7
00001d58: PUSH4 0xe9553b66
00001d5d: PUSH1 0x00
00001d5f: DUP6
00001d60: ADDRESS
00001d61: PUSH1 0x40
00001d63: MLOAD
00001d64: DUP5
00001d65: PUSH4 0xffffffff
00001d6a: AND
00001d6b: PUSH1 0xe0
00001d6d: SHL
00001d6e: DUP2
00001d6f: MSTORE
00001d70: PUSH1 0x04
00001d72: ADD
00001d73: PUSH2 0x1d7e
00001d76: SWAP4
00001d77: SWAP3
00001d78: SWAP2
00001d79: SWAP1
00001d7a: PUSH2 0x481a
00001d7d: JUMP
00001d7e: JUMPDEST
00001d7f: PUSH1 0x20
00001d81: PUSH1 0x40
00001d83: MLOAD
00001d84: DUP1
00001d85: DUP4
00001d86: SUB
00001d87: DUP2
00001d88: DUP7
00001d89: GAS
00001d8a: DELEGATECALL
00001d8b: ISZERO
00001d8c: DUP1
00001d8d: ISZERO
00001d8e: PUSH2 0x1d9b
00001d91: JUMPI
00001d92: RETURNDATASIZE
00001d93: PUSH1 0x00
00001d95: DUP1
00001d96: RETURNDATACOPY
00001d97: RETURNDATASIZE
00001d98: PUSH1 0x00
00001d9a: REVERT
00001d9b: JUMPDEST
00001d9c: POP
00001d9d: POP
00001d9e: POP
00001d9f: POP
00001da0: PUSH1 0x40
00001da2: MLOAD
00001da3: RETURNDATASIZE
00001da4: PUSH1 0x1f
00001da6: NOT
00001da7: PUSH1 0x1f
00001da9: DUP3
00001daa: ADD
00001dab: AND
00001dac: DUP3
00001dad: ADD
00001dae: DUP1
00001daf: PUSH1 0x40
00001db1: MSTORE
00001db2: POP
00001db3: DUP2
00001db4: ADD
00001db5: SWAP1
00001db6: PUSH2 0x1dbf
00001db9: SWAP2
00001dba: SWAP1
00001dbb: PUSH2 0x488d
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: SWAP1
00001dc1: POP
00001dc2: PUSH1 0x00
00001dc4: DUP2
00001dc5: PUSH2 0x1dcc
00001dc8: PUSH2 0x1388
00001dcb: JUMP
00001dcc: JUMPDEST
00001dcd: PUSH2 0x1dd6
00001dd0: SWAP2
00001dd1: SWAP1
00001dd2: PUSH2 0x48a6
00001dd5: JUMP
00001dd6: JUMPDEST
00001dd7: SWAP1
00001dd8: POP
00001dd9: PUSH1 0x00
00001ddb: PUSH2 0x1de4
00001dde: DUP5
00001ddf: DUP4
00001de0: PUSH2 0x48a6
00001de3: JUMP
00001de4: JUMPDEST
00001de5: PUSH1 0x40
00001de7: MLOAD
00001de8: PUSH32 0xfe1d1d8b00000000000000000000000000000000000000000000000000000000
00001e09: DUP2
00001e0a: MSTORE
00001e0b: PUSH1 0x04
00001e0d: DUP2
00001e0e: ADD
00001e0f: DUP3
00001e10: SWAP1
00001e11: MSTORE
00001e12: PUSH1 0x24
00001e14: DUP2
00001e15: ADD
00001e16: DUP5
00001e17: SWAP1
00001e18: MSTORE
00001e19: SWAP1
00001e1a: SWAP2
00001e1b: POP
00001e1c: PUSH20 0xaf272775e752b330b1d269d7513e62a299e0f8b7
00001e31: SWAP1
00001e32: PUSH4 0xfe1d1d8b
00001e37: SWAP1
00001e38: PUSH1 0x44
00001e3a: ADD
00001e3b: PUSH1 0x20
00001e3d: PUSH1 0x40
00001e3f: MLOAD
00001e40: DUP1
00001e41: DUP4
00001e42: SUB
00001e43: DUP2
00001e44: DUP7
00001e45: GAS
00001e46: DELEGATECALL
00001e47: ISZERO
00001e48: DUP1
00001e49: ISZERO
00001e4a: PUSH2 0x1e57
00001e4d: JUMPI
00001e4e: RETURNDATASIZE
00001e4f: PUSH1 0x00
00001e51: DUP1
00001e52: RETURNDATACOPY
00001e53: RETURNDATASIZE
00001e54: PUSH1 0x00
00001e56: REVERT
00001e57: JUMPDEST
00001e58: POP
00001e59: POP
00001e5a: POP
00001e5b: POP
00001e5c: PUSH1 0x40
00001e5e: MLOAD
00001e5f: RETURNDATASIZE
00001e60: PUSH1 0x1f
00001e62: NOT
00001e63: PUSH1 0x1f
00001e65: DUP3
00001e66: ADD
00001e67: AND
00001e68: DUP3
00001e69: ADD
00001e6a: DUP1
00001e6b: PUSH1 0x40
00001e6d: MSTORE
00001e6e: POP
00001e6f: DUP2
00001e70: ADD
00001e71: SWAP1
00001e72: PUSH2 0x1e7b
00001e75: SWAP2
00001e76: SWAP1
00001e77: PUSH2 0x47f8
00001e7a: JUMP
00001e7b: JUMPDEST
00001e7c: PUSH2 0x1c77
00001e7f: JUMPI
00001e80: PUSH2 0x012f
00001e83: SLOAD
00001e84: PUSH2 0x1c77
00001e87: SWAP1
00001e88: PUSH1 0x00
00001e8a: SWAP1
00001e8b: PUSH2 0x0100
00001e8e: SWAP1
00001e8f: DIV
00001e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea5: AND
00001ea6: DUP7
00001ea7: DUP6
00001ea8: PUSH2 0x2f49
00001eab: JUMP
00001eac: JUMPDEST
00001ead: PUSH1 0x00
00001eaf: PUSH2 0x110c
00001eb2: PUSH2 0x30cb
00001eb5: JUMP
00001eb6: JUMPDEST
00001eb7: PUSH2 0x1ebe
00001eba: PUSH2 0x2bf9
00001ebd: JUMP
00001ebe: JUMPDEST
00001ebf: PUSH2 0x012e
00001ec2: SLOAD
00001ec3: PUSH2 0x1ecd
00001ec6: SWAP1
00001ec7: PUSH1 0x02
00001ec9: PUSH2 0x4175
00001ecc: JUMP
00001ecd: JUMPDEST
00001ece: DUP2
00001ecf: GT
00001ed0: PUSH2 0x1f35
00001ed3: JUMPI
00001ed4: PUSH1 0x40
00001ed6: MLOAD
00001ed7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ef8: DUP2
00001ef9: MSTORE
00001efa: PUSH1 0x20
00001efc: PUSH1 0x04
00001efe: DUP3
00001eff: ADD
00001f00: MSTORE
00001f01: PUSH1 0x17
00001f03: PUSH1 0x24
00001f05: DUP3
00001f06: ADD
00001f07: MSTORE
00001f08: PUSH32 0x7477696365207468652063757272656e74207072696365000000000000000000
00001f29: PUSH1 0x44
00001f2b: DUP3
00001f2c: ADD
00001f2d: MSTORE
00001f2e: PUSH1 0x64
00001f30: ADD
00001f31: PUSH2 0x0b9a
00001f34: JUMP
00001f35: JUMPDEST
00001f36: PUSH2 0x0194
00001f39: DUP2
00001f3a: SWAP1
00001f3b: SSTORE
00001f3c: PUSH1 0x40
00001f3e: MLOAD
00001f3f: DUP2
00001f40: DUP2
00001f41: MSTORE
00001f42: PUSH32 0x817e59c058bfae6ff2d3eb2a6fe47bdf07a370096e924b6b3b84c3fcf242200c
00001f63: SWAP1
00001f64: PUSH1 0x20
00001f66: ADD
00001f67: JUMPDEST
00001f68: PUSH1 0x40
00001f6a: MLOAD
00001f6b: DUP1
00001f6c: SWAP2
00001f6d: SUB
00001f6e: SWAP1
00001f6f: LOG1
00001f70: POP
00001f71: JUMP
00001f72: JUMPDEST
00001f73: PUSH1 0x40
00001f75: MLOAD
00001f76: PUSH32 0xfeb0a61900000000000000000000000000000000000000000000000000000000
00001f97: DUP2
00001f98: MSTORE
00001f99: PUSH1 0x97
00001f9b: PUSH1 0x04
00001f9d: DUP3
00001f9e: ADD
00001f9f: MSTORE
00001fa0: PUSH20 0x1ca1f575712668e6288604922a72dd1fb7d1c91f
00001fb5: SWAP1
00001fb6: PUSH4 0xfeb0a619
00001fbb: SWAP1
00001fbc: PUSH1 0x24
00001fbe: ADD
00001fbf: PUSH2 0x13fc
00001fc2: JUMP
00001fc3: JUMPDEST
00001fc4: PUSH2 0x1fcb
00001fc7: PUSH2 0x0b2c
00001fca: JUMP
00001fcb: JUMPDEST
00001fcc: PUSH2 0x0ba3
00001fcf: CALLER
00001fd0: JUMPDEST
00001fd1: PUSH2 0x0374
00001fd4: CALLVALUE
00001fd5: PUSH2 0x0ba5
00001fd8: JUMP
00001fd9: JUMPDEST
00001fda: PUSH1 0x00
00001fdc: PUSH2 0x1fe4
00001fdf: CALLER
00001fe0: PUSH2 0x2170
00001fe3: JUMP
00001fe4: JUMPDEST
00001fe5: GT
00001fe6: PUSH2 0x204b
00001fe9: JUMPI
00001fea: PUSH1 0x40
00001fec: MLOAD
00001fed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000200e: DUP2
0000200f: MSTORE
00002010: PUSH1 0x20
00002012: PUSH1 0x04
00002014: DUP3
00002015: ADD
00002016: MSTORE
00002017: PUSH1 0x17
00002019: PUSH1 0x24
0000201b: DUP3
0000201c: ADD
0000201d: MSTORE
0000201e: PUSH32 0x766f74696e6720666f7220746f6b656e686f6c64657273000000000000000000
0000203f: PUSH1 0x44
00002041: DUP3
00002042: ADD
00002043: MSTORE
00002044: PUSH1 0x64
00002046: ADD
00002047: PUSH2 0x0b9a
0000204a: JUMP
0000204b: JUMPDEST
0000204c: PUSH2 0x2055
0000204f: CALLER
00002050: DUP3
00002051: PUSH2 0x0f74
00002054: JUMP
00002055: JUMPDEST
00002056: POP
00002057: JUMP
00002058: JUMPDEST
00002059: PUSH1 0xfc
0000205b: SLOAD
0000205c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002071: AND
00002072: ISZERO
00002073: PUSH2 0x20d8
00002076: JUMPI
00002077: PUSH1 0x40
00002079: MLOAD
0000207a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000209b: DUP2
0000209c: MSTORE
0000209d: PUSH1 0x20
0000209f: PUSH1 0x04
000020a1: DUP3
000020a2: ADD
000020a3: MSTORE
000020a4: PUSH1 0x0b
000020a6: PUSH1 0x24
000020a8: DUP3
000020a9: ADD
000020aa: MSTORE
000020ab: PUSH32 0x616c726561647920736574000000000000000000000000000000000000000000
000020cc: PUSH1 0x44
000020ce: DUP3
000020cf: ADD
000020d0: MSTORE
000020d1: PUSH1 0x64
000020d3: ADD
000020d4: PUSH2 0x0b9a
000020d7: JUMP
000020d8: JUMPDEST
000020d9: PUSH1 0xfc
000020db: DUP1
000020dc: SLOAD
000020dd: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000020fe: AND
000020ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002114: SWAP3
00002115: SWAP1
00002116: SWAP3
00002117: AND
00002118: SWAP2
00002119: SWAP1
0000211a: SWAP2
0000211b: OR
0000211c: SWAP1
0000211d: SSTORE
0000211e: JUMP
0000211f: JUMPDEST
00002120: PUSH1 0x40
00002122: MLOAD
00002123: PUSH32 0xd9d61b3a00000000000000000000000000000000000000000000000000000000
00002144: DUP2
00002145: MSTORE
00002146: PUSH1 0x98
00002148: PUSH1 0x04
0000214a: DUP3
0000214b: ADD
0000214c: MSTORE
0000214d: PUSH20 0x1ca1f575712668e6288604922a72dd1fb7d1c91f
00002162: SWAP1
00002163: PUSH4 0xd9d61b3a
00002168: SWAP1
00002169: PUSH1 0x24
0000216b: ADD
0000216c: PUSH2 0x13fc
0000216f: JUMP
00002170: JUMPDEST
00002171: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002186: DUP2
00002187: AND
00002188: PUSH1 0x00
0000218a: SWAP1
0000218b: DUP2
0000218c: MSTORE
0000218d: PUSH1 0x33
0000218f: PUSH1 0x20
00002191: MSTORE
00002192: PUSH1 0x40
00002194: DUP2
00002195: KECCAK256
00002196: SLOAD
00002197: PUSH2 0x11b3
0000219a: JUMP
0000219b: JUMPDEST
0000219c: PUSH1 0x00
0000219e: SLOAD
0000219f: PUSH2 0x0100
000021a2: SWAP1
000021a3: DIV
000021a4: PUSH1 0xff
000021a6: AND
000021a7: PUSH2 0x21b6
000021aa: JUMPI
000021ab: PUSH1 0x00
000021ad: SLOAD
000021ae: PUSH1 0xff
000021b0: AND
000021b1: ISZERO
000021b2: PUSH2 0x21ba
000021b5: JUMP
000021b6: JUMPDEST
000021b7: ADDRESS
000021b8: EXTCODESIZE
000021b9: ISZERO
000021ba: JUMPDEST
000021bb: PUSH2 0x2246
000021be: JUMPI
000021bf: PUSH1 0x40
000021c1: MLOAD
000021c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021e3: DUP2
000021e4: MSTORE
000021e5: PUSH1 0x20
000021e7: PUSH1 0x04
000021e9: DUP3
000021ea: ADD
000021eb: MSTORE
000021ec: PUSH1 0x2e
000021ee: PUSH1 0x24
000021f0: DUP3
000021f1: ADD
000021f2: MSTORE
000021f3: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00002214: PUSH1 0x44
00002216: DUP3
00002217: ADD
00002218: MSTORE
00002219: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
0000223a: PUSH1 0x64
0000223c: DUP3
0000223d: ADD
0000223e: MSTORE
0000223f: PUSH1 0x84
00002241: ADD
00002242: PUSH2 0x0b9a
00002245: JUMP
00002246: JUMPDEST
00002247: PUSH1 0x00
00002249: SLOAD
0000224a: PUSH2 0x0100
0000224d: SWAP1
0000224e: DIV
0000224f: PUSH1 0xff
00002251: AND
00002252: ISZERO
00002253: DUP1
00002254: ISZERO
00002255: PUSH2 0x2285
00002258: JUMPI
00002259: PUSH1 0x00
0000225b: DUP1
0000225c: SLOAD
0000225d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000
0000227e: AND
0000227f: PUSH2 0x0101
00002282: OR
00002283: SWAP1
00002284: SSTORE
00002285: JUMPDEST
00002286: PUSH2 0x228d
00002289: PUSH2 0x1eac
0000228c: JUMP
0000228d: JUMPDEST
0000228e: PUSH1 0x65
00002290: SLOAD
00002291: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a6: SWAP1
000022a7: DUP2
000022a8: AND
000022a9: SWAP2
000022aa: AND
000022ab: EQ
000022ac: ISZERO
000022ad: PUSH2 0x2312
000022b0: JUMPI
000022b1: PUSH1 0x40
000022b3: MLOAD
000022b4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022d5: DUP2
000022d6: MSTORE
000022d7: PUSH1 0x20
000022d9: PUSH1 0x04
000022db: DUP3
000022dc: ADD
000022dd: MSTORE
000022de: PUSH1 0x10
000022e0: PUSH1 0x24
000022e2: DUP3
000022e3: ADD
000022e4: MSTORE
000022e5: PUSH32 0x616c726561647920757067726164656400000000000000000000000000000000
00002306: PUSH1 0x44
00002308: DUP3
00002309: ADD
0000230a: MSTORE
0000230b: PUSH1 0x64
0000230d: ADD
0000230e: PUSH2 0x0b9a
00002311: JUMP
00002312: JUMPDEST
00002313: PUSH2 0x231a
00002316: PUSH2 0x311a
00002319: JUMP
0000231a: JUMPDEST
0000231b: PUSH2 0x2322
0000231e: PUSH2 0x1eac
00002321: JUMP
00002322: JUMPDEST
00002323: PUSH1 0x65
00002325: DUP1
00002326: SLOAD
00002327: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002348: AND
00002349: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000235e: SWAP3
0000235f: SWAP1
00002360: SWAP3
00002361: AND
00002362: SWAP2
00002363: SWAP1
00002364: SWAP2
00002365: OR
00002366: SWAP1
00002367: SSTORE
00002368: DUP1
00002369: ISZERO
0000236a: PUSH2 0x2055
0000236d: JUMPI
0000236e: PUSH1 0x00
00002370: DUP1
00002371: SLOAD
00002372: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00002393: AND
00002394: SWAP1
00002395: SSTORE
00002396: POP
00002397: JUMP
00002398: JUMPDEST
00002399: PUSH1 0x40
0000239b: MLOAD
0000239c: PUSH32 0xd156f89c00000000000000000000000000000000000000000000000000000000
000023bd: DUP2
000023be: MSTORE
000023bf: PUSH1 0x97
000023c1: PUSH1 0x04
000023c3: DUP3
000023c4: ADD
000023c5: MSTORE
000023c6: PUSH20 0x1ca1f575712668e6288604922a72dd1fb7d1c91f
000023db: SWAP1
000023dc: PUSH4 0xd156f89c
000023e1: SWAP1
000023e2: PUSH1 0x24
000023e4: ADD
000023e5: PUSH2 0x13fc
000023e8: JUMP
000023e9: JUMPDEST
000023ea: PUSH1 0x60
000023ec: PUSH1 0x37
000023ee: DUP1
000023ef: SLOAD
000023f0: PUSH2 0x111f
000023f3: SWAP1
000023f4: PUSH2 0x474d
000023f7: JUMP
000023f8: JUMPDEST
000023f9: CALLER
000023fa: PUSH1 0x00
000023fc: SWAP1
000023fd: DUP2
000023fe: MSTORE
000023ff: PUSH1 0x34
00002401: PUSH1 0x20
00002403: SWAP1
00002404: DUP2
00002405: MSTORE
00002406: PUSH1 0x40
00002408: DUP1
00002409: DUP4
0000240a: KECCAK256
0000240b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002420: DUP7
00002421: AND
00002422: DUP5
00002423: MSTORE
00002424: SWAP1
00002425: SWAP2
00002426: MSTORE
00002427: DUP2
00002428: KECCAK256
00002429: SLOAD
0000242a: DUP3
0000242b: DUP2
0000242c: LT
0000242d: ISZERO
0000242e: PUSH2 0x24b9
00002431: JUMPI
00002432: PUSH1 0x40
00002434: MLOAD
00002435: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002456: DUP2
00002457: MSTORE
00002458: PUSH1 0x20
0000245a: PUSH1 0x04
0000245c: DUP3
0000245d: ADD
0000245e: MSTORE
0000245f: PUSH1 0x25
00002461: PUSH1 0x24
00002463: DUP3
00002464: ADD
00002465: MSTORE
00002466: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00002487: PUSH1 0x44
00002489: DUP3
0000248a: ADD
0000248b: MSTORE
0000248c: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000
000024ad: PUSH1 0x64
000024af: DUP3
000024b0: ADD
000024b1: MSTORE
000024b2: PUSH1 0x84
000024b4: ADD
000024b5: PUSH2 0x0b9a
000024b8: JUMP
000024b9: JUMPDEST
000024ba: PUSH2 0x24c6
000024bd: CALLER
000024be: DUP6
000024bf: DUP6
000024c0: DUP5
000024c1: SUB
000024c2: PUSH2 0x2a46
000024c5: JUMP
000024c6: JUMPDEST
000024c7: POP
000024c8: PUSH1 0x01
000024ca: SWAP4
000024cb: SWAP3
000024cc: POP
000024cd: POP
000024ce: POP
000024cf: JUMP
000024d0: JUMPDEST
000024d1: PUSH1 0x00
000024d3: PUSH2 0x11af
000024d6: CALLER
000024d7: DUP5
000024d8: DUP5
000024d9: PUSH2 0x2c96
000024dc: JUMP
000024dd: JUMPDEST
000024de: PUSH1 0x40
000024e0: MLOAD
000024e1: PUSH32 0xb780845a00000000000000000000000000000000000000000000000000000000
00002502: DUP2
00002503: MSTORE
00002504: PUSH1 0x97
00002506: PUSH1 0x04
00002508: DUP3
00002509: ADD
0000250a: MSTORE
0000250b: PUSH20 0x1ca1f575712668e6288604922a72dd1fb7d1c91f
00002520: SWAP1
00002521: PUSH4 0xb780845a
00002526: SWAP1
00002527: PUSH1 0x24
00002529: ADD
0000252a: PUSH2 0x13fc
0000252d: JUMP
0000252e: JUMPDEST
0000252f: PUSH2 0x2536
00002532: PUSH2 0x0b2c
00002535: JUMP
00002536: JUMPDEST
00002537: PUSH2 0x204b
0000253a: CALLER
0000253b: PUSH2 0x1fd0
0000253e: JUMP
0000253f: JUMPDEST
00002540: PUSH2 0x2547
00002543: PUSH2 0x2bf9
00002546: JUMP
00002547: JUMPDEST
00002548: PUSH2 0x0135
0000254b: DUP1
0000254c: SLOAD
0000254d: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000256e: AND
0000256f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002584: DUP4
00002585: AND
00002586: SWAP1
00002587: DUP2
00002588: OR
00002589: SWAP1
0000258a: SWAP2
0000258b: SSTORE
0000258c: TIMESTAMP
0000258d: PUSH2 0x0136
00002590: SSTORE
00002591: PUSH1 0x40
00002593: MLOAD
00002594: SWAP1
00002595: DUP2
00002596: MSTORE
00002597: PUSH32 0x8ddc9aa7b538ef74fb9f825a27578614d8cd88e4062392c6613d2d65ed987d76
000025b8: SWAP1
000025b9: PUSH1 0x20
000025bb: ADD
000025bc: PUSH2 0x1f67
000025bf: JUMP
000025c0: JUMPDEST
000025c1: PUSH2 0x0131
000025c4: SLOAD
000025c5: PUSH2 0x0193
000025c8: SLOAD
000025c9: PUSH2 0x25e8
000025cc: SWAP2
000025cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e2: AND
000025e3: SWAP1
000025e4: PUSH2 0x2869
000025e7: JUMP
000025e8: JUMPDEST
000025e9: PUSH1 0x00
000025eb: PUSH2 0x012e
000025ee: SLOAD
000025ef: PUSH1 0x02
000025f1: PUSH2 0x25fa
000025f4: SWAP2
000025f5: SWAP1
000025f6: PUSH2 0x4175
000025f9: JUMP
000025fa: JUMPDEST
000025fb: SWAP1
000025fc: POP
000025fd: PUSH2 0x0194
00002600: SLOAD
00002601: PUSH2 0x012e
00002604: SLOAD
00002605: LT
00002606: ISZERO
00002607: PUSH2 0x261a
0000260a: JUMPI
0000260b: PUSH2 0x2617
0000260e: PUSH2 0x0194
00002611: SLOAD
00002612: DUP3
00002613: PUSH2 0x330d
00002616: JUMP
00002617: JUMPDEST
00002618: SWAP1
00002619: POP
0000261a: JUMPDEST
0000261b: PUSH2 0x0131
0000261e: SLOAD
0000261f: PUSH2 0x0193
00002622: SLOAD
00002623: PUSH2 0x2652
00002626: SWAP2
00002627: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000263c: AND
0000263d: SWAP1
0000263e: DUP2
0000263f: PUSH2 0x264c
00002642: TIMESTAMP
00002643: PUSH4 0xbbf81e00
00002648: PUSH2 0x47a1
0000264b: JUMP
0000264c: JUMPDEST
0000264d: DUP6
0000264e: PUSH2 0x3323
00002651: JUMP
00002652: JUMPDEST
00002653: POP
00002654: PUSH1 0x00
00002656: PUSH2 0x0193
00002659: SSTORE
0000265a: JUMP
0000265b: JUMPDEST
0000265c: PUSH2 0x2663
0000265f: PUSH2 0x2bf9
00002662: JUMP
00002663: JUMPDEST
00002664: PUSH2 0x0130
00002667: SLOAD
00002668: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000267d: DUP4
0000267e: DUP2
0000267f: AND
00002680: SWAP2
00002681: AND
00002682: EQ
00002683: PUSH2 0x26fe
00002686: JUMPI
00002687: PUSH2 0x0130
0000268a: DUP1
0000268b: SLOAD
0000268c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000026ad: AND
000026ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026c3: DUP5
000026c4: AND
000026c5: SWAP1
000026c6: DUP2
000026c7: OR
000026c8: SWAP1
000026c9: SWAP2
000026ca: SSTORE
000026cb: PUSH1 0x40
000026cd: MLOAD
000026ce: SWAP1
000026cf: DUP2
000026d0: MSTORE
000026d1: PUSH32 0x65471ffa062886c0ed6042930111f88407d44de69ad07265ea70b643ac2f4a0e
000026f2: SWAP1
000026f3: PUSH1 0x20
000026f5: ADD
000026f6: PUSH1 0x40
000026f8: MLOAD
000026f9: DUP1
000026fa: SWAP2
000026fb: SUB
000026fc: SWAP1
000026fd: LOG1
000026fe: JUMPDEST
000026ff: PUSH2 0x0131
00002702: SLOAD
00002703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002718: DUP3
00002719: DUP2
0000271a: AND
0000271b: SWAP2
0000271c: AND
0000271d: EQ
0000271e: PUSH2 0x10e8
00002721: JUMPI
00002722: PUSH2 0x0131
00002725: DUP1
00002726: SLOAD
00002727: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002748: AND
00002749: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000275e: DUP4
0000275f: AND
00002760: SWAP1
00002761: DUP2
00002762: OR
00002763: SWAP1
00002764: SWAP2
00002765: SSTORE
00002766: PUSH1 0x40
00002768: MLOAD
00002769: SWAP1
0000276a: DUP2
0000276b: MSTORE
0000276c: PUSH32 0x1e351d33bbd07e26419fdedde7a0dbede9042e8a85ed197a8cbc2842af32195e
0000278d: SWAP1
0000278e: PUSH1 0x20
00002790: ADD
00002791: PUSH2 0x10df
00002794: JUMP
00002795: JUMPDEST
00002796: PUSH2 0x0130
00002799: SLOAD
0000279a: PUSH2 0x0192
0000279d: SLOAD
0000279e: PUSH2 0x27bd
000027a1: SWAP2
000027a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027b7: AND
000027b8: SWAP1
000027b9: PUSH2 0x2869
000027bc: JUMP
000027bd: JUMPDEST
000027be: PUSH2 0x0130
000027c1: SLOAD
000027c2: PUSH2 0x0192
000027c5: SLOAD
000027c6: PUSH2 0x2803
000027c9: SWAP2
000027ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027df: AND
000027e0: SWAP1
000027e1: DUP2
000027e2: PUSH2 0x27ef
000027e5: TIMESTAMP
000027e6: PUSH4 0x01e13380
000027eb: PUSH2 0x47a1
000027ee: JUMP
000027ef: JUMPDEST
000027f0: PUSH2 0x012e
000027f3: SLOAD
000027f4: PUSH2 0x27fe
000027f7: SWAP1
000027f8: PUSH1 0x02
000027fa: PUSH2 0x4175
000027fd: JUMP
000027fe: JUMPDEST
000027ff: PUSH2 0x3323
00002802: JUMP
00002803: JUMPDEST
00002804: PUSH1 0x00
00002806: PUSH2 0x0192
00002809: SSTORE
0000280a: JUMP
0000280b: JUMPDEST
0000280c: PUSH2 0x1428
0000280f: CALLER
00002810: DUP6
00002811: DUP6
00002812: DUP6
00002813: DUP6
00002814: PUSH2 0x3323
00002817: JUMP
00002818: JUMPDEST
00002819: PUSH1 0x40
0000281b: MLOAD
0000281c: PUSH32 0x7eb9821200000000000000000000000000000000000000000000000000000000
0000283d: DUP2
0000283e: MSTORE
0000283f: PUSH1 0x98
00002841: PUSH1 0x04
00002843: DUP3
00002844: ADD
00002845: MSTORE
00002846: PUSH20 0x1ca1f575712668e6288604922a72dd1fb7d1c91f
0000285b: SWAP1
0000285c: PUSH4 0x7eb98212
00002861: SWAP1
00002862: PUSH1 0x24
00002864: ADD
00002865: PUSH2 0x13fc
00002868: JUMP
00002869: JUMPDEST
0000286a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000287f: DUP3
00002880: AND
00002881: PUSH2 0x28e6
00002884: JUMPI
00002885: PUSH1 0x40
00002887: MLOAD
00002888: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028a9: DUP2
000028aa: MSTORE
000028ab: PUSH1 0x20
000028ad: PUSH1 0x04
000028af: DUP3
000028b0: ADD
000028b1: MSTORE
000028b2: PUSH1 0x1f
000028b4: PUSH1 0x24
000028b6: DUP3
000028b7: ADD
000028b8: MSTORE
000028b9: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
000028da: PUSH1 0x44
000028dc: DUP3
000028dd: ADD
000028de: MSTORE
000028df: PUSH1 0x64
000028e1: ADD
000028e2: PUSH2 0x0b9a
000028e5: JUMP
000028e6: JUMPDEST
000028e7: DUP1
000028e8: PUSH1 0x35
000028ea: PUSH1 0x00
000028ec: DUP3
000028ed: DUP3
000028ee: SLOAD
000028ef: PUSH2 0x28f8
000028f2: SWAP2
000028f3: SWAP1
000028f4: PUSH2 0x47a1
000028f7: JUMP
000028f8: JUMPDEST
000028f9: SWAP1
000028fa: SWAP2
000028fb: SSTORE
000028fc: POP
000028fd: POP
000028fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002913: DUP3
00002914: AND
00002915: PUSH1 0x00
00002917: SWAP1
00002918: DUP2
00002919: MSTORE
0000291a: PUSH1 0x33
0000291c: PUSH1 0x20
0000291e: MSTORE
0000291f: PUSH1 0x40
00002921: DUP2
00002922: KECCAK256
00002923: DUP1
00002924: SLOAD
00002925: DUP4
00002926: SWAP3
00002927: SWAP1
00002928: PUSH2 0x2932
0000292b: SWAP1
0000292c: DUP5
0000292d: SWAP1
0000292e: PUSH2 0x47a1
00002931: JUMP
00002932: JUMPDEST
00002933: SWAP1
00002934: SWAP2
00002935: SSTORE
00002936: POP
00002937: POP
00002938: PUSH1 0x40
0000293a: MLOAD
0000293b: DUP2
0000293c: DUP2
0000293d: MSTORE
0000293e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002953: DUP4
00002954: AND
00002955: SWAP1
00002956: PUSH1 0x00
00002958: SWAP1
00002959: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000297a: SWAP1
0000297b: PUSH1 0x20
0000297d: ADD
0000297e: PUSH1 0x40
00002980: MLOAD
00002981: DUP1
00002982: SWAP2
00002983: SUB
00002984: SWAP1
00002985: LOG3
00002986: POP
00002987: POP
00002988: JUMP
00002989: JUMPDEST
0000298a: DUP1
0000298b: PUSH2 0x0192
0000298e: PUSH1 0x00
00002990: DUP3
00002991: DUP3
00002992: SLOAD
00002993: PUSH2 0x299c
00002996: SWAP2
00002997: SWAP1
00002998: PUSH2 0x47a1
0000299b: JUMP
0000299c: JUMPDEST
0000299d: SWAP1
0000299e: SWAP2
0000299f: SSTORE
000029a0: POP
000029a1: POP
000029a2: PUSH2 0x0192
000029a5: SLOAD
000029a6: PUSH10 0x021e19e0c9bab2400000
000029b1: LT
000029b2: ISZERO
000029b3: PUSH2 0x2055
000029b6: JUMPI
000029b7: PUSH2 0x2055
000029ba: PUSH2 0x2795
000029bd: JUMP
000029be: JUMPDEST
000029bf: DUP1
000029c0: PUSH2 0x0193
000029c3: PUSH1 0x00
000029c5: DUP3
000029c6: DUP3
000029c7: SLOAD
000029c8: PUSH2 0x29d1
000029cb: SWAP2
000029cc: SWAP1
000029cd: PUSH2 0x47a1
000029d0: JUMP
000029d1: JUMPDEST
000029d2: SWAP1
000029d3: SWAP2
000029d4: SSTORE
000029d5: POP
000029d6: POP
000029d7: PUSH2 0x0193
000029da: SLOAD
000029db: PUSH10 0x021e19e0c9bab2400000
000029e6: LT
000029e7: ISZERO
000029e8: PUSH2 0x2055
000029eb: JUMPI
000029ec: PUSH2 0x2055
000029ef: PUSH2 0x25c0
000029f2: JUMP
000029f3: JUMPDEST
000029f4: PUSH1 0x00
000029f6: PUSH2 0x150f
000029f9: DUP4
000029fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a0f: DUP5
00002a10: AND
00002a11: PUSH2 0x3404
00002a14: JUMP
00002a15: JUMPDEST
00002a16: PUSH1 0x00
00002a18: PUSH2 0x150f
00002a1b: DUP4
00002a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a31: DUP5
00002a32: AND
00002a33: PUSH2 0x34f7
00002a36: JUMP
00002a37: JUMPDEST
00002a38: PUSH1 0x60
00002a3a: PUSH1 0x36
00002a3c: DUP1
00002a3d: SLOAD
00002a3e: PUSH2 0x111f
00002a41: SWAP1
00002a42: PUSH2 0x474d
00002a45: JUMP
00002a46: JUMPDEST
00002a47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a5c: DUP4
00002a5d: AND
00002a5e: PUSH2 0x2ae8
00002a61: JUMPI
00002a62: PUSH1 0x40
00002a64: MLOAD
00002a65: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a86: DUP2
00002a87: MSTORE
00002a88: PUSH1 0x20
00002a8a: PUSH1 0x04
00002a8c: DUP3
00002a8d: ADD
00002a8e: MSTORE
00002a8f: PUSH1 0x24
00002a91: DUP1
00002a92: DUP3
00002a93: ADD
00002a94: MSTORE
00002a95: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00002ab6: PUSH1 0x44
00002ab8: DUP3
00002ab9: ADD
00002aba: MSTORE
00002abb: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00002adc: PUSH1 0x64
00002ade: DUP3
00002adf: ADD
00002ae0: MSTORE
00002ae1: PUSH1 0x84
00002ae3: ADD
00002ae4: PUSH2 0x0b9a
00002ae7: JUMP
00002ae8: JUMPDEST
00002ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002afe: DUP3
00002aff: AND
00002b00: PUSH2 0x2b8b
00002b03: JUMPI
00002b04: PUSH1 0x40
00002b06: MLOAD
00002b07: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b28: DUP2
00002b29: MSTORE
00002b2a: PUSH1 0x20
00002b2c: PUSH1 0x04
00002b2e: DUP3
00002b2f: ADD
00002b30: MSTORE
00002b31: PUSH1 0x22
00002b33: PUSH1 0x24
00002b35: DUP3
00002b36: ADD
00002b37: MSTORE
00002b38: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002b59: PUSH1 0x44
00002b5b: DUP3
00002b5c: ADD
00002b5d: MSTORE
00002b5e: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00002b7f: PUSH1 0x64
00002b81: DUP3
00002b82: ADD
00002b83: MSTORE
00002b84: PUSH1 0x84
00002b86: ADD
00002b87: PUSH2 0x0b9a
00002b8a: JUMP
00002b8b: JUMPDEST
00002b8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ba1: DUP4
00002ba2: DUP2
00002ba3: AND
00002ba4: PUSH1 0x00
00002ba6: DUP2
00002ba7: DUP2
00002ba8: MSTORE
00002ba9: PUSH1 0x34
00002bab: PUSH1 0x20
00002bad: SWAP1
00002bae: DUP2
00002baf: MSTORE
00002bb0: PUSH1 0x40
00002bb2: DUP1
00002bb3: DUP4
00002bb4: KECCAK256
00002bb5: SWAP5
00002bb6: DUP8
00002bb7: AND
00002bb8: DUP1
00002bb9: DUP5
00002bba: MSTORE
00002bbb: SWAP5
00002bbc: DUP3
00002bbd: MSTORE
00002bbe: SWAP2
00002bbf: DUP3
00002bc0: SWAP1
00002bc1: KECCAK256
00002bc2: DUP6
00002bc3: SWAP1
00002bc4: SSTORE
00002bc5: SWAP1
00002bc6: MLOAD
00002bc7: DUP5
00002bc8: DUP2
00002bc9: MSTORE
00002bca: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002beb: SWAP2
00002bec: ADD
00002bed: PUSH1 0x40
00002bef: MLOAD
00002bf0: DUP1
00002bf1: SWAP2
00002bf2: SUB
00002bf3: SWAP1
00002bf4: LOG3
00002bf5: POP
00002bf6: POP
00002bf7: POP
00002bf8: JUMP
00002bf9: JUMPDEST
00002bfa: PUSH2 0x012f
00002bfd: SLOAD
00002bfe: PUSH2 0x0100
00002c01: SWAP1
00002c02: DIV
00002c03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c18: AND
00002c19: CALLER
00002c1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c2f: AND
00002c30: EQ
00002c31: PUSH2 0x0ba3
00002c34: JUMPI
00002c35: PUSH1 0x40
00002c37: MLOAD
00002c38: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c59: DUP2
00002c5a: MSTORE
00002c5b: PUSH1 0x20
00002c5d: PUSH1 0x04
00002c5f: DUP3
00002c60: ADD
00002c61: MSTORE
00002c62: PUSH1 0x0f
00002c64: PUSH1 0x24
00002c66: DUP3
00002c67: ADD
00002c68: MSTORE
00002c69: PUSH32 0x6f6e6c79206d61696e7461696e65720000000000000000000000000000000000
00002c8a: PUSH1 0x44
00002c8c: DUP3
00002c8d: ADD
00002c8e: MSTORE
00002c8f: PUSH1 0x64
00002c91: ADD
00002c92: PUSH2 0x0b9a
00002c95: JUMP
00002c96: JUMPDEST
00002c97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cac: DUP4
00002cad: AND
00002cae: PUSH2 0x2d39
00002cb1: JUMPI
00002cb2: PUSH1 0x40
00002cb4: MLOAD
00002cb5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002cd6: DUP2
00002cd7: MSTORE
00002cd8: PUSH1 0x20
00002cda: PUSH1 0x04
00002cdc: DUP3
00002cdd: ADD
00002cde: MSTORE
00002cdf: PUSH1 0x25
00002ce1: PUSH1 0x24
00002ce3: DUP3
00002ce4: ADD
00002ce5: MSTORE
00002ce6: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00002d07: PUSH1 0x44
00002d09: DUP3
00002d0a: ADD
00002d0b: MSTORE
00002d0c: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00002d2d: PUSH1 0x64
00002d2f: DUP3
00002d30: ADD
00002d31: MSTORE
00002d32: PUSH1 0x84
00002d34: ADD
00002d35: PUSH2 0x0b9a
00002d38: JUMP
00002d39: JUMPDEST
00002d3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d4f: DUP3
00002d50: AND
00002d51: PUSH2 0x2ddc
00002d54: JUMPI
00002d55: PUSH1 0x40
00002d57: MLOAD
00002d58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d79: DUP2
00002d7a: MSTORE
00002d7b: PUSH1 0x20
00002d7d: PUSH1 0x04
00002d7f: DUP3
00002d80: ADD
00002d81: MSTORE
00002d82: PUSH1 0x23
00002d84: PUSH1 0x24
00002d86: DUP3
00002d87: ADD
00002d88: MSTORE
00002d89: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00002daa: PUSH1 0x44
00002dac: DUP3
00002dad: ADD
00002dae: MSTORE
00002daf: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
00002dd0: PUSH1 0x64
00002dd2: DUP3
00002dd3: ADD
00002dd4: MSTORE
00002dd5: PUSH1 0x84
00002dd7: ADD
00002dd8: PUSH2 0x0b9a
00002ddb: JUMP
00002ddc: JUMPDEST
00002ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002df2: DUP4
00002df3: AND
00002df4: PUSH1 0x00
00002df6: SWAP1
00002df7: DUP2
00002df8: MSTORE
00002df9: PUSH1 0x33
00002dfb: PUSH1 0x20
00002dfd: MSTORE
00002dfe: PUSH1 0x40
00002e00: SWAP1
00002e01: KECCAK256
00002e02: SLOAD
00002e03: DUP2
00002e04: DUP2
00002e05: LT
00002e06: ISZERO
00002e07: PUSH2 0x2e92
00002e0a: JUMPI
00002e0b: PUSH1 0x40
00002e0d: MLOAD
00002e0e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e2f: DUP2
00002e30: MSTORE
00002e31: PUSH1 0x20
00002e33: PUSH1 0x04
00002e35: DUP3
00002e36: ADD
00002e37: MSTORE
00002e38: PUSH1 0x26
00002e3a: PUSH1 0x24
00002e3c: DUP3
00002e3d: ADD
00002e3e: MSTORE
00002e3f: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
00002e60: PUSH1 0x44
00002e62: DUP3
00002e63: ADD
00002e64: MSTORE
00002e65: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000
00002e86: PUSH1 0x64
00002e88: DUP3
00002e89: ADD
00002e8a: MSTORE
00002e8b: PUSH1 0x84
00002e8d: ADD
00002e8e: PUSH2 0x0b9a
00002e91: JUMP
00002e92: JUMPDEST
00002e93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ea8: DUP1
00002ea9: DUP6
00002eaa: AND
00002eab: PUSH1 0x00
00002ead: SWAP1
00002eae: DUP2
00002eaf: MSTORE
00002eb0: PUSH1 0x33
00002eb2: PUSH1 0x20
00002eb4: MSTORE
00002eb5: PUSH1 0x40
00002eb7: DUP1
00002eb8: DUP3
00002eb9: KECCAK256
00002eba: DUP6
00002ebb: DUP6
00002ebc: SUB
00002ebd: SWAP1
00002ebe: SSTORE
00002ebf: SWAP2
00002ec0: DUP6
00002ec1: AND
00002ec2: DUP2
00002ec3: MSTORE
00002ec4: SWAP1
00002ec5: DUP2
00002ec6: KECCAK256
00002ec7: DUP1
00002ec8: SLOAD
00002ec9: DUP5
00002eca: SWAP3
00002ecb: SWAP1
00002ecc: PUSH2 0x2ed6
00002ecf: SWAP1
00002ed0: DUP5
00002ed1: SWAP1
00002ed2: PUSH2 0x47a1
00002ed5: JUMP
00002ed6: JUMPDEST
00002ed7: SWAP3
00002ed8: POP
00002ed9: POP
00002eda: DUP2
00002edb: SWAP1
00002edc: SSTORE
00002edd: POP
00002ede: DUP3
00002edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ef4: AND
00002ef5: DUP5
00002ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f0b: AND
00002f0c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002f2d: DUP5
00002f2e: PUSH1 0x40
00002f30: MLOAD
00002f31: PUSH2 0x2f3c
00002f34: SWAP2
00002f35: DUP2
00002f36: MSTORE
00002f37: PUSH1 0x20
00002f39: ADD
00002f3a: SWAP1
00002f3b: JUMP
00002f3c: JUMPDEST
00002f3d: PUSH1 0x40
00002f3f: MLOAD
00002f40: DUP1
00002f41: SWAP2
00002f42: SUB
00002f43: SWAP1
00002f44: LOG3
00002f45: PUSH2 0x1428
00002f48: JUMP
00002f49: JUMPDEST
00002f4a: PUSH2 0x012f
00002f4d: SLOAD
00002f4e: PUSH1 0xff
00002f50: AND
00002f51: ISZERO
00002f52: ISZERO
00002f53: DUP5
00002f54: ISZERO
00002f55: ISZERO
00002f56: EQ
00002f57: PUSH2 0x2fbe
00002f5a: JUMPI
00002f5b: PUSH2 0x012f
00002f5e: DUP1
00002f5f: SLOAD
00002f60: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002f81: AND
00002f82: DUP6
00002f83: ISZERO
00002f84: ISZERO
00002f85: SWAP1
00002f86: DUP2
00002f87: OR
00002f88: SWAP1
00002f89: SWAP2
00002f8a: SSTORE
00002f8b: PUSH1 0x40
00002f8d: MLOAD
00002f8e: SWAP1
00002f8f: DUP2
00002f90: MSTORE
00002f91: PUSH32 0xf902f5341bc357e7e4c3eb07d7c87c13f6def33d21b74abab6552905697b0d8e
00002fb2: SWAP1
00002fb3: PUSH1 0x20
00002fb5: ADD
00002fb6: PUSH1 0x40
00002fb8: MLOAD
00002fb9: DUP1
00002fba: SWAP2
00002fbb: SUB
00002fbc: SWAP1
00002fbd: LOG1
00002fbe: JUMPDEST
00002fbf: PUSH2 0x012f
00002fc2: SLOAD
00002fc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fd8: DUP5
00002fd9: DUP2
00002fda: AND
00002fdb: PUSH2 0x0100
00002fde: SWAP1
00002fdf: SWAP3
00002fe0: DIV
00002fe1: AND
00002fe2: EQ
00002fe3: PUSH2 0x30a0
00002fe6: JUMPI
00002fe7: PUSH2 0x3021
00002fea: PUSH2 0x0132
00002fed: DUP1
00002fee: SLOAD
00002fef: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00003010: SWAP1
00003011: DUP2
00003012: AND
00003013: SWAP1
00003014: SWAP2
00003015: SSTORE
00003016: PUSH2 0x0135
00003019: DUP1
0000301a: SLOAD
0000301b: SWAP1
0000301c: SWAP2
0000301d: AND
0000301e: SWAP1
0000301f: SSTORE
00003020: JUMP
00003021: JUMPDEST
00003022: PUSH2 0x012f
00003025: DUP1
00003026: SLOAD
00003027: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff
00003048: AND
00003049: PUSH2 0x0100
0000304c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003061: DUP7
00003062: AND
00003063: SWAP1
00003064: DUP2
00003065: MUL
00003066: SWAP2
00003067: SWAP1
00003068: SWAP2
00003069: OR
0000306a: SWAP1
0000306b: SWAP2
0000306c: SSTORE
0000306d: PUSH1 0x40
0000306f: MLOAD
00003070: SWAP1
00003071: DUP2
00003072: MSTORE
00003073: PUSH32 0x067b766f847c06e1d3c92e98ec218fd1b5cf977b202405c0384e6bf5f1299462
00003094: SWAP1
00003095: PUSH1 0x20
00003097: ADD
00003098: PUSH1 0x40
0000309a: MLOAD
0000309b: DUP1
0000309c: SWAP2
0000309d: SUB
0000309e: SWAP1
0000309f: LOG1
000030a0: JUMPDEST
000030a1: PUSH2 0x012f
000030a4: SLOAD
000030a5: PUSH1 0xff
000030a7: AND
000030a8: ISZERO
000030a9: PUSH2 0x1428
000030ac: JUMPI
000030ad: PUSH2 0x30b6
000030b0: DUP3
000030b1: DUP3
000030b2: PUSH2 0x3546
000030b5: JUMP
000030b6: JUMPDEST
000030b7: PUSH2 0x1428
000030ba: DUP3
000030bb: DUP3
000030bc: PUSH2 0x3767
000030bf: JUMP
000030c0: JUMPDEST
000030c1: PUSH2 0x0f6f
000030c4: DUP4
000030c5: DUP4
000030c6: DUP4
000030c7: PUSH2 0x2c96
000030ca: JUMP
000030cb: JUMPDEST
000030cc: PUSH1 0x00
000030ce: PUSH2 0x30fe
000030d1: PUSH2 0x30fb
000030d4: PUSH1 0x01
000030d6: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbd
000030f7: PUSH2 0x48a6
000030fa: JUMP
000030fb: JUMPDEST
000030fc: SWAP1
000030fd: JUMP
000030fe: JUMPDEST
000030ff: SLOAD
00003100: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003115: AND
00003116: SWAP2
00003117: SWAP1
00003118: POP
00003119: JUMP
0000311a: JUMPDEST
0000311b: PUSH1 0x00
0000311d: SLOAD
0000311e: PUSH2 0x0100
00003121: SWAP1
00003122: DIV
00003123: PUSH1 0xff
00003125: AND
00003126: PUSH2 0x3135
00003129: JUMPI
0000312a: PUSH1 0x00
0000312c: SLOAD
0000312d: PUSH1 0xff
0000312f: AND
00003130: ISZERO
00003131: PUSH2 0x3139
00003134: JUMP
00003135: JUMPDEST
00003136: ADDRESS
00003137: EXTCODESIZE
00003138: ISZERO
00003139: JUMPDEST
0000313a: PUSH2 0x31c5
0000313d: JUMPI
0000313e: PUSH1 0x40
00003140: MLOAD
00003141: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003162: DUP2
00003163: MSTORE
00003164: PUSH1 0x20
00003166: PUSH1 0x04
00003168: DUP3
00003169: ADD
0000316a: MSTORE
0000316b: PUSH1 0x2e
0000316d: PUSH1 0x24
0000316f: DUP3
00003170: ADD
00003171: MSTORE
00003172: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00003193: PUSH1 0x44
00003195: DUP3
00003196: ADD
00003197: MSTORE
00003198: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
000031b9: PUSH1 0x64
000031bb: DUP3
000031bc: ADD
000031bd: MSTORE
000031be: PUSH1 0x84
000031c0: ADD
000031c1: PUSH2 0x0b9a
000031c4: JUMP
000031c5: JUMPDEST
000031c6: PUSH1 0x00
000031c8: SLOAD
000031c9: PUSH2 0x0100
000031cc: SWAP1
000031cd: DIV
000031ce: PUSH1 0xff
000031d0: AND
000031d1: ISZERO
000031d2: DUP1
000031d3: ISZERO
000031d4: PUSH2 0x3204
000031d7: JUMPI
000031d8: PUSH1 0x00
000031da: DUP1
000031db: SLOAD
000031dc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000
000031fd: AND
000031fe: PUSH2 0x0101
00003201: OR
00003202: SWAP1
00003203: SSTORE
00003204: JUMPDEST
00003205: PUSH2 0x320c
00003208: PUSH2 0x1eac
0000320b: JUMP
0000320c: JUMPDEST
0000320d: PUSH1 0x65
0000320f: SLOAD
00003210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003225: SWAP1
00003226: DUP2
00003227: AND
00003228: SWAP2
00003229: AND
0000322a: EQ
0000322b: ISZERO
0000322c: PUSH2 0x3291
0000322f: JUMPI
00003230: PUSH1 0x40
00003232: MLOAD
00003233: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003254: DUP2
00003255: MSTORE
00003256: PUSH1 0x20
00003258: PUSH1 0x04
0000325a: DUP3
0000325b: ADD
0000325c: MSTORE
0000325d: PUSH1 0x10
0000325f: PUSH1 0x24
00003261: DUP3
00003262: ADD
00003263: MSTORE
00003264: PUSH32 0x616c726561647920757067726164656400000000000000000000000000000000
00003285: PUSH1 0x44
00003287: DUP3
00003288: ADD
00003289: MSTORE
0000328a: PUSH1 0x64
0000328c: ADD
0000328d: PUSH2 0x0b9a
00003290: JUMP
00003291: JUMPDEST
00003292: PUSH2 0x3305
00003295: PUSH1 0x40
00003297: MLOAD
00003298: DUP1
00003299: PUSH1 0x40
0000329b: ADD
0000329c: PUSH1 0x40
0000329e: MSTORE
0000329f: DUP1
000032a0: PUSH1 0x15
000032a2: DUP2
000032a3: MSTORE
000032a4: PUSH1 0x20
000032a6: ADD
000032a7: PUSH32 0x546f6f6e20546f6b656e2028546f6f6e436f696e290000000000000000000000
000032c8: DUP2
000032c9: MSTORE
000032ca: POP
000032cb: PUSH1 0x40
000032cd: MLOAD
000032ce: DUP1
000032cf: PUSH1 0x40
000032d1: ADD
000032d2: PUSH1 0x40
000032d4: MSTORE
000032d5: DUP1
000032d6: PUSH1 0x04
000032d8: DUP2
000032d9: MSTORE
000032da: PUSH1 0x20
000032dc: ADD
000032dd: PUSH32 0x544f4f4e00000000000000000000000000000000000000000000000000000000
000032fe: DUP2
000032ff: MSTORE
00003300: POP
00003301: PUSH2 0x38d6
00003304: JUMP
00003305: JUMPDEST
00003306: PUSH2 0x231a
00003309: PUSH2 0x397f
0000330c: JUMP
0000330d: JUMPDEST
0000330e: PUSH1 0x00
00003310: DUP2
00003311: DUP4
00003312: LT
00003313: PUSH2 0x331c
00003316: JUMPI
00003317: DUP2
00003318: PUSH2 0x150f
0000331b: JUMP
0000331c: JUMPDEST
0000331d: POP
0000331e: SWAP1
0000331f: SWAP2
00003320: SWAP1
00003321: POP
00003322: JUMP
00003323: JUMPDEST
00003324: PUSH2 0x332e
00003327: DUP6
00003328: ADDRESS
00003329: DUP7
0000332a: PUSH2 0x30c0
0000332d: JUMP
0000332e: JUMPDEST
0000332f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003344: DUP4
00003345: AND
00003346: PUSH1 0x00
00003348: SWAP1
00003349: DUP2
0000334a: MSTORE
0000334b: PUSH2 0x0160
0000334e: PUSH1 0x20
00003350: SWAP1
00003351: DUP2
00003352: MSTORE
00003353: PUSH1 0x40
00003355: DUP1
00003356: DUP4
00003357: KECCAK256
00003358: DUP6
00003359: DUP5
0000335a: MSTORE
0000335b: DUP3
0000335c: MSTORE
0000335d: DUP1
0000335e: DUP4
0000335f: KECCAK256
00003360: DUP5
00003361: DUP5
00003362: MSTORE
00003363: SWAP1
00003364: SWAP2
00003365: MSTORE
00003366: DUP2
00003367: KECCAK256
00003368: DUP1
00003369: SLOAD
0000336a: DUP7
0000336b: SWAP3
0000336c: SWAP1
0000336d: PUSH2 0x3377
00003370: SWAP1
00003371: DUP5
00003372: SWAP1
00003373: PUSH2 0x47a1
00003376: JUMP
00003377: JUMPDEST
00003378: SWAP1
00003379: SWAP2
0000337a: SSTORE
0000337b: POP
0000337c: POP
0000337d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003392: DUP4
00003393: AND
00003394: PUSH1 0x00
00003396: DUP2
00003397: DUP2
00003398: MSTORE
00003399: PUSH2 0x0160
0000339c: PUSH1 0x20
0000339e: SWAP1
0000339f: DUP2
000033a0: MSTORE
000033a1: PUSH1 0x40
000033a3: DUP1
000033a4: DUP4
000033a5: KECCAK256
000033a6: DUP7
000033a7: DUP5
000033a8: MSTORE
000033a9: DUP3
000033aa: MSTORE
000033ab: DUP1
000033ac: DUP4
000033ad: KECCAK256
000033ae: DUP6
000033af: DUP5
000033b0: MSTORE
000033b1: DUP3
000033b2: MSTORE
000033b3: SWAP2
000033b4: DUP3
000033b5: SWAP1
000033b6: KECCAK256
000033b7: SLOAD
000033b8: DUP3
000033b9: MLOAD
000033ba: SWAP1
000033bb: DUP2
000033bc: MSTORE
000033bd: SWAP1
000033be: DUP2
000033bf: ADD
000033c0: SWAP3
000033c1: SWAP1
000033c2: SWAP3
000033c3: MSTORE
000033c4: DUP2
000033c5: ADD
000033c6: DUP4
000033c7: SWAP1
000033c8: MSTORE
000033c9: PUSH1 0x60
000033cb: DUP2
000033cc: ADD
000033cd: DUP3
000033ce: SWAP1
000033cf: MSTORE
000033d0: PUSH32 0xf5d236fbb56744469091701bc1b8c5b6e7a148aeb979e13301d2fa4d494c71b9
000033f1: SWAP1
000033f2: PUSH1 0x80
000033f4: ADD
000033f5: JUMPDEST
000033f6: PUSH1 0x40
000033f8: MLOAD
000033f9: DUP1
000033fa: SWAP2
000033fb: SUB
000033fc: SWAP1
000033fd: LOG1
000033fe: POP
000033ff: POP
00003400: POP
00003401: POP
00003402: POP
00003403: JUMP
00003404: JUMPDEST
00003405: PUSH1 0x00
00003407: DUP2
00003408: DUP2
00003409: MSTORE
0000340a: PUSH1 0x01
0000340c: DUP4
0000340d: ADD
0000340e: PUSH1 0x20
00003410: MSTORE
00003411: PUSH1 0x40
00003413: DUP2
00003414: KECCAK256
00003415: SLOAD
00003416: DUP1
00003417: ISZERO
00003418: PUSH2 0x34ed
0000341b: JUMPI
0000341c: PUSH1 0x00
0000341e: PUSH2 0x3428
00003421: PUSH1 0x01
00003423: DUP4
00003424: PUSH2 0x48a6
00003427: JUMP
00003428: JUMPDEST
00003429: DUP6
0000342a: SLOAD
0000342b: SWAP1
0000342c: SWAP2
0000342d: POP
0000342e: PUSH1 0x00
00003430: SWAP1
00003431: PUSH2 0x343c
00003434: SWAP1
00003435: PUSH1 0x01
00003437: SWAP1
00003438: PUSH2 0x48a6
0000343b: JUMP
0000343c: JUMPDEST
0000343d: SWAP1
0000343e: POP
0000343f: DUP2
00003440: DUP2
00003441: EQ
00003442: PUSH2 0x34a1
00003445: JUMPI
00003446: PUSH1 0x00
00003448: DUP7
00003449: PUSH1 0x00
0000344b: ADD
0000344c: DUP3
0000344d: DUP2
0000344e: SLOAD
0000344f: DUP2
00003450: LT
00003451: PUSH2 0x345c
00003454: JUMPI
00003455: PUSH2 0x345c
00003458: PUSH2 0x48bd
0000345b: JUMP
0000345c: JUMPDEST
0000345d: SWAP1
0000345e: PUSH1 0x00
00003460: MSTORE
00003461: PUSH1 0x20
00003463: PUSH1 0x00
00003465: KECCAK256
00003466: ADD
00003467: SLOAD
00003468: SWAP1
00003469: POP
0000346a: DUP1
0000346b: DUP8
0000346c: PUSH1 0x00
0000346e: ADD
0000346f: DUP5
00003470: DUP2
00003471: SLOAD
00003472: DUP2
00003473: LT
00003474: PUSH2 0x347f
00003477: JUMPI
00003478: PUSH2 0x347f
0000347b: PUSH2 0x48bd
0000347e: JUMP
0000347f: JUMPDEST
00003480: PUSH1 0x00
00003482: SWAP2
00003483: DUP3
00003484: MSTORE
00003485: PUSH1 0x20
00003487: DUP1
00003488: DUP4
00003489: KECCAK256
0000348a: SWAP1
0000348b: SWAP2
0000348c: ADD
0000348d: SWAP3
0000348e: SWAP1
0000348f: SWAP3
00003490: SSTORE
00003491: SWAP2
00003492: DUP3
00003493: MSTORE
00003494: PUSH1 0x01
00003496: DUP9
00003497: ADD
00003498: SWAP1
00003499: MSTORE
0000349a: PUSH1 0x40
0000349c: SWAP1
0000349d: KECCAK256
0000349e: DUP4
0000349f: SWAP1
000034a0: SSTORE
000034a1: JUMPDEST
000034a2: DUP6
000034a3: SLOAD
000034a4: DUP7
000034a5: SWAP1
000034a6: DUP1
000034a7: PUSH2 0x34b2
000034aa: JUMPI
000034ab: PUSH2 0x34b2
000034ae: PUSH2 0x48ec
000034b1: JUMP
000034b2: JUMPDEST
000034b3: PUSH1 0x01
000034b5: SWAP1
000034b6: SUB
000034b7: DUP2
000034b8: DUP2
000034b9: SWAP1
000034ba: PUSH1 0x00
000034bc: MSTORE
000034bd: PUSH1 0x20
000034bf: PUSH1 0x00
000034c1: KECCAK256
000034c2: ADD
000034c3: PUSH1 0x00
000034c5: SWAP1
000034c6: SSTORE
000034c7: SWAP1
000034c8: SSTORE
000034c9: DUP6
000034ca: PUSH1 0x01
000034cc: ADD
000034cd: PUSH1 0x00
000034cf: DUP7
000034d0: DUP2
000034d1: MSTORE
000034d2: PUSH1 0x20
000034d4: ADD
000034d5: SWAP1
000034d6: DUP2
000034d7: MSTORE
000034d8: PUSH1 0x20
000034da: ADD
000034db: PUSH1 0x00
000034dd: KECCAK256
000034de: PUSH1 0x00
000034e0: SWAP1
000034e1: SSTORE
000034e2: PUSH1 0x01
000034e4: SWAP4
000034e5: POP
000034e6: POP
000034e7: POP
000034e8: POP
000034e9: PUSH2 0x11b3
000034ec: JUMP
000034ed: JUMPDEST
000034ee: PUSH1 0x00
000034f0: SWAP2
000034f1: POP
000034f2: POP
000034f3: PUSH2 0x11b3
000034f6: JUMP
000034f7: JUMPDEST
000034f8: PUSH1 0x00
000034fa: DUP2
000034fb: DUP2
000034fc: MSTORE
000034fd: PUSH1 0x01
000034ff: DUP4
00003500: ADD
00003501: PUSH1 0x20
00003503: MSTORE
00003504: PUSH1 0x40
00003506: DUP2
00003507: KECCAK256
00003508: SLOAD
00003509: PUSH2 0x353e
0000350c: JUMPI
0000350d: POP
0000350e: DUP2
0000350f: SLOAD
00003510: PUSH1 0x01
00003512: DUP2
00003513: DUP2
00003514: ADD
00003515: DUP5
00003516: SSTORE
00003517: PUSH1 0x00
00003519: DUP5
0000351a: DUP2
0000351b: MSTORE
0000351c: PUSH1 0x20
0000351e: DUP1
0000351f: DUP3
00003520: KECCAK256
00003521: SWAP1
00003522: SWAP4
00003523: ADD
00003524: DUP5
00003525: SWAP1
00003526: SSTORE
00003527: DUP5
00003528: SLOAD
00003529: DUP5
0000352a: DUP3
0000352b: MSTORE
0000352c: DUP3
0000352d: DUP7
0000352e: ADD
0000352f: SWAP1
00003530: SWAP4
00003531: MSTORE
00003532: PUSH1 0x40
00003534: SWAP1
00003535: KECCAK256
00003536: SWAP2
00003537: SWAP1
00003538: SWAP2
00003539: SSTORE
0000353a: PUSH2 0x11b3
0000353d: JUMP
0000353e: JUMPDEST
0000353f: POP
00003540: PUSH1 0x00
00003542: PUSH2 0x11b3
00003545: JUMP
00003546: JUMPDEST
00003547: PUSH2 0x012f
0000354a: SLOAD
0000354b: PUSH1 0xff
0000354d: AND
0000354e: DUP1
0000354f: ISZERO
00003550: PUSH2 0x3571
00003553: JUMPI
00003554: POP
00003555: PUSH2 0x0132
00003558: SLOAD
00003559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000356e: AND
0000356f: ISZERO
00003570: ISZERO
00003571: JUMPDEST
00003572: DUP1
00003573: ISZERO
00003574: PUSH2 0x3618
00003577: JUMPI
00003578: POP
00003579: PUSH2 0x0134
0000357c: SLOAD
0000357d: PUSH1 0x40
0000357f: MLOAD
00003580: PUSH32 0x85eeb64100000000000000000000000000000000000000000000000000000000
000035a1: DUP2
000035a2: MSTORE
000035a3: PUSH1 0x04
000035a5: DUP2
000035a6: ADD
000035a7: SWAP2
000035a8: SWAP1
000035a9: SWAP2
000035aa: MSTORE
000035ab: PUSH1 0x24
000035ad: DUP2
000035ae: ADD
000035af: DUP4
000035b0: SWAP1
000035b1: MSTORE
000035b2: PUSH1 0x44
000035b4: DUP2
000035b5: ADD
000035b6: DUP3
000035b7: SWAP1
000035b8: MSTORE
000035b9: PUSH20 0x429b311db8057de958bfa58dfa7aeb67f74bb771
000035ce: SWAP1
000035cf: PUSH4 0x85eeb641
000035d4: SWAP1
000035d5: PUSH1 0x64
000035d7: ADD
000035d8: PUSH1 0x20
000035da: PUSH1 0x40
000035dc: MLOAD
000035dd: DUP1
000035de: DUP4
000035df: SUB
000035e0: DUP2
000035e1: DUP7
000035e2: GAS
000035e3: DELEGATECALL
000035e4: ISZERO
000035e5: DUP1
000035e6: ISZERO
000035e7: PUSH2 0x35f4
000035ea: JUMPI
000035eb: RETURNDATASIZE
000035ec: PUSH1 0x00
000035ee: DUP1
000035ef: RETURNDATACOPY
000035f0: RETURNDATASIZE
000035f1: PUSH1 0x00
000035f3: REVERT
000035f4: JUMPDEST
000035f5: POP
000035f6: POP
000035f7: POP
000035f8: POP
000035f9: PUSH1 0x40
000035fb: MLOAD
000035fc: RETURNDATASIZE
000035fd: PUSH1 0x1f
000035ff: NOT
00003600: PUSH1 0x1f
00003602: DUP3
00003603: ADD
00003604: AND
00003605: DUP3
00003606: ADD
00003607: DUP1
00003608: PUSH1 0x40
0000360a: MSTORE
0000360b: POP
0000360c: DUP2
0000360d: ADD
0000360e: SWAP1
0000360f: PUSH2 0x3618
00003612: SWAP2
00003613: SWAP1
00003614: PUSH2 0x47f8
00003617: JUMP
00003618: JUMPDEST
00003619: ISZERO
0000361a: PUSH2 0x10e8
0000361d: JUMPI
0000361e: PUSH2 0x0132
00003621: DUP1
00003622: SLOAD
00003623: PUSH2 0x0133
00003626: DUP1
00003627: SLOAD
00003628: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00003649: DUP4
0000364a: AND
0000364b: SWAP1
0000364c: SWAP4
0000364d: SSTORE
0000364e: PUSH1 0x00
00003650: SWAP1
00003651: DUP2
00003652: SWAP1
00003653: SSTORE
00003654: PUSH1 0x40
00003656: MLOAD
00003657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000366c: SWAP1
0000366d: SWAP3
0000366e: AND
0000366f: SWAP3
00003670: SWAP2
00003671: DUP4
00003672: SWAP1
00003673: DUP4
00003674: SWAP1
00003675: DUP4
00003676: DUP2
00003677: DUP2
00003678: DUP2
00003679: DUP6
0000367a: DUP8
0000367b: GAS
0000367c: CALL
0000367d: SWAP3
0000367e: POP
0000367f: POP
00003680: POP
00003681: RETURNDATASIZE
00003682: DUP1
00003683: PUSH1 0x00
00003685: DUP2
00003686: EQ
00003687: PUSH2 0x36ac
0000368a: JUMPI
0000368b: PUSH1 0x40
0000368d: MLOAD
0000368e: SWAP2
0000368f: POP
00003690: PUSH1 0x1f
00003692: NOT
00003693: PUSH1 0x3f
00003695: RETURNDATASIZE
00003696: ADD
00003697: AND
00003698: DUP3
00003699: ADD
0000369a: PUSH1 0x40
0000369c: MSTORE
0000369d: RETURNDATASIZE
0000369e: DUP3
0000369f: MSTORE
000036a0: RETURNDATASIZE
000036a1: PUSH1 0x00
000036a3: PUSH1 0x20
000036a5: DUP5
000036a6: ADD
000036a7: RETURNDATACOPY
000036a8: PUSH2 0x36b1
000036ab: JUMP
000036ac: JUMPDEST
000036ad: PUSH1 0x60
000036af: SWAP2
000036b0: POP
000036b1: JUMPDEST
000036b2: POP
000036b3: POP
000036b4: SWAP1
000036b5: POP
000036b6: DUP1
000036b7: PUSH2 0x371c
000036ba: JUMPI
000036bb: PUSH1 0x40
000036bd: MLOAD
000036be: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000036df: DUP2
000036e0: MSTORE
000036e1: PUSH1 0x20
000036e3: PUSH1 0x04
000036e5: DUP3
000036e6: ADD
000036e7: MSTORE
000036e8: PUSH1 0x1c
000036ea: PUSH1 0x24
000036ec: DUP3
000036ed: ADD
000036ee: MSTORE
000036ef: PUSH32 0x70726f706f73656420646973747269627574696f6e206661696c656400000000
00003710: PUSH1 0x44
00003712: DUP3
00003713: ADD
00003714: MSTORE
00003715: PUSH1 0x64
00003717: ADD
00003718: PUSH2 0x0b9a
0000371b: JUMP
0000371c: JUMPDEST
0000371d: PUSH1 0x40
0000371f: DUP1
00003720: MLOAD
00003721: DUP4
00003722: DUP2
00003723: MSTORE
00003724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003739: DUP6
0000373a: AND
0000373b: PUSH1 0x20
0000373d: DUP3
0000373e: ADD
0000373f: MSTORE
00003740: PUSH32 0xc389704bb846dbce71bcf298b37ad9ef3f0035c77900a6c1bf27eca6a121eab8
00003761: SWAP2
00003762: ADD
00003763: PUSH2 0x33f5
00003766: JUMP
00003767: JUMPDEST
00003768: PUSH2 0x012f
0000376b: SLOAD
0000376c: PUSH1 0xff
0000376e: AND
0000376f: DUP1
00003770: ISZERO
00003771: PUSH2 0x3792
00003774: JUMPI
00003775: POP
00003776: PUSH2 0x0135
00003779: SLOAD
0000377a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000378f: AND
00003790: ISZERO
00003791: ISZERO
00003792: JUMPDEST
00003793: DUP1
00003794: ISZERO
00003795: PUSH2 0x3839
00003798: JUMPI
00003799: POP
0000379a: PUSH2 0x0136
0000379d: SLOAD
0000379e: PUSH1 0x40
000037a0: MLOAD
000037a1: PUSH32 0x85eeb64100000000000000000000000000000000000000000000000000000000
000037c2: DUP2
000037c3: MSTORE
000037c4: PUSH1 0x04
000037c6: DUP2
000037c7: ADD
000037c8: SWAP2
000037c9: SWAP1
000037ca: SWAP2
000037cb: MSTORE
000037cc: PUSH1 0x24
000037ce: DUP2
000037cf: ADD
000037d0: DUP4
000037d1: SWAP1
000037d2: MSTORE
000037d3: PUSH1 0x44
000037d5: DUP2
000037d6: ADD
000037d7: DUP3
000037d8: SWAP1
000037d9: MSTORE
000037da: PUSH20 0x429b311db8057de958bfa58dfa7aeb67f74bb771
000037ef: SWAP1
000037f0: PUSH4 0x85eeb641
000037f5: SWAP1
000037f6: PUSH1 0x64
000037f8: ADD
000037f9: PUSH1 0x20
000037fb: PUSH1 0x40
000037fd: MLOAD
000037fe: DUP1
000037ff: DUP4
00003800: SUB
00003801: DUP2
00003802: DUP7
00003803: GAS
00003804: DELEGATECALL
00003805: ISZERO
00003806: DUP1
00003807: ISZERO
00003808: PUSH2 0x3815
0000380b: JUMPI
0000380c: RETURNDATASIZE
0000380d: PUSH1 0x00
0000380f: DUP1
00003810: RETURNDATACOPY
00003811: RETURNDATASIZE
00003812: PUSH1 0x00
00003814: REVERT
00003815: JUMPDEST
00003816: POP
00003817: POP
00003818: POP
00003819: POP
0000381a: PUSH1 0x40
0000381c: MLOAD
0000381d: RETURNDATASIZE
0000381e: PUSH1 0x1f
00003820: NOT
00003821: PUSH1 0x1f
00003823: DUP3
00003824: ADD
00003825: AND
00003826: DUP3
00003827: ADD
00003828: DUP1
00003829: PUSH1 0x40
0000382b: MSTORE
0000382c: POP
0000382d: DUP2
0000382e: ADD
0000382f: SWAP1
00003830: PUSH2 0x3839
00003833: SWAP2
00003834: SWAP1
00003835: PUSH2 0x47f8
00003838: JUMP
00003839: JUMPDEST
0000383a: ISZERO
0000383b: PUSH2 0x10e8
0000383e: JUMPI
0000383f: PUSH2 0x0135
00003842: DUP1
00003843: SLOAD
00003844: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00003865: DUP2
00003866: AND
00003867: SWAP1
00003868: SWAP2
00003869: SSTORE
0000386a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000387f: AND
00003880: PUSH2 0x3888
00003883: DUP2
00003884: PUSH2 0x3b2a
00003887: JUMP
00003888: JUMPDEST
00003889: PUSH1 0x40
0000388b: MLOAD
0000388c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038a1: DUP3
000038a2: AND
000038a3: DUP2
000038a4: MSTORE
000038a5: PUSH32 0x40b097aa940ef1acc2df1d8507bc29e9f4d2029ca2c559265eadab45707e2045
000038c6: SWAP1
000038c7: PUSH1 0x20
000038c9: ADD
000038ca: PUSH1 0x40
000038cc: MLOAD
000038cd: DUP1
000038ce: SWAP2
000038cf: SUB
000038d0: SWAP1
000038d1: LOG1
000038d2: POP
000038d3: POP
000038d4: POP
000038d5: JUMP
000038d6: JUMPDEST
000038d7: PUSH1 0x00
000038d9: SLOAD
000038da: PUSH2 0x0100
000038dd: SWAP1
000038de: DIV
000038df: PUSH1 0xff
000038e1: AND
000038e2: PUSH2 0x396d
000038e5: JUMPI
000038e6: PUSH1 0x40
000038e8: MLOAD
000038e9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000390a: DUP2
0000390b: MSTORE
0000390c: PUSH1 0x20
0000390e: PUSH1 0x04
00003910: DUP3
00003911: ADD
00003912: MSTORE
00003913: PUSH1 0x2b
00003915: PUSH1 0x24
00003917: DUP3
00003918: ADD
00003919: MSTORE
0000391a: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
0000393b: PUSH1 0x44
0000393d: DUP3
0000393e: ADD
0000393f: MSTORE
00003940: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00003961: PUSH1 0x64
00003963: DUP3
00003964: ADD
00003965: MSTORE
00003966: PUSH1 0x84
00003968: ADD
00003969: PUSH2 0x0b9a
0000396c: JUMP
0000396d: JUMPDEST
0000396e: PUSH2 0x3975
00003971: PUSH2 0x3b82
00003974: JUMP
00003975: JUMPDEST
00003976: PUSH2 0x10e8
00003979: DUP3
0000397a: DUP3
0000397b: PUSH2 0x3c19
0000397e: JUMP
0000397f: JUMPDEST
00003980: PUSH1 0x00
00003982: SLOAD
00003983: PUSH2 0x0100
00003986: SWAP1
00003987: DIV
00003988: PUSH1 0xff
0000398a: AND
0000398b: PUSH2 0x399a
0000398e: JUMPI
0000398f: PUSH1 0x00
00003991: SLOAD
00003992: PUSH1 0xff
00003994: AND
00003995: ISZERO
00003996: PUSH2 0x399e
00003999: JUMP
0000399a: JUMPDEST
0000399b: ADDRESS
0000399c: EXTCODESIZE
0000399d: ISZERO
0000399e: JUMPDEST
0000399f: PUSH2 0x3a2a
000039a2: JUMPI
000039a3: PUSH1 0x40
000039a5: MLOAD
000039a6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000039c7: DUP2
000039c8: MSTORE
000039c9: PUSH1 0x20
000039cb: PUSH1 0x04
000039cd: DUP3
000039ce: ADD
000039cf: MSTORE
000039d0: PUSH1 0x2e
000039d2: PUSH1 0x24
000039d4: DUP3
000039d5: ADD
000039d6: MSTORE
000039d7: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
000039f8: PUSH1 0x44
000039fa: DUP3
000039fb: ADD
000039fc: MSTORE
000039fd: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00003a1e: PUSH1 0x64
00003a20: DUP3
00003a21: ADD
00003a22: MSTORE
00003a23: PUSH1 0x84
00003a25: ADD
00003a26: PUSH2 0x0b9a
00003a29: JUMP
00003a2a: JUMPDEST
00003a2b: PUSH1 0x00
00003a2d: SLOAD
00003a2e: PUSH2 0x0100
00003a31: SWAP1
00003a32: DIV
00003a33: PUSH1 0xff
00003a35: AND
00003a36: ISZERO
00003a37: DUP1
00003a38: ISZERO
00003a39: PUSH2 0x3a69
00003a3c: JUMPI
00003a3d: PUSH1 0x00
00003a3f: DUP1
00003a40: SLOAD
00003a41: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000
00003a62: AND
00003a63: PUSH2 0x0101
00003a66: OR
00003a67: SWAP1
00003a68: SSTORE
00003a69: JUMPDEST
00003a6a: PUSH2 0x3a71
00003a6d: PUSH2 0x1eac
00003a70: JUMP
00003a71: JUMPDEST
00003a72: PUSH1 0x65
00003a74: SLOAD
00003a75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a8a: SWAP1
00003a8b: DUP2
00003a8c: AND
00003a8d: SWAP2
00003a8e: AND
00003a8f: EQ
00003a90: ISZERO
00003a91: PUSH2 0x3af6
00003a94: JUMPI
00003a95: PUSH1 0x40
00003a97: MLOAD
00003a98: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003ab9: DUP2
00003aba: MSTORE
00003abb: PUSH1 0x20
00003abd: PUSH1 0x04
00003abf: DUP3
00003ac0: ADD
00003ac1: MSTORE
00003ac2: PUSH1 0x10
00003ac4: PUSH1 0x24
00003ac6: DUP3
00003ac7: ADD
00003ac8: MSTORE
00003ac9: PUSH32 0x616c726561647920757067726164656400000000000000000000000000000000
00003aea: PUSH1 0x44
00003aec: DUP3
00003aed: ADD
00003aee: MSTORE
00003aef: PUSH1 0x64
00003af1: ADD
00003af2: PUSH2 0x0b9a
00003af5: JUMP
00003af6: JUMPDEST
00003af7: PUSH2 0x012f
00003afa: DUP1
00003afb: SLOAD
00003afc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00003b1d: AND
00003b1e: PUSH1 0x01
00003b20: OR
00003b21: SWAP1
00003b22: SSTORE
00003b23: PUSH2 0x2322
00003b26: PUSH2 0x1eac
00003b29: JUMP
00003b2a: JUMPDEST
00003b2b: PUSH2 0x3b33
00003b2e: DUP2
00003b2f: PUSH2 0x3cd7
00003b32: JUMP
00003b33: JUMPDEST
00003b34: PUSH2 0x3b3c
00003b37: DUP2
00003b38: PUSH2 0x3db4
00003b3b: JUMP
00003b3c: JUMPDEST
00003b3d: PUSH1 0x40
00003b3f: MLOAD
00003b40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b55: DUP3
00003b56: AND
00003b57: DUP2
00003b58: MSTORE
00003b59: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
00003b7a: SWAP1
00003b7b: PUSH1 0x20
00003b7d: ADD
00003b7e: PUSH2 0x1f67
00003b81: JUMP
00003b82: JUMPDEST
00003b83: PUSH1 0x00
00003b85: SLOAD
00003b86: PUSH2 0x0100
00003b89: SWAP1
00003b8a: DIV
00003b8b: PUSH1 0xff
00003b8d: AND
00003b8e: PUSH2 0x0ba3
00003b91: JUMPI
00003b92: PUSH1 0x40
00003b94: MLOAD
00003b95: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003bb6: DUP2
00003bb7: MSTORE
00003bb8: PUSH1 0x20
00003bba: PUSH1 0x04
00003bbc: DUP3
00003bbd: ADD
00003bbe: MSTORE
00003bbf: PUSH1 0x2b
00003bc1: PUSH1 0x24
00003bc3: DUP3
00003bc4: ADD
00003bc5: MSTORE
00003bc6: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00003be7: PUSH1 0x44
00003be9: DUP3
00003bea: ADD
00003beb: MSTORE
00003bec: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00003c0d: PUSH1 0x64
00003c0f: DUP3
00003c10: ADD
00003c11: MSTORE
00003c12: PUSH1 0x84
00003c14: ADD
00003c15: PUSH2 0x0b9a
00003c18: JUMP
00003c19: JUMPDEST
00003c1a: PUSH1 0x00
00003c1c: SLOAD
00003c1d: PUSH2 0x0100
00003c20: SWAP1
00003c21: DIV
00003c22: PUSH1 0xff
00003c24: AND
00003c25: PUSH2 0x3cb0
00003c28: JUMPI
00003c29: PUSH1 0x40
00003c2b: MLOAD
00003c2c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003c4d: DUP2
00003c4e: MSTORE
00003c4f: PUSH1 0x20
00003c51: PUSH1 0x04
00003c53: DUP3
00003c54: ADD
00003c55: MSTORE
00003c56: PUSH1 0x2b
00003c58: PUSH1 0x24
00003c5a: DUP3
00003c5b: ADD
00003c5c: MSTORE
00003c5d: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00003c7e: PUSH1 0x44
00003c80: DUP3
00003c81: ADD
00003c82: MSTORE
00003c83: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00003ca4: PUSH1 0x64
00003ca6: DUP3
00003ca7: ADD
00003ca8: MSTORE
00003ca9: PUSH1 0x84
00003cab: ADD
00003cac: PUSH2 0x0b9a
00003caf: JUMP
00003cb0: JUMPDEST
00003cb1: DUP2
00003cb2: MLOAD
00003cb3: PUSH2 0x3cc3
00003cb6: SWAP1
00003cb7: PUSH1 0x36
00003cb9: SWAP1
00003cba: PUSH1 0x20
00003cbc: DUP6
00003cbd: ADD
00003cbe: SWAP1
00003cbf: PUSH2 0x3f7e
00003cc2: JUMP
00003cc3: JUMPDEST
00003cc4: POP
00003cc5: DUP1
00003cc6: MLOAD
00003cc7: PUSH2 0x0f6f
00003cca: SWAP1
00003ccb: PUSH1 0x37
00003ccd: SWAP1
00003cce: PUSH1 0x20
00003cd0: DUP5
00003cd1: ADD
00003cd2: SWAP1
00003cd3: PUSH2 0x3f7e
00003cd6: JUMP
00003cd7: JUMPDEST
00003cd8: DUP1
00003cd9: EXTCODESIZE
00003cda: PUSH2 0x3d3f
00003cdd: JUMPI
00003cde: PUSH1 0x40
00003ce0: MLOAD
00003ce1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003d02: DUP2
00003d03: MSTORE
00003d04: PUSH1 0x20
00003d06: PUSH1 0x04
00003d08: DUP3
00003d09: ADD
00003d0a: DUP2
00003d0b: SWAP1
00003d0c: MSTORE
00003d0d: PUSH1 0x24
00003d0f: DUP3
00003d10: ADD
00003d11: MSTORE
00003d12: PUSH32 0x696d706c656d656e746174696f6e206973206e6f74206120636f6e7472616374
00003d33: PUSH1 0x44
00003d35: DUP3
00003d36: ADD
00003d37: MSTORE
00003d38: PUSH1 0x64
00003d3a: ADD
00003d3b: PUSH2 0x0b9a
00003d3e: JUMP
00003d3f: JUMPDEST
00003d40: DUP1
00003d41: PUSH2 0x3d6e
00003d44: PUSH2 0x30fb
00003d47: PUSH1 0x01
00003d49: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbd
00003d6a: PUSH2 0x48a6
00003d6d: JUMP
00003d6e: JUMPDEST
00003d6f: DUP1
00003d70: SLOAD
00003d71: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00003d92: AND
00003d93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003da8: SWAP3
00003da9: SWAP1
00003daa: SWAP3
00003dab: AND
00003dac: SWAP2
00003dad: SWAP1
00003dae: SWAP2
00003daf: OR
00003db0: SWAP1
00003db1: SSTORE
00003db2: POP
00003db3: JUMP
00003db4: JUMPDEST
00003db5: PUSH1 0x40
00003db7: MLOAD
00003db8: PUSH32 0x8129fc1c00000000000000000000000000000000000000000000000000000000
00003dd9: PUSH1 0x20
00003ddb: DUP3
00003ddc: ADD
00003ddd: MSTORE
00003dde: PUSH1 0x00
00003de0: SWAP1
00003de1: PUSH1 0x24
00003de3: ADD
00003de4: PUSH1 0x40
00003de6: MLOAD
00003de7: PUSH1 0x20
00003de9: DUP2
00003dea: DUP4
00003deb: SUB
00003dec: SUB
00003ded: DUP2
00003dee: MSTORE
00003def: SWAP1
00003df0: PUSH1 0x40
00003df2: MSTORE
00003df3: SWAP1
00003df4: POP
00003df5: PUSH2 0x0f6f
00003df8: DUP3
00003df9: DUP3
00003dfa: PUSH1 0x60
00003dfc: PUSH2 0x150f
00003dff: DUP4
00003e00: DUP4
00003e01: PUSH1 0x40
00003e03: MLOAD
00003e04: DUP1
00003e05: PUSH1 0x60
00003e07: ADD
00003e08: PUSH1 0x40
00003e0a: MSTORE
00003e0b: DUP1
00003e0c: PUSH1 0x27
00003e0e: DUP2
00003e0f: MSTORE
00003e10: PUSH1 0x20
00003e12: ADD
00003e13: PUSH2 0x4938
00003e16: PUSH1 0x27
00003e18: SWAP2
00003e19: CODECOPY
00003e1a: PUSH1 0x60
00003e1c: DUP4
00003e1d: EXTCODESIZE
00003e1e: PUSH2 0x3ea9
00003e21: JUMPI
00003e22: PUSH1 0x40
00003e24: MLOAD
00003e25: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003e46: DUP2
00003e47: MSTORE
00003e48: PUSH1 0x20
00003e4a: PUSH1 0x04
00003e4c: DUP3
00003e4d: ADD
00003e4e: MSTORE
00003e4f: PUSH1 0x26
00003e51: PUSH1 0x24
00003e53: DUP3
00003e54: ADD
00003e55: MSTORE
00003e56: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f
00003e77: PUSH1 0x44
00003e79: DUP3
00003e7a: ADD
00003e7b: MSTORE
00003e7c: PUSH32 0x6e74726163740000000000000000000000000000000000000000000000000000
00003e9d: PUSH1 0x64
00003e9f: DUP3
00003ea0: ADD
00003ea1: MSTORE
00003ea2: PUSH1 0x84
00003ea4: ADD
00003ea5: PUSH2 0x0b9a
00003ea8: JUMP
00003ea9: JUMPDEST
00003eaa: PUSH1 0x00
00003eac: DUP1
00003ead: DUP6
00003eae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ec3: AND
00003ec4: DUP6
00003ec5: PUSH1 0x40
00003ec7: MLOAD
00003ec8: PUSH2 0x3ed1
00003ecb: SWAP2
00003ecc: SWAP1
00003ecd: PUSH2 0x491b
00003ed0: JUMP
00003ed1: JUMPDEST
00003ed2: PUSH1 0x00
00003ed4: PUSH1 0x40
00003ed6: MLOAD
00003ed7: DUP1
00003ed8: DUP4
00003ed9: SUB
00003eda: DUP2
00003edb: DUP6
00003edc: GAS
00003edd: DELEGATECALL
00003ede: SWAP2
00003edf: POP
00003ee0: POP
00003ee1: RETURNDATASIZE
00003ee2: DUP1
00003ee3: PUSH1 0x00
00003ee5: DUP2
00003ee6: EQ
00003ee7: PUSH2 0x3f0c
00003eea: JUMPI
00003eeb: PUSH1 0x40
00003eed: MLOAD
00003eee: SWAP2
00003eef: POP
00003ef0: PUSH1 0x1f
00003ef2: NOT
00003ef3: PUSH1 0x3f
00003ef5: RETURNDATASIZE
00003ef6: ADD
00003ef7: AND
00003ef8: DUP3
00003ef9: ADD
00003efa: PUSH1 0x40
00003efc: MSTORE
00003efd: RETURNDATASIZE
00003efe: DUP3
00003eff: MSTORE
00003f00: RETURNDATASIZE
00003f01: PUSH1 0x00
00003f03: PUSH1 0x20
00003f05: DUP5
00003f06: ADD
00003f07: RETURNDATACOPY
00003f08: PUSH2 0x3f11
00003f0b: JUMP
00003f0c: JUMPDEST
00003f0d: PUSH1 0x60
00003f0f: SWAP2
00003f10: POP
00003f11: JUMPDEST
00003f12: POP
00003f13: SWAP2
00003f14: POP
00003f15: SWAP2
00003f16: POP
00003f17: PUSH2 0x3f21
00003f1a: DUP3
00003f1b: DUP3
00003f1c: DUP7
00003f1d: PUSH2 0x3f2b
00003f20: JUMP
00003f21: JUMPDEST
00003f22: SWAP7
00003f23: SWAP6
00003f24: POP
00003f25: POP
00003f26: POP
00003f27: POP
00003f28: POP
00003f29: POP
00003f2a: JUMP
00003f2b: JUMPDEST
00003f2c: PUSH1 0x60
00003f2e: DUP4
00003f2f: ISZERO
00003f30: PUSH2 0x3f3a
00003f33: JUMPI
00003f34: POP
00003f35: DUP2
00003f36: PUSH2 0x150f
00003f39: JUMP
00003f3a: JUMPDEST
00003f3b: DUP3
00003f3c: MLOAD
00003f3d: ISZERO
00003f3e: PUSH2 0x3f4a
00003f41: JUMPI
00003f42: DUP3
00003f43: MLOAD
00003f44: DUP1
00003f45: DUP5
00003f46: PUSH1 0x20
00003f48: ADD
00003f49: REVERT
00003f4a: JUMPDEST
00003f4b: DUP2
00003f4c: PUSH1 0x40
00003f4e: MLOAD
00003f4f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003f70: DUP2
00003f71: MSTORE
00003f72: PUSH1 0x04
00003f74: ADD
00003f75: PUSH2 0x0b9a
00003f78: SWAP2
00003f79: SWAP1
00003f7a: PUSH2 0x41de
00003f7d: JUMP
00003f7e: JUMPDEST
00003f7f: DUP3
00003f80: DUP1
00003f81: SLOAD
00003f82: PUSH2 0x3f8a
00003f85: SWAP1
00003f86: PUSH2 0x474d
00003f89: JUMP
00003f8a: JUMPDEST
00003f8b: SWAP1
00003f8c: PUSH1 0x00
00003f8e: MSTORE
00003f8f: PUSH1 0x20
00003f91: PUSH1 0x00
00003f93: KECCAK256
00003f94: SWAP1
00003f95: PUSH1 0x1f
00003f97: ADD
00003f98: PUSH1 0x20
00003f9a: SWAP1
00003f9b: DIV
00003f9c: DUP2
00003f9d: ADD
00003f9e: SWAP3
00003f9f: DUP3
00003fa0: PUSH2 0x3fac
00003fa3: JUMPI
00003fa4: PUSH1 0x00
00003fa6: DUP6
00003fa7: SSTORE
00003fa8: PUSH2 0x3ff2
00003fab: JUMP
00003fac: JUMPDEST
00003fad: DUP3
00003fae: PUSH1 0x1f
00003fb0: LT
00003fb1: PUSH2 0x3fc5
00003fb4: JUMPI
00003fb5: DUP1
00003fb6: MLOAD
00003fb7: PUSH1 0xff
00003fb9: NOT
00003fba: AND
00003fbb: DUP4
00003fbc: DUP1
00003fbd: ADD
00003fbe: OR
00003fbf: DUP6
00003fc0: SSTORE
00003fc1: PUSH2 0x3ff2
00003fc4: JUMP
00003fc5: JUMPDEST
00003fc6: DUP3
00003fc7: DUP1
00003fc8: ADD
00003fc9: PUSH1 0x01
00003fcb: ADD
00003fcc: DUP6
00003fcd: SSTORE
00003fce: DUP3
00003fcf: ISZERO
00003fd0: PUSH2 0x3ff2
00003fd3: JUMPI
00003fd4: SWAP2
00003fd5: DUP3
00003fd6: ADD
00003fd7: JUMPDEST
00003fd8: DUP3
00003fd9: DUP2
00003fda: GT
00003fdb: ISZERO
00003fdc: PUSH2 0x3ff2
00003fdf: JUMPI
00003fe0: DUP3
00003fe1: MLOAD
00003fe2: DUP3
00003fe3: SSTORE
00003fe4: SWAP2
00003fe5: PUSH1 0x20
00003fe7: ADD
00003fe8: SWAP2
00003fe9: SWAP1
00003fea: PUSH1 0x01
00003fec: ADD
00003fed: SWAP1
00003fee: PUSH2 0x3fd7
00003ff1: JUMP
00003ff2: JUMPDEST
00003ff3: POP
00003ff4: PUSH2 0x3ffe
00003ff7: SWAP3
00003ff8: SWAP2
00003ff9: POP
00003ffa: PUSH2 0x4002
00003ffd: JUMP
00003ffe: JUMPDEST
00003fff: POP
00004000: SWAP1
00004001: JUMP
00004002: JUMPDEST
00004003: JUMPDEST
00004004: DUP1
00004005: DUP3
00004006: GT
00004007: ISZERO
00004008: PUSH2 0x3ffe
0000400b: JUMPI
0000400c: PUSH1 0x00
0000400e: DUP2
0000400f: SSTORE
00004010: PUSH1 0x01
00004012: ADD
00004013: PUSH2 0x4003
00004016: JUMP
00004017: JUMPDEST
00004018: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00004039: PUSH1 0x00
0000403b: MSTORE
0000403c: PUSH1 0x11
0000403e: PUSH1 0x04
00004040: MSTORE
00004041: PUSH1 0x24
00004043: PUSH1 0x00
00004045: REVERT
00004046: JUMPDEST
00004047: PUSH1 0x01
00004049: DUP2
0000404a: DUP2
0000404b: JUMPDEST
0000404c: DUP1
0000404d: DUP6
0000404e: GT
0000404f: ISZERO
00004050: PUSH2 0x409f
00004053: JUMPI
00004054: DUP2
00004055: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00004076: DIV
00004077: DUP3
00004078: GT
00004079: ISZERO
0000407a: PUSH2 0x4085
0000407d: JUMPI
0000407e: PUSH2 0x4085
00004081: PUSH2 0x4017
00004084: JUMP
00004085: JUMPDEST
00004086: DUP1
00004087: DUP6
00004088: AND
00004089: ISZERO
0000408a: PUSH2 0x4092
0000408d: JUMPI
0000408e: SWAP2
0000408f: DUP2
00004090: MUL
00004091: SWAP2
00004092: JUMPDEST
00004093: SWAP4
00004094: DUP5
00004095: SHR
00004096: SWAP4
00004097: SWAP1
00004098: DUP1
00004099: MUL
0000409a: SWAP1
0000409b: PUSH2 0x404b
0000409e: JUMP
0000409f: JUMPDEST
000040a0: POP
000040a1: SWAP3
000040a2: POP
000040a3: SWAP3
000040a4: SWAP1
000040a5: POP
000040a6: JUMP
000040a7: JUMPDEST
000040a8: PUSH1 0x00
000040aa: DUP3
000040ab: PUSH2 0x40b6
000040ae: JUMPI
000040af: POP
000040b0: PUSH1 0x01
000040b2: PUSH2 0x11b3
000040b5: JUMP
000040b6: JUMPDEST
000040b7: DUP2
000040b8: PUSH2 0x40c3
000040bb: JUMPI
000040bc: POP
000040bd: PUSH1 0x00
000040bf: PUSH2 0x11b3
000040c2: JUMP
000040c3: JUMPDEST
000040c4: DUP2
000040c5: PUSH1 0x01
000040c7: DUP2
000040c8: EQ
000040c9: PUSH2 0x40d9
000040cc: JUMPI
000040cd: PUSH1 0x02
000040cf: DUP2
000040d0: EQ
000040d1: PUSH2 0x40e3
000040d4: JUMPI
000040d5: PUSH2 0x40ff
000040d8: JUMP
000040d9: JUMPDEST
000040da: PUSH1 0x01
000040dc: SWAP2
000040dd: POP
000040de: POP
000040df: PUSH2 0x11b3
000040e2: JUMP
000040e3: JUMPDEST
000040e4: PUSH1 0xff
000040e6: DUP5
000040e7: GT
000040e8: ISZERO
000040e9: PUSH2 0x40f4
000040ec: JUMPI
000040ed: PUSH2 0x40f4
000040f0: PUSH2 0x4017
000040f3: JUMP
000040f4: JUMPDEST
000040f5: POP
000040f6: POP
000040f7: PUSH1 0x01
000040f9: DUP3
000040fa: SHL
000040fb: PUSH2 0x11b3
000040fe: JUMP
000040ff: JUMPDEST
00004100: POP
00004101: PUSH1 0x20
00004103: DUP4
00004104: LT
00004105: PUSH2 0x0133
00004108: DUP4
00004109: LT
0000410a: AND
0000410b: PUSH1 0x4e
0000410d: DUP5
0000410e: LT
0000410f: PUSH1 0x0b
00004111: DUP5
00004112: LT
00004113: AND
00004114: OR
00004115: ISZERO
00004116: PUSH2 0x4122
00004119: JUMPI
0000411a: POP
0000411b: DUP2
0000411c: DUP2
0000411d: EXP
0000411e: PUSH2 0x11b3
00004121: JUMP
00004122: JUMPDEST
00004123: PUSH2 0x412c
00004126: DUP4
00004127: DUP4
00004128: PUSH2 0x4046
0000412b: JUMP
0000412c: JUMPDEST
0000412d: DUP1
0000412e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000414f: DIV
00004150: DUP3
00004151: GT
00004152: ISZERO
00004153: PUSH2 0x415e
00004156: JUMPI
00004157: PUSH2 0x415e
0000415a: PUSH2 0x4017
0000415d: JUMP
0000415e: JUMPDEST
0000415f: MUL
00004160: SWAP4
00004161: SWAP3
00004162: POP
00004163: POP
00004164: POP
00004165: JUMP
00004166: JUMPDEST
00004167: PUSH1 0x00
00004169: PUSH2 0x150f
0000416c: PUSH1 0xff
0000416e: DUP5
0000416f: AND
00004170: DUP4
00004171: PUSH2 0x40a7
00004174: JUMP
00004175: JUMPDEST
00004176: PUSH1 0x00
00004178: DUP2
00004179: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000419a: DIV
0000419b: DUP4
0000419c: GT
0000419d: DUP3
0000419e: ISZERO
0000419f: ISZERO
000041a0: AND
000041a1: ISZERO
000041a2: PUSH2 0x41ad
000041a5: JUMPI
000041a6: PUSH2 0x41ad
000041a9: PUSH2 0x4017
000041ac: JUMP
000041ad: JUMPDEST
000041ae: POP
000041af: MUL
000041b0: SWAP1
000041b1: JUMP
000041b2: JUMPDEST
000041b3: PUSH1 0x00
000041b5: JUMPDEST
000041b6: DUP4
000041b7: DUP2
000041b8: LT
000041b9: ISZERO
000041ba: PUSH2 0x41cd
000041bd: JUMPI
000041be: DUP2
000041bf: DUP2
000041c0: ADD
000041c1: MLOAD
000041c2: DUP4
000041c3: DUP3
000041c4: ADD
000041c5: MSTORE
000041c6: PUSH1 0x20
000041c8: ADD
000041c9: PUSH2 0x41b5
000041cc: JUMP
000041cd: JUMPDEST
000041ce: DUP4
000041cf: DUP2
000041d0: GT
000041d1: ISZERO
000041d2: PUSH2 0x1428
000041d5: JUMPI
000041d6: POP
000041d7: POP
000041d8: PUSH1 0x00
000041da: SWAP2
000041db: ADD
000041dc: MSTORE
000041dd: JUMP
000041de: JUMPDEST
000041df: PUSH1 0x20
000041e1: DUP2
000041e2: MSTORE
000041e3: PUSH1 0x00
000041e5: DUP3
000041e6: MLOAD
000041e7: DUP1
000041e8: PUSH1 0x20
000041ea: DUP5
000041eb: ADD
000041ec: MSTORE
000041ed: PUSH2 0x41fd
000041f0: DUP2
000041f1: PUSH1 0x40
000041f3: DUP6
000041f4: ADD
000041f5: PUSH1 0x20
000041f7: DUP8
000041f8: ADD
000041f9: PUSH2 0x41b2
000041fc: JUMP
000041fd: JUMPDEST
000041fe: PUSH1 0x1f
00004200: ADD
00004201: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00004222: AND
00004223: SWAP2
00004224: SWAP1
00004225: SWAP2
00004226: ADD
00004227: PUSH1 0x40
00004229: ADD
0000422a: SWAP3
0000422b: SWAP2
0000422c: POP
0000422d: POP
0000422e: JUMP
0000422f: JUMPDEST
00004230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004245: DUP2
00004246: AND
00004247: DUP2
00004248: EQ
00004249: PUSH2 0x2055
0000424c: JUMPI
0000424d: PUSH1 0x00
0000424f: DUP1
00004250: REVERT
00004251: JUMPDEST
00004252: PUSH1 0x00
00004254: DUP1
00004255: PUSH1 0x40
00004257: DUP4
00004258: DUP6
00004259: SUB
0000425a: SLT
0000425b: ISZERO
0000425c: PUSH2 0x4264
0000425f: JUMPI
00004260: PUSH1 0x00
00004262: DUP1
00004263: REVERT
00004264: JUMPDEST
00004265: DUP3
00004266: CALLDATALOAD
00004267: PUSH2 0x426f
0000426a: DUP2
0000426b: PUSH2 0x422f
0000426e: JUMP
0000426f: JUMPDEST
00004270: SWAP5
00004271: PUSH1 0x20
00004273: SWAP4
00004274: SWAP1
00004275: SWAP4
00004276: ADD
00004277: CALLDATALOAD
00004278: SWAP4
00004279: POP
0000427a: POP
0000427b: POP
0000427c: JUMP
0000427d: JUMPDEST
0000427e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000429f: PUSH1 0x00
000042a1: MSTORE
000042a2: PUSH1 0x41
000042a4: PUSH1 0x04
000042a6: MSTORE
000042a7: PUSH1 0x24
000042a9: PUSH1 0x00
000042ab: REVERT
000042ac: JUMPDEST
000042ad: PUSH1 0x40
000042af: MLOAD
000042b0: PUSH1 0x1f
000042b2: DUP3
000042b3: ADD
000042b4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000042d5: AND
000042d6: DUP2
000042d7: ADD
000042d8: PUSH8 0xffffffffffffffff
000042e1: DUP2
000042e2: GT
000042e3: DUP3
000042e4: DUP3
000042e5: LT
000042e6: OR
000042e7: ISZERO
000042e8: PUSH2 0x42f3
000042eb: JUMPI
000042ec: PUSH2 0x42f3
000042ef: PUSH2 0x427d
000042f2: JUMP
000042f3: JUMPDEST
000042f4: PUSH1 0x40
000042f6: MSTORE
000042f7: SWAP2
000042f8: SWAP1
000042f9: POP
000042fa: JUMP
000042fb: JUMPDEST
000042fc: PUSH1 0x00
000042fe: PUSH1 0x20
00004300: DUP1
00004301: DUP4
00004302: DUP6
00004303: SUB
00004304: SLT
00004305: ISZERO
00004306: PUSH2 0x430e
00004309: JUMPI
0000430a: PUSH1 0x00
0000430c: DUP1
0000430d: REVERT
0000430e: JUMPDEST
0000430f: DUP3
00004310: CALLDATALOAD
00004311: PUSH8 0xffffffffffffffff
0000431a: DUP1
0000431b: DUP3
0000431c: GT
0000431d: ISZERO
0000431e: PUSH2 0x4326
00004321: JUMPI
00004322: PUSH1 0x00
00004324: DUP1
00004325: REVERT
00004326: JUMPDEST
00004327: DUP2
00004328: DUP6
00004329: ADD
0000432a: SWAP2
0000432b: POP
0000432c: DUP6
0000432d: PUSH1 0x1f
0000432f: DUP4
00004330: ADD
00004331: SLT
00004332: PUSH2 0x433a
00004335: JUMPI
00004336: PUSH1 0x00
00004338: DUP1
00004339: REVERT
0000433a: JUMPDEST
0000433b: DUP2
0000433c: CALLDATALOAD
0000433d: DUP2
0000433e: DUP2
0000433f: GT
00004340: ISZERO
00004341: PUSH2 0x434c
00004344: JUMPI
00004345: PUSH2 0x434c
00004348: PUSH2 0x427d
0000434b: JUMP
0000434c: JUMPDEST
0000434d: PUSH2 0x437c
00004350: DUP5
00004351: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00004372: PUSH1 0x1f
00004374: DUP5
00004375: ADD
00004376: AND
00004377: ADD
00004378: PUSH2 0x42ac
0000437b: JUMP
0000437c: JUMPDEST
0000437d: SWAP2
0000437e: POP
0000437f: DUP1
00004380: DUP3
00004381: MSTORE
00004382: DUP7
00004383: DUP5
00004384: DUP3
00004385: DUP6
00004386: ADD
00004387: ADD
00004388: GT
00004389: ISZERO
0000438a: PUSH2 0x4392
0000438d: JUMPI
0000438e: PUSH1 0x00
00004390: DUP1
00004391: REVERT
00004392: JUMPDEST
00004393: DUP1
00004394: DUP5
00004395: DUP5
00004396: ADD
00004397: DUP6
00004398: DUP5
00004399: ADD
0000439a: CALLDATACOPY
0000439b: PUSH1 0x00
0000439d: SWAP1
0000439e: DUP3
0000439f: ADD
000043a0: SWAP1
000043a1: SWAP4
000043a2: ADD
000043a3: SWAP3
000043a4: SWAP1
000043a5: SWAP3
000043a6: MSTORE
000043a7: POP
000043a8: SWAP4
000043a9: SWAP3
000043aa: POP
000043ab: POP
000043ac: POP
000043ad: JUMP
000043ae: JUMPDEST
000043af: PUSH1 0x00
000043b1: DUP1
000043b2: PUSH1 0x00
000043b4: PUSH1 0x60
000043b6: DUP5
000043b7: DUP7
000043b8: SUB
000043b9: SLT
000043ba: ISZERO
000043bb: PUSH2 0x43c3
000043be: JUMPI
000043bf: PUSH1 0x00
000043c1: DUP1
000043c2: REVERT
000043c3: JUMPDEST
000043c4: DUP4
000043c5: CALLDATALOAD
000043c6: PUSH2 0x43ce
000043c9: DUP2
000043ca: PUSH2 0x422f
000043cd: JUMP
000043ce: JUMPDEST
000043cf: SWAP3
000043d0: POP
000043d1: PUSH1 0x20
000043d3: DUP5
000043d4: ADD
000043d5: CALLDATALOAD
000043d6: PUSH2 0x43de
000043d9: DUP2
000043da: PUSH2 0x422f
000043dd: JUMP
000043de: JUMPDEST
000043df: SWAP3
000043e0: SWAP6
000043e1: SWAP3
000043e2: SWAP5
000043e3: POP
000043e4: POP
000043e5: POP
000043e6: PUSH1 0x40
000043e8: SWAP2
000043e9: SWAP1
000043ea: SWAP2
000043eb: ADD
000043ec: CALLDATALOAD
000043ed: SWAP1
000043ee: JUMP
000043ef: JUMPDEST
000043f0: PUSH1 0x00
000043f2: DUP1
000043f3: PUSH1 0x00
000043f5: PUSH1 0x60
000043f7: DUP5
000043f8: DUP7
000043f9: SUB
000043fa: SLT
000043fb: ISZERO
000043fc: PUSH2 0x4404
000043ff: JUMPI
00004400: PUSH1 0x00
00004402: DUP1
00004403: REVERT
00004404: JUMPDEST
00004405: DUP4
00004406: CALLDATALOAD
00004407: PUSH2 0x440f
0000440a: DUP2
0000440b: PUSH2 0x422f
0000440e: JUMP
0000440f: JUMPDEST
00004410: SWAP6
00004411: PUSH1 0x20
00004413: DUP6
00004414: ADD
00004415: CALLDATALOAD
00004416: SWAP6
00004417: POP
00004418: PUSH1 0x40
0000441a: SWAP1
0000441b: SWAP5
0000441c: ADD
0000441d: CALLDATALOAD
0000441e: SWAP4
0000441f: SWAP3
00004420: POP
00004421: POP
00004422: POP
00004423: JUMP
00004424: JUMPDEST
00004425: PUSH1 0x00
00004427: DUP3
00004428: PUSH1 0x1f
0000442a: DUP4
0000442b: ADD
0000442c: SLT
0000442d: PUSH2 0x4435
00004430: JUMPI
00004431: PUSH1 0x00
00004433: DUP1
00004434: REVERT
00004435: JUMPDEST
00004436: DUP2
00004437: CALLDATALOAD
00004438: PUSH1 0x20
0000443a: PUSH8 0xffffffffffffffff
00004443: DUP3
00004444: GT
00004445: ISZERO
00004446: PUSH2 0x4451
00004449: JUMPI
0000444a: PUSH2 0x4451
0000444d: PUSH2 0x427d
00004450: JUMP
00004451: JUMPDEST
00004452: DUP2
00004453: PUSH1 0x05
00004455: SHL
00004456: PUSH2 0x4460
00004459: DUP3
0000445a: DUP3
0000445b: ADD
0000445c: PUSH2 0x42ac
0000445f: JUMP
00004460: JUMPDEST
00004461: SWAP3
00004462: DUP4
00004463: MSTORE
00004464: DUP5
00004465: DUP2
00004466: ADD
00004467: DUP3
00004468: ADD
00004469: SWAP3
0000446a: DUP3
0000446b: DUP2
0000446c: ADD
0000446d: SWAP1
0000446e: DUP8
0000446f: DUP6
00004470: GT
00004471: ISZERO
00004472: PUSH2 0x447a
00004475: JUMPI
00004476: PUSH1 0x00
00004478: DUP1
00004479: REVERT
0000447a: JUMPDEST
0000447b: DUP4
0000447c: DUP8
0000447d: ADD
0000447e: SWAP3
0000447f: POP
00004480: JUMPDEST
00004481: DUP5
00004482: DUP4
00004483: LT
00004484: ISZERO
00004485: PUSH2 0x44a2
00004488: JUMPI
00004489: DUP3
0000448a: CALLDATALOAD
0000448b: PUSH2 0x4493
0000448e: DUP2
0000448f: PUSH2 0x422f
00004492: JUMP
00004493: JUMPDEST
00004494: DUP3
00004495: MSTORE
00004496: SWAP2
00004497: DUP4
00004498: ADD
00004499: SWAP2
0000449a: SWAP1
0000449b: DUP4
0000449c: ADD
0000449d: SWAP1
0000449e: PUSH2 0x4480
000044a1: JUMP
000044a2: JUMPDEST
000044a3: SWAP8
000044a4: SWAP7
000044a5: POP
000044a6: POP
000044a7: POP
000044a8: POP
000044a9: POP
000044aa: POP
000044ab: POP
000044ac: JUMP
000044ad: JUMPDEST
000044ae: PUSH1 0x00
000044b0: DUP1
000044b1: PUSH1 0x00
000044b3: PUSH1 0x60
000044b5: DUP5
000044b6: DUP7
000044b7: SUB
000044b8: SLT
000044b9: ISZERO
000044ba: PUSH2 0x44c2
000044bd: JUMPI
000044be: PUSH1 0x00
000044c0: DUP1
000044c1: REVERT
000044c2: JUMPDEST
000044c3: DUP4
000044c4: CALLDATALOAD
000044c5: PUSH2 0x44cd
000044c8: DUP2
000044c9: PUSH2 0x422f
000044cc: JUMP
000044cd: JUMPDEST
000044ce: SWAP3
000044cf: POP
000044d0: PUSH1 0x20
000044d2: DUP5
000044d3: ADD
000044d4: CALLDATALOAD
000044d5: PUSH8 0xffffffffffffffff
000044de: DUP1
000044df: DUP3
000044e0: GT
000044e1: ISZERO
000044e2: PUSH2 0x44ea
000044e5: JUMPI
000044e6: PUSH1 0x00
000044e8: DUP1
000044e9: REVERT
000044ea: JUMPDEST
000044eb: PUSH2 0x44f6
000044ee: DUP8
000044ef: DUP4
000044f0: DUP9
000044f1: ADD
000044f2: PUSH2 0x4424
000044f5: JUMP
000044f6: JUMPDEST
000044f7: SWAP4
000044f8: POP
000044f9: PUSH1 0x40
000044fb: DUP7
000044fc: ADD
000044fd: CALLDATALOAD
000044fe: SWAP2
000044ff: POP
00004500: DUP1
00004501: DUP3
00004502: GT
00004503: ISZERO
00004504: PUSH2 0x450c
00004507: JUMPI
00004508: PUSH1 0x00
0000450a: DUP1
0000450b: REVERT
0000450c: JUMPDEST
0000450d: POP
0000450e: PUSH2 0x4519
00004511: DUP7
00004512: DUP3
00004513: DUP8
00004514: ADD
00004515: PUSH2 0x4424
00004518: JUMP
00004519: JUMPDEST
0000451a: SWAP2
0000451b: POP
0000451c: POP
0000451d: SWAP3
0000451e: POP
0000451f: SWAP3
00004520: POP
00004521: SWAP3
00004522: JUMP
00004523: JUMPDEST
00004524: PUSH1 0x00
00004526: DUP1
00004527: PUSH1 0x40
00004529: DUP4
0000452a: DUP6
0000452b: SUB
0000452c: SLT
0000452d: ISZERO
0000452e: PUSH2 0x4536
00004531: JUMPI
00004532: PUSH1 0x00
00004534: DUP1
00004535: REVERT
00004536: JUMPDEST
00004537: DUP3
00004538: CALLDATALOAD
00004539: PUSH8 0xffffffffffffffff
00004542: DUP1
00004543: DUP3
00004544: GT
00004545: ISZERO
00004546: PUSH2 0x454e
00004549: JUMPI
0000454a: PUSH1 0x00
0000454c: DUP1
0000454d: REVERT
0000454e: JUMPDEST
0000454f: PUSH2 0x455a
00004552: DUP7
00004553: DUP4
00004554: DUP8
00004555: ADD
00004556: PUSH2 0x4424
00004559: JUMP
0000455a: JUMPDEST
0000455b: SWAP4
0000455c: POP
0000455d: PUSH1 0x20
0000455f: DUP6
00004560: ADD
00004561: CALLDATALOAD
00004562: SWAP2
00004563: POP
00004564: DUP1
00004565: DUP3
00004566: GT
00004567: ISZERO
00004568: PUSH2 0x4570
0000456b: JUMPI
0000456c: PUSH1 0x00
0000456e: DUP1
0000456f: REVERT
00004570: JUMPDEST
00004571: POP
00004572: PUSH2 0x457d
00004575: DUP6
00004576: DUP3
00004577: DUP7
00004578: ADD
00004579: PUSH2 0x4424
0000457c: JUMP
0000457d: JUMPDEST
0000457e: SWAP2
0000457f: POP
00004580: POP
00004581: SWAP3
00004582: POP
00004583: SWAP3
00004584: SWAP1
00004585: POP
00004586: JUMP
00004587: JUMPDEST
00004588: PUSH1 0x00
0000458a: PUSH1 0x20
0000458c: DUP3
0000458d: DUP5
0000458e: SUB
0000458f: SLT
00004590: ISZERO
00004591: PUSH2 0x4599
00004594: JUMPI
00004595: PUSH1 0x00
00004597: DUP1
00004598: REVERT
00004599: JUMPDEST
0000459a: POP
0000459b: CALLDATALOAD
0000459c: SWAP2
0000459d: SWAP1
0000459e: POP
0000459f: JUMP
000045a0: JUMPDEST
000045a1: PUSH1 0x00
000045a3: PUSH1 0x20
000045a5: DUP3
000045a6: DUP5
000045a7: SUB
000045a8: SLT
000045a9: ISZERO
000045aa: PUSH2 0x45b2
000045ad: JUMPI
000045ae: PUSH1 0x00
000045b0: DUP1
000045b1: REVERT
000045b2: JUMPDEST
000045b3: DUP2
000045b4: CALLDATALOAD
000045b5: PUSH2 0x150f
000045b8: DUP2
000045b9: PUSH2 0x422f
000045bc: JUMP
000045bd: JUMPDEST
000045be: PUSH1 0x00
000045c0: DUP1
000045c1: PUSH1 0x40
000045c3: DUP4
000045c4: DUP6
000045c5: SUB
000045c6: SLT
000045c7: ISZERO
000045c8: PUSH2 0x45d0
000045cb: JUMPI
000045cc: PUSH1 0x00
000045ce: DUP1
000045cf: REVERT
000045d0: JUMPDEST
000045d1: DUP3
000045d2: CALLDATALOAD
000045d3: PUSH2 0x45db
000045d6: DUP2
000045d7: PUSH2 0x422f
000045da: JUMP
000045db: JUMPDEST
000045dc: SWAP2
000045dd: POP
000045de: PUSH1 0x20
000045e0: DUP4
000045e1: ADD
000045e2: CALLDATALOAD
000045e3: PUSH2 0x45eb
000045e6: DUP2
000045e7: PUSH2 0x422f
000045ea: JUMP
000045eb: JUMPDEST
000045ec: DUP1
000045ed: SWAP2
000045ee: POP
000045ef: POP
000045f0: SWAP3
000045f1: POP
000045f2: SWAP3
000045f3: SWAP1
000045f4: POP
000045f5: JUMP
000045f6: JUMPDEST
000045f7: PUSH1 0x00
000045f9: DUP1
000045fa: PUSH1 0x00
000045fc: DUP1
000045fd: PUSH1 0x80
000045ff: DUP6
00004600: DUP8
00004601: SUB
00004602: SLT
00004603: ISZERO
00004604: PUSH2 0x460c
00004607: JUMPI
00004608: PUSH1 0x00
0000460a: DUP1
0000460b: REVERT
0000460c: JUMPDEST
0000460d: DUP5
0000460e: CALLDATALOAD
0000460f: SWAP4
00004610: POP
00004611: PUSH1 0x20
00004613: DUP6
00004614: ADD
00004615: CALLDATALOAD
00004616: PUSH2 0x461e
00004619: DUP2
0000461a: PUSH2 0x422f
0000461d: JUMP
0000461e: JUMPDEST
0000461f: SWAP4
00004620: SWAP7
00004621: SWAP4
00004622: SWAP6
00004623: POP
00004624: POP
00004625: POP
00004626: POP
00004627: PUSH1 0x40
00004629: DUP3
0000462a: ADD
0000462b: CALLDATALOAD
0000462c: SWAP2
0000462d: PUSH1 0x60
0000462f: ADD
00004630: CALLDATALOAD
00004631: SWAP1
00004632: JUMP
00004633: JUMPDEST
00004634: DUP1
00004635: MLOAD
00004636: PUSH10 0xffffffffffffffffffff
00004641: DUP2
00004642: AND
00004643: DUP2
00004644: EQ
00004645: PUSH2 0x464d
00004648: JUMPI
00004649: PUSH1 0x00
0000464b: DUP1
0000464c: REVERT
0000464d: JUMPDEST
0000464e: SWAP2
0000464f: SWAP1
00004650: POP
00004651: JUMP
00004652: JUMPDEST
00004653: PUSH1 0x00
00004655: DUP1
00004656: PUSH1 0x00
00004658: DUP1
00004659: PUSH1 0x00
0000465b: PUSH1 0xa0
0000465d: DUP7
0000465e: DUP9
0000465f: SUB
00004660: SLT
00004661: ISZERO
00004662: PUSH2 0x466a
00004665: JUMPI
00004666: PUSH1 0x00
00004668: DUP1
00004669: REVERT
0000466a: JUMPDEST
0000466b: PUSH2 0x4673
0000466e: DUP7
0000466f: PUSH2 0x4633
00004672: JUMP
00004673: JUMPDEST
00004674: SWAP5
00004675: POP
00004676: PUSH1 0x20
00004678: DUP7
00004679: ADD
0000467a: MLOAD
0000467b: SWAP4
0000467c: POP
0000467d: PUSH1 0x40
0000467f: DUP7
00004680: ADD
00004681: MLOAD
00004682: SWAP3
00004683: POP
00004684: PUSH1 0x60
00004686: DUP7
00004687: ADD
00004688: MLOAD
00004689: SWAP2
0000468a: POP
0000468b: PUSH2 0x4696
0000468e: PUSH1 0x80
00004690: DUP8
00004691: ADD
00004692: PUSH2 0x4633
00004695: JUMP
00004696: JUMPDEST
00004697: SWAP1
00004698: POP
00004699: SWAP3
0000469a: SWAP6
0000469b: POP
0000469c: SWAP3
0000469d: SWAP6
0000469e: SWAP1
0000469f: SWAP4
000046a0: POP
000046a1: JUMP
000046a2: JUMPDEST
000046a3: PUSH1 0x00
000046a5: DUP3
000046a6: PUSH2 0x46d8
000046a9: JUMPI
000046aa: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000046cb: PUSH1 0x00
000046cd: MSTORE
000046ce: PUSH1 0x12
000046d0: PUSH1 0x04
000046d2: MSTORE
000046d3: PUSH1 0x24
000046d5: PUSH1 0x00
000046d7: REVERT
000046d8: JUMPDEST
000046d9: POP
000046da: DIV
000046db: SWAP1
000046dc: JUMP
000046dd: JUMPDEST
000046de: PUSH1 0x00
000046e0: PUSH1 0xa0
000046e2: DUP3
000046e3: DUP5
000046e4: SUB
000046e5: SLT
000046e6: ISZERO
000046e7: PUSH2 0x46ef
000046ea: JUMPI
000046eb: PUSH1 0x00
000046ed: DUP1
000046ee: REVERT
000046ef: JUMPDEST
000046f0: PUSH1 0x40
000046f2: MLOAD
000046f3: PUSH1 0xa0
000046f5: DUP2
000046f6: ADD
000046f7: DUP2
000046f8: DUP2
000046f9: LT
000046fa: PUSH8 0xffffffffffffffff
00004703: DUP3
00004704: GT
00004705: OR
00004706: ISZERO
00004707: PUSH2 0x4712
0000470a: JUMPI
0000470b: PUSH2 0x4712
0000470e: PUSH2 0x427d
00004711: JUMP
00004712: JUMPDEST
00004713: DUP1
00004714: PUSH1 0x40
00004716: MSTORE
00004717: POP
00004718: DUP3
00004719: MLOAD
0000471a: DUP2
0000471b: MSTORE
0000471c: PUSH1 0x20
0000471e: DUP4
0000471f: ADD
00004720: MLOAD
00004721: PUSH1 0x20
00004723: DUP3
00004724: ADD
00004725: MSTORE
00004726: PUSH1 0x40
00004728: DUP4
00004729: ADD
0000472a: MLOAD
0000472b: PUSH1 0x40
0000472d: DUP3
0000472e: ADD
0000472f: MSTORE
00004730: PUSH1 0x60
00004732: DUP4
00004733: ADD
00004734: MLOAD
00004735: PUSH1 0x60
00004737: DUP3
00004738: ADD
00004739: MSTORE
0000473a: PUSH1 0x80
0000473c: DUP4
0000473d: ADD
0000473e: MLOAD
0000473f: PUSH1 0x80
00004741: DUP3
00004742: ADD
00004743: MSTORE
00004744: DUP1
00004745: SWAP2
00004746: POP
00004747: POP
00004748: SWAP3
00004749: SWAP2
0000474a: POP
0000474b: POP
0000474c: JUMP
0000474d: JUMPDEST
0000474e: PUSH1 0x01
00004750: DUP2
00004751: DUP2
00004752: SHR
00004753: SWAP1
00004754: DUP3
00004755: AND
00004756: DUP1
00004757: PUSH2 0x4761
0000475a: JUMPI
0000475b: PUSH1 0x7f
0000475d: DUP3
0000475e: AND
0000475f: SWAP2
00004760: POP
00004761: JUMPDEST
00004762: PUSH1 0x20
00004764: DUP3
00004765: LT
00004766: DUP2
00004767: EQ
00004768: ISZERO
00004769: PUSH2 0x479b
0000476c: JUMPI
0000476d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000478e: PUSH1 0x00
00004790: MSTORE
00004791: PUSH1 0x22
00004793: PUSH1 0x04
00004795: MSTORE
00004796: PUSH1 0x24
00004798: PUSH1 0x00
0000479a: REVERT
0000479b: JUMPDEST
0000479c: POP
0000479d: SWAP2
0000479e: SWAP1
0000479f: POP
000047a0: JUMP
000047a1: JUMPDEST
000047a2: PUSH1 0x00
000047a4: DUP3
000047a5: NOT
000047a6: DUP3
000047a7: GT
000047a8: ISZERO
000047a9: PUSH2 0x47b4
000047ac: JUMPI
000047ad: PUSH2 0x47b4
000047b0: PUSH2 0x4017
000047b3: JUMP
000047b4: JUMPDEST
000047b5: POP
000047b6: ADD
000047b7: SWAP1
000047b8: JUMP
000047b9: JUMPDEST
000047ba: PUSH1 0x00
000047bc: DUP1
000047bd: PUSH1 0x00
000047bf: DUP1
000047c0: PUSH1 0x80
000047c2: DUP6
000047c3: DUP8
000047c4: SUB
000047c5: SLT
000047c6: ISZERO
000047c7: PUSH2 0x47cf
000047ca: JUMPI
000047cb: PUSH1 0x00
000047cd: DUP1
000047ce: REVERT
000047cf: JUMPDEST
000047d0: DUP5
000047d1: MLOAD
000047d2: PUSH2 0x47da
000047d5: DUP2
000047d6: PUSH2 0x422f
000047d9: JUMP
000047da: JUMPDEST
000047db: PUSH1 0x20
000047dd: DUP7
000047de: ADD
000047df: MLOAD
000047e0: PUSH1 0x40
000047e2: DUP8
000047e3: ADD
000047e4: MLOAD
000047e5: PUSH1 0x60
000047e7: SWAP1
000047e8: SWAP8
000047e9: ADD
000047ea: MLOAD
000047eb: SWAP2
000047ec: SWAP9
000047ed: SWAP1
000047ee: SWAP8
000047ef: POP
000047f0: SWAP1
000047f1: SWAP5
000047f2: POP
000047f3: SWAP3
000047f4: POP
000047f5: POP
000047f6: POP
000047f7: JUMP
000047f8: JUMPDEST
000047f9: PUSH1 0x00
000047fb: PUSH1 0x20
000047fd: DUP3
000047fe: DUP5
000047ff: SUB
00004800: SLT
00004801: ISZERO
00004802: PUSH2 0x480a
00004805: JUMPI
00004806: PUSH1 0x00
00004808: DUP1
00004809: REVERT
0000480a: JUMPDEST
0000480b: DUP2
0000480c: MLOAD
0000480d: DUP1
0000480e: ISZERO
0000480f: ISZERO
00004810: DUP2
00004811: EQ
00004812: PUSH2 0x150f
00004815: JUMPI
00004816: PUSH1 0x00
00004818: DUP1
00004819: REVERT
0000481a: JUMPDEST
0000481b: PUSH1 0x00
0000481d: PUSH1 0x60
0000481f: DUP3
00004820: ADD
00004821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004836: DUP1
00004837: DUP8
00004838: AND
00004839: DUP5
0000483a: MSTORE
0000483b: PUSH1 0x20
0000483d: PUSH1 0x60
0000483f: DUP2
00004840: DUP7
00004841: ADD
00004842: MSTORE
00004843: DUP3
00004844: DUP8
00004845: MLOAD
00004846: DUP1
00004847: DUP6
00004848: MSTORE
00004849: PUSH1 0x80
0000484b: DUP8
0000484c: ADD
0000484d: SWAP2
0000484e: POP
0000484f: DUP3
00004850: DUP10
00004851: ADD
00004852: SWAP5
00004853: POP
00004854: PUSH1 0x00
00004856: JUMPDEST
00004857: DUP2
00004858: DUP2
00004859: LT
0000485a: ISZERO
0000485b: PUSH2 0x4874
0000485e: JUMPI
0000485f: DUP6
00004860: MLOAD
00004861: DUP6
00004862: AND
00004863: DUP4
00004864: MSTORE
00004865: SWAP5
00004866: DUP4
00004867: ADD
00004868: SWAP5
00004869: SWAP2
0000486a: DUP4
0000486b: ADD
0000486c: SWAP2
0000486d: PUSH1 0x01
0000486f: ADD
00004870: PUSH2 0x4856
00004873: JUMP
00004874: JUMPDEST
00004875: POP
00004876: POP
00004877: DUP1
00004878: SWAP5
00004879: POP
0000487a: POP
0000487b: POP
0000487c: DUP1
0000487d: DUP6
0000487e: AND
0000487f: PUSH1 0x40
00004881: DUP6
00004882: ADD
00004883: MSTORE
00004884: POP
00004885: POP
00004886: SWAP5
00004887: SWAP4
00004888: POP
00004889: POP
0000488a: POP
0000488b: POP
0000488c: JUMP
0000488d: JUMPDEST
0000488e: PUSH1 0x00
00004890: PUSH1 0x20
00004892: DUP3
00004893: DUP5
00004894: SUB
00004895: SLT
00004896: ISZERO
00004897: PUSH2 0x489f
0000489a: JUMPI
0000489b: PUSH1 0x00
0000489d: DUP1
0000489e: REVERT
0000489f: JUMPDEST
000048a0: POP
000048a1: MLOAD
000048a2: SWAP2
000048a3: SWAP1
000048a4: POP
000048a5: JUMP
000048a6: JUMPDEST
000048a7: PUSH1 0x00
000048a9: DUP3
000048aa: DUP3
000048ab: LT
000048ac: ISZERO
000048ad: PUSH2 0x48b8
000048b0: JUMPI
000048b1: PUSH2 0x48b8
000048b4: PUSH2 0x4017
000048b7: JUMP
000048b8: JUMPDEST
000048b9: POP
000048ba: SUB
000048bb: SWAP1
000048bc: JUMP
000048bd: JUMPDEST
000048be: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000048df: PUSH1 0x00
000048e1: MSTORE
000048e2: PUSH1 0x32
000048e4: PUSH1 0x04
000048e6: MSTORE
000048e7: PUSH1 0x24
000048e9: PUSH1 0x00
000048eb: REVERT
000048ec: JUMPDEST
000048ed: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000490e: PUSH1 0x00
00004910: MSTORE
00004911: PUSH1 0x31
00004913: PUSH1 0x04
00004915: MSTORE
00004916: PUSH1 0x24
00004918: PUSH1 0x00
0000491a: REVERT
0000491b: JUMPDEST
0000491c: PUSH1 0x00
0000491e: DUP3
0000491f: MLOAD
00004920: PUSH2 0x492d
00004923: DUP2
00004924: DUP5
00004925: PUSH1 0x20
00004927: DUP8
00004928: ADD
00004929: PUSH2 0x41b2
0000492c: JUMP
0000492d: JUMPDEST
0000492e: SWAP2
0000492f: SWAP1
00004930: SWAP2
00004931: ADD
00004932: SWAP3
00004933: SWAP2
00004934: POP
00004935: POP
00004936: JUMP
00004937: INVALID
00004938: COINBASE
00004939: PUSH5 0x6472657373
0000493f: GASPRICE
00004940: KECCAK256
00004941: PUSH13 0x6f772d6c6576656c2064656c65
0000494f: PUSH8 0x6174652063616c6c
00004958: KECCAK256
00004959: PUSH7 0x61696c6564a264
00004961: PUSH10 0x706673582212207d7560
0000496c: UNKNOWN(0x4E)
0000496d: UNKNOWN(0xDE)
0000496e: ADD
0000496f: UNKNOWN(0xEB)
00004970: PUSH10 0x2898a2ae301dd2594368
0000497b: UNKNOWN(0xA7)
0000497c: UNKNOWN(0xC2)
0000497d: UNKNOWN(0x26)
0000497e: DUP14
0000497f: PUSH3 0x747ddc
00004983: PUSH29