Analysis Run

[codex:538311] OpenAI Codex v0.77.0 (research preview)
[codex:538311] --------
[codex:538311] workdir: /tmp/codex-multi-ibp2so4s
[codex:538311] model: gpt-5.2-codex
[codex:538311] provider: openai
[codex:538311] approval: never
[codex:538311] sandbox: read-only
[codex:538311] reasoning effort: xhigh
[codex:538311] reasoning summaries: auto
[codex:538311] session id: 019b682b-f119-7f30-9e50-64764bb6b02b
[codex:538311] --------
[codex:538311] user
[codex:538311] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:538311] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:538311] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:538311] 
[codex:538311] Scope rules:
[codex:538311] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:538311] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:538311] 
[codex:538311] Output MUST be valid JSON matching the provided schema.
[codex:538311] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:538311] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:538311] 
[codex:538311] Output constraints (IMPORTANT):
[codex:538311] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:538311] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:538311] mcp startup: no servers
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Preparing to audit by locating skill bundles**
[codex:538311] exec
[codex:538311] /bin/bash -lc ls in /tmp/codex-multi-ibp2so4s succeeded in 5ms:
[codex:538311] AUDIT_BUNDLE.txt
[codex:538311] codex-output-schema.json
[codex:538311] contracts
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Checking for relevant skill instructions**
[codex:538311] exec
[codex:538311] /bin/bash -lc 'wc -l AUDIT_BUNDLE.txt' in /tmp/codex-multi-ibp2so4s succeeded in 5ms:
[codex:538311] 2182 AUDIT_BUNDLE.txt
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Planning audit bundle processing**
[codex:538311] Plan update
[codex:538311] Plan to audit the full bundled contracts then assess key risk areas before writing findings.
[codex:538311]   → Read AUDIT_BUNDLE.txt fully and identify all first-party contracts and key logic paths
[codex:538311]   • Analyze for vulnerabilities in focus areas (reentrancy, access control, upgradeability, signatures, oracle, accounting, external calls)
[codex:538311]   • Draft JSON findings with locations and severity
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Reading AUDIT_BUNDLE in chunks**
[codex:538311] exec
[codex:538311] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ibp2so4s succeeded in 6ms:
[codex:538311] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:538311] 
[codex:538311] ================================================================================
[codex:538311] FILE: contracts/contracts/dependencies/openzeppelin/contracts/Address.sol
[codex:538311] ================================================================================
[codex:538311] // SPDX-License-Identifier: agpl-3.0
[codex:538311] pragma solidity 0.6.12;
[codex:538311] 
[codex:538311] /**
[codex:538311]  * @dev Collection of functions related to the address type
[codex:538311]  */
[codex:538311] library Address {
[codex:538311]   /**
[codex:538311]    * @dev Returns true if `account` is a contract.
[codex:538311]    *
[codex:538311]    * [IMPORTANT]
[codex:538311]    * ====
[codex:538311]    * It is unsafe to assume that an address for which this function returns
[codex:538311]    * false is an externally-owned account (EOA) and not a contract.
[codex:538311]    *
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Examining audit bundle contents**
[codex:538311] exec
[codex:538311] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ibp2so4s succeeded in 5ms:
[codex:538311] pragma solidity 0.6.12;
[codex:538311] 
[codex:538311] import {IERC20} from './IERC20.sol';
[codex:538311] import {SafeMath} from './SafeMath.sol';
[codex:538311] import {Address} from './Address.sol';
[codex:538311] 
[codex:538311] /**
[codex:538311]  * @title SafeERC20
[codex:538311]  * @dev Wrappers around ERC20 operations that throw on failure (when the token
[codex:538311]  * contract returns false). Tokens that return no value (and instead revert or
[codex:538311]  * throw on failure) are also supported, non-reverting calls are assumed to be
[codex:538311]  * successful.
[codex:538311]  * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
[codex:538311]  * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
[codex:538311]  */
[codex:538311] library SafeERC20 {
[codex:538311]   using SafeMath for uint256;
[codex:538311]   using Address for address;
[codex:538311] 
[codex:538311]   function safeTransfer(
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Continuing exploration**
[codex:538311] exec
[codex:538311] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ibp2so4s succeeded in 5ms:
[codex:538311]    * invalid opcode to revert (consuming all remaining gas).
[codex:538311]    *
[codex:538311]    * Requirements:
[codex:538311]    * - The divisor cannot be zero.
[codex:538311]    */
[codex:538311]   function mod(uint256 a, uint256 b) internal pure returns (uint256) {
[codex:538311]     return mod(a, b, 'SafeMath: modulo by zero');
[codex:538311]   }
[codex:538311] 
[codex:538311]   /**
[codex:538311]    * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
[codex:538311]    * Reverts with custom message when dividing by zero.
[codex:538311]    *
[codex:538311]    * Counterpart to Solidity's `%` operator. This function uses a `revert`
[codex:538311]    * opcode (which leaves remaining gas untouched) while Solidity uses an
[codex:538311]    * invalid opcode to revert (consuming all remaining gas).
[codex:538311]    *
[codex:538311]    * Requirements:
[codex:538311]    * - The divisor cannot be zero.
[codex:538311]    */
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Scanning large contract file in chunks**
[codex:538311] exec
[codex:538311] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ibp2so4s succeeded in 7ms:
[codex:538311]   /**
[codex:538311]    * @dev Withdraws an `amount` of underlying asset from the reserve, burning the equivalent aTokens owned
[codex:538311]    * E.g. User has 100 aUSDC, calls withdraw() and receives 100 USDC, burning the 100 aUSDC
[codex:538311]    * @param asset The address of the underlying asset to withdraw
[codex:538311]    * @param amount The underlying amount to be withdrawn
[codex:538311]    *   - Send the value type(uint256).max in order to withdraw the whole aToken balance
[codex:538311]    * @param to Address that will receive the underlying, same as msg.sender if the user
[codex:538311]    *   wants to receive it on his own wallet, or a different address if the beneficiary is a
[codex:538311]    *   different wallet
[codex:538311]    * @return The final amount withdrawn
[codex:538311]    **/
[codex:538311]   function withdraw(
[codex:538311]     address asset,
[codex:538311]     uint256 amount,
[codex:538311]     address to
[codex:538311]   ) external returns (uint256);
[codex:538311] 
[codex:538311]   /**
[codex:538311]    * @dev Allows users to borrow a specific `amount` of the reserve underlying asset, provided that the borrower
[codex:538311]    * already deposited enough collateral, or he was given enough allowance by a credit delegator on the
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Continuing exploration**
[codex:538311] exec
[codex:538311] /bin/bash -lc "sed -n '1200,1600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ibp2so4s succeeded in 6ms:
[codex:538311] FILE: contracts/contracts/protocol/libraries/helpers/Errors.sol
[codex:538311] ================================================================================
[codex:538311] // SPDX-License-Identifier: agpl-3.0
[codex:538311] pragma solidity 0.6.12;
[codex:538311] 
[codex:538311] /**
[codex:538311]  * @title Errors library
[codex:538311]  * @author Aave
[codex:538311]  * @notice Defines the error messages emitted by the different contracts of the Aave protocol
[codex:538311]  * @dev Error messages prefix glossary:
[codex:538311]  *  - VL = ValidationLogic
[codex:538311]  *  - MATH = Math libraries
[codex:538311]  *  - CT = Common errors between tokens (AToken, VariableDebtToken and StableDebtToken)
[codex:538311]  *  - AT = AToken
[codex:538311]  *  - SDT = StableDebtToken
[codex:538311]  *  - VDT = VariableDebtToken
[codex:538311]  *  - LP = LendingPool
[codex:538311]  *  - LPAPR = LendingPoolAddressesProviderRegistry
[codex:538311]  *  - LPC = LendingPoolConfiguration
[codex:538311]  *  - RL = ReserveLogic
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Continuing reading**
[codex:538311] exec
[codex:538311] /bin/bash -lc "sed -n '1600,2000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ibp2so4s succeeded in 6ms:
[codex:538311]         keccak256(bytes(aTokenName)),
[codex:538311]         keccak256(EIP712_REVISION),
[codex:538311]         chainId,
[codex:538311]         address(this)
[codex:538311]       )
[codex:538311]     );
[codex:538311] 
[codex:538311]     _setName(aTokenName);
[codex:538311]     _setSymbol(aTokenSymbol);
[codex:538311]     _setDecimals(aTokenDecimals);
[codex:538311] 
[codex:538311]     _pool = pool;
[codex:538311]     _treasury = treasury;
[codex:538311]     _underlyingAsset = underlyingAsset;
[codex:538311]     _incentivesController = incentivesController;
[codex:538311] 
[codex:538311]     emit Initialized(
[codex:538311]       underlyingAsset,
[codex:538311]       address(pool),
[codex:538311]       treasury,
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Continuing process**
[codex:538311] exec
[codex:538311] /bin/bash -lc "sed -n '2000,2182p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ibp2so4s succeeded in 5ms:
[codex:538311]    **/
[codex:538311]   function _getIncentivesController() internal view virtual returns(IAaveIncentivesController);
[codex:538311] 
[codex:538311]   /**
[codex:538311]    * @dev Executes a transfer of tokens from _msgSender() to recipient
[codex:538311]    * @param recipient The recipient of the tokens
[codex:538311]    * @param amount The amount of tokens being transferred
[codex:538311]    * @return `true` if the transfer succeeds, `false` otherwise
[codex:538311]    **/
[codex:538311]   function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
[codex:538311]     _transfer(_msgSender(), recipient, amount);
[codex:538311]     emit Transfer(_msgSender(), recipient, amount);
[codex:538311]     return true;
[codex:538311]   }
[codex:538311] 
[codex:538311]   /**
[codex:538311]    * @dev Returns the allowance of spender on the tokens owned by owner
[codex:538311]    * @param owner The owner of the tokens
[codex:538311]    * @param spender The user allowed to spend the owner's tokens
[codex:538311]    * @return The amount of owner's tokens spender is allowed to spend
[codex:538311] 
[codex:538311] 
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Analyzing Aave core token contracts**
[codex:538311] thinking
[codex:538311] **Reviewing reentrancy and allowance update risks**
[codex:538311] 
[codex:538311] There is a subtle risk where the external call to the incentives controller within `_transfer` happens before allowances are updated in `transferFrom`, potentially allowing reentrant calls to `transferFrom` that act with stale allowance values. Although this seems unlikely to break allowance limits due to SafeMath checks causing reverts, it could enable complex reentrancy patterns. Also, reentrancy before `finalizeTransfer` in AToken might let multiple transfers bypass health factor checks temporarily if the pool is malicious. These are nuanced behaviors worth noting even if the overall trust model assumes the controller and pool are secure.
[codex:538311] thinking
[codex:538311] **Assessing external call effects and rounding behaviors**
[codex:538311] 
[codex:538311] I’m reviewing how external calls to the incentives controller interact with health factor checks during nested transfers, and how rounding in minting and burning might cause expected reverts on tiny amounts. The layered finalizeTransfer calls seem to handle reentrancy safely, with no clear exploit. Overall, the code’s external call patterns and rounding quirks merit careful note but don’t raise critical issues.
[codex:538311] Plan update
[codex:538311] Completed full bundle review and vulnerability analysis; no meaningful exploitable issues identified.
[codex:538311]   ✓ Read AUDIT_BUNDLE.txt fully and identify all first-party contracts and key logic paths
[codex:538311]   ✓ Analyze for vulnerabilities in focus areas (reentrancy, access control, upgradeability, signatures, oracle, accounting, external calls)
[codex:538311]   ✓ Draft JSON findings with locations and severity
[codex:538311] 
[codex:538311] thinking
[codex:538311] **Preparing final JSON output**
[codex:538311] codex
[codex:538311] {"no_findings":true,"summary":"Reviewed AToken, IncentivizedERC20, and supporting protocol libraries in AUDIT_BUNDLE.txt; no exploitable issues found in the specified focus areas.","findings":[]}
[codex:538311] tokens used
[codex:538311] 52,261
[codex:538311] {"no_findings":true,"summary":"Reviewed AToken, IncentivizedERC20, and supporting protocol libraries in AUDIT_BUNDLE.txt; no exploitable issues found in the specified focus areas.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-29T03:37:53.975495+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AToken, IncentivizedERC20, and supporting protocol libraries in AUDIT_BUNDLE.txt; no exploitable issues found in the specified focus areas.",
    "raw_final": {
        "summary": "Reviewed AToken, IncentivizedERC20, and supporting protocol libraries in AUDIT_BUNDLE.txt; no exploitable issues found in the specified focus areas.",
        "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 0xae167335
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 0x06aa
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd7020d0a
00000052: EQ
00000053: PUSH2 0x06fb
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x0737
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf866c319
00000068: EQ
00000069: PUSH2 0x0765
0000006c: JUMPI
0000006d: PUSH2 0x01e5
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xae167335
00000078: EQ
00000079: PUSH2 0x066c
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xb16a19de
00000083: EQ
00000084: PUSH2 0x0674
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xb1bf962d
0000008e: EQ
0000008f: PUSH2 0x067c
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xb9844d8d
00000099: EQ
0000009a: PUSH2 0x0684
0000009d: JUMPI
0000009e: PUSH2 0x01e5
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0x88dd91a1
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x88dd91a1
000000b4: EQ
000000b5: PUSH2 0x05e0
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x95d89b41
000000bf: EQ
000000c0: PUSH2 0x060c
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa457c2d7
000000ca: EQ
000000cb: PUSH2 0x0614
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xa9059cbb
000000d5: EQ
000000d6: PUSH2 0x0640
000000d9: JUMPI
000000da: PUSH2 0x01e5
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x7535d246
000000e5: EQ
000000e6: PUSH2 0x0589
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x75d26413
000000f0: EQ
000000f1: PUSH2 0x05ad
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x78160376
000000fb: EQ
000000fc: PUSH2 0x05b5
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0x7df5bd3b
00000106: EQ
00000107: PUSH2 0x05bd
0000010a: JUMPI
0000010b: PUSH2 0x01e5
0000010e: JUMP
0000010f: JUMPDEST
00000110: DUP1
00000111: PUSH4 0x1da24f3e
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 0x0503
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x39509351
00000137: EQ
00000138: PUSH2 0x050b
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x4efecaa5
00000142: EQ
00000143: PUSH2 0x0537
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0x70a08231
0000014d: EQ
0000014e: PUSH2 0x0563
00000151: JUMPI
00000152: PUSH2 0x01e5
00000155: JUMP
00000156: JUMPDEST
00000157: DUP1
00000158: PUSH4 0x1da24f3e
0000015d: EQ
0000015e: PUSH2 0x0481
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x23b872dd
00000168: EQ
00000169: PUSH2 0x04a7
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x30adf81f
00000173: EQ
00000174: PUSH2 0x04dd
00000177: JUMPI
00000178: DUP1
00000179: PUSH4 0x313ce567
0000017e: EQ
0000017f: PUSH2 0x04e5
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 0x183fb413
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 0x079b
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 0x0832
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 0x0850
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 0x086d
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 0x0872
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH2 0x02ee
00000336: PUSH2 0x0a40
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH2 0x047f
0000033e: PUSH1 0x04
00000340: DUP1
00000341: CALLDATASIZE
00000342: SUB
00000343: PUSH2 0x0100
00000346: DUP2
00000347: LT
00000348: ISZERO
00000349: PUSH2 0x0351
0000034c: JUMPI
0000034d: PUSH1 0x00
0000034f: DUP1
00000350: REVERT
00000351: JUMPDEST
00000352: PUSH1 0x01
00000354: PUSH1 0x01
00000356: PUSH1 0xa0
00000358: SHL
00000359: SUB
0000035a: DUP3
0000035b: CALLDATALOAD
0000035c: DUP2
0000035d: AND
0000035e: SWAP3
0000035f: PUSH1 0x20
00000361: DUP2
00000362: ADD
00000363: CALLDATALOAD
00000364: DUP3
00000365: AND
00000366: SWAP3
00000367: PUSH1 0x40
00000369: DUP3
0000036a: ADD
0000036b: CALLDATALOAD
0000036c: DUP4
0000036d: AND
0000036e: SWAP3
0000036f: PUSH1 0x60
00000371: DUP4
00000372: ADD
00000373: CALLDATALOAD
00000374: AND
00000375: SWAP2
00000376: PUSH1 0xff
00000378: PUSH1 0x80
0000037a: DUP3
0000037b: ADD
0000037c: CALLDATALOAD
0000037d: AND
0000037e: SWAP2
0000037f: DUP2
00000380: ADD
00000381: SWAP1
00000382: PUSH1 0xc0
00000384: DUP2
00000385: ADD
00000386: PUSH1 0xa0
00000388: DUP3
00000389: ADD
0000038a: CALLDATALOAD
0000038b: PUSH5 0x0100000000
00000391: DUP2
00000392: GT
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: DUP3
0000039e: ADD
0000039f: DUP4
000003a0: PUSH1 0x20
000003a2: DUP3
000003a3: ADD
000003a4: GT
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: DUP1
000003b0: CALLDATALOAD
000003b1: SWAP1
000003b2: PUSH1 0x20
000003b4: ADD
000003b5: SWAP2
000003b6: DUP5
000003b7: PUSH1 0x01
000003b9: DUP4
000003ba: MUL
000003bb: DUP5
000003bc: ADD
000003bd: GT
000003be: PUSH5 0x0100000000
000003c4: DUP4
000003c5: GT
000003c6: OR
000003c7: ISZERO
000003c8: PUSH2 0x03d0
000003cb: JUMPI
000003cc: PUSH1 0x00
000003ce: DUP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: SWAP2
000003d2: SWAP4
000003d3: SWAP1
000003d4: SWAP3
000003d5: SWAP1
000003d6: SWAP2
000003d7: PUSH1 0x20
000003d9: DUP2
000003da: ADD
000003db: SWAP1
000003dc: CALLDATALOAD
000003dd: PUSH5 0x0100000000
000003e3: DUP2
000003e4: GT
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: DUP3
000003f0: ADD
000003f1: DUP4
000003f2: PUSH1 0x20
000003f4: DUP3
000003f5: ADD
000003f6: GT
000003f7: ISZERO
000003f8: PUSH2 0x0400
000003fb: JUMPI
000003fc: PUSH1 0x00
000003fe: DUP1
000003ff: REVERT
00000400: JUMPDEST
00000401: DUP1
00000402: CALLDATALOAD
00000403: SWAP1
00000404: PUSH1 0x20
00000406: ADD
00000407: SWAP2
00000408: DUP5
00000409: PUSH1 0x01
0000040b: DUP4
0000040c: MUL
0000040d: DUP5
0000040e: ADD
0000040f: GT
00000410: PUSH5 0x0100000000
00000416: DUP4
00000417: GT
00000418: OR
00000419: ISZERO
0000041a: PUSH2 0x0422
0000041d: JUMPI
0000041e: PUSH1 0x00
00000420: DUP1
00000421: REVERT
00000422: JUMPDEST
00000423: SWAP2
00000424: SWAP4
00000425: SWAP1
00000426: SWAP3
00000427: SWAP1
00000428: SWAP2
00000429: PUSH1 0x20
0000042b: DUP2
0000042c: ADD
0000042d: SWAP1
0000042e: CALLDATALOAD
0000042f: PUSH5 0x0100000000
00000435: DUP2
00000436: GT
00000437: ISZERO
00000438: PUSH2 0x0440
0000043b: JUMPI
0000043c: PUSH1 0x00
0000043e: DUP1
0000043f: REVERT
00000440: JUMPDEST
00000441: DUP3
00000442: ADD
00000443: DUP4
00000444: PUSH1 0x20
00000446: DUP3
00000447: ADD
00000448: GT
00000449: ISZERO
0000044a: PUSH2 0x0452
0000044d: JUMPI
0000044e: PUSH1 0x00
00000450: DUP1
00000451: REVERT
00000452: JUMPDEST
00000453: DUP1
00000454: CALLDATALOAD
00000455: SWAP1
00000456: PUSH1 0x20
00000458: ADD
00000459: SWAP2
0000045a: DUP5
0000045b: PUSH1 0x01
0000045d: DUP4
0000045e: MUL
0000045f: DUP5
00000460: ADD
00000461: GT
00000462: PUSH5 0x0100000000
00000468: DUP4
00000469: GT
0000046a: OR
0000046b: ISZERO
0000046c: PUSH2 0x0474
0000046f: JUMPI
00000470: PUSH1 0x00
00000472: DUP1
00000473: REVERT
00000474: JUMPDEST
00000475: POP
00000476: SWAP1
00000477: SWAP3
00000478: POP
00000479: SWAP1
0000047a: POP
0000047b: PUSH2 0x0aea
0000047e: JUMP
0000047f: JUMPDEST
00000480: STOP
00000481: JUMPDEST
00000482: PUSH2 0x02ee
00000485: PUSH1 0x04
00000487: DUP1
00000488: CALLDATASIZE
00000489: SUB
0000048a: PUSH1 0x20
0000048c: DUP2
0000048d: LT
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: POP
00000499: CALLDATALOAD
0000049a: PUSH1 0x01
0000049c: PUSH1 0x01
0000049e: PUSH1 0xa0
000004a0: SHL
000004a1: SUB
000004a2: AND
000004a3: PUSH2 0x0e67
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH2 0x0293
000004ab: PUSH1 0x04
000004ad: DUP1
000004ae: CALLDATASIZE
000004af: SUB
000004b0: PUSH1 0x60
000004b2: DUP2
000004b3: LT
000004b4: ISZERO
000004b5: PUSH2 0x04bd
000004b8: JUMPI
000004b9: PUSH1 0x00
000004bb: DUP1
000004bc: REVERT
000004bd: JUMPDEST
000004be: POP
000004bf: PUSH1 0x01
000004c1: PUSH1 0x01
000004c3: PUSH1 0xa0
000004c5: SHL
000004c6: SUB
000004c7: DUP2
000004c8: CALLDATALOAD
000004c9: DUP2
000004ca: AND
000004cb: SWAP2
000004cc: PUSH1 0x20
000004ce: DUP2
000004cf: ADD
000004d0: CALLDATALOAD
000004d1: SWAP1
000004d2: SWAP2
000004d3: AND
000004d4: SWAP1
000004d5: PUSH1 0x40
000004d7: ADD
000004d8: CALLDATALOAD
000004d9: PUSH2 0x0e72
000004dc: JUMP
000004dd: JUMPDEST
000004de: PUSH2 0x02ee
000004e1: PUSH2 0x0f32
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH2 0x04ed
000004e9: PUSH2 0x0f56
000004ec: JUMP
000004ed: JUMPDEST
000004ee: PUSH1 0x40
000004f0: DUP1
000004f1: MLOAD
000004f2: PUSH1 0xff
000004f4: SWAP1
000004f5: SWAP3
000004f6: AND
000004f7: DUP3
000004f8: MSTORE
000004f9: MLOAD
000004fa: SWAP1
000004fb: DUP2
000004fc: SWAP1
000004fd: SUB
000004fe: PUSH1 0x20
00000500: ADD
00000501: SWAP1
00000502: RETURN
00000503: JUMPDEST
00000504: PUSH2 0x02ee
00000507: PUSH2 0x0f5f
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH2 0x0293
0000050f: PUSH1 0x04
00000511: DUP1
00000512: CALLDATASIZE
00000513: SUB
00000514: PUSH1 0x40
00000516: DUP2
00000517: LT
00000518: ISZERO
00000519: PUSH2 0x0521
0000051c: JUMPI
0000051d: PUSH1 0x00
0000051f: DUP1
00000520: REVERT
00000521: JUMPDEST
00000522: POP
00000523: PUSH1 0x01
00000525: PUSH1 0x01
00000527: PUSH1 0xa0
00000529: SHL
0000052a: SUB
0000052b: DUP2
0000052c: CALLDATALOAD
0000052d: AND
0000052e: SWAP1
0000052f: PUSH1 0x20
00000531: ADD
00000532: CALLDATALOAD
00000533: PUSH2 0x0f65
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH2 0x02ee
0000053b: PUSH1 0x04
0000053d: DUP1
0000053e: CALLDATASIZE
0000053f: SUB
00000540: PUSH1 0x40
00000542: DUP2
00000543: LT
00000544: ISZERO
00000545: PUSH2 0x054d
00000548: JUMPI
00000549: PUSH1 0x00
0000054b: DUP1
0000054c: REVERT
0000054d: JUMPDEST
0000054e: POP
0000054f: PUSH1 0x01
00000551: PUSH1 0x01
00000553: PUSH1 0xa0
00000555: SHL
00000556: SUB
00000557: DUP2
00000558: CALLDATALOAD
00000559: AND
0000055a: SWAP1
0000055b: PUSH1 0x20
0000055d: ADD
0000055e: CALLDATALOAD
0000055f: PUSH2 0x0fb3
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH2 0x02ee
00000567: PUSH1 0x04
00000569: DUP1
0000056a: CALLDATASIZE
0000056b: SUB
0000056c: PUSH1 0x20
0000056e: DUP2
0000056f: LT
00000570: ISZERO
00000571: PUSH2 0x0579
00000574: JUMPI
00000575: PUSH1 0x00
00000577: DUP1
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: CALLDATALOAD
0000057c: PUSH1 0x01
0000057e: PUSH1 0x01
00000580: PUSH1 0xa0
00000582: SHL
00000583: SUB
00000584: AND
00000585: PUSH2 0x1059
00000588: JUMP
00000589: JUMPDEST
0000058a: PUSH2 0x0591
0000058d: PUSH2 0x10e8
00000590: JUMP
00000591: JUMPDEST
00000592: PUSH1 0x40
00000594: DUP1
00000595: MLOAD
00000596: PUSH1 0x01
00000598: PUSH1 0x01
0000059a: PUSH1 0xa0
0000059c: SHL
0000059d: SUB
0000059e: SWAP1
0000059f: SWAP3
000005a0: AND
000005a1: DUP3
000005a2: MSTORE
000005a3: MLOAD
000005a4: SWAP1
000005a5: DUP2
000005a6: SWAP1
000005a7: SUB
000005a8: PUSH1 0x20
000005aa: ADD
000005ab: SWAP1
000005ac: RETURN
000005ad: JUMPDEST
000005ae: PUSH2 0x0591
000005b1: PUSH2 0x10f7
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH2 0x01f2
000005b9: PUSH2 0x1106
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH2 0x047f
000005c1: PUSH1 0x04
000005c3: DUP1
000005c4: CALLDATASIZE
000005c5: SUB
000005c6: PUSH1 0x40
000005c8: DUP2
000005c9: LT
000005ca: ISZERO
000005cb: PUSH2 0x05d3
000005ce: JUMPI
000005cf: PUSH1 0x00
000005d1: DUP1
000005d2: REVERT
000005d3: JUMPDEST
000005d4: POP
000005d5: DUP1
000005d6: CALLDATALOAD
000005d7: SWAP1
000005d8: PUSH1 0x20
000005da: ADD
000005db: CALLDATALOAD
000005dc: PUSH2 0x1123
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH2 0x047f
000005e4: PUSH1 0x04
000005e6: DUP1
000005e7: CALLDATASIZE
000005e8: SUB
000005e9: PUSH1 0x40
000005eb: DUP2
000005ec: LT
000005ed: ISZERO
000005ee: PUSH2 0x05f6
000005f1: JUMPI
000005f2: PUSH1 0x00
000005f4: DUP1
000005f5: REVERT
000005f6: JUMPDEST
000005f7: POP
000005f8: PUSH1 0x01
000005fa: PUSH1 0x01
000005fc: PUSH1 0xa0
000005fe: SHL
000005ff: SUB
00000600: DUP2
00000601: CALLDATALOAD
00000602: AND
00000603: SWAP1
00000604: PUSH1 0x20
00000606: ADD
00000607: CALLDATALOAD
00000608: PUSH2 0x124a
0000060b: JUMP
0000060c: JUMPDEST
0000060d: PUSH2 0x01f2
00000610: PUSH2 0x12d4
00000613: JUMP
00000614: JUMPDEST
00000615: PUSH2 0x0293
00000618: PUSH1 0x04
0000061a: DUP1
0000061b: CALLDATASIZE
0000061c: SUB
0000061d: PUSH1 0x40
0000061f: DUP2
00000620: LT
00000621: ISZERO
00000622: PUSH2 0x062a
00000625: JUMPI
00000626: PUSH1 0x00
00000628: DUP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: POP
0000062c: PUSH1 0x01
0000062e: PUSH1 0x01
00000630: PUSH1 0xa0
00000632: SHL
00000633: SUB
00000634: DUP2
00000635: CALLDATALOAD
00000636: AND
00000637: SWAP1
00000638: PUSH1 0x20
0000063a: ADD
0000063b: CALLDATALOAD
0000063c: PUSH2 0x1335
0000063f: JUMP
00000640: JUMPDEST
00000641: PUSH2 0x0293
00000644: PUSH1 0x04
00000646: DUP1
00000647: CALLDATASIZE
00000648: SUB
00000649: PUSH1 0x40
0000064b: DUP2
0000064c: LT
0000064d: ISZERO
0000064e: PUSH2 0x0656
00000651: JUMPI
00000652: PUSH1 0x00
00000654: DUP1
00000655: REVERT
00000656: JUMPDEST
00000657: POP
00000658: PUSH1 0x01
0000065a: PUSH1 0x01
0000065c: PUSH1 0xa0
0000065e: SHL
0000065f: SUB
00000660: DUP2
00000661: CALLDATALOAD
00000662: AND
00000663: SWAP1
00000664: PUSH1 0x20
00000666: ADD
00000667: CALLDATALOAD
00000668: PUSH2 0x139d
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH2 0x0591
00000670: PUSH2 0x13fa
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH2 0x0591
00000678: PUSH2 0x1409
0000067b: JUMP
0000067c: JUMPDEST
0000067d: PUSH2 0x02ee
00000680: PUSH2 0x1418
00000683: JUMP
00000684: JUMPDEST
00000685: PUSH2 0x02ee
00000688: PUSH1 0x04
0000068a: DUP1
0000068b: CALLDATASIZE
0000068c: SUB
0000068d: PUSH1 0x20
0000068f: DUP2
00000690: LT
00000691: ISZERO
00000692: PUSH2 0x069a
00000695: JUMPI
00000696: PUSH1 0x00
00000698: DUP1
00000699: REVERT
0000069a: JUMPDEST
0000069b: POP
0000069c: CALLDATALOAD
0000069d: PUSH1 0x01
0000069f: PUSH1 0x01
000006a1: PUSH1 0xa0
000006a3: SHL
000006a4: SUB
000006a5: AND
000006a6: PUSH2 0x1422
000006a9: JUMP
000006aa: JUMPDEST
000006ab: PUSH2 0x047f
000006ae: PUSH1 0x04
000006b0: DUP1
000006b1: CALLDATASIZE
000006b2: SUB
000006b3: PUSH1 0xe0
000006b5: DUP2
000006b6: LT
000006b7: ISZERO
000006b8: PUSH2 0x06c0
000006bb: JUMPI
000006bc: PUSH1 0x00
000006be: DUP1
000006bf: REVERT
000006c0: JUMPDEST
000006c1: POP
000006c2: PUSH1 0x01
000006c4: PUSH1 0x01
000006c6: PUSH1 0xa0
000006c8: SHL
000006c9: SUB
000006ca: DUP2
000006cb: CALLDATALOAD
000006cc: DUP2
000006cd: AND
000006ce: SWAP2
000006cf: PUSH1 0x20
000006d1: DUP2
000006d2: ADD
000006d3: CALLDATALOAD
000006d4: SWAP1
000006d5: SWAP2
000006d6: AND
000006d7: SWAP1
000006d8: PUSH1 0x40
000006da: DUP2
000006db: ADD
000006dc: CALLDATALOAD
000006dd: SWAP1
000006de: PUSH1 0x60
000006e0: DUP2
000006e1: ADD
000006e2: CALLDATALOAD
000006e3: SWAP1
000006e4: PUSH1 0xff
000006e6: PUSH1 0x80
000006e8: DUP3
000006e9: ADD
000006ea: CALLDATALOAD
000006eb: AND
000006ec: SWAP1
000006ed: PUSH1 0xa0
000006ef: DUP2
000006f0: ADD
000006f1: CALLDATALOAD
000006f2: SWAP1
000006f3: PUSH1 0xc0
000006f5: ADD
000006f6: CALLDATALOAD
000006f7: PUSH2 0x1434
000006fa: JUMP
000006fb: JUMPDEST
000006fc: PUSH2 0x047f
000006ff: PUSH1 0x04
00000701: DUP1
00000702: CALLDATASIZE
00000703: SUB
00000704: PUSH1 0x80
00000706: DUP2
00000707: LT
00000708: ISZERO
00000709: PUSH2 0x0711
0000070c: JUMPI
0000070d: PUSH1 0x00
0000070f: DUP1
00000710: REVERT
00000711: JUMPDEST
00000712: POP
00000713: PUSH1 0x01
00000715: PUSH1 0x01
00000717: PUSH1 0xa0
00000719: SHL
0000071a: SUB
0000071b: DUP2
0000071c: CALLDATALOAD
0000071d: DUP2
0000071e: AND
0000071f: SWAP2
00000720: PUSH1 0x20
00000722: DUP2
00000723: ADD
00000724: CALLDATALOAD
00000725: SWAP1
00000726: SWAP2
00000727: AND
00000728: SWAP1
00000729: PUSH1 0x40
0000072b: DUP2
0000072c: ADD
0000072d: CALLDATALOAD
0000072e: SWAP1
0000072f: PUSH1 0x60
00000731: ADD
00000732: CALLDATALOAD
00000733: PUSH2 0x167b
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH2 0x02ee
0000073b: PUSH1 0x04
0000073d: DUP1
0000073e: CALLDATASIZE
0000073f: SUB
00000740: PUSH1 0x40
00000742: DUP2
00000743: LT
00000744: ISZERO
00000745: PUSH2 0x074d
00000748: JUMPI
00000749: PUSH1 0x00
0000074b: DUP1
0000074c: REVERT
0000074d: JUMPDEST
0000074e: POP
0000074f: PUSH1 0x01
00000751: PUSH1 0x01
00000753: PUSH1 0xa0
00000755: SHL
00000756: SUB
00000757: DUP2
00000758: CALLDATALOAD
00000759: DUP2
0000075a: AND
0000075b: SWAP2
0000075c: PUSH1 0x20
0000075e: ADD
0000075f: CALLDATALOAD
00000760: AND
00000761: PUSH2 0x1820
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH2 0x047f
00000769: PUSH1 0x04
0000076b: DUP1
0000076c: CALLDATASIZE
0000076d: SUB
0000076e: PUSH1 0x60
00000770: DUP2
00000771: LT
00000772: ISZERO
00000773: PUSH2 0x077b
00000776: JUMPI
00000777: PUSH1 0x00
00000779: DUP1
0000077a: REVERT
0000077b: JUMPDEST
0000077c: POP
0000077d: PUSH1 0x01
0000077f: PUSH1 0x01
00000781: PUSH1 0xa0
00000783: SHL
00000784: SUB
00000785: DUP2
00000786: CALLDATALOAD
00000787: DUP2
00000788: AND
00000789: SWAP2
0000078a: PUSH1 0x20
0000078c: DUP2
0000078d: ADD
0000078e: CALLDATALOAD
0000078f: SWAP1
00000790: SWAP2
00000791: AND
00000792: SWAP1
00000793: PUSH1 0x40
00000795: ADD
00000796: CALLDATALOAD
00000797: PUSH2 0x184b
0000079a: JUMP
0000079b: JUMPDEST
0000079c: PUSH1 0x37
0000079e: DUP1
0000079f: SLOAD
000007a0: PUSH1 0x40
000007a2: DUP1
000007a3: MLOAD
000007a4: PUSH1 0x20
000007a6: PUSH1 0x1f
000007a8: PUSH1 0x02
000007aa: PUSH1 0x00
000007ac: NOT
000007ad: PUSH2 0x0100
000007b0: PUSH1 0x01
000007b2: DUP9
000007b3: AND
000007b4: ISZERO
000007b5: MUL
000007b6: ADD
000007b7: SWAP1
000007b8: SWAP6
000007b9: AND
000007ba: SWAP5
000007bb: SWAP1
000007bc: SWAP5
000007bd: DIV
000007be: SWAP4
000007bf: DUP5
000007c0: ADD
000007c1: DUP2
000007c2: SWAP1
000007c3: DIV
000007c4: DUP2
000007c5: MUL
000007c6: DUP3
000007c7: ADD
000007c8: DUP2
000007c9: ADD
000007ca: SWAP1
000007cb: SWAP3
000007cc: MSTORE
000007cd: DUP3
000007ce: DUP2
000007cf: MSTORE
000007d0: PUSH1 0x60
000007d2: SWAP4
000007d3: SWAP1
000007d4: SWAP3
000007d5: SWAP1
000007d6: SWAP2
000007d7: DUP4
000007d8: ADD
000007d9: DUP3
000007da: DUP3
000007db: DUP1
000007dc: ISZERO
000007dd: PUSH2 0x0827
000007e0: JUMPI
000007e1: DUP1
000007e2: PUSH1 0x1f
000007e4: LT
000007e5: PUSH2 0x07fc
000007e8: JUMPI
000007e9: PUSH2 0x0100
000007ec: DUP1
000007ed: DUP4
000007ee: SLOAD
000007ef: DIV
000007f0: MUL
000007f1: DUP4
000007f2: MSTORE
000007f3: SWAP2
000007f4: PUSH1 0x20
000007f6: ADD
000007f7: SWAP2
000007f8: PUSH2 0x0827
000007fb: JUMP
000007fc: JUMPDEST
000007fd: DUP3
000007fe: ADD
000007ff: SWAP2
00000800: SWAP1
00000801: PUSH1 0x00
00000803: MSTORE
00000804: PUSH1 0x20
00000806: PUSH1 0x00
00000808: KECCAK256
00000809: SWAP1
0000080a: JUMPDEST
0000080b: DUP2
0000080c: SLOAD
0000080d: DUP2
0000080e: MSTORE
0000080f: SWAP1
00000810: PUSH1 0x01
00000812: ADD
00000813: SWAP1
00000814: PUSH1 0x20
00000816: ADD
00000817: DUP1
00000818: DUP4
00000819: GT
0000081a: PUSH2 0x080a
0000081d: JUMPI
0000081e: DUP3
0000081f: SWAP1
00000820: SUB
00000821: PUSH1 0x1f
00000823: AND
00000824: DUP3
00000825: ADD
00000826: SWAP2
00000827: JUMPDEST
00000828: POP
00000829: POP
0000082a: POP
0000082b: POP
0000082c: POP
0000082d: SWAP1
0000082e: POP
0000082f: JUMPDEST
00000830: SWAP1
00000831: JUMP
00000832: JUMPDEST
00000833: PUSH1 0x00
00000835: PUSH2 0x0846
00000838: PUSH2 0x083f
0000083b: PUSH2 0x191c
0000083e: JUMP
0000083f: JUMPDEST
00000840: DUP5
00000841: DUP5
00000842: PUSH2 0x1920
00000845: JUMP
00000846: JUMPDEST
00000847: POP
00000848: PUSH1 0x01
0000084a: JUMPDEST
0000084b: SWAP3
0000084c: SWAP2
0000084d: POP
0000084e: POP
0000084f: JUMP
00000850: JUMPDEST
00000851: PUSH1 0x00
00000853: DUP1
00000854: PUSH2 0x085c
00000857: DUP4
00000858: PUSH2 0x1a0c
0000085b: JUMP
0000085c: JUMPDEST
0000085d: PUSH2 0x0864
00000860: PUSH2 0x1a27
00000863: JUMP
00000864: JUMPDEST
00000865: SWAP2
00000866: POP
00000867: SWAP2
00000868: POP
00000869: SWAP2
0000086a: POP
0000086b: SWAP2
0000086c: JUMP
0000086d: JUMPDEST
0000086e: PUSH1 0x01
00000870: DUP2
00000871: JUMP
00000872: JUMPDEST
00000873: PUSH1 0x3c
00000875: SLOAD
00000876: PUSH1 0x00
00000878: SWAP1
00000879: PUSH1 0x01
0000087b: PUSH1 0x01
0000087d: PUSH1 0xa0
0000087f: SHL
00000880: SUB
00000881: AND
00000882: PUSH2 0x0889
00000885: PUSH2 0x191c
00000888: JUMP
00000889: JUMPDEST
0000088a: PUSH1 0x01
0000088c: PUSH1 0x01
0000088e: PUSH1 0xa0
00000890: SHL
00000891: SUB
00000892: AND
00000893: EQ
00000894: PUSH1 0x40
00000896: MLOAD
00000897: DUP1
00000898: PUSH1 0x40
0000089a: ADD
0000089b: PUSH1 0x40
0000089d: MSTORE
0000089e: DUP1
0000089f: PUSH1 0x02
000008a1: DUP2
000008a2: MSTORE
000008a3: PUSH1 0x20
000008a5: ADD
000008a6: PUSH2 0x3239
000008a9: PUSH1 0xf0
000008ab: SHL
000008ac: DUP2
000008ad: MSTORE
000008ae: POP
000008af: SWAP1
000008b0: PUSH2 0x0937
000008b3: JUMPI
000008b4: PUSH1 0x40
000008b6: MLOAD
000008b7: PUSH3 0x461bcd
000008bb: PUSH1 0xe5
000008bd: SHL
000008be: DUP2
000008bf: MSTORE
000008c0: PUSH1 0x04
000008c2: ADD
000008c3: DUP1
000008c4: DUP1
000008c5: PUSH1 0x20
000008c7: ADD
000008c8: DUP3
000008c9: DUP2
000008ca: SUB
000008cb: DUP3
000008cc: MSTORE
000008cd: DUP4
000008ce: DUP2
000008cf: DUP2
000008d0: MLOAD
000008d1: DUP2
000008d2: MSTORE
000008d3: PUSH1 0x20
000008d5: ADD
000008d6: SWAP2
000008d7: POP
000008d8: DUP1
000008d9: MLOAD
000008da: SWAP1
000008db: PUSH1 0x20
000008dd: ADD
000008de: SWAP1
000008df: DUP1
000008e0: DUP4
000008e1: DUP4
000008e2: PUSH1 0x00
000008e4: JUMPDEST
000008e5: DUP4
000008e6: DUP2
000008e7: LT
000008e8: ISZERO
000008e9: PUSH2 0x08fc
000008ec: JUMPI
000008ed: DUP2
000008ee: DUP2
000008ef: ADD
000008f0: MLOAD
000008f1: DUP4
000008f2: DUP3
000008f3: ADD
000008f4: MSTORE
000008f5: PUSH1 0x20
000008f7: ADD
000008f8: PUSH2 0x08e4
000008fb: JUMP
000008fc: JUMPDEST
000008fd: POP
000008fe: POP
000008ff: POP
00000900: POP
00000901: SWAP1
00000902: POP
00000903: SWAP1
00000904: DUP2
00000905: ADD
00000906: SWAP1
00000907: PUSH1 0x1f
00000909: AND
0000090a: DUP1
0000090b: ISZERO
0000090c: PUSH2 0x0929
0000090f: JUMPI
00000910: DUP1
00000911: DUP3
00000912: SUB
00000913: DUP1
00000914: MLOAD
00000915: PUSH1 0x01
00000917: DUP4
00000918: PUSH1 0x20
0000091a: SUB
0000091b: PUSH2 0x0100
0000091e: EXP
0000091f: SUB
00000920: NOT
00000921: AND
00000922: DUP2
00000923: MSTORE
00000924: PUSH1 0x20
00000926: ADD
00000927: SWAP2
00000928: POP
00000929: JUMPDEST
0000092a: POP
0000092b: SWAP3
0000092c: POP
0000092d: POP
0000092e: POP
0000092f: PUSH1 0x40
00000931: MLOAD
00000932: DUP1
00000933: SWAP2
00000934: SUB
00000935: SWAP1
00000936: REVERT
00000937: JUMPDEST
00000938: POP
00000939: PUSH1 0x00
0000093b: PUSH2 0x0943
0000093e: DUP6
0000093f: PUSH2 0x1a0c
00000942: JUMP
00000943: JUMPDEST
00000944: SWAP1
00000945: POP
00000946: PUSH1 0x00
00000948: PUSH2 0x0951
0000094b: DUP6
0000094c: DUP6
0000094d: PUSH2 0x1a2d
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH1 0x40
00000954: DUP1
00000955: MLOAD
00000956: DUP1
00000957: DUP3
00000958: ADD
00000959: SWAP1
0000095a: SWAP2
0000095b: MSTORE
0000095c: PUSH1 0x02
0000095e: DUP2
0000095f: MSTORE
00000960: PUSH2 0x1a9b
00000963: PUSH1 0xf1
00000965: SHL
00000966: PUSH1 0x20
00000968: DUP3
00000969: ADD
0000096a: MSTORE
0000096b: SWAP1
0000096c: SWAP2
0000096d: POP
0000096e: DUP2
0000096f: PUSH2 0x09b9
00000972: JUMPI
00000973: PUSH1 0x40
00000975: MLOAD
00000976: PUSH3 0x461bcd
0000097a: PUSH1 0xe5
0000097c: SHL
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH1 0x20
00000981: PUSH1 0x04
00000983: DUP3
00000984: ADD
00000985: DUP2
00000986: DUP2
00000987: MSTORE
00000988: DUP4
00000989: MLOAD
0000098a: PUSH1 0x24
0000098c: DUP5
0000098d: ADD
0000098e: MSTORE
0000098f: DUP4
00000990: MLOAD
00000991: SWAP1
00000992: SWAP3
00000993: DUP4
00000994: SWAP3
00000995: PUSH1 0x44
00000997: SWAP1
00000998: SWAP2
00000999: ADD
0000099a: SWAP2
0000099b: SWAP1
0000099c: DUP6
0000099d: ADD
0000099e: SWAP1
0000099f: DUP1
000009a0: DUP4
000009a1: DUP4
000009a2: PUSH1 0x00
000009a4: DUP4
000009a5: ISZERO
000009a6: PUSH2 0x08fc
000009a9: JUMPI
000009aa: DUP2
000009ab: DUP2
000009ac: ADD
000009ad: MLOAD
000009ae: DUP4
000009af: DUP3
000009b0: ADD
000009b1: MSTORE
000009b2: PUSH1 0x20
000009b4: ADD
000009b5: PUSH2 0x08e4
000009b8: JUMP
000009b9: JUMPDEST
000009ba: POP
000009bb: PUSH2 0x09c4
000009be: DUP7
000009bf: DUP3
000009c0: PUSH2 0x1b34
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH1 0x40
000009c7: DUP1
000009c8: MLOAD
000009c9: DUP7
000009ca: DUP2
000009cb: MSTORE
000009cc: SWAP1
000009cd: MLOAD
000009ce: PUSH1 0x01
000009d0: PUSH1 0x01
000009d2: PUSH1 0xa0
000009d4: SHL
000009d5: SUB
000009d6: DUP9
000009d7: AND
000009d8: SWAP2
000009d9: PUSH1 0x00
000009db: SWAP2
000009dc: PUSH1 0x00
000009de: DUP1
000009df: MLOAD
000009e0: PUSH1 0x20
000009e2: PUSH2 0x2714
000009e5: DUP4
000009e6: CODECOPY
000009e7: DUP2
000009e8: MLOAD
000009e9: SWAP2
000009ea: MSTORE
000009eb: SWAP2
000009ec: DUP2
000009ed: SWAP1
000009ee: SUB
000009ef: PUSH1 0x20
000009f1: ADD
000009f2: SWAP1
000009f3: LOG3
000009f4: PUSH1 0x40
000009f6: DUP1
000009f7: MLOAD
000009f8: DUP7
000009f9: DUP2
000009fa: MSTORE
000009fb: PUSH1 0x20
000009fd: DUP2
000009fe: ADD
000009ff: DUP7
00000a00: SWAP1
00000a01: MSTORE
00000a02: DUP2
00000a03: MLOAD
00000a04: PUSH1 0x01
00000a06: PUSH1 0x01
00000a08: PUSH1 0xa0
00000a0a: SHL
00000a0b: SUB
00000a0c: DUP10
00000a0d: AND
00000a0e: SWAP3
00000a0f: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
00000a30: SWAP3
00000a31: DUP3
00000a32: SWAP1
00000a33: SUB
00000a34: ADD
00000a35: SWAP1
00000a36: LOG2
00000a37: POP
00000a38: ISZERO
00000a39: SWAP5
00000a3a: SWAP4
00000a3b: POP
00000a3c: POP
00000a3d: POP
00000a3e: POP
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: PUSH1 0x00
00000a43: DUP1
00000a44: PUSH2 0x0a4b
00000a47: PUSH2 0x1a27
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: SWAP1
00000a4d: POP
00000a4e: DUP1
00000a4f: PUSH2 0x0a5c
00000a52: JUMPI
00000a53: PUSH1 0x00
00000a55: SWAP2
00000a56: POP
00000a57: POP
00000a58: PUSH2 0x082f
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: PUSH1 0x3c
00000a5f: SLOAD
00000a60: PUSH1 0x3e
00000a62: SLOAD
00000a63: PUSH1 0x40
00000a65: DUP1
00000a66: MLOAD
00000a67: PUSH4 0xd15e0053
00000a6c: PUSH1 0xe0
00000a6e: SHL
00000a6f: DUP2
00000a70: MSTORE
00000a71: PUSH1 0x01
00000a73: PUSH1 0x01
00000a75: PUSH1 0xa0
00000a77: SHL
00000a78: SUB
00000a79: SWAP3
00000a7a: DUP4
00000a7b: AND
00000a7c: PUSH1 0x04
00000a7e: DUP3
00000a7f: ADD
00000a80: MSTORE
00000a81: SWAP1
00000a82: MLOAD
00000a83: PUSH2 0x0ae4
00000a86: SWAP4
00000a87: SWAP3
00000a88: SWAP1
00000a89: SWAP3
00000a8a: AND
00000a8b: SWAP2
00000a8c: PUSH4 0xd15e0053
00000a91: SWAP2
00000a92: PUSH1 0x24
00000a94: DUP1
00000a95: DUP3
00000a96: ADD
00000a97: SWAP3
00000a98: PUSH1 0x20
00000a9a: SWAP3
00000a9b: SWAP1
00000a9c: SWAP2
00000a9d: SWAP1
00000a9e: DUP3
00000a9f: SWAP1
00000aa0: SUB
00000aa1: ADD
00000aa2: DUP2
00000aa3: DUP7
00000aa4: DUP1
00000aa5: EXTCODESIZE
00000aa6: ISZERO
00000aa7: DUP1
00000aa8: ISZERO
00000aa9: PUSH2 0x0ab1
00000aac: JUMPI
00000aad: PUSH1 0x00
00000aaf: DUP1
00000ab0: REVERT
00000ab1: JUMPDEST
00000ab2: POP
00000ab3: GAS
00000ab4: STATICCALL
00000ab5: ISZERO
00000ab6: DUP1
00000ab7: ISZERO
00000ab8: PUSH2 0x0ac5
00000abb: JUMPI
00000abc: RETURNDATASIZE
00000abd: PUSH1 0x00
00000abf: DUP1
00000ac0: RETURNDATACOPY
00000ac1: RETURNDATASIZE
00000ac2: PUSH1 0x00
00000ac4: REVERT
00000ac5: JUMPDEST
00000ac6: POP
00000ac7: POP
00000ac8: POP
00000ac9: POP
00000aca: PUSH1 0x40
00000acc: MLOAD
00000acd: RETURNDATASIZE
00000ace: PUSH1 0x20
00000ad0: DUP2
00000ad1: LT
00000ad2: ISZERO
00000ad3: PUSH2 0x0adb
00000ad6: JUMPI
00000ad7: PUSH1 0x00
00000ad9: DUP1
00000ada: REVERT
00000adb: JUMPDEST
00000adc: POP
00000add: MLOAD
00000ade: DUP3
00000adf: SWAP1
00000ae0: PUSH2 0x1c85
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: SWAP2
00000ae6: POP
00000ae7: POP
00000ae8: SWAP1
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH1 0x00
00000aed: PUSH2 0x0af4
00000af0: PUSH2 0x1d43
00000af3: JUMP
00000af4: JUMPDEST
00000af5: PUSH1 0x01
00000af7: SLOAD
00000af8: SWAP1
00000af9: SWAP2
00000afa: POP
00000afb: PUSH1 0xff
00000afd: AND
00000afe: DUP1
00000aff: PUSH2 0x0b0b
00000b02: JUMPI
00000b03: POP
00000b04: PUSH2 0x0b0b
00000b07: PUSH2 0x1d48
00000b0a: JUMP
00000b0b: JUMPDEST
00000b0c: DUP1
00000b0d: PUSH2 0x0b17
00000b10: JUMPI
00000b11: POP
00000b12: PUSH1 0x00
00000b14: SLOAD
00000b15: DUP2
00000b16: GT
00000b17: JUMPDEST
00000b18: PUSH2 0x0b52
00000b1b: JUMPI
00000b1c: PUSH1 0x40
00000b1e: MLOAD
00000b1f: PUSH3 0x461bcd
00000b23: PUSH1 0xe5
00000b25: SHL
00000b26: DUP2
00000b27: MSTORE
00000b28: PUSH1 0x04
00000b2a: ADD
00000b2b: DUP1
00000b2c: DUP1
00000b2d: PUSH1 0x20
00000b2f: ADD
00000b30: DUP3
00000b31: DUP2
00000b32: SUB
00000b33: DUP3
00000b34: MSTORE
00000b35: PUSH1 0x2e
00000b37: DUP2
00000b38: MSTORE
00000b39: PUSH1 0x20
00000b3b: ADD
00000b3c: DUP1
00000b3d: PUSH2 0x26e6
00000b40: PUSH1 0x2e
00000b42: SWAP2
00000b43: CODECOPY
00000b44: PUSH1 0x40
00000b46: ADD
00000b47: SWAP2
00000b48: POP
00000b49: POP
00000b4a: PUSH1 0x40
00000b4c: MLOAD
00000b4d: DUP1
00000b4e: SWAP2
00000b4f: SUB
00000b50: SWAP1
00000b51: REVERT
00000b52: JUMPDEST
00000b53: PUSH1 0x01
00000b55: SLOAD
00000b56: PUSH1 0xff
00000b58: AND
00000b59: ISZERO
00000b5a: DUP1
00000b5b: ISZERO
00000b5c: PUSH2 0x0b71
00000b5f: JUMPI
00000b60: PUSH1 0x01
00000b62: DUP1
00000b63: SLOAD
00000b64: PUSH1 0xff
00000b66: NOT
00000b67: AND
00000b68: DUP2
00000b69: OR
00000b6a: SWAP1
00000b6b: SSTORE
00000b6c: PUSH1 0x00
00000b6e: DUP3
00000b6f: SWAP1
00000b70: SSTORE
00000b71: JUMPDEST
00000b72: PUSH1 0x00
00000b74: CHAINID
00000b75: SWAP1
00000b76: POP
00000b77: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00000b98: DUP10
00000b99: DUP10
00000b9a: PUSH1 0x40
00000b9c: MLOAD
00000b9d: DUP1
00000b9e: DUP4
00000b9f: DUP4
00000ba0: DUP1
00000ba1: DUP3
00000ba2: DUP5
00000ba3: CALLDATACOPY
00000ba4: DUP1
00000ba5: DUP4
00000ba6: ADD
00000ba7: SWAP3
00000ba8: POP
00000ba9: POP
00000baa: POP
00000bab: SWAP3
00000bac: POP
00000bad: POP
00000bae: POP
00000baf: PUSH1 0x40
00000bb1: MLOAD
00000bb2: DUP1
00000bb3: SWAP2
00000bb4: SUB
00000bb5: SWAP1
00000bb6: KECCAK256
00000bb7: PUSH1 0x40
00000bb9: MLOAD
00000bba: DUP1
00000bbb: PUSH1 0x40
00000bbd: ADD
00000bbe: PUSH1 0x40
00000bc0: MSTORE
00000bc1: DUP1
00000bc2: PUSH1 0x01
00000bc4: DUP2
00000bc5: MSTORE
00000bc6: PUSH1 0x20
00000bc8: ADD
00000bc9: PUSH1 0x31
00000bcb: PUSH1 0xf8
00000bcd: SHL
00000bce: DUP2
00000bcf: MSTORE
00000bd0: POP
00000bd1: DUP1
00000bd2: MLOAD
00000bd3: SWAP1
00000bd4: PUSH1 0x20
00000bd6: ADD
00000bd7: KECCAK256
00000bd8: DUP4
00000bd9: ADDRESS
00000bda: PUSH1 0x40
00000bdc: MLOAD
00000bdd: PUSH1 0x20
00000bdf: ADD
00000be0: DUP1
00000be1: DUP7
00000be2: DUP2
00000be3: MSTORE
00000be4: PUSH1 0x20
00000be6: ADD
00000be7: DUP6
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x20
00000bec: ADD
00000bed: DUP5
00000bee: DUP2
00000bef: MSTORE
00000bf0: PUSH1 0x20
00000bf2: ADD
00000bf3: DUP4
00000bf4: DUP2
00000bf5: MSTORE
00000bf6: PUSH1 0x20
00000bf8: ADD
00000bf9: DUP3
00000bfa: PUSH1 0x01
00000bfc: PUSH1 0x01
00000bfe: PUSH1 0xa0
00000c00: SHL
00000c01: SUB
00000c02: AND
00000c03: DUP2
00000c04: MSTORE
00000c05: PUSH1 0x20
00000c07: ADD
00000c08: SWAP6
00000c09: POP
00000c0a: POP
00000c0b: POP
00000c0c: POP
00000c0d: POP
00000c0e: POP
00000c0f: PUSH1 0x40
00000c11: MLOAD
00000c12: PUSH1 0x20
00000c14: DUP2
00000c15: DUP4
00000c16: SUB
00000c17: SUB
00000c18: DUP2
00000c19: MSTORE
00000c1a: SWAP1
00000c1b: PUSH1 0x40
00000c1d: MSTORE
00000c1e: DUP1
00000c1f: MLOAD
00000c20: SWAP1
00000c21: PUSH1 0x20
00000c23: ADD
00000c24: KECCAK256
00000c25: PUSH1 0x3b
00000c27: DUP2
00000c28: SWAP1
00000c29: SSTORE
00000c2a: POP
00000c2b: PUSH2 0x0c69
00000c2e: DUP10
00000c2f: DUP10
00000c30: DUP1
00000c31: DUP1
00000c32: PUSH1 0x1f
00000c34: ADD
00000c35: PUSH1 0x20
00000c37: DUP1
00000c38: SWAP2
00000c39: DIV
00000c3a: MUL
00000c3b: PUSH1 0x20
00000c3d: ADD
00000c3e: PUSH1 0x40
00000c40: MLOAD
00000c41: SWAP1
00000c42: DUP2
00000c43: ADD
00000c44: PUSH1 0x40
00000c46: MSTORE
00000c47: DUP1
00000c48: SWAP4
00000c49: SWAP3
00000c4a: SWAP2
00000c4b: SWAP1
00000c4c: DUP2
00000c4d: DUP2
00000c4e: MSTORE
00000c4f: PUSH1 0x20
00000c51: ADD
00000c52: DUP4
00000c53: DUP4
00000c54: DUP1
00000c55: DUP3
00000c56: DUP5
00000c57: CALLDATACOPY
00000c58: PUSH1 0x00
00000c5a: SWAP3
00000c5b: ADD
00000c5c: SWAP2
00000c5d: SWAP1
00000c5e: SWAP2
00000c5f: MSTORE
00000c60: POP
00000c61: PUSH2 0x1d4e
00000c64: SWAP3
00000c65: POP
00000c66: POP
00000c67: POP
00000c68: JUMP
00000c69: JUMPDEST
00000c6a: PUSH2 0x0ca8
00000c6d: DUP8
00000c6e: DUP8
00000c6f: DUP1
00000c70: DUP1
00000c71: PUSH1 0x1f
00000c73: ADD
00000c74: PUSH1 0x20
00000c76: DUP1
00000c77: SWAP2
00000c78: DIV
00000c79: MUL
00000c7a: PUSH1 0x20
00000c7c: ADD
00000c7d: PUSH1 0x40
00000c7f: MLOAD
00000c80: SWAP1
00000c81: DUP2
00000c82: ADD
00000c83: PUSH1 0x40
00000c85: MSTORE
00000c86: DUP1
00000c87: SWAP4
00000c88: SWAP3
00000c89: SWAP2
00000c8a: SWAP1
00000c8b: DUP2
00000c8c: DUP2
00000c8d: MSTORE
00000c8e: PUSH1 0x20
00000c90: ADD
00000c91: DUP4
00000c92: DUP4
00000c93: DUP1
00000c94: DUP3
00000c95: DUP5
00000c96: CALLDATACOPY
00000c97: PUSH1 0x00
00000c99: SWAP3
00000c9a: ADD
00000c9b: SWAP2
00000c9c: SWAP1
00000c9d: SWAP2
00000c9e: MSTORE
00000c9f: POP
00000ca0: PUSH2 0x1d61
00000ca3: SWAP3
00000ca4: POP
00000ca5: POP
00000ca6: POP
00000ca7: JUMP
00000ca8: JUMPDEST
00000ca9: PUSH2 0x0cb1
00000cac: DUP11
00000cad: PUSH2 0x1d74
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: DUP14
00000cb3: PUSH1 0x3c
00000cb5: PUSH1 0x00
00000cb7: PUSH2 0x0100
00000cba: EXP
00000cbb: DUP2
00000cbc: SLOAD
00000cbd: DUP2
00000cbe: PUSH1 0x01
00000cc0: PUSH1 0x01
00000cc2: PUSH1 0xa0
00000cc4: SHL
00000cc5: SUB
00000cc6: MUL
00000cc7: NOT
00000cc8: AND
00000cc9: SWAP1
00000cca: DUP4
00000ccb: PUSH1 0x01
00000ccd: PUSH1 0x01
00000ccf: PUSH1 0xa0
00000cd1: SHL
00000cd2: SUB
00000cd3: AND
00000cd4: MUL
00000cd5: OR
00000cd6: SWAP1
00000cd7: SSTORE
00000cd8: POP
00000cd9: DUP13
00000cda: PUSH1 0x3d
00000cdc: PUSH1 0x00
00000cde: PUSH2 0x0100
00000ce1: EXP
00000ce2: DUP2
00000ce3: SLOAD
00000ce4: DUP2
00000ce5: PUSH1 0x01
00000ce7: PUSH1 0x01
00000ce9: PUSH1 0xa0
00000ceb: SHL
00000cec: SUB
00000ced: MUL
00000cee: NOT
00000cef: AND
00000cf0: SWAP1
00000cf1: DUP4
00000cf2: PUSH1 0x01
00000cf4: PUSH1 0x01
00000cf6: PUSH1 0xa0
00000cf8: SHL
00000cf9: SUB
00000cfa: AND
00000cfb: MUL
00000cfc: OR
00000cfd: SWAP1
00000cfe: SSTORE
00000cff: POP
00000d00: DUP12
00000d01: PUSH1 0x3e
00000d03: PUSH1 0x00
00000d05: PUSH2 0x0100
00000d08: EXP
00000d09: DUP2
00000d0a: SLOAD
00000d0b: DUP2
00000d0c: PUSH1 0x01
00000d0e: PUSH1 0x01
00000d10: PUSH1 0xa0
00000d12: SHL
00000d13: SUB
00000d14: MUL
00000d15: NOT
00000d16: AND
00000d17: SWAP1
00000d18: DUP4
00000d19: PUSH1 0x01
00000d1b: PUSH1 0x01
00000d1d: PUSH1 0xa0
00000d1f: SHL
00000d20: SUB
00000d21: AND
00000d22: MUL
00000d23: OR
00000d24: SWAP1
00000d25: SSTORE
00000d26: POP
00000d27: DUP11
00000d28: PUSH1 0x3f
00000d2a: PUSH1 0x00
00000d2c: PUSH2 0x0100
00000d2f: EXP
00000d30: DUP2
00000d31: SLOAD
00000d32: DUP2
00000d33: PUSH1 0x01
00000d35: PUSH1 0x01
00000d37: PUSH1 0xa0
00000d39: SHL
00000d3a: SUB
00000d3b: MUL
00000d3c: NOT
00000d3d: AND
00000d3e: SWAP1
00000d3f: DUP4
00000d40: PUSH1 0x01
00000d42: PUSH1 0x01
00000d44: PUSH1 0xa0
00000d46: SHL
00000d47: SUB
00000d48: AND
00000d49: MUL
00000d4a: OR
00000d4b: SWAP1
00000d4c: SSTORE
00000d4d: POP
00000d4e: DUP14
00000d4f: PUSH1 0x01
00000d51: PUSH1 0x01
00000d53: PUSH1 0xa0
00000d55: SHL
00000d56: SUB
00000d57: AND
00000d58: DUP13
00000d59: PUSH1 0x01
00000d5b: PUSH1 0x01
00000d5d: PUSH1 0xa0
00000d5f: SHL
00000d60: SUB
00000d61: AND
00000d62: PUSH32 0xb19e051f8af41150ccccb3fc2c2d8d15f4a4cf434f32a559ba75fe73d6eea20b
00000d83: DUP16
00000d84: DUP15
00000d85: DUP15
00000d86: DUP15
00000d87: DUP15
00000d88: DUP15
00000d89: DUP15
00000d8a: DUP15
00000d8b: DUP15
00000d8c: PUSH1 0x40
00000d8e: MLOAD
00000d8f: DUP1
00000d90: DUP11
00000d91: PUSH1 0x01
00000d93: PUSH1 0x01
00000d95: PUSH1 0xa0
00000d97: SHL
00000d98: SUB
00000d99: AND
00000d9a: DUP2
00000d9b: MSTORE
00000d9c: PUSH1 0x20
00000d9e: ADD
00000d9f: DUP10
00000da0: PUSH1 0x01
00000da2: PUSH1 0x01
00000da4: PUSH1 0xa0
00000da6: SHL
00000da7: SUB
00000da8: AND
00000da9: DUP2
00000daa: MSTORE
00000dab: PUSH1 0x20
00000dad: ADD
00000dae: DUP9
00000daf: PUSH1 0xff
00000db1: AND
00000db2: DUP2
00000db3: MSTORE
00000db4: PUSH1 0x20
00000db6: ADD
00000db7: DUP1
00000db8: PUSH1 0x20
00000dba: ADD
00000dbb: DUP1
00000dbc: PUSH1 0x20
00000dbe: ADD
00000dbf: DUP1
00000dc0: PUSH1 0x20
00000dc2: ADD
00000dc3: DUP5
00000dc4: DUP2
00000dc5: SUB
00000dc6: DUP5
00000dc7: MSTORE
00000dc8: DUP11
00000dc9: DUP11
00000dca: DUP3
00000dcb: DUP2
00000dcc: DUP2
00000dcd: MSTORE
00000dce: PUSH1 0x20
00000dd0: ADD
00000dd1: SWAP3
00000dd2: POP
00000dd3: DUP1
00000dd4: DUP3
00000dd5: DUP5
00000dd6: CALLDATACOPY
00000dd7: PUSH1 0x00
00000dd9: DUP4
00000dda: DUP3
00000ddb: ADD
00000ddc: MSTORE
00000ddd: PUSH1 0x1f
00000ddf: ADD
00000de0: PUSH1 0x1f
00000de2: NOT
00000de3: AND
00000de4: SWAP1
00000de5: SWAP2
00000de6: ADD
00000de7: DUP6
00000de8: DUP2
00000de9: SUB
00000dea: DUP5
00000deb: MSTORE
00000dec: DUP9
00000ded: DUP2
00000dee: MSTORE
00000def: PUSH1 0x20
00000df1: ADD
00000df2: SWAP1
00000df3: POP
00000df4: DUP9
00000df5: DUP9
00000df6: DUP1
00000df7: DUP3
00000df8: DUP5
00000df9: CALLDATACOPY
00000dfa: PUSH1 0x00
00000dfc: DUP4
00000dfd: DUP3
00000dfe: ADD
00000dff: MSTORE
00000e00: PUSH1 0x1f
00000e02: ADD
00000e03: PUSH1 0x1f
00000e05: NOT
00000e06: AND
00000e07: SWAP1
00000e08: SWAP2
00000e09: ADD
00000e0a: DUP6
00000e0b: DUP2
00000e0c: SUB
00000e0d: DUP4
00000e0e: MSTORE
00000e0f: DUP7
00000e10: DUP2
00000e11: MSTORE
00000e12: PUSH1 0x20
00000e14: ADD
00000e15: SWAP1
00000e16: POP
00000e17: DUP7
00000e18: DUP7
00000e19: DUP1
00000e1a: DUP3
00000e1b: DUP5
00000e1c: CALLDATACOPY
00000e1d: PUSH1 0x00
00000e1f: DUP4
00000e20: DUP3
00000e21: ADD
00000e22: MSTORE
00000e23: PUSH1 0x40
00000e25: MLOAD
00000e26: PUSH1 0x1f
00000e28: SWAP1
00000e29: SWAP2
00000e2a: ADD
00000e2b: PUSH1 0x1f
00000e2d: NOT
00000e2e: AND
00000e2f: SWAP1
00000e30: SWAP3
00000e31: ADD
00000e32: DUP3
00000e33: SWAP1
00000e34: SUB
00000e35: SWAP15
00000e36: POP
00000e37: SWAP1
00000e38: SWAP13
00000e39: POP
00000e3a: POP
00000e3b: POP
00000e3c: POP
00000e3d: POP
00000e3e: POP
00000e3f: POP
00000e40: POP
00000e41: POP
00000e42: POP
00000e43: POP
00000e44: POP
00000e45: POP
00000e46: LOG3
00000e47: POP
00000e48: DUP1
00000e49: ISZERO
00000e4a: PUSH2 0x0e58
00000e4d: JUMPI
00000e4e: PUSH1 0x01
00000e50: DUP1
00000e51: SLOAD
00000e52: PUSH1 0xff
00000e54: NOT
00000e55: AND
00000e56: SWAP1
00000e57: SSTORE
00000e58: JUMPDEST
00000e59: POP
00000e5a: POP
00000e5b: POP
00000e5c: POP
00000e5d: POP
00000e5e: POP
00000e5f: POP
00000e60: POP
00000e61: POP
00000e62: POP
00000e63: POP
00000e64: POP
00000e65: POP
00000e66: JUMP
00000e67: JUMPDEST
00000e68: PUSH1 0x00
00000e6a: PUSH2 0x084a
00000e6d: DUP3
00000e6e: PUSH2 0x1a0c
00000e71: JUMP
00000e72: JUMPDEST
00000e73: PUSH1 0x00
00000e75: PUSH2 0x0e7f
00000e78: DUP5
00000e79: DUP5
00000e7a: DUP5
00000e7b: PUSH2 0x1d8a
00000e7e: JUMP
00000e7f: JUMPDEST
00000e80: PUSH2 0x0eef
00000e83: DUP5
00000e84: PUSH2 0x0e8b
00000e87: PUSH2 0x191c
00000e8a: JUMP
00000e8b: JUMPDEST
00000e8c: PUSH2 0x0eea
00000e8f: DUP6
00000e90: PUSH1 0x40
00000e92: MLOAD
00000e93: DUP1
00000e94: PUSH1 0x60
00000e96: ADD
00000e97: PUSH1 0x40
00000e99: MSTORE
00000e9a: DUP1
00000e9b: PUSH1 0x28
00000e9d: DUP2
00000e9e: MSTORE
00000e9f: PUSH1 0x20
00000ea1: ADD
00000ea2: PUSH2 0x26be
00000ea5: PUSH1 0x28
00000ea7: SWAP2
00000ea8: CODECOPY
00000ea9: PUSH1 0x01
00000eab: PUSH1 0x01
00000ead: PUSH1 0xa0
00000eaf: SHL
00000eb0: SUB
00000eb1: DUP11
00000eb2: AND
00000eb3: PUSH1 0x00
00000eb5: SWAP1
00000eb6: DUP2
00000eb7: MSTORE
00000eb8: PUSH1 0x35
00000eba: PUSH1 0x20
00000ebc: MSTORE
00000ebd: PUSH1 0x40
00000ebf: DUP2
00000ec0: KECCAK256
00000ec1: SWAP1
00000ec2: PUSH2 0x0ec9
00000ec5: PUSH2 0x191c
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: PUSH1 0x01
00000ecc: PUSH1 0x01
00000ece: PUSH1 0xa0
00000ed0: SHL
00000ed1: SUB
00000ed2: AND
00000ed3: DUP2
00000ed4: MSTORE
00000ed5: PUSH1 0x20
00000ed7: DUP2
00000ed8: ADD
00000ed9: SWAP2
00000eda: SWAP1
00000edb: SWAP2
00000edc: MSTORE
00000edd: PUSH1 0x40
00000edf: ADD
00000ee0: PUSH1 0x00
00000ee2: KECCAK256
00000ee3: SLOAD
00000ee4: SWAP2
00000ee5: SWAP1
00000ee6: PUSH2 0x1d97
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: PUSH2 0x1920
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: DUP3
00000ef1: PUSH1 0x01
00000ef3: PUSH1 0x01
00000ef5: PUSH1 0xa0
00000ef7: SHL
00000ef8: SUB
00000ef9: AND
00000efa: DUP5
00000efb: PUSH1 0x01
00000efd: PUSH1 0x01
00000eff: PUSH1 0xa0
00000f01: SHL
00000f02: SUB
00000f03: AND
00000f04: PUSH1 0x00
00000f06: DUP1
00000f07: MLOAD
00000f08: PUSH1 0x20
00000f0a: PUSH2 0x2714
00000f0d: DUP4
00000f0e: CODECOPY
00000f0f: DUP2
00000f10: MLOAD
00000f11: SWAP2
00000f12: MSTORE
00000f13: DUP5
00000f14: PUSH1 0x40
00000f16: MLOAD
00000f17: DUP1
00000f18: DUP3
00000f19: DUP2
00000f1a: MSTORE
00000f1b: PUSH1 0x20
00000f1d: ADD
00000f1e: SWAP2
00000f1f: POP
00000f20: POP
00000f21: PUSH1 0x40
00000f23: MLOAD
00000f24: DUP1
00000f25: SWAP2
00000f26: SUB
00000f27: SWAP1
00000f28: LOG3
00000f29: POP
00000f2a: PUSH1 0x01
00000f2c: SWAP4
00000f2d: SWAP3
00000f2e: POP
00000f2f: POP
00000f30: POP
00000f31: JUMP
00000f32: JUMPDEST
00000f33: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000f54: DUP2
00000f55: JUMP
00000f56: JUMPDEST
00000f57: PUSH1 0x39
00000f59: SLOAD
00000f5a: PUSH1 0xff
00000f5c: AND
00000f5d: SWAP1
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: PUSH1 0x3b
00000f62: SLOAD
00000f63: DUP2
00000f64: JUMP
00000f65: JUMPDEST
00000f66: PUSH1 0x00
00000f68: PUSH2 0x0846
00000f6b: PUSH2 0x0f72
00000f6e: PUSH2 0x191c
00000f71: JUMP
00000f72: JUMPDEST
00000f73: DUP5
00000f74: PUSH2 0x0eea
00000f77: DUP6
00000f78: PUSH1 0x35
00000f7a: PUSH1 0x00
00000f7c: PUSH2 0x0f83
00000f7f: PUSH2 0x191c
00000f82: JUMP
00000f83: JUMPDEST
00000f84: PUSH1 0x01
00000f86: PUSH1 0x01
00000f88: PUSH1 0xa0
00000f8a: SHL
00000f8b: SUB
00000f8c: SWAP1
00000f8d: DUP2
00000f8e: AND
00000f8f: DUP3
00000f90: MSTORE
00000f91: PUSH1 0x20
00000f93: DUP1
00000f94: DUP4
00000f95: ADD
00000f96: SWAP4
00000f97: SWAP1
00000f98: SWAP4
00000f99: MSTORE
00000f9a: PUSH1 0x40
00000f9c: SWAP2
00000f9d: DUP3
00000f9e: ADD
00000f9f: PUSH1 0x00
00000fa1: SWAP1
00000fa2: DUP2
00000fa3: KECCAK256
00000fa4: SWAP2
00000fa5: DUP13
00000fa6: AND
00000fa7: DUP2
00000fa8: MSTORE
00000fa9: SWAP3
00000faa: MSTORE
00000fab: SWAP1
00000fac: KECCAK256
00000fad: SLOAD
00000fae: SWAP1
00000faf: PUSH2 0x1df1
00000fb2: JUMP
00000fb3: JUMPDEST
00000fb4: PUSH1 0x3c
00000fb6: SLOAD
00000fb7: PUSH1 0x00
00000fb9: SWAP1
00000fba: PUSH1 0x01
00000fbc: PUSH1 0x01
00000fbe: PUSH1 0xa0
00000fc0: SHL
00000fc1: SUB
00000fc2: AND
00000fc3: PUSH2 0x0fca
00000fc6: PUSH2 0x191c
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: PUSH1 0x01
00000fcd: PUSH1 0x01
00000fcf: PUSH1 0xa0
00000fd1: SHL
00000fd2: SUB
00000fd3: AND
00000fd4: EQ
00000fd5: PUSH1 0x40
00000fd7: MLOAD
00000fd8: DUP1
00000fd9: PUSH1 0x40
00000fdb: ADD
00000fdc: PUSH1 0x40
00000fde: MSTORE
00000fdf: DUP1
00000fe0: PUSH1 0x02
00000fe2: DUP2
00000fe3: MSTORE
00000fe4: PUSH1 0x20
00000fe6: ADD
00000fe7: PUSH2 0x3239
00000fea: PUSH1 0xf0
00000fec: SHL
00000fed: DUP2
00000fee: MSTORE
00000fef: POP
00000ff0: SWAP1
00000ff1: PUSH2 0x103b
00000ff4: JUMPI
00000ff5: PUSH1 0x40
00000ff7: MLOAD
00000ff8: PUSH3 0x461bcd
00000ffc: PUSH1 0xe5
00000ffe: SHL
00000fff: DUP2
00001000: MSTORE
00001001: PUSH1 0x20
00001003: PUSH1 0x04
00001005: DUP3
00001006: ADD
00001007: DUP2
00001008: DUP2
00001009: MSTORE
0000100a: DUP4
0000100b: MLOAD
0000100c: PUSH1 0x24
0000100e: DUP5
0000100f: ADD
00001010: MSTORE
00001011: DUP4
00001012: MLOAD
00001013: SWAP1
00001014: SWAP3
00001015: DUP4
00001016: SWAP3
00001017: PUSH1 0x44
00001019: SWAP1
0000101a: SWAP2
0000101b: ADD
0000101c: SWAP2
0000101d: SWAP1
0000101e: DUP6
0000101f: ADD
00001020: SWAP1
00001021: DUP1
00001022: DUP4
00001023: DUP4
00001024: PUSH1 0x00
00001026: DUP4
00001027: ISZERO
00001028: PUSH2 0x08fc
0000102b: JUMPI
0000102c: DUP2
0000102d: DUP2
0000102e: ADD
0000102f: MLOAD
00001030: DUP4
00001031: DUP3
00001032: ADD
00001033: MSTORE
00001034: PUSH1 0x20
00001036: ADD
00001037: PUSH2 0x08e4
0000103a: JUMP
0000103b: JUMPDEST
0000103c: POP
0000103d: PUSH1 0x3e
0000103f: SLOAD
00001040: PUSH2 0x1053
00001043: SWAP1
00001044: PUSH1 0x01
00001046: PUSH1 0x01
00001048: PUSH1 0xa0
0000104a: SHL
0000104b: SUB
0000104c: AND
0000104d: DUP5
0000104e: DUP5
0000104f: PUSH2 0x1e52
00001052: JUMP
00001053: JUMPDEST
00001054: POP
00001055: SWAP2
00001056: SWAP1
00001057: POP
00001058: JUMP
00001059: JUMPDEST
0000105a: PUSH1 0x3c
0000105c: SLOAD
0000105d: PUSH1 0x3e
0000105f: SLOAD
00001060: PUSH1 0x40
00001062: DUP1
00001063: MLOAD
00001064: PUSH4 0xd15e0053
00001069: PUSH1 0xe0
0000106b: SHL
0000106c: DUP2
0000106d: MSTORE
0000106e: PUSH1 0x01
00001070: PUSH1 0x01
00001072: PUSH1 0xa0
00001074: SHL
00001075: SUB
00001076: SWAP3
00001077: DUP4
00001078: AND
00001079: PUSH1 0x04
0000107b: DUP3
0000107c: ADD
0000107d: MSTORE
0000107e: SWAP1
0000107f: MLOAD
00001080: PUSH1 0x00
00001082: SWAP4
00001083: PUSH2 0x084a
00001086: SWAP4
00001087: AND
00001088: SWAP2
00001089: PUSH4 0xd15e0053
0000108e: SWAP2
0000108f: PUSH1 0x24
00001091: DUP1
00001092: DUP4
00001093: ADD
00001094: SWAP3
00001095: PUSH1 0x20
00001097: SWAP3
00001098: SWAP2
00001099: SWAP1
0000109a: DUP3
0000109b: SWAP1
0000109c: SUB
0000109d: ADD
0000109e: DUP2
0000109f: DUP7
000010a0: DUP1
000010a1: EXTCODESIZE
000010a2: ISZERO
000010a3: DUP1
000010a4: ISZERO
000010a5: PUSH2 0x10ad
000010a8: JUMPI
000010a9: PUSH1 0x00
000010ab: DUP1
000010ac: REVERT
000010ad: JUMPDEST
000010ae: POP
000010af: GAS
000010b0: STATICCALL
000010b1: ISZERO
000010b2: DUP1
000010b3: ISZERO
000010b4: PUSH2 0x10c1
000010b7: JUMPI
000010b8: RETURNDATASIZE
000010b9: PUSH1 0x00
000010bb: DUP1
000010bc: RETURNDATACOPY
000010bd: RETURNDATASIZE
000010be: PUSH1 0x00
000010c0: REVERT
000010c1: JUMPDEST
000010c2: POP
000010c3: POP
000010c4: POP
000010c5: POP
000010c6: PUSH1 0x40
000010c8: MLOAD
000010c9: RETURNDATASIZE
000010ca: PUSH1 0x20
000010cc: DUP2
000010cd: LT
000010ce: ISZERO
000010cf: PUSH2 0x10d7
000010d2: JUMPI
000010d3: PUSH1 0x00
000010d5: DUP1
000010d6: REVERT
000010d7: JUMPDEST
000010d8: POP
000010d9: MLOAD
000010da: PUSH2 0x10e2
000010dd: DUP5
000010de: PUSH2 0x1a0c
000010e1: JUMP
000010e2: JUMPDEST
000010e3: SWAP1
000010e4: PUSH2 0x1c85
000010e7: JUMP
000010e8: JUMPDEST
000010e9: PUSH1 0x3c
000010eb: SLOAD
000010ec: PUSH1 0x01
000010ee: PUSH1 0x01
000010f0: PUSH1 0xa0
000010f2: SHL
000010f3: SUB
000010f4: AND
000010f5: SWAP1
000010f6: JUMP
000010f7: JUMPDEST
000010f8: PUSH1 0x00
000010fa: PUSH2 0x1101
000010fd: PUSH2 0x1ea4
00001100: JUMP
00001101: JUMPDEST
00001102: SWAP1
00001103: POP
00001104: SWAP1
00001105: JUMP
00001106: JUMPDEST
00001107: PUSH1 0x40
00001109: MLOAD
0000110a: DUP1
0000110b: PUSH1 0x40
0000110d: ADD
0000110e: PUSH1 0x40
00001110: MSTORE
00001111: DUP1
00001112: PUSH1 0x01
00001114: DUP2
00001115: MSTORE
00001116: PUSH1 0x20
00001118: ADD
00001119: PUSH1 0x31
0000111b: PUSH1 0xf8
0000111d: SHL
0000111e: DUP2
0000111f: MSTORE
00001120: POP
00001121: DUP2
00001122: JUMP
00001123: JUMPDEST
00001124: PUSH1 0x3c
00001126: SLOAD
00001127: PUSH1 0x01
00001129: PUSH1 0x01
0000112b: PUSH1 0xa0
0000112d: SHL
0000112e: SUB
0000112f: AND
00001130: PUSH2 0x1137
00001133: PUSH2 0x191c
00001136: JUMP
00001137: JUMPDEST
00001138: PUSH1 0x01
0000113a: PUSH1 0x01
0000113c: PUSH1 0xa0
0000113e: SHL
0000113f: SUB
00001140: AND
00001141: EQ
00001142: PUSH1 0x40
00001144: MLOAD
00001145: DUP1
00001146: PUSH1 0x40
00001148: ADD
00001149: PUSH1 0x40
0000114b: MSTORE
0000114c: DUP1
0000114d: PUSH1 0x02
0000114f: DUP2
00001150: MSTORE
00001151: PUSH1 0x20
00001153: ADD
00001154: PUSH2 0x3239
00001157: PUSH1 0xf0
00001159: SHL
0000115a: DUP2
0000115b: MSTORE
0000115c: POP
0000115d: SWAP1
0000115e: PUSH2 0x11a8
00001161: JUMPI
00001162: PUSH1 0x40
00001164: MLOAD
00001165: PUSH3 0x461bcd
00001169: PUSH1 0xe5
0000116b: SHL
0000116c: DUP2
0000116d: MSTORE
0000116e: PUSH1 0x20
00001170: PUSH1 0x04
00001172: DUP3
00001173: ADD
00001174: DUP2
00001175: DUP2
00001176: MSTORE
00001177: DUP4
00001178: MLOAD
00001179: PUSH1 0x24
0000117b: DUP5
0000117c: ADD
0000117d: MSTORE
0000117e: DUP4
0000117f: MLOAD
00001180: SWAP1
00001181: SWAP3
00001182: DUP4
00001183: SWAP3
00001184: PUSH1 0x44
00001186: SWAP1
00001187: SWAP2
00001188: ADD
00001189: SWAP2
0000118a: SWAP1
0000118b: DUP6
0000118c: ADD
0000118d: SWAP1
0000118e: DUP1
0000118f: DUP4
00001190: DUP4
00001191: PUSH1 0x00
00001193: DUP4
00001194: ISZERO
00001195: PUSH2 0x08fc
00001198: JUMPI
00001199: DUP2
0000119a: DUP2
0000119b: ADD
0000119c: MLOAD
0000119d: DUP4
0000119e: DUP3
0000119f: ADD
000011a0: MSTORE
000011a1: PUSH1 0x20
000011a3: ADD
000011a4: PUSH2 0x08e4
000011a7: JUMP
000011a8: JUMPDEST
000011a9: POP
000011aa: DUP2
000011ab: PUSH2 0x11b3
000011ae: JUMPI
000011af: PUSH2 0x1246
000011b2: JUMP
000011b3: JUMPDEST
000011b4: PUSH1 0x3d
000011b6: SLOAD
000011b7: PUSH1 0x01
000011b9: PUSH1 0x01
000011bb: PUSH1 0xa0
000011bd: SHL
000011be: SUB
000011bf: AND
000011c0: PUSH2 0x11d2
000011c3: DUP2
000011c4: PUSH2 0x11cd
000011c7: DUP6
000011c8: DUP6
000011c9: PUSH2 0x1a2d
000011cc: JUMP
000011cd: JUMPDEST
000011ce: PUSH2 0x1b34
000011d1: JUMP
000011d2: JUMPDEST
000011d3: PUSH1 0x40
000011d5: DUP1
000011d6: MLOAD
000011d7: DUP5
000011d8: DUP2
000011d9: MSTORE
000011da: SWAP1
000011db: MLOAD
000011dc: PUSH1 0x01
000011de: PUSH1 0x01
000011e0: PUSH1 0xa0
000011e2: SHL
000011e3: SUB
000011e4: DUP4
000011e5: AND
000011e6: SWAP2
000011e7: PUSH1 0x00
000011e9: SWAP2
000011ea: PUSH1 0x00
000011ec: DUP1
000011ed: MLOAD
000011ee: PUSH1 0x20
000011f0: PUSH2 0x2714
000011f3: DUP4
000011f4: CODECOPY
000011f5: DUP2
000011f6: MLOAD
000011f7: SWAP2
000011f8: MSTORE
000011f9: SWAP2
000011fa: DUP2
000011fb: SWAP1
000011fc: SUB
000011fd: PUSH1 0x20
000011ff: ADD
00001200: SWAP1
00001201: LOG3
00001202: PUSH1 0x40
00001204: DUP1
00001205: MLOAD
00001206: DUP5
00001207: DUP2
00001208: MSTORE
00001209: PUSH1 0x20
0000120b: DUP2
0000120c: ADD
0000120d: DUP5
0000120e: SWAP1
0000120f: MSTORE
00001210: DUP2
00001211: MLOAD
00001212: PUSH1 0x01
00001214: PUSH1 0x01
00001216: PUSH1 0xa0
00001218: SHL
00001219: SUB
0000121a: DUP5
0000121b: AND
0000121c: SWAP3
0000121d: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
0000123e: SWAP3
0000123f: DUP3
00001240: SWAP1
00001241: SUB
00001242: ADD
00001243: SWAP1
00001244: LOG2
00001245: POP
00001246: JUMPDEST
00001247: POP
00001248: POP
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH1 0x3c
0000124d: SLOAD
0000124e: PUSH1 0x01
00001250: PUSH1 0x01
00001252: PUSH1 0xa0
00001254: SHL
00001255: SUB
00001256: AND
00001257: PUSH2 0x125e
0000125a: PUSH2 0x191c
0000125d: JUMP
0000125e: JUMPDEST
0000125f: PUSH1 0x01
00001261: PUSH1 0x01
00001263: PUSH1 0xa0
00001265: SHL
00001266: SUB
00001267: AND
00001268: EQ
00001269: PUSH1 0x40
0000126b: MLOAD
0000126c: DUP1
0000126d: PUSH1 0x40
0000126f: ADD
00001270: PUSH1 0x40
00001272: MSTORE
00001273: DUP1
00001274: PUSH1 0x02
00001276: DUP2
00001277: MSTORE
00001278: PUSH1 0x20
0000127a: ADD
0000127b: PUSH2 0x3239
0000127e: PUSH1 0xf0
00001280: SHL
00001281: DUP2
00001282: MSTORE
00001283: POP
00001284: SWAP1
00001285: PUSH2 0x12cf
00001288: JUMPI
00001289: PUSH1 0x40
0000128b: MLOAD
0000128c: PUSH3 0x461bcd
00001290: PUSH1 0xe5
00001292: SHL
00001293: DUP2
00001294: MSTORE
00001295: PUSH1 0x20
00001297: PUSH1 0x04
00001299: DUP3
0000129a: ADD
0000129b: DUP2
0000129c: DUP2
0000129d: MSTORE
0000129e: DUP4
0000129f: MLOAD
000012a0: PUSH1 0x24
000012a2: DUP5
000012a3: ADD
000012a4: MSTORE
000012a5: DUP4
000012a6: MLOAD
000012a7: SWAP1
000012a8: SWAP3
000012a9: DUP4
000012aa: SWAP3
000012ab: PUSH1 0x44
000012ad: SWAP1
000012ae: SWAP2
000012af: ADD
000012b0: SWAP2
000012b1: SWAP1
000012b2: DUP6
000012b3: ADD
000012b4: SWAP1
000012b5: DUP1
000012b6: DUP4
000012b7: DUP4
000012b8: PUSH1 0x00
000012ba: DUP4
000012bb: ISZERO
000012bc: PUSH2 0x08fc
000012bf: JUMPI
000012c0: DUP2
000012c1: DUP2
000012c2: ADD
000012c3: MLOAD
000012c4: DUP4
000012c5: DUP3
000012c6: ADD
000012c7: MSTORE
000012c8: PUSH1 0x20
000012ca: ADD
000012cb: PUSH2 0x08e4
000012ce: JUMP
000012cf: JUMPDEST
000012d0: POP
000012d1: POP
000012d2: POP
000012d3: JUMP
000012d4: JUMPDEST
000012d5: PUSH1 0x38
000012d7: DUP1
000012d8: SLOAD
000012d9: PUSH1 0x40
000012db: DUP1
000012dc: MLOAD
000012dd: PUSH1 0x20
000012df: PUSH1 0x1f
000012e1: PUSH1 0x02
000012e3: PUSH1 0x00
000012e5: NOT
000012e6: PUSH2 0x0100
000012e9: PUSH1 0x01
000012eb: DUP9
000012ec: AND
000012ed: ISZERO
000012ee: MUL
000012ef: ADD
000012f0: SWAP1
000012f1: SWAP6
000012f2: AND
000012f3: SWAP5
000012f4: SWAP1
000012f5: SWAP5
000012f6: DIV
000012f7: SWAP4
000012f8: DUP5
000012f9: ADD
000012fa: DUP2
000012fb: SWAP1
000012fc: DIV
000012fd: DUP2
000012fe: MUL
000012ff: DUP3
00001300: ADD
00001301: DUP2
00001302: ADD
00001303: SWAP1
00001304: SWAP3
00001305: MSTORE
00001306: DUP3
00001307: DUP2
00001308: MSTORE
00001309: PUSH1 0x60
0000130b: SWAP4
0000130c: SWAP1
0000130d: SWAP3
0000130e: SWAP1
0000130f: SWAP2
00001310: DUP4
00001311: ADD
00001312: DUP3
00001313: DUP3
00001314: DUP1
00001315: ISZERO
00001316: PUSH2 0x0827
00001319: JUMPI
0000131a: DUP1
0000131b: PUSH1 0x1f
0000131d: LT
0000131e: PUSH2 0x07fc
00001321: JUMPI
00001322: PUSH2 0x0100
00001325: DUP1
00001326: DUP4
00001327: SLOAD
00001328: DIV
00001329: MUL
0000132a: DUP4
0000132b: MSTORE
0000132c: SWAP2
0000132d: PUSH1 0x20
0000132f: ADD
00001330: SWAP2
00001331: PUSH2 0x0827
00001334: JUMP
00001335: JUMPDEST
00001336: PUSH1 0x00
00001338: PUSH2 0x0846
0000133b: PUSH2 0x1342
0000133e: PUSH2 0x191c
00001341: JUMP
00001342: JUMPDEST
00001343: DUP5
00001344: PUSH2 0x0eea
00001347: DUP6
00001348: PUSH1 0x40
0000134a: MLOAD
0000134b: DUP1
0000134c: PUSH1 0x60
0000134e: ADD
0000134f: PUSH1 0x40
00001351: MSTORE
00001352: DUP1
00001353: PUSH1 0x25
00001355: DUP2
00001356: MSTORE
00001357: PUSH1 0x20
00001359: ADD
0000135a: PUSH2 0x27c8
0000135d: PUSH1 0x25
0000135f: SWAP2
00001360: CODECOPY
00001361: PUSH1 0x35
00001363: PUSH1 0x00
00001365: PUSH2 0x136c
00001368: PUSH2 0x191c
0000136b: JUMP
0000136c: JUMPDEST
0000136d: PUSH1 0x01
0000136f: PUSH1 0x01
00001371: PUSH1 0xa0
00001373: SHL
00001374: SUB
00001375: SWAP1
00001376: DUP2
00001377: AND
00001378: DUP3
00001379: MSTORE
0000137a: PUSH1 0x20
0000137c: DUP1
0000137d: DUP4
0000137e: ADD
0000137f: SWAP4
00001380: SWAP1
00001381: SWAP4
00001382: MSTORE
00001383: PUSH1 0x40
00001385: SWAP2
00001386: DUP3
00001387: ADD
00001388: PUSH1 0x00
0000138a: SWAP1
0000138b: DUP2
0000138c: KECCAK256
0000138d: SWAP2
0000138e: DUP14
0000138f: AND
00001390: DUP2
00001391: MSTORE
00001392: SWAP3
00001393: MSTORE
00001394: SWAP1
00001395: KECCAK256
00001396: SLOAD
00001397: SWAP2
00001398: SWAP1
00001399: PUSH2 0x1d97
0000139c: JUMP
0000139d: JUMPDEST
0000139e: PUSH1 0x00
000013a0: PUSH2 0x13b1
000013a3: PUSH2 0x13aa
000013a6: PUSH2 0x191c
000013a9: JUMP
000013aa: JUMPDEST
000013ab: DUP5
000013ac: DUP5
000013ad: PUSH2 0x1d8a
000013b0: JUMP
000013b1: JUMPDEST
000013b2: DUP3
000013b3: PUSH1 0x01
000013b5: PUSH1 0x01
000013b7: PUSH1 0xa0
000013b9: SHL
000013ba: SUB
000013bb: AND
000013bc: PUSH2 0x13c3
000013bf: PUSH2 0x191c
000013c2: JUMP
000013c3: JUMPDEST
000013c4: PUSH1 0x01
000013c6: PUSH1 0x01
000013c8: PUSH1 0xa0
000013ca: SHL
000013cb: SUB
000013cc: AND
000013cd: PUSH1 0x00
000013cf: DUP1
000013d0: MLOAD
000013d1: PUSH1 0x20
000013d3: PUSH2 0x2714
000013d6: DUP4
000013d7: CODECOPY
000013d8: DUP2
000013d9: MLOAD
000013da: SWAP2
000013db: MSTORE
000013dc: DUP5
000013dd: PUSH1 0x40
000013df: MLOAD
000013e0: DUP1
000013e1: DUP3
000013e2: DUP2
000013e3: MSTORE
000013e4: PUSH1 0x20
000013e6: ADD
000013e7: SWAP2
000013e8: POP
000013e9: POP
000013ea: PUSH1 0x40
000013ec: MLOAD
000013ed: DUP1
000013ee: SWAP2
000013ef: SUB
000013f0: SWAP1
000013f1: LOG3
000013f2: POP
000013f3: PUSH1 0x01
000013f5: SWAP3
000013f6: SWAP2
000013f7: POP
000013f8: POP
000013f9: JUMP
000013fa: JUMPDEST
000013fb: PUSH1 0x3d
000013fd: SLOAD
000013fe: PUSH1 0x01
00001400: PUSH1 0x01
00001402: PUSH1 0xa0
00001404: SHL
00001405: SUB
00001406: AND
00001407: SWAP1
00001408: JUMP
00001409: JUMPDEST
0000140a: PUSH1 0x3e
0000140c: SLOAD
0000140d: PUSH1 0x01
0000140f: PUSH1 0x01
00001411: PUSH1 0xa0
00001413: SHL
00001414: SUB
00001415: AND
00001416: SWAP1
00001417: JUMP
00001418: JUMPDEST
00001419: PUSH1 0x00
0000141b: PUSH2 0x1101
0000141e: PUSH2 0x1a27
00001421: JUMP
00001422: JUMPDEST
00001423: PUSH1 0x3a
00001425: PUSH1 0x20
00001427: MSTORE
00001428: PUSH1 0x00
0000142a: SWAP1
0000142b: DUP2
0000142c: MSTORE
0000142d: PUSH1 0x40
0000142f: SWAP1
00001430: KECCAK256
00001431: SLOAD
00001432: DUP2
00001433: JUMP
00001434: JUMPDEST
00001435: PUSH1 0x01
00001437: PUSH1 0x01
00001439: PUSH1 0xa0
0000143b: SHL
0000143c: SUB
0000143d: DUP8
0000143e: AND
0000143f: PUSH2 0x147f
00001442: JUMPI
00001443: PUSH1 0x40
00001445: DUP1
00001446: MLOAD
00001447: PUSH3 0x461bcd
0000144b: PUSH1 0xe5
0000144d: SHL
0000144e: DUP2
0000144f: MSTORE
00001450: PUSH1 0x20
00001452: PUSH1 0x04
00001454: DUP3
00001455: ADD
00001456: MSTORE
00001457: PUSH1 0x0d
00001459: PUSH1 0x24
0000145b: DUP3
0000145c: ADD
0000145d: MSTORE
0000145e: PUSH13 0x24a72b20a624a22fa7aba722a9
0000146c: PUSH1 0x99
0000146e: SHL
0000146f: PUSH1 0x44
00001471: DUP3
00001472: ADD
00001473: MSTORE
00001474: SWAP1
00001475: MLOAD
00001476: SWAP1
00001477: DUP2
00001478: SWAP1
00001479: SUB
0000147a: PUSH1 0x64
0000147c: ADD
0000147d: SWAP1
0000147e: REVERT
0000147f: JUMPDEST
00001480: DUP4
00001481: TIMESTAMP
00001482: GT
00001483: ISZERO
00001484: PUSH2 0x14c9
00001487: JUMPI
00001488: PUSH1 0x40
0000148a: DUP1
0000148b: MLOAD
0000148c: PUSH3 0x461bcd
00001490: PUSH1 0xe5
00001492: SHL
00001493: DUP2
00001494: MSTORE
00001495: PUSH1 0x20
00001497: PUSH1 0x04
00001499: DUP3
0000149a: ADD
0000149b: MSTORE
0000149c: PUSH1 0x12
0000149e: PUSH1 0x24
000014a0: DUP3
000014a1: ADD
000014a2: MSTORE
000014a3: PUSH18 0x24a72b20a624a22fa2ac2824a920aa24a7a7
000014b6: PUSH1 0x71
000014b8: SHL
000014b9: PUSH1 0x44
000014bb: DUP3
000014bc: ADD
000014bd: MSTORE
000014be: SWAP1
000014bf: MLOAD
000014c0: SWAP1
000014c1: DUP2
000014c2: SWAP1
000014c3: SUB
000014c4: PUSH1 0x64
000014c6: ADD
000014c7: SWAP1
000014c8: REVERT
000014c9: JUMPDEST
000014ca: PUSH1 0x01
000014cc: PUSH1 0x01
000014ce: PUSH1 0xa0
000014d0: SHL
000014d1: SUB
000014d2: DUP1
000014d3: DUP9
000014d4: AND
000014d5: PUSH1 0x00
000014d7: DUP2
000014d8: DUP2
000014d9: MSTORE
000014da: PUSH1 0x3a
000014dc: PUSH1 0x20
000014de: SWAP1
000014df: DUP2
000014e0: MSTORE
000014e1: PUSH1 0x40
000014e3: DUP1
000014e4: DUP4
000014e5: KECCAK256
000014e6: SLOAD
000014e7: PUSH1 0x3b
000014e9: SLOAD
000014ea: DUP3
000014eb: MLOAD
000014ec: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
0000150d: DUP2
0000150e: DUP7
0000150f: ADD
00001510: MSTORE
00001511: DUP1
00001512: DUP5
00001513: ADD
00001514: SWAP7
00001515: SWAP1
00001516: SWAP7
00001517: MSTORE
00001518: SWAP6
00001519: DUP13
0000151a: AND
0000151b: PUSH1 0x60
0000151d: DUP7
0000151e: ADD
0000151f: MSTORE
00001520: PUSH1 0x80
00001522: DUP6
00001523: ADD
00001524: DUP12
00001525: SWAP1
00001526: MSTORE
00001527: PUSH1 0xa0
00001529: DUP6
0000152a: ADD
0000152b: DUP2
0000152c: SWAP1
0000152d: MSTORE
0000152e: PUSH1 0xc0
00001530: DUP1
00001531: DUP7
00001532: ADD
00001533: DUP12
00001534: SWAP1
00001535: MSTORE
00001536: DUP3
00001537: MLOAD
00001538: DUP1
00001539: DUP8
0000153a: SUB
0000153b: SWAP1
0000153c: SWAP2
0000153d: ADD
0000153e: DUP2
0000153f: MSTORE
00001540: PUSH1 0xe0
00001542: DUP7
00001543: ADD
00001544: DUP4
00001545: MSTORE
00001546: DUP1
00001547: MLOAD
00001548: SWAP1
00001549: DUP5
0000154a: ADD
0000154b: KECCAK256
0000154c: PUSH2 0x1901
0000154f: PUSH1 0xf0
00001551: SHL
00001552: PUSH2 0x0100
00001555: DUP8
00001556: ADD
00001557: MSTORE
00001558: PUSH2 0x0102
0000155b: DUP7
0000155c: ADD
0000155d: SWAP7
0000155e: SWAP1
0000155f: SWAP7
00001560: MSTORE
00001561: PUSH2 0x0122
00001564: DUP1
00001565: DUP7
00001566: ADD
00001567: SWAP7
00001568: SWAP1
00001569: SWAP7
0000156a: MSTORE
0000156b: DUP2
0000156c: MLOAD
0000156d: DUP1
0000156e: DUP7
0000156f: SUB
00001570: SWAP1
00001571: SWAP7
00001572: ADD
00001573: DUP7
00001574: MSTORE
00001575: PUSH2 0x0142
00001578: DUP6
00001579: ADD
0000157a: DUP1
0000157b: DUP4
0000157c: MSTORE
0000157d: DUP7
0000157e: MLOAD
0000157f: SWAP7
00001580: DUP5
00001581: ADD
00001582: SWAP7
00001583: SWAP1
00001584: SWAP7
00001585: KECCAK256
00001586: SWAP4
00001587: SWAP1
00001588: SWAP6
00001589: MSTORE
0000158a: PUSH2 0x0162
0000158d: DUP5
0000158e: ADD
0000158f: DUP1
00001590: DUP3
00001591: MSTORE
00001592: DUP4
00001593: SWAP1
00001594: MSTORE
00001595: PUSH1 0xff
00001597: DUP9
00001598: AND
00001599: PUSH2 0x0182
0000159c: DUP6
0000159d: ADD
0000159e: MSTORE
0000159f: PUSH2 0x01a2
000015a2: DUP5
000015a3: ADD
000015a4: DUP8
000015a5: SWAP1
000015a6: MSTORE
000015a7: PUSH2 0x01c2
000015aa: DUP5
000015ab: ADD
000015ac: DUP7
000015ad: SWAP1
000015ae: MSTORE
000015af: MLOAD
000015b0: SWAP2
000015b1: SWAP3
000015b2: PUSH1 0x01
000015b4: SWAP3
000015b5: PUSH2 0x01e2
000015b8: DUP1
000015b9: DUP4
000015ba: ADD
000015bb: SWAP4
000015bc: SWAP3
000015bd: PUSH1 0x1f
000015bf: NOT
000015c0: DUP4
000015c1: ADD
000015c2: SWAP3
000015c3: SWAP1
000015c4: DUP2
000015c5: SWAP1
000015c6: SUB
000015c7: SWAP1
000015c8: SWAP2
000015c9: ADD
000015ca: SWAP1
000015cb: DUP6
000015cc: GAS
000015cd: STATICCALL
000015ce: ISZERO
000015cf: DUP1
000015d0: ISZERO
000015d1: PUSH2 0x15de
000015d4: JUMPI
000015d5: RETURNDATASIZE
000015d6: PUSH1 0x00
000015d8: DUP1
000015d9: RETURNDATACOPY
000015da: RETURNDATASIZE
000015db: PUSH1 0x00
000015dd: REVERT
000015de: JUMPDEST
000015df: POP
000015e0: POP
000015e1: POP
000015e2: PUSH1 0x20
000015e4: PUSH1 0x40
000015e6: MLOAD
000015e7: SUB
000015e8: MLOAD
000015e9: PUSH1 0x01
000015eb: PUSH1 0x01
000015ed: PUSH1 0xa0
000015ef: SHL
000015f0: SUB
000015f1: AND
000015f2: DUP10
000015f3: PUSH1 0x01
000015f5: PUSH1 0x01
000015f7: PUSH1 0xa0
000015f9: SHL
000015fa: SUB
000015fb: AND
000015fc: EQ
000015fd: PUSH2 0x1641
00001600: JUMPI
00001601: PUSH1 0x40
00001603: DUP1
00001604: MLOAD
00001605: PUSH3 0x461bcd
00001609: PUSH1 0xe5
0000160b: SHL
0000160c: DUP2
0000160d: MSTORE
0000160e: PUSH1 0x20
00001610: PUSH1 0x04
00001612: DUP3
00001613: ADD
00001614: MSTORE
00001615: PUSH1 0x11
00001617: PUSH1 0x24
00001619: DUP3
0000161a: ADD
0000161b: MSTORE
0000161c: PUSH17 0x494e56414c49445f5349474e4154555245
0000162e: PUSH1 0x78
00001630: SHL
00001631: PUSH1 0x44
00001633: DUP3
00001634: ADD
00001635: MSTORE
00001636: SWAP1
00001637: MLOAD
00001638: SWAP1
00001639: DUP2
0000163a: SWAP1
0000163b: SUB
0000163c: PUSH1 0x64
0000163e: ADD
0000163f: SWAP1
00001640: REVERT
00001641: JUMPDEST
00001642: PUSH2 0x164c
00001645: DUP3
00001646: PUSH1 0x01
00001648: PUSH2 0x1df1
0000164b: JUMP
0000164c: JUMPDEST
0000164d: PUSH1 0x01
0000164f: PUSH1 0x01
00001651: PUSH1 0xa0
00001653: SHL
00001654: SUB
00001655: DUP11
00001656: AND
00001657: PUSH1 0x00
00001659: SWAP1
0000165a: DUP2
0000165b: MSTORE
0000165c: PUSH1 0x3a
0000165e: PUSH1 0x20
00001660: MSTORE
00001661: PUSH1 0x40
00001663: SWAP1
00001664: KECCAK256
00001665: SSTORE
00001666: PUSH2 0x1670
00001669: DUP10
0000166a: DUP10
0000166b: DUP10
0000166c: PUSH2 0x1920
0000166f: JUMP
00001670: JUMPDEST
00001671: POP
00001672: POP
00001673: POP
00001674: POP
00001675: POP
00001676: POP
00001677: POP
00001678: POP
00001679: POP
0000167a: JUMP
0000167b: JUMPDEST
0000167c: PUSH1 0x3c
0000167e: SLOAD
0000167f: PUSH1 0x01
00001681: PUSH1 0x01
00001683: PUSH1 0xa0
00001685: SHL
00001686: SUB
00001687: AND
00001688: PUSH2 0x168f
0000168b: PUSH2 0x191c
0000168e: JUMP
0000168f: JUMPDEST
00001690: PUSH1 0x01
00001692: PUSH1 0x01
00001694: PUSH1 0xa0
00001696: SHL
00001697: SUB
00001698: AND
00001699: EQ
0000169a: PUSH1 0x40
0000169c: MLOAD
0000169d: DUP1
0000169e: PUSH1 0x40
000016a0: ADD
000016a1: PUSH1 0x40
000016a3: MSTORE
000016a4: DUP1
000016a5: PUSH1 0x02
000016a7: DUP2
000016a8: MSTORE
000016a9: PUSH1 0x20
000016ab: ADD
000016ac: PUSH2 0x3239
000016af: PUSH1 0xf0
000016b1: SHL
000016b2: DUP2
000016b3: MSTORE
000016b4: POP
000016b5: SWAP1
000016b6: PUSH2 0x1700
000016b9: JUMPI
000016ba: PUSH1 0x40
000016bc: MLOAD
000016bd: PUSH3 0x461bcd
000016c1: PUSH1 0xe5
000016c3: SHL
000016c4: DUP2
000016c5: MSTORE
000016c6: PUSH1 0x20
000016c8: PUSH1 0x04
000016ca: DUP3
000016cb: ADD
000016cc: DUP2
000016cd: DUP2
000016ce: MSTORE
000016cf: DUP4
000016d0: MLOAD
000016d1: PUSH1 0x24
000016d3: DUP5
000016d4: ADD
000016d5: MSTORE
000016d6: DUP4
000016d7: MLOAD
000016d8: SWAP1
000016d9: SWAP3
000016da: DUP4
000016db: SWAP3
000016dc: PUSH1 0x44
000016de: SWAP1
000016df: SWAP2
000016e0: ADD
000016e1: SWAP2
000016e2: SWAP1
000016e3: DUP6
000016e4: ADD
000016e5: SWAP1
000016e6: DUP1
000016e7: DUP4
000016e8: DUP4
000016e9: PUSH1 0x00
000016eb: DUP4
000016ec: ISZERO
000016ed: PUSH2 0x08fc
000016f0: JUMPI
000016f1: DUP2
000016f2: DUP2
000016f3: ADD
000016f4: MLOAD
000016f5: DUP4
000016f6: DUP3
000016f7: ADD
000016f8: MSTORE
000016f9: PUSH1 0x20
000016fb: ADD
000016fc: PUSH2 0x08e4
000016ff: JUMP
00001700: JUMPDEST
00001701: POP
00001702: PUSH1 0x00
00001704: PUSH2 0x170d
00001707: DUP4
00001708: DUP4
00001709: PUSH2 0x1a2d
0000170c: JUMP
0000170d: JUMPDEST
0000170e: PUSH1 0x40
00001710: DUP1
00001711: MLOAD
00001712: DUP1
00001713: DUP3
00001714: ADD
00001715: SWAP1
00001716: SWAP2
00001717: MSTORE
00001718: PUSH1 0x02
0000171a: DUP2
0000171b: MSTORE
0000171c: PUSH2 0x06a7
0000171f: PUSH1 0xf3
00001721: SHL
00001722: PUSH1 0x20
00001724: DUP3
00001725: ADD
00001726: MSTORE
00001727: SWAP1
00001728: SWAP2
00001729: POP
0000172a: DUP2
0000172b: PUSH2 0x1775
0000172e: JUMPI
0000172f: PUSH1 0x40
00001731: MLOAD
00001732: PUSH3 0x461bcd
00001736: PUSH1 0xe5
00001738: SHL
00001739: DUP2
0000173a: MSTORE
0000173b: PUSH1 0x20
0000173d: PUSH1 0x04
0000173f: DUP3
00001740: ADD
00001741: DUP2
00001742: DUP2
00001743: MSTORE
00001744: DUP4
00001745: MLOAD
00001746: PUSH1 0x24
00001748: DUP5
00001749: ADD
0000174a: MSTORE
0000174b: DUP4
0000174c: MLOAD
0000174d: SWAP1
0000174e: SWAP3
0000174f: DUP4
00001750: SWAP3
00001751: PUSH1 0x44
00001753: SWAP1
00001754: SWAP2
00001755: ADD
00001756: SWAP2
00001757: SWAP1
00001758: DUP6
00001759: ADD
0000175a: SWAP1
0000175b: DUP1
0000175c: DUP4
0000175d: DUP4
0000175e: PUSH1 0x00
00001760: DUP4
00001761: ISZERO
00001762: PUSH2 0x08fc
00001765: JUMPI
00001766: DUP2
00001767: DUP2
00001768: ADD
00001769: MLOAD
0000176a: DUP4
0000176b: DUP3
0000176c: ADD
0000176d: MSTORE
0000176e: PUSH1 0x20
00001770: ADD
00001771: PUSH2 0x08e4
00001774: JUMP
00001775: JUMPDEST
00001776: POP
00001777: PUSH2 0x1780
0000177a: DUP6
0000177b: DUP3
0000177c: PUSH2 0x1eb3
0000177f: JUMP
00001780: JUMPDEST
00001781: PUSH1 0x3e
00001783: SLOAD
00001784: PUSH2 0x1797
00001787: SWAP1
00001788: PUSH1 0x01
0000178a: PUSH1 0x01
0000178c: PUSH1 0xa0
0000178e: SHL
0000178f: SUB
00001790: AND
00001791: DUP6
00001792: DUP6
00001793: PUSH2 0x1e52
00001796: JUMP
00001797: JUMPDEST
00001798: PUSH1 0x40
0000179a: DUP1
0000179b: MLOAD
0000179c: DUP5
0000179d: DUP2
0000179e: MSTORE
0000179f: SWAP1
000017a0: MLOAD
000017a1: PUSH1 0x00
000017a3: SWAP2
000017a4: PUSH1 0x01
000017a6: PUSH1 0x01
000017a8: PUSH1 0xa0
000017aa: SHL
000017ab: SUB
000017ac: DUP9
000017ad: AND
000017ae: SWAP2
000017af: PUSH1 0x00
000017b1: DUP1
000017b2: MLOAD
000017b3: PUSH1 0x20
000017b5: PUSH2 0x2714
000017b8: DUP4
000017b9: CODECOPY
000017ba: DUP2
000017bb: MLOAD
000017bc: SWAP2
000017bd: MSTORE
000017be: SWAP2
000017bf: DUP2
000017c0: SWAP1
000017c1: SUB
000017c2: PUSH1 0x20
000017c4: ADD
000017c5: SWAP1
000017c6: LOG3
000017c7: DUP4
000017c8: PUSH1 0x01
000017ca: PUSH1 0x01
000017cc: PUSH1 0xa0
000017ce: SHL
000017cf: SUB
000017d0: AND
000017d1: DUP6
000017d2: PUSH1 0x01
000017d4: PUSH1 0x01
000017d6: PUSH1 0xa0
000017d8: SHL
000017d9: SUB
000017da: AND
000017db: PUSH32 0x5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2
000017fc: DUP6
000017fd: DUP6
000017fe: PUSH1 0x40
00001800: MLOAD
00001801: DUP1
00001802: DUP4
00001803: DUP2
00001804: MSTORE
00001805: PUSH1 0x20
00001807: ADD
00001808: DUP3
00001809: DUP2
0000180a: MSTORE
0000180b: PUSH1 0x20
0000180d: ADD
0000180e: SWAP3
0000180f: POP
00001810: POP
00001811: POP
00001812: PUSH1 0x40
00001814: MLOAD
00001815: DUP1
00001816: SWAP2
00001817: SUB
00001818: SWAP1
00001819: LOG3
0000181a: POP
0000181b: POP
0000181c: POP
0000181d: POP
0000181e: POP
0000181f: JUMP
00001820: JUMPDEST
00001821: PUSH1 0x01
00001823: PUSH1 0x01
00001825: PUSH1 0xa0
00001827: SHL
00001828: SUB
00001829: SWAP2
0000182a: DUP3
0000182b: AND
0000182c: PUSH1 0x00
0000182e: SWAP1
0000182f: DUP2
00001830: MSTORE
00001831: PUSH1 0x35
00001833: PUSH1 0x20
00001835: SWAP1
00001836: DUP2
00001837: MSTORE
00001838: PUSH1 0x40
0000183a: DUP1
0000183b: DUP4
0000183c: KECCAK256
0000183d: SWAP4
0000183e: SWAP1
0000183f: SWAP5
00001840: AND
00001841: DUP3
00001842: MSTORE
00001843: SWAP2
00001844: SWAP1
00001845: SWAP2
00001846: MSTORE
00001847: KECCAK256
00001848: SLOAD
00001849: SWAP1
0000184a: JUMP
0000184b: JUMPDEST
0000184c: PUSH1 0x3c
0000184e: SLOAD
0000184f: PUSH1 0x01
00001851: PUSH1 0x01
00001853: PUSH1 0xa0
00001855: SHL
00001856: SUB
00001857: AND
00001858: PUSH2 0x185f
0000185b: PUSH2 0x191c
0000185e: JUMP
0000185f: JUMPDEST
00001860: PUSH1 0x01
00001862: PUSH1 0x01
00001864: PUSH1 0xa0
00001866: SHL
00001867: SUB
00001868: AND
00001869: EQ
0000186a: PUSH1 0x40
0000186c: MLOAD
0000186d: DUP1
0000186e: PUSH1 0x40
00001870: ADD
00001871: PUSH1 0x40
00001873: MSTORE
00001874: DUP1
00001875: PUSH1 0x02
00001877: DUP2
00001878: MSTORE
00001879: PUSH1 0x20
0000187b: ADD
0000187c: PUSH2 0x3239
0000187f: PUSH1 0xf0
00001881: SHL
00001882: DUP2
00001883: MSTORE
00001884: POP
00001885: SWAP1
00001886: PUSH2 0x18d0
00001889: JUMPI
0000188a: PUSH1 0x40
0000188c: MLOAD
0000188d: PUSH3 0x461bcd
00001891: PUSH1 0xe5
00001893: SHL
00001894: DUP2
00001895: MSTORE
00001896: PUSH1 0x20
00001898: PUSH1 0x04
0000189a: DUP3
0000189b: ADD
0000189c: DUP2
0000189d: DUP2
0000189e: MSTORE
0000189f: DUP4
000018a0: MLOAD
000018a1: PUSH1 0x24
000018a3: DUP5
000018a4: ADD
000018a5: MSTORE
000018a6: DUP4
000018a7: MLOAD
000018a8: SWAP1
000018a9: SWAP3
000018aa: DUP4
000018ab: SWAP3
000018ac: PUSH1 0x44
000018ae: SWAP1
000018af: SWAP2
000018b0: ADD
000018b1: SWAP2
000018b2: SWAP1
000018b3: DUP6
000018b4: ADD
000018b5: SWAP1
000018b6: DUP1
000018b7: DUP4
000018b8: DUP4
000018b9: PUSH1 0x00
000018bb: DUP4
000018bc: ISZERO
000018bd: PUSH2 0x08fc
000018c0: JUMPI
000018c1: DUP2
000018c2: DUP2
000018c3: ADD
000018c4: MLOAD
000018c5: DUP4
000018c6: DUP3
000018c7: ADD
000018c8: MSTORE
000018c9: PUSH1 0x20
000018cb: ADD
000018cc: PUSH2 0x08e4
000018cf: JUMP
000018d0: JUMPDEST
000018d1: POP
000018d2: PUSH2 0x18de
000018d5: DUP4
000018d6: DUP4
000018d7: DUP4
000018d8: PUSH1 0x00
000018da: PUSH2 0x1f57
000018dd: JUMP
000018de: JUMPDEST
000018df: DUP2
000018e0: PUSH1 0x01
000018e2: PUSH1 0x01
000018e4: PUSH1 0xa0
000018e6: SHL
000018e7: SUB
000018e8: AND
000018e9: DUP4
000018ea: PUSH1 0x01
000018ec: PUSH1 0x01
000018ee: PUSH1 0xa0
000018f0: SHL
000018f1: SUB
000018f2: AND
000018f3: PUSH1 0x00
000018f5: DUP1
000018f6: MLOAD
000018f7: PUSH1 0x20
000018f9: PUSH2 0x2714
000018fc: DUP4
000018fd: CODECOPY
000018fe: DUP2
000018ff: MLOAD
00001900: SWAP2
00001901: MSTORE
00001902: DUP4
00001903: PUSH1 0x40
00001905: MLOAD
00001906: DUP1
00001907: DUP3
00001908: DUP2
00001909: MSTORE
0000190a: PUSH1 0x20
0000190c: ADD
0000190d: SWAP2
0000190e: POP
0000190f: POP
00001910: PUSH1 0x40
00001912: MLOAD
00001913: DUP1
00001914: SWAP2
00001915: SUB
00001916: SWAP1
00001917: LOG3
00001918: POP
00001919: POP
0000191a: POP
0000191b: JUMP
0000191c: JUMPDEST
0000191d: CALLER
0000191e: SWAP1
0000191f: JUMP
00001920: JUMPDEST
00001921: PUSH1 0x01
00001923: PUSH1 0x01
00001925: PUSH1 0xa0
00001927: SHL
00001928: SUB
00001929: DUP4
0000192a: AND
0000192b: PUSH2 0x1965
0000192e: JUMPI
0000192f: PUSH1 0x40
00001931: MLOAD
00001932: PUSH3 0x461bcd
00001936: PUSH1 0xe5
00001938: SHL
00001939: DUP2
0000193a: MSTORE
0000193b: PUSH1 0x04
0000193d: ADD
0000193e: DUP1
0000193f: DUP1
00001940: PUSH1 0x20
00001942: ADD
00001943: DUP3
00001944: DUP2
00001945: SUB
00001946: DUP3
00001947: MSTORE
00001948: PUSH1 0x24
0000194a: DUP2
0000194b: MSTORE
0000194c: PUSH1 0x20
0000194e: ADD
0000194f: DUP1
00001950: PUSH2 0x277a
00001953: PUSH1 0x24
00001955: SWAP2
00001956: CODECOPY
00001957: PUSH1 0x40
00001959: ADD
0000195a: SWAP2
0000195b: POP
0000195c: POP
0000195d: PUSH1 0x40
0000195f: MLOAD
00001960: DUP1
00001961: SWAP2
00001962: SUB
00001963: SWAP1
00001964: REVERT
00001965: JUMPDEST
00001966: PUSH1 0x01
00001968: PUSH1 0x01
0000196a: PUSH1 0xa0
0000196c: SHL
0000196d: SUB
0000196e: DUP3
0000196f: AND
00001970: PUSH2 0x19aa
00001973: JUMPI
00001974: PUSH1 0x40
00001976: MLOAD
00001977: PUSH3 0x461bcd
0000197b: PUSH1 0xe5
0000197d: SHL
0000197e: DUP2
0000197f: MSTORE
00001980: PUSH1 0x04
00001982: ADD
00001983: DUP1
00001984: DUP1
00001985: PUSH1 0x20
00001987: ADD
00001988: DUP3
00001989: DUP2
0000198a: SUB
0000198b: DUP3
0000198c: MSTORE
0000198d: PUSH1 0x22
0000198f: DUP2
00001990: MSTORE
00001991: PUSH1 0x20
00001993: ADD
00001994: DUP1
00001995: PUSH2 0x2676
00001998: PUSH1 0x22
0000199a: SWAP2
0000199b: CODECOPY
0000199c: PUSH1 0x40
0000199e: ADD
0000199f: SWAP2
000019a0: POP
000019a1: POP
000019a2: PUSH1 0x40
000019a4: MLOAD
000019a5: DUP1
000019a6: SWAP2
000019a7: SUB
000019a8: SWAP1
000019a9: REVERT
000019aa: JUMPDEST
000019ab: PUSH1 0x01
000019ad: PUSH1 0x01
000019af: PUSH1 0xa0
000019b1: SHL
000019b2: SUB
000019b3: DUP1
000019b4: DUP5
000019b5: AND
000019b6: PUSH1 0x00
000019b8: DUP2
000019b9: DUP2
000019ba: MSTORE
000019bb: PUSH1 0x35
000019bd: PUSH1 0x20
000019bf: SWAP1
000019c0: DUP2
000019c1: MSTORE
000019c2: PUSH1 0x40
000019c4: DUP1
000019c5: DUP4
000019c6: KECCAK256
000019c7: SWAP5
000019c8: DUP8
000019c9: AND
000019ca: DUP1
000019cb: DUP5
000019cc: MSTORE
000019cd: SWAP5
000019ce: DUP3
000019cf: MSTORE
000019d0: SWAP2
000019d1: DUP3
000019d2: SWAP1
000019d3: KECCAK256
000019d4: DUP6
000019d5: SWAP1
000019d6: SSTORE
000019d7: DUP2
000019d8: MLOAD
000019d9: DUP6
000019da: DUP2
000019db: MSTORE
000019dc: SWAP2
000019dd: MLOAD
000019de: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000019ff: SWAP3
00001a00: DUP2
00001a01: SWAP1
00001a02: SUB
00001a03: SWAP1
00001a04: SWAP2
00001a05: ADD
00001a06: SWAP1
00001a07: LOG3
00001a08: POP
00001a09: POP
00001a0a: POP
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: PUSH1 0x01
00001a0f: PUSH1 0x01
00001a11: PUSH1 0xa0
00001a13: SHL
00001a14: SUB
00001a15: AND
00001a16: PUSH1 0x00
00001a18: SWAP1
00001a19: DUP2
00001a1a: MSTORE
00001a1b: PUSH1 0x34
00001a1d: PUSH1 0x20
00001a1f: MSTORE
00001a20: PUSH1 0x40
00001a22: SWAP1
00001a23: KECCAK256
00001a24: SLOAD
00001a25: SWAP1
00001a26: JUMP
00001a27: JUMPDEST
00001a28: PUSH1 0x36
00001a2a: SLOAD
00001a2b: SWAP1
00001a2c: JUMP
00001a2d: JUMPDEST
00001a2e: PUSH1 0x40
00001a30: DUP1
00001a31: MLOAD
00001a32: DUP1
00001a33: DUP3
00001a34: ADD
00001a35: SWAP1
00001a36: SWAP2
00001a37: MSTORE
00001a38: PUSH1 0x02
00001a3a: DUP2
00001a3b: MSTORE
00001a3c: PUSH2 0x0353
00001a3f: PUSH1 0xf4
00001a41: SHL
00001a42: PUSH1 0x20
00001a44: DUP3
00001a45: ADD
00001a46: MSTORE
00001a47: PUSH1 0x00
00001a49: SWAP1
00001a4a: DUP3
00001a4b: PUSH2 0x1a95
00001a4e: JUMPI
00001a4f: PUSH1 0x40
00001a51: MLOAD
00001a52: PUSH3 0x461bcd
00001a56: PUSH1 0xe5
00001a58: SHL
00001a59: DUP2
00001a5a: MSTORE
00001a5b: PUSH1 0x20
00001a5d: PUSH1 0x04
00001a5f: DUP3
00001a60: ADD
00001a61: DUP2
00001a62: DUP2
00001a63: MSTORE
00001a64: DUP4
00001a65: MLOAD
00001a66: PUSH1 0x24
00001a68: DUP5
00001a69: ADD
00001a6a: MSTORE
00001a6b: DUP4
00001a6c: MLOAD
00001a6d: SWAP1
00001a6e: SWAP3
00001a6f: DUP4
00001a70: SWAP3
00001a71: PUSH1 0x44
00001a73: SWAP1
00001a74: SWAP2
00001a75: ADD
00001a76: SWAP2
00001a77: SWAP1
00001a78: DUP6
00001a79: ADD
00001a7a: SWAP1
00001a7b: DUP1
00001a7c: DUP4
00001a7d: DUP4
00001a7e: PUSH1 0x00
00001a80: DUP4
00001a81: ISZERO
00001a82: PUSH2 0x08fc
00001a85: JUMPI
00001a86: DUP2
00001a87: DUP2
00001a88: ADD
00001a89: MLOAD
00001a8a: DUP4
00001a8b: DUP3
00001a8c: ADD
00001a8d: MSTORE
00001a8e: PUSH1 0x20
00001a90: ADD
00001a91: PUSH2 0x08e4
00001a94: JUMP
00001a95: JUMPDEST
00001a96: POP
00001a97: PUSH1 0x40
00001a99: DUP1
00001a9a: MLOAD
00001a9b: DUP1
00001a9c: DUP3
00001a9d: ADD
00001a9e: SWAP1
00001a9f: SWAP2
00001aa0: MSTORE
00001aa1: PUSH1 0x02
00001aa3: DUP1
00001aa4: DUP3
00001aa5: MSTORE
00001aa6: PUSH2 0x0687
00001aa9: PUSH1 0xf3
00001aab: SHL
00001aac: PUSH1 0x20
00001aae: DUP4
00001aaf: ADD
00001ab0: MSTORE
00001ab1: DUP4
00001ab2: DIV
00001ab3: SWAP1
00001ab4: PUSH12 0x033b2e3c9fd0803ce8000000
00001ac1: DUP3
00001ac2: NOT
00001ac3: DIV
00001ac4: DUP6
00001ac5: GT
00001ac6: ISZERO
00001ac7: PUSH2 0x1b11
00001aca: JUMPI
00001acb: PUSH1 0x40
00001acd: MLOAD
00001ace: PUSH3 0x461bcd
00001ad2: PUSH1 0xe5
00001ad4: SHL
00001ad5: DUP2
00001ad6: MSTORE
00001ad7: PUSH1 0x20
00001ad9: PUSH1 0x04
00001adb: DUP3
00001adc: ADD
00001add: DUP2
00001ade: DUP2
00001adf: MSTORE
00001ae0: DUP4
00001ae1: MLOAD
00001ae2: PUSH1 0x24
00001ae4: DUP5
00001ae5: ADD
00001ae6: MSTORE
00001ae7: DUP4
00001ae8: MLOAD
00001ae9: SWAP1
00001aea: SWAP3
00001aeb: DUP4
00001aec: SWAP3
00001aed: PUSH1 0x44
00001aef: SWAP1
00001af0: SWAP2
00001af1: ADD
00001af2: SWAP2
00001af3: SWAP1
00001af4: DUP6
00001af5: ADD
00001af6: SWAP1
00001af7: DUP1
00001af8: DUP4
00001af9: DUP4
00001afa: PUSH1 0x00
00001afc: DUP4
00001afd: ISZERO
00001afe: PUSH2 0x08fc
00001b01: JUMPI
00001b02: DUP2
00001b03: DUP2
00001b04: ADD
00001b05: MLOAD
00001b06: DUP4
00001b07: DUP3
00001b08: ADD
00001b09: MSTORE
00001b0a: PUSH1 0x20
00001b0c: ADD
00001b0d: PUSH2 0x08e4
00001b10: JUMP
00001b11: JUMPDEST
00001b12: POP
00001b13: DUP3
00001b14: DUP2
00001b15: PUSH12 0x033b2e3c9fd0803ce8000000
00001b22: DUP7
00001b23: MUL
00001b24: ADD
00001b25: DUP2
00001b26: PUSH2 0x1b2b
00001b29: JUMPI
00001b2a: INVALID
00001b2b: JUMPDEST
00001b2c: DIV
00001b2d: SWAP5
00001b2e: SWAP4
00001b2f: POP
00001b30: POP
00001b31: POP
00001b32: POP
00001b33: JUMP
00001b34: JUMPDEST
00001b35: PUSH1 0x01
00001b37: PUSH1 0x01
00001b39: PUSH1 0xa0
00001b3b: SHL
00001b3c: SUB
00001b3d: DUP3
00001b3e: AND
00001b3f: PUSH2 0x1b8f
00001b42: JUMPI
00001b43: PUSH1 0x40
00001b45: DUP1
00001b46: MLOAD
00001b47: PUSH3 0x461bcd
00001b4b: PUSH1 0xe5
00001b4d: SHL
00001b4e: DUP2
00001b4f: MSTORE
00001b50: PUSH1 0x20
00001b52: PUSH1 0x04
00001b54: DUP3
00001b55: ADD
00001b56: MSTORE
00001b57: PUSH1 0x1f
00001b59: PUSH1 0x24
00001b5b: DUP3
00001b5c: ADD
00001b5d: MSTORE
00001b5e: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001b7f: PUSH1 0x44
00001b81: DUP3
00001b82: ADD
00001b83: MSTORE
00001b84: SWAP1
00001b85: MLOAD
00001b86: SWAP1
00001b87: DUP2
00001b88: SWAP1
00001b89: SUB
00001b8a: PUSH1 0x64
00001b8c: ADD
00001b8d: SWAP1
00001b8e: REVERT
00001b8f: JUMPDEST
00001b90: PUSH2 0x1b9b
00001b93: PUSH1 0x00
00001b95: DUP4
00001b96: DUP4
00001b97: PUSH2 0x12cf
00001b9a: JUMP
00001b9b: JUMPDEST
00001b9c: PUSH1 0x36
00001b9e: SLOAD
00001b9f: PUSH2 0x1ba8
00001ba2: DUP2
00001ba3: DUP4
00001ba4: PUSH2 0x1df1
00001ba7: JUMP
00001ba8: JUMPDEST
00001ba9: PUSH1 0x36
00001bab: SSTORE
00001bac: PUSH1 0x01
00001bae: PUSH1 0x01
00001bb0: PUSH1 0xa0
00001bb2: SHL
00001bb3: SUB
00001bb4: DUP4
00001bb5: AND
00001bb6: PUSH1 0x00
00001bb8: SWAP1
00001bb9: DUP2
00001bba: MSTORE
00001bbb: PUSH1 0x34
00001bbd: PUSH1 0x20
00001bbf: MSTORE
00001bc0: PUSH1 0x40
00001bc2: SWAP1
00001bc3: KECCAK256
00001bc4: SLOAD
00001bc5: PUSH2 0x1bce
00001bc8: DUP2
00001bc9: DUP5
00001bca: PUSH2 0x1df1
00001bcd: JUMP
00001bce: JUMPDEST
00001bcf: PUSH1 0x01
00001bd1: PUSH1 0x01
00001bd3: PUSH1 0xa0
00001bd5: SHL
00001bd6: SUB
00001bd7: DUP6
00001bd8: AND
00001bd9: PUSH1 0x00
00001bdb: SWAP1
00001bdc: DUP2
00001bdd: MSTORE
00001bde: PUSH1 0x34
00001be0: PUSH1 0x20
00001be2: MSTORE
00001be3: PUSH1 0x40
00001be5: DUP2
00001be6: KECCAK256
00001be7: SWAP2
00001be8: SWAP1
00001be9: SWAP2
00001bea: SSTORE
00001beb: PUSH2 0x1bf2
00001bee: PUSH2 0x1ea4
00001bf1: JUMP
00001bf2: JUMPDEST
00001bf3: PUSH1 0x01
00001bf5: PUSH1 0x01
00001bf7: PUSH1 0xa0
00001bf9: SHL
00001bfa: SUB
00001bfb: AND
00001bfc: EQ
00001bfd: PUSH2 0x1c7f
00001c00: JUMPI
00001c01: PUSH2 0x1c08
00001c04: PUSH2 0x1ea4
00001c07: JUMP
00001c08: JUMPDEST
00001c09: PUSH1 0x01
00001c0b: PUSH1 0x01
00001c0d: PUSH1 0xa0
00001c0f: SHL
00001c10: SUB
00001c11: AND
00001c12: PUSH4 0x31873e2e
00001c17: DUP6
00001c18: DUP5
00001c19: DUP5
00001c1a: PUSH1 0x40
00001c1c: MLOAD
00001c1d: DUP5
00001c1e: PUSH4 0xffffffff
00001c23: AND
00001c24: PUSH1 0xe0
00001c26: SHL
00001c27: DUP2
00001c28: MSTORE
00001c29: PUSH1 0x04
00001c2b: ADD
00001c2c: DUP1
00001c2d: DUP5
00001c2e: PUSH1 0x01
00001c30: PUSH1 0x01
00001c32: PUSH1 0xa0
00001c34: SHL
00001c35: SUB
00001c36: AND
00001c37: DUP2
00001c38: MSTORE
00001c39: PUSH1 0x20
00001c3b: ADD
00001c3c: DUP4
00001c3d: DUP2
00001c3e: MSTORE
00001c3f: PUSH1 0x20
00001c41: ADD
00001c42: DUP3
00001c43: DUP2
00001c44: MSTORE
00001c45: PUSH1 0x20
00001c47: ADD
00001c48: SWAP4
00001c49: POP
00001c4a: POP
00001c4b: POP
00001c4c: POP
00001c4d: PUSH1 0x00
00001c4f: PUSH1 0x40
00001c51: MLOAD
00001c52: DUP1
00001c53: DUP4
00001c54: SUB
00001c55: DUP2
00001c56: PUSH1 0x00
00001c58: DUP8
00001c59: DUP1
00001c5a: EXTCODESIZE
00001c5b: ISZERO
00001c5c: DUP1
00001c5d: ISZERO
00001c5e: PUSH2 0x1c66
00001c61: JUMPI
00001c62: PUSH1 0x00
00001c64: DUP1
00001c65: REVERT
00001c66: JUMPDEST
00001c67: POP
00001c68: GAS
00001c69: CALL
00001c6a: ISZERO
00001c6b: DUP1
00001c6c: ISZERO
00001c6d: PUSH2 0x1c7a
00001c70: JUMPI
00001c71: RETURNDATASIZE
00001c72: PUSH1 0x00
00001c74: DUP1
00001c75: RETURNDATACOPY
00001c76: RETURNDATASIZE
00001c77: PUSH1 0x00
00001c79: REVERT
00001c7a: JUMPDEST
00001c7b: POP
00001c7c: POP
00001c7d: POP
00001c7e: POP
00001c7f: JUMPDEST
00001c80: POP
00001c81: POP
00001c82: POP
00001c83: POP
00001c84: JUMP
00001c85: JUMPDEST
00001c86: PUSH1 0x00
00001c88: DUP3
00001c89: ISZERO
00001c8a: DUP1
00001c8b: PUSH2 0x1c92
00001c8e: JUMPI
00001c8f: POP
00001c90: DUP2
00001c91: ISZERO
00001c92: JUMPDEST
00001c93: ISZERO
00001c94: PUSH2 0x1c9f
00001c97: JUMPI
00001c98: POP
00001c99: PUSH1 0x00
00001c9b: PUSH2 0x084a
00001c9e: JUMP
00001c9f: JUMPDEST
00001ca0: DUP2
00001ca1: PUSH12 0x019d971e4fe8401e74000000
00001cae: NOT
00001caf: DUP2
00001cb0: PUSH2 0x1cb5
00001cb3: JUMPI
00001cb4: INVALID
00001cb5: JUMPDEST
00001cb6: DIV
00001cb7: DUP4
00001cb8: GT
00001cb9: ISZERO
00001cba: PUSH1 0x40
00001cbc: MLOAD
00001cbd: DUP1
00001cbe: PUSH1 0x40
00001cc0: ADD
00001cc1: PUSH1 0x40
00001cc3: MSTORE
00001cc4: DUP1
00001cc5: PUSH1 0x02
00001cc7: DUP2
00001cc8: MSTORE
00001cc9: PUSH1 0x20
00001ccb: ADD
00001ccc: PUSH2 0x0687
00001ccf: PUSH1 0xf3
00001cd1: SHL
00001cd2: DUP2
00001cd3: MSTORE
00001cd4: POP
00001cd5: SWAP1
00001cd6: PUSH2 0x1d20
00001cd9: JUMPI
00001cda: PUSH1 0x40
00001cdc: MLOAD
00001cdd: PUSH3 0x461bcd
00001ce1: PUSH1 0xe5
00001ce3: SHL
00001ce4: DUP2
00001ce5: MSTORE
00001ce6: PUSH1 0x20
00001ce8: PUSH1 0x04
00001cea: DUP3
00001ceb: ADD
00001cec: DUP2
00001ced: DUP2
00001cee: MSTORE
00001cef: DUP4
00001cf0: MLOAD
00001cf1: PUSH1 0x24
00001cf3: DUP5
00001cf4: ADD
00001cf5: MSTORE
00001cf6: DUP4
00001cf7: MLOAD
00001cf8: SWAP1
00001cf9: SWAP3
00001cfa: DUP4
00001cfb: SWAP3
00001cfc: PUSH1 0x44
00001cfe: SWAP1
00001cff: SWAP2
00001d00: ADD
00001d01: SWAP2
00001d02: SWAP1
00001d03: DUP6
00001d04: ADD
00001d05: SWAP1
00001d06: DUP1
00001d07: DUP4
00001d08: DUP4
00001d09: PUSH1 0x00
00001d0b: DUP4
00001d0c: ISZERO
00001d0d: PUSH2 0x08fc
00001d10: JUMPI
00001d11: DUP2
00001d12: DUP2
00001d13: ADD
00001d14: MLOAD
00001d15: DUP4
00001d16: DUP3
00001d17: ADD
00001d18: MSTORE
00001d19: PUSH1 0x20
00001d1b: ADD
00001d1c: PUSH2 0x08e4
00001d1f: JUMP
00001d20: JUMPDEST
00001d21: POP
00001d22: POP
00001d23: PUSH12 0x033b2e3c9fd0803ce8000000
00001d30: SWAP2
00001d31: MUL
00001d32: PUSH12 0x019d971e4fe8401e74000000
00001d3f: ADD
00001d40: DIV
00001d41: SWAP1
00001d42: JUMP
00001d43: JUMPDEST
00001d44: PUSH1 0x01
00001d46: SWAP1
00001d47: JUMP
00001d48: JUMPDEST
00001d49: ADDRESS
00001d4a: EXTCODESIZE
00001d4b: ISZERO
00001d4c: SWAP1
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: DUP1
00001d50: MLOAD
00001d51: PUSH2 0x1246
00001d54: SWAP1
00001d55: PUSH1 0x37
00001d57: SWAP1
00001d58: PUSH1 0x20
00001d5a: DUP5
00001d5b: ADD
00001d5c: SWAP1
00001d5d: PUSH2 0x259d
00001d60: JUMP
00001d61: JUMPDEST
00001d62: DUP1
00001d63: MLOAD
00001d64: PUSH2 0x1246
00001d67: SWAP1
00001d68: PUSH1 0x38
00001d6a: SWAP1
00001d6b: PUSH1 0x20
00001d6d: DUP5
00001d6e: ADD
00001d6f: SWAP1
00001d70: PUSH2 0x259d
00001d73: JUMP
00001d74: JUMPDEST
00001d75: PUSH1 0x39
00001d77: DUP1
00001d78: SLOAD
00001d79: PUSH1 0xff
00001d7b: NOT
00001d7c: AND
00001d7d: PUSH1 0xff
00001d7f: SWAP3
00001d80: SWAP1
00001d81: SWAP3
00001d82: AND
00001d83: SWAP2
00001d84: SWAP1
00001d85: SWAP2
00001d86: OR
00001d87: SWAP1
00001d88: SSTORE
00001d89: JUMP
00001d8a: JUMPDEST
00001d8b: PUSH2 0x12cf
00001d8e: DUP4
00001d8f: DUP4
00001d90: DUP4
00001d91: PUSH1 0x01
00001d93: PUSH2 0x1f57
00001d96: JUMP
00001d97: JUMPDEST
00001d98: PUSH1 0x00
00001d9a: DUP2
00001d9b: DUP5
00001d9c: DUP5
00001d9d: GT
00001d9e: ISZERO
00001d9f: PUSH2 0x1de9
00001da2: JUMPI
00001da3: PUSH1 0x40
00001da5: MLOAD
00001da6: PUSH3 0x461bcd
00001daa: PUSH1 0xe5
00001dac: SHL
00001dad: DUP2
00001dae: MSTORE
00001daf: PUSH1 0x20
00001db1: PUSH1 0x04
00001db3: DUP3
00001db4: ADD
00001db5: DUP2
00001db6: DUP2
00001db7: MSTORE
00001db8: DUP4
00001db9: MLOAD
00001dba: PUSH1 0x24
00001dbc: DUP5
00001dbd: ADD
00001dbe: MSTORE
00001dbf: DUP4
00001dc0: MLOAD
00001dc1: SWAP1
00001dc2: SWAP3
00001dc3: DUP4
00001dc4: SWAP3
00001dc5: PUSH1 0x44
00001dc7: SWAP1
00001dc8: SWAP2
00001dc9: ADD
00001dca: SWAP2
00001dcb: SWAP1
00001dcc: DUP6
00001dcd: ADD
00001dce: SWAP1
00001dcf: DUP1
00001dd0: DUP4
00001dd1: DUP4
00001dd2: PUSH1 0x00
00001dd4: DUP4
00001dd5: ISZERO
00001dd6: PUSH2 0x08fc
00001dd9: JUMPI
00001dda: DUP2
00001ddb: DUP2
00001ddc: ADD
00001ddd: MLOAD
00001dde: DUP4
00001ddf: DUP3
00001de0: ADD
00001de1: MSTORE
00001de2: PUSH1 0x20
00001de4: ADD
00001de5: PUSH2 0x08e4
00001de8: JUMP
00001de9: JUMPDEST
00001dea: POP
00001deb: POP
00001dec: POP
00001ded: SWAP1
00001dee: SUB
00001def: SWAP1
00001df0: JUMP
00001df1: JUMPDEST
00001df2: PUSH1 0x00
00001df4: DUP3
00001df5: DUP3
00001df6: ADD
00001df7: DUP4
00001df8: DUP2
00001df9: LT
00001dfa: ISZERO
00001dfb: PUSH2 0x1e4b
00001dfe: JUMPI
00001dff: PUSH1 0x40
00001e01: DUP1
00001e02: MLOAD
00001e03: PUSH3 0x461bcd
00001e07: PUSH1 0xe5
00001e09: SHL
00001e0a: DUP2
00001e0b: MSTORE
00001e0c: PUSH1 0x20
00001e0e: PUSH1 0x04
00001e10: DUP3
00001e11: ADD
00001e12: MSTORE
00001e13: PUSH1 0x1b
00001e15: PUSH1 0x24
00001e17: DUP3
00001e18: ADD
00001e19: MSTORE
00001e1a: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001e3b: PUSH1 0x44
00001e3d: DUP3
00001e3e: ADD
00001e3f: MSTORE
00001e40: SWAP1
00001e41: MLOAD
00001e42: SWAP1
00001e43: DUP2
00001e44: SWAP1
00001e45: SUB
00001e46: PUSH1 0x64
00001e48: ADD
00001e49: SWAP1
00001e4a: REVERT
00001e4b: JUMPDEST
00001e4c: SWAP4
00001e4d: SWAP3
00001e4e: POP
00001e4f: POP
00001e50: POP
00001e51: JUMP
00001e52: JUMPDEST
00001e53: PUSH1 0x40
00001e55: DUP1
00001e56: MLOAD
00001e57: PUSH1 0x01
00001e59: PUSH1 0x01
00001e5b: PUSH1 0xa0
00001e5d: SHL
00001e5e: SUB
00001e5f: DUP5
00001e60: AND
00001e61: PUSH1 0x24
00001e63: DUP3
00001e64: ADD
00001e65: MSTORE
00001e66: PUSH1 0x44
00001e68: DUP1
00001e69: DUP3
00001e6a: ADD
00001e6b: DUP5
00001e6c: SWAP1
00001e6d: MSTORE
00001e6e: DUP3
00001e6f: MLOAD
00001e70: DUP1
00001e71: DUP4
00001e72: SUB
00001e73: SWAP1
00001e74: SWAP2
00001e75: ADD
00001e76: DUP2
00001e77: MSTORE
00001e78: PUSH1 0x64
00001e7a: SWAP1
00001e7b: SWAP2
00001e7c: ADD
00001e7d: SWAP1
00001e7e: SWAP2
00001e7f: MSTORE
00001e80: PUSH1 0x20
00001e82: DUP2
00001e83: ADD
00001e84: DUP1
00001e85: MLOAD
00001e86: PUSH1 0x01
00001e88: PUSH1 0x01
00001e8a: PUSH1 0xe0
00001e8c: SHL
00001e8d: SUB
00001e8e: AND
00001e8f: PUSH4 0xa9059cbb
00001e94: PUSH1 0xe0
00001e96: SHL
00001e97: OR
00001e98: SWAP1
00001e99: MSTORE
00001e9a: PUSH2 0x12cf
00001e9d: SWAP1
00001e9e: DUP5
00001e9f: SWAP1
00001ea0: PUSH2 0x2100
00001ea3: JUMP
00001ea4: JUMPDEST
00001ea5: PUSH1 0x3f
00001ea7: SLOAD
00001ea8: PUSH1 0x01
00001eaa: PUSH1 0x01
00001eac: PUSH1 0xa0
00001eae: SHL
00001eaf: SUB
00001eb0: AND
00001eb1: SWAP1
00001eb2: JUMP
00001eb3: JUMPDEST
00001eb4: PUSH1 0x01
00001eb6: PUSH1 0x01
00001eb8: PUSH1 0xa0
00001eba: SHL
00001ebb: SUB
00001ebc: DUP3
00001ebd: AND
00001ebe: PUSH2 0x1ef8
00001ec1: JUMPI
00001ec2: PUSH1 0x40
00001ec4: MLOAD
00001ec5: PUSH3 0x461bcd
00001ec9: PUSH1 0xe5
00001ecb: SHL
00001ecc: DUP2
00001ecd: MSTORE
00001ece: PUSH1 0x04
00001ed0: ADD
00001ed1: DUP1
00001ed2: DUP1
00001ed3: PUSH1 0x20
00001ed5: ADD
00001ed6: DUP3
00001ed7: DUP2
00001ed8: SUB
00001ed9: DUP3
00001eda: MSTORE
00001edb: PUSH1 0x21
00001edd: DUP2
00001ede: MSTORE
00001edf: PUSH1 0x20
00001ee1: ADD
00001ee2: DUP1
00001ee3: PUSH2 0x2734
00001ee6: PUSH1 0x21
00001ee8: SWAP2
00001ee9: CODECOPY
00001eea: PUSH1 0x40
00001eec: ADD
00001eed: SWAP2
00001eee: POP
00001eef: POP
00001ef0: PUSH1 0x40
00001ef2: MLOAD
00001ef3: DUP1
00001ef4: SWAP2
00001ef5: SUB
00001ef6: SWAP1
00001ef7: REVERT
00001ef8: JUMPDEST
00001ef9: PUSH2 0x1f04
00001efc: DUP3
00001efd: PUSH1 0x00
00001eff: DUP4
00001f00: PUSH2 0x12cf
00001f03: JUMP
00001f04: JUMPDEST
00001f05: PUSH1 0x36
00001f07: SLOAD
00001f08: PUSH2 0x1f11
00001f0b: DUP2
00001f0c: DUP4
00001f0d: PUSH2 0x22b8
00001f10: JUMP
00001f11: JUMPDEST
00001f12: PUSH1 0x36
00001f14: SSTORE
00001f15: PUSH1 0x01
00001f17: PUSH1 0x01
00001f19: PUSH1 0xa0
00001f1b: SHL
00001f1c: SUB
00001f1d: DUP4
00001f1e: AND
00001f1f: PUSH1 0x00
00001f21: SWAP1
00001f22: DUP2
00001f23: MSTORE
00001f24: PUSH1 0x34
00001f26: PUSH1 0x20
00001f28: SWAP1
00001f29: DUP2
00001f2a: MSTORE
00001f2b: PUSH1 0x40
00001f2d: SWAP2
00001f2e: DUP3
00001f2f: SWAP1
00001f30: KECCAK256
00001f31: SLOAD
00001f32: DUP3
00001f33: MLOAD
00001f34: PUSH1 0x60
00001f36: DUP2
00001f37: ADD
00001f38: SWAP1
00001f39: SWAP4
00001f3a: MSTORE
00001f3b: PUSH1 0x22
00001f3d: DUP1
00001f3e: DUP5
00001f3f: MSTORE
00001f40: SWAP1
00001f41: SWAP3
00001f42: PUSH2 0x1bce
00001f45: SWAP3
00001f46: DUP7
00001f47: SWAP3
00001f48: SWAP1
00001f49: PUSH2 0x2654
00001f4c: SWAP1
00001f4d: DUP4
00001f4e: ADD
00001f4f: CODECOPY
00001f50: DUP4
00001f51: SWAP2
00001f52: SWAP1
00001f53: PUSH2 0x1d97
00001f56: JUMP
00001f57: JUMPDEST
00001f58: PUSH1 0x3e
00001f5a: SLOAD
00001f5b: PUSH1 0x3c
00001f5d: SLOAD
00001f5e: PUSH1 0x40
00001f60: DUP1
00001f61: MLOAD
00001f62: PUSH4 0xd15e0053
00001f67: PUSH1 0xe0
00001f69: SHL
00001f6a: DUP2
00001f6b: MSTORE
00001f6c: PUSH1 0x01
00001f6e: PUSH1 0x01
00001f70: PUSH1 0xa0
00001f72: SHL
00001f73: SUB
00001f74: SWAP4
00001f75: DUP5
00001f76: AND
00001f77: PUSH1 0x04
00001f79: DUP3
00001f7a: ADD
00001f7b: DUP2
00001f7c: SWAP1
00001f7d: MSTORE
00001f7e: SWAP2
00001f7f: MLOAD
00001f80: SWAP2
00001f81: SWAP4
00001f82: SWAP1
00001f83: SWAP3
00001f84: AND
00001f85: SWAP2
00001f86: PUSH1 0x00
00001f88: SWAP2
00001f89: DUP4
00001f8a: SWAP2
00001f8b: PUSH4 0xd15e0053
00001f90: SWAP2
00001f91: PUSH1 0x24
00001f93: DUP1
00001f94: DUP4
00001f95: ADD
00001f96: SWAP3
00001f97: PUSH1 0x20
00001f99: SWAP3
00001f9a: SWAP2
00001f9b: SWAP1
00001f9c: DUP3
00001f9d: SWAP1
00001f9e: SUB
00001f9f: ADD
00001fa0: DUP2
00001fa1: DUP7
00001fa2: DUP1
00001fa3: EXTCODESIZE
00001fa4: ISZERO
00001fa5: DUP1
00001fa6: ISZERO
00001fa7: PUSH2 0x1faf
00001faa: JUMPI
00001fab: PUSH1 0x00
00001fad: DUP1
00001fae: REVERT
00001faf: JUMPDEST
00001fb0: POP
00001fb1: GAS
00001fb2: STATICCALL
00001fb3: ISZERO
00001fb4: DUP1
00001fb5: ISZERO
00001fb6: PUSH2 0x1fc3
00001fb9: JUMPI
00001fba: RETURNDATASIZE
00001fbb: PUSH1 0x00
00001fbd: DUP1
00001fbe: RETURNDATACOPY
00001fbf: RETURNDATASIZE
00001fc0: PUSH1 0x00
00001fc2: REVERT
00001fc3: JUMPDEST
00001fc4: POP
00001fc5: POP
00001fc6: POP
00001fc7: POP
00001fc8: PUSH1 0x40
00001fca: MLOAD
00001fcb: RETURNDATASIZE
00001fcc: PUSH1 0x20
00001fce: DUP2
00001fcf: LT
00001fd0: ISZERO
00001fd1: PUSH2 0x1fd9
00001fd4: JUMPI
00001fd5: PUSH1 0x00
00001fd7: DUP1
00001fd8: REVERT
00001fd9: JUMPDEST
00001fda: POP
00001fdb: MLOAD
00001fdc: SWAP1
00001fdd: POP
00001fde: PUSH1 0x00
00001fe0: PUSH2 0x1fec
00001fe3: DUP3
00001fe4: PUSH2 0x10e2
00001fe7: DUP11
00001fe8: PUSH2 0x1a0c
00001feb: JUMP
00001fec: JUMPDEST
00001fed: SWAP1
00001fee: POP
00001fef: PUSH1 0x00
00001ff1: PUSH2 0x1ffd
00001ff4: DUP4
00001ff5: PUSH2 0x10e2
00001ff8: DUP11
00001ff9: PUSH2 0x1a0c
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: SWAP1
00001fff: POP
00002000: PUSH2 0x2013
00002003: DUP10
00002004: DUP10
00002005: PUSH2 0x200e
00002008: DUP11
00002009: DUP8
0000200a: PUSH2 0x1a2d
0000200d: JUMP
0000200e: JUMPDEST
0000200f: PUSH2 0x22fa
00002012: JUMP
00002013: JUMPDEST
00002014: DUP6
00002015: ISZERO
00002016: PUSH2 0x20a2
00002019: JUMPI
0000201a: PUSH1 0x40
0000201c: DUP1
0000201d: MLOAD
0000201e: PUSH4 0xd5ed3933
00002023: PUSH1 0xe0
00002025: SHL
00002026: DUP2
00002027: MSTORE
00002028: PUSH1 0x01
0000202a: PUSH1 0x01
0000202c: PUSH1 0xa0
0000202e: SHL
0000202f: SUB
00002030: DUP8
00002031: DUP2
00002032: AND
00002033: PUSH1 0x04
00002035: DUP4
00002036: ADD
00002037: MSTORE
00002038: DUP12
00002039: DUP2
0000203a: AND
0000203b: PUSH1 0x24
0000203d: DUP4
0000203e: ADD
0000203f: MSTORE
00002040: DUP11
00002041: DUP2
00002042: AND
00002043: PUSH1 0x44
00002045: DUP4
00002046: ADD
00002047: MSTORE
00002048: PUSH1 0x64
0000204a: DUP3
0000204b: ADD
0000204c: DUP11
0000204d: SWAP1
0000204e: MSTORE
0000204f: PUSH1 0x84
00002051: DUP3
00002052: ADD
00002053: DUP6
00002054: SWAP1
00002055: MSTORE
00002056: PUSH1 0xa4
00002058: DUP3
00002059: ADD
0000205a: DUP5
0000205b: SWAP1
0000205c: MSTORE
0000205d: SWAP2
0000205e: MLOAD
0000205f: SWAP2
00002060: DUP7
00002061: AND
00002062: SWAP2
00002063: PUSH4 0xd5ed3933
00002068: SWAP2
00002069: PUSH1 0xc4
0000206b: DUP1
0000206c: DUP3
0000206d: ADD
0000206e: SWAP3
0000206f: PUSH1 0x00
00002071: SWAP3
00002072: SWAP1
00002073: SWAP2
00002074: SWAP1
00002075: DUP3
00002076: SWAP1
00002077: SUB
00002078: ADD
00002079: DUP2
0000207a: DUP4
0000207b: DUP8
0000207c: DUP1
0000207d: EXTCODESIZE
0000207e: ISZERO
0000207f: DUP1
00002080: ISZERO
00002081: PUSH2 0x2089
00002084: JUMPI
00002085: PUSH1 0x00
00002087: DUP1
00002088: REVERT
00002089: JUMPDEST
0000208a: POP
0000208b: GAS
0000208c: CALL
0000208d: ISZERO
0000208e: DUP1
0000208f: ISZERO
00002090: PUSH2 0x209d
00002093: JUMPI
00002094: RETURNDATASIZE
00002095: PUSH1 0x00
00002097: DUP1
00002098: RETURNDATACOPY
00002099: RETURNDATASIZE
0000209a: PUSH1 0x00
0000209c: REVERT
0000209d: JUMPDEST
0000209e: POP
0000209f: POP
000020a0: POP
000020a1: POP
000020a2: JUMPDEST
000020a3: DUP8
000020a4: PUSH1 0x01
000020a6: PUSH1 0x01
000020a8: PUSH1 0xa0
000020aa: SHL
000020ab: SUB
000020ac: AND
000020ad: DUP10
000020ae: PUSH1 0x01
000020b0: PUSH1 0x01
000020b2: PUSH1 0xa0
000020b4: SHL
000020b5: SUB
000020b6: AND
000020b7: PUSH32 0x4beccb90f994c31aced7a23b5611020728a23d8ec5cddd1a3e9d97b96fda8666
000020d8: DUP10
000020d9: DUP7
000020da: PUSH1 0x40
000020dc: MLOAD
000020dd: DUP1
000020de: DUP4
000020df: DUP2
000020e0: MSTORE
000020e1: PUSH1 0x20
000020e3: ADD
000020e4: DUP3
000020e5: DUP2
000020e6: MSTORE
000020e7: PUSH1 0x20
000020e9: ADD
000020ea: SWAP3
000020eb: POP
000020ec: POP
000020ed: POP
000020ee: PUSH1 0x40
000020f0: MLOAD
000020f1: DUP1
000020f2: SWAP2
000020f3: SUB
000020f4: SWAP1
000020f5: LOG3
000020f6: POP
000020f7: POP
000020f8: POP
000020f9: POP
000020fa: POP
000020fb: POP
000020fc: POP
000020fd: POP
000020fe: POP
000020ff: JUMP
00002100: JUMPDEST
00002101: PUSH2 0x2112
00002104: DUP3
00002105: PUSH1 0x01
00002107: PUSH1 0x01
00002109: PUSH1 0xa0
0000210b: SHL
0000210c: SUB
0000210d: AND
0000210e: PUSH2 0x2561
00002111: JUMP
00002112: JUMPDEST
00002113: PUSH2 0x2163
00002116: JUMPI
00002117: PUSH1 0x40
00002119: DUP1
0000211a: MLOAD
0000211b: PUSH3 0x461bcd
0000211f: PUSH1 0xe5
00002121: SHL
00002122: DUP2
00002123: MSTORE
00002124: PUSH1 0x20
00002126: PUSH1 0x04
00002128: DUP3
00002129: ADD
0000212a: MSTORE
0000212b: PUSH1 0x1f
0000212d: PUSH1 0x24
0000212f: DUP3
00002130: ADD
00002131: MSTORE
00002132: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
00002153: PUSH1 0x44
00002155: DUP3
00002156: ADD
00002157: MSTORE
00002158: SWAP1
00002159: MLOAD
0000215a: SWAP1
0000215b: DUP2
0000215c: SWAP1
0000215d: SUB
0000215e: PUSH1 0x64
00002160: ADD
00002161: SWAP1
00002162: REVERT
00002163: JUMPDEST
00002164: PUSH1 0x00
00002166: PUSH1 0x60
00002168: DUP4
00002169: PUSH1 0x01
0000216b: PUSH1 0x01
0000216d: PUSH1 0xa0
0000216f: SHL
00002170: SUB
00002171: AND
00002172: DUP4
00002173: PUSH1 0x40
00002175: MLOAD
00002176: DUP1
00002177: DUP3
00002178: DUP1
00002179: MLOAD
0000217a: SWAP1
0000217b: PUSH1 0x20
0000217d: ADD
0000217e: SWAP1
0000217f: DUP1
00002180: DUP4
00002181: DUP4
00002182: JUMPDEST
00002183: PUSH1 0x20
00002185: DUP4
00002186: LT
00002187: PUSH2 0x21a1
0000218a: JUMPI
0000218b: DUP1
0000218c: MLOAD
0000218d: DUP3
0000218e: MSTORE
0000218f: PUSH1 0x1f
00002191: NOT
00002192: SWAP1
00002193: SWAP3
00002194: ADD
00002195: SWAP2
00002196: PUSH1 0x20
00002198: SWAP2
00002199: DUP3
0000219a: ADD
0000219b: SWAP2
0000219c: ADD
0000219d: PUSH2 0x2182
000021a0: JUMP
000021a1: JUMPDEST
000021a2: PUSH1 0x01
000021a4: DUP4
000021a5: PUSH1 0x20
000021a7: SUB
000021a8: PUSH2 0x0100
000021ab: EXP
000021ac: SUB
000021ad: DUP1
000021ae: NOT
000021af: DUP3
000021b0: MLOAD
000021b1: AND
000021b2: DUP2
000021b3: DUP5
000021b4: MLOAD
000021b5: AND
000021b6: DUP1
000021b7: DUP3
000021b8: OR
000021b9: DUP6
000021ba: MSTORE
000021bb: POP
000021bc: POP
000021bd: POP
000021be: POP
000021bf: POP
000021c0: POP
000021c1: SWAP1
000021c2: POP
000021c3: ADD
000021c4: SWAP2
000021c5: POP
000021c6: POP
000021c7: PUSH1 0x00
000021c9: PUSH1 0x40
000021cb: MLOAD
000021cc: DUP1
000021cd: DUP4
000021ce: SUB
000021cf: DUP2
000021d0: PUSH1 0x00
000021d2: DUP7
000021d3: GAS
000021d4: CALL
000021d5: SWAP2
000021d6: POP
000021d7: POP
000021d8: RETURNDATASIZE
000021d9: DUP1
000021da: PUSH1 0x00
000021dc: DUP2
000021dd: EQ
000021de: PUSH2 0x2203
000021e1: JUMPI
000021e2: PUSH1 0x40
000021e4: MLOAD
000021e5: SWAP2
000021e6: POP
000021e7: PUSH1 0x1f
000021e9: NOT
000021ea: PUSH1 0x3f
000021ec: RETURNDATASIZE
000021ed: ADD
000021ee: AND
000021ef: DUP3
000021f0: ADD
000021f1: PUSH1 0x40
000021f3: MSTORE
000021f4: RETURNDATASIZE
000021f5: DUP3
000021f6: MSTORE
000021f7: RETURNDATASIZE
000021f8: PUSH1 0x00
000021fa: PUSH1 0x20
000021fc: DUP5
000021fd: ADD
000021fe: RETURNDATACOPY
000021ff: PUSH2 0x2208
00002202: JUMP
00002203: JUMPDEST
00002204: PUSH1 0x60
00002206: SWAP2
00002207: POP
00002208: JUMPDEST
00002209: POP
0000220a: SWAP2
0000220b: POP
0000220c: SWAP2
0000220d: POP
0000220e: DUP2
0000220f: PUSH2 0x225f
00002212: JUMPI
00002213: PUSH1 0x40
00002215: DUP1
00002216: MLOAD
00002217: PUSH3 0x461bcd
0000221b: PUSH1 0xe5
0000221d: SHL
0000221e: DUP2
0000221f: MSTORE
00002220: PUSH1 0x20
00002222: PUSH1 0x04
00002224: DUP3
00002225: ADD
00002226: DUP2
00002227: SWAP1
00002228: MSTORE
00002229: PUSH1 0x24
0000222b: DUP3
0000222c: ADD
0000222d: MSTORE
0000222e: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000224f: PUSH1 0x44
00002251: DUP3
00002252: ADD
00002253: MSTORE
00002254: SWAP1
00002255: MLOAD
00002256: SWAP1
00002257: DUP2
00002258: SWAP1
00002259: SUB
0000225a: PUSH1 0x64
0000225c: ADD
0000225d: SWAP1
0000225e: REVERT
0000225f: JUMPDEST
00002260: DUP1
00002261: MLOAD
00002262: ISZERO
00002263: PUSH2 0x1c7f
00002266: JUMPI
00002267: DUP1
00002268: DUP1
00002269: PUSH1 0x20
0000226b: ADD
0000226c: SWAP1
0000226d: MLOAD
0000226e: PUSH1 0x20
00002270: DUP2
00002271: LT
00002272: ISZERO
00002273: PUSH2 0x227b
00002276: JUMPI
00002277: PUSH1 0x00
00002279: DUP1
0000227a: REVERT
0000227b: JUMPDEST
0000227c: POP
0000227d: MLOAD
0000227e: PUSH2 0x1c7f
00002281: JUMPI
00002282: PUSH1 0x40
00002284: MLOAD
00002285: PUSH3 0x461bcd
00002289: PUSH1 0xe5
0000228b: SHL
0000228c: DUP2
0000228d: MSTORE
0000228e: PUSH1 0x04
00002290: ADD
00002291: DUP1
00002292: DUP1
00002293: PUSH1 0x20
00002295: ADD
00002296: DUP3
00002297: DUP2
00002298: SUB
00002299: DUP3
0000229a: MSTORE
0000229b: PUSH1 0x2a
0000229d: DUP2
0000229e: MSTORE
0000229f: PUSH1 0x20
000022a1: ADD
000022a2: DUP1
000022a3: PUSH2 0x279e
000022a6: PUSH1 0x2a
000022a8: SWAP2
000022a9: CODECOPY
000022aa: PUSH1 0x40
000022ac: ADD
000022ad: SWAP2
000022ae: POP
000022af: POP
000022b0: PUSH1 0x40
000022b2: MLOAD
000022b3: DUP1
000022b4: SWAP2
000022b5: SUB
000022b6: SWAP1
000022b7: REVERT
000022b8: JUMPDEST
000022b9: PUSH1 0x00
000022bb: PUSH2 0x1e4b
000022be: DUP4
000022bf: DUP4
000022c0: PUSH1 0x40
000022c2: MLOAD
000022c3: DUP1
000022c4: PUSH1 0x40
000022c6: ADD
000022c7: PUSH1 0x40
000022c9: MSTORE
000022ca: DUP1
000022cb: PUSH1 0x1e
000022cd: DUP2
000022ce: MSTORE
000022cf: PUSH1 0x20
000022d1: ADD
000022d2: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000022f3: DUP2
000022f4: MSTORE
000022f5: POP
000022f6: PUSH2 0x1d97
000022f9: JUMP
000022fa: JUMPDEST
000022fb: PUSH1 0x01
000022fd: PUSH1 0x01
000022ff: PUSH1 0xa0
00002301: SHL
00002302: SUB
00002303: DUP4
00002304: AND
00002305: PUSH2 0x233f
00002308: JUMPI
00002309: PUSH1 0x40
0000230b: MLOAD
0000230c: PUSH3 0x461bcd
00002310: PUSH1 0xe5
00002312: SHL
00002313: DUP2
00002314: MSTORE
00002315: PUSH1 0x04
00002317: ADD
00002318: DUP1
00002319: DUP1
0000231a: PUSH1 0x20
0000231c: ADD
0000231d: DUP3
0000231e: DUP2
0000231f: SUB
00002320: DUP3
00002321: MSTORE
00002322: PUSH1 0x25
00002324: DUP2
00002325: MSTORE
00002326: PUSH1 0x20
00002328: ADD
00002329: DUP1
0000232a: PUSH2 0x2755
0000232d: PUSH1 0x25
0000232f: SWAP2
00002330: CODECOPY
00002331: PUSH1 0x40
00002333: ADD
00002334: SWAP2
00002335: POP
00002336: POP
00002337: PUSH1 0x40
00002339: MLOAD
0000233a: DUP1
0000233b: SWAP2
0000233c: SUB
0000233d: SWAP1
0000233e: REVERT
0000233f: JUMPDEST
00002340: PUSH1 0x01
00002342: PUSH1 0x01
00002344: PUSH1 0xa0
00002346: SHL
00002347: SUB
00002348: DUP3
00002349: AND
0000234a: PUSH2 0x2384
0000234d: JUMPI
0000234e: PUSH1 0x40
00002350: MLOAD
00002351: PUSH3 0x461bcd
00002355: PUSH1 0xe5
00002357: SHL
00002358: DUP2
00002359: MSTORE
0000235a: PUSH1 0x04
0000235c: ADD
0000235d: DUP1
0000235e: DUP1
0000235f: PUSH1 0x20
00002361: ADD
00002362: DUP3
00002363: DUP2
00002364: SUB
00002365: DUP3
00002366: MSTORE
00002367: PUSH1 0x23
00002369: DUP2
0000236a: MSTORE
0000236b: PUSH1 0x20
0000236d: ADD
0000236e: DUP1
0000236f: PUSH2 0x2631
00002372: PUSH1 0x23
00002374: SWAP2
00002375: CODECOPY
00002376: PUSH1 0x40
00002378: ADD
00002379: SWAP2
0000237a: POP
0000237b: POP
0000237c: PUSH1 0x40
0000237e: MLOAD
0000237f: DUP1
00002380: SWAP2
00002381: SUB
00002382: SWAP1
00002383: REVERT
00002384: JUMPDEST
00002385: PUSH2 0x238f
00002388: DUP4
00002389: DUP4
0000238a: DUP4
0000238b: PUSH2 0x12cf
0000238e: JUMP
0000238f: JUMPDEST
00002390: PUSH1 0x00
00002392: PUSH1 0x34
00002394: PUSH1 0x00
00002396: DUP6
00002397: PUSH1 0x01
00002399: PUSH1 0x01
0000239b: PUSH1 0xa0
0000239d: SHL
0000239e: SUB
0000239f: AND
000023a0: PUSH1 0x01
000023a2: PUSH1 0x01
000023a4: PUSH1 0xa0
000023a6: SHL
000023a7: SUB
000023a8: AND
000023a9: DUP2
000023aa: MSTORE
000023ab: PUSH1 0x20
000023ad: ADD
000023ae: SWAP1
000023af: DUP2
000023b0: MSTORE
000023b1: PUSH1 0x20
000023b3: ADD
000023b4: PUSH1 0x00
000023b6: KECCAK256
000023b7: SLOAD
000023b8: SWAP1
000023b9: POP
000023ba: PUSH2 0x23de
000023bd: DUP3
000023be: PUSH1 0x40
000023c0: MLOAD
000023c1: DUP1
000023c2: PUSH1 0x60
000023c4: ADD
000023c5: PUSH1 0x40
000023c7: MSTORE
000023c8: DUP1
000023c9: PUSH1 0x26
000023cb: DUP2
000023cc: MSTORE
000023cd: PUSH1 0x20
000023cf: ADD
000023d0: PUSH2 0x2698
000023d3: PUSH1 0x26
000023d5: SWAP2
000023d6: CODECOPY
000023d7: DUP4
000023d8: SWAP2
000023d9: SWAP1
000023da: PUSH2 0x1d97
000023dd: JUMP
000023de: JUMPDEST
000023df: PUSH1 0x01
000023e1: PUSH1 0x01
000023e3: PUSH1 0xa0
000023e5: SHL
000023e6: SUB
000023e7: DUP1
000023e8: DUP7
000023e9: AND
000023ea: PUSH1 0x00
000023ec: SWAP1
000023ed: DUP2
000023ee: MSTORE
000023ef: PUSH1 0x34
000023f1: PUSH1 0x20
000023f3: MSTORE
000023f4: PUSH1 0x40
000023f6: DUP1
000023f7: DUP3
000023f8: KECCAK256
000023f9: SWAP4
000023fa: SWAP1
000023fb: SWAP4
000023fc: SSTORE
000023fd: SWAP1
000023fe: DUP6
000023ff: AND
00002400: DUP2
00002401: MSTORE
00002402: KECCAK256
00002403: SLOAD
00002404: PUSH2 0x240d
00002407: DUP2
00002408: DUP5
00002409: PUSH2 0x1df1
0000240c: JUMP
0000240d: JUMPDEST
0000240e: PUSH1 0x01
00002410: PUSH1 0x01
00002412: PUSH1 0xa0
00002414: SHL
00002415: SUB
00002416: DUP6
00002417: AND
00002418: PUSH1 0x00
0000241a: SWAP1
0000241b: DUP2
0000241c: MSTORE
0000241d: PUSH1 0x34
0000241f: PUSH1 0x20
00002421: MSTORE
00002422: PUSH1 0x40
00002424: DUP2
00002425: KECCAK256
00002426: SWAP2
00002427: SWAP1
00002428: SWAP2
00002429: SSTORE
0000242a: PUSH2 0x2431
0000242d: PUSH2 0x1ea4
00002430: JUMP
00002431: JUMPDEST
00002432: PUSH1 0x01
00002434: PUSH1 0x01
00002436: PUSH1 0xa0
00002438: SHL
00002439: SUB
0000243a: AND
0000243b: EQ
0000243c: PUSH2 0x255a
0000243f: JUMPI
00002440: PUSH1 0x36
00002442: SLOAD
00002443: PUSH2 0x244a
00002446: PUSH2 0x1ea4
00002449: JUMP
0000244a: JUMPDEST
0000244b: PUSH1 0x01
0000244d: PUSH1 0x01
0000244f: PUSH1 0xa0
00002451: SHL
00002452: SUB
00002453: AND
00002454: PUSH4 0x31873e2e
00002459: DUP8
0000245a: DUP4
0000245b: DUP7
0000245c: PUSH1 0x40
0000245e: MLOAD
0000245f: DUP5
00002460: PUSH4 0xffffffff
00002465: AND
00002466: PUSH1 0xe0
00002468: SHL
00002469: DUP2
0000246a: MSTORE
0000246b: PUSH1 0x04
0000246d: ADD
0000246e: DUP1
0000246f: DUP5
00002470: PUSH1 0x01
00002472: PUSH1 0x01
00002474: PUSH1 0xa0
00002476: SHL
00002477: SUB
00002478: AND
00002479: DUP2
0000247a: MSTORE
0000247b: PUSH1 0x20
0000247d: ADD
0000247e: DUP4
0000247f: DUP2
00002480: MSTORE
00002481: PUSH1 0x20
00002483: ADD
00002484: DUP3
00002485: DUP2
00002486: MSTORE
00002487: PUSH1 0x20
00002489: ADD
0000248a: SWAP4
0000248b: POP
0000248c: POP
0000248d: POP
0000248e: POP
0000248f: PUSH1 0x00
00002491: PUSH1 0x40
00002493: MLOAD
00002494: DUP1
00002495: DUP4
00002496: SUB
00002497: DUP2
00002498: PUSH1 0x00
0000249a: DUP8
0000249b: DUP1
0000249c: EXTCODESIZE
0000249d: ISZERO
0000249e: DUP1
0000249f: ISZERO
000024a0: PUSH2 0x24a8
000024a3: JUMPI
000024a4: PUSH1 0x00
000024a6: DUP1
000024a7: REVERT
000024a8: JUMPDEST
000024a9: POP
000024aa: GAS
000024ab: CALL
000024ac: ISZERO
000024ad: DUP1
000024ae: ISZERO
000024af: PUSH2 0x24bc
000024b2: JUMPI
000024b3: RETURNDATASIZE
000024b4: PUSH1 0x00
000024b6: DUP1
000024b7: RETURNDATACOPY
000024b8: RETURNDATASIZE
000024b9: PUSH1 0x00
000024bb: REVERT
000024bc: JUMPDEST
000024bd: POP
000024be: POP
000024bf: POP
000024c0: POP
000024c1: DUP5
000024c2: PUSH1 0x01
000024c4: PUSH1 0x01
000024c6: PUSH1 0xa0
000024c8: SHL
000024c9: SUB
000024ca: AND
000024cb: DUP7
000024cc: PUSH1 0x01
000024ce: PUSH1 0x01
000024d0: PUSH1 0xa0
000024d2: SHL
000024d3: SUB
000024d4: AND
000024d5: EQ
000024d6: PUSH2 0x2558
000024d9: JUMPI
000024da: PUSH2 0x24e1
000024dd: PUSH2 0x1ea4
000024e0: JUMP
000024e1: JUMPDEST
000024e2: PUSH1 0x01
000024e4: PUSH1 0x01
000024e6: PUSH1 0xa0
000024e8: SHL
000024e9: SUB
000024ea: AND
000024eb: PUSH4 0x31873e2e
000024f0: DUP7
000024f1: DUP4
000024f2: DUP6
000024f3: PUSH1 0x40
000024f5: MLOAD
000024f6: DUP5
000024f7: PUSH4 0xffffffff
000024fc: AND
000024fd: PUSH1 0xe0
000024ff: SHL
00002500: DUP2
00002501: MSTORE
00002502: PUSH1 0x04
00002504: ADD
00002505: DUP1
00002506: DUP5
00002507: PUSH1 0x01
00002509: PUSH1 0x01
0000250b: PUSH1 0xa0
0000250d: SHL
0000250e: SUB
0000250f: AND
00002510: DUP2
00002511: MSTORE
00002512: PUSH1 0x20
00002514: ADD
00002515: DUP4
00002516: DUP2
00002517: MSTORE
00002518: PUSH1 0x20
0000251a: ADD
0000251b: DUP3
0000251c: DUP2
0000251d: MSTORE
0000251e: PUSH1 0x20
00002520: ADD
00002521: SWAP4
00002522: POP
00002523: POP
00002524: POP
00002525: POP
00002526: PUSH1 0x00
00002528: PUSH1 0x40
0000252a: MLOAD
0000252b: DUP1
0000252c: DUP4
0000252d: SUB
0000252e: DUP2
0000252f: PUSH1 0x00
00002531: DUP8
00002532: DUP1
00002533: EXTCODESIZE
00002534: ISZERO
00002535: DUP1
00002536: ISZERO
00002537: PUSH2 0x253f
0000253a: JUMPI
0000253b: PUSH1 0x00
0000253d: DUP1
0000253e: REVERT
0000253f: JUMPDEST
00002540: POP
00002541: GAS
00002542: CALL
00002543: ISZERO
00002544: DUP1
00002545: ISZERO
00002546: PUSH2 0x2553
00002549: JUMPI
0000254a: RETURNDATASIZE
0000254b: PUSH1 0x00
0000254d: DUP1
0000254e: RETURNDATACOPY
0000254f: RETURNDATASIZE
00002550: PUSH1 0x00
00002552: REVERT
00002553: JUMPDEST
00002554: POP
00002555: POP
00002556: POP
00002557: POP
00002558: JUMPDEST
00002559: POP
0000255a: JUMPDEST
0000255b: POP
0000255c: POP
0000255d: POP
0000255e: POP
0000255f: POP
00002560: JUMP
00002561: JUMPDEST
00002562: PUSH1 0x00
00002564: DUP2
00002565: EXTCODEHASH
00002566: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002587: DUP2
00002588: DUP2
00002589: EQ
0000258a: DUP1
0000258b: ISZERO
0000258c: SWAP1
0000258d: PUSH2 0x2595
00002590: JUMPI
00002591: POP
00002592: DUP2
00002593: ISZERO
00002594: ISZERO
00002595: JUMPDEST
00002596: SWAP5
00002597: SWAP4
00002598: POP
00002599: POP
0000259a: POP
0000259b: POP
0000259c: JUMP
0000259d: JUMPDEST
0000259e: DUP3
0000259f: DUP1
000025a0: SLOAD
000025a1: PUSH1 0x01
000025a3: DUP2
000025a4: PUSH1 0x01
000025a6: AND
000025a7: ISZERO
000025a8: PUSH2 0x0100
000025ab: MUL
000025ac: SUB
000025ad: AND
000025ae: PUSH1 0x02
000025b0: SWAP1
000025b1: DIV
000025b2: SWAP1
000025b3: PUSH1 0x00
000025b5: MSTORE
000025b6: PUSH1 0x20
000025b8: PUSH1 0x00
000025ba: KECCAK256
000025bb: SWAP1
000025bc: PUSH1 0x1f
000025be: ADD
000025bf: PUSH1 0x20
000025c1: SWAP1
000025c2: DIV
000025c3: DUP2
000025c4: ADD
000025c5: SWAP3
000025c6: DUP3
000025c7: PUSH1 0x1f
000025c9: LT
000025ca: PUSH2 0x25de
000025cd: JUMPI
000025ce: DUP1
000025cf: MLOAD
000025d0: PUSH1 0xff
000025d2: NOT
000025d3: AND
000025d4: DUP4
000025d5: DUP1
000025d6: ADD
000025d7: OR
000025d8: DUP6
000025d9: SSTORE
000025da: PUSH2 0x260b
000025dd: JUMP
000025de: JUMPDEST
000025df: DUP3
000025e0: DUP1
000025e1: ADD
000025e2: PUSH1 0x01
000025e4: ADD
000025e5: DUP6
000025e6: SSTORE
000025e7: DUP3
000025e8: ISZERO
000025e9: PUSH2 0x260b
000025ec: JUMPI
000025ed: SWAP2
000025ee: DUP3
000025ef: ADD
000025f0: JUMPDEST
000025f1: DUP3
000025f2: DUP2
000025f3: GT
000025f4: ISZERO
000025f5: PUSH2 0x260b
000025f8: JUMPI
000025f9: DUP3
000025fa: MLOAD
000025fb: DUP3
000025fc: SSTORE
000025fd: SWAP2
000025fe: PUSH1 0x20
00002600: ADD
00002601: SWAP2
00002602: SWAP1
00002603: PUSH1 0x01
00002605: ADD
00002606: SWAP1
00002607: PUSH2 0x25f0
0000260a: JUMP
0000260b: JUMPDEST
0000260c: POP
0000260d: PUSH2 0x2617
00002610: SWAP3
00002611: SWAP2
00002612: POP
00002613: PUSH2 0x261b
00002616: JUMP
00002617: JUMPDEST
00002618: POP
00002619: SWAP1
0000261a: JUMP
0000261b: JUMPDEST
0000261c: JUMPDEST
0000261d: DUP1
0000261e: DUP3
0000261f: GT
00002620: ISZERO
00002621: PUSH2 0x2617
00002624: JUMPI
00002625: PUSH1 0x00
00002627: DUP2
00002628: SSTORE
00002629: PUSH1 0x01
0000262b: ADD
0000262c: PUSH2 0x261c
0000262f: JUMP
00002630: INVALID
00002631: GASLIMIT
00002632: MSTORE
00002633: NUMBER
00002634: ORIGIN
00002635: ADDRESS
00002636: GASPRICE
00002637: KECCAK256
00002638: PUSH21 0x72616e7366657220746f20746865207a65726f2061
0000264e: PUSH5 0x6472657373
00002654: GASLIMIT
00002655: MSTORE
00002656: NUMBER
00002657: ORIGIN
00002658: ADDRESS
00002659: GASPRICE
0000265a: KECCAK256
0000265b: PUSH3 0x75726e
0000265f: KECCAK256
00002660: PUSH2 0x6d6f
00002663: PUSH22 0x6e7420657863656564732062616c616e636545524332
0000267a: ADDRESS
0000267b: GASPRICE
0000267c: KECCAK256
0000267d: PUSH2 0x7070
00002680: PUSH19 0x6f766520746f20746865207a65726f20616464
00002694: PUSH19 0x65737345524332303a207472616e7366657220
000026a8: PUSH2 0x6d6f
000026ab: PUSH22 0x6e7420657863656564732062616c616e636545524332
000026c2: ADDRESS
000026c3: GASPRICE
000026c4: KECCAK256
000026c5: PUSH21 0x72616e7366657220616d6f756e7420657863656564
000026db: PUSH20 0x20616c6c6f77616e6365436f6e74726163742069
000026f0: PUSH15 0x7374616e63652068617320616c7265
00002700: PUSH2 0x6479
00002703: KECCAK256
00002704: PUSH3 0x65656e
00002708: KECCAK256
00002709: PUSH10 0x6e697469616c697a6564
00002714: UNKNOWN(0xDD)
00002715: CALLCODE
00002716: MSTORE
00002717: UNKNOWN(0xAD)
00002718: SHL
00002719: UNKNOWN(0xE2)
0000271a: UNKNOWN(0xC8)
0000271b: SWAP12
0000271c: PUSH10 0xc2b068fc378daa952ba7
00002727: CALL
00002728: PUSH4 0xc4a11628
0000272d: CREATE2
0000272e: GAS
0000272f: UNKNOWN(0x4D)
00002730: CREATE2
00002731: UNKNOWN(0x23)
00002732: UNKNOWN(0xB3)
00002733: UNKNOWN(0xEF)
00002734: GASLIMIT
00002735: MSTORE
00002736: NUMBER
00002737: ORIGIN
00002738: ADDRESS
00002739: GASPRICE
0000273a: KECCAK256
0000273b: PUSH3 0x75726e
0000273f: KECCAK256
00002740: PUSH7 0x726f6d20746865
00002748: KECCAK256
00002749: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220
00002765: PUSH7 0x726f6d20746865
0000276d: KECCAK256
0000276e: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
0000278a: PUSH19 0x6f6d20746865207a65726f2061646472657373
0000279e: MSTORE8
0000279f: PUSH2 0x6665
000027a2: GASLIMIT
000027a3: MSTORE
000027a4: NUMBER
000027a5: ORIGIN
000027a6: ADDRESS
000027a7: GASPRICE
000027a8: KECCAK256
000027a9: GASLIMIT
000027aa: MSTORE
000027ab: NUMBER
000027ac: ORIGIN
000027ad: ADDRESS
000027ae: KECCAK256
000027af: PUSH16 0x7065726174696f6e20646964206e6f74
000027c0: KECCAK256
000027c1: PUSH20 0x75636365656445524332303a2064656372656173
000027d6: PUSH6 0x6420616c6c6f
000027dd: PUSH24 0x616e63652062656c6f77207a65726fa26469706673582212
000027f6: KECCAK256
000027f7: UNKNOWN(0xBF)
000027f8: UNKNOWN(0xDF)
000027f9: UNKNOWN(0x27)
000027fa: UNKNOWN(0xDD)
000027fb: DUP6
000027fc: UNKNOWN(0x0D)
000027fd: PUSH18 0xfa662260ed1d62a02f1b72f27c5377364d36
00002810: LOG4
00002811: UNKNOWN(0xAD)
00002812: SWAP13
00002813: UNKNOWN(0xDD)
00002814: UNKNOWN(0xB0)
00002815: PUSH13