4cf389ce-e8e3-4b04-91dd-16b76156a8df
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 |
|---|---|---|---|---|
| 30166 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 93595 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 93596 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 93597 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 93598 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 93599 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 93600 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:829402] OpenAI Codex v0.77.0 (research preview)
[codex:829402] --------
[codex:829402] workdir: /tmp/codex-multi-9upkwj6b
[codex:829402] model: gpt-5.2-codex
[codex:829402] provider: openai
[codex:829402] approval: never
[codex:829402] sandbox: read-only
[codex:829402] reasoning effort: none
[codex:829402] reasoning summaries: auto
[codex:829402] session id: 019b4dea-357f-79a1-a697-ad2232a34588
[codex:829402] --------
[codex:829402] user
[codex:829402] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:829402] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:829402] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:829402]
[codex:829402] Scope rules:
[codex:829402] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:829402] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:829402]
[codex:829402] Output MUST be valid JSON matching the provided schema.
[codex:829402] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:829402] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:829402]
[codex:829402] Output constraints (IMPORTANT):
[codex:829402] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:829402] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:829402] mcp startup: no servers
[codex:829402]
[codex:829402] thinking
[codex:829402] **Reading AUDIT_BUNDLE file**
[codex:829402] exec
[codex:829402] /bin/bash -lc ls in /tmp/codex-multi-9upkwj6b succeeded in 5ms:
[codex:829402] AUDIT_BUNDLE.txt
[codex:829402] codex-output-schema.json
[codex:829402] contracts
[codex:829402] exec
[codex:829402] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-9upkwj6b succeeded in 7ms:
[codex:829402] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:829402]
[codex:829402] ================================================================================
[codex:829402] FILE: contracts/interfaces/L1/ISuperchainConfig.sol
[codex:829402] ================================================================================
[codex:829402] // SPDX-License-Identifier: MIT
[codex:829402] pragma solidity ^0.8.0;
[codex:829402]
[codex:829402] interface ISuperchainConfig {
[codex:829402] enum UpdateType {
[codex:829402] GUARDIAN
[codex:829402] }
[codex:829402]
[codex:829402] event ConfigUpdate(UpdateType indexed updateType, bytes data);
[codex:829402] event Initialized(uint8 version);
[codex:829402] event Paused(string identifier);
[codex:829402] event Unpaused();
[codex:829402]
[codex:829402] function GUARDIAN_SLOT() external view returns (bytes32);
[codex:829402] function PAUSED_SLOT() external view returns (bytes32);
[codex:829402]
[codex:829402] thinking
[codex:829402] **Searching for vulnerabilities in contracts**
[codex:829402] exec
[codex:829402] /bin/bash -lc "rg -n \"delegatecall|call\\(|call\\{|transfer\\(|send\\(|selfdestruct|delegate\" AUDIT_BUNDLE.txt" in /tmp/codex-multi-9upkwj6b succeeded in 7ms:
[codex:829402] 323: function transfer(address to, uint256 amount) external returns (bool);
[codex:829402] 615: (bool success, ) = recipient.call{value: amount}("");
[codex:829402] 689: (bool success, bytes memory returndata) = target.call{value: value}(data);
[codex:829402] 716: (bool success, bytes memory returndata) = target.staticcall(data);
[codex:829402] 722: * but performing a delegate call.
[codex:829402] 727: return functionDelegateCall(target, data, "Address: low-level delegate call failed");
[codex:829402] 732: * but performing a delegate call.
[codex:829402] 741: require(isContract(target), "Address: delegate call to non-contract");
[codex:829402] 743: (bool success, bytes memory returndata) = target.delegatecall(data);
[codex:829402] 894: success := staticcall(30000, account, add(encodedParams, 0x20), mload(encodedParams), 0x00, 0x20)
[codex:829402] 1281: // If the sender is not the origin, check for 7702 delegated EOAs.
[codex:829402] 1289: // If more or less than 23 bytes of code, not a 7702 delegated EOA.
[codex:829402] 1494: function send(address _target, uint256 _gas, uint256 _value) internal returns (bool success_) {
[codex:829402] 1497: call(
[codex:829402] 1512: function send(address _target, uint256 _value) internal returns (bool success_) {
[codex:829402] 1513: success_ = send(_target, gasleft(), _value);
[codex:829402] 1521: function call(
[codex:829402] 1532: call(
[codex:829402] 1548: function call(address _target, uint256 _value, bytes memory _calldata) internal returns (bool success_) {
[codex:829402] 1549: success_ = call({ _target: _target, _gas: gasleft(), _value: _value, _calldata: _calldata });
[codex:829402]
[codex:829402] thinking
[codex:829402] **Searching files for context**
[codex:829402] exec
[codex:829402] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-9upkwj6b succeeded in 6ms:
[codex:829402] 4:FILE: contracts/interfaces/L1/ISuperchainConfig.sol
[codex:829402] 32:FILE: contracts/interfaces/legacy/ILegacyMintableERC20.sol
[codex:829402] 53:FILE: contracts/interfaces/universal/ICrossDomainMessenger.sol
[codex:829402] 100:FILE: contracts/interfaces/universal/IOptimismMintableERC20.sol
[codex:829402] 122:FILE: contracts/interfaces/universal/ISemver.sol
[codex:829402] 139:FILE: contracts/lib/openzeppelin-contracts/contracts/proxy/utils/Initializable.sol
[codex:829402] 281:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:829402] 367:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/draft-IERC20Permit.sol
[codex:829402] 431:FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol
[codex:829402] 551:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/Address.sol
[codex:829402] 777:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/introspection/ERC165Checker.sol
[codex:829402] 904:FILE: contracts/lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol
[codex:829402] 933:FILE: contracts/src/L1/L1StandardBridge.sol
[codex:829402] 1267:FILE: contracts/src/libraries/EOA.sol
[codex:829402] 1296:FILE: contracts/src/libraries/Predeploys.sol
[codex:829402] 1481:FILE: contracts/src/libraries/SafeCall.sol
[codex:829402] 1653:FILE: contracts/src/universal/StandardBridge.sol
[codex:829402]
[codex:829402] thinking
[codex:829402] **Reviewing key contract components**
[codex:829402] exec
[codex:829402] /bin/bash -lc "sed -n '933,1266p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-9upkwj6b succeeded in 5ms:
[codex:829402] FILE: contracts/src/L1/L1StandardBridge.sol
[codex:829402] ================================================================================
[codex:829402] // SPDX-License-Identifier: MIT
[codex:829402] pragma solidity 0.8.15;
[codex:829402]
[codex:829402] // Contracts
[codex:829402] import { StandardBridge } from "src/universal/StandardBridge.sol";
[codex:829402]
[codex:829402] // Libraries
[codex:829402] import { Predeploys } from "src/libraries/Predeploys.sol";
[codex:829402]
[codex:829402] // Interfaces
[codex:829402] import { ISemver } from "interfaces/universal/ISemver.sol";
[codex:829402] import { ICrossDomainMessenger } from "interfaces/universal/ICrossDomainMessenger.sol";
[codex:829402] import { ISuperchainConfig } from "interfaces/L1/ISuperchainConfig.sol";
[codex:829402]
[codex:829402] /// @custom:proxied true
[codex:829402] /// @title L1StandardBridge
[codex:829402] /// @notice The L1StandardBridge is responsible for transfering ETH and ERC20 tokens between L1 and
[codex:829402] /// L2. In the case that an ERC20 token is native to L1, it will be escrowed within this
[codex:829402]
[codex:829402] thinking
[codex:829402] **Identifying necessary components**
[codex:829402] exec
[codex:829402] /bin/bash -lc "sed -n '1267,1652p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-9upkwj6b succeeded in 5ms:
[codex:829402] FILE: contracts/src/libraries/EOA.sol
[codex:829402] ================================================================================
[codex:829402] // SPDX-License-Identifier: MIT
[codex:829402] pragma solidity ^0.8.0;
[codex:829402]
[codex:829402] /// @title EOA
[codex:829402] /// @notice A library for detecting if an address is an EOA.
[codex:829402] library EOA {
[codex:829402] /// @notice Returns true if sender address is an EOA.
[codex:829402] /// @return isEOA_ True if the sender address is an EOA.
[codex:829402] function isSenderEOA() internal view returns (bool isEOA_) {
[codex:829402] if (msg.sender == tx.origin) {
[codex:829402] isEOA_ = true;
[codex:829402] } else if (address(msg.sender).code.length == 23) {
[codex:829402] // If the sender is not the origin, check for 7702 delegated EOAs.
[codex:829402] assembly {
[codex:829402] let ptr := mload(0x40)
[codex:829402] mstore(0x40, add(ptr, 0x20))
[codex:829402] extcodecopy(caller(), ptr, 0, 0x20)
[codex:829402] isEOA_ := eq(shr(232, mload(ptr)), 0xEF0100)
[codex:829402]
[codex:829402] thinking
[codex:829402] **Reviewing StandardBridge module**
[codex:829402] exec
[codex:829402] /bin/bash -lc "sed -n '1653,2144p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-9upkwj6b succeeded in 5ms:
[codex:829402] FILE: contracts/src/universal/StandardBridge.sol
[codex:829402] ================================================================================
[codex:829402] // SPDX-License-Identifier: MIT
[codex:829402] pragma solidity 0.8.15;
[codex:829402]
[codex:829402] // Contracts
[codex:829402] import { Initializable } from "@openzeppelin/contracts/proxy/utils/Initializable.sol";
[codex:829402]
[codex:829402] // Libraries
[codex:829402] import { ERC165Checker } from "@openzeppelin/contracts/utils/introspection/ERC165Checker.sol";
[codex:829402] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:829402] import { SafeCall } from "src/libraries/SafeCall.sol";
[codex:829402] import { EOA } from "src/libraries/EOA.sol";
[codex:829402]
[codex:829402] // Interfaces
[codex:829402] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:829402] import { IOptimismMintableERC20 } from "interfaces/universal/IOptimismMintableERC20.sol";
[codex:829402] import { ILegacyMintableERC20 } from "interfaces/legacy/ILegacyMintableERC20.sol";
[codex:829402] import { ICrossDomainMessenger } from "interfaces/universal/ICrossDomainMessenger.sol";
[codex:829402]
[codex:829402]
[codex:829402] thinking
[codex:829402] **Assessing potential vulnerabilities**
[codex:829402]
[codex:829402] I'm examining the StandardBridge contracts for vulnerabilities like reentrancy, access control, underflows, and misuse of external calls. I'm carefully checking calls involving token transfers, mintable tokens, the onlyEOA guard, and initializers. The main findings suggest no critical vulnerabilities, but some minor known issues like the onlyEOA check bypass and reliance on initialization order, none seem exploitable under intended usage. I'll prepare a summary indicating no findings and include detailed reasoning.
[codex:829402] codex
[codex:829402] {"no_findings":true,"summary":"Reviewed first-party contracts in `contracts/src` (StandardBridge, L1StandardBridge, and libraries) per AUDIT_BUNDLE.txt. No exploitable vulnerabilities found in scope areas (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariants, external call patterns, unchecked return values, delegatecall).","findings":[]}
[codex:829402] tokens used
[codex:829402] 44,411
[codex:829402] {"no_findings":true,"summary":"Reviewed first-party contracts in `contracts/src` (StandardBridge, L1StandardBridge, and libraries) per AUDIT_BUNDLE.txt. No exploitable vulnerabilities found in scope areas (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariants, external call patterns, unchecked return values, delegatecall).","findings":[]}
{
"codex": {
"ran_at": "2025-12-24T01:13:25.714279+00:00",
"returncode": 0
},
"summary": "Reviewed first-party contracts in `contracts/src` (StandardBridge, L1StandardBridge, and libraries) per AUDIT_BUNDLE.txt. No exploitable vulnerabilities found in scope areas (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariants, external call patterns, unchecked return values, delegatecall).",
"raw_final": {
"summary": "Reviewed first-party contracts in `contracts/src` (StandardBridge, L1StandardBridge, and libraries) per AUDIT_BUNDLE.txt. No exploitable vulnerabilities found in scope areas (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariants, external call patterns, unchecked return values, delegatecall).",
"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 0x0179 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7f46ddb2 00000019: GT 0000001a: PUSH2 0x00cb 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x927ede2d 00000024: GT 00000025: PUSH2 0x007f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb1a1a882 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb1a1a882 0000003a: EQ 0000003b: PUSH2 0x0503 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc89701a2 00000045: EQ 00000046: PUSH2 0x0516 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe11013dd 00000050: EQ 00000051: PUSH2 0x0543 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x927ede2d 00000060: EQ 00000061: PUSH2 0x04a5 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x9a2ac6d5 0000006b: EQ 0000006c: PUSH2 0x04d0 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa9f9e675 00000076: EQ 00000077: PUSH2 0x04e3 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x87087623 00000086: GT 00000087: PUSH2 0x00b0 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x87087623 00000091: EQ 00000092: PUSH2 0x043f 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x8f601f66 0000009c: EQ 0000009d: PUSH2 0x045f 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x91c49bf8 000000a7: EQ 000000a8: PUSH2 0x03f4 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x7f46ddb2 000000b7: EQ 000000b8: PUSH2 0x03f4 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x838b2520 000000c2: EQ 000000c3: PUSH2 0x041f 000000c6: JUMPI 000000c7: PUSH1 0x00 000000c9: DUP1 000000ca: REVERT 000000cb: JUMPDEST 000000cc: DUP1 000000cd: PUSH4 0x3cb747bf 000000d2: GT 000000d3: PUSH2 0x012d 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x54fd4d50 000000dd: GT 000000de: PUSH2 0x0107 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x54fd4d50 000000e8: EQ 000000e9: PUSH2 0x0359 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x58a997f6 000000f3: EQ 000000f4: PUSH2 0x03af 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x5c975abb 000000fe: EQ 000000ff: PUSH2 0x03cf 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: DUP1 00000109: PUSH4 0x3cb747bf 0000010e: EQ 0000010f: PUSH2 0x02ec 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x485cc955 00000119: EQ 0000011a: PUSH2 0x0319 0000011d: JUMPI 0000011e: DUP1 0000011f: PUSH4 0x540abf73 00000124: EQ 00000125: PUSH2 0x0339 00000128: JUMPI 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: REVERT 0000012d: JUMPDEST 0000012e: DUP1 0000012f: PUSH4 0x1532ec34 00000134: GT 00000135: PUSH2 0x015e 00000138: JUMPI 00000139: DUP1 0000013a: PUSH4 0x1532ec34 0000013f: EQ 00000140: PUSH2 0x026f 00000143: JUMPI 00000144: DUP1 00000145: PUSH4 0x1635f5fd 0000014a: EQ 0000014b: PUSH2 0x0282 0000014e: JUMPI 0000014f: DUP1 00000150: PUSH4 0x35e80ab3 00000155: EQ 00000156: PUSH2 0x0295 00000159: JUMPI 0000015a: PUSH1 0x00 0000015c: DUP1 0000015d: REVERT 0000015e: JUMPDEST 0000015f: DUP1 00000160: PUSH4 0x0166a07a 00000165: EQ 00000166: PUSH2 0x023c 00000169: JUMPI 0000016a: DUP1 0000016b: PUSH4 0x09fc8843 00000170: EQ 00000171: PUSH2 0x025c 00000174: JUMPI 00000175: PUSH1 0x00 00000177: DUP1 00000178: REVERT 00000179: JUMPDEST 0000017a: CALLDATASIZE 0000017b: PUSH2 0x0237 0000017e: JUMPI 0000017f: PUSH2 0x0186 00000182: PUSH2 0x0556 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH2 0x0217 0000018a: JUMPI 0000018b: PUSH1 0x40 0000018d: MLOAD 0000018e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001af: DUP2 000001b0: MSTORE 000001b1: PUSH1 0x20 000001b3: PUSH1 0x04 000001b5: DUP3 000001b6: ADD 000001b7: MSTORE 000001b8: PUSH1 0x37 000001ba: PUSH1 0x24 000001bc: DUP3 000001bd: ADD 000001be: MSTORE 000001bf: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 000001e0: PUSH1 0x44 000001e2: DUP3 000001e3: ADD 000001e4: MSTORE 000001e5: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 00000206: PUSH1 0x64 00000208: DUP3 00000209: ADD 0000020a: MSTORE 0000020b: PUSH1 0x84 0000020d: ADD 0000020e: JUMPDEST 0000020f: PUSH1 0x40 00000211: MLOAD 00000212: DUP1 00000213: SWAP2 00000214: SUB 00000215: SWAP1 00000216: REVERT 00000217: JUMPDEST 00000218: PUSH2 0x0235 0000021b: CALLER 0000021c: CALLER 0000021d: PUSH3 0x030d40 00000221: PUSH1 0x40 00000223: MLOAD 00000224: DUP1 00000225: PUSH1 0x20 00000227: ADD 00000228: PUSH1 0x40 0000022a: MSTORE 0000022b: DUP1 0000022c: PUSH1 0x00 0000022e: DUP2 0000022f: MSTORE 00000230: POP 00000231: PUSH2 0x0593 00000234: JUMP 00000235: JUMPDEST 00000236: STOP 00000237: JUMPDEST 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: DUP1 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: PUSH2 0x0235 0000024d: PUSH2 0x0257 00000250: CALLDATASIZE 00000251: PUSH1 0x04 00000253: PUSH2 0x2777 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH2 0x05a6 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH2 0x0235 00000260: PUSH2 0x026a 00000263: CALLDATASIZE 00000264: PUSH1 0x04 00000266: PUSH2 0x2828 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH2 0x09c0 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH2 0x0235 00000273: PUSH2 0x027d 00000276: CALLDATASIZE 00000277: PUSH1 0x04 00000279: PUSH2 0x287b 0000027c: JUMP 0000027d: JUMPDEST 0000027e: PUSH2 0x0a9c 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH2 0x0235 00000286: PUSH2 0x0290 00000289: CALLDATASIZE 0000028a: PUSH1 0x04 0000028c: PUSH2 0x287b 0000028f: JUMP 00000290: JUMPDEST 00000291: PUSH2 0x0ab0 00000294: JUMP 00000295: JUMPDEST 00000296: CALLVALUE 00000297: DUP1 00000298: ISZERO 00000299: PUSH2 0x02a1 0000029c: JUMPI 0000029d: PUSH1 0x00 0000029f: DUP1 000002a0: REVERT 000002a1: JUMPDEST 000002a2: POP 000002a3: PUSH1 0x32 000002a5: SLOAD 000002a6: PUSH2 0x02c2 000002a9: SWAP1 000002aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002bf: AND 000002c0: DUP2 000002c1: JUMP 000002c2: JUMPDEST 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002db: SWAP1 000002dc: SWAP2 000002dd: AND 000002de: DUP2 000002df: MSTORE 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: JUMPDEST 000002e4: PUSH1 0x40 000002e6: MLOAD 000002e7: DUP1 000002e8: SWAP2 000002e9: SUB 000002ea: SWAP1 000002eb: RETURN 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02f8 000002f3: JUMPI 000002f4: PUSH1 0x00 000002f6: DUP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: POP 000002fa: PUSH1 0x03 000002fc: SLOAD 000002fd: PUSH2 0x02c2 00000300: SWAP1 00000301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000316: AND 00000317: DUP2 00000318: JUMP 00000319: JUMPDEST 0000031a: CALLVALUE 0000031b: DUP1 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: PUSH2 0x0235 0000032a: PUSH2 0x0334 0000032d: CALLDATASIZE 0000032e: PUSH1 0x04 00000330: PUSH2 0x28ee 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH2 0x0f79 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: DUP1 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: PUSH2 0x0235 0000034a: PUSH2 0x0354 0000034d: CALLDATASIZE 0000034e: PUSH1 0x04 00000350: PUSH2 0x2927 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH2 0x1162 00000358: JUMP 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: DUP1 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: POP 00000367: PUSH2 0x03a2 0000036a: PUSH1 0x40 0000036c: MLOAD 0000036d: DUP1 0000036e: PUSH1 0x40 00000370: ADD 00000371: PUSH1 0x40 00000373: MSTORE 00000374: DUP1 00000375: PUSH1 0x05 00000377: DUP2 00000378: MSTORE 00000379: PUSH1 0x20 0000037b: ADD 0000037c: PUSH32 0x322e332e30000000000000000000000000000000000000000000000000000000 0000039d: DUP2 0000039e: MSTORE 0000039f: POP 000003a0: DUP2 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH1 0x40 000003a5: MLOAD 000003a6: PUSH2 0x02e3 000003a9: SWAP2 000003aa: SWAP1 000003ab: PUSH2 0x2a14 000003ae: JUMP 000003af: JUMPDEST 000003b0: CALLVALUE 000003b1: DUP1 000003b2: ISZERO 000003b3: PUSH2 0x03bb 000003b6: JUMPI 000003b7: PUSH1 0x00 000003b9: DUP1 000003ba: REVERT 000003bb: JUMPDEST 000003bc: POP 000003bd: PUSH2 0x0235 000003c0: PUSH2 0x03ca 000003c3: CALLDATASIZE 000003c4: PUSH1 0x04 000003c6: PUSH2 0x2a27 000003c9: JUMP 000003ca: JUMPDEST 000003cb: PUSH2 0x11a7 000003ce: JUMP 000003cf: JUMPDEST 000003d0: CALLVALUE 000003d1: DUP1 000003d2: ISZERO 000003d3: PUSH2 0x03db 000003d6: JUMPI 000003d7: PUSH1 0x00 000003d9: DUP1 000003da: REVERT 000003db: JUMPDEST 000003dc: POP 000003dd: PUSH2 0x03e4 000003e0: PUSH2 0x1280 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH1 0x40 000003e7: MLOAD 000003e8: SWAP1 000003e9: ISZERO 000003ea: ISZERO 000003eb: DUP2 000003ec: MSTORE 000003ed: PUSH1 0x20 000003ef: ADD 000003f0: PUSH2 0x02e3 000003f3: JUMP 000003f4: JUMPDEST 000003f5: CALLVALUE 000003f6: DUP1 000003f7: ISZERO 000003f8: PUSH2 0x0400 000003fb: JUMPI 000003fc: PUSH1 0x00 000003fe: DUP1 000003ff: REVERT 00000400: JUMPDEST 00000401: POP 00000402: PUSH1 0x04 00000404: SLOAD 00000405: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041a: AND 0000041b: PUSH2 0x02c2 0000041e: JUMP 0000041f: JUMPDEST 00000420: CALLVALUE 00000421: DUP1 00000422: ISZERO 00000423: PUSH2 0x042b 00000426: JUMPI 00000427: PUSH1 0x00 00000429: DUP1 0000042a: REVERT 0000042b: JUMPDEST 0000042c: POP 0000042d: PUSH2 0x0235 00000430: PUSH2 0x043a 00000433: CALLDATASIZE 00000434: PUSH1 0x04 00000436: PUSH2 0x2927 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH2 0x1319 0000043e: JUMP 0000043f: JUMPDEST 00000440: CALLVALUE 00000441: DUP1 00000442: ISZERO 00000443: PUSH2 0x044b 00000446: JUMPI 00000447: PUSH1 0x00 00000449: DUP1 0000044a: REVERT 0000044b: JUMPDEST 0000044c: POP 0000044d: PUSH2 0x0235 00000450: PUSH2 0x045a 00000453: CALLDATASIZE 00000454: PUSH1 0x04 00000456: PUSH2 0x2a27 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH2 0x135e 0000045e: JUMP 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x0497 00000470: PUSH2 0x047a 00000473: CALLDATASIZE 00000474: PUSH1 0x04 00000476: PUSH2 0x28ee 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x02 0000047d: PUSH1 0x20 0000047f: SWAP1 00000480: DUP2 00000481: MSTORE 00000482: PUSH1 0x00 00000484: SWAP3 00000485: DUP4 00000486: MSTORE 00000487: PUSH1 0x40 00000489: DUP1 0000048a: DUP5 0000048b: KECCAK256 0000048c: SWAP1 0000048d: SWAP2 0000048e: MSTORE 0000048f: SWAP1 00000490: DUP3 00000491: MSTORE 00000492: SWAP1 00000493: KECCAK256 00000494: SLOAD 00000495: DUP2 00000496: JUMP 00000497: JUMPDEST 00000498: PUSH1 0x40 0000049a: MLOAD 0000049b: SWAP1 0000049c: DUP2 0000049d: MSTORE 0000049e: PUSH1 0x20 000004a0: ADD 000004a1: PUSH2 0x02e3 000004a4: JUMP 000004a5: JUMPDEST 000004a6: CALLVALUE 000004a7: DUP1 000004a8: ISZERO 000004a9: PUSH2 0x04b1 000004ac: JUMPI 000004ad: PUSH1 0x00 000004af: DUP1 000004b0: REVERT 000004b1: JUMPDEST 000004b2: POP 000004b3: PUSH1 0x03 000004b5: SLOAD 000004b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cb: AND 000004cc: PUSH2 0x02c2 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH2 0x0235 000004d4: PUSH2 0x04de 000004d7: CALLDATASIZE 000004d8: PUSH1 0x04 000004da: PUSH2 0x2aaa 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH2 0x1437 000004e2: JUMP 000004e3: JUMPDEST 000004e4: CALLVALUE 000004e5: DUP1 000004e6: ISZERO 000004e7: PUSH2 0x04ef 000004ea: JUMPI 000004eb: PUSH1 0x00 000004ed: DUP1 000004ee: REVERT 000004ef: JUMPDEST 000004f0: POP 000004f1: PUSH2 0x0235 000004f4: PUSH2 0x04fe 000004f7: CALLDATASIZE 000004f8: PUSH1 0x04 000004fa: PUSH2 0x2777 000004fd: JUMP 000004fe: JUMPDEST 000004ff: PUSH2 0x1479 00000502: JUMP 00000503: JUMPDEST 00000504: PUSH2 0x0235 00000507: PUSH2 0x0511 0000050a: CALLDATASIZE 0000050b: PUSH1 0x04 0000050d: PUSH2 0x2828 00000510: JUMP 00000511: JUMPDEST 00000512: PUSH2 0x1488 00000515: JUMP 00000516: JUMPDEST 00000517: CALLVALUE 00000518: DUP1 00000519: ISZERO 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: POP 00000524: PUSH1 0x04 00000526: SLOAD 00000527: PUSH2 0x02c2 0000052a: SWAP1 0000052b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000540: AND 00000541: DUP2 00000542: JUMP 00000543: JUMPDEST 00000544: PUSH2 0x0235 00000547: PUSH2 0x0551 0000054a: CALLDATASIZE 0000054b: PUSH1 0x04 0000054d: PUSH2 0x2aaa 00000550: JUMP 00000551: JUMPDEST 00000552: PUSH2 0x155e 00000555: JUMP 00000556: JUMPDEST 00000557: PUSH1 0x00 00000559: ORIGIN 0000055a: CALLER 0000055b: SUB 0000055c: PUSH2 0x0565 0000055f: JUMPI 00000560: POP 00000561: PUSH1 0x01 00000563: SWAP1 00000564: JUMP 00000565: JUMPDEST 00000566: CALLER 00000567: EXTCODESIZE 00000568: PUSH1 0x17 0000056a: SUB 0000056b: PUSH2 0x058d 0000056e: JUMPI 0000056f: PUSH1 0x40 00000571: MLOAD 00000572: PUSH1 0x20 00000574: DUP2 00000575: ADD 00000576: PUSH1 0x40 00000578: MSTORE 00000579: PUSH1 0x20 0000057b: PUSH1 0x00 0000057d: DUP3 0000057e: CALLER 0000057f: EXTCODECOPY 00000580: MLOAD 00000581: PUSH1 0xe8 00000583: SHR 00000584: PUSH3 0xef0100 00000588: EQ 00000589: SWAP1 0000058a: POP 0000058b: SWAP1 0000058c: JUMP 0000058d: JUMPDEST 0000058e: POP 0000058f: PUSH1 0x00 00000591: SWAP1 00000592: JUMP 00000593: JUMPDEST 00000594: PUSH2 0x05a0 00000597: DUP5 00000598: DUP5 00000599: CALLVALUE 0000059a: DUP6 0000059b: DUP6 0000059c: PUSH2 0x15a1 0000059f: JUMP 000005a0: JUMPDEST 000005a1: POP 000005a2: POP 000005a3: POP 000005a4: POP 000005a5: JUMP 000005a6: JUMPDEST 000005a7: PUSH1 0x03 000005a9: SLOAD 000005aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bf: AND 000005c0: CALLER 000005c1: EQ 000005c2: DUP1 000005c3: ISZERO 000005c4: PUSH2 0x0679 000005c7: JUMPI 000005c8: POP 000005c9: PUSH1 0x04 000005cb: DUP1 000005cc: SLOAD 000005cd: PUSH1 0x03 000005cf: SLOAD 000005d0: PUSH1 0x40 000005d2: DUP1 000005d3: MLOAD 000005d4: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000 000005f5: DUP2 000005f6: MSTORE 000005f7: SWAP1 000005f8: MLOAD 000005f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060e: SWAP4 0000060f: DUP5 00000610: AND 00000611: SWAP5 00000612: SWAP4 00000613: SWAP1 00000614: SWAP3 00000615: AND 00000616: SWAP3 00000617: PUSH4 0x6e296e45 0000061c: SWAP3 0000061d: DUP3 0000061e: DUP3 0000061f: ADD 00000620: SWAP3 00000621: PUSH1 0x20 00000623: SWAP3 00000624: SWAP1 00000625: DUP3 00000626: SWAP1 00000627: SUB 00000628: ADD 00000629: DUP2 0000062a: DUP7 0000062b: GAS 0000062c: STATICCALL 0000062d: ISZERO 0000062e: DUP1 0000062f: ISZERO 00000630: PUSH2 0x063d 00000633: JUMPI 00000634: RETURNDATASIZE 00000635: PUSH1 0x00 00000637: DUP1 00000638: RETURNDATACOPY 00000639: RETURNDATASIZE 0000063a: PUSH1 0x00 0000063c: REVERT 0000063d: JUMPDEST 0000063e: POP 0000063f: POP 00000640: POP 00000641: POP 00000642: PUSH1 0x40 00000644: MLOAD 00000645: RETURNDATASIZE 00000646: PUSH1 0x1f 00000648: NOT 00000649: PUSH1 0x1f 0000064b: DUP3 0000064c: ADD 0000064d: AND 0000064e: DUP3 0000064f: ADD 00000650: DUP1 00000651: PUSH1 0x40 00000653: MSTORE 00000654: POP 00000655: DUP2 00000656: ADD 00000657: SWAP1 00000658: PUSH2 0x0661 0000065b: SWAP2 0000065c: SWAP1 0000065d: PUSH2 0x2b0d 00000660: JUMP 00000661: JUMPDEST 00000662: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000677: AND 00000678: EQ 00000679: JUMPDEST 0000067a: PUSH2 0x072b 0000067d: JUMPI 0000067e: PUSH1 0x40 00000680: MLOAD 00000681: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006a2: DUP2 000006a3: MSTORE 000006a4: PUSH1 0x20 000006a6: PUSH1 0x04 000006a8: DUP3 000006a9: ADD 000006aa: MSTORE 000006ab: PUSH1 0x41 000006ad: PUSH1 0x24 000006af: DUP3 000006b0: ADD 000006b1: MSTORE 000006b2: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 000006d3: PUSH1 0x44 000006d5: DUP3 000006d6: ADD 000006d7: MSTORE 000006d8: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467 000006f9: PUSH1 0x64 000006fb: DUP3 000006fc: ADD 000006fd: MSTORE 000006fe: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 0000071f: PUSH1 0x84 00000721: DUP3 00000722: ADD 00000723: MSTORE 00000724: PUSH1 0xa4 00000726: ADD 00000727: PUSH2 0x020e 0000072a: JUMP 0000072b: JUMPDEST 0000072c: PUSH2 0x0733 0000072f: PUSH2 0x1280 00000732: JUMP 00000733: JUMPDEST 00000734: ISZERO 00000735: PUSH2 0x079a 00000738: JUMPI 00000739: PUSH1 0x40 0000073b: MLOAD 0000073c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000075d: DUP2 0000075e: MSTORE 0000075f: PUSH1 0x20 00000761: PUSH1 0x04 00000763: DUP3 00000764: ADD 00000765: MSTORE 00000766: PUSH1 0x16 00000768: PUSH1 0x24 0000076a: DUP3 0000076b: ADD 0000076c: MSTORE 0000076d: PUSH32 0x5374616e646172644272696467653a2070617573656400000000000000000000 0000078e: PUSH1 0x44 00000790: DUP3 00000791: ADD 00000792: MSTORE 00000793: PUSH1 0x64 00000795: ADD 00000796: PUSH2 0x020e 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH2 0x07a3 0000079e: DUP8 0000079f: PUSH2 0x176b 000007a2: JUMP 000007a3: JUMPDEST 000007a4: ISZERO 000007a5: PUSH2 0x08f1 000007a8: JUMPI 000007a9: PUSH2 0x07b2 000007ac: DUP8 000007ad: DUP8 000007ae: PUSH2 0x17cd 000007b1: JUMP 000007b2: JUMPDEST 000007b3: PUSH2 0x0864 000007b6: JUMPI 000007b7: PUSH1 0x40 000007b9: MLOAD 000007ba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007db: DUP2 000007dc: MSTORE 000007dd: PUSH1 0x20 000007df: PUSH1 0x04 000007e1: DUP3 000007e2: ADD 000007e3: MSTORE 000007e4: PUSH1 0x4a 000007e6: PUSH1 0x24 000007e8: DUP3 000007e9: ADD 000007ea: MSTORE 000007eb: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b 0000080c: PUSH1 0x44 0000080e: DUP3 0000080f: ADD 00000810: MSTORE 00000811: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c 00000832: PUSH1 0x64 00000834: DUP3 00000835: ADD 00000836: MSTORE 00000837: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000 00000858: PUSH1 0x84 0000085a: DUP3 0000085b: ADD 0000085c: MSTORE 0000085d: PUSH1 0xa4 0000085f: ADD 00000860: PUSH2 0x020e 00000863: JUMP 00000864: JUMPDEST 00000865: PUSH1 0x40 00000867: MLOAD 00000868: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000 00000889: DUP2 0000088a: MSTORE 0000088b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a0: DUP6 000008a1: DUP2 000008a2: AND 000008a3: PUSH1 0x04 000008a5: DUP4 000008a6: ADD 000008a7: MSTORE 000008a8: PUSH1 0x24 000008aa: DUP3 000008ab: ADD 000008ac: DUP6 000008ad: SWAP1 000008ae: MSTORE 000008af: DUP9 000008b0: AND 000008b1: SWAP1 000008b2: PUSH4 0x40c10f19 000008b7: SWAP1 000008b8: PUSH1 0x44 000008ba: ADD 000008bb: PUSH1 0x00 000008bd: PUSH1 0x40 000008bf: MLOAD 000008c0: DUP1 000008c1: DUP4 000008c2: SUB 000008c3: DUP2 000008c4: PUSH1 0x00 000008c6: DUP8 000008c7: DUP1 000008c8: EXTCODESIZE 000008c9: ISZERO 000008ca: DUP1 000008cb: ISZERO 000008cc: PUSH2 0x08d4 000008cf: JUMPI 000008d0: PUSH1 0x00 000008d2: DUP1 000008d3: REVERT 000008d4: JUMPDEST 000008d5: POP 000008d6: GAS 000008d7: CALL 000008d8: ISZERO 000008d9: DUP1 000008da: ISZERO 000008db: PUSH2 0x08e8 000008de: JUMPI 000008df: RETURNDATASIZE 000008e0: PUSH1 0x00 000008e2: DUP1 000008e3: RETURNDATACOPY 000008e4: RETURNDATASIZE 000008e5: PUSH1 0x00 000008e7: REVERT 000008e8: JUMPDEST 000008e9: POP 000008ea: POP 000008eb: POP 000008ec: POP 000008ed: PUSH2 0x0973 000008f0: JUMP 000008f1: JUMPDEST 000008f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000907: DUP1 00000908: DUP9 00000909: AND 0000090a: PUSH1 0x00 0000090c: SWAP1 0000090d: DUP2 0000090e: MSTORE 0000090f: PUSH1 0x02 00000911: PUSH1 0x20 00000913: SWAP1 00000914: DUP2 00000915: MSTORE 00000916: PUSH1 0x40 00000918: DUP1 00000919: DUP4 0000091a: KECCAK256 0000091b: SWAP4 0000091c: DUP11 0000091d: AND 0000091e: DUP4 0000091f: MSTORE 00000920: SWAP3 00000921: SWAP1 00000922: MSTORE 00000923: KECCAK256 00000924: SLOAD 00000925: PUSH2 0x092f 00000928: SWAP1 00000929: DUP5 0000092a: SWAP1 0000092b: PUSH2 0x2b59 0000092e: JUMP 0000092f: JUMPDEST 00000930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000945: DUP1 00000946: DUP10 00000947: AND 00000948: PUSH1 0x00 0000094a: DUP2 0000094b: DUP2 0000094c: MSTORE 0000094d: PUSH1 0x02 0000094f: PUSH1 0x20 00000951: SWAP1 00000952: DUP2 00000953: MSTORE 00000954: PUSH1 0x40 00000956: DUP1 00000957: DUP4 00000958: KECCAK256 00000959: SWAP5 0000095a: DUP13 0000095b: AND 0000095c: DUP4 0000095d: MSTORE 0000095e: SWAP4 0000095f: SWAP1 00000960: MSTORE 00000961: SWAP2 00000962: SWAP1 00000963: SWAP2 00000964: KECCAK256 00000965: SWAP2 00000966: SWAP1 00000967: SWAP2 00000968: SSTORE 00000969: PUSH2 0x0973 0000096c: SWAP1 0000096d: DUP6 0000096e: DUP6 0000096f: PUSH2 0x18ed 00000972: JUMP 00000973: JUMPDEST 00000974: PUSH2 0x09b7 00000977: DUP8 00000978: DUP8 00000979: DUP8 0000097a: DUP8 0000097b: DUP8 0000097c: DUP8 0000097d: DUP8 0000097e: DUP1 0000097f: DUP1 00000980: PUSH1 0x1f 00000982: ADD 00000983: PUSH1 0x20 00000985: DUP1 00000986: SWAP2 00000987: DIV 00000988: MUL 00000989: PUSH1 0x20 0000098b: ADD 0000098c: PUSH1 0x40 0000098e: MLOAD 0000098f: SWAP1 00000990: DUP2 00000991: ADD 00000992: PUSH1 0x40 00000994: MSTORE 00000995: DUP1 00000996: SWAP4 00000997: SWAP3 00000998: SWAP2 00000999: SWAP1 0000099a: DUP2 0000099b: DUP2 0000099c: MSTORE 0000099d: PUSH1 0x20 0000099f: ADD 000009a0: DUP4 000009a1: DUP4 000009a2: DUP1 000009a3: DUP3 000009a4: DUP5 000009a5: CALLDATACOPY 000009a6: PUSH1 0x00 000009a8: SWAP3 000009a9: ADD 000009aa: SWAP2 000009ab: SWAP1 000009ac: SWAP2 000009ad: MSTORE 000009ae: POP 000009af: PUSH2 0x19c1 000009b2: SWAP3 000009b3: POP 000009b4: POP 000009b5: POP 000009b6: JUMP 000009b7: JUMPDEST 000009b8: POP 000009b9: POP 000009ba: POP 000009bb: POP 000009bc: POP 000009bd: POP 000009be: POP 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH2 0x09c8 000009c4: PUSH2 0x0556 000009c7: JUMP 000009c8: JUMPDEST 000009c9: PUSH2 0x0a54 000009cc: JUMPI 000009cd: PUSH1 0x40 000009cf: MLOAD 000009d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009f1: DUP2 000009f2: MSTORE 000009f3: PUSH1 0x20 000009f5: PUSH1 0x04 000009f7: DUP3 000009f8: ADD 000009f9: MSTORE 000009fa: PUSH1 0x37 000009fc: PUSH1 0x24 000009fe: DUP3 000009ff: ADD 00000a00: MSTORE 00000a01: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00000a22: PUSH1 0x44 00000a24: DUP3 00000a25: ADD 00000a26: MSTORE 00000a27: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 00000a48: PUSH1 0x64 00000a4a: DUP3 00000a4b: ADD 00000a4c: MSTORE 00000a4d: PUSH1 0x84 00000a4f: ADD 00000a50: PUSH2 0x020e 00000a53: JUMP 00000a54: JUMPDEST 00000a55: PUSH2 0x0a97 00000a58: CALLER 00000a59: CALLER 00000a5a: CALLVALUE 00000a5b: DUP7 00000a5c: DUP7 00000a5d: DUP7 00000a5e: DUP1 00000a5f: DUP1 00000a60: PUSH1 0x1f 00000a62: ADD 00000a63: PUSH1 0x20 00000a65: DUP1 00000a66: SWAP2 00000a67: DIV 00000a68: MUL 00000a69: PUSH1 0x20 00000a6b: ADD 00000a6c: PUSH1 0x40 00000a6e: MLOAD 00000a6f: SWAP1 00000a70: DUP2 00000a71: ADD 00000a72: PUSH1 0x40 00000a74: MSTORE 00000a75: DUP1 00000a76: SWAP4 00000a77: SWAP3 00000a78: SWAP2 00000a79: SWAP1 00000a7a: DUP2 00000a7b: DUP2 00000a7c: MSTORE 00000a7d: PUSH1 0x20 00000a7f: ADD 00000a80: DUP4 00000a81: DUP4 00000a82: DUP1 00000a83: DUP3 00000a84: DUP5 00000a85: CALLDATACOPY 00000a86: PUSH1 0x00 00000a88: SWAP3 00000a89: ADD 00000a8a: SWAP2 00000a8b: SWAP1 00000a8c: SWAP2 00000a8d: MSTORE 00000a8e: POP 00000a8f: PUSH2 0x15a1 00000a92: SWAP3 00000a93: POP 00000a94: POP 00000a95: POP 00000a96: JUMP 00000a97: JUMPDEST 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: PUSH2 0x0aa9 00000aa0: DUP6 00000aa1: DUP6 00000aa2: DUP6 00000aa3: DUP6 00000aa4: DUP6 00000aa5: PUSH2 0x0ab0 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: POP 00000aab: POP 00000aac: POP 00000aad: POP 00000aae: POP 00000aaf: JUMP 00000ab0: JUMPDEST 00000ab1: PUSH1 0x03 00000ab3: SLOAD 00000ab4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac9: AND 00000aca: CALLER 00000acb: EQ 00000acc: DUP1 00000acd: ISZERO 00000ace: PUSH2 0x0b83 00000ad1: JUMPI 00000ad2: POP 00000ad3: PUSH1 0x04 00000ad5: DUP1 00000ad6: SLOAD 00000ad7: PUSH1 0x03 00000ad9: SLOAD 00000ada: PUSH1 0x40 00000adc: DUP1 00000add: MLOAD 00000ade: PUSH32 0x6e296e4500000000000000000000000000000000000000000000000000000000 00000aff: DUP2 00000b00: MSTORE 00000b01: SWAP1 00000b02: MLOAD 00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b18: SWAP4 00000b19: DUP5 00000b1a: AND 00000b1b: SWAP5 00000b1c: SWAP4 00000b1d: SWAP1 00000b1e: SWAP3 00000b1f: AND 00000b20: SWAP3 00000b21: PUSH4 0x6e296e45 00000b26: SWAP3 00000b27: DUP3 00000b28: DUP3 00000b29: ADD 00000b2a: SWAP3 00000b2b: PUSH1 0x20 00000b2d: SWAP3 00000b2e: SWAP1 00000b2f: DUP3 00000b30: SWAP1 00000b31: SUB 00000b32: ADD 00000b33: DUP2 00000b34: DUP7 00000b35: GAS 00000b36: STATICCALL 00000b37: ISZERO 00000b38: DUP1 00000b39: ISZERO 00000b3a: PUSH2 0x0b47 00000b3d: JUMPI 00000b3e: RETURNDATASIZE 00000b3f: PUSH1 0x00 00000b41: DUP1 00000b42: RETURNDATACOPY 00000b43: RETURNDATASIZE 00000b44: PUSH1 0x00 00000b46: REVERT 00000b47: JUMPDEST 00000b48: POP 00000b49: POP 00000b4a: POP 00000b4b: POP 00000b4c: PUSH1 0x40 00000b4e: MLOAD 00000b4f: RETURNDATASIZE 00000b50: PUSH1 0x1f 00000b52: NOT 00000b53: PUSH1 0x1f 00000b55: DUP3 00000b56: ADD 00000b57: AND 00000b58: DUP3 00000b59: ADD 00000b5a: DUP1 00000b5b: PUSH1 0x40 00000b5d: MSTORE 00000b5e: POP 00000b5f: DUP2 00000b60: ADD 00000b61: SWAP1 00000b62: PUSH2 0x0b6b 00000b65: SWAP2 00000b66: SWAP1 00000b67: PUSH2 0x2b0d 00000b6a: JUMP 00000b6b: JUMPDEST 00000b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b81: AND 00000b82: EQ 00000b83: JUMPDEST 00000b84: PUSH2 0x0c35 00000b87: JUMPI 00000b88: PUSH1 0x40 00000b8a: MLOAD 00000b8b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bac: DUP2 00000bad: MSTORE 00000bae: PUSH1 0x20 00000bb0: PUSH1 0x04 00000bb2: DUP3 00000bb3: ADD 00000bb4: MSTORE 00000bb5: PUSH1 0x41 00000bb7: PUSH1 0x24 00000bb9: DUP3 00000bba: ADD 00000bbb: MSTORE 00000bbc: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00000bdd: PUSH1 0x44 00000bdf: DUP3 00000be0: ADD 00000be1: MSTORE 00000be2: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467 00000c03: PUSH1 0x64 00000c05: DUP3 00000c06: ADD 00000c07: MSTORE 00000c08: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 00000c29: PUSH1 0x84 00000c2b: DUP3 00000c2c: ADD 00000c2d: MSTORE 00000c2e: PUSH1 0xa4 00000c30: ADD 00000c31: PUSH2 0x020e 00000c34: JUMP 00000c35: JUMPDEST 00000c36: PUSH2 0x0c3d 00000c39: PUSH2 0x1280 00000c3c: JUMP 00000c3d: JUMPDEST 00000c3e: ISZERO 00000c3f: PUSH2 0x0ca4 00000c42: JUMPI 00000c43: PUSH1 0x40 00000c45: MLOAD 00000c46: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c67: DUP2 00000c68: MSTORE 00000c69: PUSH1 0x20 00000c6b: PUSH1 0x04 00000c6d: DUP3 00000c6e: ADD 00000c6f: MSTORE 00000c70: PUSH1 0x16 00000c72: PUSH1 0x24 00000c74: DUP3 00000c75: ADD 00000c76: MSTORE 00000c77: PUSH32 0x5374616e646172644272696467653a2070617573656400000000000000000000 00000c98: PUSH1 0x44 00000c9a: DUP3 00000c9b: ADD 00000c9c: MSTORE 00000c9d: PUSH1 0x64 00000c9f: ADD 00000ca0: PUSH2 0x020e 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: DUP3 00000ca6: CALLVALUE 00000ca7: EQ 00000ca8: PUSH2 0x0d33 00000cab: JUMPI 00000cac: PUSH1 0x40 00000cae: MLOAD 00000caf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cd0: DUP2 00000cd1: MSTORE 00000cd2: PUSH1 0x20 00000cd4: PUSH1 0x04 00000cd6: DUP3 00000cd7: ADD 00000cd8: MSTORE 00000cd9: PUSH1 0x3a 00000cdb: PUSH1 0x24 00000cdd: DUP3 00000cde: ADD 00000cdf: MSTORE 00000ce0: PUSH32 0x5374616e646172644272696467653a20616d6f756e742073656e7420646f6573 00000d01: PUSH1 0x44 00000d03: DUP3 00000d04: ADD 00000d05: MSTORE 00000d06: PUSH32 0x206e6f74206d6174636820616d6f756e74207265717569726564000000000000 00000d27: PUSH1 0x64 00000d29: DUP3 00000d2a: ADD 00000d2b: MSTORE 00000d2c: PUSH1 0x84 00000d2e: ADD 00000d2f: PUSH2 0x020e 00000d32: JUMP 00000d33: JUMPDEST 00000d34: ADDRESS 00000d35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4a: DUP6 00000d4b: AND 00000d4c: SUB 00000d4d: PUSH2 0x0dd8 00000d50: JUMPI 00000d51: PUSH1 0x40 00000d53: MLOAD 00000d54: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d75: DUP2 00000d76: MSTORE 00000d77: PUSH1 0x20 00000d79: PUSH1 0x04 00000d7b: DUP3 00000d7c: ADD 00000d7d: MSTORE 00000d7e: PUSH1 0x23 00000d80: PUSH1 0x24 00000d82: DUP3 00000d83: ADD 00000d84: MSTORE 00000d85: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f2073 00000da6: PUSH1 0x44 00000da8: DUP3 00000da9: ADD 00000daa: MSTORE 00000dab: PUSH32 0x656c660000000000000000000000000000000000000000000000000000000000 00000dcc: PUSH1 0x64 00000dce: DUP3 00000dcf: ADD 00000dd0: MSTORE 00000dd1: PUSH1 0x84 00000dd3: ADD 00000dd4: PUSH2 0x020e 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: PUSH1 0x03 00000ddb: SLOAD 00000ddc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df1: SWAP1 00000df2: DUP2 00000df3: AND 00000df4: SWAP1 00000df5: DUP6 00000df6: AND 00000df7: SUB 00000df8: PUSH2 0x0e83 00000dfb: JUMPI 00000dfc: PUSH1 0x40 00000dfe: MLOAD 00000dff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e20: DUP2 00000e21: MSTORE 00000e22: PUSH1 0x20 00000e24: PUSH1 0x04 00000e26: DUP3 00000e27: ADD 00000e28: MSTORE 00000e29: PUSH1 0x28 00000e2b: PUSH1 0x24 00000e2d: DUP3 00000e2e: ADD 00000e2f: MSTORE 00000e30: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f206d 00000e51: PUSH1 0x44 00000e53: DUP3 00000e54: ADD 00000e55: MSTORE 00000e56: PUSH32 0x657373656e676572000000000000000000000000000000000000000000000000 00000e77: PUSH1 0x64 00000e79: DUP3 00000e7a: ADD 00000e7b: MSTORE 00000e7c: PUSH1 0x84 00000e7e: ADD 00000e7f: PUSH2 0x020e 00000e82: JUMP 00000e83: JUMPDEST 00000e84: PUSH2 0x0ec5 00000e87: DUP6 00000e88: DUP6 00000e89: DUP6 00000e8a: DUP6 00000e8b: DUP6 00000e8c: DUP1 00000e8d: DUP1 00000e8e: PUSH1 0x1f 00000e90: ADD 00000e91: PUSH1 0x20 00000e93: DUP1 00000e94: SWAP2 00000e95: DIV 00000e96: MUL 00000e97: PUSH1 0x20 00000e99: ADD 00000e9a: PUSH1 0x40 00000e9c: MLOAD 00000e9d: SWAP1 00000e9e: DUP2 00000e9f: ADD 00000ea0: PUSH1 0x40 00000ea2: MSTORE 00000ea3: DUP1 00000ea4: SWAP4 00000ea5: SWAP3 00000ea6: SWAP2 00000ea7: SWAP1 00000ea8: DUP2 00000ea9: DUP2 00000eaa: MSTORE 00000eab: PUSH1 0x20 00000ead: ADD 00000eae: DUP4 00000eaf: DUP4 00000eb0: DUP1 00000eb1: DUP3 00000eb2: DUP5 00000eb3: CALLDATACOPY 00000eb4: PUSH1 0x00 00000eb6: SWAP3 00000eb7: ADD 00000eb8: SWAP2 00000eb9: SWAP1 00000eba: SWAP2 00000ebb: MSTORE 00000ebc: POP 00000ebd: PUSH2 0x1a4f 00000ec0: SWAP3 00000ec1: POP 00000ec2: POP 00000ec3: POP 00000ec4: JUMP 00000ec5: JUMPDEST 00000ec6: PUSH1 0x00 00000ec8: PUSH2 0x0ee2 00000ecb: DUP6 00000ecc: GAS 00000ecd: DUP7 00000ece: PUSH1 0x40 00000ed0: MLOAD 00000ed1: DUP1 00000ed2: PUSH1 0x20 00000ed4: ADD 00000ed5: PUSH1 0x40 00000ed7: MSTORE 00000ed8: DUP1 00000ed9: PUSH1 0x00 00000edb: DUP2 00000edc: MSTORE 00000edd: POP 00000ede: PUSH2 0x1ac2 00000ee1: JUMP 00000ee2: JUMPDEST 00000ee3: SWAP1 00000ee4: POP 00000ee5: DUP1 00000ee6: PUSH2 0x0f71 00000ee9: JUMPI 00000eea: PUSH1 0x40 00000eec: MLOAD 00000eed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f0e: DUP2 00000f0f: MSTORE 00000f10: PUSH1 0x20 00000f12: PUSH1 0x04 00000f14: DUP3 00000f15: ADD 00000f16: MSTORE 00000f17: PUSH1 0x23 00000f19: PUSH1 0x24 00000f1b: DUP3 00000f1c: ADD 00000f1d: MSTORE 00000f1e: PUSH32 0x5374616e646172644272696467653a20455448207472616e7366657220666169 00000f3f: PUSH1 0x44 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: PUSH32 0x6c65640000000000000000000000000000000000000000000000000000000000 00000f65: PUSH1 0x64 00000f67: DUP3 00000f68: ADD 00000f69: MSTORE 00000f6a: PUSH1 0x84 00000f6c: ADD 00000f6d: PUSH2 0x020e 00000f70: JUMP 00000f71: JUMPDEST 00000f72: POP 00000f73: POP 00000f74: POP 00000f75: POP 00000f76: POP 00000f77: POP 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x00 00000f7c: SLOAD 00000f7d: PUSH2 0x0100 00000f80: SWAP1 00000f81: DIV 00000f82: PUSH1 0xff 00000f84: AND 00000f85: ISZERO 00000f86: DUP1 00000f87: DUP1 00000f88: ISZERO 00000f89: PUSH2 0x0f99 00000f8c: JUMPI 00000f8d: POP 00000f8e: PUSH1 0x00 00000f90: SLOAD 00000f91: PUSH1 0x01 00000f93: PUSH1 0xff 00000f95: SWAP1 00000f96: SWAP2 00000f97: AND 00000f98: LT 00000f99: JUMPDEST 00000f9a: DUP1 00000f9b: PUSH2 0x0fb3 00000f9e: JUMPI 00000f9f: POP 00000fa0: ADDRESS 00000fa1: EXTCODESIZE 00000fa2: ISZERO 00000fa3: DUP1 00000fa4: ISZERO 00000fa5: PUSH2 0x0fb3 00000fa8: JUMPI 00000fa9: POP 00000faa: PUSH1 0x00 00000fac: SLOAD 00000fad: PUSH1 0xff 00000faf: AND 00000fb0: PUSH1 0x01 00000fb2: EQ 00000fb3: JUMPDEST 00000fb4: PUSH2 0x103f 00000fb7: JUMPI 00000fb8: PUSH1 0x40 00000fba: MLOAD 00000fbb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fdc: DUP2 00000fdd: MSTORE 00000fde: PUSH1 0x20 00000fe0: PUSH1 0x04 00000fe2: DUP3 00000fe3: ADD 00000fe4: MSTORE 00000fe5: PUSH1 0x2e 00000fe7: PUSH1 0x24 00000fe9: DUP3 00000fea: ADD 00000feb: MSTORE 00000fec: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 0000100d: PUSH1 0x44 0000100f: DUP3 00001010: ADD 00001011: MSTORE 00001012: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00001033: PUSH1 0x64 00001035: DUP3 00001036: ADD 00001037: MSTORE 00001038: PUSH1 0x84 0000103a: ADD 0000103b: PUSH2 0x020e 0000103e: JUMP 0000103f: JUMPDEST 00001040: PUSH1 0x00 00001042: DUP1 00001043: SLOAD 00001044: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001065: AND 00001066: PUSH1 0x01 00001068: OR 00001069: SWAP1 0000106a: SSTORE 0000106b: DUP1 0000106c: ISZERO 0000106d: PUSH2 0x109d 00001070: JUMPI 00001071: PUSH1 0x00 00001073: DUP1 00001074: SLOAD 00001075: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00001096: AND 00001097: PUSH2 0x0100 0000109a: OR 0000109b: SWAP1 0000109c: SSTORE 0000109d: JUMPDEST 0000109e: PUSH1 0x32 000010a0: DUP1 000010a1: SLOAD 000010a2: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000010c3: AND 000010c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d9: DUP5 000010da: AND 000010db: OR 000010dc: SWAP1 000010dd: SSTORE 000010de: PUSH2 0x10fb 000010e1: DUP4 000010e2: PUSH20 0x4200000000000000000000000000000000000010 000010f7: PUSH2 0x1ada 000010fa: JUMP 000010fb: JUMPDEST 000010fc: DUP1 000010fd: ISZERO 000010fe: PUSH2 0x0a97 00001101: JUMPI 00001102: PUSH1 0x00 00001104: DUP1 00001105: SLOAD 00001106: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00001127: AND 00001128: SWAP1 00001129: SSTORE 0000112a: PUSH1 0x40 0000112c: MLOAD 0000112d: PUSH1 0x01 0000112f: DUP2 00001130: MSTORE 00001131: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00001152: SWAP1 00001153: PUSH1 0x20 00001155: ADD 00001156: PUSH1 0x40 00001158: MLOAD 00001159: DUP1 0000115a: SWAP2 0000115b: SUB 0000115c: SWAP1 0000115d: LOG1 0000115e: POP 0000115f: POP 00001160: POP 00001161: JUMP 00001162: JUMPDEST 00001163: PUSH2 0x09b7 00001166: DUP8 00001167: DUP8 00001168: CALLER 00001169: DUP9 0000116a: DUP9 0000116b: DUP9 0000116c: DUP9 0000116d: DUP9 0000116e: DUP1 0000116f: DUP1 00001170: PUSH1 0x1f 00001172: ADD 00001173: PUSH1 0x20 00001175: DUP1 00001176: SWAP2 00001177: DIV 00001178: MUL 00001179: PUSH1 0x20 0000117b: ADD 0000117c: PUSH1 0x40 0000117e: MLOAD 0000117f: SWAP1 00001180: DUP2 00001181: ADD 00001182: PUSH1 0x40 00001184: MSTORE 00001185: DUP1 00001186: SWAP4 00001187: SWAP3 00001188: SWAP2 00001189: SWAP1 0000118a: DUP2 0000118b: DUP2 0000118c: MSTORE 0000118d: PUSH1 0x20 0000118f: ADD 00001190: DUP4 00001191: DUP4 00001192: DUP1 00001193: DUP3 00001194: DUP5 00001195: CALLDATACOPY 00001196: PUSH1 0x00 00001198: SWAP3 00001199: ADD 0000119a: SWAP2 0000119b: SWAP1 0000119c: SWAP2 0000119d: MSTORE 0000119e: POP 0000119f: PUSH2 0x1bc4 000011a2: SWAP3 000011a3: POP 000011a4: POP 000011a5: POP 000011a6: JUMP 000011a7: JUMPDEST 000011a8: PUSH2 0x11af 000011ab: PUSH2 0x0556 000011ae: JUMP 000011af: JUMPDEST 000011b0: PUSH2 0x123b 000011b3: JUMPI 000011b4: PUSH1 0x40 000011b6: MLOAD 000011b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011d8: DUP2 000011d9: MSTORE 000011da: PUSH1 0x20 000011dc: PUSH1 0x04 000011de: DUP3 000011df: ADD 000011e0: MSTORE 000011e1: PUSH1 0x37 000011e3: PUSH1 0x24 000011e5: DUP3 000011e6: ADD 000011e7: MSTORE 000011e8: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00001209: PUSH1 0x44 0000120b: DUP3 0000120c: ADD 0000120d: MSTORE 0000120e: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 0000122f: PUSH1 0x64 00001231: DUP3 00001232: ADD 00001233: MSTORE 00001234: PUSH1 0x84 00001236: ADD 00001237: PUSH2 0x020e 0000123a: JUMP 0000123b: JUMPDEST 0000123c: PUSH2 0x0f71 0000123f: DUP7 00001240: DUP7 00001241: CALLER 00001242: CALLER 00001243: DUP9 00001244: DUP9 00001245: DUP9 00001246: DUP9 00001247: DUP1 00001248: DUP1 00001249: PUSH1 0x1f 0000124b: ADD 0000124c: PUSH1 0x20 0000124e: DUP1 0000124f: SWAP2 00001250: DIV 00001251: MUL 00001252: PUSH1 0x20 00001254: ADD 00001255: PUSH1 0x40 00001257: MLOAD 00001258: SWAP1 00001259: DUP2 0000125a: ADD 0000125b: PUSH1 0x40 0000125d: MSTORE 0000125e: DUP1 0000125f: SWAP4 00001260: SWAP3 00001261: SWAP2 00001262: SWAP1 00001263: DUP2 00001264: DUP2 00001265: MSTORE 00001266: PUSH1 0x20 00001268: ADD 00001269: DUP4 0000126a: DUP4 0000126b: DUP1 0000126c: DUP3 0000126d: DUP5 0000126e: CALLDATACOPY 0000126f: PUSH1 0x00 00001271: SWAP3 00001272: ADD 00001273: SWAP2 00001274: SWAP1 00001275: SWAP2 00001276: MSTORE 00001277: POP 00001278: PUSH2 0x1f7d 0000127b: SWAP3 0000127c: POP 0000127d: POP 0000127e: POP 0000127f: JUMP 00001280: JUMPDEST 00001281: PUSH1 0x32 00001283: SLOAD 00001284: PUSH1 0x40 00001286: DUP1 00001287: MLOAD 00001288: PUSH32 0x5c975abb00000000000000000000000000000000000000000000000000000000 000012a9: DUP2 000012aa: MSTORE 000012ab: SWAP1 000012ac: MLOAD 000012ad: PUSH1 0x00 000012af: SWAP3 000012b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c5: AND 000012c6: SWAP2 000012c7: PUSH4 0x5c975abb 000012cc: SWAP2 000012cd: PUSH1 0x04 000012cf: DUP1 000012d0: DUP4 000012d1: ADD 000012d2: SWAP3 000012d3: PUSH1 0x20 000012d5: SWAP3 000012d6: SWAP2 000012d7: SWAP1 000012d8: DUP3 000012d9: SWAP1 000012da: SUB 000012db: ADD 000012dc: DUP2 000012dd: DUP7 000012de: GAS 000012df: STATICCALL 000012e0: ISZERO 000012e1: DUP1 000012e2: ISZERO 000012e3: PUSH2 0x12f0 000012e6: JUMPI 000012e7: RETURNDATASIZE 000012e8: PUSH1 0x00 000012ea: DUP1 000012eb: RETURNDATACOPY 000012ec: RETURNDATASIZE 000012ed: PUSH1 0x00 000012ef: REVERT 000012f0: JUMPDEST 000012f1: POP 000012f2: POP 000012f3: POP 000012f4: POP 000012f5: PUSH1 0x40 000012f7: MLOAD 000012f8: RETURNDATASIZE 000012f9: PUSH1 0x1f 000012fb: NOT 000012fc: PUSH1 0x1f 000012fe: DUP3 000012ff: ADD 00001300: AND 00001301: DUP3 00001302: ADD 00001303: DUP1 00001304: PUSH1 0x40 00001306: MSTORE 00001307: POP 00001308: DUP2 00001309: ADD 0000130a: SWAP1 0000130b: PUSH2 0x1314 0000130e: SWAP2 0000130f: SWAP1 00001310: PUSH2 0x2b70 00001313: JUMP 00001314: JUMPDEST 00001315: SWAP1 00001316: POP 00001317: SWAP1 00001318: JUMP 00001319: JUMPDEST 0000131a: PUSH2 0x09b7 0000131d: DUP8 0000131e: DUP8 0000131f: CALLER 00001320: DUP9 00001321: DUP9 00001322: DUP9 00001323: DUP9 00001324: DUP9 00001325: DUP1 00001326: DUP1 00001327: PUSH1 0x1f 00001329: ADD 0000132a: PUSH1 0x20 0000132c: DUP1 0000132d: SWAP2 0000132e: DIV 0000132f: MUL 00001330: PUSH1 0x20 00001332: ADD 00001333: PUSH1 0x40 00001335: MLOAD 00001336: SWAP1 00001337: DUP2 00001338: ADD 00001339: PUSH1 0x40 0000133b: MSTORE 0000133c: DUP1 0000133d: SWAP4 0000133e: SWAP3 0000133f: SWAP2 00001340: SWAP1 00001341: DUP2 00001342: DUP2 00001343: MSTORE 00001344: PUSH1 0x20 00001346: ADD 00001347: DUP4 00001348: DUP4 00001349: DUP1 0000134a: DUP3 0000134b: DUP5 0000134c: CALLDATACOPY 0000134d: PUSH1 0x00 0000134f: SWAP3 00001350: ADD 00001351: SWAP2 00001352: SWAP1 00001353: SWAP2 00001354: MSTORE 00001355: POP 00001356: PUSH2 0x1f7d 00001359: SWAP3 0000135a: POP 0000135b: POP 0000135c: POP 0000135d: JUMP 0000135e: JUMPDEST 0000135f: PUSH2 0x1366 00001362: PUSH2 0x0556 00001365: JUMP 00001366: JUMPDEST 00001367: PUSH2 0x13f2 0000136a: JUMPI 0000136b: PUSH1 0x40 0000136d: MLOAD 0000136e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000138f: DUP2 00001390: MSTORE 00001391: PUSH1 0x20 00001393: PUSH1 0x04 00001395: DUP3 00001396: ADD 00001397: MSTORE 00001398: PUSH1 0x37 0000139a: PUSH1 0x24 0000139c: DUP3 0000139d: ADD 0000139e: MSTORE 0000139f: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 000013c0: PUSH1 0x44 000013c2: DUP3 000013c3: ADD 000013c4: MSTORE 000013c5: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 000013e6: PUSH1 0x64 000013e8: DUP3 000013e9: ADD 000013ea: MSTORE 000013eb: PUSH1 0x84 000013ed: ADD 000013ee: PUSH2 0x020e 000013f1: JUMP 000013f2: JUMPDEST 000013f3: PUSH2 0x0f71 000013f6: DUP7 000013f7: DUP7 000013f8: CALLER 000013f9: CALLER 000013fa: DUP9 000013fb: DUP9 000013fc: DUP9 000013fd: DUP9 000013fe: DUP1 000013ff: DUP1 00001400: PUSH1 0x1f 00001402: ADD 00001403: PUSH1 0x20 00001405: DUP1 00001406: SWAP2 00001407: DIV 00001408: MUL 00001409: PUSH1 0x20 0000140b: ADD 0000140c: PUSH1 0x40 0000140e: MLOAD 0000140f: SWAP1 00001410: DUP2 00001411: ADD 00001412: PUSH1 0x40 00001414: MSTORE 00001415: DUP1 00001416: SWAP4 00001417: SWAP3 00001418: SWAP2 00001419: SWAP1 0000141a: DUP2 0000141b: DUP2 0000141c: MSTORE 0000141d: PUSH1 0x20 0000141f: ADD 00001420: DUP4 00001421: DUP4 00001422: DUP1 00001423: DUP3 00001424: DUP5 00001425: CALLDATACOPY 00001426: PUSH1 0x00 00001428: SWAP3 00001429: ADD 0000142a: SWAP2 0000142b: SWAP1 0000142c: SWAP2 0000142d: MSTORE 0000142e: POP 0000142f: PUSH2 0x1bc4 00001432: SWAP3 00001433: POP 00001434: POP 00001435: POP 00001436: JUMP 00001437: JUMPDEST 00001438: PUSH2 0x05a0 0000143b: CALLER 0000143c: DUP6 0000143d: DUP6 0000143e: DUP6 0000143f: DUP6 00001440: DUP1 00001441: DUP1 00001442: PUSH1 0x1f 00001444: ADD 00001445: PUSH1 0x20 00001447: DUP1 00001448: SWAP2 00001449: DIV 0000144a: MUL 0000144b: PUSH1 0x20 0000144d: ADD 0000144e: PUSH1 0x40 00001450: MLOAD 00001451: SWAP1 00001452: DUP2 00001453: ADD 00001454: PUSH1 0x40 00001456: MSTORE 00001457: DUP1 00001458: SWAP4 00001459: SWAP3 0000145a: SWAP2 0000145b: SWAP1 0000145c: DUP2 0000145d: DUP2 0000145e: MSTORE 0000145f: PUSH1 0x20 00001461: ADD 00001462: DUP4 00001463: DUP4 00001464: DUP1 00001465: DUP3 00001466: DUP5 00001467: CALLDATACOPY 00001468: PUSH1 0x00 0000146a: SWAP3 0000146b: ADD 0000146c: SWAP2 0000146d: SWAP1 0000146e: SWAP2 0000146f: MSTORE 00001470: POP 00001471: PUSH2 0x0593 00001474: SWAP3 00001475: POP 00001476: POP 00001477: POP 00001478: JUMP 00001479: JUMPDEST 0000147a: PUSH2 0x09b7 0000147d: DUP8 0000147e: DUP8 0000147f: DUP8 00001480: DUP8 00001481: DUP8 00001482: DUP8 00001483: DUP8 00001484: PUSH2 0x05a6 00001487: JUMP 00001488: JUMPDEST 00001489: PUSH2 0x1490 0000148c: PUSH2 0x0556 0000148f: JUMP 00001490: JUMPDEST 00001491: PUSH2 0x151c 00001494: JUMPI 00001495: PUSH1 0x40 00001497: MLOAD 00001498: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014b9: DUP2 000014ba: MSTORE 000014bb: PUSH1 0x20 000014bd: PUSH1 0x04 000014bf: DUP3 000014c0: ADD 000014c1: MSTORE 000014c2: PUSH1 0x37 000014c4: PUSH1 0x24 000014c6: DUP3 000014c7: ADD 000014c8: MSTORE 000014c9: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 000014ea: PUSH1 0x44 000014ec: DUP3 000014ed: ADD 000014ee: MSTORE 000014ef: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 00001510: PUSH1 0x64 00001512: DUP3 00001513: ADD 00001514: MSTORE 00001515: PUSH1 0x84 00001517: ADD 00001518: PUSH2 0x020e 0000151b: JUMP 0000151c: JUMPDEST 0000151d: PUSH2 0x0a97 00001520: CALLER 00001521: CALLER 00001522: DUP6 00001523: DUP6 00001524: DUP6 00001525: DUP1 00001526: DUP1 00001527: PUSH1 0x1f 00001529: ADD 0000152a: PUSH1 0x20 0000152c: DUP1 0000152d: SWAP2 0000152e: DIV 0000152f: MUL 00001530: PUSH1 0x20 00001532: ADD 00001533: PUSH1 0x40 00001535: MLOAD 00001536: SWAP1 00001537: DUP2 00001538: ADD 00001539: PUSH1 0x40 0000153b: MSTORE 0000153c: DUP1 0000153d: SWAP4 0000153e: SWAP3 0000153f: SWAP2 00001540: SWAP1 00001541: DUP2 00001542: DUP2 00001543: MSTORE 00001544: PUSH1 0x20 00001546: ADD 00001547: DUP4 00001548: DUP4 00001549: DUP1 0000154a: DUP3 0000154b: DUP5 0000154c: CALLDATACOPY 0000154d: PUSH1 0x00 0000154f: SWAP3 00001550: ADD 00001551: SWAP2 00001552: SWAP1 00001553: SWAP2 00001554: MSTORE 00001555: POP 00001556: PUSH2 0x0593 00001559: SWAP3 0000155a: POP 0000155b: POP 0000155c: POP 0000155d: JUMP 0000155e: JUMPDEST 0000155f: PUSH2 0x05a0 00001562: CALLER 00001563: DUP6 00001564: CALLVALUE 00001565: DUP7 00001566: DUP7 00001567: DUP7 00001568: DUP1 00001569: DUP1 0000156a: PUSH1 0x1f 0000156c: ADD 0000156d: PUSH1 0x20 0000156f: DUP1 00001570: SWAP2 00001571: DIV 00001572: MUL 00001573: PUSH1 0x20 00001575: ADD 00001576: PUSH1 0x40 00001578: MLOAD 00001579: SWAP1 0000157a: DUP2 0000157b: ADD 0000157c: PUSH1 0x40 0000157e: MSTORE 0000157f: DUP1 00001580: SWAP4 00001581: SWAP3 00001582: SWAP2 00001583: SWAP1 00001584: DUP2 00001585: DUP2 00001586: MSTORE 00001587: PUSH1 0x20 00001589: ADD 0000158a: DUP4 0000158b: DUP4 0000158c: DUP1 0000158d: DUP3 0000158e: DUP5 0000158f: CALLDATACOPY 00001590: PUSH1 0x00 00001592: SWAP3 00001593: ADD 00001594: SWAP2 00001595: SWAP1 00001596: SWAP2 00001597: MSTORE 00001598: POP 00001599: PUSH2 0x15a1 0000159c: SWAP3 0000159d: POP 0000159e: POP 0000159f: POP 000015a0: JUMP 000015a1: JUMPDEST 000015a2: DUP3 000015a3: CALLVALUE 000015a4: EQ 000015a5: PUSH2 0x1630 000015a8: JUMPI 000015a9: PUSH1 0x40 000015ab: MLOAD 000015ac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015cd: DUP2 000015ce: MSTORE 000015cf: PUSH1 0x20 000015d1: PUSH1 0x04 000015d3: DUP3 000015d4: ADD 000015d5: MSTORE 000015d6: PUSH1 0x3e 000015d8: PUSH1 0x24 000015da: DUP3 000015db: ADD 000015dc: MSTORE 000015dd: PUSH32 0x5374616e646172644272696467653a206272696467696e6720455448206d7573 000015fe: PUSH1 0x44 00001600: DUP3 00001601: ADD 00001602: MSTORE 00001603: PUSH32 0x7420696e636c7564652073756666696369656e74204554482076616c75650000 00001624: PUSH1 0x64 00001626: DUP3 00001627: ADD 00001628: MSTORE 00001629: PUSH1 0x84 0000162b: ADD 0000162c: PUSH2 0x020e 0000162f: JUMP 00001630: JUMPDEST 00001631: PUSH2 0x163c 00001634: DUP6 00001635: DUP6 00001636: DUP6 00001637: DUP5 00001638: PUSH2 0x1f8c 0000163b: JUMP 0000163c: JUMPDEST 0000163d: PUSH1 0x03 0000163f: SLOAD 00001640: PUSH1 0x04 00001642: SLOAD 00001643: PUSH1 0x40 00001645: MLOAD 00001646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165b: SWAP3 0000165c: DUP4 0000165d: AND 0000165e: SWAP3 0000165f: PUSH4 0x3dbb202b 00001664: SWAP3 00001665: DUP8 00001666: SWAP3 00001667: SWAP2 00001668: AND 00001669: SWAP1 0000166a: PUSH32 0x1635f5fd00000000000000000000000000000000000000000000000000000000 0000168b: SWAP1 0000168c: PUSH2 0x169f 0000168f: SWAP1 00001690: DUP12 00001691: SWAP1 00001692: DUP12 00001693: SWAP1 00001694: DUP7 00001695: SWAP1 00001696: DUP11 00001697: SWAP1 00001698: PUSH1 0x24 0000169a: ADD 0000169b: PUSH2 0x2b92 0000169e: JUMP 0000169f: JUMPDEST 000016a0: PUSH1 0x40 000016a2: DUP1 000016a3: MLOAD 000016a4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000016c5: DUP2 000016c6: DUP5 000016c7: SUB 000016c8: ADD 000016c9: DUP2 000016ca: MSTORE 000016cb: SWAP2 000016cc: DUP2 000016cd: MSTORE 000016ce: PUSH1 0x20 000016d0: DUP3 000016d1: ADD 000016d2: DUP1 000016d3: MLOAD 000016d4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000016f1: AND 000016f2: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001713: SWAP5 00001714: DUP6 00001715: AND 00001716: OR 00001717: SWAP1 00001718: MSTORE 00001719: MLOAD 0000171a: PUSH1 0xe0 0000171c: DUP7 0000171d: SWAP1 0000171e: SHL 0000171f: SWAP1 00001720: SWAP3 00001721: AND 00001722: DUP3 00001723: MSTORE 00001724: PUSH2 0x1732 00001727: SWAP3 00001728: SWAP2 00001729: DUP9 0000172a: SWAP1 0000172b: PUSH1 0x04 0000172d: ADD 0000172e: PUSH2 0x2bdb 00001731: JUMP 00001732: JUMPDEST 00001733: PUSH1 0x00 00001735: PUSH1 0x40 00001737: MLOAD 00001738: DUP1 00001739: DUP4 0000173a: SUB 0000173b: DUP2 0000173c: DUP6 0000173d: DUP9 0000173e: DUP1 0000173f: EXTCODESIZE 00001740: ISZERO 00001741: DUP1 00001742: ISZERO 00001743: PUSH2 0x174b 00001746: JUMPI 00001747: PUSH1 0x00 00001749: DUP1 0000174a: REVERT 0000174b: JUMPDEST 0000174c: POP 0000174d: GAS 0000174e: CALL 0000174f: ISZERO 00001750: DUP1 00001751: ISZERO 00001752: PUSH2 0x175f 00001755: JUMPI 00001756: RETURNDATASIZE 00001757: PUSH1 0x00 00001759: DUP1 0000175a: RETURNDATACOPY 0000175b: RETURNDATASIZE 0000175c: PUSH1 0x00 0000175e: REVERT 0000175f: JUMPDEST 00001760: POP 00001761: POP 00001762: POP 00001763: POP 00001764: POP 00001765: POP 00001766: POP 00001767: POP 00001768: POP 00001769: POP 0000176a: JUMP 0000176b: JUMPDEST 0000176c: PUSH1 0x00 0000176e: PUSH2 0x1797 00001771: DUP3 00001772: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000 00001793: PUSH2 0x1fff 00001796: JUMP 00001797: JUMPDEST 00001798: DUP1 00001799: PUSH2 0x17c7 0000179c: JUMPI 0000179d: POP 0000179e: PUSH2 0x17c7 000017a1: DUP3 000017a2: PUSH32 0xec4fc8e300000000000000000000000000000000000000000000000000000000 000017c3: PUSH2 0x1fff 000017c6: JUMP 000017c7: JUMPDEST 000017c8: SWAP3 000017c9: SWAP2 000017ca: POP 000017cb: POP 000017cc: JUMP 000017cd: JUMPDEST 000017ce: PUSH1 0x00 000017d0: PUSH2 0x17f9 000017d3: DUP4 000017d4: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000 000017f5: PUSH2 0x1fff 000017f8: JUMP 000017f9: JUMPDEST 000017fa: ISZERO 000017fb: PUSH2 0x18a2 000017fe: JUMPI 000017ff: DUP3 00001800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001815: AND 00001816: PUSH4 0xc01e1bd6 0000181b: PUSH1 0x40 0000181d: MLOAD 0000181e: DUP2 0000181f: PUSH4 0xffffffff 00001824: AND 00001825: PUSH1 0xe0 00001827: SHL 00001828: DUP2 00001829: MSTORE 0000182a: PUSH1 0x04 0000182c: ADD 0000182d: PUSH1 0x20 0000182f: PUSH1 0x40 00001831: MLOAD 00001832: DUP1 00001833: DUP4 00001834: SUB 00001835: DUP2 00001836: DUP7 00001837: GAS 00001838: STATICCALL 00001839: ISZERO 0000183a: DUP1 0000183b: ISZERO 0000183c: PUSH2 0x1849 0000183f: JUMPI 00001840: RETURNDATASIZE 00001841: PUSH1 0x00 00001843: DUP1 00001844: RETURNDATACOPY 00001845: RETURNDATASIZE 00001846: PUSH1 0x00 00001848: REVERT 00001849: JUMPDEST 0000184a: POP 0000184b: POP 0000184c: POP 0000184d: POP 0000184e: PUSH1 0x40 00001850: MLOAD 00001851: RETURNDATASIZE 00001852: PUSH1 0x1f 00001854: NOT 00001855: PUSH1 0x1f 00001857: DUP3 00001858: ADD 00001859: AND 0000185a: DUP3 0000185b: ADD 0000185c: DUP1 0000185d: PUSH1 0x40 0000185f: MSTORE 00001860: POP 00001861: DUP2 00001862: ADD 00001863: SWAP1 00001864: PUSH2 0x186d 00001867: SWAP2 00001868: SWAP1 00001869: PUSH2 0x2b0d 0000186c: JUMP 0000186d: JUMPDEST 0000186e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001883: AND 00001884: DUP3 00001885: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000189a: AND 0000189b: EQ 0000189c: SWAP1 0000189d: POP 0000189e: PUSH2 0x17c7 000018a1: JUMP 000018a2: JUMPDEST 000018a3: DUP3 000018a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b9: AND 000018ba: PUSH4 0xd6c0b2c4 000018bf: PUSH1 0x40 000018c1: MLOAD 000018c2: DUP2 000018c3: PUSH4 0xffffffff 000018c8: AND 000018c9: PUSH1 0xe0 000018cb: SHL 000018cc: DUP2 000018cd: MSTORE 000018ce: PUSH1 0x04 000018d0: ADD 000018d1: PUSH1 0x20 000018d3: PUSH1 0x40 000018d5: MLOAD 000018d6: DUP1 000018d7: DUP4 000018d8: SUB 000018d9: DUP2 000018da: DUP7 000018db: GAS 000018dc: STATICCALL 000018dd: ISZERO 000018de: DUP1 000018df: ISZERO 000018e0: PUSH2 0x1849 000018e3: JUMPI 000018e4: RETURNDATASIZE 000018e5: PUSH1 0x00 000018e7: DUP1 000018e8: RETURNDATACOPY 000018e9: RETURNDATASIZE 000018ea: PUSH1 0x00 000018ec: REVERT 000018ed: JUMPDEST 000018ee: PUSH1 0x40 000018f0: MLOAD 000018f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001906: DUP4 00001907: AND 00001908: PUSH1 0x24 0000190a: DUP3 0000190b: ADD 0000190c: MSTORE 0000190d: PUSH1 0x44 0000190f: DUP2 00001910: ADD 00001911: DUP3 00001912: SWAP1 00001913: MSTORE 00001914: PUSH2 0x0a97 00001917: SWAP1 00001918: DUP5 00001919: SWAP1 0000191a: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000193b: SWAP1 0000193c: PUSH1 0x64 0000193e: ADD 0000193f: JUMPDEST 00001940: PUSH1 0x40 00001942: DUP1 00001943: MLOAD 00001944: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001965: DUP2 00001966: DUP5 00001967: SUB 00001968: ADD 00001969: DUP2 0000196a: MSTORE 0000196b: SWAP2 0000196c: SWAP1 0000196d: MSTORE 0000196e: PUSH1 0x20 00001970: DUP2 00001971: ADD 00001972: DUP1 00001973: MLOAD 00001974: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001991: AND 00001992: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000019b3: SWAP1 000019b4: SWAP4 000019b5: AND 000019b6: SWAP3 000019b7: SWAP1 000019b8: SWAP3 000019b9: OR 000019ba: SWAP1 000019bb: SWAP2 000019bc: MSTORE 000019bd: PUSH2 0x2022 000019c0: JUMP 000019c1: JUMPDEST 000019c2: DUP4 000019c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019d8: AND 000019d9: DUP6 000019da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ef: AND 000019f0: DUP8 000019f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a06: AND 00001a07: PUSH32 0x3ceee06c1e37648fcbb6ed52e17b3e1f275a1f8c7b22a84b2b84732431e046b3 00001a28: DUP7 00001a29: DUP7 00001a2a: DUP7 00001a2b: PUSH1 0x40 00001a2d: MLOAD 00001a2e: PUSH2 0x1a39 00001a31: SWAP4 00001a32: SWAP3 00001a33: SWAP2 00001a34: SWAP1 00001a35: PUSH2 0x2c20 00001a38: JUMP 00001a39: JUMPDEST 00001a3a: PUSH1 0x40 00001a3c: MLOAD 00001a3d: DUP1 00001a3e: SWAP2 00001a3f: SUB 00001a40: SWAP1 00001a41: LOG4 00001a42: PUSH2 0x0f71 00001a45: DUP7 00001a46: DUP7 00001a47: DUP7 00001a48: DUP7 00001a49: DUP7 00001a4a: DUP7 00001a4b: PUSH2 0x212e 00001a4e: JUMP 00001a4f: JUMPDEST 00001a50: DUP3 00001a51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a66: AND 00001a67: DUP5 00001a68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a7d: AND 00001a7e: PUSH32 0x2ac69ee804d9a7a0984249f508dfab7cb2534b465b6ce1580f99a38ba9c5e631 00001a9f: DUP5 00001aa0: DUP5 00001aa1: PUSH1 0x40 00001aa3: MLOAD 00001aa4: PUSH2 0x1aae 00001aa7: SWAP3 00001aa8: SWAP2 00001aa9: SWAP1 00001aaa: PUSH2 0x2c5e 00001aad: JUMP 00001aae: JUMPDEST 00001aaf: PUSH1 0x40 00001ab1: MLOAD 00001ab2: DUP1 00001ab3: SWAP2 00001ab4: SUB 00001ab5: SWAP1 00001ab6: LOG3 00001ab7: PUSH2 0x05a0 00001aba: DUP5 00001abb: DUP5 00001abc: DUP5 00001abd: DUP5 00001abe: PUSH2 0x21b6 00001ac1: JUMP 00001ac2: JUMPDEST 00001ac3: PUSH1 0x00 00001ac5: DUP1 00001ac6: PUSH1 0x00 00001ac8: DUP4 00001ac9: MLOAD 00001aca: PUSH1 0x20 00001acc: DUP6 00001acd: ADD 00001ace: DUP7 00001acf: DUP10 00001ad0: DUP10 00001ad1: CALL 00001ad2: SWAP6 00001ad3: SWAP5 00001ad4: POP 00001ad5: POP 00001ad6: POP 00001ad7: POP 00001ad8: POP 00001ad9: JUMP 00001ada: JUMPDEST 00001adb: PUSH1 0x00 00001add: SLOAD 00001ade: PUSH2 0x0100 00001ae1: SWAP1 00001ae2: DIV 00001ae3: PUSH1 0xff 00001ae5: AND 00001ae6: PUSH2 0x1b71 00001ae9: JUMPI 00001aea: PUSH1 0x40 00001aec: MLOAD 00001aed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b0e: DUP2 00001b0f: MSTORE 00001b10: PUSH1 0x20 00001b12: PUSH1 0x04 00001b14: DUP3 00001b15: ADD 00001b16: MSTORE 00001b17: PUSH1 0x2b 00001b19: PUSH1 0x24 00001b1b: DUP3 00001b1c: ADD 00001b1d: MSTORE 00001b1e: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00001b3f: PUSH1 0x44 00001b41: DUP3 00001b42: ADD 00001b43: MSTORE 00001b44: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 00001b65: PUSH1 0x64 00001b67: DUP3 00001b68: ADD 00001b69: MSTORE 00001b6a: PUSH1 0x84 00001b6c: ADD 00001b6d: PUSH2 0x020e 00001b70: JUMP 00001b71: JUMPDEST 00001b72: PUSH1 0x03 00001b74: DUP1 00001b75: SLOAD 00001b76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b8b: SWAP4 00001b8c: DUP5 00001b8d: AND 00001b8e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001baf: SWAP2 00001bb0: DUP3 00001bb1: AND 00001bb2: OR 00001bb3: SWAP1 00001bb4: SWAP2 00001bb5: SSTORE 00001bb6: PUSH1 0x04 00001bb8: DUP1 00001bb9: SLOAD 00001bba: SWAP3 00001bbb: SWAP1 00001bbc: SWAP4 00001bbd: AND 00001bbe: SWAP2 00001bbf: AND 00001bc0: OR 00001bc1: SWAP1 00001bc2: SSTORE 00001bc3: JUMP 00001bc4: JUMPDEST 00001bc5: CALLVALUE 00001bc6: ISZERO 00001bc7: PUSH2 0x1c52 00001bca: JUMPI 00001bcb: PUSH1 0x40 00001bcd: MLOAD 00001bce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001bef: DUP2 00001bf0: MSTORE 00001bf1: PUSH1 0x20 00001bf3: PUSH1 0x04 00001bf5: DUP3 00001bf6: ADD 00001bf7: MSTORE 00001bf8: PUSH1 0x21 00001bfa: PUSH1 0x24 00001bfc: DUP3 00001bfd: ADD 00001bfe: MSTORE 00001bff: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e642076616c75 00001c20: PUSH1 0x44 00001c22: DUP3 00001c23: ADD 00001c24: MSTORE 00001c25: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 00001c46: PUSH1 0x64 00001c48: DUP3 00001c49: ADD 00001c4a: MSTORE 00001c4b: PUSH1 0x84 00001c4d: ADD 00001c4e: PUSH2 0x020e 00001c51: JUMP 00001c52: JUMPDEST 00001c53: PUSH2 0x1c5b 00001c56: DUP8 00001c57: PUSH2 0x176b 00001c5a: JUMP 00001c5b: JUMPDEST 00001c5c: ISZERO 00001c5d: PUSH2 0x1da9 00001c60: JUMPI 00001c61: PUSH2 0x1c6a 00001c64: DUP8 00001c65: DUP8 00001c66: PUSH2 0x17cd 00001c69: JUMP 00001c6a: JUMPDEST 00001c6b: PUSH2 0x1d1c 00001c6e: JUMPI 00001c6f: PUSH1 0x40 00001c71: MLOAD 00001c72: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c93: DUP2 00001c94: MSTORE 00001c95: PUSH1 0x20 00001c97: PUSH1 0x04 00001c99: DUP3 00001c9a: ADD 00001c9b: MSTORE 00001c9c: PUSH1 0x4a 00001c9e: PUSH1 0x24 00001ca0: DUP3 00001ca1: ADD 00001ca2: MSTORE 00001ca3: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b 00001cc4: PUSH1 0x44 00001cc6: DUP3 00001cc7: ADD 00001cc8: MSTORE 00001cc9: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c 00001cea: PUSH1 0x64 00001cec: DUP3 00001ced: ADD 00001cee: MSTORE 00001cef: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000 00001d10: PUSH1 0x84 00001d12: DUP3 00001d13: ADD 00001d14: MSTORE 00001d15: PUSH1 0xa4 00001d17: ADD 00001d18: PUSH2 0x020e 00001d1b: JUMP 00001d1c: JUMPDEST 00001d1d: PUSH1 0x40 00001d1f: MLOAD 00001d20: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000 00001d41: DUP2 00001d42: MSTORE 00001d43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d58: DUP7 00001d59: DUP2 00001d5a: AND 00001d5b: PUSH1 0x04 00001d5d: DUP4 00001d5e: ADD 00001d5f: MSTORE 00001d60: PUSH1 0x24 00001d62: DUP3 00001d63: ADD 00001d64: DUP6 00001d65: SWAP1 00001d66: MSTORE 00001d67: DUP9 00001d68: AND 00001d69: SWAP1 00001d6a: PUSH4 0x9dc29fac 00001d6f: SWAP1 00001d70: PUSH1 0x44 00001d72: ADD 00001d73: PUSH1 0x00 00001d75: PUSH1 0x40 00001d77: MLOAD 00001d78: DUP1 00001d79: DUP4 00001d7a: SUB 00001d7b: DUP2 00001d7c: PUSH1 0x00 00001d7e: DUP8 00001d7f: DUP1 00001d80: EXTCODESIZE 00001d81: ISZERO 00001d82: DUP1 00001d83: ISZERO 00001d84: PUSH2 0x1d8c 00001d87: JUMPI 00001d88: PUSH1 0x00 00001d8a: DUP1 00001d8b: REVERT 00001d8c: JUMPDEST 00001d8d: POP 00001d8e: GAS 00001d8f: CALL 00001d90: ISZERO 00001d91: DUP1 00001d92: ISZERO 00001d93: PUSH2 0x1da0 00001d96: JUMPI 00001d97: RETURNDATASIZE 00001d98: PUSH1 0x00 00001d9a: DUP1 00001d9b: RETURNDATACOPY 00001d9c: RETURNDATASIZE 00001d9d: PUSH1 0x00 00001d9f: REVERT 00001da0: JUMPDEST 00001da1: POP 00001da2: POP 00001da3: POP 00001da4: POP 00001da5: PUSH2 0x1e3d 00001da8: JUMP 00001da9: JUMPDEST 00001daa: PUSH2 0x1dcb 00001dad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc2: DUP9 00001dc3: AND 00001dc4: DUP7 00001dc5: ADDRESS 00001dc6: DUP7 00001dc7: PUSH2 0x2223 00001dca: JUMP 00001dcb: JUMPDEST 00001dcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001de1: DUP1 00001de2: DUP9 00001de3: AND 00001de4: PUSH1 0x00 00001de6: SWAP1 00001de7: DUP2 00001de8: MSTORE 00001de9: PUSH1 0x02 00001deb: PUSH1 0x20 00001ded: SWAP1 00001dee: DUP2 00001def: MSTORE 00001df0: PUSH1 0x40 00001df2: DUP1 00001df3: DUP4 00001df4: KECCAK256 00001df5: SWAP4 00001df6: DUP11 00001df7: AND 00001df8: DUP4 00001df9: MSTORE 00001dfa: SWAP3 00001dfb: SWAP1 00001dfc: MSTORE 00001dfd: KECCAK256 00001dfe: SLOAD 00001dff: PUSH2 0x1e09 00001e02: SWAP1 00001e03: DUP5 00001e04: SWAP1 00001e05: PUSH2 0x2c77 00001e08: JUMP 00001e09: JUMPDEST 00001e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e1f: DUP1 00001e20: DUP10 00001e21: AND 00001e22: PUSH1 0x00 00001e24: SWAP1 00001e25: DUP2 00001e26: MSTORE 00001e27: PUSH1 0x02 00001e29: PUSH1 0x20 00001e2b: SWAP1 00001e2c: DUP2 00001e2d: MSTORE 00001e2e: PUSH1 0x40 00001e30: DUP1 00001e31: DUP4 00001e32: KECCAK256 00001e33: SWAP4 00001e34: DUP12 00001e35: AND 00001e36: DUP4 00001e37: MSTORE 00001e38: SWAP3 00001e39: SWAP1 00001e3a: MSTORE 00001e3b: KECCAK256 00001e3c: SSTORE 00001e3d: JUMPDEST 00001e3e: PUSH2 0x1e4b 00001e41: DUP8 00001e42: DUP8 00001e43: DUP8 00001e44: DUP8 00001e45: DUP8 00001e46: DUP7 00001e47: PUSH2 0x2281 00001e4a: JUMP 00001e4b: JUMPDEST 00001e4c: PUSH1 0x03 00001e4e: SLOAD 00001e4f: PUSH1 0x04 00001e51: SLOAD 00001e52: PUSH1 0x40 00001e54: MLOAD 00001e55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e6a: SWAP3 00001e6b: DUP4 00001e6c: AND 00001e6d: SWAP3 00001e6e: PUSH4 0x3dbb202b 00001e73: SWAP3 00001e74: AND 00001e75: SWAP1 00001e76: PUSH32 0x0166a07a00000000000000000000000000000000000000000000000000000000 00001e97: SWAP1 00001e98: PUSH2 0x1eaf 00001e9b: SWAP1 00001e9c: DUP12 00001e9d: SWAP1 00001e9e: DUP14 00001e9f: SWAP1 00001ea0: DUP13 00001ea1: SWAP1 00001ea2: DUP13 00001ea3: SWAP1 00001ea4: DUP13 00001ea5: SWAP1 00001ea6: DUP12 00001ea7: SWAP1 00001ea8: PUSH1 0x24 00001eaa: ADD 00001eab: PUSH2 0x2c8f 00001eae: JUMP 00001eaf: JUMPDEST 00001eb0: PUSH1 0x40 00001eb2: DUP1 00001eb3: MLOAD 00001eb4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001ed5: DUP2 00001ed6: DUP5 00001ed7: SUB 00001ed8: ADD 00001ed9: DUP2 00001eda: MSTORE 00001edb: SWAP2 00001edc: DUP2 00001edd: MSTORE 00001ede: PUSH1 0x20 00001ee0: DUP3 00001ee1: ADD 00001ee2: DUP1 00001ee3: MLOAD 00001ee4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001f01: AND 00001f02: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001f23: SWAP5 00001f24: DUP6 00001f25: AND 00001f26: OR 00001f27: SWAP1 00001f28: MSTORE 00001f29: MLOAD 00001f2a: PUSH1 0xe0 00001f2c: DUP6 00001f2d: SWAP1 00001f2e: SHL 00001f2f: SWAP1 00001f30: SWAP3 00001f31: AND 00001f32: DUP3 00001f33: MSTORE 00001f34: PUSH2 0x1f42 00001f37: SWAP3 00001f38: SWAP2 00001f39: DUP8 00001f3a: SWAP1 00001f3b: PUSH1 0x04 00001f3d: ADD 00001f3e: PUSH2 0x2bdb 00001f41: JUMP 00001f42: JUMPDEST 00001f43: PUSH1 0x00 00001f45: PUSH1 0x40 00001f47: MLOAD 00001f48: DUP1 00001f49: DUP4 00001f4a: SUB 00001f4b: DUP2 00001f4c: PUSH1 0x00 00001f4e: DUP8 00001f4f: DUP1 00001f50: EXTCODESIZE 00001f51: ISZERO 00001f52: DUP1 00001f53: ISZERO 00001f54: PUSH2 0x1f5c 00001f57: JUMPI 00001f58: PUSH1 0x00 00001f5a: DUP1 00001f5b: REVERT 00001f5c: JUMPDEST 00001f5d: POP 00001f5e: GAS 00001f5f: CALL 00001f60: ISZERO 00001f61: DUP1 00001f62: ISZERO 00001f63: PUSH2 0x1f70 00001f66: JUMPI 00001f67: RETURNDATASIZE 00001f68: PUSH1 0x00 00001f6a: DUP1 00001f6b: RETURNDATACOPY 00001f6c: RETURNDATASIZE 00001f6d: PUSH1 0x00 00001f6f: REVERT 00001f70: JUMPDEST 00001f71: POP 00001f72: POP 00001f73: POP 00001f74: POP 00001f75: POP 00001f76: POP 00001f77: POP 00001f78: POP 00001f79: POP 00001f7a: POP 00001f7b: POP 00001f7c: JUMP 00001f7d: JUMPDEST 00001f7e: PUSH2 0x09b7 00001f81: DUP8 00001f82: DUP8 00001f83: DUP8 00001f84: DUP8 00001f85: DUP8 00001f86: DUP8 00001f87: DUP8 00001f88: PUSH2 0x1bc4 00001f8b: JUMP 00001f8c: JUMPDEST 00001f8d: DUP3 00001f8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fa3: AND 00001fa4: DUP5 00001fa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fba: AND 00001fbb: PUSH32 0x35d79ab81f2b2017e19afb5c5571778877782d7a8786f5907f93b0f4702f4f23 00001fdc: DUP5 00001fdd: DUP5 00001fde: PUSH1 0x40 00001fe0: MLOAD 00001fe1: PUSH2 0x1feb 00001fe4: SWAP3 00001fe5: SWAP2 00001fe6: SWAP1 00001fe7: PUSH2 0x2c5e 00001fea: JUMP 00001feb: JUMPDEST 00001fec: PUSH1 0x40 00001fee: MLOAD 00001fef: DUP1 00001ff0: SWAP2 00001ff1: SUB 00001ff2: SWAP1 00001ff3: LOG3 00001ff4: PUSH2 0x05a0 00001ff7: DUP5 00001ff8: DUP5 00001ff9: DUP5 00001ffa: DUP5 00001ffb: PUSH2 0x230f 00001ffe: JUMP 00001fff: JUMPDEST 00002000: PUSH1 0x00 00002002: PUSH2 0x200a 00002005: DUP4 00002006: PUSH2 0x236e 00002009: JUMP 0000200a: JUMPDEST 0000200b: DUP1 0000200c: ISZERO 0000200d: PUSH2 0x201b 00002010: JUMPI 00002011: POP 00002012: PUSH2 0x201b 00002015: DUP4 00002016: DUP4 00002017: PUSH2 0x23d2 0000201a: JUMP 0000201b: JUMPDEST 0000201c: SWAP4 0000201d: SWAP3 0000201e: POP 0000201f: POP 00002020: POP 00002021: JUMP 00002022: JUMPDEST 00002023: PUSH1 0x00 00002025: PUSH2 0x2084 00002028: DUP3 00002029: PUSH1 0x40 0000202b: MLOAD 0000202c: DUP1 0000202d: PUSH1 0x40 0000202f: ADD 00002030: PUSH1 0x40 00002032: MSTORE 00002033: DUP1 00002034: PUSH1 0x20 00002036: DUP2 00002037: MSTORE 00002038: PUSH1 0x20 0000203a: ADD 0000203b: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 0000205c: DUP2 0000205d: MSTORE 0000205e: POP 0000205f: DUP6 00002060: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002075: AND 00002076: PUSH2 0x24a1 00002079: SWAP1 0000207a: SWAP3 0000207b: SWAP2 0000207c: SWAP1 0000207d: PUSH4 0xffffffff 00002082: AND 00002083: JUMP 00002084: JUMPDEST 00002085: DUP1 00002086: MLOAD 00002087: SWAP1 00002088: SWAP2 00002089: POP 0000208a: ISZERO 0000208b: PUSH2 0x0a97 0000208e: JUMPI 0000208f: DUP1 00002090: DUP1 00002091: PUSH1 0x20 00002093: ADD 00002094: SWAP1 00002095: MLOAD 00002096: DUP2 00002097: ADD 00002098: SWAP1 00002099: PUSH2 0x20a2 0000209c: SWAP2 0000209d: SWAP1 0000209e: PUSH2 0x2b70 000020a1: JUMP 000020a2: JUMPDEST 000020a3: PUSH2 0x0a97 000020a6: JUMPI 000020a7: PUSH1 0x40 000020a9: MLOAD 000020aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000020cb: DUP2 000020cc: MSTORE 000020cd: PUSH1 0x20 000020cf: PUSH1 0x04 000020d1: DUP3 000020d2: ADD 000020d3: MSTORE 000020d4: PUSH1 0x2a 000020d6: PUSH1 0x24 000020d8: DUP3 000020d9: ADD 000020da: MSTORE 000020db: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000020fc: PUSH1 0x44 000020fe: DUP3 000020ff: ADD 00002100: MSTORE 00002101: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00002122: PUSH1 0x64 00002124: DUP3 00002125: ADD 00002126: MSTORE 00002127: PUSH1 0x84 00002129: ADD 0000212a: PUSH2 0x020e 0000212d: JUMP 0000212e: JUMPDEST 0000212f: DUP4 00002130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002145: AND 00002146: DUP6 00002147: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000215c: AND 0000215d: DUP8 0000215e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002173: AND 00002174: PUSH32 0xd59c65b35445225835c83f50b6ede06a7be047d22e357073e250d9af537518cd 00002195: DUP7 00002196: DUP7 00002197: DUP7 00002198: PUSH1 0x40 0000219a: MLOAD 0000219b: PUSH2 0x21a6 0000219e: SWAP4 0000219f: SWAP3 000021a0: SWAP2 000021a1: SWAP1 000021a2: PUSH2 0x2c20 000021a5: JUMP 000021a6: JUMPDEST 000021a7: PUSH1 0x40 000021a9: MLOAD 000021aa: DUP1 000021ab: SWAP2 000021ac: SUB 000021ad: SWAP1 000021ae: LOG4 000021af: POP 000021b0: POP 000021b1: POP 000021b2: POP 000021b3: POP 000021b4: POP 000021b5: JUMP 000021b6: JUMPDEST 000021b7: DUP3 000021b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021cd: AND 000021ce: DUP5 000021cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021e4: AND 000021e5: PUSH32 0x31b2166ff604fc5672ea5df08a78081d2bc6d746cadce880747f3643d819e83d 00002206: DUP5 00002207: DUP5 00002208: PUSH1 0x40 0000220a: MLOAD 0000220b: PUSH2 0x2215 0000220e: SWAP3 0000220f: SWAP2 00002210: SWAP1 00002211: PUSH2 0x2c5e 00002214: JUMP 00002215: JUMPDEST 00002216: PUSH1 0x40 00002218: MLOAD 00002219: DUP1 0000221a: SWAP2 0000221b: SUB 0000221c: SWAP1 0000221d: LOG3 0000221e: POP 0000221f: POP 00002220: POP 00002221: POP 00002222: JUMP 00002223: JUMPDEST 00002224: PUSH1 0x40 00002226: MLOAD 00002227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000223c: DUP1 0000223d: DUP6 0000223e: AND 0000223f: PUSH1 0x24 00002241: DUP4 00002242: ADD 00002243: MSTORE 00002244: DUP4 00002245: AND 00002246: PUSH1 0x44 00002248: DUP3 00002249: ADD 0000224a: MSTORE 0000224b: PUSH1 0x64 0000224d: DUP2 0000224e: ADD 0000224f: DUP3 00002250: SWAP1 00002251: MSTORE 00002252: PUSH2 0x05a0 00002255: SWAP1 00002256: DUP6 00002257: SWAP1 00002258: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00002279: SWAP1 0000227a: PUSH1 0x84 0000227c: ADD 0000227d: PUSH2 0x193f 00002280: JUMP 00002281: JUMPDEST 00002282: DUP4 00002283: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002298: AND 00002299: DUP6 0000229a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022af: AND 000022b0: DUP8 000022b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022c6: AND 000022c7: PUSH32 0x718594027abd4eaed59f95162563e0cc6d0e8d5b86b1c7be8b1b0ac3343d0396 000022e8: DUP7 000022e9: DUP7 000022ea: DUP7 000022eb: PUSH1 0x40 000022ed: MLOAD 000022ee: PUSH2 0x22f9 000022f1: SWAP4 000022f2: SWAP3 000022f3: SWAP2 000022f4: SWAP1 000022f5: PUSH2 0x2c20 000022f8: JUMP 000022f9: JUMPDEST 000022fa: PUSH1 0x40 000022fc: MLOAD 000022fd: DUP1 000022fe: SWAP2 000022ff: SUB 00002300: SWAP1 00002301: LOG4 00002302: PUSH2 0x0f71 00002305: DUP7 00002306: DUP7 00002307: DUP7 00002308: DUP7 00002309: DUP7 0000230a: DUP7 0000230b: PUSH2 0x24b8 0000230e: JUMP 0000230f: JUMPDEST 00002310: DUP3 00002311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002326: AND 00002327: DUP5 00002328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000233d: AND 0000233e: PUSH32 0x2849b43074093a05396b6f2a937dee8565b15a48a7b3d4bffb732a5017380af5 0000235f: DUP5 00002360: DUP5 00002361: PUSH1 0x40 00002363: MLOAD 00002364: PUSH2 0x2215 00002367: SWAP3 00002368: SWAP2 00002369: SWAP1 0000236a: PUSH2 0x2c5e 0000236d: JUMP 0000236e: JUMPDEST 0000236f: PUSH1 0x00 00002371: PUSH2 0x239a 00002374: DUP3 00002375: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00002396: PUSH2 0x23d2 00002399: JUMP 0000239a: JUMPDEST 0000239b: DUP1 0000239c: ISZERO 0000239d: PUSH2 0x17c7 000023a0: JUMPI 000023a1: POP 000023a2: PUSH2 0x23cb 000023a5: DUP3 000023a6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000023c7: PUSH2 0x23d2 000023ca: JUMP 000023cb: JUMPDEST 000023cc: ISZERO 000023cd: SWAP3 000023ce: SWAP2 000023cf: POP 000023d0: POP 000023d1: JUMP 000023d2: JUMPDEST 000023d3: PUSH1 0x40 000023d5: DUP1 000023d6: MLOAD 000023d7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000023f8: DUP4 000023f9: AND 000023fa: PUSH1 0x24 000023fc: DUP1 000023fd: DUP4 000023fe: ADD 000023ff: SWAP2 00002400: SWAP1 00002401: SWAP2 00002402: MSTORE 00002403: DUP3 00002404: MLOAD 00002405: DUP1 00002406: DUP4 00002407: SUB 00002408: SWAP1 00002409: SWAP2 0000240a: ADD 0000240b: DUP2 0000240c: MSTORE 0000240d: PUSH1 0x44 0000240f: SWAP1 00002410: SWAP2 00002411: ADD 00002412: SWAP1 00002413: SWAP2 00002414: MSTORE 00002415: PUSH1 0x20 00002417: DUP1 00002418: DUP3 00002419: ADD 0000241a: DUP1 0000241b: MLOAD 0000241c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002439: AND 0000243a: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 0000245b: OR 0000245c: DUP2 0000245d: MSTORE 0000245e: DUP3 0000245f: MLOAD 00002460: PUSH1 0x00 00002462: SWAP4 00002463: SWAP3 00002464: DUP5 00002465: SWAP3 00002466: DUP4 00002467: SWAP3 00002468: DUP4 00002469: SWAP3 0000246a: SWAP2 0000246b: DUP4 0000246c: SWAP2 0000246d: SWAP1 0000246e: DUP11 0000246f: PUSH2 0x7530 00002472: STATICCALL 00002473: SWAP3 00002474: POP 00002475: RETURNDATASIZE 00002476: SWAP2 00002477: POP 00002478: PUSH1 0x00 0000247a: MLOAD 0000247b: SWAP1 0000247c: POP 0000247d: DUP3 0000247e: DUP1 0000247f: ISZERO 00002480: PUSH2 0x248a 00002483: JUMPI 00002484: POP 00002485: PUSH1 0x20 00002487: DUP3 00002488: LT 00002489: ISZERO 0000248a: JUMPDEST 0000248b: DUP1 0000248c: ISZERO 0000248d: PUSH2 0x2496 00002490: JUMPI 00002491: POP 00002492: PUSH1 0x00 00002494: DUP2 00002495: GT 00002496: JUMPDEST 00002497: SWAP8 00002498: SWAP7 00002499: POP 0000249a: POP 0000249b: POP 0000249c: POP 0000249d: POP 0000249e: POP 0000249f: POP 000024a0: JUMP 000024a1: JUMPDEST 000024a2: PUSH1 0x60 000024a4: PUSH2 0x24b0 000024a7: DUP5 000024a8: DUP5 000024a9: PUSH1 0x00 000024ab: DUP6 000024ac: PUSH2 0x2530 000024af: JUMP 000024b0: JUMPDEST 000024b1: SWAP5 000024b2: SWAP4 000024b3: POP 000024b4: POP 000024b5: POP 000024b6: POP 000024b7: JUMP 000024b8: JUMPDEST 000024b9: DUP4 000024ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024cf: AND 000024d0: DUP6 000024d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024e6: AND 000024e7: DUP8 000024e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024fd: AND 000024fe: PUSH32 0x7ff126db8024424bbfd9826e8ab82ff59136289ea440b04b39a0df1b03b9cabf 0000251f: DUP7 00002520: DUP7 00002521: DUP7 00002522: PUSH1 0x40 00002524: MLOAD 00002525: PUSH2 0x21a6 00002528: SWAP4 00002529: SWAP3 0000252a: SWAP2 0000252b: SWAP1 0000252c: PUSH2 0x2c20 0000252f: JUMP 00002530: JUMPDEST 00002531: PUSH1 0x60 00002533: DUP3 00002534: SELFBALANCE 00002535: LT 00002536: ISZERO 00002537: PUSH2 0x25c2 0000253a: JUMPI 0000253b: PUSH1 0x40 0000253d: MLOAD 0000253e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000255f: DUP2 00002560: MSTORE 00002561: PUSH1 0x20 00002563: PUSH1 0x04 00002565: DUP3 00002566: ADD 00002567: MSTORE 00002568: PUSH1 0x26 0000256a: PUSH1 0x24 0000256c: DUP3 0000256d: ADD 0000256e: MSTORE 0000256f: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00002590: PUSH1 0x44 00002592: DUP3 00002593: ADD 00002594: MSTORE 00002595: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 000025b6: PUSH1 0x64 000025b8: DUP3 000025b9: ADD 000025ba: MSTORE 000025bb: PUSH1 0x84 000025bd: ADD 000025be: PUSH2 0x020e 000025c1: JUMP 000025c2: JUMPDEST 000025c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025d8: DUP6 000025d9: AND 000025da: EXTCODESIZE 000025db: PUSH2 0x2640 000025de: JUMPI 000025df: PUSH1 0x40 000025e1: MLOAD 000025e2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002603: DUP2 00002604: MSTORE 00002605: PUSH1 0x20 00002607: PUSH1 0x04 00002609: DUP3 0000260a: ADD 0000260b: MSTORE 0000260c: PUSH1 0x1d 0000260e: PUSH1 0x24 00002610: DUP3 00002611: ADD 00002612: MSTORE 00002613: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00002634: PUSH1 0x44 00002636: DUP3 00002637: ADD 00002638: MSTORE 00002639: PUSH1 0x64 0000263b: ADD 0000263c: PUSH2 0x020e 0000263f: JUMP 00002640: JUMPDEST 00002641: PUSH1 0x00 00002643: DUP1 00002644: DUP7 00002645: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000265a: AND 0000265b: DUP6 0000265c: DUP8 0000265d: PUSH1 0x40 0000265f: MLOAD 00002660: PUSH2 0x2669 00002663: SWAP2 00002664: SWAP1 00002665: PUSH2 0x2cea 00002668: JUMP 00002669: JUMPDEST 0000266a: PUSH1 0x00 0000266c: PUSH1 0x40 0000266e: MLOAD 0000266f: DUP1 00002670: DUP4 00002671: SUB 00002672: DUP2 00002673: DUP6 00002674: DUP8 00002675: GAS 00002676: CALL 00002677: SWAP3 00002678: POP 00002679: POP 0000267a: POP 0000267b: RETURNDATASIZE 0000267c: DUP1 0000267d: PUSH1 0x00 0000267f: DUP2 00002680: EQ 00002681: PUSH2 0x26a6 00002684: JUMPI 00002685: PUSH1 0x40 00002687: MLOAD 00002688: SWAP2 00002689: POP 0000268a: PUSH1 0x1f 0000268c: NOT 0000268d: PUSH1 0x3f 0000268f: RETURNDATASIZE 00002690: ADD 00002691: AND 00002692: DUP3 00002693: ADD 00002694: PUSH1 0x40 00002696: MSTORE 00002697: RETURNDATASIZE 00002698: DUP3 00002699: MSTORE 0000269a: RETURNDATASIZE 0000269b: PUSH1 0x00 0000269d: PUSH1 0x20 0000269f: DUP5 000026a0: ADD 000026a1: RETURNDATACOPY 000026a2: PUSH2 0x26ab 000026a5: JUMP 000026a6: JUMPDEST 000026a7: PUSH1 0x60 000026a9: SWAP2 000026aa: POP 000026ab: JUMPDEST 000026ac: POP 000026ad: SWAP2 000026ae: POP 000026af: SWAP2 000026b0: POP 000026b1: PUSH2 0x2496 000026b4: DUP3 000026b5: DUP3 000026b6: DUP7 000026b7: PUSH1 0x60 000026b9: DUP4 000026ba: ISZERO 000026bb: PUSH2 0x26c5 000026be: JUMPI 000026bf: POP 000026c0: DUP2 000026c1: PUSH2 0x201b 000026c4: JUMP 000026c5: JUMPDEST 000026c6: DUP3 000026c7: MLOAD 000026c8: ISZERO 000026c9: PUSH2 0x26d5 000026cc: JUMPI 000026cd: DUP3 000026ce: MLOAD 000026cf: DUP1 000026d0: DUP5 000026d1: PUSH1 0x20 000026d3: ADD 000026d4: REVERT 000026d5: JUMPDEST 000026d6: DUP2 000026d7: PUSH1 0x40 000026d9: MLOAD 000026da: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000026fb: DUP2 000026fc: MSTORE 000026fd: PUSH1 0x04 000026ff: ADD 00002700: PUSH2 0x020e 00002703: SWAP2 00002704: SWAP1 00002705: PUSH2 0x2a14 00002708: JUMP 00002709: JUMPDEST 0000270a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000271f: DUP2 00002720: AND 00002721: DUP2 00002722: EQ 00002723: PUSH2 0x272b 00002726: JUMPI 00002727: PUSH1 0x00 00002729: DUP1 0000272a: REVERT 0000272b: JUMPDEST 0000272c: POP 0000272d: JUMP 0000272e: JUMPDEST 0000272f: PUSH1 0x00 00002731: DUP1 00002732: DUP4 00002733: PUSH1 0x1f 00002735: DUP5 00002736: ADD 00002737: SLT 00002738: PUSH2 0x2740 0000273b: JUMPI 0000273c: PUSH1 0x00 0000273e: DUP1 0000273f: REVERT 00002740: JUMPDEST 00002741: POP 00002742: DUP2 00002743: CALLDATALOAD 00002744: PUSH8 0xffffffffffffffff 0000274d: DUP2 0000274e: GT 0000274f: ISZERO 00002750: PUSH2 0x2758 00002753: JUMPI 00002754: PUSH1 0x00 00002756: DUP1 00002757: REVERT 00002758: JUMPDEST 00002759: PUSH1 0x20 0000275b: DUP4 0000275c: ADD 0000275d: SWAP2 0000275e: POP 0000275f: DUP4 00002760: PUSH1 0x20 00002762: DUP3 00002763: DUP6 00002764: ADD 00002765: ADD 00002766: GT 00002767: ISZERO 00002768: PUSH2 0x2770 0000276b: JUMPI 0000276c: PUSH1 0x00 0000276e: DUP1 0000276f: REVERT 00002770: JUMPDEST 00002771: SWAP3 00002772: POP 00002773: SWAP3 00002774: SWAP1 00002775: POP 00002776: JUMP 00002777: JUMPDEST 00002778: PUSH1 0x00 0000277a: DUP1 0000277b: PUSH1 0x00 0000277d: DUP1 0000277e: PUSH1 0x00 00002780: DUP1 00002781: PUSH1 0x00 00002783: PUSH1 0xc0 00002785: DUP9 00002786: DUP11 00002787: SUB 00002788: SLT 00002789: ISZERO 0000278a: PUSH2 0x2792 0000278d: JUMPI 0000278e: PUSH1 0x00 00002790: DUP1 00002791: REVERT 00002792: JUMPDEST 00002793: DUP8 00002794: CALLDATALOAD 00002795: PUSH2 0x279d 00002798: DUP2 00002799: PUSH2 0x2709 0000279c: JUMP 0000279d: JUMPDEST 0000279e: SWAP7 0000279f: POP 000027a0: PUSH1 0x20 000027a2: DUP9 000027a3: ADD 000027a4: CALLDATALOAD 000027a5: PUSH2 0x27ad 000027a8: DUP2 000027a9: PUSH2 0x2709 000027ac: JUMP 000027ad: JUMPDEST 000027ae: SWAP6 000027af: POP 000027b0: PUSH1 0x40 000027b2: DUP9 000027b3: ADD 000027b4: CALLDATALOAD 000027b5: PUSH2 0x27bd 000027b8: DUP2 000027b9: PUSH2 0x2709 000027bc: JUMP 000027bd: JUMPDEST 000027be: SWAP5 000027bf: POP 000027c0: PUSH1 0x60 000027c2: DUP9 000027c3: ADD 000027c4: CALLDATALOAD 000027c5: PUSH2 0x27cd 000027c8: DUP2 000027c9: PUSH2 0x2709 000027cc: JUMP 000027cd: JUMPDEST 000027ce: SWAP4 000027cf: POP 000027d0: PUSH1 0x80 000027d2: DUP9 000027d3: ADD 000027d4: CALLDATALOAD 000027d5: SWAP3 000027d6: POP 000027d7: PUSH1 0xa0 000027d9: DUP9 000027da: ADD 000027db: CALLDATALOAD 000027dc: PUSH8 0xffffffffffffffff 000027e5: DUP2 000027e6: GT 000027e7: ISZERO 000027e8: PUSH2 0x27f0 000027eb: JUMPI 000027ec: PUSH1 0x00 000027ee: DUP1 000027ef: REVERT 000027f0: JUMPDEST 000027f1: PUSH2 0x27fc 000027f4: DUP11 000027f5: DUP3 000027f6: DUP12 000027f7: ADD 000027f8: PUSH2 0x272e 000027fb: JUMP 000027fc: JUMPDEST 000027fd: SWAP9 000027fe: SWAP12 000027ff: SWAP8 00002800: SWAP11 00002801: POP 00002802: SWAP6 00002803: SWAP9 00002804: POP 00002805: SWAP4 00002806: SWAP7 00002807: SWAP3 00002808: SWAP6 00002809: SWAP3 0000280a: SWAP4 0000280b: POP 0000280c: POP 0000280d: POP 0000280e: JUMP 0000280f: JUMPDEST 00002810: DUP1 00002811: CALLDATALOAD 00002812: PUSH4 0xffffffff 00002817: DUP2 00002818: AND 00002819: DUP2 0000281a: EQ 0000281b: PUSH2 0x2823 0000281e: JUMPI 0000281f: PUSH1 0x00 00002821: DUP1 00002822: REVERT 00002823: JUMPDEST 00002824: SWAP2 00002825: SWAP1 00002826: POP 00002827: JUMP 00002828: JUMPDEST 00002829: PUSH1 0x00 0000282b: DUP1 0000282c: PUSH1 0x00 0000282e: PUSH1 0x40 00002830: DUP5 00002831: DUP7 00002832: SUB 00002833: SLT 00002834: ISZERO 00002835: PUSH2 0x283d 00002838: JUMPI 00002839: PUSH1 0x00 0000283b: DUP1 0000283c: REVERT 0000283d: JUMPDEST 0000283e: PUSH2 0x2846 00002841: DUP5 00002842: PUSH2 0x280f 00002845: JUMP 00002846: JUMPDEST 00002847: SWAP3 00002848: POP 00002849: PUSH1 0x20 0000284b: DUP5 0000284c: ADD 0000284d: CALLDATALOAD 0000284e: PUSH8 0xffffffffffffffff 00002857: DUP2 00002858: GT 00002859: ISZERO 0000285a: PUSH2 0x2862 0000285d: JUMPI 0000285e: PUSH1 0x00 00002860: DUP1 00002861: REVERT 00002862: JUMPDEST 00002863: PUSH2 0x286e 00002866: DUP7 00002867: DUP3 00002868: DUP8 00002869: ADD 0000286a: PUSH2 0x272e 0000286d: JUMP 0000286e: JUMPDEST 0000286f: SWAP5 00002870: SWAP8 00002871: SWAP1 00002872: SWAP7 00002873: POP 00002874: SWAP4 00002875: SWAP5 00002876: POP 00002877: POP 00002878: POP 00002879: POP 0000287a: JUMP 0000287b: JUMPDEST 0000287c: PUSH1 0x00 0000287e: DUP1 0000287f: PUSH1 0x00 00002881: DUP1 00002882: PUSH1 0x00 00002884: PUSH1 0x80 00002886: DUP7 00002887: DUP9 00002888: SUB 00002889: SLT 0000288a: ISZERO 0000288b: PUSH2 0x2893 0000288e: JUMPI 0000288f: PUSH1 0x00 00002891: DUP1 00002892: REVERT 00002893: JUMPDEST 00002894: DUP6 00002895: CALLDATALOAD 00002896: PUSH2 0x289e 00002899: DUP2 0000289a: PUSH2 0x2709 0000289d: JUMP 0000289e: JUMPDEST 0000289f: SWAP5 000028a0: POP 000028a1: PUSH1 0x20 000028a3: DUP7 000028a4: ADD 000028a5: CALLDATALOAD 000028a6: PUSH2 0x28ae 000028a9: DUP2 000028aa: PUSH2 0x2709 000028ad: JUMP 000028ae: JUMPDEST 000028af: SWAP4 000028b0: POP 000028b1: PUSH1 0x40 000028b3: DUP7 000028b4: ADD 000028b5: CALLDATALOAD 000028b6: SWAP3 000028b7: POP 000028b8: PUSH1 0x60 000028ba: DUP7 000028bb: ADD 000028bc: CALLDATALOAD 000028bd: PUSH8 0xffffffffffffffff 000028c6: DUP2 000028c7: GT 000028c8: ISZERO 000028c9: PUSH2 0x28d1 000028cc: JUMPI 000028cd: PUSH1 0x00 000028cf: DUP1 000028d0: REVERT 000028d1: JUMPDEST 000028d2: PUSH2 0x28dd 000028d5: DUP9 000028d6: DUP3 000028d7: DUP10 000028d8: ADD 000028d9: PUSH2 0x272e 000028dc: JUMP 000028dd: JUMPDEST 000028de: SWAP7 000028df: SWAP10 000028e0: SWAP6 000028e1: SWAP9 000028e2: POP 000028e3: SWAP4 000028e4: SWAP7 000028e5: POP 000028e6: SWAP3 000028e7: SWAP5 000028e8: SWAP4 000028e9: SWAP3 000028ea: POP 000028eb: POP 000028ec: POP 000028ed: JUMP 000028ee: JUMPDEST 000028ef: PUSH1 0x00 000028f1: DUP1 000028f2: PUSH1 0x40 000028f4: DUP4 000028f5: DUP6 000028f6: SUB 000028f7: SLT 000028f8: ISZERO 000028f9: PUSH2 0x2901 000028fc: JUMPI 000028fd: PUSH1 0x00 000028ff: DUP1 00002900: REVERT 00002901: JUMPDEST 00002902: DUP3 00002903: CALLDATALOAD 00002904: PUSH2 0x290c 00002907: DUP2 00002908: PUSH2 0x2709 0000290b: JUMP 0000290c: JUMPDEST 0000290d: SWAP2 0000290e: POP 0000290f: PUSH1 0x20 00002911: DUP4 00002912: ADD 00002913: CALLDATALOAD 00002914: PUSH2 0x291c 00002917: DUP2 00002918: PUSH2 0x2709 0000291b: JUMP 0000291c: JUMPDEST 0000291d: DUP1 0000291e: SWAP2 0000291f: POP 00002920: POP 00002921: SWAP3 00002922: POP 00002923: SWAP3 00002924: SWAP1 00002925: POP 00002926: JUMP 00002927: JUMPDEST 00002928: PUSH1 0x00 0000292a: DUP1 0000292b: PUSH1 0x00 0000292d: DUP1 0000292e: PUSH1 0x00 00002930: DUP1 00002931: PUSH1 0x00 00002933: PUSH1 0xc0 00002935: DUP9 00002936: DUP11 00002937: SUB 00002938: SLT 00002939: ISZERO 0000293a: PUSH2 0x2942 0000293d: JUMPI 0000293e: PUSH1 0x00 00002940: DUP1 00002941: REVERT 00002942: JUMPDEST 00002943: DUP8 00002944: CALLDATALOAD 00002945: PUSH2 0x294d 00002948: DUP2 00002949: PUSH2 0x2709 0000294c: JUMP 0000294d: JUMPDEST 0000294e: SWAP7 0000294f: POP 00002950: PUSH1 0x20 00002952: DUP9 00002953: ADD 00002954: CALLDATALOAD 00002955: PUSH2 0x295d 00002958: DUP2 00002959: PUSH2 0x2709 0000295c: JUMP 0000295d: JUMPDEST 0000295e: SWAP6 0000295f: POP 00002960: PUSH1 0x40 00002962: DUP9 00002963: ADD 00002964: CALLDATALOAD 00002965: PUSH2 0x296d 00002968: DUP2 00002969: PUSH2 0x2709 0000296c: JUMP 0000296d: JUMPDEST 0000296e: SWAP5 0000296f: POP 00002970: PUSH1 0x60 00002972: DUP9 00002973: ADD 00002974: CALLDATALOAD 00002975: SWAP4 00002976: POP 00002977: PUSH2 0x2982 0000297a: PUSH1 0x80 0000297c: DUP10 0000297d: ADD 0000297e: PUSH2 0x280f 00002981: JUMP 00002982: JUMPDEST 00002983: SWAP3 00002984: POP 00002985: PUSH1 0xa0 00002987: DUP9 00002988: ADD 00002989: CALLDATALOAD 0000298a: PUSH8 0xffffffffffffffff 00002993: DUP2 00002994: GT 00002995: ISZERO 00002996: PUSH2 0x27f0 00002999: JUMPI 0000299a: PUSH1 0x00 0000299c: DUP1 0000299d: REVERT 0000299e: JUMPDEST 0000299f: PUSH1 0x00 000029a1: JUMPDEST 000029a2: DUP4 000029a3: DUP2 000029a4: LT 000029a5: ISZERO 000029a6: PUSH2 0x29b9 000029a9: JUMPI 000029aa: DUP2 000029ab: DUP2 000029ac: ADD 000029ad: MLOAD 000029ae: DUP4 000029af: DUP3 000029b0: ADD 000029b1: MSTORE 000029b2: PUSH1 0x20 000029b4: ADD 000029b5: PUSH2 0x29a1 000029b8: JUMP 000029b9: JUMPDEST 000029ba: DUP4 000029bb: DUP2 000029bc: GT 000029bd: ISZERO 000029be: PUSH2 0x05a0 000029c1: JUMPI 000029c2: POP 000029c3: POP 000029c4: PUSH1 0x00 000029c6: SWAP2 000029c7: ADD 000029c8: MSTORE 000029c9: JUMP 000029ca: JUMPDEST 000029cb: PUSH1 0x00 000029cd: DUP2 000029ce: MLOAD 000029cf: DUP1 000029d0: DUP5 000029d1: MSTORE 000029d2: PUSH2 0x29e2 000029d5: DUP2 000029d6: PUSH1 0x20 000029d8: DUP7 000029d9: ADD 000029da: PUSH1 0x20 000029dc: DUP7 000029dd: ADD 000029de: PUSH2 0x299e 000029e1: JUMP 000029e2: JUMPDEST 000029e3: PUSH1 0x1f 000029e5: ADD 000029e6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002a07: AND 00002a08: SWAP3 00002a09: SWAP1 00002a0a: SWAP3 00002a0b: ADD 00002a0c: PUSH1 0x20 00002a0e: ADD 00002a0f: SWAP3 00002a10: SWAP2 00002a11: POP 00002a12: POP 00002a13: JUMP 00002a14: JUMPDEST 00002a15: PUSH1 0x20 00002a17: DUP2 00002a18: MSTORE 00002a19: PUSH1 0x00 00002a1b: PUSH2 0x201b 00002a1e: PUSH1 0x20 00002a20: DUP4 00002a21: ADD 00002a22: DUP5 00002a23: PUSH2 0x29ca 00002a26: JUMP 00002a27: JUMPDEST 00002a28: PUSH1 0x00 00002a2a: DUP1 00002a2b: PUSH1 0x00 00002a2d: DUP1 00002a2e: PUSH1 0x00 00002a30: DUP1 00002a31: PUSH1 0xa0 00002a33: DUP8 00002a34: DUP10 00002a35: SUB 00002a36: SLT 00002a37: ISZERO 00002a38: PUSH2 0x2a40 00002a3b: JUMPI 00002a3c: PUSH1 0x00 00002a3e: DUP1 00002a3f: REVERT 00002a40: JUMPDEST 00002a41: DUP7 00002a42: CALLDATALOAD 00002a43: PUSH2 0x2a4b 00002a46: DUP2 00002a47: PUSH2 0x2709 00002a4a: JUMP 00002a4b: JUMPDEST 00002a4c: SWAP6 00002a4d: POP 00002a4e: PUSH1 0x20 00002a50: DUP8 00002a51: ADD 00002a52: CALLDATALOAD 00002a53: PUSH2 0x2a5b 00002a56: DUP2 00002a57: PUSH2 0x2709 00002a5a: JUMP 00002a5b: JUMPDEST 00002a5c: SWAP5 00002a5d: POP 00002a5e: PUSH1 0x40 00002a60: DUP8 00002a61: ADD 00002a62: CALLDATALOAD 00002a63: SWAP4 00002a64: POP 00002a65: PUSH2 0x2a70 00002a68: PUSH1 0x60 00002a6a: DUP9 00002a6b: ADD 00002a6c: PUSH2 0x280f 00002a6f: JUMP 00002a70: JUMPDEST 00002a71: SWAP3 00002a72: POP 00002a73: PUSH1 0x80 00002a75: DUP8 00002a76: ADD 00002a77: CALLDATALOAD 00002a78: PUSH8 0xffffffffffffffff 00002a81: DUP2 00002a82: GT 00002a83: ISZERO 00002a84: PUSH2 0x2a8c 00002a87: JUMPI 00002a88: PUSH1 0x00 00002a8a: DUP1 00002a8b: REVERT 00002a8c: JUMPDEST 00002a8d: PUSH2 0x2a98 00002a90: DUP10 00002a91: DUP3 00002a92: DUP11 00002a93: ADD 00002a94: PUSH2 0x272e 00002a97: JUMP 00002a98: JUMPDEST 00002a99: SWAP8 00002a9a: SWAP11 00002a9b: SWAP7 00002a9c: SWAP10 00002a9d: POP 00002a9e: SWAP5 00002a9f: SWAP8 00002aa0: POP 00002aa1: SWAP3 00002aa2: SWAP6 00002aa3: SWAP4 00002aa4: SWAP5 00002aa5: SWAP3 00002aa6: POP 00002aa7: POP 00002aa8: POP 00002aa9: JUMP 00002aaa: JUMPDEST 00002aab: PUSH1 0x00 00002aad: DUP1 00002aae: PUSH1 0x00 00002ab0: DUP1 00002ab1: PUSH1 0x60 00002ab3: DUP6 00002ab4: DUP8 00002ab5: SUB 00002ab6: SLT 00002ab7: ISZERO 00002ab8: PUSH2 0x2ac0 00002abb: JUMPI 00002abc: PUSH1 0x00 00002abe: DUP1 00002abf: REVERT 00002ac0: JUMPDEST 00002ac1: DUP5 00002ac2: CALLDATALOAD 00002ac3: PUSH2 0x2acb 00002ac6: DUP2 00002ac7: PUSH2 0x2709 00002aca: JUMP 00002acb: JUMPDEST 00002acc: SWAP4 00002acd: POP 00002ace: PUSH2 0x2ad9 00002ad1: PUSH1 0x20 00002ad3: DUP7 00002ad4: ADD 00002ad5: PUSH2 0x280f 00002ad8: JUMP 00002ad9: JUMPDEST 00002ada: SWAP3 00002adb: POP 00002adc: PUSH1 0x40 00002ade: DUP6 00002adf: ADD 00002ae0: CALLDATALOAD 00002ae1: PUSH8 0xffffffffffffffff 00002aea: DUP2 00002aeb: GT 00002aec: ISZERO 00002aed: PUSH2 0x2af5 00002af0: JUMPI 00002af1: PUSH1 0x00 00002af3: DUP1 00002af4: REVERT 00002af5: JUMPDEST 00002af6: PUSH2 0x2b01 00002af9: DUP8 00002afa: DUP3 00002afb: DUP9 00002afc: ADD 00002afd: PUSH2 0x272e 00002b00: JUMP 00002b01: JUMPDEST 00002b02: SWAP6 00002b03: SWAP9 00002b04: SWAP5 00002b05: SWAP8 00002b06: POP 00002b07: SWAP6 00002b08: POP 00002b09: POP 00002b0a: POP 00002b0b: POP 00002b0c: JUMP 00002b0d: JUMPDEST 00002b0e: PUSH1 0x00 00002b10: PUSH1 0x20 00002b12: DUP3 00002b13: DUP5 00002b14: SUB 00002b15: SLT 00002b16: ISZERO 00002b17: PUSH2 0x2b1f 00002b1a: JUMPI 00002b1b: PUSH1 0x00 00002b1d: DUP1 00002b1e: REVERT 00002b1f: JUMPDEST 00002b20: DUP2 00002b21: MLOAD 00002b22: PUSH2 0x201b 00002b25: DUP2 00002b26: PUSH2 0x2709 00002b29: JUMP 00002b2a: JUMPDEST 00002b2b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002b4c: PUSH1 0x00 00002b4e: MSTORE 00002b4f: PUSH1 0x11 00002b51: PUSH1 0x04 00002b53: MSTORE 00002b54: PUSH1 0x24 00002b56: PUSH1 0x00 00002b58: REVERT 00002b59: JUMPDEST 00002b5a: PUSH1 0x00 00002b5c: DUP3 00002b5d: DUP3 00002b5e: LT 00002b5f: ISZERO 00002b60: PUSH2 0x2b6b 00002b63: JUMPI 00002b64: PUSH2 0x2b6b 00002b67: PUSH2 0x2b2a 00002b6a: JUMP 00002b6b: JUMPDEST 00002b6c: POP 00002b6d: SUB 00002b6e: SWAP1 00002b6f: JUMP 00002b70: JUMPDEST 00002b71: PUSH1 0x00 00002b73: PUSH1 0x20 00002b75: DUP3 00002b76: DUP5 00002b77: SUB 00002b78: SLT 00002b79: ISZERO 00002b7a: PUSH2 0x2b82 00002b7d: JUMPI 00002b7e: PUSH1 0x00 00002b80: DUP1 00002b81: REVERT 00002b82: JUMPDEST 00002b83: DUP2 00002b84: MLOAD 00002b85: DUP1 00002b86: ISZERO 00002b87: ISZERO 00002b88: DUP2 00002b89: EQ 00002b8a: PUSH2 0x201b 00002b8d: JUMPI 00002b8e: PUSH1 0x00 00002b90: DUP1 00002b91: REVERT 00002b92: JUMPDEST 00002b93: PUSH1 0x00 00002b95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002baa: DUP1 00002bab: DUP8 00002bac: AND 00002bad: DUP4 00002bae: MSTORE 00002baf: DUP1 00002bb0: DUP7 00002bb1: AND 00002bb2: PUSH1 0x20 00002bb4: DUP5 00002bb5: ADD 00002bb6: MSTORE 00002bb7: POP 00002bb8: DUP4 00002bb9: PUSH1 0x40 00002bbb: DUP4 00002bbc: ADD 00002bbd: MSTORE 00002bbe: PUSH1 0x80 00002bc0: PUSH1 0x60 00002bc2: DUP4 00002bc3: ADD 00002bc4: MSTORE 00002bc5: PUSH2 0x2bd1 00002bc8: PUSH1 0x80 00002bca: DUP4 00002bcb: ADD 00002bcc: DUP5 00002bcd: PUSH2 0x29ca 00002bd0: JUMP 00002bd1: JUMPDEST 00002bd2: SWAP7 00002bd3: SWAP6 00002bd4: POP 00002bd5: POP 00002bd6: POP 00002bd7: POP 00002bd8: POP 00002bd9: POP 00002bda: JUMP 00002bdb: JUMPDEST 00002bdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bf1: DUP5 00002bf2: AND 00002bf3: DUP2 00002bf4: MSTORE 00002bf5: PUSH1 0x60 00002bf7: PUSH1 0x20 00002bf9: DUP3 00002bfa: ADD 00002bfb: MSTORE 00002bfc: PUSH1 0x00 00002bfe: PUSH2 0x2c0a 00002c01: PUSH1 0x60 00002c03: DUP4 00002c04: ADD 00002c05: DUP6 00002c06: PUSH2 0x29ca 00002c09: JUMP 00002c0a: JUMPDEST 00002c0b: SWAP1 00002c0c: POP 00002c0d: PUSH4 0xffffffff 00002c12: DUP4 00002c13: AND 00002c14: PUSH1 0x40 00002c16: DUP4 00002c17: ADD 00002c18: MSTORE 00002c19: SWAP5 00002c1a: SWAP4 00002c1b: POP 00002c1c: POP 00002c1d: POP 00002c1e: POP 00002c1f: JUMP 00002c20: JUMPDEST 00002c21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c36: DUP5 00002c37: AND 00002c38: DUP2 00002c39: MSTORE 00002c3a: DUP3 00002c3b: PUSH1 0x20 00002c3d: DUP3 00002c3e: ADD 00002c3f: MSTORE 00002c40: PUSH1 0x60 00002c42: PUSH1 0x40 00002c44: DUP3 00002c45: ADD 00002c46: MSTORE 00002c47: PUSH1 0x00 00002c49: PUSH2 0x2c55 00002c4c: PUSH1 0x60 00002c4e: DUP4 00002c4f: ADD 00002c50: DUP5 00002c51: PUSH2 0x29ca 00002c54: JUMP 00002c55: JUMPDEST 00002c56: SWAP6 00002c57: SWAP5 00002c58: POP 00002c59: POP 00002c5a: POP 00002c5b: POP 00002c5c: POP 00002c5d: JUMP 00002c5e: JUMPDEST 00002c5f: DUP3 00002c60: DUP2 00002c61: MSTORE 00002c62: PUSH1 0x40 00002c64: PUSH1 0x20 00002c66: DUP3 00002c67: ADD 00002c68: MSTORE 00002c69: PUSH1 0x00 00002c6b: PUSH2 0x24b0 00002c6e: PUSH1 0x40 00002c70: DUP4 00002c71: ADD 00002c72: DUP5 00002c73: PUSH2 0x29ca 00002c76: JUMP 00002c77: JUMPDEST 00002c78: PUSH1 0x00 00002c7a: DUP3 00002c7b: NOT 00002c7c: DUP3 00002c7d: GT 00002c7e: ISZERO 00002c7f: PUSH2 0x2c8a 00002c82: JUMPI 00002c83: PUSH2 0x2c8a 00002c86: PUSH2 0x2b2a 00002c89: JUMP 00002c8a: JUMPDEST 00002c8b: POP 00002c8c: ADD 00002c8d: SWAP1 00002c8e: JUMP 00002c8f: JUMPDEST 00002c90: PUSH1 0x00 00002c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ca7: DUP1 00002ca8: DUP10 00002ca9: AND 00002caa: DUP4 00002cab: MSTORE 00002cac: DUP1 00002cad: DUP9 00002cae: AND 00002caf: PUSH1 0x20 00002cb1: DUP5 00002cb2: ADD 00002cb3: MSTORE 00002cb4: DUP1 00002cb5: DUP8 00002cb6: AND 00002cb7: PUSH1 0x40 00002cb9: DUP5 00002cba: ADD 00002cbb: MSTORE 00002cbc: DUP1 00002cbd: DUP7 00002cbe: AND 00002cbf: PUSH1 0x60 00002cc1: DUP5 00002cc2: ADD 00002cc3: MSTORE 00002cc4: POP 00002cc5: DUP4 00002cc6: PUSH1 0x80 00002cc8: DUP4 00002cc9: ADD 00002cca: MSTORE 00002ccb: PUSH1 0xc0 00002ccd: PUSH1 0xa0 00002ccf: DUP4 00002cd0: ADD 00002cd1: MSTORE 00002cd2: PUSH2 0x2cde 00002cd5: PUSH1 0xc0 00002cd7: DUP4 00002cd8: ADD 00002cd9: DUP5 00002cda: PUSH2 0x29ca 00002cdd: JUMP 00002cde: JUMPDEST 00002cdf: SWAP9 00002ce0: SWAP8 00002ce1: POP 00002ce2: POP 00002ce3: POP 00002ce4: POP 00002ce5: POP 00002ce6: POP 00002ce7: POP 00002ce8: POP 00002ce9: JUMP 00002cea: JUMPDEST 00002ceb: PUSH1 0x00 00002ced: DUP3 00002cee: MLOAD 00002cef: PUSH2 0x2cfc 00002cf2: DUP2 00002cf3: DUP5 00002cf4: PUSH1 0x20 00002cf6: DUP8 00002cf7: ADD 00002cf8: PUSH2 0x299e 00002cfb: JUMP 00002cfc: JUMPDEST 00002cfd: SWAP2 00002cfe: SWAP1 00002cff: SWAP2 00002d00: ADD 00002d01: SWAP3 00002d02: SWAP2 00002d03: POP 00002d04: POP 00002d05: JUMP 00002d06: INVALID 00002d07: LOG1 00002d08: PUSH5 0x736f6c6343 00002d0e: STOP 00002d0f: ADDMOD 00002d10: UNKNOWN(0x0F) 00002d11: STOP 00002d12: 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": "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"
]
},
{
"calldata": "0x8f601f66",
"selector": "0x8f601f66",
"calldata_variants": [
"0x8f601f66",
"0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1369,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xdc6a6811679f221bf295cfeaa59502ebbd0d51b1b6c6907be249a4497be176d9
call_targets:
0x0b09ba359a106c9ea3b181cbc5f394570c7d2a7a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdc6a6811679f221bf295cfeaa59502ebbd0d51b1b6c6907be249a4497be176d9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0b09ba359a106c9ea3b181cbc5f394570c7d2a7a"
],
"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": "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"
]
},
{
"calldata": "0x8f601f66",
"selector": "0x8f601f66",
"calldata_variants": [
"0x8f601f66",
"0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2263,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5966,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6865,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 1369,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xdc6a6811679f221bf295cfeaa59502ebbd0d51b1b6c6907be249a4497be176d9
call_targets:
0x0b09ba359a106c9ea3b181cbc5f394570c7d2a7a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdc6a6811679f221bf295cfeaa59502ebbd0d51b1b6c6907be249a4497be176d9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0b09ba359a106c9ea3b181cbc5f394570c7d2a7a"
],
"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": "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"
]
},
{
"calldata": "0x8f601f66",
"selector": "0x8f601f66",
"calldata_variants": [
"0x8f601f66",
"0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2263,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5966,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6865,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 1369,
"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": 8
}
|
| 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": 12
}
|