Analysis Run

[codex:1091515] OpenAI Codex v0.77.0 (research preview)
[codex:1091515] --------
[codex:1091515] workdir: /tmp/codex-multi-mb9lkm9j
[codex:1091515] model: gpt-5.2-codex
[codex:1091515] provider: openai
[codex:1091515] approval: never
[codex:1091515] sandbox: read-only
[codex:1091515] reasoning effort: xhigh
[codex:1091515] reasoning summaries: auto
[codex:1091515] session id: 019b7b09-84c0-7843-8b6d-0d5c9087b531
[codex:1091515] --------
[codex:1091515] user
[codex:1091515] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1091515] 
[codex:1091515] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1091515] 
[codex:1091515] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1091515] - Gas inefficiency, code quality, naming, or best practices
[codex:1091515] - Theoretical vulnerabilities without a clear extraction path
[codex:1091515] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1091515] - Front-running unless it enables theft beyond MEV
[codex:1091515] - DoS, griefing, or issues that don't result in attacker profit
[codex:1091515] - Missing events, view function issues, or informational findings
[codex:1091515] 
[codex:1091515] HIGH-VALUE PATTERNS TO HUNT:
[codex:1091515] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1091515] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1091515] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1091515] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1091515] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1091515] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1091515] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1091515] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1091515] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1091515] 
[codex:1091515] For each finding, you MUST provide:
[codex:1091515] 1. Exact file and line numbers of vulnerable code
[codex:1091515] 2. Step-by-step exploit transaction sequence
[codex:1091515] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1091515] 
[codex:1091515] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1091515] 
[codex:1091515] Output MUST be valid JSON matching the provided schema.
[codex:1091515] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1091515] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1091515] mcp startup: no servers
[codex:1091515] 
[codex:1091515] thinking
[codex:1091515] **Preparing to audit with file read**
[codex:1091515] exec
[codex:1091515] /bin/bash -lc ls in /tmp/codex-multi-mb9lkm9j succeeded in 5ms:
[codex:1091515] AUDIT_BUNDLE.txt
[codex:1091515] codex-output-schema.json
[codex:1091515] contracts
[codex:1091515] exec
[codex:1091515] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-mb9lkm9j succeeded in 7ms:
[codex:1091515] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1091515] 
[codex:1091515] ================================================================================
[codex:1091515] FILE: contracts/contracts/LRTWithdrawalManager.sol
[codex:1091515] ================================================================================
[codex:1091515] // SPDX-License-Identifier: BUSL-1.1
[codex:1091515] pragma solidity 0.8.27;
[codex:1091515] 
[codex:1091515] import { UtilLib } from "./utils/UtilLib.sol";
[codex:1091515] import { LRTConstants } from "./utils/LRTConstants.sol";
[codex:1091515] import { DoubleEndedQueue } from "./utils/DoubleEndedQueue.sol";
[codex:1091515] 
[codex:1091515] import { LRTConfigRoleChecker, ILRTConfig } from "./utils/LRTConfigRoleChecker.sol";
[codex:1091515] import { IRSETH } from "./interfaces/IRSETH.sol";
[codex:1091515] import { ILRTOracle } from "./interfaces/ILRTOracle.sol";
[codex:1091515] import { ILRTWithdrawalManager } from "./interfaces/ILRTWithdrawalManager.sol";
[codex:1091515] import { ILRTDepositPool } from "./interfaces/ILRTDepositPool.sol";
[codex:1091515] import { ILRTUnstakingVault } from "./interfaces/ILRTUnstakingVault.sol";
[codex:1091515] 
[codex:1091515] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1091515] exec
[codex:1091515] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-mb9lkm9j succeeded in 6ms:
[codex:1091515] 
[codex:1091515]         if (rsETHBurned != 0) IRSETH(lrtConfig.rsETH()).burnFrom(address(this), rsETHBurned);
[codex:1091515]         //Take the amount to distribute from vault
[codex:1091515]         unstakingVault.redeem(asset, assetAmountUnlocked);
[codex:1091515] 
[codex:1091515]         emit AssetUnlocked(asset, rsETHBurned, assetAmountUnlocked, params.rsETHPrice, params.assetPrice);
[codex:1091515]     }
[codex:1091515] 
[codex:1091515]     /*//////////////////////////////////////////////////////////////
[codex:1091515]                             setters
[codex:1091515]     //////////////////////////////////////////////////////////////*/
[codex:1091515] 
[codex:1091515]     /// @notice update min amount to withdraw
[codex:1091515]     /// @dev only callable by LRT admin
[codex:1091515]     /// @param asset Asset address
[codex:1091515]     /// @param minRsEthAmountToWithdraw_ Minimum amount to withdraw
[codex:1091515]     function setMinRsEthAmountToWithdraw(address asset, uint256 minRsEthAmountToWithdraw_) external onlyLRTAdmin {
[codex:1091515]         minRsEthAmountToWithdraw[asset] = minRsEthAmountToWithdraw_;
[codex:1091515]         emit MinAmountToWithdrawUpdated(asset, minRsEthAmountToWithdraw_);
[codex:1091515]     }
[codex:1091515] exec
[codex:1091515] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-mb9lkm9j succeeded in 9ms:
[codex:1091515]         return (request.expectedAssetAmount < currentReturn) ? request.expectedAssetAmount : currentReturn;
[codex:1091515]     }
[codex:1091515] 
[codex:1091515]     function _createUnlockParams(
[codex:1091515]         ILRTOracle lrtOracle,
[codex:1091515]         ILRTUnstakingVault unstakingVault,
[codex:1091515]         address asset,
[codex:1091515]         uint256 firstExcludedIndex
[codex:1091515]     )
[codex:1091515]         internal
[codex:1091515]         view
[codex:1091515]         returns (UnlockParams memory)
[codex:1091515]     {
[codex:1091515]         return UnlockParams({
[codex:1091515]             rsETHPrice: lrtOracle.rsETHPrice(),
[codex:1091515]             assetPrice: lrtOracle.getAssetPrice(asset),
[codex:1091515]             totalAvailableAssets: unstakingVault.balanceOf(asset),
[codex:1091515]             firstExcludedIndex: firstExcludedIndex
[codex:1091515]         });
[codex:1091515]     }
[codex:1091515] 
[codex:1091515] thinking
[codex:1091515] **Scanning audit bundle for withdrawal manager**
[codex:1091515] exec
[codex:1091515] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-mb9lkm9j succeeded in 7ms:
[codex:1091515] 4:FILE: contracts/contracts/LRTWithdrawalManager.sol
[codex:1091515] 442:FILE: contracts/contracts/external/eigenlayer/interfaces/IStrategy.sol
[codex:1091515] 583:FILE: contracts/contracts/external/eigenlayer/libraries/SlashingLib.sol
[codex:1091515] 788:FILE: contracts/contracts/interfaces/ILRTConfig.sol
[codex:1091515] 845:FILE: contracts/contracts/interfaces/ILRTDepositPool.sol
[codex:1091515] 948:FILE: contracts/contracts/interfaces/ILRTOracle.sol
[codex:1091515] 974:FILE: contracts/contracts/interfaces/ILRTUnstakingVault.sol
[codex:1091515] 1015:FILE: contracts/contracts/interfaces/ILRTWithdrawalManager.sol
[codex:1091515] 1103:FILE: contracts/contracts/interfaces/IRSETH.sol
[codex:1091515] 1121:FILE: contracts/contracts/utils/DoubleEndedQueue.sol
[codex:1091515] 1294:FILE: contracts/contracts/utils/LRTConfigRoleChecker.sol
[codex:1091515] 1352:FILE: contracts/contracts/utils/LRTConstants.sol
[codex:1091515] 1450:FILE: contracts/contracts/utils/UtilLib.sol
[codex:1091515] 
[codex:1091515] thinking
[codex:1091515] **Examining LRTWithdrawalManager for exploits**
[codex:1091515] exec
[codex:1091515] /bin/bash -lc "nl -ba contracts/contracts/LRTWithdrawalManager.sol | sed -n '1,260p'" in /tmp/codex-multi-mb9lkm9j succeeded in 6ms:
[codex:1091515]      1	// SPDX-License-Identifier: BUSL-1.1
[codex:1091515]      2	pragma solidity 0.8.27;
[codex:1091515]      3	
[codex:1091515]      4	import { UtilLib } from "./utils/UtilLib.sol";
[codex:1091515]      5	import { LRTConstants } from "./utils/LRTConstants.sol";
[codex:1091515]      6	import { DoubleEndedQueue } from "./utils/DoubleEndedQueue.sol";
[codex:1091515]      7	
[codex:1091515]      8	import { LRTConfigRoleChecker, ILRTConfig } from "./utils/LRTConfigRoleChecker.sol";
[codex:1091515]      9	import { IRSETH } from "./interfaces/IRSETH.sol";
[codex:1091515]     10	import { ILRTOracle } from "./interfaces/ILRTOracle.sol";
[codex:1091515]     11	import { ILRTWithdrawalManager } from "./interfaces/ILRTWithdrawalManager.sol";
[codex:1091515]     12	import { ILRTDepositPool } from "./interfaces/ILRTDepositPool.sol";
[codex:1091515]     13	import { ILRTUnstakingVault } from "./interfaces/ILRTUnstakingVault.sol";
[codex:1091515]     14	
[codex:1091515]     15	import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1091515]     16	import { PausableUpgradeable } from "@openzeppelin/contracts-upgradeable/security/PausableUpgradeable.sol";
[codex:1091515]     17	import { ReentrancyGuardUpgradeable } from "@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol";
[codex:1091515]     18	import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1091515]     19	
[codex:1091515]     20	/// @title LRTWithdrawalManager - Withdraw Manager Contract for rsETH => LSTs
[codex:1091515] exec
[codex:1091515] /bin/bash -lc "nl -ba contracts/contracts/LRTWithdrawalManager.sol | sed -n '260,520p'" in /tmp/codex-multi-mb9lkm9j succeeded in 7ms:
[codex:1091515]    260	    {
[codex:1091515]    261	        // setup oracle contract
[codex:1091515]    262	        ILRTOracle lrtOracle = ILRTOracle(lrtConfig.getContract(LRTConstants.LRT_ORACLE));
[codex:1091515]    263	
[codex:1091515]    264	        // calculate underlying asset amount to receive based on rsETH amount and asset exchange rate
[codex:1091515]    265	        underlyingToReceive = amount * lrtOracle.rsETHPrice() / lrtOracle.getAssetPrice(asset);
[codex:1091515]    266	    }
[codex:1091515]    267	
[codex:1091515]    268	    /// @notice Calculates the amount of asset available for withdrawal.
[codex:1091515]    269	    /// @param asset The asset address.
[codex:1091515]    270	    /// @return availableAssetAmount The asset amount avaialble for withdrawal.
[codex:1091515]    271	    function getAvailableAssetAmount(address asset) public view override returns (uint256 availableAssetAmount) {
[codex:1091515]    272	        ILRTDepositPool lrtDepositPool = ILRTDepositPool(lrtConfig.getContract(LRTConstants.LRT_DEPOSIT_POOL));
[codex:1091515]    273	        uint256 totalAssets = lrtDepositPool.getTotalAssetDeposits(asset);
[codex:1091515]    274	        availableAssetAmount = totalAssets > assetsCommitted[asset] ? totalAssets - assetsCommitted[asset] : 0;
[codex:1091515]    275	    }
[codex:1091515]    276	
[codex:1091515]    277	    /// @notice View user withdrawal request
[codex:1091515]    278	    /// @param asset Asset address
[codex:1091515]    279	    /// @param user User address
[codex:1091515] 
[codex:1091515] thinking
[codex:1091515] **Analyzing contract withdrawal and reentrancy risks**
[codex:1091515] 
[codex:1091515] I'm examining the withdrawal contract’s function flow to spot vulnerabilities, especially reentrancy and access control concerns. I’m focusing on completeWithdrawal’s state changes and external calls, cross-checking OpenZeppelin’s ReentrancyGuard usage and operator roles to assess profit risks or exploitation paths.
[codex:1091515] exec
[codex:1091515] /bin/bash -lc 'nl -ba contracts/contracts/interfaces/IRSETH.sol' in /tmp/codex-multi-mb9lkm9j succeeded in 5ms:
[codex:1091515]      1	// SPDX-License-Identifier: BUSL-1.1
[codex:1091515]      2	pragma solidity 0.8.27;
[codex:1091515]      3	
[codex:1091515]      4	import { IERC20 } from "@openzeppelin/contracts/interfaces/IERC20.sol";
[codex:1091515]      5	
[codex:1091515]      6	interface IRSETH is IERC20 {
[codex:1091515]      7	    function mint(address account, uint256 amount) external;
[codex:1091515]      8	
[codex:1091515]      9	    function burnFrom(address account, uint256 amount) external;
[codex:1091515]     10	
[codex:1091515]     11	    function pause() external;
[codex:1091515]     12	
[codex:1091515]     13	    function unpause() external;
[codex:1091515]     14	}
[codex:1091515] 
[codex:1091515] thinking
[codex:1091515] **Analyzing burnFrom access and security considerations**
[codex:1091515] exec
[codex:1091515] /bin/bash -lc 'nl -ba contracts/contracts/utils/LRTConfigRoleChecker.sol' in /tmp/codex-multi-mb9lkm9j succeeded in 5ms:
[codex:1091515]      1	// SPDX-License-Identifier: BUSL-1.1
[codex:1091515]      2	pragma solidity 0.8.27;
[codex:1091515]      3	
[codex:1091515]      4	import { LRTConstants } from "./LRTConstants.sol";
[codex:1091515]      5	
[codex:1091515]      6	import { ILRTConfig } from "../interfaces/ILRTConfig.sol";
[codex:1091515]      7	
[codex:1091515]      8	import { IAccessControl } from "@openzeppelin/contracts/access/IAccessControl.sol";
[codex:1091515]      9	
[codex:1091515]     10	/// @title LRTConfigRoleChecker - LRT Config Role Checker Contract
[codex:1091515]     11	/// @notice Handles LRT config role checks
[codex:1091515]     12	abstract contract LRTConfigRoleChecker {
[codex:1091515]     13	    ILRTConfig public lrtConfig;
[codex:1091515]     14	
[codex:1091515]     15	    // events
[codex:1091515]     16	    event UpdatedLRTConfig(address indexed lrtConfig);
[codex:1091515]     17	
[codex:1091515]     18	    // modifiers
[codex:1091515]     19	    modifier onlyRole(bytes32 role) {
[codex:1091515]     20	        if (!IAccessControl(address(lrtConfig)).hasRole(role, msg.sender)) {
[codex:1091515] 
[codex:1091515] thinking
[codex:1091515] **Analyzing withdrawal and asset handling risks**
[codex:1091515] exec
[codex:1091515] /bin/bash -lc 'nl -ba contracts/contracts/utils/LRTConstants.sol' in /tmp/codex-multi-mb9lkm9j succeeded in 5ms:
[codex:1091515]      1	// SPDX-License-Identifier: BUSL-1.1
[codex:1091515]      2	pragma solidity 0.8.27;
[codex:1091515]      3	
[codex:1091515]      4	import { ILRTConfig } from "../interfaces/ILRTConfig.sol";
[codex:1091515]      5	
[codex:1091515]      6	library LRTConstants {
[codex:1091515]      7	    //tokens
[codex:1091515]      8	    bytes32 public constant ST_ETH_TOKEN = keccak256("ST_ETH_TOKEN");
[codex:1091515]      9	    bytes32 public constant ETHX_TOKEN = keccak256("ETHX_TOKEN");
[codex:1091515]     10	    bytes32 public constant SFRX_ETH_TOKEN = keccak256("SFRX_ETH_TOKEN");
[codex:1091515]     11	    // native ETH as ERC20 for ease of implementation
[codex:1091515]     12	    address public constant ETH_TOKEN = 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE;
[codex:1091515]     13	
[codex:1091515]     14	    //contracts
[codex:1091515]     15	    bytes32 public constant LRT_ORACLE = keccak256("LRT_ORACLE");
[codex:1091515]     16	    bytes32 public constant LRT_DEPOSIT_POOL = keccak256("LRT_DEPOSIT_POOL");
[codex:1091515]     17	    bytes32 public constant LRT_WITHDRAW_MANAGER = keccak256("LRT_WITHDRAW_MANAGER");
[codex:1091515]     18	    bytes32 public constant LRT_UNSTAKING_VAULT = keccak256("LRT_UNSTAKING_VAULT");
[codex:1091515]     19	    bytes32 public constant LRT_CONVERTER = keccak256("LRT_CONVERTER");
[codex:1091515]     20	    bytes32 public constant REWARD_RECEIVER = keccak256("REWARD_RECEIVER");
[codex:1091515] 
[codex:1091515] thinking
[codex:1091515] **Reviewing DoubleEndedQueue for bugs**
[codex:1091515] exec
[codex:1091515] /bin/bash -lc "nl -ba contracts/contracts/utils/DoubleEndedQueue.sol | sed -n '1,220p'" in /tmp/codex-multi-mb9lkm9j succeeded in 6ms:
[codex:1091515]      1	// SPDX-License-Identifier: MIT
[codex:1091515]      2	// OpenZeppelin Contracts (last updated v5.0.0) (utils/structs/DoubleEndedQueue.sol)
[codex:1091515]      3	pragma solidity 0.8.27;
[codex:1091515]      4	
[codex:1091515]      5	/**
[codex:1091515]      6	 * @dev A sequence of items with the ability to efficiently push and pop items (i.e. insert and remove) on both ends of
[codex:1091515]      7	 * the sequence (called front and back). Among other access patterns, it can be used to implement efficient LIFO and
[codex:1091515]      8	 * FIFO queues. Storage use is optimized, and all operations are O(1) constant time. This includes {clear}, given that
[codex:1091515]      9	 * the existing queue contents are left in storage.
[codex:1091515]     10	 *
[codex:1091515]     11	 * The struct is called `Uint256Deque`. Other types can be cast to and from `uint128`. This data structure can only be
[codex:1091515]     12	 * used in storage, and not in memory.
[codex:1091515]     13	 * ```solidity
[codex:1091515]     14	 * DoubleEndedQueue.Uint256Deque queue;
[codex:1091515]     15	 * ```
[codex:1091515]     16	 */
[codex:1091515]     17	library DoubleEndedQueue {
[codex:1091515]     18	    /**
[codex:1091515]     19	     * @dev An operation (e.g. {front}) couldn't be completed due to the queue being empty.
[codex:1091515]     20	     */
[codex:1091515] 
[codex:1091515] thinking
[codex:1091515] **Analyzing withdrawal and oracle interactions**
[codex:1091515] 
[codex:1091515] I’m parsing potential vulnerabilities in withdrawal flow, focusing on reentrancy, queue handling, and price oracle use. There’s close scrutiny on asset accounting around unlocking requests, redemption calls, and how assetsCommitted is adjusted—spotting potential misalignments that might allow over-withdrawal. I’m also weighing external call trust assumptions and operator-only access points while considering oracle manipulation risk with limited contract visibility. Let’s explore if concrete exploits emerge from these complex interactions!
[codex:1091515] exec
[codex:1091515] /bin/bash -lc 'nl -ba contracts/contracts/interfaces/ILRTDepositPool.sol' in /tmp/codex-multi-mb9lkm9j succeeded in 6ms:
[codex:1091515]      1	// SPDX-License-Identifier: BUSL-1.1
[codex:1091515]      2	pragma solidity 0.8.27;
[codex:1091515]      3	
[codex:1091515]      4	interface ILRTDepositPool {
[codex:1091515]      5	    //errors
[codex:1091515]      6	    error InvalidAmountToDeposit();
[codex:1091515]      7	    error NotEnoughAssetToTransfer();
[codex:1091515]      8	    error MaximumDepositLimitReached();
[codex:1091515]      9	    error MaximumNodeDelegatorLimitReached();
[codex:1091515]     10	    error InvalidMaximumNodeDelegatorLimit();
[codex:1091515]     11	    error MinimumAmountToReceiveNotMet();
[codex:1091515]     12	    error NodeDelegatorNotFound();
[codex:1091515]     13	    error NodeDelegatorHasAssetBalance(address assetAddress, uint256 assetBalance);
[codex:1091515]     14	    error NodeDelegatorHasETH();
[codex:1091515]     15	    error EthTransferFailed();
[codex:1091515]     16	    error NodeDelegatorHasUnaccountedWithdrawals();
[codex:1091515]     17	
[codex:1091515]     18	    //events
[codex:1091515]     19	    event MaxNodeDelegatorLimitUpdated(uint256 maxNodeDelegatorLimit);
[codex:1091515]     20	    event NodeDelegatorAddedinQueue(address[] nodeDelegatorContracts);
[codex:1091515] 
[codex:1091515] 
[codex:1091515] thinking
[codex:1091515] **Analyzing withdrawal asset accounting and vulnerabilities**
[codex:1091515] 
[codex:1091515] I've carefully examined how asset commitments, total deposits, and withdrawal queues interact, exploring potential double-counting and over-commitment risks. I’m also checking upgradeability initialization risks, reentrancy protections, and oracle price manipulations to identify concrete profit exploits, but so far no clear exploitable vulnerability emerges.
[codex:1091515] thinking
[codex:1091515] **Interpreting asset payout differences and system liabilities**
[codex:1091515] 
[codex:1091515] I'm reasoning through how payout discrepancies caused by price changes impact assetsCommitted and total assets, verifying that leftover assets belong to the protocol and do not enable exploit. I’m also confirming the integrity of withdrawal queues, token transfers, and role-based access to rule out profit-extracting flaws.
[codex:1091515] codex
[codex:1091515] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (LRTWithdrawalManager and related interfaces/utilities); no concrete, exploitable profit path identified.","findings":[]}
[codex:1091515] tokens used
[codex:1091515] 36,106
[codex:1091515] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (LRTWithdrawalManager and related interfaces/utilities); no concrete, exploitable profit path identified.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T19:33:26.871688+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt (LRTWithdrawalManager and related interfaces/utilities); no concrete, exploitable profit path identified.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt (LRTWithdrawalManager and related interfaces/utilities); no concrete, exploitable profit path identified.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0139
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xa2ccd14f
00000019: GT
0000001a: PUSH2 0x00ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc5a67b01
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc5a67b01
0000002f: EQ
00000030: PUSH2 0x040f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd3a86833
0000003a: EQ
0000003b: PUSH2 0x042f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe7637288
00000045: EQ
00000046: PUSH2 0x01e4
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf1650a46
00000050: EQ
00000051: PUSH2 0x044f
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfac48eea
0000005b: EQ
0000005c: PUSH2 0x0487
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfe63f41b
00000066: EQ
00000067: PUSH2 0x04b4
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xa2ccd14f
00000076: EQ
00000077: PUSH2 0x0340
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xb6cf3fef
00000081: EQ
00000082: PUSH2 0x0375
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xbf65c596
0000008c: EQ
0000008d: PUSH2 0x03a2
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc1af971a
00000097: EQ
00000098: PUSH2 0x03c2
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc4d66de8
000000a2: EQ
000000a3: PUSH2 0x03ef
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x50f73e7c
000000b2: GT
000000b3: PUSH2 0x00fd
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x50f73e7c
000000bd: EQ
000000be: PUSH2 0x0246
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x5c975abb
000000c8: EQ
000000c9: PUSH2 0x025c
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x5f57f968
000000d3: EQ
000000d4: PUSH2 0x027f
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x6359b872
000000de: EQ
000000df: PUSH2 0x029f
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x7cef12ae
000000e9: EQ
000000ea: PUSH2 0x02bf
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x8456cb59
000000f4: EQ
000000f5: PUSH2 0x032b
000000f8: JUMPI
000000f9: PUSH1 0x00
000000fb: DUP1
000000fc: REVERT
000000fd: JUMPDEST
000000fe: DUP1
000000ff: PUSH4 0x124b82a5
00000104: EQ
00000105: PUSH2 0x0145
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x3ddd2511
0000010f: EQ
00000110: PUSH2 0x01a1
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x3f4ba83a
0000011a: EQ
0000011b: PUSH2 0x01cf
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x47204df1
00000125: EQ
00000126: PUSH2 0x01e6
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x4d50f9a4
00000130: EQ
00000131: PUSH2 0x0226
00000134: JUMPI
00000135: PUSH1 0x00
00000137: DUP1
00000138: REVERT
00000139: JUMPDEST
0000013a: CALLDATASIZE
0000013b: PUSH2 0x0140
0000013e: JUMPI
0000013f: STOP
00000140: JUMPDEST
00000141: PUSH1 0x00
00000143: DUP1
00000144: REVERT
00000145: JUMPDEST
00000146: CALLVALUE
00000147: DUP1
00000148: ISZERO
00000149: PUSH2 0x0151
0000014c: JUMPI
0000014d: PUSH1 0x00
0000014f: DUP1
00000150: REVERT
00000151: JUMPDEST
00000152: POP
00000153: PUSH2 0x0181
00000156: PUSH2 0x0160
00000159: CALLDATASIZE
0000015a: PUSH1 0x04
0000015c: PUSH2 0x21e9
0000015f: JUMP
00000160: JUMPDEST
00000161: PUSH1 0x9b
00000163: PUSH1 0x20
00000165: MSTORE
00000166: PUSH1 0x00
00000168: SWAP1
00000169: DUP2
0000016a: MSTORE
0000016b: PUSH1 0x40
0000016d: SWAP1
0000016e: KECCAK256
0000016f: DUP1
00000170: SLOAD
00000171: PUSH1 0x01
00000173: DUP3
00000174: ADD
00000175: SLOAD
00000176: PUSH1 0x02
00000178: SWAP1
00000179: SWAP3
0000017a: ADD
0000017b: SLOAD
0000017c: SWAP1
0000017d: SWAP2
0000017e: SWAP1
0000017f: DUP4
00000180: JUMP
00000181: JUMPDEST
00000182: PUSH1 0x40
00000184: DUP1
00000185: MLOAD
00000186: SWAP4
00000187: DUP5
00000188: MSTORE
00000189: PUSH1 0x20
0000018b: DUP5
0000018c: ADD
0000018d: SWAP3
0000018e: SWAP1
0000018f: SWAP3
00000190: MSTORE
00000191: SWAP1
00000192: DUP3
00000193: ADD
00000194: MSTORE
00000195: PUSH1 0x60
00000197: ADD
00000198: JUMPDEST
00000199: PUSH1 0x40
0000019b: MLOAD
0000019c: DUP1
0000019d: SWAP2
0000019e: SUB
0000019f: SWAP1
000001a0: RETURN
000001a1: JUMPDEST
000001a2: CALLVALUE
000001a3: DUP1
000001a4: ISZERO
000001a5: PUSH2 0x01ad
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: POP
000001af: PUSH2 0x01c1
000001b2: PUSH2 0x01bc
000001b5: CALLDATASIZE
000001b6: PUSH1 0x04
000001b8: PUSH2 0x2217
000001bb: JUMP
000001bc: JUMPDEST
000001bd: PUSH2 0x04e1
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH1 0x40
000001c4: MLOAD
000001c5: SWAP1
000001c6: DUP2
000001c7: MSTORE
000001c8: PUSH1 0x20
000001ca: ADD
000001cb: PUSH2 0x0198
000001ce: JUMP
000001cf: JUMPDEST
000001d0: CALLVALUE
000001d1: DUP1
000001d2: ISZERO
000001d3: PUSH2 0x01db
000001d6: JUMPI
000001d7: PUSH1 0x00
000001d9: DUP1
000001da: REVERT
000001db: JUMPDEST
000001dc: POP
000001dd: PUSH2 0x01e4
000001e0: PUSH2 0x0529
000001e3: JUMP
000001e4: JUMPDEST
000001e5: STOP
000001e6: JUMPDEST
000001e7: CALLVALUE
000001e8: DUP1
000001e9: ISZERO
000001ea: PUSH2 0x01f2
000001ed: JUMPI
000001ee: PUSH1 0x00
000001f0: DUP1
000001f1: REVERT
000001f2: JUMPDEST
000001f3: POP
000001f4: PUSH2 0x0206
000001f7: PUSH2 0x0201
000001fa: CALLDATASIZE
000001fb: PUSH1 0x04
000001fd: PUSH2 0x2243
00000200: JUMP
00000201: JUMPDEST
00000202: PUSH2 0x05c3
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH1 0x40
00000209: DUP1
0000020a: MLOAD
0000020b: SWAP5
0000020c: DUP6
0000020d: MSTORE
0000020e: PUSH1 0x20
00000210: DUP6
00000211: ADD
00000212: SWAP4
00000213: SWAP1
00000214: SWAP4
00000215: MSTORE
00000216: SWAP2
00000217: DUP4
00000218: ADD
00000219: MSTORE
0000021a: PUSH1 0x60
0000021c: DUP3
0000021d: ADD
0000021e: MSTORE
0000021f: PUSH1 0x80
00000221: ADD
00000222: PUSH2 0x0198
00000225: JUMP
00000226: JUMPDEST
00000227: CALLVALUE
00000228: DUP1
00000229: ISZERO
0000022a: PUSH2 0x0232
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: POP
00000234: PUSH2 0x01e4
00000237: PUSH2 0x0241
0000023a: CALLDATASIZE
0000023b: PUSH1 0x04
0000023d: PUSH2 0x21e9
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH2 0x0635
00000245: JUMP
00000246: JUMPDEST
00000247: CALLVALUE
00000248: DUP1
00000249: ISZERO
0000024a: PUSH2 0x0252
0000024d: JUMPI
0000024e: PUSH1 0x00
00000250: DUP1
00000251: REVERT
00000252: JUMPDEST
00000253: POP
00000254: PUSH2 0x01c1
00000257: PUSH1 0x98
00000259: SLOAD
0000025a: DUP2
0000025b: JUMP
0000025c: JUMPDEST
0000025d: CALLVALUE
0000025e: DUP1
0000025f: ISZERO
00000260: PUSH2 0x0268
00000263: JUMPI
00000264: PUSH1 0x00
00000266: DUP1
00000267: REVERT
00000268: JUMPDEST
00000269: POP
0000026a: PUSH1 0x33
0000026c: SLOAD
0000026d: PUSH1 0xff
0000026f: AND
00000270: PUSH1 0x40
00000272: MLOAD
00000273: SWAP1
00000274: ISZERO
00000275: ISZERO
00000276: DUP2
00000277: MSTORE
00000278: PUSH1 0x20
0000027a: ADD
0000027b: PUSH2 0x0198
0000027e: JUMP
0000027f: JUMPDEST
00000280: CALLVALUE
00000281: DUP1
00000282: ISZERO
00000283: PUSH2 0x028b
00000286: JUMPI
00000287: PUSH1 0x00
00000289: DUP1
0000028a: REVERT
0000028b: JUMPDEST
0000028c: POP
0000028d: PUSH2 0x01c1
00000290: PUSH2 0x029a
00000293: CALLDATASIZE
00000294: PUSH1 0x04
00000296: PUSH2 0x2284
00000299: JUMP
0000029a: JUMPDEST
0000029b: PUSH2 0x0743
0000029e: JUMP
0000029f: JUMPDEST
000002a0: CALLVALUE
000002a1: DUP1
000002a2: ISZERO
000002a3: PUSH2 0x02ab
000002a6: JUMPI
000002a7: PUSH1 0x00
000002a9: DUP1
000002aa: REVERT
000002ab: JUMPDEST
000002ac: POP
000002ad: PUSH2 0x01c1
000002b0: PUSH2 0x02ba
000002b3: CALLDATASIZE
000002b4: PUSH1 0x04
000002b6: PUSH2 0x2217
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH2 0x0894
000002be: JUMP
000002bf: JUMPDEST
000002c0: CALLVALUE
000002c1: DUP1
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x030b
000002d0: PUSH2 0x02da
000002d3: CALLDATASIZE
000002d4: PUSH1 0x04
000002d6: PUSH2 0x22a8
000002d9: JUMP
000002da: JUMPDEST
000002db: PUSH1 0x9c
000002dd: PUSH1 0x20
000002df: SWAP1
000002e0: DUP2
000002e1: MSTORE
000002e2: PUSH1 0x00
000002e4: SWAP3
000002e5: DUP4
000002e6: MSTORE
000002e7: PUSH1 0x40
000002e9: DUP1
000002ea: DUP5
000002eb: KECCAK256
000002ec: SWAP1
000002ed: SWAP2
000002ee: MSTORE
000002ef: SWAP1
000002f0: DUP3
000002f1: MSTORE
000002f2: SWAP1
000002f3: KECCAK256
000002f4: SLOAD
000002f5: PUSH1 0x01
000002f7: PUSH1 0x01
000002f9: PUSH1 0x80
000002fb: SHL
000002fc: SUB
000002fd: DUP1
000002fe: DUP3
000002ff: AND
00000300: SWAP2
00000301: PUSH1 0x01
00000303: PUSH1 0x80
00000305: SHL
00000306: SWAP1
00000307: DIV
00000308: AND
00000309: DUP3
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH1 0x40
0000030e: DUP1
0000030f: MLOAD
00000310: PUSH1 0x01
00000312: PUSH1 0x01
00000314: PUSH1 0x80
00000316: SHL
00000317: SUB
00000318: SWAP4
00000319: DUP5
0000031a: AND
0000031b: DUP2
0000031c: MSTORE
0000031d: SWAP3
0000031e: SWAP1
0000031f: SWAP2
00000320: AND
00000321: PUSH1 0x20
00000323: DUP4
00000324: ADD
00000325: MSTORE
00000326: ADD
00000327: PUSH2 0x0198
0000032a: JUMP
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: DUP1
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: POP
00000339: PUSH2 0x01e4
0000033c: PUSH2 0x0a05
0000033f: JUMP
00000340: JUMPDEST
00000341: CALLVALUE
00000342: DUP1
00000343: ISZERO
00000344: PUSH2 0x034c
00000347: JUMPI
00000348: PUSH1 0x00
0000034a: DUP1
0000034b: REVERT
0000034c: JUMPDEST
0000034d: POP
0000034e: PUSH2 0x0360
00000351: PUSH2 0x035b
00000354: CALLDATASIZE
00000355: PUSH1 0x04
00000357: PUSH2 0x22e1
0000035a: JUMP
0000035b: JUMPDEST
0000035c: PUSH2 0x0af1
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH1 0x40
00000363: DUP1
00000364: MLOAD
00000365: SWAP3
00000366: DUP4
00000367: MSTORE
00000368: PUSH1 0x20
0000036a: DUP4
0000036b: ADD
0000036c: SWAP2
0000036d: SWAP1
0000036e: SWAP2
0000036f: MSTORE
00000370: ADD
00000371: PUSH2 0x0198
00000374: JUMP
00000375: JUMPDEST
00000376: CALLVALUE
00000377: DUP1
00000378: ISZERO
00000379: PUSH2 0x0381
0000037c: JUMPI
0000037d: PUSH1 0x00
0000037f: DUP1
00000380: REVERT
00000381: JUMPDEST
00000382: POP
00000383: PUSH2 0x01c1
00000386: PUSH2 0x0390
00000389: CALLDATASIZE
0000038a: PUSH1 0x04
0000038c: PUSH2 0x2284
0000038f: JUMP
00000390: JUMPDEST
00000391: PUSH1 0x9d
00000393: PUSH1 0x20
00000395: MSTORE
00000396: PUSH1 0x00
00000398: SWAP1
00000399: DUP2
0000039a: MSTORE
0000039b: PUSH1 0x40
0000039d: SWAP1
0000039e: KECCAK256
0000039f: SLOAD
000003a0: DUP2
000003a1: JUMP
000003a2: JUMPDEST
000003a3: CALLVALUE
000003a4: DUP1
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: POP
000003b0: PUSH2 0x01e4
000003b3: PUSH2 0x03bd
000003b6: CALLDATASIZE
000003b7: PUSH1 0x04
000003b9: PUSH2 0x2217
000003bc: JUMP
000003bd: JUMPDEST
000003be: PUSH2 0x0f73
000003c1: JUMP
000003c2: JUMPDEST
000003c3: CALLVALUE
000003c4: DUP1
000003c5: ISZERO
000003c6: PUSH2 0x03ce
000003c9: JUMPI
000003ca: PUSH1 0x00
000003cc: DUP1
000003cd: REVERT
000003ce: JUMPDEST
000003cf: POP
000003d0: PUSH2 0x01c1
000003d3: PUSH2 0x03dd
000003d6: CALLDATASIZE
000003d7: PUSH1 0x04
000003d9: PUSH2 0x2284
000003dc: JUMP
000003dd: JUMPDEST
000003de: PUSH1 0x99
000003e0: PUSH1 0x20
000003e2: MSTORE
000003e3: PUSH1 0x00
000003e5: SWAP1
000003e6: DUP2
000003e7: MSTORE
000003e8: PUSH1 0x40
000003ea: SWAP1
000003eb: KECCAK256
000003ec: SLOAD
000003ed: DUP2
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: DUP1
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH2 0x01e4
00000400: PUSH2 0x040a
00000403: CALLDATASIZE
00000404: PUSH1 0x04
00000406: PUSH2 0x2284
00000409: JUMP
0000040a: JUMPDEST
0000040b: PUSH2 0x105c
0000040e: JUMP
0000040f: JUMPDEST
00000410: CALLVALUE
00000411: DUP1
00000412: ISZERO
00000413: PUSH2 0x041b
00000416: JUMPI
00000417: PUSH1 0x00
00000419: DUP1
0000041a: REVERT
0000041b: JUMPDEST
0000041c: POP
0000041d: PUSH2 0x01e4
00000420: PUSH2 0x042a
00000423: CALLDATASIZE
00000424: PUSH1 0x04
00000426: PUSH2 0x2376
00000429: JUMP
0000042a: JUMPDEST
0000042b: PUSH2 0x11e1
0000042e: JUMP
0000042f: JUMPDEST
00000430: CALLVALUE
00000431: DUP1
00000432: ISZERO
00000433: PUSH2 0x043b
00000436: JUMPI
00000437: PUSH1 0x00
00000439: DUP1
0000043a: REVERT
0000043b: JUMPDEST
0000043c: POP
0000043d: PUSH2 0x01e4
00000440: PUSH2 0x044a
00000443: CALLDATASIZE
00000444: PUSH1 0x04
00000446: PUSH2 0x23d2
00000449: JUMP
0000044a: JUMPDEST
0000044b: PUSH2 0x14c6
0000044e: JUMP
0000044f: JUMPDEST
00000450: CALLVALUE
00000451: DUP1
00000452: ISZERO
00000453: PUSH2 0x045b
00000456: JUMPI
00000457: PUSH1 0x00
00000459: DUP1
0000045a: REVERT
0000045b: JUMPDEST
0000045c: POP
0000045d: PUSH1 0x00
0000045f: SLOAD
00000460: PUSH2 0x046f
00000463: SWAP1
00000464: PUSH1 0x01
00000466: PUSH1 0x01
00000468: PUSH1 0xa0
0000046a: SHL
0000046b: SUB
0000046c: AND
0000046d: DUP2
0000046e: JUMP
0000046f: JUMPDEST
00000470: PUSH1 0x40
00000472: MLOAD
00000473: PUSH1 0x01
00000475: PUSH1 0x01
00000477: PUSH1 0xa0
00000479: SHL
0000047a: SUB
0000047b: SWAP1
0000047c: SWAP2
0000047d: AND
0000047e: DUP2
0000047f: MSTORE
00000480: PUSH1 0x20
00000482: ADD
00000483: PUSH2 0x0198
00000486: JUMP
00000487: JUMPDEST
00000488: CALLVALUE
00000489: DUP1
0000048a: ISZERO
0000048b: PUSH2 0x0493
0000048e: JUMPI
0000048f: PUSH1 0x00
00000491: DUP1
00000492: REVERT
00000493: JUMPDEST
00000494: POP
00000495: PUSH2 0x01c1
00000498: PUSH2 0x04a2
0000049b: CALLDATASIZE
0000049c: PUSH1 0x04
0000049e: PUSH2 0x2284
000004a1: JUMP
000004a2: JUMPDEST
000004a3: PUSH1 0x9a
000004a5: PUSH1 0x20
000004a7: MSTORE
000004a8: PUSH1 0x00
000004aa: SWAP1
000004ab: DUP2
000004ac: MSTORE
000004ad: PUSH1 0x40
000004af: SWAP1
000004b0: KECCAK256
000004b1: SLOAD
000004b2: DUP2
000004b3: JUMP
000004b4: JUMPDEST
000004b5: CALLVALUE
000004b6: DUP1
000004b7: ISZERO
000004b8: PUSH2 0x04c0
000004bb: JUMPI
000004bc: PUSH1 0x00
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: POP
000004c2: PUSH2 0x01c1
000004c5: PUSH2 0x04cf
000004c8: CALLDATASIZE
000004c9: PUSH1 0x04
000004cb: PUSH2 0x2284
000004ce: JUMP
000004cf: JUMPDEST
000004d0: PUSH1 0x97
000004d2: PUSH1 0x20
000004d4: MSTORE
000004d5: PUSH1 0x00
000004d7: SWAP1
000004d8: DUP2
000004d9: MSTORE
000004da: PUSH1 0x40
000004dc: SWAP1
000004dd: KECCAK256
000004de: SLOAD
000004df: DUP2
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: PUSH12 0xffffffffffffffffffffffff
000004f2: NOT
000004f3: PUSH1 0x60
000004f5: DUP5
000004f6: SWAP1
000004f7: SHL
000004f8: AND
000004f9: PUSH1 0x20
000004fb: DUP3
000004fc: ADD
000004fd: MSTORE
000004fe: PUSH1 0x34
00000500: DUP2
00000501: ADD
00000502: DUP3
00000503: SWAP1
00000504: MSTORE
00000505: PUSH1 0x00
00000507: SWAP1
00000508: PUSH1 0x54
0000050a: ADD
0000050b: PUSH1 0x40
0000050d: MLOAD
0000050e: PUSH1 0x20
00000510: DUP2
00000511: DUP4
00000512: SUB
00000513: SUB
00000514: DUP2
00000515: MSTORE
00000516: SWAP1
00000517: PUSH1 0x40
00000519: MSTORE
0000051a: DUP1
0000051b: MLOAD
0000051c: SWAP1
0000051d: PUSH1 0x20
0000051f: ADD
00000520: KECCAK256
00000521: SWAP1
00000522: POP
00000523: JUMPDEST
00000524: SWAP3
00000525: SWAP2
00000526: POP
00000527: POP
00000528: JUMP
00000529: JUMPDEST
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: SLOAD
0000052e: PUSH1 0x40
00000530: MLOAD
00000531: PUSH4 0x24745215
00000536: PUSH1 0xe2
00000538: SHL
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x04
0000053d: DUP2
0000053e: ADD
0000053f: SWAP3
00000540: SWAP1
00000541: SWAP3
00000542: MSTORE
00000543: CALLER
00000544: PUSH1 0x24
00000546: DUP4
00000547: ADD
00000548: MSTORE
00000549: PUSH1 0x01
0000054b: PUSH1 0x01
0000054d: PUSH1 0xa0
0000054f: SHL
00000550: SUB
00000551: AND
00000552: SWAP1
00000553: PUSH4 0x91d14854
00000558: SWAP1
00000559: PUSH1 0x44
0000055b: ADD
0000055c: PUSH1 0x20
0000055e: PUSH1 0x40
00000560: MLOAD
00000561: DUP1
00000562: DUP4
00000563: SUB
00000564: DUP2
00000565: DUP7
00000566: GAS
00000567: STATICCALL
00000568: ISZERO
00000569: DUP1
0000056a: ISZERO
0000056b: PUSH2 0x0578
0000056e: JUMPI
0000056f: RETURNDATASIZE
00000570: PUSH1 0x00
00000572: DUP1
00000573: RETURNDATACOPY
00000574: RETURNDATASIZE
00000575: PUSH1 0x00
00000577: REVERT
00000578: JUMPDEST
00000579: POP
0000057a: POP
0000057b: POP
0000057c: POP
0000057d: PUSH1 0x40
0000057f: MLOAD
00000580: RETURNDATASIZE
00000581: PUSH1 0x1f
00000583: NOT
00000584: PUSH1 0x1f
00000586: DUP3
00000587: ADD
00000588: AND
00000589: DUP3
0000058a: ADD
0000058b: DUP1
0000058c: PUSH1 0x40
0000058e: MSTORE
0000058f: POP
00000590: DUP2
00000591: ADD
00000592: SWAP1
00000593: PUSH2 0x059c
00000596: SWAP2
00000597: SWAP1
00000598: PUSH2 0x2427
0000059b: JUMP
0000059c: JUMPDEST
0000059d: PUSH2 0x05b9
000005a0: JUMPI
000005a1: PUSH1 0x40
000005a3: MLOAD
000005a4: PUSH4 0x05924c7d
000005a9: PUSH1 0xe2
000005ab: SHL
000005ac: DUP2
000005ad: MSTORE
000005ae: PUSH1 0x04
000005b0: ADD
000005b1: PUSH1 0x40
000005b3: MLOAD
000005b4: DUP1
000005b5: SWAP2
000005b6: SUB
000005b7: SWAP1
000005b8: REVERT
000005b9: JUMPDEST
000005ba: PUSH2 0x05c1
000005bd: PUSH2 0x170a
000005c0: JUMP
000005c1: JUMPDEST
000005c2: JUMP
000005c3: JUMPDEST
000005c4: PUSH1 0x01
000005c6: PUSH1 0x01
000005c8: PUSH1 0xa0
000005ca: SHL
000005cb: SUB
000005cc: DUP1
000005cd: DUP5
000005ce: AND
000005cf: PUSH1 0x00
000005d1: SWAP1
000005d2: DUP2
000005d3: MSTORE
000005d4: PUSH1 0x9c
000005d6: PUSH1 0x20
000005d8: SWAP1
000005d9: DUP2
000005da: MSTORE
000005db: PUSH1 0x40
000005dd: DUP1
000005de: DUP4
000005df: KECCAK256
000005e0: SWAP4
000005e1: DUP7
000005e2: AND
000005e3: DUP4
000005e4: MSTORE
000005e5: SWAP3
000005e6: SWAP1
000005e7: MSTORE
000005e8: SWAP1
000005e9: DUP2
000005ea: KECCAK256
000005eb: DUP2
000005ec: SWAP1
000005ed: DUP2
000005ee: SWAP1
000005ef: DUP2
000005f0: SWAP1
000005f1: PUSH2 0x05fa
000005f4: SWAP1
000005f5: DUP7
000005f6: PUSH2 0x175c
000005f9: JUMP
000005fa: JUMPDEST
000005fb: SWAP1
000005fc: POP
000005fd: PUSH1 0x00
000005ff: PUSH2 0x0608
00000602: DUP9
00000603: DUP4
00000604: PUSH2 0x04e1
00000607: JUMP
00000608: JUMPDEST
00000609: PUSH1 0x00
0000060b: SWAP1
0000060c: DUP2
0000060d: MSTORE
0000060e: PUSH1 0x9b
00000610: PUSH1 0x20
00000612: MSTORE
00000613: PUSH1 0x40
00000615: SWAP1
00000616: KECCAK256
00000617: DUP1
00000618: SLOAD
00000619: PUSH1 0x01
0000061b: DUP3
0000061c: ADD
0000061d: SLOAD
0000061e: PUSH1 0x02
00000620: SWAP1
00000621: SWAP3
00000622: ADD
00000623: SLOAD
00000624: SWAP1
00000625: SWAP11
00000626: SWAP2
00000627: SWAP10
00000628: POP
00000629: SWAP8
0000062a: POP
0000062b: SWAP2
0000062c: SWAP6
0000062d: POP
0000062e: SWAP1
0000062f: SWAP4
00000630: POP
00000631: POP
00000632: POP
00000633: POP
00000634: JUMP
00000635: JUMPDEST
00000636: PUSH1 0x00
00000638: SLOAD
00000639: PUSH1 0x40
0000063b: MLOAD
0000063c: PUSH4 0x24745215
00000641: PUSH1 0xe2
00000643: SHL
00000644: DUP2
00000645: MSTORE
00000646: PUSH32 0xaf290d8680820aad922855f39b306097b20e28774d6c1ad35a20325630c3a02c
00000667: PUSH1 0x04
00000669: DUP3
0000066a: ADD
0000066b: MSTORE
0000066c: CALLER
0000066d: PUSH1 0x24
0000066f: DUP3
00000670: ADD
00000671: MSTORE
00000672: PUSH1 0x01
00000674: PUSH1 0x01
00000676: PUSH1 0xa0
00000678: SHL
00000679: SUB
0000067a: SWAP1
0000067b: SWAP2
0000067c: AND
0000067d: SWAP1
0000067e: PUSH4 0x91d14854
00000683: SWAP1
00000684: PUSH1 0x44
00000686: ADD
00000687: PUSH1 0x20
00000689: PUSH1 0x40
0000068b: MLOAD
0000068c: DUP1
0000068d: DUP4
0000068e: SUB
0000068f: DUP2
00000690: DUP7
00000691: GAS
00000692: STATICCALL
00000693: ISZERO
00000694: DUP1
00000695: ISZERO
00000696: PUSH2 0x06a3
00000699: JUMPI
0000069a: RETURNDATASIZE
0000069b: PUSH1 0x00
0000069d: DUP1
0000069e: RETURNDATACOPY
0000069f: RETURNDATASIZE
000006a0: PUSH1 0x00
000006a2: REVERT
000006a3: JUMPDEST
000006a4: POP
000006a5: POP
000006a6: POP
000006a7: POP
000006a8: PUSH1 0x40
000006aa: MLOAD
000006ab: RETURNDATASIZE
000006ac: PUSH1 0x1f
000006ae: NOT
000006af: PUSH1 0x1f
000006b1: DUP3
000006b2: ADD
000006b3: AND
000006b4: DUP3
000006b5: ADD
000006b6: DUP1
000006b7: PUSH1 0x40
000006b9: MSTORE
000006ba: POP
000006bb: DUP2
000006bc: ADD
000006bd: SWAP1
000006be: PUSH2 0x06c7
000006c1: SWAP2
000006c2: SWAP1
000006c3: PUSH2 0x2427
000006c6: JUMP
000006c7: JUMPDEST
000006c8: PUSH2 0x06e4
000006cb: JUMPI
000006cc: PUSH1 0x40
000006ce: MLOAD
000006cf: PUSH4 0x1086ce33
000006d4: PUSH1 0xe1
000006d6: SHL
000006d7: DUP2
000006d8: MSTORE
000006d9: PUSH1 0x04
000006db: ADD
000006dc: PUSH1 0x40
000006de: MLOAD
000006df: DUP1
000006e0: SWAP2
000006e1: SUB
000006e2: SWAP1
000006e3: REVERT
000006e4: JUMPDEST
000006e5: PUSH3 0x011940
000006e9: DUP2
000006ea: GT
000006eb: ISZERO
000006ec: PUSH2 0x0708
000006ef: JUMPI
000006f0: PUSH1 0x40
000006f2: MLOAD
000006f3: PUSH4 0x08bd5553
000006f8: PUSH1 0xe2
000006fa: SHL
000006fb: DUP2
000006fc: MSTORE
000006fd: PUSH1 0x04
000006ff: ADD
00000700: PUSH1 0x40
00000702: MLOAD
00000703: DUP1
00000704: SWAP2
00000705: SUB
00000706: SWAP1
00000707: REVERT
00000708: JUMPDEST
00000709: PUSH1 0x98
0000070b: DUP2
0000070c: SWAP1
0000070d: SSTORE
0000070e: PUSH1 0x40
00000710: MLOAD
00000711: DUP2
00000712: DUP2
00000713: MSTORE
00000714: PUSH32 0x2e56f6093fb947ef7b002dcdf68fcb314c466a1917eac6fa5b00879a7f5de63f
00000735: SWAP1
00000736: PUSH1 0x20
00000738: ADD
00000739: PUSH1 0x40
0000073b: MLOAD
0000073c: DUP1
0000073d: SWAP2
0000073e: SUB
0000073f: SWAP1
00000740: LOG1
00000741: POP
00000742: JUMP
00000743: JUMPDEST
00000744: PUSH1 0x00
00000746: DUP1
00000747: SLOAD
00000748: PUSH1 0x40
0000074a: MLOAD
0000074b: PUSH4 0x1c2d8fb3
00000750: PUSH1 0xe3
00000752: SHL
00000753: DUP2
00000754: MSTORE
00000755: PUSH32 0x7a8fe1bac8d7638862c53b62ffada56d0a56c381287c35f66503b5b86fa88b85
00000776: PUSH1 0x04
00000778: DUP3
00000779: ADD
0000077a: MSTORE
0000077b: DUP3
0000077c: SWAP2
0000077d: PUSH1 0x01
0000077f: PUSH1 0x01
00000781: PUSH1 0xa0
00000783: SHL
00000784: SUB
00000785: AND
00000786: SWAP1
00000787: PUSH4 0xe16c7d98
0000078c: SWAP1
0000078d: PUSH1 0x24
0000078f: ADD
00000790: PUSH1 0x20
00000792: PUSH1 0x40
00000794: MLOAD
00000795: DUP1
00000796: DUP4
00000797: SUB
00000798: DUP2
00000799: DUP7
0000079a: GAS
0000079b: STATICCALL
0000079c: ISZERO
0000079d: DUP1
0000079e: ISZERO
0000079f: PUSH2 0x07ac
000007a2: JUMPI
000007a3: RETURNDATASIZE
000007a4: PUSH1 0x00
000007a6: DUP1
000007a7: RETURNDATACOPY
000007a8: RETURNDATASIZE
000007a9: PUSH1 0x00
000007ab: REVERT
000007ac: JUMPDEST
000007ad: POP
000007ae: POP
000007af: POP
000007b0: POP
000007b1: PUSH1 0x40
000007b3: MLOAD
000007b4: RETURNDATASIZE
000007b5: PUSH1 0x1f
000007b7: NOT
000007b8: PUSH1 0x1f
000007ba: DUP3
000007bb: ADD
000007bc: AND
000007bd: DUP3
000007be: ADD
000007bf: DUP1
000007c0: PUSH1 0x40
000007c2: MSTORE
000007c3: POP
000007c4: DUP2
000007c5: ADD
000007c6: SWAP1
000007c7: PUSH2 0x07d0
000007ca: SWAP2
000007cb: SWAP1
000007cc: PUSH2 0x2449
000007cf: JUMP
000007d0: JUMPDEST
000007d1: PUSH1 0x40
000007d3: MLOAD
000007d4: PUSH4 0x52c4889f
000007d9: PUSH1 0xe0
000007db: SHL
000007dc: DUP2
000007dd: MSTORE
000007de: PUSH1 0x01
000007e0: PUSH1 0x01
000007e2: PUSH1 0xa0
000007e4: SHL
000007e5: SUB
000007e6: DUP6
000007e7: DUP2
000007e8: AND
000007e9: PUSH1 0x04
000007eb: DUP4
000007ec: ADD
000007ed: MSTORE
000007ee: SWAP2
000007ef: SWAP3
000007f0: POP
000007f1: PUSH1 0x00
000007f3: SWAP2
000007f4: DUP4
000007f5: AND
000007f6: SWAP1
000007f7: PUSH4 0x52c4889f
000007fc: SWAP1
000007fd: PUSH1 0x24
000007ff: ADD
00000800: PUSH1 0x20
00000802: PUSH1 0x40
00000804: MLOAD
00000805: DUP1
00000806: DUP4
00000807: SUB
00000808: DUP2
00000809: DUP7
0000080a: GAS
0000080b: STATICCALL
0000080c: ISZERO
0000080d: DUP1
0000080e: ISZERO
0000080f: PUSH2 0x081c
00000812: JUMPI
00000813: RETURNDATASIZE
00000814: PUSH1 0x00
00000816: DUP1
00000817: RETURNDATACOPY
00000818: RETURNDATASIZE
00000819: PUSH1 0x00
0000081b: REVERT
0000081c: JUMPDEST
0000081d: POP
0000081e: POP
0000081f: POP
00000820: POP
00000821: PUSH1 0x40
00000823: MLOAD
00000824: RETURNDATASIZE
00000825: PUSH1 0x1f
00000827: NOT
00000828: PUSH1 0x1f
0000082a: DUP3
0000082b: ADD
0000082c: AND
0000082d: DUP3
0000082e: ADD
0000082f: DUP1
00000830: PUSH1 0x40
00000832: MSTORE
00000833: POP
00000834: DUP2
00000835: ADD
00000836: SWAP1
00000837: PUSH2 0x0840
0000083a: SWAP2
0000083b: SWAP1
0000083c: PUSH2 0x2466
0000083f: JUMP
00000840: JUMPDEST
00000841: PUSH1 0x01
00000843: PUSH1 0x01
00000845: PUSH1 0xa0
00000847: SHL
00000848: SUB
00000849: DUP6
0000084a: AND
0000084b: PUSH1 0x00
0000084d: SWAP1
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x9d
00000852: PUSH1 0x20
00000854: MSTORE
00000855: PUSH1 0x40
00000857: SWAP1
00000858: KECCAK256
00000859: SLOAD
0000085a: SWAP1
0000085b: SWAP2
0000085c: POP
0000085d: DUP2
0000085e: GT
0000085f: PUSH2 0x0869
00000862: JUMPI
00000863: PUSH1 0x00
00000865: PUSH2 0x088c
00000868: JUMP
00000869: JUMPDEST
0000086a: PUSH1 0x01
0000086c: PUSH1 0x01
0000086e: PUSH1 0xa0
00000870: SHL
00000871: SUB
00000872: DUP5
00000873: AND
00000874: PUSH1 0x00
00000876: SWAP1
00000877: DUP2
00000878: MSTORE
00000879: PUSH1 0x9d
0000087b: PUSH1 0x20
0000087d: MSTORE
0000087e: PUSH1 0x40
00000880: SWAP1
00000881: KECCAK256
00000882: SLOAD
00000883: PUSH2 0x088c
00000886: SWAP1
00000887: DUP3
00000888: PUSH2 0x2495
0000088b: JUMP
0000088c: JUMPDEST
0000088d: SWAP5
0000088e: SWAP4
0000088f: POP
00000890: POP
00000891: POP
00000892: POP
00000893: JUMP
00000894: JUMPDEST
00000895: PUSH1 0x00
00000897: DUP1
00000898: SLOAD
00000899: PUSH1 0x40
0000089b: MLOAD
0000089c: PUSH4 0x1c2d8fb3
000008a1: PUSH1 0xe3
000008a3: SHL
000008a4: DUP2
000008a5: MSTORE
000008a6: PUSH32 0x0900d19e2faab4e79535bcc1cfdb63996d43c8e38d9a260cf2b01e820b5f84d4
000008c7: PUSH1 0x04
000008c9: DUP3
000008ca: ADD
000008cb: MSTORE
000008cc: DUP3
000008cd: SWAP2
000008ce: PUSH1 0x01
000008d0: PUSH1 0x01
000008d2: PUSH1 0xa0
000008d4: SHL
000008d5: SUB
000008d6: AND
000008d7: SWAP1
000008d8: PUSH4 0xe16c7d98
000008dd: SWAP1
000008de: PUSH1 0x24
000008e0: ADD
000008e1: PUSH1 0x20
000008e3: PUSH1 0x40
000008e5: MLOAD
000008e6: DUP1
000008e7: DUP4
000008e8: SUB
000008e9: DUP2
000008ea: DUP7
000008eb: GAS
000008ec: STATICCALL
000008ed: ISZERO
000008ee: DUP1
000008ef: ISZERO
000008f0: PUSH2 0x08fd
000008f3: JUMPI
000008f4: RETURNDATASIZE
000008f5: PUSH1 0x00
000008f7: DUP1
000008f8: RETURNDATACOPY
000008f9: RETURNDATASIZE
000008fa: PUSH1 0x00
000008fc: REVERT
000008fd: JUMPDEST
000008fe: POP
000008ff: POP
00000900: POP
00000901: POP
00000902: PUSH1 0x40
00000904: MLOAD
00000905: RETURNDATASIZE
00000906: PUSH1 0x1f
00000908: NOT
00000909: PUSH1 0x1f
0000090b: DUP3
0000090c: ADD
0000090d: AND
0000090e: DUP3
0000090f: ADD
00000910: DUP1
00000911: PUSH1 0x40
00000913: MSTORE
00000914: POP
00000915: DUP2
00000916: ADD
00000917: SWAP1
00000918: PUSH2 0x0921
0000091b: SWAP2
0000091c: SWAP1
0000091d: PUSH2 0x2449
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH1 0x40
00000924: MLOAD
00000925: PUSH4 0xb3596f07
0000092a: PUSH1 0xe0
0000092c: SHL
0000092d: DUP2
0000092e: MSTORE
0000092f: PUSH1 0x01
00000931: PUSH1 0x01
00000933: PUSH1 0xa0
00000935: SHL
00000936: SUB
00000937: DUP7
00000938: DUP2
00000939: AND
0000093a: PUSH1 0x04
0000093c: DUP4
0000093d: ADD
0000093e: MSTORE
0000093f: SWAP2
00000940: SWAP3
00000941: POP
00000942: SWAP1
00000943: DUP3
00000944: AND
00000945: SWAP1
00000946: PUSH4 0xb3596f07
0000094b: SWAP1
0000094c: PUSH1 0x24
0000094e: ADD
0000094f: PUSH1 0x20
00000951: PUSH1 0x40
00000953: MLOAD
00000954: DUP1
00000955: DUP4
00000956: SUB
00000957: DUP2
00000958: DUP7
00000959: GAS
0000095a: STATICCALL
0000095b: ISZERO
0000095c: DUP1
0000095d: ISZERO
0000095e: PUSH2 0x096b
00000961: JUMPI
00000962: RETURNDATASIZE
00000963: PUSH1 0x00
00000965: DUP1
00000966: RETURNDATACOPY
00000967: RETURNDATASIZE
00000968: PUSH1 0x00
0000096a: REVERT
0000096b: JUMPDEST
0000096c: POP
0000096d: POP
0000096e: POP
0000096f: POP
00000970: PUSH1 0x40
00000972: MLOAD
00000973: RETURNDATASIZE
00000974: PUSH1 0x1f
00000976: NOT
00000977: PUSH1 0x1f
00000979: DUP3
0000097a: ADD
0000097b: AND
0000097c: DUP3
0000097d: ADD
0000097e: DUP1
0000097f: PUSH1 0x40
00000981: MSTORE
00000982: POP
00000983: DUP2
00000984: ADD
00000985: SWAP1
00000986: PUSH2 0x098f
00000989: SWAP2
0000098a: SWAP1
0000098b: PUSH2 0x2466
0000098e: JUMP
0000098f: JUMPDEST
00000990: DUP2
00000991: PUSH1 0x01
00000993: PUSH1 0x01
00000995: PUSH1 0xa0
00000997: SHL
00000998: SUB
00000999: AND
0000099a: PUSH4 0xb4b46434
0000099f: PUSH1 0x40
000009a1: MLOAD
000009a2: DUP2
000009a3: PUSH4 0xffffffff
000009a8: AND
000009a9: PUSH1 0xe0
000009ab: SHL
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x04
000009b0: ADD
000009b1: PUSH1 0x20
000009b3: PUSH1 0x40
000009b5: MLOAD
000009b6: DUP1
000009b7: DUP4
000009b8: SUB
000009b9: DUP2
000009ba: DUP7
000009bb: GAS
000009bc: STATICCALL
000009bd: ISZERO
000009be: DUP1
000009bf: ISZERO
000009c0: PUSH2 0x09cd
000009c3: JUMPI
000009c4: RETURNDATASIZE
000009c5: PUSH1 0x00
000009c7: DUP1
000009c8: RETURNDATACOPY
000009c9: RETURNDATASIZE
000009ca: PUSH1 0x00
000009cc: REVERT
000009cd: JUMPDEST
000009ce: POP
000009cf: POP
000009d0: POP
000009d1: POP
000009d2: PUSH1 0x40
000009d4: MLOAD
000009d5: RETURNDATASIZE
000009d6: PUSH1 0x1f
000009d8: NOT
000009d9: PUSH1 0x1f
000009db: DUP3
000009dc: ADD
000009dd: AND
000009de: DUP3
000009df: ADD
000009e0: DUP1
000009e1: PUSH1 0x40
000009e3: MSTORE
000009e4: POP
000009e5: DUP2
000009e6: ADD
000009e7: SWAP1
000009e8: PUSH2 0x09f1
000009eb: SWAP2
000009ec: SWAP1
000009ed: PUSH2 0x2466
000009f0: JUMP
000009f1: JUMPDEST
000009f2: PUSH2 0x09fb
000009f5: SWAP1
000009f6: DUP6
000009f7: PUSH2 0x24a8
000009fa: JUMP
000009fb: JUMPDEST
000009fc: PUSH2 0x088c
000009ff: SWAP2
00000a00: SWAP1
00000a01: PUSH2 0x24bf
00000a04: JUMP
00000a05: JUMPDEST
00000a06: PUSH1 0x00
00000a08: SLOAD
00000a09: PUSH1 0x40
00000a0b: MLOAD
00000a0c: PUSH4 0x24745215
00000a11: PUSH1 0xe2
00000a13: SHL
00000a14: DUP2
00000a15: MSTORE
00000a16: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
00000a37: PUSH1 0x04
00000a39: DUP3
00000a3a: ADD
00000a3b: DUP2
00000a3c: SWAP1
00000a3d: MSTORE
00000a3e: CALLER
00000a3f: PUSH1 0x24
00000a41: DUP4
00000a42: ADD
00000a43: MSTORE
00000a44: SWAP2
00000a45: PUSH1 0x01
00000a47: PUSH1 0x01
00000a49: PUSH1 0xa0
00000a4b: SHL
00000a4c: SUB
00000a4d: AND
00000a4e: SWAP1
00000a4f: PUSH4 0x91d14854
00000a54: SWAP1
00000a55: PUSH1 0x44
00000a57: ADD
00000a58: PUSH1 0x20
00000a5a: PUSH1 0x40
00000a5c: MLOAD
00000a5d: DUP1
00000a5e: DUP4
00000a5f: SUB
00000a60: DUP2
00000a61: DUP7
00000a62: GAS
00000a63: STATICCALL
00000a64: ISZERO
00000a65: DUP1
00000a66: ISZERO
00000a67: PUSH2 0x0a74
00000a6a: JUMPI
00000a6b: RETURNDATASIZE
00000a6c: PUSH1 0x00
00000a6e: DUP1
00000a6f: RETURNDATACOPY
00000a70: RETURNDATASIZE
00000a71: PUSH1 0x00
00000a73: REVERT
00000a74: JUMPDEST
00000a75: POP
00000a76: POP
00000a77: POP
00000a78: POP
00000a79: PUSH1 0x40
00000a7b: MLOAD
00000a7c: RETURNDATASIZE
00000a7d: PUSH1 0x1f
00000a7f: NOT
00000a80: PUSH1 0x1f
00000a82: DUP3
00000a83: ADD
00000a84: AND
00000a85: DUP3
00000a86: ADD
00000a87: DUP1
00000a88: PUSH1 0x40
00000a8a: MSTORE
00000a8b: POP
00000a8c: DUP2
00000a8d: ADD
00000a8e: SWAP1
00000a8f: PUSH2 0x0a98
00000a92: SWAP2
00000a93: SWAP1
00000a94: PUSH2 0x2427
00000a97: JUMP
00000a98: JUMPDEST
00000a99: PUSH2 0x0ae6
00000a9c: JUMPI
00000a9d: PUSH1 0x00
00000a9f: DUP2
00000aa0: PUSH1 0x40
00000aa2: MLOAD
00000aa3: PUSH1 0x20
00000aa5: ADD
00000aa6: PUSH2 0x0ab1
00000aa9: SWAP2
00000aaa: DUP2
00000aab: MSTORE
00000aac: PUSH1 0x20
00000aae: ADD
00000aaf: SWAP1
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: PUSH1 0x20
00000ab7: DUP2
00000ab8: DUP4
00000ab9: SUB
00000aba: SUB
00000abb: DUP2
00000abc: MSTORE
00000abd: SWAP1
00000abe: PUSH1 0x40
00000ac0: MSTORE
00000ac1: SWAP1
00000ac2: POP
00000ac3: DUP1
00000ac4: PUSH1 0x40
00000ac6: MLOAD
00000ac7: PUSH4 0x2cd56641
00000acc: PUSH1 0xe0
00000ace: SHL
00000acf: DUP2
00000ad0: MSTORE
00000ad1: PUSH1 0x04
00000ad3: ADD
00000ad4: PUSH2 0x0add
00000ad7: SWAP2
00000ad8: SWAP1
00000ad9: PUSH2 0x2505
00000adc: JUMP
00000add: JUMPDEST
00000ade: PUSH1 0x40
00000ae0: MLOAD
00000ae1: DUP1
00000ae2: SWAP2
00000ae3: SUB
00000ae4: SWAP1
00000ae5: REVERT
00000ae6: JUMPDEST
00000ae7: PUSH2 0x0aee
00000aea: PUSH2 0x17c7
00000aed: JUMP
00000aee: JUMPDEST
00000aef: POP
00000af0: JUMP
00000af1: JUMPDEST
00000af2: PUSH1 0x00
00000af4: DUP1
00000af5: PUSH2 0x0afc
00000af8: PUSH2 0x1804
00000afb: JUMP
00000afc: JUMPDEST
00000afd: PUSH1 0x00
00000aff: SLOAD
00000b00: PUSH1 0x40
00000b02: MLOAD
00000b03: PUSH4 0x4df48c73
00000b08: PUSH1 0xe1
00000b0a: SHL
00000b0b: DUP2
00000b0c: MSTORE
00000b0d: PUSH1 0x01
00000b0f: PUSH1 0x01
00000b11: PUSH1 0xa0
00000b13: SHL
00000b14: SUB
00000b15: DUP1
00000b16: DUP12
00000b17: AND
00000b18: PUSH1 0x04
00000b1a: DUP4
00000b1b: ADD
00000b1c: MSTORE
00000b1d: DUP11
00000b1e: SWAP3
00000b1f: AND
00000b20: SWAP1
00000b21: PUSH4 0x9be918e6
00000b26: SWAP1
00000b27: PUSH1 0x24
00000b29: ADD
00000b2a: PUSH1 0x20
00000b2c: PUSH1 0x40
00000b2e: MLOAD
00000b2f: DUP1
00000b30: DUP4
00000b31: SUB
00000b32: DUP2
00000b33: DUP7
00000b34: GAS
00000b35: STATICCALL
00000b36: ISZERO
00000b37: DUP1
00000b38: ISZERO
00000b39: PUSH2 0x0b46
00000b3c: JUMPI
00000b3d: RETURNDATASIZE
00000b3e: PUSH1 0x00
00000b40: DUP1
00000b41: RETURNDATACOPY
00000b42: RETURNDATASIZE
00000b43: PUSH1 0x00
00000b45: REVERT
00000b46: JUMPDEST
00000b47: POP
00000b48: POP
00000b49: POP
00000b4a: POP
00000b4b: PUSH1 0x40
00000b4d: MLOAD
00000b4e: RETURNDATASIZE
00000b4f: PUSH1 0x1f
00000b51: NOT
00000b52: PUSH1 0x1f
00000b54: DUP3
00000b55: ADD
00000b56: AND
00000b57: DUP3
00000b58: ADD
00000b59: DUP1
00000b5a: PUSH1 0x40
00000b5c: MSTORE
00000b5d: POP
00000b5e: DUP2
00000b5f: ADD
00000b60: SWAP1
00000b61: PUSH2 0x0b6a
00000b64: SWAP2
00000b65: SWAP1
00000b66: PUSH2 0x2427
00000b69: JUMP
00000b6a: JUMPDEST
00000b6b: PUSH2 0x0b87
00000b6e: JUMPI
00000b6f: PUSH1 0x40
00000b71: MLOAD
00000b72: PUSH4 0x981a2a2b
00000b77: PUSH1 0xe0
00000b79: SHL
00000b7a: DUP2
00000b7b: MSTORE
00000b7c: PUSH1 0x04
00000b7e: ADD
00000b7f: PUSH1 0x40
00000b81: MLOAD
00000b82: DUP1
00000b83: SWAP2
00000b84: SUB
00000b85: SWAP1
00000b86: REVERT
00000b87: JUMPDEST
00000b88: PUSH1 0x00
00000b8a: SLOAD
00000b8b: PUSH1 0x40
00000b8d: MLOAD
00000b8e: PUSH4 0x24745215
00000b93: PUSH1 0xe2
00000b95: SHL
00000b96: DUP2
00000b97: MSTORE
00000b98: PUSH32 0x97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b929
00000bb9: PUSH1 0x04
00000bbb: DUP3
00000bbc: ADD
00000bbd: MSTORE
00000bbe: CALLER
00000bbf: PUSH1 0x24
00000bc1: DUP3
00000bc2: ADD
00000bc3: MSTORE
00000bc4: PUSH1 0x01
00000bc6: PUSH1 0x01
00000bc8: PUSH1 0xa0
00000bca: SHL
00000bcb: SUB
00000bcc: SWAP1
00000bcd: SWAP2
00000bce: AND
00000bcf: SWAP1
00000bd0: PUSH4 0x91d14854
00000bd5: SWAP1
00000bd6: PUSH1 0x44
00000bd8: ADD
00000bd9: PUSH1 0x20
00000bdb: PUSH1 0x40
00000bdd: MLOAD
00000bde: DUP1
00000bdf: DUP4
00000be0: SUB
00000be1: DUP2
00000be2: DUP7
00000be3: GAS
00000be4: STATICCALL
00000be5: ISZERO
00000be6: DUP1
00000be7: ISZERO
00000be8: PUSH2 0x0bf5
00000beb: JUMPI
00000bec: RETURNDATASIZE
00000bed: PUSH1 0x00
00000bef: DUP1
00000bf0: RETURNDATACOPY
00000bf1: RETURNDATASIZE
00000bf2: PUSH1 0x00
00000bf4: REVERT
00000bf5: JUMPDEST
00000bf6: POP
00000bf7: POP
00000bf8: POP
00000bf9: POP
00000bfa: PUSH1 0x40
00000bfc: MLOAD
00000bfd: RETURNDATASIZE
00000bfe: PUSH1 0x1f
00000c00: NOT
00000c01: PUSH1 0x1f
00000c03: DUP3
00000c04: ADD
00000c05: AND
00000c06: DUP3
00000c07: ADD
00000c08: DUP1
00000c09: PUSH1 0x40
00000c0b: MSTORE
00000c0c: POP
00000c0d: DUP2
00000c0e: ADD
00000c0f: SWAP1
00000c10: PUSH2 0x0c19
00000c13: SWAP2
00000c14: SWAP1
00000c15: PUSH2 0x2427
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: PUSH2 0x0c36
00000c1d: JUMPI
00000c1e: PUSH1 0x40
00000c20: MLOAD
00000c21: PUSH4 0x2e8726f7
00000c26: PUSH1 0xe1
00000c28: SHL
00000c29: DUP2
00000c2a: MSTORE
00000c2b: PUSH1 0x04
00000c2d: ADD
00000c2e: PUSH1 0x40
00000c30: MLOAD
00000c31: DUP1
00000c32: SWAP2
00000c33: SUB
00000c34: SWAP1
00000c35: REVERT
00000c36: JUMPDEST
00000c37: PUSH1 0x00
00000c39: DUP1
00000c3a: SLOAD
00000c3b: PUSH1 0x40
00000c3d: MLOAD
00000c3e: PUSH4 0x1c2d8fb3
00000c43: PUSH1 0xe3
00000c45: SHL
00000c46: DUP2
00000c47: MSTORE
00000c48: PUSH32 0x0900d19e2faab4e79535bcc1cfdb63996d43c8e38d9a260cf2b01e820b5f84d4
00000c69: PUSH1 0x04
00000c6b: DUP3
00000c6c: ADD
00000c6d: MSTORE
00000c6e: PUSH1 0x01
00000c70: PUSH1 0x01
00000c72: PUSH1 0xa0
00000c74: SHL
00000c75: SUB
00000c76: SWAP1
00000c77: SWAP2
00000c78: AND
00000c79: SWAP1
00000c7a: PUSH4 0xe16c7d98
00000c7f: SWAP1
00000c80: PUSH1 0x24
00000c82: ADD
00000c83: PUSH1 0x20
00000c85: PUSH1 0x40
00000c87: MLOAD
00000c88: DUP1
00000c89: DUP4
00000c8a: SUB
00000c8b: DUP2
00000c8c: DUP7
00000c8d: GAS
00000c8e: STATICCALL
00000c8f: ISZERO
00000c90: DUP1
00000c91: ISZERO
00000c92: PUSH2 0x0c9f
00000c95: JUMPI
00000c96: RETURNDATASIZE
00000c97: PUSH1 0x00
00000c99: DUP1
00000c9a: RETURNDATACOPY
00000c9b: RETURNDATASIZE
00000c9c: PUSH1 0x00
00000c9e: REVERT
00000c9f: JUMPDEST
00000ca0: POP
00000ca1: POP
00000ca2: POP
00000ca3: POP
00000ca4: PUSH1 0x40
00000ca6: MLOAD
00000ca7: RETURNDATASIZE
00000ca8: PUSH1 0x1f
00000caa: NOT
00000cab: PUSH1 0x1f
00000cad: DUP3
00000cae: ADD
00000caf: AND
00000cb0: DUP3
00000cb1: ADD
00000cb2: DUP1
00000cb3: PUSH1 0x40
00000cb5: MSTORE
00000cb6: POP
00000cb7: DUP2
00000cb8: ADD
00000cb9: SWAP1
00000cba: PUSH2 0x0cc3
00000cbd: SWAP2
00000cbe: SWAP1
00000cbf: PUSH2 0x2449
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: PUSH1 0x00
00000cc6: DUP1
00000cc7: SLOAD
00000cc8: PUSH1 0x40
00000cca: MLOAD
00000ccb: PUSH4 0x1c2d8fb3
00000cd0: PUSH1 0xe3
00000cd2: SHL
00000cd3: DUP2
00000cd4: MSTORE
00000cd5: PUSH32 0xe1defbdba228c2f450cc8f3382e0fb463dd4233b2b59c3d3ed9e518e77222ed3
00000cf6: PUSH1 0x04
00000cf8: DUP3
00000cf9: ADD
00000cfa: MSTORE
00000cfb: SWAP3
00000cfc: SWAP4
00000cfd: POP
00000cfe: SWAP1
00000cff: SWAP2
00000d00: PUSH1 0x01
00000d02: PUSH1 0x01
00000d04: PUSH1 0xa0
00000d06: SHL
00000d07: SUB
00000d08: SWAP1
00000d09: SWAP2
00000d0a: AND
00000d0b: SWAP1
00000d0c: PUSH4 0xe16c7d98
00000d11: SWAP1
00000d12: PUSH1 0x24
00000d14: ADD
00000d15: PUSH1 0x20
00000d17: PUSH1 0x40
00000d19: MLOAD
00000d1a: DUP1
00000d1b: DUP4
00000d1c: SUB
00000d1d: DUP2
00000d1e: DUP7
00000d1f: GAS
00000d20: STATICCALL
00000d21: ISZERO
00000d22: DUP1
00000d23: ISZERO
00000d24: PUSH2 0x0d31
00000d27: JUMPI
00000d28: RETURNDATASIZE
00000d29: PUSH1 0x00
00000d2b: DUP1
00000d2c: RETURNDATACOPY
00000d2d: RETURNDATASIZE
00000d2e: PUSH1 0x00
00000d30: REVERT
00000d31: JUMPDEST
00000d32: POP
00000d33: POP
00000d34: POP
00000d35: POP
00000d36: PUSH1 0x40
00000d38: MLOAD
00000d39: RETURNDATASIZE
00000d3a: PUSH1 0x1f
00000d3c: NOT
00000d3d: PUSH1 0x1f
00000d3f: DUP3
00000d40: ADD
00000d41: AND
00000d42: DUP3
00000d43: ADD
00000d44: DUP1
00000d45: PUSH1 0x40
00000d47: MSTORE
00000d48: POP
00000d49: DUP2
00000d4a: ADD
00000d4b: SWAP1
00000d4c: PUSH2 0x0d55
00000d4f: SWAP2
00000d50: SWAP1
00000d51: PUSH2 0x2449
00000d54: JUMP
00000d55: JUMPDEST
00000d56: SWAP1
00000d57: POP
00000d58: PUSH1 0x00
00000d5a: PUSH2 0x0d65
00000d5d: DUP4
00000d5e: DUP4
00000d5f: DUP15
00000d60: DUP15
00000d61: PUSH2 0x185d
00000d64: JUMP
00000d65: JUMPDEST
00000d66: SWAP1
00000d67: POP
00000d68: PUSH2 0x0d7d
00000d6b: DUP2
00000d6c: PUSH1 0x00
00000d6e: ADD
00000d6f: MLOAD
00000d70: DUP3
00000d71: PUSH1 0x20
00000d73: ADD
00000d74: MLOAD
00000d75: DUP12
00000d76: DUP11
00000d77: DUP15
00000d78: DUP14
00000d79: PUSH2 0x19ea
00000d7c: JUMP
00000d7d: JUMPDEST
00000d7e: DUP1
00000d7f: PUSH1 0x40
00000d81: ADD
00000d82: MLOAD
00000d83: PUSH1 0x00
00000d85: SUB
00000d86: PUSH2 0x0da2
00000d89: JUMPI
00000d8a: PUSH1 0x40
00000d8c: MLOAD
00000d8d: PUSH4 0x5e85ae73
00000d92: PUSH1 0xe0
00000d94: SHL
00000d95: DUP2
00000d96: MSTORE
00000d97: PUSH1 0x04
00000d99: ADD
00000d9a: PUSH1 0x40
00000d9c: MLOAD
00000d9d: DUP1
00000d9e: SWAP2
00000d9f: SUB
00000da0: SWAP1
00000da1: REVERT
00000da2: JUMPDEST
00000da3: PUSH2 0x0dbb
00000da6: DUP13
00000da7: DUP3
00000da8: PUSH1 0x40
00000daa: ADD
00000dab: MLOAD
00000dac: DUP4
00000dad: PUSH1 0x00
00000daf: ADD
00000db0: MLOAD
00000db1: DUP5
00000db2: PUSH1 0x20
00000db4: ADD
00000db5: MLOAD
00000db6: DUP16
00000db7: PUSH2 0x1a4e
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: SWAP1
00000dbd: SWAP7
00000dbe: POP
00000dbf: SWAP5
00000dc0: POP
00000dc1: DUP6
00000dc2: ISZERO
00000dc3: PUSH2 0x0e9d
00000dc6: JUMPI
00000dc7: PUSH1 0x00
00000dc9: DUP1
00000dca: SLOAD
00000dcb: SWAP1
00000dcc: PUSH2 0x0100
00000dcf: EXP
00000dd0: SWAP1
00000dd1: DIV
00000dd2: PUSH1 0x01
00000dd4: PUSH1 0x01
00000dd6: PUSH1 0xa0
00000dd8: SHL
00000dd9: SUB
00000dda: AND
00000ddb: PUSH1 0x01
00000ddd: PUSH1 0x01
00000ddf: PUSH1 0xa0
00000de1: SHL
00000de2: SUB
00000de3: AND
00000de4: PUSH3 0xb83bce
00000de8: PUSH1 0x40
00000dea: MLOAD
00000deb: DUP2
00000dec: PUSH4 0xffffffff
00000df1: AND
00000df2: PUSH1 0xe0
00000df4: SHL
00000df5: DUP2
00000df6: MSTORE
00000df7: PUSH1 0x04
00000df9: ADD
00000dfa: PUSH1 0x20
00000dfc: PUSH1 0x40
00000dfe: MLOAD
00000dff: DUP1
00000e00: DUP4
00000e01: SUB
00000e02: DUP2
00000e03: DUP7
00000e04: GAS
00000e05: STATICCALL
00000e06: ISZERO
00000e07: DUP1
00000e08: ISZERO
00000e09: PUSH2 0x0e16
00000e0c: JUMPI
00000e0d: RETURNDATASIZE
00000e0e: PUSH1 0x00
00000e10: DUP1
00000e11: RETURNDATACOPY
00000e12: RETURNDATASIZE
00000e13: PUSH1 0x00
00000e15: REVERT
00000e16: JUMPDEST
00000e17: POP
00000e18: POP
00000e19: POP
00000e1a: POP
00000e1b: PUSH1 0x40
00000e1d: MLOAD
00000e1e: RETURNDATASIZE
00000e1f: PUSH1 0x1f
00000e21: NOT
00000e22: PUSH1 0x1f
00000e24: DUP3
00000e25: ADD
00000e26: AND
00000e27: DUP3
00000e28: ADD
00000e29: DUP1
00000e2a: PUSH1 0x40
00000e2c: MSTORE
00000e2d: POP
00000e2e: DUP2
00000e2f: ADD
00000e30: SWAP1
00000e31: PUSH2 0x0e3a
00000e34: SWAP2
00000e35: SWAP1
00000e36: PUSH2 0x2449
00000e39: JUMP
00000e3a: JUMPDEST
00000e3b: PUSH1 0x40
00000e3d: MLOAD
00000e3e: PUSH4 0x079cc679
00000e43: PUSH1 0xe4
00000e45: SHL
00000e46: DUP2
00000e47: MSTORE
00000e48: ADDRESS
00000e49: PUSH1 0x04
00000e4b: DUP3
00000e4c: ADD
00000e4d: MSTORE
00000e4e: PUSH1 0x24
00000e50: DUP2
00000e51: ADD
00000e52: DUP9
00000e53: SWAP1
00000e54: MSTORE
00000e55: PUSH1 0x01
00000e57: PUSH1 0x01
00000e59: PUSH1 0xa0
00000e5b: SHL
00000e5c: SUB
00000e5d: SWAP2
00000e5e: SWAP1
00000e5f: SWAP2
00000e60: AND
00000e61: SWAP1
00000e62: PUSH4 0x79cc6790
00000e67: SWAP1
00000e68: PUSH1 0x44
00000e6a: ADD
00000e6b: PUSH1 0x00
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: DUP1
00000e71: DUP4
00000e72: SUB
00000e73: DUP2
00000e74: PUSH1 0x00
00000e76: DUP8
00000e77: DUP1
00000e78: EXTCODESIZE
00000e79: ISZERO
00000e7a: DUP1
00000e7b: ISZERO
00000e7c: PUSH2 0x0e84
00000e7f: JUMPI
00000e80: PUSH1 0x00
00000e82: DUP1
00000e83: REVERT
00000e84: JUMPDEST
00000e85: POP
00000e86: GAS
00000e87: CALL
00000e88: ISZERO
00000e89: DUP1
00000e8a: ISZERO
00000e8b: PUSH2 0x0e98
00000e8e: JUMPI
00000e8f: RETURNDATASIZE
00000e90: PUSH1 0x00
00000e92: DUP1
00000e93: RETURNDATACOPY
00000e94: RETURNDATASIZE
00000e95: PUSH1 0x00
00000e97: REVERT
00000e98: JUMPDEST
00000e99: POP
00000e9a: POP
00000e9b: POP
00000e9c: POP
00000e9d: JUMPDEST
00000e9e: PUSH1 0x40
00000ea0: MLOAD
00000ea1: PUSH4 0x01e9a695
00000ea6: PUSH1 0xe4
00000ea8: SHL
00000ea9: DUP2
00000eaa: MSTORE
00000eab: PUSH1 0x01
00000ead: PUSH1 0x01
00000eaf: PUSH1 0xa0
00000eb1: SHL
00000eb2: SUB
00000eb3: DUP14
00000eb4: DUP2
00000eb5: AND
00000eb6: PUSH1 0x04
00000eb8: DUP4
00000eb9: ADD
00000eba: MSTORE
00000ebb: PUSH1 0x24
00000ebd: DUP3
00000ebe: ADD
00000ebf: DUP8
00000ec0: SWAP1
00000ec1: MSTORE
00000ec2: DUP4
00000ec3: AND
00000ec4: SWAP1
00000ec5: PUSH4 0x1e9a6950
00000eca: SWAP1
00000ecb: PUSH1 0x44
00000ecd: ADD
00000ece: PUSH1 0x00
00000ed0: PUSH1 0x40
00000ed2: MLOAD
00000ed3: DUP1
00000ed4: DUP4
00000ed5: SUB
00000ed6: DUP2
00000ed7: PUSH1 0x00
00000ed9: DUP8
00000eda: DUP1
00000edb: EXTCODESIZE
00000edc: ISZERO
00000edd: DUP1
00000ede: ISZERO
00000edf: PUSH2 0x0ee7
00000ee2: JUMPI
00000ee3: PUSH1 0x00
00000ee5: DUP1
00000ee6: REVERT
00000ee7: JUMPDEST
00000ee8: POP
00000ee9: GAS
00000eea: CALL
00000eeb: ISZERO
00000eec: DUP1
00000eed: ISZERO
00000eee: PUSH2 0x0efb
00000ef1: JUMPI
00000ef2: RETURNDATASIZE
00000ef3: PUSH1 0x00
00000ef5: DUP1
00000ef6: RETURNDATACOPY
00000ef7: RETURNDATASIZE
00000ef8: PUSH1 0x00
00000efa: REVERT
00000efb: JUMPDEST
00000efc: POP
00000efd: POP
00000efe: DUP3
00000eff: MLOAD
00000f00: PUSH1 0x20
00000f02: DUP1
00000f03: DUP6
00000f04: ADD
00000f05: MLOAD
00000f06: PUSH1 0x40
00000f08: DUP1
00000f09: MLOAD
00000f0a: DUP13
00000f0b: DUP2
00000f0c: MSTORE
00000f0d: SWAP3
00000f0e: DUP4
00000f0f: ADD
00000f10: DUP12
00000f11: SWAP1
00000f12: MSTORE
00000f13: DUP3
00000f14: ADD
00000f15: SWAP3
00000f16: SWAP1
00000f17: SWAP3
00000f18: MSTORE
00000f19: PUSH1 0x60
00000f1b: DUP2
00000f1c: ADD
00000f1d: SWAP2
00000f1e: SWAP1
00000f1f: SWAP2
00000f20: MSTORE
00000f21: PUSH1 0x01
00000f23: PUSH1 0x01
00000f25: PUSH1 0xa0
00000f27: SHL
00000f28: SUB
00000f29: DUP16
00000f2a: AND
00000f2b: SWAP3
00000f2c: POP
00000f2d: PUSH32 0x72e38cd9e650a56d27bba7e1a9a8d6f77dc5cc382bb38a7e56f4f1e845be910d
00000f4e: SWAP2
00000f4f: POP
00000f50: PUSH1 0x80
00000f52: ADD
00000f53: PUSH1 0x40
00000f55: MLOAD
00000f56: DUP1
00000f57: SWAP2
00000f58: SUB
00000f59: SWAP1
00000f5a: LOG2
00000f5b: POP
00000f5c: POP
00000f5d: POP
00000f5e: POP
00000f5f: PUSH2 0x0f68
00000f62: PUSH1 0x01
00000f64: PUSH1 0x65
00000f66: SSTORE
00000f67: JUMP
00000f68: JUMPDEST
00000f69: SWAP7
00000f6a: POP
00000f6b: SWAP7
00000f6c: SWAP5
00000f6d: POP
00000f6e: POP
00000f6f: POP
00000f70: POP
00000f71: POP
00000f72: JUMP
00000f73: JUMPDEST
00000f74: PUSH1 0x00
00000f76: DUP1
00000f77: SLOAD
00000f78: PUSH1 0x40
00000f7a: MLOAD
00000f7b: PUSH4 0x24745215
00000f80: PUSH1 0xe2
00000f82: SHL
00000f83: DUP2
00000f84: MSTORE
00000f85: PUSH1 0x04
00000f87: DUP2
00000f88: ADD
00000f89: SWAP3
00000f8a: SWAP1
00000f8b: SWAP3
00000f8c: MSTORE
00000f8d: CALLER
00000f8e: PUSH1 0x24
00000f90: DUP4
00000f91: ADD
00000f92: MSTORE
00000f93: PUSH1 0x01
00000f95: PUSH1 0x01
00000f97: PUSH1 0xa0
00000f99: SHL
00000f9a: SUB
00000f9b: AND
00000f9c: SWAP1
00000f9d: PUSH4 0x91d14854
00000fa2: SWAP1
00000fa3: PUSH1 0x44
00000fa5: ADD
00000fa6: PUSH1 0x20
00000fa8: PUSH1 0x40
00000faa: MLOAD
00000fab: DUP1
00000fac: DUP4
00000fad: SUB
00000fae: DUP2
00000faf: DUP7
00000fb0: GAS
00000fb1: STATICCALL
00000fb2: ISZERO
00000fb3: DUP1
00000fb4: ISZERO
00000fb5: PUSH2 0x0fc2
00000fb8: JUMPI
00000fb9: RETURNDATASIZE
00000fba: PUSH1 0x00
00000fbc: DUP1
00000fbd: RETURNDATACOPY
00000fbe: RETURNDATASIZE
00000fbf: PUSH1 0x00
00000fc1: REVERT
00000fc2: JUMPDEST
00000fc3: POP
00000fc4: POP
00000fc5: POP
00000fc6: POP
00000fc7: PUSH1 0x40
00000fc9: MLOAD
00000fca: RETURNDATASIZE
00000fcb: PUSH1 0x1f
00000fcd: NOT
00000fce: PUSH1 0x1f
00000fd0: DUP3
00000fd1: ADD
00000fd2: AND
00000fd3: DUP3
00000fd4: ADD
00000fd5: DUP1
00000fd6: PUSH1 0x40
00000fd8: MSTORE
00000fd9: POP
00000fda: DUP2
00000fdb: ADD
00000fdc: SWAP1
00000fdd: PUSH2 0x0fe6
00000fe0: SWAP2
00000fe1: SWAP1
00000fe2: PUSH2 0x2427
00000fe5: JUMP
00000fe6: JUMPDEST
00000fe7: PUSH2 0x1003
00000fea: JUMPI
00000feb: PUSH1 0x40
00000fed: MLOAD
00000fee: PUSH4 0x05924c7d
00000ff3: PUSH1 0xe2
00000ff5: SHL
00000ff6: DUP2
00000ff7: MSTORE
00000ff8: PUSH1 0x04
00000ffa: ADD
00000ffb: PUSH1 0x40
00000ffd: MLOAD
00000ffe: DUP1
00000fff: SWAP2
00001000: SUB
00001001: SWAP1
00001002: REVERT
00001003: JUMPDEST
00001004: PUSH1 0x01
00001006: PUSH1 0x01
00001008: PUSH1 0xa0
0000100a: SHL
0000100b: SUB
0000100c: DUP3
0000100d: AND
0000100e: PUSH1 0x00
00001010: DUP2
00001011: DUP2
00001012: MSTORE
00001013: PUSH1 0x97
00001015: PUSH1 0x20
00001017: SWAP1
00001018: DUP2
00001019: MSTORE
0000101a: PUSH1 0x40
0000101c: SWAP2
0000101d: DUP3
0000101e: SWAP1
0000101f: KECCAK256
00001020: DUP5
00001021: SWAP1
00001022: SSTORE
00001023: DUP2
00001024: MLOAD
00001025: SWAP3
00001026: DUP4
00001027: MSTORE
00001028: DUP3
00001029: ADD
0000102a: DUP4
0000102b: SWAP1
0000102c: MSTORE
0000102d: PUSH32 0xde4ed37901dc230db7df5ec2ec48bb07c4286fa1c66128cd200c6b6e9cd2bc83
0000104e: SWAP2
0000104f: ADD
00001050: JUMPDEST
00001051: PUSH1 0x40
00001053: MLOAD
00001054: DUP1
00001055: SWAP2
00001056: SUB
00001057: SWAP1
00001058: LOG1
00001059: POP
0000105a: POP
0000105b: JUMP
0000105c: JUMPDEST
0000105d: PUSH1 0x00
0000105f: SLOAD
00001060: PUSH1 0x01
00001062: PUSH1 0xa8
00001064: SHL
00001065: SWAP1
00001066: DIV
00001067: PUSH1 0xff
00001069: AND
0000106a: ISZERO
0000106b: DUP1
0000106c: DUP1
0000106d: ISZERO
0000106e: PUSH2 0x1084
00001071: JUMPI
00001072: POP
00001073: PUSH1 0x00
00001075: SLOAD
00001076: PUSH1 0x01
00001078: PUSH1 0x01
0000107a: PUSH1 0xa0
0000107c: SHL
0000107d: SWAP1
0000107e: SWAP2
0000107f: DIV
00001080: PUSH1 0xff
00001082: AND
00001083: LT
00001084: JUMPDEST
00001085: DUP1
00001086: PUSH2 0x10a5
00001089: JUMPI
0000108a: POP
0000108b: ADDRESS
0000108c: EXTCODESIZE
0000108d: ISZERO
0000108e: DUP1
0000108f: ISZERO
00001090: PUSH2 0x10a5
00001093: JUMPI
00001094: POP
00001095: PUSH1 0x00
00001097: SLOAD
00001098: PUSH1 0x01
0000109a: PUSH1 0xa0
0000109c: SHL
0000109d: SWAP1
0000109e: DIV
0000109f: PUSH1 0xff
000010a1: AND
000010a2: PUSH1 0x01
000010a4: EQ
000010a5: JUMPDEST
000010a6: PUSH2 0x1108
000010a9: JUMPI
000010aa: PUSH1 0x40
000010ac: MLOAD
000010ad: PUSH3 0x461bcd
000010b1: PUSH1 0xe5
000010b3: SHL
000010b4: DUP2
000010b5: MSTORE
000010b6: PUSH1 0x20
000010b8: PUSH1 0x04
000010ba: DUP3
000010bb: ADD
000010bc: MSTORE
000010bd: PUSH1 0x2e
000010bf: PUSH1 0x24
000010c1: DUP3
000010c2: ADD
000010c3: MSTORE
000010c4: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
000010e5: PUSH1 0x44
000010e7: DUP3
000010e8: ADD
000010e9: MSTORE
000010ea: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
000010f9: PUSH1 0x92
000010fb: SHL
000010fc: PUSH1 0x64
000010fe: DUP3
000010ff: ADD
00001100: MSTORE
00001101: PUSH1 0x84
00001103: ADD
00001104: PUSH2 0x0add
00001107: JUMP
00001108: JUMPDEST
00001109: PUSH1 0x00
0000110b: DUP1
0000110c: SLOAD
0000110d: PUSH1 0xff
0000110f: PUSH1 0xa0
00001111: SHL
00001112: NOT
00001113: AND
00001114: PUSH1 0x01
00001116: PUSH1 0xa0
00001118: SHL
00001119: OR
0000111a: SWAP1
0000111b: SSTORE
0000111c: DUP1
0000111d: ISZERO
0000111e: PUSH2 0x1135
00001121: JUMPI
00001122: PUSH1 0x00
00001124: DUP1
00001125: SLOAD
00001126: PUSH1 0xff
00001128: PUSH1 0xa8
0000112a: SHL
0000112b: NOT
0000112c: AND
0000112d: PUSH1 0x01
0000112f: PUSH1 0xa8
00001131: SHL
00001132: OR
00001133: SWAP1
00001134: SSTORE
00001135: JUMPDEST
00001136: PUSH2 0x113e
00001139: DUP3
0000113a: PUSH2 0x1bc5
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH2 0x1146
00001142: PUSH2 0x1bec
00001145: JUMP
00001146: JUMPDEST
00001147: PUSH2 0x114e
0000114a: PUSH2 0x1c1d
0000114d: JUMP
0000114e: JUMPDEST
0000114f: PUSH2 0xe100
00001152: PUSH1 0x98
00001154: SSTORE
00001155: PUSH1 0x00
00001157: DUP1
00001158: SLOAD
00001159: PUSH1 0x01
0000115b: PUSH1 0x01
0000115d: PUSH1 0xa0
0000115f: SHL
00001160: SUB
00001161: NOT
00001162: AND
00001163: PUSH1 0x01
00001165: PUSH1 0x01
00001167: PUSH1 0xa0
00001169: SHL
0000116a: SUB
0000116b: DUP5
0000116c: AND
0000116d: SWAP1
0000116e: DUP2
0000116f: OR
00001170: DUP3
00001171: SSTORE
00001172: PUSH1 0x40
00001174: MLOAD
00001175: SWAP1
00001176: SWAP2
00001177: PUSH32 0x9cf19cefd9aab739c33b95716ee3f3f921f219dc6d7aae25e1f9497b37889150
00001198: SWAP2
00001199: LOG2
0000119a: DUP1
0000119b: ISZERO
0000119c: PUSH2 0x11dd
0000119f: JUMPI
000011a0: PUSH1 0x00
000011a2: DUP1
000011a3: SLOAD
000011a4: PUSH1 0xff
000011a6: PUSH1 0xa8
000011a8: SHL
000011a9: NOT
000011aa: AND
000011ab: SWAP1
000011ac: SSTORE
000011ad: PUSH1 0x40
000011af: MLOAD
000011b0: PUSH1 0x01
000011b2: DUP2
000011b3: MSTORE
000011b4: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
000011d5: SWAP1
000011d6: PUSH1 0x20
000011d8: ADD
000011d9: PUSH2 0x1050
000011dc: JUMP
000011dd: JUMPDEST
000011de: POP
000011df: POP
000011e0: JUMP
000011e1: JUMPDEST
000011e2: PUSH2 0x11e9
000011e5: PUSH2 0x1804
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH2 0x11f1
000011ed: PUSH2 0x1c4e
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH1 0x00
000011f4: SLOAD
000011f5: PUSH1 0x40
000011f7: MLOAD
000011f8: PUSH4 0x4df48c73
000011fd: PUSH1 0xe1
000011ff: SHL
00001200: DUP2
00001201: MSTORE
00001202: PUSH1 0x01
00001204: PUSH1 0x01
00001206: PUSH1 0xa0
00001208: SHL
00001209: SUB
0000120a: DUP1
0000120b: DUP8
0000120c: AND
0000120d: PUSH1 0x04
0000120f: DUP4
00001210: ADD
00001211: MSTORE
00001212: DUP7
00001213: SWAP3
00001214: AND
00001215: SWAP1
00001216: PUSH4 0x9be918e6
0000121b: SWAP1
0000121c: PUSH1 0x24
0000121e: ADD
0000121f: PUSH1 0x20
00001221: PUSH1 0x40
00001223: MLOAD
00001224: DUP1
00001225: DUP4
00001226: SUB
00001227: DUP2
00001228: DUP7
00001229: GAS
0000122a: STATICCALL
0000122b: ISZERO
0000122c: DUP1
0000122d: ISZERO
0000122e: PUSH2 0x123b
00001231: JUMPI
00001232: RETURNDATASIZE
00001233: PUSH1 0x00
00001235: DUP1
00001236: RETURNDATACOPY
00001237: RETURNDATASIZE
00001238: PUSH1 0x00
0000123a: REVERT
0000123b: JUMPDEST
0000123c: POP
0000123d: POP
0000123e: POP
0000123f: POP
00001240: PUSH1 0x40
00001242: MLOAD
00001243: RETURNDATASIZE
00001244: PUSH1 0x1f
00001246: NOT
00001247: PUSH1 0x1f
00001249: DUP3
0000124a: ADD
0000124b: AND
0000124c: DUP3
0000124d: ADD
0000124e: DUP1
0000124f: PUSH1 0x40
00001251: MSTORE
00001252: POP
00001253: DUP2
00001254: ADD
00001255: SWAP1
00001256: PUSH2 0x125f
00001259: SWAP2
0000125a: SWAP1
0000125b: PUSH2 0x2427
0000125e: JUMP
0000125f: JUMPDEST
00001260: PUSH2 0x127c
00001263: JUMPI
00001264: PUSH1 0x40
00001266: MLOAD
00001267: PUSH4 0x981a2a2b
0000126c: PUSH1 0xe0
0000126e: SHL
0000126f: DUP2
00001270: MSTORE
00001271: PUSH1 0x04
00001273: ADD
00001274: PUSH1 0x40
00001276: MLOAD
00001277: DUP1
00001278: SWAP2
00001279: SUB
0000127a: SWAP1
0000127b: REVERT
0000127c: JUMPDEST
0000127d: DUP5
0000127e: PUSH1 0x01
00001280: PUSH1 0x01
00001282: PUSH1 0xa0
00001284: SHL
00001285: SUB
00001286: DUP2
00001287: AND
00001288: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
0000129d: EQ
0000129e: DUP1
0000129f: ISZERO
000012a0: SWAP1
000012a1: PUSH2 0x131f
000012a4: JUMPI
000012a5: POP
000012a6: PUSH1 0x00
000012a8: DUP1
000012a9: SLOAD
000012aa: PUSH1 0x40
000012ac: MLOAD
000012ad: PUSH4 0x12fdf3b3
000012b2: PUSH1 0xe3
000012b4: SHL
000012b5: DUP2
000012b6: MSTORE
000012b7: PUSH1 0x01
000012b9: PUSH1 0x01
000012bb: PUSH1 0xa0
000012bd: SHL
000012be: SUB
000012bf: DUP5
000012c0: DUP2
000012c1: AND
000012c2: PUSH1 0x04
000012c4: DUP4
000012c5: ADD
000012c6: MSTORE
000012c7: SWAP1
000012c8: SWAP2
000012c9: AND
000012ca: SWAP1
000012cb: PUSH4 0x97ef9d98
000012d0: SWAP1
000012d1: PUSH1 0x24
000012d3: ADD
000012d4: PUSH1 0x20
000012d6: PUSH1 0x40
000012d8: MLOAD
000012d9: DUP1
000012da: DUP4
000012db: SUB
000012dc: DUP2
000012dd: DUP7
000012de: GAS
000012df: STATICCALL
000012e0: ISZERO
000012e1: DUP1
000012e2: ISZERO
000012e3: PUSH2 0x12f0
000012e6: JUMPI
000012e7: RETURNDATASIZE
000012e8: PUSH1 0x00
000012ea: DUP1
000012eb: RETURNDATACOPY
000012ec: RETURNDATASIZE
000012ed: PUSH1 0x00
000012ef: REVERT
000012f0: JUMPDEST
000012f1: POP
000012f2: POP
000012f3: POP
000012f4: POP
000012f5: PUSH1 0x40
000012f7: MLOAD
000012f8: RETURNDATASIZE
000012f9: PUSH1 0x1f
000012fb: NOT
000012fc: PUSH1 0x1f
000012fe: DUP3
000012ff: ADD
00001300: AND
00001301: DUP3
00001302: ADD
00001303: DUP1
00001304: PUSH1 0x40
00001306: MSTORE
00001307: POP
00001308: DUP2
00001309: ADD
0000130a: SWAP1
0000130b: PUSH2 0x1314
0000130e: SWAP2
0000130f: SWAP1
00001310: PUSH2 0x2449
00001313: JUMP
00001314: JUMPDEST
00001315: PUSH1 0x01
00001317: PUSH1 0x01
00001319: PUSH1 0xa0
0000131b: SHL
0000131c: SUB
0000131d: AND
0000131e: EQ
0000131f: JUMPDEST
00001320: ISZERO
00001321: PUSH2 0x133d
00001324: JUMPI
00001325: PUSH1 0x40
00001327: MLOAD
00001328: PUSH4 0x27a2a739
0000132d: PUSH1 0xe0
0000132f: SHL
00001330: DUP2
00001331: MSTORE
00001332: PUSH1 0x04
00001334: ADD
00001335: PUSH1 0x40
00001337: MLOAD
00001338: DUP1
00001339: SWAP2
0000133a: SUB
0000133b: SWAP1
0000133c: REVERT
0000133d: JUMPDEST
0000133e: DUP5
0000133f: ISZERO
00001340: DUP1
00001341: PUSH2 0x1361
00001344: JUMPI
00001345: POP
00001346: PUSH1 0x01
00001348: PUSH1 0x01
0000134a: PUSH1 0xa0
0000134c: SHL
0000134d: SUB
0000134e: DUP7
0000134f: AND
00001350: PUSH1 0x00
00001352: SWAP1
00001353: DUP2
00001354: MSTORE
00001355: PUSH1 0x97
00001357: PUSH1 0x20
00001359: MSTORE
0000135a: PUSH1 0x40
0000135c: SWAP1
0000135d: KECCAK256
0000135e: SLOAD
0000135f: DUP6
00001360: LT
00001361: JUMPDEST
00001362: ISZERO
00001363: PUSH2 0x137f
00001366: JUMPI
00001367: PUSH1 0x40
00001369: MLOAD
0000136a: PUSH4 0xe70dea0f
0000136f: PUSH1 0xe0
00001371: SHL
00001372: DUP2
00001373: MSTORE
00001374: PUSH1 0x04
00001376: ADD
00001377: PUSH1 0x40
00001379: MLOAD
0000137a: DUP1
0000137b: SWAP2
0000137c: SUB
0000137d: SWAP1
0000137e: REVERT
0000137f: JUMPDEST
00001380: PUSH2 0x140a
00001383: CALLER
00001384: ADDRESS
00001385: DUP8
00001386: PUSH1 0x00
00001388: DUP1
00001389: SLOAD
0000138a: SWAP1
0000138b: PUSH2 0x0100
0000138e: EXP
0000138f: SWAP1
00001390: DIV
00001391: PUSH1 0x01
00001393: PUSH1 0x01
00001395: PUSH1 0xa0
00001397: SHL
00001398: SUB
00001399: AND
0000139a: PUSH1 0x01
0000139c: PUSH1 0x01
0000139e: PUSH1 0xa0
000013a0: SHL
000013a1: SUB
000013a2: AND
000013a3: PUSH3 0xb83bce
000013a7: PUSH1 0x40
000013a9: MLOAD
000013aa: DUP2
000013ab: PUSH4 0xffffffff
000013b0: AND
000013b1: PUSH1 0xe0
000013b3: SHL
000013b4: DUP2
000013b5: MSTORE
000013b6: PUSH1 0x04
000013b8: ADD
000013b9: PUSH1 0x20
000013bb: PUSH1 0x40
000013bd: MLOAD
000013be: DUP1
000013bf: DUP4
000013c0: SUB
000013c1: DUP2
000013c2: DUP7
000013c3: GAS
000013c4: STATICCALL
000013c5: ISZERO
000013c6: DUP1
000013c7: ISZERO
000013c8: PUSH2 0x13d5
000013cb: JUMPI
000013cc: RETURNDATASIZE
000013cd: PUSH1 0x00
000013cf: DUP1
000013d0: RETURNDATACOPY
000013d1: RETURNDATASIZE
000013d2: PUSH1 0x00
000013d4: REVERT
000013d5: JUMPDEST
000013d6: POP
000013d7: POP
000013d8: POP
000013d9: POP
000013da: PUSH1 0x40
000013dc: MLOAD
000013dd: RETURNDATASIZE
000013de: PUSH1 0x1f
000013e0: NOT
000013e1: PUSH1 0x1f
000013e3: DUP3
000013e4: ADD
000013e5: AND
000013e6: DUP3
000013e7: ADD
000013e8: DUP1
000013e9: PUSH1 0x40
000013eb: MSTORE
000013ec: POP
000013ed: DUP2
000013ee: ADD
000013ef: SWAP1
000013f0: PUSH2 0x13f9
000013f3: SWAP2
000013f4: SWAP1
000013f5: PUSH2 0x2449
000013f8: JUMP
000013f9: JUMPDEST
000013fa: PUSH1 0x01
000013fc: PUSH1 0x01
000013fe: PUSH1 0xa0
00001400: SHL
00001401: SUB
00001402: AND
00001403: SWAP3
00001404: SWAP2
00001405: SWAP1
00001406: PUSH2 0x1c94
00001409: JUMP
0000140a: JUMPDEST
0000140b: PUSH1 0x00
0000140d: PUSH2 0x1416
00001410: DUP8
00001411: DUP8
00001412: PUSH2 0x0894
00001415: JUMP
00001416: JUMPDEST
00001417: SWAP1
00001418: POP
00001419: PUSH2 0x1421
0000141c: DUP8
0000141d: PUSH2 0x0743
00001420: JUMP
00001421: JUMPDEST
00001422: DUP2
00001423: GT
00001424: ISZERO
00001425: PUSH2 0x1441
00001428: JUMPI
00001429: PUSH1 0x40
0000142b: MLOAD
0000142c: PUSH4 0x4feaaf7b
00001431: PUSH1 0xe1
00001433: SHL
00001434: DUP2
00001435: MSTORE
00001436: PUSH1 0x04
00001438: ADD
00001439: PUSH1 0x40
0000143b: MLOAD
0000143c: DUP1
0000143d: SWAP2
0000143e: SUB
0000143f: SWAP1
00001440: REVERT
00001441: JUMPDEST
00001442: PUSH1 0x01
00001444: PUSH1 0x01
00001446: PUSH1 0xa0
00001448: SHL
00001449: SUB
0000144a: DUP8
0000144b: AND
0000144c: PUSH1 0x00
0000144e: SWAP1
0000144f: DUP2
00001450: MSTORE
00001451: PUSH1 0x9d
00001453: PUSH1 0x20
00001455: MSTORE
00001456: PUSH1 0x40
00001458: DUP2
00001459: KECCAK256
0000145a: DUP1
0000145b: SLOAD
0000145c: DUP4
0000145d: SWAP3
0000145e: SWAP1
0000145f: PUSH2 0x1469
00001462: SWAP1
00001463: DUP5
00001464: SWAP1
00001465: PUSH2 0x2538
00001468: JUMP
00001469: JUMPDEST
0000146a: SWAP1
0000146b: SWAP2
0000146c: SSTORE
0000146d: POP
0000146e: PUSH2 0x147a
00001471: SWAP1
00001472: POP
00001473: DUP8
00001474: DUP8
00001475: DUP4
00001476: PUSH2 0x1cff
00001479: JUMP
0000147a: JUMPDEST
0000147b: PUSH32 0xca2245f2aaa9833d42448c503592e50a442e18ee2614801ddb97b8e94fe29783
0000149c: DUP6
0000149d: DUP6
0000149e: PUSH1 0x40
000014a0: MLOAD
000014a1: PUSH2 0x14ab
000014a4: SWAP3
000014a5: SWAP2
000014a6: SWAP1
000014a7: PUSH2 0x254b
000014aa: JUMP
000014ab: JUMPDEST
000014ac: PUSH1 0x40
000014ae: MLOAD
000014af: DUP1
000014b0: SWAP2
000014b1: SUB
000014b2: SWAP1
000014b3: LOG1
000014b4: POP
000014b5: POP
000014b6: POP
000014b7: PUSH2 0x14c0
000014ba: PUSH1 0x01
000014bc: PUSH1 0x65
000014be: SSTORE
000014bf: JUMP
000014c0: JUMPDEST
000014c1: POP
000014c2: POP
000014c3: POP
000014c4: POP
000014c5: JUMP
000014c6: JUMPDEST
000014c7: PUSH2 0x14ce
000014ca: PUSH2 0x1804
000014cd: JUMP
000014ce: JUMPDEST
000014cf: PUSH2 0x14d6
000014d2: PUSH2 0x1c4e
000014d5: JUMP
000014d6: JUMPDEST
000014d7: PUSH1 0x01
000014d9: PUSH1 0x01
000014db: PUSH1 0xa0
000014dd: SHL
000014de: SUB
000014df: DUP4
000014e0: AND
000014e1: PUSH1 0x00
000014e3: SWAP1
000014e4: DUP2
000014e5: MSTORE
000014e6: PUSH1 0x9c
000014e8: PUSH1 0x20
000014ea: SWAP1
000014eb: DUP2
000014ec: MSTORE
000014ed: PUSH1 0x40
000014ef: DUP1
000014f0: DUP4
000014f1: KECCAK256
000014f2: CALLER
000014f3: DUP5
000014f4: MSTORE
000014f5: SWAP1
000014f6: SWAP2
000014f7: MSTORE
000014f8: DUP2
000014f9: KECCAK256
000014fa: PUSH2 0x1502
000014fd: SWAP1
000014fe: PUSH2 0x1deb
00001501: JUMP
00001502: JUMPDEST
00001503: PUSH1 0x01
00001505: PUSH1 0x01
00001507: PUSH1 0xa0
00001509: SHL
0000150a: SUB
0000150b: DUP6
0000150c: AND
0000150d: PUSH1 0x00
0000150f: SWAP1
00001510: DUP2
00001511: MSTORE
00001512: PUSH1 0x9a
00001514: PUSH1 0x20
00001516: MSTORE
00001517: PUSH1 0x40
00001519: SWAP1
0000151a: KECCAK256
0000151b: SLOAD
0000151c: SWAP1
0000151d: SWAP2
0000151e: POP
0000151f: DUP2
00001520: LT
00001521: PUSH2 0x153d
00001524: JUMPI
00001525: PUSH1 0x40
00001527: MLOAD
00001528: PUSH4 0x0c8445b7
0000152d: PUSH1 0xe2
0000152f: SHL
00001530: DUP2
00001531: MSTORE
00001532: PUSH1 0x04
00001534: ADD
00001535: PUSH1 0x40
00001537: MLOAD
00001538: DUP1
00001539: SWAP2
0000153a: SUB
0000153b: SWAP1
0000153c: REVERT
0000153d: JUMPDEST
0000153e: PUSH1 0x00
00001540: PUSH2 0x1549
00001543: DUP6
00001544: DUP4
00001545: PUSH2 0x04e1
00001548: JUMP
00001549: JUMPDEST
0000154a: PUSH1 0x00
0000154c: DUP2
0000154d: DUP2
0000154e: MSTORE
0000154f: PUSH1 0x9b
00001551: PUSH1 0x20
00001553: DUP2
00001554: DUP2
00001555: MSTORE
00001556: PUSH1 0x40
00001558: DUP1
00001559: DUP5
0000155a: KECCAK256
0000155b: DUP2
0000155c: MLOAD
0000155d: PUSH1 0x60
0000155f: DUP2
00001560: ADD
00001561: DUP4
00001562: MSTORE
00001563: DUP2
00001564: SLOAD
00001565: DUP2
00001566: MSTORE
00001567: PUSH1 0x01
00001569: DUP3
0000156a: ADD
0000156b: DUP1
0000156c: SLOAD
0000156d: DUP3
0000156e: DUP7
0000156f: ADD
00001570: MSTORE
00001571: PUSH1 0x02
00001573: DUP4
00001574: ADD
00001575: DUP1
00001576: SLOAD
00001577: SWAP5
00001578: DUP4
00001579: ADD
0000157a: SWAP5
0000157b: DUP6
0000157c: MSTORE
0000157d: DUP9
0000157e: DUP9
0000157f: MSTORE
00001580: SWAP6
00001581: SWAP1
00001582: SWAP5
00001583: MSTORE
00001584: SWAP1
00001585: DUP6
00001586: SWAP1
00001587: SSTORE
00001588: SWAP2
00001589: DUP5
0000158a: SWAP1
0000158b: SSTORE
0000158c: SWAP3
0000158d: SWAP1
0000158e: SWAP2
0000158f: SSTORE
00001590: PUSH1 0x98
00001592: SLOAD
00001593: SWAP2
00001594: MLOAD
00001595: SWAP3
00001596: SWAP4
00001597: POP
00001598: SWAP2
00001599: PUSH2 0x15a2
0000159c: SWAP2
0000159d: SWAP1
0000159e: PUSH2 0x2538
000015a1: JUMP
000015a2: JUMPDEST
000015a3: NUMBER
000015a4: LT
000015a5: ISZERO
000015a6: PUSH2 0x15c2
000015a9: JUMPI
000015aa: PUSH1 0x40
000015ac: MLOAD
000015ad: PUSH4 0x03ec2447
000015b2: PUSH1 0xe5
000015b4: SHL
000015b5: DUP2
000015b6: MSTORE
000015b7: PUSH1 0x04
000015b9: ADD
000015ba: PUSH1 0x40
000015bc: MLOAD
000015bd: DUP1
000015be: SWAP2
000015bf: SUB
000015c0: SWAP1
000015c1: REVERT
000015c2: JUMPDEST
000015c3: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed
000015d8: NOT
000015d9: PUSH1 0x01
000015db: PUSH1 0x01
000015dd: PUSH1 0xa0
000015df: SHL
000015e0: SUB
000015e1: DUP8
000015e2: AND
000015e3: ADD
000015e4: PUSH2 0x1659
000015e7: JUMPI
000015e8: PUSH1 0x20
000015ea: DUP2
000015eb: ADD
000015ec: MLOAD
000015ed: PUSH1 0x40
000015ef: MLOAD
000015f0: PUSH1 0x00
000015f2: SWAP2
000015f3: CALLER
000015f4: SWAP2
000015f5: DUP4
000015f6: DUP2
000015f7: DUP2
000015f8: DUP2
000015f9: DUP6
000015fa: DUP8
000015fb: GAS
000015fc: CALL
000015fd: SWAP3
000015fe: POP
000015ff: POP
00001600: POP
00001601: RETURNDATASIZE
00001602: DUP1
00001603: PUSH1 0x00
00001605: DUP2
00001606: EQ
00001607: PUSH2 0x162c
0000160a: JUMPI
0000160b: PUSH1 0x40
0000160d: MLOAD
0000160e: SWAP2
0000160f: POP
00001610: PUSH1 0x1f
00001612: NOT
00001613: PUSH1 0x3f
00001615: RETURNDATASIZE
00001616: ADD
00001617: AND
00001618: DUP3
00001619: ADD
0000161a: PUSH1 0x40
0000161c: MSTORE
0000161d: RETURNDATASIZE
0000161e: DUP3
0000161f: MSTORE
00001620: RETURNDATASIZE
00001621: PUSH1 0x00
00001623: PUSH1 0x20
00001625: DUP5
00001626: ADD
00001627: RETURNDATACOPY
00001628: PUSH2 0x1631
0000162b: JUMP
0000162c: JUMPDEST
0000162d: PUSH1 0x60
0000162f: SWAP2
00001630: POP
00001631: JUMPDEST
00001632: POP
00001633: POP
00001634: SWAP1
00001635: POP
00001636: DUP1
00001637: PUSH2 0x1653
0000163a: JUMPI
0000163b: PUSH1 0x40
0000163d: MLOAD
0000163e: PUSH4 0x0db2c7f1
00001643: PUSH1 0xe3
00001645: SHL
00001646: DUP2
00001647: MSTORE
00001648: PUSH1 0x04
0000164a: ADD
0000164b: PUSH1 0x40
0000164d: MLOAD
0000164e: DUP1
0000164f: SWAP2
00001650: SUB
00001651: SWAP1
00001652: REVERT
00001653: JUMPDEST
00001654: POP
00001655: PUSH2 0x1674
00001658: JUMP
00001659: JUMPDEST
0000165a: PUSH1 0x20
0000165c: DUP2
0000165d: ADD
0000165e: MLOAD
0000165f: PUSH2 0x1674
00001662: SWAP1
00001663: PUSH1 0x01
00001665: PUSH1 0x01
00001667: PUSH1 0xa0
00001669: SHL
0000166a: SUB
0000166b: DUP9
0000166c: AND
0000166d: SWAP1
0000166e: CALLER
0000166f: SWAP1
00001670: PUSH2 0x1e69
00001673: JUMP
00001674: JUMPDEST
00001675: PUSH32 0xca2245f2aaa9833d42448c503592e50a442e18ee2614801ddb97b8e94fe29783
00001696: DUP6
00001697: DUP6
00001698: PUSH1 0x40
0000169a: MLOAD
0000169b: PUSH2 0x16a5
0000169e: SWAP3
0000169f: SWAP2
000016a0: SWAP1
000016a1: PUSH2 0x254b
000016a4: JUMP
000016a5: JUMPDEST
000016a6: PUSH1 0x40
000016a8: MLOAD
000016a9: DUP1
000016aa: SWAP2
000016ab: SUB
000016ac: SWAP1
000016ad: LOG1
000016ae: DUP1
000016af: MLOAD
000016b0: PUSH1 0x20
000016b2: DUP1
000016b3: DUP4
000016b4: ADD
000016b5: MLOAD
000016b6: PUSH1 0x40
000016b8: DUP1
000016b9: MLOAD
000016ba: SWAP4
000016bb: DUP5
000016bc: MSTORE
000016bd: SWAP2
000016be: DUP4
000016bf: ADD
000016c0: MSTORE
000016c1: PUSH1 0x01
000016c3: PUSH1 0x01
000016c5: PUSH1 0xa0
000016c7: SHL
000016c8: SUB
000016c9: DUP9
000016ca: AND
000016cb: SWAP2
000016cc: CALLER
000016cd: SWAP2
000016ce: PUSH32 0xca13475b00c46ee0ce4a479bd18ed747ff89395e96e93779ba7f18cbe1735fb4
000016ef: SWAP2
000016f0: ADD
000016f1: PUSH1 0x40
000016f3: MLOAD
000016f4: DUP1
000016f5: SWAP2
000016f6: SUB
000016f7: SWAP1
000016f8: LOG3
000016f9: POP
000016fa: POP
000016fb: POP
000016fc: PUSH2 0x1705
000016ff: PUSH1 0x01
00001701: PUSH1 0x65
00001703: SSTORE
00001704: JUMP
00001705: JUMPDEST
00001706: POP
00001707: POP
00001708: POP
00001709: JUMP
0000170a: JUMPDEST
0000170b: PUSH2 0x1712
0000170e: PUSH2 0x1e99
00001711: JUMP
00001712: JUMPDEST
00001713: PUSH1 0x33
00001715: DUP1
00001716: SLOAD
00001717: PUSH1 0xff
00001719: NOT
0000171a: AND
0000171b: SWAP1
0000171c: SSTORE
0000171d: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
0000173e: CALLER
0000173f: JUMPDEST
00001740: PUSH1 0x40
00001742: MLOAD
00001743: PUSH1 0x01
00001745: PUSH1 0x01
00001747: PUSH1 0xa0
00001749: SHL
0000174a: SUB
0000174b: SWAP1
0000174c: SWAP2
0000174d: AND
0000174e: DUP2
0000174f: MSTORE
00001750: PUSH1 0x20
00001752: ADD
00001753: PUSH1 0x40
00001755: MLOAD
00001756: DUP1
00001757: SWAP2
00001758: SUB
00001759: SWAP1
0000175a: LOG1
0000175b: JUMP
0000175c: JUMPDEST
0000175d: PUSH1 0x00
0000175f: PUSH2 0x1780
00001762: DUP4
00001763: SLOAD
00001764: PUSH1 0x01
00001766: PUSH1 0x01
00001768: PUSH1 0x80
0000176a: SHL
0000176b: SUB
0000176c: DUP1
0000176d: DUP3
0000176e: AND
0000176f: PUSH1 0x01
00001771: PUSH1 0x80
00001773: SHL
00001774: SWAP1
00001775: SWAP3
00001776: DIV
00001777: DUP2
00001778: AND
00001779: SWAP2
0000177a: SWAP1
0000177b: SWAP2
0000177c: SUB
0000177d: AND
0000177e: SWAP1
0000177f: JUMP
00001780: JUMPDEST
00001781: DUP3
00001782: LT
00001783: PUSH2 0x179f
00001786: JUMPI
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: PUSH4 0x580821e7
0000178f: PUSH1 0xe0
00001791: SHL
00001792: DUP2
00001793: MSTORE
00001794: PUSH1 0x04
00001796: ADD
00001797: PUSH1 0x40
00001799: MLOAD
0000179a: DUP1
0000179b: SWAP2
0000179c: SUB
0000179d: SWAP1
0000179e: REVERT
0000179f: JUMPDEST
000017a0: POP
000017a1: DUP2
000017a2: SLOAD
000017a3: PUSH1 0x01
000017a5: PUSH1 0x01
000017a7: PUSH1 0x80
000017a9: SHL
000017aa: SUB
000017ab: SWAP1
000017ac: DUP2
000017ad: AND
000017ae: DUP3
000017af: ADD
000017b0: AND
000017b1: PUSH1 0x00
000017b3: SWAP1
000017b4: DUP2
000017b5: MSTORE
000017b6: PUSH1 0x01
000017b8: DUP4
000017b9: ADD
000017ba: PUSH1 0x20
000017bc: MSTORE
000017bd: PUSH1 0x40
000017bf: SWAP1
000017c0: KECCAK256
000017c1: SLOAD
000017c2: SWAP3
000017c3: SWAP2
000017c4: POP
000017c5: POP
000017c6: JUMP
000017c7: JUMPDEST
000017c8: PUSH2 0x17cf
000017cb: PUSH2 0x1c4e
000017ce: JUMP
000017cf: JUMPDEST
000017d0: PUSH1 0x33
000017d2: DUP1
000017d3: SLOAD
000017d4: PUSH1 0xff
000017d6: NOT
000017d7: AND
000017d8: PUSH1 0x01
000017da: OR
000017db: SWAP1
000017dc: SSTORE
000017dd: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000017fe: PUSH2 0x173f
00001801: CALLER
00001802: SWAP1
00001803: JUMP
00001804: JUMPDEST
00001805: PUSH1 0x02
00001807: PUSH1 0x65
00001809: SLOAD
0000180a: SUB
0000180b: PUSH2 0x1856
0000180e: JUMPI
0000180f: PUSH1 0x40
00001811: MLOAD
00001812: PUSH3 0x461bcd
00001816: PUSH1 0xe5
00001818: SHL
00001819: DUP2
0000181a: MSTORE
0000181b: PUSH1 0x20
0000181d: PUSH1 0x04
0000181f: DUP3
00001820: ADD
00001821: MSTORE
00001822: PUSH1 0x1f
00001824: PUSH1 0x24
00001826: DUP3
00001827: ADD
00001828: MSTORE
00001829: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000184a: PUSH1 0x44
0000184c: DUP3
0000184d: ADD
0000184e: MSTORE
0000184f: PUSH1 0x64
00001851: ADD
00001852: PUSH2 0x0add
00001855: JUMP
00001856: JUMPDEST
00001857: PUSH1 0x02
00001859: PUSH1 0x65
0000185b: SSTORE
0000185c: JUMP
0000185d: JUMPDEST
0000185e: PUSH2 0x1888
00001861: PUSH1 0x40
00001863: MLOAD
00001864: DUP1
00001865: PUSH1 0x80
00001867: ADD
00001868: PUSH1 0x40
0000186a: MSTORE
0000186b: DUP1
0000186c: PUSH1 0x00
0000186e: DUP2
0000186f: MSTORE
00001870: PUSH1 0x20
00001872: ADD
00001873: PUSH1 0x00
00001875: DUP2
00001876: MSTORE
00001877: PUSH1 0x20
00001879: ADD
0000187a: PUSH1 0x00
0000187c: DUP2
0000187d: MSTORE
0000187e: PUSH1 0x20
00001880: ADD
00001881: PUSH1 0x00
00001883: DUP2
00001884: MSTORE
00001885: POP
00001886: SWAP1
00001887: JUMP
00001888: JUMPDEST
00001889: PUSH1 0x40
0000188b: MLOAD
0000188c: DUP1
0000188d: PUSH1 0x80
0000188f: ADD
00001890: PUSH1 0x40
00001892: MSTORE
00001893: DUP1
00001894: DUP7
00001895: PUSH1 0x01
00001897: PUSH1 0x01
00001899: PUSH1 0xa0
0000189b: SHL
0000189c: SUB
0000189d: AND
0000189e: PUSH4 0xb4b46434
000018a3: PUSH1 0x40
000018a5: MLOAD
000018a6: DUP2
000018a7: PUSH4 0xffffffff
000018ac: AND
000018ad: PUSH1 0xe0
000018af: SHL
000018b0: DUP2
000018b1: MSTORE
000018b2: PUSH1 0x04
000018b4: ADD
000018b5: PUSH1 0x20
000018b7: PUSH1 0x40
000018b9: MLOAD
000018ba: DUP1
000018bb: DUP4
000018bc: SUB
000018bd: DUP2
000018be: DUP7
000018bf: GAS
000018c0: STATICCALL
000018c1: ISZERO
000018c2: DUP1
000018c3: ISZERO
000018c4: PUSH2 0x18d1
000018c7: JUMPI
000018c8: RETURNDATASIZE
000018c9: PUSH1 0x00
000018cb: DUP1
000018cc: RETURNDATACOPY
000018cd: RETURNDATASIZE
000018ce: PUSH1 0x00
000018d0: REVERT
000018d1: JUMPDEST
000018d2: POP
000018d3: POP
000018d4: POP
000018d5: POP
000018d6: PUSH1 0x40
000018d8: MLOAD
000018d9: RETURNDATASIZE
000018da: PUSH1 0x1f
000018dc: NOT
000018dd: PUSH1 0x1f
000018df: DUP3
000018e0: ADD
000018e1: AND
000018e2: DUP3
000018e3: ADD
000018e4: DUP1
000018e5: PUSH1 0x40
000018e7: MSTORE
000018e8: POP
000018e9: DUP2
000018ea: ADD
000018eb: SWAP1
000018ec: PUSH2 0x18f5
000018ef: SWAP2
000018f0: SWAP1
000018f1: PUSH2 0x2466
000018f4: JUMP
000018f5: JUMPDEST
000018f6: DUP2
000018f7: MSTORE
000018f8: PUSH1 0x40
000018fa: MLOAD
000018fb: PUSH4 0xb3596f07
00001900: PUSH1 0xe0
00001902: SHL
00001903: DUP2
00001904: MSTORE
00001905: PUSH1 0x01
00001907: PUSH1 0x01
00001909: PUSH1 0xa0
0000190b: SHL
0000190c: SUB
0000190d: DUP7
0000190e: DUP2
0000190f: AND
00001910: PUSH1 0x04
00001912: DUP4
00001913: ADD
00001914: MSTORE
00001915: PUSH1 0x20
00001917: SWAP1
00001918: SWAP3
00001919: ADD
0000191a: SWAP2
0000191b: DUP9
0000191c: AND
0000191d: SWAP1
0000191e: PUSH4 0xb3596f07
00001923: SWAP1
00001924: PUSH1 0x24
00001926: ADD
00001927: PUSH1 0x20
00001929: PUSH1 0x40
0000192b: MLOAD
0000192c: DUP1
0000192d: DUP4
0000192e: SUB
0000192f: DUP2
00001930: DUP7
00001931: GAS
00001932: STATICCALL
00001933: ISZERO
00001934: DUP1
00001935: ISZERO
00001936: PUSH2 0x1943
00001939: JUMPI
0000193a: RETURNDATASIZE
0000193b: PUSH1 0x00
0000193d: DUP1
0000193e: RETURNDATACOPY
0000193f: RETURNDATASIZE
00001940: PUSH1 0x00
00001942: REVERT
00001943: JUMPDEST
00001944: POP
00001945: POP
00001946: POP
00001947: POP
00001948: PUSH1 0x40
0000194a: MLOAD
0000194b: RETURNDATASIZE
0000194c: PUSH1 0x1f
0000194e: NOT
0000194f: PUSH1 0x1f
00001951: DUP3
00001952: ADD
00001953: AND
00001954: DUP3
00001955: ADD
00001956: DUP1
00001957: PUSH1 0x40
00001959: MSTORE
0000195a: POP
0000195b: DUP2
0000195c: ADD
0000195d: SWAP1
0000195e: PUSH2 0x1967
00001961: SWAP2
00001962: SWAP1
00001963: PUSH2 0x2466
00001966: JUMP
00001967: JUMPDEST
00001968: DUP2
00001969: MSTORE
0000196a: PUSH1 0x40
0000196c: MLOAD
0000196d: PUSH4 0x70a08231
00001972: PUSH1 0xe0
00001974: SHL
00001975: DUP2
00001976: MSTORE
00001977: PUSH1 0x01
00001979: PUSH1 0x01
0000197b: PUSH1 0xa0
0000197d: SHL
0000197e: SUB
0000197f: DUP7
00001980: DUP2
00001981: AND
00001982: PUSH1 0x04
00001984: DUP4
00001985: ADD
00001986: MSTORE
00001987: PUSH1 0x20
00001989: SWAP1
0000198a: SWAP3
0000198b: ADD
0000198c: SWAP2
0000198d: DUP8
0000198e: AND
0000198f: SWAP1
00001990: PUSH4 0x70a08231
00001995: SWAP1
00001996: PUSH1 0x24
00001998: ADD
00001999: PUSH1 0x20
0000199b: PUSH1 0x40
0000199d: MLOAD
0000199e: DUP1
0000199f: DUP4
000019a0: SUB
000019a1: DUP2
000019a2: DUP7
000019a3: GAS
000019a4: STATICCALL
000019a5: ISZERO
000019a6: DUP1
000019a7: ISZERO
000019a8: PUSH2 0x19b5
000019ab: JUMPI
000019ac: RETURNDATASIZE
000019ad: PUSH1 0x00
000019af: DUP1
000019b0: RETURNDATACOPY
000019b1: RETURNDATASIZE
000019b2: PUSH1 0x00
000019b4: REVERT
000019b5: JUMPDEST
000019b6: POP
000019b7: POP
000019b8: POP
000019b9: POP
000019ba: PUSH1 0x40
000019bc: MLOAD
000019bd: RETURNDATASIZE
000019be: PUSH1 0x1f
000019c0: NOT
000019c1: PUSH1 0x1f
000019c3: DUP3
000019c4: ADD
000019c5: AND
000019c6: DUP3
000019c7: ADD
000019c8: DUP1
000019c9: PUSH1 0x40
000019cb: MSTORE
000019cc: POP
000019cd: DUP2
000019ce: ADD
000019cf: SWAP1
000019d0: PUSH2 0x19d9
000019d3: SWAP2
000019d4: SWAP1
000019d5: PUSH2 0x2466
000019d8: JUMP
000019d9: JUMPDEST
000019da: DUP2
000019db: MSTORE
000019dc: PUSH1 0x20
000019de: ADD
000019df: SWAP3
000019e0: SWAP1
000019e1: SWAP3
000019e2: MSTORE
000019e3: POP
000019e4: SWAP4
000019e5: SWAP3
000019e6: POP
000019e7: POP
000019e8: POP
000019e9: JUMP
000019ea: JUMPDEST
000019eb: DUP4
000019ec: DUP7
000019ed: LT
000019ee: DUP1
000019ef: PUSH2 0x19f7
000019f2: JUMPI
000019f3: POP
000019f4: DUP3
000019f5: DUP7
000019f6: GT
000019f7: JUMPDEST
000019f8: ISZERO
000019f9: PUSH2 0x1a18
000019fc: JUMPI
000019fd: PUSH1 0x40
000019ff: MLOAD
00001a00: PUSH4 0x3daa10dd
00001a05: PUSH1 0xe1
00001a07: SHL
00001a08: DUP2
00001a09: MSTORE
00001a0a: PUSH1 0x04
00001a0c: DUP2
00001a0d: ADD
00001a0e: DUP8
00001a0f: SWAP1
00001a10: MSTORE
00001a11: PUSH1 0x24
00001a13: ADD
00001a14: PUSH2 0x0add
00001a17: JUMP
00001a18: JUMPDEST
00001a19: DUP2
00001a1a: DUP6
00001a1b: LT
00001a1c: DUP1
00001a1d: PUSH2 0x1a25
00001a20: JUMPI
00001a21: POP
00001a22: DUP1
00001a23: DUP6
00001a24: GT
00001a25: JUMPDEST
00001a26: ISZERO
00001a27: PUSH2 0x1a46
00001a2a: JUMPI
00001a2b: PUSH1 0x40
00001a2d: MLOAD
00001a2e: PUSH4 0x8ed09d55
00001a33: PUSH1 0xe0
00001a35: SHL
00001a36: DUP2
00001a37: MSTORE
00001a38: PUSH1 0x04
00001a3a: DUP2
00001a3b: ADD
00001a3c: DUP7
00001a3d: SWAP1
00001a3e: MSTORE
00001a3f: PUSH1 0x24
00001a41: ADD
00001a42: PUSH2 0x0add
00001a45: JUMP
00001a46: JUMPDEST
00001a47: POP
00001a48: POP
00001a49: POP
00001a4a: POP
00001a4b: POP
00001a4c: POP
00001a4d: JUMP
00001a4e: JUMPDEST
00001a4f: PUSH1 0x01
00001a51: PUSH1 0x01
00001a53: PUSH1 0xa0
00001a55: SHL
00001a56: SUB
00001a57: DUP6
00001a58: AND
00001a59: PUSH1 0x00
00001a5b: SWAP1
00001a5c: DUP2
00001a5d: MSTORE
00001a5e: PUSH1 0x99
00001a60: PUSH1 0x20
00001a62: MSTORE
00001a63: PUSH1 0x40
00001a65: DUP2
00001a66: KECCAK256
00001a67: SLOAD
00001a68: DUP2
00001a69: SWAP1
00001a6a: DUP4
00001a6b: GT
00001a6c: ISZERO
00001a6d: PUSH2 0x1a8c
00001a70: JUMPI
00001a71: PUSH1 0x01
00001a73: PUSH1 0x01
00001a75: PUSH1 0xa0
00001a77: SHL
00001a78: SUB
00001a79: DUP8
00001a7a: AND
00001a7b: PUSH1 0x00
00001a7d: SWAP1
00001a7e: DUP2
00001a7f: MSTORE
00001a80: PUSH1 0x99
00001a82: PUSH1 0x20
00001a84: MSTORE
00001a85: PUSH1 0x40
00001a87: SWAP1
00001a88: KECCAK256
00001a89: SLOAD
00001a8a: SWAP3
00001a8b: POP
00001a8c: JUMPDEST
00001a8d: PUSH1 0x01
00001a8f: PUSH1 0x01
00001a91: PUSH1 0xa0
00001a93: SHL
00001a94: SUB
00001a95: DUP8
00001a96: AND
00001a97: PUSH1 0x00
00001a99: SWAP1
00001a9a: DUP2
00001a9b: MSTORE
00001a9c: PUSH1 0x9a
00001a9e: PUSH1 0x20
00001aa0: MSTORE
00001aa1: PUSH1 0x40
00001aa3: SWAP1
00001aa4: KECCAK256
00001aa5: SLOAD
00001aa6: DUP4
00001aa7: DUP2
00001aa8: LT
00001aa9: PUSH2 0x1ac5
00001aac: JUMPI
00001aad: PUSH1 0x40
00001aaf: MLOAD
00001ab0: PUSH4 0x0ac1d61d
00001ab5: PUSH1 0xe0
00001ab7: SHL
00001ab8: DUP2
00001ab9: MSTORE
00001aba: PUSH1 0x04
00001abc: ADD
00001abd: PUSH1 0x40
00001abf: MLOAD
00001ac0: DUP1
00001ac1: SWAP2
00001ac2: SUB
00001ac3: SWAP1
00001ac4: REVERT
00001ac5: JUMPDEST
00001ac6: DUP4
00001ac7: DUP2
00001ac8: LT
00001ac9: ISZERO
00001aca: PUSH2 0x1b99
00001acd: JUMPI
00001ace: PUSH1 0x00
00001ad0: PUSH2 0x1ad9
00001ad3: DUP10
00001ad4: DUP4
00001ad5: PUSH2 0x04e1
00001ad8: JUMP
00001ad9: JUMPDEST
00001ada: PUSH1 0x00
00001adc: DUP2
00001add: DUP2
00001ade: MSTORE
00001adf: PUSH1 0x9b
00001ae1: PUSH1 0x20
00001ae3: MSTORE
00001ae4: PUSH1 0x40
00001ae6: SWAP1
00001ae7: KECCAK256
00001ae8: PUSH1 0x98
00001aea: SLOAD
00001aeb: PUSH1 0x02
00001aed: DUP3
00001aee: ADD
00001aef: SLOAD
00001af0: SWAP3
00001af1: SWAP4
00001af2: POP
00001af3: SWAP1
00001af4: SWAP2
00001af5: PUSH2 0x1afe
00001af8: SWAP2
00001af9: SWAP1
00001afa: PUSH2 0x2538
00001afd: JUMP
00001afe: JUMPDEST
00001aff: NUMBER
00001b00: LT
00001b01: ISZERO
00001b02: PUSH2 0x1b0c
00001b05: JUMPI
00001b06: POP
00001b07: POP
00001b08: PUSH2 0x1b99
00001b0b: JUMP
00001b0c: JUMPDEST
00001b0d: PUSH1 0x00
00001b0f: PUSH2 0x1b19
00001b12: DUP3
00001b13: DUP11
00001b14: DUP11
00001b15: PUSH2 0x1ee2
00001b18: JUMP
00001b19: JUMPDEST
00001b1a: SWAP1
00001b1b: POP
00001b1c: DUP1
00001b1d: DUP11
00001b1e: LT
00001b1f: ISZERO
00001b20: PUSH2 0x1b2b
00001b23: JUMPI
00001b24: POP
00001b25: POP
00001b26: POP
00001b27: PUSH2 0x1b99
00001b2a: JUMP
00001b2b: JUMPDEST
00001b2c: PUSH1 0x01
00001b2e: DUP3
00001b2f: ADD
00001b30: SLOAD
00001b31: PUSH1 0x01
00001b33: PUSH1 0x01
00001b35: PUSH1 0xa0
00001b37: SHL
00001b38: SUB
00001b39: DUP13
00001b3a: AND
00001b3b: PUSH1 0x00
00001b3d: SWAP1
00001b3e: DUP2
00001b3f: MSTORE
00001b40: PUSH1 0x9d
00001b42: PUSH1 0x20
00001b44: MSTORE
00001b45: PUSH1 0x40
00001b47: DUP2
00001b48: KECCAK256
00001b49: DUP1
00001b4a: SLOAD
00001b4b: SWAP1
00001b4c: SWAP2
00001b4d: SWAP1
00001b4e: PUSH2 0x1b58
00001b51: SWAP1
00001b52: DUP5
00001b53: SWAP1
00001b54: PUSH2 0x2495
00001b57: JUMP
00001b58: JUMPDEST
00001b59: SWAP1
00001b5a: SWAP2
00001b5b: SSTORE
00001b5c: POP
00001b5d: POP
00001b5e: PUSH1 0x01
00001b60: DUP3
00001b61: ADD
00001b62: DUP2
00001b63: SWAP1
00001b64: SSTORE
00001b65: DUP2
00001b66: SLOAD
00001b67: PUSH2 0x1b70
00001b6a: SWAP1
00001b6b: DUP8
00001b6c: PUSH2 0x2538
00001b6f: JUMP
00001b70: JUMPDEST
00001b71: SWAP6
00001b72: POP
00001b73: PUSH2 0x1b7c
00001b76: DUP2
00001b77: DUP12
00001b78: PUSH2 0x2495
00001b7b: JUMP
00001b7c: JUMPDEST
00001b7d: SWAP10
00001b7e: POP
00001b7f: PUSH2 0x1b88
00001b82: DUP2
00001b83: DUP7
00001b84: PUSH2 0x2538
00001b87: JUMP
00001b88: JUMPDEST
00001b89: SWAP5
00001b8a: POP
00001b8b: POP
00001b8c: PUSH1 0x01
00001b8e: SWAP1
00001b8f: SWAP3
00001b90: ADD
00001b91: SWAP2
00001b92: POP
00001b93: PUSH2 0x1ac5
00001b96: SWAP1
00001b97: POP
00001b98: JUMP
00001b99: JUMPDEST
00001b9a: PUSH1 0x01
00001b9c: PUSH1 0x01
00001b9e: PUSH1 0xa0
00001ba0: SHL
00001ba1: SUB
00001ba2: SWAP1
00001ba3: SWAP8
00001ba4: AND
00001ba5: PUSH1 0x00
00001ba7: SWAP1
00001ba8: DUP2
00001ba9: MSTORE
00001baa: PUSH1 0x9a
00001bac: PUSH1 0x20
00001bae: MSTORE
00001baf: PUSH1 0x40
00001bb1: SWAP1
00001bb2: KECCAK256
00001bb3: SWAP7
00001bb4: SWAP1
00001bb5: SWAP7
00001bb6: SSTORE
00001bb7: SWAP6
00001bb8: SWAP4
00001bb9: POP
00001bba: POP
00001bbb: POP
00001bbc: POP
00001bbd: JUMP
00001bbe: JUMPDEST
00001bbf: PUSH1 0x01
00001bc1: PUSH1 0x65
00001bc3: SSTORE
00001bc4: JUMP
00001bc5: JUMPDEST
00001bc6: PUSH1 0x01
00001bc8: PUSH1 0x01
00001bca: PUSH1 0xa0
00001bcc: SHL
00001bcd: SUB
00001bce: DUP2
00001bcf: AND
00001bd0: PUSH2 0x0aee
00001bd3: JUMPI
00001bd4: PUSH1 0x40
00001bd6: MLOAD
00001bd7: PUSH4 0x42bcdf7f
00001bdc: PUSH1 0xe1
00001bde: SHL
00001bdf: DUP2
00001be0: MSTORE
00001be1: PUSH1 0x04
00001be3: ADD
00001be4: PUSH1 0x40
00001be6: MLOAD
00001be7: DUP1
00001be8: SWAP2
00001be9: SUB
00001bea: SWAP1
00001beb: REVERT
00001bec: JUMPDEST
00001bed: PUSH1 0x00
00001bef: SLOAD
00001bf0: PUSH1 0x01
00001bf2: PUSH1 0xa8
00001bf4: SHL
00001bf5: SWAP1
00001bf6: DIV
00001bf7: PUSH1 0xff
00001bf9: AND
00001bfa: PUSH2 0x1c15
00001bfd: JUMPI
00001bfe: PUSH1 0x40
00001c00: MLOAD
00001c01: PUSH3 0x461bcd
00001c05: PUSH1 0xe5
00001c07: SHL
00001c08: DUP2
00001c09: MSTORE
00001c0a: PUSH1 0x04
00001c0c: ADD
00001c0d: PUSH2 0x0add
00001c10: SWAP1
00001c11: PUSH2 0x257a
00001c14: JUMP
00001c15: JUMPDEST
00001c16: PUSH2 0x05c1
00001c19: PUSH2 0x1f22
00001c1c: JUMP
00001c1d: JUMPDEST
00001c1e: PUSH1 0x00
00001c20: SLOAD
00001c21: PUSH1 0x01
00001c23: PUSH1 0xa8
00001c25: SHL
00001c26: SWAP1
00001c27: DIV
00001c28: PUSH1 0xff
00001c2a: AND
00001c2b: PUSH2 0x1c46
00001c2e: JUMPI
00001c2f: PUSH1 0x40
00001c31: MLOAD
00001c32: PUSH3 0x461bcd
00001c36: PUSH1 0xe5
00001c38: SHL
00001c39: DUP2
00001c3a: MSTORE
00001c3b: PUSH1 0x04
00001c3d: ADD
00001c3e: PUSH2 0x0add
00001c41: SWAP1
00001c42: PUSH2 0x257a
00001c45: JUMP
00001c46: JUMPDEST
00001c47: PUSH2 0x05c1
00001c4a: PUSH2 0x1f57
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: PUSH1 0x33
00001c51: SLOAD
00001c52: PUSH1 0xff
00001c54: AND
00001c55: ISZERO
00001c56: PUSH2 0x05c1
00001c59: JUMPI
00001c5a: PUSH1 0x40
00001c5c: MLOAD
00001c5d: PUSH3 0x461bcd
00001c61: PUSH1 0xe5
00001c63: SHL
00001c64: DUP2
00001c65: MSTORE
00001c66: PUSH1 0x20
00001c68: PUSH1 0x04
00001c6a: DUP3
00001c6b: ADD
00001c6c: MSTORE
00001c6d: PUSH1 0x10
00001c6f: PUSH1 0x24
00001c71: DUP3
00001c72: ADD
00001c73: MSTORE
00001c74: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001c85: PUSH1 0x82
00001c87: SHL
00001c88: PUSH1 0x44
00001c8a: DUP3
00001c8b: ADD
00001c8c: MSTORE
00001c8d: PUSH1 0x64
00001c8f: ADD
00001c90: PUSH2 0x0add
00001c93: JUMP
00001c94: JUMPDEST
00001c95: PUSH1 0x40
00001c97: MLOAD
00001c98: PUSH1 0x01
00001c9a: PUSH1 0x01
00001c9c: PUSH1 0xa0
00001c9e: SHL
00001c9f: SUB
00001ca0: DUP1
00001ca1: DUP6
00001ca2: AND
00001ca3: PUSH1 0x24
00001ca5: DUP4
00001ca6: ADD
00001ca7: MSTORE
00001ca8: DUP4
00001ca9: AND
00001caa: PUSH1 0x44
00001cac: DUP3
00001cad: ADD
00001cae: MSTORE
00001caf: PUSH1 0x64
00001cb1: DUP2
00001cb2: ADD
00001cb3: DUP3
00001cb4: SWAP1
00001cb5: MSTORE
00001cb6: PUSH2 0x14c0
00001cb9: SWAP1
00001cba: DUP6
00001cbb: SWAP1
00001cbc: PUSH4 0x23b872dd
00001cc1: PUSH1 0xe0
00001cc3: SHL
00001cc4: SWAP1
00001cc5: PUSH1 0x84
00001cc7: ADD
00001cc8: JUMPDEST
00001cc9: PUSH1 0x40
00001ccb: DUP1
00001ccc: MLOAD
00001ccd: PUSH1 0x1f
00001ccf: NOT
00001cd0: DUP2
00001cd1: DUP5
00001cd2: SUB
00001cd3: ADD
00001cd4: DUP2
00001cd5: MSTORE
00001cd6: SWAP2
00001cd7: SWAP1
00001cd8: MSTORE
00001cd9: PUSH1 0x20
00001cdb: DUP2
00001cdc: ADD
00001cdd: DUP1
00001cde: MLOAD
00001cdf: PUSH1 0x01
00001ce1: PUSH1 0x01
00001ce3: PUSH1 0xe0
00001ce5: SHL
00001ce6: SUB
00001ce7: AND
00001ce8: PUSH1 0x01
00001cea: PUSH1 0x01
00001cec: PUSH1 0xe0
00001cee: SHL
00001cef: SUB
00001cf0: NOT
00001cf1: SWAP1
00001cf2: SWAP4
00001cf3: AND
00001cf4: SWAP3
00001cf5: SWAP1
00001cf6: SWAP3
00001cf7: OR
00001cf8: SWAP1
00001cf9: SWAP2
00001cfa: MSTORE
00001cfb: PUSH2 0x1f80
00001cfe: JUMP
00001cff: JUMPDEST
00001d00: PUSH1 0x01
00001d02: PUSH1 0x01
00001d04: PUSH1 0xa0
00001d06: SHL
00001d07: SUB
00001d08: DUP4
00001d09: AND
00001d0a: PUSH1 0x00
00001d0c: SWAP1
00001d0d: DUP2
00001d0e: MSTORE
00001d0f: PUSH1 0x99
00001d11: PUSH1 0x20
00001d13: MSTORE
00001d14: PUSH1 0x40
00001d16: DUP2
00001d17: KECCAK256
00001d18: SLOAD
00001d19: SWAP1
00001d1a: PUSH2 0x1d23
00001d1d: DUP6
00001d1e: DUP4
00001d1f: PUSH2 0x04e1
00001d22: JUMP
00001d23: JUMPDEST
00001d24: PUSH1 0x40
00001d26: DUP1
00001d27: MLOAD
00001d28: PUSH1 0x60
00001d2a: DUP2
00001d2b: ADD
00001d2c: DUP3
00001d2d: MSTORE
00001d2e: DUP7
00001d2f: DUP2
00001d30: MSTORE
00001d31: PUSH1 0x20
00001d33: DUP1
00001d34: DUP3
00001d35: ADD
00001d36: DUP8
00001d37: DUP2
00001d38: MSTORE
00001d39: NUMBER
00001d3a: DUP4
00001d3b: DUP6
00001d3c: ADD
00001d3d: SWAP1
00001d3e: DUP2
00001d3f: MSTORE
00001d40: PUSH1 0x00
00001d42: DUP7
00001d43: DUP2
00001d44: MSTORE
00001d45: PUSH1 0x9b
00001d47: DUP5
00001d48: MSTORE
00001d49: DUP6
00001d4a: DUP2
00001d4b: KECCAK256
00001d4c: SWAP5
00001d4d: MLOAD
00001d4e: DUP6
00001d4f: SSTORE
00001d50: SWAP2
00001d51: MLOAD
00001d52: PUSH1 0x01
00001d54: DUP6
00001d55: ADD
00001d56: SSTORE
00001d57: MLOAD
00001d58: PUSH1 0x02
00001d5a: SWAP1
00001d5b: SWAP4
00001d5c: ADD
00001d5d: SWAP3
00001d5e: SWAP1
00001d5f: SWAP3
00001d60: SSTORE
00001d61: PUSH1 0x01
00001d63: PUSH1 0x01
00001d65: PUSH1 0xa0
00001d67: SHL
00001d68: SUB
00001d69: DUP10
00001d6a: AND
00001d6b: DUP3
00001d6c: MSTORE
00001d6d: PUSH1 0x9c
00001d6f: DUP2
00001d70: MSTORE
00001d71: DUP3
00001d72: DUP3
00001d73: KECCAK256
00001d74: CALLER
00001d75: DUP4
00001d76: MSTORE
00001d77: SWAP1
00001d78: MSTORE
00001d79: KECCAK256
00001d7a: SWAP1
00001d7b: SWAP2
00001d7c: POP
00001d7d: PUSH2 0x1d86
00001d80: SWAP1
00001d81: DUP4
00001d82: PUSH2 0x2055
00001d85: JUMP
00001d86: JUMPDEST
00001d87: PUSH2 0x1d91
00001d8a: DUP3
00001d8b: PUSH1 0x01
00001d8d: PUSH2 0x2538
00001d90: JUMP
00001d91: JUMPDEST
00001d92: PUSH1 0x01
00001d94: PUSH1 0x01
00001d96: PUSH1 0xa0
00001d98: SHL
00001d99: SUB
00001d9a: DUP7
00001d9b: AND
00001d9c: PUSH1 0x00
00001d9e: DUP2
00001d9f: DUP2
00001da0: MSTORE
00001da1: PUSH1 0x99
00001da3: PUSH1 0x20
00001da5: SWAP1
00001da6: DUP2
00001da7: MSTORE
00001da8: PUSH1 0x40
00001daa: SWAP2
00001dab: DUP3
00001dac: SWAP1
00001dad: KECCAK256
00001dae: SWAP4
00001daf: SWAP1
00001db0: SWAP4
00001db1: SSTORE
00001db2: MLOAD
00001db3: DUP7
00001db4: DUP2
00001db5: MSTORE
00001db6: DUP5
00001db7: SWAP3
00001db8: CALLER
00001db9: SWAP2
00001dba: PUSH32 0xd1ff36888873897951eaf991bca7db625b8ed70bf2b0d54441907bdab02b08d7
00001ddb: SWAP2
00001ddc: ADD
00001ddd: PUSH1 0x40
00001ddf: MLOAD
00001de0: DUP1
00001de1: SWAP2
00001de2: SUB
00001de3: SWAP1
00001de4: LOG4
00001de5: POP
00001de6: POP
00001de7: POP
00001de8: POP
00001de9: POP
00001dea: JUMP
00001deb: JUMPDEST
00001dec: DUP1
00001ded: SLOAD
00001dee: PUSH1 0x00
00001df0: SWAP1
00001df1: PUSH1 0x01
00001df3: PUSH1 0x01
00001df5: PUSH1 0x80
00001df7: SHL
00001df8: SUB
00001df9: DUP1
00001dfa: DUP3
00001dfb: AND
00001dfc: SWAP2
00001dfd: PUSH1 0x01
00001dff: PUSH1 0x80
00001e01: SHL
00001e02: SWAP1
00001e03: DIV
00001e04: AND
00001e05: DUP2
00001e06: SUB
00001e07: PUSH2 0x1e23
00001e0a: JUMPI
00001e0b: PUSH1 0x40
00001e0d: MLOAD
00001e0e: PUSH4 0x75e52f4f
00001e13: PUSH1 0xe0
00001e15: SHL
00001e16: DUP2
00001e17: MSTORE
00001e18: PUSH1 0x04
00001e1a: ADD
00001e1b: PUSH1 0x40
00001e1d: MLOAD
00001e1e: DUP1
00001e1f: SWAP2
00001e20: SUB
00001e21: SWAP1
00001e22: REVERT
00001e23: JUMPDEST
00001e24: PUSH1 0x01
00001e26: PUSH1 0x01
00001e28: PUSH1 0x80
00001e2a: SHL
00001e2b: SUB
00001e2c: DUP2
00001e2d: DUP2
00001e2e: AND
00001e2f: PUSH1 0x00
00001e31: SWAP1
00001e32: DUP2
00001e33: MSTORE
00001e34: PUSH1 0x01
00001e36: DUP6
00001e37: DUP2
00001e38: ADD
00001e39: PUSH1 0x20
00001e3b: MSTORE
00001e3c: PUSH1 0x40
00001e3e: DUP3
00001e3f: KECCAK256
00001e40: DUP1
00001e41: SLOAD
00001e42: SWAP3
00001e43: SWAP1
00001e44: SSTORE
00001e45: DUP6
00001e46: SLOAD
00001e47: PUSH16 0xffffffffffffffffffffffffffffffff
00001e58: NOT
00001e59: AND
00001e5a: SWAP4
00001e5b: ADD
00001e5c: SWAP1
00001e5d: SWAP2
00001e5e: AND
00001e5f: SWAP2
00001e60: SWAP1
00001e61: SWAP2
00001e62: OR
00001e63: SWAP1
00001e64: SWAP3
00001e65: SSTORE
00001e66: POP
00001e67: SWAP1
00001e68: JUMP
00001e69: JUMPDEST
00001e6a: PUSH1 0x40
00001e6c: MLOAD
00001e6d: PUSH1 0x01
00001e6f: PUSH1 0x01
00001e71: PUSH1 0xa0
00001e73: SHL
00001e74: SUB
00001e75: DUP4
00001e76: AND
00001e77: PUSH1 0x24
00001e79: DUP3
00001e7a: ADD
00001e7b: MSTORE
00001e7c: PUSH1 0x44
00001e7e: DUP2
00001e7f: ADD
00001e80: DUP3
00001e81: SWAP1
00001e82: MSTORE
00001e83: PUSH2 0x1705
00001e86: SWAP1
00001e87: DUP5
00001e88: SWAP1
00001e89: PUSH4 0xa9059cbb
00001e8e: PUSH1 0xe0
00001e90: SHL
00001e91: SWAP1
00001e92: PUSH1 0x64
00001e94: ADD
00001e95: PUSH2 0x1cc8
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: PUSH1 0x33
00001e9c: SLOAD
00001e9d: PUSH1 0xff
00001e9f: AND
00001ea0: PUSH2 0x05c1
00001ea3: JUMPI
00001ea4: PUSH1 0x40
00001ea6: MLOAD
00001ea7: PUSH3 0x461bcd
00001eab: PUSH1 0xe5
00001ead: SHL
00001eae: DUP2
00001eaf: MSTORE
00001eb0: PUSH1 0x20
00001eb2: PUSH1 0x04
00001eb4: DUP3
00001eb5: ADD
00001eb6: MSTORE
00001eb7: PUSH1 0x14
00001eb9: PUSH1 0x24
00001ebb: DUP3
00001ebc: ADD
00001ebd: MSTORE
00001ebe: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00001ed3: PUSH1 0x62
00001ed5: SHL
00001ed6: PUSH1 0x44
00001ed8: DUP3
00001ed9: ADD
00001eda: MSTORE
00001edb: PUSH1 0x64
00001edd: ADD
00001ede: PUSH2 0x0add
00001ee1: JUMP
00001ee2: JUMPDEST
00001ee3: PUSH1 0x00
00001ee5: DUP1
00001ee6: DUP3
00001ee7: DUP5
00001ee8: DUP7
00001ee9: PUSH1 0x00
00001eeb: ADD
00001eec: SLOAD
00001eed: PUSH2 0x1ef6
00001ef0: SWAP2
00001ef1: SWAP1
00001ef2: PUSH2 0x24a8
00001ef5: JUMP
00001ef6: JUMPDEST
00001ef7: PUSH2 0x1f00
00001efa: SWAP2
00001efb: SWAP1
00001efc: PUSH2 0x24bf
00001eff: JUMP
00001f00: JUMPDEST
00001f01: SWAP1
00001f02: POP
00001f03: DUP1
00001f04: DUP6
00001f05: PUSH1 0x01
00001f07: ADD
00001f08: SLOAD
00001f09: LT
00001f0a: PUSH2 0x1f13
00001f0d: JUMPI
00001f0e: DUP1
00001f0f: PUSH2 0x1f19
00001f12: JUMP
00001f13: JUMPDEST
00001f14: DUP5
00001f15: PUSH1 0x01
00001f17: ADD
00001f18: SLOAD
00001f19: JUMPDEST
00001f1a: SWAP6
00001f1b: SWAP5
00001f1c: POP
00001f1d: POP
00001f1e: POP
00001f1f: POP
00001f20: POP
00001f21: JUMP
00001f22: JUMPDEST
00001f23: PUSH1 0x00
00001f25: SLOAD
00001f26: PUSH1 0x01
00001f28: PUSH1 0xa8
00001f2a: SHL
00001f2b: SWAP1
00001f2c: DIV
00001f2d: PUSH1 0xff
00001f2f: AND
00001f30: PUSH2 0x1f4b
00001f33: JUMPI
00001f34: PUSH1 0x40
00001f36: MLOAD
00001f37: PUSH3 0x461bcd
00001f3b: PUSH1 0xe5
00001f3d: SHL
00001f3e: DUP2
00001f3f: MSTORE
00001f40: PUSH1 0x04
00001f42: ADD
00001f43: PUSH2 0x0add
00001f46: SWAP1
00001f47: PUSH2 0x257a
00001f4a: JUMP
00001f4b: JUMPDEST
00001f4c: PUSH1 0x33
00001f4e: DUP1
00001f4f: SLOAD
00001f50: PUSH1 0xff
00001f52: NOT
00001f53: AND
00001f54: SWAP1
00001f55: SSTORE
00001f56: JUMP
00001f57: JUMPDEST
00001f58: PUSH1 0x00
00001f5a: SLOAD
00001f5b: PUSH1 0x01
00001f5d: PUSH1 0xa8
00001f5f: SHL
00001f60: SWAP1
00001f61: DIV
00001f62: PUSH1 0xff
00001f64: AND
00001f65: PUSH2 0x1bbe
00001f68: JUMPI
00001f69: PUSH1 0x40
00001f6b: MLOAD
00001f6c: PUSH3 0x461bcd
00001f70: PUSH1 0xe5
00001f72: SHL
00001f73: DUP2
00001f74: MSTORE
00001f75: PUSH1 0x04
00001f77: ADD
00001f78: PUSH2 0x0add
00001f7b: SWAP1
00001f7c: PUSH2 0x257a
00001f7f: JUMP
00001f80: JUMPDEST
00001f81: PUSH1 0x00
00001f83: PUSH2 0x1fd5
00001f86: DUP3
00001f87: PUSH1 0x40
00001f89: MLOAD
00001f8a: DUP1
00001f8b: PUSH1 0x40
00001f8d: ADD
00001f8e: PUSH1 0x40
00001f90: MSTORE
00001f91: DUP1
00001f92: PUSH1 0x20
00001f94: DUP2
00001f95: MSTORE
00001f96: PUSH1 0x20
00001f98: ADD
00001f99: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001fba: DUP2
00001fbb: MSTORE
00001fbc: POP
00001fbd: DUP6
00001fbe: PUSH1 0x01
00001fc0: PUSH1 0x01
00001fc2: PUSH1 0xa0
00001fc4: SHL
00001fc5: SUB
00001fc6: AND
00001fc7: PUSH2 0x20c6
00001fca: SWAP1
00001fcb: SWAP3
00001fcc: SWAP2
00001fcd: SWAP1
00001fce: PUSH4 0xffffffff
00001fd3: AND
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: SWAP1
00001fd7: POP
00001fd8: DUP1
00001fd9: MLOAD
00001fda: PUSH1 0x00
00001fdc: EQ
00001fdd: DUP1
00001fde: PUSH2 0x1ff6
00001fe1: JUMPI
00001fe2: POP
00001fe3: DUP1
00001fe4: DUP1
00001fe5: PUSH1 0x20
00001fe7: ADD
00001fe8: SWAP1
00001fe9: MLOAD
00001fea: DUP2
00001feb: ADD
00001fec: SWAP1
00001fed: PUSH2 0x1ff6
00001ff0: SWAP2
00001ff1: SWAP1
00001ff2: PUSH2 0x2427
00001ff5: JUMP
00001ff6: JUMPDEST
00001ff7: PUSH2 0x1705
00001ffa: JUMPI
00001ffb: PUSH1 0x40
00001ffd: MLOAD
00001ffe: PUSH3 0x461bcd
00002002: PUSH1 0xe5
00002004: SHL
00002005: DUP2
00002006: MSTORE
00002007: PUSH1 0x20
00002009: PUSH1 0x04
0000200b: DUP3
0000200c: ADD
0000200d: MSTORE
0000200e: PUSH1 0x2a
00002010: PUSH1 0x24
00002012: DUP3
00002013: ADD
00002014: MSTORE
00002015: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002036: PUSH1 0x44
00002038: DUP3
00002039: ADD
0000203a: MSTORE
0000203b: PUSH10 0x1bdd081cdd58d8d95959
00002046: PUSH1 0xb2
00002048: SHL
00002049: PUSH1 0x64
0000204b: DUP3
0000204c: ADD
0000204d: MSTORE
0000204e: PUSH1 0x84
00002050: ADD
00002051: PUSH2 0x0add
00002054: JUMP
00002055: JUMPDEST
00002056: DUP2
00002057: SLOAD
00002058: PUSH1 0x01
0000205a: PUSH1 0x01
0000205c: PUSH1 0x80
0000205e: SHL
0000205f: SUB
00002060: PUSH1 0x01
00002062: PUSH1 0x80
00002064: SHL
00002065: DUP3
00002066: DIV
00002067: DUP2
00002068: AND
00002069: SWAP2
0000206a: DUP2
0000206b: AND
0000206c: PUSH1 0x01
0000206e: DUP4
0000206f: ADD
00002070: SWAP1
00002071: SWAP2
00002072: AND
00002073: SUB
00002074: PUSH2 0x2090
00002077: JUMPI
00002078: PUSH1 0x40
0000207a: MLOAD
0000207b: PUSH4 0x8acb5f27
00002080: PUSH1 0xe0
00002082: SHL
00002083: DUP2
00002084: MSTORE
00002085: PUSH1 0x04
00002087: ADD
00002088: PUSH1 0x40
0000208a: MLOAD
0000208b: DUP1
0000208c: SWAP2
0000208d: SUB
0000208e: SWAP1
0000208f: REVERT
00002090: JUMPDEST
00002091: PUSH1 0x01
00002093: PUSH1 0x01
00002095: PUSH1 0x80
00002097: SHL
00002098: SUB
00002099: DUP1
0000209a: DUP3
0000209b: AND
0000209c: PUSH1 0x00
0000209e: SWAP1
0000209f: DUP2
000020a0: MSTORE
000020a1: PUSH1 0x01
000020a3: DUP1
000020a4: DUP7
000020a5: ADD
000020a6: PUSH1 0x20
000020a8: MSTORE
000020a9: PUSH1 0x40
000020ab: SWAP1
000020ac: SWAP2
000020ad: KECCAK256
000020ae: SWAP4
000020af: SWAP1
000020b0: SWAP4
000020b1: SSTORE
000020b2: DUP4
000020b3: SLOAD
000020b4: SWAP2
000020b5: SWAP1
000020b6: SWAP3
000020b7: ADD
000020b8: DUP3
000020b9: AND
000020ba: PUSH1 0x01
000020bc: PUSH1 0x80
000020be: SHL
000020bf: MUL
000020c0: SWAP2
000020c1: AND
000020c2: OR
000020c3: SWAP1
000020c4: SSTORE
000020c5: JUMP
000020c6: JUMPDEST
000020c7: PUSH1 0x60
000020c9: PUSH2 0x088c
000020cc: DUP5
000020cd: DUP5
000020ce: PUSH1 0x00
000020d0: DUP6
000020d1: DUP6
000020d2: PUSH1 0x00
000020d4: DUP1
000020d5: DUP7
000020d6: PUSH1 0x01
000020d8: PUSH1 0x01
000020da: PUSH1 0xa0
000020dc: SHL
000020dd: SUB
000020de: AND
000020df: DUP6
000020e0: DUP8
000020e1: PUSH1 0x40
000020e3: MLOAD
000020e4: PUSH2 0x20ed
000020e7: SWAP2
000020e8: SWAP1
000020e9: PUSH2 0x25c5
000020ec: JUMP
000020ed: JUMPDEST
000020ee: PUSH1 0x00
000020f0: PUSH1 0x40
000020f2: MLOAD
000020f3: DUP1
000020f4: DUP4
000020f5: SUB
000020f6: DUP2
000020f7: DUP6
000020f8: DUP8
000020f9: GAS
000020fa: CALL
000020fb: SWAP3
000020fc: POP
000020fd: POP
000020fe: POP
000020ff: RETURNDATASIZE
00002100: DUP1
00002101: PUSH1 0x00
00002103: DUP2
00002104: EQ
00002105: PUSH2 0x212a
00002108: JUMPI
00002109: PUSH1 0x40
0000210b: MLOAD
0000210c: SWAP2
0000210d: POP
0000210e: PUSH1 0x1f
00002110: NOT
00002111: PUSH1 0x3f
00002113: RETURNDATASIZE
00002114: ADD
00002115: AND
00002116: DUP3
00002117: ADD
00002118: PUSH1 0x40
0000211a: MSTORE
0000211b: RETURNDATASIZE
0000211c: DUP3
0000211d: MSTORE
0000211e: RETURNDATASIZE
0000211f: PUSH1 0x00
00002121: PUSH1 0x20
00002123: DUP5
00002124: ADD
00002125: RETURNDATACOPY
00002126: PUSH2 0x212f
00002129: JUMP
0000212a: JUMPDEST
0000212b: PUSH1 0x60
0000212d: SWAP2
0000212e: POP
0000212f: JUMPDEST
00002130: POP
00002131: SWAP2
00002132: POP
00002133: SWAP2
00002134: POP
00002135: PUSH2 0x2140
00002138: DUP8
00002139: DUP4
0000213a: DUP4
0000213b: DUP8
0000213c: PUSH2 0x214b
0000213f: JUMP
00002140: JUMPDEST
00002141: SWAP8
00002142: SWAP7
00002143: POP
00002144: POP
00002145: POP
00002146: POP
00002147: POP
00002148: POP
00002149: POP
0000214a: JUMP
0000214b: JUMPDEST
0000214c: PUSH1 0x60
0000214e: DUP4
0000214f: ISZERO
00002150: PUSH2 0x21ba
00002153: JUMPI
00002154: DUP3
00002155: MLOAD
00002156: PUSH1 0x00
00002158: SUB
00002159: PUSH2 0x21b3
0000215c: JUMPI
0000215d: PUSH1 0x01
0000215f: PUSH1 0x01
00002161: PUSH1 0xa0
00002163: SHL
00002164: SUB
00002165: DUP6
00002166: AND
00002167: EXTCODESIZE
00002168: PUSH2 0x21b3
0000216b: JUMPI
0000216c: PUSH1 0x40
0000216e: MLOAD
0000216f: PUSH3 0x461bcd
00002173: PUSH1 0xe5
00002175: SHL
00002176: DUP2
00002177: MSTORE
00002178: PUSH1 0x20
0000217a: PUSH1 0x04
0000217c: DUP3
0000217d: ADD
0000217e: MSTORE
0000217f: PUSH1 0x1d
00002181: PUSH1 0x24
00002183: DUP3
00002184: ADD
00002185: MSTORE
00002186: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000021a7: PUSH1 0x44
000021a9: DUP3
000021aa: ADD
000021ab: MSTORE
000021ac: PUSH1 0x64
000021ae: ADD
000021af: PUSH2 0x0add
000021b2: JUMP
000021b3: JUMPDEST
000021b4: POP
000021b5: DUP2
000021b6: PUSH2 0x088c
000021b9: JUMP
000021ba: JUMPDEST
000021bb: PUSH2 0x088c
000021be: DUP4
000021bf: DUP4
000021c0: DUP2
000021c1: MLOAD
000021c2: ISZERO
000021c3: PUSH2 0x21cf
000021c6: JUMPI
000021c7: DUP2
000021c8: MLOAD
000021c9: DUP1
000021ca: DUP4
000021cb: PUSH1 0x20
000021cd: ADD
000021ce: REVERT
000021cf: JUMPDEST
000021d0: DUP1
000021d1: PUSH1 0x40
000021d3: MLOAD
000021d4: PUSH3 0x461bcd
000021d8: PUSH1 0xe5
000021da: SHL
000021db: DUP2
000021dc: MSTORE
000021dd: PUSH1 0x04
000021df: ADD
000021e0: PUSH2 0x0add
000021e3: SWAP2
000021e4: SWAP1
000021e5: PUSH2 0x2505
000021e8: JUMP
000021e9: JUMPDEST
000021ea: PUSH1 0x00
000021ec: PUSH1 0x20
000021ee: DUP3
000021ef: DUP5
000021f0: SUB
000021f1: SLT
000021f2: ISZERO
000021f3: PUSH2 0x21fb
000021f6: JUMPI
000021f7: PUSH1 0x00
000021f9: DUP1
000021fa: REVERT
000021fb: JUMPDEST
000021fc: POP
000021fd: CALLDATALOAD
000021fe: SWAP2
000021ff: SWAP1
00002200: POP
00002201: JUMP
00002202: JUMPDEST
00002203: PUSH1 0x01
00002205: PUSH1 0x01
00002207: PUSH1 0xa0
00002209: SHL
0000220a: SUB
0000220b: DUP2
0000220c: AND
0000220d: DUP2
0000220e: EQ
0000220f: PUSH2 0x0aee
00002212: JUMPI
00002213: PUSH1 0x00
00002215: DUP1
00002216: REVERT
00002217: JUMPDEST
00002218: PUSH1 0x00
0000221a: DUP1
0000221b: PUSH1 0x40
0000221d: DUP4
0000221e: DUP6
0000221f: SUB
00002220: SLT
00002221: ISZERO
00002222: PUSH2 0x222a
00002225: JUMPI
00002226: PUSH1 0x00
00002228: DUP1
00002229: REVERT
0000222a: JUMPDEST
0000222b: DUP3
0000222c: CALLDATALOAD
0000222d: PUSH2 0x2235
00002230: DUP2
00002231: PUSH2 0x2202
00002234: JUMP
00002235: JUMPDEST
00002236: SWAP5
00002237: PUSH1 0x20
00002239: SWAP4
0000223a: SWAP1
0000223b: SWAP4
0000223c: ADD
0000223d: CALLDATALOAD
0000223e: SWAP4
0000223f: POP
00002240: POP
00002241: POP
00002242: JUMP
00002243: JUMPDEST
00002244: PUSH1 0x00
00002246: DUP1
00002247: PUSH1 0x00
00002249: PUSH1 0x60
0000224b: DUP5
0000224c: DUP7
0000224d: SUB
0000224e: SLT
0000224f: ISZERO
00002250: PUSH2 0x2258
00002253: JUMPI
00002254: PUSH1 0x00
00002256: DUP1
00002257: REVERT
00002258: JUMPDEST
00002259: DUP4
0000225a: CALLDATALOAD
0000225b: PUSH2 0x2263
0000225e: DUP2
0000225f: PUSH2 0x2202
00002262: JUMP
00002263: JUMPDEST
00002264: SWAP3
00002265: POP
00002266: PUSH1 0x20
00002268: DUP5
00002269: ADD
0000226a: CALLDATALOAD
0000226b: PUSH2 0x2273
0000226e: DUP2
0000226f: PUSH2 0x2202
00002272: JUMP
00002273: JUMPDEST
00002274: SWAP3
00002275: SWAP6
00002276: SWAP3
00002277: SWAP5
00002278: POP
00002279: POP
0000227a: POP
0000227b: PUSH1 0x40
0000227d: SWAP2
0000227e: SWAP1
0000227f: SWAP2
00002280: ADD
00002281: CALLDATALOAD
00002282: SWAP1
00002283: JUMP
00002284: JUMPDEST
00002285: PUSH1 0x00
00002287: PUSH1 0x20
00002289: DUP3
0000228a: DUP5
0000228b: SUB
0000228c: SLT
0000228d: ISZERO
0000228e: PUSH2 0x2296
00002291: JUMPI
00002292: PUSH1 0x00
00002294: DUP1
00002295: REVERT
00002296: JUMPDEST
00002297: DUP2
00002298: CALLDATALOAD
00002299: PUSH2 0x22a1
0000229c: DUP2
0000229d: PUSH2 0x2202
000022a0: JUMP
000022a1: JUMPDEST
000022a2: SWAP4
000022a3: SWAP3
000022a4: POP
000022a5: POP
000022a6: POP
000022a7: JUMP
000022a8: JUMPDEST
000022a9: PUSH1 0x00
000022ab: DUP1
000022ac: PUSH1 0x40
000022ae: DUP4
000022af: DUP6
000022b0: SUB
000022b1: SLT
000022b2: ISZERO
000022b3: PUSH2 0x22bb
000022b6: JUMPI
000022b7: PUSH1 0x00
000022b9: DUP1
000022ba: REVERT
000022bb: JUMPDEST
000022bc: DUP3
000022bd: CALLDATALOAD
000022be: PUSH2 0x22c6
000022c1: DUP2
000022c2: PUSH2 0x2202
000022c5: JUMP
000022c6: JUMPDEST
000022c7: SWAP2
000022c8: POP
000022c9: PUSH1 0x20
000022cb: DUP4
000022cc: ADD
000022cd: CALLDATALOAD
000022ce: PUSH2 0x22d6
000022d1: DUP2
000022d2: PUSH2 0x2202
000022d5: JUMP
000022d6: JUMPDEST
000022d7: DUP1
000022d8: SWAP2
000022d9: POP
000022da: POP
000022db: SWAP3
000022dc: POP
000022dd: SWAP3
000022de: SWAP1
000022df: POP
000022e0: JUMP
000022e1: JUMPDEST
000022e2: PUSH1 0x00
000022e4: DUP1
000022e5: PUSH1 0x00
000022e7: DUP1
000022e8: PUSH1 0x00
000022ea: DUP1
000022eb: PUSH1 0xc0
000022ed: DUP8
000022ee: DUP10
000022ef: SUB
000022f0: SLT
000022f1: ISZERO
000022f2: PUSH2 0x22fa
000022f5: JUMPI
000022f6: PUSH1 0x00
000022f8: DUP1
000022f9: REVERT
000022fa: JUMPDEST
000022fb: DUP7
000022fc: CALLDATALOAD
000022fd: PUSH2 0x2305
00002300: DUP2
00002301: PUSH2 0x2202
00002304: JUMP
00002305: JUMPDEST
00002306: SWAP9
00002307: PUSH1 0x20
00002309: DUP9
0000230a: ADD
0000230b: CALLDATALOAD
0000230c: SWAP9
0000230d: POP
0000230e: PUSH1 0x40
00002310: DUP9
00002311: ADD
00002312: CALLDATALOAD
00002313: SWAP8
00002314: PUSH1 0x60
00002316: DUP2
00002317: ADD
00002318: CALLDATALOAD
00002319: SWAP8
0000231a: POP
0000231b: PUSH1 0x80
0000231d: DUP2
0000231e: ADD
0000231f: CALLDATALOAD
00002320: SWAP7
00002321: POP
00002322: PUSH1 0xa0
00002324: ADD
00002325: CALLDATALOAD
00002326: SWAP5
00002327: POP
00002328: SWAP3
00002329: POP
0000232a: POP
0000232b: POP
0000232c: JUMP
0000232d: JUMPDEST
0000232e: PUSH1 0x00
00002330: DUP1
00002331: DUP4
00002332: PUSH1 0x1f
00002334: DUP5
00002335: ADD
00002336: SLT
00002337: PUSH2 0x233f
0000233a: JUMPI
0000233b: PUSH1 0x00
0000233d: DUP1
0000233e: REVERT
0000233f: JUMPDEST
00002340: POP
00002341: DUP2
00002342: CALLDATALOAD
00002343: PUSH8 0xffffffffffffffff
0000234c: DUP2
0000234d: GT
0000234e: ISZERO
0000234f: PUSH2 0x2357
00002352: JUMPI
00002353: PUSH1 0x00
00002355: DUP1
00002356: REVERT
00002357: JUMPDEST
00002358: PUSH1 0x20
0000235a: DUP4
0000235b: ADD
0000235c: SWAP2
0000235d: POP
0000235e: DUP4
0000235f: PUSH1 0x20
00002361: DUP3
00002362: DUP6
00002363: ADD
00002364: ADD
00002365: GT
00002366: ISZERO
00002367: PUSH2 0x236f
0000236a: JUMPI
0000236b: PUSH1 0x00
0000236d: DUP1
0000236e: REVERT
0000236f: JUMPDEST
00002370: SWAP3
00002371: POP
00002372: SWAP3
00002373: SWAP1
00002374: POP
00002375: JUMP
00002376: JUMPDEST
00002377: PUSH1 0x00
00002379: DUP1
0000237a: PUSH1 0x00
0000237c: DUP1
0000237d: PUSH1 0x60
0000237f: DUP6
00002380: DUP8
00002381: SUB
00002382: SLT
00002383: ISZERO
00002384: PUSH2 0x238c
00002387: JUMPI
00002388: PUSH1 0x00
0000238a: DUP1
0000238b: REVERT
0000238c: JUMPDEST
0000238d: DUP5
0000238e: CALLDATALOAD
0000238f: PUSH2 0x2397
00002392: DUP2
00002393: PUSH2 0x2202
00002396: JUMP
00002397: JUMPDEST
00002398: SWAP4
00002399: POP
0000239a: PUSH1 0x20
0000239c: DUP6
0000239d: ADD
0000239e: CALLDATALOAD
0000239f: SWAP3
000023a0: POP
000023a1: PUSH1 0x40
000023a3: DUP6
000023a4: ADD
000023a5: CALLDATALOAD
000023a6: PUSH8 0xffffffffffffffff
000023af: DUP2
000023b0: GT
000023b1: ISZERO
000023b2: PUSH2 0x23ba
000023b5: JUMPI
000023b6: PUSH1 0x00
000023b8: DUP1
000023b9: REVERT
000023ba: JUMPDEST
000023bb: PUSH2 0x23c6
000023be: DUP8
000023bf: DUP3
000023c0: DUP9
000023c1: ADD
000023c2: PUSH2 0x232d
000023c5: JUMP
000023c6: JUMPDEST
000023c7: SWAP6
000023c8: SWAP9
000023c9: SWAP5
000023ca: SWAP8
000023cb: POP
000023cc: SWAP6
000023cd: POP
000023ce: POP
000023cf: POP
000023d0: POP
000023d1: JUMP
000023d2: JUMPDEST
000023d3: PUSH1 0x00
000023d5: DUP1
000023d6: PUSH1 0x00
000023d8: PUSH1 0x40
000023da: DUP5
000023db: DUP7
000023dc: SUB
000023dd: SLT
000023de: ISZERO
000023df: PUSH2 0x23e7
000023e2: JUMPI
000023e3: PUSH1 0x00
000023e5: DUP1
000023e6: REVERT
000023e7: JUMPDEST
000023e8: DUP4
000023e9: CALLDATALOAD
000023ea: PUSH2 0x23f2
000023ed: DUP2
000023ee: PUSH2 0x2202
000023f1: JUMP
000023f2: JUMPDEST
000023f3: SWAP3
000023f4: POP
000023f5: PUSH1 0x20
000023f7: DUP5
000023f8: ADD
000023f9: CALLDATALOAD
000023fa: PUSH8 0xffffffffffffffff
00002403: DUP2
00002404: GT
00002405: ISZERO
00002406: PUSH2 0x240e
00002409: JUMPI
0000240a: PUSH1 0x00
0000240c: DUP1
0000240d: REVERT
0000240e: JUMPDEST
0000240f: PUSH2 0x241a
00002412: DUP7
00002413: DUP3
00002414: DUP8
00002415: ADD
00002416: PUSH2 0x232d
00002419: JUMP
0000241a: JUMPDEST
0000241b: SWAP5
0000241c: SWAP8
0000241d: SWAP1
0000241e: SWAP7
0000241f: POP
00002420: SWAP4
00002421: SWAP5
00002422: POP
00002423: POP
00002424: POP
00002425: POP
00002426: JUMP
00002427: JUMPDEST
00002428: PUSH1 0x00
0000242a: PUSH1 0x20
0000242c: DUP3
0000242d: DUP5
0000242e: SUB
0000242f: SLT
00002430: ISZERO
00002431: PUSH2 0x2439
00002434: JUMPI
00002435: PUSH1 0x00
00002437: DUP1
00002438: REVERT
00002439: JUMPDEST
0000243a: DUP2
0000243b: MLOAD
0000243c: DUP1
0000243d: ISZERO
0000243e: ISZERO
0000243f: DUP2
00002440: EQ
00002441: PUSH2 0x22a1
00002444: JUMPI
00002445: PUSH1 0x00
00002447: DUP1
00002448: REVERT
00002449: JUMPDEST
0000244a: PUSH1 0x00
0000244c: PUSH1 0x20
0000244e: DUP3
0000244f: DUP5
00002450: SUB
00002451: SLT
00002452: ISZERO
00002453: PUSH2 0x245b
00002456: JUMPI
00002457: PUSH1 0x00
00002459: DUP1
0000245a: REVERT
0000245b: JUMPDEST
0000245c: DUP2
0000245d: MLOAD
0000245e: PUSH2 0x22a1
00002461: DUP2
00002462: PUSH2 0x2202
00002465: JUMP
00002466: JUMPDEST
00002467: PUSH1 0x00
00002469: PUSH1 0x20
0000246b: DUP3
0000246c: DUP5
0000246d: SUB
0000246e: SLT
0000246f: ISZERO
00002470: PUSH2 0x2478
00002473: JUMPI
00002474: PUSH1 0x00
00002476: DUP1
00002477: REVERT
00002478: JUMPDEST
00002479: POP
0000247a: MLOAD
0000247b: SWAP2
0000247c: SWAP1
0000247d: POP
0000247e: JUMP
0000247f: JUMPDEST
00002480: PUSH4 0x4e487b71
00002485: PUSH1 0xe0
00002487: SHL
00002488: PUSH1 0x00
0000248a: MSTORE
0000248b: PUSH1 0x11
0000248d: PUSH1 0x04
0000248f: MSTORE
00002490: PUSH1 0x24
00002492: PUSH1 0x00
00002494: REVERT
00002495: JUMPDEST
00002496: DUP2
00002497: DUP2
00002498: SUB
00002499: DUP2
0000249a: DUP2
0000249b: GT
0000249c: ISZERO
0000249d: PUSH2 0x0523
000024a0: JUMPI
000024a1: PUSH2 0x0523
000024a4: PUSH2 0x247f
000024a7: JUMP
000024a8: JUMPDEST
000024a9: DUP1
000024aa: DUP3
000024ab: MUL
000024ac: DUP2
000024ad: ISZERO
000024ae: DUP3
000024af: DUP3
000024b0: DIV
000024b1: DUP5
000024b2: EQ
000024b3: OR
000024b4: PUSH2 0x0523
000024b7: JUMPI
000024b8: PUSH2 0x0523
000024bb: PUSH2 0x247f
000024be: JUMP
000024bf: JUMPDEST
000024c0: PUSH1 0x00
000024c2: DUP3
000024c3: PUSH2 0x24dc
000024c6: JUMPI
000024c7: PUSH4 0x4e487b71
000024cc: PUSH1 0xe0
000024ce: SHL
000024cf: PUSH1 0x00
000024d1: MSTORE
000024d2: PUSH1 0x12
000024d4: PUSH1 0x04
000024d6: MSTORE
000024d7: PUSH1 0x24
000024d9: PUSH1 0x00
000024db: REVERT
000024dc: JUMPDEST
000024dd: POP
000024de: DIV
000024df: SWAP1
000024e0: JUMP
000024e1: JUMPDEST
000024e2: PUSH1 0x00
000024e4: JUMPDEST
000024e5: DUP4
000024e6: DUP2
000024e7: LT
000024e8: ISZERO
000024e9: PUSH2 0x24fc
000024ec: JUMPI
000024ed: DUP2
000024ee: DUP2
000024ef: ADD
000024f0: MLOAD
000024f1: DUP4
000024f2: DUP3
000024f3: ADD
000024f4: MSTORE
000024f5: PUSH1 0x20
000024f7: ADD
000024f8: PUSH2 0x24e4
000024fb: JUMP
000024fc: JUMPDEST
000024fd: POP
000024fe: POP
000024ff: PUSH1 0x00
00002501: SWAP2
00002502: ADD
00002503: MSTORE
00002504: JUMP
00002505: JUMPDEST
00002506: PUSH1 0x20
00002508: DUP2
00002509: MSTORE
0000250a: PUSH1 0x00
0000250c: DUP3
0000250d: MLOAD
0000250e: DUP1
0000250f: PUSH1 0x20
00002511: DUP5
00002512: ADD
00002513: MSTORE
00002514: PUSH2 0x2524
00002517: DUP2
00002518: PUSH1 0x40
0000251a: DUP6
0000251b: ADD
0000251c: PUSH1 0x20
0000251e: DUP8
0000251f: ADD
00002520: PUSH2 0x24e1
00002523: JUMP
00002524: JUMPDEST
00002525: PUSH1 0x1f
00002527: ADD
00002528: PUSH1 0x1f
0000252a: NOT
0000252b: AND
0000252c: SWAP2
0000252d: SWAP1
0000252e: SWAP2
0000252f: ADD
00002530: PUSH1 0x40
00002532: ADD
00002533: SWAP3
00002534: SWAP2
00002535: POP
00002536: POP
00002537: JUMP
00002538: JUMPDEST
00002539: DUP1
0000253a: DUP3
0000253b: ADD
0000253c: DUP1
0000253d: DUP3
0000253e: GT
0000253f: ISZERO
00002540: PUSH2 0x0523
00002543: JUMPI
00002544: PUSH2 0x0523
00002547: PUSH2 0x247f
0000254a: JUMP
0000254b: JUMPDEST
0000254c: PUSH1 0x20
0000254e: DUP2
0000254f: MSTORE
00002550: DUP2
00002551: PUSH1 0x20
00002553: DUP3
00002554: ADD
00002555: MSTORE
00002556: DUP2
00002557: DUP4
00002558: PUSH1 0x40
0000255a: DUP4
0000255b: ADD
0000255c: CALLDATACOPY
0000255d: PUSH1 0x00
0000255f: DUP2
00002560: DUP4
00002561: ADD
00002562: PUSH1 0x40
00002564: SWAP1
00002565: DUP2
00002566: ADD
00002567: SWAP2
00002568: SWAP1
00002569: SWAP2
0000256a: MSTORE
0000256b: PUSH1 0x1f
0000256d: SWAP1
0000256e: SWAP3
0000256f: ADD
00002570: PUSH1 0x1f
00002572: NOT
00002573: AND
00002574: ADD
00002575: ADD
00002576: SWAP2
00002577: SWAP1
00002578: POP
00002579: JUMP
0000257a: JUMPDEST
0000257b: PUSH1 0x20
0000257d: DUP1
0000257e: DUP3
0000257f: MSTORE
00002580: PUSH1 0x2b
00002582: SWAP1
00002583: DUP3
00002584: ADD
00002585: MSTORE
00002586: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
000025a7: PUSH1 0x40
000025a9: DUP3
000025aa: ADD
000025ab: MSTORE
000025ac: PUSH11 0x6e697469616c697a696e67
000025b8: PUSH1 0xa8
000025ba: SHL
000025bb: PUSH1 0x60
000025bd: DUP3
000025be: ADD
000025bf: MSTORE
000025c0: PUSH1 0x80
000025c2: ADD
000025c3: SWAP1
000025c4: JUMP
000025c5: JUMPDEST
000025c6: PUSH1 0x00
000025c8: DUP3
000025c9: MLOAD
000025ca: PUSH2 0x25d7
000025cd: DUP2
000025ce: DUP5
000025cf: PUSH1 0x20
000025d1: DUP8
000025d2: ADD
000025d3: PUSH2 0x24e1
000025d6: JUMP
000025d7: JUMPDEST
000025d8: SWAP2
000025d9: SWAP1
000025da: SWAP2
000025db: ADD
000025dc: SWAP3
000025dd: SWAP2
000025de: POP
000025df: POP
000025e0: JUMP
000025e1: INVALID
000025e2: LOG2
000025e3: PUSH5 0x6970667358
000025e9: UNKNOWN(0x22)
000025ea: SLT
000025eb: KECCAK256
000025ec: UNKNOWN(0xAB)
000025ed: XOR
000025ee: PUSH18 0x94ad255f3edf28a43d6be690402c7588a4c1
00002601: EXTCODEHASH
00002602: LOG1
00002603: PUSH4 0xb2467fa5
00002608: UNKNOWN(0xD5)
00002609: KECCAK256
0000260a: COINBASE
0000260b: CODESIZE
0000260c: PUSH5 0x736f6c6343
00002612: STOP
00002613: ADDMOD
00002614: SHL
00002615: STOP
00002616: CALLER