Analysis Run

[codex:513995] OpenAI Codex v0.77.0 (research preview)
[codex:513995] --------
[codex:513995] workdir: /tmp/codex-multi-rb2_nki4
[codex:513995] model: gpt-5.2-codex
[codex:513995] provider: openai
[codex:513995] approval: never
[codex:513995] sandbox: read-only
[codex:513995] reasoning effort: none
[codex:513995] reasoning summaries: auto
[codex:513995] session id: 019b4dd7-6d99-7551-8dd6-ef17653e3684
[codex:513995] --------
[codex:513995] user
[codex:513995] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:513995] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:513995] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:513995] 
[codex:513995] Scope rules:
[codex:513995] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:513995] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:513995] 
[codex:513995] Output MUST be valid JSON matching the provided schema.
[codex:513995] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:513995] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:513995] 
[codex:513995] Output constraints (IMPORTANT):
[codex:513995] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:513995] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:513995] mcp startup: no servers
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Preparing to read instructions**
[codex:513995] exec
[codex:513995] /bin/bash -lc ls in /tmp/codex-multi-rb2_nki4 succeeded in 5ms:
[codex:513995] AUDIT_BUNDLE.txt
[codex:513995] codex-output-schema.json
[codex:513995] contracts
[codex:513995] exec
[codex:513995] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-rb2_nki4 succeeded in 6ms:
[codex:513995] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:513995] 
[codex:513995] ================================================================================
[codex:513995] FILE: contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/Address.sol
[codex:513995] ================================================================================
[codex:513995] // SPDX-License-Identifier: agpl-3.0
[codex:513995] pragma solidity 0.6.12;
[codex:513995] 
[codex:513995] /**
[codex:513995]  * @dev Collection of functions related to the address type
[codex:513995]  */
[codex:513995] library Address {
[codex:513995]   /**
[codex:513995]    * @dev Returns true if `account` is a contract.
[codex:513995]    *
[codex:513995]    * [IMPORTANT]
[codex:513995]    * ====
[codex:513995]    * It is unsafe to assume that an address for which this function returns
[codex:513995]    * false is an externally-owned account (EOA) and not a contract.
[codex:513995]    *
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Planning full AUDIT_BUNDLE.txt read**
[codex:513995] exec
[codex:513995] /bin/bash -lc 'wc -l AUDIT_BUNDLE.txt' in /tmp/codex-multi-rb2_nki4 succeeded in 5ms:
[codex:513995] 2090 AUDIT_BUNDLE.txt
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Planning to read file in chunks**
[codex:513995] exec
[codex:513995] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-rb2_nki4 succeeded in 5ms:
[codex:513995] pragma solidity 0.6.12;
[codex:513995] 
[codex:513995] import {IERC20} from './IERC20.sol';
[codex:513995] import {SafeMath} from './SafeMath.sol';
[codex:513995] import {Address} from './Address.sol';
[codex:513995] 
[codex:513995] /**
[codex:513995]  * @title SafeERC20
[codex:513995]  * @dev Wrappers around ERC20 operations that throw on failure (when the token
[codex:513995]  * contract returns false). Tokens that return no value (and instead revert or
[codex:513995]  * throw on failure) are also supported, non-reverting calls are assumed to be
[codex:513995]  * successful.
[codex:513995]  * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
[codex:513995]  * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
[codex:513995]  */
[codex:513995] library SafeERC20 {
[codex:513995]   using SafeMath for uint256;
[codex:513995]   using Address for address;
[codex:513995] 
[codex:513995]   function safeTransfer(
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Continuing exploration**
[codex:513995] exec
[codex:513995] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-rb2_nki4 succeeded in 6ms:
[codex:513995]    * invalid opcode to revert (consuming all remaining gas).
[codex:513995]    *
[codex:513995]    * Requirements:
[codex:513995]    * - The divisor cannot be zero.
[codex:513995]    */
[codex:513995]   function mod(uint256 a, uint256 b) internal pure returns (uint256) {
[codex:513995]     return mod(a, b, 'SafeMath: modulo by zero');
[codex:513995]   }
[codex:513995] 
[codex:513995]   /**
[codex:513995]    * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
[codex:513995]    * Reverts with custom message when dividing by zero.
[codex:513995]    *
[codex:513995]    * Counterpart to Solidity's `%` operator. This function uses a `revert`
[codex:513995]    * opcode (which leaves remaining gas untouched) while Solidity uses an
[codex:513995]    * invalid opcode to revert (consuming all remaining gas).
[codex:513995]    *
[codex:513995]    * Requirements:
[codex:513995]    * - The divisor cannot be zero.
[codex:513995]    */
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Preparing to continue reading later**
[codex:513995] exec
[codex:513995] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-rb2_nki4 succeeded in 5ms:
[codex:513995]    * - Send the value type(uint256).max in order to repay the whole debt for `asset` on the specific `debtMode`
[codex:513995]    * @param rateMode The interest rate mode at of the debt the user wants to repay: 1 for Stable, 2 for Variable
[codex:513995]    * @param onBehalfOf Address of the user who will get his debt reduced/removed. Should be the address of the
[codex:513995]    * user calling the function if he wants to reduce/remove his own debt, or the address of any other
[codex:513995]    * other borrower whose debt should be removed
[codex:513995]    * @return The final amount repaid
[codex:513995]    **/
[codex:513995]   function repay(
[codex:513995]     address asset,
[codex:513995]     uint256 amount,
[codex:513995]     uint256 rateMode,
[codex:513995]     address onBehalfOf
[codex:513995]   ) external returns (uint256);
[codex:513995] 
[codex:513995]   /**
[codex:513995]    * @dev Allows a borrower to swap his debt between stable and variable mode, or viceversa
[codex:513995]    * @param asset The address of the underlying asset borrowed
[codex:513995]    * @param rateMode The rate mode that the user wants to swap to
[codex:513995]    **/
[codex:513995]   function swapBorrowRateMode(address asset, uint256 rateMode) external;
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Continuing to review additional content**
[codex:513995] exec
[codex:513995] /bin/bash -lc "sed -n '1200,1600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-rb2_nki4 succeeded in 5ms:
[codex:513995]   string public constant VL_NO_STABLE_RATE_LOAN_IN_RESERVE = '17'; // 'User does not have a stable rate loan in progress on this reserve'
[codex:513995]   string public constant VL_NO_VARIABLE_RATE_LOAN_IN_RESERVE = '18'; // 'User does not have a variable rate loan in progress on this reserve'
[codex:513995]   string public constant VL_UNDERLYING_BALANCE_NOT_GREATER_THAN_0 = '19'; // 'The underlying balance needs to be greater than 0'
[codex:513995]   string public constant VL_DEPOSIT_ALREADY_IN_USE = '20'; // 'User deposit is already being used as collateral'
[codex:513995]   string public constant LP_NOT_ENOUGH_STABLE_BORROW_BALANCE = '21'; // 'User does not have any stable rate loan for this reserve'
[codex:513995]   string public constant LP_INTEREST_RATE_REBALANCE_CONDITIONS_NOT_MET = '22'; // 'Interest rate rebalance conditions were not met'
[codex:513995]   string public constant LP_LIQUIDATION_CALL_FAILED = '23'; // 'Liquidation call failed'
[codex:513995]   string public constant LP_NOT_ENOUGH_LIQUIDITY_TO_BORROW = '24'; // 'There is not enough liquidity available to borrow'
[codex:513995]   string public constant LP_REQUESTED_AMOUNT_TOO_SMALL = '25'; // 'The requested amount is too small for a FlashLoan.'
[codex:513995]   string public constant LP_INCONSISTENT_PROTOCOL_ACTUAL_BALANCE = '26'; // 'The actual balance of the protocol is inconsistent'
[codex:513995]   string public constant LP_CALLER_NOT_LENDING_POOL_CONFIGURATOR = '27'; // 'The caller of the function is not the lending pool configurator'
[codex:513995]   string public constant LP_INCONSISTENT_FLASHLOAN_PARAMS = '28';
[codex:513995]   string public constant CT_CALLER_MUST_BE_LENDING_POOL = '29'; // 'The caller of this function must be a lending pool'
[codex:513995]   string public constant CT_CANNOT_GIVE_ALLOWANCE_TO_HIMSELF = '30'; // 'User cannot give allowance to himself'
[codex:513995]   string public constant CT_TRANSFER_AMOUNT_NOT_GT_0 = '31'; // 'Transferred amount needs to be greater than zero'
[codex:513995]   string public constant RL_RESERVE_ALREADY_INITIALIZED = '32'; // 'Reserve has already been initialized'
[codex:513995]   string public constant LPC_RESERVE_LIQUIDITY_NOT_0 = '34'; // 'The liquidity of the reserve needs to be 0'
[codex:513995]   string public constant LPC_INVALID_ATOKEN_POOL_ADDRESS = '35'; // 'The liquidity of the reserve needs to be 0'
[codex:513995]   string public constant LPC_INVALID_STABLE_DEBT_TOKEN_POOL_ADDRESS = '36'; // 'The liquidity of the reserve needs to be 0'
[codex:513995]   string public constant LPC_INVALID_VARIABLE_DEBT_TOKEN_POOL_ADDRESS = '37'; // 'The liquidity of the reserve needs to be 0'
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Continuing to review token sections**
[codex:513995] exec
[codex:513995] /bin/bash -lc "sed -n '1600,2000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-rb2_nki4 succeeded in 5ms:
[codex:513995]    * @param index The new liquidity index of the reserve
[codex:513995]    * @return `true` if the the previous balance of the user was 0
[codex:513995]    */
[codex:513995]   function mint(
[codex:513995]     address user,
[codex:513995]     uint256 amount,
[codex:513995]     uint256 index
[codex:513995]   ) external override onlyLendingPool returns (bool) {
[codex:513995]     uint256 previousBalance = super.balanceOf(user);
[codex:513995] 
[codex:513995]     uint256 amountScaled = amount.rayDiv(index);
[codex:513995]     require(amountScaled != 0, Errors.CT_INVALID_MINT_AMOUNT);
[codex:513995]     _mint(user, amountScaled);
[codex:513995] 
[codex:513995]     emit Transfer(address(0), user, amount);
[codex:513995]     emit Mint(user, amount, index);
[codex:513995] 
[codex:513995]     return previousBalance == 0;
[codex:513995]   }
[codex:513995] 
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Continuing to review content**
[codex:513995] exec
[codex:513995] /bin/bash -lc "sed -n '2000,2090p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-rb2_nki4 succeeded in 5ms:
[codex:513995]     );
[codex:513995]     return true;
[codex:513995]   }
[codex:513995] 
[codex:513995]   function _transfer(
[codex:513995]     address sender,
[codex:513995]     address recipient,
[codex:513995]     uint256 amount
[codex:513995]   ) internal virtual {
[codex:513995]     require(sender != address(0), 'ERC20: transfer from the zero address');
[codex:513995]     require(recipient != address(0), 'ERC20: transfer to the zero address');
[codex:513995] 
[codex:513995]     _beforeTokenTransfer(sender, recipient, amount);
[codex:513995] 
[codex:513995]     uint256 oldSenderBalance = _balances[sender];
[codex:513995]     _balances[sender] = oldSenderBalance.sub(amount, 'ERC20: transfer amount exceeds balance');
[codex:513995]     uint256 oldRecipientBalance = _balances[recipient];
[codex:513995]     _balances[recipient] = _balances[recipient].add(amount);
[codex:513995] 
[codex:513995]     if (address(_incentivesController) != address(0)) {
[codex:513995] 
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Analyzing first-party contract vulnerabilities**
[codex:513995] 
[codex:513995] I’m thoroughly auditing Aave’s core contracts, focusing on AToken and IncentivizedERC20. I’m examining signature validation, reentrancy risks from external calls, initialization access control, and math safety—spotting some minor concerns like missing checks on signature malleability and initialize’s unrestricted caller but no critical exploits seem evident. The interplay with trusted external contracts and upgradeability raises low-severity considerations, yet overall the design appears solid with known trade-offs.
[codex:513995] thinking
[codex:513995] **Reviewing audit conclusion and next step**
[codex:513995] exec
[codex:513995] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-rb2_nki4 succeeded in 5ms:
[codex:513995] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:513995] 
[codex:513995] thinking
[codex:513995] **Generating JSON summary with findings**
[codex:513995] 
[codex:513995] I'll create a JSON output that includes a summary stating no findings were discovered along with residual risk related to external contract trust assumptions and unverified dependencies, following the instructions for clear communication and transparency.
[codex:513995] codex
[codex:513995] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first‑party contracts reviewed (AToken, IncentivizedERC20, VersionedInitializable, WadRayMath, Errors, DataTypes). Residual risk: correctness and safety depend on trusted external contracts (LendingPool, incentives controller) and deployment/initialization discipline, which were not part of this bundle.","findings":[]}
[codex:513995] tokens used
[codex:513995] 49,105
[codex:513995] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first‑party contracts reviewed (AToken, IncentivizedERC20, VersionedInitializable, WadRayMath, Errors, DataTypes). Residual risk: correctness and safety depend on trusted external contracts (LendingPool, incentives controller) and deployment/initialization discipline, which were not part of this bundle.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-24T00:53:45.430652+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the first\u2011party contracts reviewed (AToken, IncentivizedERC20, VersionedInitializable, WadRayMath, Errors, DataTypes). Residual risk: correctness and safety depend on trusted external contracts (LendingPool, incentives controller) and deployment/initialization discipline, which were not part of this bundle.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the first\u2011party contracts reviewed (AToken, IncentivizedERC20, VersionedInitializable, WadRayMath, Errors, DataTypes). Residual risk: correctness and safety depend on trusted external contracts (LendingPool, incentives controller) and deployment/initialization discipline, which were not part of this bundle.",
        "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 0x01e5
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7535d246
00000026: GT
00000027: PUSH2 0x010f
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xb16a19de
00000031: GT
00000032: PUSH2 0x00a2
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd505accf
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd505accf
00000047: EQ
00000048: PUSH2 0x060d
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd7020d0a
00000052: EQ
00000053: PUSH2 0x065e
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x069a
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf866c319
00000068: EQ
00000069: PUSH2 0x06c8
0000006c: JUMPI
0000006d: PUSH2 0x01e5
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xb16a19de
00000078: EQ
00000079: PUSH2 0x05cf
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xb1bf962d
00000083: EQ
00000084: PUSH2 0x05d7
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xb9844d8d
0000008e: EQ
0000008f: PUSH2 0x05df
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xd0fc81d2
00000099: EQ
0000009a: PUSH2 0x0605
0000009d: JUMPI
0000009e: PUSH2 0x01e5
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0x95d89b41
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x95d89b41
000000b4: EQ
000000b5: PUSH2 0x0567
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa457c2d7
000000bf: EQ
000000c0: PUSH2 0x056f
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa9059cbb
000000ca: EQ
000000cb: PUSH2 0x059b
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xae167335
000000d5: EQ
000000d6: PUSH2 0x05c7
000000d9: JUMPI
000000da: PUSH2 0x01e5
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x7535d246
000000e5: EQ
000000e6: PUSH2 0x0510
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x75d26413
000000f0: EQ
000000f1: PUSH2 0x0534
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x78160376
000000fb: EQ
000000fc: PUSH2 0x053c
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0x7df5bd3b
00000106: EQ
00000107: PUSH2 0x0544
0000010a: JUMPI
0000010b: PUSH2 0x01e5
0000010e: JUMP
0000010f: JUMPDEST
00000110: DUP1
00000111: PUSH4 0x23b872dd
00000116: GT
00000117: PUSH2 0x0187
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x3644e515
00000121: GT
00000122: PUSH2 0x0156
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x3644e515
0000012c: EQ
0000012d: PUSH2 0x048a
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x39509351
00000137: EQ
00000138: PUSH2 0x0492
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x4efecaa5
00000142: EQ
00000143: PUSH2 0x04be
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0x70a08231
0000014d: EQ
0000014e: PUSH2 0x04ea
00000151: JUMPI
00000152: PUSH2 0x01e5
00000155: JUMP
00000156: JUMPDEST
00000157: DUP1
00000158: PUSH4 0x23b872dd
0000015d: EQ
0000015e: PUSH2 0x0360
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x30adf81f
00000168: EQ
00000169: PUSH2 0x0396
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x3118724e
00000173: EQ
00000174: PUSH2 0x039e
00000177: JUMPI
00000178: DUP1
00000179: PUSH4 0x313ce567
0000017e: EQ
0000017f: PUSH2 0x046c
00000182: JUMPI
00000183: PUSH2 0x01e5
00000186: JUMP
00000187: JUMPDEST
00000188: DUP1
00000189: PUSH4 0x0bd7ad3b
0000018e: GT
0000018f: PUSH2 0x01c3
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x0bd7ad3b
00000199: EQ
0000019a: PUSH2 0x02e6
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x156e29f6
000001a4: EQ
000001a5: PUSH2 0x0300
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x18160ddd
000001af: EQ
000001b0: PUSH2 0x0332
000001b3: JUMPI
000001b4: DUP1
000001b5: PUSH4 0x1da24f3e
000001ba: EQ
000001bb: PUSH2 0x033a
000001be: JUMPI
000001bf: PUSH2 0x01e5
000001c2: JUMP
000001c3: JUMPDEST
000001c4: DUP1
000001c5: PUSH4 0x06fdde03
000001ca: EQ
000001cb: PUSH2 0x01ea
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x095ea7b3
000001d5: EQ
000001d6: PUSH2 0x0267
000001d9: JUMPI
000001da: DUP1
000001db: PUSH4 0x0afbcdc9
000001e0: EQ
000001e1: PUSH2 0x02a7
000001e4: JUMPI
000001e5: JUMPDEST
000001e6: PUSH1 0x00
000001e8: DUP1
000001e9: REVERT
000001ea: JUMPDEST
000001eb: PUSH2 0x01f2
000001ee: PUSH2 0x06fe
000001f1: JUMP
000001f2: JUMPDEST
000001f3: PUSH1 0x40
000001f5: DUP1
000001f6: MLOAD
000001f7: PUSH1 0x20
000001f9: DUP1
000001fa: DUP3
000001fb: MSTORE
000001fc: DUP4
000001fd: MLOAD
000001fe: DUP2
000001ff: DUP4
00000200: ADD
00000201: MSTORE
00000202: DUP4
00000203: MLOAD
00000204: SWAP2
00000205: SWAP3
00000206: DUP4
00000207: SWAP3
00000208: SWAP1
00000209: DUP4
0000020a: ADD
0000020b: SWAP2
0000020c: DUP6
0000020d: ADD
0000020e: SWAP1
0000020f: DUP1
00000210: DUP4
00000211: DUP4
00000212: PUSH1 0x00
00000214: JUMPDEST
00000215: DUP4
00000216: DUP2
00000217: LT
00000218: ISZERO
00000219: PUSH2 0x022c
0000021c: JUMPI
0000021d: DUP2
0000021e: DUP2
0000021f: ADD
00000220: MLOAD
00000221: DUP4
00000222: DUP3
00000223: ADD
00000224: MSTORE
00000225: PUSH1 0x20
00000227: ADD
00000228: PUSH2 0x0214
0000022b: JUMP
0000022c: JUMPDEST
0000022d: POP
0000022e: POP
0000022f: POP
00000230: POP
00000231: SWAP1
00000232: POP
00000233: SWAP1
00000234: DUP2
00000235: ADD
00000236: SWAP1
00000237: PUSH1 0x1f
00000239: AND
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0259
0000023f: JUMPI
00000240: DUP1
00000241: DUP3
00000242: SUB
00000243: DUP1
00000244: MLOAD
00000245: PUSH1 0x01
00000247: DUP4
00000248: PUSH1 0x20
0000024a: SUB
0000024b: PUSH2 0x0100
0000024e: EXP
0000024f: SUB
00000250: NOT
00000251: AND
00000252: DUP2
00000253: MSTORE
00000254: PUSH1 0x20
00000256: ADD
00000257: SWAP2
00000258: POP
00000259: JUMPDEST
0000025a: POP
0000025b: SWAP3
0000025c: POP
0000025d: POP
0000025e: POP
0000025f: PUSH1 0x40
00000261: MLOAD
00000262: DUP1
00000263: SWAP2
00000264: SUB
00000265: SWAP1
00000266: RETURN
00000267: JUMPDEST
00000268: PUSH2 0x0293
0000026b: PUSH1 0x04
0000026d: DUP1
0000026e: CALLDATASIZE
0000026f: SUB
00000270: PUSH1 0x40
00000272: DUP2
00000273: LT
00000274: ISZERO
00000275: PUSH2 0x027d
00000278: JUMPI
00000279: PUSH1 0x00
0000027b: DUP1
0000027c: REVERT
0000027d: JUMPDEST
0000027e: POP
0000027f: PUSH1 0x01
00000281: PUSH1 0x01
00000283: PUSH1 0xa0
00000285: SHL
00000286: SUB
00000287: DUP2
00000288: CALLDATALOAD
00000289: AND
0000028a: SWAP1
0000028b: PUSH1 0x20
0000028d: ADD
0000028e: CALLDATALOAD
0000028f: PUSH2 0x0795
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH1 0x40
00000296: DUP1
00000297: MLOAD
00000298: SWAP2
00000299: ISZERO
0000029a: ISZERO
0000029b: DUP3
0000029c: MSTORE
0000029d: MLOAD
0000029e: SWAP1
0000029f: DUP2
000002a0: SWAP1
000002a1: SUB
000002a2: PUSH1 0x20
000002a4: ADD
000002a5: SWAP1
000002a6: RETURN
000002a7: JUMPDEST
000002a8: PUSH2 0x02cd
000002ab: PUSH1 0x04
000002ad: DUP1
000002ae: CALLDATASIZE
000002af: SUB
000002b0: PUSH1 0x20
000002b2: DUP2
000002b3: LT
000002b4: ISZERO
000002b5: PUSH2 0x02bd
000002b8: JUMPI
000002b9: PUSH1 0x00
000002bb: DUP1
000002bc: REVERT
000002bd: JUMPDEST
000002be: POP
000002bf: CALLDATALOAD
000002c0: PUSH1 0x01
000002c2: PUSH1 0x01
000002c4: PUSH1 0xa0
000002c6: SHL
000002c7: SUB
000002c8: AND
000002c9: PUSH2 0x07b3
000002cc: JUMP
000002cd: JUMPDEST
000002ce: PUSH1 0x40
000002d0: DUP1
000002d1: MLOAD
000002d2: SWAP3
000002d3: DUP4
000002d4: MSTORE
000002d5: PUSH1 0x20
000002d7: DUP4
000002d8: ADD
000002d9: SWAP2
000002da: SWAP1
000002db: SWAP2
000002dc: MSTORE
000002dd: DUP1
000002de: MLOAD
000002df: SWAP2
000002e0: DUP3
000002e1: SWAP1
000002e2: SUB
000002e3: ADD
000002e4: SWAP1
000002e5: RETURN
000002e6: JUMPDEST
000002e7: PUSH2 0x02ee
000002ea: PUSH2 0x07d0
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x40
000002f1: DUP1
000002f2: MLOAD
000002f3: SWAP2
000002f4: DUP3
000002f5: MSTORE
000002f6: MLOAD
000002f7: SWAP1
000002f8: DUP2
000002f9: SWAP1
000002fa: SUB
000002fb: PUSH1 0x20
000002fd: ADD
000002fe: SWAP1
000002ff: RETURN
00000300: JUMPDEST
00000301: PUSH2 0x0293
00000304: PUSH1 0x04
00000306: DUP1
00000307: CALLDATASIZE
00000308: SUB
00000309: PUSH1 0x60
0000030b: DUP2
0000030c: LT
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: POP
00000318: PUSH1 0x01
0000031a: PUSH1 0x01
0000031c: PUSH1 0xa0
0000031e: SHL
0000031f: SUB
00000320: DUP2
00000321: CALLDATALOAD
00000322: AND
00000323: SWAP1
00000324: PUSH1 0x20
00000326: DUP2
00000327: ADD
00000328: CALLDATALOAD
00000329: SWAP1
0000032a: PUSH1 0x40
0000032c: ADD
0000032d: CALLDATALOAD
0000032e: PUSH2 0x07d5
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH2 0x02ee
00000336: PUSH2 0x09c0
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH2 0x02ee
0000033e: PUSH1 0x04
00000340: DUP1
00000341: CALLDATASIZE
00000342: SUB
00000343: PUSH1 0x20
00000345: DUP2
00000346: LT
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: CALLDATALOAD
00000353: PUSH1 0x01
00000355: PUSH1 0x01
00000357: PUSH1 0xa0
00000359: SHL
0000035a: SUB
0000035b: AND
0000035c: PUSH2 0x0aa5
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x0293
00000364: PUSH1 0x04
00000366: DUP1
00000367: CALLDATASIZE
00000368: SUB
00000369: PUSH1 0x60
0000036b: DUP2
0000036c: LT
0000036d: ISZERO
0000036e: PUSH2 0x0376
00000371: JUMPI
00000372: PUSH1 0x00
00000374: DUP1
00000375: REVERT
00000376: JUMPDEST
00000377: POP
00000378: PUSH1 0x01
0000037a: PUSH1 0x01
0000037c: PUSH1 0xa0
0000037e: SHL
0000037f: SUB
00000380: DUP2
00000381: CALLDATALOAD
00000382: DUP2
00000383: AND
00000384: SWAP2
00000385: PUSH1 0x20
00000387: DUP2
00000388: ADD
00000389: CALLDATALOAD
0000038a: SWAP1
0000038b: SWAP2
0000038c: AND
0000038d: SWAP1
0000038e: PUSH1 0x40
00000390: ADD
00000391: CALLDATALOAD
00000392: PUSH2 0x0ab0
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH2 0x02ee
0000039a: PUSH2 0x0b70
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH2 0x046a
000003a2: PUSH1 0x04
000003a4: DUP1
000003a5: CALLDATASIZE
000003a6: SUB
000003a7: PUSH1 0x60
000003a9: DUP2
000003aa: LT
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: PUSH1 0xff
000003b7: DUP3
000003b8: CALLDATALOAD
000003b9: AND
000003ba: SWAP2
000003bb: SWAP1
000003bc: DUP2
000003bd: ADD
000003be: SWAP1
000003bf: PUSH1 0x40
000003c1: DUP2
000003c2: ADD
000003c3: PUSH1 0x20
000003c5: DUP3
000003c6: ADD
000003c7: CALLDATALOAD
000003c8: PUSH5 0x0100000000
000003ce: DUP2
000003cf: GT
000003d0: ISZERO
000003d1: PUSH2 0x03d9
000003d4: JUMPI
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: DUP3
000003db: ADD
000003dc: DUP4
000003dd: PUSH1 0x20
000003df: DUP3
000003e0: ADD
000003e1: GT
000003e2: ISZERO
000003e3: PUSH2 0x03eb
000003e6: JUMPI
000003e7: PUSH1 0x00
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: DUP1
000003ed: CALLDATALOAD
000003ee: SWAP1
000003ef: PUSH1 0x20
000003f1: ADD
000003f2: SWAP2
000003f3: DUP5
000003f4: PUSH1 0x01
000003f6: DUP4
000003f7: MUL
000003f8: DUP5
000003f9: ADD
000003fa: GT
000003fb: PUSH5 0x0100000000
00000401: DUP4
00000402: GT
00000403: OR
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: SWAP2
0000040f: SWAP4
00000410: SWAP1
00000411: SWAP3
00000412: SWAP1
00000413: SWAP2
00000414: PUSH1 0x20
00000416: DUP2
00000417: ADD
00000418: SWAP1
00000419: CALLDATALOAD
0000041a: PUSH5 0x0100000000
00000420: DUP2
00000421: GT
00000422: ISZERO
00000423: PUSH2 0x042b
00000426: JUMPI
00000427: PUSH1 0x00
00000429: DUP1
0000042a: REVERT
0000042b: JUMPDEST
0000042c: DUP3
0000042d: ADD
0000042e: DUP4
0000042f: PUSH1 0x20
00000431: DUP3
00000432: ADD
00000433: GT
00000434: ISZERO
00000435: PUSH2 0x043d
00000438: JUMPI
00000439: PUSH1 0x00
0000043b: DUP1
0000043c: REVERT
0000043d: JUMPDEST
0000043e: DUP1
0000043f: CALLDATALOAD
00000440: SWAP1
00000441: PUSH1 0x20
00000443: ADD
00000444: SWAP2
00000445: DUP5
00000446: PUSH1 0x01
00000448: DUP4
00000449: MUL
0000044a: DUP5
0000044b: ADD
0000044c: GT
0000044d: PUSH5 0x0100000000
00000453: DUP4
00000454: GT
00000455: OR
00000456: ISZERO
00000457: PUSH2 0x045f
0000045a: JUMPI
0000045b: PUSH1 0x00
0000045d: DUP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: POP
00000461: SWAP1
00000462: SWAP3
00000463: POP
00000464: SWAP1
00000465: POP
00000466: PUSH2 0x0b94
00000469: JUMP
0000046a: JUMPDEST
0000046b: STOP
0000046c: JUMPDEST
0000046d: PUSH2 0x0474
00000470: PUSH2 0x0ecf
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH1 0x40
00000477: DUP1
00000478: MLOAD
00000479: PUSH1 0xff
0000047b: SWAP1
0000047c: SWAP3
0000047d: AND
0000047e: DUP3
0000047f: MSTORE
00000480: MLOAD
00000481: SWAP1
00000482: DUP2
00000483: SWAP1
00000484: SUB
00000485: PUSH1 0x20
00000487: ADD
00000488: SWAP1
00000489: RETURN
0000048a: JUMPDEST
0000048b: PUSH2 0x02ee
0000048e: PUSH2 0x0ed8
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH2 0x0293
00000496: PUSH1 0x04
00000498: DUP1
00000499: CALLDATASIZE
0000049a: SUB
0000049b: PUSH1 0x40
0000049d: DUP2
0000049e: LT
0000049f: ISZERO
000004a0: PUSH2 0x04a8
000004a3: JUMPI
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: POP
000004aa: PUSH1 0x01
000004ac: PUSH1 0x01
000004ae: PUSH1 0xa0
000004b0: SHL
000004b1: SUB
000004b2: DUP2
000004b3: CALLDATALOAD
000004b4: AND
000004b5: SWAP1
000004b6: PUSH1 0x20
000004b8: ADD
000004b9: CALLDATALOAD
000004ba: PUSH2 0x0ede
000004bd: JUMP
000004be: JUMPDEST
000004bf: PUSH2 0x02ee
000004c2: PUSH1 0x04
000004c4: DUP1
000004c5: CALLDATASIZE
000004c6: SUB
000004c7: PUSH1 0x40
000004c9: DUP2
000004ca: LT
000004cb: ISZERO
000004cc: PUSH2 0x04d4
000004cf: JUMPI
000004d0: PUSH1 0x00
000004d2: DUP1
000004d3: REVERT
000004d4: JUMPDEST
000004d5: POP
000004d6: PUSH1 0x01
000004d8: PUSH1 0x01
000004da: PUSH1 0xa0
000004dc: SHL
000004dd: SUB
000004de: DUP2
000004df: CALLDATALOAD
000004e0: AND
000004e1: SWAP1
000004e2: PUSH1 0x20
000004e4: ADD
000004e5: CALLDATALOAD
000004e6: PUSH2 0x0f2c
000004e9: JUMP
000004ea: JUMPDEST
000004eb: PUSH2 0x02ee
000004ee: PUSH1 0x04
000004f0: DUP1
000004f1: CALLDATASIZE
000004f2: SUB
000004f3: PUSH1 0x20
000004f5: DUP2
000004f6: LT
000004f7: ISZERO
000004f8: PUSH2 0x0500
000004fb: JUMPI
000004fc: PUSH1 0x00
000004fe: DUP1
000004ff: REVERT
00000500: JUMPDEST
00000501: POP
00000502: CALLDATALOAD
00000503: PUSH1 0x01
00000505: PUSH1 0x01
00000507: PUSH1 0xa0
00000509: SHL
0000050a: SUB
0000050b: AND
0000050c: PUSH2 0x100c
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH2 0x0518
00000514: PUSH2 0x10d9
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH1 0x40
0000051b: DUP1
0000051c: MLOAD
0000051d: PUSH1 0x01
0000051f: PUSH1 0x01
00000521: PUSH1 0xa0
00000523: SHL
00000524: SUB
00000525: SWAP1
00000526: SWAP3
00000527: AND
00000528: DUP3
00000529: MSTORE
0000052a: MLOAD
0000052b: SWAP1
0000052c: DUP2
0000052d: SWAP1
0000052e: SUB
0000052f: PUSH1 0x20
00000531: ADD
00000532: SWAP1
00000533: RETURN
00000534: JUMPDEST
00000535: PUSH2 0x0518
00000538: PUSH2 0x10fd
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH2 0x01f2
00000540: PUSH2 0x1121
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH2 0x046a
00000548: PUSH1 0x04
0000054a: DUP1
0000054b: CALLDATASIZE
0000054c: SUB
0000054d: PUSH1 0x40
0000054f: DUP2
00000550: LT
00000551: ISZERO
00000552: PUSH2 0x055a
00000555: JUMPI
00000556: PUSH1 0x00
00000558: DUP1
00000559: REVERT
0000055a: JUMPDEST
0000055b: POP
0000055c: DUP1
0000055d: CALLDATALOAD
0000055e: SWAP1
0000055f: PUSH1 0x20
00000561: ADD
00000562: CALLDATALOAD
00000563: PUSH2 0x113e
00000566: JUMP
00000567: JUMPDEST
00000568: PUSH2 0x01f2
0000056b: PUSH2 0x12d6
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH2 0x0293
00000573: PUSH1 0x04
00000575: DUP1
00000576: CALLDATASIZE
00000577: SUB
00000578: PUSH1 0x40
0000057a: DUP2
0000057b: LT
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH1 0x01
00000589: PUSH1 0x01
0000058b: PUSH1 0xa0
0000058d: SHL
0000058e: SUB
0000058f: DUP2
00000590: CALLDATALOAD
00000591: AND
00000592: SWAP1
00000593: PUSH1 0x20
00000595: ADD
00000596: CALLDATALOAD
00000597: PUSH2 0x1337
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH2 0x0293
0000059f: PUSH1 0x04
000005a1: DUP1
000005a2: CALLDATASIZE
000005a3: SUB
000005a4: PUSH1 0x40
000005a6: DUP2
000005a7: LT
000005a8: ISZERO
000005a9: PUSH2 0x05b1
000005ac: JUMPI
000005ad: PUSH1 0x00
000005af: DUP1
000005b0: REVERT
000005b1: JUMPDEST
000005b2: POP
000005b3: PUSH1 0x01
000005b5: PUSH1 0x01
000005b7: PUSH1 0xa0
000005b9: SHL
000005ba: SUB
000005bb: DUP2
000005bc: CALLDATALOAD
000005bd: AND
000005be: SWAP1
000005bf: PUSH1 0x20
000005c1: ADD
000005c2: CALLDATALOAD
000005c3: PUSH2 0x139f
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH2 0x0518
000005cb: PUSH2 0x13fc
000005ce: JUMP
000005cf: JUMPDEST
000005d0: PUSH2 0x0518
000005d3: PUSH2 0x1420
000005d6: JUMP
000005d7: JUMPDEST
000005d8: PUSH2 0x02ee
000005db: PUSH2 0x1444
000005de: JUMP
000005df: JUMPDEST
000005e0: PUSH2 0x02ee
000005e3: PUSH1 0x04
000005e5: DUP1
000005e6: CALLDATASIZE
000005e7: SUB
000005e8: PUSH1 0x20
000005ea: DUP2
000005eb: LT
000005ec: ISZERO
000005ed: PUSH2 0x05f5
000005f0: JUMPI
000005f1: PUSH1 0x00
000005f3: DUP1
000005f4: REVERT
000005f5: JUMPDEST
000005f6: POP
000005f7: CALLDATALOAD
000005f8: PUSH1 0x01
000005fa: PUSH1 0x01
000005fc: PUSH1 0xa0
000005fe: SHL
000005ff: SUB
00000600: AND
00000601: PUSH2 0x1453
00000604: JUMP
00000605: JUMPDEST
00000606: PUSH2 0x02ee
00000609: PUSH2 0x1465
0000060c: JUMP
0000060d: JUMPDEST
0000060e: PUSH2 0x046a
00000611: PUSH1 0x04
00000613: DUP1
00000614: CALLDATASIZE
00000615: SUB
00000616: PUSH1 0xe0
00000618: DUP2
00000619: LT
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: PUSH1 0x01
00000627: PUSH1 0x01
00000629: PUSH1 0xa0
0000062b: SHL
0000062c: SUB
0000062d: DUP2
0000062e: CALLDATALOAD
0000062f: DUP2
00000630: AND
00000631: SWAP2
00000632: PUSH1 0x20
00000634: DUP2
00000635: ADD
00000636: CALLDATALOAD
00000637: SWAP1
00000638: SWAP2
00000639: AND
0000063a: SWAP1
0000063b: PUSH1 0x40
0000063d: DUP2
0000063e: ADD
0000063f: CALLDATALOAD
00000640: SWAP1
00000641: PUSH1 0x60
00000643: DUP2
00000644: ADD
00000645: CALLDATALOAD
00000646: SWAP1
00000647: PUSH1 0xff
00000649: PUSH1 0x80
0000064b: DUP3
0000064c: ADD
0000064d: CALLDATALOAD
0000064e: AND
0000064f: SWAP1
00000650: PUSH1 0xa0
00000652: DUP2
00000653: ADD
00000654: CALLDATALOAD
00000655: SWAP1
00000656: PUSH1 0xc0
00000658: ADD
00000659: CALLDATALOAD
0000065a: PUSH2 0x146b
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH2 0x046a
00000662: PUSH1 0x04
00000664: DUP1
00000665: CALLDATASIZE
00000666: SUB
00000667: PUSH1 0x80
00000669: DUP2
0000066a: LT
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH1 0x01
00000678: PUSH1 0x01
0000067a: PUSH1 0xa0
0000067c: SHL
0000067d: SUB
0000067e: DUP2
0000067f: CALLDATALOAD
00000680: DUP2
00000681: AND
00000682: SWAP2
00000683: PUSH1 0x20
00000685: DUP2
00000686: ADD
00000687: CALLDATALOAD
00000688: SWAP1
00000689: SWAP2
0000068a: AND
0000068b: SWAP1
0000068c: PUSH1 0x40
0000068e: DUP2
0000068f: ADD
00000690: CALLDATALOAD
00000691: SWAP1
00000692: PUSH1 0x60
00000694: ADD
00000695: CALLDATALOAD
00000696: PUSH2 0x16b2
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH2 0x02ee
0000069e: PUSH1 0x04
000006a0: DUP1
000006a1: CALLDATASIZE
000006a2: SUB
000006a3: PUSH1 0x40
000006a5: DUP2
000006a6: LT
000006a7: ISZERO
000006a8: PUSH2 0x06b0
000006ab: JUMPI
000006ac: PUSH1 0x00
000006ae: DUP1
000006af: REVERT
000006b0: JUMPDEST
000006b1: POP
000006b2: PUSH1 0x01
000006b4: PUSH1 0x01
000006b6: PUSH1 0xa0
000006b8: SHL
000006b9: SUB
000006ba: DUP2
000006bb: CALLDATALOAD
000006bc: DUP2
000006bd: AND
000006be: SWAP2
000006bf: PUSH1 0x20
000006c1: ADD
000006c2: CALLDATALOAD
000006c3: AND
000006c4: PUSH2 0x1892
000006c7: JUMP
000006c8: JUMPDEST
000006c9: PUSH2 0x046a
000006cc: PUSH1 0x04
000006ce: DUP1
000006cf: CALLDATASIZE
000006d0: SUB
000006d1: PUSH1 0x60
000006d3: DUP2
000006d4: LT
000006d5: ISZERO
000006d6: PUSH2 0x06de
000006d9: JUMPI
000006da: PUSH1 0x00
000006dc: DUP1
000006dd: REVERT
000006de: JUMPDEST
000006df: POP
000006e0: PUSH1 0x01
000006e2: PUSH1 0x01
000006e4: PUSH1 0xa0
000006e6: SHL
000006e7: SUB
000006e8: DUP2
000006e9: CALLDATALOAD
000006ea: DUP2
000006eb: AND
000006ec: SWAP2
000006ed: PUSH1 0x20
000006ef: DUP2
000006f0: ADD
000006f1: CALLDATALOAD
000006f2: SWAP1
000006f3: SWAP2
000006f4: AND
000006f5: SWAP1
000006f6: PUSH1 0x40
000006f8: ADD
000006f9: CALLDATALOAD
000006fa: PUSH2 0x18bd
000006fd: JUMP
000006fe: JUMPDEST
000006ff: PUSH1 0x37
00000701: DUP1
00000702: SLOAD
00000703: PUSH1 0x40
00000705: DUP1
00000706: MLOAD
00000707: PUSH1 0x20
00000709: PUSH1 0x1f
0000070b: PUSH1 0x02
0000070d: PUSH1 0x00
0000070f: NOT
00000710: PUSH2 0x0100
00000713: PUSH1 0x01
00000715: DUP9
00000716: AND
00000717: ISZERO
00000718: MUL
00000719: ADD
0000071a: SWAP1
0000071b: SWAP6
0000071c: AND
0000071d: SWAP5
0000071e: SWAP1
0000071f: SWAP5
00000720: DIV
00000721: SWAP4
00000722: DUP5
00000723: ADD
00000724: DUP2
00000725: SWAP1
00000726: DIV
00000727: DUP2
00000728: MUL
00000729: DUP3
0000072a: ADD
0000072b: DUP2
0000072c: ADD
0000072d: SWAP1
0000072e: SWAP3
0000072f: MSTORE
00000730: DUP3
00000731: DUP2
00000732: MSTORE
00000733: PUSH1 0x60
00000735: SWAP4
00000736: SWAP1
00000737: SWAP3
00000738: SWAP1
00000739: SWAP2
0000073a: DUP4
0000073b: ADD
0000073c: DUP3
0000073d: DUP3
0000073e: DUP1
0000073f: ISZERO
00000740: PUSH2 0x078a
00000743: JUMPI
00000744: DUP1
00000745: PUSH1 0x1f
00000747: LT
00000748: PUSH2 0x075f
0000074b: JUMPI
0000074c: PUSH2 0x0100
0000074f: DUP1
00000750: DUP4
00000751: SLOAD
00000752: DIV
00000753: MUL
00000754: DUP4
00000755: MSTORE
00000756: SWAP2
00000757: PUSH1 0x20
00000759: ADD
0000075a: SWAP2
0000075b: PUSH2 0x078a
0000075e: JUMP
0000075f: JUMPDEST
00000760: DUP3
00000761: ADD
00000762: SWAP2
00000763: SWAP1
00000764: PUSH1 0x00
00000766: MSTORE
00000767: PUSH1 0x20
00000769: PUSH1 0x00
0000076b: KECCAK256
0000076c: SWAP1
0000076d: JUMPDEST
0000076e: DUP2
0000076f: SLOAD
00000770: DUP2
00000771: MSTORE
00000772: SWAP1
00000773: PUSH1 0x01
00000775: ADD
00000776: SWAP1
00000777: PUSH1 0x20
00000779: ADD
0000077a: DUP1
0000077b: DUP4
0000077c: GT
0000077d: PUSH2 0x076d
00000780: JUMPI
00000781: DUP3
00000782: SWAP1
00000783: SUB
00000784: PUSH1 0x1f
00000786: AND
00000787: DUP3
00000788: ADD
00000789: SWAP2
0000078a: JUMPDEST
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: POP
00000790: SWAP1
00000791: POP
00000792: JUMPDEST
00000793: SWAP1
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x00
00000798: PUSH2 0x07a9
0000079b: PUSH2 0x07a2
0000079e: PUSH2 0x19ac
000007a1: JUMP
000007a2: JUMPDEST
000007a3: DUP5
000007a4: DUP5
000007a5: PUSH2 0x19b0
000007a8: JUMP
000007a9: JUMPDEST
000007aa: POP
000007ab: PUSH1 0x01
000007ad: JUMPDEST
000007ae: SWAP3
000007af: SWAP2
000007b0: POP
000007b1: POP
000007b2: JUMP
000007b3: JUMPDEST
000007b4: PUSH1 0x00
000007b6: DUP1
000007b7: PUSH2 0x07bf
000007ba: DUP4
000007bb: PUSH2 0x1a9c
000007be: JUMP
000007bf: JUMPDEST
000007c0: PUSH2 0x07c7
000007c3: PUSH2 0x1ab7
000007c6: JUMP
000007c7: JUMPDEST
000007c8: SWAP2
000007c9: POP
000007ca: SWAP2
000007cb: POP
000007cc: SWAP2
000007cd: POP
000007ce: SWAP2
000007cf: JUMP
000007d0: JUMPDEST
000007d1: PUSH1 0x02
000007d3: DUP2
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH1 0x00
000007d8: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
000007f9: PUSH1 0x01
000007fb: PUSH1 0x01
000007fd: PUSH1 0xa0
000007ff: SHL
00000800: SUB
00000801: AND
00000802: PUSH2 0x0809
00000805: PUSH2 0x19ac
00000808: JUMP
00000809: JUMPDEST
0000080a: PUSH1 0x01
0000080c: PUSH1 0x01
0000080e: PUSH1 0xa0
00000810: SHL
00000811: SUB
00000812: AND
00000813: EQ
00000814: PUSH1 0x40
00000816: MLOAD
00000817: DUP1
00000818: PUSH1 0x40
0000081a: ADD
0000081b: PUSH1 0x40
0000081d: MSTORE
0000081e: DUP1
0000081f: PUSH1 0x02
00000821: DUP2
00000822: MSTORE
00000823: PUSH1 0x20
00000825: ADD
00000826: PUSH2 0x3239
00000829: PUSH1 0xf0
0000082b: SHL
0000082c: DUP2
0000082d: MSTORE
0000082e: POP
0000082f: SWAP1
00000830: PUSH2 0x08b7
00000833: JUMPI
00000834: PUSH1 0x40
00000836: MLOAD
00000837: PUSH3 0x461bcd
0000083b: PUSH1 0xe5
0000083d: SHL
0000083e: DUP2
0000083f: MSTORE
00000840: PUSH1 0x04
00000842: ADD
00000843: DUP1
00000844: DUP1
00000845: PUSH1 0x20
00000847: ADD
00000848: DUP3
00000849: DUP2
0000084a: SUB
0000084b: DUP3
0000084c: MSTORE
0000084d: DUP4
0000084e: DUP2
0000084f: DUP2
00000850: MLOAD
00000851: DUP2
00000852: MSTORE
00000853: PUSH1 0x20
00000855: ADD
00000856: SWAP2
00000857: POP
00000858: DUP1
00000859: MLOAD
0000085a: SWAP1
0000085b: PUSH1 0x20
0000085d: ADD
0000085e: SWAP1
0000085f: DUP1
00000860: DUP4
00000861: DUP4
00000862: PUSH1 0x00
00000864: JUMPDEST
00000865: DUP4
00000866: DUP2
00000867: LT
00000868: ISZERO
00000869: PUSH2 0x087c
0000086c: JUMPI
0000086d: DUP2
0000086e: DUP2
0000086f: ADD
00000870: MLOAD
00000871: DUP4
00000872: DUP3
00000873: ADD
00000874: MSTORE
00000875: PUSH1 0x20
00000877: ADD
00000878: PUSH2 0x0864
0000087b: JUMP
0000087c: JUMPDEST
0000087d: POP
0000087e: POP
0000087f: POP
00000880: POP
00000881: SWAP1
00000882: POP
00000883: SWAP1
00000884: DUP2
00000885: ADD
00000886: SWAP1
00000887: PUSH1 0x1f
00000889: AND
0000088a: DUP1
0000088b: ISZERO
0000088c: PUSH2 0x08a9
0000088f: JUMPI
00000890: DUP1
00000891: DUP3
00000892: SUB
00000893: DUP1
00000894: MLOAD
00000895: PUSH1 0x01
00000897: DUP4
00000898: PUSH1 0x20
0000089a: SUB
0000089b: PUSH2 0x0100
0000089e: EXP
0000089f: SUB
000008a0: NOT
000008a1: AND
000008a2: DUP2
000008a3: MSTORE
000008a4: PUSH1 0x20
000008a6: ADD
000008a7: SWAP2
000008a8: POP
000008a9: JUMPDEST
000008aa: POP
000008ab: SWAP3
000008ac: POP
000008ad: POP
000008ae: POP
000008af: PUSH1 0x40
000008b1: MLOAD
000008b2: DUP1
000008b3: SWAP2
000008b4: SUB
000008b5: SWAP1
000008b6: REVERT
000008b7: JUMPDEST
000008b8: POP
000008b9: PUSH1 0x00
000008bb: PUSH2 0x08c3
000008be: DUP6
000008bf: PUSH2 0x1a9c
000008c2: JUMP
000008c3: JUMPDEST
000008c4: SWAP1
000008c5: POP
000008c6: PUSH1 0x00
000008c8: PUSH2 0x08d1
000008cb: DUP6
000008cc: DUP6
000008cd: PUSH2 0x1abd
000008d0: JUMP
000008d1: JUMPDEST
000008d2: PUSH1 0x40
000008d4: DUP1
000008d5: MLOAD
000008d6: DUP1
000008d7: DUP3
000008d8: ADD
000008d9: SWAP1
000008da: SWAP2
000008db: MSTORE
000008dc: PUSH1 0x02
000008de: DUP2
000008df: MSTORE
000008e0: PUSH2 0x1a9b
000008e3: PUSH1 0xf1
000008e5: SHL
000008e6: PUSH1 0x20
000008e8: DUP3
000008e9: ADD
000008ea: MSTORE
000008eb: SWAP1
000008ec: SWAP2
000008ed: POP
000008ee: DUP2
000008ef: PUSH2 0x0939
000008f2: JUMPI
000008f3: PUSH1 0x40
000008f5: MLOAD
000008f6: PUSH3 0x461bcd
000008fa: PUSH1 0xe5
000008fc: SHL
000008fd: DUP2
000008fe: MSTORE
000008ff: PUSH1 0x20
00000901: PUSH1 0x04
00000903: DUP3
00000904: ADD
00000905: DUP2
00000906: DUP2
00000907: MSTORE
00000908: DUP4
00000909: MLOAD
0000090a: PUSH1 0x24
0000090c: DUP5
0000090d: ADD
0000090e: MSTORE
0000090f: DUP4
00000910: MLOAD
00000911: SWAP1
00000912: SWAP3
00000913: DUP4
00000914: SWAP3
00000915: PUSH1 0x44
00000917: SWAP1
00000918: SWAP2
00000919: ADD
0000091a: SWAP2
0000091b: SWAP1
0000091c: DUP6
0000091d: ADD
0000091e: SWAP1
0000091f: DUP1
00000920: DUP4
00000921: DUP4
00000922: PUSH1 0x00
00000924: DUP4
00000925: ISZERO
00000926: PUSH2 0x087c
00000929: JUMPI
0000092a: DUP2
0000092b: DUP2
0000092c: ADD
0000092d: MLOAD
0000092e: DUP4
0000092f: DUP3
00000930: ADD
00000931: MSTORE
00000932: PUSH1 0x20
00000934: ADD
00000935: PUSH2 0x0864
00000938: JUMP
00000939: JUMPDEST
0000093a: POP
0000093b: PUSH2 0x0944
0000093e: DUP7
0000093f: DUP3
00000940: PUSH2 0x1bc4
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH1 0x40
00000947: DUP1
00000948: MLOAD
00000949: DUP7
0000094a: DUP2
0000094b: MSTORE
0000094c: SWAP1
0000094d: MLOAD
0000094e: PUSH1 0x01
00000950: PUSH1 0x01
00000952: PUSH1 0xa0
00000954: SHL
00000955: SUB
00000956: DUP9
00000957: AND
00000958: SWAP2
00000959: PUSH1 0x00
0000095b: SWAP2
0000095c: PUSH1 0x00
0000095e: DUP1
0000095f: MLOAD
00000960: PUSH1 0x20
00000962: PUSH2 0x2883
00000965: DUP4
00000966: CODECOPY
00000967: DUP2
00000968: MLOAD
00000969: SWAP2
0000096a: MSTORE
0000096b: SWAP2
0000096c: DUP2
0000096d: SWAP1
0000096e: SUB
0000096f: PUSH1 0x20
00000971: ADD
00000972: SWAP1
00000973: LOG3
00000974: PUSH1 0x40
00000976: DUP1
00000977: MLOAD
00000978: DUP7
00000979: DUP2
0000097a: MSTORE
0000097b: PUSH1 0x20
0000097d: DUP2
0000097e: ADD
0000097f: DUP7
00000980: SWAP1
00000981: MSTORE
00000982: DUP2
00000983: MLOAD
00000984: PUSH1 0x01
00000986: PUSH1 0x01
00000988: PUSH1 0xa0
0000098a: SHL
0000098b: SUB
0000098c: DUP10
0000098d: AND
0000098e: SWAP3
0000098f: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
000009b0: SWAP3
000009b1: DUP3
000009b2: SWAP1
000009b3: SUB
000009b4: ADD
000009b5: SWAP1
000009b6: LOG2
000009b7: POP
000009b8: ISZERO
000009b9: SWAP5
000009ba: SWAP4
000009bb: POP
000009bc: POP
000009bd: POP
000009be: POP
000009bf: JUMP
000009c0: JUMPDEST
000009c1: PUSH1 0x00
000009c3: DUP1
000009c4: PUSH2 0x09cb
000009c7: PUSH2 0x1ab7
000009ca: JUMP
000009cb: JUMPDEST
000009cc: SWAP1
000009cd: POP
000009ce: DUP1
000009cf: PUSH2 0x09dc
000009d2: JUMPI
000009d3: PUSH1 0x00
000009d5: SWAP2
000009d6: POP
000009d7: POP
000009d8: PUSH2 0x0792
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH2 0x0a9f
000009e0: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00000a01: PUSH1 0x01
00000a03: PUSH1 0x01
00000a05: PUSH1 0xa0
00000a07: SHL
00000a08: SUB
00000a09: AND
00000a0a: PUSH4 0xd15e0053
00000a0f: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000a30: PUSH1 0x40
00000a32: MLOAD
00000a33: DUP3
00000a34: PUSH4 0xffffffff
00000a39: AND
00000a3a: PUSH1 0xe0
00000a3c: SHL
00000a3d: DUP2
00000a3e: MSTORE
00000a3f: PUSH1 0x04
00000a41: ADD
00000a42: DUP1
00000a43: DUP3
00000a44: PUSH1 0x01
00000a46: PUSH1 0x01
00000a48: PUSH1 0xa0
00000a4a: SHL
00000a4b: SUB
00000a4c: AND
00000a4d: DUP2
00000a4e: MSTORE
00000a4f: PUSH1 0x20
00000a51: ADD
00000a52: SWAP2
00000a53: POP
00000a54: POP
00000a55: PUSH1 0x20
00000a57: PUSH1 0x40
00000a59: MLOAD
00000a5a: DUP1
00000a5b: DUP4
00000a5c: SUB
00000a5d: DUP2
00000a5e: DUP7
00000a5f: DUP1
00000a60: EXTCODESIZE
00000a61: ISZERO
00000a62: DUP1
00000a63: ISZERO
00000a64: PUSH2 0x0a6c
00000a67: JUMPI
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: REVERT
00000a6c: JUMPDEST
00000a6d: POP
00000a6e: GAS
00000a6f: STATICCALL
00000a70: ISZERO
00000a71: DUP1
00000a72: ISZERO
00000a73: PUSH2 0x0a80
00000a76: JUMPI
00000a77: RETURNDATASIZE
00000a78: PUSH1 0x00
00000a7a: DUP1
00000a7b: RETURNDATACOPY
00000a7c: RETURNDATASIZE
00000a7d: PUSH1 0x00
00000a7f: REVERT
00000a80: JUMPDEST
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: POP
00000a85: PUSH1 0x40
00000a87: MLOAD
00000a88: RETURNDATASIZE
00000a89: PUSH1 0x20
00000a8b: DUP2
00000a8c: LT
00000a8d: ISZERO
00000a8e: PUSH2 0x0a96
00000a91: JUMPI
00000a92: PUSH1 0x00
00000a94: DUP1
00000a95: REVERT
00000a96: JUMPDEST
00000a97: POP
00000a98: MLOAD
00000a99: DUP3
00000a9a: SWAP1
00000a9b: PUSH2 0x1d40
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: SWAP2
00000aa1: POP
00000aa2: POP
00000aa3: SWAP1
00000aa4: JUMP
00000aa5: JUMPDEST
00000aa6: PUSH1 0x00
00000aa8: PUSH2 0x07ad
00000aab: DUP3
00000aac: PUSH2 0x1a9c
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: PUSH1 0x00
00000ab3: PUSH2 0x0abd
00000ab6: DUP5
00000ab7: DUP5
00000ab8: DUP5
00000ab9: PUSH2 0x1dfe
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH2 0x0b2d
00000ac1: DUP5
00000ac2: PUSH2 0x0ac9
00000ac5: PUSH2 0x19ac
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: PUSH2 0x0b28
00000acd: DUP6
00000ace: PUSH1 0x40
00000ad0: MLOAD
00000ad1: DUP1
00000ad2: PUSH1 0x60
00000ad4: ADD
00000ad5: PUSH1 0x40
00000ad7: MSTORE
00000ad8: DUP1
00000ad9: PUSH1 0x28
00000adb: DUP2
00000adc: MSTORE
00000add: PUSH1 0x20
00000adf: ADD
00000ae0: PUSH2 0x282d
00000ae3: PUSH1 0x28
00000ae5: SWAP2
00000ae6: CODECOPY
00000ae7: PUSH1 0x01
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0xa0
00000aed: SHL
00000aee: SUB
00000aef: DUP11
00000af0: AND
00000af1: PUSH1 0x00
00000af3: SWAP1
00000af4: DUP2
00000af5: MSTORE
00000af6: PUSH1 0x35
00000af8: PUSH1 0x20
00000afa: MSTORE
00000afb: PUSH1 0x40
00000afd: DUP2
00000afe: KECCAK256
00000aff: SWAP1
00000b00: PUSH2 0x0b07
00000b03: PUSH2 0x19ac
00000b06: JUMP
00000b07: JUMPDEST
00000b08: PUSH1 0x01
00000b0a: PUSH1 0x01
00000b0c: PUSH1 0xa0
00000b0e: SHL
00000b0f: SUB
00000b10: AND
00000b11: DUP2
00000b12: MSTORE
00000b13: PUSH1 0x20
00000b15: DUP2
00000b16: ADD
00000b17: SWAP2
00000b18: SWAP1
00000b19: SWAP2
00000b1a: MSTORE
00000b1b: PUSH1 0x40
00000b1d: ADD
00000b1e: PUSH1 0x00
00000b20: KECCAK256
00000b21: SLOAD
00000b22: SWAP2
00000b23: SWAP1
00000b24: PUSH2 0x1e10
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH2 0x19b0
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: DUP3
00000b2f: PUSH1 0x01
00000b31: PUSH1 0x01
00000b33: PUSH1 0xa0
00000b35: SHL
00000b36: SUB
00000b37: AND
00000b38: DUP5
00000b39: PUSH1 0x01
00000b3b: PUSH1 0x01
00000b3d: PUSH1 0xa0
00000b3f: SHL
00000b40: SUB
00000b41: AND
00000b42: PUSH1 0x00
00000b44: DUP1
00000b45: MLOAD
00000b46: PUSH1 0x20
00000b48: PUSH2 0x2883
00000b4b: DUP4
00000b4c: CODECOPY
00000b4d: DUP2
00000b4e: MLOAD
00000b4f: SWAP2
00000b50: MSTORE
00000b51: DUP5
00000b52: PUSH1 0x40
00000b54: MLOAD
00000b55: DUP1
00000b56: DUP3
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x20
00000b5b: ADD
00000b5c: SWAP2
00000b5d: POP
00000b5e: POP
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: DUP1
00000b63: SWAP2
00000b64: SUB
00000b65: SWAP1
00000b66: LOG3
00000b67: POP
00000b68: PUSH1 0x01
00000b6a: SWAP4
00000b6b: SWAP3
00000b6c: POP
00000b6d: POP
00000b6e: POP
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000b92: DUP2
00000b93: JUMP
00000b94: JUMPDEST
00000b95: PUSH1 0x00
00000b97: PUSH2 0x0b9e
00000b9a: PUSH2 0x1e6a
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH1 0x01
00000ba1: SLOAD
00000ba2: SWAP1
00000ba3: SWAP2
00000ba4: POP
00000ba5: PUSH1 0xff
00000ba7: AND
00000ba8: DUP1
00000ba9: PUSH2 0x0bb5
00000bac: JUMPI
00000bad: POP
00000bae: PUSH2 0x0bb5
00000bb1: PUSH2 0x1e6f
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: DUP1
00000bb7: PUSH2 0x0bc1
00000bba: JUMPI
00000bbb: POP
00000bbc: PUSH1 0x00
00000bbe: SLOAD
00000bbf: DUP2
00000bc0: GT
00000bc1: JUMPDEST
00000bc2: PUSH2 0x0bfc
00000bc5: JUMPI
00000bc6: PUSH1 0x40
00000bc8: MLOAD
00000bc9: PUSH3 0x461bcd
00000bcd: PUSH1 0xe5
00000bcf: SHL
00000bd0: DUP2
00000bd1: MSTORE
00000bd2: PUSH1 0x04
00000bd4: ADD
00000bd5: DUP1
00000bd6: DUP1
00000bd7: PUSH1 0x20
00000bd9: ADD
00000bda: DUP3
00000bdb: DUP2
00000bdc: SUB
00000bdd: DUP3
00000bde: MSTORE
00000bdf: PUSH1 0x2e
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x20
00000be5: ADD
00000be6: DUP1
00000be7: PUSH2 0x2855
00000bea: PUSH1 0x2e
00000bec: SWAP2
00000bed: CODECOPY
00000bee: PUSH1 0x40
00000bf0: ADD
00000bf1: SWAP2
00000bf2: POP
00000bf3: POP
00000bf4: PUSH1 0x40
00000bf6: MLOAD
00000bf7: DUP1
00000bf8: SWAP2
00000bf9: SUB
00000bfa: SWAP1
00000bfb: REVERT
00000bfc: JUMPDEST
00000bfd: PUSH1 0x01
00000bff: SLOAD
00000c00: PUSH1 0xff
00000c02: AND
00000c03: ISZERO
00000c04: DUP1
00000c05: ISZERO
00000c06: PUSH2 0x0c1b
00000c09: JUMPI
00000c0a: PUSH1 0x01
00000c0c: DUP1
00000c0d: SLOAD
00000c0e: PUSH1 0xff
00000c10: NOT
00000c11: AND
00000c12: DUP2
00000c13: OR
00000c14: SWAP1
00000c15: SSTORE
00000c16: PUSH1 0x00
00000c18: DUP3
00000c19: SWAP1
00000c1a: SSTORE
00000c1b: JUMPDEST
00000c1c: PUSH1 0x00
00000c1e: CHAINID
00000c1f: SWAP1
00000c20: POP
00000c21: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00000c42: DUP8
00000c43: DUP8
00000c44: PUSH1 0x40
00000c46: MLOAD
00000c47: DUP1
00000c48: DUP4
00000c49: DUP4
00000c4a: DUP1
00000c4b: DUP3
00000c4c: DUP5
00000c4d: CALLDATACOPY
00000c4e: PUSH1 0x40
00000c50: DUP1
00000c51: MLOAD
00000c52: SWAP4
00000c53: SWAP1
00000c54: SWAP2
00000c55: ADD
00000c56: DUP4
00000c57: SWAP1
00000c58: SUB
00000c59: DUP4
00000c5a: KECCAK256
00000c5b: DUP4
00000c5c: DUP3
00000c5d: ADD
00000c5e: DUP3
00000c5f: MSTORE
00000c60: PUSH1 0x01
00000c62: DUP5
00000c63: MSTORE
00000c64: PUSH1 0x31
00000c66: PUSH1 0xf8
00000c68: SHL
00000c69: PUSH1 0x20
00000c6b: SWAP5
00000c6c: DUP6
00000c6d: ADD
00000c6e: MSTORE
00000c6f: DUP2
00000c70: MLOAD
00000c71: DUP1
00000c72: DUP6
00000c73: ADD
00000c74: SWAP9
00000c75: SWAP1
00000c76: SWAP9
00000c77: MSTORE
00000c78: DUP8
00000c79: DUP3
00000c7a: ADD
00000c7b: MSTORE
00000c7c: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
00000c9d: PUSH1 0x60
00000c9f: DUP9
00000ca0: ADD
00000ca1: MSTORE
00000ca2: PUSH1 0x80
00000ca4: DUP8
00000ca5: ADD
00000ca6: DUP9
00000ca7: SWAP1
00000ca8: MSTORE
00000ca9: ADDRESS
00000caa: PUSH1 0xa0
00000cac: DUP1
00000cad: DUP10
00000cae: ADD
00000caf: SWAP2
00000cb0: SWAP1
00000cb1: SWAP2
00000cb2: MSTORE
00000cb3: DUP2
00000cb4: MLOAD
00000cb5: DUP1
00000cb6: DUP10
00000cb7: SUB
00000cb8: SWAP1
00000cb9: SWAP2
00000cba: ADD
00000cbb: DUP2
00000cbc: MSTORE
00000cbd: PUSH1 0xc0
00000cbf: DUP9
00000cc0: ADD
00000cc1: DUP1
00000cc2: DUP4
00000cc3: MSTORE
00000cc4: DUP2
00000cc5: MLOAD
00000cc6: SWAP2
00000cc7: DUP6
00000cc8: ADD
00000cc9: SWAP2
00000cca: SWAP1
00000ccb: SWAP2
00000ccc: KECCAK256
00000ccd: PUSH1 0x3b
00000ccf: SSTORE
00000cd0: PUSH1 0xe0
00000cd2: PUSH1 0x1f
00000cd4: DUP16
00000cd5: ADD
00000cd6: DUP6
00000cd7: SWAP1
00000cd8: DIV
00000cd9: SWAP1
00000cda: SWAP5
00000cdb: MUL
00000cdc: DUP9
00000cdd: ADD
00000cde: DUP5
00000cdf: ADD
00000ce0: SWAP1
00000ce1: SWAP2
00000ce2: MSTORE
00000ce3: DUP13
00000ce4: DUP2
00000ce5: MSTORE
00000ce6: PUSH2 0x0d0f
00000ce9: SWAP7
00000cea: SWAP1
00000ceb: SWAP6
00000cec: POP
00000ced: DUP14
00000cee: SWAP5
00000cef: POP
00000cf0: DUP13
00000cf1: SWAP4
00000cf2: POP
00000cf3: DUP4
00000cf4: SWAP3
00000cf5: ADD
00000cf6: SWAP1
00000cf7: POP
00000cf8: DUP4
00000cf9: DUP3
00000cfa: DUP1
00000cfb: DUP3
00000cfc: DUP5
00000cfd: CALLDATACOPY
00000cfe: PUSH1 0x00
00000d00: SWAP3
00000d01: ADD
00000d02: SWAP2
00000d03: SWAP1
00000d04: SWAP2
00000d05: MSTORE
00000d06: POP
00000d07: PUSH2 0x1e75
00000d0a: SWAP3
00000d0b: POP
00000d0c: POP
00000d0d: POP
00000d0e: JUMP
00000d0f: JUMPDEST
00000d10: PUSH2 0x0d4e
00000d13: DUP6
00000d14: DUP6
00000d15: DUP1
00000d16: DUP1
00000d17: PUSH1 0x1f
00000d19: ADD
00000d1a: PUSH1 0x20
00000d1c: DUP1
00000d1d: SWAP2
00000d1e: DIV
00000d1f: MUL
00000d20: PUSH1 0x20
00000d22: ADD
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: SWAP1
00000d27: DUP2
00000d28: ADD
00000d29: PUSH1 0x40
00000d2b: MSTORE
00000d2c: DUP1
00000d2d: SWAP4
00000d2e: SWAP3
00000d2f: SWAP2
00000d30: SWAP1
00000d31: DUP2
00000d32: DUP2
00000d33: MSTORE
00000d34: PUSH1 0x20
00000d36: ADD
00000d37: DUP4
00000d38: DUP4
00000d39: DUP1
00000d3a: DUP3
00000d3b: DUP5
00000d3c: CALLDATACOPY
00000d3d: PUSH1 0x00
00000d3f: SWAP3
00000d40: ADD
00000d41: SWAP2
00000d42: SWAP1
00000d43: SWAP2
00000d44: MSTORE
00000d45: POP
00000d46: PUSH2 0x1e88
00000d49: SWAP3
00000d4a: POP
00000d4b: POP
00000d4c: POP
00000d4d: JUMP
00000d4e: JUMPDEST
00000d4f: PUSH2 0x0d57
00000d52: DUP9
00000d53: PUSH2 0x1e9b
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00000d79: PUSH1 0x01
00000d7b: PUSH1 0x01
00000d7d: PUSH1 0xa0
00000d7f: SHL
00000d80: SUB
00000d81: AND
00000d82: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000da3: PUSH1 0x01
00000da5: PUSH1 0x01
00000da7: PUSH1 0xa0
00000da9: SHL
00000daa: SUB
00000dab: AND
00000dac: PUSH32 0xb19e051f8af41150ccccb3fc2c2d8d15f4a4cf434f32a559ba75fe73d6eea20b
00000dcd: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
00000dee: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00000e0f: DUP13
00000e10: DUP13
00000e11: DUP13
00000e12: DUP13
00000e13: DUP13
00000e14: PUSH1 0x40
00000e16: MLOAD
00000e17: DUP1
00000e18: DUP9
00000e19: PUSH1 0x01
00000e1b: PUSH1 0x01
00000e1d: PUSH1 0xa0
00000e1f: SHL
00000e20: SUB
00000e21: AND
00000e22: DUP2
00000e23: MSTORE
00000e24: PUSH1 0x20
00000e26: ADD
00000e27: DUP8
00000e28: PUSH1 0x01
00000e2a: PUSH1 0x01
00000e2c: PUSH1 0xa0
00000e2e: SHL
00000e2f: SUB
00000e30: AND
00000e31: DUP2
00000e32: MSTORE
00000e33: PUSH1 0x20
00000e35: ADD
00000e36: DUP7
00000e37: PUSH1 0xff
00000e39: AND
00000e3a: DUP2
00000e3b: MSTORE
00000e3c: PUSH1 0x20
00000e3e: ADD
00000e3f: DUP1
00000e40: PUSH1 0x20
00000e42: ADD
00000e43: DUP1
00000e44: PUSH1 0x20
00000e46: ADD
00000e47: DUP1
00000e48: PUSH1 0x20
00000e4a: ADD
00000e4b: DUP5
00000e4c: DUP2
00000e4d: SUB
00000e4e: DUP5
00000e4f: MSTORE
00000e50: DUP9
00000e51: DUP9
00000e52: DUP3
00000e53: DUP2
00000e54: DUP2
00000e55: MSTORE
00000e56: PUSH1 0x20
00000e58: ADD
00000e59: SWAP3
00000e5a: POP
00000e5b: DUP1
00000e5c: DUP3
00000e5d: DUP5
00000e5e: CALLDATACOPY
00000e5f: PUSH1 0x00
00000e61: DUP4
00000e62: DUP3
00000e63: ADD
00000e64: MSTORE
00000e65: PUSH1 0x1f
00000e67: ADD
00000e68: PUSH1 0x1f
00000e6a: NOT
00000e6b: AND
00000e6c: SWAP1
00000e6d: SWAP2
00000e6e: ADD
00000e6f: DUP6
00000e70: DUP2
00000e71: SUB
00000e72: DUP5
00000e73: MSTORE
00000e74: DUP7
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x20
00000e79: ADD
00000e7a: SWAP1
00000e7b: POP
00000e7c: DUP7
00000e7d: DUP7
00000e7e: DUP1
00000e7f: DUP3
00000e80: DUP5
00000e81: CALLDATACOPY
00000e82: PUSH1 0x00
00000e84: DUP4
00000e85: DUP3
00000e86: ADD
00000e87: DUP2
00000e88: SWAP1
00000e89: MSTORE
00000e8a: PUSH1 0x1f
00000e8c: SWAP1
00000e8d: SWAP2
00000e8e: ADD
00000e8f: PUSH1 0x1f
00000e91: NOT
00000e92: AND
00000e93: SWAP1
00000e94: SWAP3
00000e95: ADD
00000e96: SWAP6
00000e97: DUP7
00000e98: SUB
00000e99: SWAP1
00000e9a: SWAP3
00000e9b: MSTORE
00000e9c: DUP5
00000e9d: MSTORE
00000e9e: POP
00000e9f: POP
00000ea0: PUSH1 0x40
00000ea2: DUP1
00000ea3: MLOAD
00000ea4: SWAP3
00000ea5: DUP4
00000ea6: SWAP1
00000ea7: SUB
00000ea8: ADD
00000ea9: SWAP9
00000eaa: POP
00000eab: SWAP1
00000eac: SWAP7
00000ead: POP
00000eae: POP
00000eaf: POP
00000eb0: POP
00000eb1: POP
00000eb2: POP
00000eb3: POP
00000eb4: LOG3
00000eb5: POP
00000eb6: DUP1
00000eb7: ISZERO
00000eb8: PUSH2 0x0ec6
00000ebb: JUMPI
00000ebc: PUSH1 0x01
00000ebe: DUP1
00000ebf: SLOAD
00000ec0: PUSH1 0xff
00000ec2: NOT
00000ec3: AND
00000ec4: SWAP1
00000ec5: SSTORE
00000ec6: JUMPDEST
00000ec7: POP
00000ec8: POP
00000ec9: POP
00000eca: POP
00000ecb: POP
00000ecc: POP
00000ecd: POP
00000ece: JUMP
00000ecf: JUMPDEST
00000ed0: PUSH1 0x39
00000ed2: SLOAD
00000ed3: PUSH1 0xff
00000ed5: AND
00000ed6: SWAP1
00000ed7: JUMP
00000ed8: JUMPDEST
00000ed9: PUSH1 0x3b
00000edb: SLOAD
00000edc: DUP2
00000edd: JUMP
00000ede: JUMPDEST
00000edf: PUSH1 0x00
00000ee1: PUSH2 0x07a9
00000ee4: PUSH2 0x0eeb
00000ee7: PUSH2 0x19ac
00000eea: JUMP
00000eeb: JUMPDEST
00000eec: DUP5
00000eed: PUSH2 0x0b28
00000ef0: DUP6
00000ef1: PUSH1 0x35
00000ef3: PUSH1 0x00
00000ef5: PUSH2 0x0efc
00000ef8: PUSH2 0x19ac
00000efb: JUMP
00000efc: JUMPDEST
00000efd: PUSH1 0x01
00000eff: PUSH1 0x01
00000f01: PUSH1 0xa0
00000f03: SHL
00000f04: SUB
00000f05: SWAP1
00000f06: DUP2
00000f07: AND
00000f08: DUP3
00000f09: MSTORE
00000f0a: PUSH1 0x20
00000f0c: DUP1
00000f0d: DUP4
00000f0e: ADD
00000f0f: SWAP4
00000f10: SWAP1
00000f11: SWAP4
00000f12: MSTORE
00000f13: PUSH1 0x40
00000f15: SWAP2
00000f16: DUP3
00000f17: ADD
00000f18: PUSH1 0x00
00000f1a: SWAP1
00000f1b: DUP2
00000f1c: KECCAK256
00000f1d: SWAP2
00000f1e: DUP13
00000f1f: AND
00000f20: DUP2
00000f21: MSTORE
00000f22: SWAP3
00000f23: MSTORE
00000f24: SWAP1
00000f25: KECCAK256
00000f26: SLOAD
00000f27: SWAP1
00000f28: PUSH2 0x1eb1
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: PUSH1 0x00
00000f2f: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00000f50: PUSH1 0x01
00000f52: PUSH1 0x01
00000f54: PUSH1 0xa0
00000f56: SHL
00000f57: SUB
00000f58: AND
00000f59: PUSH2 0x0f60
00000f5c: PUSH2 0x19ac
00000f5f: JUMP
00000f60: JUMPDEST
00000f61: PUSH1 0x01
00000f63: PUSH1 0x01
00000f65: PUSH1 0xa0
00000f67: SHL
00000f68: SUB
00000f69: AND
00000f6a: EQ
00000f6b: PUSH1 0x40
00000f6d: MLOAD
00000f6e: DUP1
00000f6f: PUSH1 0x40
00000f71: ADD
00000f72: PUSH1 0x40
00000f74: MSTORE
00000f75: DUP1
00000f76: PUSH1 0x02
00000f78: DUP2
00000f79: MSTORE
00000f7a: PUSH1 0x20
00000f7c: ADD
00000f7d: PUSH2 0x3239
00000f80: PUSH1 0xf0
00000f82: SHL
00000f83: DUP2
00000f84: MSTORE
00000f85: POP
00000f86: SWAP1
00000f87: PUSH2 0x0fd1
00000f8a: JUMPI
00000f8b: PUSH1 0x40
00000f8d: MLOAD
00000f8e: PUSH3 0x461bcd
00000f92: PUSH1 0xe5
00000f94: SHL
00000f95: DUP2
00000f96: MSTORE
00000f97: PUSH1 0x20
00000f99: PUSH1 0x04
00000f9b: DUP3
00000f9c: ADD
00000f9d: DUP2
00000f9e: DUP2
00000f9f: MSTORE
00000fa0: DUP4
00000fa1: MLOAD
00000fa2: PUSH1 0x24
00000fa4: DUP5
00000fa5: ADD
00000fa6: MSTORE
00000fa7: DUP4
00000fa8: MLOAD
00000fa9: SWAP1
00000faa: SWAP3
00000fab: DUP4
00000fac: SWAP3
00000fad: PUSH1 0x44
00000faf: SWAP1
00000fb0: SWAP2
00000fb1: ADD
00000fb2: SWAP2
00000fb3: SWAP1
00000fb4: DUP6
00000fb5: ADD
00000fb6: SWAP1
00000fb7: DUP1
00000fb8: DUP4
00000fb9: DUP4
00000fba: PUSH1 0x00
00000fbc: DUP4
00000fbd: ISZERO
00000fbe: PUSH2 0x087c
00000fc1: JUMPI
00000fc2: DUP2
00000fc3: DUP2
00000fc4: ADD
00000fc5: MLOAD
00000fc6: DUP4
00000fc7: DUP3
00000fc8: ADD
00000fc9: MSTORE
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: PUSH2 0x0864
00000fd0: JUMP
00000fd1: JUMPDEST
00000fd2: POP
00000fd3: PUSH2 0x1006
00000fd6: PUSH1 0x01
00000fd8: PUSH1 0x01
00000fda: PUSH1 0xa0
00000fdc: SHL
00000fdd: SUB
00000fde: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000fff: AND
00001000: DUP5
00001001: DUP5
00001002: PUSH2 0x1f12
00001005: JUMP
00001006: JUMPDEST
00001007: POP
00001008: SWAP2
00001009: SWAP1
0000100a: POP
0000100b: JUMP
0000100c: JUMPDEST
0000100d: PUSH1 0x00
0000100f: PUSH2 0x07ad
00001012: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00001033: PUSH1 0x01
00001035: PUSH1 0x01
00001037: PUSH1 0xa0
00001039: SHL
0000103a: SUB
0000103b: AND
0000103c: PUSH4 0xd15e0053
00001041: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001062: PUSH1 0x40
00001064: MLOAD
00001065: DUP3
00001066: PUSH4 0xffffffff
0000106b: AND
0000106c: PUSH1 0xe0
0000106e: SHL
0000106f: DUP2
00001070: MSTORE
00001071: PUSH1 0x04
00001073: ADD
00001074: DUP1
00001075: DUP3
00001076: PUSH1 0x01
00001078: PUSH1 0x01
0000107a: PUSH1 0xa0
0000107c: SHL
0000107d: SUB
0000107e: AND
0000107f: DUP2
00001080: MSTORE
00001081: PUSH1 0x20
00001083: ADD
00001084: SWAP2
00001085: POP
00001086: POP
00001087: PUSH1 0x20
00001089: PUSH1 0x40
0000108b: MLOAD
0000108c: DUP1
0000108d: DUP4
0000108e: SUB
0000108f: DUP2
00001090: DUP7
00001091: DUP1
00001092: EXTCODESIZE
00001093: ISZERO
00001094: DUP1
00001095: ISZERO
00001096: PUSH2 0x109e
00001099: JUMPI
0000109a: PUSH1 0x00
0000109c: DUP1
0000109d: REVERT
0000109e: JUMPDEST
0000109f: POP
000010a0: GAS
000010a1: STATICCALL
000010a2: ISZERO
000010a3: DUP1
000010a4: ISZERO
000010a5: PUSH2 0x10b2
000010a8: JUMPI
000010a9: RETURNDATASIZE
000010aa: PUSH1 0x00
000010ac: DUP1
000010ad: RETURNDATACOPY
000010ae: RETURNDATASIZE
000010af: PUSH1 0x00
000010b1: REVERT
000010b2: JUMPDEST
000010b3: POP
000010b4: POP
000010b5: POP
000010b6: POP
000010b7: PUSH1 0x40
000010b9: MLOAD
000010ba: RETURNDATASIZE
000010bb: PUSH1 0x20
000010bd: DUP2
000010be: LT
000010bf: ISZERO
000010c0: PUSH2 0x10c8
000010c3: JUMPI
000010c4: PUSH1 0x00
000010c6: DUP1
000010c7: REVERT
000010c8: JUMPDEST
000010c9: POP
000010ca: MLOAD
000010cb: PUSH2 0x10d3
000010ce: DUP5
000010cf: PUSH2 0x1a9c
000010d2: JUMP
000010d3: JUMPDEST
000010d4: SWAP1
000010d5: PUSH2 0x1d40
000010d8: JUMP
000010d9: JUMPDEST
000010da: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
000010fb: DUP2
000010fc: JUMP
000010fd: JUMPDEST
000010fe: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
0000111f: SWAP1
00001120: JUMP
00001121: JUMPDEST
00001122: PUSH1 0x40
00001124: MLOAD
00001125: DUP1
00001126: PUSH1 0x40
00001128: ADD
00001129: PUSH1 0x40
0000112b: MSTORE
0000112c: DUP1
0000112d: PUSH1 0x01
0000112f: DUP2
00001130: MSTORE
00001131: PUSH1 0x20
00001133: ADD
00001134: PUSH1 0x31
00001136: PUSH1 0xf8
00001138: SHL
00001139: DUP2
0000113a: MSTORE
0000113b: POP
0000113c: DUP2
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00001160: PUSH1 0x01
00001162: PUSH1 0x01
00001164: PUSH1 0xa0
00001166: SHL
00001167: SUB
00001168: AND
00001169: PUSH2 0x1170
0000116c: PUSH2 0x19ac
0000116f: JUMP
00001170: JUMPDEST
00001171: PUSH1 0x01
00001173: PUSH1 0x01
00001175: PUSH1 0xa0
00001177: SHL
00001178: SUB
00001179: AND
0000117a: EQ
0000117b: PUSH1 0x40
0000117d: MLOAD
0000117e: DUP1
0000117f: PUSH1 0x40
00001181: ADD
00001182: PUSH1 0x40
00001184: MSTORE
00001185: DUP1
00001186: PUSH1 0x02
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: PUSH2 0x3239
00001190: PUSH1 0xf0
00001192: SHL
00001193: DUP2
00001194: MSTORE
00001195: POP
00001196: SWAP1
00001197: PUSH2 0x11e1
0000119a: JUMPI
0000119b: PUSH1 0x40
0000119d: MLOAD
0000119e: PUSH3 0x461bcd
000011a2: PUSH1 0xe5
000011a4: SHL
000011a5: DUP2
000011a6: MSTORE
000011a7: PUSH1 0x20
000011a9: PUSH1 0x04
000011ab: DUP3
000011ac: ADD
000011ad: DUP2
000011ae: DUP2
000011af: MSTORE
000011b0: DUP4
000011b1: MLOAD
000011b2: PUSH1 0x24
000011b4: DUP5
000011b5: ADD
000011b6: MSTORE
000011b7: DUP4
000011b8: MLOAD
000011b9: SWAP1
000011ba: SWAP3
000011bb: DUP4
000011bc: SWAP3
000011bd: PUSH1 0x44
000011bf: SWAP1
000011c0: SWAP2
000011c1: ADD
000011c2: SWAP2
000011c3: SWAP1
000011c4: DUP6
000011c5: ADD
000011c6: SWAP1
000011c7: DUP1
000011c8: DUP4
000011c9: DUP4
000011ca: PUSH1 0x00
000011cc: DUP4
000011cd: ISZERO
000011ce: PUSH2 0x087c
000011d1: JUMPI
000011d2: DUP2
000011d3: DUP2
000011d4: ADD
000011d5: MLOAD
000011d6: DUP4
000011d7: DUP3
000011d8: ADD
000011d9: MSTORE
000011da: PUSH1 0x20
000011dc: ADD
000011dd: PUSH2 0x0864
000011e0: JUMP
000011e1: JUMPDEST
000011e2: POP
000011e3: DUP2
000011e4: PUSH2 0x11ec
000011e7: JUMPI
000011e8: PUSH2 0x12d2
000011eb: JUMP
000011ec: JUMPDEST
000011ed: PUSH2 0x121f
000011f0: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
00001211: PUSH2 0x121a
00001214: DUP5
00001215: DUP5
00001216: PUSH2 0x1abd
00001219: JUMP
0000121a: JUMPDEST
0000121b: PUSH2 0x1bc4
0000121e: JUMP
0000121f: JUMPDEST
00001220: PUSH1 0x40
00001222: DUP1
00001223: MLOAD
00001224: DUP4
00001225: DUP2
00001226: MSTORE
00001227: SWAP1
00001228: MLOAD
00001229: PUSH1 0x01
0000122b: PUSH1 0x01
0000122d: PUSH1 0xa0
0000122f: SHL
00001230: SUB
00001231: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
00001252: AND
00001253: SWAP2
00001254: PUSH1 0x00
00001256: SWAP2
00001257: PUSH1 0x00
00001259: DUP1
0000125a: MLOAD
0000125b: PUSH1 0x20
0000125d: PUSH2 0x2883
00001260: DUP4
00001261: CODECOPY
00001262: DUP2
00001263: MLOAD
00001264: SWAP2
00001265: MSTORE
00001266: SWAP2
00001267: DUP2
00001268: SWAP1
00001269: SUB
0000126a: PUSH1 0x20
0000126c: ADD
0000126d: SWAP1
0000126e: LOG3
0000126f: PUSH1 0x40
00001271: DUP1
00001272: MLOAD
00001273: DUP4
00001274: DUP2
00001275: MSTORE
00001276: PUSH1 0x20
00001278: DUP2
00001279: ADD
0000127a: DUP4
0000127b: SWAP1
0000127c: MSTORE
0000127d: DUP2
0000127e: MLOAD
0000127f: PUSH1 0x01
00001281: PUSH1 0x01
00001283: PUSH1 0xa0
00001285: SHL
00001286: SUB
00001287: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
000012a8: AND
000012a9: SWAP3
000012aa: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
000012cb: SWAP3
000012cc: DUP3
000012cd: SWAP1
000012ce: SUB
000012cf: ADD
000012d0: SWAP1
000012d1: LOG2
000012d2: JUMPDEST
000012d3: POP
000012d4: POP
000012d5: JUMP
000012d6: JUMPDEST
000012d7: PUSH1 0x38
000012d9: DUP1
000012da: SLOAD
000012db: PUSH1 0x40
000012dd: DUP1
000012de: MLOAD
000012df: PUSH1 0x20
000012e1: PUSH1 0x1f
000012e3: PUSH1 0x02
000012e5: PUSH1 0x00
000012e7: NOT
000012e8: PUSH2 0x0100
000012eb: PUSH1 0x01
000012ed: DUP9
000012ee: AND
000012ef: ISZERO
000012f0: MUL
000012f1: ADD
000012f2: SWAP1
000012f3: SWAP6
000012f4: AND
000012f5: SWAP5
000012f6: SWAP1
000012f7: SWAP5
000012f8: DIV
000012f9: SWAP4
000012fa: DUP5
000012fb: ADD
000012fc: DUP2
000012fd: SWAP1
000012fe: DIV
000012ff: DUP2
00001300: MUL
00001301: DUP3
00001302: ADD
00001303: DUP2
00001304: ADD
00001305: SWAP1
00001306: SWAP3
00001307: MSTORE
00001308: DUP3
00001309: DUP2
0000130a: MSTORE
0000130b: PUSH1 0x60
0000130d: SWAP4
0000130e: SWAP1
0000130f: SWAP3
00001310: SWAP1
00001311: SWAP2
00001312: DUP4
00001313: ADD
00001314: DUP3
00001315: DUP3
00001316: DUP1
00001317: ISZERO
00001318: PUSH2 0x078a
0000131b: JUMPI
0000131c: DUP1
0000131d: PUSH1 0x1f
0000131f: LT
00001320: PUSH2 0x075f
00001323: JUMPI
00001324: PUSH2 0x0100
00001327: DUP1
00001328: DUP4
00001329: SLOAD
0000132a: DIV
0000132b: MUL
0000132c: DUP4
0000132d: MSTORE
0000132e: SWAP2
0000132f: PUSH1 0x20
00001331: ADD
00001332: SWAP2
00001333: PUSH2 0x078a
00001336: JUMP
00001337: JUMPDEST
00001338: PUSH1 0x00
0000133a: PUSH2 0x07a9
0000133d: PUSH2 0x1344
00001340: PUSH2 0x19ac
00001343: JUMP
00001344: JUMPDEST
00001345: DUP5
00001346: PUSH2 0x0b28
00001349: DUP6
0000134a: PUSH1 0x40
0000134c: MLOAD
0000134d: DUP1
0000134e: PUSH1 0x60
00001350: ADD
00001351: PUSH1 0x40
00001353: MSTORE
00001354: DUP1
00001355: PUSH1 0x25
00001357: DUP2
00001358: MSTORE
00001359: PUSH1 0x20
0000135b: ADD
0000135c: PUSH2 0x2937
0000135f: PUSH1 0x25
00001361: SWAP2
00001362: CODECOPY
00001363: PUSH1 0x35
00001365: PUSH1 0x00
00001367: PUSH2 0x136e
0000136a: PUSH2 0x19ac
0000136d: JUMP
0000136e: JUMPDEST
0000136f: PUSH1 0x01
00001371: PUSH1 0x01
00001373: PUSH1 0xa0
00001375: SHL
00001376: SUB
00001377: SWAP1
00001378: DUP2
00001379: AND
0000137a: DUP3
0000137b: MSTORE
0000137c: PUSH1 0x20
0000137e: DUP1
0000137f: DUP4
00001380: ADD
00001381: SWAP4
00001382: SWAP1
00001383: SWAP4
00001384: MSTORE
00001385: PUSH1 0x40
00001387: SWAP2
00001388: DUP3
00001389: ADD
0000138a: PUSH1 0x00
0000138c: SWAP1
0000138d: DUP2
0000138e: KECCAK256
0000138f: SWAP2
00001390: DUP14
00001391: AND
00001392: DUP2
00001393: MSTORE
00001394: SWAP3
00001395: MSTORE
00001396: SWAP1
00001397: KECCAK256
00001398: SLOAD
00001399: SWAP2
0000139a: SWAP1
0000139b: PUSH2 0x1e10
0000139e: JUMP
0000139f: JUMPDEST
000013a0: PUSH1 0x00
000013a2: PUSH2 0x13b3
000013a5: PUSH2 0x13ac
000013a8: PUSH2 0x19ac
000013ab: JUMP
000013ac: JUMPDEST
000013ad: DUP5
000013ae: DUP5
000013af: PUSH2 0x1dfe
000013b2: JUMP
000013b3: JUMPDEST
000013b4: DUP3
000013b5: PUSH1 0x01
000013b7: PUSH1 0x01
000013b9: PUSH1 0xa0
000013bb: SHL
000013bc: SUB
000013bd: AND
000013be: PUSH2 0x13c5
000013c1: PUSH2 0x19ac
000013c4: JUMP
000013c5: JUMPDEST
000013c6: PUSH1 0x01
000013c8: PUSH1 0x01
000013ca: PUSH1 0xa0
000013cc: SHL
000013cd: SUB
000013ce: AND
000013cf: PUSH1 0x00
000013d1: DUP1
000013d2: MLOAD
000013d3: PUSH1 0x20
000013d5: PUSH2 0x2883
000013d8: DUP4
000013d9: CODECOPY
000013da: DUP2
000013db: MLOAD
000013dc: SWAP2
000013dd: MSTORE
000013de: DUP5
000013df: PUSH1 0x40
000013e1: MLOAD
000013e2: DUP1
000013e3: DUP3
000013e4: DUP2
000013e5: MSTORE
000013e6: PUSH1 0x20
000013e8: ADD
000013e9: SWAP2
000013ea: POP
000013eb: POP
000013ec: PUSH1 0x40
000013ee: MLOAD
000013ef: DUP1
000013f0: SWAP2
000013f1: SUB
000013f2: SWAP1
000013f3: LOG3
000013f4: POP
000013f5: PUSH1 0x01
000013f7: SWAP3
000013f8: SWAP2
000013f9: POP
000013fa: POP
000013fb: JUMP
000013fc: JUMPDEST
000013fd: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
0000141e: DUP2
0000141f: JUMP
00001420: JUMPDEST
00001421: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001442: DUP2
00001443: JUMP
00001444: JUMPDEST
00001445: PUSH1 0x00
00001447: PUSH2 0x144e
0000144a: PUSH2 0x1ab7
0000144d: JUMP
0000144e: JUMPDEST
0000144f: SWAP1
00001450: POP
00001451: SWAP1
00001452: JUMP
00001453: JUMPDEST
00001454: PUSH1 0x3a
00001456: PUSH1 0x20
00001458: MSTORE
00001459: PUSH1 0x00
0000145b: SWAP1
0000145c: DUP2
0000145d: MSTORE
0000145e: PUSH1 0x40
00001460: SWAP1
00001461: KECCAK256
00001462: SLOAD
00001463: DUP2
00001464: JUMP
00001465: JUMPDEST
00001466: PUSH1 0x00
00001468: NOT
00001469: DUP2
0000146a: JUMP
0000146b: JUMPDEST
0000146c: PUSH1 0x01
0000146e: PUSH1 0x01
00001470: PUSH1 0xa0
00001472: SHL
00001473: SUB
00001474: DUP8
00001475: AND
00001476: PUSH2 0x14b6
00001479: JUMPI
0000147a: PUSH1 0x40
0000147c: DUP1
0000147d: MLOAD
0000147e: PUSH3 0x461bcd
00001482: PUSH1 0xe5
00001484: SHL
00001485: DUP2
00001486: MSTORE
00001487: PUSH1 0x20
00001489: PUSH1 0x04
0000148b: DUP3
0000148c: ADD
0000148d: MSTORE
0000148e: PUSH1 0x0d
00001490: PUSH1 0x24
00001492: DUP3
00001493: ADD
00001494: MSTORE
00001495: PUSH13 0x24a72b20a624a22fa7aba722a9
000014a3: PUSH1 0x99
000014a5: SHL
000014a6: PUSH1 0x44
000014a8: DUP3
000014a9: ADD
000014aa: MSTORE
000014ab: SWAP1
000014ac: MLOAD
000014ad: SWAP1
000014ae: DUP2
000014af: SWAP1
000014b0: SUB
000014b1: PUSH1 0x64
000014b3: ADD
000014b4: SWAP1
000014b5: REVERT
000014b6: JUMPDEST
000014b7: DUP4
000014b8: TIMESTAMP
000014b9: GT
000014ba: ISZERO
000014bb: PUSH2 0x1500
000014be: JUMPI
000014bf: PUSH1 0x40
000014c1: DUP1
000014c2: MLOAD
000014c3: PUSH3 0x461bcd
000014c7: PUSH1 0xe5
000014c9: SHL
000014ca: DUP2
000014cb: MSTORE
000014cc: PUSH1 0x20
000014ce: PUSH1 0x04
000014d0: DUP3
000014d1: ADD
000014d2: MSTORE
000014d3: PUSH1 0x12
000014d5: PUSH1 0x24
000014d7: DUP3
000014d8: ADD
000014d9: MSTORE
000014da: PUSH18 0x24a72b20a624a22fa2ac2824a920aa24a7a7
000014ed: PUSH1 0x71
000014ef: SHL
000014f0: PUSH1 0x44
000014f2: DUP3
000014f3: ADD
000014f4: MSTORE
000014f5: SWAP1
000014f6: MLOAD
000014f7: SWAP1
000014f8: DUP2
000014f9: SWAP1
000014fa: SUB
000014fb: PUSH1 0x64
000014fd: ADD
000014fe: SWAP1
000014ff: REVERT
00001500: JUMPDEST
00001501: PUSH1 0x01
00001503: PUSH1 0x01
00001505: PUSH1 0xa0
00001507: SHL
00001508: SUB
00001509: DUP1
0000150a: DUP9
0000150b: AND
0000150c: PUSH1 0x00
0000150e: DUP2
0000150f: DUP2
00001510: MSTORE
00001511: PUSH1 0x3a
00001513: PUSH1 0x20
00001515: SWAP1
00001516: DUP2
00001517: MSTORE
00001518: PUSH1 0x40
0000151a: DUP1
0000151b: DUP4
0000151c: KECCAK256
0000151d: SLOAD
0000151e: PUSH1 0x3b
00001520: SLOAD
00001521: DUP3
00001522: MLOAD
00001523: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00001544: DUP2
00001545: DUP7
00001546: ADD
00001547: MSTORE
00001548: DUP1
00001549: DUP5
0000154a: ADD
0000154b: SWAP7
0000154c: SWAP1
0000154d: SWAP7
0000154e: MSTORE
0000154f: SWAP6
00001550: DUP13
00001551: AND
00001552: PUSH1 0x60
00001554: DUP7
00001555: ADD
00001556: MSTORE
00001557: PUSH1 0x80
00001559: DUP6
0000155a: ADD
0000155b: DUP12
0000155c: SWAP1
0000155d: MSTORE
0000155e: PUSH1 0xa0
00001560: DUP6
00001561: ADD
00001562: DUP2
00001563: SWAP1
00001564: MSTORE
00001565: PUSH1 0xc0
00001567: DUP1
00001568: DUP7
00001569: ADD
0000156a: DUP12
0000156b: SWAP1
0000156c: MSTORE
0000156d: DUP3
0000156e: MLOAD
0000156f: DUP1
00001570: DUP8
00001571: SUB
00001572: SWAP1
00001573: SWAP2
00001574: ADD
00001575: DUP2
00001576: MSTORE
00001577: PUSH1 0xe0
00001579: DUP7
0000157a: ADD
0000157b: DUP4
0000157c: MSTORE
0000157d: DUP1
0000157e: MLOAD
0000157f: SWAP1
00001580: DUP5
00001581: ADD
00001582: KECCAK256
00001583: PUSH2 0x1901
00001586: PUSH1 0xf0
00001588: SHL
00001589: PUSH2 0x0100
0000158c: DUP8
0000158d: ADD
0000158e: MSTORE
0000158f: PUSH2 0x0102
00001592: DUP7
00001593: ADD
00001594: SWAP7
00001595: SWAP1
00001596: SWAP7
00001597: MSTORE
00001598: PUSH2 0x0122
0000159b: DUP1
0000159c: DUP7
0000159d: ADD
0000159e: SWAP7
0000159f: SWAP1
000015a0: SWAP7
000015a1: MSTORE
000015a2: DUP2
000015a3: MLOAD
000015a4: DUP1
000015a5: DUP7
000015a6: SUB
000015a7: SWAP1
000015a8: SWAP7
000015a9: ADD
000015aa: DUP7
000015ab: MSTORE
000015ac: PUSH2 0x0142
000015af: DUP6
000015b0: ADD
000015b1: DUP1
000015b2: DUP4
000015b3: MSTORE
000015b4: DUP7
000015b5: MLOAD
000015b6: SWAP7
000015b7: DUP5
000015b8: ADD
000015b9: SWAP7
000015ba: SWAP1
000015bb: SWAP7
000015bc: KECCAK256
000015bd: SWAP4
000015be: SWAP1
000015bf: SWAP6
000015c0: MSTORE
000015c1: PUSH2 0x0162
000015c4: DUP5
000015c5: ADD
000015c6: DUP1
000015c7: DUP3
000015c8: MSTORE
000015c9: DUP4
000015ca: SWAP1
000015cb: MSTORE
000015cc: PUSH1 0xff
000015ce: DUP9
000015cf: AND
000015d0: PUSH2 0x0182
000015d3: DUP6
000015d4: ADD
000015d5: MSTORE
000015d6: PUSH2 0x01a2
000015d9: DUP5
000015da: ADD
000015db: DUP8
000015dc: SWAP1
000015dd: MSTORE
000015de: PUSH2 0x01c2
000015e1: DUP5
000015e2: ADD
000015e3: DUP7
000015e4: SWAP1
000015e5: MSTORE
000015e6: MLOAD
000015e7: SWAP2
000015e8: SWAP3
000015e9: PUSH1 0x01
000015eb: SWAP3
000015ec: PUSH2 0x01e2
000015ef: DUP1
000015f0: DUP4
000015f1: ADD
000015f2: SWAP4
000015f3: SWAP3
000015f4: PUSH1 0x1f
000015f6: NOT
000015f7: DUP4
000015f8: ADD
000015f9: SWAP3
000015fa: SWAP1
000015fb: DUP2
000015fc: SWAP1
000015fd: SUB
000015fe: SWAP1
000015ff: SWAP2
00001600: ADD
00001601: SWAP1
00001602: DUP6
00001603: GAS
00001604: STATICCALL
00001605: ISZERO
00001606: DUP1
00001607: ISZERO
00001608: PUSH2 0x1615
0000160b: JUMPI
0000160c: RETURNDATASIZE
0000160d: PUSH1 0x00
0000160f: DUP1
00001610: RETURNDATACOPY
00001611: RETURNDATASIZE
00001612: PUSH1 0x00
00001614: REVERT
00001615: JUMPDEST
00001616: POP
00001617: POP
00001618: POP
00001619: PUSH1 0x20
0000161b: PUSH1 0x40
0000161d: MLOAD
0000161e: SUB
0000161f: MLOAD
00001620: PUSH1 0x01
00001622: PUSH1 0x01
00001624: PUSH1 0xa0
00001626: SHL
00001627: SUB
00001628: AND
00001629: DUP10
0000162a: PUSH1 0x01
0000162c: PUSH1 0x01
0000162e: PUSH1 0xa0
00001630: SHL
00001631: SUB
00001632: AND
00001633: EQ
00001634: PUSH2 0x1678
00001637: JUMPI
00001638: PUSH1 0x40
0000163a: DUP1
0000163b: MLOAD
0000163c: PUSH3 0x461bcd
00001640: PUSH1 0xe5
00001642: SHL
00001643: DUP2
00001644: MSTORE
00001645: PUSH1 0x20
00001647: PUSH1 0x04
00001649: DUP3
0000164a: ADD
0000164b: MSTORE
0000164c: PUSH1 0x11
0000164e: PUSH1 0x24
00001650: DUP3
00001651: ADD
00001652: MSTORE
00001653: PUSH17 0x494e56414c49445f5349474e4154555245
00001665: PUSH1 0x78
00001667: SHL
00001668: PUSH1 0x44
0000166a: DUP3
0000166b: ADD
0000166c: MSTORE
0000166d: SWAP1
0000166e: MLOAD
0000166f: SWAP1
00001670: DUP2
00001671: SWAP1
00001672: SUB
00001673: PUSH1 0x64
00001675: ADD
00001676: SWAP1
00001677: REVERT
00001678: JUMPDEST
00001679: PUSH2 0x1683
0000167c: DUP3
0000167d: PUSH1 0x01
0000167f: PUSH2 0x1eb1
00001682: JUMP
00001683: JUMPDEST
00001684: PUSH1 0x01
00001686: PUSH1 0x01
00001688: PUSH1 0xa0
0000168a: SHL
0000168b: SUB
0000168c: DUP11
0000168d: AND
0000168e: PUSH1 0x00
00001690: SWAP1
00001691: DUP2
00001692: MSTORE
00001693: PUSH1 0x3a
00001695: PUSH1 0x20
00001697: MSTORE
00001698: PUSH1 0x40
0000169a: SWAP1
0000169b: KECCAK256
0000169c: SSTORE
0000169d: PUSH2 0x16a7
000016a0: DUP10
000016a1: DUP10
000016a2: DUP10
000016a3: PUSH2 0x19b0
000016a6: JUMP
000016a7: JUMPDEST
000016a8: POP
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: POP
000016ad: POP
000016ae: POP
000016af: POP
000016b0: POP
000016b1: JUMP
000016b2: JUMPDEST
000016b3: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
000016d4: PUSH1 0x01
000016d6: PUSH1 0x01
000016d8: PUSH1 0xa0
000016da: SHL
000016db: SUB
000016dc: AND
000016dd: PUSH2 0x16e4
000016e0: PUSH2 0x19ac
000016e3: JUMP
000016e4: JUMPDEST
000016e5: PUSH1 0x01
000016e7: PUSH1 0x01
000016e9: PUSH1 0xa0
000016eb: SHL
000016ec: SUB
000016ed: AND
000016ee: EQ
000016ef: PUSH1 0x40
000016f1: MLOAD
000016f2: DUP1
000016f3: PUSH1 0x40
000016f5: ADD
000016f6: PUSH1 0x40
000016f8: MSTORE
000016f9: DUP1
000016fa: PUSH1 0x02
000016fc: DUP2
000016fd: MSTORE
000016fe: PUSH1 0x20
00001700: ADD
00001701: PUSH2 0x3239
00001704: PUSH1 0xf0
00001706: SHL
00001707: DUP2
00001708: MSTORE
00001709: POP
0000170a: SWAP1
0000170b: PUSH2 0x1755
0000170e: JUMPI
0000170f: PUSH1 0x40
00001711: MLOAD
00001712: PUSH3 0x461bcd
00001716: PUSH1 0xe5
00001718: SHL
00001719: DUP2
0000171a: MSTORE
0000171b: PUSH1 0x20
0000171d: PUSH1 0x04
0000171f: DUP3
00001720: ADD
00001721: DUP2
00001722: DUP2
00001723: MSTORE
00001724: DUP4
00001725: MLOAD
00001726: PUSH1 0x24
00001728: DUP5
00001729: ADD
0000172a: MSTORE
0000172b: DUP4
0000172c: MLOAD
0000172d: SWAP1
0000172e: SWAP3
0000172f: DUP4
00001730: SWAP3
00001731: PUSH1 0x44
00001733: SWAP1
00001734: SWAP2
00001735: ADD
00001736: SWAP2
00001737: SWAP1
00001738: DUP6
00001739: ADD
0000173a: SWAP1
0000173b: DUP1
0000173c: DUP4
0000173d: DUP4
0000173e: PUSH1 0x00
00001740: DUP4
00001741: ISZERO
00001742: PUSH2 0x087c
00001745: JUMPI
00001746: DUP2
00001747: DUP2
00001748: ADD
00001749: MLOAD
0000174a: DUP4
0000174b: DUP3
0000174c: ADD
0000174d: MSTORE
0000174e: PUSH1 0x20
00001750: ADD
00001751: PUSH2 0x0864
00001754: JUMP
00001755: JUMPDEST
00001756: POP
00001757: PUSH1 0x00
00001759: PUSH2 0x1762
0000175c: DUP4
0000175d: DUP4
0000175e: PUSH2 0x1abd
00001761: JUMP
00001762: JUMPDEST
00001763: PUSH1 0x40
00001765: DUP1
00001766: MLOAD
00001767: DUP1
00001768: DUP3
00001769: ADD
0000176a: SWAP1
0000176b: SWAP2
0000176c: MSTORE
0000176d: PUSH1 0x02
0000176f: DUP2
00001770: MSTORE
00001771: PUSH2 0x06a7
00001774: PUSH1 0xf3
00001776: SHL
00001777: PUSH1 0x20
00001779: DUP3
0000177a: ADD
0000177b: MSTORE
0000177c: SWAP1
0000177d: SWAP2
0000177e: POP
0000177f: DUP2
00001780: PUSH2 0x17ca
00001783: JUMPI
00001784: PUSH1 0x40
00001786: MLOAD
00001787: PUSH3 0x461bcd
0000178b: PUSH1 0xe5
0000178d: SHL
0000178e: DUP2
0000178f: MSTORE
00001790: PUSH1 0x20
00001792: PUSH1 0x04
00001794: DUP3
00001795: ADD
00001796: DUP2
00001797: DUP2
00001798: MSTORE
00001799: DUP4
0000179a: MLOAD
0000179b: PUSH1 0x24
0000179d: DUP5
0000179e: ADD
0000179f: MSTORE
000017a0: DUP4
000017a1: MLOAD
000017a2: SWAP1
000017a3: SWAP3
000017a4: DUP4
000017a5: SWAP3
000017a6: PUSH1 0x44
000017a8: SWAP1
000017a9: SWAP2
000017aa: ADD
000017ab: SWAP2
000017ac: SWAP1
000017ad: DUP6
000017ae: ADD
000017af: SWAP1
000017b0: DUP1
000017b1: DUP4
000017b2: DUP4
000017b3: PUSH1 0x00
000017b5: DUP4
000017b6: ISZERO
000017b7: PUSH2 0x087c
000017ba: JUMPI
000017bb: DUP2
000017bc: DUP2
000017bd: ADD
000017be: MLOAD
000017bf: DUP4
000017c0: DUP3
000017c1: ADD
000017c2: MSTORE
000017c3: PUSH1 0x20
000017c5: ADD
000017c6: PUSH2 0x0864
000017c9: JUMP
000017ca: JUMPDEST
000017cb: POP
000017cc: PUSH2 0x17d5
000017cf: DUP6
000017d0: DUP3
000017d1: PUSH2 0x1f64
000017d4: JUMP
000017d5: JUMPDEST
000017d6: PUSH2 0x1809
000017d9: PUSH1 0x01
000017db: PUSH1 0x01
000017dd: PUSH1 0xa0
000017df: SHL
000017e0: SUB
000017e1: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001802: AND
00001803: DUP6
00001804: DUP6
00001805: PUSH2 0x1f12
00001808: JUMP
00001809: JUMPDEST
0000180a: PUSH1 0x40
0000180c: DUP1
0000180d: MLOAD
0000180e: DUP5
0000180f: DUP2
00001810: MSTORE
00001811: SWAP1
00001812: MLOAD
00001813: PUSH1 0x00
00001815: SWAP2
00001816: PUSH1 0x01
00001818: PUSH1 0x01
0000181a: PUSH1 0xa0
0000181c: SHL
0000181d: SUB
0000181e: DUP9
0000181f: AND
00001820: SWAP2
00001821: PUSH1 0x00
00001823: DUP1
00001824: MLOAD
00001825: PUSH1 0x20
00001827: PUSH2 0x2883
0000182a: DUP4
0000182b: CODECOPY
0000182c: DUP2
0000182d: MLOAD
0000182e: SWAP2
0000182f: MSTORE
00001830: SWAP2
00001831: DUP2
00001832: SWAP1
00001833: SUB
00001834: PUSH1 0x20
00001836: ADD
00001837: SWAP1
00001838: LOG3
00001839: DUP4
0000183a: PUSH1 0x01
0000183c: PUSH1 0x01
0000183e: PUSH1 0xa0
00001840: SHL
00001841: SUB
00001842: AND
00001843: DUP6
00001844: PUSH1 0x01
00001846: PUSH1 0x01
00001848: PUSH1 0xa0
0000184a: SHL
0000184b: SUB
0000184c: AND
0000184d: PUSH32 0x5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2
0000186e: DUP6
0000186f: DUP6
00001870: PUSH1 0x40
00001872: MLOAD
00001873: DUP1
00001874: DUP4
00001875: DUP2
00001876: MSTORE
00001877: PUSH1 0x20
00001879: ADD
0000187a: DUP3
0000187b: DUP2
0000187c: MSTORE
0000187d: PUSH1 0x20
0000187f: ADD
00001880: SWAP3
00001881: POP
00001882: POP
00001883: POP
00001884: PUSH1 0x40
00001886: MLOAD
00001887: DUP1
00001888: SWAP2
00001889: SUB
0000188a: SWAP1
0000188b: LOG3
0000188c: POP
0000188d: POP
0000188e: POP
0000188f: POP
00001890: POP
00001891: JUMP
00001892: JUMPDEST
00001893: PUSH1 0x01
00001895: PUSH1 0x01
00001897: PUSH1 0xa0
00001899: SHL
0000189a: SUB
0000189b: SWAP2
0000189c: DUP3
0000189d: AND
0000189e: PUSH1 0x00
000018a0: SWAP1
000018a1: DUP2
000018a2: MSTORE
000018a3: PUSH1 0x35
000018a5: PUSH1 0x20
000018a7: SWAP1
000018a8: DUP2
000018a9: MSTORE
000018aa: PUSH1 0x40
000018ac: DUP1
000018ad: DUP4
000018ae: KECCAK256
000018af: SWAP4
000018b0: SWAP1
000018b1: SWAP5
000018b2: AND
000018b3: DUP3
000018b4: MSTORE
000018b5: SWAP2
000018b6: SWAP1
000018b7: SWAP2
000018b8: MSTORE
000018b9: KECCAK256
000018ba: SLOAD
000018bb: SWAP1
000018bc: JUMP
000018bd: JUMPDEST
000018be: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
000018df: PUSH1 0x01
000018e1: PUSH1 0x01
000018e3: PUSH1 0xa0
000018e5: SHL
000018e6: SUB
000018e7: AND
000018e8: PUSH2 0x18ef
000018eb: PUSH2 0x19ac
000018ee: JUMP
000018ef: JUMPDEST
000018f0: PUSH1 0x01
000018f2: PUSH1 0x01
000018f4: PUSH1 0xa0
000018f6: SHL
000018f7: SUB
000018f8: AND
000018f9: EQ
000018fa: PUSH1 0x40
000018fc: MLOAD
000018fd: DUP1
000018fe: PUSH1 0x40
00001900: ADD
00001901: PUSH1 0x40
00001903: MSTORE
00001904: DUP1
00001905: PUSH1 0x02
00001907: DUP2
00001908: MSTORE
00001909: PUSH1 0x20
0000190b: ADD
0000190c: PUSH2 0x3239
0000190f: PUSH1 0xf0
00001911: SHL
00001912: DUP2
00001913: MSTORE
00001914: POP
00001915: SWAP1
00001916: PUSH2 0x1960
00001919: JUMPI
0000191a: PUSH1 0x40
0000191c: MLOAD
0000191d: PUSH3 0x461bcd
00001921: PUSH1 0xe5
00001923: SHL
00001924: DUP2
00001925: MSTORE
00001926: PUSH1 0x20
00001928: PUSH1 0x04
0000192a: DUP3
0000192b: ADD
0000192c: DUP2
0000192d: DUP2
0000192e: MSTORE
0000192f: DUP4
00001930: MLOAD
00001931: PUSH1 0x24
00001933: DUP5
00001934: ADD
00001935: MSTORE
00001936: DUP4
00001937: MLOAD
00001938: SWAP1
00001939: SWAP3
0000193a: DUP4
0000193b: SWAP3
0000193c: PUSH1 0x44
0000193e: SWAP1
0000193f: SWAP2
00001940: ADD
00001941: SWAP2
00001942: SWAP1
00001943: DUP6
00001944: ADD
00001945: SWAP1
00001946: DUP1
00001947: DUP4
00001948: DUP4
00001949: PUSH1 0x00
0000194b: DUP4
0000194c: ISZERO
0000194d: PUSH2 0x087c
00001950: JUMPI
00001951: DUP2
00001952: DUP2
00001953: ADD
00001954: MLOAD
00001955: DUP4
00001956: DUP3
00001957: ADD
00001958: MSTORE
00001959: PUSH1 0x20
0000195b: ADD
0000195c: PUSH2 0x0864
0000195f: JUMP
00001960: JUMPDEST
00001961: POP
00001962: PUSH2 0x196e
00001965: DUP4
00001966: DUP4
00001967: DUP4
00001968: PUSH1 0x00
0000196a: PUSH2 0x2008
0000196d: JUMP
0000196e: JUMPDEST
0000196f: DUP2
00001970: PUSH1 0x01
00001972: PUSH1 0x01
00001974: PUSH1 0xa0
00001976: SHL
00001977: SUB
00001978: AND
00001979: DUP4
0000197a: PUSH1 0x01
0000197c: PUSH1 0x01
0000197e: PUSH1 0xa0
00001980: SHL
00001981: SUB
00001982: AND
00001983: PUSH1 0x00
00001985: DUP1
00001986: MLOAD
00001987: PUSH1 0x20
00001989: PUSH2 0x2883
0000198c: DUP4
0000198d: CODECOPY
0000198e: DUP2
0000198f: MLOAD
00001990: SWAP2
00001991: MSTORE
00001992: DUP4
00001993: PUSH1 0x40
00001995: MLOAD
00001996: DUP1
00001997: DUP3
00001998: DUP2
00001999: MSTORE
0000199a: PUSH1 0x20
0000199c: ADD
0000199d: SWAP2
0000199e: POP
0000199f: POP
000019a0: PUSH1 0x40
000019a2: MLOAD
000019a3: DUP1
000019a4: SWAP2
000019a5: SUB
000019a6: SWAP1
000019a7: LOG3
000019a8: POP
000019a9: POP
000019aa: POP
000019ab: JUMP
000019ac: JUMPDEST
000019ad: CALLER
000019ae: SWAP1
000019af: JUMP
000019b0: JUMPDEST
000019b1: PUSH1 0x01
000019b3: PUSH1 0x01
000019b5: PUSH1 0xa0
000019b7: SHL
000019b8: SUB
000019b9: DUP4
000019ba: AND
000019bb: PUSH2 0x19f5
000019be: JUMPI
000019bf: PUSH1 0x40
000019c1: MLOAD
000019c2: PUSH3 0x461bcd
000019c6: PUSH1 0xe5
000019c8: SHL
000019c9: DUP2
000019ca: MSTORE
000019cb: PUSH1 0x04
000019cd: ADD
000019ce: DUP1
000019cf: DUP1
000019d0: PUSH1 0x20
000019d2: ADD
000019d3: DUP3
000019d4: DUP2
000019d5: SUB
000019d6: DUP3
000019d7: MSTORE
000019d8: PUSH1 0x24
000019da: DUP2
000019db: MSTORE
000019dc: PUSH1 0x20
000019de: ADD
000019df: DUP1
000019e0: PUSH2 0x28e9
000019e3: PUSH1 0x24
000019e5: SWAP2
000019e6: CODECOPY
000019e7: PUSH1 0x40
000019e9: ADD
000019ea: SWAP2
000019eb: POP
000019ec: POP
000019ed: PUSH1 0x40
000019ef: MLOAD
000019f0: DUP1
000019f1: SWAP2
000019f2: SUB
000019f3: SWAP1
000019f4: REVERT
000019f5: JUMPDEST
000019f6: PUSH1 0x01
000019f8: PUSH1 0x01
000019fa: PUSH1 0xa0
000019fc: SHL
000019fd: SUB
000019fe: DUP3
000019ff: AND
00001a00: PUSH2 0x1a3a
00001a03: JUMPI
00001a04: PUSH1 0x40
00001a06: MLOAD
00001a07: PUSH3 0x461bcd
00001a0b: PUSH1 0xe5
00001a0d: SHL
00001a0e: DUP2
00001a0f: MSTORE
00001a10: PUSH1 0x04
00001a12: ADD
00001a13: DUP1
00001a14: DUP1
00001a15: PUSH1 0x20
00001a17: ADD
00001a18: DUP3
00001a19: DUP2
00001a1a: SUB
00001a1b: DUP3
00001a1c: MSTORE
00001a1d: PUSH1 0x22
00001a1f: DUP2
00001a20: MSTORE
00001a21: PUSH1 0x20
00001a23: ADD
00001a24: DUP1
00001a25: PUSH2 0x27e5
00001a28: PUSH1 0x22
00001a2a: SWAP2
00001a2b: CODECOPY
00001a2c: PUSH1 0x40
00001a2e: ADD
00001a2f: SWAP2
00001a30: POP
00001a31: POP
00001a32: PUSH1 0x40
00001a34: MLOAD
00001a35: DUP1
00001a36: SWAP2
00001a37: SUB
00001a38: SWAP1
00001a39: REVERT
00001a3a: JUMPDEST
00001a3b: PUSH1 0x01
00001a3d: PUSH1 0x01
00001a3f: PUSH1 0xa0
00001a41: SHL
00001a42: SUB
00001a43: DUP1
00001a44: DUP5
00001a45: AND
00001a46: PUSH1 0x00
00001a48: DUP2
00001a49: DUP2
00001a4a: MSTORE
00001a4b: PUSH1 0x35
00001a4d: PUSH1 0x20
00001a4f: SWAP1
00001a50: DUP2
00001a51: MSTORE
00001a52: PUSH1 0x40
00001a54: DUP1
00001a55: DUP4
00001a56: KECCAK256
00001a57: SWAP5
00001a58: DUP8
00001a59: AND
00001a5a: DUP1
00001a5b: DUP5
00001a5c: MSTORE
00001a5d: SWAP5
00001a5e: DUP3
00001a5f: MSTORE
00001a60: SWAP2
00001a61: DUP3
00001a62: SWAP1
00001a63: KECCAK256
00001a64: DUP6
00001a65: SWAP1
00001a66: SSTORE
00001a67: DUP2
00001a68: MLOAD
00001a69: DUP6
00001a6a: DUP2
00001a6b: MSTORE
00001a6c: SWAP2
00001a6d: MLOAD
00001a6e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001a8f: SWAP3
00001a90: DUP2
00001a91: SWAP1
00001a92: SUB
00001a93: SWAP1
00001a94: SWAP2
00001a95: ADD
00001a96: SWAP1
00001a97: LOG3
00001a98: POP
00001a99: POP
00001a9a: POP
00001a9b: JUMP
00001a9c: JUMPDEST
00001a9d: PUSH1 0x01
00001a9f: PUSH1 0x01
00001aa1: PUSH1 0xa0
00001aa3: SHL
00001aa4: SUB
00001aa5: AND
00001aa6: PUSH1 0x00
00001aa8: SWAP1
00001aa9: DUP2
00001aaa: MSTORE
00001aab: PUSH1 0x34
00001aad: PUSH1 0x20
00001aaf: MSTORE
00001ab0: PUSH1 0x40
00001ab2: SWAP1
00001ab3: KECCAK256
00001ab4: SLOAD
00001ab5: SWAP1
00001ab6: JUMP
00001ab7: JUMPDEST
00001ab8: PUSH1 0x36
00001aba: SLOAD
00001abb: SWAP1
00001abc: JUMP
00001abd: JUMPDEST
00001abe: PUSH1 0x40
00001ac0: DUP1
00001ac1: MLOAD
00001ac2: DUP1
00001ac3: DUP3
00001ac4: ADD
00001ac5: SWAP1
00001ac6: SWAP2
00001ac7: MSTORE
00001ac8: PUSH1 0x02
00001aca: DUP2
00001acb: MSTORE
00001acc: PUSH2 0x0353
00001acf: PUSH1 0xf4
00001ad1: SHL
00001ad2: PUSH1 0x20
00001ad4: DUP3
00001ad5: ADD
00001ad6: MSTORE
00001ad7: PUSH1 0x00
00001ad9: SWAP1
00001ada: DUP3
00001adb: PUSH2 0x1b25
00001ade: JUMPI
00001adf: PUSH1 0x40
00001ae1: MLOAD
00001ae2: PUSH3 0x461bcd
00001ae6: PUSH1 0xe5
00001ae8: SHL
00001ae9: DUP2
00001aea: MSTORE
00001aeb: PUSH1 0x20
00001aed: PUSH1 0x04
00001aef: DUP3
00001af0: ADD
00001af1: DUP2
00001af2: DUP2
00001af3: MSTORE
00001af4: DUP4
00001af5: MLOAD
00001af6: PUSH1 0x24
00001af8: DUP5
00001af9: ADD
00001afa: MSTORE
00001afb: DUP4
00001afc: MLOAD
00001afd: SWAP1
00001afe: SWAP3
00001aff: DUP4
00001b00: SWAP3
00001b01: PUSH1 0x44
00001b03: SWAP1
00001b04: SWAP2
00001b05: ADD
00001b06: SWAP2
00001b07: SWAP1
00001b08: DUP6
00001b09: ADD
00001b0a: SWAP1
00001b0b: DUP1
00001b0c: DUP4
00001b0d: DUP4
00001b0e: PUSH1 0x00
00001b10: DUP4
00001b11: ISZERO
00001b12: PUSH2 0x087c
00001b15: JUMPI
00001b16: DUP2
00001b17: DUP2
00001b18: ADD
00001b19: MLOAD
00001b1a: DUP4
00001b1b: DUP3
00001b1c: ADD
00001b1d: MSTORE
00001b1e: PUSH1 0x20
00001b20: ADD
00001b21: PUSH2 0x0864
00001b24: JUMP
00001b25: JUMPDEST
00001b26: POP
00001b27: PUSH1 0x40
00001b29: DUP1
00001b2a: MLOAD
00001b2b: DUP1
00001b2c: DUP3
00001b2d: ADD
00001b2e: SWAP1
00001b2f: SWAP2
00001b30: MSTORE
00001b31: PUSH1 0x02
00001b33: DUP1
00001b34: DUP3
00001b35: MSTORE
00001b36: PUSH2 0x0687
00001b39: PUSH1 0xf3
00001b3b: SHL
00001b3c: PUSH1 0x20
00001b3e: DUP4
00001b3f: ADD
00001b40: MSTORE
00001b41: DUP4
00001b42: DIV
00001b43: SWAP1
00001b44: PUSH12 0x033b2e3c9fd0803ce8000000
00001b51: DUP3
00001b52: NOT
00001b53: DIV
00001b54: DUP6
00001b55: GT
00001b56: ISZERO
00001b57: PUSH2 0x1ba1
00001b5a: JUMPI
00001b5b: PUSH1 0x40
00001b5d: MLOAD
00001b5e: PUSH3 0x461bcd
00001b62: PUSH1 0xe5
00001b64: SHL
00001b65: DUP2
00001b66: MSTORE
00001b67: PUSH1 0x20
00001b69: PUSH1 0x04
00001b6b: DUP3
00001b6c: ADD
00001b6d: DUP2
00001b6e: DUP2
00001b6f: MSTORE
00001b70: DUP4
00001b71: MLOAD
00001b72: PUSH1 0x24
00001b74: DUP5
00001b75: ADD
00001b76: MSTORE
00001b77: DUP4
00001b78: MLOAD
00001b79: SWAP1
00001b7a: SWAP3
00001b7b: DUP4
00001b7c: SWAP3
00001b7d: PUSH1 0x44
00001b7f: SWAP1
00001b80: SWAP2
00001b81: ADD
00001b82: SWAP2
00001b83: SWAP1
00001b84: DUP6
00001b85: ADD
00001b86: SWAP1
00001b87: DUP1
00001b88: DUP4
00001b89: DUP4
00001b8a: PUSH1 0x00
00001b8c: DUP4
00001b8d: ISZERO
00001b8e: PUSH2 0x087c
00001b91: JUMPI
00001b92: DUP2
00001b93: DUP2
00001b94: ADD
00001b95: MLOAD
00001b96: DUP4
00001b97: DUP3
00001b98: ADD
00001b99: MSTORE
00001b9a: PUSH1 0x20
00001b9c: ADD
00001b9d: PUSH2 0x0864
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: POP
00001ba3: DUP3
00001ba4: DUP2
00001ba5: PUSH12 0x033b2e3c9fd0803ce8000000
00001bb2: DUP7
00001bb3: MUL
00001bb4: ADD
00001bb5: DUP2
00001bb6: PUSH2 0x1bbb
00001bb9: JUMPI
00001bba: INVALID
00001bbb: JUMPDEST
00001bbc: DIV
00001bbd: SWAP5
00001bbe: SWAP4
00001bbf: POP
00001bc0: POP
00001bc1: POP
00001bc2: POP
00001bc3: JUMP
00001bc4: JUMPDEST
00001bc5: PUSH1 0x01
00001bc7: PUSH1 0x01
00001bc9: PUSH1 0xa0
00001bcb: SHL
00001bcc: SUB
00001bcd: DUP3
00001bce: AND
00001bcf: PUSH2 0x1c1f
00001bd2: JUMPI
00001bd3: PUSH1 0x40
00001bd5: DUP1
00001bd6: MLOAD
00001bd7: PUSH3 0x461bcd
00001bdb: PUSH1 0xe5
00001bdd: SHL
00001bde: DUP2
00001bdf: MSTORE
00001be0: PUSH1 0x20
00001be2: PUSH1 0x04
00001be4: DUP3
00001be5: ADD
00001be6: MSTORE
00001be7: PUSH1 0x1f
00001be9: PUSH1 0x24
00001beb: DUP3
00001bec: ADD
00001bed: MSTORE
00001bee: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001c0f: PUSH1 0x44
00001c11: DUP3
00001c12: ADD
00001c13: MSTORE
00001c14: SWAP1
00001c15: MLOAD
00001c16: SWAP1
00001c17: DUP2
00001c18: SWAP1
00001c19: SUB
00001c1a: PUSH1 0x64
00001c1c: ADD
00001c1d: SWAP1
00001c1e: REVERT
00001c1f: JUMPDEST
00001c20: PUSH2 0x1c2b
00001c23: PUSH1 0x00
00001c25: DUP4
00001c26: DUP4
00001c27: PUSH2 0x1e0b
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: PUSH1 0x36
00001c2e: SLOAD
00001c2f: PUSH2 0x1c38
00001c32: DUP2
00001c33: DUP4
00001c34: PUSH2 0x1eb1
00001c37: JUMP
00001c38: JUMPDEST
00001c39: PUSH1 0x36
00001c3b: SSTORE
00001c3c: PUSH1 0x01
00001c3e: PUSH1 0x01
00001c40: PUSH1 0xa0
00001c42: SHL
00001c43: SUB
00001c44: DUP4
00001c45: AND
00001c46: PUSH1 0x00
00001c48: SWAP1
00001c49: DUP2
00001c4a: MSTORE
00001c4b: PUSH1 0x34
00001c4d: PUSH1 0x20
00001c4f: MSTORE
00001c50: PUSH1 0x40
00001c52: SWAP1
00001c53: KECCAK256
00001c54: SLOAD
00001c55: PUSH2 0x1c5e
00001c58: DUP2
00001c59: DUP5
00001c5a: PUSH2 0x1eb1
00001c5d: JUMP
00001c5e: JUMPDEST
00001c5f: PUSH1 0x01
00001c61: PUSH1 0x01
00001c63: PUSH1 0xa0
00001c65: SHL
00001c66: SUB
00001c67: DUP1
00001c68: DUP7
00001c69: AND
00001c6a: PUSH1 0x00
00001c6c: SWAP1
00001c6d: DUP2
00001c6e: MSTORE
00001c6f: PUSH1 0x34
00001c71: PUSH1 0x20
00001c73: MSTORE
00001c74: PUSH1 0x40
00001c76: SWAP1
00001c77: KECCAK256
00001c78: SWAP2
00001c79: SWAP1
00001c7a: SWAP2
00001c7b: SSTORE
00001c7c: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00001c9d: AND
00001c9e: ISZERO
00001c9f: PUSH2 0x1d3a
00001ca2: JUMPI
00001ca3: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00001cc4: PUSH1 0x01
00001cc6: PUSH1 0x01
00001cc8: PUSH1 0xa0
00001cca: SHL
00001ccb: SUB
00001ccc: AND
00001ccd: PUSH4 0x31873e2e
00001cd2: DUP6
00001cd3: DUP5
00001cd4: DUP5
00001cd5: PUSH1 0x40
00001cd7: MLOAD
00001cd8: DUP5
00001cd9: PUSH4 0xffffffff
00001cde: AND
00001cdf: PUSH1 0xe0
00001ce1: SHL
00001ce2: DUP2
00001ce3: MSTORE
00001ce4: PUSH1 0x04
00001ce6: ADD
00001ce7: DUP1
00001ce8: DUP5
00001ce9: PUSH1 0x01
00001ceb: PUSH1 0x01
00001ced: PUSH1 0xa0
00001cef: SHL
00001cf0: SUB
00001cf1: AND
00001cf2: DUP2
00001cf3: MSTORE
00001cf4: PUSH1 0x20
00001cf6: ADD
00001cf7: DUP4
00001cf8: DUP2
00001cf9: MSTORE
00001cfa: PUSH1 0x20
00001cfc: ADD
00001cfd: DUP3
00001cfe: DUP2
00001cff: MSTORE
00001d00: PUSH1 0x20
00001d02: ADD
00001d03: SWAP4
00001d04: POP
00001d05: POP
00001d06: POP
00001d07: POP
00001d08: PUSH1 0x00
00001d0a: PUSH1 0x40
00001d0c: MLOAD
00001d0d: DUP1
00001d0e: DUP4
00001d0f: SUB
00001d10: DUP2
00001d11: PUSH1 0x00
00001d13: DUP8
00001d14: DUP1
00001d15: EXTCODESIZE
00001d16: ISZERO
00001d17: DUP1
00001d18: ISZERO
00001d19: PUSH2 0x1d21
00001d1c: JUMPI
00001d1d: PUSH1 0x00
00001d1f: DUP1
00001d20: REVERT
00001d21: JUMPDEST
00001d22: POP
00001d23: GAS
00001d24: CALL
00001d25: ISZERO
00001d26: DUP1
00001d27: ISZERO
00001d28: PUSH2 0x1d35
00001d2b: JUMPI
00001d2c: RETURNDATASIZE
00001d2d: PUSH1 0x00
00001d2f: DUP1
00001d30: RETURNDATACOPY
00001d31: RETURNDATASIZE
00001d32: PUSH1 0x00
00001d34: REVERT
00001d35: JUMPDEST
00001d36: POP
00001d37: POP
00001d38: POP
00001d39: POP
00001d3a: JUMPDEST
00001d3b: POP
00001d3c: POP
00001d3d: POP
00001d3e: POP
00001d3f: JUMP
00001d40: JUMPDEST
00001d41: PUSH1 0x00
00001d43: DUP3
00001d44: ISZERO
00001d45: DUP1
00001d46: PUSH2 0x1d4d
00001d49: JUMPI
00001d4a: POP
00001d4b: DUP2
00001d4c: ISZERO
00001d4d: JUMPDEST
00001d4e: ISZERO
00001d4f: PUSH2 0x1d5a
00001d52: JUMPI
00001d53: POP
00001d54: PUSH1 0x00
00001d56: PUSH2 0x07ad
00001d59: JUMP
00001d5a: JUMPDEST
00001d5b: DUP2
00001d5c: PUSH12 0x019d971e4fe8401e74000000
00001d69: NOT
00001d6a: DUP2
00001d6b: PUSH2 0x1d70
00001d6e: JUMPI
00001d6f: INVALID
00001d70: JUMPDEST
00001d71: DIV
00001d72: DUP4
00001d73: GT
00001d74: ISZERO
00001d75: PUSH1 0x40
00001d77: MLOAD
00001d78: DUP1
00001d79: PUSH1 0x40
00001d7b: ADD
00001d7c: PUSH1 0x40
00001d7e: MSTORE
00001d7f: DUP1
00001d80: PUSH1 0x02
00001d82: DUP2
00001d83: MSTORE
00001d84: PUSH1 0x20
00001d86: ADD
00001d87: PUSH2 0x0687
00001d8a: PUSH1 0xf3
00001d8c: SHL
00001d8d: DUP2
00001d8e: MSTORE
00001d8f: POP
00001d90: SWAP1
00001d91: PUSH2 0x1ddb
00001d94: JUMPI
00001d95: PUSH1 0x40
00001d97: MLOAD
00001d98: PUSH3 0x461bcd
00001d9c: PUSH1 0xe5
00001d9e: SHL
00001d9f: DUP2
00001da0: MSTORE
00001da1: PUSH1 0x20
00001da3: PUSH1 0x04
00001da5: DUP3
00001da6: ADD
00001da7: DUP2
00001da8: DUP2
00001da9: MSTORE
00001daa: DUP4
00001dab: MLOAD
00001dac: PUSH1 0x24
00001dae: DUP5
00001daf: ADD
00001db0: MSTORE
00001db1: DUP4
00001db2: MLOAD
00001db3: SWAP1
00001db4: SWAP3
00001db5: DUP4
00001db6: SWAP3
00001db7: PUSH1 0x44
00001db9: SWAP1
00001dba: SWAP2
00001dbb: ADD
00001dbc: SWAP2
00001dbd: SWAP1
00001dbe: DUP6
00001dbf: ADD
00001dc0: SWAP1
00001dc1: DUP1
00001dc2: DUP4
00001dc3: DUP4
00001dc4: PUSH1 0x00
00001dc6: DUP4
00001dc7: ISZERO
00001dc8: PUSH2 0x087c
00001dcb: JUMPI
00001dcc: DUP2
00001dcd: DUP2
00001dce: ADD
00001dcf: MLOAD
00001dd0: DUP4
00001dd1: DUP3
00001dd2: ADD
00001dd3: MSTORE
00001dd4: PUSH1 0x20
00001dd6: ADD
00001dd7: PUSH2 0x0864
00001dda: JUMP
00001ddb: JUMPDEST
00001ddc: POP
00001ddd: POP
00001dde: PUSH12 0x033b2e3c9fd0803ce8000000
00001deb: SWAP2
00001dec: MUL
00001ded: PUSH12 0x019d971e4fe8401e74000000
00001dfa: ADD
00001dfb: DIV
00001dfc: SWAP1
00001dfd: JUMP
00001dfe: JUMPDEST
00001dff: PUSH2 0x1e0b
00001e02: DUP4
00001e03: DUP4
00001e04: DUP4
00001e05: PUSH1 0x01
00001e07: PUSH2 0x2008
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: POP
00001e0d: POP
00001e0e: POP
00001e0f: JUMP
00001e10: JUMPDEST
00001e11: PUSH1 0x00
00001e13: DUP2
00001e14: DUP5
00001e15: DUP5
00001e16: GT
00001e17: ISZERO
00001e18: PUSH2 0x1e62
00001e1b: JUMPI
00001e1c: PUSH1 0x40
00001e1e: MLOAD
00001e1f: PUSH3 0x461bcd
00001e23: PUSH1 0xe5
00001e25: SHL
00001e26: DUP2
00001e27: MSTORE
00001e28: PUSH1 0x20
00001e2a: PUSH1 0x04
00001e2c: DUP3
00001e2d: ADD
00001e2e: DUP2
00001e2f: DUP2
00001e30: MSTORE
00001e31: DUP4
00001e32: MLOAD
00001e33: PUSH1 0x24
00001e35: DUP5
00001e36: ADD
00001e37: MSTORE
00001e38: DUP4
00001e39: MLOAD
00001e3a: SWAP1
00001e3b: SWAP3
00001e3c: DUP4
00001e3d: SWAP3
00001e3e: PUSH1 0x44
00001e40: SWAP1
00001e41: SWAP2
00001e42: ADD
00001e43: SWAP2
00001e44: SWAP1
00001e45: DUP6
00001e46: ADD
00001e47: SWAP1
00001e48: DUP1
00001e49: DUP4
00001e4a: DUP4
00001e4b: PUSH1 0x00
00001e4d: DUP4
00001e4e: ISZERO
00001e4f: PUSH2 0x087c
00001e52: JUMPI
00001e53: DUP2
00001e54: DUP2
00001e55: ADD
00001e56: MLOAD
00001e57: DUP4
00001e58: DUP3
00001e59: ADD
00001e5a: MSTORE
00001e5b: PUSH1 0x20
00001e5d: ADD
00001e5e: PUSH2 0x0864
00001e61: JUMP
00001e62: JUMPDEST
00001e63: POP
00001e64: POP
00001e65: POP
00001e66: SWAP1
00001e67: SUB
00001e68: SWAP1
00001e69: JUMP
00001e6a: JUMPDEST
00001e6b: PUSH1 0x02
00001e6d: SWAP1
00001e6e: JUMP
00001e6f: JUMPDEST
00001e70: ADDRESS
00001e71: EXTCODESIZE
00001e72: ISZERO
00001e73: SWAP1
00001e74: JUMP
00001e75: JUMPDEST
00001e76: DUP1
00001e77: MLOAD
00001e78: PUSH2 0x12d2
00001e7b: SWAP1
00001e7c: PUSH1 0x37
00001e7e: SWAP1
00001e7f: PUSH1 0x20
00001e81: DUP5
00001e82: ADD
00001e83: SWAP1
00001e84: PUSH2 0x270c
00001e87: JUMP
00001e88: JUMPDEST
00001e89: DUP1
00001e8a: MLOAD
00001e8b: PUSH2 0x12d2
00001e8e: SWAP1
00001e8f: PUSH1 0x38
00001e91: SWAP1
00001e92: PUSH1 0x20
00001e94: DUP5
00001e95: ADD
00001e96: SWAP1
00001e97: PUSH2 0x270c
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: PUSH1 0x39
00001e9e: DUP1
00001e9f: SLOAD
00001ea0: PUSH1 0xff
00001ea2: NOT
00001ea3: AND
00001ea4: PUSH1 0xff
00001ea6: SWAP3
00001ea7: SWAP1
00001ea8: SWAP3
00001ea9: AND
00001eaa: SWAP2
00001eab: SWAP1
00001eac: SWAP2
00001ead: OR
00001eae: SWAP1
00001eaf: SSTORE
00001eb0: JUMP
00001eb1: JUMPDEST
00001eb2: PUSH1 0x00
00001eb4: DUP3
00001eb5: DUP3
00001eb6: ADD
00001eb7: DUP4
00001eb8: DUP2
00001eb9: LT
00001eba: ISZERO
00001ebb: PUSH2 0x1f0b
00001ebe: JUMPI
00001ebf: PUSH1 0x40
00001ec1: DUP1
00001ec2: MLOAD
00001ec3: PUSH3 0x461bcd
00001ec7: PUSH1 0xe5
00001ec9: SHL
00001eca: DUP2
00001ecb: MSTORE
00001ecc: PUSH1 0x20
00001ece: PUSH1 0x04
00001ed0: DUP3
00001ed1: ADD
00001ed2: MSTORE
00001ed3: PUSH1 0x1b
00001ed5: PUSH1 0x24
00001ed7: DUP3
00001ed8: ADD
00001ed9: MSTORE
00001eda: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001efb: PUSH1 0x44
00001efd: DUP3
00001efe: ADD
00001eff: MSTORE
00001f00: SWAP1
00001f01: MLOAD
00001f02: SWAP1
00001f03: DUP2
00001f04: SWAP1
00001f05: SUB
00001f06: PUSH1 0x64
00001f08: ADD
00001f09: SWAP1
00001f0a: REVERT
00001f0b: JUMPDEST
00001f0c: SWAP4
00001f0d: SWAP3
00001f0e: POP
00001f0f: POP
00001f10: POP
00001f11: JUMP
00001f12: JUMPDEST
00001f13: PUSH1 0x40
00001f15: DUP1
00001f16: MLOAD
00001f17: PUSH1 0x01
00001f19: PUSH1 0x01
00001f1b: PUSH1 0xa0
00001f1d: SHL
00001f1e: SUB
00001f1f: DUP5
00001f20: AND
00001f21: PUSH1 0x24
00001f23: DUP3
00001f24: ADD
00001f25: MSTORE
00001f26: PUSH1 0x44
00001f28: DUP1
00001f29: DUP3
00001f2a: ADD
00001f2b: DUP5
00001f2c: SWAP1
00001f2d: MSTORE
00001f2e: DUP3
00001f2f: MLOAD
00001f30: DUP1
00001f31: DUP4
00001f32: SUB
00001f33: SWAP1
00001f34: SWAP2
00001f35: ADD
00001f36: DUP2
00001f37: MSTORE
00001f38: PUSH1 0x64
00001f3a: SWAP1
00001f3b: SWAP2
00001f3c: ADD
00001f3d: SWAP1
00001f3e: SWAP2
00001f3f: MSTORE
00001f40: PUSH1 0x20
00001f42: DUP2
00001f43: ADD
00001f44: DUP1
00001f45: MLOAD
00001f46: PUSH1 0x01
00001f48: PUSH1 0x01
00001f4a: PUSH1 0xe0
00001f4c: SHL
00001f4d: SUB
00001f4e: AND
00001f4f: PUSH4 0xa9059cbb
00001f54: PUSH1 0xe0
00001f56: SHL
00001f57: OR
00001f58: SWAP1
00001f59: MSTORE
00001f5a: PUSH2 0x1e0b
00001f5d: SWAP1
00001f5e: DUP5
00001f5f: SWAP1
00001f60: PUSH2 0x2227
00001f63: JUMP
00001f64: JUMPDEST
00001f65: PUSH1 0x01
00001f67: PUSH1 0x01
00001f69: PUSH1 0xa0
00001f6b: SHL
00001f6c: SUB
00001f6d: DUP3
00001f6e: AND
00001f6f: PUSH2 0x1fa9
00001f72: JUMPI
00001f73: PUSH1 0x40
00001f75: MLOAD
00001f76: PUSH3 0x461bcd
00001f7a: PUSH1 0xe5
00001f7c: SHL
00001f7d: DUP2
00001f7e: MSTORE
00001f7f: PUSH1 0x04
00001f81: ADD
00001f82: DUP1
00001f83: DUP1
00001f84: PUSH1 0x20
00001f86: ADD
00001f87: DUP3
00001f88: DUP2
00001f89: SUB
00001f8a: DUP3
00001f8b: MSTORE
00001f8c: PUSH1 0x21
00001f8e: DUP2
00001f8f: MSTORE
00001f90: PUSH1 0x20
00001f92: ADD
00001f93: DUP1
00001f94: PUSH2 0x28a3
00001f97: PUSH1 0x21
00001f99: SWAP2
00001f9a: CODECOPY
00001f9b: PUSH1 0x40
00001f9d: ADD
00001f9e: SWAP2
00001f9f: POP
00001fa0: POP
00001fa1: PUSH1 0x40
00001fa3: MLOAD
00001fa4: DUP1
00001fa5: SWAP2
00001fa6: SUB
00001fa7: SWAP1
00001fa8: REVERT
00001fa9: JUMPDEST
00001faa: PUSH2 0x1fb5
00001fad: DUP3
00001fae: PUSH1 0x00
00001fb0: DUP4
00001fb1: PUSH2 0x1e0b
00001fb4: JUMP
00001fb5: JUMPDEST
00001fb6: PUSH1 0x36
00001fb8: SLOAD
00001fb9: PUSH2 0x1fc2
00001fbc: DUP2
00001fbd: DUP4
00001fbe: PUSH2 0x23df
00001fc1: JUMP
00001fc2: JUMPDEST
00001fc3: PUSH1 0x36
00001fc5: SSTORE
00001fc6: PUSH1 0x01
00001fc8: PUSH1 0x01
00001fca: PUSH1 0xa0
00001fcc: SHL
00001fcd: SUB
00001fce: DUP4
00001fcf: AND
00001fd0: PUSH1 0x00
00001fd2: SWAP1
00001fd3: DUP2
00001fd4: MSTORE
00001fd5: PUSH1 0x34
00001fd7: PUSH1 0x20
00001fd9: SWAP1
00001fda: DUP2
00001fdb: MSTORE
00001fdc: PUSH1 0x40
00001fde: SWAP2
00001fdf: DUP3
00001fe0: SWAP1
00001fe1: KECCAK256
00001fe2: SLOAD
00001fe3: DUP3
00001fe4: MLOAD
00001fe5: PUSH1 0x60
00001fe7: DUP2
00001fe8: ADD
00001fe9: SWAP1
00001fea: SWAP4
00001feb: MSTORE
00001fec: PUSH1 0x22
00001fee: DUP1
00001fef: DUP5
00001ff0: MSTORE
00001ff1: SWAP1
00001ff2: SWAP3
00001ff3: PUSH2 0x1c5e
00001ff6: SWAP3
00001ff7: DUP7
00001ff8: SWAP3
00001ff9: SWAP1
00001ffa: PUSH2 0x27c3
00001ffd: SWAP1
00001ffe: DUP4
00001fff: ADD
00002000: CODECOPY
00002001: DUP4
00002002: SWAP2
00002003: SWAP1
00002004: PUSH2 0x1e10
00002007: JUMP
00002008: JUMPDEST
00002009: PUSH1 0x00
0000200b: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
0000202c: PUSH1 0x01
0000202e: PUSH1 0x01
00002030: PUSH1 0xa0
00002032: SHL
00002033: SUB
00002034: AND
00002035: PUSH4 0xd15e0053
0000203a: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000205b: PUSH1 0x40
0000205d: MLOAD
0000205e: DUP3
0000205f: PUSH4 0xffffffff
00002064: AND
00002065: PUSH1 0xe0
00002067: SHL
00002068: DUP2
00002069: MSTORE
0000206a: PUSH1 0x04
0000206c: ADD
0000206d: DUP1
0000206e: DUP3
0000206f: PUSH1 0x01
00002071: PUSH1 0x01
00002073: PUSH1 0xa0
00002075: SHL
00002076: SUB
00002077: AND
00002078: DUP2
00002079: MSTORE
0000207a: PUSH1 0x20
0000207c: ADD
0000207d: SWAP2
0000207e: POP
0000207f: POP
00002080: PUSH1 0x20
00002082: PUSH1 0x40
00002084: MLOAD
00002085: DUP1
00002086: DUP4
00002087: SUB
00002088: DUP2
00002089: DUP7
0000208a: DUP1
0000208b: EXTCODESIZE
0000208c: ISZERO
0000208d: DUP1
0000208e: ISZERO
0000208f: PUSH2 0x2097
00002092: JUMPI
00002093: PUSH1 0x00
00002095: DUP1
00002096: REVERT
00002097: JUMPDEST
00002098: POP
00002099: GAS
0000209a: STATICCALL
0000209b: ISZERO
0000209c: DUP1
0000209d: ISZERO
0000209e: PUSH2 0x20ab
000020a1: JUMPI
000020a2: RETURNDATASIZE
000020a3: PUSH1 0x00
000020a5: DUP1
000020a6: RETURNDATACOPY
000020a7: RETURNDATASIZE
000020a8: PUSH1 0x00
000020aa: REVERT
000020ab: JUMPDEST
000020ac: POP
000020ad: POP
000020ae: POP
000020af: POP
000020b0: PUSH1 0x40
000020b2: MLOAD
000020b3: RETURNDATASIZE
000020b4: PUSH1 0x20
000020b6: DUP2
000020b7: LT
000020b8: ISZERO
000020b9: PUSH2 0x20c1
000020bc: JUMPI
000020bd: PUSH1 0x00
000020bf: DUP1
000020c0: REVERT
000020c1: JUMPDEST
000020c2: POP
000020c3: MLOAD
000020c4: SWAP1
000020c5: POP
000020c6: PUSH1 0x00
000020c8: PUSH2 0x20d4
000020cb: DUP3
000020cc: PUSH2 0x10d3
000020cf: DUP9
000020d0: PUSH2 0x1a9c
000020d3: JUMP
000020d4: JUMPDEST
000020d5: SWAP1
000020d6: POP
000020d7: PUSH1 0x00
000020d9: PUSH2 0x20e5
000020dc: DUP4
000020dd: PUSH2 0x10d3
000020e0: DUP9
000020e1: PUSH2 0x1a9c
000020e4: JUMP
000020e5: JUMPDEST
000020e6: SWAP1
000020e7: POP
000020e8: PUSH2 0x20fb
000020eb: DUP8
000020ec: DUP8
000020ed: PUSH2 0x20f6
000020f0: DUP9
000020f1: DUP8
000020f2: PUSH2 0x1abd
000020f5: JUMP
000020f6: JUMPDEST
000020f7: PUSH2 0x2421
000020fa: JUMP
000020fb: JUMPDEST
000020fc: DUP4
000020fd: ISZERO
000020fe: PUSH2 0x21cb
00002101: JUMPI
00002102: PUSH1 0x40
00002104: DUP1
00002105: MLOAD
00002106: PUSH4 0xd5ed3933
0000210b: PUSH1 0xe0
0000210d: SHL
0000210e: DUP2
0000210f: MSTORE
00002110: PUSH1 0x01
00002112: PUSH1 0x01
00002114: PUSH1 0xa0
00002116: SHL
00002117: SUB
00002118: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002139: DUP2
0000213a: AND
0000213b: PUSH1 0x04
0000213d: DUP4
0000213e: ADD
0000213f: MSTORE
00002140: DUP10
00002141: DUP2
00002142: AND
00002143: PUSH1 0x24
00002145: DUP4
00002146: ADD
00002147: MSTORE
00002148: DUP9
00002149: DUP2
0000214a: AND
0000214b: PUSH1 0x44
0000214d: DUP4
0000214e: ADD
0000214f: MSTORE
00002150: PUSH1 0x64
00002152: DUP3
00002153: ADD
00002154: DUP9
00002155: SWAP1
00002156: MSTORE
00002157: PUSH1 0x84
00002159: DUP3
0000215a: ADD
0000215b: DUP6
0000215c: SWAP1
0000215d: MSTORE
0000215e: PUSH1 0xa4
00002160: DUP3
00002161: ADD
00002162: DUP5
00002163: SWAP1
00002164: MSTORE
00002165: SWAP2
00002166: MLOAD
00002167: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00002188: SWAP1
00002189: SWAP3
0000218a: AND
0000218b: SWAP2
0000218c: PUSH4 0xd5ed3933
00002191: SWAP2
00002192: PUSH1 0xc4
00002194: DUP1
00002195: DUP3
00002196: ADD
00002197: SWAP3
00002198: PUSH1 0x00
0000219a: SWAP3
0000219b: SWAP1
0000219c: SWAP2
0000219d: SWAP1
0000219e: DUP3
0000219f: SWAP1
000021a0: SUB
000021a1: ADD
000021a2: DUP2
000021a3: DUP4
000021a4: DUP8
000021a5: DUP1
000021a6: EXTCODESIZE
000021a7: ISZERO
000021a8: DUP1
000021a9: ISZERO
000021aa: PUSH2 0x21b2
000021ad: JUMPI
000021ae: PUSH1 0x00
000021b0: DUP1
000021b1: REVERT
000021b2: JUMPDEST
000021b3: POP
000021b4: GAS
000021b5: CALL
000021b6: ISZERO
000021b7: DUP1
000021b8: ISZERO
000021b9: PUSH2 0x21c6
000021bc: JUMPI
000021bd: RETURNDATASIZE
000021be: PUSH1 0x00
000021c0: DUP1
000021c1: RETURNDATACOPY
000021c2: RETURNDATASIZE
000021c3: PUSH1 0x00
000021c5: REVERT
000021c6: JUMPDEST
000021c7: POP
000021c8: POP
000021c9: POP
000021ca: POP
000021cb: JUMPDEST
000021cc: DUP6
000021cd: PUSH1 0x01
000021cf: PUSH1 0x01
000021d1: PUSH1 0xa0
000021d3: SHL
000021d4: SUB
000021d5: AND
000021d6: DUP8
000021d7: PUSH1 0x01
000021d9: PUSH1 0x01
000021db: PUSH1 0xa0
000021dd: SHL
000021de: SUB
000021df: AND
000021e0: PUSH32 0x4beccb90f994c31aced7a23b5611020728a23d8ec5cddd1a3e9d97b96fda8666
00002201: DUP8
00002202: DUP7
00002203: PUSH1 0x40
00002205: MLOAD
00002206: DUP1
00002207: DUP4
00002208: DUP2
00002209: MSTORE
0000220a: PUSH1 0x20
0000220c: ADD
0000220d: DUP3
0000220e: DUP2
0000220f: MSTORE
00002210: PUSH1 0x20
00002212: ADD
00002213: SWAP3
00002214: POP
00002215: POP
00002216: POP
00002217: PUSH1 0x40
00002219: MLOAD
0000221a: DUP1
0000221b: SWAP2
0000221c: SUB
0000221d: SWAP1
0000221e: LOG3
0000221f: POP
00002220: POP
00002221: POP
00002222: POP
00002223: POP
00002224: POP
00002225: POP
00002226: JUMP
00002227: JUMPDEST
00002228: PUSH2 0x2239
0000222b: DUP3
0000222c: PUSH1 0x01
0000222e: PUSH1 0x01
00002230: PUSH1 0xa0
00002232: SHL
00002233: SUB
00002234: AND
00002235: PUSH2 0x26d0
00002238: JUMP
00002239: JUMPDEST
0000223a: PUSH2 0x228a
0000223d: JUMPI
0000223e: PUSH1 0x40
00002240: DUP1
00002241: MLOAD
00002242: PUSH3 0x461bcd
00002246: PUSH1 0xe5
00002248: SHL
00002249: DUP2
0000224a: MSTORE
0000224b: PUSH1 0x20
0000224d: PUSH1 0x04
0000224f: DUP3
00002250: ADD
00002251: MSTORE
00002252: PUSH1 0x1f
00002254: PUSH1 0x24
00002256: DUP3
00002257: ADD
00002258: MSTORE
00002259: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
0000227a: PUSH1 0x44
0000227c: DUP3
0000227d: ADD
0000227e: MSTORE
0000227f: SWAP1
00002280: MLOAD
00002281: SWAP1
00002282: DUP2
00002283: SWAP1
00002284: SUB
00002285: PUSH1 0x64
00002287: ADD
00002288: SWAP1
00002289: REVERT
0000228a: JUMPDEST
0000228b: PUSH1 0x00
0000228d: PUSH1 0x60
0000228f: DUP4
00002290: PUSH1 0x01
00002292: PUSH1 0x01
00002294: PUSH1 0xa0
00002296: SHL
00002297: SUB
00002298: AND
00002299: DUP4
0000229a: PUSH1 0x40
0000229c: MLOAD
0000229d: DUP1
0000229e: DUP3
0000229f: DUP1
000022a0: MLOAD
000022a1: SWAP1
000022a2: PUSH1 0x20
000022a4: ADD
000022a5: SWAP1
000022a6: DUP1
000022a7: DUP4
000022a8: DUP4
000022a9: JUMPDEST
000022aa: PUSH1 0x20
000022ac: DUP4
000022ad: LT
000022ae: PUSH2 0x22c8
000022b1: JUMPI
000022b2: DUP1
000022b3: MLOAD
000022b4: DUP3
000022b5: MSTORE
000022b6: PUSH1 0x1f
000022b8: NOT
000022b9: SWAP1
000022ba: SWAP3
000022bb: ADD
000022bc: SWAP2
000022bd: PUSH1 0x20
000022bf: SWAP2
000022c0: DUP3
000022c1: ADD
000022c2: SWAP2
000022c3: ADD
000022c4: PUSH2 0x22a9
000022c7: JUMP
000022c8: JUMPDEST
000022c9: PUSH1 0x01
000022cb: DUP4
000022cc: PUSH1 0x20
000022ce: SUB
000022cf: PUSH2 0x0100
000022d2: EXP
000022d3: SUB
000022d4: DUP1
000022d5: NOT
000022d6: DUP3
000022d7: MLOAD
000022d8: AND
000022d9: DUP2
000022da: DUP5
000022db: MLOAD
000022dc: AND
000022dd: DUP1
000022de: DUP3
000022df: OR
000022e0: DUP6
000022e1: MSTORE
000022e2: POP
000022e3: POP
000022e4: POP
000022e5: POP
000022e6: POP
000022e7: POP
000022e8: SWAP1
000022e9: POP
000022ea: ADD
000022eb: SWAP2
000022ec: POP
000022ed: POP
000022ee: PUSH1 0x00
000022f0: PUSH1 0x40
000022f2: MLOAD
000022f3: DUP1
000022f4: DUP4
000022f5: SUB
000022f6: DUP2
000022f7: PUSH1 0x00
000022f9: DUP7
000022fa: GAS
000022fb: CALL
000022fc: SWAP2
000022fd: POP
000022fe: POP
000022ff: RETURNDATASIZE
00002300: DUP1
00002301: PUSH1 0x00
00002303: DUP2
00002304: EQ
00002305: PUSH2 0x232a
00002308: JUMPI
00002309: PUSH1 0x40
0000230b: MLOAD
0000230c: SWAP2
0000230d: POP
0000230e: PUSH1 0x1f
00002310: NOT
00002311: PUSH1 0x3f
00002313: RETURNDATASIZE
00002314: ADD
00002315: AND
00002316: DUP3
00002317: ADD
00002318: PUSH1 0x40
0000231a: MSTORE
0000231b: RETURNDATASIZE
0000231c: DUP3
0000231d: MSTORE
0000231e: RETURNDATASIZE
0000231f: PUSH1 0x00
00002321: PUSH1 0x20
00002323: DUP5
00002324: ADD
00002325: RETURNDATACOPY
00002326: PUSH2 0x232f
00002329: JUMP
0000232a: JUMPDEST
0000232b: PUSH1 0x60
0000232d: SWAP2
0000232e: POP
0000232f: JUMPDEST
00002330: POP
00002331: SWAP2
00002332: POP
00002333: SWAP2
00002334: POP
00002335: DUP2
00002336: PUSH2 0x2386
00002339: JUMPI
0000233a: PUSH1 0x40
0000233c: DUP1
0000233d: MLOAD
0000233e: PUSH3 0x461bcd
00002342: PUSH1 0xe5
00002344: SHL
00002345: DUP2
00002346: MSTORE
00002347: PUSH1 0x20
00002349: PUSH1 0x04
0000234b: DUP3
0000234c: ADD
0000234d: DUP2
0000234e: SWAP1
0000234f: MSTORE
00002350: PUSH1 0x24
00002352: DUP3
00002353: ADD
00002354: MSTORE
00002355: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002376: PUSH1 0x44
00002378: DUP3
00002379: ADD
0000237a: MSTORE
0000237b: SWAP1
0000237c: MLOAD
0000237d: SWAP1
0000237e: DUP2
0000237f: SWAP1
00002380: SUB
00002381: PUSH1 0x64
00002383: ADD
00002384: SWAP1
00002385: REVERT
00002386: JUMPDEST
00002387: DUP1
00002388: MLOAD
00002389: ISZERO
0000238a: PUSH2 0x1d3a
0000238d: JUMPI
0000238e: DUP1
0000238f: DUP1
00002390: PUSH1 0x20
00002392: ADD
00002393: SWAP1
00002394: MLOAD
00002395: PUSH1 0x20
00002397: DUP2
00002398: LT
00002399: ISZERO
0000239a: PUSH2 0x23a2
0000239d: JUMPI
0000239e: PUSH1 0x00
000023a0: DUP1
000023a1: REVERT
000023a2: JUMPDEST
000023a3: POP
000023a4: MLOAD
000023a5: PUSH2 0x1d3a
000023a8: JUMPI
000023a9: PUSH1 0x40
000023ab: MLOAD
000023ac: PUSH3 0x461bcd
000023b0: PUSH1 0xe5
000023b2: SHL
000023b3: DUP2
000023b4: MSTORE
000023b5: PUSH1 0x04
000023b7: ADD
000023b8: DUP1
000023b9: DUP1
000023ba: PUSH1 0x20
000023bc: ADD
000023bd: DUP3
000023be: DUP2
000023bf: SUB
000023c0: DUP3
000023c1: MSTORE
000023c2: PUSH1 0x2a
000023c4: DUP2
000023c5: MSTORE
000023c6: PUSH1 0x20
000023c8: ADD
000023c9: DUP1
000023ca: PUSH2 0x290d
000023cd: PUSH1 0x2a
000023cf: SWAP2
000023d0: CODECOPY
000023d1: PUSH1 0x40
000023d3: ADD
000023d4: SWAP2
000023d5: POP
000023d6: POP
000023d7: PUSH1 0x40
000023d9: MLOAD
000023da: DUP1
000023db: SWAP2
000023dc: SUB
000023dd: SWAP1
000023de: REVERT
000023df: JUMPDEST
000023e0: PUSH1 0x00
000023e2: PUSH2 0x1f0b
000023e5: DUP4
000023e6: DUP4
000023e7: PUSH1 0x40
000023e9: MLOAD
000023ea: DUP1
000023eb: PUSH1 0x40
000023ed: ADD
000023ee: PUSH1 0x40
000023f0: MSTORE
000023f1: DUP1
000023f2: PUSH1 0x1e
000023f4: DUP2
000023f5: MSTORE
000023f6: PUSH1 0x20
000023f8: ADD
000023f9: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000241a: DUP2
0000241b: MSTORE
0000241c: POP
0000241d: PUSH2 0x1e10
00002420: JUMP
00002421: JUMPDEST
00002422: PUSH1 0x01
00002424: PUSH1 0x01
00002426: PUSH1 0xa0
00002428: SHL
00002429: SUB
0000242a: DUP4
0000242b: AND
0000242c: PUSH2 0x2466
0000242f: JUMPI
00002430: PUSH1 0x40
00002432: MLOAD
00002433: PUSH3 0x461bcd
00002437: PUSH1 0xe5
00002439: SHL
0000243a: DUP2
0000243b: MSTORE
0000243c: PUSH1 0x04
0000243e: ADD
0000243f: DUP1
00002440: DUP1
00002441: PUSH1 0x20
00002443: ADD
00002444: DUP3
00002445: DUP2
00002446: SUB
00002447: DUP3
00002448: MSTORE
00002449: PUSH1 0x25
0000244b: DUP2
0000244c: MSTORE
0000244d: PUSH1 0x20
0000244f: ADD
00002450: DUP1
00002451: PUSH2 0x28c4
00002454: PUSH1 0x25
00002456: SWAP2
00002457: CODECOPY
00002458: PUSH1 0x40
0000245a: ADD
0000245b: SWAP2
0000245c: POP
0000245d: POP
0000245e: PUSH1 0x40
00002460: MLOAD
00002461: DUP1
00002462: SWAP2
00002463: SUB
00002464: SWAP1
00002465: REVERT
00002466: JUMPDEST
00002467: PUSH1 0x01
00002469: PUSH1 0x01
0000246b: PUSH1 0xa0
0000246d: SHL
0000246e: SUB
0000246f: DUP3
00002470: AND
00002471: PUSH2 0x24ab
00002474: JUMPI
00002475: PUSH1 0x40
00002477: MLOAD
00002478: PUSH3 0x461bcd
0000247c: PUSH1 0xe5
0000247e: SHL
0000247f: DUP2
00002480: MSTORE
00002481: PUSH1 0x04
00002483: ADD
00002484: DUP1
00002485: DUP1
00002486: PUSH1 0x20
00002488: ADD
00002489: DUP3
0000248a: DUP2
0000248b: SUB
0000248c: DUP3
0000248d: MSTORE
0000248e: PUSH1 0x23
00002490: DUP2
00002491: MSTORE
00002492: PUSH1 0x20
00002494: ADD
00002495: DUP1
00002496: PUSH2 0x27a0
00002499: PUSH1 0x23
0000249b: SWAP2
0000249c: CODECOPY
0000249d: PUSH1 0x40
0000249f: ADD
000024a0: SWAP2
000024a1: POP
000024a2: POP
000024a3: PUSH1 0x40
000024a5: MLOAD
000024a6: DUP1
000024a7: SWAP2
000024a8: SUB
000024a9: SWAP1
000024aa: REVERT
000024ab: JUMPDEST
000024ac: PUSH2 0x24b6
000024af: DUP4
000024b0: DUP4
000024b1: DUP4
000024b2: PUSH2 0x1e0b
000024b5: JUMP
000024b6: JUMPDEST
000024b7: PUSH1 0x00
000024b9: PUSH1 0x34
000024bb: PUSH1 0x00
000024bd: DUP6
000024be: PUSH1 0x01
000024c0: PUSH1 0x01
000024c2: PUSH1 0xa0
000024c4: SHL
000024c5: SUB
000024c6: AND
000024c7: PUSH1 0x01
000024c9: PUSH1 0x01
000024cb: PUSH1 0xa0
000024cd: SHL
000024ce: SUB
000024cf: AND
000024d0: DUP2
000024d1: MSTORE
000024d2: PUSH1 0x20
000024d4: ADD
000024d5: SWAP1
000024d6: DUP2
000024d7: MSTORE
000024d8: PUSH1 0x20
000024da: ADD
000024db: PUSH1 0x00
000024dd: KECCAK256
000024de: SLOAD
000024df: SWAP1
000024e0: POP
000024e1: PUSH2 0x2505
000024e4: DUP3
000024e5: PUSH1 0x40
000024e7: MLOAD
000024e8: DUP1
000024e9: PUSH1 0x60
000024eb: ADD
000024ec: PUSH1 0x40
000024ee: MSTORE
000024ef: DUP1
000024f0: PUSH1 0x26
000024f2: DUP2
000024f3: MSTORE
000024f4: PUSH1 0x20
000024f6: ADD
000024f7: PUSH2 0x2807
000024fa: PUSH1 0x26
000024fc: SWAP2
000024fd: CODECOPY
000024fe: DUP4
000024ff: SWAP2
00002500: SWAP1
00002501: PUSH2 0x1e10
00002504: JUMP
00002505: JUMPDEST
00002506: PUSH1 0x01
00002508: PUSH1 0x01
0000250a: PUSH1 0xa0
0000250c: SHL
0000250d: SUB
0000250e: DUP1
0000250f: DUP7
00002510: AND
00002511: PUSH1 0x00
00002513: SWAP1
00002514: DUP2
00002515: MSTORE
00002516: PUSH1 0x34
00002518: PUSH1 0x20
0000251a: MSTORE
0000251b: PUSH1 0x40
0000251d: DUP1
0000251e: DUP3
0000251f: KECCAK256
00002520: SWAP4
00002521: SWAP1
00002522: SWAP4
00002523: SSTORE
00002524: SWAP1
00002525: DUP6
00002526: AND
00002527: DUP2
00002528: MSTORE
00002529: KECCAK256
0000252a: SLOAD
0000252b: PUSH2 0x2534
0000252e: DUP2
0000252f: DUP5
00002530: PUSH2 0x1eb1
00002533: JUMP
00002534: JUMPDEST
00002535: PUSH1 0x01
00002537: PUSH1 0x01
00002539: PUSH1 0xa0
0000253b: SHL
0000253c: SUB
0000253d: DUP1
0000253e: DUP7
0000253f: AND
00002540: PUSH1 0x00
00002542: SWAP1
00002543: DUP2
00002544: MSTORE
00002545: PUSH1 0x34
00002547: PUSH1 0x20
00002549: MSTORE
0000254a: PUSH1 0x40
0000254c: SWAP1
0000254d: KECCAK256
0000254e: SWAP2
0000254f: SWAP1
00002550: SWAP2
00002551: SSTORE
00002552: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00002573: AND
00002574: ISZERO
00002575: PUSH2 0x26c9
00002578: JUMPI
00002579: PUSH1 0x00
0000257b: PUSH1 0x36
0000257d: SLOAD
0000257e: SWAP1
0000257f: POP
00002580: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
000025a1: PUSH1 0x01
000025a3: PUSH1 0x01
000025a5: PUSH1 0xa0
000025a7: SHL
000025a8: SUB
000025a9: AND
000025aa: PUSH4 0x31873e2e
000025af: DUP8
000025b0: DUP4
000025b1: DUP7
000025b2: PUSH1 0x40
000025b4: MLOAD
000025b5: DUP5
000025b6: PUSH4 0xffffffff
000025bb: AND
000025bc: PUSH1 0xe0
000025be: SHL
000025bf: DUP2
000025c0: MSTORE
000025c1: PUSH1 0x04
000025c3: ADD
000025c4: DUP1
000025c5: DUP5
000025c6: PUSH1 0x01
000025c8: PUSH1 0x01
000025ca: PUSH1 0xa0
000025cc: SHL
000025cd: SUB
000025ce: AND
000025cf: DUP2
000025d0: MSTORE
000025d1: PUSH1 0x20
000025d3: ADD
000025d4: DUP4
000025d5: DUP2
000025d6: MSTORE
000025d7: PUSH1 0x20
000025d9: ADD
000025da: DUP3
000025db: DUP2
000025dc: MSTORE
000025dd: PUSH1 0x20
000025df: ADD
000025e0: SWAP4
000025e1: POP
000025e2: POP
000025e3: POP
000025e4: POP
000025e5: PUSH1 0x00
000025e7: PUSH1 0x40
000025e9: MLOAD
000025ea: DUP1
000025eb: DUP4
000025ec: SUB
000025ed: DUP2
000025ee: PUSH1 0x00
000025f0: DUP8
000025f1: DUP1
000025f2: EXTCODESIZE
000025f3: ISZERO
000025f4: DUP1
000025f5: ISZERO
000025f6: PUSH2 0x25fe
000025f9: JUMPI
000025fa: PUSH1 0x00
000025fc: DUP1
000025fd: REVERT
000025fe: JUMPDEST
000025ff: POP
00002600: GAS
00002601: CALL
00002602: ISZERO
00002603: DUP1
00002604: ISZERO
00002605: PUSH2 0x2612
00002608: JUMPI
00002609: RETURNDATASIZE
0000260a: PUSH1 0x00
0000260c: DUP1
0000260d: RETURNDATACOPY
0000260e: RETURNDATASIZE
0000260f: PUSH1 0x00
00002611: REVERT
00002612: JUMPDEST
00002613: POP
00002614: POP
00002615: POP
00002616: POP
00002617: DUP5
00002618: PUSH1 0x01
0000261a: PUSH1 0x01
0000261c: PUSH1 0xa0
0000261e: SHL
0000261f: SUB
00002620: AND
00002621: DUP7
00002622: PUSH1 0x01
00002624: PUSH1 0x01
00002626: PUSH1 0xa0
00002628: SHL
00002629: SUB
0000262a: AND
0000262b: EQ
0000262c: PUSH2 0x26c7
0000262f: JUMPI
00002630: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00002651: PUSH1 0x01
00002653: PUSH1 0x01
00002655: PUSH1 0xa0
00002657: SHL
00002658: SUB
00002659: AND
0000265a: PUSH4 0x31873e2e
0000265f: DUP7
00002660: DUP4
00002661: DUP6
00002662: PUSH1 0x40
00002664: MLOAD
00002665: DUP5
00002666: PUSH4 0xffffffff
0000266b: AND
0000266c: PUSH1 0xe0
0000266e: SHL
0000266f: DUP2
00002670: MSTORE
00002671: PUSH1 0x04
00002673: ADD
00002674: DUP1
00002675: DUP5
00002676: PUSH1 0x01
00002678: PUSH1 0x01
0000267a: PUSH1 0xa0
0000267c: SHL
0000267d: SUB
0000267e: AND
0000267f: DUP2
00002680: MSTORE
00002681: PUSH1 0x20
00002683: ADD
00002684: DUP4
00002685: DUP2
00002686: MSTORE
00002687: PUSH1 0x20
00002689: ADD
0000268a: DUP3
0000268b: DUP2
0000268c: MSTORE
0000268d: PUSH1 0x20
0000268f: ADD
00002690: SWAP4
00002691: POP
00002692: POP
00002693: POP
00002694: POP
00002695: PUSH1 0x00
00002697: PUSH1 0x40
00002699: MLOAD
0000269a: DUP1
0000269b: DUP4
0000269c: SUB
0000269d: DUP2
0000269e: PUSH1 0x00
000026a0: DUP8
000026a1: DUP1
000026a2: EXTCODESIZE
000026a3: ISZERO
000026a4: DUP1
000026a5: ISZERO
000026a6: PUSH2 0x26ae
000026a9: JUMPI
000026aa: PUSH1 0x00
000026ac: DUP1
000026ad: REVERT
000026ae: JUMPDEST
000026af: POP
000026b0: GAS
000026b1: CALL
000026b2: ISZERO
000026b3: DUP1
000026b4: ISZERO
000026b5: PUSH2 0x26c2
000026b8: JUMPI
000026b9: RETURNDATASIZE
000026ba: PUSH1 0x00
000026bc: DUP1
000026bd: RETURNDATACOPY
000026be: RETURNDATASIZE
000026bf: PUSH1 0x00
000026c1: REVERT
000026c2: JUMPDEST
000026c3: POP
000026c4: POP
000026c5: POP
000026c6: POP
000026c7: JUMPDEST
000026c8: POP
000026c9: JUMPDEST
000026ca: POP
000026cb: POP
000026cc: POP
000026cd: POP
000026ce: POP
000026cf: JUMP
000026d0: JUMPDEST
000026d1: PUSH1 0x00
000026d3: DUP2
000026d4: EXTCODEHASH
000026d5: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
000026f6: DUP2
000026f7: DUP2
000026f8: EQ
000026f9: DUP1
000026fa: ISZERO
000026fb: SWAP1
000026fc: PUSH2 0x2704
000026ff: JUMPI
00002700: POP
00002701: DUP2
00002702: ISZERO
00002703: ISZERO
00002704: JUMPDEST
00002705: SWAP5
00002706: SWAP4
00002707: POP
00002708: POP
00002709: POP
0000270a: POP
0000270b: JUMP
0000270c: JUMPDEST
0000270d: DUP3
0000270e: DUP1
0000270f: SLOAD
00002710: PUSH1 0x01
00002712: DUP2
00002713: PUSH1 0x01
00002715: AND
00002716: ISZERO
00002717: PUSH2 0x0100
0000271a: MUL
0000271b: SUB
0000271c: AND
0000271d: PUSH1 0x02
0000271f: SWAP1
00002720: DIV
00002721: SWAP1
00002722: PUSH1 0x00
00002724: MSTORE
00002725: PUSH1 0x20
00002727: PUSH1 0x00
00002729: KECCAK256
0000272a: SWAP1
0000272b: PUSH1 0x1f
0000272d: ADD
0000272e: PUSH1 0x20
00002730: SWAP1
00002731: DIV
00002732: DUP2
00002733: ADD
00002734: SWAP3
00002735: DUP3
00002736: PUSH1 0x1f
00002738: LT
00002739: PUSH2 0x274d
0000273c: JUMPI
0000273d: DUP1
0000273e: MLOAD
0000273f: PUSH1 0xff
00002741: NOT
00002742: AND
00002743: DUP4
00002744: DUP1
00002745: ADD
00002746: OR
00002747: DUP6
00002748: SSTORE
00002749: PUSH2 0x277a
0000274c: JUMP
0000274d: JUMPDEST
0000274e: DUP3
0000274f: DUP1
00002750: ADD
00002751: PUSH1 0x01
00002753: ADD
00002754: DUP6
00002755: SSTORE
00002756: DUP3
00002757: ISZERO
00002758: PUSH2 0x277a
0000275b: JUMPI
0000275c: SWAP2
0000275d: DUP3
0000275e: ADD
0000275f: JUMPDEST
00002760: DUP3
00002761: DUP2
00002762: GT
00002763: ISZERO
00002764: PUSH2 0x277a
00002767: JUMPI
00002768: DUP3
00002769: MLOAD
0000276a: DUP3
0000276b: SSTORE
0000276c: SWAP2
0000276d: PUSH1 0x20
0000276f: ADD
00002770: SWAP2
00002771: SWAP1
00002772: PUSH1 0x01
00002774: ADD
00002775: SWAP1
00002776: PUSH2 0x275f
00002779: JUMP
0000277a: JUMPDEST
0000277b: POP
0000277c: PUSH2 0x2786
0000277f: SWAP3
00002780: SWAP2
00002781: POP
00002782: PUSH2 0x278a
00002785: JUMP
00002786: JUMPDEST
00002787: POP
00002788: SWAP1
00002789: JUMP
0000278a: JUMPDEST
0000278b: JUMPDEST
0000278c: DUP1
0000278d: DUP3
0000278e: GT
0000278f: ISZERO
00002790: PUSH2 0x2786
00002793: JUMPI
00002794: PUSH1 0x00
00002796: DUP2
00002797: SSTORE
00002798: PUSH1 0x01
0000279a: ADD
0000279b: PUSH2 0x278b
0000279e: JUMP
0000279f: INVALID
000027a0: GASLIMIT
000027a1: MSTORE
000027a2: NUMBER
000027a3: ORIGIN
000027a4: ADDRESS
000027a5: GASPRICE
000027a6: KECCAK256
000027a7: PUSH21 0x72616e7366657220746f20746865207a65726f2061
000027bd: PUSH5 0x6472657373
000027c3: GASLIMIT
000027c4: MSTORE
000027c5: NUMBER
000027c6: ORIGIN
000027c7: ADDRESS
000027c8: GASPRICE
000027c9: KECCAK256
000027ca: PUSH3 0x75726e
000027ce: KECCAK256
000027cf: PUSH2 0x6d6f
000027d2: PUSH22 0x6e7420657863656564732062616c616e636545524332
000027e9: ADDRESS
000027ea: GASPRICE
000027eb: KECCAK256
000027ec: PUSH2 0x7070
000027ef: PUSH19 0x6f766520746f20746865207a65726f20616464
00002803: PUSH19 0x65737345524332303a207472616e7366657220
00002817: PUSH2 0x6d6f
0000281a: PUSH22 0x6e7420657863656564732062616c616e636545524332
00002831: ADDRESS
00002832: GASPRICE
00002833: KECCAK256
00002834: PUSH21 0x72616e7366657220616d6f756e7420657863656564
0000284a: PUSH20 0x20616c6c6f77616e6365436f6e74726163742069
0000285f: PUSH15 0x7374616e63652068617320616c7265
0000286f: PUSH2 0x6479
00002872: KECCAK256
00002873: PUSH3 0x65656e
00002877: KECCAK256
00002878: PUSH10 0x6e697469616c697a6564
00002883: UNKNOWN(0xDD)
00002884: CALLCODE
00002885: MSTORE
00002886: UNKNOWN(0xAD)
00002887: SHL
00002888: UNKNOWN(0xE2)
00002889: UNKNOWN(0xC8)
0000288a: SWAP12
0000288b: PUSH10 0xc2b068fc378daa952ba7
00002896: CALL
00002897: PUSH4 0xc4a11628
0000289c: CREATE2
0000289d: GAS
0000289e: UNKNOWN(0x4D)
0000289f: CREATE2
000028a0: UNKNOWN(0x23)
000028a1: UNKNOWN(0xB3)
000028a2: UNKNOWN(0xEF)
000028a3: GASLIMIT
000028a4: MSTORE
000028a5: NUMBER
000028a6: ORIGIN
000028a7: ADDRESS
000028a8: GASPRICE
000028a9: KECCAK256
000028aa: PUSH3 0x75726e
000028ae: KECCAK256
000028af: PUSH7 0x726f6d20746865
000028b7: KECCAK256
000028b8: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220
000028d4: PUSH7 0x726f6d20746865
000028dc: KECCAK256
000028dd: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
000028f9: PUSH19 0x6f6d20746865207a65726f2061646472657373
0000290d: MSTORE8
0000290e: PUSH2 0x6665
00002911: GASLIMIT
00002912: MSTORE
00002913: NUMBER
00002914: ORIGIN
00002915: ADDRESS
00002916: GASPRICE
00002917: KECCAK256
00002918: GASLIMIT
00002919: MSTORE
0000291a: NUMBER
0000291b: ORIGIN
0000291c: ADDRESS
0000291d: KECCAK256
0000291e: PUSH16 0x7065726174696f6e20646964206e6f74
0000292f: KECCAK256
00002930: PUSH20 0x75636365656445524332303a2064656372656173
00002945: PUSH6 0x6420616c6c6f
0000294c: PUSH24 0x616e63652062656c6f77207a65726fa26469706673582212
00002965: KECCAK256
00002966: DUP3
00002967: UNKNOWN(0xEE)
00002968: PUSH20 0xf8ef50977af6c4fd7bba5603725469e291a9a6f2
0000297d: UNKNOWN(0xBF)
0000297e: GASPRICE
0000297f: SUB
00002980: MULMOD
00002981: UNKNOWN(0xBF)
00002982: CREATE
00002983: ADD
00002984: JUMP
00002985: MUL
00002986: PUSH5 0x736f6c6343
0000298c: STOP
0000298d: MOD
0000298e: UNKNOWN(0x0C)
0000298f: STOP
00002990: CALLER