TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

33013a87-5529-46b1-a27e-24c8214147bb

failed
Chain ID
1
Address
Block Number
Created
Mon, Dec 29, 2025 3:49 AM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 proxy context implementation known
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
30397 report.consolidate complete 1 / 1 3 months ago
74566 artifact.fetch failed 1 / 3 2 weeks ago
74567 tool.cast_disasm complete 1 / 3 2 weeks ago
74568 analysis.bundle complete 1 / 3 2 weeks ago
74569 capability.graph complete 1 / 3 2 weeks ago
74570 detector.run complete 1 / 3 2 weeks ago
74571 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: yes
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No exploitable vulnerabilities identified in the first-party contracts within scope.
View stderr
[codex:1034231] OpenAI Codex v0.77.0 (research preview)
[codex:1034231] --------
[codex:1034231] workdir: /tmp/codex-multi-v_uxjfy8
[codex:1034231] model: gpt-5.2-codex
[codex:1034231] provider: openai
[codex:1034231] approval: never
[codex:1034231] sandbox: read-only
[codex:1034231] reasoning effort: xhigh
[codex:1034231] reasoning summaries: auto
[codex:1034231] session id: 019b6835-c8b6-75c3-badd-36e73386f3c9
[codex:1034231] --------
[codex:1034231] user
[codex:1034231] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1034231] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1034231] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1034231] 
[codex:1034231] Scope rules:
[codex:1034231] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1034231] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1034231] 
[codex:1034231] Output MUST be valid JSON matching the provided schema.
[codex:1034231] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1034231] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1034231] 
[codex:1034231] Output constraints (IMPORTANT):
[codex:1034231] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1034231] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1034231] mcp startup: no servers
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Listing files to find AUDIT_BUNDLE**
[codex:1034231] exec
[codex:1034231] /bin/bash -lc ls in /tmp/codex-multi-v_uxjfy8 succeeded in 5ms:
[codex:1034231] AUDIT_BUNDLE.txt
[codex:1034231] codex-output-schema.json
[codex:1034231] contracts
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Reading AUDIT_BUNDLE.txt**
[codex:1034231] exec
[codex:1034231] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-v_uxjfy8 succeeded in 6ms:
[codex:1034231] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1034231] 
[codex:1034231] ================================================================================
[codex:1034231] FILE: contracts/lib/openzeppelin-contracts/contracts/proxy/utils/Initializable.sol
[codex:1034231] ================================================================================
[codex:1034231] // SPDX-License-Identifier: MIT
[codex:1034231] // OpenZeppelin Contracts (last updated v4.7.0) (proxy/utils/Initializable.sol)
[codex:1034231] 
[codex:1034231] pragma solidity ^0.8.2;
[codex:1034231] 
[codex:1034231] import "../../utils/Address.sol";
[codex:1034231] 
[codex:1034231] /**
[codex:1034231]  * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
[codex:1034231]  * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an
[codex:1034231]  * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
[codex:1034231]  * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:1034231]  *
[codex:1034231]  * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be
[codex:1034231]  * reused. This mechanism prevents re-execution of each "step" but allows the creation of new initialization steps in
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Analyzing AUDIT_BUNDLE composition**
[codex:1034231] exec
[codex:1034231] /bin/bash -lc 'rg "''^FILE:" -n AUDIT_BUNDLE.txt' in /tmp/codex-multi-v_uxjfy8 succeeded in 15ms:
[codex:1034231] 4:FILE: contracts/lib/openzeppelin-contracts/contracts/proxy/utils/Initializable.sol
[codex:1034231] 146:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol
[codex:1034231] 533:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:1034231] 619:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/IERC20Metadata.sol
[codex:1034231] 651:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/draft-IERC20Permit.sol
[codex:1034231] 715:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol
[codex:1034231] 835:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/Address.sol
[codex:1034231] 1061:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/Context.sol
[codex:1034231] 1089:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/Strings.sol
[codex:1034231] 1168:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/introspection/ERC165Checker.sol
[codex:1034231] 1295:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol
[codex:1034231] 1324:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/math/Math.sol
[codex:1034231] 1554:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/math/SignedMath.sol
[codex:1034231] 1601:FILE: contracts/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol
[codex:1034231] 1743:FILE: contracts/lib/openzeppelin-contracts-upgradeable/contracts/utils/AddressUpgradeable.sol
[codex:1034231] 1942:FILE: contracts/lib/solmate/src/utils/FixedPointMathLib.sol
[codex:1034231] 2312:FILE: contracts/src/L1/L1StandardBridge.sol
[codex:1034231] 2622:FILE: contracts/src/L1/ResourceMetering.sol
[codex:1034231] 2786:FILE: contracts/src/libraries/Arithmetic.sol
[codex:1034231] 2818:FILE: contracts/src/libraries/Burn.sol
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Planning file extraction from bundle**
[codex:1034231] exec
[codex:1034231] /bin/bash -lc "sed -n '2312,2621p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-v_uxjfy8 succeeded in 6ms:
[codex:1034231] FILE: contracts/src/L1/L1StandardBridge.sol
[codex:1034231] ================================================================================
[codex:1034231] // SPDX-License-Identifier: MIT
[codex:1034231] pragma solidity 0.8.15;
[codex:1034231] 
[codex:1034231] import { Predeploys } from "src/libraries/Predeploys.sol";
[codex:1034231] import { StandardBridge } from "src/universal/StandardBridge.sol";
[codex:1034231] import { ISemver } from "src/universal/ISemver.sol";
[codex:1034231] import { CrossDomainMessenger } from "src/universal/CrossDomainMessenger.sol";
[codex:1034231] import { Constants } from "src/libraries/Constants.sol";
[codex:1034231] 
[codex:1034231] /// @custom:proxied
[codex:1034231] /// @title L1StandardBridge
[codex:1034231] /// @notice The L1StandardBridge is responsible for transfering ETH and ERC20 tokens between L1 and
[codex:1034231] ///         L2. In the case that an ERC20 token is native to L1, it will be escrowed within this
[codex:1034231] ///         contract. If the ERC20 token is native to L2, it will be burnt. Before Bedrock, ETH was
[codex:1034231] ///         stored within this contract. After Bedrock, ETH is instead stored inside the
[codex:1034231] ///         OptimismPortal contract.
[codex:1034231] ///         NOTE: this contract is not intended to support all variations of ERC20 tokens. Examples
[codex:1034231] ///         of some token types that may not be properly supported by this contract include, but are
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Preparing to explore ResourceMetering**
[codex:1034231] exec
[codex:1034231] /bin/bash -lc "sed -n '2622,2785p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-v_uxjfy8 succeeded in 6ms:
[codex:1034231] FILE: contracts/src/L1/ResourceMetering.sol
[codex:1034231] ================================================================================
[codex:1034231] // SPDX-License-Identifier: MIT
[codex:1034231] pragma solidity 0.8.15;
[codex:1034231] 
[codex:1034231] import { Initializable } from "@openzeppelin/contracts/proxy/utils/Initializable.sol";
[codex:1034231] import { Math } from "@openzeppelin/contracts/utils/math/Math.sol";
[codex:1034231] import { Burn } from "src/libraries/Burn.sol";
[codex:1034231] import { Arithmetic } from "src/libraries/Arithmetic.sol";
[codex:1034231] 
[codex:1034231] /// @custom:upgradeable
[codex:1034231] /// @title ResourceMetering
[codex:1034231] /// @notice ResourceMetering implements an EIP-1559 style resource metering system where pricing
[codex:1034231] ///         updates automatically based on current demand.
[codex:1034231] abstract contract ResourceMetering is Initializable {
[codex:1034231]     /// @notice Represents the various parameters that control the way in which resources are
[codex:1034231]     ///         metered. Corresponds to the EIP-1559 resource metering system.
[codex:1034231]     /// @custom:field prevBaseFee   Base fee from the previous block(s).
[codex:1034231]     /// @custom:field prevBoughtGas Amount of gas bought so far in the current block.
[codex:1034231]     /// @custom:field prevBlockNum  Last block number that the base fee was updated.
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Identifying next libraries**
[codex:1034231] exec
[codex:1034231] /bin/bash -lc "sed -n '2786,3256p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-v_uxjfy8 succeeded in 6ms:
[codex:1034231] FILE: contracts/src/libraries/Arithmetic.sol
[codex:1034231] ================================================================================
[codex:1034231] // SPDX-License-Identifier: MIT
[codex:1034231] pragma solidity 0.8.15;
[codex:1034231] 
[codex:1034231] import { SignedMath } from "@openzeppelin/contracts/utils/math/SignedMath.sol";
[codex:1034231] import { FixedPointMathLib } from "@rari-capital/solmate/src/utils/FixedPointMathLib.sol";
[codex:1034231] 
[codex:1034231] /// @title Arithmetic
[codex:1034231] /// @notice Even more math than before.
[codex:1034231] library Arithmetic {
[codex:1034231]     /// @notice Clamps a value between a minimum and maximum.
[codex:1034231]     /// @param _value The value to clamp.
[codex:1034231]     /// @param _min   The minimum value.
[codex:1034231]     /// @param _max   The maximum value.
[codex:1034231]     /// @return The clamped value.
[codex:1034231]     function clamp(int256 _value, int256 _min, int256 _max) internal pure returns (int256) {
[codex:1034231]         return SignedMath.min(SignedMath.max(_value, _min), _max);
[codex:1034231]     }
[codex:1034231] 
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Continuing with SafeCall and Messaging**
[codex:1034231] exec
[codex:1034231] /bin/bash -lc "sed -n '3257,3643p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-v_uxjfy8 succeeded in 5ms:
[codex:1034231] FILE: contracts/src/libraries/SafeCall.sol
[codex:1034231] ================================================================================
[codex:1034231] // SPDX-License-Identifier: MIT
[codex:1034231] pragma solidity 0.8.15;
[codex:1034231] 
[codex:1034231] /// @title SafeCall
[codex:1034231] /// @notice Perform low level safe calls
[codex:1034231] library SafeCall {
[codex:1034231]     /// @notice Performs a low level call without copying any returndata.
[codex:1034231]     /// @dev Passes no calldata to the call context.
[codex:1034231]     /// @param _target   Address to call
[codex:1034231]     /// @param _gas      Amount of gas to pass to the call
[codex:1034231]     /// @param _value    Amount of value to pass to the call
[codex:1034231]     function send(address _target, uint256 _gas, uint256 _value) internal returns (bool) {
[codex:1034231]         bool _success;
[codex:1034231]         assembly {
[codex:1034231]             _success :=
[codex:1034231]                 call(
[codex:1034231]                     _gas, // gas
[codex:1034231]                     _target, // recipient
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Identifying remaining contract files**
[codex:1034231] exec
[codex:1034231] /bin/bash -lc "sed -n '3644,4264p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-v_uxjfy8 succeeded in 7ms:
[codex:1034231] FILE: contracts/src/universal/CrossDomainMessenger.sol
[codex:1034231] ================================================================================
[codex:1034231] // SPDX-License-Identifier: MIT
[codex:1034231] pragma solidity 0.8.15;
[codex:1034231] 
[codex:1034231] import { Initializable } from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1034231] import { SafeCall } from "../libraries/SafeCall.sol";
[codex:1034231] import { Hashing } from "../libraries/Hashing.sol";
[codex:1034231] import { Encoding } from "../libraries/Encoding.sol";
[codex:1034231] import { Constants } from "../libraries/Constants.sol";
[codex:1034231] 
[codex:1034231] /// @custom:legacy
[codex:1034231] /// @title CrossDomainMessengerLegacySpacer0
[codex:1034231] /// @notice Contract only exists to add a spacer to the CrossDomainMessenger where the
[codex:1034231] ///         libAddressManager variable used to exist. Must be the first contract in the inheritance
[codex:1034231] ///         tree of the CrossDomainMessenger.
[codex:1034231] contract CrossDomainMessengerLegacySpacer0 {
[codex:1034231]     /// @custom:legacy
[codex:1034231]     /// @custom:spacer libAddressManager
[codex:1034231]     /// @notice Spacer for backwards compatibility.
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Identifying required component**
[codex:1034231] exec
[codex:1034231] /bin/bash -lc "sed -n '4265,4746p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-v_uxjfy8 succeeded in 5ms:
[codex:1034231] FILE: contracts/src/universal/StandardBridge.sol
[codex:1034231] ================================================================================
[codex:1034231] // SPDX-License-Identifier: MIT
[codex:1034231] pragma solidity 0.8.15;
[codex:1034231] 
[codex:1034231] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1034231] import { ERC165Checker } from "@openzeppelin/contracts/utils/introspection/ERC165Checker.sol";
[codex:1034231] import { Address } from "@openzeppelin/contracts/utils/Address.sol";
[codex:1034231] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1034231] import { SafeCall } from "../libraries/SafeCall.sol";
[codex:1034231] import { IOptimismMintableERC20, ILegacyMintableERC20 } from "./IOptimismMintableERC20.sol";
[codex:1034231] import { CrossDomainMessenger } from "./CrossDomainMessenger.sol";
[codex:1034231] import { OptimismMintableERC20 } from "./OptimismMintableERC20.sol";
[codex:1034231] import { Initializable } from "@openzeppelin/contracts/proxy/utils/Initializable.sol";
[codex:1034231] 
[codex:1034231] /// @custom:upgradeable
[codex:1034231] /// @title StandardBridge
[codex:1034231] /// @notice StandardBridge is a base contract for the L1 and L2 standard ERC20 bridges. It handles
[codex:1034231] ///         the core bridging logic, including escrowing tokens that are native to the local chain
[codex:1034231] ///         and minting/burning tokens that are native to the remote chain.
[codex:1034231] 
[codex:1034231] 
[codex:1034231] 
[codex:1034231] 
[codex:1034231] thinking
[codex:1034231] **Assessing bridge contract vulnerabilities**
[codex:1034231] thinking
[codex:1034231] **Analyzing reentrancy and token bridging edge cases**
[codex:1034231] 
[codex:1034231] I’m carefully weighing if reentrancy into relayMessage can falsely mark arbitrary messages as failed, but found that checks prevent unauthorized failure marking. I’m also examining token bridging, especially mintable tokens that rely on interface detection which could be spoofed, potentially allowing tokens that don’t burn properly to inflate supply via the bridge. Additionally, I consider known accounting mismatches with fee-on-transfer tokens causing stuck funds, and gas-burning loops that may cause transaction reverts if parameters are extreme. Overall, I’m looking for subtle issues that might be exploitable in these cross-contract interactions.
[codex:1034231] thinking
[codex:1034231] **Evaluating gas limits, initialization risks, and message replay**
[codex:1034231] 
[codex:1034231] I'm examining potential gas exhaustion from large _amounts in metered modifier, but limits likely prevent out-of-gas errors by design. I’m also scrutinizing the upgradeable proxy pattern, noting that public, unprotected initialize functions could let an attacker initialize proxies if left uninitialized, risking control over messenger addresses used in cross-chain calls. Finally, I’m considering replay risks for legacy (version 0) messages due to possible missing legacy state in mappings, which might allow replaying old messages if protections rely only on new mappings.
[codex:1034231] thinking
[codex:1034231] **Preparing final audit results**
[codex:1034231] 
[codex:1034231] I'm confirming that no exploitable vulnerabilities stand out and that any minor issues are either well-known or operational concerns rather than code flaws. I'll produce a clean JSON output indicating no findings, with a concise summary reflecting confidence that first-party contracts are solid within the reviewed scope.
[codex:1034231] codex
[codex:1034231] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts within scope.","findings":[]}
[codex:1034231] tokens used
[codex:1034231] 58,668
[codex:1034231] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts within scope.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-29T03:49:22.150360+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities identified in the first-party contracts within scope.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in the first-party contracts within scope.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
11
EXT*/BALANCE
10
Total opcodes
4661
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0163
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x87087623
00000019: GT
0000001a: PUSH2 0x00c0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa9f9e675
00000024: GT
00000025: PUSH2 0x0074
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc4d66de8
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc4d66de8
0000003a: EQ
0000003b: PUSH2 0x04c5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xc89701a2
00000045: EQ
00000046: PUSH2 0x0421
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe11013dd
00000050: EQ
00000051: PUSH2 0x04e5
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xa9f9e675
00000060: EQ
00000061: PUSH2 0x0492
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xb1a1a882
0000006b: EQ
0000006c: PUSH2 0x04b2
0000006f: JUMPI
00000070: PUSH1 0x00
00000072: DUP1
00000073: REVERT
00000074: JUMPDEST
00000075: DUP1
00000076: PUSH4 0x91c49bf8
0000007b: GT
0000007c: PUSH2 0x00a5
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x91c49bf8
00000086: EQ
00000087: PUSH2 0x0421
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x927ede2d
00000091: EQ
00000092: PUSH2 0x0454
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x9a2ac6d5
0000009c: EQ
0000009d: PUSH2 0x047f
000000a0: JUMPI
000000a1: PUSH1 0x00
000000a3: DUP1
000000a4: REVERT
000000a5: JUMPDEST
000000a6: DUP1
000000a7: PUSH4 0x87087623
000000ac: EQ
000000ad: PUSH2 0x03bb
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x8f601f66
000000b7: EQ
000000b8: PUSH2 0x03db
000000bb: JUMPI
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: REVERT
000000c0: JUMPDEST
000000c1: DUP1
000000c2: PUSH4 0x540abf73
000000c7: GT
000000c8: PUSH2 0x0117
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x58a997f6
000000d2: GT
000000d3: PUSH2 0x00fc
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x58a997f6
000000dd: EQ
000000de: PUSH2 0x0347
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x7f46ddb2
000000e8: EQ
000000e9: PUSH2 0x0367
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x838b2520
000000f3: EQ
000000f4: PUSH2 0x039b
000000f7: JUMPI
000000f8: PUSH1 0x00
000000fa: DUP1
000000fb: REVERT
000000fc: JUMPDEST
000000fd: DUP1
000000fe: PUSH4 0x540abf73
00000103: EQ
00000104: PUSH2 0x02d1
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x54fd4d50
0000010e: EQ
0000010f: PUSH2 0x02f1
00000112: JUMPI
00000113: PUSH1 0x00
00000115: DUP1
00000116: REVERT
00000117: JUMPDEST
00000118: DUP1
00000119: PUSH4 0x1532ec34
0000011e: GT
0000011f: PUSH2 0x0148
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x1532ec34
00000129: EQ
0000012a: PUSH2 0x0254
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x1635f5fd
00000134: EQ
00000135: PUSH2 0x0267
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x3cb747bf
0000013f: EQ
00000140: PUSH2 0x027a
00000143: JUMPI
00000144: PUSH1 0x00
00000146: DUP1
00000147: REVERT
00000148: JUMPDEST
00000149: DUP1
0000014a: PUSH4 0x0166a07a
0000014f: EQ
00000150: PUSH2 0x0221
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0x09fc8843
0000015a: EQ
0000015b: PUSH2 0x0241
0000015e: JUMPI
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: CALLDATASIZE
00000165: PUSH2 0x021c
00000168: JUMPI
00000169: CALLER
0000016a: EXTCODESIZE
0000016b: ISZERO
0000016c: PUSH2 0x01fc
0000016f: JUMPI
00000170: PUSH1 0x40
00000172: MLOAD
00000173: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000194: DUP2
00000195: MSTORE
00000196: PUSH1 0x20
00000198: PUSH1 0x04
0000019a: DUP3
0000019b: ADD
0000019c: MSTORE
0000019d: PUSH1 0x37
0000019f: PUSH1 0x24
000001a1: DUP3
000001a2: ADD
000001a3: MSTORE
000001a4: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000001c5: PUSH1 0x44
000001c7: DUP3
000001c8: ADD
000001c9: MSTORE
000001ca: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
000001eb: PUSH1 0x64
000001ed: DUP3
000001ee: ADD
000001ef: MSTORE
000001f0: PUSH1 0x84
000001f2: ADD
000001f3: JUMPDEST
000001f4: PUSH1 0x40
000001f6: MLOAD
000001f7: DUP1
000001f8: SWAP2
000001f9: SUB
000001fa: SWAP1
000001fb: REVERT
000001fc: JUMPDEST
000001fd: PUSH2 0x021a
00000200: CALLER
00000201: CALLER
00000202: PUSH3 0x030d40
00000206: PUSH1 0x40
00000208: MLOAD
00000209: DUP1
0000020a: PUSH1 0x20
0000020c: ADD
0000020d: PUSH1 0x40
0000020f: MSTORE
00000210: DUP1
00000211: PUSH1 0x00
00000213: DUP2
00000214: MSTORE
00000215: POP
00000216: PUSH2 0x04f8
00000219: JUMP
0000021a: JUMPDEST
0000021b: STOP
0000021c: JUMPDEST
0000021d: PUSH1 0x00
0000021f: DUP1
00000220: REVERT
00000221: JUMPDEST
00000222: CALLVALUE
00000223: DUP1
00000224: ISZERO
00000225: PUSH2 0x022d
00000228: JUMPI
00000229: PUSH1 0x00
0000022b: DUP1
0000022c: REVERT
0000022d: JUMPDEST
0000022e: POP
0000022f: PUSH2 0x021a
00000232: PUSH2 0x023c
00000235: CALLDATASIZE
00000236: PUSH1 0x04
00000238: PUSH2 0x248b
0000023b: JUMP
0000023c: JUMPDEST
0000023d: PUSH2 0x050b
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH2 0x021a
00000245: PUSH2 0x024f
00000248: CALLDATASIZE
00000249: PUSH1 0x04
0000024b: PUSH2 0x253c
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH2 0x08d2
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH2 0x021a
00000258: PUSH2 0x0262
0000025b: CALLDATASIZE
0000025c: PUSH1 0x04
0000025e: PUSH2 0x258f
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH2 0x09a9
00000266: JUMP
00000267: JUMPDEST
00000268: PUSH2 0x021a
0000026b: PUSH2 0x0275
0000026e: CALLDATASIZE
0000026f: PUSH1 0x04
00000271: PUSH2 0x258f
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH2 0x09bd
00000279: JUMP
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH1 0x03
0000028a: SLOAD
0000028b: PUSH2 0x02a7
0000028e: SWAP1
0000028f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002a4: AND
000002a5: DUP2
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH1 0x40
000002aa: MLOAD
000002ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c0: SWAP1
000002c1: SWAP2
000002c2: AND
000002c3: DUP2
000002c4: MSTORE
000002c5: PUSH1 0x20
000002c7: ADD
000002c8: JUMPDEST
000002c9: PUSH1 0x40
000002cb: MLOAD
000002cc: DUP1
000002cd: SWAP2
000002ce: SUB
000002cf: SWAP1
000002d0: RETURN
000002d1: JUMPDEST
000002d2: CALLVALUE
000002d3: DUP1
000002d4: ISZERO
000002d5: PUSH2 0x02dd
000002d8: JUMPI
000002d9: PUSH1 0x00
000002db: DUP1
000002dc: REVERT
000002dd: JUMPDEST
000002de: POP
000002df: PUSH2 0x021a
000002e2: PUSH2 0x02ec
000002e5: CALLDATASIZE
000002e6: PUSH1 0x04
000002e8: PUSH2 0x2602
000002eb: JUMP
000002ec: JUMPDEST
000002ed: PUSH2 0x0e33
000002f0: JUMP
000002f1: JUMPDEST
000002f2: CALLVALUE
000002f3: DUP1
000002f4: ISZERO
000002f5: PUSH2 0x02fd
000002f8: JUMPI
000002f9: PUSH1 0x00
000002fb: DUP1
000002fc: REVERT
000002fd: JUMPDEST
000002fe: POP
000002ff: PUSH2 0x033a
00000302: PUSH1 0x40
00000304: MLOAD
00000305: DUP1
00000306: PUSH1 0x40
00000308: ADD
00000309: PUSH1 0x40
0000030b: MSTORE
0000030c: DUP1
0000030d: PUSH1 0x05
0000030f: DUP2
00000310: MSTORE
00000311: PUSH1 0x20
00000313: ADD
00000314: PUSH32 0x312e342e30000000000000000000000000000000000000000000000000000000
00000335: DUP2
00000336: MSTORE
00000337: POP
00000338: DUP2
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH1 0x40
0000033d: MLOAD
0000033e: PUSH2 0x02c8
00000341: SWAP2
00000342: SWAP1
00000343: PUSH2 0x26ef
00000346: JUMP
00000347: JUMPDEST
00000348: CALLVALUE
00000349: DUP1
0000034a: ISZERO
0000034b: PUSH2 0x0353
0000034e: JUMPI
0000034f: PUSH1 0x00
00000351: DUP1
00000352: REVERT
00000353: JUMPDEST
00000354: POP
00000355: PUSH2 0x021a
00000358: PUSH2 0x0362
0000035b: CALLDATASIZE
0000035c: PUSH1 0x04
0000035e: PUSH2 0x2702
00000361: JUMP
00000362: JUMPDEST
00000363: PUSH2 0x0e78
00000366: JUMP
00000367: JUMPDEST
00000368: CALLVALUE
00000369: DUP1
0000036a: ISZERO
0000036b: PUSH2 0x0373
0000036e: JUMPI
0000036f: PUSH1 0x00
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH2 0x02a7
00000378: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
00000399: DUP2
0000039a: JUMP
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH2 0x021a
000003ac: PUSH2 0x03b6
000003af: CALLDATASIZE
000003b0: PUSH1 0x04
000003b2: PUSH2 0x2602
000003b5: JUMP
000003b6: JUMPDEST
000003b7: PUSH2 0x0f4c
000003ba: JUMP
000003bb: JUMPDEST
000003bc: CALLVALUE
000003bd: DUP1
000003be: ISZERO
000003bf: PUSH2 0x03c7
000003c2: JUMPI
000003c3: PUSH1 0x00
000003c5: DUP1
000003c6: REVERT
000003c7: JUMPDEST
000003c8: POP
000003c9: PUSH2 0x021a
000003cc: PUSH2 0x03d6
000003cf: CALLDATASIZE
000003d0: PUSH1 0x04
000003d2: PUSH2 0x2702
000003d5: JUMP
000003d6: JUMPDEST
000003d7: PUSH2 0x0f91
000003da: JUMP
000003db: JUMPDEST
000003dc: CALLVALUE
000003dd: DUP1
000003de: ISZERO
000003df: PUSH2 0x03e7
000003e2: JUMPI
000003e3: PUSH1 0x00
000003e5: DUP1
000003e6: REVERT
000003e7: JUMPDEST
000003e8: POP
000003e9: PUSH2 0x0413
000003ec: PUSH2 0x03f6
000003ef: CALLDATASIZE
000003f0: PUSH1 0x04
000003f2: PUSH2 0x2785
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x02
000003f9: PUSH1 0x20
000003fb: SWAP1
000003fc: DUP2
000003fd: MSTORE
000003fe: PUSH1 0x00
00000400: SWAP3
00000401: DUP4
00000402: MSTORE
00000403: PUSH1 0x40
00000405: DUP1
00000406: DUP5
00000407: KECCAK256
00000408: SWAP1
00000409: SWAP2
0000040a: MSTORE
0000040b: SWAP1
0000040c: DUP3
0000040d: MSTORE
0000040e: SWAP1
0000040f: KECCAK256
00000410: SLOAD
00000411: DUP2
00000412: JUMP
00000413: JUMPDEST
00000414: PUSH1 0x40
00000416: MLOAD
00000417: SWAP1
00000418: DUP2
00000419: MSTORE
0000041a: PUSH1 0x20
0000041c: ADD
0000041d: PUSH2 0x02c8
00000420: JUMP
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042d
00000428: JUMPI
00000429: PUSH1 0x00
0000042b: DUP1
0000042c: REVERT
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
00000450: PUSH2 0x02a7
00000453: JUMP
00000454: JUMPDEST
00000455: CALLVALUE
00000456: DUP1
00000457: ISZERO
00000458: PUSH2 0x0460
0000045b: JUMPI
0000045c: PUSH1 0x00
0000045e: DUP1
0000045f: REVERT
00000460: JUMPDEST
00000461: POP
00000462: PUSH1 0x03
00000464: SLOAD
00000465: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047a: AND
0000047b: PUSH2 0x02a7
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH2 0x021a
00000483: PUSH2 0x048d
00000486: CALLDATASIZE
00000487: PUSH1 0x04
00000489: PUSH2 0x27be
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH2 0x1065
00000491: JUMP
00000492: JUMPDEST
00000493: CALLVALUE
00000494: DUP1
00000495: ISZERO
00000496: PUSH2 0x049e
00000499: JUMPI
0000049a: PUSH1 0x00
0000049c: DUP1
0000049d: REVERT
0000049e: JUMPDEST
0000049f: POP
000004a0: PUSH2 0x021a
000004a3: PUSH2 0x04ad
000004a6: CALLDATASIZE
000004a7: PUSH1 0x04
000004a9: PUSH2 0x248b
000004ac: JUMP
000004ad: JUMPDEST
000004ae: PUSH2 0x10a7
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH2 0x021a
000004b6: PUSH2 0x04c0
000004b9: CALLDATASIZE
000004ba: PUSH1 0x04
000004bc: PUSH2 0x253c
000004bf: JUMP
000004c0: JUMPDEST
000004c1: PUSH2 0x10b6
000004c4: JUMP
000004c5: JUMPDEST
000004c6: CALLVALUE
000004c7: DUP1
000004c8: ISZERO
000004c9: PUSH2 0x04d1
000004cc: JUMPI
000004cd: PUSH1 0x00
000004cf: DUP1
000004d0: REVERT
000004d1: JUMPDEST
000004d2: POP
000004d3: PUSH2 0x021a
000004d6: PUSH2 0x04e0
000004d9: CALLDATASIZE
000004da: PUSH1 0x04
000004dc: PUSH2 0x2821
000004df: JUMP
000004e0: JUMPDEST
000004e1: PUSH2 0x1187
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH2 0x021a
000004e9: PUSH2 0x04f3
000004ec: CALLDATASIZE
000004ed: PUSH1 0x04
000004ef: PUSH2 0x27be
000004f2: JUMP
000004f3: JUMPDEST
000004f4: PUSH2 0x12d1
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH2 0x0505
000004fc: DUP5
000004fd: DUP5
000004fe: CALLVALUE
000004ff: DUP6
00000500: DUP6
00000501: PUSH2 0x1314
00000504: JUMP
00000505: JUMPDEST
00000506: POP
00000507: POP
00000508: POP
00000509: POP
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH1 0x03
0000050e: SLOAD
0000050f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000524: AND
00000525: CALLER
00000526: EQ
00000527: DUP1
00000528: ISZERO
00000529: PUSH2 0x05fa
0000052c: JUMPI
0000052d: POP
0000052e: PUSH1 0x03
00000530: SLOAD
00000531: PUSH1 0x40
00000533: DUP1
00000534: MLOAD
00000535: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000
00000556: DUP2
00000557: MSTORE
00000558: SWAP1
00000559: MLOAD
0000055a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056f: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
00000590: DUP2
00000591: AND
00000592: SWAP4
00000593: AND
00000594: SWAP2
00000595: PUSH4 0x6e296e45
0000059a: SWAP2
0000059b: PUSH1 0x04
0000059d: DUP1
0000059e: DUP4
0000059f: ADD
000005a0: SWAP3
000005a1: PUSH1 0x20
000005a3: SWAP3
000005a4: SWAP2
000005a5: SWAP1
000005a6: DUP3
000005a7: SWAP1
000005a8: SUB
000005a9: ADD
000005aa: DUP2
000005ab: DUP7
000005ac: GAS
000005ad: STATICCALL
000005ae: ISZERO
000005af: DUP1
000005b0: ISZERO
000005b1: PUSH2 0x05be
000005b4: JUMPI
000005b5: RETURNDATASIZE
000005b6: PUSH1 0x00
000005b8: DUP1
000005b9: RETURNDATACOPY
000005ba: RETURNDATASIZE
000005bb: PUSH1 0x00
000005bd: REVERT
000005be: JUMPDEST
000005bf: POP
000005c0: POP
000005c1: POP
000005c2: POP
000005c3: PUSH1 0x40
000005c5: MLOAD
000005c6: RETURNDATASIZE
000005c7: PUSH1 0x1f
000005c9: NOT
000005ca: PUSH1 0x1f
000005cc: DUP3
000005cd: ADD
000005ce: AND
000005cf: DUP3
000005d0: ADD
000005d1: DUP1
000005d2: PUSH1 0x40
000005d4: MSTORE
000005d5: POP
000005d6: DUP2
000005d7: ADD
000005d8: SWAP1
000005d9: PUSH2 0x05e2
000005dc: SWAP2
000005dd: SWAP1
000005de: PUSH2 0x283e
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f8: AND
000005f9: EQ
000005fa: JUMPDEST
000005fb: PUSH2 0x06ac
000005fe: JUMPI
000005ff: PUSH1 0x40
00000601: MLOAD
00000602: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000623: DUP2
00000624: MSTORE
00000625: PUSH1 0x20
00000627: PUSH1 0x04
00000629: DUP3
0000062a: ADD
0000062b: MSTORE
0000062c: PUSH1 0x41
0000062e: PUSH1 0x24
00000630: DUP3
00000631: ADD
00000632: MSTORE
00000633: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000654: PUSH1 0x44
00000656: DUP3
00000657: ADD
00000658: MSTORE
00000659: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
0000067a: PUSH1 0x64
0000067c: DUP3
0000067d: ADD
0000067e: MSTORE
0000067f: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
000006a0: PUSH1 0x84
000006a2: DUP3
000006a3: ADD
000006a4: MSTORE
000006a5: PUSH1 0xa4
000006a7: ADD
000006a8: PUSH2 0x01f3
000006ab: JUMP
000006ac: JUMPDEST
000006ad: PUSH2 0x06b5
000006b0: DUP8
000006b1: PUSH2 0x14fa
000006b4: JUMP
000006b5: JUMPDEST
000006b6: ISZERO
000006b7: PUSH2 0x0803
000006ba: JUMPI
000006bb: PUSH2 0x06c4
000006be: DUP8
000006bf: DUP8
000006c0: PUSH2 0x155c
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH2 0x0776
000006c8: JUMPI
000006c9: PUSH1 0x40
000006cb: MLOAD
000006cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006ed: DUP2
000006ee: MSTORE
000006ef: PUSH1 0x20
000006f1: PUSH1 0x04
000006f3: DUP3
000006f4: ADD
000006f5: MSTORE
000006f6: PUSH1 0x4a
000006f8: PUSH1 0x24
000006fa: DUP3
000006fb: ADD
000006fc: MSTORE
000006fd: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
0000071e: PUSH1 0x44
00000720: DUP3
00000721: ADD
00000722: MSTORE
00000723: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
00000744: PUSH1 0x64
00000746: DUP3
00000747: ADD
00000748: MSTORE
00000749: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
0000076a: PUSH1 0x84
0000076c: DUP3
0000076d: ADD
0000076e: MSTORE
0000076f: PUSH1 0xa4
00000771: ADD
00000772: PUSH2 0x01f3
00000775: JUMP
00000776: JUMPDEST
00000777: PUSH1 0x40
00000779: MLOAD
0000077a: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
0000079b: DUP2
0000079c: MSTORE
0000079d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b2: DUP6
000007b3: DUP2
000007b4: AND
000007b5: PUSH1 0x04
000007b7: DUP4
000007b8: ADD
000007b9: MSTORE
000007ba: PUSH1 0x24
000007bc: DUP3
000007bd: ADD
000007be: DUP6
000007bf: SWAP1
000007c0: MSTORE
000007c1: DUP9
000007c2: AND
000007c3: SWAP1
000007c4: PUSH4 0x40c10f19
000007c9: SWAP1
000007ca: PUSH1 0x44
000007cc: ADD
000007cd: PUSH1 0x00
000007cf: PUSH1 0x40
000007d1: MLOAD
000007d2: DUP1
000007d3: DUP4
000007d4: SUB
000007d5: DUP2
000007d6: PUSH1 0x00
000007d8: DUP8
000007d9: DUP1
000007da: EXTCODESIZE
000007db: ISZERO
000007dc: DUP1
000007dd: ISZERO
000007de: PUSH2 0x07e6
000007e1: JUMPI
000007e2: PUSH1 0x00
000007e4: DUP1
000007e5: REVERT
000007e6: JUMPDEST
000007e7: POP
000007e8: GAS
000007e9: CALL
000007ea: ISZERO
000007eb: DUP1
000007ec: ISZERO
000007ed: PUSH2 0x07fa
000007f0: JUMPI
000007f1: RETURNDATASIZE
000007f2: PUSH1 0x00
000007f4: DUP1
000007f5: RETURNDATACOPY
000007f6: RETURNDATASIZE
000007f7: PUSH1 0x00
000007f9: REVERT
000007fa: JUMPDEST
000007fb: POP
000007fc: POP
000007fd: POP
000007fe: POP
000007ff: PUSH2 0x0885
00000802: JUMP
00000803: JUMPDEST
00000804: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000819: DUP1
0000081a: DUP9
0000081b: AND
0000081c: PUSH1 0x00
0000081e: SWAP1
0000081f: DUP2
00000820: MSTORE
00000821: PUSH1 0x02
00000823: PUSH1 0x20
00000825: SWAP1
00000826: DUP2
00000827: MSTORE
00000828: PUSH1 0x40
0000082a: DUP1
0000082b: DUP4
0000082c: KECCAK256
0000082d: SWAP4
0000082e: DUP11
0000082f: AND
00000830: DUP4
00000831: MSTORE
00000832: SWAP3
00000833: SWAP1
00000834: MSTORE
00000835: KECCAK256
00000836: SLOAD
00000837: PUSH2 0x0841
0000083a: SWAP1
0000083b: DUP5
0000083c: SWAP1
0000083d: PUSH2 0x288a
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000857: DUP1
00000858: DUP10
00000859: AND
0000085a: PUSH1 0x00
0000085c: DUP2
0000085d: DUP2
0000085e: MSTORE
0000085f: PUSH1 0x02
00000861: PUSH1 0x20
00000863: SWAP1
00000864: DUP2
00000865: MSTORE
00000866: PUSH1 0x40
00000868: DUP1
00000869: DUP4
0000086a: KECCAK256
0000086b: SWAP5
0000086c: DUP13
0000086d: AND
0000086e: DUP4
0000086f: MSTORE
00000870: SWAP4
00000871: SWAP1
00000872: MSTORE
00000873: SWAP2
00000874: SWAP1
00000875: SWAP2
00000876: KECCAK256
00000877: SWAP2
00000878: SWAP1
00000879: SWAP2
0000087a: SSTORE
0000087b: PUSH2 0x0885
0000087e: SWAP1
0000087f: DUP6
00000880: DUP6
00000881: PUSH2 0x167c
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH2 0x08c9
00000889: DUP8
0000088a: DUP8
0000088b: DUP8
0000088c: DUP8
0000088d: DUP8
0000088e: DUP8
0000088f: DUP8
00000890: DUP1
00000891: DUP1
00000892: PUSH1 0x1f
00000894: ADD
00000895: PUSH1 0x20
00000897: DUP1
00000898: SWAP2
00000899: DIV
0000089a: MUL
0000089b: PUSH1 0x20
0000089d: ADD
0000089e: PUSH1 0x40
000008a0: MLOAD
000008a1: SWAP1
000008a2: DUP2
000008a3: ADD
000008a4: PUSH1 0x40
000008a6: MSTORE
000008a7: DUP1
000008a8: SWAP4
000008a9: SWAP3
000008aa: SWAP2
000008ab: SWAP1
000008ac: DUP2
000008ad: DUP2
000008ae: MSTORE
000008af: PUSH1 0x20
000008b1: ADD
000008b2: DUP4
000008b3: DUP4
000008b4: DUP1
000008b5: DUP3
000008b6: DUP5
000008b7: CALLDATACOPY
000008b8: PUSH1 0x00
000008ba: SWAP3
000008bb: ADD
000008bc: SWAP2
000008bd: SWAP1
000008be: SWAP2
000008bf: MSTORE
000008c0: POP
000008c1: PUSH2 0x1750
000008c4: SWAP3
000008c5: POP
000008c6: POP
000008c7: POP
000008c8: JUMP
000008c9: JUMPDEST
000008ca: POP
000008cb: POP
000008cc: POP
000008cd: POP
000008ce: POP
000008cf: POP
000008d0: POP
000008d1: JUMP
000008d2: JUMPDEST
000008d3: CALLER
000008d4: EXTCODESIZE
000008d5: ISZERO
000008d6: PUSH2 0x0961
000008d9: JUMPI
000008da: PUSH1 0x40
000008dc: MLOAD
000008dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008fe: DUP2
000008ff: MSTORE
00000900: PUSH1 0x20
00000902: PUSH1 0x04
00000904: DUP3
00000905: ADD
00000906: MSTORE
00000907: PUSH1 0x37
00000909: PUSH1 0x24
0000090b: DUP3
0000090c: ADD
0000090d: MSTORE
0000090e: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
0000092f: PUSH1 0x44
00000931: DUP3
00000932: ADD
00000933: MSTORE
00000934: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00000955: PUSH1 0x64
00000957: DUP3
00000958: ADD
00000959: MSTORE
0000095a: PUSH1 0x84
0000095c: ADD
0000095d: PUSH2 0x01f3
00000960: JUMP
00000961: JUMPDEST
00000962: PUSH2 0x09a4
00000965: CALLER
00000966: CALLER
00000967: CALLVALUE
00000968: DUP7
00000969: DUP7
0000096a: DUP7
0000096b: DUP1
0000096c: DUP1
0000096d: PUSH1 0x1f
0000096f: ADD
00000970: PUSH1 0x20
00000972: DUP1
00000973: SWAP2
00000974: DIV
00000975: MUL
00000976: PUSH1 0x20
00000978: ADD
00000979: PUSH1 0x40
0000097b: MLOAD
0000097c: SWAP1
0000097d: DUP2
0000097e: ADD
0000097f: PUSH1 0x40
00000981: MSTORE
00000982: DUP1
00000983: SWAP4
00000984: SWAP3
00000985: SWAP2
00000986: SWAP1
00000987: DUP2
00000988: DUP2
00000989: MSTORE
0000098a: PUSH1 0x20
0000098c: ADD
0000098d: DUP4
0000098e: DUP4
0000098f: DUP1
00000990: DUP3
00000991: DUP5
00000992: CALLDATACOPY
00000993: PUSH1 0x00
00000995: SWAP3
00000996: ADD
00000997: SWAP2
00000998: SWAP1
00000999: SWAP2
0000099a: MSTORE
0000099b: POP
0000099c: PUSH2 0x1314
0000099f: SWAP3
000009a0: POP
000009a1: POP
000009a2: POP
000009a3: JUMP
000009a4: JUMPDEST
000009a5: POP
000009a6: POP
000009a7: POP
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH2 0x09b6
000009ad: DUP6
000009ae: DUP6
000009af: DUP6
000009b0: DUP6
000009b1: DUP6
000009b2: PUSH2 0x09bd
000009b5: JUMP
000009b6: JUMPDEST
000009b7: POP
000009b8: POP
000009b9: POP
000009ba: POP
000009bb: POP
000009bc: JUMP
000009bd: JUMPDEST
000009be: PUSH1 0x03
000009c0: SLOAD
000009c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d6: AND
000009d7: CALLER
000009d8: EQ
000009d9: DUP1
000009da: ISZERO
000009db: PUSH2 0x0aac
000009de: JUMPI
000009df: POP
000009e0: PUSH1 0x03
000009e2: SLOAD
000009e3: PUSH1 0x40
000009e5: DUP1
000009e6: MLOAD
000009e7: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000
00000a08: DUP2
00000a09: MSTORE
00000a0a: SWAP1
00000a0b: MLOAD
00000a0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a21: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
00000a42: DUP2
00000a43: AND
00000a44: SWAP4
00000a45: AND
00000a46: SWAP2
00000a47: PUSH4 0x6e296e45
00000a4c: SWAP2
00000a4d: PUSH1 0x04
00000a4f: DUP1
00000a50: DUP4
00000a51: ADD
00000a52: SWAP3
00000a53: PUSH1 0x20
00000a55: SWAP3
00000a56: SWAP2
00000a57: SWAP1
00000a58: DUP3
00000a59: SWAP1
00000a5a: SUB
00000a5b: ADD
00000a5c: DUP2
00000a5d: DUP7
00000a5e: GAS
00000a5f: STATICCALL
00000a60: ISZERO
00000a61: DUP1
00000a62: ISZERO
00000a63: PUSH2 0x0a70
00000a66: JUMPI
00000a67: RETURNDATASIZE
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: RETURNDATACOPY
00000a6c: RETURNDATASIZE
00000a6d: PUSH1 0x00
00000a6f: REVERT
00000a70: JUMPDEST
00000a71: POP
00000a72: POP
00000a73: POP
00000a74: POP
00000a75: PUSH1 0x40
00000a77: MLOAD
00000a78: RETURNDATASIZE
00000a79: PUSH1 0x1f
00000a7b: NOT
00000a7c: PUSH1 0x1f
00000a7e: DUP3
00000a7f: ADD
00000a80: AND
00000a81: DUP3
00000a82: ADD
00000a83: DUP1
00000a84: PUSH1 0x40
00000a86: MSTORE
00000a87: POP
00000a88: DUP2
00000a89: ADD
00000a8a: SWAP1
00000a8b: PUSH2 0x0a94
00000a8e: SWAP2
00000a8f: SWAP1
00000a90: PUSH2 0x283e
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aaa: AND
00000aab: EQ
00000aac: JUMPDEST
00000aad: PUSH2 0x0b5e
00000ab0: JUMPI
00000ab1: PUSH1 0x40
00000ab3: MLOAD
00000ab4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ad5: DUP2
00000ad6: MSTORE
00000ad7: PUSH1 0x20
00000ad9: PUSH1 0x04
00000adb: DUP3
00000adc: ADD
00000add: MSTORE
00000ade: PUSH1 0x41
00000ae0: PUSH1 0x24
00000ae2: DUP3
00000ae3: ADD
00000ae4: MSTORE
00000ae5: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000b06: PUSH1 0x44
00000b08: DUP3
00000b09: ADD
00000b0a: MSTORE
00000b0b: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
00000b2c: PUSH1 0x64
00000b2e: DUP3
00000b2f: ADD
00000b30: MSTORE
00000b31: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00000b52: PUSH1 0x84
00000b54: DUP3
00000b55: ADD
00000b56: MSTORE
00000b57: PUSH1 0xa4
00000b59: ADD
00000b5a: PUSH2 0x01f3
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: DUP3
00000b60: CALLVALUE
00000b61: EQ
00000b62: PUSH2 0x0bed
00000b65: JUMPI
00000b66: PUSH1 0x40
00000b68: MLOAD
00000b69: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b8a: DUP2
00000b8b: MSTORE
00000b8c: PUSH1 0x20
00000b8e: PUSH1 0x04
00000b90: DUP3
00000b91: ADD
00000b92: MSTORE
00000b93: PUSH1 0x3a
00000b95: PUSH1 0x24
00000b97: DUP3
00000b98: ADD
00000b99: MSTORE
00000b9a: PUSH32 0x5374616e646172644272696467653a20616d6f756e742073656e7420646f6573
00000bbb: PUSH1 0x44
00000bbd: DUP3
00000bbe: ADD
00000bbf: MSTORE
00000bc0: PUSH32 0x206e6f74206d6174636820616d6f756e74207265717569726564000000000000
00000be1: PUSH1 0x64
00000be3: DUP3
00000be4: ADD
00000be5: MSTORE
00000be6: PUSH1 0x84
00000be8: ADD
00000be9: PUSH2 0x01f3
00000bec: JUMP
00000bed: JUMPDEST
00000bee: ADDRESS
00000bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c04: DUP6
00000c05: AND
00000c06: SUB
00000c07: PUSH2 0x0c92
00000c0a: JUMPI
00000c0b: PUSH1 0x40
00000c0d: MLOAD
00000c0e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c2f: DUP2
00000c30: MSTORE
00000c31: PUSH1 0x20
00000c33: PUSH1 0x04
00000c35: DUP3
00000c36: ADD
00000c37: MSTORE
00000c38: PUSH1 0x23
00000c3a: PUSH1 0x24
00000c3c: DUP3
00000c3d: ADD
00000c3e: MSTORE
00000c3f: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f2073
00000c60: PUSH1 0x44
00000c62: DUP3
00000c63: ADD
00000c64: MSTORE
00000c65: PUSH32 0x656c660000000000000000000000000000000000000000000000000000000000
00000c86: PUSH1 0x64
00000c88: DUP3
00000c89: ADD
00000c8a: MSTORE
00000c8b: PUSH1 0x84
00000c8d: ADD
00000c8e: PUSH2 0x01f3
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH1 0x03
00000c95: SLOAD
00000c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cab: SWAP1
00000cac: DUP2
00000cad: AND
00000cae: SWAP1
00000caf: DUP6
00000cb0: AND
00000cb1: SUB
00000cb2: PUSH2 0x0d3d
00000cb5: JUMPI
00000cb6: PUSH1 0x40
00000cb8: MLOAD
00000cb9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cda: DUP2
00000cdb: MSTORE
00000cdc: PUSH1 0x20
00000cde: PUSH1 0x04
00000ce0: DUP3
00000ce1: ADD
00000ce2: MSTORE
00000ce3: PUSH1 0x28
00000ce5: PUSH1 0x24
00000ce7: DUP3
00000ce8: ADD
00000ce9: MSTORE
00000cea: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f206d
00000d0b: PUSH1 0x44
00000d0d: DUP3
00000d0e: ADD
00000d0f: MSTORE
00000d10: PUSH32 0x657373656e676572000000000000000000000000000000000000000000000000
00000d31: PUSH1 0x64
00000d33: DUP3
00000d34: ADD
00000d35: MSTORE
00000d36: PUSH1 0x84
00000d38: ADD
00000d39: PUSH2 0x01f3
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: PUSH2 0x0d7f
00000d41: DUP6
00000d42: DUP6
00000d43: DUP6
00000d44: DUP6
00000d45: DUP6
00000d46: DUP1
00000d47: DUP1
00000d48: PUSH1 0x1f
00000d4a: ADD
00000d4b: PUSH1 0x20
00000d4d: DUP1
00000d4e: SWAP2
00000d4f: DIV
00000d50: MUL
00000d51: PUSH1 0x20
00000d53: ADD
00000d54: PUSH1 0x40
00000d56: MLOAD
00000d57: SWAP1
00000d58: DUP2
00000d59: ADD
00000d5a: PUSH1 0x40
00000d5c: MSTORE
00000d5d: DUP1
00000d5e: SWAP4
00000d5f: SWAP3
00000d60: SWAP2
00000d61: SWAP1
00000d62: DUP2
00000d63: DUP2
00000d64: MSTORE
00000d65: PUSH1 0x20
00000d67: ADD
00000d68: DUP4
00000d69: DUP4
00000d6a: DUP1
00000d6b: DUP3
00000d6c: DUP5
00000d6d: CALLDATACOPY
00000d6e: PUSH1 0x00
00000d70: SWAP3
00000d71: ADD
00000d72: SWAP2
00000d73: SWAP1
00000d74: SWAP2
00000d75: MSTORE
00000d76: POP
00000d77: PUSH2 0x17de
00000d7a: SWAP3
00000d7b: POP
00000d7c: POP
00000d7d: POP
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: PUSH1 0x00
00000d82: PUSH2 0x0d9c
00000d85: DUP6
00000d86: GAS
00000d87: DUP7
00000d88: PUSH1 0x40
00000d8a: MLOAD
00000d8b: DUP1
00000d8c: PUSH1 0x20
00000d8e: ADD
00000d8f: PUSH1 0x40
00000d91: MSTORE
00000d92: DUP1
00000d93: PUSH1 0x00
00000d95: DUP2
00000d96: MSTORE
00000d97: POP
00000d98: PUSH2 0x1851
00000d9b: JUMP
00000d9c: JUMPDEST
00000d9d: SWAP1
00000d9e: POP
00000d9f: DUP1
00000da0: PUSH2 0x0e2b
00000da3: JUMPI
00000da4: PUSH1 0x40
00000da6: MLOAD
00000da7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dc8: DUP2
00000dc9: MSTORE
00000dca: PUSH1 0x20
00000dcc: PUSH1 0x04
00000dce: DUP3
00000dcf: ADD
00000dd0: MSTORE
00000dd1: PUSH1 0x23
00000dd3: PUSH1 0x24
00000dd5: DUP3
00000dd6: ADD
00000dd7: MSTORE
00000dd8: PUSH32 0x5374616e646172644272696467653a20455448207472616e7366657220666169
00000df9: PUSH1 0x44
00000dfb: DUP3
00000dfc: ADD
00000dfd: MSTORE
00000dfe: PUSH32 0x6c65640000000000000000000000000000000000000000000000000000000000
00000e1f: PUSH1 0x64
00000e21: DUP3
00000e22: ADD
00000e23: MSTORE
00000e24: PUSH1 0x84
00000e26: ADD
00000e27: PUSH2 0x01f3
00000e2a: JUMP
00000e2b: JUMPDEST
00000e2c: POP
00000e2d: POP
00000e2e: POP
00000e2f: POP
00000e30: POP
00000e31: POP
00000e32: JUMP
00000e33: JUMPDEST
00000e34: PUSH2 0x08c9
00000e37: DUP8
00000e38: DUP8
00000e39: CALLER
00000e3a: DUP9
00000e3b: DUP9
00000e3c: DUP9
00000e3d: DUP9
00000e3e: DUP9
00000e3f: DUP1
00000e40: DUP1
00000e41: PUSH1 0x1f
00000e43: ADD
00000e44: PUSH1 0x20
00000e46: DUP1
00000e47: SWAP2
00000e48: DIV
00000e49: MUL
00000e4a: PUSH1 0x20
00000e4c: ADD
00000e4d: PUSH1 0x40
00000e4f: MLOAD
00000e50: SWAP1
00000e51: DUP2
00000e52: ADD
00000e53: PUSH1 0x40
00000e55: MSTORE
00000e56: DUP1
00000e57: SWAP4
00000e58: SWAP3
00000e59: SWAP2
00000e5a: SWAP1
00000e5b: DUP2
00000e5c: DUP2
00000e5d: MSTORE
00000e5e: PUSH1 0x20
00000e60: ADD
00000e61: DUP4
00000e62: DUP4
00000e63: DUP1
00000e64: DUP3
00000e65: DUP5
00000e66: CALLDATACOPY
00000e67: PUSH1 0x00
00000e69: SWAP3
00000e6a: ADD
00000e6b: SWAP2
00000e6c: SWAP1
00000e6d: SWAP2
00000e6e: MSTORE
00000e6f: POP
00000e70: PUSH2 0x186b
00000e73: SWAP3
00000e74: POP
00000e75: POP
00000e76: POP
00000e77: JUMP
00000e78: JUMPDEST
00000e79: CALLER
00000e7a: EXTCODESIZE
00000e7b: ISZERO
00000e7c: PUSH2 0x0f07
00000e7f: JUMPI
00000e80: PUSH1 0x40
00000e82: MLOAD
00000e83: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ea4: DUP2
00000ea5: MSTORE
00000ea6: PUSH1 0x20
00000ea8: PUSH1 0x04
00000eaa: DUP3
00000eab: ADD
00000eac: MSTORE
00000ead: PUSH1 0x37
00000eaf: PUSH1 0x24
00000eb1: DUP3
00000eb2: ADD
00000eb3: MSTORE
00000eb4: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000ed5: PUSH1 0x44
00000ed7: DUP3
00000ed8: ADD
00000ed9: MSTORE
00000eda: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00000efb: PUSH1 0x64
00000efd: DUP3
00000efe: ADD
00000eff: MSTORE
00000f00: PUSH1 0x84
00000f02: ADD
00000f03: PUSH2 0x01f3
00000f06: JUMP
00000f07: JUMPDEST
00000f08: PUSH2 0x0e2b
00000f0b: DUP7
00000f0c: DUP7
00000f0d: CALLER
00000f0e: CALLER
00000f0f: DUP9
00000f10: DUP9
00000f11: DUP9
00000f12: DUP9
00000f13: DUP1
00000f14: DUP1
00000f15: PUSH1 0x1f
00000f17: ADD
00000f18: PUSH1 0x20
00000f1a: DUP1
00000f1b: SWAP2
00000f1c: DIV
00000f1d: MUL
00000f1e: PUSH1 0x20
00000f20: ADD
00000f21: PUSH1 0x40
00000f23: MLOAD
00000f24: SWAP1
00000f25: DUP2
00000f26: ADD
00000f27: PUSH1 0x40
00000f29: MSTORE
00000f2a: DUP1
00000f2b: SWAP4
00000f2c: SWAP3
00000f2d: SWAP2
00000f2e: SWAP1
00000f2f: DUP2
00000f30: DUP2
00000f31: MSTORE
00000f32: PUSH1 0x20
00000f34: ADD
00000f35: DUP4
00000f36: DUP4
00000f37: DUP1
00000f38: DUP3
00000f39: DUP5
00000f3a: CALLDATACOPY
00000f3b: PUSH1 0x00
00000f3d: SWAP3
00000f3e: ADD
00000f3f: SWAP2
00000f40: SWAP1
00000f41: SWAP2
00000f42: MSTORE
00000f43: POP
00000f44: PUSH2 0x1bb3
00000f47: SWAP3
00000f48: POP
00000f49: POP
00000f4a: POP
00000f4b: JUMP
00000f4c: JUMPDEST
00000f4d: PUSH2 0x08c9
00000f50: DUP8
00000f51: DUP8
00000f52: CALLER
00000f53: DUP9
00000f54: DUP9
00000f55: DUP9
00000f56: DUP9
00000f57: DUP9
00000f58: DUP1
00000f59: DUP1
00000f5a: PUSH1 0x1f
00000f5c: ADD
00000f5d: PUSH1 0x20
00000f5f: DUP1
00000f60: SWAP2
00000f61: DIV
00000f62: MUL
00000f63: PUSH1 0x20
00000f65: ADD
00000f66: PUSH1 0x40
00000f68: MLOAD
00000f69: SWAP1
00000f6a: DUP2
00000f6b: ADD
00000f6c: PUSH1 0x40
00000f6e: MSTORE
00000f6f: DUP1
00000f70: SWAP4
00000f71: SWAP3
00000f72: SWAP2
00000f73: SWAP1
00000f74: DUP2
00000f75: DUP2
00000f76: MSTORE
00000f77: PUSH1 0x20
00000f79: ADD
00000f7a: DUP4
00000f7b: DUP4
00000f7c: DUP1
00000f7d: DUP3
00000f7e: DUP5
00000f7f: CALLDATACOPY
00000f80: PUSH1 0x00
00000f82: SWAP3
00000f83: ADD
00000f84: SWAP2
00000f85: SWAP1
00000f86: SWAP2
00000f87: MSTORE
00000f88: POP
00000f89: PUSH2 0x1bb3
00000f8c: SWAP3
00000f8d: POP
00000f8e: POP
00000f8f: POP
00000f90: JUMP
00000f91: JUMPDEST
00000f92: CALLER
00000f93: EXTCODESIZE
00000f94: ISZERO
00000f95: PUSH2 0x1020
00000f98: JUMPI
00000f99: PUSH1 0x40
00000f9b: MLOAD
00000f9c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fbd: DUP2
00000fbe: MSTORE
00000fbf: PUSH1 0x20
00000fc1: PUSH1 0x04
00000fc3: DUP3
00000fc4: ADD
00000fc5: MSTORE
00000fc6: PUSH1 0x37
00000fc8: PUSH1 0x24
00000fca: DUP3
00000fcb: ADD
00000fcc: MSTORE
00000fcd: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000fee: PUSH1 0x44
00000ff0: DUP3
00000ff1: ADD
00000ff2: MSTORE
00000ff3: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00001014: PUSH1 0x64
00001016: DUP3
00001017: ADD
00001018: MSTORE
00001019: PUSH1 0x84
0000101b: ADD
0000101c: PUSH2 0x01f3
0000101f: JUMP
00001020: JUMPDEST
00001021: PUSH2 0x0e2b
00001024: DUP7
00001025: DUP7
00001026: CALLER
00001027: CALLER
00001028: DUP9
00001029: DUP9
0000102a: DUP9
0000102b: DUP9
0000102c: DUP1
0000102d: DUP1
0000102e: PUSH1 0x1f
00001030: ADD
00001031: PUSH1 0x20
00001033: DUP1
00001034: SWAP2
00001035: DIV
00001036: MUL
00001037: PUSH1 0x20
00001039: ADD
0000103a: PUSH1 0x40
0000103c: MLOAD
0000103d: SWAP1
0000103e: DUP2
0000103f: ADD
00001040: PUSH1 0x40
00001042: MSTORE
00001043: DUP1
00001044: SWAP4
00001045: SWAP3
00001046: SWAP2
00001047: SWAP1
00001048: DUP2
00001049: DUP2
0000104a: MSTORE
0000104b: PUSH1 0x20
0000104d: ADD
0000104e: DUP4
0000104f: DUP4
00001050: DUP1
00001051: DUP3
00001052: DUP5
00001053: CALLDATACOPY
00001054: PUSH1 0x00
00001056: SWAP3
00001057: ADD
00001058: SWAP2
00001059: SWAP1
0000105a: SWAP2
0000105b: MSTORE
0000105c: POP
0000105d: PUSH2 0x186b
00001060: SWAP3
00001061: POP
00001062: POP
00001063: POP
00001064: JUMP
00001065: JUMPDEST
00001066: PUSH2 0x0505
00001069: CALLER
0000106a: DUP6
0000106b: DUP6
0000106c: DUP6
0000106d: DUP6
0000106e: DUP1
0000106f: DUP1
00001070: PUSH1 0x1f
00001072: ADD
00001073: PUSH1 0x20
00001075: DUP1
00001076: SWAP2
00001077: DIV
00001078: MUL
00001079: PUSH1 0x20
0000107b: ADD
0000107c: PUSH1 0x40
0000107e: MLOAD
0000107f: SWAP1
00001080: DUP2
00001081: ADD
00001082: PUSH1 0x40
00001084: MSTORE
00001085: DUP1
00001086: SWAP4
00001087: SWAP3
00001088: SWAP2
00001089: SWAP1
0000108a: DUP2
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: ADD
00001090: DUP4
00001091: DUP4
00001092: DUP1
00001093: DUP3
00001094: DUP5
00001095: CALLDATACOPY
00001096: PUSH1 0x00
00001098: SWAP3
00001099: ADD
0000109a: SWAP2
0000109b: SWAP1
0000109c: SWAP2
0000109d: MSTORE
0000109e: POP
0000109f: PUSH2 0x04f8
000010a2: SWAP3
000010a3: POP
000010a4: POP
000010a5: POP
000010a6: JUMP
000010a7: JUMPDEST
000010a8: PUSH2 0x08c9
000010ab: DUP8
000010ac: DUP8
000010ad: DUP8
000010ae: DUP8
000010af: DUP8
000010b0: DUP8
000010b1: DUP8
000010b2: PUSH2 0x050b
000010b5: JUMP
000010b6: JUMPDEST
000010b7: CALLER
000010b8: EXTCODESIZE
000010b9: ISZERO
000010ba: PUSH2 0x1145
000010bd: JUMPI
000010be: PUSH1 0x40
000010c0: MLOAD
000010c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010e2: DUP2
000010e3: MSTORE
000010e4: PUSH1 0x20
000010e6: PUSH1 0x04
000010e8: DUP3
000010e9: ADD
000010ea: MSTORE
000010eb: PUSH1 0x37
000010ed: PUSH1 0x24
000010ef: DUP3
000010f0: ADD
000010f1: MSTORE
000010f2: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00001113: PUSH1 0x44
00001115: DUP3
00001116: ADD
00001117: MSTORE
00001118: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00001139: PUSH1 0x64
0000113b: DUP3
0000113c: ADD
0000113d: MSTORE
0000113e: PUSH1 0x84
00001140: ADD
00001141: PUSH2 0x01f3
00001144: JUMP
00001145: JUMPDEST
00001146: PUSH2 0x09a4
00001149: CALLER
0000114a: CALLER
0000114b: DUP6
0000114c: DUP6
0000114d: DUP6
0000114e: DUP1
0000114f: DUP1
00001150: PUSH1 0x1f
00001152: ADD
00001153: PUSH1 0x20
00001155: DUP1
00001156: SWAP2
00001157: DIV
00001158: MUL
00001159: PUSH1 0x20
0000115b: ADD
0000115c: PUSH1 0x40
0000115e: MLOAD
0000115f: SWAP1
00001160: DUP2
00001161: ADD
00001162: PUSH1 0x40
00001164: MSTORE
00001165: DUP1
00001166: SWAP4
00001167: SWAP3
00001168: SWAP2
00001169: SWAP1
0000116a: DUP2
0000116b: DUP2
0000116c: MSTORE
0000116d: PUSH1 0x20
0000116f: ADD
00001170: DUP4
00001171: DUP4
00001172: DUP1
00001173: DUP3
00001174: DUP5
00001175: CALLDATACOPY
00001176: PUSH1 0x00
00001178: SWAP3
00001179: ADD
0000117a: SWAP2
0000117b: SWAP1
0000117c: SWAP2
0000117d: MSTORE
0000117e: POP
0000117f: PUSH2 0x04f8
00001182: SWAP3
00001183: POP
00001184: POP
00001185: POP
00001186: JUMP
00001187: JUMPDEST
00001188: PUSH1 0x00
0000118a: SLOAD
0000118b: PUSH1 0x03
0000118d: SWAP1
0000118e: PUSH2 0x0100
00001191: SWAP1
00001192: DIV
00001193: PUSH1 0xff
00001195: AND
00001196: ISZERO
00001197: DUP1
00001198: ISZERO
00001199: PUSH2 0x11a9
0000119c: JUMPI
0000119d: POP
0000119e: PUSH1 0x00
000011a0: SLOAD
000011a1: PUSH1 0xff
000011a3: DUP1
000011a4: DUP4
000011a5: AND
000011a6: SWAP2
000011a7: AND
000011a8: LT
000011a9: JUMPDEST
000011aa: PUSH2 0x1235
000011ad: JUMPI
000011ae: PUSH1 0x40
000011b0: MLOAD
000011b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011d2: DUP2
000011d3: MSTORE
000011d4: PUSH1 0x20
000011d6: PUSH1 0x04
000011d8: DUP3
000011d9: ADD
000011da: MSTORE
000011db: PUSH1 0x2e
000011dd: PUSH1 0x24
000011df: DUP3
000011e0: ADD
000011e1: MSTORE
000011e2: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00001203: PUSH1 0x44
00001205: DUP3
00001206: ADD
00001207: MSTORE
00001208: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00001229: PUSH1 0x64
0000122b: DUP3
0000122c: ADD
0000122d: MSTORE
0000122e: PUSH1 0x84
00001230: ADD
00001231: PUSH2 0x01f3
00001234: JUMP
00001235: JUMPDEST
00001236: PUSH1 0x00
00001238: DUP1
00001239: SLOAD
0000123a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000
0000125b: AND
0000125c: PUSH1 0xff
0000125e: DUP4
0000125f: AND
00001260: OR
00001261: PUSH2 0x0100
00001264: OR
00001265: SWAP1
00001266: SSTORE
00001267: PUSH2 0x126f
0000126a: DUP3
0000126b: PUSH2 0x1bc2
0000126e: JUMP
0000126f: JUMPDEST
00001270: PUSH1 0x00
00001272: DUP1
00001273: SLOAD
00001274: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00001295: AND
00001296: SWAP1
00001297: SSTORE
00001298: PUSH1 0x40
0000129a: MLOAD
0000129b: PUSH1 0xff
0000129d: DUP3
0000129e: AND
0000129f: DUP2
000012a0: MSTORE
000012a1: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
000012c2: SWAP1
000012c3: PUSH1 0x20
000012c5: ADD
000012c6: PUSH1 0x40
000012c8: MLOAD
000012c9: DUP1
000012ca: SWAP2
000012cb: SUB
000012cc: SWAP1
000012cd: LOG1
000012ce: POP
000012cf: POP
000012d0: JUMP
000012d1: JUMPDEST
000012d2: PUSH2 0x0505
000012d5: CALLER
000012d6: DUP6
000012d7: CALLVALUE
000012d8: DUP7
000012d9: DUP7
000012da: DUP7
000012db: DUP1
000012dc: DUP1
000012dd: PUSH1 0x1f
000012df: ADD
000012e0: PUSH1 0x20
000012e2: DUP1
000012e3: SWAP2
000012e4: DIV
000012e5: MUL
000012e6: PUSH1 0x20
000012e8: ADD
000012e9: PUSH1 0x40
000012eb: MLOAD
000012ec: SWAP1
000012ed: DUP2
000012ee: ADD
000012ef: PUSH1 0x40
000012f1: MSTORE
000012f2: DUP1
000012f3: SWAP4
000012f4: SWAP3
000012f5: SWAP2
000012f6: SWAP1
000012f7: DUP2
000012f8: DUP2
000012f9: MSTORE
000012fa: PUSH1 0x20
000012fc: ADD
000012fd: DUP4
000012fe: DUP4
000012ff: DUP1
00001300: DUP3
00001301: DUP5
00001302: CALLDATACOPY
00001303: PUSH1 0x00
00001305: SWAP3
00001306: ADD
00001307: SWAP2
00001308: SWAP1
00001309: SWAP2
0000130a: MSTORE
0000130b: POP
0000130c: PUSH2 0x1314
0000130f: SWAP3
00001310: POP
00001311: POP
00001312: POP
00001313: JUMP
00001314: JUMPDEST
00001315: DUP3
00001316: CALLVALUE
00001317: EQ
00001318: PUSH2 0x13a3
0000131b: JUMPI
0000131c: PUSH1 0x40
0000131e: MLOAD
0000131f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001340: DUP2
00001341: MSTORE
00001342: PUSH1 0x20
00001344: PUSH1 0x04
00001346: DUP3
00001347: ADD
00001348: MSTORE
00001349: PUSH1 0x3e
0000134b: PUSH1 0x24
0000134d: DUP3
0000134e: ADD
0000134f: MSTORE
00001350: PUSH32 0x5374616e646172644272696467653a206272696467696e6720455448206d7573
00001371: PUSH1 0x44
00001373: DUP3
00001374: ADD
00001375: MSTORE
00001376: PUSH32 0x7420696e636c7564652073756666696369656e74204554482076616c75650000
00001397: PUSH1 0x64
00001399: DUP3
0000139a: ADD
0000139b: MSTORE
0000139c: PUSH1 0x84
0000139e: ADD
0000139f: PUSH2 0x01f3
000013a2: JUMP
000013a3: JUMPDEST
000013a4: PUSH2 0x13af
000013a7: DUP6
000013a8: DUP6
000013a9: DUP6
000013aa: DUP5
000013ab: PUSH2 0x1ca0
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH1 0x03
000013b2: SLOAD
000013b3: PUSH1 0x40
000013b5: MLOAD
000013b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013cb: SWAP1
000013cc: SWAP2
000013cd: AND
000013ce: SWAP1
000013cf: PUSH4 0x3dbb202b
000013d4: SWAP1
000013d5: DUP6
000013d6: SWAP1
000013d7: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
000013f8: SWAP1
000013f9: PUSH32 0x1635f5fd00000000000000000000000000000000000000000000000000000000
0000141a: SWAP1
0000141b: PUSH2 0x142e
0000141e: SWAP1
0000141f: DUP12
00001420: SWAP1
00001421: DUP12
00001422: SWAP1
00001423: DUP7
00001424: SWAP1
00001425: DUP11
00001426: SWAP1
00001427: PUSH1 0x24
00001429: ADD
0000142a: PUSH2 0x28a1
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH1 0x40
00001431: DUP1
00001432: MLOAD
00001433: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001454: DUP2
00001455: DUP5
00001456: SUB
00001457: ADD
00001458: DUP2
00001459: MSTORE
0000145a: SWAP2
0000145b: DUP2
0000145c: MSTORE
0000145d: PUSH1 0x20
0000145f: DUP3
00001460: ADD
00001461: DUP1
00001462: MLOAD
00001463: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001480: AND
00001481: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000014a2: SWAP5
000014a3: DUP6
000014a4: AND
000014a5: OR
000014a6: SWAP1
000014a7: MSTORE
000014a8: MLOAD
000014a9: PUSH1 0xe0
000014ab: DUP7
000014ac: SWAP1
000014ad: SHL
000014ae: SWAP1
000014af: SWAP3
000014b0: AND
000014b1: DUP3
000014b2: MSTORE
000014b3: PUSH2 0x14c1
000014b6: SWAP3
000014b7: SWAP2
000014b8: DUP9
000014b9: SWAP1
000014ba: PUSH1 0x04
000014bc: ADD
000014bd: PUSH2 0x28ea
000014c0: JUMP
000014c1: JUMPDEST
000014c2: PUSH1 0x00
000014c4: PUSH1 0x40
000014c6: MLOAD
000014c7: DUP1
000014c8: DUP4
000014c9: SUB
000014ca: DUP2
000014cb: DUP6
000014cc: DUP9
000014cd: DUP1
000014ce: EXTCODESIZE
000014cf: ISZERO
000014d0: DUP1
000014d1: ISZERO
000014d2: PUSH2 0x14da
000014d5: JUMPI
000014d6: PUSH1 0x00
000014d8: DUP1
000014d9: REVERT
000014da: JUMPDEST
000014db: POP
000014dc: GAS
000014dd: CALL
000014de: ISZERO
000014df: DUP1
000014e0: ISZERO
000014e1: PUSH2 0x14ee
000014e4: JUMPI
000014e5: RETURNDATASIZE
000014e6: PUSH1 0x00
000014e8: DUP1
000014e9: RETURNDATACOPY
000014ea: RETURNDATASIZE
000014eb: PUSH1 0x00
000014ed: REVERT
000014ee: JUMPDEST
000014ef: POP
000014f0: POP
000014f1: POP
000014f2: POP
000014f3: POP
000014f4: POP
000014f5: POP
000014f6: POP
000014f7: POP
000014f8: POP
000014f9: JUMP
000014fa: JUMPDEST
000014fb: PUSH1 0x00
000014fd: PUSH2 0x1526
00001500: DUP3
00001501: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
00001522: PUSH2 0x1d13
00001525: JUMP
00001526: JUMPDEST
00001527: DUP1
00001528: PUSH2 0x1556
0000152b: JUMPI
0000152c: POP
0000152d: PUSH2 0x1556
00001530: DUP3
00001531: PUSH32 0xec4fc8e300000000000000000000000000000000000000000000000000000000
00001552: PUSH2 0x1d13
00001555: JUMP
00001556: JUMPDEST
00001557: SWAP3
00001558: SWAP2
00001559: POP
0000155a: POP
0000155b: JUMP
0000155c: JUMPDEST
0000155d: PUSH1 0x00
0000155f: PUSH2 0x1588
00001562: DUP4
00001563: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
00001584: PUSH2 0x1d13
00001587: JUMP
00001588: JUMPDEST
00001589: ISZERO
0000158a: PUSH2 0x1631
0000158d: JUMPI
0000158e: DUP3
0000158f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a4: AND
000015a5: PUSH4 0xc01e1bd6
000015aa: PUSH1 0x40
000015ac: MLOAD
000015ad: DUP2
000015ae: PUSH4 0xffffffff
000015b3: AND
000015b4: PUSH1 0xe0
000015b6: SHL
000015b7: DUP2
000015b8: MSTORE
000015b9: PUSH1 0x04
000015bb: ADD
000015bc: PUSH1 0x20
000015be: PUSH1 0x40
000015c0: MLOAD
000015c1: DUP1
000015c2: DUP4
000015c3: SUB
000015c4: DUP2
000015c5: DUP7
000015c6: GAS
000015c7: STATICCALL
000015c8: ISZERO
000015c9: DUP1
000015ca: ISZERO
000015cb: PUSH2 0x15d8
000015ce: JUMPI
000015cf: RETURNDATASIZE
000015d0: PUSH1 0x00
000015d2: DUP1
000015d3: RETURNDATACOPY
000015d4: RETURNDATASIZE
000015d5: PUSH1 0x00
000015d7: REVERT
000015d8: JUMPDEST
000015d9: POP
000015da: POP
000015db: POP
000015dc: POP
000015dd: PUSH1 0x40
000015df: MLOAD
000015e0: RETURNDATASIZE
000015e1: PUSH1 0x1f
000015e3: NOT
000015e4: PUSH1 0x1f
000015e6: DUP3
000015e7: ADD
000015e8: AND
000015e9: DUP3
000015ea: ADD
000015eb: DUP1
000015ec: PUSH1 0x40
000015ee: MSTORE
000015ef: POP
000015f0: DUP2
000015f1: ADD
000015f2: SWAP1
000015f3: PUSH2 0x15fc
000015f6: SWAP2
000015f7: SWAP1
000015f8: PUSH2 0x283e
000015fb: JUMP
000015fc: JUMPDEST
000015fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001612: AND
00001613: DUP3
00001614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001629: AND
0000162a: EQ
0000162b: SWAP1
0000162c: POP
0000162d: PUSH2 0x1556
00001630: JUMP
00001631: JUMPDEST
00001632: DUP3
00001633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001648: AND
00001649: PUSH4 0xd6c0b2c4
0000164e: PUSH1 0x40
00001650: MLOAD
00001651: DUP2
00001652: PUSH4 0xffffffff
00001657: AND
00001658: PUSH1 0xe0
0000165a: SHL
0000165b: DUP2
0000165c: MSTORE
0000165d: PUSH1 0x04
0000165f: ADD
00001660: PUSH1 0x20
00001662: PUSH1 0x40
00001664: MLOAD
00001665: DUP1
00001666: DUP4
00001667: SUB
00001668: DUP2
00001669: DUP7
0000166a: GAS
0000166b: STATICCALL
0000166c: ISZERO
0000166d: DUP1
0000166e: ISZERO
0000166f: PUSH2 0x15d8
00001672: JUMPI
00001673: RETURNDATASIZE
00001674: PUSH1 0x00
00001676: DUP1
00001677: RETURNDATACOPY
00001678: RETURNDATASIZE
00001679: PUSH1 0x00
0000167b: REVERT
0000167c: JUMPDEST
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001695: DUP4
00001696: AND
00001697: PUSH1 0x24
00001699: DUP3
0000169a: ADD
0000169b: MSTORE
0000169c: PUSH1 0x44
0000169e: DUP2
0000169f: ADD
000016a0: DUP3
000016a1: SWAP1
000016a2: MSTORE
000016a3: PUSH2 0x09a4
000016a6: SWAP1
000016a7: DUP5
000016a8: SWAP1
000016a9: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000016ca: SWAP1
000016cb: PUSH1 0x64
000016cd: ADD
000016ce: JUMPDEST
000016cf: PUSH1 0x40
000016d1: DUP1
000016d2: MLOAD
000016d3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000016f4: DUP2
000016f5: DUP5
000016f6: SUB
000016f7: ADD
000016f8: DUP2
000016f9: MSTORE
000016fa: SWAP2
000016fb: SWAP1
000016fc: MSTORE
000016fd: PUSH1 0x20
000016ff: DUP2
00001700: ADD
00001701: DUP1
00001702: MLOAD
00001703: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001720: AND
00001721: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001742: SWAP1
00001743: SWAP4
00001744: AND
00001745: SWAP3
00001746: SWAP1
00001747: SWAP3
00001748: OR
00001749: SWAP1
0000174a: SWAP2
0000174b: MSTORE
0000174c: PUSH2 0x1d36
0000174f: JUMP
00001750: JUMPDEST
00001751: DUP4
00001752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001767: AND
00001768: DUP6
00001769: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177e: AND
0000177f: DUP8
00001780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001795: AND
00001796: PUSH32 0x3ceee06c1e37648fcbb6ed52e17b3e1f275a1f8c7b22a84b2b84732431e046b3
000017b7: DUP7
000017b8: DUP7
000017b9: DUP7
000017ba: PUSH1 0x40
000017bc: MLOAD
000017bd: PUSH2 0x17c8
000017c0: SWAP4
000017c1: SWAP3
000017c2: SWAP2
000017c3: SWAP1
000017c4: PUSH2 0x292f
000017c7: JUMP
000017c8: JUMPDEST
000017c9: PUSH1 0x40
000017cb: MLOAD
000017cc: DUP1
000017cd: SWAP2
000017ce: SUB
000017cf: SWAP1
000017d0: LOG4
000017d1: PUSH2 0x0e2b
000017d4: DUP7
000017d5: DUP7
000017d6: DUP7
000017d7: DUP7
000017d8: DUP7
000017d9: DUP7
000017da: PUSH2 0x1e42
000017dd: JUMP
000017de: JUMPDEST
000017df: DUP3
000017e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f5: AND
000017f6: DUP5
000017f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000180c: AND
0000180d: PUSH32 0x2ac69ee804d9a7a0984249f508dfab7cb2534b465b6ce1580f99a38ba9c5e631
0000182e: DUP5
0000182f: DUP5
00001830: PUSH1 0x40
00001832: MLOAD
00001833: PUSH2 0x183d
00001836: SWAP3
00001837: SWAP2
00001838: SWAP1
00001839: PUSH2 0x296d
0000183c: JUMP
0000183d: JUMPDEST
0000183e: PUSH1 0x40
00001840: MLOAD
00001841: DUP1
00001842: SWAP2
00001843: SUB
00001844: SWAP1
00001845: LOG3
00001846: PUSH2 0x0505
00001849: DUP5
0000184a: DUP5
0000184b: DUP5
0000184c: DUP5
0000184d: PUSH2 0x1eca
00001850: JUMP
00001851: JUMPDEST
00001852: PUSH1 0x00
00001854: DUP1
00001855: PUSH1 0x00
00001857: DUP1
00001858: DUP5
00001859: MLOAD
0000185a: PUSH1 0x20
0000185c: DUP7
0000185d: ADD
0000185e: DUP8
0000185f: DUP11
00001860: DUP11
00001861: CALL
00001862: SWAP7
00001863: SWAP6
00001864: POP
00001865: POP
00001866: POP
00001867: POP
00001868: POP
00001869: POP
0000186a: JUMP
0000186b: JUMPDEST
0000186c: PUSH2 0x1874
0000186f: DUP8
00001870: PUSH2 0x14fa
00001873: JUMP
00001874: JUMPDEST
00001875: ISZERO
00001876: PUSH2 0x19c2
00001879: JUMPI
0000187a: PUSH2 0x1883
0000187d: DUP8
0000187e: DUP8
0000187f: PUSH2 0x155c
00001882: JUMP
00001883: JUMPDEST
00001884: PUSH2 0x1935
00001887: JUMPI
00001888: PUSH1 0x40
0000188a: MLOAD
0000188b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018ac: DUP2
000018ad: MSTORE
000018ae: PUSH1 0x20
000018b0: PUSH1 0x04
000018b2: DUP3
000018b3: ADD
000018b4: MSTORE
000018b5: PUSH1 0x4a
000018b7: PUSH1 0x24
000018b9: DUP3
000018ba: ADD
000018bb: MSTORE
000018bc: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
000018dd: PUSH1 0x44
000018df: DUP3
000018e0: ADD
000018e1: MSTORE
000018e2: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
00001903: PUSH1 0x64
00001905: DUP3
00001906: ADD
00001907: MSTORE
00001908: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
00001929: PUSH1 0x84
0000192b: DUP3
0000192c: ADD
0000192d: MSTORE
0000192e: PUSH1 0xa4
00001930: ADD
00001931: PUSH2 0x01f3
00001934: JUMP
00001935: JUMPDEST
00001936: PUSH1 0x40
00001938: MLOAD
00001939: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000
0000195a: DUP2
0000195b: MSTORE
0000195c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001971: DUP7
00001972: DUP2
00001973: AND
00001974: PUSH1 0x04
00001976: DUP4
00001977: ADD
00001978: MSTORE
00001979: PUSH1 0x24
0000197b: DUP3
0000197c: ADD
0000197d: DUP6
0000197e: SWAP1
0000197f: MSTORE
00001980: DUP9
00001981: AND
00001982: SWAP1
00001983: PUSH4 0x9dc29fac
00001988: SWAP1
00001989: PUSH1 0x44
0000198b: ADD
0000198c: PUSH1 0x00
0000198e: PUSH1 0x40
00001990: MLOAD
00001991: DUP1
00001992: DUP4
00001993: SUB
00001994: DUP2
00001995: PUSH1 0x00
00001997: DUP8
00001998: DUP1
00001999: EXTCODESIZE
0000199a: ISZERO
0000199b: DUP1
0000199c: ISZERO
0000199d: PUSH2 0x19a5
000019a0: JUMPI
000019a1: PUSH1 0x00
000019a3: DUP1
000019a4: REVERT
000019a5: JUMPDEST
000019a6: POP
000019a7: GAS
000019a8: CALL
000019a9: ISZERO
000019aa: DUP1
000019ab: ISZERO
000019ac: PUSH2 0x19b9
000019af: JUMPI
000019b0: RETURNDATASIZE
000019b1: PUSH1 0x00
000019b3: DUP1
000019b4: RETURNDATACOPY
000019b5: RETURNDATASIZE
000019b6: PUSH1 0x00
000019b8: REVERT
000019b9: JUMPDEST
000019ba: POP
000019bb: POP
000019bc: POP
000019bd: POP
000019be: PUSH2 0x1a56
000019c1: JUMP
000019c2: JUMPDEST
000019c3: PUSH2 0x19e4
000019c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019db: DUP9
000019dc: AND
000019dd: DUP7
000019de: ADDRESS
000019df: DUP7
000019e0: PUSH2 0x1f37
000019e3: JUMP
000019e4: JUMPDEST
000019e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fa: DUP1
000019fb: DUP9
000019fc: AND
000019fd: PUSH1 0x00
000019ff: SWAP1
00001a00: DUP2
00001a01: MSTORE
00001a02: PUSH1 0x02
00001a04: PUSH1 0x20
00001a06: SWAP1
00001a07: DUP2
00001a08: MSTORE
00001a09: PUSH1 0x40
00001a0b: DUP1
00001a0c: DUP4
00001a0d: KECCAK256
00001a0e: SWAP4
00001a0f: DUP11
00001a10: AND
00001a11: DUP4
00001a12: MSTORE
00001a13: SWAP3
00001a14: SWAP1
00001a15: MSTORE
00001a16: KECCAK256
00001a17: SLOAD
00001a18: PUSH2 0x1a22
00001a1b: SWAP1
00001a1c: DUP5
00001a1d: SWAP1
00001a1e: PUSH2 0x2986
00001a21: JUMP
00001a22: JUMPDEST
00001a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a38: DUP1
00001a39: DUP10
00001a3a: AND
00001a3b: PUSH1 0x00
00001a3d: SWAP1
00001a3e: DUP2
00001a3f: MSTORE
00001a40: PUSH1 0x02
00001a42: PUSH1 0x20
00001a44: SWAP1
00001a45: DUP2
00001a46: MSTORE
00001a47: PUSH1 0x40
00001a49: DUP1
00001a4a: DUP4
00001a4b: KECCAK256
00001a4c: SWAP4
00001a4d: DUP12
00001a4e: AND
00001a4f: DUP4
00001a50: MSTORE
00001a51: SWAP3
00001a52: SWAP1
00001a53: MSTORE
00001a54: KECCAK256
00001a55: SSTORE
00001a56: JUMPDEST
00001a57: PUSH2 0x1a64
00001a5a: DUP8
00001a5b: DUP8
00001a5c: DUP8
00001a5d: DUP8
00001a5e: DUP8
00001a5f: DUP7
00001a60: PUSH2 0x1f95
00001a63: JUMP
00001a64: JUMPDEST
00001a65: PUSH1 0x03
00001a67: SLOAD
00001a68: PUSH1 0x40
00001a6a: MLOAD
00001a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a80: SWAP1
00001a81: SWAP2
00001a82: AND
00001a83: SWAP1
00001a84: PUSH4 0x3dbb202b
00001a89: SWAP1
00001a8a: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
00001aab: SWAP1
00001aac: PUSH32 0x0166a07a00000000000000000000000000000000000000000000000000000000
00001acd: SWAP1
00001ace: PUSH2 0x1ae5
00001ad1: SWAP1
00001ad2: DUP12
00001ad3: SWAP1
00001ad4: DUP14
00001ad5: SWAP1
00001ad6: DUP13
00001ad7: SWAP1
00001ad8: DUP13
00001ad9: SWAP1
00001ada: DUP13
00001adb: SWAP1
00001adc: DUP12
00001add: SWAP1
00001ade: PUSH1 0x24
00001ae0: ADD
00001ae1: PUSH2 0x299e
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: PUSH1 0x40
00001ae8: DUP1
00001ae9: MLOAD
00001aea: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001b0b: DUP2
00001b0c: DUP5
00001b0d: SUB
00001b0e: ADD
00001b0f: DUP2
00001b10: MSTORE
00001b11: SWAP2
00001b12: DUP2
00001b13: MSTORE
00001b14: PUSH1 0x20
00001b16: DUP3
00001b17: ADD
00001b18: DUP1
00001b19: MLOAD
00001b1a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b37: AND
00001b38: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001b59: SWAP5
00001b5a: DUP6
00001b5b: AND
00001b5c: OR
00001b5d: SWAP1
00001b5e: MSTORE
00001b5f: MLOAD
00001b60: PUSH1 0xe0
00001b62: DUP6
00001b63: SWAP1
00001b64: SHL
00001b65: SWAP1
00001b66: SWAP3
00001b67: AND
00001b68: DUP3
00001b69: MSTORE
00001b6a: PUSH2 0x1b78
00001b6d: SWAP3
00001b6e: SWAP2
00001b6f: DUP8
00001b70: SWAP1
00001b71: PUSH1 0x04
00001b73: ADD
00001b74: PUSH2 0x28ea
00001b77: JUMP
00001b78: JUMPDEST
00001b79: PUSH1 0x00
00001b7b: PUSH1 0x40
00001b7d: MLOAD
00001b7e: DUP1
00001b7f: DUP4
00001b80: SUB
00001b81: DUP2
00001b82: PUSH1 0x00
00001b84: DUP8
00001b85: DUP1
00001b86: EXTCODESIZE
00001b87: ISZERO
00001b88: DUP1
00001b89: ISZERO
00001b8a: PUSH2 0x1b92
00001b8d: JUMPI
00001b8e: PUSH1 0x00
00001b90: DUP1
00001b91: REVERT
00001b92: JUMPDEST
00001b93: POP
00001b94: GAS
00001b95: CALL
00001b96: ISZERO
00001b97: DUP1
00001b98: ISZERO
00001b99: PUSH2 0x1ba6
00001b9c: JUMPI
00001b9d: RETURNDATASIZE
00001b9e: PUSH1 0x00
00001ba0: DUP1
00001ba1: RETURNDATACOPY
00001ba2: RETURNDATASIZE
00001ba3: PUSH1 0x00
00001ba5: REVERT
00001ba6: JUMPDEST
00001ba7: POP
00001ba8: POP
00001ba9: POP
00001baa: POP
00001bab: POP
00001bac: POP
00001bad: POP
00001bae: POP
00001baf: POP
00001bb0: POP
00001bb1: POP
00001bb2: JUMP
00001bb3: JUMPDEST
00001bb4: PUSH2 0x08c9
00001bb7: DUP8
00001bb8: DUP8
00001bb9: DUP8
00001bba: DUP8
00001bbb: DUP8
00001bbc: DUP8
00001bbd: DUP8
00001bbe: PUSH2 0x186b
00001bc1: JUMP
00001bc2: JUMPDEST
00001bc3: PUSH1 0x00
00001bc5: SLOAD
00001bc6: PUSH2 0x0100
00001bc9: SWAP1
00001bca: DIV
00001bcb: PUSH1 0xff
00001bcd: AND
00001bce: PUSH2 0x1c59
00001bd1: JUMPI
00001bd2: PUSH1 0x40
00001bd4: MLOAD
00001bd5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bf6: DUP2
00001bf7: MSTORE
00001bf8: PUSH1 0x20
00001bfa: PUSH1 0x04
00001bfc: DUP3
00001bfd: ADD
00001bfe: MSTORE
00001bff: PUSH1 0x2b
00001c01: PUSH1 0x24
00001c03: DUP3
00001c04: ADD
00001c05: MSTORE
00001c06: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001c27: PUSH1 0x44
00001c29: DUP3
00001c2a: ADD
00001c2b: MSTORE
00001c2c: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00001c4d: PUSH1 0x64
00001c4f: DUP3
00001c50: ADD
00001c51: MSTORE
00001c52: PUSH1 0x84
00001c54: ADD
00001c55: PUSH2 0x01f3
00001c58: JUMP
00001c59: JUMPDEST
00001c5a: PUSH1 0x03
00001c5c: DUP1
00001c5d: SLOAD
00001c5e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001c7f: AND
00001c80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c95: SWAP3
00001c96: SWAP1
00001c97: SWAP3
00001c98: AND
00001c99: SWAP2
00001c9a: SWAP1
00001c9b: SWAP2
00001c9c: OR
00001c9d: SWAP1
00001c9e: SSTORE
00001c9f: JUMP
00001ca0: JUMPDEST
00001ca1: DUP3
00001ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb7: AND
00001cb8: DUP5
00001cb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cce: AND
00001ccf: PUSH32 0x35d79ab81f2b2017e19afb5c5571778877782d7a8786f5907f93b0f4702f4f23
00001cf0: DUP5
00001cf1: DUP5
00001cf2: PUSH1 0x40
00001cf4: MLOAD
00001cf5: PUSH2 0x1cff
00001cf8: SWAP3
00001cf9: SWAP2
00001cfa: SWAP1
00001cfb: PUSH2 0x296d
00001cfe: JUMP
00001cff: JUMPDEST
00001d00: PUSH1 0x40
00001d02: MLOAD
00001d03: DUP1
00001d04: SWAP2
00001d05: SUB
00001d06: SWAP1
00001d07: LOG3
00001d08: PUSH2 0x0505
00001d0b: DUP5
00001d0c: DUP5
00001d0d: DUP5
00001d0e: DUP5
00001d0f: PUSH2 0x2023
00001d12: JUMP
00001d13: JUMPDEST
00001d14: PUSH1 0x00
00001d16: PUSH2 0x1d1e
00001d19: DUP4
00001d1a: PUSH2 0x2082
00001d1d: JUMP
00001d1e: JUMPDEST
00001d1f: DUP1
00001d20: ISZERO
00001d21: PUSH2 0x1d2f
00001d24: JUMPI
00001d25: POP
00001d26: PUSH2 0x1d2f
00001d29: DUP4
00001d2a: DUP4
00001d2b: PUSH2 0x20e6
00001d2e: JUMP
00001d2f: JUMPDEST
00001d30: SWAP4
00001d31: SWAP3
00001d32: POP
00001d33: POP
00001d34: POP
00001d35: JUMP
00001d36: JUMPDEST
00001d37: PUSH1 0x00
00001d39: PUSH2 0x1d98
00001d3c: DUP3
00001d3d: PUSH1 0x40
00001d3f: MLOAD
00001d40: DUP1
00001d41: PUSH1 0x40
00001d43: ADD
00001d44: PUSH1 0x40
00001d46: MSTORE
00001d47: DUP1
00001d48: PUSH1 0x20
00001d4a: DUP2
00001d4b: MSTORE
00001d4c: PUSH1 0x20
00001d4e: ADD
00001d4f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001d70: DUP2
00001d71: MSTORE
00001d72: POP
00001d73: DUP6
00001d74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d89: AND
00001d8a: PUSH2 0x21b5
00001d8d: SWAP1
00001d8e: SWAP3
00001d8f: SWAP2
00001d90: SWAP1
00001d91: PUSH4 0xffffffff
00001d96: AND
00001d97: JUMP
00001d98: JUMPDEST
00001d99: DUP1
00001d9a: MLOAD
00001d9b: SWAP1
00001d9c: SWAP2
00001d9d: POP
00001d9e: ISZERO
00001d9f: PUSH2 0x09a4
00001da2: JUMPI
00001da3: DUP1
00001da4: DUP1
00001da5: PUSH1 0x20
00001da7: ADD
00001da8: SWAP1
00001da9: MLOAD
00001daa: DUP2
00001dab: ADD
00001dac: SWAP1
00001dad: PUSH2 0x1db6
00001db0: SWAP2
00001db1: SWAP1
00001db2: PUSH2 0x29f9
00001db5: JUMP
00001db6: JUMPDEST
00001db7: PUSH2 0x09a4
00001dba: JUMPI
00001dbb: PUSH1 0x40
00001dbd: MLOAD
00001dbe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ddf: DUP2
00001de0: MSTORE
00001de1: PUSH1 0x20
00001de3: PUSH1 0x04
00001de5: DUP3
00001de6: ADD
00001de7: MSTORE
00001de8: PUSH1 0x2a
00001dea: PUSH1 0x24
00001dec: DUP3
00001ded: ADD
00001dee: MSTORE
00001def: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001e10: PUSH1 0x44
00001e12: DUP3
00001e13: ADD
00001e14: MSTORE
00001e15: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00001e36: PUSH1 0x64
00001e38: DUP3
00001e39: ADD
00001e3a: MSTORE
00001e3b: PUSH1 0x84
00001e3d: ADD
00001e3e: PUSH2 0x01f3
00001e41: JUMP
00001e42: JUMPDEST
00001e43: DUP4
00001e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e59: AND
00001e5a: DUP6
00001e5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e70: AND
00001e71: DUP8
00001e72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e87: AND
00001e88: PUSH32 0xd59c65b35445225835c83f50b6ede06a7be047d22e357073e250d9af537518cd
00001ea9: DUP7
00001eaa: DUP7
00001eab: DUP7
00001eac: PUSH1 0x40
00001eae: MLOAD
00001eaf: PUSH2 0x1eba
00001eb2: SWAP4
00001eb3: SWAP3
00001eb4: SWAP2
00001eb5: SWAP1
00001eb6: PUSH2 0x292f
00001eb9: JUMP
00001eba: JUMPDEST
00001ebb: PUSH1 0x40
00001ebd: MLOAD
00001ebe: DUP1
00001ebf: SWAP2
00001ec0: SUB
00001ec1: SWAP1
00001ec2: LOG4
00001ec3: POP
00001ec4: POP
00001ec5: POP
00001ec6: POP
00001ec7: POP
00001ec8: POP
00001ec9: JUMP
00001eca: JUMPDEST
00001ecb: DUP3
00001ecc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee1: AND
00001ee2: DUP5
00001ee3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef8: AND
00001ef9: PUSH32 0x31b2166ff604fc5672ea5df08a78081d2bc6d746cadce880747f3643d819e83d
00001f1a: DUP5
00001f1b: DUP5
00001f1c: PUSH1 0x40
00001f1e: MLOAD
00001f1f: PUSH2 0x1f29
00001f22: SWAP3
00001f23: SWAP2
00001f24: SWAP1
00001f25: PUSH2 0x296d
00001f28: JUMP
00001f29: JUMPDEST
00001f2a: PUSH1 0x40
00001f2c: MLOAD
00001f2d: DUP1
00001f2e: SWAP2
00001f2f: SUB
00001f30: SWAP1
00001f31: LOG3
00001f32: POP
00001f33: POP
00001f34: POP
00001f35: POP
00001f36: JUMP
00001f37: JUMPDEST
00001f38: PUSH1 0x40
00001f3a: MLOAD
00001f3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f50: DUP1
00001f51: DUP6
00001f52: AND
00001f53: PUSH1 0x24
00001f55: DUP4
00001f56: ADD
00001f57: MSTORE
00001f58: DUP4
00001f59: AND
00001f5a: PUSH1 0x44
00001f5c: DUP3
00001f5d: ADD
00001f5e: MSTORE
00001f5f: PUSH1 0x64
00001f61: DUP2
00001f62: ADD
00001f63: DUP3
00001f64: SWAP1
00001f65: MSTORE
00001f66: PUSH2 0x0505
00001f69: SWAP1
00001f6a: DUP6
00001f6b: SWAP1
00001f6c: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001f8d: SWAP1
00001f8e: PUSH1 0x84
00001f90: ADD
00001f91: PUSH2 0x16ce
00001f94: JUMP
00001f95: JUMPDEST
00001f96: DUP4
00001f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fac: AND
00001fad: DUP6
00001fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc3: AND
00001fc4: DUP8
00001fc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fda: AND
00001fdb: PUSH32 0x718594027abd4eaed59f95162563e0cc6d0e8d5b86b1c7be8b1b0ac3343d0396
00001ffc: DUP7
00001ffd: DUP7
00001ffe: DUP7
00001fff: PUSH1 0x40
00002001: MLOAD
00002002: PUSH2 0x200d
00002005: SWAP4
00002006: SWAP3
00002007: SWAP2
00002008: SWAP1
00002009: PUSH2 0x292f
0000200c: JUMP
0000200d: JUMPDEST
0000200e: PUSH1 0x40
00002010: MLOAD
00002011: DUP1
00002012: SWAP2
00002013: SUB
00002014: SWAP1
00002015: LOG4
00002016: PUSH2 0x0e2b
00002019: DUP7
0000201a: DUP7
0000201b: DUP7
0000201c: DUP7
0000201d: DUP7
0000201e: DUP7
0000201f: PUSH2 0x21cc
00002022: JUMP
00002023: JUMPDEST
00002024: DUP3
00002025: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000203a: AND
0000203b: DUP5
0000203c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002051: AND
00002052: PUSH32 0x2849b43074093a05396b6f2a937dee8565b15a48a7b3d4bffb732a5017380af5
00002073: DUP5
00002074: DUP5
00002075: PUSH1 0x40
00002077: MLOAD
00002078: PUSH2 0x1f29
0000207b: SWAP3
0000207c: SWAP2
0000207d: SWAP1
0000207e: PUSH2 0x296d
00002081: JUMP
00002082: JUMPDEST
00002083: PUSH1 0x00
00002085: PUSH2 0x20ae
00002088: DUP3
00002089: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000020aa: PUSH2 0x20e6
000020ad: JUMP
000020ae: JUMPDEST
000020af: DUP1
000020b0: ISZERO
000020b1: PUSH2 0x1556
000020b4: JUMPI
000020b5: POP
000020b6: PUSH2 0x20df
000020b9: DUP3
000020ba: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000020db: PUSH2 0x20e6
000020de: JUMP
000020df: JUMPDEST
000020e0: ISZERO
000020e1: SWAP3
000020e2: SWAP2
000020e3: POP
000020e4: POP
000020e5: JUMP
000020e6: JUMPDEST
000020e7: PUSH1 0x40
000020e9: DUP1
000020ea: MLOAD
000020eb: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000210c: DUP4
0000210d: AND
0000210e: PUSH1 0x24
00002110: DUP1
00002111: DUP4
00002112: ADD
00002113: SWAP2
00002114: SWAP1
00002115: SWAP2
00002116: MSTORE
00002117: DUP3
00002118: MLOAD
00002119: DUP1
0000211a: DUP4
0000211b: SUB
0000211c: SWAP1
0000211d: SWAP2
0000211e: ADD
0000211f: DUP2
00002120: MSTORE
00002121: PUSH1 0x44
00002123: SWAP1
00002124: SWAP2
00002125: ADD
00002126: SWAP1
00002127: SWAP2
00002128: MSTORE
00002129: PUSH1 0x20
0000212b: DUP1
0000212c: DUP3
0000212d: ADD
0000212e: DUP1
0000212f: MLOAD
00002130: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000214d: AND
0000214e: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
0000216f: OR
00002170: DUP2
00002171: MSTORE
00002172: DUP3
00002173: MLOAD
00002174: PUSH1 0x00
00002176: SWAP4
00002177: SWAP3
00002178: DUP5
00002179: SWAP3
0000217a: DUP4
0000217b: SWAP3
0000217c: DUP4
0000217d: SWAP3
0000217e: SWAP2
0000217f: DUP4
00002180: SWAP2
00002181: SWAP1
00002182: DUP11
00002183: PUSH2 0x7530
00002186: STATICCALL
00002187: SWAP3
00002188: POP
00002189: RETURNDATASIZE
0000218a: SWAP2
0000218b: POP
0000218c: PUSH1 0x00
0000218e: MLOAD
0000218f: SWAP1
00002190: POP
00002191: DUP3
00002192: DUP1
00002193: ISZERO
00002194: PUSH2 0x219e
00002197: JUMPI
00002198: POP
00002199: PUSH1 0x20
0000219b: DUP3
0000219c: LT
0000219d: ISZERO
0000219e: JUMPDEST
0000219f: DUP1
000021a0: ISZERO
000021a1: PUSH2 0x21aa
000021a4: JUMPI
000021a5: POP
000021a6: PUSH1 0x00
000021a8: DUP2
000021a9: GT
000021aa: JUMPDEST
000021ab: SWAP8
000021ac: SWAP7
000021ad: POP
000021ae: POP
000021af: POP
000021b0: POP
000021b1: POP
000021b2: POP
000021b3: POP
000021b4: JUMP
000021b5: JUMPDEST
000021b6: PUSH1 0x60
000021b8: PUSH2 0x21c4
000021bb: DUP5
000021bc: DUP5
000021bd: PUSH1 0x00
000021bf: DUP6
000021c0: PUSH2 0x2244
000021c3: JUMP
000021c4: JUMPDEST
000021c5: SWAP5
000021c6: SWAP4
000021c7: POP
000021c8: POP
000021c9: POP
000021ca: POP
000021cb: JUMP
000021cc: JUMPDEST
000021cd: DUP4
000021ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e3: AND
000021e4: DUP6
000021e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021fa: AND
000021fb: DUP8
000021fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002211: AND
00002212: PUSH32 0x7ff126db8024424bbfd9826e8ab82ff59136289ea440b04b39a0df1b03b9cabf
00002233: DUP7
00002234: DUP7
00002235: DUP7
00002236: PUSH1 0x40
00002238: MLOAD
00002239: PUSH2 0x1eba
0000223c: SWAP4
0000223d: SWAP3
0000223e: SWAP2
0000223f: SWAP1
00002240: PUSH2 0x292f
00002243: JUMP
00002244: JUMPDEST
00002245: PUSH1 0x60
00002247: DUP3
00002248: SELFBALANCE
00002249: LT
0000224a: ISZERO
0000224b: PUSH2 0x22d6
0000224e: JUMPI
0000224f: PUSH1 0x40
00002251: MLOAD
00002252: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002273: DUP2
00002274: MSTORE
00002275: PUSH1 0x20
00002277: PUSH1 0x04
00002279: DUP3
0000227a: ADD
0000227b: MSTORE
0000227c: PUSH1 0x26
0000227e: PUSH1 0x24
00002280: DUP3
00002281: ADD
00002282: MSTORE
00002283: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000022a4: PUSH1 0x44
000022a6: DUP3
000022a7: ADD
000022a8: MSTORE
000022a9: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
000022ca: PUSH1 0x64
000022cc: DUP3
000022cd: ADD
000022ce: MSTORE
000022cf: PUSH1 0x84
000022d1: ADD
000022d2: PUSH2 0x01f3
000022d5: JUMP
000022d6: JUMPDEST
000022d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ec: DUP6
000022ed: AND
000022ee: EXTCODESIZE
000022ef: PUSH2 0x2354
000022f2: JUMPI
000022f3: PUSH1 0x40
000022f5: MLOAD
000022f6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002317: DUP2
00002318: MSTORE
00002319: PUSH1 0x20
0000231b: PUSH1 0x04
0000231d: DUP3
0000231e: ADD
0000231f: MSTORE
00002320: PUSH1 0x1d
00002322: PUSH1 0x24
00002324: DUP3
00002325: ADD
00002326: MSTORE
00002327: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002348: PUSH1 0x44
0000234a: DUP3
0000234b: ADD
0000234c: MSTORE
0000234d: PUSH1 0x64
0000234f: ADD
00002350: PUSH2 0x01f3
00002353: JUMP
00002354: JUMPDEST
00002355: PUSH1 0x00
00002357: DUP1
00002358: DUP7
00002359: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000236e: AND
0000236f: DUP6
00002370: DUP8
00002371: PUSH1 0x40
00002373: MLOAD
00002374: PUSH2 0x237d
00002377: SWAP2
00002378: SWAP1
00002379: PUSH2 0x2a1b
0000237c: JUMP
0000237d: JUMPDEST
0000237e: PUSH1 0x00
00002380: PUSH1 0x40
00002382: MLOAD
00002383: DUP1
00002384: DUP4
00002385: SUB
00002386: DUP2
00002387: DUP6
00002388: DUP8
00002389: GAS
0000238a: CALL
0000238b: SWAP3
0000238c: POP
0000238d: POP
0000238e: POP
0000238f: RETURNDATASIZE
00002390: DUP1
00002391: PUSH1 0x00
00002393: DUP2
00002394: EQ
00002395: PUSH2 0x23ba
00002398: JUMPI
00002399: PUSH1 0x40
0000239b: MLOAD
0000239c: SWAP2
0000239d: POP
0000239e: PUSH1 0x1f
000023a0: NOT
000023a1: PUSH1 0x3f
000023a3: RETURNDATASIZE
000023a4: ADD
000023a5: AND
000023a6: DUP3
000023a7: ADD
000023a8: PUSH1 0x40
000023aa: MSTORE
000023ab: RETURNDATASIZE
000023ac: DUP3
000023ad: MSTORE
000023ae: RETURNDATASIZE
000023af: PUSH1 0x00
000023b1: PUSH1 0x20
000023b3: DUP5
000023b4: ADD
000023b5: RETURNDATACOPY
000023b6: PUSH2 0x23bf
000023b9: JUMP
000023ba: JUMPDEST
000023bb: PUSH1 0x60
000023bd: SWAP2
000023be: POP
000023bf: JUMPDEST
000023c0: POP
000023c1: SWAP2
000023c2: POP
000023c3: SWAP2
000023c4: POP
000023c5: PUSH2 0x21aa
000023c8: DUP3
000023c9: DUP3
000023ca: DUP7
000023cb: PUSH1 0x60
000023cd: DUP4
000023ce: ISZERO
000023cf: PUSH2 0x23d9
000023d2: JUMPI
000023d3: POP
000023d4: DUP2
000023d5: PUSH2 0x1d2f
000023d8: JUMP
000023d9: JUMPDEST
000023da: DUP3
000023db: MLOAD
000023dc: ISZERO
000023dd: PUSH2 0x23e9
000023e0: JUMPI
000023e1: DUP3
000023e2: MLOAD
000023e3: DUP1
000023e4: DUP5
000023e5: PUSH1 0x20
000023e7: ADD
000023e8: REVERT
000023e9: JUMPDEST
000023ea: DUP2
000023eb: PUSH1 0x40
000023ed: MLOAD
000023ee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000240f: DUP2
00002410: MSTORE
00002411: PUSH1 0x04
00002413: ADD
00002414: PUSH2 0x01f3
00002417: SWAP2
00002418: SWAP1
00002419: PUSH2 0x26ef
0000241c: JUMP
0000241d: JUMPDEST
0000241e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002433: DUP2
00002434: AND
00002435: DUP2
00002436: EQ
00002437: PUSH2 0x243f
0000243a: JUMPI
0000243b: PUSH1 0x00
0000243d: DUP1
0000243e: REVERT
0000243f: JUMPDEST
00002440: POP
00002441: JUMP
00002442: JUMPDEST
00002443: PUSH1 0x00
00002445: DUP1
00002446: DUP4
00002447: PUSH1 0x1f
00002449: DUP5
0000244a: ADD
0000244b: SLT
0000244c: PUSH2 0x2454
0000244f: JUMPI
00002450: PUSH1 0x00
00002452: DUP1
00002453: REVERT
00002454: JUMPDEST
00002455: POP
00002456: DUP2
00002457: CALLDATALOAD
00002458: PUSH8 0xffffffffffffffff
00002461: DUP2
00002462: GT
00002463: ISZERO
00002464: PUSH2 0x246c
00002467: JUMPI
00002468: PUSH1 0x00
0000246a: DUP1
0000246b: REVERT
0000246c: JUMPDEST
0000246d: PUSH1 0x20
0000246f: DUP4
00002470: ADD
00002471: SWAP2
00002472: POP
00002473: DUP4
00002474: PUSH1 0x20
00002476: DUP3
00002477: DUP6
00002478: ADD
00002479: ADD
0000247a: GT
0000247b: ISZERO
0000247c: PUSH2 0x2484
0000247f: JUMPI
00002480: PUSH1 0x00
00002482: DUP1
00002483: REVERT
00002484: JUMPDEST
00002485: SWAP3
00002486: POP
00002487: SWAP3
00002488: SWAP1
00002489: POP
0000248a: JUMP
0000248b: JUMPDEST
0000248c: PUSH1 0x00
0000248e: DUP1
0000248f: PUSH1 0x00
00002491: DUP1
00002492: PUSH1 0x00
00002494: DUP1
00002495: PUSH1 0x00
00002497: PUSH1 0xc0
00002499: DUP9
0000249a: DUP11
0000249b: SUB
0000249c: SLT
0000249d: ISZERO
0000249e: PUSH2 0x24a6
000024a1: JUMPI
000024a2: PUSH1 0x00
000024a4: DUP1
000024a5: REVERT
000024a6: JUMPDEST
000024a7: DUP8
000024a8: CALLDATALOAD
000024a9: PUSH2 0x24b1
000024ac: DUP2
000024ad: PUSH2 0x241d
000024b0: JUMP
000024b1: JUMPDEST
000024b2: SWAP7
000024b3: POP
000024b4: PUSH1 0x20
000024b6: DUP9
000024b7: ADD
000024b8: CALLDATALOAD
000024b9: PUSH2 0x24c1
000024bc: DUP2
000024bd: PUSH2 0x241d
000024c0: JUMP
000024c1: JUMPDEST
000024c2: SWAP6
000024c3: POP
000024c4: PUSH1 0x40
000024c6: DUP9
000024c7: ADD
000024c8: CALLDATALOAD
000024c9: PUSH2 0x24d1
000024cc: DUP2
000024cd: PUSH2 0x241d
000024d0: JUMP
000024d1: JUMPDEST
000024d2: SWAP5
000024d3: POP
000024d4: PUSH1 0x60
000024d6: DUP9
000024d7: ADD
000024d8: CALLDATALOAD
000024d9: PUSH2 0x24e1
000024dc: DUP2
000024dd: PUSH2 0x241d
000024e0: JUMP
000024e1: JUMPDEST
000024e2: SWAP4
000024e3: POP
000024e4: PUSH1 0x80
000024e6: DUP9
000024e7: ADD
000024e8: CALLDATALOAD
000024e9: SWAP3
000024ea: POP
000024eb: PUSH1 0xa0
000024ed: DUP9
000024ee: ADD
000024ef: CALLDATALOAD
000024f0: PUSH8 0xffffffffffffffff
000024f9: DUP2
000024fa: GT
000024fb: ISZERO
000024fc: PUSH2 0x2504
000024ff: JUMPI
00002500: PUSH1 0x00
00002502: DUP1
00002503: REVERT
00002504: JUMPDEST
00002505: PUSH2 0x2510
00002508: DUP11
00002509: DUP3
0000250a: DUP12
0000250b: ADD
0000250c: PUSH2 0x2442
0000250f: JUMP
00002510: JUMPDEST
00002511: SWAP9
00002512: SWAP12
00002513: SWAP8
00002514: SWAP11
00002515: POP
00002516: SWAP6
00002517: SWAP9
00002518: POP
00002519: SWAP4
0000251a: SWAP7
0000251b: SWAP3
0000251c: SWAP6
0000251d: SWAP3
0000251e: SWAP4
0000251f: POP
00002520: POP
00002521: POP
00002522: JUMP
00002523: JUMPDEST
00002524: DUP1
00002525: CALLDATALOAD
00002526: PUSH4 0xffffffff
0000252b: DUP2
0000252c: AND
0000252d: DUP2
0000252e: EQ
0000252f: PUSH2 0x2537
00002532: JUMPI
00002533: PUSH1 0x00
00002535: DUP1
00002536: REVERT
00002537: JUMPDEST
00002538: SWAP2
00002539: SWAP1
0000253a: POP
0000253b: JUMP
0000253c: JUMPDEST
0000253d: PUSH1 0x00
0000253f: DUP1
00002540: PUSH1 0x00
00002542: PUSH1 0x40
00002544: DUP5
00002545: DUP7
00002546: SUB
00002547: SLT
00002548: ISZERO
00002549: PUSH2 0x2551
0000254c: JUMPI
0000254d: PUSH1 0x00
0000254f: DUP1
00002550: REVERT
00002551: JUMPDEST
00002552: PUSH2 0x255a
00002555: DUP5
00002556: PUSH2 0x2523
00002559: JUMP
0000255a: JUMPDEST
0000255b: SWAP3
0000255c: POP
0000255d: PUSH1 0x20
0000255f: DUP5
00002560: ADD
00002561: CALLDATALOAD
00002562: PUSH8 0xffffffffffffffff
0000256b: DUP2
0000256c: GT
0000256d: ISZERO
0000256e: PUSH2 0x2576
00002571: JUMPI
00002572: PUSH1 0x00
00002574: DUP1
00002575: REVERT
00002576: JUMPDEST
00002577: PUSH2 0x2582
0000257a: DUP7
0000257b: DUP3
0000257c: DUP8
0000257d: ADD
0000257e: PUSH2 0x2442
00002581: JUMP
00002582: JUMPDEST
00002583: SWAP5
00002584: SWAP8
00002585: SWAP1
00002586: SWAP7
00002587: POP
00002588: SWAP4
00002589: SWAP5
0000258a: POP
0000258b: POP
0000258c: POP
0000258d: POP
0000258e: JUMP
0000258f: JUMPDEST
00002590: PUSH1 0x00
00002592: DUP1
00002593: PUSH1 0x00
00002595: DUP1
00002596: PUSH1 0x00
00002598: PUSH1 0x80
0000259a: DUP7
0000259b: DUP9
0000259c: SUB
0000259d: SLT
0000259e: ISZERO
0000259f: PUSH2 0x25a7
000025a2: JUMPI
000025a3: PUSH1 0x00
000025a5: DUP1
000025a6: REVERT
000025a7: JUMPDEST
000025a8: DUP6
000025a9: CALLDATALOAD
000025aa: PUSH2 0x25b2
000025ad: DUP2
000025ae: PUSH2 0x241d
000025b1: JUMP
000025b2: JUMPDEST
000025b3: SWAP5
000025b4: POP
000025b5: PUSH1 0x20
000025b7: DUP7
000025b8: ADD
000025b9: CALLDATALOAD
000025ba: PUSH2 0x25c2
000025bd: DUP2
000025be: PUSH2 0x241d
000025c1: JUMP
000025c2: JUMPDEST
000025c3: SWAP4
000025c4: POP
000025c5: PUSH1 0x40
000025c7: DUP7
000025c8: ADD
000025c9: CALLDATALOAD
000025ca: SWAP3
000025cb: POP
000025cc: PUSH1 0x60
000025ce: DUP7
000025cf: ADD
000025d0: CALLDATALOAD
000025d1: PUSH8 0xffffffffffffffff
000025da: DUP2
000025db: GT
000025dc: ISZERO
000025dd: PUSH2 0x25e5
000025e0: JUMPI
000025e1: PUSH1 0x00
000025e3: DUP1
000025e4: REVERT
000025e5: JUMPDEST
000025e6: PUSH2 0x25f1
000025e9: DUP9
000025ea: DUP3
000025eb: DUP10
000025ec: ADD
000025ed: PUSH2 0x2442
000025f0: JUMP
000025f1: JUMPDEST
000025f2: SWAP7
000025f3: SWAP10
000025f4: SWAP6
000025f5: SWAP9
000025f6: POP
000025f7: SWAP4
000025f8: SWAP7
000025f9: POP
000025fa: SWAP3
000025fb: SWAP5
000025fc: SWAP4
000025fd: SWAP3
000025fe: POP
000025ff: POP
00002600: POP
00002601: JUMP
00002602: JUMPDEST
00002603: PUSH1 0x00
00002605: DUP1
00002606: PUSH1 0x00
00002608: DUP1
00002609: PUSH1 0x00
0000260b: DUP1
0000260c: PUSH1 0x00
0000260e: PUSH1 0xc0
00002610: DUP9
00002611: DUP11
00002612: SUB
00002613: SLT
00002614: ISZERO
00002615: PUSH2 0x261d
00002618: JUMPI
00002619: PUSH1 0x00
0000261b: DUP1
0000261c: REVERT
0000261d: JUMPDEST
0000261e: DUP8
0000261f: CALLDATALOAD
00002620: PUSH2 0x2628
00002623: DUP2
00002624: PUSH2 0x241d
00002627: JUMP
00002628: JUMPDEST
00002629: SWAP7
0000262a: POP
0000262b: PUSH1 0x20
0000262d: DUP9
0000262e: ADD
0000262f: CALLDATALOAD
00002630: PUSH2 0x2638
00002633: DUP2
00002634: PUSH2 0x241d
00002637: JUMP
00002638: JUMPDEST
00002639: SWAP6
0000263a: POP
0000263b: PUSH1 0x40
0000263d: DUP9
0000263e: ADD
0000263f: CALLDATALOAD
00002640: PUSH2 0x2648
00002643: DUP2
00002644: PUSH2 0x241d
00002647: JUMP
00002648: JUMPDEST
00002649: SWAP5
0000264a: POP
0000264b: PUSH1 0x60
0000264d: DUP9
0000264e: ADD
0000264f: CALLDATALOAD
00002650: SWAP4
00002651: POP
00002652: PUSH2 0x265d
00002655: PUSH1 0x80
00002657: DUP10
00002658: ADD
00002659: PUSH2 0x2523
0000265c: JUMP
0000265d: JUMPDEST
0000265e: SWAP3
0000265f: POP
00002660: PUSH1 0xa0
00002662: DUP9
00002663: ADD
00002664: CALLDATALOAD
00002665: PUSH8 0xffffffffffffffff
0000266e: DUP2
0000266f: GT
00002670: ISZERO
00002671: PUSH2 0x2504
00002674: JUMPI
00002675: PUSH1 0x00
00002677: DUP1
00002678: REVERT
00002679: JUMPDEST
0000267a: PUSH1 0x00
0000267c: JUMPDEST
0000267d: DUP4
0000267e: DUP2
0000267f: LT
00002680: ISZERO
00002681: PUSH2 0x2694
00002684: JUMPI
00002685: DUP2
00002686: DUP2
00002687: ADD
00002688: MLOAD
00002689: DUP4
0000268a: DUP3
0000268b: ADD
0000268c: MSTORE
0000268d: PUSH1 0x20
0000268f: ADD
00002690: PUSH2 0x267c
00002693: JUMP
00002694: JUMPDEST
00002695: DUP4
00002696: DUP2
00002697: GT
00002698: ISZERO
00002699: PUSH2 0x0505
0000269c: JUMPI
0000269d: POP
0000269e: POP
0000269f: PUSH1 0x00
000026a1: SWAP2
000026a2: ADD
000026a3: MSTORE
000026a4: JUMP
000026a5: JUMPDEST
000026a6: PUSH1 0x00
000026a8: DUP2
000026a9: MLOAD
000026aa: DUP1
000026ab: DUP5
000026ac: MSTORE
000026ad: PUSH2 0x26bd
000026b0: DUP2
000026b1: PUSH1 0x20
000026b3: DUP7
000026b4: ADD
000026b5: PUSH1 0x20
000026b7: DUP7
000026b8: ADD
000026b9: PUSH2 0x2679
000026bc: JUMP
000026bd: JUMPDEST
000026be: PUSH1 0x1f
000026c0: ADD
000026c1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000026e2: AND
000026e3: SWAP3
000026e4: SWAP1
000026e5: SWAP3
000026e6: ADD
000026e7: PUSH1 0x20
000026e9: ADD
000026ea: SWAP3
000026eb: SWAP2
000026ec: POP
000026ed: POP
000026ee: JUMP
000026ef: JUMPDEST
000026f0: PUSH1 0x20
000026f2: DUP2
000026f3: MSTORE
000026f4: PUSH1 0x00
000026f6: PUSH2 0x1d2f
000026f9: PUSH1 0x20
000026fb: DUP4
000026fc: ADD
000026fd: DUP5
000026fe: PUSH2 0x26a5
00002701: JUMP
00002702: JUMPDEST
00002703: PUSH1 0x00
00002705: DUP1
00002706: PUSH1 0x00
00002708: DUP1
00002709: PUSH1 0x00
0000270b: DUP1
0000270c: PUSH1 0xa0
0000270e: DUP8
0000270f: DUP10
00002710: SUB
00002711: SLT
00002712: ISZERO
00002713: PUSH2 0x271b
00002716: JUMPI
00002717: PUSH1 0x00
00002719: DUP1
0000271a: REVERT
0000271b: JUMPDEST
0000271c: DUP7
0000271d: CALLDATALOAD
0000271e: PUSH2 0x2726
00002721: DUP2
00002722: PUSH2 0x241d
00002725: JUMP
00002726: JUMPDEST
00002727: SWAP6
00002728: POP
00002729: PUSH1 0x20
0000272b: DUP8
0000272c: ADD
0000272d: CALLDATALOAD
0000272e: PUSH2 0x2736
00002731: DUP2
00002732: PUSH2 0x241d
00002735: JUMP
00002736: JUMPDEST
00002737: SWAP5
00002738: POP
00002739: PUSH1 0x40
0000273b: DUP8
0000273c: ADD
0000273d: CALLDATALOAD
0000273e: SWAP4
0000273f: POP
00002740: PUSH2 0x274b
00002743: PUSH1 0x60
00002745: DUP9
00002746: ADD
00002747: PUSH2 0x2523
0000274a: JUMP
0000274b: JUMPDEST
0000274c: SWAP3
0000274d: POP
0000274e: PUSH1 0x80
00002750: DUP8
00002751: ADD
00002752: CALLDATALOAD
00002753: PUSH8 0xffffffffffffffff
0000275c: DUP2
0000275d: GT
0000275e: ISZERO
0000275f: PUSH2 0x2767
00002762: JUMPI
00002763: PUSH1 0x00
00002765: DUP1
00002766: REVERT
00002767: JUMPDEST
00002768: PUSH2 0x2773
0000276b: DUP10
0000276c: DUP3
0000276d: DUP11
0000276e: ADD
0000276f: PUSH2 0x2442
00002772: JUMP
00002773: JUMPDEST
00002774: SWAP8
00002775: SWAP11
00002776: SWAP7
00002777: SWAP10
00002778: POP
00002779: SWAP5
0000277a: SWAP8
0000277b: POP
0000277c: SWAP3
0000277d: SWAP6
0000277e: SWAP4
0000277f: SWAP5
00002780: SWAP3
00002781: POP
00002782: POP
00002783: POP
00002784: JUMP
00002785: JUMPDEST
00002786: PUSH1 0x00
00002788: DUP1
00002789: PUSH1 0x40
0000278b: DUP4
0000278c: DUP6
0000278d: SUB
0000278e: SLT
0000278f: ISZERO
00002790: PUSH2 0x2798
00002793: JUMPI
00002794: PUSH1 0x00
00002796: DUP1
00002797: REVERT
00002798: JUMPDEST
00002799: DUP3
0000279a: CALLDATALOAD
0000279b: PUSH2 0x27a3
0000279e: DUP2
0000279f: PUSH2 0x241d
000027a2: JUMP
000027a3: JUMPDEST
000027a4: SWAP2
000027a5: POP
000027a6: PUSH1 0x20
000027a8: DUP4
000027a9: ADD
000027aa: CALLDATALOAD
000027ab: PUSH2 0x27b3
000027ae: DUP2
000027af: PUSH2 0x241d
000027b2: JUMP
000027b3: JUMPDEST
000027b4: DUP1
000027b5: SWAP2
000027b6: POP
000027b7: POP
000027b8: SWAP3
000027b9: POP
000027ba: SWAP3
000027bb: SWAP1
000027bc: POP
000027bd: JUMP
000027be: JUMPDEST
000027bf: PUSH1 0x00
000027c1: DUP1
000027c2: PUSH1 0x00
000027c4: DUP1
000027c5: PUSH1 0x60
000027c7: DUP6
000027c8: DUP8
000027c9: SUB
000027ca: SLT
000027cb: ISZERO
000027cc: PUSH2 0x27d4
000027cf: JUMPI
000027d0: PUSH1 0x00
000027d2: DUP1
000027d3: REVERT
000027d4: JUMPDEST
000027d5: DUP5
000027d6: CALLDATALOAD
000027d7: PUSH2 0x27df
000027da: DUP2
000027db: PUSH2 0x241d
000027de: JUMP
000027df: JUMPDEST
000027e0: SWAP4
000027e1: POP
000027e2: PUSH2 0x27ed
000027e5: PUSH1 0x20
000027e7: DUP7
000027e8: ADD
000027e9: PUSH2 0x2523
000027ec: JUMP
000027ed: JUMPDEST
000027ee: SWAP3
000027ef: POP
000027f0: PUSH1 0x40
000027f2: DUP6
000027f3: ADD
000027f4: CALLDATALOAD
000027f5: PUSH8 0xffffffffffffffff
000027fe: DUP2
000027ff: GT
00002800: ISZERO
00002801: PUSH2 0x2809
00002804: JUMPI
00002805: PUSH1 0x00
00002807: DUP1
00002808: REVERT
00002809: JUMPDEST
0000280a: PUSH2 0x2815
0000280d: DUP8
0000280e: DUP3
0000280f: DUP9
00002810: ADD
00002811: PUSH2 0x2442
00002814: JUMP
00002815: JUMPDEST
00002816: SWAP6
00002817: SWAP9
00002818: SWAP5
00002819: SWAP8
0000281a: POP
0000281b: SWAP6
0000281c: POP
0000281d: POP
0000281e: POP
0000281f: POP
00002820: JUMP
00002821: JUMPDEST
00002822: PUSH1 0x00
00002824: PUSH1 0x20
00002826: DUP3
00002827: DUP5
00002828: SUB
00002829: SLT
0000282a: ISZERO
0000282b: PUSH2 0x2833
0000282e: JUMPI
0000282f: PUSH1 0x00
00002831: DUP1
00002832: REVERT
00002833: JUMPDEST
00002834: DUP2
00002835: CALLDATALOAD
00002836: PUSH2 0x1d2f
00002839: DUP2
0000283a: PUSH2 0x241d
0000283d: JUMP
0000283e: JUMPDEST
0000283f: PUSH1 0x00
00002841: PUSH1 0x20
00002843: DUP3
00002844: DUP5
00002845: SUB
00002846: SLT
00002847: ISZERO
00002848: PUSH2 0x2850
0000284b: JUMPI
0000284c: PUSH1 0x00
0000284e: DUP1
0000284f: REVERT
00002850: JUMPDEST
00002851: DUP2
00002852: MLOAD
00002853: PUSH2 0x1d2f
00002856: DUP2
00002857: PUSH2 0x241d
0000285a: JUMP
0000285b: JUMPDEST
0000285c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000287d: PUSH1 0x00
0000287f: MSTORE
00002880: PUSH1 0x11
00002882: PUSH1 0x04
00002884: MSTORE
00002885: PUSH1 0x24
00002887: PUSH1 0x00
00002889: REVERT
0000288a: JUMPDEST
0000288b: PUSH1 0x00
0000288d: DUP3
0000288e: DUP3
0000288f: LT
00002890: ISZERO
00002891: PUSH2 0x289c
00002894: JUMPI
00002895: PUSH2 0x289c
00002898: PUSH2 0x285b
0000289b: JUMP
0000289c: JUMPDEST
0000289d: POP
0000289e: SUB
0000289f: SWAP1
000028a0: JUMP
000028a1: JUMPDEST
000028a2: PUSH1 0x00
000028a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028b9: DUP1
000028ba: DUP8
000028bb: AND
000028bc: DUP4
000028bd: MSTORE
000028be: DUP1
000028bf: DUP7
000028c0: AND
000028c1: PUSH1 0x20
000028c3: DUP5
000028c4: ADD
000028c5: MSTORE
000028c6: POP
000028c7: DUP4
000028c8: PUSH1 0x40
000028ca: DUP4
000028cb: ADD
000028cc: MSTORE
000028cd: PUSH1 0x80
000028cf: PUSH1 0x60
000028d1: DUP4
000028d2: ADD
000028d3: MSTORE
000028d4: PUSH2 0x28e0
000028d7: PUSH1 0x80
000028d9: DUP4
000028da: ADD
000028db: DUP5
000028dc: PUSH2 0x26a5
000028df: JUMP
000028e0: JUMPDEST
000028e1: SWAP7
000028e2: SWAP6
000028e3: POP
000028e4: POP
000028e5: POP
000028e6: POP
000028e7: POP
000028e8: POP
000028e9: JUMP
000028ea: JUMPDEST
000028eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002900: DUP5
00002901: AND
00002902: DUP2
00002903: MSTORE
00002904: PUSH1 0x60
00002906: PUSH1 0x20
00002908: DUP3
00002909: ADD
0000290a: MSTORE
0000290b: PUSH1 0x00
0000290d: PUSH2 0x2919
00002910: PUSH1 0x60
00002912: DUP4
00002913: ADD
00002914: DUP6
00002915: PUSH2 0x26a5
00002918: JUMP
00002919: JUMPDEST
0000291a: SWAP1
0000291b: POP
0000291c: PUSH4 0xffffffff
00002921: DUP4
00002922: AND
00002923: PUSH1 0x40
00002925: DUP4
00002926: ADD
00002927: MSTORE
00002928: SWAP5
00002929: SWAP4
0000292a: POP
0000292b: POP
0000292c: POP
0000292d: POP
0000292e: JUMP
0000292f: JUMPDEST
00002930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002945: DUP5
00002946: AND
00002947: DUP2
00002948: MSTORE
00002949: DUP3
0000294a: PUSH1 0x20
0000294c: DUP3
0000294d: ADD
0000294e: MSTORE
0000294f: PUSH1 0x60
00002951: PUSH1 0x40
00002953: DUP3
00002954: ADD
00002955: MSTORE
00002956: PUSH1 0x00
00002958: PUSH2 0x2964
0000295b: PUSH1 0x60
0000295d: DUP4
0000295e: ADD
0000295f: DUP5
00002960: PUSH2 0x26a5
00002963: JUMP
00002964: JUMPDEST
00002965: SWAP6
00002966: SWAP5
00002967: POP
00002968: POP
00002969: POP
0000296a: POP
0000296b: POP
0000296c: JUMP
0000296d: JUMPDEST
0000296e: DUP3
0000296f: DUP2
00002970: MSTORE
00002971: PUSH1 0x40
00002973: PUSH1 0x20
00002975: DUP3
00002976: ADD
00002977: MSTORE
00002978: PUSH1 0x00
0000297a: PUSH2 0x21c4
0000297d: PUSH1 0x40
0000297f: DUP4
00002980: ADD
00002981: DUP5
00002982: PUSH2 0x26a5
00002985: JUMP
00002986: JUMPDEST
00002987: PUSH1 0x00
00002989: DUP3
0000298a: NOT
0000298b: DUP3
0000298c: GT
0000298d: ISZERO
0000298e: PUSH2 0x2999
00002991: JUMPI
00002992: PUSH2 0x2999
00002995: PUSH2 0x285b
00002998: JUMP
00002999: JUMPDEST
0000299a: POP
0000299b: ADD
0000299c: SWAP1
0000299d: JUMP
0000299e: JUMPDEST
0000299f: PUSH1 0x00
000029a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b6: DUP1
000029b7: DUP10
000029b8: AND
000029b9: DUP4
000029ba: MSTORE
000029bb: DUP1
000029bc: DUP9
000029bd: AND
000029be: PUSH1 0x20
000029c0: DUP5
000029c1: ADD
000029c2: MSTORE
000029c3: DUP1
000029c4: DUP8
000029c5: AND
000029c6: PUSH1 0x40
000029c8: DUP5
000029c9: ADD
000029ca: MSTORE
000029cb: DUP1
000029cc: DUP7
000029cd: AND
000029ce: PUSH1 0x60
000029d0: DUP5
000029d1: ADD
000029d2: MSTORE
000029d3: POP
000029d4: DUP4
000029d5: PUSH1 0x80
000029d7: DUP4
000029d8: ADD
000029d9: MSTORE
000029da: PUSH1 0xc0
000029dc: PUSH1 0xa0
000029de: DUP4
000029df: ADD
000029e0: MSTORE
000029e1: PUSH2 0x29ed
000029e4: PUSH1 0xc0
000029e6: DUP4
000029e7: ADD
000029e8: DUP5
000029e9: PUSH2 0x26a5
000029ec: JUMP
000029ed: JUMPDEST
000029ee: SWAP9
000029ef: SWAP8
000029f0: POP
000029f1: POP
000029f2: POP
000029f3: POP
000029f4: POP
000029f5: POP
000029f6: POP
000029f7: POP
000029f8: JUMP
000029f9: JUMPDEST
000029fa: PUSH1 0x00
000029fc: PUSH1 0x20
000029fe: DUP3
000029ff: DUP5
00002a00: SUB
00002a01: SLT
00002a02: ISZERO
00002a03: PUSH2 0x2a0b
00002a06: JUMPI
00002a07: PUSH1 0x00
00002a09: DUP1
00002a0a: REVERT
00002a0b: JUMPDEST
00002a0c: DUP2
00002a0d: MLOAD
00002a0e: DUP1
00002a0f: ISZERO
00002a10: ISZERO
00002a11: DUP2
00002a12: EQ
00002a13: PUSH2 0x1d2f
00002a16: JUMPI
00002a17: PUSH1 0x00
00002a19: DUP1
00002a1a: REVERT
00002a1b: JUMPDEST
00002a1c: PUSH1 0x00
00002a1e: DUP3
00002a1f: MLOAD
00002a20: PUSH2 0x2a2d
00002a23: DUP2
00002a24: DUP5
00002a25: PUSH1 0x20
00002a27: DUP8
00002a28: ADD
00002a29: PUSH2 0x2679
00002a2c: JUMP
00002a2d: JUMPDEST
00002a2e: SWAP2
00002a2f: SWAP1
00002a30: SWAP2
00002a31: ADD
00002a32: SWAP3
00002a33: SWAP2
00002a34: POP
00002a35: POP
00002a36: JUMP
00002a37: INVALID
00002a38: LOG1
00002a39: PUSH5 0x736f6c6343
00002a3f: STOP
00002a40: ADDMOD
00002a41: UNKNOWN(0x0F)
00002a42: STOP
00002a43: EXP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x40082c14c2cd34c1b461ec47abca7480a4b6f75d8ca010ac200c29984d9d4779
call_targets: 0xc4de51792746960fc0ac78360b8e9c6e103f3b13
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x40082c14c2cd34c1b461ec47abca7480a4b6f75d8ca010ac200c29984d9d4779",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc4de51792746960fc0ac78360b8e9c6e103f3b13"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xc4d66de8",
            "selector": "0xc4d66de8",
            "calldata_variants": [
                "0xc4d66de8",
                "0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc89701a2",
            "selector": "0xc89701a2",
            "calldata_variants": [
                "0xc89701a2",
                "0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe11013dd",
            "selector": "0xe11013dd",
            "calldata_variants": [
                "0xe11013dd",
                "0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9f9e675",
            "selector": "0xa9f9e675",
            "calldata_variants": [
                "0xa9f9e675",
                "0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91c49bf8",
            "selector": "0x91c49bf8",
            "calldata_variants": [
                "0x91c49bf8",
                "0x91c49bf80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x927ede2d",
            "selector": "0x927ede2d",
            "calldata_variants": [
                "0x927ede2d",
                "0x927ede2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9a2ac6d5",
            "selector": "0x9a2ac6d5",
            "calldata_variants": [
                "0x9a2ac6d5",
                "0x9a2ac6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2025,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5341,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6241,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [],
    "untrusted_call_count": 6
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x40082c14c2cd34c1b461ec47abca7480a4b6f75d8ca010ac200c29984d9d4779
call_targets: 0xc4de51792746960fc0ac78360b8e9c6e103f3b13
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x40082c14c2cd34c1b461ec47abca7480a4b6f75d8ca010ac200c29984d9d4779",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc4de51792746960fc0ac78360b8e9c6e103f3b13"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xc4d66de8",
            "selector": "0xc4d66de8",
            "calldata_variants": [
                "0xc4d66de8",
                "0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc89701a2",
            "selector": "0xc89701a2",
            "calldata_variants": [
                "0xc89701a2",
                "0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe11013dd",
            "selector": "0xe11013dd",
            "calldata_variants": [
                "0xe11013dd",
                "0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9f9e675",
            "selector": "0xa9f9e675",
            "calldata_variants": [
                "0xa9f9e675",
                "0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91c49bf8",
            "selector": "0x91c49bf8",
            "calldata_variants": [
                "0x91c49bf8",
                "0x91c49bf80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x927ede2d",
            "selector": "0x927ede2d",
            "calldata_variants": [
                "0x927ede2d",
                "0x927ede2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9a2ac6d5",
            "selector": "0x9a2ac6d5",
            "calldata_variants": [
                "0x9a2ac6d5",
                "0x9a2ac6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2025,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5341,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6241,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 10
}