Analysis Run

[codex:1076872] OpenAI Codex v0.77.0 (research preview)
[codex:1076872] --------
[codex:1076872] workdir: /tmp/codex-multi-st1873ix
[codex:1076872] model: gpt-5.2-codex
[codex:1076872] provider: openai
[codex:1076872] approval: never
[codex:1076872] sandbox: read-only
[codex:1076872] reasoning effort: xhigh
[codex:1076872] reasoning summaries: auto
[codex:1076872] session id: 019b7f56-ebfa-70d0-8726-7076e211a4b6
[codex:1076872] --------
[codex:1076872] user
[codex:1076872] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1076872] 
[codex:1076872] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1076872] 
[codex:1076872] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1076872] - Gas inefficiency, code quality, naming, or best practices
[codex:1076872] - Theoretical vulnerabilities without a clear extraction path
[codex:1076872] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1076872] - Front-running unless it enables theft beyond MEV
[codex:1076872] - DoS, griefing, or issues that don't result in attacker profit
[codex:1076872] - Missing events, view function issues, or informational findings
[codex:1076872] 
[codex:1076872] HIGH-VALUE PATTERNS TO HUNT:
[codex:1076872] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1076872] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1076872] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1076872] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1076872] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1076872] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1076872] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1076872] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1076872] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1076872] 
[codex:1076872] For each finding, you MUST provide:
[codex:1076872] 1. Exact file and line numbers of vulnerable code
[codex:1076872] 2. Step-by-step exploit transaction sequence
[codex:1076872] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1076872] 
[codex:1076872] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1076872] 
[codex:1076872] Output MUST be valid JSON matching the provided schema.
[codex:1076872] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1076872] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1076872] mcp startup: no servers
[codex:1076872] 
[codex:1076872] thinking
[codex:1076872] **Preparing to read AUDIT_BUNDLE instructions**
[codex:1076872] exec
[codex:1076872] /bin/bash -lc ls in /tmp/codex-multi-st1873ix succeeded in 6ms:
[codex:1076872] AUDIT_BUNDLE.txt
[codex:1076872] codex-output-schema.json
[codex:1076872] contracts
[codex:1076872] 
[codex:1076872] thinking
[codex:1076872] **Reading AUDIT_BUNDLE.txt**
[codex:1076872] exec
[codex:1076872] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-st1873ix succeeded in 6ms:
[codex:1076872] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1076872] 
[codex:1076872] ================================================================================
[codex:1076872] FILE: contracts/src/SplitsWarehouse.sol
[codex:1076872] ================================================================================
[codex:1076872] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1076872] pragma solidity ^0.8.23;
[codex:1076872] 
[codex:1076872] import { Cast } from "./libraries/Cast.sol";
[codex:1076872] 
[codex:1076872] import { ERC6909X } from "./tokens/ERC6909X.sol";
[codex:1076872] import { IERC20Metadata as IERC20 } from "@openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol";
[codex:1076872] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1076872] import { Address } from "@openzeppelin/contracts/utils/Address.sol";
[codex:1076872] import { ShortString, ShortStrings } from "@openzeppelin/contracts/utils/ShortStrings.sol";
[codex:1076872] 
[codex:1076872] /**
[codex:1076872]  * @title Splits Token Warehouse
[codex:1076872]  * @author Splits
[codex:1076872]  * @notice ERC6909 compliant token warehouse for Splits ecosystem
[codex:1076872] 
[codex:1076872] 
[codex:1076872] 
[codex:1076872] thinking
[codex:1076872] **Analyzing SplitsWarehouse contract for profit exploits**
[codex:1076872] 
[codex:1076872] I’m carefully reviewing the SplitsWarehouse contract’s key functions, focusing on withdrawal logic, incentives, and interactions with tokens—including potential issues with fee-on-transfer tokens and reentrancy. I’m evaluating whether these behaviors could yield exploitable profit paths or just griefing, noting the implications of balance handling, token types, and signature nonce usage. It’s complex, but I’m aiming to identify any concrete profit exploits.
[codex:1076872] thinking
[codex:1076872] **Examining signature and approval mechanics for vulnerabilities**
[codex:1076872] 
[codex:1076872] I’m dissecting how nonce usage and signature validation in approval functions might impact security, especially around nonce consumption before signature checks and potential denial-of-service without profit. I’m also checking for subtle reentrancy or authorization issues in token withdrawals, batch transfers, and temporary approvals, focusing on whether these could lead to gains or just revert scenarios.
[codex:1076872] thinking
[codex:1076872] **Preparing final assessment and output JSON**
[codex:1076872] 
[codex:1076872] I’m wrapping up with a thorough review of all parts scanned, including potential edge cases around withdraw incentives, reentrancy, and signature nonce handling. Since I find no concrete exploitable profit path beyond intended behavior, I’m ready to output a summary JSON confirming no findings per requirements.
[codex:1076872] exec
[codex:1076872] /bin/bash -lc "sed -n '1,200p' contracts/src/tokens/ERC6909.sol" in /tmp/codex-multi-st1873ix succeeded in 5ms:
[codex:1076872] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1076872] pragma solidity ^0.8.23;
[codex:1076872] 
[codex:1076872] import { IERC165 } from "../interfaces/IERC165.sol";
[codex:1076872] import { IERC6909 } from "../interfaces/IERC6909.sol";
[codex:1076872] 
[codex:1076872] /// @notice Minimalist and gas efficient standard ERC6909 implementation.
[codex:1076872] /// @author Solmate (https://github.com/transmissions11/solmate/blob/main/src/tokens/ERC6909.sol)
[codex:1076872] abstract contract ERC6909 is IERC6909 {
[codex:1076872]     /* -------------------------------------------------------------------------- */
[codex:1076872]     /*                               ERC6909 STORAGE                              */
[codex:1076872]     /* -------------------------------------------------------------------------- */
[codex:1076872] 
[codex:1076872]     /// @inheritdoc IERC6909
[codex:1076872]     mapping(address owner => mapping(address operator => bool approved)) public isOperator;
[codex:1076872] 
[codex:1076872]     /// @inheritdoc IERC6909
[codex:1076872]     mapping(address owner => mapping(uint256 id => uint256 amount)) public balanceOf;
[codex:1076872] 
[codex:1076872]     /// @inheritdoc IERC6909
[codex:1076872] 
[codex:1076872] thinking
[codex:1076872] **Preparing final JSON summary**
[codex:1076872] codex
[codex:1076872] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` (SplitsWarehouse + ERC6909/6909X stack) and did not find a concrete, exploitable path to extract ETH/tokens/NFTs under the stated assumptions.","findings":[]}
[codex:1076872] tokens used
[codex:1076872] 25,251
[codex:1076872] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` (SplitsWarehouse + ERC6909/6909X stack) and did not find a concrete, exploitable path to extract ETH/tokens/NFTs under the stated assumptions.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T15:36:22.150205+00:00",
        "returncode": 0
    },
    "summary": "Reviewed `AUDIT_BUNDLE.txt` (SplitsWarehouse + ERC6909/6909X stack) and did not find a concrete, exploitable path to extract ETH/tokens/NFTs under the stated assumptions.",
    "raw_final": {
        "summary": "Reviewed `AUDIT_BUNDLE.txt` (SplitsWarehouse + ERC6909/6909X stack) and did not find a concrete, exploitable path to extract ETH/tokens/NFTs under the stated assumptions.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: 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: PUSH3 0xad800c
0000001c: EQ
0000001d: PUSH2 0x1aa7
00000020: JUMPI
00000021: DUP1
00000022: PUSH3 0xfdd58e
00000026: EQ
00000027: PUSH2 0x1a38
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x01ffc9a7
00000031: EQ
00000032: PUSH2 0x1948
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0x0647ee20
0000003c: EQ
0000003d: PUSH2 0x18ce
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x095bcdb6
00000047: EQ
00000048: PUSH2 0x1824
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x10c07f2f
00000052: EQ
00000053: PUSH2 0x17b1
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x14925cad
0000005d: EQ
0000005e: PUSH2 0x148e
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x2e72102f
00000068: EQ
00000069: PUSH2 0x1396
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x31f7d964
00000073: EQ
00000074: PUSH2 0x11ff
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x3644e515
0000007e: EQ
0000007f: PUSH2 0x1356
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x3f26479e
00000089: EQ
0000008a: PUSH2 0x131b
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x3f47e662
00000094: EQ
00000095: PUSH2 0x12d4
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x3fcbd4d1
0000009f: EQ
000000a0: PUSH2 0x1265
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x426a8493
000000aa: EQ
000000ab: PUSH2 0x124b
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x48eebe45
000000b5: EQ
000000b6: PUSH2 0x11ff
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x4e41a1fb
000000c0: EQ
000000c1: PUSH2 0x11aa
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x558a7297
000000cb: EQ
000000cc: PUSH2 0x1155
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x598af9e7
000000d6: EQ
000000d7: PUSH2 0x1103
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x676ae78f
000000e1: EQ
000000e2: PUSH2 0x1067
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x829ab5c1
000000ec: EQ
000000ed: PUSH2 0x0fc9
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x8340f549
000000f7: EQ
000000f8: PUSH2 0x0f3c
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x84b0196e
00000102: EQ
00000103: PUSH2 0x0e0c
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0xb6363cf2
0000010d: EQ
0000010e: PUSH2 0x0d8f
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0xb70e36f0
00000118: EQ
00000119: PUSH2 0x0d11
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0xd23c0724
00000123: EQ
00000124: PUSH2 0x0c49
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xdc393b6b
0000012e: EQ
0000012f: PUSH2 0x0926
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0xe0889029
00000139: EQ
0000013a: PUSH2 0x0550
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0xf46d86e2
00000144: EQ
00000145: PUSH2 0x04f8
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0xf940e385
0000014f: EQ
00000150: PUSH2 0x0308
00000153: JUMPI
00000154: PUSH4 0xfe99049a
00000159: EQ
0000015a: PUSH2 0x0161
0000015d: JUMPI
0000015e: PUSH0
0000015f: DUP1
00000160: REVERT
00000161: JUMPDEST
00000162: CALLVALUE
00000163: PUSH2 0x0304
00000166: JUMPI
00000167: PUSH1 0x80
00000169: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000018a: CALLDATASIZE
0000018b: ADD
0000018c: SLT
0000018d: PUSH2 0x0304
00000190: JUMPI
00000191: PUSH2 0x0198
00000194: PUSH2 0x1b48
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH2 0x01a0
0000019c: PUSH2 0x1b6b
0000019f: JUMP
000001a0: JUMPDEST
000001a1: SWAP1
000001a2: PUSH1 0x44
000001a4: CALLDATALOAD
000001a5: SWAP2
000001a6: PUSH32 0x1b3d7edb2e9c0b0e7c525b20aaaef0f5940d2ed71663c7d39266ecafac728859
000001c7: PUSH2 0x0255
000001ca: PUSH1 0x64
000001cc: CALLDATALOAD
000001cd: SWAP4
000001ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001e3: DUP1
000001e4: SWAP2
000001e5: AND
000001e6: SWAP4
000001e7: DUP5
000001e8: CALLER
000001e9: EQ
000001ea: ISZERO
000001eb: DUP1
000001ec: PUSH2 0x02e4
000001ef: JUMPI
000001f0: JUMPDEST
000001f1: PUSH2 0x0263
000001f4: JUMPI
000001f5: JUMPDEST
000001f6: DUP5
000001f7: PUSH0
000001f8: MSTORE
000001f9: PUSH1 0x01
000001fb: PUSH1 0x20
000001fd: MSTORE
000001fe: PUSH1 0x40
00000200: PUSH0
00000201: KECCAK256
00000202: DUP8
00000203: PUSH0
00000204: MSTORE
00000205: PUSH1 0x20
00000207: MSTORE
00000208: PUSH1 0x40
0000020a: PUSH0
0000020b: KECCAK256
0000020c: PUSH2 0x0216
0000020f: DUP8
00000210: DUP3
00000211: SLOAD
00000212: PUSH2 0x1fe8
00000215: JUMP
00000216: JUMPDEST
00000217: SWAP1
00000218: SSTORE
00000219: AND
0000021a: SWAP4
0000021b: DUP5
0000021c: PUSH0
0000021d: MSTORE
0000021e: PUSH1 0x01
00000220: PUSH1 0x20
00000222: MSTORE
00000223: PUSH1 0x40
00000225: PUSH0
00000226: KECCAK256
00000227: DUP7
00000228: PUSH0
00000229: MSTORE
0000022a: PUSH1 0x20
0000022c: MSTORE
0000022d: PUSH1 0x40
0000022f: PUSH0
00000230: KECCAK256
00000231: PUSH2 0x023b
00000234: DUP3
00000235: DUP3
00000236: SLOAD
00000237: PUSH2 0x1ff5
0000023a: JUMP
0000023b: JUMPDEST
0000023c: SWAP1
0000023d: SSTORE
0000023e: PUSH1 0x40
00000240: DUP1
00000241: MLOAD
00000242: CALLER
00000243: DUP2
00000244: MSTORE
00000245: PUSH1 0x20
00000247: DUP2
00000248: ADD
00000249: SWAP3
0000024a: SWAP1
0000024b: SWAP3
0000024c: MSTORE
0000024d: SWAP1
0000024e: SWAP2
0000024f: DUP3
00000250: SWAP2
00000251: DUP3
00000252: ADD
00000253: SWAP1
00000254: JUMP
00000255: JUMPDEST
00000256: SUB
00000257: SWAP1
00000258: LOG4
00000259: PUSH1 0x20
0000025b: PUSH1 0x40
0000025d: MLOAD
0000025e: PUSH1 0x01
00000260: DUP2
00000261: MSTORE
00000262: RETURN
00000263: JUMPDEST
00000264: DUP5
00000265: PUSH0
00000266: MSTORE
00000267: PUSH1 0x20
00000269: PUSH1 0x02
0000026b: DUP2
0000026c: MSTORE
0000026d: PUSH1 0x40
0000026f: PUSH0
00000270: KECCAK256
00000271: CALLER
00000272: PUSH0
00000273: MSTORE
00000274: DUP2
00000275: MSTORE
00000276: PUSH1 0x40
00000278: PUSH0
00000279: KECCAK256
0000027a: DUP9
0000027b: PUSH0
0000027c: MSTORE
0000027d: DUP2
0000027e: MSTORE
0000027f: PUSH1 0x40
00000281: PUSH0
00000282: KECCAK256
00000283: SLOAD
00000284: DUP8
00000285: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000002a6: DUP3
000002a7: SUB
000002a8: PUSH2 0x02b4
000002ab: JUMPI
000002ac: JUMPDEST
000002ad: POP
000002ae: POP
000002af: POP
000002b0: PUSH2 0x01f5
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH2 0x02bd
000002b8: SWAP2
000002b9: PUSH2 0x1fe8
000002bc: JUMP
000002bd: JUMPDEST
000002be: SWAP1
000002bf: DUP7
000002c0: PUSH0
000002c1: MSTORE
000002c2: PUSH1 0x02
000002c4: DUP2
000002c5: MSTORE
000002c6: PUSH1 0x40
000002c8: PUSH0
000002c9: KECCAK256
000002ca: CALLER
000002cb: PUSH0
000002cc: MSTORE
000002cd: DUP2
000002ce: MSTORE
000002cf: PUSH1 0x40
000002d1: PUSH0
000002d2: KECCAK256
000002d3: SWAP1
000002d4: DUP10
000002d5: PUSH0
000002d6: MSTORE
000002d7: MSTORE
000002d8: PUSH1 0x40
000002da: PUSH0
000002db: KECCAK256
000002dc: SSTORE
000002dd: PUSH0
000002de: DUP1
000002df: DUP8
000002e0: PUSH2 0x02ac
000002e3: JUMP
000002e4: JUMPDEST
000002e5: POP
000002e6: DUP5
000002e7: PUSH0
000002e8: MSTORE
000002e9: PUSH0
000002ea: PUSH1 0x20
000002ec: MSTORE
000002ed: PUSH1 0x40
000002ef: PUSH0
000002f0: KECCAK256
000002f1: CALLER
000002f2: PUSH0
000002f3: MSTORE
000002f4: PUSH1 0x20
000002f6: MSTORE
000002f7: PUSH1 0xff
000002f9: PUSH1 0x40
000002fb: PUSH0
000002fc: KECCAK256
000002fd: SLOAD
000002fe: AND
000002ff: ISZERO
00000300: PUSH2 0x01f0
00000303: JUMP
00000304: JUMPDEST
00000305: PUSH0
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: CALLVALUE
0000030a: PUSH2 0x0304
0000030d: JUMPI
0000030e: PUSH1 0x40
00000310: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000331: CALLDATASIZE
00000332: ADD
00000333: SLT
00000334: PUSH2 0x0304
00000337: JUMPI
00000338: PUSH2 0x033f
0000033b: PUSH2 0x1b48
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH2 0x0347
00000343: PUSH2 0x1b6b
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000035d: DUP1
0000035e: DUP4
0000035f: AND
00000360: SWAP1
00000361: DUP2
00000362: CALLER
00000363: EQ
00000364: ISZERO
00000365: DUP1
00000366: PUSH2 0x04ee
00000369: JUMPI
0000036a: JUMPDEST
0000036b: PUSH2 0x04a5
0000036e: JUMPI
0000036f: JUMPDEST
00000370: DUP2
00000371: PUSH0
00000372: MSTORE
00000373: PUSH1 0x01
00000375: PUSH1 0x20
00000377: MSTORE
00000378: PUSH1 0x40
0000037a: PUSH0
0000037b: KECCAK256
0000037c: SWAP3
0000037d: AND
0000037e: SWAP2
0000037f: DUP3
00000380: PUSH0
00000381: MSTORE
00000382: PUSH1 0x20
00000384: MSTORE
00000385: PUSH1 0x40
00000387: PUSH0
00000388: KECCAK256
00000389: SLOAD
0000038a: SWAP3
0000038b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000003ac: DUP5
000003ad: ADD
000003ae: SWAP4
000003af: DUP5
000003b0: GT
000003b1: PUSH2 0x0478
000003b4: JUMPI
000003b5: DUP2
000003b6: PUSH0
000003b7: MSTORE
000003b8: PUSH1 0x01
000003ba: PUSH1 0x20
000003bc: MSTORE
000003bd: PUSH1 0x40
000003bf: PUSH0
000003c0: KECCAK256
000003c1: DUP4
000003c2: PUSH0
000003c3: MSTORE
000003c4: PUSH1 0x20
000003c6: MSTORE
000003c7: PUSH1 0x40
000003c9: PUSH0
000003ca: KECCAK256
000003cb: PUSH2 0x03d5
000003ce: DUP6
000003cf: DUP3
000003d0: SLOAD
000003d1: PUSH2 0x1fe8
000003d4: JUMP
000003d5: JUMPDEST
000003d6: SWAP1
000003d7: SSTORE
000003d8: PUSH1 0x40
000003da: DUP1
000003db: MLOAD
000003dc: CALLER
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x20
000003e1: DUP2
000003e2: ADD
000003e3: DUP7
000003e4: SWAP1
000003e5: MSTORE
000003e6: DUP5
000003e7: SWAP2
000003e8: PUSH0
000003e9: SWAP2
000003ea: DUP6
000003eb: SWAP2
000003ec: PUSH32 0x1b3d7edb2e9c0b0e7c525b20aaaef0f5940d2ed71663c7d39266ecafac728859
0000040d: SWAP2
0000040e: LOG4
0000040f: DUP4
00000410: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000425: DUP5
00000426: SUB
00000427: PUSH2 0x0469
0000042a: JUMPI
0000042b: PUSH2 0x0435
0000042e: SWAP2
0000042f: POP
00000430: DUP3
00000431: PUSH2 0x2c9c
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH1 0x40
00000438: MLOAD
00000439: SWAP3
0000043a: DUP4
0000043b: MSTORE
0000043c: PUSH0
0000043d: PUSH1 0x20
0000043f: DUP5
00000440: ADD
00000441: MSTORE
00000442: PUSH32 0xfbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db
00000463: PUSH1 0x40
00000465: CALLER
00000466: SWAP5
00000467: LOG4
00000468: STOP
00000469: JUMPDEST
0000046a: PUSH2 0x0473
0000046d: SWAP2
0000046e: DUP5
0000046f: PUSH2 0x2c06
00000472: JUMP
00000473: JUMPDEST
00000474: PUSH2 0x0435
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000049a: PUSH0
0000049b: MSTORE
0000049c: PUSH1 0x11
0000049e: PUSH1 0x04
000004a0: MSTORE
000004a1: PUSH1 0x24
000004a3: PUSH0
000004a4: REVERT
000004a5: JUMPDEST
000004a6: DUP2
000004a7: PUSH0
000004a8: MSTORE
000004a9: PUSH1 0x06
000004ab: PUSH1 0x20
000004ad: MSTORE
000004ae: PUSH1 0xff
000004b0: PUSH1 0x40
000004b2: PUSH0
000004b3: KECCAK256
000004b4: SLOAD
000004b5: PUSH1 0x10
000004b7: SHR
000004b8: AND
000004b9: ISZERO
000004ba: PUSH2 0x036f
000004bd: JUMPI
000004be: PUSH1 0x24
000004c0: DUP3
000004c1: PUSH1 0x40
000004c3: MLOAD
000004c4: SWAP1
000004c5: PUSH32 0xc7f7362e00000000000000000000000000000000000000000000000000000000
000004e6: DUP3
000004e7: MSTORE
000004e8: PUSH1 0x04
000004ea: DUP3
000004eb: ADD
000004ec: MSTORE
000004ed: REVERT
000004ee: JUMPDEST
000004ef: POP
000004f0: DUP2
000004f1: ORIGIN
000004f2: EQ
000004f3: ISZERO
000004f4: PUSH2 0x036a
000004f7: JUMP
000004f8: JUMPDEST
000004f9: CALLVALUE
000004fa: PUSH2 0x0304
000004fd: JUMPI
000004fe: PUSH0
000004ff: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000520: CALLDATASIZE
00000521: ADD
00000522: SLT
00000523: PUSH2 0x0304
00000526: JUMPI
00000527: PUSH1 0x20
00000529: PUSH1 0x40
0000052b: MLOAD
0000052c: PUSH32 0x01eb7e05a16709b6f764150593b828b1110ce9fbd8830ba01c079956b1c9cd7f
0000054d: DUP2
0000054e: MSTORE
0000054f: RETURN
00000550: JUMPDEST
00000551: CALLVALUE
00000552: PUSH2 0x0304
00000555: JUMPI
00000556: PUSH1 0x80
00000558: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000579: CALLDATASIZE
0000057a: ADD
0000057b: SLT
0000057c: PUSH2 0x0304
0000057f: JUMPI
00000580: PUSH2 0x0587
00000583: PUSH2 0x1b48
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH8 0xffffffffffffffff
00000591: PUSH1 0x24
00000593: CALLDATALOAD
00000594: DUP2
00000595: DUP2
00000596: GT
00000597: PUSH2 0x0304
0000059a: JUMPI
0000059b: PUSH2 0x05a8
0000059e: SWAP1
0000059f: CALLDATASIZE
000005a0: SWAP1
000005a1: PUSH1 0x04
000005a3: ADD
000005a4: PUSH2 0x1d17
000005a7: JUMP
000005a8: JUMPDEST
000005a9: SWAP1
000005aa: SWAP3
000005ab: PUSH1 0x44
000005ad: CALLDATALOAD
000005ae: DUP4
000005af: DUP2
000005b0: GT
000005b1: PUSH2 0x0304
000005b4: JUMPI
000005b5: PUSH2 0x05c2
000005b8: SWAP1
000005b9: CALLDATASIZE
000005ba: SWAP1
000005bb: PUSH1 0x04
000005bd: ADD
000005be: PUSH2 0x1d17
000005c1: JUMP
000005c2: JUMPDEST
000005c3: SWAP4
000005c4: SWAP1
000005c5: SWAP3
000005c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005db: PUSH1 0x64
000005dd: CALLDATALOAD
000005de: AND
000005df: PUSH1 0x64
000005e1: CALLDATALOAD
000005e2: SUB
000005e3: PUSH2 0x0304
000005e6: JUMPI
000005e7: DUP5
000005e8: DUP2
000005e9: SUB
000005ea: PUSH2 0x08fc
000005ed: JUMPI
000005ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000603: DUP4
00000604: AND
00000605: PUSH0
00000606: MSTORE
00000607: PUSH1 0x06
00000609: PUSH1 0x20
0000060b: MSTORE
0000060c: PUSH1 0x40
0000060e: PUSH0
0000060f: KECCAK256
00000610: SWAP2
00000611: PUSH1 0x40
00000613: MLOAD
00000614: SWAP3
00000615: PUSH1 0x40
00000617: DUP5
00000618: ADD
00000619: SWAP2
0000061a: DUP5
0000061b: DUP4
0000061c: LT
0000061d: SWAP1
0000061e: DUP4
0000061f: GT
00000620: OR
00000621: PUSH2 0x08cf
00000624: JUMPI
00000625: PUSH1 0xff
00000627: SWAP2
00000628: PUSH1 0x40
0000062a: MSTORE
0000062b: SLOAD
0000062c: PUSH2 0xffff
0000062f: DUP2
00000630: AND
00000631: DUP5
00000632: MSTORE
00000633: PUSH1 0x10
00000635: SHR
00000636: AND
00000637: ISZERO
00000638: ISZERO
00000639: DUP1
0000063a: PUSH1 0x20
0000063c: DUP5
0000063d: ADD
0000063e: MSTORE
0000063f: PUSH2 0x0888
00000642: JUMPI
00000643: PUSH0
00000644: JUMPDEST
00000645: DUP2
00000646: DUP2
00000647: LT
00000648: PUSH2 0x064d
0000064b: JUMPI
0000064c: STOP
0000064d: JUMPDEST
0000064e: PUSH2 0x0658
00000651: DUP2
00000652: DUP8
00000653: DUP8
00000654: PUSH2 0x2002
00000657: JUMP
00000658: JUMPDEST
00000659: CALLDATALOAD
0000065a: SWAP1
0000065b: PUSH2 0xffff
0000065e: DUP5
0000065f: MLOAD
00000660: AND
00000661: DUP3
00000662: DUP2
00000663: DUP2
00000664: MUL
00000665: DIV
00000666: DUP2
00000667: EQ
00000668: DUP4
00000669: ISZERO
0000066a: OR
0000066b: ISZERO
0000066c: PUSH2 0x0478
0000066f: JUMPI
00000670: PUSH1 0x01
00000672: SWAP3
00000673: PUSH3 0x0f4240
00000677: PUSH2 0x0689
0000067a: PUSH2 0x0684
0000067d: DUP6
0000067e: DUP9
0000067f: DUP15
00000680: PUSH2 0x2002
00000683: JUMP
00000684: JUMPDEST
00000685: PUSH2 0x203f
00000688: JUMP
00000689: JUMPDEST
0000068a: SWAP3
0000068b: PUSH2 0x0743
0000068e: PUSH2 0x0698
00000691: DUP7
00000692: DUP14
00000693: DUP14
00000694: PUSH2 0x2002
00000697: JUMP
00000698: JUMPDEST
00000699: CALLDATALOAD
0000069a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006af: DUP12
000006b0: AND
000006b1: PUSH0
000006b2: MSTORE
000006b3: DUP8
000006b4: PUSH1 0x20
000006b6: MSTORE
000006b7: PUSH1 0x40
000006b9: PUSH0
000006ba: KECCAK256
000006bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d0: DUP8
000006d1: AND
000006d2: PUSH0
000006d3: MSTORE
000006d4: PUSH1 0x20
000006d6: MSTORE
000006d7: PUSH1 0x40
000006d9: PUSH0
000006da: KECCAK256
000006db: PUSH2 0x06e5
000006de: DUP3
000006df: DUP3
000006e0: SLOAD
000006e1: PUSH2 0x1fe8
000006e4: JUMP
000006e5: JUMPDEST
000006e6: SWAP1
000006e7: SSTORE
000006e8: PUSH1 0x40
000006ea: DUP1
000006eb: MLOAD
000006ec: CALLER
000006ed: DUP2
000006ee: MSTORE
000006ef: PUSH1 0x20
000006f1: DUP2
000006f2: ADD
000006f3: DUP4
000006f4: SWAP1
000006f5: MSTORE
000006f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070b: DUP9
0000070c: DUP2
0000070d: AND
0000070e: SWAP3
0000070f: PUSH0
00000710: SWAP3
00000711: SWAP2
00000712: DUP16
00000713: AND
00000714: SWAP2
00000715: PUSH32 0x1b3d7edb2e9c0b0e7c525b20aaaef0f5940d2ed71663c7d39266ecafac728859
00000736: SWAP2
00000737: SWAP1
00000738: LOG4
00000739: DUP4
0000073a: DUP4
0000073b: DUP7
0000073c: MUL
0000073d: DIV
0000073e: SWAP1
0000073f: PUSH2 0x1fe8
00000742: JUMP
00000743: JUMPDEST
00000744: SWAP3
00000745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075a: DUP6
0000075b: AND
0000075c: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000771: SUB
00000772: PUSH2 0x0836
00000775: JUMPI
00000776: PUSH2 0x0795
00000779: DUP5
0000077a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078f: DUP13
00000790: AND
00000791: PUSH2 0x2c9c
00000794: JUMP
00000795: JUMPDEST
00000796: DUP3
00000797: DUP3
00000798: DUP3
00000799: MUL
0000079a: DIV
0000079b: PUSH2 0x080b
0000079e: JUMPI
0000079f: JUMPDEST
000007a0: PUSH1 0x40
000007a2: MLOAD
000007a3: SWAP4
000007a4: DUP5
000007a5: MSTORE
000007a6: MUL
000007a7: DIV
000007a8: PUSH1 0x20
000007aa: DUP3
000007ab: ADD
000007ac: MSTORE
000007ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c2: DUP1
000007c3: PUSH1 0x64
000007c5: CALLDATALOAD
000007c6: AND
000007c7: SWAP3
000007c8: AND
000007c9: SWAP1
000007ca: PUSH32 0xfbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db
000007eb: PUSH1 0x40
000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000802: DUP11
00000803: AND
00000804: SWAP3
00000805: LOG4
00000806: ADD
00000807: PUSH2 0x0644
0000080a: JUMP
0000080b: JUMPDEST
0000080c: PUSH2 0x0831
0000080f: DUP4
00000810: DUP4
00000811: DUP4
00000812: MUL
00000813: DIV
00000814: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000829: PUSH1 0x64
0000082b: CALLDATALOAD
0000082c: AND
0000082d: PUSH2 0x2c9c
00000830: JUMP
00000831: JUMPDEST
00000832: PUSH2 0x079f
00000835: JUMP
00000836: JUMPDEST
00000837: PUSH2 0x0857
0000083a: DUP5
0000083b: DUP12
0000083c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000851: DUP9
00000852: AND
00000853: PUSH2 0x2c06
00000856: JUMP
00000857: JUMPDEST
00000858: DUP3
00000859: DUP3
0000085a: DUP3
0000085b: MUL
0000085c: DIV
0000085d: ISZERO
0000085e: PUSH2 0x079f
00000861: JUMPI
00000862: PUSH2 0x0831
00000865: DUP4
00000866: DUP4
00000867: DUP4
00000868: MUL
00000869: DIV
0000086a: PUSH1 0x64
0000086c: CALLDATALOAD
0000086d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000882: DUP9
00000883: AND
00000884: PUSH2 0x2c06
00000887: JUMP
00000888: JUMPDEST
00000889: PUSH1 0x24
0000088b: DUP4
0000088c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a1: PUSH1 0x40
000008a3: MLOAD
000008a4: SWAP2
000008a5: PUSH32 0xc7f7362e00000000000000000000000000000000000000000000000000000000
000008c6: DUP4
000008c7: MSTORE
000008c8: AND
000008c9: PUSH1 0x04
000008cb: DUP3
000008cc: ADD
000008cd: MSTORE
000008ce: REVERT
000008cf: JUMPDEST
000008d0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000008f1: PUSH0
000008f2: MSTORE
000008f3: PUSH1 0x41
000008f5: PUSH1 0x04
000008f7: MSTORE
000008f8: PUSH1 0x24
000008fa: PUSH0
000008fb: REVERT
000008fc: JUMPDEST
000008fd: PUSH1 0x04
000008ff: PUSH1 0x40
00000901: MLOAD
00000902: PUSH32 0xff633a3800000000000000000000000000000000000000000000000000000000
00000923: DUP2
00000924: MSTORE
00000925: REVERT
00000926: JUMPDEST
00000927: CALLVALUE
00000928: PUSH2 0x0304
0000092b: JUMPI
0000092c: PUSH2 0x0100
0000092f: DUP1
00000930: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000951: CALLDATASIZE
00000952: ADD
00000953: SLT
00000954: PUSH2 0x0304
00000957: JUMPI
00000958: PUSH2 0x095f
0000095b: PUSH2 0x1b48
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH2 0x0967
00000963: PUSH2 0x1b6b
00000966: JUMP
00000967: JUMPDEST
00000968: PUSH2 0x096f
0000096b: PUSH2 0x1be3
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH1 0x64
00000972: CALLDATALOAD
00000973: SWAP1
00000974: PUSH1 0x84
00000976: CALLDATALOAD
00000977: SWAP3
00000978: PUSH1 0xa4
0000097a: CALLDATALOAD
0000097b: SWAP6
0000097c: PUSH1 0xc4
0000097e: CALLDATALOAD
0000097f: SWAP1
00000980: PUSH6 0xffffffffffff
00000987: DUP3
00000988: AND
00000989: DUP1
0000098a: SWAP3
0000098b: SUB
0000098c: PUSH2 0x0304
0000098f: JUMPI
00000990: PUSH1 0xe4
00000992: CALLDATALOAD
00000993: PUSH8 0xffffffffffffffff
0000099c: DUP2
0000099d: GT
0000099e: PUSH2 0x0304
000009a1: JUMPI
000009a2: PUSH2 0x09af
000009a5: SWAP1
000009a6: CALLDATASIZE
000009a7: SWAP1
000009a8: PUSH1 0x04
000009aa: ADD
000009ab: PUSH2 0x1cd1
000009ae: JUMP
000009af: JUMPDEST
000009b0: PUSH2 0x09b9
000009b3: DUP10
000009b4: DUP10
000009b5: PUSH2 0x2245
000009b8: JUMP
000009b9: JUMPDEST
000009ba: PUSH1 0x40
000009bc: MLOAD
000009bd: SWAP9
000009be: PUSH2 0x09c6
000009c1: DUP11
000009c2: PUSH2 0x1c1e
000009c5: JUMP
000009c6: JUMPDEST
000009c7: PUSH0
000009c8: DUP11
000009c9: MSTORE
000009ca: DUP4
000009cb: TIMESTAMP
000009cc: GT
000009cd: PUSH2 0x0c18
000009d0: JUMPI
000009d1: DUP10
000009d2: MLOAD
000009d3: PUSH1 0x20
000009d5: DUP1
000009d6: SWAP12
000009d7: ADD
000009d8: KECCAK256
000009d9: SWAP4
000009da: PUSH1 0x40
000009dc: MLOAD
000009dd: SWAP1
000009de: DUP12
000009df: DUP3
000009e0: ADD
000009e1: SWAP3
000009e2: PUSH32 0x01eb7e05a16709b6f764150593b828b1110ce9fbd8830ba01c079956b1c9cd7f
00000a03: DUP5
00000a04: MSTORE
00000a05: PUSH1 0x40
00000a07: DUP4
00000a08: ADD
00000a09: PUSH0
00000a0a: SWAP1
00000a0b: MSTORE
00000a0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a21: SWAP7
00000a22: DUP8
00000a23: DUP14
00000a24: AND
00000a25: SWAP7
00000a26: DUP8
00000a27: PUSH1 0x60
00000a29: DUP7
00000a2a: ADD
00000a2b: MSTORE
00000a2c: DUP9
00000a2d: DUP11
00000a2e: AND
00000a2f: PUSH1 0x80
00000a31: DUP7
00000a32: ADD
00000a33: MSTORE
00000a34: DUP11
00000a35: ISZERO
00000a36: ISZERO
00000a37: PUSH1 0xa0
00000a39: DUP7
00000a3a: ADD
00000a3b: MSTORE
00000a3c: DUP12
00000a3d: PUSH1 0xc0
00000a3f: DUP7
00000a40: ADD
00000a41: MSTORE
00000a42: DUP13
00000a43: PUSH1 0xe0
00000a45: DUP7
00000a46: ADD
00000a47: MSTORE
00000a48: DUP5
00000a49: ADD
00000a4a: PUSH0
00000a4b: SWAP1
00000a4c: MSTORE
00000a4d: PUSH2 0x0120
00000a50: DUP5
00000a51: ADD
00000a52: MSTORE
00000a53: PUSH2 0x0140
00000a56: DUP4
00000a57: ADD
00000a58: MSTORE
00000a59: PUSH2 0x0160
00000a5c: SWAP1
00000a5d: DUP2
00000a5e: DUP4
00000a5f: ADD
00000a60: MSTORE
00000a61: DUP2
00000a62: MSTORE
00000a63: PUSH2 0x0a6b
00000a66: DUP2
00000a67: PUSH2 0x1c01
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: MLOAD
00000a6d: SWAP1
00000a6e: KECCAK256
00000a6f: PUSH2 0x0a76
00000a72: PUSH2 0x2466
00000a75: JUMP
00000a76: JUMPDEST
00000a77: SWAP1
00000a78: PUSH1 0x40
00000a7a: MLOAD
00000a7b: SWAP2
00000a7c: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00000a9d: DUP4
00000a9e: MSTORE
00000a9f: PUSH1 0x02
00000aa1: DUP4
00000aa2: ADD
00000aa3: MSTORE
00000aa4: PUSH1 0x22
00000aa6: DUP3
00000aa7: ADD
00000aa8: MSTORE
00000aa9: PUSH1 0x42
00000aab: SWAP1
00000aac: KECCAK256
00000aad: SWAP2
00000aae: PUSH2 0x0ab7
00000ab1: DUP3
00000ab2: DUP5
00000ab3: PUSH2 0x2db3
00000ab6: JUMP
00000ab7: JUMPDEST
00000ab8: PUSH1 0x05
00000aba: DUP2
00000abb: SWAP7
00000abc: SWAP3
00000abd: SWAP7
00000abe: LT
00000abf: ISZERO
00000ac0: PUSH2 0x0beb
00000ac3: JUMPI
00000ac4: ISZERO
00000ac5: SWAP5
00000ac6: DUP6
00000ac7: PUSH2 0x0bdf
00000aca: JUMPI
00000acb: JUMPDEST
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: DUP3
00000ad0: ISZERO
00000ad1: PUSH2 0x0b1a
00000ad4: JUMPI
00000ad5: JUMPDEST
00000ad6: POP
00000ad7: POP
00000ad8: ISZERO
00000ad9: PUSH2 0x0af0
00000adc: JUMPI
00000add: PUSH2 0x0ae5
00000ae0: SWAP5
00000ae1: PUSH2 0x296f
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: POP
00000ae7: POP
00000ae8: PUSH1 0x40
00000aea: MLOAD
00000aeb: PUSH1 0x01
00000aed: DUP2
00000aee: MSTORE
00000aef: RETURN
00000af0: JUMPDEST
00000af1: PUSH1 0x04
00000af3: PUSH1 0x40
00000af5: MLOAD
00000af6: PUSH32 0x815e1d6400000000000000000000000000000000000000000000000000000000
00000b17: DUP2
00000b18: MSTORE
00000b19: REVERT
00000b1a: JUMPDEST
00000b1b: PUSH0
00000b1c: SWAP2
00000b1d: SWAP3
00000b1e: POP
00000b1f: DUP2
00000b20: SWAP1
00000b21: PUSH1 0x40
00000b23: MLOAD
00000b24: PUSH2 0x0b95
00000b27: DUP2
00000b28: PUSH2 0x0b69
00000b2b: DUP14
00000b2c: DUP3
00000b2d: ADD
00000b2e: SWAP5
00000b2f: PUSH32 0x1626ba7e00000000000000000000000000000000000000000000000000000000
00000b50: SWAP9
00000b51: DUP10
00000b52: DUP8
00000b53: MSTORE
00000b54: PUSH1 0x24
00000b56: DUP5
00000b57: ADD
00000b58: MSTORE
00000b59: PUSH1 0x40
00000b5b: PUSH1 0x44
00000b5d: DUP5
00000b5e: ADD
00000b5f: MSTORE
00000b60: PUSH1 0x64
00000b62: DUP4
00000b63: ADD
00000b64: SWAP1
00000b65: PUSH2 0x1b05
00000b68: JUMP
00000b69: JUMPDEST
00000b6a: SUB
00000b6b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000b8c: DUP2
00000b8d: ADD
00000b8e: DUP4
00000b8f: MSTORE
00000b90: DUP3
00000b91: PUSH2 0x1c56
00000b94: JUMP
00000b95: JUMPDEST
00000b96: MLOAD
00000b97: SWAP1
00000b98: DUP10
00000b99: GAS
00000b9a: STATICCALL
00000b9b: SWAP1
00000b9c: PUSH2 0x0ba3
00000b9f: PUSH2 0x2c6d
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: DUP3
00000ba5: PUSH2 0x0bd2
00000ba8: JUMPI
00000ba9: JUMPDEST
00000baa: DUP3
00000bab: PUSH2 0x0bb8
00000bae: JUMPI
00000baf: JUMPDEST
00000bb0: POP
00000bb1: POP
00000bb2: DUP8
00000bb3: DUP1
00000bb4: PUSH2 0x0ad5
00000bb7: JUMP
00000bb8: JUMPDEST
00000bb9: SWAP1
00000bba: SWAP2
00000bbb: POP
00000bbc: DUP8
00000bbd: DUP2
00000bbe: DUP1
00000bbf: MLOAD
00000bc0: DUP2
00000bc1: ADD
00000bc2: SUB
00000bc3: SLT
00000bc4: PUSH2 0x0304
00000bc7: JUMPI
00000bc8: DUP8
00000bc9: ADD
00000bca: MLOAD
00000bcb: EQ
00000bcc: DUP8
00000bcd: DUP1
00000bce: PUSH2 0x0baf
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: SWAP2
00000bd4: POP
00000bd5: DUP8
00000bd6: DUP3
00000bd7: MLOAD
00000bd8: LT
00000bd9: ISZERO
00000bda: SWAP2
00000bdb: PUSH2 0x0ba9
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: AND
00000be1: EQ
00000be2: SWAP3
00000be3: POP
00000be4: DUP10
00000be5: DUP1
00000be6: DUP1
00000be7: PUSH2 0x0acb
00000bea: JUMP
00000beb: JUMPDEST
00000bec: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000c0d: PUSH0
00000c0e: MSTORE
00000c0f: PUSH1 0x21
00000c11: PUSH1 0x04
00000c13: MSTORE
00000c14: PUSH1 0x24
00000c16: PUSH0
00000c17: REVERT
00000c18: JUMPDEST
00000c19: PUSH1 0x24
00000c1b: DUP5
00000c1c: PUSH1 0x40
00000c1e: MLOAD
00000c1f: SWAP1
00000c20: PUSH32 0x3aae542900000000000000000000000000000000000000000000000000000000
00000c41: DUP3
00000c42: MSTORE
00000c43: PUSH1 0x04
00000c45: DUP3
00000c46: ADD
00000c47: MSTORE
00000c48: REVERT
00000c49: JUMPDEST
00000c4a: CALLVALUE
00000c4b: PUSH2 0x0304
00000c4e: JUMPI
00000c4f: PUSH1 0x40
00000c51: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c72: CALLDATASIZE
00000c73: ADD
00000c74: SLT
00000c75: PUSH2 0x0304
00000c78: JUMPI
00000c79: CALLER
00000c7a: PUSH0
00000c7b: MSTORE
00000c7c: PUSH1 0x06
00000c7e: PUSH1 0x20
00000c80: MSTORE
00000c81: PUSH1 0x40
00000c83: PUSH0
00000c84: KECCAK256
00000c85: PUSH1 0x04
00000c87: CALLDATALOAD
00000c88: SWAP1
00000c89: PUSH2 0xffff
00000c8c: DUP3
00000c8d: AND
00000c8e: DUP1
00000c8f: SWAP3
00000c90: SUB
00000c91: PUSH2 0x0304
00000c94: JUMPI
00000c95: DUP1
00000c96: SLOAD
00000c97: PUSH1 0x24
00000c99: CALLDATALOAD
00000c9a: DUP1
00000c9b: ISZERO
00000c9c: ISZERO
00000c9d: DUP1
00000c9e: SWAP2
00000c9f: SUB
00000ca0: PUSH2 0x0304
00000ca3: JUMPI
00000ca4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff000000
00000cc5: PUSH3 0xff0000
00000cc9: DUP6
00000cca: SWAP3
00000ccb: PUSH1 0x10
00000ccd: SHL
00000cce: AND
00000ccf: SWAP3
00000cd0: AND
00000cd1: OR
00000cd2: OR
00000cd3: SWAP1
00000cd4: SSTORE
00000cd5: PUSH1 0x40
00000cd7: MLOAD
00000cd8: SWAP1
00000cd9: DUP2
00000cda: MSTORE
00000cdb: PUSH2 0x0ce2
00000cde: PUSH2 0x1bf2
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: ISZERO
00000ce4: ISZERO
00000ce5: PUSH1 0x20
00000ce7: DUP3
00000ce8: ADD
00000ce9: MSTORE
00000cea: PUSH32 0xbc150027ce95c264ad6d257eb2f738f76ce357f3b4a68aaf2d1681ce903cb21c
00000d0b: PUSH1 0x40
00000d0d: CALLER
00000d0e: SWAP3
00000d0f: LOG2
00000d10: STOP
00000d11: JUMPDEST
00000d12: CALLVALUE
00000d13: PUSH2 0x0304
00000d16: JUMPI
00000d17: PUSH1 0x20
00000d19: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000d3a: CALLDATASIZE
00000d3b: ADD
00000d3c: SLT
00000d3d: PUSH2 0x0304
00000d40: JUMPI
00000d41: PUSH1 0x04
00000d43: CALLDATALOAD
00000d44: CALLER
00000d45: PUSH0
00000d46: MSTORE
00000d47: PUSH1 0x05
00000d49: PUSH1 0x20
00000d4b: MSTORE
00000d4c: PUSH1 0x40
00000d4e: PUSH0
00000d4f: KECCAK256
00000d50: DUP2
00000d51: PUSH1 0x08
00000d53: SHR
00000d54: PUSH0
00000d55: MSTORE
00000d56: PUSH1 0x20
00000d58: MSTORE
00000d59: PUSH1 0x40
00000d5b: PUSH0
00000d5c: KECCAK256
00000d5d: PUSH1 0x01
00000d5f: PUSH1 0xff
00000d61: DUP4
00000d62: AND
00000d63: SHL
00000d64: DUP2
00000d65: SLOAD
00000d66: OR
00000d67: SWAP1
00000d68: SSTORE
00000d69: CALLER
00000d6a: PUSH32 0x239b0d63832ec06e8082928dc583392b57a30d16e4bb425b49d82c7808e308b0
00000d8b: PUSH0
00000d8c: DUP1
00000d8d: LOG3
00000d8e: STOP
00000d8f: JUMPDEST
00000d90: CALLVALUE
00000d91: PUSH2 0x0304
00000d94: JUMPI
00000d95: PUSH1 0x40
00000d97: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000db8: CALLDATASIZE
00000db9: ADD
00000dba: SLT
00000dbb: PUSH2 0x0304
00000dbe: JUMPI
00000dbf: PUSH2 0x0dc6
00000dc2: PUSH2 0x1b48
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: PUSH2 0x0dce
00000dca: PUSH2 0x1b6b
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: SWAP1
00000dd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de5: DUP1
00000de6: SWAP2
00000de7: AND
00000de8: PUSH0
00000de9: MSTORE
00000dea: PUSH0
00000deb: PUSH1 0x20
00000ded: MSTORE
00000dee: PUSH1 0x40
00000df0: PUSH0
00000df1: KECCAK256
00000df2: SWAP2
00000df3: AND
00000df4: PUSH0
00000df5: MSTORE
00000df6: PUSH1 0x20
00000df8: MSTORE
00000df9: PUSH1 0x20
00000dfb: PUSH1 0xff
00000dfd: PUSH1 0x40
00000dff: PUSH0
00000e00: KECCAK256
00000e01: SLOAD
00000e02: AND
00000e03: PUSH1 0x40
00000e05: MLOAD
00000e06: SWAP1
00000e07: ISZERO
00000e08: ISZERO
00000e09: DUP2
00000e0a: MSTORE
00000e0b: RETURN
00000e0c: JUMPDEST
00000e0d: CALLVALUE
00000e0e: PUSH2 0x0304
00000e11: JUMPI
00000e12: PUSH0
00000e13: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000e34: CALLDATASIZE
00000e35: ADD
00000e36: SLT
00000e37: PUSH2 0x0304
00000e3a: JUMPI
00000e3b: PUSH2 0x0edf
00000e3e: PUSH2 0x0e66
00000e41: PUSH32 0x53706c69747357617265686f757365000000000000000000000000000000000f
00000e62: PUSH2 0x277e
00000e65: JUMP
00000e66: JUMPDEST
00000e67: PUSH2 0x0e8f
00000e6a: PUSH32 0x7631000000000000000000000000000000000000000000000000000000000002
00000e8b: PUSH2 0x28ad
00000e8e: JUMP
00000e8f: JUMPDEST
00000e90: PUSH1 0x40
00000e92: MLOAD
00000e93: SWAP1
00000e94: PUSH2 0x0e9c
00000e97: DUP3
00000e98: PUSH2 0x1c1e
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: PUSH0
00000e9e: DUP3
00000e9f: MSTORE
00000ea0: PUSH2 0x0eed
00000ea3: PUSH1 0x20
00000ea5: SWAP2
00000ea6: PUSH1 0x40
00000ea8: MLOAD
00000ea9: SWAP6
00000eaa: DUP7
00000eab: SWAP6
00000eac: PUSH32 0x0f00000000000000000000000000000000000000000000000000000000000000
00000ecd: DUP8
00000ece: MSTORE
00000ecf: PUSH1 0xe0
00000ed1: PUSH1 0x20
00000ed3: DUP9
00000ed4: ADD
00000ed5: MSTORE
00000ed6: PUSH1 0xe0
00000ed8: DUP8
00000ed9: ADD
00000eda: SWAP1
00000edb: PUSH2 0x1b05
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: SWAP1
00000ee1: DUP6
00000ee2: DUP3
00000ee3: SUB
00000ee4: PUSH1 0x40
00000ee6: DUP8
00000ee7: ADD
00000ee8: MSTORE
00000ee9: PUSH2 0x1b05
00000eec: JUMP
00000eed: JUMPDEST
00000eee: CHAINID
00000eef: PUSH1 0x60
00000ef1: DUP6
00000ef2: ADD
00000ef3: MSTORE
00000ef4: ADDRESS
00000ef5: PUSH1 0x80
00000ef7: DUP6
00000ef8: ADD
00000ef9: MSTORE
00000efa: PUSH0
00000efb: PUSH1 0xa0
00000efd: DUP6
00000efe: ADD
00000eff: MSTORE
00000f00: DUP4
00000f01: DUP2
00000f02: SUB
00000f03: PUSH1 0xc0
00000f05: DUP6
00000f06: ADD
00000f07: MSTORE
00000f08: PUSH1 0x20
00000f0a: DUP1
00000f0b: DUP5
00000f0c: MLOAD
00000f0d: SWAP3
00000f0e: DUP4
00000f0f: DUP2
00000f10: MSTORE
00000f11: ADD
00000f12: SWAP4
00000f13: ADD
00000f14: SWAP2
00000f15: PUSH0
00000f16: JUMPDEST
00000f17: DUP3
00000f18: DUP2
00000f19: LT
00000f1a: PUSH2 0x0f25
00000f1d: JUMPI
00000f1e: POP
00000f1f: POP
00000f20: POP
00000f21: POP
00000f22: SUB
00000f23: SWAP1
00000f24: RETURN
00000f25: JUMPDEST
00000f26: DUP4
00000f27: MLOAD
00000f28: DUP6
00000f29: MSTORE
00000f2a: DUP7
00000f2b: SWAP6
00000f2c: POP
00000f2d: SWAP4
00000f2e: DUP2
00000f2f: ADD
00000f30: SWAP4
00000f31: SWAP3
00000f32: DUP2
00000f33: ADD
00000f34: SWAP3
00000f35: PUSH1 0x01
00000f37: ADD
00000f38: PUSH2 0x0f16
00000f3b: JUMP
00000f3c: JUMPDEST
00000f3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f52: PUSH2 0x0f5a
00000f55: CALLDATASIZE
00000f56: PUSH2 0x1dd2
00000f59: JUMP
00000f5a: JUMPDEST
00000f5b: SWAP2
00000f5c: SWAP3
00000f5d: AND
00000f5e: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000f73: DUP2
00000f74: SUB
00000f75: PUSH2 0x0fb4
00000f78: JUMPI
00000f79: CALLVALUE
00000f7a: DUP3
00000f7b: SUB
00000f7c: PUSH2 0x0f8a
00000f7f: JUMPI
00000f80: PUSH2 0x0f88
00000f83: SWAP3
00000f84: PUSH2 0x269c
00000f87: JUMP
00000f88: JUMPDEST
00000f89: STOP
00000f8a: JUMPDEST
00000f8b: PUSH1 0x04
00000f8d: PUSH1 0x40
00000f8f: MLOAD
00000f90: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000
00000fb1: DUP2
00000fb2: MSTORE
00000fb3: REVERT
00000fb4: JUMPDEST
00000fb5: PUSH2 0x0f88
00000fb8: SWAP3
00000fb9: PUSH2 0x0fc4
00000fbc: DUP4
00000fbd: ADDRESS
00000fbe: CALLER
00000fbf: DUP6
00000fc0: PUSH2 0x2702
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: PUSH2 0x269c
00000fc8: JUMP
00000fc9: JUMPDEST
00000fca: CALLVALUE
00000fcb: PUSH2 0x0304
00000fce: JUMPI
00000fcf: PUSH1 0xc0
00000fd1: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000ff2: CALLDATASIZE
00000ff3: ADD
00000ff4: SLT
00000ff5: PUSH2 0x0304
00000ff8: JUMPI
00000ff9: PUSH2 0x1000
00000ffc: PUSH2 0x1b48
00000fff: JUMP
00001000: JUMPDEST
00001001: PUSH2 0x1008
00001004: PUSH2 0x1bf2
00001007: JUMP
00001008: JUMPDEST
00001009: SWAP1
0000100a: PUSH1 0x84
0000100c: CALLDATALOAD
0000100d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001022: DUP2
00001023: AND
00001024: DUP2
00001025: SUB
00001026: PUSH2 0x0304
00001029: JUMPI
0000102a: PUSH1 0xa4
0000102c: CALLDATALOAD
0000102d: SWAP3
0000102e: PUSH8 0xffffffffffffffff
00001037: DUP5
00001038: GT
00001039: PUSH2 0x0304
0000103c: JUMPI
0000103d: PUSH2 0x104d
00001040: PUSH2 0x105c
00001043: SWAP5
00001044: CALLDATASIZE
00001045: SWAP1
00001046: PUSH1 0x04
00001048: ADD
00001049: PUSH2 0x1cd1
0000104c: JUMP
0000104d: JUMPDEST
0000104e: SWAP3
0000104f: PUSH1 0x64
00001051: CALLDATALOAD
00001052: SWAP2
00001053: PUSH1 0x44
00001055: CALLDATALOAD
00001056: SWAP2
00001057: CALLER
00001058: PUSH2 0x22da
0000105b: JUMP
0000105c: JUMPDEST
0000105d: PUSH1 0x20
0000105f: PUSH1 0x40
00001061: MLOAD
00001062: PUSH1 0x01
00001064: DUP2
00001065: MSTORE
00001066: RETURN
00001067: JUMPDEST
00001068: PUSH2 0x1070
0000106b: CALLDATASIZE
0000106c: PUSH2 0x1d48
0000106f: JUMP
00001070: JUMPDEST
00001071: SWAP3
00001072: SWAP1
00001073: SWAP2
00001074: SWAP4
00001075: DUP4
00001076: DUP3
00001077: SUB
00001078: PUSH2 0x08fc
0000107b: JUMPI
0000107c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001091: PUSH0
00001092: SWAP6
00001093: AND
00001094: SWAP4
00001095: PUSH0
00001096: JUMPDEST
00001097: DUP4
00001098: DUP2
00001099: LT
0000109a: PUSH2 0x10d1
0000109d: JUMPI
0000109e: DUP7
0000109f: DUP7
000010a0: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000010b5: DUP2
000010b6: SUB
000010b7: PUSH2 0x10c3
000010ba: JUMPI
000010bb: POP
000010bc: CALLVALUE
000010bd: SUB
000010be: PUSH2 0x0f8a
000010c1: JUMPI
000010c2: STOP
000010c3: JUMPDEST
000010c4: SWAP1
000010c5: PUSH2 0x0f88
000010c8: SWAP2
000010c9: ADDRESS
000010ca: SWAP1
000010cb: CALLER
000010cc: SWAP1
000010cd: PUSH2 0x2702
000010d0: JUMP
000010d1: JUMPDEST
000010d2: DUP1
000010d3: PUSH2 0x10fd
000010d6: PUSH2 0x10ed
000010d9: PUSH2 0x10e5
000010dc: PUSH1 0x01
000010de: SWAP5
000010df: DUP7
000010e0: DUP11
000010e1: PUSH2 0x2002
000010e4: JUMP
000010e5: JUMPDEST
000010e6: CALLDATALOAD
000010e7: DUP1
000010e8: SWAP11
000010e9: PUSH2 0x1ff5
000010ec: JUMP
000010ed: JUMPDEST
000010ee: SWAP9
000010ef: DUP9
000010f0: PUSH2 0x0fc4
000010f3: PUSH2 0x0684
000010f6: DUP6
000010f7: DUP11
000010f8: DUP11
000010f9: PUSH2 0x2002
000010fc: JUMP
000010fd: JUMPDEST
000010fe: ADD
000010ff: PUSH2 0x1096
00001102: JUMP
00001103: JUMPDEST
00001104: CALLVALUE
00001105: PUSH2 0x0304
00001108: JUMPI
00001109: PUSH2 0x1111
0000110c: CALLDATASIZE
0000110d: PUSH2 0x1dd2
00001110: JUMP
00001111: JUMPDEST
00001112: SWAP2
00001113: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001128: DUP1
00001129: SWAP2
0000112a: AND
0000112b: PUSH0
0000112c: MSTORE
0000112d: PUSH1 0x02
0000112f: PUSH1 0x20
00001131: MSTORE
00001132: PUSH1 0x40
00001134: PUSH0
00001135: KECCAK256
00001136: SWAP2
00001137: AND
00001138: PUSH0
00001139: MSTORE
0000113a: PUSH1 0x20
0000113c: MSTORE
0000113d: PUSH1 0x40
0000113f: PUSH0
00001140: KECCAK256
00001141: SWAP1
00001142: PUSH0
00001143: MSTORE
00001144: PUSH1 0x20
00001146: MSTORE
00001147: PUSH1 0x20
00001149: PUSH1 0x40
0000114b: PUSH0
0000114c: KECCAK256
0000114d: SLOAD
0000114e: PUSH1 0x40
00001150: MLOAD
00001151: SWAP1
00001152: DUP2
00001153: MSTORE
00001154: RETURN
00001155: JUMPDEST
00001156: CALLVALUE
00001157: PUSH2 0x0304
0000115a: JUMPI
0000115b: PUSH1 0x40
0000115d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000117e: CALLDATASIZE
0000117f: ADD
00001180: SLT
00001181: PUSH2 0x0304
00001184: JUMPI
00001185: PUSH1 0x20
00001187: PUSH2 0x11a0
0000118a: PUSH2 0x1191
0000118d: PUSH2 0x1b48
00001190: JUMP
00001191: JUMPDEST
00001192: PUSH2 0x1199
00001195: PUSH2 0x1bf2
00001198: JUMP
00001199: JUMPDEST
0000119a: SWAP1
0000119b: CALLER
0000119c: PUSH2 0x260c
0000119f: JUMP
000011a0: JUMPDEST
000011a1: PUSH1 0x40
000011a3: MLOAD
000011a4: SWAP1
000011a5: ISZERO
000011a6: ISZERO
000011a7: DUP2
000011a8: MSTORE
000011a9: RETURN
000011aa: JUMPDEST
000011ab: CALLVALUE
000011ac: PUSH2 0x0304
000011af: JUMPI
000011b0: PUSH1 0x20
000011b2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000011d3: CALLDATASIZE
000011d4: ADD
000011d5: SLT
000011d6: PUSH2 0x0304
000011d9: JUMPI
000011da: PUSH2 0x11fb
000011dd: PUSH2 0x11e7
000011e0: PUSH1 0x04
000011e2: CALLDATALOAD
000011e3: PUSH2 0x211a
000011e6: JUMP
000011e7: JUMPDEST
000011e8: PUSH1 0x40
000011ea: MLOAD
000011eb: SWAP2
000011ec: DUP3
000011ed: SWAP2
000011ee: PUSH1 0x20
000011f0: DUP4
000011f1: MSTORE
000011f2: PUSH1 0x20
000011f4: DUP4
000011f5: ADD
000011f6: SWAP1
000011f7: PUSH2 0x1b05
000011fa: JUMP
000011fb: JUMPDEST
000011fc: SUB
000011fd: SWAP1
000011fe: RETURN
000011ff: JUMPDEST
00001200: CALLVALUE
00001201: PUSH2 0x0304
00001204: JUMPI
00001205: PUSH0
00001206: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001227: CALLDATASIZE
00001228: ADD
00001229: SLT
0000122a: PUSH2 0x0304
0000122d: JUMPI
0000122e: PUSH1 0x20
00001230: PUSH1 0x40
00001232: MLOAD
00001233: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001248: DUP2
00001249: MSTORE
0000124a: RETURN
0000124b: JUMPDEST
0000124c: CALLVALUE
0000124d: PUSH2 0x0304
00001250: JUMPI
00001251: PUSH1 0x20
00001253: PUSH2 0x11a0
00001256: PUSH2 0x125e
00001259: CALLDATASIZE
0000125a: PUSH2 0x1b8e
0000125d: JUMP
0000125e: JUMPDEST
0000125f: SWAP2
00001260: CALLER
00001261: PUSH2 0x259e
00001264: JUMP
00001265: JUMPDEST
00001266: CALLVALUE
00001267: PUSH2 0x0304
0000126a: JUMPI
0000126b: PUSH1 0x40
0000126d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000128e: CALLDATASIZE
0000128f: ADD
00001290: SLT
00001291: PUSH2 0x0304
00001294: JUMPI
00001295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012aa: PUSH2 0x12b1
000012ad: PUSH2 0x1b48
000012b0: JUMP
000012b1: JUMPDEST
000012b2: AND
000012b3: PUSH0
000012b4: MSTORE
000012b5: PUSH1 0x05
000012b7: PUSH1 0x20
000012b9: MSTORE
000012ba: PUSH1 0x40
000012bc: PUSH0
000012bd: KECCAK256
000012be: PUSH1 0x24
000012c0: CALLDATALOAD
000012c1: PUSH0
000012c2: MSTORE
000012c3: PUSH1 0x20
000012c5: MSTORE
000012c6: PUSH1 0x20
000012c8: PUSH1 0x40
000012ca: PUSH0
000012cb: KECCAK256
000012cc: SLOAD
000012cd: PUSH1 0x40
000012cf: MLOAD
000012d0: SWAP1
000012d1: DUP2
000012d2: MSTORE
000012d3: RETURN
000012d4: JUMPDEST
000012d5: CALLVALUE
000012d6: PUSH2 0x0304
000012d9: JUMPI
000012da: PUSH1 0x20
000012dc: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000012fd: CALLDATASIZE
000012fe: ADD
000012ff: SLT
00001300: PUSH2 0x0304
00001303: JUMPI
00001304: PUSH1 0x20
00001306: PUSH2 0x1310
00001309: PUSH1 0x04
0000130b: CALLDATALOAD
0000130c: PUSH2 0x2060
0000130f: JUMP
00001310: JUMPDEST
00001311: PUSH1 0xff
00001313: PUSH1 0x40
00001315: MLOAD
00001316: SWAP2
00001317: AND
00001318: DUP2
00001319: MSTORE
0000131a: RETURN
0000131b: JUMPDEST
0000131c: CALLVALUE
0000131d: PUSH2 0x0304
00001320: JUMPI
00001321: PUSH0
00001322: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001343: CALLDATASIZE
00001344: ADD
00001345: SLT
00001346: PUSH2 0x0304
00001349: JUMPI
0000134a: PUSH1 0x20
0000134c: PUSH1 0x40
0000134e: MLOAD
0000134f: PUSH3 0x0f4240
00001353: DUP2
00001354: MSTORE
00001355: RETURN
00001356: JUMPDEST
00001357: CALLVALUE
00001358: PUSH2 0x0304
0000135b: JUMPI
0000135c: PUSH0
0000135d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000137e: CALLDATASIZE
0000137f: ADD
00001380: SLT
00001381: PUSH2 0x0304
00001384: JUMPI
00001385: PUSH1 0x20
00001387: PUSH2 0x138e
0000138a: PUSH2 0x2466
0000138d: JUMP
0000138e: JUMPDEST
0000138f: PUSH1 0x40
00001391: MLOAD
00001392: SWAP1
00001393: DUP2
00001394: MSTORE
00001395: RETURN
00001396: JUMPDEST
00001397: CALLVALUE
00001398: PUSH2 0x0304
0000139b: JUMPI
0000139c: PUSH2 0x13a4
0000139f: CALLDATASIZE
000013a0: PUSH2 0x1d48
000013a3: JUMP
000013a4: JUMPDEST
000013a5: SWAP4
000013a6: SWAP2
000013a7: DUP5
000013a8: DUP5
000013a9: SUB
000013aa: PUSH2 0x08fc
000013ad: JUMPI
000013ae: SWAP4
000013af: SWAP3
000013b0: SWAP2
000013b1: SWAP1
000013b2: PUSH0
000013b3: SWAP5
000013b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c9: DUP1
000013ca: SWAP2
000013cb: AND
000013cc: SWAP5
000013cd: PUSH0
000013ce: SWAP5
000013cf: JUMPDEST
000013d0: DUP1
000013d1: DUP7
000013d2: LT
000013d3: PUSH2 0x13fd
000013d6: JUMPI
000013d7: DUP8
000013d8: DUP8
000013d9: CALLER
000013da: PUSH0
000013db: MSTORE
000013dc: PUSH1 0x01
000013de: PUSH1 0x20
000013e0: MSTORE
000013e1: PUSH1 0x40
000013e3: PUSH0
000013e4: KECCAK256
000013e5: SWAP1
000013e6: PUSH0
000013e7: MSTORE
000013e8: PUSH1 0x20
000013ea: MSTORE
000013eb: PUSH2 0x13f9
000013ee: PUSH1 0x40
000013f0: PUSH0
000013f1: KECCAK256
000013f2: SWAP2
000013f3: DUP3
000013f4: SLOAD
000013f5: PUSH2 0x1fe8
000013f8: JUMP
000013f9: JUMPDEST
000013fa: SWAP1
000013fb: SSTORE
000013fc: STOP
000013fd: JUMPDEST
000013fe: SWAP1
000013ff: SWAP2
00001400: SWAP3
00001401: SWAP4
00001402: SWAP5
00001403: SWAP7
00001404: PUSH2 0x1482
00001407: PUSH1 0x01
00001409: SWAP2
0000140a: PUSH2 0x1417
0000140d: PUSH2 0x0684
00001410: DUP12
00001411: DUP7
00001412: DUP12
00001413: PUSH2 0x2002
00001416: JUMP
00001417: JUMPDEST
00001418: SWAP1
00001419: DUP10
0000141a: DUP8
0000141b: PUSH2 0x1425
0000141e: DUP14
0000141f: DUP10
00001420: DUP13
00001421: PUSH2 0x2002
00001424: JUMP
00001425: JUMPDEST
00001426: CALLDATALOAD
00001427: SWAP4
00001428: AND
00001429: DUP1
0000142a: PUSH0
0000142b: MSTORE
0000142c: PUSH1 0x20
0000142e: DUP7
0000142f: DUP2
00001430: MSTORE
00001431: PUSH1 0x40
00001433: PUSH0
00001434: KECCAK256
00001435: SWAP1
00001436: DUP4
00001437: PUSH0
00001438: MSTORE
00001439: MSTORE
0000143a: PUSH1 0x40
0000143c: PUSH0
0000143d: KECCAK256
0000143e: PUSH2 0x1448
00001441: DUP6
00001442: DUP3
00001443: SLOAD
00001444: PUSH2 0x1ff5
00001447: JUMP
00001448: JUMPDEST
00001449: SWAP1
0000144a: SSTORE
0000144b: PUSH1 0x40
0000144d: DUP1
0000144e: MLOAD
0000144f: CALLER
00001450: DUP1
00001451: DUP3
00001452: MSTORE
00001453: PUSH1 0x20
00001455: DUP3
00001456: ADD
00001457: DUP8
00001458: SWAP1
00001459: MSTORE
0000145a: SWAP2
0000145b: PUSH32 0x1b3d7edb2e9c0b0e7c525b20aaaef0f5940d2ed71663c7d39266ecafac728859
0000147c: SWAP2
0000147d: LOG4
0000147e: PUSH2 0x1ff5
00001481: JUMP
00001482: JUMPDEST
00001483: SWAP8
00001484: ADD
00001485: SWAP5
00001486: SWAP4
00001487: SWAP3
00001488: SWAP2
00001489: SWAP1
0000148a: PUSH2 0x13cf
0000148d: JUMP
0000148e: JUMPDEST
0000148f: CALLVALUE
00001490: PUSH2 0x0304
00001493: JUMPI
00001494: PUSH2 0x0140
00001497: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000014b8: CALLDATASIZE
000014b9: ADD
000014ba: SLT
000014bb: PUSH2 0x0304
000014be: JUMPI
000014bf: PUSH2 0x14c6
000014c2: PUSH2 0x1b48
000014c5: JUMP
000014c6: JUMPDEST
000014c7: PUSH2 0x14ce
000014ca: PUSH2 0x1b6b
000014cd: JUMP
000014ce: JUMPDEST
000014cf: PUSH2 0x14d6
000014d2: PUSH2 0x1be3
000014d5: JUMP
000014d6: JUMPDEST
000014d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ec: PUSH1 0xa4
000014ee: CALLDATALOAD
000014ef: AND
000014f0: PUSH1 0xa4
000014f2: CALLDATALOAD
000014f3: SUB
000014f4: PUSH2 0x0304
000014f7: JUMPI
000014f8: PUSH8 0xffffffffffffffff
00001501: SWAP2
00001502: PUSH1 0xc4
00001504: CALLDATALOAD
00001505: DUP4
00001506: DUP2
00001507: GT
00001508: PUSH2 0x0304
0000150b: JUMPI
0000150c: PUSH2 0x1519
0000150f: SWAP1
00001510: CALLDATASIZE
00001511: SWAP1
00001512: PUSH1 0x04
00001514: ADD
00001515: PUSH2 0x1cd1
00001518: JUMP
00001519: JUMPDEST
0000151a: SWAP3
0000151b: PUSH2 0x0104
0000151e: CALLDATALOAD
0000151f: SWAP1
00001520: PUSH6 0xffffffffffff
00001527: DUP3
00001528: AND
00001529: DUP3
0000152a: SUB
0000152b: PUSH2 0x0304
0000152e: JUMPI
0000152f: PUSH2 0x0124
00001532: CALLDATALOAD
00001533: SWAP1
00001534: DUP2
00001535: GT
00001536: PUSH2 0x0304
00001539: JUMPI
0000153a: PUSH2 0x1547
0000153d: SWAP1
0000153e: CALLDATASIZE
0000153f: SWAP1
00001540: PUSH1 0x04
00001542: ADD
00001543: PUSH2 0x1cd1
00001546: JUMP
00001547: JUMPDEST
00001548: PUSH2 0x1553
0000154b: PUSH1 0xe4
0000154d: CALLDATALOAD
0000154e: DUP8
0000154f: PUSH2 0x2245
00001552: JUMP
00001553: JUMPDEST
00001554: PUSH6 0xffffffffffff
0000155b: DUP3
0000155c: AND
0000155d: TIMESTAMP
0000155e: GT
0000155f: PUSH2 0x1778
00001562: JUMPI
00001563: PUSH1 0x42
00001565: DUP6
00001566: MLOAD
00001567: PUSH1 0x20
00001569: DUP8
0000156a: ADD
0000156b: KECCAK256
0000156c: SWAP3
0000156d: PUSH1 0x40
0000156f: MLOAD
00001570: PUSH1 0x20
00001572: DUP2
00001573: ADD
00001574: SWAP2
00001575: PUSH32 0x01eb7e05a16709b6f764150593b828b1110ce9fbd8830ba01c079956b1c9cd7f
00001596: DUP4
00001597: MSTORE
00001598: PUSH1 0x01
0000159a: PUSH1 0x40
0000159c: DUP4
0000159d: ADD
0000159e: MSTORE
0000159f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b4: DUP11
000015b5: AND
000015b6: SWAP6
000015b7: DUP7
000015b8: PUSH1 0x60
000015ba: DUP5
000015bb: ADD
000015bc: MSTORE
000015bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d2: DUP9
000015d3: AND
000015d4: PUSH1 0x80
000015d6: DUP5
000015d7: ADD
000015d8: MSTORE
000015d9: DUP9
000015da: ISZERO
000015db: ISZERO
000015dc: PUSH1 0xa0
000015de: DUP5
000015df: ADD
000015e0: MSTORE
000015e1: PUSH1 0x64
000015e3: CALLDATALOAD
000015e4: PUSH1 0xc0
000015e6: DUP5
000015e7: ADD
000015e8: MSTORE
000015e9: PUSH1 0x84
000015eb: CALLDATALOAD
000015ec: PUSH1 0xe0
000015ee: DUP5
000015ef: ADD
000015f0: MSTORE
000015f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001606: PUSH1 0xa4
00001608: CALLDATALOAD
00001609: AND
0000160a: PUSH2 0x0100
0000160d: DUP5
0000160e: ADD
0000160f: MSTORE
00001610: PUSH2 0x0120
00001613: DUP4
00001614: ADD
00001615: MSTORE
00001616: PUSH1 0xe4
00001618: CALLDATALOAD
00001619: PUSH2 0x0140
0000161c: DUP4
0000161d: ADD
0000161e: MSTORE
0000161f: PUSH6 0xffffffffffff
00001626: PUSH2 0x0160
00001629: SWAP2
0000162a: AND
0000162b: DUP2
0000162c: DUP4
0000162d: ADD
0000162e: MSTORE
0000162f: DUP2
00001630: MSTORE
00001631: PUSH2 0x1639
00001634: DUP2
00001635: PUSH2 0x1c01
00001638: JUMP
00001639: JUMPDEST
0000163a: MLOAD
0000163b: SWAP1
0000163c: KECCAK256
0000163d: PUSH2 0x1644
00001640: PUSH2 0x2466
00001643: JUMP
00001644: JUMPDEST
00001645: SWAP1
00001646: PUSH1 0x40
00001648: MLOAD
00001649: SWAP2
0000164a: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
0000166b: DUP4
0000166c: MSTORE
0000166d: PUSH1 0x02
0000166f: DUP4
00001670: ADD
00001671: MSTORE
00001672: PUSH1 0x22
00001674: DUP3
00001675: ADD
00001676: MSTORE
00001677: KECCAK256
00001678: SWAP1
00001679: PUSH2 0x1682
0000167c: DUP2
0000167d: DUP4
0000167e: PUSH2 0x2db3
00001681: JUMP
00001682: JUMPDEST
00001683: PUSH1 0x05
00001685: DUP2
00001686: SWAP6
00001687: SWAP3
00001688: SWAP6
00001689: LT
0000168a: ISZERO
0000168b: PUSH2 0x0beb
0000168e: JUMPI
0000168f: ISZERO
00001690: SWAP4
00001691: DUP5
00001692: PUSH2 0x1758
00001695: JUMPI
00001696: JUMPDEST
00001697: POP
00001698: POP
00001699: DUP3
0000169a: ISZERO
0000169b: PUSH2 0x16bb
0000169e: JUMPI
0000169f: JUMPDEST
000016a0: POP
000016a1: POP
000016a2: ISZERO
000016a3: PUSH2 0x0af0
000016a6: JUMPI
000016a7: PUSH2 0x105c
000016aa: SWAP4
000016ab: PUSH1 0xa4
000016ad: CALLDATALOAD
000016ae: SWAP3
000016af: PUSH1 0x84
000016b1: CALLDATALOAD
000016b2: SWAP3
000016b3: PUSH1 0x64
000016b5: CALLDATALOAD
000016b6: SWAP3
000016b7: PUSH2 0x22da
000016ba: JUMP
000016bb: JUMPDEST
000016bc: PUSH0
000016bd: SWAP2
000016be: SWAP3
000016bf: POP
000016c0: DUP2
000016c1: SWAP1
000016c2: PUSH1 0x40
000016c4: MLOAD
000016c5: PUSH2 0x170b
000016c8: DUP2
000016c9: PUSH2 0x0b69
000016cc: PUSH1 0x20
000016ce: DUP3
000016cf: ADD
000016d0: SWAP5
000016d1: PUSH32 0x1626ba7e00000000000000000000000000000000000000000000000000000000
000016f2: SWAP9
000016f3: DUP10
000016f4: DUP8
000016f5: MSTORE
000016f6: PUSH1 0x24
000016f8: DUP5
000016f9: ADD
000016fa: MSTORE
000016fb: PUSH1 0x40
000016fd: PUSH1 0x44
000016ff: DUP5
00001700: ADD
00001701: MSTORE
00001702: PUSH1 0x64
00001704: DUP4
00001705: ADD
00001706: SWAP1
00001707: PUSH2 0x1b05
0000170a: JUMP
0000170b: JUMPDEST
0000170c: MLOAD
0000170d: SWAP1
0000170e: DUP9
0000170f: GAS
00001710: STATICCALL
00001711: SWAP1
00001712: PUSH2 0x1719
00001715: PUSH2 0x2c6d
00001718: JUMP
00001719: JUMPDEST
0000171a: DUP3
0000171b: PUSH2 0x174a
0000171e: JUMPI
0000171f: JUMPDEST
00001720: DUP3
00001721: PUSH2 0x172e
00001724: JUMPI
00001725: JUMPDEST
00001726: POP
00001727: POP
00001728: DUP6
00001729: DUP1
0000172a: PUSH2 0x169f
0000172d: JUMP
0000172e: JUMPDEST
0000172f: SWAP1
00001730: SWAP2
00001731: POP
00001732: PUSH1 0x20
00001734: DUP2
00001735: DUP1
00001736: MLOAD
00001737: DUP2
00001738: ADD
00001739: SUB
0000173a: SLT
0000173b: PUSH2 0x0304
0000173e: JUMPI
0000173f: PUSH1 0x20
00001741: ADD
00001742: MLOAD
00001743: EQ
00001744: DUP6
00001745: DUP1
00001746: PUSH2 0x1725
00001749: JUMP
0000174a: JUMPDEST
0000174b: SWAP2
0000174c: POP
0000174d: PUSH1 0x20
0000174f: DUP3
00001750: MLOAD
00001751: LT
00001752: ISZERO
00001753: SWAP2
00001754: PUSH2 0x171f
00001757: JUMP
00001758: JUMPDEST
00001759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176e: AND
0000176f: EQ
00001770: SWAP3
00001771: POP
00001772: DUP8
00001773: DUP1
00001774: PUSH2 0x1696
00001777: JUMP
00001778: JUMPDEST
00001779: PUSH1 0x24
0000177b: DUP3
0000177c: PUSH6 0xffffffffffff
00001783: PUSH1 0x40
00001785: MLOAD
00001786: SWAP2
00001787: PUSH32 0x3aae542900000000000000000000000000000000000000000000000000000000
000017a8: DUP4
000017a9: MSTORE
000017aa: AND
000017ab: PUSH1 0x04
000017ad: DUP3
000017ae: ADD
000017af: MSTORE
000017b0: REVERT
000017b1: JUMPDEST
000017b2: CALLVALUE
000017b3: PUSH2 0x0304
000017b6: JUMPI
000017b7: PUSH1 0x20
000017b9: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000017da: CALLDATASIZE
000017db: ADD
000017dc: SLT
000017dd: PUSH2 0x0304
000017e0: JUMPI
000017e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f6: PUSH2 0x17fd
000017f9: PUSH2 0x1b48
000017fc: JUMP
000017fd: JUMPDEST
000017fe: AND
000017ff: PUSH0
00001800: MSTORE
00001801: PUSH1 0x06
00001803: PUSH1 0x20
00001805: MSTORE
00001806: PUSH1 0x40
00001808: DUP1
00001809: PUSH0
0000180a: KECCAK256
0000180b: SLOAD
0000180c: PUSH1 0xff
0000180e: DUP3
0000180f: MLOAD
00001810: SWAP2
00001811: PUSH2 0xffff
00001814: DUP2
00001815: AND
00001816: DUP4
00001817: MSTORE
00001818: PUSH1 0x10
0000181a: SHR
0000181b: AND
0000181c: ISZERO
0000181d: ISZERO
0000181e: PUSH1 0x20
00001820: DUP3
00001821: ADD
00001822: MSTORE
00001823: RETURN
00001824: JUMPDEST
00001825: CALLVALUE
00001826: PUSH2 0x0304
00001829: JUMPI
0000182a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000183f: PUSH2 0x1847
00001842: CALLDATASIZE
00001843: PUSH2 0x1b8e
00001846: JUMP
00001847: JUMPDEST
00001848: SWAP2
00001849: SWAP3
0000184a: SWAP1
0000184b: SWAP3
0000184c: CALLER
0000184d: PUSH0
0000184e: MSTORE
0000184f: PUSH1 0x01
00001851: PUSH1 0x20
00001853: MSTORE
00001854: PUSH1 0x40
00001856: PUSH0
00001857: KECCAK256
00001858: DUP5
00001859: PUSH0
0000185a: MSTORE
0000185b: PUSH1 0x20
0000185d: MSTORE
0000185e: PUSH1 0x40
00001860: PUSH0
00001861: KECCAK256
00001862: PUSH2 0x186c
00001865: DUP5
00001866: DUP3
00001867: SLOAD
00001868: PUSH2 0x1fe8
0000186b: JUMP
0000186c: JUMPDEST
0000186d: SWAP1
0000186e: SSTORE
0000186f: AND
00001870: SWAP1
00001871: DUP2
00001872: PUSH0
00001873: MSTORE
00001874: PUSH1 0x01
00001876: PUSH1 0x20
00001878: MSTORE
00001879: PUSH1 0x40
0000187b: PUSH0
0000187c: KECCAK256
0000187d: DUP4
0000187e: PUSH0
0000187f: MSTORE
00001880: PUSH1 0x20
00001882: MSTORE
00001883: PUSH1 0x40
00001885: PUSH0
00001886: KECCAK256
00001887: PUSH2 0x1891
0000188a: DUP3
0000188b: DUP3
0000188c: SLOAD
0000188d: PUSH2 0x1ff5
00001890: JUMP
00001891: JUMPDEST
00001892: SWAP1
00001893: SSTORE
00001894: PUSH1 0x40
00001896: DUP1
00001897: MLOAD
00001898: CALLER
00001899: DUP1
0000189a: DUP3
0000189b: MSTORE
0000189c: PUSH1 0x20
0000189e: DUP3
0000189f: ADD
000018a0: SWAP4
000018a1: SWAP1
000018a2: SWAP4
000018a3: MSTORE
000018a4: PUSH32 0x1b3d7edb2e9c0b0e7c525b20aaaef0f5940d2ed71663c7d39266ecafac728859
000018c5: SWAP2
000018c6: DUP2
000018c7: SWAP1
000018c8: DUP2
000018c9: ADD
000018ca: PUSH2 0x0255
000018cd: JUMP
000018ce: JUMPDEST
000018cf: CALLVALUE
000018d0: PUSH2 0x0304
000018d3: JUMPI
000018d4: PUSH1 0x40
000018d6: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000018f7: CALLDATASIZE
000018f8: ADD
000018f9: SLT
000018fa: PUSH2 0x0304
000018fd: JUMPI
000018fe: PUSH1 0x20
00001900: PUSH1 0x01
00001902: PUSH1 0xff
00001904: PUSH2 0x190b
00001907: PUSH2 0x1b48
0000190a: JUMP
0000190b: JUMPDEST
0000190c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001921: PUSH1 0x24
00001923: CALLDATALOAD
00001924: SWAP2
00001925: AND
00001926: PUSH0
00001927: MSTORE
00001928: PUSH1 0x05
0000192a: DUP5
0000192b: MSTORE
0000192c: PUSH1 0x40
0000192e: PUSH0
0000192f: KECCAK256
00001930: DUP2
00001931: PUSH1 0x08
00001933: SHR
00001934: PUSH0
00001935: MSTORE
00001936: DUP5
00001937: MSTORE
00001938: AND
00001939: SHL
0000193a: PUSH1 0x40
0000193c: PUSH0
0000193d: KECCAK256
0000193e: SLOAD
0000193f: AND
00001940: ISZERO
00001941: PUSH1 0x40
00001943: MLOAD
00001944: SWAP1
00001945: DUP2
00001946: MSTORE
00001947: RETURN
00001948: JUMPDEST
00001949: CALLVALUE
0000194a: PUSH2 0x0304
0000194d: JUMPI
0000194e: PUSH1 0x20
00001950: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001971: CALLDATASIZE
00001972: ADD
00001973: SLT
00001974: PUSH2 0x0304
00001977: JUMPI
00001978: PUSH1 0x04
0000197a: CALLDATALOAD
0000197b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000199c: DUP2
0000199d: AND
0000199e: DUP1
0000199f: SWAP2
000019a0: SUB
000019a1: PUSH2 0x0304
000019a4: JUMPI
000019a5: DUP1
000019a6: PUSH32 0x0f632fb300000000000000000000000000000000000000000000000000000000
000019c7: PUSH1 0x20
000019c9: SWAP3
000019ca: EQ
000019cb: SWAP1
000019cc: DUP2
000019cd: ISZERO
000019ce: PUSH2 0x1a0e
000019d1: JUMPI
000019d2: JUMPDEST
000019d3: DUP2
000019d4: ISZERO
000019d5: PUSH2 0x19e4
000019d8: JUMPI
000019d9: JUMPDEST
000019da: POP
000019db: PUSH1 0x40
000019dd: MLOAD
000019de: SWAP1
000019df: ISZERO
000019e0: ISZERO
000019e1: DUP2
000019e2: MSTORE
000019e3: RETURN
000019e4: JUMPDEST
000019e5: PUSH32 0x4a31d20700000000000000000000000000000000000000000000000000000000
00001a06: SWAP2
00001a07: POP
00001a08: EQ
00001a09: DUP3
00001a0a: PUSH2 0x19d9
00001a0d: JUMP
00001a0e: JUMPDEST
00001a0f: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00001a30: DUP2
00001a31: EQ
00001a32: SWAP2
00001a33: POP
00001a34: PUSH2 0x19d2
00001a37: JUMP
00001a38: JUMPDEST
00001a39: CALLVALUE
00001a3a: PUSH2 0x0304
00001a3d: JUMPI
00001a3e: PUSH1 0x40
00001a40: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001a61: CALLDATASIZE
00001a62: ADD
00001a63: SLT
00001a64: PUSH2 0x0304
00001a67: JUMPI
00001a68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a7d: PUSH2 0x1a84
00001a80: PUSH2 0x1b48
00001a83: JUMP
00001a84: JUMPDEST
00001a85: AND
00001a86: PUSH0
00001a87: MSTORE
00001a88: PUSH1 0x01
00001a8a: PUSH1 0x20
00001a8c: MSTORE
00001a8d: PUSH1 0x40
00001a8f: PUSH0
00001a90: KECCAK256
00001a91: PUSH1 0x24
00001a93: CALLDATALOAD
00001a94: PUSH0
00001a95: MSTORE
00001a96: PUSH1 0x20
00001a98: MSTORE
00001a99: PUSH1 0x20
00001a9b: PUSH1 0x40
00001a9d: PUSH0
00001a9e: KECCAK256
00001a9f: SLOAD
00001aa0: PUSH1 0x40
00001aa2: MLOAD
00001aa3: SWAP1
00001aa4: DUP2
00001aa5: MSTORE
00001aa6: RETURN
00001aa7: JUMPDEST
00001aa8: CALLVALUE
00001aa9: PUSH2 0x0304
00001aac: JUMPI
00001aad: PUSH1 0x20
00001aaf: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001ad0: CALLDATASIZE
00001ad1: ADD
00001ad2: SLT
00001ad3: PUSH2 0x0304
00001ad6: JUMPI
00001ad7: PUSH2 0x11fb
00001ada: PUSH2 0x11e7
00001add: PUSH1 0x04
00001adf: CALLDATALOAD
00001ae0: PUSH2 0x1ed7
00001ae3: JUMP
00001ae4: JUMPDEST
00001ae5: PUSH0
00001ae6: JUMPDEST
00001ae7: DUP4
00001ae8: DUP2
00001ae9: LT
00001aea: PUSH2 0x1af5
00001aed: JUMPI
00001aee: POP
00001aef: POP
00001af0: PUSH0
00001af1: SWAP2
00001af2: ADD
00001af3: MSTORE
00001af4: JUMP
00001af5: JUMPDEST
00001af6: DUP2
00001af7: DUP2
00001af8: ADD
00001af9: MLOAD
00001afa: DUP4
00001afb: DUP3
00001afc: ADD
00001afd: MSTORE
00001afe: PUSH1 0x20
00001b00: ADD
00001b01: PUSH2 0x1ae6
00001b04: JUMP
00001b05: JUMPDEST
00001b06: SWAP1
00001b07: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001b28: PUSH1 0x1f
00001b2a: PUSH1 0x20
00001b2c: SWAP4
00001b2d: PUSH2 0x1b41
00001b30: DUP2
00001b31: MLOAD
00001b32: DUP1
00001b33: SWAP3
00001b34: DUP2
00001b35: DUP8
00001b36: MSTORE
00001b37: DUP8
00001b38: DUP1
00001b39: DUP9
00001b3a: ADD
00001b3b: SWAP2
00001b3c: ADD
00001b3d: PUSH2 0x1ae4
00001b40: JUMP
00001b41: JUMPDEST
00001b42: ADD
00001b43: AND
00001b44: ADD
00001b45: ADD
00001b46: SWAP1
00001b47: JUMP
00001b48: JUMPDEST
00001b49: PUSH1 0x04
00001b4b: CALLDATALOAD
00001b4c: SWAP1
00001b4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b62: DUP3
00001b63: AND
00001b64: DUP3
00001b65: SUB
00001b66: PUSH2 0x0304
00001b69: JUMPI
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: PUSH1 0x24
00001b6e: CALLDATALOAD
00001b6f: SWAP1
00001b70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b85: DUP3
00001b86: AND
00001b87: DUP3
00001b88: SUB
00001b89: PUSH2 0x0304
00001b8c: JUMPI
00001b8d: JUMP
00001b8e: JUMPDEST
00001b8f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001bb0: PUSH1 0x60
00001bb2: SWAP2
00001bb3: ADD
00001bb4: SLT
00001bb5: PUSH2 0x0304
00001bb8: JUMPI
00001bb9: PUSH1 0x04
00001bbb: CALLDATALOAD
00001bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd1: DUP2
00001bd2: AND
00001bd3: DUP2
00001bd4: SUB
00001bd5: PUSH2 0x0304
00001bd8: JUMPI
00001bd9: SWAP1
00001bda: PUSH1 0x24
00001bdc: CALLDATALOAD
00001bdd: SWAP1
00001bde: PUSH1 0x44
00001be0: CALLDATALOAD
00001be1: SWAP1
00001be2: JUMP
00001be3: JUMPDEST
00001be4: PUSH1 0x44
00001be6: CALLDATALOAD
00001be7: SWAP1
00001be8: DUP2
00001be9: ISZERO
00001bea: ISZERO
00001beb: DUP3
00001bec: SUB
00001bed: PUSH2 0x0304
00001bf0: JUMPI
00001bf1: JUMP
00001bf2: JUMPDEST
00001bf3: PUSH1 0x24
00001bf5: CALLDATALOAD
00001bf6: SWAP1
00001bf7: DUP2
00001bf8: ISZERO
00001bf9: ISZERO
00001bfa: DUP3
00001bfb: SUB
00001bfc: PUSH2 0x0304
00001bff: JUMPI
00001c00: JUMP
00001c01: JUMPDEST
00001c02: PUSH2 0x0180
00001c05: DUP2
00001c06: ADD
00001c07: SWAP1
00001c08: DUP2
00001c09: LT
00001c0a: PUSH8 0xffffffffffffffff
00001c13: DUP3
00001c14: GT
00001c15: OR
00001c16: PUSH2 0x08cf
00001c19: JUMPI
00001c1a: PUSH1 0x40
00001c1c: MSTORE
00001c1d: JUMP
00001c1e: JUMPDEST
00001c1f: PUSH1 0x20
00001c21: DUP2
00001c22: ADD
00001c23: SWAP1
00001c24: DUP2
00001c25: LT
00001c26: PUSH8 0xffffffffffffffff
00001c2f: DUP3
00001c30: GT
00001c31: OR
00001c32: PUSH2 0x08cf
00001c35: JUMPI
00001c36: PUSH1 0x40
00001c38: MSTORE
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: PUSH1 0x40
00001c3d: DUP2
00001c3e: ADD
00001c3f: SWAP1
00001c40: DUP2
00001c41: LT
00001c42: PUSH8 0xffffffffffffffff
00001c4b: DUP3
00001c4c: GT
00001c4d: OR
00001c4e: PUSH2 0x08cf
00001c51: JUMPI
00001c52: PUSH1 0x40
00001c54: MSTORE
00001c55: JUMP
00001c56: JUMPDEST
00001c57: SWAP1
00001c58: PUSH1 0x1f
00001c5a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001c7b: SWAP2
00001c7c: ADD
00001c7d: AND
00001c7e: DUP2
00001c7f: ADD
00001c80: SWAP1
00001c81: DUP2
00001c82: LT
00001c83: PUSH8 0xffffffffffffffff
00001c8c: DUP3
00001c8d: GT
00001c8e: OR
00001c8f: PUSH2 0x08cf
00001c92: JUMPI
00001c93: PUSH1 0x40
00001c95: MSTORE
00001c96: JUMP
00001c97: JUMPDEST
00001c98: PUSH8 0xffffffffffffffff
00001ca1: DUP2
00001ca2: GT
00001ca3: PUSH2 0x08cf
00001ca6: JUMPI
00001ca7: PUSH1 0x1f
00001ca9: ADD
00001caa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001ccb: AND
00001ccc: PUSH1 0x20
00001cce: ADD
00001ccf: SWAP1
00001cd0: JUMP
00001cd1: JUMPDEST
00001cd2: DUP2
00001cd3: PUSH1 0x1f
00001cd5: DUP3
00001cd6: ADD
00001cd7: SLT
00001cd8: ISZERO
00001cd9: PUSH2 0x0304
00001cdc: JUMPI
00001cdd: DUP1
00001cde: CALLDATALOAD
00001cdf: SWAP1
00001ce0: PUSH2 0x1ce8
00001ce3: DUP3
00001ce4: PUSH2 0x1c97
00001ce7: JUMP
00001ce8: JUMPDEST
00001ce9: SWAP3
00001cea: PUSH2 0x1cf6
00001ced: PUSH1 0x40
00001cef: MLOAD
00001cf0: SWAP5
00001cf1: DUP6
00001cf2: PUSH2 0x1c56
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: DUP3
00001cf8: DUP5
00001cf9: MSTORE
00001cfa: PUSH1 0x20
00001cfc: DUP4
00001cfd: DUP4
00001cfe: ADD
00001cff: ADD
00001d00: GT
00001d01: PUSH2 0x0304
00001d04: JUMPI
00001d05: DUP2
00001d06: PUSH0
00001d07: SWAP3
00001d08: PUSH1 0x20
00001d0a: DUP1
00001d0b: SWAP4
00001d0c: ADD
00001d0d: DUP4
00001d0e: DUP7
00001d0f: ADD
00001d10: CALLDATACOPY
00001d11: DUP4
00001d12: ADD
00001d13: ADD
00001d14: MSTORE
00001d15: SWAP1
00001d16: JUMP
00001d17: JUMPDEST
00001d18: SWAP2
00001d19: DUP2
00001d1a: PUSH1 0x1f
00001d1c: DUP5
00001d1d: ADD
00001d1e: SLT
00001d1f: ISZERO
00001d20: PUSH2 0x0304
00001d23: JUMPI
00001d24: DUP3
00001d25: CALLDATALOAD
00001d26: SWAP2
00001d27: PUSH8 0xffffffffffffffff
00001d30: DUP4
00001d31: GT
00001d32: PUSH2 0x0304
00001d35: JUMPI
00001d36: PUSH1 0x20
00001d38: DUP1
00001d39: DUP6
00001d3a: ADD
00001d3b: SWAP5
00001d3c: DUP5
00001d3d: PUSH1 0x05
00001d3f: SHL
00001d40: ADD
00001d41: ADD
00001d42: GT
00001d43: PUSH2 0x0304
00001d46: JUMPI
00001d47: JUMP
00001d48: JUMPDEST
00001d49: PUSH1 0x60
00001d4b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001d6c: DUP3
00001d6d: ADD
00001d6e: SLT
00001d6f: PUSH2 0x0304
00001d72: JUMPI
00001d73: PUSH8 0xffffffffffffffff
00001d7c: SWAP1
00001d7d: PUSH1 0x04
00001d7f: CALLDATALOAD
00001d80: DUP3
00001d81: DUP2
00001d82: GT
00001d83: PUSH2 0x0304
00001d86: JUMPI
00001d87: DUP2
00001d88: PUSH2 0x1d93
00001d8b: SWAP2
00001d8c: PUSH1 0x04
00001d8e: ADD
00001d8f: PUSH2 0x1d17
00001d92: JUMP
00001d93: JUMPDEST
00001d94: SWAP4
00001d95: SWAP1
00001d96: SWAP4
00001d97: SWAP3
00001d98: PUSH1 0x24
00001d9a: CALLDATALOAD
00001d9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db0: DUP2
00001db1: AND
00001db2: DUP2
00001db3: SUB
00001db4: PUSH2 0x0304
00001db7: JUMPI
00001db8: SWAP3
00001db9: PUSH1 0x44
00001dbb: CALLDATALOAD
00001dbc: SWAP2
00001dbd: DUP3
00001dbe: GT
00001dbf: PUSH2 0x0304
00001dc2: JUMPI
00001dc3: PUSH2 0x1dce
00001dc6: SWAP2
00001dc7: PUSH1 0x04
00001dc9: ADD
00001dca: PUSH2 0x1d17
00001dcd: JUMP
00001dce: JUMPDEST
00001dcf: SWAP1
00001dd0: SWAP2
00001dd1: JUMP
00001dd2: JUMPDEST
00001dd3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001df4: PUSH1 0x60
00001df6: SWAP2
00001df7: ADD
00001df8: SLT
00001df9: PUSH2 0x0304
00001dfc: JUMPI
00001dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e12: SWAP1
00001e13: PUSH1 0x04
00001e15: CALLDATALOAD
00001e16: DUP3
00001e17: DUP2
00001e18: AND
00001e19: DUP2
00001e1a: SUB
00001e1b: PUSH2 0x0304
00001e1e: JUMPI
00001e1f: SWAP2
00001e20: PUSH1 0x24
00001e22: CALLDATALOAD
00001e23: SWAP1
00001e24: DUP2
00001e25: AND
00001e26: DUP2
00001e27: SUB
00001e28: PUSH2 0x0304
00001e2b: JUMPI
00001e2c: SWAP1
00001e2d: PUSH1 0x44
00001e2f: CALLDATALOAD
00001e30: SWAP1
00001e31: JUMP
00001e32: JUMPDEST
00001e33: PUSH1 0x20
00001e35: DUP2
00001e36: DUP4
00001e37: SUB
00001e38: SLT
00001e39: PUSH2 0x0304
00001e3c: JUMPI
00001e3d: DUP1
00001e3e: MLOAD
00001e3f: SWAP1
00001e40: PUSH8 0xffffffffffffffff
00001e49: DUP3
00001e4a: GT
00001e4b: PUSH2 0x0304
00001e4e: JUMPI
00001e4f: ADD
00001e50: DUP2
00001e51: PUSH1 0x1f
00001e53: DUP3
00001e54: ADD
00001e55: SLT
00001e56: ISZERO
00001e57: PUSH2 0x0304
00001e5a: JUMPI
00001e5b: DUP1
00001e5c: MLOAD
00001e5d: PUSH2 0x1e65
00001e60: DUP2
00001e61: PUSH2 0x1c97
00001e64: JUMP
00001e65: JUMPDEST
00001e66: SWAP3
00001e67: PUSH2 0x1e73
00001e6a: PUSH1 0x40
00001e6c: MLOAD
00001e6d: SWAP5
00001e6e: DUP6
00001e6f: PUSH2 0x1c56
00001e72: JUMP
00001e73: JUMPDEST
00001e74: DUP2
00001e75: DUP5
00001e76: MSTORE
00001e77: PUSH1 0x20
00001e79: DUP3
00001e7a: DUP5
00001e7b: ADD
00001e7c: ADD
00001e7d: GT
00001e7e: PUSH2 0x0304
00001e81: JUMPI
00001e82: PUSH2 0x1e91
00001e85: SWAP2
00001e86: PUSH1 0x20
00001e88: DUP1
00001e89: DUP6
00001e8a: ADD
00001e8b: SWAP2
00001e8c: ADD
00001e8d: PUSH2 0x1ae4
00001e90: JUMP
00001e91: JUMPDEST
00001e92: SWAP1
00001e93: JUMP
00001e94: JUMPDEST
00001e95: PUSH1 0x20
00001e97: PUSH2 0x1ed5
00001e9a: SWAP2
00001e9b: SWAP4
00001e9c: SWAP3
00001e9d: SWAP4
00001e9e: PUSH1 0x40
00001ea0: MLOAD
00001ea1: SWAP5
00001ea2: DUP2
00001ea3: PUSH2 0x1eb5
00001ea6: DUP8
00001ea7: SWAP4
00001ea8: MLOAD
00001ea9: DUP1
00001eaa: SWAP3
00001eab: DUP7
00001eac: DUP1
00001ead: DUP8
00001eae: ADD
00001eaf: SWAP2
00001eb0: ADD
00001eb1: PUSH2 0x1ae4
00001eb4: JUMP
00001eb5: JUMPDEST
00001eb6: DUP3
00001eb7: ADD
00001eb8: PUSH2 0x1ec9
00001ebb: DUP3
00001ebc: MLOAD
00001ebd: DUP1
00001ebe: SWAP4
00001ebf: DUP7
00001ec0: DUP1
00001ec1: DUP6
00001ec2: ADD
00001ec3: SWAP2
00001ec4: ADD
00001ec5: PUSH2 0x1ae4
00001ec8: JUMP
00001ec9: JUMPDEST
00001eca: ADD
00001ecb: SUB
00001ecc: DUP1
00001ecd: DUP6
00001ece: MSTORE
00001ecf: ADD
00001ed0: DUP4
00001ed1: PUSH2 0x1c56
00001ed4: JUMP
00001ed5: JUMPDEST
00001ed6: JUMP
00001ed7: JUMPDEST
00001ed8: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001eed: DUP2
00001eee: EQ
00001eef: PUSH2 0x1fbe
00001ef2: JUMPI
00001ef3: PUSH1 0x04
00001ef5: SWAP1
00001ef6: PUSH0
00001ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0c: PUSH2 0x1f4a
00001f0f: PUSH1 0x40
00001f11: MLOAD
00001f12: SWAP4
00001f13: PUSH2 0x1f1b
00001f16: DUP6
00001f17: PUSH2 0x1c3a
00001f1a: JUMP
00001f1b: JUMPDEST
00001f1c: PUSH1 0x0f
00001f1e: DUP6
00001f1f: MSTORE
00001f20: PUSH32 0x53706c6974732057726170706564200000000000000000000000000000000000
00001f41: PUSH1 0x20
00001f43: DUP7
00001f44: ADD
00001f45: MSTORE
00001f46: PUSH2 0x2aaa
00001f49: JUMP
00001f4a: JUMPDEST
00001f4b: AND
00001f4c: PUSH1 0x40
00001f4e: MLOAD
00001f4f: SWAP4
00001f50: DUP5
00001f51: DUP1
00001f52: SWAP3
00001f53: PUSH32 0x06fdde0300000000000000000000000000000000000000000000000000000000
00001f74: DUP3
00001f75: MSTORE
00001f76: GAS
00001f77: STATICCALL
00001f78: SWAP1
00001f79: DUP2
00001f7a: ISZERO
00001f7b: PUSH2 0x1fb3
00001f7e: JUMPI
00001f7f: PUSH2 0x1e91
00001f82: SWAP3
00001f83: PUSH0
00001f84: SWAP3
00001f85: PUSH2 0x1f8f
00001f88: JUMPI
00001f89: JUMPDEST
00001f8a: POP
00001f8b: PUSH2 0x1e94
00001f8e: JUMP
00001f8f: JUMPDEST
00001f90: PUSH2 0x1fac
00001f93: SWAP2
00001f94: SWAP3
00001f95: POP
00001f96: RETURNDATASIZE
00001f97: DUP1
00001f98: PUSH0
00001f99: DUP4
00001f9a: RETURNDATACOPY
00001f9b: PUSH2 0x1fa4
00001f9e: DUP2
00001f9f: DUP4
00001fa0: PUSH2 0x1c56
00001fa3: JUMP
00001fa4: JUMPDEST
00001fa5: DUP2
00001fa6: ADD
00001fa7: SWAP1
00001fa8: PUSH2 0x1e32
00001fab: JUMP
00001fac: JUMPDEST
00001fad: SWAP1
00001fae: PUSH0
00001faf: PUSH2 0x1f89
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: PUSH1 0x40
00001fb6: MLOAD
00001fb7: RETURNDATASIZE
00001fb8: PUSH0
00001fb9: DUP3
00001fba: RETURNDATACOPY
00001fbb: RETURNDATASIZE
00001fbc: SWAP1
00001fbd: REVERT
00001fbe: JUMPDEST
00001fbf: POP
00001fc0: PUSH2 0x1e91
00001fc3: PUSH32 0x53706c6974732057726170706564204574686572000000000000000000000014
00001fe4: PUSH2 0x21f7
00001fe7: JUMP
00001fe8: JUMPDEST
00001fe9: SWAP2
00001fea: SWAP1
00001feb: DUP3
00001fec: SUB
00001fed: SWAP2
00001fee: DUP3
00001fef: GT
00001ff0: PUSH2 0x0478
00001ff3: JUMPI
00001ff4: JUMP
00001ff5: JUMPDEST
00001ff6: SWAP2
00001ff7: SWAP1
00001ff8: DUP3
00001ff9: ADD
00001ffa: DUP1
00001ffb: SWAP3
00001ffc: GT
00001ffd: PUSH2 0x0478
00002000: JUMPI
00002001: JUMP
00002002: JUMPDEST
00002003: SWAP2
00002004: SWAP1
00002005: DUP2
00002006: LT
00002007: ISZERO
00002008: PUSH2 0x2012
0000200b: JUMPI
0000200c: PUSH1 0x05
0000200e: SHL
0000200f: ADD
00002010: SWAP1
00002011: JUMP
00002012: JUMPDEST
00002013: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002034: PUSH0
00002035: MSTORE
00002036: PUSH1 0x32
00002038: PUSH1 0x04
0000203a: MSTORE
0000203b: PUSH1 0x24
0000203d: PUSH0
0000203e: REVERT
0000203f: JUMPDEST
00002040: CALLDATALOAD
00002041: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002056: DUP2
00002057: AND
00002058: DUP2
00002059: SUB
0000205a: PUSH2 0x0304
0000205d: JUMPI
0000205e: SWAP1
0000205f: JUMP
00002060: JUMPDEST
00002061: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00002076: DUP2
00002077: EQ
00002078: PUSH2 0x2114
0000207b: JUMPI
0000207c: PUSH1 0x20
0000207e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002093: PUSH2 0x209d
00002096: PUSH1 0x04
00002098: SWAP4
00002099: PUSH2 0x2aaa
0000209c: JUMP
0000209d: JUMPDEST
0000209e: AND
0000209f: PUSH1 0x40
000020a1: MLOAD
000020a2: SWAP3
000020a3: DUP4
000020a4: DUP1
000020a5: SWAP3
000020a6: PUSH32 0x313ce56700000000000000000000000000000000000000000000000000000000
000020c7: DUP3
000020c8: MSTORE
000020c9: GAS
000020ca: STATICCALL
000020cb: SWAP1
000020cc: DUP2
000020cd: ISZERO
000020ce: PUSH2 0x1fb3
000020d1: JUMPI
000020d2: PUSH0
000020d3: SWAP2
000020d4: PUSH2 0x20db
000020d7: JUMPI
000020d8: POP
000020d9: SWAP1
000020da: JUMP
000020db: JUMPDEST
000020dc: SWAP1
000020dd: POP
000020de: PUSH1 0x20
000020e0: DUP2
000020e1: RETURNDATASIZE
000020e2: PUSH1 0x20
000020e4: GT
000020e5: PUSH2 0x210c
000020e8: JUMPI
000020e9: JUMPDEST
000020ea: DUP2
000020eb: PUSH2 0x20f6
000020ee: PUSH1 0x20
000020f0: SWAP4
000020f1: DUP4
000020f2: PUSH2 0x1c56
000020f5: JUMP
000020f6: JUMPDEST
000020f7: DUP2
000020f8: ADD
000020f9: SUB
000020fa: SLT
000020fb: PUSH2 0x0304
000020fe: JUMPI
000020ff: MLOAD
00002100: PUSH1 0xff
00002102: DUP2
00002103: AND
00002104: DUP2
00002105: SUB
00002106: PUSH2 0x0304
00002109: JUMPI
0000210a: SWAP1
0000210b: JUMP
0000210c: JUMPDEST
0000210d: RETURNDATASIZE
0000210e: SWAP2
0000210f: POP
00002110: PUSH2 0x20e9
00002113: JUMP
00002114: JUMPDEST
00002115: POP
00002116: PUSH1 0x12
00002118: SWAP1
00002119: JUMP
0000211a: JUMPDEST
0000211b: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00002130: DUP2
00002131: EQ
00002132: PUSH2 0x21d1
00002135: JUMPI
00002136: PUSH1 0x04
00002138: SWAP1
00002139: PUSH0
0000213a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214f: PUSH2 0x218d
00002152: PUSH1 0x40
00002154: MLOAD
00002155: SWAP4
00002156: PUSH2 0x215e
00002159: DUP6
0000215a: PUSH2 0x1c3a
0000215d: JUMP
0000215e: JUMPDEST
0000215f: PUSH1 0x06
00002161: DUP6
00002162: MSTORE
00002163: PUSH32 0x73706c6974730000000000000000000000000000000000000000000000000000
00002184: PUSH1 0x20
00002186: DUP7
00002187: ADD
00002188: MSTORE
00002189: PUSH2 0x2aaa
0000218c: JUMP
0000218d: JUMPDEST
0000218e: AND
0000218f: PUSH1 0x40
00002191: MLOAD
00002192: SWAP4
00002193: DUP5
00002194: DUP1
00002195: SWAP3
00002196: PUSH32 0x95d89b4100000000000000000000000000000000000000000000000000000000
000021b7: DUP3
000021b8: MSTORE
000021b9: GAS
000021ba: STATICCALL
000021bb: SWAP1
000021bc: DUP2
000021bd: ISZERO
000021be: PUSH2 0x1fb3
000021c1: JUMPI
000021c2: PUSH2 0x1e91
000021c5: SWAP3
000021c6: PUSH0
000021c7: SWAP3
000021c8: PUSH2 0x1f8f
000021cb: JUMPI
000021cc: POP
000021cd: PUSH2 0x1e94
000021d0: JUMP
000021d1: JUMPDEST
000021d2: POP
000021d3: PUSH2 0x1e91
000021d6: PUSH32 0x73706c6974734554480000000000000000000000000000000000000000000009
000021f7: JUMPDEST
000021f8: PUSH1 0xff
000021fa: DUP2
000021fb: AND
000021fc: SWAP1
000021fd: PUSH1 0x1f
000021ff: DUP3
00002200: GT
00002201: PUSH2 0x221b
00002204: JUMPI
00002205: PUSH1 0x40
00002207: MLOAD
00002208: SWAP2
00002209: PUSH2 0x2211
0000220c: DUP4
0000220d: PUSH2 0x1c3a
00002210: JUMP
00002211: JUMPDEST
00002212: DUP3
00002213: MSTORE
00002214: PUSH1 0x20
00002216: DUP3
00002217: ADD
00002218: MSTORE
00002219: SWAP1
0000221a: JUMP
0000221b: JUMPDEST
0000221c: PUSH1 0x04
0000221e: PUSH1 0x40
00002220: MLOAD
00002221: PUSH32 0xb3512b0c00000000000000000000000000000000000000000000000000000000
00002242: DUP2
00002243: MSTORE
00002244: REVERT
00002245: JUMPDEST
00002246: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000225b: PUSH1 0x01
0000225d: PUSH1 0xff
0000225f: DUP5
00002260: AND
00002261: SHL
00002262: SWAP2
00002263: AND
00002264: SWAP1
00002265: DUP2
00002266: PUSH0
00002267: MSTORE
00002268: PUSH1 0x05
0000226a: PUSH1 0x20
0000226c: MSTORE
0000226d: PUSH1 0x40
0000226f: PUSH0
00002270: KECCAK256
00002271: DUP4
00002272: PUSH1 0x08
00002274: SHR
00002275: PUSH0
00002276: MSTORE
00002277: PUSH1 0x20
00002279: MSTORE
0000227a: PUSH1 0x40
0000227c: PUSH0
0000227d: KECCAK256
0000227e: DUP2
0000227f: DUP2
00002280: SLOAD
00002281: XOR
00002282: DUP1
00002283: SWAP2
00002284: SSTORE
00002285: AND
00002286: ISZERO
00002287: PUSH2 0x22b0
0000228a: JUMPI
0000228b: PUSH32 0x239b0d63832ec06e8082928dc583392b57a30d16e4bb425b49d82c7808e308b0
000022ac: PUSH0
000022ad: DUP1
000022ae: LOG3
000022af: JUMP
000022b0: JUMPDEST
000022b1: PUSH1 0x04
000022b3: PUSH1 0x40
000022b5: MLOAD
000022b6: PUSH32 0x756688fe00000000000000000000000000000000000000000000000000000000
000022d7: DUP2
000022d8: MSTORE
000022d9: REVERT
000022da: JUMPDEST
000022db: PUSH2 0x2366
000022de: PUSH1 0x20
000022e0: DUP3
000022e1: SWAP9
000022e2: SWAP8
000022e3: SWAP6
000022e4: SWAP5
000022e5: SWAP4
000022e6: SWAP7
000022e7: SWAP8
000022e8: PUSH2 0x22f4
000022eb: DUP10
000022ec: DUP8
000022ed: DUP8
000022ee: DUP12
000022ef: DUP9
000022f0: PUSH2 0x296f
000022f3: JUMP
000022f4: JUMPDEST
000022f5: SWAP8
000022f6: SWAP1
000022f7: SWAP10
000022f8: PUSH0
000022f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000230e: PUSH1 0x40
00002310: MLOAD
00002311: DUP1
00002312: SWAP8
00002313: DUP2
00002314: SWAP7
00002315: DUP3
00002316: SWAP6
00002317: DUP5
00002318: PUSH32 0xb74de3da00000000000000000000000000000000000000000000000000000000
00002339: SWAP13
0000233a: DUP14
0000233b: DUP7
0000233c: MSTORE
0000233d: AND
0000233e: PUSH1 0x04
00002340: DUP6
00002341: ADD
00002342: MSTORE
00002343: DUP13
00002344: ISZERO
00002345: ISZERO
00002346: PUSH1 0x24
00002348: DUP6
00002349: ADD
0000234a: MSTORE
0000234b: DUP14
0000234c: PUSH1 0x44
0000234e: DUP6
0000234f: ADD
00002350: MSTORE
00002351: PUSH1 0x64
00002353: DUP5
00002354: ADD
00002355: MSTORE
00002356: PUSH1 0xa0
00002358: PUSH1 0x84
0000235a: DUP5
0000235b: ADD
0000235c: MSTORE
0000235d: PUSH1 0xa4
0000235f: DUP4
00002360: ADD
00002361: SWAP1
00002362: PUSH2 0x1b05
00002365: JUMP
00002366: JUMPDEST
00002367: SUB
00002368: SWAP4
00002369: AND
0000236a: GAS
0000236b: CALL
0000236c: DUP1
0000236d: ISZERO
0000236e: PUSH2 0x1fb3
00002371: JUMPI
00002372: PUSH0
00002373: SWAP1
00002374: PUSH2 0x23eb
00002377: JUMPI
00002378: JUMPDEST
00002379: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000239a: SWAP2
0000239b: POP
0000239c: AND
0000239d: SUB
0000239e: PUSH2 0x23c1
000023a1: JUMPI
000023a2: ISZERO
000023a3: PUSH2 0x23b4
000023a6: JUMPI
000023a7: POP
000023a8: POP
000023a9: PUSH2 0x23b1
000023ac: SWAP3
000023ad: PUSH2 0x260c
000023b0: JUMP
000023b1: JUMPDEST
000023b2: POP
000023b3: JUMP
000023b4: JUMPDEST
000023b5: SWAP2
000023b6: SWAP1
000023b7: SWAP3
000023b8: POP
000023b9: PUSH2 0x23b1
000023bc: SWAP4
000023bd: PUSH2 0x259e
000023c0: JUMP
000023c1: JUMPDEST
000023c2: PUSH1 0x04
000023c4: PUSH1 0x40
000023c6: MLOAD
000023c7: PUSH32 0x578b030600000000000000000000000000000000000000000000000000000000
000023e8: DUP2
000023e9: MSTORE
000023ea: REVERT
000023eb: JUMPDEST
000023ec: POP
000023ed: PUSH1 0x20
000023ef: DUP2
000023f0: RETURNDATASIZE
000023f1: PUSH1 0x20
000023f3: GT
000023f4: PUSH2 0x245e
000023f7: JUMPI
000023f8: JUMPDEST
000023f9: DUP2
000023fa: PUSH2 0x2405
000023fd: PUSH1 0x20
000023ff: SWAP4
00002400: DUP4
00002401: PUSH2 0x1c56
00002404: JUMP
00002405: JUMPDEST
00002406: DUP2
00002407: ADD
00002408: SUB
00002409: SLT
0000240a: PUSH2 0x0304
0000240d: JUMPI
0000240e: MLOAD
0000240f: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002430: DUP2
00002431: AND
00002432: DUP2
00002433: SUB
00002434: PUSH2 0x0304
00002437: JUMPI
00002438: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002459: SWAP1
0000245a: PUSH2 0x2378
0000245d: JUMP
0000245e: JUMPDEST
0000245f: RETURNDATASIZE
00002460: SWAP2
00002461: POP
00002462: PUSH2 0x23f8
00002465: JUMP
00002466: JUMPDEST
00002467: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000247c: PUSH32 0x0000000000000000000000008fb66f38cf86a3d5e8768f8f1754a24a6c661fb8
0000249d: AND
0000249e: ADDRESS
0000249f: EQ
000024a0: DUP1
000024a1: PUSH2 0x2575
000024a4: JUMPI
000024a5: JUMPDEST
000024a6: ISZERO
000024a7: PUSH2 0x24ce
000024aa: JUMPI
000024ab: PUSH32 0xa7f1fb37e43df53d046b5c571c7f37732ddb2103e9202d1cb664de8e0567d5e9
000024cc: SWAP1
000024cd: JUMP
000024ce: JUMPDEST
000024cf: PUSH1 0x40
000024d1: MLOAD
000024d2: PUSH1 0x20
000024d4: DUP2
000024d5: ADD
000024d6: SWAP1
000024d7: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
000024f8: DUP3
000024f9: MSTORE
000024fa: PUSH32 0xcbb4ec162d38f6df0314120199cbe3d402052c2b8c5677f9b26ba737e4ad0b8d
0000251b: PUSH1 0x40
0000251d: DUP3
0000251e: ADD
0000251f: MSTORE
00002520: PUSH32 0x0984d5efd47d99151ae1be065a709e56c602102f24c1abc4008eb3f815a8d217
00002541: PUSH1 0x60
00002543: DUP3
00002544: ADD
00002545: MSTORE
00002546: CHAINID
00002547: PUSH1 0x80
00002549: DUP3
0000254a: ADD
0000254b: MSTORE
0000254c: ADDRESS
0000254d: PUSH1 0xa0
0000254f: DUP3
00002550: ADD
00002551: MSTORE
00002552: PUSH1 0xa0
00002554: DUP2
00002555: MSTORE
00002556: PUSH1 0xc0
00002558: DUP2
00002559: ADD
0000255a: DUP2
0000255b: DUP2
0000255c: LT
0000255d: PUSH8 0xffffffffffffffff
00002566: DUP3
00002567: GT
00002568: OR
00002569: PUSH2 0x08cf
0000256c: JUMPI
0000256d: PUSH1 0x40
0000256f: MSTORE
00002570: MLOAD
00002571: SWAP1
00002572: KECCAK256
00002573: SWAP1
00002574: JUMP
00002575: JUMPDEST
00002576: POP
00002577: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00002598: CHAINID
00002599: EQ
0000259a: PUSH2 0x24a5
0000259d: JUMP
0000259e: JUMPDEST
0000259f: SWAP1
000025a0: SWAP2
000025a1: SWAP3
000025a2: PUSH1 0x20
000025a4: PUSH32 0xb3fd5071835887567a0671151121894ddccc2842f1d10bedad13e0d17cace9a7
000025c5: SWAP2
000025c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025db: DUP1
000025dc: SWAP5
000025dd: AND
000025de: SWAP4
000025df: DUP5
000025e0: PUSH0
000025e1: MSTORE
000025e2: PUSH1 0x02
000025e4: DUP4
000025e5: MSTORE
000025e6: PUSH1 0x40
000025e8: PUSH0
000025e9: KECCAK256
000025ea: SWAP6
000025eb: AND
000025ec: SWAP5
000025ed: DUP6
000025ee: PUSH0
000025ef: MSTORE
000025f0: DUP3
000025f1: MSTORE
000025f2: PUSH1 0x40
000025f4: PUSH0
000025f5: KECCAK256
000025f6: DUP7
000025f7: PUSH0
000025f8: MSTORE
000025f9: DUP3
000025fa: MSTORE
000025fb: DUP1
000025fc: PUSH1 0x40
000025fe: PUSH0
000025ff: KECCAK256
00002600: SSTORE
00002601: PUSH1 0x40
00002603: MLOAD
00002604: SWAP1
00002605: DUP2
00002606: MSTORE
00002607: LOG4
00002608: PUSH1 0x01
0000260a: SWAP1
0000260b: JUMP
0000260c: JUMPDEST
0000260d: SWAP1
0000260e: SWAP2
0000260f: PUSH1 0x20
00002611: PUSH32 0xceb576d9f15e4e200fdb5096d64d5dfd667e16def20c1eefd14256d8e3faa267
00002632: SWAP2
00002633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002648: DUP1
00002649: SWAP5
0000264a: AND
0000264b: SWAP4
0000264c: DUP5
0000264d: PUSH0
0000264e: MSTORE
0000264f: PUSH0
00002650: DUP4
00002651: MSTORE
00002652: PUSH1 0x40
00002654: PUSH0
00002655: KECCAK256
00002656: SWAP6
00002657: AND
00002658: SWAP5
00002659: DUP6
0000265a: PUSH0
0000265b: MSTORE
0000265c: DUP3
0000265d: MSTORE
0000265e: PUSH1 0x40
00002660: PUSH0
00002661: KECCAK256
00002662: SWAP1
00002663: ISZERO
00002664: ISZERO
00002665: SWAP1
00002666: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002687: DUP2
00002688: SLOAD
00002689: AND
0000268a: PUSH1 0xff
0000268c: DUP4
0000268d: AND
0000268e: OR
0000268f: SWAP1
00002690: SSTORE
00002691: PUSH1 0x40
00002693: MLOAD
00002694: SWAP1
00002695: DUP2
00002696: MSTORE
00002697: LOG3
00002698: PUSH1 0x01
0000269a: SWAP1
0000269b: JUMP
0000269c: JUMPDEST
0000269d: PUSH32 0x1b3d7edb2e9c0b0e7c525b20aaaef0f5940d2ed71663c7d39266ecafac728859
000026be: PUSH2 0x26fd
000026c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d6: PUSH0
000026d7: SWAP4
000026d8: SWAP6
000026d9: SWAP5
000026da: SWAP6
000026db: AND
000026dc: SWAP4
000026dd: DUP5
000026de: DUP5
000026df: MSTORE
000026e0: PUSH1 0x01
000026e2: PUSH1 0x20
000026e4: MSTORE
000026e5: PUSH1 0x40
000026e7: DUP5
000026e8: KECCAK256
000026e9: DUP7
000026ea: DUP6
000026eb: MSTORE
000026ec: PUSH1 0x20
000026ee: MSTORE
000026ef: PUSH1 0x40
000026f1: DUP5
000026f2: KECCAK256
000026f3: PUSH2 0x023b
000026f6: DUP3
000026f7: DUP3
000026f8: SLOAD
000026f9: PUSH2 0x1ff5
000026fc: JUMP
000026fd: JUMPDEST
000026fe: SUB
000026ff: SWAP1
00002700: LOG4
00002701: JUMP
00002702: JUMPDEST
00002703: SWAP3
00002704: SWAP1
00002705: PUSH1 0x40
00002707: MLOAD
00002708: SWAP3
00002709: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
0000272a: PUSH1 0x20
0000272c: DUP6
0000272d: ADD
0000272e: MSTORE
0000272f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002744: DUP1
00002745: SWAP3
00002746: AND
00002747: PUSH1 0x24
00002749: DUP6
0000274a: ADD
0000274b: MSTORE
0000274c: AND
0000274d: PUSH1 0x44
0000274f: DUP4
00002750: ADD
00002751: MSTORE
00002752: PUSH1 0x64
00002754: DUP3
00002755: ADD
00002756: MSTORE
00002757: PUSH1 0x64
00002759: DUP2
0000275a: MSTORE
0000275b: PUSH1 0xa0
0000275d: DUP2
0000275e: ADD
0000275f: SWAP2
00002760: DUP2
00002761: DUP4
00002762: LT
00002763: PUSH8 0xffffffffffffffff
0000276c: DUP5
0000276d: GT
0000276e: OR
0000276f: PUSH2 0x08cf
00002772: JUMPI
00002773: PUSH2 0x1ed5
00002776: SWAP3
00002777: PUSH1 0x40
00002779: MSTORE
0000277a: PUSH2 0x2adf
0000277d: JUMP
0000277e: JUMPDEST
0000277f: PUSH1 0xff
00002781: DUP2
00002782: EQ
00002783: PUSH2 0x278f
00002786: JUMPI
00002787: PUSH2 0x1e91
0000278a: SWAP1
0000278b: PUSH2 0x21f7
0000278e: JUMP
0000278f: JUMPDEST
00002790: POP
00002791: PUSH1 0x40
00002793: MLOAD
00002794: PUSH0
00002795: PUSH1 0x03
00002797: SLOAD
00002798: SWAP1
00002799: PUSH1 0x01
0000279b: SWAP1
0000279c: DUP3
0000279d: PUSH1 0x01
0000279f: SHR
000027a0: PUSH1 0x01
000027a2: DUP5
000027a3: AND
000027a4: SWAP3
000027a5: DUP4
000027a6: ISZERO
000027a7: PUSH2 0x28a3
000027aa: JUMPI
000027ab: JUMPDEST
000027ac: PUSH1 0x20
000027ae: SWAP5
000027af: DUP6
000027b0: DUP4
000027b1: LT
000027b2: DUP6
000027b3: EQ
000027b4: PUSH2 0x2876
000027b7: JUMPI
000027b8: DUP3
000027b9: DUP8
000027ba: MSTORE
000027bb: DUP7
000027bc: SWAP5
000027bd: SWAP1
000027be: DUP2
000027bf: ISZERO
000027c0: PUSH2 0x2837
000027c3: JUMPI
000027c4: POP
000027c5: PUSH1 0x01
000027c7: EQ
000027c8: PUSH2 0x27da
000027cb: JUMPI
000027cc: JUMPDEST
000027cd: POP
000027ce: POP
000027cf: PUSH2 0x1e91
000027d2: SWAP3
000027d3: POP
000027d4: SUB
000027d5: DUP3
000027d6: PUSH2 0x1c56
000027d9: JUMP
000027da: JUMPDEST
000027db: SWAP1
000027dc: SWAP4
000027dd: SWAP2
000027de: POP
000027df: PUSH1 0x03
000027e1: PUSH0
000027e2: MSTORE
000027e3: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
00002804: SWAP4
00002805: PUSH0
00002806: SWAP2
00002807: JUMPDEST
00002808: DUP2
00002809: DUP4
0000280a: LT
0000280b: PUSH2 0x281f
0000280e: JUMPI
0000280f: POP
00002810: POP
00002811: PUSH2 0x1e91
00002814: SWAP4
00002815: POP
00002816: DUP3
00002817: ADD
00002818: ADD
00002819: PUSH0
0000281a: DUP1
0000281b: PUSH2 0x27cc
0000281e: JUMP
0000281f: JUMPDEST
00002820: DUP6
00002821: SLOAD
00002822: DUP8
00002823: DUP5
00002824: ADD
00002825: DUP6
00002826: ADD
00002827: MSTORE
00002828: SWAP5
00002829: DUP6
0000282a: ADD
0000282b: SWAP5
0000282c: DUP7
0000282d: SWAP5
0000282e: POP
0000282f: SWAP2
00002830: DUP4
00002831: ADD
00002832: SWAP2
00002833: PUSH2 0x2807
00002836: JUMP
00002837: JUMPDEST
00002838: SWAP1
00002839: POP
0000283a: PUSH2 0x1e91
0000283d: SWAP6
0000283e: SWAP4
0000283f: POP
00002840: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002861: SWAP2
00002862: POP
00002863: AND
00002864: DUP3
00002865: DUP5
00002866: ADD
00002867: MSTORE
00002868: ISZERO
00002869: ISZERO
0000286a: PUSH1 0x05
0000286c: SHL
0000286d: DUP3
0000286e: ADD
0000286f: ADD
00002870: PUSH0
00002871: DUP1
00002872: PUSH2 0x27cc
00002875: JUMP
00002876: JUMPDEST
00002877: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002898: PUSH0
00002899: MSTORE
0000289a: PUSH1 0x22
0000289c: PUSH1 0x04
0000289e: MSTORE
0000289f: PUSH1 0x24
000028a1: PUSH0
000028a2: REVERT
000028a3: JUMPDEST
000028a4: SWAP1
000028a5: PUSH1 0x7f
000028a7: AND
000028a8: SWAP1
000028a9: PUSH2 0x27ab
000028ac: JUMP
000028ad: JUMPDEST
000028ae: PUSH1 0xff
000028b0: DUP2
000028b1: EQ
000028b2: PUSH2 0x28be
000028b5: JUMPI
000028b6: PUSH2 0x1e91
000028b9: SWAP1
000028ba: PUSH2 0x21f7
000028bd: JUMP
000028be: JUMPDEST
000028bf: POP
000028c0: PUSH1 0x40
000028c2: MLOAD
000028c3: PUSH0
000028c4: PUSH1 0x04
000028c6: SLOAD
000028c7: SWAP1
000028c8: PUSH1 0x01
000028ca: SWAP1
000028cb: DUP3
000028cc: PUSH1 0x01
000028ce: SHR
000028cf: PUSH1 0x01
000028d1: DUP5
000028d2: AND
000028d3: SWAP3
000028d4: DUP4
000028d5: ISZERO
000028d6: PUSH2 0x2965
000028d9: JUMPI
000028da: JUMPDEST
000028db: PUSH1 0x20
000028dd: SWAP5
000028de: DUP6
000028df: DUP4
000028e0: LT
000028e1: DUP6
000028e2: EQ
000028e3: PUSH2 0x2876
000028e6: JUMPI
000028e7: DUP3
000028e8: DUP8
000028e9: MSTORE
000028ea: DUP7
000028eb: SWAP5
000028ec: SWAP1
000028ed: DUP2
000028ee: ISZERO
000028ef: PUSH2 0x2837
000028f2: JUMPI
000028f3: POP
000028f4: PUSH1 0x01
000028f6: EQ
000028f7: PUSH2 0x2908
000028fa: JUMPI
000028fb: POP
000028fc: POP
000028fd: PUSH2 0x1e91
00002900: SWAP3
00002901: POP
00002902: SUB
00002903: DUP3
00002904: PUSH2 0x1c56
00002907: JUMP
00002908: JUMPDEST
00002909: SWAP1
0000290a: SWAP4
0000290b: SWAP2
0000290c: POP
0000290d: PUSH1 0x04
0000290f: PUSH0
00002910: MSTORE
00002911: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
00002932: SWAP4
00002933: PUSH0
00002934: SWAP2
00002935: JUMPDEST
00002936: DUP2
00002937: DUP4
00002938: LT
00002939: PUSH2 0x294d
0000293c: JUMPI
0000293d: POP
0000293e: POP
0000293f: PUSH2 0x1e91
00002942: SWAP4
00002943: POP
00002944: DUP3
00002945: ADD
00002946: ADD
00002947: PUSH0
00002948: DUP1
00002949: PUSH2 0x27cc
0000294c: JUMP
0000294d: JUMPDEST
0000294e: DUP6
0000294f: SLOAD
00002950: DUP8
00002951: DUP5
00002952: ADD
00002953: DUP6
00002954: ADD
00002955: MSTORE
00002956: SWAP5
00002957: DUP6
00002958: ADD
00002959: SWAP5
0000295a: DUP7
0000295b: SWAP5
0000295c: POP
0000295d: SWAP2
0000295e: DUP4
0000295f: ADD
00002960: SWAP2
00002961: PUSH2 0x2935
00002964: JUMP
00002965: JUMPDEST
00002966: SWAP1
00002967: PUSH1 0x7f
00002969: AND
0000296a: SWAP1
0000296b: PUSH2 0x28da
0000296e: JUMP
0000296f: JUMPDEST
00002970: SWAP5
00002971: SWAP3
00002972: SWAP4
00002973: SWAP1
00002974: SWAP2
00002975: SWAP4
00002976: PUSH0
00002977: DUP1
00002978: SWAP6
00002979: PUSH0
0000297a: EQ
0000297b: PUSH2 0x2a63
0000297e: JUMPI
0000297f: POP
00002980: ISZERO
00002981: SWAP1
00002982: DUP2
00002983: ISZERO
00002984: SWAP2
00002985: PUSH2 0x2a59
00002988: JUMPI
00002989: JUMPDEST
0000298a: POP
0000298b: PUSH2 0x2a2f
0000298e: JUMPI
0000298f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029a4: DUP1
000029a5: SWAP5
000029a6: AND
000029a7: SWAP4
000029a8: DUP5
000029a9: PUSH0
000029aa: MSTORE
000029ab: PUSH0
000029ac: PUSH1 0x20
000029ae: MSTORE
000029af: PUSH1 0x40
000029b1: PUSH0
000029b2: KECCAK256
000029b3: SWAP2
000029b4: AND
000029b5: SWAP1
000029b6: DUP2
000029b7: PUSH0
000029b8: MSTORE
000029b9: PUSH1 0x20
000029bb: MSTORE
000029bc: PUSH1 0xff
000029be: PUSH1 0x40
000029c0: PUSH0
000029c1: KECCAK256
000029c2: SLOAD
000029c3: AND
000029c4: SWAP4
000029c5: DUP1
000029c6: PUSH0
000029c7: MSTORE
000029c8: PUSH0
000029c9: PUSH1 0x20
000029cb: MSTORE
000029cc: PUSH1 0x40
000029ce: PUSH0
000029cf: KECCAK256
000029d0: DUP3
000029d1: PUSH0
000029d2: MSTORE
000029d3: PUSH1 0x20
000029d5: MSTORE
000029d6: PUSH1 0x40
000029d8: PUSH0
000029d9: KECCAK256
000029da: PUSH1 0x01
000029dc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000029fd: DUP3
000029fe: SLOAD
000029ff: AND
00002a00: OR
00002a01: SWAP1
00002a02: SSTORE
00002a03: PUSH32 0xceb576d9f15e4e200fdb5096d64d5dfd667e16def20c1eefd14256d8e3faa267
00002a24: PUSH1 0x20
00002a26: PUSH1 0x40
00002a28: MLOAD
00002a29: PUSH1 0x01
00002a2b: DUP2
00002a2c: MSTORE
00002a2d: LOG3
00002a2e: JUMP
00002a2f: JUMPDEST
00002a30: PUSH1 0x04
00002a32: PUSH1 0x40
00002a34: MLOAD
00002a35: PUSH32 0xc6fc3b8a00000000000000000000000000000000000000000000000000000000
00002a56: DUP2
00002a57: MSTORE
00002a58: REVERT
00002a59: JUMPDEST
00002a5a: SWAP1
00002a5b: POP
00002a5c: ISZERO
00002a5d: ISZERO
00002a5e: PUSH0
00002a5f: PUSH2 0x2989
00002a62: JUMP
00002a63: JUMPDEST
00002a64: SWAP6
00002a65: SWAP5
00002a66: POP
00002a67: PUSH2 0x23b1
00002a6a: SWAP3
00002a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a80: DUP1
00002a81: DUP8
00002a82: AND
00002a83: PUSH0
00002a84: MSTORE
00002a85: PUSH1 0x02
00002a87: PUSH1 0x20
00002a89: MSTORE
00002a8a: PUSH1 0x40
00002a8c: PUSH0
00002a8d: KECCAK256
00002a8e: SWAP1
00002a8f: DUP3
00002a90: AND
00002a91: PUSH0
00002a92: MSTORE
00002a93: PUSH1 0x20
00002a95: MSTORE
00002a96: PUSH1 0x40
00002a98: PUSH0
00002a99: KECCAK256
00002a9a: DUP3
00002a9b: PUSH0
00002a9c: MSTORE
00002a9d: PUSH1 0x20
00002a9f: MSTORE
00002aa0: PUSH1 0x40
00002aa2: PUSH0
00002aa3: KECCAK256
00002aa4: SLOAD
00002aa5: SWAP6
00002aa6: PUSH2 0x259e
00002aa9: JUMP
00002aaa: JUMPDEST
00002aab: DUP1
00002aac: PUSH1 0xa0
00002aae: SHR
00002aaf: PUSH2 0x2ab5
00002ab2: JUMPI
00002ab3: SWAP1
00002ab4: JUMP
00002ab5: JUMPDEST
00002ab6: PUSH1 0x04
00002ab8: PUSH1 0x40
00002aba: MLOAD
00002abb: PUSH32 0x35278d1200000000000000000000000000000000000000000000000000000000
00002adc: DUP2
00002add: MSTORE
00002ade: REVERT
00002adf: JUMPDEST
00002ae0: PUSH1 0x40
00002ae2: MLOAD
00002ae3: PUSH2 0x2b49
00002ae6: SWAP2
00002ae7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002afc: AND
00002afd: PUSH2 0x2b05
00002b00: DUP3
00002b01: PUSH2 0x1c3a
00002b04: JUMP
00002b05: JUMPDEST
00002b06: PUSH0
00002b07: DUP1
00002b08: PUSH1 0x20
00002b0a: SWAP6
00002b0b: DUP7
00002b0c: DUP6
00002b0d: MSTORE
00002b0e: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002b2f: DUP8
00002b30: DUP7
00002b31: ADD
00002b32: MSTORE
00002b33: DUP7
00002b34: DUP2
00002b35: MLOAD
00002b36: SWAP2
00002b37: ADD
00002b38: DUP3
00002b39: DUP6
00002b3a: GAS
00002b3b: CALL
00002b3c: PUSH2 0x2b43
00002b3f: PUSH2 0x2c6d
00002b42: JUMP
00002b43: JUMPDEST
00002b44: SWAP2
00002b45: PUSH2 0x2e6c
00002b48: JUMP
00002b49: JUMPDEST
00002b4a: DUP1
00002b4b: MLOAD
00002b4c: DUP3
00002b4d: DUP2
00002b4e: ISZERO
00002b4f: SWAP2
00002b50: DUP3
00002b51: ISZERO
00002b52: PUSH2 0x2be6
00002b55: JUMPI
00002b56: JUMPDEST
00002b57: POP
00002b58: POP
00002b59: SWAP1
00002b5a: POP
00002b5b: ISZERO
00002b5c: PUSH2 0x2b62
00002b5f: JUMPI
00002b60: POP
00002b61: JUMP
00002b62: JUMPDEST
00002b63: PUSH1 0x84
00002b65: SWAP1
00002b66: PUSH1 0x40
00002b68: MLOAD
00002b69: SWAP1
00002b6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b8b: DUP3
00002b8c: MSTORE
00002b8d: PUSH1 0x04
00002b8f: DUP3
00002b90: ADD
00002b91: MSTORE
00002b92: PUSH1 0x2a
00002b94: PUSH1 0x24
00002b96: DUP3
00002b97: ADD
00002b98: MSTORE
00002b99: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002bba: PUSH1 0x44
00002bbc: DUP3
00002bbd: ADD
00002bbe: MSTORE
00002bbf: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00002be0: PUSH1 0x64
00002be2: DUP3
00002be3: ADD
00002be4: MSTORE
00002be5: REVERT
00002be6: JUMPDEST
00002be7: DUP4
00002be8: DUP1
00002be9: SWAP3
00002bea: SWAP4
00002beb: POP
00002bec: ADD
00002bed: SUB
00002bee: SLT
00002bef: PUSH2 0x0304
00002bf2: JUMPI
00002bf3: DUP2
00002bf4: ADD
00002bf5: MLOAD
00002bf6: DUP1
00002bf7: ISZERO
00002bf8: ISZERO
00002bf9: DUP2
00002bfa: SUB
00002bfb: PUSH2 0x0304
00002bfe: JUMPI
00002bff: DUP1
00002c00: DUP3
00002c01: PUSH0
00002c02: PUSH2 0x2b56
00002c05: JUMP
00002c06: JUMPDEST
00002c07: PUSH1 0x40
00002c09: MLOAD
00002c0a: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002c2b: PUSH1 0x20
00002c2d: DUP3
00002c2e: ADD
00002c2f: MSTORE
00002c30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c45: SWAP3
00002c46: SWAP1
00002c47: SWAP3
00002c48: AND
00002c49: PUSH1 0x24
00002c4b: DUP4
00002c4c: ADD
00002c4d: MSTORE
00002c4e: PUSH1 0x44
00002c50: DUP1
00002c51: DUP4
00002c52: ADD
00002c53: SWAP4
00002c54: SWAP1
00002c55: SWAP4
00002c56: MSTORE
00002c57: SWAP2
00002c58: DUP2
00002c59: MSTORE
00002c5a: PUSH2 0x1ed5
00002c5d: SWAP2
00002c5e: PUSH2 0x2c68
00002c61: PUSH1 0x64
00002c63: DUP4
00002c64: PUSH2 0x1c56
00002c67: JUMP
00002c68: JUMPDEST
00002c69: PUSH2 0x2adf
00002c6c: JUMP
00002c6d: JUMPDEST
00002c6e: RETURNDATASIZE
00002c6f: ISZERO
00002c70: PUSH2 0x2c97
00002c73: JUMPI
00002c74: RETURNDATASIZE
00002c75: SWAP1
00002c76: PUSH2 0x2c7e
00002c79: DUP3
00002c7a: PUSH2 0x1c97
00002c7d: JUMP
00002c7e: JUMPDEST
00002c7f: SWAP2
00002c80: PUSH2 0x2c8c
00002c83: PUSH1 0x40
00002c85: MLOAD
00002c86: SWAP4
00002c87: DUP5
00002c88: PUSH2 0x1c56
00002c8b: JUMP
00002c8c: JUMPDEST
00002c8d: DUP3
00002c8e: MSTORE
00002c8f: RETURNDATASIZE
00002c90: PUSH0
00002c91: PUSH1 0x20
00002c93: DUP5
00002c94: ADD
00002c95: RETURNDATACOPY
00002c96: JUMP
00002c97: JUMPDEST
00002c98: PUSH1 0x60
00002c9a: SWAP1
00002c9b: JUMP
00002c9c: JUMPDEST
00002c9d: DUP2
00002c9e: SELFBALANCE
00002c9f: LT
00002ca0: PUSH2 0x2d55
00002ca3: JUMPI
00002ca4: PUSH0
00002ca5: DUP1
00002ca6: DUP1
00002ca7: SWAP4
00002ca8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cbd: DUP3
00002cbe: SWAP5
00002cbf: AND
00002cc0: GAS
00002cc1: CALL
00002cc2: PUSH2 0x2cc9
00002cc5: PUSH2 0x2c6d
00002cc8: JUMP
00002cc9: JUMPDEST
00002cca: POP
00002ccb: ISZERO
00002ccc: PUSH2 0x2cd1
00002ccf: JUMPI
00002cd0: JUMP
00002cd1: JUMPDEST
00002cd2: PUSH1 0x84
00002cd4: PUSH1 0x40
00002cd6: MLOAD
00002cd7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002cf8: DUP2
00002cf9: MSTORE
00002cfa: PUSH1 0x20
00002cfc: PUSH1 0x04
00002cfe: DUP3
00002cff: ADD
00002d00: MSTORE
00002d01: PUSH1 0x3a
00002d03: PUSH1 0x24
00002d05: DUP3
00002d06: ADD
00002d07: MSTORE
00002d08: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00002d29: PUSH1 0x44
00002d2b: DUP3
00002d2c: ADD
00002d2d: MSTORE
00002d2e: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00002d4f: PUSH1 0x64
00002d51: DUP3
00002d52: ADD
00002d53: MSTORE
00002d54: REVERT
00002d55: JUMPDEST
00002d56: PUSH1 0x64
00002d58: PUSH1 0x40
00002d5a: MLOAD
00002d5b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d7c: DUP2
00002d7d: MSTORE
00002d7e: PUSH1 0x20
00002d80: PUSH1 0x04
00002d82: DUP3
00002d83: ADD
00002d84: MSTORE
00002d85: PUSH1 0x1d
00002d87: PUSH1 0x24
00002d89: DUP3
00002d8a: ADD
00002d8b: MSTORE
00002d8c: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00002dad: PUSH1 0x44
00002daf: DUP3
00002db0: ADD
00002db1: MSTORE
00002db2: REVERT
00002db3: JUMPDEST
00002db4: SWAP1
00002db5: PUSH1 0x41
00002db7: DUP2
00002db8: MLOAD
00002db9: EQ
00002dba: PUSH0
00002dbb: EQ
00002dbc: PUSH2 0x2ddb
00002dbf: JUMPI
00002dc0: PUSH2 0x1dce
00002dc3: SWAP2
00002dc4: PUSH1 0x20
00002dc6: DUP3
00002dc7: ADD
00002dc8: MLOAD
00002dc9: SWAP1
00002dca: PUSH1 0x60
00002dcc: PUSH1 0x40
00002dce: DUP5
00002dcf: ADD
00002dd0: MLOAD
00002dd1: SWAP4
00002dd2: ADD
00002dd3: MLOAD
00002dd4: PUSH0
00002dd5: BYTE
00002dd6: SWAP1
00002dd7: PUSH2 0x2de4
00002dda: JUMP
00002ddb: JUMPDEST
00002ddc: POP
00002ddd: POP
00002dde: PUSH0
00002ddf: SWAP1
00002de0: PUSH1 0x02
00002de2: SWAP1
00002de3: JUMP
00002de4: JUMPDEST
00002de5: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
00002e06: DUP5
00002e07: GT
00002e08: PUSH2 0x2e61
00002e0b: JUMPI
00002e0c: PUSH1 0x20
00002e0e: SWAP4
00002e0f: PUSH0
00002e10: SWAP4
00002e11: PUSH1 0xff
00002e13: PUSH1 0x80
00002e15: SWAP5
00002e16: PUSH1 0x40
00002e18: MLOAD
00002e19: SWAP5
00002e1a: DUP6
00002e1b: MSTORE
00002e1c: AND
00002e1d: DUP7
00002e1e: DUP5
00002e1f: ADD
00002e20: MSTORE
00002e21: PUSH1 0x40
00002e23: DUP4
00002e24: ADD
00002e25: MSTORE
00002e26: PUSH1 0x60
00002e28: DUP3
00002e29: ADD
00002e2a: MSTORE
00002e2b: DUP3
00002e2c: DUP1
00002e2d: MSTORE
00002e2e: PUSH1 0x01
00002e30: GAS
00002e31: STATICCALL
00002e32: ISZERO
00002e33: PUSH2 0x1fb3
00002e36: JUMPI
00002e37: PUSH0
00002e38: MLOAD
00002e39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e4e: DUP2
00002e4f: AND
00002e50: ISZERO
00002e51: PUSH2 0x2e59
00002e54: JUMPI
00002e55: SWAP1
00002e56: PUSH0
00002e57: SWAP1
00002e58: JUMP
00002e59: JUMPDEST
00002e5a: POP
00002e5b: PUSH0
00002e5c: SWAP1
00002e5d: PUSH1 0x01
00002e5f: SWAP1
00002e60: JUMP
00002e61: JUMPDEST
00002e62: POP
00002e63: POP
00002e64: POP
00002e65: POP
00002e66: PUSH0
00002e67: SWAP1
00002e68: PUSH1 0x03
00002e6a: SWAP1
00002e6b: JUMP
00002e6c: JUMPDEST
00002e6d: SWAP2
00002e6e: SWAP3
00002e6f: SWAP1
00002e70: ISZERO
00002e71: PUSH2 0x2ee7
00002e74: JUMPI
00002e75: POP
00002e76: DUP2
00002e77: MLOAD
00002e78: ISZERO
00002e79: PUSH2 0x2e80
00002e7c: JUMPI
00002e7d: POP
00002e7e: SWAP1
00002e7f: JUMP
00002e80: JUMPDEST
00002e81: EXTCODESIZE
00002e82: ISZERO
00002e83: PUSH2 0x2e89
00002e86: JUMPI
00002e87: SWAP1
00002e88: JUMP
00002e89: JUMPDEST
00002e8a: PUSH1 0x64
00002e8c: PUSH1 0x40
00002e8e: MLOAD
00002e8f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002eb0: DUP2
00002eb1: MSTORE
00002eb2: PUSH1 0x20
00002eb4: PUSH1 0x04
00002eb6: DUP3
00002eb7: ADD
00002eb8: MSTORE
00002eb9: PUSH1 0x1d
00002ebb: PUSH1 0x24
00002ebd: DUP3
00002ebe: ADD
00002ebf: MSTORE
00002ec0: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002ee1: PUSH1 0x44
00002ee3: DUP3
00002ee4: ADD
00002ee5: MSTORE
00002ee6: REVERT
00002ee7: JUMPDEST
00002ee8: DUP3
00002ee9: MLOAD
00002eea: SWAP1
00002eeb: SWAP2
00002eec: POP
00002eed: ISZERO
00002eee: PUSH2 0x2efa
00002ef1: JUMPI
00002ef2: POP
00002ef3: DUP1
00002ef4: MLOAD
00002ef5: SWAP1
00002ef6: PUSH1 0x20
00002ef8: ADD
00002ef9: REVERT
00002efa: JUMPDEST
00002efb: PUSH2 0x2f38
00002efe: SWAP1
00002eff: PUSH1 0x40
00002f01: MLOAD
00002f02: SWAP2
00002f03: DUP3
00002f04: SWAP2
00002f05: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f26: DUP4
00002f27: MSTORE
00002f28: PUSH1 0x20
00002f2a: PUSH1 0x04
00002f2c: DUP5
00002f2d: ADD
00002f2e: MSTORE
00002f2f: PUSH1 0x24
00002f31: DUP4
00002f32: ADD
00002f33: SWAP1
00002f34: PUSH2 0x1b05
00002f37: JUMP
00002f38: JUMPDEST
00002f39: SUB
00002f3a: SWAP1
00002f3b: REVERT
00002f3c: INVALID
00002f3d: LOG2
00002f3e: PUSH5 0x6970667358
00002f44: UNKNOWN(0x22)
00002f45: SLT
00002f46: KECCAK256
00002f47: DIFFICULTY
00002f48: PUSH1 0x5f
00002f4a: CALLDATASIZE
00002f4b: UNKNOWN(0xCD)
00002f4c: POP
00002f4d: SWAP12
00002f4e: MSTORE
00002f4f: CREATE2
00002f50: CLZ
00002f51: SIGNEXTEND
00002f52: PUSH31 0x4bf7df4fd8f23b37a10d536036d532c76204192964736f6c63430008170033