Analysis Run

[codex:1299855] OpenAI Codex v0.77.0 (research preview)
[codex:1299855] --------
[codex:1299855] workdir: /tmp/codex-multi-fmlmpho5
[codex:1299855] model: gpt-5.2-codex
[codex:1299855] provider: openai
[codex:1299855] approval: never
[codex:1299855] sandbox: read-only
[codex:1299855] reasoning effort: xhigh
[codex:1299855] reasoning summaries: auto
[codex:1299855] session id: 019b6544-0b5a-7b60-bc44-48bed787527f
[codex:1299855] --------
[codex:1299855] user
[codex:1299855] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1299855] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1299855] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1299855] 
[codex:1299855] Scope rules:
[codex:1299855] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1299855] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1299855] 
[codex:1299855] Output MUST be valid JSON matching the provided schema.
[codex:1299855] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1299855] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1299855] 
[codex:1299855] Output constraints (IMPORTANT):
[codex:1299855] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1299855] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1299855] mcp startup: no servers
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Preparing to read instructions and audit file**
[codex:1299855] exec
[codex:1299855] /bin/bash -lc ls in /tmp/codex-multi-fmlmpho5 succeeded in 6ms:
[codex:1299855] AUDIT_BUNDLE.txt
[codex:1299855] codex-output-schema.json
[codex:1299855] contracts
[codex:1299855] exec
[codex:1299855] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-fmlmpho5 succeeded in 6ms:
[codex:1299855] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1299855] 
[codex:1299855] ================================================================================
[codex:1299855] FILE: contracts/@hifi/protocol/contracts/access/IOwnableUpgradeable.sol
[codex:1299855] ================================================================================
[codex:1299855] // SPDX-License-Identifier: BUSL-1.1
[codex:1299855] pragma solidity >=0.8.4;
[codex:1299855] 
[codex:1299855] /// @title IOwnableUpgradeable
[codex:1299855] /// @author Hifi
[codex:1299855] interface IOwnableUpgradeable {
[codex:1299855]     /// CUSTOM ERRORS ///
[codex:1299855] 
[codex:1299855]     /// @notice Emitted when the caller is not the owner.
[codex:1299855]     error OwnableUpgradeable__NotOwner(address owner, address caller);
[codex:1299855] 
[codex:1299855]     /// @notice Emitted when setting the owner to the zero address.
[codex:1299855]     error OwnableUpgradeable__OwnerZeroAddress();
[codex:1299855] 
[codex:1299855]     /// EVENTS ///
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Preparing to parse large audit bundle**
[codex:1299855] exec
[codex:1299855] /bin/bash -lc 'rg -n "''^FILE: " AUDIT_BUNDLE.txt' in /tmp/codex-multi-fmlmpho5 succeeded in 7ms:
[codex:1299855] 4:FILE: contracts/@hifi/protocol/contracts/access/IOwnableUpgradeable.sol
[codex:1299855] 53:FILE: contracts/@hifi/protocol/contracts/core/balance-sheet/IBalanceSheetV2.sol
[codex:1299855] 427:FILE: contracts/@hifi/protocol/contracts/core/fintroller/IFintroller.sol
[codex:1299855] 851:FILE: contracts/@hifi/protocol/contracts/core/h-token/IHToken.sol
[codex:1299855] 1050:FILE: contracts/@hifi/protocol/contracts/external/chainlink/IAggregatorV3.sol
[codex:1299855] 1093:FILE: contracts/@hifi/protocol/contracts/oracles/IChainlinkOperator.sol
[codex:1299855] 1231:FILE: contracts/@prb/contracts/access/IOwnable.sol
[codex:1299855] 1283:FILE: contracts/@prb/contracts/token/erc20/Erc20.sol
[codex:1299855] 1521:FILE: contracts/@prb/contracts/token/erc20/Erc20Permit.sol
[codex:1299855] 1631:FILE: contracts/@prb/contracts/token/erc20/IErc20.sol
[codex:1299855] 1767:FILE: contracts/@prb/contracts/token/erc20/IErc20Permit.sol
[codex:1299855] 1826:FILE: contracts/@prb/contracts/token/erc20/IErc20Recover.sol
[codex:1299855] 1888:FILE: contracts/@prb/contracts/token/erc20/SafeErc20.sol
[codex:1299855] 1984:FILE: contracts/@prb/contracts/utils/Address.sol
[codex:1299855] 2021:FILE: contracts/@prb/math/contracts/PRBMath.sol
[codex:1299855] 2673:FILE: contracts/@prb/math/contracts/PRBMathUD60x18.sol
[codex:1299855] 3179:FILE: contracts/contracts/HifiPool.sol
[codex:1299855] 3546:FILE: contracts/contracts/IHifiPool.sol
[codex:1299855] 3804:FILE: contracts/contracts/math/YieldSpace.sol
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Distinguishing first-party from dependencies**
[codex:1299855] exec
[codex:1299855] /bin/bash -lc "sed -n '3179,3545p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-fmlmpho5 succeeded in 6ms:
[codex:1299855] FILE: contracts/contracts/HifiPool.sol
[codex:1299855] ================================================================================
[codex:1299855] // SPDX-License-Identifier: BUSL-1.1
[codex:1299855] pragma solidity ^0.8.4;
[codex:1299855] 
[codex:1299855] import "@hifi/protocol/contracts/core/h-token/IHToken.sol";
[codex:1299855] import "@prb/contracts/token/erc20/Erc20.sol";
[codex:1299855] import "@prb/contracts/token/erc20/IErc20.sol";
[codex:1299855] import "@prb/contracts/token/erc20/Erc20Permit.sol";
[codex:1299855] import "@prb/contracts/token/erc20/SafeErc20.sol";
[codex:1299855] 
[codex:1299855] import "./IHifiPool.sol";
[codex:1299855] import "./math/YieldSpace.sol";
[codex:1299855] 
[codex:1299855] /// @title HifiPool
[codex:1299855] /// @author Hifi
[codex:1299855] contract HifiPool is
[codex:1299855]     IHifiPool, // no dependency
[codex:1299855]     Erc20, // one dependency
[codex:1299855]     Erc20Permit // four dependencies
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Examining HifiPool contract and interface**
[codex:1299855] exec
[codex:1299855] /bin/bash -lc "sed -n '3546,3803p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-fmlmpho5 succeeded in 5ms:
[codex:1299855] FILE: contracts/contracts/IHifiPool.sol
[codex:1299855] ================================================================================
[codex:1299855] // SPDX-License-Identifier: BUSL-1.1
[codex:1299855] pragma solidity >=0.8.4;
[codex:1299855] 
[codex:1299855] import "@hifi/protocol/contracts/core/h-token/IHToken.sol";
[codex:1299855] import "@prb/contracts/token/erc20/IErc20.sol";
[codex:1299855] import "@prb/contracts/token/erc20/IErc20Permit.sol";
[codex:1299855] 
[codex:1299855] /// @title IHifiPool
[codex:1299855] /// @author Hifi
[codex:1299855] interface IHifiPool is IErc20Permit {
[codex:1299855]     /// CUSTOM ERRORS ///
[codex:1299855] 
[codex:1299855]     /// @notice Emitted when the bond matured.
[codex:1299855]     error HifiPool__BondMatured();
[codex:1299855] 
[codex:1299855]     /// @notice Emitted when attempting to buy a zero amount of hTokens.
[codex:1299855]     error HifiPool__BuyHTokenZero();
[codex:1299855] 
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Analyzing HifiPool for vulnerabilities**
[codex:1299855] exec
[codex:1299855] /bin/bash -lc "sed -n '851,1050p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-fmlmpho5 succeeded in 5ms:
[codex:1299855] FILE: contracts/@hifi/protocol/contracts/core/h-token/IHToken.sol
[codex:1299855] ================================================================================
[codex:1299855] // SPDX-License-Identifier: BUSL-1.1
[codex:1299855] pragma solidity >=0.8.4;
[codex:1299855] 
[codex:1299855] import "@prb/contracts/access/IOwnable.sol";
[codex:1299855] import "@prb/contracts/token/erc20/IErc20.sol";
[codex:1299855] import "@prb/contracts/token/erc20/IErc20Permit.sol";
[codex:1299855] import "@prb/contracts/token/erc20/IErc20Recover.sol";
[codex:1299855] 
[codex:1299855] import "../balance-sheet/IBalanceSheetV2.sol";
[codex:1299855] import "../fintroller/IFintroller.sol";
[codex:1299855] 
[codex:1299855] /// @title IHToken
[codex:1299855] /// @author Hifi
[codex:1299855] /// @notice Zero-coupon bond that tracks an Erc20 underlying asset.
[codex:1299855] interface IHToken is
[codex:1299855]     IOwnable, // no dependency
[codex:1299855]     IErc20Permit, // one dependency
[codex:1299855]     IErc20Recover // one dependency
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Analyzing token transfer safety and reentrancy risks**
[codex:1299855] 
[codex:1299855] I'm carefully examining how the pool handles hToken and underlying token transfers, noting unchecked bool returns from hToken's transfer and transferFrom that might cause silent failures. I'm also exploring reentrancy vulnerabilities stemming from mint and burn functions—especially dealing with ERC777 hooks—considering how token balance updates and totalSupply changes might be exploited, while weighing the likelihood given standard ERC20 assumptions.
[codex:1299855] exec
[codex:1299855] /bin/bash -lc "sed -n '1283,1520p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-fmlmpho5 succeeded in 5ms:
[codex:1299855] FILE: contracts/@prb/contracts/token/erc20/Erc20.sol
[codex:1299855] ================================================================================
[codex:1299855] // SPDX-License-Identifier: Unlicense
[codex:1299855] pragma solidity >=0.8.4;
[codex:1299855] 
[codex:1299855] import "./IErc20.sol";
[codex:1299855] 
[codex:1299855] /// @notice Emitted when the owner is the zero address.
[codex:1299855] error Erc20__ApproveOwnerZeroAddress();
[codex:1299855] 
[codex:1299855] /// @notice Emitted when the spender is the zero address.
[codex:1299855] error Erc20__ApproveSpenderZeroAddress();
[codex:1299855] 
[codex:1299855] /// @notice Emitted when burning more tokens than are in the account.
[codex:1299855] error Erc20__BurnUnderflow(uint256 accountBalance, uint256 burnAmount);
[codex:1299855] 
[codex:1299855] /// @notice Emitted when the holder is the zero address.
[codex:1299855] error Erc20__BurnZeroAddress();
[codex:1299855] 
[codex:1299855] /// @notice Emitted when the owner did not give the spender sufficient allowance.
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Analyzing ERC20 transfer safety in hToken context**
[codex:1299855] exec
[codex:1299855] /bin/bash -lc "sed -n '1888,1983p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-fmlmpho5 succeeded in 5ms:
[codex:1299855] FILE: contracts/@prb/contracts/token/erc20/SafeErc20.sol
[codex:1299855] ================================================================================
[codex:1299855] // SPDX-License-Identifier: Unlicense
[codex:1299855] pragma solidity >=0.8.4;
[codex:1299855] 
[codex:1299855] import "./IErc20.sol";
[codex:1299855] import "../../utils/Address.sol";
[codex:1299855] 
[codex:1299855] /// @notice Emitted when the call is made to a non-contract.
[codex:1299855] error SafeErc20__CallToNonContract(address target);
[codex:1299855] 
[codex:1299855] /// @notice Emitted when there is no return data.
[codex:1299855] error SafeErc20__NoReturnData();
[codex:1299855] 
[codex:1299855] /// @title SafeErc20.sol
[codex:1299855] /// @author Paul Razvan Berg
[codex:1299855] /// @notice Wraps around Erc20 operations that throw on failure (when the token contract
[codex:1299855] /// returns false). Tokens that return no value (and instead revert or throw
[codex:1299855] /// on failure) are also supported, non-reverting calls are assumed to be successful.
[codex:1299855] ///
[codex:1299855] 
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Reviewing arithmetic, invariants, and reentrancy risks**
[codex:1299855] 
[codex:1299855] I'm carefully analyzing the HifiPool and YieldSpace code to spot potential arithmetic issues, underflow/overflow risks, and invariant checks—especially around block timestamps and maturity. I'm also exploring if buy/sell functions properly guard against negative interest and if unchecked math or fee-on-transfer tokens could introduce vulnerabilities. A big focus is on reentrancy risks during burn, where token transfers happen after state changes, which might let an attacker exploit timing to drain more tokens than they should, depending on token behaviors and reentrancy protections. There’s lots to unpack here, and I’m weighing which findings are actual exploitable weaknesses versus acceptable design choices or assumptions about standard token behavior.
[codex:1299855] thinking
[codex:1299855] **Evaluating reentrancy and token transfer risks**
[codex:1299855] 
[codex:1299855] I'm reviewing how mint, burn, and trading functions handle external token calls and state updates, especially looking for reentrancy vulnerabilities with potentially malicious ERC777 or fee-on-transfer tokens. The interplay of state changes before or after transfers and the lack of slippage checks could let attackers exploit price calculations during reentrant calls. I’m also considering unchecked token transfer return values and the implications of using spot balances instead of internal reserves for pricing.
[codex:1299855] exec
[codex:1299855] /bin/bash -lc 'rg -n "delegatecall" AUDIT_BUNDLE.txt' in /tmp/codex-multi-fmlmpho5 exited 1 in 7ms:
[codex:1299855] 
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Analyzing rounding and transfer edge cases**
[codex:1299855] 
[codex:1299855] I’m exploring potential risks from rounding in normalize/denormalize functions that might cause dust accumulation or users depositing tokens without receiving LP tokens. There’s also a possible edge case if hToken charges transfer fees, which isn't checked, possibly disadvantaging users. I’m checking if zero or invalid precision scalars could cause reverts or vulnerabilities, and considering Erc20Permit signature validation as a next step.
[codex:1299855] exec
[codex:1299855] /bin/bash -lc "sed -n '1521,1630p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-fmlmpho5 succeeded in 6ms:
[codex:1299855] FILE: contracts/@prb/contracts/token/erc20/Erc20Permit.sol
[codex:1299855] ================================================================================
[codex:1299855] // SPDX-License-Identifier: Unlicense
[codex:1299855] // solhint-disable var-name-mixedcase
[codex:1299855] pragma solidity >=0.8.4;
[codex:1299855] 
[codex:1299855] import "./Erc20.sol";
[codex:1299855] import "./IErc20Permit.sol";
[codex:1299855] 
[codex:1299855] /// @notice Emitted when the recovered owner does not match the actual owner.
[codex:1299855] error Erc20Permit__InvalidSignature(uint8 v, bytes32 r, bytes32 s);
[codex:1299855] 
[codex:1299855] /// @notice Emitted when the owner is the zero address.
[codex:1299855] error Erc20Permit__OwnerZeroAddress();
[codex:1299855] 
[codex:1299855] /// @notice Emitted when the permit expired.
[codex:1299855] error Erc20Permit__PermitExpired(uint256 deadline);
[codex:1299855] 
[codex:1299855] /// @notice Emitted when the recovered owner is the zero address.
[codex:1299855] error Erc20Permit__RecoveredOwnerZeroAddress();
[codex:1299855] 
[codex:1299855] 
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Analyzing potential vulnerabilities and design considerations**
[codex:1299855] thinking
[codex:1299855] **Identifying critical rounding issue in buyUnderlying**
[codex:1299855] 
[codex:1299855] There is a plausible vulnerability where buyUnderlying can accept trades with zero required hToken input due to rounding, letting an attacker drain underlying tokens by repeatedly buying tiny amounts for free. This oversight contrasts with similar functions that check for zero inputs, so adding such a guard could prevent this exploit.
[codex:1299855] thinking
[codex:1299855] **Evaluating rounding implications on token input calculations**
[codex:1299855] 
[codex:1299855] I’m examining whether extremely unbalanced reserves or negative interest scenarios could cause buyUnderlying’s computed hToken input to round down to zero for meaningful underlying output, potentially enabling free withdrawals. Though such edge cases seem unlikely in practice due to reserve and price dynamics, this subtle rounding behavior merits noting as a low-to-medium risk under unusual conditions.
[codex:1299855] exec
[codex:1299855] /bin/bash -lc 'rg -n "unchecked" -n contracts/contracts/HifiPool.sol' in /tmp/codex-multi-fmlmpho5 succeeded in 8ms:
[codex:1299855] 110:        unchecked {
[codex:1299855] 137:        unchecked {
[codex:1299855] 155:        unchecked {
[codex:1299855] 177:        unchecked {
[codex:1299855] 202:        unchecked {
[codex:1299855] 340:        unchecked {
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Preparing to include line numbers in findings**
[codex:1299855] exec
[codex:1299855] /bin/bash -lc 'ls contracts/contracts' in /tmp/codex-multi-fmlmpho5 succeeded in 6ms:
[codex:1299855] HifiPool.sol
[codex:1299855] IHifiPool.sol
[codex:1299855] math
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Choosing line numbering tool**
[codex:1299855] exec
[codex:1299855] /bin/bash -lc "nl -ba contracts/contracts/HifiPool.sol | sed -n '200,330p'" in /tmp/codex-multi-fmlmpho5 succeeded in 6ms:
[codex:1299855]    200	    /// @inheritdoc IHifiPool
[codex:1299855]    201	    function getVirtualHTokenReserves() public view override returns (uint256 virtualHTokenReserves) {
[codex:1299855]    202	        unchecked {
[codex:1299855]    203	            uint256 hTokenBalance = hToken.balanceOf(address(this));
[codex:1299855]    204	            virtualHTokenReserves = hTokenBalance + totalSupply;
[codex:1299855]    205	            if (virtualHTokenReserves < hTokenBalance) {
[codex:1299855]    206	                revert HifiPool__VirtualHTokenReservesOverflow(hTokenBalance, totalSupply);
[codex:1299855]    207	            }
[codex:1299855]    208	        }
[codex:1299855]    209	    }
[codex:1299855]    210	
[codex:1299855]    211	    /// PUBLIC NON-CONSTANT FUNCTIONS ///
[codex:1299855]    212	
[codex:1299855]    213	    /// @inheritdoc IHifiPool
[codex:1299855]    214	    function burn(uint256 poolTokensBurned)
[codex:1299855]    215	        external
[codex:1299855]    216	        override
[codex:1299855]    217	        returns (uint256 underlyingReturned, uint256 hTokenReturned)
[codex:1299855]    218	    {
[codex:1299855]    219	        // Checks: avoid the zero edge case.
[codex:1299855] 
[codex:1299855] 
[codex:1299855] thinking
[codex:1299855] **Analyzing token transfer checks and rounding risks**
[codex:1299855] thinking
[codex:1299855] **Finalizing audit conclusion with no findings**
[codex:1299855] 
[codex:1299855] I'll conclude that no exploitable vulnerabilities were found after a thorough review, noting assumptions about standard token behavior and residual risks, then prepare the final JSON output per the specified schema.
[codex:1299855] codex
[codex:1299855] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts reviewed (HifiPool, YieldSpace). Assumed standard ERC20 behavior for underlying and hToken tokens.","findings":[]}
[codex:1299855] tokens used
[codex:1299855] 59,112
[codex:1299855] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts reviewed (HifiPool, YieldSpace). Assumed standard ERC20 behavior for underlying and hToken tokens.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-28T14:10:20.398864+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities identified in the first-party contracts reviewed (HifiPool, YieldSpace). Assumed standard ERC20 behavior for underlying and hToken tokens.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in the first-party contracts reviewed (HifiPool, YieldSpace). Assumed standard ERC20 behavior for underlying and hToken tokens.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x0226
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x6f307dc3
00000026: GT
00000027: PUSH2 0x012a
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xa457c2d7
00000031: GT
00000032: PUSH2 0x00bd
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd505accf
0000003c: GT
0000003d: PUSH2 0x008c
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xdd62ed3e
00000047: GT
00000048: PUSH2 0x0071
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xdd62ed3e
00000052: EQ
00000053: PUSH2 0x050f
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xef2fcc97
0000005d: EQ
0000005e: PUSH2 0x0548
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfc6e3b3b
00000068: EQ
00000069: PUSH2 0x055b
0000006c: JUMPI
0000006d: PUSH1 0x00
0000006f: DUP1
00000070: REVERT
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xd505accf
00000078: EQ
00000079: PUSH2 0x04f2
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xdb30d135
00000083: EQ
00000084: PUSH2 0x0507
00000087: JUMPI
00000088: PUSH1 0x00
0000008a: DUP1
0000008b: REVERT
0000008c: JUMPDEST
0000008d: DUP1
0000008e: PUSH4 0xa457c2d7
00000093: EQ
00000094: PUSH2 0x04a6
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xa9059cbb
0000009e: EQ
0000009f: PUSH2 0x04b9
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xc1b68d08
000000a9: EQ
000000aa: PUSH2 0x04cc
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xc53e5924
000000b4: EQ
000000b5: PUSH2 0x04df
000000b8: JUMPI
000000b9: PUSH1 0x00
000000bb: DUP1
000000bc: REVERT
000000bd: JUMPDEST
000000be: DUP1
000000bf: PUSH4 0x94274572
000000c4: GT
000000c5: PUSH2 0x00f9
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x94274572
000000cf: EQ
000000d0: PUSH2 0x0465
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0x95d89b41
000000da: EQ
000000db: PUSH2 0x0478
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x995864a8
000000e5: EQ
000000e6: PUSH2 0x0480
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0xa0712d68
000000f0: EQ
000000f1: PUSH2 0x0493
000000f4: JUMPI
000000f5: PUSH1 0x00
000000f7: DUP1
000000f8: REVERT
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x6f307dc3
00000100: EQ
00000101: PUSH2 0x03de
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x70a08231
0000010b: EQ
0000010c: PUSH2 0x0409
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x7bf33bb6
00000116: EQ
00000117: PUSH2 0x0432
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x7ecebe00
00000121: EQ
00000122: PUSH2 0x0445
00000125: JUMPI
00000126: PUSH1 0x00
00000128: DUP1
00000129: REVERT
0000012a: JUMPDEST
0000012b: DUP1
0000012c: PUSH4 0x2f158f6f
00000131: GT
00000132: PUSH2 0x01bd
00000135: JUMPI
00000136: DUP1
00000137: PUSH4 0x39509351
0000013c: GT
0000013d: PUSH2 0x018c
00000140: JUMPI
00000141: DUP1
00000142: PUSH4 0x42966c68
00000147: GT
00000148: PUSH2 0x0171
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x42966c68
00000152: EQ
00000153: PUSH2 0x0398
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x54fd4d50
0000015d: EQ
0000015e: PUSH2 0x03ab
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x6c9c32f1
00000168: EQ
00000169: PUSH2 0x03cb
0000016c: JUMPI
0000016d: PUSH1 0x00
0000016f: DUP1
00000170: REVERT
00000171: JUMPDEST
00000172: DUP1
00000173: PUSH4 0x39509351
00000178: EQ
00000179: PUSH2 0x0372
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x3bb8482e
00000183: EQ
00000184: PUSH2 0x0385
00000187: JUMPI
00000188: PUSH1 0x00
0000018a: DUP1
0000018b: REVERT
0000018c: JUMPDEST
0000018d: DUP1
0000018e: PUSH4 0x2f158f6f
00000193: EQ
00000194: PUSH2 0x02e3
00000197: JUMPI
00000198: DUP1
00000199: PUSH4 0x30adf81f
0000019e: EQ
0000019f: PUSH2 0x02eb
000001a2: JUMPI
000001a3: DUP1
000001a4: PUSH4 0x313ce567
000001a9: EQ
000001aa: PUSH2 0x0312
000001ad: JUMPI
000001ae: DUP1
000001af: PUSH4 0x3644e515
000001b4: EQ
000001b5: PUSH2 0x034b
000001b8: JUMPI
000001b9: PUSH1 0x00
000001bb: DUP1
000001bc: REVERT
000001bd: JUMPDEST
000001be: DUP1
000001bf: PUSH4 0x1a0de6fa
000001c4: GT
000001c5: PUSH2 0x01f9
000001c8: JUMPI
000001c9: DUP1
000001ca: PUSH4 0x1a0de6fa
000001cf: EQ
000001d0: PUSH2 0x02ab
000001d3: JUMPI
000001d4: DUP1
000001d5: PUSH4 0x1d740711
000001da: EQ
000001db: PUSH2 0x02b4
000001de: JUMPI
000001df: DUP1
000001e0: PUSH4 0x204f83f9
000001e5: EQ
000001e6: PUSH2 0x02c7
000001e9: JUMPI
000001ea: DUP1
000001eb: PUSH4 0x23b872dd
000001f0: EQ
000001f1: PUSH2 0x02d0
000001f4: JUMPI
000001f5: PUSH1 0x00
000001f7: DUP1
000001f8: REVERT
000001f9: JUMPDEST
000001fa: DUP1
000001fb: PUSH4 0x06fdde03
00000200: EQ
00000201: PUSH2 0x022b
00000204: JUMPI
00000205: DUP1
00000206: PUSH4 0x095ea7b3
0000020b: EQ
0000020c: PUSH2 0x0249
0000020f: JUMPI
00000210: DUP1
00000211: PUSH4 0x14aa0ce6
00000216: EQ
00000217: PUSH2 0x026c
0000021a: JUMPI
0000021b: DUP1
0000021c: PUSH4 0x18160ddd
00000221: EQ
00000222: PUSH2 0x0294
00000225: JUMPI
00000226: JUMPDEST
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: PUSH2 0x0233
0000022f: PUSH2 0x056e
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: PUSH2 0x0240
0000023a: SWAP2
0000023b: SWAP1
0000023c: PUSH2 0x28da
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH1 0x40
00000243: MLOAD
00000244: DUP1
00000245: SWAP2
00000246: SUB
00000247: SWAP1
00000248: RETURN
00000249: JUMPDEST
0000024a: PUSH2 0x025c
0000024d: PUSH2 0x0257
00000250: CALLDATASIZE
00000251: PUSH1 0x04
00000253: PUSH2 0x2924
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x05fc
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: SWAP1
00000261: ISZERO
00000262: ISZERO
00000263: DUP2
00000264: MSTORE
00000265: PUSH1 0x20
00000267: ADD
00000268: PUSH2 0x0240
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH2 0x027f
00000270: PUSH2 0x027a
00000273: CALLDATASIZE
00000274: PUSH1 0x04
00000276: PUSH2 0x294e
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH2 0x0613
0000027e: JUMP
0000027f: JUMPDEST
00000280: PUSH1 0x40
00000282: DUP1
00000283: MLOAD
00000284: SWAP3
00000285: DUP4
00000286: MSTORE
00000287: PUSH1 0x20
00000289: DUP4
0000028a: ADD
0000028b: SWAP2
0000028c: SWAP1
0000028d: SWAP2
0000028e: MSTORE
0000028f: ADD
00000290: PUSH2 0x0240
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH2 0x029d
00000298: PUSH1 0x02
0000029a: SLOAD
0000029b: DUP2
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH1 0x40
000002a0: MLOAD
000002a1: SWAP1
000002a2: DUP2
000002a3: MSTORE
000002a4: PUSH1 0x20
000002a6: ADD
000002a7: PUSH2 0x0240
000002aa: JUMP
000002ab: JUMPDEST
000002ac: PUSH2 0x029d
000002af: PUSH1 0x09
000002b1: SLOAD
000002b2: DUP2
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH2 0x029d
000002b8: PUSH2 0x02c2
000002bb: CALLDATASIZE
000002bc: PUSH1 0x04
000002be: PUSH2 0x294e
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH2 0x06dc
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH2 0x029d
000002cb: PUSH1 0x07
000002cd: SLOAD
000002ce: DUP2
000002cf: JUMP
000002d0: JUMPDEST
000002d1: PUSH2 0x025c
000002d4: PUSH2 0x02de
000002d7: CALLDATASIZE
000002d8: PUSH1 0x04
000002da: PUSH2 0x2967
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH2 0x0781
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH2 0x029d
000002e7: PUSH2 0x07f7
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH2 0x029d
000002ef: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000310: DUP2
00000311: JUMP
00000312: JUMPDEST
00000313: PUSH2 0x0339
00000316: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000012
00000337: DUP2
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH1 0x40
0000033c: MLOAD
0000033d: PUSH1 0xff
0000033f: SWAP1
00000340: SWAP2
00000341: AND
00000342: DUP2
00000343: MSTORE
00000344: PUSH1 0x20
00000346: ADD
00000347: PUSH2 0x0240
0000034a: JUMP
0000034b: JUMPDEST
0000034c: PUSH2 0x029d
0000034f: PUSH32 0x6c66c16288d0cc3dc99daf909ebfbd2570e1e08338065794f9d86777c94efcbc
00000370: DUP2
00000371: JUMP
00000372: JUMPDEST
00000373: PUSH2 0x025c
00000376: PUSH2 0x0380
00000379: CALLDATASIZE
0000037a: PUSH1 0x04
0000037c: PUSH2 0x2924
0000037f: JUMP
00000380: JUMPDEST
00000381: PUSH2 0x0874
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH2 0x029d
00000389: PUSH2 0x0393
0000038c: CALLDATASIZE
0000038d: PUSH1 0x04
0000038f: PUSH2 0x2924
00000392: JUMP
00000393: JUMPDEST
00000394: PUSH2 0x08bc
00000397: JUMP
00000398: JUMPDEST
00000399: PUSH2 0x027f
0000039c: PUSH2 0x03a6
0000039f: CALLDATASIZE
000003a0: PUSH1 0x04
000003a2: PUSH2 0x294e
000003a5: JUMP
000003a6: JUMPDEST
000003a7: PUSH2 0x0a0f
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH2 0x0233
000003af: PUSH1 0x40
000003b1: MLOAD
000003b2: DUP1
000003b3: PUSH1 0x40
000003b5: ADD
000003b6: PUSH1 0x40
000003b8: MSTORE
000003b9: DUP1
000003ba: PUSH1 0x01
000003bc: DUP2
000003bd: MSTORE
000003be: PUSH1 0x20
000003c0: ADD
000003c1: PUSH1 0x31
000003c3: PUSH1 0xf8
000003c5: SHL
000003c6: DUP2
000003c7: MSTORE
000003c8: POP
000003c9: DUP2
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH2 0x027f
000003cf: PUSH2 0x03d9
000003d2: CALLDATASIZE
000003d3: PUSH1 0x04
000003d5: PUSH2 0x294e
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH2 0x0b2d
000003dd: JUMP
000003de: JUMPDEST
000003df: PUSH1 0x08
000003e1: SLOAD
000003e2: PUSH2 0x03f1
000003e5: SWAP1
000003e6: PUSH1 0x01
000003e8: PUSH1 0x01
000003ea: PUSH1 0xa0
000003ec: SHL
000003ed: SUB
000003ee: AND
000003ef: DUP2
000003f0: JUMP
000003f1: JUMPDEST
000003f2: PUSH1 0x40
000003f4: MLOAD
000003f5: PUSH1 0x01
000003f7: PUSH1 0x01
000003f9: PUSH1 0xa0
000003fb: SHL
000003fc: SUB
000003fd: SWAP1
000003fe: SWAP2
000003ff: AND
00000400: DUP2
00000401: MSTORE
00000402: PUSH1 0x20
00000404: ADD
00000405: PUSH2 0x0240
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH2 0x029d
0000040d: PUSH2 0x0417
00000410: CALLDATASIZE
00000411: PUSH1 0x04
00000413: PUSH2 0x29a3
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH1 0x01
0000041a: PUSH1 0x01
0000041c: PUSH1 0xa0
0000041e: SHL
0000041f: SUB
00000420: AND
00000421: PUSH1 0x00
00000423: SWAP1
00000424: DUP2
00000425: MSTORE
00000426: PUSH1 0x03
00000428: PUSH1 0x20
0000042a: MSTORE
0000042b: PUSH1 0x40
0000042d: SWAP1
0000042e: KECCAK256
0000042f: SLOAD
00000430: SWAP1
00000431: JUMP
00000432: JUMPDEST
00000433: PUSH2 0x029d
00000436: PUSH2 0x0440
00000439: CALLDATASIZE
0000043a: PUSH1 0x04
0000043c: PUSH2 0x2924
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH2 0x0bfe
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH2 0x029d
00000449: PUSH2 0x0453
0000044c: CALLDATASIZE
0000044d: PUSH1 0x04
0000044f: PUSH2 0x29a3
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH1 0x05
00000456: PUSH1 0x20
00000458: MSTORE
00000459: PUSH1 0x00
0000045b: SWAP1
0000045c: DUP2
0000045d: MSTORE
0000045e: PUSH1 0x40
00000460: SWAP1
00000461: KECCAK256
00000462: SLOAD
00000463: DUP2
00000464: JUMP
00000465: JUMPDEST
00000466: PUSH2 0x029d
00000469: PUSH2 0x0473
0000046c: CALLDATASIZE
0000046d: PUSH1 0x04
0000046f: PUSH2 0x294e
00000472: JUMP
00000473: JUMPDEST
00000474: PUSH2 0x0d2a
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH2 0x0233
0000047c: PUSH2 0x0dc9
0000047f: JUMP
00000480: JUMPDEST
00000481: PUSH2 0x029d
00000484: PUSH2 0x048e
00000487: CALLDATASIZE
00000488: PUSH1 0x04
0000048a: PUSH2 0x294e
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH2 0x0dd6
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH2 0x029d
00000497: PUSH2 0x04a1
0000049a: CALLDATASIZE
0000049b: PUSH1 0x04
0000049d: PUSH2 0x294e
000004a0: JUMP
000004a1: JUMPDEST
000004a2: PUSH2 0x0e20
000004a5: JUMP
000004a6: JUMPDEST
000004a7: PUSH2 0x025c
000004aa: PUSH2 0x04b4
000004ad: CALLDATASIZE
000004ae: PUSH1 0x04
000004b0: PUSH2 0x2924
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH2 0x0f68
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH2 0x025c
000004bd: PUSH2 0x04c7
000004c0: CALLDATASIZE
000004c1: PUSH1 0x04
000004c3: PUSH2 0x2924
000004c6: JUMP
000004c7: JUMPDEST
000004c8: PUSH2 0x0f99
000004cb: JUMP
000004cc: JUMPDEST
000004cd: PUSH2 0x029d
000004d0: PUSH2 0x04da
000004d3: CALLDATASIZE
000004d4: PUSH1 0x04
000004d6: PUSH2 0x2924
000004d9: JUMP
000004da: JUMPDEST
000004db: PUSH2 0x0fa6
000004de: JUMP
000004df: JUMPDEST
000004e0: PUSH2 0x029d
000004e3: PUSH2 0x04ed
000004e6: CALLDATASIZE
000004e7: PUSH1 0x04
000004e9: PUSH2 0x294e
000004ec: JUMP
000004ed: JUMPDEST
000004ee: PUSH2 0x10b5
000004f1: JUMP
000004f2: JUMPDEST
000004f3: PUSH2 0x0505
000004f6: PUSH2 0x0500
000004f9: CALLDATASIZE
000004fa: PUSH1 0x04
000004fc: PUSH2 0x29be
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH2 0x1104
00000504: JUMP
00000505: JUMPDEST
00000506: STOP
00000507: JUMPDEST
00000508: PUSH2 0x029d
0000050b: PUSH2 0x1341
0000050e: JUMP
0000050f: JUMPDEST
00000510: PUSH2 0x029d
00000513: PUSH2 0x051d
00000516: CALLDATASIZE
00000517: PUSH1 0x04
00000519: PUSH2 0x2a31
0000051c: JUMP
0000051d: JUMPDEST
0000051e: PUSH1 0x01
00000520: PUSH1 0x01
00000522: PUSH1 0xa0
00000524: SHL
00000525: SUB
00000526: SWAP2
00000527: DUP3
00000528: AND
00000529: PUSH1 0x00
0000052b: SWAP1
0000052c: DUP2
0000052d: MSTORE
0000052e: PUSH1 0x04
00000530: PUSH1 0x20
00000532: SWAP1
00000533: DUP2
00000534: MSTORE
00000535: PUSH1 0x40
00000537: DUP1
00000538: DUP4
00000539: KECCAK256
0000053a: SWAP4
0000053b: SWAP1
0000053c: SWAP5
0000053d: AND
0000053e: DUP3
0000053f: MSTORE
00000540: SWAP2
00000541: SWAP1
00000542: SWAP2
00000543: MSTORE
00000544: KECCAK256
00000545: SLOAD
00000546: SWAP1
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH2 0x029d
0000054c: PUSH2 0x0556
0000054f: CALLDATASIZE
00000550: PUSH1 0x04
00000552: PUSH2 0x2924
00000555: JUMP
00000556: JUMPDEST
00000557: PUSH2 0x13ee
0000055a: JUMP
0000055b: JUMPDEST
0000055c: PUSH1 0x06
0000055e: SLOAD
0000055f: PUSH2 0x03f1
00000562: SWAP1
00000563: PUSH1 0x01
00000565: PUSH1 0x01
00000567: PUSH1 0xa0
00000569: SHL
0000056a: SUB
0000056b: AND
0000056c: DUP2
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x00
00000571: DUP1
00000572: SLOAD
00000573: PUSH2 0x057b
00000576: SWAP1
00000577: PUSH2 0x2a64
0000057a: JUMP
0000057b: JUMPDEST
0000057c: DUP1
0000057d: PUSH1 0x1f
0000057f: ADD
00000580: PUSH1 0x20
00000582: DUP1
00000583: SWAP2
00000584: DIV
00000585: MUL
00000586: PUSH1 0x20
00000588: ADD
00000589: PUSH1 0x40
0000058b: MLOAD
0000058c: SWAP1
0000058d: DUP2
0000058e: ADD
0000058f: PUSH1 0x40
00000591: MSTORE
00000592: DUP1
00000593: SWAP3
00000594: SWAP2
00000595: SWAP1
00000596: DUP2
00000597: DUP2
00000598: MSTORE
00000599: PUSH1 0x20
0000059b: ADD
0000059c: DUP3
0000059d: DUP1
0000059e: SLOAD
0000059f: PUSH2 0x05a7
000005a2: SWAP1
000005a3: PUSH2 0x2a64
000005a6: JUMP
000005a7: JUMPDEST
000005a8: DUP1
000005a9: ISZERO
000005aa: PUSH2 0x05f4
000005ad: JUMPI
000005ae: DUP1
000005af: PUSH1 0x1f
000005b1: LT
000005b2: PUSH2 0x05c9
000005b5: JUMPI
000005b6: PUSH2 0x0100
000005b9: DUP1
000005ba: DUP4
000005bb: SLOAD
000005bc: DIV
000005bd: MUL
000005be: DUP4
000005bf: MSTORE
000005c0: SWAP2
000005c1: PUSH1 0x20
000005c3: ADD
000005c4: SWAP2
000005c5: PUSH2 0x05f4
000005c8: JUMP
000005c9: JUMPDEST
000005ca: DUP3
000005cb: ADD
000005cc: SWAP2
000005cd: SWAP1
000005ce: PUSH1 0x00
000005d0: MSTORE
000005d1: PUSH1 0x20
000005d3: PUSH1 0x00
000005d5: KECCAK256
000005d6: SWAP1
000005d7: JUMPDEST
000005d8: DUP2
000005d9: SLOAD
000005da: DUP2
000005db: MSTORE
000005dc: SWAP1
000005dd: PUSH1 0x01
000005df: ADD
000005e0: SWAP1
000005e1: PUSH1 0x20
000005e3: ADD
000005e4: DUP1
000005e5: DUP4
000005e6: GT
000005e7: PUSH2 0x05d7
000005ea: JUMPI
000005eb: DUP3
000005ec: SWAP1
000005ed: SUB
000005ee: PUSH1 0x1f
000005f0: AND
000005f1: DUP3
000005f2: ADD
000005f3: SWAP2
000005f4: JUMPDEST
000005f5: POP
000005f6: POP
000005f7: POP
000005f8: POP
000005f9: POP
000005fa: DUP2
000005fb: JUMP
000005fc: JUMPDEST
000005fd: PUSH1 0x00
000005ff: PUSH2 0x0609
00000602: CALLER
00000603: DUP5
00000604: DUP5
00000605: PUSH2 0x14f4
00000608: JUMP
00000609: JUMPDEST
0000060a: POP
0000060b: PUSH1 0x01
0000060d: JUMPDEST
0000060e: SWAP3
0000060f: SWAP2
00000610: POP
00000611: POP
00000612: JUMP
00000613: JUMPDEST
00000614: PUSH1 0x02
00000616: SLOAD
00000617: PUSH1 0x00
00000619: SWAP1
0000061a: DUP2
0000061b: SWAP1
0000061c: DUP2
0000061d: PUSH2 0x0624
00000620: PUSH2 0x07f7
00000623: JUMP
00000624: JUMPDEST
00000625: PUSH1 0x06
00000627: SLOAD
00000628: PUSH1 0x40
0000062a: MLOAD
0000062b: PUSH4 0x70a08231
00000630: PUSH1 0xe0
00000632: SHL
00000633: DUP2
00000634: MSTORE
00000635: ADDRESS
00000636: PUSH1 0x04
00000638: DUP3
00000639: ADD
0000063a: MSTORE
0000063b: SWAP2
0000063c: SWAP3
0000063d: POP
0000063e: PUSH1 0x00
00000640: SWAP2
00000641: PUSH1 0x01
00000643: PUSH1 0x01
00000645: PUSH1 0xa0
00000647: SHL
00000648: SUB
00000649: SWAP1
0000064a: SWAP2
0000064b: AND
0000064c: SWAP1
0000064d: PUSH4 0x70a08231
00000652: SWAP1
00000653: PUSH1 0x24
00000655: ADD
00000656: PUSH1 0x20
00000658: PUSH1 0x40
0000065a: MLOAD
0000065b: DUP1
0000065c: DUP4
0000065d: SUB
0000065e: DUP2
0000065f: DUP7
00000660: GAS
00000661: STATICCALL
00000662: ISZERO
00000663: DUP1
00000664: ISZERO
00000665: PUSH2 0x0672
00000668: JUMPI
00000669: RETURNDATASIZE
0000066a: PUSH1 0x00
0000066c: DUP1
0000066d: RETURNDATACOPY
0000066e: RETURNDATASIZE
0000066f: PUSH1 0x00
00000671: REVERT
00000672: JUMPDEST
00000673: POP
00000674: POP
00000675: POP
00000676: POP
00000677: PUSH1 0x40
00000679: MLOAD
0000067a: RETURNDATASIZE
0000067b: PUSH1 0x1f
0000067d: NOT
0000067e: PUSH1 0x1f
00000680: DUP3
00000681: ADD
00000682: AND
00000683: DUP3
00000684: ADD
00000685: DUP1
00000686: PUSH1 0x40
00000688: MSTORE
00000689: POP
0000068a: DUP2
0000068b: ADD
0000068c: SWAP1
0000068d: PUSH2 0x0696
00000690: SWAP2
00000691: SWAP1
00000692: PUSH2 0x2a9f
00000695: JUMP
00000696: JUMPDEST
00000697: SWAP1
00000698: POP
00000699: PUSH1 0x00
0000069b: DUP4
0000069c: PUSH2 0x06a5
0000069f: DUP5
000006a0: DUP10
000006a1: PUSH2 0x2ace
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH2 0x06af
000006a9: SWAP2
000006aa: SWAP1
000006ab: PUSH2 0x2b03
000006ae: JUMP
000006af: JUMPDEST
000006b0: SWAP1
000006b1: POP
000006b2: PUSH2 0x06ba
000006b5: DUP2
000006b6: PUSH2 0x15a3
000006b9: JUMP
000006ba: JUMPDEST
000006bb: SWAP6
000006bc: POP
000006bd: DUP4
000006be: PUSH2 0x06c7
000006c1: DUP4
000006c2: DUP10
000006c3: PUSH2 0x2ace
000006c6: JUMP
000006c7: JUMPDEST
000006c8: PUSH2 0x06d1
000006cb: SWAP2
000006cc: SWAP1
000006cd: PUSH2 0x2b03
000006d0: JUMP
000006d1: JUMPDEST
000006d2: SWAP5
000006d3: POP
000006d4: POP
000006d5: POP
000006d6: POP
000006d7: POP
000006d8: SWAP2
000006d9: POP
000006da: SWAP2
000006db: JUMP
000006dc: JUMPDEST
000006dd: PUSH1 0x00
000006df: PUSH1 0x07
000006e1: SLOAD
000006e2: TIMESTAMP
000006e3: LT
000006e4: PUSH2 0x0700
000006e7: JUMPI
000006e8: PUSH1 0x40
000006ea: MLOAD
000006eb: PUSH4 0x7d8f9089
000006f0: PUSH1 0xe0
000006f2: SHL
000006f3: DUP2
000006f4: MSTORE
000006f5: PUSH1 0x04
000006f7: ADD
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: DUP1
000006fc: SWAP2
000006fd: SUB
000006fe: SWAP1
000006ff: REVERT
00000700: JUMPDEST
00000701: PUSH1 0x00
00000703: PUSH2 0x070a
00000706: PUSH2 0x07f7
00000709: JUMP
0000070a: JUMPDEST
0000070b: SWAP1
0000070c: POP
0000070d: PUSH1 0x00
0000070f: PUSH2 0x0716
00000712: PUSH2 0x1341
00000715: JUMP
00000716: JUMPDEST
00000717: SWAP1
00000718: POP
00000719: PUSH1 0x00
0000071b: PUSH2 0x0723
0000071e: DUP6
0000071f: PUSH2 0x15ce
00000722: JUMP
00000723: JUMPDEST
00000724: SWAP1
00000725: POP
00000726: PUSH2 0x0735
00000729: DUP4
0000072a: DUP4
0000072b: DUP4
0000072c: TIMESTAMP
0000072d: PUSH1 0x07
0000072f: SLOAD
00000730: SUB
00000731: PUSH2 0x15ee
00000734: JUMP
00000735: JUMPDEST
00000736: SWAP4
00000737: POP
00000738: DUP1
00000739: DUP4
0000073a: ADD
0000073b: DUP5
0000073c: DUP4
0000073d: SUB
0000073e: LT
0000073f: ISZERO
00000740: PUSH2 0x0779
00000743: JUMPI
00000744: PUSH1 0x40
00000746: MLOAD
00000747: PUSH4 0x4782e813
0000074c: PUSH1 0xe1
0000074e: SHL
0000074f: DUP2
00000750: MSTORE
00000751: PUSH1 0x04
00000753: DUP2
00000754: ADD
00000755: DUP4
00000756: SWAP1
00000757: MSTORE
00000758: PUSH1 0x24
0000075a: DUP2
0000075b: ADD
0000075c: DUP6
0000075d: SWAP1
0000075e: MSTORE
0000075f: PUSH1 0x44
00000761: DUP2
00000762: ADD
00000763: DUP5
00000764: SWAP1
00000765: MSTORE
00000766: PUSH1 0x64
00000768: DUP2
00000769: ADD
0000076a: DUP3
0000076b: SWAP1
0000076c: MSTORE
0000076d: PUSH1 0x84
0000076f: ADD
00000770: JUMPDEST
00000771: PUSH1 0x40
00000773: MLOAD
00000774: DUP1
00000775: SWAP2
00000776: SUB
00000777: SWAP1
00000778: REVERT
00000779: JUMPDEST
0000077a: POP
0000077b: POP
0000077c: POP
0000077d: SWAP2
0000077e: SWAP1
0000077f: POP
00000780: JUMP
00000781: JUMPDEST
00000782: PUSH1 0x00
00000784: PUSH2 0x078e
00000787: DUP5
00000788: DUP5
00000789: DUP5
0000078a: PUSH2 0x16f7
0000078d: JUMP
0000078e: JUMPDEST
0000078f: PUSH1 0x01
00000791: PUSH1 0x01
00000793: PUSH1 0xa0
00000795: SHL
00000796: SUB
00000797: DUP5
00000798: AND
00000799: PUSH1 0x00
0000079b: SWAP1
0000079c: DUP2
0000079d: MSTORE
0000079e: PUSH1 0x04
000007a0: PUSH1 0x20
000007a2: SWAP1
000007a3: DUP2
000007a4: MSTORE
000007a5: PUSH1 0x40
000007a7: DUP1
000007a8: DUP4
000007a9: KECCAK256
000007aa: CALLER
000007ab: DUP5
000007ac: MSTORE
000007ad: SWAP1
000007ae: SWAP2
000007af: MSTORE
000007b0: SWAP1
000007b1: KECCAK256
000007b2: SLOAD
000007b3: DUP3
000007b4: DUP2
000007b5: LT
000007b6: ISZERO
000007b7: PUSH2 0x07dd
000007ba: JUMPI
000007bb: PUSH1 0x40
000007bd: MLOAD
000007be: PUSH4 0x2b3ca6f3
000007c3: PUSH1 0xe1
000007c5: SHL
000007c6: DUP2
000007c7: MSTORE
000007c8: PUSH1 0x04
000007ca: DUP2
000007cb: ADD
000007cc: DUP3
000007cd: SWAP1
000007ce: MSTORE
000007cf: PUSH1 0x24
000007d1: DUP2
000007d2: ADD
000007d3: DUP5
000007d4: SWAP1
000007d5: MSTORE
000007d6: PUSH1 0x44
000007d8: ADD
000007d9: PUSH2 0x0770
000007dc: JUMP
000007dd: JUMPDEST
000007de: PUSH2 0x07ea
000007e1: DUP6
000007e2: CALLER
000007e3: DUP6
000007e4: DUP5
000007e5: SUB
000007e6: PUSH2 0x14f4
000007e9: JUMP
000007ea: JUMPDEST
000007eb: PUSH1 0x01
000007ed: SWAP2
000007ee: POP
000007ef: POP
000007f0: JUMPDEST
000007f1: SWAP4
000007f2: SWAP3
000007f3: POP
000007f4: POP
000007f5: POP
000007f6: JUMP
000007f7: JUMPDEST
000007f8: PUSH1 0x08
000007fa: SLOAD
000007fb: PUSH1 0x40
000007fd: MLOAD
000007fe: PUSH4 0x70a08231
00000803: PUSH1 0xe0
00000805: SHL
00000806: DUP2
00000807: MSTORE
00000808: ADDRESS
00000809: PUSH1 0x04
0000080b: DUP3
0000080c: ADD
0000080d: MSTORE
0000080e: PUSH1 0x00
00000810: SWAP2
00000811: PUSH2 0x086f
00000814: SWAP2
00000815: PUSH1 0x01
00000817: PUSH1 0x01
00000819: PUSH1 0xa0
0000081b: SHL
0000081c: SUB
0000081d: SWAP1
0000081e: SWAP2
0000081f: AND
00000820: SWAP1
00000821: PUSH4 0x70a08231
00000826: SWAP1
00000827: PUSH1 0x24
00000829: ADD
0000082a: PUSH1 0x20
0000082c: PUSH1 0x40
0000082e: MLOAD
0000082f: DUP1
00000830: DUP4
00000831: SUB
00000832: DUP2
00000833: DUP7
00000834: GAS
00000835: STATICCALL
00000836: ISZERO
00000837: DUP1
00000838: ISZERO
00000839: PUSH2 0x0846
0000083c: JUMPI
0000083d: RETURNDATASIZE
0000083e: PUSH1 0x00
00000840: DUP1
00000841: RETURNDATACOPY
00000842: RETURNDATASIZE
00000843: PUSH1 0x00
00000845: REVERT
00000846: JUMPDEST
00000847: POP
00000848: POP
00000849: POP
0000084a: POP
0000084b: PUSH1 0x40
0000084d: MLOAD
0000084e: RETURNDATASIZE
0000084f: PUSH1 0x1f
00000851: NOT
00000852: PUSH1 0x1f
00000854: DUP3
00000855: ADD
00000856: AND
00000857: DUP3
00000858: ADD
00000859: DUP1
0000085a: PUSH1 0x40
0000085c: MSTORE
0000085d: POP
0000085e: DUP2
0000085f: ADD
00000860: SWAP1
00000861: PUSH2 0x086a
00000864: SWAP2
00000865: SWAP1
00000866: PUSH2 0x2a9f
00000869: JUMP
0000086a: JUMPDEST
0000086b: PUSH2 0x15ce
0000086e: JUMP
0000086f: JUMPDEST
00000870: SWAP1
00000871: POP
00000872: SWAP1
00000873: JUMP
00000874: JUMPDEST
00000875: CALLER
00000876: PUSH1 0x00
00000878: SWAP1
00000879: DUP2
0000087a: MSTORE
0000087b: PUSH1 0x04
0000087d: PUSH1 0x20
0000087f: SWAP1
00000880: DUP2
00000881: MSTORE
00000882: PUSH1 0x40
00000884: DUP1
00000885: DUP4
00000886: KECCAK256
00000887: PUSH1 0x01
00000889: PUSH1 0x01
0000088b: PUSH1 0xa0
0000088d: SHL
0000088e: SUB
0000088f: DUP7
00000890: AND
00000891: DUP5
00000892: MSTORE
00000893: SWAP1
00000894: SWAP2
00000895: MSTORE
00000896: DUP2
00000897: KECCAK256
00000898: SLOAD
00000899: DUP2
0000089a: SWAP1
0000089b: PUSH2 0x08a5
0000089e: SWAP1
0000089f: DUP5
000008a0: SWAP1
000008a1: PUSH2 0x2b25
000008a4: JUMP
000008a5: JUMPDEST
000008a6: SWAP1
000008a7: POP
000008a8: PUSH2 0x08b2
000008ab: CALLER
000008ac: DUP6
000008ad: DUP4
000008ae: PUSH2 0x14f4
000008b1: JUMP
000008b2: JUMPDEST
000008b3: POP
000008b4: PUSH1 0x01
000008b6: SWAP4
000008b7: SWAP3
000008b8: POP
000008b9: POP
000008ba: POP
000008bb: JUMP
000008bc: JUMPDEST
000008bd: PUSH1 0x00
000008bf: DUP2
000008c0: PUSH2 0x08dc
000008c3: JUMPI
000008c4: PUSH1 0x40
000008c6: MLOAD
000008c7: PUSH4 0xc55dea97
000008cc: PUSH1 0xe0
000008ce: SHL
000008cf: DUP2
000008d0: MSTORE
000008d1: PUSH1 0x04
000008d3: ADD
000008d4: PUSH1 0x40
000008d6: MLOAD
000008d7: DUP1
000008d8: SWAP2
000008d9: SUB
000008da: SWAP1
000008db: REVERT
000008dc: JUMPDEST
000008dd: PUSH2 0x08e5
000008e0: DUP3
000008e1: PUSH2 0x10b5
000008e4: JUMP
000008e5: JUMPDEST
000008e6: SWAP1
000008e7: POP
000008e8: DUP1
000008e9: PUSH2 0x0905
000008ec: JUMPI
000008ed: PUSH1 0x40
000008ef: MLOAD
000008f0: PUSH4 0xf375dffb
000008f5: PUSH1 0xe0
000008f7: SHL
000008f8: DUP2
000008f9: MSTORE
000008fa: PUSH1 0x04
000008fc: ADD
000008fd: PUSH1 0x40
000008ff: MLOAD
00000900: DUP1
00000901: SWAP2
00000902: SUB
00000903: SWAP1
00000904: REVERT
00000905: JUMPDEST
00000906: PUSH1 0x06
00000908: SLOAD
00000909: PUSH1 0x40
0000090b: MLOAD
0000090c: PUSH4 0x23b872dd
00000911: PUSH1 0xe0
00000913: SHL
00000914: DUP2
00000915: MSTORE
00000916: CALLER
00000917: PUSH1 0x04
00000919: DUP3
0000091a: ADD
0000091b: MSTORE
0000091c: ADDRESS
0000091d: PUSH1 0x24
0000091f: DUP3
00000920: ADD
00000921: MSTORE
00000922: PUSH1 0x44
00000924: DUP2
00000925: ADD
00000926: DUP5
00000927: SWAP1
00000928: MSTORE
00000929: PUSH1 0x01
0000092b: PUSH1 0x01
0000092d: PUSH1 0xa0
0000092f: SHL
00000930: SUB
00000931: SWAP1
00000932: SWAP2
00000933: AND
00000934: SWAP1
00000935: PUSH4 0x23b872dd
0000093a: SWAP1
0000093b: PUSH1 0x64
0000093d: ADD
0000093e: PUSH1 0x20
00000940: PUSH1 0x40
00000942: MLOAD
00000943: DUP1
00000944: DUP4
00000945: SUB
00000946: DUP2
00000947: PUSH1 0x00
00000949: DUP8
0000094a: GAS
0000094b: CALL
0000094c: ISZERO
0000094d: DUP1
0000094e: ISZERO
0000094f: PUSH2 0x095c
00000952: JUMPI
00000953: RETURNDATASIZE
00000954: PUSH1 0x00
00000956: DUP1
00000957: RETURNDATACOPY
00000958: RETURNDATASIZE
00000959: PUSH1 0x00
0000095b: REVERT
0000095c: JUMPDEST
0000095d: POP
0000095e: POP
0000095f: POP
00000960: POP
00000961: PUSH1 0x40
00000963: MLOAD
00000964: RETURNDATASIZE
00000965: PUSH1 0x1f
00000967: NOT
00000968: PUSH1 0x1f
0000096a: DUP3
0000096b: ADD
0000096c: AND
0000096d: DUP3
0000096e: ADD
0000096f: DUP1
00000970: PUSH1 0x40
00000972: MSTORE
00000973: POP
00000974: DUP2
00000975: ADD
00000976: SWAP1
00000977: PUSH2 0x0980
0000097a: SWAP2
0000097b: SWAP1
0000097c: PUSH2 0x2b3d
0000097f: JUMP
00000980: JUMPDEST
00000981: POP
00000982: PUSH1 0x08
00000984: SLOAD
00000985: PUSH2 0x0998
00000988: SWAP1
00000989: PUSH1 0x01
0000098b: PUSH1 0x01
0000098d: PUSH1 0xa0
0000098f: SHL
00000990: SUB
00000991: AND
00000992: DUP5
00000993: DUP4
00000994: PUSH2 0x181a
00000997: JUMP
00000998: JUMPDEST
00000999: DUP3
0000099a: PUSH1 0x01
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: SHL
000009a1: SUB
000009a2: AND
000009a3: CALLER
000009a4: PUSH1 0x01
000009a6: PUSH1 0x01
000009a8: PUSH1 0xa0
000009aa: SHL
000009ab: SUB
000009ac: AND
000009ad: PUSH32 0x3f207773c457c66e004ab34e2ce7ae1fcafc7b4c3286f63997c8742801421915
000009ce: PUSH1 0x07
000009d0: SLOAD
000009d1: PUSH2 0x09d9
000009d4: DUP6
000009d5: PUSH2 0x18af
000009d8: JUMP
000009d9: JUMPDEST
000009da: PUSH2 0x09e2
000009dd: DUP8
000009de: PUSH2 0x18af
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH2 0x09eb
000009e6: SWAP1
000009e7: PUSH2 0x2b5f
000009ea: JUMP
000009eb: JUMPDEST
000009ec: PUSH1 0x40
000009ee: DUP1
000009ef: MLOAD
000009f0: SWAP4
000009f1: DUP5
000009f2: MSTORE
000009f3: PUSH1 0x20
000009f5: DUP5
000009f6: ADD
000009f7: SWAP3
000009f8: SWAP1
000009f9: SWAP3
000009fa: MSTORE
000009fb: SWAP1
000009fc: DUP3
000009fd: ADD
000009fe: MSTORE
000009ff: PUSH1 0x60
00000a01: ADD
00000a02: PUSH1 0x40
00000a04: MLOAD
00000a05: DUP1
00000a06: SWAP2
00000a07: SUB
00000a08: SWAP1
00000a09: LOG3
00000a0a: SWAP3
00000a0b: SWAP2
00000a0c: POP
00000a0d: POP
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: PUSH1 0x00
00000a12: DUP1
00000a13: DUP3
00000a14: PUSH2 0x0a30
00000a17: JUMPI
00000a18: PUSH1 0x40
00000a1a: MLOAD
00000a1b: PUSH4 0x38e3274f
00000a20: PUSH1 0xe0
00000a22: SHL
00000a23: DUP2
00000a24: MSTORE
00000a25: PUSH1 0x04
00000a27: ADD
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: DUP1
00000a2c: SWAP2
00000a2d: SUB
00000a2e: SWAP1
00000a2f: REVERT
00000a30: JUMPDEST
00000a31: PUSH2 0x0a39
00000a34: DUP4
00000a35: PUSH2 0x0613
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: SWAP1
00000a3b: SWAP3
00000a3c: POP
00000a3d: SWAP1
00000a3e: POP
00000a3f: PUSH2 0x0a48
00000a42: CALLER
00000a43: DUP5
00000a44: PUSH2 0x18f5
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH1 0x08
00000a4b: SLOAD
00000a4c: PUSH2 0x0a5f
00000a4f: SWAP1
00000a50: PUSH1 0x01
00000a52: PUSH1 0x01
00000a54: PUSH1 0xa0
00000a56: SHL
00000a57: SUB
00000a58: AND
00000a59: CALLER
00000a5a: DUP5
00000a5b: PUSH2 0x181a
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: DUP1
00000a61: ISZERO
00000a62: PUSH2 0x0adc
00000a65: JUMPI
00000a66: PUSH1 0x06
00000a68: SLOAD
00000a69: PUSH1 0x40
00000a6b: MLOAD
00000a6c: PUSH4 0xa9059cbb
00000a71: PUSH1 0xe0
00000a73: SHL
00000a74: DUP2
00000a75: MSTORE
00000a76: CALLER
00000a77: PUSH1 0x04
00000a79: DUP3
00000a7a: ADD
00000a7b: MSTORE
00000a7c: PUSH1 0x24
00000a7e: DUP2
00000a7f: ADD
00000a80: DUP4
00000a81: SWAP1
00000a82: MSTORE
00000a83: PUSH1 0x01
00000a85: PUSH1 0x01
00000a87: PUSH1 0xa0
00000a89: SHL
00000a8a: SUB
00000a8b: SWAP1
00000a8c: SWAP2
00000a8d: AND
00000a8e: SWAP1
00000a8f: PUSH4 0xa9059cbb
00000a94: SWAP1
00000a95: PUSH1 0x44
00000a97: ADD
00000a98: PUSH1 0x20
00000a9a: PUSH1 0x40
00000a9c: MLOAD
00000a9d: DUP1
00000a9e: DUP4
00000a9f: SUB
00000aa0: DUP2
00000aa1: PUSH1 0x00
00000aa3: DUP8
00000aa4: GAS
00000aa5: CALL
00000aa6: ISZERO
00000aa7: DUP1
00000aa8: ISZERO
00000aa9: PUSH2 0x0ab6
00000aac: JUMPI
00000aad: RETURNDATASIZE
00000aae: PUSH1 0x00
00000ab0: DUP1
00000ab1: RETURNDATACOPY
00000ab2: RETURNDATASIZE
00000ab3: PUSH1 0x00
00000ab5: REVERT
00000ab6: JUMPDEST
00000ab7: POP
00000ab8: POP
00000ab9: POP
00000aba: POP
00000abb: PUSH1 0x40
00000abd: MLOAD
00000abe: RETURNDATASIZE
00000abf: PUSH1 0x1f
00000ac1: NOT
00000ac2: PUSH1 0x1f
00000ac4: DUP3
00000ac5: ADD
00000ac6: AND
00000ac7: DUP3
00000ac8: ADD
00000ac9: DUP1
00000aca: PUSH1 0x40
00000acc: MSTORE
00000acd: POP
00000ace: DUP2
00000acf: ADD
00000ad0: SWAP1
00000ad1: PUSH2 0x0ada
00000ad4: SWAP2
00000ad5: SWAP1
00000ad6: PUSH2 0x2b3d
00000ad9: JUMP
00000ada: JUMPDEST
00000adb: POP
00000adc: JUMPDEST
00000add: PUSH1 0x07
00000adf: SLOAD
00000ae0: PUSH1 0x40
00000ae2: DUP1
00000ae3: MLOAD
00000ae4: SWAP2
00000ae5: DUP3
00000ae6: MSTORE
00000ae7: PUSH1 0x20
00000ae9: DUP3
00000aea: ADD
00000aeb: DUP5
00000aec: SWAP1
00000aed: MSTORE
00000aee: DUP2
00000aef: ADD
00000af0: DUP3
00000af1: SWAP1
00000af2: MSTORE
00000af3: PUSH1 0x60
00000af5: DUP2
00000af6: ADD
00000af7: DUP5
00000af8: SWAP1
00000af9: MSTORE
00000afa: CALLER
00000afb: SWAP1
00000afc: PUSH32 0x07f2116cba5132a586103ad74ef927bf672450d263bf5a8607f36d3854d13495
00000b1d: SWAP1
00000b1e: PUSH1 0x80
00000b20: ADD
00000b21: PUSH1 0x40
00000b23: MLOAD
00000b24: DUP1
00000b25: SWAP2
00000b26: SUB
00000b27: SWAP1
00000b28: LOG2
00000b29: SWAP2
00000b2a: POP
00000b2b: SWAP2
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: PUSH1 0x00
00000b30: DUP1
00000b31: PUSH1 0x00
00000b33: PUSH2 0x0b3b
00000b36: DUP5
00000b37: PUSH2 0x15ce
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: PUSH1 0x02
00000b3e: SLOAD
00000b3f: SWAP1
00000b40: SWAP2
00000b41: POP
00000b42: DUP1
00000b43: PUSH2 0x0b52
00000b46: JUMPI
00000b47: POP
00000b48: PUSH1 0x00
00000b4a: SWAP5
00000b4b: SWAP1
00000b4c: SWAP4
00000b4d: POP
00000b4e: SWAP2
00000b4f: POP
00000b50: POP
00000b51: JUMP
00000b52: JUMPDEST
00000b53: PUSH1 0x06
00000b55: SLOAD
00000b56: PUSH1 0x40
00000b58: MLOAD
00000b59: PUSH4 0x70a08231
00000b5e: PUSH1 0xe0
00000b60: SHL
00000b61: DUP2
00000b62: MSTORE
00000b63: ADDRESS
00000b64: PUSH1 0x04
00000b66: DUP3
00000b67: ADD
00000b68: MSTORE
00000b69: PUSH1 0x00
00000b6b: SWAP2
00000b6c: PUSH1 0x01
00000b6e: PUSH1 0x01
00000b70: PUSH1 0xa0
00000b72: SHL
00000b73: SUB
00000b74: AND
00000b75: SWAP1
00000b76: PUSH4 0x70a08231
00000b7b: SWAP1
00000b7c: PUSH1 0x24
00000b7e: ADD
00000b7f: PUSH1 0x20
00000b81: PUSH1 0x40
00000b83: MLOAD
00000b84: DUP1
00000b85: DUP4
00000b86: SUB
00000b87: DUP2
00000b88: DUP7
00000b89: GAS
00000b8a: STATICCALL
00000b8b: ISZERO
00000b8c: DUP1
00000b8d: ISZERO
00000b8e: PUSH2 0x0b9b
00000b91: JUMPI
00000b92: RETURNDATASIZE
00000b93: PUSH1 0x00
00000b95: DUP1
00000b96: RETURNDATACOPY
00000b97: RETURNDATASIZE
00000b98: PUSH1 0x00
00000b9a: REVERT
00000b9b: JUMPDEST
00000b9c: POP
00000b9d: POP
00000b9e: POP
00000b9f: POP
00000ba0: PUSH1 0x40
00000ba2: MLOAD
00000ba3: RETURNDATASIZE
00000ba4: PUSH1 0x1f
00000ba6: NOT
00000ba7: PUSH1 0x1f
00000ba9: DUP3
00000baa: ADD
00000bab: AND
00000bac: DUP3
00000bad: ADD
00000bae: DUP1
00000baf: PUSH1 0x40
00000bb1: MSTORE
00000bb2: POP
00000bb3: DUP2
00000bb4: ADD
00000bb5: SWAP1
00000bb6: PUSH2 0x0bbf
00000bb9: SWAP2
00000bba: SWAP1
00000bbb: PUSH2 0x2a9f
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: SWAP1
00000bc1: POP
00000bc2: PUSH2 0x0bc9
00000bc5: PUSH2 0x07f7
00000bc8: JUMP
00000bc9: JUMPDEST
00000bca: PUSH2 0x0bd3
00000bcd: DUP5
00000bce: DUP5
00000bcf: PUSH2 0x2ace
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: PUSH2 0x0bdd
00000bd7: SWAP2
00000bd8: SWAP1
00000bd9: PUSH2 0x2b03
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: SWAP4
00000bdf: POP
00000be0: DUP2
00000be1: PUSH2 0x0bea
00000be4: DUP6
00000be5: DUP4
00000be6: PUSH2 0x2ace
00000be9: JUMP
00000bea: JUMPDEST
00000beb: PUSH2 0x0bf4
00000bee: SWAP2
00000bef: SWAP1
00000bf0: PUSH2 0x2b03
00000bf3: JUMP
00000bf4: JUMPDEST
00000bf5: SWAP5
00000bf6: POP
00000bf7: POP
00000bf8: POP
00000bf9: POP
00000bfa: SWAP2
00000bfb: POP
00000bfc: SWAP2
00000bfd: JUMP
00000bfe: JUMPDEST
00000bff: PUSH1 0x00
00000c01: DUP2
00000c02: PUSH2 0x0c1e
00000c05: JUMPI
00000c06: PUSH1 0x40
00000c08: MLOAD
00000c09: PUSH4 0x05e5dead
00000c0e: PUSH1 0xe5
00000c10: SHL
00000c11: DUP2
00000c12: MSTORE
00000c13: PUSH1 0x04
00000c15: ADD
00000c16: PUSH1 0x40
00000c18: MLOAD
00000c19: DUP1
00000c1a: SWAP2
00000c1b: SUB
00000c1c: SWAP1
00000c1d: REVERT
00000c1e: JUMPDEST
00000c1f: PUSH2 0x0c27
00000c22: DUP3
00000c23: PUSH2 0x0d2a
00000c26: JUMP
00000c27: JUMPDEST
00000c28: SWAP1
00000c29: POP
00000c2a: DUP1
00000c2b: PUSH2 0x0c47
00000c2e: JUMPI
00000c2f: PUSH1 0x40
00000c31: MLOAD
00000c32: PUSH4 0x87fd39e9
00000c37: PUSH1 0xe0
00000c39: SHL
00000c3a: DUP2
00000c3b: MSTORE
00000c3c: PUSH1 0x04
00000c3e: ADD
00000c3f: PUSH1 0x40
00000c41: MLOAD
00000c42: DUP1
00000c43: SWAP2
00000c44: SUB
00000c45: SWAP1
00000c46: REVERT
00000c47: JUMPDEST
00000c48: PUSH1 0x08
00000c4a: SLOAD
00000c4b: PUSH2 0x0c5f
00000c4e: SWAP1
00000c4f: PUSH1 0x01
00000c51: PUSH1 0x01
00000c53: PUSH1 0xa0
00000c55: SHL
00000c56: SUB
00000c57: AND
00000c58: CALLER
00000c59: ADDRESS
00000c5a: DUP5
00000c5b: PUSH2 0x19a8
00000c5e: JUMP
00000c5f: JUMPDEST
00000c60: PUSH1 0x06
00000c62: SLOAD
00000c63: PUSH1 0x40
00000c65: MLOAD
00000c66: PUSH4 0xa9059cbb
00000c6b: PUSH1 0xe0
00000c6d: SHL
00000c6e: DUP2
00000c6f: MSTORE
00000c70: PUSH1 0x01
00000c72: PUSH1 0x01
00000c74: PUSH1 0xa0
00000c76: SHL
00000c77: SUB
00000c78: DUP6
00000c79: DUP2
00000c7a: AND
00000c7b: PUSH1 0x04
00000c7d: DUP4
00000c7e: ADD
00000c7f: MSTORE
00000c80: PUSH1 0x24
00000c82: DUP3
00000c83: ADD
00000c84: DUP6
00000c85: SWAP1
00000c86: MSTORE
00000c87: SWAP1
00000c88: SWAP2
00000c89: AND
00000c8a: SWAP1
00000c8b: PUSH4 0xa9059cbb
00000c90: SWAP1
00000c91: PUSH1 0x44
00000c93: ADD
00000c94: PUSH1 0x20
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: DUP1
00000c9a: DUP4
00000c9b: SUB
00000c9c: DUP2
00000c9d: PUSH1 0x00
00000c9f: DUP8
00000ca0: GAS
00000ca1: CALL
00000ca2: ISZERO
00000ca3: DUP1
00000ca4: ISZERO
00000ca5: PUSH2 0x0cb2
00000ca8: JUMPI
00000ca9: RETURNDATASIZE
00000caa: PUSH1 0x00
00000cac: DUP1
00000cad: RETURNDATACOPY
00000cae: RETURNDATASIZE
00000caf: PUSH1 0x00
00000cb1: REVERT
00000cb2: JUMPDEST
00000cb3: POP
00000cb4: POP
00000cb5: POP
00000cb6: POP
00000cb7: PUSH1 0x40
00000cb9: MLOAD
00000cba: RETURNDATASIZE
00000cbb: PUSH1 0x1f
00000cbd: NOT
00000cbe: PUSH1 0x1f
00000cc0: DUP3
00000cc1: ADD
00000cc2: AND
00000cc3: DUP3
00000cc4: ADD
00000cc5: DUP1
00000cc6: PUSH1 0x40
00000cc8: MSTORE
00000cc9: POP
00000cca: DUP2
00000ccb: ADD
00000ccc: SWAP1
00000ccd: PUSH2 0x0cd6
00000cd0: SWAP2
00000cd1: SWAP1
00000cd2: PUSH2 0x2b3d
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: POP
00000cd8: DUP3
00000cd9: PUSH1 0x01
00000cdb: PUSH1 0x01
00000cdd: PUSH1 0xa0
00000cdf: SHL
00000ce0: SUB
00000ce1: AND
00000ce2: CALLER
00000ce3: PUSH1 0x01
00000ce5: PUSH1 0x01
00000ce7: PUSH1 0xa0
00000ce9: SHL
00000cea: SUB
00000ceb: AND
00000cec: PUSH32 0x3f207773c457c66e004ab34e2ce7ae1fcafc7b4c3286f63997c8742801421915
00000d0d: PUSH1 0x07
00000d0f: SLOAD
00000d10: PUSH2 0x0d18
00000d13: DUP6
00000d14: PUSH2 0x18af
00000d17: JUMP
00000d18: JUMPDEST
00000d19: PUSH2 0x0d21
00000d1c: SWAP1
00000d1d: PUSH2 0x2b5f
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH2 0x09eb
00000d25: DUP8
00000d26: PUSH2 0x18af
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: PUSH1 0x00
00000d2d: PUSH1 0x07
00000d2f: SLOAD
00000d30: TIMESTAMP
00000d31: LT
00000d32: PUSH2 0x0d4e
00000d35: JUMPI
00000d36: PUSH1 0x40
00000d38: MLOAD
00000d39: PUSH4 0x7d8f9089
00000d3e: PUSH1 0xe0
00000d40: SHL
00000d41: DUP2
00000d42: MSTORE
00000d43: PUSH1 0x04
00000d45: ADD
00000d46: PUSH1 0x40
00000d48: MLOAD
00000d49: DUP1
00000d4a: SWAP2
00000d4b: SUB
00000d4c: SWAP1
00000d4d: REVERT
00000d4e: JUMPDEST
00000d4f: PUSH1 0x00
00000d51: PUSH2 0x0d58
00000d54: PUSH2 0x1341
00000d57: JUMP
00000d58: JUMPDEST
00000d59: SWAP1
00000d5a: POP
00000d5b: PUSH1 0x00
00000d5d: PUSH2 0x0d64
00000d60: PUSH2 0x07f7
00000d63: JUMP
00000d64: JUMPDEST
00000d65: SWAP1
00000d66: POP
00000d67: PUSH1 0x00
00000d69: PUSH2 0x0d78
00000d6c: DUP4
00000d6d: DUP4
00000d6e: DUP8
00000d6f: TIMESTAMP
00000d70: PUSH1 0x07
00000d72: SLOAD
00000d73: SUB
00000d74: PUSH2 0x19e6
00000d77: JUMP
00000d78: JUMPDEST
00000d79: SWAP1
00000d7a: POP
00000d7b: DUP1
00000d7c: DUP3
00000d7d: ADD
00000d7e: DUP6
00000d7f: DUP5
00000d80: SUB
00000d81: LT
00000d82: ISZERO
00000d83: PUSH2 0x0db7
00000d86: JUMPI
00000d87: PUSH1 0x40
00000d89: MLOAD
00000d8a: PUSH4 0x4782e813
00000d8f: PUSH1 0xe1
00000d91: SHL
00000d92: DUP2
00000d93: MSTORE
00000d94: PUSH1 0x04
00000d96: DUP2
00000d97: ADD
00000d98: DUP5
00000d99: SWAP1
00000d9a: MSTORE
00000d9b: PUSH1 0x24
00000d9d: DUP2
00000d9e: ADD
00000d9f: DUP7
00000da0: SWAP1
00000da1: MSTORE
00000da2: PUSH1 0x44
00000da4: DUP2
00000da5: ADD
00000da6: DUP4
00000da7: SWAP1
00000da8: MSTORE
00000da9: PUSH1 0x64
00000dab: DUP2
00000dac: ADD
00000dad: DUP3
00000dae: SWAP1
00000daf: MSTORE
00000db0: PUSH1 0x84
00000db2: ADD
00000db3: PUSH2 0x0770
00000db6: JUMP
00000db7: JUMPDEST
00000db8: PUSH2 0x0dc0
00000dbb: DUP2
00000dbc: PUSH2 0x15a3
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: SWAP6
00000dc2: SWAP5
00000dc3: POP
00000dc4: POP
00000dc5: POP
00000dc6: POP
00000dc7: POP
00000dc8: JUMP
00000dc9: JUMPDEST
00000dca: PUSH1 0x01
00000dcc: DUP1
00000dcd: SLOAD
00000dce: PUSH2 0x057b
00000dd1: SWAP1
00000dd2: PUSH2 0x2a64
00000dd5: JUMP
00000dd6: JUMPDEST
00000dd7: PUSH1 0x00
00000dd9: PUSH1 0x07
00000ddb: SLOAD
00000ddc: TIMESTAMP
00000ddd: LT
00000dde: PUSH2 0x0dfa
00000de1: JUMPI
00000de2: PUSH1 0x40
00000de4: MLOAD
00000de5: PUSH4 0x7d8f9089
00000dea: PUSH1 0xe0
00000dec: SHL
00000ded: DUP2
00000dee: MSTORE
00000def: PUSH1 0x04
00000df1: ADD
00000df2: PUSH1 0x40
00000df4: MLOAD
00000df5: DUP1
00000df6: SWAP2
00000df7: SUB
00000df8: SWAP1
00000df9: REVERT
00000dfa: JUMPDEST
00000dfb: PUSH2 0x060d
00000dfe: PUSH2 0x0e05
00000e01: PUSH2 0x07f7
00000e04: JUMP
00000e05: JUMPDEST
00000e06: PUSH2 0x0e0d
00000e09: PUSH2 0x1341
00000e0c: JUMP
00000e0d: JUMPDEST
00000e0e: PUSH2 0x0e16
00000e11: DUP6
00000e12: PUSH2 0x15ce
00000e15: JUMP
00000e16: JUMPDEST
00000e17: TIMESTAMP
00000e18: PUSH1 0x07
00000e1a: SLOAD
00000e1b: SUB
00000e1c: PUSH2 0x1aa6
00000e1f: JUMP
00000e20: JUMPDEST
00000e21: PUSH1 0x00
00000e23: PUSH1 0x07
00000e25: SLOAD
00000e26: TIMESTAMP
00000e27: LT
00000e28: PUSH2 0x0e44
00000e2b: JUMPI
00000e2c: PUSH1 0x40
00000e2e: MLOAD
00000e2f: PUSH4 0x7d8f9089
00000e34: PUSH1 0xe0
00000e36: SHL
00000e37: DUP2
00000e38: MSTORE
00000e39: PUSH1 0x04
00000e3b: ADD
00000e3c: PUSH1 0x40
00000e3e: MLOAD
00000e3f: DUP1
00000e40: SWAP2
00000e41: SUB
00000e42: SWAP1
00000e43: REVERT
00000e44: JUMPDEST
00000e45: DUP2
00000e46: PUSH2 0x0e62
00000e49: JUMPI
00000e4a: PUSH1 0x40
00000e4c: MLOAD
00000e4d: PUSH4 0x73a32c21
00000e52: PUSH1 0xe1
00000e54: SHL
00000e55: DUP2
00000e56: MSTORE
00000e57: PUSH1 0x04
00000e59: ADD
00000e5a: PUSH1 0x40
00000e5c: MLOAD
00000e5d: DUP1
00000e5e: SWAP2
00000e5f: SUB
00000e60: SWAP1
00000e61: REVERT
00000e62: JUMPDEST
00000e63: PUSH1 0x00
00000e65: PUSH2 0x0e6d
00000e68: DUP4
00000e69: PUSH2 0x0b2d
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: SWAP3
00000e6f: POP
00000e70: SWAP1
00000e71: POP
00000e72: PUSH2 0x0e7b
00000e75: CALLER
00000e76: DUP4
00000e77: PUSH2 0x1af0
00000e7a: JUMP
00000e7b: JUMPDEST
00000e7c: PUSH1 0x08
00000e7e: SLOAD
00000e7f: PUSH2 0x0e93
00000e82: SWAP1
00000e83: PUSH1 0x01
00000e85: PUSH1 0x01
00000e87: PUSH1 0xa0
00000e89: SHL
00000e8a: SUB
00000e8b: AND
00000e8c: CALLER
00000e8d: ADDRESS
00000e8e: DUP7
00000e8f: PUSH2 0x19a8
00000e92: JUMP
00000e93: JUMPDEST
00000e94: DUP1
00000e95: ISZERO
00000e96: PUSH2 0x0f16
00000e99: JUMPI
00000e9a: PUSH1 0x06
00000e9c: SLOAD
00000e9d: PUSH1 0x40
00000e9f: MLOAD
00000ea0: PUSH4 0x23b872dd
00000ea5: PUSH1 0xe0
00000ea7: SHL
00000ea8: DUP2
00000ea9: MSTORE
00000eaa: CALLER
00000eab: PUSH1 0x04
00000ead: DUP3
00000eae: ADD
00000eaf: MSTORE
00000eb0: ADDRESS
00000eb1: PUSH1 0x24
00000eb3: DUP3
00000eb4: ADD
00000eb5: MSTORE
00000eb6: PUSH1 0x44
00000eb8: DUP2
00000eb9: ADD
00000eba: DUP4
00000ebb: SWAP1
00000ebc: MSTORE
00000ebd: PUSH1 0x01
00000ebf: PUSH1 0x01
00000ec1: PUSH1 0xa0
00000ec3: SHL
00000ec4: SUB
00000ec5: SWAP1
00000ec6: SWAP2
00000ec7: AND
00000ec8: SWAP1
00000ec9: PUSH4 0x23b872dd
00000ece: SWAP1
00000ecf: PUSH1 0x64
00000ed1: ADD
00000ed2: PUSH1 0x20
00000ed4: PUSH1 0x40
00000ed6: MLOAD
00000ed7: DUP1
00000ed8: DUP4
00000ed9: SUB
00000eda: DUP2
00000edb: PUSH1 0x00
00000edd: DUP8
00000ede: GAS
00000edf: CALL
00000ee0: ISZERO
00000ee1: DUP1
00000ee2: ISZERO
00000ee3: PUSH2 0x0ef0
00000ee6: JUMPI
00000ee7: RETURNDATASIZE
00000ee8: PUSH1 0x00
00000eea: DUP1
00000eeb: RETURNDATACOPY
00000eec: RETURNDATASIZE
00000eed: PUSH1 0x00
00000eef: REVERT
00000ef0: JUMPDEST
00000ef1: POP
00000ef2: POP
00000ef3: POP
00000ef4: POP
00000ef5: PUSH1 0x40
00000ef7: MLOAD
00000ef8: RETURNDATASIZE
00000ef9: PUSH1 0x1f
00000efb: NOT
00000efc: PUSH1 0x1f
00000efe: DUP3
00000eff: ADD
00000f00: AND
00000f01: DUP3
00000f02: ADD
00000f03: DUP1
00000f04: PUSH1 0x40
00000f06: MSTORE
00000f07: POP
00000f08: DUP2
00000f09: ADD
00000f0a: SWAP1
00000f0b: PUSH2 0x0f14
00000f0e: SWAP2
00000f0f: SWAP1
00000f10: PUSH2 0x2b3d
00000f13: JUMP
00000f14: JUMPDEST
00000f15: POP
00000f16: JUMPDEST
00000f17: PUSH1 0x07
00000f19: SLOAD
00000f1a: PUSH1 0x40
00000f1c: DUP1
00000f1d: MLOAD
00000f1e: SWAP2
00000f1f: DUP3
00000f20: MSTORE
00000f21: PUSH1 0x20
00000f23: DUP3
00000f24: ADD
00000f25: DUP6
00000f26: SWAP1
00000f27: MSTORE
00000f28: DUP2
00000f29: ADD
00000f2a: DUP3
00000f2b: SWAP1
00000f2c: MSTORE
00000f2d: PUSH1 0x60
00000f2f: DUP2
00000f30: ADD
00000f31: DUP4
00000f32: SWAP1
00000f33: MSTORE
00000f34: CALLER
00000f35: SWAP1
00000f36: PUSH32 0x35dbc9a3c859c303d5aa317ff55e031f63d02a105fa48beb4341b45a4f5ade37
00000f57: SWAP1
00000f58: PUSH1 0x80
00000f5a: ADD
00000f5b: PUSH1 0x40
00000f5d: MLOAD
00000f5e: DUP1
00000f5f: SWAP2
00000f60: SUB
00000f61: SWAP1
00000f62: LOG2
00000f63: POP
00000f64: SWAP2
00000f65: SWAP1
00000f66: POP
00000f67: JUMP
00000f68: JUMPDEST
00000f69: CALLER
00000f6a: PUSH1 0x00
00000f6c: SWAP1
00000f6d: DUP2
00000f6e: MSTORE
00000f6f: PUSH1 0x04
00000f71: PUSH1 0x20
00000f73: SWAP1
00000f74: DUP2
00000f75: MSTORE
00000f76: PUSH1 0x40
00000f78: DUP1
00000f79: DUP4
00000f7a: KECCAK256
00000f7b: PUSH1 0x01
00000f7d: PUSH1 0x01
00000f7f: PUSH1 0xa0
00000f81: SHL
00000f82: SUB
00000f83: DUP7
00000f84: AND
00000f85: DUP5
00000f86: MSTORE
00000f87: SWAP1
00000f88: SWAP2
00000f89: MSTORE
00000f8a: DUP2
00000f8b: KECCAK256
00000f8c: SLOAD
00000f8d: DUP2
00000f8e: SWAP1
00000f8f: PUSH2 0x08a5
00000f92: SWAP1
00000f93: DUP5
00000f94: SWAP1
00000f95: PUSH2 0x2b7c
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH1 0x00
00000f9c: PUSH2 0x0609
00000f9f: CALLER
00000fa0: DUP5
00000fa1: DUP5
00000fa2: PUSH2 0x16f7
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: PUSH1 0x00
00000fa9: DUP2
00000faa: PUSH2 0x0fc6
00000fad: JUMPI
00000fae: PUSH1 0x40
00000fb0: MLOAD
00000fb1: PUSH4 0x4a31af1f
00000fb6: PUSH1 0xe1
00000fb8: SHL
00000fb9: DUP2
00000fba: MSTORE
00000fbb: PUSH1 0x04
00000fbd: ADD
00000fbe: PUSH1 0x40
00000fc0: MLOAD
00000fc1: DUP1
00000fc2: SWAP2
00000fc3: SUB
00000fc4: SWAP1
00000fc5: REVERT
00000fc6: JUMPDEST
00000fc7: PUSH2 0x0fcf
00000fca: DUP3
00000fcb: PUSH2 0x06dc
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH1 0x08
00000fd2: SLOAD
00000fd3: SWAP1
00000fd4: SWAP2
00000fd5: POP
00000fd6: PUSH2 0x0fea
00000fd9: SWAP1
00000fda: PUSH1 0x01
00000fdc: PUSH1 0x01
00000fde: PUSH1 0xa0
00000fe0: SHL
00000fe1: SUB
00000fe2: AND
00000fe3: CALLER
00000fe4: ADDRESS
00000fe5: DUP6
00000fe6: PUSH2 0x19a8
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: PUSH1 0x06
00000fed: SLOAD
00000fee: PUSH1 0x40
00000ff0: MLOAD
00000ff1: PUSH4 0xa9059cbb
00000ff6: PUSH1 0xe0
00000ff8: SHL
00000ff9: DUP2
00000ffa: MSTORE
00000ffb: PUSH1 0x01
00000ffd: PUSH1 0x01
00000fff: PUSH1 0xa0
00001001: SHL
00001002: SUB
00001003: DUP6
00001004: DUP2
00001005: AND
00001006: PUSH1 0x04
00001008: DUP4
00001009: ADD
0000100a: MSTORE
0000100b: PUSH1 0x24
0000100d: DUP3
0000100e: ADD
0000100f: DUP5
00001010: SWAP1
00001011: MSTORE
00001012: SWAP1
00001013: SWAP2
00001014: AND
00001015: SWAP1
00001016: PUSH4 0xa9059cbb
0000101b: SWAP1
0000101c: PUSH1 0x44
0000101e: ADD
0000101f: PUSH1 0x20
00001021: PUSH1 0x40
00001023: MLOAD
00001024: DUP1
00001025: DUP4
00001026: SUB
00001027: DUP2
00001028: PUSH1 0x00
0000102a: DUP8
0000102b: GAS
0000102c: CALL
0000102d: ISZERO
0000102e: DUP1
0000102f: ISZERO
00001030: PUSH2 0x103d
00001033: JUMPI
00001034: RETURNDATASIZE
00001035: PUSH1 0x00
00001037: DUP1
00001038: RETURNDATACOPY
00001039: RETURNDATASIZE
0000103a: PUSH1 0x00
0000103c: REVERT
0000103d: JUMPDEST
0000103e: POP
0000103f: POP
00001040: POP
00001041: POP
00001042: PUSH1 0x40
00001044: MLOAD
00001045: RETURNDATASIZE
00001046: PUSH1 0x1f
00001048: NOT
00001049: PUSH1 0x1f
0000104b: DUP3
0000104c: ADD
0000104d: AND
0000104e: DUP3
0000104f: ADD
00001050: DUP1
00001051: PUSH1 0x40
00001053: MSTORE
00001054: POP
00001055: DUP2
00001056: ADD
00001057: SWAP1
00001058: PUSH2 0x1061
0000105b: SWAP2
0000105c: SWAP1
0000105d: PUSH2 0x2b3d
00001060: JUMP
00001061: JUMPDEST
00001062: POP
00001063: DUP3
00001064: PUSH1 0x01
00001066: PUSH1 0x01
00001068: PUSH1 0xa0
0000106a: SHL
0000106b: SUB
0000106c: AND
0000106d: CALLER
0000106e: PUSH1 0x01
00001070: PUSH1 0x01
00001072: PUSH1 0xa0
00001074: SHL
00001075: SUB
00001076: AND
00001077: PUSH32 0x3f207773c457c66e004ab34e2ce7ae1fcafc7b4c3286f63997c8742801421915
00001098: PUSH1 0x07
0000109a: SLOAD
0000109b: PUSH2 0x10a3
0000109e: DUP7
0000109f: PUSH2 0x18af
000010a2: JUMP
000010a3: JUMPDEST
000010a4: PUSH2 0x10ac
000010a7: SWAP1
000010a8: PUSH2 0x2b5f
000010ab: JUMP
000010ac: JUMPDEST
000010ad: PUSH2 0x09eb
000010b0: DUP7
000010b1: PUSH2 0x18af
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH1 0x00
000010b8: PUSH1 0x07
000010ba: SLOAD
000010bb: TIMESTAMP
000010bc: LT
000010bd: PUSH2 0x10d9
000010c0: JUMPI
000010c1: PUSH1 0x40
000010c3: MLOAD
000010c4: PUSH4 0x7d8f9089
000010c9: PUSH1 0xe0
000010cb: SHL
000010cc: DUP2
000010cd: MSTORE
000010ce: PUSH1 0x04
000010d0: ADD
000010d1: PUSH1 0x40
000010d3: MLOAD
000010d4: DUP1
000010d5: SWAP2
000010d6: SUB
000010d7: SWAP1
000010d8: REVERT
000010d9: JUMPDEST
000010da: PUSH1 0x00
000010dc: PUSH2 0x10f9
000010df: PUSH2 0x10e6
000010e2: PUSH2 0x1341
000010e5: JUMP
000010e6: JUMPDEST
000010e7: PUSH2 0x10ee
000010ea: PUSH2 0x07f7
000010ed: JUMP
000010ee: JUMPDEST
000010ef: DUP6
000010f0: TIMESTAMP
000010f1: PUSH1 0x07
000010f3: SLOAD
000010f4: SUB
000010f5: PUSH2 0x1b9b
000010f8: JUMP
000010f9: JUMPDEST
000010fa: SWAP1
000010fb: POP
000010fc: PUSH2 0x07f0
000010ff: DUP2
00001100: PUSH2 0x15a3
00001103: JUMP
00001104: JUMPDEST
00001105: PUSH1 0x01
00001107: PUSH1 0x01
00001109: PUSH1 0xa0
0000110b: SHL
0000110c: SUB
0000110d: DUP8
0000110e: AND
0000110f: PUSH2 0x112b
00001112: JUMPI
00001113: PUSH1 0x40
00001115: MLOAD
00001116: PUSH4 0xbc622b63
0000111b: PUSH1 0xe0
0000111d: SHL
0000111e: DUP2
0000111f: MSTORE
00001120: PUSH1 0x04
00001122: ADD
00001123: PUSH1 0x40
00001125: MLOAD
00001126: DUP1
00001127: SWAP2
00001128: SUB
00001129: SWAP1
0000112a: REVERT
0000112b: JUMPDEST
0000112c: PUSH1 0x01
0000112e: PUSH1 0x01
00001130: PUSH1 0xa0
00001132: SHL
00001133: SUB
00001134: DUP7
00001135: AND
00001136: PUSH2 0x1152
00001139: JUMPI
0000113a: PUSH1 0x40
0000113c: MLOAD
0000113d: PUSH4 0x2853494b
00001142: PUSH1 0xe1
00001144: SHL
00001145: DUP2
00001146: MSTORE
00001147: PUSH1 0x04
00001149: ADD
0000114a: PUSH1 0x40
0000114c: MLOAD
0000114d: DUP1
0000114e: SWAP2
0000114f: SUB
00001150: SWAP1
00001151: REVERT
00001152: JUMPDEST
00001153: TIMESTAMP
00001154: DUP5
00001155: LT
00001156: ISZERO
00001157: PUSH2 0x1176
0000115a: JUMPI
0000115b: PUSH1 0x40
0000115d: MLOAD
0000115e: PUSH4 0x212ed8bb
00001163: PUSH1 0xe1
00001165: SHL
00001166: DUP2
00001167: MSTORE
00001168: PUSH1 0x04
0000116a: DUP2
0000116b: ADD
0000116c: DUP6
0000116d: SWAP1
0000116e: MSTORE
0000116f: PUSH1 0x24
00001171: ADD
00001172: PUSH2 0x0770
00001175: JUMP
00001176: JUMPDEST
00001177: PUSH1 0x01
00001179: PUSH1 0x01
0000117b: PUSH1 0xa0
0000117d: SHL
0000117e: SUB
0000117f: DUP8
00001180: DUP2
00001181: AND
00001182: PUSH1 0x00
00001184: DUP2
00001185: DUP2
00001186: MSTORE
00001187: PUSH1 0x05
00001189: PUSH1 0x20
0000118b: SWAP1
0000118c: DUP2
0000118d: MSTORE
0000118e: PUSH1 0x40
00001190: DUP1
00001191: DUP4
00001192: KECCAK256
00001193: DUP1
00001194: SLOAD
00001195: PUSH1 0x01
00001197: DUP1
00001198: DUP3
00001199: ADD
0000119a: SWAP1
0000119b: SWAP3
0000119c: SSTORE
0000119d: DUP3
0000119e: MLOAD
0000119f: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
000011c0: DUP2
000011c1: DUP7
000011c2: ADD
000011c3: MSTORE
000011c4: DUP1
000011c5: DUP5
000011c6: ADD
000011c7: SWAP7
000011c8: SWAP1
000011c9: SWAP7
000011ca: MSTORE
000011cb: SWAP6
000011cc: DUP13
000011cd: AND
000011ce: PUSH1 0x60
000011d0: DUP7
000011d1: ADD
000011d2: MSTORE
000011d3: PUSH1 0x80
000011d5: DUP6
000011d6: ADD
000011d7: DUP12
000011d8: SWAP1
000011d9: MSTORE
000011da: PUSH1 0xa0
000011dc: DUP6
000011dd: ADD
000011de: SWAP6
000011df: SWAP1
000011e0: SWAP6
000011e1: MSTORE
000011e2: PUSH1 0xc0
000011e4: DUP1
000011e5: DUP6
000011e6: ADD
000011e7: DUP11
000011e8: SWAP1
000011e9: MSTORE
000011ea: DUP2
000011eb: MLOAD
000011ec: DUP1
000011ed: DUP7
000011ee: SUB
000011ef: SWAP1
000011f0: SWAP2
000011f1: ADD
000011f2: DUP2
000011f3: MSTORE
000011f4: PUSH1 0xe0
000011f6: DUP6
000011f7: ADD
000011f8: DUP3
000011f9: MSTORE
000011fa: DUP1
000011fb: MLOAD
000011fc: SWAP1
000011fd: DUP4
000011fe: ADD
000011ff: KECCAK256
00001200: PUSH2 0x1901
00001203: PUSH1 0xf0
00001205: SHL
00001206: PUSH2 0x0100
00001209: DUP7
0000120a: ADD
0000120b: MSTORE
0000120c: PUSH32 0x6c66c16288d0cc3dc99daf909ebfbd2570e1e08338065794f9d86777c94efcbc
0000122d: PUSH2 0x0102
00001230: DUP7
00001231: ADD
00001232: MSTORE
00001233: PUSH2 0x0122
00001236: DUP1
00001237: DUP7
00001238: ADD
00001239: DUP3
0000123a: SWAP1
0000123b: MSTORE
0000123c: DUP3
0000123d: MLOAD
0000123e: DUP1
0000123f: DUP8
00001240: SUB
00001241: SWAP1
00001242: SWAP2
00001243: ADD
00001244: DUP2
00001245: MSTORE
00001246: PUSH2 0x0142
00001249: DUP7
0000124a: ADD
0000124b: DUP1
0000124c: DUP5
0000124d: MSTORE
0000124e: DUP2
0000124f: MLOAD
00001250: SWAP2
00001251: DUP6
00001252: ADD
00001253: SWAP2
00001254: SWAP1
00001255: SWAP2
00001256: KECCAK256
00001257: SWAP1
00001258: DUP6
00001259: SWAP1
0000125a: MSTORE
0000125b: PUSH2 0x0162
0000125e: DUP7
0000125f: ADD
00001260: DUP1
00001261: DUP5
00001262: MSTORE
00001263: DUP2
00001264: SWAP1
00001265: MSTORE
00001266: PUSH1 0xff
00001268: DUP11
00001269: AND
0000126a: PUSH2 0x0182
0000126d: DUP8
0000126e: ADD
0000126f: MSTORE
00001270: PUSH2 0x01a2
00001273: DUP7
00001274: ADD
00001275: DUP10
00001276: SWAP1
00001277: MSTORE
00001278: PUSH2 0x01c2
0000127b: DUP7
0000127c: ADD
0000127d: DUP9
0000127e: SWAP1
0000127f: MSTORE
00001280: SWAP2
00001281: MLOAD
00001282: SWAP1
00001283: SWAP6
00001284: SWAP2
00001285: SWAP5
00001286: SWAP2
00001287: SWAP3
00001288: PUSH2 0x01e2
0000128b: DUP1
0000128c: DUP5
0000128d: ADD
0000128e: SWAP4
0000128f: SWAP2
00001290: SWAP3
00001291: PUSH1 0x1f
00001293: NOT
00001294: DUP2
00001295: ADD
00001296: SWAP3
00001297: DUP2
00001298: SWAP1
00001299: SUB
0000129a: SWAP1
0000129b: SWAP2
0000129c: ADD
0000129d: SWAP1
0000129e: DUP6
0000129f: GAS
000012a0: STATICCALL
000012a1: ISZERO
000012a2: DUP1
000012a3: ISZERO
000012a4: PUSH2 0x12b1
000012a7: JUMPI
000012a8: RETURNDATASIZE
000012a9: PUSH1 0x00
000012ab: DUP1
000012ac: RETURNDATACOPY
000012ad: RETURNDATASIZE
000012ae: PUSH1 0x00
000012b0: REVERT
000012b1: JUMPDEST
000012b2: POP
000012b3: POP
000012b4: PUSH1 0x40
000012b6: MLOAD
000012b7: PUSH1 0x1f
000012b9: NOT
000012ba: ADD
000012bb: MLOAD
000012bc: SWAP2
000012bd: POP
000012be: POP
000012bf: PUSH1 0x01
000012c1: PUSH1 0x01
000012c3: PUSH1 0xa0
000012c5: SHL
000012c6: SUB
000012c7: DUP2
000012c8: AND
000012c9: PUSH2 0x12e5
000012cc: JUMPI
000012cd: PUSH1 0x40
000012cf: MLOAD
000012d0: PUSH4 0x0f81234f
000012d5: PUSH1 0xe3
000012d7: SHL
000012d8: DUP2
000012d9: MSTORE
000012da: PUSH1 0x04
000012dc: ADD
000012dd: PUSH1 0x40
000012df: MLOAD
000012e0: DUP1
000012e1: SWAP2
000012e2: SUB
000012e3: SWAP1
000012e4: REVERT
000012e5: JUMPDEST
000012e6: DUP10
000012e7: PUSH1 0x01
000012e9: PUSH1 0x01
000012eb: PUSH1 0xa0
000012ed: SHL
000012ee: SUB
000012ef: AND
000012f0: DUP2
000012f1: PUSH1 0x01
000012f3: PUSH1 0x01
000012f5: PUSH1 0xa0
000012f7: SHL
000012f8: SUB
000012f9: AND
000012fa: EQ
000012fb: PUSH2 0x132a
000012fe: JUMPI
000012ff: PUSH1 0x40
00001301: MLOAD
00001302: PUSH4 0x0b761939
00001307: PUSH1 0xe3
00001309: SHL
0000130a: DUP2
0000130b: MSTORE
0000130c: PUSH1 0xff
0000130e: DUP8
0000130f: AND
00001310: PUSH1 0x04
00001312: DUP3
00001313: ADD
00001314: MSTORE
00001315: PUSH1 0x24
00001317: DUP2
00001318: ADD
00001319: DUP7
0000131a: SWAP1
0000131b: MSTORE
0000131c: PUSH1 0x44
0000131e: DUP2
0000131f: ADD
00001320: DUP6
00001321: SWAP1
00001322: MSTORE
00001323: PUSH1 0x64
00001325: ADD
00001326: PUSH2 0x0770
00001329: JUMP
0000132a: JUMPDEST
0000132b: PUSH2 0x1335
0000132e: DUP11
0000132f: DUP11
00001330: DUP11
00001331: PUSH2 0x14f4
00001334: JUMP
00001335: JUMPDEST
00001336: POP
00001337: POP
00001338: POP
00001339: POP
0000133a: POP
0000133b: POP
0000133c: POP
0000133d: POP
0000133e: POP
0000133f: POP
00001340: JUMP
00001341: JUMPDEST
00001342: PUSH1 0x06
00001344: SLOAD
00001345: PUSH1 0x40
00001347: MLOAD
00001348: PUSH4 0x70a08231
0000134d: PUSH1 0xe0
0000134f: SHL
00001350: DUP2
00001351: MSTORE
00001352: ADDRESS
00001353: PUSH1 0x04
00001355: DUP3
00001356: ADD
00001357: MSTORE
00001358: PUSH1 0x00
0000135a: SWAP2
0000135b: DUP3
0000135c: SWAP2
0000135d: PUSH1 0x01
0000135f: PUSH1 0x01
00001361: PUSH1 0xa0
00001363: SHL
00001364: SUB
00001365: SWAP1
00001366: SWAP2
00001367: AND
00001368: SWAP1
00001369: PUSH4 0x70a08231
0000136e: SWAP1
0000136f: PUSH1 0x24
00001371: ADD
00001372: PUSH1 0x20
00001374: PUSH1 0x40
00001376: MLOAD
00001377: DUP1
00001378: DUP4
00001379: SUB
0000137a: DUP2
0000137b: DUP7
0000137c: GAS
0000137d: STATICCALL
0000137e: ISZERO
0000137f: DUP1
00001380: ISZERO
00001381: PUSH2 0x138e
00001384: JUMPI
00001385: RETURNDATASIZE
00001386: PUSH1 0x00
00001388: DUP1
00001389: RETURNDATACOPY
0000138a: RETURNDATASIZE
0000138b: PUSH1 0x00
0000138d: REVERT
0000138e: JUMPDEST
0000138f: POP
00001390: POP
00001391: POP
00001392: POP
00001393: PUSH1 0x40
00001395: MLOAD
00001396: RETURNDATASIZE
00001397: PUSH1 0x1f
00001399: NOT
0000139a: PUSH1 0x1f
0000139c: DUP3
0000139d: ADD
0000139e: AND
0000139f: DUP3
000013a0: ADD
000013a1: DUP1
000013a2: PUSH1 0x40
000013a4: MSTORE
000013a5: POP
000013a6: DUP2
000013a7: ADD
000013a8: SWAP1
000013a9: PUSH2 0x13b2
000013ac: SWAP2
000013ad: SWAP1
000013ae: PUSH2 0x2a9f
000013b1: JUMP
000013b2: JUMPDEST
000013b3: SWAP1
000013b4: POP
000013b5: PUSH1 0x02
000013b7: SLOAD
000013b8: DUP2
000013b9: ADD
000013ba: SWAP2
000013bb: POP
000013bc: DUP1
000013bd: DUP3
000013be: LT
000013bf: ISZERO
000013c0: PUSH2 0x13ea
000013c3: JUMPI
000013c4: PUSH1 0x02
000013c6: SLOAD
000013c7: PUSH1 0x40
000013c9: MLOAD
000013ca: PUSH4 0x021fc9cd
000013cf: PUSH1 0xe4
000013d1: SHL
000013d2: DUP2
000013d3: MSTORE
000013d4: PUSH2 0x0770
000013d7: SWAP2
000013d8: DUP4
000013d9: SWAP2
000013da: PUSH1 0x04
000013dc: ADD
000013dd: SWAP2
000013de: DUP3
000013df: MSTORE
000013e0: PUSH1 0x20
000013e2: DUP3
000013e3: ADD
000013e4: MSTORE
000013e5: PUSH1 0x40
000013e7: ADD
000013e8: SWAP1
000013e9: JUMP
000013ea: JUMPDEST
000013eb: POP
000013ec: SWAP1
000013ed: JUMP
000013ee: JUMPDEST
000013ef: PUSH1 0x00
000013f1: DUP2
000013f2: PUSH2 0x140d
000013f5: JUMPI
000013f6: PUSH1 0x40
000013f8: MLOAD
000013f9: PUSH3 0x89f121
000013fd: PUSH1 0xe0
000013ff: SHL
00001400: DUP2
00001401: MSTORE
00001402: PUSH1 0x04
00001404: ADD
00001405: PUSH1 0x40
00001407: MLOAD
00001408: DUP1
00001409: SWAP2
0000140a: SUB
0000140b: SWAP1
0000140c: REVERT
0000140d: JUMPDEST
0000140e: PUSH2 0x1416
00001411: DUP3
00001412: PUSH2 0x0dd6
00001415: JUMP
00001416: JUMPDEST
00001417: PUSH1 0x06
00001419: SLOAD
0000141a: PUSH1 0x40
0000141c: MLOAD
0000141d: PUSH4 0x23b872dd
00001422: PUSH1 0xe0
00001424: SHL
00001425: DUP2
00001426: MSTORE
00001427: CALLER
00001428: PUSH1 0x04
0000142a: DUP3
0000142b: ADD
0000142c: MSTORE
0000142d: ADDRESS
0000142e: PUSH1 0x24
00001430: DUP3
00001431: ADD
00001432: MSTORE
00001433: PUSH1 0x44
00001435: DUP2
00001436: ADD
00001437: DUP4
00001438: SWAP1
00001439: MSTORE
0000143a: SWAP2
0000143b: SWAP3
0000143c: POP
0000143d: PUSH1 0x01
0000143f: PUSH1 0x01
00001441: PUSH1 0xa0
00001443: SHL
00001444: SUB
00001445: AND
00001446: SWAP1
00001447: PUSH4 0x23b872dd
0000144c: SWAP1
0000144d: PUSH1 0x64
0000144f: ADD
00001450: PUSH1 0x20
00001452: PUSH1 0x40
00001454: MLOAD
00001455: DUP1
00001456: DUP4
00001457: SUB
00001458: DUP2
00001459: PUSH1 0x00
0000145b: DUP8
0000145c: GAS
0000145d: CALL
0000145e: ISZERO
0000145f: DUP1
00001460: ISZERO
00001461: PUSH2 0x146e
00001464: JUMPI
00001465: RETURNDATASIZE
00001466: PUSH1 0x00
00001468: DUP1
00001469: RETURNDATACOPY
0000146a: RETURNDATASIZE
0000146b: PUSH1 0x00
0000146d: REVERT
0000146e: JUMPDEST
0000146f: POP
00001470: POP
00001471: POP
00001472: POP
00001473: PUSH1 0x40
00001475: MLOAD
00001476: RETURNDATASIZE
00001477: PUSH1 0x1f
00001479: NOT
0000147a: PUSH1 0x1f
0000147c: DUP3
0000147d: ADD
0000147e: AND
0000147f: DUP3
00001480: ADD
00001481: DUP1
00001482: PUSH1 0x40
00001484: MSTORE
00001485: POP
00001486: DUP2
00001487: ADD
00001488: SWAP1
00001489: PUSH2 0x1492
0000148c: SWAP2
0000148d: SWAP1
0000148e: PUSH2 0x2b3d
00001491: JUMP
00001492: JUMPDEST
00001493: POP
00001494: PUSH1 0x08
00001496: SLOAD
00001497: PUSH2 0x14aa
0000149a: SWAP1
0000149b: PUSH1 0x01
0000149d: PUSH1 0x01
0000149f: PUSH1 0xa0
000014a1: SHL
000014a2: SUB
000014a3: AND
000014a4: DUP5
000014a5: DUP5
000014a6: PUSH2 0x181a
000014a9: JUMP
000014aa: JUMPDEST
000014ab: DUP3
000014ac: PUSH1 0x01
000014ae: PUSH1 0x01
000014b0: PUSH1 0xa0
000014b2: SHL
000014b3: SUB
000014b4: AND
000014b5: CALLER
000014b6: PUSH1 0x01
000014b8: PUSH1 0x01
000014ba: PUSH1 0xa0
000014bc: SHL
000014bd: SUB
000014be: AND
000014bf: PUSH32 0x3f207773c457c66e004ab34e2ce7ae1fcafc7b4c3286f63997c8742801421915
000014e0: PUSH1 0x07
000014e2: SLOAD
000014e3: PUSH2 0x14eb
000014e6: DUP7
000014e7: PUSH2 0x18af
000014ea: JUMP
000014eb: JUMPDEST
000014ec: PUSH2 0x09e2
000014ef: DUP7
000014f0: PUSH2 0x18af
000014f3: JUMP
000014f4: JUMPDEST
000014f5: PUSH1 0x01
000014f7: PUSH1 0x01
000014f9: PUSH1 0xa0
000014fb: SHL
000014fc: SUB
000014fd: DUP4
000014fe: AND
000014ff: PUSH2 0x151b
00001502: JUMPI
00001503: PUSH1 0x40
00001505: MLOAD
00001506: PUSH4 0x230326bf
0000150b: PUSH1 0xe1
0000150d: SHL
0000150e: DUP2
0000150f: MSTORE
00001510: PUSH1 0x04
00001512: ADD
00001513: PUSH1 0x40
00001515: MLOAD
00001516: DUP1
00001517: SWAP2
00001518: SUB
00001519: SWAP1
0000151a: REVERT
0000151b: JUMPDEST
0000151c: PUSH1 0x01
0000151e: PUSH1 0x01
00001520: PUSH1 0xa0
00001522: SHL
00001523: SUB
00001524: DUP3
00001525: AND
00001526: PUSH2 0x1542
00001529: JUMPI
0000152a: PUSH1 0x40
0000152c: MLOAD
0000152d: PUSH4 0x0b39ecd9
00001532: PUSH1 0xe2
00001534: SHL
00001535: DUP2
00001536: MSTORE
00001537: PUSH1 0x04
00001539: ADD
0000153a: PUSH1 0x40
0000153c: MLOAD
0000153d: DUP1
0000153e: SWAP2
0000153f: SUB
00001540: SWAP1
00001541: REVERT
00001542: JUMPDEST
00001543: PUSH1 0x01
00001545: PUSH1 0x01
00001547: PUSH1 0xa0
00001549: SHL
0000154a: SUB
0000154b: DUP4
0000154c: DUP2
0000154d: AND
0000154e: PUSH1 0x00
00001550: DUP2
00001551: DUP2
00001552: MSTORE
00001553: PUSH1 0x04
00001555: PUSH1 0x20
00001557: SWAP1
00001558: DUP2
00001559: MSTORE
0000155a: PUSH1 0x40
0000155c: DUP1
0000155d: DUP4
0000155e: KECCAK256
0000155f: SWAP5
00001560: DUP8
00001561: AND
00001562: DUP1
00001563: DUP5
00001564: MSTORE
00001565: SWAP5
00001566: DUP3
00001567: MSTORE
00001568: SWAP2
00001569: DUP3
0000156a: SWAP1
0000156b: KECCAK256
0000156c: DUP6
0000156d: SWAP1
0000156e: SSTORE
0000156f: SWAP1
00001570: MLOAD
00001571: DUP5
00001572: DUP2
00001573: MSTORE
00001574: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001595: SWAP2
00001596: ADD
00001597: PUSH1 0x40
00001599: MLOAD
0000159a: DUP1
0000159b: SWAP2
0000159c: SUB
0000159d: SWAP1
0000159e: LOG3
0000159f: POP
000015a0: POP
000015a1: POP
000015a2: JUMP
000015a3: JUMPDEST
000015a4: PUSH1 0x00
000015a6: PUSH1 0x09
000015a8: SLOAD
000015a9: PUSH1 0x01
000015ab: EQ
000015ac: ISZERO
000015ad: PUSH2 0x15b6
000015b0: JUMPI
000015b1: DUP2
000015b2: PUSH2 0x060d
000015b5: JUMP
000015b6: JUMPDEST
000015b7: PUSH1 0x09
000015b9: SLOAD
000015ba: DUP3
000015bb: DUP2
000015bc: PUSH2 0x15c7
000015bf: JUMPI
000015c0: PUSH2 0x15c7
000015c3: PUSH2 0x2aed
000015c6: JUMP
000015c7: JUMPDEST
000015c8: DIV
000015c9: SWAP3
000015ca: SWAP2
000015cb: POP
000015cc: POP
000015cd: JUMP
000015ce: JUMPDEST
000015cf: PUSH1 0x00
000015d1: PUSH1 0x09
000015d3: SLOAD
000015d4: PUSH1 0x01
000015d6: EQ
000015d7: ISZERO
000015d8: PUSH2 0x15e1
000015db: JUMPI
000015dc: DUP2
000015dd: PUSH2 0x060d
000015e0: JUMP
000015e1: JUMPDEST
000015e2: PUSH1 0x09
000015e4: SLOAD
000015e5: PUSH2 0x060d
000015e8: SWAP1
000015e9: DUP4
000015ea: PUSH2 0x2ace
000015ed: JUMP
000015ee: JUMPDEST
000015ef: PUSH1 0x00
000015f1: DUP1
000015f2: PUSH2 0x160b
000015f5: PUSH2 0x15fd
000015f8: DUP5
000015f9: PUSH2 0x1c35
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH8 0x0d2f13f7789f0000
00001607: PUSH2 0x1c82
0000160a: JUMP
0000160b: JUMPDEST
0000160c: SWAP1
0000160d: POP
0000160e: DUP6
0000160f: DUP5
00001610: ADD
00001611: DUP1
00001612: DUP8
00001613: GT
00001614: ISZERO
00001615: PUSH2 0x163b
00001618: JUMPI
00001619: PUSH1 0x40
0000161b: MLOAD
0000161c: PUSH4 0x391238d7
00001621: PUSH1 0xe1
00001623: SHL
00001624: DUP2
00001625: MSTORE
00001626: PUSH1 0x04
00001628: DUP2
00001629: ADD
0000162a: DUP9
0000162b: SWAP1
0000162c: MSTORE
0000162d: PUSH1 0x24
0000162f: DUP2
00001630: ADD
00001631: DUP7
00001632: SWAP1
00001633: MSTORE
00001634: PUSH1 0x44
00001636: ADD
00001637: PUSH2 0x0770
0000163a: JUMP
0000163b: JUMPDEST
0000163c: PUSH1 0x00
0000163e: PUSH2 0x1650
00001641: DUP4
00001642: PUSH2 0x164a
00001645: DUP10
00001646: PUSH2 0x1c35
00001649: JUMP
0000164a: JUMPDEST
0000164b: SWAP1
0000164c: PUSH2 0x1cec
0000164f: JUMP
00001650: JUMPDEST
00001651: PUSH2 0x165d
00001654: DUP5
00001655: PUSH2 0x164a
00001658: DUP12
00001659: PUSH2 0x1c35
0000165c: JUMP
0000165d: JUMPDEST
0000165e: ADD
0000165f: SWAP1
00001660: POP
00001661: PUSH1 0x00
00001663: PUSH2 0x166f
00001666: DUP5
00001667: PUSH2 0x164a
0000166a: DUP6
0000166b: PUSH2 0x1c35
0000166e: JUMP
0000166f: JUMPDEST
00001670: SWAP1
00001671: POP
00001672: DUP1
00001673: DUP3
00001674: LT
00001675: ISZERO
00001676: PUSH2 0x169c
00001679: JUMPI
0000167a: PUSH1 0x40
0000167c: MLOAD
0000167d: PUSH4 0x131e9115
00001682: PUSH1 0xe3
00001684: SHL
00001685: DUP2
00001686: MSTORE
00001687: PUSH1 0x04
00001689: DUP2
0000168a: ADD
0000168b: DUP4
0000168c: SWAP1
0000168d: MSTORE
0000168e: PUSH1 0x24
00001690: DUP2
00001691: ADD
00001692: DUP3
00001693: SWAP1
00001694: MSTORE
00001695: PUSH1 0x44
00001697: ADD
00001698: PUSH2 0x0770
0000169b: JUMP
0000169c: JUMPDEST
0000169d: PUSH1 0x00
0000169f: PUSH2 0x16bb
000016a2: PUSH2 0x16b6
000016a5: PUSH2 0x16ad
000016a8: DUP8
000016a9: PUSH2 0x1d2b
000016ac: JUMP
000016ad: JUMPDEST
000016ae: DUP5
000016af: DUP7
000016b0: SUB
000016b1: SWAP1
000016b2: PUSH2 0x1cec
000016b5: JUMP
000016b6: JUMPDEST
000016b7: PUSH2 0x1d4b
000016ba: JUMP
000016bb: JUMPDEST
000016bc: SWAP1
000016bd: POP
000016be: DUP1
000016bf: DUP10
000016c0: LT
000016c1: ISZERO
000016c2: PUSH2 0x16e8
000016c5: JUMPI
000016c6: PUSH1 0x40
000016c8: MLOAD
000016c9: PUSH4 0xbaee4857
000016ce: PUSH1 0xe0
000016d0: SHL
000016d1: DUP2
000016d2: MSTORE
000016d3: PUSH1 0x04
000016d5: DUP2
000016d6: ADD
000016d7: DUP11
000016d8: SWAP1
000016d9: MSTORE
000016da: PUSH1 0x24
000016dc: DUP2
000016dd: ADD
000016de: DUP3
000016df: SWAP1
000016e0: MSTORE
000016e1: PUSH1 0x44
000016e3: ADD
000016e4: PUSH2 0x0770
000016e7: JUMP
000016e8: JUMPDEST
000016e9: SWAP1
000016ea: SWAP8
000016eb: SUB
000016ec: SWAP9
000016ed: SWAP8
000016ee: POP
000016ef: POP
000016f0: POP
000016f1: POP
000016f2: POP
000016f3: POP
000016f4: POP
000016f5: POP
000016f6: JUMP
000016f7: JUMPDEST
000016f8: PUSH1 0x01
000016fa: PUSH1 0x01
000016fc: PUSH1 0xa0
000016fe: SHL
000016ff: SUB
00001700: DUP4
00001701: AND
00001702: PUSH2 0x171e
00001705: JUMPI
00001706: PUSH1 0x40
00001708: MLOAD
00001709: PUSH4 0x907bfbd7
0000170e: PUSH1 0xe0
00001710: SHL
00001711: DUP2
00001712: MSTORE
00001713: PUSH1 0x04
00001715: ADD
00001716: PUSH1 0x40
00001718: MLOAD
00001719: DUP1
0000171a: SWAP2
0000171b: SUB
0000171c: SWAP1
0000171d: REVERT
0000171e: JUMPDEST
0000171f: PUSH1 0x01
00001721: PUSH1 0x01
00001723: PUSH1 0xa0
00001725: SHL
00001726: SUB
00001727: DUP3
00001728: AND
00001729: PUSH2 0x1745
0000172c: JUMPI
0000172d: PUSH1 0x40
0000172f: MLOAD
00001730: PUSH4 0x7184c13f
00001735: PUSH1 0xe0
00001737: SHL
00001738: DUP2
00001739: MSTORE
0000173a: PUSH1 0x04
0000173c: ADD
0000173d: PUSH1 0x40
0000173f: MLOAD
00001740: DUP1
00001741: SWAP2
00001742: SUB
00001743: SWAP1
00001744: REVERT
00001745: JUMPDEST
00001746: PUSH1 0x01
00001748: PUSH1 0x01
0000174a: PUSH1 0xa0
0000174c: SHL
0000174d: SUB
0000174e: DUP4
0000174f: AND
00001750: PUSH1 0x00
00001752: SWAP1
00001753: DUP2
00001754: MSTORE
00001755: PUSH1 0x03
00001757: PUSH1 0x20
00001759: MSTORE
0000175a: PUSH1 0x40
0000175c: SWAP1
0000175d: KECCAK256
0000175e: SLOAD
0000175f: DUP2
00001760: DUP2
00001761: LT
00001762: ISZERO
00001763: PUSH2 0x1789
00001766: JUMPI
00001767: PUSH1 0x40
00001769: MLOAD
0000176a: PUSH4 0x2dcf2e21
0000176f: PUSH1 0xe2
00001771: SHL
00001772: DUP2
00001773: MSTORE
00001774: PUSH1 0x04
00001776: DUP2
00001777: ADD
00001778: DUP3
00001779: SWAP1
0000177a: MSTORE
0000177b: PUSH1 0x24
0000177d: DUP2
0000177e: ADD
0000177f: DUP4
00001780: SWAP1
00001781: MSTORE
00001782: PUSH1 0x44
00001784: ADD
00001785: PUSH2 0x0770
00001788: JUMP
00001789: JUMPDEST
0000178a: PUSH1 0x01
0000178c: PUSH1 0x01
0000178e: PUSH1 0xa0
00001790: SHL
00001791: SUB
00001792: DUP1
00001793: DUP6
00001794: AND
00001795: PUSH1 0x00
00001797: SWAP1
00001798: DUP2
00001799: MSTORE
0000179a: PUSH1 0x03
0000179c: PUSH1 0x20
0000179e: MSTORE
0000179f: PUSH1 0x40
000017a1: DUP1
000017a2: DUP3
000017a3: KECCAK256
000017a4: DUP6
000017a5: DUP6
000017a6: SUB
000017a7: SWAP1
000017a8: SSTORE
000017a9: SWAP2
000017aa: DUP6
000017ab: AND
000017ac: DUP2
000017ad: MSTORE
000017ae: SWAP1
000017af: DUP2
000017b0: KECCAK256
000017b1: DUP1
000017b2: SLOAD
000017b3: DUP5
000017b4: SWAP3
000017b5: SWAP1
000017b6: PUSH2 0x17c0
000017b9: SWAP1
000017ba: DUP5
000017bb: SWAP1
000017bc: PUSH2 0x2b25
000017bf: JUMP
000017c0: JUMPDEST
000017c1: SWAP3
000017c2: POP
000017c3: POP
000017c4: DUP2
000017c5: SWAP1
000017c6: SSTORE
000017c7: POP
000017c8: DUP3
000017c9: PUSH1 0x01
000017cb: PUSH1 0x01
000017cd: PUSH1 0xa0
000017cf: SHL
000017d0: SUB
000017d1: AND
000017d2: DUP5
000017d3: PUSH1 0x01
000017d5: PUSH1 0x01
000017d7: PUSH1 0xa0
000017d9: SHL
000017da: SUB
000017db: AND
000017dc: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000017fd: DUP5
000017fe: PUSH1 0x40
00001800: MLOAD
00001801: PUSH2 0x180c
00001804: SWAP2
00001805: DUP2
00001806: MSTORE
00001807: PUSH1 0x20
00001809: ADD
0000180a: SWAP1
0000180b: JUMP
0000180c: JUMPDEST
0000180d: PUSH1 0x40
0000180f: MLOAD
00001810: DUP1
00001811: SWAP2
00001812: SUB
00001813: SWAP1
00001814: LOG3
00001815: POP
00001816: POP
00001817: POP
00001818: POP
00001819: JUMP
0000181a: JUMPDEST
0000181b: PUSH1 0x40
0000181d: MLOAD
0000181e: PUSH1 0x01
00001820: PUSH1 0x01
00001822: PUSH1 0xa0
00001824: SHL
00001825: SUB
00001826: DUP4
00001827: AND
00001828: PUSH1 0x24
0000182a: DUP3
0000182b: ADD
0000182c: MSTORE
0000182d: PUSH1 0x44
0000182f: DUP2
00001830: ADD
00001831: DUP3
00001832: SWAP1
00001833: MSTORE
00001834: PUSH2 0x18aa
00001837: SWAP1
00001838: DUP5
00001839: SWAP1
0000183a: PUSH4 0xa9059cbb
0000183f: PUSH1 0xe0
00001841: SHL
00001842: SWAP1
00001843: PUSH1 0x64
00001845: ADD
00001846: JUMPDEST
00001847: PUSH1 0x40
00001849: DUP1
0000184a: MLOAD
0000184b: PUSH1 0x1f
0000184d: NOT
0000184e: DUP2
0000184f: DUP5
00001850: SUB
00001851: ADD
00001852: DUP2
00001853: MSTORE
00001854: SWAP2
00001855: SWAP1
00001856: MSTORE
00001857: PUSH1 0x20
00001859: DUP2
0000185a: ADD
0000185b: DUP1
0000185c: MLOAD
0000185d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000187a: AND
0000187b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000189c: SWAP1
0000189d: SWAP4
0000189e: AND
0000189f: SWAP3
000018a0: SWAP1
000018a1: SWAP3
000018a2: OR
000018a3: SWAP1
000018a4: SWAP2
000018a5: MSTORE
000018a6: PUSH2 0x1d5c
000018a9: JUMP
000018aa: JUMPDEST
000018ab: POP
000018ac: POP
000018ad: POP
000018ae: JUMP
000018af: JUMPDEST
000018b0: PUSH1 0x00
000018b2: PUSH32 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000018d3: DUP3
000018d4: GT
000018d5: ISZERO
000018d6: PUSH2 0x13ea
000018d9: JUMPI
000018da: PUSH1 0x40
000018dc: MLOAD
000018dd: PUSH4 0xfde52f21
000018e2: PUSH1 0xe0
000018e4: SHL
000018e5: DUP2
000018e6: MSTORE
000018e7: PUSH1 0x04
000018e9: DUP2
000018ea: ADD
000018eb: DUP4
000018ec: SWAP1
000018ed: MSTORE
000018ee: PUSH1 0x24
000018f0: ADD
000018f1: PUSH2 0x0770
000018f4: JUMP
000018f5: JUMPDEST
000018f6: PUSH1 0x01
000018f8: PUSH1 0x01
000018fa: PUSH1 0xa0
000018fc: SHL
000018fd: SUB
000018fe: DUP3
000018ff: AND
00001900: PUSH2 0x191c
00001903: JUMPI
00001904: PUSH1 0x40
00001906: MLOAD
00001907: PUSH4 0x8e35e803
0000190c: PUSH1 0xe0
0000190e: SHL
0000190f: DUP2
00001910: MSTORE
00001911: PUSH1 0x04
00001913: ADD
00001914: PUSH1 0x40
00001916: MLOAD
00001917: DUP1
00001918: SWAP2
00001919: SUB
0000191a: SWAP1
0000191b: REVERT
0000191c: JUMPDEST
0000191d: PUSH1 0x01
0000191f: PUSH1 0x01
00001921: PUSH1 0xa0
00001923: SHL
00001924: SUB
00001925: DUP3
00001926: AND
00001927: PUSH1 0x00
00001929: SWAP1
0000192a: DUP2
0000192b: MSTORE
0000192c: PUSH1 0x03
0000192e: PUSH1 0x20
00001930: MSTORE
00001931: PUSH1 0x40
00001933: DUP2
00001934: KECCAK256
00001935: DUP1
00001936: SLOAD
00001937: DUP4
00001938: SWAP3
00001939: SWAP1
0000193a: PUSH2 0x1944
0000193d: SWAP1
0000193e: DUP5
0000193f: SWAP1
00001940: PUSH2 0x2b7c
00001943: JUMP
00001944: JUMPDEST
00001945: SWAP3
00001946: POP
00001947: POP
00001948: DUP2
00001949: SWAP1
0000194a: SSTORE
0000194b: POP
0000194c: DUP1
0000194d: PUSH1 0x02
0000194f: PUSH1 0x00
00001951: DUP3
00001952: DUP3
00001953: SLOAD
00001954: PUSH2 0x195d
00001957: SWAP2
00001958: SWAP1
00001959: PUSH2 0x2b7c
0000195c: JUMP
0000195d: JUMPDEST
0000195e: SWAP1
0000195f: SWAP2
00001960: SSTORE
00001961: POP
00001962: POP
00001963: PUSH1 0x40
00001965: MLOAD
00001966: DUP2
00001967: DUP2
00001968: MSTORE
00001969: PUSH1 0x00
0000196b: SWAP1
0000196c: PUSH1 0x01
0000196e: PUSH1 0x01
00001970: PUSH1 0xa0
00001972: SHL
00001973: SUB
00001974: DUP5
00001975: AND
00001976: SWAP1
00001977: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001998: SWAP1
00001999: PUSH1 0x20
0000199b: ADD
0000199c: JUMPDEST
0000199d: PUSH1 0x40
0000199f: MLOAD
000019a0: DUP1
000019a1: SWAP2
000019a2: SUB
000019a3: SWAP1
000019a4: LOG3
000019a5: POP
000019a6: POP
000019a7: JUMP
000019a8: JUMPDEST
000019a9: PUSH1 0x40
000019ab: MLOAD
000019ac: PUSH1 0x01
000019ae: PUSH1 0x01
000019b0: PUSH1 0xa0
000019b2: SHL
000019b3: SUB
000019b4: DUP1
000019b5: DUP6
000019b6: AND
000019b7: PUSH1 0x24
000019b9: DUP4
000019ba: ADD
000019bb: MSTORE
000019bc: DUP4
000019bd: AND
000019be: PUSH1 0x44
000019c0: DUP3
000019c1: ADD
000019c2: MSTORE
000019c3: PUSH1 0x64
000019c5: DUP2
000019c6: ADD
000019c7: DUP3
000019c8: SWAP1
000019c9: MSTORE
000019ca: PUSH2 0x19e0
000019cd: SWAP1
000019ce: DUP6
000019cf: SWAP1
000019d0: PUSH4 0x23b872dd
000019d5: PUSH1 0xe0
000019d7: SHL
000019d8: SWAP1
000019d9: PUSH1 0x84
000019db: ADD
000019dc: PUSH2 0x1846
000019df: JUMP
000019e0: JUMPDEST
000019e1: POP
000019e2: POP
000019e3: POP
000019e4: POP
000019e5: JUMP
000019e6: JUMPDEST
000019e7: PUSH1 0x00
000019e9: DUP1
000019ea: PUSH2 0x19f5
000019ed: PUSH2 0x15fd
000019f0: DUP5
000019f1: PUSH2 0x1c35
000019f4: JUMP
000019f5: JUMPDEST
000019f6: SWAP1
000019f7: POP
000019f8: DUP4
000019f9: DUP7
000019fa: LT
000019fb: ISZERO
000019fc: PUSH2 0x1a22
000019ff: JUMPI
00001a00: PUSH1 0x40
00001a02: MLOAD
00001a03: PUSH4 0x0195979d
00001a08: PUSH1 0xe3
00001a0a: SHL
00001a0b: DUP2
00001a0c: MSTORE
00001a0d: PUSH1 0x04
00001a0f: DUP2
00001a10: ADD
00001a11: DUP8
00001a12: SWAP1
00001a13: MSTORE
00001a14: PUSH1 0x24
00001a16: DUP2
00001a17: ADD
00001a18: DUP6
00001a19: SWAP1
00001a1a: MSTORE
00001a1b: PUSH1 0x44
00001a1d: ADD
00001a1e: PUSH2 0x0770
00001a21: JUMP
00001a22: JUMPDEST
00001a23: DUP4
00001a24: DUP7
00001a25: SUB
00001a26: PUSH1 0x00
00001a28: PUSH2 0x1a34
00001a2b: DUP4
00001a2c: PUSH2 0x164a
00001a2f: DUP5
00001a30: PUSH2 0x1c35
00001a33: JUMP
00001a34: JUMPDEST
00001a35: PUSH2 0x1a41
00001a38: DUP5
00001a39: PUSH2 0x164a
00001a3c: DUP11
00001a3d: PUSH2 0x1c35
00001a40: JUMP
00001a41: JUMPDEST
00001a42: PUSH2 0x1a4e
00001a45: DUP6
00001a46: PUSH2 0x164a
00001a49: DUP13
00001a4a: PUSH2 0x1c35
00001a4d: JUMP
00001a4e: JUMPDEST
00001a4f: ADD
00001a50: SUB
00001a51: SWAP1
00001a52: POP
00001a53: PUSH1 0x00
00001a55: PUSH2 0x1a6a
00001a58: PUSH2 0x16b6
00001a5b: PUSH2 0x1a63
00001a5e: DUP7
00001a5f: PUSH2 0x1d2b
00001a62: JUMP
00001a63: JUMPDEST
00001a64: DUP5
00001a65: SWAP1
00001a66: PUSH2 0x1cec
00001a69: JUMP
00001a6a: JUMPDEST
00001a6b: SWAP1
00001a6c: POP
00001a6d: DUP8
00001a6e: DUP2
00001a6f: LT
00001a70: ISZERO
00001a71: PUSH2 0x1a97
00001a74: JUMPI
00001a75: PUSH1 0x40
00001a77: MLOAD
00001a78: PUSH4 0xbaee4857
00001a7d: PUSH1 0xe0
00001a7f: SHL
00001a80: DUP2
00001a81: MSTORE
00001a82: PUSH1 0x04
00001a84: DUP2
00001a85: ADD
00001a86: DUP3
00001a87: SWAP1
00001a88: MSTORE
00001a89: PUSH1 0x24
00001a8b: DUP2
00001a8c: ADD
00001a8d: DUP10
00001a8e: SWAP1
00001a8f: MSTORE
00001a90: PUSH1 0x44
00001a92: ADD
00001a93: PUSH2 0x0770
00001a96: JUMP
00001a97: JUMPDEST
00001a98: SWAP7
00001a99: SWAP1
00001a9a: SWAP7
00001a9b: SUB
00001a9c: SWAP8
00001a9d: SWAP7
00001a9e: POP
00001a9f: POP
00001aa0: POP
00001aa1: POP
00001aa2: POP
00001aa3: POP
00001aa4: POP
00001aa5: JUMP
00001aa6: JUMPDEST
00001aa7: PUSH1 0x00
00001aa9: DUP1
00001aaa: PUSH2 0x1ac3
00001aad: PUSH2 0x1ab5
00001ab0: DUP5
00001ab1: PUSH2 0x1c35
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: PUSH8 0x0e9bb2d80e8435e5
00001abf: PUSH2 0x1c82
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: SWAP1
00001ac5: POP
00001ac6: DUP4
00001ac7: DUP7
00001ac8: LT
00001ac9: ISZERO
00001aca: PUSH2 0x1a22
00001acd: JUMPI
00001ace: PUSH1 0x40
00001ad0: MLOAD
00001ad1: PUSH4 0x9a568431
00001ad6: PUSH1 0xe0
00001ad8: SHL
00001ad9: DUP2
00001ada: MSTORE
00001adb: PUSH1 0x04
00001add: DUP2
00001ade: ADD
00001adf: DUP8
00001ae0: SWAP1
00001ae1: MSTORE
00001ae2: PUSH1 0x24
00001ae4: DUP2
00001ae5: ADD
00001ae6: DUP6
00001ae7: SWAP1
00001ae8: MSTORE
00001ae9: PUSH1 0x44
00001aeb: ADD
00001aec: PUSH2 0x0770
00001aef: JUMP
00001af0: JUMPDEST
00001af1: PUSH1 0x01
00001af3: PUSH1 0x01
00001af5: PUSH1 0xa0
00001af7: SHL
00001af8: SUB
00001af9: DUP3
00001afa: AND
00001afb: PUSH2 0x1b17
00001afe: JUMPI
00001aff: PUSH1 0x40
00001b01: MLOAD
00001b02: PUSH4 0x139241eb
00001b07: PUSH1 0xe0
00001b09: SHL
00001b0a: DUP2
00001b0b: MSTORE
00001b0c: PUSH1 0x04
00001b0e: ADD
00001b0f: PUSH1 0x40
00001b11: MLOAD
00001b12: DUP1
00001b13: SWAP2
00001b14: SUB
00001b15: SWAP1
00001b16: REVERT
00001b17: JUMPDEST
00001b18: PUSH1 0x01
00001b1a: PUSH1 0x01
00001b1c: PUSH1 0xa0
00001b1e: SHL
00001b1f: SUB
00001b20: DUP3
00001b21: AND
00001b22: PUSH1 0x00
00001b24: SWAP1
00001b25: DUP2
00001b26: MSTORE
00001b27: PUSH1 0x03
00001b29: PUSH1 0x20
00001b2b: MSTORE
00001b2c: PUSH1 0x40
00001b2e: DUP2
00001b2f: KECCAK256
00001b30: DUP1
00001b31: SLOAD
00001b32: DUP4
00001b33: SWAP3
00001b34: SWAP1
00001b35: PUSH2 0x1b3f
00001b38: SWAP1
00001b39: DUP5
00001b3a: SWAP1
00001b3b: PUSH2 0x2b25
00001b3e: JUMP
00001b3f: JUMPDEST
00001b40: SWAP3
00001b41: POP
00001b42: POP
00001b43: DUP2
00001b44: SWAP1
00001b45: SSTORE
00001b46: POP
00001b47: DUP1
00001b48: PUSH1 0x02
00001b4a: PUSH1 0x00
00001b4c: DUP3
00001b4d: DUP3
00001b4e: SLOAD
00001b4f: PUSH2 0x1b58
00001b52: SWAP2
00001b53: SWAP1
00001b54: PUSH2 0x2b25
00001b57: JUMP
00001b58: JUMPDEST
00001b59: SWAP1
00001b5a: SWAP2
00001b5b: SSTORE
00001b5c: POP
00001b5d: POP
00001b5e: PUSH1 0x40
00001b60: MLOAD
00001b61: DUP2
00001b62: DUP2
00001b63: MSTORE
00001b64: PUSH1 0x01
00001b66: PUSH1 0x01
00001b68: PUSH1 0xa0
00001b6a: SHL
00001b6b: SUB
00001b6c: DUP4
00001b6d: AND
00001b6e: SWAP1
00001b6f: PUSH1 0x00
00001b71: SWAP1
00001b72: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b93: SWAP1
00001b94: PUSH1 0x20
00001b96: ADD
00001b97: PUSH2 0x199c
00001b9a: JUMP
00001b9b: JUMPDEST
00001b9c: PUSH1 0x00
00001b9e: DUP1
00001b9f: PUSH2 0x1baa
00001ba2: PUSH2 0x1ab5
00001ba5: DUP5
00001ba6: PUSH2 0x1c35
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: SWAP1
00001bac: POP
00001bad: DUP6
00001bae: DUP5
00001baf: ADD
00001bb0: DUP7
00001bb1: DUP2
00001bb2: LT
00001bb3: ISZERO
00001bb4: PUSH2 0x1bda
00001bb7: JUMPI
00001bb8: PUSH1 0x40
00001bba: MLOAD
00001bbb: PUSH4 0x53d50117
00001bc0: PUSH1 0xe1
00001bc2: SHL
00001bc3: DUP2
00001bc4: MSTORE
00001bc5: PUSH1 0x04
00001bc7: DUP2
00001bc8: ADD
00001bc9: DUP9
00001bca: SWAP1
00001bcb: MSTORE
00001bcc: PUSH1 0x24
00001bce: DUP2
00001bcf: ADD
00001bd0: DUP7
00001bd1: SWAP1
00001bd2: MSTORE
00001bd3: PUSH1 0x44
00001bd5: ADD
00001bd6: PUSH2 0x0770
00001bd9: JUMP
00001bda: JUMPDEST
00001bdb: PUSH1 0x00
00001bdd: PUSH2 0x1be9
00001be0: DUP4
00001be1: PUSH2 0x164a
00001be4: DUP10
00001be5: PUSH2 0x1c35
00001be8: JUMP
00001be9: JUMPDEST
00001bea: PUSH2 0x1bf6
00001bed: DUP5
00001bee: PUSH2 0x164a
00001bf1: DUP12
00001bf2: PUSH2 0x1c35
00001bf5: JUMP
00001bf6: JUMPDEST
00001bf7: ADD
00001bf8: SWAP1
00001bf9: POP
00001bfa: PUSH1 0x00
00001bfc: PUSH2 0x1c08
00001bff: DUP5
00001c00: PUSH2 0x164a
00001c03: DUP6
00001c04: PUSH2 0x1c35
00001c07: JUMP
00001c08: JUMPDEST
00001c09: SWAP1
00001c0a: POP
00001c0b: DUP1
00001c0c: DUP3
00001c0d: LT
00001c0e: ISZERO
00001c0f: PUSH2 0x169c
00001c12: JUMPI
00001c13: PUSH1 0x40
00001c15: MLOAD
00001c16: PUSH4 0x05ef7767
00001c1b: PUSH1 0xe0
00001c1d: SHL
00001c1e: DUP2
00001c1f: MSTORE
00001c20: PUSH1 0x04
00001c22: DUP2
00001c23: ADD
00001c24: DUP4
00001c25: SWAP1
00001c26: MSTORE
00001c27: PUSH1 0x24
00001c29: DUP2
00001c2a: ADD
00001c2b: DUP3
00001c2c: SWAP1
00001c2d: MSTORE
00001c2e: PUSH1 0x44
00001c30: ADD
00001c31: PUSH2 0x0770
00001c34: JUMP
00001c35: JUMPDEST
00001c36: PUSH1 0x00
00001c38: PUSH25 0x12725dd1d243aba0e75fe645cc4873f9e65afe688c928e1f21
00001c52: DUP3
00001c53: GT
00001c54: ISZERO
00001c55: PUSH2 0x1c74
00001c58: JUMPI
00001c59: PUSH1 0x40
00001c5b: MLOAD
00001c5c: PUSH4 0x3492ffd9
00001c61: PUSH1 0xe0
00001c63: SHL
00001c64: DUP2
00001c65: MSTORE
00001c66: PUSH1 0x04
00001c68: DUP2
00001c69: ADD
00001c6a: DUP4
00001c6b: SWAP1
00001c6c: MSTORE
00001c6d: PUSH1 0x24
00001c6f: ADD
00001c70: PUSH2 0x0770
00001c73: JUMP
00001c74: JUMPDEST
00001c75: POP
00001c76: PUSH8 0x0de0b6b3a7640000
00001c7f: MUL
00001c80: SWAP1
00001c81: JUMP
00001c82: JUMPDEST
00001c83: PUSH1 0x00
00001c85: PUSH2 0x1c9a
00001c88: PUSH8 0x0de0b6b3a7640000
00001c91: PUSH4 0x0724907f
00001c96: PUSH2 0x2ace
00001c99: JUMP
00001c9a: JUMPDEST
00001c9b: DUP4
00001c9c: GT
00001c9d: ISZERO
00001c9e: PUSH2 0x1cbd
00001ca1: JUMPI
00001ca2: PUSH1 0x40
00001ca4: MLOAD
00001ca5: PUSH4 0x0e1708e7
00001caa: PUSH1 0xe0
00001cac: SHL
00001cad: DUP2
00001cae: MSTORE
00001caf: PUSH1 0x04
00001cb1: DUP2
00001cb2: ADD
00001cb3: DUP5
00001cb4: SWAP1
00001cb5: MSTORE
00001cb6: PUSH1 0x24
00001cb8: ADD
00001cb9: PUSH2 0x0770
00001cbc: JUMP
00001cbd: JUMPDEST
00001cbe: PUSH1 0x00
00001cc0: PUSH2 0x1cce
00001cc3: PUSH5 0x01d88341bc
00001cc9: DUP6
00001cca: PUSH2 0x1dd9
00001ccd: JUMP
00001cce: JUMPDEST
00001ccf: SWAP1
00001cd0: POP
00001cd1: PUSH2 0x1cda
00001cd4: DUP4
00001cd5: DUP3
00001cd6: PUSH2 0x1dd9
00001cd9: JUMP
00001cda: JUMPDEST
00001cdb: PUSH8 0x0de0b6b3a7640000
00001ce4: SUB
00001ce5: SWAP5
00001ce6: SWAP4
00001ce7: POP
00001ce8: POP
00001ce9: POP
00001cea: POP
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: PUSH1 0x00
00001cef: DUP3
00001cf0: PUSH2 0x1d11
00001cf3: JUMPI
00001cf4: DUP2
00001cf5: ISZERO
00001cf6: PUSH2 0x1d00
00001cf9: JUMPI
00001cfa: PUSH1 0x00
00001cfc: PUSH2 0x1d0a
00001cff: JUMP
00001d00: JUMPDEST
00001d01: PUSH8 0x0de0b6b3a7640000
00001d0a: JUMPDEST
00001d0b: SWAP1
00001d0c: POP
00001d0d: PUSH2 0x060d
00001d10: JUMP
00001d11: JUMPDEST
00001d12: PUSH2 0x07f0
00001d15: PUSH2 0x1d26
00001d18: PUSH2 0x1d20
00001d1b: DUP6
00001d1c: PUSH2 0x1de5
00001d1f: JUMP
00001d20: JUMPDEST
00001d21: DUP5
00001d22: PUSH2 0x1dd9
00001d25: JUMP
00001d26: JUMPDEST
00001d27: PUSH2 0x1e8d
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: PUSH1 0x00
00001d2e: DUP2
00001d2f: PUSH15 0xc097ce7bc90715b34b9f1000000000
00001d3f: DUP2
00001d40: PUSH2 0x15c7
00001d43: JUMPI
00001d44: PUSH2 0x15c7
00001d47: PUSH2 0x2aed
00001d4a: JUMP
00001d4b: JUMPDEST
00001d4c: PUSH1 0x00
00001d4e: PUSH8 0x0de0b6b3a7640000
00001d57: DUP3
00001d58: PUSH2 0x15c7
00001d5b: JUMP
00001d5c: JUMPDEST
00001d5d: PUSH1 0x00
00001d5f: PUSH2 0x1d9e
00001d62: DUP4
00001d63: DUP4
00001d64: PUSH1 0x40
00001d66: MLOAD
00001d67: DUP1
00001d68: PUSH1 0x40
00001d6a: ADD
00001d6b: PUSH1 0x40
00001d6d: MSTORE
00001d6e: DUP1
00001d6f: PUSH1 0x15
00001d71: DUP2
00001d72: MSTORE
00001d73: PUSH1 0x20
00001d75: ADD
00001d76: PUSH32 0x5361666545726332304c6f774c6576656c43616c6c0000000000000000000000
00001d97: DUP2
00001d98: MSTORE
00001d99: POP
00001d9a: PUSH2 0x1ed3
00001d9d: JUMP
00001d9e: JUMPDEST
00001d9f: DUP1
00001da0: MLOAD
00001da1: SWAP1
00001da2: SWAP2
00001da3: POP
00001da4: ISZERO
00001da5: PUSH2 0x18aa
00001da8: JUMPI
00001da9: DUP1
00001daa: DUP1
00001dab: PUSH1 0x20
00001dad: ADD
00001dae: SWAP1
00001daf: MLOAD
00001db0: DUP2
00001db1: ADD
00001db2: SWAP1
00001db3: PUSH2 0x1dbc
00001db6: SWAP2
00001db7: SWAP1
00001db8: PUSH2 0x2b3d
00001dbb: JUMP
00001dbc: JUMPDEST
00001dbd: PUSH2 0x18aa
00001dc0: JUMPI
00001dc1: PUSH1 0x40
00001dc3: MLOAD
00001dc4: PUSH4 0x64d6fc4d
00001dc9: PUSH1 0xe0
00001dcb: SHL
00001dcc: DUP2
00001dcd: MSTORE
00001dce: PUSH1 0x04
00001dd0: ADD
00001dd1: PUSH1 0x40
00001dd3: MLOAD
00001dd4: DUP1
00001dd5: SWAP2
00001dd6: SUB
00001dd7: SWAP1
00001dd8: REVERT
00001dd9: JUMPDEST
00001dda: PUSH1 0x00
00001ddc: PUSH2 0x07f0
00001ddf: DUP4
00001de0: DUP4
00001de1: PUSH2 0x1faa
00001de4: JUMP
00001de5: JUMPDEST
00001de6: PUSH1 0x00
00001de8: PUSH8 0x0de0b6b3a7640000
00001df1: DUP3
00001df2: LT
00001df3: ISZERO
00001df4: PUSH2 0x1e13
00001df7: JUMPI
00001df8: PUSH1 0x40
00001dfa: MLOAD
00001dfb: PUSH4 0x36214137
00001e00: PUSH1 0xe2
00001e02: SHL
00001e03: DUP2
00001e04: MSTORE
00001e05: PUSH1 0x04
00001e07: DUP2
00001e08: ADD
00001e09: DUP4
00001e0a: SWAP1
00001e0b: MSTORE
00001e0c: PUSH1 0x24
00001e0e: ADD
00001e0f: PUSH2 0x0770
00001e12: JUMP
00001e13: JUMPDEST
00001e14: PUSH1 0x00
00001e16: PUSH2 0x1e28
00001e19: PUSH8 0x0de0b6b3a7640000
00001e22: DUP5
00001e23: DIV
00001e24: PUSH2 0x206c
00001e27: JUMP
00001e28: JUMPDEST
00001e29: PUSH8 0x0de0b6b3a7640000
00001e32: DUP1
00001e33: DUP3
00001e34: MUL
00001e35: SWAP4
00001e36: POP
00001e37: SWAP1
00001e38: SWAP2
00001e39: POP
00001e3a: DUP4
00001e3b: DUP3
00001e3c: SHR
00001e3d: SWAP1
00001e3e: DUP2
00001e3f: EQ
00001e40: ISZERO
00001e41: PUSH2 0x1e4b
00001e44: JUMPI
00001e45: POP
00001e46: POP
00001e47: SWAP2
00001e48: SWAP1
00001e49: POP
00001e4a: JUMP
00001e4b: JUMPDEST
00001e4c: PUSH8 0x06f05b59d3b20000
00001e55: JUMPDEST
00001e56: DUP1
00001e57: ISZERO
00001e58: PUSH2 0x0779
00001e5b: JUMPI
00001e5c: PUSH8 0x0de0b6b3a7640000
00001e65: DUP3
00001e66: DUP1
00001e67: MUL
00001e68: DIV
00001e69: SWAP2
00001e6a: POP
00001e6b: PUSH8 0x1bc16d674ec80000
00001e74: DUP3
00001e75: LT
00001e76: PUSH2 0x1e85
00001e79: JUMPI
00001e7a: SWAP3
00001e7b: DUP4
00001e7c: ADD
00001e7d: SWAP3
00001e7e: PUSH1 0x01
00001e80: SWAP2
00001e81: SWAP1
00001e82: SWAP2
00001e83: SHR
00001e84: SWAP1
00001e85: JUMPDEST
00001e86: PUSH1 0x01
00001e88: SHR
00001e89: PUSH2 0x1e55
00001e8c: JUMP
00001e8d: JUMPDEST
00001e8e: PUSH1 0x00
00001e90: PUSH9 0x0a688906bd8b000000
00001e9a: DUP3
00001e9b: LT
00001e9c: PUSH2 0x1ebb
00001e9f: JUMPI
00001ea0: PUSH1 0x40
00001ea2: MLOAD
00001ea3: PUSH4 0x4a4f26f1
00001ea8: PUSH1 0xe0
00001eaa: SHL
00001eab: DUP2
00001eac: MSTORE
00001ead: PUSH1 0x04
00001eaf: DUP2
00001eb0: ADD
00001eb1: DUP4
00001eb2: SWAP1
00001eb3: MSTORE
00001eb4: PUSH1 0x24
00001eb6: ADD
00001eb7: PUSH2 0x0770
00001eba: JUMP
00001ebb: JUMPDEST
00001ebc: PUSH8 0x0de0b6b3a7640000
00001ec5: PUSH1 0x40
00001ec7: DUP4
00001ec8: SWAP1
00001ec9: SHL
00001eca: DIV
00001ecb: PUSH2 0x07f0
00001ece: DUP2
00001ecf: PUSH2 0x2162
00001ed2: JUMP
00001ed3: JUMPDEST
00001ed4: PUSH1 0x60
00001ed6: PUSH2 0x1ee7
00001ed9: DUP5
00001eda: PUSH1 0x01
00001edc: PUSH1 0x01
00001ede: PUSH1 0xa0
00001ee0: SHL
00001ee1: SUB
00001ee2: AND
00001ee3: PUSH2 0x2872
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: PUSH2 0x1f0f
00001eeb: JUMPI
00001eec: PUSH1 0x40
00001eee: MLOAD
00001eef: PUSH4 0x8201cc05
00001ef4: PUSH1 0xe0
00001ef6: SHL
00001ef7: DUP2
00001ef8: MSTORE
00001ef9: PUSH1 0x01
00001efb: PUSH1 0x01
00001efd: PUSH1 0xa0
00001eff: SHL
00001f00: SUB
00001f01: DUP6
00001f02: AND
00001f03: PUSH1 0x04
00001f05: DUP3
00001f06: ADD
00001f07: MSTORE
00001f08: PUSH1 0x24
00001f0a: ADD
00001f0b: PUSH2 0x0770
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: PUSH1 0x00
00001f12: DUP1
00001f13: DUP6
00001f14: PUSH1 0x01
00001f16: PUSH1 0x01
00001f18: PUSH1 0xa0
00001f1a: SHL
00001f1b: SUB
00001f1c: AND
00001f1d: DUP6
00001f1e: PUSH1 0x40
00001f20: MLOAD
00001f21: PUSH2 0x1f2a
00001f24: SWAP2
00001f25: SWAP1
00001f26: PUSH2 0x2b93
00001f29: JUMP
00001f2a: JUMPDEST
00001f2b: PUSH1 0x00
00001f2d: PUSH1 0x40
00001f2f: MLOAD
00001f30: DUP1
00001f31: DUP4
00001f32: SUB
00001f33: DUP2
00001f34: PUSH1 0x00
00001f36: DUP7
00001f37: GAS
00001f38: CALL
00001f39: SWAP2
00001f3a: POP
00001f3b: POP
00001f3c: RETURNDATASIZE
00001f3d: DUP1
00001f3e: PUSH1 0x00
00001f40: DUP2
00001f41: EQ
00001f42: PUSH2 0x1f67
00001f45: JUMPI
00001f46: PUSH1 0x40
00001f48: MLOAD
00001f49: SWAP2
00001f4a: POP
00001f4b: PUSH1 0x1f
00001f4d: NOT
00001f4e: PUSH1 0x3f
00001f50: RETURNDATASIZE
00001f51: ADD
00001f52: AND
00001f53: DUP3
00001f54: ADD
00001f55: PUSH1 0x40
00001f57: MSTORE
00001f58: RETURNDATASIZE
00001f59: DUP3
00001f5a: MSTORE
00001f5b: RETURNDATASIZE
00001f5c: PUSH1 0x00
00001f5e: PUSH1 0x20
00001f60: DUP5
00001f61: ADD
00001f62: RETURNDATACOPY
00001f63: PUSH2 0x1f6c
00001f66: JUMP
00001f67: JUMPDEST
00001f68: PUSH1 0x60
00001f6a: SWAP2
00001f6b: POP
00001f6c: JUMPDEST
00001f6d: POP
00001f6e: SWAP2
00001f6f: POP
00001f70: SWAP2
00001f71: POP
00001f72: DUP2
00001f73: ISZERO
00001f74: PUSH2 0x1f80
00001f77: JUMPI
00001f78: SWAP2
00001f79: POP
00001f7a: PUSH2 0x07f0
00001f7d: SWAP1
00001f7e: POP
00001f7f: JUMP
00001f80: JUMPDEST
00001f81: DUP1
00001f82: MLOAD
00001f83: ISZERO
00001f84: PUSH2 0x1f90
00001f87: JUMPI
00001f88: DUP1
00001f89: MLOAD
00001f8a: DUP1
00001f8b: DUP3
00001f8c: PUSH1 0x20
00001f8e: ADD
00001f8f: REVERT
00001f90: JUMPDEST
00001f91: DUP4
00001f92: PUSH1 0x40
00001f94: MLOAD
00001f95: PUSH3 0x461bcd
00001f99: PUSH1 0xe5
00001f9b: SHL
00001f9c: DUP2
00001f9d: MSTORE
00001f9e: PUSH1 0x04
00001fa0: ADD
00001fa1: PUSH2 0x0770
00001fa4: SWAP2
00001fa5: SWAP1
00001fa6: PUSH2 0x28da
00001fa9: JUMP
00001faa: JUMPDEST
00001fab: PUSH1 0x00
00001fad: DUP1
00001fae: DUP1
00001faf: PUSH1 0x00
00001fb1: NOT
00001fb2: DUP5
00001fb3: DUP7
00001fb4: MULMOD
00001fb5: DUP5
00001fb6: DUP7
00001fb7: MUL
00001fb8: SWAP3
00001fb9: POP
00001fba: DUP3
00001fbb: DUP2
00001fbc: LT
00001fbd: DUP4
00001fbe: DUP3
00001fbf: SUB
00001fc0: SUB
00001fc1: SWAP2
00001fc2: POP
00001fc3: POP
00001fc4: PUSH8 0x0de0b6b3a7640000
00001fcd: DUP2
00001fce: LT
00001fcf: PUSH2 0x1fee
00001fd2: JUMPI
00001fd3: PUSH1 0x40
00001fd5: MLOAD
00001fd6: PUSH4 0x698d9a01
00001fdb: PUSH1 0xe1
00001fdd: SHL
00001fde: DUP2
00001fdf: MSTORE
00001fe0: PUSH1 0x04
00001fe2: DUP2
00001fe3: ADD
00001fe4: DUP3
00001fe5: SWAP1
00001fe6: MSTORE
00001fe7: PUSH1 0x24
00001fe9: ADD
00001fea: PUSH2 0x0770
00001fed: JUMP
00001fee: JUMPDEST
00001fef: PUSH1 0x00
00001ff1: DUP1
00001ff2: PUSH8 0x0de0b6b3a7640000
00001ffb: DUP7
00001ffc: DUP9
00001ffd: MULMOD
00001ffe: SWAP2
00001fff: POP
00002000: POP
00002001: PUSH8 0x06f05b59d3b1ffff
0000200a: DUP2
0000200b: GT
0000200c: DUP3
0000200d: PUSH2 0x2028
00002010: JUMPI
00002011: DUP1
00002012: PUSH8 0x0de0b6b3a7640000
0000201b: DUP6
0000201c: DIV
0000201d: ADD
0000201e: SWAP5
0000201f: POP
00002020: POP
00002021: POP
00002022: POP
00002023: POP
00002024: PUSH2 0x060d
00002027: JUMP
00002028: JUMPDEST
00002029: PUSH3 0x040000
0000202d: DUP3
0000202e: DUP6
0000202f: SUB
00002030: DIV
00002031: SWAP4
00002032: SWAP1
00002033: SWAP2
00002034: GT
00002035: SWAP1
00002036: SWAP2
00002037: SUB
00002038: PUSH1 0x01
0000203a: PUSH1 0xee
0000203c: SHL
0000203d: MUL
0000203e: SWAP2
0000203f: SWAP1
00002040: SWAP2
00002041: OR
00002042: PUSH32 0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669
00002063: MUL
00002064: ADD
00002065: SWAP1
00002066: POP
00002067: SWAP3
00002068: SWAP2
00002069: POP
0000206a: POP
0000206b: JUMP
0000206c: JUMPDEST
0000206d: PUSH1 0x00
0000206f: PUSH17 0x0100000000000000000000000000000000
00002081: DUP3
00002082: LT
00002083: PUSH2 0x2099
00002086: JUMPI
00002087: PUSH1 0x80
00002089: SWAP2
0000208a: DUP3
0000208b: SHR
0000208c: SWAP2
0000208d: PUSH2 0x2096
00002090: SWAP1
00002091: DUP3
00002092: PUSH2 0x2b25
00002095: JUMP
00002096: JUMPDEST
00002097: SWAP1
00002098: POP
00002099: JUMPDEST
0000209a: PUSH9 0x010000000000000000
000020a4: DUP3
000020a5: LT
000020a6: PUSH2 0x20bc
000020a9: JUMPI
000020aa: PUSH1 0x40
000020ac: SWAP2
000020ad: DUP3
000020ae: SHR
000020af: SWAP2
000020b0: PUSH2 0x20b9
000020b3: SWAP1
000020b4: DUP3
000020b5: PUSH2 0x2b25
000020b8: JUMP
000020b9: JUMPDEST
000020ba: SWAP1
000020bb: POP
000020bc: JUMPDEST
000020bd: PUSH5 0x0100000000
000020c3: DUP3
000020c4: LT
000020c5: PUSH2 0x20db
000020c8: JUMPI
000020c9: PUSH1 0x20
000020cb: SWAP2
000020cc: DUP3
000020cd: SHR
000020ce: SWAP2
000020cf: PUSH2 0x20d8
000020d2: SWAP1
000020d3: DUP3
000020d4: PUSH2 0x2b25
000020d7: JUMP
000020d8: JUMPDEST
000020d9: SWAP1
000020da: POP
000020db: JUMPDEST
000020dc: PUSH3 0x010000
000020e0: DUP3
000020e1: LT
000020e2: PUSH2 0x20f8
000020e5: JUMPI
000020e6: PUSH1 0x10
000020e8: SWAP2
000020e9: DUP3
000020ea: SHR
000020eb: SWAP2
000020ec: PUSH2 0x20f5
000020ef: SWAP1
000020f0: DUP3
000020f1: PUSH2 0x2b25
000020f4: JUMP
000020f5: JUMPDEST
000020f6: SWAP1
000020f7: POP
000020f8: JUMPDEST
000020f9: PUSH2 0x0100
000020fc: DUP3
000020fd: LT
000020fe: PUSH2 0x2114
00002101: JUMPI
00002102: PUSH1 0x08
00002104: SWAP2
00002105: DUP3
00002106: SHR
00002107: SWAP2
00002108: PUSH2 0x2111
0000210b: SWAP1
0000210c: DUP3
0000210d: PUSH2 0x2b25
00002110: JUMP
00002111: JUMPDEST
00002112: SWAP1
00002113: POP
00002114: JUMPDEST
00002115: PUSH1 0x10
00002117: DUP3
00002118: LT
00002119: PUSH2 0x212f
0000211c: JUMPI
0000211d: PUSH1 0x04
0000211f: SWAP2
00002120: DUP3
00002121: SHR
00002122: SWAP2
00002123: PUSH2 0x212c
00002126: SWAP1
00002127: DUP3
00002128: PUSH2 0x2b25
0000212b: JUMP
0000212c: JUMPDEST
0000212d: SWAP1
0000212e: POP
0000212f: JUMPDEST
00002130: PUSH1 0x04
00002132: DUP3
00002133: LT
00002134: PUSH2 0x214a
00002137: JUMPI
00002138: PUSH1 0x02
0000213a: SWAP2
0000213b: DUP3
0000213c: SHR
0000213d: SWAP2
0000213e: PUSH2 0x2147
00002141: SWAP1
00002142: DUP3
00002143: PUSH2 0x2b25
00002146: JUMP
00002147: JUMPDEST
00002148: SWAP1
00002149: POP
0000214a: JUMPDEST
0000214b: PUSH1 0x02
0000214d: DUP3
0000214e: LT
0000214f: PUSH2 0x215d
00002152: JUMPI
00002153: PUSH2 0x060d
00002156: PUSH1 0x01
00002158: DUP3
00002159: PUSH2 0x2b25
0000215c: JUMP
0000215d: JUMPDEST
0000215e: SWAP2
0000215f: SWAP1
00002160: POP
00002161: JUMP
00002162: JUMPDEST
00002163: PUSH24 0x800000000000000000000000000000000000000000000000
0000217c: PUSH8 0x8000000000000000
00002185: DUP3
00002186: AND
00002187: ISZERO
00002188: PUSH2 0x219a
0000218b: JUMPI
0000218c: PUSH9 0x016a09e667f3bcc909
00002196: MUL
00002197: PUSH1 0x40
00002199: SHR
0000219a: JUMPDEST
0000219b: PUSH8 0x4000000000000000
000021a4: DUP3
000021a5: AND
000021a6: ISZERO
000021a7: PUSH2 0x21b9
000021aa: JUMPI
000021ab: PUSH9 0x01306fe0a31b7152df
000021b5: MUL
000021b6: PUSH1 0x40
000021b8: SHR
000021b9: JUMPDEST
000021ba: PUSH8 0x2000000000000000
000021c3: DUP3
000021c4: AND
000021c5: ISZERO
000021c6: PUSH2 0x21d8
000021c9: JUMPI
000021ca: PUSH9 0x01172b83c7d517adce
000021d4: MUL
000021d5: PUSH1 0x40
000021d7: SHR
000021d8: JUMPDEST
000021d9: PUSH8 0x1000000000000000
000021e2: DUP3
000021e3: AND
000021e4: ISZERO
000021e5: PUSH2 0x21f7
000021e8: JUMPI
000021e9: PUSH9 0x010b5586cf9890f62a
000021f3: MUL
000021f4: PUSH1 0x40
000021f6: SHR
000021f7: JUMPDEST
000021f8: PUSH8 0x0800000000000000
00002201: DUP3
00002202: AND
00002203: ISZERO
00002204: PUSH2 0x2216
00002207: JUMPI
00002208: PUSH9 0x01059b0d31585743ae
00002212: MUL
00002213: PUSH1 0x40
00002215: SHR
00002216: JUMPDEST
00002217: PUSH8 0x0400000000000000
00002220: DUP3
00002221: AND
00002222: ISZERO
00002223: PUSH2 0x2235
00002226: JUMPI
00002227: PUSH9 0x0102c9a3e778060ee7
00002231: MUL
00002232: PUSH1 0x40
00002234: SHR
00002235: JUMPDEST
00002236: PUSH8 0x0200000000000000
0000223f: DUP3
00002240: AND
00002241: ISZERO
00002242: PUSH2 0x2254
00002245: JUMPI
00002246: PUSH9 0x010163da9fb33356d8
00002250: MUL
00002251: PUSH1 0x40
00002253: SHR
00002254: JUMPDEST
00002255: PUSH8 0x0100000000000000
0000225e: DUP3
0000225f: AND
00002260: ISZERO
00002261: PUSH2 0x2273
00002264: JUMPI
00002265: PUSH9 0x0100b1afa5abcbed61
0000226f: MUL
00002270: PUSH1 0x40
00002272: SHR
00002273: JUMPDEST
00002274: PUSH7 0x80000000000000
0000227c: DUP3
0000227d: AND
0000227e: ISZERO
0000227f: PUSH2 0x2291
00002282: JUMPI
00002283: PUSH9 0x010058c86da1c09ea2
0000228d: MUL
0000228e: PUSH1 0x40
00002290: SHR
00002291: JUMPDEST
00002292: PUSH7 0x40000000000000
0000229a: DUP3
0000229b: AND
0000229c: ISZERO
0000229d: PUSH2 0x22af
000022a0: JUMPI
000022a1: PUSH9 0x01002c605e2e8cec50
000022ab: MUL
000022ac: PUSH1 0x40
000022ae: SHR
000022af: JUMPDEST
000022b0: PUSH7 0x20000000000000
000022b8: DUP3
000022b9: AND
000022ba: ISZERO
000022bb: PUSH2 0x22cd
000022be: JUMPI
000022bf: PUSH9 0x0100162f3904051fa1
000022c9: MUL
000022ca: PUSH1 0x40
000022cc: SHR
000022cd: JUMPDEST
000022ce: PUSH7 0x10000000000000
000022d6: DUP3
000022d7: AND
000022d8: ISZERO
000022d9: PUSH2 0x22eb
000022dc: JUMPI
000022dd: PUSH9 0x01000b175effdc76ba
000022e7: MUL
000022e8: PUSH1 0x40
000022ea: SHR
000022eb: JUMPDEST
000022ec: PUSH7 0x08000000000000
000022f4: DUP3
000022f5: AND
000022f6: ISZERO
000022f7: PUSH2 0x2309
000022fa: JUMPI
000022fb: PUSH9 0x0100058ba01fb9f96d
00002305: MUL
00002306: PUSH1 0x40
00002308: SHR
00002309: JUMPDEST
0000230a: PUSH7 0x04000000000000
00002312: DUP3
00002313: AND
00002314: ISZERO
00002315: PUSH2 0x2327
00002318: JUMPI
00002319: PUSH9 0x010002c5cc37da9492
00002323: MUL
00002324: PUSH1 0x40
00002326: SHR
00002327: JUMPDEST
00002328: PUSH7 0x02000000000000
00002330: DUP3
00002331: AND
00002332: ISZERO
00002333: PUSH2 0x2345
00002336: JUMPI
00002337: PUSH9 0x01000162e525ee0547
00002341: MUL
00002342: PUSH1 0x40
00002344: SHR
00002345: JUMPDEST
00002346: PUSH7 0x01000000000000
0000234e: DUP3
0000234f: AND
00002350: ISZERO
00002351: PUSH2 0x2363
00002354: JUMPI
00002355: PUSH9 0x010000b17255775c04
0000235f: MUL
00002360: PUSH1 0x40
00002362: SHR
00002363: JUMPDEST
00002364: PUSH6 0x800000000000
0000236b: DUP3
0000236c: AND
0000236d: ISZERO
0000236e: PUSH2 0x2380
00002371: JUMPI
00002372: PUSH9 0x01000058b91b5bc9ae
0000237c: MUL
0000237d: PUSH1 0x40
0000237f: SHR
00002380: JUMPDEST
00002381: PUSH6 0x400000000000
00002388: DUP3
00002389: AND
0000238a: ISZERO
0000238b: PUSH2 0x239d
0000238e: JUMPI
0000238f: PUSH9 0x0100002c5c89d5ec6d
00002399: MUL
0000239a: PUSH1 0x40
0000239c: SHR
0000239d: JUMPDEST
0000239e: PUSH6 0x200000000000
000023a5: DUP3
000023a6: AND
000023a7: ISZERO
000023a8: PUSH2 0x23ba
000023ab: JUMPI
000023ac: PUSH9 0x010000162e43f4f831
000023b6: MUL
000023b7: PUSH1 0x40
000023b9: SHR
000023ba: JUMPDEST
000023bb: PUSH6 0x100000000000
000023c2: DUP3
000023c3: AND
000023c4: ISZERO
000023c5: PUSH2 0x23d7
000023c8: JUMPI
000023c9: PUSH9 0x0100000b1721bcfc9a
000023d3: MUL
000023d4: PUSH1 0x40
000023d6: SHR
000023d7: JUMPDEST
000023d8: PUSH6 0x080000000000
000023df: DUP3
000023e0: AND
000023e1: ISZERO
000023e2: PUSH2 0x23f4
000023e5: JUMPI
000023e6: PUSH9 0x010000058b90cf1e6e
000023f0: MUL
000023f1: PUSH1 0x40
000023f3: SHR
000023f4: JUMPDEST
000023f5: PUSH6 0x040000000000
000023fc: DUP3
000023fd: AND
000023fe: ISZERO
000023ff: PUSH2 0x2411
00002402: JUMPI
00002403: PUSH9 0x01000002c5c863b73f
0000240d: MUL
0000240e: PUSH1 0x40
00002410: SHR
00002411: JUMPDEST
00002412: PUSH6 0x020000000000
00002419: DUP3
0000241a: AND
0000241b: ISZERO
0000241c: PUSH2 0x242e
0000241f: JUMPI
00002420: PUSH9 0x0100000162e430e5a2
0000242a: MUL
0000242b: PUSH1 0x40
0000242d: SHR
0000242e: JUMPDEST
0000242f: PUSH6 0x010000000000
00002436: DUP3
00002437: AND
00002438: ISZERO
00002439: PUSH2 0x244b
0000243c: JUMPI
0000243d: PUSH9 0x01000000b172183551
00002447: MUL
00002448: PUSH1 0x40
0000244a: SHR
0000244b: JUMPDEST
0000244c: PUSH5 0x8000000000
00002452: DUP3
00002453: AND
00002454: ISZERO
00002455: PUSH2 0x2467
00002458: JUMPI
00002459: PUSH9 0x0100000058b90c0b49
00002463: MUL
00002464: PUSH1 0x40
00002466: SHR
00002467: JUMPDEST
00002468: PUSH5 0x4000000000
0000246e: DUP3
0000246f: AND
00002470: ISZERO
00002471: PUSH2 0x2483
00002474: JUMPI
00002475: PUSH9 0x010000002c5c8601cc
0000247f: MUL
00002480: PUSH1 0x40
00002482: SHR
00002483: JUMPDEST
00002484: PUSH5 0x2000000000
0000248a: DUP3
0000248b: AND
0000248c: ISZERO
0000248d: PUSH2 0x249f
00002490: JUMPI
00002491: PUSH9 0x01000000162e42fff0
0000249b: MUL
0000249c: PUSH1 0x40
0000249e: SHR
0000249f: JUMPDEST
000024a0: PUSH5 0x1000000000
000024a6: DUP3
000024a7: AND
000024a8: ISZERO
000024a9: PUSH2 0x24bb
000024ac: JUMPI
000024ad: PUSH9 0x010000000b17217fbb
000024b7: MUL
000024b8: PUSH1 0x40
000024ba: SHR
000024bb: JUMPDEST
000024bc: PUSH5 0x0800000000
000024c2: DUP3
000024c3: AND
000024c4: ISZERO
000024c5: PUSH2 0x24d7
000024c8: JUMPI
000024c9: PUSH9 0x01000000058b90bfce
000024d3: MUL
000024d4: PUSH1 0x40
000024d6: SHR
000024d7: JUMPDEST
000024d8: PUSH5 0x0400000000
000024de: DUP3
000024df: AND
000024e0: ISZERO
000024e1: PUSH2 0x24f3
000024e4: JUMPI
000024e5: PUSH9 0x0100000002c5c85fe3
000024ef: MUL
000024f0: PUSH1 0x40
000024f2: SHR
000024f3: JUMPDEST
000024f4: PUSH5 0x0200000000
000024fa: DUP3
000024fb: AND
000024fc: ISZERO
000024fd: PUSH2 0x250f
00002500: JUMPI
00002501: PUSH9 0x010000000162e42ff1
0000250b: MUL
0000250c: PUSH1 0x40
0000250e: SHR
0000250f: JUMPDEST
00002510: PUSH5 0x0100000000
00002516: DUP3
00002517: AND
00002518: ISZERO
00002519: PUSH2 0x252b
0000251c: JUMPI
0000251d: PUSH9 0x0100000000b17217f8
00002527: MUL
00002528: PUSH1 0x40
0000252a: SHR
0000252b: JUMPDEST
0000252c: PUSH4 0x80000000
00002531: DUP3
00002532: AND
00002533: ISZERO
00002534: PUSH2 0x2546
00002537: JUMPI
00002538: PUSH9 0x010000000058b90bfc
00002542: MUL
00002543: PUSH1 0x40
00002545: SHR
00002546: JUMPDEST
00002547: PUSH4 0x40000000
0000254c: DUP3
0000254d: AND
0000254e: ISZERO
0000254f: PUSH2 0x2561
00002552: JUMPI
00002553: PUSH9 0x01000000002c5c85fe
0000255d: MUL
0000255e: PUSH1 0x40
00002560: SHR
00002561: JUMPDEST
00002562: PUSH4 0x20000000
00002567: DUP3
00002568: AND
00002569: ISZERO
0000256a: PUSH2 0x257c
0000256d: JUMPI
0000256e: PUSH9 0x0100000000162e42ff
00002578: MUL
00002579: PUSH1 0x40
0000257b: SHR
0000257c: JUMPDEST
0000257d: PUSH4 0x10000000
00002582: DUP3
00002583: AND
00002584: ISZERO
00002585: PUSH2 0x2597
00002588: JUMPI
00002589: PUSH9 0x01000000000b17217f
00002593: MUL
00002594: PUSH1 0x40
00002596: SHR
00002597: JUMPDEST
00002598: PUSH4 0x08000000
0000259d: DUP3
0000259e: AND
0000259f: ISZERO
000025a0: PUSH2 0x25b2
000025a3: JUMPI
000025a4: PUSH9 0x0100000000058b90c0
000025ae: MUL
000025af: PUSH1 0x40
000025b1: SHR
000025b2: JUMPDEST
000025b3: PUSH4 0x04000000
000025b8: DUP3
000025b9: AND
000025ba: ISZERO
000025bb: PUSH2 0x25cd
000025be: JUMPI
000025bf: PUSH9 0x010000000002c5c860
000025c9: MUL
000025ca: PUSH1 0x40
000025cc: SHR
000025cd: JUMPDEST
000025ce: PUSH4 0x02000000
000025d3: DUP3
000025d4: AND
000025d5: ISZERO
000025d6: PUSH2 0x25e8
000025d9: JUMPI
000025da: PUSH9 0x01000000000162e430
000025e4: MUL
000025e5: PUSH1 0x40
000025e7: SHR
000025e8: JUMPDEST
000025e9: PUSH4 0x01000000
000025ee: DUP3
000025ef: AND
000025f0: ISZERO
000025f1: PUSH2 0x2603
000025f4: JUMPI
000025f5: PUSH9 0x010000000000b17218
000025ff: MUL
00002600: PUSH1 0x40
00002602: SHR
00002603: JUMPDEST
00002604: PUSH3 0x800000
00002608: DUP3
00002609: AND
0000260a: ISZERO
0000260b: PUSH2 0x261d
0000260e: JUMPI
0000260f: PUSH9 0x01000000000058b90c
00002619: MUL
0000261a: PUSH1 0x40
0000261c: SHR
0000261d: JUMPDEST
0000261e: PUSH3 0x400000
00002622: DUP3
00002623: AND
00002624: ISZERO
00002625: PUSH2 0x2637
00002628: JUMPI
00002629: PUSH9 0x0100000000002c5c86
00002633: MUL
00002634: PUSH1 0x40
00002636: SHR
00002637: JUMPDEST
00002638: PUSH3 0x200000
0000263c: DUP3
0000263d: AND
0000263e: ISZERO
0000263f: PUSH2 0x2651
00002642: JUMPI
00002643: PUSH9 0x010000000000162e43
0000264d: MUL
0000264e: PUSH1 0x40
00002650: SHR
00002651: JUMPDEST
00002652: PUSH3 0x100000
00002656: DUP3
00002657: AND
00002658: ISZERO
00002659: PUSH2 0x266b
0000265c: JUMPI
0000265d: PUSH9 0x0100000000000b1721
00002667: MUL
00002668: PUSH1 0x40
0000266a: SHR
0000266b: JUMPDEST
0000266c: PUSH3 0x080000
00002670: DUP3
00002671: AND
00002672: ISZERO
00002673: PUSH2 0x2685
00002676: JUMPI
00002677: PUSH9 0x010000000000058b91
00002681: MUL
00002682: PUSH1 0x40
00002684: SHR
00002685: JUMPDEST
00002686: PUSH3 0x040000
0000268a: DUP3
0000268b: AND
0000268c: ISZERO
0000268d: PUSH2 0x269f
00002690: JUMPI
00002691: PUSH9 0x01000000000002c5c8
0000269b: MUL
0000269c: PUSH1 0x40
0000269e: SHR
0000269f: JUMPDEST
000026a0: PUSH3 0x020000
000026a4: DUP3
000026a5: AND
000026a6: ISZERO
000026a7: PUSH2 0x26b9
000026aa: JUMPI
000026ab: PUSH9 0x0100000000000162e4
000026b5: MUL
000026b6: PUSH1 0x40
000026b8: SHR
000026b9: JUMPDEST
000026ba: PUSH3 0x010000
000026be: DUP3
000026bf: AND
000026c0: ISZERO
000026c1: PUSH2 0x26d3
000026c4: JUMPI
000026c5: PUSH9 0x01000000000000b172
000026cf: MUL
000026d0: PUSH1 0x40
000026d2: SHR
000026d3: JUMPDEST
000026d4: PUSH2 0x8000
000026d7: DUP3
000026d8: AND
000026d9: ISZERO
000026da: PUSH2 0x26ec
000026dd: JUMPI
000026de: PUSH9 0x0100000000000058b9
000026e8: MUL
000026e9: PUSH1 0x40
000026eb: SHR
000026ec: JUMPDEST
000026ed: PUSH2 0x4000
000026f0: DUP3
000026f1: AND
000026f2: ISZERO
000026f3: PUSH2 0x2705
000026f6: JUMPI
000026f7: PUSH9 0x010000000000002c5d
00002701: MUL
00002702: PUSH1 0x40
00002704: SHR
00002705: JUMPDEST
00002706: PUSH2 0x2000
00002709: DUP3
0000270a: AND
0000270b: ISZERO
0000270c: PUSH2 0x271e
0000270f: JUMPI
00002710: PUSH9 0x01000000000000162e
0000271a: MUL
0000271b: PUSH1 0x40
0000271d: SHR
0000271e: JUMPDEST
0000271f: PUSH2 0x1000
00002722: DUP3
00002723: AND
00002724: ISZERO
00002725: PUSH2 0x2737
00002728: JUMPI
00002729: PUSH9 0x010000000000000b17
00002733: MUL
00002734: PUSH1 0x40
00002736: SHR
00002737: JUMPDEST
00002738: PUSH2 0x0800
0000273b: DUP3
0000273c: AND
0000273d: ISZERO
0000273e: PUSH2 0x2750
00002741: JUMPI
00002742: PUSH9 0x01000000000000058c
0000274c: MUL
0000274d: PUSH1 0x40
0000274f: SHR
00002750: JUMPDEST
00002751: PUSH2 0x0400
00002754: DUP3
00002755: AND
00002756: ISZERO
00002757: PUSH2 0x2769
0000275a: JUMPI
0000275b: PUSH9 0x0100000000000002c6
00002765: MUL
00002766: PUSH1 0x40
00002768: SHR
00002769: JUMPDEST
0000276a: PUSH2 0x0200
0000276d: DUP3
0000276e: AND
0000276f: ISZERO
00002770: PUSH2 0x2782
00002773: JUMPI
00002774: PUSH9 0x010000000000000163
0000277e: MUL
0000277f: PUSH1 0x40
00002781: SHR
00002782: JUMPDEST
00002783: PUSH2 0x0100
00002786: DUP3
00002787: AND
00002788: ISZERO
00002789: PUSH2 0x279b
0000278c: JUMPI
0000278d: PUSH9 0x0100000000000000b1
00002797: MUL
00002798: PUSH1 0x40
0000279a: SHR
0000279b: JUMPDEST
0000279c: PUSH1 0x80
0000279e: DUP3
0000279f: AND
000027a0: ISZERO
000027a1: PUSH2 0x27b3
000027a4: JUMPI
000027a5: PUSH9 0x010000000000000059
000027af: MUL
000027b0: PUSH1 0x40
000027b2: SHR
000027b3: JUMPDEST
000027b4: PUSH1 0x40
000027b6: DUP3
000027b7: AND
000027b8: ISZERO
000027b9: PUSH2 0x27cb
000027bc: JUMPI
000027bd: PUSH9 0x01000000000000002c
000027c7: MUL
000027c8: PUSH1 0x40
000027ca: SHR
000027cb: JUMPDEST
000027cc: PUSH1 0x20
000027ce: DUP3
000027cf: AND
000027d0: ISZERO
000027d1: PUSH2 0x27e3
000027d4: JUMPI
000027d5: PUSH9 0x010000000000000016
000027df: MUL
000027e0: PUSH1 0x40
000027e2: SHR
000027e3: JUMPDEST
000027e4: PUSH1 0x10
000027e6: DUP3
000027e7: AND
000027e8: ISZERO
000027e9: PUSH2 0x27fb
000027ec: JUMPI
000027ed: PUSH9 0x01000000000000000b
000027f7: MUL
000027f8: PUSH1 0x40
000027fa: SHR
000027fb: JUMPDEST
000027fc: PUSH1 0x08
000027fe: DUP3
000027ff: AND
00002800: ISZERO
00002801: PUSH2 0x2813
00002804: JUMPI
00002805: PUSH9 0x010000000000000006
0000280f: MUL
00002810: PUSH1 0x40
00002812: SHR
00002813: JUMPDEST
00002814: PUSH1 0x04
00002816: DUP3
00002817: AND
00002818: ISZERO
00002819: PUSH2 0x282b
0000281c: JUMPI
0000281d: PUSH9 0x010000000000000003
00002827: MUL
00002828: PUSH1 0x40
0000282a: SHR
0000282b: JUMPDEST
0000282c: PUSH1 0x02
0000282e: DUP3
0000282f: AND
00002830: ISZERO
00002831: PUSH2 0x2843
00002834: JUMPI
00002835: PUSH9 0x010000000000000001
0000283f: MUL
00002840: PUSH1 0x40
00002842: SHR
00002843: JUMPDEST
00002844: PUSH1 0x01
00002846: DUP3
00002847: AND
00002848: ISZERO
00002849: PUSH2 0x285b
0000284c: JUMPI
0000284d: PUSH9 0x010000000000000001
00002857: MUL
00002858: PUSH1 0x40
0000285a: SHR
0000285b: JUMPDEST
0000285c: PUSH8 0x0de0b6b3a7640000
00002865: MUL
00002866: PUSH1 0x40
00002868: SWAP2
00002869: SWAP1
0000286a: SWAP2
0000286b: SHR
0000286c: PUSH1 0xbf
0000286e: SUB
0000286f: SHR
00002870: SWAP1
00002871: JUMP
00002872: JUMPDEST
00002873: PUSH1 0x00
00002875: DUP2
00002876: EXTCODEHASH
00002877: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002898: DUP2
00002899: DUP2
0000289a: EQ
0000289b: DUP1
0000289c: ISZERO
0000289d: SWAP1
0000289e: PUSH2 0x28a6
000028a1: JUMPI
000028a2: POP
000028a3: DUP2
000028a4: ISZERO
000028a5: ISZERO
000028a6: JUMPDEST
000028a7: SWAP5
000028a8: SWAP4
000028a9: POP
000028aa: POP
000028ab: POP
000028ac: POP
000028ad: JUMP
000028ae: JUMPDEST
000028af: PUSH1 0x00
000028b1: JUMPDEST
000028b2: DUP4
000028b3: DUP2
000028b4: LT
000028b5: ISZERO
000028b6: PUSH2 0x28c9
000028b9: JUMPI
000028ba: DUP2
000028bb: DUP2
000028bc: ADD
000028bd: MLOAD
000028be: DUP4
000028bf: DUP3
000028c0: ADD
000028c1: MSTORE
000028c2: PUSH1 0x20
000028c4: ADD
000028c5: PUSH2 0x28b1
000028c8: JUMP
000028c9: JUMPDEST
000028ca: DUP4
000028cb: DUP2
000028cc: GT
000028cd: ISZERO
000028ce: PUSH2 0x19e0
000028d1: JUMPI
000028d2: POP
000028d3: POP
000028d4: PUSH1 0x00
000028d6: SWAP2
000028d7: ADD
000028d8: MSTORE
000028d9: JUMP
000028da: JUMPDEST
000028db: PUSH1 0x20
000028dd: DUP2
000028de: MSTORE
000028df: PUSH1 0x00
000028e1: DUP3
000028e2: MLOAD
000028e3: DUP1
000028e4: PUSH1 0x20
000028e6: DUP5
000028e7: ADD
000028e8: MSTORE
000028e9: PUSH2 0x28f9
000028ec: DUP2
000028ed: PUSH1 0x40
000028ef: DUP6
000028f0: ADD
000028f1: PUSH1 0x20
000028f3: DUP8
000028f4: ADD
000028f5: PUSH2 0x28ae
000028f8: JUMP
000028f9: JUMPDEST
000028fa: PUSH1 0x1f
000028fc: ADD
000028fd: PUSH1 0x1f
000028ff: NOT
00002900: AND
00002901: SWAP2
00002902: SWAP1
00002903: SWAP2
00002904: ADD
00002905: PUSH1 0x40
00002907: ADD
00002908: SWAP3
00002909: SWAP2
0000290a: POP
0000290b: POP
0000290c: JUMP
0000290d: JUMPDEST
0000290e: DUP1
0000290f: CALLDATALOAD
00002910: PUSH1 0x01
00002912: PUSH1 0x01
00002914: PUSH1 0xa0
00002916: SHL
00002917: SUB
00002918: DUP2
00002919: AND
0000291a: DUP2
0000291b: EQ
0000291c: PUSH2 0x215d
0000291f: JUMPI
00002920: PUSH1 0x00
00002922: DUP1
00002923: REVERT
00002924: JUMPDEST
00002925: PUSH1 0x00
00002927: DUP1
00002928: PUSH1 0x40
0000292a: DUP4
0000292b: DUP6
0000292c: SUB
0000292d: SLT
0000292e: ISZERO
0000292f: PUSH2 0x2937
00002932: JUMPI
00002933: PUSH1 0x00
00002935: DUP1
00002936: REVERT
00002937: JUMPDEST
00002938: PUSH2 0x2940
0000293b: DUP4
0000293c: PUSH2 0x290d
0000293f: JUMP
00002940: JUMPDEST
00002941: SWAP5
00002942: PUSH1 0x20
00002944: SWAP4
00002945: SWAP1
00002946: SWAP4
00002947: ADD
00002948: CALLDATALOAD
00002949: SWAP4
0000294a: POP
0000294b: POP
0000294c: POP
0000294d: JUMP
0000294e: JUMPDEST
0000294f: PUSH1 0x00
00002951: PUSH1 0x20
00002953: DUP3
00002954: DUP5
00002955: SUB
00002956: SLT
00002957: ISZERO
00002958: PUSH2 0x2960
0000295b: JUMPI
0000295c: PUSH1 0x00
0000295e: DUP1
0000295f: REVERT
00002960: JUMPDEST
00002961: POP
00002962: CALLDATALOAD
00002963: SWAP2
00002964: SWAP1
00002965: POP
00002966: JUMP
00002967: JUMPDEST
00002968: PUSH1 0x00
0000296a: DUP1
0000296b: PUSH1 0x00
0000296d: PUSH1 0x60
0000296f: DUP5
00002970: DUP7
00002971: SUB
00002972: SLT
00002973: ISZERO
00002974: PUSH2 0x297c
00002977: JUMPI
00002978: PUSH1 0x00
0000297a: DUP1
0000297b: REVERT
0000297c: JUMPDEST
0000297d: PUSH2 0x2985
00002980: DUP5
00002981: PUSH2 0x290d
00002984: JUMP
00002985: JUMPDEST
00002986: SWAP3
00002987: POP
00002988: PUSH2 0x2993
0000298b: PUSH1 0x20
0000298d: DUP6
0000298e: ADD
0000298f: PUSH2 0x290d
00002992: JUMP
00002993: JUMPDEST
00002994: SWAP2
00002995: POP
00002996: PUSH1 0x40
00002998: DUP5
00002999: ADD
0000299a: CALLDATALOAD
0000299b: SWAP1
0000299c: POP
0000299d: SWAP3
0000299e: POP
0000299f: SWAP3
000029a0: POP
000029a1: SWAP3
000029a2: JUMP
000029a3: JUMPDEST
000029a4: PUSH1 0x00
000029a6: PUSH1 0x20
000029a8: DUP3
000029a9: DUP5
000029aa: SUB
000029ab: SLT
000029ac: ISZERO
000029ad: PUSH2 0x29b5
000029b0: JUMPI
000029b1: PUSH1 0x00
000029b3: DUP1
000029b4: REVERT
000029b5: JUMPDEST
000029b6: PUSH2 0x07f0
000029b9: DUP3
000029ba: PUSH2 0x290d
000029bd: JUMP
000029be: JUMPDEST
000029bf: PUSH1 0x00
000029c1: DUP1
000029c2: PUSH1 0x00
000029c4: DUP1
000029c5: PUSH1 0x00
000029c7: DUP1
000029c8: PUSH1 0x00
000029ca: PUSH1 0xe0
000029cc: DUP9
000029cd: DUP11
000029ce: SUB
000029cf: SLT
000029d0: ISZERO
000029d1: PUSH2 0x29d9
000029d4: JUMPI
000029d5: PUSH1 0x00
000029d7: DUP1
000029d8: REVERT
000029d9: JUMPDEST
000029da: PUSH2 0x29e2
000029dd: DUP9
000029de: PUSH2 0x290d
000029e1: JUMP
000029e2: JUMPDEST
000029e3: SWAP7
000029e4: POP
000029e5: PUSH2 0x29f0
000029e8: PUSH1 0x20
000029ea: DUP10
000029eb: ADD
000029ec: PUSH2 0x290d
000029ef: JUMP
000029f0: JUMPDEST
000029f1: SWAP6
000029f2: POP
000029f3: PUSH1 0x40
000029f5: DUP9
000029f6: ADD
000029f7: CALLDATALOAD
000029f8: SWAP5
000029f9: POP
000029fa: PUSH1 0x60
000029fc: DUP9
000029fd: ADD
000029fe: CALLDATALOAD
000029ff: SWAP4
00002a00: POP
00002a01: PUSH1 0x80
00002a03: DUP9
00002a04: ADD
00002a05: CALLDATALOAD
00002a06: PUSH1 0xff
00002a08: DUP2
00002a09: AND
00002a0a: DUP2
00002a0b: EQ
00002a0c: PUSH2 0x2a14
00002a0f: JUMPI
00002a10: PUSH1 0x00
00002a12: DUP1
00002a13: REVERT
00002a14: JUMPDEST
00002a15: SWAP7
00002a16: SWAP10
00002a17: SWAP6
00002a18: SWAP9
00002a19: POP
00002a1a: SWAP4
00002a1b: SWAP7
00002a1c: SWAP3
00002a1d: SWAP6
00002a1e: SWAP5
00002a1f: PUSH1 0xa0
00002a21: DUP5
00002a22: ADD
00002a23: CALLDATALOAD
00002a24: SWAP5
00002a25: POP
00002a26: PUSH1 0xc0
00002a28: SWAP1
00002a29: SWAP4
00002a2a: ADD
00002a2b: CALLDATALOAD
00002a2c: SWAP3
00002a2d: SWAP2
00002a2e: POP
00002a2f: POP
00002a30: JUMP
00002a31: JUMPDEST
00002a32: PUSH1 0x00
00002a34: DUP1
00002a35: PUSH1 0x40
00002a37: DUP4
00002a38: DUP6
00002a39: SUB
00002a3a: SLT
00002a3b: ISZERO
00002a3c: PUSH2 0x2a44
00002a3f: JUMPI
00002a40: PUSH1 0x00
00002a42: DUP1
00002a43: REVERT
00002a44: JUMPDEST
00002a45: PUSH2 0x2a4d
00002a48: DUP4
00002a49: PUSH2 0x290d
00002a4c: JUMP
00002a4d: JUMPDEST
00002a4e: SWAP2
00002a4f: POP
00002a50: PUSH2 0x2a5b
00002a53: PUSH1 0x20
00002a55: DUP5
00002a56: ADD
00002a57: PUSH2 0x290d
00002a5a: JUMP
00002a5b: JUMPDEST
00002a5c: SWAP1
00002a5d: POP
00002a5e: SWAP3
00002a5f: POP
00002a60: SWAP3
00002a61: SWAP1
00002a62: POP
00002a63: JUMP
00002a64: JUMPDEST
00002a65: PUSH1 0x01
00002a67: DUP2
00002a68: DUP2
00002a69: SHR
00002a6a: SWAP1
00002a6b: DUP3
00002a6c: AND
00002a6d: DUP1
00002a6e: PUSH2 0x2a78
00002a71: JUMPI
00002a72: PUSH1 0x7f
00002a74: DUP3
00002a75: AND
00002a76: SWAP2
00002a77: POP
00002a78: JUMPDEST
00002a79: PUSH1 0x20
00002a7b: DUP3
00002a7c: LT
00002a7d: DUP2
00002a7e: EQ
00002a7f: ISZERO
00002a80: PUSH2 0x2a99
00002a83: JUMPI
00002a84: PUSH4 0x4e487b71
00002a89: PUSH1 0xe0
00002a8b: SHL
00002a8c: PUSH1 0x00
00002a8e: MSTORE
00002a8f: PUSH1 0x22
00002a91: PUSH1 0x04
00002a93: MSTORE
00002a94: PUSH1 0x24
00002a96: PUSH1 0x00
00002a98: REVERT
00002a99: JUMPDEST
00002a9a: POP
00002a9b: SWAP2
00002a9c: SWAP1
00002a9d: POP
00002a9e: JUMP
00002a9f: JUMPDEST
00002aa0: PUSH1 0x00
00002aa2: PUSH1 0x20
00002aa4: DUP3
00002aa5: DUP5
00002aa6: SUB
00002aa7: SLT
00002aa8: ISZERO
00002aa9: PUSH2 0x2ab1
00002aac: JUMPI
00002aad: PUSH1 0x00
00002aaf: DUP1
00002ab0: REVERT
00002ab1: JUMPDEST
00002ab2: POP
00002ab3: MLOAD
00002ab4: SWAP2
00002ab5: SWAP1
00002ab6: POP
00002ab7: JUMP
00002ab8: JUMPDEST
00002ab9: PUSH4 0x4e487b71
00002abe: PUSH1 0xe0
00002ac0: SHL
00002ac1: PUSH1 0x00
00002ac3: MSTORE
00002ac4: PUSH1 0x11
00002ac6: PUSH1 0x04
00002ac8: MSTORE
00002ac9: PUSH1 0x24
00002acb: PUSH1 0x00
00002acd: REVERT
00002ace: JUMPDEST
00002acf: PUSH1 0x00
00002ad1: DUP2
00002ad2: PUSH1 0x00
00002ad4: NOT
00002ad5: DIV
00002ad6: DUP4
00002ad7: GT
00002ad8: DUP3
00002ad9: ISZERO
00002ada: ISZERO
00002adb: AND
00002adc: ISZERO
00002add: PUSH2 0x2ae8
00002ae0: JUMPI
00002ae1: PUSH2 0x2ae8
00002ae4: PUSH2 0x2ab8
00002ae7: JUMP
00002ae8: JUMPDEST
00002ae9: POP
00002aea: MUL
00002aeb: SWAP1
00002aec: JUMP
00002aed: JUMPDEST
00002aee: PUSH4 0x4e487b71
00002af3: PUSH1 0xe0
00002af5: SHL
00002af6: PUSH1 0x00
00002af8: MSTORE
00002af9: PUSH1 0x12
00002afb: PUSH1 0x04
00002afd: MSTORE
00002afe: PUSH1 0x24
00002b00: PUSH1 0x00
00002b02: REVERT
00002b03: JUMPDEST
00002b04: PUSH1 0x00
00002b06: DUP3
00002b07: PUSH2 0x2b20
00002b0a: JUMPI
00002b0b: PUSH4 0x4e487b71
00002b10: PUSH1 0xe0
00002b12: SHL
00002b13: PUSH1 0x00
00002b15: MSTORE
00002b16: PUSH1 0x12
00002b18: PUSH1 0x04
00002b1a: MSTORE
00002b1b: PUSH1 0x24
00002b1d: PUSH1 0x00
00002b1f: REVERT
00002b20: JUMPDEST
00002b21: POP
00002b22: DIV
00002b23: SWAP1
00002b24: JUMP
00002b25: JUMPDEST
00002b26: PUSH1 0x00
00002b28: DUP3
00002b29: NOT
00002b2a: DUP3
00002b2b: GT
00002b2c: ISZERO
00002b2d: PUSH2 0x2b38
00002b30: JUMPI
00002b31: PUSH2 0x2b38
00002b34: PUSH2 0x2ab8
00002b37: JUMP
00002b38: JUMPDEST
00002b39: POP
00002b3a: ADD
00002b3b: SWAP1
00002b3c: JUMP
00002b3d: JUMPDEST
00002b3e: PUSH1 0x00
00002b40: PUSH1 0x20
00002b42: DUP3
00002b43: DUP5
00002b44: SUB
00002b45: SLT
00002b46: ISZERO
00002b47: PUSH2 0x2b4f
00002b4a: JUMPI
00002b4b: PUSH1 0x00
00002b4d: DUP1
00002b4e: REVERT
00002b4f: JUMPDEST
00002b50: DUP2
00002b51: MLOAD
00002b52: DUP1
00002b53: ISZERO
00002b54: ISZERO
00002b55: DUP2
00002b56: EQ
00002b57: PUSH2 0x07f0
00002b5a: JUMPI
00002b5b: PUSH1 0x00
00002b5d: DUP1
00002b5e: REVERT
00002b5f: JUMPDEST
00002b60: PUSH1 0x00
00002b62: PUSH1 0x01
00002b64: PUSH1 0xff
00002b66: SHL
00002b67: DUP3
00002b68: EQ
00002b69: ISZERO
00002b6a: PUSH2 0x2b75
00002b6d: JUMPI
00002b6e: PUSH2 0x2b75
00002b71: PUSH2 0x2ab8
00002b74: JUMP
00002b75: JUMPDEST
00002b76: POP
00002b77: PUSH1 0x00
00002b79: SUB
00002b7a: SWAP1
00002b7b: JUMP
00002b7c: JUMPDEST
00002b7d: PUSH1 0x00
00002b7f: DUP3
00002b80: DUP3
00002b81: LT
00002b82: ISZERO
00002b83: PUSH2 0x2b8e
00002b86: JUMPI
00002b87: PUSH2 0x2b8e
00002b8a: PUSH2 0x2ab8
00002b8d: JUMP
00002b8e: JUMPDEST
00002b8f: POP
00002b90: SUB
00002b91: SWAP1
00002b92: JUMP
00002b93: JUMPDEST
00002b94: PUSH1 0x00
00002b96: DUP3
00002b97: MLOAD
00002b98: PUSH2 0x2ba5
00002b9b: DUP2
00002b9c: DUP5
00002b9d: PUSH1 0x20
00002b9f: DUP8
00002ba0: ADD
00002ba1: PUSH2 0x28ae
00002ba4: JUMP
00002ba5: JUMPDEST
00002ba6: SWAP2
00002ba7: SWAP1
00002ba8: SWAP2
00002ba9: ADD
00002baa: SWAP3
00002bab: SWAP2
00002bac: POP
00002bad: POP
00002bae: JUMP
00002baf: INVALID
00002bb0: LOG1
00002bb1: PUSH5 0x736f6c6343
00002bb7: STOP
00002bb8: ADDMOD
00002bb9: UNKNOWN(0x0C)
00002bba: STOP
00002bbb: EXP