Analysis Run

[codex:989995] OpenAI Codex v0.77.0 (research preview)
[codex:989995] --------
[codex:989995] workdir: /tmp/codex-multi-mzh17ndf
[codex:989995] model: gpt-5.2-codex
[codex:989995] provider: openai
[codex:989995] approval: never
[codex:989995] sandbox: read-only
[codex:989995] reasoning effort: xhigh
[codex:989995] reasoning summaries: auto
[codex:989995] session id: 019b7aa8-75c9-7580-ab63-18e670d6ac21
[codex:989995] --------
[codex:989995] user
[codex:989995] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:989995] 
[codex:989995] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:989995] 
[codex:989995] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:989995] - Gas inefficiency, code quality, naming, or best practices
[codex:989995] - Theoretical vulnerabilities without a clear extraction path
[codex:989995] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:989995] - Front-running unless it enables theft beyond MEV
[codex:989995] - DoS, griefing, or issues that don't result in attacker profit
[codex:989995] - Missing events, view function issues, or informational findings
[codex:989995] 
[codex:989995] HIGH-VALUE PATTERNS TO HUNT:
[codex:989995] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:989995] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:989995] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:989995] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:989995] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:989995] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:989995] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:989995] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:989995] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:989995] 
[codex:989995] For each finding, you MUST provide:
[codex:989995] 1. Exact file and line numbers of vulnerable code
[codex:989995] 2. Step-by-step exploit transaction sequence
[codex:989995] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:989995] 
[codex:989995] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:989995] 
[codex:989995] Output MUST be valid JSON matching the provided schema.
[codex:989995] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:989995] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:989995] mcp startup: no servers
[codex:989995] 
[codex:989995] thinking
[codex:989995] **Preparing to locate audit instructions**
[codex:989995] exec
[codex:989995] /bin/bash -lc ls in /tmp/codex-multi-mzh17ndf succeeded in 5ms:
[codex:989995] AUDIT_BUNDLE.txt
[codex:989995] codex-output-schema.json
[codex:989995] contracts
[codex:989995] exec
[codex:989995] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-mzh17ndf succeeded in 5ms:
[codex:989995] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:989995] 
[codex:989995] ================================================================================
[codex:989995] FILE: contracts/src/Staking.sol
[codex:989995] ================================================================================
[codex:989995] // SPDX-License-Identifier: MIT
[codex:989995] pragma solidity ^0.8.20;
[codex:989995] 
[codex:989995] import {Initializable} from "openzeppelin-upgradeable/proxy/utils/Initializable.sol";
[codex:989995] import {AccessControlEnumerableUpgradeable} from
[codex:989995]     "openzeppelin-upgradeable/access/AccessControlEnumerableUpgradeable.sol";
[codex:989995] import {Math} from "openzeppelin/utils/math/Math.sol";
[codex:989995] import {IERC20} from "openzeppelin/token/ERC20/IERC20.sol";
[codex:989995] import {SafeERC20Upgradeable} from "openzeppelin-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
[codex:989995] 
[codex:989995] import {ProtocolEvents} from "./interfaces/ProtocolEvents.sol";
[codex:989995] import {IDepositContract} from "./interfaces/IDepositContract.sol";
[codex:989995] import {IMETH} from "./interfaces/IMETH.sol";
[codex:989995] import {IOracleReadRecord, OracleRecord} from "./interfaces/IOracle.sol";
[codex:989995] import {IPauserRead} from "./interfaces/IPauser.sol";
[codex:989995] 
[codex:989995] thinking
[codex:989995] **Planning vulnerability analysis**
[codex:989995] exec
[codex:989995] /bin/bash -lc 'rg --files contracts/src' in /tmp/codex-multi-mzh17ndf succeeded in 17ms:
[codex:989995] contracts/src/Staking.sol
[codex:989995] contracts/src/interfaces/IStaking.sol
[codex:989995] contracts/src/UnstakeRequestsManager.sol
[codex:989995] contracts/src/interfaces/IDepositContract.sol
[codex:989995] contracts/src/interfaces/ProtocolEvents.sol
[codex:989995] contracts/src/interfaces/IMETH.sol
[codex:989995] contracts/src/interfaces/IOracle.sol
[codex:989995] contracts/src/interfaces/IPauser.sol
[codex:989995] contracts/src/interfaces/IUnstakeRequestsManager.sol
[codex:989995] 
[codex:989995] thinking
[codex:989995] **Inspecting large files with sed**
[codex:989995] exec
[codex:989995] /bin/bash -lc "sed -n '1,260p' contracts/src/Staking.sol" in /tmp/codex-multi-mzh17ndf succeeded in 6ms:
[codex:989995] // SPDX-License-Identifier: MIT
[codex:989995] pragma solidity ^0.8.20;
[codex:989995] 
[codex:989995] import {Initializable} from "openzeppelin-upgradeable/proxy/utils/Initializable.sol";
[codex:989995] import {AccessControlEnumerableUpgradeable} from
[codex:989995]     "openzeppelin-upgradeable/access/AccessControlEnumerableUpgradeable.sol";
[codex:989995] import {Math} from "openzeppelin/utils/math/Math.sol";
[codex:989995] import {IERC20} from "openzeppelin/token/ERC20/IERC20.sol";
[codex:989995] import {SafeERC20Upgradeable} from "openzeppelin-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
[codex:989995] 
[codex:989995] import {ProtocolEvents} from "./interfaces/ProtocolEvents.sol";
[codex:989995] import {IDepositContract} from "./interfaces/IDepositContract.sol";
[codex:989995] import {IMETH} from "./interfaces/IMETH.sol";
[codex:989995] import {IOracleReadRecord, OracleRecord} from "./interfaces/IOracle.sol";
[codex:989995] import {IPauserRead} from "./interfaces/IPauser.sol";
[codex:989995] import {IStaking, IStakingReturnsWrite, IStakingInitiationRead} from "./interfaces/IStaking.sol";
[codex:989995] import {UnstakeRequest, IUnstakeRequestsManager} from "./interfaces/IUnstakeRequestsManager.sol";
[codex:989995] 
[codex:989995] /// @notice Events emitted by the staking contract.
[codex:989995] interface StakingEvents {
[codex:989995] 
[codex:989995] thinking
[codex:989995] **Requesting more file content**
[codex:989995] exec
[codex:989995] /bin/bash -lc "sed -n '260,520p' contracts/src/Staking.sol" in /tmp/codex-multi-mzh17ndf succeeded in 5ms:
[codex:989995]     function initialize(Init memory init) external initializer {
[codex:989995]         __AccessControlEnumerable_init();
[codex:989995] 
[codex:989995]         _grantRole(DEFAULT_ADMIN_ROLE, init.admin);
[codex:989995]         _grantRole(STAKING_MANAGER_ROLE, init.manager);
[codex:989995]         _grantRole(ALLOCATOR_SERVICE_ROLE, init.allocatorService);
[codex:989995]         _grantRole(INITIATOR_SERVICE_ROLE, init.initiatorService);
[codex:989995]         // Intentionally does not set anyone as the TOP_UP_ROLE as it will only be granted
[codex:989995]         // in the off-chance that the top up functionality is required.
[codex:989995] 
[codex:989995]         // Set up roles for the staking allowlist. Intentionally do not grant anyone the
[codex:989995]         // STAKING_ALLOWLIST_MANAGER_ROLE as it will only be granted later.
[codex:989995]         _setRoleAdmin(STAKING_ALLOWLIST_MANAGER_ROLE, STAKING_MANAGER_ROLE);
[codex:989995]         _setRoleAdmin(STAKING_ALLOWLIST_ROLE, STAKING_ALLOWLIST_MANAGER_ROLE);
[codex:989995] 
[codex:989995]         mETH = init.mETH;
[codex:989995]         depositContract = init.depositContract;
[codex:989995]         oracle = init.oracle;
[codex:989995]         pauser = init.pauser;
[codex:989995]         returnsAggregator = init.returnsAggregator;
[codex:989995] exec
[codex:989995] /bin/bash -lc "sed -n '520,1040p' contracts/src/Staking.sol" in /tmp/codex-multi-mzh17ndf succeeded in 5ms:
[codex:989995] 
[codex:989995]     /// @notice Tops up the unallocated ETH balance to increase the amount of ETH in the protocol.
[codex:989995]     /// @dev Bypasses the returns aggregator fee collection to inject ETH directly into the protocol.
[codex:989995]     function topUp() external payable onlyRole(TOP_UP_ROLE) {
[codex:989995]         unallocatedETH += msg.value;
[codex:989995]     }
[codex:989995] 
[codex:989995]     /// @notice Converts from mETH to ETH using the current exchange rate.
[codex:989995]     /// The exchange rate is given by the total supply of mETH and total ETH controlled by the protocol.
[codex:989995]     function ethToMETH(uint256 ethAmount) public view returns (uint256) {
[codex:989995]         // 1:1 exchange rate on the first stake.
[codex:989995]         // Using `METH.totalSupply` over `totalControlled` to check if the protocol is in its bootstrap phase since
[codex:989995]         // the latter can be manipulated, for example by transferring funds to the `ExecutionLayerReturnsReceiver`, and
[codex:989995]         // therefore be non-zero by the time the first stake is made
[codex:989995]         if (mETH.totalSupply() == 0) {
[codex:989995]             return ethAmount;
[codex:989995]         }
[codex:989995] 
[codex:989995]         // deltaMETH = (1 - exchangeAdjustmentRate) * (mETHSupply / totalControlled) * ethAmount
[codex:989995]         // This rounds down to zero in the case of `(1 - exchangeAdjustmentRate) * ethAmount * mETHSupply <
[codex:989995] 
[codex:989995] thinking
[codex:989995] **Identifying need for UnstakeRequestsManager**
[codex:989995] exec
[codex:989995] /bin/bash -lc "sed -n '1,260p' contracts/src/UnstakeRequestsManager.sol" in /tmp/codex-multi-mzh17ndf succeeded in 6ms:
[codex:989995] // SPDX-License-Identifier: MIT
[codex:989995] pragma solidity ^0.8.20;
[codex:989995] 
[codex:989995] import {Initializable} from "openzeppelin-upgradeable/proxy/utils/Initializable.sol";
[codex:989995] import {AccessControlEnumerableUpgradeable} from
[codex:989995]     "openzeppelin-upgradeable/access/AccessControlEnumerableUpgradeable.sol";
[codex:989995] import {Address} from "openzeppelin/utils/Address.sol";
[codex:989995] import {Math} from "openzeppelin/utils/math/Math.sol";
[codex:989995] import {SafeERC20Upgradeable} from "openzeppelin-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
[codex:989995] 
[codex:989995] import {ProtocolEvents} from "./interfaces/ProtocolEvents.sol";
[codex:989995] import {IMETH} from "./interfaces/IMETH.sol";
[codex:989995] import {IOracleReadRecord} from "./interfaces/IOracle.sol";
[codex:989995] import {
[codex:989995]     IUnstakeRequestsManager,
[codex:989995]     IUnstakeRequestsManagerWrite,
[codex:989995]     IUnstakeRequestsManagerRead,
[codex:989995]     UnstakeRequest
[codex:989995] } from "./interfaces/IUnstakeRequestsManager.sol";
[codex:989995] import {IStakingReturnsWrite} from "./interfaces/IStaking.sol";
[codex:989995] exec
[codex:989995] /bin/bash -lc "sed -n '260,520p' contracts/src/UnstakeRequestsManager.sol" in /tmp/codex-multi-mzh17ndf succeeded in 7ms:
[codex:989995]                 request.cumulativeETHRequested,
[codex:989995]                 request.blockNumber
[codex:989995]             );
[codex:989995]         }
[codex:989995] 
[codex:989995]         // Reset the latest cumulative ETH state
[codex:989995]         if (amountETHCancelled > 0) {
[codex:989995]             latestCumulativeETHRequested -= amountETHCancelled;
[codex:989995]         }
[codex:989995] 
[codex:989995]         // check whether there are more unfinalized requests to cancel.
[codex:989995]         bool hasMore;
[codex:989995]         uint256 remainingRequestsLength = _unstakeRequests.length;
[codex:989995]         if (remainingRequestsLength == 0) {
[codex:989995]             hasMore = false;
[codex:989995]         } else {
[codex:989995]             UnstakeRequest memory latestRemainingRequest = _unstakeRequests[remainingRequestsLength - 1];
[codex:989995]             hasMore = !_isFinalized(latestRemainingRequest);
[codex:989995]         }
[codex:989995] 
[codex:989995] 
[codex:989995] 
[codex:989995] 
[codex:989995] 
[codex:989995] thinking
[codex:989995] **Analyzing potential exploit vectors in staking contracts**
[codex:989995] 
[codex:989995] I'm examining the staking and UnstakeRequestsManager contracts for concrete profit exploits, focusing on reentrancy, access control, oracle manipulation, and token supply logic. I consider edge cases like forced ETH transfers, first-depositor advantages, and proxy initialization risks, but so far no clear exploit path emerges without assumptions beyond provided code.
[codex:989995] thinking
[codex:989995] **Evaluating fund allocation and claim logic**
[codex:989995] 
[codex:989995] I'm carefully dissecting the claim and fund allocation mechanisms, focusing on how cumulative requested amounts, allocated funds, and total claimed interact. I’m checking for order of claims, potential reentrancy, rounding effects, and whether these could lead to overpayment or denial of claims, ultimately finding the logic consistent and safe against straightforward exploits.
[codex:989995] thinking
[codex:989995] **Analyzing permit, reentrancy, and initialization risks**
[codex:989995] 
[codex:989995] I’m investigating potential permit signature replay, reentrancy in claim and stake functions, and initialization vulnerabilities in upgradeable proxies. The focus is on whether these could cause abuse of fund claims or token minting, but so far the checks, role restrictions, and state updates appear to prevent direct profit exploits—even though deployment missteps could pose risks if initialization isn’t properly done.
[codex:989995] thinking
[codex:989995] **Preparing final JSON report**
[codex:989995] 
[codex:989995] I'm wrapping up the audit with a conclusion that no concrete, exploitable profit paths exist and carefully crafting the JSON output to exactly match the required schema and instructions.
[codex:989995] codex
[codex:989995] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs identified in the provided contracts.","findings":[]}
[codex:989995] tokens used
[codex:989995] 41,119
[codex:989995] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs identified in the provided contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T17:48:33.025037+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs identified in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs identified in the provided contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01dc
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9010d07c
00000019: GT
0000001a: PUSH2 0x0102
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc02d4c8e
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xddd5e1b2
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xddd5e1b2
0000003a: EQ
0000003b: PUSH2 0x069d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xec87621c
00000045: EQ
00000046: PUSH2 0x06bd
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xee99205c
00000050: EQ
00000051: PUSH2 0x06f1
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfe3af1c1
0000005b: EQ
0000005c: PUSH2 0x071e
0000005f: JUMPI
00000060: PUSH2 0x0213
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc02d4c8e
0000006b: EQ
0000006c: PUSH2 0x0632
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xca15c873
00000076: EQ
00000077: PUSH2 0x0647
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd547741f
00000081: EQ
00000082: PUSH2 0x0667
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd54ad2a1
0000008c: EQ
0000008d: PUSH2 0x0687
00000090: JUMPI
00000091: PUSH2 0x0213
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xae5cf272
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xae5cf272
000000a7: EQ
000000a8: PUSH2 0x05d2
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xb2d42b46
000000b2: EQ
000000b3: PUSH2 0x05e8
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xb5475cf6
000000bd: EQ
000000be: PUSH2 0x05fd
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xb69ef8a8
000000c8: EQ
000000c9: PUSH2 0x061d
000000cc: JUMPI
000000cd: PUSH2 0x0213
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x9010d07c
000000d8: EQ
000000d9: PUSH2 0x04a2
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x91d14854
000000e3: EQ
000000e4: PUSH2 0x04c2
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x9a6e6ed1
000000ee: EQ
000000ef: PUSH2 0x0515
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xa217fddf
000000f9: EQ
000000fa: PUSH2 0x05bd
000000fd: JUMPI
000000fe: PUSH2 0x0213
00000101: JUMP
00000102: JUMPDEST
00000103: DUP1
00000104: PUSH4 0x29e84867
00000109: GT
0000010a: PUSH2 0x017a
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x4d13bfa6
00000114: GT
00000115: PUSH2 0x0149
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x4d13bfa6
0000011f: EQ
00000120: PUSH2 0x0421
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x4f588bf1
0000012a: EQ
0000012b: PUSH2 0x0429
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x6a84a985
00000135: EQ
00000136: PUSH2 0x0460
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x7dc0d1d0
00000140: EQ
00000141: PUSH2 0x0475
00000144: JUMPI
00000145: PUSH2 0x0213
00000148: JUMP
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x29e84867
00000150: EQ
00000151: PUSH2 0x036f
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x2d830ce3
0000015b: EQ
0000015c: PUSH2 0x03c1
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x2f2ff15d
00000166: EQ
00000167: PUSH2 0x03e1
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x36568abe
00000171: EQ
00000172: PUSH2 0x0401
00000175: JUMPI
00000176: PUSH2 0x0213
00000179: JUMP
0000017a: JUMPDEST
0000017b: DUP1
0000017c: PUSH4 0x1e846464
00000181: GT
00000182: PUSH2 0x01b6
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x1e846464
0000018c: EQ
0000018d: PUSH2 0x02b3
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x248a9ca3
00000197: EQ
00000198: PUSH2 0x02d3
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x278c5acd
000001a2: EQ
000001a3: PUSH2 0x0303
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x28ad3aac
000001ad: EQ
000001ae: PUSH2 0x034d
000001b1: JUMPI
000001b2: PUSH2 0x0213
000001b5: JUMP
000001b6: JUMPDEST
000001b7: DUP1
000001b8: PUSH4 0x01ffc9a7
000001bd: EQ
000001be: PUSH2 0x0245
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x106b263c
000001c8: EQ
000001c9: PUSH2 0x027a
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x1453444d
000001d3: EQ
000001d4: PUSH2 0x029d
000001d7: JUMPI
000001d8: PUSH2 0x0213
000001db: JUMP
000001dc: JUMPDEST
000001dd: CALLDATASIZE
000001de: PUSH2 0x0213
000001e1: JUMPI
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: PUSH32 0x34352c7300000000000000000000000000000000000000000000000000000000
00000206: DUP2
00000207: MSTORE
00000208: PUSH1 0x04
0000020a: ADD
0000020b: PUSH1 0x40
0000020d: MLOAD
0000020e: DUP1
0000020f: SWAP2
00000210: SUB
00000211: SWAP1
00000212: REVERT
00000213: JUMPDEST
00000214: PUSH1 0x40
00000216: MLOAD
00000217: PUSH32 0x34352c7300000000000000000000000000000000000000000000000000000000
00000238: DUP2
00000239: MSTORE
0000023a: PUSH1 0x04
0000023c: ADD
0000023d: PUSH1 0x40
0000023f: MLOAD
00000240: DUP1
00000241: SWAP2
00000242: SUB
00000243: SWAP1
00000244: REVERT
00000245: JUMPDEST
00000246: CALLVALUE
00000247: DUP1
00000248: ISZERO
00000249: PUSH2 0x0251
0000024c: JUMPI
0000024d: PUSH1 0x00
0000024f: DUP1
00000250: REVERT
00000251: JUMPDEST
00000252: POP
00000253: PUSH2 0x0265
00000256: PUSH2 0x0260
00000259: CALLDATASIZE
0000025a: PUSH1 0x04
0000025c: PUSH2 0x2a99
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH2 0x0752
00000264: JUMP
00000265: JUMPDEST
00000266: PUSH1 0x40
00000268: MLOAD
00000269: SWAP1
0000026a: ISZERO
0000026b: ISZERO
0000026c: DUP2
0000026d: MSTORE
0000026e: PUSH1 0x20
00000270: ADD
00000271: JUMPDEST
00000272: PUSH1 0x40
00000274: MLOAD
00000275: DUP1
00000276: SWAP2
00000277: SUB
00000278: SWAP1
00000279: RETURN
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH2 0x028f
0000028b: PUSH2 0x07ae
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x40
00000292: MLOAD
00000293: SWAP1
00000294: DUP2
00000295: MSTORE
00000296: PUSH1 0x20
00000298: ADD
00000299: PUSH2 0x0271
0000029c: JUMP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x028f
000002ae: PUSH1 0xcb
000002b0: SLOAD
000002b1: DUP2
000002b2: JUMP
000002b3: JUMPDEST
000002b4: CALLVALUE
000002b5: DUP1
000002b6: ISZERO
000002b7: PUSH2 0x02bf
000002ba: JUMPI
000002bb: PUSH1 0x00
000002bd: DUP1
000002be: REVERT
000002bf: JUMPDEST
000002c0: POP
000002c1: PUSH2 0x0265
000002c4: PUSH2 0x02ce
000002c7: CALLDATASIZE
000002c8: PUSH1 0x04
000002ca: PUSH2 0x2adb
000002cd: JUMP
000002ce: JUMPDEST
000002cf: PUSH2 0x07fe
000002d2: JUMP
000002d3: JUMPDEST
000002d4: CALLVALUE
000002d5: DUP1
000002d6: ISZERO
000002d7: PUSH2 0x02df
000002da: JUMPI
000002db: PUSH1 0x00
000002dd: DUP1
000002de: REVERT
000002df: JUMPDEST
000002e0: POP
000002e1: PUSH2 0x028f
000002e4: PUSH2 0x02ee
000002e7: CALLDATASIZE
000002e8: PUSH1 0x04
000002ea: PUSH2 0x2adb
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x00
000002f1: SWAP1
000002f2: DUP2
000002f3: MSTORE
000002f4: PUSH1 0x65
000002f6: PUSH1 0x20
000002f8: MSTORE
000002f9: PUSH1 0x40
000002fb: SWAP1
000002fc: KECCAK256
000002fd: PUSH1 0x01
000002ff: ADD
00000300: SLOAD
00000301: SWAP1
00000302: JUMP
00000303: JUMPDEST
00000304: CALLVALUE
00000305: DUP1
00000306: ISZERO
00000307: PUSH2 0x030f
0000030a: JUMPI
0000030b: PUSH1 0x00
0000030d: DUP1
0000030e: REVERT
0000030f: JUMPDEST
00000310: POP
00000311: PUSH1 0xcf
00000313: SLOAD
00000314: PUSH2 0x032c
00000317: SWAP1
00000318: PUSH16 0xffffffffffffffffffffffffffffffff
00000329: AND
0000032a: DUP2
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH1 0x40
0000032f: MLOAD
00000330: PUSH16 0xffffffffffffffffffffffffffffffff
00000341: SWAP1
00000342: SWAP2
00000343: AND
00000344: DUP2
00000345: MSTORE
00000346: PUSH1 0x20
00000348: ADD
00000349: PUSH2 0x0271
0000034c: JUMP
0000034d: JUMPDEST
0000034e: CALLVALUE
0000034f: DUP1
00000350: ISZERO
00000351: PUSH2 0x0359
00000354: JUMPI
00000355: PUSH1 0x00
00000357: DUP1
00000358: REVERT
00000359: JUMPDEST
0000035a: POP
0000035b: PUSH2 0x036d
0000035e: PUSH2 0x0368
00000361: CALLDATASIZE
00000362: PUSH1 0x04
00000364: PUSH2 0x2adb
00000367: JUMP
00000368: JUMPDEST
00000369: PUSH2 0x0d56
0000036c: JUMP
0000036d: JUMPDEST
0000036e: STOP
0000036f: JUMPDEST
00000370: CALLVALUE
00000371: DUP1
00000372: ISZERO
00000373: PUSH2 0x037b
00000376: JUMPI
00000377: PUSH1 0x00
00000379: DUP1
0000037a: REVERT
0000037b: JUMPDEST
0000037c: POP
0000037d: PUSH1 0xce
0000037f: SLOAD
00000380: PUSH2 0x039c
00000383: SWAP1
00000384: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000399: AND
0000039a: DUP2
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH1 0x40
0000039f: MLOAD
000003a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b5: SWAP1
000003b6: SWAP2
000003b7: AND
000003b8: DUP2
000003b9: MSTORE
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: PUSH2 0x0271
000003c0: JUMP
000003c1: JUMPDEST
000003c2: CALLVALUE
000003c3: DUP1
000003c4: ISZERO
000003c5: PUSH2 0x03cd
000003c8: JUMPI
000003c9: PUSH1 0x00
000003cb: DUP1
000003cc: REVERT
000003cd: JUMPDEST
000003ce: POP
000003cf: PUSH2 0x036d
000003d2: PUSH2 0x03dc
000003d5: CALLDATASIZE
000003d6: PUSH1 0x04
000003d8: PUSH2 0x2b55
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH2 0x0e19
000003e0: JUMP
000003e1: JUMPDEST
000003e2: CALLVALUE
000003e3: DUP1
000003e4: ISZERO
000003e5: PUSH2 0x03ed
000003e8: JUMPI
000003e9: PUSH1 0x00
000003eb: DUP1
000003ec: REVERT
000003ed: JUMPDEST
000003ee: POP
000003ef: PUSH2 0x036d
000003f2: PUSH2 0x03fc
000003f5: CALLDATASIZE
000003f6: PUSH1 0x04
000003f8: PUSH2 0x2c30
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH2 0x1095
00000400: JUMP
00000401: JUMPDEST
00000402: CALLVALUE
00000403: DUP1
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: POP
0000040f: PUSH2 0x036d
00000412: PUSH2 0x041c
00000415: CALLDATASIZE
00000416: PUSH1 0x04
00000418: PUSH2 0x2c30
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH2 0x10bf
00000420: JUMP
00000421: JUMPDEST
00000422: PUSH2 0x036d
00000425: PUSH2 0x116e
00000428: JUMP
00000429: JUMPDEST
0000042a: CALLVALUE
0000042b: DUP1
0000042c: ISZERO
0000042d: PUSH2 0x0435
00000430: JUMPI
00000431: PUSH1 0x00
00000433: DUP1
00000434: REVERT
00000435: JUMPDEST
00000436: POP
00000437: PUSH2 0x0449
0000043a: PUSH2 0x0444
0000043d: CALLDATASIZE
0000043e: PUSH1 0x04
00000440: PUSH2 0x2adb
00000443: JUMP
00000444: JUMPDEST
00000445: PUSH2 0x11d8
00000448: JUMP
00000449: JUMPDEST
0000044a: PUSH1 0x40
0000044c: DUP1
0000044d: MLOAD
0000044e: SWAP3
0000044f: ISZERO
00000450: ISZERO
00000451: DUP4
00000452: MSTORE
00000453: PUSH1 0x20
00000455: DUP4
00000456: ADD
00000457: SWAP2
00000458: SWAP1
00000459: SWAP2
0000045a: MSTORE
0000045b: ADD
0000045c: PUSH2 0x0271
0000045f: JUMP
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH1 0xd0
00000470: SLOAD
00000471: PUSH2 0x028f
00000474: JUMP
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH1 0xca
00000485: SLOAD
00000486: PUSH2 0x039c
00000489: SWAP1
0000048a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000049f: AND
000004a0: DUP2
000004a1: JUMP
000004a2: JUMPDEST
000004a3: CALLVALUE
000004a4: DUP1
000004a5: ISZERO
000004a6: PUSH2 0x04ae
000004a9: JUMPI
000004aa: PUSH1 0x00
000004ac: DUP1
000004ad: REVERT
000004ae: JUMPDEST
000004af: POP
000004b0: PUSH2 0x039c
000004b3: PUSH2 0x04bd
000004b6: CALLDATASIZE
000004b7: PUSH1 0x04
000004b9: PUSH2 0x2c60
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH2 0x1318
000004c1: JUMP
000004c2: JUMPDEST
000004c3: CALLVALUE
000004c4: DUP1
000004c5: ISZERO
000004c6: PUSH2 0x04ce
000004c9: JUMPI
000004ca: PUSH1 0x00
000004cc: DUP1
000004cd: REVERT
000004ce: JUMPDEST
000004cf: POP
000004d0: PUSH2 0x0265
000004d3: PUSH2 0x04dd
000004d6: CALLDATASIZE
000004d7: PUSH1 0x04
000004d9: PUSH2 0x2c30
000004dc: JUMP
000004dd: JUMPDEST
000004de: PUSH1 0x00
000004e0: SWAP2
000004e1: DUP3
000004e2: MSTORE
000004e3: PUSH1 0x65
000004e5: PUSH1 0x20
000004e7: SWAP1
000004e8: DUP2
000004e9: MSTORE
000004ea: PUSH1 0x40
000004ec: DUP1
000004ed: DUP5
000004ee: KECCAK256
000004ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000504: SWAP4
00000505: SWAP1
00000506: SWAP4
00000507: AND
00000508: DUP5
00000509: MSTORE
0000050a: SWAP2
0000050b: SWAP1
0000050c: MSTORE
0000050d: SWAP1
0000050e: KECCAK256
0000050f: SLOAD
00000510: PUSH1 0xff
00000512: AND
00000513: SWAP1
00000514: JUMP
00000515: JUMPDEST
00000516: CALLVALUE
00000517: DUP1
00000518: ISZERO
00000519: PUSH2 0x0521
0000051c: JUMPI
0000051d: PUSH1 0x00
0000051f: DUP1
00000520: REVERT
00000521: JUMPDEST
00000522: POP
00000523: PUSH2 0x0535
00000526: PUSH2 0x0530
00000529: CALLDATASIZE
0000052a: PUSH1 0x04
0000052c: PUSH2 0x2adb
0000052f: JUMP
00000530: JUMPDEST
00000531: PUSH2 0x1337
00000534: JUMP
00000535: JUMPDEST
00000536: PUSH1 0x40
00000538: MLOAD
00000539: PUSH2 0x0271
0000053c: SWAP2
0000053d: SWAP1
0000053e: PUSH1 0x00
00000540: PUSH1 0xc0
00000542: DUP3
00000543: ADD
00000544: SWAP1
00000545: POP
00000546: PUSH8 0xffffffffffffffff
0000054f: DUP4
00000550: MLOAD
00000551: AND
00000552: DUP3
00000553: MSTORE
00000554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000569: PUSH1 0x20
0000056b: DUP5
0000056c: ADD
0000056d: MLOAD
0000056e: AND
0000056f: PUSH1 0x20
00000571: DUP4
00000572: ADD
00000573: MSTORE
00000574: PUSH1 0x40
00000576: DUP4
00000577: ADD
00000578: MLOAD
00000579: PUSH16 0xffffffffffffffffffffffffffffffff
0000058a: DUP1
0000058b: DUP3
0000058c: AND
0000058d: PUSH1 0x40
0000058f: DUP6
00000590: ADD
00000591: MSTORE
00000592: DUP1
00000593: PUSH1 0x60
00000595: DUP7
00000596: ADD
00000597: MLOAD
00000598: AND
00000599: PUSH1 0x60
0000059b: DUP6
0000059c: ADD
0000059d: MSTORE
0000059e: DUP1
0000059f: PUSH1 0x80
000005a1: DUP7
000005a2: ADD
000005a3: MLOAD
000005a4: AND
000005a5: PUSH1 0x80
000005a7: DUP6
000005a8: ADD
000005a9: MSTORE
000005aa: DUP1
000005ab: PUSH1 0xa0
000005ad: DUP7
000005ae: ADD
000005af: MLOAD
000005b0: AND
000005b1: PUSH1 0xa0
000005b3: DUP6
000005b4: ADD
000005b5: MSTORE
000005b6: POP
000005b7: POP
000005b8: SWAP3
000005b9: SWAP2
000005ba: POP
000005bb: POP
000005bc: JUMP
000005bd: JUMPDEST
000005be: CALLVALUE
000005bf: DUP1
000005c0: ISZERO
000005c1: PUSH2 0x05c9
000005c4: JUMPI
000005c5: PUSH1 0x00
000005c7: DUP1
000005c8: REVERT
000005c9: JUMPDEST
000005ca: POP
000005cb: PUSH2 0x028f
000005ce: PUSH1 0x00
000005d0: DUP2
000005d1: JUMP
000005d2: JUMPDEST
000005d3: CALLVALUE
000005d4: DUP1
000005d5: ISZERO
000005d6: PUSH2 0x05de
000005d9: JUMPI
000005da: PUSH1 0x00
000005dc: DUP1
000005dd: REVERT
000005de: JUMPDEST
000005df: POP
000005e0: PUSH2 0x028f
000005e3: PUSH1 0xcd
000005e5: SLOAD
000005e6: DUP2
000005e7: JUMP
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: PUSH2 0x036d
000005f9: PUSH2 0x142f
000005fc: JUMP
000005fd: JUMPDEST
000005fe: CALLVALUE
000005ff: DUP1
00000600: ISZERO
00000601: PUSH2 0x0609
00000604: JUMPI
00000605: PUSH1 0x00
00000607: DUP1
00000608: REVERT
00000609: JUMPDEST
0000060a: POP
0000060b: PUSH2 0x028f
0000060e: PUSH2 0x0618
00000611: CALLDATASIZE
00000612: PUSH1 0x04
00000614: PUSH2 0x2ca0
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH2 0x1538
0000061c: JUMP
0000061d: JUMPDEST
0000061e: CALLVALUE
0000061f: DUP1
00000620: ISZERO
00000621: PUSH2 0x0629
00000624: JUMPI
00000625: PUSH1 0x00
00000627: DUP1
00000628: REVERT
00000629: JUMPDEST
0000062a: POP
0000062b: PUSH2 0x028f
0000062e: PUSH2 0x17c2
00000631: JUMP
00000632: JUMPDEST
00000633: CALLVALUE
00000634: DUP1
00000635: ISZERO
00000636: PUSH2 0x063e
00000639: JUMPI
0000063a: PUSH1 0x00
0000063c: DUP1
0000063d: REVERT
0000063e: JUMPDEST
0000063f: POP
00000640: PUSH2 0x028f
00000643: PUSH2 0x17e0
00000646: JUMP
00000647: JUMPDEST
00000648: CALLVALUE
00000649: DUP1
0000064a: ISZERO
0000064b: PUSH2 0x0653
0000064e: JUMPI
0000064f: PUSH1 0x00
00000651: DUP1
00000652: REVERT
00000653: JUMPDEST
00000654: POP
00000655: PUSH2 0x028f
00000658: PUSH2 0x0662
0000065b: CALLDATASIZE
0000065c: PUSH1 0x04
0000065e: PUSH2 0x2adb
00000661: JUMP
00000662: JUMPDEST
00000663: PUSH2 0x1823
00000666: JUMP
00000667: JUMPDEST
00000668: CALLVALUE
00000669: DUP1
0000066a: ISZERO
0000066b: PUSH2 0x0673
0000066e: JUMPI
0000066f: PUSH1 0x00
00000671: DUP1
00000672: REVERT
00000673: JUMPDEST
00000674: POP
00000675: PUSH2 0x036d
00000678: PUSH2 0x0682
0000067b: CALLDATASIZE
0000067c: PUSH1 0x04
0000067e: PUSH2 0x2c30
00000681: JUMP
00000682: JUMPDEST
00000683: PUSH2 0x183a
00000686: JUMP
00000687: JUMPDEST
00000688: CALLVALUE
00000689: DUP1
0000068a: ISZERO
0000068b: PUSH2 0x0693
0000068e: JUMPI
0000068f: PUSH1 0x00
00000691: DUP1
00000692: REVERT
00000693: JUMPDEST
00000694: POP
00000695: PUSH2 0x028f
00000698: PUSH1 0xcc
0000069a: SLOAD
0000069b: DUP2
0000069c: JUMP
0000069d: JUMPDEST
0000069e: CALLVALUE
0000069f: DUP1
000006a0: ISZERO
000006a1: PUSH2 0x06a9
000006a4: JUMPI
000006a5: PUSH1 0x00
000006a7: DUP1
000006a8: REVERT
000006a9: JUMPDEST
000006aa: POP
000006ab: PUSH2 0x036d
000006ae: PUSH2 0x06b8
000006b1: CALLDATASIZE
000006b2: PUSH1 0x04
000006b4: PUSH2 0x2c30
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH2 0x185f
000006bc: JUMP
000006bd: JUMPDEST
000006be: CALLVALUE
000006bf: DUP1
000006c0: ISZERO
000006c1: PUSH2 0x06c9
000006c4: JUMPI
000006c5: PUSH1 0x00
000006c7: DUP1
000006c8: REVERT
000006c9: JUMPDEST
000006ca: POP
000006cb: PUSH2 0x028f
000006ce: PUSH32 0x241ecf16d79d0f8dbfb92cbc07fe17840425976cf0667f022fe9877caa831b08
000006ef: DUP2
000006f0: JUMP
000006f1: JUMPDEST
000006f2: CALLVALUE
000006f3: DUP1
000006f4: ISZERO
000006f5: PUSH2 0x06fd
000006f8: JUMPI
000006f9: PUSH1 0x00
000006fb: DUP1
000006fc: REVERT
000006fd: JUMPDEST
000006fe: POP
000006ff: PUSH1 0xc9
00000701: SLOAD
00000702: PUSH2 0x039c
00000705: SWAP1
00000706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071b: AND
0000071c: DUP2
0000071d: JUMP
0000071e: JUMPDEST
0000071f: CALLVALUE
00000720: DUP1
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: POP
0000072c: PUSH2 0x028f
0000072f: PUSH32 0xef6d3da212345543d99125b43af0bc451d30ffaf90d4560558d702b21179a70f
00000750: DUP2
00000751: JUMP
00000752: JUMPDEST
00000753: PUSH1 0x00
00000755: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000776: DUP3
00000777: AND
00000778: PUSH32 0x5a05180f00000000000000000000000000000000000000000000000000000000
00000799: EQ
0000079a: DUP1
0000079b: PUSH2 0x07a8
0000079e: JUMPI
0000079f: POP
000007a0: PUSH2 0x07a8
000007a3: DUP3
000007a4: PUSH2 0x1ca0
000007a7: JUMP
000007a8: JUMPDEST
000007a9: SWAP3
000007aa: SWAP2
000007ab: POP
000007ac: POP
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH1 0xcb
000007b1: SLOAD
000007b2: PUSH1 0xcf
000007b4: SLOAD
000007b5: PUSH1 0x00
000007b7: SWAP2
000007b8: PUSH16 0xffffffffffffffffffffffffffffffff
000007c9: SWAP1
000007ca: SWAP2
000007cb: AND
000007cc: GT
000007cd: ISZERO
000007ce: PUSH2 0x07f8
000007d1: JUMPI
000007d2: PUSH1 0xcb
000007d4: SLOAD
000007d5: PUSH1 0xcf
000007d7: SLOAD
000007d8: PUSH2 0x07f3
000007db: SWAP2
000007dc: SWAP1
000007dd: PUSH16 0xffffffffffffffffffffffffffffffff
000007ee: AND
000007ef: PUSH2 0x2d1a
000007f2: JUMP
000007f3: JUMPDEST
000007f4: SWAP1
000007f5: POP
000007f6: SWAP1
000007f7: JUMP
000007f8: JUMPDEST
000007f9: POP
000007fa: PUSH1 0x00
000007fc: SWAP1
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH1 0x00
00000801: PUSH32 0xef6d3da212345543d99125b43af0bc451d30ffaf90d4560558d702b21179a70f
00000822: PUSH2 0x082a
00000825: DUP2
00000826: PUSH2 0x1d37
00000829: JUMP
0000082a: JUMPDEST
0000082b: PUSH1 0xd0
0000082d: SLOAD
0000082e: PUSH1 0x00
00000830: DUP2
00000831: SWAP1
00000832: SUB
00000833: PUSH2 0x0840
00000836: JUMPI
00000837: PUSH1 0x00
00000839: SWAP3
0000083a: POP
0000083b: POP
0000083c: PUSH2 0x0d50
0000083f: JUMP
00000840: JUMPDEST
00000841: DUP4
00000842: DUP2
00000843: LT
00000844: ISZERO
00000845: PUSH2 0x084c
00000848: JUMPI
00000849: DUP1
0000084a: SWAP4
0000084b: POP
0000084c: JUMPDEST
0000084d: PUSH1 0x00
0000084f: DUP5
00000850: PUSH8 0xffffffffffffffff
00000859: DUP2
0000085a: GT
0000085b: ISZERO
0000085c: PUSH2 0x0867
0000085f: JUMPI
00000860: PUSH2 0x0867
00000863: PUSH2 0x2af4
00000866: JUMP
00000867: JUMPDEST
00000868: PUSH1 0x40
0000086a: MLOAD
0000086b: SWAP1
0000086c: DUP1
0000086d: DUP3
0000086e: MSTORE
0000086f: DUP1
00000870: PUSH1 0x20
00000872: MUL
00000873: PUSH1 0x20
00000875: ADD
00000876: DUP3
00000877: ADD
00000878: PUSH1 0x40
0000087a: MSTORE
0000087b: DUP1
0000087c: ISZERO
0000087d: PUSH2 0x08e5
00000880: JUMPI
00000881: DUP2
00000882: PUSH1 0x20
00000884: ADD
00000885: JUMPDEST
00000886: PUSH1 0x40
00000888: DUP1
00000889: MLOAD
0000088a: PUSH1 0xc0
0000088c: DUP2
0000088d: ADD
0000088e: DUP3
0000088f: MSTORE
00000890: PUSH1 0x00
00000892: DUP1
00000893: DUP3
00000894: MSTORE
00000895: PUSH1 0x20
00000897: DUP1
00000898: DUP4
00000899: ADD
0000089a: DUP3
0000089b: SWAP1
0000089c: MSTORE
0000089d: SWAP3
0000089e: DUP3
0000089f: ADD
000008a0: DUP2
000008a1: SWAP1
000008a2: MSTORE
000008a3: PUSH1 0x60
000008a5: DUP3
000008a6: ADD
000008a7: DUP2
000008a8: SWAP1
000008a9: MSTORE
000008aa: PUSH1 0x80
000008ac: DUP3
000008ad: ADD
000008ae: DUP2
000008af: SWAP1
000008b0: MSTORE
000008b1: PUSH1 0xa0
000008b3: DUP3
000008b4: ADD
000008b5: MSTORE
000008b6: DUP3
000008b7: MSTORE
000008b8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000008d9: SWAP1
000008da: SWAP3
000008db: ADD
000008dc: SWAP2
000008dd: ADD
000008de: DUP2
000008df: PUSH2 0x0885
000008e2: JUMPI
000008e3: SWAP1
000008e4: POP
000008e5: JUMPDEST
000008e6: POP
000008e7: SWAP1
000008e8: POP
000008e9: PUSH1 0x00
000008eb: DUP1
000008ec: JUMPDEST
000008ed: DUP7
000008ee: DUP3
000008ef: LT
000008f0: ISZERO
000008f1: PUSH2 0x0b4e
000008f4: JUMPI
000008f5: PUSH1 0xd0
000008f7: DUP1
000008f8: SLOAD
000008f9: PUSH1 0x00
000008fb: SWAP2
000008fc: SWAP1
000008fd: PUSH2 0x0908
00000900: SWAP1
00000901: PUSH1 0x01
00000903: SWAP1
00000904: PUSH2 0x2d1a
00000907: JUMP
00000908: JUMPDEST
00000909: DUP2
0000090a: SLOAD
0000090b: DUP2
0000090c: LT
0000090d: PUSH2 0x0918
00000910: JUMPI
00000911: PUSH2 0x0918
00000914: PUSH2 0x2d2d
00000917: JUMP
00000918: JUMPDEST
00000919: PUSH1 0x00
0000091b: SWAP2
0000091c: DUP3
0000091d: MSTORE
0000091e: PUSH1 0x20
00000920: SWAP2
00000921: DUP3
00000922: SWAP1
00000923: KECCAK256
00000924: PUSH1 0x40
00000926: DUP1
00000927: MLOAD
00000928: PUSH1 0xc0
0000092a: DUP2
0000092b: ADD
0000092c: DUP3
0000092d: MSTORE
0000092e: PUSH1 0x03
00000930: SWAP1
00000931: SWAP4
00000932: MUL
00000933: SWAP1
00000934: SWAP2
00000935: ADD
00000936: DUP1
00000937: SLOAD
00000938: PUSH8 0xffffffffffffffff
00000941: DUP2
00000942: AND
00000943: DUP5
00000944: MSTORE
00000945: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095a: PUSH9 0x010000000000000000
00000964: SWAP1
00000965: SWAP2
00000966: DIV
00000967: AND
00000968: SWAP4
00000969: DUP4
0000096a: ADD
0000096b: SWAP4
0000096c: SWAP1
0000096d: SWAP4
0000096e: MSTORE
0000096f: PUSH1 0x01
00000971: DUP4
00000972: ADD
00000973: SLOAD
00000974: PUSH16 0xffffffffffffffffffffffffffffffff
00000985: DUP1
00000986: DUP3
00000987: AND
00000988: SWAP3
00000989: DUP5
0000098a: ADD
0000098b: SWAP3
0000098c: SWAP1
0000098d: SWAP3
0000098e: MSTORE
0000098f: PUSH17 0x0100000000000000000000000000000000
000009a1: SWAP1
000009a2: DUP2
000009a3: SWAP1
000009a4: DIV
000009a5: DUP3
000009a6: AND
000009a7: PUSH1 0x60
000009a9: DUP5
000009aa: ADD
000009ab: MSTORE
000009ac: PUSH1 0x02
000009ae: SWAP1
000009af: SWAP4
000009b0: ADD
000009b1: SLOAD
000009b2: DUP1
000009b3: DUP3
000009b4: AND
000009b5: PUSH1 0x80
000009b7: DUP5
000009b8: ADD
000009b9: MSTORE
000009ba: SWAP3
000009bb: SWAP1
000009bc: SWAP3
000009bd: DIV
000009be: SWAP1
000009bf: SWAP2
000009c0: AND
000009c1: PUSH1 0xa0
000009c3: DUP3
000009c4: ADD
000009c5: MSTORE
000009c6: SWAP1
000009c7: POP
000009c8: PUSH2 0x09d0
000009cb: DUP2
000009cc: PUSH2 0x1d44
000009cf: JUMP
000009d0: JUMPDEST
000009d1: ISZERO
000009d2: PUSH2 0x09db
000009d5: JUMPI
000009d6: POP
000009d7: PUSH2 0x0b4e
000009da: JUMP
000009db: JUMPDEST
000009dc: PUSH1 0xd0
000009de: DUP1
000009df: SLOAD
000009e0: DUP1
000009e1: PUSH2 0x09ec
000009e4: JUMPI
000009e5: PUSH2 0x09ec
000009e8: PUSH2 0x2d5c
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH1 0x00
000009ef: DUP3
000009f0: DUP2
000009f1: MSTORE
000009f2: PUSH1 0x20
000009f4: DUP2
000009f5: KECCAK256
000009f6: PUSH1 0x03
000009f8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000a19: SWAP1
00000a1a: SWAP4
00000a1b: ADD
00000a1c: SWAP3
00000a1d: DUP4
00000a1e: MUL
00000a1f: ADD
00000a20: DUP1
00000a21: SLOAD
00000a22: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000a43: AND
00000a44: DUP2
00000a45: SSTORE
00000a46: PUSH1 0x01
00000a48: DUP2
00000a49: ADD
00000a4a: DUP3
00000a4b: SWAP1
00000a4c: SSTORE
00000a4d: PUSH1 0x02
00000a4f: ADD
00000a50: SSTORE
00000a51: SWAP1
00000a52: SSTORE
00000a53: DUP4
00000a54: MLOAD
00000a55: DUP2
00000a56: SWAP1
00000a57: DUP6
00000a58: SWAP1
00000a59: DUP6
00000a5a: SWAP1
00000a5b: DUP2
00000a5c: LT
00000a5d: PUSH2 0x0a68
00000a60: JUMPI
00000a61: PUSH2 0x0a68
00000a64: PUSH2 0x2d2d
00000a67: JUMP
00000a68: JUMPDEST
00000a69: PUSH1 0x20
00000a6b: MUL
00000a6c: PUSH1 0x20
00000a6e: ADD
00000a6f: ADD
00000a70: DUP2
00000a71: SWAP1
00000a72: MSTORE
00000a73: POP
00000a74: DUP3
00000a75: PUSH2 0x0a7d
00000a78: SWAP1
00000a79: PUSH2 0x2d8b
00000a7c: JUMP
00000a7d: JUMPDEST
00000a7e: SWAP3
00000a7f: POP
00000a80: DUP1
00000a81: PUSH1 0x80
00000a83: ADD
00000a84: MLOAD
00000a85: DUP3
00000a86: PUSH2 0x0a8f
00000a89: SWAP2
00000a8a: SWAP1
00000a8b: PUSH2 0x2dc3
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: SWAP2
00000a91: POP
00000a92: DUP1
00000a93: PUSH1 0x20
00000a95: ADD
00000a96: MLOAD
00000a97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aac: AND
00000aad: DUP2
00000aae: PUSH1 0x40
00000ab0: ADD
00000ab1: MLOAD
00000ab2: PUSH16 0xffffffffffffffffffffffffffffffff
00000ac3: AND
00000ac4: PUSH32 0xf8d5df096390c80d709314ba3a8e55a91854bab1fbf8cce78081bdd48eb49aed
00000ae5: DUP4
00000ae6: PUSH1 0x60
00000ae8: ADD
00000ae9: MLOAD
00000aea: DUP5
00000aeb: PUSH1 0x80
00000aed: ADD
00000aee: MLOAD
00000aef: DUP6
00000af0: PUSH1 0xa0
00000af2: ADD
00000af3: MLOAD
00000af4: DUP7
00000af5: PUSH1 0x00
00000af7: ADD
00000af8: MLOAD
00000af9: PUSH1 0x40
00000afb: MLOAD
00000afc: PUSH2 0x0b40
00000aff: SWAP5
00000b00: SWAP4
00000b01: SWAP3
00000b02: SWAP2
00000b03: SWAP1
00000b04: PUSH16 0xffffffffffffffffffffffffffffffff
00000b15: SWAP5
00000b16: DUP6
00000b17: AND
00000b18: DUP2
00000b19: MSTORE
00000b1a: SWAP3
00000b1b: DUP5
00000b1c: AND
00000b1d: PUSH1 0x20
00000b1f: DUP5
00000b20: ADD
00000b21: MSTORE
00000b22: SWAP3
00000b23: AND
00000b24: PUSH1 0x40
00000b26: DUP3
00000b27: ADD
00000b28: MSTORE
00000b29: PUSH8 0xffffffffffffffff
00000b32: SWAP2
00000b33: SWAP1
00000b34: SWAP2
00000b35: AND
00000b36: PUSH1 0x60
00000b38: DUP3
00000b39: ADD
00000b3a: MSTORE
00000b3b: PUSH1 0x80
00000b3d: ADD
00000b3e: SWAP1
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: PUSH1 0x40
00000b43: MLOAD
00000b44: DUP1
00000b45: SWAP2
00000b46: SUB
00000b47: SWAP1
00000b48: LOG3
00000b49: POP
00000b4a: PUSH2 0x08ec
00000b4d: JUMP
00000b4e: JUMPDEST
00000b4f: PUSH16 0xffffffffffffffffffffffffffffffff
00000b60: DUP2
00000b61: AND
00000b62: ISZERO
00000b63: PUSH2 0x0bc4
00000b66: JUMPI
00000b67: PUSH1 0xcf
00000b69: DUP1
00000b6a: SLOAD
00000b6b: DUP3
00000b6c: SWAP2
00000b6d: SWAP1
00000b6e: PUSH1 0x00
00000b70: SWAP1
00000b71: PUSH2 0x0b8d
00000b74: SWAP1
00000b75: DUP5
00000b76: SWAP1
00000b77: PUSH16 0xffffffffffffffffffffffffffffffff
00000b88: AND
00000b89: PUSH2 0x2dec
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: SWAP3
00000b8f: POP
00000b90: PUSH2 0x0100
00000b93: EXP
00000b94: DUP2
00000b95: SLOAD
00000b96: DUP2
00000b97: PUSH16 0xffffffffffffffffffffffffffffffff
00000ba8: MUL
00000ba9: NOT
00000baa: AND
00000bab: SWAP1
00000bac: DUP4
00000bad: PUSH16 0xffffffffffffffffffffffffffffffff
00000bbe: AND
00000bbf: MUL
00000bc0: OR
00000bc1: SWAP1
00000bc2: SSTORE
00000bc3: POP
00000bc4: JUMPDEST
00000bc5: PUSH1 0xd0
00000bc7: SLOAD
00000bc8: PUSH1 0x00
00000bca: SWAP1
00000bcb: DUP1
00000bcc: DUP3
00000bcd: SUB
00000bce: PUSH2 0x0bda
00000bd1: JUMPI
00000bd2: PUSH1 0x00
00000bd4: SWAP2
00000bd5: POP
00000bd6: PUSH2 0x0cb6
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: PUSH1 0x00
00000bdd: PUSH1 0xd0
00000bdf: PUSH2 0x0be9
00000be2: PUSH1 0x01
00000be4: DUP5
00000be5: PUSH2 0x2d1a
00000be8: JUMP
00000be9: JUMPDEST
00000bea: DUP2
00000beb: SLOAD
00000bec: DUP2
00000bed: LT
00000bee: PUSH2 0x0bf9
00000bf1: JUMPI
00000bf2: PUSH2 0x0bf9
00000bf5: PUSH2 0x2d2d
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: PUSH1 0x00
00000bfc: SWAP2
00000bfd: DUP3
00000bfe: MSTORE
00000bff: PUSH1 0x20
00000c01: SWAP2
00000c02: DUP3
00000c03: SWAP1
00000c04: KECCAK256
00000c05: PUSH1 0x40
00000c07: DUP1
00000c08: MLOAD
00000c09: PUSH1 0xc0
00000c0b: DUP2
00000c0c: ADD
00000c0d: DUP3
00000c0e: MSTORE
00000c0f: PUSH1 0x03
00000c11: SWAP1
00000c12: SWAP4
00000c13: MUL
00000c14: SWAP1
00000c15: SWAP2
00000c16: ADD
00000c17: DUP1
00000c18: SLOAD
00000c19: PUSH8 0xffffffffffffffff
00000c22: DUP2
00000c23: AND
00000c24: DUP5
00000c25: MSTORE
00000c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3b: PUSH9 0x010000000000000000
00000c45: SWAP1
00000c46: SWAP2
00000c47: DIV
00000c48: AND
00000c49: SWAP4
00000c4a: DUP4
00000c4b: ADD
00000c4c: SWAP4
00000c4d: SWAP1
00000c4e: SWAP4
00000c4f: MSTORE
00000c50: PUSH1 0x01
00000c52: DUP4
00000c53: ADD
00000c54: SLOAD
00000c55: PUSH16 0xffffffffffffffffffffffffffffffff
00000c66: DUP1
00000c67: DUP3
00000c68: AND
00000c69: SWAP3
00000c6a: DUP5
00000c6b: ADD
00000c6c: SWAP3
00000c6d: SWAP1
00000c6e: SWAP3
00000c6f: MSTORE
00000c70: PUSH17 0x0100000000000000000000000000000000
00000c82: SWAP1
00000c83: DUP2
00000c84: SWAP1
00000c85: DIV
00000c86: DUP3
00000c87: AND
00000c88: PUSH1 0x60
00000c8a: DUP5
00000c8b: ADD
00000c8c: MSTORE
00000c8d: PUSH1 0x02
00000c8f: SWAP1
00000c90: SWAP4
00000c91: ADD
00000c92: SLOAD
00000c93: DUP1
00000c94: DUP3
00000c95: AND
00000c96: PUSH1 0x80
00000c98: DUP5
00000c99: ADD
00000c9a: MSTORE
00000c9b: SWAP3
00000c9c: SWAP1
00000c9d: SWAP3
00000c9e: DIV
00000c9f: SWAP1
00000ca0: SWAP2
00000ca1: AND
00000ca2: PUSH1 0xa0
00000ca4: DUP3
00000ca5: ADD
00000ca6: MSTORE
00000ca7: SWAP1
00000ca8: POP
00000ca9: PUSH2 0x0cb1
00000cac: DUP2
00000cad: PUSH2 0x1d44
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: ISZERO
00000cb3: SWAP3
00000cb4: POP
00000cb5: POP
00000cb6: JUMPDEST
00000cb7: PUSH1 0x00
00000cb9: JUMPDEST
00000cba: DUP5
00000cbb: DUP2
00000cbc: LT
00000cbd: ISZERO
00000cbe: PUSH2 0x0d46
00000cc1: JUMPI
00000cc2: PUSH1 0xce
00000cc4: SLOAD
00000cc5: DUP7
00000cc6: MLOAD
00000cc7: PUSH2 0x0d34
00000cca: SWAP2
00000ccb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce0: AND
00000ce1: SWAP1
00000ce2: DUP9
00000ce3: SWAP1
00000ce4: DUP5
00000ce5: SWAP1
00000ce6: DUP2
00000ce7: LT
00000ce8: PUSH2 0x0cf3
00000ceb: JUMPI
00000cec: PUSH2 0x0cf3
00000cef: PUSH2 0x2d2d
00000cf2: JUMP
00000cf3: JUMPDEST
00000cf4: PUSH1 0x20
00000cf6: MUL
00000cf7: PUSH1 0x20
00000cf9: ADD
00000cfa: ADD
00000cfb: MLOAD
00000cfc: PUSH1 0x20
00000cfe: ADD
00000cff: MLOAD
00000d00: DUP9
00000d01: DUP5
00000d02: DUP2
00000d03: MLOAD
00000d04: DUP2
00000d05: LT
00000d06: PUSH2 0x0d11
00000d09: JUMPI
00000d0a: PUSH2 0x0d11
00000d0d: PUSH2 0x2d2d
00000d10: JUMP
00000d11: JUMPDEST
00000d12: PUSH1 0x20
00000d14: MUL
00000d15: PUSH1 0x20
00000d17: ADD
00000d18: ADD
00000d19: MLOAD
00000d1a: PUSH1 0x60
00000d1c: ADD
00000d1d: MLOAD
00000d1e: PUSH16 0xffffffffffffffffffffffffffffffff
00000d2f: AND
00000d30: PUSH2 0x1e0b
00000d33: JUMP
00000d34: JUMPDEST
00000d35: DUP1
00000d36: PUSH2 0x0d3e
00000d39: DUP2
00000d3a: PUSH2 0x2d8b
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: SWAP2
00000d40: POP
00000d41: POP
00000d42: PUSH2 0x0cb9
00000d45: JUMP
00000d46: JUMPDEST
00000d47: POP
00000d48: SWAP1
00000d49: SWAP7
00000d4a: POP
00000d4b: POP
00000d4c: POP
00000d4d: POP
00000d4e: POP
00000d4f: POP
00000d50: JUMPDEST
00000d51: POP
00000d52: SWAP2
00000d53: SWAP1
00000d54: POP
00000d55: JUMP
00000d56: JUMPDEST
00000d57: PUSH32 0x241ecf16d79d0f8dbfb92cbc07fe17840425976cf0667f022fe9877caa831b08
00000d78: PUSH2 0x0d80
00000d7b: DUP2
00000d7c: PUSH2 0x1d37
00000d7f: JUMP
00000d80: JUMPDEST
00000d81: PUSH1 0xcd
00000d83: DUP3
00000d84: SWAP1
00000d85: SSTORE
00000d86: PUSH1 0x40
00000d88: DUP1
00000d89: MLOAD
00000d8a: PUSH1 0x20
00000d8c: DUP2
00000d8d: ADD
00000d8e: DUP5
00000d8f: SWAP1
00000d90: MSTORE
00000d91: PUSH32 0x28ad3aac00000000000000000000000000000000000000000000000000000000
00000db2: SWAP2
00000db3: PUSH32 0x01d854e8dde9402801a4c6f2840193465752abfad61e0bb7c4258d526ae42e74
00000dd4: SWAP2
00000dd5: ADD
00000dd6: PUSH1 0x40
00000dd8: DUP1
00000dd9: MLOAD
00000dda: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000dfb: DUP2
00000dfc: DUP5
00000dfd: SUB
00000dfe: ADD
00000dff: DUP2
00000e00: MSTORE
00000e01: SWAP1
00000e02: DUP3
00000e03: SWAP1
00000e04: MSTORE
00000e05: PUSH2 0x0e0d
00000e08: SWAP2
00000e09: PUSH2 0x2e83
00000e0c: JUMP
00000e0d: JUMPDEST
00000e0e: PUSH1 0x40
00000e10: MLOAD
00000e11: DUP1
00000e12: SWAP2
00000e13: SUB
00000e14: SWAP1
00000e15: LOG2
00000e16: POP
00000e17: POP
00000e18: JUMP
00000e19: JUMPDEST
00000e1a: PUSH1 0x00
00000e1c: SLOAD
00000e1d: PUSH2 0x0100
00000e20: SWAP1
00000e21: DIV
00000e22: PUSH1 0xff
00000e24: AND
00000e25: ISZERO
00000e26: DUP1
00000e27: DUP1
00000e28: ISZERO
00000e29: PUSH2 0x0e39
00000e2c: JUMPI
00000e2d: POP
00000e2e: PUSH1 0x00
00000e30: SLOAD
00000e31: PUSH1 0x01
00000e33: PUSH1 0xff
00000e35: SWAP1
00000e36: SWAP2
00000e37: AND
00000e38: LT
00000e39: JUMPDEST
00000e3a: DUP1
00000e3b: PUSH2 0x0e53
00000e3e: JUMPI
00000e3f: POP
00000e40: ADDRESS
00000e41: EXTCODESIZE
00000e42: ISZERO
00000e43: DUP1
00000e44: ISZERO
00000e45: PUSH2 0x0e53
00000e48: JUMPI
00000e49: POP
00000e4a: PUSH1 0x00
00000e4c: SLOAD
00000e4d: PUSH1 0xff
00000e4f: AND
00000e50: PUSH1 0x01
00000e52: EQ
00000e53: JUMPDEST
00000e54: PUSH2 0x0ee4
00000e57: JUMPI
00000e58: PUSH1 0x40
00000e5a: MLOAD
00000e5b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e7c: DUP2
00000e7d: MSTORE
00000e7e: PUSH1 0x20
00000e80: PUSH1 0x04
00000e82: DUP3
00000e83: ADD
00000e84: MSTORE
00000e85: PUSH1 0x2e
00000e87: PUSH1 0x24
00000e89: DUP3
00000e8a: ADD
00000e8b: MSTORE
00000e8c: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000ead: PUSH1 0x44
00000eaf: DUP3
00000eb0: ADD
00000eb1: MSTORE
00000eb2: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00000ed3: PUSH1 0x64
00000ed5: DUP3
00000ed6: ADD
00000ed7: MSTORE
00000ed8: PUSH1 0x84
00000eda: ADD
00000edb: JUMPDEST
00000edc: PUSH1 0x40
00000ede: MLOAD
00000edf: DUP1
00000ee0: SWAP2
00000ee1: SUB
00000ee2: SWAP1
00000ee3: REVERT
00000ee4: JUMPDEST
00000ee5: PUSH1 0x00
00000ee7: DUP1
00000ee8: SLOAD
00000ee9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000f0a: AND
00000f0b: PUSH1 0x01
00000f0d: OR
00000f0e: SWAP1
00000f0f: SSTORE
00000f10: DUP1
00000f11: ISZERO
00000f12: PUSH2 0x0f42
00000f15: JUMPI
00000f16: PUSH1 0x00
00000f18: DUP1
00000f19: SLOAD
00000f1a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000f3b: AND
00000f3c: PUSH2 0x0100
00000f3f: OR
00000f40: SWAP1
00000f41: SSTORE
00000f42: JUMPDEST
00000f43: PUSH2 0x0f4a
00000f46: PUSH2 0x1e98
00000f49: JUMP
00000f4a: JUMPDEST
00000f4b: DUP2
00000f4c: MLOAD
00000f4d: PUSH2 0x0f58
00000f50: SWAP1
00000f51: PUSH1 0x00
00000f53: SWAP1
00000f54: PUSH2 0x1f2f
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH1 0xc0
00000f5b: DUP3
00000f5c: ADD
00000f5d: MLOAD
00000f5e: PUSH1 0xcd
00000f60: SSTORE
00000f61: PUSH1 0x80
00000f63: DUP3
00000f64: ADD
00000f65: MLOAD
00000f66: PUSH1 0xc9
00000f68: DUP1
00000f69: SLOAD
00000f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7f: SWAP3
00000f80: DUP4
00000f81: AND
00000f82: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000fa3: SWAP2
00000fa4: DUP3
00000fa5: AND
00000fa6: OR
00000fa7: SWAP1
00000fa8: SWAP2
00000fa9: SSTORE
00000faa: PUSH1 0xa0
00000fac: DUP5
00000fad: ADD
00000fae: MLOAD
00000faf: PUSH1 0xca
00000fb1: DUP1
00000fb2: SLOAD
00000fb3: SWAP2
00000fb4: DUP5
00000fb5: AND
00000fb6: SWAP2
00000fb7: DUP4
00000fb8: AND
00000fb9: SWAP2
00000fba: SWAP1
00000fbb: SWAP2
00000fbc: OR
00000fbd: SWAP1
00000fbe: SSTORE
00000fbf: PUSH1 0x60
00000fc1: DUP5
00000fc2: ADD
00000fc3: MLOAD
00000fc4: PUSH1 0xce
00000fc6: DUP1
00000fc7: SLOAD
00000fc8: SWAP2
00000fc9: SWAP1
00000fca: SWAP4
00000fcb: AND
00000fcc: SWAP2
00000fcd: AND
00000fce: OR
00000fcf: SWAP1
00000fd0: SSTORE
00000fd1: PUSH1 0x20
00000fd3: DUP3
00000fd4: ADD
00000fd5: MLOAD
00000fd6: PUSH2 0x1000
00000fd9: SWAP1
00000fda: PUSH32 0x241ecf16d79d0f8dbfb92cbc07fe17840425976cf0667f022fe9877caa831b08
00000ffb: SWAP1
00000ffc: PUSH2 0x1f2f
00000fff: JUMP
00001000: JUMPDEST
00001001: PUSH2 0x102e
00001004: PUSH32 0xef6d3da212345543d99125b43af0bc451d30ffaf90d4560558d702b21179a70f
00001025: DUP4
00001026: PUSH1 0x40
00001028: ADD
00001029: MLOAD
0000102a: PUSH2 0x1f2f
0000102d: JUMP
0000102e: JUMPDEST
0000102f: DUP1
00001030: ISZERO
00001031: PUSH2 0x1091
00001034: JUMPI
00001035: PUSH1 0x00
00001037: DUP1
00001038: SLOAD
00001039: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
0000105a: AND
0000105b: SWAP1
0000105c: SSTORE
0000105d: PUSH1 0x40
0000105f: MLOAD
00001060: PUSH1 0x01
00001062: DUP2
00001063: MSTORE
00001064: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00001085: SWAP1
00001086: PUSH1 0x20
00001088: ADD
00001089: PUSH1 0x40
0000108b: MLOAD
0000108c: DUP1
0000108d: SWAP2
0000108e: SUB
0000108f: SWAP1
00001090: LOG1
00001091: JUMPDEST
00001092: POP
00001093: POP
00001094: JUMP
00001095: JUMPDEST
00001096: PUSH1 0x00
00001098: DUP3
00001099: DUP2
0000109a: MSTORE
0000109b: PUSH1 0x65
0000109d: PUSH1 0x20
0000109f: MSTORE
000010a0: PUSH1 0x40
000010a2: SWAP1
000010a3: KECCAK256
000010a4: PUSH1 0x01
000010a6: ADD
000010a7: SLOAD
000010a8: PUSH2 0x10b0
000010ab: DUP2
000010ac: PUSH2 0x1d37
000010af: JUMP
000010b0: JUMPDEST
000010b1: PUSH2 0x10ba
000010b4: DUP4
000010b5: DUP4
000010b6: PUSH2 0x1f2f
000010b9: JUMP
000010ba: JUMPDEST
000010bb: POP
000010bc: POP
000010bd: POP
000010be: JUMP
000010bf: JUMPDEST
000010c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d5: DUP2
000010d6: AND
000010d7: CALLER
000010d8: EQ
000010d9: PUSH2 0x1164
000010dc: JUMPI
000010dd: PUSH1 0x40
000010df: MLOAD
000010e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001101: DUP2
00001102: MSTORE
00001103: PUSH1 0x20
00001105: PUSH1 0x04
00001107: DUP3
00001108: ADD
00001109: MSTORE
0000110a: PUSH1 0x2f
0000110c: PUSH1 0x24
0000110e: DUP3
0000110f: ADD
00001110: MSTORE
00001111: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
00001132: PUSH1 0x44
00001134: DUP3
00001135: ADD
00001136: MSTORE
00001137: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000
00001158: PUSH1 0x64
0000115a: DUP3
0000115b: ADD
0000115c: MSTORE
0000115d: PUSH1 0x84
0000115f: ADD
00001160: PUSH2 0x0edb
00001163: JUMP
00001164: JUMPDEST
00001165: PUSH2 0x1091
00001168: DUP3
00001169: DUP3
0000116a: PUSH2 0x1f51
0000116d: JUMP
0000116e: JUMPDEST
0000116f: PUSH1 0xc9
00001171: SLOAD
00001172: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001187: AND
00001188: CALLER
00001189: EQ
0000118a: PUSH2 0x11bf
0000118d: JUMPI
0000118e: PUSH1 0x40
00001190: MLOAD
00001191: PUSH32 0x135420fb00000000000000000000000000000000000000000000000000000000
000011b2: DUP2
000011b3: MSTORE
000011b4: PUSH1 0x04
000011b6: ADD
000011b7: PUSH1 0x40
000011b9: MLOAD
000011ba: DUP1
000011bb: SWAP2
000011bc: SUB
000011bd: SWAP1
000011be: REVERT
000011bf: JUMPDEST
000011c0: CALLVALUE
000011c1: PUSH1 0xcb
000011c3: PUSH1 0x00
000011c5: DUP3
000011c6: DUP3
000011c7: SLOAD
000011c8: PUSH2 0x11d1
000011cb: SWAP2
000011cc: SWAP1
000011cd: PUSH2 0x2ef0
000011d0: JUMP
000011d1: JUMPDEST
000011d2: SWAP1
000011d3: SWAP2
000011d4: SSTORE
000011d5: POP
000011d6: POP
000011d7: JUMP
000011d8: JUMPDEST
000011d9: PUSH1 0x00
000011db: DUP1
000011dc: PUSH1 0x00
000011de: PUSH1 0xd0
000011e0: DUP5
000011e1: DUP2
000011e2: SLOAD
000011e3: DUP2
000011e4: LT
000011e5: PUSH2 0x11f0
000011e8: JUMPI
000011e9: PUSH2 0x11f0
000011ec: PUSH2 0x2d2d
000011ef: JUMP
000011f0: JUMPDEST
000011f1: PUSH1 0x00
000011f3: SWAP2
000011f4: DUP3
000011f5: MSTORE
000011f6: PUSH1 0x20
000011f8: DUP1
000011f9: DUP4
000011fa: KECCAK256
000011fb: PUSH1 0x40
000011fd: DUP1
000011fe: MLOAD
000011ff: PUSH1 0xc0
00001201: DUP2
00001202: ADD
00001203: DUP3
00001204: MSTORE
00001205: PUSH1 0x03
00001207: SWAP1
00001208: SWAP5
00001209: MUL
0000120a: SWAP1
0000120b: SWAP2
0000120c: ADD
0000120d: DUP1
0000120e: SLOAD
0000120f: PUSH8 0xffffffffffffffff
00001218: DUP2
00001219: AND
0000121a: DUP6
0000121b: MSTORE
0000121c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001231: PUSH9 0x010000000000000000
0000123b: SWAP1
0000123c: SWAP2
0000123d: DIV
0000123e: AND
0000123f: SWAP3
00001240: DUP5
00001241: ADD
00001242: SWAP3
00001243: SWAP1
00001244: SWAP3
00001245: MSTORE
00001246: PUSH1 0x01
00001248: DUP3
00001249: ADD
0000124a: SLOAD
0000124b: PUSH16 0xffffffffffffffffffffffffffffffff
0000125c: DUP1
0000125d: DUP3
0000125e: AND
0000125f: SWAP3
00001260: DUP6
00001261: ADD
00001262: SWAP3
00001263: SWAP1
00001264: SWAP3
00001265: MSTORE
00001266: PUSH17 0x0100000000000000000000000000000000
00001278: SWAP1
00001279: DUP2
0000127a: SWAP1
0000127b: DIV
0000127c: DUP3
0000127d: AND
0000127e: PUSH1 0x60
00001280: DUP6
00001281: ADD
00001282: MSTORE
00001283: PUSH1 0x02
00001285: SWAP1
00001286: SWAP3
00001287: ADD
00001288: SLOAD
00001289: DUP1
0000128a: DUP3
0000128b: AND
0000128c: PUSH1 0x80
0000128e: DUP6
0000128f: ADD
00001290: MSTORE
00001291: SWAP2
00001292: SWAP1
00001293: SWAP2
00001294: DIV
00001295: AND
00001296: PUSH1 0xa0
00001298: DUP3
00001299: ADD
0000129a: MSTORE
0000129b: SWAP2
0000129c: POP
0000129d: PUSH2 0x12a5
000012a0: DUP3
000012a1: PUSH2 0x1d44
000012a4: JUMP
000012a5: JUMPDEST
000012a6: SWAP1
000012a7: POP
000012a8: PUSH1 0x00
000012aa: DUP1
000012ab: DUP4
000012ac: PUSH1 0x80
000012ae: ADD
000012af: MLOAD
000012b0: DUP5
000012b1: PUSH1 0xa0
000012b3: ADD
000012b4: MLOAD
000012b5: PUSH2 0x12be
000012b8: SWAP2
000012b9: SWAP1
000012ba: PUSH2 0x2dec
000012bd: JUMP
000012be: JUMPDEST
000012bf: PUSH16 0xffffffffffffffffffffffffffffffff
000012d0: AND
000012d1: SWAP1
000012d2: POP
000012d3: PUSH1 0xcb
000012d5: SLOAD
000012d6: DUP2
000012d7: LT
000012d8: ISZERO
000012d9: PUSH2 0x130c
000012dc: JUMPI
000012dd: PUSH2 0x1309
000012e0: DUP2
000012e1: PUSH1 0xcb
000012e3: SLOAD
000012e4: PUSH2 0x12ed
000012e7: SWAP2
000012e8: SWAP1
000012e9: PUSH2 0x2d1a
000012ec: JUMP
000012ed: JUMPDEST
000012ee: DUP6
000012ef: PUSH1 0x80
000012f1: ADD
000012f2: MLOAD
000012f3: PUSH16 0xffffffffffffffffffffffffffffffff
00001304: AND
00001305: PUSH2 0x1f73
00001308: JUMP
00001309: JUMPDEST
0000130a: SWAP2
0000130b: POP
0000130c: JUMPDEST
0000130d: POP
0000130e: SWAP1
0000130f: SWAP6
00001310: SWAP1
00001311: SWAP5
00001312: POP
00001313: SWAP3
00001314: POP
00001315: POP
00001316: POP
00001317: JUMP
00001318: JUMPDEST
00001319: PUSH1 0x00
0000131b: DUP3
0000131c: DUP2
0000131d: MSTORE
0000131e: PUSH1 0x97
00001320: PUSH1 0x20
00001322: MSTORE
00001323: PUSH1 0x40
00001325: DUP2
00001326: KECCAK256
00001327: PUSH2 0x1330
0000132a: SWAP1
0000132b: DUP4
0000132c: PUSH2 0x1f89
0000132f: JUMP
00001330: JUMPDEST
00001331: SWAP4
00001332: SWAP3
00001333: POP
00001334: POP
00001335: POP
00001336: JUMP
00001337: JUMPDEST
00001338: PUSH1 0x40
0000133a: DUP1
0000133b: MLOAD
0000133c: PUSH1 0xc0
0000133e: DUP2
0000133f: ADD
00001340: DUP3
00001341: MSTORE
00001342: PUSH1 0x00
00001344: DUP1
00001345: DUP3
00001346: MSTORE
00001347: PUSH1 0x20
00001349: DUP3
0000134a: ADD
0000134b: DUP2
0000134c: SWAP1
0000134d: MSTORE
0000134e: SWAP2
0000134f: DUP2
00001350: ADD
00001351: DUP3
00001352: SWAP1
00001353: MSTORE
00001354: PUSH1 0x60
00001356: DUP2
00001357: ADD
00001358: DUP3
00001359: SWAP1
0000135a: MSTORE
0000135b: PUSH1 0x80
0000135d: DUP2
0000135e: ADD
0000135f: DUP3
00001360: SWAP1
00001361: MSTORE
00001362: PUSH1 0xa0
00001364: DUP2
00001365: ADD
00001366: SWAP2
00001367: SWAP1
00001368: SWAP2
00001369: MSTORE
0000136a: PUSH1 0xd0
0000136c: DUP3
0000136d: DUP2
0000136e: SLOAD
0000136f: DUP2
00001370: LT
00001371: PUSH2 0x137c
00001374: JUMPI
00001375: PUSH2 0x137c
00001378: PUSH2 0x2d2d
0000137b: JUMP
0000137c: JUMPDEST
0000137d: PUSH1 0x00
0000137f: SWAP2
00001380: DUP3
00001381: MSTORE
00001382: PUSH1 0x20
00001384: SWAP2
00001385: DUP3
00001386: SWAP1
00001387: KECCAK256
00001388: PUSH1 0x40
0000138a: DUP1
0000138b: MLOAD
0000138c: PUSH1 0xc0
0000138e: DUP2
0000138f: ADD
00001390: DUP3
00001391: MSTORE
00001392: PUSH1 0x03
00001394: SWAP1
00001395: SWAP4
00001396: MUL
00001397: SWAP1
00001398: SWAP2
00001399: ADD
0000139a: DUP1
0000139b: SLOAD
0000139c: PUSH8 0xffffffffffffffff
000013a5: DUP2
000013a6: AND
000013a7: DUP5
000013a8: MSTORE
000013a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013be: PUSH9 0x010000000000000000
000013c8: SWAP1
000013c9: SWAP2
000013ca: DIV
000013cb: AND
000013cc: SWAP4
000013cd: DUP4
000013ce: ADD
000013cf: SWAP4
000013d0: SWAP1
000013d1: SWAP4
000013d2: MSTORE
000013d3: PUSH1 0x01
000013d5: DUP4
000013d6: ADD
000013d7: SLOAD
000013d8: PUSH16 0xffffffffffffffffffffffffffffffff
000013e9: DUP1
000013ea: DUP3
000013eb: AND
000013ec: SWAP3
000013ed: DUP5
000013ee: ADD
000013ef: SWAP3
000013f0: SWAP1
000013f1: SWAP3
000013f2: MSTORE
000013f3: PUSH17 0x0100000000000000000000000000000000
00001405: SWAP1
00001406: DUP2
00001407: SWAP1
00001408: DIV
00001409: DUP3
0000140a: AND
0000140b: PUSH1 0x60
0000140d: DUP5
0000140e: ADD
0000140f: MSTORE
00001410: PUSH1 0x02
00001412: SWAP1
00001413: SWAP4
00001414: ADD
00001415: SLOAD
00001416: DUP1
00001417: DUP3
00001418: AND
00001419: PUSH1 0x80
0000141b: DUP5
0000141c: ADD
0000141d: MSTORE
0000141e: SWAP3
0000141f: SWAP1
00001420: SWAP3
00001421: DIV
00001422: SWAP1
00001423: SWAP2
00001424: AND
00001425: PUSH1 0xa0
00001427: DUP3
00001428: ADD
00001429: MSTORE
0000142a: SWAP3
0000142b: SWAP2
0000142c: POP
0000142d: POP
0000142e: JUMP
0000142f: JUMPDEST
00001430: PUSH1 0xc9
00001432: SLOAD
00001433: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001448: AND
00001449: CALLER
0000144a: EQ
0000144b: PUSH2 0x1480
0000144e: JUMPI
0000144f: PUSH1 0x40
00001451: MLOAD
00001452: PUSH32 0x135420fb00000000000000000000000000000000000000000000000000000000
00001473: DUP2
00001474: MSTORE
00001475: PUSH1 0x04
00001477: ADD
00001478: PUSH1 0x40
0000147a: MLOAD
0000147b: DUP1
0000147c: SWAP2
0000147d: SUB
0000147e: SWAP1
0000147f: REVERT
00001480: JUMPDEST
00001481: PUSH1 0x00
00001483: PUSH2 0x148a
00001486: PUSH2 0x17e0
00001489: JUMP
0000148a: JUMPDEST
0000148b: SWAP1
0000148c: POP
0000148d: DUP1
0000148e: PUSH1 0x00
00001490: SUB
00001491: PUSH2 0x1497
00001494: JUMPI
00001495: POP
00001496: JUMP
00001497: JUMPDEST
00001498: DUP1
00001499: PUSH1 0xcb
0000149b: PUSH1 0x00
0000149d: DUP3
0000149e: DUP3
0000149f: SLOAD
000014a0: PUSH2 0x14a9
000014a3: SWAP2
000014a4: SWAP1
000014a5: PUSH2 0x2d1a
000014a8: JUMP
000014a9: JUMPDEST
000014aa: SWAP1
000014ab: SWAP2
000014ac: SSTORE
000014ad: POP
000014ae: POP
000014af: PUSH1 0xc9
000014b1: SLOAD
000014b2: PUSH1 0x40
000014b4: DUP1
000014b5: MLOAD
000014b6: PUSH32 0xc151aa7200000000000000000000000000000000000000000000000000000000
000014d7: DUP2
000014d8: MSTORE
000014d9: SWAP1
000014da: MLOAD
000014db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f0: SWAP1
000014f1: SWAP3
000014f2: AND
000014f3: SWAP2
000014f4: PUSH4 0xc151aa72
000014f9: SWAP2
000014fa: DUP5
000014fb: SWAP2
000014fc: PUSH1 0x04
000014fe: DUP1
000014ff: DUP4
00001500: ADD
00001501: SWAP3
00001502: PUSH1 0x00
00001504: SWAP3
00001505: SWAP2
00001506: SWAP1
00001507: DUP3
00001508: SWAP1
00001509: SUB
0000150a: ADD
0000150b: DUP2
0000150c: DUP6
0000150d: DUP9
0000150e: DUP1
0000150f: EXTCODESIZE
00001510: ISZERO
00001511: DUP1
00001512: ISZERO
00001513: PUSH2 0x151b
00001516: JUMPI
00001517: PUSH1 0x00
00001519: DUP1
0000151a: REVERT
0000151b: JUMPDEST
0000151c: POP
0000151d: GAS
0000151e: CALL
0000151f: ISZERO
00001520: DUP1
00001521: ISZERO
00001522: PUSH2 0x152f
00001525: JUMPI
00001526: RETURNDATASIZE
00001527: PUSH1 0x00
00001529: DUP1
0000152a: RETURNDATACOPY
0000152b: RETURNDATASIZE
0000152c: PUSH1 0x00
0000152e: REVERT
0000152f: JUMPDEST
00001530: POP
00001531: POP
00001532: POP
00001533: POP
00001534: POP
00001535: POP
00001536: JUMPDEST
00001537: JUMP
00001538: JUMPDEST
00001539: PUSH1 0xc9
0000153b: SLOAD
0000153c: PUSH1 0x00
0000153e: SWAP1
0000153f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001554: AND
00001555: CALLER
00001556: EQ
00001557: PUSH2 0x158c
0000155a: JUMPI
0000155b: PUSH1 0x40
0000155d: MLOAD
0000155e: PUSH32 0x135420fb00000000000000000000000000000000000000000000000000000000
0000157f: DUP2
00001580: MSTORE
00001581: PUSH1 0x04
00001583: ADD
00001584: PUSH1 0x40
00001586: MLOAD
00001587: DUP1
00001588: SWAP2
00001589: SUB
0000158a: SWAP1
0000158b: REVERT
0000158c: JUMPDEST
0000158d: PUSH1 0xcf
0000158f: SLOAD
00001590: PUSH1 0x00
00001592: SWAP1
00001593: PUSH2 0x15af
00001596: SWAP1
00001597: DUP5
00001598: SWAP1
00001599: PUSH16 0xffffffffffffffffffffffffffffffff
000015aa: AND
000015ab: PUSH2 0x2dc3
000015ae: JUMP
000015af: JUMPDEST
000015b0: PUSH1 0xd0
000015b2: DUP1
000015b3: SLOAD
000015b4: PUSH1 0x40
000015b6: DUP1
000015b7: MLOAD
000015b8: PUSH1 0xc0
000015ba: DUP2
000015bb: ADD
000015bc: DUP3
000015bd: MSTORE
000015be: PUSH8 0xffffffffffffffff
000015c7: NUMBER
000015c8: DUP2
000015c9: DUP2
000015ca: AND
000015cb: DUP4
000015cc: MSTORE
000015cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e2: DUP1
000015e3: DUP14
000015e4: AND
000015e5: PUSH1 0x20
000015e7: DUP6
000015e8: ADD
000015e9: DUP2
000015ea: DUP2
000015eb: MSTORE
000015ec: PUSH16 0xffffffffffffffffffffffffffffffff
000015fd: DUP1
000015fe: DUP10
000015ff: AND
00001600: DUP8
00001601: DUP10
00001602: ADD
00001603: SWAP1
00001604: DUP2
00001605: MSTORE
00001606: DUP16
00001607: DUP3
00001608: AND
00001609: PUSH1 0x60
0000160b: DUP10
0000160c: ADD
0000160d: SWAP1
0000160e: DUP2
0000160f: MSTORE
00001610: DUP16
00001611: DUP4
00001612: AND
00001613: PUSH1 0x80
00001615: DUP11
00001616: ADD
00001617: SWAP1
00001618: DUP2
00001619: MSTORE
0000161a: DUP4
0000161b: DUP15
0000161c: AND
0000161d: PUSH1 0xa0
0000161f: DUP12
00001620: ADD
00001621: DUP2
00001622: DUP2
00001623: MSTORE
00001624: PUSH1 0x01
00001626: DUP15
00001627: ADD
00001628: DUP16
00001629: SSTORE
0000162a: PUSH1 0x00
0000162c: SWAP15
0000162d: SWAP1
0000162e: SWAP15
0000162f: MSTORE
00001630: DUP11
00001631: MLOAD
00001632: PUSH1 0x03
00001634: DUP15
00001635: MUL
00001636: PUSH32 0xe89d44c8fd6a9bac8af33ce47f56337617d449bf7ff3956b618c646de829cbcb
00001657: DUP2
00001658: ADD
00001659: DUP1
0000165a: SLOAD
0000165b: SWAP9
0000165c: MLOAD
0000165d: SWAP1
0000165e: SWAP11
0000165f: AND
00001660: PUSH9 0x010000000000000000
0000166a: MUL
0000166b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000168c: SWAP1
0000168d: SWAP9
0000168e: AND
0000168f: SWAP2
00001690: SWAP1
00001691: SWAP12
00001692: AND
00001693: OR
00001694: SWAP6
00001695: SWAP1
00001696: SWAP6
00001697: OR
00001698: SWAP1
00001699: SWAP7
0000169a: SSTORE
0000169b: SWAP1
0000169c: MLOAD
0000169d: SWAP1
0000169e: MLOAD
0000169f: DUP3
000016a0: AND
000016a1: PUSH17 0x0100000000000000000000000000000000
000016b3: SWAP1
000016b4: DUP2
000016b5: MUL
000016b6: SWAP2
000016b7: DUP4
000016b8: AND
000016b9: SWAP2
000016ba: SWAP1
000016bb: SWAP2
000016bc: OR
000016bd: PUSH32 0xe89d44c8fd6a9bac8af33ce47f56337617d449bf7ff3956b618c646de829cbcc
000016de: DUP9
000016df: ADD
000016e0: SSTORE
000016e1: SWAP4
000016e2: MLOAD
000016e3: SWAP10
000016e4: MLOAD
000016e5: DUP2
000016e6: AND
000016e7: SWAP1
000016e8: SWAP4
000016e9: MUL
000016ea: SWAP9
000016eb: SWAP1
000016ec: SWAP3
000016ed: AND
000016ee: SWAP8
000016ef: SWAP1
000016f0: SWAP8
000016f1: OR
000016f2: PUSH32 0xe89d44c8fd6a9bac8af33ce47f56337617d449bf7ff3956b618c646de829cbcd
00001713: SWAP1
00001714: SWAP4
00001715: ADD
00001716: SWAP3
00001717: SWAP1
00001718: SWAP3
00001719: SSTORE
0000171a: PUSH1 0xcf
0000171c: DUP1
0000171d: SLOAD
0000171e: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000173f: AND
00001740: SWAP1
00001741: SWAP3
00001742: OR
00001743: SWAP1
00001744: SWAP2
00001745: SSTORE
00001746: SWAP2
00001747: MLOAD
00001748: SWAP5
00001749: SWAP6
0000174a: POP
0000174b: SWAP2
0000174c: SWAP4
0000174d: SWAP2
0000174e: SWAP3
0000174f: SWAP2
00001750: DUP5
00001751: SWAP2
00001752: PUSH32 0xed5afdabca1838de7f5496f997e6e788ad3207f6299f64700e63435813b7ade4
00001773: SWAP2
00001774: PUSH2 0x17b0
00001777: SWAP2
00001778: DUP12
00001779: SWAP2
0000177a: DUP12
0000177b: SWAP2
0000177c: DUP11
0000177d: SWAP2
0000177e: PUSH16 0xffffffffffffffffffffffffffffffff
0000178f: SWAP5
00001790: DUP6
00001791: AND
00001792: DUP2
00001793: MSTORE
00001794: SWAP3
00001795: DUP5
00001796: AND
00001797: PUSH1 0x20
00001799: DUP5
0000179a: ADD
0000179b: MSTORE
0000179c: SWAP3
0000179d: AND
0000179e: PUSH1 0x40
000017a0: DUP3
000017a1: ADD
000017a2: MSTORE
000017a3: PUSH1 0x60
000017a5: DUP2
000017a6: ADD
000017a7: SWAP2
000017a8: SWAP1
000017a9: SWAP2
000017aa: MSTORE
000017ab: PUSH1 0x80
000017ad: ADD
000017ae: SWAP1
000017af: JUMP
000017b0: JUMPDEST
000017b1: PUSH1 0x40
000017b3: MLOAD
000017b4: DUP1
000017b5: SWAP2
000017b6: SUB
000017b7: SWAP1
000017b8: LOG3
000017b9: POP
000017ba: SWAP6
000017bb: SWAP5
000017bc: POP
000017bd: POP
000017be: POP
000017bf: POP
000017c0: POP
000017c1: JUMP
000017c2: JUMPDEST
000017c3: PUSH1 0x00
000017c5: PUSH1 0xcc
000017c7: SLOAD
000017c8: PUSH1 0xcb
000017ca: SLOAD
000017cb: GT
000017cc: ISZERO
000017cd: PUSH2 0x07f8
000017d0: JUMPI
000017d1: PUSH1 0xcc
000017d3: SLOAD
000017d4: PUSH1 0xcb
000017d6: SLOAD
000017d7: PUSH2 0x07f3
000017da: SWAP2
000017db: SWAP1
000017dc: PUSH2 0x2d1a
000017df: JUMP
000017e0: JUMPDEST
000017e1: PUSH1 0xcf
000017e3: SLOAD
000017e4: PUSH1 0xcb
000017e6: SLOAD
000017e7: PUSH1 0x00
000017e9: SWAP2
000017ea: PUSH16 0xffffffffffffffffffffffffffffffff
000017fb: AND
000017fc: LT
000017fd: ISZERO
000017fe: PUSH2 0x07f8
00001801: JUMPI
00001802: PUSH1 0xcf
00001804: SLOAD
00001805: PUSH1 0xcb
00001807: SLOAD
00001808: PUSH2 0x07f3
0000180b: SWAP2
0000180c: PUSH16 0xffffffffffffffffffffffffffffffff
0000181d: AND
0000181e: SWAP1
0000181f: PUSH2 0x2d1a
00001822: JUMP
00001823: JUMPDEST
00001824: PUSH1 0x00
00001826: DUP2
00001827: DUP2
00001828: MSTORE
00001829: PUSH1 0x97
0000182b: PUSH1 0x20
0000182d: MSTORE
0000182e: PUSH1 0x40
00001830: DUP2
00001831: KECCAK256
00001832: PUSH2 0x07a8
00001835: SWAP1
00001836: PUSH2 0x1f95
00001839: JUMP
0000183a: JUMPDEST
0000183b: PUSH1 0x00
0000183d: DUP3
0000183e: DUP2
0000183f: MSTORE
00001840: PUSH1 0x65
00001842: PUSH1 0x20
00001844: MSTORE
00001845: PUSH1 0x40
00001847: SWAP1
00001848: KECCAK256
00001849: PUSH1 0x01
0000184b: ADD
0000184c: SLOAD
0000184d: PUSH2 0x1855
00001850: DUP2
00001851: PUSH2 0x1d37
00001854: JUMP
00001855: JUMPDEST
00001856: PUSH2 0x10ba
00001859: DUP4
0000185a: DUP4
0000185b: PUSH2 0x1f51
0000185e: JUMP
0000185f: JUMPDEST
00001860: PUSH1 0xc9
00001862: SLOAD
00001863: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001878: AND
00001879: CALLER
0000187a: EQ
0000187b: PUSH2 0x18b0
0000187e: JUMPI
0000187f: PUSH1 0x40
00001881: MLOAD
00001882: PUSH32 0x135420fb00000000000000000000000000000000000000000000000000000000
000018a3: DUP2
000018a4: MSTORE
000018a5: PUSH1 0x04
000018a7: ADD
000018a8: PUSH1 0x40
000018aa: MLOAD
000018ab: DUP1
000018ac: SWAP2
000018ad: SUB
000018ae: SWAP1
000018af: REVERT
000018b0: JUMPDEST
000018b1: PUSH1 0x00
000018b3: PUSH1 0xd0
000018b5: DUP4
000018b6: DUP2
000018b7: SLOAD
000018b8: DUP2
000018b9: LT
000018ba: PUSH2 0x18c5
000018bd: JUMPI
000018be: PUSH2 0x18c5
000018c1: PUSH2 0x2d2d
000018c4: JUMP
000018c5: JUMPDEST
000018c6: PUSH1 0x00
000018c8: SWAP2
000018c9: DUP3
000018ca: MSTORE
000018cb: PUSH1 0x20
000018cd: SWAP2
000018ce: DUP3
000018cf: SWAP1
000018d0: KECCAK256
000018d1: PUSH1 0x40
000018d3: DUP1
000018d4: MLOAD
000018d5: PUSH1 0xc0
000018d7: DUP2
000018d8: ADD
000018d9: DUP3
000018da: MSTORE
000018db: PUSH1 0x03
000018dd: SWAP1
000018de: SWAP4
000018df: MUL
000018e0: SWAP1
000018e1: SWAP2
000018e2: ADD
000018e3: DUP1
000018e4: SLOAD
000018e5: PUSH8 0xffffffffffffffff
000018ee: DUP2
000018ef: AND
000018f0: DUP5
000018f1: MSTORE
000018f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001907: PUSH9 0x010000000000000000
00001911: SWAP1
00001912: SWAP2
00001913: DIV
00001914: AND
00001915: SWAP4
00001916: DUP4
00001917: ADD
00001918: DUP5
00001919: SWAP1
0000191a: MSTORE
0000191b: PUSH1 0x01
0000191d: DUP2
0000191e: ADD
0000191f: SLOAD
00001920: PUSH16 0xffffffffffffffffffffffffffffffff
00001931: DUP1
00001932: DUP3
00001933: AND
00001934: SWAP4
00001935: DUP6
00001936: ADD
00001937: SWAP4
00001938: SWAP1
00001939: SWAP4
0000193a: MSTORE
0000193b: PUSH17 0x0100000000000000000000000000000000
0000194d: SWAP1
0000194e: DUP2
0000194f: SWAP1
00001950: DIV
00001951: DUP4
00001952: AND
00001953: PUSH1 0x60
00001955: DUP6
00001956: ADD
00001957: MSTORE
00001958: PUSH1 0x02
0000195a: SWAP1
0000195b: SWAP2
0000195c: ADD
0000195d: SLOAD
0000195e: DUP1
0000195f: DUP4
00001960: AND
00001961: PUSH1 0x80
00001963: DUP6
00001964: ADD
00001965: MSTORE
00001966: DIV
00001967: AND
00001968: PUSH1 0xa0
0000196a: DUP3
0000196b: ADD
0000196c: MSTORE
0000196d: SWAP2
0000196e: POP
0000196f: PUSH2 0x19a4
00001972: JUMPI
00001973: PUSH1 0x40
00001975: MLOAD
00001976: PUSH32 0x646cf55800000000000000000000000000000000000000000000000000000000
00001997: DUP2
00001998: MSTORE
00001999: PUSH1 0x04
0000199b: ADD
0000199c: PUSH1 0x40
0000199e: MLOAD
0000199f: DUP1
000019a0: SWAP2
000019a1: SUB
000019a2: SWAP1
000019a3: REVERT
000019a4: JUMPDEST
000019a5: DUP1
000019a6: PUSH1 0x20
000019a8: ADD
000019a9: MLOAD
000019aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019bf: AND
000019c0: DUP3
000019c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d6: AND
000019d7: EQ
000019d8: PUSH2 0x1a0d
000019db: JUMPI
000019dc: PUSH1 0x40
000019de: MLOAD
000019df: PUSH32 0xe39da59e00000000000000000000000000000000000000000000000000000000
00001a00: DUP2
00001a01: MSTORE
00001a02: PUSH1 0x04
00001a04: ADD
00001a05: PUSH1 0x40
00001a07: MLOAD
00001a08: DUP1
00001a09: SWAP2
00001a0a: SUB
00001a0b: SWAP1
00001a0c: REVERT
00001a0d: JUMPDEST
00001a0e: PUSH2 0x1a16
00001a11: DUP2
00001a12: PUSH2 0x1d44
00001a15: JUMP
00001a16: JUMPDEST
00001a17: PUSH2 0x1a4c
00001a1a: JUMPI
00001a1b: PUSH1 0x40
00001a1d: MLOAD
00001a1e: PUSH32 0x1bee0d5a00000000000000000000000000000000000000000000000000000000
00001a3f: DUP2
00001a40: MSTORE
00001a41: PUSH1 0x04
00001a43: ADD
00001a44: PUSH1 0x40
00001a46: MLOAD
00001a47: DUP1
00001a48: SWAP2
00001a49: SUB
00001a4a: SWAP1
00001a4b: REVERT
00001a4c: JUMPDEST
00001a4d: PUSH1 0xcb
00001a4f: SLOAD
00001a50: DUP2
00001a51: PUSH1 0xa0
00001a53: ADD
00001a54: MLOAD
00001a55: PUSH16 0xffffffffffffffffffffffffffffffff
00001a66: AND
00001a67: GT
00001a68: ISZERO
00001a69: PUSH2 0x1ac0
00001a6c: JUMPI
00001a6d: PUSH1 0xa0
00001a6f: DUP2
00001a70: ADD
00001a71: MLOAD
00001a72: PUSH1 0xcb
00001a74: SLOAD
00001a75: PUSH1 0x40
00001a77: MLOAD
00001a78: PUSH32 0x8c90536800000000000000000000000000000000000000000000000000000000
00001a99: DUP2
00001a9a: MSTORE
00001a9b: PUSH16 0xffffffffffffffffffffffffffffffff
00001aac: SWAP1
00001aad: SWAP3
00001aae: AND
00001aaf: PUSH1 0x04
00001ab1: DUP4
00001ab2: ADD
00001ab3: MSTORE
00001ab4: PUSH1 0x24
00001ab6: DUP3
00001ab7: ADD
00001ab8: MSTORE
00001ab9: PUSH1 0x44
00001abb: ADD
00001abc: PUSH2 0x0edb
00001abf: JUMP
00001ac0: JUMPDEST
00001ac1: PUSH1 0xd0
00001ac3: DUP4
00001ac4: DUP2
00001ac5: SLOAD
00001ac6: DUP2
00001ac7: LT
00001ac8: PUSH2 0x1ad3
00001acb: JUMPI
00001acc: PUSH2 0x1ad3
00001acf: PUSH2 0x2d2d
00001ad2: JUMP
00001ad3: JUMPDEST
00001ad4: PUSH1 0x00
00001ad6: SWAP2
00001ad7: DUP3
00001ad8: MSTORE
00001ad9: PUSH1 0x20
00001adb: DUP3
00001adc: KECCAK256
00001add: PUSH1 0x03
00001adf: SWAP1
00001ae0: SWAP2
00001ae1: MUL
00001ae2: ADD
00001ae3: DUP1
00001ae4: SLOAD
00001ae5: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001b06: AND
00001b07: DUP2
00001b08: SSTORE
00001b09: PUSH1 0x01
00001b0b: DUP2
00001b0c: ADD
00001b0d: DUP3
00001b0e: SWAP1
00001b0f: SSTORE
00001b10: PUSH1 0x02
00001b12: ADD
00001b13: DUP2
00001b14: SWAP1
00001b15: SSTORE
00001b16: PUSH1 0x80
00001b18: DUP3
00001b19: ADD
00001b1a: MLOAD
00001b1b: PUSH1 0xcc
00001b1d: DUP1
00001b1e: SLOAD
00001b1f: PUSH16 0xffffffffffffffffffffffffffffffff
00001b30: SWAP3
00001b31: SWAP1
00001b32: SWAP3
00001b33: AND
00001b34: SWAP3
00001b35: SWAP1
00001b36: SWAP2
00001b37: PUSH2 0x1b41
00001b3a: SWAP1
00001b3b: DUP5
00001b3c: SWAP1
00001b3d: PUSH2 0x2ef0
00001b40: JUMP
00001b41: JUMPDEST
00001b42: SWAP3
00001b43: POP
00001b44: POP
00001b45: DUP2
00001b46: SWAP1
00001b47: SSTORE
00001b48: POP
00001b49: DUP2
00001b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5f: AND
00001b60: DUP4
00001b61: PUSH32 0x5de6f9e4fdf1b740a7ba3b485303743eec250be281a2dd4df046c7fcecbdb04d
00001b82: DUP4
00001b83: PUSH1 0x60
00001b85: ADD
00001b86: MLOAD
00001b87: DUP5
00001b88: PUSH1 0x80
00001b8a: ADD
00001b8b: MLOAD
00001b8c: DUP6
00001b8d: PUSH1 0xa0
00001b8f: ADD
00001b90: MLOAD
00001b91: DUP7
00001b92: PUSH1 0x00
00001b94: ADD
00001b95: MLOAD
00001b96: PUSH1 0x40
00001b98: MLOAD
00001b99: PUSH2 0x1bdd
00001b9c: SWAP5
00001b9d: SWAP4
00001b9e: SWAP3
00001b9f: SWAP2
00001ba0: SWAP1
00001ba1: PUSH16 0xffffffffffffffffffffffffffffffff
00001bb2: SWAP5
00001bb3: DUP6
00001bb4: AND
00001bb5: DUP2
00001bb6: MSTORE
00001bb7: SWAP3
00001bb8: DUP5
00001bb9: AND
00001bba: PUSH1 0x20
00001bbc: DUP5
00001bbd: ADD
00001bbe: MSTORE
00001bbf: SWAP3
00001bc0: AND
00001bc1: PUSH1 0x40
00001bc3: DUP3
00001bc4: ADD
00001bc5: MSTORE
00001bc6: PUSH8 0xffffffffffffffff
00001bcf: SWAP2
00001bd0: SWAP1
00001bd1: SWAP2
00001bd2: AND
00001bd3: PUSH1 0x60
00001bd5: DUP3
00001bd6: ADD
00001bd7: MSTORE
00001bd8: PUSH1 0x80
00001bda: ADD
00001bdb: SWAP1
00001bdc: JUMP
00001bdd: JUMPDEST
00001bde: PUSH1 0x40
00001be0: MLOAD
00001be1: DUP1
00001be2: SWAP2
00001be3: SUB
00001be4: SWAP1
00001be5: LOG3
00001be6: PUSH1 0xce
00001be8: SLOAD
00001be9: PUSH1 0x60
00001beb: DUP3
00001bec: ADD
00001bed: MLOAD
00001bee: PUSH1 0x40
00001bf0: MLOAD
00001bf1: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000
00001c12: DUP2
00001c13: MSTORE
00001c14: PUSH16 0xffffffffffffffffffffffffffffffff
00001c25: SWAP1
00001c26: SWAP2
00001c27: AND
00001c28: PUSH1 0x04
00001c2a: DUP3
00001c2b: ADD
00001c2c: MSTORE
00001c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c42: SWAP1
00001c43: SWAP2
00001c44: AND
00001c45: SWAP1
00001c46: PUSH4 0x42966c68
00001c4b: SWAP1
00001c4c: PUSH1 0x24
00001c4e: ADD
00001c4f: PUSH1 0x00
00001c51: PUSH1 0x40
00001c53: MLOAD
00001c54: DUP1
00001c55: DUP4
00001c56: SUB
00001c57: DUP2
00001c58: PUSH1 0x00
00001c5a: DUP8
00001c5b: DUP1
00001c5c: EXTCODESIZE
00001c5d: ISZERO
00001c5e: DUP1
00001c5f: ISZERO
00001c60: PUSH2 0x1c68
00001c63: JUMPI
00001c64: PUSH1 0x00
00001c66: DUP1
00001c67: REVERT
00001c68: JUMPDEST
00001c69: POP
00001c6a: GAS
00001c6b: CALL
00001c6c: ISZERO
00001c6d: DUP1
00001c6e: ISZERO
00001c6f: PUSH2 0x1c7c
00001c72: JUMPI
00001c73: RETURNDATASIZE
00001c74: PUSH1 0x00
00001c76: DUP1
00001c77: RETURNDATACOPY
00001c78: RETURNDATASIZE
00001c79: PUSH1 0x00
00001c7b: REVERT
00001c7c: JUMPDEST
00001c7d: POP
00001c7e: POP
00001c7f: POP
00001c80: POP
00001c81: PUSH2 0x10ba
00001c84: DUP3
00001c85: DUP3
00001c86: PUSH1 0x80
00001c88: ADD
00001c89: MLOAD
00001c8a: PUSH16 0xffffffffffffffffffffffffffffffff
00001c9b: AND
00001c9c: PUSH2 0x1f9f
00001c9f: JUMP
00001ca0: JUMPDEST
00001ca1: PUSH1 0x00
00001ca3: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001cc4: DUP3
00001cc5: AND
00001cc6: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
00001ce7: EQ
00001ce8: DUP1
00001ce9: PUSH2 0x07a8
00001cec: JUMPI
00001ced: POP
00001cee: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00001d0f: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001d30: DUP4
00001d31: AND
00001d32: EQ
00001d33: PUSH2 0x07a8
00001d36: JUMP
00001d37: JUMPDEST
00001d38: PUSH2 0x1d41
00001d3b: DUP2
00001d3c: CALLER
00001d3d: PUSH2 0x20f9
00001d40: JUMP
00001d41: JUMPDEST
00001d42: POP
00001d43: JUMP
00001d44: JUMPDEST
00001d45: PUSH1 0xca
00001d47: SLOAD
00001d48: PUSH1 0x40
00001d4a: DUP1
00001d4b: MLOAD
00001d4c: PUSH32 0xf3a009a000000000000000000000000000000000000000000000000000000000
00001d6d: DUP2
00001d6e: MSTORE
00001d6f: SWAP1
00001d70: MLOAD
00001d71: PUSH1 0x00
00001d73: SWAP3
00001d74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d89: AND
00001d8a: SWAP2
00001d8b: PUSH4 0xf3a009a0
00001d90: SWAP2
00001d91: PUSH1 0x04
00001d93: DUP1
00001d94: DUP4
00001d95: ADD
00001d96: SWAP3
00001d97: PUSH2 0x0100
00001d9a: SWAP3
00001d9b: SWAP2
00001d9c: SWAP1
00001d9d: DUP3
00001d9e: SWAP1
00001d9f: SUB
00001da0: ADD
00001da1: DUP2
00001da2: DUP7
00001da3: GAS
00001da4: STATICCALL
00001da5: ISZERO
00001da6: DUP1
00001da7: ISZERO
00001da8: PUSH2 0x1db5
00001dab: JUMPI
00001dac: RETURNDATASIZE
00001dad: PUSH1 0x00
00001daf: DUP1
00001db0: RETURNDATACOPY
00001db1: RETURNDATASIZE
00001db2: PUSH1 0x00
00001db4: REVERT
00001db5: JUMPDEST
00001db6: POP
00001db7: POP
00001db8: POP
00001db9: POP
00001dba: PUSH1 0x40
00001dbc: MLOAD
00001dbd: RETURNDATASIZE
00001dbe: PUSH1 0x1f
00001dc0: NOT
00001dc1: PUSH1 0x1f
00001dc3: DUP3
00001dc4: ADD
00001dc5: AND
00001dc6: DUP3
00001dc7: ADD
00001dc8: DUP1
00001dc9: PUSH1 0x40
00001dcb: MSTORE
00001dcc: POP
00001dcd: DUP2
00001dce: ADD
00001dcf: SWAP1
00001dd0: PUSH2 0x1dd9
00001dd3: SWAP2
00001dd4: SWAP1
00001dd5: PUSH2 0x2f26
00001dd8: JUMP
00001dd9: JUMPDEST
00001dda: PUSH1 0x20
00001ddc: ADD
00001ddd: MLOAD
00001dde: PUSH8 0xffffffffffffffff
00001de7: AND
00001de8: PUSH1 0xcd
00001dea: SLOAD
00001deb: DUP4
00001dec: PUSH1 0x00
00001dee: ADD
00001def: MLOAD
00001df0: PUSH8 0xffffffffffffffff
00001df9: AND
00001dfa: PUSH2 0x1e03
00001dfd: SWAP2
00001dfe: SWAP1
00001dff: PUSH2 0x2ef0
00001e02: JUMP
00001e03: JUMPDEST
00001e04: GT
00001e05: ISZERO
00001e06: SWAP3
00001e07: SWAP2
00001e08: POP
00001e09: POP
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: PUSH1 0x40
00001e0e: DUP1
00001e0f: MLOAD
00001e10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e25: DUP5
00001e26: AND
00001e27: PUSH1 0x24
00001e29: DUP3
00001e2a: ADD
00001e2b: MSTORE
00001e2c: PUSH1 0x44
00001e2e: DUP1
00001e2f: DUP3
00001e30: ADD
00001e31: DUP5
00001e32: SWAP1
00001e33: MSTORE
00001e34: DUP3
00001e35: MLOAD
00001e36: DUP1
00001e37: DUP4
00001e38: SUB
00001e39: SWAP1
00001e3a: SWAP2
00001e3b: ADD
00001e3c: DUP2
00001e3d: MSTORE
00001e3e: PUSH1 0x64
00001e40: SWAP1
00001e41: SWAP2
00001e42: ADD
00001e43: SWAP1
00001e44: SWAP2
00001e45: MSTORE
00001e46: PUSH1 0x20
00001e48: DUP2
00001e49: ADD
00001e4a: DUP1
00001e4b: MLOAD
00001e4c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001e69: AND
00001e6a: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001e8b: OR
00001e8c: SWAP1
00001e8d: MSTORE
00001e8e: PUSH2 0x10ba
00001e91: SWAP1
00001e92: DUP5
00001e93: SWAP1
00001e94: PUSH2 0x21b3
00001e97: JUMP
00001e98: JUMPDEST
00001e99: PUSH1 0x00
00001e9b: SLOAD
00001e9c: PUSH2 0x0100
00001e9f: SWAP1
00001ea0: DIV
00001ea1: PUSH1 0xff
00001ea3: AND
00001ea4: PUSH2 0x1536
00001ea7: JUMPI
00001ea8: PUSH1 0x40
00001eaa: MLOAD
00001eab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ecc: DUP2
00001ecd: MSTORE
00001ece: PUSH1 0x20
00001ed0: PUSH1 0x04
00001ed2: DUP3
00001ed3: ADD
00001ed4: MSTORE
00001ed5: PUSH1 0x2b
00001ed7: PUSH1 0x24
00001ed9: DUP3
00001eda: ADD
00001edb: MSTORE
00001edc: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001efd: PUSH1 0x44
00001eff: DUP3
00001f00: ADD
00001f01: MSTORE
00001f02: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00001f23: PUSH1 0x64
00001f25: DUP3
00001f26: ADD
00001f27: MSTORE
00001f28: PUSH1 0x84
00001f2a: ADD
00001f2b: PUSH2 0x0edb
00001f2e: JUMP
00001f2f: JUMPDEST
00001f30: PUSH2 0x1f39
00001f33: DUP3
00001f34: DUP3
00001f35: PUSH2 0x22c2
00001f38: JUMP
00001f39: JUMPDEST
00001f3a: PUSH1 0x00
00001f3c: DUP3
00001f3d: DUP2
00001f3e: MSTORE
00001f3f: PUSH1 0x97
00001f41: PUSH1 0x20
00001f43: MSTORE
00001f44: PUSH1 0x40
00001f46: SWAP1
00001f47: KECCAK256
00001f48: PUSH2 0x10ba
00001f4b: SWAP1
00001f4c: DUP3
00001f4d: PUSH2 0x23b6
00001f50: JUMP
00001f51: JUMPDEST
00001f52: PUSH2 0x1f5b
00001f55: DUP3
00001f56: DUP3
00001f57: PUSH2 0x23d8
00001f5a: JUMP
00001f5b: JUMPDEST
00001f5c: PUSH1 0x00
00001f5e: DUP3
00001f5f: DUP2
00001f60: MSTORE
00001f61: PUSH1 0x97
00001f63: PUSH1 0x20
00001f65: MSTORE
00001f66: PUSH1 0x40
00001f68: SWAP1
00001f69: KECCAK256
00001f6a: PUSH2 0x10ba
00001f6d: SWAP1
00001f6e: DUP3
00001f6f: PUSH2 0x2493
00001f72: JUMP
00001f73: JUMPDEST
00001f74: PUSH1 0x00
00001f76: DUP2
00001f77: DUP4
00001f78: LT
00001f79: PUSH2 0x1f82
00001f7c: JUMPI
00001f7d: DUP2
00001f7e: PUSH2 0x1330
00001f81: JUMP
00001f82: JUMPDEST
00001f83: POP
00001f84: SWAP1
00001f85: SWAP2
00001f86: SWAP1
00001f87: POP
00001f88: JUMP
00001f89: JUMPDEST
00001f8a: PUSH1 0x00
00001f8c: PUSH2 0x1330
00001f8f: DUP4
00001f90: DUP4
00001f91: PUSH2 0x24b5
00001f94: JUMP
00001f95: JUMPDEST
00001f96: PUSH1 0x00
00001f98: PUSH2 0x07a8
00001f9b: DUP3
00001f9c: SLOAD
00001f9d: SWAP1
00001f9e: JUMP
00001f9f: JUMPDEST
00001fa0: DUP1
00001fa1: SELFBALANCE
00001fa2: LT
00001fa3: ISZERO
00001fa4: PUSH2 0x2009
00001fa7: JUMPI
00001fa8: PUSH1 0x40
00001faa: MLOAD
00001fab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fcc: DUP2
00001fcd: MSTORE
00001fce: PUSH1 0x20
00001fd0: PUSH1 0x04
00001fd2: DUP3
00001fd3: ADD
00001fd4: MSTORE
00001fd5: PUSH1 0x1d
00001fd7: PUSH1 0x24
00001fd9: DUP3
00001fda: ADD
00001fdb: MSTORE
00001fdc: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00001ffd: PUSH1 0x44
00001fff: DUP3
00002000: ADD
00002001: MSTORE
00002002: PUSH1 0x64
00002004: ADD
00002005: PUSH2 0x0edb
00002008: JUMP
00002009: JUMPDEST
0000200a: PUSH1 0x00
0000200c: DUP3
0000200d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002022: AND
00002023: DUP3
00002024: PUSH1 0x40
00002026: MLOAD
00002027: PUSH1 0x00
00002029: PUSH1 0x40
0000202b: MLOAD
0000202c: DUP1
0000202d: DUP4
0000202e: SUB
0000202f: DUP2
00002030: DUP6
00002031: DUP8
00002032: GAS
00002033: CALL
00002034: SWAP3
00002035: POP
00002036: POP
00002037: POP
00002038: RETURNDATASIZE
00002039: DUP1
0000203a: PUSH1 0x00
0000203c: DUP2
0000203d: EQ
0000203e: PUSH2 0x2063
00002041: JUMPI
00002042: PUSH1 0x40
00002044: MLOAD
00002045: SWAP2
00002046: POP
00002047: PUSH1 0x1f
00002049: NOT
0000204a: PUSH1 0x3f
0000204c: RETURNDATASIZE
0000204d: ADD
0000204e: AND
0000204f: DUP3
00002050: ADD
00002051: PUSH1 0x40
00002053: MSTORE
00002054: RETURNDATASIZE
00002055: DUP3
00002056: MSTORE
00002057: RETURNDATASIZE
00002058: PUSH1 0x00
0000205a: PUSH1 0x20
0000205c: DUP5
0000205d: ADD
0000205e: RETURNDATACOPY
0000205f: PUSH2 0x2068
00002062: JUMP
00002063: JUMPDEST
00002064: PUSH1 0x60
00002066: SWAP2
00002067: POP
00002068: JUMPDEST
00002069: POP
0000206a: POP
0000206b: SWAP1
0000206c: POP
0000206d: DUP1
0000206e: PUSH2 0x10ba
00002071: JUMPI
00002072: PUSH1 0x40
00002074: MLOAD
00002075: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002096: DUP2
00002097: MSTORE
00002098: PUSH1 0x20
0000209a: PUSH1 0x04
0000209c: DUP3
0000209d: ADD
0000209e: MSTORE
0000209f: PUSH1 0x3a
000020a1: PUSH1 0x24
000020a3: DUP3
000020a4: ADD
000020a5: MSTORE
000020a6: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
000020c7: PUSH1 0x44
000020c9: DUP3
000020ca: ADD
000020cb: MSTORE
000020cc: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
000020ed: PUSH1 0x64
000020ef: DUP3
000020f0: ADD
000020f1: MSTORE
000020f2: PUSH1 0x84
000020f4: ADD
000020f5: PUSH2 0x0edb
000020f8: JUMP
000020f9: JUMPDEST
000020fa: PUSH1 0x00
000020fc: DUP3
000020fd: DUP2
000020fe: MSTORE
000020ff: PUSH1 0x65
00002101: PUSH1 0x20
00002103: SWAP1
00002104: DUP2
00002105: MSTORE
00002106: PUSH1 0x40
00002108: DUP1
00002109: DUP4
0000210a: KECCAK256
0000210b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002120: DUP6
00002121: AND
00002122: DUP5
00002123: MSTORE
00002124: SWAP1
00002125: SWAP2
00002126: MSTORE
00002127: SWAP1
00002128: KECCAK256
00002129: SLOAD
0000212a: PUSH1 0xff
0000212c: AND
0000212d: PUSH2 0x1091
00002130: JUMPI
00002131: PUSH2 0x2139
00002134: DUP2
00002135: PUSH2 0x24df
00002138: JUMP
00002139: JUMPDEST
0000213a: PUSH2 0x2144
0000213d: DUP4
0000213e: PUSH1 0x20
00002140: PUSH2 0x24fe
00002143: JUMP
00002144: JUMPDEST
00002145: PUSH1 0x40
00002147: MLOAD
00002148: PUSH1 0x20
0000214a: ADD
0000214b: PUSH2 0x2155
0000214e: SWAP3
0000214f: SWAP2
00002150: SWAP1
00002151: PUSH2 0x3017
00002154: JUMP
00002155: JUMPDEST
00002156: PUSH1 0x40
00002158: DUP1
00002159: MLOAD
0000215a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000217b: DUP2
0000217c: DUP5
0000217d: SUB
0000217e: ADD
0000217f: DUP2
00002180: MSTORE
00002181: SWAP1
00002182: DUP3
00002183: SWAP1
00002184: MSTORE
00002185: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021a6: DUP3
000021a7: MSTORE
000021a8: PUSH2 0x0edb
000021ab: SWAP2
000021ac: PUSH1 0x04
000021ae: ADD
000021af: PUSH2 0x3098
000021b2: JUMP
000021b3: JUMPDEST
000021b4: PUSH1 0x00
000021b6: PUSH2 0x2215
000021b9: DUP3
000021ba: PUSH1 0x40
000021bc: MLOAD
000021bd: DUP1
000021be: PUSH1 0x40
000021c0: ADD
000021c1: PUSH1 0x40
000021c3: MSTORE
000021c4: DUP1
000021c5: PUSH1 0x20
000021c7: DUP2
000021c8: MSTORE
000021c9: PUSH1 0x20
000021cb: ADD
000021cc: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000021ed: DUP2
000021ee: MSTORE
000021ef: POP
000021f0: DUP6
000021f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002206: AND
00002207: PUSH2 0x2741
0000220a: SWAP1
0000220b: SWAP3
0000220c: SWAP2
0000220d: SWAP1
0000220e: PUSH4 0xffffffff
00002213: AND
00002214: JUMP
00002215: JUMPDEST
00002216: SWAP1
00002217: POP
00002218: DUP1
00002219: MLOAD
0000221a: PUSH1 0x00
0000221c: EQ
0000221d: DUP1
0000221e: PUSH2 0x2236
00002221: JUMPI
00002222: POP
00002223: DUP1
00002224: DUP1
00002225: PUSH1 0x20
00002227: ADD
00002228: SWAP1
00002229: MLOAD
0000222a: DUP2
0000222b: ADD
0000222c: SWAP1
0000222d: PUSH2 0x2236
00002230: SWAP2
00002231: SWAP1
00002232: PUSH2 0x30ab
00002235: JUMP
00002236: JUMPDEST
00002237: PUSH2 0x10ba
0000223a: JUMPI
0000223b: PUSH1 0x40
0000223d: MLOAD
0000223e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000225f: DUP2
00002260: MSTORE
00002261: PUSH1 0x20
00002263: PUSH1 0x04
00002265: DUP3
00002266: ADD
00002267: MSTORE
00002268: PUSH1 0x2a
0000226a: PUSH1 0x24
0000226c: DUP3
0000226d: ADD
0000226e: MSTORE
0000226f: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002290: PUSH1 0x44
00002292: DUP3
00002293: ADD
00002294: MSTORE
00002295: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
000022b6: PUSH1 0x64
000022b8: DUP3
000022b9: ADD
000022ba: MSTORE
000022bb: PUSH1 0x84
000022bd: ADD
000022be: PUSH2 0x0edb
000022c1: JUMP
000022c2: JUMPDEST
000022c3: PUSH1 0x00
000022c5: DUP3
000022c6: DUP2
000022c7: MSTORE
000022c8: PUSH1 0x65
000022ca: PUSH1 0x20
000022cc: SWAP1
000022cd: DUP2
000022ce: MSTORE
000022cf: PUSH1 0x40
000022d1: DUP1
000022d2: DUP4
000022d3: KECCAK256
000022d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e9: DUP6
000022ea: AND
000022eb: DUP5
000022ec: MSTORE
000022ed: SWAP1
000022ee: SWAP2
000022ef: MSTORE
000022f0: SWAP1
000022f1: KECCAK256
000022f2: SLOAD
000022f3: PUSH1 0xff
000022f5: AND
000022f6: PUSH2 0x1091
000022f9: JUMPI
000022fa: PUSH1 0x00
000022fc: DUP3
000022fd: DUP2
000022fe: MSTORE
000022ff: PUSH1 0x65
00002301: PUSH1 0x20
00002303: SWAP1
00002304: DUP2
00002305: MSTORE
00002306: PUSH1 0x40
00002308: DUP1
00002309: DUP4
0000230a: KECCAK256
0000230b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002320: DUP6
00002321: AND
00002322: DUP5
00002323: MSTORE
00002324: SWAP1
00002325: SWAP2
00002326: MSTORE
00002327: SWAP1
00002328: KECCAK256
00002329: DUP1
0000232a: SLOAD
0000232b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000234c: AND
0000234d: PUSH1 0x01
0000234f: OR
00002350: SWAP1
00002351: SSTORE
00002352: PUSH2 0x2358
00002355: CALLER
00002356: SWAP1
00002357: JUMP
00002358: JUMPDEST
00002359: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000236e: AND
0000236f: DUP2
00002370: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002385: AND
00002386: DUP4
00002387: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
000023a8: PUSH1 0x40
000023aa: MLOAD
000023ab: PUSH1 0x40
000023ad: MLOAD
000023ae: DUP1
000023af: SWAP2
000023b0: SUB
000023b1: SWAP1
000023b2: LOG4
000023b3: POP
000023b4: POP
000023b5: JUMP
000023b6: JUMPDEST
000023b7: PUSH1 0x00
000023b9: PUSH2 0x1330
000023bc: DUP4
000023bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d2: DUP5
000023d3: AND
000023d4: PUSH2 0x2758
000023d7: JUMP
000023d8: JUMPDEST
000023d9: PUSH1 0x00
000023db: DUP3
000023dc: DUP2
000023dd: MSTORE
000023de: PUSH1 0x65
000023e0: PUSH1 0x20
000023e2: SWAP1
000023e3: DUP2
000023e4: MSTORE
000023e5: PUSH1 0x40
000023e7: DUP1
000023e8: DUP4
000023e9: KECCAK256
000023ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ff: DUP6
00002400: AND
00002401: DUP5
00002402: MSTORE
00002403: SWAP1
00002404: SWAP2
00002405: MSTORE
00002406: SWAP1
00002407: KECCAK256
00002408: SLOAD
00002409: PUSH1 0xff
0000240b: AND
0000240c: ISZERO
0000240d: PUSH2 0x1091
00002410: JUMPI
00002411: PUSH1 0x00
00002413: DUP3
00002414: DUP2
00002415: MSTORE
00002416: PUSH1 0x65
00002418: PUSH1 0x20
0000241a: SWAP1
0000241b: DUP2
0000241c: MSTORE
0000241d: PUSH1 0x40
0000241f: DUP1
00002420: DUP4
00002421: KECCAK256
00002422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002437: DUP6
00002438: AND
00002439: DUP1
0000243a: DUP6
0000243b: MSTORE
0000243c: SWAP3
0000243d: MSTORE
0000243e: DUP1
0000243f: DUP4
00002440: KECCAK256
00002441: DUP1
00002442: SLOAD
00002443: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002464: AND
00002465: SWAP1
00002466: SSTORE
00002467: MLOAD
00002468: CALLER
00002469: SWAP3
0000246a: DUP6
0000246b: SWAP2
0000246c: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
0000248d: SWAP2
0000248e: SWAP1
0000248f: LOG4
00002490: POP
00002491: POP
00002492: JUMP
00002493: JUMPDEST
00002494: PUSH1 0x00
00002496: PUSH2 0x1330
00002499: DUP4
0000249a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024af: DUP5
000024b0: AND
000024b1: PUSH2 0x27a7
000024b4: JUMP
000024b5: JUMPDEST
000024b6: PUSH1 0x00
000024b8: DUP3
000024b9: PUSH1 0x00
000024bb: ADD
000024bc: DUP3
000024bd: DUP2
000024be: SLOAD
000024bf: DUP2
000024c0: LT
000024c1: PUSH2 0x24cc
000024c4: JUMPI
000024c5: PUSH2 0x24cc
000024c8: PUSH2 0x2d2d
000024cb: JUMP
000024cc: JUMPDEST
000024cd: SWAP1
000024ce: PUSH1 0x00
000024d0: MSTORE
000024d1: PUSH1 0x20
000024d3: PUSH1 0x00
000024d5: KECCAK256
000024d6: ADD
000024d7: SLOAD
000024d8: SWAP1
000024d9: POP
000024da: SWAP3
000024db: SWAP2
000024dc: POP
000024dd: POP
000024de: JUMP
000024df: JUMPDEST
000024e0: PUSH1 0x60
000024e2: PUSH2 0x07a8
000024e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024fa: DUP4
000024fb: AND
000024fc: PUSH1 0x14
000024fe: JUMPDEST
000024ff: PUSH1 0x60
00002501: PUSH1 0x00
00002503: PUSH2 0x250d
00002506: DUP4
00002507: PUSH1 0x02
00002509: PUSH2 0x30cd
0000250c: JUMP
0000250d: JUMPDEST
0000250e: PUSH2 0x2518
00002511: SWAP1
00002512: PUSH1 0x02
00002514: PUSH2 0x2ef0
00002517: JUMP
00002518: JUMPDEST
00002519: PUSH8 0xffffffffffffffff
00002522: DUP2
00002523: GT
00002524: ISZERO
00002525: PUSH2 0x2530
00002528: JUMPI
00002529: PUSH2 0x2530
0000252c: PUSH2 0x2af4
0000252f: JUMP
00002530: JUMPDEST
00002531: PUSH1 0x40
00002533: MLOAD
00002534: SWAP1
00002535: DUP1
00002536: DUP3
00002537: MSTORE
00002538: DUP1
00002539: PUSH1 0x1f
0000253b: ADD
0000253c: PUSH1 0x1f
0000253e: NOT
0000253f: AND
00002540: PUSH1 0x20
00002542: ADD
00002543: DUP3
00002544: ADD
00002545: PUSH1 0x40
00002547: MSTORE
00002548: DUP1
00002549: ISZERO
0000254a: PUSH2 0x255a
0000254d: JUMPI
0000254e: PUSH1 0x20
00002550: DUP3
00002551: ADD
00002552: DUP2
00002553: DUP1
00002554: CALLDATASIZE
00002555: DUP4
00002556: CALLDATACOPY
00002557: ADD
00002558: SWAP1
00002559: POP
0000255a: JUMPDEST
0000255b: POP
0000255c: SWAP1
0000255d: POP
0000255e: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
0000257f: DUP2
00002580: PUSH1 0x00
00002582: DUP2
00002583: MLOAD
00002584: DUP2
00002585: LT
00002586: PUSH2 0x2591
00002589: JUMPI
0000258a: PUSH2 0x2591
0000258d: PUSH2 0x2d2d
00002590: JUMP
00002591: JUMPDEST
00002592: PUSH1 0x20
00002594: ADD
00002595: ADD
00002596: SWAP1
00002597: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000025b7: NOT
000025b8: AND
000025b9: SWAP1
000025ba: DUP2
000025bb: PUSH1 0x00
000025bd: BYTE
000025be: SWAP1
000025bf: MSTORE8
000025c0: POP
000025c1: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000
000025e2: DUP2
000025e3: PUSH1 0x01
000025e5: DUP2
000025e6: MLOAD
000025e7: DUP2
000025e8: LT
000025e9: PUSH2 0x25f4
000025ec: JUMPI
000025ed: PUSH2 0x25f4
000025f0: PUSH2 0x2d2d
000025f3: JUMP
000025f4: JUMPDEST
000025f5: PUSH1 0x20
000025f7: ADD
000025f8: ADD
000025f9: SWAP1
000025fa: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000261a: NOT
0000261b: AND
0000261c: SWAP1
0000261d: DUP2
0000261e: PUSH1 0x00
00002620: BYTE
00002621: SWAP1
00002622: MSTORE8
00002623: POP
00002624: PUSH1 0x00
00002626: PUSH2 0x2630
00002629: DUP5
0000262a: PUSH1 0x02
0000262c: PUSH2 0x30cd
0000262f: JUMP
00002630: JUMPDEST
00002631: PUSH2 0x263b
00002634: SWAP1
00002635: PUSH1 0x01
00002637: PUSH2 0x2ef0
0000263a: JUMP
0000263b: JUMPDEST
0000263c: SWAP1
0000263d: POP
0000263e: JUMPDEST
0000263f: PUSH1 0x01
00002641: DUP2
00002642: GT
00002643: ISZERO
00002644: PUSH2 0x26d8
00002647: JUMPI
00002648: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000
00002669: DUP6
0000266a: PUSH1 0x0f
0000266c: AND
0000266d: PUSH1 0x10
0000266f: DUP2
00002670: LT
00002671: PUSH2 0x267c
00002674: JUMPI
00002675: PUSH2 0x267c
00002678: PUSH2 0x2d2d
0000267b: JUMP
0000267c: JUMPDEST
0000267d: BYTE
0000267e: PUSH1 0xf8
00002680: SHL
00002681: DUP3
00002682: DUP3
00002683: DUP2
00002684: MLOAD
00002685: DUP2
00002686: LT
00002687: PUSH2 0x2692
0000268a: JUMPI
0000268b: PUSH2 0x2692
0000268e: PUSH2 0x2d2d
00002691: JUMP
00002692: JUMPDEST
00002693: PUSH1 0x20
00002695: ADD
00002696: ADD
00002697: SWAP1
00002698: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000026b8: NOT
000026b9: AND
000026ba: SWAP1
000026bb: DUP2
000026bc: PUSH1 0x00
000026be: BYTE
000026bf: SWAP1
000026c0: MSTORE8
000026c1: POP
000026c2: PUSH1 0x04
000026c4: SWAP5
000026c5: SWAP1
000026c6: SWAP5
000026c7: SHR
000026c8: SWAP4
000026c9: PUSH2 0x26d1
000026cc: DUP2
000026cd: PUSH2 0x30e4
000026d0: JUMP
000026d1: JUMPDEST
000026d2: SWAP1
000026d3: POP
000026d4: PUSH2 0x263e
000026d7: JUMP
000026d8: JUMPDEST
000026d9: POP
000026da: DUP4
000026db: ISZERO
000026dc: PUSH2 0x1330
000026df: JUMPI
000026e0: PUSH1 0x40
000026e2: MLOAD
000026e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002704: DUP2
00002705: MSTORE
00002706: PUSH1 0x20
00002708: PUSH1 0x04
0000270a: DUP3
0000270b: ADD
0000270c: DUP2
0000270d: SWAP1
0000270e: MSTORE
0000270f: PUSH1 0x24
00002711: DUP3
00002712: ADD
00002713: MSTORE
00002714: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
00002735: PUSH1 0x44
00002737: DUP3
00002738: ADD
00002739: MSTORE
0000273a: PUSH1 0x64
0000273c: ADD
0000273d: PUSH2 0x0edb
00002740: JUMP
00002741: JUMPDEST
00002742: PUSH1 0x60
00002744: PUSH2 0x2750
00002747: DUP5
00002748: DUP5
00002749: PUSH1 0x00
0000274b: DUP6
0000274c: PUSH2 0x28a1
0000274f: JUMP
00002750: JUMPDEST
00002751: SWAP5
00002752: SWAP4
00002753: POP
00002754: POP
00002755: POP
00002756: POP
00002757: JUMP
00002758: JUMPDEST
00002759: PUSH1 0x00
0000275b: DUP2
0000275c: DUP2
0000275d: MSTORE
0000275e: PUSH1 0x01
00002760: DUP4
00002761: ADD
00002762: PUSH1 0x20
00002764: MSTORE
00002765: PUSH1 0x40
00002767: DUP2
00002768: KECCAK256
00002769: SLOAD
0000276a: PUSH2 0x279f
0000276d: JUMPI
0000276e: POP
0000276f: DUP2
00002770: SLOAD
00002771: PUSH1 0x01
00002773: DUP2
00002774: DUP2
00002775: ADD
00002776: DUP5
00002777: SSTORE
00002778: PUSH1 0x00
0000277a: DUP5
0000277b: DUP2
0000277c: MSTORE
0000277d: PUSH1 0x20
0000277f: DUP1
00002780: DUP3
00002781: KECCAK256
00002782: SWAP1
00002783: SWAP4
00002784: ADD
00002785: DUP5
00002786: SWAP1
00002787: SSTORE
00002788: DUP5
00002789: SLOAD
0000278a: DUP5
0000278b: DUP3
0000278c: MSTORE
0000278d: DUP3
0000278e: DUP7
0000278f: ADD
00002790: SWAP1
00002791: SWAP4
00002792: MSTORE
00002793: PUSH1 0x40
00002795: SWAP1
00002796: KECCAK256
00002797: SWAP2
00002798: SWAP1
00002799: SWAP2
0000279a: SSTORE
0000279b: PUSH2 0x07a8
0000279e: JUMP
0000279f: JUMPDEST
000027a0: POP
000027a1: PUSH1 0x00
000027a3: PUSH2 0x07a8
000027a6: JUMP
000027a7: JUMPDEST
000027a8: PUSH1 0x00
000027aa: DUP2
000027ab: DUP2
000027ac: MSTORE
000027ad: PUSH1 0x01
000027af: DUP4
000027b0: ADD
000027b1: PUSH1 0x20
000027b3: MSTORE
000027b4: PUSH1 0x40
000027b6: DUP2
000027b7: KECCAK256
000027b8: SLOAD
000027b9: DUP1
000027ba: ISZERO
000027bb: PUSH2 0x2890
000027be: JUMPI
000027bf: PUSH1 0x00
000027c1: PUSH2 0x27cb
000027c4: PUSH1 0x01
000027c6: DUP4
000027c7: PUSH2 0x2d1a
000027ca: JUMP
000027cb: JUMPDEST
000027cc: DUP6
000027cd: SLOAD
000027ce: SWAP1
000027cf: SWAP2
000027d0: POP
000027d1: PUSH1 0x00
000027d3: SWAP1
000027d4: PUSH2 0x27df
000027d7: SWAP1
000027d8: PUSH1 0x01
000027da: SWAP1
000027db: PUSH2 0x2d1a
000027de: JUMP
000027df: JUMPDEST
000027e0: SWAP1
000027e1: POP
000027e2: DUP2
000027e3: DUP2
000027e4: EQ
000027e5: PUSH2 0x2844
000027e8: JUMPI
000027e9: PUSH1 0x00
000027eb: DUP7
000027ec: PUSH1 0x00
000027ee: ADD
000027ef: DUP3
000027f0: DUP2
000027f1: SLOAD
000027f2: DUP2
000027f3: LT
000027f4: PUSH2 0x27ff
000027f7: JUMPI
000027f8: PUSH2 0x27ff
000027fb: PUSH2 0x2d2d
000027fe: JUMP
000027ff: JUMPDEST
00002800: SWAP1
00002801: PUSH1 0x00
00002803: MSTORE
00002804: PUSH1 0x20
00002806: PUSH1 0x00
00002808: KECCAK256
00002809: ADD
0000280a: SLOAD
0000280b: SWAP1
0000280c: POP
0000280d: DUP1
0000280e: DUP8
0000280f: PUSH1 0x00
00002811: ADD
00002812: DUP5
00002813: DUP2
00002814: SLOAD
00002815: DUP2
00002816: LT
00002817: PUSH2 0x2822
0000281a: JUMPI
0000281b: PUSH2 0x2822
0000281e: PUSH2 0x2d2d
00002821: JUMP
00002822: JUMPDEST
00002823: PUSH1 0x00
00002825: SWAP2
00002826: DUP3
00002827: MSTORE
00002828: PUSH1 0x20
0000282a: DUP1
0000282b: DUP4
0000282c: KECCAK256
0000282d: SWAP1
0000282e: SWAP2
0000282f: ADD
00002830: SWAP3
00002831: SWAP1
00002832: SWAP3
00002833: SSTORE
00002834: SWAP2
00002835: DUP3
00002836: MSTORE
00002837: PUSH1 0x01
00002839: DUP9
0000283a: ADD
0000283b: SWAP1
0000283c: MSTORE
0000283d: PUSH1 0x40
0000283f: SWAP1
00002840: KECCAK256
00002841: DUP4
00002842: SWAP1
00002843: SSTORE
00002844: JUMPDEST
00002845: DUP6
00002846: SLOAD
00002847: DUP7
00002848: SWAP1
00002849: DUP1
0000284a: PUSH2 0x2855
0000284d: JUMPI
0000284e: PUSH2 0x2855
00002851: PUSH2 0x2d5c
00002854: JUMP
00002855: JUMPDEST
00002856: PUSH1 0x01
00002858: SWAP1
00002859: SUB
0000285a: DUP2
0000285b: DUP2
0000285c: SWAP1
0000285d: PUSH1 0x00
0000285f: MSTORE
00002860: PUSH1 0x20
00002862: PUSH1 0x00
00002864: KECCAK256
00002865: ADD
00002866: PUSH1 0x00
00002868: SWAP1
00002869: SSTORE
0000286a: SWAP1
0000286b: SSTORE
0000286c: DUP6
0000286d: PUSH1 0x01
0000286f: ADD
00002870: PUSH1 0x00
00002872: DUP7
00002873: DUP2
00002874: MSTORE
00002875: PUSH1 0x20
00002877: ADD
00002878: SWAP1
00002879: DUP2
0000287a: MSTORE
0000287b: PUSH1 0x20
0000287d: ADD
0000287e: PUSH1 0x00
00002880: KECCAK256
00002881: PUSH1 0x00
00002883: SWAP1
00002884: SSTORE
00002885: PUSH1 0x01
00002887: SWAP4
00002888: POP
00002889: POP
0000288a: POP
0000288b: POP
0000288c: PUSH2 0x07a8
0000288f: JUMP
00002890: JUMPDEST
00002891: PUSH1 0x00
00002893: SWAP2
00002894: POP
00002895: POP
00002896: PUSH2 0x07a8
00002899: JUMP
0000289a: JUMPDEST
0000289b: POP
0000289c: SWAP3
0000289d: SWAP2
0000289e: POP
0000289f: POP
000028a0: JUMP
000028a1: JUMPDEST
000028a2: PUSH1 0x60
000028a4: DUP3
000028a5: SELFBALANCE
000028a6: LT
000028a7: ISZERO
000028a8: PUSH2 0x2933
000028ab: JUMPI
000028ac: PUSH1 0x40
000028ae: MLOAD
000028af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028d0: DUP2
000028d1: MSTORE
000028d2: PUSH1 0x20
000028d4: PUSH1 0x04
000028d6: DUP3
000028d7: ADD
000028d8: MSTORE
000028d9: PUSH1 0x26
000028db: PUSH1 0x24
000028dd: DUP3
000028de: ADD
000028df: MSTORE
000028e0: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00002901: PUSH1 0x44
00002903: DUP3
00002904: ADD
00002905: MSTORE
00002906: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00002927: PUSH1 0x64
00002929: DUP3
0000292a: ADD
0000292b: MSTORE
0000292c: PUSH1 0x84
0000292e: ADD
0000292f: PUSH2 0x0edb
00002932: JUMP
00002933: JUMPDEST
00002934: PUSH1 0x00
00002936: DUP1
00002937: DUP7
00002938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000294d: AND
0000294e: DUP6
0000294f: DUP8
00002950: PUSH1 0x40
00002952: MLOAD
00002953: PUSH2 0x295c
00002956: SWAP2
00002957: SWAP1
00002958: PUSH2 0x3119
0000295b: JUMP
0000295c: JUMPDEST
0000295d: PUSH1 0x00
0000295f: PUSH1 0x40
00002961: MLOAD
00002962: DUP1
00002963: DUP4
00002964: SUB
00002965: DUP2
00002966: DUP6
00002967: DUP8
00002968: GAS
00002969: CALL
0000296a: SWAP3
0000296b: POP
0000296c: POP
0000296d: POP
0000296e: RETURNDATASIZE
0000296f: DUP1
00002970: PUSH1 0x00
00002972: DUP2
00002973: EQ
00002974: PUSH2 0x2999
00002977: JUMPI
00002978: PUSH1 0x40
0000297a: MLOAD
0000297b: SWAP2
0000297c: POP
0000297d: PUSH1 0x1f
0000297f: NOT
00002980: PUSH1 0x3f
00002982: RETURNDATASIZE
00002983: ADD
00002984: AND
00002985: DUP3
00002986: ADD
00002987: PUSH1 0x40
00002989: MSTORE
0000298a: RETURNDATASIZE
0000298b: DUP3
0000298c: MSTORE
0000298d: RETURNDATASIZE
0000298e: PUSH1 0x00
00002990: PUSH1 0x20
00002992: DUP5
00002993: ADD
00002994: RETURNDATACOPY
00002995: PUSH2 0x299e
00002998: JUMP
00002999: JUMPDEST
0000299a: PUSH1 0x60
0000299c: SWAP2
0000299d: POP
0000299e: JUMPDEST
0000299f: POP
000029a0: SWAP2
000029a1: POP
000029a2: SWAP2
000029a3: POP
000029a4: PUSH2 0x29af
000029a7: DUP8
000029a8: DUP4
000029a9: DUP4
000029aa: DUP8
000029ab: PUSH2 0x29ba
000029ae: JUMP
000029af: JUMPDEST
000029b0: SWAP8
000029b1: SWAP7
000029b2: POP
000029b3: POP
000029b4: POP
000029b5: POP
000029b6: POP
000029b7: POP
000029b8: POP
000029b9: JUMP
000029ba: JUMPDEST
000029bb: PUSH1 0x60
000029bd: DUP4
000029be: ISZERO
000029bf: PUSH2 0x2a50
000029c2: JUMPI
000029c3: DUP3
000029c4: MLOAD
000029c5: PUSH1 0x00
000029c7: SUB
000029c8: PUSH2 0x2a49
000029cb: JUMPI
000029cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029e1: DUP6
000029e2: AND
000029e3: EXTCODESIZE
000029e4: PUSH2 0x2a49
000029e7: JUMPI
000029e8: PUSH1 0x40
000029ea: MLOAD
000029eb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a0c: DUP2
00002a0d: MSTORE
00002a0e: PUSH1 0x20
00002a10: PUSH1 0x04
00002a12: DUP3
00002a13: ADD
00002a14: MSTORE
00002a15: PUSH1 0x1d
00002a17: PUSH1 0x24
00002a19: DUP3
00002a1a: ADD
00002a1b: MSTORE
00002a1c: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002a3d: PUSH1 0x44
00002a3f: DUP3
00002a40: ADD
00002a41: MSTORE
00002a42: PUSH1 0x64
00002a44: ADD
00002a45: PUSH2 0x0edb
00002a48: JUMP
00002a49: JUMPDEST
00002a4a: POP
00002a4b: DUP2
00002a4c: PUSH2 0x2750
00002a4f: JUMP
00002a50: JUMPDEST
00002a51: PUSH2 0x2750
00002a54: DUP4
00002a55: DUP4
00002a56: DUP2
00002a57: MLOAD
00002a58: ISZERO
00002a59: PUSH2 0x2a65
00002a5c: JUMPI
00002a5d: DUP2
00002a5e: MLOAD
00002a5f: DUP1
00002a60: DUP4
00002a61: PUSH1 0x20
00002a63: ADD
00002a64: REVERT
00002a65: JUMPDEST
00002a66: DUP1
00002a67: PUSH1 0x40
00002a69: MLOAD
00002a6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a8b: DUP2
00002a8c: MSTORE
00002a8d: PUSH1 0x04
00002a8f: ADD
00002a90: PUSH2 0x0edb
00002a93: SWAP2
00002a94: SWAP1
00002a95: PUSH2 0x3098
00002a98: JUMP
00002a99: JUMPDEST
00002a9a: PUSH1 0x00
00002a9c: PUSH1 0x20
00002a9e: DUP3
00002a9f: DUP5
00002aa0: SUB
00002aa1: SLT
00002aa2: ISZERO
00002aa3: PUSH2 0x2aab
00002aa6: JUMPI
00002aa7: PUSH1 0x00
00002aa9: DUP1
00002aaa: REVERT
00002aab: JUMPDEST
00002aac: DUP2
00002aad: CALLDATALOAD
00002aae: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002acf: DUP2
00002ad0: AND
00002ad1: DUP2
00002ad2: EQ
00002ad3: PUSH2 0x1330
00002ad6: JUMPI
00002ad7: PUSH1 0x00
00002ad9: DUP1
00002ada: REVERT
00002adb: JUMPDEST
00002adc: PUSH1 0x00
00002ade: PUSH1 0x20
00002ae0: DUP3
00002ae1: DUP5
00002ae2: SUB
00002ae3: SLT
00002ae4: ISZERO
00002ae5: PUSH2 0x2aed
00002ae8: JUMPI
00002ae9: PUSH1 0x00
00002aeb: DUP1
00002aec: REVERT
00002aed: JUMPDEST
00002aee: POP
00002aef: CALLDATALOAD
00002af0: SWAP2
00002af1: SWAP1
00002af2: POP
00002af3: JUMP
00002af4: JUMPDEST
00002af5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002b16: PUSH1 0x00
00002b18: MSTORE
00002b19: PUSH1 0x41
00002b1b: PUSH1 0x04
00002b1d: MSTORE
00002b1e: PUSH1 0x24
00002b20: PUSH1 0x00
00002b22: REVERT
00002b23: JUMPDEST
00002b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b39: DUP2
00002b3a: AND
00002b3b: DUP2
00002b3c: EQ
00002b3d: PUSH2 0x1d41
00002b40: JUMPI
00002b41: PUSH1 0x00
00002b43: DUP1
00002b44: REVERT
00002b45: JUMPDEST
00002b46: DUP1
00002b47: CALLDATALOAD
00002b48: PUSH2 0x2b50
00002b4b: DUP2
00002b4c: PUSH2 0x2b23
00002b4f: JUMP
00002b50: JUMPDEST
00002b51: SWAP2
00002b52: SWAP1
00002b53: POP
00002b54: JUMP
00002b55: JUMPDEST
00002b56: PUSH1 0x00
00002b58: PUSH1 0xe0
00002b5a: DUP3
00002b5b: DUP5
00002b5c: SUB
00002b5d: SLT
00002b5e: ISZERO
00002b5f: PUSH2 0x2b67
00002b62: JUMPI
00002b63: PUSH1 0x00
00002b65: DUP1
00002b66: REVERT
00002b67: JUMPDEST
00002b68: PUSH1 0x40
00002b6a: MLOAD
00002b6b: PUSH1 0xe0
00002b6d: DUP2
00002b6e: ADD
00002b6f: DUP2
00002b70: DUP2
00002b71: LT
00002b72: PUSH8 0xffffffffffffffff
00002b7b: DUP3
00002b7c: GT
00002b7d: OR
00002b7e: ISZERO
00002b7f: PUSH2 0x2bb1
00002b82: JUMPI
00002b83: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002ba4: PUSH1 0x00
00002ba6: MSTORE
00002ba7: PUSH1 0x41
00002ba9: PUSH1 0x04
00002bab: MSTORE
00002bac: PUSH1 0x24
00002bae: PUSH1 0x00
00002bb0: REVERT
00002bb1: JUMPDEST
00002bb2: PUSH1 0x40
00002bb4: MSTORE
00002bb5: DUP3
00002bb6: CALLDATALOAD
00002bb7: PUSH2 0x2bbf
00002bba: DUP2
00002bbb: PUSH2 0x2b23
00002bbe: JUMP
00002bbf: JUMPDEST
00002bc0: DUP2
00002bc1: MSTORE
00002bc2: PUSH1 0x20
00002bc4: DUP4
00002bc5: ADD
00002bc6: CALLDATALOAD
00002bc7: PUSH2 0x2bcf
00002bca: DUP2
00002bcb: PUSH2 0x2b23
00002bce: JUMP
00002bcf: JUMPDEST
00002bd0: PUSH1 0x20
00002bd2: DUP3
00002bd3: ADD
00002bd4: MSTORE
00002bd5: PUSH1 0x40
00002bd7: DUP4
00002bd8: ADD
00002bd9: CALLDATALOAD
00002bda: PUSH2 0x2be2
00002bdd: DUP2
00002bde: PUSH2 0x2b23
00002be1: JUMP
00002be2: JUMPDEST
00002be3: PUSH1 0x40
00002be5: DUP3
00002be6: ADD
00002be7: MSTORE
00002be8: PUSH1 0x60
00002bea: DUP4
00002beb: ADD
00002bec: CALLDATALOAD
00002bed: PUSH2 0x2bf5
00002bf0: DUP2
00002bf1: PUSH2 0x2b23
00002bf4: JUMP
00002bf5: JUMPDEST
00002bf6: PUSH1 0x60
00002bf8: DUP3
00002bf9: ADD
00002bfa: MSTORE
00002bfb: PUSH2 0x2c06
00002bfe: PUSH1 0x80
00002c00: DUP5
00002c01: ADD
00002c02: PUSH2 0x2b45
00002c05: JUMP
00002c06: JUMPDEST
00002c07: PUSH1 0x80
00002c09: DUP3
00002c0a: ADD
00002c0b: MSTORE
00002c0c: PUSH2 0x2c17
00002c0f: PUSH1 0xa0
00002c11: DUP5
00002c12: ADD
00002c13: PUSH2 0x2b45
00002c16: JUMP
00002c17: JUMPDEST
00002c18: PUSH1 0xa0
00002c1a: DUP3
00002c1b: ADD
00002c1c: MSTORE
00002c1d: PUSH1 0xc0
00002c1f: DUP4
00002c20: ADD
00002c21: CALLDATALOAD
00002c22: PUSH1 0xc0
00002c24: DUP3
00002c25: ADD
00002c26: MSTORE
00002c27: DUP1
00002c28: SWAP2
00002c29: POP
00002c2a: POP
00002c2b: SWAP3
00002c2c: SWAP2
00002c2d: POP
00002c2e: POP
00002c2f: JUMP
00002c30: JUMPDEST
00002c31: PUSH1 0x00
00002c33: DUP1
00002c34: PUSH1 0x40
00002c36: DUP4
00002c37: DUP6
00002c38: SUB
00002c39: SLT
00002c3a: ISZERO
00002c3b: PUSH2 0x2c43
00002c3e: JUMPI
00002c3f: PUSH1 0x00
00002c41: DUP1
00002c42: REVERT
00002c43: JUMPDEST
00002c44: DUP3
00002c45: CALLDATALOAD
00002c46: SWAP2
00002c47: POP
00002c48: PUSH1 0x20
00002c4a: DUP4
00002c4b: ADD
00002c4c: CALLDATALOAD
00002c4d: PUSH2 0x2c55
00002c50: DUP2
00002c51: PUSH2 0x2b23
00002c54: JUMP
00002c55: JUMPDEST
00002c56: DUP1
00002c57: SWAP2
00002c58: POP
00002c59: POP
00002c5a: SWAP3
00002c5b: POP
00002c5c: SWAP3
00002c5d: SWAP1
00002c5e: POP
00002c5f: JUMP
00002c60: JUMPDEST
00002c61: PUSH1 0x00
00002c63: DUP1
00002c64: PUSH1 0x40
00002c66: DUP4
00002c67: DUP6
00002c68: SUB
00002c69: SLT
00002c6a: ISZERO
00002c6b: PUSH2 0x2c73
00002c6e: JUMPI
00002c6f: PUSH1 0x00
00002c71: DUP1
00002c72: REVERT
00002c73: JUMPDEST
00002c74: POP
00002c75: POP
00002c76: DUP1
00002c77: CALLDATALOAD
00002c78: SWAP3
00002c79: PUSH1 0x20
00002c7b: SWAP1
00002c7c: SWAP2
00002c7d: ADD
00002c7e: CALLDATALOAD
00002c7f: SWAP2
00002c80: POP
00002c81: JUMP
00002c82: JUMPDEST
00002c83: PUSH16 0xffffffffffffffffffffffffffffffff
00002c94: DUP2
00002c95: AND
00002c96: DUP2
00002c97: EQ
00002c98: PUSH2 0x1d41
00002c9b: JUMPI
00002c9c: PUSH1 0x00
00002c9e: DUP1
00002c9f: REVERT
00002ca0: JUMPDEST
00002ca1: PUSH1 0x00
00002ca3: DUP1
00002ca4: PUSH1 0x00
00002ca6: PUSH1 0x60
00002ca8: DUP5
00002ca9: DUP7
00002caa: SUB
00002cab: SLT
00002cac: ISZERO
00002cad: PUSH2 0x2cb5
00002cb0: JUMPI
00002cb1: PUSH1 0x00
00002cb3: DUP1
00002cb4: REVERT
00002cb5: JUMPDEST
00002cb6: DUP4
00002cb7: CALLDATALOAD
00002cb8: PUSH2 0x2cc0
00002cbb: DUP2
00002cbc: PUSH2 0x2b23
00002cbf: JUMP
00002cc0: JUMPDEST
00002cc1: SWAP3
00002cc2: POP
00002cc3: PUSH1 0x20
00002cc5: DUP5
00002cc6: ADD
00002cc7: CALLDATALOAD
00002cc8: PUSH2 0x2cd0
00002ccb: DUP2
00002ccc: PUSH2 0x2c82
00002ccf: JUMP
00002cd0: JUMPDEST
00002cd1: SWAP2
00002cd2: POP
00002cd3: PUSH1 0x40
00002cd5: DUP5
00002cd6: ADD
00002cd7: CALLDATALOAD
00002cd8: PUSH2 0x2ce0
00002cdb: DUP2
00002cdc: PUSH2 0x2c82
00002cdf: JUMP
00002ce0: JUMPDEST
00002ce1: DUP1
00002ce2: SWAP2
00002ce3: POP
00002ce4: POP
00002ce5: SWAP3
00002ce6: POP
00002ce7: SWAP3
00002ce8: POP
00002ce9: SWAP3
00002cea: JUMP
00002ceb: JUMPDEST
00002cec: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d0d: PUSH1 0x00
00002d0f: MSTORE
00002d10: PUSH1 0x11
00002d12: PUSH1 0x04
00002d14: MSTORE
00002d15: PUSH1 0x24
00002d17: PUSH1 0x00
00002d19: REVERT
00002d1a: JUMPDEST
00002d1b: DUP2
00002d1c: DUP2
00002d1d: SUB
00002d1e: DUP2
00002d1f: DUP2
00002d20: GT
00002d21: ISZERO
00002d22: PUSH2 0x07a8
00002d25: JUMPI
00002d26: PUSH2 0x07a8
00002d29: PUSH2 0x2ceb
00002d2c: JUMP
00002d2d: JUMPDEST
00002d2e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d4f: PUSH1 0x00
00002d51: MSTORE
00002d52: PUSH1 0x32
00002d54: PUSH1 0x04
00002d56: MSTORE
00002d57: PUSH1 0x24
00002d59: PUSH1 0x00
00002d5b: REVERT
00002d5c: JUMPDEST
00002d5d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d7e: PUSH1 0x00
00002d80: MSTORE
00002d81: PUSH1 0x31
00002d83: PUSH1 0x04
00002d85: MSTORE
00002d86: PUSH1 0x24
00002d88: PUSH1 0x00
00002d8a: REVERT
00002d8b: JUMPDEST
00002d8c: PUSH1 0x00
00002d8e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002daf: DUP3
00002db0: SUB
00002db1: PUSH2 0x2dbc
00002db4: JUMPI
00002db5: PUSH2 0x2dbc
00002db8: PUSH2 0x2ceb
00002dbb: JUMP
00002dbc: JUMPDEST
00002dbd: POP
00002dbe: PUSH1 0x01
00002dc0: ADD
00002dc1: SWAP1
00002dc2: JUMP
00002dc3: JUMPDEST
00002dc4: PUSH16 0xffffffffffffffffffffffffffffffff
00002dd5: DUP2
00002dd6: DUP2
00002dd7: AND
00002dd8: DUP4
00002dd9: DUP3
00002dda: AND
00002ddb: ADD
00002ddc: SWAP1
00002ddd: DUP1
00002dde: DUP3
00002ddf: GT
00002de0: ISZERO
00002de1: PUSH2 0x289a
00002de4: JUMPI
00002de5: PUSH2 0x289a
00002de8: PUSH2 0x2ceb
00002deb: JUMP
00002dec: JUMPDEST
00002ded: PUSH16 0xffffffffffffffffffffffffffffffff
00002dfe: DUP3
00002dff: DUP2
00002e00: AND
00002e01: DUP3
00002e02: DUP3
00002e03: AND
00002e04: SUB
00002e05: SWAP1
00002e06: DUP1
00002e07: DUP3
00002e08: GT
00002e09: ISZERO
00002e0a: PUSH2 0x289a
00002e0d: JUMPI
00002e0e: PUSH2 0x289a
00002e11: PUSH2 0x2ceb
00002e14: JUMP
00002e15: JUMPDEST
00002e16: PUSH1 0x00
00002e18: JUMPDEST
00002e19: DUP4
00002e1a: DUP2
00002e1b: LT
00002e1c: ISZERO
00002e1d: PUSH2 0x2e30
00002e20: JUMPI
00002e21: DUP2
00002e22: DUP2
00002e23: ADD
00002e24: MLOAD
00002e25: DUP4
00002e26: DUP3
00002e27: ADD
00002e28: MSTORE
00002e29: PUSH1 0x20
00002e2b: ADD
00002e2c: PUSH2 0x2e18
00002e2f: JUMP
00002e30: JUMPDEST
00002e31: POP
00002e32: POP
00002e33: PUSH1 0x00
00002e35: SWAP2
00002e36: ADD
00002e37: MSTORE
00002e38: JUMP
00002e39: JUMPDEST
00002e3a: PUSH1 0x00
00002e3c: DUP2
00002e3d: MLOAD
00002e3e: DUP1
00002e3f: DUP5
00002e40: MSTORE
00002e41: PUSH2 0x2e51
00002e44: DUP2
00002e45: PUSH1 0x20
00002e47: DUP7
00002e48: ADD
00002e49: PUSH1 0x20
00002e4b: DUP7
00002e4c: ADD
00002e4d: PUSH2 0x2e15
00002e50: JUMP
00002e51: JUMPDEST
00002e52: PUSH1 0x1f
00002e54: ADD
00002e55: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002e76: AND
00002e77: SWAP3
00002e78: SWAP1
00002e79: SWAP3
00002e7a: ADD
00002e7b: PUSH1 0x20
00002e7d: ADD
00002e7e: SWAP3
00002e7f: SWAP2
00002e80: POP
00002e81: POP
00002e82: JUMP
00002e83: JUMPDEST
00002e84: PUSH1 0x40
00002e86: DUP2
00002e87: MSTORE
00002e88: PUSH1 0x24
00002e8a: PUSH1 0x40
00002e8c: DUP3
00002e8d: ADD
00002e8e: MSTORE
00002e8f: PUSH32 0x7365744e756d6265724f66426c6f636b73546f46696e616c697a652875696e74
00002eb0: PUSH1 0x60
00002eb2: DUP3
00002eb3: ADD
00002eb4: MSTORE
00002eb5: PUSH32 0x3235362900000000000000000000000000000000000000000000000000000000
00002ed6: PUSH1 0x80
00002ed8: DUP3
00002ed9: ADD
00002eda: MSTORE
00002edb: PUSH1 0xa0
00002edd: PUSH1 0x20
00002edf: DUP3
00002ee0: ADD
00002ee1: MSTORE
00002ee2: PUSH1 0x00
00002ee4: PUSH2 0x1330
00002ee7: PUSH1 0xa0
00002ee9: DUP4
00002eea: ADD
00002eeb: DUP5
00002eec: PUSH2 0x2e39
00002eef: JUMP
00002ef0: JUMPDEST
00002ef1: DUP1
00002ef2: DUP3
00002ef3: ADD
00002ef4: DUP1
00002ef5: DUP3
00002ef6: GT
00002ef7: ISZERO
00002ef8: PUSH2 0x07a8
00002efb: JUMPI
00002efc: PUSH2 0x07a8
00002eff: PUSH2 0x2ceb
00002f02: JUMP
00002f03: JUMPDEST
00002f04: DUP1
00002f05: MLOAD
00002f06: PUSH8 0xffffffffffffffff
00002f0f: DUP2
00002f10: AND
00002f11: DUP2
00002f12: EQ
00002f13: PUSH2 0x2b50
00002f16: JUMPI
00002f17: PUSH1 0x00
00002f19: DUP1
00002f1a: REVERT
00002f1b: JUMPDEST
00002f1c: DUP1
00002f1d: MLOAD
00002f1e: PUSH2 0x2b50
00002f21: DUP2
00002f22: PUSH2 0x2c82
00002f25: JUMP
00002f26: JUMPDEST
00002f27: PUSH1 0x00
00002f29: PUSH2 0x0100
00002f2c: DUP1
00002f2d: DUP4
00002f2e: DUP6
00002f2f: SUB
00002f30: SLT
00002f31: ISZERO
00002f32: PUSH2 0x2f3a
00002f35: JUMPI
00002f36: PUSH1 0x00
00002f38: DUP1
00002f39: REVERT
00002f3a: JUMPDEST
00002f3b: PUSH1 0x40
00002f3d: MLOAD
00002f3e: SWAP1
00002f3f: DUP2
00002f40: ADD
00002f41: SWAP1
00002f42: PUSH8 0xffffffffffffffff
00002f4b: DUP3
00002f4c: GT
00002f4d: DUP2
00002f4e: DUP4
00002f4f: LT
00002f50: OR
00002f51: ISZERO
00002f52: PUSH2 0x2f84
00002f55: JUMPI
00002f56: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f77: PUSH1 0x00
00002f79: MSTORE
00002f7a: PUSH1 0x41
00002f7c: PUSH1 0x04
00002f7e: MSTORE
00002f7f: PUSH1 0x24
00002f81: PUSH1 0x00
00002f83: REVERT
00002f84: JUMPDEST
00002f85: DUP2
00002f86: PUSH1 0x40
00002f88: MSTORE
00002f89: PUSH2 0x2f91
00002f8c: DUP5
00002f8d: PUSH2 0x2f03
00002f90: JUMP
00002f91: JUMPDEST
00002f92: DUP2
00002f93: MSTORE
00002f94: PUSH2 0x2f9f
00002f97: PUSH1 0x20
00002f99: DUP6
00002f9a: ADD
00002f9b: PUSH2 0x2f03
00002f9e: JUMP
00002f9f: JUMPDEST
00002fa0: PUSH1 0x20
00002fa2: DUP3
00002fa3: ADD
00002fa4: MSTORE
00002fa5: PUSH2 0x2fb0
00002fa8: PUSH1 0x40
00002faa: DUP6
00002fab: ADD
00002fac: PUSH2 0x2f03
00002faf: JUMP
00002fb0: JUMPDEST
00002fb1: PUSH1 0x40
00002fb3: DUP3
00002fb4: ADD
00002fb5: MSTORE
00002fb6: PUSH2 0x2fc1
00002fb9: PUSH1 0x60
00002fbb: DUP6
00002fbc: ADD
00002fbd: PUSH2 0x2f03
00002fc0: JUMP
00002fc1: JUMPDEST
00002fc2: PUSH1 0x60
00002fc4: DUP3
00002fc5: ADD
00002fc6: MSTORE
00002fc7: PUSH1 0x80
00002fc9: DUP5
00002fca: ADD
00002fcb: MLOAD
00002fcc: SWAP2
00002fcd: POP
00002fce: PUSH2 0x2fd6
00002fd1: DUP3
00002fd2: PUSH2 0x2c82
00002fd5: JUMP
00002fd6: JUMPDEST
00002fd7: DUP2
00002fd8: PUSH1 0x80
00002fda: DUP3
00002fdb: ADD
00002fdc: MSTORE
00002fdd: PUSH2 0x2fe8
00002fe0: PUSH1 0xa0
00002fe2: DUP6
00002fe3: ADD
00002fe4: PUSH2 0x2f1b
00002fe7: JUMP
00002fe8: JUMPDEST
00002fe9: PUSH1 0xa0
00002feb: DUP3
00002fec: ADD
00002fed: MSTORE
00002fee: PUSH2 0x2ff9
00002ff1: PUSH1 0xc0
00002ff3: DUP6
00002ff4: ADD
00002ff5: PUSH2 0x2f1b
00002ff8: JUMP
00002ff9: JUMPDEST
00002ffa: PUSH1 0xc0
00002ffc: DUP3
00002ffd: ADD
00002ffe: MSTORE
00002fff: PUSH2 0x300a
00003002: PUSH1 0xe0
00003004: DUP6
00003005: ADD
00003006: PUSH2 0x2f1b
00003009: JUMP
0000300a: JUMPDEST
0000300b: PUSH1 0xe0
0000300d: DUP3
0000300e: ADD
0000300f: MSTORE
00003010: SWAP5
00003011: SWAP4
00003012: POP
00003013: POP
00003014: POP
00003015: POP
00003016: JUMP
00003017: JUMPDEST
00003018: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
00003039: DUP2
0000303a: MSTORE
0000303b: PUSH1 0x00
0000303d: DUP4
0000303e: MLOAD
0000303f: PUSH2 0x304f
00003042: DUP2
00003043: PUSH1 0x17
00003045: DUP6
00003046: ADD
00003047: PUSH1 0x20
00003049: DUP9
0000304a: ADD
0000304b: PUSH2 0x2e15
0000304e: JUMP
0000304f: JUMPDEST
00003050: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000
00003071: PUSH1 0x17
00003073: SWAP2
00003074: DUP5
00003075: ADD
00003076: SWAP2
00003077: DUP3
00003078: ADD
00003079: MSTORE
0000307a: DUP4
0000307b: MLOAD
0000307c: PUSH2 0x308c
0000307f: DUP2
00003080: PUSH1 0x28
00003082: DUP5
00003083: ADD
00003084: PUSH1 0x20
00003086: DUP9
00003087: ADD
00003088: PUSH2 0x2e15
0000308b: JUMP
0000308c: JUMPDEST
0000308d: ADD
0000308e: PUSH1 0x28
00003090: ADD
00003091: SWAP5
00003092: SWAP4
00003093: POP
00003094: POP
00003095: POP
00003096: POP
00003097: JUMP
00003098: JUMPDEST
00003099: PUSH1 0x20
0000309b: DUP2
0000309c: MSTORE
0000309d: PUSH1 0x00
0000309f: PUSH2 0x1330
000030a2: PUSH1 0x20
000030a4: DUP4
000030a5: ADD
000030a6: DUP5
000030a7: PUSH2 0x2e39
000030aa: JUMP
000030ab: JUMPDEST
000030ac: PUSH1 0x00
000030ae: PUSH1 0x20
000030b0: DUP3
000030b1: DUP5
000030b2: SUB
000030b3: SLT
000030b4: ISZERO
000030b5: PUSH2 0x30bd
000030b8: JUMPI
000030b9: PUSH1 0x00
000030bb: DUP1
000030bc: REVERT
000030bd: JUMPDEST
000030be: DUP2
000030bf: MLOAD
000030c0: DUP1
000030c1: ISZERO
000030c2: ISZERO
000030c3: DUP2
000030c4: EQ
000030c5: PUSH2 0x1330
000030c8: JUMPI
000030c9: PUSH1 0x00
000030cb: DUP1
000030cc: REVERT
000030cd: JUMPDEST
000030ce: DUP1
000030cf: DUP3
000030d0: MUL
000030d1: DUP2
000030d2: ISZERO
000030d3: DUP3
000030d4: DUP3
000030d5: DIV
000030d6: DUP5
000030d7: EQ
000030d8: OR
000030d9: PUSH2 0x07a8
000030dc: JUMPI
000030dd: PUSH2 0x07a8
000030e0: PUSH2 0x2ceb
000030e3: JUMP
000030e4: JUMPDEST
000030e5: PUSH1 0x00
000030e7: DUP2
000030e8: PUSH2 0x30f3
000030eb: JUMPI
000030ec: PUSH2 0x30f3
000030ef: PUSH2 0x2ceb
000030f2: JUMP
000030f3: JUMPDEST
000030f4: POP
000030f5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003116: ADD
00003117: SWAP1
00003118: JUMP
00003119: JUMPDEST
0000311a: PUSH1 0x00
0000311c: DUP3
0000311d: MLOAD
0000311e: PUSH2 0x312b
00003121: DUP2
00003122: DUP5
00003123: PUSH1 0x20
00003125: DUP8
00003126: ADD
00003127: PUSH2 0x2e15
0000312a: JUMP
0000312b: JUMPDEST
0000312c: SWAP2
0000312d: SWAP1
0000312e: SWAP2
0000312f: ADD
00003130: SWAP3
00003131: SWAP2
00003132: POP
00003133: POP
00003134: JUMP
00003135: INVALID
00003136: LOG2
00003137: PUSH5 0x6970667358
0000313d: UNKNOWN(0x22)
0000313e: SLT
0000313f: KECCAK256
00003140: UNKNOWN(0xEC)
00003141: SAR
00003142: UNKNOWN(0xDA)
00003143: UNKNOWN(0xD0)
00003144: DUP2
00003145: PUSH31 0x188696169f9f1509d86834039ef60b7736295c0b44219de2081764736f6c63
00003165: NUMBER
00003166: STOP
00003167: ADDMOD
00003168: EQ
00003169: STOP
0000316a: CALLER