33013a87-5529-46b1-a27e-24c8214147bb
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| 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 |
No slither job recorded yet.
[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":[]}
{
"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
}
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
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_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 |
viewtrace_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 | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 10
}
|