Analysis Run

[codex:888208] OpenAI Codex v0.77.0 (research preview)
[codex:888208] --------
[codex:888208] workdir: /tmp/codex-multi-6pra12bu
[codex:888208] model: gpt-5.2-codex
[codex:888208] provider: openai
[codex:888208] approval: never
[codex:888208] sandbox: read-only
[codex:888208] reasoning effort: xhigh
[codex:888208] reasoning summaries: auto
[codex:888208] session id: 019b8755-d45d-72b0-b39a-1dd981039c01
[codex:888208] --------
[codex:888208] user
[codex:888208] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:888208] 
[codex:888208] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:888208] 
[codex:888208] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:888208] - Gas inefficiency, code quality, naming, or best practices
[codex:888208] - Theoretical vulnerabilities without a clear extraction path
[codex:888208] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:888208] - Front-running unless it enables theft beyond MEV
[codex:888208] - DoS, griefing, or issues that don't result in attacker profit
[codex:888208] - Missing events, view function issues, or informational findings
[codex:888208] 
[codex:888208] HIGH-VALUE PATTERNS TO HUNT:
[codex:888208] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:888208] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:888208] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:888208] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:888208] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:888208] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:888208] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:888208] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:888208] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:888208] 
[codex:888208] For each finding, you MUST provide:
[codex:888208] 1. Exact file and line numbers of vulnerable code
[codex:888208] 2. Step-by-step exploit transaction sequence
[codex:888208] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:888208] 
[codex:888208] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:888208] 
[codex:888208] Output MUST be valid JSON matching the provided schema.
[codex:888208] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:888208] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:888208] mcp startup: no servers
[codex:888208] 
[codex:888208] thinking
[codex:888208] **Preparing to read AUDIT_BUNDLE**
[codex:888208] exec
[codex:888208] /bin/bash -lc ls in /tmp/codex-multi-6pra12bu succeeded in 6ms:
[codex:888208] AUDIT_BUNDLE.txt
[codex:888208] codex-output-schema.json
[codex:888208] contracts
[codex:888208] exec
[codex:888208] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-6pra12bu succeeded in 5ms:
[codex:888208] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:888208] 
[codex:888208] ================================================================================
[codex:888208] FILE: contracts/contracts/OperatorRewardsCollector.sol
[codex:888208] ================================================================================
[codex:888208] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:888208] pragma solidity 0.8.16;
[codex:888208] 
[codex:888208] import { Math } from "@openzeppelin/contracts/utils/math/Math.sol";
[codex:888208] import { AccessControlUpgradeable } from "@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol";
[codex:888208] 
[codex:888208] import { UtilLib } from "./library/UtilLib.sol";
[codex:888208] 
[codex:888208] import { IStaderConfig } from "./interfaces/IStaderConfig.sol";
[codex:888208] import { INodeRegistry } from "./interfaces/INodeRegistry.sol";
[codex:888208] import { INodeELRewardVault } from "./interfaces/INodeELRewardVault.sol";
[codex:888208] import { IPermissionlessNodeRegistry } from "./interfaces/IPermissionlessNodeRegistry.sol";
[codex:888208] import { IOperatorRewardsCollector } from "./interfaces/IOperatorRewardsCollector.sol";
[codex:888208] import { IStaderConfig } from "./interfaces/IStaderConfig.sol";
[codex:888208] import { ISDUtilityPool, UserData, OperatorLiquidation } from "./interfaces/ISDUtilityPool.sol";
[codex:888208] 
[codex:888208] thinking
[codex:888208] **Analyzing full audit bundle for exploits**
[codex:888208] 
[codex:888208] I’m working through the entire AUDIT_BUNDLE, aiming to identify any profitable exploits by scanning all contracts present. Since the file is large and contains multiple contracts, I’ll list them by searching for contract declarations with line numbers, then check known vulnerability patterns systematically to generate a detailed JSON report including line references.
[codex:888208] exec
[codex:888208] /bin/bash -lc 'rg -n "''^contract " AUDIT_BUNDLE.txt' in /tmp/codex-multi-6pra12bu succeeded in 11ms:
[codex:888208] 26:contract OperatorRewardsCollector is IOperatorRewardsCollector, AccessControlUpgradeable {
[codex:888208] 
[codex:888208] 
[codex:888208] thinking
[codex:888208] **Analyzing OperatorRewardsCollector contract for vulnerabilities**
[codex:888208] thinking
[codex:888208] **Evaluating external call trustworthiness and reentrancy risks**
[codex:888208] 
[codex:888208] I'm reviewing which external contracts might be attacker-controlled to assess reentrancy risks, focusing on the WETH, treasury, sdUtilityPool, and nodeELVault interactions, weighing permissions and control assumptions to find any exploitable paths.
[codex:888208] exec
[codex:888208] /bin/bash -lc 'rg -n "contract|abstract contract" AUDIT_BUNDLE.txt' in /tmp/codex-multi-6pra12bu succeeded in 10ms:
[codex:888208] 4:FILE: contracts/contracts/OperatorRewardsCollector.sol
[codex:888208] 9:import { Math } from "@openzeppelin/contracts/utils/math/Math.sol";
[codex:888208] 10:import { AccessControlUpgradeable } from "@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol";
[codex:888208] 23:import { IStaderOracle } from "../contracts/interfaces/IStaderOracle.sol";
[codex:888208] 24:import { IPoolUtils } from "../contracts/interfaces/IPoolUtils.sol";
[codex:888208] 26:contract OperatorRewardsCollector is IOperatorRewardsCollector, AccessControlUpgradeable {
[codex:888208] 237:FILE: contracts/contracts/interfaces/INodeELRewardVault.sol
[codex:888208] 257:FILE: contracts/contracts/interfaces/INodeRegistry.sol
[codex:888208] 283:// Interface for the NodeRegistry contract
[codex:888208] 420:FILE: contracts/contracts/interfaces/IOperatorRewardsCollector.sol
[codex:888208] 451:FILE: contracts/contracts/interfaces/IPermissionlessNodeRegistry.sol
[codex:888208] 543:FILE: contracts/contracts/interfaces/IPoolUtils.sol
[codex:888208] 548:// Interface for the PoolUtils contract
[codex:888208] 637:FILE: contracts/contracts/interfaces/ISDUtilityPool.sol
[codex:888208] 854:FILE: contracts/contracts/interfaces/ISocializingPool.sol
[codex:888208] 964:FILE: contracts/contracts/interfaces/IStaderConfig.sol
[codex:888208] 1137:    //checks roles and stader contracts
[codex:888208] 1138:    function onlyStaderContract(address _addr, bytes32 _contractName) external view returns (bool);
[codex:888208] 1150:FILE: contracts/contracts/interfaces/IStaderOracle.sol
[codex:888208] 1487:FILE: contracts/contracts/interfaces/IVaultProxy.sol
[codex:888208] 
[codex:888208] thinking
[codex:888208] **Analyzing OperatorRewardsCollector for exploits**
[codex:888208] codex
[codex:888208] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the audited sources.","findings":[]}
[codex:888208] tokens used
[codex:888208] 24,133
[codex:888208] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the audited sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T04:51:04.395638+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the audited sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the audited sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0114
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x490ffa35
00000019: GT
0000001a: PUSH2 0x00a0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa217fddf
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa217fddf
0000002f: EQ
00000030: PUSH2 0x0328
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa4557a11
0000003a: EQ
0000003b: PUSH2 0x033d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xaa67c919
00000045: EQ
00000046: PUSH2 0x035d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd547741f
00000050: EQ
00000051: PUSH2 0x0370
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf8b2cb4f
0000005b: EQ
0000005c: PUSH2 0x0390
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x490ffa35
0000006b: EQ
0000006c: PUSH2 0x0293
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x4e71d92d
00000076: EQ
00000077: PUSH2 0x02b3
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x91d14854
00000081: EQ
00000082: PUSH2 0x02c8
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x96198d0f
0000008c: EQ
0000008d: PUSH2 0x02e8
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x9ee804cb
00000097: EQ
00000098: PUSH2 0x0308
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x27e235e3
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x27e235e3
000000b2: EQ
000000b3: PUSH2 0x01ce
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x2f2ff15d
000000bd: EQ
000000be: PUSH2 0x01fb
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x36568abe
000000c8: EQ
000000c9: PUSH2 0x021b
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x3fc8cef3
000000d3: EQ
000000d4: PUSH2 0x023b
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x485cc955
000000de: EQ
000000df: PUSH2 0x0273
000000e2: JUMPI
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x01ffc9a7
000000ee: EQ
000000ef: PUSH2 0x0119
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x0a6dc7ba
000000f9: EQ
000000fa: PUSH2 0x014e
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x1cc1c626
00000104: EQ
00000105: PUSH2 0x0170
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x248a9ca3
0000010f: EQ
00000110: PUSH2 0x0190
00000113: JUMPI
00000114: JUMPDEST
00000115: PUSH1 0x00
00000117: DUP1
00000118: REVERT
00000119: JUMPDEST
0000011a: CALLVALUE
0000011b: DUP1
0000011c: ISZERO
0000011d: PUSH2 0x0125
00000120: JUMPI
00000121: PUSH1 0x00
00000123: DUP1
00000124: REVERT
00000125: JUMPDEST
00000126: POP
00000127: PUSH2 0x0139
0000012a: PUSH2 0x0134
0000012d: CALLDATASIZE
0000012e: PUSH1 0x04
00000130: PUSH2 0x205d
00000133: JUMP
00000134: JUMPDEST
00000135: PUSH2 0x03c6
00000138: JUMP
00000139: JUMPDEST
0000013a: PUSH1 0x40
0000013c: MLOAD
0000013d: SWAP1
0000013e: ISZERO
0000013f: ISZERO
00000140: DUP2
00000141: MSTORE
00000142: PUSH1 0x20
00000144: ADD
00000145: JUMPDEST
00000146: PUSH1 0x40
00000148: MLOAD
00000149: DUP1
0000014a: SWAP2
0000014b: SUB
0000014c: SWAP1
0000014d: RETURN
0000014e: JUMPDEST
0000014f: CALLVALUE
00000150: DUP1
00000151: ISZERO
00000152: PUSH2 0x015a
00000155: JUMPI
00000156: PUSH1 0x00
00000158: DUP1
00000159: REVERT
0000015a: JUMPDEST
0000015b: POP
0000015c: PUSH2 0x016e
0000015f: PUSH2 0x0169
00000162: CALLDATASIZE
00000163: PUSH1 0x04
00000165: PUSH2 0x209c
00000168: JUMP
00000169: JUMPDEST
0000016a: PUSH2 0x03fd
0000016d: JUMP
0000016e: JUMPDEST
0000016f: STOP
00000170: JUMPDEST
00000171: CALLVALUE
00000172: DUP1
00000173: ISZERO
00000174: PUSH2 0x017c
00000177: JUMPI
00000178: PUSH1 0x00
0000017a: DUP1
0000017b: REVERT
0000017c: JUMPDEST
0000017d: POP
0000017e: PUSH2 0x016e
00000181: PUSH2 0x018b
00000184: CALLDATASIZE
00000185: PUSH1 0x04
00000187: PUSH2 0x209c
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH2 0x045c
0000018f: JUMP
00000190: JUMPDEST
00000191: CALLVALUE
00000192: DUP1
00000193: ISZERO
00000194: PUSH2 0x019c
00000197: JUMPI
00000198: PUSH1 0x00
0000019a: DUP1
0000019b: REVERT
0000019c: JUMPDEST
0000019d: POP
0000019e: PUSH2 0x01c0
000001a1: PUSH2 0x01ab
000001a4: CALLDATASIZE
000001a5: PUSH1 0x04
000001a7: PUSH2 0x20b9
000001aa: JUMP
000001ab: JUMPDEST
000001ac: PUSH1 0x00
000001ae: SWAP1
000001af: DUP2
000001b0: MSTORE
000001b1: PUSH1 0x65
000001b3: PUSH1 0x20
000001b5: MSTORE
000001b6: PUSH1 0x40
000001b8: SWAP1
000001b9: KECCAK256
000001ba: PUSH1 0x01
000001bc: ADD
000001bd: SLOAD
000001be: SWAP1
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH1 0x40
000001c3: MLOAD
000001c4: SWAP1
000001c5: DUP2
000001c6: MSTORE
000001c7: PUSH1 0x20
000001c9: ADD
000001ca: PUSH2 0x0145
000001cd: JUMP
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x01c0
000001df: PUSH2 0x01e9
000001e2: CALLDATASIZE
000001e3: PUSH1 0x04
000001e5: PUSH2 0x209c
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH1 0x98
000001ec: PUSH1 0x20
000001ee: MSTORE
000001ef: PUSH1 0x00
000001f1: SWAP1
000001f2: DUP2
000001f3: MSTORE
000001f4: PUSH1 0x40
000001f6: SWAP1
000001f7: KECCAK256
000001f8: SLOAD
000001f9: DUP2
000001fa: JUMP
000001fb: JUMPDEST
000001fc: CALLVALUE
000001fd: DUP1
000001fe: ISZERO
000001ff: PUSH2 0x0207
00000202: JUMPI
00000203: PUSH1 0x00
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: POP
00000209: PUSH2 0x016e
0000020c: PUSH2 0x0216
0000020f: CALLDATASIZE
00000210: PUSH1 0x04
00000212: PUSH2 0x20d2
00000215: JUMP
00000216: JUMPDEST
00000217: PUSH2 0x0471
0000021a: JUMP
0000021b: JUMPDEST
0000021c: CALLVALUE
0000021d: DUP1
0000021e: ISZERO
0000021f: PUSH2 0x0227
00000222: JUMPI
00000223: PUSH1 0x00
00000225: DUP1
00000226: REVERT
00000227: JUMPDEST
00000228: POP
00000229: PUSH2 0x016e
0000022c: PUSH2 0x0236
0000022f: CALLDATASIZE
00000230: PUSH1 0x04
00000232: PUSH2 0x20d2
00000235: JUMP
00000236: JUMPDEST
00000237: PUSH2 0x049b
0000023a: JUMP
0000023b: JUMPDEST
0000023c: CALLVALUE
0000023d: DUP1
0000023e: ISZERO
0000023f: PUSH2 0x0247
00000242: JUMPI
00000243: PUSH1 0x00
00000245: DUP1
00000246: REVERT
00000247: JUMPDEST
00000248: POP
00000249: PUSH1 0x99
0000024b: SLOAD
0000024c: PUSH2 0x025b
0000024f: SWAP1
00000250: PUSH1 0x01
00000252: PUSH1 0x01
00000254: PUSH1 0xa0
00000256: SHL
00000257: SUB
00000258: AND
00000259: DUP2
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH1 0x40
0000025e: MLOAD
0000025f: PUSH1 0x01
00000261: PUSH1 0x01
00000263: PUSH1 0xa0
00000265: SHL
00000266: SUB
00000267: SWAP1
00000268: SWAP2
00000269: AND
0000026a: DUP2
0000026b: MSTORE
0000026c: PUSH1 0x20
0000026e: ADD
0000026f: PUSH2 0x0145
00000272: JUMP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH2 0x016e
00000284: PUSH2 0x028e
00000287: CALLDATASIZE
00000288: PUSH1 0x04
0000028a: PUSH2 0x2102
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH2 0x051e
00000292: JUMP
00000293: JUMPDEST
00000294: CALLVALUE
00000295: DUP1
00000296: ISZERO
00000297: PUSH2 0x029f
0000029a: JUMPI
0000029b: PUSH1 0x00
0000029d: DUP1
0000029e: REVERT
0000029f: JUMPDEST
000002a0: POP
000002a1: PUSH1 0x97
000002a3: SLOAD
000002a4: PUSH2 0x025b
000002a7: SWAP1
000002a8: PUSH1 0x01
000002aa: PUSH1 0x01
000002ac: PUSH1 0xa0
000002ae: SHL
000002af: SUB
000002b0: AND
000002b1: DUP2
000002b2: JUMP
000002b3: JUMPDEST
000002b4: CALLVALUE
000002b5: DUP1
000002b6: ISZERO
000002b7: PUSH2 0x02bf
000002ba: JUMPI
000002bb: PUSH1 0x00
000002bd: DUP1
000002be: REVERT
000002bf: JUMPDEST
000002c0: POP
000002c1: PUSH2 0x016e
000002c4: PUSH2 0x069c
000002c7: JUMP
000002c8: JUMPDEST
000002c9: CALLVALUE
000002ca: DUP1
000002cb: ISZERO
000002cc: PUSH2 0x02d4
000002cf: JUMPI
000002d0: PUSH1 0x00
000002d2: DUP1
000002d3: REVERT
000002d4: JUMPDEST
000002d5: POP
000002d6: PUSH2 0x0139
000002d9: PUSH2 0x02e3
000002dc: CALLDATASIZE
000002dd: PUSH1 0x04
000002df: PUSH2 0x20d2
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH2 0x0714
000002e7: JUMP
000002e8: JUMPDEST
000002e9: CALLVALUE
000002ea: DUP1
000002eb: ISZERO
000002ec: PUSH2 0x02f4
000002ef: JUMPI
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: POP
000002f6: PUSH2 0x01c0
000002f9: PUSH2 0x0303
000002fc: CALLDATASIZE
000002fd: PUSH1 0x04
000002ff: PUSH2 0x209c
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH2 0x073f
00000307: JUMP
00000308: JUMPDEST
00000309: CALLVALUE
0000030a: DUP1
0000030b: ISZERO
0000030c: PUSH2 0x0314
0000030f: JUMPI
00000310: PUSH1 0x00
00000312: DUP1
00000313: REVERT
00000314: JUMPDEST
00000315: POP
00000316: PUSH2 0x016e
00000319: PUSH2 0x0323
0000031c: CALLDATASIZE
0000031d: PUSH1 0x04
0000031f: PUSH2 0x209c
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH2 0x0ae5
00000327: JUMP
00000328: JUMPDEST
00000329: CALLVALUE
0000032a: DUP1
0000032b: ISZERO
0000032c: PUSH2 0x0334
0000032f: JUMPI
00000330: PUSH1 0x00
00000332: DUP1
00000333: REVERT
00000334: JUMPDEST
00000335: POP
00000336: PUSH2 0x01c0
00000339: PUSH1 0x00
0000033b: DUP2
0000033c: JUMP
0000033d: JUMPDEST
0000033e: CALLVALUE
0000033f: DUP1
00000340: ISZERO
00000341: PUSH2 0x0349
00000344: JUMPI
00000345: PUSH1 0x00
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: POP
0000034b: PUSH2 0x016e
0000034e: PUSH2 0x0358
00000351: CALLDATASIZE
00000352: PUSH1 0x04
00000354: PUSH2 0x20b9
00000357: JUMP
00000358: JUMPDEST
00000359: PUSH2 0x0b44
0000035c: JUMP
0000035d: JUMPDEST
0000035e: PUSH2 0x016e
00000361: PUSH2 0x036b
00000364: CALLDATASIZE
00000365: PUSH1 0x04
00000367: PUSH2 0x209c
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH2 0x0bbb
0000036f: JUMP
00000370: JUMPDEST
00000371: CALLVALUE
00000372: DUP1
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: POP
0000037e: PUSH2 0x016e
00000381: PUSH2 0x038b
00000384: CALLDATASIZE
00000385: PUSH1 0x04
00000387: PUSH2 0x20d2
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH2 0x0c2b
0000038f: JUMP
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x01c0
000003a1: PUSH2 0x03ab
000003a4: CALLDATASIZE
000003a5: PUSH1 0x04
000003a7: PUSH2 0x209c
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH1 0x01
000003ae: PUSH1 0x01
000003b0: PUSH1 0xa0
000003b2: SHL
000003b3: SUB
000003b4: AND
000003b5: PUSH1 0x00
000003b7: SWAP1
000003b8: DUP2
000003b9: MSTORE
000003ba: PUSH1 0x98
000003bc: PUSH1 0x20
000003be: MSTORE
000003bf: PUSH1 0x40
000003c1: SWAP1
000003c2: KECCAK256
000003c3: SLOAD
000003c4: SWAP1
000003c5: JUMP
000003c6: JUMPDEST
000003c7: PUSH1 0x00
000003c9: PUSH1 0x01
000003cb: PUSH1 0x01
000003cd: PUSH1 0xe0
000003cf: SHL
000003d0: SUB
000003d1: NOT
000003d2: DUP3
000003d3: AND
000003d4: PUSH4 0x7965db0b
000003d9: PUSH1 0xe0
000003db: SHL
000003dc: EQ
000003dd: DUP1
000003de: PUSH2 0x03f7
000003e1: JUMPI
000003e2: POP
000003e3: PUSH4 0x01ffc9a7
000003e8: PUSH1 0xe0
000003ea: SHL
000003eb: PUSH1 0x01
000003ed: PUSH1 0x01
000003ef: PUSH1 0xe0
000003f1: SHL
000003f2: SUB
000003f3: NOT
000003f4: DUP4
000003f5: AND
000003f6: EQ
000003f7: JUMPDEST
000003f8: SWAP3
000003f9: SWAP2
000003fa: POP
000003fb: POP
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH1 0x00
00000400: PUSH2 0x0408
00000403: DUP2
00000404: PUSH2 0x0c50
00000407: JUMP
00000408: JUMPDEST
00000409: PUSH2 0x0411
0000040c: DUP3
0000040d: PUSH2 0x0c5a
00000410: JUMP
00000411: JUMPDEST
00000412: PUSH1 0x99
00000414: DUP1
00000415: SLOAD
00000416: PUSH1 0x01
00000418: PUSH1 0x01
0000041a: PUSH1 0xa0
0000041c: SHL
0000041d: SUB
0000041e: NOT
0000041f: AND
00000420: PUSH1 0x01
00000422: PUSH1 0x01
00000424: PUSH1 0xa0
00000426: SHL
00000427: SUB
00000428: DUP5
00000429: AND
0000042a: SWAP1
0000042b: DUP2
0000042c: OR
0000042d: SWAP1
0000042e: SWAP2
0000042f: SSTORE
00000430: PUSH1 0x40
00000432: MLOAD
00000433: PUSH32 0xa1de212dff029f064e368842c50f600a79a6958de54219159b77f9fa9b84e023
00000454: SWAP1
00000455: PUSH1 0x00
00000457: SWAP1
00000458: LOG2
00000459: POP
0000045a: POP
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH2 0x0465
00000460: DUP2
00000461: PUSH2 0x0c81
00000464: JUMP
00000465: JUMPDEST
00000466: PUSH2 0x046e
00000469: DUP2
0000046a: PUSH2 0x0e4d
0000046d: JUMP
0000046e: JUMPDEST
0000046f: POP
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH1 0x00
00000474: DUP3
00000475: DUP2
00000476: MSTORE
00000477: PUSH1 0x65
00000479: PUSH1 0x20
0000047b: MSTORE
0000047c: PUSH1 0x40
0000047e: SWAP1
0000047f: KECCAK256
00000480: PUSH1 0x01
00000482: ADD
00000483: SLOAD
00000484: PUSH2 0x048c
00000487: DUP2
00000488: PUSH2 0x0c50
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH2 0x0496
00000490: DUP4
00000491: DUP4
00000492: PUSH2 0x1735
00000495: JUMP
00000496: JUMPDEST
00000497: POP
00000498: POP
00000499: POP
0000049a: JUMP
0000049b: JUMPDEST
0000049c: PUSH1 0x01
0000049e: PUSH1 0x01
000004a0: PUSH1 0xa0
000004a2: SHL
000004a3: SUB
000004a4: DUP2
000004a5: AND
000004a6: CALLER
000004a7: EQ
000004a8: PUSH2 0x0510
000004ab: JUMPI
000004ac: PUSH1 0x40
000004ae: MLOAD
000004af: PUSH3 0x461bcd
000004b3: PUSH1 0xe5
000004b5: SHL
000004b6: DUP2
000004b7: MSTORE
000004b8: PUSH1 0x20
000004ba: PUSH1 0x04
000004bc: DUP3
000004bd: ADD
000004be: MSTORE
000004bf: PUSH1 0x2f
000004c1: PUSH1 0x24
000004c3: DUP3
000004c4: ADD
000004c5: MSTORE
000004c6: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
000004e7: PUSH1 0x44
000004e9: DUP3
000004ea: ADD
000004eb: MSTORE
000004ec: PUSH15 0x103937b632b9903337b91039b2b633
000004fc: PUSH1 0x89
000004fe: SHL
000004ff: PUSH1 0x64
00000501: DUP3
00000502: ADD
00000503: MSTORE
00000504: PUSH1 0x84
00000506: ADD
00000507: JUMPDEST
00000508: PUSH1 0x40
0000050a: MLOAD
0000050b: DUP1
0000050c: SWAP2
0000050d: SUB
0000050e: SWAP1
0000050f: REVERT
00000510: JUMPDEST
00000511: PUSH2 0x051a
00000514: DUP3
00000515: DUP3
00000516: PUSH2 0x17bb
00000519: JUMP
0000051a: JUMPDEST
0000051b: POP
0000051c: POP
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH1 0x00
00000521: SLOAD
00000522: PUSH2 0x0100
00000525: SWAP1
00000526: DIV
00000527: PUSH1 0xff
00000529: AND
0000052a: ISZERO
0000052b: DUP1
0000052c: DUP1
0000052d: ISZERO
0000052e: PUSH2 0x053e
00000531: JUMPI
00000532: POP
00000533: PUSH1 0x00
00000535: SLOAD
00000536: PUSH1 0x01
00000538: PUSH1 0xff
0000053a: SWAP1
0000053b: SWAP2
0000053c: AND
0000053d: LT
0000053e: JUMPDEST
0000053f: DUP1
00000540: PUSH2 0x0558
00000543: JUMPI
00000544: POP
00000545: ADDRESS
00000546: EXTCODESIZE
00000547: ISZERO
00000548: DUP1
00000549: ISZERO
0000054a: PUSH2 0x0558
0000054d: JUMPI
0000054e: POP
0000054f: PUSH1 0x00
00000551: SLOAD
00000552: PUSH1 0xff
00000554: AND
00000555: PUSH1 0x01
00000557: EQ
00000558: JUMPDEST
00000559: PUSH2 0x05bb
0000055c: JUMPI
0000055d: PUSH1 0x40
0000055f: MLOAD
00000560: PUSH3 0x461bcd
00000564: PUSH1 0xe5
00000566: SHL
00000567: DUP2
00000568: MSTORE
00000569: PUSH1 0x20
0000056b: PUSH1 0x04
0000056d: DUP3
0000056e: ADD
0000056f: MSTORE
00000570: PUSH1 0x2e
00000572: PUSH1 0x24
00000574: DUP3
00000575: ADD
00000576: MSTORE
00000577: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000598: PUSH1 0x44
0000059a: DUP3
0000059b: ADD
0000059c: MSTORE
0000059d: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
000005ac: PUSH1 0x92
000005ae: SHL
000005af: PUSH1 0x64
000005b1: DUP3
000005b2: ADD
000005b3: MSTORE
000005b4: PUSH1 0x84
000005b6: ADD
000005b7: PUSH2 0x0507
000005ba: JUMP
000005bb: JUMPDEST
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: SLOAD
000005c0: PUSH1 0xff
000005c2: NOT
000005c3: AND
000005c4: PUSH1 0x01
000005c6: OR
000005c7: SWAP1
000005c8: SSTORE
000005c9: DUP1
000005ca: ISZERO
000005cb: PUSH2 0x05de
000005ce: JUMPI
000005cf: PUSH1 0x00
000005d1: DUP1
000005d2: SLOAD
000005d3: PUSH2 0xff00
000005d6: NOT
000005d7: AND
000005d8: PUSH2 0x0100
000005db: OR
000005dc: SWAP1
000005dd: SSTORE
000005de: JUMPDEST
000005df: PUSH2 0x05e7
000005e2: DUP4
000005e3: PUSH2 0x0c5a
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH2 0x05f0
000005eb: DUP3
000005ec: PUSH2 0x0c5a
000005ef: JUMP
000005f0: JUMPDEST
000005f1: PUSH2 0x05f8
000005f4: PUSH2 0x1822
000005f7: JUMP
000005f8: JUMPDEST
000005f9: PUSH1 0x97
000005fb: DUP1
000005fc: SLOAD
000005fd: PUSH1 0x01
000005ff: PUSH1 0x01
00000601: PUSH1 0xa0
00000603: SHL
00000604: SUB
00000605: NOT
00000606: AND
00000607: PUSH1 0x01
00000609: PUSH1 0x01
0000060b: PUSH1 0xa0
0000060d: SHL
0000060e: SUB
0000060f: DUP5
00000610: AND
00000611: OR
00000612: SWAP1
00000613: SSTORE
00000614: PUSH2 0x061e
00000617: PUSH1 0x00
00000619: DUP5
0000061a: PUSH2 0x1735
0000061d: JUMP
0000061e: JUMPDEST
0000061f: PUSH1 0x40
00000621: MLOAD
00000622: PUSH1 0x01
00000624: PUSH1 0x01
00000626: PUSH1 0xa0
00000628: SHL
00000629: SUB
0000062a: DUP4
0000062b: AND
0000062c: SWAP1
0000062d: PUSH32 0xdb2219043d7b197cb235f1af0cf6d782d77dee3de19e3f4fb6d39aae633b4485
0000064e: SWAP1
0000064f: PUSH1 0x00
00000651: SWAP1
00000652: LOG2
00000653: DUP1
00000654: ISZERO
00000655: PUSH2 0x0496
00000658: JUMPI
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: SLOAD
0000065d: PUSH2 0xff00
00000660: NOT
00000661: AND
00000662: SWAP1
00000663: SSTORE
00000664: PUSH1 0x40
00000666: MLOAD
00000667: PUSH1 0x01
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
0000068c: SWAP1
0000068d: PUSH1 0x20
0000068f: ADD
00000690: PUSH1 0x40
00000692: MLOAD
00000693: DUP1
00000694: SWAP2
00000695: SUB
00000696: SWAP1
00000697: LOG1
00000698: POP
00000699: POP
0000069a: POP
0000069b: JUMP
0000069c: JUMPDEST
0000069d: PUSH1 0x00
0000069f: PUSH2 0x06a7
000006a2: CALLER
000006a3: PUSH2 0x188f
000006a6: JUMP
000006a7: JUMPDEST
000006a8: ISZERO
000006a9: PUSH2 0x06f8
000006ac: JUMPI
000006ad: PUSH2 0x06b5
000006b0: CALLER
000006b1: PUSH2 0x045c
000006b4: JUMP
000006b5: JUMPDEST
000006b6: PUSH2 0x06be
000006b9: CALLER
000006ba: PUSH2 0x073f
000006bd: JUMP
000006be: JUMPDEST
000006bf: CALLER
000006c0: PUSH1 0x00
000006c2: SWAP1
000006c3: DUP2
000006c4: MSTORE
000006c5: PUSH1 0x98
000006c7: PUSH1 0x20
000006c9: MSTORE
000006ca: PUSH1 0x40
000006cc: SWAP1
000006cd: KECCAK256
000006ce: SLOAD
000006cf: GT
000006d0: PUSH2 0x06e8
000006d3: JUMPI
000006d4: CALLER
000006d5: PUSH1 0x00
000006d7: SWAP1
000006d8: DUP2
000006d9: MSTORE
000006da: PUSH1 0x98
000006dc: PUSH1 0x20
000006de: MSTORE
000006df: PUSH1 0x40
000006e1: SWAP1
000006e2: KECCAK256
000006e3: SLOAD
000006e4: PUSH2 0x06f1
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH2 0x06f1
000006ec: CALLER
000006ed: PUSH2 0x073f
000006f0: JUMP
000006f1: JUMPDEST
000006f2: SWAP1
000006f3: POP
000006f4: PUSH2 0x070a
000006f7: JUMP
000006f8: JUMPDEST
000006f9: POP
000006fa: CALLER
000006fb: PUSH1 0x00
000006fd: SWAP1
000006fe: DUP2
000006ff: MSTORE
00000700: PUSH1 0x98
00000702: PUSH1 0x20
00000704: MSTORE
00000705: PUSH1 0x40
00000707: SWAP1
00000708: KECCAK256
00000709: SLOAD
0000070a: JUMPDEST
0000070b: PUSH2 0x046e
0000070e: CALLER
0000070f: DUP3
00000710: PUSH2 0x1a69
00000713: JUMP
00000714: JUMPDEST
00000715: PUSH1 0x00
00000717: SWAP2
00000718: DUP3
00000719: MSTORE
0000071a: PUSH1 0x65
0000071c: PUSH1 0x20
0000071e: SWAP1
0000071f: DUP2
00000720: MSTORE
00000721: PUSH1 0x40
00000723: DUP1
00000724: DUP5
00000725: KECCAK256
00000726: PUSH1 0x01
00000728: PUSH1 0x01
0000072a: PUSH1 0xa0
0000072c: SHL
0000072d: SUB
0000072e: SWAP4
0000072f: SWAP1
00000730: SWAP4
00000731: AND
00000732: DUP5
00000733: MSTORE
00000734: SWAP2
00000735: SWAP1
00000736: MSTORE
00000737: SWAP1
00000738: KECCAK256
00000739: SLOAD
0000073a: PUSH1 0xff
0000073c: AND
0000073d: SWAP1
0000073e: JUMP
0000073f: JUMPDEST
00000740: PUSH1 0x00
00000742: DUP1
00000743: PUSH1 0x97
00000745: PUSH1 0x00
00000747: SWAP1
00000748: SLOAD
00000749: SWAP1
0000074a: PUSH2 0x0100
0000074d: EXP
0000074e: SWAP1
0000074f: DIV
00000750: PUSH1 0x01
00000752: PUSH1 0x01
00000754: PUSH1 0xa0
00000756: SHL
00000757: SUB
00000758: AND
00000759: PUSH1 0x01
0000075b: PUSH1 0x01
0000075d: PUSH1 0xa0
0000075f: SHL
00000760: SUB
00000761: AND
00000762: PUSH4 0xf0056918
00000767: PUSH1 0x40
00000769: MLOAD
0000076a: DUP2
0000076b: PUSH4 0xffffffff
00000770: AND
00000771: PUSH1 0xe0
00000773: SHL
00000774: DUP2
00000775: MSTORE
00000776: PUSH1 0x04
00000778: ADD
00000779: PUSH1 0x20
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: DUP1
0000077f: DUP4
00000780: SUB
00000781: DUP2
00000782: DUP7
00000783: GAS
00000784: STATICCALL
00000785: ISZERO
00000786: DUP1
00000787: ISZERO
00000788: PUSH2 0x0795
0000078b: JUMPI
0000078c: RETURNDATASIZE
0000078d: PUSH1 0x00
0000078f: DUP1
00000790: RETURNDATACOPY
00000791: RETURNDATASIZE
00000792: PUSH1 0x00
00000794: REVERT
00000795: JUMPDEST
00000796: POP
00000797: POP
00000798: POP
00000799: POP
0000079a: PUSH1 0x40
0000079c: MLOAD
0000079d: RETURNDATASIZE
0000079e: PUSH1 0x1f
000007a0: NOT
000007a1: PUSH1 0x1f
000007a3: DUP3
000007a4: ADD
000007a5: AND
000007a6: DUP3
000007a7: ADD
000007a8: DUP1
000007a9: PUSH1 0x40
000007ab: MSTORE
000007ac: POP
000007ad: DUP2
000007ae: ADD
000007af: SWAP1
000007b0: PUSH2 0x07b9
000007b3: SWAP2
000007b4: SWAP1
000007b5: PUSH2 0x2130
000007b8: JUMP
000007b9: JUMPDEST
000007ba: SWAP1
000007bb: POP
000007bc: PUSH1 0x00
000007be: DUP2
000007bf: PUSH1 0x01
000007c1: PUSH1 0x01
000007c3: PUSH1 0xa0
000007c5: SHL
000007c6: SUB
000007c7: AND
000007c8: PUSH4 0x4ae9b8bc
000007cd: PUSH1 0x40
000007cf: MLOAD
000007d0: DUP2
000007d1: PUSH4 0xffffffff
000007d6: AND
000007d7: PUSH1 0xe0
000007d9: SHL
000007da: DUP2
000007db: MSTORE
000007dc: PUSH1 0x04
000007de: ADD
000007df: PUSH1 0x20
000007e1: PUSH1 0x40
000007e3: MLOAD
000007e4: DUP1
000007e5: DUP4
000007e6: SUB
000007e7: DUP2
000007e8: DUP7
000007e9: GAS
000007ea: STATICCALL
000007eb: ISZERO
000007ec: DUP1
000007ed: ISZERO
000007ee: PUSH2 0x07fb
000007f1: JUMPI
000007f2: RETURNDATASIZE
000007f3: PUSH1 0x00
000007f5: DUP1
000007f6: RETURNDATACOPY
000007f7: RETURNDATASIZE
000007f8: PUSH1 0x00
000007fa: REVERT
000007fb: JUMPDEST
000007fc: POP
000007fd: POP
000007fe: POP
000007ff: POP
00000800: PUSH1 0x40
00000802: MLOAD
00000803: RETURNDATASIZE
00000804: PUSH1 0x1f
00000806: NOT
00000807: PUSH1 0x1f
00000809: DUP3
0000080a: ADD
0000080b: AND
0000080c: DUP3
0000080d: ADD
0000080e: DUP1
0000080f: PUSH1 0x40
00000811: MSTORE
00000812: POP
00000813: DUP2
00000814: ADD
00000815: SWAP1
00000816: PUSH2 0x081f
00000819: SWAP2
0000081a: SWAP1
0000081b: PUSH2 0x214d
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH1 0x40
00000822: MLOAD
00000823: PUSH1 0x01
00000825: PUSH3 0x367695
00000829: PUSH1 0xe0
0000082b: SHL
0000082c: SUB
0000082d: NOT
0000082e: DUP2
0000082f: MSTORE
00000830: PUSH1 0x01
00000832: PUSH1 0x01
00000834: PUSH1 0xa0
00000836: SHL
00000837: SUB
00000838: DUP7
00000839: DUP2
0000083a: AND
0000083b: PUSH1 0x04
0000083d: DUP4
0000083e: ADD
0000083f: MSTORE
00000840: SWAP2
00000841: SWAP3
00000842: POP
00000843: PUSH1 0x00
00000845: SWAP2
00000846: DUP5
00000847: AND
00000848: SWAP1
00000849: PUSH4 0xffc9896b
0000084e: SWAP1
0000084f: PUSH1 0x24
00000851: ADD
00000852: PUSH1 0x80
00000854: PUSH1 0x40
00000856: MLOAD
00000857: DUP1
00000858: DUP4
00000859: SUB
0000085a: DUP2
0000085b: DUP7
0000085c: GAS
0000085d: STATICCALL
0000085e: ISZERO
0000085f: DUP1
00000860: ISZERO
00000861: PUSH2 0x086e
00000864: JUMPI
00000865: RETURNDATASIZE
00000866: PUSH1 0x00
00000868: DUP1
00000869: RETURNDATACOPY
0000086a: RETURNDATASIZE
0000086b: PUSH1 0x00
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: POP
00000871: POP
00000872: POP
00000873: PUSH1 0x40
00000875: MLOAD
00000876: RETURNDATASIZE
00000877: PUSH1 0x1f
00000879: NOT
0000087a: PUSH1 0x1f
0000087c: DUP3
0000087d: ADD
0000087e: AND
0000087f: DUP3
00000880: ADD
00000881: DUP1
00000882: PUSH1 0x40
00000884: MSTORE
00000885: POP
00000886: DUP2
00000887: ADD
00000888: SWAP1
00000889: PUSH2 0x0892
0000088c: SWAP2
0000088d: SWAP1
0000088e: PUSH2 0x217c
00000891: JUMP
00000892: JUMPDEST
00000893: SWAP1
00000894: POP
00000895: PUSH1 0x00
00000897: DUP3
00000898: DUP3
00000899: PUSH1 0x00
0000089b: ADD
0000089c: MLOAD
0000089d: PUSH1 0x64
0000089f: PUSH2 0x08a8
000008a2: SWAP2
000008a3: SWAP1
000008a4: PUSH2 0x2206
000008a7: JUMP
000008a8: JUMPDEST
000008a9: PUSH2 0x08b2
000008ac: SWAP2
000008ad: SWAP1
000008ae: PUSH2 0x2225
000008b1: JUMP
000008b2: JUMPDEST
000008b3: SWAP1
000008b4: POP
000008b5: PUSH1 0x00
000008b7: PUSH1 0x97
000008b9: PUSH1 0x00
000008bb: SWAP1
000008bc: SLOAD
000008bd: SWAP1
000008be: PUSH2 0x0100
000008c1: EXP
000008c2: SWAP1
000008c3: DIV
000008c4: PUSH1 0x01
000008c6: PUSH1 0x01
000008c8: PUSH1 0xa0
000008ca: SHL
000008cb: SUB
000008cc: AND
000008cd: PUSH1 0x01
000008cf: PUSH1 0x01
000008d1: PUSH1 0xa0
000008d3: SHL
000008d4: SUB
000008d5: AND
000008d6: PUSH4 0xdefd024d
000008db: PUSH1 0x40
000008dd: MLOAD
000008de: DUP2
000008df: PUSH4 0xffffffff
000008e4: AND
000008e5: PUSH1 0xe0
000008e7: SHL
000008e8: DUP2
000008e9: MSTORE
000008ea: PUSH1 0x04
000008ec: ADD
000008ed: PUSH1 0x20
000008ef: PUSH1 0x40
000008f1: MLOAD
000008f2: DUP1
000008f3: DUP4
000008f4: SUB
000008f5: DUP2
000008f6: DUP7
000008f7: GAS
000008f8: STATICCALL
000008f9: ISZERO
000008fa: DUP1
000008fb: ISZERO
000008fc: PUSH2 0x0909
000008ff: JUMPI
00000900: RETURNDATASIZE
00000901: PUSH1 0x00
00000903: DUP1
00000904: RETURNDATACOPY
00000905: RETURNDATASIZE
00000906: PUSH1 0x00
00000908: REVERT
00000909: JUMPDEST
0000090a: POP
0000090b: POP
0000090c: POP
0000090d: POP
0000090e: PUSH1 0x40
00000910: MLOAD
00000911: RETURNDATASIZE
00000912: PUSH1 0x1f
00000914: NOT
00000915: PUSH1 0x1f
00000917: DUP3
00000918: ADD
00000919: AND
0000091a: DUP3
0000091b: ADD
0000091c: DUP1
0000091d: PUSH1 0x40
0000091f: MSTORE
00000920: POP
00000921: DUP2
00000922: ADD
00000923: SWAP1
00000924: PUSH2 0x092d
00000927: SWAP2
00000928: SWAP1
00000929: PUSH2 0x2130
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH1 0x01
00000930: PUSH1 0x01
00000932: PUSH1 0xa0
00000934: SHL
00000935: SUB
00000936: AND
00000937: PUSH4 0xa6870e5b
0000093c: PUSH1 0x40
0000093e: MLOAD
0000093f: DUP2
00000940: PUSH4 0xffffffff
00000945: AND
00000946: PUSH1 0xe0
00000948: SHL
00000949: DUP2
0000094a: MSTORE
0000094b: PUSH1 0x04
0000094d: ADD
0000094e: PUSH1 0x20
00000950: PUSH1 0x40
00000952: MLOAD
00000953: DUP1
00000954: DUP4
00000955: SUB
00000956: DUP2
00000957: DUP7
00000958: GAS
00000959: STATICCALL
0000095a: ISZERO
0000095b: DUP1
0000095c: ISZERO
0000095d: PUSH2 0x096a
00000960: JUMPI
00000961: RETURNDATASIZE
00000962: PUSH1 0x00
00000964: DUP1
00000965: RETURNDATACOPY
00000966: RETURNDATASIZE
00000967: PUSH1 0x00
00000969: REVERT
0000096a: JUMPDEST
0000096b: POP
0000096c: POP
0000096d: POP
0000096e: POP
0000096f: PUSH1 0x40
00000971: MLOAD
00000972: RETURNDATASIZE
00000973: PUSH1 0x1f
00000975: NOT
00000976: PUSH1 0x1f
00000978: DUP3
00000979: ADD
0000097a: AND
0000097b: DUP3
0000097c: ADD
0000097d: DUP1
0000097e: PUSH1 0x40
00000980: MSTORE
00000981: POP
00000982: DUP2
00000983: ADD
00000984: SWAP1
00000985: PUSH2 0x098e
00000988: SWAP2
00000989: SWAP1
0000098a: PUSH2 0x214d
0000098d: JUMP
0000098e: JUMPDEST
0000098f: SWAP1
00000990: POP
00000991: PUSH1 0x00
00000993: PUSH2 0x0a1b
00000996: PUSH2 0x099f
00000999: DUP4
0000099a: DUP6
0000099b: PUSH2 0x2206
0000099e: JUMP
0000099f: JUMPDEST
000009a0: PUSH1 0x97
000009a2: PUSH1 0x00
000009a4: SWAP1
000009a5: SLOAD
000009a6: SWAP1
000009a7: PUSH2 0x0100
000009aa: EXP
000009ab: SWAP1
000009ac: DIV
000009ad: PUSH1 0x01
000009af: PUSH1 0x01
000009b1: PUSH1 0xa0
000009b3: SHL
000009b4: SUB
000009b5: AND
000009b6: PUSH1 0x01
000009b8: PUSH1 0x01
000009ba: PUSH1 0xa0
000009bc: SHL
000009bd: SUB
000009be: AND
000009bf: PUSH4 0xf0141d84
000009c4: PUSH1 0x40
000009c6: MLOAD
000009c7: DUP2
000009c8: PUSH4 0xffffffff
000009cd: AND
000009ce: PUSH1 0xe0
000009d0: SHL
000009d1: DUP2
000009d2: MSTORE
000009d3: PUSH1 0x04
000009d5: ADD
000009d6: PUSH1 0x20
000009d8: PUSH1 0x40
000009da: MLOAD
000009db: DUP1
000009dc: DUP4
000009dd: SUB
000009de: DUP2
000009df: DUP7
000009e0: GAS
000009e1: STATICCALL
000009e2: ISZERO
000009e3: DUP1
000009e4: ISZERO
000009e5: PUSH2 0x09f2
000009e8: JUMPI
000009e9: RETURNDATASIZE
000009ea: PUSH1 0x00
000009ec: DUP1
000009ed: RETURNDATACOPY
000009ee: RETURNDATASIZE
000009ef: PUSH1 0x00
000009f1: REVERT
000009f2: JUMPDEST
000009f3: POP
000009f4: POP
000009f5: POP
000009f6: POP
000009f7: PUSH1 0x40
000009f9: MLOAD
000009fa: RETURNDATASIZE
000009fb: PUSH1 0x1f
000009fd: NOT
000009fe: PUSH1 0x1f
00000a00: DUP3
00000a01: ADD
00000a02: AND
00000a03: DUP3
00000a04: ADD
00000a05: DUP1
00000a06: PUSH1 0x40
00000a08: MSTORE
00000a09: POP
00000a0a: DUP2
00000a0b: ADD
00000a0c: SWAP1
00000a0d: PUSH2 0x0a16
00000a10: SWAP2
00000a11: SWAP1
00000a12: PUSH2 0x214d
00000a15: JUMP
00000a16: JUMPDEST
00000a17: PUSH2 0x1b0a
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: SWAP1
00000a1d: POP
00000a1e: DUP4
00000a1f: PUSH1 0x20
00000a21: ADD
00000a22: MLOAD
00000a23: DUP2
00000a24: GT
00000a25: ISZERO
00000a26: PUSH2 0x0a37
00000a29: JUMPI
00000a2a: POP
00000a2b: PUSH1 0x00
00000a2d: SWAP8
00000a2e: SWAP7
00000a2f: POP
00000a30: POP
00000a31: POP
00000a32: POP
00000a33: POP
00000a34: POP
00000a35: POP
00000a36: JUMP
00000a37: JUMPDEST
00000a38: PUSH1 0x00
00000a3a: DUP2
00000a3b: DUP6
00000a3c: PUSH1 0x20
00000a3e: ADD
00000a3f: MLOAD
00000a40: PUSH2 0x0a49
00000a43: SWAP2
00000a44: SWAP1
00000a45: PUSH2 0x2247
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: PUSH1 0x40
00000a4c: MLOAD
00000a4d: PUSH4 0x091b97ff
00000a52: PUSH1 0xe1
00000a54: SHL
00000a55: DUP2
00000a56: MSTORE
00000a57: PUSH1 0x01
00000a59: PUSH1 0x01
00000a5b: PUSH1 0xa0
00000a5d: SHL
00000a5e: SUB
00000a5f: DUP12
00000a60: DUP2
00000a61: AND
00000a62: PUSH1 0x04
00000a64: DUP4
00000a65: ADD
00000a66: MSTORE
00000a67: SWAP2
00000a68: SWAP3
00000a69: POP
00000a6a: PUSH1 0x00
00000a6c: SWAP2
00000a6d: DUP10
00000a6e: AND
00000a6f: SWAP1
00000a70: PUSH4 0x12372ffe
00000a75: SWAP1
00000a76: PUSH1 0x24
00000a78: ADD
00000a79: PUSH1 0xc0
00000a7b: PUSH1 0x40
00000a7d: MLOAD
00000a7e: DUP1
00000a7f: DUP4
00000a80: SUB
00000a81: DUP2
00000a82: DUP7
00000a83: GAS
00000a84: STATICCALL
00000a85: ISZERO
00000a86: DUP1
00000a87: ISZERO
00000a88: PUSH2 0x0a95
00000a8b: JUMPI
00000a8c: RETURNDATASIZE
00000a8d: PUSH1 0x00
00000a8f: DUP1
00000a90: RETURNDATACOPY
00000a91: RETURNDATASIZE
00000a92: PUSH1 0x00
00000a94: REVERT
00000a95: JUMPDEST
00000a96: POP
00000a97: POP
00000a98: POP
00000a99: POP
00000a9a: PUSH1 0x40
00000a9c: MLOAD
00000a9d: RETURNDATASIZE
00000a9e: PUSH1 0x1f
00000aa0: NOT
00000aa1: PUSH1 0x1f
00000aa3: DUP3
00000aa4: ADD
00000aa5: AND
00000aa6: DUP3
00000aa7: ADD
00000aa8: DUP1
00000aa9: PUSH1 0x40
00000aab: MSTORE
00000aac: POP
00000aad: DUP2
00000aae: ADD
00000aaf: SWAP1
00000ab0: PUSH2 0x0ab9
00000ab3: SWAP2
00000ab4: SWAP1
00000ab5: PUSH2 0x226f
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: DUP1
00000abb: MLOAD
00000abc: SWAP1
00000abd: SWAP2
00000abe: POP
00000abf: DUP3
00000ac0: GT
00000ac1: PUSH2 0x0acb
00000ac4: JUMPI
00000ac5: PUSH1 0x00
00000ac7: PUSH2 0x0ad7
00000aca: JUMP
00000acb: JUMPDEST
00000acc: DUP1
00000acd: MLOAD
00000ace: PUSH2 0x0ad7
00000ad1: SWAP1
00000ad2: DUP4
00000ad3: PUSH2 0x2247
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: SWAP11
00000ad9: SWAP10
00000ada: POP
00000adb: POP
00000adc: POP
00000add: POP
00000ade: POP
00000adf: POP
00000ae0: POP
00000ae1: POP
00000ae2: POP
00000ae3: POP
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: PUSH1 0x00
00000ae8: PUSH2 0x0af0
00000aeb: DUP2
00000aec: PUSH2 0x0c50
00000aef: JUMP
00000af0: JUMPDEST
00000af1: PUSH2 0x0af9
00000af4: DUP3
00000af5: PUSH2 0x0c5a
00000af8: JUMP
00000af9: JUMPDEST
00000afa: PUSH1 0x97
00000afc: DUP1
00000afd: SLOAD
00000afe: PUSH1 0x01
00000b00: PUSH1 0x01
00000b02: PUSH1 0xa0
00000b04: SHL
00000b05: SUB
00000b06: NOT
00000b07: AND
00000b08: PUSH1 0x01
00000b0a: PUSH1 0x01
00000b0c: PUSH1 0xa0
00000b0e: SHL
00000b0f: SUB
00000b10: DUP5
00000b11: AND
00000b12: SWAP1
00000b13: DUP2
00000b14: OR
00000b15: SWAP1
00000b16: SWAP2
00000b17: SSTORE
00000b18: PUSH1 0x40
00000b1a: MLOAD
00000b1b: PUSH32 0xdb2219043d7b197cb235f1af0cf6d782d77dee3de19e3f4fb6d39aae633b4485
00000b3c: SWAP1
00000b3d: PUSH1 0x00
00000b3f: SWAP1
00000b40: LOG2
00000b41: POP
00000b42: POP
00000b43: JUMP
00000b44: JUMPDEST
00000b45: PUSH2 0x0b4d
00000b48: CALLER
00000b49: PUSH2 0x188f
00000b4c: JUMP
00000b4d: JUMPDEST
00000b4e: ISZERO
00000b4f: PUSH2 0x0b8b
00000b52: JUMPI
00000b53: PUSH2 0x0b5b
00000b56: CALLER
00000b57: PUSH2 0x045c
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: PUSH1 0x00
00000b5e: PUSH2 0x0b66
00000b61: CALLER
00000b62: PUSH2 0x073f
00000b65: JUMP
00000b66: JUMPDEST
00000b67: SWAP1
00000b68: POP
00000b69: DUP1
00000b6a: DUP3
00000b6b: GT
00000b6c: ISZERO
00000b6d: PUSH2 0x0b89
00000b70: JUMPI
00000b71: PUSH1 0x40
00000b73: MLOAD
00000b74: PUSH4 0x1e9acf17
00000b79: PUSH1 0xe3
00000b7b: SHL
00000b7c: DUP2
00000b7d: MSTORE
00000b7e: PUSH1 0x04
00000b80: ADD
00000b81: PUSH1 0x40
00000b83: MLOAD
00000b84: DUP1
00000b85: SWAP2
00000b86: SUB
00000b87: SWAP1
00000b88: REVERT
00000b89: JUMPDEST
00000b8a: POP
00000b8b: JUMPDEST
00000b8c: CALLER
00000b8d: PUSH1 0x00
00000b8f: SWAP1
00000b90: DUP2
00000b91: MSTORE
00000b92: PUSH1 0x98
00000b94: PUSH1 0x20
00000b96: MSTORE
00000b97: PUSH1 0x40
00000b99: SWAP1
00000b9a: KECCAK256
00000b9b: SLOAD
00000b9c: DUP2
00000b9d: GT
00000b9e: ISZERO
00000b9f: PUSH2 0x070a
00000ba2: JUMPI
00000ba3: PUSH1 0x40
00000ba5: MLOAD
00000ba6: PUSH4 0x1e9acf17
00000bab: PUSH1 0xe3
00000bad: SHL
00000bae: DUP2
00000baf: MSTORE
00000bb0: PUSH1 0x04
00000bb2: ADD
00000bb3: PUSH1 0x40
00000bb5: MLOAD
00000bb6: DUP1
00000bb7: SWAP2
00000bb8: SUB
00000bb9: SWAP1
00000bba: REVERT
00000bbb: JUMPDEST
00000bbc: PUSH1 0x01
00000bbe: PUSH1 0x01
00000bc0: PUSH1 0xa0
00000bc2: SHL
00000bc3: SUB
00000bc4: DUP2
00000bc5: AND
00000bc6: PUSH1 0x00
00000bc8: SWAP1
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x98
00000bcd: PUSH1 0x20
00000bcf: MSTORE
00000bd0: PUSH1 0x40
00000bd2: DUP2
00000bd3: KECCAK256
00000bd4: DUP1
00000bd5: SLOAD
00000bd6: CALLVALUE
00000bd7: SWAP3
00000bd8: SWAP1
00000bd9: PUSH2 0x0be3
00000bdc: SWAP1
00000bdd: DUP5
00000bde: SWAP1
00000bdf: PUSH2 0x230b
00000be2: JUMP
00000be3: JUMPDEST
00000be4: SWAP1
00000be5: SWAP2
00000be6: SSTORE
00000be7: POP
00000be8: POP
00000be9: PUSH1 0x40
00000beb: MLOAD
00000bec: CALLVALUE
00000bed: DUP2
00000bee: MSTORE
00000bef: PUSH1 0x01
00000bf1: PUSH1 0x01
00000bf3: PUSH1 0xa0
00000bf5: SHL
00000bf6: SUB
00000bf7: DUP3
00000bf8: AND
00000bf9: SWAP1
00000bfa: CALLER
00000bfb: SWAP1
00000bfc: PUSH32 0x11fa725a956e1222d809b94ec211abe46e4218803a3c67d50f6fd9e46ba20a0e
00000c1d: SWAP1
00000c1e: PUSH1 0x20
00000c20: ADD
00000c21: PUSH1 0x40
00000c23: MLOAD
00000c24: DUP1
00000c25: SWAP2
00000c26: SUB
00000c27: SWAP1
00000c28: LOG3
00000c29: POP
00000c2a: JUMP
00000c2b: JUMPDEST
00000c2c: PUSH1 0x00
00000c2e: DUP3
00000c2f: DUP2
00000c30: MSTORE
00000c31: PUSH1 0x65
00000c33: PUSH1 0x20
00000c35: MSTORE
00000c36: PUSH1 0x40
00000c38: SWAP1
00000c39: KECCAK256
00000c3a: PUSH1 0x01
00000c3c: ADD
00000c3d: SLOAD
00000c3e: PUSH2 0x0c46
00000c41: DUP2
00000c42: PUSH2 0x0c50
00000c45: JUMP
00000c46: JUMPDEST
00000c47: PUSH2 0x0496
00000c4a: DUP4
00000c4b: DUP4
00000c4c: PUSH2 0x17bb
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH2 0x046e
00000c54: DUP2
00000c55: CALLER
00000c56: PUSH2 0x1b42
00000c59: JUMP
00000c5a: JUMPDEST
00000c5b: PUSH1 0x01
00000c5d: PUSH1 0x01
00000c5f: PUSH1 0xa0
00000c61: SHL
00000c62: SUB
00000c63: DUP2
00000c64: AND
00000c65: PUSH2 0x046e
00000c68: JUMPI
00000c69: PUSH1 0x40
00000c6b: MLOAD
00000c6c: PUSH4 0xd92e233d
00000c71: PUSH1 0xe0
00000c73: SHL
00000c74: DUP2
00000c75: MSTORE
00000c76: PUSH1 0x04
00000c78: ADD
00000c79: PUSH1 0x40
00000c7b: MLOAD
00000c7c: DUP1
00000c7d: SWAP2
00000c7e: SUB
00000c7f: SWAP1
00000c80: REVERT
00000c81: JUMPDEST
00000c82: PUSH1 0x97
00000c84: SLOAD
00000c85: PUSH1 0x40
00000c87: DUP1
00000c88: MLOAD
00000c89: PUSH4 0xaa953795
00000c8e: PUSH1 0xe0
00000c90: SHL
00000c91: DUP2
00000c92: MSTORE
00000c93: SWAP1
00000c94: MLOAD
00000c95: PUSH1 0x00
00000c97: SWAP3
00000c98: PUSH1 0x01
00000c9a: PUSH1 0x01
00000c9c: PUSH1 0xa0
00000c9e: SHL
00000c9f: SUB
00000ca0: AND
00000ca1: SWAP2
00000ca2: PUSH4 0xaa953795
00000ca7: SWAP2
00000ca8: PUSH1 0x04
00000caa: DUP1
00000cab: DUP4
00000cac: ADD
00000cad: SWAP3
00000cae: PUSH1 0x20
00000cb0: SWAP3
00000cb1: SWAP2
00000cb2: SWAP1
00000cb3: DUP3
00000cb4: SWAP1
00000cb5: SUB
00000cb6: ADD
00000cb7: DUP2
00000cb8: DUP7
00000cb9: GAS
00000cba: STATICCALL
00000cbb: ISZERO
00000cbc: DUP1
00000cbd: ISZERO
00000cbe: PUSH2 0x0ccb
00000cc1: JUMPI
00000cc2: RETURNDATASIZE
00000cc3: PUSH1 0x00
00000cc5: DUP1
00000cc6: RETURNDATACOPY
00000cc7: RETURNDATASIZE
00000cc8: PUSH1 0x00
00000cca: REVERT
00000ccb: JUMPDEST
00000ccc: POP
00000ccd: POP
00000cce: POP
00000ccf: POP
00000cd0: PUSH1 0x40
00000cd2: MLOAD
00000cd3: RETURNDATASIZE
00000cd4: PUSH1 0x1f
00000cd6: NOT
00000cd7: PUSH1 0x1f
00000cd9: DUP3
00000cda: ADD
00000cdb: AND
00000cdc: DUP3
00000cdd: ADD
00000cde: DUP1
00000cdf: PUSH1 0x40
00000ce1: MSTORE
00000ce2: POP
00000ce3: DUP2
00000ce4: ADD
00000ce5: SWAP1
00000ce6: PUSH2 0x0cef
00000ce9: SWAP2
00000cea: SWAP1
00000ceb: PUSH2 0x2130
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: PUSH1 0x40
00000cf2: MLOAD
00000cf3: PUSH4 0x27d9ab5d
00000cf8: PUSH1 0xe0
00000cfa: SHL
00000cfb: DUP2
00000cfc: MSTORE
00000cfd: PUSH1 0x01
00000cff: PUSH1 0x01
00000d01: PUSH1 0xa0
00000d03: SHL
00000d04: SUB
00000d05: DUP5
00000d06: DUP2
00000d07: AND
00000d08: PUSH1 0x04
00000d0a: DUP4
00000d0b: ADD
00000d0c: MSTORE
00000d0d: SWAP2
00000d0e: SWAP3
00000d0f: POP
00000d10: PUSH1 0x00
00000d12: SWAP2
00000d13: DUP4
00000d14: AND
00000d15: SWAP1
00000d16: PUSH4 0x27d9ab5d
00000d1b: SWAP1
00000d1c: PUSH1 0x24
00000d1e: ADD
00000d1f: PUSH1 0x60
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: DUP1
00000d25: DUP4
00000d26: SUB
00000d27: DUP2
00000d28: DUP7
00000d29: GAS
00000d2a: STATICCALL
00000d2b: ISZERO
00000d2c: DUP1
00000d2d: ISZERO
00000d2e: PUSH2 0x0d3b
00000d31: JUMPI
00000d32: RETURNDATASIZE
00000d33: PUSH1 0x00
00000d35: DUP1
00000d36: RETURNDATACOPY
00000d37: RETURNDATASIZE
00000d38: PUSH1 0x00
00000d3a: REVERT
00000d3b: JUMPDEST
00000d3c: POP
00000d3d: POP
00000d3e: POP
00000d3f: POP
00000d40: PUSH1 0x40
00000d42: MLOAD
00000d43: RETURNDATASIZE
00000d44: PUSH1 0x1f
00000d46: NOT
00000d47: PUSH1 0x1f
00000d49: DUP3
00000d4a: ADD
00000d4b: AND
00000d4c: DUP3
00000d4d: ADD
00000d4e: DUP1
00000d4f: PUSH1 0x40
00000d51: MSTORE
00000d52: POP
00000d53: DUP2
00000d54: ADD
00000d55: SWAP1
00000d56: PUSH2 0x0d5f
00000d59: SWAP2
00000d5a: SWAP1
00000d5b: PUSH2 0x232f
00000d5e: JUMP
00000d5f: JUMPDEST
00000d60: PUSH1 0x40
00000d62: MLOAD
00000d63: PUSH4 0xb11a3a9b
00000d68: PUSH1 0xe0
00000d6a: SHL
00000d6b: DUP2
00000d6c: MSTORE
00000d6d: PUSH1 0x01
00000d6f: PUSH1 0x01
00000d71: PUSH1 0xa0
00000d73: SHL
00000d74: SUB
00000d75: DUP8
00000d76: DUP2
00000d77: AND
00000d78: PUSH1 0x04
00000d7a: DUP4
00000d7b: ADD
00000d7c: MSTORE
00000d7d: SWAP2
00000d7e: SWAP5
00000d7f: POP
00000d80: PUSH1 0x00
00000d82: SWAP4
00000d83: POP
00000d84: SWAP1
00000d85: DUP6
00000d86: AND
00000d87: SWAP2
00000d88: POP
00000d89: PUSH4 0xb11a3a9b
00000d8e: SWAP1
00000d8f: PUSH1 0x24
00000d91: ADD
00000d92: PUSH1 0x20
00000d94: PUSH1 0x40
00000d96: MLOAD
00000d97: DUP1
00000d98: DUP4
00000d99: SUB
00000d9a: DUP2
00000d9b: DUP7
00000d9c: GAS
00000d9d: STATICCALL
00000d9e: ISZERO
00000d9f: DUP1
00000da0: ISZERO
00000da1: PUSH2 0x0dae
00000da4: JUMPI
00000da5: RETURNDATASIZE
00000da6: PUSH1 0x00
00000da8: DUP1
00000da9: RETURNDATACOPY
00000daa: RETURNDATASIZE
00000dab: PUSH1 0x00
00000dad: REVERT
00000dae: JUMPDEST
00000daf: POP
00000db0: POP
00000db1: POP
00000db2: POP
00000db3: PUSH1 0x40
00000db5: MLOAD
00000db6: RETURNDATASIZE
00000db7: PUSH1 0x1f
00000db9: NOT
00000dba: PUSH1 0x1f
00000dbc: DUP3
00000dbd: ADD
00000dbe: AND
00000dbf: DUP3
00000dc0: ADD
00000dc1: DUP1
00000dc2: PUSH1 0x40
00000dc4: MSTORE
00000dc5: POP
00000dc6: DUP2
00000dc7: ADD
00000dc8: SWAP1
00000dc9: PUSH2 0x0dd2
00000dcc: SWAP2
00000dcd: SWAP1
00000dce: PUSH2 0x214d
00000dd1: JUMP
00000dd2: JUMPDEST
00000dd3: SWAP1
00000dd4: POP
00000dd5: PUSH1 0x00
00000dd7: DUP3
00000dd8: GT
00000dd9: DUP1
00000dda: PUSH2 0x0de1
00000ddd: JUMPI
00000dde: POP
00000ddf: DUP1
00000de0: ISZERO
00000de1: JUMPDEST
00000de2: ISZERO
00000de3: PUSH2 0x0dec
00000de6: JUMPI
00000de7: POP
00000de8: POP
00000de9: POP
00000dea: POP
00000deb: JUMP
00000dec: JUMPDEST
00000ded: PUSH1 0x40
00000def: MLOAD
00000df0: PUSH4 0x7a793ddf
00000df5: PUSH1 0xe1
00000df7: SHL
00000df8: DUP2
00000df9: MSTORE
00000dfa: PUSH1 0x01
00000dfc: PUSH1 0x01
00000dfe: PUSH1 0xa0
00000e00: SHL
00000e01: SUB
00000e02: DUP6
00000e03: DUP2
00000e04: AND
00000e05: PUSH1 0x04
00000e07: DUP4
00000e08: ADD
00000e09: MSTORE
00000e0a: DUP5
00000e0b: AND
00000e0c: SWAP1
00000e0d: PUSH4 0xf4f27bbe
00000e12: SWAP1
00000e13: PUSH1 0x24
00000e15: ADD
00000e16: PUSH1 0x00
00000e18: PUSH1 0x40
00000e1a: MLOAD
00000e1b: DUP1
00000e1c: DUP4
00000e1d: SUB
00000e1e: DUP2
00000e1f: PUSH1 0x00
00000e21: DUP8
00000e22: DUP1
00000e23: EXTCODESIZE
00000e24: ISZERO
00000e25: DUP1
00000e26: ISZERO
00000e27: PUSH2 0x0e2f
00000e2a: JUMPI
00000e2b: PUSH1 0x00
00000e2d: DUP1
00000e2e: REVERT
00000e2f: JUMPDEST
00000e30: POP
00000e31: GAS
00000e32: CALL
00000e33: ISZERO
00000e34: DUP1
00000e35: ISZERO
00000e36: PUSH2 0x0e43
00000e39: JUMPI
00000e3a: RETURNDATASIZE
00000e3b: PUSH1 0x00
00000e3d: DUP1
00000e3e: RETURNDATACOPY
00000e3f: RETURNDATASIZE
00000e40: PUSH1 0x00
00000e42: REVERT
00000e43: JUMPDEST
00000e44: POP
00000e45: POP
00000e46: POP
00000e47: POP
00000e48: POP
00000e49: POP
00000e4a: POP
00000e4b: POP
00000e4c: JUMP
00000e4d: JUMPDEST
00000e4e: PUSH1 0x97
00000e50: SLOAD
00000e51: PUSH1 0x40
00000e53: DUP1
00000e54: MLOAD
00000e55: PUSH4 0x1e00ad23
00000e5a: PUSH1 0xe3
00000e5c: SHL
00000e5d: DUP2
00000e5e: MSTORE
00000e5f: SWAP1
00000e60: MLOAD
00000e61: PUSH1 0x00
00000e63: SWAP3
00000e64: PUSH1 0x01
00000e66: PUSH1 0x01
00000e68: PUSH1 0xa0
00000e6a: SHL
00000e6b: SUB
00000e6c: AND
00000e6d: SWAP2
00000e6e: PUSH4 0xf0056918
00000e73: SWAP2
00000e74: PUSH1 0x04
00000e76: DUP1
00000e77: DUP4
00000e78: ADD
00000e79: SWAP3
00000e7a: PUSH1 0x20
00000e7c: SWAP3
00000e7d: SWAP2
00000e7e: SWAP1
00000e7f: DUP3
00000e80: SWAP1
00000e81: SUB
00000e82: ADD
00000e83: DUP2
00000e84: DUP7
00000e85: GAS
00000e86: STATICCALL
00000e87: ISZERO
00000e88: DUP1
00000e89: ISZERO
00000e8a: PUSH2 0x0e97
00000e8d: JUMPI
00000e8e: RETURNDATASIZE
00000e8f: PUSH1 0x00
00000e91: DUP1
00000e92: RETURNDATACOPY
00000e93: RETURNDATASIZE
00000e94: PUSH1 0x00
00000e96: REVERT
00000e97: JUMPDEST
00000e98: POP
00000e99: POP
00000e9a: POP
00000e9b: POP
00000e9c: PUSH1 0x40
00000e9e: MLOAD
00000e9f: RETURNDATASIZE
00000ea0: PUSH1 0x1f
00000ea2: NOT
00000ea3: PUSH1 0x1f
00000ea5: DUP3
00000ea6: ADD
00000ea7: AND
00000ea8: DUP3
00000ea9: ADD
00000eaa: DUP1
00000eab: PUSH1 0x40
00000ead: MSTORE
00000eae: POP
00000eaf: DUP2
00000eb0: ADD
00000eb1: SWAP1
00000eb2: PUSH2 0x0ebb
00000eb5: SWAP2
00000eb6: SWAP1
00000eb7: PUSH2 0x2130
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: PUSH1 0x40
00000ebe: MLOAD
00000ebf: PUSH4 0x091b97ff
00000ec4: PUSH1 0xe1
00000ec6: SHL
00000ec7: DUP2
00000ec8: MSTORE
00000ec9: PUSH1 0x01
00000ecb: PUSH1 0x01
00000ecd: PUSH1 0xa0
00000ecf: SHL
00000ed0: SUB
00000ed1: DUP5
00000ed2: DUP2
00000ed3: AND
00000ed4: PUSH1 0x04
00000ed6: DUP4
00000ed7: ADD
00000ed8: MSTORE
00000ed9: SWAP2
00000eda: SWAP3
00000edb: POP
00000edc: PUSH1 0x00
00000ede: SWAP2
00000edf: DUP4
00000ee0: AND
00000ee1: SWAP1
00000ee2: PUSH4 0x12372ffe
00000ee7: SWAP1
00000ee8: PUSH1 0x24
00000eea: ADD
00000eeb: PUSH1 0xc0
00000eed: PUSH1 0x40
00000eef: MLOAD
00000ef0: DUP1
00000ef1: DUP4
00000ef2: SUB
00000ef3: DUP2
00000ef4: DUP7
00000ef5: GAS
00000ef6: STATICCALL
00000ef7: ISZERO
00000ef8: DUP1
00000ef9: ISZERO
00000efa: PUSH2 0x0f07
00000efd: JUMPI
00000efe: RETURNDATASIZE
00000eff: PUSH1 0x00
00000f01: DUP1
00000f02: RETURNDATACOPY
00000f03: RETURNDATASIZE
00000f04: PUSH1 0x00
00000f06: REVERT
00000f07: JUMPDEST
00000f08: POP
00000f09: POP
00000f0a: POP
00000f0b: POP
00000f0c: PUSH1 0x40
00000f0e: MLOAD
00000f0f: RETURNDATASIZE
00000f10: PUSH1 0x1f
00000f12: NOT
00000f13: PUSH1 0x1f
00000f15: DUP3
00000f16: ADD
00000f17: AND
00000f18: DUP3
00000f19: ADD
00000f1a: DUP1
00000f1b: PUSH1 0x40
00000f1d: MSTORE
00000f1e: POP
00000f1f: DUP2
00000f20: ADD
00000f21: SWAP1
00000f22: PUSH2 0x0f2b
00000f25: SWAP2
00000f26: SWAP1
00000f27: PUSH2 0x226f
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: SWAP1
00000f2d: POP
00000f2e: DUP1
00000f2f: PUSH1 0x60
00000f31: ADD
00000f32: MLOAD
00000f33: ISZERO
00000f34: DUP1
00000f35: ISZERO
00000f36: PUSH2 0x0f3f
00000f39: JUMPI
00000f3a: POP
00000f3b: DUP1
00000f3c: MLOAD
00000f3d: ISZERO
00000f3e: ISZERO
00000f3f: JUMPDEST
00000f40: ISZERO
00000f41: PUSH2 0x0496
00000f44: JUMPI
00000f45: PUSH1 0x00
00000f47: DUP1
00000f48: PUSH1 0x00
00000f4a: PUSH1 0x97
00000f4c: PUSH1 0x00
00000f4e: SWAP1
00000f4f: SLOAD
00000f50: SWAP1
00000f51: PUSH2 0x0100
00000f54: EXP
00000f55: SWAP1
00000f56: DIV
00000f57: PUSH1 0x01
00000f59: PUSH1 0x01
00000f5b: PUSH1 0xa0
00000f5d: SHL
00000f5e: SUB
00000f5f: AND
00000f60: PUSH1 0x01
00000f62: PUSH1 0x01
00000f64: PUSH1 0xa0
00000f66: SHL
00000f67: SUB
00000f68: AND
00000f69: PUSH4 0xaa953795
00000f6e: PUSH1 0x40
00000f70: MLOAD
00000f71: DUP2
00000f72: PUSH4 0xffffffff
00000f77: AND
00000f78: PUSH1 0xe0
00000f7a: SHL
00000f7b: DUP2
00000f7c: MSTORE
00000f7d: PUSH1 0x04
00000f7f: ADD
00000f80: PUSH1 0x20
00000f82: PUSH1 0x40
00000f84: MLOAD
00000f85: DUP1
00000f86: DUP4
00000f87: SUB
00000f88: DUP2
00000f89: DUP7
00000f8a: GAS
00000f8b: STATICCALL
00000f8c: ISZERO
00000f8d: DUP1
00000f8e: ISZERO
00000f8f: PUSH2 0x0f9c
00000f92: JUMPI
00000f93: RETURNDATASIZE
00000f94: PUSH1 0x00
00000f96: DUP1
00000f97: RETURNDATACOPY
00000f98: RETURNDATASIZE
00000f99: PUSH1 0x00
00000f9b: REVERT
00000f9c: JUMPDEST
00000f9d: POP
00000f9e: POP
00000f9f: POP
00000fa0: POP
00000fa1: PUSH1 0x40
00000fa3: MLOAD
00000fa4: RETURNDATASIZE
00000fa5: PUSH1 0x1f
00000fa7: NOT
00000fa8: PUSH1 0x1f
00000faa: DUP3
00000fab: ADD
00000fac: AND
00000fad: DUP3
00000fae: ADD
00000faf: DUP1
00000fb0: PUSH1 0x40
00000fb2: MSTORE
00000fb3: POP
00000fb4: DUP2
00000fb5: ADD
00000fb6: SWAP1
00000fb7: PUSH2 0x0fc0
00000fba: SWAP2
00000fbb: SWAP1
00000fbc: PUSH2 0x2130
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: PUSH1 0x40
00000fc3: MLOAD
00000fc4: PUSH4 0x27d9ab5d
00000fc9: PUSH1 0xe0
00000fcb: SHL
00000fcc: DUP2
00000fcd: MSTORE
00000fce: PUSH1 0x01
00000fd0: PUSH1 0x01
00000fd2: PUSH1 0xa0
00000fd4: SHL
00000fd5: SUB
00000fd6: DUP9
00000fd7: DUP2
00000fd8: AND
00000fd9: PUSH1 0x04
00000fdb: DUP4
00000fdc: ADD
00000fdd: MSTORE
00000fde: SWAP2
00000fdf: SWAP1
00000fe0: SWAP2
00000fe1: AND
00000fe2: SWAP1
00000fe3: PUSH4 0x27d9ab5d
00000fe8: SWAP1
00000fe9: PUSH1 0x24
00000feb: ADD
00000fec: PUSH1 0x60
00000fee: PUSH1 0x40
00000ff0: MLOAD
00000ff1: DUP1
00000ff2: DUP4
00000ff3: SUB
00000ff4: DUP2
00000ff5: DUP7
00000ff6: GAS
00000ff7: STATICCALL
00000ff8: ISZERO
00000ff9: DUP1
00000ffa: ISZERO
00000ffb: PUSH2 0x1008
00000ffe: JUMPI
00000fff: RETURNDATASIZE
00001000: PUSH1 0x00
00001002: DUP1
00001003: RETURNDATACOPY
00001004: RETURNDATASIZE
00001005: PUSH1 0x00
00001007: REVERT
00001008: JUMPDEST
00001009: POP
0000100a: POP
0000100b: POP
0000100c: POP
0000100d: PUSH1 0x40
0000100f: MLOAD
00001010: RETURNDATASIZE
00001011: PUSH1 0x1f
00001013: NOT
00001014: PUSH1 0x1f
00001016: DUP3
00001017: ADD
00001018: AND
00001019: DUP3
0000101a: ADD
0000101b: DUP1
0000101c: PUSH1 0x40
0000101e: MSTORE
0000101f: POP
00001020: DUP2
00001021: ADD
00001022: SWAP1
00001023: PUSH2 0x102c
00001026: SWAP2
00001027: SWAP1
00001028: PUSH2 0x232f
0000102b: JUMP
0000102c: JUMPDEST
0000102d: DUP7
0000102e: MLOAD
0000102f: PUSH1 0x01
00001031: PUSH1 0x01
00001033: PUSH1 0xa0
00001035: SHL
00001036: SUB
00001037: DUP11
00001038: AND
00001039: PUSH1 0x00
0000103b: SWAP1
0000103c: DUP2
0000103d: MSTORE
0000103e: PUSH1 0x98
00001040: PUSH1 0x20
00001042: MSTORE
00001043: PUSH1 0x40
00001045: SWAP1
00001046: KECCAK256
00001047: SLOAD
00001048: SWAP4
00001049: SWAP7
0000104a: POP
0000104b: SWAP2
0000104c: SWAP5
0000104d: POP
0000104e: SWAP3
0000104f: POP
00001050: GT
00001051: DUP1
00001052: ISZERO
00001053: PUSH2 0x105c
00001056: JUMPI
00001057: POP
00001058: PUSH1 0x00
0000105a: DUP2
0000105b: GT
0000105c: JUMPDEST
0000105d: ISZERO
0000105e: PUSH2 0x107a
00001061: JUMPI
00001062: PUSH1 0x40
00001064: MLOAD
00001065: PUSH4 0x1e9acf17
0000106a: PUSH1 0xe3
0000106c: SHL
0000106d: DUP2
0000106e: MSTORE
0000106f: PUSH1 0x04
00001071: ADD
00001072: PUSH1 0x40
00001074: MLOAD
00001075: DUP1
00001076: SWAP2
00001077: SUB
00001078: SWAP1
00001079: REVERT
0000107a: JUMPDEST
0000107b: PUSH1 0x97
0000107d: SLOAD
0000107e: PUSH1 0x40
00001080: DUP1
00001081: MLOAD
00001082: PUSH4 0x0d80dd29
00001087: PUSH1 0xe2
00001089: SHL
0000108a: DUP2
0000108b: MSTORE
0000108c: SWAP1
0000108d: MLOAD
0000108e: PUSH1 0x00
00001090: SWAP3
00001091: PUSH1 0x01
00001093: PUSH1 0x01
00001095: PUSH1 0xa0
00001097: SHL
00001098: SUB
00001099: AND
0000109a: SWAP2
0000109b: PUSH4 0x360374a4
000010a0: SWAP2
000010a1: PUSH1 0x04
000010a3: DUP1
000010a4: DUP4
000010a5: ADD
000010a6: SWAP3
000010a7: PUSH1 0x20
000010a9: SWAP3
000010aa: SWAP2
000010ab: SWAP1
000010ac: DUP3
000010ad: SWAP1
000010ae: SUB
000010af: ADD
000010b0: DUP2
000010b1: DUP7
000010b2: GAS
000010b3: STATICCALL
000010b4: ISZERO
000010b5: DUP1
000010b6: ISZERO
000010b7: PUSH2 0x10c4
000010ba: JUMPI
000010bb: RETURNDATASIZE
000010bc: PUSH1 0x00
000010be: DUP1
000010bf: RETURNDATACOPY
000010c0: RETURNDATASIZE
000010c1: PUSH1 0x00
000010c3: REVERT
000010c4: JUMPDEST
000010c5: POP
000010c6: POP
000010c7: POP
000010c8: POP
000010c9: PUSH1 0x40
000010cb: MLOAD
000010cc: RETURNDATASIZE
000010cd: PUSH1 0x1f
000010cf: NOT
000010d0: PUSH1 0x1f
000010d2: DUP3
000010d3: ADD
000010d4: AND
000010d5: DUP3
000010d6: ADD
000010d7: DUP1
000010d8: PUSH1 0x40
000010da: MSTORE
000010db: POP
000010dc: DUP2
000010dd: ADD
000010de: SWAP1
000010df: PUSH2 0x10e8
000010e2: SWAP2
000010e3: SWAP1
000010e4: PUSH2 0x2130
000010e7: JUMP
000010e8: JUMPDEST
000010e9: SWAP1
000010ea: POP
000010eb: DUP4
000010ec: PUSH1 0xff
000010ee: AND
000010ef: DUP2
000010f0: PUSH1 0x01
000010f2: PUSH1 0x01
000010f4: PUSH1 0xa0
000010f6: SHL
000010f7: SUB
000010f8: AND
000010f9: PUSH4 0xe0d7d0e9
000010fe: PUSH1 0x40
00001100: MLOAD
00001101: DUP2
00001102: PUSH4 0xffffffff
00001107: AND
00001108: PUSH1 0xe0
0000110a: SHL
0000110b: DUP2
0000110c: MSTORE
0000110d: PUSH1 0x04
0000110f: ADD
00001110: PUSH1 0x20
00001112: PUSH1 0x40
00001114: MLOAD
00001115: DUP1
00001116: DUP4
00001117: SUB
00001118: DUP2
00001119: DUP7
0000111a: GAS
0000111b: STATICCALL
0000111c: ISZERO
0000111d: DUP1
0000111e: ISZERO
0000111f: PUSH2 0x112c
00001122: JUMPI
00001123: RETURNDATASIZE
00001124: PUSH1 0x00
00001126: DUP1
00001127: RETURNDATACOPY
00001128: RETURNDATASIZE
00001129: PUSH1 0x00
0000112b: REVERT
0000112c: JUMPDEST
0000112d: POP
0000112e: POP
0000112f: POP
00001130: POP
00001131: PUSH1 0x40
00001133: MLOAD
00001134: RETURNDATASIZE
00001135: PUSH1 0x1f
00001137: NOT
00001138: PUSH1 0x1f
0000113a: DUP3
0000113b: ADD
0000113c: AND
0000113d: DUP3
0000113e: ADD
0000113f: DUP1
00001140: PUSH1 0x40
00001142: MSTORE
00001143: POP
00001144: DUP2
00001145: ADD
00001146: SWAP1
00001147: PUSH2 0x1150
0000114a: SWAP2
0000114b: SWAP1
0000114c: PUSH2 0x2364
0000114f: JUMP
00001150: JUMPDEST
00001151: PUSH1 0xff
00001153: AND
00001154: SUB
00001155: PUSH2 0x122c
00001158: JUMPI
00001159: PUSH1 0x40
0000115b: MLOAD
0000115c: PUSH4 0x49a25921
00001161: PUSH1 0xe1
00001163: SHL
00001164: DUP2
00001165: MSTORE
00001166: PUSH1 0x04
00001168: DUP2
00001169: ADD
0000116a: DUP5
0000116b: SWAP1
0000116c: MSTORE
0000116d: PUSH1 0x00
0000116f: SWAP1
00001170: PUSH1 0x01
00001172: PUSH1 0x01
00001174: PUSH1 0xa0
00001176: SHL
00001177: SUB
00001178: DUP4
00001179: AND
0000117a: SWAP1
0000117b: PUSH4 0x9344b242
00001180: SWAP1
00001181: PUSH1 0x24
00001183: ADD
00001184: PUSH1 0x20
00001186: PUSH1 0x40
00001188: MLOAD
00001189: DUP1
0000118a: DUP4
0000118b: SUB
0000118c: DUP2
0000118d: DUP7
0000118e: GAS
0000118f: STATICCALL
00001190: ISZERO
00001191: DUP1
00001192: ISZERO
00001193: PUSH2 0x11a0
00001196: JUMPI
00001197: RETURNDATASIZE
00001198: PUSH1 0x00
0000119a: DUP1
0000119b: RETURNDATACOPY
0000119c: RETURNDATASIZE
0000119d: PUSH1 0x00
0000119f: REVERT
000011a0: JUMPDEST
000011a1: POP
000011a2: POP
000011a3: POP
000011a4: POP
000011a5: PUSH1 0x40
000011a7: MLOAD
000011a8: RETURNDATASIZE
000011a9: PUSH1 0x1f
000011ab: NOT
000011ac: PUSH1 0x1f
000011ae: DUP3
000011af: ADD
000011b0: AND
000011b1: DUP3
000011b2: ADD
000011b3: DUP1
000011b4: PUSH1 0x40
000011b6: MSTORE
000011b7: POP
000011b8: DUP2
000011b9: ADD
000011ba: SWAP1
000011bb: PUSH2 0x11c4
000011be: SWAP2
000011bf: SWAP1
000011c0: PUSH2 0x2130
000011c3: JUMP
000011c4: JUMPDEST
000011c5: SWAP1
000011c6: POP
000011c7: PUSH1 0x01
000011c9: PUSH1 0x01
000011cb: PUSH1 0xa0
000011cd: SHL
000011ce: SUB
000011cf: DUP2
000011d0: AND
000011d1: BALANCE
000011d2: ISZERO
000011d3: PUSH2 0x122a
000011d6: JUMPI
000011d7: DUP1
000011d8: PUSH1 0x01
000011da: PUSH1 0x01
000011dc: PUSH1 0xa0
000011de: SHL
000011df: SUB
000011e0: AND
000011e1: PUSH4 0x3ccfd60b
000011e6: PUSH1 0x40
000011e8: MLOAD
000011e9: DUP2
000011ea: PUSH4 0xffffffff
000011ef: AND
000011f0: PUSH1 0xe0
000011f2: SHL
000011f3: DUP2
000011f4: MSTORE
000011f5: PUSH1 0x04
000011f7: ADD
000011f8: PUSH1 0x00
000011fa: PUSH1 0x40
000011fc: MLOAD
000011fd: DUP1
000011fe: DUP4
000011ff: SUB
00001200: DUP2
00001201: PUSH1 0x00
00001203: DUP8
00001204: DUP1
00001205: EXTCODESIZE
00001206: ISZERO
00001207: DUP1
00001208: ISZERO
00001209: PUSH2 0x1211
0000120c: JUMPI
0000120d: PUSH1 0x00
0000120f: DUP1
00001210: REVERT
00001211: JUMPDEST
00001212: POP
00001213: GAS
00001214: CALL
00001215: ISZERO
00001216: DUP1
00001217: ISZERO
00001218: PUSH2 0x1225
0000121b: JUMPI
0000121c: RETURNDATASIZE
0000121d: PUSH1 0x00
0000121f: DUP1
00001220: RETURNDATACOPY
00001221: RETURNDATASIZE
00001222: PUSH1 0x00
00001224: REVERT
00001225: JUMPDEST
00001226: POP
00001227: POP
00001228: POP
00001229: POP
0000122a: JUMPDEST
0000122b: POP
0000122c: JUMPDEST
0000122d: DUP5
0000122e: MLOAD
0000122f: PUSH1 0x01
00001231: PUSH1 0x01
00001233: PUSH1 0xa0
00001235: SHL
00001236: SUB
00001237: DUP9
00001238: AND
00001239: PUSH1 0x00
0000123b: SWAP1
0000123c: DUP2
0000123d: MSTORE
0000123e: PUSH1 0x98
00001240: PUSH1 0x20
00001242: MSTORE
00001243: PUSH1 0x40
00001245: SWAP1
00001246: KECCAK256
00001247: SLOAD
00001248: LT
00001249: ISZERO
0000124a: PUSH2 0x14f5
0000124d: JUMPI
0000124e: PUSH1 0x01
00001250: PUSH1 0x01
00001252: PUSH1 0xa0
00001254: SHL
00001255: SUB
00001256: DUP8
00001257: AND
00001258: PUSH1 0x00
0000125a: SWAP1
0000125b: DUP2
0000125c: MSTORE
0000125d: PUSH1 0x98
0000125f: PUSH1 0x20
00001261: MSTORE
00001262: PUSH1 0x40
00001264: DUP1
00001265: DUP3
00001266: KECCAK256
00001267: SLOAD
00001268: SWAP1
00001269: DUP8
0000126a: ADD
0000126b: MLOAD
0000126c: DUP8
0000126d: MLOAD
0000126e: PUSH2 0x1280
00001271: SWAP3
00001272: SWAP2
00001273: PUSH2 0x127b
00001276: SWAP2
00001277: PUSH2 0x2247
0000127a: JUMP
0000127b: JUMPDEST
0000127c: PUSH2 0x1b9b
0000127f: JUMP
00001280: JUMPDEST
00001281: SWAP1
00001282: POP
00001283: PUSH1 0x99
00001285: PUSH1 0x00
00001287: SWAP1
00001288: SLOAD
00001289: SWAP1
0000128a: PUSH2 0x0100
0000128d: EXP
0000128e: SWAP1
0000128f: DIV
00001290: PUSH1 0x01
00001292: PUSH1 0x01
00001294: PUSH1 0xa0
00001296: SHL
00001297: SUB
00001298: AND
00001299: PUSH1 0x01
0000129b: PUSH1 0x01
0000129d: PUSH1 0xa0
0000129f: SHL
000012a0: SUB
000012a1: AND
000012a2: PUSH4 0xd0e30db0
000012a7: DUP3
000012a8: PUSH1 0x40
000012aa: MLOAD
000012ab: DUP3
000012ac: PUSH4 0xffffffff
000012b1: AND
000012b2: PUSH1 0xe0
000012b4: SHL
000012b5: DUP2
000012b6: MSTORE
000012b7: PUSH1 0x04
000012b9: ADD
000012ba: PUSH1 0x00
000012bc: PUSH1 0x40
000012be: MLOAD
000012bf: DUP1
000012c0: DUP4
000012c1: SUB
000012c2: DUP2
000012c3: DUP6
000012c4: DUP9
000012c5: DUP1
000012c6: EXTCODESIZE
000012c7: ISZERO
000012c8: DUP1
000012c9: ISZERO
000012ca: PUSH2 0x12d2
000012cd: JUMPI
000012ce: PUSH1 0x00
000012d0: DUP1
000012d1: REVERT
000012d2: JUMPDEST
000012d3: POP
000012d4: GAS
000012d5: CALL
000012d6: ISZERO
000012d7: DUP1
000012d8: ISZERO
000012d9: PUSH2 0x12e6
000012dc: JUMPI
000012dd: RETURNDATASIZE
000012de: PUSH1 0x00
000012e0: DUP1
000012e1: RETURNDATACOPY
000012e2: RETURNDATASIZE
000012e3: PUSH1 0x00
000012e5: REVERT
000012e6: JUMPDEST
000012e7: POP
000012e8: POP
000012e9: PUSH1 0x99
000012eb: SLOAD
000012ec: PUSH1 0xa0
000012ee: DUP11
000012ef: ADD
000012f0: MLOAD
000012f1: PUSH1 0x40
000012f3: MLOAD
000012f4: PUSH4 0x23b872dd
000012f9: PUSH1 0xe0
000012fb: SHL
000012fc: DUP2
000012fd: MSTORE
000012fe: ADDRESS
000012ff: PUSH1 0x04
00001301: DUP3
00001302: ADD
00001303: MSTORE
00001304: PUSH1 0x01
00001306: PUSH1 0x01
00001308: PUSH1 0xa0
0000130a: SHL
0000130b: SUB
0000130c: SWAP2
0000130d: DUP3
0000130e: AND
0000130f: PUSH1 0x24
00001311: DUP3
00001312: ADD
00001313: MSTORE
00001314: PUSH1 0x44
00001316: DUP2
00001317: ADD
00001318: DUP8
00001319: SWAP1
0000131a: MSTORE
0000131b: SWAP2
0000131c: AND
0000131d: SWAP4
0000131e: POP
0000131f: PUSH4 0x23b872dd
00001324: SWAP3
00001325: POP
00001326: PUSH1 0x64
00001328: ADD
00001329: SWAP1
0000132a: POP
0000132b: PUSH1 0x20
0000132d: PUSH1 0x40
0000132f: MLOAD
00001330: DUP1
00001331: DUP4
00001332: SUB
00001333: DUP2
00001334: PUSH1 0x00
00001336: DUP8
00001337: GAS
00001338: CALL
00001339: ISZERO
0000133a: DUP1
0000133b: ISZERO
0000133c: PUSH2 0x1349
0000133f: JUMPI
00001340: RETURNDATASIZE
00001341: PUSH1 0x00
00001343: DUP1
00001344: RETURNDATACOPY
00001345: RETURNDATASIZE
00001346: PUSH1 0x00
00001348: REVERT
00001349: JUMPDEST
0000134a: POP
0000134b: POP
0000134c: POP
0000134d: POP
0000134e: PUSH1 0x40
00001350: MLOAD
00001351: RETURNDATASIZE
00001352: PUSH1 0x1f
00001354: NOT
00001355: PUSH1 0x1f
00001357: DUP3
00001358: ADD
00001359: AND
0000135a: DUP3
0000135b: ADD
0000135c: DUP1
0000135d: PUSH1 0x40
0000135f: MSTORE
00001360: POP
00001361: DUP2
00001362: ADD
00001363: SWAP1
00001364: PUSH2 0x136d
00001367: SWAP2
00001368: SWAP1
00001369: PUSH2 0x237f
0000136c: JUMP
0000136d: JUMPDEST
0000136e: ISZERO
0000136f: ISZERO
00001370: PUSH1 0x00
00001372: SUB
00001373: PUSH2 0x138f
00001376: JUMPI
00001377: PUSH1 0x40
00001379: MLOAD
0000137a: PUSH4 0x32067e41
0000137f: PUSH1 0xe0
00001381: SHL
00001382: DUP2
00001383: MSTORE
00001384: PUSH1 0x04
00001386: ADD
00001387: PUSH1 0x40
00001389: MLOAD
0000138a: DUP1
0000138b: SWAP2
0000138c: SUB
0000138d: SWAP1
0000138e: REVERT
0000138f: JUMPDEST
00001390: PUSH1 0x01
00001392: PUSH1 0x01
00001394: PUSH1 0xa0
00001396: SHL
00001397: SUB
00001398: DUP9
00001399: AND
0000139a: PUSH1 0x00
0000139c: SWAP1
0000139d: DUP2
0000139e: MSTORE
0000139f: PUSH1 0x98
000013a1: PUSH1 0x20
000013a3: MSTORE
000013a4: PUSH1 0x40
000013a6: DUP2
000013a7: KECCAK256
000013a8: DUP1
000013a9: SLOAD
000013aa: DUP4
000013ab: SWAP3
000013ac: SWAP1
000013ad: PUSH2 0x13b7
000013b0: SWAP1
000013b1: DUP5
000013b2: SWAP1
000013b3: PUSH2 0x2247
000013b6: JUMP
000013b7: JUMPDEST
000013b8: SWAP1
000013b9: SWAP2
000013ba: SSTORE
000013bb: POP
000013bc: POP
000013bd: PUSH1 0x40
000013bf: DUP1
000013c0: DUP8
000013c1: ADD
000013c2: MLOAD
000013c3: PUSH1 0x01
000013c5: PUSH1 0x01
000013c7: PUSH1 0xa0
000013c9: SHL
000013ca: SUB
000013cb: DUP11
000013cc: AND
000013cd: PUSH1 0x00
000013cf: SWAP1
000013d0: DUP2
000013d1: MSTORE
000013d2: PUSH1 0x98
000013d4: PUSH1 0x20
000013d6: MSTORE
000013d7: SWAP2
000013d8: DUP3
000013d9: KECCAK256
000013da: SLOAD
000013db: PUSH2 0x13e4
000013de: SWAP2
000013df: SWAP1
000013e0: PUSH2 0x1b9b
000013e3: JUMP
000013e4: JUMPDEST
000013e5: SWAP1
000013e6: POP
000013e7: PUSH2 0x1466
000013ea: PUSH1 0x97
000013ec: PUSH1 0x00
000013ee: SWAP1
000013ef: SLOAD
000013f0: SWAP1
000013f1: PUSH2 0x0100
000013f4: EXP
000013f5: SWAP1
000013f6: DIV
000013f7: PUSH1 0x01
000013f9: PUSH1 0x01
000013fb: PUSH1 0xa0
000013fd: SHL
000013fe: SUB
000013ff: AND
00001400: PUSH1 0x01
00001402: PUSH1 0x01
00001404: PUSH1 0xa0
00001406: SHL
00001407: SUB
00001408: AND
00001409: PUSH4 0x72ce78b0
0000140e: PUSH1 0x40
00001410: MLOAD
00001411: DUP2
00001412: PUSH4 0xffffffff
00001417: AND
00001418: PUSH1 0xe0
0000141a: SHL
0000141b: DUP2
0000141c: MSTORE
0000141d: PUSH1 0x04
0000141f: ADD
00001420: PUSH1 0x20
00001422: PUSH1 0x40
00001424: MLOAD
00001425: DUP1
00001426: DUP4
00001427: SUB
00001428: DUP2
00001429: DUP7
0000142a: GAS
0000142b: STATICCALL
0000142c: ISZERO
0000142d: DUP1
0000142e: ISZERO
0000142f: PUSH2 0x143c
00001432: JUMPI
00001433: RETURNDATASIZE
00001434: PUSH1 0x00
00001436: DUP1
00001437: RETURNDATACOPY
00001438: RETURNDATASIZE
00001439: PUSH1 0x00
0000143b: REVERT
0000143c: JUMPDEST
0000143d: POP
0000143e: POP
0000143f: POP
00001440: POP
00001441: PUSH1 0x40
00001443: MLOAD
00001444: RETURNDATASIZE
00001445: PUSH1 0x1f
00001447: NOT
00001448: PUSH1 0x1f
0000144a: DUP3
0000144b: ADD
0000144c: AND
0000144d: DUP3
0000144e: ADD
0000144f: DUP1
00001450: PUSH1 0x40
00001452: MSTORE
00001453: POP
00001454: DUP2
00001455: ADD
00001456: SWAP1
00001457: PUSH2 0x1460
0000145a: SWAP2
0000145b: SWAP1
0000145c: PUSH2 0x2130
0000145f: JUMP
00001460: JUMPDEST
00001461: DUP3
00001462: PUSH2 0x1bb1
00001465: JUMP
00001466: JUMPDEST
00001467: PUSH1 0x01
00001469: PUSH1 0x01
0000146b: PUSH1 0xa0
0000146d: SHL
0000146e: SUB
0000146f: DUP10
00001470: AND
00001471: PUSH1 0x00
00001473: SWAP1
00001474: DUP2
00001475: MSTORE
00001476: PUSH1 0x98
00001478: PUSH1 0x20
0000147a: MSTORE
0000147b: PUSH1 0x40
0000147d: DUP2
0000147e: KECCAK256
0000147f: DUP1
00001480: SLOAD
00001481: DUP4
00001482: SWAP3
00001483: SWAP1
00001484: PUSH2 0x148e
00001487: SWAP1
00001488: DUP5
00001489: SWAP1
0000148a: PUSH2 0x2247
0000148d: JUMP
0000148e: JUMPDEST
0000148f: SWAP1
00001490: SWAP2
00001491: SSTORE
00001492: POP
00001493: POP
00001494: PUSH1 0x40
00001496: MLOAD
00001497: PUSH4 0x361132db
0000149c: PUSH1 0xe2
0000149e: SHL
0000149f: DUP2
000014a0: MSTORE
000014a1: PUSH1 0x01
000014a3: PUSH1 0x01
000014a5: PUSH1 0xa0
000014a7: SHL
000014a8: SUB
000014a9: DUP11
000014aa: DUP2
000014ab: AND
000014ac: PUSH1 0x04
000014ae: DUP4
000014af: ADD
000014b0: MSTORE
000014b1: DUP10
000014b2: AND
000014b3: SWAP1
000014b4: PUSH4 0xd844cb6c
000014b9: SWAP1
000014ba: PUSH1 0x24
000014bc: ADD
000014bd: PUSH1 0x00
000014bf: PUSH1 0x40
000014c1: MLOAD
000014c2: DUP1
000014c3: DUP4
000014c4: SUB
000014c5: DUP2
000014c6: PUSH1 0x00
000014c8: DUP8
000014c9: DUP1
000014ca: EXTCODESIZE
000014cb: ISZERO
000014cc: DUP1
000014cd: ISZERO
000014ce: PUSH2 0x14d6
000014d1: JUMPI
000014d2: PUSH1 0x00
000014d4: DUP1
000014d5: REVERT
000014d6: JUMPDEST
000014d7: POP
000014d8: GAS
000014d9: CALL
000014da: ISZERO
000014db: DUP1
000014dc: ISZERO
000014dd: PUSH2 0x14ea
000014e0: JUMPI
000014e1: RETURNDATASIZE
000014e2: PUSH1 0x00
000014e4: DUP1
000014e5: RETURNDATACOPY
000014e6: RETURNDATASIZE
000014e7: PUSH1 0x00
000014e9: REVERT
000014ea: JUMPDEST
000014eb: POP
000014ec: POP
000014ed: POP
000014ee: POP
000014ef: POP
000014f0: POP
000014f1: PUSH2 0x172c
000014f4: JUMP
000014f5: JUMPDEST
000014f6: PUSH1 0x99
000014f8: SLOAD
000014f9: PUSH1 0x40
000014fb: DUP7
000014fc: ADD
000014fd: MLOAD
000014fe: DUP7
000014ff: MLOAD
00001500: PUSH1 0x01
00001502: PUSH1 0x01
00001504: PUSH1 0xa0
00001506: SHL
00001507: SUB
00001508: SWAP1
00001509: SWAP3
0000150a: AND
0000150b: SWAP2
0000150c: PUSH4 0xd0e30db0
00001511: SWAP2
00001512: PUSH2 0x151a
00001515: SWAP2
00001516: PUSH2 0x2247
00001519: JUMP
0000151a: JUMPDEST
0000151b: PUSH1 0x40
0000151d: MLOAD
0000151e: DUP3
0000151f: PUSH4 0xffffffff
00001524: AND
00001525: PUSH1 0xe0
00001527: SHL
00001528: DUP2
00001529: MSTORE
0000152a: PUSH1 0x04
0000152c: ADD
0000152d: PUSH1 0x00
0000152f: PUSH1 0x40
00001531: MLOAD
00001532: DUP1
00001533: DUP4
00001534: SUB
00001535: DUP2
00001536: DUP6
00001537: DUP9
00001538: DUP1
00001539: EXTCODESIZE
0000153a: ISZERO
0000153b: DUP1
0000153c: ISZERO
0000153d: PUSH2 0x1545
00001540: JUMPI
00001541: PUSH1 0x00
00001543: DUP1
00001544: REVERT
00001545: JUMPDEST
00001546: POP
00001547: GAS
00001548: CALL
00001549: ISZERO
0000154a: DUP1
0000154b: ISZERO
0000154c: PUSH2 0x1559
0000154f: JUMPI
00001550: RETURNDATASIZE
00001551: PUSH1 0x00
00001553: DUP1
00001554: RETURNDATACOPY
00001555: RETURNDATASIZE
00001556: PUSH1 0x00
00001558: REVERT
00001559: JUMPDEST
0000155a: POP
0000155b: POP
0000155c: PUSH1 0x99
0000155e: SLOAD
0000155f: PUSH1 0xa0
00001561: DUP10
00001562: ADD
00001563: MLOAD
00001564: PUSH1 0x40
00001566: DUP11
00001567: ADD
00001568: MLOAD
00001569: DUP11
0000156a: MLOAD
0000156b: PUSH1 0x01
0000156d: PUSH1 0x01
0000156f: PUSH1 0xa0
00001571: SHL
00001572: SUB
00001573: SWAP1
00001574: SWAP4
00001575: AND
00001576: SWAP6
00001577: POP
00001578: PUSH4 0x23b872dd
0000157d: SWAP5
0000157e: POP
0000157f: ADDRESS
00001580: SWAP4
00001581: POP
00001582: SWAP1
00001583: SWAP2
00001584: PUSH2 0x158d
00001587: SWAP2
00001588: SWAP1
00001589: PUSH2 0x2247
0000158c: JUMP
0000158d: JUMPDEST
0000158e: PUSH1 0x40
00001590: MLOAD
00001591: PUSH1 0x01
00001593: PUSH1 0x01
00001595: PUSH1 0xe0
00001597: SHL
00001598: SUB
00001599: NOT
0000159a: PUSH1 0xe0
0000159c: DUP7
0000159d: SWAP1
0000159e: SHL
0000159f: AND
000015a0: DUP2
000015a1: MSTORE
000015a2: PUSH1 0x01
000015a4: PUSH1 0x01
000015a6: PUSH1 0xa0
000015a8: SHL
000015a9: SUB
000015aa: SWAP4
000015ab: DUP5
000015ac: AND
000015ad: PUSH1 0x04
000015af: DUP3
000015b0: ADD
000015b1: MSTORE
000015b2: SWAP3
000015b3: SWAP1
000015b4: SWAP2
000015b5: AND
000015b6: PUSH1 0x24
000015b8: DUP4
000015b9: ADD
000015ba: MSTORE
000015bb: PUSH1 0x44
000015bd: DUP3
000015be: ADD
000015bf: MSTORE
000015c0: PUSH1 0x64
000015c2: ADD
000015c3: PUSH1 0x20
000015c5: PUSH1 0x40
000015c7: MLOAD
000015c8: DUP1
000015c9: DUP4
000015ca: SUB
000015cb: DUP2
000015cc: PUSH1 0x00
000015ce: DUP8
000015cf: GAS
000015d0: CALL
000015d1: ISZERO
000015d2: DUP1
000015d3: ISZERO
000015d4: PUSH2 0x15e1
000015d7: JUMPI
000015d8: RETURNDATASIZE
000015d9: PUSH1 0x00
000015db: DUP1
000015dc: RETURNDATACOPY
000015dd: RETURNDATASIZE
000015de: PUSH1 0x00
000015e0: REVERT
000015e1: JUMPDEST
000015e2: POP
000015e3: POP
000015e4: POP
000015e5: POP
000015e6: PUSH1 0x40
000015e8: MLOAD
000015e9: RETURNDATASIZE
000015ea: PUSH1 0x1f
000015ec: NOT
000015ed: PUSH1 0x1f
000015ef: DUP3
000015f0: ADD
000015f1: AND
000015f2: DUP3
000015f3: ADD
000015f4: DUP1
000015f5: PUSH1 0x40
000015f7: MSTORE
000015f8: POP
000015f9: DUP2
000015fa: ADD
000015fb: SWAP1
000015fc: PUSH2 0x1605
000015ff: SWAP2
00001600: SWAP1
00001601: PUSH2 0x237f
00001604: JUMP
00001605: JUMPDEST
00001606: ISZERO
00001607: ISZERO
00001608: PUSH1 0x00
0000160a: SUB
0000160b: PUSH2 0x1627
0000160e: JUMPI
0000160f: PUSH1 0x40
00001611: MLOAD
00001612: PUSH4 0x32067e41
00001617: PUSH1 0xe0
00001619: SHL
0000161a: DUP2
0000161b: MSTORE
0000161c: PUSH1 0x04
0000161e: ADD
0000161f: PUSH1 0x40
00001621: MLOAD
00001622: DUP1
00001623: SWAP2
00001624: SUB
00001625: SWAP1
00001626: REVERT
00001627: JUMPDEST
00001628: PUSH1 0x97
0000162a: SLOAD
0000162b: PUSH1 0x40
0000162d: DUP1
0000162e: MLOAD
0000162f: PUSH4 0x072ce78b
00001634: PUSH1 0xe4
00001636: SHL
00001637: DUP2
00001638: MSTORE
00001639: SWAP1
0000163a: MLOAD
0000163b: PUSH2 0x16a0
0000163e: SWAP3
0000163f: PUSH1 0x01
00001641: PUSH1 0x01
00001643: PUSH1 0xa0
00001645: SHL
00001646: SUB
00001647: AND
00001648: SWAP2
00001649: PUSH4 0x72ce78b0
0000164e: SWAP2
0000164f: PUSH1 0x04
00001651: DUP1
00001652: DUP4
00001653: ADD
00001654: SWAP3
00001655: PUSH1 0x20
00001657: SWAP3
00001658: SWAP2
00001659: SWAP1
0000165a: DUP3
0000165b: SWAP1
0000165c: SUB
0000165d: ADD
0000165e: DUP2
0000165f: DUP7
00001660: GAS
00001661: STATICCALL
00001662: ISZERO
00001663: DUP1
00001664: ISZERO
00001665: PUSH2 0x1672
00001668: JUMPI
00001669: RETURNDATASIZE
0000166a: PUSH1 0x00
0000166c: DUP1
0000166d: RETURNDATACOPY
0000166e: RETURNDATASIZE
0000166f: PUSH1 0x00
00001671: REVERT
00001672: JUMPDEST
00001673: POP
00001674: POP
00001675: POP
00001676: POP
00001677: PUSH1 0x40
00001679: MLOAD
0000167a: RETURNDATASIZE
0000167b: PUSH1 0x1f
0000167d: NOT
0000167e: PUSH1 0x1f
00001680: DUP3
00001681: ADD
00001682: AND
00001683: DUP3
00001684: ADD
00001685: DUP1
00001686: PUSH1 0x40
00001688: MSTORE
00001689: POP
0000168a: DUP2
0000168b: ADD
0000168c: SWAP1
0000168d: PUSH2 0x1696
00001690: SWAP2
00001691: SWAP1
00001692: PUSH2 0x2130
00001695: JUMP
00001696: JUMPDEST
00001697: DUP7
00001698: PUSH1 0x40
0000169a: ADD
0000169b: MLOAD
0000169c: PUSH2 0x1bb1
0000169f: JUMP
000016a0: JUMPDEST
000016a1: PUSH1 0x40
000016a3: MLOAD
000016a4: PUSH4 0x361132db
000016a9: PUSH1 0xe2
000016ab: SHL
000016ac: DUP2
000016ad: MSTORE
000016ae: PUSH1 0x01
000016b0: PUSH1 0x01
000016b2: PUSH1 0xa0
000016b4: SHL
000016b5: SUB
000016b6: DUP9
000016b7: DUP2
000016b8: AND
000016b9: PUSH1 0x04
000016bb: DUP4
000016bc: ADD
000016bd: MSTORE
000016be: DUP8
000016bf: AND
000016c0: SWAP1
000016c1: PUSH4 0xd844cb6c
000016c6: SWAP1
000016c7: PUSH1 0x24
000016c9: ADD
000016ca: PUSH1 0x00
000016cc: PUSH1 0x40
000016ce: MLOAD
000016cf: DUP1
000016d0: DUP4
000016d1: SUB
000016d2: DUP2
000016d3: PUSH1 0x00
000016d5: DUP8
000016d6: DUP1
000016d7: EXTCODESIZE
000016d8: ISZERO
000016d9: DUP1
000016da: ISZERO
000016db: PUSH2 0x16e3
000016de: JUMPI
000016df: PUSH1 0x00
000016e1: DUP1
000016e2: REVERT
000016e3: JUMPDEST
000016e4: POP
000016e5: GAS
000016e6: CALL
000016e7: ISZERO
000016e8: DUP1
000016e9: ISZERO
000016ea: PUSH2 0x16f7
000016ed: JUMPI
000016ee: RETURNDATASIZE
000016ef: PUSH1 0x00
000016f1: DUP1
000016f2: RETURNDATACOPY
000016f3: RETURNDATASIZE
000016f4: PUSH1 0x00
000016f6: REVERT
000016f7: JUMPDEST
000016f8: POP
000016f9: POP
000016fa: DUP7
000016fb: MLOAD
000016fc: PUSH1 0x01
000016fe: PUSH1 0x01
00001700: PUSH1 0xa0
00001702: SHL
00001703: SUB
00001704: DUP11
00001705: AND
00001706: PUSH1 0x00
00001708: SWAP1
00001709: DUP2
0000170a: MSTORE
0000170b: PUSH1 0x98
0000170d: PUSH1 0x20
0000170f: MSTORE
00001710: PUSH1 0x40
00001712: DUP2
00001713: KECCAK256
00001714: DUP1
00001715: SLOAD
00001716: SWAP3
00001717: SWAP5
00001718: POP
00001719: SWAP3
0000171a: POP
0000171b: SWAP1
0000171c: PUSH2 0x1726
0000171f: SWAP1
00001720: DUP5
00001721: SWAP1
00001722: PUSH2 0x2247
00001725: JUMP
00001726: JUMPDEST
00001727: SWAP1
00001728: SWAP2
00001729: SSTORE
0000172a: POP
0000172b: POP
0000172c: JUMPDEST
0000172d: POP
0000172e: POP
0000172f: POP
00001730: POP
00001731: POP
00001732: POP
00001733: POP
00001734: JUMP
00001735: JUMPDEST
00001736: PUSH2 0x173f
00001739: DUP3
0000173a: DUP3
0000173b: PUSH2 0x0714
0000173e: JUMP
0000173f: JUMPDEST
00001740: PUSH2 0x051a
00001743: JUMPI
00001744: PUSH1 0x00
00001746: DUP3
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x65
0000174b: PUSH1 0x20
0000174d: SWAP1
0000174e: DUP2
0000174f: MSTORE
00001750: PUSH1 0x40
00001752: DUP1
00001753: DUP4
00001754: KECCAK256
00001755: PUSH1 0x01
00001757: PUSH1 0x01
00001759: PUSH1 0xa0
0000175b: SHL
0000175c: SUB
0000175d: DUP6
0000175e: AND
0000175f: DUP5
00001760: MSTORE
00001761: SWAP1
00001762: SWAP2
00001763: MSTORE
00001764: SWAP1
00001765: KECCAK256
00001766: DUP1
00001767: SLOAD
00001768: PUSH1 0xff
0000176a: NOT
0000176b: AND
0000176c: PUSH1 0x01
0000176e: OR
0000176f: SWAP1
00001770: SSTORE
00001771: PUSH2 0x1777
00001774: CALLER
00001775: SWAP1
00001776: JUMP
00001777: JUMPDEST
00001778: PUSH1 0x01
0000177a: PUSH1 0x01
0000177c: PUSH1 0xa0
0000177e: SHL
0000177f: SUB
00001780: AND
00001781: DUP2
00001782: PUSH1 0x01
00001784: PUSH1 0x01
00001786: PUSH1 0xa0
00001788: SHL
00001789: SUB
0000178a: AND
0000178b: DUP4
0000178c: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
000017ad: PUSH1 0x40
000017af: MLOAD
000017b0: PUSH1 0x40
000017b2: MLOAD
000017b3: DUP1
000017b4: SWAP2
000017b5: SUB
000017b6: SWAP1
000017b7: LOG4
000017b8: POP
000017b9: POP
000017ba: JUMP
000017bb: JUMPDEST
000017bc: PUSH2 0x17c5
000017bf: DUP3
000017c0: DUP3
000017c1: PUSH2 0x0714
000017c4: JUMP
000017c5: JUMPDEST
000017c6: ISZERO
000017c7: PUSH2 0x051a
000017ca: JUMPI
000017cb: PUSH1 0x00
000017cd: DUP3
000017ce: DUP2
000017cf: MSTORE
000017d0: PUSH1 0x65
000017d2: PUSH1 0x20
000017d4: SWAP1
000017d5: DUP2
000017d6: MSTORE
000017d7: PUSH1 0x40
000017d9: DUP1
000017da: DUP4
000017db: KECCAK256
000017dc: PUSH1 0x01
000017de: PUSH1 0x01
000017e0: PUSH1 0xa0
000017e2: SHL
000017e3: SUB
000017e4: DUP6
000017e5: AND
000017e6: DUP1
000017e7: DUP6
000017e8: MSTORE
000017e9: SWAP3
000017ea: MSTORE
000017eb: DUP1
000017ec: DUP4
000017ed: KECCAK256
000017ee: DUP1
000017ef: SLOAD
000017f0: PUSH1 0xff
000017f2: NOT
000017f3: AND
000017f4: SWAP1
000017f5: SSTORE
000017f6: MLOAD
000017f7: CALLER
000017f8: SWAP3
000017f9: DUP6
000017fa: SWAP2
000017fb: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
0000181c: SWAP2
0000181d: SWAP1
0000181e: LOG4
0000181f: POP
00001820: POP
00001821: JUMP
00001822: JUMPDEST
00001823: PUSH1 0x00
00001825: SLOAD
00001826: PUSH2 0x0100
00001829: SWAP1
0000182a: DIV
0000182b: PUSH1 0xff
0000182d: AND
0000182e: PUSH2 0x188d
00001831: JUMPI
00001832: PUSH1 0x40
00001834: MLOAD
00001835: PUSH3 0x461bcd
00001839: PUSH1 0xe5
0000183b: SHL
0000183c: DUP2
0000183d: MSTORE
0000183e: PUSH1 0x20
00001840: PUSH1 0x04
00001842: DUP3
00001843: ADD
00001844: MSTORE
00001845: PUSH1 0x2b
00001847: PUSH1 0x24
00001849: DUP3
0000184a: ADD
0000184b: MSTORE
0000184c: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
0000186d: PUSH1 0x44
0000186f: DUP3
00001870: ADD
00001871: MSTORE
00001872: PUSH11 0x6e697469616c697a696e67
0000187e: PUSH1 0xa8
00001880: SHL
00001881: PUSH1 0x64
00001883: DUP3
00001884: ADD
00001885: MSTORE
00001886: PUSH1 0x84
00001888: ADD
00001889: PUSH2 0x0507
0000188c: JUMP
0000188d: JUMPDEST
0000188e: JUMP
0000188f: JUMPDEST
00001890: PUSH1 0x00
00001892: DUP1
00001893: PUSH1 0x97
00001895: PUSH1 0x00
00001897: SWAP1
00001898: SLOAD
00001899: SWAP1
0000189a: PUSH2 0x0100
0000189d: EXP
0000189e: SWAP1
0000189f: DIV
000018a0: PUSH1 0x01
000018a2: PUSH1 0x01
000018a4: PUSH1 0xa0
000018a6: SHL
000018a7: SUB
000018a8: AND
000018a9: PUSH1 0x01
000018ab: PUSH1 0x01
000018ad: PUSH1 0xa0
000018af: SHL
000018b0: SUB
000018b1: AND
000018b2: PUSH4 0x6ccb9d70
000018b7: PUSH1 0x40
000018b9: MLOAD
000018ba: DUP2
000018bb: PUSH4 0xffffffff
000018c0: AND
000018c1: PUSH1 0xe0
000018c3: SHL
000018c4: DUP2
000018c5: MSTORE
000018c6: PUSH1 0x04
000018c8: ADD
000018c9: PUSH1 0x20
000018cb: PUSH1 0x40
000018cd: MLOAD
000018ce: DUP1
000018cf: DUP4
000018d0: SUB
000018d1: DUP2
000018d2: DUP7
000018d3: GAS
000018d4: STATICCALL
000018d5: ISZERO
000018d6: DUP1
000018d7: ISZERO
000018d8: PUSH2 0x18e5
000018db: JUMPI
000018dc: RETURNDATASIZE
000018dd: PUSH1 0x00
000018df: DUP1
000018e0: RETURNDATACOPY
000018e1: RETURNDATASIZE
000018e2: PUSH1 0x00
000018e4: REVERT
000018e5: JUMPDEST
000018e6: POP
000018e7: POP
000018e8: POP
000018e9: POP
000018ea: PUSH1 0x40
000018ec: MLOAD
000018ed: RETURNDATASIZE
000018ee: PUSH1 0x1f
000018f0: NOT
000018f1: PUSH1 0x1f
000018f3: DUP3
000018f4: ADD
000018f5: AND
000018f6: DUP3
000018f7: ADD
000018f8: DUP1
000018f9: PUSH1 0x40
000018fb: MSTORE
000018fc: POP
000018fd: DUP2
000018fe: ADD
000018ff: SWAP1
00001900: PUSH2 0x1909
00001903: SWAP2
00001904: SWAP1
00001905: PUSH2 0x2130
00001908: JUMP
00001909: JUMPDEST
0000190a: PUSH1 0x40
0000190c: MLOAD
0000190d: PUSH4 0x4721e29d
00001912: PUSH1 0xe1
00001914: SHL
00001915: DUP2
00001916: MSTORE
00001917: PUSH1 0x01
00001919: PUSH1 0x01
0000191b: PUSH1 0xa0
0000191d: SHL
0000191e: SUB
0000191f: DUP6
00001920: DUP2
00001921: AND
00001922: PUSH1 0x04
00001924: DUP4
00001925: ADD
00001926: MSTORE
00001927: SWAP2
00001928: SWAP3
00001929: POP
0000192a: PUSH1 0x00
0000192c: SWAP2
0000192d: DUP4
0000192e: AND
0000192f: SWAP1
00001930: PUSH4 0x8e43c53a
00001935: SWAP1
00001936: PUSH1 0x24
00001938: ADD
00001939: PUSH1 0x20
0000193b: PUSH1 0x40
0000193d: MLOAD
0000193e: DUP1
0000193f: DUP4
00001940: SUB
00001941: DUP2
00001942: DUP7
00001943: GAS
00001944: STATICCALL
00001945: ISZERO
00001946: DUP1
00001947: ISZERO
00001948: PUSH2 0x1955
0000194b: JUMPI
0000194c: RETURNDATASIZE
0000194d: PUSH1 0x00
0000194f: DUP1
00001950: RETURNDATACOPY
00001951: RETURNDATASIZE
00001952: PUSH1 0x00
00001954: REVERT
00001955: JUMPDEST
00001956: POP
00001957: POP
00001958: POP
00001959: POP
0000195a: PUSH1 0x40
0000195c: MLOAD
0000195d: RETURNDATASIZE
0000195e: PUSH1 0x1f
00001960: NOT
00001961: PUSH1 0x1f
00001963: DUP3
00001964: ADD
00001965: AND
00001966: DUP3
00001967: ADD
00001968: DUP1
00001969: PUSH1 0x40
0000196b: MSTORE
0000196c: POP
0000196d: DUP2
0000196e: ADD
0000196f: SWAP1
00001970: PUSH2 0x1979
00001973: SWAP2
00001974: SWAP1
00001975: PUSH2 0x2364
00001978: JUMP
00001979: JUMPDEST
0000197a: SWAP1
0000197b: POP
0000197c: PUSH1 0x00
0000197e: PUSH1 0x97
00001980: PUSH1 0x00
00001982: SWAP1
00001983: SLOAD
00001984: SWAP1
00001985: PUSH2 0x0100
00001988: EXP
00001989: SWAP1
0000198a: DIV
0000198b: PUSH1 0x01
0000198d: PUSH1 0x01
0000198f: PUSH1 0xa0
00001991: SHL
00001992: SUB
00001993: AND
00001994: PUSH1 0x01
00001996: PUSH1 0x01
00001998: PUSH1 0xa0
0000199a: SHL
0000199b: SUB
0000199c: AND
0000199d: PUSH4 0x360374a4
000019a2: PUSH1 0x40
000019a4: MLOAD
000019a5: DUP2
000019a6: PUSH4 0xffffffff
000019ab: AND
000019ac: PUSH1 0xe0
000019ae: SHL
000019af: DUP2
000019b0: MSTORE
000019b1: PUSH1 0x04
000019b3: ADD
000019b4: PUSH1 0x20
000019b6: PUSH1 0x40
000019b8: MLOAD
000019b9: DUP1
000019ba: DUP4
000019bb: SUB
000019bc: DUP2
000019bd: DUP7
000019be: GAS
000019bf: STATICCALL
000019c0: ISZERO
000019c1: DUP1
000019c2: ISZERO
000019c3: PUSH2 0x19d0
000019c6: JUMPI
000019c7: RETURNDATASIZE
000019c8: PUSH1 0x00
000019ca: DUP1
000019cb: RETURNDATACOPY
000019cc: RETURNDATASIZE
000019cd: PUSH1 0x00
000019cf: REVERT
000019d0: JUMPDEST
000019d1: POP
000019d2: POP
000019d3: POP
000019d4: POP
000019d5: PUSH1 0x40
000019d7: MLOAD
000019d8: RETURNDATASIZE
000019d9: PUSH1 0x1f
000019db: NOT
000019dc: PUSH1 0x1f
000019de: DUP3
000019df: ADD
000019e0: AND
000019e1: DUP3
000019e2: ADD
000019e3: DUP1
000019e4: PUSH1 0x40
000019e6: MSTORE
000019e7: POP
000019e8: DUP2
000019e9: ADD
000019ea: SWAP1
000019eb: PUSH2 0x19f4
000019ee: SWAP2
000019ef: SWAP1
000019f0: PUSH2 0x2130
000019f3: JUMP
000019f4: JUMPDEST
000019f5: SWAP1
000019f6: POP
000019f7: DUP2
000019f8: PUSH1 0xff
000019fa: AND
000019fb: DUP2
000019fc: PUSH1 0x01
000019fe: PUSH1 0x01
00001a00: PUSH1 0xa0
00001a02: SHL
00001a03: SUB
00001a04: AND
00001a05: PUSH4 0xe0d7d0e9
00001a0a: PUSH1 0x40
00001a0c: MLOAD
00001a0d: DUP2
00001a0e: PUSH4 0xffffffff
00001a13: AND
00001a14: PUSH1 0xe0
00001a16: SHL
00001a17: DUP2
00001a18: MSTORE
00001a19: PUSH1 0x04
00001a1b: ADD
00001a1c: PUSH1 0x20
00001a1e: PUSH1 0x40
00001a20: MLOAD
00001a21: DUP1
00001a22: DUP4
00001a23: SUB
00001a24: DUP2
00001a25: DUP7
00001a26: GAS
00001a27: STATICCALL
00001a28: ISZERO
00001a29: DUP1
00001a2a: ISZERO
00001a2b: PUSH2 0x1a38
00001a2e: JUMPI
00001a2f: RETURNDATASIZE
00001a30: PUSH1 0x00
00001a32: DUP1
00001a33: RETURNDATACOPY
00001a34: RETURNDATASIZE
00001a35: PUSH1 0x00
00001a37: REVERT
00001a38: JUMPDEST
00001a39: POP
00001a3a: POP
00001a3b: POP
00001a3c: POP
00001a3d: PUSH1 0x40
00001a3f: MLOAD
00001a40: RETURNDATASIZE
00001a41: PUSH1 0x1f
00001a43: NOT
00001a44: PUSH1 0x1f
00001a46: DUP3
00001a47: ADD
00001a48: AND
00001a49: DUP3
00001a4a: ADD
00001a4b: DUP1
00001a4c: PUSH1 0x40
00001a4e: MSTORE
00001a4f: POP
00001a50: DUP2
00001a51: ADD
00001a52: SWAP1
00001a53: PUSH2 0x1a5c
00001a56: SWAP2
00001a57: SWAP1
00001a58: PUSH2 0x2364
00001a5b: JUMP
00001a5c: JUMPDEST
00001a5d: PUSH1 0xff
00001a5f: AND
00001a60: EQ
00001a61: SWAP6
00001a62: SWAP5
00001a63: POP
00001a64: POP
00001a65: POP
00001a66: POP
00001a67: POP
00001a68: JUMP
00001a69: JUMPDEST
00001a6a: PUSH1 0x01
00001a6c: PUSH1 0x01
00001a6e: PUSH1 0xa0
00001a70: SHL
00001a71: SUB
00001a72: DUP3
00001a73: AND
00001a74: PUSH1 0x00
00001a76: SWAP1
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x98
00001a7b: PUSH1 0x20
00001a7d: MSTORE
00001a7e: PUSH1 0x40
00001a80: DUP2
00001a81: KECCAK256
00001a82: DUP1
00001a83: SLOAD
00001a84: DUP4
00001a85: SWAP3
00001a86: SWAP1
00001a87: PUSH2 0x1a91
00001a8a: SWAP1
00001a8b: DUP5
00001a8c: SWAP1
00001a8d: PUSH2 0x2247
00001a90: JUMP
00001a91: JUMPDEST
00001a92: SWAP1
00001a93: SWAP2
00001a94: SSTORE
00001a95: POP
00001a96: POP
00001a97: DUP1
00001a98: ISZERO
00001a99: PUSH2 0x051a
00001a9c: JUMPI
00001a9d: PUSH1 0x97
00001a9f: SLOAD
00001aa0: PUSH1 0x00
00001aa2: SWAP1
00001aa3: PUSH2 0x1ab6
00001aa6: SWAP1
00001aa7: DUP5
00001aa8: SWAP1
00001aa9: PUSH1 0x01
00001aab: PUSH1 0x01
00001aad: PUSH1 0xa0
00001aaf: SHL
00001ab0: SUB
00001ab1: AND
00001ab2: PUSH2 0x1c25
00001ab5: JUMP
00001ab6: JUMPDEST
00001ab7: SWAP1
00001ab8: POP
00001ab9: PUSH2 0x1ac2
00001abc: DUP2
00001abd: DUP4
00001abe: PUSH2 0x1bb1
00001ac1: JUMP
00001ac2: JUMPDEST
00001ac3: DUP1
00001ac4: PUSH1 0x01
00001ac6: PUSH1 0x01
00001ac8: PUSH1 0xa0
00001aca: SHL
00001acb: SUB
00001acc: AND
00001acd: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a
00001aee: DUP4
00001aef: PUSH1 0x40
00001af1: MLOAD
00001af2: PUSH2 0x1afd
00001af5: SWAP2
00001af6: DUP2
00001af7: MSTORE
00001af8: PUSH1 0x20
00001afa: ADD
00001afb: SWAP1
00001afc: JUMP
00001afd: JUMPDEST
00001afe: PUSH1 0x40
00001b00: MLOAD
00001b01: DUP1
00001b02: SWAP2
00001b03: SUB
00001b04: SWAP1
00001b05: LOG2
00001b06: POP
00001b07: POP
00001b08: POP
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: PUSH1 0x00
00001b0d: DUP3
00001b0e: ISZERO
00001b0f: PUSH2 0x1b38
00001b12: JUMPI
00001b13: DUP2
00001b14: PUSH2 0x1b1e
00001b17: PUSH1 0x01
00001b19: DUP6
00001b1a: PUSH2 0x2247
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: PUSH2 0x1b28
00001b22: SWAP2
00001b23: SWAP1
00001b24: PUSH2 0x2225
00001b27: JUMP
00001b28: JUMPDEST
00001b29: PUSH2 0x1b33
00001b2c: SWAP1
00001b2d: PUSH1 0x01
00001b2f: PUSH2 0x230b
00001b32: JUMP
00001b33: JUMPDEST
00001b34: PUSH2 0x1b3b
00001b37: JUMP
00001b38: JUMPDEST
00001b39: PUSH1 0x00
00001b3b: JUMPDEST
00001b3c: SWAP4
00001b3d: SWAP3
00001b3e: POP
00001b3f: POP
00001b40: POP
00001b41: JUMP
00001b42: JUMPDEST
00001b43: PUSH2 0x1b4c
00001b46: DUP3
00001b47: DUP3
00001b48: PUSH2 0x0714
00001b4b: JUMP
00001b4c: JUMPDEST
00001b4d: PUSH2 0x051a
00001b50: JUMPI
00001b51: PUSH2 0x1b59
00001b54: DUP2
00001b55: PUSH2 0x1eaf
00001b58: JUMP
00001b59: JUMPDEST
00001b5a: PUSH2 0x1b64
00001b5d: DUP4
00001b5e: PUSH1 0x20
00001b60: PUSH2 0x1ec1
00001b63: JUMP
00001b64: JUMPDEST
00001b65: PUSH1 0x40
00001b67: MLOAD
00001b68: PUSH1 0x20
00001b6a: ADD
00001b6b: PUSH2 0x1b75
00001b6e: SWAP3
00001b6f: SWAP2
00001b70: SWAP1
00001b71: PUSH2 0x23be
00001b74: JUMP
00001b75: JUMPDEST
00001b76: PUSH1 0x40
00001b78: DUP1
00001b79: MLOAD
00001b7a: PUSH1 0x1f
00001b7c: NOT
00001b7d: DUP2
00001b7e: DUP5
00001b7f: SUB
00001b80: ADD
00001b81: DUP2
00001b82: MSTORE
00001b83: SWAP1
00001b84: DUP3
00001b85: SWAP1
00001b86: MSTORE
00001b87: PUSH3 0x461bcd
00001b8b: PUSH1 0xe5
00001b8d: SHL
00001b8e: DUP3
00001b8f: MSTORE
00001b90: PUSH2 0x0507
00001b93: SWAP2
00001b94: PUSH1 0x04
00001b96: ADD
00001b97: PUSH2 0x2433
00001b9a: JUMP
00001b9b: JUMPDEST
00001b9c: PUSH1 0x00
00001b9e: DUP2
00001b9f: DUP4
00001ba0: LT
00001ba1: PUSH2 0x1baa
00001ba4: JUMPI
00001ba5: DUP2
00001ba6: PUSH2 0x1b3b
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: POP
00001bac: SWAP1
00001bad: SWAP2
00001bae: SWAP1
00001baf: POP
00001bb0: JUMP
00001bb1: JUMPDEST
00001bb2: PUSH1 0x00
00001bb4: DUP3
00001bb5: PUSH1 0x01
00001bb7: PUSH1 0x01
00001bb9: PUSH1 0xa0
00001bbb: SHL
00001bbc: SUB
00001bbd: AND
00001bbe: DUP3
00001bbf: PUSH1 0x40
00001bc1: MLOAD
00001bc2: PUSH1 0x00
00001bc4: PUSH1 0x40
00001bc6: MLOAD
00001bc7: DUP1
00001bc8: DUP4
00001bc9: SUB
00001bca: DUP2
00001bcb: DUP6
00001bcc: DUP8
00001bcd: GAS
00001bce: CALL
00001bcf: SWAP3
00001bd0: POP
00001bd1: POP
00001bd2: POP
00001bd3: RETURNDATASIZE
00001bd4: DUP1
00001bd5: PUSH1 0x00
00001bd7: DUP2
00001bd8: EQ
00001bd9: PUSH2 0x1bfe
00001bdc: JUMPI
00001bdd: PUSH1 0x40
00001bdf: MLOAD
00001be0: SWAP2
00001be1: POP
00001be2: PUSH1 0x1f
00001be4: NOT
00001be5: PUSH1 0x3f
00001be7: RETURNDATASIZE
00001be8: ADD
00001be9: AND
00001bea: DUP3
00001beb: ADD
00001bec: PUSH1 0x40
00001bee: MSTORE
00001bef: RETURNDATASIZE
00001bf0: DUP3
00001bf1: MSTORE
00001bf2: RETURNDATASIZE
00001bf3: PUSH1 0x00
00001bf5: PUSH1 0x20
00001bf7: DUP5
00001bf8: ADD
00001bf9: RETURNDATACOPY
00001bfa: PUSH2 0x1c03
00001bfd: JUMP
00001bfe: JUMPDEST
00001bff: PUSH1 0x60
00001c01: SWAP2
00001c02: POP
00001c03: JUMPDEST
00001c04: POP
00001c05: POP
00001c06: SWAP1
00001c07: POP
00001c08: DUP1
00001c09: PUSH2 0x0496
00001c0c: JUMPI
00001c0d: PUSH1 0x40
00001c0f: MLOAD
00001c10: PUSH4 0x12171d83
00001c15: PUSH1 0xe3
00001c17: SHL
00001c18: DUP2
00001c19: MSTORE
00001c1a: PUSH1 0x04
00001c1c: ADD
00001c1d: PUSH1 0x40
00001c1f: MLOAD
00001c20: DUP1
00001c21: SWAP2
00001c22: SUB
00001c23: SWAP1
00001c24: REVERT
00001c25: JUMPDEST
00001c26: PUSH1 0x00
00001c28: DUP1
00001c29: DUP3
00001c2a: PUSH1 0x01
00001c2c: PUSH1 0x01
00001c2e: PUSH1 0xa0
00001c30: SHL
00001c31: SUB
00001c32: AND
00001c33: PUSH4 0x6ccb9d70
00001c38: PUSH1 0x40
00001c3a: MLOAD
00001c3b: DUP2
00001c3c: PUSH4 0xffffffff
00001c41: AND
00001c42: PUSH1 0xe0
00001c44: SHL
00001c45: DUP2
00001c46: MSTORE
00001c47: PUSH1 0x04
00001c49: ADD
00001c4a: PUSH1 0x20
00001c4c: PUSH1 0x40
00001c4e: MLOAD
00001c4f: DUP1
00001c50: DUP4
00001c51: SUB
00001c52: DUP2
00001c53: DUP7
00001c54: GAS
00001c55: STATICCALL
00001c56: ISZERO
00001c57: DUP1
00001c58: ISZERO
00001c59: PUSH2 0x1c66
00001c5c: JUMPI
00001c5d: RETURNDATASIZE
00001c5e: PUSH1 0x00
00001c60: DUP1
00001c61: RETURNDATACOPY
00001c62: RETURNDATASIZE
00001c63: PUSH1 0x00
00001c65: REVERT
00001c66: JUMPDEST
00001c67: POP
00001c68: POP
00001c69: POP
00001c6a: POP
00001c6b: PUSH1 0x40
00001c6d: MLOAD
00001c6e: RETURNDATASIZE
00001c6f: PUSH1 0x1f
00001c71: NOT
00001c72: PUSH1 0x1f
00001c74: DUP3
00001c75: ADD
00001c76: AND
00001c77: DUP3
00001c78: ADD
00001c79: DUP1
00001c7a: PUSH1 0x40
00001c7c: MSTORE
00001c7d: POP
00001c7e: DUP2
00001c7f: ADD
00001c80: SWAP1
00001c81: PUSH2 0x1c8a
00001c84: SWAP2
00001c85: SWAP1
00001c86: PUSH2 0x2130
00001c89: JUMP
00001c8a: JUMPDEST
00001c8b: PUSH1 0x40
00001c8d: MLOAD
00001c8e: PUSH4 0x4721e29d
00001c93: PUSH1 0xe1
00001c95: SHL
00001c96: DUP2
00001c97: MSTORE
00001c98: PUSH1 0x01
00001c9a: PUSH1 0x01
00001c9c: PUSH1 0xa0
00001c9e: SHL
00001c9f: SUB
00001ca0: DUP7
00001ca1: DUP2
00001ca2: AND
00001ca3: PUSH1 0x04
00001ca5: DUP4
00001ca6: ADD
00001ca7: MSTORE
00001ca8: SWAP2
00001ca9: SWAP1
00001caa: SWAP2
00001cab: AND
00001cac: SWAP1
00001cad: PUSH4 0x8e43c53a
00001cb2: SWAP1
00001cb3: PUSH1 0x24
00001cb5: ADD
00001cb6: PUSH1 0x20
00001cb8: PUSH1 0x40
00001cba: MLOAD
00001cbb: DUP1
00001cbc: DUP4
00001cbd: SUB
00001cbe: DUP2
00001cbf: DUP7
00001cc0: GAS
00001cc1: STATICCALL
00001cc2: ISZERO
00001cc3: DUP1
00001cc4: ISZERO
00001cc5: PUSH2 0x1cd2
00001cc8: JUMPI
00001cc9: RETURNDATASIZE
00001cca: PUSH1 0x00
00001ccc: DUP1
00001ccd: RETURNDATACOPY
00001cce: RETURNDATASIZE
00001ccf: PUSH1 0x00
00001cd1: REVERT
00001cd2: JUMPDEST
00001cd3: POP
00001cd4: POP
00001cd5: POP
00001cd6: POP
00001cd7: PUSH1 0x40
00001cd9: MLOAD
00001cda: RETURNDATASIZE
00001cdb: PUSH1 0x1f
00001cdd: NOT
00001cde: PUSH1 0x1f
00001ce0: DUP3
00001ce1: ADD
00001ce2: AND
00001ce3: DUP3
00001ce4: ADD
00001ce5: DUP1
00001ce6: PUSH1 0x40
00001ce8: MSTORE
00001ce9: POP
00001cea: DUP2
00001ceb: ADD
00001cec: SWAP1
00001ced: PUSH2 0x1cf6
00001cf0: SWAP2
00001cf1: SWAP1
00001cf2: PUSH2 0x2364
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: SWAP1
00001cf8: POP
00001cf9: PUSH1 0x00
00001cfb: DUP4
00001cfc: PUSH1 0x01
00001cfe: PUSH1 0x01
00001d00: PUSH1 0xa0
00001d02: SHL
00001d03: SUB
00001d04: AND
00001d05: PUSH4 0x6ccb9d70
00001d0a: PUSH1 0x40
00001d0c: MLOAD
00001d0d: DUP2
00001d0e: PUSH4 0xffffffff
00001d13: AND
00001d14: PUSH1 0xe0
00001d16: SHL
00001d17: DUP2
00001d18: MSTORE
00001d19: PUSH1 0x04
00001d1b: ADD
00001d1c: PUSH1 0x20
00001d1e: PUSH1 0x40
00001d20: MLOAD
00001d21: DUP1
00001d22: DUP4
00001d23: SUB
00001d24: DUP2
00001d25: DUP7
00001d26: GAS
00001d27: STATICCALL
00001d28: ISZERO
00001d29: DUP1
00001d2a: ISZERO
00001d2b: PUSH2 0x1d38
00001d2e: JUMPI
00001d2f: RETURNDATASIZE
00001d30: PUSH1 0x00
00001d32: DUP1
00001d33: RETURNDATACOPY
00001d34: RETURNDATASIZE
00001d35: PUSH1 0x00
00001d37: REVERT
00001d38: JUMPDEST
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: POP
00001d3d: PUSH1 0x40
00001d3f: MLOAD
00001d40: RETURNDATASIZE
00001d41: PUSH1 0x1f
00001d43: NOT
00001d44: PUSH1 0x1f
00001d46: DUP3
00001d47: ADD
00001d48: AND
00001d49: DUP3
00001d4a: ADD
00001d4b: DUP1
00001d4c: PUSH1 0x40
00001d4e: MSTORE
00001d4f: POP
00001d50: DUP2
00001d51: ADD
00001d52: SWAP1
00001d53: PUSH2 0x1d5c
00001d56: SWAP2
00001d57: SWAP1
00001d58: PUSH2 0x2130
00001d5b: JUMP
00001d5c: JUMPDEST
00001d5d: PUSH1 0x40
00001d5f: MLOAD
00001d60: PUSH4 0x133a0ab9
00001d65: PUSH1 0xe3
00001d67: SHL
00001d68: DUP2
00001d69: MSTORE
00001d6a: PUSH1 0xff
00001d6c: DUP5
00001d6d: AND
00001d6e: PUSH1 0x04
00001d70: DUP3
00001d71: ADD
00001d72: MSTORE
00001d73: PUSH1 0x01
00001d75: PUSH1 0x01
00001d77: PUSH1 0xa0
00001d79: SHL
00001d7a: SUB
00001d7b: SWAP2
00001d7c: SWAP1
00001d7d: SWAP2
00001d7e: AND
00001d7f: SWAP1
00001d80: PUSH4 0x99d055c8
00001d85: SWAP1
00001d86: PUSH1 0x24
00001d88: ADD
00001d89: PUSH1 0x20
00001d8b: PUSH1 0x40
00001d8d: MLOAD
00001d8e: DUP1
00001d8f: DUP4
00001d90: SUB
00001d91: DUP2
00001d92: DUP7
00001d93: GAS
00001d94: STATICCALL
00001d95: ISZERO
00001d96: DUP1
00001d97: ISZERO
00001d98: PUSH2 0x1da5
00001d9b: JUMPI
00001d9c: RETURNDATASIZE
00001d9d: PUSH1 0x00
00001d9f: DUP1
00001da0: RETURNDATACOPY
00001da1: RETURNDATASIZE
00001da2: PUSH1 0x00
00001da4: REVERT
00001da5: JUMPDEST
00001da6: POP
00001da7: POP
00001da8: POP
00001da9: POP
00001daa: PUSH1 0x40
00001dac: MLOAD
00001dad: RETURNDATASIZE
00001dae: PUSH1 0x1f
00001db0: NOT
00001db1: PUSH1 0x1f
00001db3: DUP3
00001db4: ADD
00001db5: AND
00001db6: DUP3
00001db7: ADD
00001db8: DUP1
00001db9: PUSH1 0x40
00001dbb: MSTORE
00001dbc: POP
00001dbd: DUP2
00001dbe: ADD
00001dbf: SWAP1
00001dc0: PUSH2 0x1dc9
00001dc3: SWAP2
00001dc4: SWAP1
00001dc5: PUSH2 0x2130
00001dc8: JUMP
00001dc9: JUMPDEST
00001dca: PUSH1 0x40
00001dcc: MLOAD
00001dcd: PUSH4 0x65645983
00001dd2: PUSH1 0xe1
00001dd4: SHL
00001dd5: DUP2
00001dd6: MSTORE
00001dd7: PUSH1 0x01
00001dd9: PUSH1 0x01
00001ddb: PUSH1 0xa0
00001ddd: SHL
00001dde: SUB
00001ddf: DUP8
00001de0: DUP2
00001de1: AND
00001de2: PUSH1 0x04
00001de4: DUP4
00001de5: ADD
00001de6: MSTORE
00001de7: SWAP2
00001de8: SWAP3
00001de9: POP
00001dea: PUSH1 0x00
00001dec: SWAP2
00001ded: DUP4
00001dee: AND
00001def: SWAP1
00001df0: PUSH4 0xcac8b306
00001df5: SWAP1
00001df6: PUSH1 0x24
00001df8: ADD
00001df9: PUSH1 0x20
00001dfb: PUSH1 0x40
00001dfd: MLOAD
00001dfe: DUP1
00001dff: DUP4
00001e00: SUB
00001e01: DUP2
00001e02: DUP7
00001e03: GAS
00001e04: STATICCALL
00001e05: ISZERO
00001e06: DUP1
00001e07: ISZERO
00001e08: PUSH2 0x1e15
00001e0b: JUMPI
00001e0c: RETURNDATASIZE
00001e0d: PUSH1 0x00
00001e0f: DUP1
00001e10: RETURNDATACOPY
00001e11: RETURNDATASIZE
00001e12: PUSH1 0x00
00001e14: REVERT
00001e15: JUMPDEST
00001e16: POP
00001e17: POP
00001e18: POP
00001e19: POP
00001e1a: PUSH1 0x40
00001e1c: MLOAD
00001e1d: RETURNDATASIZE
00001e1e: PUSH1 0x1f
00001e20: NOT
00001e21: PUSH1 0x1f
00001e23: DUP3
00001e24: ADD
00001e25: AND
00001e26: DUP3
00001e27: ADD
00001e28: DUP1
00001e29: PUSH1 0x40
00001e2b: MSTORE
00001e2c: POP
00001e2d: DUP2
00001e2e: ADD
00001e2f: SWAP1
00001e30: PUSH2 0x1e39
00001e33: SWAP2
00001e34: SWAP1
00001e35: PUSH2 0x214d
00001e38: JUMP
00001e39: JUMPDEST
00001e3a: PUSH1 0x40
00001e3c: MLOAD
00001e3d: PUSH4 0x107d446b
00001e42: PUSH1 0xe3
00001e44: SHL
00001e45: DUP2
00001e46: MSTORE
00001e47: PUSH1 0x04
00001e49: DUP2
00001e4a: ADD
00001e4b: DUP3
00001e4c: SWAP1
00001e4d: MSTORE
00001e4e: SWAP1
00001e4f: SWAP2
00001e50: POP
00001e51: PUSH1 0x01
00001e53: PUSH1 0x01
00001e55: PUSH1 0xa0
00001e57: SHL
00001e58: SUB
00001e59: DUP4
00001e5a: AND
00001e5b: SWAP1
00001e5c: PUSH4 0x83ea2358
00001e61: SWAP1
00001e62: PUSH1 0x24
00001e64: ADD
00001e65: PUSH1 0x20
00001e67: PUSH1 0x40
00001e69: MLOAD
00001e6a: DUP1
00001e6b: DUP4
00001e6c: SUB
00001e6d: DUP2
00001e6e: DUP7
00001e6f: GAS
00001e70: STATICCALL
00001e71: ISZERO
00001e72: DUP1
00001e73: ISZERO
00001e74: PUSH2 0x1e81
00001e77: JUMPI
00001e78: RETURNDATASIZE
00001e79: PUSH1 0x00
00001e7b: DUP1
00001e7c: RETURNDATACOPY
00001e7d: RETURNDATASIZE
00001e7e: PUSH1 0x00
00001e80: REVERT
00001e81: JUMPDEST
00001e82: POP
00001e83: POP
00001e84: POP
00001e85: POP
00001e86: PUSH1 0x40
00001e88: MLOAD
00001e89: RETURNDATASIZE
00001e8a: PUSH1 0x1f
00001e8c: NOT
00001e8d: PUSH1 0x1f
00001e8f: DUP3
00001e90: ADD
00001e91: AND
00001e92: DUP3
00001e93: ADD
00001e94: DUP1
00001e95: PUSH1 0x40
00001e97: MSTORE
00001e98: POP
00001e99: DUP2
00001e9a: ADD
00001e9b: SWAP1
00001e9c: PUSH2 0x1ea5
00001e9f: SWAP2
00001ea0: SWAP1
00001ea1: PUSH2 0x2130
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: SWAP7
00001ea7: SWAP6
00001ea8: POP
00001ea9: POP
00001eaa: POP
00001eab: POP
00001eac: POP
00001ead: POP
00001eae: JUMP
00001eaf: JUMPDEST
00001eb0: PUSH1 0x60
00001eb2: PUSH2 0x03f7
00001eb5: PUSH1 0x01
00001eb7: PUSH1 0x01
00001eb9: PUSH1 0xa0
00001ebb: SHL
00001ebc: SUB
00001ebd: DUP4
00001ebe: AND
00001ebf: PUSH1 0x14
00001ec1: JUMPDEST
00001ec2: PUSH1 0x60
00001ec4: PUSH1 0x00
00001ec6: PUSH2 0x1ed0
00001ec9: DUP4
00001eca: PUSH1 0x02
00001ecc: PUSH2 0x2206
00001ecf: JUMP
00001ed0: JUMPDEST
00001ed1: PUSH2 0x1edb
00001ed4: SWAP1
00001ed5: PUSH1 0x02
00001ed7: PUSH2 0x230b
00001eda: JUMP
00001edb: JUMPDEST
00001edc: PUSH8 0xffffffffffffffff
00001ee5: DUP2
00001ee6: GT
00001ee7: ISZERO
00001ee8: PUSH2 0x1ef3
00001eeb: JUMPI
00001eec: PUSH2 0x1ef3
00001eef: PUSH2 0x2166
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: PUSH1 0x40
00001ef6: MLOAD
00001ef7: SWAP1
00001ef8: DUP1
00001ef9: DUP3
00001efa: MSTORE
00001efb: DUP1
00001efc: PUSH1 0x1f
00001efe: ADD
00001eff: PUSH1 0x1f
00001f01: NOT
00001f02: AND
00001f03: PUSH1 0x20
00001f05: ADD
00001f06: DUP3
00001f07: ADD
00001f08: PUSH1 0x40
00001f0a: MSTORE
00001f0b: DUP1
00001f0c: ISZERO
00001f0d: PUSH2 0x1f1d
00001f10: JUMPI
00001f11: PUSH1 0x20
00001f13: DUP3
00001f14: ADD
00001f15: DUP2
00001f16: DUP1
00001f17: CALLDATASIZE
00001f18: DUP4
00001f19: CALLDATACOPY
00001f1a: ADD
00001f1b: SWAP1
00001f1c: POP
00001f1d: JUMPDEST
00001f1e: POP
00001f1f: SWAP1
00001f20: POP
00001f21: PUSH1 0x03
00001f23: PUSH1 0xfc
00001f25: SHL
00001f26: DUP2
00001f27: PUSH1 0x00
00001f29: DUP2
00001f2a: MLOAD
00001f2b: DUP2
00001f2c: LT
00001f2d: PUSH2 0x1f38
00001f30: JUMPI
00001f31: PUSH2 0x1f38
00001f34: PUSH2 0x2466
00001f37: JUMP
00001f38: JUMPDEST
00001f39: PUSH1 0x20
00001f3b: ADD
00001f3c: ADD
00001f3d: SWAP1
00001f3e: PUSH1 0x01
00001f40: PUSH1 0x01
00001f42: PUSH1 0xf8
00001f44: SHL
00001f45: SUB
00001f46: NOT
00001f47: AND
00001f48: SWAP1
00001f49: DUP2
00001f4a: PUSH1 0x00
00001f4c: BYTE
00001f4d: SWAP1
00001f4e: MSTORE8
00001f4f: POP
00001f50: PUSH1 0x0f
00001f52: PUSH1 0xfb
00001f54: SHL
00001f55: DUP2
00001f56: PUSH1 0x01
00001f58: DUP2
00001f59: MLOAD
00001f5a: DUP2
00001f5b: LT
00001f5c: PUSH2 0x1f67
00001f5f: JUMPI
00001f60: PUSH2 0x1f67
00001f63: PUSH2 0x2466
00001f66: JUMP
00001f67: JUMPDEST
00001f68: PUSH1 0x20
00001f6a: ADD
00001f6b: ADD
00001f6c: SWAP1
00001f6d: PUSH1 0x01
00001f6f: PUSH1 0x01
00001f71: PUSH1 0xf8
00001f73: SHL
00001f74: SUB
00001f75: NOT
00001f76: AND
00001f77: SWAP1
00001f78: DUP2
00001f79: PUSH1 0x00
00001f7b: BYTE
00001f7c: SWAP1
00001f7d: MSTORE8
00001f7e: POP
00001f7f: PUSH1 0x00
00001f81: PUSH2 0x1f8b
00001f84: DUP5
00001f85: PUSH1 0x02
00001f87: PUSH2 0x2206
00001f8a: JUMP
00001f8b: JUMPDEST
00001f8c: PUSH2 0x1f96
00001f8f: SWAP1
00001f90: PUSH1 0x01
00001f92: PUSH2 0x230b
00001f95: JUMP
00001f96: JUMPDEST
00001f97: SWAP1
00001f98: POP
00001f99: JUMPDEST
00001f9a: PUSH1 0x01
00001f9c: DUP2
00001f9d: GT
00001f9e: ISZERO
00001f9f: PUSH2 0x200e
00001fa2: JUMPI
00001fa3: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3
00001fb4: PUSH1 0x81
00001fb6: SHL
00001fb7: DUP6
00001fb8: PUSH1 0x0f
00001fba: AND
00001fbb: PUSH1 0x10
00001fbd: DUP2
00001fbe: LT
00001fbf: PUSH2 0x1fca
00001fc2: JUMPI
00001fc3: PUSH2 0x1fca
00001fc6: PUSH2 0x2466
00001fc9: JUMP
00001fca: JUMPDEST
00001fcb: BYTE
00001fcc: PUSH1 0xf8
00001fce: SHL
00001fcf: DUP3
00001fd0: DUP3
00001fd1: DUP2
00001fd2: MLOAD
00001fd3: DUP2
00001fd4: LT
00001fd5: PUSH2 0x1fe0
00001fd8: JUMPI
00001fd9: PUSH2 0x1fe0
00001fdc: PUSH2 0x2466
00001fdf: JUMP
00001fe0: JUMPDEST
00001fe1: PUSH1 0x20
00001fe3: ADD
00001fe4: ADD
00001fe5: SWAP1
00001fe6: PUSH1 0x01
00001fe8: PUSH1 0x01
00001fea: PUSH1 0xf8
00001fec: SHL
00001fed: SUB
00001fee: NOT
00001fef: AND
00001ff0: SWAP1
00001ff1: DUP2
00001ff2: PUSH1 0x00
00001ff4: BYTE
00001ff5: SWAP1
00001ff6: MSTORE8
00001ff7: POP
00001ff8: PUSH1 0x04
00001ffa: SWAP5
00001ffb: SWAP1
00001ffc: SWAP5
00001ffd: SHR
00001ffe: SWAP4
00001fff: PUSH2 0x2007
00002002: DUP2
00002003: PUSH2 0x247c
00002006: JUMP
00002007: JUMPDEST
00002008: SWAP1
00002009: POP
0000200a: PUSH2 0x1f99
0000200d: JUMP
0000200e: JUMPDEST
0000200f: POP
00002010: DUP4
00002011: ISZERO
00002012: PUSH2 0x1b3b
00002015: JUMPI
00002016: PUSH1 0x40
00002018: MLOAD
00002019: PUSH3 0x461bcd
0000201d: PUSH1 0xe5
0000201f: SHL
00002020: DUP2
00002021: MSTORE
00002022: PUSH1 0x20
00002024: PUSH1 0x04
00002026: DUP3
00002027: ADD
00002028: DUP2
00002029: SWAP1
0000202a: MSTORE
0000202b: PUSH1 0x24
0000202d: DUP3
0000202e: ADD
0000202f: MSTORE
00002030: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
00002051: PUSH1 0x44
00002053: DUP3
00002054: ADD
00002055: MSTORE
00002056: PUSH1 0x64
00002058: ADD
00002059: PUSH2 0x0507
0000205c: JUMP
0000205d: JUMPDEST
0000205e: PUSH1 0x00
00002060: PUSH1 0x20
00002062: DUP3
00002063: DUP5
00002064: SUB
00002065: SLT
00002066: ISZERO
00002067: PUSH2 0x206f
0000206a: JUMPI
0000206b: PUSH1 0x00
0000206d: DUP1
0000206e: REVERT
0000206f: JUMPDEST
00002070: DUP2
00002071: CALLDATALOAD
00002072: PUSH1 0x01
00002074: PUSH1 0x01
00002076: PUSH1 0xe0
00002078: SHL
00002079: SUB
0000207a: NOT
0000207b: DUP2
0000207c: AND
0000207d: DUP2
0000207e: EQ
0000207f: PUSH2 0x1b3b
00002082: JUMPI
00002083: PUSH1 0x00
00002085: DUP1
00002086: REVERT
00002087: JUMPDEST
00002088: PUSH1 0x01
0000208a: PUSH1 0x01
0000208c: PUSH1 0xa0
0000208e: SHL
0000208f: SUB
00002090: DUP2
00002091: AND
00002092: DUP2
00002093: EQ
00002094: PUSH2 0x046e
00002097: JUMPI
00002098: PUSH1 0x00
0000209a: DUP1
0000209b: REVERT
0000209c: JUMPDEST
0000209d: PUSH1 0x00
0000209f: PUSH1 0x20
000020a1: DUP3
000020a2: DUP5
000020a3: SUB
000020a4: SLT
000020a5: ISZERO
000020a6: PUSH2 0x20ae
000020a9: JUMPI
000020aa: PUSH1 0x00
000020ac: DUP1
000020ad: REVERT
000020ae: JUMPDEST
000020af: DUP2
000020b0: CALLDATALOAD
000020b1: PUSH2 0x1b3b
000020b4: DUP2
000020b5: PUSH2 0x2087
000020b8: JUMP
000020b9: JUMPDEST
000020ba: PUSH1 0x00
000020bc: PUSH1 0x20
000020be: DUP3
000020bf: DUP5
000020c0: SUB
000020c1: SLT
000020c2: ISZERO
000020c3: PUSH2 0x20cb
000020c6: JUMPI
000020c7: PUSH1 0x00
000020c9: DUP1
000020ca: REVERT
000020cb: JUMPDEST
000020cc: POP
000020cd: CALLDATALOAD
000020ce: SWAP2
000020cf: SWAP1
000020d0: POP
000020d1: JUMP
000020d2: JUMPDEST
000020d3: PUSH1 0x00
000020d5: DUP1
000020d6: PUSH1 0x40
000020d8: DUP4
000020d9: DUP6
000020da: SUB
000020db: SLT
000020dc: ISZERO
000020dd: PUSH2 0x20e5
000020e0: JUMPI
000020e1: PUSH1 0x00
000020e3: DUP1
000020e4: REVERT
000020e5: JUMPDEST
000020e6: DUP3
000020e7: CALLDATALOAD
000020e8: SWAP2
000020e9: POP
000020ea: PUSH1 0x20
000020ec: DUP4
000020ed: ADD
000020ee: CALLDATALOAD
000020ef: PUSH2 0x20f7
000020f2: DUP2
000020f3: PUSH2 0x2087
000020f6: JUMP
000020f7: JUMPDEST
000020f8: DUP1
000020f9: SWAP2
000020fa: POP
000020fb: POP
000020fc: SWAP3
000020fd: POP
000020fe: SWAP3
000020ff: SWAP1
00002100: POP
00002101: JUMP
00002102: JUMPDEST
00002103: PUSH1 0x00
00002105: DUP1
00002106: PUSH1 0x40
00002108: DUP4
00002109: DUP6
0000210a: SUB
0000210b: SLT
0000210c: ISZERO
0000210d: PUSH2 0x2115
00002110: JUMPI
00002111: PUSH1 0x00
00002113: DUP1
00002114: REVERT
00002115: JUMPDEST
00002116: DUP3
00002117: CALLDATALOAD
00002118: PUSH2 0x2120
0000211b: DUP2
0000211c: PUSH2 0x2087
0000211f: JUMP
00002120: JUMPDEST
00002121: SWAP2
00002122: POP
00002123: PUSH1 0x20
00002125: DUP4
00002126: ADD
00002127: CALLDATALOAD
00002128: PUSH2 0x20f7
0000212b: DUP2
0000212c: PUSH2 0x2087
0000212f: JUMP
00002130: JUMPDEST
00002131: PUSH1 0x00
00002133: PUSH1 0x20
00002135: DUP3
00002136: DUP5
00002137: SUB
00002138: SLT
00002139: ISZERO
0000213a: PUSH2 0x2142
0000213d: JUMPI
0000213e: PUSH1 0x00
00002140: DUP1
00002141: REVERT
00002142: JUMPDEST
00002143: DUP2
00002144: MLOAD
00002145: PUSH2 0x1b3b
00002148: DUP2
00002149: PUSH2 0x2087
0000214c: JUMP
0000214d: JUMPDEST
0000214e: PUSH1 0x00
00002150: PUSH1 0x20
00002152: DUP3
00002153: DUP5
00002154: SUB
00002155: SLT
00002156: ISZERO
00002157: PUSH2 0x215f
0000215a: JUMPI
0000215b: PUSH1 0x00
0000215d: DUP1
0000215e: REVERT
0000215f: JUMPDEST
00002160: POP
00002161: MLOAD
00002162: SWAP2
00002163: SWAP1
00002164: POP
00002165: JUMP
00002166: JUMPDEST
00002167: PUSH4 0x4e487b71
0000216c: PUSH1 0xe0
0000216e: SHL
0000216f: PUSH1 0x00
00002171: MSTORE
00002172: PUSH1 0x41
00002174: PUSH1 0x04
00002176: MSTORE
00002177: PUSH1 0x24
00002179: PUSH1 0x00
0000217b: REVERT
0000217c: JUMPDEST
0000217d: PUSH1 0x00
0000217f: PUSH1 0x80
00002181: DUP3
00002182: DUP5
00002183: SUB
00002184: SLT
00002185: ISZERO
00002186: PUSH2 0x218e
00002189: JUMPI
0000218a: PUSH1 0x00
0000218c: DUP1
0000218d: REVERT
0000218e: JUMPDEST
0000218f: PUSH1 0x40
00002191: MLOAD
00002192: PUSH1 0x80
00002194: DUP2
00002195: ADD
00002196: DUP2
00002197: DUP2
00002198: LT
00002199: PUSH8 0xffffffffffffffff
000021a2: DUP3
000021a3: GT
000021a4: OR
000021a5: ISZERO
000021a6: PUSH2 0x21bf
000021a9: JUMPI
000021aa: PUSH4 0x4e487b71
000021af: PUSH1 0xe0
000021b1: SHL
000021b2: PUSH1 0x00
000021b4: MSTORE
000021b5: PUSH1 0x41
000021b7: PUSH1 0x04
000021b9: MSTORE
000021ba: PUSH1 0x24
000021bc: PUSH1 0x00
000021be: REVERT
000021bf: JUMPDEST
000021c0: DUP1
000021c1: PUSH1 0x40
000021c3: MSTORE
000021c4: POP
000021c5: DUP3
000021c6: MLOAD
000021c7: DUP2
000021c8: MSTORE
000021c9: PUSH1 0x20
000021cb: DUP4
000021cc: ADD
000021cd: MLOAD
000021ce: PUSH1 0x20
000021d0: DUP3
000021d1: ADD
000021d2: MSTORE
000021d3: PUSH1 0x40
000021d5: DUP4
000021d6: ADD
000021d7: MLOAD
000021d8: PUSH1 0x40
000021da: DUP3
000021db: ADD
000021dc: MSTORE
000021dd: PUSH1 0x60
000021df: DUP4
000021e0: ADD
000021e1: MLOAD
000021e2: PUSH1 0x60
000021e4: DUP3
000021e5: ADD
000021e6: MSTORE
000021e7: DUP1
000021e8: SWAP2
000021e9: POP
000021ea: POP
000021eb: SWAP3
000021ec: SWAP2
000021ed: POP
000021ee: POP
000021ef: JUMP
000021f0: JUMPDEST
000021f1: PUSH4 0x4e487b71
000021f6: PUSH1 0xe0
000021f8: SHL
000021f9: PUSH1 0x00
000021fb: MSTORE
000021fc: PUSH1 0x11
000021fe: PUSH1 0x04
00002200: MSTORE
00002201: PUSH1 0x24
00002203: PUSH1 0x00
00002205: REVERT
00002206: JUMPDEST
00002207: PUSH1 0x00
00002209: DUP2
0000220a: PUSH1 0x00
0000220c: NOT
0000220d: DIV
0000220e: DUP4
0000220f: GT
00002210: DUP3
00002211: ISZERO
00002212: ISZERO
00002213: AND
00002214: ISZERO
00002215: PUSH2 0x2220
00002218: JUMPI
00002219: PUSH2 0x2220
0000221c: PUSH2 0x21f0
0000221f: JUMP
00002220: JUMPDEST
00002221: POP
00002222: MUL
00002223: SWAP1
00002224: JUMP
00002225: JUMPDEST
00002226: PUSH1 0x00
00002228: DUP3
00002229: PUSH2 0x2242
0000222c: JUMPI
0000222d: PUSH4 0x4e487b71
00002232: PUSH1 0xe0
00002234: SHL
00002235: PUSH1 0x00
00002237: MSTORE
00002238: PUSH1 0x12
0000223a: PUSH1 0x04
0000223c: MSTORE
0000223d: PUSH1 0x24
0000223f: PUSH1 0x00
00002241: REVERT
00002242: JUMPDEST
00002243: POP
00002244: DIV
00002245: SWAP1
00002246: JUMP
00002247: JUMPDEST
00002248: DUP2
00002249: DUP2
0000224a: SUB
0000224b: DUP2
0000224c: DUP2
0000224d: GT
0000224e: ISZERO
0000224f: PUSH2 0x03f7
00002252: JUMPI
00002253: PUSH2 0x03f7
00002256: PUSH2 0x21f0
00002259: JUMP
0000225a: JUMPDEST
0000225b: DUP1
0000225c: MLOAD
0000225d: DUP1
0000225e: ISZERO
0000225f: ISZERO
00002260: DUP2
00002261: EQ
00002262: PUSH2 0x226a
00002265: JUMPI
00002266: PUSH1 0x00
00002268: DUP1
00002269: REVERT
0000226a: JUMPDEST
0000226b: SWAP2
0000226c: SWAP1
0000226d: POP
0000226e: JUMP
0000226f: JUMPDEST
00002270: PUSH1 0x00
00002272: PUSH1 0xc0
00002274: DUP3
00002275: DUP5
00002276: SUB
00002277: SLT
00002278: ISZERO
00002279: PUSH2 0x2281
0000227c: JUMPI
0000227d: PUSH1 0x00
0000227f: DUP1
00002280: REVERT
00002281: JUMPDEST
00002282: PUSH1 0x40
00002284: MLOAD
00002285: PUSH1 0xc0
00002287: DUP2
00002288: ADD
00002289: DUP2
0000228a: DUP2
0000228b: LT
0000228c: PUSH8 0xffffffffffffffff
00002295: DUP3
00002296: GT
00002297: OR
00002298: ISZERO
00002299: PUSH2 0x22b2
0000229c: JUMPI
0000229d: PUSH4 0x4e487b71
000022a2: PUSH1 0xe0
000022a4: SHL
000022a5: PUSH1 0x00
000022a7: MSTORE
000022a8: PUSH1 0x41
000022aa: PUSH1 0x04
000022ac: MSTORE
000022ad: PUSH1 0x24
000022af: PUSH1 0x00
000022b1: REVERT
000022b2: JUMPDEST
000022b3: DUP1
000022b4: PUSH1 0x40
000022b6: MSTORE
000022b7: POP
000022b8: DUP3
000022b9: MLOAD
000022ba: DUP2
000022bb: MSTORE
000022bc: PUSH1 0x20
000022be: DUP4
000022bf: ADD
000022c0: MLOAD
000022c1: PUSH1 0x20
000022c3: DUP3
000022c4: ADD
000022c5: MSTORE
000022c6: PUSH1 0x40
000022c8: DUP4
000022c9: ADD
000022ca: MLOAD
000022cb: PUSH1 0x40
000022cd: DUP3
000022ce: ADD
000022cf: MSTORE
000022d0: PUSH2 0x22db
000022d3: PUSH1 0x60
000022d5: DUP5
000022d6: ADD
000022d7: PUSH2 0x225a
000022da: JUMP
000022db: JUMPDEST
000022dc: PUSH1 0x60
000022de: DUP3
000022df: ADD
000022e0: MSTORE
000022e1: PUSH2 0x22ec
000022e4: PUSH1 0x80
000022e6: DUP5
000022e7: ADD
000022e8: PUSH2 0x225a
000022eb: JUMP
000022ec: JUMPDEST
000022ed: PUSH1 0x80
000022ef: DUP3
000022f0: ADD
000022f1: MSTORE
000022f2: PUSH1 0xa0
000022f4: DUP4
000022f5: ADD
000022f6: MLOAD
000022f7: PUSH2 0x22ff
000022fa: DUP2
000022fb: PUSH2 0x2087
000022fe: JUMP
000022ff: JUMPDEST
00002300: PUSH1 0xa0
00002302: DUP3
00002303: ADD
00002304: MSTORE
00002305: SWAP4
00002306: SWAP3
00002307: POP
00002308: POP
00002309: POP
0000230a: JUMP
0000230b: JUMPDEST
0000230c: DUP1
0000230d: DUP3
0000230e: ADD
0000230f: DUP1
00002310: DUP3
00002311: GT
00002312: ISZERO
00002313: PUSH2 0x03f7
00002316: JUMPI
00002317: PUSH2 0x03f7
0000231a: PUSH2 0x21f0
0000231d: JUMP
0000231e: JUMPDEST
0000231f: DUP1
00002320: MLOAD
00002321: PUSH1 0xff
00002323: DUP2
00002324: AND
00002325: DUP2
00002326: EQ
00002327: PUSH2 0x226a
0000232a: JUMPI
0000232b: PUSH1 0x00
0000232d: DUP1
0000232e: REVERT
0000232f: JUMPDEST
00002330: PUSH1 0x00
00002332: DUP1
00002333: PUSH1 0x00
00002335: PUSH1 0x60
00002337: DUP5
00002338: DUP7
00002339: SUB
0000233a: SLT
0000233b: ISZERO
0000233c: PUSH2 0x2344
0000233f: JUMPI
00002340: PUSH1 0x00
00002342: DUP1
00002343: REVERT
00002344: JUMPDEST
00002345: PUSH2 0x234d
00002348: DUP5
00002349: PUSH2 0x231e
0000234c: JUMP
0000234d: JUMPDEST
0000234e: SWAP3
0000234f: POP
00002350: PUSH1 0x20
00002352: DUP5
00002353: ADD
00002354: MLOAD
00002355: SWAP2
00002356: POP
00002357: PUSH1 0x40
00002359: DUP5
0000235a: ADD
0000235b: MLOAD
0000235c: SWAP1
0000235d: POP
0000235e: SWAP3
0000235f: POP
00002360: SWAP3
00002361: POP
00002362: SWAP3
00002363: JUMP
00002364: JUMPDEST
00002365: PUSH1 0x00
00002367: PUSH1 0x20
00002369: DUP3
0000236a: DUP5
0000236b: SUB
0000236c: SLT
0000236d: ISZERO
0000236e: PUSH2 0x2376
00002371: JUMPI
00002372: PUSH1 0x00
00002374: DUP1
00002375: REVERT
00002376: JUMPDEST
00002377: PUSH2 0x1b3b
0000237a: DUP3
0000237b: PUSH2 0x231e
0000237e: JUMP
0000237f: JUMPDEST
00002380: PUSH1 0x00
00002382: PUSH1 0x20
00002384: DUP3
00002385: DUP5
00002386: SUB
00002387: SLT
00002388: ISZERO
00002389: PUSH2 0x2391
0000238c: JUMPI
0000238d: PUSH1 0x00
0000238f: DUP1
00002390: REVERT
00002391: JUMPDEST
00002392: PUSH2 0x1b3b
00002395: DUP3
00002396: PUSH2 0x225a
00002399: JUMP
0000239a: JUMPDEST
0000239b: PUSH1 0x00
0000239d: JUMPDEST
0000239e: DUP4
0000239f: DUP2
000023a0: LT
000023a1: ISZERO
000023a2: PUSH2 0x23b5
000023a5: JUMPI
000023a6: DUP2
000023a7: DUP2
000023a8: ADD
000023a9: MLOAD
000023aa: DUP4
000023ab: DUP3
000023ac: ADD
000023ad: MSTORE
000023ae: PUSH1 0x20
000023b0: ADD
000023b1: PUSH2 0x239d
000023b4: JUMP
000023b5: JUMPDEST
000023b6: POP
000023b7: POP
000023b8: PUSH1 0x00
000023ba: SWAP2
000023bb: ADD
000023bc: MSTORE
000023bd: JUMP
000023be: JUMPDEST
000023bf: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
000023e0: DUP2
000023e1: MSTORE
000023e2: PUSH1 0x00
000023e4: DUP4
000023e5: MLOAD
000023e6: PUSH2 0x23f6
000023e9: DUP2
000023ea: PUSH1 0x17
000023ec: DUP6
000023ed: ADD
000023ee: PUSH1 0x20
000023f0: DUP9
000023f1: ADD
000023f2: PUSH2 0x239a
000023f5: JUMP
000023f6: JUMPDEST
000023f7: PUSH17 0x01034b99036b4b9b9b4b733903937b6329
00002409: PUSH1 0x7d
0000240b: SHL
0000240c: PUSH1 0x17
0000240e: SWAP2
0000240f: DUP5
00002410: ADD
00002411: SWAP2
00002412: DUP3
00002413: ADD
00002414: MSTORE
00002415: DUP4
00002416: MLOAD
00002417: PUSH2 0x2427
0000241a: DUP2
0000241b: PUSH1 0x28
0000241d: DUP5
0000241e: ADD
0000241f: PUSH1 0x20
00002421: DUP9
00002422: ADD
00002423: PUSH2 0x239a
00002426: JUMP
00002427: JUMPDEST
00002428: ADD
00002429: PUSH1 0x28
0000242b: ADD
0000242c: SWAP5
0000242d: SWAP4
0000242e: POP
0000242f: POP
00002430: POP
00002431: POP
00002432: JUMP
00002433: JUMPDEST
00002434: PUSH1 0x20
00002436: DUP2
00002437: MSTORE
00002438: PUSH1 0x00
0000243a: DUP3
0000243b: MLOAD
0000243c: DUP1
0000243d: PUSH1 0x20
0000243f: DUP5
00002440: ADD
00002441: MSTORE
00002442: PUSH2 0x2452
00002445: DUP2
00002446: PUSH1 0x40
00002448: DUP6
00002449: ADD
0000244a: PUSH1 0x20
0000244c: DUP8
0000244d: ADD
0000244e: PUSH2 0x239a
00002451: JUMP
00002452: JUMPDEST
00002453: PUSH1 0x1f
00002455: ADD
00002456: PUSH1 0x1f
00002458: NOT
00002459: AND
0000245a: SWAP2
0000245b: SWAP1
0000245c: SWAP2
0000245d: ADD
0000245e: PUSH1 0x40
00002460: ADD
00002461: SWAP3
00002462: SWAP2
00002463: POP
00002464: POP
00002465: JUMP
00002466: JUMPDEST
00002467: PUSH4 0x4e487b71
0000246c: PUSH1 0xe0
0000246e: SHL
0000246f: PUSH1 0x00
00002471: MSTORE
00002472: PUSH1 0x32
00002474: PUSH1 0x04
00002476: MSTORE
00002477: PUSH1 0x24
00002479: PUSH1 0x00
0000247b: REVERT
0000247c: JUMPDEST
0000247d: PUSH1 0x00
0000247f: DUP2
00002480: PUSH2 0x248b
00002483: JUMPI
00002484: PUSH2 0x248b
00002487: PUSH2 0x21f0
0000248a: JUMP
0000248b: JUMPDEST
0000248c: POP
0000248d: PUSH1 0x00
0000248f: NOT
00002490: ADD
00002491: SWAP1
00002492: JUMP
00002493: INVALID
00002494: LOG2
00002495: PUSH5 0x6970667358
0000249b: UNKNOWN(0x22)
0000249c: SLT
0000249d: KECCAK256
0000249e: PUSH1 0xa2
000024a0: UNKNOWN(0xDC)
000024a1: MOD
000024a2: PUSH1 0xe5
000024a4: UNKNOWN(0xD8)
000024a5: UNKNOWN(0x0F)
000024a6: CALLER
000024a7: UNKNOWN(0xB0)
000024a8: DUP7
000024a9: UNKNOWN(0x0C)
000024aa: CALL
000024ab: UNKNOWN(0xD5)
000024ac: EXTCODESIZE
000024ad: SWAP16
000024ae: UNKNOWN(0x4D)
000024af: PUSH14 0xaf1eb0556b57241b91c5fb9363b3
000024be: PUSH5 0x736f6c6343
000024c4: STOP
000024c5: ADDMOD
000024c6: LT
000024c7: STOP
000024c8: CALLER