Analysis Run

[codex:602888] OpenAI Codex v0.77.0 (research preview)
[codex:602888] --------
[codex:602888] workdir: /tmp/codex-multi-kj_n60ma
[codex:602888] model: gpt-5.2-codex
[codex:602888] provider: openai
[codex:602888] approval: never
[codex:602888] sandbox: read-only
[codex:602888] reasoning effort: xhigh
[codex:602888] reasoning summaries: auto
[codex:602888] session id: 019b7700-c206-74f1-95d7-49a3d49a963a
[codex:602888] --------
[codex:602888] user
[codex:602888] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:602888] 
[codex:602888] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:602888] 
[codex:602888] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:602888] - Gas inefficiency, code quality, naming, or best practices
[codex:602888] - Theoretical vulnerabilities without a clear extraction path
[codex:602888] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:602888] - Front-running unless it enables theft beyond MEV
[codex:602888] - DoS, griefing, or issues that don't result in attacker profit
[codex:602888] - Missing events, view function issues, or informational findings
[codex:602888] 
[codex:602888] HIGH-VALUE PATTERNS TO HUNT:
[codex:602888] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:602888] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:602888] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:602888] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:602888] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:602888] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:602888] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:602888] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:602888] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:602888] 
[codex:602888] For each finding, you MUST provide:
[codex:602888] 1. Exact file and line numbers of vulnerable code
[codex:602888] 2. Step-by-step exploit transaction sequence
[codex:602888] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:602888] 
[codex:602888] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:602888] 
[codex:602888] Output MUST be valid JSON matching the provided schema.
[codex:602888] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:602888] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:602888] mcp startup: no servers
[codex:602888] 
[codex:602888] thinking
[codex:602888] **Preparing to read AUDIT_BUNDLE.txt**
[codex:602888] exec
[codex:602888] /bin/bash -lc ls in /tmp/codex-multi-kj_n60ma succeeded in 5ms:
[codex:602888] AUDIT_BUNDLE.txt
[codex:602888] codex-output-schema.json
[codex:602888] contracts
[codex:602888] exec
[codex:602888] /bin/bash -lc 'rg -n "" AUDIT_BUNDLE.txt' in /tmp/codex-multi-kj_n60ma succeeded in 7ms:
[codex:602888] 1:This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:602888] 2:
[codex:602888] 3:================================================================================
[codex:602888] 4:FILE: contracts/@aave/aave-stake-v2/contracts/interfaces/IAaveDistributionManager.sol
[codex:602888] 5:================================================================================
[codex:602888] 6:// SPDX-License-Identifier: agpl-3.0
[codex:602888] 7:pragma solidity 0.7.5;
[codex:602888] 8:pragma experimental ABIEncoderV2;
[codex:602888] 9:
[codex:602888] 10:import {DistributionTypes} from '../lib/DistributionTypes.sol';
[codex:602888] 11:
[codex:602888] 12:interface IAaveDistributionManager {
[codex:602888] 13:  function configureAssets(DistributionTypes.AssetConfigInput[] calldata assetsConfigInput)
[codex:602888] 14:    external;
[codex:602888] 15:}
[codex:602888] 16:
[codex:602888] 17:================================================================================
[codex:602888] 18:FILE: contracts/@aave/aave-stake-v2/contracts/interfaces/IERC20.sol
[codex:602888] 19:================================================================================
[codex:602888] 20:// SPDX-License-Identifier: MIT
[codex:602888] 
[codex:602888] thinking
[codex:602888] **Searching for relevant contracts**
[codex:602888] exec
[codex:602888] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-kj_n60ma succeeded in 7ms:
[codex:602888] 4:FILE: contracts/@aave/aave-stake-v2/contracts/interfaces/IAaveDistributionManager.sol
[codex:602888] 18:FILE: contracts/@aave/aave-stake-v2/contracts/interfaces/IERC20.sol
[codex:602888] 103:FILE: contracts/@aave/aave-stake-v2/contracts/interfaces/IERC20Detailed.sol
[codex:602888] 122:FILE: contracts/@aave/aave-stake-v2/contracts/interfaces/IStakedAave.sol
[codex:602888] 138:FILE: contracts/@aave/aave-stake-v2/contracts/interfaces/ITransferHook.sol
[codex:602888] 152:FILE: contracts/@aave/aave-stake-v2/contracts/stake/AaveDistributionManager.sol
[codex:602888] 401:FILE: contracts/@aave/aave-stake-v2/contracts/utils/VersionedInitializable.sol
[codex:602888] 447:FILE: contracts/@aave/aave-token/contracts/interfaces/IERC20.sol
[codex:602888] 527:FILE: contracts/@aave/aave-token/contracts/interfaces/IGovernancePowerDelegationToken.sol
[codex:602888] 605:FILE: contracts/@aave/aave-token/contracts/open-zeppelin/Address.sol
[codex:602888] 667:FILE: contracts/@aave/aave-token/contracts/open-zeppelin/Context.sol
[codex:602888] 695:FILE: contracts/@aave/aave-token/contracts/open-zeppelin/ERC20.sol
[codex:602888] 1006:FILE: contracts/@aave/aave-token/contracts/open-zeppelin/SafeMath.sol
[codex:602888] 1160:FILE: contracts/@aave/aave-token/contracts/token/base/GovernancePowerDelegationERC20.sol
[codex:602888] 1477:FILE: contracts/contracts/safety-module/LyraUsdcSafetyModuleMigration.sol
[codex:602888] 1571:FILE: contracts/contracts/safety-module/VirtualAAVEStakedToken.sol
[codex:602888] 
[codex:602888] thinking
[codex:602888] **Inspecting LyraUsdcSafetyModuleMigration.sol contract**
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '1470,1575p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 7ms:
[codex:602888]     }
[codex:602888] 
[codex:602888]     return previousDelegatee;
[codex:602888]   }
[codex:602888] }
[codex:602888] 
[codex:602888] ================================================================================
[codex:602888] FILE: contracts/contracts/safety-module/LyraUsdcSafetyModuleMigration.sol
[codex:602888] ================================================================================
[codex:602888] // SPDX-License-Identifier: agpl-3.0
[codex:602888] pragma solidity 0.7.5;
[codex:602888] pragma experimental ABIEncoderV2;
[codex:602888] 
[codex:602888] import { VirtualAAVEStakedToken } from "./VirtualAAVEStakedToken.sol";
[codex:602888] import { IERC20 } from "@aave/aave-stake-v2/contracts/interfaces/IERC20.sol";
[codex:602888] import { SafeMath } from "@aave/aave-stake-v2/contracts/lib/SafeMath.sol";
[codex:602888] import { SafeERC20 } from "@aave/aave-stake-v2/contracts/lib/SafeERC20.sol";
[codex:602888] 
[codex:602888] /**
[codex:602888]  * @title LyraSafetyModule
[codex:602888] 
[codex:602888] thinking
[codex:602888] **Assessing staking contracts for vulnerabilities**
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '695,930p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 6ms:
[codex:602888] FILE: contracts/@aave/aave-token/contracts/open-zeppelin/ERC20.sol
[codex:602888] ================================================================================
[codex:602888] // SPDX-License-Identifier: MIT
[codex:602888] 
[codex:602888] pragma solidity ^0.7.5;
[codex:602888] 
[codex:602888] import "./Context.sol";
[codex:602888] import "../interfaces/IERC20.sol";
[codex:602888] import "./SafeMath.sol";
[codex:602888] import "./Address.sol";
[codex:602888] 
[codex:602888] /**
[codex:602888]  * @dev Implementation of the {IERC20} interface.
[codex:602888]  *
[codex:602888]  * This implementation is agnostic to the way tokens are created. This means
[codex:602888]  * that a supply mechanism has to be added in a derived contract using {_mint}.
[codex:602888]  * For a generic mechanism see {ERC20PresetMinterPauser}.
[codex:602888]  *
[codex:602888]  * TIP: For a detailed writeup see our guide
[codex:602888]  * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '930,1120p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 5ms:
[codex:602888]         _totalSupply = _totalSupply.add(amount);
[codex:602888]         _balances[account] = _balances[account].add(amount);
[codex:602888]         emit Transfer(address(0), account, amount);
[codex:602888]     }
[codex:602888] 
[codex:602888]     /**
[codex:602888]      * @dev Destroys `amount` tokens from `account`, reducing the
[codex:602888]      * total supply.
[codex:602888]      *
[codex:602888]      * Emits a {Transfer} event with `to` set to the zero address.
[codex:602888]      *
[codex:602888]      * Requirements
[codex:602888]      *
[codex:602888]      * - `account` cannot be the zero address.
[codex:602888]      * - `account` must have at least `amount` tokens.
[codex:602888]      */
[codex:602888]     function _burn(address account, uint256 amount) internal virtual {
[codex:602888]         require(account != address(0), "ERC20: burn from the zero address");
[codex:602888] 
[codex:602888]         _beforeTokenTransfer(account, address(0), amount);
[codex:602888] 
[codex:602888] 
[codex:602888] thinking
[codex:602888] **Examining staking reward distribution vulnerabilities**
[codex:602888] thinking
[codex:602888] **Investigating cooldown and reentrancy edge cases**
[codex:602888] 
[codex:602888] I'm analyzing cooldown logic around token transfers and redeems, including potential shadowed variables and underflow risks in timestamp calculations. I’m also exploring whether reentrancy through external hooks or malicious token transfers could enable minting or redeeming without proper balances, and checking if staking on behalf of others or missing cooldown checks in migration could create loopholes. The interplay of staking, redeeming, and claimRewards timing might expose subtle margin for manipulation, though many protections seem in place.
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '1160,1470p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 7ms:
[codex:602888] FILE: contracts/@aave/aave-token/contracts/token/base/GovernancePowerDelegationERC20.sol
[codex:602888] ================================================================================
[codex:602888] // SPDX-License-Identifier: agpl-3.0
[codex:602888] pragma solidity 0.7.5;
[codex:602888] 
[codex:602888] import {SafeMath} from '../../open-zeppelin/SafeMath.sol';
[codex:602888] import {ERC20} from '../../open-zeppelin/ERC20.sol';
[codex:602888] import {
[codex:602888]   IGovernancePowerDelegationToken
[codex:602888] } from '../../interfaces/IGovernancePowerDelegationToken.sol';
[codex:602888] 
[codex:602888] /**
[codex:602888]  * @notice implementation of the AAVE token contract
[codex:602888]  * @author Aave
[codex:602888]  */
[codex:602888] abstract contract GovernancePowerDelegationERC20 is ERC20, IGovernancePowerDelegationToken {
[codex:602888]   using SafeMath for uint256;
[codex:602888]   /// @notice The EIP-712 typehash for the delegation struct used by the contract
[codex:602888]   bytes32 public constant DELEGATE_BY_TYPE_TYPEHASH = keccak256(
[codex:602888]     'DelegateByType(address delegatee,uint256 type,uint256 nonce,uint256 expiry)'
[codex:602888] 
[codex:602888] thinking
[codex:602888] **Analyzing potential contract vulnerabilities**
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '1,300p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 6ms:
[codex:602888] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:602888] 
[codex:602888] ================================================================================
[codex:602888] FILE: contracts/@aave/aave-stake-v2/contracts/interfaces/IAaveDistributionManager.sol
[codex:602888] ================================================================================
[codex:602888] // SPDX-License-Identifier: agpl-3.0
[codex:602888] pragma solidity 0.7.5;
[codex:602888] pragma experimental ABIEncoderV2;
[codex:602888] 
[codex:602888] import {DistributionTypes} from '../lib/DistributionTypes.sol';
[codex:602888] 
[codex:602888] interface IAaveDistributionManager {
[codex:602888]   function configureAssets(DistributionTypes.AssetConfigInput[] calldata assetsConfigInput)
[codex:602888]     external;
[codex:602888] }
[codex:602888] 
[codex:602888] ================================================================================
[codex:602888] FILE: contracts/@aave/aave-stake-v2/contracts/interfaces/IERC20.sol
[codex:602888] ================================================================================
[codex:602888] // SPDX-License-Identifier: MIT
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '300,600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 6ms:
[codex:602888]         _updateUserAssetInternal(
[codex:602888]           user,
[codex:602888]           stakes[i].underlyingAsset,
[codex:602888]           stakes[i].stakedByUser,
[codex:602888]           stakes[i].totalStaked
[codex:602888]         )
[codex:602888]       );
[codex:602888]     }
[codex:602888] 
[codex:602888]     return accruedRewards;
[codex:602888]   }
[codex:602888] 
[codex:602888]   /**
[codex:602888]    * @dev Return the accrued rewards for an user over a list of distribution
[codex:602888]    * @param user The address of the user
[codex:602888]    * @param stakes List of structs of the user data related with his stake
[codex:602888]    * @return The accrued rewards for the user until the moment
[codex:602888]    **/
[codex:602888]   function _getUnclaimedRewards(address user, DistributionTypes.UserStakeInput[] memory stakes)
[codex:602888]     internal
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '600,900p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 6ms:
[codex:602888]   **/
[codex:602888]   function totalSupplyAt(uint256 blockNumber) external virtual view returns (uint256);
[codex:602888] }
[codex:602888] 
[codex:602888] ================================================================================
[codex:602888] FILE: contracts/@aave/aave-token/contracts/open-zeppelin/Address.sol
[codex:602888] ================================================================================
[codex:602888] pragma solidity ^0.7.5;
[codex:602888] 
[codex:602888] /**
[codex:602888]  * @dev Collection of functions related to the address type
[codex:602888]  */
[codex:602888] library Address {
[codex:602888]     /**
[codex:602888]      * @dev Returns true if `account` is a contract.
[codex:602888]      *
[codex:602888]      * [IMPORTANT]
[codex:602888]      * ====
[codex:602888]      * It is unsafe to assume that an address for which this function returns
[codex:602888]      * false is an externally-owned account (EOA) and not a contract.
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '900,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 5ms:
[codex:602888]      *
[codex:602888]      * - `sender` cannot be the zero address.
[codex:602888]      * - `recipient` cannot be the zero address.
[codex:602888]      * - `sender` must have a balance of at least `amount`.
[codex:602888]      */
[codex:602888]     function _transfer(address sender, address recipient, uint256 amount) internal virtual {
[codex:602888]         require(sender != address(0), "ERC20: transfer from the zero address");
[codex:602888]         require(recipient != address(0), "ERC20: transfer to the zero address");
[codex:602888] 
[codex:602888]         _beforeTokenTransfer(sender, recipient, amount);
[codex:602888] 
[codex:602888]         _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
[codex:602888]         _balances[recipient] = _balances[recipient].add(amount);
[codex:602888]         emit Transfer(sender, recipient, amount);
[codex:602888]     }
[codex:602888] 
[codex:602888]     /** @dev Creates `amount` tokens and assigns them to `account`, increasing
[codex:602888]      * the total supply.
[codex:602888]      *
[codex:602888]      * Emits a {Transfer} event with `from` set to the zero address.
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '1200,1500p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 5ms:
[codex:602888] 
[codex:602888]   /**
[codex:602888]    * @dev delegates all the powers to a specific user
[codex:602888]    * @param delegatee the user to which the power will be delegated
[codex:602888]    **/
[codex:602888]   function delegate(address delegatee) external override {
[codex:602888]     _delegateByType(msg.sender, delegatee, DelegationType.VOTING_POWER);
[codex:602888]     _delegateByType(msg.sender, delegatee, DelegationType.PROPOSITION_POWER);
[codex:602888]   }
[codex:602888] 
[codex:602888]   /**
[codex:602888]    * @dev returns the delegatee of an user
[codex:602888]    * @param delegator the address of the delegator
[codex:602888]    **/
[codex:602888]   function getDelegateeByType(address delegator, DelegationType delegationType)
[codex:602888]     external
[codex:602888]     override
[codex:602888]     view
[codex:602888]     returns (address)
[codex:602888]   {
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '1500,1800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 5ms:
[codex:602888] 
[codex:602888]   constructor(
[codex:602888]     IERC20 stakedToken,
[codex:602888]     IERC20 rewardToken,
[codex:602888]     uint256 cooldownSeconds,
[codex:602888]     uint256 unstakeWindow,
[codex:602888]     address rewardsVault,
[codex:602888]     address emissionManager,
[codex:602888]     uint128 distributionDuration
[codex:602888]   )
[codex:602888]     public
[codex:602888]     VirtualAAVEStakedToken(
[codex:602888]       stakedToken,
[codex:602888]       rewardToken,
[codex:602888]       cooldownSeconds,
[codex:602888]       unstakeWindow,
[codex:602888]       rewardsVault,
[codex:602888]       emissionManager,
[codex:602888]       distributionDuration,
[codex:602888]       NAME,
[codex:602888] exec
[codex:602888] /bin/bash -lc "sed -n '1800,2100p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-kj_n60ma succeeded in 5ms:
[codex:602888]     super._transfer(from, to, amount);
[codex:602888]   }
[codex:602888] 
[codex:602888]   /**
[codex:602888]    * @dev Updates the user state related with his accrued rewards
[codex:602888]    * @param user Address of the user
[codex:602888]    * @param userBalance The current balance of the user
[codex:602888]    * @param updateStorage Boolean flag used to update or not the stakerRewardsToClaim of the user
[codex:602888]    * @return The unclaimed rewards that were added to the total accrued
[codex:602888]    **/
[codex:602888]   function _updateCurrentUnclaimedRewards(
[codex:602888]     address user,
[codex:602888]     uint256 userBalance,
[codex:602888]     bool updateStorage
[codex:602888]   ) internal returns (uint256) {
[codex:602888]     uint256 accruedRewards = _updateUserAssetInternal(user, address(this), userBalance, totalSupply());
[codex:602888]     uint256 unclaimedRewards = stakerRewardsToClaim[user].add(accruedRewards);
[codex:602888] 
[codex:602888]     if (accruedRewards != 0) {
[codex:602888]       if (updateStorage) {
[codex:602888] 
[codex:602888] 
[codex:602888] thinking
[codex:602888] **Evaluating potential exploits and vulnerabilities**
[codex:602888] 
[codex:602888] I’m carefully checking all possible attack vectors like reentrancy, cooldown bypasses, token transfer quirks, and governance interactions to find any exploitable profit paths. After thorough analysis, I conclude there’s no concrete way to extract profit here, so I’ll prepare a JSON output stating no findings.
[codex:602888] thinking
[codex:602888] **Confirming absence of exploitable issues**
[codex:602888] 
[codex:602888] I’m verifying subtle risks around permit signatures, initialization quirks, and cooldown manipulation, but none translate into profitable exploits. After examining admin roles and contract interactions, I conclude no concrete exploit paths exist and will prepare the required JSON output confirming this.
[codex:602888] exec
[codex:602888] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-kj_n60ma succeeded in 8ms:
[codex:602888] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:602888] 
[codex:602888] thinking
[codex:602888] **Evaluating potential exploits and JSON formatting**
[codex:602888] 
[codex:602888] I'm carefully walking through a tricky Aave staking reentrancy scenario, checking if an attacker could profit by exploiting the order of mint and transfer calls, especially with ERC777 hooks involved. After thorough reasoning, it seems no net profit emerges from reentrancy due to transferFrom happening after redeem. I also confirm the output JSON must include summary even when findings are empty, strictly following the schema, and prepare to craft the final JSON output accordingly.
[codex:602888] codex
[codex:602888] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts.","findings":[]}
[codex:602888] tokens used
[codex:602888] 116,547
[codex:602888] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T00:47:43.566531+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x02d6
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x919cd40f
00000026: GT
00000027: PUSH2 0x0182
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xb2f4201d
00000031: GT
00000032: PUSH2 0x00e9
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd505accf
0000003c: GT
0000003d: PUSH2 0x00a2
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xdde43cba
00000047: GT
00000048: PUSH2 0x007c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xdde43cba
00000052: EQ
00000053: PUSH2 0x05ce
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf11b8188
0000005d: EQ
0000005e: PUSH2 0x05d6
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf1cc432a
00000068: EQ
00000069: PUSH2 0x05f8
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xf713d8a8
00000073: EQ
00000074: PUSH2 0x060b
00000077: JUMPI
00000078: PUSH2 0x02d6
0000007b: JUMP
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0xd505accf
00000083: EQ
00000084: PUSH2 0x0595
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xdc937e1c
0000008e: EQ
0000008f: PUSH2 0x05a8
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xdd62ed3e
00000099: EQ
0000009a: PUSH2 0x05bb
0000009d: JUMPI
0000009e: PUSH2 0x02d6
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0xb2f4201d
000000a9: EQ
000000aa: PUSH2 0x0539
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xb9844d8d
000000b4: EQ
000000b5: PUSH2 0x054c
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xc2ffbb91
000000bf: EQ
000000c0: PUSH2 0x055f
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xc3863ada
000000ca: EQ
000000cb: PUSH2 0x0572
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xc3cda520
000000d5: EQ
000000d6: PUSH2 0x057a
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xcbcbb507
000000e0: EQ
000000e1: PUSH2 0x058d
000000e4: JUMPI
000000e5: PUSH2 0x02d6
000000e8: JUMP
000000e9: JUMPDEST
000000ea: DUP1
000000eb: PUSH4 0xa457c2d7
000000f0: GT
000000f1: PUSH2 0x013b
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0xa457c2d7
000000fb: EQ
000000fc: PUSH2 0x04dd
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0xa9059cbb
00000106: EQ
00000107: PUSH2 0x04f0
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0xaa9fbe02
00000111: EQ
00000112: PUSH2 0x0503
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0xaaf5eb68
0000011c: EQ
0000011d: PUSH2 0x050b
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0xadc9772e
00000127: EQ
00000128: PUSH2 0x0513
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0xb2a5dbfa
00000132: EQ
00000133: PUSH2 0x0526
00000136: JUMPI
00000137: PUSH2 0x02d6
0000013a: JUMP
0000013b: JUMPDEST
0000013c: DUP1
0000013d: PUSH4 0x919cd40f
00000142: EQ
00000143: PUSH2 0x0497
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0x946776cd
0000014d: EQ
0000014e: PUSH2 0x049f
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0x95d89b41
00000158: EQ
00000159: PUSH2 0x04a7
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0x981b24d0
00000163: EQ
00000164: PUSH2 0x04af
00000167: JUMPI
00000168: DUP1
00000169: PUSH4 0x99248ea7
0000016e: EQ
0000016f: PUSH2 0x04c2
00000172: JUMPI
00000173: DUP1
00000174: PUSH4 0x9a99b4f0
00000179: EQ
0000017a: PUSH2 0x04ca
0000017d: JUMPI
0000017e: PUSH2 0x02d6
00000181: JUMP
00000182: JUMPDEST
00000183: DUP1
00000184: PUSH4 0x3644e515
00000189: GT
0000018a: PUSH2 0x0241
0000018d: JUMPI
0000018e: DUP1
0000018f: PUSH4 0x70a08231
00000194: GT
00000195: PUSH2 0x01fa
00000198: JUMPI
00000199: DUP1
0000019a: PUSH4 0x787a08a6
0000019f: GT
000001a0: PUSH2 0x01d4
000001a3: JUMPI
000001a4: DUP1
000001a5: PUSH4 0x787a08a6
000001aa: EQ
000001ab: PUSH2 0x0456
000001ae: JUMPI
000001af: DUP1
000001b0: PUSH4 0x7bb73c97
000001b5: EQ
000001b6: PUSH2 0x045e
000001b9: JUMPI
000001ba: DUP1
000001bb: PUSH4 0x7e90d7ef
000001c0: EQ
000001c1: PUSH2 0x0471
000001c4: JUMPI
000001c5: DUP1
000001c6: PUSH4 0x8dbefee2
000001cb: EQ
000001cc: PUSH2 0x0484
000001cf: JUMPI
000001d0: PUSH2 0x02d6
000001d3: JUMP
000001d4: JUMPDEST
000001d5: DUP1
000001d6: PUSH4 0x70a08231
000001db: EQ
000001dc: PUSH2 0x0433
000001df: JUMPI
000001e0: DUP1
000001e1: PUSH4 0x72b49d63
000001e6: EQ
000001e7: PUSH2 0x0446
000001ea: JUMPI
000001eb: DUP1
000001ec: PUSH4 0x78160376
000001f1: EQ
000001f2: PUSH2 0x044e
000001f5: JUMPI
000001f6: PUSH2 0x02d6
000001f9: JUMP
000001fa: JUMPDEST
000001fb: DUP1
000001fc: PUSH4 0x3644e515
00000201: EQ
00000202: PUSH2 0x03c9
00000205: JUMPI
00000206: DUP1
00000207: PUSH4 0x39509351
0000020c: EQ
0000020d: PUSH2 0x03d1
00000210: JUMPI
00000211: DUP1
00000212: PUSH4 0x41cbf54a
00000217: EQ
00000218: PUSH2 0x03e4
0000021b: JUMPI
0000021c: DUP1
0000021d: PUSH4 0x5b3cc0cf
00000222: EQ
00000223: PUSH2 0x03ec
00000226: JUMPI
00000227: DUP1
00000228: PUSH4 0x5c19a95c
0000022d: EQ
0000022e: PUSH2 0x040d
00000231: JUMPI
00000232: DUP1
00000233: PUSH4 0x6f50458d
00000238: EQ
00000239: PUSH2 0x0420
0000023c: JUMPI
0000023d: PUSH2 0x02d6
00000240: JUMP
00000241: JUMPDEST
00000242: DUP1
00000243: PUSH4 0x23b872dd
00000248: GT
00000249: PUSH2 0x0293
0000024c: JUMPI
0000024d: DUP1
0000024e: PUSH4 0x23b872dd
00000253: EQ
00000254: PUSH2 0x0369
00000257: JUMPI
00000258: DUP1
00000259: PUSH4 0x30adf81f
0000025e: EQ
0000025f: PUSH2 0x037c
00000262: JUMPI
00000263: DUP1
00000264: PUSH4 0x312f6b83
00000269: EQ
0000026a: PUSH2 0x0384
0000026d: JUMPI
0000026e: DUP1
0000026f: PUSH4 0x313ce567
00000274: EQ
00000275: PUSH2 0x0399
00000278: JUMPI
00000279: DUP1
0000027a: PUSH4 0x3373ee4c
0000027f: EQ
00000280: PUSH2 0x03ae
00000283: JUMPI
00000284: DUP1
00000285: PUSH4 0x359c4a96
0000028a: EQ
0000028b: PUSH2 0x03c1
0000028e: JUMPI
0000028f: PUSH2 0x02d6
00000292: JUMP
00000293: JUMPDEST
00000294: DUP1
00000295: PUSH4 0x06fdde03
0000029a: EQ
0000029b: PUSH2 0x02db
0000029e: JUMPI
0000029f: DUP1
000002a0: PUSH4 0x091030c3
000002a5: EQ
000002a6: PUSH2 0x02f9
000002a9: JUMPI
000002aa: DUP1
000002ab: PUSH4 0x095ea7b3
000002b0: EQ
000002b1: PUSH2 0x0319
000002b4: JUMPI
000002b5: DUP1
000002b6: PUSH4 0x1624f6c6
000002bb: EQ
000002bc: PUSH2 0x0339
000002bf: JUMPI
000002c0: DUP1
000002c1: PUSH4 0x18160ddd
000002c6: EQ
000002c7: PUSH2 0x034e
000002ca: JUMPI
000002cb: DUP1
000002cc: PUSH4 0x1e9a6950
000002d1: EQ
000002d2: PUSH2 0x0356
000002d5: JUMPI
000002d6: JUMPDEST
000002d7: PUSH1 0x00
000002d9: DUP1
000002da: REVERT
000002db: JUMPDEST
000002dc: PUSH2 0x02e3
000002df: PUSH2 0x061e
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x40
000002e6: MLOAD
000002e7: PUSH2 0x02f0
000002ea: SWAP2
000002eb: SWAP1
000002ec: PUSH2 0x3539
000002ef: JUMP
000002f0: JUMPDEST
000002f1: PUSH1 0x40
000002f3: MLOAD
000002f4: DUP1
000002f5: SWAP2
000002f6: SUB
000002f7: SWAP1
000002f8: RETURN
000002f9: JUMPDEST
000002fa: PUSH2 0x030c
000002fd: PUSH2 0x0307
00000300: CALLDATASIZE
00000301: PUSH1 0x04
00000303: PUSH2 0x3032
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH2 0x06b4
0000030b: JUMP
0000030c: JUMPDEST
0000030d: PUSH1 0x40
0000030f: MLOAD
00000310: PUSH2 0x02f0
00000313: SWAP2
00000314: SWAP1
00000315: PUSH2 0x3462
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x032c
0000031d: PUSH2 0x0327
00000320: CALLDATASIZE
00000321: PUSH1 0x04
00000323: PUSH2 0x317c
00000326: JUMP
00000327: JUMPDEST
00000328: PUSH2 0x06c6
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH1 0x40
0000032f: MLOAD
00000330: PUSH2 0x02f0
00000333: SWAP2
00000334: SWAP1
00000335: PUSH2 0x3457
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH2 0x034c
0000033d: PUSH2 0x0347
00000340: CALLDATASIZE
00000341: PUSH1 0x04
00000343: PUSH2 0x32a7
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH2 0x06e4
0000034b: JUMP
0000034c: JUMPDEST
0000034d: STOP
0000034e: JUMPDEST
0000034f: PUSH2 0x030c
00000352: PUSH2 0x07f6
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH2 0x034c
0000035a: PUSH2 0x0364
0000035d: CALLDATASIZE
0000035e: PUSH1 0x04
00000360: PUSH2 0x317c
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH2 0x07fc
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH2 0x032c
0000036d: PUSH2 0x0377
00000370: CALLDATASIZE
00000371: PUSH1 0x04
00000373: PUSH2 0x307e
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH2 0x08fd
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH2 0x030c
00000380: PUSH2 0x0917
00000383: JUMP
00000384: JUMPDEST
00000385: PUSH2 0x038c
00000388: PUSH2 0x093b
0000038b: JUMP
0000038c: JUMPDEST
0000038d: PUSH1 0x40
0000038f: MLOAD
00000390: PUSH2 0x02f0
00000393: SWAP2
00000394: SWAP1
00000395: PUSH2 0x3406
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH2 0x03a1
0000039d: PUSH2 0x095f
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH1 0x40
000003a4: MLOAD
000003a5: PUSH2 0x02f0
000003a8: SWAP2
000003a9: SWAP1
000003aa: PUSH2 0x36d6
000003ad: JUMP
000003ae: JUMPDEST
000003af: PUSH2 0x030c
000003b2: PUSH2 0x03bc
000003b5: CALLDATASIZE
000003b6: PUSH1 0x04
000003b8: PUSH2 0x304c
000003bb: JUMP
000003bc: JUMPDEST
000003bd: PUSH2 0x0968
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH2 0x030c
000003c5: PUSH2 0x0998
000003c8: JUMP
000003c9: JUMPDEST
000003ca: PUSH2 0x030c
000003cd: PUSH2 0x09bc
000003d0: JUMP
000003d1: JUMPDEST
000003d2: PUSH2 0x032c
000003d5: PUSH2 0x03df
000003d8: CALLDATASIZE
000003d9: PUSH1 0x04
000003db: PUSH2 0x317c
000003de: JUMP
000003df: JUMPDEST
000003e0: PUSH2 0x09c2
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH2 0x030c
000003e8: PUSH2 0x0a15
000003eb: JUMP
000003ec: JUMPDEST
000003ed: PUSH2 0x03ff
000003f0: PUSH2 0x03fa
000003f3: CALLDATASIZE
000003f4: PUSH1 0x04
000003f6: PUSH2 0x317c
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH2 0x0a39
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH1 0x40
00000402: MLOAD
00000403: PUSH2 0x02f0
00000406: SWAP3
00000407: SWAP2
00000408: SWAP1
00000409: PUSH2 0x3698
0000040c: JUMP
0000040d: JUMPDEST
0000040e: PUSH2 0x034c
00000411: PUSH2 0x041b
00000414: CALLDATASIZE
00000415: PUSH1 0x04
00000417: PUSH2 0x3032
0000041a: JUMP
0000041b: JUMPDEST
0000041c: PUSH2 0x0a6a
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH2 0x038c
00000424: PUSH2 0x042e
00000427: CALLDATASIZE
00000428: PUSH1 0x04
0000042a: PUSH2 0x3122
0000042d: JUMP
0000042e: JUMPDEST
0000042f: PUSH2 0x0a85
00000432: JUMP
00000433: JUMPDEST
00000434: PUSH2 0x030c
00000437: PUSH2 0x0441
0000043a: CALLDATASIZE
0000043b: PUSH1 0x04
0000043d: PUSH2 0x3032
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH2 0x0aa7
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH2 0x030c
0000044a: PUSH2 0x0ac6
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH2 0x02e3
00000452: PUSH2 0x0aea
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH2 0x034c
0000045a: PUSH2 0x0b07
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x030c
00000462: PUSH2 0x046c
00000465: CALLDATASIZE
00000466: PUSH1 0x04
00000468: PUSH2 0x3032
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH2 0x0b11
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH2 0x030c
00000475: PUSH2 0x047f
00000478: CALLDATASIZE
00000479: PUSH1 0x04
0000047b: PUSH2 0x3032
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH2 0x0b23
00000483: JUMP
00000484: JUMPDEST
00000485: PUSH2 0x030c
00000488: PUSH2 0x0492
0000048b: CALLDATASIZE
0000048c: PUSH1 0x04
0000048e: PUSH2 0x3032
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH2 0x0b35
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH2 0x030c
0000049b: PUSH2 0x0be4
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH2 0x038c
000004a3: PUSH2 0x0c08
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH2 0x02e3
000004ab: PUSH2 0x0c2c
000004ae: JUMP
000004af: JUMPDEST
000004b0: PUSH2 0x030c
000004b3: PUSH2 0x04bd
000004b6: CALLDATASIZE
000004b7: PUSH1 0x04
000004b9: PUSH2 0x334c
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH2 0x0c8d
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH2 0x038c
000004c6: PUSH2 0x0c97
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH2 0x034c
000004ce: PUSH2 0x04d8
000004d1: CALLDATASIZE
000004d2: PUSH1 0x04
000004d4: PUSH2 0x317c
000004d7: JUMP
000004d8: JUMPDEST
000004d9: PUSH2 0x0cbb
000004dc: JUMP
000004dd: JUMPDEST
000004de: PUSH2 0x032c
000004e1: PUSH2 0x04eb
000004e4: CALLDATASIZE
000004e5: PUSH1 0x04
000004e7: PUSH2 0x317c
000004ea: JUMP
000004eb: JUMPDEST
000004ec: PUSH2 0x0dcb
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH2 0x032c
000004f4: PUSH2 0x04fe
000004f7: CALLDATASIZE
000004f8: PUSH1 0x04
000004fa: PUSH2 0x317c
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH2 0x0e33
00000502: JUMP
00000503: JUMPDEST
00000504: PUSH2 0x030c
00000507: PUSH2 0x0e49
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH2 0x03a1
0000050f: PUSH2 0x0e6d
00000512: JUMP
00000513: JUMPDEST
00000514: PUSH2 0x034c
00000517: PUSH2 0x0521
0000051a: CALLDATASIZE
0000051b: PUSH1 0x04
0000051d: PUSH2 0x317c
00000520: JUMP
00000521: JUMPDEST
00000522: PUSH2 0x0e72
00000525: JUMP
00000526: JUMPDEST
00000527: PUSH2 0x034c
0000052a: PUSH2 0x0534
0000052d: CALLDATASIZE
0000052e: PUSH1 0x04
00000530: PUSH2 0x3237
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x0e80
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH2 0x030c
0000053d: PUSH2 0x0547
00000540: CALLDATASIZE
00000541: PUSH1 0x04
00000543: PUSH2 0x3122
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH2 0x1033
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH2 0x030c
00000550: PUSH2 0x055a
00000553: CALLDATASIZE
00000554: PUSH1 0x04
00000556: PUSH2 0x3032
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH2 0x105b
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH2 0x030c
00000563: PUSH2 0x056d
00000566: CALLDATASIZE
00000567: PUSH1 0x04
00000569: PUSH2 0x31a5
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH2 0x106d
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH2 0x038c
00000576: PUSH2 0x1096
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH2 0x034c
0000057e: PUSH2 0x0588
00000581: CALLDATASIZE
00000582: PUSH1 0x04
00000584: PUSH2 0x31e0
00000587: JUMP
00000588: JUMPDEST
00000589: PUSH2 0x10a5
0000058c: JUMP
0000058d: JUMPDEST
0000058e: PUSH2 0x038c
00000591: PUSH2 0x1221
00000594: JUMP
00000595: JUMPDEST
00000596: PUSH2 0x034c
00000599: PUSH2 0x05a3
0000059c: CALLDATASIZE
0000059d: PUSH1 0x04
0000059f: PUSH2 0x30b9
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH2 0x1245
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH2 0x034c
000005ac: PUSH2 0x05b6
000005af: CALLDATASIZE
000005b0: PUSH1 0x04
000005b2: PUSH2 0x3122
000005b5: JUMP
000005b6: JUMPDEST
000005b7: PUSH2 0x13d2
000005ba: JUMP
000005bb: JUMPDEST
000005bc: PUSH2 0x030c
000005bf: PUSH2 0x05c9
000005c2: CALLDATASIZE
000005c3: PUSH1 0x04
000005c5: PUSH2 0x304c
000005c8: JUMP
000005c9: JUMPDEST
000005ca: PUSH2 0x13dd
000005cd: JUMP
000005ce: JUMPDEST
000005cf: PUSH2 0x030c
000005d2: PUSH2 0x1408
000005d5: JUMP
000005d6: JUMPDEST
000005d7: PUSH2 0x05e9
000005da: PUSH2 0x05e4
000005dd: CALLDATASIZE
000005de: PUSH1 0x04
000005e0: PUSH2 0x3032
000005e3: JUMP
000005e4: JUMPDEST
000005e5: PUSH2 0x140d
000005e8: JUMP
000005e9: JUMPDEST
000005ea: PUSH1 0x40
000005ec: MLOAD
000005ed: PUSH2 0x02f0
000005f0: SWAP4
000005f1: SWAP3
000005f2: SWAP2
000005f3: SWAP1
000005f4: PUSH2 0x36b2
000005f7: JUMP
000005f8: JUMPDEST
000005f9: PUSH2 0x030c
000005fc: PUSH2 0x0606
000005ff: CALLDATASIZE
00000600: PUSH1 0x04
00000602: PUSH2 0x3364
00000605: JUMP
00000606: JUMPDEST
00000607: PUSH2 0x143b
0000060a: JUMP
0000060b: JUMPDEST
0000060c: PUSH2 0x034c
0000060f: PUSH2 0x0619
00000612: CALLDATASIZE
00000613: PUSH1 0x04
00000615: PUSH2 0x314b
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH2 0x1530
0000061d: JUMP
0000061e: JUMPDEST
0000061f: PUSH1 0x03
00000621: DUP1
00000622: SLOAD
00000623: PUSH1 0x40
00000625: DUP1
00000626: MLOAD
00000627: PUSH1 0x20
00000629: PUSH1 0x1f
0000062b: PUSH1 0x02
0000062d: PUSH1 0x00
0000062f: NOT
00000630: PUSH2 0x0100
00000633: PUSH1 0x01
00000635: DUP9
00000636: AND
00000637: ISZERO
00000638: MUL
00000639: ADD
0000063a: SWAP1
0000063b: SWAP6
0000063c: AND
0000063d: SWAP5
0000063e: SWAP1
0000063f: SWAP5
00000640: DIV
00000641: SWAP4
00000642: DUP5
00000643: ADD
00000644: DUP2
00000645: SWAP1
00000646: DIV
00000647: DUP2
00000648: MUL
00000649: DUP3
0000064a: ADD
0000064b: DUP2
0000064c: ADD
0000064d: SWAP1
0000064e: SWAP3
0000064f: MSTORE
00000650: DUP3
00000651: DUP2
00000652: MSTORE
00000653: PUSH1 0x60
00000655: SWAP4
00000656: SWAP1
00000657: SWAP3
00000658: SWAP1
00000659: SWAP2
0000065a: DUP4
0000065b: ADD
0000065c: DUP3
0000065d: DUP3
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x06aa
00000663: JUMPI
00000664: DUP1
00000665: PUSH1 0x1f
00000667: LT
00000668: PUSH2 0x067f
0000066b: JUMPI
0000066c: PUSH2 0x0100
0000066f: DUP1
00000670: DUP4
00000671: SLOAD
00000672: DIV
00000673: MUL
00000674: DUP4
00000675: MSTORE
00000676: SWAP2
00000677: PUSH1 0x20
00000679: ADD
0000067a: SWAP2
0000067b: PUSH2 0x06aa
0000067e: JUMP
0000067f: JUMPDEST
00000680: DUP3
00000681: ADD
00000682: SWAP2
00000683: SWAP1
00000684: PUSH1 0x00
00000686: MSTORE
00000687: PUSH1 0x20
00000689: PUSH1 0x00
0000068b: KECCAK256
0000068c: SWAP1
0000068d: JUMPDEST
0000068e: DUP2
0000068f: SLOAD
00000690: DUP2
00000691: MSTORE
00000692: SWAP1
00000693: PUSH1 0x01
00000695: ADD
00000696: SWAP1
00000697: PUSH1 0x20
00000699: ADD
0000069a: DUP1
0000069b: DUP4
0000069c: GT
0000069d: PUSH2 0x068d
000006a0: JUMPI
000006a1: DUP3
000006a2: SWAP1
000006a3: SUB
000006a4: PUSH1 0x1f
000006a6: AND
000006a7: DUP3
000006a8: ADD
000006a9: SWAP2
000006aa: JUMPDEST
000006ab: POP
000006ac: POP
000006ad: POP
000006ae: POP
000006af: POP
000006b0: SWAP1
000006b1: POP
000006b2: SWAP1
000006b3: JUMP
000006b4: JUMPDEST
000006b5: PUSH1 0x3e
000006b7: PUSH1 0x20
000006b9: MSTORE
000006ba: PUSH1 0x00
000006bc: SWAP1
000006bd: DUP2
000006be: MSTORE
000006bf: PUSH1 0x40
000006c1: SWAP1
000006c2: KECCAK256
000006c3: SLOAD
000006c4: DUP2
000006c5: JUMP
000006c6: JUMPDEST
000006c7: PUSH1 0x00
000006c9: PUSH2 0x06da
000006cc: PUSH2 0x06d3
000006cf: PUSH2 0x171d
000006d2: JUMP
000006d3: JUMPDEST
000006d4: DUP5
000006d5: DUP5
000006d6: PUSH2 0x1721
000006d9: JUMP
000006da: JUMPDEST
000006db: POP
000006dc: PUSH1 0x01
000006de: JUMPDEST
000006df: SWAP3
000006e0: SWAP2
000006e1: POP
000006e2: POP
000006e3: JUMP
000006e4: JUMPDEST
000006e5: PUSH1 0x00
000006e7: PUSH2 0x06ee
000006ea: PUSH2 0x180d
000006ed: JUMP
000006ee: JUMPDEST
000006ef: SWAP1
000006f0: POP
000006f1: PUSH1 0x09
000006f3: SLOAD
000006f4: DUP2
000006f5: GT
000006f6: PUSH2 0x0730
000006f9: JUMPI
000006fa: PUSH1 0x40
000006fc: MLOAD
000006fd: PUSH3 0x461bcd
00000701: PUSH1 0xe5
00000703: SHL
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x04
00000708: ADD
00000709: DUP1
0000070a: DUP1
0000070b: PUSH1 0x20
0000070d: ADD
0000070e: DUP3
0000070f: DUP2
00000710: SUB
00000711: DUP3
00000712: MSTORE
00000713: PUSH1 0x2e
00000715: DUP2
00000716: MSTORE
00000717: PUSH1 0x20
00000719: ADD
0000071a: DUP1
0000071b: PUSH2 0x37bb
0000071e: PUSH1 0x2e
00000720: SWAP2
00000721: CODECOPY
00000722: PUSH1 0x40
00000724: ADD
00000725: SWAP2
00000726: POP
00000727: POP
00000728: PUSH1 0x40
0000072a: MLOAD
0000072b: DUP1
0000072c: SWAP2
0000072d: SUB
0000072e: SWAP1
0000072f: REVERT
00000730: JUMPDEST
00000731: PUSH1 0x09
00000733: DUP2
00000734: SWAP1
00000735: SSTORE
00000736: CHAINID
00000737: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00000758: PUSH2 0x075f
0000075b: PUSH2 0x061e
0000075e: JUMP
0000075f: JUMPDEST
00000760: DUP1
00000761: MLOAD
00000762: PUSH1 0x20
00000764: SWAP2
00000765: DUP3
00000766: ADD
00000767: KECCAK256
00000768: PUSH1 0x40
0000076a: DUP1
0000076b: MLOAD
0000076c: DUP1
0000076d: DUP3
0000076e: ADD
0000076f: DUP3
00000770: MSTORE
00000771: PUSH1 0x01
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x31
00000777: PUSH1 0xf8
00000779: SHL
0000077a: SWAP1
0000077b: DUP5
0000077c: ADD
0000077d: MSTORE
0000077e: MLOAD
0000077f: PUSH2 0x07af
00000782: SWAP4
00000783: SWAP3
00000784: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
000007a5: SWAP2
000007a6: DUP7
000007a7: SWAP2
000007a8: ADDRESS
000007a9: SWAP2
000007aa: ADD
000007ab: PUSH2 0x34ef
000007ae: JUMP
000007af: JUMPDEST
000007b0: PUSH1 0x40
000007b2: DUP1
000007b3: MLOAD
000007b4: PUSH1 0x1f
000007b6: NOT
000007b7: DUP2
000007b8: DUP5
000007b9: SUB
000007ba: ADD
000007bb: DUP2
000007bc: MSTORE
000007bd: SWAP2
000007be: SWAP1
000007bf: MSTORE
000007c0: DUP1
000007c1: MLOAD
000007c2: PUSH1 0x20
000007c4: SWAP1
000007c5: SWAP2
000007c6: ADD
000007c7: KECCAK256
000007c8: PUSH1 0x43
000007ca: SSTORE
000007cb: PUSH2 0x07d6
000007ce: PUSH1 0x03
000007d0: DUP9
000007d1: DUP9
000007d2: PUSH2 0x2ed2
000007d5: JUMP
000007d6: JUMPDEST
000007d7: POP
000007d8: PUSH2 0x07e3
000007db: PUSH1 0x04
000007dd: DUP7
000007de: DUP7
000007df: PUSH2 0x2ed2
000007e2: JUMP
000007e3: JUMPDEST
000007e4: POP
000007e5: PUSH2 0x07ed
000007e8: DUP4
000007e9: PUSH2 0x1707
000007ec: JUMP
000007ed: JUMPDEST
000007ee: POP
000007ef: POP
000007f0: POP
000007f1: POP
000007f2: POP
000007f3: POP
000007f4: POP
000007f5: JUMP
000007f6: JUMPDEST
000007f7: PUSH1 0x02
000007f9: SLOAD
000007fa: SWAP1
000007fb: JUMP
000007fc: JUMPDEST
000007fd: DUP1
000007fe: PUSH2 0x0822
00000801: JUMPI
00000802: PUSH1 0x40
00000804: MLOAD
00000805: PUSH3 0x461bcd
00000809: PUSH1 0xe5
0000080b: SHL
0000080c: DUP2
0000080d: MSTORE
0000080e: PUSH1 0x04
00000810: ADD
00000811: PUSH2 0x0819
00000814: SWAP1
00000815: PUSH2 0x354c
00000818: JUMP
00000819: JUMPDEST
0000081a: PUSH1 0x40
0000081c: MLOAD
0000081d: DUP1
0000081e: SWAP2
0000081f: SUB
00000820: SWAP1
00000821: REVERT
00000822: JUMPDEST
00000823: PUSH1 0x00
00000825: PUSH2 0x082d
00000828: CALLER
00000829: PUSH2 0x0aa7
0000082c: JUMP
0000082d: JUMPDEST
0000082e: SWAP1
0000082f: POP
00000830: PUSH1 0x00
00000832: DUP2
00000833: DUP4
00000834: GT
00000835: PUSH2 0x083e
00000838: JUMPI
00000839: DUP3
0000083a: PUSH2 0x0840
0000083d: JUMP
0000083e: JUMPDEST
0000083f: DUP2
00000840: JUMPDEST
00000841: SWAP1
00000842: POP
00000843: PUSH2 0x084e
00000846: CALLER
00000847: DUP4
00000848: PUSH1 0x01
0000084a: PUSH2 0x1812
0000084d: JUMP
0000084e: JUMPDEST
0000084f: POP
00000850: PUSH2 0x0859
00000853: CALLER
00000854: DUP3
00000855: PUSH2 0x18bb
00000858: JUMP
00000859: JUMPDEST
0000085a: PUSH2 0x0863
0000085d: DUP3
0000085e: DUP3
0000085f: PUSH2 0x19b7
00000862: JUMP
00000863: JUMPDEST
00000864: PUSH2 0x0878
00000867: JUMPI
00000868: CALLER
00000869: PUSH1 0x00
0000086b: SWAP1
0000086c: DUP2
0000086d: MSTORE
0000086e: PUSH1 0x3e
00000870: PUSH1 0x20
00000872: MSTORE
00000873: PUSH1 0x40
00000875: DUP2
00000876: KECCAK256
00000877: SSTORE
00000878: JUMPDEST
00000879: PUSH2 0x08ac
0000087c: PUSH1 0x01
0000087e: PUSH1 0x01
00000880: PUSH1 0xa0
00000882: SHL
00000883: SUB
00000884: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000008a5: AND
000008a6: DUP6
000008a7: DUP4
000008a8: PUSH2 0x19f9
000008ab: JUMP
000008ac: JUMPDEST
000008ad: DUP4
000008ae: PUSH1 0x01
000008b0: PUSH1 0x01
000008b2: PUSH1 0xa0
000008b4: SHL
000008b5: SUB
000008b6: AND
000008b7: CALLER
000008b8: PUSH1 0x01
000008ba: PUSH1 0x01
000008bc: PUSH1 0xa0
000008be: SHL
000008bf: SUB
000008c0: AND
000008c1: PUSH32 0xd12200efa34901b99367694174c3b0d32c99585fdf37c7c26892136ddd0836d9
000008e2: DUP4
000008e3: PUSH1 0x40
000008e5: MLOAD
000008e6: PUSH2 0x08ef
000008e9: SWAP2
000008ea: SWAP1
000008eb: PUSH2 0x3462
000008ee: JUMP
000008ef: JUMPDEST
000008f0: PUSH1 0x40
000008f2: MLOAD
000008f3: DUP1
000008f4: SWAP2
000008f5: SUB
000008f6: SWAP1
000008f7: LOG3
000008f8: POP
000008f9: POP
000008fa: POP
000008fb: POP
000008fc: JUMP
000008fd: JUMPDEST
000008fe: PUSH1 0x00
00000900: PUSH2 0x090a
00000903: DUP5
00000904: DUP5
00000905: DUP5
00000906: PUSH2 0x1a4b
00000909: JUMP
0000090a: JUMPDEST
0000090b: POP
0000090c: PUSH1 0x01
0000090e: SWAP1
0000090f: POP
00000910: JUMPDEST
00000911: SWAP4
00000912: SWAP3
00000913: POP
00000914: POP
00000915: POP
00000916: JUMP
00000917: JUMPDEST
00000918: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000939: DUP2
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000095d: DUP2
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH1 0x05
00000962: SLOAD
00000963: PUSH1 0xff
00000965: AND
00000966: SWAP1
00000967: JUMP
00000968: JUMPDEST
00000969: PUSH1 0x01
0000096b: PUSH1 0x01
0000096d: PUSH1 0xa0
0000096f: SHL
00000970: SUB
00000971: DUP1
00000972: DUP3
00000973: AND
00000974: PUSH1 0x00
00000976: SWAP1
00000977: DUP2
00000978: MSTORE
00000979: PUSH1 0x3c
0000097b: PUSH1 0x20
0000097d: SWAP1
0000097e: DUP2
0000097f: MSTORE
00000980: PUSH1 0x40
00000982: DUP1
00000983: DUP4
00000984: KECCAK256
00000985: SWAP4
00000986: DUP7
00000987: AND
00000988: DUP4
00000989: MSTORE
0000098a: PUSH1 0x02
0000098c: SWAP1
0000098d: SWAP4
0000098e: ADD
0000098f: SWAP1
00000990: MSTORE
00000991: KECCAK256
00000992: SLOAD
00000993: SWAP3
00000994: SWAP2
00000995: POP
00000996: POP
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH32 0x000000000000000000000000000000000000000000000000000000000002a300
000009ba: DUP2
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH1 0x43
000009bf: SLOAD
000009c0: DUP2
000009c1: JUMP
000009c2: JUMPDEST
000009c3: PUSH1 0x00
000009c5: PUSH2 0x06da
000009c8: PUSH2 0x09cf
000009cb: PUSH2 0x171d
000009ce: JUMP
000009cf: JUMPDEST
000009d0: DUP5
000009d1: PUSH2 0x0a10
000009d4: DUP6
000009d5: PUSH1 0x01
000009d7: PUSH1 0x00
000009d9: PUSH2 0x09e0
000009dc: PUSH2 0x171d
000009df: JUMP
000009e0: JUMPDEST
000009e1: PUSH1 0x01
000009e3: PUSH1 0x01
000009e5: PUSH1 0xa0
000009e7: SHL
000009e8: SUB
000009e9: SWAP1
000009ea: DUP2
000009eb: AND
000009ec: DUP3
000009ed: MSTORE
000009ee: PUSH1 0x20
000009f0: DUP1
000009f1: DUP4
000009f2: ADD
000009f3: SWAP4
000009f4: SWAP1
000009f5: SWAP4
000009f6: MSTORE
000009f7: PUSH1 0x40
000009f9: SWAP2
000009fa: DUP3
000009fb: ADD
000009fc: PUSH1 0x00
000009fe: SWAP1
000009ff: DUP2
00000a00: KECCAK256
00000a01: SWAP2
00000a02: DUP13
00000a03: AND
00000a04: DUP2
00000a05: MSTORE
00000a06: SWAP3
00000a07: MSTORE
00000a08: SWAP1
00000a09: KECCAK256
00000a0a: SLOAD
00000a0b: SWAP1
00000a0c: PUSH2 0x16ad
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH2 0x1721
00000a14: JUMP
00000a15: JUMPDEST
00000a16: PUSH32 0x9a9a49b990ba9bb39f8048c490a40ab25c18f55d208d5fbcf958261a9b48716d
00000a37: DUP2
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH1 0x06
00000a3c: PUSH1 0x20
00000a3e: SWAP1
00000a3f: DUP2
00000a40: MSTORE
00000a41: PUSH1 0x00
00000a43: SWAP3
00000a44: DUP4
00000a45: MSTORE
00000a46: PUSH1 0x40
00000a48: DUP1
00000a49: DUP5
00000a4a: KECCAK256
00000a4b: SWAP1
00000a4c: SWAP2
00000a4d: MSTORE
00000a4e: SWAP1
00000a4f: DUP3
00000a50: MSTORE
00000a51: SWAP1
00000a52: KECCAK256
00000a53: SLOAD
00000a54: PUSH1 0x01
00000a56: PUSH1 0x01
00000a58: PUSH1 0x80
00000a5a: SHL
00000a5b: SUB
00000a5c: DUP1
00000a5d: DUP3
00000a5e: AND
00000a5f: SWAP2
00000a60: PUSH1 0x01
00000a62: PUSH1 0x80
00000a64: SHL
00000a65: SWAP1
00000a66: DIV
00000a67: AND
00000a68: DUP3
00000a69: JUMP
00000a6a: JUMPDEST
00000a6b: PUSH2 0x0a76
00000a6e: CALLER
00000a6f: DUP3
00000a70: PUSH1 0x00
00000a72: PUSH2 0x1ac3
00000a75: JUMP
00000a76: JUMPDEST
00000a77: PUSH2 0x0a82
00000a7a: CALLER
00000a7b: DUP3
00000a7c: PUSH1 0x01
00000a7e: PUSH2 0x1ac3
00000a81: JUMP
00000a82: JUMPDEST
00000a83: POP
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH1 0x00
00000a88: DUP1
00000a89: PUSH2 0x0a91
00000a8c: DUP4
00000a8d: PUSH2 0x1bd4
00000a90: JUMP
00000a91: JUMPDEST
00000a92: SWAP3
00000a93: POP
00000a94: POP
00000a95: POP
00000a96: PUSH2 0x0a9f
00000a99: DUP5
00000a9a: DUP3
00000a9b: PUSH2 0x1c0e
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: SWAP5
00000aa1: SWAP4
00000aa2: POP
00000aa3: POP
00000aa4: POP
00000aa5: POP
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: PUSH1 0x01
00000aaa: PUSH1 0x01
00000aac: PUSH1 0xa0
00000aae: SHL
00000aaf: SUB
00000ab0: DUP2
00000ab1: AND
00000ab2: PUSH1 0x00
00000ab4: SWAP1
00000ab5: DUP2
00000ab6: MSTORE
00000ab7: PUSH1 0x20
00000ab9: DUP2
00000aba: SWAP1
00000abb: MSTORE
00000abc: PUSH1 0x40
00000abe: SWAP1
00000abf: KECCAK256
00000ac0: SLOAD
00000ac1: JUMPDEST
00000ac2: SWAP2
00000ac3: SWAP1
00000ac4: POP
00000ac5: JUMP
00000ac6: JUMPDEST
00000ac7: PUSH32 0x00000000000000000000000000000000000000000000000000000000000d2f00
00000ae8: DUP2
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH1 0x40
00000aed: MLOAD
00000aee: DUP1
00000aef: PUSH1 0x40
00000af1: ADD
00000af2: PUSH1 0x40
00000af4: MSTORE
00000af5: DUP1
00000af6: PUSH1 0x01
00000af8: DUP2
00000af9: MSTORE
00000afa: PUSH1 0x20
00000afc: ADD
00000afd: PUSH1 0x31
00000aff: PUSH1 0xf8
00000b01: SHL
00000b02: DUP2
00000b03: MSTORE
00000b04: POP
00000b05: DUP2
00000b06: JUMP
00000b07: JUMPDEST
00000b08: PUSH2 0x0b0f
00000b0b: PUSH2 0x1c39
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: JUMP
00000b11: JUMPDEST
00000b12: PUSH1 0x07
00000b14: PUSH1 0x20
00000b16: MSTORE
00000b17: PUSH1 0x00
00000b19: SWAP1
00000b1a: DUP2
00000b1b: MSTORE
00000b1c: PUSH1 0x40
00000b1e: SWAP1
00000b1f: KECCAK256
00000b20: SLOAD
00000b21: DUP2
00000b22: JUMP
00000b23: JUMPDEST
00000b24: PUSH1 0x3d
00000b26: PUSH1 0x20
00000b28: MSTORE
00000b29: PUSH1 0x00
00000b2b: SWAP1
00000b2c: DUP2
00000b2d: MSTORE
00000b2e: PUSH1 0x40
00000b30: SWAP1
00000b31: KECCAK256
00000b32: SLOAD
00000b33: DUP2
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH1 0x40
00000b38: DUP1
00000b39: MLOAD
00000b3a: PUSH1 0x01
00000b3c: DUP1
00000b3d: DUP3
00000b3e: MSTORE
00000b3f: DUP2
00000b40: DUP4
00000b41: ADD
00000b42: SWAP1
00000b43: SWAP3
00000b44: MSTORE
00000b45: PUSH1 0x00
00000b47: SWAP2
00000b48: PUSH1 0x60
00000b4a: SWAP2
00000b4b: SWAP1
00000b4c: DUP2
00000b4d: PUSH1 0x20
00000b4f: ADD
00000b50: JUMPDEST
00000b51: PUSH2 0x0b58
00000b54: PUSH2 0x2f5e
00000b57: JUMP
00000b58: JUMPDEST
00000b59: DUP2
00000b5a: MSTORE
00000b5b: PUSH1 0x20
00000b5d: ADD
00000b5e: SWAP1
00000b5f: PUSH1 0x01
00000b61: SWAP1
00000b62: SUB
00000b63: SWAP1
00000b64: DUP2
00000b65: PUSH2 0x0b50
00000b68: JUMPI
00000b69: SWAP1
00000b6a: POP
00000b6b: POP
00000b6c: SWAP1
00000b6d: POP
00000b6e: PUSH1 0x40
00000b70: MLOAD
00000b71: DUP1
00000b72: PUSH1 0x60
00000b74: ADD
00000b75: PUSH1 0x40
00000b77: MSTORE
00000b78: DUP1
00000b79: ADDRESS
00000b7a: PUSH1 0x01
00000b7c: PUSH1 0x01
00000b7e: PUSH1 0xa0
00000b80: SHL
00000b81: SUB
00000b82: AND
00000b83: DUP2
00000b84: MSTORE
00000b85: PUSH1 0x20
00000b87: ADD
00000b88: PUSH2 0x0b90
00000b8b: DUP6
00000b8c: PUSH2 0x0aa7
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: DUP2
00000b92: MSTORE
00000b93: PUSH1 0x20
00000b95: ADD
00000b96: PUSH2 0x0b9d
00000b99: PUSH2 0x07f6
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: DUP2
00000b9f: MSTORE
00000ba0: POP
00000ba1: DUP2
00000ba2: PUSH1 0x00
00000ba4: DUP2
00000ba5: MLOAD
00000ba6: DUP2
00000ba7: LT
00000ba8: PUSH2 0x0bad
00000bab: JUMPI
00000bac: INVALID
00000bad: JUMPDEST
00000bae: PUSH1 0x20
00000bb0: MUL
00000bb1: PUSH1 0x20
00000bb3: ADD
00000bb4: ADD
00000bb5: DUP2
00000bb6: SWAP1
00000bb7: MSTORE
00000bb8: POP
00000bb9: PUSH2 0x0910
00000bbc: PUSH2 0x0bc5
00000bbf: DUP5
00000bc0: DUP4
00000bc1: PUSH2 0x1c98
00000bc4: JUMP
00000bc5: JUMPDEST
00000bc6: PUSH1 0x01
00000bc8: PUSH1 0x01
00000bca: PUSH1 0xa0
00000bcc: SHL
00000bcd: SUB
00000bce: DUP6
00000bcf: AND
00000bd0: PUSH1 0x00
00000bd2: SWAP1
00000bd3: DUP2
00000bd4: MSTORE
00000bd5: PUSH1 0x3d
00000bd7: PUSH1 0x20
00000bd9: MSTORE
00000bda: PUSH1 0x40
00000bdc: SWAP1
00000bdd: KECCAK256
00000bde: SLOAD
00000bdf: SWAP1
00000be0: PUSH2 0x16ad
00000be3: JUMP
00000be4: JUMPDEST
00000be5: PUSH32 0x000000000000000000000000000000000000000000000000000000011ef5a6bc
00000c06: DUP2
00000c07: JUMP
00000c08: JUMPDEST
00000c09: PUSH32 0x0000000000000000000000008ef8eeeb39b21ecdde451e6c539017df24d14a19
00000c2a: DUP2
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: PUSH1 0x04
00000c2f: DUP1
00000c30: SLOAD
00000c31: PUSH1 0x40
00000c33: DUP1
00000c34: MLOAD
00000c35: PUSH1 0x20
00000c37: PUSH1 0x1f
00000c39: PUSH1 0x02
00000c3b: PUSH1 0x00
00000c3d: NOT
00000c3e: PUSH2 0x0100
00000c41: PUSH1 0x01
00000c43: DUP9
00000c44: AND
00000c45: ISZERO
00000c46: MUL
00000c47: ADD
00000c48: SWAP1
00000c49: SWAP6
00000c4a: AND
00000c4b: SWAP5
00000c4c: SWAP1
00000c4d: SWAP5
00000c4e: DIV
00000c4f: SWAP4
00000c50: DUP5
00000c51: ADD
00000c52: DUP2
00000c53: SWAP1
00000c54: DIV
00000c55: DUP2
00000c56: MUL
00000c57: DUP3
00000c58: ADD
00000c59: DUP2
00000c5a: ADD
00000c5b: SWAP1
00000c5c: SWAP3
00000c5d: MSTORE
00000c5e: DUP3
00000c5f: DUP2
00000c60: MSTORE
00000c61: PUSH1 0x60
00000c63: SWAP4
00000c64: SWAP1
00000c65: SWAP3
00000c66: SWAP1
00000c67: SWAP2
00000c68: DUP4
00000c69: ADD
00000c6a: DUP3
00000c6b: DUP3
00000c6c: DUP1
00000c6d: ISZERO
00000c6e: PUSH2 0x06aa
00000c71: JUMPI
00000c72: DUP1
00000c73: PUSH1 0x1f
00000c75: LT
00000c76: PUSH2 0x067f
00000c79: JUMPI
00000c7a: PUSH2 0x0100
00000c7d: DUP1
00000c7e: DUP4
00000c7f: SLOAD
00000c80: DIV
00000c81: MUL
00000c82: DUP4
00000c83: MSTORE
00000c84: SWAP2
00000c85: PUSH1 0x20
00000c87: ADD
00000c88: SWAP2
00000c89: PUSH2 0x06aa
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH1 0x00
00000c90: PUSH2 0x06de
00000c93: PUSH2 0x07f6
00000c96: JUMP
00000c97: JUMPDEST
00000c98: PUSH32 0x00000000000000000000000001ba67aac7f75f647d94220cc98fb30fcc5105bf
00000cb9: DUP2
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH1 0x00
00000cbe: PUSH2 0x0cd1
00000cc1: CALLER
00000cc2: PUSH2 0x0cca
00000cc5: CALLER
00000cc6: PUSH2 0x0aa7
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: PUSH1 0x00
00000ccd: PUSH2 0x1812
00000cd0: JUMP
00000cd1: JUMPDEST
00000cd2: SWAP1
00000cd3: POP
00000cd4: PUSH1 0x00
00000cd6: PUSH1 0x00
00000cd8: NOT
00000cd9: DUP4
00000cda: EQ
00000cdb: PUSH2 0x0ce4
00000cde: JUMPI
00000cdf: DUP3
00000ce0: PUSH2 0x0ce6
00000ce3: JUMP
00000ce4: JUMPDEST
00000ce5: DUP2
00000ce6: JUMPDEST
00000ce7: SWAP1
00000ce8: POP
00000ce9: PUSH2 0x0d23
00000cec: DUP2
00000ced: PUSH1 0x40
00000cef: MLOAD
00000cf0: DUP1
00000cf1: PUSH1 0x40
00000cf3: ADD
00000cf4: PUSH1 0x40
00000cf6: MSTORE
00000cf7: DUP1
00000cf8: PUSH1 0x0e
00000cfa: DUP2
00000cfb: MSTORE
00000cfc: PUSH1 0x20
00000cfe: ADD
00000cff: PUSH14 0x1253959053125117d05353d55395
00000d0e: PUSH1 0x92
00000d10: SHL
00000d11: DUP2
00000d12: MSTORE
00000d13: POP
00000d14: DUP5
00000d15: PUSH2 0x1d89
00000d18: SWAP1
00000d19: SWAP3
00000d1a: SWAP2
00000d1b: SWAP1
00000d1c: PUSH4 0xffffffff
00000d21: AND
00000d22: JUMP
00000d23: JUMPDEST
00000d24: CALLER
00000d25: PUSH1 0x00
00000d27: SWAP1
00000d28: DUP2
00000d29: MSTORE
00000d2a: PUSH1 0x3d
00000d2c: PUSH1 0x20
00000d2e: MSTORE
00000d2f: PUSH1 0x40
00000d31: SWAP1
00000d32: KECCAK256
00000d33: SSTORE
00000d34: PUSH2 0x0d88
00000d37: PUSH32 0x00000000000000000000000001ba67aac7f75f647d94220cc98fb30fcc5105bf
00000d58: PUSH1 0x01
00000d5a: PUSH1 0x01
00000d5c: PUSH1 0xa0
00000d5e: SHL
00000d5f: SUB
00000d60: AND
00000d61: PUSH32 0x0000000000000000000000008ef8eeeb39b21ecdde451e6c539017df24d14a19
00000d82: DUP7
00000d83: DUP5
00000d84: PUSH2 0x1e20
00000d87: JUMP
00000d88: JUMPDEST
00000d89: DUP4
00000d8a: PUSH1 0x01
00000d8c: PUSH1 0x01
00000d8e: PUSH1 0xa0
00000d90: SHL
00000d91: SUB
00000d92: AND
00000d93: CALLER
00000d94: PUSH1 0x01
00000d96: PUSH1 0x01
00000d98: PUSH1 0xa0
00000d9a: SHL
00000d9b: SUB
00000d9c: AND
00000d9d: PUSH32 0x9310ccfcb8de723f578a9e4282ea9f521f05ae40dc08f3068dfad528a65ee3c7
00000dbe: DUP4
00000dbf: PUSH1 0x40
00000dc1: MLOAD
00000dc2: PUSH2 0x08ef
00000dc5: SWAP2
00000dc6: SWAP1
00000dc7: PUSH2 0x3462
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: PUSH1 0x00
00000dce: PUSH2 0x06da
00000dd1: PUSH2 0x0dd8
00000dd4: PUSH2 0x171d
00000dd7: JUMP
00000dd8: JUMPDEST
00000dd9: DUP5
00000dda: PUSH2 0x0a10
00000ddd: DUP6
00000dde: PUSH1 0x40
00000de0: MLOAD
00000de1: DUP1
00000de2: PUSH1 0x60
00000de4: ADD
00000de5: PUSH1 0x40
00000de7: MSTORE
00000de8: DUP1
00000de9: PUSH1 0x25
00000deb: DUP2
00000dec: MSTORE
00000ded: PUSH1 0x20
00000def: ADD
00000df0: PUSH2 0x387d
00000df3: PUSH1 0x25
00000df5: SWAP2
00000df6: CODECOPY
00000df7: PUSH1 0x01
00000df9: PUSH1 0x00
00000dfb: PUSH2 0x0e02
00000dfe: PUSH2 0x171d
00000e01: JUMP
00000e02: JUMPDEST
00000e03: PUSH1 0x01
00000e05: PUSH1 0x01
00000e07: PUSH1 0xa0
00000e09: SHL
00000e0a: SUB
00000e0b: SWAP1
00000e0c: DUP2
00000e0d: AND
00000e0e: DUP3
00000e0f: MSTORE
00000e10: PUSH1 0x20
00000e12: DUP1
00000e13: DUP4
00000e14: ADD
00000e15: SWAP4
00000e16: SWAP1
00000e17: SWAP4
00000e18: MSTORE
00000e19: PUSH1 0x40
00000e1b: SWAP2
00000e1c: DUP3
00000e1d: ADD
00000e1e: PUSH1 0x00
00000e20: SWAP1
00000e21: DUP2
00000e22: KECCAK256
00000e23: SWAP2
00000e24: DUP14
00000e25: AND
00000e26: DUP2
00000e27: MSTORE
00000e28: SWAP3
00000e29: MSTORE
00000e2a: SWAP1
00000e2b: KECCAK256
00000e2c: SLOAD
00000e2d: SWAP2
00000e2e: SWAP1
00000e2f: PUSH2 0x1d89
00000e32: JUMP
00000e33: JUMPDEST
00000e34: PUSH1 0x00
00000e36: PUSH2 0x0e3f
00000e39: DUP4
00000e3a: DUP4
00000e3b: PUSH2 0x1e80
00000e3e: JUMP
00000e3f: JUMPDEST
00000e40: POP
00000e41: PUSH1 0x01
00000e43: SWAP4
00000e44: SWAP3
00000e45: POP
00000e46: POP
00000e47: POP
00000e48: JUMP
00000e49: JUMPDEST
00000e4a: PUSH32 0x10d8d059343739efce7dad10d09f0806da52b252b3e6a7951920d2d6ec4102e5
00000e6b: DUP2
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: PUSH1 0x12
00000e70: DUP2
00000e71: JUMP
00000e72: JUMPDEST
00000e73: PUSH2 0x0e7c
00000e76: DUP3
00000e77: DUP3
00000e78: PUSH2 0x1e94
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: POP
00000e7e: POP
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: CALLER
00000e82: PUSH1 0x01
00000e84: PUSH1 0x01
00000e86: PUSH1 0xa0
00000e88: SHL
00000e89: SUB
00000e8a: PUSH32 0x0000000000000000000000008ef8eeeb39b21ecdde451e6c539017df24d14a19
00000eab: AND
00000eac: EQ
00000ead: PUSH2 0x0ec8
00000eb0: JUMPI
00000eb1: PUSH1 0x40
00000eb3: MLOAD
00000eb4: PUSH3 0x461bcd
00000eb8: PUSH1 0xe5
00000eba: SHL
00000ebb: DUP2
00000ebc: MSTORE
00000ebd: PUSH1 0x04
00000ebf: ADD
00000ec0: PUSH2 0x0819
00000ec3: SWAP1
00000ec4: PUSH2 0x35f7
00000ec7: JUMP
00000ec8: JUMPDEST
00000ec9: PUSH1 0x00
00000ecb: JUMPDEST
00000ecc: DUP2
00000ecd: DUP2
00000ece: LT
00000ecf: ISZERO
00000ed0: PUSH2 0x102e
00000ed3: JUMPI
00000ed4: PUSH1 0x00
00000ed6: PUSH1 0x3c
00000ed8: PUSH1 0x00
00000eda: DUP6
00000edb: DUP6
00000edc: DUP6
00000edd: DUP2
00000ede: DUP2
00000edf: LT
00000ee0: PUSH2 0x0ee5
00000ee3: JUMPI
00000ee4: INVALID
00000ee5: JUMPDEST
00000ee6: SWAP1
00000ee7: POP
00000ee8: PUSH1 0x60
00000eea: MUL
00000eeb: ADD
00000eec: PUSH1 0x40
00000eee: ADD
00000eef: PUSH1 0x20
00000ef1: DUP2
00000ef2: ADD
00000ef3: SWAP1
00000ef4: PUSH2 0x0efd
00000ef7: SWAP2
00000ef8: SWAP1
00000ef9: PUSH2 0x3032
00000efc: JUMP
00000efd: JUMPDEST
00000efe: PUSH1 0x01
00000f00: PUSH1 0x01
00000f02: PUSH1 0xa0
00000f04: SHL
00000f05: SUB
00000f06: AND
00000f07: PUSH1 0x01
00000f09: PUSH1 0x01
00000f0b: PUSH1 0xa0
00000f0d: SHL
00000f0e: SUB
00000f0f: AND
00000f10: DUP2
00000f11: MSTORE
00000f12: PUSH1 0x20
00000f14: ADD
00000f15: SWAP1
00000f16: DUP2
00000f17: MSTORE
00000f18: PUSH1 0x20
00000f1a: ADD
00000f1b: PUSH1 0x00
00000f1d: KECCAK256
00000f1e: SWAP1
00000f1f: POP
00000f20: PUSH2 0x0f62
00000f23: DUP5
00000f24: DUP5
00000f25: DUP5
00000f26: DUP2
00000f27: DUP2
00000f28: LT
00000f29: PUSH2 0x0f2e
00000f2c: JUMPI
00000f2d: INVALID
00000f2e: JUMPDEST
00000f2f: SWAP1
00000f30: POP
00000f31: PUSH1 0x60
00000f33: MUL
00000f34: ADD
00000f35: PUSH1 0x40
00000f37: ADD
00000f38: PUSH1 0x20
00000f3a: DUP2
00000f3b: ADD
00000f3c: SWAP1
00000f3d: PUSH2 0x0f46
00000f40: SWAP2
00000f41: SWAP1
00000f42: PUSH2 0x3032
00000f45: JUMP
00000f46: JUMPDEST
00000f47: DUP3
00000f48: DUP7
00000f49: DUP7
00000f4a: DUP7
00000f4b: DUP2
00000f4c: DUP2
00000f4d: LT
00000f4e: PUSH2 0x0f53
00000f51: JUMPI
00000f52: INVALID
00000f53: JUMPDEST
00000f54: SWAP1
00000f55: POP
00000f56: PUSH1 0x60
00000f58: MUL
00000f59: ADD
00000f5a: PUSH1 0x20
00000f5c: ADD
00000f5d: CALLDATALOAD
00000f5e: PUSH2 0x1ff4
00000f61: JUMP
00000f62: JUMPDEST
00000f63: POP
00000f64: DUP4
00000f65: DUP4
00000f66: DUP4
00000f67: DUP2
00000f68: DUP2
00000f69: LT
00000f6a: PUSH2 0x0f6f
00000f6d: JUMPI
00000f6e: INVALID
00000f6f: JUMPDEST
00000f70: PUSH2 0x0f85
00000f73: SWAP3
00000f74: PUSH1 0x20
00000f76: PUSH1 0x60
00000f78: SWAP1
00000f79: SWAP3
00000f7a: MUL
00000f7b: ADD
00000f7c: SWAP1
00000f7d: DUP2
00000f7e: ADD
00000f7f: SWAP2
00000f80: POP
00000f81: PUSH2 0x3325
00000f84: JUMP
00000f85: JUMPDEST
00000f86: DUP2
00000f87: SLOAD
00000f88: PUSH1 0x01
00000f8a: PUSH1 0x01
00000f8c: PUSH1 0x80
00000f8e: SHL
00000f8f: SUB
00000f90: NOT
00000f91: AND
00000f92: PUSH1 0x01
00000f94: PUSH1 0x01
00000f96: PUSH1 0x80
00000f98: SHL
00000f99: SUB
00000f9a: SWAP2
00000f9b: SWAP1
00000f9c: SWAP2
00000f9d: AND
00000f9e: OR
00000f9f: DUP2
00000fa0: SSTORE
00000fa1: DUP4
00000fa2: DUP4
00000fa3: DUP4
00000fa4: DUP2
00000fa5: DUP2
00000fa6: LT
00000fa7: PUSH2 0x0fac
00000faa: JUMPI
00000fab: INVALID
00000fac: JUMPDEST
00000fad: SWAP1
00000fae: POP
00000faf: PUSH1 0x60
00000fb1: MUL
00000fb2: ADD
00000fb3: PUSH1 0x40
00000fb5: ADD
00000fb6: PUSH1 0x20
00000fb8: DUP2
00000fb9: ADD
00000fba: SWAP1
00000fbb: PUSH2 0x0fc4
00000fbe: SWAP2
00000fbf: SWAP1
00000fc0: PUSH2 0x3032
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: PUSH1 0x01
00000fc7: PUSH1 0x01
00000fc9: PUSH1 0xa0
00000fcb: SHL
00000fcc: SUB
00000fcd: AND
00000fce: PUSH32 0x87fa03892a0556cb6b8f97e6d533a150d4d55fcbf275fff5fa003fa636bcc7fa
00000fef: DUP6
00000ff0: DUP6
00000ff1: DUP6
00000ff2: DUP2
00000ff3: DUP2
00000ff4: LT
00000ff5: PUSH2 0x0ffa
00000ff8: JUMPI
00000ff9: INVALID
00000ffa: JUMPDEST
00000ffb: PUSH2 0x1010
00000ffe: SWAP3
00000fff: PUSH1 0x20
00001001: PUSH1 0x60
00001003: SWAP1
00001004: SWAP3
00001005: MUL
00001006: ADD
00001007: SWAP1
00001008: DUP2
00001009: ADD
0000100a: SWAP2
0000100b: POP
0000100c: PUSH2 0x3325
0000100f: JUMP
00001010: JUMPDEST
00001011: PUSH1 0x40
00001013: MLOAD
00001014: PUSH2 0x101d
00001017: SWAP2
00001018: SWAP1
00001019: PUSH2 0x3684
0000101c: JUMP
0000101d: JUMPDEST
0000101e: PUSH1 0x40
00001020: MLOAD
00001021: DUP1
00001022: SWAP2
00001023: SUB
00001024: SWAP1
00001025: LOG2
00001026: POP
00001027: PUSH1 0x01
00001029: ADD
0000102a: PUSH2 0x0ecb
0000102d: JUMP
0000102e: JUMPDEST
0000102f: POP
00001030: POP
00001031: POP
00001032: JUMP
00001033: JUMPDEST
00001034: PUSH1 0x00
00001036: DUP1
00001037: PUSH1 0x00
00001039: PUSH2 0x1041
0000103c: DUP5
0000103d: PUSH2 0x1bd4
00001040: JUMP
00001041: JUMPDEST
00001042: POP
00001043: SWAP2
00001044: POP
00001045: SWAP2
00001046: POP
00001047: PUSH2 0x1052
0000104a: DUP3
0000104b: DUP3
0000104c: DUP8
0000104d: NUMBER
0000104e: PUSH2 0x20b1
00001051: JUMP
00001052: JUMPDEST
00001053: SWAP6
00001054: SWAP5
00001055: POP
00001056: POP
00001057: POP
00001058: POP
00001059: POP
0000105a: JUMP
0000105b: JUMPDEST
0000105c: PUSH1 0x44
0000105e: PUSH1 0x20
00001060: MSTORE
00001061: PUSH1 0x00
00001063: SWAP1
00001064: DUP2
00001065: MSTORE
00001066: PUSH1 0x40
00001068: SWAP1
00001069: KECCAK256
0000106a: SLOAD
0000106b: DUP2
0000106c: JUMP
0000106d: JUMPDEST
0000106e: PUSH1 0x00
00001070: DUP1
00001071: PUSH1 0x00
00001073: PUSH2 0x107b
00001076: DUP5
00001077: PUSH2 0x1bd4
0000107a: JUMP
0000107b: JUMPDEST
0000107c: POP
0000107d: SWAP2
0000107e: POP
0000107f: SWAP2
00001080: POP
00001081: PUSH2 0x108c
00001084: DUP3
00001085: DUP3
00001086: DUP9
00001087: DUP9
00001088: PUSH2 0x20b1
0000108b: JUMP
0000108c: JUMPDEST
0000108d: SWAP7
0000108e: SWAP6
0000108f: POP
00001090: POP
00001091: POP
00001092: POP
00001093: POP
00001094: POP
00001095: JUMP
00001096: JUMPDEST
00001097: PUSH1 0x08
00001099: SLOAD
0000109a: PUSH1 0x01
0000109c: PUSH1 0x01
0000109e: PUSH1 0xa0
000010a0: SHL
000010a1: SUB
000010a2: AND
000010a3: DUP2
000010a4: JUMP
000010a5: JUMPDEST
000010a6: PUSH1 0x00
000010a8: PUSH32 0x9a9a49b990ba9bb39f8048c490a40ab25c18f55d208d5fbcf958261a9b48716d
000010c9: DUP8
000010ca: DUP8
000010cb: DUP8
000010cc: PUSH1 0x40
000010ce: MLOAD
000010cf: PUSH1 0x20
000010d1: ADD
000010d2: PUSH2 0x10de
000010d5: SWAP5
000010d6: SWAP4
000010d7: SWAP3
000010d8: SWAP2
000010d9: SWAP1
000010da: PUSH2 0x349f
000010dd: JUMP
000010de: JUMPDEST
000010df: PUSH1 0x40
000010e1: MLOAD
000010e2: PUSH1 0x20
000010e4: DUP2
000010e5: DUP4
000010e6: SUB
000010e7: SUB
000010e8: DUP2
000010e9: MSTORE
000010ea: SWAP1
000010eb: PUSH1 0x40
000010ed: MSTORE
000010ee: DUP1
000010ef: MLOAD
000010f0: SWAP1
000010f1: PUSH1 0x20
000010f3: ADD
000010f4: KECCAK256
000010f5: SWAP1
000010f6: POP
000010f7: PUSH1 0x00
000010f9: PUSH1 0x43
000010fb: SLOAD
000010fc: DUP3
000010fd: PUSH1 0x40
000010ff: MLOAD
00001100: PUSH1 0x20
00001102: ADD
00001103: PUSH2 0x110d
00001106: SWAP3
00001107: SWAP2
00001108: SWAP1
00001109: PUSH2 0x33eb
0000110c: JUMP
0000110d: JUMPDEST
0000110e: PUSH1 0x40
00001110: MLOAD
00001111: PUSH1 0x20
00001113: DUP2
00001114: DUP4
00001115: SUB
00001116: SUB
00001117: DUP2
00001118: MSTORE
00001119: SWAP1
0000111a: PUSH1 0x40
0000111c: MSTORE
0000111d: DUP1
0000111e: MLOAD
0000111f: SWAP1
00001120: PUSH1 0x20
00001122: ADD
00001123: KECCAK256
00001124: SWAP1
00001125: POP
00001126: PUSH1 0x00
00001128: PUSH1 0x01
0000112a: DUP3
0000112b: DUP8
0000112c: DUP8
0000112d: DUP8
0000112e: PUSH1 0x40
00001130: MLOAD
00001131: PUSH1 0x00
00001133: DUP2
00001134: MSTORE
00001135: PUSH1 0x20
00001137: ADD
00001138: PUSH1 0x40
0000113a: MSTORE
0000113b: PUSH1 0x40
0000113d: MLOAD
0000113e: PUSH2 0x114a
00001141: SWAP5
00001142: SWAP4
00001143: SWAP3
00001144: SWAP2
00001145: SWAP1
00001146: PUSH2 0x351b
00001149: JUMP
0000114a: JUMPDEST
0000114b: PUSH1 0x20
0000114d: PUSH1 0x40
0000114f: MLOAD
00001150: PUSH1 0x20
00001152: DUP2
00001153: SUB
00001154: SWAP1
00001155: DUP1
00001156: DUP5
00001157: SUB
00001158: SWAP1
00001159: DUP6
0000115a: GAS
0000115b: STATICCALL
0000115c: ISZERO
0000115d: DUP1
0000115e: ISZERO
0000115f: PUSH2 0x116c
00001162: JUMPI
00001163: RETURNDATASIZE
00001164: PUSH1 0x00
00001166: DUP1
00001167: RETURNDATACOPY
00001168: RETURNDATASIZE
00001169: PUSH1 0x00
0000116b: REVERT
0000116c: JUMPDEST
0000116d: POP
0000116e: POP
0000116f: PUSH1 0x40
00001171: MLOAD
00001172: PUSH1 0x1f
00001174: NOT
00001175: ADD
00001176: MLOAD
00001177: SWAP2
00001178: POP
00001179: POP
0000117a: PUSH1 0x01
0000117c: PUSH1 0x01
0000117e: PUSH1 0xa0
00001180: SHL
00001181: SUB
00001182: DUP2
00001183: AND
00001184: PUSH2 0x119f
00001187: JUMPI
00001188: PUSH1 0x40
0000118a: MLOAD
0000118b: PUSH3 0x461bcd
0000118f: PUSH1 0xe5
00001191: SHL
00001192: DUP2
00001193: MSTORE
00001194: PUSH1 0x04
00001196: ADD
00001197: PUSH2 0x0819
0000119a: SWAP1
0000119b: PUSH2 0x3579
0000119e: JUMP
0000119f: JUMPDEST
000011a0: PUSH1 0x01
000011a2: PUSH1 0x01
000011a4: PUSH1 0xa0
000011a6: SHL
000011a7: SUB
000011a8: DUP2
000011a9: AND
000011aa: PUSH1 0x00
000011ac: SWAP1
000011ad: DUP2
000011ae: MSTORE
000011af: PUSH1 0x44
000011b1: PUSH1 0x20
000011b3: MSTORE
000011b4: PUSH1 0x40
000011b6: SWAP1
000011b7: KECCAK256
000011b8: DUP1
000011b9: SLOAD
000011ba: PUSH1 0x01
000011bc: DUP2
000011bd: ADD
000011be: SWAP1
000011bf: SWAP2
000011c0: SSTORE
000011c1: DUP9
000011c2: EQ
000011c3: PUSH2 0x11de
000011c6: JUMPI
000011c7: PUSH1 0x40
000011c9: MLOAD
000011ca: PUSH3 0x461bcd
000011ce: PUSH1 0xe5
000011d0: SHL
000011d1: DUP2
000011d2: MSTORE
000011d3: PUSH1 0x04
000011d5: ADD
000011d6: PUSH2 0x0819
000011d9: SWAP1
000011da: PUSH2 0x35d0
000011dd: JUMP
000011de: JUMPDEST
000011df: DUP7
000011e0: TIMESTAMP
000011e1: GT
000011e2: ISZERO
000011e3: PUSH2 0x11fe
000011e6: JUMPI
000011e7: PUSH1 0x40
000011e9: MLOAD
000011ea: PUSH3 0x461bcd
000011ee: PUSH1 0xe5
000011f0: SHL
000011f1: DUP2
000011f2: MSTORE
000011f3: PUSH1 0x04
000011f5: ADD
000011f6: PUSH2 0x0819
000011f9: SWAP1
000011fa: PUSH2 0x35a4
000011fd: JUMP
000011fe: JUMPDEST
000011ff: PUSH2 0x120a
00001202: DUP2
00001203: DUP11
00001204: PUSH1 0x00
00001206: PUSH2 0x1ac3
00001209: JUMP
0000120a: JUMPDEST
0000120b: PUSH2 0x1216
0000120e: DUP2
0000120f: DUP11
00001210: PUSH1 0x01
00001212: PUSH2 0x1ac3
00001215: JUMP
00001216: JUMPDEST
00001217: POP
00001218: POP
00001219: POP
0000121a: POP
0000121b: POP
0000121c: POP
0000121d: POP
0000121e: POP
0000121f: POP
00001220: JUMP
00001221: JUMPDEST
00001222: PUSH32 0x0000000000000000000000008ef8eeeb39b21ecdde451e6c539017df24d14a19
00001243: DUP2
00001244: JUMP
00001245: JUMPDEST
00001246: PUSH1 0x01
00001248: PUSH1 0x01
0000124a: PUSH1 0xa0
0000124c: SHL
0000124d: SUB
0000124e: DUP8
0000124f: AND
00001250: PUSH2 0x126b
00001253: JUMPI
00001254: PUSH1 0x40
00001256: MLOAD
00001257: PUSH3 0x461bcd
0000125b: PUSH1 0xe5
0000125d: SHL
0000125e: DUP2
0000125f: MSTORE
00001260: PUSH1 0x04
00001262: ADD
00001263: PUSH2 0x0819
00001266: SWAP1
00001267: PUSH2 0x3626
0000126a: JUMP
0000126b: JUMPDEST
0000126c: DUP4
0000126d: TIMESTAMP
0000126e: GT
0000126f: ISZERO
00001270: PUSH2 0x128b
00001273: JUMPI
00001274: PUSH1 0x40
00001276: MLOAD
00001277: PUSH3 0x461bcd
0000127b: PUSH1 0xe5
0000127d: SHL
0000127e: DUP2
0000127f: MSTORE
00001280: PUSH1 0x04
00001282: ADD
00001283: PUSH2 0x0819
00001286: SWAP1
00001287: PUSH2 0x35a4
0000128a: JUMP
0000128b: JUMPDEST
0000128c: PUSH1 0x01
0000128e: PUSH1 0x01
00001290: PUSH1 0xa0
00001292: SHL
00001293: SUB
00001294: DUP8
00001295: AND
00001296: PUSH1 0x00
00001298: SWAP1
00001299: DUP2
0000129a: MSTORE
0000129b: PUSH1 0x44
0000129d: PUSH1 0x20
0000129f: SWAP1
000012a0: DUP2
000012a1: MSTORE
000012a2: PUSH1 0x40
000012a4: DUP1
000012a5: DUP4
000012a6: KECCAK256
000012a7: SLOAD
000012a8: PUSH1 0x43
000012aa: SLOAD
000012ab: SWAP2
000012ac: MLOAD
000012ad: SWAP1
000012ae: SWAP4
000012af: SWAP3
000012b0: PUSH2 0x12e5
000012b3: SWAP2
000012b4: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
000012d5: SWAP2
000012d6: DUP14
000012d7: SWAP2
000012d8: DUP14
000012d9: SWAP2
000012da: DUP14
000012db: SWAP2
000012dc: DUP10
000012dd: SWAP2
000012de: DUP15
000012df: SWAP2
000012e0: ADD
000012e1: PUSH2 0x346b
000012e4: JUMP
000012e5: JUMPDEST
000012e6: PUSH1 0x40
000012e8: MLOAD
000012e9: PUSH1 0x20
000012eb: DUP2
000012ec: DUP4
000012ed: SUB
000012ee: SUB
000012ef: DUP2
000012f0: MSTORE
000012f1: SWAP1
000012f2: PUSH1 0x40
000012f4: MSTORE
000012f5: DUP1
000012f6: MLOAD
000012f7: SWAP1
000012f8: PUSH1 0x20
000012fa: ADD
000012fb: KECCAK256
000012fc: PUSH1 0x40
000012fe: MLOAD
000012ff: PUSH1 0x20
00001301: ADD
00001302: PUSH2 0x130c
00001305: SWAP3
00001306: SWAP2
00001307: SWAP1
00001308: PUSH2 0x33eb
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH1 0x40
0000130f: MLOAD
00001310: PUSH1 0x20
00001312: DUP2
00001313: DUP4
00001314: SUB
00001315: SUB
00001316: DUP2
00001317: MSTORE
00001318: SWAP1
00001319: PUSH1 0x40
0000131b: MSTORE
0000131c: DUP1
0000131d: MLOAD
0000131e: SWAP1
0000131f: PUSH1 0x20
00001321: ADD
00001322: KECCAK256
00001323: SWAP1
00001324: POP
00001325: PUSH1 0x01
00001327: DUP2
00001328: DUP7
00001329: DUP7
0000132a: DUP7
0000132b: PUSH1 0x40
0000132d: MLOAD
0000132e: PUSH1 0x00
00001330: DUP2
00001331: MSTORE
00001332: PUSH1 0x20
00001334: ADD
00001335: PUSH1 0x40
00001337: MSTORE
00001338: PUSH1 0x40
0000133a: MLOAD
0000133b: PUSH2 0x1347
0000133e: SWAP5
0000133f: SWAP4
00001340: SWAP3
00001341: SWAP2
00001342: SWAP1
00001343: PUSH2 0x351b
00001346: JUMP
00001347: JUMPDEST
00001348: PUSH1 0x20
0000134a: PUSH1 0x40
0000134c: MLOAD
0000134d: PUSH1 0x20
0000134f: DUP2
00001350: SUB
00001351: SWAP1
00001352: DUP1
00001353: DUP5
00001354: SUB
00001355: SWAP1
00001356: DUP6
00001357: GAS
00001358: STATICCALL
00001359: ISZERO
0000135a: DUP1
0000135b: ISZERO
0000135c: PUSH2 0x1369
0000135f: JUMPI
00001360: RETURNDATASIZE
00001361: PUSH1 0x00
00001363: DUP1
00001364: RETURNDATACOPY
00001365: RETURNDATASIZE
00001366: PUSH1 0x00
00001368: REVERT
00001369: JUMPDEST
0000136a: POP
0000136b: POP
0000136c: POP
0000136d: PUSH1 0x20
0000136f: PUSH1 0x40
00001371: MLOAD
00001372: SUB
00001373: MLOAD
00001374: PUSH1 0x01
00001376: PUSH1 0x01
00001378: PUSH1 0xa0
0000137a: SHL
0000137b: SUB
0000137c: AND
0000137d: DUP10
0000137e: PUSH1 0x01
00001380: PUSH1 0x01
00001382: PUSH1 0xa0
00001384: SHL
00001385: SUB
00001386: AND
00001387: EQ
00001388: PUSH2 0x13a3
0000138b: JUMPI
0000138c: PUSH1 0x40
0000138e: MLOAD
0000138f: PUSH3 0x461bcd
00001393: PUSH1 0xe5
00001395: SHL
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x04
0000139a: ADD
0000139b: PUSH2 0x0819
0000139e: SWAP1
0000139f: PUSH2 0x3579
000013a2: JUMP
000013a3: JUMPDEST
000013a4: PUSH2 0x13ae
000013a7: DUP3
000013a8: PUSH1 0x01
000013aa: PUSH2 0x16ad
000013ad: JUMP
000013ae: JUMPDEST
000013af: PUSH1 0x01
000013b1: PUSH1 0x01
000013b3: PUSH1 0xa0
000013b5: SHL
000013b6: SUB
000013b7: DUP11
000013b8: AND
000013b9: PUSH1 0x00
000013bb: SWAP1
000013bc: DUP2
000013bd: MSTORE
000013be: PUSH1 0x44
000013c0: PUSH1 0x20
000013c2: MSTORE
000013c3: PUSH1 0x40
000013c5: SWAP1
000013c6: KECCAK256
000013c7: SSTORE
000013c8: PUSH2 0x1216
000013cb: DUP10
000013cc: DUP10
000013cd: DUP10
000013ce: PUSH2 0x1721
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH2 0x0e7c
000013d6: CALLER
000013d7: DUP4
000013d8: DUP4
000013d9: PUSH2 0x1ac3
000013dc: JUMP
000013dd: JUMPDEST
000013de: PUSH1 0x01
000013e0: PUSH1 0x01
000013e2: PUSH1 0xa0
000013e4: SHL
000013e5: SUB
000013e6: SWAP2
000013e7: DUP3
000013e8: AND
000013e9: PUSH1 0x00
000013eb: SWAP1
000013ec: DUP2
000013ed: MSTORE
000013ee: PUSH1 0x01
000013f0: PUSH1 0x20
000013f2: SWAP1
000013f3: DUP2
000013f4: MSTORE
000013f5: PUSH1 0x40
000013f7: DUP1
000013f8: DUP4
000013f9: KECCAK256
000013fa: SWAP4
000013fb: SWAP1
000013fc: SWAP5
000013fd: AND
000013fe: DUP3
000013ff: MSTORE
00001400: SWAP2
00001401: SWAP1
00001402: SWAP2
00001403: MSTORE
00001404: KECCAK256
00001405: SLOAD
00001406: SWAP1
00001407: JUMP
00001408: JUMPDEST
00001409: PUSH1 0x01
0000140b: DUP2
0000140c: JUMP
0000140d: JUMPDEST
0000140e: PUSH1 0x3c
00001410: PUSH1 0x20
00001412: MSTORE
00001413: PUSH1 0x00
00001415: SWAP1
00001416: DUP2
00001417: MSTORE
00001418: PUSH1 0x40
0000141a: SWAP1
0000141b: KECCAK256
0000141c: DUP1
0000141d: SLOAD
0000141e: PUSH1 0x01
00001420: SWAP1
00001421: SWAP2
00001422: ADD
00001423: SLOAD
00001424: PUSH1 0x01
00001426: PUSH1 0x01
00001428: PUSH1 0x80
0000142a: SHL
0000142b: SUB
0000142c: DUP1
0000142d: DUP4
0000142e: AND
0000142f: SWAP3
00001430: PUSH1 0x01
00001432: PUSH1 0x80
00001434: SHL
00001435: SWAP1
00001436: DIV
00001437: AND
00001438: SWAP1
00001439: DUP4
0000143a: JUMP
0000143b: JUMPDEST
0000143c: PUSH1 0x01
0000143e: PUSH1 0x01
00001440: PUSH1 0xa0
00001442: SHL
00001443: SUB
00001444: DUP3
00001445: AND
00001446: PUSH1 0x00
00001448: SWAP1
00001449: DUP2
0000144a: MSTORE
0000144b: PUSH1 0x3e
0000144d: PUSH1 0x20
0000144f: MSTORE
00001450: PUSH1 0x40
00001452: DUP2
00001453: KECCAK256
00001454: SLOAD
00001455: DUP1
00001456: PUSH2 0x1463
00001459: JUMPI
0000145a: PUSH1 0x00
0000145c: SWAP2
0000145d: POP
0000145e: POP
0000145f: PUSH2 0x0a9f
00001462: JUMP
00001463: JUMPDEST
00001464: PUSH1 0x00
00001466: PUSH2 0x14b9
00001469: PUSH32 0x000000000000000000000000000000000000000000000000000000000002a300
0000148a: PUSH2 0x14b3
0000148d: TIMESTAMP
0000148e: PUSH32 0x00000000000000000000000000000000000000000000000000000000000d2f00
000014af: PUSH2 0x19b7
000014b2: JUMP
000014b3: JUMPDEST
000014b4: SWAP1
000014b5: PUSH2 0x19b7
000014b8: JUMP
000014b9: JUMPDEST
000014ba: SWAP1
000014bb: POP
000014bc: DUP2
000014bd: DUP2
000014be: GT
000014bf: ISZERO
000014c0: PUSH2 0x14cc
000014c3: JUMPI
000014c4: PUSH1 0x00
000014c6: SWAP2
000014c7: POP
000014c8: PUSH2 0x1526
000014cb: JUMP
000014cc: JUMPDEST
000014cd: PUSH1 0x00
000014cf: DUP8
000014d0: DUP3
000014d1: GT
000014d2: PUSH2 0x14db
000014d5: JUMPI
000014d6: DUP8
000014d7: PUSH2 0x14dd
000014da: JUMP
000014db: JUMPDEST
000014dc: TIMESTAMP
000014dd: JUMPDEST
000014de: SWAP1
000014df: POP
000014e0: DUP3
000014e1: DUP2
000014e2: LT
000014e3: ISZERO
000014e4: PUSH2 0x14f2
000014e7: JUMPI
000014e8: DUP3
000014e9: SWAP4
000014ea: POP
000014eb: POP
000014ec: POP
000014ed: POP
000014ee: PUSH2 0x0a9f
000014f1: JUMP
000014f2: JUMPDEST
000014f3: PUSH2 0x1522
000014f6: PUSH2 0x14ff
000014f9: DUP9
000014fa: DUP8
000014fb: PUSH2 0x16ad
000014fe: JUMP
000014ff: JUMPDEST
00001500: PUSH2 0x151c
00001503: PUSH2 0x150c
00001506: DUP9
00001507: DUP8
00001508: PUSH2 0x22cd
0000150b: JUMP
0000150c: JUMPDEST
0000150d: PUSH2 0x1516
00001510: DUP12
00001511: DUP7
00001512: PUSH2 0x22cd
00001515: JUMP
00001516: JUMPDEST
00001517: SWAP1
00001518: PUSH2 0x16ad
0000151b: JUMP
0000151c: JUMPDEST
0000151d: SWAP1
0000151e: PUSH2 0x2326
00001521: JUMP
00001522: JUMPDEST
00001523: SWAP3
00001524: POP
00001525: POP
00001526: JUMPDEST
00001527: POP
00001528: SWAP6
00001529: SWAP5
0000152a: POP
0000152b: POP
0000152c: POP
0000152d: POP
0000152e: POP
0000152f: JUMP
00001530: JUMPDEST
00001531: PUSH1 0x00
00001533: PUSH32 0x10d8d059343739efce7dad10d09f0806da52b252b3e6a7951920d2d6ec4102e5
00001554: DUP9
00001555: DUP9
00001556: PUSH1 0x01
00001558: DUP2
00001559: GT
0000155a: ISZERO
0000155b: PUSH2 0x1560
0000155e: JUMPI
0000155f: INVALID
00001560: JUMPDEST
00001561: DUP9
00001562: DUP9
00001563: PUSH1 0x40
00001565: MLOAD
00001566: PUSH1 0x20
00001568: ADD
00001569: PUSH2 0x1576
0000156c: SWAP6
0000156d: SWAP5
0000156e: SWAP4
0000156f: SWAP3
00001570: SWAP2
00001571: SWAP1
00001572: PUSH2 0x34c3
00001575: JUMP
00001576: JUMPDEST
00001577: PUSH1 0x40
00001579: MLOAD
0000157a: PUSH1 0x20
0000157c: DUP2
0000157d: DUP4
0000157e: SUB
0000157f: SUB
00001580: DUP2
00001581: MSTORE
00001582: SWAP1
00001583: PUSH1 0x40
00001585: MSTORE
00001586: DUP1
00001587: MLOAD
00001588: SWAP1
00001589: PUSH1 0x20
0000158b: ADD
0000158c: KECCAK256
0000158d: SWAP1
0000158e: POP
0000158f: PUSH1 0x00
00001591: PUSH1 0x43
00001593: SLOAD
00001594: DUP3
00001595: PUSH1 0x40
00001597: MLOAD
00001598: PUSH1 0x20
0000159a: ADD
0000159b: PUSH2 0x15a5
0000159e: SWAP3
0000159f: SWAP2
000015a0: SWAP1
000015a1: PUSH2 0x33eb
000015a4: JUMP
000015a5: JUMPDEST
000015a6: PUSH1 0x40
000015a8: MLOAD
000015a9: PUSH1 0x20
000015ab: DUP2
000015ac: DUP4
000015ad: SUB
000015ae: SUB
000015af: DUP2
000015b0: MSTORE
000015b1: SWAP1
000015b2: PUSH1 0x40
000015b4: MSTORE
000015b5: DUP1
000015b6: MLOAD
000015b7: SWAP1
000015b8: PUSH1 0x20
000015ba: ADD
000015bb: KECCAK256
000015bc: SWAP1
000015bd: POP
000015be: PUSH1 0x00
000015c0: PUSH1 0x01
000015c2: DUP3
000015c3: DUP8
000015c4: DUP8
000015c5: DUP8
000015c6: PUSH1 0x40
000015c8: MLOAD
000015c9: PUSH1 0x00
000015cb: DUP2
000015cc: MSTORE
000015cd: PUSH1 0x20
000015cf: ADD
000015d0: PUSH1 0x40
000015d2: MSTORE
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: PUSH2 0x15e2
000015d9: SWAP5
000015da: SWAP4
000015db: SWAP3
000015dc: SWAP2
000015dd: SWAP1
000015de: PUSH2 0x351b
000015e1: JUMP
000015e2: JUMPDEST
000015e3: PUSH1 0x20
000015e5: PUSH1 0x40
000015e7: MLOAD
000015e8: PUSH1 0x20
000015ea: DUP2
000015eb: SUB
000015ec: SWAP1
000015ed: DUP1
000015ee: DUP5
000015ef: SUB
000015f0: SWAP1
000015f1: DUP6
000015f2: GAS
000015f3: STATICCALL
000015f4: ISZERO
000015f5: DUP1
000015f6: ISZERO
000015f7: PUSH2 0x1604
000015fa: JUMPI
000015fb: RETURNDATASIZE
000015fc: PUSH1 0x00
000015fe: DUP1
000015ff: RETURNDATACOPY
00001600: RETURNDATASIZE
00001601: PUSH1 0x00
00001603: REVERT
00001604: JUMPDEST
00001605: POP
00001606: POP
00001607: PUSH1 0x40
00001609: MLOAD
0000160a: PUSH1 0x1f
0000160c: NOT
0000160d: ADD
0000160e: MLOAD
0000160f: SWAP2
00001610: POP
00001611: POP
00001612: PUSH1 0x01
00001614: PUSH1 0x01
00001616: PUSH1 0xa0
00001618: SHL
00001619: SUB
0000161a: DUP2
0000161b: AND
0000161c: PUSH2 0x1637
0000161f: JUMPI
00001620: PUSH1 0x40
00001622: MLOAD
00001623: PUSH3 0x461bcd
00001627: PUSH1 0xe5
00001629: SHL
0000162a: DUP2
0000162b: MSTORE
0000162c: PUSH1 0x04
0000162e: ADD
0000162f: PUSH2 0x0819
00001632: SWAP1
00001633: PUSH2 0x3579
00001636: JUMP
00001637: JUMPDEST
00001638: PUSH1 0x01
0000163a: PUSH1 0x01
0000163c: PUSH1 0xa0
0000163e: SHL
0000163f: SUB
00001640: DUP2
00001641: AND
00001642: PUSH1 0x00
00001644: SWAP1
00001645: DUP2
00001646: MSTORE
00001647: PUSH1 0x44
00001649: PUSH1 0x20
0000164b: MSTORE
0000164c: PUSH1 0x40
0000164e: SWAP1
0000164f: KECCAK256
00001650: DUP1
00001651: SLOAD
00001652: PUSH1 0x01
00001654: DUP2
00001655: ADD
00001656: SWAP1
00001657: SWAP2
00001658: SSTORE
00001659: DUP9
0000165a: EQ
0000165b: PUSH2 0x1676
0000165e: JUMPI
0000165f: PUSH1 0x40
00001661: MLOAD
00001662: PUSH3 0x461bcd
00001666: PUSH1 0xe5
00001668: SHL
00001669: DUP2
0000166a: MSTORE
0000166b: PUSH1 0x04
0000166d: ADD
0000166e: PUSH2 0x0819
00001671: SWAP1
00001672: PUSH2 0x35d0
00001675: JUMP
00001676: JUMPDEST
00001677: DUP7
00001678: TIMESTAMP
00001679: GT
0000167a: ISZERO
0000167b: PUSH2 0x1696
0000167e: JUMPI
0000167f: PUSH1 0x40
00001681: MLOAD
00001682: PUSH3 0x461bcd
00001686: PUSH1 0xe5
00001688: SHL
00001689: DUP2
0000168a: MSTORE
0000168b: PUSH1 0x04
0000168d: ADD
0000168e: PUSH2 0x0819
00001691: SWAP1
00001692: PUSH2 0x35a4
00001695: JUMP
00001696: JUMPDEST
00001697: PUSH2 0x16a1
0000169a: DUP2
0000169b: DUP12
0000169c: DUP12
0000169d: PUSH2 0x1ac3
000016a0: JUMP
000016a1: JUMPDEST
000016a2: POP
000016a3: POP
000016a4: POP
000016a5: POP
000016a6: POP
000016a7: POP
000016a8: POP
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: JUMP
000016ad: JUMPDEST
000016ae: PUSH1 0x00
000016b0: DUP3
000016b1: DUP3
000016b2: ADD
000016b3: DUP4
000016b4: DUP2
000016b5: LT
000016b6: ISZERO
000016b7: PUSH2 0x0910
000016ba: JUMPI
000016bb: PUSH1 0x40
000016bd: DUP1
000016be: MLOAD
000016bf: PUSH3 0x461bcd
000016c3: PUSH1 0xe5
000016c5: SHL
000016c6: DUP2
000016c7: MSTORE
000016c8: PUSH1 0x20
000016ca: PUSH1 0x04
000016cc: DUP3
000016cd: ADD
000016ce: MSTORE
000016cf: PUSH1 0x1b
000016d1: PUSH1 0x24
000016d3: DUP3
000016d4: ADD
000016d5: MSTORE
000016d6: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000016f7: PUSH1 0x44
000016f9: DUP3
000016fa: ADD
000016fb: MSTORE
000016fc: SWAP1
000016fd: MLOAD
000016fe: SWAP1
000016ff: DUP2
00001700: SWAP1
00001701: SUB
00001702: PUSH1 0x64
00001704: ADD
00001705: SWAP1
00001706: REVERT
00001707: JUMPDEST
00001708: PUSH1 0x05
0000170a: DUP1
0000170b: SLOAD
0000170c: PUSH1 0xff
0000170e: NOT
0000170f: AND
00001710: PUSH1 0xff
00001712: SWAP3
00001713: SWAP1
00001714: SWAP3
00001715: AND
00001716: SWAP2
00001717: SWAP1
00001718: SWAP2
00001719: OR
0000171a: SWAP1
0000171b: SSTORE
0000171c: JUMP
0000171d: JUMPDEST
0000171e: CALLER
0000171f: SWAP1
00001720: JUMP
00001721: JUMPDEST
00001722: PUSH1 0x01
00001724: PUSH1 0x01
00001726: PUSH1 0xa0
00001728: SHL
00001729: SUB
0000172a: DUP4
0000172b: AND
0000172c: PUSH2 0x1766
0000172f: JUMPI
00001730: PUSH1 0x40
00001732: MLOAD
00001733: PUSH3 0x461bcd
00001737: PUSH1 0xe5
00001739: SHL
0000173a: DUP2
0000173b: MSTORE
0000173c: PUSH1 0x04
0000173e: ADD
0000173f: DUP1
00001740: DUP1
00001741: PUSH1 0x20
00001743: ADD
00001744: DUP3
00001745: DUP2
00001746: SUB
00001747: DUP3
00001748: MSTORE
00001749: PUSH1 0x24
0000174b: DUP2
0000174c: MSTORE
0000174d: PUSH1 0x20
0000174f: ADD
00001750: DUP1
00001751: PUSH2 0x382f
00001754: PUSH1 0x24
00001756: SWAP2
00001757: CODECOPY
00001758: PUSH1 0x40
0000175a: ADD
0000175b: SWAP2
0000175c: POP
0000175d: POP
0000175e: PUSH1 0x40
00001760: MLOAD
00001761: DUP1
00001762: SWAP2
00001763: SUB
00001764: SWAP1
00001765: REVERT
00001766: JUMPDEST
00001767: PUSH1 0x01
00001769: PUSH1 0x01
0000176b: PUSH1 0xa0
0000176d: SHL
0000176e: SUB
0000176f: DUP3
00001770: AND
00001771: PUSH2 0x17ab
00001774: JUMPI
00001775: PUSH1 0x40
00001777: MLOAD
00001778: PUSH3 0x461bcd
0000177c: PUSH1 0xe5
0000177e: SHL
0000177f: DUP2
00001780: MSTORE
00001781: PUSH1 0x04
00001783: ADD
00001784: DUP1
00001785: DUP1
00001786: PUSH1 0x20
00001788: ADD
00001789: DUP3
0000178a: DUP2
0000178b: SUB
0000178c: DUP3
0000178d: MSTORE
0000178e: PUSH1 0x22
00001790: DUP2
00001791: MSTORE
00001792: PUSH1 0x20
00001794: ADD
00001795: DUP1
00001796: PUSH2 0x372a
00001799: PUSH1 0x22
0000179b: SWAP2
0000179c: CODECOPY
0000179d: PUSH1 0x40
0000179f: ADD
000017a0: SWAP2
000017a1: POP
000017a2: POP
000017a3: PUSH1 0x40
000017a5: MLOAD
000017a6: DUP1
000017a7: SWAP2
000017a8: SUB
000017a9: SWAP1
000017aa: REVERT
000017ab: JUMPDEST
000017ac: PUSH1 0x01
000017ae: PUSH1 0x01
000017b0: PUSH1 0xa0
000017b2: SHL
000017b3: SUB
000017b4: DUP1
000017b5: DUP5
000017b6: AND
000017b7: PUSH1 0x00
000017b9: DUP2
000017ba: DUP2
000017bb: MSTORE
000017bc: PUSH1 0x01
000017be: PUSH1 0x20
000017c0: SWAP1
000017c1: DUP2
000017c2: MSTORE
000017c3: PUSH1 0x40
000017c5: DUP1
000017c6: DUP4
000017c7: KECCAK256
000017c8: SWAP5
000017c9: DUP8
000017ca: AND
000017cb: DUP1
000017cc: DUP5
000017cd: MSTORE
000017ce: SWAP5
000017cf: DUP3
000017d0: MSTORE
000017d1: SWAP2
000017d2: DUP3
000017d3: SWAP1
000017d4: KECCAK256
000017d5: DUP6
000017d6: SWAP1
000017d7: SSTORE
000017d8: DUP2
000017d9: MLOAD
000017da: DUP6
000017db: DUP2
000017dc: MSTORE
000017dd: SWAP2
000017de: MLOAD
000017df: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001800: SWAP3
00001801: DUP2
00001802: SWAP1
00001803: SUB
00001804: SWAP1
00001805: SWAP2
00001806: ADD
00001807: SWAP1
00001808: LOG3
00001809: POP
0000180a: POP
0000180b: POP
0000180c: JUMP
0000180d: JUMPDEST
0000180e: PUSH1 0x01
00001810: SWAP1
00001811: JUMP
00001812: JUMPDEST
00001813: PUSH1 0x00
00001815: DUP1
00001816: PUSH2 0x1828
00001819: DUP6
0000181a: ADDRESS
0000181b: DUP7
0000181c: PUSH2 0x1823
0000181f: PUSH2 0x07f6
00001822: JUMP
00001823: JUMPDEST
00001824: PUSH2 0x2368
00001827: JUMP
00001828: JUMPDEST
00001829: PUSH1 0x01
0000182b: PUSH1 0x01
0000182d: PUSH1 0xa0
0000182f: SHL
00001830: SUB
00001831: DUP7
00001832: AND
00001833: PUSH1 0x00
00001835: SWAP1
00001836: DUP2
00001837: MSTORE
00001838: PUSH1 0x3d
0000183a: PUSH1 0x20
0000183c: MSTORE
0000183d: PUSH1 0x40
0000183f: DUP2
00001840: KECCAK256
00001841: SLOAD
00001842: SWAP2
00001843: SWAP3
00001844: POP
00001845: SWAP1
00001846: PUSH2 0x184f
00001849: SWAP1
0000184a: DUP4
0000184b: PUSH2 0x16ad
0000184e: JUMP
0000184f: JUMPDEST
00001850: SWAP1
00001851: POP
00001852: DUP2
00001853: ISZERO
00001854: PUSH2 0x1052
00001857: JUMPI
00001858: DUP4
00001859: ISZERO
0000185a: PUSH2 0x1879
0000185d: JUMPI
0000185e: PUSH1 0x01
00001860: PUSH1 0x01
00001862: PUSH1 0xa0
00001864: SHL
00001865: SUB
00001866: DUP7
00001867: AND
00001868: PUSH1 0x00
0000186a: SWAP1
0000186b: DUP2
0000186c: MSTORE
0000186d: PUSH1 0x3d
0000186f: PUSH1 0x20
00001871: MSTORE
00001872: PUSH1 0x40
00001874: SWAP1
00001875: KECCAK256
00001876: DUP2
00001877: SWAP1
00001878: SSTORE
00001879: JUMPDEST
0000187a: PUSH32 0x2468f9268c60ad90e2d49edb0032c8a001e733ae888b3ab8e982edf535be1a76
0000189b: DUP7
0000189c: DUP4
0000189d: PUSH1 0x40
0000189f: MLOAD
000018a0: PUSH2 0x18aa
000018a3: SWAP3
000018a4: SWAP2
000018a5: SWAP1
000018a6: PUSH2 0x343e
000018a9: JUMP
000018aa: JUMPDEST
000018ab: PUSH1 0x40
000018ad: MLOAD
000018ae: DUP1
000018af: SWAP2
000018b0: SUB
000018b1: SWAP1
000018b2: LOG1
000018b3: SWAP6
000018b4: SWAP5
000018b5: POP
000018b6: POP
000018b7: POP
000018b8: POP
000018b9: POP
000018ba: JUMP
000018bb: JUMPDEST
000018bc: PUSH1 0x01
000018be: PUSH1 0x01
000018c0: PUSH1 0xa0
000018c2: SHL
000018c3: SUB
000018c4: DUP3
000018c5: AND
000018c6: PUSH2 0x1900
000018c9: JUMPI
000018ca: PUSH1 0x40
000018cc: MLOAD
000018cd: PUSH3 0x461bcd
000018d1: PUSH1 0xe5
000018d3: SHL
000018d4: DUP2
000018d5: MSTORE
000018d6: PUSH1 0x04
000018d8: ADD
000018d9: DUP1
000018da: DUP1
000018db: PUSH1 0x20
000018dd: ADD
000018de: DUP3
000018df: DUP2
000018e0: SUB
000018e1: DUP3
000018e2: MSTORE
000018e3: PUSH1 0x21
000018e5: DUP2
000018e6: MSTORE
000018e7: PUSH1 0x20
000018e9: ADD
000018ea: DUP1
000018eb: PUSH2 0x37e9
000018ee: PUSH1 0x21
000018f0: SWAP2
000018f1: CODECOPY
000018f2: PUSH1 0x40
000018f4: ADD
000018f5: SWAP2
000018f6: POP
000018f7: POP
000018f8: PUSH1 0x40
000018fa: MLOAD
000018fb: DUP1
000018fc: SWAP2
000018fd: SUB
000018fe: SWAP1
000018ff: REVERT
00001900: JUMPDEST
00001901: PUSH2 0x190c
00001904: DUP3
00001905: PUSH1 0x00
00001907: DUP4
00001908: PUSH2 0x2427
0000190b: JUMP
0000190c: JUMPDEST
0000190d: PUSH2 0x1949
00001910: DUP2
00001911: PUSH1 0x40
00001913: MLOAD
00001914: DUP1
00001915: PUSH1 0x60
00001917: ADD
00001918: PUSH1 0x40
0000191a: MSTORE
0000191b: DUP1
0000191c: PUSH1 0x22
0000191e: DUP2
0000191f: MSTORE
00001920: PUSH1 0x20
00001922: ADD
00001923: PUSH2 0x3708
00001926: PUSH1 0x22
00001928: SWAP2
00001929: CODECOPY
0000192a: PUSH1 0x01
0000192c: PUSH1 0x01
0000192e: PUSH1 0xa0
00001930: SHL
00001931: SUB
00001932: DUP6
00001933: AND
00001934: PUSH1 0x00
00001936: SWAP1
00001937: DUP2
00001938: MSTORE
00001939: PUSH1 0x20
0000193b: DUP2
0000193c: SWAP1
0000193d: MSTORE
0000193e: PUSH1 0x40
00001940: SWAP1
00001941: KECCAK256
00001942: SLOAD
00001943: SWAP2
00001944: SWAP1
00001945: PUSH2 0x1d89
00001948: JUMP
00001949: JUMPDEST
0000194a: PUSH1 0x01
0000194c: PUSH1 0x01
0000194e: PUSH1 0xa0
00001950: SHL
00001951: SUB
00001952: DUP4
00001953: AND
00001954: PUSH1 0x00
00001956: SWAP1
00001957: DUP2
00001958: MSTORE
00001959: PUSH1 0x20
0000195b: DUP2
0000195c: SWAP1
0000195d: MSTORE
0000195e: PUSH1 0x40
00001960: SWAP1
00001961: KECCAK256
00001962: SSTORE
00001963: PUSH1 0x02
00001965: SLOAD
00001966: PUSH2 0x196f
00001969: SWAP1
0000196a: DUP3
0000196b: PUSH2 0x19b7
0000196e: JUMP
0000196f: JUMPDEST
00001970: PUSH1 0x02
00001972: SSTORE
00001973: PUSH1 0x40
00001975: DUP1
00001976: MLOAD
00001977: DUP3
00001978: DUP2
00001979: MSTORE
0000197a: SWAP1
0000197b: MLOAD
0000197c: PUSH1 0x00
0000197e: SWAP2
0000197f: PUSH1 0x01
00001981: PUSH1 0x01
00001983: PUSH1 0xa0
00001985: SHL
00001986: SUB
00001987: DUP6
00001988: AND
00001989: SWAP2
0000198a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000019ab: SWAP2
000019ac: DUP2
000019ad: SWAP1
000019ae: SUB
000019af: PUSH1 0x20
000019b1: ADD
000019b2: SWAP1
000019b3: LOG3
000019b4: POP
000019b5: POP
000019b6: JUMP
000019b7: JUMPDEST
000019b8: PUSH1 0x00
000019ba: PUSH2 0x0910
000019bd: DUP4
000019be: DUP4
000019bf: PUSH1 0x40
000019c1: MLOAD
000019c2: DUP1
000019c3: PUSH1 0x40
000019c5: ADD
000019c6: PUSH1 0x40
000019c8: MSTORE
000019c9: DUP1
000019ca: PUSH1 0x1e
000019cc: DUP2
000019cd: MSTORE
000019ce: PUSH1 0x20
000019d0: ADD
000019d1: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000019f2: DUP2
000019f3: MSTORE
000019f4: POP
000019f5: PUSH2 0x1d89
000019f8: JUMP
000019f9: JUMPDEST
000019fa: PUSH1 0x40
000019fc: DUP1
000019fd: MLOAD
000019fe: PUSH1 0x01
00001a00: PUSH1 0x01
00001a02: PUSH1 0xa0
00001a04: SHL
00001a05: SUB
00001a06: DUP5
00001a07: AND
00001a08: PUSH1 0x24
00001a0a: DUP3
00001a0b: ADD
00001a0c: MSTORE
00001a0d: PUSH1 0x44
00001a0f: DUP1
00001a10: DUP3
00001a11: ADD
00001a12: DUP5
00001a13: SWAP1
00001a14: MSTORE
00001a15: DUP3
00001a16: MLOAD
00001a17: DUP1
00001a18: DUP4
00001a19: SUB
00001a1a: SWAP1
00001a1b: SWAP2
00001a1c: ADD
00001a1d: DUP2
00001a1e: MSTORE
00001a1f: PUSH1 0x64
00001a21: SWAP1
00001a22: SWAP2
00001a23: ADD
00001a24: SWAP1
00001a25: SWAP2
00001a26: MSTORE
00001a27: PUSH1 0x20
00001a29: DUP2
00001a2a: ADD
00001a2b: DUP1
00001a2c: MLOAD
00001a2d: PUSH1 0x01
00001a2f: PUSH1 0x01
00001a31: PUSH1 0xe0
00001a33: SHL
00001a34: SUB
00001a35: AND
00001a36: PUSH4 0xa9059cbb
00001a3b: PUSH1 0xe0
00001a3d: SHL
00001a3e: OR
00001a3f: SWAP1
00001a40: MSTORE
00001a41: PUSH2 0x102e
00001a44: SWAP1
00001a45: DUP5
00001a46: SWAP1
00001a47: PUSH2 0x2544
00001a4a: JUMP
00001a4b: JUMPDEST
00001a4c: PUSH1 0x00
00001a4e: PUSH2 0x1a58
00001a51: DUP5
00001a52: DUP5
00001a53: DUP5
00001a54: PUSH2 0x26fc
00001a57: JUMP
00001a58: JUMPDEST
00001a59: PUSH2 0x0e3f
00001a5c: DUP5
00001a5d: PUSH2 0x1a64
00001a60: PUSH2 0x171d
00001a63: JUMP
00001a64: JUMPDEST
00001a65: PUSH2 0x0a10
00001a68: DUP6
00001a69: PUSH1 0x40
00001a6b: MLOAD
00001a6c: DUP1
00001a6d: PUSH1 0x60
00001a6f: ADD
00001a70: PUSH1 0x40
00001a72: MSTORE
00001a73: DUP1
00001a74: PUSH1 0x28
00001a76: DUP2
00001a77: MSTORE
00001a78: PUSH1 0x20
00001a7a: ADD
00001a7b: PUSH2 0x3793
00001a7e: PUSH1 0x28
00001a80: SWAP2
00001a81: CODECOPY
00001a82: PUSH1 0x01
00001a84: PUSH1 0x01
00001a86: PUSH1 0xa0
00001a88: SHL
00001a89: SUB
00001a8a: DUP11
00001a8b: AND
00001a8c: PUSH1 0x00
00001a8e: SWAP1
00001a8f: DUP2
00001a90: MSTORE
00001a91: PUSH1 0x01
00001a93: PUSH1 0x20
00001a95: MSTORE
00001a96: PUSH1 0x40
00001a98: DUP2
00001a99: KECCAK256
00001a9a: SWAP1
00001a9b: PUSH2 0x1aa2
00001a9e: PUSH2 0x171d
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: PUSH1 0x01
00001aa5: PUSH1 0x01
00001aa7: PUSH1 0xa0
00001aa9: SHL
00001aaa: SUB
00001aab: AND
00001aac: DUP2
00001aad: MSTORE
00001aae: PUSH1 0x20
00001ab0: DUP2
00001ab1: ADD
00001ab2: SWAP2
00001ab3: SWAP1
00001ab4: SWAP2
00001ab5: MSTORE
00001ab6: PUSH1 0x40
00001ab8: ADD
00001ab9: PUSH1 0x00
00001abb: KECCAK256
00001abc: SLOAD
00001abd: SWAP2
00001abe: SWAP1
00001abf: PUSH2 0x1d89
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: PUSH1 0x01
00001ac6: PUSH1 0x01
00001ac8: PUSH1 0xa0
00001aca: SHL
00001acb: SUB
00001acc: DUP3
00001acd: AND
00001ace: PUSH2 0x1b12
00001ad1: JUMPI
00001ad2: PUSH1 0x40
00001ad4: DUP1
00001ad5: MLOAD
00001ad6: PUSH3 0x461bcd
00001ada: PUSH1 0xe5
00001adc: SHL
00001add: DUP2
00001ade: MSTORE
00001adf: PUSH1 0x20
00001ae1: PUSH1 0x04
00001ae3: DUP3
00001ae4: ADD
00001ae5: MSTORE
00001ae6: PUSH1 0x11
00001ae8: PUSH1 0x24
00001aea: DUP3
00001aeb: ADD
00001aec: MSTORE
00001aed: PUSH17 0x494e56414c49445f44454c454741544545
00001aff: PUSH1 0x78
00001b01: SHL
00001b02: PUSH1 0x44
00001b04: DUP3
00001b05: ADD
00001b06: MSTORE
00001b07: SWAP1
00001b08: MLOAD
00001b09: SWAP1
00001b0a: DUP2
00001b0b: SWAP1
00001b0c: SUB
00001b0d: PUSH1 0x64
00001b0f: ADD
00001b10: SWAP1
00001b11: REVERT
00001b12: JUMPDEST
00001b13: PUSH1 0x00
00001b15: PUSH2 0x1b1d
00001b18: DUP3
00001b19: PUSH2 0x1bd4
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: SWAP3
00001b1f: POP
00001b20: POP
00001b21: POP
00001b22: PUSH1 0x00
00001b24: PUSH2 0x1b2c
00001b27: DUP6
00001b28: PUSH2 0x0aa7
00001b2b: JUMP
00001b2c: JUMPDEST
00001b2d: SWAP1
00001b2e: POP
00001b2f: PUSH1 0x00
00001b31: PUSH2 0x1b3a
00001b34: DUP7
00001b35: DUP5
00001b36: PUSH2 0x1c0e
00001b39: JUMP
00001b3a: JUMPDEST
00001b3b: PUSH1 0x01
00001b3d: PUSH1 0x01
00001b3f: PUSH1 0xa0
00001b41: SHL
00001b42: SUB
00001b43: DUP8
00001b44: DUP2
00001b45: AND
00001b46: PUSH1 0x00
00001b48: SWAP1
00001b49: DUP2
00001b4a: MSTORE
00001b4b: PUSH1 0x20
00001b4d: DUP7
00001b4e: SWAP1
00001b4f: MSTORE
00001b50: PUSH1 0x40
00001b52: SWAP1
00001b53: KECCAK256
00001b54: DUP1
00001b55: SLOAD
00001b56: PUSH1 0x01
00001b58: PUSH1 0x01
00001b5a: PUSH1 0xa0
00001b5c: SHL
00001b5d: SUB
00001b5e: NOT
00001b5f: AND
00001b60: SWAP2
00001b61: DUP9
00001b62: AND
00001b63: SWAP2
00001b64: SWAP1
00001b65: SWAP2
00001b66: OR
00001b67: SWAP1
00001b68: SSTORE
00001b69: SWAP1
00001b6a: POP
00001b6b: PUSH2 0x1b76
00001b6e: DUP2
00001b6f: DUP7
00001b70: DUP5
00001b71: DUP8
00001b72: PUSH2 0x27c2
00001b75: JUMP
00001b76: JUMPDEST
00001b77: DUP5
00001b78: PUSH1 0x01
00001b7a: PUSH1 0x01
00001b7c: PUSH1 0xa0
00001b7e: SHL
00001b7f: SUB
00001b80: AND
00001b81: DUP7
00001b82: PUSH1 0x01
00001b84: PUSH1 0x01
00001b86: PUSH1 0xa0
00001b88: SHL
00001b89: SUB
00001b8a: AND
00001b8b: PUSH32 0xe8d51c8e11bd570db1734c8ec775785330e77007feed45c43b608ef33ff914bd
00001bac: DUP7
00001bad: PUSH1 0x40
00001baf: MLOAD
00001bb0: DUP1
00001bb1: DUP3
00001bb2: PUSH1 0x01
00001bb4: DUP2
00001bb5: GT
00001bb6: ISZERO
00001bb7: PUSH2 0x1bbc
00001bba: JUMPI
00001bbb: INVALID
00001bbc: JUMPDEST
00001bbd: DUP2
00001bbe: MSTORE
00001bbf: PUSH1 0x20
00001bc1: ADD
00001bc2: SWAP2
00001bc3: POP
00001bc4: POP
00001bc5: PUSH1 0x40
00001bc7: MLOAD
00001bc8: DUP1
00001bc9: SWAP2
00001bca: SUB
00001bcb: SWAP1
00001bcc: LOG3
00001bcd: POP
00001bce: POP
00001bcf: POP
00001bd0: POP
00001bd1: POP
00001bd2: POP
00001bd3: JUMP
00001bd4: JUMPDEST
00001bd5: PUSH1 0x00
00001bd7: DUP1
00001bd8: DUP1
00001bd9: DUP1
00001bda: DUP5
00001bdb: PUSH1 0x01
00001bdd: DUP2
00001bde: GT
00001bdf: ISZERO
00001be0: PUSH2 0x1be5
00001be3: JUMPI
00001be4: INVALID
00001be5: JUMPDEST
00001be6: EQ
00001be7: ISZERO
00001be8: PUSH2 0x1bfb
00001beb: JUMPI
00001bec: POP
00001bed: PUSH1 0x06
00001bef: SWAP2
00001bf0: POP
00001bf1: PUSH1 0x07
00001bf3: SWAP1
00001bf4: POP
00001bf5: PUSH1 0x3f
00001bf7: PUSH2 0x1c07
00001bfa: JUMP
00001bfb: JUMPDEST
00001bfc: POP
00001bfd: PUSH1 0x40
00001bff: SWAP2
00001c00: POP
00001c01: PUSH1 0x41
00001c03: SWAP1
00001c04: POP
00001c05: PUSH1 0x42
00001c07: JUMPDEST
00001c08: SWAP2
00001c09: SWAP4
00001c0a: SWAP1
00001c0b: SWAP3
00001c0c: POP
00001c0d: JUMP
00001c0e: JUMPDEST
00001c0f: PUSH1 0x01
00001c11: PUSH1 0x01
00001c13: PUSH1 0xa0
00001c15: SHL
00001c16: SUB
00001c17: DUP1
00001c18: DUP4
00001c19: AND
00001c1a: PUSH1 0x00
00001c1c: SWAP1
00001c1d: DUP2
00001c1e: MSTORE
00001c1f: PUSH1 0x20
00001c21: DUP4
00001c22: SWAP1
00001c23: MSTORE
00001c24: PUSH1 0x40
00001c26: DUP2
00001c27: KECCAK256
00001c28: SLOAD
00001c29: SWAP1
00001c2a: SWAP2
00001c2b: AND
00001c2c: DUP1
00001c2d: PUSH2 0x0910
00001c30: JUMPI
00001c31: DUP4
00001c32: SWAP2
00001c33: POP
00001c34: POP
00001c35: PUSH2 0x06de
00001c38: JUMP
00001c39: JUMPDEST
00001c3a: PUSH2 0x1c42
00001c3d: CALLER
00001c3e: PUSH2 0x0aa7
00001c41: JUMP
00001c42: JUMPDEST
00001c43: PUSH2 0x1c5e
00001c46: JUMPI
00001c47: PUSH1 0x40
00001c49: MLOAD
00001c4a: PUSH3 0x461bcd
00001c4e: PUSH1 0xe5
00001c50: SHL
00001c51: DUP2
00001c52: MSTORE
00001c53: PUSH1 0x04
00001c55: ADD
00001c56: PUSH2 0x0819
00001c59: SWAP1
00001c5a: PUSH2 0x364d
00001c5d: JUMP
00001c5e: JUMPDEST
00001c5f: CALLER
00001c60: PUSH1 0x00
00001c62: DUP2
00001c63: DUP2
00001c64: MSTORE
00001c65: PUSH1 0x3e
00001c67: PUSH1 0x20
00001c69: MSTORE
00001c6a: PUSH1 0x40
00001c6c: DUP1
00001c6d: DUP3
00001c6e: KECCAK256
00001c6f: TIMESTAMP
00001c70: SWAP1
00001c71: SSTORE
00001c72: MLOAD
00001c73: PUSH32 0xf52f50426b32362d3e6bb8cb36b7074756b224622def6352a59eac7f66ebe6e8
00001c94: SWAP2
00001c95: SWAP1
00001c96: LOG2
00001c97: JUMP
00001c98: JUMPDEST
00001c99: PUSH1 0x00
00001c9b: DUP1
00001c9c: DUP1
00001c9d: JUMPDEST
00001c9e: DUP4
00001c9f: MLOAD
00001ca0: DUP2
00001ca1: LT
00001ca2: ISZERO
00001ca3: PUSH2 0x1d81
00001ca6: JUMPI
00001ca7: PUSH1 0x00
00001ca9: PUSH1 0x3c
00001cab: PUSH1 0x00
00001cad: DUP7
00001cae: DUP5
00001caf: DUP2
00001cb0: MLOAD
00001cb1: DUP2
00001cb2: LT
00001cb3: PUSH2 0x1cb8
00001cb6: JUMPI
00001cb7: INVALID
00001cb8: JUMPDEST
00001cb9: PUSH1 0x20
00001cbb: SWAP1
00001cbc: DUP2
00001cbd: MUL
00001cbe: SWAP2
00001cbf: SWAP1
00001cc0: SWAP2
00001cc1: ADD
00001cc2: DUP2
00001cc3: ADD
00001cc4: MLOAD
00001cc5: MLOAD
00001cc6: PUSH1 0x01
00001cc8: PUSH1 0x01
00001cca: PUSH1 0xa0
00001ccc: SHL
00001ccd: SUB
00001cce: AND
00001ccf: DUP3
00001cd0: MSTORE
00001cd1: DUP2
00001cd2: ADD
00001cd3: SWAP2
00001cd4: SWAP1
00001cd5: SWAP2
00001cd6: MSTORE
00001cd7: PUSH1 0x40
00001cd9: ADD
00001cda: PUSH1 0x00
00001cdc: SWAP1
00001cdd: DUP2
00001cde: KECCAK256
00001cdf: PUSH1 0x01
00001ce1: DUP2
00001ce2: ADD
00001ce3: SLOAD
00001ce4: DUP2
00001ce5: SLOAD
00001ce6: DUP9
00001ce7: MLOAD
00001ce8: SWAP3
00001ce9: SWAP5
00001cea: POP
00001ceb: PUSH2 0x1d20
00001cee: SWAP3
00001cef: PUSH1 0x01
00001cf1: PUSH1 0x01
00001cf3: PUSH1 0x80
00001cf5: SHL
00001cf6: SUB
00001cf7: DUP1
00001cf8: DUP4
00001cf9: AND
00001cfa: SWAP3
00001cfb: PUSH1 0x01
00001cfd: PUSH1 0x80
00001cff: SHL
00001d00: SWAP1
00001d01: DIV
00001d02: AND
00001d03: SWAP1
00001d04: DUP11
00001d05: SWAP1
00001d06: DUP9
00001d07: SWAP1
00001d08: DUP2
00001d09: LT
00001d0a: PUSH2 0x1d0f
00001d0d: JUMPI
00001d0e: INVALID
00001d0f: JUMPDEST
00001d10: PUSH1 0x20
00001d12: MUL
00001d13: PUSH1 0x20
00001d15: ADD
00001d16: ADD
00001d17: MLOAD
00001d18: PUSH1 0x40
00001d1a: ADD
00001d1b: MLOAD
00001d1c: PUSH2 0x29d0
00001d1f: JUMP
00001d20: JUMPDEST
00001d21: SWAP1
00001d22: POP
00001d23: PUSH2 0x1d75
00001d26: PUSH2 0x1d6e
00001d29: DUP8
00001d2a: DUP6
00001d2b: DUP2
00001d2c: MLOAD
00001d2d: DUP2
00001d2e: LT
00001d2f: PUSH2 0x1d34
00001d32: JUMPI
00001d33: INVALID
00001d34: JUMPDEST
00001d35: PUSH1 0x20
00001d37: MUL
00001d38: PUSH1 0x20
00001d3a: ADD
00001d3b: ADD
00001d3c: MLOAD
00001d3d: PUSH1 0x20
00001d3f: ADD
00001d40: MLOAD
00001d41: DUP4
00001d42: DUP6
00001d43: PUSH1 0x02
00001d45: ADD
00001d46: PUSH1 0x00
00001d48: DUP13
00001d49: PUSH1 0x01
00001d4b: PUSH1 0x01
00001d4d: PUSH1 0xa0
00001d4f: SHL
00001d50: SUB
00001d51: AND
00001d52: PUSH1 0x01
00001d54: PUSH1 0x01
00001d56: PUSH1 0xa0
00001d58: SHL
00001d59: SUB
00001d5a: AND
00001d5b: DUP2
00001d5c: MSTORE
00001d5d: PUSH1 0x20
00001d5f: ADD
00001d60: SWAP1
00001d61: DUP2
00001d62: MSTORE
00001d63: PUSH1 0x20
00001d65: ADD
00001d66: PUSH1 0x00
00001d68: KECCAK256
00001d69: SLOAD
00001d6a: PUSH2 0x2ac9
00001d6d: JUMP
00001d6e: JUMPDEST
00001d6f: DUP6
00001d70: SWAP1
00001d71: PUSH2 0x16ad
00001d74: JUMP
00001d75: JUMPDEST
00001d76: SWAP4
00001d77: POP
00001d78: POP
00001d79: POP
00001d7a: PUSH1 0x01
00001d7c: ADD
00001d7d: PUSH2 0x1c9d
00001d80: JUMP
00001d81: JUMPDEST
00001d82: POP
00001d83: SWAP4
00001d84: SWAP3
00001d85: POP
00001d86: POP
00001d87: POP
00001d88: JUMP
00001d89: JUMPDEST
00001d8a: PUSH1 0x00
00001d8c: DUP2
00001d8d: DUP5
00001d8e: DUP5
00001d8f: GT
00001d90: ISZERO
00001d91: PUSH2 0x1e18
00001d94: JUMPI
00001d95: PUSH1 0x40
00001d97: MLOAD
00001d98: PUSH3 0x461bcd
00001d9c: PUSH1 0xe5
00001d9e: SHL
00001d9f: DUP2
00001da0: MSTORE
00001da1: PUSH1 0x04
00001da3: ADD
00001da4: DUP1
00001da5: DUP1
00001da6: PUSH1 0x20
00001da8: ADD
00001da9: DUP3
00001daa: DUP2
00001dab: SUB
00001dac: DUP3
00001dad: MSTORE
00001dae: DUP4
00001daf: DUP2
00001db0: DUP2
00001db1: MLOAD
00001db2: DUP2
00001db3: MSTORE
00001db4: PUSH1 0x20
00001db6: ADD
00001db7: SWAP2
00001db8: POP
00001db9: DUP1
00001dba: MLOAD
00001dbb: SWAP1
00001dbc: PUSH1 0x20
00001dbe: ADD
00001dbf: SWAP1
00001dc0: DUP1
00001dc1: DUP4
00001dc2: DUP4
00001dc3: PUSH1 0x00
00001dc5: JUMPDEST
00001dc6: DUP4
00001dc7: DUP2
00001dc8: LT
00001dc9: ISZERO
00001dca: PUSH2 0x1ddd
00001dcd: JUMPI
00001dce: DUP2
00001dcf: DUP2
00001dd0: ADD
00001dd1: MLOAD
00001dd2: DUP4
00001dd3: DUP3
00001dd4: ADD
00001dd5: MSTORE
00001dd6: PUSH1 0x20
00001dd8: ADD
00001dd9: PUSH2 0x1dc5
00001ddc: JUMP
00001ddd: JUMPDEST
00001dde: POP
00001ddf: POP
00001de0: POP
00001de1: POP
00001de2: SWAP1
00001de3: POP
00001de4: SWAP1
00001de5: DUP2
00001de6: ADD
00001de7: SWAP1
00001de8: PUSH1 0x1f
00001dea: AND
00001deb: DUP1
00001dec: ISZERO
00001ded: PUSH2 0x1e0a
00001df0: JUMPI
00001df1: DUP1
00001df2: DUP3
00001df3: SUB
00001df4: DUP1
00001df5: MLOAD
00001df6: PUSH1 0x01
00001df8: DUP4
00001df9: PUSH1 0x20
00001dfb: SUB
00001dfc: PUSH2 0x0100
00001dff: EXP
00001e00: SUB
00001e01: NOT
00001e02: AND
00001e03: DUP2
00001e04: MSTORE
00001e05: PUSH1 0x20
00001e07: ADD
00001e08: SWAP2
00001e09: POP
00001e0a: JUMPDEST
00001e0b: POP
00001e0c: SWAP3
00001e0d: POP
00001e0e: POP
00001e0f: POP
00001e10: PUSH1 0x40
00001e12: MLOAD
00001e13: DUP1
00001e14: SWAP2
00001e15: SUB
00001e16: SWAP1
00001e17: REVERT
00001e18: JUMPDEST
00001e19: POP
00001e1a: POP
00001e1b: POP
00001e1c: SWAP1
00001e1d: SUB
00001e1e: SWAP1
00001e1f: JUMP
00001e20: JUMPDEST
00001e21: PUSH1 0x40
00001e23: DUP1
00001e24: MLOAD
00001e25: PUSH1 0x01
00001e27: PUSH1 0x01
00001e29: PUSH1 0xa0
00001e2b: SHL
00001e2c: SUB
00001e2d: DUP1
00001e2e: DUP7
00001e2f: AND
00001e30: PUSH1 0x24
00001e32: DUP4
00001e33: ADD
00001e34: MSTORE
00001e35: DUP5
00001e36: AND
00001e37: PUSH1 0x44
00001e39: DUP3
00001e3a: ADD
00001e3b: MSTORE
00001e3c: PUSH1 0x64
00001e3e: DUP1
00001e3f: DUP3
00001e40: ADD
00001e41: DUP5
00001e42: SWAP1
00001e43: MSTORE
00001e44: DUP3
00001e45: MLOAD
00001e46: DUP1
00001e47: DUP4
00001e48: SUB
00001e49: SWAP1
00001e4a: SWAP2
00001e4b: ADD
00001e4c: DUP2
00001e4d: MSTORE
00001e4e: PUSH1 0x84
00001e50: SWAP1
00001e51: SWAP2
00001e52: ADD
00001e53: SWAP1
00001e54: SWAP2
00001e55: MSTORE
00001e56: PUSH1 0x20
00001e58: DUP2
00001e59: ADD
00001e5a: DUP1
00001e5b: MLOAD
00001e5c: PUSH1 0x01
00001e5e: PUSH1 0x01
00001e60: PUSH1 0xe0
00001e62: SHL
00001e63: SUB
00001e64: AND
00001e65: PUSH4 0x23b872dd
00001e6a: PUSH1 0xe0
00001e6c: SHL
00001e6d: OR
00001e6e: SWAP1
00001e6f: MSTORE
00001e70: PUSH2 0x1e7a
00001e73: SWAP1
00001e74: DUP6
00001e75: SWAP1
00001e76: PUSH2 0x2544
00001e79: JUMP
00001e7a: JUMPDEST
00001e7b: POP
00001e7c: POP
00001e7d: POP
00001e7e: POP
00001e7f: JUMP
00001e80: JUMPDEST
00001e81: PUSH1 0x00
00001e83: PUSH2 0x06da
00001e86: PUSH2 0x1e8d
00001e89: PUSH2 0x171d
00001e8c: JUMP
00001e8d: JUMPDEST
00001e8e: DUP5
00001e8f: DUP5
00001e90: PUSH2 0x26fc
00001e93: JUMP
00001e94: JUMPDEST
00001e95: DUP1
00001e96: PUSH2 0x1eb1
00001e99: JUMPI
00001e9a: PUSH1 0x40
00001e9c: MLOAD
00001e9d: PUSH3 0x461bcd
00001ea1: PUSH1 0xe5
00001ea3: SHL
00001ea4: DUP2
00001ea5: MSTORE
00001ea6: PUSH1 0x04
00001ea8: ADD
00001ea9: PUSH2 0x0819
00001eac: SWAP1
00001ead: PUSH2 0x354c
00001eb0: JUMP
00001eb1: JUMPDEST
00001eb2: PUSH1 0x00
00001eb4: PUSH2 0x1ebc
00001eb7: DUP4
00001eb8: PUSH2 0x0aa7
00001ebb: JUMP
00001ebc: JUMPDEST
00001ebd: SWAP1
00001ebe: POP
00001ebf: PUSH1 0x00
00001ec1: PUSH2 0x1ece
00001ec4: DUP5
00001ec5: ADDRESS
00001ec6: DUP5
00001ec7: PUSH2 0x1823
00001eca: PUSH2 0x07f6
00001ecd: JUMP
00001ece: JUMPDEST
00001ecf: SWAP1
00001ed0: POP
00001ed1: DUP1
00001ed2: ISZERO
00001ed3: PUSH2 0x1f4c
00001ed6: JUMPI
00001ed7: PUSH32 0x2468f9268c60ad90e2d49edb0032c8a001e733ae888b3ab8e982edf535be1a76
00001ef8: DUP5
00001ef9: DUP3
00001efa: PUSH1 0x40
00001efc: MLOAD
00001efd: PUSH2 0x1f07
00001f00: SWAP3
00001f01: SWAP2
00001f02: SWAP1
00001f03: PUSH2 0x343e
00001f06: JUMP
00001f07: JUMPDEST
00001f08: PUSH1 0x40
00001f0a: MLOAD
00001f0b: DUP1
00001f0c: SWAP2
00001f0d: SUB
00001f0e: SWAP1
00001f0f: LOG1
00001f10: PUSH1 0x01
00001f12: PUSH1 0x01
00001f14: PUSH1 0xa0
00001f16: SHL
00001f17: SUB
00001f18: DUP5
00001f19: AND
00001f1a: PUSH1 0x00
00001f1c: SWAP1
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: PUSH1 0x3d
00001f21: PUSH1 0x20
00001f23: MSTORE
00001f24: PUSH1 0x40
00001f26: SWAP1
00001f27: KECCAK256
00001f28: SLOAD
00001f29: PUSH2 0x1f32
00001f2c: SWAP1
00001f2d: DUP3
00001f2e: PUSH2 0x16ad
00001f31: JUMP
00001f32: JUMPDEST
00001f33: PUSH1 0x01
00001f35: PUSH1 0x01
00001f37: PUSH1 0xa0
00001f39: SHL
00001f3a: SUB
00001f3b: DUP6
00001f3c: AND
00001f3d: PUSH1 0x00
00001f3f: SWAP1
00001f40: DUP2
00001f41: MSTORE
00001f42: PUSH1 0x3d
00001f44: PUSH1 0x20
00001f46: MSTORE
00001f47: PUSH1 0x40
00001f49: SWAP1
00001f4a: KECCAK256
00001f4b: SSTORE
00001f4c: JUMPDEST
00001f4d: PUSH2 0x1f59
00001f50: PUSH1 0x00
00001f52: DUP5
00001f53: DUP7
00001f54: DUP6
00001f55: PUSH2 0x143b
00001f58: JUMP
00001f59: JUMPDEST
00001f5a: PUSH1 0x01
00001f5c: PUSH1 0x01
00001f5e: PUSH1 0xa0
00001f60: SHL
00001f61: SUB
00001f62: DUP6
00001f63: AND
00001f64: PUSH1 0x00
00001f66: SWAP1
00001f67: DUP2
00001f68: MSTORE
00001f69: PUSH1 0x3e
00001f6b: PUSH1 0x20
00001f6d: MSTORE
00001f6e: PUSH1 0x40
00001f70: SWAP1
00001f71: KECCAK256
00001f72: SSTORE
00001f73: PUSH2 0x1f7c
00001f76: DUP5
00001f77: DUP5
00001f78: PUSH2 0x2aeb
00001f7b: JUMP
00001f7c: JUMPDEST
00001f7d: PUSH2 0x1fb1
00001f80: PUSH1 0x01
00001f82: PUSH1 0x01
00001f84: PUSH1 0xa0
00001f86: SHL
00001f87: SUB
00001f88: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001fa9: AND
00001faa: CALLER
00001fab: ADDRESS
00001fac: DUP7
00001fad: PUSH2 0x1e20
00001fb0: JUMP
00001fb1: JUMPDEST
00001fb2: DUP4
00001fb3: PUSH1 0x01
00001fb5: PUSH1 0x01
00001fb7: PUSH1 0xa0
00001fb9: SHL
00001fba: SUB
00001fbb: AND
00001fbc: CALLER
00001fbd: PUSH1 0x01
00001fbf: PUSH1 0x01
00001fc1: PUSH1 0xa0
00001fc3: SHL
00001fc4: SUB
00001fc5: AND
00001fc6: PUSH32 0x5dac0c1b1112564a045ba943c9d50270893e8e826c49be8e7073adc713ab7bd7
00001fe7: DUP6
00001fe8: PUSH1 0x40
00001fea: MLOAD
00001feb: PUSH2 0x08ef
00001fee: SWAP2
00001fef: SWAP1
00001ff0: PUSH2 0x3462
00001ff3: JUMP
00001ff4: JUMPDEST
00001ff5: PUSH1 0x01
00001ff7: DUP3
00001ff8: ADD
00001ff9: SLOAD
00001ffa: DUP3
00001ffb: SLOAD
00001ffc: PUSH1 0x00
00001ffe: SWAP2
00001fff: SWAP1
00002000: PUSH1 0x01
00002002: PUSH1 0x80
00002004: SHL
00002005: SWAP1
00002006: DIV
00002007: PUSH1 0x01
00002009: PUSH1 0x01
0000200b: PUSH1 0x80
0000200d: SHL
0000200e: SUB
0000200f: AND
00002010: TIMESTAMP
00002011: DUP2
00002012: EQ
00002013: ISZERO
00002014: PUSH2 0x201f
00002017: JUMPI
00002018: POP
00002019: SWAP1
0000201a: POP
0000201b: PUSH2 0x0910
0000201e: JUMP
0000201f: JUMPDEST
00002020: DUP5
00002021: SLOAD
00002022: PUSH1 0x00
00002024: SWAP1
00002025: PUSH2 0x203a
00002028: SWAP1
00002029: DUP5
0000202a: SWAP1
0000202b: PUSH1 0x01
0000202d: PUSH1 0x01
0000202f: PUSH1 0x80
00002031: SHL
00002032: SUB
00002033: AND
00002034: DUP5
00002035: DUP9
00002036: PUSH2 0x29d0
00002039: JUMP
0000203a: JUMPDEST
0000203b: SWAP1
0000203c: POP
0000203d: DUP3
0000203e: DUP2
0000203f: EQ
00002040: PUSH2 0x208e
00002043: JUMPI
00002044: DUP1
00002045: DUP7
00002046: PUSH1 0x01
00002048: ADD
00002049: DUP2
0000204a: SWAP1
0000204b: SSTORE
0000204c: POP
0000204d: DUP7
0000204e: PUSH1 0x01
00002050: PUSH1 0x01
00002052: PUSH1 0xa0
00002054: SHL
00002055: SUB
00002056: AND
00002057: PUSH32 0x5777ca300dfe5bead41006fbce4389794dbc0ed8d6cccebfaf94630aa04184bc
00002078: DUP3
00002079: PUSH1 0x40
0000207b: MLOAD
0000207c: PUSH2 0x2085
0000207f: SWAP2
00002080: SWAP1
00002081: PUSH2 0x3462
00002084: JUMP
00002085: JUMPDEST
00002086: PUSH1 0x40
00002088: MLOAD
00002089: DUP1
0000208a: SWAP2
0000208b: SUB
0000208c: SWAP1
0000208d: LOG2
0000208e: JUMPDEST
0000208f: DUP6
00002090: SLOAD
00002091: PUSH1 0x01
00002093: PUSH1 0x01
00002095: PUSH1 0x80
00002097: SHL
00002098: SUB
00002099: TIMESTAMP
0000209a: DUP2
0000209b: AND
0000209c: PUSH1 0x01
0000209e: PUSH1 0x80
000020a0: SHL
000020a1: MUL
000020a2: SWAP2
000020a3: AND
000020a4: OR
000020a5: DUP7
000020a6: SSTORE
000020a7: SWAP3
000020a8: POP
000020a9: POP
000020aa: POP
000020ab: SWAP4
000020ac: SWAP3
000020ad: POP
000020ae: POP
000020af: POP
000020b0: JUMP
000020b1: JUMPDEST
000020b2: PUSH1 0x00
000020b4: NUMBER
000020b5: DUP3
000020b6: GT
000020b7: ISZERO
000020b8: PUSH2 0x20ff
000020bb: JUMPI
000020bc: PUSH1 0x40
000020be: DUP1
000020bf: MLOAD
000020c0: PUSH3 0x461bcd
000020c4: PUSH1 0xe5
000020c6: SHL
000020c7: DUP2
000020c8: MSTORE
000020c9: PUSH1 0x20
000020cb: PUSH1 0x04
000020cd: DUP3
000020ce: ADD
000020cf: MSTORE
000020d0: PUSH1 0x14
000020d2: PUSH1 0x24
000020d4: DUP3
000020d5: ADD
000020d6: MSTORE
000020d7: PUSH20 0x24a72b20a624a22fa12627a1a5afa72aa6a122a9
000020ec: PUSH1 0x61
000020ee: SHL
000020ef: PUSH1 0x44
000020f1: DUP3
000020f2: ADD
000020f3: MSTORE
000020f4: SWAP1
000020f5: MLOAD
000020f6: SWAP1
000020f7: DUP2
000020f8: SWAP1
000020f9: SUB
000020fa: PUSH1 0x64
000020fc: ADD
000020fd: SWAP1
000020fe: REVERT
000020ff: JUMPDEST
00002100: PUSH1 0x01
00002102: PUSH1 0x01
00002104: PUSH1 0xa0
00002106: SHL
00002107: SUB
00002108: DUP4
00002109: AND
0000210a: PUSH1 0x00
0000210c: SWAP1
0000210d: DUP2
0000210e: MSTORE
0000210f: PUSH1 0x20
00002111: DUP6
00002112: SWAP1
00002113: MSTORE
00002114: PUSH1 0x40
00002116: SWAP1
00002117: KECCAK256
00002118: SLOAD
00002119: DUP1
0000211a: PUSH2 0x212e
0000211d: JUMPI
0000211e: PUSH2 0x2126
00002121: DUP5
00002122: PUSH2 0x0aa7
00002125: JUMP
00002126: JUMPDEST
00002127: SWAP2
00002128: POP
00002129: POP
0000212a: PUSH2 0x0a9f
0000212d: JUMP
0000212e: JUMPDEST
0000212f: PUSH1 0x01
00002131: PUSH1 0x01
00002133: PUSH1 0xa0
00002135: SHL
00002136: SUB
00002137: DUP5
00002138: AND
00002139: PUSH1 0x00
0000213b: SWAP1
0000213c: DUP2
0000213d: MSTORE
0000213e: PUSH1 0x20
00002140: DUP8
00002141: DUP2
00002142: MSTORE
00002143: PUSH1 0x40
00002145: DUP1
00002146: DUP4
00002147: KECCAK256
00002148: PUSH1 0x00
0000214a: NOT
0000214b: DUP6
0000214c: ADD
0000214d: DUP5
0000214e: MSTORE
0000214f: SWAP1
00002150: SWAP2
00002151: MSTORE
00002152: SWAP1
00002153: KECCAK256
00002154: SLOAD
00002155: PUSH1 0x01
00002157: PUSH1 0x01
00002159: PUSH1 0x80
0000215b: SHL
0000215c: SUB
0000215d: AND
0000215e: DUP4
0000215f: LT
00002160: PUSH2 0x21a1
00002163: JUMPI
00002164: PUSH1 0x01
00002166: PUSH1 0x01
00002168: PUSH1 0xa0
0000216a: SHL
0000216b: SUB
0000216c: DUP5
0000216d: AND
0000216e: PUSH1 0x00
00002170: SWAP1
00002171: DUP2
00002172: MSTORE
00002173: PUSH1 0x20
00002175: DUP8
00002176: DUP2
00002177: MSTORE
00002178: PUSH1 0x40
0000217a: DUP1
0000217b: DUP4
0000217c: KECCAK256
0000217d: PUSH1 0x00
0000217f: NOT
00002180: SWAP1
00002181: SWAP5
00002182: ADD
00002183: DUP4
00002184: MSTORE
00002185: SWAP3
00002186: SWAP1
00002187: MSTORE
00002188: KECCAK256
00002189: SLOAD
0000218a: PUSH1 0x01
0000218c: PUSH1 0x01
0000218e: PUSH1 0x80
00002190: SHL
00002191: SUB
00002192: PUSH1 0x01
00002194: PUSH1 0x80
00002196: SHL
00002197: SWAP1
00002198: SWAP2
00002199: DIV
0000219a: AND
0000219b: SWAP1
0000219c: POP
0000219d: PUSH2 0x0a9f
000021a0: JUMP
000021a1: JUMPDEST
000021a2: PUSH1 0x01
000021a4: PUSH1 0x01
000021a6: PUSH1 0xa0
000021a8: SHL
000021a9: SUB
000021aa: DUP5
000021ab: AND
000021ac: PUSH1 0x00
000021ae: SWAP1
000021af: DUP2
000021b0: MSTORE
000021b1: PUSH1 0x20
000021b3: DUP8
000021b4: DUP2
000021b5: MSTORE
000021b6: PUSH1 0x40
000021b8: DUP1
000021b9: DUP4
000021ba: KECCAK256
000021bb: DUP4
000021bc: DUP1
000021bd: MSTORE
000021be: SWAP1
000021bf: SWAP2
000021c0: MSTORE
000021c1: SWAP1
000021c2: KECCAK256
000021c3: SLOAD
000021c4: PUSH1 0x01
000021c6: PUSH1 0x01
000021c8: PUSH1 0x80
000021ca: SHL
000021cb: SUB
000021cc: AND
000021cd: DUP4
000021ce: LT
000021cf: ISZERO
000021d0: PUSH2 0x21dd
000021d3: JUMPI
000021d4: PUSH1 0x00
000021d6: SWAP2
000021d7: POP
000021d8: POP
000021d9: PUSH2 0x0a9f
000021dc: JUMP
000021dd: JUMPDEST
000021de: PUSH1 0x00
000021e0: PUSH1 0x00
000021e2: NOT
000021e3: DUP3
000021e4: ADD
000021e5: JUMPDEST
000021e6: DUP2
000021e7: DUP2
000021e8: GT
000021e9: ISZERO
000021ea: PUSH2 0x228f
000021ed: JUMPI
000021ee: PUSH1 0x02
000021f0: DUP3
000021f1: DUP3
000021f2: SUB
000021f3: DIV
000021f4: DUP2
000021f5: SUB
000021f6: PUSH2 0x21fd
000021f9: PUSH2 0x2f88
000021fc: JUMP
000021fd: JUMPDEST
000021fe: POP
000021ff: PUSH1 0x01
00002201: PUSH1 0x01
00002203: PUSH1 0xa0
00002205: SHL
00002206: SUB
00002207: DUP8
00002208: AND
00002209: PUSH1 0x00
0000220b: SWAP1
0000220c: DUP2
0000220d: MSTORE
0000220e: PUSH1 0x20
00002210: DUP11
00002211: DUP2
00002212: MSTORE
00002213: PUSH1 0x40
00002215: DUP1
00002216: DUP4
00002217: KECCAK256
00002218: DUP5
00002219: DUP5
0000221a: MSTORE
0000221b: DUP3
0000221c: MSTORE
0000221d: SWAP2
0000221e: DUP3
0000221f: SWAP1
00002220: KECCAK256
00002221: DUP3
00002222: MLOAD
00002223: DUP1
00002224: DUP5
00002225: ADD
00002226: SWAP1
00002227: SWAP4
00002228: MSTORE
00002229: SLOAD
0000222a: PUSH1 0x01
0000222c: PUSH1 0x01
0000222e: PUSH1 0x80
00002230: SHL
00002231: SUB
00002232: DUP1
00002233: DUP3
00002234: AND
00002235: DUP1
00002236: DUP6
00002237: MSTORE
00002238: PUSH1 0x01
0000223a: PUSH1 0x80
0000223c: SHL
0000223d: SWAP1
0000223e: SWAP3
0000223f: DIV
00002240: AND
00002241: SWAP2
00002242: DUP4
00002243: ADD
00002244: SWAP2
00002245: SWAP1
00002246: SWAP2
00002247: MSTORE
00002248: DUP8
00002249: EQ
0000224a: ISZERO
0000224b: PUSH2 0x2267
0000224e: JUMPI
0000224f: PUSH1 0x20
00002251: ADD
00002252: MLOAD
00002253: PUSH1 0x01
00002255: PUSH1 0x01
00002257: PUSH1 0x80
00002259: SHL
0000225a: SUB
0000225b: AND
0000225c: SWAP5
0000225d: POP
0000225e: PUSH2 0x0a9f
00002261: SWAP4
00002262: POP
00002263: POP
00002264: POP
00002265: POP
00002266: JUMP
00002267: JUMPDEST
00002268: DUP1
00002269: MLOAD
0000226a: PUSH1 0x01
0000226c: PUSH1 0x01
0000226e: PUSH1 0x80
00002270: SHL
00002271: SUB
00002272: AND
00002273: DUP8
00002274: GT
00002275: ISZERO
00002276: PUSH2 0x2281
00002279: JUMPI
0000227a: DUP2
0000227b: SWAP4
0000227c: POP
0000227d: PUSH2 0x2288
00002280: JUMP
00002281: JUMPDEST
00002282: PUSH1 0x01
00002284: DUP3
00002285: SUB
00002286: SWAP3
00002287: POP
00002288: JUMPDEST
00002289: POP
0000228a: POP
0000228b: PUSH2 0x21e5
0000228e: JUMP
0000228f: JUMPDEST
00002290: POP
00002291: PUSH1 0x01
00002293: PUSH1 0x01
00002295: PUSH1 0xa0
00002297: SHL
00002298: SUB
00002299: DUP6
0000229a: AND
0000229b: PUSH1 0x00
0000229d: SWAP1
0000229e: DUP2
0000229f: MSTORE
000022a0: PUSH1 0x20
000022a2: DUP9
000022a3: DUP2
000022a4: MSTORE
000022a5: PUSH1 0x40
000022a7: DUP1
000022a8: DUP4
000022a9: KECCAK256
000022aa: SWAP4
000022ab: DUP4
000022ac: MSTORE
000022ad: SWAP3
000022ae: SWAP1
000022af: MSTORE
000022b0: KECCAK256
000022b1: SLOAD
000022b2: PUSH1 0x01
000022b4: PUSH1 0x01
000022b6: PUSH1 0x80
000022b8: SHL
000022b9: SUB
000022ba: PUSH1 0x01
000022bc: PUSH1 0x80
000022be: SHL
000022bf: SWAP1
000022c0: SWAP2
000022c1: DIV
000022c2: AND
000022c3: SWAP2
000022c4: POP
000022c5: POP
000022c6: SWAP5
000022c7: SWAP4
000022c8: POP
000022c9: POP
000022ca: POP
000022cb: POP
000022cc: JUMP
000022cd: JUMPDEST
000022ce: PUSH1 0x00
000022d0: DUP3
000022d1: PUSH2 0x22dc
000022d4: JUMPI
000022d5: POP
000022d6: PUSH1 0x00
000022d8: PUSH2 0x06de
000022db: JUMP
000022dc: JUMPDEST
000022dd: DUP3
000022de: DUP3
000022df: MUL
000022e0: DUP3
000022e1: DUP5
000022e2: DUP3
000022e3: DUP2
000022e4: PUSH2 0x22e9
000022e7: JUMPI
000022e8: INVALID
000022e9: JUMPDEST
000022ea: DIV
000022eb: EQ
000022ec: PUSH2 0x0910
000022ef: JUMPI
000022f0: PUSH1 0x40
000022f2: MLOAD
000022f3: PUSH3 0x461bcd
000022f7: PUSH1 0xe5
000022f9: SHL
000022fa: DUP2
000022fb: MSTORE
000022fc: PUSH1 0x04
000022fe: ADD
000022ff: DUP1
00002300: DUP1
00002301: PUSH1 0x20
00002303: ADD
00002304: DUP3
00002305: DUP2
00002306: SUB
00002307: DUP3
00002308: MSTORE
00002309: PUSH1 0x21
0000230b: DUP2
0000230c: MSTORE
0000230d: PUSH1 0x20
0000230f: ADD
00002310: DUP1
00002311: PUSH2 0x3772
00002314: PUSH1 0x21
00002316: SWAP2
00002317: CODECOPY
00002318: PUSH1 0x40
0000231a: ADD
0000231b: SWAP2
0000231c: POP
0000231d: POP
0000231e: PUSH1 0x40
00002320: MLOAD
00002321: DUP1
00002322: SWAP2
00002323: SUB
00002324: SWAP1
00002325: REVERT
00002326: JUMPDEST
00002327: PUSH1 0x00
00002329: PUSH2 0x0910
0000232c: DUP4
0000232d: DUP4
0000232e: PUSH1 0x40
00002330: MLOAD
00002331: DUP1
00002332: PUSH1 0x40
00002334: ADD
00002335: PUSH1 0x40
00002337: MSTORE
00002338: DUP1
00002339: PUSH1 0x1a
0000233b: DUP2
0000233c: MSTORE
0000233d: PUSH1 0x20
0000233f: ADD
00002340: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002361: DUP2
00002362: MSTORE
00002363: POP
00002364: PUSH2 0x2bdb
00002367: JUMP
00002368: JUMPDEST
00002369: PUSH1 0x01
0000236b: PUSH1 0x01
0000236d: PUSH1 0xa0
0000236f: SHL
00002370: SUB
00002371: DUP1
00002372: DUP5
00002373: AND
00002374: PUSH1 0x00
00002376: SWAP1
00002377: DUP2
00002378: MSTORE
00002379: PUSH1 0x3c
0000237b: PUSH1 0x20
0000237d: SWAP1
0000237e: DUP2
0000237f: MSTORE
00002380: PUSH1 0x40
00002382: DUP1
00002383: DUP4
00002384: KECCAK256
00002385: SWAP4
00002386: DUP9
00002387: AND
00002388: DUP4
00002389: MSTORE
0000238a: PUSH1 0x02
0000238c: DUP5
0000238d: ADD
0000238e: SWAP1
0000238f: SWAP2
00002390: MSTORE
00002391: DUP2
00002392: KECCAK256
00002393: SLOAD
00002394: SWAP1
00002395: SWAP2
00002396: SWAP1
00002397: DUP3
00002398: DUP1
00002399: PUSH2 0x23a3
0000239c: DUP9
0000239d: DUP6
0000239e: DUP9
0000239f: PUSH2 0x1ff4
000023a2: JUMP
000023a3: JUMPDEST
000023a4: SWAP1
000023a5: POP
000023a6: DUP1
000023a7: DUP4
000023a8: EQ
000023a9: PUSH2 0x241b
000023ac: JUMPI
000023ad: DUP7
000023ae: ISZERO
000023af: PUSH2 0x23c0
000023b2: JUMPI
000023b3: PUSH2 0x23bd
000023b6: DUP8
000023b7: DUP3
000023b8: DUP6
000023b9: PUSH2 0x2ac9
000023bc: JUMP
000023bd: JUMPDEST
000023be: SWAP2
000023bf: POP
000023c0: JUMPDEST
000023c1: PUSH1 0x01
000023c3: PUSH1 0x01
000023c5: PUSH1 0xa0
000023c7: SHL
000023c8: SUB
000023c9: DUP1
000023ca: DUP11
000023cb: AND
000023cc: PUSH1 0x00
000023ce: DUP2
000023cf: DUP2
000023d0: MSTORE
000023d1: PUSH1 0x02
000023d3: DUP8
000023d4: ADD
000023d5: PUSH1 0x20
000023d7: MSTORE
000023d8: PUSH1 0x40
000023da: SWAP1
000023db: DUP2
000023dc: SWAP1
000023dd: KECCAK256
000023de: DUP5
000023df: SWAP1
000023e0: SSTORE
000023e1: MLOAD
000023e2: SWAP2
000023e3: DUP11
000023e4: AND
000023e5: SWAP2
000023e6: PUSH32 0xbb123b5c06d5408bbea3c4fef481578175cfb432e3b482c6186f02ed9086585b
00002407: SWAP1
00002408: PUSH2 0x2412
0000240b: SWAP1
0000240c: DUP6
0000240d: SWAP1
0000240e: PUSH2 0x3462
00002411: JUMP
00002412: JUMPDEST
00002413: PUSH1 0x40
00002415: MLOAD
00002416: DUP1
00002417: SWAP2
00002418: SUB
00002419: SWAP1
0000241a: LOG3
0000241b: JUMPDEST
0000241c: POP
0000241d: SWAP8
0000241e: SWAP7
0000241f: POP
00002420: POP
00002421: POP
00002422: POP
00002423: POP
00002424: POP
00002425: POP
00002426: JUMP
00002427: JUMPDEST
00002428: PUSH1 0x01
0000242a: PUSH1 0x01
0000242c: PUSH1 0xa0
0000242e: SHL
0000242f: SUB
00002430: DUP1
00002431: DUP5
00002432: AND
00002433: PUSH1 0x00
00002435: SWAP1
00002436: DUP2
00002437: MSTORE
00002438: PUSH1 0x3f
0000243a: PUSH1 0x20
0000243c: MSTORE
0000243d: PUSH1 0x40
0000243f: DUP1
00002440: DUP3
00002441: KECCAK256
00002442: SLOAD
00002443: DUP6
00002444: DUP5
00002445: AND
00002446: DUP4
00002447: MSTORE
00002448: SWAP2
00002449: KECCAK256
0000244a: SLOAD
0000244b: SWAP1
0000244c: DUP3
0000244d: AND
0000244e: SWAP2
0000244f: AND
00002450: DUP2
00002451: PUSH2 0x2458
00002454: JUMPI
00002455: DUP5
00002456: SWAP2
00002457: POP
00002458: JUMPDEST
00002459: PUSH1 0x01
0000245b: PUSH1 0x01
0000245d: PUSH1 0xa0
0000245f: SHL
00002460: SUB
00002461: DUP2
00002462: AND
00002463: PUSH2 0x2469
00002466: JUMPI
00002467: POP
00002468: DUP3
00002469: JUMPDEST
0000246a: PUSH2 0x2476
0000246d: DUP3
0000246e: DUP3
0000246f: DUP6
00002470: PUSH1 0x00
00002472: PUSH2 0x27c2
00002475: JUMP
00002476: JUMPDEST
00002477: PUSH1 0x01
00002479: PUSH1 0x01
0000247b: PUSH1 0xa0
0000247d: SHL
0000247e: SUB
0000247f: DUP1
00002480: DUP7
00002481: AND
00002482: PUSH1 0x00
00002484: SWAP1
00002485: DUP2
00002486: MSTORE
00002487: PUSH1 0x42
00002489: PUSH1 0x20
0000248b: MSTORE
0000248c: PUSH1 0x40
0000248e: DUP1
0000248f: DUP3
00002490: KECCAK256
00002491: SLOAD
00002492: DUP8
00002493: DUP5
00002494: AND
00002495: DUP4
00002496: MSTORE
00002497: SWAP2
00002498: KECCAK256
00002499: SLOAD
0000249a: SWAP1
0000249b: DUP3
0000249c: AND
0000249d: SWAP2
0000249e: AND
0000249f: DUP2
000024a0: PUSH2 0x24a7
000024a3: JUMPI
000024a4: DUP7
000024a5: SWAP2
000024a6: POP
000024a7: JUMPDEST
000024a8: PUSH1 0x01
000024aa: PUSH1 0x01
000024ac: PUSH1 0xa0
000024ae: SHL
000024af: SUB
000024b0: DUP2
000024b1: AND
000024b2: PUSH2 0x24b8
000024b5: JUMPI
000024b6: POP
000024b7: DUP5
000024b8: JUMPDEST
000024b9: PUSH2 0x24c5
000024bc: DUP3
000024bd: DUP3
000024be: DUP8
000024bf: PUSH1 0x01
000024c1: PUSH2 0x27c2
000024c4: JUMP
000024c5: JUMPDEST
000024c6: PUSH1 0x08
000024c8: SLOAD
000024c9: PUSH1 0x01
000024cb: PUSH1 0x01
000024cd: PUSH1 0xa0
000024cf: SHL
000024d0: SUB
000024d1: AND
000024d2: DUP1
000024d3: ISZERO
000024d4: PUSH2 0x253a
000024d7: JUMPI
000024d8: PUSH1 0x40
000024da: MLOAD
000024db: PUSH4 0x4a393149
000024e0: PUSH1 0xe0
000024e2: SHL
000024e3: DUP2
000024e4: MSTORE
000024e5: PUSH1 0x01
000024e7: PUSH1 0x01
000024e9: PUSH1 0xa0
000024eb: SHL
000024ec: SUB
000024ed: DUP3
000024ee: AND
000024ef: SWAP1
000024f0: PUSH4 0x4a393149
000024f5: SWAP1
000024f6: PUSH2 0x2507
000024f9: SWAP1
000024fa: DUP12
000024fb: SWAP1
000024fc: DUP12
000024fd: SWAP1
000024fe: DUP12
000024ff: SWAP1
00002500: PUSH1 0x04
00002502: ADD
00002503: PUSH2 0x341a
00002506: JUMP
00002507: JUMPDEST
00002508: PUSH1 0x00
0000250a: PUSH1 0x40
0000250c: MLOAD
0000250d: DUP1
0000250e: DUP4
0000250f: SUB
00002510: DUP2
00002511: PUSH1 0x00
00002513: DUP8
00002514: DUP1
00002515: EXTCODESIZE
00002516: ISZERO
00002517: DUP1
00002518: ISZERO
00002519: PUSH2 0x2521
0000251c: JUMPI
0000251d: PUSH1 0x00
0000251f: DUP1
00002520: REVERT
00002521: JUMPDEST
00002522: POP
00002523: GAS
00002524: CALL
00002525: ISZERO
00002526: DUP1
00002527: ISZERO
00002528: PUSH2 0x2535
0000252b: JUMPI
0000252c: RETURNDATASIZE
0000252d: PUSH1 0x00
0000252f: DUP1
00002530: RETURNDATACOPY
00002531: RETURNDATASIZE
00002532: PUSH1 0x00
00002534: REVERT
00002535: JUMPDEST
00002536: POP
00002537: POP
00002538: POP
00002539: POP
0000253a: JUMPDEST
0000253b: POP
0000253c: POP
0000253d: POP
0000253e: POP
0000253f: POP
00002540: POP
00002541: POP
00002542: POP
00002543: JUMP
00002544: JUMPDEST
00002545: PUSH2 0x2556
00002548: DUP3
00002549: PUSH1 0x01
0000254b: PUSH1 0x01
0000254d: PUSH1 0xa0
0000254f: SHL
00002550: SUB
00002551: AND
00002552: PUSH2 0x2c40
00002555: JUMP
00002556: JUMPDEST
00002557: PUSH2 0x25a7
0000255a: JUMPI
0000255b: PUSH1 0x40
0000255d: DUP1
0000255e: MLOAD
0000255f: PUSH3 0x461bcd
00002563: PUSH1 0xe5
00002565: SHL
00002566: DUP2
00002567: MSTORE
00002568: PUSH1 0x20
0000256a: PUSH1 0x04
0000256c: DUP3
0000256d: ADD
0000256e: MSTORE
0000256f: PUSH1 0x1f
00002571: PUSH1 0x24
00002573: DUP3
00002574: ADD
00002575: MSTORE
00002576: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
00002597: PUSH1 0x44
00002599: DUP3
0000259a: ADD
0000259b: MSTORE
0000259c: SWAP1
0000259d: MLOAD
0000259e: SWAP1
0000259f: DUP2
000025a0: SWAP1
000025a1: SUB
000025a2: PUSH1 0x64
000025a4: ADD
000025a5: SWAP1
000025a6: REVERT
000025a7: JUMPDEST
000025a8: PUSH1 0x00
000025aa: PUSH1 0x60
000025ac: DUP4
000025ad: PUSH1 0x01
000025af: PUSH1 0x01
000025b1: PUSH1 0xa0
000025b3: SHL
000025b4: SUB
000025b5: AND
000025b6: DUP4
000025b7: PUSH1 0x40
000025b9: MLOAD
000025ba: DUP1
000025bb: DUP3
000025bc: DUP1
000025bd: MLOAD
000025be: SWAP1
000025bf: PUSH1 0x20
000025c1: ADD
000025c2: SWAP1
000025c3: DUP1
000025c4: DUP4
000025c5: DUP4
000025c6: JUMPDEST
000025c7: PUSH1 0x20
000025c9: DUP4
000025ca: LT
000025cb: PUSH2 0x25e5
000025ce: JUMPI
000025cf: DUP1
000025d0: MLOAD
000025d1: DUP3
000025d2: MSTORE
000025d3: PUSH1 0x1f
000025d5: NOT
000025d6: SWAP1
000025d7: SWAP3
000025d8: ADD
000025d9: SWAP2
000025da: PUSH1 0x20
000025dc: SWAP2
000025dd: DUP3
000025de: ADD
000025df: SWAP2
000025e0: ADD
000025e1: PUSH2 0x25c6
000025e4: JUMP
000025e5: JUMPDEST
000025e6: PUSH1 0x01
000025e8: DUP4
000025e9: PUSH1 0x20
000025eb: SUB
000025ec: PUSH2 0x0100
000025ef: EXP
000025f0: SUB
000025f1: DUP1
000025f2: NOT
000025f3: DUP3
000025f4: MLOAD
000025f5: AND
000025f6: DUP2
000025f7: DUP5
000025f8: MLOAD
000025f9: AND
000025fa: DUP1
000025fb: DUP3
000025fc: OR
000025fd: DUP6
000025fe: MSTORE
000025ff: POP
00002600: POP
00002601: POP
00002602: POP
00002603: POP
00002604: POP
00002605: SWAP1
00002606: POP
00002607: ADD
00002608: SWAP2
00002609: POP
0000260a: POP
0000260b: PUSH1 0x00
0000260d: PUSH1 0x40
0000260f: MLOAD
00002610: DUP1
00002611: DUP4
00002612: SUB
00002613: DUP2
00002614: PUSH1 0x00
00002616: DUP7
00002617: GAS
00002618: CALL
00002619: SWAP2
0000261a: POP
0000261b: POP
0000261c: RETURNDATASIZE
0000261d: DUP1
0000261e: PUSH1 0x00
00002620: DUP2
00002621: EQ
00002622: PUSH2 0x2647
00002625: JUMPI
00002626: PUSH1 0x40
00002628: MLOAD
00002629: SWAP2
0000262a: POP
0000262b: PUSH1 0x1f
0000262d: NOT
0000262e: PUSH1 0x3f
00002630: RETURNDATASIZE
00002631: ADD
00002632: AND
00002633: DUP3
00002634: ADD
00002635: PUSH1 0x40
00002637: MSTORE
00002638: RETURNDATASIZE
00002639: DUP3
0000263a: MSTORE
0000263b: RETURNDATASIZE
0000263c: PUSH1 0x00
0000263e: PUSH1 0x20
00002640: DUP5
00002641: ADD
00002642: RETURNDATACOPY
00002643: PUSH2 0x264c
00002646: JUMP
00002647: JUMPDEST
00002648: PUSH1 0x60
0000264a: SWAP2
0000264b: POP
0000264c: JUMPDEST
0000264d: POP
0000264e: SWAP2
0000264f: POP
00002650: SWAP2
00002651: POP
00002652: DUP2
00002653: PUSH2 0x26a3
00002656: JUMPI
00002657: PUSH1 0x40
00002659: DUP1
0000265a: MLOAD
0000265b: PUSH3 0x461bcd
0000265f: PUSH1 0xe5
00002661: SHL
00002662: DUP2
00002663: MSTORE
00002664: PUSH1 0x20
00002666: PUSH1 0x04
00002668: DUP3
00002669: ADD
0000266a: DUP2
0000266b: SWAP1
0000266c: MSTORE
0000266d: PUSH1 0x24
0000266f: DUP3
00002670: ADD
00002671: MSTORE
00002672: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002693: PUSH1 0x44
00002695: DUP3
00002696: ADD
00002697: MSTORE
00002698: SWAP1
00002699: MLOAD
0000269a: SWAP1
0000269b: DUP2
0000269c: SWAP1
0000269d: SUB
0000269e: PUSH1 0x64
000026a0: ADD
000026a1: SWAP1
000026a2: REVERT
000026a3: JUMPDEST
000026a4: DUP1
000026a5: MLOAD
000026a6: ISZERO
000026a7: PUSH2 0x1e7a
000026aa: JUMPI
000026ab: DUP1
000026ac: DUP1
000026ad: PUSH1 0x20
000026af: ADD
000026b0: SWAP1
000026b1: MLOAD
000026b2: PUSH1 0x20
000026b4: DUP2
000026b5: LT
000026b6: ISZERO
000026b7: PUSH2 0x26bf
000026ba: JUMPI
000026bb: PUSH1 0x00
000026bd: DUP1
000026be: REVERT
000026bf: JUMPDEST
000026c0: POP
000026c1: MLOAD
000026c2: PUSH2 0x1e7a
000026c5: JUMPI
000026c6: PUSH1 0x40
000026c8: MLOAD
000026c9: PUSH3 0x461bcd
000026cd: PUSH1 0xe5
000026cf: SHL
000026d0: DUP2
000026d1: MSTORE
000026d2: PUSH1 0x04
000026d4: ADD
000026d5: DUP1
000026d6: DUP1
000026d7: PUSH1 0x20
000026d9: ADD
000026da: DUP3
000026db: DUP2
000026dc: SUB
000026dd: DUP3
000026de: MSTORE
000026df: PUSH1 0x2a
000026e1: DUP2
000026e2: MSTORE
000026e3: PUSH1 0x20
000026e5: ADD
000026e6: DUP1
000026e7: PUSH2 0x3853
000026ea: PUSH1 0x2a
000026ec: SWAP2
000026ed: CODECOPY
000026ee: PUSH1 0x40
000026f0: ADD
000026f1: SWAP2
000026f2: POP
000026f3: POP
000026f4: PUSH1 0x40
000026f6: MLOAD
000026f7: DUP1
000026f8: SWAP2
000026f9: SUB
000026fa: SWAP1
000026fb: REVERT
000026fc: JUMPDEST
000026fd: PUSH1 0x00
000026ff: PUSH2 0x2707
00002702: DUP5
00002703: PUSH2 0x0aa7
00002706: JUMP
00002707: JUMPDEST
00002708: SWAP1
00002709: POP
0000270a: PUSH2 0x2715
0000270d: DUP5
0000270e: DUP3
0000270f: PUSH1 0x01
00002711: PUSH2 0x1812
00002714: JUMP
00002715: JUMPDEST
00002716: POP
00002717: DUP3
00002718: PUSH1 0x01
0000271a: PUSH1 0x01
0000271c: PUSH1 0xa0
0000271e: SHL
0000271f: SUB
00002720: AND
00002721: DUP5
00002722: PUSH1 0x01
00002724: PUSH1 0x01
00002726: PUSH1 0xa0
00002728: SHL
00002729: SUB
0000272a: AND
0000272b: EQ
0000272c: PUSH2 0x27b7
0000272f: JUMPI
00002730: PUSH1 0x00
00002732: PUSH2 0x273a
00002735: DUP5
00002736: PUSH2 0x0aa7
00002739: JUMP
0000273a: JUMPDEST
0000273b: SWAP1
0000273c: POP
0000273d: PUSH2 0x2748
00002740: DUP5
00002741: DUP3
00002742: PUSH1 0x01
00002744: PUSH2 0x1812
00002747: JUMP
00002748: JUMPDEST
00002749: POP
0000274a: PUSH1 0x01
0000274c: PUSH1 0x01
0000274e: PUSH1 0xa0
00002750: SHL
00002751: SUB
00002752: DUP6
00002753: AND
00002754: PUSH1 0x00
00002756: SWAP1
00002757: DUP2
00002758: MSTORE
00002759: PUSH1 0x3e
0000275b: PUSH1 0x20
0000275d: MSTORE
0000275e: PUSH1 0x40
00002760: SWAP1
00002761: KECCAK256
00002762: SLOAD
00002763: PUSH2 0x276e
00002766: DUP2
00002767: DUP6
00002768: DUP8
00002769: DUP6
0000276a: PUSH2 0x143b
0000276d: JUMP
0000276e: JUMPDEST
0000276f: PUSH1 0x01
00002771: PUSH1 0x01
00002773: PUSH1 0xa0
00002775: SHL
00002776: SUB
00002777: DUP7
00002778: AND
00002779: PUSH1 0x00
0000277b: SWAP1
0000277c: DUP2
0000277d: MSTORE
0000277e: PUSH1 0x3e
00002780: PUSH1 0x20
00002782: MSTORE
00002783: PUSH1 0x40
00002785: SWAP1
00002786: KECCAK256
00002787: SSTORE
00002788: DUP3
00002789: DUP5
0000278a: EQ
0000278b: DUP1
0000278c: ISZERO
0000278d: PUSH2 0x2795
00002790: JUMPI
00002791: POP
00002792: DUP1
00002793: ISZERO
00002794: ISZERO
00002795: JUMPDEST
00002796: ISZERO
00002797: PUSH2 0x27b4
0000279a: JUMPI
0000279b: PUSH1 0x01
0000279d: PUSH1 0x01
0000279f: PUSH1 0xa0
000027a1: SHL
000027a2: SUB
000027a3: DUP7
000027a4: AND
000027a5: PUSH1 0x00
000027a7: SWAP1
000027a8: DUP2
000027a9: MSTORE
000027aa: PUSH1 0x3e
000027ac: PUSH1 0x20
000027ae: MSTORE
000027af: PUSH1 0x40
000027b1: DUP2
000027b2: KECCAK256
000027b3: SSTORE
000027b4: JUMPDEST
000027b5: POP
000027b6: POP
000027b7: JUMPDEST
000027b8: PUSH2 0x1e7a
000027bb: DUP5
000027bc: DUP5
000027bd: DUP5
000027be: PUSH2 0x2c79
000027c1: JUMP
000027c2: JUMPDEST
000027c3: DUP3
000027c4: PUSH1 0x01
000027c6: PUSH1 0x01
000027c8: PUSH1 0xa0
000027ca: SHL
000027cb: SUB
000027cc: AND
000027cd: DUP5
000027ce: PUSH1 0x01
000027d0: PUSH1 0x01
000027d2: PUSH1 0xa0
000027d4: SHL
000027d5: SUB
000027d6: AND
000027d7: EQ
000027d8: ISZERO
000027d9: PUSH2 0x27e1
000027dc: JUMPI
000027dd: PUSH2 0x1e7a
000027e0: JUMP
000027e1: JUMPDEST
000027e2: PUSH1 0x00
000027e4: DUP1
000027e5: PUSH2 0x27ed
000027e8: DUP4
000027e9: PUSH2 0x1bd4
000027ec: JUMP
000027ed: JUMPDEST
000027ee: POP
000027ef: SWAP1
000027f0: SWAP3
000027f1: POP
000027f2: SWAP1
000027f3: POP
000027f4: PUSH1 0x01
000027f6: PUSH1 0x01
000027f8: PUSH1 0xa0
000027fa: SHL
000027fb: SUB
000027fc: DUP7
000027fd: AND
000027fe: ISZERO
000027ff: PUSH2 0x28e0
00002802: JUMPI
00002803: PUSH1 0x01
00002805: PUSH1 0x01
00002807: PUSH1 0xa0
00002809: SHL
0000280a: SUB
0000280b: DUP7
0000280c: AND
0000280d: PUSH1 0x00
0000280f: SWAP1
00002810: DUP2
00002811: MSTORE
00002812: PUSH1 0x20
00002814: DUP3
00002815: SWAP1
00002816: MSTORE
00002817: PUSH1 0x40
00002819: DUP2
0000281a: KECCAK256
0000281b: SLOAD
0000281c: DUP1
0000281d: ISZERO
0000281e: PUSH2 0x285e
00002821: JUMPI
00002822: PUSH1 0x01
00002824: PUSH1 0x01
00002826: PUSH1 0xa0
00002828: SHL
00002829: SUB
0000282a: DUP9
0000282b: AND
0000282c: PUSH1 0x00
0000282e: SWAP1
0000282f: DUP2
00002830: MSTORE
00002831: PUSH1 0x20
00002833: DUP6
00002834: DUP2
00002835: MSTORE
00002836: PUSH1 0x40
00002838: DUP1
00002839: DUP4
0000283a: KECCAK256
0000283b: PUSH1 0x00
0000283d: NOT
0000283e: DUP6
0000283f: ADD
00002840: DUP5
00002841: MSTORE
00002842: SWAP1
00002843: SWAP2
00002844: MSTORE
00002845: SWAP1
00002846: KECCAK256
00002847: SLOAD
00002848: PUSH1 0x01
0000284a: PUSH1 0x80
0000284c: SHL
0000284d: SWAP1
0000284e: DIV
0000284f: PUSH1 0x01
00002851: PUSH1 0x01
00002853: PUSH1 0x80
00002855: SHL
00002856: SUB
00002857: AND
00002858: SWAP2
00002859: POP
0000285a: PUSH2 0x286a
0000285d: JUMP
0000285e: JUMPDEST
0000285f: PUSH2 0x2867
00002862: DUP9
00002863: PUSH2 0x0aa7
00002866: JUMP
00002867: JUMPDEST
00002868: SWAP2
00002869: POP
0000286a: JUMPDEST
0000286b: PUSH2 0x2880
0000286e: DUP5
0000286f: DUP5
00002870: DUP11
00002871: DUP6
00002872: PUSH2 0x287b
00002875: DUP2
00002876: DUP13
00002877: PUSH2 0x19b7
0000287a: JUMP
0000287b: JUMPDEST
0000287c: PUSH2 0x2dd4
0000287f: JUMP
00002880: JUMPDEST
00002881: PUSH1 0x01
00002883: PUSH1 0x01
00002885: PUSH1 0xa0
00002887: SHL
00002888: SUB
00002889: DUP9
0000288a: AND
0000288b: PUSH32 0xa0a19463ee116110c9b282012d9b65cc5522dc38a9520340cbaf3142e550127f
000028ac: PUSH2 0x28b5
000028af: DUP5
000028b0: DUP10
000028b1: PUSH2 0x19b7
000028b4: JUMP
000028b5: JUMPDEST
000028b6: DUP8
000028b7: PUSH1 0x40
000028b9: MLOAD
000028ba: DUP1
000028bb: DUP4
000028bc: DUP2
000028bd: MSTORE
000028be: PUSH1 0x20
000028c0: ADD
000028c1: DUP3
000028c2: PUSH1 0x01
000028c4: DUP2
000028c5: GT
000028c6: ISZERO
000028c7: PUSH2 0x28cc
000028ca: JUMPI
000028cb: INVALID
000028cc: JUMPDEST
000028cd: DUP2
000028ce: MSTORE
000028cf: PUSH1 0x20
000028d1: ADD
000028d2: SWAP3
000028d3: POP
000028d4: POP
000028d5: POP
000028d6: PUSH1 0x40
000028d8: MLOAD
000028d9: DUP1
000028da: SWAP2
000028db: SUB
000028dc: SWAP1
000028dd: LOG2
000028de: POP
000028df: POP
000028e0: JUMPDEST
000028e1: PUSH1 0x01
000028e3: PUSH1 0x01
000028e5: PUSH1 0xa0
000028e7: SHL
000028e8: SUB
000028e9: DUP6
000028ea: AND
000028eb: ISZERO
000028ec: PUSH2 0x29c8
000028ef: JUMPI
000028f0: PUSH1 0x01
000028f2: PUSH1 0x01
000028f4: PUSH1 0xa0
000028f6: SHL
000028f7: SUB
000028f8: DUP6
000028f9: AND
000028fa: PUSH1 0x00
000028fc: SWAP1
000028fd: DUP2
000028fe: MSTORE
000028ff: PUSH1 0x20
00002901: DUP3
00002902: SWAP1
00002903: MSTORE
00002904: PUSH1 0x40
00002906: DUP2
00002907: KECCAK256
00002908: SLOAD
00002909: DUP1
0000290a: ISZERO
0000290b: PUSH2 0x294b
0000290e: JUMPI
0000290f: PUSH1 0x01
00002911: PUSH1 0x01
00002913: PUSH1 0xa0
00002915: SHL
00002916: SUB
00002917: DUP8
00002918: AND
00002919: PUSH1 0x00
0000291b: SWAP1
0000291c: DUP2
0000291d: MSTORE
0000291e: PUSH1 0x20
00002920: DUP6
00002921: DUP2
00002922: MSTORE
00002923: PUSH1 0x40
00002925: DUP1
00002926: DUP4
00002927: KECCAK256
00002928: PUSH1 0x00
0000292a: NOT
0000292b: DUP6
0000292c: ADD
0000292d: DUP5
0000292e: MSTORE
0000292f: SWAP1
00002930: SWAP2
00002931: MSTORE
00002932: SWAP1
00002933: KECCAK256
00002934: SLOAD
00002935: PUSH1 0x01
00002937: PUSH1 0x80
00002939: SHL
0000293a: SWAP1
0000293b: DIV
0000293c: PUSH1 0x01
0000293e: PUSH1 0x01
00002940: PUSH1 0x80
00002942: SHL
00002943: SUB
00002944: AND
00002945: SWAP2
00002946: POP
00002947: PUSH2 0x2957
0000294a: JUMP
0000294b: JUMPDEST
0000294c: PUSH2 0x2954
0000294f: DUP8
00002950: PUSH2 0x0aa7
00002953: JUMP
00002954: JUMPDEST
00002955: SWAP2
00002956: POP
00002957: JUMPDEST
00002958: PUSH2 0x2968
0000295b: DUP5
0000295c: DUP5
0000295d: DUP10
0000295e: DUP6
0000295f: PUSH2 0x287b
00002962: DUP2
00002963: DUP13
00002964: PUSH2 0x16ad
00002967: JUMP
00002968: JUMPDEST
00002969: PUSH1 0x01
0000296b: PUSH1 0x01
0000296d: PUSH1 0xa0
0000296f: SHL
00002970: SUB
00002971: DUP8
00002972: AND
00002973: PUSH32 0xa0a19463ee116110c9b282012d9b65cc5522dc38a9520340cbaf3142e550127f
00002994: PUSH2 0x299d
00002997: DUP5
00002998: DUP10
00002999: PUSH2 0x16ad
0000299c: JUMP
0000299d: JUMPDEST
0000299e: DUP8
0000299f: PUSH1 0x40
000029a1: MLOAD
000029a2: DUP1
000029a3: DUP4
000029a4: DUP2
000029a5: MSTORE
000029a6: PUSH1 0x20
000029a8: ADD
000029a9: DUP3
000029aa: PUSH1 0x01
000029ac: DUP2
000029ad: GT
000029ae: ISZERO
000029af: PUSH2 0x29b4
000029b2: JUMPI
000029b3: INVALID
000029b4: JUMPDEST
000029b5: DUP2
000029b6: MSTORE
000029b7: PUSH1 0x20
000029b9: ADD
000029ba: SWAP3
000029bb: POP
000029bc: POP
000029bd: POP
000029be: PUSH1 0x40
000029c0: MLOAD
000029c1: DUP1
000029c2: SWAP2
000029c3: SUB
000029c4: SWAP1
000029c5: LOG2
000029c6: POP
000029c7: POP
000029c8: JUMPDEST
000029c9: POP
000029ca: POP
000029cb: POP
000029cc: POP
000029cd: POP
000029ce: POP
000029cf: JUMP
000029d0: JUMPDEST
000029d1: PUSH1 0x00
000029d3: DUP4
000029d4: ISZERO
000029d5: DUP1
000029d6: PUSH2 0x29dd
000029d9: JUMPI
000029da: POP
000029db: DUP2
000029dc: ISZERO
000029dd: JUMPDEST
000029de: DUP1
000029df: PUSH2 0x29f0
000029e2: JUMPI
000029e3: POP
000029e4: TIMESTAMP
000029e5: DUP4
000029e6: PUSH1 0x01
000029e8: PUSH1 0x01
000029ea: PUSH1 0x80
000029ec: SHL
000029ed: SUB
000029ee: AND
000029ef: EQ
000029f0: JUMPDEST
000029f1: DUP1
000029f2: PUSH2 0x2a24
000029f5: JUMPI
000029f6: POP
000029f7: PUSH32 0x000000000000000000000000000000000000000000000000000000011ef5a6bc
00002a18: DUP4
00002a19: PUSH1 0x01
00002a1b: PUSH1 0x01
00002a1d: PUSH1 0x80
00002a1f: SHL
00002a20: SUB
00002a21: AND
00002a22: LT
00002a23: ISZERO
00002a24: JUMPDEST
00002a25: ISZERO
00002a26: PUSH2 0x2a30
00002a29: JUMPI
00002a2a: POP
00002a2b: DUP4
00002a2c: PUSH2 0x0a9f
00002a2f: JUMP
00002a30: JUMPDEST
00002a31: PUSH1 0x00
00002a33: PUSH32 0x000000000000000000000000000000000000000000000000000000011ef5a6bc
00002a54: TIMESTAMP
00002a55: GT
00002a56: PUSH2 0x2a5f
00002a59: JUMPI
00002a5a: TIMESTAMP
00002a5b: PUSH2 0x2a81
00002a5e: JUMP
00002a5f: JUMPDEST
00002a60: PUSH32 0x000000000000000000000000000000000000000000000000000000011ef5a6bc
00002a81: JUMPDEST
00002a82: SWAP1
00002a83: POP
00002a84: PUSH1 0x00
00002a86: PUSH2 0x2a98
00002a89: DUP3
00002a8a: PUSH1 0x01
00002a8c: PUSH1 0x01
00002a8e: PUSH1 0x80
00002a90: SHL
00002a91: SUB
00002a92: DUP8
00002a93: AND
00002a94: PUSH2 0x19b7
00002a97: JUMP
00002a98: JUMPDEST
00002a99: SWAP1
00002a9a: POP
00002a9b: PUSH2 0x2abe
00002a9e: DUP8
00002a9f: PUSH2 0x1516
00002aa2: DUP7
00002aa3: PUSH2 0x151c
00002aa6: PUSH8 0x0de0b6b3a7640000
00002aaf: PUSH2 0x2ab8
00002ab2: DUP13
00002ab3: DUP9
00002ab4: PUSH2 0x22cd
00002ab7: JUMP
00002ab8: JUMPDEST
00002ab9: SWAP1
00002aba: PUSH2 0x22cd
00002abd: JUMP
00002abe: JUMPDEST
00002abf: SWAP8
00002ac0: SWAP7
00002ac1: POP
00002ac2: POP
00002ac3: POP
00002ac4: POP
00002ac5: POP
00002ac6: POP
00002ac7: POP
00002ac8: JUMP
00002ac9: JUMPDEST
00002aca: PUSH1 0x00
00002acc: PUSH2 0x0a9f
00002acf: PUSH8 0x0de0b6b3a7640000
00002ad8: PUSH2 0x151c
00002adb: PUSH2 0x2ae4
00002ade: DUP7
00002adf: DUP7
00002ae0: PUSH2 0x19b7
00002ae3: JUMP
00002ae4: JUMPDEST
00002ae5: DUP8
00002ae6: SWAP1
00002ae7: PUSH2 0x22cd
00002aea: JUMP
00002aeb: JUMPDEST
00002aec: PUSH1 0x01
00002aee: PUSH1 0x01
00002af0: PUSH1 0xa0
00002af2: SHL
00002af3: SUB
00002af4: DUP3
00002af5: AND
00002af6: PUSH2 0x2b46
00002af9: JUMPI
00002afa: PUSH1 0x40
00002afc: DUP1
00002afd: MLOAD
00002afe: PUSH3 0x461bcd
00002b02: PUSH1 0xe5
00002b04: SHL
00002b05: DUP2
00002b06: MSTORE
00002b07: PUSH1 0x20
00002b09: PUSH1 0x04
00002b0b: DUP3
00002b0c: ADD
00002b0d: MSTORE
00002b0e: PUSH1 0x1f
00002b10: PUSH1 0x24
00002b12: DUP3
00002b13: ADD
00002b14: MSTORE
00002b15: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00002b36: PUSH1 0x44
00002b38: DUP3
00002b39: ADD
00002b3a: MSTORE
00002b3b: SWAP1
00002b3c: MLOAD
00002b3d: SWAP1
00002b3e: DUP2
00002b3f: SWAP1
00002b40: SUB
00002b41: PUSH1 0x64
00002b43: ADD
00002b44: SWAP1
00002b45: REVERT
00002b46: JUMPDEST
00002b47: PUSH2 0x2b52
00002b4a: PUSH1 0x00
00002b4c: DUP4
00002b4d: DUP4
00002b4e: PUSH2 0x2427
00002b51: JUMP
00002b52: JUMPDEST
00002b53: PUSH1 0x02
00002b55: SLOAD
00002b56: PUSH2 0x2b5f
00002b59: SWAP1
00002b5a: DUP3
00002b5b: PUSH2 0x16ad
00002b5e: JUMP
00002b5f: JUMPDEST
00002b60: PUSH1 0x02
00002b62: SSTORE
00002b63: PUSH1 0x01
00002b65: PUSH1 0x01
00002b67: PUSH1 0xa0
00002b69: SHL
00002b6a: SUB
00002b6b: DUP3
00002b6c: AND
00002b6d: PUSH1 0x00
00002b6f: SWAP1
00002b70: DUP2
00002b71: MSTORE
00002b72: PUSH1 0x20
00002b74: DUP2
00002b75: SWAP1
00002b76: MSTORE
00002b77: PUSH1 0x40
00002b79: SWAP1
00002b7a: KECCAK256
00002b7b: SLOAD
00002b7c: PUSH2 0x2b85
00002b7f: SWAP1
00002b80: DUP3
00002b81: PUSH2 0x16ad
00002b84: JUMP
00002b85: JUMPDEST
00002b86: PUSH1 0x01
00002b88: PUSH1 0x01
00002b8a: PUSH1 0xa0
00002b8c: SHL
00002b8d: SUB
00002b8e: DUP4
00002b8f: AND
00002b90: PUSH1 0x00
00002b92: DUP2
00002b93: DUP2
00002b94: MSTORE
00002b95: PUSH1 0x20
00002b97: DUP2
00002b98: DUP2
00002b99: MSTORE
00002b9a: PUSH1 0x40
00002b9c: DUP1
00002b9d: DUP4
00002b9e: KECCAK256
00002b9f: SWAP5
00002ba0: SWAP1
00002ba1: SWAP5
00002ba2: SSTORE
00002ba3: DUP4
00002ba4: MLOAD
00002ba5: DUP6
00002ba6: DUP2
00002ba7: MSTORE
00002ba8: SWAP4
00002ba9: MLOAD
00002baa: SWAP3
00002bab: SWAP4
00002bac: SWAP2
00002bad: SWAP3
00002bae: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002bcf: SWAP3
00002bd0: DUP2
00002bd1: SWAP1
00002bd2: SUB
00002bd3: SWAP1
00002bd4: SWAP2
00002bd5: ADD
00002bd6: SWAP1
00002bd7: LOG3
00002bd8: POP
00002bd9: POP
00002bda: JUMP
00002bdb: JUMPDEST
00002bdc: PUSH1 0x00
00002bde: DUP2
00002bdf: DUP4
00002be0: PUSH2 0x2c2a
00002be3: JUMPI
00002be4: PUSH1 0x40
00002be6: MLOAD
00002be7: PUSH3 0x461bcd
00002beb: PUSH1 0xe5
00002bed: SHL
00002bee: DUP2
00002bef: MSTORE
00002bf0: PUSH1 0x20
00002bf2: PUSH1 0x04
00002bf4: DUP3
00002bf5: ADD
00002bf6: DUP2
00002bf7: DUP2
00002bf8: MSTORE
00002bf9: DUP4
00002bfa: MLOAD
00002bfb: PUSH1 0x24
00002bfd: DUP5
00002bfe: ADD
00002bff: MSTORE
00002c00: DUP4
00002c01: MLOAD
00002c02: SWAP1
00002c03: SWAP3
00002c04: DUP4
00002c05: SWAP3
00002c06: PUSH1 0x44
00002c08: SWAP1
00002c09: SWAP2
00002c0a: ADD
00002c0b: SWAP2
00002c0c: SWAP1
00002c0d: DUP6
00002c0e: ADD
00002c0f: SWAP1
00002c10: DUP1
00002c11: DUP4
00002c12: DUP4
00002c13: PUSH1 0x00
00002c15: DUP4
00002c16: ISZERO
00002c17: PUSH2 0x1ddd
00002c1a: JUMPI
00002c1b: DUP2
00002c1c: DUP2
00002c1d: ADD
00002c1e: MLOAD
00002c1f: DUP4
00002c20: DUP3
00002c21: ADD
00002c22: MSTORE
00002c23: PUSH1 0x20
00002c25: ADD
00002c26: PUSH2 0x1dc5
00002c29: JUMP
00002c2a: JUMPDEST
00002c2b: POP
00002c2c: PUSH1 0x00
00002c2e: DUP4
00002c2f: DUP6
00002c30: DUP2
00002c31: PUSH2 0x2c36
00002c34: JUMPI
00002c35: INVALID
00002c36: JUMPDEST
00002c37: DIV
00002c38: SWAP6
00002c39: SWAP5
00002c3a: POP
00002c3b: POP
00002c3c: POP
00002c3d: POP
00002c3e: POP
00002c3f: JUMP
00002c40: JUMPDEST
00002c41: PUSH1 0x00
00002c43: DUP2
00002c44: EXTCODEHASH
00002c45: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002c66: DUP2
00002c67: DUP2
00002c68: EQ
00002c69: DUP1
00002c6a: ISZERO
00002c6b: SWAP1
00002c6c: PUSH2 0x0a9f
00002c6f: JUMPI
00002c70: POP
00002c71: POP
00002c72: ISZERO
00002c73: ISZERO
00002c74: SWAP3
00002c75: SWAP2
00002c76: POP
00002c77: POP
00002c78: JUMP
00002c79: JUMPDEST
00002c7a: PUSH1 0x01
00002c7c: PUSH1 0x01
00002c7e: PUSH1 0xa0
00002c80: SHL
00002c81: SUB
00002c82: DUP4
00002c83: AND
00002c84: PUSH2 0x2cbe
00002c87: JUMPI
00002c88: PUSH1 0x40
00002c8a: MLOAD
00002c8b: PUSH3 0x461bcd
00002c8f: PUSH1 0xe5
00002c91: SHL
00002c92: DUP2
00002c93: MSTORE
00002c94: PUSH1 0x04
00002c96: ADD
00002c97: DUP1
00002c98: DUP1
00002c99: PUSH1 0x20
00002c9b: ADD
00002c9c: DUP3
00002c9d: DUP2
00002c9e: SUB
00002c9f: DUP3
00002ca0: MSTORE
00002ca1: PUSH1 0x25
00002ca3: DUP2
00002ca4: MSTORE
00002ca5: PUSH1 0x20
00002ca7: ADD
00002ca8: DUP1
00002ca9: PUSH2 0x380a
00002cac: PUSH1 0x25
00002cae: SWAP2
00002caf: CODECOPY
00002cb0: PUSH1 0x40
00002cb2: ADD
00002cb3: SWAP2
00002cb4: POP
00002cb5: POP
00002cb6: PUSH1 0x40
00002cb8: MLOAD
00002cb9: DUP1
00002cba: SWAP2
00002cbb: SUB
00002cbc: SWAP1
00002cbd: REVERT
00002cbe: JUMPDEST
00002cbf: PUSH1 0x01
00002cc1: PUSH1 0x01
00002cc3: PUSH1 0xa0
00002cc5: SHL
00002cc6: SUB
00002cc7: DUP3
00002cc8: AND
00002cc9: PUSH2 0x2d03
00002ccc: JUMPI
00002ccd: PUSH1 0x40
00002ccf: MLOAD
00002cd0: PUSH3 0x461bcd
00002cd4: PUSH1 0xe5
00002cd6: SHL
00002cd7: DUP2
00002cd8: MSTORE
00002cd9: PUSH1 0x04
00002cdb: ADD
00002cdc: DUP1
00002cdd: DUP1
00002cde: PUSH1 0x20
00002ce0: ADD
00002ce1: DUP3
00002ce2: DUP2
00002ce3: SUB
00002ce4: DUP3
00002ce5: MSTORE
00002ce6: PUSH1 0x23
00002ce8: DUP2
00002ce9: MSTORE
00002cea: PUSH1 0x20
00002cec: ADD
00002ced: DUP1
00002cee: PUSH2 0x36e5
00002cf1: PUSH1 0x23
00002cf3: SWAP2
00002cf4: CODECOPY
00002cf5: PUSH1 0x40
00002cf7: ADD
00002cf8: SWAP2
00002cf9: POP
00002cfa: POP
00002cfb: PUSH1 0x40
00002cfd: MLOAD
00002cfe: DUP1
00002cff: SWAP2
00002d00: SUB
00002d01: SWAP1
00002d02: REVERT
00002d03: JUMPDEST
00002d04: PUSH2 0x2d0e
00002d07: DUP4
00002d08: DUP4
00002d09: DUP4
00002d0a: PUSH2 0x2427
00002d0d: JUMP
00002d0e: JUMPDEST
00002d0f: PUSH2 0x2d4b
00002d12: DUP2
00002d13: PUSH1 0x40
00002d15: MLOAD
00002d16: DUP1
00002d17: PUSH1 0x60
00002d19: ADD
00002d1a: PUSH1 0x40
00002d1c: MSTORE
00002d1d: DUP1
00002d1e: PUSH1 0x26
00002d20: DUP2
00002d21: MSTORE
00002d22: PUSH1 0x20
00002d24: ADD
00002d25: PUSH2 0x374c
00002d28: PUSH1 0x26
00002d2a: SWAP2
00002d2b: CODECOPY
00002d2c: PUSH1 0x01
00002d2e: PUSH1 0x01
00002d30: PUSH1 0xa0
00002d32: SHL
00002d33: SUB
00002d34: DUP7
00002d35: AND
00002d36: PUSH1 0x00
00002d38: SWAP1
00002d39: DUP2
00002d3a: MSTORE
00002d3b: PUSH1 0x20
00002d3d: DUP2
00002d3e: SWAP1
00002d3f: MSTORE
00002d40: PUSH1 0x40
00002d42: SWAP1
00002d43: KECCAK256
00002d44: SLOAD
00002d45: SWAP2
00002d46: SWAP1
00002d47: PUSH2 0x1d89
00002d4a: JUMP
00002d4b: JUMPDEST
00002d4c: PUSH1 0x01
00002d4e: PUSH1 0x01
00002d50: PUSH1 0xa0
00002d52: SHL
00002d53: SUB
00002d54: DUP1
00002d55: DUP6
00002d56: AND
00002d57: PUSH1 0x00
00002d59: SWAP1
00002d5a: DUP2
00002d5b: MSTORE
00002d5c: PUSH1 0x20
00002d5e: DUP2
00002d5f: SWAP1
00002d60: MSTORE
00002d61: PUSH1 0x40
00002d63: DUP1
00002d64: DUP3
00002d65: KECCAK256
00002d66: SWAP4
00002d67: SWAP1
00002d68: SWAP4
00002d69: SSTORE
00002d6a: SWAP1
00002d6b: DUP5
00002d6c: AND
00002d6d: DUP2
00002d6e: MSTORE
00002d6f: KECCAK256
00002d70: SLOAD
00002d71: PUSH2 0x2d7a
00002d74: SWAP1
00002d75: DUP3
00002d76: PUSH2 0x16ad
00002d79: JUMP
00002d7a: JUMPDEST
00002d7b: PUSH1 0x01
00002d7d: PUSH1 0x01
00002d7f: PUSH1 0xa0
00002d81: SHL
00002d82: SUB
00002d83: DUP1
00002d84: DUP5
00002d85: AND
00002d86: PUSH1 0x00
00002d88: DUP2
00002d89: DUP2
00002d8a: MSTORE
00002d8b: PUSH1 0x20
00002d8d: DUP2
00002d8e: DUP2
00002d8f: MSTORE
00002d90: PUSH1 0x40
00002d92: SWAP2
00002d93: DUP3
00002d94: SWAP1
00002d95: KECCAK256
00002d96: SWAP5
00002d97: SWAP1
00002d98: SWAP5
00002d99: SSTORE
00002d9a: DUP1
00002d9b: MLOAD
00002d9c: DUP6
00002d9d: DUP2
00002d9e: MSTORE
00002d9f: SWAP1
00002da0: MLOAD
00002da1: SWAP2
00002da2: SWAP4
00002da3: SWAP3
00002da4: DUP8
00002da5: AND
00002da6: SWAP3
00002da7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002dc8: SWAP3
00002dc9: SWAP2
00002dca: DUP3
00002dcb: SWAP1
00002dcc: SUB
00002dcd: ADD
00002dce: SWAP1
00002dcf: LOG3
00002dd0: POP
00002dd1: POP
00002dd2: POP
00002dd3: JUMP
00002dd4: JUMPDEST
00002dd5: PUSH1 0x01
00002dd7: PUSH1 0x01
00002dd9: PUSH1 0xa0
00002ddb: SHL
00002ddc: SUB
00002ddd: DUP4
00002dde: AND
00002ddf: PUSH1 0x00
00002de1: SWAP1
00002de2: DUP2
00002de3: MSTORE
00002de4: PUSH1 0x20
00002de6: DUP6
00002de7: DUP2
00002de8: MSTORE
00002de9: PUSH1 0x40
00002deb: DUP1
00002dec: DUP4
00002ded: KECCAK256
00002dee: SLOAD
00002def: SWAP2
00002df0: DUP9
00002df1: SWAP1
00002df2: MSTORE
00002df3: SWAP1
00002df4: SWAP2
00002df5: KECCAK256
00002df6: NUMBER
00002df7: SWAP2
00002df8: SWAP1
00002df9: DUP2
00002dfa: ISZERO
00002dfb: DUP1
00002dfc: ISZERO
00002dfd: SWAP1
00002dfe: PUSH2 0x2e25
00002e01: JUMPI
00002e02: POP
00002e03: PUSH1 0x00
00002e05: NOT
00002e06: DUP3
00002e07: ADD
00002e08: PUSH1 0x00
00002e0a: SWAP1
00002e0b: DUP2
00002e0c: MSTORE
00002e0d: PUSH1 0x20
00002e0f: DUP3
00002e10: SWAP1
00002e11: MSTORE
00002e12: PUSH1 0x40
00002e14: SWAP1
00002e15: KECCAK256
00002e16: SLOAD
00002e17: PUSH1 0x01
00002e19: PUSH1 0x01
00002e1b: PUSH1 0x80
00002e1d: SHL
00002e1e: SUB
00002e1f: DUP5
00002e20: DUP2
00002e21: AND
00002e22: SWAP2
00002e23: AND
00002e24: EQ
00002e25: JUMPDEST
00002e26: ISZERO
00002e27: PUSH2 0x2e5a
00002e2a: JUMPI
00002e2b: PUSH1 0x00
00002e2d: NOT
00002e2e: DUP3
00002e2f: ADD
00002e30: PUSH1 0x00
00002e32: SWAP1
00002e33: DUP2
00002e34: MSTORE
00002e35: PUSH1 0x20
00002e37: DUP3
00002e38: SWAP1
00002e39: MSTORE
00002e3a: PUSH1 0x40
00002e3c: SWAP1
00002e3d: KECCAK256
00002e3e: DUP1
00002e3f: SLOAD
00002e40: PUSH1 0x01
00002e42: PUSH1 0x01
00002e44: PUSH1 0x80
00002e46: SHL
00002e47: SUB
00002e48: DUP1
00002e49: DUP8
00002e4a: AND
00002e4b: PUSH1 0x01
00002e4d: PUSH1 0x80
00002e4f: SHL
00002e50: MUL
00002e51: SWAP2
00002e52: AND
00002e53: OR
00002e54: SWAP1
00002e55: SSTORE
00002e56: PUSH2 0x253a
00002e59: JUMP
00002e5a: JUMPDEST
00002e5b: PUSH1 0x40
00002e5d: DUP1
00002e5e: MLOAD
00002e5f: DUP1
00002e60: DUP3
00002e61: ADD
00002e62: DUP3
00002e63: MSTORE
00002e64: PUSH1 0x01
00002e66: PUSH1 0x01
00002e68: PUSH1 0x80
00002e6a: SHL
00002e6b: SUB
00002e6c: DUP1
00002e6d: DUP7
00002e6e: AND
00002e6f: DUP3
00002e70: MSTORE
00002e71: DUP7
00002e72: DUP2
00002e73: AND
00002e74: PUSH1 0x20
00002e76: DUP1
00002e77: DUP5
00002e78: ADD
00002e79: SWAP2
00002e7a: DUP3
00002e7b: MSTORE
00002e7c: PUSH1 0x00
00002e7e: DUP8
00002e7f: DUP2
00002e80: MSTORE
00002e81: DUP7
00002e82: DUP3
00002e83: MSTORE
00002e84: DUP6
00002e85: DUP2
00002e86: KECCAK256
00002e87: SWAP5
00002e88: MLOAD
00002e89: DUP6
00002e8a: SLOAD
00002e8b: SWAP4
00002e8c: MLOAD
00002e8d: DUP6
00002e8e: AND
00002e8f: PUSH1 0x01
00002e91: PUSH1 0x80
00002e93: SHL
00002e94: MUL
00002e95: SWAP1
00002e96: DUP6
00002e97: AND
00002e98: PUSH1 0x01
00002e9a: PUSH1 0x01
00002e9c: PUSH1 0x80
00002e9e: SHL
00002e9f: SUB
00002ea0: NOT
00002ea1: SWAP1
00002ea2: SWAP5
00002ea3: AND
00002ea4: SWAP4
00002ea5: SWAP1
00002ea6: SWAP4
00002ea7: OR
00002ea8: SWAP1
00002ea9: SWAP4
00002eaa: AND
00002eab: SWAP2
00002eac: SWAP1
00002ead: SWAP2
00002eae: OR
00002eaf: SWAP1
00002eb0: SWAP3
00002eb1: SSTORE
00002eb2: PUSH1 0x01
00002eb4: PUSH1 0x01
00002eb6: PUSH1 0xa0
00002eb8: SHL
00002eb9: SUB
00002eba: DUP10
00002ebb: AND
00002ebc: DUP2
00002ebd: MSTORE
00002ebe: SWAP1
00002ebf: DUP10
00002ec0: SWAP1
00002ec1: MSTORE
00002ec2: KECCAK256
00002ec3: PUSH1 0x01
00002ec5: DUP4
00002ec6: ADD
00002ec7: SWAP1
00002ec8: SSTORE
00002ec9: POP
00002eca: POP
00002ecb: POP
00002ecc: POP
00002ecd: POP
00002ece: POP
00002ecf: POP
00002ed0: POP
00002ed1: JUMP
00002ed2: JUMPDEST
00002ed3: DUP3
00002ed4: DUP1
00002ed5: SLOAD
00002ed6: PUSH1 0x01
00002ed8: DUP2
00002ed9: PUSH1 0x01
00002edb: AND
00002edc: ISZERO
00002edd: PUSH2 0x0100
00002ee0: MUL
00002ee1: SUB
00002ee2: AND
00002ee3: PUSH1 0x02
00002ee5: SWAP1
00002ee6: DIV
00002ee7: SWAP1
00002ee8: PUSH1 0x00
00002eea: MSTORE
00002eeb: PUSH1 0x20
00002eed: PUSH1 0x00
00002eef: KECCAK256
00002ef0: SWAP1
00002ef1: PUSH1 0x1f
00002ef3: ADD
00002ef4: PUSH1 0x20
00002ef6: SWAP1
00002ef7: DIV
00002ef8: DUP2
00002ef9: ADD
00002efa: SWAP3
00002efb: DUP3
00002efc: PUSH2 0x2f08
00002eff: JUMPI
00002f00: PUSH1 0x00
00002f02: DUP6
00002f03: SSTORE
00002f04: PUSH2 0x2f4e
00002f07: JUMP
00002f08: JUMPDEST
00002f09: DUP3
00002f0a: PUSH1 0x1f
00002f0c: LT
00002f0d: PUSH2 0x2f21
00002f10: JUMPI
00002f11: DUP3
00002f12: DUP1
00002f13: ADD
00002f14: PUSH1 0xff
00002f16: NOT
00002f17: DUP3
00002f18: CALLDATALOAD
00002f19: AND
00002f1a: OR
00002f1b: DUP6
00002f1c: SSTORE
00002f1d: PUSH2 0x2f4e
00002f20: JUMP
00002f21: JUMPDEST
00002f22: DUP3
00002f23: DUP1
00002f24: ADD
00002f25: PUSH1 0x01
00002f27: ADD
00002f28: DUP6
00002f29: SSTORE
00002f2a: DUP3
00002f2b: ISZERO
00002f2c: PUSH2 0x2f4e
00002f2f: JUMPI
00002f30: SWAP2
00002f31: DUP3
00002f32: ADD
00002f33: JUMPDEST
00002f34: DUP3
00002f35: DUP2
00002f36: GT
00002f37: ISZERO
00002f38: PUSH2 0x2f4e
00002f3b: JUMPI
00002f3c: DUP3
00002f3d: CALLDATALOAD
00002f3e: DUP3
00002f3f: SSTORE
00002f40: SWAP2
00002f41: PUSH1 0x20
00002f43: ADD
00002f44: SWAP2
00002f45: SWAP1
00002f46: PUSH1 0x01
00002f48: ADD
00002f49: SWAP1
00002f4a: PUSH2 0x2f33
00002f4d: JUMP
00002f4e: JUMPDEST
00002f4f: POP
00002f50: PUSH2 0x2f5a
00002f53: SWAP3
00002f54: SWAP2
00002f55: POP
00002f56: PUSH2 0x2f9f
00002f59: JUMP
00002f5a: JUMPDEST
00002f5b: POP
00002f5c: SWAP1
00002f5d: JUMP
00002f5e: JUMPDEST
00002f5f: PUSH1 0x40
00002f61: MLOAD
00002f62: DUP1
00002f63: PUSH1 0x60
00002f65: ADD
00002f66: PUSH1 0x40
00002f68: MSTORE
00002f69: DUP1
00002f6a: PUSH1 0x00
00002f6c: PUSH1 0x01
00002f6e: PUSH1 0x01
00002f70: PUSH1 0xa0
00002f72: SHL
00002f73: SUB
00002f74: AND
00002f75: DUP2
00002f76: MSTORE
00002f77: PUSH1 0x20
00002f79: ADD
00002f7a: PUSH1 0x00
00002f7c: DUP2
00002f7d: MSTORE
00002f7e: PUSH1 0x20
00002f80: ADD
00002f81: PUSH1 0x00
00002f83: DUP2
00002f84: MSTORE
00002f85: POP
00002f86: SWAP1
00002f87: JUMP
00002f88: JUMPDEST
00002f89: PUSH1 0x40
00002f8b: DUP1
00002f8c: MLOAD
00002f8d: DUP1
00002f8e: DUP3
00002f8f: ADD
00002f90: SWAP1
00002f91: SWAP2
00002f92: MSTORE
00002f93: PUSH1 0x00
00002f95: DUP1
00002f96: DUP3
00002f97: MSTORE
00002f98: PUSH1 0x20
00002f9a: DUP3
00002f9b: ADD
00002f9c: MSTORE
00002f9d: SWAP1
00002f9e: JUMP
00002f9f: JUMPDEST
00002fa0: JUMPDEST
00002fa1: DUP1
00002fa2: DUP3
00002fa3: GT
00002fa4: ISZERO
00002fa5: PUSH2 0x2f5a
00002fa8: JUMPI
00002fa9: PUSH1 0x00
00002fab: DUP2
00002fac: SSTORE
00002fad: PUSH1 0x01
00002faf: ADD
00002fb0: PUSH2 0x2fa0
00002fb3: JUMP
00002fb4: JUMPDEST
00002fb5: DUP1
00002fb6: CALLDATALOAD
00002fb7: PUSH1 0x01
00002fb9: PUSH1 0x01
00002fbb: PUSH1 0xa0
00002fbd: SHL
00002fbe: SUB
00002fbf: DUP2
00002fc0: AND
00002fc1: DUP2
00002fc2: EQ
00002fc3: PUSH2 0x0ac1
00002fc6: JUMPI
00002fc7: PUSH1 0x00
00002fc9: DUP1
00002fca: REVERT
00002fcb: JUMPDEST
00002fcc: DUP1
00002fcd: CALLDATALOAD
00002fce: PUSH1 0x02
00002fd0: DUP2
00002fd1: LT
00002fd2: PUSH2 0x0ac1
00002fd5: JUMPI
00002fd6: PUSH1 0x00
00002fd8: DUP1
00002fd9: REVERT
00002fda: JUMPDEST
00002fdb: PUSH1 0x00
00002fdd: DUP1
00002fde: DUP4
00002fdf: PUSH1 0x1f
00002fe1: DUP5
00002fe2: ADD
00002fe3: SLT
00002fe4: PUSH2 0x2feb
00002fe7: JUMPI
00002fe8: DUP2
00002fe9: DUP3
00002fea: REVERT
00002feb: JUMPDEST
00002fec: POP
00002fed: DUP2
00002fee: CALLDATALOAD
00002fef: PUSH8 0xffffffffffffffff
00002ff8: DUP2
00002ff9: GT
00002ffa: ISZERO
00002ffb: PUSH2 0x3002
00002ffe: JUMPI
00002fff: DUP2
00003000: DUP3
00003001: REVERT
00003002: JUMPDEST
00003003: PUSH1 0x20
00003005: DUP4
00003006: ADD
00003007: SWAP2
00003008: POP
00003009: DUP4
0000300a: PUSH1 0x20
0000300c: DUP3
0000300d: DUP6
0000300e: ADD
0000300f: ADD
00003010: GT
00003011: ISZERO
00003012: PUSH2 0x301a
00003015: JUMPI
00003016: PUSH1 0x00
00003018: DUP1
00003019: REVERT
0000301a: JUMPDEST
0000301b: SWAP3
0000301c: POP
0000301d: SWAP3
0000301e: SWAP1
0000301f: POP
00003020: JUMP
00003021: JUMPDEST
00003022: DUP1
00003023: CALLDATALOAD
00003024: PUSH1 0xff
00003026: DUP2
00003027: AND
00003028: DUP2
00003029: EQ
0000302a: PUSH2 0x0ac1
0000302d: JUMPI
0000302e: PUSH1 0x00
00003030: DUP1
00003031: REVERT
00003032: JUMPDEST
00003033: PUSH1 0x00
00003035: PUSH1 0x20
00003037: DUP3
00003038: DUP5
00003039: SUB
0000303a: SLT
0000303b: ISZERO
0000303c: PUSH2 0x3043
0000303f: JUMPI
00003040: DUP1
00003041: DUP2
00003042: REVERT
00003043: JUMPDEST
00003044: PUSH2 0x0910
00003047: DUP3
00003048: PUSH2 0x2fb4
0000304b: JUMP
0000304c: JUMPDEST
0000304d: PUSH1 0x00
0000304f: DUP1
00003050: PUSH1 0x40
00003052: DUP4
00003053: DUP6
00003054: SUB
00003055: SLT
00003056: ISZERO
00003057: PUSH2 0x305e
0000305a: JUMPI
0000305b: DUP1
0000305c: DUP2
0000305d: REVERT
0000305e: JUMPDEST
0000305f: PUSH2 0x3067
00003062: DUP4
00003063: PUSH2 0x2fb4
00003066: JUMP
00003067: JUMPDEST
00003068: SWAP2
00003069: POP
0000306a: PUSH2 0x3075
0000306d: PUSH1 0x20
0000306f: DUP5
00003070: ADD
00003071: PUSH2 0x2fb4
00003074: JUMP
00003075: JUMPDEST
00003076: SWAP1
00003077: POP
00003078: SWAP3
00003079: POP
0000307a: SWAP3
0000307b: SWAP1
0000307c: POP
0000307d: JUMP
0000307e: JUMPDEST
0000307f: PUSH1 0x00
00003081: DUP1
00003082: PUSH1 0x00
00003084: PUSH1 0x60
00003086: DUP5
00003087: DUP7
00003088: SUB
00003089: SLT
0000308a: ISZERO
0000308b: PUSH2 0x3092
0000308e: JUMPI
0000308f: DUP1
00003090: DUP2
00003091: REVERT
00003092: JUMPDEST
00003093: PUSH2 0x309b
00003096: DUP5
00003097: PUSH2 0x2fb4
0000309a: JUMP
0000309b: JUMPDEST
0000309c: SWAP3
0000309d: POP
0000309e: PUSH2 0x30a9
000030a1: PUSH1 0x20
000030a3: DUP6
000030a4: ADD
000030a5: PUSH2 0x2fb4
000030a8: JUMP
000030a9: JUMPDEST
000030aa: SWAP2
000030ab: POP
000030ac: PUSH1 0x40
000030ae: DUP5
000030af: ADD
000030b0: CALLDATALOAD
000030b1: SWAP1
000030b2: POP
000030b3: SWAP3
000030b4: POP
000030b5: SWAP3
000030b6: POP
000030b7: SWAP3
000030b8: JUMP
000030b9: JUMPDEST
000030ba: PUSH1 0x00
000030bc: DUP1
000030bd: PUSH1 0x00
000030bf: DUP1
000030c0: PUSH1 0x00
000030c2: DUP1
000030c3: PUSH1 0x00
000030c5: PUSH1 0xe0
000030c7: DUP9
000030c8: DUP11
000030c9: SUB
000030ca: SLT
000030cb: ISZERO
000030cc: PUSH2 0x30d3
000030cf: JUMPI
000030d0: DUP3
000030d1: DUP4
000030d2: REVERT
000030d3: JUMPDEST
000030d4: PUSH2 0x30dc
000030d7: DUP9
000030d8: PUSH2 0x2fb4
000030db: JUMP
000030dc: JUMPDEST
000030dd: SWAP7
000030de: POP
000030df: PUSH2 0x30ea
000030e2: PUSH1 0x20
000030e4: DUP10
000030e5: ADD
000030e6: PUSH2 0x2fb4
000030e9: JUMP
000030ea: JUMPDEST
000030eb: SWAP6
000030ec: POP
000030ed: PUSH1 0x40
000030ef: DUP9
000030f0: ADD
000030f1: CALLDATALOAD
000030f2: SWAP5
000030f3: POP
000030f4: PUSH1 0x60
000030f6: DUP9
000030f7: ADD
000030f8: CALLDATALOAD
000030f9: SWAP4
000030fa: POP
000030fb: PUSH2 0x3106
000030fe: PUSH1 0x80
00003100: DUP10
00003101: ADD
00003102: PUSH2 0x3021
00003105: JUMP
00003106: JUMPDEST
00003107: SWAP3
00003108: POP
00003109: PUSH1 0xa0
0000310b: DUP9
0000310c: ADD
0000310d: CALLDATALOAD
0000310e: SWAP2
0000310f: POP
00003110: PUSH1 0xc0
00003112: DUP9
00003113: ADD
00003114: CALLDATALOAD
00003115: SWAP1
00003116: POP
00003117: SWAP3
00003118: SWAP6
00003119: SWAP9
0000311a: SWAP2
0000311b: SWAP5
0000311c: SWAP8
0000311d: POP
0000311e: SWAP3
0000311f: SWAP6
00003120: POP
00003121: JUMP
00003122: JUMPDEST
00003123: PUSH1 0x00
00003125: DUP1
00003126: PUSH1 0x40
00003128: DUP4
00003129: DUP6
0000312a: SUB
0000312b: SLT
0000312c: ISZERO
0000312d: PUSH2 0x3134
00003130: JUMPI
00003131: DUP2
00003132: DUP3
00003133: REVERT
00003134: JUMPDEST
00003135: PUSH2 0x313d
00003138: DUP4
00003139: PUSH2 0x2fb4
0000313c: JUMP
0000313d: JUMPDEST
0000313e: SWAP2
0000313f: POP
00003140: PUSH2 0x3075
00003143: PUSH1 0x20
00003145: DUP5
00003146: ADD
00003147: PUSH2 0x2fcb
0000314a: JUMP
0000314b: JUMPDEST
0000314c: PUSH1 0x00
0000314e: DUP1
0000314f: PUSH1 0x00
00003151: DUP1
00003152: PUSH1 0x00
00003154: DUP1
00003155: PUSH1 0x00
00003157: PUSH1 0xe0
00003159: DUP9
0000315a: DUP11
0000315b: SUB
0000315c: SLT
0000315d: ISZERO
0000315e: PUSH2 0x3165
00003161: JUMPI
00003162: DUP3
00003163: DUP4
00003164: REVERT
00003165: JUMPDEST
00003166: PUSH2 0x316e
00003169: DUP9
0000316a: PUSH2 0x2fb4
0000316d: JUMP
0000316e: JUMPDEST
0000316f: SWAP7
00003170: POP
00003171: PUSH2 0x30ea
00003174: PUSH1 0x20
00003176: DUP10
00003177: ADD
00003178: PUSH2 0x2fcb
0000317b: JUMP
0000317c: JUMPDEST
0000317d: PUSH1 0x00
0000317f: DUP1
00003180: PUSH1 0x40
00003182: DUP4
00003183: DUP6
00003184: SUB
00003185: SLT
00003186: ISZERO
00003187: PUSH2 0x318e
0000318a: JUMPI
0000318b: DUP2
0000318c: DUP3
0000318d: REVERT
0000318e: JUMPDEST
0000318f: PUSH2 0x3197
00003192: DUP4
00003193: PUSH2 0x2fb4
00003196: JUMP
00003197: JUMPDEST
00003198: SWAP5
00003199: PUSH1 0x20
0000319b: SWAP4
0000319c: SWAP1
0000319d: SWAP4
0000319e: ADD
0000319f: CALLDATALOAD
000031a0: SWAP4
000031a1: POP
000031a2: POP
000031a3: POP
000031a4: JUMP
000031a5: JUMPDEST
000031a6: PUSH1 0x00
000031a8: DUP1
000031a9: PUSH1 0x00
000031ab: PUSH1 0x60
000031ad: DUP5
000031ae: DUP7
000031af: SUB
000031b0: SLT
000031b1: ISZERO
000031b2: PUSH2 0x31b9
000031b5: JUMPI
000031b6: DUP3
000031b7: DUP4
000031b8: REVERT
000031b9: JUMPDEST
000031ba: PUSH2 0x31c2
000031bd: DUP5
000031be: PUSH2 0x2fb4
000031c1: JUMP
000031c2: JUMPDEST
000031c3: SWAP3
000031c4: POP
000031c5: PUSH1 0x20
000031c7: DUP5
000031c8: ADD
000031c9: CALLDATALOAD
000031ca: SWAP2
000031cb: POP
000031cc: PUSH2 0x31d7
000031cf: PUSH1 0x40
000031d1: DUP6
000031d2: ADD
000031d3: PUSH2 0x2fcb
000031d6: JUMP
000031d7: JUMPDEST
000031d8: SWAP1
000031d9: POP
000031da: SWAP3
000031db: POP
000031dc: SWAP3
000031dd: POP
000031de: SWAP3
000031df: JUMP
000031e0: JUMPDEST
000031e1: PUSH1 0x00
000031e3: DUP1
000031e4: PUSH1 0x00
000031e6: DUP1
000031e7: PUSH1 0x00
000031e9: DUP1
000031ea: PUSH1 0xc0
000031ec: DUP8
000031ed: DUP10
000031ee: SUB
000031ef: SLT
000031f0: ISZERO
000031f1: PUSH2 0x31f8
000031f4: JUMPI
000031f5: DUP2
000031f6: DUP3
000031f7: REVERT
000031f8: JUMPDEST
000031f9: PUSH2 0x3201
000031fc: DUP8
000031fd: PUSH2 0x2fb4
00003200: JUMP
00003201: JUMPDEST
00003202: SWAP6
00003203: POP
00003204: PUSH1 0x20
00003206: DUP8
00003207: ADD
00003208: CALLDATALOAD
00003209: SWAP5
0000320a: POP
0000320b: PUSH1 0x40
0000320d: DUP8
0000320e: ADD
0000320f: CALLDATALOAD
00003210: SWAP4
00003211: POP
00003212: PUSH2 0x321d
00003215: PUSH1 0x60
00003217: DUP9
00003218: ADD
00003219: PUSH2 0x3021
0000321c: JUMP
0000321d: JUMPDEST
0000321e: SWAP3
0000321f: POP
00003220: PUSH1 0x80
00003222: DUP8
00003223: ADD
00003224: CALLDATALOAD
00003225: SWAP2
00003226: POP
00003227: PUSH1 0xa0
00003229: DUP8
0000322a: ADD
0000322b: CALLDATALOAD
0000322c: SWAP1
0000322d: POP
0000322e: SWAP3
0000322f: SWAP6
00003230: POP
00003231: SWAP3
00003232: SWAP6
00003233: POP
00003234: SWAP3
00003235: SWAP6
00003236: JUMP
00003237: JUMPDEST
00003238: PUSH1 0x00
0000323a: DUP1
0000323b: PUSH1 0x20
0000323d: DUP4
0000323e: DUP6
0000323f: SUB
00003240: SLT
00003241: ISZERO
00003242: PUSH2 0x3249
00003245: JUMPI
00003246: DUP1
00003247: DUP2
00003248: REVERT
00003249: JUMPDEST
0000324a: DUP3
0000324b: CALLDATALOAD
0000324c: PUSH8 0xffffffffffffffff
00003255: DUP1
00003256: DUP3
00003257: GT
00003258: ISZERO
00003259: PUSH2 0x3260
0000325c: JUMPI
0000325d: DUP3
0000325e: DUP4
0000325f: REVERT
00003260: JUMPDEST
00003261: DUP2
00003262: DUP6
00003263: ADD
00003264: SWAP2
00003265: POP
00003266: DUP6
00003267: PUSH1 0x1f
00003269: DUP4
0000326a: ADD
0000326b: SLT
0000326c: PUSH2 0x3273
0000326f: JUMPI
00003270: DUP3
00003271: DUP4
00003272: REVERT
00003273: JUMPDEST
00003274: DUP2
00003275: CALLDATALOAD
00003276: DUP2
00003277: DUP2
00003278: GT
00003279: ISZERO
0000327a: PUSH2 0x3281
0000327d: JUMPI
0000327e: DUP4
0000327f: DUP5
00003280: REVERT
00003281: JUMPDEST
00003282: DUP7
00003283: PUSH1 0x20
00003285: PUSH1 0x60
00003287: DUP4
00003288: MUL
00003289: DUP6
0000328a: ADD
0000328b: ADD
0000328c: GT
0000328d: ISZERO
0000328e: PUSH2 0x3295
00003291: JUMPI
00003292: DUP4
00003293: DUP5
00003294: REVERT
00003295: JUMPDEST
00003296: PUSH1 0x20
00003298: SWAP3
00003299: SWAP1
0000329a: SWAP3
0000329b: ADD
0000329c: SWAP7
0000329d: SWAP2
0000329e: SWAP6
0000329f: POP
000032a0: SWAP1
000032a1: SWAP4
000032a2: POP
000032a3: POP
000032a4: POP
000032a5: POP
000032a6: JUMP
000032a7: JUMPDEST
000032a8: PUSH1 0x00
000032aa: DUP1
000032ab: PUSH1 0x00
000032ad: DUP1
000032ae: PUSH1 0x00
000032b0: PUSH1 0x60
000032b2: DUP7
000032b3: DUP9
000032b4: SUB
000032b5: SLT
000032b6: ISZERO
000032b7: PUSH2 0x32be
000032ba: JUMPI
000032bb: DUP3
000032bc: DUP4
000032bd: REVERT
000032be: JUMPDEST
000032bf: DUP6
000032c0: CALLDATALOAD
000032c1: PUSH8 0xffffffffffffffff
000032ca: DUP1
000032cb: DUP3
000032cc: GT
000032cd: ISZERO
000032ce: PUSH2 0x32d5
000032d1: JUMPI
000032d2: DUP5
000032d3: DUP6
000032d4: REVERT
000032d5: JUMPDEST
000032d6: PUSH2 0x32e1
000032d9: DUP10
000032da: DUP4
000032db: DUP11
000032dc: ADD
000032dd: PUSH2 0x2fda
000032e0: JUMP
000032e1: JUMPDEST
000032e2: SWAP1
000032e3: SWAP8
000032e4: POP
000032e5: SWAP6
000032e6: POP
000032e7: PUSH1 0x20
000032e9: DUP9
000032ea: ADD
000032eb: CALLDATALOAD
000032ec: SWAP2
000032ed: POP
000032ee: DUP1
000032ef: DUP3
000032f0: GT
000032f1: ISZERO
000032f2: PUSH2 0x32f9
000032f5: JUMPI
000032f6: DUP5
000032f7: DUP6
000032f8: REVERT
000032f9: JUMPDEST
000032fa: POP
000032fb: PUSH2 0x3306
000032fe: DUP9
000032ff: DUP3
00003300: DUP10
00003301: ADD
00003302: PUSH2 0x2fda
00003305: JUMP
00003306: JUMPDEST
00003307: SWAP1
00003308: SWAP5
00003309: POP
0000330a: SWAP3
0000330b: POP
0000330c: PUSH2 0x3319
0000330f: SWAP1
00003310: POP
00003311: PUSH1 0x40
00003313: DUP8
00003314: ADD
00003315: PUSH2 0x3021
00003318: JUMP
00003319: JUMPDEST
0000331a: SWAP1
0000331b: POP
0000331c: SWAP3
0000331d: SWAP6
0000331e: POP
0000331f: SWAP3
00003320: SWAP6
00003321: SWAP1
00003322: SWAP4
00003323: POP
00003324: JUMP
00003325: JUMPDEST
00003326: PUSH1 0x00
00003328: PUSH1 0x20
0000332a: DUP3
0000332b: DUP5
0000332c: SUB
0000332d: SLT
0000332e: ISZERO
0000332f: PUSH2 0x3336
00003332: JUMPI
00003333: DUP1
00003334: DUP2
00003335: REVERT
00003336: JUMPDEST
00003337: DUP2
00003338: CALLDATALOAD
00003339: PUSH1 0x01
0000333b: PUSH1 0x01
0000333d: PUSH1 0x80
0000333f: SHL
00003340: SUB
00003341: DUP2
00003342: AND
00003343: DUP2
00003344: EQ
00003345: PUSH2 0x0910
00003348: JUMPI
00003349: DUP2
0000334a: DUP3
0000334b: REVERT
0000334c: JUMPDEST
0000334d: PUSH1 0x00
0000334f: PUSH1 0x20
00003351: DUP3
00003352: DUP5
00003353: SUB
00003354: SLT
00003355: ISZERO
00003356: PUSH2 0x335d
00003359: JUMPI
0000335a: DUP1
0000335b: DUP2
0000335c: REVERT
0000335d: JUMPDEST
0000335e: POP
0000335f: CALLDATALOAD
00003360: SWAP2
00003361: SWAP1
00003362: POP
00003363: JUMP
00003364: JUMPDEST
00003365: PUSH1 0x00
00003367: DUP1
00003368: PUSH1 0x00
0000336a: DUP1
0000336b: PUSH1 0x80
0000336d: DUP6
0000336e: DUP8
0000336f: SUB
00003370: SLT
00003371: ISZERO
00003372: PUSH2 0x3379
00003375: JUMPI
00003376: DUP2
00003377: DUP3
00003378: REVERT
00003379: JUMPDEST
0000337a: DUP5
0000337b: CALLDATALOAD
0000337c: SWAP4
0000337d: POP
0000337e: PUSH1 0x20
00003380: DUP6
00003381: ADD
00003382: CALLDATALOAD
00003383: SWAP3
00003384: POP
00003385: PUSH2 0x3390
00003388: PUSH1 0x40
0000338a: DUP7
0000338b: ADD
0000338c: PUSH2 0x2fb4
0000338f: JUMP
00003390: JUMPDEST
00003391: SWAP4
00003392: SWAP7
00003393: SWAP3
00003394: SWAP6
00003395: POP
00003396: SWAP3
00003397: SWAP4
00003398: PUSH1 0x60
0000339a: ADD
0000339b: CALLDATALOAD
0000339c: SWAP3
0000339d: POP
0000339e: POP
0000339f: JUMP
000033a0: JUMPDEST
000033a1: PUSH1 0x00
000033a3: DUP2
000033a4: MLOAD
000033a5: DUP1
000033a6: DUP5
000033a7: MSTORE
000033a8: DUP2
000033a9: JUMPDEST
000033aa: DUP2
000033ab: DUP2
000033ac: LT
000033ad: ISZERO
000033ae: PUSH2 0x33c5
000033b1: JUMPI
000033b2: PUSH1 0x20
000033b4: DUP2
000033b5: DUP6
000033b6: ADD
000033b7: DUP2
000033b8: ADD
000033b9: MLOAD
000033ba: DUP7
000033bb: DUP4
000033bc: ADD
000033bd: DUP3
000033be: ADD
000033bf: MSTORE
000033c0: ADD
000033c1: PUSH2 0x33a9
000033c4: JUMP
000033c5: JUMPDEST
000033c6: DUP2
000033c7: DUP2
000033c8: GT
000033c9: ISZERO
000033ca: PUSH2 0x33d6
000033cd: JUMPI
000033ce: DUP3
000033cf: PUSH1 0x20
000033d1: DUP4
000033d2: DUP8
000033d3: ADD
000033d4: ADD
000033d5: MSTORE
000033d6: JUMPDEST
000033d7: POP
000033d8: PUSH1 0x1f
000033da: ADD
000033db: PUSH1 0x1f
000033dd: NOT
000033de: AND
000033df: SWAP3
000033e0: SWAP1
000033e1: SWAP3
000033e2: ADD
000033e3: PUSH1 0x20
000033e5: ADD
000033e6: SWAP3
000033e7: SWAP2
000033e8: POP
000033e9: POP
000033ea: JUMP
000033eb: JUMPDEST
000033ec: PUSH2 0x1901
000033ef: PUSH1 0xf0
000033f1: SHL
000033f2: DUP2
000033f3: MSTORE
000033f4: PUSH1 0x02
000033f6: DUP2
000033f7: ADD
000033f8: SWAP3
000033f9: SWAP1
000033fa: SWAP3
000033fb: MSTORE
000033fc: PUSH1 0x22
000033fe: DUP3
000033ff: ADD
00003400: MSTORE
00003401: PUSH1 0x42
00003403: ADD
00003404: SWAP1
00003405: JUMP
00003406: JUMPDEST
00003407: PUSH1 0x01
00003409: PUSH1 0x01
0000340b: PUSH1 0xa0
0000340d: SHL
0000340e: SUB
0000340f: SWAP2
00003410: SWAP1
00003411: SWAP2
00003412: AND
00003413: DUP2
00003414: MSTORE
00003415: PUSH1 0x20
00003417: ADD
00003418: SWAP1
00003419: JUMP
0000341a: JUMPDEST
0000341b: PUSH1 0x01
0000341d: PUSH1 0x01
0000341f: PUSH1 0xa0
00003421: SHL
00003422: SUB
00003423: SWAP4
00003424: DUP5
00003425: AND
00003426: DUP2
00003427: MSTORE
00003428: SWAP2
00003429: SWAP1
0000342a: SWAP3
0000342b: AND
0000342c: PUSH1 0x20
0000342e: DUP3
0000342f: ADD
00003430: MSTORE
00003431: PUSH1 0x40
00003433: DUP2
00003434: ADD
00003435: SWAP2
00003436: SWAP1
00003437: SWAP2
00003438: MSTORE
00003439: PUSH1 0x60
0000343b: ADD
0000343c: SWAP1
0000343d: JUMP
0000343e: JUMPDEST
0000343f: PUSH1 0x01
00003441: PUSH1 0x01
00003443: PUSH1 0xa0
00003445: SHL
00003446: SUB
00003447: SWAP3
00003448: SWAP1
00003449: SWAP3
0000344a: AND
0000344b: DUP3
0000344c: MSTORE
0000344d: PUSH1 0x20
0000344f: DUP3
00003450: ADD
00003451: MSTORE
00003452: PUSH1 0x40
00003454: ADD
00003455: SWAP1
00003456: JUMP
00003457: JUMPDEST
00003458: SWAP1
00003459: ISZERO
0000345a: ISZERO
0000345b: DUP2
0000345c: MSTORE
0000345d: PUSH1 0x20
0000345f: ADD
00003460: SWAP1
00003461: JUMP
00003462: JUMPDEST
00003463: SWAP1
00003464: DUP2
00003465: MSTORE
00003466: PUSH1 0x20
00003468: ADD
00003469: SWAP1
0000346a: JUMP
0000346b: JUMPDEST
0000346c: SWAP6
0000346d: DUP7
0000346e: MSTORE
0000346f: PUSH1 0x01
00003471: PUSH1 0x01
00003473: PUSH1 0xa0
00003475: SHL
00003476: SUB
00003477: SWAP5
00003478: DUP6
00003479: AND
0000347a: PUSH1 0x20
0000347c: DUP8
0000347d: ADD
0000347e: MSTORE
0000347f: SWAP3
00003480: SWAP1
00003481: SWAP4
00003482: AND
00003483: PUSH1 0x40
00003485: DUP6
00003486: ADD
00003487: MSTORE
00003488: PUSH1 0x60
0000348a: DUP5
0000348b: ADD
0000348c: MSTORE
0000348d: PUSH1 0x80
0000348f: DUP4
00003490: ADD
00003491: SWAP2
00003492: SWAP1
00003493: SWAP2
00003494: MSTORE
00003495: PUSH1 0xa0
00003497: DUP3
00003498: ADD
00003499: MSTORE
0000349a: PUSH1 0xc0
0000349c: ADD
0000349d: SWAP1
0000349e: JUMP
0000349f: JUMPDEST
000034a0: SWAP4
000034a1: DUP5
000034a2: MSTORE
000034a3: PUSH1 0x01
000034a5: PUSH1 0x01
000034a7: PUSH1 0xa0
000034a9: SHL
000034aa: SUB
000034ab: SWAP3
000034ac: SWAP1
000034ad: SWAP3
000034ae: AND
000034af: PUSH1 0x20
000034b1: DUP5
000034b2: ADD
000034b3: MSTORE
000034b4: PUSH1 0x40
000034b6: DUP4
000034b7: ADD
000034b8: MSTORE
000034b9: PUSH1 0x60
000034bb: DUP3
000034bc: ADD
000034bd: MSTORE
000034be: PUSH1 0x80
000034c0: ADD
000034c1: SWAP1
000034c2: JUMP
000034c3: JUMPDEST
000034c4: SWAP5
000034c5: DUP6
000034c6: MSTORE
000034c7: PUSH1 0x01
000034c9: PUSH1 0x01
000034cb: PUSH1 0xa0
000034cd: SHL
000034ce: SUB
000034cf: SWAP4
000034d0: SWAP1
000034d1: SWAP4
000034d2: AND
000034d3: PUSH1 0x20
000034d5: DUP6
000034d6: ADD
000034d7: MSTORE
000034d8: PUSH1 0x40
000034da: DUP5
000034db: ADD
000034dc: SWAP2
000034dd: SWAP1
000034de: SWAP2
000034df: MSTORE
000034e0: PUSH1 0x60
000034e2: DUP4
000034e3: ADD
000034e4: MSTORE
000034e5: PUSH1 0x80
000034e7: DUP3
000034e8: ADD
000034e9: MSTORE
000034ea: PUSH1 0xa0
000034ec: ADD
000034ed: SWAP1
000034ee: JUMP
000034ef: JUMPDEST
000034f0: SWAP5
000034f1: DUP6
000034f2: MSTORE
000034f3: PUSH1 0x20
000034f5: DUP6
000034f6: ADD
000034f7: SWAP4
000034f8: SWAP1
000034f9: SWAP4
000034fa: MSTORE
000034fb: PUSH1 0x40
000034fd: DUP5
000034fe: ADD
000034ff: SWAP2
00003500: SWAP1
00003501: SWAP2
00003502: MSTORE
00003503: PUSH1 0x60
00003505: DUP4
00003506: ADD
00003507: MSTORE
00003508: PUSH1 0x01
0000350a: PUSH1 0x01
0000350c: PUSH1 0xa0
0000350e: SHL
0000350f: SUB
00003510: AND
00003511: PUSH1 0x80
00003513: DUP3
00003514: ADD
00003515: MSTORE
00003516: PUSH1 0xa0
00003518: ADD
00003519: SWAP1
0000351a: JUMP
0000351b: JUMPDEST
0000351c: SWAP4
0000351d: DUP5
0000351e: MSTORE
0000351f: PUSH1 0xff
00003521: SWAP3
00003522: SWAP1
00003523: SWAP3
00003524: AND
00003525: PUSH1 0x20
00003527: DUP5
00003528: ADD
00003529: MSTORE
0000352a: PUSH1 0x40
0000352c: DUP4
0000352d: ADD
0000352e: MSTORE
0000352f: PUSH1 0x60
00003531: DUP3
00003532: ADD
00003533: MSTORE
00003534: PUSH1 0x80
00003536: ADD
00003537: SWAP1
00003538: JUMP
00003539: JUMPDEST
0000353a: PUSH1 0x00
0000353c: PUSH1 0x20
0000353e: DUP3
0000353f: MSTORE
00003540: PUSH2 0x0910
00003543: PUSH1 0x20
00003545: DUP4
00003546: ADD
00003547: DUP5
00003548: PUSH2 0x33a0
0000354b: JUMP
0000354c: JUMPDEST
0000354d: PUSH1 0x20
0000354f: DUP1
00003550: DUP3
00003551: MSTORE
00003552: PUSH1 0x13
00003554: SWAP1
00003555: DUP3
00003556: ADD
00003557: MSTORE
00003558: PUSH19 0x1253959053125117d6915493d7d05353d55395
0000356c: PUSH1 0x6a
0000356e: SHL
0000356f: PUSH1 0x40
00003571: DUP3
00003572: ADD
00003573: MSTORE
00003574: PUSH1 0x60
00003576: ADD
00003577: SWAP1
00003578: JUMP
00003579: JUMPDEST
0000357a: PUSH1 0x20
0000357c: DUP1
0000357d: DUP3
0000357e: MSTORE
0000357f: PUSH1 0x11
00003581: SWAP1
00003582: DUP3
00003583: ADD
00003584: MSTORE
00003585: PUSH17 0x494e56414c49445f5349474e4154555245
00003597: PUSH1 0x78
00003599: SHL
0000359a: PUSH1 0x40
0000359c: DUP3
0000359d: ADD
0000359e: MSTORE
0000359f: PUSH1 0x60
000035a1: ADD
000035a2: SWAP1
000035a3: JUMP
000035a4: JUMPDEST
000035a5: PUSH1 0x20
000035a7: DUP1
000035a8: DUP3
000035a9: MSTORE
000035aa: PUSH1 0x12
000035ac: SWAP1
000035ad: DUP3
000035ae: ADD
000035af: MSTORE
000035b0: PUSH18 0x24a72b20a624a22fa2ac2824a920aa24a7a7
000035c3: PUSH1 0x71
000035c5: SHL
000035c6: PUSH1 0x40
000035c8: DUP3
000035c9: ADD
000035ca: MSTORE
000035cb: PUSH1 0x60
000035cd: ADD
000035ce: SWAP1
000035cf: JUMP
000035d0: JUMPDEST
000035d1: PUSH1 0x20
000035d3: DUP1
000035d4: DUP3
000035d5: MSTORE
000035d6: PUSH1 0x0d
000035d8: SWAP1
000035d9: DUP3
000035da: ADD
000035db: MSTORE
000035dc: PUSH13 0x494e56414c49445f4e4f4e4345
000035ea: PUSH1 0x98
000035ec: SHL
000035ed: PUSH1 0x40
000035ef: DUP3
000035f0: ADD
000035f1: MSTORE
000035f2: PUSH1 0x60
000035f4: ADD
000035f5: SWAP1
000035f6: JUMP
000035f7: JUMPDEST
000035f8: PUSH1 0x20
000035fa: DUP1
000035fb: DUP3
000035fc: MSTORE
000035fd: PUSH1 0x15
000035ff: SWAP1
00003600: DUP3
00003601: ADD
00003602: MSTORE
00003603: PUSH21 0x27a7262cafa2a6a4a9a9a4a7a72fa6a0a720a3a2a9
00003619: PUSH1 0x59
0000361b: SHL
0000361c: PUSH1 0x40
0000361e: DUP3
0000361f: ADD
00003620: MSTORE
00003621: PUSH1 0x60
00003623: ADD
00003624: SWAP1
00003625: JUMP
00003626: JUMPDEST
00003627: PUSH1 0x20
00003629: DUP1
0000362a: DUP3
0000362b: MSTORE
0000362c: PUSH1 0x0d
0000362e: SWAP1
0000362f: DUP3
00003630: ADD
00003631: MSTORE
00003632: PUSH13 0x24a72b20a624a22fa7aba722a9
00003640: PUSH1 0x99
00003642: SHL
00003643: PUSH1 0x40
00003645: DUP3
00003646: ADD
00003647: MSTORE
00003648: PUSH1 0x60
0000364a: ADD
0000364b: SWAP1
0000364c: JUMP
0000364d: JUMPDEST
0000364e: PUSH1 0x20
00003650: DUP1
00003651: DUP3
00003652: MSTORE
00003653: PUSH1 0x1b
00003655: SWAP1
00003656: DUP3
00003657: ADD
00003658: MSTORE
00003659: PUSH32 0x494e56414c49445f42414c414e43455f4f4e5f434f4f4c444f574e0000000000
0000367a: PUSH1 0x40
0000367c: DUP3
0000367d: ADD
0000367e: MSTORE
0000367f: PUSH1 0x60
00003681: ADD
00003682: SWAP1
00003683: JUMP
00003684: JUMPDEST
00003685: PUSH1 0x01
00003687: PUSH1 0x01
00003689: PUSH1 0x80
0000368b: SHL
0000368c: SUB
0000368d: SWAP2
0000368e: SWAP1
0000368f: SWAP2
00003690: AND
00003691: DUP2
00003692: MSTORE
00003693: PUSH1 0x20
00003695: ADD
00003696: SWAP1
00003697: JUMP
00003698: JUMPDEST
00003699: PUSH1 0x01
0000369b: PUSH1 0x01
0000369d: PUSH1 0x80
0000369f: SHL
000036a0: SUB
000036a1: SWAP3
000036a2: DUP4
000036a3: AND
000036a4: DUP2
000036a5: MSTORE
000036a6: SWAP2
000036a7: AND
000036a8: PUSH1 0x20
000036aa: DUP3
000036ab: ADD
000036ac: MSTORE
000036ad: PUSH1 0x40
000036af: ADD
000036b0: SWAP1
000036b1: JUMP
000036b2: JUMPDEST
000036b3: PUSH1 0x01
000036b5: PUSH1 0x01
000036b7: PUSH1 0x80
000036b9: SHL
000036ba: SUB
000036bb: SWAP4
000036bc: DUP5
000036bd: AND
000036be: DUP2
000036bf: MSTORE
000036c0: SWAP2
000036c1: SWAP1
000036c2: SWAP3
000036c3: AND
000036c4: PUSH1 0x20
000036c6: DUP3
000036c7: ADD
000036c8: MSTORE
000036c9: PUSH1 0x40
000036cb: DUP2
000036cc: ADD
000036cd: SWAP2
000036ce: SWAP1
000036cf: SWAP2
000036d0: MSTORE
000036d1: PUSH1 0x60
000036d3: ADD
000036d4: SWAP1
000036d5: JUMP
000036d6: JUMPDEST
000036d7: PUSH1 0xff
000036d9: SWAP2
000036da: SWAP1
000036db: SWAP2
000036dc: AND
000036dd: DUP2
000036de: MSTORE
000036df: PUSH1 0x20
000036e1: ADD
000036e2: SWAP1
000036e3: JUMP
000036e4: INVALID
000036e5: GASLIMIT
000036e6: MSTORE
000036e7: NUMBER
000036e8: ORIGIN
000036e9: ADDRESS
000036ea: GASPRICE
000036eb: KECCAK256
000036ec: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00003702: PUSH5 0x6472657373
00003708: GASLIMIT
00003709: MSTORE
0000370a: NUMBER
0000370b: ORIGIN
0000370c: ADDRESS
0000370d: GASPRICE
0000370e: KECCAK256
0000370f: PUSH3 0x75726e
00003713: KECCAK256
00003714: PUSH2 0x6d6f
00003717: PUSH22 0x6e7420657863656564732062616c616e636545524332
0000372e: ADDRESS
0000372f: GASPRICE
00003730: KECCAK256
00003731: PUSH2 0x7070
00003734: PUSH19 0x6f766520746f20746865207a65726f20616464
00003748: PUSH19 0x65737345524332303a207472616e7366657220
0000375c: PUSH2 0x6d6f
0000375f: PUSH22 0x6e7420657863656564732062616c616e636553616665
00003776: UNKNOWN(0x4D)
00003777: PUSH2 0x7468
0000377a: GASPRICE
0000377b: KECCAK256
0000377c: PUSH14 0x756c7469706c69636174696f6e20
0000378b: PUSH16 0x766572666c6f7745524332303a207472
0000379c: PUSH2 0x6e73
0000379f: PUSH7 0x657220616d6f75
000037a7: PUSH15 0x74206578636565647320616c6c6f77
000037b7: PUSH2 0x6e63
000037ba: PUSH6 0x436f6e747261
000037c1: PUSH4 0x7420696e
000037c6: PUSH20 0x74616e63652068617320616c7265616479206265
000037db: PUSH6 0x6e20696e6974
000037e2: PUSH10 0x616c697a656445524332
000037ed: ADDRESS
000037ee: GASPRICE
000037ef: KECCAK256
000037f0: PUSH3 0x75726e
000037f4: KECCAK256
000037f5: PUSH7 0x726f6d20746865
000037fd: KECCAK256
000037fe: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220
0000381a: PUSH7 0x726f6d20746865
00003822: KECCAK256
00003823: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
0000383f: PUSH19 0x6f6d20746865207a65726f2061646472657373
00003853: MSTORE8
00003854: PUSH2 0x6665
00003857: GASLIMIT
00003858: MSTORE
00003859: NUMBER
0000385a: ORIGIN
0000385b: ADDRESS
0000385c: GASPRICE
0000385d: KECCAK256
0000385e: GASLIMIT
0000385f: MSTORE
00003860: NUMBER
00003861: ORIGIN
00003862: ADDRESS
00003863: KECCAK256
00003864: PUSH16 0x7065726174696f6e20646964206e6f74
00003875: KECCAK256
00003876: PUSH20 0x75636365656445524332303a2064656372656173
0000388b: PUSH6 0x6420616c6c6f
00003892: PUSH24 0x616e63652062656c6f77207a65726fa26469706673582212
000038ab: KECCAK256
000038ac: PUSH30 0xb38e30e8589b775b9eccef88c38d3687e0ea4f5eeb528c9579af81d929f0
000038cb: DUP9
000038cc: PUSH5 0x736f6c6343
000038d2: STOP
000038d3: SMOD
000038d4: SDIV
000038d5: STOP
000038d6: CALLER