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

Analysis Run

4cf389ce-e8e3-4b04-91dd-16b76156a8df

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
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

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
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).
View stderr
[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":[]}
Metadata
{
    "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
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
12
EXT*/BALANCE
8
Total opcodes
4994
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 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

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc89701a2",
            "selector": "0xc89701a2",
            "calldata_variants": [
                "0xc89701a2",
                "0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "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
view
trace_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
view
trace_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
view
evidence_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
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 12
}