Analysis Run

[codex:1208665] OpenAI Codex v0.77.0 (research preview)
[codex:1208665] --------
[codex:1208665] workdir: /tmp/codex-multi-4pu76urx
[codex:1208665] model: gpt-5.2-codex
[codex:1208665] provider: openai
[codex:1208665] approval: never
[codex:1208665] sandbox: read-only
[codex:1208665] reasoning effort: xhigh
[codex:1208665] reasoning summaries: auto
[codex:1208665] session id: 019b655a-d3ed-7bf2-88ce-f50bbb066067
[codex:1208665] --------
[codex:1208665] user
[codex:1208665] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1208665] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1208665] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1208665] 
[codex:1208665] Scope rules:
[codex:1208665] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1208665] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1208665] 
[codex:1208665] Output MUST be valid JSON matching the provided schema.
[codex:1208665] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1208665] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1208665] 
[codex:1208665] Output constraints (IMPORTANT):
[codex:1208665] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1208665] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1208665] mcp startup: no servers
[codex:1208665] 
[codex:1208665] thinking
[codex:1208665] **Reading AUDIT_BUNDLE.txt**
[codex:1208665] exec
[codex:1208665] /bin/bash -lc ls in /tmp/codex-multi-4pu76urx succeeded in 5ms:
[codex:1208665] AUDIT_BUNDLE.txt
[codex:1208665] codex-output-schema.json
[codex:1208665] contracts
[codex:1208665] exec
[codex:1208665] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-4pu76urx succeeded in 5ms:
[codex:1208665] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1208665] 
[codex:1208665] ================================================================================
[codex:1208665] FILE: contracts/contracts/interfaces/IFiatToken.sol
[codex:1208665] ================================================================================
[codex:1208665] // SPDX-License-Identifier: MIT
[codex:1208665] 
[codex:1208665] pragma solidity =0.8.24;
[codex:1208665] 
[codex:1208665] interface IFiatToken {
[codex:1208665]     /**
[codex:1208665]      * @notice Function to mint tokens
[codex:1208665]      * @param _to The address that will receive the minted tokens.
[codex:1208665]      * @param _amount The amount of tokens to mint. Must be less than or equal
[codex:1208665]      * to the minterAllowance of the caller.
[codex:1208665]      * @return A boolean that indicates if the operation was successful.
[codex:1208665]      */
[codex:1208665]     function mint(address _to, uint256 _amount) external returns (bool);
[codex:1208665] 
[codex:1208665]     /**
[codex:1208665] 
[codex:1208665] thinking
[codex:1208665] **Scanning audit bundle for contracts**
[codex:1208665] exec
[codex:1208665] /bin/bash -lc 'rg "''^FILE:" -n AUDIT_BUNDLE.txt' in /tmp/codex-multi-4pu76urx succeeded in 7ms:
[codex:1208665] 4:FILE: contracts/contracts/interfaces/IFiatToken.sol
[codex:1208665] 30:FILE: contracts/contracts/interfaces/IUSDCBurnableSourceBridge.sol
[codex:1208665] 47:FILE: contracts/contracts/l1/IL1CrossDomainMessenger.sol
[codex:1208665] 142:FILE: contracts/contracts/l1/gateways/IL1ERC20Gateway.sol
[codex:1208665] 256:FILE: contracts/contracts/l1/gateways/IL1ETHGateway.sol
[codex:1208665] 320:FILE: contracts/contracts/l1/gateways/IL1GatewayRouter.sol
[codex:1208665] 390:FILE: contracts/contracts/l1/gateways/L1ERC20Gateway.sol
[codex:1208665] 555:FILE: contracts/contracts/l1/gateways/usdc/L1USDCGateway.sol
[codex:1208665] 733:FILE: contracts/contracts/l2/gateways/IL2ERC20Gateway.sol
[codex:1208665] 845:FILE: contracts/contracts/libraries/ICrossDomainMessenger.sol
[codex:1208665] 928:FILE: contracts/contracts/libraries/callbacks/IGatewayCallback.sol
[codex:1208665] 939:FILE: contracts/contracts/libraries/callbacks/IMessageDropCallback.sol
[codex:1208665] 950:FILE: contracts/contracts/libraries/constants/Constants.sol
[codex:1208665] 975:FILE: contracts/contracts/libraries/gateway/GatewayBase.sol
[codex:1208665] 1064:FILE: contracts/contracts/libraries/gateway/IGateway.sol
[codex:1208665] 1082:FILE: contracts/node_modules/@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol
[codex:1208665] 1181:FILE: contracts/node_modules/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1208665] 1351:FILE: contracts/node_modules/@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol
[codex:1208665] 1444:FILE: contracts/node_modules/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:1208665] 1526:FILE: contracts/node_modules/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20PermitUpgradeable.sol
[codex:1208665] 
[codex:1208665] thinking
[codex:1208665] **Extracting core contract files**
[codex:1208665] exec
[codex:1208665] /bin/bash -lc "sed -n '390,555p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4pu76urx succeeded in 7ms:
[codex:1208665] FILE: contracts/contracts/l1/gateways/L1ERC20Gateway.sol
[codex:1208665] ================================================================================
[codex:1208665] // SPDX-License-Identifier: MIT
[codex:1208665] 
[codex:1208665] pragma solidity =0.8.24;
[codex:1208665] 
[codex:1208665] import {IERC20Upgradeable} from "node_modules/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol";
[codex:1208665] import {SafeERC20Upgradeable} from "node_modules/@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
[codex:1208665] 
[codex:1208665] import {IL1ERC20Gateway} from "./IL1ERC20Gateway.sol";
[codex:1208665] import {IL1GatewayRouter} from "./IL1GatewayRouter.sol";
[codex:1208665] 
[codex:1208665] import {IMessageDropCallback} from "../../libraries/callbacks/IMessageDropCallback.sol";
[codex:1208665] import {GatewayBase} from "../../libraries/gateway/GatewayBase.sol";
[codex:1208665] import {IL2ERC20Gateway} from "../../l2/gateways/IL2ERC20Gateway.sol";
[codex:1208665] 
[codex:1208665] /// @title L1ERC20Gateway
[codex:1208665] /// @notice The `L1ERC20Gateway` as a base contract for ERC20 gateways in L1.
[codex:1208665] /// It has implementation of common used functions for ERC20 gateways.
[codex:1208665] abstract contract L1ERC20Gateway is IL1ERC20Gateway, IMessageDropCallback, GatewayBase {
[codex:1208665] 
[codex:1208665] thinking
[codex:1208665] **Identifying required contract**
[codex:1208665] exec
[codex:1208665] /bin/bash -lc "sed -n '555,733p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4pu76urx succeeded in 5ms:
[codex:1208665] FILE: contracts/contracts/l1/gateways/usdc/L1USDCGateway.sol
[codex:1208665] ================================================================================
[codex:1208665] // SPDX-License-Identifier: MIT
[codex:1208665] 
[codex:1208665] pragma solidity =0.8.24;
[codex:1208665] 
[codex:1208665] import {IFiatToken} from "../../../interfaces/IFiatToken.sol";
[codex:1208665] import {IUSDCBurnableSourceBridge} from "../../../interfaces/IUSDCBurnableSourceBridge.sol";
[codex:1208665] import {IL2ERC20Gateway} from "../../../l2/gateways/IL2ERC20Gateway.sol";
[codex:1208665] import {IL1CrossDomainMessenger} from "../../IL1CrossDomainMessenger.sol";
[codex:1208665] import {IL1ERC20Gateway} from "../IL1ERC20Gateway.sol";
[codex:1208665] 
[codex:1208665] import {GatewayBase} from "../../../libraries/gateway/GatewayBase.sol";
[codex:1208665] import {L1ERC20Gateway} from "../L1ERC20Gateway.sol";
[codex:1208665] 
[codex:1208665] /// @title L1USDCGateway
[codex:1208665] /// @notice The `L1USDCGateway` contract is used to deposit `USDC` token in layer 1 and
[codex:1208665] /// finalize withdraw `USDC` from layer 2, before USDC become native in layer 2.
[codex:1208665] contract L1USDCGateway is L1ERC20Gateway, IUSDCBurnableSourceBridge {
[codex:1208665]     /*************
[codex:1208665] 
[codex:1208665] thinking
[codex:1208665] **Inspecting gateway base interfaces**
[codex:1208665] exec
[codex:1208665] /bin/bash -lc "sed -n '733,975p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4pu76urx succeeded in 5ms:
[codex:1208665] FILE: contracts/contracts/l2/gateways/IL2ERC20Gateway.sol
[codex:1208665] ================================================================================
[codex:1208665] // SPDX-License-Identifier: MIT
[codex:1208665] 
[codex:1208665] pragma solidity =0.8.24;
[codex:1208665] 
[codex:1208665] interface IL2ERC20Gateway {
[codex:1208665]     /**********
[codex:1208665]      * Events *
[codex:1208665]      **********/
[codex:1208665] 
[codex:1208665]     /// @notice Emitted when ERC20 token is deposited from L1 to L2 and transfer to recipient.
[codex:1208665]     /// @param l1Token The address of the token in L1.
[codex:1208665]     /// @param l2Token The address of the token in L2.
[codex:1208665]     /// @param from The address of sender in L1.
[codex:1208665]     /// @param to The address of recipient in L2.
[codex:1208665]     /// @param amount The amount of token withdrawn from L1 to L2.
[codex:1208665]     /// @param data The optional calldata passed to recipient in L2.
[codex:1208665]     event FinalizeDepositERC20(
[codex:1208665]         address indexed l1Token,
[codex:1208665] exec
[codex:1208665] /bin/bash -lc "sed -n '975,1082p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4pu76urx succeeded in 6ms:
[codex:1208665] FILE: contracts/contracts/libraries/gateway/GatewayBase.sol
[codex:1208665] ================================================================================
[codex:1208665] // SPDX-License-Identifier: MIT
[codex:1208665] 
[codex:1208665] pragma solidity =0.8.24;
[codex:1208665] 
[codex:1208665] import {OwnableUpgradeable} from "node_modules/@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
[codex:1208665] import {ReentrancyGuardUpgradeable} from "node_modules/@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol";
[codex:1208665] 
[codex:1208665] import {IGateway} from "./IGateway.sol";
[codex:1208665] import {ICrossDomainMessenger} from "../ICrossDomainMessenger.sol";
[codex:1208665] import {IGatewayCallback} from "../callbacks/IGatewayCallback.sol";
[codex:1208665] import {Constants} from "../constants/Constants.sol";
[codex:1208665] 
[codex:1208665] /// @title GatewayBase
[codex:1208665] /// @notice The `GatewayBase` is a base contract for gateway contracts used in both in L1 and L2.
[codex:1208665] abstract contract GatewayBase is ReentrancyGuardUpgradeable, OwnableUpgradeable, IGateway {
[codex:1208665]     /*************
[codex:1208665]      * Variables *
[codex:1208665]      *************/
[codex:1208665] 
[codex:1208665] 
[codex:1208665] thinking
[codex:1208665] **Examining reentrancy and access controls**
[codex:1208665] thinking
[codex:1208665] **Assessing token validation and reentrancy risks**
[codex:1208665] 
[codex:1208665] I’m analyzing how the contract handles token checks in refunds to see if attackers might exploit drop messages to drain tokens. I’m also exploring reentrancy risks from callback calls during withdrawal finalization, especially around unrestricted calls to burnAllLockedUSDC and whether reentrancy guards fully cover these cases. There’s attention on messenger behavior and message replay capabilities affecting safety assumptions.
[codex:1208665] exec
[codex:1208665] /bin/bash -lc "rg -n \"delegatecall|call\\{value|call\\(\" contracts/contracts -g\"*.sol\"" in /tmp/codex-multi-4pu76urx exited 1 in 11ms:
[codex:1208665] 
[codex:1208665] 
[codex:1208665] 
[codex:1208665] thinking
[codex:1208665] **Examining smart contract security nuances**
[codex:1208665] 
[codex:1208665] I’m analyzing the L1USDCGateway, L1ERC20Gateway, and GatewayBase contracts for vulnerabilities, focusing on upgradeability storage gaps, access control on key functions like burnAllLockedUSDC, token transfer handling (including fee-on-transfer or rebasing tokens), and the onDropMessage method’s legitimacy checks. I’m also considering risks from the messenger interface allowing dropMessage calls, and potential reentrancy or centralization risks, while weighing whether observed patterns are intentional design choices or serious security concerns. It’s a lot to consider!
[codex:1208665] thinking
[codex:1208665] **Assessing external call trust and reentrancy risks**
[codex:1208665] 
[codex:1208665] I’m carefully reviewing how the gateway relies on the router’s return values without independently verifying token transfers, considering reentrancy protections on deposits and callbacks, and exploring possible inconsistencies in message validation and token refund logic. While many risks hinge on trusted components or deployment practices, I’m weighing which might be notable for defense-in-depth versus actual exploitable vulnerabilities.
[codex:1208665] exec
[codex:1208665] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-4pu76urx succeeded in 5ms:
[codex:1208665] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:1208665] 
[codex:1208665] thinking
[codex:1208665] **Preparing vulnerability summary and JSON output**
[codex:1208665] codex
[codex:1208665] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first‑party gateway contracts under the provided scope. This assessment assumes the external cross‑domain messenger enforces message authenticity and replay protections as intended.","findings":[]}
[codex:1208665] tokens used
[codex:1208665] 37,900
[codex:1208665] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first‑party gateway contracts under the provided scope. This assessment assumes the external cross‑domain messenger enforces message authenticity and replay protections as intended.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-28T14:31:34.842533+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities identified in the first\u2011party gateway contracts under the provided scope. This assessment assumes the external cross\u2011domain messenger enforces message authenticity and replay protections as intended.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in the first\u2011party gateway contracts under the provided scope. This assessment assumes the external cross\u2011domain messenger enforces message authenticity and replay protections as intended.",
        "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 0x0178
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x797594b0
00000018: GT
00000019: PUSH2 0x00d1
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xc676ad29
00000023: GT
00000024: PUSH2 0x007c
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xf219fa66
0000002e: GT
0000002f: PUSH2 0x0057
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xf219fa66
00000039: EQ
0000003a: PUSH2 0x0440
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xf2fde38b
00000044: EQ
00000045: PUSH2 0x0453
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf887ea40
0000004f: EQ
00000050: PUSH2 0x0472
00000053: JUMPI
00000054: PUSH0
00000055: DUP1
00000056: REVERT
00000057: JUMPDEST
00000058: DUP1
00000059: PUSH4 0xc676ad29
0000005e: EQ
0000005f: PUSH2 0x03c3
00000062: JUMPI
00000063: DUP1
00000064: PUSH4 0xebd462cb
00000069: EQ
0000006a: PUSH2 0x0402
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0xf0d7c29c
00000074: EQ
00000075: PUSH2 0x0421
00000078: JUMPI
00000079: PUSH0
0000007a: DUP1
0000007b: REVERT
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0xa2604596
00000083: GT
00000084: PUSH2 0x00ac
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xa2604596
0000008e: EQ
0000008f: PUSH2 0x034e
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xa6f73669
00000099: EQ
0000009a: PUSH2 0x0371
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xc0c53b8b
000000a4: EQ
000000a5: PUSH2 0x03a4
000000a8: JUMPI
000000a9: PUSH0
000000aa: DUP1
000000ab: REVERT
000000ac: JUMPDEST
000000ad: DUP1
000000ae: PUSH4 0x797594b0
000000b3: EQ
000000b4: PUSH2 0x02ff
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x84bd13b0
000000be: EQ
000000bf: PUSH2 0x031e
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x8da5cb5b
000000c9: EQ
000000ca: PUSH2 0x0331
000000cd: JUMPI
000000ce: PUSH0
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x21846ebb
000000d8: GT
000000d9: PUSH2 0x0131
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x3cb747bf
000000e3: GT
000000e4: PUSH2 0x010c
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x3cb747bf
000000ee: EQ
000000ef: PUSH2 0x02ad
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x415855d6
000000f9: EQ
000000fa: PUSH2 0x02cc
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x715018a6
00000104: EQ
00000105: PUSH2 0x02eb
00000108: JUMPI
00000109: PUSH0
0000010a: DUP1
0000010b: REVERT
0000010c: JUMPDEST
0000010d: DUP1
0000010e: PUSH4 0x21846ebb
00000113: EQ
00000114: PUSH2 0x0234
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0x29e96f9e
0000011e: EQ
0000011f: PUSH2 0x0248
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x2f3ffb9f
00000129: EQ
0000012a: PUSH2 0x027b
0000012d: JUMPI
0000012e: PUSH0
0000012f: DUP1
00000130: REVERT
00000131: JUMPDEST
00000132: DUP1
00000133: PUSH4 0x14298c51
00000138: GT
00000139: PUSH2 0x0161
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x14298c51
00000143: EQ
00000144: PUSH2 0x01d7
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x1f878ae6
0000014e: EQ
0000014f: PUSH2 0x01ea
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x21425ee0
00000159: EQ
0000015a: PUSH2 0x0221
0000015d: JUMPI
0000015e: PUSH0
0000015f: DUP1
00000160: REVERT
00000161: JUMPDEST
00000162: DUP1
00000163: PUSH4 0x02befd24
00000168: EQ
00000169: PUSH2 0x017c
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x0aea8c26
00000173: EQ
00000174: PUSH2 0x01c2
00000177: JUMPI
00000178: JUMPDEST
00000179: PUSH0
0000017a: DUP1
0000017b: REVERT
0000017c: JUMPDEST
0000017d: CALLVALUE
0000017e: DUP1
0000017f: ISZERO
00000180: PUSH2 0x0187
00000183: JUMPI
00000184: PUSH0
00000185: DUP1
00000186: REVERT
00000187: JUMPDEST
00000188: POP
00000189: PUSH1 0xfa
0000018b: SLOAD
0000018c: PUSH2 0x01ad
0000018f: SWAP1
00000190: PUSH21 0x010000000000000000000000000000000000000000
000001a6: SWAP1
000001a7: DIV
000001a8: PUSH1 0xff
000001aa: AND
000001ab: DUP2
000001ac: JUMP
000001ad: JUMPDEST
000001ae: PUSH1 0x40
000001b0: MLOAD
000001b1: SWAP1
000001b2: ISZERO
000001b3: ISZERO
000001b4: DUP2
000001b5: MSTORE
000001b6: PUSH1 0x20
000001b8: ADD
000001b9: JUMPDEST
000001ba: PUSH1 0x40
000001bc: MLOAD
000001bd: DUP1
000001be: SWAP2
000001bf: SUB
000001c0: SWAP1
000001c1: RETURN
000001c2: JUMPDEST
000001c3: PUSH2 0x01d5
000001c6: PUSH2 0x01d0
000001c9: CALLDATASIZE
000001ca: PUSH1 0x04
000001cc: PUSH2 0x1f44
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH2 0x0491
000001d4: JUMP
000001d5: JUMPDEST
000001d6: STOP
000001d7: JUMPDEST
000001d8: PUSH2 0x01d5
000001db: PUSH2 0x01e5
000001de: CALLDATASIZE
000001df: PUSH1 0x04
000001e1: PUSH2 0x1ff8
000001e4: JUMP
000001e5: JUMPDEST
000001e6: PUSH2 0x04a5
000001e9: JUMP
000001ea: JUMPDEST
000001eb: CALLVALUE
000001ec: DUP1
000001ed: ISZERO
000001ee: PUSH2 0x01f5
000001f1: JUMPI
000001f2: PUSH0
000001f3: DUP1
000001f4: REVERT
000001f5: JUMPDEST
000001f6: POP
000001f7: PUSH1 0xfa
000001f9: SLOAD
000001fa: PUSH2 0x0209
000001fd: SWAP1
000001fe: PUSH1 0x01
00000200: PUSH1 0x01
00000202: PUSH1 0xa0
00000204: SHL
00000205: SUB
00000206: AND
00000207: DUP2
00000208: JUMP
00000209: JUMPDEST
0000020a: PUSH1 0x40
0000020c: MLOAD
0000020d: PUSH1 0x01
0000020f: PUSH1 0x01
00000211: PUSH1 0xa0
00000213: SHL
00000214: SUB
00000215: SWAP1
00000216: SWAP2
00000217: AND
00000218: DUP2
00000219: MSTORE
0000021a: PUSH1 0x20
0000021c: ADD
0000021d: PUSH2 0x01b9
00000220: JUMP
00000221: JUMPDEST
00000222: PUSH2 0x01d5
00000225: PUSH2 0x022f
00000228: CALLDATASIZE
00000229: PUSH1 0x04
0000022b: PUSH2 0x2037
0000022e: JUMP
0000022f: JUMPDEST
00000230: PUSH2 0x072a
00000233: JUMP
00000234: JUMPDEST
00000235: CALLVALUE
00000236: DUP1
00000237: ISZERO
00000238: PUSH2 0x023f
0000023b: JUMPI
0000023c: PUSH0
0000023d: DUP1
0000023e: REVERT
0000023f: JUMPDEST
00000240: POP
00000241: PUSH2 0x01d5
00000244: PUSH2 0x0763
00000247: JUMP
00000248: JUMPDEST
00000249: CALLVALUE
0000024a: DUP1
0000024b: ISZERO
0000024c: PUSH2 0x0253
0000024f: JUMPI
00000250: PUSH0
00000251: DUP1
00000252: REVERT
00000253: JUMPDEST
00000254: POP
00000255: PUSH2 0x0209
00000258: PUSH32 0x000000000000000000000000e34c91815d7fc18a9e2148bcd4241d0a5848b693
00000279: DUP2
0000027a: JUMP
0000027b: JUMPDEST
0000027c: CALLVALUE
0000027d: DUP1
0000027e: ISZERO
0000027f: PUSH2 0x0286
00000282: JUMPI
00000283: PUSH0
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH1 0xfa
0000028a: SLOAD
0000028b: PUSH2 0x01ad
0000028e: SWAP1
0000028f: PUSH22 0x01000000000000000000000000000000000000000000
000002a6: SWAP1
000002a7: DIV
000002a8: PUSH1 0xff
000002aa: AND
000002ab: DUP2
000002ac: JUMP
000002ad: JUMPDEST
000002ae: CALLVALUE
000002af: DUP1
000002b0: ISZERO
000002b1: PUSH2 0x02b8
000002b4: JUMPI
000002b5: PUSH0
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH1 0x99
000002bc: SLOAD
000002bd: PUSH2 0x0209
000002c0: SWAP1
000002c1: PUSH1 0x01
000002c3: PUSH1 0x01
000002c5: PUSH1 0xa0
000002c7: SHL
000002c8: SUB
000002c9: AND
000002ca: DUP2
000002cb: JUMP
000002cc: JUMPDEST
000002cd: CALLVALUE
000002ce: DUP1
000002cf: ISZERO
000002d0: PUSH2 0x02d7
000002d3: JUMPI
000002d4: PUSH0
000002d5: DUP1
000002d6: REVERT
000002d7: JUMPDEST
000002d8: POP
000002d9: PUSH2 0x01d5
000002dc: PUSH2 0x02e6
000002df: CALLDATASIZE
000002e0: PUSH1 0x04
000002e2: PUSH2 0x2076
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH2 0x0858
000002ea: JUMP
000002eb: JUMPDEST
000002ec: CALLVALUE
000002ed: DUP1
000002ee: ISZERO
000002ef: PUSH2 0x02f6
000002f2: JUMPI
000002f3: PUSH0
000002f4: DUP1
000002f5: REVERT
000002f6: JUMPDEST
000002f7: POP
000002f8: PUSH2 0x01d5
000002fb: PUSH2 0x08aa
000002fe: JUMP
000002ff: JUMPDEST
00000300: CALLVALUE
00000301: DUP1
00000302: ISZERO
00000303: PUSH2 0x030a
00000306: JUMPI
00000307: PUSH0
00000308: DUP1
00000309: REVERT
0000030a: JUMPDEST
0000030b: POP
0000030c: PUSH1 0x97
0000030e: SLOAD
0000030f: PUSH2 0x0209
00000312: SWAP1
00000313: PUSH1 0x01
00000315: PUSH1 0x01
00000317: PUSH1 0xa0
00000319: SHL
0000031a: SUB
0000031b: AND
0000031c: DUP2
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH2 0x01d5
00000322: PUSH2 0x032c
00000325: CALLDATASIZE
00000326: PUSH1 0x04
00000328: PUSH2 0x2098
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH2 0x08bd
00000330: JUMP
00000331: JUMPDEST
00000332: CALLVALUE
00000333: DUP1
00000334: ISZERO
00000335: PUSH2 0x033c
00000338: JUMPI
00000339: PUSH0
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: POP
0000033e: PUSH1 0x65
00000340: SLOAD
00000341: PUSH1 0x01
00000343: PUSH1 0x01
00000345: PUSH1 0xa0
00000347: SHL
00000348: SUB
00000349: AND
0000034a: PUSH2 0x0209
0000034d: JUMP
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: DUP1
00000351: ISZERO
00000352: PUSH2 0x0359
00000355: JUMPI
00000356: PUSH0
00000357: DUP1
00000358: REVERT
00000359: JUMPDEST
0000035a: POP
0000035b: PUSH2 0x0363
0000035e: PUSH1 0xfb
00000360: SLOAD
00000361: DUP2
00000362: JUMP
00000363: JUMPDEST
00000364: PUSH1 0x40
00000366: MLOAD
00000367: SWAP1
00000368: DUP2
00000369: MSTORE
0000036a: PUSH1 0x20
0000036c: ADD
0000036d: PUSH2 0x01b9
00000370: JUMP
00000371: JUMPDEST
00000372: CALLVALUE
00000373: DUP1
00000374: ISZERO
00000375: PUSH2 0x037c
00000378: JUMPI
00000379: PUSH0
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: POP
0000037e: PUSH2 0x0209
00000381: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000003a2: DUP2
000003a3: JUMP
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: DUP1
000003a7: ISZERO
000003a8: PUSH2 0x03af
000003ab: JUMPI
000003ac: PUSH0
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: PUSH2 0x01d5
000003b4: PUSH2 0x03be
000003b7: CALLDATASIZE
000003b8: PUSH1 0x04
000003ba: PUSH2 0x212a
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH2 0x0aad
000003c2: JUMP
000003c3: JUMPDEST
000003c4: CALLVALUE
000003c5: DUP1
000003c6: ISZERO
000003c7: PUSH2 0x03ce
000003ca: JUMPI
000003cb: PUSH0
000003cc: DUP1
000003cd: REVERT
000003ce: JUMPDEST
000003cf: POP
000003d0: PUSH2 0x0209
000003d3: PUSH2 0x03dd
000003d6: CALLDATASIZE
000003d7: PUSH1 0x04
000003d9: PUSH2 0x2172
000003dc: JUMP
000003dd: JUMPDEST
000003de: POP
000003df: PUSH32 0x000000000000000000000000e34c91815d7fc18a9e2148bcd4241d0a5848b693
00000400: SWAP1
00000401: JUMP
00000402: JUMPDEST
00000403: CALLVALUE
00000404: DUP1
00000405: ISZERO
00000406: PUSH2 0x040d
00000409: JUMPI
0000040a: PUSH0
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: POP
0000040f: PUSH2 0x01d5
00000412: PUSH2 0x041c
00000415: CALLDATASIZE
00000416: PUSH1 0x04
00000418: PUSH2 0x2076
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH2 0x0c25
00000420: JUMP
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042c
00000428: JUMPI
00000429: PUSH0
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x01d5
00000431: PUSH2 0x043b
00000434: CALLDATASIZE
00000435: PUSH1 0x04
00000437: PUSH2 0x2172
0000043a: JUMP
0000043b: JUMPDEST
0000043c: PUSH2 0x0c78
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH2 0x01d5
00000444: PUSH2 0x044e
00000447: CALLDATASIZE
00000448: PUSH1 0x04
0000044a: PUSH2 0x218d
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH2 0x0cba
00000452: JUMP
00000453: JUMPDEST
00000454: CALLVALUE
00000455: DUP1
00000456: ISZERO
00000457: PUSH2 0x045e
0000045a: JUMPI
0000045b: PUSH0
0000045c: DUP1
0000045d: REVERT
0000045e: JUMPDEST
0000045f: POP
00000460: PUSH2 0x01d5
00000463: PUSH2 0x046d
00000466: CALLDATASIZE
00000467: PUSH1 0x04
00000469: PUSH2 0x2172
0000046c: JUMP
0000046d: JUMPDEST
0000046e: PUSH2 0x0cc6
00000471: JUMP
00000472: JUMPDEST
00000473: CALLVALUE
00000474: DUP1
00000475: ISZERO
00000476: PUSH2 0x047d
00000479: JUMPI
0000047a: PUSH0
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: POP
0000047f: PUSH1 0x98
00000481: SLOAD
00000482: PUSH2 0x0209
00000485: SWAP1
00000486: PUSH1 0x01
00000488: PUSH1 0x01
0000048a: PUSH1 0xa0
0000048c: SHL
0000048d: SUB
0000048e: AND
0000048f: DUP2
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH2 0x049e
00000495: DUP6
00000496: DUP6
00000497: DUP6
00000498: DUP6
00000499: DUP6
0000049a: PUSH2 0x0d56
0000049d: JUMP
0000049e: JUMPDEST
0000049f: POP
000004a0: POP
000004a1: POP
000004a2: POP
000004a3: POP
000004a4: JUMP
000004a5: JUMPDEST
000004a6: PUSH1 0x99
000004a8: SLOAD
000004a9: PUSH1 0x01
000004ab: PUSH1 0x01
000004ad: PUSH1 0xa0
000004af: SHL
000004b0: SUB
000004b1: AND
000004b2: CALLER
000004b3: DUP2
000004b4: EQ
000004b5: PUSH2 0x0505
000004b8: JUMPI
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: PUSH3 0x461bcd
000004c0: PUSH1 0xe5
000004c2: SHL
000004c3: DUP2
000004c4: MSTORE
000004c5: PUSH1 0x20
000004c7: PUSH1 0x04
000004c9: DUP3
000004ca: ADD
000004cb: MSTORE
000004cc: PUSH1 0x17
000004ce: PUSH1 0x24
000004d0: DUP3
000004d1: ADD
000004d2: MSTORE
000004d3: PUSH32 0x6f6e6c79206d657373656e6765722063616e2063616c6c000000000000000000
000004f4: PUSH1 0x44
000004f6: DUP3
000004f7: ADD
000004f8: MSTORE
000004f9: PUSH1 0x64
000004fb: ADD
000004fc: JUMPDEST
000004fd: PUSH1 0x40
000004ff: MLOAD
00000500: DUP1
00000501: SWAP2
00000502: SUB
00000503: SWAP1
00000504: REVERT
00000505: JUMPDEST
00000506: DUP1
00000507: PUSH1 0x01
00000509: PUSH1 0x01
0000050b: PUSH1 0xa0
0000050d: SHL
0000050e: SUB
0000050f: AND
00000510: PUSH4 0x6e296e45
00000515: PUSH1 0x40
00000517: MLOAD
00000518: DUP2
00000519: PUSH4 0xffffffff
0000051e: AND
0000051f: PUSH1 0xe0
00000521: SHL
00000522: DUP2
00000523: MSTORE
00000524: PUSH1 0x04
00000526: ADD
00000527: PUSH1 0x20
00000529: PUSH1 0x40
0000052b: MLOAD
0000052c: DUP1
0000052d: DUP4
0000052e: SUB
0000052f: DUP2
00000530: DUP7
00000531: GAS
00000532: STATICCALL
00000533: ISZERO
00000534: DUP1
00000535: ISZERO
00000536: PUSH2 0x0541
00000539: JUMPI
0000053a: RETURNDATASIZE
0000053b: PUSH0
0000053c: DUP1
0000053d: RETURNDATACOPY
0000053e: RETURNDATASIZE
0000053f: PUSH0
00000540: REVERT
00000541: JUMPDEST
00000542: POP
00000543: POP
00000544: POP
00000545: POP
00000546: PUSH1 0x40
00000548: MLOAD
00000549: RETURNDATASIZE
0000054a: PUSH1 0x1f
0000054c: NOT
0000054d: PUSH1 0x1f
0000054f: DUP3
00000550: ADD
00000551: AND
00000552: DUP3
00000553: ADD
00000554: DUP1
00000555: PUSH1 0x40
00000557: MSTORE
00000558: POP
00000559: DUP2
0000055a: ADD
0000055b: SWAP1
0000055c: PUSH2 0x0565
0000055f: SWAP2
00000560: SWAP1
00000561: PUSH2 0x21d0
00000564: JUMP
00000565: JUMPDEST
00000566: PUSH1 0x01
00000568: PUSH1 0x01
0000056a: PUSH1 0xa0
0000056c: SHL
0000056d: SUB
0000056e: AND
0000056f: PUSH20 0x6f297c61b5c92ef107ffd30cd56affe5a273e841
00000584: PUSH1 0x01
00000586: PUSH1 0x01
00000588: PUSH1 0xa0
0000058a: SHL
0000058b: SUB
0000058c: AND
0000058d: EQ
0000058e: PUSH2 0x05d9
00000591: JUMPI
00000592: PUSH1 0x40
00000594: MLOAD
00000595: PUSH3 0x461bcd
00000599: PUSH1 0xe5
0000059b: SHL
0000059c: DUP2
0000059d: MSTORE
0000059e: PUSH1 0x20
000005a0: PUSH1 0x04
000005a2: DUP3
000005a3: ADD
000005a4: MSTORE
000005a5: PUSH1 0x1b
000005a7: PUSH1 0x24
000005a9: DUP3
000005aa: ADD
000005ab: MSTORE
000005ac: PUSH32 0x6f6e6c792063616c6c656420696e2064726f7020636f6e746578740000000000
000005cd: PUSH1 0x44
000005cf: DUP3
000005d0: ADD
000005d1: MSTORE
000005d2: PUSH1 0x64
000005d4: ADD
000005d5: PUSH2 0x04fc
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH2 0x05e1
000005dd: PUSH2 0x113b
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH32 0x8431f5c100000000000000000000000000000000000000000000000000000000
00000603: PUSH2 0x060f
00000606: PUSH1 0x04
00000608: PUSH0
00000609: DUP6
0000060a: DUP8
0000060b: PUSH2 0x21eb
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH2 0x0618
00000613: SWAP2
00000614: PUSH2 0x2212
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000063a: AND
0000063b: EQ
0000063c: PUSH2 0x0687
0000063f: JUMPI
00000640: PUSH1 0x40
00000642: MLOAD
00000643: PUSH3 0x461bcd
00000647: PUSH1 0xe5
00000649: SHL
0000064a: DUP2
0000064b: MSTORE
0000064c: PUSH1 0x20
0000064e: PUSH1 0x04
00000650: DUP3
00000651: ADD
00000652: MSTORE
00000653: PUSH1 0x10
00000655: PUSH1 0x24
00000657: DUP3
00000658: ADD
00000659: MSTORE
0000065a: PUSH32 0x696e76616c69642073656c6563746f7200000000000000000000000000000000
0000067b: PUSH1 0x44
0000067d: DUP3
0000067e: ADD
0000067f: MSTORE
00000680: PUSH1 0x64
00000682: ADD
00000683: PUSH2 0x04fc
00000686: JUMP
00000687: JUMPDEST
00000688: PUSH0
00000689: DUP1
0000068a: DUP1
0000068b: PUSH2 0x0697
0000068e: DUP6
0000068f: PUSH1 0x04
00000691: DUP2
00000692: DUP10
00000693: PUSH2 0x21eb
00000696: JUMP
00000697: JUMPDEST
00000698: DUP2
00000699: ADD
0000069a: SWAP1
0000069b: PUSH2 0x06a4
0000069e: SWAP2
0000069f: SWAP1
000006a0: PUSH2 0x225a
000006a3: JUMP
000006a4: JUMPDEST
000006a5: POP
000006a6: SWAP5
000006a7: POP
000006a8: POP
000006a9: SWAP4
000006aa: POP
000006ab: POP
000006ac: SWAP3
000006ad: POP
000006ae: PUSH2 0x06b8
000006b1: DUP4
000006b2: DUP4
000006b3: DUP4
000006b4: PUSH2 0x1194
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH2 0x06cc
000006bc: PUSH1 0x01
000006be: PUSH1 0x01
000006c0: PUSH1 0xa0
000006c2: SHL
000006c3: SUB
000006c4: DUP5
000006c5: AND
000006c6: DUP4
000006c7: DUP4
000006c8: PUSH2 0x11fd
000006cb: JUMP
000006cc: JUMPDEST
000006cd: DUP2
000006ce: PUSH1 0x01
000006d0: PUSH1 0x01
000006d2: PUSH1 0xa0
000006d4: SHL
000006d5: SUB
000006d6: AND
000006d7: DUP4
000006d8: PUSH1 0x01
000006da: PUSH1 0x01
000006dc: PUSH1 0xa0
000006de: SHL
000006df: SUB
000006e0: AND
000006e1: PUSH32 0xdbdf8eb487847e4c0f22847f5dac07f2d3690f96f581a6ae4b102769917645a8
00000702: DUP4
00000703: PUSH1 0x40
00000705: MLOAD
00000706: PUSH2 0x0711
00000709: SWAP2
0000070a: DUP2
0000070b: MSTORE
0000070c: PUSH1 0x20
0000070e: ADD
0000070f: SWAP1
00000710: JUMP
00000711: JUMPDEST
00000712: PUSH1 0x40
00000714: MLOAD
00000715: DUP1
00000716: SWAP2
00000717: SUB
00000718: SWAP1
00000719: LOG3
0000071a: POP
0000071b: POP
0000071c: POP
0000071d: PUSH2 0x0725
00000720: PUSH1 0x01
00000722: DUP1
00000723: SSTORE
00000724: JUMP
00000725: JUMPDEST
00000726: POP
00000727: POP
00000728: POP
00000729: JUMP
0000072a: JUMPDEST
0000072b: PUSH2 0x0725
0000072e: DUP4
0000072f: CALLER
00000730: DUP5
00000731: PUSH0
00000732: JUMPDEST
00000733: PUSH1 0x40
00000735: MLOAD
00000736: SWAP1
00000737: DUP1
00000738: DUP3
00000739: MSTORE
0000073a: DUP1
0000073b: PUSH1 0x1f
0000073d: ADD
0000073e: PUSH1 0x1f
00000740: NOT
00000741: AND
00000742: PUSH1 0x20
00000744: ADD
00000745: DUP3
00000746: ADD
00000747: PUSH1 0x40
00000749: MSTORE
0000074a: DUP1
0000074b: ISZERO
0000074c: PUSH2 0x075c
0000074f: JUMPI
00000750: PUSH1 0x20
00000752: DUP3
00000753: ADD
00000754: DUP2
00000755: DUP1
00000756: CALLDATASIZE
00000757: DUP4
00000758: CALLDATACOPY
00000759: ADD
0000075a: SWAP1
0000075b: POP
0000075c: JUMPDEST
0000075d: POP
0000075e: DUP6
0000075f: PUSH2 0x0d56
00000762: JUMP
00000763: JUMPDEST
00000764: PUSH1 0xfa
00000766: SLOAD
00000767: PUSH1 0x01
00000769: PUSH1 0x01
0000076b: PUSH1 0xa0
0000076d: SHL
0000076e: SUB
0000076f: AND
00000770: CALLER
00000771: PUSH1 0x01
00000773: PUSH1 0x01
00000775: PUSH1 0xa0
00000777: SHL
00000778: SUB
00000779: AND
0000077a: EQ
0000077b: PUSH2 0x07c6
0000077e: JUMPI
0000077f: PUSH1 0x40
00000781: MLOAD
00000782: PUSH3 0x461bcd
00000786: PUSH1 0xe5
00000788: SHL
00000789: DUP2
0000078a: MSTORE
0000078b: PUSH1 0x20
0000078d: PUSH1 0x04
0000078f: DUP3
00000790: ADD
00000791: MSTORE
00000792: PUSH1 0x12
00000794: PUSH1 0x24
00000796: DUP3
00000797: ADD
00000798: MSTORE
00000799: PUSH32 0x6f6e6c7920636972636c652063616c6c65720000000000000000000000000000
000007ba: PUSH1 0x44
000007bc: DUP3
000007bd: ADD
000007be: MSTORE
000007bf: PUSH1 0x64
000007c1: ADD
000007c2: PUSH2 0x04fc
000007c5: JUMP
000007c6: JUMPDEST
000007c7: PUSH1 0xfb
000007c9: DUP1
000007ca: SLOAD
000007cb: PUSH0
000007cc: SWAP1
000007cd: SWAP2
000007ce: SSTORE
000007cf: PUSH1 0x40
000007d1: MLOAD
000007d2: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000
000007f3: DUP2
000007f4: MSTORE
000007f5: PUSH1 0x04
000007f7: DUP2
000007f8: ADD
000007f9: DUP3
000007fa: SWAP1
000007fb: MSTORE
000007fc: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000081d: PUSH1 0x01
0000081f: PUSH1 0x01
00000821: PUSH1 0xa0
00000823: SHL
00000824: SUB
00000825: AND
00000826: SWAP1
00000827: PUSH4 0x42966c68
0000082c: SWAP1
0000082d: PUSH1 0x24
0000082f: ADD
00000830: PUSH0
00000831: PUSH1 0x40
00000833: MLOAD
00000834: DUP1
00000835: DUP4
00000836: SUB
00000837: DUP2
00000838: PUSH0
00000839: DUP8
0000083a: DUP1
0000083b: EXTCODESIZE
0000083c: ISZERO
0000083d: DUP1
0000083e: ISZERO
0000083f: PUSH2 0x0846
00000842: JUMPI
00000843: PUSH0
00000844: DUP1
00000845: REVERT
00000846: JUMPDEST
00000847: POP
00000848: GAS
00000849: CALL
0000084a: ISZERO
0000084b: DUP1
0000084c: ISZERO
0000084d: PUSH2 0x049e
00000850: JUMPI
00000851: RETURNDATASIZE
00000852: PUSH0
00000853: DUP1
00000854: RETURNDATACOPY
00000855: RETURNDATASIZE
00000856: PUSH0
00000857: REVERT
00000858: JUMPDEST
00000859: PUSH2 0x0860
0000085c: PUSH2 0x12ac
0000085f: JUMP
00000860: JUMPDEST
00000861: PUSH1 0xfa
00000863: DUP1
00000864: SLOAD
00000865: SWAP2
00000866: ISZERO
00000867: ISZERO
00000868: PUSH21 0x010000000000000000000000000000000000000000
0000087e: MUL
0000087f: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
000008a0: SWAP1
000008a1: SWAP3
000008a2: AND
000008a3: SWAP2
000008a4: SWAP1
000008a5: SWAP2
000008a6: OR
000008a7: SWAP1
000008a8: SSTORE
000008a9: JUMP
000008aa: JUMPDEST
000008ab: PUSH2 0x08b2
000008ae: PUSH2 0x12ac
000008b1: JUMP
000008b2: JUMPDEST
000008b3: PUSH2 0x08bb
000008b6: PUSH0
000008b7: PUSH2 0x1306
000008ba: JUMP
000008bb: JUMPDEST
000008bc: JUMP
000008bd: JUMPDEST
000008be: PUSH1 0x99
000008c0: SLOAD
000008c1: PUSH1 0x01
000008c3: PUSH1 0x01
000008c5: PUSH1 0xa0
000008c7: SHL
000008c8: SUB
000008c9: AND
000008ca: CALLER
000008cb: DUP2
000008cc: EQ
000008cd: PUSH2 0x0918
000008d0: JUMPI
000008d1: PUSH1 0x40
000008d3: MLOAD
000008d4: PUSH3 0x461bcd
000008d8: PUSH1 0xe5
000008da: SHL
000008db: DUP2
000008dc: MSTORE
000008dd: PUSH1 0x20
000008df: PUSH1 0x04
000008e1: DUP3
000008e2: ADD
000008e3: MSTORE
000008e4: PUSH1 0x17
000008e6: PUSH1 0x24
000008e8: DUP3
000008e9: ADD
000008ea: MSTORE
000008eb: PUSH32 0x6f6e6c79206d657373656e6765722063616e2063616c6c000000000000000000
0000090c: PUSH1 0x44
0000090e: DUP3
0000090f: ADD
00000910: MSTORE
00000911: PUSH1 0x64
00000913: ADD
00000914: PUSH2 0x04fc
00000917: JUMP
00000918: JUMPDEST
00000919: DUP1
0000091a: PUSH1 0x01
0000091c: PUSH1 0x01
0000091e: PUSH1 0xa0
00000920: SHL
00000921: SUB
00000922: AND
00000923: PUSH4 0x6e296e45
00000928: PUSH1 0x40
0000092a: MLOAD
0000092b: DUP2
0000092c: PUSH4 0xffffffff
00000931: AND
00000932: PUSH1 0xe0
00000934: SHL
00000935: DUP2
00000936: MSTORE
00000937: PUSH1 0x04
00000939: ADD
0000093a: PUSH1 0x20
0000093c: PUSH1 0x40
0000093e: MLOAD
0000093f: DUP1
00000940: DUP4
00000941: SUB
00000942: DUP2
00000943: DUP7
00000944: GAS
00000945: STATICCALL
00000946: ISZERO
00000947: DUP1
00000948: ISZERO
00000949: PUSH2 0x0954
0000094c: JUMPI
0000094d: RETURNDATASIZE
0000094e: PUSH0
0000094f: DUP1
00000950: RETURNDATACOPY
00000951: RETURNDATASIZE
00000952: PUSH0
00000953: REVERT
00000954: JUMPDEST
00000955: POP
00000956: POP
00000957: POP
00000958: POP
00000959: PUSH1 0x40
0000095b: MLOAD
0000095c: RETURNDATASIZE
0000095d: PUSH1 0x1f
0000095f: NOT
00000960: PUSH1 0x1f
00000962: DUP3
00000963: ADD
00000964: AND
00000965: DUP3
00000966: ADD
00000967: DUP1
00000968: PUSH1 0x40
0000096a: MSTORE
0000096b: POP
0000096c: DUP2
0000096d: ADD
0000096e: SWAP1
0000096f: PUSH2 0x0978
00000972: SWAP2
00000973: SWAP1
00000974: PUSH2 0x21d0
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH1 0x97
0000097b: SLOAD
0000097c: PUSH1 0x01
0000097e: PUSH1 0x01
00000980: PUSH1 0xa0
00000982: SHL
00000983: SUB
00000984: SWAP1
00000985: DUP2
00000986: AND
00000987: SWAP2
00000988: AND
00000989: EQ
0000098a: PUSH2 0x09d5
0000098d: JUMPI
0000098e: PUSH1 0x40
00000990: MLOAD
00000991: PUSH3 0x461bcd
00000995: PUSH1 0xe5
00000997: SHL
00000998: DUP2
00000999: MSTORE
0000099a: PUSH1 0x20
0000099c: PUSH1 0x04
0000099e: DUP3
0000099f: ADD
000009a0: MSTORE
000009a1: PUSH1 0x18
000009a3: PUSH1 0x24
000009a5: DUP3
000009a6: ADD
000009a7: MSTORE
000009a8: PUSH32 0x6f6e6c792063616c6c20627920636f756e746572706172740000000000000000
000009c9: PUSH1 0x44
000009cb: DUP3
000009cc: ADD
000009cd: MSTORE
000009ce: PUSH1 0x64
000009d0: ADD
000009d1: PUSH2 0x04fc
000009d4: JUMP
000009d5: JUMPDEST
000009d6: PUSH2 0x09dd
000009d9: PUSH2 0x113b
000009dc: JUMP
000009dd: JUMPDEST
000009de: PUSH2 0x09ec
000009e1: DUP9
000009e2: DUP9
000009e3: DUP9
000009e4: DUP9
000009e5: DUP9
000009e6: DUP9
000009e7: DUP9
000009e8: PUSH2 0x136f
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH2 0x0a00
000009f0: PUSH1 0x01
000009f2: PUSH1 0x01
000009f4: PUSH1 0xa0
000009f6: SHL
000009f7: SUB
000009f8: DUP10
000009f9: AND
000009fa: DUP7
000009fb: DUP7
000009fc: PUSH2 0x11fd
000009ff: JUMP
00000a00: JUMPDEST
00000a01: PUSH2 0x0a3f
00000a04: DUP6
00000a05: DUP5
00000a06: DUP5
00000a07: DUP1
00000a08: DUP1
00000a09: PUSH1 0x1f
00000a0b: ADD
00000a0c: PUSH1 0x20
00000a0e: DUP1
00000a0f: SWAP2
00000a10: DIV
00000a11: MUL
00000a12: PUSH1 0x20
00000a14: ADD
00000a15: PUSH1 0x40
00000a17: MLOAD
00000a18: SWAP1
00000a19: DUP2
00000a1a: ADD
00000a1b: PUSH1 0x40
00000a1d: MSTORE
00000a1e: DUP1
00000a1f: SWAP4
00000a20: SWAP3
00000a21: SWAP2
00000a22: SWAP1
00000a23: DUP2
00000a24: DUP2
00000a25: MSTORE
00000a26: PUSH1 0x20
00000a28: ADD
00000a29: DUP4
00000a2a: DUP4
00000a2b: DUP1
00000a2c: DUP3
00000a2d: DUP5
00000a2e: CALLDATACOPY
00000a2f: PUSH0
00000a30: SWAP3
00000a31: ADD
00000a32: SWAP2
00000a33: SWAP1
00000a34: SWAP2
00000a35: MSTORE
00000a36: POP
00000a37: PUSH2 0x154a
00000a3a: SWAP3
00000a3b: POP
00000a3c: POP
00000a3d: POP
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: DUP6
00000a41: PUSH1 0x01
00000a43: PUSH1 0x01
00000a45: PUSH1 0xa0
00000a47: SHL
00000a48: SUB
00000a49: AND
00000a4a: DUP8
00000a4b: PUSH1 0x01
00000a4d: PUSH1 0x01
00000a4f: PUSH1 0xa0
00000a51: SHL
00000a52: SUB
00000a53: AND
00000a54: DUP10
00000a55: PUSH1 0x01
00000a57: PUSH1 0x01
00000a59: PUSH1 0xa0
00000a5b: SHL
00000a5c: SUB
00000a5d: AND
00000a5e: PUSH32 0xc6f985873b37805705f6bce756dce3d1ff4b603e298d506288cce499926846a7
00000a7f: DUP9
00000a80: DUP9
00000a81: DUP9
00000a82: DUP9
00000a83: PUSH1 0x40
00000a85: MLOAD
00000a86: PUSH2 0x0a92
00000a89: SWAP5
00000a8a: SWAP4
00000a8b: SWAP3
00000a8c: SWAP2
00000a8d: SWAP1
00000a8e: PUSH2 0x22e5
00000a91: JUMP
00000a92: JUMPDEST
00000a93: PUSH1 0x40
00000a95: MLOAD
00000a96: DUP1
00000a97: SWAP2
00000a98: SUB
00000a99: SWAP1
00000a9a: LOG4
00000a9b: PUSH2 0x0aa3
00000a9e: PUSH1 0x01
00000aa0: DUP1
00000aa1: SSTORE
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: POP
00000aa5: POP
00000aa6: POP
00000aa7: POP
00000aa8: POP
00000aa9: POP
00000aaa: POP
00000aab: POP
00000aac: JUMP
00000aad: JUMPDEST
00000aae: PUSH0
00000aaf: SLOAD
00000ab0: PUSH2 0x0100
00000ab3: SWAP1
00000ab4: DIV
00000ab5: PUSH1 0xff
00000ab7: AND
00000ab8: ISZERO
00000ab9: DUP1
00000aba: DUP1
00000abb: ISZERO
00000abc: PUSH2 0x0acb
00000abf: JUMPI
00000ac0: POP
00000ac1: PUSH0
00000ac2: SLOAD
00000ac3: PUSH1 0x01
00000ac5: PUSH1 0xff
00000ac7: SWAP1
00000ac8: SWAP2
00000ac9: AND
00000aca: LT
00000acb: JUMPDEST
00000acc: DUP1
00000acd: PUSH2 0x0ae4
00000ad0: JUMPI
00000ad1: POP
00000ad2: ADDRESS
00000ad3: EXTCODESIZE
00000ad4: ISZERO
00000ad5: DUP1
00000ad6: ISZERO
00000ad7: PUSH2 0x0ae4
00000ada: JUMPI
00000adb: POP
00000adc: PUSH0
00000add: SLOAD
00000ade: PUSH1 0xff
00000ae0: AND
00000ae1: PUSH1 0x01
00000ae3: EQ
00000ae4: JUMPDEST
00000ae5: PUSH2 0x0b56
00000ae8: JUMPI
00000ae9: PUSH1 0x40
00000aeb: MLOAD
00000aec: PUSH3 0x461bcd
00000af0: PUSH1 0xe5
00000af2: SHL
00000af3: DUP2
00000af4: MSTORE
00000af5: PUSH1 0x20
00000af7: PUSH1 0x04
00000af9: DUP3
00000afa: ADD
00000afb: MSTORE
00000afc: PUSH1 0x2e
00000afe: PUSH1 0x24
00000b00: DUP3
00000b01: ADD
00000b02: MSTORE
00000b03: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000b24: PUSH1 0x44
00000b26: DUP3
00000b27: ADD
00000b28: MSTORE
00000b29: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00000b4a: PUSH1 0x64
00000b4c: DUP3
00000b4d: ADD
00000b4e: MSTORE
00000b4f: PUSH1 0x84
00000b51: ADD
00000b52: PUSH2 0x04fc
00000b55: JUMP
00000b56: JUMPDEST
00000b57: PUSH0
00000b58: DUP1
00000b59: SLOAD
00000b5a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000b7b: AND
00000b7c: PUSH1 0x01
00000b7e: OR
00000b7f: SWAP1
00000b80: SSTORE
00000b81: DUP1
00000b82: ISZERO
00000b83: PUSH2 0x0bb2
00000b86: JUMPI
00000b87: PUSH0
00000b88: DUP1
00000b89: SLOAD
00000b8a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000bab: AND
00000bac: PUSH2 0x0100
00000baf: OR
00000bb0: SWAP1
00000bb1: SSTORE
00000bb2: JUMPDEST
00000bb3: PUSH2 0x0bbd
00000bb6: DUP5
00000bb7: DUP5
00000bb8: DUP5
00000bb9: PUSH2 0x15df
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: DUP1
00000bbf: ISZERO
00000bc0: PUSH2 0x0c1f
00000bc3: JUMPI
00000bc4: PUSH0
00000bc5: DUP1
00000bc6: SLOAD
00000bc7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000be8: AND
00000be9: SWAP1
00000bea: SSTORE
00000beb: PUSH1 0x40
00000bed: MLOAD
00000bee: PUSH1 0x01
00000bf0: DUP2
00000bf1: MSTORE
00000bf2: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000c13: SWAP1
00000c14: PUSH1 0x20
00000c16: ADD
00000c17: PUSH1 0x40
00000c19: MLOAD
00000c1a: DUP1
00000c1b: SWAP2
00000c1c: SUB
00000c1d: SWAP1
00000c1e: LOG1
00000c1f: JUMPDEST
00000c20: POP
00000c21: POP
00000c22: POP
00000c23: POP
00000c24: JUMP
00000c25: JUMPDEST
00000c26: PUSH2 0x0c2d
00000c29: PUSH2 0x12ac
00000c2c: JUMP
00000c2d: JUMPDEST
00000c2e: PUSH1 0xfa
00000c30: DUP1
00000c31: SLOAD
00000c32: SWAP2
00000c33: ISZERO
00000c34: ISZERO
00000c35: PUSH22 0x01000000000000000000000000000000000000000000
00000c4c: MUL
00000c4d: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff
00000c6e: SWAP1
00000c6f: SWAP3
00000c70: AND
00000c71: SWAP2
00000c72: SWAP1
00000c73: SWAP2
00000c74: OR
00000c75: SWAP1
00000c76: SSTORE
00000c77: JUMP
00000c78: JUMPDEST
00000c79: PUSH2 0x0c80
00000c7c: PUSH2 0x12ac
00000c7f: JUMP
00000c80: JUMPDEST
00000c81: PUSH1 0xfa
00000c83: DUP1
00000c84: SLOAD
00000c85: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000ca6: AND
00000ca7: PUSH1 0x01
00000ca9: PUSH1 0x01
00000cab: PUSH1 0xa0
00000cad: SHL
00000cae: SUB
00000caf: SWAP3
00000cb0: SWAP1
00000cb1: SWAP3
00000cb2: AND
00000cb3: SWAP2
00000cb4: SWAP1
00000cb5: SWAP2
00000cb6: OR
00000cb7: SWAP1
00000cb8: SSTORE
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: PUSH2 0x0c1f
00000cbe: DUP5
00000cbf: DUP5
00000cc0: DUP5
00000cc1: PUSH0
00000cc2: PUSH2 0x0732
00000cc5: JUMP
00000cc6: JUMPDEST
00000cc7: PUSH2 0x0cce
00000cca: PUSH2 0x12ac
00000ccd: JUMP
00000cce: JUMPDEST
00000ccf: PUSH1 0x01
00000cd1: PUSH1 0x01
00000cd3: PUSH1 0xa0
00000cd5: SHL
00000cd6: SUB
00000cd7: DUP2
00000cd8: AND
00000cd9: PUSH2 0x0d4a
00000cdc: JUMPI
00000cdd: PUSH1 0x40
00000cdf: MLOAD
00000ce0: PUSH3 0x461bcd
00000ce4: PUSH1 0xe5
00000ce6: SHL
00000ce7: DUP2
00000ce8: MSTORE
00000ce9: PUSH1 0x20
00000ceb: PUSH1 0x04
00000ced: DUP3
00000cee: ADD
00000cef: MSTORE
00000cf0: PUSH1 0x26
00000cf2: PUSH1 0x24
00000cf4: DUP3
00000cf5: ADD
00000cf6: MSTORE
00000cf7: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000d18: PUSH1 0x44
00000d1a: DUP3
00000d1b: ADD
00000d1c: MSTORE
00000d1d: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00000d3e: PUSH1 0x64
00000d40: DUP3
00000d41: ADD
00000d42: MSTORE
00000d43: PUSH1 0x84
00000d45: ADD
00000d46: PUSH2 0x04fc
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: PUSH2 0x0d53
00000d4e: DUP2
00000d4f: PUSH2 0x1306
00000d52: JUMP
00000d53: JUMPDEST
00000d54: POP
00000d55: JUMP
00000d56: JUMPDEST
00000d57: PUSH2 0x0d5e
00000d5a: PUSH2 0x113b
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: PUSH0
00000d60: DUP4
00000d61: GT
00000d62: PUSH2 0x0dad
00000d65: JUMPI
00000d66: PUSH1 0x40
00000d68: MLOAD
00000d69: PUSH3 0x461bcd
00000d6d: PUSH1 0xe5
00000d6f: SHL
00000d70: DUP2
00000d71: MSTORE
00000d72: PUSH1 0x20
00000d74: PUSH1 0x04
00000d76: DUP3
00000d77: ADD
00000d78: MSTORE
00000d79: PUSH1 0x13
00000d7b: PUSH1 0x24
00000d7d: DUP3
00000d7e: ADD
00000d7f: MSTORE
00000d80: PUSH32 0x6465706f736974207a65726f20616d6f756e7400000000000000000000000000
00000da1: PUSH1 0x44
00000da3: DUP3
00000da4: ADD
00000da5: MSTORE
00000da6: PUSH1 0x64
00000da8: ADD
00000da9: PUSH2 0x04fc
00000dac: JUMP
00000dad: JUMPDEST
00000dae: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000dcf: PUSH1 0x01
00000dd1: PUSH1 0x01
00000dd3: PUSH1 0xa0
00000dd5: SHL
00000dd6: SUB
00000dd7: AND
00000dd8: DUP6
00000dd9: PUSH1 0x01
00000ddb: PUSH1 0x01
00000ddd: PUSH1 0xa0
00000ddf: SHL
00000de0: SUB
00000de1: AND
00000de2: EQ
00000de3: PUSH2 0x0e2e
00000de6: JUMPI
00000de7: PUSH1 0x40
00000de9: MLOAD
00000dea: PUSH3 0x461bcd
00000dee: PUSH1 0xe5
00000df0: SHL
00000df1: DUP2
00000df2: MSTORE
00000df3: PUSH1 0x20
00000df5: PUSH1 0x04
00000df7: DUP3
00000df8: ADD
00000df9: MSTORE
00000dfa: PUSH1 0x14
00000dfc: PUSH1 0x24
00000dfe: DUP3
00000dff: ADD
00000e00: MSTORE
00000e01: PUSH32 0x6f6e6c79205553444320697320616c6c6f776564000000000000000000000000
00000e22: PUSH1 0x44
00000e24: DUP3
00000e25: ADD
00000e26: MSTORE
00000e27: PUSH1 0x64
00000e29: ADD
00000e2a: PUSH2 0x04fc
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: PUSH1 0xfa
00000e31: SLOAD
00000e32: PUSH21 0x010000000000000000000000000000000000000000
00000e48: SWAP1
00000e49: DIV
00000e4a: PUSH1 0xff
00000e4c: AND
00000e4d: ISZERO
00000e4e: PUSH2 0x0e99
00000e51: JUMPI
00000e52: PUSH1 0x40
00000e54: MLOAD
00000e55: PUSH3 0x461bcd
00000e59: PUSH1 0xe5
00000e5b: SHL
00000e5c: DUP2
00000e5d: MSTORE
00000e5e: PUSH1 0x20
00000e60: PUSH1 0x04
00000e62: DUP3
00000e63: ADD
00000e64: MSTORE
00000e65: PUSH1 0x0e
00000e67: PUSH1 0x24
00000e69: DUP3
00000e6a: ADD
00000e6b: MSTORE
00000e6c: PUSH32 0x6465706f73697420706175736564000000000000000000000000000000000000
00000e8d: PUSH1 0x44
00000e8f: DUP3
00000e90: ADD
00000e91: MSTORE
00000e92: PUSH1 0x64
00000e94: ADD
00000e95: PUSH2 0x04fc
00000e98: JUMP
00000e99: JUMPDEST
00000e9a: PUSH0
00000e9b: PUSH2 0x0ea5
00000e9e: DUP7
00000e9f: DUP6
00000ea0: DUP6
00000ea1: PUSH2 0x1722
00000ea4: JUMP
00000ea5: JUMPDEST
00000ea6: DUP1
00000ea7: MLOAD
00000ea8: SWAP2
00000ea9: SWAP7
00000eaa: POP
00000eab: SWAP5
00000eac: POP
00000ead: SWAP1
00000eae: SWAP2
00000eaf: POP
00000eb0: ISZERO
00000eb1: PUSH2 0x0efc
00000eb4: JUMPI
00000eb5: PUSH1 0x40
00000eb7: MLOAD
00000eb8: PUSH3 0x461bcd
00000ebc: PUSH1 0xe5
00000ebe: SHL
00000ebf: DUP2
00000ec0: MSTORE
00000ec1: PUSH1 0x20
00000ec3: PUSH1 0x04
00000ec5: DUP3
00000ec6: ADD
00000ec7: MSTORE
00000ec8: PUSH1 0x13
00000eca: PUSH1 0x24
00000ecc: DUP3
00000ecd: ADD
00000ece: MSTORE
00000ecf: PUSH32 0x63616c6c206973206e6f7420616c6c6f77656400000000000000000000000000
00000ef0: PUSH1 0x44
00000ef2: DUP3
00000ef3: ADD
00000ef4: MSTORE
00000ef5: PUSH1 0x64
00000ef7: ADD
00000ef8: PUSH2 0x04fc
00000efb: JUMP
00000efc: JUMPDEST
00000efd: DUP4
00000efe: PUSH1 0xfb
00000f00: PUSH0
00000f01: DUP3
00000f02: DUP3
00000f03: SLOAD
00000f04: PUSH2 0x0f0d
00000f07: SWAP2
00000f08: SWAP1
00000f09: PUSH2 0x2357
00000f0c: JUMP
00000f0d: JUMPDEST
00000f0e: SWAP1
00000f0f: SWAP2
00000f10: SSTORE
00000f11: POP
00000f12: POP
00000f13: PUSH1 0x40
00000f15: MLOAD
00000f16: PUSH0
00000f17: SWAP1
00000f18: PUSH2 0x0f4f
00000f1b: SWAP1
00000f1c: DUP9
00000f1d: SWAP1
00000f1e: PUSH32 0x000000000000000000000000e34c91815d7fc18a9e2148bcd4241d0a5848b693
00000f3f: SWAP1
00000f40: DUP6
00000f41: SWAP1
00000f42: DUP11
00000f43: SWAP1
00000f44: DUP11
00000f45: SWAP1
00000f46: DUP11
00000f47: SWAP1
00000f48: PUSH1 0x24
00000f4a: ADD
00000f4b: PUSH2 0x23bd
00000f4e: JUMP
00000f4f: JUMPDEST
00000f50: PUSH1 0x40
00000f52: DUP1
00000f53: MLOAD
00000f54: PUSH1 0x1f
00000f56: NOT
00000f57: DUP2
00000f58: DUP5
00000f59: SUB
00000f5a: ADD
00000f5b: DUP2
00000f5c: MSTORE
00000f5d: SWAP2
00000f5e: DUP2
00000f5f: MSTORE
00000f60: PUSH1 0x20
00000f62: DUP1
00000f63: DUP4
00000f64: ADD
00000f65: DUP1
00000f66: MLOAD
00000f67: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f84: AND
00000f85: PUSH32 0x8431f5c100000000000000000000000000000000000000000000000000000000
00000fa6: OR
00000fa7: SWAP1
00000fa8: MSTORE
00000fa9: PUSH1 0x99
00000fab: SLOAD
00000fac: DUP3
00000fad: MLOAD
00000fae: PUSH32 0xecc7042800000000000000000000000000000000000000000000000000000000
00000fcf: DUP2
00000fd0: MSTORE
00000fd1: SWAP3
00000fd2: MLOAD
00000fd3: SWAP4
00000fd4: SWAP5
00000fd5: POP
00000fd6: PUSH0
00000fd7: SWAP4
00000fd8: PUSH1 0x01
00000fda: PUSH1 0x01
00000fdc: PUSH1 0xa0
00000fde: SHL
00000fdf: SUB
00000fe0: SWAP1
00000fe1: SWAP2
00000fe2: AND
00000fe3: SWAP3
00000fe4: PUSH4 0xecc70428
00000fe9: SWAP3
00000fea: PUSH1 0x04
00000fec: DUP1
00000fed: DUP4
00000fee: ADD
00000fef: SWAP4
00000ff0: SWAP2
00000ff1: SWAP3
00000ff2: DUP3
00000ff3: SWAP1
00000ff4: SUB
00000ff5: ADD
00000ff6: DUP2
00000ff7: DUP7
00000ff8: GAS
00000ff9: STATICCALL
00000ffa: ISZERO
00000ffb: DUP1
00000ffc: ISZERO
00000ffd: PUSH2 0x1008
00001000: JUMPI
00001001: RETURNDATASIZE
00001002: PUSH0
00001003: DUP1
00001004: RETURNDATACOPY
00001005: RETURNDATASIZE
00001006: PUSH0
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 0x240a
0000102b: JUMP
0000102c: JUMPDEST
0000102d: PUSH1 0x99
0000102f: SLOAD
00001030: PUSH1 0x97
00001032: SLOAD
00001033: PUSH1 0x40
00001035: MLOAD
00001036: PUSH32 0x5f7b157700000000000000000000000000000000000000000000000000000000
00001057: DUP2
00001058: MSTORE
00001059: SWAP3
0000105a: SWAP4
0000105b: POP
0000105c: PUSH1 0x01
0000105e: PUSH1 0x01
00001060: PUSH1 0xa0
00001062: SHL
00001063: SUB
00001064: SWAP2
00001065: DUP3
00001066: AND
00001067: SWAP3
00001068: PUSH4 0x5f7b1577
0000106d: SWAP3
0000106e: CALLVALUE
0000106f: SWAP3
00001070: PUSH2 0x1086
00001073: SWAP3
00001074: SWAP2
00001075: AND
00001076: SWAP1
00001077: PUSH0
00001078: SWAP1
00001079: DUP9
0000107a: SWAP1
0000107b: DUP12
0000107c: SWAP1
0000107d: DUP12
0000107e: SWAP1
0000107f: PUSH1 0x04
00001081: ADD
00001082: PUSH2 0x2421
00001085: JUMP
00001086: JUMPDEST
00001087: PUSH0
00001088: PUSH1 0x40
0000108a: MLOAD
0000108b: DUP1
0000108c: DUP4
0000108d: SUB
0000108e: DUP2
0000108f: DUP6
00001090: DUP9
00001091: DUP1
00001092: EXTCODESIZE
00001093: ISZERO
00001094: DUP1
00001095: ISZERO
00001096: PUSH2 0x109d
00001099: JUMPI
0000109a: PUSH0
0000109b: DUP1
0000109c: REVERT
0000109d: JUMPDEST
0000109e: POP
0000109f: GAS
000010a0: CALL
000010a1: ISZERO
000010a2: DUP1
000010a3: ISZERO
000010a4: PUSH2 0x10af
000010a7: JUMPI
000010a8: RETURNDATASIZE
000010a9: PUSH0
000010aa: DUP1
000010ab: RETURNDATACOPY
000010ac: RETURNDATASIZE
000010ad: PUSH0
000010ae: REVERT
000010af: JUMPDEST
000010b0: POP
000010b1: POP
000010b2: POP
000010b3: POP
000010b4: POP
000010b5: DUP3
000010b6: PUSH1 0x01
000010b8: PUSH1 0x01
000010ba: PUSH1 0xa0
000010bc: SHL
000010bd: SUB
000010be: AND
000010bf: PUSH32 0x000000000000000000000000e34c91815d7fc18a9e2148bcd4241d0a5848b693
000010e0: PUSH1 0x01
000010e2: PUSH1 0x01
000010e4: PUSH1 0xa0
000010e6: SHL
000010e7: SUB
000010e8: AND
000010e9: DUP10
000010ea: PUSH1 0x01
000010ec: PUSH1 0x01
000010ee: PUSH1 0xa0
000010f0: SHL
000010f1: SUB
000010f2: AND
000010f3: PUSH32 0x1a6c38816de45937fd5cd974f9694fe10e64163ba12a92abf0f4b6b23ad88672
00001114: DUP11
00001115: DUP11
00001116: DUP11
00001117: DUP8
00001118: PUSH1 0x40
0000111a: MLOAD
0000111b: PUSH2 0x1127
0000111e: SWAP5
0000111f: SWAP4
00001120: SWAP3
00001121: SWAP2
00001122: SWAP1
00001123: PUSH2 0x2463
00001126: JUMP
00001127: JUMPDEST
00001128: PUSH1 0x40
0000112a: MLOAD
0000112b: DUP1
0000112c: SWAP2
0000112d: SUB
0000112e: SWAP1
0000112f: LOG4
00001130: POP
00001131: POP
00001132: POP
00001133: PUSH2 0x049e
00001136: PUSH1 0x01
00001138: DUP1
00001139: SSTORE
0000113a: JUMP
0000113b: JUMPDEST
0000113c: PUSH1 0x02
0000113e: PUSH1 0x01
00001140: SLOAD
00001141: SUB
00001142: PUSH2 0x118d
00001145: JUMPI
00001146: PUSH1 0x40
00001148: MLOAD
00001149: PUSH3 0x461bcd
0000114d: PUSH1 0xe5
0000114f: SHL
00001150: DUP2
00001151: MSTORE
00001152: PUSH1 0x20
00001154: PUSH1 0x04
00001156: DUP3
00001157: ADD
00001158: MSTORE
00001159: PUSH1 0x1f
0000115b: PUSH1 0x24
0000115d: DUP3
0000115e: ADD
0000115f: MSTORE
00001160: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001181: PUSH1 0x44
00001183: DUP3
00001184: ADD
00001185: MSTORE
00001186: PUSH1 0x64
00001188: ADD
00001189: PUSH2 0x04fc
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x02
00001190: PUSH1 0x01
00001192: SSTORE
00001193: JUMP
00001194: JUMPDEST
00001195: CALLVALUE
00001196: ISZERO
00001197: PUSH2 0x11e2
0000119a: JUMPI
0000119b: PUSH1 0x40
0000119d: MLOAD
0000119e: PUSH3 0x461bcd
000011a2: PUSH1 0xe5
000011a4: SHL
000011a5: DUP2
000011a6: MSTORE
000011a7: PUSH1 0x20
000011a9: PUSH1 0x04
000011ab: DUP3
000011ac: ADD
000011ad: MSTORE
000011ae: PUSH1 0x11
000011b0: PUSH1 0x24
000011b2: DUP3
000011b3: ADD
000011b4: MSTORE
000011b5: PUSH32 0x6e6f6e7a65726f206d73672e76616c7565000000000000000000000000000000
000011d6: PUSH1 0x44
000011d8: DUP3
000011d9: ADD
000011da: MSTORE
000011db: PUSH1 0x64
000011dd: ADD
000011de: PUSH2 0x04fc
000011e1: JUMP
000011e2: JUMPDEST
000011e3: DUP1
000011e4: PUSH1 0xfb
000011e6: PUSH0
000011e7: DUP3
000011e8: DUP3
000011e9: SLOAD
000011ea: PUSH2 0x11f3
000011ed: SWAP2
000011ee: SWAP1
000011ef: PUSH2 0x249b
000011f2: JUMP
000011f3: JUMPDEST
000011f4: SWAP1
000011f5: SWAP2
000011f6: SSTORE
000011f7: POP
000011f8: POP
000011f9: POP
000011fa: POP
000011fb: POP
000011fc: JUMP
000011fd: JUMPDEST
000011fe: PUSH1 0x40
00001200: MLOAD
00001201: PUSH1 0x01
00001203: PUSH1 0x01
00001205: PUSH1 0xa0
00001207: SHL
00001208: SUB
00001209: DUP4
0000120a: AND
0000120b: PUSH1 0x24
0000120d: DUP3
0000120e: ADD
0000120f: MSTORE
00001210: PUSH1 0x44
00001212: DUP2
00001213: ADD
00001214: DUP3
00001215: SWAP1
00001216: MSTORE
00001217: PUSH2 0x0725
0000121a: SWAP1
0000121b: DUP5
0000121c: SWAP1
0000121d: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000123e: SWAP1
0000123f: PUSH1 0x64
00001241: ADD
00001242: JUMPDEST
00001243: PUSH1 0x40
00001245: DUP1
00001246: MLOAD
00001247: PUSH1 0x1f
00001249: NOT
0000124a: DUP2
0000124b: DUP5
0000124c: SUB
0000124d: ADD
0000124e: DUP2
0000124f: MSTORE
00001250: SWAP2
00001251: SWAP1
00001252: MSTORE
00001253: PUSH1 0x20
00001255: DUP2
00001256: ADD
00001257: DUP1
00001258: MLOAD
00001259: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001276: AND
00001277: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001298: SWAP1
00001299: SWAP4
0000129a: AND
0000129b: SWAP3
0000129c: SWAP1
0000129d: SWAP3
0000129e: OR
0000129f: SWAP1
000012a0: SWAP2
000012a1: MSTORE
000012a2: PUSH2 0x1978
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x01
000012a9: DUP1
000012aa: SSTORE
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH1 0x65
000012af: SLOAD
000012b0: PUSH1 0x01
000012b2: PUSH1 0x01
000012b4: PUSH1 0xa0
000012b6: SHL
000012b7: SUB
000012b8: AND
000012b9: CALLER
000012ba: EQ
000012bb: PUSH2 0x08bb
000012be: JUMPI
000012bf: PUSH1 0x40
000012c1: MLOAD
000012c2: PUSH3 0x461bcd
000012c6: PUSH1 0xe5
000012c8: SHL
000012c9: DUP2
000012ca: MSTORE
000012cb: PUSH1 0x20
000012cd: PUSH1 0x04
000012cf: DUP3
000012d0: ADD
000012d1: DUP2
000012d2: SWAP1
000012d3: MSTORE
000012d4: PUSH1 0x24
000012d6: DUP3
000012d7: ADD
000012d8: MSTORE
000012d9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000012fa: PUSH1 0x44
000012fc: DUP3
000012fd: ADD
000012fe: MSTORE
000012ff: PUSH1 0x64
00001301: ADD
00001302: PUSH2 0x04fc
00001305: JUMP
00001306: JUMPDEST
00001307: PUSH1 0x65
00001309: DUP1
0000130a: SLOAD
0000130b: PUSH1 0x01
0000130d: PUSH1 0x01
0000130f: PUSH1 0xa0
00001311: SHL
00001312: SUB
00001313: DUP4
00001314: DUP2
00001315: AND
00001316: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001337: DUP4
00001338: AND
00001339: DUP2
0000133a: OR
0000133b: SWAP1
0000133c: SWAP4
0000133d: SSTORE
0000133e: PUSH1 0x40
00001340: MLOAD
00001341: SWAP2
00001342: AND
00001343: SWAP2
00001344: SWAP1
00001345: DUP3
00001346: SWAP1
00001347: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001368: SWAP1
00001369: PUSH0
0000136a: SWAP1
0000136b: LOG3
0000136c: POP
0000136d: POP
0000136e: JUMP
0000136f: JUMPDEST
00001370: CALLVALUE
00001371: ISZERO
00001372: PUSH2 0x13bd
00001375: JUMPI
00001376: PUSH1 0x40
00001378: MLOAD
00001379: PUSH3 0x461bcd
0000137d: PUSH1 0xe5
0000137f: SHL
00001380: DUP2
00001381: MSTORE
00001382: PUSH1 0x20
00001384: PUSH1 0x04
00001386: DUP3
00001387: ADD
00001388: MSTORE
00001389: PUSH1 0x11
0000138b: PUSH1 0x24
0000138d: DUP3
0000138e: ADD
0000138f: MSTORE
00001390: PUSH32 0x6e6f6e7a65726f206d73672e76616c7565000000000000000000000000000000
000013b1: PUSH1 0x44
000013b3: DUP3
000013b4: ADD
000013b5: MSTORE
000013b6: PUSH1 0x64
000013b8: ADD
000013b9: PUSH2 0x04fc
000013bc: JUMP
000013bd: JUMPDEST
000013be: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000013df: PUSH1 0x01
000013e1: PUSH1 0x01
000013e3: PUSH1 0xa0
000013e5: SHL
000013e6: SUB
000013e7: AND
000013e8: DUP8
000013e9: PUSH1 0x01
000013eb: PUSH1 0x01
000013ed: PUSH1 0xa0
000013ef: SHL
000013f0: SUB
000013f1: AND
000013f2: EQ
000013f3: PUSH2 0x143e
000013f6: JUMPI
000013f7: PUSH1 0x40
000013f9: MLOAD
000013fa: PUSH3 0x461bcd
000013fe: PUSH1 0xe5
00001400: SHL
00001401: DUP2
00001402: MSTORE
00001403: PUSH1 0x20
00001405: PUSH1 0x04
00001407: DUP3
00001408: ADD
00001409: MSTORE
0000140a: PUSH1 0x11
0000140c: PUSH1 0x24
0000140e: DUP3
0000140f: ADD
00001410: MSTORE
00001411: PUSH32 0x6c3120746f6b656e206e6f742055534443000000000000000000000000000000
00001432: PUSH1 0x44
00001434: DUP3
00001435: ADD
00001436: MSTORE
00001437: PUSH1 0x64
00001439: ADD
0000143a: PUSH2 0x04fc
0000143d: JUMP
0000143e: JUMPDEST
0000143f: PUSH32 0x000000000000000000000000e34c91815d7fc18a9e2148bcd4241d0a5848b693
00001460: PUSH1 0x01
00001462: PUSH1 0x01
00001464: PUSH1 0xa0
00001466: SHL
00001467: SUB
00001468: AND
00001469: DUP7
0000146a: PUSH1 0x01
0000146c: PUSH1 0x01
0000146e: PUSH1 0xa0
00001470: SHL
00001471: SUB
00001472: AND
00001473: EQ
00001474: PUSH2 0x14bf
00001477: JUMPI
00001478: PUSH1 0x40
0000147a: MLOAD
0000147b: PUSH3 0x461bcd
0000147f: PUSH1 0xe5
00001481: SHL
00001482: DUP2
00001483: MSTORE
00001484: PUSH1 0x20
00001486: PUSH1 0x04
00001488: DUP3
00001489: ADD
0000148a: MSTORE
0000148b: PUSH1 0x11
0000148d: PUSH1 0x24
0000148f: DUP3
00001490: ADD
00001491: MSTORE
00001492: PUSH32 0x6c3220746f6b656e206e6f742055534443000000000000000000000000000000
000014b3: PUSH1 0x44
000014b5: DUP3
000014b6: ADD
000014b7: MSTORE
000014b8: PUSH1 0x64
000014ba: ADD
000014bb: PUSH2 0x04fc
000014be: JUMP
000014bf: JUMPDEST
000014c0: PUSH1 0xfa
000014c2: SLOAD
000014c3: PUSH22 0x01000000000000000000000000000000000000000000
000014da: SWAP1
000014db: DIV
000014dc: PUSH1 0xff
000014de: AND
000014df: ISZERO
000014e0: PUSH2 0x152b
000014e3: JUMPI
000014e4: PUSH1 0x40
000014e6: MLOAD
000014e7: PUSH3 0x461bcd
000014eb: PUSH1 0xe5
000014ed: SHL
000014ee: DUP2
000014ef: MSTORE
000014f0: PUSH1 0x20
000014f2: PUSH1 0x04
000014f4: DUP3
000014f5: ADD
000014f6: MSTORE
000014f7: PUSH1 0x0f
000014f9: PUSH1 0x24
000014fb: DUP3
000014fc: ADD
000014fd: MSTORE
000014fe: PUSH32 0x7769746864726177207061757365640000000000000000000000000000000000
0000151f: PUSH1 0x44
00001521: DUP3
00001522: ADD
00001523: MSTORE
00001524: PUSH1 0x64
00001526: ADD
00001527: PUSH2 0x04fc
0000152a: JUMP
0000152b: JUMPDEST
0000152c: DUP3
0000152d: PUSH1 0xfb
0000152f: PUSH0
00001530: DUP3
00001531: DUP3
00001532: SLOAD
00001533: PUSH2 0x153c
00001536: SWAP2
00001537: SWAP1
00001538: PUSH2 0x249b
0000153b: JUMP
0000153c: JUMPDEST
0000153d: SWAP1
0000153e: SWAP2
0000153f: SSTORE
00001540: POP
00001541: POP
00001542: POP
00001543: POP
00001544: POP
00001545: POP
00001546: POP
00001547: POP
00001548: POP
00001549: JUMP
0000154a: JUMPDEST
0000154b: PUSH0
0000154c: DUP2
0000154d: MLOAD
0000154e: GT
0000154f: DUP1
00001550: ISZERO
00001551: PUSH2 0x1563
00001554: JUMPI
00001555: POP
00001556: PUSH0
00001557: DUP3
00001558: PUSH1 0x01
0000155a: PUSH1 0x01
0000155c: PUSH1 0xa0
0000155e: SHL
0000155f: SUB
00001560: AND
00001561: EXTCODESIZE
00001562: GT
00001563: JUMPDEST
00001564: ISZERO
00001565: PUSH2 0x15db
00001568: JUMPI
00001569: PUSH1 0x40
0000156b: MLOAD
0000156c: PUSH32 0x444b281f00000000000000000000000000000000000000000000000000000000
0000158d: DUP2
0000158e: MSTORE
0000158f: PUSH1 0x01
00001591: PUSH1 0x01
00001593: PUSH1 0xa0
00001595: SHL
00001596: SUB
00001597: DUP4
00001598: AND
00001599: SWAP1
0000159a: PUSH4 0x444b281f
0000159f: SWAP1
000015a0: PUSH2 0x15ad
000015a3: SWAP1
000015a4: DUP5
000015a5: SWAP1
000015a6: PUSH1 0x04
000015a8: ADD
000015a9: PUSH2 0x24ae
000015ac: JUMP
000015ad: JUMPDEST
000015ae: PUSH0
000015af: PUSH1 0x40
000015b1: MLOAD
000015b2: DUP1
000015b3: DUP4
000015b4: SUB
000015b5: DUP2
000015b6: PUSH0
000015b7: DUP8
000015b8: DUP1
000015b9: EXTCODESIZE
000015ba: ISZERO
000015bb: DUP1
000015bc: ISZERO
000015bd: PUSH2 0x15c4
000015c0: JUMPI
000015c1: PUSH0
000015c2: DUP1
000015c3: REVERT
000015c4: JUMPDEST
000015c5: POP
000015c6: GAS
000015c7: CALL
000015c8: ISZERO
000015c9: DUP1
000015ca: ISZERO
000015cb: PUSH2 0x15d6
000015ce: JUMPI
000015cf: RETURNDATASIZE
000015d0: PUSH0
000015d1: DUP1
000015d2: RETURNDATACOPY
000015d3: RETURNDATASIZE
000015d4: PUSH0
000015d5: REVERT
000015d6: JUMPDEST
000015d7: POP
000015d8: POP
000015d9: POP
000015da: POP
000015db: JUMPDEST
000015dc: POP
000015dd: POP
000015de: JUMP
000015df: JUMPDEST
000015e0: PUSH1 0x01
000015e2: PUSH1 0x01
000015e4: PUSH1 0xa0
000015e6: SHL
000015e7: SUB
000015e8: DUP4
000015e9: AND
000015ea: PUSH2 0x1635
000015ed: JUMPI
000015ee: PUSH1 0x40
000015f0: MLOAD
000015f1: PUSH3 0x461bcd
000015f5: PUSH1 0xe5
000015f7: SHL
000015f8: DUP2
000015f9: MSTORE
000015fa: PUSH1 0x20
000015fc: PUSH1 0x04
000015fe: DUP3
000015ff: ADD
00001600: MSTORE
00001601: PUSH1 0x18
00001603: PUSH1 0x24
00001605: DUP3
00001606: ADD
00001607: MSTORE
00001608: PUSH32 0x7a65726f20636f756e7465727061727420616464726573730000000000000000
00001629: PUSH1 0x44
0000162b: DUP3
0000162c: ADD
0000162d: MSTORE
0000162e: PUSH1 0x64
00001630: ADD
00001631: PUSH2 0x04fc
00001634: JUMP
00001635: JUMPDEST
00001636: PUSH1 0x01
00001638: PUSH1 0x01
0000163a: PUSH1 0xa0
0000163c: SHL
0000163d: SUB
0000163e: DUP2
0000163f: AND
00001640: PUSH2 0x168b
00001643: JUMPI
00001644: PUSH1 0x40
00001646: MLOAD
00001647: PUSH3 0x461bcd
0000164b: PUSH1 0xe5
0000164d: SHL
0000164e: DUP2
0000164f: MSTORE
00001650: PUSH1 0x20
00001652: PUSH1 0x04
00001654: DUP3
00001655: ADD
00001656: MSTORE
00001657: PUSH1 0x16
00001659: PUSH1 0x24
0000165b: DUP3
0000165c: ADD
0000165d: MSTORE
0000165e: PUSH32 0x7a65726f206d657373656e676572206164647265737300000000000000000000
0000167f: PUSH1 0x44
00001681: DUP3
00001682: ADD
00001683: MSTORE
00001684: PUSH1 0x64
00001686: ADD
00001687: PUSH2 0x04fc
0000168a: JUMP
0000168b: JUMPDEST
0000168c: PUSH2 0x1693
0000168f: PUSH2 0x1a5e
00001692: JUMP
00001693: JUMPDEST
00001694: PUSH2 0x169b
00001697: PUSH2 0x1ae2
0000169a: JUMP
0000169b: JUMPDEST
0000169c: PUSH1 0x97
0000169e: DUP1
0000169f: SLOAD
000016a0: PUSH1 0x01
000016a2: PUSH1 0x01
000016a4: PUSH1 0xa0
000016a6: SHL
000016a7: SUB
000016a8: DUP1
000016a9: DUP7
000016aa: AND
000016ab: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000016cc: SWAP3
000016cd: DUP4
000016ce: AND
000016cf: OR
000016d0: SWAP1
000016d1: SWAP3
000016d2: SSTORE
000016d3: PUSH1 0x99
000016d5: DUP1
000016d6: SLOAD
000016d7: DUP5
000016d8: DUP5
000016d9: AND
000016da: SWAP3
000016db: AND
000016dc: SWAP2
000016dd: SWAP1
000016de: SWAP2
000016df: OR
000016e0: SWAP1
000016e1: SSTORE
000016e2: DUP3
000016e3: AND
000016e4: ISZERO
000016e5: PUSH2 0x0725
000016e8: JUMPI
000016e9: PUSH1 0x98
000016eb: DUP1
000016ec: SLOAD
000016ed: PUSH1 0x01
000016ef: PUSH1 0x01
000016f1: PUSH1 0xa0
000016f3: SHL
000016f4: SUB
000016f5: DUP5
000016f6: AND
000016f7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001718: SWAP1
00001719: SWAP2
0000171a: AND
0000171b: OR
0000171c: SWAP1
0000171d: SSTORE
0000171e: POP
0000171f: POP
00001720: POP
00001721: JUMP
00001722: JUMPDEST
00001723: PUSH1 0x98
00001725: SLOAD
00001726: PUSH0
00001727: SWAP1
00001728: DUP2
00001729: SWAP1
0000172a: PUSH1 0x60
0000172c: SWAP1
0000172d: CALLER
0000172e: SWAP1
0000172f: DUP2
00001730: SWAP1
00001731: PUSH1 0x01
00001733: PUSH1 0x01
00001735: PUSH1 0xa0
00001737: SHL
00001738: SUB
00001739: AND
0000173a: DUP2
0000173b: SWAP1
0000173c: SUB
0000173d: PUSH2 0x17f2
00001740: JUMPI
00001741: DUP6
00001742: DUP1
00001743: PUSH1 0x20
00001745: ADD
00001746: SWAP1
00001747: MLOAD
00001748: DUP2
00001749: ADD
0000174a: SWAP1
0000174b: PUSH2 0x1754
0000174e: SWAP2
0000174f: SWAP1
00001750: PUSH2 0x24c0
00001753: JUMP
00001754: JUMPDEST
00001755: PUSH1 0x40
00001757: MLOAD
00001758: PUSH32 0xc52a3bbc00000000000000000000000000000000000000000000000000000000
00001779: DUP2
0000177a: MSTORE
0000177b: PUSH1 0x01
0000177d: PUSH1 0x01
0000177f: PUSH1 0xa0
00001781: SHL
00001782: SUB
00001783: DUP1
00001784: DUP5
00001785: AND
00001786: PUSH1 0x04
00001788: DUP4
00001789: ADD
0000178a: MSTORE
0000178b: DUP12
0000178c: DUP2
0000178d: AND
0000178e: PUSH1 0x24
00001790: DUP4
00001791: ADD
00001792: MSTORE
00001793: PUSH1 0x44
00001795: DUP3
00001796: ADD
00001797: DUP12
00001798: SWAP1
00001799: MSTORE
0000179a: SWAP2
0000179b: SWAP9
0000179c: POP
0000179d: SWAP2
0000179e: SWAP3
0000179f: POP
000017a0: DUP4
000017a1: AND
000017a2: SWAP1
000017a3: PUSH4 0xc52a3bbc
000017a8: SWAP1
000017a9: PUSH1 0x64
000017ab: ADD
000017ac: PUSH1 0x20
000017ae: PUSH1 0x40
000017b0: MLOAD
000017b1: DUP1
000017b2: DUP4
000017b3: SUB
000017b4: DUP2
000017b5: PUSH0
000017b6: DUP8
000017b7: GAS
000017b8: CALL
000017b9: ISZERO
000017ba: DUP1
000017bb: ISZERO
000017bc: PUSH2 0x17c7
000017bf: JUMPI
000017c0: RETURNDATASIZE
000017c1: PUSH0
000017c2: DUP1
000017c3: RETURNDATACOPY
000017c4: RETURNDATASIZE
000017c5: PUSH0
000017c6: REVERT
000017c7: JUMPDEST
000017c8: POP
000017c9: POP
000017ca: POP
000017cb: POP
000017cc: PUSH1 0x40
000017ce: MLOAD
000017cf: RETURNDATASIZE
000017d0: PUSH1 0x1f
000017d2: NOT
000017d3: PUSH1 0x1f
000017d5: DUP3
000017d6: ADD
000017d7: AND
000017d8: DUP3
000017d9: ADD
000017da: DUP1
000017db: PUSH1 0x40
000017dd: MSTORE
000017de: POP
000017df: DUP2
000017e0: ADD
000017e1: SWAP1
000017e2: PUSH2 0x17eb
000017e5: SWAP2
000017e6: SWAP1
000017e7: PUSH2 0x240a
000017ea: JUMP
000017eb: JUMPDEST
000017ec: SWAP7
000017ed: POP
000017ee: PUSH2 0x191c
000017f1: JUMP
000017f2: JUMPDEST
000017f3: PUSH1 0x40
000017f5: MLOAD
000017f6: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001817: DUP2
00001818: MSTORE
00001819: ADDRESS
0000181a: PUSH1 0x04
0000181c: DUP3
0000181d: ADD
0000181e: MSTORE
0000181f: PUSH0
00001820: SWAP1
00001821: PUSH1 0x01
00001823: PUSH1 0x01
00001825: PUSH1 0xa0
00001827: SHL
00001828: SUB
00001829: DUP11
0000182a: AND
0000182b: SWAP1
0000182c: PUSH4 0x70a08231
00001831: SWAP1
00001832: PUSH1 0x24
00001834: ADD
00001835: PUSH1 0x20
00001837: PUSH1 0x40
00001839: MLOAD
0000183a: DUP1
0000183b: DUP4
0000183c: SUB
0000183d: DUP2
0000183e: DUP7
0000183f: GAS
00001840: STATICCALL
00001841: ISZERO
00001842: DUP1
00001843: ISZERO
00001844: PUSH2 0x184f
00001847: JUMPI
00001848: RETURNDATASIZE
00001849: PUSH0
0000184a: DUP1
0000184b: RETURNDATACOPY
0000184c: RETURNDATASIZE
0000184d: PUSH0
0000184e: REVERT
0000184f: JUMPDEST
00001850: POP
00001851: POP
00001852: POP
00001853: POP
00001854: PUSH1 0x40
00001856: MLOAD
00001857: RETURNDATASIZE
00001858: PUSH1 0x1f
0000185a: NOT
0000185b: PUSH1 0x1f
0000185d: DUP3
0000185e: ADD
0000185f: AND
00001860: DUP3
00001861: ADD
00001862: DUP1
00001863: PUSH1 0x40
00001865: MSTORE
00001866: POP
00001867: DUP2
00001868: ADD
00001869: SWAP1
0000186a: PUSH2 0x1873
0000186d: SWAP2
0000186e: SWAP1
0000186f: PUSH2 0x240a
00001872: JUMP
00001873: JUMPDEST
00001874: SWAP1
00001875: POP
00001876: PUSH2 0x188a
00001879: PUSH1 0x01
0000187b: PUSH1 0x01
0000187d: PUSH1 0xa0
0000187f: SHL
00001880: SUB
00001881: DUP11
00001882: AND
00001883: DUP4
00001884: ADDRESS
00001885: DUP12
00001886: PUSH2 0x1b66
00001889: JUMP
0000188a: JUMPDEST
0000188b: PUSH1 0x40
0000188d: MLOAD
0000188e: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000018af: DUP2
000018b0: MSTORE
000018b1: ADDRESS
000018b2: PUSH1 0x04
000018b4: DUP3
000018b5: ADD
000018b6: MSTORE
000018b7: PUSH0
000018b8: SWAP1
000018b9: PUSH1 0x01
000018bb: PUSH1 0x01
000018bd: PUSH1 0xa0
000018bf: SHL
000018c0: SUB
000018c1: DUP12
000018c2: AND
000018c3: SWAP1
000018c4: PUSH4 0x70a08231
000018c9: SWAP1
000018ca: PUSH1 0x24
000018cc: ADD
000018cd: PUSH1 0x20
000018cf: PUSH1 0x40
000018d1: MLOAD
000018d2: DUP1
000018d3: DUP4
000018d4: SUB
000018d5: DUP2
000018d6: DUP7
000018d7: GAS
000018d8: STATICCALL
000018d9: ISZERO
000018da: DUP1
000018db: ISZERO
000018dc: PUSH2 0x18e7
000018df: JUMPI
000018e0: RETURNDATASIZE
000018e1: PUSH0
000018e2: DUP1
000018e3: RETURNDATACOPY
000018e4: RETURNDATASIZE
000018e5: PUSH0
000018e6: REVERT
000018e7: JUMPDEST
000018e8: POP
000018e9: POP
000018ea: POP
000018eb: POP
000018ec: PUSH1 0x40
000018ee: MLOAD
000018ef: RETURNDATASIZE
000018f0: PUSH1 0x1f
000018f2: NOT
000018f3: PUSH1 0x1f
000018f5: DUP3
000018f6: ADD
000018f7: AND
000018f8: DUP3
000018f9: ADD
000018fa: DUP1
000018fb: PUSH1 0x40
000018fd: MSTORE
000018fe: POP
000018ff: DUP2
00001900: ADD
00001901: SWAP1
00001902: PUSH2 0x190b
00001905: SWAP2
00001906: SWAP1
00001907: PUSH2 0x240a
0000190a: JUMP
0000190b: JUMPDEST
0000190c: SWAP1
0000190d: POP
0000190e: PUSH2 0x1917
00001911: DUP3
00001912: DUP3
00001913: PUSH2 0x249b
00001916: JUMP
00001917: JUMPDEST
00001918: SWAP9
00001919: POP
0000191a: POP
0000191b: POP
0000191c: JUMPDEST
0000191d: PUSH0
0000191e: DUP8
0000191f: GT
00001920: PUSH2 0x196b
00001923: JUMPI
00001924: PUSH1 0x40
00001926: MLOAD
00001927: PUSH3 0x461bcd
0000192b: PUSH1 0xe5
0000192d: SHL
0000192e: DUP2
0000192f: MSTORE
00001930: PUSH1 0x20
00001932: PUSH1 0x04
00001934: DUP3
00001935: ADD
00001936: MSTORE
00001937: PUSH1 0x13
00001939: PUSH1 0x24
0000193b: DUP3
0000193c: ADD
0000193d: MSTORE
0000193e: PUSH32 0x6465706f736974207a65726f20616d6f756e7400000000000000000000000000
0000195f: PUSH1 0x44
00001961: DUP3
00001962: ADD
00001963: MSTORE
00001964: PUSH1 0x64
00001966: ADD
00001967: PUSH2 0x04fc
0000196a: JUMP
0000196b: JUMPDEST
0000196c: SWAP8
0000196d: SWAP6
0000196e: SWAP7
0000196f: POP
00001970: SWAP4
00001971: SWAP5
00001972: SWAP4
00001973: POP
00001974: POP
00001975: POP
00001976: POP
00001977: JUMP
00001978: JUMPDEST
00001979: PUSH0
0000197a: PUSH2 0x19cc
0000197d: DUP3
0000197e: PUSH1 0x40
00001980: MLOAD
00001981: DUP1
00001982: PUSH1 0x40
00001984: ADD
00001985: PUSH1 0x40
00001987: MSTORE
00001988: DUP1
00001989: PUSH1 0x20
0000198b: DUP2
0000198c: MSTORE
0000198d: PUSH1 0x20
0000198f: ADD
00001990: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000019b1: DUP2
000019b2: MSTORE
000019b3: POP
000019b4: DUP6
000019b5: PUSH1 0x01
000019b7: PUSH1 0x01
000019b9: PUSH1 0xa0
000019bb: SHL
000019bc: SUB
000019bd: AND
000019be: PUSH2 0x1bb7
000019c1: SWAP1
000019c2: SWAP3
000019c3: SWAP2
000019c4: SWAP1
000019c5: PUSH4 0xffffffff
000019ca: AND
000019cb: JUMP
000019cc: JUMPDEST
000019cd: SWAP1
000019ce: POP
000019cf: DUP1
000019d0: MLOAD
000019d1: PUSH0
000019d2: EQ
000019d3: DUP1
000019d4: PUSH2 0x19ec
000019d7: JUMPI
000019d8: POP
000019d9: DUP1
000019da: DUP1
000019db: PUSH1 0x20
000019dd: ADD
000019de: SWAP1
000019df: MLOAD
000019e0: DUP2
000019e1: ADD
000019e2: SWAP1
000019e3: PUSH2 0x19ec
000019e6: SWAP2
000019e7: SWAP1
000019e8: PUSH2 0x2548
000019eb: JUMP
000019ec: JUMPDEST
000019ed: PUSH2 0x0725
000019f0: JUMPI
000019f1: PUSH1 0x40
000019f3: MLOAD
000019f4: PUSH3 0x461bcd
000019f8: PUSH1 0xe5
000019fa: SHL
000019fb: DUP2
000019fc: MSTORE
000019fd: PUSH1 0x20
000019ff: PUSH1 0x04
00001a01: DUP3
00001a02: ADD
00001a03: MSTORE
00001a04: PUSH1 0x2a
00001a06: PUSH1 0x24
00001a08: DUP3
00001a09: ADD
00001a0a: MSTORE
00001a0b: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001a2c: PUSH1 0x44
00001a2e: DUP3
00001a2f: ADD
00001a30: MSTORE
00001a31: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00001a52: PUSH1 0x64
00001a54: DUP3
00001a55: ADD
00001a56: MSTORE
00001a57: PUSH1 0x84
00001a59: ADD
00001a5a: PUSH2 0x04fc
00001a5d: JUMP
00001a5e: JUMPDEST
00001a5f: PUSH0
00001a60: SLOAD
00001a61: PUSH2 0x0100
00001a64: SWAP1
00001a65: DIV
00001a66: PUSH1 0xff
00001a68: AND
00001a69: PUSH2 0x1ada
00001a6c: JUMPI
00001a6d: PUSH1 0x40
00001a6f: MLOAD
00001a70: PUSH3 0x461bcd
00001a74: PUSH1 0xe5
00001a76: SHL
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x20
00001a7b: PUSH1 0x04
00001a7d: DUP3
00001a7e: ADD
00001a7f: MSTORE
00001a80: PUSH1 0x2b
00001a82: PUSH1 0x24
00001a84: DUP3
00001a85: ADD
00001a86: MSTORE
00001a87: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001aa8: PUSH1 0x44
00001aaa: DUP3
00001aab: ADD
00001aac: MSTORE
00001aad: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00001ace: PUSH1 0x64
00001ad0: DUP3
00001ad1: ADD
00001ad2: MSTORE
00001ad3: PUSH1 0x84
00001ad5: ADD
00001ad6: PUSH2 0x04fc
00001ad9: JUMP
00001ada: JUMPDEST
00001adb: PUSH2 0x08bb
00001ade: PUSH2 0x1bcd
00001ae1: JUMP
00001ae2: JUMPDEST
00001ae3: PUSH0
00001ae4: SLOAD
00001ae5: PUSH2 0x0100
00001ae8: SWAP1
00001ae9: DIV
00001aea: PUSH1 0xff
00001aec: AND
00001aed: PUSH2 0x1b5e
00001af0: JUMPI
00001af1: PUSH1 0x40
00001af3: MLOAD
00001af4: PUSH3 0x461bcd
00001af8: PUSH1 0xe5
00001afa: SHL
00001afb: DUP2
00001afc: MSTORE
00001afd: PUSH1 0x20
00001aff: PUSH1 0x04
00001b01: DUP3
00001b02: ADD
00001b03: MSTORE
00001b04: PUSH1 0x2b
00001b06: PUSH1 0x24
00001b08: DUP3
00001b09: ADD
00001b0a: MSTORE
00001b0b: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001b2c: PUSH1 0x44
00001b2e: DUP3
00001b2f: ADD
00001b30: MSTORE
00001b31: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00001b52: PUSH1 0x64
00001b54: DUP3
00001b55: ADD
00001b56: MSTORE
00001b57: PUSH1 0x84
00001b59: ADD
00001b5a: PUSH2 0x04fc
00001b5d: JUMP
00001b5e: JUMPDEST
00001b5f: PUSH2 0x08bb
00001b62: PUSH2 0x1c49
00001b65: JUMP
00001b66: JUMPDEST
00001b67: PUSH1 0x40
00001b69: MLOAD
00001b6a: PUSH1 0x01
00001b6c: PUSH1 0x01
00001b6e: PUSH1 0xa0
00001b70: SHL
00001b71: SUB
00001b72: DUP1
00001b73: DUP6
00001b74: AND
00001b75: PUSH1 0x24
00001b77: DUP4
00001b78: ADD
00001b79: MSTORE
00001b7a: DUP4
00001b7b: AND
00001b7c: PUSH1 0x44
00001b7e: DUP3
00001b7f: ADD
00001b80: MSTORE
00001b81: PUSH1 0x64
00001b83: DUP2
00001b84: ADD
00001b85: DUP3
00001b86: SWAP1
00001b87: MSTORE
00001b88: PUSH2 0x0c1f
00001b8b: SWAP1
00001b8c: DUP6
00001b8d: SWAP1
00001b8e: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001baf: SWAP1
00001bb0: PUSH1 0x84
00001bb2: ADD
00001bb3: PUSH2 0x1242
00001bb6: JUMP
00001bb7: JUMPDEST
00001bb8: PUSH1 0x60
00001bba: PUSH2 0x1bc5
00001bbd: DUP5
00001bbe: DUP5
00001bbf: PUSH0
00001bc0: DUP6
00001bc1: PUSH2 0x1cce
00001bc4: JUMP
00001bc5: JUMPDEST
00001bc6: SWAP5
00001bc7: SWAP4
00001bc8: POP
00001bc9: POP
00001bca: POP
00001bcb: POP
00001bcc: JUMP
00001bcd: JUMPDEST
00001bce: PUSH0
00001bcf: SLOAD
00001bd0: PUSH2 0x0100
00001bd3: SWAP1
00001bd4: DIV
00001bd5: PUSH1 0xff
00001bd7: AND
00001bd8: PUSH2 0x12a6
00001bdb: JUMPI
00001bdc: PUSH1 0x40
00001bde: MLOAD
00001bdf: PUSH3 0x461bcd
00001be3: PUSH1 0xe5
00001be5: SHL
00001be6: DUP2
00001be7: MSTORE
00001be8: PUSH1 0x20
00001bea: PUSH1 0x04
00001bec: DUP3
00001bed: ADD
00001bee: MSTORE
00001bef: PUSH1 0x2b
00001bf1: PUSH1 0x24
00001bf3: DUP3
00001bf4: ADD
00001bf5: MSTORE
00001bf6: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001c17: PUSH1 0x44
00001c19: DUP3
00001c1a: ADD
00001c1b: MSTORE
00001c1c: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00001c3d: PUSH1 0x64
00001c3f: DUP3
00001c40: ADD
00001c41: MSTORE
00001c42: PUSH1 0x84
00001c44: ADD
00001c45: PUSH2 0x04fc
00001c48: JUMP
00001c49: JUMPDEST
00001c4a: PUSH0
00001c4b: SLOAD
00001c4c: PUSH2 0x0100
00001c4f: SWAP1
00001c50: DIV
00001c51: PUSH1 0xff
00001c53: AND
00001c54: PUSH2 0x1cc5
00001c57: JUMPI
00001c58: PUSH1 0x40
00001c5a: MLOAD
00001c5b: PUSH3 0x461bcd
00001c5f: PUSH1 0xe5
00001c61: SHL
00001c62: DUP2
00001c63: MSTORE
00001c64: PUSH1 0x20
00001c66: PUSH1 0x04
00001c68: DUP3
00001c69: ADD
00001c6a: MSTORE
00001c6b: PUSH1 0x2b
00001c6d: PUSH1 0x24
00001c6f: DUP3
00001c70: ADD
00001c71: MSTORE
00001c72: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001c93: PUSH1 0x44
00001c95: DUP3
00001c96: ADD
00001c97: MSTORE
00001c98: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00001cb9: PUSH1 0x64
00001cbb: DUP3
00001cbc: ADD
00001cbd: MSTORE
00001cbe: PUSH1 0x84
00001cc0: ADD
00001cc1: PUSH2 0x04fc
00001cc4: JUMP
00001cc5: JUMPDEST
00001cc6: PUSH2 0x08bb
00001cc9: CALLER
00001cca: PUSH2 0x1306
00001ccd: JUMP
00001cce: JUMPDEST
00001ccf: PUSH1 0x60
00001cd1: DUP3
00001cd2: SELFBALANCE
00001cd3: LT
00001cd4: ISZERO
00001cd5: PUSH2 0x1d46
00001cd8: JUMPI
00001cd9: PUSH1 0x40
00001cdb: MLOAD
00001cdc: PUSH3 0x461bcd
00001ce0: PUSH1 0xe5
00001ce2: SHL
00001ce3: DUP2
00001ce4: MSTORE
00001ce5: PUSH1 0x20
00001ce7: PUSH1 0x04
00001ce9: DUP3
00001cea: ADD
00001ceb: MSTORE
00001cec: PUSH1 0x26
00001cee: PUSH1 0x24
00001cf0: DUP3
00001cf1: ADD
00001cf2: MSTORE
00001cf3: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001d14: PUSH1 0x44
00001d16: DUP3
00001d17: ADD
00001d18: MSTORE
00001d19: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00001d3a: PUSH1 0x64
00001d3c: DUP3
00001d3d: ADD
00001d3e: MSTORE
00001d3f: PUSH1 0x84
00001d41: ADD
00001d42: PUSH2 0x04fc
00001d45: JUMP
00001d46: JUMPDEST
00001d47: PUSH0
00001d48: DUP1
00001d49: DUP7
00001d4a: PUSH1 0x01
00001d4c: PUSH1 0x01
00001d4e: PUSH1 0xa0
00001d50: SHL
00001d51: SUB
00001d52: AND
00001d53: DUP6
00001d54: DUP8
00001d55: PUSH1 0x40
00001d57: MLOAD
00001d58: PUSH2 0x1d61
00001d5b: SWAP2
00001d5c: SWAP1
00001d5d: PUSH2 0x2563
00001d60: JUMP
00001d61: JUMPDEST
00001d62: PUSH0
00001d63: PUSH1 0x40
00001d65: MLOAD
00001d66: DUP1
00001d67: DUP4
00001d68: SUB
00001d69: DUP2
00001d6a: DUP6
00001d6b: DUP8
00001d6c: GAS
00001d6d: CALL
00001d6e: SWAP3
00001d6f: POP
00001d70: POP
00001d71: POP
00001d72: RETURNDATASIZE
00001d73: DUP1
00001d74: PUSH0
00001d75: DUP2
00001d76: EQ
00001d77: PUSH2 0x1d9b
00001d7a: JUMPI
00001d7b: PUSH1 0x40
00001d7d: MLOAD
00001d7e: SWAP2
00001d7f: POP
00001d80: PUSH1 0x1f
00001d82: NOT
00001d83: PUSH1 0x3f
00001d85: RETURNDATASIZE
00001d86: ADD
00001d87: AND
00001d88: DUP3
00001d89: ADD
00001d8a: PUSH1 0x40
00001d8c: MSTORE
00001d8d: RETURNDATASIZE
00001d8e: DUP3
00001d8f: MSTORE
00001d90: RETURNDATASIZE
00001d91: PUSH0
00001d92: PUSH1 0x20
00001d94: DUP5
00001d95: ADD
00001d96: RETURNDATACOPY
00001d97: PUSH2 0x1da0
00001d9a: JUMP
00001d9b: JUMPDEST
00001d9c: PUSH1 0x60
00001d9e: SWAP2
00001d9f: POP
00001da0: JUMPDEST
00001da1: POP
00001da2: SWAP2
00001da3: POP
00001da4: SWAP2
00001da5: POP
00001da6: PUSH2 0x1db1
00001da9: DUP8
00001daa: DUP4
00001dab: DUP4
00001dac: DUP8
00001dad: PUSH2 0x1dbc
00001db0: JUMP
00001db1: JUMPDEST
00001db2: SWAP8
00001db3: SWAP7
00001db4: POP
00001db5: POP
00001db6: POP
00001db7: POP
00001db8: POP
00001db9: POP
00001dba: POP
00001dbb: JUMP
00001dbc: JUMPDEST
00001dbd: PUSH1 0x60
00001dbf: DUP4
00001dc0: ISZERO
00001dc1: PUSH2 0x1e2a
00001dc4: JUMPI
00001dc5: DUP3
00001dc6: MLOAD
00001dc7: PUSH0
00001dc8: SUB
00001dc9: PUSH2 0x1e23
00001dcc: JUMPI
00001dcd: PUSH1 0x01
00001dcf: PUSH1 0x01
00001dd1: PUSH1 0xa0
00001dd3: SHL
00001dd4: SUB
00001dd5: DUP6
00001dd6: AND
00001dd7: EXTCODESIZE
00001dd8: PUSH2 0x1e23
00001ddb: JUMPI
00001ddc: PUSH1 0x40
00001dde: MLOAD
00001ddf: PUSH3 0x461bcd
00001de3: PUSH1 0xe5
00001de5: SHL
00001de6: DUP2
00001de7: MSTORE
00001de8: PUSH1 0x20
00001dea: PUSH1 0x04
00001dec: DUP3
00001ded: ADD
00001dee: MSTORE
00001def: PUSH1 0x1d
00001df1: PUSH1 0x24
00001df3: DUP3
00001df4: ADD
00001df5: MSTORE
00001df6: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001e17: PUSH1 0x44
00001e19: DUP3
00001e1a: ADD
00001e1b: MSTORE
00001e1c: PUSH1 0x64
00001e1e: ADD
00001e1f: PUSH2 0x04fc
00001e22: JUMP
00001e23: JUMPDEST
00001e24: POP
00001e25: DUP2
00001e26: PUSH2 0x1bc5
00001e29: JUMP
00001e2a: JUMPDEST
00001e2b: PUSH2 0x1bc5
00001e2e: DUP4
00001e2f: DUP4
00001e30: DUP2
00001e31: MLOAD
00001e32: ISZERO
00001e33: PUSH2 0x1e3f
00001e36: JUMPI
00001e37: DUP2
00001e38: MLOAD
00001e39: DUP1
00001e3a: DUP4
00001e3b: PUSH1 0x20
00001e3d: ADD
00001e3e: REVERT
00001e3f: JUMPDEST
00001e40: DUP1
00001e41: PUSH1 0x40
00001e43: MLOAD
00001e44: PUSH3 0x461bcd
00001e48: PUSH1 0xe5
00001e4a: SHL
00001e4b: DUP2
00001e4c: MSTORE
00001e4d: PUSH1 0x04
00001e4f: ADD
00001e50: PUSH2 0x04fc
00001e53: SWAP2
00001e54: SWAP1
00001e55: PUSH2 0x24ae
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: PUSH1 0x01
00001e5c: PUSH1 0x01
00001e5e: PUSH1 0xa0
00001e60: SHL
00001e61: SUB
00001e62: DUP2
00001e63: AND
00001e64: DUP2
00001e65: EQ
00001e66: PUSH2 0x0d53
00001e69: JUMPI
00001e6a: PUSH0
00001e6b: DUP1
00001e6c: REVERT
00001e6d: JUMPDEST
00001e6e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001e8f: PUSH0
00001e90: MSTORE
00001e91: PUSH1 0x41
00001e93: PUSH1 0x04
00001e95: MSTORE
00001e96: PUSH1 0x24
00001e98: PUSH0
00001e99: REVERT
00001e9a: JUMPDEST
00001e9b: PUSH1 0x40
00001e9d: MLOAD
00001e9e: PUSH1 0x1f
00001ea0: DUP3
00001ea1: ADD
00001ea2: PUSH1 0x1f
00001ea4: NOT
00001ea5: AND
00001ea6: DUP2
00001ea7: ADD
00001ea8: PUSH8 0xffffffffffffffff
00001eb1: DUP2
00001eb2: GT
00001eb3: DUP3
00001eb4: DUP3
00001eb5: LT
00001eb6: OR
00001eb7: ISZERO
00001eb8: PUSH2 0x1ec3
00001ebb: JUMPI
00001ebc: PUSH2 0x1ec3
00001ebf: PUSH2 0x1e6d
00001ec2: JUMP
00001ec3: JUMPDEST
00001ec4: PUSH1 0x40
00001ec6: MSTORE
00001ec7: SWAP2
00001ec8: SWAP1
00001ec9: POP
00001eca: JUMP
00001ecb: JUMPDEST
00001ecc: PUSH0
00001ecd: PUSH8 0xffffffffffffffff
00001ed6: DUP3
00001ed7: GT
00001ed8: ISZERO
00001ed9: PUSH2 0x1ee4
00001edc: JUMPI
00001edd: PUSH2 0x1ee4
00001ee0: PUSH2 0x1e6d
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: POP
00001ee6: PUSH1 0x1f
00001ee8: ADD
00001ee9: PUSH1 0x1f
00001eeb: NOT
00001eec: AND
00001eed: PUSH1 0x20
00001eef: ADD
00001ef0: SWAP1
00001ef1: JUMP
00001ef2: JUMPDEST
00001ef3: PUSH0
00001ef4: DUP3
00001ef5: PUSH1 0x1f
00001ef7: DUP4
00001ef8: ADD
00001ef9: SLT
00001efa: PUSH2 0x1f01
00001efd: JUMPI
00001efe: PUSH0
00001eff: DUP1
00001f00: REVERT
00001f01: JUMPDEST
00001f02: DUP2
00001f03: CALLDATALOAD
00001f04: PUSH2 0x1f14
00001f07: PUSH2 0x1f0f
00001f0a: DUP3
00001f0b: PUSH2 0x1ecb
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: PUSH2 0x1e9a
00001f13: JUMP
00001f14: JUMPDEST
00001f15: DUP2
00001f16: DUP2
00001f17: MSTORE
00001f18: DUP5
00001f19: PUSH1 0x20
00001f1b: DUP4
00001f1c: DUP7
00001f1d: ADD
00001f1e: ADD
00001f1f: GT
00001f20: ISZERO
00001f21: PUSH2 0x1f28
00001f24: JUMPI
00001f25: PUSH0
00001f26: DUP1
00001f27: REVERT
00001f28: JUMPDEST
00001f29: DUP2
00001f2a: PUSH1 0x20
00001f2c: DUP6
00001f2d: ADD
00001f2e: PUSH1 0x20
00001f30: DUP4
00001f31: ADD
00001f32: CALLDATACOPY
00001f33: PUSH0
00001f34: SWAP2
00001f35: DUP2
00001f36: ADD
00001f37: PUSH1 0x20
00001f39: ADD
00001f3a: SWAP2
00001f3b: SWAP1
00001f3c: SWAP2
00001f3d: MSTORE
00001f3e: SWAP4
00001f3f: SWAP3
00001f40: POP
00001f41: POP
00001f42: POP
00001f43: JUMP
00001f44: JUMPDEST
00001f45: PUSH0
00001f46: DUP1
00001f47: PUSH0
00001f48: DUP1
00001f49: PUSH0
00001f4a: PUSH1 0xa0
00001f4c: DUP7
00001f4d: DUP9
00001f4e: SUB
00001f4f: SLT
00001f50: ISZERO
00001f51: PUSH2 0x1f58
00001f54: JUMPI
00001f55: PUSH0
00001f56: DUP1
00001f57: REVERT
00001f58: JUMPDEST
00001f59: DUP6
00001f5a: CALLDATALOAD
00001f5b: PUSH2 0x1f63
00001f5e: DUP2
00001f5f: PUSH2 0x1e59
00001f62: JUMP
00001f63: JUMPDEST
00001f64: SWAP5
00001f65: POP
00001f66: PUSH1 0x20
00001f68: DUP7
00001f69: ADD
00001f6a: CALLDATALOAD
00001f6b: PUSH2 0x1f73
00001f6e: DUP2
00001f6f: PUSH2 0x1e59
00001f72: JUMP
00001f73: JUMPDEST
00001f74: SWAP4
00001f75: POP
00001f76: PUSH1 0x40
00001f78: DUP7
00001f79: ADD
00001f7a: CALLDATALOAD
00001f7b: SWAP3
00001f7c: POP
00001f7d: PUSH1 0x60
00001f7f: DUP7
00001f80: ADD
00001f81: CALLDATALOAD
00001f82: PUSH8 0xffffffffffffffff
00001f8b: DUP2
00001f8c: GT
00001f8d: ISZERO
00001f8e: PUSH2 0x1f95
00001f91: JUMPI
00001f92: PUSH0
00001f93: DUP1
00001f94: REVERT
00001f95: JUMPDEST
00001f96: PUSH2 0x1fa1
00001f99: DUP9
00001f9a: DUP3
00001f9b: DUP10
00001f9c: ADD
00001f9d: PUSH2 0x1ef2
00001fa0: JUMP
00001fa1: JUMPDEST
00001fa2: SWAP6
00001fa3: SWAP9
00001fa4: SWAP5
00001fa5: SWAP8
00001fa6: POP
00001fa7: SWAP3
00001fa8: SWAP6
00001fa9: PUSH1 0x80
00001fab: ADD
00001fac: CALLDATALOAD
00001fad: SWAP4
00001fae: SWAP3
00001faf: POP
00001fb0: POP
00001fb1: POP
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: PUSH0
00001fb5: DUP1
00001fb6: DUP4
00001fb7: PUSH1 0x1f
00001fb9: DUP5
00001fba: ADD
00001fbb: SLT
00001fbc: PUSH2 0x1fc3
00001fbf: JUMPI
00001fc0: PUSH0
00001fc1: DUP1
00001fc2: REVERT
00001fc3: JUMPDEST
00001fc4: POP
00001fc5: DUP2
00001fc6: CALLDATALOAD
00001fc7: PUSH8 0xffffffffffffffff
00001fd0: DUP2
00001fd1: GT
00001fd2: ISZERO
00001fd3: PUSH2 0x1fda
00001fd6: JUMPI
00001fd7: PUSH0
00001fd8: DUP1
00001fd9: REVERT
00001fda: JUMPDEST
00001fdb: PUSH1 0x20
00001fdd: DUP4
00001fde: ADD
00001fdf: SWAP2
00001fe0: POP
00001fe1: DUP4
00001fe2: PUSH1 0x20
00001fe4: DUP3
00001fe5: DUP6
00001fe6: ADD
00001fe7: ADD
00001fe8: GT
00001fe9: ISZERO
00001fea: PUSH2 0x1ff1
00001fed: JUMPI
00001fee: PUSH0
00001fef: DUP1
00001ff0: REVERT
00001ff1: JUMPDEST
00001ff2: SWAP3
00001ff3: POP
00001ff4: SWAP3
00001ff5: SWAP1
00001ff6: POP
00001ff7: JUMP
00001ff8: JUMPDEST
00001ff9: PUSH0
00001ffa: DUP1
00001ffb: PUSH1 0x20
00001ffd: DUP4
00001ffe: DUP6
00001fff: SUB
00002000: SLT
00002001: ISZERO
00002002: PUSH2 0x2009
00002005: JUMPI
00002006: PUSH0
00002007: DUP1
00002008: REVERT
00002009: JUMPDEST
0000200a: DUP3
0000200b: CALLDATALOAD
0000200c: PUSH8 0xffffffffffffffff
00002015: DUP2
00002016: GT
00002017: ISZERO
00002018: PUSH2 0x201f
0000201b: JUMPI
0000201c: PUSH0
0000201d: DUP1
0000201e: REVERT
0000201f: JUMPDEST
00002020: PUSH2 0x202b
00002023: DUP6
00002024: DUP3
00002025: DUP7
00002026: ADD
00002027: PUSH2 0x1fb3
0000202a: JUMP
0000202b: JUMPDEST
0000202c: SWAP1
0000202d: SWAP7
0000202e: SWAP1
0000202f: SWAP6
00002030: POP
00002031: SWAP4
00002032: POP
00002033: POP
00002034: POP
00002035: POP
00002036: JUMP
00002037: JUMPDEST
00002038: PUSH0
00002039: DUP1
0000203a: PUSH0
0000203b: PUSH1 0x60
0000203d: DUP5
0000203e: DUP7
0000203f: SUB
00002040: SLT
00002041: ISZERO
00002042: PUSH2 0x2049
00002045: JUMPI
00002046: PUSH0
00002047: DUP1
00002048: REVERT
00002049: JUMPDEST
0000204a: DUP4
0000204b: CALLDATALOAD
0000204c: PUSH2 0x2054
0000204f: DUP2
00002050: PUSH2 0x1e59
00002053: JUMP
00002054: JUMPDEST
00002055: SWAP6
00002056: PUSH1 0x20
00002058: DUP6
00002059: ADD
0000205a: CALLDATALOAD
0000205b: SWAP6
0000205c: POP
0000205d: PUSH1 0x40
0000205f: SWAP1
00002060: SWAP5
00002061: ADD
00002062: CALLDATALOAD
00002063: SWAP4
00002064: SWAP3
00002065: POP
00002066: POP
00002067: POP
00002068: JUMP
00002069: JUMPDEST
0000206a: DUP1
0000206b: ISZERO
0000206c: ISZERO
0000206d: DUP2
0000206e: EQ
0000206f: PUSH2 0x0d53
00002072: JUMPI
00002073: PUSH0
00002074: DUP1
00002075: REVERT
00002076: JUMPDEST
00002077: PUSH0
00002078: PUSH1 0x20
0000207a: DUP3
0000207b: DUP5
0000207c: SUB
0000207d: SLT
0000207e: ISZERO
0000207f: PUSH2 0x2086
00002082: JUMPI
00002083: PUSH0
00002084: DUP1
00002085: REVERT
00002086: JUMPDEST
00002087: DUP2
00002088: CALLDATALOAD
00002089: PUSH2 0x2091
0000208c: DUP2
0000208d: PUSH2 0x2069
00002090: JUMP
00002091: JUMPDEST
00002092: SWAP4
00002093: SWAP3
00002094: POP
00002095: POP
00002096: POP
00002097: JUMP
00002098: JUMPDEST
00002099: PUSH0
0000209a: DUP1
0000209b: PUSH0
0000209c: DUP1
0000209d: PUSH0
0000209e: DUP1
0000209f: PUSH0
000020a0: PUSH1 0xc0
000020a2: DUP9
000020a3: DUP11
000020a4: SUB
000020a5: SLT
000020a6: ISZERO
000020a7: PUSH2 0x20ae
000020aa: JUMPI
000020ab: PUSH0
000020ac: DUP1
000020ad: REVERT
000020ae: JUMPDEST
000020af: DUP8
000020b0: CALLDATALOAD
000020b1: PUSH2 0x20b9
000020b4: DUP2
000020b5: PUSH2 0x1e59
000020b8: JUMP
000020b9: JUMPDEST
000020ba: SWAP7
000020bb: POP
000020bc: PUSH1 0x20
000020be: DUP9
000020bf: ADD
000020c0: CALLDATALOAD
000020c1: PUSH2 0x20c9
000020c4: DUP2
000020c5: PUSH2 0x1e59
000020c8: JUMP
000020c9: JUMPDEST
000020ca: SWAP6
000020cb: POP
000020cc: PUSH1 0x40
000020ce: DUP9
000020cf: ADD
000020d0: CALLDATALOAD
000020d1: PUSH2 0x20d9
000020d4: DUP2
000020d5: PUSH2 0x1e59
000020d8: JUMP
000020d9: JUMPDEST
000020da: SWAP5
000020db: POP
000020dc: PUSH1 0x60
000020de: DUP9
000020df: ADD
000020e0: CALLDATALOAD
000020e1: PUSH2 0x20e9
000020e4: DUP2
000020e5: PUSH2 0x1e59
000020e8: JUMP
000020e9: JUMPDEST
000020ea: SWAP4
000020eb: POP
000020ec: PUSH1 0x80
000020ee: DUP9
000020ef: ADD
000020f0: CALLDATALOAD
000020f1: SWAP3
000020f2: POP
000020f3: PUSH1 0xa0
000020f5: DUP9
000020f6: ADD
000020f7: CALLDATALOAD
000020f8: PUSH8 0xffffffffffffffff
00002101: DUP2
00002102: GT
00002103: ISZERO
00002104: PUSH2 0x210b
00002107: JUMPI
00002108: PUSH0
00002109: DUP1
0000210a: REVERT
0000210b: JUMPDEST
0000210c: PUSH2 0x2117
0000210f: DUP11
00002110: DUP3
00002111: DUP12
00002112: ADD
00002113: PUSH2 0x1fb3
00002116: JUMP
00002117: JUMPDEST
00002118: SWAP9
00002119: SWAP12
0000211a: SWAP8
0000211b: SWAP11
0000211c: POP
0000211d: SWAP6
0000211e: SWAP9
0000211f: POP
00002120: SWAP4
00002121: SWAP7
00002122: SWAP3
00002123: SWAP6
00002124: SWAP3
00002125: SWAP4
00002126: POP
00002127: POP
00002128: POP
00002129: JUMP
0000212a: JUMPDEST
0000212b: PUSH0
0000212c: DUP1
0000212d: PUSH0
0000212e: PUSH1 0x60
00002130: DUP5
00002131: DUP7
00002132: SUB
00002133: SLT
00002134: ISZERO
00002135: PUSH2 0x213c
00002138: JUMPI
00002139: PUSH0
0000213a: DUP1
0000213b: REVERT
0000213c: JUMPDEST
0000213d: DUP4
0000213e: CALLDATALOAD
0000213f: PUSH2 0x2147
00002142: DUP2
00002143: PUSH2 0x1e59
00002146: JUMP
00002147: JUMPDEST
00002148: SWAP3
00002149: POP
0000214a: PUSH1 0x20
0000214c: DUP5
0000214d: ADD
0000214e: CALLDATALOAD
0000214f: PUSH2 0x2157
00002152: DUP2
00002153: PUSH2 0x1e59
00002156: JUMP
00002157: JUMPDEST
00002158: SWAP2
00002159: POP
0000215a: PUSH1 0x40
0000215c: DUP5
0000215d: ADD
0000215e: CALLDATALOAD
0000215f: PUSH2 0x2167
00002162: DUP2
00002163: PUSH2 0x1e59
00002166: JUMP
00002167: JUMPDEST
00002168: DUP1
00002169: SWAP2
0000216a: POP
0000216b: POP
0000216c: SWAP3
0000216d: POP
0000216e: SWAP3
0000216f: POP
00002170: SWAP3
00002171: JUMP
00002172: JUMPDEST
00002173: PUSH0
00002174: PUSH1 0x20
00002176: DUP3
00002177: DUP5
00002178: SUB
00002179: SLT
0000217a: ISZERO
0000217b: PUSH2 0x2182
0000217e: JUMPI
0000217f: PUSH0
00002180: DUP1
00002181: REVERT
00002182: JUMPDEST
00002183: DUP2
00002184: CALLDATALOAD
00002185: PUSH2 0x2091
00002188: DUP2
00002189: PUSH2 0x1e59
0000218c: JUMP
0000218d: JUMPDEST
0000218e: PUSH0
0000218f: DUP1
00002190: PUSH0
00002191: DUP1
00002192: PUSH1 0x80
00002194: DUP6
00002195: DUP8
00002196: SUB
00002197: SLT
00002198: ISZERO
00002199: PUSH2 0x21a0
0000219c: JUMPI
0000219d: PUSH0
0000219e: DUP1
0000219f: REVERT
000021a0: JUMPDEST
000021a1: DUP5
000021a2: CALLDATALOAD
000021a3: PUSH2 0x21ab
000021a6: DUP2
000021a7: PUSH2 0x1e59
000021aa: JUMP
000021ab: JUMPDEST
000021ac: SWAP4
000021ad: POP
000021ae: PUSH1 0x20
000021b0: DUP6
000021b1: ADD
000021b2: CALLDATALOAD
000021b3: PUSH2 0x21bb
000021b6: DUP2
000021b7: PUSH2 0x1e59
000021ba: JUMP
000021bb: JUMPDEST
000021bc: SWAP4
000021bd: SWAP7
000021be: SWAP4
000021bf: SWAP6
000021c0: POP
000021c1: POP
000021c2: POP
000021c3: POP
000021c4: PUSH1 0x40
000021c6: DUP3
000021c7: ADD
000021c8: CALLDATALOAD
000021c9: SWAP2
000021ca: PUSH1 0x60
000021cc: ADD
000021cd: CALLDATALOAD
000021ce: SWAP1
000021cf: JUMP
000021d0: JUMPDEST
000021d1: PUSH0
000021d2: PUSH1 0x20
000021d4: DUP3
000021d5: DUP5
000021d6: SUB
000021d7: SLT
000021d8: ISZERO
000021d9: PUSH2 0x21e0
000021dc: JUMPI
000021dd: PUSH0
000021de: DUP1
000021df: REVERT
000021e0: JUMPDEST
000021e1: DUP2
000021e2: MLOAD
000021e3: PUSH2 0x2091
000021e6: DUP2
000021e7: PUSH2 0x1e59
000021ea: JUMP
000021eb: JUMPDEST
000021ec: PUSH0
000021ed: DUP1
000021ee: DUP6
000021ef: DUP6
000021f0: GT
000021f1: ISZERO
000021f2: PUSH2 0x21f9
000021f5: JUMPI
000021f6: PUSH0
000021f7: DUP1
000021f8: REVERT
000021f9: JUMPDEST
000021fa: DUP4
000021fb: DUP7
000021fc: GT
000021fd: ISZERO
000021fe: PUSH2 0x2205
00002201: JUMPI
00002202: PUSH0
00002203: DUP1
00002204: REVERT
00002205: JUMPDEST
00002206: POP
00002207: POP
00002208: DUP3
00002209: ADD
0000220a: SWAP4
0000220b: SWAP2
0000220c: SWAP1
0000220d: SWAP3
0000220e: SUB
0000220f: SWAP2
00002210: POP
00002211: JUMP
00002212: JUMPDEST
00002213: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002234: DUP2
00002235: CALLDATALOAD
00002236: DUP2
00002237: DUP2
00002238: AND
00002239: SWAP2
0000223a: PUSH1 0x04
0000223c: DUP6
0000223d: LT
0000223e: ISZERO
0000223f: PUSH2 0x2252
00002242: JUMPI
00002243: DUP1
00002244: DUP2
00002245: DUP7
00002246: PUSH1 0x04
00002248: SUB
00002249: PUSH1 0x03
0000224b: SHL
0000224c: SHL
0000224d: DUP4
0000224e: AND
0000224f: AND
00002250: SWAP3
00002251: POP
00002252: JUMPDEST
00002253: POP
00002254: POP
00002255: SWAP3
00002256: SWAP2
00002257: POP
00002258: POP
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH0
0000225c: DUP1
0000225d: PUSH0
0000225e: DUP1
0000225f: PUSH0
00002260: DUP1
00002261: PUSH1 0xc0
00002263: DUP8
00002264: DUP10
00002265: SUB
00002266: SLT
00002267: ISZERO
00002268: PUSH2 0x226f
0000226b: JUMPI
0000226c: PUSH0
0000226d: DUP1
0000226e: REVERT
0000226f: JUMPDEST
00002270: DUP7
00002271: CALLDATALOAD
00002272: PUSH2 0x227a
00002275: DUP2
00002276: PUSH2 0x1e59
00002279: JUMP
0000227a: JUMPDEST
0000227b: SWAP6
0000227c: POP
0000227d: PUSH1 0x20
0000227f: DUP8
00002280: ADD
00002281: CALLDATALOAD
00002282: PUSH2 0x228a
00002285: DUP2
00002286: PUSH2 0x1e59
00002289: JUMP
0000228a: JUMPDEST
0000228b: SWAP5
0000228c: POP
0000228d: PUSH1 0x40
0000228f: DUP8
00002290: ADD
00002291: CALLDATALOAD
00002292: PUSH2 0x229a
00002295: DUP2
00002296: PUSH2 0x1e59
00002299: JUMP
0000229a: JUMPDEST
0000229b: SWAP4
0000229c: POP
0000229d: PUSH1 0x60
0000229f: DUP8
000022a0: ADD
000022a1: CALLDATALOAD
000022a2: PUSH2 0x22aa
000022a5: DUP2
000022a6: PUSH2 0x1e59
000022a9: JUMP
000022aa: JUMPDEST
000022ab: SWAP3
000022ac: POP
000022ad: PUSH1 0x80
000022af: DUP8
000022b0: ADD
000022b1: CALLDATALOAD
000022b2: SWAP2
000022b3: POP
000022b4: PUSH1 0xa0
000022b6: DUP8
000022b7: ADD
000022b8: CALLDATALOAD
000022b9: PUSH8 0xffffffffffffffff
000022c2: DUP2
000022c3: GT
000022c4: ISZERO
000022c5: PUSH2 0x22cc
000022c8: JUMPI
000022c9: PUSH0
000022ca: DUP1
000022cb: REVERT
000022cc: JUMPDEST
000022cd: PUSH2 0x22d8
000022d0: DUP10
000022d1: DUP3
000022d2: DUP11
000022d3: ADD
000022d4: PUSH2 0x1ef2
000022d7: JUMP
000022d8: JUMPDEST
000022d9: SWAP2
000022da: POP
000022db: POP
000022dc: SWAP3
000022dd: SWAP6
000022de: POP
000022df: SWAP3
000022e0: SWAP6
000022e1: POP
000022e2: SWAP3
000022e3: SWAP6
000022e4: JUMP
000022e5: JUMPDEST
000022e6: PUSH1 0x01
000022e8: PUSH1 0x01
000022ea: PUSH1 0xa0
000022ec: SHL
000022ed: SUB
000022ee: DUP6
000022ef: AND
000022f0: DUP2
000022f1: MSTORE
000022f2: DUP4
000022f3: PUSH1 0x20
000022f5: DUP3
000022f6: ADD
000022f7: MSTORE
000022f8: PUSH1 0x60
000022fa: PUSH1 0x40
000022fc: DUP3
000022fd: ADD
000022fe: MSTORE
000022ff: DUP2
00002300: PUSH1 0x60
00002302: DUP3
00002303: ADD
00002304: MSTORE
00002305: DUP2
00002306: DUP4
00002307: PUSH1 0x80
00002309: DUP4
0000230a: ADD
0000230b: CALLDATACOPY
0000230c: PUSH0
0000230d: DUP2
0000230e: DUP4
0000230f: ADD
00002310: PUSH1 0x80
00002312: SWAP1
00002313: DUP2
00002314: ADD
00002315: SWAP2
00002316: SWAP1
00002317: SWAP2
00002318: MSTORE
00002319: PUSH1 0x1f
0000231b: SWAP1
0000231c: SWAP3
0000231d: ADD
0000231e: PUSH1 0x1f
00002320: NOT
00002321: AND
00002322: ADD
00002323: ADD
00002324: SWAP4
00002325: SWAP3
00002326: POP
00002327: POP
00002328: POP
00002329: JUMP
0000232a: JUMPDEST
0000232b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000234c: PUSH0
0000234d: MSTORE
0000234e: PUSH1 0x11
00002350: PUSH1 0x04
00002352: MSTORE
00002353: PUSH1 0x24
00002355: PUSH0
00002356: REVERT
00002357: JUMPDEST
00002358: DUP1
00002359: DUP3
0000235a: ADD
0000235b: DUP1
0000235c: DUP3
0000235d: GT
0000235e: ISZERO
0000235f: PUSH2 0x236a
00002362: JUMPI
00002363: PUSH2 0x236a
00002366: PUSH2 0x232a
00002369: JUMP
0000236a: JUMPDEST
0000236b: SWAP3
0000236c: SWAP2
0000236d: POP
0000236e: POP
0000236f: JUMP
00002370: JUMPDEST
00002371: PUSH0
00002372: JUMPDEST
00002373: DUP4
00002374: DUP2
00002375: LT
00002376: ISZERO
00002377: PUSH2 0x238a
0000237a: JUMPI
0000237b: DUP2
0000237c: DUP2
0000237d: ADD
0000237e: MLOAD
0000237f: DUP4
00002380: DUP3
00002381: ADD
00002382: MSTORE
00002383: PUSH1 0x20
00002385: ADD
00002386: PUSH2 0x2372
00002389: JUMP
0000238a: JUMPDEST
0000238b: POP
0000238c: POP
0000238d: PUSH0
0000238e: SWAP2
0000238f: ADD
00002390: MSTORE
00002391: JUMP
00002392: JUMPDEST
00002393: PUSH0
00002394: DUP2
00002395: MLOAD
00002396: DUP1
00002397: DUP5
00002398: MSTORE
00002399: PUSH2 0x23a9
0000239c: DUP2
0000239d: PUSH1 0x20
0000239f: DUP7
000023a0: ADD
000023a1: PUSH1 0x20
000023a3: DUP7
000023a4: ADD
000023a5: PUSH2 0x2370
000023a8: JUMP
000023a9: JUMPDEST
000023aa: PUSH1 0x1f
000023ac: ADD
000023ad: PUSH1 0x1f
000023af: NOT
000023b0: AND
000023b1: SWAP3
000023b2: SWAP1
000023b3: SWAP3
000023b4: ADD
000023b5: PUSH1 0x20
000023b7: ADD
000023b8: SWAP3
000023b9: SWAP2
000023ba: POP
000023bb: POP
000023bc: JUMP
000023bd: JUMPDEST
000023be: PUSH0
000023bf: PUSH1 0x01
000023c1: PUSH1 0x01
000023c3: PUSH1 0xa0
000023c5: SHL
000023c6: SUB
000023c7: DUP1
000023c8: DUP10
000023c9: AND
000023ca: DUP4
000023cb: MSTORE
000023cc: DUP1
000023cd: DUP9
000023ce: AND
000023cf: PUSH1 0x20
000023d1: DUP5
000023d2: ADD
000023d3: MSTORE
000023d4: DUP1
000023d5: DUP8
000023d6: AND
000023d7: PUSH1 0x40
000023d9: DUP5
000023da: ADD
000023db: MSTORE
000023dc: DUP1
000023dd: DUP7
000023de: AND
000023df: PUSH1 0x60
000023e1: DUP5
000023e2: ADD
000023e3: MSTORE
000023e4: POP
000023e5: DUP4
000023e6: PUSH1 0x80
000023e8: DUP4
000023e9: ADD
000023ea: MSTORE
000023eb: PUSH1 0xc0
000023ed: PUSH1 0xa0
000023ef: DUP4
000023f0: ADD
000023f1: MSTORE
000023f2: PUSH2 0x23fe
000023f5: PUSH1 0xc0
000023f7: DUP4
000023f8: ADD
000023f9: DUP5
000023fa: PUSH2 0x2392
000023fd: JUMP
000023fe: JUMPDEST
000023ff: SWAP9
00002400: SWAP8
00002401: POP
00002402: POP
00002403: POP
00002404: POP
00002405: POP
00002406: POP
00002407: POP
00002408: POP
00002409: JUMP
0000240a: JUMPDEST
0000240b: PUSH0
0000240c: PUSH1 0x20
0000240e: DUP3
0000240f: DUP5
00002410: SUB
00002411: SLT
00002412: ISZERO
00002413: PUSH2 0x241a
00002416: JUMPI
00002417: PUSH0
00002418: DUP1
00002419: REVERT
0000241a: JUMPDEST
0000241b: POP
0000241c: MLOAD
0000241d: SWAP2
0000241e: SWAP1
0000241f: POP
00002420: JUMP
00002421: JUMPDEST
00002422: PUSH0
00002423: PUSH1 0x01
00002425: PUSH1 0x01
00002427: PUSH1 0xa0
00002429: SHL
0000242a: SUB
0000242b: DUP1
0000242c: DUP9
0000242d: AND
0000242e: DUP4
0000242f: MSTORE
00002430: DUP7
00002431: PUSH1 0x20
00002433: DUP5
00002434: ADD
00002435: MSTORE
00002436: PUSH1 0xa0
00002438: PUSH1 0x40
0000243a: DUP5
0000243b: ADD
0000243c: MSTORE
0000243d: PUSH2 0x2449
00002440: PUSH1 0xa0
00002442: DUP5
00002443: ADD
00002444: DUP8
00002445: PUSH2 0x2392
00002448: JUMP
00002449: JUMPDEST
0000244a: PUSH1 0x60
0000244c: DUP5
0000244d: ADD
0000244e: SWAP6
0000244f: SWAP1
00002450: SWAP6
00002451: MSTORE
00002452: SWAP3
00002453: SWAP1
00002454: SWAP3
00002455: AND
00002456: PUSH1 0x80
00002458: SWAP1
00002459: SWAP2
0000245a: ADD
0000245b: MSTORE
0000245c: POP
0000245d: SWAP4
0000245e: SWAP3
0000245f: POP
00002460: POP
00002461: POP
00002462: JUMP
00002463: JUMPDEST
00002464: PUSH1 0x01
00002466: PUSH1 0x01
00002468: PUSH1 0xa0
0000246a: SHL
0000246b: SUB
0000246c: DUP6
0000246d: AND
0000246e: DUP2
0000246f: MSTORE
00002470: DUP4
00002471: PUSH1 0x20
00002473: DUP3
00002474: ADD
00002475: MSTORE
00002476: PUSH1 0x80
00002478: PUSH1 0x40
0000247a: DUP3
0000247b: ADD
0000247c: MSTORE
0000247d: PUSH0
0000247e: PUSH2 0x248a
00002481: PUSH1 0x80
00002483: DUP4
00002484: ADD
00002485: DUP6
00002486: PUSH2 0x2392
00002489: JUMP
0000248a: JUMPDEST
0000248b: SWAP1
0000248c: POP
0000248d: DUP3
0000248e: PUSH1 0x60
00002490: DUP4
00002491: ADD
00002492: MSTORE
00002493: SWAP6
00002494: SWAP5
00002495: POP
00002496: POP
00002497: POP
00002498: POP
00002499: POP
0000249a: JUMP
0000249b: JUMPDEST
0000249c: DUP2
0000249d: DUP2
0000249e: SUB
0000249f: DUP2
000024a0: DUP2
000024a1: GT
000024a2: ISZERO
000024a3: PUSH2 0x236a
000024a6: JUMPI
000024a7: PUSH2 0x236a
000024aa: PUSH2 0x232a
000024ad: JUMP
000024ae: JUMPDEST
000024af: PUSH1 0x20
000024b1: DUP2
000024b2: MSTORE
000024b3: PUSH0
000024b4: PUSH2 0x2091
000024b7: PUSH1 0x20
000024b9: DUP4
000024ba: ADD
000024bb: DUP5
000024bc: PUSH2 0x2392
000024bf: JUMP
000024c0: JUMPDEST
000024c1: PUSH0
000024c2: DUP1
000024c3: PUSH1 0x40
000024c5: DUP4
000024c6: DUP6
000024c7: SUB
000024c8: SLT
000024c9: ISZERO
000024ca: PUSH2 0x24d1
000024cd: JUMPI
000024ce: PUSH0
000024cf: DUP1
000024d0: REVERT
000024d1: JUMPDEST
000024d2: DUP3
000024d3: MLOAD
000024d4: PUSH2 0x24dc
000024d7: DUP2
000024d8: PUSH2 0x1e59
000024db: JUMP
000024dc: JUMPDEST
000024dd: PUSH1 0x20
000024df: DUP5
000024e0: ADD
000024e1: MLOAD
000024e2: SWAP1
000024e3: SWAP3
000024e4: POP
000024e5: PUSH8 0xffffffffffffffff
000024ee: DUP2
000024ef: GT
000024f0: ISZERO
000024f1: PUSH2 0x24f8
000024f4: JUMPI
000024f5: PUSH0
000024f6: DUP1
000024f7: REVERT
000024f8: JUMPDEST
000024f9: DUP4
000024fa: ADD
000024fb: PUSH1 0x1f
000024fd: DUP2
000024fe: ADD
000024ff: DUP6
00002500: SGT
00002501: PUSH2 0x2508
00002504: JUMPI
00002505: PUSH0
00002506: DUP1
00002507: REVERT
00002508: JUMPDEST
00002509: DUP1
0000250a: MLOAD
0000250b: PUSH2 0x2516
0000250e: PUSH2 0x1f0f
00002511: DUP3
00002512: PUSH2 0x1ecb
00002515: JUMP
00002516: JUMPDEST
00002517: DUP2
00002518: DUP2
00002519: MSTORE
0000251a: DUP7
0000251b: PUSH1 0x20
0000251d: DUP4
0000251e: DUP6
0000251f: ADD
00002520: ADD
00002521: GT
00002522: ISZERO
00002523: PUSH2 0x252a
00002526: JUMPI
00002527: PUSH0
00002528: DUP1
00002529: REVERT
0000252a: JUMPDEST
0000252b: PUSH2 0x253b
0000252e: DUP3
0000252f: PUSH1 0x20
00002531: DUP4
00002532: ADD
00002533: PUSH1 0x20
00002535: DUP7
00002536: ADD
00002537: PUSH2 0x2370
0000253a: JUMP
0000253b: JUMPDEST
0000253c: DUP1
0000253d: SWAP4
0000253e: POP
0000253f: POP
00002540: POP
00002541: POP
00002542: SWAP3
00002543: POP
00002544: SWAP3
00002545: SWAP1
00002546: POP
00002547: JUMP
00002548: JUMPDEST
00002549: PUSH0
0000254a: PUSH1 0x20
0000254c: DUP3
0000254d: DUP5
0000254e: SUB
0000254f: SLT
00002550: ISZERO
00002551: PUSH2 0x2558
00002554: JUMPI
00002555: PUSH0
00002556: DUP1
00002557: REVERT
00002558: JUMPDEST
00002559: DUP2
0000255a: MLOAD
0000255b: PUSH2 0x2091
0000255e: DUP2
0000255f: PUSH2 0x2069
00002562: JUMP
00002563: JUMPDEST
00002564: PUSH0
00002565: DUP3
00002566: MLOAD
00002567: PUSH2 0x2574
0000256a: DUP2
0000256b: DUP5
0000256c: PUSH1 0x20
0000256e: DUP8
0000256f: ADD
00002570: PUSH2 0x2370
00002573: JUMP
00002574: JUMPDEST
00002575: SWAP2
00002576: SWAP1
00002577: SWAP2
00002578: ADD
00002579: SWAP3
0000257a: SWAP2
0000257b: POP
0000257c: POP
0000257d: JUMP
0000257e: INVALID
0000257f: LOG1
00002580: PUSH5 0x736f6c6343
00002586: STOP
00002587: ADDMOD
00002588: XOR
00002589: STOP
0000258a: EXP