Analysis Run

[codex:585811] OpenAI Codex v0.77.0 (research preview)
[codex:585811] --------
[codex:585811] workdir: /tmp/codex-multi-73ervrdp
[codex:585811] model: gpt-5.2-codex
[codex:585811] provider: openai
[codex:585811] approval: never
[codex:585811] sandbox: read-only
[codex:585811] reasoning effort: xhigh
[codex:585811] reasoning summaries: auto
[codex:585811] session id: 019b65c7-da82-7db3-82f7-43c61114f20a
[codex:585811] --------
[codex:585811] user
[codex:585811] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:585811] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:585811] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:585811] 
[codex:585811] Scope rules:
[codex:585811] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:585811] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:585811] 
[codex:585811] Output MUST be valid JSON matching the provided schema.
[codex:585811] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:585811] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:585811] 
[codex:585811] Output constraints (IMPORTANT):
[codex:585811] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:585811] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:585811] mcp startup: no servers
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Reading AUDIT_BUNDLE.txt**
[codex:585811] exec
[codex:585811] /bin/bash -lc ls in /tmp/codex-multi-73ervrdp succeeded in 5ms:
[codex:585811] AUDIT_BUNDLE.txt
[codex:585811] codex-output-schema.json
[codex:585811] contracts
[codex:585811] exec
[codex:585811] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-73ervrdp succeeded in 6ms:
[codex:585811] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:585811] 
[codex:585811] ================================================================================
[codex:585811] FILE: contracts/lib/openzeppelin-contracts/contracts/proxy/utils/Initializable.sol
[codex:585811] ================================================================================
[codex:585811] // SPDX-License-Identifier: MIT
[codex:585811] // OpenZeppelin Contracts (last updated v4.7.0) (proxy/utils/Initializable.sol)
[codex:585811] 
[codex:585811] pragma solidity ^0.8.2;
[codex:585811] 
[codex:585811] import "../../utils/Address.sol";
[codex:585811] 
[codex:585811] /**
[codex:585811]  * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
[codex:585811]  * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an
[codex:585811]  * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
[codex:585811]  * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:585811]  *
[codex:585811]  * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be
[codex:585811]  * reused. This mechanism prevents re-execution of each "step" but allows the creation of new initialization steps in
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Identifying first-party contracts in bundle**
[codex:585811] exec
[codex:585811] /bin/bash -lc 'rg "''^FILE:" -n AUDIT_BUNDLE.txt' in /tmp/codex-multi-73ervrdp succeeded in 7ms:
[codex:585811] 4:FILE: contracts/lib/openzeppelin-contracts/contracts/proxy/utils/Initializable.sol
[codex:585811] 146:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol
[codex:585811] 533:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:585811] 619:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/IERC20Metadata.sol
[codex:585811] 651:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/draft-IERC20Permit.sol
[codex:585811] 715:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol
[codex:585811] 835:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/Address.sol
[codex:585811] 1061:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/Context.sol
[codex:585811] 1089:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/introspection/ERC165Checker.sol
[codex:585811] 1216:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol
[codex:585811] 1245:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/math/Math.sol
[codex:585811] 1475:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/math/SignedMath.sol
[codex:585811] 1522:FILE: contracts/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol
[codex:585811] 1664:FILE: contracts/lib/openzeppelin-contracts-upgradeable/contracts/utils/AddressUpgradeable.sol
[codex:585811] 1863:FILE: contracts/lib/solmate/src/utils/FixedPointMathLib.sol
[codex:585811] 2233:FILE: contracts/src/L1/L1StandardBridge.sol
[codex:585811] 2558:FILE: contracts/src/L1/ResourceMetering.sol
[codex:585811] 2724:FILE: contracts/src/L1/SuperchainConfig.sol
[codex:585811] 2822:FILE: contracts/src/libraries/Arithmetic.sol
[codex:585811] 2854:FILE: contracts/src/libraries/Burn.sol
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Ensuring complete audit bundle reading**
[codex:585811] 
[codex:585811] I need to fully read the AUDIT_BUNDLE.txt as required, even though output from simple commands is truncated. I’ll use a Python script to load and parse the entire file without flooding output, then cross-check by reading actual first-party contract source files in contracts/src for auditing key vulnerabilities like reentrancy and access control. Starting with core contracts such as L1StandardBridge feels like a good plan.
[codex:585811] exec
[codex:585811] /bin/bash -lc "sed -n '2233,2557p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-73ervrdp succeeded in 7ms:
[codex:585811] FILE: contracts/src/L1/L1StandardBridge.sol
[codex:585811] ================================================================================
[codex:585811] // SPDX-License-Identifier: MIT
[codex:585811] pragma solidity 0.8.15;
[codex:585811] 
[codex:585811] import { Predeploys } from "src/libraries/Predeploys.sol";
[codex:585811] import { StandardBridge } from "src/universal/StandardBridge.sol";
[codex:585811] import { ISemver } from "src/universal/ISemver.sol";
[codex:585811] import { CrossDomainMessenger } from "src/universal/CrossDomainMessenger.sol";
[codex:585811] import { SuperchainConfig } from "src/L1/SuperchainConfig.sol";
[codex:585811] import { Constants } from "src/libraries/Constants.sol";
[codex:585811] 
[codex:585811] /// @custom:proxied
[codex:585811] /// @title L1StandardBridge
[codex:585811] /// @notice The L1StandardBridge is responsible for transfering ETH and ERC20 tokens between L1 and
[codex:585811] ///         L2. In the case that an ERC20 token is native to L1, it will be escrowed within this
[codex:585811] ///         contract. If the ERC20 token is native to L2, it will be burnt. Before Bedrock, ETH was
[codex:585811] ///         stored within this contract. After Bedrock, ETH is instead stored inside the
[codex:585811] ///         OptimismPortal contract.
[codex:585811] ///         NOTE: this contract is not intended to support all variations of ERC20 tokens. Examples
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Inspecting StandardBridge files**
[codex:585811] exec
[codex:585811] /bin/bash -lc "sed -n '4450,4950p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-73ervrdp succeeded in 6ms:
[codex:585811] FILE: contracts/src/universal/StandardBridge.sol
[codex:585811] ================================================================================
[codex:585811] // SPDX-License-Identifier: MIT
[codex:585811] pragma solidity 0.8.15;
[codex:585811] 
[codex:585811] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:585811] import { ERC165Checker } from "@openzeppelin/contracts/utils/introspection/ERC165Checker.sol";
[codex:585811] import { Address } from "@openzeppelin/contracts/utils/Address.sol";
[codex:585811] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:585811] import { SafeCall } from "src/libraries/SafeCall.sol";
[codex:585811] import { IOptimismMintableERC20, ILegacyMintableERC20 } from "src/universal/IOptimismMintableERC20.sol";
[codex:585811] import { CrossDomainMessenger } from "src/universal/CrossDomainMessenger.sol";
[codex:585811] import { OptimismMintableERC20 } from "src/universal/OptimismMintableERC20.sol";
[codex:585811] import { Initializable } from "@openzeppelin/contracts/proxy/utils/Initializable.sol";
[codex:585811] 
[codex:585811] /// @custom:upgradeable
[codex:585811] /// @title StandardBridge
[codex:585811] /// @notice StandardBridge is a base contract for the L1 and L2 standard ERC20 bridges. It handles
[codex:585811] ///         the core bridging logic, including escrowing tokens that are native to the local chain
[codex:585811] ///         and minting/burning tokens that are native to the remote chain.
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Inspecting additional core files**
[codex:585811] exec
[codex:585811] /bin/bash -lc "sed -n '3844,4450p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-73ervrdp succeeded in 6ms:
[codex:585811] FILE: contracts/src/universal/CrossDomainMessenger.sol
[codex:585811] ================================================================================
[codex:585811] // SPDX-License-Identifier: MIT
[codex:585811] pragma solidity 0.8.15;
[codex:585811] 
[codex:585811] import { Initializable } from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:585811] import { SafeCall } from "src/libraries/SafeCall.sol";
[codex:585811] import { Hashing } from "src/libraries/Hashing.sol";
[codex:585811] import { Encoding } from "src/libraries/Encoding.sol";
[codex:585811] import { Constants } from "src/libraries/Constants.sol";
[codex:585811] 
[codex:585811] /// @custom:legacy
[codex:585811] /// @title CrossDomainMessengerLegacySpacer0
[codex:585811] /// @notice Contract only exists to add a spacer to the CrossDomainMessenger where the
[codex:585811] ///         libAddressManager variable used to exist. Must be the first contract in the inheritance
[codex:585811] ///         tree of the CrossDomainMessenger.
[codex:585811] contract CrossDomainMessengerLegacySpacer0 {
[codex:585811]     /// @custom:legacy
[codex:585811]     /// @custom:spacer libAddressManager
[codex:585811]     /// @notice Spacer for backwards compatibility.
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Identifying related libraries and modules**
[codex:585811] exec
[codex:585811] /bin/bash -lc "sed -n '2558,2821p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-73ervrdp succeeded in 6ms:
[codex:585811] FILE: contracts/src/L1/ResourceMetering.sol
[codex:585811] ================================================================================
[codex:585811] // SPDX-License-Identifier: MIT
[codex:585811] pragma solidity 0.8.15;
[codex:585811] 
[codex:585811] import { Initializable } from "@openzeppelin/contracts/proxy/utils/Initializable.sol";
[codex:585811] import { Math } from "@openzeppelin/contracts/utils/math/Math.sol";
[codex:585811] import { Burn } from "src/libraries/Burn.sol";
[codex:585811] import { Arithmetic } from "src/libraries/Arithmetic.sol";
[codex:585811] 
[codex:585811] /// @custom:upgradeable
[codex:585811] /// @title ResourceMetering
[codex:585811] /// @notice ResourceMetering implements an EIP-1559 style resource metering system where pricing
[codex:585811] ///         updates automatically based on current demand.
[codex:585811] abstract contract ResourceMetering is Initializable {
[codex:585811]     /// @notice Represents the various parameters that control the way in which resources are
[codex:585811]     ///         metered. Corresponds to the EIP-1559 resource metering system.
[codex:585811]     /// @custom:field prevBaseFee   Base fee from the previous block(s).
[codex:585811]     /// @custom:field prevBoughtGas Amount of gas bought so far in the current block.
[codex:585811]     /// @custom:field prevBlockNum  Last block number that the base fee was updated.
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Inspecting libraries for vulnerabilities**
[codex:585811] exec
[codex:585811] /bin/bash -lc "sed -n '2822,3603p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-73ervrdp succeeded in 6ms:
[codex:585811] FILE: contracts/src/libraries/Arithmetic.sol
[codex:585811] ================================================================================
[codex:585811] // SPDX-License-Identifier: MIT
[codex:585811] pragma solidity ^0.8.0;
[codex:585811] 
[codex:585811] import { SignedMath } from "@openzeppelin/contracts/utils/math/SignedMath.sol";
[codex:585811] import { FixedPointMathLib } from "@rari-capital/solmate/src/utils/FixedPointMathLib.sol";
[codex:585811] 
[codex:585811] /// @title Arithmetic
[codex:585811] /// @notice Even more math than before.
[codex:585811] library Arithmetic {
[codex:585811]     /// @notice Clamps a value between a minimum and maximum.
[codex:585811]     /// @param _value The value to clamp.
[codex:585811]     /// @param _min   The minimum value.
[codex:585811]     /// @param _max   The maximum value.
[codex:585811]     /// @return The clamped value.
[codex:585811]     function clamp(int256 _value, int256 _min, int256 _max) internal pure returns (int256) {
[codex:585811]         return SignedMath.min(SignedMath.max(_value, _min), _max);
[codex:585811]     }
[codex:585811] 
[codex:585811] exec
[codex:585811] /bin/bash -lc "sed -n '3603,3844p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-73ervrdp succeeded in 6ms:
[codex:585811] FILE: contracts/src/libraries/Types.sol
[codex:585811] ================================================================================
[codex:585811] // SPDX-License-Identifier: MIT
[codex:585811] pragma solidity ^0.8.0;
[codex:585811] 
[codex:585811] /// @title Types
[codex:585811] /// @notice Contains various types used throughout the Optimism contract system.
[codex:585811] library Types {
[codex:585811]     /// @notice OutputProposal represents a commitment to the L2 state. The timestamp is the L1
[codex:585811]     ///         timestamp that the output root is posted. This timestamp is used to verify that the
[codex:585811]     ///         finalization period has passed since the output root was submitted.
[codex:585811]     /// @custom:field outputRoot    Hash of the L2 output.
[codex:585811]     /// @custom:field timestamp     Timestamp of the L1 block that the output root was submitted in.
[codex:585811]     /// @custom:field l2BlockNumber L2 block number that the output corresponds to.
[codex:585811]     struct OutputProposal {
[codex:585811]         bytes32 outputRoot;
[codex:585811]         uint128 timestamp;
[codex:585811]         uint128 l2BlockNumber;
[codex:585811]     }
[codex:585811] 
[codex:585811] 
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Analyzing potential security risks in messaging and bridging contracts**
[codex:585811] 
[codex:585811] I'm examining CrossDomainMessenger and StandardBridge contracts for reentrancy, message replay, upgradeability, and token bridging vulnerabilities. I consider reentrancy guards, initializer usage, interface checks, and external call patterns to identify possible exploits or misconfigurations, especially focusing on proxy initialization risks and message validation gaps. There's nuance around upgradeable contracts not disabling initializers and bridging token interface trust assumptions, but no clear critical vulnerability emerges yet.
[codex:585811] thinking
[codex:585811] **Reviewing initialization and external call practices**
[codex:585811] exec
[codex:585811] /bin/bash -lc 'rg "delegatecall" -n contracts/src AUDIT_BUNDLE.txt' in /tmp/codex-multi-73ervrdp succeeded in 9ms:
[codex:585811] AUDIT_BUNDLE.txt:1027:        (bool success, bytes memory returndata) = target.delegatecall(data);
[codex:585811] 
[codex:585811] 
[codex:585811] 
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Analyzing potential reentrancy and token bridging risks**
[codex:585811] 
[codex:585811] I'm investigating if malicious tokens or reentrant calls during ERC20 bridging can cause deposit mapping inconsistencies or forged token minting across chains. Also, I'm looking into a subtle replay attack where setting `failedMessages` during message execution might allow unauthorized replays later. There is a lot to unpack here regarding reentrancy, message handling, and token transfer assumptions. Let's explore these angles carefully!
[codex:585811] thinking
[codex:585811] **Verifying relayMessage replay protection and internal checks**
[codex:585811] 
[codex:585811] I’m carefully examining the relayMessage logic to confirm that replay protection works as intended and that failedMessages cannot be maliciously set by reentrancy or arbitrary calls during message execution. The checks on msg.value, failedMessages, and xDomainMsgSender collectively prevent unauthorized replay and misuse, so it looks like the suspected attack vector isn’t feasible. There are many nuanced conditions here, so I’m tracing the flow closely to be sure.
[codex:585811] thinking
[codex:585811] **Examining initialization and potential proxy risks**
[codex:585811] 
[codex:585811] I’m reviewing initialization logic across contracts, focusing on proxy patterns and initializer protections. While most contracts use initializers properly, there might be issues if proxies are deployed but left uninitialized, allowing attackers to call initializers and take control. Some functions inconsistently apply onlyEOA, but that’s likely intentional. Overall, the contracts seem solid, but the upgradeable pattern demands careful deployment to avoid unintended access.
[codex:585811] thinking
[codex:585811] **Analyzing upgrade patterns and resource metering quirks**
[codex:585811] 
[codex:585811] I'm considering typical upgradeable initialization risks and quirks around resource metering's gas loops and basefee handling. While some patterns could cause reverts or gas exhaustion in edge cases, they appear intentional or handled safely. Overall, no concerning vulnerabilities emerge, so I’ll prepare a no-findings summary consistent with the expected output format.
[codex:585811] exec
[codex:585811] /bin/bash -lc "python - <<'PY'
[codex:585811] with open('AUDIT_BUNDLE.txt','rb') as f:
[codex:585811]     data = f.read()
[codex:585811] print(len(data))
[codex:585811] PY" in /tmp/codex-multi-73ervrdp succeeded in 19ms:
[codex:585811] 208880
[codex:585811] 
[codex:585811] thinking
[codex:585811] **Preparing detailed vulnerability assessment**
[codex:585811] 
[codex:585811] I'm carefully reviewing potential security risks like reentrancy, access control issues, and integer overflows across several core contracts, checking for possible exploits while ensuring the final JSON output matches the expected schema with a clear summary reflecting that only first-party contracts were audited.
[codex:585811] codex
[codex:585811] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contracts within AUDIT_BUNDLE.txt; core bridge/messenger logic uses expected access controls and safe external-call patterns, and no risky delegatecall/signature/oracle issues were identified.","findings":[]}
[codex:585811] tokens used
[codex:585811] 127,216
[codex:585811] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contracts within AUDIT_BUNDLE.txt; core bridge/messenger logic uses expected access controls and safe external-call patterns, and no risky delegatecall/signature/oracle issues were identified.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-28T16:31:57.474661+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the first-party contracts within AUDIT_BUNDLE.txt; core bridge/messenger logic uses expected access controls and safe external-call patterns, and no risky delegatecall/signature/oracle issues were identified.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the first-party contracts within AUDIT_BUNDLE.txt; core bridge/messenger logic uses expected access controls and safe external-call patterns, and no risky delegatecall/signature/oracle issues were identified.",
        "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 0x0179
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7f46ddb2
00000019: GT
0000001a: PUSH2 0x00cb
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x927ede2d
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb1a1a882
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xb1a1a882
0000003a: EQ
0000003b: PUSH2 0x04fe
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xc89701a2
00000045: EQ
00000046: PUSH2 0x0511
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe11013dd
00000050: EQ
00000051: PUSH2 0x053e
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x927ede2d
00000060: EQ
00000061: PUSH2 0x04a0
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x9a2ac6d5
0000006b: EQ
0000006c: PUSH2 0x04cb
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa9f9e675
00000076: EQ
00000077: PUSH2 0x04de
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x87087623
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x87087623
00000091: EQ
00000092: PUSH2 0x043a
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x8f601f66
0000009c: EQ
0000009d: PUSH2 0x045a
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x91c49bf8
000000a7: EQ
000000a8: PUSH2 0x03ef
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x7f46ddb2
000000b7: EQ
000000b8: PUSH2 0x03ef
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x838b2520
000000c2: EQ
000000c3: PUSH2 0x041a
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x3cb747bf
000000d2: GT
000000d3: PUSH2 0x012d
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x54fd4d50
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x54fd4d50
000000e8: EQ
000000e9: PUSH2 0x0354
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x58a997f6
000000f3: EQ
000000f4: PUSH2 0x03aa
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x5c975abb
000000fe: EQ
000000ff: PUSH2 0x03ca
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x3cb747bf
0000010e: EQ
0000010f: PUSH2 0x02e7
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x485cc955
00000119: EQ
0000011a: PUSH2 0x0314
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x540abf73
00000124: EQ
00000125: PUSH2 0x0334
00000128: JUMPI
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: DUP1
0000012f: PUSH4 0x1532ec34
00000134: GT
00000135: PUSH2 0x015e
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x1532ec34
0000013f: EQ
00000140: PUSH2 0x026a
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x1635f5fd
0000014a: EQ
0000014b: PUSH2 0x027d
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x35e80ab3
00000155: EQ
00000156: PUSH2 0x0290
00000159: JUMPI
0000015a: PUSH1 0x00
0000015c: DUP1
0000015d: REVERT
0000015e: JUMPDEST
0000015f: DUP1
00000160: PUSH4 0x0166a07a
00000165: EQ
00000166: PUSH2 0x0237
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x09fc8843
00000170: EQ
00000171: PUSH2 0x0257
00000174: JUMPI
00000175: PUSH1 0x00
00000177: DUP1
00000178: REVERT
00000179: JUMPDEST
0000017a: CALLDATASIZE
0000017b: PUSH2 0x0232
0000017e: JUMPI
0000017f: CALLER
00000180: EXTCODESIZE
00000181: ISZERO
00000182: PUSH2 0x0212
00000185: JUMPI
00000186: PUSH1 0x40
00000188: MLOAD
00000189: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000001aa: DUP2
000001ab: MSTORE
000001ac: PUSH1 0x20
000001ae: PUSH1 0x04
000001b0: DUP3
000001b1: ADD
000001b2: MSTORE
000001b3: PUSH1 0x37
000001b5: PUSH1 0x24
000001b7: DUP3
000001b8: ADD
000001b9: MSTORE
000001ba: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000001db: PUSH1 0x44
000001dd: DUP3
000001de: ADD
000001df: MSTORE
000001e0: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00000201: PUSH1 0x64
00000203: DUP3
00000204: ADD
00000205: MSTORE
00000206: PUSH1 0x84
00000208: ADD
00000209: JUMPDEST
0000020a: PUSH1 0x40
0000020c: MLOAD
0000020d: DUP1
0000020e: SWAP2
0000020f: SUB
00000210: SWAP1
00000211: REVERT
00000212: JUMPDEST
00000213: PUSH2 0x0230
00000216: CALLER
00000217: CALLER
00000218: PUSH3 0x030d40
0000021c: PUSH1 0x40
0000021e: MLOAD
0000021f: DUP1
00000220: PUSH1 0x20
00000222: ADD
00000223: PUSH1 0x40
00000225: MSTORE
00000226: DUP1
00000227: PUSH1 0x00
00000229: DUP2
0000022a: MSTORE
0000022b: POP
0000022c: PUSH2 0x056d
0000022f: JUMP
00000230: JUMPDEST
00000231: STOP
00000232: JUMPDEST
00000233: PUSH1 0x00
00000235: DUP1
00000236: REVERT
00000237: JUMPDEST
00000238: CALLVALUE
00000239: DUP1
0000023a: ISZERO
0000023b: PUSH2 0x0243
0000023e: JUMPI
0000023f: PUSH1 0x00
00000241: DUP1
00000242: REVERT
00000243: JUMPDEST
00000244: POP
00000245: PUSH2 0x0230
00000248: PUSH2 0x0252
0000024b: CALLDATASIZE
0000024c: PUSH1 0x04
0000024e: PUSH2 0x26b1
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH2 0x0580
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x0230
0000025b: PUSH2 0x0265
0000025e: CALLDATASIZE
0000025f: PUSH1 0x04
00000261: PUSH2 0x2762
00000264: JUMP
00000265: JUMPDEST
00000266: PUSH2 0x099a
00000269: JUMP
0000026a: JUMPDEST
0000026b: PUSH2 0x0230
0000026e: PUSH2 0x0278
00000271: CALLDATASIZE
00000272: PUSH1 0x04
00000274: PUSH2 0x27b5
00000277: JUMP
00000278: JUMPDEST
00000279: PUSH2 0x0a71
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH2 0x0230
00000281: PUSH2 0x028b
00000284: CALLDATASIZE
00000285: PUSH1 0x04
00000287: PUSH2 0x27b5
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH2 0x0a85
0000028f: JUMP
00000290: JUMPDEST
00000291: CALLVALUE
00000292: DUP1
00000293: ISZERO
00000294: PUSH2 0x029c
00000297: JUMPI
00000298: PUSH1 0x00
0000029a: DUP1
0000029b: REVERT
0000029c: JUMPDEST
0000029d: POP
0000029e: PUSH1 0x32
000002a0: SLOAD
000002a1: PUSH2 0x02bd
000002a4: SWAP1
000002a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ba: AND
000002bb: DUP2
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH1 0x40
000002c0: MLOAD
000002c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d6: SWAP1
000002d7: SWAP2
000002d8: AND
000002d9: DUP2
000002da: MSTORE
000002db: PUSH1 0x20
000002dd: ADD
000002de: JUMPDEST
000002df: PUSH1 0x40
000002e1: MLOAD
000002e2: DUP1
000002e3: SWAP2
000002e4: SUB
000002e5: SWAP1
000002e6: RETURN
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f3
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: POP
000002f5: PUSH1 0x03
000002f7: SLOAD
000002f8: PUSH2 0x02bd
000002fb: SWAP1
000002fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000311: AND
00000312: DUP2
00000313: JUMP
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x0320
0000031b: JUMPI
0000031c: PUSH1 0x00
0000031e: DUP1
0000031f: REVERT
00000320: JUMPDEST
00000321: POP
00000322: PUSH2 0x0230
00000325: PUSH2 0x032f
00000328: CALLDATASIZE
00000329: PUSH1 0x04
0000032b: PUSH2 0x2828
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH2 0x0f4e
00000333: JUMP
00000334: JUMPDEST
00000335: CALLVALUE
00000336: DUP1
00000337: ISZERO
00000338: PUSH2 0x0340
0000033b: JUMPI
0000033c: PUSH1 0x00
0000033e: DUP1
0000033f: REVERT
00000340: JUMPDEST
00000341: POP
00000342: PUSH2 0x0230
00000345: PUSH2 0x034f
00000348: CALLDATASIZE
00000349: PUSH1 0x04
0000034b: PUSH2 0x2861
0000034e: JUMP
0000034f: JUMPDEST
00000350: PUSH2 0x1137
00000353: JUMP
00000354: JUMPDEST
00000355: CALLVALUE
00000356: DUP1
00000357: ISZERO
00000358: PUSH2 0x0360
0000035b: JUMPI
0000035c: PUSH1 0x00
0000035e: DUP1
0000035f: REVERT
00000360: JUMPDEST
00000361: POP
00000362: PUSH2 0x039d
00000365: PUSH1 0x40
00000367: MLOAD
00000368: DUP1
00000369: PUSH1 0x40
0000036b: ADD
0000036c: PUSH1 0x40
0000036e: MSTORE
0000036f: DUP1
00000370: PUSH1 0x05
00000372: DUP2
00000373: MSTORE
00000374: PUSH1 0x20
00000376: ADD
00000377: PUSH32 0x322e312e30000000000000000000000000000000000000000000000000000000
00000398: DUP2
00000399: MSTORE
0000039a: POP
0000039b: DUP2
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH1 0x40
000003a0: MLOAD
000003a1: PUSH2 0x02de
000003a4: SWAP2
000003a5: SWAP1
000003a6: PUSH2 0x294e
000003a9: JUMP
000003aa: JUMPDEST
000003ab: CALLVALUE
000003ac: DUP1
000003ad: ISZERO
000003ae: PUSH2 0x03b6
000003b1: JUMPI
000003b2: PUSH1 0x00
000003b4: DUP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: POP
000003b8: PUSH2 0x0230
000003bb: PUSH2 0x03c5
000003be: CALLDATASIZE
000003bf: PUSH1 0x04
000003c1: PUSH2 0x2961
000003c4: JUMP
000003c5: JUMPDEST
000003c6: PUSH2 0x117c
000003c9: JUMP
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH2 0x03df
000003db: PUSH2 0x1250
000003de: JUMP
000003df: JUMPDEST
000003e0: PUSH1 0x40
000003e2: MLOAD
000003e3: SWAP1
000003e4: ISZERO
000003e5: ISZERO
000003e6: DUP2
000003e7: MSTORE
000003e8: PUSH1 0x20
000003ea: ADD
000003eb: PUSH2 0x02de
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: DUP1
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH1 0x04
000003ff: SLOAD
00000400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000415: AND
00000416: PUSH2 0x02bd
00000419: JUMP
0000041a: JUMPDEST
0000041b: CALLVALUE
0000041c: DUP1
0000041d: ISZERO
0000041e: PUSH2 0x0426
00000421: JUMPI
00000422: PUSH1 0x00
00000424: DUP1
00000425: REVERT
00000426: JUMPDEST
00000427: POP
00000428: PUSH2 0x0230
0000042b: PUSH2 0x0435
0000042e: CALLDATASIZE
0000042f: PUSH1 0x04
00000431: PUSH2 0x2861
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH2 0x12e9
00000439: JUMP
0000043a: JUMPDEST
0000043b: CALLVALUE
0000043c: DUP1
0000043d: ISZERO
0000043e: PUSH2 0x0446
00000441: JUMPI
00000442: PUSH1 0x00
00000444: DUP1
00000445: REVERT
00000446: JUMPDEST
00000447: POP
00000448: PUSH2 0x0230
0000044b: PUSH2 0x0455
0000044e: CALLDATASIZE
0000044f: PUSH1 0x04
00000451: PUSH2 0x2961
00000454: JUMP
00000455: JUMPDEST
00000456: PUSH2 0x132e
00000459: JUMP
0000045a: JUMPDEST
0000045b: CALLVALUE
0000045c: DUP1
0000045d: ISZERO
0000045e: PUSH2 0x0466
00000461: JUMPI
00000462: PUSH1 0x00
00000464: DUP1
00000465: REVERT
00000466: JUMPDEST
00000467: POP
00000468: PUSH2 0x0492
0000046b: PUSH2 0x0475
0000046e: CALLDATASIZE
0000046f: PUSH1 0x04
00000471: PUSH2 0x2828
00000474: JUMP
00000475: JUMPDEST
00000476: PUSH1 0x02
00000478: PUSH1 0x20
0000047a: SWAP1
0000047b: DUP2
0000047c: MSTORE
0000047d: PUSH1 0x00
0000047f: SWAP3
00000480: DUP4
00000481: MSTORE
00000482: PUSH1 0x40
00000484: DUP1
00000485: DUP5
00000486: KECCAK256
00000487: SWAP1
00000488: SWAP2
00000489: MSTORE
0000048a: SWAP1
0000048b: DUP3
0000048c: MSTORE
0000048d: SWAP1
0000048e: KECCAK256
0000048f: SLOAD
00000490: DUP2
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH1 0x40
00000495: MLOAD
00000496: SWAP1
00000497: DUP2
00000498: MSTORE
00000499: PUSH1 0x20
0000049b: ADD
0000049c: PUSH2 0x02de
0000049f: JUMP
000004a0: JUMPDEST
000004a1: CALLVALUE
000004a2: DUP1
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: POP
000004ae: PUSH1 0x03
000004b0: SLOAD
000004b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c6: AND
000004c7: PUSH2 0x02bd
000004ca: JUMP
000004cb: JUMPDEST
000004cc: PUSH2 0x0230
000004cf: PUSH2 0x04d9
000004d2: CALLDATASIZE
000004d3: PUSH1 0x04
000004d5: PUSH2 0x29e4
000004d8: JUMP
000004d9: JUMPDEST
000004da: PUSH2 0x1402
000004dd: JUMP
000004de: JUMPDEST
000004df: CALLVALUE
000004e0: DUP1
000004e1: ISZERO
000004e2: PUSH2 0x04ea
000004e5: JUMPI
000004e6: PUSH1 0x00
000004e8: DUP1
000004e9: REVERT
000004ea: JUMPDEST
000004eb: POP
000004ec: PUSH2 0x0230
000004ef: PUSH2 0x04f9
000004f2: CALLDATASIZE
000004f3: PUSH1 0x04
000004f5: PUSH2 0x26b1
000004f8: JUMP
000004f9: JUMPDEST
000004fa: PUSH2 0x1444
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH2 0x0230
00000502: PUSH2 0x050c
00000505: CALLDATASIZE
00000506: PUSH1 0x04
00000508: PUSH2 0x2762
0000050b: JUMP
0000050c: JUMPDEST
0000050d: PUSH2 0x1453
00000510: JUMP
00000511: JUMPDEST
00000512: CALLVALUE
00000513: DUP1
00000514: ISZERO
00000515: PUSH2 0x051d
00000518: JUMPI
00000519: PUSH1 0x00
0000051b: DUP1
0000051c: REVERT
0000051d: JUMPDEST
0000051e: POP
0000051f: PUSH1 0x04
00000521: SLOAD
00000522: PUSH2 0x02bd
00000525: SWAP1
00000526: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000053b: AND
0000053c: DUP2
0000053d: JUMP
0000053e: JUMPDEST
0000053f: PUSH2 0x0230
00000542: PUSH2 0x054c
00000545: CALLDATASIZE
00000546: PUSH1 0x04
00000548: PUSH2 0x29e4
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH2 0x1524
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000567: AND
00000568: EXTCODESIZE
00000569: ISZERO
0000056a: ISZERO
0000056b: SWAP1
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH2 0x057a
00000571: DUP5
00000572: DUP5
00000573: CALLVALUE
00000574: DUP6
00000575: DUP6
00000576: PUSH2 0x1567
00000579: JUMP
0000057a: JUMPDEST
0000057b: POP
0000057c: POP
0000057d: POP
0000057e: POP
0000057f: JUMP
00000580: JUMPDEST
00000581: PUSH1 0x03
00000583: SLOAD
00000584: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000599: AND
0000059a: CALLER
0000059b: EQ
0000059c: DUP1
0000059d: ISZERO
0000059e: PUSH2 0x0653
000005a1: JUMPI
000005a2: POP
000005a3: PUSH1 0x04
000005a5: DUP1
000005a6: SLOAD
000005a7: PUSH1 0x03
000005a9: SLOAD
000005aa: PUSH1 0x40
000005ac: DUP1
000005ad: MLOAD
000005ae: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000
000005cf: DUP2
000005d0: MSTORE
000005d1: SWAP1
000005d2: MLOAD
000005d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e8: SWAP4
000005e9: DUP5
000005ea: AND
000005eb: SWAP5
000005ec: SWAP4
000005ed: SWAP1
000005ee: SWAP3
000005ef: AND
000005f0: SWAP3
000005f1: PUSH4 0x6e296e45
000005f6: SWAP3
000005f7: DUP3
000005f8: DUP3
000005f9: ADD
000005fa: SWAP3
000005fb: PUSH1 0x20
000005fd: SWAP3
000005fe: SWAP1
000005ff: DUP3
00000600: SWAP1
00000601: SUB
00000602: ADD
00000603: DUP2
00000604: DUP7
00000605: GAS
00000606: STATICCALL
00000607: ISZERO
00000608: DUP1
00000609: ISZERO
0000060a: PUSH2 0x0617
0000060d: JUMPI
0000060e: RETURNDATASIZE
0000060f: PUSH1 0x00
00000611: DUP1
00000612: RETURNDATACOPY
00000613: RETURNDATASIZE
00000614: PUSH1 0x00
00000616: REVERT
00000617: JUMPDEST
00000618: POP
00000619: POP
0000061a: POP
0000061b: POP
0000061c: PUSH1 0x40
0000061e: MLOAD
0000061f: RETURNDATASIZE
00000620: PUSH1 0x1f
00000622: NOT
00000623: PUSH1 0x1f
00000625: DUP3
00000626: ADD
00000627: AND
00000628: DUP3
00000629: ADD
0000062a: DUP1
0000062b: PUSH1 0x40
0000062d: MSTORE
0000062e: POP
0000062f: DUP2
00000630: ADD
00000631: SWAP1
00000632: PUSH2 0x063b
00000635: SWAP2
00000636: SWAP1
00000637: PUSH2 0x2a47
0000063a: JUMP
0000063b: JUMPDEST
0000063c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000651: AND
00000652: EQ
00000653: JUMPDEST
00000654: PUSH2 0x0705
00000657: JUMPI
00000658: PUSH1 0x40
0000065a: MLOAD
0000065b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000067c: DUP2
0000067d: MSTORE
0000067e: PUSH1 0x20
00000680: PUSH1 0x04
00000682: DUP3
00000683: ADD
00000684: MSTORE
00000685: PUSH1 0x41
00000687: PUSH1 0x24
00000689: DUP3
0000068a: ADD
0000068b: MSTORE
0000068c: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000006ad: PUSH1 0x44
000006af: DUP3
000006b0: ADD
000006b1: MSTORE
000006b2: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
000006d3: PUSH1 0x64
000006d5: DUP3
000006d6: ADD
000006d7: MSTORE
000006d8: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
000006f9: PUSH1 0x84
000006fb: DUP3
000006fc: ADD
000006fd: MSTORE
000006fe: PUSH1 0xa4
00000700: ADD
00000701: PUSH2 0x0209
00000704: JUMP
00000705: JUMPDEST
00000706: PUSH2 0x070d
00000709: PUSH2 0x1250
0000070c: JUMP
0000070d: JUMPDEST
0000070e: ISZERO
0000070f: PUSH2 0x0774
00000712: JUMPI
00000713: PUSH1 0x40
00000715: MLOAD
00000716: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000737: DUP2
00000738: MSTORE
00000739: PUSH1 0x20
0000073b: PUSH1 0x04
0000073d: DUP3
0000073e: ADD
0000073f: MSTORE
00000740: PUSH1 0x16
00000742: PUSH1 0x24
00000744: DUP3
00000745: ADD
00000746: MSTORE
00000747: PUSH32 0x5374616e646172644272696467653a2070617573656400000000000000000000
00000768: PUSH1 0x44
0000076a: DUP3
0000076b: ADD
0000076c: MSTORE
0000076d: PUSH1 0x64
0000076f: ADD
00000770: PUSH2 0x0209
00000773: JUMP
00000774: JUMPDEST
00000775: PUSH2 0x077d
00000778: DUP8
00000779: PUSH2 0x1731
0000077c: JUMP
0000077d: JUMPDEST
0000077e: ISZERO
0000077f: PUSH2 0x08cb
00000782: JUMPI
00000783: PUSH2 0x078c
00000786: DUP8
00000787: DUP8
00000788: PUSH2 0x1793
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH2 0x083e
00000790: JUMPI
00000791: PUSH1 0x40
00000793: MLOAD
00000794: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007b5: DUP2
000007b6: MSTORE
000007b7: PUSH1 0x20
000007b9: PUSH1 0x04
000007bb: DUP3
000007bc: ADD
000007bd: MSTORE
000007be: PUSH1 0x4a
000007c0: PUSH1 0x24
000007c2: DUP3
000007c3: ADD
000007c4: MSTORE
000007c5: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
000007e6: PUSH1 0x44
000007e8: DUP3
000007e9: ADD
000007ea: MSTORE
000007eb: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
0000080c: PUSH1 0x64
0000080e: DUP3
0000080f: ADD
00000810: MSTORE
00000811: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
00000832: PUSH1 0x84
00000834: DUP3
00000835: ADD
00000836: MSTORE
00000837: PUSH1 0xa4
00000839: ADD
0000083a: PUSH2 0x0209
0000083d: JUMP
0000083e: JUMPDEST
0000083f: PUSH1 0x40
00000841: MLOAD
00000842: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
00000863: DUP2
00000864: MSTORE
00000865: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000087a: DUP6
0000087b: DUP2
0000087c: AND
0000087d: PUSH1 0x04
0000087f: DUP4
00000880: ADD
00000881: MSTORE
00000882: PUSH1 0x24
00000884: DUP3
00000885: ADD
00000886: DUP6
00000887: SWAP1
00000888: MSTORE
00000889: DUP9
0000088a: AND
0000088b: SWAP1
0000088c: PUSH4 0x40c10f19
00000891: SWAP1
00000892: PUSH1 0x44
00000894: ADD
00000895: PUSH1 0x00
00000897: PUSH1 0x40
00000899: MLOAD
0000089a: DUP1
0000089b: DUP4
0000089c: SUB
0000089d: DUP2
0000089e: PUSH1 0x00
000008a0: DUP8
000008a1: DUP1
000008a2: EXTCODESIZE
000008a3: ISZERO
000008a4: DUP1
000008a5: ISZERO
000008a6: PUSH2 0x08ae
000008a9: JUMPI
000008aa: PUSH1 0x00
000008ac: DUP1
000008ad: REVERT
000008ae: JUMPDEST
000008af: POP
000008b0: GAS
000008b1: CALL
000008b2: ISZERO
000008b3: DUP1
000008b4: ISZERO
000008b5: PUSH2 0x08c2
000008b8: JUMPI
000008b9: RETURNDATASIZE
000008ba: PUSH1 0x00
000008bc: DUP1
000008bd: RETURNDATACOPY
000008be: RETURNDATASIZE
000008bf: PUSH1 0x00
000008c1: REVERT
000008c2: JUMPDEST
000008c3: POP
000008c4: POP
000008c5: POP
000008c6: POP
000008c7: PUSH2 0x094d
000008ca: JUMP
000008cb: JUMPDEST
000008cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e1: DUP1
000008e2: DUP9
000008e3: AND
000008e4: PUSH1 0x00
000008e6: SWAP1
000008e7: DUP2
000008e8: MSTORE
000008e9: PUSH1 0x02
000008eb: PUSH1 0x20
000008ed: SWAP1
000008ee: DUP2
000008ef: MSTORE
000008f0: PUSH1 0x40
000008f2: DUP1
000008f3: DUP4
000008f4: KECCAK256
000008f5: SWAP4
000008f6: DUP11
000008f7: AND
000008f8: DUP4
000008f9: MSTORE
000008fa: SWAP3
000008fb: SWAP1
000008fc: MSTORE
000008fd: KECCAK256
000008fe: SLOAD
000008ff: PUSH2 0x0909
00000902: SWAP1
00000903: DUP5
00000904: SWAP1
00000905: PUSH2 0x2a93
00000908: JUMP
00000909: JUMPDEST
0000090a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091f: DUP1
00000920: DUP10
00000921: AND
00000922: PUSH1 0x00
00000924: DUP2
00000925: DUP2
00000926: MSTORE
00000927: PUSH1 0x02
00000929: PUSH1 0x20
0000092b: SWAP1
0000092c: DUP2
0000092d: MSTORE
0000092e: PUSH1 0x40
00000930: DUP1
00000931: DUP4
00000932: KECCAK256
00000933: SWAP5
00000934: DUP13
00000935: AND
00000936: DUP4
00000937: MSTORE
00000938: SWAP4
00000939: SWAP1
0000093a: MSTORE
0000093b: SWAP2
0000093c: SWAP1
0000093d: SWAP2
0000093e: KECCAK256
0000093f: SWAP2
00000940: SWAP1
00000941: SWAP2
00000942: SSTORE
00000943: PUSH2 0x094d
00000946: SWAP1
00000947: DUP6
00000948: DUP6
00000949: PUSH2 0x18b3
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH2 0x0991
00000951: DUP8
00000952: DUP8
00000953: DUP8
00000954: DUP8
00000955: DUP8
00000956: DUP8
00000957: DUP8
00000958: DUP1
00000959: DUP1
0000095a: PUSH1 0x1f
0000095c: ADD
0000095d: PUSH1 0x20
0000095f: DUP1
00000960: SWAP2
00000961: DIV
00000962: MUL
00000963: PUSH1 0x20
00000965: ADD
00000966: PUSH1 0x40
00000968: MLOAD
00000969: SWAP1
0000096a: DUP2
0000096b: ADD
0000096c: PUSH1 0x40
0000096e: MSTORE
0000096f: DUP1
00000970: SWAP4
00000971: SWAP3
00000972: SWAP2
00000973: SWAP1
00000974: DUP2
00000975: DUP2
00000976: MSTORE
00000977: PUSH1 0x20
00000979: ADD
0000097a: DUP4
0000097b: DUP4
0000097c: DUP1
0000097d: DUP3
0000097e: DUP5
0000097f: CALLDATACOPY
00000980: PUSH1 0x00
00000982: SWAP3
00000983: ADD
00000984: SWAP2
00000985: SWAP1
00000986: SWAP2
00000987: MSTORE
00000988: POP
00000989: PUSH2 0x1987
0000098c: SWAP3
0000098d: POP
0000098e: POP
0000098f: POP
00000990: JUMP
00000991: JUMPDEST
00000992: POP
00000993: POP
00000994: POP
00000995: POP
00000996: POP
00000997: POP
00000998: POP
00000999: JUMP
0000099a: JUMPDEST
0000099b: CALLER
0000099c: EXTCODESIZE
0000099d: ISZERO
0000099e: PUSH2 0x0a29
000009a1: JUMPI
000009a2: PUSH1 0x40
000009a4: MLOAD
000009a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x20
000009ca: PUSH1 0x04
000009cc: DUP3
000009cd: ADD
000009ce: MSTORE
000009cf: PUSH1 0x37
000009d1: PUSH1 0x24
000009d3: DUP3
000009d4: ADD
000009d5: MSTORE
000009d6: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000009f7: PUSH1 0x44
000009f9: DUP3
000009fa: ADD
000009fb: MSTORE
000009fc: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00000a1d: PUSH1 0x64
00000a1f: DUP3
00000a20: ADD
00000a21: MSTORE
00000a22: PUSH1 0x84
00000a24: ADD
00000a25: PUSH2 0x0209
00000a28: JUMP
00000a29: JUMPDEST
00000a2a: PUSH2 0x0a6c
00000a2d: CALLER
00000a2e: CALLER
00000a2f: CALLVALUE
00000a30: DUP7
00000a31: DUP7
00000a32: DUP7
00000a33: DUP1
00000a34: DUP1
00000a35: PUSH1 0x1f
00000a37: ADD
00000a38: PUSH1 0x20
00000a3a: DUP1
00000a3b: SWAP2
00000a3c: DIV
00000a3d: MUL
00000a3e: PUSH1 0x20
00000a40: ADD
00000a41: PUSH1 0x40
00000a43: MLOAD
00000a44: SWAP1
00000a45: DUP2
00000a46: ADD
00000a47: PUSH1 0x40
00000a49: MSTORE
00000a4a: DUP1
00000a4b: SWAP4
00000a4c: SWAP3
00000a4d: SWAP2
00000a4e: SWAP1
00000a4f: DUP2
00000a50: DUP2
00000a51: MSTORE
00000a52: PUSH1 0x20
00000a54: ADD
00000a55: DUP4
00000a56: DUP4
00000a57: DUP1
00000a58: DUP3
00000a59: DUP5
00000a5a: CALLDATACOPY
00000a5b: PUSH1 0x00
00000a5d: SWAP3
00000a5e: ADD
00000a5f: SWAP2
00000a60: SWAP1
00000a61: SWAP2
00000a62: MSTORE
00000a63: POP
00000a64: PUSH2 0x1567
00000a67: SWAP3
00000a68: POP
00000a69: POP
00000a6a: POP
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: POP
00000a6e: POP
00000a6f: POP
00000a70: JUMP
00000a71: JUMPDEST
00000a72: PUSH2 0x0a7e
00000a75: DUP6
00000a76: DUP6
00000a77: DUP6
00000a78: DUP6
00000a79: DUP6
00000a7a: PUSH2 0x0a85
00000a7d: JUMP
00000a7e: JUMPDEST
00000a7f: POP
00000a80: POP
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH1 0x03
00000a88: SLOAD
00000a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9e: AND
00000a9f: CALLER
00000aa0: EQ
00000aa1: DUP1
00000aa2: ISZERO
00000aa3: PUSH2 0x0b58
00000aa6: JUMPI
00000aa7: POP
00000aa8: PUSH1 0x04
00000aaa: DUP1
00000aab: SLOAD
00000aac: PUSH1 0x03
00000aae: SLOAD
00000aaf: PUSH1 0x40
00000ab1: DUP1
00000ab2: MLOAD
00000ab3: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000
00000ad4: DUP2
00000ad5: MSTORE
00000ad6: SWAP1
00000ad7: MLOAD
00000ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aed: SWAP4
00000aee: DUP5
00000aef: AND
00000af0: SWAP5
00000af1: SWAP4
00000af2: SWAP1
00000af3: SWAP3
00000af4: AND
00000af5: SWAP3
00000af6: PUSH4 0x6e296e45
00000afb: SWAP3
00000afc: DUP3
00000afd: DUP3
00000afe: ADD
00000aff: SWAP3
00000b00: PUSH1 0x20
00000b02: SWAP3
00000b03: SWAP1
00000b04: DUP3
00000b05: SWAP1
00000b06: SUB
00000b07: ADD
00000b08: DUP2
00000b09: DUP7
00000b0a: GAS
00000b0b: STATICCALL
00000b0c: ISZERO
00000b0d: DUP1
00000b0e: ISZERO
00000b0f: PUSH2 0x0b1c
00000b12: JUMPI
00000b13: RETURNDATASIZE
00000b14: PUSH1 0x00
00000b16: DUP1
00000b17: RETURNDATACOPY
00000b18: RETURNDATASIZE
00000b19: PUSH1 0x00
00000b1b: REVERT
00000b1c: JUMPDEST
00000b1d: POP
00000b1e: POP
00000b1f: POP
00000b20: POP
00000b21: PUSH1 0x40
00000b23: MLOAD
00000b24: RETURNDATASIZE
00000b25: PUSH1 0x1f
00000b27: NOT
00000b28: PUSH1 0x1f
00000b2a: DUP3
00000b2b: ADD
00000b2c: AND
00000b2d: DUP3
00000b2e: ADD
00000b2f: DUP1
00000b30: PUSH1 0x40
00000b32: MSTORE
00000b33: POP
00000b34: DUP2
00000b35: ADD
00000b36: SWAP1
00000b37: PUSH2 0x0b40
00000b3a: SWAP2
00000b3b: SWAP1
00000b3c: PUSH2 0x2a47
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b56: AND
00000b57: EQ
00000b58: JUMPDEST
00000b59: PUSH2 0x0c0a
00000b5c: JUMPI
00000b5d: PUSH1 0x40
00000b5f: MLOAD
00000b60: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b81: DUP2
00000b82: MSTORE
00000b83: PUSH1 0x20
00000b85: PUSH1 0x04
00000b87: DUP3
00000b88: ADD
00000b89: MSTORE
00000b8a: PUSH1 0x41
00000b8c: PUSH1 0x24
00000b8e: DUP3
00000b8f: ADD
00000b90: MSTORE
00000b91: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000bb2: PUSH1 0x44
00000bb4: DUP3
00000bb5: ADD
00000bb6: MSTORE
00000bb7: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
00000bd8: PUSH1 0x64
00000bda: DUP3
00000bdb: ADD
00000bdc: MSTORE
00000bdd: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00000bfe: PUSH1 0x84
00000c00: DUP3
00000c01: ADD
00000c02: MSTORE
00000c03: PUSH1 0xa4
00000c05: ADD
00000c06: PUSH2 0x0209
00000c09: JUMP
00000c0a: JUMPDEST
00000c0b: PUSH2 0x0c12
00000c0e: PUSH2 0x1250
00000c11: JUMP
00000c12: JUMPDEST
00000c13: ISZERO
00000c14: PUSH2 0x0c79
00000c17: JUMPI
00000c18: PUSH1 0x40
00000c1a: MLOAD
00000c1b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c3c: DUP2
00000c3d: MSTORE
00000c3e: PUSH1 0x20
00000c40: PUSH1 0x04
00000c42: DUP3
00000c43: ADD
00000c44: MSTORE
00000c45: PUSH1 0x16
00000c47: PUSH1 0x24
00000c49: DUP3
00000c4a: ADD
00000c4b: MSTORE
00000c4c: PUSH32 0x5374616e646172644272696467653a2070617573656400000000000000000000
00000c6d: PUSH1 0x44
00000c6f: DUP3
00000c70: ADD
00000c71: MSTORE
00000c72: PUSH1 0x64
00000c74: ADD
00000c75: PUSH2 0x0209
00000c78: JUMP
00000c79: JUMPDEST
00000c7a: DUP3
00000c7b: CALLVALUE
00000c7c: EQ
00000c7d: PUSH2 0x0d08
00000c80: JUMPI
00000c81: PUSH1 0x40
00000c83: MLOAD
00000c84: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ca5: DUP2
00000ca6: MSTORE
00000ca7: PUSH1 0x20
00000ca9: PUSH1 0x04
00000cab: DUP3
00000cac: ADD
00000cad: MSTORE
00000cae: PUSH1 0x3a
00000cb0: PUSH1 0x24
00000cb2: DUP3
00000cb3: ADD
00000cb4: MSTORE
00000cb5: PUSH32 0x5374616e646172644272696467653a20616d6f756e742073656e7420646f6573
00000cd6: PUSH1 0x44
00000cd8: DUP3
00000cd9: ADD
00000cda: MSTORE
00000cdb: PUSH32 0x206e6f74206d6174636820616d6f756e74207265717569726564000000000000
00000cfc: PUSH1 0x64
00000cfe: DUP3
00000cff: ADD
00000d00: MSTORE
00000d01: PUSH1 0x84
00000d03: ADD
00000d04: PUSH2 0x0209
00000d07: JUMP
00000d08: JUMPDEST
00000d09: ADDRESS
00000d0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1f: DUP6
00000d20: AND
00000d21: SUB
00000d22: PUSH2 0x0dad
00000d25: JUMPI
00000d26: PUSH1 0x40
00000d28: MLOAD
00000d29: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d4a: DUP2
00000d4b: MSTORE
00000d4c: PUSH1 0x20
00000d4e: PUSH1 0x04
00000d50: DUP3
00000d51: ADD
00000d52: MSTORE
00000d53: PUSH1 0x23
00000d55: PUSH1 0x24
00000d57: DUP3
00000d58: ADD
00000d59: MSTORE
00000d5a: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f2073
00000d7b: PUSH1 0x44
00000d7d: DUP3
00000d7e: ADD
00000d7f: MSTORE
00000d80: PUSH32 0x656c660000000000000000000000000000000000000000000000000000000000
00000da1: PUSH1 0x64
00000da3: DUP3
00000da4: ADD
00000da5: MSTORE
00000da6: PUSH1 0x84
00000da8: ADD
00000da9: PUSH2 0x0209
00000dac: JUMP
00000dad: JUMPDEST
00000dae: PUSH1 0x03
00000db0: SLOAD
00000db1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc6: SWAP1
00000dc7: DUP2
00000dc8: AND
00000dc9: SWAP1
00000dca: DUP6
00000dcb: AND
00000dcc: SUB
00000dcd: PUSH2 0x0e58
00000dd0: JUMPI
00000dd1: PUSH1 0x40
00000dd3: MLOAD
00000dd4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000df5: DUP2
00000df6: MSTORE
00000df7: PUSH1 0x20
00000df9: PUSH1 0x04
00000dfb: DUP3
00000dfc: ADD
00000dfd: MSTORE
00000dfe: PUSH1 0x28
00000e00: PUSH1 0x24
00000e02: DUP3
00000e03: ADD
00000e04: MSTORE
00000e05: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f206d
00000e26: PUSH1 0x44
00000e28: DUP3
00000e29: ADD
00000e2a: MSTORE
00000e2b: PUSH32 0x657373656e676572000000000000000000000000000000000000000000000000
00000e4c: PUSH1 0x64
00000e4e: DUP3
00000e4f: ADD
00000e50: MSTORE
00000e51: PUSH1 0x84
00000e53: ADD
00000e54: PUSH2 0x0209
00000e57: JUMP
00000e58: JUMPDEST
00000e59: PUSH2 0x0e9a
00000e5c: DUP6
00000e5d: DUP6
00000e5e: DUP6
00000e5f: DUP6
00000e60: DUP6
00000e61: DUP1
00000e62: DUP1
00000e63: PUSH1 0x1f
00000e65: ADD
00000e66: PUSH1 0x20
00000e68: DUP1
00000e69: SWAP2
00000e6a: DIV
00000e6b: MUL
00000e6c: PUSH1 0x20
00000e6e: ADD
00000e6f: PUSH1 0x40
00000e71: MLOAD
00000e72: SWAP1
00000e73: DUP2
00000e74: ADD
00000e75: PUSH1 0x40
00000e77: MSTORE
00000e78: DUP1
00000e79: SWAP4
00000e7a: SWAP3
00000e7b: SWAP2
00000e7c: SWAP1
00000e7d: DUP2
00000e7e: DUP2
00000e7f: MSTORE
00000e80: PUSH1 0x20
00000e82: ADD
00000e83: DUP4
00000e84: DUP4
00000e85: DUP1
00000e86: DUP3
00000e87: DUP5
00000e88: CALLDATACOPY
00000e89: PUSH1 0x00
00000e8b: SWAP3
00000e8c: ADD
00000e8d: SWAP2
00000e8e: SWAP1
00000e8f: SWAP2
00000e90: MSTORE
00000e91: POP
00000e92: PUSH2 0x1a15
00000e95: SWAP3
00000e96: POP
00000e97: POP
00000e98: POP
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: PUSH1 0x00
00000e9d: PUSH2 0x0eb7
00000ea0: DUP6
00000ea1: GAS
00000ea2: DUP7
00000ea3: PUSH1 0x40
00000ea5: MLOAD
00000ea6: DUP1
00000ea7: PUSH1 0x20
00000ea9: ADD
00000eaa: PUSH1 0x40
00000eac: MSTORE
00000ead: DUP1
00000eae: PUSH1 0x00
00000eb0: DUP2
00000eb1: MSTORE
00000eb2: POP
00000eb3: PUSH2 0x1a88
00000eb6: JUMP
00000eb7: JUMPDEST
00000eb8: SWAP1
00000eb9: POP
00000eba: DUP1
00000ebb: PUSH2 0x0f46
00000ebe: JUMPI
00000ebf: PUSH1 0x40
00000ec1: MLOAD
00000ec2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ee3: DUP2
00000ee4: MSTORE
00000ee5: PUSH1 0x20
00000ee7: PUSH1 0x04
00000ee9: DUP3
00000eea: ADD
00000eeb: MSTORE
00000eec: PUSH1 0x23
00000eee: PUSH1 0x24
00000ef0: DUP3
00000ef1: ADD
00000ef2: MSTORE
00000ef3: PUSH32 0x5374616e646172644272696467653a20455448207472616e7366657220666169
00000f14: PUSH1 0x44
00000f16: DUP3
00000f17: ADD
00000f18: MSTORE
00000f19: PUSH32 0x6c65640000000000000000000000000000000000000000000000000000000000
00000f3a: PUSH1 0x64
00000f3c: DUP3
00000f3d: ADD
00000f3e: MSTORE
00000f3f: PUSH1 0x84
00000f41: ADD
00000f42: PUSH2 0x0209
00000f45: JUMP
00000f46: JUMPDEST
00000f47: POP
00000f48: POP
00000f49: POP
00000f4a: POP
00000f4b: POP
00000f4c: POP
00000f4d: JUMP
00000f4e: JUMPDEST
00000f4f: PUSH1 0x00
00000f51: SLOAD
00000f52: PUSH2 0x0100
00000f55: SWAP1
00000f56: DIV
00000f57: PUSH1 0xff
00000f59: AND
00000f5a: ISZERO
00000f5b: DUP1
00000f5c: DUP1
00000f5d: ISZERO
00000f5e: PUSH2 0x0f6e
00000f61: JUMPI
00000f62: POP
00000f63: PUSH1 0x00
00000f65: SLOAD
00000f66: PUSH1 0x01
00000f68: PUSH1 0xff
00000f6a: SWAP1
00000f6b: SWAP2
00000f6c: AND
00000f6d: LT
00000f6e: JUMPDEST
00000f6f: DUP1
00000f70: PUSH2 0x0f88
00000f73: JUMPI
00000f74: POP
00000f75: ADDRESS
00000f76: EXTCODESIZE
00000f77: ISZERO
00000f78: DUP1
00000f79: ISZERO
00000f7a: PUSH2 0x0f88
00000f7d: JUMPI
00000f7e: POP
00000f7f: PUSH1 0x00
00000f81: SLOAD
00000f82: PUSH1 0xff
00000f84: AND
00000f85: PUSH1 0x01
00000f87: EQ
00000f88: JUMPDEST
00000f89: PUSH2 0x1014
00000f8c: JUMPI
00000f8d: PUSH1 0x40
00000f8f: MLOAD
00000f90: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fb1: DUP2
00000fb2: MSTORE
00000fb3: PUSH1 0x20
00000fb5: PUSH1 0x04
00000fb7: DUP3
00000fb8: ADD
00000fb9: MSTORE
00000fba: PUSH1 0x2e
00000fbc: PUSH1 0x24
00000fbe: DUP3
00000fbf: ADD
00000fc0: MSTORE
00000fc1: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000fe2: PUSH1 0x44
00000fe4: DUP3
00000fe5: ADD
00000fe6: MSTORE
00000fe7: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00001008: PUSH1 0x64
0000100a: DUP3
0000100b: ADD
0000100c: MSTORE
0000100d: PUSH1 0x84
0000100f: ADD
00001010: PUSH2 0x0209
00001013: JUMP
00001014: JUMPDEST
00001015: PUSH1 0x00
00001017: DUP1
00001018: SLOAD
00001019: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000103a: AND
0000103b: PUSH1 0x01
0000103d: OR
0000103e: SWAP1
0000103f: SSTORE
00001040: DUP1
00001041: ISZERO
00001042: PUSH2 0x1072
00001045: JUMPI
00001046: PUSH1 0x00
00001048: DUP1
00001049: SLOAD
0000104a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
0000106b: AND
0000106c: PUSH2 0x0100
0000106f: OR
00001070: SWAP1
00001071: SSTORE
00001072: JUMPDEST
00001073: PUSH1 0x32
00001075: DUP1
00001076: SLOAD
00001077: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001098: AND
00001099: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ae: DUP5
000010af: AND
000010b0: OR
000010b1: SWAP1
000010b2: SSTORE
000010b3: PUSH2 0x10d0
000010b6: DUP4
000010b7: PUSH20 0x4200000000000000000000000000000000000010
000010cc: PUSH2 0x1aa2
000010cf: JUMP
000010d0: JUMPDEST
000010d1: DUP1
000010d2: ISZERO
000010d3: PUSH2 0x0a6c
000010d6: JUMPI
000010d7: PUSH1 0x00
000010d9: DUP1
000010da: SLOAD
000010db: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000010fc: AND
000010fd: SWAP1
000010fe: SSTORE
000010ff: PUSH1 0x40
00001101: MLOAD
00001102: PUSH1 0x01
00001104: DUP2
00001105: MSTORE
00001106: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00001127: SWAP1
00001128: PUSH1 0x20
0000112a: ADD
0000112b: PUSH1 0x40
0000112d: MLOAD
0000112e: DUP1
0000112f: SWAP2
00001130: SUB
00001131: SWAP1
00001132: LOG1
00001133: POP
00001134: POP
00001135: POP
00001136: JUMP
00001137: JUMPDEST
00001138: PUSH2 0x0991
0000113b: DUP8
0000113c: DUP8
0000113d: CALLER
0000113e: DUP9
0000113f: DUP9
00001140: DUP9
00001141: DUP9
00001142: DUP9
00001143: DUP1
00001144: DUP1
00001145: PUSH1 0x1f
00001147: ADD
00001148: PUSH1 0x20
0000114a: DUP1
0000114b: SWAP2
0000114c: DIV
0000114d: MUL
0000114e: PUSH1 0x20
00001150: ADD
00001151: PUSH1 0x40
00001153: MLOAD
00001154: SWAP1
00001155: DUP2
00001156: ADD
00001157: PUSH1 0x40
00001159: MSTORE
0000115a: DUP1
0000115b: SWAP4
0000115c: SWAP3
0000115d: SWAP2
0000115e: SWAP1
0000115f: DUP2
00001160: DUP2
00001161: MSTORE
00001162: PUSH1 0x20
00001164: ADD
00001165: DUP4
00001166: DUP4
00001167: DUP1
00001168: DUP3
00001169: DUP5
0000116a: CALLDATACOPY
0000116b: PUSH1 0x00
0000116d: SWAP3
0000116e: ADD
0000116f: SWAP2
00001170: SWAP1
00001171: SWAP2
00001172: MSTORE
00001173: POP
00001174: PUSH2 0x1b8c
00001177: SWAP3
00001178: POP
00001179: POP
0000117a: POP
0000117b: JUMP
0000117c: JUMPDEST
0000117d: CALLER
0000117e: EXTCODESIZE
0000117f: ISZERO
00001180: PUSH2 0x120b
00001183: JUMPI
00001184: PUSH1 0x40
00001186: MLOAD
00001187: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011a8: DUP2
000011a9: MSTORE
000011aa: PUSH1 0x20
000011ac: PUSH1 0x04
000011ae: DUP3
000011af: ADD
000011b0: MSTORE
000011b1: PUSH1 0x37
000011b3: PUSH1 0x24
000011b5: DUP3
000011b6: ADD
000011b7: MSTORE
000011b8: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000011d9: PUSH1 0x44
000011db: DUP3
000011dc: ADD
000011dd: MSTORE
000011de: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
000011ff: PUSH1 0x64
00001201: DUP3
00001202: ADD
00001203: MSTORE
00001204: PUSH1 0x84
00001206: ADD
00001207: PUSH2 0x0209
0000120a: JUMP
0000120b: JUMPDEST
0000120c: PUSH2 0x0f46
0000120f: DUP7
00001210: DUP7
00001211: CALLER
00001212: CALLER
00001213: DUP9
00001214: DUP9
00001215: DUP9
00001216: DUP9
00001217: DUP1
00001218: DUP1
00001219: PUSH1 0x1f
0000121b: ADD
0000121c: PUSH1 0x20
0000121e: DUP1
0000121f: SWAP2
00001220: DIV
00001221: MUL
00001222: PUSH1 0x20
00001224: ADD
00001225: PUSH1 0x40
00001227: MLOAD
00001228: SWAP1
00001229: DUP2
0000122a: ADD
0000122b: PUSH1 0x40
0000122d: MSTORE
0000122e: DUP1
0000122f: SWAP4
00001230: SWAP3
00001231: SWAP2
00001232: SWAP1
00001233: DUP2
00001234: DUP2
00001235: MSTORE
00001236: PUSH1 0x20
00001238: ADD
00001239: DUP4
0000123a: DUP4
0000123b: DUP1
0000123c: DUP3
0000123d: DUP5
0000123e: CALLDATACOPY
0000123f: PUSH1 0x00
00001241: SWAP3
00001242: ADD
00001243: SWAP2
00001244: SWAP1
00001245: SWAP2
00001246: MSTORE
00001247: POP
00001248: PUSH2 0x1eb7
0000124b: SWAP3
0000124c: POP
0000124d: POP
0000124e: POP
0000124f: JUMP
00001250: JUMPDEST
00001251: PUSH1 0x32
00001253: SLOAD
00001254: PUSH1 0x40
00001256: DUP1
00001257: MLOAD
00001258: PUSH32 0x5c975abb00000000000000000000000000000000000000000000000000000000
00001279: DUP2
0000127a: MSTORE
0000127b: SWAP1
0000127c: MLOAD
0000127d: PUSH1 0x00
0000127f: SWAP3
00001280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001295: AND
00001296: SWAP2
00001297: PUSH4 0x5c975abb
0000129c: SWAP2
0000129d: PUSH1 0x04
0000129f: DUP1
000012a0: DUP4
000012a1: ADD
000012a2: SWAP3
000012a3: PUSH1 0x20
000012a5: SWAP3
000012a6: SWAP2
000012a7: SWAP1
000012a8: DUP3
000012a9: SWAP1
000012aa: SUB
000012ab: ADD
000012ac: DUP2
000012ad: DUP7
000012ae: GAS
000012af: STATICCALL
000012b0: ISZERO
000012b1: DUP1
000012b2: ISZERO
000012b3: PUSH2 0x12c0
000012b6: JUMPI
000012b7: RETURNDATASIZE
000012b8: PUSH1 0x00
000012ba: DUP1
000012bb: RETURNDATACOPY
000012bc: RETURNDATASIZE
000012bd: PUSH1 0x00
000012bf: REVERT
000012c0: JUMPDEST
000012c1: POP
000012c2: POP
000012c3: POP
000012c4: POP
000012c5: PUSH1 0x40
000012c7: MLOAD
000012c8: RETURNDATASIZE
000012c9: PUSH1 0x1f
000012cb: NOT
000012cc: PUSH1 0x1f
000012ce: DUP3
000012cf: ADD
000012d0: AND
000012d1: DUP3
000012d2: ADD
000012d3: DUP1
000012d4: PUSH1 0x40
000012d6: MSTORE
000012d7: POP
000012d8: DUP2
000012d9: ADD
000012da: SWAP1
000012db: PUSH2 0x12e4
000012de: SWAP2
000012df: SWAP1
000012e0: PUSH2 0x2aaa
000012e3: JUMP
000012e4: JUMPDEST
000012e5: SWAP1
000012e6: POP
000012e7: SWAP1
000012e8: JUMP
000012e9: JUMPDEST
000012ea: PUSH2 0x0991
000012ed: DUP8
000012ee: DUP8
000012ef: CALLER
000012f0: DUP9
000012f1: DUP9
000012f2: DUP9
000012f3: DUP9
000012f4: DUP9
000012f5: DUP1
000012f6: DUP1
000012f7: PUSH1 0x1f
000012f9: ADD
000012fa: PUSH1 0x20
000012fc: DUP1
000012fd: SWAP2
000012fe: DIV
000012ff: MUL
00001300: PUSH1 0x20
00001302: ADD
00001303: PUSH1 0x40
00001305: MLOAD
00001306: SWAP1
00001307: DUP2
00001308: ADD
00001309: PUSH1 0x40
0000130b: MSTORE
0000130c: DUP1
0000130d: SWAP4
0000130e: SWAP3
0000130f: SWAP2
00001310: SWAP1
00001311: DUP2
00001312: DUP2
00001313: MSTORE
00001314: PUSH1 0x20
00001316: ADD
00001317: DUP4
00001318: DUP4
00001319: DUP1
0000131a: DUP3
0000131b: DUP5
0000131c: CALLDATACOPY
0000131d: PUSH1 0x00
0000131f: SWAP3
00001320: ADD
00001321: SWAP2
00001322: SWAP1
00001323: SWAP2
00001324: MSTORE
00001325: POP
00001326: PUSH2 0x1eb7
00001329: SWAP3
0000132a: POP
0000132b: POP
0000132c: POP
0000132d: JUMP
0000132e: JUMPDEST
0000132f: CALLER
00001330: EXTCODESIZE
00001331: ISZERO
00001332: PUSH2 0x13bd
00001335: JUMPI
00001336: PUSH1 0x40
00001338: MLOAD
00001339: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000135a: DUP2
0000135b: MSTORE
0000135c: PUSH1 0x20
0000135e: PUSH1 0x04
00001360: DUP3
00001361: ADD
00001362: MSTORE
00001363: PUSH1 0x37
00001365: PUSH1 0x24
00001367: DUP3
00001368: ADD
00001369: MSTORE
0000136a: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
0000138b: PUSH1 0x44
0000138d: DUP3
0000138e: ADD
0000138f: MSTORE
00001390: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
000013b1: PUSH1 0x64
000013b3: DUP3
000013b4: ADD
000013b5: MSTORE
000013b6: PUSH1 0x84
000013b8: ADD
000013b9: PUSH2 0x0209
000013bc: JUMP
000013bd: JUMPDEST
000013be: PUSH2 0x0f46
000013c1: DUP7
000013c2: DUP7
000013c3: CALLER
000013c4: CALLER
000013c5: DUP9
000013c6: DUP9
000013c7: DUP9
000013c8: DUP9
000013c9: DUP1
000013ca: DUP1
000013cb: PUSH1 0x1f
000013cd: ADD
000013ce: PUSH1 0x20
000013d0: DUP1
000013d1: SWAP2
000013d2: DIV
000013d3: MUL
000013d4: PUSH1 0x20
000013d6: ADD
000013d7: PUSH1 0x40
000013d9: MLOAD
000013da: SWAP1
000013db: DUP2
000013dc: ADD
000013dd: PUSH1 0x40
000013df: MSTORE
000013e0: DUP1
000013e1: SWAP4
000013e2: SWAP3
000013e3: SWAP2
000013e4: SWAP1
000013e5: DUP2
000013e6: DUP2
000013e7: MSTORE
000013e8: PUSH1 0x20
000013ea: ADD
000013eb: DUP4
000013ec: DUP4
000013ed: DUP1
000013ee: DUP3
000013ef: DUP5
000013f0: CALLDATACOPY
000013f1: PUSH1 0x00
000013f3: SWAP3
000013f4: ADD
000013f5: SWAP2
000013f6: SWAP1
000013f7: SWAP2
000013f8: MSTORE
000013f9: POP
000013fa: PUSH2 0x1b8c
000013fd: SWAP3
000013fe: POP
000013ff: POP
00001400: POP
00001401: JUMP
00001402: JUMPDEST
00001403: PUSH2 0x057a
00001406: CALLER
00001407: DUP6
00001408: DUP6
00001409: DUP6
0000140a: DUP6
0000140b: DUP1
0000140c: DUP1
0000140d: PUSH1 0x1f
0000140f: ADD
00001410: PUSH1 0x20
00001412: DUP1
00001413: SWAP2
00001414: DIV
00001415: MUL
00001416: PUSH1 0x20
00001418: ADD
00001419: PUSH1 0x40
0000141b: MLOAD
0000141c: SWAP1
0000141d: DUP2
0000141e: ADD
0000141f: PUSH1 0x40
00001421: MSTORE
00001422: DUP1
00001423: SWAP4
00001424: SWAP3
00001425: SWAP2
00001426: SWAP1
00001427: DUP2
00001428: DUP2
00001429: MSTORE
0000142a: PUSH1 0x20
0000142c: ADD
0000142d: DUP4
0000142e: DUP4
0000142f: DUP1
00001430: DUP3
00001431: DUP5
00001432: CALLDATACOPY
00001433: PUSH1 0x00
00001435: SWAP3
00001436: ADD
00001437: SWAP2
00001438: SWAP1
00001439: SWAP2
0000143a: MSTORE
0000143b: POP
0000143c: PUSH2 0x056d
0000143f: SWAP3
00001440: POP
00001441: POP
00001442: POP
00001443: JUMP
00001444: JUMPDEST
00001445: PUSH2 0x0991
00001448: DUP8
00001449: DUP8
0000144a: DUP8
0000144b: DUP8
0000144c: DUP8
0000144d: DUP8
0000144e: DUP8
0000144f: PUSH2 0x0580
00001452: JUMP
00001453: JUMPDEST
00001454: CALLER
00001455: EXTCODESIZE
00001456: ISZERO
00001457: PUSH2 0x14e2
0000145a: JUMPI
0000145b: PUSH1 0x40
0000145d: MLOAD
0000145e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000147f: DUP2
00001480: MSTORE
00001481: PUSH1 0x20
00001483: PUSH1 0x04
00001485: DUP3
00001486: ADD
00001487: MSTORE
00001488: PUSH1 0x37
0000148a: PUSH1 0x24
0000148c: DUP3
0000148d: ADD
0000148e: MSTORE
0000148f: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000014b0: PUSH1 0x44
000014b2: DUP3
000014b3: ADD
000014b4: MSTORE
000014b5: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
000014d6: PUSH1 0x64
000014d8: DUP3
000014d9: ADD
000014da: MSTORE
000014db: PUSH1 0x84
000014dd: ADD
000014de: PUSH2 0x0209
000014e1: JUMP
000014e2: JUMPDEST
000014e3: PUSH2 0x0a6c
000014e6: CALLER
000014e7: CALLER
000014e8: DUP6
000014e9: DUP6
000014ea: DUP6
000014eb: DUP1
000014ec: DUP1
000014ed: PUSH1 0x1f
000014ef: ADD
000014f0: PUSH1 0x20
000014f2: DUP1
000014f3: SWAP2
000014f4: DIV
000014f5: MUL
000014f6: PUSH1 0x20
000014f8: ADD
000014f9: PUSH1 0x40
000014fb: MLOAD
000014fc: SWAP1
000014fd: DUP2
000014fe: ADD
000014ff: PUSH1 0x40
00001501: MSTORE
00001502: DUP1
00001503: SWAP4
00001504: SWAP3
00001505: SWAP2
00001506: SWAP1
00001507: DUP2
00001508: DUP2
00001509: MSTORE
0000150a: PUSH1 0x20
0000150c: ADD
0000150d: DUP4
0000150e: DUP4
0000150f: DUP1
00001510: DUP3
00001511: DUP5
00001512: CALLDATACOPY
00001513: PUSH1 0x00
00001515: SWAP3
00001516: ADD
00001517: SWAP2
00001518: SWAP1
00001519: SWAP2
0000151a: MSTORE
0000151b: POP
0000151c: PUSH2 0x056d
0000151f: SWAP3
00001520: POP
00001521: POP
00001522: POP
00001523: JUMP
00001524: JUMPDEST
00001525: PUSH2 0x057a
00001528: CALLER
00001529: DUP6
0000152a: CALLVALUE
0000152b: DUP7
0000152c: DUP7
0000152d: DUP7
0000152e: DUP1
0000152f: DUP1
00001530: PUSH1 0x1f
00001532: ADD
00001533: PUSH1 0x20
00001535: DUP1
00001536: SWAP2
00001537: DIV
00001538: MUL
00001539: PUSH1 0x20
0000153b: ADD
0000153c: PUSH1 0x40
0000153e: MLOAD
0000153f: SWAP1
00001540: DUP2
00001541: ADD
00001542: PUSH1 0x40
00001544: MSTORE
00001545: DUP1
00001546: SWAP4
00001547: SWAP3
00001548: SWAP2
00001549: SWAP1
0000154a: DUP2
0000154b: DUP2
0000154c: MSTORE
0000154d: PUSH1 0x20
0000154f: ADD
00001550: DUP4
00001551: DUP4
00001552: DUP1
00001553: DUP3
00001554: DUP5
00001555: CALLDATACOPY
00001556: PUSH1 0x00
00001558: SWAP3
00001559: ADD
0000155a: SWAP2
0000155b: SWAP1
0000155c: SWAP2
0000155d: MSTORE
0000155e: POP
0000155f: PUSH2 0x1567
00001562: SWAP3
00001563: POP
00001564: POP
00001565: POP
00001566: JUMP
00001567: JUMPDEST
00001568: DUP3
00001569: CALLVALUE
0000156a: EQ
0000156b: PUSH2 0x15f6
0000156e: JUMPI
0000156f: PUSH1 0x40
00001571: MLOAD
00001572: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001593: DUP2
00001594: MSTORE
00001595: PUSH1 0x20
00001597: PUSH1 0x04
00001599: DUP3
0000159a: ADD
0000159b: MSTORE
0000159c: PUSH1 0x3e
0000159e: PUSH1 0x24
000015a0: DUP3
000015a1: ADD
000015a2: MSTORE
000015a3: PUSH32 0x5374616e646172644272696467653a206272696467696e6720455448206d7573
000015c4: PUSH1 0x44
000015c6: DUP3
000015c7: ADD
000015c8: MSTORE
000015c9: PUSH32 0x7420696e636c7564652073756666696369656e74204554482076616c75650000
000015ea: PUSH1 0x64
000015ec: DUP3
000015ed: ADD
000015ee: MSTORE
000015ef: PUSH1 0x84
000015f1: ADD
000015f2: PUSH2 0x0209
000015f5: JUMP
000015f6: JUMPDEST
000015f7: PUSH2 0x1602
000015fa: DUP6
000015fb: DUP6
000015fc: DUP6
000015fd: DUP5
000015fe: PUSH2 0x1ec6
00001601: JUMP
00001602: JUMPDEST
00001603: PUSH1 0x03
00001605: SLOAD
00001606: PUSH1 0x04
00001608: SLOAD
00001609: PUSH1 0x40
0000160b: MLOAD
0000160c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001621: SWAP3
00001622: DUP4
00001623: AND
00001624: SWAP3
00001625: PUSH4 0x3dbb202b
0000162a: SWAP3
0000162b: DUP8
0000162c: SWAP3
0000162d: SWAP2
0000162e: AND
0000162f: SWAP1
00001630: PUSH32 0x1635f5fd00000000000000000000000000000000000000000000000000000000
00001651: SWAP1
00001652: PUSH2 0x1665
00001655: SWAP1
00001656: DUP12
00001657: SWAP1
00001658: DUP12
00001659: SWAP1
0000165a: DUP7
0000165b: SWAP1
0000165c: DUP11
0000165d: SWAP1
0000165e: PUSH1 0x24
00001660: ADD
00001661: PUSH2 0x2acc
00001664: JUMP
00001665: JUMPDEST
00001666: PUSH1 0x40
00001668: DUP1
00001669: MLOAD
0000166a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000168b: DUP2
0000168c: DUP5
0000168d: SUB
0000168e: ADD
0000168f: DUP2
00001690: MSTORE
00001691: SWAP2
00001692: DUP2
00001693: MSTORE
00001694: PUSH1 0x20
00001696: DUP3
00001697: ADD
00001698: DUP1
00001699: MLOAD
0000169a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016b7: AND
000016b8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000016d9: SWAP5
000016da: DUP6
000016db: AND
000016dc: OR
000016dd: SWAP1
000016de: MSTORE
000016df: MLOAD
000016e0: PUSH1 0xe0
000016e2: DUP7
000016e3: SWAP1
000016e4: SHL
000016e5: SWAP1
000016e6: SWAP3
000016e7: AND
000016e8: DUP3
000016e9: MSTORE
000016ea: PUSH2 0x16f8
000016ed: SWAP3
000016ee: SWAP2
000016ef: DUP9
000016f0: SWAP1
000016f1: PUSH1 0x04
000016f3: ADD
000016f4: PUSH2 0x2b15
000016f7: JUMP
000016f8: JUMPDEST
000016f9: PUSH1 0x00
000016fb: PUSH1 0x40
000016fd: MLOAD
000016fe: DUP1
000016ff: DUP4
00001700: SUB
00001701: DUP2
00001702: DUP6
00001703: DUP9
00001704: DUP1
00001705: EXTCODESIZE
00001706: ISZERO
00001707: DUP1
00001708: ISZERO
00001709: PUSH2 0x1711
0000170c: JUMPI
0000170d: PUSH1 0x00
0000170f: DUP1
00001710: REVERT
00001711: JUMPDEST
00001712: POP
00001713: GAS
00001714: CALL
00001715: ISZERO
00001716: DUP1
00001717: ISZERO
00001718: PUSH2 0x1725
0000171b: JUMPI
0000171c: RETURNDATASIZE
0000171d: PUSH1 0x00
0000171f: DUP1
00001720: RETURNDATACOPY
00001721: RETURNDATASIZE
00001722: PUSH1 0x00
00001724: REVERT
00001725: JUMPDEST
00001726: POP
00001727: POP
00001728: POP
00001729: POP
0000172a: POP
0000172b: POP
0000172c: POP
0000172d: POP
0000172e: POP
0000172f: POP
00001730: JUMP
00001731: JUMPDEST
00001732: PUSH1 0x00
00001734: PUSH2 0x175d
00001737: DUP3
00001738: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
00001759: PUSH2 0x1f39
0000175c: JUMP
0000175d: JUMPDEST
0000175e: DUP1
0000175f: PUSH2 0x178d
00001762: JUMPI
00001763: POP
00001764: PUSH2 0x178d
00001767: DUP3
00001768: PUSH32 0xec4fc8e300000000000000000000000000000000000000000000000000000000
00001789: PUSH2 0x1f39
0000178c: JUMP
0000178d: JUMPDEST
0000178e: SWAP3
0000178f: SWAP2
00001790: POP
00001791: POP
00001792: JUMP
00001793: JUMPDEST
00001794: PUSH1 0x00
00001796: PUSH2 0x17bf
00001799: DUP4
0000179a: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
000017bb: PUSH2 0x1f39
000017be: JUMP
000017bf: JUMPDEST
000017c0: ISZERO
000017c1: PUSH2 0x1868
000017c4: JUMPI
000017c5: DUP3
000017c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017db: AND
000017dc: PUSH4 0xc01e1bd6
000017e1: PUSH1 0x40
000017e3: MLOAD
000017e4: DUP2
000017e5: PUSH4 0xffffffff
000017ea: AND
000017eb: PUSH1 0xe0
000017ed: SHL
000017ee: DUP2
000017ef: MSTORE
000017f0: PUSH1 0x04
000017f2: ADD
000017f3: PUSH1 0x20
000017f5: PUSH1 0x40
000017f7: MLOAD
000017f8: DUP1
000017f9: DUP4
000017fa: SUB
000017fb: DUP2
000017fc: DUP7
000017fd: GAS
000017fe: STATICCALL
000017ff: ISZERO
00001800: DUP1
00001801: ISZERO
00001802: PUSH2 0x180f
00001805: JUMPI
00001806: RETURNDATASIZE
00001807: PUSH1 0x00
00001809: DUP1
0000180a: RETURNDATACOPY
0000180b: RETURNDATASIZE
0000180c: PUSH1 0x00
0000180e: REVERT
0000180f: JUMPDEST
00001810: POP
00001811: POP
00001812: POP
00001813: POP
00001814: PUSH1 0x40
00001816: MLOAD
00001817: RETURNDATASIZE
00001818: PUSH1 0x1f
0000181a: NOT
0000181b: PUSH1 0x1f
0000181d: DUP3
0000181e: ADD
0000181f: AND
00001820: DUP3
00001821: ADD
00001822: DUP1
00001823: PUSH1 0x40
00001825: MSTORE
00001826: POP
00001827: DUP2
00001828: ADD
00001829: SWAP1
0000182a: PUSH2 0x1833
0000182d: SWAP2
0000182e: SWAP1
0000182f: PUSH2 0x2a47
00001832: JUMP
00001833: JUMPDEST
00001834: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001849: AND
0000184a: DUP3
0000184b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001860: AND
00001861: EQ
00001862: SWAP1
00001863: POP
00001864: PUSH2 0x178d
00001867: JUMP
00001868: JUMPDEST
00001869: DUP3
0000186a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187f: AND
00001880: PUSH4 0xd6c0b2c4
00001885: PUSH1 0x40
00001887: MLOAD
00001888: DUP2
00001889: PUSH4 0xffffffff
0000188e: AND
0000188f: PUSH1 0xe0
00001891: SHL
00001892: DUP2
00001893: MSTORE
00001894: PUSH1 0x04
00001896: ADD
00001897: PUSH1 0x20
00001899: PUSH1 0x40
0000189b: MLOAD
0000189c: DUP1
0000189d: DUP4
0000189e: SUB
0000189f: DUP2
000018a0: DUP7
000018a1: GAS
000018a2: STATICCALL
000018a3: ISZERO
000018a4: DUP1
000018a5: ISZERO
000018a6: PUSH2 0x180f
000018a9: JUMPI
000018aa: RETURNDATASIZE
000018ab: PUSH1 0x00
000018ad: DUP1
000018ae: RETURNDATACOPY
000018af: RETURNDATASIZE
000018b0: PUSH1 0x00
000018b2: REVERT
000018b3: JUMPDEST
000018b4: PUSH1 0x40
000018b6: MLOAD
000018b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018cc: DUP4
000018cd: AND
000018ce: PUSH1 0x24
000018d0: DUP3
000018d1: ADD
000018d2: MSTORE
000018d3: PUSH1 0x44
000018d5: DUP2
000018d6: ADD
000018d7: DUP3
000018d8: SWAP1
000018d9: MSTORE
000018da: PUSH2 0x0a6c
000018dd: SWAP1
000018de: DUP5
000018df: SWAP1
000018e0: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001901: SWAP1
00001902: PUSH1 0x64
00001904: ADD
00001905: JUMPDEST
00001906: PUSH1 0x40
00001908: DUP1
00001909: MLOAD
0000190a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000192b: DUP2
0000192c: DUP5
0000192d: SUB
0000192e: ADD
0000192f: DUP2
00001930: MSTORE
00001931: SWAP2
00001932: SWAP1
00001933: MSTORE
00001934: PUSH1 0x20
00001936: DUP2
00001937: ADD
00001938: DUP1
00001939: MLOAD
0000193a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001957: AND
00001958: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001979: SWAP1
0000197a: SWAP4
0000197b: AND
0000197c: SWAP3
0000197d: SWAP1
0000197e: SWAP3
0000197f: OR
00001980: SWAP1
00001981: SWAP2
00001982: MSTORE
00001983: PUSH2 0x1f5c
00001986: JUMP
00001987: JUMPDEST
00001988: DUP4
00001989: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000199e: AND
0000199f: DUP6
000019a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b5: AND
000019b6: DUP8
000019b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019cc: AND
000019cd: PUSH32 0x3ceee06c1e37648fcbb6ed52e17b3e1f275a1f8c7b22a84b2b84732431e046b3
000019ee: DUP7
000019ef: DUP7
000019f0: DUP7
000019f1: PUSH1 0x40
000019f3: MLOAD
000019f4: PUSH2 0x19ff
000019f7: SWAP4
000019f8: SWAP3
000019f9: SWAP2
000019fa: SWAP1
000019fb: PUSH2 0x2b5a
000019fe: JUMP
000019ff: JUMPDEST
00001a00: PUSH1 0x40
00001a02: MLOAD
00001a03: DUP1
00001a04: SWAP2
00001a05: SUB
00001a06: SWAP1
00001a07: LOG4
00001a08: PUSH2 0x0f46
00001a0b: DUP7
00001a0c: DUP7
00001a0d: DUP7
00001a0e: DUP7
00001a0f: DUP7
00001a10: DUP7
00001a11: PUSH2 0x2068
00001a14: JUMP
00001a15: JUMPDEST
00001a16: DUP3
00001a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a2c: AND
00001a2d: DUP5
00001a2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a43: AND
00001a44: PUSH32 0x2ac69ee804d9a7a0984249f508dfab7cb2534b465b6ce1580f99a38ba9c5e631
00001a65: DUP5
00001a66: DUP5
00001a67: PUSH1 0x40
00001a69: MLOAD
00001a6a: PUSH2 0x1a74
00001a6d: SWAP3
00001a6e: SWAP2
00001a6f: SWAP1
00001a70: PUSH2 0x2b98
00001a73: JUMP
00001a74: JUMPDEST
00001a75: PUSH1 0x40
00001a77: MLOAD
00001a78: DUP1
00001a79: SWAP2
00001a7a: SUB
00001a7b: SWAP1
00001a7c: LOG3
00001a7d: PUSH2 0x057a
00001a80: DUP5
00001a81: DUP5
00001a82: DUP5
00001a83: DUP5
00001a84: PUSH2 0x20f0
00001a87: JUMP
00001a88: JUMPDEST
00001a89: PUSH1 0x00
00001a8b: DUP1
00001a8c: PUSH1 0x00
00001a8e: DUP1
00001a8f: DUP5
00001a90: MLOAD
00001a91: PUSH1 0x20
00001a93: DUP7
00001a94: ADD
00001a95: DUP8
00001a96: DUP11
00001a97: DUP11
00001a98: CALL
00001a99: SWAP7
00001a9a: SWAP6
00001a9b: POP
00001a9c: POP
00001a9d: POP
00001a9e: POP
00001a9f: POP
00001aa0: POP
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: PUSH1 0x00
00001aa5: SLOAD
00001aa6: PUSH2 0x0100
00001aa9: SWAP1
00001aaa: DIV
00001aab: PUSH1 0xff
00001aad: AND
00001aae: PUSH2 0x1b39
00001ab1: JUMPI
00001ab2: PUSH1 0x40
00001ab4: MLOAD
00001ab5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ad6: DUP2
00001ad7: MSTORE
00001ad8: PUSH1 0x20
00001ada: PUSH1 0x04
00001adc: DUP3
00001add: ADD
00001ade: MSTORE
00001adf: PUSH1 0x2b
00001ae1: PUSH1 0x24
00001ae3: DUP3
00001ae4: ADD
00001ae5: MSTORE
00001ae6: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001b07: PUSH1 0x44
00001b09: DUP3
00001b0a: ADD
00001b0b: MSTORE
00001b0c: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00001b2d: PUSH1 0x64
00001b2f: DUP3
00001b30: ADD
00001b31: MSTORE
00001b32: PUSH1 0x84
00001b34: ADD
00001b35: PUSH2 0x0209
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: PUSH1 0x03
00001b3c: DUP1
00001b3d: SLOAD
00001b3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b53: SWAP4
00001b54: DUP5
00001b55: AND
00001b56: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001b77: SWAP2
00001b78: DUP3
00001b79: AND
00001b7a: OR
00001b7b: SWAP1
00001b7c: SWAP2
00001b7d: SSTORE
00001b7e: PUSH1 0x04
00001b80: DUP1
00001b81: SLOAD
00001b82: SWAP3
00001b83: SWAP1
00001b84: SWAP4
00001b85: AND
00001b86: SWAP2
00001b87: AND
00001b88: OR
00001b89: SWAP1
00001b8a: SSTORE
00001b8b: JUMP
00001b8c: JUMPDEST
00001b8d: PUSH2 0x1b95
00001b90: DUP8
00001b91: PUSH2 0x1731
00001b94: JUMP
00001b95: JUMPDEST
00001b96: ISZERO
00001b97: PUSH2 0x1ce3
00001b9a: JUMPI
00001b9b: PUSH2 0x1ba4
00001b9e: DUP8
00001b9f: DUP8
00001ba0: PUSH2 0x1793
00001ba3: JUMP
00001ba4: JUMPDEST
00001ba5: PUSH2 0x1c56
00001ba8: JUMPI
00001ba9: PUSH1 0x40
00001bab: MLOAD
00001bac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bcd: DUP2
00001bce: MSTORE
00001bcf: PUSH1 0x20
00001bd1: PUSH1 0x04
00001bd3: DUP3
00001bd4: ADD
00001bd5: MSTORE
00001bd6: PUSH1 0x4a
00001bd8: PUSH1 0x24
00001bda: DUP3
00001bdb: ADD
00001bdc: MSTORE
00001bdd: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
00001bfe: PUSH1 0x44
00001c00: DUP3
00001c01: ADD
00001c02: MSTORE
00001c03: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
00001c24: PUSH1 0x64
00001c26: DUP3
00001c27: ADD
00001c28: MSTORE
00001c29: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
00001c4a: PUSH1 0x84
00001c4c: DUP3
00001c4d: ADD
00001c4e: MSTORE
00001c4f: PUSH1 0xa4
00001c51: ADD
00001c52: PUSH2 0x0209
00001c55: JUMP
00001c56: JUMPDEST
00001c57: PUSH1 0x40
00001c59: MLOAD
00001c5a: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000
00001c7b: DUP2
00001c7c: MSTORE
00001c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c92: DUP7
00001c93: DUP2
00001c94: AND
00001c95: PUSH1 0x04
00001c97: DUP4
00001c98: ADD
00001c99: MSTORE
00001c9a: PUSH1 0x24
00001c9c: DUP3
00001c9d: ADD
00001c9e: DUP6
00001c9f: SWAP1
00001ca0: MSTORE
00001ca1: DUP9
00001ca2: AND
00001ca3: SWAP1
00001ca4: PUSH4 0x9dc29fac
00001ca9: SWAP1
00001caa: PUSH1 0x44
00001cac: ADD
00001cad: PUSH1 0x00
00001caf: PUSH1 0x40
00001cb1: MLOAD
00001cb2: DUP1
00001cb3: DUP4
00001cb4: SUB
00001cb5: DUP2
00001cb6: PUSH1 0x00
00001cb8: DUP8
00001cb9: DUP1
00001cba: EXTCODESIZE
00001cbb: ISZERO
00001cbc: DUP1
00001cbd: ISZERO
00001cbe: PUSH2 0x1cc6
00001cc1: JUMPI
00001cc2: PUSH1 0x00
00001cc4: DUP1
00001cc5: REVERT
00001cc6: JUMPDEST
00001cc7: POP
00001cc8: GAS
00001cc9: CALL
00001cca: ISZERO
00001ccb: DUP1
00001ccc: ISZERO
00001ccd: PUSH2 0x1cda
00001cd0: JUMPI
00001cd1: RETURNDATASIZE
00001cd2: PUSH1 0x00
00001cd4: DUP1
00001cd5: RETURNDATACOPY
00001cd6: RETURNDATASIZE
00001cd7: PUSH1 0x00
00001cd9: REVERT
00001cda: JUMPDEST
00001cdb: POP
00001cdc: POP
00001cdd: POP
00001cde: POP
00001cdf: PUSH2 0x1d77
00001ce2: JUMP
00001ce3: JUMPDEST
00001ce4: PUSH2 0x1d05
00001ce7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfc: DUP9
00001cfd: AND
00001cfe: DUP7
00001cff: ADDRESS
00001d00: DUP7
00001d01: PUSH2 0x215d
00001d04: JUMP
00001d05: JUMPDEST
00001d06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d1b: DUP1
00001d1c: DUP9
00001d1d: AND
00001d1e: PUSH1 0x00
00001d20: SWAP1
00001d21: DUP2
00001d22: MSTORE
00001d23: PUSH1 0x02
00001d25: PUSH1 0x20
00001d27: SWAP1
00001d28: DUP2
00001d29: MSTORE
00001d2a: PUSH1 0x40
00001d2c: DUP1
00001d2d: DUP4
00001d2e: KECCAK256
00001d2f: SWAP4
00001d30: DUP11
00001d31: AND
00001d32: DUP4
00001d33: MSTORE
00001d34: SWAP3
00001d35: SWAP1
00001d36: MSTORE
00001d37: KECCAK256
00001d38: SLOAD
00001d39: PUSH2 0x1d43
00001d3c: SWAP1
00001d3d: DUP5
00001d3e: SWAP1
00001d3f: PUSH2 0x2bb1
00001d42: JUMP
00001d43: JUMPDEST
00001d44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d59: DUP1
00001d5a: DUP10
00001d5b: AND
00001d5c: PUSH1 0x00
00001d5e: SWAP1
00001d5f: DUP2
00001d60: MSTORE
00001d61: PUSH1 0x02
00001d63: PUSH1 0x20
00001d65: SWAP1
00001d66: DUP2
00001d67: MSTORE
00001d68: PUSH1 0x40
00001d6a: DUP1
00001d6b: DUP4
00001d6c: KECCAK256
00001d6d: SWAP4
00001d6e: DUP12
00001d6f: AND
00001d70: DUP4
00001d71: MSTORE
00001d72: SWAP3
00001d73: SWAP1
00001d74: MSTORE
00001d75: KECCAK256
00001d76: SSTORE
00001d77: JUMPDEST
00001d78: PUSH2 0x1d85
00001d7b: DUP8
00001d7c: DUP8
00001d7d: DUP8
00001d7e: DUP8
00001d7f: DUP8
00001d80: DUP7
00001d81: PUSH2 0x21bb
00001d84: JUMP
00001d85: JUMPDEST
00001d86: PUSH1 0x03
00001d88: SLOAD
00001d89: PUSH1 0x04
00001d8b: SLOAD
00001d8c: PUSH1 0x40
00001d8e: MLOAD
00001d8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da4: SWAP3
00001da5: DUP4
00001da6: AND
00001da7: SWAP3
00001da8: PUSH4 0x3dbb202b
00001dad: SWAP3
00001dae: AND
00001daf: SWAP1
00001db0: PUSH32 0x0166a07a00000000000000000000000000000000000000000000000000000000
00001dd1: SWAP1
00001dd2: PUSH2 0x1de9
00001dd5: SWAP1
00001dd6: DUP12
00001dd7: SWAP1
00001dd8: DUP14
00001dd9: SWAP1
00001dda: DUP13
00001ddb: SWAP1
00001ddc: DUP13
00001ddd: SWAP1
00001dde: DUP13
00001ddf: SWAP1
00001de0: DUP12
00001de1: SWAP1
00001de2: PUSH1 0x24
00001de4: ADD
00001de5: PUSH2 0x2bc9
00001de8: JUMP
00001de9: JUMPDEST
00001dea: PUSH1 0x40
00001dec: DUP1
00001ded: MLOAD
00001dee: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001e0f: DUP2
00001e10: DUP5
00001e11: SUB
00001e12: ADD
00001e13: DUP2
00001e14: MSTORE
00001e15: SWAP2
00001e16: DUP2
00001e17: MSTORE
00001e18: PUSH1 0x20
00001e1a: DUP3
00001e1b: ADD
00001e1c: DUP1
00001e1d: MLOAD
00001e1e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001e3b: AND
00001e3c: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001e5d: SWAP5
00001e5e: DUP6
00001e5f: AND
00001e60: OR
00001e61: SWAP1
00001e62: MSTORE
00001e63: MLOAD
00001e64: PUSH1 0xe0
00001e66: DUP6
00001e67: SWAP1
00001e68: SHL
00001e69: SWAP1
00001e6a: SWAP3
00001e6b: AND
00001e6c: DUP3
00001e6d: MSTORE
00001e6e: PUSH2 0x1e7c
00001e71: SWAP3
00001e72: SWAP2
00001e73: DUP8
00001e74: SWAP1
00001e75: PUSH1 0x04
00001e77: ADD
00001e78: PUSH2 0x2b15
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: PUSH1 0x00
00001e7f: PUSH1 0x40
00001e81: MLOAD
00001e82: DUP1
00001e83: DUP4
00001e84: SUB
00001e85: DUP2
00001e86: PUSH1 0x00
00001e88: DUP8
00001e89: DUP1
00001e8a: EXTCODESIZE
00001e8b: ISZERO
00001e8c: DUP1
00001e8d: ISZERO
00001e8e: PUSH2 0x1e96
00001e91: JUMPI
00001e92: PUSH1 0x00
00001e94: DUP1
00001e95: REVERT
00001e96: JUMPDEST
00001e97: POP
00001e98: GAS
00001e99: CALL
00001e9a: ISZERO
00001e9b: DUP1
00001e9c: ISZERO
00001e9d: PUSH2 0x1eaa
00001ea0: JUMPI
00001ea1: RETURNDATASIZE
00001ea2: PUSH1 0x00
00001ea4: DUP1
00001ea5: RETURNDATACOPY
00001ea6: RETURNDATASIZE
00001ea7: PUSH1 0x00
00001ea9: REVERT
00001eaa: JUMPDEST
00001eab: POP
00001eac: POP
00001ead: POP
00001eae: POP
00001eaf: POP
00001eb0: POP
00001eb1: POP
00001eb2: POP
00001eb3: POP
00001eb4: POP
00001eb5: POP
00001eb6: JUMP
00001eb7: JUMPDEST
00001eb8: PUSH2 0x0991
00001ebb: DUP8
00001ebc: DUP8
00001ebd: DUP8
00001ebe: DUP8
00001ebf: DUP8
00001ec0: DUP8
00001ec1: DUP8
00001ec2: PUSH2 0x1b8c
00001ec5: JUMP
00001ec6: JUMPDEST
00001ec7: DUP3
00001ec8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001edd: AND
00001ede: DUP5
00001edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef4: AND
00001ef5: PUSH32 0x35d79ab81f2b2017e19afb5c5571778877782d7a8786f5907f93b0f4702f4f23
00001f16: DUP5
00001f17: DUP5
00001f18: PUSH1 0x40
00001f1a: MLOAD
00001f1b: PUSH2 0x1f25
00001f1e: SWAP3
00001f1f: SWAP2
00001f20: SWAP1
00001f21: PUSH2 0x2b98
00001f24: JUMP
00001f25: JUMPDEST
00001f26: PUSH1 0x40
00001f28: MLOAD
00001f29: DUP1
00001f2a: SWAP2
00001f2b: SUB
00001f2c: SWAP1
00001f2d: LOG3
00001f2e: PUSH2 0x057a
00001f31: DUP5
00001f32: DUP5
00001f33: DUP5
00001f34: DUP5
00001f35: PUSH2 0x2249
00001f38: JUMP
00001f39: JUMPDEST
00001f3a: PUSH1 0x00
00001f3c: PUSH2 0x1f44
00001f3f: DUP4
00001f40: PUSH2 0x22a8
00001f43: JUMP
00001f44: JUMPDEST
00001f45: DUP1
00001f46: ISZERO
00001f47: PUSH2 0x1f55
00001f4a: JUMPI
00001f4b: POP
00001f4c: PUSH2 0x1f55
00001f4f: DUP4
00001f50: DUP4
00001f51: PUSH2 0x230c
00001f54: JUMP
00001f55: JUMPDEST
00001f56: SWAP4
00001f57: SWAP3
00001f58: POP
00001f59: POP
00001f5a: POP
00001f5b: JUMP
00001f5c: JUMPDEST
00001f5d: PUSH1 0x00
00001f5f: PUSH2 0x1fbe
00001f62: DUP3
00001f63: PUSH1 0x40
00001f65: MLOAD
00001f66: DUP1
00001f67: PUSH1 0x40
00001f69: ADD
00001f6a: PUSH1 0x40
00001f6c: MSTORE
00001f6d: DUP1
00001f6e: PUSH1 0x20
00001f70: DUP2
00001f71: MSTORE
00001f72: PUSH1 0x20
00001f74: ADD
00001f75: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001f96: DUP2
00001f97: MSTORE
00001f98: POP
00001f99: DUP6
00001f9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001faf: AND
00001fb0: PUSH2 0x23db
00001fb3: SWAP1
00001fb4: SWAP3
00001fb5: SWAP2
00001fb6: SWAP1
00001fb7: PUSH4 0xffffffff
00001fbc: AND
00001fbd: JUMP
00001fbe: JUMPDEST
00001fbf: DUP1
00001fc0: MLOAD
00001fc1: SWAP1
00001fc2: SWAP2
00001fc3: POP
00001fc4: ISZERO
00001fc5: PUSH2 0x0a6c
00001fc8: JUMPI
00001fc9: DUP1
00001fca: DUP1
00001fcb: PUSH1 0x20
00001fcd: ADD
00001fce: SWAP1
00001fcf: MLOAD
00001fd0: DUP2
00001fd1: ADD
00001fd2: SWAP1
00001fd3: PUSH2 0x1fdc
00001fd6: SWAP2
00001fd7: SWAP1
00001fd8: PUSH2 0x2aaa
00001fdb: JUMP
00001fdc: JUMPDEST
00001fdd: PUSH2 0x0a6c
00001fe0: JUMPI
00001fe1: PUSH1 0x40
00001fe3: MLOAD
00001fe4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002005: DUP2
00002006: MSTORE
00002007: PUSH1 0x20
00002009: PUSH1 0x04
0000200b: DUP3
0000200c: ADD
0000200d: MSTORE
0000200e: PUSH1 0x2a
00002010: PUSH1 0x24
00002012: DUP3
00002013: ADD
00002014: MSTORE
00002015: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002036: PUSH1 0x44
00002038: DUP3
00002039: ADD
0000203a: MSTORE
0000203b: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
0000205c: PUSH1 0x64
0000205e: DUP3
0000205f: ADD
00002060: MSTORE
00002061: PUSH1 0x84
00002063: ADD
00002064: PUSH2 0x0209
00002067: JUMP
00002068: JUMPDEST
00002069: DUP4
0000206a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000207f: AND
00002080: DUP6
00002081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002096: AND
00002097: DUP8
00002098: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ad: AND
000020ae: PUSH32 0xd59c65b35445225835c83f50b6ede06a7be047d22e357073e250d9af537518cd
000020cf: DUP7
000020d0: DUP7
000020d1: DUP7
000020d2: PUSH1 0x40
000020d4: MLOAD
000020d5: PUSH2 0x20e0
000020d8: SWAP4
000020d9: SWAP3
000020da: SWAP2
000020db: SWAP1
000020dc: PUSH2 0x2b5a
000020df: JUMP
000020e0: JUMPDEST
000020e1: PUSH1 0x40
000020e3: MLOAD
000020e4: DUP1
000020e5: SWAP2
000020e6: SUB
000020e7: SWAP1
000020e8: LOG4
000020e9: POP
000020ea: POP
000020eb: POP
000020ec: POP
000020ed: POP
000020ee: POP
000020ef: JUMP
000020f0: JUMPDEST
000020f1: DUP3
000020f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002107: AND
00002108: DUP5
00002109: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000211e: AND
0000211f: PUSH32 0x31b2166ff604fc5672ea5df08a78081d2bc6d746cadce880747f3643d819e83d
00002140: DUP5
00002141: DUP5
00002142: PUSH1 0x40
00002144: MLOAD
00002145: PUSH2 0x214f
00002148: SWAP3
00002149: SWAP2
0000214a: SWAP1
0000214b: PUSH2 0x2b98
0000214e: JUMP
0000214f: JUMPDEST
00002150: PUSH1 0x40
00002152: MLOAD
00002153: DUP1
00002154: SWAP2
00002155: SUB
00002156: SWAP1
00002157: LOG3
00002158: POP
00002159: POP
0000215a: POP
0000215b: POP
0000215c: JUMP
0000215d: JUMPDEST
0000215e: PUSH1 0x40
00002160: MLOAD
00002161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002176: DUP1
00002177: DUP6
00002178: AND
00002179: PUSH1 0x24
0000217b: DUP4
0000217c: ADD
0000217d: MSTORE
0000217e: DUP4
0000217f: AND
00002180: PUSH1 0x44
00002182: DUP3
00002183: ADD
00002184: MSTORE
00002185: PUSH1 0x64
00002187: DUP2
00002188: ADD
00002189: DUP3
0000218a: SWAP1
0000218b: MSTORE
0000218c: PUSH2 0x057a
0000218f: SWAP1
00002190: DUP6
00002191: SWAP1
00002192: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000021b3: SWAP1
000021b4: PUSH1 0x84
000021b6: ADD
000021b7: PUSH2 0x1905
000021ba: JUMP
000021bb: JUMPDEST
000021bc: DUP4
000021bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d2: AND
000021d3: DUP6
000021d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e9: AND
000021ea: DUP8
000021eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002200: AND
00002201: PUSH32 0x718594027abd4eaed59f95162563e0cc6d0e8d5b86b1c7be8b1b0ac3343d0396
00002222: DUP7
00002223: DUP7
00002224: DUP7
00002225: PUSH1 0x40
00002227: MLOAD
00002228: PUSH2 0x2233
0000222b: SWAP4
0000222c: SWAP3
0000222d: SWAP2
0000222e: SWAP1
0000222f: PUSH2 0x2b5a
00002232: JUMP
00002233: JUMPDEST
00002234: PUSH1 0x40
00002236: MLOAD
00002237: DUP1
00002238: SWAP2
00002239: SUB
0000223a: SWAP1
0000223b: LOG4
0000223c: PUSH2 0x0f46
0000223f: DUP7
00002240: DUP7
00002241: DUP7
00002242: DUP7
00002243: DUP7
00002244: DUP7
00002245: PUSH2 0x23f2
00002248: JUMP
00002249: JUMPDEST
0000224a: DUP3
0000224b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002260: AND
00002261: DUP5
00002262: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002277: AND
00002278: PUSH32 0x2849b43074093a05396b6f2a937dee8565b15a48a7b3d4bffb732a5017380af5
00002299: DUP5
0000229a: DUP5
0000229b: PUSH1 0x40
0000229d: MLOAD
0000229e: PUSH2 0x214f
000022a1: SWAP3
000022a2: SWAP2
000022a3: SWAP1
000022a4: PUSH2 0x2b98
000022a7: JUMP
000022a8: JUMPDEST
000022a9: PUSH1 0x00
000022ab: PUSH2 0x22d4
000022ae: DUP3
000022af: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000022d0: PUSH2 0x230c
000022d3: JUMP
000022d4: JUMPDEST
000022d5: DUP1
000022d6: ISZERO
000022d7: PUSH2 0x178d
000022da: JUMPI
000022db: POP
000022dc: PUSH2 0x2305
000022df: DUP3
000022e0: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002301: PUSH2 0x230c
00002304: JUMP
00002305: JUMPDEST
00002306: ISZERO
00002307: SWAP3
00002308: SWAP2
00002309: POP
0000230a: POP
0000230b: JUMP
0000230c: JUMPDEST
0000230d: PUSH1 0x40
0000230f: DUP1
00002310: MLOAD
00002311: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002332: DUP4
00002333: AND
00002334: PUSH1 0x24
00002336: DUP1
00002337: DUP4
00002338: ADD
00002339: SWAP2
0000233a: SWAP1
0000233b: SWAP2
0000233c: MSTORE
0000233d: DUP3
0000233e: MLOAD
0000233f: DUP1
00002340: DUP4
00002341: SUB
00002342: SWAP1
00002343: SWAP2
00002344: ADD
00002345: DUP2
00002346: MSTORE
00002347: PUSH1 0x44
00002349: SWAP1
0000234a: SWAP2
0000234b: ADD
0000234c: SWAP1
0000234d: SWAP2
0000234e: MSTORE
0000234f: PUSH1 0x20
00002351: DUP1
00002352: DUP3
00002353: ADD
00002354: DUP1
00002355: MLOAD
00002356: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002373: AND
00002374: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002395: OR
00002396: DUP2
00002397: MSTORE
00002398: DUP3
00002399: MLOAD
0000239a: PUSH1 0x00
0000239c: SWAP4
0000239d: SWAP3
0000239e: DUP5
0000239f: SWAP3
000023a0: DUP4
000023a1: SWAP3
000023a2: DUP4
000023a3: SWAP3
000023a4: SWAP2
000023a5: DUP4
000023a6: SWAP2
000023a7: SWAP1
000023a8: DUP11
000023a9: PUSH2 0x7530
000023ac: STATICCALL
000023ad: SWAP3
000023ae: POP
000023af: RETURNDATASIZE
000023b0: SWAP2
000023b1: POP
000023b2: PUSH1 0x00
000023b4: MLOAD
000023b5: SWAP1
000023b6: POP
000023b7: DUP3
000023b8: DUP1
000023b9: ISZERO
000023ba: PUSH2 0x23c4
000023bd: JUMPI
000023be: POP
000023bf: PUSH1 0x20
000023c1: DUP3
000023c2: LT
000023c3: ISZERO
000023c4: JUMPDEST
000023c5: DUP1
000023c6: ISZERO
000023c7: PUSH2 0x23d0
000023ca: JUMPI
000023cb: POP
000023cc: PUSH1 0x00
000023ce: DUP2
000023cf: GT
000023d0: JUMPDEST
000023d1: SWAP8
000023d2: SWAP7
000023d3: POP
000023d4: POP
000023d5: POP
000023d6: POP
000023d7: POP
000023d8: POP
000023d9: POP
000023da: JUMP
000023db: JUMPDEST
000023dc: PUSH1 0x60
000023de: PUSH2 0x23ea
000023e1: DUP5
000023e2: DUP5
000023e3: PUSH1 0x00
000023e5: DUP6
000023e6: PUSH2 0x246a
000023e9: JUMP
000023ea: JUMPDEST
000023eb: SWAP5
000023ec: SWAP4
000023ed: POP
000023ee: POP
000023ef: POP
000023f0: POP
000023f1: JUMP
000023f2: JUMPDEST
000023f3: DUP4
000023f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002409: AND
0000240a: DUP6
0000240b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002420: AND
00002421: DUP8
00002422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002437: AND
00002438: PUSH32 0x7ff126db8024424bbfd9826e8ab82ff59136289ea440b04b39a0df1b03b9cabf
00002459: DUP7
0000245a: DUP7
0000245b: DUP7
0000245c: PUSH1 0x40
0000245e: MLOAD
0000245f: PUSH2 0x20e0
00002462: SWAP4
00002463: SWAP3
00002464: SWAP2
00002465: SWAP1
00002466: PUSH2 0x2b5a
00002469: JUMP
0000246a: JUMPDEST
0000246b: PUSH1 0x60
0000246d: DUP3
0000246e: SELFBALANCE
0000246f: LT
00002470: ISZERO
00002471: PUSH2 0x24fc
00002474: JUMPI
00002475: PUSH1 0x40
00002477: MLOAD
00002478: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002499: DUP2
0000249a: MSTORE
0000249b: PUSH1 0x20
0000249d: PUSH1 0x04
0000249f: DUP3
000024a0: ADD
000024a1: MSTORE
000024a2: PUSH1 0x26
000024a4: PUSH1 0x24
000024a6: DUP3
000024a7: ADD
000024a8: MSTORE
000024a9: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000024ca: PUSH1 0x44
000024cc: DUP3
000024cd: ADD
000024ce: MSTORE
000024cf: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
000024f0: PUSH1 0x64
000024f2: DUP3
000024f3: ADD
000024f4: MSTORE
000024f5: PUSH1 0x84
000024f7: ADD
000024f8: PUSH2 0x0209
000024fb: JUMP
000024fc: JUMPDEST
000024fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002512: DUP6
00002513: AND
00002514: EXTCODESIZE
00002515: PUSH2 0x257a
00002518: JUMPI
00002519: PUSH1 0x40
0000251b: MLOAD
0000251c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000253d: DUP2
0000253e: MSTORE
0000253f: PUSH1 0x20
00002541: PUSH1 0x04
00002543: DUP3
00002544: ADD
00002545: MSTORE
00002546: PUSH1 0x1d
00002548: PUSH1 0x24
0000254a: DUP3
0000254b: ADD
0000254c: MSTORE
0000254d: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000256e: PUSH1 0x44
00002570: DUP3
00002571: ADD
00002572: MSTORE
00002573: PUSH1 0x64
00002575: ADD
00002576: PUSH2 0x0209
00002579: JUMP
0000257a: JUMPDEST
0000257b: PUSH1 0x00
0000257d: DUP1
0000257e: DUP7
0000257f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002594: AND
00002595: DUP6
00002596: DUP8
00002597: PUSH1 0x40
00002599: MLOAD
0000259a: PUSH2 0x25a3
0000259d: SWAP2
0000259e: SWAP1
0000259f: PUSH2 0x2c24
000025a2: JUMP
000025a3: JUMPDEST
000025a4: PUSH1 0x00
000025a6: PUSH1 0x40
000025a8: MLOAD
000025a9: DUP1
000025aa: DUP4
000025ab: SUB
000025ac: DUP2
000025ad: DUP6
000025ae: DUP8
000025af: GAS
000025b0: CALL
000025b1: SWAP3
000025b2: POP
000025b3: POP
000025b4: POP
000025b5: RETURNDATASIZE
000025b6: DUP1
000025b7: PUSH1 0x00
000025b9: DUP2
000025ba: EQ
000025bb: PUSH2 0x25e0
000025be: JUMPI
000025bf: PUSH1 0x40
000025c1: MLOAD
000025c2: SWAP2
000025c3: POP
000025c4: PUSH1 0x1f
000025c6: NOT
000025c7: PUSH1 0x3f
000025c9: RETURNDATASIZE
000025ca: ADD
000025cb: AND
000025cc: DUP3
000025cd: ADD
000025ce: PUSH1 0x40
000025d0: MSTORE
000025d1: RETURNDATASIZE
000025d2: DUP3
000025d3: MSTORE
000025d4: RETURNDATASIZE
000025d5: PUSH1 0x00
000025d7: PUSH1 0x20
000025d9: DUP5
000025da: ADD
000025db: RETURNDATACOPY
000025dc: PUSH2 0x25e5
000025df: JUMP
000025e0: JUMPDEST
000025e1: PUSH1 0x60
000025e3: SWAP2
000025e4: POP
000025e5: JUMPDEST
000025e6: POP
000025e7: SWAP2
000025e8: POP
000025e9: SWAP2
000025ea: POP
000025eb: PUSH2 0x23d0
000025ee: DUP3
000025ef: DUP3
000025f0: DUP7
000025f1: PUSH1 0x60
000025f3: DUP4
000025f4: ISZERO
000025f5: PUSH2 0x25ff
000025f8: JUMPI
000025f9: POP
000025fa: DUP2
000025fb: PUSH2 0x1f55
000025fe: JUMP
000025ff: JUMPDEST
00002600: DUP3
00002601: MLOAD
00002602: ISZERO
00002603: PUSH2 0x260f
00002606: JUMPI
00002607: DUP3
00002608: MLOAD
00002609: DUP1
0000260a: DUP5
0000260b: PUSH1 0x20
0000260d: ADD
0000260e: REVERT
0000260f: JUMPDEST
00002610: DUP2
00002611: PUSH1 0x40
00002613: MLOAD
00002614: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002635: DUP2
00002636: MSTORE
00002637: PUSH1 0x04
00002639: ADD
0000263a: PUSH2 0x0209
0000263d: SWAP2
0000263e: SWAP1
0000263f: PUSH2 0x294e
00002642: JUMP
00002643: JUMPDEST
00002644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002659: DUP2
0000265a: AND
0000265b: DUP2
0000265c: EQ
0000265d: PUSH2 0x2665
00002660: JUMPI
00002661: PUSH1 0x00
00002663: DUP1
00002664: REVERT
00002665: JUMPDEST
00002666: POP
00002667: JUMP
00002668: JUMPDEST
00002669: PUSH1 0x00
0000266b: DUP1
0000266c: DUP4
0000266d: PUSH1 0x1f
0000266f: DUP5
00002670: ADD
00002671: SLT
00002672: PUSH2 0x267a
00002675: JUMPI
00002676: PUSH1 0x00
00002678: DUP1
00002679: REVERT
0000267a: JUMPDEST
0000267b: POP
0000267c: DUP2
0000267d: CALLDATALOAD
0000267e: PUSH8 0xffffffffffffffff
00002687: DUP2
00002688: GT
00002689: ISZERO
0000268a: PUSH2 0x2692
0000268d: JUMPI
0000268e: PUSH1 0x00
00002690: DUP1
00002691: REVERT
00002692: JUMPDEST
00002693: PUSH1 0x20
00002695: DUP4
00002696: ADD
00002697: SWAP2
00002698: POP
00002699: DUP4
0000269a: PUSH1 0x20
0000269c: DUP3
0000269d: DUP6
0000269e: ADD
0000269f: ADD
000026a0: GT
000026a1: ISZERO
000026a2: PUSH2 0x26aa
000026a5: JUMPI
000026a6: PUSH1 0x00
000026a8: DUP1
000026a9: REVERT
000026aa: JUMPDEST
000026ab: SWAP3
000026ac: POP
000026ad: SWAP3
000026ae: SWAP1
000026af: POP
000026b0: JUMP
000026b1: JUMPDEST
000026b2: PUSH1 0x00
000026b4: DUP1
000026b5: PUSH1 0x00
000026b7: DUP1
000026b8: PUSH1 0x00
000026ba: DUP1
000026bb: PUSH1 0x00
000026bd: PUSH1 0xc0
000026bf: DUP9
000026c0: DUP11
000026c1: SUB
000026c2: SLT
000026c3: ISZERO
000026c4: PUSH2 0x26cc
000026c7: JUMPI
000026c8: PUSH1 0x00
000026ca: DUP1
000026cb: REVERT
000026cc: JUMPDEST
000026cd: DUP8
000026ce: CALLDATALOAD
000026cf: PUSH2 0x26d7
000026d2: DUP2
000026d3: PUSH2 0x2643
000026d6: JUMP
000026d7: JUMPDEST
000026d8: SWAP7
000026d9: POP
000026da: PUSH1 0x20
000026dc: DUP9
000026dd: ADD
000026de: CALLDATALOAD
000026df: PUSH2 0x26e7
000026e2: DUP2
000026e3: PUSH2 0x2643
000026e6: JUMP
000026e7: JUMPDEST
000026e8: SWAP6
000026e9: POP
000026ea: PUSH1 0x40
000026ec: DUP9
000026ed: ADD
000026ee: CALLDATALOAD
000026ef: PUSH2 0x26f7
000026f2: DUP2
000026f3: PUSH2 0x2643
000026f6: JUMP
000026f7: JUMPDEST
000026f8: SWAP5
000026f9: POP
000026fa: PUSH1 0x60
000026fc: DUP9
000026fd: ADD
000026fe: CALLDATALOAD
000026ff: PUSH2 0x2707
00002702: DUP2
00002703: PUSH2 0x2643
00002706: JUMP
00002707: JUMPDEST
00002708: SWAP4
00002709: POP
0000270a: PUSH1 0x80
0000270c: DUP9
0000270d: ADD
0000270e: CALLDATALOAD
0000270f: SWAP3
00002710: POP
00002711: PUSH1 0xa0
00002713: DUP9
00002714: ADD
00002715: CALLDATALOAD
00002716: PUSH8 0xffffffffffffffff
0000271f: DUP2
00002720: GT
00002721: ISZERO
00002722: PUSH2 0x272a
00002725: JUMPI
00002726: PUSH1 0x00
00002728: DUP1
00002729: REVERT
0000272a: JUMPDEST
0000272b: PUSH2 0x2736
0000272e: DUP11
0000272f: DUP3
00002730: DUP12
00002731: ADD
00002732: PUSH2 0x2668
00002735: JUMP
00002736: JUMPDEST
00002737: SWAP9
00002738: SWAP12
00002739: SWAP8
0000273a: SWAP11
0000273b: POP
0000273c: SWAP6
0000273d: SWAP9
0000273e: POP
0000273f: SWAP4
00002740: SWAP7
00002741: SWAP3
00002742: SWAP6
00002743: SWAP3
00002744: SWAP4
00002745: POP
00002746: POP
00002747: POP
00002748: JUMP
00002749: JUMPDEST
0000274a: DUP1
0000274b: CALLDATALOAD
0000274c: PUSH4 0xffffffff
00002751: DUP2
00002752: AND
00002753: DUP2
00002754: EQ
00002755: PUSH2 0x275d
00002758: JUMPI
00002759: PUSH1 0x00
0000275b: DUP1
0000275c: REVERT
0000275d: JUMPDEST
0000275e: SWAP2
0000275f: SWAP1
00002760: POP
00002761: JUMP
00002762: JUMPDEST
00002763: PUSH1 0x00
00002765: DUP1
00002766: PUSH1 0x00
00002768: PUSH1 0x40
0000276a: DUP5
0000276b: DUP7
0000276c: SUB
0000276d: SLT
0000276e: ISZERO
0000276f: PUSH2 0x2777
00002772: JUMPI
00002773: PUSH1 0x00
00002775: DUP1
00002776: REVERT
00002777: JUMPDEST
00002778: PUSH2 0x2780
0000277b: DUP5
0000277c: PUSH2 0x2749
0000277f: JUMP
00002780: JUMPDEST
00002781: SWAP3
00002782: POP
00002783: PUSH1 0x20
00002785: DUP5
00002786: ADD
00002787: CALLDATALOAD
00002788: PUSH8 0xffffffffffffffff
00002791: DUP2
00002792: GT
00002793: ISZERO
00002794: PUSH2 0x279c
00002797: JUMPI
00002798: PUSH1 0x00
0000279a: DUP1
0000279b: REVERT
0000279c: JUMPDEST
0000279d: PUSH2 0x27a8
000027a0: DUP7
000027a1: DUP3
000027a2: DUP8
000027a3: ADD
000027a4: PUSH2 0x2668
000027a7: JUMP
000027a8: JUMPDEST
000027a9: SWAP5
000027aa: SWAP8
000027ab: SWAP1
000027ac: SWAP7
000027ad: POP
000027ae: SWAP4
000027af: SWAP5
000027b0: POP
000027b1: POP
000027b2: POP
000027b3: POP
000027b4: JUMP
000027b5: JUMPDEST
000027b6: PUSH1 0x00
000027b8: DUP1
000027b9: PUSH1 0x00
000027bb: DUP1
000027bc: PUSH1 0x00
000027be: PUSH1 0x80
000027c0: DUP7
000027c1: DUP9
000027c2: SUB
000027c3: SLT
000027c4: ISZERO
000027c5: PUSH2 0x27cd
000027c8: JUMPI
000027c9: PUSH1 0x00
000027cb: DUP1
000027cc: REVERT
000027cd: JUMPDEST
000027ce: DUP6
000027cf: CALLDATALOAD
000027d0: PUSH2 0x27d8
000027d3: DUP2
000027d4: PUSH2 0x2643
000027d7: JUMP
000027d8: JUMPDEST
000027d9: SWAP5
000027da: POP
000027db: PUSH1 0x20
000027dd: DUP7
000027de: ADD
000027df: CALLDATALOAD
000027e0: PUSH2 0x27e8
000027e3: DUP2
000027e4: PUSH2 0x2643
000027e7: JUMP
000027e8: JUMPDEST
000027e9: SWAP4
000027ea: POP
000027eb: PUSH1 0x40
000027ed: DUP7
000027ee: ADD
000027ef: CALLDATALOAD
000027f0: SWAP3
000027f1: POP
000027f2: PUSH1 0x60
000027f4: DUP7
000027f5: ADD
000027f6: CALLDATALOAD
000027f7: PUSH8 0xffffffffffffffff
00002800: DUP2
00002801: GT
00002802: ISZERO
00002803: PUSH2 0x280b
00002806: JUMPI
00002807: PUSH1 0x00
00002809: DUP1
0000280a: REVERT
0000280b: JUMPDEST
0000280c: PUSH2 0x2817
0000280f: DUP9
00002810: DUP3
00002811: DUP10
00002812: ADD
00002813: PUSH2 0x2668
00002816: JUMP
00002817: JUMPDEST
00002818: SWAP7
00002819: SWAP10
0000281a: SWAP6
0000281b: SWAP9
0000281c: POP
0000281d: SWAP4
0000281e: SWAP7
0000281f: POP
00002820: SWAP3
00002821: SWAP5
00002822: SWAP4
00002823: SWAP3
00002824: POP
00002825: POP
00002826: POP
00002827: JUMP
00002828: JUMPDEST
00002829: PUSH1 0x00
0000282b: DUP1
0000282c: PUSH1 0x40
0000282e: DUP4
0000282f: DUP6
00002830: SUB
00002831: SLT
00002832: ISZERO
00002833: PUSH2 0x283b
00002836: JUMPI
00002837: PUSH1 0x00
00002839: DUP1
0000283a: REVERT
0000283b: JUMPDEST
0000283c: DUP3
0000283d: CALLDATALOAD
0000283e: PUSH2 0x2846
00002841: DUP2
00002842: PUSH2 0x2643
00002845: JUMP
00002846: JUMPDEST
00002847: SWAP2
00002848: POP
00002849: PUSH1 0x20
0000284b: DUP4
0000284c: ADD
0000284d: CALLDATALOAD
0000284e: PUSH2 0x2856
00002851: DUP2
00002852: PUSH2 0x2643
00002855: JUMP
00002856: JUMPDEST
00002857: DUP1
00002858: SWAP2
00002859: POP
0000285a: POP
0000285b: SWAP3
0000285c: POP
0000285d: SWAP3
0000285e: SWAP1
0000285f: POP
00002860: JUMP
00002861: JUMPDEST
00002862: PUSH1 0x00
00002864: DUP1
00002865: PUSH1 0x00
00002867: DUP1
00002868: PUSH1 0x00
0000286a: DUP1
0000286b: PUSH1 0x00
0000286d: PUSH1 0xc0
0000286f: DUP9
00002870: DUP11
00002871: SUB
00002872: SLT
00002873: ISZERO
00002874: PUSH2 0x287c
00002877: JUMPI
00002878: PUSH1 0x00
0000287a: DUP1
0000287b: REVERT
0000287c: JUMPDEST
0000287d: DUP8
0000287e: CALLDATALOAD
0000287f: PUSH2 0x2887
00002882: DUP2
00002883: PUSH2 0x2643
00002886: JUMP
00002887: JUMPDEST
00002888: SWAP7
00002889: POP
0000288a: PUSH1 0x20
0000288c: DUP9
0000288d: ADD
0000288e: CALLDATALOAD
0000288f: PUSH2 0x2897
00002892: DUP2
00002893: PUSH2 0x2643
00002896: JUMP
00002897: JUMPDEST
00002898: SWAP6
00002899: POP
0000289a: PUSH1 0x40
0000289c: DUP9
0000289d: ADD
0000289e: CALLDATALOAD
0000289f: PUSH2 0x28a7
000028a2: DUP2
000028a3: PUSH2 0x2643
000028a6: JUMP
000028a7: JUMPDEST
000028a8: SWAP5
000028a9: POP
000028aa: PUSH1 0x60
000028ac: DUP9
000028ad: ADD
000028ae: CALLDATALOAD
000028af: SWAP4
000028b0: POP
000028b1: PUSH2 0x28bc
000028b4: PUSH1 0x80
000028b6: DUP10
000028b7: ADD
000028b8: PUSH2 0x2749
000028bb: JUMP
000028bc: JUMPDEST
000028bd: SWAP3
000028be: POP
000028bf: PUSH1 0xa0
000028c1: DUP9
000028c2: ADD
000028c3: CALLDATALOAD
000028c4: PUSH8 0xffffffffffffffff
000028cd: DUP2
000028ce: GT
000028cf: ISZERO
000028d0: PUSH2 0x272a
000028d3: JUMPI
000028d4: PUSH1 0x00
000028d6: DUP1
000028d7: REVERT
000028d8: JUMPDEST
000028d9: PUSH1 0x00
000028db: JUMPDEST
000028dc: DUP4
000028dd: DUP2
000028de: LT
000028df: ISZERO
000028e0: PUSH2 0x28f3
000028e3: JUMPI
000028e4: DUP2
000028e5: DUP2
000028e6: ADD
000028e7: MLOAD
000028e8: DUP4
000028e9: DUP3
000028ea: ADD
000028eb: MSTORE
000028ec: PUSH1 0x20
000028ee: ADD
000028ef: PUSH2 0x28db
000028f2: JUMP
000028f3: JUMPDEST
000028f4: DUP4
000028f5: DUP2
000028f6: GT
000028f7: ISZERO
000028f8: PUSH2 0x057a
000028fb: JUMPI
000028fc: POP
000028fd: POP
000028fe: PUSH1 0x00
00002900: SWAP2
00002901: ADD
00002902: MSTORE
00002903: JUMP
00002904: JUMPDEST
00002905: PUSH1 0x00
00002907: DUP2
00002908: MLOAD
00002909: DUP1
0000290a: DUP5
0000290b: MSTORE
0000290c: PUSH2 0x291c
0000290f: DUP2
00002910: PUSH1 0x20
00002912: DUP7
00002913: ADD
00002914: PUSH1 0x20
00002916: DUP7
00002917: ADD
00002918: PUSH2 0x28d8
0000291b: JUMP
0000291c: JUMPDEST
0000291d: PUSH1 0x1f
0000291f: ADD
00002920: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002941: AND
00002942: SWAP3
00002943: SWAP1
00002944: SWAP3
00002945: ADD
00002946: PUSH1 0x20
00002948: ADD
00002949: SWAP3
0000294a: SWAP2
0000294b: POP
0000294c: POP
0000294d: JUMP
0000294e: JUMPDEST
0000294f: PUSH1 0x20
00002951: DUP2
00002952: MSTORE
00002953: PUSH1 0x00
00002955: PUSH2 0x1f55
00002958: PUSH1 0x20
0000295a: DUP4
0000295b: ADD
0000295c: DUP5
0000295d: PUSH2 0x2904
00002960: JUMP
00002961: JUMPDEST
00002962: PUSH1 0x00
00002964: DUP1
00002965: PUSH1 0x00
00002967: DUP1
00002968: PUSH1 0x00
0000296a: DUP1
0000296b: PUSH1 0xa0
0000296d: DUP8
0000296e: DUP10
0000296f: SUB
00002970: SLT
00002971: ISZERO
00002972: PUSH2 0x297a
00002975: JUMPI
00002976: PUSH1 0x00
00002978: DUP1
00002979: REVERT
0000297a: JUMPDEST
0000297b: DUP7
0000297c: CALLDATALOAD
0000297d: PUSH2 0x2985
00002980: DUP2
00002981: PUSH2 0x2643
00002984: JUMP
00002985: JUMPDEST
00002986: SWAP6
00002987: POP
00002988: PUSH1 0x20
0000298a: DUP8
0000298b: ADD
0000298c: CALLDATALOAD
0000298d: PUSH2 0x2995
00002990: DUP2
00002991: PUSH2 0x2643
00002994: JUMP
00002995: JUMPDEST
00002996: SWAP5
00002997: POP
00002998: PUSH1 0x40
0000299a: DUP8
0000299b: ADD
0000299c: CALLDATALOAD
0000299d: SWAP4
0000299e: POP
0000299f: PUSH2 0x29aa
000029a2: PUSH1 0x60
000029a4: DUP9
000029a5: ADD
000029a6: PUSH2 0x2749
000029a9: JUMP
000029aa: JUMPDEST
000029ab: SWAP3
000029ac: POP
000029ad: PUSH1 0x80
000029af: DUP8
000029b0: ADD
000029b1: CALLDATALOAD
000029b2: PUSH8 0xffffffffffffffff
000029bb: DUP2
000029bc: GT
000029bd: ISZERO
000029be: PUSH2 0x29c6
000029c1: JUMPI
000029c2: PUSH1 0x00
000029c4: DUP1
000029c5: REVERT
000029c6: JUMPDEST
000029c7: PUSH2 0x29d2
000029ca: DUP10
000029cb: DUP3
000029cc: DUP11
000029cd: ADD
000029ce: PUSH2 0x2668
000029d1: JUMP
000029d2: JUMPDEST
000029d3: SWAP8
000029d4: SWAP11
000029d5: SWAP7
000029d6: SWAP10
000029d7: POP
000029d8: SWAP5
000029d9: SWAP8
000029da: POP
000029db: SWAP3
000029dc: SWAP6
000029dd: SWAP4
000029de: SWAP5
000029df: SWAP3
000029e0: POP
000029e1: POP
000029e2: POP
000029e3: JUMP
000029e4: JUMPDEST
000029e5: PUSH1 0x00
000029e7: DUP1
000029e8: PUSH1 0x00
000029ea: DUP1
000029eb: PUSH1 0x60
000029ed: DUP6
000029ee: DUP8
000029ef: SUB
000029f0: SLT
000029f1: ISZERO
000029f2: PUSH2 0x29fa
000029f5: JUMPI
000029f6: PUSH1 0x00
000029f8: DUP1
000029f9: REVERT
000029fa: JUMPDEST
000029fb: DUP5
000029fc: CALLDATALOAD
000029fd: PUSH2 0x2a05
00002a00: DUP2
00002a01: PUSH2 0x2643
00002a04: JUMP
00002a05: JUMPDEST
00002a06: SWAP4
00002a07: POP
00002a08: PUSH2 0x2a13
00002a0b: PUSH1 0x20
00002a0d: DUP7
00002a0e: ADD
00002a0f: PUSH2 0x2749
00002a12: JUMP
00002a13: JUMPDEST
00002a14: SWAP3
00002a15: POP
00002a16: PUSH1 0x40
00002a18: DUP6
00002a19: ADD
00002a1a: CALLDATALOAD
00002a1b: PUSH8 0xffffffffffffffff
00002a24: DUP2
00002a25: GT
00002a26: ISZERO
00002a27: PUSH2 0x2a2f
00002a2a: JUMPI
00002a2b: PUSH1 0x00
00002a2d: DUP1
00002a2e: REVERT
00002a2f: JUMPDEST
00002a30: PUSH2 0x2a3b
00002a33: DUP8
00002a34: DUP3
00002a35: DUP9
00002a36: ADD
00002a37: PUSH2 0x2668
00002a3a: JUMP
00002a3b: JUMPDEST
00002a3c: SWAP6
00002a3d: SWAP9
00002a3e: SWAP5
00002a3f: SWAP8
00002a40: POP
00002a41: SWAP6
00002a42: POP
00002a43: POP
00002a44: POP
00002a45: POP
00002a46: JUMP
00002a47: JUMPDEST
00002a48: PUSH1 0x00
00002a4a: PUSH1 0x20
00002a4c: DUP3
00002a4d: DUP5
00002a4e: SUB
00002a4f: SLT
00002a50: ISZERO
00002a51: PUSH2 0x2a59
00002a54: JUMPI
00002a55: PUSH1 0x00
00002a57: DUP1
00002a58: REVERT
00002a59: JUMPDEST
00002a5a: DUP2
00002a5b: MLOAD
00002a5c: PUSH2 0x1f55
00002a5f: DUP2
00002a60: PUSH2 0x2643
00002a63: JUMP
00002a64: JUMPDEST
00002a65: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002a86: PUSH1 0x00
00002a88: MSTORE
00002a89: PUSH1 0x11
00002a8b: PUSH1 0x04
00002a8d: MSTORE
00002a8e: PUSH1 0x24
00002a90: PUSH1 0x00
00002a92: REVERT
00002a93: JUMPDEST
00002a94: PUSH1 0x00
00002a96: DUP3
00002a97: DUP3
00002a98: LT
00002a99: ISZERO
00002a9a: PUSH2 0x2aa5
00002a9d: JUMPI
00002a9e: PUSH2 0x2aa5
00002aa1: PUSH2 0x2a64
00002aa4: JUMP
00002aa5: JUMPDEST
00002aa6: POP
00002aa7: SUB
00002aa8: SWAP1
00002aa9: JUMP
00002aaa: JUMPDEST
00002aab: PUSH1 0x00
00002aad: PUSH1 0x20
00002aaf: DUP3
00002ab0: DUP5
00002ab1: SUB
00002ab2: SLT
00002ab3: ISZERO
00002ab4: PUSH2 0x2abc
00002ab7: JUMPI
00002ab8: PUSH1 0x00
00002aba: DUP1
00002abb: REVERT
00002abc: JUMPDEST
00002abd: DUP2
00002abe: MLOAD
00002abf: DUP1
00002ac0: ISZERO
00002ac1: ISZERO
00002ac2: DUP2
00002ac3: EQ
00002ac4: PUSH2 0x1f55
00002ac7: JUMPI
00002ac8: PUSH1 0x00
00002aca: DUP1
00002acb: REVERT
00002acc: JUMPDEST
00002acd: PUSH1 0x00
00002acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ae4: DUP1
00002ae5: DUP8
00002ae6: AND
00002ae7: DUP4
00002ae8: MSTORE
00002ae9: DUP1
00002aea: DUP7
00002aeb: AND
00002aec: PUSH1 0x20
00002aee: DUP5
00002aef: ADD
00002af0: MSTORE
00002af1: POP
00002af2: DUP4
00002af3: PUSH1 0x40
00002af5: DUP4
00002af6: ADD
00002af7: MSTORE
00002af8: PUSH1 0x80
00002afa: PUSH1 0x60
00002afc: DUP4
00002afd: ADD
00002afe: MSTORE
00002aff: PUSH2 0x2b0b
00002b02: PUSH1 0x80
00002b04: DUP4
00002b05: ADD
00002b06: DUP5
00002b07: PUSH2 0x2904
00002b0a: JUMP
00002b0b: JUMPDEST
00002b0c: SWAP7
00002b0d: SWAP6
00002b0e: POP
00002b0f: POP
00002b10: POP
00002b11: POP
00002b12: POP
00002b13: POP
00002b14: JUMP
00002b15: JUMPDEST
00002b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b2b: DUP5
00002b2c: AND
00002b2d: DUP2
00002b2e: MSTORE
00002b2f: PUSH1 0x60
00002b31: PUSH1 0x20
00002b33: DUP3
00002b34: ADD
00002b35: MSTORE
00002b36: PUSH1 0x00
00002b38: PUSH2 0x2b44
00002b3b: PUSH1 0x60
00002b3d: DUP4
00002b3e: ADD
00002b3f: DUP6
00002b40: PUSH2 0x2904
00002b43: JUMP
00002b44: JUMPDEST
00002b45: SWAP1
00002b46: POP
00002b47: PUSH4 0xffffffff
00002b4c: DUP4
00002b4d: AND
00002b4e: PUSH1 0x40
00002b50: DUP4
00002b51: ADD
00002b52: MSTORE
00002b53: SWAP5
00002b54: SWAP4
00002b55: POP
00002b56: POP
00002b57: POP
00002b58: POP
00002b59: JUMP
00002b5a: JUMPDEST
00002b5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b70: DUP5
00002b71: AND
00002b72: DUP2
00002b73: MSTORE
00002b74: DUP3
00002b75: PUSH1 0x20
00002b77: DUP3
00002b78: ADD
00002b79: MSTORE
00002b7a: PUSH1 0x60
00002b7c: PUSH1 0x40
00002b7e: DUP3
00002b7f: ADD
00002b80: MSTORE
00002b81: PUSH1 0x00
00002b83: PUSH2 0x2b8f
00002b86: PUSH1 0x60
00002b88: DUP4
00002b89: ADD
00002b8a: DUP5
00002b8b: PUSH2 0x2904
00002b8e: JUMP
00002b8f: JUMPDEST
00002b90: SWAP6
00002b91: SWAP5
00002b92: POP
00002b93: POP
00002b94: POP
00002b95: POP
00002b96: POP
00002b97: JUMP
00002b98: JUMPDEST
00002b99: DUP3
00002b9a: DUP2
00002b9b: MSTORE
00002b9c: PUSH1 0x40
00002b9e: PUSH1 0x20
00002ba0: DUP3
00002ba1: ADD
00002ba2: MSTORE
00002ba3: PUSH1 0x00
00002ba5: PUSH2 0x23ea
00002ba8: PUSH1 0x40
00002baa: DUP4
00002bab: ADD
00002bac: DUP5
00002bad: PUSH2 0x2904
00002bb0: JUMP
00002bb1: JUMPDEST
00002bb2: PUSH1 0x00
00002bb4: DUP3
00002bb5: NOT
00002bb6: DUP3
00002bb7: GT
00002bb8: ISZERO
00002bb9: PUSH2 0x2bc4
00002bbc: JUMPI
00002bbd: PUSH2 0x2bc4
00002bc0: PUSH2 0x2a64
00002bc3: JUMP
00002bc4: JUMPDEST
00002bc5: POP
00002bc6: ADD
00002bc7: SWAP1
00002bc8: JUMP
00002bc9: JUMPDEST
00002bca: PUSH1 0x00
00002bcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002be1: DUP1
00002be2: DUP10
00002be3: AND
00002be4: DUP4
00002be5: MSTORE
00002be6: DUP1
00002be7: DUP9
00002be8: AND
00002be9: PUSH1 0x20
00002beb: DUP5
00002bec: ADD
00002bed: MSTORE
00002bee: DUP1
00002bef: DUP8
00002bf0: AND
00002bf1: PUSH1 0x40
00002bf3: DUP5
00002bf4: ADD
00002bf5: MSTORE
00002bf6: DUP1
00002bf7: DUP7
00002bf8: AND
00002bf9: PUSH1 0x60
00002bfb: DUP5
00002bfc: ADD
00002bfd: MSTORE
00002bfe: POP
00002bff: DUP4
00002c00: PUSH1 0x80
00002c02: DUP4
00002c03: ADD
00002c04: MSTORE
00002c05: PUSH1 0xc0
00002c07: PUSH1 0xa0
00002c09: DUP4
00002c0a: ADD
00002c0b: MSTORE
00002c0c: PUSH2 0x2c18
00002c0f: PUSH1 0xc0
00002c11: DUP4
00002c12: ADD
00002c13: DUP5
00002c14: PUSH2 0x2904
00002c17: JUMP
00002c18: JUMPDEST
00002c19: SWAP9
00002c1a: SWAP8
00002c1b: POP
00002c1c: POP
00002c1d: POP
00002c1e: POP
00002c1f: POP
00002c20: POP
00002c21: POP
00002c22: POP
00002c23: JUMP
00002c24: JUMPDEST
00002c25: PUSH1 0x00
00002c27: DUP3
00002c28: MLOAD
00002c29: PUSH2 0x2c36
00002c2c: DUP2
00002c2d: DUP5
00002c2e: PUSH1 0x20
00002c30: DUP8
00002c31: ADD
00002c32: PUSH2 0x28d8
00002c35: JUMP
00002c36: JUMPDEST
00002c37: SWAP2
00002c38: SWAP1
00002c39: SWAP2
00002c3a: ADD
00002c3b: SWAP3
00002c3c: SWAP2
00002c3d: POP
00002c3e: POP
00002c3f: JUMP
00002c40: INVALID
00002c41: LOG1
00002c42: PUSH5 0x736f6c6343
00002c48: STOP
00002c49: ADDMOD
00002c4a: UNKNOWN(0x0F)
00002c4b: STOP
00002c4c: EXP