Analysis Run

[codex:537565] OpenAI Codex v0.77.0 (research preview)
[codex:537565] --------
[codex:537565] workdir: /tmp/codex-multi-g_jjqw99
[codex:537565] model: gpt-5.2-codex
[codex:537565] provider: openai
[codex:537565] approval: never
[codex:537565] sandbox: read-only
[codex:537565] reasoning effort: xhigh
[codex:537565] reasoning summaries: auto
[codex:537565] session id: 019b7ccc-612a-79d2-85e4-586032cad816
[codex:537565] --------
[codex:537565] user
[codex:537565] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:537565] 
[codex:537565] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:537565] 
[codex:537565] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:537565] - Gas inefficiency, code quality, naming, or best practices
[codex:537565] - Theoretical vulnerabilities without a clear extraction path
[codex:537565] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:537565] - Front-running unless it enables theft beyond MEV
[codex:537565] - DoS, griefing, or issues that don't result in attacker profit
[codex:537565] - Missing events, view function issues, or informational findings
[codex:537565] 
[codex:537565] HIGH-VALUE PATTERNS TO HUNT:
[codex:537565] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:537565] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:537565] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:537565] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:537565] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:537565] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:537565] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:537565] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:537565] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:537565] 
[codex:537565] For each finding, you MUST provide:
[codex:537565] 1. Exact file and line numbers of vulnerable code
[codex:537565] 2. Step-by-step exploit transaction sequence
[codex:537565] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:537565] 
[codex:537565] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:537565] 
[codex:537565] Output MUST be valid JSON matching the provided schema.
[codex:537565] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:537565] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:537565] mcp startup: no servers
[codex:537565] 
[codex:537565] thinking
[codex:537565] **Listing files to locate AUDIT_BUNDLE.txt**
[codex:537565] exec
[codex:537565] /bin/bash -lc ls in /tmp/codex-multi-g_jjqw99 succeeded in 6ms:
[codex:537565] AUDIT_BUNDLE.txt
[codex:537565] codex-output-schema.json
[codex:537565] contracts
[codex:537565] 
[codex:537565] thinking
[codex:537565] **Reading AUDIT_BUNDLE.txt**
[codex:537565] exec
[codex:537565] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-g_jjqw99 succeeded in 5ms:
[codex:537565] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:537565] 
[codex:537565] ================================================================================
[codex:537565] FILE: contracts/contracts/Decoder.sol
[codex:537565] ================================================================================
[codex:537565] // SPDX-License-Identifier: GPL-2.0-only
[codex:537565] // Copyright 2020 Spilsbury Holdings Ltd
[codex:537565] pragma solidity >=0.6.10 <0.8.0;
[codex:537565] 
[codex:537565] import {SafeMath} from '@openzeppelin/contracts/math/SafeMath.sol';
[codex:537565] import {Types} from './verifier/cryptography/Types.sol';
[codex:537565] import {Bn254Crypto} from './verifier/cryptography/Bn254Crypto.sol';
[codex:537565] 
[codex:537565] contract Decoder {
[codex:537565]     using SafeMath for uint256;
[codex:537565] 
[codex:537565]     /**
[codex:537565]      * @dev Decode the public inputs component of proofData. Required to update state variables
[codex:537565]      * @param proofData - cryptographic proofData associated with a rollup
[codex:537565]      */
[codex:537565] 
[codex:537565] thinking
[codex:537565] **Searching for withdrawal logic**
[codex:537565] exec
[codex:537565] /bin/bash -lc 'rg -n "withdraw" -n contracts/contracts/RollupProcessor.sol' in /tmp/codex-multi-g_jjqw99 succeeded in 6ms:
[codex:537565] 51:    event Withdraw(uint256 assetId, address withdrawAddress, uint256 withdrawValue);
[codex:537565] 533:     * @dev Process deposits and withdrawls.
[codex:537565] 552:        // This is a bit of a hot loop, we iterate over every tx to determine whether to process deposits or withdrawals.
[codex:537565] 563:                // only process deposits and withdrawals iff
[codex:537565] 616:                    withdraw(publicOutput, outputOwner, assetId);
[codex:537565] 642:     * @dev Internal utility function to withdraw funds from the contract to a receiver address
[codex:537565] 643:     * @param withdrawValue - value being withdrawn from the contract
[codex:537565] 645:     * @param assetId - ID of the asset for which a withdrawl is being performed
[codex:537565] 647:    function withdraw(
[codex:537565] 648:        uint256 withdrawValue,
[codex:537565] 655:            // griefing attacks, as engineering a failed withdrawal will invalidate an entire rollup block
[codex:537565] 656:            payable(receiverAddress).call{gas: 30000, value: withdrawValue}('');
[codex:537565] 659:            IERC20(assetAddress).transfer(receiverAddress, withdrawValue);
[codex:537565] 661:        totalWithdrawn[assetId] = totalWithdrawn[assetId].add(withdrawValue);
[codex:537565] 
[codex:537565] thinking
[codex:537565] **Opening relevant functions for review**
[codex:537565] exec
[codex:537565] /bin/bash -lc "sed -n '500,720p' contracts/contracts/RollupProcessor.sol" in /tmp/codex-multi-g_jjqw99 succeeded in 5ms:
[codex:537565]             // 2: dataStartIndex
[codex:537565]             // 3: numTxs
[codex:537565]             uint256[4] memory nums,
[codex:537565]             bytes32 oldDataRoot,
[codex:537565]             bytes32 newDataRoot,
[codex:537565]             bytes32 oldNullRoot,
[codex:537565]             bytes32 newNullRoot,
[codex:537565]             bytes32 oldRootRoot,
[codex:537565]             bytes32 newRootRoot
[codex:537565]         ) = decodeProof(proofData, numberOfAssets);
[codex:537565] 
[codex:537565]         // Escape hatch denominated by a rollup size of 0, which means inserting 2 new entries.
[codex:537565]         nums[3] = nums[1] == 0 ? 1 : nums[1];
[codex:537565] 
[codex:537565]         // Ensure we are inserting at the next subtree boundary.
[codex:537565]         uint256 toInsert = nums[3].mul(2);
[codex:537565]         if (dataSize % toInsert == 0) {
[codex:537565]             require(nums[2] == dataSize, 'Rollup Processor: INCORRECT_DATA_START_INDEX');
[codex:537565]         } else {
[codex:537565]             uint256 expected = dataSize + toInsert - (dataSize % toInsert);
[codex:537565] 
[codex:537565] thinking
[codex:537565] **Planning to analyze RollupProcessor**
[codex:537565] exec
[codex:537565] /bin/bash -lc "sed -n '1,520p' contracts/contracts/RollupProcessor.sol" in /tmp/codex-multi-g_jjqw99 succeeded in 5ms:
[codex:537565] // SPDX-License-Identifier: GPL-2.0-only
[codex:537565] // Copyright 2020 Spilsbury Holdings Ltd.
[codex:537565] pragma solidity >=0.6.10 <0.8.0;
[codex:537565] 
[codex:537565] import {IERC20} from '@openzeppelin/contracts/token/ERC20/IERC20.sol';
[codex:537565] import {Ownable} from '@openzeppelin/contracts/access/Ownable.sol';
[codex:537565] import {Pausable} from '@openzeppelin/contracts/utils/Pausable.sol';
[codex:537565] import {SafeMath} from '@openzeppelin/contracts/math/SafeMath.sol';
[codex:537565] 
[codex:537565] import {IVerifier} from './interfaces/IVerifier.sol';
[codex:537565] import {IRollupProcessor} from './interfaces/IRollupProcessor.sol';
[codex:537565] import {IFeeDistributor} from './interfaces/IFeeDistributor.sol';
[codex:537565] import {IERC20Permit} from './interfaces/IERC20Permit.sol';
[codex:537565] import {Decoder} from './Decoder.sol';
[codex:537565] import './libraries/RollupProcessorLibrary.sol';
[codex:537565] 
[codex:537565] /**
[codex:537565]  * @title Rollup Processor
[codex:537565]  * @dev Smart contract responsible for processing Aztec zkRollups, including relaying them to a verifier
[codex:537565]  * contract for validation and performing all relevant ERC20 token transfers
[codex:537565] 
[codex:537565] thinking
[codex:537565] **Searching for other contracts**
[codex:537565] exec
[codex:537565] /bin/bash -lc 'rg --files contracts/contracts' in /tmp/codex-multi-g_jjqw99 succeeded in 9ms:
[codex:537565] contracts/contracts/RollupProcessor.sol
[codex:537565] contracts/contracts/interfaces/IRollupProcessor.sol
[codex:537565] contracts/contracts/interfaces/IFeeDistributor.sol
[codex:537565] contracts/contracts/interfaces/IVerifier.sol
[codex:537565] contracts/contracts/interfaces/IERC20Permit.sol
[codex:537565] contracts/contracts/Decoder.sol
[codex:537565] contracts/contracts/libraries/RollupProcessorLibrary.sol
[codex:537565] contracts/contracts/verifier/cryptography/Bn254Crypto.sol
[codex:537565] contracts/contracts/verifier/cryptography/Types.sol
[codex:537565] 
[codex:537565] thinking
[codex:537565] **Checking for IFeeDistributor**
[codex:537565] exec
[codex:537565] /bin/bash -lc 'cat contracts/contracts/interfaces/IFeeDistributor.sol' in /tmp/codex-multi-g_jjqw99 succeeded in 5ms:
[codex:537565] // SPDX-License-Identifier: GPL-2.0-only
[codex:537565] // Copyright 2020 Spilsbury Holdings Ltd
[codex:537565] pragma solidity >=0.6.10 <0.8.0;
[codex:537565] 
[codex:537565] interface IFeeDistributor {
[codex:537565]     event FeeReimbursed(address receiver, uint256 amount);
[codex:537565] 
[codex:537565]     function txFeeBalance(uint256 assetId) external view returns (uint256);
[codex:537565] 
[codex:537565]     function deposit(uint256 assetId, uint256 amount) external payable returns (uint256 depositedAmount);
[codex:537565] 
[codex:537565]     function reimburseGas(
[codex:537565]         uint256 gasUsed,
[codex:537565]         uint256 feeLimit,
[codex:537565]         address payable feeReceiver
[codex:537565]     ) external returns (uint256 reimbursement);
[codex:537565] }
[codex:537565] 
[codex:537565] thinking
[codex:537565] **Checking IERC20Permit interface**
[codex:537565] exec
[codex:537565] /bin/bash -lc 'cat contracts/contracts/interfaces/IERC20Permit.sol' in /tmp/codex-multi-g_jjqw99 succeeded in 6ms:
[codex:537565] // SPDX-License-Identifier: GPL-2.0-only
[codex:537565] // Copyright 2020 Spilsbury Holdings Ltd
[codex:537565] pragma solidity >=0.6.10 <0.8.0;
[codex:537565] 
[codex:537565] import {IERC20} from '@openzeppelin/contracts/token/ERC20/IERC20.sol';
[codex:537565] 
[codex:537565] interface IERC20Permit is IERC20 {
[codex:537565]     function nonces(address user) external view returns (uint256);
[codex:537565] 
[codex:537565]     function permit(
[codex:537565]         address owner,
[codex:537565]         address spender,
[codex:537565]         uint256 value,
[codex:537565]         uint256 deadline,
[codex:537565]         uint8 v,
[codex:537565]         bytes32 r,
[codex:537565]         bytes32 s
[codex:537565]     ) external;
[codex:537565] }
[codex:537565] 
[codex:537565] 
[codex:537565] 
[codex:537565] 
[codex:537565] 
[codex:537565] 
[codex:537565] thinking
[codex:537565] **Evaluating RollupProcessor security risks**
[codex:537565] thinking
[codex:537565] **Continuing detailed contract vulnerability analysis**
[codex:537565] 
[codex:537565] I’m parsing deeper into token fee mechanics, memory reading edge cases, signature handling, reentrancy scenarios, and proof verification logic to see if any subtle issues let an attacker profit or cause denial of service. I’m carefully weighing if flaws allow repeated draining or signature replay and exploring how contract state updates protect against double spends or exploit attempts. There is a lot here, so I’m tracking each potential risk with close attention to contract assumptions and on-chain constraints.
[codex:537565] thinking
[codex:537565] **Examining proofData length and memory reading risks**
[codex:537565] 
[codex:537565] I'm exploring how the contract handles proofData length versus expected transaction counts, focusing on whether out-of-bounds memory reads could let an attacker trick the system into processing fake deposit or withdrawal transactions not included in the valid proof. This hinges on interaction between calldata length, verifier behavior, and memory layout of proofData and signatures—there’s a subtle risk if proofData is shorter than expected but still accepted by the verifier, enabling memory reads beyond proofData into attacker-controlled areas.
[codex:537565] thinking
[codex:537565] **Analyzing proofData structure and verifier constraints**
[codex:537565] 
[codex:537565] I'm digging into how proofData is composed of rollup public inputs, per-transaction inputs, and proof elements, noting that valid proofs require exact lengths so truncation or shifting data isn’t feasible without breaking verification. The subtle interplay means out-of-bounds reads in processDepositsAndWithdrawals probably can’t be exploited because the verifier enforces proofData format and length, ensuring no memory mismatch exploitable by attackers.
[codex:537565] thinking
[codex:537565] **Evaluating signature handling and memory layout**
[codex:537565] 
[codex:537565] I'm examining how signatures are processed in memory, focusing on the clever technique of reusing memory slots to represent each signature as a bytes array without explicit length prefixes, and verifying that length and pointer arithmetic appear correct. Despite some complexity, this approach seems sound, and no immediate vulnerability emerges from signature handling or replay, but I'll prepare a detailed JSON report since no direct profit exploits were found.
[codex:537565] thinking
[codex:537565] **Preparing final JSON output**
[codex:537565] codex
[codex:537565] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt under the stated threat model.","findings":[]}
[codex:537565] tokens used
[codex:537565] 45,427
[codex:537565] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt under the stated threat model.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T03:47:28.395031+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt under the stated threat model.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt under the stated threat model.",
        "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 0x027d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x94401d75
00000019: GT
0000001a: PUSH2 0x014f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd1d2d95e
00000024: GT
00000025: PUSH2 0x00c1
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe5406dbf
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe5406dbf
0000003a: EQ
0000003b: PUSH2 0x0b13
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe70626e6
00000045: EQ
00000046: PUSH2 0x0b28
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xedf49c09
00000050: EQ
00000051: PUSH2 0x0b3d
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xef76e2ee
0000005b: EQ
0000005c: PUSH2 0x0b52
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf0e7e29b
00000066: EQ
00000067: PUSH2 0x0b8d
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xf2fde38b
00000071: EQ
00000072: PUSH2 0x0ba2
00000075: JUMPI
00000076: PUSH2 0x027d
00000079: JUMP
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xd1d2d95e
00000081: EQ
00000082: PUSH2 0x0a39
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd28bbda5
0000008c: EQ
0000008d: PUSH2 0x0a6b
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd6ae3284
00000097: EQ
00000098: PUSH2 0x0a95
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xd8ba3637
000000a2: EQ
000000a3: PUSH2 0x0abf
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xe059d807
000000ad: EQ
000000ae: PUSH2 0x0ad4
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xe3936355
000000b8: EQ
000000b9: PUSH2 0x0ae9
000000bc: JUMPI
000000bd: PUSH2 0x027d
000000c0: JUMP
000000c1: JUMPDEST
000000c2: DUP1
000000c3: PUSH4 0xb68ef559
000000c8: GT
000000c9: PUSH2 0x0113
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xb68ef559
000000d3: EQ
000000d4: PUSH2 0x0852
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xbe71f8a4
000000de: EQ
000000df: PUSH2 0x0867
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xc68dbb37
000000e9: EQ
000000ea: PUSH2 0x0897
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xc6c62390
000000f4: EQ
000000f5: PUSH2 0x08c1
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xccfc2e8d
000000ff: EQ
00000100: PUSH2 0x08eb
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0xd1c65264
0000010a: EQ
0000010b: PUSH2 0x091e
0000010e: JUMPI
0000010f: PUSH2 0x027d
00000112: JUMP
00000113: JUMPDEST
00000114: DUP1
00000115: PUSH4 0x94401d75
0000011a: EQ
0000011b: PUSH2 0x07b0
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0xa009f7e4
00000125: EQ
00000126: PUSH2 0x07c5
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0xa3d205f4
00000130: EQ
00000131: PUSH2 0x07ef
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0xae35bfc2
0000013b: EQ
0000013c: PUSH2 0x0828
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0xb045009c
00000146: EQ
00000147: PUSH2 0x083d
0000014a: JUMPI
0000014b: PUSH2 0x027d
0000014e: JUMP
0000014f: JUMPDEST
00000150: DUP1
00000151: PUSH4 0x5437988d
00000156: GT
00000157: PUSH2 0x01f3
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x6dff3584
00000161: GT
00000162: PUSH2 0x01ac
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x6dff3584
0000016c: EQ
0000016d: PUSH2 0x06e8
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x715018a6
00000177: EQ
00000178: PUSH2 0x06fd
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x781e0432
00000182: EQ
00000183: PUSH2 0x0712
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x89404a79
0000018d: EQ
0000018e: PUSH2 0x074b
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x8da5cb5b
00000198: EQ
00000199: PUSH2 0x0760
0000019c: JUMPI
0000019d: DUP1
0000019e: PUSH4 0x91dfe78f
000001a3: EQ
000001a4: PUSH2 0x0775
000001a7: JUMPI
000001a8: PUSH2 0x027d
000001ab: JUMP
000001ac: JUMPDEST
000001ad: DUP1
000001ae: PUSH4 0x5437988d
000001b3: EQ
000001b4: PUSH2 0x0605
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x5ad1def3
000001be: EQ
000001bf: PUSH2 0x0638
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x5c975abb
000001c9: EQ
000001ca: PUSH2 0x067f
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x60a8b18a
000001d4: EQ
000001d5: PUSH2 0x0694
000001d8: JUMPI
000001d9: DUP1
000001da: PUSH4 0x626e1ae7
000001df: EQ
000001e0: PUSH2 0x06be
000001e3: JUMPI
000001e4: DUP1
000001e5: PUSH4 0x66535f30
000001ea: EQ
000001eb: PUSH2 0x06d3
000001ee: JUMPI
000001ef: PUSH2 0x027d
000001f2: JUMP
000001f3: JUMPDEST
000001f4: DUP1
000001f5: PUSH4 0x36ce0a92
000001fa: GT
000001fb: PUSH2 0x0245
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x36ce0a92
00000205: EQ
00000206: PUSH2 0x04e1
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x408ccbdf
00000210: EQ
00000211: PUSH2 0x051a
00000214: JUMPI
00000215: DUP1
00000216: PUSH4 0x44c51252
0000021b: EQ
0000021c: PUSH2 0x0544
0000021f: JUMPI
00000220: DUP1
00000221: PUSH4 0x479b3d95
00000226: EQ
00000227: PUSH2 0x0559
0000022a: JUMPI
0000022b: DUP1
0000022c: PUSH4 0x47a695a7
00000231: EQ
00000232: PUSH2 0x058b
00000235: JUMPI
00000236: DUP1
00000237: PUSH4 0x49ce468d
0000023c: EQ
0000023d: PUSH2 0x05f0
00000240: JUMPI
00000241: PUSH2 0x027d
00000244: JUMP
00000245: JUMPDEST
00000246: DUP1
00000247: PUSH4 0x018892ac
0000024c: EQ
0000024d: PUSH2 0x0282
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x06011a46
00000257: EQ
00000258: PUSH2 0x02f0
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0x0d43e8ad
00000262: EQ
00000263: PUSH2 0x0474
00000266: JUMPI
00000267: DUP1
00000268: PUSH4 0x2b7ac3f3
0000026d: EQ
0000026e: PUSH2 0x04a5
00000271: JUMPI
00000272: DUP1
00000273: PUSH4 0x3248295f
00000278: EQ
00000279: PUSH2 0x04ba
0000027c: JUMPI
0000027d: JUMPDEST
0000027e: PUSH1 0x00
00000280: DUP1
00000281: REVERT
00000282: JUMPDEST
00000283: CALLVALUE
00000284: DUP1
00000285: ISZERO
00000286: PUSH2 0x028e
00000289: JUMPI
0000028a: PUSH1 0x00
0000028c: DUP1
0000028d: REVERT
0000028e: JUMPDEST
0000028f: POP
00000290: PUSH2 0x02ee
00000293: PUSH1 0x04
00000295: DUP1
00000296: CALLDATASIZE
00000297: SUB
00000298: PUSH2 0x0120
0000029b: DUP2
0000029c: LT
0000029d: ISZERO
0000029e: PUSH2 0x02a6
000002a1: JUMPI
000002a2: PUSH1 0x00
000002a4: DUP1
000002a5: REVERT
000002a6: JUMPDEST
000002a7: POP
000002a8: DUP1
000002a9: CALLDATALOAD
000002aa: SWAP1
000002ab: PUSH1 0x20
000002ad: DUP2
000002ae: ADD
000002af: CALLDATALOAD
000002b0: SWAP1
000002b1: PUSH1 0x01
000002b3: PUSH1 0x01
000002b5: PUSH1 0xa0
000002b7: SHL
000002b8: SUB
000002b9: PUSH1 0x40
000002bb: DUP3
000002bc: ADD
000002bd: CALLDATALOAD
000002be: DUP2
000002bf: AND
000002c0: SWAP2
000002c1: PUSH1 0x60
000002c3: DUP2
000002c4: ADD
000002c5: CALLDATALOAD
000002c6: SWAP1
000002c7: SWAP2
000002c8: AND
000002c9: SWAP1
000002ca: PUSH1 0x80
000002cc: DUP2
000002cd: ADD
000002ce: CALLDATALOAD
000002cf: SWAP1
000002d0: PUSH1 0xa0
000002d2: DUP2
000002d3: ADD
000002d4: CALLDATALOAD
000002d5: SWAP1
000002d6: PUSH1 0xff
000002d8: PUSH1 0xc0
000002da: DUP3
000002db: ADD
000002dc: CALLDATALOAD
000002dd: AND
000002de: SWAP1
000002df: PUSH1 0xe0
000002e1: DUP2
000002e2: ADD
000002e3: CALLDATALOAD
000002e4: SWAP1
000002e5: PUSH2 0x0100
000002e8: ADD
000002e9: CALLDATALOAD
000002ea: PUSH2 0x0bd5
000002ed: JUMP
000002ee: JUMPDEST
000002ef: STOP
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: DUP1
000002f3: ISZERO
000002f4: PUSH2 0x02fc
000002f7: JUMPI
000002f8: PUSH1 0x00
000002fa: DUP1
000002fb: REVERT
000002fc: JUMPDEST
000002fd: POP
000002fe: PUSH2 0x02ee
00000301: PUSH1 0x04
00000303: DUP1
00000304: CALLDATASIZE
00000305: SUB
00000306: PUSH1 0xe0
00000308: DUP2
00000309: LT
0000030a: ISZERO
0000030b: PUSH2 0x0313
0000030e: JUMPI
0000030f: PUSH1 0x00
00000311: DUP1
00000312: REVERT
00000313: JUMPDEST
00000314: DUP2
00000315: ADD
00000316: SWAP1
00000317: PUSH1 0x20
00000319: DUP2
0000031a: ADD
0000031b: DUP2
0000031c: CALLDATALOAD
0000031d: PUSH1 0x01
0000031f: PUSH1 0x20
00000321: SHL
00000322: DUP2
00000323: GT
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: DUP3
0000032f: ADD
00000330: DUP4
00000331: PUSH1 0x20
00000333: DUP3
00000334: ADD
00000335: GT
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: DUP1
00000341: CALLDATALOAD
00000342: SWAP1
00000343: PUSH1 0x20
00000345: ADD
00000346: SWAP2
00000347: DUP5
00000348: PUSH1 0x01
0000034a: DUP4
0000034b: MUL
0000034c: DUP5
0000034d: ADD
0000034e: GT
0000034f: PUSH1 0x01
00000351: PUSH1 0x20
00000353: SHL
00000354: DUP4
00000355: GT
00000356: OR
00000357: ISZERO
00000358: PUSH2 0x0360
0000035b: JUMPI
0000035c: PUSH1 0x00
0000035e: DUP1
0000035f: REVERT
00000360: JUMPDEST
00000361: SWAP2
00000362: SWAP4
00000363: SWAP1
00000364: SWAP3
00000365: SWAP1
00000366: SWAP2
00000367: PUSH1 0x20
00000369: DUP2
0000036a: ADD
0000036b: SWAP1
0000036c: CALLDATALOAD
0000036d: PUSH1 0x01
0000036f: PUSH1 0x20
00000371: SHL
00000372: DUP2
00000373: GT
00000374: ISZERO
00000375: PUSH2 0x037d
00000378: JUMPI
00000379: PUSH1 0x00
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: DUP3
0000037f: ADD
00000380: DUP4
00000381: PUSH1 0x20
00000383: DUP3
00000384: ADD
00000385: GT
00000386: ISZERO
00000387: PUSH2 0x038f
0000038a: JUMPI
0000038b: PUSH1 0x00
0000038d: DUP1
0000038e: REVERT
0000038f: JUMPDEST
00000390: DUP1
00000391: CALLDATALOAD
00000392: SWAP1
00000393: PUSH1 0x20
00000395: ADD
00000396: SWAP2
00000397: DUP5
00000398: PUSH1 0x01
0000039a: DUP4
0000039b: MUL
0000039c: DUP5
0000039d: ADD
0000039e: GT
0000039f: PUSH1 0x01
000003a1: PUSH1 0x20
000003a3: SHL
000003a4: DUP4
000003a5: GT
000003a6: OR
000003a7: ISZERO
000003a8: PUSH2 0x03b0
000003ab: JUMPI
000003ac: PUSH1 0x00
000003ae: DUP1
000003af: REVERT
000003b0: JUMPDEST
000003b1: SWAP2
000003b2: SWAP4
000003b3: SWAP1
000003b4: SWAP3
000003b5: SWAP1
000003b6: SWAP2
000003b7: PUSH1 0x20
000003b9: DUP2
000003ba: ADD
000003bb: SWAP1
000003bc: CALLDATALOAD
000003bd: PUSH1 0x01
000003bf: PUSH1 0x20
000003c1: SHL
000003c2: DUP2
000003c3: GT
000003c4: ISZERO
000003c5: PUSH2 0x03cd
000003c8: JUMPI
000003c9: PUSH1 0x00
000003cb: DUP1
000003cc: REVERT
000003cd: JUMPDEST
000003ce: DUP3
000003cf: ADD
000003d0: DUP4
000003d1: PUSH1 0x20
000003d3: DUP3
000003d4: ADD
000003d5: GT
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: DUP1
000003e1: CALLDATALOAD
000003e2: SWAP1
000003e3: PUSH1 0x20
000003e5: ADD
000003e6: SWAP2
000003e7: DUP5
000003e8: PUSH1 0x01
000003ea: DUP4
000003eb: MUL
000003ec: DUP5
000003ed: ADD
000003ee: GT
000003ef: PUSH1 0x01
000003f1: PUSH1 0x20
000003f3: SHL
000003f4: DUP4
000003f5: GT
000003f6: OR
000003f7: ISZERO
000003f8: PUSH2 0x0400
000003fb: JUMPI
000003fc: PUSH1 0x00
000003fe: DUP1
000003ff: REVERT
00000400: JUMPDEST
00000401: SWAP2
00000402: SWAP4
00000403: SWAP1
00000404: SWAP3
00000405: SWAP1
00000406: SWAP2
00000407: PUSH1 0x20
00000409: DUP2
0000040a: ADD
0000040b: SWAP1
0000040c: CALLDATALOAD
0000040d: PUSH1 0x01
0000040f: PUSH1 0x20
00000411: SHL
00000412: DUP2
00000413: GT
00000414: ISZERO
00000415: PUSH2 0x041d
00000418: JUMPI
00000419: PUSH1 0x00
0000041b: DUP1
0000041c: REVERT
0000041d: JUMPDEST
0000041e: DUP3
0000041f: ADD
00000420: DUP4
00000421: PUSH1 0x20
00000423: DUP3
00000424: ADD
00000425: GT
00000426: ISZERO
00000427: PUSH2 0x042f
0000042a: JUMPI
0000042b: PUSH1 0x00
0000042d: DUP1
0000042e: REVERT
0000042f: JUMPDEST
00000430: DUP1
00000431: CALLDATALOAD
00000432: SWAP1
00000433: PUSH1 0x20
00000435: ADD
00000436: SWAP2
00000437: DUP5
00000438: PUSH1 0x01
0000043a: DUP4
0000043b: MUL
0000043c: DUP5
0000043d: ADD
0000043e: GT
0000043f: PUSH1 0x01
00000441: PUSH1 0x20
00000443: SHL
00000444: DUP4
00000445: GT
00000446: OR
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: SWAP2
00000452: SWAP4
00000453: POP
00000454: SWAP2
00000455: POP
00000456: PUSH1 0x01
00000458: PUSH1 0x01
0000045a: PUSH1 0xa0
0000045c: SHL
0000045d: SUB
0000045e: DUP2
0000045f: CALLDATALOAD
00000460: DUP2
00000461: AND
00000462: SWAP2
00000463: PUSH1 0x20
00000465: DUP2
00000466: ADD
00000467: CALLDATALOAD
00000468: SWAP1
00000469: SWAP2
0000046a: AND
0000046b: SWAP1
0000046c: PUSH1 0x40
0000046e: ADD
0000046f: CALLDATALOAD
00000470: PUSH2 0x0cd8
00000473: JUMP
00000474: JUMPDEST
00000475: CALLVALUE
00000476: DUP1
00000477: ISZERO
00000478: PUSH2 0x0480
0000047b: JUMPI
0000047c: PUSH1 0x00
0000047e: DUP1
0000047f: REVERT
00000480: JUMPDEST
00000481: POP
00000482: PUSH2 0x0489
00000485: PUSH2 0x106c
00000488: JUMP
00000489: JUMPDEST
0000048a: PUSH1 0x40
0000048c: DUP1
0000048d: MLOAD
0000048e: PUSH1 0x01
00000490: PUSH1 0x01
00000492: PUSH1 0xa0
00000494: SHL
00000495: SUB
00000496: SWAP1
00000497: SWAP3
00000498: AND
00000499: DUP3
0000049a: MSTORE
0000049b: MLOAD
0000049c: SWAP1
0000049d: DUP2
0000049e: SWAP1
0000049f: SUB
000004a0: PUSH1 0x20
000004a2: ADD
000004a3: SWAP1
000004a4: RETURN
000004a5: JUMPDEST
000004a6: CALLVALUE
000004a7: DUP1
000004a8: ISZERO
000004a9: PUSH2 0x04b1
000004ac: JUMPI
000004ad: PUSH1 0x00
000004af: DUP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: POP
000004b3: PUSH2 0x0489
000004b6: PUSH2 0x107b
000004b9: JUMP
000004ba: JUMPDEST
000004bb: CALLVALUE
000004bc: DUP1
000004bd: ISZERO
000004be: PUSH2 0x04c6
000004c1: JUMPI
000004c2: PUSH1 0x00
000004c4: DUP1
000004c5: REVERT
000004c6: JUMPDEST
000004c7: POP
000004c8: PUSH2 0x04cf
000004cb: PUSH2 0x108a
000004ce: JUMP
000004cf: JUMPDEST
000004d0: PUSH1 0x40
000004d2: DUP1
000004d3: MLOAD
000004d4: SWAP2
000004d5: DUP3
000004d6: MSTORE
000004d7: MLOAD
000004d8: SWAP1
000004d9: DUP2
000004da: SWAP1
000004db: SUB
000004dc: PUSH1 0x20
000004de: ADD
000004df: SWAP1
000004e0: RETURN
000004e1: JUMPDEST
000004e2: CALLVALUE
000004e3: DUP1
000004e4: ISZERO
000004e5: PUSH2 0x04ed
000004e8: JUMPI
000004e9: PUSH1 0x00
000004eb: DUP1
000004ec: REVERT
000004ed: JUMPDEST
000004ee: POP
000004ef: PUSH2 0x04cf
000004f2: PUSH1 0x04
000004f4: DUP1
000004f5: CALLDATASIZE
000004f6: SUB
000004f7: PUSH1 0x40
000004f9: DUP2
000004fa: LT
000004fb: ISZERO
000004fc: PUSH2 0x0504
000004ff: JUMPI
00000500: PUSH1 0x00
00000502: DUP1
00000503: REVERT
00000504: JUMPDEST
00000505: POP
00000506: DUP1
00000507: CALLDATALOAD
00000508: SWAP1
00000509: PUSH1 0x20
0000050b: ADD
0000050c: CALLDATALOAD
0000050d: PUSH1 0x01
0000050f: PUSH1 0x01
00000511: PUSH1 0xa0
00000513: SHL
00000514: SUB
00000515: AND
00000516: PUSH2 0x1090
00000519: JUMP
0000051a: JUMPDEST
0000051b: CALLVALUE
0000051c: DUP1
0000051d: ISZERO
0000051e: PUSH2 0x0526
00000521: JUMPI
00000522: PUSH1 0x00
00000524: DUP1
00000525: REVERT
00000526: JUMPDEST
00000527: POP
00000528: PUSH2 0x04cf
0000052b: PUSH1 0x04
0000052d: DUP1
0000052e: CALLDATASIZE
0000052f: SUB
00000530: PUSH1 0x20
00000532: DUP2
00000533: LT
00000534: ISZERO
00000535: PUSH2 0x053d
00000538: JUMPI
00000539: PUSH1 0x00
0000053b: DUP1
0000053c: REVERT
0000053d: JUMPDEST
0000053e: POP
0000053f: CALLDATALOAD
00000540: PUSH2 0x10ad
00000543: JUMP
00000544: JUMPDEST
00000545: CALLVALUE
00000546: DUP1
00000547: ISZERO
00000548: PUSH2 0x0550
0000054b: JUMPI
0000054c: PUSH1 0x00
0000054e: DUP1
0000054f: REVERT
00000550: JUMPDEST
00000551: POP
00000552: PUSH2 0x04cf
00000555: PUSH2 0x10cb
00000558: JUMP
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0565
00000560: JUMPI
00000561: PUSH1 0x00
00000563: DUP1
00000564: REVERT
00000565: JUMPDEST
00000566: POP
00000567: PUSH2 0x02ee
0000056a: PUSH1 0x04
0000056c: DUP1
0000056d: CALLDATASIZE
0000056e: SUB
0000056f: PUSH1 0x40
00000571: DUP2
00000572: LT
00000573: ISZERO
00000574: PUSH2 0x057c
00000577: JUMPI
00000578: PUSH1 0x00
0000057a: DUP1
0000057b: REVERT
0000057c: JUMPDEST
0000057d: POP
0000057e: DUP1
0000057f: CALLDATALOAD
00000580: SWAP1
00000581: PUSH1 0x20
00000583: ADD
00000584: CALLDATALOAD
00000585: ISZERO
00000586: ISZERO
00000587: PUSH2 0x10d0
0000058a: JUMP
0000058b: JUMPDEST
0000058c: CALLVALUE
0000058d: DUP1
0000058e: ISZERO
0000058f: PUSH2 0x0597
00000592: JUMPI
00000593: PUSH1 0x00
00000595: DUP1
00000596: REVERT
00000597: JUMPDEST
00000598: POP
00000599: PUSH2 0x05a0
0000059c: PUSH2 0x11ad
0000059f: JUMP
000005a0: JUMPDEST
000005a1: PUSH1 0x40
000005a3: DUP1
000005a4: MLOAD
000005a5: PUSH1 0x20
000005a7: DUP1
000005a8: DUP3
000005a9: MSTORE
000005aa: DUP4
000005ab: MLOAD
000005ac: DUP2
000005ad: DUP4
000005ae: ADD
000005af: MSTORE
000005b0: DUP4
000005b1: MLOAD
000005b2: SWAP2
000005b3: SWAP3
000005b4: DUP4
000005b5: SWAP3
000005b6: SWAP1
000005b7: DUP4
000005b8: ADD
000005b9: SWAP2
000005ba: DUP6
000005bb: DUP2
000005bc: ADD
000005bd: SWAP2
000005be: MUL
000005bf: DUP1
000005c0: DUP4
000005c1: DUP4
000005c2: PUSH1 0x00
000005c4: JUMPDEST
000005c5: DUP4
000005c6: DUP2
000005c7: LT
000005c8: ISZERO
000005c9: PUSH2 0x05dc
000005cc: JUMPI
000005cd: DUP2
000005ce: DUP2
000005cf: ADD
000005d0: MLOAD
000005d1: DUP4
000005d2: DUP3
000005d3: ADD
000005d4: MSTORE
000005d5: PUSH1 0x20
000005d7: ADD
000005d8: PUSH2 0x05c4
000005db: JUMP
000005dc: JUMPDEST
000005dd: POP
000005de: POP
000005df: POP
000005e0: POP
000005e1: SWAP1
000005e2: POP
000005e3: ADD
000005e4: SWAP3
000005e5: POP
000005e6: POP
000005e7: POP
000005e8: PUSH1 0x40
000005ea: MLOAD
000005eb: DUP1
000005ec: SWAP2
000005ed: SUB
000005ee: SWAP1
000005ef: RETURN
000005f0: JUMPDEST
000005f1: CALLVALUE
000005f2: DUP1
000005f3: ISZERO
000005f4: PUSH2 0x05fc
000005f7: JUMPI
000005f8: PUSH1 0x00
000005fa: DUP1
000005fb: REVERT
000005fc: JUMPDEST
000005fd: POP
000005fe: PUSH2 0x04cf
00000601: PUSH2 0x1205
00000604: JUMP
00000605: JUMPDEST
00000606: CALLVALUE
00000607: DUP1
00000608: ISZERO
00000609: PUSH2 0x0611
0000060c: JUMPI
0000060d: PUSH1 0x00
0000060f: DUP1
00000610: REVERT
00000611: JUMPDEST
00000612: POP
00000613: PUSH2 0x02ee
00000616: PUSH1 0x04
00000618: DUP1
00000619: CALLDATASIZE
0000061a: SUB
0000061b: PUSH1 0x20
0000061d: DUP2
0000061e: LT
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: POP
0000062a: CALLDATALOAD
0000062b: PUSH1 0x01
0000062d: PUSH1 0x01
0000062f: PUSH1 0xa0
00000631: SHL
00000632: SUB
00000633: AND
00000634: PUSH2 0x120b
00000637: JUMP
00000638: JUMPDEST
00000639: CALLVALUE
0000063a: DUP1
0000063b: ISZERO
0000063c: PUSH2 0x0644
0000063f: JUMPI
00000640: PUSH1 0x00
00000642: DUP1
00000643: REVERT
00000644: JUMPDEST
00000645: POP
00000646: PUSH2 0x066b
00000649: PUSH1 0x04
0000064b: DUP1
0000064c: CALLDATASIZE
0000064d: SUB
0000064e: PUSH1 0x20
00000650: DUP2
00000651: LT
00000652: ISZERO
00000653: PUSH2 0x065b
00000656: JUMPI
00000657: PUSH1 0x00
00000659: DUP1
0000065a: REVERT
0000065b: JUMPDEST
0000065c: POP
0000065d: CALLDATALOAD
0000065e: PUSH1 0x01
00000660: PUSH1 0x01
00000662: PUSH1 0xa0
00000664: SHL
00000665: SUB
00000666: AND
00000667: PUSH2 0x12b7
0000066a: JUMP
0000066b: JUMPDEST
0000066c: PUSH1 0x40
0000066e: DUP1
0000066f: MLOAD
00000670: SWAP2
00000671: ISZERO
00000672: ISZERO
00000673: DUP3
00000674: MSTORE
00000675: MLOAD
00000676: SWAP1
00000677: DUP2
00000678: SWAP1
00000679: SUB
0000067a: PUSH1 0x20
0000067c: ADD
0000067d: SWAP1
0000067e: RETURN
0000067f: JUMPDEST
00000680: CALLVALUE
00000681: DUP1
00000682: ISZERO
00000683: PUSH2 0x068b
00000686: JUMPI
00000687: PUSH1 0x00
00000689: DUP1
0000068a: REVERT
0000068b: JUMPDEST
0000068c: POP
0000068d: PUSH2 0x066b
00000690: PUSH2 0x12cc
00000693: JUMP
00000694: JUMPDEST
00000695: CALLVALUE
00000696: DUP1
00000697: ISZERO
00000698: PUSH2 0x06a0
0000069b: JUMPI
0000069c: PUSH1 0x00
0000069e: DUP1
0000069f: REVERT
000006a0: JUMPDEST
000006a1: POP
000006a2: PUSH2 0x0489
000006a5: PUSH1 0x04
000006a7: DUP1
000006a8: CALLDATASIZE
000006a9: SUB
000006aa: PUSH1 0x20
000006ac: DUP2
000006ad: LT
000006ae: ISZERO
000006af: PUSH2 0x06b7
000006b2: JUMPI
000006b3: PUSH1 0x00
000006b5: DUP1
000006b6: REVERT
000006b7: JUMPDEST
000006b8: POP
000006b9: CALLDATALOAD
000006ba: PUSH2 0x12dc
000006bd: JUMP
000006be: JUMPDEST
000006bf: CALLVALUE
000006c0: DUP1
000006c1: ISZERO
000006c2: PUSH2 0x06ca
000006c5: JUMPI
000006c6: PUSH1 0x00
000006c8: DUP1
000006c9: REVERT
000006ca: JUMPDEST
000006cb: POP
000006cc: PUSH2 0x05a0
000006cf: PUSH2 0x1318
000006d2: JUMP
000006d3: JUMPDEST
000006d4: CALLVALUE
000006d5: DUP1
000006d6: ISZERO
000006d7: PUSH2 0x06df
000006da: JUMPI
000006db: PUSH1 0x00
000006dd: DUP1
000006de: REVERT
000006df: JUMPDEST
000006e0: POP
000006e1: PUSH2 0x04cf
000006e4: PUSH2 0x136e
000006e7: JUMP
000006e8: JUMPDEST
000006e9: CALLVALUE
000006ea: DUP1
000006eb: ISZERO
000006ec: PUSH2 0x06f4
000006ef: JUMPI
000006f0: PUSH1 0x00
000006f2: DUP1
000006f3: REVERT
000006f4: JUMPDEST
000006f5: POP
000006f6: PUSH2 0x04cf
000006f9: PUSH2 0x1374
000006fc: JUMP
000006fd: JUMPDEST
000006fe: CALLVALUE
000006ff: DUP1
00000700: ISZERO
00000701: PUSH2 0x0709
00000704: JUMPI
00000705: PUSH1 0x00
00000707: DUP1
00000708: REVERT
00000709: JUMPDEST
0000070a: POP
0000070b: PUSH2 0x02ee
0000070e: PUSH2 0x137a
00000711: JUMP
00000712: JUMPDEST
00000713: CALLVALUE
00000714: DUP1
00000715: ISZERO
00000716: PUSH2 0x071e
00000719: JUMPI
0000071a: PUSH1 0x00
0000071c: DUP1
0000071d: REVERT
0000071e: JUMPDEST
0000071f: POP
00000720: PUSH2 0x066b
00000723: PUSH1 0x04
00000725: DUP1
00000726: CALLDATASIZE
00000727: SUB
00000728: PUSH1 0x40
0000072a: DUP2
0000072b: LT
0000072c: ISZERO
0000072d: PUSH2 0x0735
00000730: JUMPI
00000731: PUSH1 0x00
00000733: DUP1
00000734: REVERT
00000735: JUMPDEST
00000736: POP
00000737: PUSH1 0x01
00000739: PUSH1 0x01
0000073b: PUSH1 0xa0
0000073d: SHL
0000073e: SUB
0000073f: DUP2
00000740: CALLDATALOAD
00000741: AND
00000742: SWAP1
00000743: PUSH1 0x20
00000745: ADD
00000746: CALLDATALOAD
00000747: PUSH2 0x1426
0000074a: JUMP
0000074b: JUMPDEST
0000074c: CALLVALUE
0000074d: DUP1
0000074e: ISZERO
0000074f: PUSH2 0x0757
00000752: JUMPI
00000753: PUSH1 0x00
00000755: DUP1
00000756: REVERT
00000757: JUMPDEST
00000758: POP
00000759: PUSH2 0x05a0
0000075c: PUSH2 0x1446
0000075f: JUMP
00000760: JUMPDEST
00000761: CALLVALUE
00000762: DUP1
00000763: ISZERO
00000764: PUSH2 0x076c
00000767: JUMPI
00000768: PUSH1 0x00
0000076a: DUP1
0000076b: REVERT
0000076c: JUMPDEST
0000076d: POP
0000076e: PUSH2 0x0489
00000771: PUSH2 0x149c
00000774: JUMP
00000775: JUMPDEST
00000776: CALLVALUE
00000777: DUP1
00000778: ISZERO
00000779: PUSH2 0x0781
0000077c: JUMPI
0000077d: PUSH1 0x00
0000077f: DUP1
00000780: REVERT
00000781: JUMPDEST
00000782: POP
00000783: PUSH2 0x02ee
00000786: PUSH1 0x04
00000788: DUP1
00000789: CALLDATASIZE
0000078a: SUB
0000078b: PUSH1 0x40
0000078d: DUP2
0000078e: LT
0000078f: ISZERO
00000790: PUSH2 0x0798
00000793: JUMPI
00000794: PUSH1 0x00
00000796: DUP1
00000797: REVERT
00000798: JUMPDEST
00000799: POP
0000079a: PUSH1 0x01
0000079c: PUSH1 0x01
0000079e: PUSH1 0xa0
000007a0: SHL
000007a1: SUB
000007a2: DUP2
000007a3: CALLDATALOAD
000007a4: AND
000007a5: SWAP1
000007a6: PUSH1 0x20
000007a8: ADD
000007a9: CALLDATALOAD
000007aa: ISZERO
000007ab: ISZERO
000007ac: PUSH2 0x14ab
000007af: JUMP
000007b0: JUMPDEST
000007b1: CALLVALUE
000007b2: DUP1
000007b3: ISZERO
000007b4: PUSH2 0x07bc
000007b7: JUMPI
000007b8: PUSH1 0x00
000007ba: DUP1
000007bb: REVERT
000007bc: JUMPDEST
000007bd: POP
000007be: PUSH2 0x04cf
000007c1: PUSH2 0x156d
000007c4: JUMP
000007c5: JUMPDEST
000007c6: CALLVALUE
000007c7: DUP1
000007c8: ISZERO
000007c9: PUSH2 0x07d1
000007cc: JUMPI
000007cd: PUSH1 0x00
000007cf: DUP1
000007d0: REVERT
000007d1: JUMPDEST
000007d2: POP
000007d3: PUSH2 0x04cf
000007d6: PUSH1 0x04
000007d8: DUP1
000007d9: CALLDATASIZE
000007da: SUB
000007db: PUSH1 0x20
000007dd: DUP2
000007de: LT
000007df: ISZERO
000007e0: PUSH2 0x07e8
000007e3: JUMPI
000007e4: PUSH1 0x00
000007e6: DUP1
000007e7: REVERT
000007e8: JUMPDEST
000007e9: POP
000007ea: CALLDATALOAD
000007eb: PUSH2 0x1573
000007ee: JUMP
000007ef: JUMPDEST
000007f0: CALLVALUE
000007f1: DUP1
000007f2: ISZERO
000007f3: PUSH2 0x07fb
000007f6: JUMPI
000007f7: PUSH1 0x00
000007f9: DUP1
000007fa: REVERT
000007fb: JUMPDEST
000007fc: POP
000007fd: PUSH2 0x04cf
00000800: PUSH1 0x04
00000802: DUP1
00000803: CALLDATASIZE
00000804: SUB
00000805: PUSH1 0x40
00000807: DUP2
00000808: LT
00000809: ISZERO
0000080a: PUSH2 0x0812
0000080d: JUMPI
0000080e: PUSH1 0x00
00000810: DUP1
00000811: REVERT
00000812: JUMPDEST
00000813: POP
00000814: DUP1
00000815: CALLDATALOAD
00000816: SWAP1
00000817: PUSH1 0x20
00000819: ADD
0000081a: CALLDATALOAD
0000081b: PUSH1 0x01
0000081d: PUSH1 0x01
0000081f: PUSH1 0xa0
00000821: SHL
00000822: SUB
00000823: AND
00000824: PUSH2 0x1580
00000827: JUMP
00000828: JUMPDEST
00000829: CALLVALUE
0000082a: DUP1
0000082b: ISZERO
0000082c: PUSH2 0x0834
0000082f: JUMPI
00000830: PUSH1 0x00
00000832: DUP1
00000833: REVERT
00000834: JUMPDEST
00000835: POP
00000836: PUSH2 0x04cf
00000839: PUSH2 0x15aa
0000083c: JUMP
0000083d: JUMPDEST
0000083e: CALLVALUE
0000083f: DUP1
00000840: ISZERO
00000841: PUSH2 0x0849
00000844: JUMPI
00000845: PUSH1 0x00
00000847: DUP1
00000848: REVERT
00000849: JUMPDEST
0000084a: POP
0000084b: PUSH2 0x04cf
0000084e: PUSH2 0x15af
00000851: JUMP
00000852: JUMPDEST
00000853: CALLVALUE
00000854: DUP1
00000855: ISZERO
00000856: PUSH2 0x085e
00000859: JUMPI
0000085a: PUSH1 0x00
0000085c: DUP1
0000085d: REVERT
0000085e: JUMPDEST
0000085f: POP
00000860: PUSH2 0x05a0
00000863: PUSH2 0x15d3
00000866: JUMP
00000867: JUMPDEST
00000868: CALLVALUE
00000869: DUP1
0000086a: ISZERO
0000086b: PUSH2 0x0873
0000086e: JUMPI
0000086f: PUSH1 0x00
00000871: DUP1
00000872: REVERT
00000873: JUMPDEST
00000874: POP
00000875: PUSH2 0x087c
00000878: PUSH2 0x1629
0000087b: JUMP
0000087c: JUMPDEST
0000087d: PUSH1 0x40
0000087f: DUP1
00000880: MLOAD
00000881: SWAP3
00000882: ISZERO
00000883: ISZERO
00000884: DUP4
00000885: MSTORE
00000886: PUSH1 0x20
00000888: DUP4
00000889: ADD
0000088a: SWAP2
0000088b: SWAP1
0000088c: SWAP2
0000088d: MSTORE
0000088e: DUP1
0000088f: MLOAD
00000890: SWAP2
00000891: DUP3
00000892: SWAP1
00000893: SUB
00000894: ADD
00000895: SWAP1
00000896: RETURN
00000897: JUMPDEST
00000898: CALLVALUE
00000899: DUP1
0000089a: ISZERO
0000089b: PUSH2 0x08a3
0000089e: JUMPI
0000089f: PUSH1 0x00
000008a1: DUP1
000008a2: REVERT
000008a3: JUMPDEST
000008a4: POP
000008a5: PUSH2 0x0489
000008a8: PUSH1 0x04
000008aa: DUP1
000008ab: CALLDATASIZE
000008ac: SUB
000008ad: PUSH1 0x20
000008af: DUP2
000008b0: LT
000008b1: ISZERO
000008b2: PUSH2 0x08ba
000008b5: JUMPI
000008b6: PUSH1 0x00
000008b8: DUP1
000008b9: REVERT
000008ba: JUMPDEST
000008bb: POP
000008bc: CALLDATALOAD
000008bd: PUSH2 0x1731
000008c0: JUMP
000008c1: JUMPDEST
000008c2: CALLVALUE
000008c3: DUP1
000008c4: ISZERO
000008c5: PUSH2 0x08cd
000008c8: JUMPI
000008c9: PUSH1 0x00
000008cb: DUP1
000008cc: REVERT
000008cd: JUMPDEST
000008ce: POP
000008cf: PUSH2 0x04cf
000008d2: PUSH1 0x04
000008d4: DUP1
000008d5: CALLDATASIZE
000008d6: SUB
000008d7: PUSH1 0x20
000008d9: DUP2
000008da: LT
000008db: ISZERO
000008dc: PUSH2 0x08e4
000008df: JUMPI
000008e0: PUSH1 0x00
000008e2: DUP1
000008e3: REVERT
000008e4: JUMPDEST
000008e5: POP
000008e6: CALLDATALOAD
000008e7: PUSH2 0x1758
000008ea: JUMP
000008eb: JUMPDEST
000008ec: CALLVALUE
000008ed: DUP1
000008ee: ISZERO
000008ef: PUSH2 0x08f7
000008f2: JUMPI
000008f3: PUSH1 0x00
000008f5: DUP1
000008f6: REVERT
000008f7: JUMPDEST
000008f8: POP
000008f9: PUSH2 0x02ee
000008fc: PUSH1 0x04
000008fe: DUP1
000008ff: CALLDATASIZE
00000900: SUB
00000901: PUSH1 0x20
00000903: DUP2
00000904: LT
00000905: ISZERO
00000906: PUSH2 0x090e
00000909: JUMPI
0000090a: PUSH1 0x00
0000090c: DUP1
0000090d: REVERT
0000090e: JUMPDEST
0000090f: POP
00000910: CALLDATALOAD
00000911: PUSH1 0x01
00000913: PUSH1 0x01
00000915: PUSH1 0xa0
00000917: SHL
00000918: SUB
00000919: AND
0000091a: PUSH2 0x1765
0000091d: JUMP
0000091e: JUMPDEST
0000091f: CALLVALUE
00000920: DUP1
00000921: ISZERO
00000922: PUSH2 0x092a
00000925: JUMPI
00000926: PUSH1 0x00
00000928: DUP1
00000929: REVERT
0000092a: JUMPDEST
0000092b: POP
0000092c: PUSH2 0x02ee
0000092f: PUSH1 0x04
00000931: DUP1
00000932: CALLDATASIZE
00000933: SUB
00000934: PUSH1 0x60
00000936: DUP2
00000937: LT
00000938: ISZERO
00000939: PUSH2 0x0941
0000093c: JUMPI
0000093d: PUSH1 0x00
0000093f: DUP1
00000940: REVERT
00000941: JUMPDEST
00000942: DUP2
00000943: ADD
00000944: SWAP1
00000945: PUSH1 0x20
00000947: DUP2
00000948: ADD
00000949: DUP2
0000094a: CALLDATALOAD
0000094b: PUSH1 0x01
0000094d: PUSH1 0x20
0000094f: SHL
00000950: DUP2
00000951: GT
00000952: ISZERO
00000953: PUSH2 0x095b
00000956: JUMPI
00000957: PUSH1 0x00
00000959: DUP1
0000095a: REVERT
0000095b: JUMPDEST
0000095c: DUP3
0000095d: ADD
0000095e: DUP4
0000095f: PUSH1 0x20
00000961: DUP3
00000962: ADD
00000963: GT
00000964: ISZERO
00000965: PUSH2 0x096d
00000968: JUMPI
00000969: PUSH1 0x00
0000096b: DUP1
0000096c: REVERT
0000096d: JUMPDEST
0000096e: DUP1
0000096f: CALLDATALOAD
00000970: SWAP1
00000971: PUSH1 0x20
00000973: ADD
00000974: SWAP2
00000975: DUP5
00000976: PUSH1 0x01
00000978: DUP4
00000979: MUL
0000097a: DUP5
0000097b: ADD
0000097c: GT
0000097d: PUSH1 0x01
0000097f: PUSH1 0x20
00000981: SHL
00000982: DUP4
00000983: GT
00000984: OR
00000985: ISZERO
00000986: PUSH2 0x098e
00000989: JUMPI
0000098a: PUSH1 0x00
0000098c: DUP1
0000098d: REVERT
0000098e: JUMPDEST
0000098f: SWAP2
00000990: SWAP4
00000991: SWAP1
00000992: SWAP3
00000993: SWAP1
00000994: SWAP2
00000995: PUSH1 0x20
00000997: DUP2
00000998: ADD
00000999: SWAP1
0000099a: CALLDATALOAD
0000099b: PUSH1 0x01
0000099d: PUSH1 0x20
0000099f: SHL
000009a0: DUP2
000009a1: GT
000009a2: ISZERO
000009a3: PUSH2 0x09ab
000009a6: JUMPI
000009a7: PUSH1 0x00
000009a9: DUP1
000009aa: REVERT
000009ab: JUMPDEST
000009ac: DUP3
000009ad: ADD
000009ae: DUP4
000009af: PUSH1 0x20
000009b1: DUP3
000009b2: ADD
000009b3: GT
000009b4: ISZERO
000009b5: PUSH2 0x09bd
000009b8: JUMPI
000009b9: PUSH1 0x00
000009bb: DUP1
000009bc: REVERT
000009bd: JUMPDEST
000009be: DUP1
000009bf: CALLDATALOAD
000009c0: SWAP1
000009c1: PUSH1 0x20
000009c3: ADD
000009c4: SWAP2
000009c5: DUP5
000009c6: PUSH1 0x01
000009c8: DUP4
000009c9: MUL
000009ca: DUP5
000009cb: ADD
000009cc: GT
000009cd: PUSH1 0x01
000009cf: PUSH1 0x20
000009d1: SHL
000009d2: DUP4
000009d3: GT
000009d4: OR
000009d5: ISZERO
000009d6: PUSH2 0x09de
000009d9: JUMPI
000009da: PUSH1 0x00
000009dc: DUP1
000009dd: REVERT
000009de: JUMPDEST
000009df: SWAP2
000009e0: SWAP4
000009e1: SWAP1
000009e2: SWAP3
000009e3: SWAP1
000009e4: SWAP2
000009e5: PUSH1 0x20
000009e7: DUP2
000009e8: ADD
000009e9: SWAP1
000009ea: CALLDATALOAD
000009eb: PUSH1 0x01
000009ed: PUSH1 0x20
000009ef: SHL
000009f0: DUP2
000009f1: GT
000009f2: ISZERO
000009f3: PUSH2 0x09fb
000009f6: JUMPI
000009f7: PUSH1 0x00
000009f9: DUP1
000009fa: REVERT
000009fb: JUMPDEST
000009fc: DUP3
000009fd: ADD
000009fe: DUP4
000009ff: PUSH1 0x20
00000a01: DUP3
00000a02: ADD
00000a03: GT
00000a04: ISZERO
00000a05: PUSH2 0x0a0d
00000a08: JUMPI
00000a09: PUSH1 0x00
00000a0b: DUP1
00000a0c: REVERT
00000a0d: JUMPDEST
00000a0e: DUP1
00000a0f: CALLDATALOAD
00000a10: SWAP1
00000a11: PUSH1 0x20
00000a13: ADD
00000a14: SWAP2
00000a15: DUP5
00000a16: PUSH1 0x01
00000a18: DUP4
00000a19: MUL
00000a1a: DUP5
00000a1b: ADD
00000a1c: GT
00000a1d: PUSH1 0x01
00000a1f: PUSH1 0x20
00000a21: SHL
00000a22: DUP4
00000a23: GT
00000a24: OR
00000a25: ISZERO
00000a26: PUSH2 0x0a2e
00000a29: JUMPI
00000a2a: PUSH1 0x00
00000a2c: DUP1
00000a2d: REVERT
00000a2e: JUMPDEST
00000a2f: POP
00000a30: SWAP1
00000a31: SWAP3
00000a32: POP
00000a33: SWAP1
00000a34: POP
00000a35: PUSH2 0x17e9
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH2 0x02ee
00000a3d: PUSH1 0x04
00000a3f: DUP1
00000a40: CALLDATASIZE
00000a41: SUB
00000a42: PUSH1 0x60
00000a44: DUP2
00000a45: LT
00000a46: ISZERO
00000a47: PUSH2 0x0a4f
00000a4a: JUMPI
00000a4b: PUSH1 0x00
00000a4d: DUP1
00000a4e: REVERT
00000a4f: JUMPDEST
00000a50: POP
00000a51: DUP1
00000a52: CALLDATALOAD
00000a53: SWAP1
00000a54: PUSH1 0x20
00000a56: DUP2
00000a57: ADD
00000a58: CALLDATALOAD
00000a59: SWAP1
00000a5a: PUSH1 0x40
00000a5c: ADD
00000a5d: CALLDATALOAD
00000a5e: PUSH1 0x01
00000a60: PUSH1 0x01
00000a62: PUSH1 0xa0
00000a64: SHL
00000a65: SUB
00000a66: AND
00000a67: PUSH2 0x18ff
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: CALLVALUE
00000a6d: DUP1
00000a6e: ISZERO
00000a6f: PUSH2 0x0a77
00000a72: JUMPI
00000a73: PUSH1 0x00
00000a75: DUP1
00000a76: REVERT
00000a77: JUMPDEST
00000a78: POP
00000a79: PUSH2 0x066b
00000a7c: PUSH1 0x04
00000a7e: DUP1
00000a7f: CALLDATASIZE
00000a80: SUB
00000a81: PUSH1 0x20
00000a83: DUP2
00000a84: LT
00000a85: ISZERO
00000a86: PUSH2 0x0a8e
00000a89: JUMPI
00000a8a: PUSH1 0x00
00000a8c: DUP1
00000a8d: REVERT
00000a8e: JUMPDEST
00000a8f: POP
00000a90: CALLDATALOAD
00000a91: PUSH2 0x1a12
00000a94: JUMP
00000a95: JUMPDEST
00000a96: CALLVALUE
00000a97: DUP1
00000a98: ISZERO
00000a99: PUSH2 0x0aa1
00000a9c: JUMPI
00000a9d: PUSH1 0x00
00000a9f: DUP1
00000aa0: REVERT
00000aa1: JUMPDEST
00000aa2: POP
00000aa3: PUSH2 0x04cf
00000aa6: PUSH1 0x04
00000aa8: DUP1
00000aa9: CALLDATASIZE
00000aaa: SUB
00000aab: PUSH1 0x20
00000aad: DUP2
00000aae: LT
00000aaf: ISZERO
00000ab0: PUSH2 0x0ab8
00000ab3: JUMPI
00000ab4: PUSH1 0x00
00000ab6: DUP1
00000ab7: REVERT
00000ab8: JUMPDEST
00000ab9: POP
00000aba: CALLDATALOAD
00000abb: PUSH2 0x1a40
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: CALLVALUE
00000ac1: DUP1
00000ac2: ISZERO
00000ac3: PUSH2 0x0acb
00000ac6: JUMPI
00000ac7: PUSH1 0x00
00000ac9: DUP1
00000aca: REVERT
00000acb: JUMPDEST
00000acc: POP
00000acd: PUSH2 0x04cf
00000ad0: PUSH2 0x1a4d
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: CALLVALUE
00000ad6: DUP1
00000ad7: ISZERO
00000ad8: PUSH2 0x0ae0
00000adb: JUMPI
00000adc: PUSH1 0x00
00000ade: DUP1
00000adf: REVERT
00000ae0: JUMPDEST
00000ae1: POP
00000ae2: PUSH2 0x04cf
00000ae5: PUSH2 0x1a71
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: CALLVALUE
00000aeb: DUP1
00000aec: ISZERO
00000aed: PUSH2 0x0af5
00000af0: JUMPI
00000af1: PUSH1 0x00
00000af3: DUP1
00000af4: REVERT
00000af5: JUMPDEST
00000af6: POP
00000af7: PUSH2 0x02ee
00000afa: PUSH1 0x04
00000afc: DUP1
00000afd: CALLDATASIZE
00000afe: SUB
00000aff: PUSH1 0x20
00000b01: DUP2
00000b02: LT
00000b03: ISZERO
00000b04: PUSH2 0x0b0c
00000b07: JUMPI
00000b08: PUSH1 0x00
00000b0a: DUP1
00000b0b: REVERT
00000b0c: JUMPDEST
00000b0d: POP
00000b0e: CALLDATALOAD
00000b0f: PUSH2 0x1a77
00000b12: JUMP
00000b13: JUMPDEST
00000b14: CALLVALUE
00000b15: DUP1
00000b16: ISZERO
00000b17: PUSH2 0x0b1f
00000b1a: JUMPI
00000b1b: PUSH1 0x00
00000b1d: DUP1
00000b1e: REVERT
00000b1f: JUMPDEST
00000b20: POP
00000b21: PUSH2 0x05a0
00000b24: PUSH2 0x1aea
00000b27: JUMP
00000b28: JUMPDEST
00000b29: CALLVALUE
00000b2a: DUP1
00000b2b: ISZERO
00000b2c: PUSH2 0x0b34
00000b2f: JUMPI
00000b30: PUSH1 0x00
00000b32: DUP1
00000b33: REVERT
00000b34: JUMPDEST
00000b35: POP
00000b36: PUSH2 0x04cf
00000b39: PUSH2 0x1b4b
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: CALLVALUE
00000b3f: DUP1
00000b40: ISZERO
00000b41: PUSH2 0x0b49
00000b44: JUMPI
00000b45: PUSH1 0x00
00000b47: DUP1
00000b48: REVERT
00000b49: JUMPDEST
00000b4a: POP
00000b4b: PUSH2 0x04cf
00000b4e: PUSH2 0x1b50
00000b51: JUMP
00000b52: JUMPDEST
00000b53: CALLVALUE
00000b54: DUP1
00000b55: ISZERO
00000b56: PUSH2 0x0b5e
00000b59: JUMPI
00000b5a: PUSH1 0x00
00000b5c: DUP1
00000b5d: REVERT
00000b5e: JUMPDEST
00000b5f: POP
00000b60: PUSH2 0x02ee
00000b63: PUSH1 0x04
00000b65: DUP1
00000b66: CALLDATASIZE
00000b67: SUB
00000b68: PUSH1 0x40
00000b6a: DUP2
00000b6b: LT
00000b6c: ISZERO
00000b6d: PUSH2 0x0b75
00000b70: JUMPI
00000b71: PUSH1 0x00
00000b73: DUP1
00000b74: REVERT
00000b75: JUMPDEST
00000b76: POP
00000b77: PUSH1 0x01
00000b79: PUSH1 0x01
00000b7b: PUSH1 0xa0
00000b7d: SHL
00000b7e: SUB
00000b7f: DUP2
00000b80: CALLDATALOAD
00000b81: AND
00000b82: SWAP1
00000b83: PUSH1 0x20
00000b85: ADD
00000b86: CALLDATALOAD
00000b87: ISZERO
00000b88: ISZERO
00000b89: PUSH2 0x1b55
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: CALLVALUE
00000b8f: DUP1
00000b90: ISZERO
00000b91: PUSH2 0x0b99
00000b94: JUMPI
00000b95: PUSH1 0x00
00000b97: DUP1
00000b98: REVERT
00000b99: JUMPDEST
00000b9a: POP
00000b9b: PUSH2 0x04cf
00000b9e: PUSH2 0x1db2
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: CALLVALUE
00000ba4: DUP1
00000ba5: ISZERO
00000ba6: PUSH2 0x0bae
00000ba9: JUMPI
00000baa: PUSH1 0x00
00000bac: DUP1
00000bad: REVERT
00000bae: JUMPDEST
00000baf: POP
00000bb0: PUSH2 0x02ee
00000bb3: PUSH1 0x04
00000bb5: DUP1
00000bb6: CALLDATASIZE
00000bb7: SUB
00000bb8: PUSH1 0x20
00000bba: DUP2
00000bbb: LT
00000bbc: ISZERO
00000bbd: PUSH2 0x0bc5
00000bc0: JUMPI
00000bc1: PUSH1 0x00
00000bc3: DUP1
00000bc4: REVERT
00000bc5: JUMPDEST
00000bc6: POP
00000bc7: CALLDATALOAD
00000bc8: PUSH1 0x01
00000bca: PUSH1 0x01
00000bcc: PUSH1 0xa0
00000bce: SHL
00000bcf: SUB
00000bd0: AND
00000bd1: PUSH2 0x1db8
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: PUSH2 0x0bdd
00000bd9: PUSH2 0x12cc
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: ISZERO
00000bdf: PUSH2 0x0c22
00000be2: JUMPI
00000be3: PUSH1 0x40
00000be5: DUP1
00000be6: MLOAD
00000be7: PUSH3 0x461bcd
00000beb: PUSH1 0xe5
00000bed: SHL
00000bee: DUP2
00000bef: MSTORE
00000bf0: PUSH1 0x20
00000bf2: PUSH1 0x04
00000bf4: DUP3
00000bf5: ADD
00000bf6: MSTORE
00000bf7: PUSH1 0x10
00000bf9: PUSH1 0x24
00000bfb: DUP3
00000bfc: ADD
00000bfd: MSTORE
00000bfe: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000c0f: PUSH1 0x82
00000c11: SHL
00000c12: PUSH1 0x44
00000c14: DUP3
00000c15: ADD
00000c16: MSTORE
00000c17: SWAP1
00000c18: MLOAD
00000c19: SWAP1
00000c1a: DUP2
00000c1b: SWAP1
00000c1c: SUB
00000c1d: PUSH1 0x64
00000c1f: ADD
00000c20: SWAP1
00000c21: REVERT
00000c22: JUMPDEST
00000c23: PUSH1 0x00
00000c25: PUSH2 0x0c2d
00000c28: DUP11
00000c29: PUSH2 0x12dc
00000c2c: JUMP
00000c2d: JUMPDEST
00000c2e: PUSH1 0x40
00000c30: DUP1
00000c31: MLOAD
00000c32: PUSH4 0xd505accf
00000c37: PUSH1 0xe0
00000c39: SHL
00000c3a: DUP2
00000c3b: MSTORE
00000c3c: PUSH1 0x01
00000c3e: PUSH1 0x01
00000c40: PUSH1 0xa0
00000c42: SHL
00000c43: SUB
00000c44: DUP12
00000c45: DUP2
00000c46: AND
00000c47: PUSH1 0x04
00000c49: DUP4
00000c4a: ADD
00000c4b: MSTORE
00000c4c: DUP11
00000c4d: DUP2
00000c4e: AND
00000c4f: PUSH1 0x24
00000c51: DUP4
00000c52: ADD
00000c53: MSTORE
00000c54: PUSH1 0x44
00000c56: DUP3
00000c57: ADD
00000c58: DUP11
00000c59: SWAP1
00000c5a: MSTORE
00000c5b: PUSH1 0x64
00000c5d: DUP3
00000c5e: ADD
00000c5f: DUP10
00000c60: SWAP1
00000c61: MSTORE
00000c62: PUSH1 0xff
00000c64: DUP9
00000c65: AND
00000c66: PUSH1 0x84
00000c68: DUP4
00000c69: ADD
00000c6a: MSTORE
00000c6b: PUSH1 0xa4
00000c6d: DUP3
00000c6e: ADD
00000c6f: DUP8
00000c70: SWAP1
00000c71: MSTORE
00000c72: PUSH1 0xc4
00000c74: DUP3
00000c75: ADD
00000c76: DUP7
00000c77: SWAP1
00000c78: MSTORE
00000c79: SWAP2
00000c7a: MLOAD
00000c7b: SWAP3
00000c7c: SWAP4
00000c7d: POP
00000c7e: SWAP1
00000c7f: DUP4
00000c80: AND
00000c81: SWAP2
00000c82: PUSH4 0xd505accf
00000c87: SWAP2
00000c88: PUSH1 0xe4
00000c8a: DUP1
00000c8b: DUP3
00000c8c: ADD
00000c8d: SWAP3
00000c8e: PUSH1 0x00
00000c90: SWAP3
00000c91: SWAP1
00000c92: SWAP2
00000c93: SWAP1
00000c94: DUP3
00000c95: SWAP1
00000c96: SUB
00000c97: ADD
00000c98: DUP2
00000c99: DUP4
00000c9a: DUP8
00000c9b: DUP1
00000c9c: EXTCODESIZE
00000c9d: ISZERO
00000c9e: DUP1
00000c9f: ISZERO
00000ca0: PUSH2 0x0ca8
00000ca3: JUMPI
00000ca4: PUSH1 0x00
00000ca6: DUP1
00000ca7: REVERT
00000ca8: JUMPDEST
00000ca9: POP
00000caa: GAS
00000cab: CALL
00000cac: ISZERO
00000cad: DUP1
00000cae: ISZERO
00000caf: PUSH2 0x0cbc
00000cb2: JUMPI
00000cb3: RETURNDATASIZE
00000cb4: PUSH1 0x00
00000cb6: DUP1
00000cb7: RETURNDATACOPY
00000cb8: RETURNDATASIZE
00000cb9: PUSH1 0x00
00000cbb: REVERT
00000cbc: JUMPDEST
00000cbd: POP
00000cbe: POP
00000cbf: POP
00000cc0: POP
00000cc1: PUSH2 0x0ccc
00000cc4: DUP11
00000cc5: DUP3
00000cc6: DUP11
00000cc7: DUP13
00000cc8: PUSH2 0x1eba
00000ccb: JUMP
00000ccc: JUMPDEST
00000ccd: POP
00000cce: POP
00000ccf: POP
00000cd0: POP
00000cd1: POP
00000cd2: POP
00000cd3: POP
00000cd4: POP
00000cd5: POP
00000cd6: POP
00000cd7: JUMP
00000cd8: JUMPDEST
00000cd9: PUSH2 0x0ce0
00000cdc: PUSH2 0x12cc
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: ISZERO
00000ce2: PUSH2 0x0d25
00000ce5: JUMPI
00000ce6: PUSH1 0x40
00000ce8: DUP1
00000ce9: MLOAD
00000cea: PUSH3 0x461bcd
00000cee: PUSH1 0xe5
00000cf0: SHL
00000cf1: DUP2
00000cf2: MSTORE
00000cf3: PUSH1 0x20
00000cf5: PUSH1 0x04
00000cf7: DUP3
00000cf8: ADD
00000cf9: MSTORE
00000cfa: PUSH1 0x10
00000cfc: PUSH1 0x24
00000cfe: DUP3
00000cff: ADD
00000d00: MSTORE
00000d01: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000d12: PUSH1 0x82
00000d14: SHL
00000d15: PUSH1 0x44
00000d17: DUP3
00000d18: ADD
00000d19: MSTORE
00000d1a: SWAP1
00000d1b: MLOAD
00000d1c: SWAP1
00000d1d: DUP2
00000d1e: SWAP1
00000d1f: SUB
00000d20: PUSH1 0x64
00000d22: ADD
00000d23: SWAP1
00000d24: REVERT
00000d25: JUMPDEST
00000d26: PUSH1 0x00
00000d28: GAS
00000d29: PUSH1 0x01
00000d2b: PUSH1 0x01
00000d2d: PUSH1 0xa0
00000d2f: SHL
00000d30: SUB
00000d31: DUP6
00000d32: AND
00000d33: PUSH1 0x00
00000d35: SWAP1
00000d36: DUP2
00000d37: MSTORE
00000d38: PUSH1 0x0b
00000d3a: PUSH1 0x20
00000d3c: MSTORE
00000d3d: PUSH1 0x40
00000d3f: SWAP1
00000d40: KECCAK256
00000d41: SLOAD
00000d42: SWAP1
00000d43: SWAP2
00000d44: POP
00000d45: PUSH1 0xff
00000d47: AND
00000d48: PUSH2 0x0d82
00000d4b: JUMPI
00000d4c: PUSH1 0x40
00000d4e: MLOAD
00000d4f: PUSH3 0x461bcd
00000d53: PUSH1 0xe5
00000d55: SHL
00000d56: DUP2
00000d57: MSTORE
00000d58: PUSH1 0x04
00000d5a: ADD
00000d5b: DUP1
00000d5c: DUP1
00000d5d: PUSH1 0x20
00000d5f: ADD
00000d60: DUP3
00000d61: DUP2
00000d62: SUB
00000d63: DUP3
00000d64: MSTORE
00000d65: PUSH1 0x22
00000d67: DUP2
00000d68: MSTORE
00000d69: PUSH1 0x20
00000d6b: ADD
00000d6c: DUP1
00000d6d: PUSH2 0x302f
00000d70: PUSH1 0x22
00000d72: SWAP2
00000d73: CODECOPY
00000d74: PUSH1 0x40
00000d76: ADD
00000d77: SWAP2
00000d78: POP
00000d79: POP
00000d7a: PUSH1 0x40
00000d7c: MLOAD
00000d7d: DUP1
00000d7e: SWAP2
00000d7f: SUB
00000d80: SWAP1
00000d81: REVERT
00000d82: JUMPDEST
00000d83: PUSH1 0x60
00000d85: DUP13
00000d86: DUP13
00000d87: PUSH1 0x00
00000d89: SWAP1
00000d8a: PUSH1 0x04
00000d8c: PUSH1 0x0a
00000d8e: ADD
00000d8f: PUSH1 0x20
00000d91: MUL
00000d92: SWAP3
00000d93: PUSH2 0x0d9e
00000d96: SWAP4
00000d97: SWAP3
00000d98: SWAP2
00000d99: SWAP1
00000d9a: PUSH2 0x2f69
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH1 0x0c
00000da1: SLOAD
00000da2: PUSH1 0x40
00000da4: MLOAD
00000da5: DUP8
00000da6: SWAP2
00000da7: DUP8
00000da8: SWAP2
00000da9: PUSH1 0x01
00000dab: PUSH1 0x01
00000dad: PUSH1 0xa0
00000daf: SHL
00000db0: SUB
00000db1: SWAP1
00000db2: SWAP2
00000db3: AND
00000db4: SWAP1
00000db5: PUSH1 0x20
00000db7: ADD
00000db8: DUP1
00000db9: DUP7
00000dba: DUP7
00000dbb: DUP1
00000dbc: DUP3
00000dbd: DUP5
00000dbe: CALLDATACOPY
00000dbf: DUP1
00000dc0: DUP4
00000dc1: ADD
00000dc2: SWAP3
00000dc3: POP
00000dc4: POP
00000dc5: POP
00000dc6: DUP5
00000dc7: PUSH1 0x01
00000dc9: PUSH1 0x01
00000dcb: PUSH1 0xa0
00000dcd: SHL
00000dce: SUB
00000dcf: AND
00000dd0: PUSH1 0x01
00000dd2: PUSH1 0x01
00000dd4: PUSH1 0xa0
00000dd6: SHL
00000dd7: SUB
00000dd8: AND
00000dd9: PUSH1 0x60
00000ddb: SHL
00000ddc: DUP2
00000ddd: MSTORE
00000dde: PUSH1 0x14
00000de0: ADD
00000de1: DUP4
00000de2: DUP2
00000de3: MSTORE
00000de4: PUSH1 0x20
00000de6: ADD
00000de7: DUP3
00000de8: PUSH1 0x01
00000dea: PUSH1 0x01
00000dec: PUSH1 0xa0
00000dee: SHL
00000def: SUB
00000df0: AND
00000df1: PUSH1 0x01
00000df3: PUSH1 0x01
00000df5: PUSH1 0xa0
00000df7: SHL
00000df8: SUB
00000df9: AND
00000dfa: PUSH1 0x60
00000dfc: SHL
00000dfd: DUP2
00000dfe: MSTORE
00000dff: PUSH1 0x14
00000e01: ADD
00000e02: SWAP6
00000e03: POP
00000e04: POP
00000e05: POP
00000e06: POP
00000e07: POP
00000e08: POP
00000e09: PUSH1 0x40
00000e0b: MLOAD
00000e0c: PUSH1 0x20
00000e0e: DUP2
00000e0f: DUP4
00000e10: SUB
00000e11: SUB
00000e12: DUP2
00000e13: MSTORE
00000e14: SWAP1
00000e15: PUSH1 0x40
00000e17: MSTORE
00000e18: SWAP1
00000e19: POP
00000e1a: PUSH2 0x0e62
00000e1d: DUP2
00000e1e: DUP1
00000e1f: MLOAD
00000e20: SWAP1
00000e21: PUSH1 0x20
00000e23: ADD
00000e24: KECCAK256
00000e25: DUP9
00000e26: DUP9
00000e27: DUP1
00000e28: DUP1
00000e29: PUSH1 0x1f
00000e2b: ADD
00000e2c: PUSH1 0x20
00000e2e: DUP1
00000e2f: SWAP2
00000e30: DIV
00000e31: MUL
00000e32: PUSH1 0x20
00000e34: ADD
00000e35: PUSH1 0x40
00000e37: MLOAD
00000e38: SWAP1
00000e39: DUP2
00000e3a: ADD
00000e3b: PUSH1 0x40
00000e3d: MSTORE
00000e3e: DUP1
00000e3f: SWAP4
00000e40: SWAP3
00000e41: SWAP2
00000e42: SWAP1
00000e43: DUP2
00000e44: DUP2
00000e45: MSTORE
00000e46: PUSH1 0x20
00000e48: ADD
00000e49: DUP4
00000e4a: DUP4
00000e4b: DUP1
00000e4c: DUP3
00000e4d: DUP5
00000e4e: CALLDATACOPY
00000e4f: PUSH1 0x00
00000e51: SWAP3
00000e52: ADD
00000e53: SWAP2
00000e54: SWAP1
00000e55: SWAP2
00000e56: MSTORE
00000e57: POP
00000e58: DUP11
00000e59: SWAP3
00000e5a: POP
00000e5b: PUSH2 0x2058
00000e5e: SWAP2
00000e5f: POP
00000e60: POP
00000e61: JUMP
00000e62: JUMPDEST
00000e63: PUSH2 0x0eea
00000e66: DUP14
00000e67: DUP14
00000e68: DUP1
00000e69: DUP1
00000e6a: PUSH1 0x1f
00000e6c: ADD
00000e6d: PUSH1 0x20
00000e6f: DUP1
00000e70: SWAP2
00000e71: DIV
00000e72: MUL
00000e73: PUSH1 0x20
00000e75: ADD
00000e76: PUSH1 0x40
00000e78: MLOAD
00000e79: SWAP1
00000e7a: DUP2
00000e7b: ADD
00000e7c: PUSH1 0x40
00000e7e: MSTORE
00000e7f: DUP1
00000e80: SWAP4
00000e81: SWAP3
00000e82: SWAP2
00000e83: SWAP1
00000e84: DUP2
00000e85: DUP2
00000e86: MSTORE
00000e87: PUSH1 0x20
00000e89: ADD
00000e8a: DUP4
00000e8b: DUP4
00000e8c: DUP1
00000e8d: DUP3
00000e8e: DUP5
00000e8f: CALLDATACOPY
00000e90: PUSH1 0x00
00000e92: DUP2
00000e93: DUP5
00000e94: ADD
00000e95: MSTORE
00000e96: PUSH1 0x1f
00000e98: NOT
00000e99: PUSH1 0x1f
00000e9b: DUP3
00000e9c: ADD
00000e9d: AND
00000e9e: SWAP1
00000e9f: POP
00000ea0: DUP1
00000ea1: DUP4
00000ea2: ADD
00000ea3: SWAP3
00000ea4: POP
00000ea5: POP
00000ea6: POP
00000ea7: POP
00000ea8: POP
00000ea9: POP
00000eaa: POP
00000eab: DUP13
00000eac: DUP13
00000ead: DUP1
00000eae: DUP1
00000eaf: PUSH1 0x1f
00000eb1: ADD
00000eb2: PUSH1 0x20
00000eb4: DUP1
00000eb5: SWAP2
00000eb6: DIV
00000eb7: MUL
00000eb8: PUSH1 0x20
00000eba: ADD
00000ebb: PUSH1 0x40
00000ebd: MLOAD
00000ebe: SWAP1
00000ebf: DUP2
00000ec0: ADD
00000ec1: PUSH1 0x40
00000ec3: MSTORE
00000ec4: DUP1
00000ec5: SWAP4
00000ec6: SWAP3
00000ec7: SWAP2
00000ec8: SWAP1
00000ec9: DUP2
00000eca: DUP2
00000ecb: MSTORE
00000ecc: PUSH1 0x20
00000ece: ADD
00000ecf: DUP4
00000ed0: DUP4
00000ed1: DUP1
00000ed2: DUP3
00000ed3: DUP5
00000ed4: CALLDATACOPY
00000ed5: PUSH1 0x00
00000ed7: SWAP3
00000ed8: ADD
00000ed9: SWAP2
00000eda: SWAP1
00000edb: SWAP2
00000edc: MSTORE
00000edd: POP
00000ede: DUP15
00000edf: SWAP3
00000ee0: POP
00000ee1: DUP14
00000ee2: SWAP2
00000ee3: POP
00000ee4: PUSH2 0x2201
00000ee7: SWAP1
00000ee8: POP
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: PUSH2 0x0f29
00000eee: DUP14
00000eef: DUP14
00000ef0: DUP1
00000ef1: DUP1
00000ef2: PUSH1 0x1f
00000ef4: ADD
00000ef5: PUSH1 0x20
00000ef7: DUP1
00000ef8: SWAP2
00000ef9: DIV
00000efa: MUL
00000efb: PUSH1 0x20
00000efd: ADD
00000efe: PUSH1 0x40
00000f00: MLOAD
00000f01: SWAP1
00000f02: DUP2
00000f03: ADD
00000f04: PUSH1 0x40
00000f06: MSTORE
00000f07: DUP1
00000f08: SWAP4
00000f09: SWAP3
00000f0a: SWAP2
00000f0b: SWAP1
00000f0c: DUP2
00000f0d: DUP2
00000f0e: MSTORE
00000f0f: PUSH1 0x20
00000f11: ADD
00000f12: DUP4
00000f13: DUP4
00000f14: DUP1
00000f15: DUP3
00000f16: DUP5
00000f17: CALLDATACOPY
00000f18: PUSH1 0x00
00000f1a: SWAP3
00000f1b: ADD
00000f1c: SWAP2
00000f1d: SWAP1
00000f1e: SWAP2
00000f1f: MSTORE
00000f20: POP
00000f21: PUSH2 0x2220
00000f24: SWAP3
00000f25: POP
00000f26: POP
00000f27: POP
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: PUSH1 0x0c
00000f2c: SLOAD
00000f2d: PUSH1 0x00
00000f2f: SWAP1
00000f30: PUSH1 0x01
00000f32: PUSH1 0x01
00000f34: PUSH1 0xa0
00000f36: SHL
00000f37: SUB
00000f38: AND
00000f39: GAS
00000f3a: PUSH1 0x40
00000f3c: DUP1
00000f3d: MLOAD
00000f3e: SWAP2
00000f3f: DUP7
00000f40: SUB
00000f41: PUSH1 0x24
00000f43: DUP4
00000f44: ADD
00000f45: MSTORE
00000f46: PUSH1 0x44
00000f48: DUP3
00000f49: ADD
00000f4a: DUP8
00000f4b: SWAP1
00000f4c: MSTORE
00000f4d: PUSH1 0x01
00000f4f: PUSH1 0x01
00000f51: PUSH1 0xa0
00000f53: SHL
00000f54: SUB
00000f55: DUP9
00000f56: AND
00000f57: PUSH1 0x64
00000f59: DUP1
00000f5a: DUP5
00000f5b: ADD
00000f5c: SWAP2
00000f5d: SWAP1
00000f5e: SWAP2
00000f5f: MSTORE
00000f60: DUP2
00000f61: MLOAD
00000f62: DUP1
00000f63: DUP5
00000f64: SUB
00000f65: SWAP1
00000f66: SWAP2
00000f67: ADD
00000f68: DUP2
00000f69: MSTORE
00000f6a: PUSH1 0x84
00000f6c: SWAP1
00000f6d: SWAP3
00000f6e: ADD
00000f6f: DUP2
00000f70: MSTORE
00000f71: PUSH1 0x20
00000f73: DUP3
00000f74: ADD
00000f75: DUP1
00000f76: MLOAD
00000f77: PUSH1 0x01
00000f79: PUSH1 0x01
00000f7b: PUSH1 0xe0
00000f7d: SHL
00000f7e: SUB
00000f7f: AND
00000f80: PUSH4 0x56aa7199
00000f85: PUSH1 0xe0
00000f87: SHL
00000f88: OR
00000f89: DUP2
00000f8a: MSTORE
00000f8b: SWAP1
00000f8c: MLOAD
00000f8d: DUP3
00000f8e: MLOAD
00000f8f: SWAP1
00000f90: SWAP2
00000f91: DUP3
00000f92: SWAP2
00000f93: DUP1
00000f94: DUP4
00000f95: DUP4
00000f96: JUMPDEST
00000f97: PUSH1 0x20
00000f99: DUP4
00000f9a: LT
00000f9b: PUSH2 0x0fb5
00000f9e: JUMPI
00000f9f: DUP1
00000fa0: MLOAD
00000fa1: DUP3
00000fa2: MSTORE
00000fa3: PUSH1 0x1f
00000fa5: NOT
00000fa6: SWAP1
00000fa7: SWAP3
00000fa8: ADD
00000fa9: SWAP2
00000faa: PUSH1 0x20
00000fac: SWAP2
00000fad: DUP3
00000fae: ADD
00000faf: SWAP2
00000fb0: ADD
00000fb1: PUSH2 0x0f96
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH1 0x01
00000fb8: DUP4
00000fb9: PUSH1 0x20
00000fbb: SUB
00000fbc: PUSH2 0x0100
00000fbf: EXP
00000fc0: SUB
00000fc1: DUP1
00000fc2: NOT
00000fc3: DUP3
00000fc4: MLOAD
00000fc5: AND
00000fc6: DUP2
00000fc7: DUP5
00000fc8: MLOAD
00000fc9: AND
00000fca: DUP1
00000fcb: DUP3
00000fcc: OR
00000fcd: DUP6
00000fce: MSTORE
00000fcf: POP
00000fd0: POP
00000fd1: POP
00000fd2: POP
00000fd3: POP
00000fd4: POP
00000fd5: SWAP1
00000fd6: POP
00000fd7: ADD
00000fd8: SWAP2
00000fd9: POP
00000fda: POP
00000fdb: PUSH1 0x00
00000fdd: PUSH1 0x40
00000fdf: MLOAD
00000fe0: DUP1
00000fe1: DUP4
00000fe2: SUB
00000fe3: DUP2
00000fe4: PUSH1 0x00
00000fe6: DUP7
00000fe7: GAS
00000fe8: CALL
00000fe9: SWAP2
00000fea: POP
00000feb: POP
00000fec: RETURNDATASIZE
00000fed: DUP1
00000fee: PUSH1 0x00
00000ff0: DUP2
00000ff1: EQ
00000ff2: PUSH2 0x1017
00000ff5: JUMPI
00000ff6: PUSH1 0x40
00000ff8: MLOAD
00000ff9: SWAP2
00000ffa: POP
00000ffb: PUSH1 0x1f
00000ffd: NOT
00000ffe: PUSH1 0x3f
00001000: RETURNDATASIZE
00001001: ADD
00001002: AND
00001003: DUP3
00001004: ADD
00001005: PUSH1 0x40
00001007: MSTORE
00001008: RETURNDATASIZE
00001009: DUP3
0000100a: MSTORE
0000100b: RETURNDATASIZE
0000100c: PUSH1 0x00
0000100e: PUSH1 0x20
00001010: DUP5
00001011: ADD
00001012: RETURNDATACOPY
00001013: PUSH2 0x101c
00001016: JUMP
00001017: JUMPDEST
00001018: PUSH1 0x60
0000101a: SWAP2
0000101b: POP
0000101c: JUMPDEST
0000101d: POP
0000101e: POP
0000101f: SWAP1
00001020: POP
00001021: DUP1
00001022: PUSH2 0x105c
00001025: JUMPI
00001026: PUSH1 0x40
00001028: MLOAD
00001029: PUSH3 0x461bcd
0000102d: PUSH1 0xe5
0000102f: SHL
00001030: DUP2
00001031: MSTORE
00001032: PUSH1 0x04
00001034: ADD
00001035: DUP1
00001036: DUP1
00001037: PUSH1 0x20
00001039: ADD
0000103a: DUP3
0000103b: DUP2
0000103c: SUB
0000103d: DUP3
0000103e: MSTORE
0000103f: PUSH1 0x26
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x20
00001045: ADD
00001046: DUP1
00001047: PUSH2 0x2fe6
0000104a: PUSH1 0x26
0000104c: SWAP2
0000104d: CODECOPY
0000104e: PUSH1 0x40
00001050: ADD
00001051: SWAP2
00001052: POP
00001053: POP
00001054: PUSH1 0x40
00001056: MLOAD
00001057: DUP1
00001058: SWAP2
00001059: SUB
0000105a: SWAP1
0000105b: REVERT
0000105c: JUMPDEST
0000105d: POP
0000105e: POP
0000105f: POP
00001060: POP
00001061: POP
00001062: POP
00001063: POP
00001064: POP
00001065: POP
00001066: POP
00001067: POP
00001068: POP
00001069: POP
0000106a: POP
0000106b: JUMP
0000106c: JUMPDEST
0000106d: PUSH1 0x0c
0000106f: SLOAD
00001070: PUSH1 0x01
00001072: PUSH1 0x01
00001074: PUSH1 0xa0
00001076: SHL
00001077: SUB
00001078: AND
00001079: DUP2
0000107a: JUMP
0000107b: JUMPDEST
0000107c: PUSH1 0x06
0000107e: SLOAD
0000107f: PUSH1 0x01
00001081: PUSH1 0x01
00001083: PUSH1 0xa0
00001085: SHL
00001086: SUB
00001087: AND
00001088: DUP2
00001089: JUMP
0000108a: JUMPDEST
0000108b: PUSH1 0x03
0000108d: SLOAD
0000108e: DUP2
0000108f: JUMP
00001090: JUMPDEST
00001091: PUSH1 0x09
00001093: PUSH1 0x20
00001095: SWAP1
00001096: DUP2
00001097: MSTORE
00001098: PUSH1 0x00
0000109a: SWAP3
0000109b: DUP4
0000109c: MSTORE
0000109d: PUSH1 0x40
0000109f: DUP1
000010a0: DUP5
000010a1: KECCAK256
000010a2: SWAP1
000010a3: SWAP2
000010a4: MSTORE
000010a5: SWAP1
000010a6: DUP3
000010a7: MSTORE
000010a8: SWAP1
000010a9: KECCAK256
000010aa: SLOAD
000010ab: DUP2
000010ac: JUMP
000010ad: JUMPDEST
000010ae: PUSH1 0x10
000010b0: DUP2
000010b1: DUP2
000010b2: SLOAD
000010b3: DUP2
000010b4: LT
000010b5: PUSH2 0x10ba
000010b8: JUMPI
000010b9: INVALID
000010ba: JUMPDEST
000010bb: PUSH1 0x00
000010bd: SWAP2
000010be: DUP3
000010bf: MSTORE
000010c0: PUSH1 0x20
000010c2: SWAP1
000010c3: SWAP2
000010c4: KECCAK256
000010c5: ADD
000010c6: SLOAD
000010c7: SWAP1
000010c8: POP
000010c9: DUP2
000010ca: JUMP
000010cb: JUMPDEST
000010cc: PUSH1 0x0e
000010ce: DUP2
000010cf: JUMP
000010d0: JUMPDEST
000010d1: PUSH2 0x10d8
000010d4: PUSH2 0x24ab
000010d7: JUMP
000010d8: JUMPDEST
000010d9: PUSH1 0x01
000010db: PUSH1 0x01
000010dd: PUSH1 0xa0
000010df: SHL
000010e0: SUB
000010e1: AND
000010e2: PUSH2 0x10e9
000010e5: PUSH2 0x149c
000010e8: JUMP
000010e9: JUMPDEST
000010ea: PUSH1 0x01
000010ec: PUSH1 0x01
000010ee: PUSH1 0xa0
000010f0: SHL
000010f1: SUB
000010f2: AND
000010f3: EQ
000010f4: PUSH2 0x1132
000010f7: JUMPI
000010f8: PUSH1 0x40
000010fa: DUP1
000010fb: MLOAD
000010fc: PUSH3 0x461bcd
00001100: PUSH1 0xe5
00001102: SHL
00001103: DUP2
00001104: MSTORE
00001105: PUSH1 0x20
00001107: PUSH1 0x04
00001109: DUP3
0000110a: ADD
0000110b: DUP2
0000110c: SWAP1
0000110d: MSTORE
0000110e: PUSH1 0x24
00001110: DUP3
00001111: ADD
00001112: MSTORE
00001113: PUSH1 0x00
00001115: DUP1
00001116: MLOAD
00001117: PUSH1 0x20
00001119: PUSH2 0x3117
0000111c: DUP4
0000111d: CODECOPY
0000111e: DUP2
0000111f: MLOAD
00001120: SWAP2
00001121: MSTORE
00001122: PUSH1 0x44
00001124: DUP3
00001125: ADD
00001126: MSTORE
00001127: SWAP1
00001128: MLOAD
00001129: SWAP1
0000112a: DUP2
0000112b: SWAP1
0000112c: SUB
0000112d: PUSH1 0x64
0000112f: ADD
00001130: SWAP1
00001131: REVERT
00001132: JUMPDEST
00001133: PUSH1 0x00
00001135: PUSH2 0x113d
00001138: DUP4
00001139: PUSH2 0x12dc
0000113c: JUMP
0000113d: JUMPDEST
0000113e: SWAP1
0000113f: POP
00001140: PUSH1 0x01
00001142: PUSH1 0x01
00001144: PUSH1 0xa0
00001146: SHL
00001147: SUB
00001148: DUP2
00001149: AND
0000114a: PUSH2 0x1184
0000114d: JUMPI
0000114e: PUSH1 0x40
00001150: MLOAD
00001151: PUSH3 0x461bcd
00001155: PUSH1 0xe5
00001157: SHL
00001158: DUP2
00001159: MSTORE
0000115a: PUSH1 0x04
0000115c: ADD
0000115d: DUP1
0000115e: DUP1
0000115f: PUSH1 0x20
00001161: ADD
00001162: DUP3
00001163: DUP2
00001164: SUB
00001165: DUP3
00001166: MSTORE
00001167: PUSH1 0x28
00001169: DUP2
0000116a: MSTORE
0000116b: PUSH1 0x20
0000116d: ADD
0000116e: DUP1
0000116f: PUSH2 0x30a9
00001172: PUSH1 0x28
00001174: SWAP2
00001175: CODECOPY
00001176: PUSH1 0x40
00001178: ADD
00001179: SWAP2
0000117a: POP
0000117b: POP
0000117c: PUSH1 0x40
0000117e: MLOAD
0000117f: DUP1
00001180: SWAP2
00001181: SUB
00001182: SWAP1
00001183: REVERT
00001184: JUMPDEST
00001185: PUSH1 0x01
00001187: PUSH1 0x01
00001189: PUSH1 0xa0
0000118b: SHL
0000118c: SUB
0000118d: AND
0000118e: PUSH1 0x00
00001190: SWAP1
00001191: DUP2
00001192: MSTORE
00001193: PUSH1 0x08
00001195: PUSH1 0x20
00001197: MSTORE
00001198: PUSH1 0x40
0000119a: SWAP1
0000119b: KECCAK256
0000119c: DUP1
0000119d: SLOAD
0000119e: PUSH1 0xff
000011a0: NOT
000011a1: AND
000011a2: SWAP2
000011a3: ISZERO
000011a4: ISZERO
000011a5: SWAP2
000011a6: SWAP1
000011a7: SWAP2
000011a8: OR
000011a9: SWAP1
000011aa: SSTORE
000011ab: POP
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH1 0x60
000011b0: PUSH1 0x0d
000011b2: DUP1
000011b3: SLOAD
000011b4: DUP1
000011b5: PUSH1 0x20
000011b7: MUL
000011b8: PUSH1 0x20
000011ba: ADD
000011bb: PUSH1 0x40
000011bd: MLOAD
000011be: SWAP1
000011bf: DUP2
000011c0: ADD
000011c1: PUSH1 0x40
000011c3: MSTORE
000011c4: DUP1
000011c5: SWAP3
000011c6: SWAP2
000011c7: SWAP1
000011c8: DUP2
000011c9: DUP2
000011ca: MSTORE
000011cb: PUSH1 0x20
000011cd: ADD
000011ce: DUP3
000011cf: DUP1
000011d0: SLOAD
000011d1: DUP1
000011d2: ISZERO
000011d3: PUSH2 0x11fb
000011d6: JUMPI
000011d7: PUSH1 0x20
000011d9: MUL
000011da: DUP3
000011db: ADD
000011dc: SWAP2
000011dd: SWAP1
000011de: PUSH1 0x00
000011e0: MSTORE
000011e1: PUSH1 0x20
000011e3: PUSH1 0x00
000011e5: KECCAK256
000011e6: SWAP1
000011e7: JUMPDEST
000011e8: DUP2
000011e9: SLOAD
000011ea: DUP2
000011eb: MSTORE
000011ec: PUSH1 0x20
000011ee: ADD
000011ef: SWAP1
000011f0: PUSH1 0x01
000011f2: ADD
000011f3: SWAP1
000011f4: DUP1
000011f5: DUP4
000011f6: GT
000011f7: PUSH2 0x11e7
000011fa: JUMPI
000011fb: JUMPDEST
000011fc: POP
000011fd: POP
000011fe: POP
000011ff: POP
00001200: POP
00001201: SWAP1
00001202: POP
00001203: SWAP1
00001204: JUMP
00001205: JUMPDEST
00001206: PUSH1 0x04
00001208: SLOAD
00001209: DUP2
0000120a: JUMP
0000120b: JUMPDEST
0000120c: PUSH2 0x1213
0000120f: PUSH2 0x24ab
00001212: JUMP
00001213: JUMPDEST
00001214: PUSH1 0x01
00001216: PUSH1 0x01
00001218: PUSH1 0xa0
0000121a: SHL
0000121b: SUB
0000121c: AND
0000121d: PUSH2 0x1224
00001220: PUSH2 0x149c
00001223: JUMP
00001224: JUMPDEST
00001225: PUSH1 0x01
00001227: PUSH1 0x01
00001229: PUSH1 0xa0
0000122b: SHL
0000122c: SUB
0000122d: AND
0000122e: EQ
0000122f: PUSH2 0x126d
00001232: JUMPI
00001233: PUSH1 0x40
00001235: DUP1
00001236: MLOAD
00001237: PUSH3 0x461bcd
0000123b: PUSH1 0xe5
0000123d: SHL
0000123e: DUP2
0000123f: MSTORE
00001240: PUSH1 0x20
00001242: PUSH1 0x04
00001244: DUP3
00001245: ADD
00001246: DUP2
00001247: SWAP1
00001248: MSTORE
00001249: PUSH1 0x24
0000124b: DUP3
0000124c: ADD
0000124d: MSTORE
0000124e: PUSH1 0x00
00001250: DUP1
00001251: MLOAD
00001252: PUSH1 0x20
00001254: PUSH2 0x3117
00001257: DUP4
00001258: CODECOPY
00001259: DUP2
0000125a: MLOAD
0000125b: SWAP2
0000125c: MSTORE
0000125d: PUSH1 0x44
0000125f: DUP3
00001260: ADD
00001261: MSTORE
00001262: SWAP1
00001263: MLOAD
00001264: SWAP1
00001265: DUP2
00001266: SWAP1
00001267: SUB
00001268: PUSH1 0x64
0000126a: ADD
0000126b: SWAP1
0000126c: REVERT
0000126d: JUMPDEST
0000126e: PUSH1 0x06
00001270: DUP1
00001271: SLOAD
00001272: PUSH1 0x01
00001274: PUSH1 0x01
00001276: PUSH1 0xa0
00001278: SHL
00001279: SUB
0000127a: NOT
0000127b: AND
0000127c: PUSH1 0x01
0000127e: PUSH1 0x01
00001280: PUSH1 0xa0
00001282: SHL
00001283: SUB
00001284: DUP4
00001285: AND
00001286: SWAP1
00001287: DUP2
00001288: OR
00001289: SWAP1
0000128a: SWAP2
0000128b: SSTORE
0000128c: PUSH1 0x40
0000128e: MLOAD
0000128f: PUSH32 0xd24015cc99cc1700cafca3042840a1d8ac1e3964fd2e0e37ea29c654056ee327
000012b0: SWAP1
000012b1: PUSH1 0x00
000012b3: SWAP1
000012b4: LOG2
000012b5: POP
000012b6: JUMP
000012b7: JUMPDEST
000012b8: PUSH1 0x0b
000012ba: PUSH1 0x20
000012bc: MSTORE
000012bd: PUSH1 0x00
000012bf: SWAP1
000012c0: DUP2
000012c1: MSTORE
000012c2: PUSH1 0x40
000012c4: SWAP1
000012c5: KECCAK256
000012c6: SLOAD
000012c7: PUSH1 0xff
000012c9: AND
000012ca: DUP2
000012cb: JUMP
000012cc: JUMPDEST
000012cd: PUSH1 0x00
000012cf: SLOAD
000012d0: PUSH1 0x01
000012d2: PUSH1 0xa0
000012d4: SHL
000012d5: SWAP1
000012d6: DIV
000012d7: PUSH1 0xff
000012d9: AND
000012da: SWAP1
000012db: JUMP
000012dc: JUMPDEST
000012dd: PUSH1 0x00
000012df: DUP2
000012e0: PUSH2 0x12eb
000012e3: JUMPI
000012e4: POP
000012e5: PUSH1 0x00
000012e7: PUSH2 0x1313
000012ea: JUMP
000012eb: JUMPDEST
000012ec: PUSH1 0x07
000012ee: PUSH1 0x01
000012f0: DUP4
000012f1: SUB
000012f2: DUP2
000012f3: SLOAD
000012f4: DUP2
000012f5: LT
000012f6: PUSH2 0x12fb
000012f9: JUMPI
000012fa: INVALID
000012fb: JUMPDEST
000012fc: PUSH1 0x00
000012fe: SWAP2
000012ff: DUP3
00001300: MSTORE
00001301: PUSH1 0x20
00001303: SWAP1
00001304: SWAP2
00001305: KECCAK256
00001306: ADD
00001307: SLOAD
00001308: PUSH1 0x01
0000130a: PUSH1 0x01
0000130c: PUSH1 0xa0
0000130e: SHL
0000130f: SUB
00001310: AND
00001311: SWAP1
00001312: POP
00001313: JUMPDEST
00001314: SWAP2
00001315: SWAP1
00001316: POP
00001317: JUMP
00001318: JUMPDEST
00001319: PUSH1 0x60
0000131b: PUSH1 0x10
0000131d: DUP1
0000131e: SLOAD
0000131f: DUP1
00001320: PUSH1 0x20
00001322: MUL
00001323: PUSH1 0x20
00001325: ADD
00001326: PUSH1 0x40
00001328: MLOAD
00001329: SWAP1
0000132a: DUP2
0000132b: ADD
0000132c: PUSH1 0x40
0000132e: MSTORE
0000132f: DUP1
00001330: SWAP3
00001331: SWAP2
00001332: SWAP1
00001333: DUP2
00001334: DUP2
00001335: MSTORE
00001336: PUSH1 0x20
00001338: ADD
00001339: DUP3
0000133a: DUP1
0000133b: SLOAD
0000133c: DUP1
0000133d: ISZERO
0000133e: PUSH2 0x11fb
00001341: JUMPI
00001342: PUSH1 0x20
00001344: MUL
00001345: DUP3
00001346: ADD
00001347: SWAP2
00001348: SWAP1
00001349: PUSH1 0x00
0000134b: MSTORE
0000134c: PUSH1 0x20
0000134e: PUSH1 0x00
00001350: KECCAK256
00001351: SWAP1
00001352: DUP2
00001353: SLOAD
00001354: DUP2
00001355: MSTORE
00001356: PUSH1 0x20
00001358: ADD
00001359: SWAP1
0000135a: PUSH1 0x01
0000135c: ADD
0000135d: SWAP1
0000135e: DUP1
0000135f: DUP4
00001360: GT
00001361: PUSH2 0x11e7
00001364: JUMPI
00001365: POP
00001366: POP
00001367: POP
00001368: POP
00001369: POP
0000136a: SWAP1
0000136b: POP
0000136c: SWAP1
0000136d: JUMP
0000136e: JUMPDEST
0000136f: PUSH2 0x0180
00001372: DUP2
00001373: JUMP
00001374: JUMPDEST
00001375: PUSH1 0x01
00001377: SLOAD
00001378: DUP2
00001379: JUMP
0000137a: JUMPDEST
0000137b: PUSH2 0x1382
0000137e: PUSH2 0x24ab
00001381: JUMP
00001382: JUMPDEST
00001383: PUSH1 0x01
00001385: PUSH1 0x01
00001387: PUSH1 0xa0
00001389: SHL
0000138a: SUB
0000138b: AND
0000138c: PUSH2 0x1393
0000138f: PUSH2 0x149c
00001392: JUMP
00001393: JUMPDEST
00001394: PUSH1 0x01
00001396: PUSH1 0x01
00001398: PUSH1 0xa0
0000139a: SHL
0000139b: SUB
0000139c: AND
0000139d: EQ
0000139e: PUSH2 0x13dc
000013a1: JUMPI
000013a2: PUSH1 0x40
000013a4: DUP1
000013a5: MLOAD
000013a6: PUSH3 0x461bcd
000013aa: PUSH1 0xe5
000013ac: SHL
000013ad: DUP2
000013ae: MSTORE
000013af: PUSH1 0x20
000013b1: PUSH1 0x04
000013b3: DUP3
000013b4: ADD
000013b5: DUP2
000013b6: SWAP1
000013b7: MSTORE
000013b8: PUSH1 0x24
000013ba: DUP3
000013bb: ADD
000013bc: MSTORE
000013bd: PUSH1 0x00
000013bf: DUP1
000013c0: MLOAD
000013c1: PUSH1 0x20
000013c3: PUSH2 0x3117
000013c6: DUP4
000013c7: CODECOPY
000013c8: DUP2
000013c9: MLOAD
000013ca: SWAP2
000013cb: MSTORE
000013cc: PUSH1 0x44
000013ce: DUP3
000013cf: ADD
000013d0: MSTORE
000013d1: SWAP1
000013d2: MLOAD
000013d3: SWAP1
000013d4: DUP2
000013d5: SWAP1
000013d6: SUB
000013d7: PUSH1 0x64
000013d9: ADD
000013da: SWAP1
000013db: REVERT
000013dc: JUMPDEST
000013dd: PUSH1 0x00
000013df: DUP1
000013e0: SLOAD
000013e1: PUSH1 0x40
000013e3: MLOAD
000013e4: PUSH1 0x01
000013e6: PUSH1 0x01
000013e8: PUSH1 0xa0
000013ea: SHL
000013eb: SUB
000013ec: SWAP1
000013ed: SWAP2
000013ee: AND
000013ef: SWAP1
000013f0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001411: SWAP1
00001412: DUP4
00001413: SWAP1
00001414: LOG3
00001415: PUSH1 0x00
00001417: DUP1
00001418: SLOAD
00001419: PUSH1 0x01
0000141b: PUSH1 0x01
0000141d: PUSH1 0xa0
0000141f: SHL
00001420: SUB
00001421: NOT
00001422: AND
00001423: SWAP1
00001424: SSTORE
00001425: JUMP
00001426: JUMPDEST
00001427: PUSH1 0x0a
00001429: PUSH1 0x20
0000142b: SWAP1
0000142c: DUP2
0000142d: MSTORE
0000142e: PUSH1 0x00
00001430: SWAP3
00001431: DUP4
00001432: MSTORE
00001433: PUSH1 0x40
00001435: DUP1
00001436: DUP5
00001437: KECCAK256
00001438: SWAP1
00001439: SWAP2
0000143a: MSTORE
0000143b: SWAP1
0000143c: DUP3
0000143d: MSTORE
0000143e: SWAP1
0000143f: KECCAK256
00001440: SLOAD
00001441: PUSH1 0xff
00001443: AND
00001444: DUP2
00001445: JUMP
00001446: JUMPDEST
00001447: PUSH1 0x60
00001449: PUSH1 0x0f
0000144b: DUP1
0000144c: SLOAD
0000144d: DUP1
0000144e: PUSH1 0x20
00001450: MUL
00001451: PUSH1 0x20
00001453: ADD
00001454: PUSH1 0x40
00001456: MLOAD
00001457: SWAP1
00001458: DUP2
00001459: ADD
0000145a: PUSH1 0x40
0000145c: MSTORE
0000145d: DUP1
0000145e: SWAP3
0000145f: SWAP2
00001460: SWAP1
00001461: DUP2
00001462: DUP2
00001463: MSTORE
00001464: PUSH1 0x20
00001466: ADD
00001467: DUP3
00001468: DUP1
00001469: SLOAD
0000146a: DUP1
0000146b: ISZERO
0000146c: PUSH2 0x11fb
0000146f: JUMPI
00001470: PUSH1 0x20
00001472: MUL
00001473: DUP3
00001474: ADD
00001475: SWAP2
00001476: SWAP1
00001477: PUSH1 0x00
00001479: MSTORE
0000147a: PUSH1 0x20
0000147c: PUSH1 0x00
0000147e: KECCAK256
0000147f: SWAP1
00001480: DUP2
00001481: SLOAD
00001482: DUP2
00001483: MSTORE
00001484: PUSH1 0x20
00001486: ADD
00001487: SWAP1
00001488: PUSH1 0x01
0000148a: ADD
0000148b: SWAP1
0000148c: DUP1
0000148d: DUP4
0000148e: GT
0000148f: PUSH2 0x11e7
00001492: JUMPI
00001493: POP
00001494: POP
00001495: POP
00001496: POP
00001497: POP
00001498: SWAP1
00001499: POP
0000149a: SWAP1
0000149b: JUMP
0000149c: JUMPDEST
0000149d: PUSH1 0x00
0000149f: SLOAD
000014a0: PUSH1 0x01
000014a2: PUSH1 0x01
000014a4: PUSH1 0xa0
000014a6: SHL
000014a7: SUB
000014a8: AND
000014a9: SWAP1
000014aa: JUMP
000014ab: JUMPDEST
000014ac: PUSH2 0x14b3
000014af: PUSH2 0x24ab
000014b2: JUMP
000014b3: JUMPDEST
000014b4: PUSH1 0x01
000014b6: PUSH1 0x01
000014b8: PUSH1 0xa0
000014ba: SHL
000014bb: SUB
000014bc: AND
000014bd: PUSH2 0x14c4
000014c0: PUSH2 0x149c
000014c3: JUMP
000014c4: JUMPDEST
000014c5: PUSH1 0x01
000014c7: PUSH1 0x01
000014c9: PUSH1 0xa0
000014cb: SHL
000014cc: SUB
000014cd: AND
000014ce: EQ
000014cf: PUSH2 0x150d
000014d2: JUMPI
000014d3: PUSH1 0x40
000014d5: DUP1
000014d6: MLOAD
000014d7: PUSH3 0x461bcd
000014db: PUSH1 0xe5
000014dd: SHL
000014de: DUP2
000014df: MSTORE
000014e0: PUSH1 0x20
000014e2: PUSH1 0x04
000014e4: DUP3
000014e5: ADD
000014e6: DUP2
000014e7: SWAP1
000014e8: MSTORE
000014e9: PUSH1 0x24
000014eb: DUP3
000014ec: ADD
000014ed: MSTORE
000014ee: PUSH1 0x00
000014f0: DUP1
000014f1: MLOAD
000014f2: PUSH1 0x20
000014f4: PUSH2 0x3117
000014f7: DUP4
000014f8: CODECOPY
000014f9: DUP2
000014fa: MLOAD
000014fb: SWAP2
000014fc: MSTORE
000014fd: PUSH1 0x44
000014ff: DUP3
00001500: ADD
00001501: MSTORE
00001502: SWAP1
00001503: MLOAD
00001504: SWAP1
00001505: DUP2
00001506: SWAP1
00001507: SUB
00001508: PUSH1 0x64
0000150a: ADD
0000150b: SWAP1
0000150c: REVERT
0000150d: JUMPDEST
0000150e: PUSH1 0x01
00001510: PUSH1 0x01
00001512: PUSH1 0xa0
00001514: SHL
00001515: SUB
00001516: DUP3
00001517: AND
00001518: PUSH1 0x00
0000151a: DUP2
0000151b: DUP2
0000151c: MSTORE
0000151d: PUSH1 0x0b
0000151f: PUSH1 0x20
00001521: SWAP1
00001522: DUP2
00001523: MSTORE
00001524: PUSH1 0x40
00001526: SWAP2
00001527: DUP3
00001528: SWAP1
00001529: KECCAK256
0000152a: DUP1
0000152b: SLOAD
0000152c: PUSH1 0xff
0000152e: NOT
0000152f: AND
00001530: DUP6
00001531: ISZERO
00001532: ISZERO
00001533: SWAP1
00001534: DUP2
00001535: OR
00001536: SWAP1
00001537: SWAP2
00001538: SSTORE
00001539: DUP3
0000153a: MLOAD
0000153b: SWAP1
0000153c: DUP2
0000153d: MSTORE
0000153e: SWAP2
0000153f: MLOAD
00001540: PUSH32 0x46359ce9dbb6c7f9a375b44072210287916d3de725fc8927a8e762047e4a8424
00001561: SWAP3
00001562: DUP2
00001563: SWAP1
00001564: SUB
00001565: SWAP1
00001566: SWAP2
00001567: ADD
00001568: SWAP1
00001569: LOG2
0000156a: POP
0000156b: POP
0000156c: JUMP
0000156d: JUMPDEST
0000156e: PUSH1 0x02
00001570: SLOAD
00001571: DUP2
00001572: JUMP
00001573: JUMPDEST
00001574: PUSH1 0x0f
00001576: DUP2
00001577: DUP2
00001578: SLOAD
00001579: DUP2
0000157a: LT
0000157b: PUSH2 0x10ba
0000157e: JUMPI
0000157f: INVALID
00001580: JUMPDEST
00001581: PUSH1 0x00
00001583: DUP3
00001584: DUP2
00001585: MSTORE
00001586: PUSH1 0x09
00001588: PUSH1 0x20
0000158a: SWAP1
0000158b: DUP2
0000158c: MSTORE
0000158d: PUSH1 0x40
0000158f: DUP1
00001590: DUP4
00001591: KECCAK256
00001592: PUSH1 0x01
00001594: PUSH1 0x01
00001596: PUSH1 0xa0
00001598: SHL
00001599: SUB
0000159a: DUP6
0000159b: AND
0000159c: DUP5
0000159d: MSTORE
0000159e: SWAP1
0000159f: SWAP2
000015a0: MSTORE
000015a1: SWAP1
000015a2: KECCAK256
000015a3: SLOAD
000015a4: JUMPDEST
000015a5: SWAP3
000015a6: SWAP2
000015a7: POP
000015a8: POP
000015a9: JUMP
000015aa: JUMPDEST
000015ab: PUSH1 0x0c
000015ad: DUP2
000015ae: JUMP
000015af: JUMPDEST
000015b0: PUSH32 0x00000000000000000000000000000000000000000000000000000000000011d0
000015d1: DUP2
000015d2: JUMP
000015d3: JUMPDEST
000015d4: PUSH1 0x60
000015d6: PUSH1 0x0e
000015d8: DUP1
000015d9: SLOAD
000015da: DUP1
000015db: PUSH1 0x20
000015dd: MUL
000015de: PUSH1 0x20
000015e0: ADD
000015e1: PUSH1 0x40
000015e3: MLOAD
000015e4: SWAP1
000015e5: DUP2
000015e6: ADD
000015e7: PUSH1 0x40
000015e9: MSTORE
000015ea: DUP1
000015eb: SWAP3
000015ec: SWAP2
000015ed: SWAP1
000015ee: DUP2
000015ef: DUP2
000015f0: MSTORE
000015f1: PUSH1 0x20
000015f3: ADD
000015f4: DUP3
000015f5: DUP1
000015f6: SLOAD
000015f7: DUP1
000015f8: ISZERO
000015f9: PUSH2 0x11fb
000015fc: JUMPI
000015fd: PUSH1 0x20
000015ff: MUL
00001600: DUP3
00001601: ADD
00001602: SWAP2
00001603: SWAP1
00001604: PUSH1 0x00
00001606: MSTORE
00001607: PUSH1 0x20
00001609: PUSH1 0x00
0000160b: KECCAK256
0000160c: SWAP1
0000160d: DUP2
0000160e: SLOAD
0000160f: DUP2
00001610: MSTORE
00001611: PUSH1 0x20
00001613: ADD
00001614: SWAP1
00001615: PUSH1 0x01
00001617: ADD
00001618: SWAP1
00001619: DUP1
0000161a: DUP4
0000161b: GT
0000161c: PUSH2 0x11e7
0000161f: JUMPI
00001620: POP
00001621: POP
00001622: POP
00001623: POP
00001624: POP
00001625: SWAP1
00001626: POP
00001627: SWAP1
00001628: JUMP
00001629: JUMPDEST
0000162a: PUSH1 0x00
0000162c: DUP1
0000162d: NUMBER
0000162e: DUP2
0000162f: PUSH32 0x00000000000000000000000000000000000000000000000000000000000011d0
00001650: PUSH32 0x00000000000000000000000000000000000000000000000000000000000012c0
00001671: DUP4
00001672: DUP2
00001673: PUSH2 0x1678
00001676: JUMPI
00001677: INVALID
00001678: JUMPDEST
00001679: MOD
0000167a: LT
0000167b: DUP1
0000167c: ISZERO
0000167d: SWAP2
0000167e: POP
0000167f: PUSH1 0x00
00001681: SWAP1
00001682: PUSH2 0x16d8
00001685: JUMPI
00001686: PUSH32 0x00000000000000000000000000000000000000000000000000000000000012c0
000016a7: DUP4
000016a8: DUP2
000016a9: PUSH2 0x16ae
000016ac: JUMPI
000016ad: INVALID
000016ae: JUMPDEST
000016af: MOD
000016b0: PUSH32 0x00000000000000000000000000000000000000000000000000000000000012c0
000016d1: SUB
000016d2: SWAP1
000016d3: POP
000016d4: PUSH2 0x1727
000016d7: JUMP
000016d8: JUMPDEST
000016d9: PUSH32 0x00000000000000000000000000000000000000000000000000000000000012c0
000016fa: DUP4
000016fb: DUP2
000016fc: PUSH2 0x1701
000016ff: JUMPI
00001700: INVALID
00001701: JUMPDEST
00001702: MOD
00001703: PUSH32 0x00000000000000000000000000000000000000000000000000000000000011d0
00001724: SUB
00001725: SWAP1
00001726: POP
00001727: JUMPDEST
00001728: SWAP1
00001729: SWAP4
0000172a: POP
0000172b: SWAP2
0000172c: POP
0000172d: POP
0000172e: SWAP1
0000172f: SWAP2
00001730: JUMP
00001731: JUMPDEST
00001732: PUSH1 0x07
00001734: DUP2
00001735: DUP2
00001736: SLOAD
00001737: DUP2
00001738: LT
00001739: PUSH2 0x173e
0000173c: JUMPI
0000173d: INVALID
0000173e: JUMPDEST
0000173f: PUSH1 0x00
00001741: SWAP2
00001742: DUP3
00001743: MSTORE
00001744: PUSH1 0x20
00001746: SWAP1
00001747: SWAP2
00001748: KECCAK256
00001749: ADD
0000174a: SLOAD
0000174b: PUSH1 0x01
0000174d: PUSH1 0x01
0000174f: PUSH1 0xa0
00001751: SHL
00001752: SUB
00001753: AND
00001754: SWAP1
00001755: POP
00001756: DUP2
00001757: JUMP
00001758: JUMPDEST
00001759: PUSH1 0x0e
0000175b: DUP2
0000175c: DUP2
0000175d: SLOAD
0000175e: DUP2
0000175f: LT
00001760: PUSH2 0x10ba
00001763: JUMPI
00001764: INVALID
00001765: JUMPDEST
00001766: PUSH2 0x176d
00001769: PUSH2 0x24ab
0000176c: JUMP
0000176d: JUMPDEST
0000176e: PUSH1 0x01
00001770: PUSH1 0x01
00001772: PUSH1 0xa0
00001774: SHL
00001775: SUB
00001776: AND
00001777: PUSH2 0x177e
0000177a: PUSH2 0x149c
0000177d: JUMP
0000177e: JUMPDEST
0000177f: PUSH1 0x01
00001781: PUSH1 0x01
00001783: PUSH1 0xa0
00001785: SHL
00001786: SUB
00001787: AND
00001788: EQ
00001789: PUSH2 0x17c7
0000178c: JUMPI
0000178d: PUSH1 0x40
0000178f: DUP1
00001790: MLOAD
00001791: PUSH3 0x461bcd
00001795: PUSH1 0xe5
00001797: SHL
00001798: DUP2
00001799: MSTORE
0000179a: PUSH1 0x20
0000179c: PUSH1 0x04
0000179e: DUP3
0000179f: ADD
000017a0: DUP2
000017a1: SWAP1
000017a2: MSTORE
000017a3: PUSH1 0x24
000017a5: DUP3
000017a6: ADD
000017a7: MSTORE
000017a8: PUSH1 0x00
000017aa: DUP1
000017ab: MLOAD
000017ac: PUSH1 0x20
000017ae: PUSH2 0x3117
000017b1: DUP4
000017b2: CODECOPY
000017b3: DUP2
000017b4: MLOAD
000017b5: SWAP2
000017b6: MSTORE
000017b7: PUSH1 0x44
000017b9: DUP3
000017ba: ADD
000017bb: MSTORE
000017bc: SWAP1
000017bd: MLOAD
000017be: SWAP1
000017bf: DUP2
000017c0: SWAP1
000017c1: SUB
000017c2: PUSH1 0x64
000017c4: ADD
000017c5: SWAP1
000017c6: REVERT
000017c7: JUMPDEST
000017c8: PUSH1 0x0c
000017ca: DUP1
000017cb: SLOAD
000017cc: PUSH1 0x01
000017ce: PUSH1 0x01
000017d0: PUSH1 0xa0
000017d2: SHL
000017d3: SUB
000017d4: NOT
000017d5: AND
000017d6: PUSH1 0x01
000017d8: PUSH1 0x01
000017da: PUSH1 0xa0
000017dc: SHL
000017dd: SUB
000017de: SWAP3
000017df: SWAP1
000017e0: SWAP3
000017e1: AND
000017e2: SWAP2
000017e3: SWAP1
000017e4: SWAP2
000017e5: OR
000017e6: SWAP1
000017e7: SSTORE
000017e8: JUMP
000017e9: JUMPDEST
000017ea: PUSH2 0x17f1
000017ed: PUSH2 0x12cc
000017f0: JUMP
000017f1: JUMPDEST
000017f2: ISZERO
000017f3: PUSH2 0x1836
000017f6: JUMPI
000017f7: PUSH1 0x40
000017f9: DUP1
000017fa: MLOAD
000017fb: PUSH3 0x461bcd
000017ff: PUSH1 0xe5
00001801: SHL
00001802: DUP2
00001803: MSTORE
00001804: PUSH1 0x20
00001806: PUSH1 0x04
00001808: DUP3
00001809: ADD
0000180a: MSTORE
0000180b: PUSH1 0x10
0000180d: PUSH1 0x24
0000180f: DUP3
00001810: ADD
00001811: MSTORE
00001812: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001823: PUSH1 0x82
00001825: SHL
00001826: PUSH1 0x44
00001828: DUP3
00001829: ADD
0000182a: MSTORE
0000182b: SWAP1
0000182c: MLOAD
0000182d: SWAP1
0000182e: DUP2
0000182f: SWAP1
00001830: SUB
00001831: PUSH1 0x64
00001833: ADD
00001834: SWAP1
00001835: REVERT
00001836: JUMPDEST
00001837: PUSH1 0x00
00001839: PUSH2 0x1840
0000183c: PUSH2 0x1629
0000183f: JUMP
00001840: JUMPDEST
00001841: POP
00001842: SWAP1
00001843: POP
00001844: DUP1
00001845: PUSH2 0x187f
00001848: JUMPI
00001849: PUSH1 0x40
0000184b: MLOAD
0000184c: PUSH3 0x461bcd
00001850: PUSH1 0xe5
00001852: SHL
00001853: DUP2
00001854: MSTORE
00001855: PUSH1 0x04
00001857: ADD
00001858: DUP1
00001859: DUP1
0000185a: PUSH1 0x20
0000185c: ADD
0000185d: DUP3
0000185e: DUP2
0000185f: SUB
00001860: DUP3
00001861: MSTORE
00001862: PUSH1 0x2e
00001864: DUP2
00001865: MSTORE
00001866: PUSH1 0x20
00001868: ADD
00001869: DUP1
0000186a: PUSH2 0x2fb8
0000186d: PUSH1 0x2e
0000186f: SWAP2
00001870: CODECOPY
00001871: PUSH1 0x40
00001873: ADD
00001874: SWAP2
00001875: POP
00001876: POP
00001877: PUSH1 0x40
00001879: MLOAD
0000187a: DUP1
0000187b: SWAP2
0000187c: SUB
0000187d: SWAP1
0000187e: REVERT
0000187f: JUMPDEST
00001880: PUSH2 0x18f6
00001883: DUP8
00001884: DUP8
00001885: DUP1
00001886: DUP1
00001887: PUSH1 0x1f
00001889: ADD
0000188a: PUSH1 0x20
0000188c: DUP1
0000188d: SWAP2
0000188e: DIV
0000188f: MUL
00001890: PUSH1 0x20
00001892: ADD
00001893: PUSH1 0x40
00001895: MLOAD
00001896: SWAP1
00001897: DUP2
00001898: ADD
00001899: PUSH1 0x40
0000189b: MSTORE
0000189c: DUP1
0000189d: SWAP4
0000189e: SWAP3
0000189f: SWAP2
000018a0: SWAP1
000018a1: DUP2
000018a2: DUP2
000018a3: MSTORE
000018a4: PUSH1 0x20
000018a6: ADD
000018a7: DUP4
000018a8: DUP4
000018a9: DUP1
000018aa: DUP3
000018ab: DUP5
000018ac: CALLDATACOPY
000018ad: PUSH1 0x00
000018af: SWAP3
000018b0: ADD
000018b1: SWAP2
000018b2: SWAP1
000018b3: SWAP2
000018b4: MSTORE
000018b5: POP
000018b6: POP
000018b7: PUSH1 0x40
000018b9: DUP1
000018ba: MLOAD
000018bb: PUSH1 0x20
000018bd: PUSH1 0x1f
000018bf: DUP12
000018c0: ADD
000018c1: DUP2
000018c2: SWAP1
000018c3: DIV
000018c4: DUP2
000018c5: MUL
000018c6: DUP3
000018c7: ADD
000018c8: DUP2
000018c9: ADD
000018ca: SWAP1
000018cb: SWAP3
000018cc: MSTORE
000018cd: DUP10
000018ce: DUP2
000018cf: MSTORE
000018d0: SWAP3
000018d1: POP
000018d2: DUP10
000018d3: SWAP2
000018d4: POP
000018d5: DUP9
000018d6: SWAP1
000018d7: DUP2
000018d8: SWAP1
000018d9: DUP5
000018da: ADD
000018db: DUP4
000018dc: DUP3
000018dd: DUP1
000018de: DUP3
000018df: DUP5
000018e0: CALLDATACOPY
000018e1: PUSH1 0x00
000018e3: SWAP3
000018e4: ADD
000018e5: SWAP2
000018e6: SWAP1
000018e7: SWAP2
000018e8: MSTORE
000018e9: POP
000018ea: DUP9
000018eb: SWAP3
000018ec: POP
000018ed: DUP8
000018ee: SWAP2
000018ef: POP
000018f0: PUSH2 0x2201
000018f3: SWAP1
000018f4: POP
000018f5: JUMP
000018f6: JUMPDEST
000018f7: POP
000018f8: POP
000018f9: POP
000018fa: POP
000018fb: POP
000018fc: POP
000018fd: POP
000018fe: JUMP
000018ff: JUMPDEST
00001900: PUSH2 0x1907
00001903: PUSH2 0x12cc
00001906: JUMP
00001907: JUMPDEST
00001908: ISZERO
00001909: PUSH2 0x194c
0000190c: JUMPI
0000190d: PUSH1 0x40
0000190f: DUP1
00001910: MLOAD
00001911: PUSH3 0x461bcd
00001915: PUSH1 0xe5
00001917: SHL
00001918: DUP2
00001919: MSTORE
0000191a: PUSH1 0x20
0000191c: PUSH1 0x04
0000191e: DUP3
0000191f: ADD
00001920: MSTORE
00001921: PUSH1 0x10
00001923: PUSH1 0x24
00001925: DUP3
00001926: ADD
00001927: MSTORE
00001928: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001939: PUSH1 0x82
0000193b: SHL
0000193c: PUSH1 0x44
0000193e: DUP3
0000193f: ADD
00001940: MSTORE
00001941: SWAP1
00001942: MLOAD
00001943: SWAP1
00001944: DUP2
00001945: SWAP1
00001946: SUB
00001947: PUSH1 0x64
00001949: ADD
0000194a: SWAP1
0000194b: REVERT
0000194c: JUMPDEST
0000194d: DUP3
0000194e: PUSH2 0x19b5
00001951: JUMPI
00001952: DUP2
00001953: CALLVALUE
00001954: EQ
00001955: PUSH2 0x19a5
00001958: JUMPI
00001959: PUSH1 0x40
0000195b: DUP1
0000195c: MLOAD
0000195d: PUSH3 0x461bcd
00001961: PUSH1 0xe5
00001963: SHL
00001964: DUP2
00001965: MSTORE
00001966: PUSH1 0x20
00001968: PUSH1 0x04
0000196a: DUP3
0000196b: ADD
0000196c: MSTORE
0000196d: PUSH1 0x1e
0000196f: PUSH1 0x24
00001971: DUP3
00001972: ADD
00001973: MSTORE
00001974: PUSH32 0x526f6c6c75702050726f636573736f723a2057524f4e475f414d4f554e540000
00001995: PUSH1 0x44
00001997: DUP3
00001998: ADD
00001999: MSTORE
0000199a: SWAP1
0000199b: MLOAD
0000199c: SWAP1
0000199d: DUP2
0000199e: SWAP1
0000199f: SUB
000019a0: PUSH1 0x64
000019a2: ADD
000019a3: SWAP1
000019a4: REVERT
000019a5: JUMPDEST
000019a6: PUSH2 0x19b0
000019a9: DUP4
000019aa: DUP3
000019ab: DUP5
000019ac: PUSH2 0x24af
000019af: JUMP
000019b0: JUMPDEST
000019b1: PUSH2 0x1a0d
000019b4: JUMP
000019b5: JUMPDEST
000019b6: CALLVALUE
000019b7: ISZERO
000019b8: PUSH2 0x19f2
000019bb: JUMPI
000019bc: PUSH1 0x40
000019be: MLOAD
000019bf: PUSH3 0x461bcd
000019c3: PUSH1 0xe5
000019c5: SHL
000019c6: DUP2
000019c7: MSTORE
000019c8: PUSH1 0x04
000019ca: ADD
000019cb: DUP1
000019cc: DUP1
000019cd: PUSH1 0x20
000019cf: ADD
000019d0: DUP3
000019d1: DUP2
000019d2: SUB
000019d3: DUP3
000019d4: MSTORE
000019d5: PUSH1 0x24
000019d7: DUP2
000019d8: MSTORE
000019d9: PUSH1 0x20
000019db: ADD
000019dc: DUP1
000019dd: PUSH2 0x3242
000019e0: PUSH1 0x24
000019e2: SWAP2
000019e3: CODECOPY
000019e4: PUSH1 0x40
000019e6: ADD
000019e7: SWAP2
000019e8: POP
000019e9: POP
000019ea: PUSH1 0x40
000019ec: MLOAD
000019ed: DUP1
000019ee: SWAP2
000019ef: SUB
000019f0: SWAP1
000019f1: REVERT
000019f2: JUMPDEST
000019f3: PUSH1 0x00
000019f5: PUSH2 0x19fd
000019f8: DUP5
000019f9: PUSH2 0x12dc
000019fc: JUMP
000019fd: JUMPDEST
000019fe: SWAP1
000019ff: POP
00001a00: PUSH2 0x1a0b
00001a03: DUP5
00001a04: DUP3
00001a05: DUP5
00001a06: DUP7
00001a07: PUSH2 0x1eba
00001a0a: JUMP
00001a0b: JUMPDEST
00001a0c: POP
00001a0d: JUMPDEST
00001a0e: POP
00001a0f: POP
00001a10: POP
00001a11: JUMP
00001a12: JUMPDEST
00001a13: PUSH1 0x00
00001a15: DUP1
00001a16: PUSH2 0x1a1e
00001a19: DUP4
00001a1a: PUSH2 0x12dc
00001a1d: JUMP
00001a1e: JUMPDEST
00001a1f: PUSH1 0x01
00001a21: PUSH1 0x01
00001a23: PUSH1 0xa0
00001a25: SHL
00001a26: SUB
00001a27: AND
00001a28: PUSH1 0x00
00001a2a: SWAP1
00001a2b: DUP2
00001a2c: MSTORE
00001a2d: PUSH1 0x08
00001a2f: PUSH1 0x20
00001a31: MSTORE
00001a32: PUSH1 0x40
00001a34: SWAP1
00001a35: KECCAK256
00001a36: SLOAD
00001a37: PUSH1 0xff
00001a39: AND
00001a3a: SWAP4
00001a3b: SWAP3
00001a3c: POP
00001a3d: POP
00001a3e: POP
00001a3f: JUMP
00001a40: JUMPDEST
00001a41: PUSH1 0x0d
00001a43: DUP2
00001a44: DUP2
00001a45: SLOAD
00001a46: DUP2
00001a47: LT
00001a48: PUSH2 0x10ba
00001a4b: JUMPI
00001a4c: INVALID
00001a4d: JUMPDEST
00001a4e: PUSH32 0x00000000000000000000000000000000000000000000000000000000000012c0
00001a6f: DUP2
00001a70: JUMP
00001a71: JUMPDEST
00001a72: PUSH1 0x05
00001a74: SLOAD
00001a75: DUP2
00001a76: JUMP
00001a77: JUMPDEST
00001a78: PUSH2 0x1a7f
00001a7b: PUSH2 0x12cc
00001a7e: JUMP
00001a7f: JUMPDEST
00001a80: ISZERO
00001a81: PUSH2 0x1ac4
00001a84: JUMPI
00001a85: PUSH1 0x40
00001a87: DUP1
00001a88: MLOAD
00001a89: PUSH3 0x461bcd
00001a8d: PUSH1 0xe5
00001a8f: SHL
00001a90: DUP2
00001a91: MSTORE
00001a92: PUSH1 0x20
00001a94: PUSH1 0x04
00001a96: DUP3
00001a97: ADD
00001a98: MSTORE
00001a99: PUSH1 0x10
00001a9b: PUSH1 0x24
00001a9d: DUP3
00001a9e: ADD
00001a9f: MSTORE
00001aa0: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001ab1: PUSH1 0x82
00001ab3: SHL
00001ab4: PUSH1 0x44
00001ab6: DUP3
00001ab7: ADD
00001ab8: MSTORE
00001ab9: SWAP1
00001aba: MLOAD
00001abb: SWAP1
00001abc: DUP2
00001abd: SWAP1
00001abe: SUB
00001abf: PUSH1 0x64
00001ac1: ADD
00001ac2: SWAP1
00001ac3: REVERT
00001ac4: JUMPDEST
00001ac5: CALLER
00001ac6: PUSH1 0x00
00001ac8: SWAP1
00001ac9: DUP2
00001aca: MSTORE
00001acb: PUSH1 0x0a
00001acd: PUSH1 0x20
00001acf: SWAP1
00001ad0: DUP2
00001ad1: MSTORE
00001ad2: PUSH1 0x40
00001ad4: DUP1
00001ad5: DUP4
00001ad6: KECCAK256
00001ad7: SWAP4
00001ad8: DUP4
00001ad9: MSTORE
00001ada: SWAP3
00001adb: SWAP1
00001adc: MSTORE
00001add: KECCAK256
00001ade: DUP1
00001adf: SLOAD
00001ae0: PUSH1 0xff
00001ae2: NOT
00001ae3: AND
00001ae4: PUSH1 0x01
00001ae6: OR
00001ae7: SWAP1
00001ae8: SSTORE
00001ae9: JUMP
00001aea: JUMPDEST
00001aeb: PUSH1 0x60
00001aed: PUSH1 0x07
00001aef: DUP1
00001af0: SLOAD
00001af1: DUP1
00001af2: PUSH1 0x20
00001af4: MUL
00001af5: PUSH1 0x20
00001af7: ADD
00001af8: PUSH1 0x40
00001afa: MLOAD
00001afb: SWAP1
00001afc: DUP2
00001afd: ADD
00001afe: PUSH1 0x40
00001b00: MSTORE
00001b01: DUP1
00001b02: SWAP3
00001b03: SWAP2
00001b04: SWAP1
00001b05: DUP2
00001b06: DUP2
00001b07: MSTORE
00001b08: PUSH1 0x20
00001b0a: ADD
00001b0b: DUP3
00001b0c: DUP1
00001b0d: SLOAD
00001b0e: DUP1
00001b0f: ISZERO
00001b10: PUSH2 0x11fb
00001b13: JUMPI
00001b14: PUSH1 0x20
00001b16: MUL
00001b17: DUP3
00001b18: ADD
00001b19: SWAP2
00001b1a: SWAP1
00001b1b: PUSH1 0x00
00001b1d: MSTORE
00001b1e: PUSH1 0x20
00001b20: PUSH1 0x00
00001b22: KECCAK256
00001b23: SWAP1
00001b24: JUMPDEST
00001b25: DUP2
00001b26: SLOAD
00001b27: PUSH1 0x01
00001b29: PUSH1 0x01
00001b2b: PUSH1 0xa0
00001b2d: SHL
00001b2e: SUB
00001b2f: AND
00001b30: DUP2
00001b31: MSTORE
00001b32: PUSH1 0x01
00001b34: SWAP1
00001b35: SWAP2
00001b36: ADD
00001b37: SWAP1
00001b38: PUSH1 0x20
00001b3a: ADD
00001b3b: DUP1
00001b3c: DUP4
00001b3d: GT
00001b3e: PUSH2 0x1b24
00001b41: JUMPI
00001b42: POP
00001b43: POP
00001b44: POP
00001b45: POP
00001b46: POP
00001b47: SWAP1
00001b48: POP
00001b49: SWAP1
00001b4a: JUMP
00001b4b: JUMPDEST
00001b4c: PUSH1 0x00
00001b4e: DUP2
00001b4f: JUMP
00001b50: JUMPDEST
00001b51: PUSH1 0x04
00001b53: DUP2
00001b54: JUMP
00001b55: JUMPDEST
00001b56: PUSH2 0x1b5d
00001b59: PUSH2 0x24ab
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: PUSH1 0x01
00001b60: PUSH1 0x01
00001b62: PUSH1 0xa0
00001b64: SHL
00001b65: SUB
00001b66: AND
00001b67: PUSH2 0x1b6e
00001b6a: PUSH2 0x149c
00001b6d: JUMP
00001b6e: JUMPDEST
00001b6f: PUSH1 0x01
00001b71: PUSH1 0x01
00001b73: PUSH1 0xa0
00001b75: SHL
00001b76: SUB
00001b77: AND
00001b78: EQ
00001b79: PUSH2 0x1bb7
00001b7c: JUMPI
00001b7d: PUSH1 0x40
00001b7f: DUP1
00001b80: MLOAD
00001b81: PUSH3 0x461bcd
00001b85: PUSH1 0xe5
00001b87: SHL
00001b88: DUP2
00001b89: MSTORE
00001b8a: PUSH1 0x20
00001b8c: PUSH1 0x04
00001b8e: DUP3
00001b8f: ADD
00001b90: DUP2
00001b91: SWAP1
00001b92: MSTORE
00001b93: PUSH1 0x24
00001b95: DUP3
00001b96: ADD
00001b97: MSTORE
00001b98: PUSH1 0x00
00001b9a: DUP1
00001b9b: MLOAD
00001b9c: PUSH1 0x20
00001b9e: PUSH2 0x3117
00001ba1: DUP4
00001ba2: CODECOPY
00001ba3: DUP2
00001ba4: MLOAD
00001ba5: SWAP2
00001ba6: MSTORE
00001ba7: PUSH1 0x44
00001ba9: DUP3
00001baa: ADD
00001bab: MSTORE
00001bac: SWAP1
00001bad: MLOAD
00001bae: SWAP1
00001baf: DUP2
00001bb0: SWAP1
00001bb1: SUB
00001bb2: PUSH1 0x64
00001bb4: ADD
00001bb5: SWAP1
00001bb6: REVERT
00001bb7: JUMPDEST
00001bb8: PUSH1 0x01
00001bba: PUSH1 0x01
00001bbc: PUSH1 0xa0
00001bbe: SHL
00001bbf: SUB
00001bc0: DUP3
00001bc1: AND
00001bc2: PUSH2 0x1c12
00001bc5: JUMPI
00001bc6: PUSH1 0x40
00001bc8: DUP1
00001bc9: MLOAD
00001bca: PUSH3 0x461bcd
00001bce: PUSH1 0xe5
00001bd0: SHL
00001bd1: DUP2
00001bd2: MSTORE
00001bd3: PUSH1 0x20
00001bd5: PUSH1 0x04
00001bd7: DUP3
00001bd8: ADD
00001bd9: MSTORE
00001bda: PUSH1 0x1e
00001bdc: PUSH1 0x24
00001bde: DUP3
00001bdf: ADD
00001be0: MSTORE
00001be1: PUSH32 0x526f6c6c75702050726f636573736f723a205a45524f5f414444524553530000
00001c02: PUSH1 0x44
00001c04: DUP3
00001c05: ADD
00001c06: MSTORE
00001c07: SWAP1
00001c08: MLOAD
00001c09: SWAP1
00001c0a: DUP2
00001c0b: SWAP1
00001c0c: SUB
00001c0d: PUSH1 0x64
00001c0f: ADD
00001c10: SWAP1
00001c11: REVERT
00001c12: JUMPDEST
00001c13: PUSH1 0x07
00001c15: DUP1
00001c16: SLOAD
00001c17: PUSH1 0x01
00001c19: DUP2
00001c1a: ADD
00001c1b: DUP3
00001c1c: SSTORE
00001c1d: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688
00001c3e: ADD
00001c3f: DUP1
00001c40: SLOAD
00001c41: PUSH1 0x01
00001c43: PUSH1 0x01
00001c45: PUSH1 0xa0
00001c47: SHL
00001c48: SUB
00001c49: NOT
00001c4a: AND
00001c4b: PUSH1 0x01
00001c4d: PUSH1 0x01
00001c4f: PUSH1 0xa0
00001c51: SHL
00001c52: SUB
00001c53: DUP6
00001c54: AND
00001c55: SWAP1
00001c56: DUP2
00001c57: OR
00001c58: SWAP1
00001c59: SWAP2
00001c5a: SSTORE
00001c5b: PUSH1 0x00
00001c5d: SWAP1
00001c5e: DUP2
00001c5f: MSTORE
00001c60: PUSH1 0x08
00001c62: PUSH1 0x20
00001c64: MSTORE
00001c65: PUSH1 0x40
00001c67: SWAP1
00001c68: KECCAK256
00001c69: DUP1
00001c6a: SLOAD
00001c6b: PUSH1 0xff
00001c6d: NOT
00001c6e: AND
00001c6f: DUP4
00001c70: ISZERO
00001c71: ISZERO
00001c72: OR
00001c73: SWAP1
00001c74: SSTORE
00001c75: SLOAD
00001c76: PUSH1 0x04
00001c78: DUP2
00001c79: LT
00001c7a: PUSH2 0x1cb4
00001c7d: JUMPI
00001c7e: PUSH1 0x40
00001c80: MLOAD
00001c81: PUSH3 0x461bcd
00001c85: PUSH1 0xe5
00001c87: SHL
00001c88: DUP2
00001c89: MSTORE
00001c8a: PUSH1 0x04
00001c8c: ADD
00001c8d: DUP1
00001c8e: DUP1
00001c8f: PUSH1 0x20
00001c91: ADD
00001c92: DUP3
00001c93: DUP2
00001c94: SUB
00001c95: DUP3
00001c96: MSTORE
00001c97: PUSH1 0x23
00001c99: DUP2
00001c9a: MSTORE
00001c9b: PUSH1 0x20
00001c9d: ADD
00001c9e: DUP1
00001c9f: PUSH2 0x31a7
00001ca2: PUSH1 0x23
00001ca4: SWAP2
00001ca5: CODECOPY
00001ca6: PUSH1 0x40
00001ca8: ADD
00001ca9: SWAP2
00001caa: POP
00001cab: POP
00001cac: PUSH1 0x40
00001cae: MLOAD
00001caf: DUP1
00001cb0: SWAP2
00001cb1: SUB
00001cb2: SWAP1
00001cb3: REVERT
00001cb4: JUMPDEST
00001cb5: PUSH1 0x0d
00001cb7: DUP1
00001cb8: SLOAD
00001cb9: PUSH1 0x01
00001cbb: DUP2
00001cbc: DUP2
00001cbd: ADD
00001cbe: SWAP1
00001cbf: SWAP3
00001cc0: SSTORE
00001cc1: PUSH1 0x00
00001cc3: PUSH32 0xd7b6990105719101dabeb77144f2a3385c8033acd3af97e9423a695e81ad1eb5
00001ce4: SWAP1
00001ce5: SWAP2
00001ce6: ADD
00001ce7: DUP2
00001ce8: SWAP1
00001ce9: SSTORE
00001cea: PUSH1 0x0e
00001cec: DUP1
00001ced: SLOAD
00001cee: DUP1
00001cef: DUP5
00001cf0: ADD
00001cf1: SWAP1
00001cf2: SWAP2
00001cf3: SSTORE
00001cf4: PUSH32 0xbb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fd
00001d15: ADD
00001d16: DUP2
00001d17: SWAP1
00001d18: SSTORE
00001d19: PUSH1 0x0f
00001d1b: DUP1
00001d1c: SLOAD
00001d1d: DUP1
00001d1e: DUP5
00001d1f: ADD
00001d20: SWAP1
00001d21: SWAP2
00001d22: SSTORE
00001d23: PUSH32 0x8d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac802
00001d44: ADD
00001d45: DUP2
00001d46: SWAP1
00001d47: SSTORE
00001d48: PUSH1 0x10
00001d4a: DUP1
00001d4b: SLOAD
00001d4c: SWAP3
00001d4d: DUP4
00001d4e: ADD
00001d4f: DUP2
00001d50: SSTORE
00001d51: DUP2
00001d52: MSTORE
00001d53: PUSH32 0x1b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae672
00001d74: SWAP1
00001d75: SWAP2
00001d76: ADD
00001d77: DUP2
00001d78: SWAP1
00001d79: SSTORE
00001d7a: PUSH1 0x40
00001d7c: MLOAD
00001d7d: PUSH1 0x01
00001d7f: PUSH1 0x01
00001d81: PUSH1 0xa0
00001d83: SHL
00001d84: SUB
00001d85: DUP6
00001d86: AND
00001d87: SWAP2
00001d88: DUP4
00001d89: SWAP2
00001d8a: PUSH32 0xc53536963369dbfa4c398238ebb9b09fce3943a140928bd25d3052a8a9cacdaf
00001dab: SWAP2
00001dac: SWAP1
00001dad: LOG3
00001dae: POP
00001daf: POP
00001db0: POP
00001db1: JUMP
00001db2: JUMPDEST
00001db3: PUSH2 0x01c0
00001db6: DUP2
00001db7: JUMP
00001db8: JUMPDEST
00001db9: PUSH2 0x1dc0
00001dbc: PUSH2 0x24ab
00001dbf: JUMP
00001dc0: JUMPDEST
00001dc1: PUSH1 0x01
00001dc3: PUSH1 0x01
00001dc5: PUSH1 0xa0
00001dc7: SHL
00001dc8: SUB
00001dc9: AND
00001dca: PUSH2 0x1dd1
00001dcd: PUSH2 0x149c
00001dd0: JUMP
00001dd1: JUMPDEST
00001dd2: PUSH1 0x01
00001dd4: PUSH1 0x01
00001dd6: PUSH1 0xa0
00001dd8: SHL
00001dd9: SUB
00001dda: AND
00001ddb: EQ
00001ddc: PUSH2 0x1e1a
00001ddf: JUMPI
00001de0: PUSH1 0x40
00001de2: DUP1
00001de3: MLOAD
00001de4: PUSH3 0x461bcd
00001de8: PUSH1 0xe5
00001dea: SHL
00001deb: DUP2
00001dec: MSTORE
00001ded: PUSH1 0x20
00001def: PUSH1 0x04
00001df1: DUP3
00001df2: ADD
00001df3: DUP2
00001df4: SWAP1
00001df5: MSTORE
00001df6: PUSH1 0x24
00001df8: DUP3
00001df9: ADD
00001dfa: MSTORE
00001dfb: PUSH1 0x00
00001dfd: DUP1
00001dfe: MLOAD
00001dff: PUSH1 0x20
00001e01: PUSH2 0x3117
00001e04: DUP4
00001e05: CODECOPY
00001e06: DUP2
00001e07: MLOAD
00001e08: SWAP2
00001e09: MSTORE
00001e0a: PUSH1 0x44
00001e0c: DUP3
00001e0d: ADD
00001e0e: MSTORE
00001e0f: SWAP1
00001e10: MLOAD
00001e11: SWAP1
00001e12: DUP2
00001e13: SWAP1
00001e14: SUB
00001e15: PUSH1 0x64
00001e17: ADD
00001e18: SWAP1
00001e19: REVERT
00001e1a: JUMPDEST
00001e1b: PUSH1 0x01
00001e1d: PUSH1 0x01
00001e1f: PUSH1 0xa0
00001e21: SHL
00001e22: SUB
00001e23: DUP2
00001e24: AND
00001e25: PUSH2 0x1e5f
00001e28: JUMPI
00001e29: PUSH1 0x40
00001e2b: MLOAD
00001e2c: PUSH3 0x461bcd
00001e30: PUSH1 0xe5
00001e32: SHL
00001e33: DUP2
00001e34: MSTORE
00001e35: PUSH1 0x04
00001e37: ADD
00001e38: DUP1
00001e39: DUP1
00001e3a: PUSH1 0x20
00001e3c: ADD
00001e3d: DUP3
00001e3e: DUP2
00001e3f: SUB
00001e40: DUP3
00001e41: MSTORE
00001e42: PUSH1 0x26
00001e44: DUP2
00001e45: MSTORE
00001e46: PUSH1 0x20
00001e48: ADD
00001e49: DUP1
00001e4a: PUSH2 0x2f92
00001e4d: PUSH1 0x26
00001e4f: SWAP2
00001e50: CODECOPY
00001e51: PUSH1 0x40
00001e53: ADD
00001e54: SWAP2
00001e55: POP
00001e56: POP
00001e57: PUSH1 0x40
00001e59: MLOAD
00001e5a: DUP1
00001e5b: SWAP2
00001e5c: SUB
00001e5d: SWAP1
00001e5e: REVERT
00001e5f: JUMPDEST
00001e60: PUSH1 0x00
00001e62: DUP1
00001e63: SLOAD
00001e64: PUSH1 0x40
00001e66: MLOAD
00001e67: PUSH1 0x01
00001e69: PUSH1 0x01
00001e6b: PUSH1 0xa0
00001e6d: SHL
00001e6e: SUB
00001e6f: DUP1
00001e70: DUP6
00001e71: AND
00001e72: SWAP4
00001e73: SWAP3
00001e74: AND
00001e75: SWAP2
00001e76: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001e97: SWAP2
00001e98: LOG3
00001e99: PUSH1 0x00
00001e9b: DUP1
00001e9c: SLOAD
00001e9d: PUSH1 0x01
00001e9f: PUSH1 0x01
00001ea1: PUSH1 0xa0
00001ea3: SHL
00001ea4: SUB
00001ea5: NOT
00001ea6: AND
00001ea7: PUSH1 0x01
00001ea9: PUSH1 0x01
00001eab: PUSH1 0xa0
00001ead: SHL
00001eae: SUB
00001eaf: SWAP3
00001eb0: SWAP1
00001eb1: SWAP3
00001eb2: AND
00001eb3: SWAP2
00001eb4: SWAP1
00001eb5: SWAP2
00001eb6: OR
00001eb7: SWAP1
00001eb8: SSTORE
00001eb9: JUMP
00001eba: JUMPDEST
00001ebb: PUSH1 0x40
00001ebd: DUP1
00001ebe: MLOAD
00001ebf: PUSH4 0x6eb1769f
00001ec4: PUSH1 0xe1
00001ec6: SHL
00001ec7: DUP2
00001ec8: MSTORE
00001ec9: PUSH1 0x01
00001ecb: PUSH1 0x01
00001ecd: PUSH1 0xa0
00001ecf: SHL
00001ed0: SUB
00001ed1: DUP5
00001ed2: DUP2
00001ed3: AND
00001ed4: PUSH1 0x04
00001ed6: DUP4
00001ed7: ADD
00001ed8: MSTORE
00001ed9: ADDRESS
00001eda: PUSH1 0x24
00001edc: DUP4
00001edd: ADD
00001ede: MSTORE
00001edf: SWAP2
00001ee0: MLOAD
00001ee1: PUSH1 0x00
00001ee3: SWAP3
00001ee4: DUP7
00001ee5: AND
00001ee6: SWAP2
00001ee7: PUSH4 0xdd62ed3e
00001eec: SWAP2
00001eed: PUSH1 0x44
00001eef: DUP1
00001ef0: DUP4
00001ef1: ADD
00001ef2: SWAP3
00001ef3: PUSH1 0x20
00001ef5: SWAP3
00001ef6: SWAP2
00001ef7: SWAP1
00001ef8: DUP3
00001ef9: SWAP1
00001efa: SUB
00001efb: ADD
00001efc: DUP2
00001efd: DUP7
00001efe: DUP1
00001eff: EXTCODESIZE
00001f00: ISZERO
00001f01: DUP1
00001f02: ISZERO
00001f03: PUSH2 0x1f0b
00001f06: JUMPI
00001f07: PUSH1 0x00
00001f09: DUP1
00001f0a: REVERT
00001f0b: JUMPDEST
00001f0c: POP
00001f0d: GAS
00001f0e: STATICCALL
00001f0f: ISZERO
00001f10: DUP1
00001f11: ISZERO
00001f12: PUSH2 0x1f1f
00001f15: JUMPI
00001f16: RETURNDATASIZE
00001f17: PUSH1 0x00
00001f19: DUP1
00001f1a: RETURNDATACOPY
00001f1b: RETURNDATASIZE
00001f1c: PUSH1 0x00
00001f1e: REVERT
00001f1f: JUMPDEST
00001f20: POP
00001f21: POP
00001f22: POP
00001f23: POP
00001f24: PUSH1 0x40
00001f26: MLOAD
00001f27: RETURNDATASIZE
00001f28: PUSH1 0x20
00001f2a: DUP2
00001f2b: LT
00001f2c: ISZERO
00001f2d: PUSH2 0x1f35
00001f30: JUMPI
00001f31: PUSH1 0x00
00001f33: DUP1
00001f34: REVERT
00001f35: JUMPDEST
00001f36: POP
00001f37: MLOAD
00001f38: SWAP1
00001f39: POP
00001f3a: DUP2
00001f3b: DUP2
00001f3c: LT
00001f3d: ISZERO
00001f3e: PUSH2 0x1f78
00001f41: JUMPI
00001f42: PUSH1 0x40
00001f44: MLOAD
00001f45: PUSH3 0x461bcd
00001f49: PUSH1 0xe5
00001f4b: SHL
00001f4c: DUP2
00001f4d: MSTORE
00001f4e: PUSH1 0x04
00001f50: ADD
00001f51: DUP1
00001f52: DUP1
00001f53: PUSH1 0x20
00001f55: ADD
00001f56: DUP3
00001f57: DUP2
00001f58: SUB
00001f59: DUP3
00001f5a: MSTORE
00001f5b: PUSH1 0x2d
00001f5d: DUP2
00001f5e: MSTORE
00001f5f: PUSH1 0x20
00001f61: ADD
00001f62: DUP1
00001f63: PUSH2 0x31ef
00001f66: PUSH1 0x2d
00001f68: SWAP2
00001f69: CODECOPY
00001f6a: PUSH1 0x40
00001f6c: ADD
00001f6d: SWAP2
00001f6e: POP
00001f6f: POP
00001f70: PUSH1 0x40
00001f72: MLOAD
00001f73: DUP1
00001f74: SWAP2
00001f75: SUB
00001f76: SWAP1
00001f77: REVERT
00001f78: JUMPDEST
00001f79: PUSH1 0x40
00001f7b: DUP1
00001f7c: MLOAD
00001f7d: PUSH4 0x23b872dd
00001f82: PUSH1 0xe0
00001f84: SHL
00001f85: DUP2
00001f86: MSTORE
00001f87: PUSH1 0x01
00001f89: PUSH1 0x01
00001f8b: PUSH1 0xa0
00001f8d: SHL
00001f8e: SUB
00001f8f: DUP6
00001f90: DUP2
00001f91: AND
00001f92: PUSH1 0x04
00001f94: DUP4
00001f95: ADD
00001f96: MSTORE
00001f97: ADDRESS
00001f98: PUSH1 0x24
00001f9a: DUP4
00001f9b: ADD
00001f9c: MSTORE
00001f9d: PUSH1 0x44
00001f9f: DUP3
00001fa0: ADD
00001fa1: DUP6
00001fa2: SWAP1
00001fa3: MSTORE
00001fa4: SWAP2
00001fa5: MLOAD
00001fa6: SWAP2
00001fa7: DUP7
00001fa8: AND
00001fa9: SWAP2
00001faa: PUSH4 0x23b872dd
00001faf: SWAP2
00001fb0: PUSH1 0x64
00001fb2: DUP1
00001fb3: DUP3
00001fb4: ADD
00001fb5: SWAP3
00001fb6: PUSH1 0x20
00001fb8: SWAP3
00001fb9: SWAP1
00001fba: SWAP2
00001fbb: SWAP1
00001fbc: DUP3
00001fbd: SWAP1
00001fbe: SUB
00001fbf: ADD
00001fc0: DUP2
00001fc1: PUSH1 0x00
00001fc3: DUP8
00001fc4: DUP1
00001fc5: EXTCODESIZE
00001fc6: ISZERO
00001fc7: DUP1
00001fc8: ISZERO
00001fc9: PUSH2 0x1fd1
00001fcc: JUMPI
00001fcd: PUSH1 0x00
00001fcf: DUP1
00001fd0: REVERT
00001fd1: JUMPDEST
00001fd2: POP
00001fd3: GAS
00001fd4: CALL
00001fd5: ISZERO
00001fd6: DUP1
00001fd7: ISZERO
00001fd8: PUSH2 0x1fe5
00001fdb: JUMPI
00001fdc: RETURNDATASIZE
00001fdd: PUSH1 0x00
00001fdf: DUP1
00001fe0: RETURNDATACOPY
00001fe1: RETURNDATASIZE
00001fe2: PUSH1 0x00
00001fe4: REVERT
00001fe5: JUMPDEST
00001fe6: POP
00001fe7: POP
00001fe8: POP
00001fe9: POP
00001fea: PUSH1 0x40
00001fec: MLOAD
00001fed: RETURNDATASIZE
00001fee: PUSH1 0x20
00001ff0: DUP2
00001ff1: LT
00001ff2: ISZERO
00001ff3: PUSH2 0x1ffb
00001ff6: JUMPI
00001ff7: PUSH1 0x00
00001ff9: DUP1
00001ffa: REVERT
00001ffb: JUMPDEST
00001ffc: POP
00001ffd: PUSH2 0x2009
00002000: SWAP1
00002001: POP
00002002: DUP6
00002003: DUP5
00002004: DUP5
00002005: PUSH2 0x24af
00002008: JUMP
00002009: JUMPDEST
0000200a: PUSH1 0x40
0000200c: DUP1
0000200d: MLOAD
0000200e: DUP7
0000200f: DUP2
00002010: MSTORE
00002011: PUSH1 0x01
00002013: PUSH1 0x01
00002015: PUSH1 0xa0
00002017: SHL
00002018: SUB
00002019: DUP6
0000201a: AND
0000201b: PUSH1 0x20
0000201d: DUP3
0000201e: ADD
0000201f: MSTORE
00002020: DUP1
00002021: DUP3
00002022: ADD
00002023: DUP5
00002024: SWAP1
00002025: MSTORE
00002026: SWAP1
00002027: MLOAD
00002028: PUSH32 0xeaa18152488ce5959073c9c79c88ca90b3d96c00de1f118cfaad664c3dab06b9
00002049: SWAP2
0000204a: DUP2
0000204b: SWAP1
0000204c: SUB
0000204d: PUSH1 0x60
0000204f: ADD
00002050: SWAP1
00002051: LOG1
00002052: POP
00002053: POP
00002054: POP
00002055: POP
00002056: POP
00002057: JUMP
00002058: JUMPDEST
00002059: PUSH1 0x00
0000205b: DUP1
0000205c: PUSH1 0x01
0000205e: PUSH1 0x01
00002060: PUSH1 0xa0
00002062: SHL
00002063: SUB
00002064: DUP4
00002065: AND
00002066: PUSH2 0x20b6
00002069: JUMPI
0000206a: PUSH1 0x40
0000206c: DUP1
0000206d: MLOAD
0000206e: PUSH3 0x461bcd
00002072: PUSH1 0xe5
00002074: SHL
00002075: DUP2
00002076: MSTORE
00002077: PUSH1 0x20
00002079: PUSH1 0x04
0000207b: DUP3
0000207c: ADD
0000207d: MSTORE
0000207e: PUSH1 0x1f
00002080: PUSH1 0x24
00002082: DUP3
00002083: ADD
00002084: MSTORE
00002085: PUSH32 0x76616c69646174655369676e61747572653a205a45524f5f4144445245535300
000020a6: PUSH1 0x44
000020a8: DUP3
000020a9: ADD
000020aa: MSTORE
000020ab: SWAP1
000020ac: MLOAD
000020ad: SWAP1
000020ae: DUP2
000020af: SWAP1
000020b0: SUB
000020b1: PUSH1 0x64
000020b3: ADD
000020b4: SWAP1
000020b5: REVERT
000020b6: JUMPDEST
000020b7: PUSH1 0x00
000020b9: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
000020da: PUSH1 0x00
000020dc: MSTORE
000020dd: DUP6
000020de: PUSH1 0x1c
000020e0: PUSH1 0x00
000020e2: ADD
000020e3: MSTORE
000020e4: PUSH1 0x3c
000020e6: PUSH1 0x00
000020e8: KECCAK256
000020e9: SWAP1
000020ea: POP
000020eb: PUSH1 0x40
000020ed: MLOAD
000020ee: DUP6
000020ef: MLOAD
000020f0: DUP3
000020f1: DUP3
000020f2: MSTORE
000020f3: PUSH1 0x60
000020f5: DUP8
000020f6: ADD
000020f7: MLOAD
000020f8: PUSH1 0xf8
000020fa: SHR
000020fb: PUSH1 0x40
000020fd: DUP9
000020fe: ADD
000020ff: MLOAD
00002100: DUP1
00002101: PUSH1 0x60
00002103: DUP6
00002104: ADD
00002105: MSTORE
00002106: PUSH1 0x20
00002108: DUP10
00002109: ADD
0000210a: MLOAD
0000210b: PUSH1 0x40
0000210d: DUP6
0000210e: ADD
0000210f: MSTORE
00002110: DUP2
00002111: PUSH1 0x20
00002113: DUP6
00002114: ADD
00002115: MSTORE
00002116: PUSH1 0x20
00002118: DUP5
00002119: PUSH1 0x80
0000211b: DUP7
0000211c: PUSH1 0x01
0000211e: GAS
0000211f: STATICCALL
00002120: PUSH1 0x1c
00002122: DUP4
00002123: EQ
00002124: PUSH1 0x1b
00002126: DUP5
00002127: EQ
00002128: OR
00002129: PUSH1 0x41
0000212b: DUP6
0000212c: EQ
0000212d: AND
0000212e: PUSH16 0xa2a8918ca85bafe22016d0b997e4df5f
0000213f: PUSH1 0x01
00002141: PUSH1 0xff
00002143: SHL
00002144: SUB
00002145: DUP4
00002146: LT
00002147: AND
00002148: AND
00002149: SWAP7
0000214a: POP
0000214b: POP
0000214c: POP
0000214d: DUP2
0000214e: MLOAD
0000214f: DUP4
00002150: EQ
00002151: PUSH1 0x00
00002153: DUP2
00002154: EQ
00002155: PUSH2 0x215d
00002158: JUMPI
00002159: PUSH2 0x2162
0000215c: JUMP
0000215d: JUMPDEST
0000215e: DUP3
0000215f: MLOAD
00002160: SWAP5
00002161: POP
00002162: JUMPDEST
00002163: POP
00002164: SWAP1
00002165: MSTORE
00002166: DUP2
00002167: ISZERO
00002168: NOT
00002169: SWAP3
0000216a: SWAP1
0000216b: SWAP3
0000216c: AND
0000216d: SWAP2
0000216e: DUP3
0000216f: PUSH2 0x21a9
00002172: JUMPI
00002173: PUSH1 0x40
00002175: MLOAD
00002176: PUSH3 0x461bcd
0000217a: PUSH1 0xe5
0000217c: SHL
0000217d: DUP2
0000217e: MSTORE
0000217f: PUSH1 0x04
00002181: ADD
00002182: DUP1
00002183: DUP1
00002184: PUSH1 0x20
00002186: ADD
00002187: DUP3
00002188: DUP2
00002189: SUB
0000218a: DUP3
0000218b: MSTORE
0000218c: PUSH1 0x2c
0000218e: DUP2
0000218f: MSTORE
00002190: PUSH1 0x20
00002192: ADD
00002193: DUP1
00002194: PUSH2 0x3051
00002197: PUSH1 0x2c
00002199: SWAP2
0000219a: CODECOPY
0000219b: PUSH1 0x40
0000219d: ADD
0000219e: SWAP2
0000219f: POP
000021a0: POP
000021a1: PUSH1 0x40
000021a3: MLOAD
000021a4: DUP1
000021a5: SWAP2
000021a6: SUB
000021a7: SWAP1
000021a8: REVERT
000021a9: JUMPDEST
000021aa: DUP4
000021ab: PUSH1 0x01
000021ad: PUSH1 0x01
000021af: PUSH1 0xa0
000021b1: SHL
000021b2: SUB
000021b3: AND
000021b4: DUP3
000021b5: PUSH1 0x01
000021b7: PUSH1 0x01
000021b9: PUSH1 0xa0
000021bb: SHL
000021bc: SUB
000021bd: AND
000021be: EQ
000021bf: PUSH2 0x21f9
000021c2: JUMPI
000021c3: PUSH1 0x40
000021c5: MLOAD
000021c6: PUSH3 0x461bcd
000021ca: PUSH1 0xe5
000021cc: SHL
000021cd: DUP2
000021ce: MSTORE
000021cf: PUSH1 0x04
000021d1: ADD
000021d2: DUP1
000021d3: DUP1
000021d4: PUSH1 0x20
000021d6: ADD
000021d7: DUP3
000021d8: DUP2
000021d9: SUB
000021da: DUP3
000021db: MSTORE
000021dc: PUSH1 0x24
000021de: DUP2
000021df: MSTORE
000021e0: PUSH1 0x20
000021e2: ADD
000021e3: DUP1
000021e4: PUSH2 0x315e
000021e7: PUSH1 0x24
000021e9: SWAP2
000021ea: CODECOPY
000021eb: PUSH1 0x40
000021ed: ADD
000021ee: SWAP2
000021ef: POP
000021f0: POP
000021f1: PUSH1 0x40
000021f3: MLOAD
000021f4: DUP1
000021f5: SWAP2
000021f6: SUB
000021f7: SWAP1
000021f8: REVERT
000021f9: JUMPDEST
000021fa: POP
000021fb: POP
000021fc: POP
000021fd: POP
000021fe: POP
000021ff: POP
00002200: JUMP
00002201: JUMPDEST
00002202: PUSH1 0x00
00002204: PUSH2 0x220c
00002207: DUP6
00002208: PUSH2 0x2537
0000220b: JUMP
0000220c: JUMPDEST
0000220d: SWAP1
0000220e: POP
0000220f: PUSH2 0x2219
00002212: DUP6
00002213: DUP3
00002214: DUP7
00002215: PUSH2 0x26a2
00002218: JUMP
00002219: JUMPDEST
0000221a: POP
0000221b: POP
0000221c: POP
0000221d: POP
0000221e: POP
0000221f: JUMP
00002220: JUMPDEST
00002221: PUSH1 0x00
00002223: JUMPDEST
00002224: PUSH1 0x04
00002226: DUP2
00002227: LT
00002228: ISZERO
00002229: PUSH2 0x24a7
0000222c: JUMPI
0000222d: PUSH1 0x00
0000222f: PUSH2 0x2238
00002232: DUP4
00002233: DUP4
00002234: PUSH2 0x2773
00002237: JUMP
00002238: JUMPDEST
00002239: SWAP1
0000223a: POP
0000223b: DUP1
0000223c: ISZERO
0000223d: PUSH2 0x249e
00002240: JUMPI
00002241: PUSH1 0x00
00002243: DUP3
00002244: PUSH2 0x22a4
00002247: JUMPI
00002248: PUSH1 0x0c
0000224a: SLOAD
0000224b: PUSH1 0x40
0000224d: MLOAD
0000224e: PUSH1 0x01
00002250: PUSH1 0x01
00002252: PUSH1 0xa0
00002254: SHL
00002255: SUB
00002256: SWAP1
00002257: SWAP2
00002258: AND
00002259: SWAP1
0000225a: DUP4
0000225b: SWAP1
0000225c: PUSH1 0x00
0000225e: DUP2
0000225f: DUP2
00002260: DUP2
00002261: DUP6
00002262: DUP8
00002263: GAS
00002264: CALL
00002265: SWAP3
00002266: POP
00002267: POP
00002268: POP
00002269: RETURNDATASIZE
0000226a: DUP1
0000226b: PUSH1 0x00
0000226d: DUP2
0000226e: EQ
0000226f: PUSH2 0x2294
00002272: JUMPI
00002273: PUSH1 0x40
00002275: MLOAD
00002276: SWAP2
00002277: POP
00002278: PUSH1 0x1f
0000227a: NOT
0000227b: PUSH1 0x3f
0000227d: RETURNDATASIZE
0000227e: ADD
0000227f: AND
00002280: DUP3
00002281: ADD
00002282: PUSH1 0x40
00002284: MSTORE
00002285: RETURNDATASIZE
00002286: DUP3
00002287: MSTORE
00002288: RETURNDATASIZE
00002289: PUSH1 0x00
0000228b: PUSH1 0x20
0000228d: DUP5
0000228e: ADD
0000228f: RETURNDATACOPY
00002290: PUSH2 0x2299
00002293: JUMP
00002294: JUMPDEST
00002295: PUSH1 0x60
00002297: SWAP2
00002298: POP
00002299: JUMPDEST
0000229a: POP
0000229b: POP
0000229c: DUP1
0000229d: SWAP2
0000229e: POP
0000229f: POP
000022a0: PUSH2 0x241d
000022a3: JUMP
000022a4: JUMPDEST
000022a5: PUSH1 0x00
000022a7: PUSH2 0x22af
000022aa: DUP5
000022ab: PUSH2 0x12dc
000022ae: JUMP
000022af: JUMPDEST
000022b0: PUSH1 0x0c
000022b2: SLOAD
000022b3: PUSH1 0x40
000022b5: DUP1
000022b6: MLOAD
000022b7: PUSH4 0x095ea7b3
000022bc: PUSH1 0xe0
000022be: SHL
000022bf: DUP2
000022c0: MSTORE
000022c1: PUSH1 0x01
000022c3: PUSH1 0x01
000022c5: PUSH1 0xa0
000022c7: SHL
000022c8: SUB
000022c9: SWAP3
000022ca: DUP4
000022cb: AND
000022cc: PUSH1 0x04
000022ce: DUP3
000022cf: ADD
000022d0: MSTORE
000022d1: PUSH1 0x24
000022d3: DUP2
000022d4: ADD
000022d5: DUP8
000022d6: SWAP1
000022d7: MSTORE
000022d8: SWAP1
000022d9: MLOAD
000022da: SWAP3
000022db: SWAP4
000022dc: POP
000022dd: SWAP1
000022de: DUP4
000022df: AND
000022e0: SWAP2
000022e1: PUSH4 0x095ea7b3
000022e6: SWAP2
000022e7: PUSH1 0x44
000022e9: DUP1
000022ea: DUP3
000022eb: ADD
000022ec: SWAP3
000022ed: PUSH1 0x20
000022ef: SWAP3
000022f0: SWAP1
000022f1: SWAP2
000022f2: SWAP1
000022f3: DUP3
000022f4: SWAP1
000022f5: SUB
000022f6: ADD
000022f7: DUP2
000022f8: PUSH1 0x00
000022fa: DUP8
000022fb: DUP1
000022fc: EXTCODESIZE
000022fd: ISZERO
000022fe: DUP1
000022ff: ISZERO
00002300: PUSH2 0x2308
00002303: JUMPI
00002304: PUSH1 0x00
00002306: DUP1
00002307: REVERT
00002308: JUMPDEST
00002309: POP
0000230a: GAS
0000230b: CALL
0000230c: ISZERO
0000230d: DUP1
0000230e: ISZERO
0000230f: PUSH2 0x231c
00002312: JUMPI
00002313: RETURNDATASIZE
00002314: PUSH1 0x00
00002316: DUP1
00002317: RETURNDATACOPY
00002318: RETURNDATASIZE
00002319: PUSH1 0x00
0000231b: REVERT
0000231c: JUMPDEST
0000231d: POP
0000231e: POP
0000231f: POP
00002320: POP
00002321: PUSH1 0x40
00002323: MLOAD
00002324: RETURNDATASIZE
00002325: PUSH1 0x20
00002327: DUP2
00002328: LT
00002329: ISZERO
0000232a: PUSH2 0x2332
0000232d: JUMPI
0000232e: PUSH1 0x00
00002330: DUP1
00002331: REVERT
00002332: JUMPDEST
00002333: POP
00002334: POP
00002335: PUSH1 0x0c
00002337: SLOAD
00002338: PUSH1 0x40
0000233a: DUP1
0000233b: MLOAD
0000233c: PUSH1 0x24
0000233e: DUP2
0000233f: ADD
00002340: DUP8
00002341: SWAP1
00002342: MSTORE
00002343: PUSH1 0x44
00002345: DUP1
00002346: DUP3
00002347: ADD
00002348: DUP8
00002349: SWAP1
0000234a: MSTORE
0000234b: DUP3
0000234c: MLOAD
0000234d: DUP1
0000234e: DUP4
0000234f: SUB
00002350: SWAP1
00002351: SWAP2
00002352: ADD
00002353: DUP2
00002354: MSTORE
00002355: PUSH1 0x64
00002357: SWAP1
00002358: SWAP2
00002359: ADD
0000235a: DUP3
0000235b: MSTORE
0000235c: PUSH1 0x20
0000235e: DUP2
0000235f: ADD
00002360: DUP1
00002361: MLOAD
00002362: PUSH1 0x01
00002364: PUSH1 0x01
00002366: PUSH1 0xe0
00002368: SHL
00002369: SUB
0000236a: AND
0000236b: PUSH4 0x1c57762b
00002370: PUSH1 0xe3
00002372: SHL
00002373: OR
00002374: DUP2
00002375: MSTORE
00002376: SWAP2
00002377: MLOAD
00002378: DUP2
00002379: MLOAD
0000237a: PUSH1 0x01
0000237c: PUSH1 0x01
0000237e: PUSH1 0xa0
00002380: SHL
00002381: SUB
00002382: SWAP1
00002383: SWAP5
00002384: AND
00002385: SWAP4
00002386: SWAP2
00002387: SWAP3
00002388: SWAP1
00002389: SWAP2
0000238a: DUP3
0000238b: SWAP2
0000238c: SWAP1
0000238d: DUP1
0000238e: DUP4
0000238f: DUP4
00002390: JUMPDEST
00002391: PUSH1 0x20
00002393: DUP4
00002394: LT
00002395: PUSH2 0x23af
00002398: JUMPI
00002399: DUP1
0000239a: MLOAD
0000239b: DUP3
0000239c: MSTORE
0000239d: PUSH1 0x1f
0000239f: NOT
000023a0: SWAP1
000023a1: SWAP3
000023a2: ADD
000023a3: SWAP2
000023a4: PUSH1 0x20
000023a6: SWAP2
000023a7: DUP3
000023a8: ADD
000023a9: SWAP2
000023aa: ADD
000023ab: PUSH2 0x2390
000023ae: JUMP
000023af: JUMPDEST
000023b0: PUSH1 0x01
000023b2: DUP4
000023b3: PUSH1 0x20
000023b5: SUB
000023b6: PUSH2 0x0100
000023b9: EXP
000023ba: SUB
000023bb: DUP1
000023bc: NOT
000023bd: DUP3
000023be: MLOAD
000023bf: AND
000023c0: DUP2
000023c1: DUP5
000023c2: MLOAD
000023c3: AND
000023c4: DUP1
000023c5: DUP3
000023c6: OR
000023c7: DUP6
000023c8: MSTORE
000023c9: POP
000023ca: POP
000023cb: POP
000023cc: POP
000023cd: POP
000023ce: POP
000023cf: SWAP1
000023d0: POP
000023d1: ADD
000023d2: SWAP2
000023d3: POP
000023d4: POP
000023d5: PUSH1 0x00
000023d7: PUSH1 0x40
000023d9: MLOAD
000023da: DUP1
000023db: DUP4
000023dc: SUB
000023dd: DUP2
000023de: PUSH1 0x00
000023e0: DUP7
000023e1: GAS
000023e2: CALL
000023e3: SWAP2
000023e4: POP
000023e5: POP
000023e6: RETURNDATASIZE
000023e7: DUP1
000023e8: PUSH1 0x00
000023ea: DUP2
000023eb: EQ
000023ec: PUSH2 0x2411
000023ef: JUMPI
000023f0: PUSH1 0x40
000023f2: MLOAD
000023f3: SWAP2
000023f4: POP
000023f5: PUSH1 0x1f
000023f7: NOT
000023f8: PUSH1 0x3f
000023fa: RETURNDATASIZE
000023fb: ADD
000023fc: AND
000023fd: DUP3
000023fe: ADD
000023ff: PUSH1 0x40
00002401: MSTORE
00002402: RETURNDATASIZE
00002403: DUP3
00002404: MSTORE
00002405: RETURNDATASIZE
00002406: PUSH1 0x00
00002408: PUSH1 0x20
0000240a: DUP5
0000240b: ADD
0000240c: RETURNDATACOPY
0000240d: PUSH2 0x2416
00002410: JUMP
00002411: JUMPDEST
00002412: PUSH1 0x60
00002414: SWAP2
00002415: POP
00002416: JUMPDEST
00002417: POP
00002418: SWAP1
00002419: SWAP3
0000241a: POP
0000241b: POP
0000241c: POP
0000241d: JUMPDEST
0000241e: DUP1
0000241f: PUSH2 0x2459
00002422: JUMPI
00002423: PUSH1 0x40
00002425: MLOAD
00002426: PUSH3 0x461bcd
0000242a: PUSH1 0xe5
0000242c: SHL
0000242d: DUP2
0000242e: MSTORE
0000242f: PUSH1 0x04
00002431: ADD
00002432: DUP1
00002433: DUP1
00002434: PUSH1 0x20
00002436: ADD
00002437: DUP3
00002438: DUP2
00002439: SUB
0000243a: DUP3
0000243b: MSTORE
0000243c: PUSH1 0x27
0000243e: DUP2
0000243f: MSTORE
00002440: PUSH1 0x20
00002442: ADD
00002443: DUP1
00002444: PUSH2 0x3137
00002447: PUSH1 0x27
00002449: SWAP2
0000244a: CODECOPY
0000244b: PUSH1 0x40
0000244d: ADD
0000244e: SWAP2
0000244f: POP
00002450: POP
00002451: PUSH1 0x40
00002453: MLOAD
00002454: DUP1
00002455: SWAP2
00002456: SUB
00002457: SWAP1
00002458: REVERT
00002459: JUMPDEST
0000245a: PUSH2 0x2483
0000245d: DUP3
0000245e: PUSH1 0x10
00002460: DUP6
00002461: DUP2
00002462: SLOAD
00002463: DUP2
00002464: LT
00002465: PUSH2 0x246a
00002468: JUMPI
00002469: INVALID
0000246a: JUMPDEST
0000246b: SWAP1
0000246c: PUSH1 0x00
0000246e: MSTORE
0000246f: PUSH1 0x20
00002471: PUSH1 0x00
00002473: KECCAK256
00002474: ADD
00002475: SLOAD
00002476: PUSH2 0x2784
00002479: SWAP1
0000247a: SWAP2
0000247b: SWAP1
0000247c: PUSH4 0xffffffff
00002481: AND
00002482: JUMP
00002483: JUMPDEST
00002484: PUSH1 0x10
00002486: DUP5
00002487: DUP2
00002488: SLOAD
00002489: DUP2
0000248a: LT
0000248b: PUSH2 0x2490
0000248e: JUMPI
0000248f: INVALID
00002490: JUMPDEST
00002491: PUSH1 0x00
00002493: SWAP2
00002494: DUP3
00002495: MSTORE
00002496: PUSH1 0x20
00002498: SWAP1
00002499: SWAP2
0000249a: KECCAK256
0000249b: ADD
0000249c: SSTORE
0000249d: POP
0000249e: JUMPDEST
0000249f: POP
000024a0: PUSH1 0x01
000024a2: ADD
000024a3: PUSH2 0x2223
000024a6: JUMP
000024a7: JUMPDEST
000024a8: POP
000024a9: POP
000024aa: JUMP
000024ab: JUMPDEST
000024ac: CALLER
000024ad: SWAP1
000024ae: JUMP
000024af: JUMPDEST
000024b0: PUSH1 0x00
000024b2: DUP4
000024b3: DUP2
000024b4: MSTORE
000024b5: PUSH1 0x09
000024b7: PUSH1 0x20
000024b9: SWAP1
000024ba: DUP2
000024bb: MSTORE
000024bc: PUSH1 0x40
000024be: DUP1
000024bf: DUP4
000024c0: KECCAK256
000024c1: PUSH1 0x01
000024c3: PUSH1 0x01
000024c5: PUSH1 0xa0
000024c7: SHL
000024c8: SUB
000024c9: DUP7
000024ca: AND
000024cb: DUP5
000024cc: MSTORE
000024cd: SWAP1
000024ce: SWAP2
000024cf: MSTORE
000024d0: SWAP1
000024d1: KECCAK256
000024d2: SLOAD
000024d3: PUSH2 0x24e2
000024d6: SWAP1
000024d7: DUP3
000024d8: PUSH4 0xffffffff
000024dd: PUSH2 0x2784
000024e0: AND
000024e1: JUMP
000024e2: JUMPDEST
000024e3: PUSH1 0x00
000024e5: DUP5
000024e6: DUP2
000024e7: MSTORE
000024e8: PUSH1 0x09
000024ea: PUSH1 0x20
000024ec: SWAP1
000024ed: DUP2
000024ee: MSTORE
000024ef: PUSH1 0x40
000024f1: DUP1
000024f2: DUP4
000024f3: KECCAK256
000024f4: PUSH1 0x01
000024f6: PUSH1 0x01
000024f8: PUSH1 0xa0
000024fa: SHL
000024fb: SUB
000024fc: DUP8
000024fd: AND
000024fe: DUP5
000024ff: MSTORE
00002500: SWAP1
00002501: SWAP2
00002502: MSTORE
00002503: SWAP1
00002504: KECCAK256
00002505: SSTORE
00002506: PUSH1 0x0d
00002508: DUP1
00002509: SLOAD
0000250a: PUSH2 0x2519
0000250d: SWAP2
0000250e: DUP4
0000250f: SWAP2
00002510: DUP7
00002511: SWAP1
00002512: DUP2
00002513: LT
00002514: PUSH2 0x246a
00002517: JUMPI
00002518: INVALID
00002519: JUMPDEST
0000251a: PUSH1 0x0d
0000251c: DUP5
0000251d: DUP2
0000251e: SLOAD
0000251f: DUP2
00002520: LT
00002521: PUSH2 0x2526
00002524: JUMPI
00002525: INVALID
00002526: JUMPDEST
00002527: PUSH1 0x00
00002529: SWAP2
0000252a: DUP3
0000252b: MSTORE
0000252c: PUSH1 0x20
0000252e: SWAP1
0000252f: SWAP2
00002530: KECCAK256
00002531: ADD
00002532: SSTORE
00002533: POP
00002534: POP
00002535: POP
00002536: JUMP
00002537: JUMPDEST
00002538: PUSH1 0x00
0000253a: DUP1
0000253b: PUSH1 0x00
0000253d: DUP1
0000253e: PUSH1 0x00
00002540: DUP1
00002541: PUSH1 0x00
00002543: DUP1
00002544: PUSH2 0x254c
00002547: DUP10
00002548: PUSH2 0x27e5
0000254b: JUMP
0000254c: JUMPDEST
0000254d: SWAP7
0000254e: POP
0000254f: SWAP7
00002550: POP
00002551: SWAP7
00002552: POP
00002553: SWAP7
00002554: POP
00002555: SWAP7
00002556: POP
00002557: SWAP7
00002558: POP
00002559: SWAP7
0000255a: POP
0000255b: PUSH1 0x00
0000255d: DUP1
0000255e: SWAP1
0000255f: POP
00002560: PUSH1 0x00
00002562: DUP1
00002563: PUSH1 0x00
00002565: DUP1
00002566: PUSH1 0x44
00002568: DUP15
00002569: SUB
0000256a: PUSH1 0x06
0000256c: SLOAD
0000256d: SWAP5
0000256e: POP
0000256f: DUP1
00002570: MLOAD
00002571: SWAP4
00002572: POP
00002573: PUSH1 0x20
00002575: DUP2
00002576: ADD
00002577: MLOAD
00002578: SWAP3
00002579: POP
0000257a: PUSH1 0x40
0000257c: DUP2
0000257d: ADD
0000257e: MLOAD
0000257f: SWAP2
00002580: POP
00002581: PUSH1 0xac
00002583: DUP2
00002584: MSTORE8
00002585: PUSH1 0x31
00002587: PUSH1 0x01
00002589: DUP3
0000258a: ADD
0000258b: MSTORE8
0000258c: PUSH1 0x8c
0000258e: PUSH1 0x02
00002590: DUP3
00002591: ADD
00002592: MSTORE8
00002593: PUSH1 0x5d
00002595: PUSH1 0x03
00002597: DUP3
00002598: ADD
00002599: MSTORE8
0000259a: PUSH1 0x40
0000259c: PUSH1 0x04
0000259e: DUP3
0000259f: ADD
000025a0: MSTORE
000025a1: DUP10
000025a2: PUSH1 0x24
000025a4: DUP3
000025a5: ADD
000025a6: MSTORE
000025a7: PUSH1 0x64
000025a9: DUP16
000025aa: MLOAD
000025ab: ADD
000025ac: PUSH1 0x00
000025ae: DUP1
000025af: DUP3
000025b0: DUP5
000025b1: DUP10
000025b2: GAS
000025b3: STATICCALL
000025b4: SWAP7
000025b5: POP
000025b6: POP
000025b7: DUP4
000025b8: DUP2
000025b9: MSTORE
000025ba: DUP3
000025bb: PUSH1 0x20
000025bd: DUP3
000025be: ADD
000025bf: MSTORE
000025c0: DUP2
000025c1: PUSH1 0x40
000025c3: DUP3
000025c4: ADD
000025c5: MSTORE
000025c6: POP
000025c7: DUP5
000025c8: PUSH2 0x2618
000025cb: JUMPI
000025cc: PUSH1 0x40
000025ce: DUP1
000025cf: MLOAD
000025d0: PUSH3 0x461bcd
000025d4: PUSH1 0xe5
000025d6: SHL
000025d7: DUP2
000025d8: MSTORE
000025d9: PUSH1 0x20
000025db: PUSH1 0x04
000025dd: DUP3
000025de: ADD
000025df: MSTORE
000025e0: PUSH1 0x19
000025e2: PUSH1 0x24
000025e4: DUP3
000025e5: ADD
000025e6: MSTORE
000025e7: PUSH32 0x70726f6f6620766572696669636174696f6e206661696c656400000000000000
00002608: PUSH1 0x44
0000260a: DUP3
0000260b: ADD
0000260c: MSTORE
0000260d: SWAP1
0000260e: MLOAD
0000260f: SWAP1
00002610: DUP2
00002611: SWAP1
00002612: SUB
00002613: PUSH1 0x64
00002615: ADD
00002616: SWAP1
00002617: REVERT
00002618: JUMPDEST
00002619: PUSH1 0x01
0000261b: DUP13
0000261c: DUP2
0000261d: SSTORE
0000261e: PUSH1 0x02
00002620: DUP13
00002621: SWAP1
00002622: SSTORE
00002623: PUSH2 0x2633
00002626: SWAP1
00002627: DUP12
00002628: SWAP1
00002629: PUSH4 0xffffffff
0000262e: PUSH2 0x2784
00002631: AND
00002632: JUMP
00002633: JUMPDEST
00002634: PUSH1 0x05
00002636: SSTORE
00002637: PUSH1 0x03
00002639: DUP9
0000263a: SWAP1
0000263b: SSTORE
0000263c: PUSH1 0x04
0000263e: DUP7
0000263f: SWAP1
00002640: SSTORE
00002641: PUSH1 0x01
00002643: SLOAD
00002644: PUSH1 0x02
00002646: SLOAD
00002647: PUSH1 0x40
00002649: DUP1
0000264a: MLOAD
0000264b: SWAP3
0000264c: DUP4
0000264d: MSTORE
0000264e: PUSH1 0x20
00002650: DUP4
00002651: ADD
00002652: SWAP2
00002653: SWAP1
00002654: SWAP2
00002655: MSTORE
00002656: DUP2
00002657: DUP2
00002658: ADD
00002659: DUP11
0000265a: SWAP1
0000265b: MSTORE
0000265c: PUSH1 0x60
0000265e: DUP3
0000265f: ADD
00002660: DUP9
00002661: SWAP1
00002662: MSTORE
00002663: MLOAD
00002664: DUP12
00002665: SWAP2
00002666: PUSH32 0xf1034928243e3365c0bf101598066f51439bb2a8763ec84cf7902d8917fb974f
00002687: SWAP2
00002688: SWAP1
00002689: DUP2
0000268a: SWAP1
0000268b: SUB
0000268c: PUSH1 0x80
0000268e: ADD
0000268f: SWAP1
00002690: LOG2
00002691: POP
00002692: SWAP5
00002693: SWAP13
00002694: SWAP12
00002695: POP
00002696: POP
00002697: POP
00002698: POP
00002699: POP
0000269a: POP
0000269b: POP
0000269c: POP
0000269d: POP
0000269e: POP
0000269f: POP
000026a0: POP
000026a1: JUMP
000026a2: JUMPDEST
000026a3: PUSH1 0x00
000026a5: PUSH2 0x01e0
000026a8: DUP1
000026a9: DUP6
000026aa: ADD
000026ab: SWAP1
000026ac: PUSH2 0x0180
000026af: DUP6
000026b0: DUP2
000026b1: MUL
000026b2: DUP8
000026b3: ADD
000026b4: SWAP1
000026b5: SWAP2
000026b6: ADD
000026b7: SWAP1
000026b8: JUMPDEST
000026b9: DUP2
000026ba: DUP4
000026bb: LT
000026bc: ISZERO
000026bd: PUSH2 0x18f6
000026c0: JUMPI
000026c1: DUP3
000026c2: MLOAD
000026c3: PUSH1 0x20
000026c5: DUP5
000026c6: ADD
000026c7: MLOAD
000026c8: PUSH1 0x40
000026ca: DUP6
000026cb: ADD
000026cc: MLOAD
000026cd: DUP3
000026ce: ISZERO
000026cf: DUP3
000026d0: ISZERO
000026d1: NOT
000026d2: DUP3
000026d3: ISZERO
000026d4: NOT
000026d5: OR
000026d6: AND
000026d7: DUP1
000026d8: ISZERO
000026d9: PUSH2 0x2762
000026dc: JUMPI
000026dd: PUSH1 0x60
000026df: DUP8
000026e0: ADD
000026e1: MLOAD
000026e2: DUP4
000026e3: ISZERO
000026e4: PUSH2 0x2747
000026e7: JUMPI
000026e8: PUSH2 0x0140
000026eb: DUP9
000026ec: ADD
000026ed: MLOAD
000026ee: DUP7
000026ef: DUP10
000026f0: KECCAK256
000026f1: PUSH1 0x01
000026f3: PUSH1 0x01
000026f5: PUSH1 0xa0
000026f7: SHL
000026f8: SUB
000026f9: DUP3
000026fa: AND
000026fb: PUSH1 0x00
000026fd: SWAP1
000026fe: DUP2
000026ff: MSTORE
00002700: PUSH1 0x0a
00002702: PUSH1 0x20
00002704: SWAP1
00002705: DUP2
00002706: MSTORE
00002707: PUSH1 0x40
00002709: DUP1
0000270a: DUP4
0000270b: KECCAK256
0000270c: DUP5
0000270d: DUP5
0000270e: MSTORE
0000270f: SWAP1
00002710: SWAP2
00002711: MSTORE
00002712: SWAP1
00002713: KECCAK256
00002714: SLOAD
00002715: PUSH1 0xff
00002717: AND
00002718: PUSH2 0x2739
0000271b: JUMPI
0000271c: DUP12
0000271d: DUP12
0000271e: ADD
0000271f: DUP1
00002720: MLOAD
00002721: PUSH1 0x60
00002723: DUP3
00002724: MSTORE
00002725: PUSH2 0x272f
00002728: DUP4
00002729: DUP4
0000272a: DUP7
0000272b: PUSH2 0x2a5c
0000272e: JUMP
0000272f: JUMPDEST
00002730: SWAP1
00002731: MSTORE
00002732: PUSH1 0x60
00002734: SWAP11
00002735: SWAP1
00002736: SWAP11
00002737: ADD
00002738: SWAP10
00002739: JUMPDEST
0000273a: PUSH2 0x2744
0000273d: DUP4
0000273e: DUP4
0000273f: DUP9
00002740: PUSH2 0x2ba4
00002743: JUMP
00002744: JUMPDEST
00002745: POP
00002746: POP
00002747: JUMPDEST
00002748: DUP3
00002749: ISZERO
0000274a: PUSH2 0x2760
0000274d: JUMPI
0000274e: PUSH2 0x0160
00002751: DUP9
00002752: ADD
00002753: MLOAD
00002754: PUSH2 0x275e
00002757: DUP5
00002758: DUP3
00002759: DUP5
0000275a: PUSH2 0x2cb1
0000275d: JUMP
0000275e: JUMPDEST
0000275f: POP
00002760: JUMPDEST
00002761: POP
00002762: JUMPDEST
00002763: POP
00002764: POP
00002765: POP
00002766: PUSH2 0x0180
00002769: SWAP4
0000276a: SWAP1
0000276b: SWAP4
0000276c: ADD
0000276d: SWAP3
0000276e: POP
0000276f: PUSH2 0x26b8
00002772: JUMP
00002773: JUMPDEST
00002774: PUSH1 0x20
00002776: DUP2
00002777: MUL
00002778: DUP3
00002779: ADD
0000277a: PUSH2 0x0140
0000277d: ADD
0000277e: MLOAD
0000277f: SWAP3
00002780: SWAP2
00002781: POP
00002782: POP
00002783: JUMP
00002784: JUMPDEST
00002785: PUSH1 0x00
00002787: DUP3
00002788: DUP3
00002789: ADD
0000278a: DUP4
0000278b: DUP2
0000278c: LT
0000278d: ISZERO
0000278e: PUSH2 0x27de
00002791: JUMPI
00002792: PUSH1 0x40
00002794: DUP1
00002795: MLOAD
00002796: PUSH3 0x461bcd
0000279a: PUSH1 0xe5
0000279c: SHL
0000279d: DUP2
0000279e: MSTORE
0000279f: PUSH1 0x20
000027a1: PUSH1 0x04
000027a3: DUP3
000027a4: ADD
000027a5: MSTORE
000027a6: PUSH1 0x1b
000027a8: PUSH1 0x24
000027aa: DUP3
000027ab: ADD
000027ac: MSTORE
000027ad: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000027ce: PUSH1 0x44
000027d0: DUP3
000027d1: ADD
000027d2: MSTORE
000027d3: SWAP1
000027d4: MLOAD
000027d5: SWAP1
000027d6: DUP2
000027d7: SWAP1
000027d8: SUB
000027d9: PUSH1 0x64
000027db: ADD
000027dc: SWAP1
000027dd: REVERT
000027de: JUMPDEST
000027df: SWAP4
000027e0: SWAP3
000027e1: POP
000027e2: POP
000027e3: POP
000027e4: JUMP
000027e5: JUMPDEST
000027e6: PUSH1 0x00
000027e8: DUP1
000027e9: PUSH1 0x00
000027eb: DUP1
000027ec: PUSH1 0x00
000027ee: DUP1
000027ef: PUSH1 0x00
000027f1: PUSH2 0x27f8
000027f4: PUSH2 0x2f4b
000027f7: JUMP
000027f8: JUMPDEST
000027f9: PUSH1 0x00
000027fb: DUP1
000027fc: PUSH1 0x00
000027fe: DUP1
000027ff: PUSH1 0x00
00002801: DUP1
00002802: PUSH2 0x280c
00002805: DUP16
00002806: PUSH1 0x04
00002808: PUSH2 0x2e25
0000280b: JUMP
0000280c: JUMPDEST
0000280d: SWAP7
0000280e: POP
0000280f: SWAP7
00002810: POP
00002811: SWAP7
00002812: POP
00002813: SWAP7
00002814: POP
00002815: SWAP7
00002816: POP
00002817: SWAP7
00002818: POP
00002819: SWAP7
0000281a: POP
0000281b: DUP7
0000281c: PUSH1 0x01
0000281e: PUSH1 0x04
00002820: DUP2
00002821: LT
00002822: PUSH2 0x2827
00002825: JUMPI
00002826: INVALID
00002827: JUMPDEST
00002828: PUSH1 0x20
0000282a: MUL
0000282b: ADD
0000282c: MLOAD
0000282d: ISZERO
0000282e: PUSH2 0x283b
00002831: JUMPI
00002832: PUSH1 0x20
00002834: DUP8
00002835: ADD
00002836: MLOAD
00002837: PUSH2 0x283e
0000283a: JUMP
0000283b: JUMPDEST
0000283c: PUSH1 0x01
0000283e: JUMPDEST
0000283f: PUSH1 0x60
00002841: DUP9
00002842: ADD
00002843: DUP2
00002844: SWAP1
00002845: MSTORE
00002846: PUSH1 0x00
00002848: SWAP1
00002849: PUSH2 0x2853
0000284c: SWAP1
0000284d: PUSH1 0x02
0000284f: PUSH2 0x2e95
00002852: JUMP
00002853: JUMPDEST
00002854: SWAP1
00002855: POP
00002856: DUP1
00002857: PUSH1 0x04
00002859: SLOAD
0000285a: DUP2
0000285b: PUSH2 0x2860
0000285e: JUMPI
0000285f: INVALID
00002860: JUMPDEST
00002861: MOD
00002862: PUSH2 0x28ae
00002865: JUMPI
00002866: PUSH1 0x04
00002868: SLOAD
00002869: PUSH1 0x40
0000286b: DUP10
0000286c: ADD
0000286d: MLOAD
0000286e: EQ
0000286f: PUSH2 0x28a9
00002872: JUMPI
00002873: PUSH1 0x40
00002875: MLOAD
00002876: PUSH3 0x461bcd
0000287a: PUSH1 0xe5
0000287c: SHL
0000287d: DUP2
0000287e: MSTORE
0000287f: PUSH1 0x04
00002881: ADD
00002882: DUP1
00002883: DUP1
00002884: PUSH1 0x20
00002886: ADD
00002887: DUP3
00002888: DUP2
00002889: SUB
0000288a: DUP3
0000288b: MSTORE
0000288c: PUSH1 0x2c
0000288e: DUP2
0000288f: MSTORE
00002890: PUSH1 0x20
00002892: ADD
00002893: DUP1
00002894: PUSH2 0x307d
00002897: PUSH1 0x2c
00002899: SWAP2
0000289a: CODECOPY
0000289b: PUSH1 0x40
0000289d: ADD
0000289e: SWAP2
0000289f: POP
000028a0: POP
000028a1: PUSH1 0x40
000028a3: MLOAD
000028a4: DUP1
000028a5: SWAP2
000028a6: SUB
000028a7: SWAP1
000028a8: REVERT
000028a9: JUMPDEST
000028aa: PUSH2 0x2915
000028ad: JUMP
000028ae: JUMPDEST
000028af: PUSH1 0x00
000028b1: DUP2
000028b2: PUSH1 0x04
000028b4: SLOAD
000028b5: DUP2
000028b6: PUSH2 0x28bb
000028b9: JUMPI
000028ba: INVALID
000028bb: JUMPDEST
000028bc: MOD
000028bd: DUP3
000028be: PUSH1 0x04
000028c0: SLOAD
000028c1: ADD
000028c2: SUB
000028c3: SWAP1
000028c4: POP
000028c5: DUP1
000028c6: DUP10
000028c7: PUSH1 0x02
000028c9: PUSH1 0x04
000028cb: DUP2
000028cc: LT
000028cd: PUSH2 0x28d2
000028d0: JUMPI
000028d1: INVALID
000028d2: JUMPDEST
000028d3: PUSH1 0x20
000028d5: MUL
000028d6: ADD
000028d7: MLOAD
000028d8: EQ
000028d9: PUSH2 0x2913
000028dc: JUMPI
000028dd: PUSH1 0x40
000028df: MLOAD
000028e0: PUSH3 0x461bcd
000028e4: PUSH1 0xe5
000028e6: SHL
000028e7: DUP2
000028e8: MSTORE
000028e9: PUSH1 0x04
000028eb: ADD
000028ec: DUP1
000028ed: DUP1
000028ee: PUSH1 0x20
000028f0: ADD
000028f1: DUP3
000028f2: DUP2
000028f3: SUB
000028f4: DUP3
000028f5: MSTORE
000028f6: PUSH1 0x2c
000028f8: DUP2
000028f9: MSTORE
000028fa: PUSH1 0x20
000028fc: ADD
000028fd: DUP1
000028fe: PUSH2 0x307d
00002901: PUSH1 0x2c
00002903: SWAP2
00002904: CODECOPY
00002905: PUSH1 0x40
00002907: ADD
00002908: SWAP2
00002909: POP
0000290a: POP
0000290b: PUSH1 0x40
0000290d: MLOAD
0000290e: DUP1
0000290f: SWAP2
00002910: SUB
00002911: SWAP1
00002912: REVERT
00002913: JUMPDEST
00002914: POP
00002915: JUMPDEST
00002916: PUSH1 0x01
00002918: SLOAD
00002919: DUP8
0000291a: EQ
0000291b: PUSH2 0x2955
0000291e: JUMPI
0000291f: PUSH1 0x40
00002921: MLOAD
00002922: PUSH3 0x461bcd
00002926: PUSH1 0xe5
00002928: SHL
00002929: DUP2
0000292a: MSTORE
0000292b: PUSH1 0x04
0000292d: ADD
0000292e: DUP1
0000292f: DUP1
00002930: PUSH1 0x20
00002932: ADD
00002933: DUP3
00002934: DUP2
00002935: SUB
00002936: DUP3
00002937: MSTORE
00002938: PUSH1 0x25
0000293a: DUP2
0000293b: MSTORE
0000293c: PUSH1 0x20
0000293e: ADD
0000293f: DUP1
00002940: PUSH2 0x31ca
00002943: PUSH1 0x25
00002945: SWAP2
00002946: CODECOPY
00002947: PUSH1 0x40
00002949: ADD
0000294a: SWAP2
0000294b: POP
0000294c: POP
0000294d: PUSH1 0x40
0000294f: MLOAD
00002950: DUP1
00002951: SWAP2
00002952: SUB
00002953: SWAP1
00002954: REVERT
00002955: JUMPDEST
00002956: PUSH1 0x02
00002958: SLOAD
00002959: DUP6
0000295a: EQ
0000295b: PUSH2 0x2995
0000295e: JUMPI
0000295f: PUSH1 0x40
00002961: MLOAD
00002962: PUSH3 0x461bcd
00002966: PUSH1 0xe5
00002968: SHL
00002969: DUP2
0000296a: MSTORE
0000296b: PUSH1 0x04
0000296d: ADD
0000296e: DUP1
0000296f: DUP1
00002970: PUSH1 0x20
00002972: ADD
00002973: DUP3
00002974: DUP2
00002975: SUB
00002976: DUP3
00002977: MSTORE
00002978: PUSH1 0x25
0000297a: DUP2
0000297b: MSTORE
0000297c: PUSH1 0x20
0000297e: ADD
0000297f: DUP1
00002980: PUSH2 0x3182
00002983: PUSH1 0x25
00002985: SWAP2
00002986: CODECOPY
00002987: PUSH1 0x40
00002989: ADD
0000298a: SWAP2
0000298b: POP
0000298c: POP
0000298d: PUSH1 0x40
0000298f: MLOAD
00002990: DUP1
00002991: SWAP2
00002992: SUB
00002993: SWAP1
00002994: REVERT
00002995: JUMPDEST
00002996: PUSH1 0x03
00002998: SLOAD
00002999: DUP4
0000299a: EQ
0000299b: PUSH2 0x29d5
0000299e: JUMPI
0000299f: PUSH1 0x40
000029a1: MLOAD
000029a2: PUSH3 0x461bcd
000029a6: PUSH1 0xe5
000029a8: SHL
000029a9: DUP2
000029aa: MSTORE
000029ab: PUSH1 0x04
000029ad: ADD
000029ae: DUP1
000029af: DUP1
000029b0: PUSH1 0x20
000029b2: ADD
000029b3: DUP3
000029b4: DUP2
000029b5: SUB
000029b6: DUP3
000029b7: MSTORE
000029b8: PUSH1 0x25
000029ba: DUP2
000029bb: MSTORE
000029bc: PUSH1 0x20
000029be: ADD
000029bf: DUP1
000029c0: PUSH2 0x30d1
000029c3: PUSH1 0x25
000029c5: SWAP2
000029c6: CODECOPY
000029c7: PUSH1 0x40
000029c9: ADD
000029ca: SWAP2
000029cb: POP
000029cc: POP
000029cd: PUSH1 0x40
000029cf: MLOAD
000029d0: DUP1
000029d1: SWAP2
000029d2: SUB
000029d3: SWAP1
000029d4: REVERT
000029d5: JUMPDEST
000029d6: PUSH1 0x05
000029d8: SLOAD
000029d9: DUP9
000029da: MLOAD
000029db: EQ
000029dc: PUSH2 0x2a16
000029df: JUMPI
000029e0: PUSH1 0x40
000029e2: MLOAD
000029e3: PUSH3 0x461bcd
000029e7: PUSH1 0xe5
000029e9: SHL
000029ea: DUP2
000029eb: MSTORE
000029ec: PUSH1 0x04
000029ee: ADD
000029ef: DUP1
000029f0: DUP1
000029f1: PUSH1 0x20
000029f3: ADD
000029f4: DUP3
000029f5: DUP2
000029f6: SUB
000029f7: DUP3
000029f8: MSTORE
000029f9: PUSH1 0x23
000029fb: DUP2
000029fc: MSTORE
000029fd: PUSH1 0x20
000029ff: ADD
00002a00: DUP1
00002a01: PUSH2 0x300c
00002a04: PUSH1 0x23
00002a06: SWAP2
00002a07: CODECOPY
00002a08: PUSH1 0x40
00002a0a: ADD
00002a0b: SWAP2
00002a0c: POP
00002a0d: POP
00002a0e: PUSH1 0x40
00002a10: MLOAD
00002a11: DUP1
00002a12: SWAP2
00002a13: SUB
00002a14: SWAP1
00002a15: REVERT
00002a16: JUMPDEST
00002a17: DUP6
00002a18: DUP5
00002a19: DUP10
00002a1a: PUSH1 0x00
00002a1c: PUSH1 0x20
00002a1e: MUL
00002a1f: ADD
00002a20: MLOAD
00002a21: DUP11
00002a22: PUSH1 0x01
00002a24: PUSH1 0x20
00002a26: MUL
00002a27: ADD
00002a28: MLOAD
00002a29: DUP6
00002a2a: DUP13
00002a2b: PUSH1 0x03
00002a2d: PUSH1 0x20
00002a2f: MUL
00002a30: ADD
00002a31: MLOAD
00002a32: DUP7
00002a33: DUP15
00002a34: PUSH1 0x02
00002a36: PUSH1 0x20
00002a38: MUL
00002a39: ADD
00002a3a: MLOAD
00002a3b: ADD
00002a3c: SWAP15
00002a3d: POP
00002a3e: SWAP15
00002a3f: POP
00002a40: SWAP15
00002a41: POP
00002a42: SWAP15
00002a43: POP
00002a44: SWAP15
00002a45: POP
00002a46: SWAP15
00002a47: POP
00002a48: SWAP15
00002a49: POP
00002a4a: POP
00002a4b: POP
00002a4c: POP
00002a4d: POP
00002a4e: POP
00002a4f: POP
00002a50: POP
00002a51: POP
00002a52: SWAP2
00002a53: SWAP4
00002a54: SWAP6
00002a55: SWAP8
00002a56: SWAP1
00002a57: SWAP3
00002a58: SWAP5
00002a59: SWAP7
00002a5a: POP
00002a5b: JUMP
00002a5c: JUMPDEST
00002a5d: PUSH1 0x00
00002a5f: DUP1
00002a60: PUSH1 0x01
00002a62: PUSH1 0x01
00002a64: PUSH1 0xa0
00002a66: SHL
00002a67: SUB
00002a68: DUP4
00002a69: AND
00002a6a: PUSH2 0x2aba
00002a6d: JUMPI
00002a6e: PUSH1 0x40
00002a70: DUP1
00002a71: MLOAD
00002a72: PUSH3 0x461bcd
00002a76: PUSH1 0xe5
00002a78: SHL
00002a79: DUP2
00002a7a: MSTORE
00002a7b: PUSH1 0x20
00002a7d: PUSH1 0x04
00002a7f: DUP3
00002a80: ADD
00002a81: MSTORE
00002a82: PUSH1 0x1f
00002a84: PUSH1 0x24
00002a86: DUP3
00002a87: ADD
00002a88: MSTORE
00002a89: PUSH32 0x76616c69646174655369676e61747572653a205a45524f5f4144445245535300
00002aaa: PUSH1 0x44
00002aac: DUP3
00002aad: ADD
00002aae: MSTORE
00002aaf: SWAP1
00002ab0: MLOAD
00002ab1: SWAP1
00002ab2: DUP2
00002ab3: SWAP1
00002ab4: SUB
00002ab5: PUSH1 0x64
00002ab7: ADD
00002ab8: SWAP1
00002ab9: REVERT
00002aba: JUMPDEST
00002abb: PUSH1 0x00
00002abd: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00002ade: PUSH1 0x00
00002ae0: MSTORE
00002ae1: DUP6
00002ae2: PUSH1 0x1c
00002ae4: MSTORE
00002ae5: PUSH1 0x3c
00002ae7: PUSH1 0x00
00002ae9: KECCAK256
00002aea: SWAP1
00002aeb: POP
00002aec: DUP5
00002aed: MLOAD
00002aee: DUP2
00002aef: DUP7
00002af0: MSTORE
00002af1: PUSH1 0x60
00002af3: DUP7
00002af4: ADD
00002af5: MLOAD
00002af6: PUSH1 0x40
00002af8: DUP8
00002af9: ADD
00002afa: MLOAD
00002afb: DUP1
00002afc: PUSH1 0x60
00002afe: DUP10
00002aff: ADD
00002b00: MSTORE
00002b01: PUSH1 0x20
00002b03: DUP9
00002b04: ADD
00002b05: MLOAD
00002b06: PUSH1 0x40
00002b08: DUP10
00002b09: ADD
00002b0a: MSTORE
00002b0b: DUP2
00002b0c: PUSH1 0x20
00002b0e: DUP10
00002b0f: ADD
00002b10: MSTORE
00002b11: PUSH1 0x20
00002b13: DUP9
00002b14: PUSH1 0x80
00002b16: DUP11
00002b17: PUSH1 0x01
00002b19: GAS
00002b1a: STATICCALL
00002b1b: PUSH1 0x1c
00002b1d: DUP4
00002b1e: EQ
00002b1f: PUSH1 0x1b
00002b21: DUP5
00002b22: EQ
00002b23: OR
00002b24: PUSH1 0x60
00002b26: DUP6
00002b27: EQ
00002b28: AND
00002b29: PUSH16 0xa2a8918ca85bafe22016d0b997e4df5f
00002b3a: PUSH1 0x01
00002b3c: PUSH1 0xff
00002b3e: SHL
00002b3f: SUB
00002b40: DUP4
00002b41: LT
00002b42: AND
00002b43: AND
00002b44: SWAP6
00002b45: POP
00002b46: POP
00002b47: POP
00002b48: DUP6
00002b49: MLOAD
00002b4a: DUP3
00002b4b: EQ
00002b4c: PUSH1 0x00
00002b4e: DUP2
00002b4f: EQ
00002b50: PUSH2 0x2b58
00002b53: JUMPI
00002b54: PUSH2 0x2b5d
00002b57: JUMP
00002b58: JUMPDEST
00002b59: DUP7
00002b5a: MLOAD
00002b5b: SWAP4
00002b5c: POP
00002b5d: JUMPDEST
00002b5e: POP
00002b5f: DUP6
00002b60: MSTORE
00002b61: DUP2
00002b62: ISZERO
00002b63: NOT
00002b64: SWAP3
00002b65: SWAP1
00002b66: SWAP3
00002b67: AND
00002b68: SWAP2
00002b69: DUP3
00002b6a: PUSH2 0x21a9
00002b6d: JUMPI
00002b6e: PUSH1 0x40
00002b70: MLOAD
00002b71: PUSH3 0x461bcd
00002b75: PUSH1 0xe5
00002b77: SHL
00002b78: DUP2
00002b79: MSTORE
00002b7a: PUSH1 0x04
00002b7c: ADD
00002b7d: DUP1
00002b7e: DUP1
00002b7f: PUSH1 0x20
00002b81: ADD
00002b82: DUP3
00002b83: DUP2
00002b84: SUB
00002b85: DUP3
00002b86: MSTORE
00002b87: PUSH1 0x2c
00002b89: DUP2
00002b8a: MSTORE
00002b8b: PUSH1 0x20
00002b8d: ADD
00002b8e: DUP1
00002b8f: PUSH2 0x3051
00002b92: PUSH1 0x2c
00002b94: SWAP2
00002b95: CODECOPY
00002b96: PUSH1 0x40
00002b98: ADD
00002b99: SWAP2
00002b9a: POP
00002b9b: POP
00002b9c: PUSH1 0x40
00002b9e: MLOAD
00002b9f: DUP1
00002ba0: SWAP2
00002ba1: SUB
00002ba2: SWAP1
00002ba3: REVERT
00002ba4: JUMPDEST
00002ba5: PUSH1 0x00
00002ba7: DUP4
00002ba8: DUP2
00002ba9: MSTORE
00002baa: PUSH1 0x09
00002bac: PUSH1 0x20
00002bae: SWAP1
00002baf: DUP2
00002bb0: MSTORE
00002bb1: PUSH1 0x40
00002bb3: DUP1
00002bb4: DUP4
00002bb5: KECCAK256
00002bb6: PUSH1 0x01
00002bb8: PUSH1 0x01
00002bba: PUSH1 0xa0
00002bbc: SHL
00002bbd: SUB
00002bbe: DUP7
00002bbf: AND
00002bc0: DUP5
00002bc1: MSTORE
00002bc2: SWAP1
00002bc3: SWAP2
00002bc4: MSTORE
00002bc5: SWAP1
00002bc6: KECCAK256
00002bc7: SLOAD
00002bc8: DUP2
00002bc9: DUP2
00002bca: LT
00002bcb: ISZERO
00002bcc: PUSH2 0x2c06
00002bcf: JUMPI
00002bd0: PUSH1 0x40
00002bd2: MLOAD
00002bd3: PUSH3 0x461bcd
00002bd7: PUSH1 0xe5
00002bd9: SHL
00002bda: DUP2
00002bdb: MSTORE
00002bdc: PUSH1 0x04
00002bde: ADD
00002bdf: DUP1
00002be0: DUP1
00002be1: PUSH1 0x20
00002be3: ADD
00002be4: DUP3
00002be5: DUP2
00002be6: SUB
00002be7: DUP3
00002be8: MSTORE
00002be9: PUSH1 0x26
00002beb: DUP2
00002bec: MSTORE
00002bed: PUSH1 0x20
00002bef: ADD
00002bf0: DUP1
00002bf1: PUSH2 0x321c
00002bf4: PUSH1 0x26
00002bf6: SWAP2
00002bf7: CODECOPY
00002bf8: PUSH1 0x40
00002bfa: ADD
00002bfb: SWAP2
00002bfc: POP
00002bfd: POP
00002bfe: PUSH1 0x40
00002c00: MLOAD
00002c01: DUP1
00002c02: SWAP2
00002c03: SUB
00002c04: SWAP1
00002c05: REVERT
00002c06: JUMPDEST
00002c07: PUSH2 0x2c16
00002c0a: DUP2
00002c0b: DUP4
00002c0c: PUSH4 0xffffffff
00002c11: PUSH2 0x2eee
00002c14: AND
00002c15: JUMP
00002c16: JUMPDEST
00002c17: PUSH1 0x00
00002c19: DUP6
00002c1a: DUP2
00002c1b: MSTORE
00002c1c: PUSH1 0x09
00002c1e: PUSH1 0x20
00002c20: SWAP1
00002c21: DUP2
00002c22: MSTORE
00002c23: PUSH1 0x40
00002c25: DUP1
00002c26: DUP4
00002c27: KECCAK256
00002c28: PUSH1 0x01
00002c2a: PUSH1 0x01
00002c2c: PUSH1 0xa0
00002c2e: SHL
00002c2f: SUB
00002c30: DUP9
00002c31: AND
00002c32: DUP5
00002c33: MSTORE
00002c34: SWAP1
00002c35: SWAP2
00002c36: MSTORE
00002c37: SWAP1
00002c38: KECCAK256
00002c39: SSTORE
00002c3a: PUSH1 0x0d
00002c3c: DUP1
00002c3d: SLOAD
00002c3e: PUSH2 0x2c66
00002c41: SWAP2
00002c42: DUP5
00002c43: SWAP2
00002c44: DUP8
00002c45: SWAP1
00002c46: DUP2
00002c47: LT
00002c48: PUSH2 0x2c4d
00002c4b: JUMPI
00002c4c: INVALID
00002c4d: JUMPDEST
00002c4e: SWAP1
00002c4f: PUSH1 0x00
00002c51: MSTORE
00002c52: PUSH1 0x20
00002c54: PUSH1 0x00
00002c56: KECCAK256
00002c57: ADD
00002c58: SLOAD
00002c59: PUSH2 0x2eee
00002c5c: SWAP1
00002c5d: SWAP2
00002c5e: SWAP1
00002c5f: PUSH4 0xffffffff
00002c64: AND
00002c65: JUMP
00002c66: JUMPDEST
00002c67: PUSH1 0x0d
00002c69: DUP6
00002c6a: DUP2
00002c6b: SLOAD
00002c6c: DUP2
00002c6d: LT
00002c6e: PUSH2 0x2c73
00002c71: JUMPI
00002c72: INVALID
00002c73: JUMPDEST
00002c74: SWAP1
00002c75: PUSH1 0x00
00002c77: MSTORE
00002c78: PUSH1 0x20
00002c7a: PUSH1 0x00
00002c7c: KECCAK256
00002c7d: ADD
00002c7e: DUP2
00002c7f: SWAP1
00002c80: SSTORE
00002c81: POP
00002c82: PUSH2 0x2c92
00002c85: DUP3
00002c86: PUSH1 0x0e
00002c88: DUP7
00002c89: DUP2
00002c8a: SLOAD
00002c8b: DUP2
00002c8c: LT
00002c8d: PUSH2 0x246a
00002c90: JUMPI
00002c91: INVALID
00002c92: JUMPDEST
00002c93: PUSH1 0x0e
00002c95: DUP6
00002c96: DUP2
00002c97: SLOAD
00002c98: DUP2
00002c99: LT
00002c9a: PUSH2 0x2c9f
00002c9d: JUMPI
00002c9e: INVALID
00002c9f: JUMPDEST
00002ca0: PUSH1 0x00
00002ca2: SWAP2
00002ca3: DUP3
00002ca4: MSTORE
00002ca5: PUSH1 0x20
00002ca7: SWAP1
00002ca8: SWAP2
00002ca9: KECCAK256
00002caa: ADD
00002cab: SSTORE
00002cac: POP
00002cad: POP
00002cae: POP
00002caf: POP
00002cb0: JUMP
00002cb1: JUMPDEST
00002cb2: PUSH1 0x01
00002cb4: PUSH1 0x01
00002cb6: PUSH1 0xa0
00002cb8: SHL
00002cb9: SUB
00002cba: DUP3
00002cbb: AND
00002cbc: PUSH2 0x2d0c
00002cbf: JUMPI
00002cc0: PUSH1 0x40
00002cc2: DUP1
00002cc3: MLOAD
00002cc4: PUSH3 0x461bcd
00002cc8: PUSH1 0xe5
00002cca: SHL
00002ccb: DUP2
00002ccc: MSTORE
00002ccd: PUSH1 0x20
00002ccf: PUSH1 0x04
00002cd1: DUP3
00002cd2: ADD
00002cd3: MSTORE
00002cd4: PUSH1 0x1e
00002cd6: PUSH1 0x24
00002cd8: DUP3
00002cd9: ADD
00002cda: MSTORE
00002cdb: PUSH32 0x526f6c6c75702050726f636573736f723a205a45524f5f414444524553530000
00002cfc: PUSH1 0x44
00002cfe: DUP3
00002cff: ADD
00002d00: MSTORE
00002d01: SWAP1
00002d02: MLOAD
00002d03: SWAP1
00002d04: DUP2
00002d05: SWAP1
00002d06: SUB
00002d07: PUSH1 0x64
00002d09: ADD
00002d0a: SWAP1
00002d0b: REVERT
00002d0c: JUMPDEST
00002d0d: DUP1
00002d0e: PUSH2 0x2d6c
00002d11: JUMPI
00002d12: PUSH1 0x40
00002d14: MLOAD
00002d15: PUSH1 0x01
00002d17: PUSH1 0x01
00002d19: PUSH1 0xa0
00002d1b: SHL
00002d1c: SUB
00002d1d: DUP4
00002d1e: AND
00002d1f: SWAP1
00002d20: PUSH2 0x7530
00002d23: SWAP1
00002d24: DUP6
00002d25: SWAP1
00002d26: PUSH1 0x00
00002d28: DUP2
00002d29: DUP2
00002d2a: DUP2
00002d2b: DUP6
00002d2c: DUP9
00002d2d: DUP9
00002d2e: CALL
00002d2f: SWAP4
00002d30: POP
00002d31: POP
00002d32: POP
00002d33: POP
00002d34: RETURNDATASIZE
00002d35: DUP1
00002d36: PUSH1 0x00
00002d38: DUP2
00002d39: EQ
00002d3a: PUSH2 0x2d5f
00002d3d: JUMPI
00002d3e: PUSH1 0x40
00002d40: MLOAD
00002d41: SWAP2
00002d42: POP
00002d43: PUSH1 0x1f
00002d45: NOT
00002d46: PUSH1 0x3f
00002d48: RETURNDATASIZE
00002d49: ADD
00002d4a: AND
00002d4b: DUP3
00002d4c: ADD
00002d4d: PUSH1 0x40
00002d4f: MSTORE
00002d50: RETURNDATASIZE
00002d51: DUP3
00002d52: MSTORE
00002d53: RETURNDATASIZE
00002d54: PUSH1 0x00
00002d56: PUSH1 0x20
00002d58: DUP5
00002d59: ADD
00002d5a: RETURNDATACOPY
00002d5b: PUSH2 0x2d64
00002d5e: JUMP
00002d5f: JUMPDEST
00002d60: PUSH1 0x60
00002d62: SWAP2
00002d63: POP
00002d64: JUMPDEST
00002d65: POP
00002d66: POP
00002d67: POP
00002d68: PUSH2 0x2e07
00002d6b: JUMP
00002d6c: JUMPDEST
00002d6d: PUSH1 0x00
00002d6f: PUSH2 0x2d77
00002d72: DUP3
00002d73: PUSH2 0x12dc
00002d76: JUMP
00002d77: JUMPDEST
00002d78: SWAP1
00002d79: POP
00002d7a: DUP1
00002d7b: PUSH1 0x01
00002d7d: PUSH1 0x01
00002d7f: PUSH1 0xa0
00002d81: SHL
00002d82: SUB
00002d83: AND
00002d84: PUSH4 0xa9059cbb
00002d89: DUP5
00002d8a: DUP7
00002d8b: PUSH1 0x40
00002d8d: MLOAD
00002d8e: DUP4
00002d8f: PUSH4 0xffffffff
00002d94: AND
00002d95: PUSH1 0xe0
00002d97: SHL
00002d98: DUP2
00002d99: MSTORE
00002d9a: PUSH1 0x04
00002d9c: ADD
00002d9d: DUP1
00002d9e: DUP4
00002d9f: PUSH1 0x01
00002da1: PUSH1 0x01
00002da3: PUSH1 0xa0
00002da5: SHL
00002da6: SUB
00002da7: AND
00002da8: PUSH1 0x01
00002daa: PUSH1 0x01
00002dac: PUSH1 0xa0
00002dae: SHL
00002daf: SUB
00002db0: AND
00002db1: DUP2
00002db2: MSTORE
00002db3: PUSH1 0x20
00002db5: ADD
00002db6: DUP3
00002db7: DUP2
00002db8: MSTORE
00002db9: PUSH1 0x20
00002dbb: ADD
00002dbc: SWAP3
00002dbd: POP
00002dbe: POP
00002dbf: POP
00002dc0: PUSH1 0x20
00002dc2: PUSH1 0x40
00002dc4: MLOAD
00002dc5: DUP1
00002dc6: DUP4
00002dc7: SUB
00002dc8: DUP2
00002dc9: PUSH1 0x00
00002dcb: DUP8
00002dcc: DUP1
00002dcd: EXTCODESIZE
00002dce: ISZERO
00002dcf: DUP1
00002dd0: ISZERO
00002dd1: PUSH2 0x2dd9
00002dd4: JUMPI
00002dd5: PUSH1 0x00
00002dd7: DUP1
00002dd8: REVERT
00002dd9: JUMPDEST
00002dda: POP
00002ddb: GAS
00002ddc: CALL
00002ddd: ISZERO
00002dde: DUP1
00002ddf: ISZERO
00002de0: PUSH2 0x2ded
00002de3: JUMPI
00002de4: RETURNDATASIZE
00002de5: PUSH1 0x00
00002de7: DUP1
00002de8: RETURNDATACOPY
00002de9: RETURNDATASIZE
00002dea: PUSH1 0x00
00002dec: REVERT
00002ded: JUMPDEST
00002dee: POP
00002def: POP
00002df0: POP
00002df1: POP
00002df2: PUSH1 0x40
00002df4: MLOAD
00002df5: RETURNDATASIZE
00002df6: PUSH1 0x20
00002df8: DUP2
00002df9: LT
00002dfa: ISZERO
00002dfb: PUSH2 0x2e03
00002dfe: JUMPI
00002dff: PUSH1 0x00
00002e01: DUP1
00002e02: REVERT
00002e03: JUMPDEST
00002e04: POP
00002e05: POP
00002e06: POP
00002e07: JUMPDEST
00002e08: PUSH2 0x2e18
00002e0b: DUP4
00002e0c: PUSH1 0x0f
00002e0e: DUP4
00002e0f: DUP2
00002e10: SLOAD
00002e11: DUP2
00002e12: LT
00002e13: PUSH2 0x246a
00002e16: JUMPI
00002e17: INVALID
00002e18: JUMPDEST
00002e19: PUSH1 0x0f
00002e1b: DUP3
00002e1c: DUP2
00002e1d: SLOAD
00002e1e: DUP2
00002e1f: LT
00002e20: PUSH2 0x2526
00002e23: JUMPI
00002e24: INVALID
00002e25: JUMPDEST
00002e26: PUSH2 0x2e2d
00002e29: PUSH2 0x2f4b
00002e2c: JUMP
00002e2d: JUMPDEST
00002e2e: POP
00002e2f: PUSH1 0x20
00002e31: DUP3
00002e32: DUP2
00002e33: ADD
00002e34: MLOAD
00002e35: PUSH1 0x40
00002e37: DUP1
00002e38: DUP6
00002e39: ADD
00002e3a: MLOAD
00002e3b: PUSH1 0x60
00002e3d: DUP1
00002e3e: DUP8
00002e3f: ADD
00002e40: MLOAD
00002e41: PUSH1 0x80
00002e43: DUP1
00002e44: DUP10
00002e45: ADD
00002e46: MLOAD
00002e47: PUSH1 0xa0
00002e49: DUP11
00002e4a: ADD
00002e4b: MLOAD
00002e4c: PUSH1 0xc0
00002e4e: DUP12
00002e4f: ADD
00002e50: MLOAD
00002e51: PUSH1 0xe0
00002e53: DUP13
00002e54: ADD
00002e55: MLOAD
00002e56: PUSH2 0x0100
00002e59: DUP14
00002e5a: ADD
00002e5b: MLOAD
00002e5c: PUSH2 0x0120
00002e5f: DUP15
00002e60: ADD
00002e61: MLOAD
00002e62: SWAP13
00002e63: DUP13
00002e64: MUL
00002e65: SWAP1
00002e66: SWAP14
00002e67: ADD
00002e68: PUSH2 0x0140
00002e6b: ADD
00002e6c: MLOAD
00002e6d: DUP10
00002e6e: MLOAD
00002e6f: SWAP6
00002e70: DUP7
00002e71: ADD
00002e72: DUP11
00002e73: MSTORE
00002e74: SWAP10
00002e75: DUP6
00002e76: MSTORE
00002e77: SWAP10
00002e78: DUP5
00002e79: ADD
00002e7a: SWAP7
00002e7b: SWAP1
00002e7c: SWAP7
00002e7d: MSTORE
00002e7e: SWAP6
00002e7f: DUP3
00002e80: ADD
00002e81: SWAP3
00002e82: SWAP1
00002e83: SWAP3
00002e84: MSTORE
00002e85: SWAP2
00002e86: DUP3
00002e87: ADD
00002e88: SWAP5
00002e89: SWAP1
00002e8a: SWAP5
00002e8b: MSTORE
00002e8c: SWAP7
00002e8d: SWAP3
00002e8e: SWAP6
00002e8f: SWAP2
00002e90: SWAP5
00002e91: SWAP1
00002e92: SWAP4
00002e93: SWAP3
00002e94: JUMP
00002e95: JUMPDEST
00002e96: PUSH1 0x00
00002e98: DUP3
00002e99: PUSH2 0x2ea4
00002e9c: JUMPI
00002e9d: POP
00002e9e: PUSH1 0x00
00002ea0: PUSH2 0x15a4
00002ea3: JUMP
00002ea4: JUMPDEST
00002ea5: DUP3
00002ea6: DUP3
00002ea7: MUL
00002ea8: DUP3
00002ea9: DUP5
00002eaa: DUP3
00002eab: DUP2
00002eac: PUSH2 0x2eb1
00002eaf: JUMPI
00002eb0: INVALID
00002eb1: JUMPDEST
00002eb2: DIV
00002eb3: EQ
00002eb4: PUSH2 0x27de
00002eb7: JUMPI
00002eb8: PUSH1 0x40
00002eba: MLOAD
00002ebb: PUSH3 0x461bcd
00002ebf: PUSH1 0xe5
00002ec1: SHL
00002ec2: DUP2
00002ec3: MSTORE
00002ec4: PUSH1 0x04
00002ec6: ADD
00002ec7: DUP1
00002ec8: DUP1
00002ec9: PUSH1 0x20
00002ecb: ADD
00002ecc: DUP3
00002ecd: DUP2
00002ece: SUB
00002ecf: DUP3
00002ed0: MSTORE
00002ed1: PUSH1 0x21
00002ed3: DUP2
00002ed4: MSTORE
00002ed5: PUSH1 0x20
00002ed7: ADD
00002ed8: DUP1
00002ed9: PUSH2 0x30f6
00002edc: PUSH1 0x21
00002ede: SWAP2
00002edf: CODECOPY
00002ee0: PUSH1 0x40
00002ee2: ADD
00002ee3: SWAP2
00002ee4: POP
00002ee5: POP
00002ee6: PUSH1 0x40
00002ee8: MLOAD
00002ee9: DUP1
00002eea: SWAP2
00002eeb: SUB
00002eec: SWAP1
00002eed: REVERT
00002eee: JUMPDEST
00002eef: PUSH1 0x00
00002ef1: DUP3
00002ef2: DUP3
00002ef3: GT
00002ef4: ISZERO
00002ef5: PUSH2 0x2f45
00002ef8: JUMPI
00002ef9: PUSH1 0x40
00002efb: DUP1
00002efc: MLOAD
00002efd: PUSH3 0x461bcd
00002f01: PUSH1 0xe5
00002f03: SHL
00002f04: DUP2
00002f05: MSTORE
00002f06: PUSH1 0x20
00002f08: PUSH1 0x04
00002f0a: DUP3
00002f0b: ADD
00002f0c: MSTORE
00002f0d: PUSH1 0x1e
00002f0f: PUSH1 0x24
00002f11: DUP3
00002f12: ADD
00002f13: MSTORE
00002f14: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002f35: PUSH1 0x44
00002f37: DUP3
00002f38: ADD
00002f39: MSTORE
00002f3a: SWAP1
00002f3b: MLOAD
00002f3c: SWAP1
00002f3d: DUP2
00002f3e: SWAP1
00002f3f: SUB
00002f40: PUSH1 0x64
00002f42: ADD
00002f43: SWAP1
00002f44: REVERT
00002f45: JUMPDEST
00002f46: POP
00002f47: SWAP1
00002f48: SUB
00002f49: SWAP1
00002f4a: JUMP
00002f4b: JUMPDEST
00002f4c: PUSH1 0x40
00002f4e: MLOAD
00002f4f: DUP1
00002f50: PUSH1 0x80
00002f52: ADD
00002f53: PUSH1 0x40
00002f55: MSTORE
00002f56: DUP1
00002f57: PUSH1 0x04
00002f59: SWAP1
00002f5a: PUSH1 0x20
00002f5c: DUP3
00002f5d: MUL
00002f5e: DUP1
00002f5f: CALLDATASIZE
00002f60: DUP4
00002f61: CALLDATACOPY
00002f62: POP
00002f63: SWAP2
00002f64: SWAP3
00002f65: SWAP2
00002f66: POP
00002f67: POP
00002f68: JUMP
00002f69: JUMPDEST
00002f6a: PUSH1 0x00
00002f6c: DUP1
00002f6d: DUP6
00002f6e: DUP6
00002f6f: GT
00002f70: ISZERO
00002f71: PUSH2 0x2f78
00002f74: JUMPI
00002f75: DUP2
00002f76: DUP3
00002f77: REVERT
00002f78: JUMPDEST
00002f79: DUP4
00002f7a: DUP7
00002f7b: GT
00002f7c: ISZERO
00002f7d: PUSH2 0x2f84
00002f80: JUMPI
00002f81: DUP2
00002f82: DUP3
00002f83: REVERT
00002f84: JUMPDEST
00002f85: POP
00002f86: POP
00002f87: DUP3
00002f88: ADD
00002f89: SWAP4
00002f8a: SWAP2
00002f8b: SWAP1
00002f8c: SWAP3
00002f8d: SUB
00002f8e: SWAP2
00002f8f: POP
00002f90: JUMP
00002f91: INVALID
00002f92: UNKNOWN(0x4F)
00002f93: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00002fac: PUSH27 0x65726f2061646472657373526f6c6c75702050726f636573736f72
00002fc8: GASPRICE
00002fc9: KECCAK256
00002fca: GASLIMIT
00002fcb: MSTORE8
00002fcc: NUMBER
00002fcd: COINBASE
00002fce: POP
00002fcf: GASLIMIT
00002fd0: PUSH0
00002fd1: TIMESTAMP
00002fd2: UNKNOWN(0x4C)
00002fd3: UNKNOWN(0x4F)
00002fd4: NUMBER
00002fd5: UNKNOWN(0x4B)
00002fd6: PUSH0
00002fd7: MSTORE
00002fd8: COINBASE
00002fd9: UNKNOWN(0x4E)
00002fda: SELFBALANCE
00002fdb: GASLIMIT
00002fdc: PUSH0
00002fdd: BLOBHASH
00002fde: UNKNOWN(0x4E)
00002fdf: NUMBER
00002fe0: UNKNOWN(0x4F)
00002fe1: MSTORE
00002fe2: MSTORE
00002fe3: GASLIMIT
00002fe4: NUMBER
00002fe5: SLOAD
00002fe6: MSTORE
00002fe7: PUSH16 0x6c6c75702050726f636573736f723a20
00002ff8: MSTORE
00002ff9: GASLIMIT
00002ffa: BLOBHASH
00002ffb: UNKNOWN(0x4D)
00002ffc: TIMESTAMP
00002ffd: SSTORE
00002ffe: MSTORE
00002fff: MSTORE8
00003000: GASLIMIT
00003001: PUSH0
00003002: SELFBALANCE
00003003: COINBASE
00003004: MSTORE8
00003005: PUSH0
00003006: CHAINID
00003007: COINBASE
00003008: BLOBHASH
00003009: UNKNOWN(0x4C)
0000300a: GASLIMIT
0000300b: DIFFICULTY
0000300c: MSTORE
0000300d: PUSH16 0x6c6c75702050726f636573736f723a20
0000301e: BLOBHASH
0000301f: DIFFICULTY
00003020: PUSH0
00003021: UNKNOWN(0x4E)
00003022: UNKNOWN(0x4F)
00003023: SLOAD
00003024: PUSH0
00003025: MSTORE8
00003026: GASLIMIT
00003027: MLOAD
00003028: SSTORE
00003029: GASLIMIT
0000302a: UNKNOWN(0x4E)
0000302b: SLOAD
0000302c: BLOBHASH
0000302d: COINBASE
0000302e: UNKNOWN(0x4C)
0000302f: MSTORE
00003030: PUSH16 0x6c6c75702050726f636573736f723a20
00003041: SSTORE
00003042: UNKNOWN(0x4E)
00003043: UNKNOWN(0x4B)
00003044: UNKNOWN(0x4E)
00003045: UNKNOWN(0x4F)
00003046: JUMPI
00003047: UNKNOWN(0x4E)
00003048: PUSH0
00003049: POP
0000304a: MSTORE
0000304b: UNKNOWN(0x4F)
0000304c: JUMP
0000304d: BLOBHASH
0000304e: DIFFICULTY
0000304f: GASLIMIT
00003050: MSTORE
00003051: PUSH23 0x616c69646174655369676e61747572653a207369676e61
00003069: PUSH21 0x757265207265636f76657279206661696c6564526f
0000307f: PUSH13 0x6c75702050726f636573736f72
0000308d: GASPRICE
0000308e: KECCAK256
0000308f: BLOBHASH
00003090: UNKNOWN(0x4E)
00003091: NUMBER
00003092: UNKNOWN(0x4F)
00003093: MSTORE
00003094: MSTORE
00003095: GASLIMIT
00003096: NUMBER
00003097: SLOAD
00003098: PUSH0
00003099: DIFFICULTY
0000309a: COINBASE
0000309b: SLOAD
0000309c: COINBASE
0000309d: PUSH0
0000309e: MSTORE8
0000309f: SLOAD
000030a0: COINBASE
000030a1: MSTORE
000030a2: SLOAD
000030a3: PUSH0
000030a4: BLOBHASH
000030a5: UNKNOWN(0x4E)
000030a6: DIFFICULTY
000030a7: GASLIMIT
000030a8: PC
000030a9: MSTORE
000030aa: PUSH16 0x6c6c75702050726f636573736f723a20
000030bb: SLOAD
000030bc: UNKNOWN(0x4F)
000030bd: UNKNOWN(0x4B)
000030be: GASLIMIT
000030bf: UNKNOWN(0x4E)
000030c0: PUSH0
000030c1: COINBASE
000030c2: MSTORE8
000030c3: MSTORE8
000030c4: GASLIMIT
000030c5: SLOAD
000030c6: PUSH0
000030c7: UNKNOWN(0x4E)
000030c8: UNKNOWN(0x4F)
000030c9: SLOAD
000030ca: PUSH0
000030cb: UNKNOWN(0x4C)
000030cc: BLOBHASH
000030cd: UNKNOWN(0x4E)
000030ce: UNKNOWN(0x4B)
000030cf: GASLIMIT
000030d0: DIFFICULTY
000030d1: MSTORE
000030d2: PUSH16 0x6c6c75702050726f636573736f723a20
000030e3: BLOBHASH
000030e4: UNKNOWN(0x4E)
000030e5: NUMBER
000030e6: UNKNOWN(0x4F)
000030e7: MSTORE
000030e8: MSTORE
000030e9: GASLIMIT
000030ea: NUMBER
000030eb: SLOAD
000030ec: PUSH0
000030ed: MSTORE
000030ee: UNKNOWN(0x4F)
000030ef: UNKNOWN(0x4F)
000030f0: SLOAD
000030f1: PUSH0
000030f2: MSTORE
000030f3: UNKNOWN(0x4F)
000030f4: UNKNOWN(0x4F)
000030f5: SLOAD
000030f6: MSTORE8
000030f7: PUSH2 0x6665
000030fa: UNKNOWN(0x4D)
000030fb: PUSH2 0x7468
000030fe: GASPRICE
000030ff: KECCAK256
00003100: PUSH14 0x756c7469706c69636174696f6e20
0000310f: PUSH16 0x766572666c6f774f776e61626c653a20
00003120: PUSH4 0x616c6c65
00003125: PUSH19 0x206973206e6f7420746865206f776e6572526f
00003139: PUSH13 0x6c75702050726f636573736f72
00003147: GASPRICE
00003148: KECCAK256
00003149: DIFFICULTY
0000314a: GASLIMIT
0000314b: POP
0000314c: UNKNOWN(0x4F)
0000314d: MSTORE8
0000314e: BLOBHASH
0000314f: SLOAD
00003150: PUSH0
00003151: SLOAD
00003152: PC
00003153: PUSH0
00003154: CHAINID
00003155: GASLIMIT
00003156: GASLIMIT
00003157: PUSH0
00003158: CHAINID
00003159: COINBASE
0000315a: BLOBHASH
0000315b: UNKNOWN(0x4C)
0000315c: GASLIMIT
0000315d: DIFFICULTY
0000315e: PUSH23 0x616c69646174655369676e61747572653a20494e56414c
00003176: BLOBHASH
00003177: DIFFICULTY
00003178: PUSH0
00003179: MSTORE8
0000317a: BLOBHASH
0000317b: SELFBALANCE
0000317c: UNKNOWN(0x4E)
0000317d: COINBASE
0000317e: SLOAD
0000317f: SSTORE
00003180: MSTORE
00003181: GASLIMIT
00003182: MSTORE
00003183: PUSH16 0x6c6c75702050726f636573736f723a20
00003194: BLOBHASH
00003195: UNKNOWN(0x4E)
00003196: NUMBER
00003197: UNKNOWN(0x4F)
00003198: MSTORE
00003199: MSTORE
0000319a: GASLIMIT
0000319b: NUMBER
0000319c: SLOAD
0000319d: PUSH0
0000319e: UNKNOWN(0x4E)
0000319f: SSTORE
000031a0: UNKNOWN(0x4C)
000031a1: UNKNOWN(0x4C)
000031a2: PUSH0
000031a3: MSTORE
000031a4: UNKNOWN(0x4F)
000031a5: UNKNOWN(0x4F)
000031a6: SLOAD
000031a7: MSTORE
000031a8: PUSH16 0x6c6c75702050726f636573736f723a20
000031b9: UNKNOWN(0x4D)
000031ba: COINBASE
000031bb: PC
000031bc: PUSH0
000031bd: COINBASE
000031be: MSTORE8
000031bf: MSTORE8
000031c0: GASLIMIT
000031c1: SLOAD
000031c2: PUSH0
000031c3: MSTORE
000031c4: GASLIMIT
000031c5: COINBASE
000031c6: NUMBER
000031c7: BASEFEE
000031c8: GASLIMIT
000031c9: DIFFICULTY
000031ca: MSTORE
000031cb: PUSH16 0x6c6c75702050726f636573736f723a20
000031dc: BLOBHASH
000031dd: UNKNOWN(0x4E)
000031de: NUMBER
000031df: UNKNOWN(0x4F)
000031e0: MSTORE
000031e1: MSTORE
000031e2: GASLIMIT
000031e3: NUMBER
000031e4: SLOAD
000031e5: PUSH0
000031e6: DIFFICULTY
000031e7: COINBASE
000031e8: SLOAD
000031e9: COINBASE
000031ea: PUSH0
000031eb: MSTORE
000031ec: UNKNOWN(0x4F)
000031ed: UNKNOWN(0x4F)
000031ee: SLOAD
000031ef: MSTORE
000031f0: PUSH16 0x6c6c75702050726f636573736f723a20
00003201: BLOBHASH
00003202: UNKNOWN(0x4E)
00003203: MSTORE8
00003204: SSTORE
00003205: CHAINID
00003206: CHAINID
00003207: BLOBHASH
00003208: NUMBER
00003209: BLOBHASH
0000320a: GASLIMIT
0000320b: UNKNOWN(0x4E)
0000320c: SLOAD
0000320d: PUSH0
0000320e: SLOAD
0000320f: UNKNOWN(0x4F)
00003210: UNKNOWN(0x4B)
00003211: GASLIMIT
00003212: UNKNOWN(0x4E)
00003213: PUSH0
00003214: COINBASE
00003215: POP
00003216: POP
00003217: MSTORE
00003218: UNKNOWN(0x4F)
00003219: JUMP
0000321a: COINBASE
0000321b: UNKNOWN(0x4C)
0000321c: MSTORE
0000321d: PUSH16 0x6c6c75702050726f636573736f723a20
0000322e: BLOBHASH
0000322f: UNKNOWN(0x4E)
00003230: MSTORE8
00003231: SSTORE
00003232: CHAINID
00003233: CHAINID
00003234: BLOBHASH
00003235: NUMBER
00003236: BLOBHASH
00003237: GASLIMIT
00003238: UNKNOWN(0x4E)
00003239: SLOAD
0000323a: PUSH0
0000323b: DIFFICULTY
0000323c: GASLIMIT
0000323d: POP
0000323e: UNKNOWN(0x4F)
0000323f: MSTORE8
00003240: BLOBHASH
00003241: SLOAD
00003242: MSTORE
00003243: PUSH16 0x6c6c75702050726f636573736f723a20
00003254: JUMPI
00003255: MSTORE
00003256: UNKNOWN(0x4F)
00003257: UNKNOWN(0x4E)
00003258: SELFBALANCE
00003259: PUSH0
0000325a: POP
0000325b: COINBASE
0000325c: MSIZE
0000325d: UNKNOWN(0x4D)
0000325e: GASLIMIT
0000325f: UNKNOWN(0x4E)
00003260: SLOAD
00003261: PUSH0
00003262: SLOAD
00003263: MSIZE
00003264: POP
00003265: GASLIMIT
00003266: LOG2
00003267: PUSH5 0x6970667358
0000326d: UNKNOWN(0x22)
0000326e: SLT
0000326f: KECCAK256
00003270: UNKNOWN(0x2F)
00003271: UNKNOWN(0xD4)
00003272: PUSH30 0xdc29f53f6efddfd5689a51af7ae006998ca8597c21d3ffbbc3cd7da41f64
00003291: PUSH20