Analysis Run

[codex:1265256] OpenAI Codex v0.77.0 (research preview)
[codex:1265256] --------
[codex:1265256] workdir: /tmp/codex-multi-_x2h14eu
[codex:1265256] model: gpt-5.2-codex
[codex:1265256] provider: openai
[codex:1265256] approval: never
[codex:1265256] sandbox: read-only
[codex:1265256] reasoning effort: xhigh
[codex:1265256] reasoning summaries: auto
[codex:1265256] session id: 019b64ee-9baa-7931-91b7-7a0f1e14a8b8
[codex:1265256] --------
[codex:1265256] user
[codex:1265256] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1265256] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1265256] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1265256] 
[codex:1265256] Scope rules:
[codex:1265256] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1265256] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1265256] 
[codex:1265256] Output MUST be valid JSON matching the provided schema.
[codex:1265256] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1265256] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1265256] 
[codex:1265256] Output constraints (IMPORTANT):
[codex:1265256] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1265256] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1265256] mcp startup: no servers
[codex:1265256] 
[codex:1265256] thinking
[codex:1265256] **Preparing to read instructions files**
[codex:1265256] exec
[codex:1265256] /bin/bash -lc ls in /tmp/codex-multi-_x2h14eu succeeded in 5ms:
[codex:1265256] AUDIT_BUNDLE.txt
[codex:1265256] codex-output-schema.json
[codex:1265256] contracts
[codex:1265256] exec
[codex:1265256] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-_x2h14eu succeeded in 6ms:
[codex:1265256] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1265256] 
[codex:1265256] ================================================================================
[codex:1265256] FILE: contracts/node_modules/@layerzerolabs/lz-evm-protocol-v2/contracts/interfaces/ILayerZeroEndpointV2.sol
[codex:1265256] ================================================================================
[codex:1265256] // SPDX-License-Identifier: MIT
[codex:1265256] 
[codex:1265256] pragma solidity >=0.8.0;
[codex:1265256] 
[codex:1265256] import { IMessageLibManager } from "./IMessageLibManager.sol";
[codex:1265256] import { IMessagingComposer } from "./IMessagingComposer.sol";
[codex:1265256] import { IMessagingChannel } from "./IMessagingChannel.sol";
[codex:1265256] import { IMessagingContext } from "./IMessagingContext.sol";
[codex:1265256] 
[codex:1265256] struct MessagingParams {
[codex:1265256]     uint32 dstEid;
[codex:1265256]     bytes32 receiver;
[codex:1265256]     bytes message;
[codex:1265256]     bytes options;
[codex:1265256]     bool payInLzToken;
[codex:1265256] 
[codex:1265256] 
[codex:1265256] 
[codex:1265256] thinking
[codex:1265256] **Analyzing StableWrapper vulnerabilities**
[codex:1265256] thinking
[codex:1265256] **Evaluating minting and withdrawal constraints**
[codex:1265256] 
[codex:1265256] I’m carefully weighing how keeper’s permissionedMint and initiateWithdrawalFromVault can bypass allowIndependence restrictions to potentially enable unbacked token minting and unauthorized withdrawals. It seems keeper privileges are powerful and could lead to asset drainage if misused, though some behaviors may be intended for vault management. I’m also noting nuances in epoch-based accounting, token burn logic, and owner-controlled withdrawal finalization that shape these risks.
[codex:1265256] thinking
[codex:1265256] **Assessing cross-chain token withdrawal risks**
[codex:1265256] 
[codex:1265256] I'm exploring how tokens bridged from other chains can be used to withdraw local assets, causing an accounting break between local deposits and withdrawals. This cross-chain liquidity risk seems like a notable challenge given the omnichain design, and I’m also considering reentrancy nuances and epoch overflow possibilities as I continue reviewing the codebase.
[codex:1265256] exec
[codex:1265256] /bin/bash -lc 'rg -n "FILE: contracts/src" AUDIT_BUNDLE.txt' in /tmp/codex-multi-_x2h14eu succeeded in 7ms:
[codex:1265256] 3381:FILE: contracts/src/StableWrapper.sol
[codex:1265256] 3784:FILE: contracts/src/interfaces/IStableWrapper.sol
[codex:1265256] 3842:FILE: contracts/src/layerzero/OFT.sol
[codex:1265256] 
[codex:1265256] thinking
[codex:1265256] **Preparing to audit StableWrapper for issues**
[codex:1265256] exec
[codex:1265256] /bin/bash -lc 'nl -ba contracts/src/StableWrapper.sol' in /tmp/codex-multi-_x2h14eu succeeded in 7ms:
[codex:1265256]      1	// SPDX-License-Identifier: MIT
[codex:1265256]      2	pragma solidity ^0.8.20;
[codex:1265256]      3	
[codex:1265256]      4	import {Ownable} from "@openzeppelin/contracts/access/Ownable.sol";
[codex:1265256]      5	import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1265256]      6	import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1265256]      7	import {ERC20} from "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:1265256]      8	import {ReentrancyGuard} from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
[codex:1265256]      9	import {IStableWrapper} from "./interfaces/IStableWrapper.sol";
[codex:1265256]     10	import {OFT} from "./layerzero/OFT.sol";
[codex:1265256]     11	
[codex:1265256]     12	/**
[codex:1265256]     13	 * @title StableWrapper
[codex:1265256]     14	 * @notice A token wrapper that allows users to obtain tokens needed to deposit into a StreamVault.
[codex:1265256]     15	 * @notice Users receive a Stream token that maps 1:1 to the asset deposited.
[codex:1265256]     16	 * @notice Initiated withdrawals can be completed after the epoch has passed.
[codex:1265256]     17	 */
[codex:1265256]     18	contract StableWrapper is OFT, ReentrancyGuard {
[codex:1265256]     19	    using SafeERC20 for IERC20;
[codex:1265256]     20	
[codex:1265256] 
[codex:1265256] thinking
[codex:1265256] **Analyzing potential vulnerabilities and design risks**
[codex:1265256] exec
[codex:1265256] /bin/bash -lc 'nl -ba contracts/src/layerzero/OFT.sol' in /tmp/codex-multi-_x2h14eu succeeded in 7ms:
[codex:1265256]      1	// SPDX-License-Identifier: MIT
[codex:1265256]      2	
[codex:1265256]      3	pragma solidity ^0.8.20;
[codex:1265256]      4	
[codex:1265256]      5	import {ERC20} from "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:1265256]      6	import {IOFT, OFTCore} from "@layerzerolabs/oft-evm/contracts/OFTCore.sol";
[codex:1265256]      7	
[codex:1265256]      8	/**
[codex:1265256]      9	 * @title OFT Contract
[codex:1265256]     10	 * @dev OFT is an ERC-20 token that extends the functionality of the OFTCore contract.
[codex:1265256]     11	 */
[codex:1265256]     12	abstract contract OFT is OFTCore, ERC20 {
[codex:1265256]     13	    /**
[codex:1265256]     14	     * @dev Constructor for the OFT contract.
[codex:1265256]     15	     * @param _name The name of the OFT.
[codex:1265256]     16	     * @param _symbol The symbol of the OFT.
[codex:1265256]     17	     * @param _lzEndpoint The LayerZero endpoint address.
[codex:1265256]     18	     * @param _delegate The delegate capable of making OApp configurations inside of the endpoint.
[codex:1265256]     19	     */
[codex:1265256]     20	    constructor(
[codex:1265256] 
[codex:1265256] 
[codex:1265256] thinking
[codex:1265256] **Summarizing potential security findings**
[codex:1265256] thinking
[codex:1265256] **Preparing detailed security report**
[codex:1265256] 
[codex:1265256] I'm finalizing the summary and evidence lines for the two main findings: cross-chain minted tokens that bypass local asset backing causing liquidity risk, and the keeper’s privileged minting that can drain assets if compromised. I'll ensure the categories and line number references are precise for inclusion in the JSON output.
[codex:1265256] codex
[codex:1265256] {"no_findings":false,"summary":"Two issues found: cross-chain OFT minting is not reflected in local asset accounting, enabling withdrawals backed by other chains’ deposits, and the keeper role can mint unbacked tokens that can be redeemed for underlying assets if compromised or misconfigured.","findings":[{"severity":"medium","category":"other","title":"Cross-chain OFT minting bypasses local asset backing and epoch accounting","exploit_scenario":"An attacker acquires wrapper tokens on chain A, bridges them to chain B via OFT, which mints tokens on chain B without any local asset deposit. They then call initiateWithdrawal and later completeWithdrawal on chain B to redeem the local asset, draining chain B liquidity despite no local deposits. The per-epoch accounting only tracks deposit/withdrawal calls and ignores cross-chain inflows, so this drain is not prevented.","recommendation":"If the wrapper must be 1:1 backed by local assets, disable OFT send/receive for this token or gate withdrawals to locally-deposited balances. Otherwise, introduce cross-chain liquidity accounting (track net inflows/outflows, require owner-managed asset bridging, or block withdrawals when local backing is insufficient).","evidence":"OFT _credit mints tokens on destination chains without asset transfers, and StableWrapper withdrawals rely only on token balance/receipts with no local-origin checks.","locations":["contracts/src/layerzero/OFT.sol:88","contracts/src/StableWrapper.sol:208","contracts/src/StableWrapper.sol:256"]},{"severity":"high","category":"access_control","title":"Keeper can mint unbacked tokens and redeem underlying assets","exploit_scenario":"If the keeper key is compromised or misconfigured, it can call permissionedMint to mint arbitrary wrapper tokens without depositing assets, then initiate withdrawals (when allowIndependence is enabled) and complete them after an epoch to transfer underlying assets from the contract. Even with allowIndependence disabled, the keeper can transfer minted tokens to the contract and use initiateWithdrawalFromVault to create receipts, enabling the same drain once the owner advances the epoch.","recommendation":"Restrict permissioned mint/burn to a highly trusted role (e.g., owner/multisig), or require corresponding asset transfers and update epoch accounting. Consider removing permissionedMint entirely if not strictly necessary.","evidence":"permissionedMint creates supply without asset transfer or accounting updates; withdrawals burn tokens and transfer assets with no provenance checks.","locations":["contracts/src/StableWrapper.sol:232","contracts/src/StableWrapper.sol:282","contracts/src/StableWrapper.sol:256"]}]}
[codex:1265256] tokens used
[codex:1265256] 38,179
[codex:1265256] {"no_findings":false,"summary":"Two issues found: cross-chain OFT minting is not reflected in local asset accounting, enabling withdrawals backed by other chains’ deposits, and the keeper role can mint unbacked tokens that can be redeemed for underlying assets if compromised or misconfigured.","findings":[{"severity":"medium","category":"other","title":"Cross-chain OFT minting bypasses local asset backing and epoch accounting","exploit_scenario":"An attacker acquires wrapper tokens on chain A, bridges them to chain B via OFT, which mints tokens on chain B without any local asset deposit. They then call initiateWithdrawal and later completeWithdrawal on chain B to redeem the local asset, draining chain B liquidity despite no local deposits. The per-epoch accounting only tracks deposit/withdrawal calls and ignores cross-chain inflows, so this drain is not prevented.","recommendation":"If the wrapper must be 1:1 backed by local assets, disable OFT send/receive for this token or gate withdrawals to locally-deposited balances. Otherwise, introduce cross-chain liquidity accounting (track net inflows/outflows, require owner-managed asset bridging, or block withdrawals when local backing is insufficient).","evidence":"OFT _credit mints tokens on destination chains without asset transfers, and StableWrapper withdrawals rely only on token balance/receipts with no local-origin checks.","locations":["contracts/src/layerzero/OFT.sol:88","contracts/src/StableWrapper.sol:208","contracts/src/StableWrapper.sol:256"]},{"severity":"high","category":"access_control","title":"Keeper can mint unbacked tokens and redeem underlying assets","exploit_scenario":"If the keeper key is compromised or misconfigured, it can call permissionedMint to mint arbitrary wrapper tokens without depositing assets, then initiate withdrawals (when allowIndependence is enabled) and complete them after an epoch to transfer underlying assets from the contract. Even with allowIndependence disabled, the keeper can transfer minted tokens to the contract and use initiateWithdrawalFromVault to create receipts, enabling the same drain once the owner advances the epoch.","recommendation":"Restrict permissioned mint/burn to a highly trusted role (e.g., owner/multisig), or require corresponding asset transfers and update epoch accounting. Consider removing permissionedMint entirely if not strictly necessary.","evidence":"permissionedMint creates supply without asset transfer or accounting updates; withdrawals burn tokens and transfer assets with no provenance checks.","locations":["contracts/src/StableWrapper.sol:232","contracts/src/StableWrapper.sol:282","contracts/src/StableWrapper.sol:256"]}]}

{
    "codex": {
        "ran_at": "2025-12-28T12:33:30.255161+00:00",
        "returncode": 0
    },
    "summary": "Two issues found: cross-chain OFT minting is not reflected in local asset accounting, enabling withdrawals backed by other chains\u2019 deposits, and the keeper role can mint unbacked tokens that can be redeemed for underlying assets if compromised or misconfigured.",
    "raw_final": {
        "summary": "Two issues found: cross-chain OFT minting is not reflected in local asset accounting, enabling withdrawals backed by other chains\u2019 deposits, and the keeper role can mint unbacked tokens that can be redeemed for underlying assets if compromised or misconfigured.",
        "findings": [
            {
                "title": "Cross-chain OFT minting bypasses local asset backing and epoch accounting",
                "category": "other",
                "evidence": "OFT _credit mints tokens on destination chains without asset transfers, and StableWrapper withdrawals rely only on token balance/receipts with no local-origin checks.",
                "severity": "medium",
                "locations": [
                    "contracts/src/layerzero/OFT.sol:88",
                    "contracts/src/StableWrapper.sol:208",
                    "contracts/src/StableWrapper.sol:256"
                ],
                "recommendation": "If the wrapper must be 1:1 backed by local assets, disable OFT send/receive for this token or gate withdrawals to locally-deposited balances. Otherwise, introduce cross-chain liquidity accounting (track net inflows/outflows, require owner-managed asset bridging, or block withdrawals when local backing is insufficient).",
                "exploit_scenario": "An attacker acquires wrapper tokens on chain A, bridges them to chain B via OFT, which mints tokens on chain B without any local asset deposit. They then call initiateWithdrawal and later completeWithdrawal on chain B to redeem the local asset, draining chain B liquidity despite no local deposits. The per-epoch accounting only tracks deposit/withdrawal calls and ignores cross-chain inflows, so this drain is not prevented."
            },
            {
                "title": "Keeper can mint unbacked tokens and redeem underlying assets",
                "category": "access_control",
                "evidence": "permissionedMint creates supply without asset transfer or accounting updates; withdrawals burn tokens and transfer assets with no provenance checks.",
                "severity": "high",
                "locations": [
                    "contracts/src/StableWrapper.sol:232",
                    "contracts/src/StableWrapper.sol:282",
                    "contracts/src/StableWrapper.sol:256"
                ],
                "recommendation": "Restrict permissioned mint/burn to a highly trusted role (e.g., owner/multisig), or require corresponding asset transfers and update epoch accounting. Consider removing permissionedMint entirely if not strictly necessary.",
                "exploit_scenario": "If the keeper key is compromised or misconfigured, it can call permissionedMint to mint arbitrary wrapper tokens without depositing assets, then initiate withdrawals (when allowIndependence is enabled) and complete them after an epoch to transfer underlying assets from the contract. Even with allowIndependence disabled, the keeper can transfer minted tokens to the contract and use initiateWithdrawalFromVault to create receipts, enabling the same drain once the owner advances the epoch."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: ISZERO
0000000a: PUSH2 0x0011
0000000d: JUMPI
0000000e: PUSH0
0000000f: DUP1
00000010: REVERT
00000011: JUMPDEST
00000012: PUSH0
00000013: CALLDATALOAD
00000014: PUSH1 0xe0
00000016: SHR
00000017: DUP1
00000018: PUSH4 0x06fdde03
0000001d: EQ
0000001e: PUSH2 0x03fa
00000021: JUMPI
00000022: DUP1
00000023: PUSH4 0x095ea7b3
00000028: EQ
00000029: PUSH2 0x03f5
0000002c: JUMPI
0000002d: DUP1
0000002e: PUSH4 0x0d35b415
00000033: EQ
00000034: PUSH2 0x03f0
00000037: JUMPI
00000038: DUP1
00000039: PUSH4 0x0f604a93
0000003e: EQ
0000003f: PUSH2 0x03eb
00000042: JUMPI
00000043: DUP1
00000044: PUSH4 0x111ecdad
00000049: EQ
0000004a: PUSH2 0x03e6
0000004d: JUMPI
0000004e: DUP1
0000004f: PUSH4 0x13137d65
00000054: EQ
00000055: PUSH2 0x03e1
00000058: JUMPI
00000059: DUP1
0000005a: PUSH4 0x134d4f25
0000005f: EQ
00000060: PUSH2 0x03dc
00000063: JUMPI
00000064: DUP1
00000065: PUSH4 0x156a0d0f
0000006a: EQ
0000006b: PUSH2 0x03d7
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0x17442b70
00000075: EQ
00000076: PUSH2 0x03d2
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x18160ddd
00000080: EQ
00000081: PUSH2 0x03cd
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x1f5e1334
0000008b: EQ
0000008c: PUSH2 0x03c8
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x23b872dd
00000096: EQ
00000097: PUSH2 0x03c3
0000009a: JUMPI
0000009b: DUP1
0000009c: PUSH4 0x25a760c2
000000a1: EQ
000000a2: PUSH2 0x03af
000000a5: JUMPI
000000a6: DUP1
000000a7: PUSH4 0x2a228fc2
000000ac: EQ
000000ad: PUSH2 0x03be
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x2b032f3e
000000b7: EQ
000000b8: PUSH2 0x03b9
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x2cef206d
000000c2: EQ
000000c3: PUSH2 0x03b4
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x313ce567
000000cd: EQ
000000ce: PUSH2 0x03af
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x3400288b
000000d8: EQ
000000d9: PUSH2 0x03aa
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x38d52e0f
000000e3: EQ
000000e4: PUSH2 0x03a5
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x3b6f743b
000000ee: EQ
000000ef: PUSH2 0x03a0
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x47e7ef24
000000f9: EQ
000000fa: PUSH2 0x039b
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x52ae2879
00000104: EQ
00000105: PUSH2 0x02d8
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x5535d461
0000010f: EQ
00000110: PUSH2 0x0396
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x5a0dfe4d
0000011a: EQ
0000011b: PUSH2 0x0391
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x5e280f11
00000125: EQ
00000126: PUSH2 0x038c
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x600f57ec
00000130: EQ
00000131: PUSH2 0x0387
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x6dbaf9ee
0000013b: EQ
0000013c: PUSH2 0x0382
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0x6fc1b31e
00000146: EQ
00000147: PUSH2 0x037d
0000014a: JUMPI
0000014b: DUP1
0000014c: PUSH4 0x70a08231
00000151: EQ
00000152: PUSH2 0x0378
00000155: JUMPI
00000156: DUP1
00000157: PUSH4 0x715018a6
0000015c: EQ
0000015d: PUSH2 0x0373
00000160: JUMPI
00000161: DUP1
00000162: PUSH4 0x748747e6
00000167: EQ
00000168: PUSH2 0x036e
0000016b: JUMPI
0000016c: DUP1
0000016d: PUSH4 0x76671808
00000172: EQ
00000173: PUSH2 0x0369
00000176: JUMPI
00000177: DUP1
00000178: PUSH4 0x798002f0
0000017d: EQ
0000017e: PUSH2 0x0364
00000181: JUMPI
00000182: DUP1
00000183: PUSH4 0x7a1395aa
00000188: EQ
00000189: PUSH2 0x035f
0000018c: JUMPI
0000018d: DUP1
0000018e: PUSH4 0x7d25a05e
00000193: EQ
00000194: PUSH2 0x035a
00000197: JUMPI
00000198: DUP1
00000199: PUSH4 0x82413eac
0000019e: EQ
0000019f: PUSH2 0x0355
000001a2: JUMPI
000001a3: DUP1
000001a4: PUSH4 0x857749b0
000001a9: EQ
000001aa: PUSH2 0x0350
000001ad: JUMPI
000001ae: DUP1
000001af: PUSH4 0x8da5cb5b
000001b4: EQ
000001b5: PUSH2 0x034b
000001b8: JUMPI
000001b9: DUP1
000001ba: PUSH4 0x95d89b41
000001bf: EQ
000001c0: PUSH2 0x0346
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x963efcaa
000001ca: EQ
000001cb: PUSH2 0x0341
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x9649b0a2
000001d5: EQ
000001d6: PUSH2 0x033c
000001d9: JUMPI
000001da: DUP1
000001db: PUSH4 0x9f68b964
000001e0: EQ
000001e1: PUSH2 0x0337
000001e4: JUMPI
000001e5: DUP1
000001e6: PUSH4 0xa3d11158
000001eb: EQ
000001ec: PUSH2 0x0332
000001ef: JUMPI
000001f0: DUP1
000001f1: PUSH4 0xa8b90bc7
000001f6: EQ
000001f7: PUSH2 0x032d
000001fa: JUMPI
000001fb: DUP1
000001fc: PUSH4 0xa9059cbb
00000201: EQ
00000202: PUSH2 0x0328
00000205: JUMPI
00000206: DUP1
00000207: PUSH4 0xaced1661
0000020c: EQ
0000020d: PUSH2 0x0323
00000210: JUMPI
00000211: DUP1
00000212: PUSH4 0xb731ea0a
00000217: EQ
00000218: PUSH2 0x031e
0000021b: JUMPI
0000021c: DUP1
0000021d: PUSH4 0xb98bd070
00000222: EQ
00000223: PUSH2 0x0319
00000226: JUMPI
00000227: DUP1
00000228: PUSH4 0xbb0b6a53
0000022d: EQ
0000022e: PUSH2 0x0314
00000231: JUMPI
00000232: DUP1
00000233: PUSH4 0xbc70b354
00000238: EQ
00000239: PUSH2 0x030f
0000023c: JUMPI
0000023d: DUP1
0000023e: PUSH4 0xbd815db0
00000243: EQ
00000244: PUSH2 0x030a
00000247: JUMPI
00000248: DUP1
00000249: PUSH4 0xbe435c8c
0000024e: EQ
0000024f: PUSH2 0x0305
00000252: JUMPI
00000253: DUP1
00000254: PUSH4 0xc761ac8a
00000259: EQ
0000025a: PUSH2 0x0300
0000025d: JUMPI
0000025e: DUP1
0000025f: PUSH4 0xc7c7f5b3
00000264: EQ
00000265: PUSH2 0x02fb
00000268: JUMPI
00000269: DUP1
0000026a: PUSH4 0xca5eb5e1
0000026f: EQ
00000270: PUSH2 0x02f6
00000273: JUMPI
00000274: DUP1
00000275: PUSH4 0xd045a0dc
0000027a: EQ
0000027b: PUSH2 0x02f1
0000027e: JUMPI
0000027f: DUP1
00000280: PUSH4 0xd0d552dd
00000285: EQ
00000286: PUSH2 0x02ec
00000289: JUMPI
0000028a: DUP1
0000028b: PUSH4 0xd4243885
00000290: EQ
00000291: PUSH2 0x02e7
00000294: JUMPI
00000295: DUP1
00000296: PUSH4 0xdd62ed3e
0000029b: EQ
0000029c: PUSH2 0x02e2
0000029f: JUMPI
000002a0: DUP1
000002a1: PUSH4 0xf2fde38b
000002a6: EQ
000002a7: PUSH2 0x02dd
000002aa: JUMPI
000002ab: DUP1
000002ac: PUSH4 0xfc0c546a
000002b1: EQ
000002b2: PUSH2 0x02d8
000002b5: JUMPI
000002b6: DUP1
000002b7: PUSH4 0xfee047af
000002bc: EQ
000002bd: PUSH2 0x02d3
000002c0: JUMPI
000002c1: PUSH4 0xff7bd03d
000002c6: EQ
000002c7: PUSH2 0x02ce
000002ca: JUMPI
000002cb: PUSH0
000002cc: DUP1
000002cd: REVERT
000002ce: JUMPDEST
000002cf: PUSH2 0x276b
000002d2: JUMP
000002d3: JUMPDEST
000002d4: PUSH2 0x2746
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x122c
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH2 0x26bd
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH2 0x265e
000002e6: JUMP
000002e7: JUMPDEST
000002e8: PUSH2 0x25ee
000002eb: JUMP
000002ec: JUMPDEST
000002ed: PUSH2 0x25a3
000002f0: JUMP
000002f1: JUMPDEST
000002f2: PUSH2 0x244a
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH2 0x23b9
000002fa: JUMP
000002fb: JUMPDEST
000002fc: PUSH2 0x223d
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH2 0x2188
00000304: JUMP
00000305: JUMPDEST
00000306: PUSH2 0x207b
00000309: JUMP
0000030a: JUMPDEST
0000030b: PUSH2 0x1f33
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH2 0x1edf
00000313: JUMP
00000314: JUMPDEST
00000315: PUSH2 0x1ea6
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x1dcb
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH2 0x1d57
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH2 0x1d2f
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH2 0x1cfa
0000032c: JUMP
0000032d: JUMPDEST
0000032e: PUSH2 0x1c8e
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH2 0x1bda
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH2 0x1bc0
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH2 0x1b6b
00000340: JUMP
00000341: JUMPDEST
00000342: PUSH2 0x1b31
00000345: JUMP
00000346: JUMPDEST
00000347: PUSH2 0x1a8c
0000034a: JUMP
0000034b: JUMPDEST
0000034c: PUSH2 0x1a65
0000034f: JUMP
00000350: JUMPDEST
00000351: PUSH2 0x1a4a
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH2 0x19ec
00000359: JUMP
0000035a: JUMPDEST
0000035b: PUSH2 0x19c6
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH2 0x1981
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH2 0x17ea
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH2 0x1798
0000036d: JUMP
0000036e: JUMPDEST
0000036f: PUSH2 0x1711
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH2 0x16ba
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH2 0x167f
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH2 0x160f
00000381: JUMP
00000382: JUMPDEST
00000383: PUSH2 0x14ef
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH2 0x14d2
0000038b: JUMP
0000038c: JUMPDEST
0000038d: PUSH2 0x148e
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH2 0x1448
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH2 0x13cd
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH2 0x1158
0000039f: JUMP
000003a0: JUMPDEST
000003a1: PUSH2 0x0fa0
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH2 0x0f6e
000003a9: JUMP
000003aa: JUMPDEST
000003ab: PUSH2 0x0ee9
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH2 0x0c46
000003b3: JUMP
000003b4: JUMPDEST
000003b5: PUSH2 0x0e4b
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH2 0x0dca
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH2 0x0c69
000003c2: JUMP
000003c3: JUMPDEST
000003c4: PUSH2 0x0b93
000003c7: JUMP
000003c8: JUMPDEST
000003c9: PUSH2 0x0b78
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH2 0x0b5b
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH2 0x0b3a
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH2 0x0b14
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH2 0x0af9
000003e0: JUMP
000003e1: JUMPDEST
000003e2: PUSH2 0x0915
000003e5: JUMP
000003e6: JUMPDEST
000003e7: PUSH2 0x0849
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH2 0x082c
000003ef: JUMP
000003f0: JUMPDEST
000003f1: PUSH2 0x06d8
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH2 0x0558
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH2 0x0467
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH0
00000401: SWAP2
00000402: SUB
00000403: SLT
00000404: PUSH2 0x0409
00000407: JUMPI
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH0
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: PUSH0
0000040f: JUMPDEST
00000410: DUP4
00000411: DUP2
00000412: LT
00000413: PUSH2 0x041e
00000416: JUMPI
00000417: POP
00000418: POP
00000419: PUSH0
0000041a: SWAP2
0000041b: ADD
0000041c: MSTORE
0000041d: JUMP
0000041e: JUMPDEST
0000041f: DUP2
00000420: DUP2
00000421: ADD
00000422: MLOAD
00000423: DUP4
00000424: DUP3
00000425: ADD
00000426: MSTORE
00000427: PUSH1 0x20
00000429: ADD
0000042a: PUSH2 0x040f
0000042d: JUMP
0000042e: JUMPDEST
0000042f: SWAP1
00000430: PUSH1 0x20
00000432: SWAP2
00000433: PUSH2 0x0447
00000436: DUP2
00000437: MLOAD
00000438: DUP1
00000439: SWAP3
0000043a: DUP2
0000043b: DUP6
0000043c: MSTORE
0000043d: DUP6
0000043e: DUP1
0000043f: DUP7
00000440: ADD
00000441: SWAP2
00000442: ADD
00000443: PUSH2 0x040d
00000446: JUMP
00000447: JUMPDEST
00000448: PUSH1 0x1f
0000044a: ADD
0000044b: PUSH1 0x1f
0000044d: NOT
0000044e: AND
0000044f: ADD
00000450: ADD
00000451: SWAP1
00000452: JUMP
00000453: JUMPDEST
00000454: SWAP1
00000455: PUSH1 0x20
00000457: PUSH2 0x0464
0000045a: SWAP3
0000045b: DUP2
0000045c: DUP2
0000045d: MSTORE
0000045e: ADD
0000045f: SWAP1
00000460: PUSH2 0x042e
00000463: JUMP
00000464: JUMPDEST
00000465: SWAP1
00000466: JUMP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: PUSH2 0x0409
0000046c: JUMPI
0000046d: PUSH0
0000046e: CALLDATASIZE
0000046f: PUSH1 0x03
00000471: NOT
00000472: ADD
00000473: SLT
00000474: PUSH2 0x0409
00000477: JUMPI
00000478: PUSH1 0x40
0000047a: MLOAD
0000047b: PUSH0
0000047c: PUSH1 0x08
0000047e: SLOAD
0000047f: PUSH2 0x0487
00000482: DUP2
00000483: PUSH2 0x1266
00000486: JUMP
00000487: JUMPDEST
00000488: DUP1
00000489: DUP5
0000048a: MSTORE
0000048b: SWAP1
0000048c: PUSH1 0x20
0000048e: SWAP1
0000048f: PUSH1 0x01
00000491: SWAP1
00000492: DUP2
00000493: DUP2
00000494: AND
00000495: SWAP1
00000496: DUP2
00000497: ISZERO
00000498: PUSH2 0x051d
0000049b: JUMPI
0000049c: POP
0000049d: PUSH1 0x01
0000049f: EQ
000004a0: PUSH2 0x04c4
000004a3: JUMPI
000004a4: JUMPDEST
000004a5: PUSH2 0x04c0
000004a8: DUP6
000004a9: PUSH2 0x04b4
000004ac: DUP2
000004ad: DUP8
000004ae: SUB
000004af: DUP3
000004b0: PUSH2 0x13ac
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH1 0x40
000004b7: MLOAD
000004b8: SWAP2
000004b9: DUP3
000004ba: SWAP2
000004bb: DUP3
000004bc: PUSH2 0x0453
000004bf: JUMP
000004c0: JUMPDEST
000004c1: SUB
000004c2: SWAP1
000004c3: RETURN
000004c4: JUMPDEST
000004c5: PUSH1 0x08
000004c7: PUSH0
000004c8: SWAP1
000004c9: DUP2
000004ca: MSTORE
000004cb: SWAP4
000004cc: POP
000004cd: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
000004ee: JUMPDEST
000004ef: DUP4
000004f0: DUP6
000004f1: LT
000004f2: PUSH2 0x050a
000004f5: JUMPI
000004f6: POP
000004f7: POP
000004f8: POP
000004f9: POP
000004fa: DUP2
000004fb: ADD
000004fc: PUSH1 0x20
000004fe: ADD
000004ff: PUSH2 0x04b4
00000502: DUP3
00000503: PUSH2 0x04c0
00000506: PUSH2 0x04a4
00000509: JUMP
0000050a: JUMPDEST
0000050b: DUP1
0000050c: SLOAD
0000050d: DUP7
0000050e: DUP7
0000050f: ADD
00000510: DUP5
00000511: ADD
00000512: MSTORE
00000513: SWAP4
00000514: DUP3
00000515: ADD
00000516: SWAP4
00000517: DUP2
00000518: ADD
00000519: PUSH2 0x04ee
0000051c: JUMP
0000051d: JUMPDEST
0000051e: DUP7
0000051f: SWAP6
00000520: POP
00000521: PUSH2 0x04c0
00000524: SWAP7
00000525: SWAP4
00000526: POP
00000527: PUSH1 0x20
00000529: SWAP3
0000052a: POP
0000052b: PUSH2 0x04b4
0000052e: SWAP5
0000052f: SWAP2
00000530: POP
00000531: PUSH1 0xff
00000533: NOT
00000534: AND
00000535: DUP3
00000536: DUP5
00000537: ADD
00000538: MSTORE
00000539: ISZERO
0000053a: ISZERO
0000053b: PUSH1 0x05
0000053d: SHL
0000053e: DUP3
0000053f: ADD
00000540: ADD
00000541: SWAP3
00000542: SWAP4
00000543: PUSH2 0x04a4
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH1 0x01
0000054a: PUSH1 0x01
0000054c: PUSH1 0xa0
0000054e: SHL
0000054f: SUB
00000550: DUP2
00000551: AND
00000552: SUB
00000553: PUSH2 0x0409
00000556: JUMPI
00000557: JUMP
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: PUSH2 0x0409
0000055d: JUMPI
0000055e: PUSH1 0x40
00000560: CALLDATASIZE
00000561: PUSH1 0x03
00000563: NOT
00000564: ADD
00000565: SLT
00000566: PUSH2 0x0409
00000569: JUMPI
0000056a: PUSH1 0x04
0000056c: CALLDATALOAD
0000056d: PUSH2 0x0575
00000570: DUP2
00000571: PUSH2 0x0547
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH1 0x24
00000578: CALLDATALOAD
00000579: CALLER
0000057a: ISZERO
0000057b: PUSH2 0x0609
0000057e: JUMPI
0000057f: PUSH1 0x01
00000581: PUSH1 0x01
00000583: PUSH1 0xa0
00000585: SHL
00000586: SUB
00000587: DUP3
00000588: AND
00000589: SWAP2
0000058a: DUP3
0000058b: ISZERO
0000058c: PUSH2 0x05f1
0000058f: JUMPI
00000590: CALLER
00000591: PUSH0
00000592: SWAP1
00000593: DUP2
00000594: MSTORE
00000595: PUSH1 0x06
00000597: PUSH1 0x20
00000599: MSTORE
0000059a: PUSH1 0x40
0000059c: SWAP1
0000059d: KECCAK256
0000059e: DUP3
0000059f: SWAP2
000005a0: PUSH2 0x05b9
000005a3: SWAP2
000005a4: JUMPDEST
000005a5: SWAP1
000005a6: PUSH1 0x01
000005a8: DUP1
000005a9: PUSH1 0xa0
000005ab: SHL
000005ac: SUB
000005ad: AND
000005ae: PUSH0
000005af: MSTORE
000005b0: PUSH1 0x20
000005b2: MSTORE
000005b3: PUSH1 0x40
000005b5: PUSH0
000005b6: KECCAK256
000005b7: SWAP1
000005b8: JUMP
000005b9: JUMPDEST
000005ba: SSTORE
000005bb: PUSH1 0x40
000005bd: MLOAD
000005be: SWAP1
000005bf: DUP2
000005c0: MSTORE
000005c1: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000005e2: PUSH1 0x20
000005e4: CALLER
000005e5: SWAP3
000005e6: LOG3
000005e7: PUSH1 0x20
000005e9: PUSH1 0x40
000005eb: MLOAD
000005ec: PUSH1 0x01
000005ee: DUP2
000005ef: MSTORE
000005f0: RETURN
000005f1: JUMPDEST
000005f2: PUSH1 0x40
000005f4: MLOAD
000005f5: PUSH4 0x4a1406b1
000005fa: PUSH1 0xe1
000005fc: SHL
000005fd: DUP2
000005fe: MSTORE
000005ff: PUSH0
00000600: PUSH1 0x04
00000602: DUP3
00000603: ADD
00000604: MSTORE
00000605: PUSH1 0x24
00000607: SWAP1
00000608: REVERT
00000609: JUMPDEST
0000060a: PUSH1 0x40
0000060c: MLOAD
0000060d: PUSH4 0xe602df05
00000612: PUSH1 0xe0
00000614: SHL
00000615: DUP2
00000616: MSTORE
00000617: PUSH0
00000618: PUSH1 0x04
0000061a: DUP3
0000061b: ADD
0000061c: MSTORE
0000061d: PUSH1 0x24
0000061f: SWAP1
00000620: REVERT
00000621: JUMPDEST
00000622: SWAP1
00000623: DUP2
00000624: PUSH1 0xe0
00000626: SWAP2
00000627: SUB
00000628: SLT
00000629: PUSH2 0x0409
0000062c: JUMPI
0000062d: SWAP1
0000062e: JUMP
0000062f: JUMPDEST
00000630: SWAP4
00000631: SWAP3
00000632: SWAP2
00000633: PUSH2 0x064a
00000636: DUP6
00000637: PUSH1 0xa0
00000639: DUP2
0000063a: ADD
0000063b: SWAP4
0000063c: PUSH1 0x20
0000063e: DUP1
0000063f: SWAP2
00000640: DUP1
00000641: MLOAD
00000642: DUP5
00000643: MSTORE
00000644: ADD
00000645: MLOAD
00000646: SWAP2
00000647: ADD
00000648: MSTORE
00000649: JUMP
0000064a: JUMPDEST
0000064b: PUSH1 0x40
0000064d: SWAP2
0000064e: PUSH1 0xa0
00000650: PUSH1 0x40
00000652: DUP8
00000653: ADD
00000654: MSTORE
00000655: DUP2
00000656: MLOAD
00000657: DUP1
00000658: SWAP2
00000659: MSTORE
0000065a: PUSH1 0xc0
0000065c: DUP7
0000065d: ADD
0000065e: SWAP2
0000065f: PUSH1 0xc0
00000661: DUP3
00000662: PUSH1 0x05
00000664: SHL
00000665: DUP9
00000666: ADD
00000667: ADD
00000668: SWAP4
00000669: PUSH1 0x20
0000066b: DUP1
0000066c: SWAP3
0000066d: ADD
0000066e: SWAP4
0000066f: PUSH0
00000670: SWAP2
00000671: JUMPDEST
00000672: DUP5
00000673: DUP4
00000674: LT
00000675: PUSH2 0x0699
00000678: JUMPI
00000679: POP
0000067a: POP
0000067b: POP
0000067c: POP
0000067d: POP
0000067e: POP
0000067f: SWAP1
00000680: PUSH1 0x60
00000682: PUSH2 0x0697
00000685: SWAP3
00000686: SWAP5
00000687: ADD
00000688: SWAP1
00000689: PUSH1 0x20
0000068b: DUP1
0000068c: SWAP2
0000068d: DUP1
0000068e: MLOAD
0000068f: DUP5
00000690: MSTORE
00000691: ADD
00000692: MLOAD
00000693: SWAP2
00000694: ADD
00000695: MSTORE
00000696: JUMP
00000697: JUMPDEST
00000698: JUMP
00000699: JUMPDEST
0000069a: SWAP1
0000069b: SWAP2
0000069c: SWAP3
0000069d: SWAP4
0000069e: SWAP5
0000069f: SWAP6
000006a0: DUP5
000006a1: DUP1
000006a2: PUSH2 0x06c8
000006a5: PUSH1 0x01
000006a7: SWAP4
000006a8: DUP14
000006a9: PUSH1 0xbf
000006ab: NOT
000006ac: SWAP1
000006ad: DUP3
000006ae: SUB
000006af: ADD
000006b0: DUP8
000006b1: MSTORE
000006b2: DUP6
000006b3: DUP4
000006b4: DUP13
000006b5: MLOAD
000006b6: DUP1
000006b7: MLOAD
000006b8: DUP5
000006b9: MSTORE
000006ba: ADD
000006bb: MLOAD
000006bc: SWAP2
000006bd: DUP2
000006be: DUP6
000006bf: DUP3
000006c0: ADD
000006c1: MSTORE
000006c2: ADD
000006c3: SWAP1
000006c4: PUSH2 0x042e
000006c7: JUMP
000006c8: JUMPDEST
000006c9: SWAP9
000006ca: ADD
000006cb: SWAP4
000006cc: ADD
000006cd: SWAP4
000006ce: ADD
000006cf: SWAP2
000006d0: SWAP5
000006d1: SWAP4
000006d2: SWAP3
000006d3: SWAP1
000006d4: PUSH2 0x0671
000006d7: JUMP
000006d8: JUMPDEST
000006d9: CALLVALUE
000006da: PUSH2 0x0409
000006dd: JUMPI
000006de: PUSH1 0x20
000006e0: DUP1
000006e1: PUSH1 0x03
000006e3: NOT
000006e4: CALLDATASIZE
000006e5: ADD
000006e6: SLT
000006e7: PUSH2 0x0409
000006ea: JUMPI
000006eb: PUSH1 0x04
000006ed: CALLDATALOAD
000006ee: PUSH1 0x01
000006f0: PUSH1 0x01
000006f2: PUSH1 0x40
000006f4: SHL
000006f5: SUB
000006f6: DUP2
000006f7: GT
000006f8: PUSH2 0x0409
000006fb: JUMPI
000006fc: PUSH2 0x0709
000006ff: SWAP1
00000700: CALLDATASIZE
00000701: SWAP1
00000702: PUSH1 0x04
00000704: ADD
00000705: PUSH2 0x0621
00000708: JUMP
00000709: JUMPDEST
0000070a: SWAP1
0000070b: PUSH2 0x0712
0000070e: PUSH2 0x27c9
00000711: JUMP
00000712: JUMPDEST
00000713: POP
00000714: PUSH2 0x071b
00000717: PUSH2 0x27c9
0000071a: JUMP
0000071b: JUMPDEST
0000071c: POP
0000071d: PUSH1 0x40
0000071f: MLOAD
00000720: PUSH4 0x7e062a35
00000725: PUSH1 0xe1
00000727: SHL
00000728: DUP2
00000729: MSTORE
0000072a: SWAP1
0000072b: DUP1
0000072c: DUP3
0000072d: PUSH1 0x04
0000072f: DUP2
00000730: ADDRESS
00000731: GAS
00000732: STATICCALL
00000733: SWAP2
00000734: DUP3
00000735: ISZERO
00000736: PUSH2 0x07fa
00000739: JUMPI
0000073a: PUSH1 0x04
0000073c: SWAP3
0000073d: DUP3
0000073e: SWAP2
0000073f: PUSH0
00000740: SWAP2
00000741: PUSH2 0x07ff
00000744: JUMPI
00000745: JUMPDEST
00000746: POP
00000747: PUSH1 0x40
00000749: MLOAD
0000074a: PUSH4 0x18160ddd
0000074f: PUSH1 0xe0
00000751: SHL
00000752: DUP2
00000753: MSTORE
00000754: SWAP4
00000755: DUP5
00000756: SWAP2
00000757: DUP3
00000758: SWAP1
00000759: PUSH1 0x01
0000075b: PUSH1 0x01
0000075d: PUSH1 0xa0
0000075f: SHL
00000760: SUB
00000761: AND
00000762: GAS
00000763: STATICCALL
00000764: SWAP2
00000765: DUP3
00000766: ISZERO
00000767: PUSH2 0x07fa
0000076a: JUMPI
0000076b: PUSH0
0000076c: SWAP3
0000076d: PUSH2 0x07c7
00000770: JUMPI
00000771: JUMPDEST
00000772: POP
00000773: PUSH2 0x04c0
00000776: SWAP1
00000777: PUSH2 0x077e
0000077a: PUSH2 0x27af
0000077d: JUMP
0000077e: JUMPDEST
0000077f: SWAP3
00000780: PUSH0
00000781: DUP5
00000782: MSTORE
00000783: DUP2
00000784: DUP5
00000785: ADD
00000786: MSTORE
00000787: PUSH2 0x07ab
0000078a: PUSH2 0x0791
0000078d: PUSH2 0x2827
00000790: JUMP
00000791: JUMPDEST
00000792: SWAP5
00000793: PUSH2 0x079b
00000796: DUP2
00000797: PUSH2 0x2849
0000079a: JUMP
0000079b: JUMPDEST
0000079c: POP
0000079d: PUSH1 0x40
0000079f: PUSH1 0x60
000007a1: DUP3
000007a2: ADD
000007a3: CALLDATALOAD
000007a4: SWAP2
000007a5: ADD
000007a6: CALLDATALOAD
000007a7: PUSH2 0x2bd7
000007aa: JUMP
000007ab: JUMPDEST
000007ac: SWAP1
000007ad: SWAP2
000007ae: PUSH2 0x07b5
000007b1: PUSH2 0x27af
000007b4: JUMP
000007b5: JUMPDEST
000007b6: SWAP3
000007b7: DUP4
000007b8: MSTORE
000007b9: DUP3
000007ba: ADD
000007bb: MSTORE
000007bc: PUSH1 0x40
000007be: MLOAD
000007bf: SWAP4
000007c0: DUP5
000007c1: SWAP4
000007c2: DUP5
000007c3: PUSH2 0x062f
000007c6: JUMP
000007c7: JUMPDEST
000007c8: DUP2
000007c9: SWAP3
000007ca: POP
000007cb: PUSH2 0x07ec
000007ce: SWAP1
000007cf: PUSH2 0x04c0
000007d2: SWAP3
000007d3: RETURNDATASIZE
000007d4: DUP6
000007d5: GT
000007d6: PUSH2 0x07f3
000007d9: JUMPI
000007da: JUMPDEST
000007db: PUSH2 0x07e4
000007de: DUP2
000007df: DUP4
000007e0: PUSH2 0x13ac
000007e3: JUMP
000007e4: JUMPDEST
000007e5: DUP2
000007e6: ADD
000007e7: SWAP1
000007e8: PUSH2 0x2801
000007eb: JUMP
000007ec: JUMPDEST
000007ed: SWAP2
000007ee: SWAP1
000007ef: PUSH2 0x0771
000007f2: JUMP
000007f3: JUMPDEST
000007f4: POP
000007f5: RETURNDATASIZE
000007f6: PUSH2 0x07da
000007f9: JUMP
000007fa: JUMPDEST
000007fb: PUSH2 0x27f6
000007fe: JUMP
000007ff: JUMPDEST
00000800: PUSH2 0x081f
00000803: SWAP2
00000804: POP
00000805: DUP3
00000806: RETURNDATASIZE
00000807: DUP5
00000808: GT
00000809: PUSH2 0x0825
0000080c: JUMPI
0000080d: JUMPDEST
0000080e: PUSH2 0x0817
00000811: DUP2
00000812: DUP4
00000813: PUSH2 0x13ac
00000816: JUMP
00000817: JUMPDEST
00000818: DUP2
00000819: ADD
0000081a: SWAP1
0000081b: PUSH2 0x27e1
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH0
00000821: PUSH2 0x0745
00000824: JUMP
00000825: JUMPDEST
00000826: POP
00000827: RETURNDATASIZE
00000828: PUSH2 0x080d
0000082b: JUMP
0000082c: JUMPDEST
0000082d: CALLVALUE
0000082e: PUSH2 0x0409
00000831: JUMPI
00000832: PUSH0
00000833: CALLDATASIZE
00000834: PUSH1 0x03
00000836: NOT
00000837: ADD
00000838: SLT
00000839: PUSH2 0x0409
0000083c: JUMPI
0000083d: PUSH1 0x20
0000083f: PUSH1 0x0e
00000841: SLOAD
00000842: PUSH1 0x40
00000844: MLOAD
00000845: SWAP1
00000846: DUP2
00000847: MSTORE
00000848: RETURN
00000849: JUMPDEST
0000084a: CALLVALUE
0000084b: PUSH2 0x0409
0000084e: JUMPI
0000084f: PUSH0
00000850: CALLDATASIZE
00000851: PUSH1 0x03
00000853: NOT
00000854: ADD
00000855: SLT
00000856: PUSH2 0x0409
00000859: JUMPI
0000085a: PUSH1 0x04
0000085c: SLOAD
0000085d: PUSH1 0x40
0000085f: MLOAD
00000860: PUSH1 0x01
00000862: PUSH1 0x01
00000864: PUSH1 0xa0
00000866: SHL
00000867: SUB
00000868: SWAP1
00000869: SWAP2
0000086a: AND
0000086b: DUP2
0000086c: MSTORE
0000086d: PUSH1 0x20
0000086f: SWAP1
00000870: RETURN
00000871: JUMPDEST
00000872: PUSH1 0x60
00000874: SWAP1
00000875: PUSH1 0x03
00000877: NOT
00000878: ADD
00000879: SLT
0000087a: PUSH2 0x0409
0000087d: JUMPI
0000087e: PUSH1 0x04
00000880: SWAP1
00000881: JUMP
00000882: JUMPDEST
00000883: SWAP2
00000884: DUP2
00000885: PUSH1 0x1f
00000887: DUP5
00000888: ADD
00000889: SLT
0000088a: ISZERO
0000088b: PUSH2 0x0409
0000088e: JUMPI
0000088f: DUP3
00000890: CALLDATALOAD
00000891: SWAP2
00000892: PUSH1 0x01
00000894: PUSH1 0x01
00000896: PUSH1 0x40
00000898: SHL
00000899: SUB
0000089a: DUP4
0000089b: GT
0000089c: PUSH2 0x0409
0000089f: JUMPI
000008a0: PUSH1 0x20
000008a2: DUP4
000008a3: DUP2
000008a4: DUP7
000008a5: ADD
000008a6: SWAP6
000008a7: ADD
000008a8: ADD
000008a9: GT
000008aa: PUSH2 0x0409
000008ad: JUMPI
000008ae: JUMP
000008af: JUMPDEST
000008b0: PUSH1 0x03
000008b2: NOT
000008b3: DUP2
000008b4: ADD
000008b5: PUSH1 0xe0
000008b7: DUP2
000008b8: SLT
000008b9: PUSH2 0x0409
000008bc: JUMPI
000008bd: PUSH1 0x60
000008bf: SGT
000008c0: PUSH2 0x0409
000008c3: JUMPI
000008c4: PUSH1 0x04
000008c6: SWAP2
000008c7: PUSH1 0x64
000008c9: CALLDATALOAD
000008ca: SWAP2
000008cb: PUSH1 0x01
000008cd: PUSH1 0x01
000008cf: PUSH1 0x40
000008d1: SHL
000008d2: SUB
000008d3: SWAP1
000008d4: PUSH1 0x84
000008d6: CALLDATALOAD
000008d7: DUP3
000008d8: DUP2
000008d9: GT
000008da: PUSH2 0x0409
000008dd: JUMPI
000008de: DUP2
000008df: PUSH2 0x08ea
000008e2: SWAP2
000008e3: PUSH1 0x04
000008e5: ADD
000008e6: PUSH2 0x0882
000008e9: JUMP
000008ea: JUMPDEST
000008eb: SWAP4
000008ec: SWAP1
000008ed: SWAP4
000008ee: SWAP3
000008ef: PUSH1 0xa4
000008f1: CALLDATALOAD
000008f2: PUSH2 0x08fa
000008f5: DUP2
000008f6: PUSH2 0x0547
000008f9: JUMP
000008fa: JUMPDEST
000008fb: SWAP3
000008fc: PUSH1 0xc4
000008fe: CALLDATALOAD
000008ff: SWAP2
00000900: DUP3
00000901: GT
00000902: PUSH2 0x0409
00000905: JUMPI
00000906: PUSH2 0x0911
00000909: SWAP2
0000090a: PUSH1 0x04
0000090c: ADD
0000090d: PUSH2 0x0882
00000910: JUMP
00000911: JUMPDEST
00000912: SWAP1
00000913: SWAP2
00000914: JUMP
00000915: JUMPDEST
00000916: PUSH2 0x091e
00000919: CALLDATASIZE
0000091a: PUSH2 0x08af
0000091d: JUMP
0000091e: JUMPDEST
0000091f: POP
00000920: SWAP3
00000921: SWAP5
00000922: SWAP3
00000923: POP
00000924: PUSH1 0x01
00000926: PUSH1 0x01
00000928: PUSH1 0xa0
0000092a: SHL
0000092b: SUB
0000092c: SWAP2
0000092d: SWAP1
0000092e: POP
0000092f: PUSH32 0x0000000000000000000000001a44076050125825900e736c501f859c50fe728c
00000950: DUP3
00000951: AND
00000952: CALLER
00000953: DUP2
00000954: SUB
00000955: PUSH2 0x0ae1
00000958: JUMPI
00000959: DUP4
0000095a: CALLDATALOAD
0000095b: PUSH2 0x0963
0000095e: DUP2
0000095f: PUSH2 0x0edb
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH2 0x096c
00000967: DUP2
00000968: PUSH2 0x2c31
0000096b: JUMP
0000096c: JUMPDEST
0000096d: SWAP1
0000096e: PUSH1 0x20
00000970: DUP7
00000971: ADD
00000972: CALLDATALOAD
00000973: DUP1
00000974: SWAP3
00000975: SUB
00000976: PUSH2 0x0aac
00000979: JUMPI
0000097a: POP
0000097b: POP
0000097c: PUSH2 0x0994
0000097f: PUSH2 0x0988
00000982: DUP4
00000983: DUP9
00000984: PUSH2 0x34f6
00000987: JUMP
00000988: JUMPDEST
00000989: PUSH1 0x01
0000098b: PUSH1 0x01
0000098d: PUSH1 0xa0
0000098f: SHL
00000990: SUB
00000991: AND
00000992: SWAP1
00000993: JUMP
00000994: JUMPDEST
00000995: SWAP2
00000996: PUSH2 0x09ba
00000999: PUSH2 0x09aa
0000099c: PUSH2 0x09a5
0000099f: DUP4
000009a0: DUP11
000009a1: PUSH2 0x3502
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH2 0x3514
000009a9: JUMP
000009aa: JUMPDEST
000009ab: PUSH2 0x09b3
000009ae: DUP8
000009af: PUSH2 0x2849
000009b2: JUMP
000009b3: JUMPDEST
000009b4: POP
000009b5: DUP5
000009b6: PUSH2 0x3548
000009b9: JUMP
000009ba: JUMPDEST
000009bb: DUP1
000009bc: SWAP8
000009bd: PUSH1 0x28
000009bf: DUP4
000009c0: GT
000009c1: PUSH2 0x0a0a
000009c4: JUMPI
000009c5: JUMPDEST
000009c6: POP
000009c7: POP
000009c8: POP
000009c9: POP
000009ca: PUSH2 0x0a05
000009cd: PUSH2 0x09e3
000009d0: PUSH0
000009d1: DUP1
000009d2: MLOAD
000009d3: PUSH1 0x20
000009d5: PUSH2 0x38b5
000009d8: DUP4
000009d9: CODECOPY
000009da: DUP2
000009db: MLOAD
000009dc: SWAP2
000009dd: MSTORE
000009de: SWAP5
000009df: PUSH2 0x2849
000009e2: JUMP
000009e3: JUMPDEST
000009e4: SWAP6
000009e5: PUSH1 0x40
000009e7: MLOAD
000009e8: SWAP4
000009e9: DUP5
000009ea: SWAP4
000009eb: AND
000009ec: SWAP7
000009ed: DUP4
000009ee: PUSH1 0x20
000009f0: SWAP1
000009f1: SWAP4
000009f2: SWAP3
000009f3: SWAP2
000009f4: SWAP4
000009f5: PUSH4 0xffffffff
000009fa: PUSH1 0x40
000009fc: DUP3
000009fd: ADD
000009fe: SWAP6
000009ff: AND
00000a00: DUP2
00000a01: MSTORE
00000a02: ADD
00000a03: MSTORE
00000a04: JUMP
00000a05: JUMPDEST
00000a06: SUB
00000a07: SWAP1
00000a08: LOG3
00000a09: STOP
00000a0a: JUMPDEST
00000a0b: SWAP1
00000a0c: PUSH2 0x0a35
00000a0f: SWAP3
00000a10: SWAP2
00000a11: PUSH2 0x0a2f
00000a14: PUSH2 0x0a1f
00000a17: PUSH1 0x40
00000a19: DUP11
00000a1a: ADD
00000a1b: PUSH2 0x2c67
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: SWAP4
00000a21: PUSH2 0x0a29
00000a24: DUP11
00000a25: PUSH2 0x2849
00000a28: JUMP
00000a29: JUMPDEST
00000a2a: SWAP3
00000a2b: PUSH2 0x356c
00000a2e: JUMP
00000a2f: JUMPDEST
00000a30: SWAP3
00000a31: PUSH2 0x3588
00000a34: JUMP
00000a35: JUMPDEST
00000a36: SWAP1
00000a37: DUP1
00000a38: EXTCODESIZE
00000a39: ISZERO
00000a3a: PUSH2 0x0409
00000a3d: JUMPI
00000a3e: PUSH1 0x40
00000a40: MLOAD
00000a41: PUSH4 0x3e5ac809
00000a46: PUSH1 0xe1
00000a48: SHL
00000a49: DUP2
00000a4a: MSTORE
00000a4b: SWAP2
00000a4c: PUSH0
00000a4d: SWAP2
00000a4e: DUP4
00000a4f: SWAP2
00000a50: DUP3
00000a51: SWAP1
00000a52: DUP5
00000a53: SWAP1
00000a54: DUP3
00000a55: SWAP1
00000a56: PUSH2 0x0a64
00000a59: SWAP1
00000a5a: DUP13
00000a5b: DUP11
00000a5c: PUSH1 0x04
00000a5e: DUP6
00000a5f: ADD
00000a60: PUSH2 0x2c71
00000a63: JUMP
00000a64: JUMPDEST
00000a65: SUB
00000a66: SWAP3
00000a67: GAS
00000a68: CALL
00000a69: DUP1
00000a6a: ISZERO
00000a6b: PUSH2 0x07fa
00000a6e: JUMPI
00000a6f: PUSH0
00000a70: DUP1
00000a71: MLOAD
00000a72: PUSH1 0x20
00000a74: PUSH2 0x38b5
00000a77: DUP4
00000a78: CODECOPY
00000a79: DUP2
00000a7a: MLOAD
00000a7b: SWAP2
00000a7c: MSTORE
00000a7d: SWAP5
00000a7e: PUSH2 0x0a05
00000a81: SWAP3
00000a82: PUSH2 0x09e3
00000a85: SWAP3
00000a86: PUSH2 0x0a93
00000a89: JUMPI
00000a8a: JUMPDEST
00000a8b: DUP9
00000a8c: SWAP2
00000a8d: SWAP7
00000a8e: POP
00000a8f: PUSH2 0x09c5
00000a92: JUMP
00000a93: JUMPDEST
00000a94: DUP1
00000a95: PUSH2 0x0aa0
00000a98: PUSH2 0x0aa6
00000a9b: SWAP3
00000a9c: PUSH2 0x1363
00000a9f: JUMP
00000aa0: JUMPDEST
00000aa1: DUP1
00000aa2: PUSH2 0x03ff
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH0
00000aa8: PUSH2 0x0a8a
00000aab: JUMP
00000aac: JUMPDEST
00000aad: PUSH2 0x0ab5
00000ab0: DUP2
00000ab1: PUSH2 0x0edb
00000ab4: JUMP
00000ab5: JUMPDEST
00000ab6: PUSH1 0x40
00000ab8: MLOAD
00000ab9: PUSH4 0x309afaf3
00000abe: PUSH1 0xe2
00000ac0: SHL
00000ac1: DUP2
00000ac2: MSTORE
00000ac3: PUSH4 0xffffffff
00000ac8: SWAP2
00000ac9: SWAP1
00000aca: SWAP2
00000acb: AND
00000acc: PUSH1 0x04
00000ace: DUP3
00000acf: ADD
00000ad0: MSTORE
00000ad1: PUSH1 0x24
00000ad3: DUP2
00000ad4: ADD
00000ad5: SWAP2
00000ad6: SWAP1
00000ad7: SWAP2
00000ad8: MSTORE
00000ad9: PUSH1 0x44
00000adb: SWAP1
00000adc: REVERT
00000add: JUMPDEST
00000ade: SUB
00000adf: SWAP1
00000ae0: REVERT
00000ae1: JUMPDEST
00000ae2: PUSH1 0x40
00000ae4: MLOAD
00000ae5: PUSH4 0x91ac5e4f
00000aea: PUSH1 0xe0
00000aec: SHL
00000aed: DUP2
00000aee: MSTORE
00000aef: CALLER
00000af0: PUSH1 0x04
00000af2: DUP3
00000af3: ADD
00000af4: MSTORE
00000af5: PUSH1 0x24
00000af7: SWAP1
00000af8: REVERT
00000af9: JUMPDEST
00000afa: CALLVALUE
00000afb: PUSH2 0x0409
00000afe: JUMPI
00000aff: PUSH0
00000b00: CALLDATASIZE
00000b01: PUSH1 0x03
00000b03: NOT
00000b04: ADD
00000b05: SLT
00000b06: PUSH2 0x0409
00000b09: JUMPI
00000b0a: PUSH1 0x20
00000b0c: PUSH1 0x40
00000b0e: MLOAD
00000b0f: PUSH1 0x02
00000b11: DUP2
00000b12: MSTORE
00000b13: RETURN
00000b14: JUMPDEST
00000b15: CALLVALUE
00000b16: PUSH2 0x0409
00000b19: JUMPI
00000b1a: PUSH0
00000b1b: CALLDATASIZE
00000b1c: PUSH1 0x03
00000b1e: NOT
00000b1f: ADD
00000b20: SLT
00000b21: PUSH2 0x0409
00000b24: JUMPI
00000b25: PUSH1 0x40
00000b27: DUP1
00000b28: MLOAD
00000b29: PUSH3 0xb9270b
00000b2d: PUSH1 0xe2
00000b2f: SHL
00000b30: DUP2
00000b31: MSTORE
00000b32: PUSH1 0x01
00000b34: PUSH1 0x20
00000b36: DUP3
00000b37: ADD
00000b38: MSTORE
00000b39: RETURN
00000b3a: JUMPDEST
00000b3b: CALLVALUE
00000b3c: PUSH2 0x0409
00000b3f: JUMPI
00000b40: PUSH0
00000b41: CALLDATASIZE
00000b42: PUSH1 0x03
00000b44: NOT
00000b45: ADD
00000b46: SLT
00000b47: PUSH2 0x0409
00000b4a: JUMPI
00000b4b: PUSH1 0x40
00000b4d: DUP1
00000b4e: MLOAD
00000b4f: PUSH1 0x01
00000b51: DUP2
00000b52: MSTORE
00000b53: PUSH1 0x02
00000b55: PUSH1 0x20
00000b57: DUP3
00000b58: ADD
00000b59: MSTORE
00000b5a: RETURN
00000b5b: JUMPDEST
00000b5c: CALLVALUE
00000b5d: PUSH2 0x0409
00000b60: JUMPI
00000b61: PUSH0
00000b62: CALLDATASIZE
00000b63: PUSH1 0x03
00000b65: NOT
00000b66: ADD
00000b67: SLT
00000b68: PUSH2 0x0409
00000b6b: JUMPI
00000b6c: PUSH1 0x20
00000b6e: PUSH1 0x07
00000b70: SLOAD
00000b71: PUSH1 0x40
00000b73: MLOAD
00000b74: SWAP1
00000b75: DUP2
00000b76: MSTORE
00000b77: RETURN
00000b78: JUMPDEST
00000b79: CALLVALUE
00000b7a: PUSH2 0x0409
00000b7d: JUMPI
00000b7e: PUSH0
00000b7f: CALLDATASIZE
00000b80: PUSH1 0x03
00000b82: NOT
00000b83: ADD
00000b84: SLT
00000b85: PUSH2 0x0409
00000b88: JUMPI
00000b89: PUSH1 0x20
00000b8b: PUSH1 0x40
00000b8d: MLOAD
00000b8e: PUSH1 0x01
00000b90: DUP2
00000b91: MSTORE
00000b92: RETURN
00000b93: JUMPDEST
00000b94: CALLVALUE
00000b95: PUSH2 0x0409
00000b98: JUMPI
00000b99: PUSH1 0x60
00000b9b: CALLDATASIZE
00000b9c: PUSH1 0x03
00000b9e: NOT
00000b9f: ADD
00000ba0: SLT
00000ba1: PUSH2 0x0409
00000ba4: JUMPI
00000ba5: PUSH1 0x04
00000ba7: CALLDATALOAD
00000ba8: PUSH2 0x0bb0
00000bab: DUP2
00000bac: PUSH2 0x0547
00000baf: JUMP
00000bb0: JUMPDEST
00000bb1: PUSH1 0x24
00000bb3: CALLDATALOAD
00000bb4: PUSH2 0x0bbc
00000bb7: DUP2
00000bb8: PUSH2 0x0547
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: PUSH1 0x01
00000bbf: PUSH1 0x01
00000bc1: PUSH1 0xa0
00000bc3: SHL
00000bc4: SUB
00000bc5: DUP3
00000bc6: AND
00000bc7: PUSH0
00000bc8: SWAP1
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x06
00000bcd: PUSH1 0x20
00000bcf: SWAP1
00000bd0: DUP2
00000bd1: MSTORE
00000bd2: PUSH1 0x40
00000bd4: DUP1
00000bd5: DUP4
00000bd6: KECCAK256
00000bd7: CALLER
00000bd8: DUP5
00000bd9: MSTORE
00000bda: SWAP1
00000bdb: SWAP2
00000bdc: MSTORE
00000bdd: SWAP1
00000bde: KECCAK256
00000bdf: PUSH1 0x44
00000be1: CALLDATALOAD
00000be2: SWAP2
00000be3: SWAP1
00000be4: SLOAD
00000be5: SWAP3
00000be6: PUSH0
00000be7: NOT
00000be8: DUP5
00000be9: LT
00000bea: PUSH2 0x0c04
00000bed: JUMPI
00000bee: JUMPDEST
00000bef: PUSH2 0x0bf8
00000bf2: SWAP4
00000bf3: POP
00000bf4: PUSH2 0x2c9b
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x40
00000bfb: MLOAD
00000bfc: PUSH1 0x01
00000bfe: DUP2
00000bff: MSTORE
00000c00: PUSH1 0x20
00000c02: SWAP1
00000c03: RETURN
00000c04: JUMPDEST
00000c05: DUP3
00000c06: DUP5
00000c07: LT
00000c08: PUSH2 0x0c20
00000c0b: JUMPI
00000c0c: PUSH2 0x0c1b
00000c0f: DUP4
00000c10: PUSH2 0x0bf8
00000c13: SWAP6
00000c14: SUB
00000c15: CALLER
00000c16: DUP4
00000c17: PUSH2 0x348d
00000c1a: JUMP
00000c1b: JUMPDEST
00000c1c: PUSH2 0x0bee
00000c1f: JUMP
00000c20: JUMPDEST
00000c21: PUSH1 0x40
00000c23: MLOAD
00000c24: PUSH4 0x7dc7a0d9
00000c29: PUSH1 0xe1
00000c2b: SHL
00000c2c: DUP2
00000c2d: MSTORE
00000c2e: CALLER
00000c2f: PUSH1 0x04
00000c31: DUP3
00000c32: ADD
00000c33: MSTORE
00000c34: PUSH1 0x24
00000c36: DUP2
00000c37: ADD
00000c38: DUP6
00000c39: SWAP1
00000c3a: MSTORE
00000c3b: PUSH1 0x44
00000c3d: DUP2
00000c3e: ADD
00000c3f: DUP5
00000c40: SWAP1
00000c41: MSTORE
00000c42: PUSH1 0x64
00000c44: SWAP1
00000c45: REVERT
00000c46: JUMPDEST
00000c47: CALLVALUE
00000c48: PUSH2 0x0409
00000c4b: JUMPI
00000c4c: PUSH0
00000c4d: CALLDATASIZE
00000c4e: PUSH1 0x03
00000c50: NOT
00000c51: ADD
00000c52: SLT
00000c53: PUSH2 0x0409
00000c56: JUMPI
00000c57: PUSH1 0x20
00000c59: PUSH1 0xff
00000c5b: PUSH1 0x0b
00000c5d: SLOAD
00000c5e: PUSH1 0xc8
00000c60: SHR
00000c61: AND
00000c62: PUSH1 0x40
00000c64: MLOAD
00000c65: SWAP1
00000c66: DUP2
00000c67: MSTORE
00000c68: RETURN
00000c69: JUMPDEST
00000c6a: CALLVALUE
00000c6b: PUSH2 0x0409
00000c6e: JUMPI
00000c6f: PUSH0
00000c70: CALLDATASIZE
00000c71: PUSH1 0x03
00000c73: NOT
00000c74: ADD
00000c75: SLT
00000c76: PUSH2 0x0409
00000c79: JUMPI
00000c7a: PUSH2 0x0c81
00000c7d: PUSH2 0x2db2
00000c80: JUMP
00000c81: JUMPDEST
00000c82: PUSH2 0x0c89
00000c85: PUSH2 0x2ddd
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: PUSH1 0x0e
00000c8c: SLOAD
00000c8d: PUSH1 0x0f
00000c8f: SLOAD
00000c90: SWAP1
00000c91: DUP2
00000c92: DUP2
00000c93: GT
00000c94: ISZERO
00000c95: PUSH2 0x0d7f
00000c98: JUMPI
00000c99: POP
00000c9a: POP
00000c9b: PUSH1 0x0b
00000c9d: SLOAD
00000c9e: PUSH2 0x0cd5
00000ca1: SWAP1
00000ca2: PUSH2 0x0cb3
00000ca5: SWAP1
00000ca6: PUSH1 0x01
00000ca8: PUSH1 0x01
00000caa: PUSH1 0xa0
00000cac: SHL
00000cad: SUB
00000cae: AND
00000caf: PUSH2 0x0988
00000cb2: JUMP
00000cb3: JUMPDEST
00000cb4: PUSH1 0x01
00000cb6: DUP1
00000cb7: PUSH1 0xa0
00000cb9: SHL
00000cba: SUB
00000cbb: PUSH0
00000cbc: SLOAD
00000cbd: AND
00000cbe: SWAP1
00000cbf: PUSH2 0x0ccd
00000cc2: PUSH1 0x0e
00000cc4: SLOAD
00000cc5: PUSH1 0x0f
00000cc7: SLOAD
00000cc8: SWAP1
00000cc9: PUSH2 0x2867
00000ccc: JUMP
00000ccd: JUMPDEST
00000cce: SWAP2
00000ccf: ADDRESS
00000cd0: SWAP2
00000cd1: PUSH2 0x2e4f
00000cd4: JUMP
00000cd5: JUMPDEST
00000cd6: PUSH2 0x0d61
00000cd9: PUSH2 0x0d3c
00000cdc: PUSH1 0x0e
00000cde: SLOAD
00000cdf: PUSH32 0x28f43e09fc3816362a33b5a6e894df1b4208d2a6e5837169939cf0434af02655
00000d00: PUSH1 0x0f
00000d02: SLOAD
00000d03: PUSH2 0x0d15
00000d06: PUSH1 0x0b
00000d08: SLOAD
00000d09: PUSH4 0xffffffff
00000d0e: SWAP1
00000d0f: PUSH1 0xa0
00000d11: SHR
00000d12: AND
00000d13: SWAP1
00000d14: JUMP
00000d15: JUMPDEST
00000d16: PUSH1 0x40
00000d18: DUP1
00000d19: MLOAD
00000d1a: SWAP5
00000d1b: DUP6
00000d1c: MSTORE
00000d1d: PUSH1 0x20
00000d1f: DUP6
00000d20: ADD
00000d21: SWAP3
00000d22: SWAP1
00000d23: SWAP3
00000d24: MSTORE
00000d25: PUSH4 0xffffffff
00000d2a: DUP2
00000d2b: AND
00000d2c: SWAP2
00000d2d: DUP5
00000d2e: ADD
00000d2f: SWAP2
00000d30: SWAP1
00000d31: SWAP2
00000d32: MSTORE
00000d33: SWAP2
00000d34: PUSH1 0x60
00000d36: SWAP1
00000d37: LOG1
00000d38: PUSH2 0x2874
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: PUSH1 0x0b
00000d3f: DUP1
00000d40: SLOAD
00000d41: PUSH4 0xffffffff
00000d46: PUSH1 0xa0
00000d48: SHL
00000d49: NOT
00000d4a: AND
00000d4b: PUSH1 0xa0
00000d4d: SWAP3
00000d4e: SWAP1
00000d4f: SWAP3
00000d50: SHL
00000d51: PUSH4 0xffffffff
00000d56: PUSH1 0xa0
00000d58: SHL
00000d59: AND
00000d5a: SWAP2
00000d5b: SWAP1
00000d5c: SWAP2
00000d5d: OR
00000d5e: SWAP1
00000d5f: SSTORE
00000d60: JUMP
00000d61: JUMPDEST
00000d62: PUSH2 0x0d6a
00000d65: PUSH0
00000d66: PUSH1 0x0e
00000d68: SSTORE
00000d69: JUMP
00000d6a: JUMPDEST
00000d6b: PUSH2 0x0d73
00000d6e: PUSH0
00000d6f: PUSH1 0x0f
00000d71: SSTORE
00000d72: JUMP
00000d73: JUMPDEST
00000d74: PUSH2 0x0d7d
00000d77: PUSH1 0x01
00000d79: PUSH1 0x0a
00000d7b: SSTORE
00000d7c: JUMP
00000d7d: JUMPDEST
00000d7e: STOP
00000d7f: JUMPDEST
00000d80: DUP2
00000d81: DUP2
00000d82: LT
00000d83: PUSH2 0x0d8e
00000d86: JUMPI
00000d87: JUMPDEST
00000d88: POP
00000d89: POP
00000d8a: PUSH2 0x0cd5
00000d8d: JUMP
00000d8e: JUMPDEST
00000d8f: PUSH1 0x0b
00000d91: SLOAD
00000d92: PUSH2 0x0dc3
00000d95: SWAP3
00000d96: SWAP1
00000d97: PUSH2 0x0dbd
00000d9a: SWAP1
00000d9b: PUSH2 0x0dac
00000d9e: SWAP1
00000d9f: PUSH1 0x01
00000da1: PUSH1 0x01
00000da3: PUSH1 0xa0
00000da5: SHL
00000da6: SUB
00000da7: AND
00000da8: PUSH2 0x0988
00000dab: JUMP
00000dac: JUMPDEST
00000dad: SWAP3
00000dae: PUSH1 0x01
00000db0: DUP1
00000db1: PUSH1 0xa0
00000db3: SHL
00000db4: SUB
00000db5: PUSH0
00000db6: SLOAD
00000db7: AND
00000db8: SWAP3
00000db9: PUSH2 0x2867
00000dbc: JUMP
00000dbd: JUMPDEST
00000dbe: SWAP2
00000dbf: PUSH2 0x2e00
00000dc2: JUMP
00000dc3: JUMPDEST
00000dc4: PUSH0
00000dc5: DUP1
00000dc6: PUSH2 0x0d87
00000dc9: JUMP
00000dca: JUMPDEST
00000dcb: CALLVALUE
00000dcc: PUSH2 0x0409
00000dcf: JUMPI
00000dd0: PUSH1 0x40
00000dd2: CALLDATASIZE
00000dd3: PUSH1 0x03
00000dd5: NOT
00000dd6: ADD
00000dd7: SLT
00000dd8: PUSH2 0x0409
00000ddb: JUMPI
00000ddc: PUSH1 0x04
00000dde: CALLDATALOAD
00000ddf: PUSH2 0x0de7
00000de2: DUP2
00000de3: PUSH2 0x0547
00000de6: JUMP
00000de7: JUMPDEST
00000de8: PUSH1 0x0c
00000dea: SLOAD
00000deb: PUSH1 0x24
00000ded: CALLDATALOAD
00000dee: SWAP2
00000def: PUSH1 0x01
00000df1: PUSH1 0x01
00000df3: PUSH1 0xa0
00000df5: SHL
00000df6: SUB
00000df7: SWAP2
00000df8: DUP3
00000df9: AND
00000dfa: CALLER
00000dfb: SUB
00000dfc: PUSH2 0x0e39
00000dff: JUMPI
00000e00: PUSH32 0x7333c4d498e1386177054f52d50ca759ef946eff3784f7f021387fd690508b97
00000e21: SWAP2
00000e22: DUP2
00000e23: PUSH2 0x0e2e
00000e26: DUP6
00000e27: PUSH1 0x20
00000e29: SWAP5
00000e2a: PUSH2 0x2e96
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: PUSH1 0x40
00000e31: MLOAD
00000e32: SWAP5
00000e33: DUP6
00000e34: MSTORE
00000e35: AND
00000e36: SWAP3
00000e37: LOG2
00000e38: STOP
00000e39: JUMPDEST
00000e3a: PUSH1 0x40
00000e3c: MLOAD
00000e3d: PUSH4 0x1ea2564f
00000e42: PUSH1 0xe3
00000e44: SHL
00000e45: DUP2
00000e46: MSTORE
00000e47: PUSH1 0x04
00000e49: SWAP1
00000e4a: REVERT
00000e4b: JUMPDEST
00000e4c: CALLVALUE
00000e4d: PUSH2 0x0409
00000e50: JUMPI
00000e51: PUSH1 0x60
00000e53: CALLDATASIZE
00000e54: PUSH1 0x03
00000e56: NOT
00000e57: ADD
00000e58: SLT
00000e59: PUSH2 0x0409
00000e5c: JUMPI
00000e5d: PUSH1 0x04
00000e5f: CALLDATALOAD
00000e60: PUSH2 0x0e68
00000e63: DUP2
00000e64: PUSH2 0x0547
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH1 0x24
00000e6b: CALLDATALOAD
00000e6c: PUSH1 0x44
00000e6e: CALLDATALOAD
00000e6f: SWAP2
00000e70: PUSH2 0x0e78
00000e73: DUP4
00000e74: PUSH2 0x0547
00000e77: JUMP
00000e78: JUMPDEST
00000e79: PUSH2 0x0e80
00000e7c: PUSH2 0x2db2
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: DUP2
00000e82: ISZERO
00000e83: PUSH2 0x0ec9
00000e86: JUMPI
00000e87: PUSH1 0x40
00000e89: MLOAD
00000e8a: DUP3
00000e8b: DUP2
00000e8c: MSTORE
00000e8d: PUSH2 0x0d7d
00000e90: SWAP4
00000e91: PUSH1 0x01
00000e93: PUSH1 0x01
00000e95: PUSH1 0xa0
00000e97: SHL
00000e98: SUB
00000e99: SWAP2
00000e9a: DUP4
00000e9b: DUP4
00000e9c: AND
00000e9d: SWAP1
00000e9e: PUSH32 0xff67663330fcde57965a89e0eed2698c4f260f4f4dfa83e4d8a1c1db935fa235
00000ebf: SWAP1
00000ec0: PUSH1 0x20
00000ec2: SWAP1
00000ec3: LOG2
00000ec4: AND
00000ec5: PUSH2 0x2e00
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: PUSH1 0x40
00000ecc: MLOAD
00000ecd: PUSH4 0x5e85ae73
00000ed2: PUSH1 0xe0
00000ed4: SHL
00000ed5: DUP2
00000ed6: MSTORE
00000ed7: PUSH1 0x04
00000ed9: SWAP1
00000eda: REVERT
00000edb: JUMPDEST
00000edc: PUSH4 0xffffffff
00000ee1: DUP2
00000ee2: AND
00000ee3: SUB
00000ee4: PUSH2 0x0409
00000ee7: JUMPI
00000ee8: JUMP
00000ee9: JUMPDEST
00000eea: CALLVALUE
00000eeb: PUSH2 0x0409
00000eee: JUMPI
00000eef: PUSH1 0x40
00000ef1: CALLDATASIZE
00000ef2: PUSH1 0x03
00000ef4: NOT
00000ef5: ADD
00000ef6: SLT
00000ef7: PUSH2 0x0409
00000efa: JUMPI
00000efb: PUSH32 0x238399d427b947898edb290f5ff0f9109849b1c3ba196a42e35f00c50a54b98b
00000f1c: PUSH1 0x04
00000f1e: CALLDATALOAD
00000f1f: PUSH2 0x0f27
00000f22: DUP2
00000f23: PUSH2 0x0edb
00000f26: JUMP
00000f27: JUMPDEST
00000f28: PUSH1 0x24
00000f2a: CALLDATALOAD
00000f2b: SWAP1
00000f2c: PUSH2 0x0f33
00000f2f: PUSH2 0x2db2
00000f32: JUMP
00000f33: JUMPDEST
00000f34: PUSH4 0xffffffff
00000f39: DUP2
00000f3a: AND
00000f3b: PUSH0
00000f3c: MSTORE
00000f3d: PUSH1 0x01
00000f3f: PUSH1 0x20
00000f41: MSTORE
00000f42: DUP2
00000f43: PUSH1 0x40
00000f45: PUSH0
00000f46: KECCAK256
00000f47: SSTORE
00000f48: PUSH2 0x0f69
00000f4b: PUSH1 0x40
00000f4d: MLOAD
00000f4e: SWAP3
00000f4f: DUP4
00000f50: SWAP3
00000f51: DUP4
00000f52: PUSH1 0x20
00000f54: SWAP1
00000f55: SWAP4
00000f56: SWAP3
00000f57: SWAP2
00000f58: SWAP4
00000f59: PUSH4 0xffffffff
00000f5e: PUSH1 0x40
00000f60: DUP3
00000f61: ADD
00000f62: SWAP6
00000f63: AND
00000f64: DUP2
00000f65: MSTORE
00000f66: ADD
00000f67: MSTORE
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: SUB
00000f6b: SWAP1
00000f6c: LOG1
00000f6d: STOP
00000f6e: JUMPDEST
00000f6f: CALLVALUE
00000f70: PUSH2 0x0409
00000f73: JUMPI
00000f74: PUSH0
00000f75: CALLDATASIZE
00000f76: PUSH1 0x03
00000f78: NOT
00000f79: ADD
00000f7a: SLT
00000f7b: PUSH2 0x0409
00000f7e: JUMPI
00000f7f: PUSH1 0x0b
00000f81: SLOAD
00000f82: PUSH1 0x40
00000f84: MLOAD
00000f85: PUSH1 0x01
00000f87: PUSH1 0x01
00000f89: PUSH1 0xa0
00000f8b: SHL
00000f8c: SUB
00000f8d: SWAP1
00000f8e: SWAP2
00000f8f: AND
00000f90: DUP2
00000f91: MSTORE
00000f92: PUSH1 0x20
00000f94: SWAP1
00000f95: RETURN
00000f96: JUMPDEST
00000f97: DUP1
00000f98: ISZERO
00000f99: ISZERO
00000f9a: SUB
00000f9b: PUSH2 0x0409
00000f9e: JUMPI
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: CALLVALUE
00000fa2: PUSH2 0x0409
00000fa5: JUMPI
00000fa6: PUSH1 0x40
00000fa8: DUP1
00000fa9: PUSH1 0x03
00000fab: NOT
00000fac: CALLDATASIZE
00000fad: ADD
00000fae: SLT
00000faf: PUSH2 0x0409
00000fb2: JUMPI
00000fb3: PUSH1 0x04
00000fb5: CALLDATALOAD
00000fb6: PUSH1 0x01
00000fb8: PUSH1 0x01
00000fba: PUSH1 0x40
00000fbc: SHL
00000fbd: SUB
00000fbe: DUP2
00000fbf: GT
00000fc0: PUSH2 0x0409
00000fc3: JUMPI
00000fc4: PUSH2 0x0fd1
00000fc7: SWAP1
00000fc8: CALLDATASIZE
00000fc9: SWAP1
00000fca: PUSH1 0x04
00000fcc: ADD
00000fcd: PUSH2 0x0621
00000fd0: JUMP
00000fd1: JUMPDEST
00000fd2: SWAP1
00000fd3: PUSH1 0x24
00000fd5: CALLDATALOAD
00000fd6: PUSH2 0x0fde
00000fd9: DUP2
00000fda: PUSH2 0x0f96
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: PUSH2 0x0fe6
00000fe2: PUSH2 0x27c9
00000fe5: JUMP
00000fe6: JUMPDEST
00000fe7: POP
00000fe8: PUSH1 0x60
00000fea: DUP4
00000feb: ADD
00000fec: CALLDATALOAD
00000fed: DUP4
00000fee: CALLDATALOAD
00000fef: SWAP4
00000ff0: PUSH2 0x0ff8
00000ff3: DUP6
00000ff4: PUSH2 0x0edb
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: PUSH2 0x102e
00000ffc: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
0000101d: PUSH2 0x1029
00001020: DUP2
00001021: DUP8
00001022: DUP6
00001023: ADD
00001024: CALLDATALOAD
00001025: PUSH2 0x34c5
00001028: JUMP
00001029: JUMPDEST
0000102a: PUSH2 0x34e3
0000102d: JUMP
0000102e: JUMPDEST
0000102f: SWAP2
00001030: DUP1
00001031: DUP4
00001032: LT
00001033: PUSH2 0x113b
00001036: JUMPI
00001037: POP
00001038: DUP4
00001039: SWAP3
0000103a: PUSH2 0x104a
0000103d: PUSH2 0x10af
00001040: SWAP7
00001041: SWAP4
00001042: PUSH2 0x1094
00001045: SWAP4
00001046: PUSH2 0x2f8b
00001049: JUMP
0000104a: JUMPDEST
0000104b: SWAP1
0000104c: PUSH2 0x1054
0000104f: DUP6
00001050: PUSH2 0x0edb
00001053: JUMP
00001054: JUMPDEST
00001055: PUSH2 0x105c
00001058: PUSH2 0x27c9
0000105b: JUMP
0000105c: JUMPDEST
0000105d: POP
0000105e: PUSH2 0x1066
00001061: DUP6
00001062: PUSH2 0x2c31
00001065: JUMP
00001066: JUMPDEST
00001067: PUSH2 0x107d
0000106a: PUSH2 0x1071
0000106d: PUSH2 0x27bc
00001070: JUMP
00001071: JUMPDEST
00001072: PUSH4 0xffffffff
00001077: SWAP1
00001078: SWAP8
00001079: AND
0000107a: DUP8
0000107b: MSTORE
0000107c: JUMP
0000107d: JUMPDEST
0000107e: PUSH1 0x20
00001080: DUP7
00001081: ADD
00001082: MSTORE
00001083: DUP6
00001084: DUP6
00001085: ADD
00001086: MSTORE
00001087: PUSH1 0x60
00001089: DUP5
0000108a: ADD
0000108b: MSTORE
0000108c: ISZERO
0000108d: ISZERO
0000108e: PUSH1 0x80
00001090: DUP4
00001091: ADD
00001092: MSTORE
00001093: JUMP
00001094: JUMPDEST
00001095: DUP2
00001096: MLOAD
00001097: DUP1
00001098: SWAP5
00001099: DUP2
0000109a: SWAP3
0000109b: PUSH4 0x1bb8518b
000010a0: PUSH1 0xe3
000010a2: SHL
000010a3: DUP4
000010a4: MSTORE
000010a5: ADDRESS
000010a6: SWAP1
000010a7: PUSH1 0x04
000010a9: DUP5
000010aa: ADD
000010ab: PUSH2 0x30d5
000010ae: JUMP
000010af: JUMPDEST
000010b0: SUB
000010b1: DUP2
000010b2: PUSH32 0x0000000000000000000000001a44076050125825900e736c501f859c50fe728c
000010d3: PUSH1 0x01
000010d5: PUSH1 0x01
000010d7: PUSH1 0xa0
000010d9: SHL
000010da: SUB
000010db: AND
000010dc: GAS
000010dd: STATICCALL
000010de: SWAP1
000010df: DUP2
000010e0: ISZERO
000010e1: PUSH2 0x07fa
000010e4: JUMPI
000010e5: PUSH2 0x04c0
000010e8: SWAP3
000010e9: PUSH0
000010ea: SWAP3
000010eb: PUSH2 0x110c
000010ee: JUMPI
000010ef: JUMPDEST
000010f0: POP
000010f1: MLOAD
000010f2: SWAP2
000010f3: DUP3
000010f4: SWAP2
000010f5: DUP3
000010f6: DUP2
000010f7: MLOAD
000010f8: DUP2
000010f9: MSTORE
000010fa: PUSH1 0x20
000010fc: SWAP2
000010fd: DUP3
000010fe: ADD
000010ff: MLOAD
00001100: SWAP2
00001101: DUP2
00001102: ADD
00001103: SWAP2
00001104: SWAP1
00001105: SWAP2
00001106: MSTORE
00001107: PUSH1 0x40
00001109: ADD
0000110a: SWAP1
0000110b: JUMP
0000110c: JUMPDEST
0000110d: DUP2
0000110e: PUSH2 0x112d
00001111: SWAP3
00001112: SWAP4
00001113: POP
00001114: RETURNDATASIZE
00001115: DUP5
00001116: GT
00001117: PUSH2 0x1134
0000111a: JUMPI
0000111b: JUMPDEST
0000111c: PUSH2 0x1125
0000111f: DUP2
00001120: DUP4
00001121: PUSH2 0x13ac
00001124: JUMP
00001125: JUMPDEST
00001126: DUP2
00001127: ADD
00001128: SWAP1
00001129: PUSH2 0x30c1
0000112c: JUMP
0000112d: JUMPDEST
0000112e: SWAP1
0000112f: PUSH0
00001130: PUSH2 0x10ef
00001133: JUMP
00001134: JUMPDEST
00001135: POP
00001136: RETURNDATASIZE
00001137: PUSH2 0x111b
0000113a: JUMP
0000113b: JUMPDEST
0000113c: DUP3
0000113d: PUSH1 0x44
0000113f: SWAP2
00001140: DUP7
00001141: MLOAD
00001142: SWAP2
00001143: PUSH4 0x71c4efed
00001148: PUSH1 0xe0
0000114a: SHL
0000114b: DUP4
0000114c: MSTORE
0000114d: PUSH1 0x04
0000114f: DUP4
00001150: ADD
00001151: MSTORE
00001152: PUSH1 0x24
00001154: DUP3
00001155: ADD
00001156: MSTORE
00001157: REVERT
00001158: JUMPDEST
00001159: CALLVALUE
0000115a: PUSH2 0x0409
0000115d: JUMPI
0000115e: PUSH1 0x40
00001160: CALLDATASIZE
00001161: PUSH1 0x03
00001163: NOT
00001164: ADD
00001165: SLT
00001166: PUSH2 0x0409
00001169: JUMPI
0000116a: PUSH1 0x04
0000116c: CALLDATALOAD
0000116d: PUSH2 0x1175
00001170: DUP2
00001171: PUSH2 0x0547
00001174: JUMP
00001175: JUMPDEST
00001176: PUSH1 0x24
00001178: CALLDATALOAD
00001179: PUSH2 0x1180
0000117c: PUSH2 0x2ddd
0000117f: JUMP
00001180: JUMPDEST
00001181: PUSH1 0x0b
00001183: SLOAD
00001184: PUSH2 0x1195
00001187: SWAP1
00001188: PUSH1 0xc0
0000118a: SHR
0000118b: PUSH1 0xff
0000118d: AND
0000118e: ISZERO
0000118f: SWAP1
00001190: JUMP
00001191: JUMPDEST
00001192: ISZERO
00001193: SWAP1
00001194: JUMP
00001195: JUMPDEST
00001196: PUSH2 0x121a
00001199: JUMPI
0000119a: DUP1
0000119b: ISZERO
0000119c: PUSH2 0x0ec9
0000119f: JUMPI
000011a0: DUP2
000011a1: PUSH2 0x11ad
000011a4: DUP3
000011a5: PUSH2 0x0d73
000011a8: SWAP5
000011a9: PUSH2 0x3143
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH2 0x11c1
000011b1: PUSH2 0x11bc
000011b4: DUP4
000011b5: PUSH1 0x0f
000011b7: SLOAD
000011b8: PUSH2 0x2889
000011bb: JUMP
000011bc: JUMPDEST
000011bd: PUSH1 0x0f
000011bf: SSTORE
000011c0: JUMP
000011c1: JUMPDEST
000011c2: PUSH1 0x40
000011c4: MLOAD
000011c5: DUP3
000011c6: DUP2
000011c7: MSTORE
000011c8: PUSH1 0x01
000011ca: PUSH1 0x01
000011cc: PUSH1 0xa0
000011ce: SHL
000011cf: SUB
000011d0: SWAP2
000011d1: SWAP1
000011d2: SWAP2
000011d3: AND
000011d4: SWAP1
000011d5: CALLER
000011d6: SWAP1
000011d7: PUSH32 0x5548c837ab068cf56a2c2479df0882a4922fd203edb7517321831d95078c5f62
000011f8: SWAP1
000011f9: PUSH1 0x20
000011fb: SWAP1
000011fc: LOG3
000011fd: PUSH1 0x0b
000011ff: SLOAD
00001200: PUSH2 0x1211
00001203: SWAP1
00001204: PUSH1 0x01
00001206: PUSH1 0x01
00001208: PUSH1 0xa0
0000120a: SHL
0000120b: SUB
0000120c: AND
0000120d: PUSH2 0x0988
00001210: JUMP
00001211: JUMPDEST
00001212: ADDRESS
00001213: SWAP1
00001214: CALLER
00001215: SWAP1
00001216: PUSH2 0x2e4f
00001219: JUMP
0000121a: JUMPDEST
0000121b: PUSH1 0x40
0000121d: MLOAD
0000121e: PUSH4 0x043fb77f
00001223: PUSH1 0xe1
00001225: SHL
00001226: DUP2
00001227: MSTORE
00001228: PUSH1 0x04
0000122a: SWAP1
0000122b: REVERT
0000122c: JUMPDEST
0000122d: CALLVALUE
0000122e: PUSH2 0x0409
00001231: JUMPI
00001232: PUSH0
00001233: CALLDATASIZE
00001234: PUSH1 0x03
00001236: NOT
00001237: ADD
00001238: SLT
00001239: PUSH2 0x0409
0000123c: JUMPI
0000123d: PUSH1 0x20
0000123f: PUSH1 0x40
00001241: MLOAD
00001242: ADDRESS
00001243: DUP2
00001244: MSTORE
00001245: RETURN
00001246: JUMPDEST
00001247: PUSH1 0x24
00001249: CALLDATALOAD
0000124a: SWAP1
0000124b: PUSH2 0xffff
0000124e: DUP3
0000124f: AND
00001250: DUP3
00001251: SUB
00001252: PUSH2 0x0409
00001255: JUMPI
00001256: JUMP
00001257: JUMPDEST
00001258: CALLDATALOAD
00001259: SWAP1
0000125a: PUSH2 0xffff
0000125d: DUP3
0000125e: AND
0000125f: DUP3
00001260: SUB
00001261: PUSH2 0x0409
00001264: JUMPI
00001265: JUMP
00001266: JUMPDEST
00001267: SWAP1
00001268: PUSH1 0x01
0000126a: DUP3
0000126b: DUP2
0000126c: SHR
0000126d: SWAP3
0000126e: AND
0000126f: DUP1
00001270: ISZERO
00001271: PUSH2 0x1294
00001274: JUMPI
00001275: JUMPDEST
00001276: PUSH1 0x20
00001278: DUP4
00001279: LT
0000127a: EQ
0000127b: PUSH2 0x1280
0000127e: JUMPI
0000127f: JUMP
00001280: JUMPDEST
00001281: PUSH4 0x4e487b71
00001286: PUSH1 0xe0
00001288: SHL
00001289: PUSH0
0000128a: MSTORE
0000128b: PUSH1 0x22
0000128d: PUSH1 0x04
0000128f: MSTORE
00001290: PUSH1 0x24
00001292: PUSH0
00001293: REVERT
00001294: JUMPDEST
00001295: SWAP2
00001296: PUSH1 0x7f
00001298: AND
00001299: SWAP2
0000129a: PUSH2 0x1275
0000129d: JUMP
0000129e: JUMPDEST
0000129f: DUP1
000012a0: SLOAD
000012a1: PUSH0
000012a2: SWAP4
000012a3: SWAP3
000012a4: PUSH2 0x12ac
000012a7: DUP3
000012a8: PUSH2 0x1266
000012ab: JUMP
000012ac: JUMPDEST
000012ad: SWAP2
000012ae: DUP3
000012af: DUP3
000012b0: MSTORE
000012b1: PUSH1 0x20
000012b3: SWAP4
000012b4: PUSH1 0x01
000012b6: SWAP2
000012b7: PUSH1 0x01
000012b9: DUP2
000012ba: AND
000012bb: SWAP1
000012bc: DUP2
000012bd: PUSH0
000012be: EQ
000012bf: PUSH2 0x1310
000012c2: JUMPI
000012c3: POP
000012c4: PUSH1 0x01
000012c6: EQ
000012c7: PUSH2 0x12d2
000012ca: JUMPI
000012cb: JUMPDEST
000012cc: POP
000012cd: POP
000012ce: POP
000012cf: POP
000012d0: POP
000012d1: JUMP
000012d2: JUMPDEST
000012d3: SWAP1
000012d4: SWAP4
000012d5: SWAP5
000012d6: SWAP6
000012d7: POP
000012d8: PUSH0
000012d9: SWAP3
000012da: SWAP2
000012db: SWAP3
000012dc: MSTORE
000012dd: DUP4
000012de: PUSH0
000012df: KECCAK256
000012e0: SWAP3
000012e1: DUP5
000012e2: PUSH0
000012e3: SWAP5
000012e4: JUMPDEST
000012e5: DUP4
000012e6: DUP7
000012e7: LT
000012e8: PUSH2 0x12fc
000012eb: JUMPI
000012ec: POP
000012ed: POP
000012ee: POP
000012ef: POP
000012f0: ADD
000012f1: ADD
000012f2: SWAP1
000012f3: PUSH0
000012f4: DUP1
000012f5: DUP1
000012f6: DUP1
000012f7: DUP1
000012f8: PUSH2 0x12cb
000012fb: JUMP
000012fc: JUMPDEST
000012fd: DUP1
000012fe: SLOAD
000012ff: DUP6
00001300: DUP8
00001301: ADD
00001302: DUP4
00001303: ADD
00001304: MSTORE
00001305: SWAP5
00001306: ADD
00001307: SWAP4
00001308: DUP6
00001309: SWAP1
0000130a: DUP3
0000130b: ADD
0000130c: PUSH2 0x12e4
0000130f: JUMP
00001310: JUMPDEST
00001311: PUSH1 0xff
00001313: NOT
00001314: AND
00001315: DUP7
00001316: DUP6
00001317: ADD
00001318: MSTORE
00001319: POP
0000131a: POP
0000131b: POP
0000131c: SWAP1
0000131d: ISZERO
0000131e: ISZERO
0000131f: PUSH1 0x05
00001321: SHL
00001322: ADD
00001323: ADD
00001324: SWAP2
00001325: POP
00001326: PUSH0
00001327: DUP1
00001328: DUP1
00001329: DUP1
0000132a: DUP1
0000132b: PUSH2 0x12cb
0000132e: JUMP
0000132f: JUMPDEST
00001330: PUSH4 0x4e487b71
00001335: PUSH1 0xe0
00001337: SHL
00001338: PUSH0
00001339: MSTORE
0000133a: PUSH1 0x41
0000133c: PUSH1 0x04
0000133e: MSTORE
0000133f: PUSH1 0x24
00001341: PUSH0
00001342: REVERT
00001343: JUMPDEST
00001344: PUSH1 0x60
00001346: DUP2
00001347: ADD
00001348: SWAP1
00001349: DUP2
0000134a: LT
0000134b: PUSH1 0x01
0000134d: PUSH1 0x01
0000134f: PUSH1 0x40
00001351: SHL
00001352: SUB
00001353: DUP3
00001354: GT
00001355: OR
00001356: PUSH2 0x135e
00001359: JUMPI
0000135a: PUSH1 0x40
0000135c: MSTORE
0000135d: JUMP
0000135e: JUMPDEST
0000135f: PUSH2 0x132f
00001362: JUMP
00001363: JUMPDEST
00001364: PUSH1 0x01
00001366: PUSH1 0x01
00001368: PUSH1 0x40
0000136a: SHL
0000136b: SUB
0000136c: DUP2
0000136d: GT
0000136e: PUSH2 0x135e
00001371: JUMPI
00001372: PUSH1 0x40
00001374: MSTORE
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH1 0x40
00001379: DUP2
0000137a: ADD
0000137b: SWAP1
0000137c: DUP2
0000137d: LT
0000137e: PUSH1 0x01
00001380: PUSH1 0x01
00001382: PUSH1 0x40
00001384: SHL
00001385: SUB
00001386: DUP3
00001387: GT
00001388: OR
00001389: PUSH2 0x135e
0000138c: JUMPI
0000138d: PUSH1 0x40
0000138f: MSTORE
00001390: JUMP
00001391: JUMPDEST
00001392: PUSH1 0xa0
00001394: DUP2
00001395: ADD
00001396: SWAP1
00001397: DUP2
00001398: LT
00001399: PUSH1 0x01
0000139b: PUSH1 0x01
0000139d: PUSH1 0x40
0000139f: SHL
000013a0: SUB
000013a1: DUP3
000013a2: GT
000013a3: OR
000013a4: PUSH2 0x135e
000013a7: JUMPI
000013a8: PUSH1 0x40
000013aa: MSTORE
000013ab: JUMP
000013ac: JUMPDEST
000013ad: SWAP1
000013ae: PUSH1 0x1f
000013b0: DUP1
000013b1: NOT
000013b2: SWAP2
000013b3: ADD
000013b4: AND
000013b5: DUP2
000013b6: ADD
000013b7: SWAP1
000013b8: DUP2
000013b9: LT
000013ba: PUSH1 0x01
000013bc: PUSH1 0x01
000013be: PUSH1 0x40
000013c0: SHL
000013c1: SUB
000013c2: DUP3
000013c3: GT
000013c4: OR
000013c5: PUSH2 0x135e
000013c8: JUMPI
000013c9: PUSH1 0x40
000013cb: MSTORE
000013cc: JUMP
000013cd: JUMPDEST
000013ce: CALLVALUE
000013cf: PUSH2 0x0409
000013d2: JUMPI
000013d3: PUSH1 0x40
000013d5: CALLDATASIZE
000013d6: PUSH1 0x03
000013d8: NOT
000013d9: ADD
000013da: SLT
000013db: PUSH2 0x0409
000013de: JUMPI
000013df: PUSH2 0x04c0
000013e2: PUSH2 0x142d
000013e5: PUSH2 0x1434
000013e8: PUSH2 0x1421
000013eb: PUSH1 0x04
000013ed: CALLDATALOAD
000013ee: PUSH2 0x13f6
000013f1: DUP2
000013f2: PUSH2 0x0edb
000013f5: JUMP
000013f6: JUMPDEST
000013f7: PUSH4 0xffffffff
000013fc: PUSH2 0x1403
000013ff: PUSH2 0x1246
00001402: JUMP
00001403: JUMPDEST
00001404: SWAP2
00001405: AND
00001406: PUSH0
00001407: MSTORE
00001408: PUSH1 0x03
0000140a: PUSH1 0x20
0000140c: MSTORE
0000140d: PUSH1 0x40
0000140f: PUSH0
00001410: KECCAK256
00001411: SWAP1
00001412: PUSH2 0xffff
00001415: AND
00001416: PUSH0
00001417: MSTORE
00001418: PUSH1 0x20
0000141a: MSTORE
0000141b: PUSH1 0x40
0000141d: PUSH0
0000141e: KECCAK256
0000141f: SWAP1
00001420: JUMP
00001421: JUMPDEST
00001422: PUSH1 0x40
00001424: MLOAD
00001425: SWAP3
00001426: DUP4
00001427: DUP1
00001428: SWAP3
00001429: PUSH2 0x129e
0000142c: JUMP
0000142d: JUMPDEST
0000142e: SUB
0000142f: DUP3
00001430: PUSH2 0x13ac
00001433: JUMP
00001434: JUMPDEST
00001435: PUSH1 0x40
00001437: MLOAD
00001438: SWAP2
00001439: DUP3
0000143a: SWAP2
0000143b: PUSH1 0x20
0000143d: DUP4
0000143e: MSTORE
0000143f: PUSH1 0x20
00001441: DUP4
00001442: ADD
00001443: SWAP1
00001444: PUSH2 0x042e
00001447: JUMP
00001448: JUMPDEST
00001449: CALLVALUE
0000144a: PUSH2 0x0409
0000144d: JUMPI
0000144e: PUSH1 0x40
00001450: CALLDATASIZE
00001451: PUSH1 0x03
00001453: NOT
00001454: ADD
00001455: SLT
00001456: PUSH2 0x0409
00001459: JUMPI
0000145a: PUSH1 0x20
0000145c: PUSH2 0x1484
0000145f: PUSH1 0x04
00001461: CALLDATALOAD
00001462: PUSH2 0x146a
00001465: DUP2
00001466: PUSH2 0x0edb
00001469: JUMP
0000146a: JUMPDEST
0000146b: PUSH1 0x24
0000146d: CALLDATALOAD
0000146e: SWAP1
0000146f: PUSH4 0xffffffff
00001474: AND
00001475: PUSH0
00001476: MSTORE
00001477: PUSH1 0x01
00001479: PUSH1 0x20
0000147b: MSTORE
0000147c: PUSH1 0x40
0000147e: PUSH0
0000147f: KECCAK256
00001480: SLOAD
00001481: EQ
00001482: SWAP1
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH1 0x40
00001487: MLOAD
00001488: SWAP1
00001489: ISZERO
0000148a: ISZERO
0000148b: DUP2
0000148c: MSTORE
0000148d: RETURN
0000148e: JUMPDEST
0000148f: CALLVALUE
00001490: PUSH2 0x0409
00001493: JUMPI
00001494: PUSH0
00001495: CALLDATASIZE
00001496: PUSH1 0x03
00001498: NOT
00001499: ADD
0000149a: SLT
0000149b: PUSH2 0x0409
0000149e: JUMPI
0000149f: PUSH1 0x40
000014a1: MLOAD
000014a2: PUSH32 0x0000000000000000000000001a44076050125825900e736c501f859c50fe728c
000014c3: PUSH1 0x01
000014c5: PUSH1 0x01
000014c7: PUSH1 0xa0
000014c9: SHL
000014ca: SUB
000014cb: AND
000014cc: DUP2
000014cd: MSTORE
000014ce: PUSH1 0x20
000014d0: SWAP1
000014d1: RETURN
000014d2: JUMPDEST
000014d3: CALLVALUE
000014d4: PUSH2 0x0409
000014d7: JUMPI
000014d8: PUSH0
000014d9: CALLDATASIZE
000014da: PUSH1 0x03
000014dc: NOT
000014dd: ADD
000014de: SLT
000014df: PUSH2 0x0409
000014e2: JUMPI
000014e3: PUSH1 0x20
000014e5: PUSH1 0x0f
000014e7: SLOAD
000014e8: PUSH1 0x40
000014ea: MLOAD
000014eb: SWAP1
000014ec: DUP2
000014ed: MSTORE
000014ee: RETURN
000014ef: JUMPDEST
000014f0: CALLVALUE
000014f1: PUSH2 0x0409
000014f4: JUMPI
000014f5: PUSH1 0x20
000014f7: CALLDATASIZE
000014f8: PUSH1 0x03
000014fa: NOT
000014fb: ADD
000014fc: SLT
000014fd: PUSH2 0x0409
00001500: JUMPI
00001501: PUSH1 0x04
00001503: CALLDATALOAD
00001504: PUSH2 0x150c
00001507: DUP2
00001508: PUSH2 0x0547
0000150b: JUMP
0000150c: JUMPDEST
0000150d: PUSH2 0x1514
00001510: PUSH2 0x2ddd
00001513: JUMP
00001514: JUMPDEST
00001515: CALLER
00001516: PUSH0
00001517: SWAP1
00001518: DUP2
00001519: MSTORE
0000151a: PUSH1 0x0d
0000151c: PUSH1 0x20
0000151e: MSTORE
0000151f: PUSH1 0x40
00001521: SWAP1
00001522: KECCAK256
00001523: PUSH2 0x152b
00001526: SWAP1
00001527: PUSH2 0x2896
0000152a: JUMP
0000152b: JUMPDEST
0000152c: DUP1
0000152d: MLOAD
0000152e: SWAP1
0000152f: SWAP2
00001530: SWAP1
00001531: PUSH1 0x01
00001533: PUSH1 0x01
00001535: PUSH1 0xe0
00001537: SHL
00001538: SUB
00001539: AND
0000153a: ISZERO
0000153b: PUSH2 0x0ec9
0000153e: JUMPI
0000153f: PUSH1 0x20
00001541: DUP3
00001542: ADD
00001543: MLOAD
00001544: PUSH4 0xffffffff
00001549: AND
0000154a: PUSH4 0xffffffff
0000154f: PUSH2 0x156d
00001552: PUSH2 0x1564
00001555: PUSH1 0x0b
00001557: SLOAD
00001558: PUSH4 0xffffffff
0000155d: SWAP1
0000155e: PUSH1 0xa0
00001560: SHR
00001561: AND
00001562: SWAP1
00001563: JUMP
00001564: JUMPDEST
00001565: PUSH4 0xffffffff
0000156a: AND
0000156b: SWAP1
0000156c: JUMP
0000156d: JUMPDEST
0000156e: SWAP2
0000156f: AND
00001570: LT
00001571: ISZERO
00001572: PUSH2 0x15fd
00001575: JUMPI
00001576: CALLER
00001577: PUSH0
00001578: SWAP1
00001579: DUP2
0000157a: MSTORE
0000157b: PUSH1 0x0d
0000157d: PUSH1 0x20
0000157f: MSTORE
00001580: PUSH1 0x40
00001582: DUP2
00001583: KECCAK256
00001584: PUSH2 0x0d73
00001587: SWAP4
00001588: PUSH2 0x15a9
0000158b: SWAP3
0000158c: PUSH2 0x159d
0000158f: SWAP3
00001590: SSTORE
00001591: MLOAD
00001592: PUSH1 0x01
00001594: PUSH1 0x01
00001596: PUSH1 0xe0
00001598: SHL
00001599: SUB
0000159a: AND
0000159b: SWAP1
0000159c: JUMP
0000159d: JUMPDEST
0000159e: PUSH1 0x01
000015a0: PUSH1 0x01
000015a2: PUSH1 0xe0
000015a4: SHL
000015a5: SUB
000015a6: AND
000015a7: SWAP1
000015a8: JUMP
000015a9: JUMPDEST
000015aa: PUSH1 0x40
000015ac: MLOAD
000015ad: DUP2
000015ae: DUP2
000015af: MSTORE
000015b0: SWAP1
000015b1: SWAP2
000015b2: SWAP1
000015b3: PUSH1 0x01
000015b5: PUSH1 0x01
000015b7: PUSH1 0xa0
000015b9: SHL
000015ba: SUB
000015bb: DUP3
000015bc: AND
000015bd: SWAP1
000015be: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
000015df: SWAP1
000015e0: PUSH1 0x20
000015e2: SWAP1
000015e3: LOG2
000015e4: PUSH1 0x0b
000015e6: SLOAD
000015e7: PUSH2 0x15f8
000015ea: SWAP1
000015eb: PUSH1 0x01
000015ed: PUSH1 0x01
000015ef: PUSH1 0xa0
000015f1: SHL
000015f2: SUB
000015f3: AND
000015f4: PUSH2 0x0988
000015f7: JUMP
000015f8: JUMPDEST
000015f9: PUSH2 0x2e00
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH1 0x40
00001600: MLOAD
00001601: PUSH4 0x258e84af
00001606: PUSH1 0xe1
00001608: SHL
00001609: DUP2
0000160a: MSTORE
0000160b: PUSH1 0x04
0000160d: SWAP1
0000160e: REVERT
0000160f: JUMPDEST
00001610: CALLVALUE
00001611: PUSH2 0x0409
00001614: JUMPI
00001615: PUSH1 0x20
00001617: CALLDATASIZE
00001618: PUSH1 0x03
0000161a: NOT
0000161b: ADD
0000161c: SLT
0000161d: PUSH2 0x0409
00001620: JUMPI
00001621: PUSH32 0xf0be4f1e87349231d80c36b33f9e8639658eeaf474014dee15a3e6a4d4414197
00001642: PUSH1 0x20
00001644: PUSH1 0x04
00001646: CALLDATALOAD
00001647: PUSH2 0x164f
0000164a: DUP2
0000164b: PUSH2 0x0547
0000164e: JUMP
0000164f: JUMPDEST
00001650: PUSH2 0x1657
00001653: PUSH2 0x2db2
00001656: JUMP
00001657: JUMPDEST
00001658: PUSH1 0x04
0000165a: DUP1
0000165b: SLOAD
0000165c: PUSH1 0x01
0000165e: PUSH1 0x01
00001660: PUSH1 0xa0
00001662: SHL
00001663: SUB
00001664: NOT
00001665: AND
00001666: PUSH1 0x01
00001668: PUSH1 0x01
0000166a: PUSH1 0xa0
0000166c: SHL
0000166d: SUB
0000166e: SWAP3
0000166f: SWAP1
00001670: SWAP3
00001671: AND
00001672: SWAP2
00001673: DUP3
00001674: OR
00001675: SWAP1
00001676: SSTORE
00001677: PUSH1 0x40
00001679: MLOAD
0000167a: SWAP1
0000167b: DUP2
0000167c: MSTORE
0000167d: LOG1
0000167e: STOP
0000167f: JUMPDEST
00001680: CALLVALUE
00001681: PUSH2 0x0409
00001684: JUMPI
00001685: PUSH1 0x20
00001687: CALLDATASIZE
00001688: PUSH1 0x03
0000168a: NOT
0000168b: ADD
0000168c: SLT
0000168d: PUSH2 0x0409
00001690: JUMPI
00001691: PUSH1 0x04
00001693: CALLDATALOAD
00001694: PUSH2 0x169c
00001697: DUP2
00001698: PUSH2 0x0547
0000169b: JUMP
0000169c: JUMPDEST
0000169d: PUSH1 0x01
0000169f: DUP1
000016a0: PUSH1 0xa0
000016a2: SHL
000016a3: SUB
000016a4: AND
000016a5: PUSH0
000016a6: MSTORE
000016a7: PUSH1 0x05
000016a9: PUSH1 0x20
000016ab: MSTORE
000016ac: PUSH1 0x20
000016ae: PUSH1 0x40
000016b0: PUSH0
000016b1: KECCAK256
000016b2: SLOAD
000016b3: PUSH1 0x40
000016b5: MLOAD
000016b6: SWAP1
000016b7: DUP2
000016b8: MSTORE
000016b9: RETURN
000016ba: JUMPDEST
000016bb: CALLVALUE
000016bc: PUSH2 0x0409
000016bf: JUMPI
000016c0: PUSH0
000016c1: CALLDATASIZE
000016c2: PUSH1 0x03
000016c4: NOT
000016c5: ADD
000016c6: SLT
000016c7: PUSH2 0x0409
000016ca: JUMPI
000016cb: PUSH2 0x16d2
000016ce: PUSH2 0x2db2
000016d1: JUMP
000016d2: JUMPDEST
000016d3: PUSH0
000016d4: DUP1
000016d5: SLOAD
000016d6: PUSH1 0x01
000016d8: PUSH1 0x01
000016da: PUSH1 0xa0
000016dc: SHL
000016dd: SUB
000016de: NOT
000016df: DUP2
000016e0: AND
000016e1: DUP3
000016e2: SSTORE
000016e3: PUSH1 0x01
000016e5: PUSH1 0x01
000016e7: PUSH1 0xa0
000016e9: SHL
000016ea: SUB
000016eb: AND
000016ec: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000170d: DUP3
0000170e: DUP1
0000170f: LOG3
00001710: STOP
00001711: JUMPDEST
00001712: CALLVALUE
00001713: PUSH2 0x0409
00001716: JUMPI
00001717: PUSH1 0x20
00001719: CALLDATASIZE
0000171a: PUSH1 0x03
0000171c: NOT
0000171d: ADD
0000171e: SLT
0000171f: PUSH2 0x0409
00001722: JUMPI
00001723: PUSH1 0x04
00001725: CALLDATALOAD
00001726: PUSH2 0x172e
00001729: DUP2
0000172a: PUSH2 0x0547
0000172d: JUMP
0000172e: JUMPDEST
0000172f: PUSH2 0x1736
00001732: PUSH2 0x2db2
00001735: JUMP
00001736: JUMPDEST
00001737: PUSH1 0x01
00001739: PUSH1 0x01
0000173b: PUSH1 0xa0
0000173d: SHL
0000173e: SUB
0000173f: AND
00001740: DUP1
00001741: ISZERO
00001742: PUSH2 0x1786
00001745: JUMPI
00001746: PUSH1 0x20
00001748: DUP2
00001749: PUSH32 0xdc3dba1d64dd67c0dc8b12621edd0c6ca4303a9073c3a8fcac38115e73d67b6b
0000176a: SWAP3
0000176b: PUSH1 0x01
0000176d: PUSH1 0x01
0000176f: PUSH1 0x60
00001771: SHL
00001772: SUB
00001773: PUSH1 0xa0
00001775: SHL
00001776: PUSH1 0x0c
00001778: SLOAD
00001779: AND
0000177a: OR
0000177b: PUSH1 0x0c
0000177d: SSTORE
0000177e: PUSH1 0x40
00001780: MLOAD
00001781: SWAP1
00001782: DUP2
00001783: MSTORE
00001784: LOG1
00001785: STOP
00001786: JUMPDEST
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: PUSH4 0x09be64cd
0000178f: PUSH1 0xe4
00001791: SHL
00001792: DUP2
00001793: MSTORE
00001794: PUSH1 0x04
00001796: SWAP1
00001797: REVERT
00001798: JUMPDEST
00001799: CALLVALUE
0000179a: PUSH2 0x0409
0000179d: JUMPI
0000179e: PUSH0
0000179f: CALLDATASIZE
000017a0: PUSH1 0x03
000017a2: NOT
000017a3: ADD
000017a4: SLT
000017a5: PUSH2 0x0409
000017a8: JUMPI
000017a9: PUSH1 0x20
000017ab: PUSH4 0xffffffff
000017b0: PUSH1 0x0b
000017b2: SLOAD
000017b3: PUSH1 0xa0
000017b5: SHR
000017b6: AND
000017b7: PUSH1 0x40
000017b9: MLOAD
000017ba: SWAP1
000017bb: DUP2
000017bc: MSTORE
000017bd: RETURN
000017be: JUMPDEST
000017bf: PUSH1 0x04
000017c1: CALLDATALOAD
000017c2: SWAP1
000017c3: PUSH1 0x01
000017c5: PUSH1 0x01
000017c7: PUSH1 0xe0
000017c9: SHL
000017ca: SUB
000017cb: DUP3
000017cc: AND
000017cd: DUP3
000017ce: SUB
000017cf: PUSH2 0x0409
000017d2: JUMPI
000017d3: JUMP
000017d4: JUMPDEST
000017d5: PUSH1 0x24
000017d7: CALLDATALOAD
000017d8: SWAP1
000017d9: PUSH1 0x01
000017db: PUSH1 0x01
000017dd: PUSH1 0xe0
000017df: SHL
000017e0: SUB
000017e1: DUP3
000017e2: AND
000017e3: DUP3
000017e4: SUB
000017e5: PUSH2 0x0409
000017e8: JUMPI
000017e9: JUMP
000017ea: JUMPDEST
000017eb: CALLVALUE
000017ec: PUSH2 0x0409
000017ef: JUMPI
000017f0: PUSH1 0x20
000017f2: CALLDATASIZE
000017f3: PUSH1 0x03
000017f5: NOT
000017f6: ADD
000017f7: SLT
000017f8: PUSH2 0x0409
000017fb: JUMPI
000017fc: PUSH2 0x1803
000017ff: PUSH2 0x17be
00001802: JUMP
00001803: JUMPDEST
00001804: PUSH2 0x180b
00001807: PUSH2 0x2ddd
0000180a: JUMP
0000180b: JUMPDEST
0000180c: PUSH1 0x0b
0000180e: SLOAD
0000180f: PUSH2 0x181c
00001812: SWAP1
00001813: PUSH1 0xc0
00001815: SHR
00001816: PUSH1 0xff
00001818: AND
00001819: ISZERO
0000181a: SWAP1
0000181b: JUMP
0000181c: JUMPDEST
0000181d: PUSH2 0x121a
00001820: JUMPI
00001821: PUSH1 0x01
00001823: PUSH1 0x01
00001825: PUSH1 0xe0
00001827: SHL
00001828: SUB
00001829: DUP2
0000182a: AND
0000182b: DUP1
0000182c: ISZERO
0000182d: PUSH2 0x0ec9
00001830: JUMPI
00001831: CALLER
00001832: PUSH0
00001833: SWAP1
00001834: DUP2
00001835: MSTORE
00001836: PUSH1 0x05
00001838: PUSH1 0x20
0000183a: MSTORE
0000183b: PUSH1 0x40
0000183d: SWAP1
0000183e: KECCAK256
0000183f: DUP2
00001840: SWAP1
00001841: SLOAD
00001842: LT
00001843: PUSH2 0x196f
00001846: JUMPI
00001847: PUSH2 0x18fe
0000184a: DUP2
0000184b: PUSH2 0x1857
0000184e: PUSH2 0x1903
00001851: SWAP4
00001852: CALLER
00001853: PUSH2 0x2e96
00001856: JUMP
00001857: JUMPDEST
00001858: CALLER
00001859: PUSH0
0000185a: SWAP1
0000185b: DUP2
0000185c: MSTORE
0000185d: PUSH1 0x0d
0000185f: PUSH1 0x20
00001861: MSTORE
00001862: PUSH1 0x40
00001864: SWAP1
00001865: KECCAK256
00001866: PUSH2 0x18f6
00001869: SWAP1
0000186a: PUSH2 0x1886
0000186d: SWAP1
0000186e: DUP7
0000186f: SWAP1
00001870: PUSH2 0x1881
00001873: SWAP1
00001874: JUMPDEST
00001875: SLOAD
00001876: PUSH1 0x01
00001878: PUSH1 0x01
0000187a: PUSH1 0xe0
0000187c: SHL
0000187d: SUB
0000187e: AND
0000187f: SWAP1
00001880: JUMP
00001881: JUMPDEST
00001882: PUSH2 0x28bb
00001885: JUMP
00001886: JUMPDEST
00001887: PUSH1 0x0b
00001889: SLOAD
0000188a: PUSH2 0x18be
0000188d: SWAP1
0000188e: PUSH1 0xa0
00001890: SHR
00001891: PUSH4 0xffffffff
00001896: AND
00001897: JUMPDEST
00001898: PUSH2 0x18b1
0000189b: PUSH2 0x18a2
0000189e: PUSH2 0x27af
000018a1: JUMP
000018a2: JUMPDEST
000018a3: PUSH1 0x01
000018a5: PUSH1 0x01
000018a7: PUSH1 0xe0
000018a9: SHL
000018aa: SUB
000018ab: SWAP1
000018ac: SWAP5
000018ad: AND
000018ae: DUP5
000018af: MSTORE
000018b0: JUMP
000018b1: JUMPDEST
000018b2: PUSH4 0xffffffff
000018b7: AND
000018b8: PUSH1 0x20
000018ba: DUP4
000018bb: ADD
000018bc: MSTORE
000018bd: JUMP
000018be: JUMPDEST
000018bf: CALLER
000018c0: PUSH0
000018c1: SWAP1
000018c2: DUP2
000018c3: MSTORE
000018c4: PUSH1 0x0d
000018c6: PUSH1 0x20
000018c8: MSTORE
000018c9: PUSH1 0x40
000018cb: SWAP1
000018cc: KECCAK256
000018cd: JUMPDEST
000018ce: DUP2
000018cf: MLOAD
000018d0: PUSH1 0x20
000018d2: SWAP1
000018d3: SWAP3
000018d4: ADD
000018d5: MLOAD
000018d6: PUSH1 0xe0
000018d8: SHL
000018d9: PUSH1 0x01
000018db: PUSH1 0x01
000018dd: PUSH1 0xe0
000018df: SHL
000018e0: SUB
000018e1: NOT
000018e2: AND
000018e3: PUSH1 0x01
000018e5: PUSH1 0x01
000018e7: PUSH1 0xe0
000018e9: SHL
000018ea: SUB
000018eb: SWAP3
000018ec: SWAP1
000018ed: SWAP3
000018ee: AND
000018ef: SWAP2
000018f0: SWAP1
000018f1: SWAP2
000018f2: OR
000018f3: SWAP1
000018f4: SSTORE
000018f5: JUMP
000018f6: JUMPDEST
000018f7: PUSH1 0x0e
000018f9: SLOAD
000018fa: PUSH2 0x2889
000018fd: JUMP
000018fe: JUMPDEST
000018ff: PUSH1 0x0e
00001901: SSTORE
00001902: JUMP
00001903: JUMPDEST
00001904: PUSH32 0x69214d191a9e2c11156aedc11f80105e29875ef3eacdde4b6e9f08bfe162dfdb
00001925: PUSH2 0x1962
00001928: PUSH2 0x193a
0000192b: PUSH1 0x0b
0000192d: SLOAD
0000192e: PUSH4 0xffffffff
00001933: SWAP1
00001934: PUSH1 0xa0
00001936: SHR
00001937: AND
00001938: SWAP1
00001939: JUMP
0000193a: JUMPDEST
0000193b: PUSH1 0x40
0000193d: DUP1
0000193e: MLOAD
0000193f: PUSH1 0x01
00001941: PUSH1 0x01
00001943: PUSH1 0xe0
00001945: SHL
00001946: SUB
00001947: SWAP1
00001948: SWAP6
00001949: AND
0000194a: DUP6
0000194b: MSTORE
0000194c: PUSH4 0xffffffff
00001951: SWAP1
00001952: SWAP2
00001953: AND
00001954: PUSH1 0x20
00001956: DUP6
00001957: ADD
00001958: MSTORE
00001959: CALLER
0000195a: SWAP4
0000195b: SWAP2
0000195c: DUP3
0000195d: SWAP2
0000195e: DUP3
0000195f: ADD
00001960: SWAP1
00001961: JUMP
00001962: JUMPDEST
00001963: SUB
00001964: SWAP1
00001965: LOG2
00001966: PUSH2 0x0d7d
00001969: PUSH1 0x01
0000196b: PUSH1 0x0a
0000196d: SSTORE
0000196e: JUMP
0000196f: JUMPDEST
00001970: PUSH1 0x40
00001972: MLOAD
00001973: PUSH4 0x1e9acf17
00001978: PUSH1 0xe3
0000197a: SHL
0000197b: DUP2
0000197c: MSTORE
0000197d: PUSH1 0x04
0000197f: SWAP1
00001980: REVERT
00001981: JUMPDEST
00001982: CALLVALUE
00001983: PUSH2 0x0409
00001986: JUMPI
00001987: PUSH1 0x20
00001989: CALLDATASIZE
0000198a: PUSH1 0x03
0000198c: NOT
0000198d: ADD
0000198e: SLT
0000198f: PUSH2 0x0409
00001992: JUMPI
00001993: PUSH1 0x04
00001995: CALLDATALOAD
00001996: PUSH1 0xff
00001998: DUP2
00001999: AND
0000199a: DUP2
0000199b: SUB
0000199c: PUSH2 0x0409
0000199f: JUMPI
000019a0: PUSH2 0x19a7
000019a3: PUSH2 0x2db2
000019a6: JUMP
000019a7: JUMPDEST
000019a8: PUSH1 0x0b
000019aa: DUP1
000019ab: SLOAD
000019ac: PUSH1 0xff
000019ae: PUSH1 0xc8
000019b0: SHL
000019b1: NOT
000019b2: AND
000019b3: PUSH1 0xc8
000019b5: SWAP3
000019b6: SWAP1
000019b7: SWAP3
000019b8: SHL
000019b9: PUSH1 0xff
000019bb: PUSH1 0xc8
000019bd: SHL
000019be: AND
000019bf: SWAP2
000019c0: SWAP1
000019c1: SWAP2
000019c2: OR
000019c3: SWAP1
000019c4: SSTORE
000019c5: STOP
000019c6: JUMPDEST
000019c7: CALLVALUE
000019c8: PUSH2 0x0409
000019cb: JUMPI
000019cc: PUSH1 0x40
000019ce: CALLDATASIZE
000019cf: PUSH1 0x03
000019d1: NOT
000019d2: ADD
000019d3: SLT
000019d4: PUSH2 0x0409
000019d7: JUMPI
000019d8: PUSH2 0x19e2
000019db: PUSH1 0x04
000019dd: CALLDATALOAD
000019de: PUSH2 0x0edb
000019e1: JUMP
000019e2: JUMPDEST
000019e3: PUSH1 0x20
000019e5: PUSH1 0x40
000019e7: MLOAD
000019e8: PUSH0
000019e9: DUP2
000019ea: MSTORE
000019eb: RETURN
000019ec: JUMPDEST
000019ed: CALLVALUE
000019ee: PUSH2 0x0409
000019f1: JUMPI
000019f2: PUSH1 0xa0
000019f4: CALLDATASIZE
000019f5: PUSH1 0x03
000019f7: NOT
000019f8: ADD
000019f9: SLT
000019fa: PUSH2 0x0409
000019fd: JUMPI
000019fe: PUSH2 0x1a06
00001a01: CALLDATASIZE
00001a02: PUSH2 0x0871
00001a05: JUMP
00001a06: JUMPDEST
00001a07: POP
00001a08: PUSH1 0x64
00001a0a: CALLDATALOAD
00001a0b: PUSH1 0x01
00001a0d: PUSH1 0x01
00001a0f: PUSH1 0x40
00001a11: SHL
00001a12: SUB
00001a13: DUP2
00001a14: GT
00001a15: PUSH2 0x0409
00001a18: JUMPI
00001a19: PUSH2 0x1a26
00001a1c: SWAP1
00001a1d: CALLDATASIZE
00001a1e: SWAP1
00001a1f: PUSH1 0x04
00001a21: ADD
00001a22: PUSH2 0x0882
00001a25: JUMP
00001a26: JUMPDEST
00001a27: POP
00001a28: POP
00001a29: PUSH1 0x20
00001a2b: PUSH1 0x84
00001a2d: CALLDATALOAD
00001a2e: PUSH2 0x1a36
00001a31: DUP2
00001a32: PUSH2 0x0547
00001a35: JUMP
00001a36: JUMPDEST
00001a37: PUSH1 0x40
00001a39: MLOAD
00001a3a: PUSH1 0x01
00001a3c: PUSH1 0x01
00001a3e: PUSH1 0xa0
00001a40: SHL
00001a41: SUB
00001a42: SWAP1
00001a43: SWAP2
00001a44: AND
00001a45: ADDRESS
00001a46: EQ
00001a47: DUP2
00001a48: MSTORE
00001a49: RETURN
00001a4a: JUMPDEST
00001a4b: CALLVALUE
00001a4c: PUSH2 0x0409
00001a4f: JUMPI
00001a50: PUSH0
00001a51: CALLDATASIZE
00001a52: PUSH1 0x03
00001a54: NOT
00001a55: ADD
00001a56: SLT
00001a57: PUSH2 0x0409
00001a5a: JUMPI
00001a5b: PUSH1 0x20
00001a5d: PUSH1 0x40
00001a5f: MLOAD
00001a60: PUSH1 0x06
00001a62: DUP2
00001a63: MSTORE
00001a64: RETURN
00001a65: JUMPDEST
00001a66: CALLVALUE
00001a67: PUSH2 0x0409
00001a6a: JUMPI
00001a6b: PUSH0
00001a6c: CALLDATASIZE
00001a6d: PUSH1 0x03
00001a6f: NOT
00001a70: ADD
00001a71: SLT
00001a72: PUSH2 0x0409
00001a75: JUMPI
00001a76: PUSH0
00001a77: SLOAD
00001a78: PUSH1 0x40
00001a7a: MLOAD
00001a7b: PUSH1 0x01
00001a7d: PUSH1 0x01
00001a7f: PUSH1 0xa0
00001a81: SHL
00001a82: SUB
00001a83: SWAP1
00001a84: SWAP2
00001a85: AND
00001a86: DUP2
00001a87: MSTORE
00001a88: PUSH1 0x20
00001a8a: SWAP1
00001a8b: RETURN
00001a8c: JUMPDEST
00001a8d: CALLVALUE
00001a8e: PUSH2 0x0409
00001a91: JUMPI
00001a92: PUSH0
00001a93: CALLDATASIZE
00001a94: PUSH1 0x03
00001a96: NOT
00001a97: ADD
00001a98: SLT
00001a99: PUSH2 0x0409
00001a9c: JUMPI
00001a9d: PUSH1 0x40
00001a9f: MLOAD
00001aa0: PUSH0
00001aa1: PUSH1 0x09
00001aa3: SLOAD
00001aa4: PUSH2 0x1aac
00001aa7: DUP2
00001aa8: PUSH2 0x1266
00001aab: JUMP
00001aac: JUMPDEST
00001aad: DUP1
00001aae: DUP5
00001aaf: MSTORE
00001ab0: SWAP1
00001ab1: PUSH1 0x20
00001ab3: SWAP1
00001ab4: PUSH1 0x01
00001ab6: SWAP1
00001ab7: DUP2
00001ab8: DUP2
00001ab9: AND
00001aba: SWAP1
00001abb: DUP2
00001abc: ISZERO
00001abd: PUSH2 0x051d
00001ac0: JUMPI
00001ac1: POP
00001ac2: PUSH1 0x01
00001ac4: EQ
00001ac5: PUSH2 0x1ad8
00001ac8: JUMPI
00001ac9: PUSH2 0x04c0
00001acc: DUP6
00001acd: PUSH2 0x04b4
00001ad0: DUP2
00001ad1: DUP8
00001ad2: SUB
00001ad3: DUP3
00001ad4: PUSH2 0x13ac
00001ad7: JUMP
00001ad8: JUMPDEST
00001ad9: PUSH1 0x09
00001adb: PUSH0
00001adc: SWAP1
00001add: DUP2
00001ade: MSTORE
00001adf: SWAP4
00001ae0: POP
00001ae1: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af
00001b02: JUMPDEST
00001b03: DUP4
00001b04: DUP6
00001b05: LT
00001b06: PUSH2 0x1b1e
00001b09: JUMPI
00001b0a: POP
00001b0b: POP
00001b0c: POP
00001b0d: POP
00001b0e: DUP2
00001b0f: ADD
00001b10: PUSH1 0x20
00001b12: ADD
00001b13: PUSH2 0x04b4
00001b16: DUP3
00001b17: PUSH2 0x04c0
00001b1a: PUSH2 0x04a4
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: DUP1
00001b20: SLOAD
00001b21: DUP7
00001b22: DUP7
00001b23: ADD
00001b24: DUP5
00001b25: ADD
00001b26: MSTORE
00001b27: SWAP4
00001b28: DUP3
00001b29: ADD
00001b2a: SWAP4
00001b2b: DUP2
00001b2c: ADD
00001b2d: PUSH2 0x1b02
00001b30: JUMP
00001b31: JUMPDEST
00001b32: CALLVALUE
00001b33: PUSH2 0x0409
00001b36: JUMPI
00001b37: PUSH0
00001b38: CALLDATASIZE
00001b39: PUSH1 0x03
00001b3b: NOT
00001b3c: ADD
00001b3d: SLT
00001b3e: PUSH2 0x0409
00001b41: JUMPI
00001b42: PUSH1 0x20
00001b44: PUSH1 0x40
00001b46: MLOAD
00001b47: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00001b68: DUP2
00001b69: MSTORE
00001b6a: RETURN
00001b6b: JUMPDEST
00001b6c: CALLVALUE
00001b6d: PUSH2 0x0409
00001b70: JUMPI
00001b71: PUSH1 0x20
00001b73: CALLDATASIZE
00001b74: PUSH1 0x03
00001b76: NOT
00001b77: ADD
00001b78: SLT
00001b79: PUSH2 0x0409
00001b7c: JUMPI
00001b7d: PUSH1 0x04
00001b7f: CALLDATALOAD
00001b80: PUSH2 0x1b88
00001b83: DUP2
00001b84: PUSH2 0x0547
00001b87: JUMP
00001b88: JUMPDEST
00001b89: PUSH1 0x01
00001b8b: PUSH1 0x01
00001b8d: PUSH1 0xa0
00001b8f: SHL
00001b90: SUB
00001b91: AND
00001b92: PUSH0
00001b93: SWAP1
00001b94: DUP2
00001b95: MSTORE
00001b96: PUSH1 0x0d
00001b98: PUSH1 0x20
00001b9a: SWAP1
00001b9b: DUP2
00001b9c: MSTORE
00001b9d: PUSH1 0x40
00001b9f: SWAP2
00001ba0: DUP3
00001ba1: SWAP1
00001ba2: KECCAK256
00001ba3: SLOAD
00001ba4: DUP3
00001ba5: MLOAD
00001ba6: PUSH1 0x01
00001ba8: PUSH1 0x01
00001baa: PUSH1 0xe0
00001bac: SHL
00001bad: SUB
00001bae: DUP3
00001baf: AND
00001bb0: DUP2
00001bb1: MSTORE
00001bb2: PUSH1 0xe0
00001bb4: SWAP2
00001bb5: SWAP1
00001bb6: SWAP2
00001bb7: SHR
00001bb8: SWAP2
00001bb9: DUP2
00001bba: ADD
00001bbb: SWAP2
00001bbc: SWAP1
00001bbd: SWAP2
00001bbe: MSTORE
00001bbf: RETURN
00001bc0: JUMPDEST
00001bc1: CALLVALUE
00001bc2: PUSH2 0x0409
00001bc5: JUMPI
00001bc6: PUSH0
00001bc7: CALLDATASIZE
00001bc8: PUSH1 0x03
00001bca: NOT
00001bcb: ADD
00001bcc: SLT
00001bcd: PUSH2 0x0409
00001bd0: JUMPI
00001bd1: PUSH1 0x20
00001bd3: PUSH1 0x40
00001bd5: MLOAD
00001bd6: PUSH0
00001bd7: DUP2
00001bd8: MSTORE
00001bd9: RETURN
00001bda: JUMPDEST
00001bdb: CALLVALUE
00001bdc: PUSH2 0x0409
00001bdf: JUMPI
00001be0: PUSH1 0x40
00001be2: CALLDATASIZE
00001be3: PUSH1 0x03
00001be5: NOT
00001be6: ADD
00001be7: SLT
00001be8: PUSH2 0x0409
00001beb: JUMPI
00001bec: PUSH1 0x04
00001bee: CALLDATALOAD
00001bef: PUSH2 0x1bf7
00001bf2: DUP2
00001bf3: PUSH2 0x0547
00001bf6: JUMP
00001bf7: JUMPDEST
00001bf8: PUSH1 0x24
00001bfa: CALLDATALOAD
00001bfb: PUSH2 0x1c02
00001bfe: PUSH2 0x2ddd
00001c01: JUMP
00001c02: JUMPDEST
00001c03: PUSH1 0x0c
00001c05: SLOAD
00001c06: PUSH1 0x01
00001c08: PUSH1 0x01
00001c0a: PUSH1 0xa0
00001c0c: SHL
00001c0d: SUB
00001c0e: SWAP3
00001c0f: SWAP1
00001c10: DUP4
00001c11: AND
00001c12: CALLER
00001c13: DUP2
00001c14: SWAP1
00001c15: SUB
00001c16: PUSH2 0x0e39
00001c19: JUMPI
00001c1a: DUP3
00001c1b: ISZERO
00001c1c: PUSH2 0x0ec9
00001c1f: JUMPI
00001c20: DUP3
00001c21: PUSH2 0x1c29
00001c24: SWAP2
00001c25: PUSH2 0x3143
00001c28: JUMP
00001c29: JUMPDEST
00001c2a: PUSH1 0x0f
00001c2c: SLOAD
00001c2d: SWAP3
00001c2e: DUP3
00001c2f: DUP5
00001c30: ADD
00001c31: DUP1
00001c32: SWAP5
00001c33: GT
00001c34: PUSH2 0x1c89
00001c37: JUMPI
00001c38: PUSH2 0x0d73
00001c3b: SWAP4
00001c3c: PUSH1 0x0f
00001c3e: SSTORE
00001c3f: PUSH32 0x9f27a22fea017c09821db9e9e1700a69ddd6121050f29a783f8ca5f6876865f3
00001c60: PUSH1 0x20
00001c62: PUSH1 0x40
00001c64: MLOAD
00001c65: SWAP3
00001c66: DUP6
00001c67: DUP5
00001c68: MSTORE
00001c69: DUP5
00001c6a: AND
00001c6b: SWAP3
00001c6c: LOG2
00001c6d: PUSH1 0x0b
00001c6f: SLOAD
00001c70: PUSH2 0x1c81
00001c73: SWAP1
00001c74: PUSH1 0x01
00001c76: PUSH1 0x01
00001c78: PUSH1 0xa0
00001c7a: SHL
00001c7b: SUB
00001c7c: AND
00001c7d: PUSH2 0x0988
00001c80: JUMP
00001c81: JUMPDEST
00001c82: SWAP1
00001c83: ADDRESS
00001c84: SWAP2
00001c85: PUSH2 0x2e4f
00001c88: JUMP
00001c89: JUMPDEST
00001c8a: PUSH2 0x2853
00001c8d: JUMP
00001c8e: JUMPDEST
00001c8f: CALLVALUE
00001c90: PUSH2 0x0409
00001c93: JUMPI
00001c94: PUSH1 0x20
00001c96: CALLDATASIZE
00001c97: PUSH1 0x03
00001c99: NOT
00001c9a: ADD
00001c9b: SLT
00001c9c: PUSH2 0x0409
00001c9f: JUMPI
00001ca0: PUSH32 0x96adcf1e48ac546c8fe3676c903cc458907e1e045d4c27130254a0bf7d9366ce
00001cc1: PUSH1 0x20
00001cc3: PUSH1 0x04
00001cc5: CALLDATALOAD
00001cc6: PUSH2 0x1cce
00001cc9: DUP2
00001cca: PUSH2 0x0f96
00001ccd: JUMP
00001cce: JUMPDEST
00001ccf: PUSH2 0x1cd6
00001cd2: PUSH2 0x2db2
00001cd5: JUMP
00001cd6: JUMPDEST
00001cd7: ISZERO
00001cd8: ISZERO
00001cd9: PUSH1 0x0b
00001cdb: SLOAD
00001cdc: PUSH1 0xff
00001cde: PUSH1 0xc0
00001ce0: SHL
00001ce1: DUP3
00001ce2: PUSH1 0xc0
00001ce4: SHL
00001ce5: AND
00001ce6: SWAP1
00001ce7: PUSH1 0xff
00001ce9: PUSH1 0xc0
00001ceb: SHL
00001cec: NOT
00001ced: AND
00001cee: OR
00001cef: PUSH1 0x0b
00001cf1: SSTORE
00001cf2: PUSH1 0x40
00001cf4: MLOAD
00001cf5: SWAP1
00001cf6: DUP2
00001cf7: MSTORE
00001cf8: LOG1
00001cf9: STOP
00001cfa: JUMPDEST
00001cfb: CALLVALUE
00001cfc: PUSH2 0x0409
00001cff: JUMPI
00001d00: PUSH1 0x40
00001d02: CALLDATASIZE
00001d03: PUSH1 0x03
00001d05: NOT
00001d06: ADD
00001d07: SLT
00001d08: PUSH2 0x0409
00001d0b: JUMPI
00001d0c: PUSH2 0x1d24
00001d0f: PUSH1 0x04
00001d11: CALLDATALOAD
00001d12: PUSH2 0x1d1a
00001d15: DUP2
00001d16: PUSH2 0x0547
00001d19: JUMP
00001d1a: JUMPDEST
00001d1b: PUSH1 0x24
00001d1d: CALLDATALOAD
00001d1e: SWAP1
00001d1f: CALLER
00001d20: PUSH2 0x2c9b
00001d23: JUMP
00001d24: JUMPDEST
00001d25: PUSH1 0x20
00001d27: PUSH1 0x40
00001d29: MLOAD
00001d2a: PUSH1 0x01
00001d2c: DUP2
00001d2d: MSTORE
00001d2e: RETURN
00001d2f: JUMPDEST
00001d30: CALLVALUE
00001d31: PUSH2 0x0409
00001d34: JUMPI
00001d35: PUSH0
00001d36: CALLDATASIZE
00001d37: PUSH1 0x03
00001d39: NOT
00001d3a: ADD
00001d3b: SLT
00001d3c: PUSH2 0x0409
00001d3f: JUMPI
00001d40: PUSH1 0x0c
00001d42: SLOAD
00001d43: PUSH1 0x40
00001d45: MLOAD
00001d46: PUSH1 0x01
00001d48: PUSH1 0x01
00001d4a: PUSH1 0xa0
00001d4c: SHL
00001d4d: SUB
00001d4e: SWAP1
00001d4f: SWAP2
00001d50: AND
00001d51: DUP2
00001d52: MSTORE
00001d53: PUSH1 0x20
00001d55: SWAP1
00001d56: RETURN
00001d57: JUMPDEST
00001d58: CALLVALUE
00001d59: PUSH2 0x0409
00001d5c: JUMPI
00001d5d: PUSH0
00001d5e: CALLDATASIZE
00001d5f: PUSH1 0x03
00001d61: NOT
00001d62: ADD
00001d63: SLT
00001d64: PUSH2 0x0409
00001d67: JUMPI
00001d68: PUSH1 0x02
00001d6a: SLOAD
00001d6b: PUSH1 0x40
00001d6d: MLOAD
00001d6e: PUSH1 0x01
00001d70: PUSH1 0x01
00001d72: PUSH1 0xa0
00001d74: SHL
00001d75: SUB
00001d76: SWAP1
00001d77: SWAP2
00001d78: AND
00001d79: DUP2
00001d7a: MSTORE
00001d7b: PUSH1 0x20
00001d7d: SWAP1
00001d7e: RETURN
00001d7f: JUMPDEST
00001d80: SWAP1
00001d81: PUSH1 0x20
00001d83: PUSH1 0x03
00001d85: NOT
00001d86: DUP4
00001d87: ADD
00001d88: SLT
00001d89: PUSH2 0x0409
00001d8c: JUMPI
00001d8d: PUSH1 0x04
00001d8f: CALLDATALOAD
00001d90: PUSH1 0x01
00001d92: PUSH1 0x01
00001d94: PUSH1 0x40
00001d96: SHL
00001d97: SUB
00001d98: SWAP3
00001d99: DUP4
00001d9a: DUP3
00001d9b: GT
00001d9c: PUSH2 0x0409
00001d9f: JUMPI
00001da0: DUP1
00001da1: PUSH1 0x23
00001da3: DUP4
00001da4: ADD
00001da5: SLT
00001da6: ISZERO
00001da7: PUSH2 0x0409
00001daa: JUMPI
00001dab: DUP2
00001dac: PUSH1 0x04
00001dae: ADD
00001daf: CALLDATALOAD
00001db0: SWAP4
00001db1: DUP5
00001db2: GT
00001db3: PUSH2 0x0409
00001db6: JUMPI
00001db7: PUSH1 0x24
00001db9: DUP5
00001dba: PUSH1 0x05
00001dbc: SHL
00001dbd: DUP4
00001dbe: ADD
00001dbf: ADD
00001dc0: GT
00001dc1: PUSH2 0x0409
00001dc4: JUMPI
00001dc5: PUSH1 0x24
00001dc7: ADD
00001dc8: SWAP2
00001dc9: SWAP1
00001dca: JUMP
00001dcb: JUMPDEST
00001dcc: CALLVALUE
00001dcd: PUSH2 0x0409
00001dd0: JUMPI
00001dd1: PUSH2 0x1dd9
00001dd4: CALLDATASIZE
00001dd5: PUSH2 0x1d7f
00001dd8: JUMP
00001dd9: JUMPDEST
00001dda: SWAP1
00001ddb: PUSH2 0x1de2
00001dde: PUSH2 0x2db2
00001de1: JUMP
00001de2: JUMPDEST
00001de3: PUSH2 0x1deb
00001de6: DUP3
00001de7: PUSH2 0x2810
00001dea: JUMP
00001deb: JUMPDEST
00001dec: SWAP1
00001ded: PUSH1 0x40
00001def: PUSH2 0x1dfb
00001df2: PUSH1 0x40
00001df4: MLOAD
00001df5: SWAP4
00001df6: DUP5
00001df7: PUSH2 0x13ac
00001dfa: JUMP
00001dfb: JUMPDEST
00001dfc: DUP4
00001dfd: DUP4
00001dfe: MSTORE
00001dff: PUSH1 0x20
00001e01: SWAP4
00001e02: DUP5
00001e03: DUP5
00001e04: ADD
00001e05: SWAP1
00001e06: PUSH1 0x05
00001e08: SHL
00001e09: DUP4
00001e0a: ADD
00001e0b: SWAP3
00001e0c: CALLDATASIZE
00001e0d: DUP5
00001e0e: GT
00001e0f: PUSH2 0x0409
00001e12: JUMPI
00001e13: DUP1
00001e14: SWAP2
00001e15: JUMPDEST
00001e16: DUP5
00001e17: DUP4
00001e18: LT
00001e19: PUSH2 0x1e25
00001e1c: JUMPI
00001e1d: PUSH2 0x0d7d
00001e20: DUP7
00001e21: PUSH2 0x3371
00001e24: JUMP
00001e25: JUMPDEST
00001e26: PUSH1 0x01
00001e28: PUSH1 0x01
00001e2a: PUSH1 0x40
00001e2c: SHL
00001e2d: SUB
00001e2e: SWAP1
00001e2f: DUP4
00001e30: CALLDATALOAD
00001e31: DUP3
00001e32: DUP2
00001e33: GT
00001e34: PUSH2 0x0409
00001e37: JUMPI
00001e38: DUP4
00001e39: ADD
00001e3a: SWAP2
00001e3b: PUSH1 0x60
00001e3d: DUP4
00001e3e: CALLDATASIZE
00001e3f: SUB
00001e40: SLT
00001e41: PUSH2 0x0409
00001e44: JUMPI
00001e45: DUP6
00001e46: MLOAD
00001e47: SWAP3
00001e48: PUSH2 0x1e50
00001e4b: DUP5
00001e4c: PUSH2 0x1343
00001e4f: JUMP
00001e50: JUMPDEST
00001e51: DUP1
00001e52: CALLDATALOAD
00001e53: PUSH2 0x1e5b
00001e56: DUP2
00001e57: PUSH2 0x0edb
00001e5a: JUMP
00001e5b: JUMPDEST
00001e5c: DUP5
00001e5d: MSTORE
00001e5e: PUSH2 0x1e68
00001e61: DUP11
00001e62: DUP3
00001e63: ADD
00001e64: PUSH2 0x1257
00001e67: JUMP
00001e68: JUMPDEST
00001e69: DUP11
00001e6a: DUP6
00001e6b: ADD
00001e6c: MSTORE
00001e6d: DUP7
00001e6e: DUP2
00001e6f: ADD
00001e70: CALLDATALOAD
00001e71: SWAP2
00001e72: DUP3
00001e73: GT
00001e74: PUSH2 0x0409
00001e77: JUMPI
00001e78: ADD
00001e79: SWAP1
00001e7a: CALLDATASIZE
00001e7b: PUSH1 0x1f
00001e7d: DUP4
00001e7e: ADD
00001e7f: SLT
00001e80: ISZERO
00001e81: PUSH2 0x0409
00001e84: JUMPI
00001e85: DUP9
00001e86: SWAP3
00001e87: PUSH2 0x1e97
00001e8a: DUP5
00001e8b: SWAP4
00001e8c: CALLDATASIZE
00001e8d: SWAP1
00001e8e: DUP6
00001e8f: DUP2
00001e90: CALLDATALOAD
00001e91: SWAP2
00001e92: ADD
00001e93: PUSH2 0x28ef
00001e96: JUMP
00001e97: JUMPDEST
00001e98: DUP8
00001e99: DUP3
00001e9a: ADD
00001e9b: MSTORE
00001e9c: DUP2
00001e9d: MSTORE
00001e9e: ADD
00001e9f: SWAP3
00001ea0: ADD
00001ea1: SWAP2
00001ea2: PUSH2 0x1e15
00001ea5: JUMP
00001ea6: JUMPDEST
00001ea7: CALLVALUE
00001ea8: PUSH2 0x0409
00001eab: JUMPI
00001eac: PUSH1 0x20
00001eae: CALLDATASIZE
00001eaf: PUSH1 0x03
00001eb1: NOT
00001eb2: ADD
00001eb3: SLT
00001eb4: PUSH2 0x0409
00001eb7: JUMPI
00001eb8: PUSH4 0xffffffff
00001ebd: PUSH1 0x04
00001ebf: CALLDATALOAD
00001ec0: PUSH2 0x1ec8
00001ec3: DUP2
00001ec4: PUSH2 0x0edb
00001ec7: JUMP
00001ec8: JUMPDEST
00001ec9: AND
00001eca: PUSH0
00001ecb: MSTORE
00001ecc: PUSH1 0x01
00001ece: PUSH1 0x20
00001ed0: MSTORE
00001ed1: PUSH1 0x20
00001ed3: PUSH1 0x40
00001ed5: PUSH0
00001ed6: KECCAK256
00001ed7: SLOAD
00001ed8: PUSH1 0x40
00001eda: MLOAD
00001edb: SWAP1
00001edc: DUP2
00001edd: MSTORE
00001ede: RETURN
00001edf: JUMPDEST
00001ee0: CALLVALUE
00001ee1: PUSH2 0x0409
00001ee4: JUMPI
00001ee5: PUSH1 0x60
00001ee7: CALLDATASIZE
00001ee8: PUSH1 0x03
00001eea: NOT
00001eeb: ADD
00001eec: SLT
00001eed: PUSH2 0x0409
00001ef0: JUMPI
00001ef1: PUSH1 0x04
00001ef3: CALLDATALOAD
00001ef4: PUSH2 0x1efc
00001ef7: DUP2
00001ef8: PUSH2 0x0edb
00001efb: JUMP
00001efc: JUMPDEST
00001efd: PUSH2 0x1f04
00001f00: PUSH2 0x1246
00001f03: JUMP
00001f04: JUMPDEST
00001f05: PUSH1 0x44
00001f07: CALLDATALOAD
00001f08: SWAP1
00001f09: PUSH1 0x01
00001f0b: PUSH1 0x01
00001f0d: PUSH1 0x40
00001f0f: SHL
00001f10: SUB
00001f11: DUP3
00001f12: GT
00001f13: PUSH2 0x0409
00001f16: JUMPI
00001f17: PUSH2 0x04c0
00001f1a: SWAP3
00001f1b: PUSH2 0x1f2b
00001f1e: PUSH2 0x1434
00001f21: SWAP4
00001f22: CALLDATASIZE
00001f23: SWAP1
00001f24: PUSH1 0x04
00001f26: ADD
00001f27: PUSH2 0x0882
00001f2a: JUMP
00001f2b: JUMPDEST
00001f2c: SWAP3
00001f2d: SWAP1
00001f2e: SWAP2
00001f2f: PUSH2 0x29ae
00001f32: JUMP
00001f33: JUMPDEST
00001f34: PUSH2 0x1f3c
00001f37: CALLDATASIZE
00001f38: PUSH2 0x1d7f
00001f3b: JUMP
00001f3c: JUMPDEST
00001f3d: PUSH0
00001f3e: JUMPDEST
00001f3f: DUP2
00001f40: DUP2
00001f41: LT
00001f42: PUSH2 0x1fa7
00001f45: JUMPI
00001f46: PUSH1 0x40
00001f48: MLOAD
00001f49: PUSH4 0x8e9e7099
00001f4e: PUSH1 0xe0
00001f50: SHL
00001f51: DUP2
00001f52: MSTORE
00001f53: PUSH0
00001f54: DUP2
00001f55: PUSH1 0x04
00001f57: DUP2
00001f58: CALLER
00001f59: GAS
00001f5a: STATICCALL
00001f5b: DUP1
00001f5c: ISZERO
00001f5d: PUSH2 0x07fa
00001f60: JUMPI
00001f61: PUSH2 0x0add
00001f64: SWAP2
00001f65: PUSH0
00001f66: SWAP2
00001f67: PUSH2 0x1f85
00001f6a: JUMPI
00001f6b: JUMPDEST
00001f6c: POP
00001f6d: PUSH1 0x40
00001f6f: MLOAD
00001f70: PUSH4 0x8351eea7
00001f75: PUSH1 0xe0
00001f77: SHL
00001f78: DUP2
00001f79: MSTORE
00001f7a: SWAP2
00001f7b: DUP3
00001f7c: SWAP2
00001f7d: PUSH1 0x04
00001f7f: DUP4
00001f80: ADD
00001f81: PUSH2 0x0453
00001f84: JUMP
00001f85: JUMPDEST
00001f86: PUSH2 0x1fa1
00001f89: SWAP2
00001f8a: POP
00001f8b: RETURNDATASIZE
00001f8c: DUP1
00001f8d: PUSH0
00001f8e: DUP4
00001f8f: RETURNDATACOPY
00001f90: PUSH2 0x1f99
00001f93: DUP2
00001f94: DUP4
00001f95: PUSH2 0x13ac
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: DUP2
00001f9b: ADD
00001f9c: SWAP1
00001f9d: PUSH2 0x2b53
00001fa0: JUMP
00001fa1: JUMPDEST
00001fa2: DUP3
00001fa3: PUSH2 0x1f6b
00001fa6: JUMP
00001fa7: JUMPDEST
00001fa8: PUSH2 0x1fb2
00001fab: DUP2
00001fac: DUP4
00001fad: DUP6
00001fae: PUSH2 0x2a64
00001fb1: JUMP
00001fb2: JUMPDEST
00001fb3: SWAP1
00001fb4: PUSH2 0x1fde
00001fb7: PUSH2 0x1191
00001fba: PUSH2 0x1fc2
00001fbd: DUP5
00001fbe: PUSH2 0x2849
00001fc1: JUMP
00001fc2: JUMPDEST
00001fc3: PUSH1 0x20
00001fc5: DUP6
00001fc6: ADD
00001fc7: CALLDATALOAD
00001fc8: SWAP1
00001fc9: PUSH4 0xffffffff
00001fce: AND
00001fcf: PUSH0
00001fd0: MSTORE
00001fd1: PUSH1 0x01
00001fd3: PUSH1 0x20
00001fd5: MSTORE
00001fd6: PUSH1 0x40
00001fd8: PUSH0
00001fd9: KECCAK256
00001fda: SLOAD
00001fdb: EQ
00001fdc: SWAP1
00001fdd: JUMP
00001fde: JUMPDEST
00001fdf: PUSH2 0x2072
00001fe2: JUMPI
00001fe3: PUSH2 0x1ff0
00001fe6: PUSH2 0x0100
00001fe9: DUP4
00001fea: ADD
00001feb: DUP4
00001fec: PUSH2 0x2a8c
00001fef: JUMP
00001ff0: JUMPDEST
00001ff1: SWAP3
00001ff2: PUSH2 0x1ffd
00001ff5: PUSH1 0xe0
00001ff7: DUP3
00001ff8: ADD
00001ff9: PUSH2 0x2abe
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: SWAP1
00001fff: PUSH2 0x200c
00002002: PUSH2 0x0120
00002005: DUP3
00002006: ADD
00002007: DUP3
00002008: PUSH2 0x2a8c
0000200b: JUMP
0000200c: JUMPDEST
0000200d: SWAP6
0000200e: SWAP1
0000200f: SWAP6
00002010: ADDRESS
00002011: EXTCODESIZE
00002012: ISZERO
00002013: PUSH2 0x0409
00002016: JUMPI
00002017: PUSH0
00002018: SWAP5
00002019: PUSH2 0x2041
0000201c: PUSH1 0xc0
0000201e: SWAP3
0000201f: PUSH1 0x40
00002021: MLOAD
00002022: SWAP10
00002023: DUP11
00002024: SWAP8
00002025: DUP9
00002026: SWAP7
00002027: DUP8
00002028: SWAP6
00002029: PUSH4 0x34116837
0000202e: PUSH1 0xe2
00002030: SHL
00002031: DUP8
00002032: MSTORE
00002033: PUSH1 0xa0
00002035: DUP11
00002036: ADD
00002037: CALLDATALOAD
00002038: DUP11
00002039: PUSH1 0x04
0000203b: DUP10
0000203c: ADD
0000203d: PUSH2 0x2ad9
00002040: JUMP
00002041: JUMPDEST
00002042: SUB
00002043: SWAP3
00002044: ADD
00002045: CALLDATALOAD
00002046: ADDRESS
00002047: GAS
00002048: CALL
00002049: SWAP2
0000204a: DUP3
0000204b: ISZERO
0000204c: PUSH2 0x07fa
0000204f: JUMPI
00002050: PUSH1 0x01
00002052: SWAP3
00002053: PUSH2 0x205f
00002056: JUMPI
00002057: JUMPDEST
00002058: POP
00002059: JUMPDEST
0000205a: ADD
0000205b: PUSH2 0x1f3e
0000205e: JUMP
0000205f: JUMPDEST
00002060: DUP1
00002061: PUSH2 0x0aa0
00002064: PUSH2 0x206c
00002067: SWAP3
00002068: PUSH2 0x1363
0000206b: JUMP
0000206c: JUMPDEST
0000206d: PUSH0
0000206e: PUSH2 0x2057
00002071: JUMP
00002072: JUMPDEST
00002073: PUSH1 0x01
00002075: SWAP2
00002076: POP
00002077: PUSH2 0x2059
0000207a: JUMP
0000207b: JUMPDEST
0000207c: CALLVALUE
0000207d: PUSH2 0x0409
00002080: JUMPI
00002081: PUSH1 0x40
00002083: CALLDATASIZE
00002084: PUSH1 0x03
00002086: NOT
00002087: ADD
00002088: SLT
00002089: PUSH2 0x0409
0000208c: JUMPI
0000208d: PUSH1 0x04
0000208f: CALLDATALOAD
00002090: PUSH2 0x2098
00002093: DUP2
00002094: PUSH2 0x0547
00002097: JUMP
00002098: JUMPDEST
00002099: PUSH2 0x20a0
0000209c: PUSH2 0x17d4
0000209f: JUMP
000020a0: JUMPDEST
000020a1: SWAP1
000020a2: PUSH2 0x20a9
000020a5: PUSH2 0x2ddd
000020a8: JUMP
000020a9: JUMPDEST
000020aa: PUSH1 0x0c
000020ac: SLOAD
000020ad: PUSH1 0x01
000020af: PUSH1 0x01
000020b1: PUSH1 0xa0
000020b3: SHL
000020b4: SUB
000020b5: SWAP1
000020b6: DUP2
000020b7: AND
000020b8: CALLER
000020b9: SUB
000020ba: PUSH2 0x0e39
000020bd: JUMPI
000020be: PUSH1 0x01
000020c0: PUSH1 0x01
000020c2: PUSH1 0xe0
000020c4: SHL
000020c5: SUB
000020c6: DUP4
000020c7: AND
000020c8: SWAP2
000020c9: DUP3
000020ca: ISZERO
000020cb: PUSH2 0x0ec9
000020ce: JUMPI
000020cf: PUSH2 0x2155
000020d2: PUSH2 0x18fe
000020d5: DUP5
000020d6: PUSH2 0x2100
000020d9: PUSH32 0x69214d191a9e2c11156aedc11f80105e29875ef3eacdde4b6e9f08bfe162dfdb
000020fa: SWAP7
000020fb: ADDRESS
000020fc: PUSH2 0x2e96
000020ff: JUMP
00002100: JUMPDEST
00002101: PUSH2 0x18f6
00002104: PUSH2 0x2124
00002107: DUP9
00002108: PUSH2 0x1881
0000210b: PUSH2 0x1874
0000210e: DUP9
0000210f: PUSH1 0x01
00002111: DUP1
00002112: PUSH1 0xa0
00002114: SHL
00002115: SUB
00002116: AND
00002117: PUSH0
00002118: MSTORE
00002119: PUSH1 0x0d
0000211b: PUSH1 0x20
0000211d: MSTORE
0000211e: PUSH1 0x40
00002120: PUSH0
00002121: KECCAK256
00002122: SWAP1
00002123: JUMP
00002124: JUMPDEST
00002125: PUSH1 0x0b
00002127: SLOAD
00002128: PUSH2 0x2139
0000212b: SWAP1
0000212c: PUSH1 0xa0
0000212e: SHR
0000212f: PUSH4 0xffffffff
00002134: AND
00002135: PUSH2 0x1897
00002138: JUMP
00002139: JUMPDEST
0000213a: PUSH1 0x01
0000213c: PUSH1 0x01
0000213e: PUSH1 0xa0
00002140: SHL
00002141: SUB
00002142: DUP7
00002143: AND
00002144: PUSH0
00002145: SWAP1
00002146: DUP2
00002147: MSTORE
00002148: PUSH1 0x0d
0000214a: PUSH1 0x20
0000214c: MSTORE
0000214d: PUSH1 0x40
0000214f: SWAP1
00002150: KECCAK256
00002151: PUSH2 0x18cd
00002154: JUMP
00002155: JUMPDEST
00002156: PUSH1 0x0b
00002158: SLOAD
00002159: PUSH1 0x40
0000215b: DUP1
0000215c: MLOAD
0000215d: PUSH1 0x01
0000215f: PUSH1 0x01
00002161: PUSH1 0xe0
00002163: SHL
00002164: SUB
00002165: SWAP7
00002166: SWAP1
00002167: SWAP7
00002168: AND
00002169: DUP7
0000216a: MSTORE
0000216b: PUSH1 0xa0
0000216d: SWAP2
0000216e: SWAP1
0000216f: SWAP2
00002170: SHR
00002171: PUSH4 0xffffffff
00002176: AND
00002177: PUSH1 0x20
00002179: DUP7
0000217a: ADD
0000217b: MSTORE
0000217c: SWAP2
0000217d: AND
0000217e: SWAP3
0000217f: SWAP1
00002180: DUP2
00002181: SWAP1
00002182: DUP2
00002183: ADD
00002184: PUSH2 0x1962
00002187: JUMP
00002188: JUMPDEST
00002189: CALLVALUE
0000218a: PUSH2 0x0409
0000218d: JUMPI
0000218e: PUSH1 0x40
00002190: CALLDATASIZE
00002191: PUSH1 0x03
00002193: NOT
00002194: ADD
00002195: SLT
00002196: PUSH2 0x0409
00002199: JUMPI
0000219a: PUSH1 0x04
0000219c: CALLDATALOAD
0000219d: PUSH2 0x21a5
000021a0: DUP2
000021a1: PUSH2 0x0547
000021a4: JUMP
000021a5: JUMPDEST
000021a6: PUSH1 0x0c
000021a8: SLOAD
000021a9: PUSH1 0x24
000021ab: CALLDATALOAD
000021ac: SWAP2
000021ad: PUSH1 0x01
000021af: PUSH1 0x01
000021b1: PUSH1 0xa0
000021b3: SHL
000021b4: SUB
000021b5: SWAP2
000021b6: DUP3
000021b7: AND
000021b8: CALLER
000021b9: SUB
000021ba: PUSH2 0x0e39
000021bd: JUMPI
000021be: PUSH32 0xffb73e7f272503f7f95a05a3a748beaef6216eb560391e2f075d54a5d5b57456
000021df: SWAP2
000021e0: DUP2
000021e1: PUSH2 0x0e2e
000021e4: DUP6
000021e5: PUSH1 0x20
000021e7: SWAP5
000021e8: PUSH2 0x3143
000021eb: JUMP
000021ec: JUMPDEST
000021ed: SWAP2
000021ee: PUSH1 0x80
000021f0: PUSH2 0x0697
000021f3: SWAP3
000021f4: SWAP5
000021f5: SWAP4
000021f6: PUSH2 0x222c
000021f9: PUSH1 0x40
000021fb: PUSH1 0xc0
000021fd: DUP4
000021fe: ADD
000021ff: SWAP8
00002200: DUP1
00002201: MLOAD
00002202: DUP5
00002203: MSTORE
00002204: PUSH1 0x01
00002206: PUSH1 0x01
00002208: PUSH1 0x40
0000220a: SHL
0000220b: SUB
0000220c: PUSH1 0x20
0000220e: DUP3
0000220f: ADD
00002210: MLOAD
00002211: AND
00002212: PUSH1 0x20
00002214: DUP6
00002215: ADD
00002216: MSTORE
00002217: ADD
00002218: MLOAD
00002219: PUSH1 0x40
0000221b: DUP4
0000221c: ADD
0000221d: SWAP1
0000221e: PUSH1 0x20
00002220: DUP1
00002221: SWAP2
00002222: DUP1
00002223: MLOAD
00002224: DUP5
00002225: MSTORE
00002226: ADD
00002227: MLOAD
00002228: SWAP2
00002229: ADD
0000222a: MSTORE
0000222b: JUMP
0000222c: JUMPDEST
0000222d: ADD
0000222e: SWAP1
0000222f: PUSH1 0x20
00002231: DUP1
00002232: SWAP2
00002233: DUP1
00002234: MLOAD
00002235: DUP5
00002236: MSTORE
00002237: ADD
00002238: MLOAD
00002239: SWAP2
0000223a: ADD
0000223b: MSTORE
0000223c: JUMP
0000223d: JUMPDEST
0000223e: PUSH1 0x80
00002240: CALLDATASIZE
00002241: PUSH1 0x03
00002243: NOT
00002244: ADD
00002245: SLT
00002246: PUSH2 0x0409
00002249: JUMPI
0000224a: PUSH1 0x04
0000224c: CALLDATALOAD
0000224d: PUSH1 0x01
0000224f: PUSH1 0x01
00002251: PUSH1 0x40
00002253: SHL
00002254: SUB
00002255: DUP2
00002256: GT
00002257: PUSH2 0x0409
0000225a: JUMPI
0000225b: PUSH2 0x2268
0000225e: SWAP1
0000225f: CALLDATASIZE
00002260: SWAP1
00002261: PUSH1 0x04
00002263: ADD
00002264: PUSH2 0x0621
00002267: JUMP
00002268: JUMPDEST
00002269: PUSH1 0x40
0000226b: CALLDATASIZE
0000226c: PUSH1 0x23
0000226e: NOT
0000226f: ADD
00002270: SLT
00002271: PUSH2 0x0409
00002274: JUMPI
00002275: PUSH1 0x64
00002277: CALLDATALOAD
00002278: PUSH2 0x2280
0000227b: DUP2
0000227c: PUSH2 0x0547
0000227f: JUMP
00002280: JUMPDEST
00002281: PUSH2 0x2288
00002284: PUSH2 0x2bb1
00002287: JUMP
00002288: JUMPDEST
00002289: POP
0000228a: PUSH2 0x2291
0000228d: PUSH2 0x27c9
00002290: JUMP
00002291: JUMPDEST
00002292: POP
00002293: PUSH2 0x229a
00002296: PUSH2 0x2bb1
00002299: JUMP
0000229a: JUMPDEST
0000229b: POP
0000229c: PUSH2 0x22a3
0000229f: PUSH2 0x27c9
000022a2: JUMP
000022a3: JUMPDEST
000022a4: POP
000022a5: PUSH1 0x60
000022a7: DUP3
000022a8: ADD
000022a9: CALLDATALOAD
000022aa: SWAP1
000022ab: PUSH2 0x22b4
000022ae: DUP4
000022af: CALLDATALOAD
000022b0: PUSH2 0x0edb
000022b3: JUMP
000022b4: JUMPDEST
000022b5: PUSH2 0x22e6
000022b8: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
000022d9: PUSH2 0x1029
000022dc: DUP2
000022dd: PUSH1 0x40
000022df: DUP8
000022e0: ADD
000022e1: CALLDATALOAD
000022e2: PUSH2 0x34c5
000022e5: JUMP
000022e6: JUMPDEST
000022e7: SWAP2
000022e8: DUP1
000022e9: DUP4
000022ea: LT
000022eb: PUSH2 0x239b
000022ee: JUMPI
000022ef: POP
000022f0: PUSH2 0x2320
000022f3: SWAP1
000022f4: PUSH2 0x22fd
000022f7: DUP4
000022f8: CALLER
000022f9: PUSH2 0x2e96
000022fc: JUMP
000022fd: JUMPDEST
000022fe: PUSH2 0x2307
00002301: DUP4
00002302: DUP6
00002303: PUSH2 0x2f8b
00002306: JUMP
00002307: JUMPDEST
00002308: PUSH2 0x2310
0000230b: DUP7
0000230c: PUSH2 0x2849
0000230f: JUMP
00002310: JUMPDEST
00002311: SWAP2
00002312: PUSH2 0x231a
00002315: CALLDATASIZE
00002316: PUSH2 0x3465
00002319: JUMP
0000231a: JUMPDEST
0000231b: SWAP3
0000231c: PUSH2 0x370c
0000231f: JUMP
00002320: JUMPDEST
00002321: SWAP1
00002322: PUSH2 0x2329
00002325: PUSH2 0x27af
00002328: JUMP
00002329: JUMPDEST
0000232a: SWAP3
0000232b: DUP2
0000232c: DUP5
0000232d: MSTORE
0000232e: DUP2
0000232f: PUSH1 0x20
00002331: DUP6
00002332: ADD
00002333: MSTORE
00002334: PUSH32 0x85496b760a4b7f8d66384b9df21b381f5d1b1e79f229a47aaf4c232edc2fe59a
00002355: PUSH2 0x2389
00002358: PUSH2 0x2362
0000235b: DUP6
0000235c: MLOAD
0000235d: SWAP4
0000235e: PUSH2 0x2849
00002361: JUMP
00002362: JUMPDEST
00002363: SWAP4
00002364: PUSH1 0x40
00002366: MLOAD
00002367: SWAP2
00002368: DUP2
00002369: DUP4
0000236a: SWAP3
0000236b: CALLER
0000236c: SWAP8
0000236d: DUP5
0000236e: PUSH1 0x40
00002370: SWAP2
00002371: SWAP5
00002372: SWAP4
00002373: SWAP3
00002374: PUSH4 0xffffffff
00002379: PUSH1 0x60
0000237b: DUP4
0000237c: ADD
0000237d: SWAP7
0000237e: AND
0000237f: DUP3
00002380: MSTORE
00002381: PUSH1 0x20
00002383: DUP3
00002384: ADD
00002385: MSTORE
00002386: ADD
00002387: MSTORE
00002388: JUMP
00002389: JUMPDEST
0000238a: SUB
0000238b: SWAP1
0000238c: LOG3
0000238d: PUSH2 0x04c0
00002390: PUSH1 0x40
00002392: MLOAD
00002393: SWAP3
00002394: DUP4
00002395: SWAP3
00002396: DUP4
00002397: PUSH2 0x21ec
0000239a: JUMP
0000239b: JUMPDEST
0000239c: DUP3
0000239d: PUSH1 0x44
0000239f: SWAP2
000023a0: PUSH1 0x40
000023a2: MLOAD
000023a3: SWAP2
000023a4: PUSH4 0x71c4efed
000023a9: PUSH1 0xe0
000023ab: SHL
000023ac: DUP4
000023ad: MSTORE
000023ae: PUSH1 0x04
000023b0: DUP4
000023b1: ADD
000023b2: MSTORE
000023b3: PUSH1 0x24
000023b5: DUP3
000023b6: ADD
000023b7: MSTORE
000023b8: REVERT
000023b9: JUMPDEST
000023ba: CALLVALUE
000023bb: PUSH2 0x0409
000023be: JUMPI
000023bf: PUSH0
000023c0: PUSH1 0x20
000023c2: CALLDATASIZE
000023c3: PUSH1 0x03
000023c5: NOT
000023c6: ADD
000023c7: SLT
000023c8: PUSH2 0x0409
000023cb: JUMPI
000023cc: PUSH1 0x04
000023ce: CALLDATALOAD
000023cf: PUSH2 0x23d7
000023d2: DUP2
000023d3: PUSH2 0x0547
000023d6: JUMP
000023d7: JUMPDEST
000023d8: PUSH2 0x23df
000023db: PUSH2 0x2db2
000023de: JUMP
000023df: JUMPDEST
000023e0: PUSH1 0x01
000023e2: PUSH1 0x01
000023e4: PUSH1 0xa0
000023e6: SHL
000023e7: SUB
000023e8: PUSH32 0x0000000000000000000000001a44076050125825900e736c501f859c50fe728c
00002409: DUP2
0000240a: AND
0000240b: SWAP2
0000240c: SWAP1
0000240d: DUP3
0000240e: EXTCODESIZE
0000240f: ISZERO
00002410: PUSH2 0x0409
00002413: JUMPI
00002414: PUSH1 0x24
00002416: PUSH0
00002417: SWAP3
00002418: DUP4
00002419: PUSH1 0x40
0000241b: MLOAD
0000241c: SWAP6
0000241d: DUP7
0000241e: SWAP5
0000241f: DUP6
00002420: SWAP4
00002421: PUSH4 0xca5eb5e1
00002426: PUSH1 0xe0
00002428: SHL
00002429: DUP6
0000242a: MSTORE
0000242b: AND
0000242c: PUSH1 0x04
0000242e: DUP5
0000242f: ADD
00002430: MSTORE
00002431: GAS
00002432: CALL
00002433: DUP1
00002434: ISZERO
00002435: PUSH2 0x07fa
00002438: JUMPI
00002439: PUSH2 0x2440
0000243c: JUMPI
0000243d: POP
0000243e: DUP1
0000243f: RETURN
00002440: JUMPDEST
00002441: PUSH2 0x0d7d
00002444: SWAP2
00002445: POP
00002446: PUSH2 0x1363
00002449: JUMP
0000244a: JUMPDEST
0000244b: PUSH2 0x2453
0000244e: CALLDATASIZE
0000244f: PUSH2 0x08af
00002452: JUMP
00002453: JUMPDEST
00002454: POP
00002455: POP
00002456: POP
00002457: SWAP3
00002458: SWAP1
00002459: ADDRESS
0000245a: CALLER
0000245b: SUB
0000245c: PUSH2 0x2591
0000245f: JUMPI
00002460: PUSH2 0x246c
00002463: PUSH2 0x0988
00002466: DUP6
00002467: DUP4
00002468: PUSH2 0x34f6
0000246b: JUMP
0000246c: JUMPDEST
0000246d: SWAP4
0000246e: PUSH2 0x248d
00002471: PUSH2 0x247d
00002474: PUSH2 0x09a5
00002477: DUP4
00002478: DUP6
00002479: PUSH2 0x3502
0000247c: JUMP
0000247d: JUMPDEST
0000247e: PUSH2 0x2486
00002481: DUP6
00002482: PUSH2 0x2849
00002485: JUMP
00002486: JUMPDEST
00002487: POP
00002488: DUP7
00002489: PUSH2 0x3548
0000248c: JUMP
0000248d: JUMPDEST
0000248e: SWAP2
0000248f: PUSH1 0x28
00002491: DUP3
00002492: GT
00002493: PUSH2 0x24dc
00002496: JUMPI
00002497: JUMPDEST
00002498: POP
00002499: POP
0000249a: PUSH2 0x24b0
0000249d: PUSH0
0000249e: DUP1
0000249f: MLOAD
000024a0: PUSH1 0x20
000024a2: PUSH2 0x38b5
000024a5: DUP4
000024a6: CODECOPY
000024a7: DUP2
000024a8: MLOAD
000024a9: SWAP2
000024aa: MSTORE
000024ab: SWAP3
000024ac: PUSH2 0x2849
000024af: JUMP
000024b0: JUMPDEST
000024b1: PUSH1 0x40
000024b3: DUP1
000024b4: MLOAD
000024b5: PUSH4 0xffffffff
000024ba: SWAP1
000024bb: SWAP3
000024bc: AND
000024bd: DUP3
000024be: MSTORE
000024bf: PUSH1 0x20
000024c1: DUP3
000024c2: ADD
000024c3: SWAP3
000024c4: SWAP1
000024c5: SWAP3
000024c6: MSTORE
000024c7: PUSH1 0x01
000024c9: PUSH1 0x01
000024cb: PUSH1 0xa0
000024cd: SHL
000024ce: SUB
000024cf: SWAP1
000024d0: SWAP5
000024d1: AND
000024d2: SWAP4
000024d3: SWAP1
000024d4: DUP2
000024d5: SWAP1
000024d6: DUP2
000024d7: ADD
000024d8: PUSH2 0x0a05
000024db: JUMP
000024dc: JUMPDEST
000024dd: SWAP1
000024de: DUP3
000024df: PUSH2 0x24fb
000024e2: SWAP3
000024e3: PUSH2 0x0a2f
000024e6: PUSH2 0x24f1
000024e9: PUSH1 0x40
000024eb: DUP9
000024ec: ADD
000024ed: PUSH2 0x2c67
000024f0: JUMP
000024f1: JUMPDEST
000024f2: SWAP4
000024f3: PUSH2 0x0a29
000024f6: DUP9
000024f7: PUSH2 0x2849
000024fa: JUMP
000024fb: JUMPDEST
000024fc: SWAP2
000024fd: PUSH32 0x0000000000000000000000001a44076050125825900e736c501f859c50fe728c
0000251e: PUSH1 0x01
00002520: PUSH1 0x01
00002522: PUSH1 0xa0
00002524: SHL
00002525: SUB
00002526: AND
00002527: DUP1
00002528: EXTCODESIZE
00002529: ISZERO
0000252a: PUSH2 0x0409
0000252d: JUMPI
0000252e: PUSH1 0x40
00002530: MLOAD
00002531: PUSH4 0x3e5ac809
00002536: PUSH1 0xe1
00002538: SHL
00002539: DUP2
0000253a: MSTORE
0000253b: SWAP4
0000253c: PUSH0
0000253d: SWAP2
0000253e: DUP6
0000253f: SWAP2
00002540: DUP3
00002541: SWAP1
00002542: DUP5
00002543: SWAP1
00002544: DUP3
00002545: SWAP1
00002546: PUSH2 0x2554
00002549: SWAP1
0000254a: DUP12
0000254b: DUP14
0000254c: PUSH1 0x04
0000254e: DUP6
0000254f: ADD
00002550: PUSH2 0x2c71
00002553: JUMP
00002554: JUMPDEST
00002555: SUB
00002556: SWAP3
00002557: GAS
00002558: CALL
00002559: SWAP1
0000255a: DUP2
0000255b: ISZERO
0000255c: PUSH2 0x07fa
0000255f: JUMPI
00002560: PUSH0
00002561: DUP1
00002562: MLOAD
00002563: PUSH1 0x20
00002565: PUSH2 0x38b5
00002568: DUP4
00002569: CODECOPY
0000256a: DUP2
0000256b: MLOAD
0000256c: SWAP2
0000256d: MSTORE
0000256e: SWAP4
0000256f: PUSH2 0x24b0
00002572: SWAP3
00002573: PUSH2 0x257e
00002576: JUMPI
00002577: JUMPDEST
00002578: POP
00002579: SWAP3
0000257a: PUSH2 0x2497
0000257d: JUMP
0000257e: JUMPDEST
0000257f: DUP1
00002580: PUSH2 0x0aa0
00002583: PUSH2 0x258b
00002586: SWAP3
00002587: PUSH2 0x1363
0000258a: JUMP
0000258b: JUMPDEST
0000258c: PUSH0
0000258d: PUSH2 0x2577
00002590: JUMP
00002591: JUMPDEST
00002592: PUSH1 0x40
00002594: MLOAD
00002595: PUSH4 0x029a949d
0000259a: PUSH1 0xe3
0000259c: SHL
0000259d: DUP2
0000259e: MSTORE
0000259f: PUSH1 0x04
000025a1: SWAP1
000025a2: REVERT
000025a3: JUMPDEST
000025a4: CALLVALUE
000025a5: PUSH2 0x0409
000025a8: JUMPI
000025a9: PUSH1 0x20
000025ab: CALLDATASIZE
000025ac: PUSH1 0x03
000025ae: NOT
000025af: ADD
000025b0: SLT
000025b1: PUSH2 0x0409
000025b4: JUMPI
000025b5: PUSH1 0x04
000025b7: CALLDATALOAD
000025b8: PUSH2 0x25c0
000025bb: DUP2
000025bc: PUSH2 0x0547
000025bf: JUMP
000025c0: JUMPDEST
000025c1: PUSH2 0x25c8
000025c4: PUSH2 0x2db2
000025c7: JUMP
000025c8: JUMPDEST
000025c9: PUSH1 0x01
000025cb: PUSH1 0x01
000025cd: PUSH1 0xa0
000025cf: SHL
000025d0: SUB
000025d1: AND
000025d2: DUP1
000025d3: ISZERO
000025d4: PUSH2 0x1786
000025d7: JUMPI
000025d8: PUSH1 0x01
000025da: PUSH1 0x01
000025dc: PUSH1 0x60
000025de: SHL
000025df: SUB
000025e0: PUSH1 0xa0
000025e2: SHL
000025e3: PUSH1 0x0b
000025e5: SLOAD
000025e6: AND
000025e7: OR
000025e8: PUSH1 0x0b
000025ea: SSTORE
000025eb: PUSH0
000025ec: DUP1
000025ed: RETURN
000025ee: JUMPDEST
000025ef: CALLVALUE
000025f0: PUSH2 0x0409
000025f3: JUMPI
000025f4: PUSH1 0x20
000025f6: CALLDATASIZE
000025f7: PUSH1 0x03
000025f9: NOT
000025fa: ADD
000025fb: SLT
000025fc: PUSH2 0x0409
000025ff: JUMPI
00002600: PUSH32 0xd48d879cef83a1c0bdda516f27b13ddb1b3f8bbac1c9e1511bb2a659c2427760
00002621: PUSH1 0x20
00002623: PUSH1 0x04
00002625: CALLDATALOAD
00002626: PUSH2 0x262e
00002629: DUP2
0000262a: PUSH2 0x0547
0000262d: JUMP
0000262e: JUMPDEST
0000262f: PUSH2 0x2636
00002632: PUSH2 0x2db2
00002635: JUMP
00002636: JUMPDEST
00002637: PUSH1 0x02
00002639: DUP1
0000263a: SLOAD
0000263b: PUSH1 0x01
0000263d: PUSH1 0x01
0000263f: PUSH1 0xa0
00002641: SHL
00002642: SUB
00002643: NOT
00002644: AND
00002645: PUSH1 0x01
00002647: PUSH1 0x01
00002649: PUSH1 0xa0
0000264b: SHL
0000264c: SUB
0000264d: SWAP3
0000264e: SWAP1
0000264f: SWAP3
00002650: AND
00002651: SWAP2
00002652: DUP3
00002653: OR
00002654: SWAP1
00002655: SSTORE
00002656: PUSH1 0x40
00002658: MLOAD
00002659: SWAP1
0000265a: DUP2
0000265b: MSTORE
0000265c: LOG1
0000265d: STOP
0000265e: JUMPDEST
0000265f: CALLVALUE
00002660: PUSH2 0x0409
00002663: JUMPI
00002664: PUSH1 0x40
00002666: CALLDATASIZE
00002667: PUSH1 0x03
00002669: NOT
0000266a: ADD
0000266b: SLT
0000266c: PUSH2 0x0409
0000266f: JUMPI
00002670: PUSH1 0x20
00002672: PUSH2 0x26b4
00002675: PUSH1 0x04
00002677: CALLDATALOAD
00002678: PUSH2 0x2680
0000267b: DUP2
0000267c: PUSH2 0x0547
0000267f: JUMP
00002680: JUMPDEST
00002681: PUSH1 0x24
00002683: CALLDATALOAD
00002684: SWAP1
00002685: PUSH2 0x268d
00002688: DUP3
00002689: PUSH2 0x0547
0000268c: JUMP
0000268d: JUMPDEST
0000268e: PUSH1 0x01
00002690: DUP1
00002691: PUSH1 0xa0
00002693: SHL
00002694: SUB
00002695: AND
00002696: PUSH0
00002697: MSTORE
00002698: PUSH1 0x06
0000269a: DUP4
0000269b: MSTORE
0000269c: PUSH1 0x40
0000269e: PUSH0
0000269f: KECCAK256
000026a0: SWAP1
000026a1: PUSH1 0x01
000026a3: DUP1
000026a4: PUSH1 0xa0
000026a6: SHL
000026a7: SUB
000026a8: AND
000026a9: PUSH0
000026aa: MSTORE
000026ab: PUSH1 0x20
000026ad: MSTORE
000026ae: PUSH1 0x40
000026b0: PUSH0
000026b1: KECCAK256
000026b2: SWAP1
000026b3: JUMP
000026b4: JUMPDEST
000026b5: SLOAD
000026b6: PUSH1 0x40
000026b8: MLOAD
000026b9: SWAP1
000026ba: DUP2
000026bb: MSTORE
000026bc: RETURN
000026bd: JUMPDEST
000026be: CALLVALUE
000026bf: PUSH2 0x0409
000026c2: JUMPI
000026c3: PUSH1 0x20
000026c5: CALLDATASIZE
000026c6: PUSH1 0x03
000026c8: NOT
000026c9: ADD
000026ca: SLT
000026cb: PUSH2 0x0409
000026ce: JUMPI
000026cf: PUSH1 0x04
000026d1: CALLDATALOAD
000026d2: PUSH2 0x26da
000026d5: DUP2
000026d6: PUSH2 0x0547
000026d9: JUMP
000026da: JUMPDEST
000026db: PUSH2 0x26e2
000026de: PUSH2 0x2db2
000026e1: JUMP
000026e2: JUMPDEST
000026e3: PUSH1 0x01
000026e5: PUSH1 0x01
000026e7: PUSH1 0xa0
000026e9: SHL
000026ea: SUB
000026eb: SWAP1
000026ec: DUP2
000026ed: AND
000026ee: SWAP1
000026ef: DUP2
000026f0: ISZERO
000026f1: PUSH2 0x272e
000026f4: JUMPI
000026f5: PUSH0
000026f6: SLOAD
000026f7: DUP3
000026f8: PUSH1 0x01
000026fa: PUSH1 0x01
000026fc: PUSH1 0x60
000026fe: SHL
000026ff: SUB
00002700: PUSH1 0xa0
00002702: SHL
00002703: DUP3
00002704: AND
00002705: OR
00002706: PUSH0
00002707: SSTORE
00002708: AND
00002709: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000272a: PUSH0
0000272b: DUP1
0000272c: LOG3
0000272d: STOP
0000272e: JUMPDEST
0000272f: PUSH1 0x40
00002731: MLOAD
00002732: PUSH4 0x1e4fbdf7
00002737: PUSH1 0xe0
00002739: SHL
0000273a: DUP2
0000273b: MSTORE
0000273c: PUSH0
0000273d: PUSH1 0x04
0000273f: DUP3
00002740: ADD
00002741: MSTORE
00002742: PUSH1 0x24
00002744: SWAP1
00002745: REVERT
00002746: JUMPDEST
00002747: CALLVALUE
00002748: PUSH2 0x0409
0000274b: JUMPI
0000274c: PUSH0
0000274d: CALLDATASIZE
0000274e: PUSH1 0x03
00002750: NOT
00002751: ADD
00002752: SLT
00002753: PUSH2 0x0409
00002756: JUMPI
00002757: PUSH1 0x20
00002759: PUSH1 0xff
0000275b: PUSH1 0x0b
0000275d: SLOAD
0000275e: PUSH1 0xc0
00002760: SHR
00002761: AND
00002762: PUSH1 0x40
00002764: MLOAD
00002765: SWAP1
00002766: ISZERO
00002767: ISZERO
00002768: DUP2
00002769: MSTORE
0000276a: RETURN
0000276b: JUMPDEST
0000276c: CALLVALUE
0000276d: PUSH2 0x0409
00002770: JUMPI
00002771: PUSH1 0x60
00002773: CALLDATASIZE
00002774: PUSH1 0x03
00002776: NOT
00002777: ADD
00002778: SLT
00002779: PUSH2 0x0409
0000277c: JUMPI
0000277d: PUSH1 0x20
0000277f: PUSH2 0x2787
00002782: CALLDATASIZE
00002783: PUSH2 0x0871
00002786: JUMP
00002787: JUMPDEST
00002788: PUSH4 0xffffffff
0000278d: DUP2
0000278e: CALLDATALOAD
0000278f: PUSH2 0x2797
00002792: DUP2
00002793: PUSH2 0x0edb
00002796: JUMP
00002797: JUMPDEST
00002798: AND
00002799: PUSH0
0000279a: MSTORE
0000279b: PUSH1 0x01
0000279d: DUP3
0000279e: MSTORE
0000279f: PUSH1 0x40
000027a1: PUSH0
000027a2: KECCAK256
000027a3: SLOAD
000027a4: DUP3
000027a5: PUSH1 0x40
000027a7: MLOAD
000027a8: SWAP3
000027a9: ADD
000027aa: CALLDATALOAD
000027ab: EQ
000027ac: DUP2
000027ad: MSTORE
000027ae: RETURN
000027af: JUMPDEST
000027b0: PUSH1 0x40
000027b2: MLOAD
000027b3: SWAP1
000027b4: PUSH2 0x0697
000027b7: DUP3
000027b8: PUSH2 0x1376
000027bb: JUMP
000027bc: JUMPDEST
000027bd: PUSH1 0x40
000027bf: MLOAD
000027c0: SWAP1
000027c1: PUSH2 0x0697
000027c4: DUP3
000027c5: PUSH2 0x1391
000027c8: JUMP
000027c9: JUMPDEST
000027ca: PUSH1 0x40
000027cc: MLOAD
000027cd: SWAP1
000027ce: PUSH2 0x27d6
000027d1: DUP3
000027d2: PUSH2 0x1376
000027d5: JUMP
000027d6: JUMPDEST
000027d7: PUSH0
000027d8: PUSH1 0x20
000027da: DUP4
000027db: DUP3
000027dc: DUP2
000027dd: MSTORE
000027de: ADD
000027df: MSTORE
000027e0: JUMP
000027e1: JUMPDEST
000027e2: SWAP1
000027e3: DUP2
000027e4: PUSH1 0x20
000027e6: SWAP2
000027e7: SUB
000027e8: SLT
000027e9: PUSH2 0x0409
000027ec: JUMPI
000027ed: MLOAD
000027ee: PUSH2 0x0464
000027f1: DUP2
000027f2: PUSH2 0x0547
000027f5: JUMP
000027f6: JUMPDEST
000027f7: PUSH1 0x40
000027f9: MLOAD
000027fa: RETURNDATASIZE
000027fb: PUSH0
000027fc: DUP3
000027fd: RETURNDATACOPY
000027fe: RETURNDATASIZE
000027ff: SWAP1
00002800: REVERT
00002801: JUMPDEST
00002802: SWAP1
00002803: DUP2
00002804: PUSH1 0x20
00002806: SWAP2
00002807: SUB
00002808: SLT
00002809: PUSH2 0x0409
0000280c: JUMPI
0000280d: MLOAD
0000280e: SWAP1
0000280f: JUMP
00002810: JUMPDEST
00002811: PUSH1 0x01
00002813: PUSH1 0x01
00002815: PUSH1 0x40
00002817: SHL
00002818: SUB
00002819: DUP2
0000281a: GT
0000281b: PUSH2 0x135e
0000281e: JUMPI
0000281f: PUSH1 0x05
00002821: SHL
00002822: PUSH1 0x20
00002824: ADD
00002825: SWAP1
00002826: JUMP
00002827: JUMPDEST
00002828: PUSH1 0x40
0000282a: MLOAD
0000282b: PUSH1 0x20
0000282d: DUP2
0000282e: ADD
0000282f: DUP2
00002830: DUP2
00002831: LT
00002832: PUSH1 0x01
00002834: PUSH1 0x01
00002836: PUSH1 0x40
00002838: SHL
00002839: SUB
0000283a: DUP3
0000283b: GT
0000283c: OR
0000283d: PUSH2 0x135e
00002840: JUMPI
00002841: PUSH1 0x40
00002843: MSTORE
00002844: PUSH0
00002845: DUP2
00002846: MSTORE
00002847: SWAP1
00002848: JUMP
00002849: JUMPDEST
0000284a: CALLDATALOAD
0000284b: PUSH2 0x0464
0000284e: DUP2
0000284f: PUSH2 0x0edb
00002852: JUMP
00002853: JUMPDEST
00002854: PUSH4 0x4e487b71
00002859: PUSH1 0xe0
0000285b: SHL
0000285c: PUSH0
0000285d: MSTORE
0000285e: PUSH1 0x11
00002860: PUSH1 0x04
00002862: MSTORE
00002863: PUSH1 0x24
00002865: PUSH0
00002866: REVERT
00002867: JUMPDEST
00002868: SWAP2
00002869: SWAP1
0000286a: DUP3
0000286b: SUB
0000286c: SWAP2
0000286d: DUP3
0000286e: GT
0000286f: PUSH2 0x1c89
00002872: JUMPI
00002873: JUMP
00002874: JUMPDEST
00002875: SWAP1
00002876: PUSH1 0x01
00002878: PUSH4 0xffffffff
0000287d: DUP1
0000287e: SWAP4
0000287f: AND
00002880: ADD
00002881: SWAP2
00002882: DUP3
00002883: GT
00002884: PUSH2 0x1c89
00002887: JUMPI
00002888: JUMP
00002889: JUMPDEST
0000288a: SWAP2
0000288b: SWAP1
0000288c: DUP3
0000288d: ADD
0000288e: DUP1
0000288f: SWAP3
00002890: GT
00002891: PUSH2 0x1c89
00002894: JUMPI
00002895: JUMP
00002896: JUMPDEST
00002897: SWAP1
00002898: PUSH1 0x40
0000289a: MLOAD
0000289b: PUSH2 0x28a3
0000289e: DUP2
0000289f: PUSH2 0x1376
000028a2: JUMP
000028a3: JUMPDEST
000028a4: SWAP2
000028a5: SLOAD
000028a6: PUSH1 0x01
000028a8: PUSH1 0x01
000028aa: PUSH1 0xe0
000028ac: SHL
000028ad: SUB
000028ae: DUP2
000028af: AND
000028b0: DUP4
000028b1: MSTORE
000028b2: PUSH1 0xe0
000028b4: SHR
000028b5: PUSH1 0x20
000028b7: DUP4
000028b8: ADD
000028b9: MSTORE
000028ba: JUMP
000028bb: JUMPDEST
000028bc: PUSH1 0x01
000028be: PUSH1 0x01
000028c0: PUSH1 0xe0
000028c2: SHL
000028c3: SUB
000028c4: SWAP2
000028c5: DUP3
000028c6: AND
000028c7: SWAP1
000028c8: DUP3
000028c9: AND
000028ca: ADD
000028cb: SWAP2
000028cc: SWAP1
000028cd: DUP3
000028ce: GT
000028cf: PUSH2 0x1c89
000028d2: JUMPI
000028d3: JUMP
000028d4: JUMPDEST
000028d5: PUSH1 0x01
000028d7: PUSH1 0x01
000028d9: PUSH1 0x40
000028db: SHL
000028dc: SUB
000028dd: DUP2
000028de: GT
000028df: PUSH2 0x135e
000028e2: JUMPI
000028e3: PUSH1 0x1f
000028e5: ADD
000028e6: PUSH1 0x1f
000028e8: NOT
000028e9: AND
000028ea: PUSH1 0x20
000028ec: ADD
000028ed: SWAP1
000028ee: JUMP
000028ef: JUMPDEST
000028f0: SWAP3
000028f1: SWAP2
000028f2: SWAP3
000028f3: PUSH2 0x28fb
000028f6: DUP3
000028f7: PUSH2 0x28d4
000028fa: JUMP
000028fb: JUMPDEST
000028fc: SWAP2
000028fd: PUSH2 0x2909
00002900: PUSH1 0x40
00002902: MLOAD
00002903: SWAP4
00002904: DUP5
00002905: PUSH2 0x13ac
00002908: JUMP
00002909: JUMPDEST
0000290a: DUP3
0000290b: SWAP5
0000290c: DUP2
0000290d: DUP5
0000290e: MSTORE
0000290f: DUP2
00002910: DUP4
00002911: ADD
00002912: GT
00002913: PUSH2 0x0409
00002916: JUMPI
00002917: DUP3
00002918: DUP2
00002919: PUSH1 0x20
0000291b: SWAP4
0000291c: DUP5
0000291d: PUSH0
0000291e: SWAP7
0000291f: ADD
00002920: CALLDATACOPY
00002921: ADD
00002922: ADD
00002923: MSTORE
00002924: JUMP
00002925: JUMPDEST
00002926: SWAP1
00002927: SWAP3
00002928: SWAP2
00002929: SWAP3
0000292a: DUP4
0000292b: PUSH1 0x02
0000292d: GT
0000292e: PUSH2 0x0409
00002931: JUMPI
00002932: DUP4
00002933: GT
00002934: PUSH2 0x0409
00002937: JUMPI
00002938: PUSH1 0x02
0000293a: ADD
0000293b: SWAP2
0000293c: PUSH1 0x01
0000293e: NOT
0000293f: ADD
00002940: SWAP1
00002941: JUMP
00002942: JUMPDEST
00002943: PUSH1 0x20
00002945: SWAP1
00002946: DUP4
00002947: PUSH2 0x0697
0000294a: SWAP4
0000294b: SWAP6
0000294c: SWAP5
0000294d: SWAP6
0000294e: PUSH1 0x40
00002950: MLOAD
00002951: SWAP7
00002952: DUP4
00002953: PUSH2 0x2965
00002956: DUP10
00002957: SWAP6
00002958: MLOAD
00002959: DUP1
0000295a: SWAP3
0000295b: DUP9
0000295c: DUP1
0000295d: DUP10
0000295e: ADD
0000295f: SWAP2
00002960: ADD
00002961: PUSH2 0x040d
00002964: JUMP
00002965: JUMPDEST
00002966: DUP5
00002967: ADD
00002968: SWAP2
00002969: DUP6
0000296a: DUP4
0000296b: ADD
0000296c: CALLDATACOPY
0000296d: ADD
0000296e: PUSH0
0000296f: DUP4
00002970: DUP3
00002971: ADD
00002972: MSTORE
00002973: SUB
00002974: DUP1
00002975: DUP6
00002976: MSTORE
00002977: ADD
00002978: DUP4
00002979: PUSH2 0x13ac
0000297c: JUMP
0000297d: JUMPDEST
0000297e: SWAP1
0000297f: DUP1
00002980: PUSH1 0x20
00002982: SWAP4
00002983: SWAP3
00002984: DUP2
00002985: DUP5
00002986: MSTORE
00002987: DUP5
00002988: DUP5
00002989: ADD
0000298a: CALLDATACOPY
0000298b: PUSH0
0000298c: DUP3
0000298d: DUP3
0000298e: ADD
0000298f: DUP5
00002990: ADD
00002991: MSTORE
00002992: PUSH1 0x1f
00002994: ADD
00002995: PUSH1 0x1f
00002997: NOT
00002998: AND
00002999: ADD
0000299a: ADD
0000299b: SWAP1
0000299c: JUMP
0000299d: JUMPDEST
0000299e: SWAP2
0000299f: PUSH1 0x20
000029a1: PUSH2 0x0464
000029a4: SWAP4
000029a5: DUP2
000029a6: DUP2
000029a7: MSTORE
000029a8: ADD
000029a9: SWAP2
000029aa: PUSH2 0x297d
000029ad: JUMP
000029ae: JUMPDEST
000029af: PUSH2 0x1421
000029b2: PUSH2 0x142d
000029b5: SWAP3
000029b6: PUSH4 0xffffffff
000029bb: PUSH2 0x29df
000029be: SWAP4
000029bf: SWAP8
000029c0: SWAP6
000029c1: SWAP7
000029c2: SWAP8
000029c3: AND
000029c4: PUSH0
000029c5: MSTORE
000029c6: PUSH1 0x03
000029c8: PUSH1 0x20
000029ca: MSTORE
000029cb: PUSH1 0x40
000029cd: PUSH0
000029ce: KECCAK256
000029cf: SWAP1
000029d0: PUSH2 0xffff
000029d3: AND
000029d4: PUSH0
000029d5: MSTORE
000029d6: PUSH1 0x20
000029d8: MSTORE
000029d9: PUSH1 0x40
000029db: PUSH0
000029dc: KECCAK256
000029dd: SWAP1
000029de: JUMP
000029df: JUMPDEST
000029e0: DUP1
000029e1: MLOAD
000029e2: ISZERO
000029e3: PUSH2 0x2a42
000029e6: JUMPI
000029e7: DUP4
000029e8: ISZERO
000029e9: PUSH2 0x2a3c
000029ec: JUMPI
000029ed: PUSH1 0x02
000029ef: DUP5
000029f0: LT
000029f1: ISZERO
000029f2: PUSH2 0x2a13
000029f5: JUMPI
000029f6: POP
000029f7: POP
000029f8: PUSH2 0x0add
000029fb: PUSH1 0x40
000029fd: MLOAD
000029fe: SWAP3
000029ff: DUP4
00002a00: SWAP3
00002a01: PUSH4 0x9a6d49cd
00002a06: PUSH1 0xe0
00002a08: SHL
00002a09: DUP5
00002a0a: MSTORE
00002a0b: PUSH1 0x04
00002a0d: DUP5
00002a0e: ADD
00002a0f: PUSH2 0x299d
00002a12: JUMP
00002a13: JUMPDEST
00002a14: SWAP1
00002a15: SWAP3
00002a16: DUP1
00002a17: PUSH2 0x2a36
00002a1a: SWAP2
00002a1b: PUSH2 0x0464
00002a1e: SWAP5
00002a1f: PUSH2 0x2a31
00002a22: PUSH2 0x2a2c
00002a25: CALLDATASIZE
00002a26: DUP5
00002a27: DUP5
00002a28: PUSH2 0x28ef
00002a2b: JUMP
00002a2c: JUMPDEST
00002a2d: PUSH2 0x342d
00002a30: JUMP
00002a31: JUMPDEST
00002a32: PUSH2 0x2925
00002a35: JUMP
00002a36: JUMPDEST
00002a37: SWAP2
00002a38: PUSH2 0x2942
00002a3b: JUMP
00002a3c: JUMPDEST
00002a3d: SWAP3
00002a3e: POP
00002a3f: SWAP1
00002a40: POP
00002a41: JUMP
00002a42: JUMPDEST
00002a43: POP
00002a44: SWAP2
00002a45: SWAP1
00002a46: PUSH2 0x0464
00002a49: SWAP2
00002a4a: CALLDATASIZE
00002a4b: SWAP2
00002a4c: PUSH2 0x28ef
00002a4f: JUMP
00002a50: JUMPDEST
00002a51: PUSH4 0x4e487b71
00002a56: PUSH1 0xe0
00002a58: SHL
00002a59: PUSH0
00002a5a: MSTORE
00002a5b: PUSH1 0x32
00002a5d: PUSH1 0x04
00002a5f: MSTORE
00002a60: PUSH1 0x24
00002a62: PUSH0
00002a63: REVERT
00002a64: JUMPDEST
00002a65: SWAP2
00002a66: SWAP1
00002a67: DUP2
00002a68: LT
00002a69: ISZERO
00002a6a: PUSH2 0x2a87
00002a6d: JUMPI
00002a6e: PUSH1 0x05
00002a70: SHL
00002a71: DUP2
00002a72: ADD
00002a73: CALLDATALOAD
00002a74: SWAP1
00002a75: PUSH2 0x013e
00002a78: NOT
00002a79: DUP2
00002a7a: CALLDATASIZE
00002a7b: SUB
00002a7c: ADD
00002a7d: DUP3
00002a7e: SLT
00002a7f: ISZERO
00002a80: PUSH2 0x0409
00002a83: JUMPI
00002a84: ADD
00002a85: SWAP1
00002a86: JUMP
00002a87: JUMPDEST
00002a88: PUSH2 0x2a50
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: SWAP1
00002a8e: CALLDATALOAD
00002a8f: SWAP1
00002a90: PUSH1 0x1e
00002a92: NOT
00002a93: DUP2
00002a94: CALLDATASIZE
00002a95: SUB
00002a96: ADD
00002a97: DUP3
00002a98: SLT
00002a99: ISZERO
00002a9a: PUSH2 0x0409
00002a9d: JUMPI
00002a9e: ADD
00002a9f: DUP1
00002aa0: CALLDATALOAD
00002aa1: SWAP1
00002aa2: PUSH1 0x01
00002aa4: PUSH1 0x01
00002aa6: PUSH1 0x40
00002aa8: SHL
00002aa9: SUB
00002aaa: DUP3
00002aab: GT
00002aac: PUSH2 0x0409
00002aaf: JUMPI
00002ab0: PUSH1 0x20
00002ab2: ADD
00002ab3: SWAP2
00002ab4: DUP2
00002ab5: CALLDATASIZE
00002ab6: SUB
00002ab7: DUP4
00002ab8: SGT
00002ab9: PUSH2 0x0409
00002abc: JUMPI
00002abd: JUMP
00002abe: JUMPDEST
00002abf: CALLDATALOAD
00002ac0: PUSH2 0x0464
00002ac3: DUP2
00002ac4: PUSH2 0x0547
00002ac7: JUMP
00002ac8: JUMPDEST
00002ac9: PUSH1 0x01
00002acb: PUSH1 0x01
00002acd: PUSH1 0x40
00002acf: SHL
00002ad0: SUB
00002ad1: DUP2
00002ad2: AND
00002ad3: SUB
00002ad4: PUSH2 0x0409
00002ad7: JUMPI
00002ad8: JUMP
00002ad9: JUMPDEST
00002ada: SWAP3
00002adb: SWAP1
00002adc: SWAP4
00002add: PUSH2 0x2b35
00002ae0: SWAP3
00002ae1: PUSH1 0x01
00002ae3: PUSH1 0x01
00002ae5: PUSH1 0x40
00002ae7: SHL
00002ae8: SUB
00002ae9: PUSH1 0x40
00002aeb: PUSH2 0x0464
00002aee: SWAP11
00002aef: SWAP9
00002af0: SWAP10
00002af1: SWAP8
00002af2: PUSH4 0xffffffff
00002af7: DUP2
00002af8: CALLDATALOAD
00002af9: PUSH2 0x2b01
00002afc: DUP2
00002afd: PUSH2 0x0edb
00002b00: JUMP
00002b01: JUMPDEST
00002b02: AND
00002b03: DUP9
00002b04: MSTORE
00002b05: PUSH1 0x20
00002b07: DUP2
00002b08: ADD
00002b09: CALLDATALOAD
00002b0a: PUSH1 0x20
00002b0c: DUP10
00002b0d: ADD
00002b0e: MSTORE
00002b0f: ADD
00002b10: CALLDATALOAD
00002b11: PUSH2 0x2b19
00002b14: DUP2
00002b15: PUSH2 0x2ac8
00002b18: JUMP
00002b19: JUMPDEST
00002b1a: AND
00002b1b: PUSH1 0x40
00002b1d: DUP7
00002b1e: ADD
00002b1f: MSTORE
00002b20: PUSH1 0x60
00002b22: DUP6
00002b23: ADD
00002b24: MSTORE
00002b25: PUSH1 0xe0
00002b27: PUSH1 0x80
00002b29: DUP6
00002b2a: ADD
00002b2b: MSTORE
00002b2c: PUSH1 0xe0
00002b2e: DUP5
00002b2f: ADD
00002b30: SWAP2
00002b31: PUSH2 0x297d
00002b34: JUMP
00002b35: JUMPDEST
00002b36: PUSH1 0x01
00002b38: PUSH1 0x01
00002b3a: PUSH1 0xa0
00002b3c: SHL
00002b3d: SUB
00002b3e: SWAP1
00002b3f: SWAP5
00002b40: AND
00002b41: PUSH1 0xa0
00002b43: DUP3
00002b44: ADD
00002b45: MSTORE
00002b46: DUP1
00002b47: DUP5
00002b48: SUB
00002b49: PUSH1 0xc0
00002b4b: SWAP1
00002b4c: SWAP2
00002b4d: ADD
00002b4e: MSTORE
00002b4f: PUSH2 0x297d
00002b52: JUMP
00002b53: JUMPDEST
00002b54: PUSH1 0x20
00002b56: DUP2
00002b57: DUP4
00002b58: SUB
00002b59: SLT
00002b5a: PUSH2 0x0409
00002b5d: JUMPI
00002b5e: DUP1
00002b5f: MLOAD
00002b60: SWAP1
00002b61: PUSH1 0x01
00002b63: PUSH1 0x01
00002b65: PUSH1 0x40
00002b67: SHL
00002b68: SUB
00002b69: DUP3
00002b6a: GT
00002b6b: PUSH2 0x0409
00002b6e: JUMPI
00002b6f: ADD
00002b70: DUP2
00002b71: PUSH1 0x1f
00002b73: DUP3
00002b74: ADD
00002b75: SLT
00002b76: ISZERO
00002b77: PUSH2 0x0409
00002b7a: JUMPI
00002b7b: DUP1
00002b7c: MLOAD
00002b7d: PUSH2 0x2b85
00002b80: DUP2
00002b81: PUSH2 0x28d4
00002b84: JUMP
00002b85: JUMPDEST
00002b86: SWAP3
00002b87: PUSH2 0x2b93
00002b8a: PUSH1 0x40
00002b8c: MLOAD
00002b8d: SWAP5
00002b8e: DUP6
00002b8f: PUSH2 0x13ac
00002b92: JUMP
00002b93: JUMPDEST
00002b94: DUP2
00002b95: DUP5
00002b96: MSTORE
00002b97: PUSH1 0x20
00002b99: DUP3
00002b9a: DUP5
00002b9b: ADD
00002b9c: ADD
00002b9d: GT
00002b9e: PUSH2 0x0409
00002ba1: JUMPI
00002ba2: PUSH2 0x0464
00002ba5: SWAP2
00002ba6: PUSH1 0x20
00002ba8: DUP1
00002ba9: DUP6
00002baa: ADD
00002bab: SWAP2
00002bac: ADD
00002bad: PUSH2 0x040d
00002bb0: JUMP
00002bb1: JUMPDEST
00002bb2: PUSH1 0x40
00002bb4: MLOAD
00002bb5: SWAP1
00002bb6: PUSH2 0x2bbe
00002bb9: DUP3
00002bba: PUSH2 0x1343
00002bbd: JUMP
00002bbe: JUMPDEST
00002bbf: DUP2
00002bc0: PUSH0
00002bc1: DUP2
00002bc2: MSTORE
00002bc3: PUSH0
00002bc4: PUSH1 0x20
00002bc6: DUP3
00002bc7: ADD
00002bc8: MSTORE
00002bc9: PUSH1 0x40
00002bcb: PUSH2 0x2bd2
00002bce: PUSH2 0x27c9
00002bd1: JUMP
00002bd2: JUMPDEST
00002bd3: SWAP2
00002bd4: ADD
00002bd5: MSTORE
00002bd6: JUMP
00002bd7: JUMPDEST
00002bd8: PUSH2 0x2c06
00002bdb: SWAP1
00002bdc: PUSH2 0x1029
00002bdf: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00002c00: DUP1
00002c01: SWAP3
00002c02: PUSH2 0x34c5
00002c05: JUMP
00002c06: JUMPDEST
00002c07: SWAP2
00002c08: DUP3
00002c09: SWAP2
00002c0a: DUP1
00002c0b: DUP5
00002c0c: LT
00002c0d: PUSH2 0x2c13
00002c10: JUMPI
00002c11: POP
00002c12: JUMP
00002c13: JUMPDEST
00002c14: DUP4
00002c15: PUSH1 0x44
00002c17: SWAP2
00002c18: PUSH1 0x40
00002c1a: MLOAD
00002c1b: SWAP2
00002c1c: PUSH4 0x71c4efed
00002c21: PUSH1 0xe0
00002c23: SHL
00002c24: DUP4
00002c25: MSTORE
00002c26: PUSH1 0x04
00002c28: DUP4
00002c29: ADD
00002c2a: MSTORE
00002c2b: PUSH1 0x24
00002c2d: DUP3
00002c2e: ADD
00002c2f: MSTORE
00002c30: REVERT
00002c31: JUMPDEST
00002c32: PUSH4 0xffffffff
00002c37: AND
00002c38: DUP1
00002c39: PUSH0
00002c3a: MSTORE
00002c3b: PUSH1 0x01
00002c3d: PUSH1 0x20
00002c3f: MSTORE
00002c40: PUSH1 0x40
00002c42: PUSH0
00002c43: KECCAK256
00002c44: SLOAD
00002c45: SWAP1
00002c46: DUP2
00002c47: ISZERO
00002c48: PUSH2 0x2c4f
00002c4b: JUMPI
00002c4c: POP
00002c4d: SWAP1
00002c4e: JUMP
00002c4f: JUMPDEST
00002c50: PUSH1 0x24
00002c52: SWAP1
00002c53: PUSH1 0x40
00002c55: MLOAD
00002c56: SWAP1
00002c57: PUSH4 0xf6ff4fb7
00002c5c: PUSH1 0xe0
00002c5e: SHL
00002c5f: DUP3
00002c60: MSTORE
00002c61: PUSH1 0x04
00002c63: DUP3
00002c64: ADD
00002c65: MSTORE
00002c66: REVERT
00002c67: JUMPDEST
00002c68: CALLDATALOAD
00002c69: PUSH2 0x0464
00002c6c: DUP2
00002c6d: PUSH2 0x2ac8
00002c70: JUMP
00002c71: JUMPDEST
00002c72: PUSH2 0x0464
00002c75: SWAP4
00002c76: SWAP3
00002c77: PUSH1 0x80
00002c79: SWAP3
00002c7a: PUSH1 0x01
00002c7c: DUP1
00002c7d: PUSH1 0xa0
00002c7f: SHL
00002c80: SUB
00002c81: AND
00002c82: DUP3
00002c83: MSTORE
00002c84: PUSH1 0x20
00002c86: DUP3
00002c87: ADD
00002c88: MSTORE
00002c89: PUSH0
00002c8a: PUSH1 0x40
00002c8c: DUP3
00002c8d: ADD
00002c8e: MSTORE
00002c8f: DUP2
00002c90: PUSH1 0x60
00002c92: DUP3
00002c93: ADD
00002c94: MSTORE
00002c95: ADD
00002c96: SWAP1
00002c97: PUSH2 0x042e
00002c9a: JUMP
00002c9b: JUMPDEST
00002c9c: SWAP2
00002c9d: PUSH1 0x01
00002c9f: PUSH1 0x01
00002ca1: PUSH1 0xa0
00002ca3: SHL
00002ca4: SUB
00002ca5: DUP1
00002ca6: DUP5
00002ca7: AND
00002ca8: SWAP3
00002ca9: SWAP1
00002caa: DUP4
00002cab: ISZERO
00002cac: PUSH2 0x2d9a
00002caf: JUMPI
00002cb0: DUP2
00002cb1: AND
00002cb2: SWAP4
00002cb3: DUP5
00002cb4: ISZERO
00002cb5: PUSH2 0x2d82
00002cb8: JUMPI
00002cb9: PUSH1 0x01
00002cbb: PUSH1 0x01
00002cbd: PUSH1 0xa0
00002cbf: SHL
00002cc0: SUB
00002cc1: DUP2
00002cc2: AND
00002cc3: PUSH0
00002cc4: SWAP1
00002cc5: DUP2
00002cc6: MSTORE
00002cc7: PUSH1 0x05
00002cc9: PUSH1 0x20
00002ccb: MSTORE
00002ccc: PUSH1 0x40
00002cce: SWAP1
00002ccf: KECCAK256
00002cd0: SLOAD
00002cd1: DUP4
00002cd2: DUP2
00002cd3: LT
00002cd4: PUSH2 0x2d53
00002cd7: JUMPI
00002cd8: PUSH2 0x2d4e
00002cdb: SWAP3
00002cdc: DUP5
00002cdd: SWAP3
00002cde: PUSH2 0x2d1e
00002ce1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002d02: SWAP7
00002d03: PUSH2 0x2d38
00002d06: SWAP5
00002d07: SUB
00002d08: SWAP2
00002d09: PUSH1 0x01
00002d0b: DUP1
00002d0c: PUSH1 0xa0
00002d0e: SHL
00002d0f: SUB
00002d10: AND
00002d11: PUSH0
00002d12: MSTORE
00002d13: PUSH1 0x05
00002d15: PUSH1 0x20
00002d17: MSTORE
00002d18: PUSH1 0x40
00002d1a: PUSH0
00002d1b: KECCAK256
00002d1c: SWAP1
00002d1d: JUMP
00002d1e: JUMPDEST
00002d1f: SSTORE
00002d20: PUSH1 0x01
00002d22: PUSH1 0x01
00002d24: PUSH1 0xa0
00002d26: SHL
00002d27: SUB
00002d28: AND
00002d29: PUSH0
00002d2a: SWAP1
00002d2b: DUP2
00002d2c: MSTORE
00002d2d: PUSH1 0x05
00002d2f: PUSH1 0x20
00002d31: MSTORE
00002d32: PUSH1 0x40
00002d34: SWAP1
00002d35: KECCAK256
00002d36: SWAP1
00002d37: JUMP
00002d38: JUMPDEST
00002d39: DUP1
00002d3a: SLOAD
00002d3b: DUP3
00002d3c: ADD
00002d3d: SWAP1
00002d3e: SSTORE
00002d3f: PUSH1 0x40
00002d41: MLOAD
00002d42: SWAP1
00002d43: DUP2
00002d44: MSTORE
00002d45: SWAP1
00002d46: DUP2
00002d47: SWAP1
00002d48: PUSH1 0x20
00002d4a: DUP3
00002d4b: ADD
00002d4c: SWAP1
00002d4d: JUMP
00002d4e: JUMPDEST
00002d4f: SUB
00002d50: SWAP1
00002d51: LOG3
00002d52: JUMP
00002d53: JUMPDEST
00002d54: PUSH1 0x40
00002d56: MLOAD
00002d57: PUSH4 0x391434e3
00002d5c: PUSH1 0xe2
00002d5e: SHL
00002d5f: DUP2
00002d60: MSTORE
00002d61: PUSH1 0x01
00002d63: PUSH1 0x01
00002d65: PUSH1 0xa0
00002d67: SHL
00002d68: SUB
00002d69: SWAP3
00002d6a: SWAP1
00002d6b: SWAP3
00002d6c: AND
00002d6d: PUSH1 0x04
00002d6f: DUP4
00002d70: ADD
00002d71: MSTORE
00002d72: PUSH1 0x24
00002d74: DUP3
00002d75: ADD
00002d76: MSTORE
00002d77: PUSH1 0x44
00002d79: DUP2
00002d7a: ADD
00002d7b: DUP4
00002d7c: SWAP1
00002d7d: MSTORE
00002d7e: PUSH1 0x64
00002d80: SWAP1
00002d81: REVERT
00002d82: JUMPDEST
00002d83: PUSH1 0x40
00002d85: MLOAD
00002d86: PUSH4 0xec442f05
00002d8b: PUSH1 0xe0
00002d8d: SHL
00002d8e: DUP2
00002d8f: MSTORE
00002d90: PUSH0
00002d91: PUSH1 0x04
00002d93: DUP3
00002d94: ADD
00002d95: MSTORE
00002d96: PUSH1 0x24
00002d98: SWAP1
00002d99: REVERT
00002d9a: JUMPDEST
00002d9b: PUSH1 0x40
00002d9d: MLOAD
00002d9e: PUSH4 0x4b637e8f
00002da3: PUSH1 0xe1
00002da5: SHL
00002da6: DUP2
00002da7: MSTORE
00002da8: PUSH0
00002da9: PUSH1 0x04
00002dab: DUP3
00002dac: ADD
00002dad: MSTORE
00002dae: PUSH1 0x24
00002db0: SWAP1
00002db1: REVERT
00002db2: JUMPDEST
00002db3: PUSH0
00002db4: SLOAD
00002db5: PUSH1 0x01
00002db7: PUSH1 0x01
00002db9: PUSH1 0xa0
00002dbb: SHL
00002dbc: SUB
00002dbd: AND
00002dbe: CALLER
00002dbf: SUB
00002dc0: PUSH2 0x2dc5
00002dc3: JUMPI
00002dc4: JUMP
00002dc5: JUMPDEST
00002dc6: PUSH1 0x40
00002dc8: MLOAD
00002dc9: PUSH4 0x118cdaa7
00002dce: PUSH1 0xe0
00002dd0: SHL
00002dd1: DUP2
00002dd2: MSTORE
00002dd3: CALLER
00002dd4: PUSH1 0x04
00002dd6: DUP3
00002dd7: ADD
00002dd8: MSTORE
00002dd9: PUSH1 0x24
00002ddb: SWAP1
00002ddc: REVERT
00002ddd: JUMPDEST
00002dde: PUSH1 0x02
00002de0: PUSH1 0x0a
00002de2: SLOAD
00002de3: EQ
00002de4: PUSH2 0x2dee
00002de7: JUMPI
00002de8: PUSH1 0x02
00002dea: PUSH1 0x0a
00002dec: SSTORE
00002ded: JUMP
00002dee: JUMPDEST
00002def: PUSH1 0x40
00002df1: MLOAD
00002df2: PUSH4 0x3ee5aeb5
00002df7: PUSH1 0xe0
00002df9: SHL
00002dfa: DUP2
00002dfb: MSTORE
00002dfc: PUSH1 0x04
00002dfe: SWAP1
00002dff: REVERT
00002e00: JUMPDEST
00002e01: PUSH1 0x40
00002e03: MLOAD
00002e04: PUSH4 0xa9059cbb
00002e09: PUSH1 0xe0
00002e0b: SHL
00002e0c: PUSH1 0x20
00002e0e: DUP3
00002e0f: ADD
00002e10: MSTORE
00002e11: PUSH1 0x01
00002e13: PUSH1 0x01
00002e15: PUSH1 0xa0
00002e17: SHL
00002e18: SUB
00002e19: SWAP1
00002e1a: SWAP3
00002e1b: AND
00002e1c: PUSH1 0x24
00002e1e: DUP4
00002e1f: ADD
00002e20: MSTORE
00002e21: PUSH1 0x44
00002e23: DUP1
00002e24: DUP4
00002e25: ADD
00002e26: SWAP4
00002e27: SWAP1
00002e28: SWAP4
00002e29: MSTORE
00002e2a: SWAP2
00002e2b: DUP2
00002e2c: MSTORE
00002e2d: PUSH1 0x80
00002e2f: DUP2
00002e30: ADD
00002e31: SWAP2
00002e32: PUSH1 0x01
00002e34: PUSH1 0x01
00002e36: PUSH1 0x40
00002e38: SHL
00002e39: SUB
00002e3a: DUP4
00002e3b: GT
00002e3c: DUP3
00002e3d: DUP5
00002e3e: LT
00002e3f: OR
00002e40: PUSH2 0x135e
00002e43: JUMPI
00002e44: PUSH2 0x0697
00002e47: SWAP3
00002e48: PUSH1 0x40
00002e4a: MSTORE
00002e4b: PUSH2 0x35e5
00002e4e: JUMP
00002e4f: JUMPDEST
00002e50: PUSH1 0x40
00002e52: MLOAD
00002e53: PUSH4 0x23b872dd
00002e58: PUSH1 0xe0
00002e5a: SHL
00002e5b: PUSH1 0x20
00002e5d: DUP3
00002e5e: ADD
00002e5f: MSTORE
00002e60: PUSH1 0x01
00002e62: PUSH1 0x01
00002e64: PUSH1 0xa0
00002e66: SHL
00002e67: SUB
00002e68: SWAP3
00002e69: DUP4
00002e6a: AND
00002e6b: PUSH1 0x24
00002e6d: DUP3
00002e6e: ADD
00002e6f: MSTORE
00002e70: SWAP3
00002e71: SWAP1
00002e72: SWAP2
00002e73: AND
00002e74: PUSH1 0x44
00002e76: DUP4
00002e77: ADD
00002e78: MSTORE
00002e79: PUSH1 0x64
00002e7b: DUP1
00002e7c: DUP4
00002e7d: ADD
00002e7e: SWAP4
00002e7f: SWAP1
00002e80: SWAP4
00002e81: MSTORE
00002e82: SWAP2
00002e83: DUP2
00002e84: MSTORE
00002e85: PUSH2 0x0697
00002e88: SWAP2
00002e89: PUSH2 0x2e91
00002e8c: DUP3
00002e8d: PUSH2 0x1391
00002e90: JUMP
00002e91: JUMPDEST
00002e92: PUSH2 0x35e5
00002e95: JUMP
00002e96: JUMPDEST
00002e97: SWAP2
00002e98: SWAP1
00002e99: PUSH1 0x01
00002e9b: PUSH1 0x01
00002e9d: PUSH1 0xa0
00002e9f: SHL
00002ea0: SUB
00002ea1: DUP4
00002ea2: AND
00002ea3: SWAP1
00002ea4: DUP2
00002ea5: ISZERO
00002ea6: PUSH2 0x2d9a
00002ea9: JUMPI
00002eaa: PUSH1 0x01
00002eac: PUSH1 0x01
00002eae: PUSH1 0xa0
00002eb0: SHL
00002eb1: SUB
00002eb2: DUP5
00002eb3: AND
00002eb4: PUSH0
00002eb5: SWAP1
00002eb6: DUP2
00002eb7: MSTORE
00002eb8: PUSH1 0x05
00002eba: PUSH1 0x20
00002ebc: MSTORE
00002ebd: PUSH1 0x40
00002ebf: SWAP1
00002ec0: KECCAK256
00002ec1: SLOAD
00002ec2: SWAP4
00002ec3: DUP2
00002ec4: DUP6
00002ec5: LT
00002ec6: PUSH2 0x2f1f
00002ec9: JUMPI
00002eca: DUP2
00002ecb: PUSH1 0x20
00002ecd: SWAP2
00002ece: PUSH2 0x2f0d
00002ed1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002ef2: SWAP5
00002ef3: PUSH0
00002ef4: SWAP8
00002ef5: SWAP9
00002ef6: SUB
00002ef7: SWAP2
00002ef8: PUSH1 0x01
00002efa: DUP1
00002efb: PUSH1 0xa0
00002efd: SHL
00002efe: SUB
00002eff: AND
00002f00: PUSH0
00002f01: MSTORE
00002f02: PUSH1 0x05
00002f04: PUSH1 0x20
00002f06: MSTORE
00002f07: PUSH1 0x40
00002f09: PUSH0
00002f0a: KECCAK256
00002f0b: SWAP1
00002f0c: JUMP
00002f0d: JUMPDEST
00002f0e: SSTORE
00002f0f: DUP1
00002f10: PUSH1 0x07
00002f12: SLOAD
00002f13: SUB
00002f14: PUSH1 0x07
00002f16: SSTORE
00002f17: PUSH1 0x40
00002f19: MLOAD
00002f1a: SWAP1
00002f1b: DUP2
00002f1c: MSTORE
00002f1d: LOG3
00002f1e: JUMP
00002f1f: JUMPDEST
00002f20: PUSH1 0x40
00002f22: MLOAD
00002f23: PUSH4 0x391434e3
00002f28: PUSH1 0xe2
00002f2a: SHL
00002f2b: DUP2
00002f2c: MSTORE
00002f2d: PUSH1 0x01
00002f2f: PUSH1 0x01
00002f31: PUSH1 0xa0
00002f33: SHL
00002f34: SUB
00002f35: SWAP2
00002f36: SWAP1
00002f37: SWAP2
00002f38: AND
00002f39: PUSH1 0x04
00002f3b: DUP3
00002f3c: ADD
00002f3d: MSTORE
00002f3e: PUSH1 0x24
00002f40: DUP2
00002f41: ADD
00002f42: DUP6
00002f43: SWAP1
00002f44: MSTORE
00002f45: PUSH1 0x44
00002f47: DUP2
00002f48: ADD
00002f49: SWAP2
00002f4a: SWAP1
00002f4b: SWAP2
00002f4c: MSTORE
00002f4d: PUSH1 0x64
00002f4f: SWAP1
00002f50: REVERT
00002f51: JUMPDEST
00002f52: SWAP1
00002f53: DUP2
00002f54: PUSH1 0x20
00002f56: SWAP2
00002f57: SUB
00002f58: SLT
00002f59: PUSH2 0x0409
00002f5c: JUMPI
00002f5d: MLOAD
00002f5e: PUSH2 0x0464
00002f61: DUP2
00002f62: PUSH2 0x0f96
00002f65: JUMP
00002f66: JUMPDEST
00002f67: SWAP1
00002f68: SWAP2
00002f69: PUSH2 0x2f7d
00002f6c: PUSH2 0x0464
00002f6f: SWAP4
00002f70: PUSH1 0x40
00002f72: DUP5
00002f73: MSTORE
00002f74: PUSH1 0x40
00002f76: DUP5
00002f77: ADD
00002f78: SWAP1
00002f79: PUSH2 0x042e
00002f7c: JUMP
00002f7d: JUMPDEST
00002f7e: SWAP2
00002f7f: PUSH1 0x20
00002f81: DUP2
00002f82: DUP5
00002f83: SUB
00002f84: SWAP2
00002f85: ADD
00002f86: MSTORE
00002f87: PUSH2 0x042e
00002f8a: JUMP
00002f8b: JUMPDEST
00002f8c: SWAP1
00002f8d: SWAP2
00002f8e: PUSH2 0x2fef
00002f91: PUSH2 0x2fcd
00002f94: PUSH2 0x2fc1
00002f97: PUSH2 0x3015
00002f9a: SWAP6
00002f9b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00002fbc: SWAP1
00002fbd: PUSH2 0x34c5
00002fc0: JUMP
00002fc1: JUMPDEST
00002fc2: PUSH1 0x01
00002fc4: PUSH1 0x01
00002fc6: PUSH1 0x40
00002fc8: SHL
00002fc9: SUB
00002fca: AND
00002fcb: SWAP1
00002fcc: JUMP
00002fcd: JUMPDEST
00002fce: PUSH2 0x2fe4
00002fd1: PUSH2 0x2fdd
00002fd4: PUSH1 0xa0
00002fd6: DUP7
00002fd7: ADD
00002fd8: DUP7
00002fd9: PUSH2 0x2a8c
00002fdc: JUMP
00002fdd: JUMPDEST
00002fde: CALLDATASIZE
00002fdf: SWAP2
00002fe0: PUSH2 0x28ef
00002fe3: JUMP
00002fe4: JUMPDEST
00002fe5: SWAP1
00002fe6: PUSH1 0x20
00002fe8: DUP6
00002fe9: ADD
00002fea: CALLDATALOAD
00002feb: PUSH2 0x363f
00002fee: JUMP
00002fef: JUMPDEST
00002ff0: SWAP4
00002ff1: SWAP1
00002ff2: SWAP3
00002ff3: DUP4
00002ff4: SWAP5
00002ff5: PUSH0
00002ff6: EQ
00002ff7: PUSH2 0x3091
00002ffa: JUMPI
00002ffb: PUSH1 0x02
00002ffd: SWAP1
00002ffe: JUMPDEST
00002fff: PUSH2 0x1f2b
00003002: PUSH2 0x300a
00003005: DUP3
00003006: PUSH2 0x2849
00003009: JUMP
0000300a: JUMPDEST
0000300b: SWAP2
0000300c: PUSH1 0x80
0000300e: DUP2
0000300f: ADD
00003010: SWAP1
00003011: PUSH2 0x2a8c
00003014: JUMP
00003015: JUMPDEST
00003016: PUSH1 0x04
00003018: SLOAD
00003019: SWAP1
0000301a: SWAP3
0000301b: PUSH1 0x01
0000301d: PUSH1 0x01
0000301f: PUSH1 0xa0
00003021: SHL
00003022: SUB
00003023: SWAP1
00003024: SWAP2
00003025: AND
00003026: SWAP1
00003027: DUP4
00003028: DUP3
00003029: PUSH2 0x3031
0000302c: JUMPI
0000302d: POP
0000302e: POP
0000302f: POP
00003030: JUMP
00003031: JUMPDEST
00003032: PUSH1 0x40
00003034: MLOAD
00003035: PUSH4 0x043a78eb
0000303a: PUSH1 0xe0
0000303c: SHL
0000303d: DUP2
0000303e: MSTORE
0000303f: SWAP3
00003040: PUSH1 0x20
00003042: SWAP3
00003043: DUP5
00003044: SWAP3
00003045: DUP4
00003046: SWAP2
00003047: DUP3
00003048: SWAP2
00003049: PUSH2 0x3055
0000304c: SWAP2
0000304d: PUSH1 0x04
0000304f: DUP5
00003050: ADD
00003051: PUSH2 0x2f66
00003054: JUMP
00003055: JUMPDEST
00003056: SUB
00003057: SWAP2
00003058: GAS
00003059: STATICCALL
0000305a: DUP1
0000305b: ISZERO
0000305c: PUSH2 0x07fa
0000305f: JUMPI
00003060: PUSH2 0x3066
00003063: JUMPI
00003064: POP
00003065: JUMP
00003066: JUMPDEST
00003067: PUSH2 0x3087
0000306a: SWAP1
0000306b: PUSH1 0x20
0000306d: RETURNDATASIZE
0000306e: PUSH1 0x20
00003070: GT
00003071: PUSH2 0x308a
00003074: JUMPI
00003075: JUMPDEST
00003076: PUSH2 0x307f
00003079: DUP2
0000307a: DUP4
0000307b: PUSH2 0x13ac
0000307e: JUMP
0000307f: JUMPDEST
00003080: DUP2
00003081: ADD
00003082: SWAP1
00003083: PUSH2 0x2f51
00003086: JUMP
00003087: JUMPDEST
00003088: POP
00003089: JUMP
0000308a: JUMPDEST
0000308b: POP
0000308c: RETURNDATASIZE
0000308d: PUSH2 0x3075
00003090: JUMP
00003091: JUMPDEST
00003092: PUSH1 0x01
00003094: SWAP1
00003095: PUSH2 0x2ffe
00003098: JUMP
00003099: JUMPDEST
0000309a: SWAP2
0000309b: SWAP1
0000309c: DUP3
0000309d: PUSH1 0x40
0000309f: SWAP2
000030a0: SUB
000030a1: SLT
000030a2: PUSH2 0x0409
000030a5: JUMPI
000030a6: PUSH1 0x40
000030a8: MLOAD
000030a9: PUSH2 0x30b1
000030ac: DUP2
000030ad: PUSH2 0x1376
000030b0: JUMP
000030b1: JUMPDEST
000030b2: PUSH1 0x20
000030b4: DUP1
000030b5: DUP3
000030b6: SWAP5
000030b7: DUP1
000030b8: MLOAD
000030b9: DUP5
000030ba: MSTORE
000030bb: ADD
000030bc: MLOAD
000030bd: SWAP2
000030be: ADD
000030bf: MSTORE
000030c0: JUMP
000030c1: JUMPDEST
000030c2: SWAP1
000030c3: PUSH1 0x40
000030c5: DUP3
000030c6: DUP3
000030c7: SUB
000030c8: SLT
000030c9: PUSH2 0x0409
000030cc: JUMPI
000030cd: PUSH2 0x0464
000030d0: SWAP2
000030d1: PUSH2 0x3099
000030d4: JUMP
000030d5: JUMPDEST
000030d6: SWAP1
000030d7: PUSH1 0x20
000030d9: SWAP1
000030da: SWAP4
000030db: SWAP3
000030dc: SWAP4
000030dd: PUSH1 0x40
000030df: DUP4
000030e0: MSTORE
000030e1: PUSH4 0xffffffff
000030e6: DUP2
000030e7: MLOAD
000030e8: AND
000030e9: PUSH1 0x40
000030eb: DUP5
000030ec: ADD
000030ed: MSTORE
000030ee: DUP2
000030ef: DUP2
000030f0: ADD
000030f1: MLOAD
000030f2: PUSH1 0x60
000030f4: DUP5
000030f5: ADD
000030f6: MSTORE
000030f7: PUSH1 0x80
000030f9: PUSH2 0x3129
000030fc: PUSH2 0x3113
000030ff: PUSH1 0x40
00003101: DUP5
00003102: ADD
00003103: MLOAD
00003104: PUSH1 0xa0
00003106: DUP5
00003107: DUP9
00003108: ADD
00003109: MSTORE
0000310a: PUSH1 0xe0
0000310c: DUP8
0000310d: ADD
0000310e: SWAP1
0000310f: PUSH2 0x042e
00003112: JUMP
00003113: JUMPDEST
00003114: PUSH1 0x60
00003116: DUP5
00003117: ADD
00003118: MLOAD
00003119: DUP7
0000311a: DUP3
0000311b: SUB
0000311c: PUSH1 0x3f
0000311e: NOT
0000311f: ADD
00003120: PUSH1 0xa0
00003122: DUP9
00003123: ADD
00003124: MSTORE
00003125: PUSH2 0x042e
00003128: JUMP
00003129: JUMPDEST
0000312a: SWAP2
0000312b: ADD
0000312c: MLOAD
0000312d: ISZERO
0000312e: ISZERO
0000312f: PUSH1 0xc0
00003131: DUP5
00003132: ADD
00003133: MSTORE
00003134: PUSH1 0x01
00003136: PUSH1 0x01
00003138: PUSH1 0xa0
0000313a: SHL
0000313b: SUB
0000313c: SWAP1
0000313d: SWAP5
0000313e: AND
0000313f: SWAP2
00003140: ADD
00003141: MSTORE
00003142: JUMP
00003143: JUMPDEST
00003144: PUSH1 0x01
00003146: PUSH1 0x01
00003148: PUSH1 0xa0
0000314a: SHL
0000314b: SUB
0000314c: DUP2
0000314d: AND
0000314e: SWAP2
0000314f: SWAP1
00003150: DUP3
00003151: ISZERO
00003152: PUSH2 0x2d82
00003155: JUMPI
00003156: PUSH1 0x07
00003158: SLOAD
00003159: SWAP1
0000315a: DUP3
0000315b: DUP3
0000315c: ADD
0000315d: DUP1
0000315e: SWAP3
0000315f: GT
00003160: PUSH2 0x1c89
00003163: JUMPI
00003164: PUSH0
00003165: SWAP3
00003166: PUSH2 0x31a6
00003169: PUSH1 0x20
0000316b: SWAP3
0000316c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000318d: SWAP5
0000318e: PUSH1 0x07
00003190: SSTORE
00003191: PUSH1 0x01
00003193: DUP1
00003194: PUSH1 0xa0
00003196: SHL
00003197: SUB
00003198: AND
00003199: PUSH0
0000319a: MSTORE
0000319b: PUSH1 0x05
0000319d: PUSH1 0x20
0000319f: MSTORE
000031a0: PUSH1 0x40
000031a2: PUSH0
000031a3: KECCAK256
000031a4: SWAP1
000031a5: JUMP
000031a6: JUMPDEST
000031a7: DUP2
000031a8: DUP2
000031a9: SLOAD
000031aa: ADD
000031ab: SWAP1
000031ac: SSTORE
000031ad: PUSH1 0x40
000031af: MLOAD
000031b0: SWAP1
000031b1: DUP2
000031b2: MSTORE
000031b3: LOG3
000031b4: JUMP
000031b5: JUMPDEST
000031b6: DUP1
000031b7: MLOAD
000031b8: DUP3
000031b9: LT
000031ba: ISZERO
000031bb: PUSH2 0x2a87
000031be: JUMPI
000031bf: PUSH1 0x20
000031c1: SWAP2
000031c2: PUSH1 0x05
000031c4: SHL
000031c5: ADD
000031c6: ADD
000031c7: SWAP1
000031c8: JUMP
000031c9: JUMPDEST
000031ca: PUSH1 0x1f
000031cc: DUP3
000031cd: GT
000031ce: PUSH2 0x31d6
000031d1: JUMPI
000031d2: POP
000031d3: POP
000031d4: POP
000031d5: JUMP
000031d6: JUMPDEST
000031d7: PUSH0
000031d8: MSTORE
000031d9: PUSH1 0x20
000031db: PUSH0
000031dc: KECCAK256
000031dd: SWAP1
000031de: PUSH1 0x20
000031e0: PUSH1 0x1f
000031e2: DUP5
000031e3: ADD
000031e4: PUSH1 0x05
000031e6: SHR
000031e7: DUP4
000031e8: ADD
000031e9: SWAP4
000031ea: LT
000031eb: PUSH2 0x320e
000031ee: JUMPI
000031ef: JUMPDEST
000031f0: PUSH1 0x1f
000031f2: ADD
000031f3: PUSH1 0x05
000031f5: SHR
000031f6: ADD
000031f7: SWAP1
000031f8: JUMPDEST
000031f9: DUP2
000031fa: DUP2
000031fb: LT
000031fc: PUSH2 0x3203
000031ff: JUMPI
00003200: POP
00003201: POP
00003202: JUMP
00003203: JUMPDEST
00003204: PUSH0
00003205: DUP2
00003206: SSTORE
00003207: PUSH1 0x01
00003209: ADD
0000320a: PUSH2 0x31f8
0000320d: JUMP
0000320e: JUMPDEST
0000320f: SWAP1
00003210: SWAP2
00003211: POP
00003212: DUP2
00003213: SWAP1
00003214: PUSH2 0x31ef
00003217: JUMP
00003218: JUMPDEST
00003219: SWAP2
0000321a: SWAP1
0000321b: SWAP2
0000321c: DUP3
0000321d: MLOAD
0000321e: PUSH1 0x01
00003220: PUSH1 0x01
00003222: PUSH1 0x40
00003224: SHL
00003225: SUB
00003226: DUP2
00003227: GT
00003228: PUSH2 0x135e
0000322b: JUMPI
0000322c: PUSH2 0x323f
0000322f: DUP2
00003230: PUSH2 0x3239
00003233: DUP5
00003234: SLOAD
00003235: PUSH2 0x1266
00003238: JUMP
00003239: JUMPDEST
0000323a: DUP5
0000323b: PUSH2 0x31c9
0000323e: JUMP
0000323f: JUMPDEST
00003240: PUSH1 0x20
00003242: DUP1
00003243: PUSH1 0x1f
00003245: DUP4
00003246: GT
00003247: PUSH1 0x01
00003249: EQ
0000324a: PUSH2 0x3280
0000324d: JUMPI
0000324e: POP
0000324f: DUP2
00003250: SWAP1
00003251: PUSH2 0x3271
00003254: SWAP4
00003255: SWAP5
00003256: SWAP6
00003257: PUSH0
00003258: SWAP3
00003259: PUSH2 0x3275
0000325c: JUMPI
0000325d: JUMPDEST
0000325e: POP
0000325f: POP
00003260: DUP2
00003261: PUSH1 0x01
00003263: SHL
00003264: SWAP2
00003265: PUSH0
00003266: NOT
00003267: SWAP1
00003268: PUSH1 0x03
0000326a: SHL
0000326b: SHR
0000326c: NOT
0000326d: AND
0000326e: OR
0000326f: SWAP1
00003270: JUMP
00003271: JUMPDEST
00003272: SWAP1
00003273: SSTORE
00003274: JUMP
00003275: JUMPDEST
00003276: ADD
00003277: MLOAD
00003278: SWAP1
00003279: POP
0000327a: PUSH0
0000327b: DUP1
0000327c: PUSH2 0x325d
0000327f: JUMP
00003280: JUMPDEST
00003281: SWAP1
00003282: PUSH1 0x1f
00003284: NOT
00003285: DUP4
00003286: AND
00003287: SWAP6
00003288: PUSH2 0x3294
0000328b: DUP6
0000328c: PUSH0
0000328d: MSTORE
0000328e: PUSH1 0x20
00003290: PUSH0
00003291: KECCAK256
00003292: SWAP1
00003293: JUMP
00003294: JUMPDEST
00003295: SWAP3
00003296: PUSH0
00003297: SWAP1
00003298: JUMPDEST
00003299: DUP9
0000329a: DUP3
0000329b: LT
0000329c: PUSH2 0x32cf
0000329f: JUMPI
000032a0: POP
000032a1: POP
000032a2: DUP4
000032a3: PUSH1 0x01
000032a5: SWAP6
000032a6: SWAP7
000032a7: SWAP8
000032a8: LT
000032a9: PUSH2 0x32b7
000032ac: JUMPI
000032ad: JUMPDEST
000032ae: POP
000032af: POP
000032b0: POP
000032b1: DUP2
000032b2: SHL
000032b3: ADD
000032b4: SWAP1
000032b5: SSTORE
000032b6: JUMP
000032b7: JUMPDEST
000032b8: ADD
000032b9: MLOAD
000032ba: PUSH0
000032bb: NOT
000032bc: PUSH1 0xf8
000032be: DUP5
000032bf: PUSH1 0x03
000032c1: SHL
000032c2: AND
000032c3: SHR
000032c4: NOT
000032c5: AND
000032c6: SWAP1
000032c7: SSTORE
000032c8: PUSH0
000032c9: DUP1
000032ca: DUP1
000032cb: PUSH2 0x32ad
000032ce: JUMP
000032cf: JUMPDEST
000032d0: DUP1
000032d1: PUSH1 0x01
000032d3: DUP6
000032d4: SWAP7
000032d5: DUP3
000032d6: SWAP5
000032d7: SWAP7
000032d8: DUP7
000032d9: ADD
000032da: MLOAD
000032db: DUP2
000032dc: SSTORE
000032dd: ADD
000032de: SWAP6
000032df: ADD
000032e0: SWAP4
000032e1: ADD
000032e2: SWAP1
000032e3: PUSH2 0x3298
000032e6: JUMP
000032e7: JUMPDEST
000032e8: PUSH1 0x20
000032ea: DUP1
000032eb: DUP3
000032ec: ADD
000032ed: SWAP1
000032ee: DUP1
000032ef: DUP4
000032f0: MSTORE
000032f1: DUP4
000032f2: MLOAD
000032f3: DUP1
000032f4: SWAP3
000032f5: MSTORE
000032f6: PUSH1 0x40
000032f8: SWAP3
000032f9: PUSH1 0x40
000032fb: DUP2
000032fc: ADD
000032fd: DUP3
000032fe: PUSH1 0x40
00003300: DUP6
00003301: PUSH1 0x05
00003303: SHL
00003304: DUP5
00003305: ADD
00003306: ADD
00003307: SWAP7
00003308: ADD
00003309: SWAP5
0000330a: PUSH0
0000330b: SWAP3
0000330c: JUMPDEST
0000330d: DUP6
0000330e: DUP5
0000330f: LT
00003310: PUSH2 0x331d
00003313: JUMPI
00003314: POP
00003315: POP
00003316: POP
00003317: POP
00003318: POP
00003319: POP
0000331a: POP
0000331b: SWAP1
0000331c: JUMP
0000331d: JUMPDEST
0000331e: SWAP1
0000331f: SWAP2
00003320: SWAP3
00003321: SWAP4
00003322: SWAP5
00003323: SWAP6
00003324: SWAP7
00003325: DUP6
00003326: DUP1
00003327: PUSH2 0x3360
0000332a: PUSH1 0x01
0000332c: SWAP4
0000332d: PUSH1 0x3f
0000332f: NOT
00003330: DUP7
00003331: DUP3
00003332: SUB
00003333: ADD
00003334: DUP9
00003335: MSTORE
00003336: DUP12
00003337: MLOAD
00003338: DUP8
00003339: PUSH1 0x60
0000333b: SWAP2
0000333c: PUSH4 0xffffffff
00003341: DUP2
00003342: MLOAD
00003343: AND
00003344: DUP5
00003345: MSTORE
00003346: PUSH2 0xffff
00003349: DUP7
0000334a: DUP3
0000334b: ADD
0000334c: MLOAD
0000334d: AND
0000334e: DUP7
0000334f: DUP6
00003350: ADD
00003351: MSTORE
00003352: ADD
00003353: MLOAD
00003354: SWAP2
00003355: DUP2
00003356: DUP10
00003357: DUP3
00003358: ADD
00003359: MSTORE
0000335a: ADD
0000335b: SWAP1
0000335c: PUSH2 0x042e
0000335f: JUMP
00003360: JUMPDEST
00003361: SWAP10
00003362: ADD
00003363: SWAP5
00003364: ADD
00003365: SWAP5
00003366: ADD
00003367: SWAP3
00003368: SWAP6
00003369: SWAP5
0000336a: SWAP4
0000336b: SWAP2
0000336c: SWAP1
0000336d: PUSH2 0x330c
00003370: JUMP
00003371: JUMPDEST
00003372: PUSH0
00003373: JUMPDEST
00003374: DUP2
00003375: MLOAD
00003376: DUP2
00003377: LT
00003378: ISZERO
00003379: PUSH2 0x33f6
0000337c: JUMPI
0000337d: PUSH1 0x01
0000337f: SWAP1
00003380: PUSH2 0x33f0
00003383: PUSH1 0x40
00003385: PUSH2 0x339a
00003388: DUP2
00003389: PUSH2 0x3392
0000338c: DUP6
0000338d: DUP9
0000338e: PUSH2 0x31b5
00003391: JUMP
00003392: JUMPDEST
00003393: MLOAD
00003394: ADD
00003395: MLOAD
00003396: PUSH2 0x342d
00003399: JUMP
0000339a: JUMPDEST
0000339b: PUSH2 0x33eb
0000339e: DUP2
0000339f: PUSH2 0x33a8
000033a2: DUP6
000033a3: DUP9
000033a4: PUSH2 0x31b5
000033a7: JUMP
000033a8: JUMPDEST
000033a9: MLOAD
000033aa: ADD
000033ab: MLOAD
000033ac: SWAP2
000033ad: PUSH4 0xffffffff
000033b2: PUSH2 0x33bb
000033b5: DUP7
000033b6: DUP10
000033b7: PUSH2 0x31b5
000033ba: JUMP
000033bb: JUMPDEST
000033bc: MLOAD
000033bd: MLOAD
000033be: AND
000033bf: PUSH0
000033c0: MSTORE
000033c1: PUSH2 0xffff
000033c4: PUSH1 0x20
000033c6: SWAP2
000033c7: PUSH1 0x03
000033c9: DUP4
000033ca: MSTORE
000033cb: PUSH0
000033cc: KECCAK256
000033cd: SWAP2
000033ce: PUSH2 0x33d7
000033d1: DUP8
000033d2: DUP11
000033d3: PUSH2 0x31b5
000033d6: JUMP
000033d7: JUMPDEST
000033d8: MLOAD
000033d9: ADD
000033da: MLOAD
000033db: AND
000033dc: PUSH2 0xffff
000033df: AND
000033e0: PUSH0
000033e1: MSTORE
000033e2: PUSH1 0x20
000033e4: MSTORE
000033e5: PUSH1 0x40
000033e7: PUSH0
000033e8: KECCAK256
000033e9: SWAP1
000033ea: JUMP
000033eb: JUMPDEST
000033ec: PUSH2 0x3218
000033ef: JUMP
000033f0: JUMPDEST
000033f1: ADD
000033f2: PUSH2 0x3373
000033f5: JUMP
000033f6: JUMPDEST
000033f7: POP
000033f8: PUSH2 0x3428
000033fb: PUSH32 0xbe4864a8e820971c0247f5992e2da559595f7bf076a21cb5928d443d2a13b674
0000341c: SWAP2
0000341d: PUSH1 0x40
0000341f: MLOAD
00003420: SWAP2
00003421: DUP3
00003422: SWAP2
00003423: DUP3
00003424: PUSH2 0x32e7
00003427: JUMP
00003428: JUMPDEST
00003429: SUB
0000342a: SWAP1
0000342b: LOG1
0000342c: JUMP
0000342d: JUMPDEST
0000342e: PUSH1 0x03
00003430: PUSH2 0xffff
00003433: PUSH1 0x02
00003435: DUP4
00003436: ADD
00003437: MLOAD
00003438: AND
00003439: SUB
0000343a: PUSH2 0x3440
0000343d: JUMPI
0000343e: POP
0000343f: JUMP
00003440: JUMPDEST
00003441: PUSH1 0x40
00003443: MLOAD
00003444: PUSH4 0x9a6d49cd
00003449: PUSH1 0xe0
0000344b: SHL
0000344c: DUP2
0000344d: MSTORE
0000344e: PUSH1 0x20
00003450: PUSH1 0x04
00003452: DUP3
00003453: ADD
00003454: MSTORE
00003455: SWAP1
00003456: DUP2
00003457: SWAP1
00003458: PUSH2 0x0add
0000345b: SWAP1
0000345c: PUSH1 0x24
0000345e: DUP4
0000345f: ADD
00003460: SWAP1
00003461: PUSH2 0x042e
00003464: JUMP
00003465: JUMPDEST
00003466: PUSH1 0x40
00003468: SWAP1
00003469: PUSH1 0x23
0000346b: NOT
0000346c: ADD
0000346d: SLT
0000346e: PUSH2 0x0409
00003471: JUMPI
00003472: PUSH1 0x40
00003474: MLOAD
00003475: SWAP1
00003476: PUSH2 0x347e
00003479: DUP3
0000347a: PUSH2 0x1376
0000347d: JUMP
0000347e: JUMPDEST
0000347f: PUSH1 0x24
00003481: CALLDATALOAD
00003482: DUP3
00003483: MSTORE
00003484: PUSH1 0x44
00003486: CALLDATALOAD
00003487: PUSH1 0x20
00003489: DUP4
0000348a: ADD
0000348b: MSTORE
0000348c: JUMP
0000348d: JUMPDEST
0000348e: SWAP1
0000348f: PUSH1 0x01
00003491: PUSH1 0x01
00003493: PUSH1 0xa0
00003495: SHL
00003496: SUB
00003497: DUP1
00003498: DUP4
00003499: AND
0000349a: ISZERO
0000349b: PUSH2 0x0609
0000349e: JUMPI
0000349f: DUP2
000034a0: AND
000034a1: ISZERO
000034a2: PUSH2 0x05f1
000034a5: JUMPI
000034a6: PUSH2 0x05a4
000034a9: PUSH2 0x34c2
000034ac: SWAP3
000034ad: PUSH1 0x01
000034af: DUP1
000034b0: PUSH1 0xa0
000034b2: SHL
000034b3: SUB
000034b4: AND
000034b5: PUSH0
000034b6: MSTORE
000034b7: PUSH1 0x06
000034b9: PUSH1 0x20
000034bb: MSTORE
000034bc: PUSH1 0x40
000034be: PUSH0
000034bf: KECCAK256
000034c0: SWAP1
000034c1: JUMP
000034c2: JUMPDEST
000034c3: SSTORE
000034c4: JUMP
000034c5: JUMPDEST
000034c6: DUP2
000034c7: ISZERO
000034c8: PUSH2 0x34cf
000034cb: JUMPI
000034cc: DIV
000034cd: SWAP1
000034ce: JUMP
000034cf: JUMPDEST
000034d0: PUSH4 0x4e487b71
000034d5: PUSH1 0xe0
000034d7: SHL
000034d8: PUSH0
000034d9: MSTORE
000034da: PUSH1 0x12
000034dc: PUSH1 0x04
000034de: MSTORE
000034df: PUSH1 0x24
000034e1: PUSH0
000034e2: REVERT
000034e3: JUMPDEST
000034e4: DUP2
000034e5: DUP2
000034e6: MUL
000034e7: SWAP3
000034e8: SWAP2
000034e9: DUP2
000034ea: ISZERO
000034eb: SWAP2
000034ec: DUP5
000034ed: DIV
000034ee: EQ
000034ef: OR
000034f0: ISZERO
000034f1: PUSH2 0x1c89
000034f4: JUMPI
000034f5: JUMP
000034f6: JUMPDEST
000034f7: SWAP1
000034f8: PUSH1 0x20
000034fa: GT
000034fb: PUSH2 0x0409
000034fe: JUMPI
000034ff: CALLDATALOAD
00003500: SWAP1
00003501: JUMP
00003502: JUMPDEST
00003503: SWAP1
00003504: PUSH1 0x28
00003506: GT
00003507: PUSH2 0x0409
0000350a: JUMPI
0000350b: PUSH1 0x20
0000350d: ADD
0000350e: CALLDATALOAD
0000350f: PUSH1 0xc0
00003511: SHR
00003512: SWAP1
00003513: JUMP
00003514: JUMPDEST
00003515: PUSH2 0x0464
00003518: SWAP1
00003519: PUSH1 0x01
0000351b: PUSH1 0x01
0000351d: PUSH1 0x40
0000351f: SHL
00003520: SUB
00003521: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00003542: SWAP2
00003543: AND
00003544: PUSH2 0x34e3
00003547: JUMP
00003548: JUMPDEST
00003549: DUP2
0000354a: PUSH1 0x01
0000354c: PUSH1 0x01
0000354e: PUSH1 0xa0
00003550: SHL
00003551: SUB
00003552: DUP3
00003553: AND
00003554: ISZERO
00003555: PUSH2 0x3562
00003558: JUMPI
00003559: JUMPDEST
0000355a: PUSH2 0x0464
0000355d: SWAP2
0000355e: PUSH2 0x3143
00003561: JUMP
00003562: JUMPDEST
00003563: PUSH2 0xdead
00003566: SWAP2
00003567: POP
00003568: PUSH2 0x3559
0000356b: JUMP
0000356c: JUMPDEST
0000356d: SWAP1
0000356e: DUP1
0000356f: PUSH1 0x28
00003571: GT
00003572: PUSH2 0x0409
00003575: JUMPI
00003576: PUSH2 0x0464
00003579: SWAP2
0000357a: CALLDATASIZE
0000357b: SWAP2
0000357c: PUSH1 0x27
0000357e: NOT
0000357f: ADD
00003580: SWAP1
00003581: PUSH1 0x28
00003583: ADD
00003584: PUSH2 0x28ef
00003587: JUMP
00003588: JUMPDEST
00003589: PUSH1 0x4c
0000358b: SWAP2
0000358c: SWAP4
0000358d: PUSH2 0x0464
00003590: SWAP4
00003591: PUSH1 0x40
00003593: MLOAD
00003594: SWAP6
00003595: DUP7
00003596: SWAP4
00003597: PUSH1 0x01
00003599: PUSH1 0x01
0000359b: PUSH1 0x40
0000359d: SHL
0000359e: SUB
0000359f: PUSH1 0xc0
000035a1: SHL
000035a2: SWAP1
000035a3: PUSH1 0xc0
000035a5: SHL
000035a6: AND
000035a7: PUSH1 0x20
000035a9: DUP6
000035aa: ADD
000035ab: MSTORE
000035ac: PUSH4 0xffffffff
000035b1: PUSH1 0xe0
000035b3: SHL
000035b4: SWAP1
000035b5: PUSH1 0xe0
000035b7: SHL
000035b8: AND
000035b9: PUSH1 0x28
000035bb: DUP5
000035bc: ADD
000035bd: MSTORE
000035be: PUSH1 0x2c
000035c0: DUP4
000035c1: ADD
000035c2: MSTORE
000035c3: PUSH2 0x35d5
000035c6: DUP2
000035c7: MLOAD
000035c8: DUP1
000035c9: SWAP3
000035ca: PUSH1 0x20
000035cc: DUP7
000035cd: DUP7
000035ce: ADD
000035cf: SWAP2
000035d0: ADD
000035d1: PUSH2 0x040d
000035d4: JUMP
000035d5: JUMPDEST
000035d6: DUP2
000035d7: ADD
000035d8: SUB
000035d9: PUSH1 0x2c
000035db: DUP2
000035dc: ADD
000035dd: DUP5
000035de: MSTORE
000035df: ADD
000035e0: DUP3
000035e1: PUSH2 0x13ac
000035e4: JUMP
000035e5: JUMPDEST
000035e6: SWAP1
000035e7: PUSH0
000035e8: PUSH1 0x20
000035ea: SWAP2
000035eb: DUP3
000035ec: DUP2
000035ed: MLOAD
000035ee: SWAP2
000035ef: ADD
000035f0: DUP3
000035f1: DUP6
000035f2: GAS
000035f3: CALL
000035f4: ISZERO
000035f5: PUSH2 0x27f6
000035f8: JUMPI
000035f9: PUSH0
000035fa: MLOAD
000035fb: RETURNDATASIZE
000035fc: PUSH2 0x3636
000035ff: JUMPI
00003600: POP
00003601: PUSH1 0x01
00003603: PUSH1 0x01
00003605: PUSH1 0xa0
00003607: SHL
00003608: SUB
00003609: DUP2
0000360a: AND
0000360b: EXTCODESIZE
0000360c: ISZERO
0000360d: JUMPDEST
0000360e: PUSH2 0x3614
00003611: JUMPI
00003612: POP
00003613: JUMP
00003614: JUMPDEST
00003615: PUSH1 0x40
00003617: MLOAD
00003618: PUSH4 0x5274afe7
0000361d: PUSH1 0xe0
0000361f: SHL
00003620: DUP2
00003621: MSTORE
00003622: PUSH1 0x01
00003624: PUSH1 0x01
00003626: PUSH1 0xa0
00003628: SHL
00003629: SUB
0000362a: SWAP1
0000362b: SWAP2
0000362c: AND
0000362d: PUSH1 0x04
0000362f: DUP3
00003630: ADD
00003631: MSTORE
00003632: PUSH1 0x24
00003634: SWAP1
00003635: REVERT
00003636: JUMPDEST
00003637: PUSH1 0x01
00003639: EQ
0000363a: ISZERO
0000363b: PUSH2 0x360d
0000363e: JUMP
0000363f: JUMPDEST
00003640: DUP3
00003641: MLOAD
00003642: ISZERO
00003643: DUP1
00003644: ISZERO
00003645: SWAP4
00003646: SWAP1
00003647: PUSH2 0x369d
0000364a: JUMPI
0000364b: PUSH2 0x369a
0000364e: SWAP2
0000364f: PUSH1 0x68
00003651: SWAP2
00003652: PUSH1 0x40
00003654: MLOAD
00003655: SWAP5
00003656: DUP6
00003657: SWAP3
00003658: PUSH1 0x20
0000365a: DUP5
0000365b: ADD
0000365c: MSTORE
0000365d: PUSH1 0x01
0000365f: PUSH1 0x01
00003661: PUSH1 0x40
00003663: SHL
00003664: SUB
00003665: PUSH1 0xc0
00003667: SHL
00003668: SWAP1
00003669: PUSH1 0xc0
0000366b: SHL
0000366c: AND
0000366d: PUSH1 0x40
0000366f: DUP4
00003670: ADD
00003671: MSTORE
00003672: CALLER
00003673: PUSH1 0x48
00003675: DUP4
00003676: ADD
00003677: MSTORE
00003678: PUSH2 0x368a
0000367b: DUP2
0000367c: MLOAD
0000367d: DUP1
0000367e: SWAP3
0000367f: PUSH1 0x20
00003681: DUP7
00003682: DUP7
00003683: ADD
00003684: SWAP2
00003685: ADD
00003686: PUSH2 0x040d
00003689: JUMP
0000368a: JUMPDEST
0000368b: DUP2
0000368c: ADD
0000368d: SUB
0000368e: PUSH1 0x48
00003690: DUP2
00003691: ADD
00003692: DUP5
00003693: MSTORE
00003694: ADD
00003695: DUP3
00003696: PUSH2 0x13ac
00003699: JUMP
0000369a: JUMPDEST
0000369b: SWAP2
0000369c: JUMP
0000369d: JUMPDEST
0000369e: POP
0000369f: SWAP1
000036a0: PUSH1 0x40
000036a2: MLOAD
000036a3: SWAP2
000036a4: PUSH1 0x20
000036a6: DUP4
000036a7: ADD
000036a8: MSTORE
000036a9: PUSH1 0x01
000036ab: PUSH1 0x01
000036ad: PUSH1 0x40
000036af: SHL
000036b0: SUB
000036b1: PUSH1 0xc0
000036b3: SHL
000036b4: SWAP1
000036b5: PUSH1 0xc0
000036b7: SHL
000036b8: AND
000036b9: PUSH1 0x40
000036bb: DUP3
000036bc: ADD
000036bd: MSTORE
000036be: PUSH1 0x28
000036c0: DUP2
000036c1: MSTORE
000036c2: PUSH2 0x369a
000036c5: DUP2
000036c6: PUSH2 0x1343
000036c9: JUMP
000036ca: JUMPDEST
000036cb: SWAP1
000036cc: PUSH1 0x80
000036ce: DUP3
000036cf: DUP3
000036d0: SUB
000036d1: SLT
000036d2: PUSH2 0x0409
000036d5: JUMPI
000036d6: PUSH2 0x3704
000036d9: SWAP1
000036da: PUSH1 0x40
000036dc: DUP1
000036dd: MLOAD
000036de: SWAP4
000036df: PUSH2 0x36e7
000036e2: DUP6
000036e3: PUSH2 0x1343
000036e6: JUMP
000036e7: JUMPDEST
000036e8: DUP1
000036e9: MLOAD
000036ea: DUP6
000036eb: MSTORE
000036ec: PUSH1 0x20
000036ee: DUP2
000036ef: ADD
000036f0: MLOAD
000036f1: PUSH2 0x36f9
000036f4: DUP2
000036f5: PUSH2 0x2ac8
000036f8: JUMP
000036f9: JUMPDEST
000036fa: PUSH1 0x20
000036fc: DUP7
000036fd: ADD
000036fe: MSTORE
000036ff: ADD
00003700: PUSH2 0x3099
00003703: JUMP
00003704: JUMPDEST
00003705: PUSH1 0x40
00003707: DUP3
00003708: ADD
00003709: MSTORE
0000370a: SWAP1
0000370b: JUMP
0000370c: JUMPDEST
0000370d: PUSH2 0x3769
00003710: PUSH1 0x80
00003712: SWAP5
00003713: SWAP3
00003714: PUSH2 0x3785
00003717: SWAP7
00003718: SWAP5
00003719: PUSH2 0x3720
0000371c: PUSH2 0x2bb1
0000371f: JUMP
00003720: JUMPDEST
00003721: POP
00003722: PUSH1 0x20
00003724: PUSH2 0x372d
00003727: DUP7
00003728: MLOAD
00003729: PUSH2 0x37fc
0000372c: JUMP
0000372d: JUMPDEST
0000372e: SWAP6
0000372f: ADD
00003730: SWAP2
00003731: DUP3
00003732: MLOAD
00003733: DUP1
00003734: PUSH2 0x37ed
00003737: JUMPI
00003738: JUMPDEST
00003739: POP
0000373a: PUSH2 0x3742
0000373d: DUP6
0000373e: PUSH2 0x2c31
00003741: JUMP
00003742: JUMPDEST
00003743: SWAP3
00003744: MLOAD
00003745: ISZERO
00003746: ISZERO
00003747: SWAP3
00003748: PUSH2 0x3752
0000374b: PUSH2 0x1071
0000374e: PUSH2 0x27bc
00003751: JUMP
00003752: JUMPDEST
00003753: PUSH1 0x20
00003755: DUP7
00003756: ADD
00003757: MSTORE
00003758: PUSH1 0x40
0000375a: DUP6
0000375b: ADD
0000375c: MSTORE
0000375d: PUSH1 0x60
0000375f: DUP5
00003760: ADD
00003761: MSTORE
00003762: ISZERO
00003763: ISZERO
00003764: DUP6
00003765: DUP4
00003766: ADD
00003767: MSTORE
00003768: JUMP
00003769: JUMPDEST
0000376a: PUSH1 0x40
0000376c: MLOAD
0000376d: DUP1
0000376e: SWAP6
0000376f: DUP2
00003770: SWAP5
00003771: DUP3
00003772: SWAP4
00003773: PUSH4 0x02637a45
00003778: PUSH1 0xe4
0000377a: SHL
0000377b: DUP5
0000377c: MSTORE
0000377d: PUSH1 0x04
0000377f: DUP5
00003780: ADD
00003781: PUSH2 0x30d5
00003784: JUMP
00003785: JUMPDEST
00003786: SUB
00003787: SWAP2
00003788: PUSH32 0x0000000000000000000000001a44076050125825900e736c501f859c50fe728c
000037a9: PUSH1 0x01
000037ab: PUSH1 0x01
000037ad: PUSH1 0xa0
000037af: SHL
000037b0: SUB
000037b1: AND
000037b2: GAS
000037b3: CALL
000037b4: SWAP1
000037b5: DUP2
000037b6: ISZERO
000037b7: PUSH2 0x07fa
000037ba: JUMPI
000037bb: PUSH0
000037bc: SWAP2
000037bd: PUSH2 0x37c4
000037c0: JUMPI
000037c1: POP
000037c2: SWAP1
000037c3: JUMP
000037c4: JUMPDEST
000037c5: PUSH2 0x0464
000037c8: SWAP2
000037c9: POP
000037ca: PUSH1 0x80
000037cc: RETURNDATASIZE
000037cd: PUSH1 0x80
000037cf: GT
000037d0: PUSH2 0x37e6
000037d3: JUMPI
000037d4: JUMPDEST
000037d5: PUSH2 0x37de
000037d8: DUP2
000037d9: DUP4
000037da: PUSH2 0x13ac
000037dd: JUMP
000037de: JUMPDEST
000037df: DUP2
000037e0: ADD
000037e1: SWAP1
000037e2: PUSH2 0x36ca
000037e5: JUMP
000037e6: JUMPDEST
000037e7: POP
000037e8: RETURNDATASIZE
000037e9: PUSH2 0x37d4
000037ec: JUMP
000037ed: JUMPDEST
000037ee: PUSH2 0x37f6
000037f1: SWAP1
000037f2: PUSH2 0x381e
000037f5: JUMP
000037f6: JUMPDEST
000037f7: PUSH0
000037f8: PUSH2 0x3738
000037fb: JUMP
000037fc: JUMPDEST
000037fd: DUP1
000037fe: CALLVALUE
000037ff: SUB
00003800: PUSH2 0x3806
00003803: JUMPI
00003804: SWAP1
00003805: JUMP
00003806: JUMPDEST
00003807: PUSH1 0x40
00003809: MLOAD
0000380a: PUSH4 0x04fb8209
0000380f: PUSH1 0xe5
00003811: SHL
00003812: DUP2
00003813: MSTORE
00003814: CALLVALUE
00003815: PUSH1 0x04
00003817: DUP3
00003818: ADD
00003819: MSTORE
0000381a: PUSH1 0x24
0000381c: SWAP1
0000381d: REVERT
0000381e: JUMPDEST
0000381f: PUSH1 0x40
00003821: MLOAD
00003822: PUSH4 0x393f8765
00003827: PUSH1 0xe2
00003829: SHL
0000382a: DUP2
0000382b: MSTORE
0000382c: PUSH1 0x01
0000382e: PUSH1 0x01
00003830: PUSH1 0xa0
00003832: SHL
00003833: SUB
00003834: PUSH32 0x0000000000000000000000001a44076050125825900e736c501f859c50fe728c
00003855: DUP2
00003856: AND
00003857: SWAP3
00003858: SWAP2
00003859: PUSH1 0x20
0000385b: DUP2
0000385c: PUSH1 0x04
0000385e: DUP2
0000385f: DUP8
00003860: GAS
00003861: STATICCALL
00003862: SWAP1
00003863: DUP2
00003864: ISZERO
00003865: PUSH2 0x07fa
00003868: JUMPI
00003869: PUSH0
0000386a: SWAP2
0000386b: PUSH2 0x3895
0000386e: JUMPI
0000386f: JUMPDEST
00003870: POP
00003871: AND
00003872: SWAP2
00003873: DUP3
00003874: ISZERO
00003875: PUSH2 0x3883
00003878: JUMPI
00003879: PUSH2 0x0697
0000387c: SWAP3
0000387d: CALLER
0000387e: SWAP1
0000387f: PUSH2 0x2e4f
00003882: JUMP
00003883: JUMPDEST
00003884: PUSH1 0x40
00003886: MLOAD
00003887: PUSH4 0x29b99a95
0000388c: PUSH1 0xe1
0000388e: SHL
0000388f: DUP2
00003890: MSTORE
00003891: PUSH1 0x04
00003893: SWAP1
00003894: REVERT
00003895: JUMPDEST
00003896: PUSH2 0x38ae
00003899: SWAP2
0000389a: POP
0000389b: PUSH1 0x20
0000389d: RETURNDATASIZE
0000389e: PUSH1 0x20
000038a0: GT
000038a1: PUSH2 0x0825
000038a4: JUMPI
000038a5: PUSH2 0x0817
000038a8: DUP2
000038a9: DUP4
000038aa: PUSH2 0x13ac
000038ad: JUMP
000038ae: JUMPDEST
000038af: PUSH0
000038b0: PUSH2 0x386f
000038b3: JUMP
000038b4: INVALID
000038b5: UNKNOWN(0xEF)
000038b6: UNKNOWN(0xED)
000038b7: PUSH14 0x3500546b29533b128a29e3a94d70
000038c6: PUSH25 0x8727f0507505ac12eaf2e578fd9ca26469706673582212205e
000038e0: UNKNOWN(0xDC)
000038e1: UNKNOWN(0xE5)
000038e2: UNKNOWN(0x24)
000038e3: UNKNOWN(0xEA)
000038e4: UNKNOWN(0x0D)
000038e5: PUSH20 0xc8a12127fd2fd9eab1ca160cd4fd33354b82241a
000038fa: STATICCALL
000038fb: LOG3
000038fc: DUP10
000038fd: SAR
000038fe: UNKNOWN(0x0D)
000038ff: PUSH5 0x736f6c6343
00003905: STOP
00003906: ADDMOD
00003907: AND
00003908: STOP
00003909: CALLER