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

Analysis Run

c1d29f6b-cf49-49fe-9113-2eeb0b4b8314

failed
Chain ID
1
Address
Block Number
Created
Mon, Jan 5, 2026 9:05 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31771 report.consolidate complete 1 / 1 3 months ago
96049 artifact.fetch failed 1 / 3 1 week ago
96050 tool.cast_disasm complete 1 / 3 1 week ago
96051 analysis.bundle complete 1 / 3 1 week ago
96052 capability.graph complete 1 / 3 1 week ago
96053 detector.run complete 1 / 3 1 week ago
96054 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable profit paths identified in the provided contracts.
View stderr
[codex:1225552] OpenAI Codex v0.77.0 (research preview)
[codex:1225552] --------
[codex:1225552] workdir: /tmp/codex-multi-w5ems9ih
[codex:1225552] model: gpt-5.2-codex
[codex:1225552] provider: openai
[codex:1225552] approval: never
[codex:1225552] sandbox: read-only
[codex:1225552] reasoning effort: xhigh
[codex:1225552] reasoning summaries: auto
[codex:1225552] session id: 019b8ff8-3a4a-7f61-b0b7-96fb208dfb34
[codex:1225552] --------
[codex:1225552] user
[codex:1225552] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1225552] 
[codex:1225552] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1225552] 
[codex:1225552] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1225552] - Gas inefficiency, code quality, naming, or best practices
[codex:1225552] - Theoretical vulnerabilities without a clear extraction path
[codex:1225552] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1225552] - Front-running unless it enables theft beyond MEV
[codex:1225552] - DoS, griefing, or issues that don't result in attacker profit
[codex:1225552] - Missing events, view function issues, or informational findings
[codex:1225552] 
[codex:1225552] HIGH-VALUE PATTERNS TO HUNT:
[codex:1225552] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1225552] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1225552] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1225552] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1225552] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1225552] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1225552] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1225552] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1225552] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1225552] 
[codex:1225552] For each finding, you MUST provide:
[codex:1225552] 1. Exact file and line numbers of vulnerable code
[codex:1225552] 2. Step-by-step exploit transaction sequence
[codex:1225552] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1225552] 
[codex:1225552] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1225552] 
[codex:1225552] Output MUST be valid JSON matching the provided schema.
[codex:1225552] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1225552] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1225552] mcp startup: no servers
[codex:1225552] 
[codex:1225552] thinking
[codex:1225552] **Preparing to read instructions**
[codex:1225552] exec
[codex:1225552] /bin/bash -lc ls in /tmp/codex-multi-w5ems9ih succeeded in 6ms:
[codex:1225552] AUDIT_BUNDLE.txt
[codex:1225552] codex-output-schema.json
[codex:1225552] contracts
[codex:1225552] exec
[codex:1225552] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-w5ems9ih succeeded in 7ms:
[codex:1225552] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1225552] 
[codex:1225552] ================================================================================
[codex:1225552] FILE: contracts/src/L1/L1StandardBridge.sol
[codex:1225552] ================================================================================
[codex:1225552] // SPDX-License-Identifier: MIT
[codex:1225552] pragma solidity 0.8.15;
[codex:1225552] 
[codex:1225552] // Contracts
[codex:1225552] import { StandardBridge } from "src/universal/StandardBridge.sol";
[codex:1225552] 
[codex:1225552] // Libraries
[codex:1225552] import { Predeploys } from "src/libraries/Predeploys.sol";
[codex:1225552] 
[codex:1225552] // Interfaces
[codex:1225552] import { ISemver } from "src/universal/interfaces/ISemver.sol";
[codex:1225552] import { ICrossDomainMessenger } from "src/universal/interfaces/ICrossDomainMessenger.sol";
[codex:1225552] import { ISuperchainConfig } from "src/L1/interfaces/ISuperchainConfig.sol";
[codex:1225552] import { ISystemConfig } from "src/L1/interfaces/ISystemConfig.sol";
[codex:1225552] 
[codex:1225552] 
[codex:1225552] thinking
[codex:1225552] **Preparing to investigate StandardBridge contract**
[codex:1225552] exec
[codex:1225552] /bin/bash -lc 'rg --files' in /tmp/codex-multi-w5ems9ih succeeded in 10ms:
[codex:1225552] codex-output-schema.json
[codex:1225552] AUDIT_BUNDLE.txt
[codex:1225552] contracts/src/universal/interfaces/IOptimismMintableERC20.sol
[codex:1225552] contracts/src/universal/interfaces/ISemver.sol
[codex:1225552] contracts/src/universal/interfaces/ICrossDomainMessenger.sol
[codex:1225552] contracts/src/universal/StandardBridge.sol
[codex:1225552] contracts/src/universal/OptimismMintableERC20.sol
[codex:1225552] contracts/src/L1/interfaces/IResourceMetering.sol
[codex:1225552] contracts/src/L1/interfaces/ISystemConfig.sol
[codex:1225552] contracts/src/L1/interfaces/ISuperchainConfig.sol
[codex:1225552] contracts/src/L1/L1StandardBridge.sol
[codex:1225552] contracts/src/libraries/Predeploys.sol
[codex:1225552] contracts/src/libraries/Constants.sol
[codex:1225552] contracts/src/libraries/SafeCall.sol
[codex:1225552] contracts/lib/openzeppelin-contracts/contracts/utils/Address.sol
[codex:1225552] contracts/lib/openzeppelin-contracts/contracts/utils/Context.sol
[codex:1225552] contracts/lib/openzeppelin-contracts/contracts/utils/introspection/ERC165Checker.sol
[codex:1225552] contracts/lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol
[codex:1225552] contracts/lib/openzeppelin-contracts/contracts/proxy/utils/Initializable.sol
[codex:1225552] contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/IERC20Metadata.sol
[codex:1225552] 
[codex:1225552] thinking
[codex:1225552] **Opening StandardBridge contract**
[codex:1225552] exec
[codex:1225552] /bin/bash -lc "sed -n '1,260p' contracts/src/universal/StandardBridge.sol" in /tmp/codex-multi-w5ems9ih succeeded in 5ms:
[codex:1225552] // SPDX-License-Identifier: MIT
[codex:1225552] pragma solidity 0.8.15;
[codex:1225552] 
[codex:1225552] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1225552] import { ERC165Checker } from "@openzeppelin/contracts/utils/introspection/ERC165Checker.sol";
[codex:1225552] import { Address } from "@openzeppelin/contracts/utils/Address.sol";
[codex:1225552] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1225552] import { SafeCall } from "src/libraries/SafeCall.sol";
[codex:1225552] import { IOptimismMintableERC20, ILegacyMintableERC20 } from "src/universal/interfaces/IOptimismMintableERC20.sol";
[codex:1225552] import { ICrossDomainMessenger } from "src/universal/interfaces/ICrossDomainMessenger.sol";
[codex:1225552] import { OptimismMintableERC20 } from "src/universal/OptimismMintableERC20.sol";
[codex:1225552] import { Initializable } from "@openzeppelin/contracts/proxy/utils/Initializable.sol";
[codex:1225552] import { Constants } from "src/libraries/Constants.sol";
[codex:1225552] 
[codex:1225552] /// @custom:upgradeable
[codex:1225552] /// @title StandardBridge
[codex:1225552] /// @notice StandardBridge is a base contract for the L1 and L2 standard ERC20 bridges. It handles
[codex:1225552] ///         the core bridging logic, including escrowing tokens that are native to the local chain
[codex:1225552] ///         and minting/burning tokens that are native to the remote chain.
[codex:1225552] abstract contract StandardBridge is Initializable {
[codex:1225552] exec
[codex:1225552] /bin/bash -lc "sed -n '260,620p' contracts/src/universal/StandardBridge.sol" in /tmp/codex-multi-w5ems9ih succeeded in 6ms:
[codex:1225552]         // Emit the correct events. By default this will be _amount, but child
[codex:1225552]         // contracts may override this function in order to emit legacy events as well.
[codex:1225552]         _emitETHBridgeFinalized(_from, _to, _amount, _extraData);
[codex:1225552] 
[codex:1225552]         bool success = SafeCall.call(_to, gasleft(), _amount, hex"");
[codex:1225552]         require(success, "StandardBridge: ETH transfer failed");
[codex:1225552]     }
[codex:1225552] 
[codex:1225552]     /// @notice Finalizes an ERC20 bridge on this chain. Can only be triggered by the other
[codex:1225552]     ///         StandardBridge contract on the remote chain.
[codex:1225552]     /// @param _localToken  Address of the ERC20 on this chain.
[codex:1225552]     /// @param _remoteToken Address of the corresponding token on the remote chain.
[codex:1225552]     /// @param _from        Address of the sender.
[codex:1225552]     /// @param _to          Address of the receiver.
[codex:1225552]     /// @param _amount      Amount of the ERC20 being bridged.
[codex:1225552]     /// @param _extraData   Extra data to be sent with the transaction. Note that the recipient will
[codex:1225552]     ///                     not be triggered with this data, but it will be emitted and can be used
[codex:1225552]     ///                     to identify the transaction.
[codex:1225552]     function finalizeBridgeERC20(
[codex:1225552]         address _localToken,
[codex:1225552] 
[codex:1225552] thinking
[codex:1225552] **Locating OptimismMintableERC20 contract**
[codex:1225552] exec
[codex:1225552] /bin/bash -lc "sed -n '1,260p' contracts/src/universal/OptimismMintableERC20.sol" in /tmp/codex-multi-w5ems9ih succeeded in 5ms:
[codex:1225552] // SPDX-License-Identifier: MIT
[codex:1225552] pragma solidity 0.8.15;
[codex:1225552] 
[codex:1225552] import { ERC20 } from "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:1225552] import { IERC165 } from "@openzeppelin/contracts/utils/introspection/IERC165.sol";
[codex:1225552] import { ILegacyMintableERC20, IOptimismMintableERC20 } from "src/universal/interfaces/IOptimismMintableERC20.sol";
[codex:1225552] import { ISemver } from "src/universal/interfaces/ISemver.sol";
[codex:1225552] 
[codex:1225552] /// @title OptimismMintableERC20
[codex:1225552] /// @notice OptimismMintableERC20 is a standard extension of the base ERC20 token contract designed
[codex:1225552] ///         to allow the StandardBridge contracts to mint and burn tokens. This makes it possible to
[codex:1225552] ///         use an OptimismMintablERC20 as the L2 representation of an L1 token, or vice-versa.
[codex:1225552] ///         Designed to be backwards compatible with the older StandardL2ERC20 token which was only
[codex:1225552] ///         meant for use on L2.
[codex:1225552] contract OptimismMintableERC20 is IOptimismMintableERC20, ILegacyMintableERC20, ERC20, ISemver {
[codex:1225552]     /// @notice Address of the corresponding version of this token on the remote chain.
[codex:1225552]     address public immutable REMOTE_TOKEN;
[codex:1225552] 
[codex:1225552]     /// @notice Address of the StandardBridge on this network.
[codex:1225552]     address public immutable BRIDGE;
[codex:1225552] 
[codex:1225552] thinking
[codex:1225552] **Identifying needed components**
[codex:1225552] exec
[codex:1225552] /bin/bash -lc "sed -n '1,260p' contracts/src/libraries/Predeploys.sol" in /tmp/codex-multi-w5ems9ih succeeded in 6ms:
[codex:1225552] // SPDX-License-Identifier: MIT
[codex:1225552] pragma solidity ^0.8.0;
[codex:1225552] 
[codex:1225552] /// @title Predeploys
[codex:1225552] /// @notice Contains constant addresses for protocol contracts that are pre-deployed to the L2 system.
[codex:1225552] //          This excludes the preinstalls (non-protocol contracts).
[codex:1225552] library Predeploys {
[codex:1225552]     /// @notice Number of predeploy-namespace addresses reserved for protocol usage.
[codex:1225552]     uint256 internal constant PREDEPLOY_COUNT = 2048;
[codex:1225552] 
[codex:1225552]     /// @custom:legacy
[codex:1225552]     /// @notice Address of the LegacyMessagePasser predeploy. Deprecate. Use the updated
[codex:1225552]     ///         L2ToL1MessagePasser contract instead.
[codex:1225552]     address internal constant LEGACY_MESSAGE_PASSER = 0x4200000000000000000000000000000000000000;
[codex:1225552] 
[codex:1225552]     /// @custom:legacy
[codex:1225552]     /// @notice Address of the L1MessageSender predeploy. Deprecated. Use L2CrossDomainMessenger
[codex:1225552]     ///         or access tx.origin (or msg.sender) in a L1 to L2 transaction instead.
[codex:1225552]     ///         Not embedded into new OP-Stack chains.
[codex:1225552]     address internal constant L1_MESSAGE_SENDER = 0x4200000000000000000000000000000000000001;
[codex:1225552] 
[codex:1225552] thinking
[codex:1225552] **Questioning SafeCall meaning**
[codex:1225552] exec
[codex:1225552] /bin/bash -lc "sed -n '1,200p' contracts/src/libraries/SafeCall.sol" in /tmp/codex-multi-w5ems9ih succeeded in 6ms:
[codex:1225552] // SPDX-License-Identifier: MIT
[codex:1225552] pragma solidity ^0.8.0;
[codex:1225552] 
[codex:1225552] /// @title SafeCall
[codex:1225552] /// @notice Perform low level safe calls
[codex:1225552] library SafeCall {
[codex:1225552]     /// @notice Performs a low level call without copying any returndata.
[codex:1225552]     /// @dev Passes no calldata to the call context.
[codex:1225552]     /// @param _target   Address to call
[codex:1225552]     /// @param _gas      Amount of gas to pass to the call
[codex:1225552]     /// @param _value    Amount of value to pass to the call
[codex:1225552]     function send(address _target, uint256 _gas, uint256 _value) internal returns (bool success_) {
[codex:1225552]         assembly {
[codex:1225552]             success_ :=
[codex:1225552]                 call(
[codex:1225552]                     _gas, // gas
[codex:1225552]                     _target, // recipient
[codex:1225552]                     _value, // ether value
[codex:1225552]                     0, // inloc
[codex:1225552]                     0, // inlen
[codex:1225552] 
[codex:1225552] 
[codex:1225552] thinking
[codex:1225552] **Analyzing proxy initialization and token bridging risks**
[codex:1225552] thinking
[codex:1225552] **Verifying absence of concrete vulnerabilities with detailed reasoning**
[codex:1225552] 
[codex:1225552] I've carefully examined initialization, deposit mappings, token bridging logic, and access controls, looking for actual exploit paths that produce profit or control. Despite potential risks like unprotected initializer or token interface spoofing, the conditions for exploitation aren't concretely met here. Most concerns—like improper proxy initialization or malformed token pairs—either rely on deployment mistakes or lead to message reverts without gain. So, I conclude no actionable vulnerabilities warrant reporting.
[codex:1225552] exec
[codex:1225552] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-w5ems9ih succeeded in 6ms:
[codex:1225552] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:1225552] 
[codex:1225552] thinking
[codex:1225552] **Ensuring complete audit summary**
[codex:1225552] 
[codex:1225552] I'm making sure to read the entire audit bundle carefully to confirm no findings, since the user wants step-by-step exploit sequences only if vulnerabilities exist. The report will set no_findings true with an empty findings list and return a concise JSON summary accordingly.
[codex:1225552] codex
[codex:1225552] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contracts.","findings":[]}
[codex:1225552] tokens used
[codex:1225552] 38,825
[codex:1225552] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contracts.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-05T21:05:16.292717+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
13
EXT*/BALANCE
12
Total opcodes
5269
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0184
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7f46ddb2
00000019: GT
0000001a: PUSH2 0x00d6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9a2ac6d5
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc0c53b8b
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc0c53b8b
0000003a: EQ
0000003b: PUSH2 0x0529
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xc89701a2
00000045: EQ
00000046: PUSH2 0x0549
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe11013dd
00000050: EQ
00000051: PUSH2 0x0576
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x9a2ac6d5
00000060: EQ
00000061: PUSH2 0x04e3
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xa9f9e675
0000006b: EQ
0000006c: PUSH2 0x04f6
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb1a1a882
00000076: EQ
00000077: PUSH2 0x0516
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x8f601f66
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x8f601f66
00000091: EQ
00000092: PUSH2 0x0472
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x91c49bf8
0000009c: EQ
0000009d: PUSH2 0x0407
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x927ede2d
000000a7: EQ
000000a8: PUSH2 0x04b8
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x7f46ddb2
000000b7: EQ
000000b8: PUSH2 0x0407
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x838b2520
000000c2: EQ
000000c3: PUSH2 0x0432
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x87087623
000000cd: EQ
000000ce: PUSH2 0x0452
000000d1: JUMPI
000000d2: PUSH1 0x00
000000d4: DUP1
000000d5: REVERT
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0x35e80ab3
000000dd: GT
000000de: PUSH2 0x0138
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x54fd4d50
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x54fd4d50
000000f3: EQ
000000f4: PUSH2 0x036c
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x58a997f6
000000fe: EQ
000000ff: PUSH2 0x03c2
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x5c975abb
00000109: EQ
0000010a: PUSH2 0x03e2
0000010d: JUMPI
0000010e: PUSH1 0x00
00000110: DUP1
00000111: REVERT
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0x35e80ab3
00000119: EQ
0000011a: PUSH2 0x02f2
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x3cb747bf
00000124: EQ
00000125: PUSH2 0x031f
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x540abf73
0000012f: EQ
00000130: PUSH2 0x034c
00000133: JUMPI
00000134: PUSH1 0x00
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x1532ec34
0000013f: GT
00000140: PUSH2 0x0169
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x1532ec34
0000014a: EQ
0000014b: PUSH2 0x0275
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x1635f5fd
00000155: EQ
00000156: PUSH2 0x0288
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x33d7e2bd
00000160: EQ
00000161: PUSH2 0x029b
00000164: JUMPI
00000165: PUSH1 0x00
00000167: DUP1
00000168: REVERT
00000169: JUMPDEST
0000016a: DUP1
0000016b: PUSH4 0x0166a07a
00000170: EQ
00000171: PUSH2 0x0242
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x09fc8843
0000017b: EQ
0000017c: PUSH2 0x0262
0000017f: JUMPI
00000180: PUSH1 0x00
00000182: DUP1
00000183: REVERT
00000184: JUMPDEST
00000185: CALLDATASIZE
00000186: PUSH2 0x023d
00000189: JUMPI
0000018a: CALLER
0000018b: EXTCODESIZE
0000018c: ISZERO
0000018d: PUSH2 0x021d
00000190: JUMPI
00000191: PUSH1 0x40
00000193: MLOAD
00000194: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000001b5: DUP2
000001b6: MSTORE
000001b7: PUSH1 0x20
000001b9: PUSH1 0x04
000001bb: DUP3
000001bc: ADD
000001bd: MSTORE
000001be: PUSH1 0x37
000001c0: PUSH1 0x24
000001c2: DUP3
000001c3: ADD
000001c4: MSTORE
000001c5: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000001e6: PUSH1 0x44
000001e8: DUP3
000001e9: ADD
000001ea: MSTORE
000001eb: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
0000020c: PUSH1 0x64
0000020e: DUP3
0000020f: ADD
00000210: MSTORE
00000211: PUSH1 0x84
00000213: ADD
00000214: JUMPDEST
00000215: PUSH1 0x40
00000217: MLOAD
00000218: DUP1
00000219: SWAP2
0000021a: SUB
0000021b: SWAP1
0000021c: REVERT
0000021d: JUMPDEST
0000021e: PUSH2 0x023b
00000221: CALLER
00000222: CALLER
00000223: PUSH3 0x030d40
00000227: PUSH1 0x40
00000229: MLOAD
0000022a: DUP1
0000022b: PUSH1 0x20
0000022d: ADD
0000022e: PUSH1 0x40
00000230: MSTORE
00000231: DUP1
00000232: PUSH1 0x00
00000234: DUP2
00000235: MSTORE
00000236: POP
00000237: PUSH2 0x05a5
0000023a: JUMP
0000023b: JUMPDEST
0000023c: STOP
0000023d: JUMPDEST
0000023e: PUSH1 0x00
00000240: DUP1
00000241: REVERT
00000242: JUMPDEST
00000243: CALLVALUE
00000244: DUP1
00000245: ISZERO
00000246: PUSH2 0x024e
00000249: JUMPI
0000024a: PUSH1 0x00
0000024c: DUP1
0000024d: REVERT
0000024e: JUMPDEST
0000024f: POP
00000250: PUSH2 0x023b
00000253: PUSH2 0x025d
00000256: CALLDATASIZE
00000257: PUSH1 0x04
00000259: PUSH2 0x2991
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH2 0x05b8
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH2 0x023b
00000266: PUSH2 0x0270
00000269: CALLDATASIZE
0000026a: PUSH1 0x04
0000026c: PUSH2 0x2a42
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH2 0x09d2
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH2 0x023b
00000279: PUSH2 0x0283
0000027c: CALLDATASIZE
0000027d: PUSH1 0x04
0000027f: PUSH2 0x2a95
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH2 0x0aa9
00000287: JUMP
00000288: JUMPDEST
00000289: PUSH2 0x023b
0000028c: PUSH2 0x0296
0000028f: CALLDATASIZE
00000290: PUSH1 0x04
00000292: PUSH2 0x2a95
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH2 0x0abd
0000029a: JUMP
0000029b: JUMPDEST
0000029c: CALLVALUE
0000029d: DUP1
0000029e: ISZERO
0000029f: PUSH2 0x02a7
000002a2: JUMPI
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: REVERT
000002a7: JUMPDEST
000002a8: POP
000002a9: PUSH1 0x33
000002ab: SLOAD
000002ac: PUSH2 0x02c8
000002af: SWAP1
000002b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c5: AND
000002c6: DUP2
000002c7: JUMP
000002c8: JUMPDEST
000002c9: PUSH1 0x40
000002cb: MLOAD
000002cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e1: SWAP1
000002e2: SWAP2
000002e3: AND
000002e4: DUP2
000002e5: MSTORE
000002e6: PUSH1 0x20
000002e8: ADD
000002e9: JUMPDEST
000002ea: PUSH1 0x40
000002ec: MLOAD
000002ed: DUP1
000002ee: SWAP2
000002ef: SUB
000002f0: SWAP1
000002f1: RETURN
000002f2: JUMPDEST
000002f3: CALLVALUE
000002f4: DUP1
000002f5: ISZERO
000002f6: PUSH2 0x02fe
000002f9: JUMPI
000002fa: PUSH1 0x00
000002fc: DUP1
000002fd: REVERT
000002fe: JUMPDEST
000002ff: POP
00000300: PUSH1 0x32
00000302: SLOAD
00000303: PUSH2 0x02c8
00000306: SWAP1
00000307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000031c: AND
0000031d: DUP2
0000031e: JUMP
0000031f: JUMPDEST
00000320: CALLVALUE
00000321: DUP1
00000322: ISZERO
00000323: PUSH2 0x032b
00000326: JUMPI
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: POP
0000032d: PUSH1 0x03
0000032f: SLOAD
00000330: PUSH2 0x02c8
00000333: SWAP1
00000334: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000349: AND
0000034a: DUP2
0000034b: JUMP
0000034c: JUMPDEST
0000034d: CALLVALUE
0000034e: DUP1
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: POP
0000035a: PUSH2 0x023b
0000035d: PUSH2 0x0367
00000360: CALLDATASIZE
00000361: PUSH1 0x04
00000363: PUSH2 0x2b08
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH2 0x101b
0000036b: JUMP
0000036c: JUMPDEST
0000036d: CALLVALUE
0000036e: DUP1
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: POP
0000037a: PUSH2 0x03b5
0000037d: PUSH1 0x40
0000037f: MLOAD
00000380: DUP1
00000381: PUSH1 0x40
00000383: ADD
00000384: PUSH1 0x40
00000386: MSTORE
00000387: DUP1
00000388: PUSH1 0x0c
0000038a: DUP2
0000038b: MSTORE
0000038c: PUSH1 0x20
0000038e: ADD
0000038f: PUSH32 0x322e322e312d626574612e310000000000000000000000000000000000000000
000003b0: DUP2
000003b1: MSTORE
000003b2: POP
000003b3: DUP2
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH1 0x40
000003b8: MLOAD
000003b9: PUSH2 0x02e9
000003bc: SWAP2
000003bd: SWAP1
000003be: PUSH2 0x2bf5
000003c1: JUMP
000003c2: JUMPDEST
000003c3: CALLVALUE
000003c4: DUP1
000003c5: ISZERO
000003c6: PUSH2 0x03ce
000003c9: JUMPI
000003ca: PUSH1 0x00
000003cc: DUP1
000003cd: REVERT
000003ce: JUMPDEST
000003cf: POP
000003d0: PUSH2 0x023b
000003d3: PUSH2 0x03dd
000003d6: CALLDATASIZE
000003d7: PUSH1 0x04
000003d9: PUSH2 0x2c08
000003dc: JUMP
000003dd: JUMPDEST
000003de: PUSH2 0x1060
000003e1: JUMP
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: POP
000003f0: PUSH2 0x03f7
000003f3: PUSH2 0x1134
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH1 0x40
000003fa: MLOAD
000003fb: SWAP1
000003fc: ISZERO
000003fd: ISZERO
000003fe: DUP2
000003ff: MSTORE
00000400: PUSH1 0x20
00000402: ADD
00000403: PUSH2 0x02e9
00000406: JUMP
00000407: JUMPDEST
00000408: CALLVALUE
00000409: DUP1
0000040a: ISZERO
0000040b: PUSH2 0x0413
0000040e: JUMPI
0000040f: PUSH1 0x00
00000411: DUP1
00000412: REVERT
00000413: JUMPDEST
00000414: POP
00000415: PUSH1 0x04
00000417: SLOAD
00000418: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000042d: AND
0000042e: PUSH2 0x02c8
00000431: JUMP
00000432: JUMPDEST
00000433: CALLVALUE
00000434: DUP1
00000435: ISZERO
00000436: PUSH2 0x043e
00000439: JUMPI
0000043a: PUSH1 0x00
0000043c: DUP1
0000043d: REVERT
0000043e: JUMPDEST
0000043f: POP
00000440: PUSH2 0x023b
00000443: PUSH2 0x044d
00000446: CALLDATASIZE
00000447: PUSH1 0x04
00000449: PUSH2 0x2b08
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH2 0x11cd
00000451: JUMP
00000452: JUMPDEST
00000453: CALLVALUE
00000454: DUP1
00000455: ISZERO
00000456: PUSH2 0x045e
00000459: JUMPI
0000045a: PUSH1 0x00
0000045c: DUP1
0000045d: REVERT
0000045e: JUMPDEST
0000045f: POP
00000460: PUSH2 0x023b
00000463: PUSH2 0x046d
00000466: CALLDATASIZE
00000467: PUSH1 0x04
00000469: PUSH2 0x2c08
0000046c: JUMP
0000046d: JUMPDEST
0000046e: PUSH2 0x1212
00000471: JUMP
00000472: JUMPDEST
00000473: CALLVALUE
00000474: DUP1
00000475: ISZERO
00000476: PUSH2 0x047e
00000479: JUMPI
0000047a: PUSH1 0x00
0000047c: DUP1
0000047d: REVERT
0000047e: JUMPDEST
0000047f: POP
00000480: PUSH2 0x04aa
00000483: PUSH2 0x048d
00000486: CALLDATASIZE
00000487: PUSH1 0x04
00000489: PUSH2 0x2c8b
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH1 0x02
00000490: PUSH1 0x20
00000492: SWAP1
00000493: DUP2
00000494: MSTORE
00000495: PUSH1 0x00
00000497: SWAP3
00000498: DUP4
00000499: MSTORE
0000049a: PUSH1 0x40
0000049c: DUP1
0000049d: DUP5
0000049e: KECCAK256
0000049f: SWAP1
000004a0: SWAP2
000004a1: MSTORE
000004a2: SWAP1
000004a3: DUP3
000004a4: MSTORE
000004a5: SWAP1
000004a6: KECCAK256
000004a7: SLOAD
000004a8: DUP2
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH1 0x40
000004ad: MLOAD
000004ae: SWAP1
000004af: DUP2
000004b0: MSTORE
000004b1: PUSH1 0x20
000004b3: ADD
000004b4: PUSH2 0x02e9
000004b7: JUMP
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: DUP1
000004bb: ISZERO
000004bc: PUSH2 0x04c4
000004bf: JUMPI
000004c0: PUSH1 0x00
000004c2: DUP1
000004c3: REVERT
000004c4: JUMPDEST
000004c5: POP
000004c6: PUSH1 0x03
000004c8: SLOAD
000004c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004de: AND
000004df: PUSH2 0x02c8
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH2 0x023b
000004e7: PUSH2 0x04f1
000004ea: CALLDATASIZE
000004eb: PUSH1 0x04
000004ed: PUSH2 0x2cc4
000004f0: JUMP
000004f1: JUMPDEST
000004f2: PUSH2 0x12e6
000004f5: JUMP
000004f6: JUMPDEST
000004f7: CALLVALUE
000004f8: DUP1
000004f9: ISZERO
000004fa: PUSH2 0x0502
000004fd: JUMPI
000004fe: PUSH1 0x00
00000500: DUP1
00000501: REVERT
00000502: JUMPDEST
00000503: POP
00000504: PUSH2 0x023b
00000507: PUSH2 0x0511
0000050a: CALLDATASIZE
0000050b: PUSH1 0x04
0000050d: PUSH2 0x2991
00000510: JUMP
00000511: JUMPDEST
00000512: PUSH2 0x1328
00000515: JUMP
00000516: JUMPDEST
00000517: PUSH2 0x023b
0000051a: PUSH2 0x0524
0000051d: CALLDATASIZE
0000051e: PUSH1 0x04
00000520: PUSH2 0x2a42
00000523: JUMP
00000524: JUMPDEST
00000525: PUSH2 0x1337
00000528: JUMP
00000529: JUMPDEST
0000052a: CALLVALUE
0000052b: DUP1
0000052c: ISZERO
0000052d: PUSH2 0x0535
00000530: JUMPI
00000531: PUSH1 0x00
00000533: DUP1
00000534: REVERT
00000535: JUMPDEST
00000536: POP
00000537: PUSH2 0x023b
0000053a: PUSH2 0x0544
0000053d: CALLDATASIZE
0000053e: PUSH1 0x04
00000540: PUSH2 0x2d27
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH2 0x1408
00000548: JUMP
00000549: JUMPDEST
0000054a: CALLVALUE
0000054b: DUP1
0000054c: ISZERO
0000054d: PUSH2 0x0555
00000550: JUMPI
00000551: PUSH1 0x00
00000553: DUP1
00000554: REVERT
00000555: JUMPDEST
00000556: POP
00000557: PUSH1 0x04
00000559: SLOAD
0000055a: PUSH2 0x02c8
0000055d: SWAP1
0000055e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000573: AND
00000574: DUP2
00000575: JUMP
00000576: JUMPDEST
00000577: PUSH2 0x023b
0000057a: PUSH2 0x0584
0000057d: CALLDATASIZE
0000057e: PUSH1 0x04
00000580: PUSH2 0x2cc4
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH2 0x1607
00000588: JUMP
00000589: JUMPDEST
0000058a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059f: AND
000005a0: EXTCODESIZE
000005a1: ISZERO
000005a2: ISZERO
000005a3: SWAP1
000005a4: JUMP
000005a5: JUMPDEST
000005a6: PUSH2 0x05b2
000005a9: DUP5
000005aa: DUP5
000005ab: CALLVALUE
000005ac: DUP6
000005ad: DUP6
000005ae: PUSH2 0x164a
000005b1: JUMP
000005b2: JUMPDEST
000005b3: POP
000005b4: POP
000005b5: POP
000005b6: POP
000005b7: JUMP
000005b8: JUMPDEST
000005b9: PUSH1 0x03
000005bb: SLOAD
000005bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d1: AND
000005d2: CALLER
000005d3: EQ
000005d4: DUP1
000005d5: ISZERO
000005d6: PUSH2 0x068b
000005d9: JUMPI
000005da: POP
000005db: PUSH1 0x04
000005dd: DUP1
000005de: SLOAD
000005df: PUSH1 0x03
000005e1: SLOAD
000005e2: PUSH1 0x40
000005e4: DUP1
000005e5: MLOAD
000005e6: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000
00000607: DUP2
00000608: MSTORE
00000609: SWAP1
0000060a: MLOAD
0000060b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000620: SWAP4
00000621: DUP5
00000622: AND
00000623: SWAP5
00000624: SWAP4
00000625: SWAP1
00000626: SWAP3
00000627: AND
00000628: SWAP3
00000629: PUSH4 0x6e296e45
0000062e: SWAP3
0000062f: DUP3
00000630: DUP3
00000631: ADD
00000632: SWAP3
00000633: PUSH1 0x20
00000635: SWAP3
00000636: SWAP1
00000637: DUP3
00000638: SWAP1
00000639: SUB
0000063a: ADD
0000063b: DUP2
0000063c: DUP7
0000063d: GAS
0000063e: STATICCALL
0000063f: ISZERO
00000640: DUP1
00000641: ISZERO
00000642: PUSH2 0x064f
00000645: JUMPI
00000646: RETURNDATASIZE
00000647: PUSH1 0x00
00000649: DUP1
0000064a: RETURNDATACOPY
0000064b: RETURNDATASIZE
0000064c: PUSH1 0x00
0000064e: REVERT
0000064f: JUMPDEST
00000650: POP
00000651: POP
00000652: POP
00000653: POP
00000654: PUSH1 0x40
00000656: MLOAD
00000657: RETURNDATASIZE
00000658: PUSH1 0x1f
0000065a: NOT
0000065b: PUSH1 0x1f
0000065d: DUP3
0000065e: ADD
0000065f: AND
00000660: DUP3
00000661: ADD
00000662: DUP1
00000663: PUSH1 0x40
00000665: MSTORE
00000666: POP
00000667: DUP2
00000668: ADD
00000669: SWAP1
0000066a: PUSH2 0x0673
0000066d: SWAP2
0000066e: SWAP1
0000066f: PUSH2 0x2d72
00000672: JUMP
00000673: JUMPDEST
00000674: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000689: AND
0000068a: EQ
0000068b: JUMPDEST
0000068c: PUSH2 0x073d
0000068f: JUMPI
00000690: PUSH1 0x40
00000692: MLOAD
00000693: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006b4: DUP2
000006b5: MSTORE
000006b6: PUSH1 0x20
000006b8: PUSH1 0x04
000006ba: DUP3
000006bb: ADD
000006bc: MSTORE
000006bd: PUSH1 0x41
000006bf: PUSH1 0x24
000006c1: DUP3
000006c2: ADD
000006c3: MSTORE
000006c4: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000006e5: PUSH1 0x44
000006e7: DUP3
000006e8: ADD
000006e9: MSTORE
000006ea: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
0000070b: PUSH1 0x64
0000070d: DUP3
0000070e: ADD
0000070f: MSTORE
00000710: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00000731: PUSH1 0x84
00000733: DUP3
00000734: ADD
00000735: MSTORE
00000736: PUSH1 0xa4
00000738: ADD
00000739: PUSH2 0x0214
0000073c: JUMP
0000073d: JUMPDEST
0000073e: PUSH2 0x0745
00000741: PUSH2 0x1134
00000744: JUMP
00000745: JUMPDEST
00000746: ISZERO
00000747: PUSH2 0x07ac
0000074a: JUMPI
0000074b: PUSH1 0x40
0000074d: MLOAD
0000074e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000076f: DUP2
00000770: MSTORE
00000771: PUSH1 0x20
00000773: PUSH1 0x04
00000775: DUP3
00000776: ADD
00000777: MSTORE
00000778: PUSH1 0x16
0000077a: PUSH1 0x24
0000077c: DUP3
0000077d: ADD
0000077e: MSTORE
0000077f: PUSH32 0x5374616e646172644272696467653a2070617573656400000000000000000000
000007a0: PUSH1 0x44
000007a2: DUP3
000007a3: ADD
000007a4: MSTORE
000007a5: PUSH1 0x64
000007a7: ADD
000007a8: PUSH2 0x0214
000007ab: JUMP
000007ac: JUMPDEST
000007ad: PUSH2 0x07b5
000007b0: DUP8
000007b1: PUSH2 0x18a9
000007b4: JUMP
000007b5: JUMPDEST
000007b6: ISZERO
000007b7: PUSH2 0x0903
000007ba: JUMPI
000007bb: PUSH2 0x07c4
000007be: DUP8
000007bf: DUP8
000007c0: PUSH2 0x190b
000007c3: JUMP
000007c4: JUMPDEST
000007c5: PUSH2 0x0876
000007c8: JUMPI
000007c9: PUSH1 0x40
000007cb: MLOAD
000007cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007ed: DUP2
000007ee: MSTORE
000007ef: PUSH1 0x20
000007f1: PUSH1 0x04
000007f3: DUP3
000007f4: ADD
000007f5: MSTORE
000007f6: PUSH1 0x4a
000007f8: PUSH1 0x24
000007fa: DUP3
000007fb: ADD
000007fc: MSTORE
000007fd: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
0000081e: PUSH1 0x44
00000820: DUP3
00000821: ADD
00000822: MSTORE
00000823: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
00000844: PUSH1 0x64
00000846: DUP3
00000847: ADD
00000848: MSTORE
00000849: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
0000086a: PUSH1 0x84
0000086c: DUP3
0000086d: ADD
0000086e: MSTORE
0000086f: PUSH1 0xa4
00000871: ADD
00000872: PUSH2 0x0214
00000875: JUMP
00000876: JUMPDEST
00000877: PUSH1 0x40
00000879: MLOAD
0000087a: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
0000089b: DUP2
0000089c: MSTORE
0000089d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b2: DUP6
000008b3: DUP2
000008b4: AND
000008b5: PUSH1 0x04
000008b7: DUP4
000008b8: ADD
000008b9: MSTORE
000008ba: PUSH1 0x24
000008bc: DUP3
000008bd: ADD
000008be: DUP6
000008bf: SWAP1
000008c0: MSTORE
000008c1: DUP9
000008c2: AND
000008c3: SWAP1
000008c4: PUSH4 0x40c10f19
000008c9: SWAP1
000008ca: PUSH1 0x44
000008cc: ADD
000008cd: PUSH1 0x00
000008cf: PUSH1 0x40
000008d1: MLOAD
000008d2: DUP1
000008d3: DUP4
000008d4: SUB
000008d5: DUP2
000008d6: PUSH1 0x00
000008d8: DUP8
000008d9: DUP1
000008da: EXTCODESIZE
000008db: ISZERO
000008dc: DUP1
000008dd: ISZERO
000008de: PUSH2 0x08e6
000008e1: JUMPI
000008e2: PUSH1 0x00
000008e4: DUP1
000008e5: REVERT
000008e6: JUMPDEST
000008e7: POP
000008e8: GAS
000008e9: CALL
000008ea: ISZERO
000008eb: DUP1
000008ec: ISZERO
000008ed: PUSH2 0x08fa
000008f0: JUMPI
000008f1: RETURNDATASIZE
000008f2: PUSH1 0x00
000008f4: DUP1
000008f5: RETURNDATACOPY
000008f6: RETURNDATASIZE
000008f7: PUSH1 0x00
000008f9: REVERT
000008fa: JUMPDEST
000008fb: POP
000008fc: POP
000008fd: POP
000008fe: POP
000008ff: PUSH2 0x0985
00000902: JUMP
00000903: JUMPDEST
00000904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000919: DUP1
0000091a: DUP9
0000091b: AND
0000091c: PUSH1 0x00
0000091e: SWAP1
0000091f: DUP2
00000920: MSTORE
00000921: PUSH1 0x02
00000923: PUSH1 0x20
00000925: SWAP1
00000926: DUP2
00000927: MSTORE
00000928: PUSH1 0x40
0000092a: DUP1
0000092b: DUP4
0000092c: KECCAK256
0000092d: SWAP4
0000092e: DUP11
0000092f: AND
00000930: DUP4
00000931: MSTORE
00000932: SWAP3
00000933: SWAP1
00000934: MSTORE
00000935: KECCAK256
00000936: SLOAD
00000937: PUSH2 0x0941
0000093a: SWAP1
0000093b: DUP5
0000093c: SWAP1
0000093d: PUSH2 0x2dbe
00000940: JUMP
00000941: JUMPDEST
00000942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000957: DUP1
00000958: DUP10
00000959: AND
0000095a: PUSH1 0x00
0000095c: DUP2
0000095d: DUP2
0000095e: MSTORE
0000095f: PUSH1 0x02
00000961: PUSH1 0x20
00000963: SWAP1
00000964: DUP2
00000965: MSTORE
00000966: PUSH1 0x40
00000968: DUP1
00000969: DUP4
0000096a: KECCAK256
0000096b: SWAP5
0000096c: DUP13
0000096d: AND
0000096e: DUP4
0000096f: MSTORE
00000970: SWAP4
00000971: SWAP1
00000972: MSTORE
00000973: SWAP2
00000974: SWAP1
00000975: SWAP2
00000976: KECCAK256
00000977: SWAP2
00000978: SWAP1
00000979: SWAP2
0000097a: SSTORE
0000097b: PUSH2 0x0985
0000097e: SWAP1
0000097f: DUP6
00000980: DUP6
00000981: PUSH2 0x1a2b
00000984: JUMP
00000985: JUMPDEST
00000986: PUSH2 0x09c9
00000989: DUP8
0000098a: DUP8
0000098b: DUP8
0000098c: DUP8
0000098d: DUP8
0000098e: DUP8
0000098f: DUP8
00000990: DUP1
00000991: DUP1
00000992: PUSH1 0x1f
00000994: ADD
00000995: PUSH1 0x20
00000997: DUP1
00000998: SWAP2
00000999: DIV
0000099a: MUL
0000099b: PUSH1 0x20
0000099d: ADD
0000099e: PUSH1 0x40
000009a0: MLOAD
000009a1: SWAP1
000009a2: DUP2
000009a3: ADD
000009a4: PUSH1 0x40
000009a6: MSTORE
000009a7: DUP1
000009a8: SWAP4
000009a9: SWAP3
000009aa: SWAP2
000009ab: SWAP1
000009ac: DUP2
000009ad: DUP2
000009ae: MSTORE
000009af: PUSH1 0x20
000009b1: ADD
000009b2: DUP4
000009b3: DUP4
000009b4: DUP1
000009b5: DUP3
000009b6: DUP5
000009b7: CALLDATACOPY
000009b8: PUSH1 0x00
000009ba: SWAP3
000009bb: ADD
000009bc: SWAP2
000009bd: SWAP1
000009be: SWAP2
000009bf: MSTORE
000009c0: POP
000009c1: PUSH2 0x1aff
000009c4: SWAP3
000009c5: POP
000009c6: POP
000009c7: POP
000009c8: JUMP
000009c9: JUMPDEST
000009ca: POP
000009cb: POP
000009cc: POP
000009cd: POP
000009ce: POP
000009cf: POP
000009d0: POP
000009d1: JUMP
000009d2: JUMPDEST
000009d3: CALLER
000009d4: EXTCODESIZE
000009d5: ISZERO
000009d6: PUSH2 0x0a61
000009d9: JUMPI
000009da: PUSH1 0x40
000009dc: MLOAD
000009dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009fe: DUP2
000009ff: MSTORE
00000a00: PUSH1 0x20
00000a02: PUSH1 0x04
00000a04: DUP3
00000a05: ADD
00000a06: MSTORE
00000a07: PUSH1 0x37
00000a09: PUSH1 0x24
00000a0b: DUP3
00000a0c: ADD
00000a0d: MSTORE
00000a0e: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000a2f: PUSH1 0x44
00000a31: DUP3
00000a32: ADD
00000a33: MSTORE
00000a34: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00000a55: PUSH1 0x64
00000a57: DUP3
00000a58: ADD
00000a59: MSTORE
00000a5a: PUSH1 0x84
00000a5c: ADD
00000a5d: PUSH2 0x0214
00000a60: JUMP
00000a61: JUMPDEST
00000a62: PUSH2 0x0aa4
00000a65: CALLER
00000a66: CALLER
00000a67: CALLVALUE
00000a68: DUP7
00000a69: DUP7
00000a6a: DUP7
00000a6b: DUP1
00000a6c: DUP1
00000a6d: PUSH1 0x1f
00000a6f: ADD
00000a70: PUSH1 0x20
00000a72: DUP1
00000a73: SWAP2
00000a74: DIV
00000a75: MUL
00000a76: PUSH1 0x20
00000a78: ADD
00000a79: PUSH1 0x40
00000a7b: MLOAD
00000a7c: SWAP1
00000a7d: DUP2
00000a7e: ADD
00000a7f: PUSH1 0x40
00000a81: MSTORE
00000a82: DUP1
00000a83: SWAP4
00000a84: SWAP3
00000a85: SWAP2
00000a86: SWAP1
00000a87: DUP2
00000a88: DUP2
00000a89: MSTORE
00000a8a: PUSH1 0x20
00000a8c: ADD
00000a8d: DUP4
00000a8e: DUP4
00000a8f: DUP1
00000a90: DUP3
00000a91: DUP5
00000a92: CALLDATACOPY
00000a93: PUSH1 0x00
00000a95: SWAP3
00000a96: ADD
00000a97: SWAP2
00000a98: SWAP1
00000a99: SWAP2
00000a9a: MSTORE
00000a9b: POP
00000a9c: PUSH2 0x164a
00000a9f: SWAP3
00000aa0: POP
00000aa1: POP
00000aa2: POP
00000aa3: JUMP
00000aa4: JUMPDEST
00000aa5: POP
00000aa6: POP
00000aa7: POP
00000aa8: JUMP
00000aa9: JUMPDEST
00000aaa: PUSH2 0x0ab6
00000aad: DUP6
00000aae: DUP6
00000aaf: DUP6
00000ab0: DUP6
00000ab1: DUP6
00000ab2: PUSH2 0x0abd
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: POP
00000ab8: POP
00000ab9: POP
00000aba: POP
00000abb: POP
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH1 0x03
00000ac0: SLOAD
00000ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad6: AND
00000ad7: CALLER
00000ad8: EQ
00000ad9: DUP1
00000ada: ISZERO
00000adb: PUSH2 0x0b90
00000ade: JUMPI
00000adf: POP
00000ae0: PUSH1 0x04
00000ae2: DUP1
00000ae3: SLOAD
00000ae4: PUSH1 0x03
00000ae6: SLOAD
00000ae7: PUSH1 0x40
00000ae9: DUP1
00000aea: MLOAD
00000aeb: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000
00000b0c: DUP2
00000b0d: MSTORE
00000b0e: SWAP1
00000b0f: MLOAD
00000b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b25: SWAP4
00000b26: DUP5
00000b27: AND
00000b28: SWAP5
00000b29: SWAP4
00000b2a: SWAP1
00000b2b: SWAP3
00000b2c: AND
00000b2d: SWAP3
00000b2e: PUSH4 0x6e296e45
00000b33: SWAP3
00000b34: DUP3
00000b35: DUP3
00000b36: ADD
00000b37: SWAP3
00000b38: PUSH1 0x20
00000b3a: SWAP3
00000b3b: SWAP1
00000b3c: DUP3
00000b3d: SWAP1
00000b3e: SUB
00000b3f: ADD
00000b40: DUP2
00000b41: DUP7
00000b42: GAS
00000b43: STATICCALL
00000b44: ISZERO
00000b45: DUP1
00000b46: ISZERO
00000b47: PUSH2 0x0b54
00000b4a: JUMPI
00000b4b: RETURNDATASIZE
00000b4c: PUSH1 0x00
00000b4e: DUP1
00000b4f: RETURNDATACOPY
00000b50: RETURNDATASIZE
00000b51: PUSH1 0x00
00000b53: REVERT
00000b54: JUMPDEST
00000b55: POP
00000b56: POP
00000b57: POP
00000b58: POP
00000b59: PUSH1 0x40
00000b5b: MLOAD
00000b5c: RETURNDATASIZE
00000b5d: PUSH1 0x1f
00000b5f: NOT
00000b60: PUSH1 0x1f
00000b62: DUP3
00000b63: ADD
00000b64: AND
00000b65: DUP3
00000b66: ADD
00000b67: DUP1
00000b68: PUSH1 0x40
00000b6a: MSTORE
00000b6b: POP
00000b6c: DUP2
00000b6d: ADD
00000b6e: SWAP1
00000b6f: PUSH2 0x0b78
00000b72: SWAP2
00000b73: SWAP1
00000b74: PUSH2 0x2d72
00000b77: JUMP
00000b78: JUMPDEST
00000b79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8e: AND
00000b8f: EQ
00000b90: JUMPDEST
00000b91: PUSH2 0x0c42
00000b94: JUMPI
00000b95: PUSH1 0x40
00000b97: MLOAD
00000b98: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bb9: DUP2
00000bba: MSTORE
00000bbb: PUSH1 0x20
00000bbd: PUSH1 0x04
00000bbf: DUP3
00000bc0: ADD
00000bc1: MSTORE
00000bc2: PUSH1 0x41
00000bc4: PUSH1 0x24
00000bc6: DUP3
00000bc7: ADD
00000bc8: MSTORE
00000bc9: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000bea: PUSH1 0x44
00000bec: DUP3
00000bed: ADD
00000bee: MSTORE
00000bef: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
00000c10: PUSH1 0x64
00000c12: DUP3
00000c13: ADD
00000c14: MSTORE
00000c15: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00000c36: PUSH1 0x84
00000c38: DUP3
00000c39: ADD
00000c3a: MSTORE
00000c3b: PUSH1 0xa4
00000c3d: ADD
00000c3e: PUSH2 0x0214
00000c41: JUMP
00000c42: JUMPDEST
00000c43: PUSH2 0x0c4a
00000c46: PUSH2 0x1134
00000c49: JUMP
00000c4a: JUMPDEST
00000c4b: ISZERO
00000c4c: PUSH2 0x0cb1
00000c4f: JUMPI
00000c50: PUSH1 0x40
00000c52: MLOAD
00000c53: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c74: DUP2
00000c75: MSTORE
00000c76: PUSH1 0x20
00000c78: PUSH1 0x04
00000c7a: DUP3
00000c7b: ADD
00000c7c: MSTORE
00000c7d: PUSH1 0x16
00000c7f: PUSH1 0x24
00000c81: DUP3
00000c82: ADD
00000c83: MSTORE
00000c84: PUSH32 0x5374616e646172644272696467653a2070617573656400000000000000000000
00000ca5: PUSH1 0x44
00000ca7: DUP3
00000ca8: ADD
00000ca9: MSTORE
00000caa: PUSH1 0x64
00000cac: ADD
00000cad: PUSH2 0x0214
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: PUSH2 0x0cb9
00000cb5: PUSH2 0x1b8d
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: ISZERO
00000cbb: PUSH2 0x0d46
00000cbe: JUMPI
00000cbf: PUSH1 0x40
00000cc1: MLOAD
00000cc2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ce3: DUP2
00000ce4: MSTORE
00000ce5: PUSH1 0x20
00000ce7: PUSH1 0x04
00000ce9: DUP3
00000cea: ADD
00000ceb: MSTORE
00000cec: PUSH1 0x37
00000cee: PUSH1 0x24
00000cf0: DUP3
00000cf1: ADD
00000cf2: MSTORE
00000cf3: PUSH32 0x5374616e646172644272696467653a2063616e6e6f7420627269646765204554
00000d14: PUSH1 0x44
00000d16: DUP3
00000d17: ADD
00000d18: MSTORE
00000d19: PUSH32 0x48207769746820637573746f6d2067617320746f6b656e000000000000000000
00000d3a: PUSH1 0x64
00000d3c: DUP3
00000d3d: ADD
00000d3e: MSTORE
00000d3f: PUSH1 0x84
00000d41: ADD
00000d42: PUSH2 0x0214
00000d45: JUMP
00000d46: JUMPDEST
00000d47: DUP3
00000d48: CALLVALUE
00000d49: EQ
00000d4a: PUSH2 0x0dd5
00000d4d: JUMPI
00000d4e: PUSH1 0x40
00000d50: MLOAD
00000d51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d72: DUP2
00000d73: MSTORE
00000d74: PUSH1 0x20
00000d76: PUSH1 0x04
00000d78: DUP3
00000d79: ADD
00000d7a: MSTORE
00000d7b: PUSH1 0x3a
00000d7d: PUSH1 0x24
00000d7f: DUP3
00000d80: ADD
00000d81: MSTORE
00000d82: PUSH32 0x5374616e646172644272696467653a20616d6f756e742073656e7420646f6573
00000da3: PUSH1 0x44
00000da5: DUP3
00000da6: ADD
00000da7: MSTORE
00000da8: PUSH32 0x206e6f74206d6174636820616d6f756e74207265717569726564000000000000
00000dc9: PUSH1 0x64
00000dcb: DUP3
00000dcc: ADD
00000dcd: MSTORE
00000dce: PUSH1 0x84
00000dd0: ADD
00000dd1: PUSH2 0x0214
00000dd4: JUMP
00000dd5: JUMPDEST
00000dd6: ADDRESS
00000dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dec: DUP6
00000ded: AND
00000dee: SUB
00000def: PUSH2 0x0e7a
00000df2: JUMPI
00000df3: PUSH1 0x40
00000df5: MLOAD
00000df6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e17: DUP2
00000e18: MSTORE
00000e19: PUSH1 0x20
00000e1b: PUSH1 0x04
00000e1d: DUP3
00000e1e: ADD
00000e1f: MSTORE
00000e20: PUSH1 0x23
00000e22: PUSH1 0x24
00000e24: DUP3
00000e25: ADD
00000e26: MSTORE
00000e27: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f2073
00000e48: PUSH1 0x44
00000e4a: DUP3
00000e4b: ADD
00000e4c: MSTORE
00000e4d: PUSH32 0x656c660000000000000000000000000000000000000000000000000000000000
00000e6e: PUSH1 0x64
00000e70: DUP3
00000e71: ADD
00000e72: MSTORE
00000e73: PUSH1 0x84
00000e75: ADD
00000e76: PUSH2 0x0214
00000e79: JUMP
00000e7a: JUMPDEST
00000e7b: PUSH1 0x03
00000e7d: SLOAD
00000e7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e93: SWAP1
00000e94: DUP2
00000e95: AND
00000e96: SWAP1
00000e97: DUP6
00000e98: AND
00000e99: SUB
00000e9a: PUSH2 0x0f25
00000e9d: JUMPI
00000e9e: PUSH1 0x40
00000ea0: MLOAD
00000ea1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ec2: DUP2
00000ec3: MSTORE
00000ec4: PUSH1 0x20
00000ec6: PUSH1 0x04
00000ec8: DUP3
00000ec9: ADD
00000eca: MSTORE
00000ecb: PUSH1 0x28
00000ecd: PUSH1 0x24
00000ecf: DUP3
00000ed0: ADD
00000ed1: MSTORE
00000ed2: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f206d
00000ef3: PUSH1 0x44
00000ef5: DUP3
00000ef6: ADD
00000ef7: MSTORE
00000ef8: PUSH32 0x657373656e676572000000000000000000000000000000000000000000000000
00000f19: PUSH1 0x64
00000f1b: DUP3
00000f1c: ADD
00000f1d: MSTORE
00000f1e: PUSH1 0x84
00000f20: ADD
00000f21: PUSH2 0x0214
00000f24: JUMP
00000f25: JUMPDEST
00000f26: PUSH2 0x0f67
00000f29: DUP6
00000f2a: DUP6
00000f2b: DUP6
00000f2c: DUP6
00000f2d: DUP6
00000f2e: DUP1
00000f2f: DUP1
00000f30: PUSH1 0x1f
00000f32: ADD
00000f33: PUSH1 0x20
00000f35: DUP1
00000f36: SWAP2
00000f37: DIV
00000f38: MUL
00000f39: PUSH1 0x20
00000f3b: ADD
00000f3c: PUSH1 0x40
00000f3e: MLOAD
00000f3f: SWAP1
00000f40: DUP2
00000f41: ADD
00000f42: PUSH1 0x40
00000f44: MSTORE
00000f45: DUP1
00000f46: SWAP4
00000f47: SWAP3
00000f48: SWAP2
00000f49: SWAP1
00000f4a: DUP2
00000f4b: DUP2
00000f4c: MSTORE
00000f4d: PUSH1 0x20
00000f4f: ADD
00000f50: DUP4
00000f51: DUP4
00000f52: DUP1
00000f53: DUP3
00000f54: DUP5
00000f55: CALLDATACOPY
00000f56: PUSH1 0x00
00000f58: SWAP3
00000f59: ADD
00000f5a: SWAP2
00000f5b: SWAP1
00000f5c: SWAP2
00000f5d: MSTORE
00000f5e: POP
00000f5f: PUSH2 0x1bcc
00000f62: SWAP3
00000f63: POP
00000f64: POP
00000f65: POP
00000f66: JUMP
00000f67: JUMPDEST
00000f68: PUSH1 0x00
00000f6a: PUSH2 0x0f84
00000f6d: DUP6
00000f6e: GAS
00000f6f: DUP7
00000f70: PUSH1 0x40
00000f72: MLOAD
00000f73: DUP1
00000f74: PUSH1 0x20
00000f76: ADD
00000f77: PUSH1 0x40
00000f79: MSTORE
00000f7a: DUP1
00000f7b: PUSH1 0x00
00000f7d: DUP2
00000f7e: MSTORE
00000f7f: POP
00000f80: PUSH2 0x1c3f
00000f83: JUMP
00000f84: JUMPDEST
00000f85: SWAP1
00000f86: POP
00000f87: DUP1
00000f88: PUSH2 0x1013
00000f8b: JUMPI
00000f8c: PUSH1 0x40
00000f8e: MLOAD
00000f8f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fb0: DUP2
00000fb1: MSTORE
00000fb2: PUSH1 0x20
00000fb4: PUSH1 0x04
00000fb6: DUP3
00000fb7: ADD
00000fb8: MSTORE
00000fb9: PUSH1 0x23
00000fbb: PUSH1 0x24
00000fbd: DUP3
00000fbe: ADD
00000fbf: MSTORE
00000fc0: PUSH32 0x5374616e646172644272696467653a20455448207472616e7366657220666169
00000fe1: PUSH1 0x44
00000fe3: DUP3
00000fe4: ADD
00000fe5: MSTORE
00000fe6: PUSH32 0x6c65640000000000000000000000000000000000000000000000000000000000
00001007: PUSH1 0x64
00001009: DUP3
0000100a: ADD
0000100b: MSTORE
0000100c: PUSH1 0x84
0000100e: ADD
0000100f: PUSH2 0x0214
00001012: JUMP
00001013: JUMPDEST
00001014: POP
00001015: POP
00001016: POP
00001017: POP
00001018: POP
00001019: POP
0000101a: JUMP
0000101b: JUMPDEST
0000101c: PUSH2 0x09c9
0000101f: DUP8
00001020: DUP8
00001021: CALLER
00001022: DUP9
00001023: DUP9
00001024: DUP9
00001025: DUP9
00001026: DUP9
00001027: DUP1
00001028: DUP1
00001029: PUSH1 0x1f
0000102b: ADD
0000102c: PUSH1 0x20
0000102e: DUP1
0000102f: SWAP2
00001030: DIV
00001031: MUL
00001032: PUSH1 0x20
00001034: ADD
00001035: PUSH1 0x40
00001037: MLOAD
00001038: SWAP1
00001039: DUP2
0000103a: ADD
0000103b: PUSH1 0x40
0000103d: MSTORE
0000103e: DUP1
0000103f: SWAP4
00001040: SWAP3
00001041: SWAP2
00001042: SWAP1
00001043: DUP2
00001044: DUP2
00001045: MSTORE
00001046: PUSH1 0x20
00001048: ADD
00001049: DUP4
0000104a: DUP4
0000104b: DUP1
0000104c: DUP3
0000104d: DUP5
0000104e: CALLDATACOPY
0000104f: PUSH1 0x00
00001051: SWAP3
00001052: ADD
00001053: SWAP2
00001054: SWAP1
00001055: SWAP2
00001056: MSTORE
00001057: POP
00001058: PUSH2 0x1c57
0000105b: SWAP3
0000105c: POP
0000105d: POP
0000105e: POP
0000105f: JUMP
00001060: JUMPDEST
00001061: CALLER
00001062: EXTCODESIZE
00001063: ISZERO
00001064: PUSH2 0x10ef
00001067: JUMPI
00001068: PUSH1 0x40
0000106a: MLOAD
0000106b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000108c: DUP2
0000108d: MSTORE
0000108e: PUSH1 0x20
00001090: PUSH1 0x04
00001092: DUP3
00001093: ADD
00001094: MSTORE
00001095: PUSH1 0x37
00001097: PUSH1 0x24
00001099: DUP3
0000109a: ADD
0000109b: MSTORE
0000109c: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000010bd: PUSH1 0x44
000010bf: DUP3
000010c0: ADD
000010c1: MSTORE
000010c2: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
000010e3: PUSH1 0x64
000010e5: DUP3
000010e6: ADD
000010e7: MSTORE
000010e8: PUSH1 0x84
000010ea: ADD
000010eb: PUSH2 0x0214
000010ee: JUMP
000010ef: JUMPDEST
000010f0: PUSH2 0x1013
000010f3: DUP7
000010f4: DUP7
000010f5: CALLER
000010f6: CALLER
000010f7: DUP9
000010f8: DUP9
000010f9: DUP9
000010fa: DUP9
000010fb: DUP1
000010fc: DUP1
000010fd: PUSH1 0x1f
000010ff: ADD
00001100: PUSH1 0x20
00001102: DUP1
00001103: SWAP2
00001104: DIV
00001105: MUL
00001106: PUSH1 0x20
00001108: ADD
00001109: PUSH1 0x40
0000110b: MLOAD
0000110c: SWAP1
0000110d: DUP2
0000110e: ADD
0000110f: PUSH1 0x40
00001111: MSTORE
00001112: DUP1
00001113: SWAP4
00001114: SWAP3
00001115: SWAP2
00001116: SWAP1
00001117: DUP2
00001118: DUP2
00001119: MSTORE
0000111a: PUSH1 0x20
0000111c: ADD
0000111d: DUP4
0000111e: DUP4
0000111f: DUP1
00001120: DUP3
00001121: DUP5
00001122: CALLDATACOPY
00001123: PUSH1 0x00
00001125: SWAP3
00001126: ADD
00001127: SWAP2
00001128: SWAP1
00001129: SWAP2
0000112a: MSTORE
0000112b: POP
0000112c: PUSH2 0x2010
0000112f: SWAP3
00001130: POP
00001131: POP
00001132: POP
00001133: JUMP
00001134: JUMPDEST
00001135: PUSH1 0x32
00001137: SLOAD
00001138: PUSH1 0x40
0000113a: DUP1
0000113b: MLOAD
0000113c: PUSH32 0x5c975abb00000000000000000000000000000000000000000000000000000000
0000115d: DUP2
0000115e: MSTORE
0000115f: SWAP1
00001160: MLOAD
00001161: PUSH1 0x00
00001163: SWAP3
00001164: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001179: AND
0000117a: SWAP2
0000117b: PUSH4 0x5c975abb
00001180: SWAP2
00001181: PUSH1 0x04
00001183: DUP1
00001184: DUP4
00001185: ADD
00001186: SWAP3
00001187: PUSH1 0x20
00001189: SWAP3
0000118a: SWAP2
0000118b: SWAP1
0000118c: DUP3
0000118d: SWAP1
0000118e: SUB
0000118f: ADD
00001190: DUP2
00001191: DUP7
00001192: GAS
00001193: STATICCALL
00001194: ISZERO
00001195: DUP1
00001196: ISZERO
00001197: PUSH2 0x11a4
0000119a: JUMPI
0000119b: RETURNDATASIZE
0000119c: PUSH1 0x00
0000119e: DUP1
0000119f: RETURNDATACOPY
000011a0: RETURNDATASIZE
000011a1: PUSH1 0x00
000011a3: REVERT
000011a4: JUMPDEST
000011a5: POP
000011a6: POP
000011a7: POP
000011a8: POP
000011a9: PUSH1 0x40
000011ab: MLOAD
000011ac: RETURNDATASIZE
000011ad: PUSH1 0x1f
000011af: NOT
000011b0: PUSH1 0x1f
000011b2: DUP3
000011b3: ADD
000011b4: AND
000011b5: DUP3
000011b6: ADD
000011b7: DUP1
000011b8: PUSH1 0x40
000011ba: MSTORE
000011bb: POP
000011bc: DUP2
000011bd: ADD
000011be: SWAP1
000011bf: PUSH2 0x11c8
000011c2: SWAP2
000011c3: SWAP1
000011c4: PUSH2 0x2dd5
000011c7: JUMP
000011c8: JUMPDEST
000011c9: SWAP1
000011ca: POP
000011cb: SWAP1
000011cc: JUMP
000011cd: JUMPDEST
000011ce: PUSH2 0x09c9
000011d1: DUP8
000011d2: DUP8
000011d3: CALLER
000011d4: DUP9
000011d5: DUP9
000011d6: DUP9
000011d7: DUP9
000011d8: DUP9
000011d9: DUP1
000011da: DUP1
000011db: PUSH1 0x1f
000011dd: ADD
000011de: PUSH1 0x20
000011e0: DUP1
000011e1: SWAP2
000011e2: DIV
000011e3: MUL
000011e4: PUSH1 0x20
000011e6: ADD
000011e7: PUSH1 0x40
000011e9: MLOAD
000011ea: SWAP1
000011eb: DUP2
000011ec: ADD
000011ed: PUSH1 0x40
000011ef: MSTORE
000011f0: DUP1
000011f1: SWAP4
000011f2: SWAP3
000011f3: SWAP2
000011f4: SWAP1
000011f5: DUP2
000011f6: DUP2
000011f7: MSTORE
000011f8: PUSH1 0x20
000011fa: ADD
000011fb: DUP4
000011fc: DUP4
000011fd: DUP1
000011fe: DUP3
000011ff: DUP5
00001200: CALLDATACOPY
00001201: PUSH1 0x00
00001203: SWAP3
00001204: ADD
00001205: SWAP2
00001206: SWAP1
00001207: SWAP2
00001208: MSTORE
00001209: POP
0000120a: PUSH2 0x2010
0000120d: SWAP3
0000120e: POP
0000120f: POP
00001210: POP
00001211: JUMP
00001212: JUMPDEST
00001213: CALLER
00001214: EXTCODESIZE
00001215: ISZERO
00001216: PUSH2 0x12a1
00001219: JUMPI
0000121a: PUSH1 0x40
0000121c: MLOAD
0000121d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000123e: DUP2
0000123f: MSTORE
00001240: PUSH1 0x20
00001242: PUSH1 0x04
00001244: DUP3
00001245: ADD
00001246: MSTORE
00001247: PUSH1 0x37
00001249: PUSH1 0x24
0000124b: DUP3
0000124c: ADD
0000124d: MSTORE
0000124e: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
0000126f: PUSH1 0x44
00001271: DUP3
00001272: ADD
00001273: MSTORE
00001274: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00001295: PUSH1 0x64
00001297: DUP3
00001298: ADD
00001299: MSTORE
0000129a: PUSH1 0x84
0000129c: ADD
0000129d: PUSH2 0x0214
000012a0: JUMP
000012a1: JUMPDEST
000012a2: PUSH2 0x1013
000012a5: DUP7
000012a6: DUP7
000012a7: CALLER
000012a8: CALLER
000012a9: DUP9
000012aa: DUP9
000012ab: DUP9
000012ac: DUP9
000012ad: DUP1
000012ae: DUP1
000012af: PUSH1 0x1f
000012b1: ADD
000012b2: PUSH1 0x20
000012b4: DUP1
000012b5: SWAP2
000012b6: DIV
000012b7: MUL
000012b8: PUSH1 0x20
000012ba: ADD
000012bb: PUSH1 0x40
000012bd: MLOAD
000012be: SWAP1
000012bf: DUP2
000012c0: ADD
000012c1: PUSH1 0x40
000012c3: MSTORE
000012c4: DUP1
000012c5: SWAP4
000012c6: SWAP3
000012c7: SWAP2
000012c8: SWAP1
000012c9: DUP2
000012ca: DUP2
000012cb: MSTORE
000012cc: PUSH1 0x20
000012ce: ADD
000012cf: DUP4
000012d0: DUP4
000012d1: DUP1
000012d2: DUP3
000012d3: DUP5
000012d4: CALLDATACOPY
000012d5: PUSH1 0x00
000012d7: SWAP3
000012d8: ADD
000012d9: SWAP2
000012da: SWAP1
000012db: SWAP2
000012dc: MSTORE
000012dd: POP
000012de: PUSH2 0x1c57
000012e1: SWAP3
000012e2: POP
000012e3: POP
000012e4: POP
000012e5: JUMP
000012e6: JUMPDEST
000012e7: PUSH2 0x05b2
000012ea: CALLER
000012eb: DUP6
000012ec: DUP6
000012ed: DUP6
000012ee: DUP6
000012ef: DUP1
000012f0: DUP1
000012f1: PUSH1 0x1f
000012f3: ADD
000012f4: PUSH1 0x20
000012f6: DUP1
000012f7: SWAP2
000012f8: DIV
000012f9: MUL
000012fa: PUSH1 0x20
000012fc: ADD
000012fd: PUSH1 0x40
000012ff: MLOAD
00001300: SWAP1
00001301: DUP2
00001302: ADD
00001303: PUSH1 0x40
00001305: MSTORE
00001306: DUP1
00001307: SWAP4
00001308: SWAP3
00001309: SWAP2
0000130a: SWAP1
0000130b: DUP2
0000130c: DUP2
0000130d: MSTORE
0000130e: PUSH1 0x20
00001310: ADD
00001311: DUP4
00001312: DUP4
00001313: DUP1
00001314: DUP3
00001315: DUP5
00001316: CALLDATACOPY
00001317: PUSH1 0x00
00001319: SWAP3
0000131a: ADD
0000131b: SWAP2
0000131c: SWAP1
0000131d: SWAP2
0000131e: MSTORE
0000131f: POP
00001320: PUSH2 0x05a5
00001323: SWAP3
00001324: POP
00001325: POP
00001326: POP
00001327: JUMP
00001328: JUMPDEST
00001329: PUSH2 0x09c9
0000132c: DUP8
0000132d: DUP8
0000132e: DUP8
0000132f: DUP8
00001330: DUP8
00001331: DUP8
00001332: DUP8
00001333: PUSH2 0x05b8
00001336: JUMP
00001337: JUMPDEST
00001338: CALLER
00001339: EXTCODESIZE
0000133a: ISZERO
0000133b: PUSH2 0x13c6
0000133e: JUMPI
0000133f: PUSH1 0x40
00001341: MLOAD
00001342: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001363: DUP2
00001364: MSTORE
00001365: PUSH1 0x20
00001367: PUSH1 0x04
00001369: DUP3
0000136a: ADD
0000136b: MSTORE
0000136c: PUSH1 0x37
0000136e: PUSH1 0x24
00001370: DUP3
00001371: ADD
00001372: MSTORE
00001373: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00001394: PUSH1 0x44
00001396: DUP3
00001397: ADD
00001398: MSTORE
00001399: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
000013ba: PUSH1 0x64
000013bc: DUP3
000013bd: ADD
000013be: MSTORE
000013bf: PUSH1 0x84
000013c1: ADD
000013c2: PUSH2 0x0214
000013c5: JUMP
000013c6: JUMPDEST
000013c7: PUSH2 0x0aa4
000013ca: CALLER
000013cb: CALLER
000013cc: DUP6
000013cd: DUP6
000013ce: DUP6
000013cf: DUP1
000013d0: DUP1
000013d1: PUSH1 0x1f
000013d3: ADD
000013d4: PUSH1 0x20
000013d6: DUP1
000013d7: SWAP2
000013d8: DIV
000013d9: MUL
000013da: PUSH1 0x20
000013dc: ADD
000013dd: PUSH1 0x40
000013df: MLOAD
000013e0: SWAP1
000013e1: DUP2
000013e2: ADD
000013e3: PUSH1 0x40
000013e5: MSTORE
000013e6: DUP1
000013e7: SWAP4
000013e8: SWAP3
000013e9: SWAP2
000013ea: SWAP1
000013eb: DUP2
000013ec: DUP2
000013ed: MSTORE
000013ee: PUSH1 0x20
000013f0: ADD
000013f1: DUP4
000013f2: DUP4
000013f3: DUP1
000013f4: DUP3
000013f5: DUP5
000013f6: CALLDATACOPY
000013f7: PUSH1 0x00
000013f9: SWAP3
000013fa: ADD
000013fb: SWAP2
000013fc: SWAP1
000013fd: SWAP2
000013fe: MSTORE
000013ff: POP
00001400: PUSH2 0x05a5
00001403: SWAP3
00001404: POP
00001405: POP
00001406: POP
00001407: JUMP
00001408: JUMPDEST
00001409: PUSH1 0x00
0000140b: SLOAD
0000140c: PUSH2 0x0100
0000140f: SWAP1
00001410: DIV
00001411: PUSH1 0xff
00001413: AND
00001414: ISZERO
00001415: DUP1
00001416: DUP1
00001417: ISZERO
00001418: PUSH2 0x1428
0000141b: JUMPI
0000141c: POP
0000141d: PUSH1 0x00
0000141f: SLOAD
00001420: PUSH1 0x01
00001422: PUSH1 0xff
00001424: SWAP1
00001425: SWAP2
00001426: AND
00001427: LT
00001428: JUMPDEST
00001429: DUP1
0000142a: PUSH2 0x1442
0000142d: JUMPI
0000142e: POP
0000142f: ADDRESS
00001430: EXTCODESIZE
00001431: ISZERO
00001432: DUP1
00001433: ISZERO
00001434: PUSH2 0x1442
00001437: JUMPI
00001438: POP
00001439: PUSH1 0x00
0000143b: SLOAD
0000143c: PUSH1 0xff
0000143e: AND
0000143f: PUSH1 0x01
00001441: EQ
00001442: JUMPDEST
00001443: PUSH2 0x14ce
00001446: JUMPI
00001447: PUSH1 0x40
00001449: MLOAD
0000144a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000146b: DUP2
0000146c: MSTORE
0000146d: PUSH1 0x20
0000146f: PUSH1 0x04
00001471: DUP3
00001472: ADD
00001473: MSTORE
00001474: PUSH1 0x2e
00001476: PUSH1 0x24
00001478: DUP3
00001479: ADD
0000147a: MSTORE
0000147b: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
0000149c: PUSH1 0x44
0000149e: DUP3
0000149f: ADD
000014a0: MSTORE
000014a1: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
000014c2: PUSH1 0x64
000014c4: DUP3
000014c5: ADD
000014c6: MSTORE
000014c7: PUSH1 0x84
000014c9: ADD
000014ca: PUSH2 0x0214
000014cd: JUMP
000014ce: JUMPDEST
000014cf: PUSH1 0x00
000014d1: DUP1
000014d2: SLOAD
000014d3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000014f4: AND
000014f5: PUSH1 0x01
000014f7: OR
000014f8: SWAP1
000014f9: SSTORE
000014fa: DUP1
000014fb: ISZERO
000014fc: PUSH2 0x152c
000014ff: JUMPI
00001500: PUSH1 0x00
00001502: DUP1
00001503: SLOAD
00001504: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00001525: AND
00001526: PUSH2 0x0100
00001529: OR
0000152a: SWAP1
0000152b: SSTORE
0000152c: JUMPDEST
0000152d: PUSH1 0x32
0000152f: DUP1
00001530: SLOAD
00001531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001546: DUP1
00001547: DUP7
00001548: AND
00001549: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000156a: SWAP3
0000156b: DUP4
0000156c: AND
0000156d: OR
0000156e: SWAP1
0000156f: SWAP3
00001570: SSTORE
00001571: PUSH1 0x33
00001573: DUP1
00001574: SLOAD
00001575: SWAP3
00001576: DUP6
00001577: AND
00001578: SWAP3
00001579: SWAP1
0000157a: SWAP2
0000157b: AND
0000157c: SWAP2
0000157d: SWAP1
0000157e: SWAP2
0000157f: OR
00001580: SWAP1
00001581: SSTORE
00001582: PUSH2 0x159f
00001585: DUP5
00001586: PUSH20 0x4200000000000000000000000000000000000010
0000159b: PUSH2 0x201f
0000159e: JUMP
0000159f: JUMPDEST
000015a0: DUP1
000015a1: ISZERO
000015a2: PUSH2 0x05b2
000015a5: JUMPI
000015a6: PUSH1 0x00
000015a8: DUP1
000015a9: SLOAD
000015aa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000015cb: AND
000015cc: SWAP1
000015cd: SSTORE
000015ce: PUSH1 0x40
000015d0: MLOAD
000015d1: PUSH1 0x01
000015d3: DUP2
000015d4: MSTORE
000015d5: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
000015f6: SWAP1
000015f7: PUSH1 0x20
000015f9: ADD
000015fa: PUSH1 0x40
000015fc: MLOAD
000015fd: DUP1
000015fe: SWAP2
000015ff: SUB
00001600: SWAP1
00001601: LOG1
00001602: POP
00001603: POP
00001604: POP
00001605: POP
00001606: JUMP
00001607: JUMPDEST
00001608: PUSH2 0x05b2
0000160b: CALLER
0000160c: DUP6
0000160d: CALLVALUE
0000160e: DUP7
0000160f: DUP7
00001610: DUP7
00001611: DUP1
00001612: DUP1
00001613: PUSH1 0x1f
00001615: ADD
00001616: PUSH1 0x20
00001618: DUP1
00001619: SWAP2
0000161a: DIV
0000161b: MUL
0000161c: PUSH1 0x20
0000161e: ADD
0000161f: PUSH1 0x40
00001621: MLOAD
00001622: SWAP1
00001623: DUP2
00001624: ADD
00001625: PUSH1 0x40
00001627: MSTORE
00001628: DUP1
00001629: SWAP4
0000162a: SWAP3
0000162b: SWAP2
0000162c: SWAP1
0000162d: DUP2
0000162e: DUP2
0000162f: MSTORE
00001630: PUSH1 0x20
00001632: ADD
00001633: DUP4
00001634: DUP4
00001635: DUP1
00001636: DUP3
00001637: DUP5
00001638: CALLDATACOPY
00001639: PUSH1 0x00
0000163b: SWAP3
0000163c: ADD
0000163d: SWAP2
0000163e: SWAP1
0000163f: SWAP2
00001640: MSTORE
00001641: POP
00001642: PUSH2 0x164a
00001645: SWAP3
00001646: POP
00001647: POP
00001648: POP
00001649: JUMP
0000164a: JUMPDEST
0000164b: PUSH2 0x1652
0000164e: PUSH2 0x1b8d
00001651: JUMP
00001652: JUMPDEST
00001653: ISZERO
00001654: PUSH2 0x16df
00001657: JUMPI
00001658: PUSH1 0x40
0000165a: MLOAD
0000165b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000167c: DUP2
0000167d: MSTORE
0000167e: PUSH1 0x20
00001680: PUSH1 0x04
00001682: DUP3
00001683: ADD
00001684: MSTORE
00001685: PUSH1 0x37
00001687: PUSH1 0x24
00001689: DUP3
0000168a: ADD
0000168b: MSTORE
0000168c: PUSH32 0x5374616e646172644272696467653a2063616e6e6f7420627269646765204554
000016ad: PUSH1 0x44
000016af: DUP3
000016b0: ADD
000016b1: MSTORE
000016b2: PUSH32 0x48207769746820637573746f6d2067617320746f6b656e000000000000000000
000016d3: PUSH1 0x64
000016d5: DUP3
000016d6: ADD
000016d7: MSTORE
000016d8: PUSH1 0x84
000016da: ADD
000016db: PUSH2 0x0214
000016de: JUMP
000016df: JUMPDEST
000016e0: DUP3
000016e1: CALLVALUE
000016e2: EQ
000016e3: PUSH2 0x176e
000016e6: JUMPI
000016e7: PUSH1 0x40
000016e9: MLOAD
000016ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000170b: DUP2
0000170c: MSTORE
0000170d: PUSH1 0x20
0000170f: PUSH1 0x04
00001711: DUP3
00001712: ADD
00001713: MSTORE
00001714: PUSH1 0x3e
00001716: PUSH1 0x24
00001718: DUP3
00001719: ADD
0000171a: MSTORE
0000171b: PUSH32 0x5374616e646172644272696467653a206272696467696e6720455448206d7573
0000173c: PUSH1 0x44
0000173e: DUP3
0000173f: ADD
00001740: MSTORE
00001741: PUSH32 0x7420696e636c7564652073756666696369656e74204554482076616c75650000
00001762: PUSH1 0x64
00001764: DUP3
00001765: ADD
00001766: MSTORE
00001767: PUSH1 0x84
00001769: ADD
0000176a: PUSH2 0x0214
0000176d: JUMP
0000176e: JUMPDEST
0000176f: PUSH2 0x177a
00001772: DUP6
00001773: DUP6
00001774: DUP6
00001775: DUP5
00001776: PUSH2 0x2109
00001779: JUMP
0000177a: JUMPDEST
0000177b: PUSH1 0x03
0000177d: SLOAD
0000177e: PUSH1 0x04
00001780: SLOAD
00001781: PUSH1 0x40
00001783: MLOAD
00001784: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001799: SWAP3
0000179a: DUP4
0000179b: AND
0000179c: SWAP3
0000179d: PUSH4 0x3dbb202b
000017a2: SWAP3
000017a3: DUP8
000017a4: SWAP3
000017a5: SWAP2
000017a6: AND
000017a7: SWAP1
000017a8: PUSH32 0x1635f5fd00000000000000000000000000000000000000000000000000000000
000017c9: SWAP1
000017ca: PUSH2 0x17dd
000017cd: SWAP1
000017ce: DUP12
000017cf: SWAP1
000017d0: DUP12
000017d1: SWAP1
000017d2: DUP7
000017d3: SWAP1
000017d4: DUP11
000017d5: SWAP1
000017d6: PUSH1 0x24
000017d8: ADD
000017d9: PUSH2 0x2df7
000017dc: JUMP
000017dd: JUMPDEST
000017de: PUSH1 0x40
000017e0: DUP1
000017e1: MLOAD
000017e2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001803: DUP2
00001804: DUP5
00001805: SUB
00001806: ADD
00001807: DUP2
00001808: MSTORE
00001809: SWAP2
0000180a: DUP2
0000180b: MSTORE
0000180c: PUSH1 0x20
0000180e: DUP3
0000180f: ADD
00001810: DUP1
00001811: MLOAD
00001812: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000182f: AND
00001830: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001851: SWAP5
00001852: DUP6
00001853: AND
00001854: OR
00001855: SWAP1
00001856: MSTORE
00001857: MLOAD
00001858: PUSH1 0xe0
0000185a: DUP7
0000185b: SWAP1
0000185c: SHL
0000185d: SWAP1
0000185e: SWAP3
0000185f: AND
00001860: DUP3
00001861: MSTORE
00001862: PUSH2 0x1870
00001865: SWAP3
00001866: SWAP2
00001867: DUP9
00001868: SWAP1
00001869: PUSH1 0x04
0000186b: ADD
0000186c: PUSH2 0x2e40
0000186f: JUMP
00001870: JUMPDEST
00001871: PUSH1 0x00
00001873: PUSH1 0x40
00001875: MLOAD
00001876: DUP1
00001877: DUP4
00001878: SUB
00001879: DUP2
0000187a: DUP6
0000187b: DUP9
0000187c: DUP1
0000187d: EXTCODESIZE
0000187e: ISZERO
0000187f: DUP1
00001880: ISZERO
00001881: PUSH2 0x1889
00001884: JUMPI
00001885: PUSH1 0x00
00001887: DUP1
00001888: REVERT
00001889: JUMPDEST
0000188a: POP
0000188b: GAS
0000188c: CALL
0000188d: ISZERO
0000188e: DUP1
0000188f: ISZERO
00001890: PUSH2 0x189d
00001893: JUMPI
00001894: RETURNDATASIZE
00001895: PUSH1 0x00
00001897: DUP1
00001898: RETURNDATACOPY
00001899: RETURNDATASIZE
0000189a: PUSH1 0x00
0000189c: REVERT
0000189d: JUMPDEST
0000189e: POP
0000189f: POP
000018a0: POP
000018a1: POP
000018a2: POP
000018a3: POP
000018a4: POP
000018a5: POP
000018a6: POP
000018a7: POP
000018a8: JUMP
000018a9: JUMPDEST
000018aa: PUSH1 0x00
000018ac: PUSH2 0x18d5
000018af: DUP3
000018b0: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
000018d1: PUSH2 0x217c
000018d4: JUMP
000018d5: JUMPDEST
000018d6: DUP1
000018d7: PUSH2 0x1905
000018da: JUMPI
000018db: POP
000018dc: PUSH2 0x1905
000018df: DUP3
000018e0: PUSH32 0xec4fc8e300000000000000000000000000000000000000000000000000000000
00001901: PUSH2 0x217c
00001904: JUMP
00001905: JUMPDEST
00001906: SWAP3
00001907: SWAP2
00001908: POP
00001909: POP
0000190a: JUMP
0000190b: JUMPDEST
0000190c: PUSH1 0x00
0000190e: PUSH2 0x1937
00001911: DUP4
00001912: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
00001933: PUSH2 0x217c
00001936: JUMP
00001937: JUMPDEST
00001938: ISZERO
00001939: PUSH2 0x19e0
0000193c: JUMPI
0000193d: DUP3
0000193e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001953: AND
00001954: PUSH4 0xc01e1bd6
00001959: PUSH1 0x40
0000195b: MLOAD
0000195c: DUP2
0000195d: PUSH4 0xffffffff
00001962: AND
00001963: PUSH1 0xe0
00001965: SHL
00001966: DUP2
00001967: MSTORE
00001968: PUSH1 0x04
0000196a: ADD
0000196b: PUSH1 0x20
0000196d: PUSH1 0x40
0000196f: MLOAD
00001970: DUP1
00001971: DUP4
00001972: SUB
00001973: DUP2
00001974: DUP7
00001975: GAS
00001976: STATICCALL
00001977: ISZERO
00001978: DUP1
00001979: ISZERO
0000197a: PUSH2 0x1987
0000197d: JUMPI
0000197e: RETURNDATASIZE
0000197f: PUSH1 0x00
00001981: DUP1
00001982: RETURNDATACOPY
00001983: RETURNDATASIZE
00001984: PUSH1 0x00
00001986: REVERT
00001987: JUMPDEST
00001988: POP
00001989: POP
0000198a: POP
0000198b: POP
0000198c: PUSH1 0x40
0000198e: MLOAD
0000198f: RETURNDATASIZE
00001990: PUSH1 0x1f
00001992: NOT
00001993: PUSH1 0x1f
00001995: DUP3
00001996: ADD
00001997: AND
00001998: DUP3
00001999: ADD
0000199a: DUP1
0000199b: PUSH1 0x40
0000199d: MSTORE
0000199e: POP
0000199f: DUP2
000019a0: ADD
000019a1: SWAP1
000019a2: PUSH2 0x19ab
000019a5: SWAP2
000019a6: SWAP1
000019a7: PUSH2 0x2d72
000019aa: JUMP
000019ab: JUMPDEST
000019ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c1: AND
000019c2: DUP3
000019c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d8: AND
000019d9: EQ
000019da: SWAP1
000019db: POP
000019dc: PUSH2 0x1905
000019df: JUMP
000019e0: JUMPDEST
000019e1: DUP3
000019e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f7: AND
000019f8: PUSH4 0xd6c0b2c4
000019fd: PUSH1 0x40
000019ff: MLOAD
00001a00: DUP2
00001a01: PUSH4 0xffffffff
00001a06: AND
00001a07: PUSH1 0xe0
00001a09: SHL
00001a0a: DUP2
00001a0b: MSTORE
00001a0c: PUSH1 0x04
00001a0e: ADD
00001a0f: PUSH1 0x20
00001a11: PUSH1 0x40
00001a13: MLOAD
00001a14: DUP1
00001a15: DUP4
00001a16: SUB
00001a17: DUP2
00001a18: DUP7
00001a19: GAS
00001a1a: STATICCALL
00001a1b: ISZERO
00001a1c: DUP1
00001a1d: ISZERO
00001a1e: PUSH2 0x1987
00001a21: JUMPI
00001a22: RETURNDATASIZE
00001a23: PUSH1 0x00
00001a25: DUP1
00001a26: RETURNDATACOPY
00001a27: RETURNDATASIZE
00001a28: PUSH1 0x00
00001a2a: REVERT
00001a2b: JUMPDEST
00001a2c: PUSH1 0x40
00001a2e: MLOAD
00001a2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a44: DUP4
00001a45: AND
00001a46: PUSH1 0x24
00001a48: DUP3
00001a49: ADD
00001a4a: MSTORE
00001a4b: PUSH1 0x44
00001a4d: DUP2
00001a4e: ADD
00001a4f: DUP3
00001a50: SWAP1
00001a51: MSTORE
00001a52: PUSH2 0x0aa4
00001a55: SWAP1
00001a56: DUP5
00001a57: SWAP1
00001a58: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001a79: SWAP1
00001a7a: PUSH1 0x64
00001a7c: ADD
00001a7d: JUMPDEST
00001a7e: PUSH1 0x40
00001a80: DUP1
00001a81: MLOAD
00001a82: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001aa3: DUP2
00001aa4: DUP5
00001aa5: SUB
00001aa6: ADD
00001aa7: DUP2
00001aa8: MSTORE
00001aa9: SWAP2
00001aaa: SWAP1
00001aab: MSTORE
00001aac: PUSH1 0x20
00001aae: DUP2
00001aaf: ADD
00001ab0: DUP1
00001ab1: MLOAD
00001ab2: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001acf: AND
00001ad0: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001af1: SWAP1
00001af2: SWAP4
00001af3: AND
00001af4: SWAP3
00001af5: SWAP1
00001af6: SWAP3
00001af7: OR
00001af8: SWAP1
00001af9: SWAP2
00001afa: MSTORE
00001afb: PUSH2 0x219f
00001afe: JUMP
00001aff: JUMPDEST
00001b00: DUP4
00001b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b16: AND
00001b17: DUP6
00001b18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b2d: AND
00001b2e: DUP8
00001b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b44: AND
00001b45: PUSH32 0x3ceee06c1e37648fcbb6ed52e17b3e1f275a1f8c7b22a84b2b84732431e046b3
00001b66: DUP7
00001b67: DUP7
00001b68: DUP7
00001b69: PUSH1 0x40
00001b6b: MLOAD
00001b6c: PUSH2 0x1b77
00001b6f: SWAP4
00001b70: SWAP3
00001b71: SWAP2
00001b72: SWAP1
00001b73: PUSH2 0x2e85
00001b76: JUMP
00001b77: JUMPDEST
00001b78: PUSH1 0x40
00001b7a: MLOAD
00001b7b: DUP1
00001b7c: SWAP2
00001b7d: SUB
00001b7e: SWAP1
00001b7f: LOG4
00001b80: PUSH2 0x1013
00001b83: DUP7
00001b84: DUP7
00001b85: DUP7
00001b86: DUP7
00001b87: DUP7
00001b88: DUP7
00001b89: PUSH2 0x22ab
00001b8c: JUMP
00001b8d: JUMPDEST
00001b8e: PUSH1 0x00
00001b90: DUP1
00001b91: PUSH2 0x1b98
00001b94: PUSH2 0x2333
00001b97: JUMP
00001b98: JUMPDEST
00001b99: POP
00001b9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001baf: AND
00001bb0: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001bc5: EQ
00001bc6: ISZERO
00001bc7: SWAP3
00001bc8: SWAP2
00001bc9: POP
00001bca: POP
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: DUP3
00001bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be3: AND
00001be4: DUP5
00001be5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bfa: AND
00001bfb: PUSH32 0x2ac69ee804d9a7a0984249f508dfab7cb2534b465b6ce1580f99a38ba9c5e631
00001c1c: DUP5
00001c1d: DUP5
00001c1e: PUSH1 0x40
00001c20: MLOAD
00001c21: PUSH2 0x1c2b
00001c24: SWAP3
00001c25: SWAP2
00001c26: SWAP1
00001c27: PUSH2 0x2ec3
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: PUSH1 0x40
00001c2e: MLOAD
00001c2f: DUP1
00001c30: SWAP2
00001c31: SUB
00001c32: SWAP1
00001c33: LOG3
00001c34: PUSH2 0x05b2
00001c37: DUP5
00001c38: DUP5
00001c39: DUP5
00001c3a: DUP5
00001c3b: PUSH2 0x23d0
00001c3e: JUMP
00001c3f: JUMPDEST
00001c40: PUSH1 0x00
00001c42: DUP1
00001c43: PUSH1 0x00
00001c45: DUP4
00001c46: MLOAD
00001c47: PUSH1 0x20
00001c49: DUP6
00001c4a: ADD
00001c4b: DUP7
00001c4c: DUP10
00001c4d: DUP10
00001c4e: CALL
00001c4f: SWAP6
00001c50: SWAP5
00001c51: POP
00001c52: POP
00001c53: POP
00001c54: POP
00001c55: POP
00001c56: JUMP
00001c57: JUMPDEST
00001c58: CALLVALUE
00001c59: ISZERO
00001c5a: PUSH2 0x1ce5
00001c5d: JUMPI
00001c5e: PUSH1 0x40
00001c60: MLOAD
00001c61: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c82: DUP2
00001c83: MSTORE
00001c84: PUSH1 0x20
00001c86: PUSH1 0x04
00001c88: DUP3
00001c89: ADD
00001c8a: MSTORE
00001c8b: PUSH1 0x21
00001c8d: PUSH1 0x24
00001c8f: DUP3
00001c90: ADD
00001c91: MSTORE
00001c92: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e642076616c75
00001cb3: PUSH1 0x44
00001cb5: DUP3
00001cb6: ADD
00001cb7: MSTORE
00001cb8: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00001cd9: PUSH1 0x64
00001cdb: DUP3
00001cdc: ADD
00001cdd: MSTORE
00001cde: PUSH1 0x84
00001ce0: ADD
00001ce1: PUSH2 0x0214
00001ce4: JUMP
00001ce5: JUMPDEST
00001ce6: PUSH2 0x1cee
00001ce9: DUP8
00001cea: PUSH2 0x18a9
00001ced: JUMP
00001cee: JUMPDEST
00001cef: ISZERO
00001cf0: PUSH2 0x1e3c
00001cf3: JUMPI
00001cf4: PUSH2 0x1cfd
00001cf7: DUP8
00001cf8: DUP8
00001cf9: PUSH2 0x190b
00001cfc: JUMP
00001cfd: JUMPDEST
00001cfe: PUSH2 0x1daf
00001d01: JUMPI
00001d02: PUSH1 0x40
00001d04: MLOAD
00001d05: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d26: DUP2
00001d27: MSTORE
00001d28: PUSH1 0x20
00001d2a: PUSH1 0x04
00001d2c: DUP3
00001d2d: ADD
00001d2e: MSTORE
00001d2f: PUSH1 0x4a
00001d31: PUSH1 0x24
00001d33: DUP3
00001d34: ADD
00001d35: MSTORE
00001d36: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
00001d57: PUSH1 0x44
00001d59: DUP3
00001d5a: ADD
00001d5b: MSTORE
00001d5c: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
00001d7d: PUSH1 0x64
00001d7f: DUP3
00001d80: ADD
00001d81: MSTORE
00001d82: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
00001da3: PUSH1 0x84
00001da5: DUP3
00001da6: ADD
00001da7: MSTORE
00001da8: PUSH1 0xa4
00001daa: ADD
00001dab: PUSH2 0x0214
00001dae: JUMP
00001daf: JUMPDEST
00001db0: PUSH1 0x40
00001db2: MLOAD
00001db3: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000
00001dd4: DUP2
00001dd5: MSTORE
00001dd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001deb: DUP7
00001dec: DUP2
00001ded: AND
00001dee: PUSH1 0x04
00001df0: DUP4
00001df1: ADD
00001df2: MSTORE
00001df3: PUSH1 0x24
00001df5: DUP3
00001df6: ADD
00001df7: DUP6
00001df8: SWAP1
00001df9: MSTORE
00001dfa: DUP9
00001dfb: AND
00001dfc: SWAP1
00001dfd: PUSH4 0x9dc29fac
00001e02: SWAP1
00001e03: PUSH1 0x44
00001e05: ADD
00001e06: PUSH1 0x00
00001e08: PUSH1 0x40
00001e0a: MLOAD
00001e0b: DUP1
00001e0c: DUP4
00001e0d: SUB
00001e0e: DUP2
00001e0f: PUSH1 0x00
00001e11: DUP8
00001e12: DUP1
00001e13: EXTCODESIZE
00001e14: ISZERO
00001e15: DUP1
00001e16: ISZERO
00001e17: PUSH2 0x1e1f
00001e1a: JUMPI
00001e1b: PUSH1 0x00
00001e1d: DUP1
00001e1e: REVERT
00001e1f: JUMPDEST
00001e20: POP
00001e21: GAS
00001e22: CALL
00001e23: ISZERO
00001e24: DUP1
00001e25: ISZERO
00001e26: PUSH2 0x1e33
00001e29: JUMPI
00001e2a: RETURNDATASIZE
00001e2b: PUSH1 0x00
00001e2d: DUP1
00001e2e: RETURNDATACOPY
00001e2f: RETURNDATASIZE
00001e30: PUSH1 0x00
00001e32: REVERT
00001e33: JUMPDEST
00001e34: POP
00001e35: POP
00001e36: POP
00001e37: POP
00001e38: PUSH2 0x1ed0
00001e3b: JUMP
00001e3c: JUMPDEST
00001e3d: PUSH2 0x1e5e
00001e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e55: DUP9
00001e56: AND
00001e57: DUP7
00001e58: ADDRESS
00001e59: DUP7
00001e5a: PUSH2 0x243d
00001e5d: JUMP
00001e5e: JUMPDEST
00001e5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e74: DUP1
00001e75: DUP9
00001e76: AND
00001e77: PUSH1 0x00
00001e79: SWAP1
00001e7a: DUP2
00001e7b: MSTORE
00001e7c: PUSH1 0x02
00001e7e: PUSH1 0x20
00001e80: SWAP1
00001e81: DUP2
00001e82: MSTORE
00001e83: PUSH1 0x40
00001e85: DUP1
00001e86: DUP4
00001e87: KECCAK256
00001e88: SWAP4
00001e89: DUP11
00001e8a: AND
00001e8b: DUP4
00001e8c: MSTORE
00001e8d: SWAP3
00001e8e: SWAP1
00001e8f: MSTORE
00001e90: KECCAK256
00001e91: SLOAD
00001e92: PUSH2 0x1e9c
00001e95: SWAP1
00001e96: DUP5
00001e97: SWAP1
00001e98: PUSH2 0x2edc
00001e9b: JUMP
00001e9c: JUMPDEST
00001e9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb2: DUP1
00001eb3: DUP10
00001eb4: AND
00001eb5: PUSH1 0x00
00001eb7: SWAP1
00001eb8: DUP2
00001eb9: MSTORE
00001eba: PUSH1 0x02
00001ebc: PUSH1 0x20
00001ebe: SWAP1
00001ebf: DUP2
00001ec0: MSTORE
00001ec1: PUSH1 0x40
00001ec3: DUP1
00001ec4: DUP4
00001ec5: KECCAK256
00001ec6: SWAP4
00001ec7: DUP12
00001ec8: AND
00001ec9: DUP4
00001eca: MSTORE
00001ecb: SWAP3
00001ecc: SWAP1
00001ecd: MSTORE
00001ece: KECCAK256
00001ecf: SSTORE
00001ed0: JUMPDEST
00001ed1: PUSH2 0x1ede
00001ed4: DUP8
00001ed5: DUP8
00001ed6: DUP8
00001ed7: DUP8
00001ed8: DUP8
00001ed9: DUP7
00001eda: PUSH2 0x249b
00001edd: JUMP
00001ede: JUMPDEST
00001edf: PUSH1 0x03
00001ee1: SLOAD
00001ee2: PUSH1 0x04
00001ee4: SLOAD
00001ee5: PUSH1 0x40
00001ee7: MLOAD
00001ee8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001efd: SWAP3
00001efe: DUP4
00001eff: AND
00001f00: SWAP3
00001f01: PUSH4 0x3dbb202b
00001f06: SWAP3
00001f07: AND
00001f08: SWAP1
00001f09: PUSH32 0x0166a07a00000000000000000000000000000000000000000000000000000000
00001f2a: SWAP1
00001f2b: PUSH2 0x1f42
00001f2e: SWAP1
00001f2f: DUP12
00001f30: SWAP1
00001f31: DUP14
00001f32: SWAP1
00001f33: DUP13
00001f34: SWAP1
00001f35: DUP13
00001f36: SWAP1
00001f37: DUP13
00001f38: SWAP1
00001f39: DUP12
00001f3a: SWAP1
00001f3b: PUSH1 0x24
00001f3d: ADD
00001f3e: PUSH2 0x2ef4
00001f41: JUMP
00001f42: JUMPDEST
00001f43: PUSH1 0x40
00001f45: DUP1
00001f46: MLOAD
00001f47: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001f68: DUP2
00001f69: DUP5
00001f6a: SUB
00001f6b: ADD
00001f6c: DUP2
00001f6d: MSTORE
00001f6e: SWAP2
00001f6f: DUP2
00001f70: MSTORE
00001f71: PUSH1 0x20
00001f73: DUP3
00001f74: ADD
00001f75: DUP1
00001f76: MLOAD
00001f77: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001f94: AND
00001f95: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001fb6: SWAP5
00001fb7: DUP6
00001fb8: AND
00001fb9: OR
00001fba: SWAP1
00001fbb: MSTORE
00001fbc: MLOAD
00001fbd: PUSH1 0xe0
00001fbf: DUP6
00001fc0: SWAP1
00001fc1: SHL
00001fc2: SWAP1
00001fc3: SWAP3
00001fc4: AND
00001fc5: DUP3
00001fc6: MSTORE
00001fc7: PUSH2 0x1fd5
00001fca: SWAP3
00001fcb: SWAP2
00001fcc: DUP8
00001fcd: SWAP1
00001fce: PUSH1 0x04
00001fd0: ADD
00001fd1: PUSH2 0x2e40
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: PUSH1 0x00
00001fd8: PUSH1 0x40
00001fda: MLOAD
00001fdb: DUP1
00001fdc: DUP4
00001fdd: SUB
00001fde: DUP2
00001fdf: PUSH1 0x00
00001fe1: DUP8
00001fe2: DUP1
00001fe3: EXTCODESIZE
00001fe4: ISZERO
00001fe5: DUP1
00001fe6: ISZERO
00001fe7: PUSH2 0x1fef
00001fea: JUMPI
00001feb: PUSH1 0x00
00001fed: DUP1
00001fee: REVERT
00001fef: JUMPDEST
00001ff0: POP
00001ff1: GAS
00001ff2: CALL
00001ff3: ISZERO
00001ff4: DUP1
00001ff5: ISZERO
00001ff6: PUSH2 0x2003
00001ff9: JUMPI
00001ffa: RETURNDATASIZE
00001ffb: PUSH1 0x00
00001ffd: DUP1
00001ffe: RETURNDATACOPY
00001fff: RETURNDATASIZE
00002000: PUSH1 0x00
00002002: REVERT
00002003: JUMPDEST
00002004: POP
00002005: POP
00002006: POP
00002007: POP
00002008: POP
00002009: POP
0000200a: POP
0000200b: POP
0000200c: POP
0000200d: POP
0000200e: POP
0000200f: JUMP
00002010: JUMPDEST
00002011: PUSH2 0x09c9
00002014: DUP8
00002015: DUP8
00002016: DUP8
00002017: DUP8
00002018: DUP8
00002019: DUP8
0000201a: DUP8
0000201b: PUSH2 0x1c57
0000201e: JUMP
0000201f: JUMPDEST
00002020: PUSH1 0x00
00002022: SLOAD
00002023: PUSH2 0x0100
00002026: SWAP1
00002027: DIV
00002028: PUSH1 0xff
0000202a: AND
0000202b: PUSH2 0x20b6
0000202e: JUMPI
0000202f: PUSH1 0x40
00002031: MLOAD
00002032: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002053: DUP2
00002054: MSTORE
00002055: PUSH1 0x20
00002057: PUSH1 0x04
00002059: DUP3
0000205a: ADD
0000205b: MSTORE
0000205c: PUSH1 0x2b
0000205e: PUSH1 0x24
00002060: DUP3
00002061: ADD
00002062: MSTORE
00002063: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002084: PUSH1 0x44
00002086: DUP3
00002087: ADD
00002088: MSTORE
00002089: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
000020aa: PUSH1 0x64
000020ac: DUP3
000020ad: ADD
000020ae: MSTORE
000020af: PUSH1 0x84
000020b1: ADD
000020b2: PUSH2 0x0214
000020b5: JUMP
000020b6: JUMPDEST
000020b7: PUSH1 0x03
000020b9: DUP1
000020ba: SLOAD
000020bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d0: SWAP4
000020d1: DUP5
000020d2: AND
000020d3: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000020f4: SWAP2
000020f5: DUP3
000020f6: AND
000020f7: OR
000020f8: SWAP1
000020f9: SWAP2
000020fa: SSTORE
000020fb: PUSH1 0x04
000020fd: DUP1
000020fe: SLOAD
000020ff: SWAP3
00002100: SWAP1
00002101: SWAP4
00002102: AND
00002103: SWAP2
00002104: AND
00002105: OR
00002106: SWAP1
00002107: SSTORE
00002108: JUMP
00002109: JUMPDEST
0000210a: DUP3
0000210b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002120: AND
00002121: DUP5
00002122: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002137: AND
00002138: PUSH32 0x35d79ab81f2b2017e19afb5c5571778877782d7a8786f5907f93b0f4702f4f23
00002159: DUP5
0000215a: DUP5
0000215b: PUSH1 0x40
0000215d: MLOAD
0000215e: PUSH2 0x2168
00002161: SWAP3
00002162: SWAP2
00002163: SWAP1
00002164: PUSH2 0x2ec3
00002167: JUMP
00002168: JUMPDEST
00002169: PUSH1 0x40
0000216b: MLOAD
0000216c: DUP1
0000216d: SWAP2
0000216e: SUB
0000216f: SWAP1
00002170: LOG3
00002171: PUSH2 0x05b2
00002174: DUP5
00002175: DUP5
00002176: DUP5
00002177: DUP5
00002178: PUSH2 0x2529
0000217b: JUMP
0000217c: JUMPDEST
0000217d: PUSH1 0x00
0000217f: PUSH2 0x2187
00002182: DUP4
00002183: PUSH2 0x2588
00002186: JUMP
00002187: JUMPDEST
00002188: DUP1
00002189: ISZERO
0000218a: PUSH2 0x2198
0000218d: JUMPI
0000218e: POP
0000218f: PUSH2 0x2198
00002192: DUP4
00002193: DUP4
00002194: PUSH2 0x25ec
00002197: JUMP
00002198: JUMPDEST
00002199: SWAP4
0000219a: SWAP3
0000219b: POP
0000219c: POP
0000219d: POP
0000219e: JUMP
0000219f: JUMPDEST
000021a0: PUSH1 0x00
000021a2: PUSH2 0x2201
000021a5: DUP3
000021a6: PUSH1 0x40
000021a8: MLOAD
000021a9: DUP1
000021aa: PUSH1 0x40
000021ac: ADD
000021ad: PUSH1 0x40
000021af: MSTORE
000021b0: DUP1
000021b1: PUSH1 0x20
000021b3: DUP2
000021b4: MSTORE
000021b5: PUSH1 0x20
000021b7: ADD
000021b8: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000021d9: DUP2
000021da: MSTORE
000021db: POP
000021dc: DUP6
000021dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f2: AND
000021f3: PUSH2 0x26bb
000021f6: SWAP1
000021f7: SWAP3
000021f8: SWAP2
000021f9: SWAP1
000021fa: PUSH4 0xffffffff
000021ff: AND
00002200: JUMP
00002201: JUMPDEST
00002202: DUP1
00002203: MLOAD
00002204: SWAP1
00002205: SWAP2
00002206: POP
00002207: ISZERO
00002208: PUSH2 0x0aa4
0000220b: JUMPI
0000220c: DUP1
0000220d: DUP1
0000220e: PUSH1 0x20
00002210: ADD
00002211: SWAP1
00002212: MLOAD
00002213: DUP2
00002214: ADD
00002215: SWAP1
00002216: PUSH2 0x221f
00002219: SWAP2
0000221a: SWAP1
0000221b: PUSH2 0x2dd5
0000221e: JUMP
0000221f: JUMPDEST
00002220: PUSH2 0x0aa4
00002223: JUMPI
00002224: PUSH1 0x40
00002226: MLOAD
00002227: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002248: DUP2
00002249: MSTORE
0000224a: PUSH1 0x20
0000224c: PUSH1 0x04
0000224e: DUP3
0000224f: ADD
00002250: MSTORE
00002251: PUSH1 0x2a
00002253: PUSH1 0x24
00002255: DUP3
00002256: ADD
00002257: MSTORE
00002258: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002279: PUSH1 0x44
0000227b: DUP3
0000227c: ADD
0000227d: MSTORE
0000227e: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
0000229f: PUSH1 0x64
000022a1: DUP3
000022a2: ADD
000022a3: MSTORE
000022a4: PUSH1 0x84
000022a6: ADD
000022a7: PUSH2 0x0214
000022aa: JUMP
000022ab: JUMPDEST
000022ac: DUP4
000022ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c2: AND
000022c3: DUP6
000022c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022d9: AND
000022da: DUP8
000022db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f0: AND
000022f1: PUSH32 0xd59c65b35445225835c83f50b6ede06a7be047d22e357073e250d9af537518cd
00002312: DUP7
00002313: DUP7
00002314: DUP7
00002315: PUSH1 0x40
00002317: MLOAD
00002318: PUSH2 0x2323
0000231b: SWAP4
0000231c: SWAP3
0000231d: SWAP2
0000231e: SWAP1
0000231f: PUSH2 0x2e85
00002322: JUMP
00002323: JUMPDEST
00002324: PUSH1 0x40
00002326: MLOAD
00002327: DUP1
00002328: SWAP2
00002329: SUB
0000232a: SWAP1
0000232b: LOG4
0000232c: POP
0000232d: POP
0000232e: POP
0000232f: POP
00002330: POP
00002331: POP
00002332: JUMP
00002333: JUMPDEST
00002334: PUSH1 0x33
00002336: SLOAD
00002337: PUSH1 0x40
00002339: DUP1
0000233a: MLOAD
0000233b: PUSH32 0x4397dfef00000000000000000000000000000000000000000000000000000000
0000235c: DUP2
0000235d: MSTORE
0000235e: DUP2
0000235f: MLOAD
00002360: PUSH1 0x00
00002362: SWAP4
00002363: DUP5
00002364: SWAP4
00002365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000237a: SWAP1
0000237b: SWAP2
0000237c: AND
0000237d: SWAP3
0000237e: PUSH4 0x4397dfef
00002383: SWAP3
00002384: PUSH1 0x04
00002386: DUP1
00002387: DUP4
00002388: ADD
00002389: SWAP4
0000238a: SWAP3
0000238b: DUP3
0000238c: SWAP1
0000238d: SUB
0000238e: ADD
0000238f: DUP2
00002390: DUP7
00002391: GAS
00002392: STATICCALL
00002393: ISZERO
00002394: DUP1
00002395: ISZERO
00002396: PUSH2 0x23a3
00002399: JUMPI
0000239a: RETURNDATASIZE
0000239b: PUSH1 0x00
0000239d: DUP1
0000239e: RETURNDATACOPY
0000239f: RETURNDATASIZE
000023a0: PUSH1 0x00
000023a2: REVERT
000023a3: JUMPDEST
000023a4: POP
000023a5: POP
000023a6: POP
000023a7: POP
000023a8: PUSH1 0x40
000023aa: MLOAD
000023ab: RETURNDATASIZE
000023ac: PUSH1 0x1f
000023ae: NOT
000023af: PUSH1 0x1f
000023b1: DUP3
000023b2: ADD
000023b3: AND
000023b4: DUP3
000023b5: ADD
000023b6: DUP1
000023b7: PUSH1 0x40
000023b9: MSTORE
000023ba: POP
000023bb: DUP2
000023bc: ADD
000023bd: SWAP1
000023be: PUSH2 0x23c7
000023c1: SWAP2
000023c2: SWAP1
000023c3: PUSH2 0x2f4f
000023c6: JUMP
000023c7: JUMPDEST
000023c8: SWAP1
000023c9: SWAP4
000023ca: SWAP1
000023cb: SWAP3
000023cc: POP
000023cd: SWAP1
000023ce: POP
000023cf: JUMP
000023d0: JUMPDEST
000023d1: DUP3
000023d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023e7: AND
000023e8: DUP5
000023e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023fe: AND
000023ff: PUSH32 0x31b2166ff604fc5672ea5df08a78081d2bc6d746cadce880747f3643d819e83d
00002420: DUP5
00002421: DUP5
00002422: PUSH1 0x40
00002424: MLOAD
00002425: PUSH2 0x242f
00002428: SWAP3
00002429: SWAP2
0000242a: SWAP1
0000242b: PUSH2 0x2ec3
0000242e: JUMP
0000242f: JUMPDEST
00002430: PUSH1 0x40
00002432: MLOAD
00002433: DUP1
00002434: SWAP2
00002435: SUB
00002436: SWAP1
00002437: LOG3
00002438: POP
00002439: POP
0000243a: POP
0000243b: POP
0000243c: JUMP
0000243d: JUMPDEST
0000243e: PUSH1 0x40
00002440: MLOAD
00002441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002456: DUP1
00002457: DUP6
00002458: AND
00002459: PUSH1 0x24
0000245b: DUP4
0000245c: ADD
0000245d: MSTORE
0000245e: DUP4
0000245f: AND
00002460: PUSH1 0x44
00002462: DUP3
00002463: ADD
00002464: MSTORE
00002465: PUSH1 0x64
00002467: DUP2
00002468: ADD
00002469: DUP3
0000246a: SWAP1
0000246b: MSTORE
0000246c: PUSH2 0x05b2
0000246f: SWAP1
00002470: DUP6
00002471: SWAP1
00002472: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00002493: SWAP1
00002494: PUSH1 0x84
00002496: ADD
00002497: PUSH2 0x1a7d
0000249a: JUMP
0000249b: JUMPDEST
0000249c: DUP4
0000249d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024b2: AND
000024b3: DUP6
000024b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c9: AND
000024ca: DUP8
000024cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e0: AND
000024e1: PUSH32 0x718594027abd4eaed59f95162563e0cc6d0e8d5b86b1c7be8b1b0ac3343d0396
00002502: DUP7
00002503: DUP7
00002504: DUP7
00002505: PUSH1 0x40
00002507: MLOAD
00002508: PUSH2 0x2513
0000250b: SWAP4
0000250c: SWAP3
0000250d: SWAP2
0000250e: SWAP1
0000250f: PUSH2 0x2e85
00002512: JUMP
00002513: JUMPDEST
00002514: PUSH1 0x40
00002516: MLOAD
00002517: DUP1
00002518: SWAP2
00002519: SUB
0000251a: SWAP1
0000251b: LOG4
0000251c: PUSH2 0x1013
0000251f: DUP7
00002520: DUP7
00002521: DUP7
00002522: DUP7
00002523: DUP7
00002524: DUP7
00002525: PUSH2 0x26d2
00002528: JUMP
00002529: JUMPDEST
0000252a: DUP3
0000252b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002540: AND
00002541: DUP5
00002542: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002557: AND
00002558: PUSH32 0x2849b43074093a05396b6f2a937dee8565b15a48a7b3d4bffb732a5017380af5
00002579: DUP5
0000257a: DUP5
0000257b: PUSH1 0x40
0000257d: MLOAD
0000257e: PUSH2 0x242f
00002581: SWAP3
00002582: SWAP2
00002583: SWAP1
00002584: PUSH2 0x2ec3
00002587: JUMP
00002588: JUMPDEST
00002589: PUSH1 0x00
0000258b: PUSH2 0x25b4
0000258e: DUP3
0000258f: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000025b0: PUSH2 0x25ec
000025b3: JUMP
000025b4: JUMPDEST
000025b5: DUP1
000025b6: ISZERO
000025b7: PUSH2 0x1905
000025ba: JUMPI
000025bb: POP
000025bc: PUSH2 0x25e5
000025bf: DUP3
000025c0: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000025e1: PUSH2 0x25ec
000025e4: JUMP
000025e5: JUMPDEST
000025e6: ISZERO
000025e7: SWAP3
000025e8: SWAP2
000025e9: POP
000025ea: POP
000025eb: JUMP
000025ec: JUMPDEST
000025ed: PUSH1 0x40
000025ef: DUP1
000025f0: MLOAD
000025f1: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002612: DUP4
00002613: AND
00002614: PUSH1 0x24
00002616: DUP1
00002617: DUP4
00002618: ADD
00002619: SWAP2
0000261a: SWAP1
0000261b: SWAP2
0000261c: MSTORE
0000261d: DUP3
0000261e: MLOAD
0000261f: DUP1
00002620: DUP4
00002621: SUB
00002622: SWAP1
00002623: SWAP2
00002624: ADD
00002625: DUP2
00002626: MSTORE
00002627: PUSH1 0x44
00002629: SWAP1
0000262a: SWAP2
0000262b: ADD
0000262c: SWAP1
0000262d: SWAP2
0000262e: MSTORE
0000262f: PUSH1 0x20
00002631: DUP1
00002632: DUP3
00002633: ADD
00002634: DUP1
00002635: MLOAD
00002636: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002653: AND
00002654: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002675: OR
00002676: DUP2
00002677: MSTORE
00002678: DUP3
00002679: MLOAD
0000267a: PUSH1 0x00
0000267c: SWAP4
0000267d: SWAP3
0000267e: DUP5
0000267f: SWAP3
00002680: DUP4
00002681: SWAP3
00002682: DUP4
00002683: SWAP3
00002684: SWAP2
00002685: DUP4
00002686: SWAP2
00002687: SWAP1
00002688: DUP11
00002689: PUSH2 0x7530
0000268c: STATICCALL
0000268d: SWAP3
0000268e: POP
0000268f: RETURNDATASIZE
00002690: SWAP2
00002691: POP
00002692: PUSH1 0x00
00002694: MLOAD
00002695: SWAP1
00002696: POP
00002697: DUP3
00002698: DUP1
00002699: ISZERO
0000269a: PUSH2 0x26a4
0000269d: JUMPI
0000269e: POP
0000269f: PUSH1 0x20
000026a1: DUP3
000026a2: LT
000026a3: ISZERO
000026a4: JUMPDEST
000026a5: DUP1
000026a6: ISZERO
000026a7: PUSH2 0x26b0
000026aa: JUMPI
000026ab: POP
000026ac: PUSH1 0x00
000026ae: DUP2
000026af: GT
000026b0: JUMPDEST
000026b1: SWAP8
000026b2: SWAP7
000026b3: POP
000026b4: POP
000026b5: POP
000026b6: POP
000026b7: POP
000026b8: POP
000026b9: POP
000026ba: JUMP
000026bb: JUMPDEST
000026bc: PUSH1 0x60
000026be: PUSH2 0x26ca
000026c1: DUP5
000026c2: DUP5
000026c3: PUSH1 0x00
000026c5: DUP6
000026c6: PUSH2 0x274a
000026c9: JUMP
000026ca: JUMPDEST
000026cb: SWAP5
000026cc: SWAP4
000026cd: POP
000026ce: POP
000026cf: POP
000026d0: POP
000026d1: JUMP
000026d2: JUMPDEST
000026d3: DUP4
000026d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026e9: AND
000026ea: DUP6
000026eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002700: AND
00002701: DUP8
00002702: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002717: AND
00002718: PUSH32 0x7ff126db8024424bbfd9826e8ab82ff59136289ea440b04b39a0df1b03b9cabf
00002739: DUP7
0000273a: DUP7
0000273b: DUP7
0000273c: PUSH1 0x40
0000273e: MLOAD
0000273f: PUSH2 0x2323
00002742: SWAP4
00002743: SWAP3
00002744: SWAP2
00002745: SWAP1
00002746: PUSH2 0x2e85
00002749: JUMP
0000274a: JUMPDEST
0000274b: PUSH1 0x60
0000274d: DUP3
0000274e: SELFBALANCE
0000274f: LT
00002750: ISZERO
00002751: PUSH2 0x27dc
00002754: JUMPI
00002755: PUSH1 0x40
00002757: MLOAD
00002758: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002779: DUP2
0000277a: MSTORE
0000277b: PUSH1 0x20
0000277d: PUSH1 0x04
0000277f: DUP3
00002780: ADD
00002781: MSTORE
00002782: PUSH1 0x26
00002784: PUSH1 0x24
00002786: DUP3
00002787: ADD
00002788: MSTORE
00002789: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000027aa: PUSH1 0x44
000027ac: DUP3
000027ad: ADD
000027ae: MSTORE
000027af: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
000027d0: PUSH1 0x64
000027d2: DUP3
000027d3: ADD
000027d4: MSTORE
000027d5: PUSH1 0x84
000027d7: ADD
000027d8: PUSH2 0x0214
000027db: JUMP
000027dc: JUMPDEST
000027dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f2: DUP6
000027f3: AND
000027f4: EXTCODESIZE
000027f5: PUSH2 0x285a
000027f8: JUMPI
000027f9: PUSH1 0x40
000027fb: MLOAD
000027fc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000281d: DUP2
0000281e: MSTORE
0000281f: PUSH1 0x20
00002821: PUSH1 0x04
00002823: DUP3
00002824: ADD
00002825: MSTORE
00002826: PUSH1 0x1d
00002828: PUSH1 0x24
0000282a: DUP3
0000282b: ADD
0000282c: MSTORE
0000282d: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000284e: PUSH1 0x44
00002850: DUP3
00002851: ADD
00002852: MSTORE
00002853: PUSH1 0x64
00002855: ADD
00002856: PUSH2 0x0214
00002859: JUMP
0000285a: JUMPDEST
0000285b: PUSH1 0x00
0000285d: DUP1
0000285e: DUP7
0000285f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002874: AND
00002875: DUP6
00002876: DUP8
00002877: PUSH1 0x40
00002879: MLOAD
0000287a: PUSH2 0x2883
0000287d: SWAP2
0000287e: SWAP1
0000287f: PUSH2 0x2f84
00002882: JUMP
00002883: JUMPDEST
00002884: PUSH1 0x00
00002886: PUSH1 0x40
00002888: MLOAD
00002889: DUP1
0000288a: DUP4
0000288b: SUB
0000288c: DUP2
0000288d: DUP6
0000288e: DUP8
0000288f: GAS
00002890: CALL
00002891: SWAP3
00002892: POP
00002893: POP
00002894: POP
00002895: RETURNDATASIZE
00002896: DUP1
00002897: PUSH1 0x00
00002899: DUP2
0000289a: EQ
0000289b: PUSH2 0x28c0
0000289e: JUMPI
0000289f: PUSH1 0x40
000028a1: MLOAD
000028a2: SWAP2
000028a3: POP
000028a4: PUSH1 0x1f
000028a6: NOT
000028a7: PUSH1 0x3f
000028a9: RETURNDATASIZE
000028aa: ADD
000028ab: AND
000028ac: DUP3
000028ad: ADD
000028ae: PUSH1 0x40
000028b0: MSTORE
000028b1: RETURNDATASIZE
000028b2: DUP3
000028b3: MSTORE
000028b4: RETURNDATASIZE
000028b5: PUSH1 0x00
000028b7: PUSH1 0x20
000028b9: DUP5
000028ba: ADD
000028bb: RETURNDATACOPY
000028bc: PUSH2 0x28c5
000028bf: JUMP
000028c0: JUMPDEST
000028c1: PUSH1 0x60
000028c3: SWAP2
000028c4: POP
000028c5: JUMPDEST
000028c6: POP
000028c7: SWAP2
000028c8: POP
000028c9: SWAP2
000028ca: POP
000028cb: PUSH2 0x26b0
000028ce: DUP3
000028cf: DUP3
000028d0: DUP7
000028d1: PUSH1 0x60
000028d3: DUP4
000028d4: ISZERO
000028d5: PUSH2 0x28df
000028d8: JUMPI
000028d9: POP
000028da: DUP2
000028db: PUSH2 0x2198
000028de: JUMP
000028df: JUMPDEST
000028e0: DUP3
000028e1: MLOAD
000028e2: ISZERO
000028e3: PUSH2 0x28ef
000028e6: JUMPI
000028e7: DUP3
000028e8: MLOAD
000028e9: DUP1
000028ea: DUP5
000028eb: PUSH1 0x20
000028ed: ADD
000028ee: REVERT
000028ef: JUMPDEST
000028f0: DUP2
000028f1: PUSH1 0x40
000028f3: MLOAD
000028f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002915: DUP2
00002916: MSTORE
00002917: PUSH1 0x04
00002919: ADD
0000291a: PUSH2 0x0214
0000291d: SWAP2
0000291e: SWAP1
0000291f: PUSH2 0x2bf5
00002922: JUMP
00002923: JUMPDEST
00002924: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002939: DUP2
0000293a: AND
0000293b: DUP2
0000293c: EQ
0000293d: PUSH2 0x2945
00002940: JUMPI
00002941: PUSH1 0x00
00002943: DUP1
00002944: REVERT
00002945: JUMPDEST
00002946: POP
00002947: JUMP
00002948: JUMPDEST
00002949: PUSH1 0x00
0000294b: DUP1
0000294c: DUP4
0000294d: PUSH1 0x1f
0000294f: DUP5
00002950: ADD
00002951: SLT
00002952: PUSH2 0x295a
00002955: JUMPI
00002956: PUSH1 0x00
00002958: DUP1
00002959: REVERT
0000295a: JUMPDEST
0000295b: POP
0000295c: DUP2
0000295d: CALLDATALOAD
0000295e: PUSH8 0xffffffffffffffff
00002967: DUP2
00002968: GT
00002969: ISZERO
0000296a: PUSH2 0x2972
0000296d: JUMPI
0000296e: PUSH1 0x00
00002970: DUP1
00002971: REVERT
00002972: JUMPDEST
00002973: PUSH1 0x20
00002975: DUP4
00002976: ADD
00002977: SWAP2
00002978: POP
00002979: DUP4
0000297a: PUSH1 0x20
0000297c: DUP3
0000297d: DUP6
0000297e: ADD
0000297f: ADD
00002980: GT
00002981: ISZERO
00002982: PUSH2 0x298a
00002985: JUMPI
00002986: PUSH1 0x00
00002988: DUP1
00002989: REVERT
0000298a: JUMPDEST
0000298b: SWAP3
0000298c: POP
0000298d: SWAP3
0000298e: SWAP1
0000298f: POP
00002990: JUMP
00002991: JUMPDEST
00002992: PUSH1 0x00
00002994: DUP1
00002995: PUSH1 0x00
00002997: DUP1
00002998: PUSH1 0x00
0000299a: DUP1
0000299b: PUSH1 0x00
0000299d: PUSH1 0xc0
0000299f: DUP9
000029a0: DUP11
000029a1: SUB
000029a2: SLT
000029a3: ISZERO
000029a4: PUSH2 0x29ac
000029a7: JUMPI
000029a8: PUSH1 0x00
000029aa: DUP1
000029ab: REVERT
000029ac: JUMPDEST
000029ad: DUP8
000029ae: CALLDATALOAD
000029af: PUSH2 0x29b7
000029b2: DUP2
000029b3: PUSH2 0x2923
000029b6: JUMP
000029b7: JUMPDEST
000029b8: SWAP7
000029b9: POP
000029ba: PUSH1 0x20
000029bc: DUP9
000029bd: ADD
000029be: CALLDATALOAD
000029bf: PUSH2 0x29c7
000029c2: DUP2
000029c3: PUSH2 0x2923
000029c6: JUMP
000029c7: JUMPDEST
000029c8: SWAP6
000029c9: POP
000029ca: PUSH1 0x40
000029cc: DUP9
000029cd: ADD
000029ce: CALLDATALOAD
000029cf: PUSH2 0x29d7
000029d2: DUP2
000029d3: PUSH2 0x2923
000029d6: JUMP
000029d7: JUMPDEST
000029d8: SWAP5
000029d9: POP
000029da: PUSH1 0x60
000029dc: DUP9
000029dd: ADD
000029de: CALLDATALOAD
000029df: PUSH2 0x29e7
000029e2: DUP2
000029e3: PUSH2 0x2923
000029e6: JUMP
000029e7: JUMPDEST
000029e8: SWAP4
000029e9: POP
000029ea: PUSH1 0x80
000029ec: DUP9
000029ed: ADD
000029ee: CALLDATALOAD
000029ef: SWAP3
000029f0: POP
000029f1: PUSH1 0xa0
000029f3: DUP9
000029f4: ADD
000029f5: CALLDATALOAD
000029f6: PUSH8 0xffffffffffffffff
000029ff: DUP2
00002a00: GT
00002a01: ISZERO
00002a02: PUSH2 0x2a0a
00002a05: JUMPI
00002a06: PUSH1 0x00
00002a08: DUP1
00002a09: REVERT
00002a0a: JUMPDEST
00002a0b: PUSH2 0x2a16
00002a0e: DUP11
00002a0f: DUP3
00002a10: DUP12
00002a11: ADD
00002a12: PUSH2 0x2948
00002a15: JUMP
00002a16: JUMPDEST
00002a17: SWAP9
00002a18: SWAP12
00002a19: SWAP8
00002a1a: SWAP11
00002a1b: POP
00002a1c: SWAP6
00002a1d: SWAP9
00002a1e: POP
00002a1f: SWAP4
00002a20: SWAP7
00002a21: SWAP3
00002a22: SWAP6
00002a23: SWAP3
00002a24: SWAP4
00002a25: POP
00002a26: POP
00002a27: POP
00002a28: JUMP
00002a29: JUMPDEST
00002a2a: DUP1
00002a2b: CALLDATALOAD
00002a2c: PUSH4 0xffffffff
00002a31: DUP2
00002a32: AND
00002a33: DUP2
00002a34: EQ
00002a35: PUSH2 0x2a3d
00002a38: JUMPI
00002a39: PUSH1 0x00
00002a3b: DUP1
00002a3c: REVERT
00002a3d: JUMPDEST
00002a3e: SWAP2
00002a3f: SWAP1
00002a40: POP
00002a41: JUMP
00002a42: JUMPDEST
00002a43: PUSH1 0x00
00002a45: DUP1
00002a46: PUSH1 0x00
00002a48: PUSH1 0x40
00002a4a: DUP5
00002a4b: DUP7
00002a4c: SUB
00002a4d: SLT
00002a4e: ISZERO
00002a4f: PUSH2 0x2a57
00002a52: JUMPI
00002a53: PUSH1 0x00
00002a55: DUP1
00002a56: REVERT
00002a57: JUMPDEST
00002a58: PUSH2 0x2a60
00002a5b: DUP5
00002a5c: PUSH2 0x2a29
00002a5f: JUMP
00002a60: JUMPDEST
00002a61: SWAP3
00002a62: POP
00002a63: PUSH1 0x20
00002a65: DUP5
00002a66: ADD
00002a67: CALLDATALOAD
00002a68: PUSH8 0xffffffffffffffff
00002a71: DUP2
00002a72: GT
00002a73: ISZERO
00002a74: PUSH2 0x2a7c
00002a77: JUMPI
00002a78: PUSH1 0x00
00002a7a: DUP1
00002a7b: REVERT
00002a7c: JUMPDEST
00002a7d: PUSH2 0x2a88
00002a80: DUP7
00002a81: DUP3
00002a82: DUP8
00002a83: ADD
00002a84: PUSH2 0x2948
00002a87: JUMP
00002a88: JUMPDEST
00002a89: SWAP5
00002a8a: SWAP8
00002a8b: SWAP1
00002a8c: SWAP7
00002a8d: POP
00002a8e: SWAP4
00002a8f: SWAP5
00002a90: POP
00002a91: POP
00002a92: POP
00002a93: POP
00002a94: JUMP
00002a95: JUMPDEST
00002a96: PUSH1 0x00
00002a98: DUP1
00002a99: PUSH1 0x00
00002a9b: DUP1
00002a9c: PUSH1 0x00
00002a9e: PUSH1 0x80
00002aa0: DUP7
00002aa1: DUP9
00002aa2: SUB
00002aa3: SLT
00002aa4: ISZERO
00002aa5: PUSH2 0x2aad
00002aa8: JUMPI
00002aa9: PUSH1 0x00
00002aab: DUP1
00002aac: REVERT
00002aad: JUMPDEST
00002aae: DUP6
00002aaf: CALLDATALOAD
00002ab0: PUSH2 0x2ab8
00002ab3: DUP2
00002ab4: PUSH2 0x2923
00002ab7: JUMP
00002ab8: JUMPDEST
00002ab9: SWAP5
00002aba: POP
00002abb: PUSH1 0x20
00002abd: DUP7
00002abe: ADD
00002abf: CALLDATALOAD
00002ac0: PUSH2 0x2ac8
00002ac3: DUP2
00002ac4: PUSH2 0x2923
00002ac7: JUMP
00002ac8: JUMPDEST
00002ac9: SWAP4
00002aca: POP
00002acb: PUSH1 0x40
00002acd: DUP7
00002ace: ADD
00002acf: CALLDATALOAD
00002ad0: SWAP3
00002ad1: POP
00002ad2: PUSH1 0x60
00002ad4: DUP7
00002ad5: ADD
00002ad6: CALLDATALOAD
00002ad7: PUSH8 0xffffffffffffffff
00002ae0: DUP2
00002ae1: GT
00002ae2: ISZERO
00002ae3: PUSH2 0x2aeb
00002ae6: JUMPI
00002ae7: PUSH1 0x00
00002ae9: DUP1
00002aea: REVERT
00002aeb: JUMPDEST
00002aec: PUSH2 0x2af7
00002aef: DUP9
00002af0: DUP3
00002af1: DUP10
00002af2: ADD
00002af3: PUSH2 0x2948
00002af6: JUMP
00002af7: JUMPDEST
00002af8: SWAP7
00002af9: SWAP10
00002afa: SWAP6
00002afb: SWAP9
00002afc: POP
00002afd: SWAP4
00002afe: SWAP7
00002aff: POP
00002b00: SWAP3
00002b01: SWAP5
00002b02: SWAP4
00002b03: SWAP3
00002b04: POP
00002b05: POP
00002b06: POP
00002b07: JUMP
00002b08: JUMPDEST
00002b09: PUSH1 0x00
00002b0b: DUP1
00002b0c: PUSH1 0x00
00002b0e: DUP1
00002b0f: PUSH1 0x00
00002b11: DUP1
00002b12: PUSH1 0x00
00002b14: PUSH1 0xc0
00002b16: DUP9
00002b17: DUP11
00002b18: SUB
00002b19: SLT
00002b1a: ISZERO
00002b1b: PUSH2 0x2b23
00002b1e: JUMPI
00002b1f: PUSH1 0x00
00002b21: DUP1
00002b22: REVERT
00002b23: JUMPDEST
00002b24: DUP8
00002b25: CALLDATALOAD
00002b26: PUSH2 0x2b2e
00002b29: DUP2
00002b2a: PUSH2 0x2923
00002b2d: JUMP
00002b2e: JUMPDEST
00002b2f: SWAP7
00002b30: POP
00002b31: PUSH1 0x20
00002b33: DUP9
00002b34: ADD
00002b35: CALLDATALOAD
00002b36: PUSH2 0x2b3e
00002b39: DUP2
00002b3a: PUSH2 0x2923
00002b3d: JUMP
00002b3e: JUMPDEST
00002b3f: SWAP6
00002b40: POP
00002b41: PUSH1 0x40
00002b43: DUP9
00002b44: ADD
00002b45: CALLDATALOAD
00002b46: PUSH2 0x2b4e
00002b49: DUP2
00002b4a: PUSH2 0x2923
00002b4d: JUMP
00002b4e: JUMPDEST
00002b4f: SWAP5
00002b50: POP
00002b51: PUSH1 0x60
00002b53: DUP9
00002b54: ADD
00002b55: CALLDATALOAD
00002b56: SWAP4
00002b57: POP
00002b58: PUSH2 0x2b63
00002b5b: PUSH1 0x80
00002b5d: DUP10
00002b5e: ADD
00002b5f: PUSH2 0x2a29
00002b62: JUMP
00002b63: JUMPDEST
00002b64: SWAP3
00002b65: POP
00002b66: PUSH1 0xa0
00002b68: DUP9
00002b69: ADD
00002b6a: CALLDATALOAD
00002b6b: PUSH8 0xffffffffffffffff
00002b74: DUP2
00002b75: GT
00002b76: ISZERO
00002b77: PUSH2 0x2a0a
00002b7a: JUMPI
00002b7b: PUSH1 0x00
00002b7d: DUP1
00002b7e: REVERT
00002b7f: JUMPDEST
00002b80: PUSH1 0x00
00002b82: JUMPDEST
00002b83: DUP4
00002b84: DUP2
00002b85: LT
00002b86: ISZERO
00002b87: PUSH2 0x2b9a
00002b8a: JUMPI
00002b8b: DUP2
00002b8c: DUP2
00002b8d: ADD
00002b8e: MLOAD
00002b8f: DUP4
00002b90: DUP3
00002b91: ADD
00002b92: MSTORE
00002b93: PUSH1 0x20
00002b95: ADD
00002b96: PUSH2 0x2b82
00002b99: JUMP
00002b9a: JUMPDEST
00002b9b: DUP4
00002b9c: DUP2
00002b9d: GT
00002b9e: ISZERO
00002b9f: PUSH2 0x05b2
00002ba2: JUMPI
00002ba3: POP
00002ba4: POP
00002ba5: PUSH1 0x00
00002ba7: SWAP2
00002ba8: ADD
00002ba9: MSTORE
00002baa: JUMP
00002bab: JUMPDEST
00002bac: PUSH1 0x00
00002bae: DUP2
00002baf: MLOAD
00002bb0: DUP1
00002bb1: DUP5
00002bb2: MSTORE
00002bb3: PUSH2 0x2bc3
00002bb6: DUP2
00002bb7: PUSH1 0x20
00002bb9: DUP7
00002bba: ADD
00002bbb: PUSH1 0x20
00002bbd: DUP7
00002bbe: ADD
00002bbf: PUSH2 0x2b7f
00002bc2: JUMP
00002bc3: JUMPDEST
00002bc4: PUSH1 0x1f
00002bc6: ADD
00002bc7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002be8: AND
00002be9: SWAP3
00002bea: SWAP1
00002beb: SWAP3
00002bec: ADD
00002bed: PUSH1 0x20
00002bef: ADD
00002bf0: SWAP3
00002bf1: SWAP2
00002bf2: POP
00002bf3: POP
00002bf4: JUMP
00002bf5: JUMPDEST
00002bf6: PUSH1 0x20
00002bf8: DUP2
00002bf9: MSTORE
00002bfa: PUSH1 0x00
00002bfc: PUSH2 0x2198
00002bff: PUSH1 0x20
00002c01: DUP4
00002c02: ADD
00002c03: DUP5
00002c04: PUSH2 0x2bab
00002c07: JUMP
00002c08: JUMPDEST
00002c09: PUSH1 0x00
00002c0b: DUP1
00002c0c: PUSH1 0x00
00002c0e: DUP1
00002c0f: PUSH1 0x00
00002c11: DUP1
00002c12: PUSH1 0xa0
00002c14: DUP8
00002c15: DUP10
00002c16: SUB
00002c17: SLT
00002c18: ISZERO
00002c19: PUSH2 0x2c21
00002c1c: JUMPI
00002c1d: PUSH1 0x00
00002c1f: DUP1
00002c20: REVERT
00002c21: JUMPDEST
00002c22: DUP7
00002c23: CALLDATALOAD
00002c24: PUSH2 0x2c2c
00002c27: DUP2
00002c28: PUSH2 0x2923
00002c2b: JUMP
00002c2c: JUMPDEST
00002c2d: SWAP6
00002c2e: POP
00002c2f: PUSH1 0x20
00002c31: DUP8
00002c32: ADD
00002c33: CALLDATALOAD
00002c34: PUSH2 0x2c3c
00002c37: DUP2
00002c38: PUSH2 0x2923
00002c3b: JUMP
00002c3c: JUMPDEST
00002c3d: SWAP5
00002c3e: POP
00002c3f: PUSH1 0x40
00002c41: DUP8
00002c42: ADD
00002c43: CALLDATALOAD
00002c44: SWAP4
00002c45: POP
00002c46: PUSH2 0x2c51
00002c49: PUSH1 0x60
00002c4b: DUP9
00002c4c: ADD
00002c4d: PUSH2 0x2a29
00002c50: JUMP
00002c51: JUMPDEST
00002c52: SWAP3
00002c53: POP
00002c54: PUSH1 0x80
00002c56: DUP8
00002c57: ADD
00002c58: CALLDATALOAD
00002c59: PUSH8 0xffffffffffffffff
00002c62: DUP2
00002c63: GT
00002c64: ISZERO
00002c65: PUSH2 0x2c6d
00002c68: JUMPI
00002c69: PUSH1 0x00
00002c6b: DUP1
00002c6c: REVERT
00002c6d: JUMPDEST
00002c6e: PUSH2 0x2c79
00002c71: DUP10
00002c72: DUP3
00002c73: DUP11
00002c74: ADD
00002c75: PUSH2 0x2948
00002c78: JUMP
00002c79: JUMPDEST
00002c7a: SWAP8
00002c7b: SWAP11
00002c7c: SWAP7
00002c7d: SWAP10
00002c7e: POP
00002c7f: SWAP5
00002c80: SWAP8
00002c81: POP
00002c82: SWAP3
00002c83: SWAP6
00002c84: SWAP4
00002c85: SWAP5
00002c86: SWAP3
00002c87: POP
00002c88: POP
00002c89: POP
00002c8a: JUMP
00002c8b: JUMPDEST
00002c8c: PUSH1 0x00
00002c8e: DUP1
00002c8f: PUSH1 0x40
00002c91: DUP4
00002c92: DUP6
00002c93: SUB
00002c94: SLT
00002c95: ISZERO
00002c96: PUSH2 0x2c9e
00002c99: JUMPI
00002c9a: PUSH1 0x00
00002c9c: DUP1
00002c9d: REVERT
00002c9e: JUMPDEST
00002c9f: DUP3
00002ca0: CALLDATALOAD
00002ca1: PUSH2 0x2ca9
00002ca4: DUP2
00002ca5: PUSH2 0x2923
00002ca8: JUMP
00002ca9: JUMPDEST
00002caa: SWAP2
00002cab: POP
00002cac: PUSH1 0x20
00002cae: DUP4
00002caf: ADD
00002cb0: CALLDATALOAD
00002cb1: PUSH2 0x2cb9
00002cb4: DUP2
00002cb5: PUSH2 0x2923
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: DUP1
00002cbb: SWAP2
00002cbc: POP
00002cbd: POP
00002cbe: SWAP3
00002cbf: POP
00002cc0: SWAP3
00002cc1: SWAP1
00002cc2: POP
00002cc3: JUMP
00002cc4: JUMPDEST
00002cc5: PUSH1 0x00
00002cc7: DUP1
00002cc8: PUSH1 0x00
00002cca: DUP1
00002ccb: PUSH1 0x60
00002ccd: DUP6
00002cce: DUP8
00002ccf: SUB
00002cd0: SLT
00002cd1: ISZERO
00002cd2: PUSH2 0x2cda
00002cd5: JUMPI
00002cd6: PUSH1 0x00
00002cd8: DUP1
00002cd9: REVERT
00002cda: JUMPDEST
00002cdb: DUP5
00002cdc: CALLDATALOAD
00002cdd: PUSH2 0x2ce5
00002ce0: DUP2
00002ce1: PUSH2 0x2923
00002ce4: JUMP
00002ce5: JUMPDEST
00002ce6: SWAP4
00002ce7: POP
00002ce8: PUSH2 0x2cf3
00002ceb: PUSH1 0x20
00002ced: DUP7
00002cee: ADD
00002cef: PUSH2 0x2a29
00002cf2: JUMP
00002cf3: JUMPDEST
00002cf4: SWAP3
00002cf5: POP
00002cf6: PUSH1 0x40
00002cf8: DUP6
00002cf9: ADD
00002cfa: CALLDATALOAD
00002cfb: PUSH8 0xffffffffffffffff
00002d04: DUP2
00002d05: GT
00002d06: ISZERO
00002d07: PUSH2 0x2d0f
00002d0a: JUMPI
00002d0b: PUSH1 0x00
00002d0d: DUP1
00002d0e: REVERT
00002d0f: JUMPDEST
00002d10: PUSH2 0x2d1b
00002d13: DUP8
00002d14: DUP3
00002d15: DUP9
00002d16: ADD
00002d17: PUSH2 0x2948
00002d1a: JUMP
00002d1b: JUMPDEST
00002d1c: SWAP6
00002d1d: SWAP9
00002d1e: SWAP5
00002d1f: SWAP8
00002d20: POP
00002d21: SWAP6
00002d22: POP
00002d23: POP
00002d24: POP
00002d25: POP
00002d26: JUMP
00002d27: JUMPDEST
00002d28: PUSH1 0x00
00002d2a: DUP1
00002d2b: PUSH1 0x00
00002d2d: PUSH1 0x60
00002d2f: DUP5
00002d30: DUP7
00002d31: SUB
00002d32: SLT
00002d33: ISZERO
00002d34: PUSH2 0x2d3c
00002d37: JUMPI
00002d38: PUSH1 0x00
00002d3a: DUP1
00002d3b: REVERT
00002d3c: JUMPDEST
00002d3d: DUP4
00002d3e: CALLDATALOAD
00002d3f: PUSH2 0x2d47
00002d42: DUP2
00002d43: PUSH2 0x2923
00002d46: JUMP
00002d47: JUMPDEST
00002d48: SWAP3
00002d49: POP
00002d4a: PUSH1 0x20
00002d4c: DUP5
00002d4d: ADD
00002d4e: CALLDATALOAD
00002d4f: PUSH2 0x2d57
00002d52: DUP2
00002d53: PUSH2 0x2923
00002d56: JUMP
00002d57: JUMPDEST
00002d58: SWAP2
00002d59: POP
00002d5a: PUSH1 0x40
00002d5c: DUP5
00002d5d: ADD
00002d5e: CALLDATALOAD
00002d5f: PUSH2 0x2d67
00002d62: DUP2
00002d63: PUSH2 0x2923
00002d66: JUMP
00002d67: JUMPDEST
00002d68: DUP1
00002d69: SWAP2
00002d6a: POP
00002d6b: POP
00002d6c: SWAP3
00002d6d: POP
00002d6e: SWAP3
00002d6f: POP
00002d70: SWAP3
00002d71: JUMP
00002d72: JUMPDEST
00002d73: PUSH1 0x00
00002d75: PUSH1 0x20
00002d77: DUP3
00002d78: DUP5
00002d79: SUB
00002d7a: SLT
00002d7b: ISZERO
00002d7c: PUSH2 0x2d84
00002d7f: JUMPI
00002d80: PUSH1 0x00
00002d82: DUP1
00002d83: REVERT
00002d84: JUMPDEST
00002d85: DUP2
00002d86: MLOAD
00002d87: PUSH2 0x2198
00002d8a: DUP2
00002d8b: PUSH2 0x2923
00002d8e: JUMP
00002d8f: JUMPDEST
00002d90: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002db1: PUSH1 0x00
00002db3: MSTORE
00002db4: PUSH1 0x11
00002db6: PUSH1 0x04
00002db8: MSTORE
00002db9: PUSH1 0x24
00002dbb: PUSH1 0x00
00002dbd: REVERT
00002dbe: JUMPDEST
00002dbf: PUSH1 0x00
00002dc1: DUP3
00002dc2: DUP3
00002dc3: LT
00002dc4: ISZERO
00002dc5: PUSH2 0x2dd0
00002dc8: JUMPI
00002dc9: PUSH2 0x2dd0
00002dcc: PUSH2 0x2d8f
00002dcf: JUMP
00002dd0: JUMPDEST
00002dd1: POP
00002dd2: SUB
00002dd3: SWAP1
00002dd4: JUMP
00002dd5: JUMPDEST
00002dd6: PUSH1 0x00
00002dd8: PUSH1 0x20
00002dda: DUP3
00002ddb: DUP5
00002ddc: SUB
00002ddd: SLT
00002dde: ISZERO
00002ddf: PUSH2 0x2de7
00002de2: JUMPI
00002de3: PUSH1 0x00
00002de5: DUP1
00002de6: REVERT
00002de7: JUMPDEST
00002de8: DUP2
00002de9: MLOAD
00002dea: DUP1
00002deb: ISZERO
00002dec: ISZERO
00002ded: DUP2
00002dee: EQ
00002def: PUSH2 0x2198
00002df2: JUMPI
00002df3: PUSH1 0x00
00002df5: DUP1
00002df6: REVERT
00002df7: JUMPDEST
00002df8: PUSH1 0x00
00002dfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e0f: DUP1
00002e10: DUP8
00002e11: AND
00002e12: DUP4
00002e13: MSTORE
00002e14: DUP1
00002e15: DUP7
00002e16: AND
00002e17: PUSH1 0x20
00002e19: DUP5
00002e1a: ADD
00002e1b: MSTORE
00002e1c: POP
00002e1d: DUP4
00002e1e: PUSH1 0x40
00002e20: DUP4
00002e21: ADD
00002e22: MSTORE
00002e23: PUSH1 0x80
00002e25: PUSH1 0x60
00002e27: DUP4
00002e28: ADD
00002e29: MSTORE
00002e2a: PUSH2 0x2e36
00002e2d: PUSH1 0x80
00002e2f: DUP4
00002e30: ADD
00002e31: DUP5
00002e32: PUSH2 0x2bab
00002e35: JUMP
00002e36: JUMPDEST
00002e37: SWAP7
00002e38: SWAP6
00002e39: POP
00002e3a: POP
00002e3b: POP
00002e3c: POP
00002e3d: POP
00002e3e: POP
00002e3f: JUMP
00002e40: JUMPDEST
00002e41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e56: DUP5
00002e57: AND
00002e58: DUP2
00002e59: MSTORE
00002e5a: PUSH1 0x60
00002e5c: PUSH1 0x20
00002e5e: DUP3
00002e5f: ADD
00002e60: MSTORE
00002e61: PUSH1 0x00
00002e63: PUSH2 0x2e6f
00002e66: PUSH1 0x60
00002e68: DUP4
00002e69: ADD
00002e6a: DUP6
00002e6b: PUSH2 0x2bab
00002e6e: JUMP
00002e6f: JUMPDEST
00002e70: SWAP1
00002e71: POP
00002e72: PUSH4 0xffffffff
00002e77: DUP4
00002e78: AND
00002e79: PUSH1 0x40
00002e7b: DUP4
00002e7c: ADD
00002e7d: MSTORE
00002e7e: SWAP5
00002e7f: SWAP4
00002e80: POP
00002e81: POP
00002e82: POP
00002e83: POP
00002e84: JUMP
00002e85: JUMPDEST
00002e86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e9b: DUP5
00002e9c: AND
00002e9d: DUP2
00002e9e: MSTORE
00002e9f: DUP3
00002ea0: PUSH1 0x20
00002ea2: DUP3
00002ea3: ADD
00002ea4: MSTORE
00002ea5: PUSH1 0x60
00002ea7: PUSH1 0x40
00002ea9: DUP3
00002eaa: ADD
00002eab: MSTORE
00002eac: PUSH1 0x00
00002eae: PUSH2 0x2eba
00002eb1: PUSH1 0x60
00002eb3: DUP4
00002eb4: ADD
00002eb5: DUP5
00002eb6: PUSH2 0x2bab
00002eb9: JUMP
00002eba: JUMPDEST
00002ebb: SWAP6
00002ebc: SWAP5
00002ebd: POP
00002ebe: POP
00002ebf: POP
00002ec0: POP
00002ec1: POP
00002ec2: JUMP
00002ec3: JUMPDEST
00002ec4: DUP3
00002ec5: DUP2
00002ec6: MSTORE
00002ec7: PUSH1 0x40
00002ec9: PUSH1 0x20
00002ecb: DUP3
00002ecc: ADD
00002ecd: MSTORE
00002ece: PUSH1 0x00
00002ed0: PUSH2 0x26ca
00002ed3: PUSH1 0x40
00002ed5: DUP4
00002ed6: ADD
00002ed7: DUP5
00002ed8: PUSH2 0x2bab
00002edb: JUMP
00002edc: JUMPDEST
00002edd: PUSH1 0x00
00002edf: DUP3
00002ee0: NOT
00002ee1: DUP3
00002ee2: GT
00002ee3: ISZERO
00002ee4: PUSH2 0x2eef
00002ee7: JUMPI
00002ee8: PUSH2 0x2eef
00002eeb: PUSH2 0x2d8f
00002eee: JUMP
00002eef: JUMPDEST
00002ef0: POP
00002ef1: ADD
00002ef2: SWAP1
00002ef3: JUMP
00002ef4: JUMPDEST
00002ef5: PUSH1 0x00
00002ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f0c: DUP1
00002f0d: DUP10
00002f0e: AND
00002f0f: DUP4
00002f10: MSTORE
00002f11: DUP1
00002f12: DUP9
00002f13: AND
00002f14: PUSH1 0x20
00002f16: DUP5
00002f17: ADD
00002f18: MSTORE
00002f19: DUP1
00002f1a: DUP8
00002f1b: AND
00002f1c: PUSH1 0x40
00002f1e: DUP5
00002f1f: ADD
00002f20: MSTORE
00002f21: DUP1
00002f22: DUP7
00002f23: AND
00002f24: PUSH1 0x60
00002f26: DUP5
00002f27: ADD
00002f28: MSTORE
00002f29: POP
00002f2a: DUP4
00002f2b: PUSH1 0x80
00002f2d: DUP4
00002f2e: ADD
00002f2f: MSTORE
00002f30: PUSH1 0xc0
00002f32: PUSH1 0xa0
00002f34: DUP4
00002f35: ADD
00002f36: MSTORE
00002f37: PUSH2 0x2f43
00002f3a: PUSH1 0xc0
00002f3c: DUP4
00002f3d: ADD
00002f3e: DUP5
00002f3f: PUSH2 0x2bab
00002f42: JUMP
00002f43: JUMPDEST
00002f44: SWAP9
00002f45: SWAP8
00002f46: POP
00002f47: POP
00002f48: POP
00002f49: POP
00002f4a: POP
00002f4b: POP
00002f4c: POP
00002f4d: POP
00002f4e: JUMP
00002f4f: JUMPDEST
00002f50: PUSH1 0x00
00002f52: DUP1
00002f53: PUSH1 0x40
00002f55: DUP4
00002f56: DUP6
00002f57: SUB
00002f58: SLT
00002f59: ISZERO
00002f5a: PUSH2 0x2f62
00002f5d: JUMPI
00002f5e: PUSH1 0x00
00002f60: DUP1
00002f61: REVERT
00002f62: JUMPDEST
00002f63: DUP3
00002f64: MLOAD
00002f65: PUSH2 0x2f6d
00002f68: DUP2
00002f69: PUSH2 0x2923
00002f6c: JUMP
00002f6d: JUMPDEST
00002f6e: PUSH1 0x20
00002f70: DUP5
00002f71: ADD
00002f72: MLOAD
00002f73: SWAP1
00002f74: SWAP3
00002f75: POP
00002f76: PUSH1 0xff
00002f78: DUP2
00002f79: AND
00002f7a: DUP2
00002f7b: EQ
00002f7c: PUSH2 0x2cb9
00002f7f: JUMPI
00002f80: PUSH1 0x00
00002f82: DUP1
00002f83: REVERT
00002f84: JUMPDEST
00002f85: PUSH1 0x00
00002f87: DUP3
00002f88: MLOAD
00002f89: PUSH2 0x2f96
00002f8c: DUP2
00002f8d: DUP5
00002f8e: PUSH1 0x20
00002f90: DUP8
00002f91: ADD
00002f92: PUSH2 0x2b7f
00002f95: JUMP
00002f96: JUMPDEST
00002f97: SWAP2
00002f98: SWAP1
00002f99: SWAP2
00002f9a: ADD
00002f9b: SWAP3
00002f9c: SWAP2
00002f9d: POP
00002f9e: POP
00002f9f: JUMP
00002fa0: INVALID
00002fa1: LOG1
00002fa2: PUSH5 0x736f6c6343
00002fa8: STOP
00002fa9: ADDMOD
00002faa: UNKNOWN(0x0F)
00002fab: STOP
00002fac: EXP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xd90d0f044143f71a3de9f6e31ab0e768d87984e999ef38ac8072f7d68327fc5a
call_targets: 0x4634e74d04992bdd5192cd75897cbd432971aab6
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd90d0f044143f71a3de9f6e31ab0e768d87984e999ef38ac8072f7d68327fc5a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4634e74d04992bdd5192cd75897cbd432971aab6"
    ],
    "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": "0xc0c53b8b",
            "selector": "0xc0c53b8b",
            "calldata_variants": [
                "0xc0c53b8b",
                "0xc0c53b8b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc89701a2",
            "selector": "0xc89701a2",
            "calldata_variants": [
                "0xc89701a2",
                "0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe11013dd",
            "selector": "0xe11013dd",
            "calldata_variants": [
                "0xe11013dd",
                "0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9a2ac6d5",
            "selector": "0x9a2ac6d5",
            "calldata_variants": [
                "0x9a2ac6d5",
                "0x9a2ac6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9f9e675",
            "selector": "0xa9f9e675",
            "calldata_variants": [
                "0xa9f9e675",
                "0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f601f66",
            "selector": "0x8f601f66",
            "calldata_variants": [
                "0x8f601f66",
                "0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91c49bf8",
            "selector": "0x91c49bf8",
            "calldata_variants": [
                "0x91c49bf8",
                "0x91c49bf80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2281,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6284,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7246,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [],
    "untrusted_call_count": 6
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xd90d0f044143f71a3de9f6e31ab0e768d87984e999ef38ac8072f7d68327fc5a
call_targets: 0x4634e74d04992bdd5192cd75897cbd432971aab6
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd90d0f044143f71a3de9f6e31ab0e768d87984e999ef38ac8072f7d68327fc5a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4634e74d04992bdd5192cd75897cbd432971aab6"
    ],
    "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": "0xc0c53b8b",
            "selector": "0xc0c53b8b",
            "calldata_variants": [
                "0xc0c53b8b",
                "0xc0c53b8b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc89701a2",
            "selector": "0xc89701a2",
            "calldata_variants": [
                "0xc89701a2",
                "0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe11013dd",
            "selector": "0xe11013dd",
            "calldata_variants": [
                "0xe11013dd",
                "0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9a2ac6d5",
            "selector": "0x9a2ac6d5",
            "calldata_variants": [
                "0x9a2ac6d5",
                "0x9a2ac6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9f9e675",
            "selector": "0xa9f9e675",
            "calldata_variants": [
                "0xa9f9e675",
                "0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f601f66",
            "selector": "0x8f601f66",
            "calldata_variants": [
                "0x8f601f66",
                "0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91c49bf8",
            "selector": "0x91c49bf8",
            "calldata_variants": [
                "0x91c49bf8",
                "0x91c49bf80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2281,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6284,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7246,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 12
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 13
}