1ae8147d-1d35-4e3f-b8f2-1232f5404d7c
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 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 |
No slither job recorded yet.
[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":[]}
{
"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
}
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
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_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 |
viewtrace_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 |
viewtrace_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 | — |
viewevidence_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 | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 15
}
|