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

Analysis Run

1ae8147d-1d35-4e3f-b8f2-1232f5404d7c

failed
Chain ID
1
Address
Block Number
Created
Wed, Dec 24, 2025 12:40 AM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
30140 report.consolidate complete 1 / 1 3 months ago
93439 artifact.fetch failed 1 / 3 2 weeks ago
93440 tool.cast_disasm complete 1 / 3 2 weeks ago
93441 analysis.bundle complete 1 / 3 2 weeks ago
93442 capability.graph complete 1 / 3 2 weeks ago
93443 detector.run complete 1 / 3 2 weeks ago
93444 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No exploitable vulnerabilities identified in the first-party contracts reviewed. Core bridge flows are guarded by messenger-origin checks and use SafeERC20/SafeCall patterns; upgradeable initialization is restricted to proxy admin/owner.
View stderr
[codex:568557] OpenAI Codex v0.77.0 (research preview)
[codex:568557] --------
[codex:568557] workdir: /tmp/codex-multi-levsnlbg
[codex:568557] model: gpt-5.2-codex
[codex:568557] provider: openai
[codex:568557] approval: never
[codex:568557] sandbox: read-only
[codex:568557] reasoning effort: none
[codex:568557] reasoning summaries: auto
[codex:568557] session id: 019b4dcb-1a2e-7c91-a9b4-cef6bdd4928c
[codex:568557] --------
[codex:568557] user
[codex:568557] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:568557] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:568557] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:568557] 
[codex:568557] Scope rules:
[codex:568557] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:568557] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:568557] 
[codex:568557] Output MUST be valid JSON matching the provided schema.
[codex:568557] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:568557] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:568557] 
[codex:568557] Output constraints (IMPORTANT):
[codex:568557] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:568557] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:568557] mcp startup: no servers
[codex:568557] 
[codex:568557] thinking
[codex:568557] **Reading instructions and checking triggers**
[codex:568557] exec
[codex:568557] /bin/bash -lc ls in /tmp/codex-multi-levsnlbg succeeded in 5ms:
[codex:568557] AUDIT_BUNDLE.txt
[codex:568557] codex-output-schema.json
[codex:568557] contracts
[codex:568557] exec
[codex:568557] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-levsnlbg succeeded in 6ms:
[codex:568557] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:568557] 
[codex:568557] ================================================================================
[codex:568557] FILE: contracts/interfaces/L1/IProxyAdminOwnedBase.sol
[codex:568557] ================================================================================
[codex:568557] // SPDX-License-Identifier: MIT
[codex:568557] pragma solidity ^0.8.0;
[codex:568557] 
[codex:568557] import { IProxyAdmin } from "interfaces/universal/IProxyAdmin.sol";
[codex:568557] 
[codex:568557] interface IProxyAdminOwnedBase {
[codex:568557]     error ProxyAdminOwnedBase_NotSharedProxyAdminOwner();
[codex:568557]     error ProxyAdminOwnedBase_NotProxyAdminOwner();
[codex:568557]     error ProxyAdminOwnedBase_NotProxyAdmin();
[codex:568557]     error ProxyAdminOwnedBase_NotProxyAdminOrProxyAdminOwner();
[codex:568557]     error ProxyAdminOwnedBase_ProxyAdminNotFound();
[codex:568557]     error ProxyAdminOwnedBase_NotResolvedDelegateProxy();
[codex:568557] 
[codex:568557]     function proxyAdmin() external view returns (IProxyAdmin);
[codex:568557]     function proxyAdminOwner() external view returns (address);
[codex:568557] 
[codex:568557] thinking
[codex:568557] **Requesting full file content**
[codex:568557] exec
[codex:568557] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-levsnlbg succeeded in 6ms:
[codex:568557] 
[codex:568557]     function __constructor__() external;
[codex:568557] }
[codex:568557] 
[codex:568557] ================================================================================
[codex:568557] FILE: contracts/interfaces/legacy/IAddressManager.sol
[codex:568557] ================================================================================
[codex:568557] // SPDX-License-Identifier: MIT
[codex:568557] pragma solidity ^0.8.0;
[codex:568557] 
[codex:568557] import { IOwnable } from "interfaces/universal/IOwnable.sol";
[codex:568557] 
[codex:568557] /// @title IAddressManager
[codex:568557] /// @notice Interface for the AddressManager contract.
[codex:568557] interface IAddressManager is IOwnable {
[codex:568557]     event AddressSet(string indexed name, address newAddress, address oldAddress);
[codex:568557] 
[codex:568557]     function getAddress(string memory _name) external view returns (address);
[codex:568557]     function setAddress(string memory _name, address _address) external;
[codex:568557] 
[codex:568557] 
[codex:568557] thinking
[codex:568557] **Searching for primary contracts**
[codex:568557] exec
[codex:568557] /bin/bash -lc 'rg -n "FILE: contracts/" AUDIT_BUNDLE.txt' in /tmp/codex-multi-levsnlbg succeeded in 6ms:
[codex:568557] 4:FILE: contracts/interfaces/L1/IProxyAdminOwnedBase.sol
[codex:568557] 24:FILE: contracts/interfaces/L1/IResourceMetering.sol
[codex:568557] 55:FILE: contracts/interfaces/L1/ISuperchainConfig.sol
[codex:568557] 95:FILE: contracts/interfaces/L1/ISystemConfig.sol
[codex:568557] 205:FILE: contracts/interfaces/legacy/IAddressManager.sol
[codex:568557] 224:FILE: contracts/interfaces/legacy/ILegacyMintableERC20.sol
[codex:568557] 245:FILE: contracts/interfaces/universal/ICrossDomainMessenger.sol
[codex:568557] 292:FILE: contracts/interfaces/universal/IOptimismMintableERC20.sol
[codex:568557] 314:FILE: contracts/interfaces/universal/IOwnable.sol
[codex:568557] 332:FILE: contracts/interfaces/universal/IProxyAdmin.sol
[codex:568557] 370:FILE: contracts/interfaces/universal/ISemver.sol
[codex:568557] 387:FILE: contracts/lib/forge-std/src/Vm.sol
[codex:568557] 2699:FILE: contracts/lib/openzeppelin-contracts/contracts/proxy/utils/Initializable.sol
[codex:568557] 2841:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:568557] 2927:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/draft-IERC20Permit.sol
[codex:568557] 2991:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol
[codex:568557] 3111:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/Address.sol
[codex:568557] 3337:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/introspection/ERC165Checker.sol
[codex:568557] 3464:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol
[codex:568557] 3493:FILE: contracts/scripts/libraries/Config.sol
[codex:568557] 
[codex:568557] thinking
[codex:568557] **Reviewing main bridge and proxy contracts**
[codex:568557] exec
[codex:568557] /bin/bash -lc "sed -n '3490,5200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-levsnlbg succeeded in 6ms:
[codex:568557] }
[codex:568557] 
[codex:568557] ================================================================================
[codex:568557] FILE: contracts/scripts/libraries/Config.sol
[codex:568557] ================================================================================
[codex:568557] // SPDX-License-Identifier: MIT
[codex:568557] pragma solidity ^0.8.0;
[codex:568557] 
[codex:568557] import { Vm, VmSafe } from "forge-std/Vm.sol";
[codex:568557] 
[codex:568557] /// @notice Enum representing different ways of outputting genesis allocs.
[codex:568557] /// @custom:value NONE    No output, used in internal tests.
[codex:568557] /// @custom:value LATEST  Output allocs only for latest fork.
[codex:568557] /// @custom:value ALL     Output allocs for all intermediary forks.
[codex:568557] enum OutputMode {
[codex:568557]     NONE,
[codex:568557]     LATEST,
[codex:568557]     ALL
[codex:568557] }
[codex:568557] 
[codex:568557] exec
[codex:568557] /bin/bash -lc "sed -n '5200,7000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-levsnlbg succeeded in 5ms:
[codex:568557]             return _otherToken == IOptimismMintableERC20(_mintableToken).remoteToken();
[codex:568557]         }
[codex:568557]     }
[codex:568557] 
[codex:568557]     /// @notice Emits the ETHBridgeInitiated event and if necessary the appropriate legacy event
[codex:568557]     ///         when an ETH bridge is finalized on this chain.
[codex:568557]     /// @param _from      Address of the sender.
[codex:568557]     /// @param _to        Address of the receiver.
[codex:568557]     /// @param _amount    Amount of ETH sent.
[codex:568557]     /// @param _extraData Extra data sent with the transaction.
[codex:568557]     function _emitETHBridgeInitiated(
[codex:568557]         address _from,
[codex:568557]         address _to,
[codex:568557]         uint256 _amount,
[codex:568557]         bytes memory _extraData
[codex:568557]     )
[codex:568557]         internal
[codex:568557]         virtual
[codex:568557]     {
[codex:568557]         emit ETHBridgeInitiated(_from, _to, _amount, _extraData);
[codex:568557] 
[codex:568557] thinking
[codex:568557] **Extracting additional contract sections**
[codex:568557] exec
[codex:568557] /bin/bash -lc "sed -n '3750,4600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-levsnlbg succeeded in 7ms:
[codex:568557] FILE: contracts/src/L1/L1StandardBridge.sol
[codex:568557] ================================================================================
[codex:568557] // SPDX-License-Identifier: MIT
[codex:568557] pragma solidity 0.8.15;
[codex:568557] 
[codex:568557] // Contracts
[codex:568557] import { ProxyAdminOwnedBase } from "src/L1/ProxyAdminOwnedBase.sol";
[codex:568557] import { ReinitializableBase } from "src/universal/ReinitializableBase.sol";
[codex:568557] import { StandardBridge } from "src/universal/StandardBridge.sol";
[codex:568557] 
[codex:568557] // Libraries
[codex:568557] import { Predeploys } from "src/libraries/Predeploys.sol";
[codex:568557] 
[codex:568557] // Interfaces
[codex:568557] import { ISemver } from "interfaces/universal/ISemver.sol";
[codex:568557] import { ICrossDomainMessenger } from "interfaces/universal/ICrossDomainMessenger.sol";
[codex:568557] import { ISystemConfig } from "interfaces/L1/ISystemConfig.sol";
[codex:568557] import { ISuperchainConfig } from "interfaces/L1/ISuperchainConfig.sol";
[codex:568557] 
[codex:568557] /// @custom:proxied true
[codex:568557] exec
[codex:568557] /bin/bash -lc "sed -n '4600,5200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-levsnlbg succeeded in 5ms:
[codex:568557]     ///      4.) Use wisely. This function is not a silver bullet.
[codex:568557]     function hasMinGas(uint256 _minGas, uint256 _reservedGas) internal view returns (bool) {
[codex:568557]         bool _hasMinGas;
[codex:568557]         assembly {
[codex:568557]             // Equation: gas × 63 ≥ minGas × 64 + 63(40_000 + reservedGas)
[codex:568557]             _hasMinGas := iszero(lt(mul(gas(), 63), add(mul(_minGas, 64), mul(add(40000, _reservedGas), 63))))
[codex:568557]         }
[codex:568557]         return _hasMinGas;
[codex:568557]     }
[codex:568557] 
[codex:568557]     /// @notice Perform a low level call without copying any returndata. This function
[codex:568557]     ///         will revert if the call cannot be performed with the specified minimum
[codex:568557]     ///         gas.
[codex:568557]     /// @param _target   Address to call
[codex:568557]     /// @param _minGas   The minimum amount of gas that may be passed to the call
[codex:568557]     /// @param _value    Amount of value to pass to the call
[codex:568557]     /// @param _calldata Calldata to pass to the call
[codex:568557]     function callWithMinGas(
[codex:568557]         address _target,
[codex:568557]         uint256 _minGas,
[codex:568557] 
[codex:568557] thinking
[codex:568557] **Completing truncated ProxyAdminOwnedBase**
[codex:568557] exec
[codex:568557] /bin/bash -lc "sed -n '4080,4350p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-levsnlbg succeeded in 5ms:
[codex:568557]     )
[codex:568557]         internal
[codex:568557]         override
[codex:568557]     {
[codex:568557]         emit ERC20DepositInitiated(_localToken, _remoteToken, _from, _to, _amount, _extraData);
[codex:568557]         super._emitERC20BridgeInitiated(_localToken, _remoteToken, _from, _to, _amount, _extraData);
[codex:568557]     }
[codex:568557] 
[codex:568557]     /// @inheritdoc StandardBridge
[codex:568557]     /// @notice Emits the legacy ERC20WithdrawalFinalized event followed by the ERC20BridgeFinalized
[codex:568557]     ///         event. This is necessary for backwards compatibility with the legacy bridge.
[codex:568557]     function _emitERC20BridgeFinalized(
[codex:568557]         address _localToken,
[codex:568557]         address _remoteToken,
[codex:568557]         address _from,
[codex:568557]         address _to,
[codex:568557]         uint256 _amount,
[codex:568557]         bytes memory _extraData
[codex:568557]     )
[codex:568557]         internal
[codex:568557] 
[codex:568557] thinking
[codex:568557] **Auditing first-party contracts for vulnerabilities**
[codex:568557] 
[codex:568557] I've carefully examined the bridges, proxy admin, and libraries focusing on reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting issues, unchecked calls, and delegatecall risks. While I noted minor concerns like fee-on-transfer tokens causing deposit mismatches and potential reliance on trusted messenger contracts, no exploitable vulnerabilities stand out in these core contracts. The logic generally enforces strict caller checks preventing reentrancy and improper access, so the overall design appears sound.
[codex:568557] codex
[codex:568557] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts reviewed. Core bridge flows are guarded by messenger-origin checks and use SafeERC20/SafeCall patterns; upgradeable initialization is restricted to proxy admin/owner.","findings":[]}
[codex:568557] tokens used
[codex:568557] 57,962
[codex:568557] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts reviewed. Core bridge flows are guarded by messenger-origin checks and use SafeERC20/SafeCall patterns; upgradeable initialization is restricted to proxy admin/owner.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-24T00:40:02.519879+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities identified in the first-party contracts reviewed. Core bridge flows are guarded by messenger-origin checks and use SafeERC20/SafeCall patterns; upgradeable initialization is restricted to proxy admin/owner.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in the first-party contracts reviewed. Core bridge flows are guarded by messenger-origin checks and use SafeERC20/SafeCall patterns; upgradeable initialization is restricted to proxy admin/owner.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
15
EXT*/BALANCE
7
Total opcodes
5469
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 0x01a5
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5c975abb
00000019: GT
0000001a: PUSH2 0x00e1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x927ede2d
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb1a1a882
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xb1a1a882
0000003a: EQ
0000003b: PUSH2 0x0597
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xc89701a2
00000045: EQ
00000046: PUSH2 0x05aa
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdad544e0
00000050: EQ
00000051: PUSH2 0x05d7
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe11013dd
0000005b: EQ
0000005c: PUSH2 0x05ec
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x927ede2d
0000006b: EQ
0000006c: PUSH2 0x0539
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x9a2ac6d5
00000076: EQ
00000077: PUSH2 0x0564
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa9f9e675
00000081: EQ
00000082: PUSH2 0x0577
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x87087623
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x87087623
0000009c: EQ
0000009d: PUSH2 0x04d3
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8f601f66
000000a7: EQ
000000a8: PUSH2 0x04f3
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x91c49bf8
000000b2: EQ
000000b3: PUSH2 0x0488
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x5c975abb
000000c2: EQ
000000c3: PUSH2 0x0463
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x7f46ddb2
000000cd: EQ
000000ce: PUSH2 0x0488
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x838b2520
000000d8: EQ
000000d9: PUSH2 0x04b3
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x38d38c97
000000e8: GT
000000e9: PUSH2 0x014e
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x485cc955
000000f3: GT
000000f4: PUSH2 0x0128
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x485cc955
000000fe: EQ
000000ff: PUSH2 0x03ad
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x540abf73
00000109: EQ
0000010a: PUSH2 0x03cd
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x54fd4d50
00000114: EQ
00000115: PUSH2 0x03ed
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x58a997f6
0000011f: EQ
00000120: PUSH2 0x0443
00000123: JUMPI
00000124: PUSH1 0x00
00000126: DUP1
00000127: REVERT
00000128: JUMPDEST
00000129: DUP1
0000012a: PUSH4 0x38d38c97
0000012f: EQ
00000130: PUSH2 0x032d
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x3cb747bf
0000013a: EQ
0000013b: PUSH2 0x036b
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x3e47158c
00000145: EQ
00000146: PUSH2 0x0398
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: DUP1
00000150: PUSH4 0x1635f5fd
00000155: GT
00000156: PUSH2 0x017f
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x1635f5fd
00000160: EQ
00000161: PUSH2 0x02ae
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x33d7e2bd
0000016b: EQ
0000016c: PUSH2 0x02c1
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x35e80ab3
00000176: EQ
00000177: PUSH2 0x0318
0000017a: JUMPI
0000017b: PUSH1 0x00
0000017d: DUP1
0000017e: REVERT
0000017f: JUMPDEST
00000180: DUP1
00000181: PUSH4 0x0166a07a
00000186: EQ
00000187: PUSH2 0x0268
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x09fc8843
00000191: EQ
00000192: PUSH2 0x0288
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0x1532ec34
0000019c: EQ
0000019d: PUSH2 0x029b
000001a0: JUMPI
000001a1: PUSH1 0x00
000001a3: DUP1
000001a4: REVERT
000001a5: JUMPDEST
000001a6: CALLDATASIZE
000001a7: PUSH2 0x0263
000001aa: JUMPI
000001ab: PUSH2 0x01b2
000001ae: PUSH2 0x05ff
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH2 0x0243
000001b6: JUMPI
000001b7: PUSH1 0x40
000001b9: MLOAD
000001ba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000001db: DUP2
000001dc: MSTORE
000001dd: PUSH1 0x20
000001df: PUSH1 0x04
000001e1: DUP3
000001e2: ADD
000001e3: MSTORE
000001e4: PUSH1 0x37
000001e6: PUSH1 0x24
000001e8: DUP3
000001e9: ADD
000001ea: MSTORE
000001eb: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
0000020c: PUSH1 0x44
0000020e: DUP3
0000020f: ADD
00000210: MSTORE
00000211: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00000232: PUSH1 0x64
00000234: DUP3
00000235: ADD
00000236: MSTORE
00000237: PUSH1 0x84
00000239: ADD
0000023a: JUMPDEST
0000023b: PUSH1 0x40
0000023d: MLOAD
0000023e: DUP1
0000023f: SWAP2
00000240: SUB
00000241: SWAP1
00000242: REVERT
00000243: JUMPDEST
00000244: PUSH2 0x0261
00000247: CALLER
00000248: CALLER
00000249: PUSH3 0x030d40
0000024d: PUSH1 0x40
0000024f: MLOAD
00000250: DUP1
00000251: PUSH1 0x20
00000253: ADD
00000254: PUSH1 0x40
00000256: MSTORE
00000257: DUP1
00000258: PUSH1 0x00
0000025a: DUP2
0000025b: MSTORE
0000025c: POP
0000025d: PUSH2 0x063c
00000260: JUMP
00000261: JUMPDEST
00000262: STOP
00000263: JUMPDEST
00000264: PUSH1 0x00
00000266: DUP1
00000267: REVERT
00000268: JUMPDEST
00000269: CALLVALUE
0000026a: DUP1
0000026b: ISZERO
0000026c: PUSH2 0x0274
0000026f: JUMPI
00000270: PUSH1 0x00
00000272: DUP1
00000273: REVERT
00000274: JUMPDEST
00000275: POP
00000276: PUSH2 0x0261
00000279: PUSH2 0x0283
0000027c: CALLDATASIZE
0000027d: PUSH1 0x04
0000027f: PUSH2 0x2b73
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH2 0x064f
00000287: JUMP
00000288: JUMPDEST
00000289: PUSH2 0x0261
0000028c: PUSH2 0x0296
0000028f: CALLDATASIZE
00000290: PUSH1 0x04
00000292: PUSH2 0x2c24
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH2 0x0a69
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH2 0x0261
0000029f: PUSH2 0x02a9
000002a2: CALLDATASIZE
000002a3: PUSH1 0x04
000002a5: PUSH2 0x2c77
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH2 0x0b45
000002ad: JUMP
000002ae: JUMPDEST
000002af: PUSH2 0x0261
000002b2: PUSH2 0x02bc
000002b5: CALLDATASIZE
000002b6: PUSH1 0x04
000002b8: PUSH2 0x2c77
000002bb: JUMP
000002bc: JUMPDEST
000002bd: PUSH2 0x0b59
000002c0: JUMP
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cd
000002c8: JUMPI
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: POP
000002cf: PUSH1 0x34
000002d1: SLOAD
000002d2: PUSH2 0x02ee
000002d5: SWAP1
000002d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002eb: AND
000002ec: DUP2
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x40
000002f1: MLOAD
000002f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000307: SWAP1
00000308: SWAP2
00000309: AND
0000030a: DUP2
0000030b: MSTORE
0000030c: PUSH1 0x20
0000030e: ADD
0000030f: JUMPDEST
00000310: PUSH1 0x40
00000312: MLOAD
00000313: DUP1
00000314: SWAP2
00000315: SUB
00000316: SWAP1
00000317: RETURN
00000318: JUMPDEST
00000319: CALLVALUE
0000031a: DUP1
0000031b: ISZERO
0000031c: PUSH2 0x0324
0000031f: JUMPI
00000320: PUSH1 0x00
00000322: DUP1
00000323: REVERT
00000324: JUMPDEST
00000325: POP
00000326: PUSH2 0x02ee
00000329: PUSH2 0x1022
0000032c: JUMP
0000032d: JUMPDEST
0000032e: CALLVALUE
0000032f: DUP1
00000330: ISZERO
00000331: PUSH2 0x0339
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: POP
0000033b: PUSH1 0x40
0000033d: MLOAD
0000033e: PUSH1 0xff
00000340: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000003
00000361: AND
00000362: DUP2
00000363: MSTORE
00000364: PUSH1 0x20
00000366: ADD
00000367: PUSH2 0x030f
0000036a: JUMP
0000036b: JUMPDEST
0000036c: CALLVALUE
0000036d: DUP1
0000036e: ISZERO
0000036f: PUSH2 0x0377
00000372: JUMPI
00000373: PUSH1 0x00
00000375: DUP1
00000376: REVERT
00000377: JUMPDEST
00000378: POP
00000379: PUSH1 0x03
0000037b: SLOAD
0000037c: PUSH2 0x02ee
0000037f: SWAP1
00000380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000395: AND
00000396: DUP2
00000397: JUMP
00000398: JUMPDEST
00000399: CALLVALUE
0000039a: DUP1
0000039b: ISZERO
0000039c: PUSH2 0x03a4
0000039f: JUMPI
000003a0: PUSH1 0x00
000003a2: DUP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: POP
000003a6: PUSH2 0x02ee
000003a9: PUSH2 0x10bb
000003ac: JUMP
000003ad: JUMPDEST
000003ae: CALLVALUE
000003af: DUP1
000003b0: ISZERO
000003b1: PUSH2 0x03b9
000003b4: JUMPI
000003b5: PUSH1 0x00
000003b7: DUP1
000003b8: REVERT
000003b9: JUMPDEST
000003ba: POP
000003bb: PUSH2 0x0261
000003be: PUSH2 0x03c8
000003c1: CALLDATASIZE
000003c2: PUSH1 0x04
000003c4: PUSH2 0x2cea
000003c7: JUMP
000003c8: JUMPDEST
000003c9: PUSH2 0x12c6
000003cc: JUMP
000003cd: JUMPDEST
000003ce: CALLVALUE
000003cf: DUP1
000003d0: ISZERO
000003d1: PUSH2 0x03d9
000003d4: JUMPI
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: POP
000003db: PUSH2 0x0261
000003de: PUSH2 0x03e8
000003e1: CALLDATASIZE
000003e2: PUSH1 0x04
000003e4: PUSH2 0x2d23
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH2 0x148c
000003ec: JUMP
000003ed: JUMPDEST
000003ee: CALLVALUE
000003ef: DUP1
000003f0: ISZERO
000003f1: PUSH2 0x03f9
000003f4: JUMPI
000003f5: PUSH1 0x00
000003f7: DUP1
000003f8: REVERT
000003f9: JUMPDEST
000003fa: POP
000003fb: PUSH2 0x0436
000003fe: PUSH1 0x40
00000400: MLOAD
00000401: DUP1
00000402: PUSH1 0x40
00000404: ADD
00000405: PUSH1 0x40
00000407: MSTORE
00000408: DUP1
00000409: PUSH1 0x05
0000040b: DUP2
0000040c: MSTORE
0000040d: PUSH1 0x20
0000040f: ADD
00000410: PUSH32 0x322e382e30000000000000000000000000000000000000000000000000000000
00000431: DUP2
00000432: MSTORE
00000433: POP
00000434: DUP2
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: PUSH2 0x030f
0000043d: SWAP2
0000043e: SWAP1
0000043f: PUSH2 0x2e10
00000442: JUMP
00000443: JUMPDEST
00000444: CALLVALUE
00000445: DUP1
00000446: ISZERO
00000447: PUSH2 0x044f
0000044a: JUMPI
0000044b: PUSH1 0x00
0000044d: DUP1
0000044e: REVERT
0000044f: JUMPDEST
00000450: POP
00000451: PUSH2 0x0261
00000454: PUSH2 0x045e
00000457: CALLDATASIZE
00000458: PUSH1 0x04
0000045a: PUSH2 0x2e23
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x14d1
00000462: JUMP
00000463: JUMPDEST
00000464: CALLVALUE
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: PUSH2 0x0478
00000474: PUSH2 0x15aa
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: SWAP1
0000047d: ISZERO
0000047e: ISZERO
0000047f: DUP2
00000480: MSTORE
00000481: PUSH1 0x20
00000483: ADD
00000484: PUSH2 0x030f
00000487: JUMP
00000488: JUMPDEST
00000489: CALLVALUE
0000048a: DUP1
0000048b: ISZERO
0000048c: PUSH2 0x0494
0000048f: JUMPI
00000490: PUSH1 0x00
00000492: DUP1
00000493: REVERT
00000494: JUMPDEST
00000495: POP
00000496: PUSH1 0x04
00000498: SLOAD
00000499: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ae: AND
000004af: PUSH2 0x02ee
000004b2: JUMP
000004b3: JUMPDEST
000004b4: CALLVALUE
000004b5: DUP1
000004b6: ISZERO
000004b7: PUSH2 0x04bf
000004ba: JUMPI
000004bb: PUSH1 0x00
000004bd: DUP1
000004be: REVERT
000004bf: JUMPDEST
000004c0: POP
000004c1: PUSH2 0x0261
000004c4: PUSH2 0x04ce
000004c7: CALLDATASIZE
000004c8: PUSH1 0x04
000004ca: PUSH2 0x2d23
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH2 0x163e
000004d2: JUMP
000004d3: JUMPDEST
000004d4: CALLVALUE
000004d5: DUP1
000004d6: ISZERO
000004d7: PUSH2 0x04df
000004da: JUMPI
000004db: PUSH1 0x00
000004dd: DUP1
000004de: REVERT
000004df: JUMPDEST
000004e0: POP
000004e1: PUSH2 0x0261
000004e4: PUSH2 0x04ee
000004e7: CALLDATASIZE
000004e8: PUSH1 0x04
000004ea: PUSH2 0x2e23
000004ed: JUMP
000004ee: JUMPDEST
000004ef: PUSH2 0x1683
000004f2: JUMP
000004f3: JUMPDEST
000004f4: CALLVALUE
000004f5: DUP1
000004f6: ISZERO
000004f7: PUSH2 0x04ff
000004fa: JUMPI
000004fb: PUSH1 0x00
000004fd: DUP1
000004fe: REVERT
000004ff: JUMPDEST
00000500: POP
00000501: PUSH2 0x052b
00000504: PUSH2 0x050e
00000507: CALLDATASIZE
00000508: PUSH1 0x04
0000050a: PUSH2 0x2cea
0000050d: JUMP
0000050e: JUMPDEST
0000050f: PUSH1 0x02
00000511: PUSH1 0x20
00000513: SWAP1
00000514: DUP2
00000515: MSTORE
00000516: PUSH1 0x00
00000518: SWAP3
00000519: DUP4
0000051a: MSTORE
0000051b: PUSH1 0x40
0000051d: DUP1
0000051e: DUP5
0000051f: KECCAK256
00000520: SWAP1
00000521: SWAP2
00000522: MSTORE
00000523: SWAP1
00000524: DUP3
00000525: MSTORE
00000526: SWAP1
00000527: KECCAK256
00000528: SLOAD
00000529: DUP2
0000052a: JUMP
0000052b: JUMPDEST
0000052c: PUSH1 0x40
0000052e: MLOAD
0000052f: SWAP1
00000530: DUP2
00000531: MSTORE
00000532: PUSH1 0x20
00000534: ADD
00000535: PUSH2 0x030f
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: DUP1
0000053c: ISZERO
0000053d: PUSH2 0x0545
00000540: JUMPI
00000541: PUSH1 0x00
00000543: DUP1
00000544: REVERT
00000545: JUMPDEST
00000546: POP
00000547: PUSH1 0x03
00000549: SLOAD
0000054a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000055f: AND
00000560: PUSH2 0x02ee
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH2 0x0261
00000568: PUSH2 0x0572
0000056b: CALLDATASIZE
0000056c: PUSH1 0x04
0000056e: PUSH2 0x2ea6
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH2 0x175c
00000576: JUMP
00000577: JUMPDEST
00000578: CALLVALUE
00000579: DUP1
0000057a: ISZERO
0000057b: PUSH2 0x0583
0000057e: JUMPI
0000057f: PUSH1 0x00
00000581: DUP1
00000582: REVERT
00000583: JUMPDEST
00000584: POP
00000585: PUSH2 0x0261
00000588: PUSH2 0x0592
0000058b: CALLDATASIZE
0000058c: PUSH1 0x04
0000058e: PUSH2 0x2b73
00000591: JUMP
00000592: JUMPDEST
00000593: PUSH2 0x179e
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH2 0x0261
0000059b: PUSH2 0x05a5
0000059e: CALLDATASIZE
0000059f: PUSH1 0x04
000005a1: PUSH2 0x2c24
000005a4: JUMP
000005a5: JUMPDEST
000005a6: PUSH2 0x17ad
000005a9: JUMP
000005aa: JUMPDEST
000005ab: CALLVALUE
000005ac: DUP1
000005ad: ISZERO
000005ae: PUSH2 0x05b6
000005b1: JUMPI
000005b2: PUSH1 0x00
000005b4: DUP1
000005b5: REVERT
000005b6: JUMPDEST
000005b7: POP
000005b8: PUSH1 0x04
000005ba: SLOAD
000005bb: PUSH2 0x02ee
000005be: SWAP1
000005bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d4: AND
000005d5: DUP2
000005d6: JUMP
000005d7: JUMPDEST
000005d8: CALLVALUE
000005d9: DUP1
000005da: ISZERO
000005db: PUSH2 0x05e3
000005de: JUMPI
000005df: PUSH1 0x00
000005e1: DUP1
000005e2: REVERT
000005e3: JUMPDEST
000005e4: POP
000005e5: PUSH2 0x02ee
000005e8: PUSH2 0x1883
000005eb: JUMP
000005ec: JUMPDEST
000005ed: PUSH2 0x0261
000005f0: PUSH2 0x05fa
000005f3: CALLDATASIZE
000005f4: PUSH1 0x04
000005f6: PUSH2 0x2ea6
000005f9: JUMP
000005fa: JUMPDEST
000005fb: PUSH2 0x18d7
000005fe: JUMP
000005ff: JUMPDEST
00000600: PUSH1 0x00
00000602: ORIGIN
00000603: CALLER
00000604: SUB
00000605: PUSH2 0x060e
00000608: JUMPI
00000609: POP
0000060a: PUSH1 0x01
0000060c: SWAP1
0000060d: JUMP
0000060e: JUMPDEST
0000060f: CALLER
00000610: EXTCODESIZE
00000611: PUSH1 0x17
00000613: SUB
00000614: PUSH2 0x0636
00000617: JUMPI
00000618: PUSH1 0x40
0000061a: MLOAD
0000061b: PUSH1 0x20
0000061d: DUP2
0000061e: ADD
0000061f: PUSH1 0x40
00000621: MSTORE
00000622: PUSH1 0x20
00000624: PUSH1 0x00
00000626: DUP3
00000627: CALLER
00000628: EXTCODECOPY
00000629: MLOAD
0000062a: PUSH1 0xe8
0000062c: SHR
0000062d: PUSH3 0xef0100
00000631: EQ
00000632: SWAP1
00000633: POP
00000634: SWAP1
00000635: JUMP
00000636: JUMPDEST
00000637: POP
00000638: PUSH1 0x00
0000063a: SWAP1
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH2 0x0649
00000640: DUP5
00000641: DUP5
00000642: CALLVALUE
00000643: DUP6
00000644: DUP6
00000645: PUSH2 0x191a
00000648: JUMP
00000649: JUMPDEST
0000064a: POP
0000064b: POP
0000064c: POP
0000064d: POP
0000064e: JUMP
0000064f: JUMPDEST
00000650: PUSH1 0x03
00000652: SLOAD
00000653: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000668: AND
00000669: CALLER
0000066a: EQ
0000066b: DUP1
0000066c: ISZERO
0000066d: PUSH2 0x0722
00000670: JUMPI
00000671: POP
00000672: PUSH1 0x04
00000674: DUP1
00000675: SLOAD
00000676: PUSH1 0x03
00000678: SLOAD
00000679: PUSH1 0x40
0000067b: DUP1
0000067c: MLOAD
0000067d: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000
0000069e: DUP2
0000069f: MSTORE
000006a0: SWAP1
000006a1: MLOAD
000006a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b7: SWAP4
000006b8: DUP5
000006b9: AND
000006ba: SWAP5
000006bb: SWAP4
000006bc: SWAP1
000006bd: SWAP3
000006be: AND
000006bf: SWAP3
000006c0: PUSH4 0x6e296e45
000006c5: SWAP3
000006c6: DUP3
000006c7: DUP3
000006c8: ADD
000006c9: SWAP3
000006ca: PUSH1 0x20
000006cc: SWAP3
000006cd: SWAP1
000006ce: DUP3
000006cf: SWAP1
000006d0: SUB
000006d1: ADD
000006d2: DUP2
000006d3: DUP7
000006d4: GAS
000006d5: STATICCALL
000006d6: ISZERO
000006d7: DUP1
000006d8: ISZERO
000006d9: PUSH2 0x06e6
000006dc: JUMPI
000006dd: RETURNDATASIZE
000006de: PUSH1 0x00
000006e0: DUP1
000006e1: RETURNDATACOPY
000006e2: RETURNDATASIZE
000006e3: PUSH1 0x00
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: POP
000006e9: POP
000006ea: POP
000006eb: PUSH1 0x40
000006ed: MLOAD
000006ee: RETURNDATASIZE
000006ef: PUSH1 0x1f
000006f1: NOT
000006f2: PUSH1 0x1f
000006f4: DUP3
000006f5: ADD
000006f6: AND
000006f7: DUP3
000006f8: ADD
000006f9: DUP1
000006fa: PUSH1 0x40
000006fc: MSTORE
000006fd: POP
000006fe: DUP2
000006ff: ADD
00000700: SWAP1
00000701: PUSH2 0x070a
00000704: SWAP2
00000705: SWAP1
00000706: PUSH2 0x2f09
00000709: JUMP
0000070a: JUMPDEST
0000070b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000720: AND
00000721: EQ
00000722: JUMPDEST
00000723: PUSH2 0x07d4
00000726: JUMPI
00000727: PUSH1 0x40
00000729: MLOAD
0000072a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000074b: DUP2
0000074c: MSTORE
0000074d: PUSH1 0x20
0000074f: PUSH1 0x04
00000751: DUP3
00000752: ADD
00000753: MSTORE
00000754: PUSH1 0x41
00000756: PUSH1 0x24
00000758: DUP3
00000759: ADD
0000075a: MSTORE
0000075b: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
0000077c: PUSH1 0x44
0000077e: DUP3
0000077f: ADD
00000780: MSTORE
00000781: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
000007a2: PUSH1 0x64
000007a4: DUP3
000007a5: ADD
000007a6: MSTORE
000007a7: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
000007c8: PUSH1 0x84
000007ca: DUP3
000007cb: ADD
000007cc: MSTORE
000007cd: PUSH1 0xa4
000007cf: ADD
000007d0: PUSH2 0x023a
000007d3: JUMP
000007d4: JUMPDEST
000007d5: PUSH2 0x07dc
000007d8: PUSH2 0x15aa
000007db: JUMP
000007dc: JUMPDEST
000007dd: ISZERO
000007de: PUSH2 0x0843
000007e1: JUMPI
000007e2: PUSH1 0x40
000007e4: MLOAD
000007e5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000806: DUP2
00000807: MSTORE
00000808: PUSH1 0x20
0000080a: PUSH1 0x04
0000080c: DUP3
0000080d: ADD
0000080e: MSTORE
0000080f: PUSH1 0x16
00000811: PUSH1 0x24
00000813: DUP3
00000814: ADD
00000815: MSTORE
00000816: PUSH32 0x5374616e646172644272696467653a2070617573656400000000000000000000
00000837: PUSH1 0x44
00000839: DUP3
0000083a: ADD
0000083b: MSTORE
0000083c: PUSH1 0x64
0000083e: ADD
0000083f: PUSH2 0x023a
00000842: JUMP
00000843: JUMPDEST
00000844: PUSH2 0x084c
00000847: DUP8
00000848: PUSH2 0x1ae4
0000084b: JUMP
0000084c: JUMPDEST
0000084d: ISZERO
0000084e: PUSH2 0x099a
00000851: JUMPI
00000852: PUSH2 0x085b
00000855: DUP8
00000856: DUP8
00000857: PUSH2 0x1b46
0000085a: JUMP
0000085b: JUMPDEST
0000085c: PUSH2 0x090d
0000085f: JUMPI
00000860: PUSH1 0x40
00000862: MLOAD
00000863: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000884: DUP2
00000885: MSTORE
00000886: PUSH1 0x20
00000888: PUSH1 0x04
0000088a: DUP3
0000088b: ADD
0000088c: MSTORE
0000088d: PUSH1 0x4a
0000088f: PUSH1 0x24
00000891: DUP3
00000892: ADD
00000893: MSTORE
00000894: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
000008b5: PUSH1 0x44
000008b7: DUP3
000008b8: ADD
000008b9: MSTORE
000008ba: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
000008db: PUSH1 0x64
000008dd: DUP3
000008de: ADD
000008df: MSTORE
000008e0: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
00000901: PUSH1 0x84
00000903: DUP3
00000904: ADD
00000905: MSTORE
00000906: PUSH1 0xa4
00000908: ADD
00000909: PUSH2 0x023a
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH1 0x40
00000910: MLOAD
00000911: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
00000932: DUP2
00000933: MSTORE
00000934: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000949: DUP6
0000094a: DUP2
0000094b: AND
0000094c: PUSH1 0x04
0000094e: DUP4
0000094f: ADD
00000950: MSTORE
00000951: PUSH1 0x24
00000953: DUP3
00000954: ADD
00000955: DUP6
00000956: SWAP1
00000957: MSTORE
00000958: DUP9
00000959: AND
0000095a: SWAP1
0000095b: PUSH4 0x40c10f19
00000960: SWAP1
00000961: PUSH1 0x44
00000963: ADD
00000964: PUSH1 0x00
00000966: PUSH1 0x40
00000968: MLOAD
00000969: DUP1
0000096a: DUP4
0000096b: SUB
0000096c: DUP2
0000096d: PUSH1 0x00
0000096f: DUP8
00000970: DUP1
00000971: EXTCODESIZE
00000972: ISZERO
00000973: DUP1
00000974: ISZERO
00000975: PUSH2 0x097d
00000978: JUMPI
00000979: PUSH1 0x00
0000097b: DUP1
0000097c: REVERT
0000097d: JUMPDEST
0000097e: POP
0000097f: GAS
00000980: CALL
00000981: ISZERO
00000982: DUP1
00000983: ISZERO
00000984: PUSH2 0x0991
00000987: JUMPI
00000988: RETURNDATASIZE
00000989: PUSH1 0x00
0000098b: DUP1
0000098c: RETURNDATACOPY
0000098d: RETURNDATASIZE
0000098e: PUSH1 0x00
00000990: REVERT
00000991: JUMPDEST
00000992: POP
00000993: POP
00000994: POP
00000995: POP
00000996: PUSH2 0x0a1c
00000999: JUMP
0000099a: JUMPDEST
0000099b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b0: DUP1
000009b1: DUP9
000009b2: AND
000009b3: PUSH1 0x00
000009b5: SWAP1
000009b6: DUP2
000009b7: MSTORE
000009b8: PUSH1 0x02
000009ba: PUSH1 0x20
000009bc: SWAP1
000009bd: DUP2
000009be: MSTORE
000009bf: PUSH1 0x40
000009c1: DUP1
000009c2: DUP4
000009c3: KECCAK256
000009c4: SWAP4
000009c5: DUP11
000009c6: AND
000009c7: DUP4
000009c8: MSTORE
000009c9: SWAP3
000009ca: SWAP1
000009cb: MSTORE
000009cc: KECCAK256
000009cd: SLOAD
000009ce: PUSH2 0x09d8
000009d1: SWAP1
000009d2: DUP5
000009d3: SWAP1
000009d4: PUSH2 0x2f55
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ee: DUP1
000009ef: DUP10
000009f0: AND
000009f1: PUSH1 0x00
000009f3: DUP2
000009f4: DUP2
000009f5: MSTORE
000009f6: PUSH1 0x02
000009f8: PUSH1 0x20
000009fa: SWAP1
000009fb: DUP2
000009fc: MSTORE
000009fd: PUSH1 0x40
000009ff: DUP1
00000a00: DUP4
00000a01: KECCAK256
00000a02: SWAP5
00000a03: DUP13
00000a04: AND
00000a05: DUP4
00000a06: MSTORE
00000a07: SWAP4
00000a08: SWAP1
00000a09: MSTORE
00000a0a: SWAP2
00000a0b: SWAP1
00000a0c: SWAP2
00000a0d: KECCAK256
00000a0e: SWAP2
00000a0f: SWAP1
00000a10: SWAP2
00000a11: SSTORE
00000a12: PUSH2 0x0a1c
00000a15: SWAP1
00000a16: DUP6
00000a17: DUP6
00000a18: PUSH2 0x1c66
00000a1b: JUMP
00000a1c: JUMPDEST
00000a1d: PUSH2 0x0a60
00000a20: DUP8
00000a21: DUP8
00000a22: DUP8
00000a23: DUP8
00000a24: DUP8
00000a25: DUP8
00000a26: DUP8
00000a27: DUP1
00000a28: DUP1
00000a29: PUSH1 0x1f
00000a2b: ADD
00000a2c: PUSH1 0x20
00000a2e: DUP1
00000a2f: SWAP2
00000a30: DIV
00000a31: MUL
00000a32: PUSH1 0x20
00000a34: ADD
00000a35: PUSH1 0x40
00000a37: MLOAD
00000a38: SWAP1
00000a39: DUP2
00000a3a: ADD
00000a3b: PUSH1 0x40
00000a3d: MSTORE
00000a3e: DUP1
00000a3f: SWAP4
00000a40: SWAP3
00000a41: SWAP2
00000a42: SWAP1
00000a43: DUP2
00000a44: DUP2
00000a45: MSTORE
00000a46: PUSH1 0x20
00000a48: ADD
00000a49: DUP4
00000a4a: DUP4
00000a4b: DUP1
00000a4c: DUP3
00000a4d: DUP5
00000a4e: CALLDATACOPY
00000a4f: PUSH1 0x00
00000a51: SWAP3
00000a52: ADD
00000a53: SWAP2
00000a54: SWAP1
00000a55: SWAP2
00000a56: MSTORE
00000a57: POP
00000a58: PUSH2 0x1d3a
00000a5b: SWAP3
00000a5c: POP
00000a5d: POP
00000a5e: POP
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: POP
00000a62: POP
00000a63: POP
00000a64: POP
00000a65: POP
00000a66: POP
00000a67: POP
00000a68: JUMP
00000a69: JUMPDEST
00000a6a: PUSH2 0x0a71
00000a6d: PUSH2 0x05ff
00000a70: JUMP
00000a71: JUMPDEST
00000a72: PUSH2 0x0afd
00000a75: JUMPI
00000a76: PUSH1 0x40
00000a78: MLOAD
00000a79: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a9a: DUP2
00000a9b: MSTORE
00000a9c: PUSH1 0x20
00000a9e: PUSH1 0x04
00000aa0: DUP3
00000aa1: ADD
00000aa2: MSTORE
00000aa3: PUSH1 0x37
00000aa5: PUSH1 0x24
00000aa7: DUP3
00000aa8: ADD
00000aa9: MSTORE
00000aaa: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000acb: PUSH1 0x44
00000acd: DUP3
00000ace: ADD
00000acf: MSTORE
00000ad0: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00000af1: PUSH1 0x64
00000af3: DUP3
00000af4: ADD
00000af5: MSTORE
00000af6: PUSH1 0x84
00000af8: ADD
00000af9: PUSH2 0x023a
00000afc: JUMP
00000afd: JUMPDEST
00000afe: PUSH2 0x0b40
00000b01: CALLER
00000b02: CALLER
00000b03: CALLVALUE
00000b04: DUP7
00000b05: DUP7
00000b06: DUP7
00000b07: DUP1
00000b08: DUP1
00000b09: PUSH1 0x1f
00000b0b: ADD
00000b0c: PUSH1 0x20
00000b0e: DUP1
00000b0f: SWAP2
00000b10: DIV
00000b11: MUL
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: PUSH1 0x40
00000b17: MLOAD
00000b18: SWAP1
00000b19: DUP2
00000b1a: ADD
00000b1b: PUSH1 0x40
00000b1d: MSTORE
00000b1e: DUP1
00000b1f: SWAP4
00000b20: SWAP3
00000b21: SWAP2
00000b22: SWAP1
00000b23: DUP2
00000b24: DUP2
00000b25: MSTORE
00000b26: PUSH1 0x20
00000b28: ADD
00000b29: DUP4
00000b2a: DUP4
00000b2b: DUP1
00000b2c: DUP3
00000b2d: DUP5
00000b2e: CALLDATACOPY
00000b2f: PUSH1 0x00
00000b31: SWAP3
00000b32: ADD
00000b33: SWAP2
00000b34: SWAP1
00000b35: SWAP2
00000b36: MSTORE
00000b37: POP
00000b38: PUSH2 0x191a
00000b3b: SWAP3
00000b3c: POP
00000b3d: POP
00000b3e: POP
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: POP
00000b42: POP
00000b43: POP
00000b44: JUMP
00000b45: JUMPDEST
00000b46: PUSH2 0x0b52
00000b49: DUP6
00000b4a: DUP6
00000b4b: DUP6
00000b4c: DUP6
00000b4d: DUP6
00000b4e: PUSH2 0x0b59
00000b51: JUMP
00000b52: JUMPDEST
00000b53: POP
00000b54: POP
00000b55: POP
00000b56: POP
00000b57: POP
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: PUSH1 0x03
00000b5c: SLOAD
00000b5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b72: AND
00000b73: CALLER
00000b74: EQ
00000b75: DUP1
00000b76: ISZERO
00000b77: PUSH2 0x0c2c
00000b7a: JUMPI
00000b7b: POP
00000b7c: PUSH1 0x04
00000b7e: DUP1
00000b7f: SLOAD
00000b80: PUSH1 0x03
00000b82: SLOAD
00000b83: PUSH1 0x40
00000b85: DUP1
00000b86: MLOAD
00000b87: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000
00000ba8: DUP2
00000ba9: MSTORE
00000baa: SWAP1
00000bab: MLOAD
00000bac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc1: SWAP4
00000bc2: DUP5
00000bc3: AND
00000bc4: SWAP5
00000bc5: SWAP4
00000bc6: SWAP1
00000bc7: SWAP3
00000bc8: AND
00000bc9: SWAP3
00000bca: PUSH4 0x6e296e45
00000bcf: SWAP3
00000bd0: DUP3
00000bd1: DUP3
00000bd2: ADD
00000bd3: SWAP3
00000bd4: PUSH1 0x20
00000bd6: SWAP3
00000bd7: SWAP1
00000bd8: DUP3
00000bd9: SWAP1
00000bda: SUB
00000bdb: ADD
00000bdc: DUP2
00000bdd: DUP7
00000bde: GAS
00000bdf: STATICCALL
00000be0: ISZERO
00000be1: DUP1
00000be2: ISZERO
00000be3: PUSH2 0x0bf0
00000be6: JUMPI
00000be7: RETURNDATASIZE
00000be8: PUSH1 0x00
00000bea: DUP1
00000beb: RETURNDATACOPY
00000bec: RETURNDATASIZE
00000bed: PUSH1 0x00
00000bef: REVERT
00000bf0: JUMPDEST
00000bf1: POP
00000bf2: POP
00000bf3: POP
00000bf4: POP
00000bf5: PUSH1 0x40
00000bf7: MLOAD
00000bf8: RETURNDATASIZE
00000bf9: PUSH1 0x1f
00000bfb: NOT
00000bfc: PUSH1 0x1f
00000bfe: DUP3
00000bff: ADD
00000c00: AND
00000c01: DUP3
00000c02: ADD
00000c03: DUP1
00000c04: PUSH1 0x40
00000c06: MSTORE
00000c07: POP
00000c08: DUP2
00000c09: ADD
00000c0a: SWAP1
00000c0b: PUSH2 0x0c14
00000c0e: SWAP2
00000c0f: SWAP1
00000c10: PUSH2 0x2f09
00000c13: JUMP
00000c14: JUMPDEST
00000c15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2a: AND
00000c2b: EQ
00000c2c: JUMPDEST
00000c2d: PUSH2 0x0cde
00000c30: JUMPI
00000c31: PUSH1 0x40
00000c33: MLOAD
00000c34: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c55: DUP2
00000c56: MSTORE
00000c57: PUSH1 0x20
00000c59: PUSH1 0x04
00000c5b: DUP3
00000c5c: ADD
00000c5d: MSTORE
00000c5e: PUSH1 0x41
00000c60: PUSH1 0x24
00000c62: DUP3
00000c63: ADD
00000c64: MSTORE
00000c65: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000c86: PUSH1 0x44
00000c88: DUP3
00000c89: ADD
00000c8a: MSTORE
00000c8b: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
00000cac: PUSH1 0x64
00000cae: DUP3
00000caf: ADD
00000cb0: MSTORE
00000cb1: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00000cd2: PUSH1 0x84
00000cd4: DUP3
00000cd5: ADD
00000cd6: MSTORE
00000cd7: PUSH1 0xa4
00000cd9: ADD
00000cda: PUSH2 0x023a
00000cdd: JUMP
00000cde: JUMPDEST
00000cdf: PUSH2 0x0ce6
00000ce2: PUSH2 0x15aa
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: ISZERO
00000ce8: PUSH2 0x0d4d
00000ceb: JUMPI
00000cec: PUSH1 0x40
00000cee: MLOAD
00000cef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x20
00000d14: PUSH1 0x04
00000d16: DUP3
00000d17: ADD
00000d18: MSTORE
00000d19: PUSH1 0x16
00000d1b: PUSH1 0x24
00000d1d: DUP3
00000d1e: ADD
00000d1f: MSTORE
00000d20: PUSH32 0x5374616e646172644272696467653a2070617573656400000000000000000000
00000d41: PUSH1 0x44
00000d43: DUP3
00000d44: ADD
00000d45: MSTORE
00000d46: PUSH1 0x64
00000d48: ADD
00000d49: PUSH2 0x023a
00000d4c: JUMP
00000d4d: JUMPDEST
00000d4e: DUP3
00000d4f: CALLVALUE
00000d50: EQ
00000d51: PUSH2 0x0ddc
00000d54: JUMPI
00000d55: PUSH1 0x40
00000d57: MLOAD
00000d58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d79: DUP2
00000d7a: MSTORE
00000d7b: PUSH1 0x20
00000d7d: PUSH1 0x04
00000d7f: DUP3
00000d80: ADD
00000d81: MSTORE
00000d82: PUSH1 0x3a
00000d84: PUSH1 0x24
00000d86: DUP3
00000d87: ADD
00000d88: MSTORE
00000d89: PUSH32 0x5374616e646172644272696467653a20616d6f756e742073656e7420646f6573
00000daa: PUSH1 0x44
00000dac: DUP3
00000dad: ADD
00000dae: MSTORE
00000daf: PUSH32 0x206e6f74206d6174636820616d6f756e74207265717569726564000000000000
00000dd0: PUSH1 0x64
00000dd2: DUP3
00000dd3: ADD
00000dd4: MSTORE
00000dd5: PUSH1 0x84
00000dd7: ADD
00000dd8: PUSH2 0x023a
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: ADDRESS
00000dde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df3: DUP6
00000df4: AND
00000df5: SUB
00000df6: PUSH2 0x0e81
00000df9: JUMPI
00000dfa: PUSH1 0x40
00000dfc: MLOAD
00000dfd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e1e: DUP2
00000e1f: MSTORE
00000e20: PUSH1 0x20
00000e22: PUSH1 0x04
00000e24: DUP3
00000e25: ADD
00000e26: MSTORE
00000e27: PUSH1 0x23
00000e29: PUSH1 0x24
00000e2b: DUP3
00000e2c: ADD
00000e2d: MSTORE
00000e2e: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f2073
00000e4f: PUSH1 0x44
00000e51: DUP3
00000e52: ADD
00000e53: MSTORE
00000e54: PUSH32 0x656c660000000000000000000000000000000000000000000000000000000000
00000e75: PUSH1 0x64
00000e77: DUP3
00000e78: ADD
00000e79: MSTORE
00000e7a: PUSH1 0x84
00000e7c: ADD
00000e7d: PUSH2 0x023a
00000e80: JUMP
00000e81: JUMPDEST
00000e82: PUSH1 0x03
00000e84: SLOAD
00000e85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e9a: SWAP1
00000e9b: DUP2
00000e9c: AND
00000e9d: SWAP1
00000e9e: DUP6
00000e9f: AND
00000ea0: SUB
00000ea1: PUSH2 0x0f2c
00000ea4: JUMPI
00000ea5: PUSH1 0x40
00000ea7: MLOAD
00000ea8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ec9: DUP2
00000eca: MSTORE
00000ecb: PUSH1 0x20
00000ecd: PUSH1 0x04
00000ecf: DUP3
00000ed0: ADD
00000ed1: MSTORE
00000ed2: PUSH1 0x28
00000ed4: PUSH1 0x24
00000ed6: DUP3
00000ed7: ADD
00000ed8: MSTORE
00000ed9: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f206d
00000efa: PUSH1 0x44
00000efc: DUP3
00000efd: ADD
00000efe: MSTORE
00000eff: PUSH32 0x657373656e676572000000000000000000000000000000000000000000000000
00000f20: PUSH1 0x64
00000f22: DUP3
00000f23: ADD
00000f24: MSTORE
00000f25: PUSH1 0x84
00000f27: ADD
00000f28: PUSH2 0x023a
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: PUSH2 0x0f6e
00000f30: DUP6
00000f31: DUP6
00000f32: DUP6
00000f33: DUP6
00000f34: DUP6
00000f35: DUP1
00000f36: DUP1
00000f37: PUSH1 0x1f
00000f39: ADD
00000f3a: PUSH1 0x20
00000f3c: DUP1
00000f3d: SWAP2
00000f3e: DIV
00000f3f: MUL
00000f40: PUSH1 0x20
00000f42: ADD
00000f43: PUSH1 0x40
00000f45: MLOAD
00000f46: SWAP1
00000f47: DUP2
00000f48: ADD
00000f49: PUSH1 0x40
00000f4b: MSTORE
00000f4c: DUP1
00000f4d: SWAP4
00000f4e: SWAP3
00000f4f: SWAP2
00000f50: SWAP1
00000f51: DUP2
00000f52: DUP2
00000f53: MSTORE
00000f54: PUSH1 0x20
00000f56: ADD
00000f57: DUP4
00000f58: DUP4
00000f59: DUP1
00000f5a: DUP3
00000f5b: DUP5
00000f5c: CALLDATACOPY
00000f5d: PUSH1 0x00
00000f5f: SWAP3
00000f60: ADD
00000f61: SWAP2
00000f62: SWAP1
00000f63: SWAP2
00000f64: MSTORE
00000f65: POP
00000f66: PUSH2 0x1dc8
00000f69: SWAP3
00000f6a: POP
00000f6b: POP
00000f6c: POP
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: PUSH1 0x00
00000f71: PUSH2 0x0f8b
00000f74: DUP6
00000f75: GAS
00000f76: DUP7
00000f77: PUSH1 0x40
00000f79: MLOAD
00000f7a: DUP1
00000f7b: PUSH1 0x20
00000f7d: ADD
00000f7e: PUSH1 0x40
00000f80: MSTORE
00000f81: DUP1
00000f82: PUSH1 0x00
00000f84: DUP2
00000f85: MSTORE
00000f86: POP
00000f87: PUSH2 0x1e3b
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: SWAP1
00000f8d: POP
00000f8e: DUP1
00000f8f: PUSH2 0x101a
00000f92: JUMPI
00000f93: PUSH1 0x40
00000f95: MLOAD
00000f96: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fb7: DUP2
00000fb8: MSTORE
00000fb9: PUSH1 0x20
00000fbb: PUSH1 0x04
00000fbd: DUP3
00000fbe: ADD
00000fbf: MSTORE
00000fc0: PUSH1 0x23
00000fc2: PUSH1 0x24
00000fc4: DUP3
00000fc5: ADD
00000fc6: MSTORE
00000fc7: PUSH32 0x5374616e646172644272696467653a20455448207472616e7366657220666169
00000fe8: PUSH1 0x44
00000fea: DUP3
00000feb: ADD
00000fec: MSTORE
00000fed: PUSH32 0x6c65640000000000000000000000000000000000000000000000000000000000
0000100e: PUSH1 0x64
00001010: DUP3
00001011: ADD
00001012: MSTORE
00001013: PUSH1 0x84
00001015: ADD
00001016: PUSH2 0x023a
00001019: JUMP
0000101a: JUMPDEST
0000101b: POP
0000101c: POP
0000101d: POP
0000101e: POP
0000101f: POP
00001020: POP
00001021: JUMP
00001022: JUMPDEST
00001023: PUSH1 0x34
00001025: SLOAD
00001026: PUSH1 0x40
00001028: DUP1
00001029: MLOAD
0000102a: PUSH32 0x35e80ab300000000000000000000000000000000000000000000000000000000
0000104b: DUP2
0000104c: MSTORE
0000104d: SWAP1
0000104e: MLOAD
0000104f: PUSH1 0x00
00001051: SWAP3
00001052: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001067: AND
00001068: SWAP2
00001069: PUSH4 0x35e80ab3
0000106e: SWAP2
0000106f: PUSH1 0x04
00001071: DUP1
00001072: DUP4
00001073: ADD
00001074: SWAP3
00001075: PUSH1 0x20
00001077: SWAP3
00001078: SWAP2
00001079: SWAP1
0000107a: DUP3
0000107b: SWAP1
0000107c: SUB
0000107d: ADD
0000107e: DUP2
0000107f: DUP7
00001080: GAS
00001081: STATICCALL
00001082: ISZERO
00001083: DUP1
00001084: ISZERO
00001085: PUSH2 0x1092
00001088: JUMPI
00001089: RETURNDATASIZE
0000108a: PUSH1 0x00
0000108c: DUP1
0000108d: RETURNDATACOPY
0000108e: RETURNDATASIZE
0000108f: PUSH1 0x00
00001091: REVERT
00001092: JUMPDEST
00001093: POP
00001094: POP
00001095: POP
00001096: POP
00001097: PUSH1 0x40
00001099: MLOAD
0000109a: RETURNDATASIZE
0000109b: PUSH1 0x1f
0000109d: NOT
0000109e: PUSH1 0x1f
000010a0: DUP3
000010a1: ADD
000010a2: AND
000010a3: DUP3
000010a4: ADD
000010a5: DUP1
000010a6: PUSH1 0x40
000010a8: MSTORE
000010a9: POP
000010aa: DUP2
000010ab: ADD
000010ac: SWAP1
000010ad: PUSH2 0x10b6
000010b0: SWAP2
000010b1: SWAP1
000010b2: PUSH2 0x2f09
000010b5: JUMP
000010b6: JUMPDEST
000010b7: SWAP1
000010b8: POP
000010b9: SWAP1
000010ba: JUMP
000010bb: JUMPDEST
000010bc: PUSH1 0x00
000010be: DUP1
000010bf: PUSH2 0x10e6
000010c2: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
000010e3: SLOAD
000010e4: SWAP1
000010e5: JUMP
000010e6: JUMPDEST
000010e7: SWAP1
000010e8: POP
000010e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fe: DUP2
000010ff: AND
00001100: ISZERO
00001101: PUSH2 0x1109
00001104: JUMPI
00001105: SWAP2
00001106: SWAP1
00001107: POP
00001108: JUMP
00001109: JUMPDEST
0000110a: PUSH1 0x40
0000110c: MLOAD
0000110d: DUP1
0000110e: PUSH1 0x40
00001110: ADD
00001111: PUSH1 0x40
00001113: MSTORE
00001114: DUP1
00001115: PUSH1 0x1a
00001117: DUP2
00001118: MSTORE
00001119: PUSH1 0x20
0000111b: ADD
0000111c: PUSH32 0x4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000000
0000113d: DUP2
0000113e: MSTORE
0000113f: POP
00001140: MLOAD
00001141: PUSH1 0x02
00001143: PUSH2 0x114c
00001146: SWAP2
00001147: SWAP1
00001148: PUSH2 0x2f6c
0000114b: JUMP
0000114c: JUMPDEST
0000114d: PUSH1 0x40
0000114f: DUP1
00001150: MLOAD
00001151: ADDRESS
00001152: PUSH1 0x20
00001154: DUP3
00001155: ADD
00001156: MSTORE
00001157: PUSH1 0x00
00001159: SWAP2
0000115a: DUP2
0000115b: ADD
0000115c: SWAP2
0000115d: SWAP1
0000115e: SWAP2
0000115f: MSTORE
00001160: PUSH32 0x4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000000
00001181: SWAP2
00001182: SWAP1
00001183: SWAP2
00001184: OR
00001185: SWAP1
00001186: PUSH2 0x11a7
00001189: SWAP1
0000118a: PUSH1 0x60
0000118c: ADD
0000118d: JUMPDEST
0000118e: PUSH1 0x40
00001190: MLOAD
00001191: PUSH1 0x20
00001193: DUP2
00001194: DUP4
00001195: SUB
00001196: SUB
00001197: DUP2
00001198: MSTORE
00001199: SWAP1
0000119a: PUSH1 0x40
0000119c: MSTORE
0000119d: DUP1
0000119e: MLOAD
0000119f: SWAP1
000011a0: PUSH1 0x20
000011a2: ADD
000011a3: KECCAK256
000011a4: SLOAD
000011a5: SWAP1
000011a6: JUMP
000011a7: JUMPDEST
000011a8: EQ
000011a9: PUSH2 0x11de
000011ac: JUMPI
000011ad: PUSH1 0x40
000011af: MLOAD
000011b0: PUSH32 0x54e433cd00000000000000000000000000000000000000000000000000000000
000011d1: DUP2
000011d2: MSTORE
000011d3: PUSH1 0x04
000011d5: ADD
000011d6: PUSH1 0x40
000011d8: MLOAD
000011d9: DUP1
000011da: SWAP2
000011db: SUB
000011dc: SWAP1
000011dd: REVERT
000011de: JUMPDEST
000011df: PUSH1 0x40
000011e1: DUP1
000011e2: MLOAD
000011e3: ADDRESS
000011e4: PUSH1 0x20
000011e6: DUP3
000011e7: ADD
000011e8: MSTORE
000011e9: PUSH1 0x01
000011eb: SWAP2
000011ec: DUP2
000011ed: ADD
000011ee: SWAP2
000011ef: SWAP1
000011f0: SWAP2
000011f1: MSTORE
000011f2: PUSH1 0x00
000011f4: SWAP1
000011f5: PUSH2 0x1200
000011f8: SWAP1
000011f9: PUSH1 0x60
000011fb: ADD
000011fc: PUSH2 0x118d
000011ff: JUMP
00001200: JUMPDEST
00001201: SWAP1
00001202: POP
00001203: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001218: DUP2
00001219: AND
0000121a: ISZERO
0000121b: PUSH2 0x1294
0000121e: JUMPI
0000121f: DUP1
00001220: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001235: AND
00001236: PUSH4 0x8da5cb5b
0000123b: PUSH1 0x40
0000123d: MLOAD
0000123e: DUP2
0000123f: PUSH4 0xffffffff
00001244: AND
00001245: PUSH1 0xe0
00001247: SHL
00001248: DUP2
00001249: MSTORE
0000124a: PUSH1 0x04
0000124c: ADD
0000124d: PUSH1 0x20
0000124f: PUSH1 0x40
00001251: MLOAD
00001252: DUP1
00001253: DUP4
00001254: SUB
00001255: DUP2
00001256: DUP7
00001257: GAS
00001258: STATICCALL
00001259: ISZERO
0000125a: DUP1
0000125b: ISZERO
0000125c: PUSH2 0x1269
0000125f: JUMPI
00001260: RETURNDATASIZE
00001261: PUSH1 0x00
00001263: DUP1
00001264: RETURNDATACOPY
00001265: RETURNDATASIZE
00001266: PUSH1 0x00
00001268: REVERT
00001269: JUMPDEST
0000126a: POP
0000126b: POP
0000126c: POP
0000126d: POP
0000126e: PUSH1 0x40
00001270: MLOAD
00001271: RETURNDATASIZE
00001272: PUSH1 0x1f
00001274: NOT
00001275: PUSH1 0x1f
00001277: DUP3
00001278: ADD
00001279: AND
0000127a: DUP3
0000127b: ADD
0000127c: DUP1
0000127d: PUSH1 0x40
0000127f: MSTORE
00001280: POP
00001281: DUP2
00001282: ADD
00001283: SWAP1
00001284: PUSH2 0x128d
00001287: SWAP2
00001288: SWAP1
00001289: PUSH2 0x2f09
0000128c: JUMP
0000128d: JUMPDEST
0000128e: SWAP3
0000128f: POP
00001290: POP
00001291: POP
00001292: SWAP1
00001293: JUMP
00001294: JUMPDEST
00001295: PUSH1 0x40
00001297: MLOAD
00001298: PUSH32 0x332144db00000000000000000000000000000000000000000000000000000000
000012b9: DUP2
000012ba: MSTORE
000012bb: PUSH1 0x04
000012bd: ADD
000012be: PUSH1 0x40
000012c0: MLOAD
000012c1: DUP1
000012c2: SWAP2
000012c3: SUB
000012c4: SWAP1
000012c5: REVERT
000012c6: JUMPDEST
000012c7: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000003
000012e8: PUSH1 0x00
000012ea: SLOAD
000012eb: PUSH2 0x0100
000012ee: SWAP1
000012ef: DIV
000012f0: PUSH1 0xff
000012f2: AND
000012f3: ISZERO
000012f4: DUP1
000012f5: ISZERO
000012f6: PUSH2 0x1306
000012f9: JUMPI
000012fa: POP
000012fb: PUSH1 0x00
000012fd: SLOAD
000012fe: PUSH1 0xff
00001300: DUP1
00001301: DUP4
00001302: AND
00001303: SWAP2
00001304: AND
00001305: LT
00001306: JUMPDEST
00001307: PUSH2 0x1392
0000130a: JUMPI
0000130b: PUSH1 0x40
0000130d: MLOAD
0000130e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000132f: DUP2
00001330: MSTORE
00001331: PUSH1 0x20
00001333: PUSH1 0x04
00001335: DUP3
00001336: ADD
00001337: MSTORE
00001338: PUSH1 0x2e
0000133a: PUSH1 0x24
0000133c: DUP3
0000133d: ADD
0000133e: MSTORE
0000133f: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00001360: PUSH1 0x44
00001362: DUP3
00001363: ADD
00001364: MSTORE
00001365: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00001386: PUSH1 0x64
00001388: DUP3
00001389: ADD
0000138a: MSTORE
0000138b: PUSH1 0x84
0000138d: ADD
0000138e: PUSH2 0x023a
00001391: JUMP
00001392: JUMPDEST
00001393: PUSH1 0x00
00001395: DUP1
00001396: SLOAD
00001397: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000
000013b8: AND
000013b9: PUSH1 0xff
000013bb: DUP4
000013bc: AND
000013bd: OR
000013be: PUSH2 0x0100
000013c1: OR
000013c2: SWAP1
000013c3: SSTORE
000013c4: PUSH2 0x13cb
000013c7: PUSH2 0x1e53
000013ca: JUMP
000013cb: JUMPDEST
000013cc: PUSH1 0x34
000013ce: DUP1
000013cf: SLOAD
000013d0: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000013f1: AND
000013f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001407: DUP5
00001408: AND
00001409: OR
0000140a: SWAP1
0000140b: SSTORE
0000140c: PUSH2 0x1429
0000140f: DUP4
00001410: PUSH20 0x4200000000000000000000000000000000000010
00001425: PUSH2 0x1ed6
00001428: JUMP
00001429: JUMPDEST
0000142a: PUSH1 0x00
0000142c: DUP1
0000142d: SLOAD
0000142e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
0000144f: AND
00001450: SWAP1
00001451: SSTORE
00001452: PUSH1 0x40
00001454: MLOAD
00001455: PUSH1 0xff
00001457: DUP3
00001458: AND
00001459: DUP2
0000145a: MSTORE
0000145b: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
0000147c: SWAP1
0000147d: PUSH1 0x20
0000147f: ADD
00001480: PUSH1 0x40
00001482: MLOAD
00001483: DUP1
00001484: SWAP2
00001485: SUB
00001486: SWAP1
00001487: LOG1
00001488: POP
00001489: POP
0000148a: POP
0000148b: JUMP
0000148c: JUMPDEST
0000148d: PUSH2 0x0a60
00001490: DUP8
00001491: DUP8
00001492: CALLER
00001493: DUP9
00001494: DUP9
00001495: DUP9
00001496: DUP9
00001497: DUP9
00001498: DUP1
00001499: DUP1
0000149a: PUSH1 0x1f
0000149c: ADD
0000149d: PUSH1 0x20
0000149f: DUP1
000014a0: SWAP2
000014a1: DIV
000014a2: MUL
000014a3: PUSH1 0x20
000014a5: ADD
000014a6: PUSH1 0x40
000014a8: MLOAD
000014a9: SWAP1
000014aa: DUP2
000014ab: ADD
000014ac: PUSH1 0x40
000014ae: MSTORE
000014af: DUP1
000014b0: SWAP4
000014b1: SWAP3
000014b2: SWAP2
000014b3: SWAP1
000014b4: DUP2
000014b5: DUP2
000014b6: MSTORE
000014b7: PUSH1 0x20
000014b9: ADD
000014ba: DUP4
000014bb: DUP4
000014bc: DUP1
000014bd: DUP3
000014be: DUP5
000014bf: CALLDATACOPY
000014c0: PUSH1 0x00
000014c2: SWAP3
000014c3: ADD
000014c4: SWAP2
000014c5: SWAP1
000014c6: SWAP2
000014c7: MSTORE
000014c8: POP
000014c9: PUSH2 0x1fc0
000014cc: SWAP3
000014cd: POP
000014ce: POP
000014cf: POP
000014d0: JUMP
000014d1: JUMPDEST
000014d2: PUSH2 0x14d9
000014d5: PUSH2 0x05ff
000014d8: JUMP
000014d9: JUMPDEST
000014da: PUSH2 0x1565
000014dd: JUMPI
000014de: PUSH1 0x40
000014e0: MLOAD
000014e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001502: DUP2
00001503: MSTORE
00001504: PUSH1 0x20
00001506: PUSH1 0x04
00001508: DUP3
00001509: ADD
0000150a: MSTORE
0000150b: PUSH1 0x37
0000150d: PUSH1 0x24
0000150f: DUP3
00001510: ADD
00001511: MSTORE
00001512: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00001533: PUSH1 0x44
00001535: DUP3
00001536: ADD
00001537: MSTORE
00001538: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00001559: PUSH1 0x64
0000155b: DUP3
0000155c: ADD
0000155d: MSTORE
0000155e: PUSH1 0x84
00001560: ADD
00001561: PUSH2 0x023a
00001564: JUMP
00001565: JUMPDEST
00001566: PUSH2 0x101a
00001569: DUP7
0000156a: DUP7
0000156b: CALLER
0000156c: CALLER
0000156d: DUP9
0000156e: DUP9
0000156f: DUP9
00001570: DUP9
00001571: DUP1
00001572: DUP1
00001573: PUSH1 0x1f
00001575: ADD
00001576: PUSH1 0x20
00001578: DUP1
00001579: SWAP2
0000157a: DIV
0000157b: MUL
0000157c: PUSH1 0x20
0000157e: ADD
0000157f: PUSH1 0x40
00001581: MLOAD
00001582: SWAP1
00001583: DUP2
00001584: ADD
00001585: PUSH1 0x40
00001587: MSTORE
00001588: DUP1
00001589: SWAP4
0000158a: SWAP3
0000158b: SWAP2
0000158c: SWAP1
0000158d: DUP2
0000158e: DUP2
0000158f: MSTORE
00001590: PUSH1 0x20
00001592: ADD
00001593: DUP4
00001594: DUP4
00001595: DUP1
00001596: DUP3
00001597: DUP5
00001598: CALLDATACOPY
00001599: PUSH1 0x00
0000159b: SWAP3
0000159c: ADD
0000159d: SWAP2
0000159e: SWAP1
0000159f: SWAP2
000015a0: MSTORE
000015a1: POP
000015a2: PUSH2 0x2379
000015a5: SWAP3
000015a6: POP
000015a7: POP
000015a8: POP
000015a9: JUMP
000015aa: JUMPDEST
000015ab: PUSH1 0x34
000015ad: SLOAD
000015ae: PUSH1 0x40
000015b0: DUP1
000015b1: MLOAD
000015b2: PUSH32 0x5c975abb00000000000000000000000000000000000000000000000000000000
000015d3: DUP2
000015d4: MSTORE
000015d5: SWAP1
000015d6: MLOAD
000015d7: PUSH1 0x00
000015d9: SWAP3
000015da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ef: AND
000015f0: SWAP2
000015f1: PUSH4 0x5c975abb
000015f6: SWAP2
000015f7: PUSH1 0x04
000015f9: DUP1
000015fa: DUP4
000015fb: ADD
000015fc: SWAP3
000015fd: PUSH1 0x20
000015ff: SWAP3
00001600: SWAP2
00001601: SWAP1
00001602: DUP3
00001603: SWAP1
00001604: SUB
00001605: ADD
00001606: DUP2
00001607: DUP7
00001608: GAS
00001609: STATICCALL
0000160a: ISZERO
0000160b: DUP1
0000160c: ISZERO
0000160d: PUSH2 0x161a
00001610: JUMPI
00001611: RETURNDATASIZE
00001612: PUSH1 0x00
00001614: DUP1
00001615: RETURNDATACOPY
00001616: RETURNDATASIZE
00001617: PUSH1 0x00
00001619: REVERT
0000161a: JUMPDEST
0000161b: POP
0000161c: POP
0000161d: POP
0000161e: POP
0000161f: PUSH1 0x40
00001621: MLOAD
00001622: RETURNDATASIZE
00001623: PUSH1 0x1f
00001625: NOT
00001626: PUSH1 0x1f
00001628: DUP3
00001629: ADD
0000162a: AND
0000162b: DUP3
0000162c: ADD
0000162d: DUP1
0000162e: PUSH1 0x40
00001630: MSTORE
00001631: POP
00001632: DUP2
00001633: ADD
00001634: SWAP1
00001635: PUSH2 0x10b6
00001638: SWAP2
00001639: SWAP1
0000163a: PUSH2 0x2fa9
0000163d: JUMP
0000163e: JUMPDEST
0000163f: PUSH2 0x0a60
00001642: DUP8
00001643: DUP8
00001644: CALLER
00001645: DUP9
00001646: DUP9
00001647: DUP9
00001648: DUP9
00001649: DUP9
0000164a: DUP1
0000164b: DUP1
0000164c: PUSH1 0x1f
0000164e: ADD
0000164f: PUSH1 0x20
00001651: DUP1
00001652: SWAP2
00001653: DIV
00001654: MUL
00001655: PUSH1 0x20
00001657: ADD
00001658: PUSH1 0x40
0000165a: MLOAD
0000165b: SWAP1
0000165c: DUP2
0000165d: ADD
0000165e: PUSH1 0x40
00001660: MSTORE
00001661: DUP1
00001662: SWAP4
00001663: SWAP3
00001664: SWAP2
00001665: SWAP1
00001666: DUP2
00001667: DUP2
00001668: MSTORE
00001669: PUSH1 0x20
0000166b: ADD
0000166c: DUP4
0000166d: DUP4
0000166e: DUP1
0000166f: DUP3
00001670: DUP5
00001671: CALLDATACOPY
00001672: PUSH1 0x00
00001674: SWAP3
00001675: ADD
00001676: SWAP2
00001677: SWAP1
00001678: SWAP2
00001679: MSTORE
0000167a: POP
0000167b: PUSH2 0x2379
0000167e: SWAP3
0000167f: POP
00001680: POP
00001681: POP
00001682: JUMP
00001683: JUMPDEST
00001684: PUSH2 0x168b
00001687: PUSH2 0x05ff
0000168a: JUMP
0000168b: JUMPDEST
0000168c: PUSH2 0x1717
0000168f: JUMPI
00001690: PUSH1 0x40
00001692: MLOAD
00001693: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016b4: DUP2
000016b5: MSTORE
000016b6: PUSH1 0x20
000016b8: PUSH1 0x04
000016ba: DUP3
000016bb: ADD
000016bc: MSTORE
000016bd: PUSH1 0x37
000016bf: PUSH1 0x24
000016c1: DUP3
000016c2: ADD
000016c3: MSTORE
000016c4: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000016e5: PUSH1 0x44
000016e7: DUP3
000016e8: ADD
000016e9: MSTORE
000016ea: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
0000170b: PUSH1 0x64
0000170d: DUP3
0000170e: ADD
0000170f: MSTORE
00001710: PUSH1 0x84
00001712: ADD
00001713: PUSH2 0x023a
00001716: JUMP
00001717: JUMPDEST
00001718: PUSH2 0x101a
0000171b: DUP7
0000171c: DUP7
0000171d: CALLER
0000171e: CALLER
0000171f: DUP9
00001720: DUP9
00001721: DUP9
00001722: DUP9
00001723: DUP1
00001724: DUP1
00001725: PUSH1 0x1f
00001727: ADD
00001728: PUSH1 0x20
0000172a: DUP1
0000172b: SWAP2
0000172c: DIV
0000172d: MUL
0000172e: PUSH1 0x20
00001730: ADD
00001731: PUSH1 0x40
00001733: MLOAD
00001734: SWAP1
00001735: DUP2
00001736: ADD
00001737: PUSH1 0x40
00001739: MSTORE
0000173a: DUP1
0000173b: SWAP4
0000173c: SWAP3
0000173d: SWAP2
0000173e: SWAP1
0000173f: DUP2
00001740: DUP2
00001741: MSTORE
00001742: PUSH1 0x20
00001744: ADD
00001745: DUP4
00001746: DUP4
00001747: DUP1
00001748: DUP3
00001749: DUP5
0000174a: CALLDATACOPY
0000174b: PUSH1 0x00
0000174d: SWAP3
0000174e: ADD
0000174f: SWAP2
00001750: SWAP1
00001751: SWAP2
00001752: MSTORE
00001753: POP
00001754: PUSH2 0x1fc0
00001757: SWAP3
00001758: POP
00001759: POP
0000175a: POP
0000175b: JUMP
0000175c: JUMPDEST
0000175d: PUSH2 0x0649
00001760: CALLER
00001761: DUP6
00001762: DUP6
00001763: DUP6
00001764: DUP6
00001765: DUP1
00001766: DUP1
00001767: PUSH1 0x1f
00001769: ADD
0000176a: PUSH1 0x20
0000176c: DUP1
0000176d: SWAP2
0000176e: DIV
0000176f: MUL
00001770: PUSH1 0x20
00001772: ADD
00001773: PUSH1 0x40
00001775: MLOAD
00001776: SWAP1
00001777: DUP2
00001778: ADD
00001779: PUSH1 0x40
0000177b: MSTORE
0000177c: DUP1
0000177d: SWAP4
0000177e: SWAP3
0000177f: SWAP2
00001780: SWAP1
00001781: DUP2
00001782: DUP2
00001783: MSTORE
00001784: PUSH1 0x20
00001786: ADD
00001787: DUP4
00001788: DUP4
00001789: DUP1
0000178a: DUP3
0000178b: DUP5
0000178c: CALLDATACOPY
0000178d: PUSH1 0x00
0000178f: SWAP3
00001790: ADD
00001791: SWAP2
00001792: SWAP1
00001793: SWAP2
00001794: MSTORE
00001795: POP
00001796: PUSH2 0x063c
00001799: SWAP3
0000179a: POP
0000179b: POP
0000179c: POP
0000179d: JUMP
0000179e: JUMPDEST
0000179f: PUSH2 0x0a60
000017a2: DUP8
000017a3: DUP8
000017a4: DUP8
000017a5: DUP8
000017a6: DUP8
000017a7: DUP8
000017a8: DUP8
000017a9: PUSH2 0x064f
000017ac: JUMP
000017ad: JUMPDEST
000017ae: PUSH2 0x17b5
000017b1: PUSH2 0x05ff
000017b4: JUMP
000017b5: JUMPDEST
000017b6: PUSH2 0x1841
000017b9: JUMPI
000017ba: PUSH1 0x40
000017bc: MLOAD
000017bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017de: DUP2
000017df: MSTORE
000017e0: PUSH1 0x20
000017e2: PUSH1 0x04
000017e4: DUP3
000017e5: ADD
000017e6: MSTORE
000017e7: PUSH1 0x37
000017e9: PUSH1 0x24
000017eb: DUP3
000017ec: ADD
000017ed: MSTORE
000017ee: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
0000180f: PUSH1 0x44
00001811: DUP3
00001812: ADD
00001813: MSTORE
00001814: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00001835: PUSH1 0x64
00001837: DUP3
00001838: ADD
00001839: MSTORE
0000183a: PUSH1 0x84
0000183c: ADD
0000183d: PUSH2 0x023a
00001840: JUMP
00001841: JUMPDEST
00001842: PUSH2 0x0b40
00001845: CALLER
00001846: CALLER
00001847: DUP6
00001848: DUP6
00001849: DUP6
0000184a: DUP1
0000184b: DUP1
0000184c: PUSH1 0x1f
0000184e: ADD
0000184f: PUSH1 0x20
00001851: DUP1
00001852: SWAP2
00001853: DIV
00001854: MUL
00001855: PUSH1 0x20
00001857: ADD
00001858: PUSH1 0x40
0000185a: MLOAD
0000185b: SWAP1
0000185c: DUP2
0000185d: ADD
0000185e: PUSH1 0x40
00001860: MSTORE
00001861: DUP1
00001862: SWAP4
00001863: SWAP3
00001864: SWAP2
00001865: SWAP1
00001866: DUP2
00001867: DUP2
00001868: MSTORE
00001869: PUSH1 0x20
0000186b: ADD
0000186c: DUP4
0000186d: DUP4
0000186e: DUP1
0000186f: DUP3
00001870: DUP5
00001871: CALLDATACOPY
00001872: PUSH1 0x00
00001874: SWAP3
00001875: ADD
00001876: SWAP2
00001877: SWAP1
00001878: SWAP2
00001879: MSTORE
0000187a: POP
0000187b: PUSH2 0x063c
0000187e: SWAP3
0000187f: POP
00001880: POP
00001881: POP
00001882: JUMP
00001883: JUMPDEST
00001884: PUSH1 0x00
00001886: PUSH2 0x188d
00001889: PUSH2 0x10bb
0000188c: JUMP
0000188d: JUMPDEST
0000188e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a3: AND
000018a4: PUSH4 0x8da5cb5b
000018a9: PUSH1 0x40
000018ab: MLOAD
000018ac: DUP2
000018ad: PUSH4 0xffffffff
000018b2: AND
000018b3: PUSH1 0xe0
000018b5: SHL
000018b6: DUP2
000018b7: MSTORE
000018b8: PUSH1 0x04
000018ba: ADD
000018bb: PUSH1 0x20
000018bd: PUSH1 0x40
000018bf: MLOAD
000018c0: DUP1
000018c1: DUP4
000018c2: SUB
000018c3: DUP2
000018c4: DUP7
000018c5: GAS
000018c6: STATICCALL
000018c7: ISZERO
000018c8: DUP1
000018c9: ISZERO
000018ca: PUSH2 0x1092
000018cd: JUMPI
000018ce: RETURNDATASIZE
000018cf: PUSH1 0x00
000018d1: DUP1
000018d2: RETURNDATACOPY
000018d3: RETURNDATASIZE
000018d4: PUSH1 0x00
000018d6: REVERT
000018d7: JUMPDEST
000018d8: PUSH2 0x0649
000018db: CALLER
000018dc: DUP6
000018dd: CALLVALUE
000018de: DUP7
000018df: DUP7
000018e0: DUP7
000018e1: DUP1
000018e2: DUP1
000018e3: PUSH1 0x1f
000018e5: ADD
000018e6: PUSH1 0x20
000018e8: DUP1
000018e9: SWAP2
000018ea: DIV
000018eb: MUL
000018ec: PUSH1 0x20
000018ee: ADD
000018ef: PUSH1 0x40
000018f1: MLOAD
000018f2: SWAP1
000018f3: DUP2
000018f4: ADD
000018f5: PUSH1 0x40
000018f7: MSTORE
000018f8: DUP1
000018f9: SWAP4
000018fa: SWAP3
000018fb: SWAP2
000018fc: SWAP1
000018fd: DUP2
000018fe: DUP2
000018ff: MSTORE
00001900: PUSH1 0x20
00001902: ADD
00001903: DUP4
00001904: DUP4
00001905: DUP1
00001906: DUP3
00001907: DUP5
00001908: CALLDATACOPY
00001909: PUSH1 0x00
0000190b: SWAP3
0000190c: ADD
0000190d: SWAP2
0000190e: SWAP1
0000190f: SWAP2
00001910: MSTORE
00001911: POP
00001912: PUSH2 0x191a
00001915: SWAP3
00001916: POP
00001917: POP
00001918: POP
00001919: JUMP
0000191a: JUMPDEST
0000191b: DUP3
0000191c: CALLVALUE
0000191d: EQ
0000191e: PUSH2 0x19a9
00001921: JUMPI
00001922: PUSH1 0x40
00001924: MLOAD
00001925: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001946: DUP2
00001947: MSTORE
00001948: PUSH1 0x20
0000194a: PUSH1 0x04
0000194c: DUP3
0000194d: ADD
0000194e: MSTORE
0000194f: PUSH1 0x3e
00001951: PUSH1 0x24
00001953: DUP3
00001954: ADD
00001955: MSTORE
00001956: PUSH32 0x5374616e646172644272696467653a206272696467696e6720455448206d7573
00001977: PUSH1 0x44
00001979: DUP3
0000197a: ADD
0000197b: MSTORE
0000197c: PUSH32 0x7420696e636c7564652073756666696369656e74204554482076616c75650000
0000199d: PUSH1 0x64
0000199f: DUP3
000019a0: ADD
000019a1: MSTORE
000019a2: PUSH1 0x84
000019a4: ADD
000019a5: PUSH2 0x023a
000019a8: JUMP
000019a9: JUMPDEST
000019aa: PUSH2 0x19b5
000019ad: DUP6
000019ae: DUP6
000019af: DUP6
000019b0: DUP5
000019b1: PUSH2 0x2388
000019b4: JUMP
000019b5: JUMPDEST
000019b6: PUSH1 0x03
000019b8: SLOAD
000019b9: PUSH1 0x04
000019bb: SLOAD
000019bc: PUSH1 0x40
000019be: MLOAD
000019bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d4: SWAP3
000019d5: DUP4
000019d6: AND
000019d7: SWAP3
000019d8: PUSH4 0x3dbb202b
000019dd: SWAP3
000019de: DUP8
000019df: SWAP3
000019e0: SWAP2
000019e1: AND
000019e2: SWAP1
000019e3: PUSH32 0x1635f5fd00000000000000000000000000000000000000000000000000000000
00001a04: SWAP1
00001a05: PUSH2 0x1a18
00001a08: SWAP1
00001a09: DUP12
00001a0a: SWAP1
00001a0b: DUP12
00001a0c: SWAP1
00001a0d: DUP7
00001a0e: SWAP1
00001a0f: DUP11
00001a10: SWAP1
00001a11: PUSH1 0x24
00001a13: ADD
00001a14: PUSH2 0x2fcb
00001a17: JUMP
00001a18: JUMPDEST
00001a19: PUSH1 0x40
00001a1b: DUP1
00001a1c: MLOAD
00001a1d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001a3e: DUP2
00001a3f: DUP5
00001a40: SUB
00001a41: ADD
00001a42: DUP2
00001a43: MSTORE
00001a44: SWAP2
00001a45: DUP2
00001a46: MSTORE
00001a47: PUSH1 0x20
00001a49: DUP3
00001a4a: ADD
00001a4b: DUP1
00001a4c: MLOAD
00001a4d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001a6a: AND
00001a6b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001a8c: SWAP5
00001a8d: DUP6
00001a8e: AND
00001a8f: OR
00001a90: SWAP1
00001a91: MSTORE
00001a92: MLOAD
00001a93: PUSH1 0xe0
00001a95: DUP7
00001a96: SWAP1
00001a97: SHL
00001a98: SWAP1
00001a99: SWAP3
00001a9a: AND
00001a9b: DUP3
00001a9c: MSTORE
00001a9d: PUSH2 0x1aab
00001aa0: SWAP3
00001aa1: SWAP2
00001aa2: DUP9
00001aa3: SWAP1
00001aa4: PUSH1 0x04
00001aa6: ADD
00001aa7: PUSH2 0x3014
00001aaa: JUMP
00001aab: JUMPDEST
00001aac: PUSH1 0x00
00001aae: PUSH1 0x40
00001ab0: MLOAD
00001ab1: DUP1
00001ab2: DUP4
00001ab3: SUB
00001ab4: DUP2
00001ab5: DUP6
00001ab6: DUP9
00001ab7: DUP1
00001ab8: EXTCODESIZE
00001ab9: ISZERO
00001aba: DUP1
00001abb: ISZERO
00001abc: PUSH2 0x1ac4
00001abf: JUMPI
00001ac0: PUSH1 0x00
00001ac2: DUP1
00001ac3: REVERT
00001ac4: JUMPDEST
00001ac5: POP
00001ac6: GAS
00001ac7: CALL
00001ac8: ISZERO
00001ac9: DUP1
00001aca: ISZERO
00001acb: PUSH2 0x1ad8
00001ace: JUMPI
00001acf: RETURNDATASIZE
00001ad0: PUSH1 0x00
00001ad2: DUP1
00001ad3: RETURNDATACOPY
00001ad4: RETURNDATASIZE
00001ad5: PUSH1 0x00
00001ad7: REVERT
00001ad8: JUMPDEST
00001ad9: POP
00001ada: POP
00001adb: POP
00001adc: POP
00001add: POP
00001ade: POP
00001adf: POP
00001ae0: POP
00001ae1: POP
00001ae2: POP
00001ae3: JUMP
00001ae4: JUMPDEST
00001ae5: PUSH1 0x00
00001ae7: PUSH2 0x1b10
00001aea: DUP3
00001aeb: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
00001b0c: PUSH2 0x23fb
00001b0f: JUMP
00001b10: JUMPDEST
00001b11: DUP1
00001b12: PUSH2 0x1b40
00001b15: JUMPI
00001b16: POP
00001b17: PUSH2 0x1b40
00001b1a: DUP3
00001b1b: PUSH32 0xec4fc8e300000000000000000000000000000000000000000000000000000000
00001b3c: PUSH2 0x23fb
00001b3f: JUMP
00001b40: JUMPDEST
00001b41: SWAP3
00001b42: SWAP2
00001b43: POP
00001b44: POP
00001b45: JUMP
00001b46: JUMPDEST
00001b47: PUSH1 0x00
00001b49: PUSH2 0x1b72
00001b4c: DUP4
00001b4d: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
00001b6e: PUSH2 0x23fb
00001b71: JUMP
00001b72: JUMPDEST
00001b73: ISZERO
00001b74: PUSH2 0x1c1b
00001b77: JUMPI
00001b78: DUP3
00001b79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8e: AND
00001b8f: PUSH4 0xc01e1bd6
00001b94: PUSH1 0x40
00001b96: MLOAD
00001b97: DUP2
00001b98: PUSH4 0xffffffff
00001b9d: AND
00001b9e: PUSH1 0xe0
00001ba0: SHL
00001ba1: DUP2
00001ba2: MSTORE
00001ba3: PUSH1 0x04
00001ba5: ADD
00001ba6: PUSH1 0x20
00001ba8: PUSH1 0x40
00001baa: MLOAD
00001bab: DUP1
00001bac: DUP4
00001bad: SUB
00001bae: DUP2
00001baf: DUP7
00001bb0: GAS
00001bb1: STATICCALL
00001bb2: ISZERO
00001bb3: DUP1
00001bb4: ISZERO
00001bb5: PUSH2 0x1bc2
00001bb8: JUMPI
00001bb9: RETURNDATASIZE
00001bba: PUSH1 0x00
00001bbc: DUP1
00001bbd: RETURNDATACOPY
00001bbe: RETURNDATASIZE
00001bbf: PUSH1 0x00
00001bc1: REVERT
00001bc2: JUMPDEST
00001bc3: POP
00001bc4: POP
00001bc5: POP
00001bc6: POP
00001bc7: PUSH1 0x40
00001bc9: MLOAD
00001bca: RETURNDATASIZE
00001bcb: PUSH1 0x1f
00001bcd: NOT
00001bce: PUSH1 0x1f
00001bd0: DUP3
00001bd1: ADD
00001bd2: AND
00001bd3: DUP3
00001bd4: ADD
00001bd5: DUP1
00001bd6: PUSH1 0x40
00001bd8: MSTORE
00001bd9: POP
00001bda: DUP2
00001bdb: ADD
00001bdc: SWAP1
00001bdd: PUSH2 0x1be6
00001be0: SWAP2
00001be1: SWAP1
00001be2: PUSH2 0x2f09
00001be5: JUMP
00001be6: JUMPDEST
00001be7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bfc: AND
00001bfd: DUP3
00001bfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c13: AND
00001c14: EQ
00001c15: SWAP1
00001c16: POP
00001c17: PUSH2 0x1b40
00001c1a: JUMP
00001c1b: JUMPDEST
00001c1c: DUP3
00001c1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c32: AND
00001c33: PUSH4 0xd6c0b2c4
00001c38: PUSH1 0x40
00001c3a: MLOAD
00001c3b: DUP2
00001c3c: PUSH4 0xffffffff
00001c41: AND
00001c42: PUSH1 0xe0
00001c44: SHL
00001c45: DUP2
00001c46: MSTORE
00001c47: PUSH1 0x04
00001c49: ADD
00001c4a: PUSH1 0x20
00001c4c: PUSH1 0x40
00001c4e: MLOAD
00001c4f: DUP1
00001c50: DUP4
00001c51: SUB
00001c52: DUP2
00001c53: DUP7
00001c54: GAS
00001c55: STATICCALL
00001c56: ISZERO
00001c57: DUP1
00001c58: ISZERO
00001c59: PUSH2 0x1bc2
00001c5c: JUMPI
00001c5d: RETURNDATASIZE
00001c5e: PUSH1 0x00
00001c60: DUP1
00001c61: RETURNDATACOPY
00001c62: RETURNDATASIZE
00001c63: PUSH1 0x00
00001c65: REVERT
00001c66: JUMPDEST
00001c67: PUSH1 0x40
00001c69: MLOAD
00001c6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7f: DUP4
00001c80: AND
00001c81: PUSH1 0x24
00001c83: DUP3
00001c84: ADD
00001c85: MSTORE
00001c86: PUSH1 0x44
00001c88: DUP2
00001c89: ADD
00001c8a: DUP3
00001c8b: SWAP1
00001c8c: MSTORE
00001c8d: PUSH2 0x0b40
00001c90: SWAP1
00001c91: DUP5
00001c92: SWAP1
00001c93: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001cb4: SWAP1
00001cb5: PUSH1 0x64
00001cb7: ADD
00001cb8: JUMPDEST
00001cb9: PUSH1 0x40
00001cbb: DUP1
00001cbc: MLOAD
00001cbd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001cde: DUP2
00001cdf: DUP5
00001ce0: SUB
00001ce1: ADD
00001ce2: DUP2
00001ce3: MSTORE
00001ce4: SWAP2
00001ce5: SWAP1
00001ce6: MSTORE
00001ce7: PUSH1 0x20
00001ce9: DUP2
00001cea: ADD
00001ceb: DUP1
00001cec: MLOAD
00001ced: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001d0a: AND
00001d0b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001d2c: SWAP1
00001d2d: SWAP4
00001d2e: AND
00001d2f: SWAP3
00001d30: SWAP1
00001d31: SWAP3
00001d32: OR
00001d33: SWAP1
00001d34: SWAP2
00001d35: MSTORE
00001d36: PUSH2 0x241e
00001d39: JUMP
00001d3a: JUMPDEST
00001d3b: DUP4
00001d3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d51: AND
00001d52: DUP6
00001d53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d68: AND
00001d69: DUP8
00001d6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d7f: AND
00001d80: PUSH32 0x3ceee06c1e37648fcbb6ed52e17b3e1f275a1f8c7b22a84b2b84732431e046b3
00001da1: DUP7
00001da2: DUP7
00001da3: DUP7
00001da4: PUSH1 0x40
00001da6: MLOAD
00001da7: PUSH2 0x1db2
00001daa: SWAP4
00001dab: SWAP3
00001dac: SWAP2
00001dad: SWAP1
00001dae: PUSH2 0x3059
00001db1: JUMP
00001db2: JUMPDEST
00001db3: PUSH1 0x40
00001db5: MLOAD
00001db6: DUP1
00001db7: SWAP2
00001db8: SUB
00001db9: SWAP1
00001dba: LOG4
00001dbb: PUSH2 0x101a
00001dbe: DUP7
00001dbf: DUP7
00001dc0: DUP7
00001dc1: DUP7
00001dc2: DUP7
00001dc3: DUP7
00001dc4: PUSH2 0x252a
00001dc7: JUMP
00001dc8: JUMPDEST
00001dc9: DUP3
00001dca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddf: AND
00001de0: DUP5
00001de1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df6: AND
00001df7: PUSH32 0x2ac69ee804d9a7a0984249f508dfab7cb2534b465b6ce1580f99a38ba9c5e631
00001e18: DUP5
00001e19: DUP5
00001e1a: PUSH1 0x40
00001e1c: MLOAD
00001e1d: PUSH2 0x1e27
00001e20: SWAP3
00001e21: SWAP2
00001e22: SWAP1
00001e23: PUSH2 0x3097
00001e26: JUMP
00001e27: JUMPDEST
00001e28: PUSH1 0x40
00001e2a: MLOAD
00001e2b: DUP1
00001e2c: SWAP2
00001e2d: SUB
00001e2e: SWAP1
00001e2f: LOG3
00001e30: PUSH2 0x0649
00001e33: DUP5
00001e34: DUP5
00001e35: DUP5
00001e36: DUP5
00001e37: PUSH2 0x25b2
00001e3a: JUMP
00001e3b: JUMPDEST
00001e3c: PUSH1 0x00
00001e3e: DUP1
00001e3f: PUSH1 0x00
00001e41: DUP4
00001e42: MLOAD
00001e43: PUSH1 0x20
00001e45: DUP6
00001e46: ADD
00001e47: DUP7
00001e48: DUP10
00001e49: DUP10
00001e4a: CALL
00001e4b: SWAP6
00001e4c: SWAP5
00001e4d: POP
00001e4e: POP
00001e4f: POP
00001e50: POP
00001e51: POP
00001e52: JUMP
00001e53: JUMPDEST
00001e54: CALLER
00001e55: PUSH2 0x1e5c
00001e58: PUSH2 0x10bb
00001e5b: JUMP
00001e5c: JUMPDEST
00001e5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e72: AND
00001e73: EQ
00001e74: ISZERO
00001e75: DUP1
00001e76: ISZERO
00001e77: PUSH2 0x1e9d
00001e7a: JUMPI
00001e7b: POP
00001e7c: CALLER
00001e7d: PUSH2 0x1e84
00001e80: PUSH2 0x1883
00001e83: JUMP
00001e84: JUMPDEST
00001e85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9a: AND
00001e9b: EQ
00001e9c: ISZERO
00001e9d: JUMPDEST
00001e9e: ISZERO
00001e9f: PUSH2 0x1ed4
00001ea2: JUMPI
00001ea3: PUSH1 0x40
00001ea5: MLOAD
00001ea6: PUSH32 0xc4050a2600000000000000000000000000000000000000000000000000000000
00001ec7: DUP2
00001ec8: MSTORE
00001ec9: PUSH1 0x04
00001ecb: ADD
00001ecc: PUSH1 0x40
00001ece: MLOAD
00001ecf: DUP1
00001ed0: SWAP2
00001ed1: SUB
00001ed2: SWAP1
00001ed3: REVERT
00001ed4: JUMPDEST
00001ed5: JUMP
00001ed6: JUMPDEST
00001ed7: PUSH1 0x00
00001ed9: SLOAD
00001eda: PUSH2 0x0100
00001edd: SWAP1
00001ede: DIV
00001edf: PUSH1 0xff
00001ee1: AND
00001ee2: PUSH2 0x1f6d
00001ee5: JUMPI
00001ee6: PUSH1 0x40
00001ee8: MLOAD
00001ee9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f0a: DUP2
00001f0b: MSTORE
00001f0c: PUSH1 0x20
00001f0e: PUSH1 0x04
00001f10: DUP3
00001f11: ADD
00001f12: MSTORE
00001f13: PUSH1 0x2b
00001f15: PUSH1 0x24
00001f17: DUP3
00001f18: ADD
00001f19: MSTORE
00001f1a: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001f3b: PUSH1 0x44
00001f3d: DUP3
00001f3e: ADD
00001f3f: MSTORE
00001f40: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00001f61: PUSH1 0x64
00001f63: DUP3
00001f64: ADD
00001f65: MSTORE
00001f66: PUSH1 0x84
00001f68: ADD
00001f69: PUSH2 0x023a
00001f6c: JUMP
00001f6d: JUMPDEST
00001f6e: PUSH1 0x03
00001f70: DUP1
00001f71: SLOAD
00001f72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f87: SWAP4
00001f88: DUP5
00001f89: AND
00001f8a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001fab: SWAP2
00001fac: DUP3
00001fad: AND
00001fae: OR
00001faf: SWAP1
00001fb0: SWAP2
00001fb1: SSTORE
00001fb2: PUSH1 0x04
00001fb4: DUP1
00001fb5: SLOAD
00001fb6: SWAP3
00001fb7: SWAP1
00001fb8: SWAP4
00001fb9: AND
00001fba: SWAP2
00001fbb: AND
00001fbc: OR
00001fbd: SWAP1
00001fbe: SSTORE
00001fbf: JUMP
00001fc0: JUMPDEST
00001fc1: CALLVALUE
00001fc2: ISZERO
00001fc3: PUSH2 0x204e
00001fc6: JUMPI
00001fc7: PUSH1 0x40
00001fc9: MLOAD
00001fca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001feb: DUP2
00001fec: MSTORE
00001fed: PUSH1 0x20
00001fef: PUSH1 0x04
00001ff1: DUP3
00001ff2: ADD
00001ff3: MSTORE
00001ff4: PUSH1 0x21
00001ff6: PUSH1 0x24
00001ff8: DUP3
00001ff9: ADD
00001ffa: MSTORE
00001ffb: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e642076616c75
0000201c: PUSH1 0x44
0000201e: DUP3
0000201f: ADD
00002020: MSTORE
00002021: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00002042: PUSH1 0x64
00002044: DUP3
00002045: ADD
00002046: MSTORE
00002047: PUSH1 0x84
00002049: ADD
0000204a: PUSH2 0x023a
0000204d: JUMP
0000204e: JUMPDEST
0000204f: PUSH2 0x2057
00002052: DUP8
00002053: PUSH2 0x1ae4
00002056: JUMP
00002057: JUMPDEST
00002058: ISZERO
00002059: PUSH2 0x21a5
0000205c: JUMPI
0000205d: PUSH2 0x2066
00002060: DUP8
00002061: DUP8
00002062: PUSH2 0x1b46
00002065: JUMP
00002066: JUMPDEST
00002067: PUSH2 0x2118
0000206a: JUMPI
0000206b: PUSH1 0x40
0000206d: MLOAD
0000206e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000208f: DUP2
00002090: MSTORE
00002091: PUSH1 0x20
00002093: PUSH1 0x04
00002095: DUP3
00002096: ADD
00002097: MSTORE
00002098: PUSH1 0x4a
0000209a: PUSH1 0x24
0000209c: DUP3
0000209d: ADD
0000209e: MSTORE
0000209f: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
000020c0: PUSH1 0x44
000020c2: DUP3
000020c3: ADD
000020c4: MSTORE
000020c5: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
000020e6: PUSH1 0x64
000020e8: DUP3
000020e9: ADD
000020ea: MSTORE
000020eb: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
0000210c: PUSH1 0x84
0000210e: DUP3
0000210f: ADD
00002110: MSTORE
00002111: PUSH1 0xa4
00002113: ADD
00002114: PUSH2 0x023a
00002117: JUMP
00002118: JUMPDEST
00002119: PUSH1 0x40
0000211b: MLOAD
0000211c: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000
0000213d: DUP2
0000213e: MSTORE
0000213f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002154: DUP7
00002155: DUP2
00002156: AND
00002157: PUSH1 0x04
00002159: DUP4
0000215a: ADD
0000215b: MSTORE
0000215c: PUSH1 0x24
0000215e: DUP3
0000215f: ADD
00002160: DUP6
00002161: SWAP1
00002162: MSTORE
00002163: DUP9
00002164: AND
00002165: SWAP1
00002166: PUSH4 0x9dc29fac
0000216b: SWAP1
0000216c: PUSH1 0x44
0000216e: ADD
0000216f: PUSH1 0x00
00002171: PUSH1 0x40
00002173: MLOAD
00002174: DUP1
00002175: DUP4
00002176: SUB
00002177: DUP2
00002178: PUSH1 0x00
0000217a: DUP8
0000217b: DUP1
0000217c: EXTCODESIZE
0000217d: ISZERO
0000217e: DUP1
0000217f: ISZERO
00002180: PUSH2 0x2188
00002183: JUMPI
00002184: PUSH1 0x00
00002186: DUP1
00002187: REVERT
00002188: JUMPDEST
00002189: POP
0000218a: GAS
0000218b: CALL
0000218c: ISZERO
0000218d: DUP1
0000218e: ISZERO
0000218f: PUSH2 0x219c
00002192: JUMPI
00002193: RETURNDATASIZE
00002194: PUSH1 0x00
00002196: DUP1
00002197: RETURNDATACOPY
00002198: RETURNDATASIZE
00002199: PUSH1 0x00
0000219b: REVERT
0000219c: JUMPDEST
0000219d: POP
0000219e: POP
0000219f: POP
000021a0: POP
000021a1: PUSH2 0x2239
000021a4: JUMP
000021a5: JUMPDEST
000021a6: PUSH2 0x21c7
000021a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021be: DUP9
000021bf: AND
000021c0: DUP7
000021c1: ADDRESS
000021c2: DUP7
000021c3: PUSH2 0x261f
000021c6: JUMP
000021c7: JUMPDEST
000021c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021dd: DUP1
000021de: DUP9
000021df: AND
000021e0: PUSH1 0x00
000021e2: SWAP1
000021e3: DUP2
000021e4: MSTORE
000021e5: PUSH1 0x02
000021e7: PUSH1 0x20
000021e9: SWAP1
000021ea: DUP2
000021eb: MSTORE
000021ec: PUSH1 0x40
000021ee: DUP1
000021ef: DUP4
000021f0: KECCAK256
000021f1: SWAP4
000021f2: DUP11
000021f3: AND
000021f4: DUP4
000021f5: MSTORE
000021f6: SWAP3
000021f7: SWAP1
000021f8: MSTORE
000021f9: KECCAK256
000021fa: SLOAD
000021fb: PUSH2 0x2205
000021fe: SWAP1
000021ff: DUP5
00002200: SWAP1
00002201: PUSH2 0x30b0
00002204: JUMP
00002205: JUMPDEST
00002206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000221b: DUP1
0000221c: DUP10
0000221d: AND
0000221e: PUSH1 0x00
00002220: SWAP1
00002221: DUP2
00002222: MSTORE
00002223: PUSH1 0x02
00002225: PUSH1 0x20
00002227: SWAP1
00002228: DUP2
00002229: MSTORE
0000222a: PUSH1 0x40
0000222c: DUP1
0000222d: DUP4
0000222e: KECCAK256
0000222f: SWAP4
00002230: DUP12
00002231: AND
00002232: DUP4
00002233: MSTORE
00002234: SWAP3
00002235: SWAP1
00002236: MSTORE
00002237: KECCAK256
00002238: SSTORE
00002239: JUMPDEST
0000223a: PUSH2 0x2247
0000223d: DUP8
0000223e: DUP8
0000223f: DUP8
00002240: DUP8
00002241: DUP8
00002242: DUP7
00002243: PUSH2 0x267d
00002246: JUMP
00002247: JUMPDEST
00002248: PUSH1 0x03
0000224a: SLOAD
0000224b: PUSH1 0x04
0000224d: SLOAD
0000224e: PUSH1 0x40
00002250: MLOAD
00002251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002266: SWAP3
00002267: DUP4
00002268: AND
00002269: SWAP3
0000226a: PUSH4 0x3dbb202b
0000226f: SWAP3
00002270: AND
00002271: SWAP1
00002272: PUSH32 0x0166a07a00000000000000000000000000000000000000000000000000000000
00002293: SWAP1
00002294: PUSH2 0x22ab
00002297: SWAP1
00002298: DUP12
00002299: SWAP1
0000229a: DUP14
0000229b: SWAP1
0000229c: DUP13
0000229d: SWAP1
0000229e: DUP13
0000229f: SWAP1
000022a0: DUP13
000022a1: SWAP1
000022a2: DUP12
000022a3: SWAP1
000022a4: PUSH1 0x24
000022a6: ADD
000022a7: PUSH2 0x30c8
000022aa: JUMP
000022ab: JUMPDEST
000022ac: PUSH1 0x40
000022ae: DUP1
000022af: MLOAD
000022b0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000022d1: DUP2
000022d2: DUP5
000022d3: SUB
000022d4: ADD
000022d5: DUP2
000022d6: MSTORE
000022d7: SWAP2
000022d8: DUP2
000022d9: MSTORE
000022da: PUSH1 0x20
000022dc: DUP3
000022dd: ADD
000022de: DUP1
000022df: MLOAD
000022e0: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000022fd: AND
000022fe: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000231f: SWAP5
00002320: DUP6
00002321: AND
00002322: OR
00002323: SWAP1
00002324: MSTORE
00002325: MLOAD
00002326: PUSH1 0xe0
00002328: DUP6
00002329: SWAP1
0000232a: SHL
0000232b: SWAP1
0000232c: SWAP3
0000232d: AND
0000232e: DUP3
0000232f: MSTORE
00002330: PUSH2 0x233e
00002333: SWAP3
00002334: SWAP2
00002335: DUP8
00002336: SWAP1
00002337: PUSH1 0x04
00002339: ADD
0000233a: PUSH2 0x3014
0000233d: JUMP
0000233e: JUMPDEST
0000233f: PUSH1 0x00
00002341: PUSH1 0x40
00002343: MLOAD
00002344: DUP1
00002345: DUP4
00002346: SUB
00002347: DUP2
00002348: PUSH1 0x00
0000234a: DUP8
0000234b: DUP1
0000234c: EXTCODESIZE
0000234d: ISZERO
0000234e: DUP1
0000234f: ISZERO
00002350: PUSH2 0x2358
00002353: JUMPI
00002354: PUSH1 0x00
00002356: DUP1
00002357: REVERT
00002358: JUMPDEST
00002359: POP
0000235a: GAS
0000235b: CALL
0000235c: ISZERO
0000235d: DUP1
0000235e: ISZERO
0000235f: PUSH2 0x236c
00002362: JUMPI
00002363: RETURNDATASIZE
00002364: PUSH1 0x00
00002366: DUP1
00002367: RETURNDATACOPY
00002368: RETURNDATASIZE
00002369: PUSH1 0x00
0000236b: REVERT
0000236c: JUMPDEST
0000236d: POP
0000236e: POP
0000236f: POP
00002370: POP
00002371: POP
00002372: POP
00002373: POP
00002374: POP
00002375: POP
00002376: POP
00002377: POP
00002378: JUMP
00002379: JUMPDEST
0000237a: PUSH2 0x0a60
0000237d: DUP8
0000237e: DUP8
0000237f: DUP8
00002380: DUP8
00002381: DUP8
00002382: DUP8
00002383: DUP8
00002384: PUSH2 0x1fc0
00002387: JUMP
00002388: JUMPDEST
00002389: DUP3
0000238a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000239f: AND
000023a0: DUP5
000023a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b6: AND
000023b7: PUSH32 0x35d79ab81f2b2017e19afb5c5571778877782d7a8786f5907f93b0f4702f4f23
000023d8: DUP5
000023d9: DUP5
000023da: PUSH1 0x40
000023dc: MLOAD
000023dd: PUSH2 0x23e7
000023e0: SWAP3
000023e1: SWAP2
000023e2: SWAP1
000023e3: PUSH2 0x3097
000023e6: JUMP
000023e7: JUMPDEST
000023e8: PUSH1 0x40
000023ea: MLOAD
000023eb: DUP1
000023ec: SWAP2
000023ed: SUB
000023ee: SWAP1
000023ef: LOG3
000023f0: PUSH2 0x0649
000023f3: DUP5
000023f4: DUP5
000023f5: DUP5
000023f6: DUP5
000023f7: PUSH2 0x270b
000023fa: JUMP
000023fb: JUMPDEST
000023fc: PUSH1 0x00
000023fe: PUSH2 0x2406
00002401: DUP4
00002402: PUSH2 0x276a
00002405: JUMP
00002406: JUMPDEST
00002407: DUP1
00002408: ISZERO
00002409: PUSH2 0x2417
0000240c: JUMPI
0000240d: POP
0000240e: PUSH2 0x2417
00002411: DUP4
00002412: DUP4
00002413: PUSH2 0x27ce
00002416: JUMP
00002417: JUMPDEST
00002418: SWAP4
00002419: SWAP3
0000241a: POP
0000241b: POP
0000241c: POP
0000241d: JUMP
0000241e: JUMPDEST
0000241f: PUSH1 0x00
00002421: PUSH2 0x2480
00002424: DUP3
00002425: PUSH1 0x40
00002427: MLOAD
00002428: DUP1
00002429: PUSH1 0x40
0000242b: ADD
0000242c: PUSH1 0x40
0000242e: MSTORE
0000242f: DUP1
00002430: PUSH1 0x20
00002432: DUP2
00002433: MSTORE
00002434: PUSH1 0x20
00002436: ADD
00002437: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002458: DUP2
00002459: MSTORE
0000245a: POP
0000245b: DUP6
0000245c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002471: AND
00002472: PUSH2 0x289d
00002475: SWAP1
00002476: SWAP3
00002477: SWAP2
00002478: SWAP1
00002479: PUSH4 0xffffffff
0000247e: AND
0000247f: JUMP
00002480: JUMPDEST
00002481: DUP1
00002482: MLOAD
00002483: SWAP1
00002484: SWAP2
00002485: POP
00002486: ISZERO
00002487: PUSH2 0x0b40
0000248a: JUMPI
0000248b: DUP1
0000248c: DUP1
0000248d: PUSH1 0x20
0000248f: ADD
00002490: SWAP1
00002491: MLOAD
00002492: DUP2
00002493: ADD
00002494: SWAP1
00002495: PUSH2 0x249e
00002498: SWAP2
00002499: SWAP1
0000249a: PUSH2 0x2fa9
0000249d: JUMP
0000249e: JUMPDEST
0000249f: PUSH2 0x0b40
000024a2: JUMPI
000024a3: PUSH1 0x40
000024a5: MLOAD
000024a6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024c7: DUP2
000024c8: MSTORE
000024c9: PUSH1 0x20
000024cb: PUSH1 0x04
000024cd: DUP3
000024ce: ADD
000024cf: MSTORE
000024d0: PUSH1 0x2a
000024d2: PUSH1 0x24
000024d4: DUP3
000024d5: ADD
000024d6: MSTORE
000024d7: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000024f8: PUSH1 0x44
000024fa: DUP3
000024fb: ADD
000024fc: MSTORE
000024fd: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
0000251e: PUSH1 0x64
00002520: DUP3
00002521: ADD
00002522: MSTORE
00002523: PUSH1 0x84
00002525: ADD
00002526: PUSH2 0x023a
00002529: JUMP
0000252a: JUMPDEST
0000252b: DUP4
0000252c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002541: AND
00002542: DUP6
00002543: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002558: AND
00002559: DUP8
0000255a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000256f: AND
00002570: PUSH32 0xd59c65b35445225835c83f50b6ede06a7be047d22e357073e250d9af537518cd
00002591: DUP7
00002592: DUP7
00002593: DUP7
00002594: PUSH1 0x40
00002596: MLOAD
00002597: PUSH2 0x25a2
0000259a: SWAP4
0000259b: SWAP3
0000259c: SWAP2
0000259d: SWAP1
0000259e: PUSH2 0x3059
000025a1: JUMP
000025a2: JUMPDEST
000025a3: PUSH1 0x40
000025a5: MLOAD
000025a6: DUP1
000025a7: SWAP2
000025a8: SUB
000025a9: SWAP1
000025aa: LOG4
000025ab: POP
000025ac: POP
000025ad: POP
000025ae: POP
000025af: POP
000025b0: POP
000025b1: JUMP
000025b2: JUMPDEST
000025b3: DUP3
000025b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025c9: AND
000025ca: DUP5
000025cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e0: AND
000025e1: PUSH32 0x31b2166ff604fc5672ea5df08a78081d2bc6d746cadce880747f3643d819e83d
00002602: DUP5
00002603: DUP5
00002604: PUSH1 0x40
00002606: MLOAD
00002607: PUSH2 0x2611
0000260a: SWAP3
0000260b: SWAP2
0000260c: SWAP1
0000260d: PUSH2 0x3097
00002610: JUMP
00002611: JUMPDEST
00002612: PUSH1 0x40
00002614: MLOAD
00002615: DUP1
00002616: SWAP2
00002617: SUB
00002618: SWAP1
00002619: LOG3
0000261a: POP
0000261b: POP
0000261c: POP
0000261d: POP
0000261e: JUMP
0000261f: JUMPDEST
00002620: PUSH1 0x40
00002622: MLOAD
00002623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002638: DUP1
00002639: DUP6
0000263a: AND
0000263b: PUSH1 0x24
0000263d: DUP4
0000263e: ADD
0000263f: MSTORE
00002640: DUP4
00002641: AND
00002642: PUSH1 0x44
00002644: DUP3
00002645: ADD
00002646: MSTORE
00002647: PUSH1 0x64
00002649: DUP2
0000264a: ADD
0000264b: DUP3
0000264c: SWAP1
0000264d: MSTORE
0000264e: PUSH2 0x0649
00002651: SWAP1
00002652: DUP6
00002653: SWAP1
00002654: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00002675: SWAP1
00002676: PUSH1 0x84
00002678: ADD
00002679: PUSH2 0x1cb8
0000267c: JUMP
0000267d: JUMPDEST
0000267e: DUP4
0000267f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002694: AND
00002695: DUP6
00002696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ab: AND
000026ac: DUP8
000026ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026c2: AND
000026c3: PUSH32 0x718594027abd4eaed59f95162563e0cc6d0e8d5b86b1c7be8b1b0ac3343d0396
000026e4: DUP7
000026e5: DUP7
000026e6: DUP7
000026e7: PUSH1 0x40
000026e9: MLOAD
000026ea: PUSH2 0x26f5
000026ed: SWAP4
000026ee: SWAP3
000026ef: SWAP2
000026f0: SWAP1
000026f1: PUSH2 0x3059
000026f4: JUMP
000026f5: JUMPDEST
000026f6: PUSH1 0x40
000026f8: MLOAD
000026f9: DUP1
000026fa: SWAP2
000026fb: SUB
000026fc: SWAP1
000026fd: LOG4
000026fe: PUSH2 0x101a
00002701: DUP7
00002702: DUP7
00002703: DUP7
00002704: DUP7
00002705: DUP7
00002706: DUP7
00002707: PUSH2 0x28b4
0000270a: JUMP
0000270b: JUMPDEST
0000270c: DUP3
0000270d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002722: AND
00002723: DUP5
00002724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002739: AND
0000273a: PUSH32 0x2849b43074093a05396b6f2a937dee8565b15a48a7b3d4bffb732a5017380af5
0000275b: DUP5
0000275c: DUP5
0000275d: PUSH1 0x40
0000275f: MLOAD
00002760: PUSH2 0x2611
00002763: SWAP3
00002764: SWAP2
00002765: SWAP1
00002766: PUSH2 0x3097
00002769: JUMP
0000276a: JUMPDEST
0000276b: PUSH1 0x00
0000276d: PUSH2 0x2796
00002770: DUP3
00002771: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002792: PUSH2 0x27ce
00002795: JUMP
00002796: JUMPDEST
00002797: DUP1
00002798: ISZERO
00002799: PUSH2 0x1b40
0000279c: JUMPI
0000279d: POP
0000279e: PUSH2 0x27c7
000027a1: DUP3
000027a2: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000027c3: PUSH2 0x27ce
000027c6: JUMP
000027c7: JUMPDEST
000027c8: ISZERO
000027c9: SWAP3
000027ca: SWAP2
000027cb: POP
000027cc: POP
000027cd: JUMP
000027ce: JUMPDEST
000027cf: PUSH1 0x40
000027d1: DUP1
000027d2: MLOAD
000027d3: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000027f4: DUP4
000027f5: AND
000027f6: PUSH1 0x24
000027f8: DUP1
000027f9: DUP4
000027fa: ADD
000027fb: SWAP2
000027fc: SWAP1
000027fd: SWAP2
000027fe: MSTORE
000027ff: DUP3
00002800: MLOAD
00002801: DUP1
00002802: DUP4
00002803: SUB
00002804: SWAP1
00002805: SWAP2
00002806: ADD
00002807: DUP2
00002808: MSTORE
00002809: PUSH1 0x44
0000280b: SWAP1
0000280c: SWAP2
0000280d: ADD
0000280e: SWAP1
0000280f: SWAP2
00002810: MSTORE
00002811: PUSH1 0x20
00002813: DUP1
00002814: DUP3
00002815: ADD
00002816: DUP1
00002817: MLOAD
00002818: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002835: AND
00002836: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002857: OR
00002858: DUP2
00002859: MSTORE
0000285a: DUP3
0000285b: MLOAD
0000285c: PUSH1 0x00
0000285e: SWAP4
0000285f: SWAP3
00002860: DUP5
00002861: SWAP3
00002862: DUP4
00002863: SWAP3
00002864: DUP4
00002865: SWAP3
00002866: SWAP2
00002867: DUP4
00002868: SWAP2
00002869: SWAP1
0000286a: DUP11
0000286b: PUSH2 0x7530
0000286e: STATICCALL
0000286f: SWAP3
00002870: POP
00002871: RETURNDATASIZE
00002872: SWAP2
00002873: POP
00002874: PUSH1 0x00
00002876: MLOAD
00002877: SWAP1
00002878: POP
00002879: DUP3
0000287a: DUP1
0000287b: ISZERO
0000287c: PUSH2 0x2886
0000287f: JUMPI
00002880: POP
00002881: PUSH1 0x20
00002883: DUP3
00002884: LT
00002885: ISZERO
00002886: JUMPDEST
00002887: DUP1
00002888: ISZERO
00002889: PUSH2 0x2892
0000288c: JUMPI
0000288d: POP
0000288e: PUSH1 0x00
00002890: DUP2
00002891: GT
00002892: JUMPDEST
00002893: SWAP8
00002894: SWAP7
00002895: POP
00002896: POP
00002897: POP
00002898: POP
00002899: POP
0000289a: POP
0000289b: POP
0000289c: JUMP
0000289d: JUMPDEST
0000289e: PUSH1 0x60
000028a0: PUSH2 0x28ac
000028a3: DUP5
000028a4: DUP5
000028a5: PUSH1 0x00
000028a7: DUP6
000028a8: PUSH2 0x292c
000028ab: JUMP
000028ac: JUMPDEST
000028ad: SWAP5
000028ae: SWAP4
000028af: POP
000028b0: POP
000028b1: POP
000028b2: POP
000028b3: JUMP
000028b4: JUMPDEST
000028b5: DUP4
000028b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028cb: AND
000028cc: DUP6
000028cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e2: AND
000028e3: DUP8
000028e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028f9: AND
000028fa: PUSH32 0x7ff126db8024424bbfd9826e8ab82ff59136289ea440b04b39a0df1b03b9cabf
0000291b: DUP7
0000291c: DUP7
0000291d: DUP7
0000291e: PUSH1 0x40
00002920: MLOAD
00002921: PUSH2 0x25a2
00002924: SWAP4
00002925: SWAP3
00002926: SWAP2
00002927: SWAP1
00002928: PUSH2 0x3059
0000292b: JUMP
0000292c: JUMPDEST
0000292d: PUSH1 0x60
0000292f: DUP3
00002930: SELFBALANCE
00002931: LT
00002932: ISZERO
00002933: PUSH2 0x29be
00002936: JUMPI
00002937: PUSH1 0x40
00002939: MLOAD
0000293a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000295b: DUP2
0000295c: MSTORE
0000295d: PUSH1 0x20
0000295f: PUSH1 0x04
00002961: DUP3
00002962: ADD
00002963: MSTORE
00002964: PUSH1 0x26
00002966: PUSH1 0x24
00002968: DUP3
00002969: ADD
0000296a: MSTORE
0000296b: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
0000298c: PUSH1 0x44
0000298e: DUP3
0000298f: ADD
00002990: MSTORE
00002991: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
000029b2: PUSH1 0x64
000029b4: DUP3
000029b5: ADD
000029b6: MSTORE
000029b7: PUSH1 0x84
000029b9: ADD
000029ba: PUSH2 0x023a
000029bd: JUMP
000029be: JUMPDEST
000029bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029d4: DUP6
000029d5: AND
000029d6: EXTCODESIZE
000029d7: PUSH2 0x2a3c
000029da: JUMPI
000029db: PUSH1 0x40
000029dd: MLOAD
000029de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000029ff: DUP2
00002a00: MSTORE
00002a01: PUSH1 0x20
00002a03: PUSH1 0x04
00002a05: DUP3
00002a06: ADD
00002a07: MSTORE
00002a08: PUSH1 0x1d
00002a0a: PUSH1 0x24
00002a0c: DUP3
00002a0d: ADD
00002a0e: MSTORE
00002a0f: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002a30: PUSH1 0x44
00002a32: DUP3
00002a33: ADD
00002a34: MSTORE
00002a35: PUSH1 0x64
00002a37: ADD
00002a38: PUSH2 0x023a
00002a3b: JUMP
00002a3c: JUMPDEST
00002a3d: PUSH1 0x00
00002a3f: DUP1
00002a40: DUP7
00002a41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a56: AND
00002a57: DUP6
00002a58: DUP8
00002a59: PUSH1 0x40
00002a5b: MLOAD
00002a5c: PUSH2 0x2a65
00002a5f: SWAP2
00002a60: SWAP1
00002a61: PUSH2 0x3123
00002a64: JUMP
00002a65: JUMPDEST
00002a66: PUSH1 0x00
00002a68: PUSH1 0x40
00002a6a: MLOAD
00002a6b: DUP1
00002a6c: DUP4
00002a6d: SUB
00002a6e: DUP2
00002a6f: DUP6
00002a70: DUP8
00002a71: GAS
00002a72: CALL
00002a73: SWAP3
00002a74: POP
00002a75: POP
00002a76: POP
00002a77: RETURNDATASIZE
00002a78: DUP1
00002a79: PUSH1 0x00
00002a7b: DUP2
00002a7c: EQ
00002a7d: PUSH2 0x2aa2
00002a80: JUMPI
00002a81: PUSH1 0x40
00002a83: MLOAD
00002a84: SWAP2
00002a85: POP
00002a86: PUSH1 0x1f
00002a88: NOT
00002a89: PUSH1 0x3f
00002a8b: RETURNDATASIZE
00002a8c: ADD
00002a8d: AND
00002a8e: DUP3
00002a8f: ADD
00002a90: PUSH1 0x40
00002a92: MSTORE
00002a93: RETURNDATASIZE
00002a94: DUP3
00002a95: MSTORE
00002a96: RETURNDATASIZE
00002a97: PUSH1 0x00
00002a99: PUSH1 0x20
00002a9b: DUP5
00002a9c: ADD
00002a9d: RETURNDATACOPY
00002a9e: PUSH2 0x2aa7
00002aa1: JUMP
00002aa2: JUMPDEST
00002aa3: PUSH1 0x60
00002aa5: SWAP2
00002aa6: POP
00002aa7: JUMPDEST
00002aa8: POP
00002aa9: SWAP2
00002aaa: POP
00002aab: SWAP2
00002aac: POP
00002aad: PUSH2 0x2892
00002ab0: DUP3
00002ab1: DUP3
00002ab2: DUP7
00002ab3: PUSH1 0x60
00002ab5: DUP4
00002ab6: ISZERO
00002ab7: PUSH2 0x2ac1
00002aba: JUMPI
00002abb: POP
00002abc: DUP2
00002abd: PUSH2 0x2417
00002ac0: JUMP
00002ac1: JUMPDEST
00002ac2: DUP3
00002ac3: MLOAD
00002ac4: ISZERO
00002ac5: PUSH2 0x2ad1
00002ac8: JUMPI
00002ac9: DUP3
00002aca: MLOAD
00002acb: DUP1
00002acc: DUP5
00002acd: PUSH1 0x20
00002acf: ADD
00002ad0: REVERT
00002ad1: JUMPDEST
00002ad2: DUP2
00002ad3: PUSH1 0x40
00002ad5: MLOAD
00002ad6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002af7: DUP2
00002af8: MSTORE
00002af9: PUSH1 0x04
00002afb: ADD
00002afc: PUSH2 0x023a
00002aff: SWAP2
00002b00: SWAP1
00002b01: PUSH2 0x2e10
00002b04: JUMP
00002b05: JUMPDEST
00002b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b1b: DUP2
00002b1c: AND
00002b1d: DUP2
00002b1e: EQ
00002b1f: PUSH2 0x2b27
00002b22: JUMPI
00002b23: PUSH1 0x00
00002b25: DUP1
00002b26: REVERT
00002b27: JUMPDEST
00002b28: POP
00002b29: JUMP
00002b2a: JUMPDEST
00002b2b: PUSH1 0x00
00002b2d: DUP1
00002b2e: DUP4
00002b2f: PUSH1 0x1f
00002b31: DUP5
00002b32: ADD
00002b33: SLT
00002b34: PUSH2 0x2b3c
00002b37: JUMPI
00002b38: PUSH1 0x00
00002b3a: DUP1
00002b3b: REVERT
00002b3c: JUMPDEST
00002b3d: POP
00002b3e: DUP2
00002b3f: CALLDATALOAD
00002b40: PUSH8 0xffffffffffffffff
00002b49: DUP2
00002b4a: GT
00002b4b: ISZERO
00002b4c: PUSH2 0x2b54
00002b4f: JUMPI
00002b50: PUSH1 0x00
00002b52: DUP1
00002b53: REVERT
00002b54: JUMPDEST
00002b55: PUSH1 0x20
00002b57: DUP4
00002b58: ADD
00002b59: SWAP2
00002b5a: POP
00002b5b: DUP4
00002b5c: PUSH1 0x20
00002b5e: DUP3
00002b5f: DUP6
00002b60: ADD
00002b61: ADD
00002b62: GT
00002b63: ISZERO
00002b64: PUSH2 0x2b6c
00002b67: JUMPI
00002b68: PUSH1 0x00
00002b6a: DUP1
00002b6b: REVERT
00002b6c: JUMPDEST
00002b6d: SWAP3
00002b6e: POP
00002b6f: SWAP3
00002b70: SWAP1
00002b71: POP
00002b72: JUMP
00002b73: JUMPDEST
00002b74: PUSH1 0x00
00002b76: DUP1
00002b77: PUSH1 0x00
00002b79: DUP1
00002b7a: PUSH1 0x00
00002b7c: DUP1
00002b7d: PUSH1 0x00
00002b7f: PUSH1 0xc0
00002b81: DUP9
00002b82: DUP11
00002b83: SUB
00002b84: SLT
00002b85: ISZERO
00002b86: PUSH2 0x2b8e
00002b89: JUMPI
00002b8a: PUSH1 0x00
00002b8c: DUP1
00002b8d: REVERT
00002b8e: JUMPDEST
00002b8f: DUP8
00002b90: CALLDATALOAD
00002b91: PUSH2 0x2b99
00002b94: DUP2
00002b95: PUSH2 0x2b05
00002b98: JUMP
00002b99: JUMPDEST
00002b9a: SWAP7
00002b9b: POP
00002b9c: PUSH1 0x20
00002b9e: DUP9
00002b9f: ADD
00002ba0: CALLDATALOAD
00002ba1: PUSH2 0x2ba9
00002ba4: DUP2
00002ba5: PUSH2 0x2b05
00002ba8: JUMP
00002ba9: JUMPDEST
00002baa: SWAP6
00002bab: POP
00002bac: PUSH1 0x40
00002bae: DUP9
00002baf: ADD
00002bb0: CALLDATALOAD
00002bb1: PUSH2 0x2bb9
00002bb4: DUP2
00002bb5: PUSH2 0x2b05
00002bb8: JUMP
00002bb9: JUMPDEST
00002bba: SWAP5
00002bbb: POP
00002bbc: PUSH1 0x60
00002bbe: DUP9
00002bbf: ADD
00002bc0: CALLDATALOAD
00002bc1: PUSH2 0x2bc9
00002bc4: DUP2
00002bc5: PUSH2 0x2b05
00002bc8: JUMP
00002bc9: JUMPDEST
00002bca: SWAP4
00002bcb: POP
00002bcc: PUSH1 0x80
00002bce: DUP9
00002bcf: ADD
00002bd0: CALLDATALOAD
00002bd1: SWAP3
00002bd2: POP
00002bd3: PUSH1 0xa0
00002bd5: DUP9
00002bd6: ADD
00002bd7: CALLDATALOAD
00002bd8: PUSH8 0xffffffffffffffff
00002be1: DUP2
00002be2: GT
00002be3: ISZERO
00002be4: PUSH2 0x2bec
00002be7: JUMPI
00002be8: PUSH1 0x00
00002bea: DUP1
00002beb: REVERT
00002bec: JUMPDEST
00002bed: PUSH2 0x2bf8
00002bf0: DUP11
00002bf1: DUP3
00002bf2: DUP12
00002bf3: ADD
00002bf4: PUSH2 0x2b2a
00002bf7: JUMP
00002bf8: JUMPDEST
00002bf9: SWAP9
00002bfa: SWAP12
00002bfb: SWAP8
00002bfc: SWAP11
00002bfd: POP
00002bfe: SWAP6
00002bff: SWAP9
00002c00: POP
00002c01: SWAP4
00002c02: SWAP7
00002c03: SWAP3
00002c04: SWAP6
00002c05: SWAP3
00002c06: SWAP4
00002c07: POP
00002c08: POP
00002c09: POP
00002c0a: JUMP
00002c0b: JUMPDEST
00002c0c: DUP1
00002c0d: CALLDATALOAD
00002c0e: PUSH4 0xffffffff
00002c13: DUP2
00002c14: AND
00002c15: DUP2
00002c16: EQ
00002c17: PUSH2 0x2c1f
00002c1a: JUMPI
00002c1b: PUSH1 0x00
00002c1d: DUP1
00002c1e: REVERT
00002c1f: JUMPDEST
00002c20: SWAP2
00002c21: SWAP1
00002c22: POP
00002c23: JUMP
00002c24: JUMPDEST
00002c25: PUSH1 0x00
00002c27: DUP1
00002c28: PUSH1 0x00
00002c2a: PUSH1 0x40
00002c2c: DUP5
00002c2d: DUP7
00002c2e: SUB
00002c2f: SLT
00002c30: ISZERO
00002c31: PUSH2 0x2c39
00002c34: JUMPI
00002c35: PUSH1 0x00
00002c37: DUP1
00002c38: REVERT
00002c39: JUMPDEST
00002c3a: PUSH2 0x2c42
00002c3d: DUP5
00002c3e: PUSH2 0x2c0b
00002c41: JUMP
00002c42: JUMPDEST
00002c43: SWAP3
00002c44: POP
00002c45: PUSH1 0x20
00002c47: DUP5
00002c48: ADD
00002c49: CALLDATALOAD
00002c4a: PUSH8 0xffffffffffffffff
00002c53: DUP2
00002c54: GT
00002c55: ISZERO
00002c56: PUSH2 0x2c5e
00002c59: JUMPI
00002c5a: PUSH1 0x00
00002c5c: DUP1
00002c5d: REVERT
00002c5e: JUMPDEST
00002c5f: PUSH2 0x2c6a
00002c62: DUP7
00002c63: DUP3
00002c64: DUP8
00002c65: ADD
00002c66: PUSH2 0x2b2a
00002c69: JUMP
00002c6a: JUMPDEST
00002c6b: SWAP5
00002c6c: SWAP8
00002c6d: SWAP1
00002c6e: SWAP7
00002c6f: POP
00002c70: SWAP4
00002c71: SWAP5
00002c72: POP
00002c73: POP
00002c74: POP
00002c75: POP
00002c76: JUMP
00002c77: JUMPDEST
00002c78: PUSH1 0x00
00002c7a: DUP1
00002c7b: PUSH1 0x00
00002c7d: DUP1
00002c7e: PUSH1 0x00
00002c80: PUSH1 0x80
00002c82: DUP7
00002c83: DUP9
00002c84: SUB
00002c85: SLT
00002c86: ISZERO
00002c87: PUSH2 0x2c8f
00002c8a: JUMPI
00002c8b: PUSH1 0x00
00002c8d: DUP1
00002c8e: REVERT
00002c8f: JUMPDEST
00002c90: DUP6
00002c91: CALLDATALOAD
00002c92: PUSH2 0x2c9a
00002c95: DUP2
00002c96: PUSH2 0x2b05
00002c99: JUMP
00002c9a: JUMPDEST
00002c9b: SWAP5
00002c9c: POP
00002c9d: PUSH1 0x20
00002c9f: DUP7
00002ca0: ADD
00002ca1: CALLDATALOAD
00002ca2: PUSH2 0x2caa
00002ca5: DUP2
00002ca6: PUSH2 0x2b05
00002ca9: JUMP
00002caa: JUMPDEST
00002cab: SWAP4
00002cac: POP
00002cad: PUSH1 0x40
00002caf: DUP7
00002cb0: ADD
00002cb1: CALLDATALOAD
00002cb2: SWAP3
00002cb3: POP
00002cb4: PUSH1 0x60
00002cb6: DUP7
00002cb7: ADD
00002cb8: CALLDATALOAD
00002cb9: PUSH8 0xffffffffffffffff
00002cc2: DUP2
00002cc3: GT
00002cc4: ISZERO
00002cc5: PUSH2 0x2ccd
00002cc8: JUMPI
00002cc9: PUSH1 0x00
00002ccb: DUP1
00002ccc: REVERT
00002ccd: JUMPDEST
00002cce: PUSH2 0x2cd9
00002cd1: DUP9
00002cd2: DUP3
00002cd3: DUP10
00002cd4: ADD
00002cd5: PUSH2 0x2b2a
00002cd8: JUMP
00002cd9: JUMPDEST
00002cda: SWAP7
00002cdb: SWAP10
00002cdc: SWAP6
00002cdd: SWAP9
00002cde: POP
00002cdf: SWAP4
00002ce0: SWAP7
00002ce1: POP
00002ce2: SWAP3
00002ce3: SWAP5
00002ce4: SWAP4
00002ce5: SWAP3
00002ce6: POP
00002ce7: POP
00002ce8: POP
00002ce9: JUMP
00002cea: JUMPDEST
00002ceb: PUSH1 0x00
00002ced: DUP1
00002cee: PUSH1 0x40
00002cf0: DUP4
00002cf1: DUP6
00002cf2: SUB
00002cf3: SLT
00002cf4: ISZERO
00002cf5: PUSH2 0x2cfd
00002cf8: JUMPI
00002cf9: PUSH1 0x00
00002cfb: DUP1
00002cfc: REVERT
00002cfd: JUMPDEST
00002cfe: DUP3
00002cff: CALLDATALOAD
00002d00: PUSH2 0x2d08
00002d03: DUP2
00002d04: PUSH2 0x2b05
00002d07: JUMP
00002d08: JUMPDEST
00002d09: SWAP2
00002d0a: POP
00002d0b: PUSH1 0x20
00002d0d: DUP4
00002d0e: ADD
00002d0f: CALLDATALOAD
00002d10: PUSH2 0x2d18
00002d13: DUP2
00002d14: PUSH2 0x2b05
00002d17: JUMP
00002d18: JUMPDEST
00002d19: DUP1
00002d1a: SWAP2
00002d1b: POP
00002d1c: POP
00002d1d: SWAP3
00002d1e: POP
00002d1f: SWAP3
00002d20: SWAP1
00002d21: POP
00002d22: JUMP
00002d23: JUMPDEST
00002d24: PUSH1 0x00
00002d26: DUP1
00002d27: PUSH1 0x00
00002d29: DUP1
00002d2a: PUSH1 0x00
00002d2c: DUP1
00002d2d: PUSH1 0x00
00002d2f: PUSH1 0xc0
00002d31: DUP9
00002d32: DUP11
00002d33: SUB
00002d34: SLT
00002d35: ISZERO
00002d36: PUSH2 0x2d3e
00002d39: JUMPI
00002d3a: PUSH1 0x00
00002d3c: DUP1
00002d3d: REVERT
00002d3e: JUMPDEST
00002d3f: DUP8
00002d40: CALLDATALOAD
00002d41: PUSH2 0x2d49
00002d44: DUP2
00002d45: PUSH2 0x2b05
00002d48: JUMP
00002d49: JUMPDEST
00002d4a: SWAP7
00002d4b: POP
00002d4c: PUSH1 0x20
00002d4e: DUP9
00002d4f: ADD
00002d50: CALLDATALOAD
00002d51: PUSH2 0x2d59
00002d54: DUP2
00002d55: PUSH2 0x2b05
00002d58: JUMP
00002d59: JUMPDEST
00002d5a: SWAP6
00002d5b: POP
00002d5c: PUSH1 0x40
00002d5e: DUP9
00002d5f: ADD
00002d60: CALLDATALOAD
00002d61: PUSH2 0x2d69
00002d64: DUP2
00002d65: PUSH2 0x2b05
00002d68: JUMP
00002d69: JUMPDEST
00002d6a: SWAP5
00002d6b: POP
00002d6c: PUSH1 0x60
00002d6e: DUP9
00002d6f: ADD
00002d70: CALLDATALOAD
00002d71: SWAP4
00002d72: POP
00002d73: PUSH2 0x2d7e
00002d76: PUSH1 0x80
00002d78: DUP10
00002d79: ADD
00002d7a: PUSH2 0x2c0b
00002d7d: JUMP
00002d7e: JUMPDEST
00002d7f: SWAP3
00002d80: POP
00002d81: PUSH1 0xa0
00002d83: DUP9
00002d84: ADD
00002d85: CALLDATALOAD
00002d86: PUSH8 0xffffffffffffffff
00002d8f: DUP2
00002d90: GT
00002d91: ISZERO
00002d92: PUSH2 0x2bec
00002d95: JUMPI
00002d96: PUSH1 0x00
00002d98: DUP1
00002d99: REVERT
00002d9a: JUMPDEST
00002d9b: PUSH1 0x00
00002d9d: JUMPDEST
00002d9e: DUP4
00002d9f: DUP2
00002da0: LT
00002da1: ISZERO
00002da2: PUSH2 0x2db5
00002da5: JUMPI
00002da6: DUP2
00002da7: DUP2
00002da8: ADD
00002da9: MLOAD
00002daa: DUP4
00002dab: DUP3
00002dac: ADD
00002dad: MSTORE
00002dae: PUSH1 0x20
00002db0: ADD
00002db1: PUSH2 0x2d9d
00002db4: JUMP
00002db5: JUMPDEST
00002db6: DUP4
00002db7: DUP2
00002db8: GT
00002db9: ISZERO
00002dba: PUSH2 0x0649
00002dbd: JUMPI
00002dbe: POP
00002dbf: POP
00002dc0: PUSH1 0x00
00002dc2: SWAP2
00002dc3: ADD
00002dc4: MSTORE
00002dc5: JUMP
00002dc6: JUMPDEST
00002dc7: PUSH1 0x00
00002dc9: DUP2
00002dca: MLOAD
00002dcb: DUP1
00002dcc: DUP5
00002dcd: MSTORE
00002dce: PUSH2 0x2dde
00002dd1: DUP2
00002dd2: PUSH1 0x20
00002dd4: DUP7
00002dd5: ADD
00002dd6: PUSH1 0x20
00002dd8: DUP7
00002dd9: ADD
00002dda: PUSH2 0x2d9a
00002ddd: JUMP
00002dde: JUMPDEST
00002ddf: PUSH1 0x1f
00002de1: ADD
00002de2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002e03: AND
00002e04: SWAP3
00002e05: SWAP1
00002e06: SWAP3
00002e07: ADD
00002e08: PUSH1 0x20
00002e0a: ADD
00002e0b: SWAP3
00002e0c: SWAP2
00002e0d: POP
00002e0e: POP
00002e0f: JUMP
00002e10: JUMPDEST
00002e11: PUSH1 0x20
00002e13: DUP2
00002e14: MSTORE
00002e15: PUSH1 0x00
00002e17: PUSH2 0x2417
00002e1a: PUSH1 0x20
00002e1c: DUP4
00002e1d: ADD
00002e1e: DUP5
00002e1f: PUSH2 0x2dc6
00002e22: JUMP
00002e23: JUMPDEST
00002e24: PUSH1 0x00
00002e26: DUP1
00002e27: PUSH1 0x00
00002e29: DUP1
00002e2a: PUSH1 0x00
00002e2c: DUP1
00002e2d: PUSH1 0xa0
00002e2f: DUP8
00002e30: DUP10
00002e31: SUB
00002e32: SLT
00002e33: ISZERO
00002e34: PUSH2 0x2e3c
00002e37: JUMPI
00002e38: PUSH1 0x00
00002e3a: DUP1
00002e3b: REVERT
00002e3c: JUMPDEST
00002e3d: DUP7
00002e3e: CALLDATALOAD
00002e3f: PUSH2 0x2e47
00002e42: DUP2
00002e43: PUSH2 0x2b05
00002e46: JUMP
00002e47: JUMPDEST
00002e48: SWAP6
00002e49: POP
00002e4a: PUSH1 0x20
00002e4c: DUP8
00002e4d: ADD
00002e4e: CALLDATALOAD
00002e4f: PUSH2 0x2e57
00002e52: DUP2
00002e53: PUSH2 0x2b05
00002e56: JUMP
00002e57: JUMPDEST
00002e58: SWAP5
00002e59: POP
00002e5a: PUSH1 0x40
00002e5c: DUP8
00002e5d: ADD
00002e5e: CALLDATALOAD
00002e5f: SWAP4
00002e60: POP
00002e61: PUSH2 0x2e6c
00002e64: PUSH1 0x60
00002e66: DUP9
00002e67: ADD
00002e68: PUSH2 0x2c0b
00002e6b: JUMP
00002e6c: JUMPDEST
00002e6d: SWAP3
00002e6e: POP
00002e6f: PUSH1 0x80
00002e71: DUP8
00002e72: ADD
00002e73: CALLDATALOAD
00002e74: PUSH8 0xffffffffffffffff
00002e7d: DUP2
00002e7e: GT
00002e7f: ISZERO
00002e80: PUSH2 0x2e88
00002e83: JUMPI
00002e84: PUSH1 0x00
00002e86: DUP1
00002e87: REVERT
00002e88: JUMPDEST
00002e89: PUSH2 0x2e94
00002e8c: DUP10
00002e8d: DUP3
00002e8e: DUP11
00002e8f: ADD
00002e90: PUSH2 0x2b2a
00002e93: JUMP
00002e94: JUMPDEST
00002e95: SWAP8
00002e96: SWAP11
00002e97: SWAP7
00002e98: SWAP10
00002e99: POP
00002e9a: SWAP5
00002e9b: SWAP8
00002e9c: POP
00002e9d: SWAP3
00002e9e: SWAP6
00002e9f: SWAP4
00002ea0: SWAP5
00002ea1: SWAP3
00002ea2: POP
00002ea3: POP
00002ea4: POP
00002ea5: JUMP
00002ea6: JUMPDEST
00002ea7: PUSH1 0x00
00002ea9: DUP1
00002eaa: PUSH1 0x00
00002eac: DUP1
00002ead: PUSH1 0x60
00002eaf: DUP6
00002eb0: DUP8
00002eb1: SUB
00002eb2: SLT
00002eb3: ISZERO
00002eb4: PUSH2 0x2ebc
00002eb7: JUMPI
00002eb8: PUSH1 0x00
00002eba: DUP1
00002ebb: REVERT
00002ebc: JUMPDEST
00002ebd: DUP5
00002ebe: CALLDATALOAD
00002ebf: PUSH2 0x2ec7
00002ec2: DUP2
00002ec3: PUSH2 0x2b05
00002ec6: JUMP
00002ec7: JUMPDEST
00002ec8: SWAP4
00002ec9: POP
00002eca: PUSH2 0x2ed5
00002ecd: PUSH1 0x20
00002ecf: DUP7
00002ed0: ADD
00002ed1: PUSH2 0x2c0b
00002ed4: JUMP
00002ed5: JUMPDEST
00002ed6: SWAP3
00002ed7: POP
00002ed8: PUSH1 0x40
00002eda: DUP6
00002edb: ADD
00002edc: CALLDATALOAD
00002edd: PUSH8 0xffffffffffffffff
00002ee6: DUP2
00002ee7: GT
00002ee8: ISZERO
00002ee9: PUSH2 0x2ef1
00002eec: JUMPI
00002eed: PUSH1 0x00
00002eef: DUP1
00002ef0: REVERT
00002ef1: JUMPDEST
00002ef2: PUSH2 0x2efd
00002ef5: DUP8
00002ef6: DUP3
00002ef7: DUP9
00002ef8: ADD
00002ef9: PUSH2 0x2b2a
00002efc: JUMP
00002efd: JUMPDEST
00002efe: SWAP6
00002eff: SWAP9
00002f00: SWAP5
00002f01: SWAP8
00002f02: POP
00002f03: SWAP6
00002f04: POP
00002f05: POP
00002f06: POP
00002f07: POP
00002f08: JUMP
00002f09: JUMPDEST
00002f0a: PUSH1 0x00
00002f0c: PUSH1 0x20
00002f0e: DUP3
00002f0f: DUP5
00002f10: SUB
00002f11: SLT
00002f12: ISZERO
00002f13: PUSH2 0x2f1b
00002f16: JUMPI
00002f17: PUSH1 0x00
00002f19: DUP1
00002f1a: REVERT
00002f1b: JUMPDEST
00002f1c: DUP2
00002f1d: MLOAD
00002f1e: PUSH2 0x2417
00002f21: DUP2
00002f22: PUSH2 0x2b05
00002f25: JUMP
00002f26: JUMPDEST
00002f27: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f48: PUSH1 0x00
00002f4a: MSTORE
00002f4b: PUSH1 0x11
00002f4d: PUSH1 0x04
00002f4f: MSTORE
00002f50: PUSH1 0x24
00002f52: PUSH1 0x00
00002f54: REVERT
00002f55: JUMPDEST
00002f56: PUSH1 0x00
00002f58: DUP3
00002f59: DUP3
00002f5a: LT
00002f5b: ISZERO
00002f5c: PUSH2 0x2f67
00002f5f: JUMPI
00002f60: PUSH2 0x2f67
00002f63: PUSH2 0x2f26
00002f66: JUMP
00002f67: JUMPDEST
00002f68: POP
00002f69: SUB
00002f6a: SWAP1
00002f6b: JUMP
00002f6c: JUMPDEST
00002f6d: PUSH1 0x00
00002f6f: DUP2
00002f70: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002f91: DIV
00002f92: DUP4
00002f93: GT
00002f94: DUP3
00002f95: ISZERO
00002f96: ISZERO
00002f97: AND
00002f98: ISZERO
00002f99: PUSH2 0x2fa4
00002f9c: JUMPI
00002f9d: PUSH2 0x2fa4
00002fa0: PUSH2 0x2f26
00002fa3: JUMP
00002fa4: JUMPDEST
00002fa5: POP
00002fa6: MUL
00002fa7: SWAP1
00002fa8: JUMP
00002fa9: JUMPDEST
00002faa: PUSH1 0x00
00002fac: PUSH1 0x20
00002fae: DUP3
00002faf: DUP5
00002fb0: SUB
00002fb1: SLT
00002fb2: ISZERO
00002fb3: PUSH2 0x2fbb
00002fb6: JUMPI
00002fb7: PUSH1 0x00
00002fb9: DUP1
00002fba: REVERT
00002fbb: JUMPDEST
00002fbc: DUP2
00002fbd: MLOAD
00002fbe: DUP1
00002fbf: ISZERO
00002fc0: ISZERO
00002fc1: DUP2
00002fc2: EQ
00002fc3: PUSH2 0x2417
00002fc6: JUMPI
00002fc7: PUSH1 0x00
00002fc9: DUP1
00002fca: REVERT
00002fcb: JUMPDEST
00002fcc: PUSH1 0x00
00002fce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fe3: DUP1
00002fe4: DUP8
00002fe5: AND
00002fe6: DUP4
00002fe7: MSTORE
00002fe8: DUP1
00002fe9: DUP7
00002fea: AND
00002feb: PUSH1 0x20
00002fed: DUP5
00002fee: ADD
00002fef: MSTORE
00002ff0: POP
00002ff1: DUP4
00002ff2: PUSH1 0x40
00002ff4: DUP4
00002ff5: ADD
00002ff6: MSTORE
00002ff7: PUSH1 0x80
00002ff9: PUSH1 0x60
00002ffb: DUP4
00002ffc: ADD
00002ffd: MSTORE
00002ffe: PUSH2 0x300a
00003001: PUSH1 0x80
00003003: DUP4
00003004: ADD
00003005: DUP5
00003006: PUSH2 0x2dc6
00003009: JUMP
0000300a: JUMPDEST
0000300b: SWAP7
0000300c: SWAP6
0000300d: POP
0000300e: POP
0000300f: POP
00003010: POP
00003011: POP
00003012: POP
00003013: JUMP
00003014: JUMPDEST
00003015: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000302a: DUP5
0000302b: AND
0000302c: DUP2
0000302d: MSTORE
0000302e: PUSH1 0x60
00003030: PUSH1 0x20
00003032: DUP3
00003033: ADD
00003034: MSTORE
00003035: PUSH1 0x00
00003037: PUSH2 0x3043
0000303a: PUSH1 0x60
0000303c: DUP4
0000303d: ADD
0000303e: DUP6
0000303f: PUSH2 0x2dc6
00003042: JUMP
00003043: JUMPDEST
00003044: SWAP1
00003045: POP
00003046: PUSH4 0xffffffff
0000304b: DUP4
0000304c: AND
0000304d: PUSH1 0x40
0000304f: DUP4
00003050: ADD
00003051: MSTORE
00003052: SWAP5
00003053: SWAP4
00003054: POP
00003055: POP
00003056: POP
00003057: POP
00003058: JUMP
00003059: JUMPDEST
0000305a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000306f: DUP5
00003070: AND
00003071: DUP2
00003072: MSTORE
00003073: DUP3
00003074: PUSH1 0x20
00003076: DUP3
00003077: ADD
00003078: MSTORE
00003079: PUSH1 0x60
0000307b: PUSH1 0x40
0000307d: DUP3
0000307e: ADD
0000307f: MSTORE
00003080: PUSH1 0x00
00003082: PUSH2 0x308e
00003085: PUSH1 0x60
00003087: DUP4
00003088: ADD
00003089: DUP5
0000308a: PUSH2 0x2dc6
0000308d: JUMP
0000308e: JUMPDEST
0000308f: SWAP6
00003090: SWAP5
00003091: POP
00003092: POP
00003093: POP
00003094: POP
00003095: POP
00003096: JUMP
00003097: JUMPDEST
00003098: DUP3
00003099: DUP2
0000309a: MSTORE
0000309b: PUSH1 0x40
0000309d: PUSH1 0x20
0000309f: DUP3
000030a0: ADD
000030a1: MSTORE
000030a2: PUSH1 0x00
000030a4: PUSH2 0x28ac
000030a7: PUSH1 0x40
000030a9: DUP4
000030aa: ADD
000030ab: DUP5
000030ac: PUSH2 0x2dc6
000030af: JUMP
000030b0: JUMPDEST
000030b1: PUSH1 0x00
000030b3: DUP3
000030b4: NOT
000030b5: DUP3
000030b6: GT
000030b7: ISZERO
000030b8: PUSH2 0x30c3
000030bb: JUMPI
000030bc: PUSH2 0x30c3
000030bf: PUSH2 0x2f26
000030c2: JUMP
000030c3: JUMPDEST
000030c4: POP
000030c5: ADD
000030c6: SWAP1
000030c7: JUMP
000030c8: JUMPDEST
000030c9: PUSH1 0x00
000030cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030e0: DUP1
000030e1: DUP10
000030e2: AND
000030e3: DUP4
000030e4: MSTORE
000030e5: DUP1
000030e6: DUP9
000030e7: AND
000030e8: PUSH1 0x20
000030ea: DUP5
000030eb: ADD
000030ec: MSTORE
000030ed: DUP1
000030ee: DUP8
000030ef: AND
000030f0: PUSH1 0x40
000030f2: DUP5
000030f3: ADD
000030f4: MSTORE
000030f5: DUP1
000030f6: DUP7
000030f7: AND
000030f8: PUSH1 0x60
000030fa: DUP5
000030fb: ADD
000030fc: MSTORE
000030fd: POP
000030fe: DUP4
000030ff: PUSH1 0x80
00003101: DUP4
00003102: ADD
00003103: MSTORE
00003104: PUSH1 0xc0
00003106: PUSH1 0xa0
00003108: DUP4
00003109: ADD
0000310a: MSTORE
0000310b: PUSH2 0x3117
0000310e: PUSH1 0xc0
00003110: DUP4
00003111: ADD
00003112: DUP5
00003113: PUSH2 0x2dc6
00003116: JUMP
00003117: JUMPDEST
00003118: SWAP9
00003119: SWAP8
0000311a: POP
0000311b: POP
0000311c: POP
0000311d: POP
0000311e: POP
0000311f: POP
00003120: POP
00003121: POP
00003122: JUMP
00003123: JUMPDEST
00003124: PUSH1 0x00
00003126: DUP3
00003127: MLOAD
00003128: PUSH2 0x3135
0000312b: DUP2
0000312c: DUP5
0000312d: PUSH1 0x20
0000312f: DUP8
00003130: ADD
00003131: PUSH2 0x2d9a
00003134: JUMP
00003135: JUMPDEST
00003136: SWAP2
00003137: SWAP1
00003138: SWAP2
00003139: ADD
0000313a: SWAP3
0000313b: SWAP2
0000313c: POP
0000313d: POP
0000313e: JUMP
0000313f: INVALID
00003140: LOG1
00003141: PUSH5 0x736f6c6343
00003147: STOP
00003148: ADDMOD
00003149: UNKNOWN(0x0F)
0000314a: STOP
0000314b: EXP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc89701a2",
            "selector": "0xc89701a2",
            "calldata_variants": [
                "0xc89701a2",
                "0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdad544e0",
            "selector": "0xdad544e0",
            "calldata_variants": [
                "0xdad544e0",
                "0xdad544e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe11013dd",
            "selector": "0xe11013dd",
            "calldata_variants": [
                "0xe11013dd",
                "0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x927ede2d",
            "selector": "0x927ede2d",
            "calldata_variants": [
                "0x927ede2d",
                "0x927ede2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9a2ac6d5",
            "selector": "0x9a2ac6d5",
            "calldata_variants": [
                "0x9a2ac6d5",
                "0x9a2ac6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9f9e675",
            "selector": "0xa9f9e675",
            "calldata_variants": [
                "0xa9f9e675",
                "0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x87087623",
            "selector": "0x87087623",
            "calldata_variants": [
                "0x87087623",
                "0x870876230000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 1538,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xf234c8de44d135d749f995d57950ea124f098f9f1b0b04a72952adc9a095fff2
call_targets: 0x61525eaacddb97d9184afc205827e6a4fd0bf62a
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf234c8de44d135d749f995d57950ea124f098f9f1b0b04a72952adc9a095fff2",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x61525eaacddb97d9184afc205827e6a4fd0bf62a"
    ],
    "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": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc89701a2",
            "selector": "0xc89701a2",
            "calldata_variants": [
                "0xc89701a2",
                "0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdad544e0",
            "selector": "0xdad544e0",
            "calldata_variants": [
                "0xdad544e0",
                "0xdad544e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe11013dd",
            "selector": "0xe11013dd",
            "calldata_variants": [
                "0xe11013dd",
                "0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x927ede2d",
            "selector": "0x927ede2d",
            "calldata_variants": [
                "0x927ede2d",
                "0x927ede2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9a2ac6d5",
            "selector": "0x9a2ac6d5",
            "calldata_variants": [
                "0x9a2ac6d5",
                "0x9a2ac6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9f9e675",
            "selector": "0xa9f9e675",
            "calldata_variants": [
                "0xa9f9e675",
                "0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x87087623",
            "selector": "0x87087623",
            "calldata_variants": [
                "0x87087623",
                "0x870876230000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2432,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6855,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7754,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [
        {
            "pc": 1538,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 6
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xf234c8de44d135d749f995d57950ea124f098f9f1b0b04a72952adc9a095fff2
call_targets: 0x61525eaacddb97d9184afc205827e6a4fd0bf62a
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf234c8de44d135d749f995d57950ea124f098f9f1b0b04a72952adc9a095fff2",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x61525eaacddb97d9184afc205827e6a4fd0bf62a"
    ],
    "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": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc89701a2",
            "selector": "0xc89701a2",
            "calldata_variants": [
                "0xc89701a2",
                "0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdad544e0",
            "selector": "0xdad544e0",
            "calldata_variants": [
                "0xdad544e0",
                "0xdad544e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe11013dd",
            "selector": "0xe11013dd",
            "calldata_variants": [
                "0xe11013dd",
                "0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x927ede2d",
            "selector": "0x927ede2d",
            "calldata_variants": [
                "0x927ede2d",
                "0x927ede2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9a2ac6d5",
            "selector": "0x9a2ac6d5",
            "calldata_variants": [
                "0x9a2ac6d5",
                "0x9a2ac6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9f9e675",
            "selector": "0xa9f9e675",
            "calldata_variants": [
                "0xa9f9e675",
                "0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x87087623",
            "selector": "0x87087623",
            "calldata_variants": [
                "0x87087623",
                "0x870876230000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2432,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6855,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7754,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": [
        {
            "pc": 1538,
            "type": "tx_origin_used"
        }
    ]
}
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": 7
}
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": 15
}