9d6ca6d7-6293-4d24-be09-7845dfb8f6b2
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 30270 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 73804 | artifact.fetch | failed | 1 / 3 | 3 weeks ago |
| 73805 | tool.cast_disasm | complete | 1 / 3 | 3 weeks ago |
| 73806 | analysis.bundle | complete | 1 / 3 | 3 weeks ago |
| 73807 | capability.graph | complete | 1 / 3 | 3 weeks ago |
| 73808 | detector.run | complete | 1 / 3 | 3 weeks ago |
| 73809 | validation.fork | complete | 1 / 3 | 3 weeks ago |
No slither job recorded yet.
[codex:968406] OpenAI Codex v0.77.0 (research preview)
[codex:968406] --------
[codex:968406] workdir: /tmp/codex-multi-udmin8z0
[codex:968406] model: gpt-5.2-codex
[codex:968406] provider: openai
[codex:968406] approval: never
[codex:968406] sandbox: read-only
[codex:968406] reasoning effort: xhigh
[codex:968406] reasoning summaries: auto
[codex:968406] session id: 019b62c1-ed7d-7552-a66a-9633678c52d2
[codex:968406] --------
[codex:968406] user
[codex:968406] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:968406] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:968406] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:968406]
[codex:968406] Scope rules:
[codex:968406] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:968406] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:968406]
[codex:968406] Output MUST be valid JSON matching the provided schema.
[codex:968406] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:968406] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:968406]
[codex:968406] Output constraints (IMPORTANT):
[codex:968406] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:968406] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:968406] mcp startup: no servers
[codex:968406]
[codex:968406] thinking
[codex:968406] **Preparing to read AUDIT_BUNDLE.txt**
[codex:968406] exec
[codex:968406] /bin/bash -lc ls in /tmp/codex-multi-udmin8z0 succeeded in 6ms:
[codex:968406] AUDIT_BUNDLE.txt
[codex:968406] codex-output-schema.json
[codex:968406] contracts
[codex:968406] exec
[codex:968406] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-udmin8z0 succeeded in 6ms:
[codex:968406] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:968406]
[codex:968406] ================================================================================
[codex:968406] FILE: contracts/contracts/L1/L1StandardBridge.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406]
[codex:968406] import { Predeploys } from "../libraries/Predeploys.sol";
[codex:968406] import { StandardBridge } from "../universal/StandardBridge.sol";
[codex:968406] import { Semver } from "../universal/Semver.sol";
[codex:968406]
[codex:968406] /**
[codex:968406] * @custom:proxied
[codex:968406] * @title L1StandardBridge
[codex:968406] * @notice The L1StandardBridge is responsible for transfering ETH and ERC20 tokens between L1 and
[codex:968406] * L2. In the case that an ERC20 token is native to L1, it will be escrowed within this
[codex:968406] * contract. If the ERC20 token is native to L2, it will be burnt. Before Bedrock, ETH was
[codex:968406] * stored within this contract. After Bedrock, ETH is instead stored inside the
[codex:968406] * OptimismPortal contract.
[codex:968406]
[codex:968406] thinking
[codex:968406] **Searching for key contract patterns**
[codex:968406] exec
[codex:968406] /bin/bash -lc "rg -n \"FILE: contracts/.*\\.sol\" AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 7ms:
[codex:968406] 4:FILE: contracts/contracts/L1/L1StandardBridge.sol
[codex:968406] 372:FILE: contracts/contracts/L1/ResourceMetering.sol
[codex:968406] 562:FILE: contracts/contracts/libraries/Arithmetic.sol
[codex:968406] 614:FILE: contracts/contracts/libraries/Burn.sol
[codex:968406] 660:FILE: contracts/contracts/libraries/Constants.sol
[codex:968406] 713:FILE: contracts/contracts/libraries/Encoding.sol
[codex:968406] 879:FILE: contracts/contracts/libraries/Hashing.sol
[codex:968406] 1055:FILE: contracts/contracts/libraries/Predeploys.sol
[codex:968406] 1171:FILE: contracts/contracts/libraries/SafeCall.sol
[codex:968406] 1279:FILE: contracts/contracts/libraries/Types.sol
[codex:968406] 1367:FILE: contracts/contracts/libraries/rlp/RLPWriter.sol
[codex:968406] 1592:FILE: contracts/contracts/universal/CrossDomainMessenger.sol
[codex:968406] 2079:FILE: contracts/contracts/universal/IOptimismMintableERC20.sol
[codex:968406] 2117:FILE: contracts/contracts/universal/OptimismMintableERC20.sol
[codex:968406] 2270:FILE: contracts/contracts/universal/Semver.sol
[codex:968406] 2332:FILE: contracts/contracts/universal/StandardBridge.sol
[codex:968406] 2897:FILE: contracts/node_modules/@openzeppelin/contracts/proxy/utils/Initializable.sol
[codex:968406] 3039:FILE: contracts/node_modules/@openzeppelin/contracts/token/ERC20/ERC20.sol
[codex:968406] 3426:FILE: contracts/node_modules/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:968406] 3512:FILE: contracts/node_modules/@openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol
[codex:968406]
[codex:968406] thinking
[codex:968406] **Inspecting core bridge contracts**
[codex:968406] exec
[codex:968406] /bin/bash -lc "sed -n '2332,2896p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 5ms:
[codex:968406] FILE: contracts/contracts/universal/StandardBridge.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406]
[codex:968406] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:968406] import { ERC165Checker } from "@openzeppelin/contracts/utils/introspection/ERC165Checker.sol";
[codex:968406] import { Address } from "@openzeppelin/contracts/utils/Address.sol";
[codex:968406] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:968406] import { SafeCall } from "../libraries/SafeCall.sol";
[codex:968406] import { IOptimismMintableERC20, ILegacyMintableERC20 } from "./IOptimismMintableERC20.sol";
[codex:968406] import { CrossDomainMessenger } from "./CrossDomainMessenger.sol";
[codex:968406] import { OptimismMintableERC20 } from "./OptimismMintableERC20.sol";
[codex:968406]
[codex:968406] /**
[codex:968406] * @custom:upgradeable
[codex:968406] * @title StandardBridge
[codex:968406] * @notice StandardBridge is a base contract for the L1 and L2 standard ERC20 bridges. It handles
[codex:968406] * the core bridging logic, including escrowing tokens that are native to the local chain
[codex:968406] * and minting/burning tokens that are native to the remote chain.
[codex:968406]
[codex:968406] thinking
[codex:968406] **Identifying required contracts**
[codex:968406] exec
[codex:968406] /bin/bash -lc "sed -n '1592,2331p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 7ms:
[codex:968406] FILE: contracts/contracts/universal/CrossDomainMessenger.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406]
[codex:968406] import { Initializable } from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:968406] import { SafeCall } from "../libraries/SafeCall.sol";
[codex:968406] import { Hashing } from "../libraries/Hashing.sol";
[codex:968406] import { Encoding } from "../libraries/Encoding.sol";
[codex:968406] import { Constants } from "../libraries/Constants.sol";
[codex:968406]
[codex:968406] /**
[codex:968406] * @custom:legacy
[codex:968406] * @title CrossDomainMessengerLegacySpacer0
[codex:968406] * @notice Contract only exists to add a spacer to the CrossDomainMessenger where the
[codex:968406] * libAddressManager variable used to exist. Must be the first contract in the inheritance
[codex:968406] * tree of the CrossDomainMessenger.
[codex:968406] */
[codex:968406] contract CrossDomainMessengerLegacySpacer0 {
[codex:968406] /**
[codex:968406]
[codex:968406] thinking
[codex:968406] **Inspecting key library files**
[codex:968406] exec
[codex:968406] /bin/bash -lc "sed -n '1171,1591p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 5ms:
[codex:968406] FILE: contracts/contracts/libraries/SafeCall.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406]
[codex:968406] /**
[codex:968406] * @title SafeCall
[codex:968406] * @notice Perform low level safe calls
[codex:968406] */
[codex:968406] library SafeCall {
[codex:968406] /**
[codex:968406] * @notice Perform a low level call without copying any returndata
[codex:968406] *
[codex:968406] * @param _target Address to call
[codex:968406] * @param _gas Amount of gas to pass to the call
[codex:968406] * @param _value Amount of value to pass to the call
[codex:968406] * @param _calldata Calldata to pass to the call
[codex:968406] */
[codex:968406] function call(
[codex:968406] address _target,
[codex:968406]
[codex:968406] thinking
[codex:968406] **Reviewing required libraries**
[codex:968406] exec
[codex:968406] /bin/bash -lc "sed -n '562,1170p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 6ms:
[codex:968406] FILE: contracts/contracts/libraries/Arithmetic.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406]
[codex:968406] import { SignedMath } from "@openzeppelin/contracts/utils/math/SignedMath.sol";
[codex:968406] import { FixedPointMathLib } from "@rari-capital/solmate/src/utils/FixedPointMathLib.sol";
[codex:968406]
[codex:968406] /**
[codex:968406] * @title Arithmetic
[codex:968406] * @notice Even more math than before.
[codex:968406] */
[codex:968406] library Arithmetic {
[codex:968406] /**
[codex:968406] * @notice Clamps a value between a minimum and maximum.
[codex:968406] *
[codex:968406] * @param _value The value to clamp.
[codex:968406] * @param _min The minimum value.
[codex:968406] * @param _max The maximum value.
[codex:968406] *
[codex:968406]
[codex:968406]
[codex:968406]
[codex:968406] thinking
[codex:968406] **Evaluating contract security and reentrancy risks**
[codex:968406]
[codex:968406] I'm analyzing various bridge and messenger contracts for reentrancy vulnerabilities, upgradeability concerns, and access controls. I’m tracing external calls, msg.sender roles, and reentrancy guards—especially around ETH and ERC20 finalizations and CrossDomainMessenger locks—to assess if any exploitable issues arise in these patterns.
[codex:968406] thinking
[codex:968406] **Reviewing token bridging and initializer edge cases**
[codex:968406]
[codex:968406] I'm digging into risks with fee-on-transfer tokens causing accounting mismatches, implications of immutables in upgradeable proxies, and the impact of missing external initializers. I’m also exploring reentrancy nuances in messenger locks, token interface checks, and onlyEOA usage to see where subtle issues might arise.
[codex:968406] thinking
[codex:968406] **Assessing message relay behaviors and proxy considerations**
[codex:968406]
[codex:968406] I'm examining how relayMessage handles reverts and failed messages, focusing on reentrancy locks and ETH value management across retries. I’m also considering upgradeable proxy patterns with immutables and how that impacts immutability and storage, checking that external call results are properly handled.
[codex:968406] exec
[codex:968406] /bin/bash -lc 'rg -n "delegatecall|callcode" AUDIT_BUNDLE.txt' in /tmp/codex-multi-udmin8z0 succeeded in 6ms:
[codex:968406] 3920: (bool success, bytes memory returndata) = target.delegatecall(data);
[codex:968406]
[codex:968406] thinking
[codex:968406] **Verifying usage of tx.origin and output schema**
[codex:968406] exec
[codex:968406] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-udmin8z0 succeeded in 5ms:
[codex:968406] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:968406]
[codex:968406] thinking
[codex:968406] **Summarizing audit findings and crafting JSON output**
[codex:968406]
[codex:968406] I'm going through the detailed security considerations to confirm no major vulnerabilities exist, focusing on reentrancy, access control, and other risk areas. After verifying cross-domain messenger behavior, token transfer safety, and access patterns, I’m ready to produce a clear JSON summary stating no exploitable issues found while noting scope and residual risks.
[codex:968406] codex
[codex:968406] {"no_findings":true,"summary":"No exploitable issues found in the first-party contracts within scope. Residual risk: security and correctness depend on external CrossDomainMessenger implementations and on ERC20 tokens behaving as standard (fee-on-transfer/rebasing tokens are explicitly unsupported).","findings":[]}
[codex:968406] tokens used
[codex:968406] 51,342
[codex:968406] {"no_findings":true,"summary":"No exploitable issues found in the first-party contracts within scope. Residual risk: security and correctness depend on external CrossDomainMessenger implementations and on ERC20 tokens behaving as standard (fee-on-transfer/rebasing tokens are explicitly unsupported).","findings":[]}
{
"codex": {
"ran_at": "2025-12-28T02:24:14.302112+00:00",
"returncode": 0
},
"summary": "No exploitable issues found in the first-party contracts within scope. Residual risk: security and correctness depend on external CrossDomainMessenger implementations and on ERC20 tokens behaving as standard (fee-on-transfer/rebasing tokens are explicitly unsupported).",
"raw_final": {
"summary": "No exploitable issues found in the first-party contracts within scope. Residual risk: security and correctness depend on external CrossDomainMessenger implementations and on ERC20 tokens behaving as standard (fee-on-transfer/rebasing tokens are explicitly unsupported).",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x012d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x838b2520 00000019: GT 0000001a: PUSH2 0x00a5 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x927ede2d 00000024: GT 00000025: PUSH2 0x0074 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa9f9e675 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa9f9e675 0000003a: EQ 0000003b: PUSH2 0x0433 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xb1a1a882 00000045: EQ 00000046: PUSH2 0x0453 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe11013dd 00000050: EQ 00000051: PUSH2 0x0466 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x927ede2d 00000060: EQ 00000061: PUSH2 0x03ec 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x9a2ac6d5 0000006b: EQ 0000006c: PUSH2 0x0420 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x838b2520 0000007b: EQ 0000007c: PUSH2 0x0333 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x87087623 00000086: EQ 00000087: PUSH2 0x0353 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x8f601f66 00000091: EQ 00000092: PUSH2 0x0373 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x91c49bf8 0000009c: EQ 0000009d: PUSH2 0x03b9 000000a0: JUMPI 000000a1: PUSH1 0x00 000000a3: DUP1 000000a4: REVERT 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x3cb747bf 000000ac: GT 000000ad: PUSH2 0x00fc 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x54fd4d50 000000b7: GT 000000b8: PUSH2 0x00e1 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x54fd4d50 000000c2: EQ 000000c3: PUSH2 0x02bd 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x58a997f6 000000cd: EQ 000000ce: PUSH2 0x02df 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x7f46ddb2 000000d8: EQ 000000d9: PUSH2 0x02ff 000000dc: JUMPI 000000dd: PUSH1 0x00 000000df: DUP1 000000e0: REVERT 000000e1: JUMPDEST 000000e2: DUP1 000000e3: PUSH4 0x3cb747bf 000000e8: EQ 000000e9: PUSH2 0x0244 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x540abf73 000000f3: EQ 000000f4: PUSH2 0x029d 000000f7: JUMPI 000000f8: PUSH1 0x00 000000fa: DUP1 000000fb: REVERT 000000fc: JUMPDEST 000000fd: DUP1 000000fe: PUSH4 0x0166a07a 00000103: EQ 00000104: PUSH2 0x01eb 00000107: JUMPI 00000108: DUP1 00000109: PUSH4 0x09fc8843 0000010e: EQ 0000010f: PUSH2 0x020b 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x1532ec34 00000119: EQ 0000011a: PUSH2 0x021e 0000011d: JUMPI 0000011e: DUP1 0000011f: PUSH4 0x1635f5fd 00000124: EQ 00000125: PUSH2 0x0231 00000128: JUMPI 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: REVERT 0000012d: JUMPDEST 0000012e: CALLDATASIZE 0000012f: PUSH2 0x01e6 00000132: JUMPI 00000133: CALLER 00000134: EXTCODESIZE 00000135: ISZERO 00000136: PUSH2 0x01c6 00000139: JUMPI 0000013a: PUSH1 0x40 0000013c: MLOAD 0000013d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000015e: DUP2 0000015f: MSTORE 00000160: PUSH1 0x20 00000162: PUSH1 0x04 00000164: DUP3 00000165: ADD 00000166: MSTORE 00000167: PUSH1 0x37 00000169: PUSH1 0x24 0000016b: DUP3 0000016c: ADD 0000016d: MSTORE 0000016e: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 0000018f: PUSH1 0x44 00000191: DUP3 00000192: ADD 00000193: MSTORE 00000194: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 000001b5: PUSH1 0x64 000001b7: DUP3 000001b8: ADD 000001b9: MSTORE 000001ba: PUSH1 0x84 000001bc: ADD 000001bd: JUMPDEST 000001be: PUSH1 0x40 000001c0: MLOAD 000001c1: DUP1 000001c2: SWAP2 000001c3: SUB 000001c4: SWAP1 000001c5: REVERT 000001c6: JUMPDEST 000001c7: PUSH2 0x01e4 000001ca: CALLER 000001cb: CALLER 000001cc: PUSH3 0x030d40 000001d0: PUSH1 0x40 000001d2: MLOAD 000001d3: DUP1 000001d4: PUSH1 0x20 000001d6: ADD 000001d7: PUSH1 0x40 000001d9: MSTORE 000001da: DUP1 000001db: PUSH1 0x00 000001dd: DUP2 000001de: MSTORE 000001df: POP 000001e0: PUSH2 0x0479 000001e3: JUMP 000001e4: JUMPDEST 000001e5: STOP 000001e6: JUMPDEST 000001e7: PUSH1 0x00 000001e9: DUP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: CALLVALUE 000001ed: DUP1 000001ee: ISZERO 000001ef: PUSH2 0x01f7 000001f2: JUMPI 000001f3: PUSH1 0x00 000001f5: DUP1 000001f6: REVERT 000001f7: JUMPDEST 000001f8: POP 000001f9: PUSH2 0x01e4 000001fc: PUSH2 0x0206 000001ff: CALLDATASIZE 00000200: PUSH1 0x04 00000202: PUSH2 0x2447 00000205: JUMP 00000206: JUMPDEST 00000207: PUSH2 0x048c 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH2 0x01e4 0000020f: PUSH2 0x0219 00000212: CALLDATASIZE 00000213: PUSH1 0x04 00000215: PUSH2 0x24f8 00000218: JUMP 00000219: JUMPDEST 0000021a: PUSH2 0x0882 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH2 0x01e4 00000222: PUSH2 0x022c 00000225: CALLDATASIZE 00000226: PUSH1 0x04 00000228: PUSH2 0x254b 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH2 0x0959 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH2 0x01e4 00000235: PUSH2 0x023f 00000238: CALLDATASIZE 00000239: PUSH1 0x04 0000023b: PUSH2 0x254b 0000023e: JUMP 0000023f: JUMPDEST 00000240: PUSH2 0x096d 00000243: JUMP 00000244: JUMPDEST 00000245: CALLVALUE 00000246: DUP1 00000247: ISZERO 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310 00000273: JUMPDEST 00000274: PUSH1 0x40 00000276: MLOAD 00000277: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000028c: SWAP1 0000028d: SWAP2 0000028e: AND 0000028f: DUP2 00000290: MSTORE 00000291: PUSH1 0x20 00000293: ADD 00000294: JUMPDEST 00000295: PUSH1 0x40 00000297: MLOAD 00000298: DUP1 00000299: SWAP2 0000029a: SUB 0000029b: SWAP1 0000029c: RETURN 0000029d: JUMPDEST 0000029e: CALLVALUE 0000029f: DUP1 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: POP 000002ab: PUSH2 0x01e4 000002ae: PUSH2 0x02b8 000002b1: CALLDATASIZE 000002b2: PUSH1 0x04 000002b4: PUSH2 0x25be 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH2 0x0e42 000002bc: JUMP 000002bd: JUMPDEST 000002be: CALLVALUE 000002bf: DUP1 000002c0: ISZERO 000002c1: PUSH2 0x02c9 000002c4: JUMPI 000002c5: PUSH1 0x00 000002c7: DUP1 000002c8: REVERT 000002c9: JUMPDEST 000002ca: POP 000002cb: PUSH2 0x02d2 000002ce: PUSH2 0x0e87 000002d1: JUMP 000002d2: JUMPDEST 000002d3: PUSH1 0x40 000002d5: MLOAD 000002d6: PUSH2 0x0294 000002d9: SWAP2 000002da: SWAP1 000002db: PUSH2 0x26ab 000002de: JUMP 000002df: JUMPDEST 000002e0: CALLVALUE 000002e1: DUP1 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: POP 000002ed: PUSH2 0x01e4 000002f0: PUSH2 0x02fa 000002f3: CALLDATASIZE 000002f4: PUSH1 0x04 000002f6: PUSH2 0x26be 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH2 0x0f2a 000002fe: JUMP 000002ff: JUMPDEST 00000300: CALLVALUE 00000301: DUP1 00000302: ISZERO 00000303: PUSH2 0x030b 00000306: JUMPI 00000307: PUSH1 0x00 00000309: DUP1 0000030a: REVERT 0000030b: JUMPDEST 0000030c: POP 0000030d: PUSH2 0x0273 00000310: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010 00000331: DUP2 00000332: JUMP 00000333: JUMPDEST 00000334: CALLVALUE 00000335: DUP1 00000336: ISZERO 00000337: PUSH2 0x033f 0000033a: JUMPI 0000033b: PUSH1 0x00 0000033d: DUP1 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: PUSH2 0x01e4 00000344: PUSH2 0x034e 00000347: CALLDATASIZE 00000348: PUSH1 0x04 0000034a: PUSH2 0x25be 0000034d: JUMP 0000034e: JUMPDEST 0000034f: PUSH2 0x0ffe 00000352: JUMP 00000353: JUMPDEST 00000354: CALLVALUE 00000355: DUP1 00000356: ISZERO 00000357: PUSH2 0x035f 0000035a: JUMPI 0000035b: PUSH1 0x00 0000035d: DUP1 0000035e: REVERT 0000035f: JUMPDEST 00000360: POP 00000361: PUSH2 0x01e4 00000364: PUSH2 0x036e 00000367: CALLDATASIZE 00000368: PUSH1 0x04 0000036a: PUSH2 0x26be 0000036d: JUMP 0000036e: JUMPDEST 0000036f: PUSH2 0x1043 00000372: JUMP 00000373: JUMPDEST 00000374: CALLVALUE 00000375: DUP1 00000376: ISZERO 00000377: PUSH2 0x037f 0000037a: JUMPI 0000037b: PUSH1 0x00 0000037d: DUP1 0000037e: REVERT 0000037f: JUMPDEST 00000380: POP 00000381: PUSH2 0x03ab 00000384: PUSH2 0x038e 00000387: CALLDATASIZE 00000388: PUSH1 0x04 0000038a: PUSH2 0x2741 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH1 0x02 00000391: PUSH1 0x20 00000393: SWAP1 00000394: DUP2 00000395: MSTORE 00000396: PUSH1 0x00 00000398: SWAP3 00000399: DUP4 0000039a: MSTORE 0000039b: PUSH1 0x40 0000039d: DUP1 0000039e: DUP5 0000039f: KECCAK256 000003a0: SWAP1 000003a1: SWAP2 000003a2: MSTORE 000003a3: SWAP1 000003a4: DUP3 000003a5: MSTORE 000003a6: SWAP1 000003a7: KECCAK256 000003a8: SLOAD 000003a9: DUP2 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH1 0x40 000003ae: MLOAD 000003af: SWAP1 000003b0: DUP2 000003b1: MSTORE 000003b2: PUSH1 0x20 000003b4: ADD 000003b5: PUSH2 0x0294 000003b8: JUMP 000003b9: JUMPDEST 000003ba: CALLVALUE 000003bb: DUP1 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: POP 000003c7: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010 000003e8: PUSH2 0x0273 000003eb: JUMP 000003ec: JUMPDEST 000003ed: CALLVALUE 000003ee: DUP1 000003ef: ISZERO 000003f0: PUSH2 0x03f8 000003f3: JUMPI 000003f4: PUSH1 0x00 000003f6: DUP1 000003f7: REVERT 000003f8: JUMPDEST 000003f9: POP 000003fa: PUSH2 0x0273 000003fd: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310 0000041e: DUP2 0000041f: JUMP 00000420: JUMPDEST 00000421: PUSH2 0x01e4 00000424: PUSH2 0x042e 00000427: CALLDATASIZE 00000428: PUSH1 0x04 0000042a: PUSH2 0x277a 0000042d: JUMP 0000042e: JUMPDEST 0000042f: PUSH2 0x1117 00000432: JUMP 00000433: JUMPDEST 00000434: CALLVALUE 00000435: DUP1 00000436: ISZERO 00000437: PUSH2 0x043f 0000043a: JUMPI 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: POP 00000441: PUSH2 0x01e4 00000444: PUSH2 0x044e 00000447: CALLDATASIZE 00000448: PUSH1 0x04 0000044a: PUSH2 0x2447 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH2 0x1159 00000452: JUMP 00000453: JUMPDEST 00000454: PUSH2 0x01e4 00000457: PUSH2 0x0461 0000045a: CALLDATASIZE 0000045b: PUSH1 0x04 0000045d: PUSH2 0x24f8 00000460: JUMP 00000461: JUMPDEST 00000462: PUSH2 0x1168 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH2 0x01e4 0000046a: PUSH2 0x0474 0000046d: CALLDATASIZE 0000046e: PUSH1 0x04 00000470: PUSH2 0x277a 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH2 0x1239 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH2 0x0486 0000047d: DUP5 0000047e: DUP5 0000047f: CALLVALUE 00000480: DUP6 00000481: DUP6 00000482: PUSH2 0x127c 00000485: JUMP 00000486: JUMPDEST 00000487: POP 00000488: POP 00000489: POP 0000048a: POP 0000048b: JUMP 0000048c: JUMPDEST 0000048d: CALLER 0000048e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a3: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310 000004c4: AND 000004c5: EQ 000004c6: DUP1 000004c7: ISZERO 000004c8: PUSH2 0x05aa 000004cb: JUMPI 000004cc: POP 000004cd: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010 000004ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000503: AND 00000504: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310 00000525: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053a: AND 0000053b: PUSH4 0x6e296e45 00000540: PUSH1 0x40 00000542: MLOAD 00000543: DUP2 00000544: PUSH4 0xffffffff 00000549: AND 0000054a: PUSH1 0xe0 0000054c: SHL 0000054d: DUP2 0000054e: MSTORE 0000054f: PUSH1 0x04 00000551: ADD 00000552: PUSH1 0x20 00000554: PUSH1 0x40 00000556: MLOAD 00000557: DUP1 00000558: DUP4 00000559: SUB 0000055a: DUP2 0000055b: DUP7 0000055c: GAS 0000055d: STATICCALL 0000055e: ISZERO 0000055f: DUP1 00000560: ISZERO 00000561: PUSH2 0x056e 00000564: JUMPI 00000565: RETURNDATASIZE 00000566: PUSH1 0x00 00000568: DUP1 00000569: RETURNDATACOPY 0000056a: RETURNDATASIZE 0000056b: PUSH1 0x00 0000056d: REVERT 0000056e: JUMPDEST 0000056f: POP 00000570: POP 00000571: POP 00000572: POP 00000573: PUSH1 0x40 00000575: MLOAD 00000576: RETURNDATASIZE 00000577: PUSH1 0x1f 00000579: NOT 0000057a: PUSH1 0x1f 0000057c: DUP3 0000057d: ADD 0000057e: AND 0000057f: DUP3 00000580: ADD 00000581: DUP1 00000582: PUSH1 0x40 00000584: MSTORE 00000585: POP 00000586: DUP2 00000587: ADD 00000588: SWAP1 00000589: PUSH2 0x0592 0000058c: SWAP2 0000058d: SWAP1 0000058e: PUSH2 0x27dd 00000591: JUMP 00000592: JUMPDEST 00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a8: AND 000005a9: EQ 000005aa: JUMPDEST 000005ab: PUSH2 0x065c 000005ae: JUMPI 000005af: PUSH1 0x40 000005b1: MLOAD 000005b2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005d3: DUP2 000005d4: MSTORE 000005d5: PUSH1 0x20 000005d7: PUSH1 0x04 000005d9: DUP3 000005da: ADD 000005db: MSTORE 000005dc: PUSH1 0x41 000005de: PUSH1 0x24 000005e0: DUP3 000005e1: ADD 000005e2: MSTORE 000005e3: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00000604: PUSH1 0x44 00000606: DUP3 00000607: ADD 00000608: MSTORE 00000609: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467 0000062a: PUSH1 0x64 0000062c: DUP3 0000062d: ADD 0000062e: MSTORE 0000062f: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 00000650: PUSH1 0x84 00000652: DUP3 00000653: ADD 00000654: MSTORE 00000655: PUSH1 0xa4 00000657: ADD 00000658: PUSH2 0x01bd 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH2 0x0665 00000660: DUP8 00000661: PUSH2 0x1460 00000664: JUMP 00000665: JUMPDEST 00000666: ISZERO 00000667: PUSH2 0x07b3 0000066a: JUMPI 0000066b: PUSH2 0x0674 0000066e: DUP8 0000066f: DUP8 00000670: PUSH2 0x14c2 00000673: JUMP 00000674: JUMPDEST 00000675: PUSH2 0x0726 00000678: JUMPI 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000069d: DUP2 0000069e: MSTORE 0000069f: PUSH1 0x20 000006a1: PUSH1 0x04 000006a3: DUP3 000006a4: ADD 000006a5: MSTORE 000006a6: PUSH1 0x4a 000006a8: PUSH1 0x24 000006aa: DUP3 000006ab: ADD 000006ac: MSTORE 000006ad: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b 000006ce: PUSH1 0x44 000006d0: DUP3 000006d1: ADD 000006d2: MSTORE 000006d3: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c 000006f4: PUSH1 0x64 000006f6: DUP3 000006f7: ADD 000006f8: MSTORE 000006f9: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000 0000071a: PUSH1 0x84 0000071c: DUP3 0000071d: ADD 0000071e: MSTORE 0000071f: PUSH1 0xa4 00000721: ADD 00000722: PUSH2 0x01bd 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH1 0x40 00000729: MLOAD 0000072a: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000 0000074b: DUP2 0000074c: MSTORE 0000074d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000762: DUP6 00000763: DUP2 00000764: AND 00000765: PUSH1 0x04 00000767: DUP4 00000768: ADD 00000769: MSTORE 0000076a: PUSH1 0x24 0000076c: DUP3 0000076d: ADD 0000076e: DUP6 0000076f: SWAP1 00000770: MSTORE 00000771: DUP9 00000772: AND 00000773: SWAP1 00000774: PUSH4 0x40c10f19 00000779: SWAP1 0000077a: PUSH1 0x44 0000077c: ADD 0000077d: PUSH1 0x00 0000077f: PUSH1 0x40 00000781: MLOAD 00000782: DUP1 00000783: DUP4 00000784: SUB 00000785: DUP2 00000786: PUSH1 0x00 00000788: DUP8 00000789: DUP1 0000078a: EXTCODESIZE 0000078b: ISZERO 0000078c: DUP1 0000078d: ISZERO 0000078e: PUSH2 0x0796 00000791: JUMPI 00000792: PUSH1 0x00 00000794: DUP1 00000795: REVERT 00000796: JUMPDEST 00000797: POP 00000798: GAS 00000799: CALL 0000079a: ISZERO 0000079b: DUP1 0000079c: ISZERO 0000079d: PUSH2 0x07aa 000007a0: JUMPI 000007a1: RETURNDATASIZE 000007a2: PUSH1 0x00 000007a4: DUP1 000007a5: RETURNDATACOPY 000007a6: RETURNDATASIZE 000007a7: PUSH1 0x00 000007a9: REVERT 000007aa: JUMPDEST 000007ab: POP 000007ac: POP 000007ad: POP 000007ae: POP 000007af: PUSH2 0x0835 000007b2: JUMP 000007b3: JUMPDEST 000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c9: DUP1 000007ca: DUP9 000007cb: AND 000007cc: PUSH1 0x00 000007ce: SWAP1 000007cf: DUP2 000007d0: MSTORE 000007d1: PUSH1 0x02 000007d3: PUSH1 0x20 000007d5: SWAP1 000007d6: DUP2 000007d7: MSTORE 000007d8: PUSH1 0x40 000007da: DUP1 000007db: DUP4 000007dc: KECCAK256 000007dd: SWAP4 000007de: DUP11 000007df: AND 000007e0: DUP4 000007e1: MSTORE 000007e2: SWAP3 000007e3: SWAP1 000007e4: MSTORE 000007e5: KECCAK256 000007e6: SLOAD 000007e7: PUSH2 0x07f1 000007ea: SWAP1 000007eb: DUP5 000007ec: SWAP1 000007ed: PUSH2 0x2829 000007f0: JUMP 000007f1: JUMPDEST 000007f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000807: DUP1 00000808: DUP10 00000809: AND 0000080a: PUSH1 0x00 0000080c: DUP2 0000080d: DUP2 0000080e: MSTORE 0000080f: PUSH1 0x02 00000811: PUSH1 0x20 00000813: SWAP1 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x40 00000818: DUP1 00000819: DUP4 0000081a: KECCAK256 0000081b: SWAP5 0000081c: DUP13 0000081d: AND 0000081e: DUP4 0000081f: MSTORE 00000820: SWAP4 00000821: SWAP1 00000822: MSTORE 00000823: SWAP2 00000824: SWAP1 00000825: SWAP2 00000826: KECCAK256 00000827: SWAP2 00000828: SWAP1 00000829: SWAP2 0000082a: SSTORE 0000082b: PUSH2 0x0835 0000082e: SWAP1 0000082f: DUP6 00000830: DUP6 00000831: PUSH2 0x15e2 00000834: JUMP 00000835: JUMPDEST 00000836: PUSH2 0x0879 00000839: DUP8 0000083a: DUP8 0000083b: DUP8 0000083c: DUP8 0000083d: DUP8 0000083e: DUP8 0000083f: DUP8 00000840: DUP1 00000841: DUP1 00000842: PUSH1 0x1f 00000844: ADD 00000845: PUSH1 0x20 00000847: DUP1 00000848: SWAP2 00000849: DIV 0000084a: MUL 0000084b: PUSH1 0x20 0000084d: ADD 0000084e: PUSH1 0x40 00000850: MLOAD 00000851: SWAP1 00000852: DUP2 00000853: ADD 00000854: PUSH1 0x40 00000856: MSTORE 00000857: DUP1 00000858: SWAP4 00000859: SWAP3 0000085a: SWAP2 0000085b: SWAP1 0000085c: DUP2 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH1 0x20 00000861: ADD 00000862: DUP4 00000863: DUP4 00000864: DUP1 00000865: DUP3 00000866: DUP5 00000867: CALLDATACOPY 00000868: PUSH1 0x00 0000086a: SWAP3 0000086b: ADD 0000086c: SWAP2 0000086d: SWAP1 0000086e: SWAP2 0000086f: MSTORE 00000870: POP 00000871: PUSH2 0x16b6 00000874: SWAP3 00000875: POP 00000876: POP 00000877: POP 00000878: JUMP 00000879: JUMPDEST 0000087a: POP 0000087b: POP 0000087c: POP 0000087d: POP 0000087e: POP 0000087f: POP 00000880: POP 00000881: JUMP 00000882: JUMPDEST 00000883: CALLER 00000884: EXTCODESIZE 00000885: ISZERO 00000886: PUSH2 0x0911 00000889: JUMPI 0000088a: PUSH1 0x40 0000088c: MLOAD 0000088d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008ae: DUP2 000008af: MSTORE 000008b0: PUSH1 0x20 000008b2: PUSH1 0x04 000008b4: DUP3 000008b5: ADD 000008b6: MSTORE 000008b7: PUSH1 0x37 000008b9: PUSH1 0x24 000008bb: DUP3 000008bc: ADD 000008bd: MSTORE 000008be: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 000008df: PUSH1 0x44 000008e1: DUP3 000008e2: ADD 000008e3: MSTORE 000008e4: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 00000905: PUSH1 0x64 00000907: DUP3 00000908: ADD 00000909: MSTORE 0000090a: PUSH1 0x84 0000090c: ADD 0000090d: PUSH2 0x01bd 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH2 0x0954 00000915: CALLER 00000916: CALLER 00000917: CALLVALUE 00000918: DUP7 00000919: DUP7 0000091a: DUP7 0000091b: DUP1 0000091c: DUP1 0000091d: PUSH1 0x1f 0000091f: ADD 00000920: PUSH1 0x20 00000922: DUP1 00000923: SWAP2 00000924: DIV 00000925: MUL 00000926: PUSH1 0x20 00000928: ADD 00000929: PUSH1 0x40 0000092b: MLOAD 0000092c: SWAP1 0000092d: DUP2 0000092e: ADD 0000092f: PUSH1 0x40 00000931: MSTORE 00000932: DUP1 00000933: SWAP4 00000934: SWAP3 00000935: SWAP2 00000936: SWAP1 00000937: DUP2 00000938: DUP2 00000939: MSTORE 0000093a: PUSH1 0x20 0000093c: ADD 0000093d: DUP4 0000093e: DUP4 0000093f: DUP1 00000940: DUP3 00000941: DUP5 00000942: CALLDATACOPY 00000943: PUSH1 0x00 00000945: SWAP3 00000946: ADD 00000947: SWAP2 00000948: SWAP1 00000949: SWAP2 0000094a: MSTORE 0000094b: POP 0000094c: PUSH2 0x127c 0000094f: SWAP3 00000950: POP 00000951: POP 00000952: POP 00000953: JUMP 00000954: JUMPDEST 00000955: POP 00000956: POP 00000957: POP 00000958: JUMP 00000959: JUMPDEST 0000095a: PUSH2 0x0966 0000095d: DUP6 0000095e: DUP6 0000095f: DUP6 00000960: DUP6 00000961: DUP6 00000962: PUSH2 0x096d 00000965: JUMP 00000966: JUMPDEST 00000967: POP 00000968: POP 00000969: POP 0000096a: POP 0000096b: POP 0000096c: JUMP 0000096d: JUMPDEST 0000096e: CALLER 0000096f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000984: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310 000009a5: AND 000009a6: EQ 000009a7: DUP1 000009a8: ISZERO 000009a9: PUSH2 0x0a8b 000009ac: JUMPI 000009ad: POP 000009ae: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010 000009cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e4: AND 000009e5: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310 00000a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1b: AND 00000a1c: PUSH4 0x6e296e45 00000a21: PUSH1 0x40 00000a23: MLOAD 00000a24: DUP2 00000a25: PUSH4 0xffffffff 00000a2a: AND 00000a2b: PUSH1 0xe0 00000a2d: SHL 00000a2e: DUP2 00000a2f: MSTORE 00000a30: PUSH1 0x04 00000a32: ADD 00000a33: PUSH1 0x20 00000a35: PUSH1 0x40 00000a37: MLOAD 00000a38: DUP1 00000a39: DUP4 00000a3a: SUB 00000a3b: DUP2 00000a3c: DUP7 00000a3d: GAS 00000a3e: STATICCALL 00000a3f: ISZERO 00000a40: DUP1 00000a41: ISZERO 00000a42: PUSH2 0x0a4f 00000a45: JUMPI 00000a46: RETURNDATASIZE 00000a47: PUSH1 0x00 00000a49: DUP1 00000a4a: RETURNDATACOPY 00000a4b: RETURNDATASIZE 00000a4c: PUSH1 0x00 00000a4e: REVERT 00000a4f: JUMPDEST 00000a50: POP 00000a51: POP 00000a52: POP 00000a53: POP 00000a54: PUSH1 0x40 00000a56: MLOAD 00000a57: RETURNDATASIZE 00000a58: PUSH1 0x1f 00000a5a: NOT 00000a5b: PUSH1 0x1f 00000a5d: DUP3 00000a5e: ADD 00000a5f: AND 00000a60: DUP3 00000a61: ADD 00000a62: DUP1 00000a63: PUSH1 0x40 00000a65: MSTORE 00000a66: POP 00000a67: DUP2 00000a68: ADD 00000a69: SWAP1 00000a6a: PUSH2 0x0a73 00000a6d: SWAP2 00000a6e: SWAP1 00000a6f: PUSH2 0x27dd 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a89: AND 00000a8a: EQ 00000a8b: JUMPDEST 00000a8c: PUSH2 0x0b3d 00000a8f: JUMPI 00000a90: PUSH1 0x40 00000a92: MLOAD 00000a93: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ab4: DUP2 00000ab5: MSTORE 00000ab6: PUSH1 0x20 00000ab8: PUSH1 0x04 00000aba: DUP3 00000abb: ADD 00000abc: MSTORE 00000abd: PUSH1 0x41 00000abf: PUSH1 0x24 00000ac1: DUP3 00000ac2: ADD 00000ac3: MSTORE 00000ac4: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00000ae5: PUSH1 0x44 00000ae7: DUP3 00000ae8: ADD 00000ae9: MSTORE 00000aea: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467 00000b0b: PUSH1 0x64 00000b0d: DUP3 00000b0e: ADD 00000b0f: MSTORE 00000b10: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 00000b31: PUSH1 0x84 00000b33: DUP3 00000b34: ADD 00000b35: MSTORE 00000b36: PUSH1 0xa4 00000b38: ADD 00000b39: PUSH2 0x01bd 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: DUP3 00000b3f: CALLVALUE 00000b40: EQ 00000b41: PUSH2 0x0bcc 00000b44: JUMPI 00000b45: PUSH1 0x40 00000b47: MLOAD 00000b48: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b69: DUP2 00000b6a: MSTORE 00000b6b: PUSH1 0x20 00000b6d: PUSH1 0x04 00000b6f: DUP3 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH1 0x3a 00000b74: PUSH1 0x24 00000b76: DUP3 00000b77: ADD 00000b78: MSTORE 00000b79: PUSH32 0x5374616e646172644272696467653a20616d6f756e742073656e7420646f6573 00000b9a: PUSH1 0x44 00000b9c: DUP3 00000b9d: ADD 00000b9e: MSTORE 00000b9f: PUSH32 0x206e6f74206d6174636820616d6f756e74207265717569726564000000000000 00000bc0: PUSH1 0x64 00000bc2: DUP3 00000bc3: ADD 00000bc4: MSTORE 00000bc5: PUSH1 0x84 00000bc7: ADD 00000bc8: PUSH2 0x01bd 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: ADDRESS 00000bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be3: DUP6 00000be4: AND 00000be5: SUB 00000be6: PUSH2 0x0c71 00000be9: JUMPI 00000bea: PUSH1 0x40 00000bec: MLOAD 00000bed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c0e: DUP2 00000c0f: MSTORE 00000c10: PUSH1 0x20 00000c12: PUSH1 0x04 00000c14: DUP3 00000c15: ADD 00000c16: MSTORE 00000c17: PUSH1 0x23 00000c19: PUSH1 0x24 00000c1b: DUP3 00000c1c: ADD 00000c1d: MSTORE 00000c1e: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f2073 00000c3f: PUSH1 0x44 00000c41: DUP3 00000c42: ADD 00000c43: MSTORE 00000c44: PUSH32 0x656c660000000000000000000000000000000000000000000000000000000000 00000c65: PUSH1 0x64 00000c67: DUP3 00000c68: ADD 00000c69: MSTORE 00000c6a: PUSH1 0x84 00000c6c: ADD 00000c6d: PUSH2 0x01bd 00000c70: JUMP 00000c71: JUMPDEST 00000c72: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310 00000c93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca8: AND 00000ca9: DUP5 00000caa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbf: AND 00000cc0: SUB 00000cc1: PUSH2 0x0d4c 00000cc4: JUMPI 00000cc5: PUSH1 0x40 00000cc7: MLOAD 00000cc8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ce9: DUP2 00000cea: MSTORE 00000ceb: PUSH1 0x20 00000ced: PUSH1 0x04 00000cef: DUP3 00000cf0: ADD 00000cf1: MSTORE 00000cf2: PUSH1 0x28 00000cf4: PUSH1 0x24 00000cf6: DUP3 00000cf7: ADD 00000cf8: MSTORE 00000cf9: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f206d 00000d1a: PUSH1 0x44 00000d1c: DUP3 00000d1d: ADD 00000d1e: MSTORE 00000d1f: PUSH32 0x657373656e676572000000000000000000000000000000000000000000000000 00000d40: PUSH1 0x64 00000d42: DUP3 00000d43: ADD 00000d44: MSTORE 00000d45: PUSH1 0x84 00000d47: ADD 00000d48: PUSH2 0x01bd 00000d4b: JUMP 00000d4c: JUMPDEST 00000d4d: PUSH2 0x0d8e 00000d50: DUP6 00000d51: DUP6 00000d52: DUP6 00000d53: DUP6 00000d54: DUP6 00000d55: DUP1 00000d56: DUP1 00000d57: PUSH1 0x1f 00000d59: ADD 00000d5a: PUSH1 0x20 00000d5c: DUP1 00000d5d: SWAP2 00000d5e: DIV 00000d5f: MUL 00000d60: PUSH1 0x20 00000d62: ADD 00000d63: PUSH1 0x40 00000d65: MLOAD 00000d66: SWAP1 00000d67: DUP2 00000d68: ADD 00000d69: PUSH1 0x40 00000d6b: MSTORE 00000d6c: DUP1 00000d6d: SWAP4 00000d6e: SWAP3 00000d6f: SWAP2 00000d70: SWAP1 00000d71: DUP2 00000d72: DUP2 00000d73: MSTORE 00000d74: PUSH1 0x20 00000d76: ADD 00000d77: DUP4 00000d78: DUP4 00000d79: DUP1 00000d7a: DUP3 00000d7b: DUP5 00000d7c: CALLDATACOPY 00000d7d: PUSH1 0x00 00000d7f: SWAP3 00000d80: ADD 00000d81: SWAP2 00000d82: SWAP1 00000d83: SWAP2 00000d84: MSTORE 00000d85: POP 00000d86: PUSH2 0x1744 00000d89: SWAP3 00000d8a: POP 00000d8b: POP 00000d8c: POP 00000d8d: JUMP 00000d8e: JUMPDEST 00000d8f: PUSH1 0x00 00000d91: PUSH2 0x0dab 00000d94: DUP6 00000d95: GAS 00000d96: DUP7 00000d97: PUSH1 0x40 00000d99: MLOAD 00000d9a: DUP1 00000d9b: PUSH1 0x20 00000d9d: ADD 00000d9e: PUSH1 0x40 00000da0: MSTORE 00000da1: DUP1 00000da2: PUSH1 0x00 00000da4: DUP2 00000da5: MSTORE 00000da6: POP 00000da7: PUSH2 0x17b7 00000daa: JUMP 00000dab: JUMPDEST 00000dac: SWAP1 00000dad: POP 00000dae: DUP1 00000daf: PUSH2 0x0e3a 00000db2: JUMPI 00000db3: PUSH1 0x40 00000db5: MLOAD 00000db6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dd7: DUP2 00000dd8: MSTORE 00000dd9: PUSH1 0x20 00000ddb: PUSH1 0x04 00000ddd: DUP3 00000dde: ADD 00000ddf: MSTORE 00000de0: PUSH1 0x23 00000de2: PUSH1 0x24 00000de4: DUP3 00000de5: ADD 00000de6: MSTORE 00000de7: PUSH32 0x5374616e646172644272696467653a20455448207472616e7366657220666169 00000e08: PUSH1 0x44 00000e0a: DUP3 00000e0b: ADD 00000e0c: MSTORE 00000e0d: PUSH32 0x6c65640000000000000000000000000000000000000000000000000000000000 00000e2e: PUSH1 0x64 00000e30: DUP3 00000e31: ADD 00000e32: MSTORE 00000e33: PUSH1 0x84 00000e35: ADD 00000e36: PUSH2 0x01bd 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: POP 00000e3c: POP 00000e3d: POP 00000e3e: POP 00000e3f: POP 00000e40: POP 00000e41: JUMP 00000e42: JUMPDEST 00000e43: PUSH2 0x0879 00000e46: DUP8 00000e47: DUP8 00000e48: CALLER 00000e49: DUP9 00000e4a: DUP9 00000e4b: DUP9 00000e4c: DUP9 00000e4d: DUP9 00000e4e: DUP1 00000e4f: DUP1 00000e50: PUSH1 0x1f 00000e52: ADD 00000e53: PUSH1 0x20 00000e55: DUP1 00000e56: SWAP2 00000e57: DIV 00000e58: MUL 00000e59: PUSH1 0x20 00000e5b: ADD 00000e5c: PUSH1 0x40 00000e5e: MLOAD 00000e5f: SWAP1 00000e60: DUP2 00000e61: ADD 00000e62: PUSH1 0x40 00000e64: MSTORE 00000e65: DUP1 00000e66: SWAP4 00000e67: SWAP3 00000e68: SWAP2 00000e69: SWAP1 00000e6a: DUP2 00000e6b: DUP2 00000e6c: MSTORE 00000e6d: PUSH1 0x20 00000e6f: ADD 00000e70: DUP4 00000e71: DUP4 00000e72: DUP1 00000e73: DUP3 00000e74: DUP5 00000e75: CALLDATACOPY 00000e76: PUSH1 0x00 00000e78: SWAP3 00000e79: ADD 00000e7a: SWAP2 00000e7b: SWAP1 00000e7c: SWAP2 00000e7d: MSTORE 00000e7e: POP 00000e7f: PUSH2 0x17d1 00000e82: SWAP3 00000e83: POP 00000e84: POP 00000e85: POP 00000e86: JUMP 00000e87: JUMPDEST 00000e88: PUSH1 0x60 00000e8a: PUSH2 0x0eb2 00000e8d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000eae: PUSH2 0x1b18 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: PUSH2 0x0edb 00000eb6: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000ed7: PUSH2 0x1b18 00000eda: JUMP 00000edb: JUMPDEST 00000edc: PUSH2 0x0f04 00000edf: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000f00: PUSH2 0x1b18 00000f03: JUMP 00000f04: JUMPDEST 00000f05: PUSH1 0x40 00000f07: MLOAD 00000f08: PUSH1 0x20 00000f0a: ADD 00000f0b: PUSH2 0x0f16 00000f0e: SWAP4 00000f0f: SWAP3 00000f10: SWAP2 00000f11: SWAP1 00000f12: PUSH2 0x2840 00000f15: JUMP 00000f16: JUMPDEST 00000f17: PUSH1 0x40 00000f19: MLOAD 00000f1a: PUSH1 0x20 00000f1c: DUP2 00000f1d: DUP4 00000f1e: SUB 00000f1f: SUB 00000f20: DUP2 00000f21: MSTORE 00000f22: SWAP1 00000f23: PUSH1 0x40 00000f25: MSTORE 00000f26: SWAP1 00000f27: POP 00000f28: SWAP1 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: CALLER 00000f2c: EXTCODESIZE 00000f2d: ISZERO 00000f2e: PUSH2 0x0fb9 00000f31: JUMPI 00000f32: PUSH1 0x40 00000f34: MLOAD 00000f35: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f56: DUP2 00000f57: MSTORE 00000f58: PUSH1 0x20 00000f5a: PUSH1 0x04 00000f5c: DUP3 00000f5d: ADD 00000f5e: MSTORE 00000f5f: PUSH1 0x37 00000f61: PUSH1 0x24 00000f63: DUP3 00000f64: ADD 00000f65: MSTORE 00000f66: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00000f87: PUSH1 0x44 00000f89: DUP3 00000f8a: ADD 00000f8b: MSTORE 00000f8c: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 00000fad: PUSH1 0x64 00000faf: DUP3 00000fb0: ADD 00000fb1: MSTORE 00000fb2: PUSH1 0x84 00000fb4: ADD 00000fb5: PUSH2 0x01bd 00000fb8: JUMP 00000fb9: JUMPDEST 00000fba: PUSH2 0x0e3a 00000fbd: DUP7 00000fbe: DUP7 00000fbf: CALLER 00000fc0: CALLER 00000fc1: DUP9 00000fc2: DUP9 00000fc3: DUP9 00000fc4: DUP9 00000fc5: DUP1 00000fc6: DUP1 00000fc7: PUSH1 0x1f 00000fc9: ADD 00000fca: PUSH1 0x20 00000fcc: DUP1 00000fcd: SWAP2 00000fce: DIV 00000fcf: MUL 00000fd0: PUSH1 0x20 00000fd2: ADD 00000fd3: PUSH1 0x40 00000fd5: MLOAD 00000fd6: SWAP1 00000fd7: DUP2 00000fd8: ADD 00000fd9: PUSH1 0x40 00000fdb: MSTORE 00000fdc: DUP1 00000fdd: SWAP4 00000fde: SWAP3 00000fdf: SWAP2 00000fe0: SWAP1 00000fe1: DUP2 00000fe2: DUP2 00000fe3: MSTORE 00000fe4: PUSH1 0x20 00000fe6: ADD 00000fe7: DUP4 00000fe8: DUP4 00000fe9: DUP1 00000fea: DUP3 00000feb: DUP5 00000fec: CALLDATACOPY 00000fed: PUSH1 0x00 00000fef: SWAP3 00000ff0: ADD 00000ff1: SWAP2 00000ff2: SWAP1 00000ff3: SWAP2 00000ff4: MSTORE 00000ff5: POP 00000ff6: PUSH2 0x1c55 00000ff9: SWAP3 00000ffa: POP 00000ffb: POP 00000ffc: POP 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: PUSH2 0x0879 00001002: DUP8 00001003: DUP8 00001004: CALLER 00001005: DUP9 00001006: DUP9 00001007: DUP9 00001008: DUP9 00001009: DUP9 0000100a: DUP1 0000100b: DUP1 0000100c: PUSH1 0x1f 0000100e: ADD 0000100f: PUSH1 0x20 00001011: DUP1 00001012: SWAP2 00001013: DIV 00001014: MUL 00001015: PUSH1 0x20 00001017: ADD 00001018: PUSH1 0x40 0000101a: MLOAD 0000101b: SWAP1 0000101c: DUP2 0000101d: ADD 0000101e: PUSH1 0x40 00001020: MSTORE 00001021: DUP1 00001022: SWAP4 00001023: SWAP3 00001024: SWAP2 00001025: SWAP1 00001026: DUP2 00001027: DUP2 00001028: MSTORE 00001029: PUSH1 0x20 0000102b: ADD 0000102c: DUP4 0000102d: DUP4 0000102e: DUP1 0000102f: DUP3 00001030: DUP5 00001031: CALLDATACOPY 00001032: PUSH1 0x00 00001034: SWAP3 00001035: ADD 00001036: SWAP2 00001037: SWAP1 00001038: SWAP2 00001039: MSTORE 0000103a: POP 0000103b: PUSH2 0x1c55 0000103e: SWAP3 0000103f: POP 00001040: POP 00001041: POP 00001042: JUMP 00001043: JUMPDEST 00001044: CALLER 00001045: EXTCODESIZE 00001046: ISZERO 00001047: PUSH2 0x10d2 0000104a: JUMPI 0000104b: PUSH1 0x40 0000104d: MLOAD 0000104e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x20 00001073: PUSH1 0x04 00001075: DUP3 00001076: ADD 00001077: MSTORE 00001078: PUSH1 0x37 0000107a: PUSH1 0x24 0000107c: DUP3 0000107d: ADD 0000107e: MSTORE 0000107f: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 000010a0: PUSH1 0x44 000010a2: DUP3 000010a3: ADD 000010a4: MSTORE 000010a5: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 000010c6: PUSH1 0x64 000010c8: DUP3 000010c9: ADD 000010ca: MSTORE 000010cb: PUSH1 0x84 000010cd: ADD 000010ce: PUSH2 0x01bd 000010d1: JUMP 000010d2: JUMPDEST 000010d3: PUSH2 0x0e3a 000010d6: DUP7 000010d7: DUP7 000010d8: CALLER 000010d9: CALLER 000010da: DUP9 000010db: DUP9 000010dc: DUP9 000010dd: DUP9 000010de: DUP1 000010df: DUP1 000010e0: PUSH1 0x1f 000010e2: ADD 000010e3: PUSH1 0x20 000010e5: DUP1 000010e6: SWAP2 000010e7: DIV 000010e8: MUL 000010e9: PUSH1 0x20 000010eb: ADD 000010ec: PUSH1 0x40 000010ee: MLOAD 000010ef: SWAP1 000010f0: DUP2 000010f1: ADD 000010f2: PUSH1 0x40 000010f4: MSTORE 000010f5: DUP1 000010f6: SWAP4 000010f7: SWAP3 000010f8: SWAP2 000010f9: SWAP1 000010fa: DUP2 000010fb: DUP2 000010fc: MSTORE 000010fd: PUSH1 0x20 000010ff: ADD 00001100: DUP4 00001101: DUP4 00001102: DUP1 00001103: DUP3 00001104: DUP5 00001105: CALLDATACOPY 00001106: PUSH1 0x00 00001108: SWAP3 00001109: ADD 0000110a: SWAP2 0000110b: SWAP1 0000110c: SWAP2 0000110d: MSTORE 0000110e: POP 0000110f: PUSH2 0x17d1 00001112: SWAP3 00001113: POP 00001114: POP 00001115: POP 00001116: JUMP 00001117: JUMPDEST 00001118: PUSH2 0x0486 0000111b: CALLER 0000111c: DUP6 0000111d: DUP6 0000111e: DUP6 0000111f: DUP6 00001120: DUP1 00001121: DUP1 00001122: PUSH1 0x1f 00001124: ADD 00001125: PUSH1 0x20 00001127: DUP1 00001128: SWAP2 00001129: DIV 0000112a: MUL 0000112b: PUSH1 0x20 0000112d: ADD 0000112e: PUSH1 0x40 00001130: MLOAD 00001131: SWAP1 00001132: DUP2 00001133: ADD 00001134: PUSH1 0x40 00001136: MSTORE 00001137: DUP1 00001138: SWAP4 00001139: SWAP3 0000113a: SWAP2 0000113b: SWAP1 0000113c: DUP2 0000113d: DUP2 0000113e: MSTORE 0000113f: PUSH1 0x20 00001141: ADD 00001142: DUP4 00001143: DUP4 00001144: DUP1 00001145: DUP3 00001146: DUP5 00001147: CALLDATACOPY 00001148: PUSH1 0x00 0000114a: SWAP3 0000114b: ADD 0000114c: SWAP2 0000114d: SWAP1 0000114e: SWAP2 0000114f: MSTORE 00001150: POP 00001151: PUSH2 0x0479 00001154: SWAP3 00001155: POP 00001156: POP 00001157: POP 00001158: JUMP 00001159: JUMPDEST 0000115a: PUSH2 0x0879 0000115d: DUP8 0000115e: DUP8 0000115f: DUP8 00001160: DUP8 00001161: DUP8 00001162: DUP8 00001163: DUP8 00001164: PUSH2 0x048c 00001167: JUMP 00001168: JUMPDEST 00001169: CALLER 0000116a: EXTCODESIZE 0000116b: ISZERO 0000116c: PUSH2 0x11f7 0000116f: JUMPI 00001170: PUSH1 0x40 00001172: MLOAD 00001173: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001194: DUP2 00001195: MSTORE 00001196: PUSH1 0x20 00001198: PUSH1 0x04 0000119a: DUP3 0000119b: ADD 0000119c: MSTORE 0000119d: PUSH1 0x37 0000119f: PUSH1 0x24 000011a1: DUP3 000011a2: ADD 000011a3: MSTORE 000011a4: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 000011c5: PUSH1 0x44 000011c7: DUP3 000011c8: ADD 000011c9: MSTORE 000011ca: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 000011eb: PUSH1 0x64 000011ed: DUP3 000011ee: ADD 000011ef: MSTORE 000011f0: PUSH1 0x84 000011f2: ADD 000011f3: PUSH2 0x01bd 000011f6: JUMP 000011f7: JUMPDEST 000011f8: PUSH2 0x0954 000011fb: CALLER 000011fc: CALLER 000011fd: DUP6 000011fe: DUP6 000011ff: DUP6 00001200: DUP1 00001201: DUP1 00001202: PUSH1 0x1f 00001204: ADD 00001205: PUSH1 0x20 00001207: DUP1 00001208: SWAP2 00001209: DIV 0000120a: MUL 0000120b: PUSH1 0x20 0000120d: ADD 0000120e: PUSH1 0x40 00001210: MLOAD 00001211: SWAP1 00001212: DUP2 00001213: ADD 00001214: PUSH1 0x40 00001216: MSTORE 00001217: DUP1 00001218: SWAP4 00001219: SWAP3 0000121a: SWAP2 0000121b: SWAP1 0000121c: DUP2 0000121d: DUP2 0000121e: MSTORE 0000121f: PUSH1 0x20 00001221: ADD 00001222: DUP4 00001223: DUP4 00001224: DUP1 00001225: DUP3 00001226: DUP5 00001227: CALLDATACOPY 00001228: PUSH1 0x00 0000122a: SWAP3 0000122b: ADD 0000122c: SWAP2 0000122d: SWAP1 0000122e: SWAP2 0000122f: MSTORE 00001230: POP 00001231: PUSH2 0x0479 00001234: SWAP3 00001235: POP 00001236: POP 00001237: POP 00001238: JUMP 00001239: JUMPDEST 0000123a: PUSH2 0x0486 0000123d: CALLER 0000123e: DUP6 0000123f: CALLVALUE 00001240: DUP7 00001241: DUP7 00001242: DUP7 00001243: DUP1 00001244: DUP1 00001245: PUSH1 0x1f 00001247: ADD 00001248: PUSH1 0x20 0000124a: DUP1 0000124b: SWAP2 0000124c: DIV 0000124d: MUL 0000124e: PUSH1 0x20 00001250: ADD 00001251: PUSH1 0x40 00001253: MLOAD 00001254: SWAP1 00001255: DUP2 00001256: ADD 00001257: PUSH1 0x40 00001259: MSTORE 0000125a: DUP1 0000125b: SWAP4 0000125c: SWAP3 0000125d: SWAP2 0000125e: SWAP1 0000125f: DUP2 00001260: DUP2 00001261: MSTORE 00001262: PUSH1 0x20 00001264: ADD 00001265: DUP4 00001266: DUP4 00001267: DUP1 00001268: DUP3 00001269: DUP5 0000126a: CALLDATACOPY 0000126b: PUSH1 0x00 0000126d: SWAP3 0000126e: ADD 0000126f: SWAP2 00001270: SWAP1 00001271: SWAP2 00001272: MSTORE 00001273: POP 00001274: PUSH2 0x127c 00001277: SWAP3 00001278: POP 00001279: POP 0000127a: POP 0000127b: JUMP 0000127c: JUMPDEST 0000127d: DUP3 0000127e: CALLVALUE 0000127f: EQ 00001280: PUSH2 0x130b 00001283: JUMPI 00001284: PUSH1 0x40 00001286: MLOAD 00001287: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012a8: DUP2 000012a9: MSTORE 000012aa: PUSH1 0x20 000012ac: PUSH1 0x04 000012ae: DUP3 000012af: ADD 000012b0: MSTORE 000012b1: PUSH1 0x3e 000012b3: PUSH1 0x24 000012b5: DUP3 000012b6: ADD 000012b7: MSTORE 000012b8: PUSH32 0x5374616e646172644272696467653a206272696467696e6720455448206d7573 000012d9: PUSH1 0x44 000012db: DUP3 000012dc: ADD 000012dd: MSTORE 000012de: PUSH32 0x7420696e636c7564652073756666696369656e74204554482076616c75650000 000012ff: PUSH1 0x64 00001301: DUP3 00001302: ADD 00001303: MSTORE 00001304: PUSH1 0x84 00001306: ADD 00001307: PUSH2 0x01bd 0000130a: JUMP 0000130b: JUMPDEST 0000130c: PUSH2 0x1317 0000130f: DUP6 00001310: DUP6 00001311: DUP6 00001312: DUP5 00001313: PUSH2 0x1c64 00001316: JUMP 00001317: JUMPDEST 00001318: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310 00001339: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134e: AND 0000134f: PUSH4 0x3dbb202b 00001354: DUP5 00001355: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010 00001376: PUSH4 0x1635f5fd 0000137b: PUSH1 0xe0 0000137d: SHL 0000137e: DUP10 0000137f: DUP10 00001380: DUP10 00001381: DUP9 00001382: PUSH1 0x40 00001384: MLOAD 00001385: PUSH1 0x24 00001387: ADD 00001388: PUSH2 0x1394 0000138b: SWAP5 0000138c: SWAP4 0000138d: SWAP3 0000138e: SWAP2 0000138f: SWAP1 00001390: PUSH2 0x28b6 00001393: JUMP 00001394: JUMPDEST 00001395: PUSH1 0x40 00001397: DUP1 00001398: MLOAD 00001399: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000013ba: DUP2 000013bb: DUP5 000013bc: SUB 000013bd: ADD 000013be: DUP2 000013bf: MSTORE 000013c0: SWAP2 000013c1: DUP2 000013c2: MSTORE 000013c3: PUSH1 0x20 000013c5: DUP3 000013c6: ADD 000013c7: DUP1 000013c8: MLOAD 000013c9: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000013e6: AND 000013e7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001408: SWAP5 00001409: DUP6 0000140a: AND 0000140b: OR 0000140c: SWAP1 0000140d: MSTORE 0000140e: MLOAD 0000140f: PUSH1 0xe0 00001411: DUP7 00001412: SWAP1 00001413: SHL 00001414: SWAP1 00001415: SWAP3 00001416: AND 00001417: DUP3 00001418: MSTORE 00001419: PUSH2 0x1427 0000141c: SWAP3 0000141d: SWAP2 0000141e: DUP9 0000141f: SWAP1 00001420: PUSH1 0x04 00001422: ADD 00001423: PUSH2 0x28ff 00001426: JUMP 00001427: JUMPDEST 00001428: PUSH1 0x00 0000142a: PUSH1 0x40 0000142c: MLOAD 0000142d: DUP1 0000142e: DUP4 0000142f: SUB 00001430: DUP2 00001431: DUP6 00001432: DUP9 00001433: DUP1 00001434: EXTCODESIZE 00001435: ISZERO 00001436: DUP1 00001437: ISZERO 00001438: PUSH2 0x1440 0000143b: JUMPI 0000143c: PUSH1 0x00 0000143e: DUP1 0000143f: REVERT 00001440: JUMPDEST 00001441: POP 00001442: GAS 00001443: CALL 00001444: ISZERO 00001445: DUP1 00001446: ISZERO 00001447: PUSH2 0x1454 0000144a: JUMPI 0000144b: RETURNDATASIZE 0000144c: PUSH1 0x00 0000144e: DUP1 0000144f: RETURNDATACOPY 00001450: RETURNDATASIZE 00001451: PUSH1 0x00 00001453: REVERT 00001454: JUMPDEST 00001455: POP 00001456: POP 00001457: POP 00001458: POP 00001459: POP 0000145a: POP 0000145b: POP 0000145c: POP 0000145d: POP 0000145e: POP 0000145f: JUMP 00001460: JUMPDEST 00001461: PUSH1 0x00 00001463: PUSH2 0x148c 00001466: DUP3 00001467: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000 00001488: PUSH2 0x1cd7 0000148b: JUMP 0000148c: JUMPDEST 0000148d: DUP1 0000148e: PUSH2 0x14bc 00001491: JUMPI 00001492: POP 00001493: PUSH2 0x14bc 00001496: DUP3 00001497: PUSH32 0xec4fc8e300000000000000000000000000000000000000000000000000000000 000014b8: PUSH2 0x1cd7 000014bb: JUMP 000014bc: JUMPDEST 000014bd: SWAP3 000014be: SWAP2 000014bf: POP 000014c0: POP 000014c1: JUMP 000014c2: JUMPDEST 000014c3: PUSH1 0x00 000014c5: PUSH2 0x14ee 000014c8: DUP4 000014c9: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000 000014ea: PUSH2 0x1cd7 000014ed: JUMP 000014ee: JUMPDEST 000014ef: ISZERO 000014f0: PUSH2 0x1597 000014f3: JUMPI 000014f4: DUP3 000014f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000150a: AND 0000150b: PUSH4 0xc01e1bd6 00001510: PUSH1 0x40 00001512: MLOAD 00001513: DUP2 00001514: PUSH4 0xffffffff 00001519: AND 0000151a: PUSH1 0xe0 0000151c: SHL 0000151d: DUP2 0000151e: MSTORE 0000151f: PUSH1 0x04 00001521: ADD 00001522: PUSH1 0x20 00001524: PUSH1 0x40 00001526: MLOAD 00001527: DUP1 00001528: DUP4 00001529: SUB 0000152a: DUP2 0000152b: DUP7 0000152c: GAS 0000152d: STATICCALL 0000152e: ISZERO 0000152f: DUP1 00001530: ISZERO 00001531: PUSH2 0x153e 00001534: JUMPI 00001535: RETURNDATASIZE 00001536: PUSH1 0x00 00001538: DUP1 00001539: RETURNDATACOPY 0000153a: RETURNDATASIZE 0000153b: PUSH1 0x00 0000153d: REVERT 0000153e: JUMPDEST 0000153f: POP 00001540: POP 00001541: POP 00001542: POP 00001543: PUSH1 0x40 00001545: MLOAD 00001546: RETURNDATASIZE 00001547: PUSH1 0x1f 00001549: NOT 0000154a: PUSH1 0x1f 0000154c: DUP3 0000154d: ADD 0000154e: AND 0000154f: DUP3 00001550: ADD 00001551: DUP1 00001552: PUSH1 0x40 00001554: MSTORE 00001555: POP 00001556: DUP2 00001557: ADD 00001558: SWAP1 00001559: PUSH2 0x1562 0000155c: SWAP2 0000155d: SWAP1 0000155e: PUSH2 0x27dd 00001561: JUMP 00001562: JUMPDEST 00001563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001578: AND 00001579: DUP3 0000157a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158f: AND 00001590: EQ 00001591: SWAP1 00001592: POP 00001593: PUSH2 0x14bc 00001596: JUMP 00001597: JUMPDEST 00001598: DUP3 00001599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ae: AND 000015af: PUSH4 0xd6c0b2c4 000015b4: PUSH1 0x40 000015b6: MLOAD 000015b7: DUP2 000015b8: PUSH4 0xffffffff 000015bd: AND 000015be: PUSH1 0xe0 000015c0: SHL 000015c1: DUP2 000015c2: MSTORE 000015c3: PUSH1 0x04 000015c5: ADD 000015c6: PUSH1 0x20 000015c8: PUSH1 0x40 000015ca: MLOAD 000015cb: DUP1 000015cc: DUP4 000015cd: SUB 000015ce: DUP2 000015cf: DUP7 000015d0: GAS 000015d1: STATICCALL 000015d2: ISZERO 000015d3: DUP1 000015d4: ISZERO 000015d5: PUSH2 0x153e 000015d8: JUMPI 000015d9: RETURNDATASIZE 000015da: PUSH1 0x00 000015dc: DUP1 000015dd: RETURNDATACOPY 000015de: RETURNDATASIZE 000015df: PUSH1 0x00 000015e1: REVERT 000015e2: JUMPDEST 000015e3: PUSH1 0x40 000015e5: MLOAD 000015e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015fb: DUP4 000015fc: AND 000015fd: PUSH1 0x24 000015ff: DUP3 00001600: ADD 00001601: MSTORE 00001602: PUSH1 0x44 00001604: DUP2 00001605: ADD 00001606: DUP3 00001607: SWAP1 00001608: MSTORE 00001609: PUSH2 0x0954 0000160c: SWAP1 0000160d: DUP5 0000160e: SWAP1 0000160f: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001630: SWAP1 00001631: PUSH1 0x64 00001633: ADD 00001634: JUMPDEST 00001635: PUSH1 0x40 00001637: DUP1 00001638: MLOAD 00001639: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000165a: DUP2 0000165b: DUP5 0000165c: SUB 0000165d: ADD 0000165e: DUP2 0000165f: MSTORE 00001660: SWAP2 00001661: SWAP1 00001662: MSTORE 00001663: PUSH1 0x20 00001665: DUP2 00001666: ADD 00001667: DUP1 00001668: MLOAD 00001669: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001686: AND 00001687: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000016a8: SWAP1 000016a9: SWAP4 000016aa: AND 000016ab: SWAP3 000016ac: SWAP1 000016ad: SWAP3 000016ae: OR 000016af: SWAP1 000016b0: SWAP2 000016b1: MSTORE 000016b2: PUSH2 0x1cfa 000016b5: JUMP 000016b6: JUMPDEST 000016b7: DUP4 000016b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016cd: AND 000016ce: DUP6 000016cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016e4: AND 000016e5: DUP8 000016e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fb: AND 000016fc: PUSH32 0x3ceee06c1e37648fcbb6ed52e17b3e1f275a1f8c7b22a84b2b84732431e046b3 0000171d: DUP7 0000171e: DUP7 0000171f: DUP7 00001720: PUSH1 0x40 00001722: MLOAD 00001723: PUSH2 0x172e 00001726: SWAP4 00001727: SWAP3 00001728: SWAP2 00001729: SWAP1 0000172a: PUSH2 0x2944 0000172d: JUMP 0000172e: JUMPDEST 0000172f: PUSH1 0x40 00001731: MLOAD 00001732: DUP1 00001733: SWAP2 00001734: SUB 00001735: SWAP1 00001736: LOG4 00001737: PUSH2 0x0e3a 0000173a: DUP7 0000173b: DUP7 0000173c: DUP7 0000173d: DUP7 0000173e: DUP7 0000173f: DUP7 00001740: PUSH2 0x1e06 00001743: JUMP 00001744: JUMPDEST 00001745: DUP3 00001746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000175b: AND 0000175c: DUP5 0000175d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001772: AND 00001773: PUSH32 0x2ac69ee804d9a7a0984249f508dfab7cb2534b465b6ce1580f99a38ba9c5e631 00001794: DUP5 00001795: DUP5 00001796: PUSH1 0x40 00001798: MLOAD 00001799: PUSH2 0x17a3 0000179c: SWAP3 0000179d: SWAP2 0000179e: SWAP1 0000179f: PUSH2 0x2982 000017a2: JUMP 000017a3: JUMPDEST 000017a4: PUSH1 0x40 000017a6: MLOAD 000017a7: DUP1 000017a8: SWAP2 000017a9: SUB 000017aa: SWAP1 000017ab: LOG3 000017ac: PUSH2 0x0486 000017af: DUP5 000017b0: DUP5 000017b1: DUP5 000017b2: DUP5 000017b3: PUSH2 0x1e8e 000017b6: JUMP 000017b7: JUMPDEST 000017b8: PUSH1 0x00 000017ba: DUP1 000017bb: PUSH1 0x00 000017bd: DUP1 000017be: DUP5 000017bf: MLOAD 000017c0: PUSH1 0x20 000017c2: DUP7 000017c3: ADD 000017c4: DUP8 000017c5: DUP11 000017c6: DUP11 000017c7: CALL 000017c8: SWAP7 000017c9: SWAP6 000017ca: POP 000017cb: POP 000017cc: POP 000017cd: POP 000017ce: POP 000017cf: POP 000017d0: JUMP 000017d1: JUMPDEST 000017d2: PUSH2 0x17da 000017d5: DUP8 000017d6: PUSH2 0x1460 000017d9: JUMP 000017da: JUMPDEST 000017db: ISZERO 000017dc: PUSH2 0x1928 000017df: JUMPI 000017e0: PUSH2 0x17e9 000017e3: DUP8 000017e4: DUP8 000017e5: PUSH2 0x14c2 000017e8: JUMP 000017e9: JUMPDEST 000017ea: PUSH2 0x189b 000017ed: JUMPI 000017ee: PUSH1 0x40 000017f0: MLOAD 000017f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001812: DUP2 00001813: MSTORE 00001814: PUSH1 0x20 00001816: PUSH1 0x04 00001818: DUP3 00001819: ADD 0000181a: MSTORE 0000181b: PUSH1 0x4a 0000181d: PUSH1 0x24 0000181f: DUP3 00001820: ADD 00001821: MSTORE 00001822: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b 00001843: PUSH1 0x44 00001845: DUP3 00001846: ADD 00001847: MSTORE 00001848: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c 00001869: PUSH1 0x64 0000186b: DUP3 0000186c: ADD 0000186d: MSTORE 0000186e: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000 0000188f: PUSH1 0x84 00001891: DUP3 00001892: ADD 00001893: MSTORE 00001894: PUSH1 0xa4 00001896: ADD 00001897: PUSH2 0x01bd 0000189a: JUMP 0000189b: JUMPDEST 0000189c: PUSH1 0x40 0000189e: MLOAD 0000189f: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000 000018c0: DUP2 000018c1: MSTORE 000018c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d7: DUP7 000018d8: DUP2 000018d9: AND 000018da: PUSH1 0x04 000018dc: DUP4 000018dd: ADD 000018de: MSTORE 000018df: PUSH1 0x24 000018e1: DUP3 000018e2: ADD 000018e3: DUP6 000018e4: SWAP1 000018e5: MSTORE 000018e6: DUP9 000018e7: AND 000018e8: SWAP1 000018e9: PUSH4 0x9dc29fac 000018ee: SWAP1 000018ef: PUSH1 0x44 000018f1: ADD 000018f2: PUSH1 0x00 000018f4: PUSH1 0x40 000018f6: MLOAD 000018f7: DUP1 000018f8: DUP4 000018f9: SUB 000018fa: DUP2 000018fb: PUSH1 0x00 000018fd: DUP8 000018fe: DUP1 000018ff: EXTCODESIZE 00001900: ISZERO 00001901: DUP1 00001902: ISZERO 00001903: PUSH2 0x190b 00001906: JUMPI 00001907: PUSH1 0x00 00001909: DUP1 0000190a: REVERT 0000190b: JUMPDEST 0000190c: POP 0000190d: GAS 0000190e: CALL 0000190f: ISZERO 00001910: DUP1 00001911: ISZERO 00001912: PUSH2 0x191f 00001915: JUMPI 00001916: RETURNDATASIZE 00001917: PUSH1 0x00 00001919: DUP1 0000191a: RETURNDATACOPY 0000191b: RETURNDATASIZE 0000191c: PUSH1 0x00 0000191e: REVERT 0000191f: JUMPDEST 00001920: POP 00001921: POP 00001922: POP 00001923: POP 00001924: PUSH2 0x19bc 00001927: JUMP 00001928: JUMPDEST 00001929: PUSH2 0x194a 0000192c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001941: DUP9 00001942: AND 00001943: DUP7 00001944: ADDRESS 00001945: DUP7 00001946: PUSH2 0x1efb 00001949: JUMP 0000194a: JUMPDEST 0000194b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001960: DUP1 00001961: DUP9 00001962: AND 00001963: PUSH1 0x00 00001965: SWAP1 00001966: DUP2 00001967: MSTORE 00001968: PUSH1 0x02 0000196a: PUSH1 0x20 0000196c: SWAP1 0000196d: DUP2 0000196e: MSTORE 0000196f: PUSH1 0x40 00001971: DUP1 00001972: DUP4 00001973: KECCAK256 00001974: SWAP4 00001975: DUP11 00001976: AND 00001977: DUP4 00001978: MSTORE 00001979: SWAP3 0000197a: SWAP1 0000197b: MSTORE 0000197c: KECCAK256 0000197d: SLOAD 0000197e: PUSH2 0x1988 00001981: SWAP1 00001982: DUP5 00001983: SWAP1 00001984: PUSH2 0x299b 00001987: JUMP 00001988: JUMPDEST 00001989: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000199e: DUP1 0000199f: DUP10 000019a0: AND 000019a1: PUSH1 0x00 000019a3: SWAP1 000019a4: DUP2 000019a5: MSTORE 000019a6: PUSH1 0x02 000019a8: PUSH1 0x20 000019aa: SWAP1 000019ab: DUP2 000019ac: MSTORE 000019ad: PUSH1 0x40 000019af: DUP1 000019b0: DUP4 000019b1: KECCAK256 000019b2: SWAP4 000019b3: DUP12 000019b4: AND 000019b5: DUP4 000019b6: MSTORE 000019b7: SWAP3 000019b8: SWAP1 000019b9: MSTORE 000019ba: KECCAK256 000019bb: SSTORE 000019bc: JUMPDEST 000019bd: PUSH2 0x19ca 000019c0: DUP8 000019c1: DUP8 000019c2: DUP8 000019c3: DUP8 000019c4: DUP8 000019c5: DUP7 000019c6: PUSH2 0x1f59 000019c9: JUMP 000019ca: JUMPDEST 000019cb: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310 000019ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a01: AND 00001a02: PUSH4 0x3dbb202b 00001a07: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010 00001a28: PUSH4 0x0166a07a 00001a2d: PUSH1 0xe0 00001a2f: SHL 00001a30: DUP10 00001a31: DUP12 00001a32: DUP11 00001a33: DUP11 00001a34: DUP11 00001a35: DUP10 00001a36: PUSH1 0x40 00001a38: MLOAD 00001a39: PUSH1 0x24 00001a3b: ADD 00001a3c: PUSH2 0x1a4a 00001a3f: SWAP7 00001a40: SWAP6 00001a41: SWAP5 00001a42: SWAP4 00001a43: SWAP3 00001a44: SWAP2 00001a45: SWAP1 00001a46: PUSH2 0x29b3 00001a49: JUMP 00001a4a: JUMPDEST 00001a4b: PUSH1 0x40 00001a4d: DUP1 00001a4e: MLOAD 00001a4f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001a70: DUP2 00001a71: DUP5 00001a72: SUB 00001a73: ADD 00001a74: DUP2 00001a75: MSTORE 00001a76: SWAP2 00001a77: DUP2 00001a78: MSTORE 00001a79: PUSH1 0x20 00001a7b: DUP3 00001a7c: ADD 00001a7d: DUP1 00001a7e: MLOAD 00001a7f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001a9c: AND 00001a9d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001abe: SWAP5 00001abf: DUP6 00001ac0: AND 00001ac1: OR 00001ac2: SWAP1 00001ac3: MSTORE 00001ac4: MLOAD 00001ac5: PUSH1 0xe0 00001ac7: DUP6 00001ac8: SWAP1 00001ac9: SHL 00001aca: SWAP1 00001acb: SWAP3 00001acc: AND 00001acd: DUP3 00001ace: MSTORE 00001acf: PUSH2 0x1add 00001ad2: SWAP3 00001ad3: SWAP2 00001ad4: DUP8 00001ad5: SWAP1 00001ad6: PUSH1 0x04 00001ad8: ADD 00001ad9: PUSH2 0x28ff 00001adc: JUMP 00001add: JUMPDEST 00001ade: PUSH1 0x00 00001ae0: PUSH1 0x40 00001ae2: MLOAD 00001ae3: DUP1 00001ae4: DUP4 00001ae5: SUB 00001ae6: DUP2 00001ae7: PUSH1 0x00 00001ae9: DUP8 00001aea: DUP1 00001aeb: EXTCODESIZE 00001aec: ISZERO 00001aed: DUP1 00001aee: ISZERO 00001aef: PUSH2 0x1af7 00001af2: JUMPI 00001af3: PUSH1 0x00 00001af5: DUP1 00001af6: REVERT 00001af7: JUMPDEST 00001af8: POP 00001af9: GAS 00001afa: CALL 00001afb: ISZERO 00001afc: DUP1 00001afd: ISZERO 00001afe: PUSH2 0x1b0b 00001b01: JUMPI 00001b02: RETURNDATASIZE 00001b03: PUSH1 0x00 00001b05: DUP1 00001b06: RETURNDATACOPY 00001b07: RETURNDATASIZE 00001b08: PUSH1 0x00 00001b0a: REVERT 00001b0b: JUMPDEST 00001b0c: POP 00001b0d: POP 00001b0e: POP 00001b0f: POP 00001b10: POP 00001b11: POP 00001b12: POP 00001b13: POP 00001b14: POP 00001b15: POP 00001b16: POP 00001b17: JUMP 00001b18: JUMPDEST 00001b19: PUSH1 0x60 00001b1b: DUP2 00001b1c: PUSH1 0x00 00001b1e: SUB 00001b1f: PUSH2 0x1b5b 00001b22: JUMPI 00001b23: POP 00001b24: POP 00001b25: PUSH1 0x40 00001b27: DUP1 00001b28: MLOAD 00001b29: DUP1 00001b2a: DUP3 00001b2b: ADD 00001b2c: SWAP1 00001b2d: SWAP2 00001b2e: MSTORE 00001b2f: PUSH1 0x01 00001b31: DUP2 00001b32: MSTORE 00001b33: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00001b54: PUSH1 0x20 00001b56: DUP3 00001b57: ADD 00001b58: MSTORE 00001b59: SWAP1 00001b5a: JUMP 00001b5b: JUMPDEST 00001b5c: DUP2 00001b5d: PUSH1 0x00 00001b5f: JUMPDEST 00001b60: DUP2 00001b61: ISZERO 00001b62: PUSH2 0x1b85 00001b65: JUMPI 00001b66: DUP1 00001b67: PUSH2 0x1b6f 00001b6a: DUP2 00001b6b: PUSH2 0x2a0e 00001b6e: JUMP 00001b6f: JUMPDEST 00001b70: SWAP2 00001b71: POP 00001b72: PUSH2 0x1b7e 00001b75: SWAP1 00001b76: POP 00001b77: PUSH1 0x0a 00001b79: DUP4 00001b7a: PUSH2 0x2a75 00001b7d: JUMP 00001b7e: JUMPDEST 00001b7f: SWAP2 00001b80: POP 00001b81: PUSH2 0x1b5f 00001b84: JUMP 00001b85: JUMPDEST 00001b86: PUSH1 0x00 00001b88: DUP2 00001b89: PUSH8 0xffffffffffffffff 00001b92: DUP2 00001b93: GT 00001b94: ISZERO 00001b95: PUSH2 0x1ba0 00001b98: JUMPI 00001b99: PUSH2 0x1ba0 00001b9c: PUSH2 0x2a89 00001b9f: JUMP 00001ba0: JUMPDEST 00001ba1: PUSH1 0x40 00001ba3: MLOAD 00001ba4: SWAP1 00001ba5: DUP1 00001ba6: DUP3 00001ba7: MSTORE 00001ba8: DUP1 00001ba9: PUSH1 0x1f 00001bab: ADD 00001bac: PUSH1 0x1f 00001bae: NOT 00001baf: AND 00001bb0: PUSH1 0x20 00001bb2: ADD 00001bb3: DUP3 00001bb4: ADD 00001bb5: PUSH1 0x40 00001bb7: MSTORE 00001bb8: DUP1 00001bb9: ISZERO 00001bba: PUSH2 0x1bca 00001bbd: JUMPI 00001bbe: PUSH1 0x20 00001bc0: DUP3 00001bc1: ADD 00001bc2: DUP2 00001bc3: DUP1 00001bc4: CALLDATASIZE 00001bc5: DUP4 00001bc6: CALLDATACOPY 00001bc7: ADD 00001bc8: SWAP1 00001bc9: POP 00001bca: JUMPDEST 00001bcb: POP 00001bcc: SWAP1 00001bcd: POP 00001bce: JUMPDEST 00001bcf: DUP5 00001bd0: ISZERO 00001bd1: PUSH2 0x1c4d 00001bd4: JUMPI 00001bd5: PUSH2 0x1bdf 00001bd8: PUSH1 0x01 00001bda: DUP4 00001bdb: PUSH2 0x2829 00001bde: JUMP 00001bdf: JUMPDEST 00001be0: SWAP2 00001be1: POP 00001be2: PUSH2 0x1bec 00001be5: PUSH1 0x0a 00001be7: DUP7 00001be8: PUSH2 0x2ab8 00001beb: JUMP 00001bec: JUMPDEST 00001bed: PUSH2 0x1bf7 00001bf0: SWAP1 00001bf1: PUSH1 0x30 00001bf3: PUSH2 0x299b 00001bf6: JUMP 00001bf7: JUMPDEST 00001bf8: PUSH1 0xf8 00001bfa: SHL 00001bfb: DUP2 00001bfc: DUP4 00001bfd: DUP2 00001bfe: MLOAD 00001bff: DUP2 00001c00: LT 00001c01: PUSH2 0x1c0c 00001c04: JUMPI 00001c05: PUSH2 0x1c0c 00001c08: PUSH2 0x2acc 00001c0b: JUMP 00001c0c: JUMPDEST 00001c0d: PUSH1 0x20 00001c0f: ADD 00001c10: ADD 00001c11: SWAP1 00001c12: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001c32: NOT 00001c33: AND 00001c34: SWAP1 00001c35: DUP2 00001c36: PUSH1 0x00 00001c38: BYTE 00001c39: SWAP1 00001c3a: MSTORE8 00001c3b: POP 00001c3c: PUSH2 0x1c46 00001c3f: PUSH1 0x0a 00001c41: DUP7 00001c42: PUSH2 0x2a75 00001c45: JUMP 00001c46: JUMPDEST 00001c47: SWAP5 00001c48: POP 00001c49: PUSH2 0x1bce 00001c4c: JUMP 00001c4d: JUMPDEST 00001c4e: SWAP5 00001c4f: SWAP4 00001c50: POP 00001c51: POP 00001c52: POP 00001c53: POP 00001c54: JUMP 00001c55: JUMPDEST 00001c56: PUSH2 0x0879 00001c59: DUP8 00001c5a: DUP8 00001c5b: DUP8 00001c5c: DUP8 00001c5d: DUP8 00001c5e: DUP8 00001c5f: DUP8 00001c60: PUSH2 0x17d1 00001c63: JUMP 00001c64: JUMPDEST 00001c65: DUP3 00001c66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c7b: AND 00001c7c: DUP5 00001c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c92: AND 00001c93: PUSH32 0x35d79ab81f2b2017e19afb5c5571778877782d7a8786f5907f93b0f4702f4f23 00001cb4: DUP5 00001cb5: DUP5 00001cb6: PUSH1 0x40 00001cb8: MLOAD 00001cb9: PUSH2 0x1cc3 00001cbc: SWAP3 00001cbd: SWAP2 00001cbe: SWAP1 00001cbf: PUSH2 0x2982 00001cc2: JUMP 00001cc3: JUMPDEST 00001cc4: PUSH1 0x40 00001cc6: MLOAD 00001cc7: DUP1 00001cc8: SWAP2 00001cc9: SUB 00001cca: SWAP1 00001ccb: LOG3 00001ccc: PUSH2 0x0486 00001ccf: DUP5 00001cd0: DUP5 00001cd1: DUP5 00001cd2: DUP5 00001cd3: PUSH2 0x1fe7 00001cd6: JUMP 00001cd7: JUMPDEST 00001cd8: PUSH1 0x00 00001cda: PUSH2 0x1ce2 00001cdd: DUP4 00001cde: PUSH2 0x2046 00001ce1: JUMP 00001ce2: JUMPDEST 00001ce3: DUP1 00001ce4: ISZERO 00001ce5: PUSH2 0x1cf3 00001ce8: JUMPI 00001ce9: POP 00001cea: PUSH2 0x1cf3 00001ced: DUP4 00001cee: DUP4 00001cef: PUSH2 0x20aa 00001cf2: JUMP 00001cf3: JUMPDEST 00001cf4: SWAP4 00001cf5: SWAP3 00001cf6: POP 00001cf7: POP 00001cf8: POP 00001cf9: JUMP 00001cfa: JUMPDEST 00001cfb: PUSH1 0x00 00001cfd: PUSH2 0x1d5c 00001d00: DUP3 00001d01: PUSH1 0x40 00001d03: MLOAD 00001d04: DUP1 00001d05: PUSH1 0x40 00001d07: ADD 00001d08: PUSH1 0x40 00001d0a: MSTORE 00001d0b: DUP1 00001d0c: PUSH1 0x20 00001d0e: DUP2 00001d0f: MSTORE 00001d10: PUSH1 0x20 00001d12: ADD 00001d13: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00001d34: DUP2 00001d35: MSTORE 00001d36: POP 00001d37: DUP6 00001d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d4d: AND 00001d4e: PUSH2 0x2179 00001d51: SWAP1 00001d52: SWAP3 00001d53: SWAP2 00001d54: SWAP1 00001d55: PUSH4 0xffffffff 00001d5a: AND 00001d5b: JUMP 00001d5c: JUMPDEST 00001d5d: DUP1 00001d5e: MLOAD 00001d5f: SWAP1 00001d60: SWAP2 00001d61: POP 00001d62: ISZERO 00001d63: PUSH2 0x0954 00001d66: JUMPI 00001d67: DUP1 00001d68: DUP1 00001d69: PUSH1 0x20 00001d6b: ADD 00001d6c: SWAP1 00001d6d: MLOAD 00001d6e: DUP2 00001d6f: ADD 00001d70: SWAP1 00001d71: PUSH2 0x1d7a 00001d74: SWAP2 00001d75: SWAP1 00001d76: PUSH2 0x2afb 00001d79: JUMP 00001d7a: JUMPDEST 00001d7b: PUSH2 0x0954 00001d7e: JUMPI 00001d7f: PUSH1 0x40 00001d81: MLOAD 00001d82: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001da3: DUP2 00001da4: MSTORE 00001da5: PUSH1 0x20 00001da7: PUSH1 0x04 00001da9: DUP3 00001daa: ADD 00001dab: MSTORE 00001dac: PUSH1 0x2a 00001dae: PUSH1 0x24 00001db0: DUP3 00001db1: ADD 00001db2: MSTORE 00001db3: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00001dd4: PUSH1 0x44 00001dd6: DUP3 00001dd7: ADD 00001dd8: MSTORE 00001dd9: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00001dfa: PUSH1 0x64 00001dfc: DUP3 00001dfd: ADD 00001dfe: MSTORE 00001dff: PUSH1 0x84 00001e01: ADD 00001e02: PUSH2 0x01bd 00001e05: JUMP 00001e06: JUMPDEST 00001e07: DUP4 00001e08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e1d: AND 00001e1e: DUP6 00001e1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e34: AND 00001e35: DUP8 00001e36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e4b: AND 00001e4c: PUSH32 0xd59c65b35445225835c83f50b6ede06a7be047d22e357073e250d9af537518cd 00001e6d: DUP7 00001e6e: DUP7 00001e6f: DUP7 00001e70: PUSH1 0x40 00001e72: MLOAD 00001e73: PUSH2 0x1e7e 00001e76: SWAP4 00001e77: SWAP3 00001e78: SWAP2 00001e79: SWAP1 00001e7a: PUSH2 0x2944 00001e7d: JUMP 00001e7e: JUMPDEST 00001e7f: PUSH1 0x40 00001e81: MLOAD 00001e82: DUP1 00001e83: SWAP2 00001e84: SUB 00001e85: SWAP1 00001e86: LOG4 00001e87: POP 00001e88: POP 00001e89: POP 00001e8a: POP 00001e8b: POP 00001e8c: POP 00001e8d: JUMP 00001e8e: JUMPDEST 00001e8f: DUP3 00001e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ea5: AND 00001ea6: DUP5 00001ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ebc: AND 00001ebd: PUSH32 0x31b2166ff604fc5672ea5df08a78081d2bc6d746cadce880747f3643d819e83d 00001ede: DUP5 00001edf: DUP5 00001ee0: PUSH1 0x40 00001ee2: MLOAD 00001ee3: PUSH2 0x1eed 00001ee6: SWAP3 00001ee7: SWAP2 00001ee8: SWAP1 00001ee9: PUSH2 0x2982 00001eec: JUMP 00001eed: JUMPDEST 00001eee: PUSH1 0x40 00001ef0: MLOAD 00001ef1: DUP1 00001ef2: SWAP2 00001ef3: SUB 00001ef4: SWAP1 00001ef5: LOG3 00001ef6: POP 00001ef7: POP 00001ef8: POP 00001ef9: POP 00001efa: JUMP 00001efb: JUMPDEST 00001efc: PUSH1 0x40 00001efe: MLOAD 00001eff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f14: DUP1 00001f15: DUP6 00001f16: AND 00001f17: PUSH1 0x24 00001f19: DUP4 00001f1a: ADD 00001f1b: MSTORE 00001f1c: DUP4 00001f1d: AND 00001f1e: PUSH1 0x44 00001f20: DUP3 00001f21: ADD 00001f22: MSTORE 00001f23: PUSH1 0x64 00001f25: DUP2 00001f26: ADD 00001f27: DUP3 00001f28: SWAP1 00001f29: MSTORE 00001f2a: PUSH2 0x0486 00001f2d: SWAP1 00001f2e: DUP6 00001f2f: SWAP1 00001f30: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00001f51: SWAP1 00001f52: PUSH1 0x84 00001f54: ADD 00001f55: PUSH2 0x1634 00001f58: JUMP 00001f59: JUMPDEST 00001f5a: DUP4 00001f5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f70: AND 00001f71: DUP6 00001f72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f87: AND 00001f88: DUP8 00001f89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f9e: AND 00001f9f: PUSH32 0x718594027abd4eaed59f95162563e0cc6d0e8d5b86b1c7be8b1b0ac3343d0396 00001fc0: DUP7 00001fc1: DUP7 00001fc2: DUP7 00001fc3: PUSH1 0x40 00001fc5: MLOAD 00001fc6: PUSH2 0x1fd1 00001fc9: SWAP4 00001fca: SWAP3 00001fcb: SWAP2 00001fcc: SWAP1 00001fcd: PUSH2 0x2944 00001fd0: JUMP 00001fd1: JUMPDEST 00001fd2: PUSH1 0x40 00001fd4: MLOAD 00001fd5: DUP1 00001fd6: SWAP2 00001fd7: SUB 00001fd8: SWAP1 00001fd9: LOG4 00001fda: PUSH2 0x0e3a 00001fdd: DUP7 00001fde: DUP7 00001fdf: DUP7 00001fe0: DUP7 00001fe1: DUP7 00001fe2: DUP7 00001fe3: PUSH2 0x2188 00001fe6: JUMP 00001fe7: JUMPDEST 00001fe8: DUP3 00001fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ffe: AND 00001fff: DUP5 00002000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002015: AND 00002016: PUSH32 0x2849b43074093a05396b6f2a937dee8565b15a48a7b3d4bffb732a5017380af5 00002037: DUP5 00002038: DUP5 00002039: PUSH1 0x40 0000203b: MLOAD 0000203c: PUSH2 0x1eed 0000203f: SWAP3 00002040: SWAP2 00002041: SWAP1 00002042: PUSH2 0x2982 00002045: JUMP 00002046: JUMPDEST 00002047: PUSH1 0x00 00002049: PUSH2 0x2072 0000204c: DUP3 0000204d: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 0000206e: PUSH2 0x20aa 00002071: JUMP 00002072: JUMPDEST 00002073: DUP1 00002074: ISZERO 00002075: PUSH2 0x14bc 00002078: JUMPI 00002079: POP 0000207a: PUSH2 0x20a3 0000207d: DUP3 0000207e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000209f: PUSH2 0x20aa 000020a2: JUMP 000020a3: JUMPDEST 000020a4: ISZERO 000020a5: SWAP3 000020a6: SWAP2 000020a7: POP 000020a8: POP 000020a9: JUMP 000020aa: JUMPDEST 000020ab: PUSH1 0x40 000020ad: DUP1 000020ae: MLOAD 000020af: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000020d0: DUP4 000020d1: AND 000020d2: PUSH1 0x24 000020d4: DUP1 000020d5: DUP4 000020d6: ADD 000020d7: SWAP2 000020d8: SWAP1 000020d9: SWAP2 000020da: MSTORE 000020db: DUP3 000020dc: MLOAD 000020dd: DUP1 000020de: DUP4 000020df: SUB 000020e0: SWAP1 000020e1: SWAP2 000020e2: ADD 000020e3: DUP2 000020e4: MSTORE 000020e5: PUSH1 0x44 000020e7: SWAP1 000020e8: SWAP2 000020e9: ADD 000020ea: SWAP1 000020eb: SWAP2 000020ec: MSTORE 000020ed: PUSH1 0x20 000020ef: DUP1 000020f0: DUP3 000020f1: ADD 000020f2: DUP1 000020f3: MLOAD 000020f4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002111: AND 00002112: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00002133: OR 00002134: DUP2 00002135: MSTORE 00002136: DUP3 00002137: MLOAD 00002138: PUSH1 0x00 0000213a: SWAP4 0000213b: SWAP3 0000213c: DUP5 0000213d: SWAP3 0000213e: DUP4 0000213f: SWAP3 00002140: DUP4 00002141: SWAP3 00002142: SWAP2 00002143: DUP4 00002144: SWAP2 00002145: SWAP1 00002146: DUP11 00002147: PUSH2 0x7530 0000214a: STATICCALL 0000214b: SWAP3 0000214c: POP 0000214d: RETURNDATASIZE 0000214e: SWAP2 0000214f: POP 00002150: PUSH1 0x00 00002152: MLOAD 00002153: SWAP1 00002154: POP 00002155: DUP3 00002156: DUP1 00002157: ISZERO 00002158: PUSH2 0x2162 0000215b: JUMPI 0000215c: POP 0000215d: PUSH1 0x20 0000215f: DUP3 00002160: LT 00002161: ISZERO 00002162: JUMPDEST 00002163: DUP1 00002164: ISZERO 00002165: PUSH2 0x216e 00002168: JUMPI 00002169: POP 0000216a: PUSH1 0x00 0000216c: DUP2 0000216d: GT 0000216e: JUMPDEST 0000216f: SWAP8 00002170: SWAP7 00002171: POP 00002172: POP 00002173: POP 00002174: POP 00002175: POP 00002176: POP 00002177: POP 00002178: JUMP 00002179: JUMPDEST 0000217a: PUSH1 0x60 0000217c: PUSH2 0x1c4d 0000217f: DUP5 00002180: DUP5 00002181: PUSH1 0x00 00002183: DUP6 00002184: PUSH2 0x2200 00002187: JUMP 00002188: JUMPDEST 00002189: DUP4 0000218a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000219f: AND 000021a0: DUP6 000021a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021b6: AND 000021b7: DUP8 000021b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021cd: AND 000021ce: PUSH32 0x7ff126db8024424bbfd9826e8ab82ff59136289ea440b04b39a0df1b03b9cabf 000021ef: DUP7 000021f0: DUP7 000021f1: DUP7 000021f2: PUSH1 0x40 000021f4: MLOAD 000021f5: PUSH2 0x1e7e 000021f8: SWAP4 000021f9: SWAP3 000021fa: SWAP2 000021fb: SWAP1 000021fc: PUSH2 0x2944 000021ff: JUMP 00002200: JUMPDEST 00002201: PUSH1 0x60 00002203: DUP3 00002204: SELFBALANCE 00002205: LT 00002206: ISZERO 00002207: PUSH2 0x2292 0000220a: JUMPI 0000220b: PUSH1 0x40 0000220d: MLOAD 0000220e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000222f: DUP2 00002230: MSTORE 00002231: PUSH1 0x20 00002233: PUSH1 0x04 00002235: DUP3 00002236: ADD 00002237: MSTORE 00002238: PUSH1 0x26 0000223a: PUSH1 0x24 0000223c: DUP3 0000223d: ADD 0000223e: MSTORE 0000223f: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00002260: PUSH1 0x44 00002262: DUP3 00002263: ADD 00002264: MSTORE 00002265: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 00002286: PUSH1 0x64 00002288: DUP3 00002289: ADD 0000228a: MSTORE 0000228b: PUSH1 0x84 0000228d: ADD 0000228e: PUSH2 0x01bd 00002291: JUMP 00002292: JUMPDEST 00002293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022a8: DUP6 000022a9: AND 000022aa: EXTCODESIZE 000022ab: PUSH2 0x2310 000022ae: JUMPI 000022af: PUSH1 0x40 000022b1: MLOAD 000022b2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000022d3: DUP2 000022d4: MSTORE 000022d5: PUSH1 0x20 000022d7: PUSH1 0x04 000022d9: DUP3 000022da: ADD 000022db: MSTORE 000022dc: PUSH1 0x1d 000022de: PUSH1 0x24 000022e0: DUP3 000022e1: ADD 000022e2: MSTORE 000022e3: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00002304: PUSH1 0x44 00002306: DUP3 00002307: ADD 00002308: MSTORE 00002309: PUSH1 0x64 0000230b: ADD 0000230c: PUSH2 0x01bd 0000230f: JUMP 00002310: JUMPDEST 00002311: PUSH1 0x00 00002313: DUP1 00002314: DUP7 00002315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000232a: AND 0000232b: DUP6 0000232c: DUP8 0000232d: PUSH1 0x40 0000232f: MLOAD 00002330: PUSH2 0x2339 00002333: SWAP2 00002334: SWAP1 00002335: PUSH2 0x2b1d 00002338: JUMP 00002339: JUMPDEST 0000233a: PUSH1 0x00 0000233c: PUSH1 0x40 0000233e: MLOAD 0000233f: DUP1 00002340: DUP4 00002341: SUB 00002342: DUP2 00002343: DUP6 00002344: DUP8 00002345: GAS 00002346: CALL 00002347: SWAP3 00002348: POP 00002349: POP 0000234a: POP 0000234b: RETURNDATASIZE 0000234c: DUP1 0000234d: PUSH1 0x00 0000234f: DUP2 00002350: EQ 00002351: PUSH2 0x2376 00002354: JUMPI 00002355: PUSH1 0x40 00002357: MLOAD 00002358: SWAP2 00002359: POP 0000235a: PUSH1 0x1f 0000235c: NOT 0000235d: PUSH1 0x3f 0000235f: RETURNDATASIZE 00002360: ADD 00002361: AND 00002362: DUP3 00002363: ADD 00002364: PUSH1 0x40 00002366: MSTORE 00002367: RETURNDATASIZE 00002368: DUP3 00002369: MSTORE 0000236a: RETURNDATASIZE 0000236b: PUSH1 0x00 0000236d: PUSH1 0x20 0000236f: DUP5 00002370: ADD 00002371: RETURNDATACOPY 00002372: PUSH2 0x237b 00002375: JUMP 00002376: JUMPDEST 00002377: PUSH1 0x60 00002379: SWAP2 0000237a: POP 0000237b: JUMPDEST 0000237c: POP 0000237d: SWAP2 0000237e: POP 0000237f: SWAP2 00002380: POP 00002381: PUSH2 0x216e 00002384: DUP3 00002385: DUP3 00002386: DUP7 00002387: PUSH1 0x60 00002389: DUP4 0000238a: ISZERO 0000238b: PUSH2 0x2395 0000238e: JUMPI 0000238f: POP 00002390: DUP2 00002391: PUSH2 0x1cf3 00002394: JUMP 00002395: JUMPDEST 00002396: DUP3 00002397: MLOAD 00002398: ISZERO 00002399: PUSH2 0x23a5 0000239c: JUMPI 0000239d: DUP3 0000239e: MLOAD 0000239f: DUP1 000023a0: DUP5 000023a1: PUSH1 0x20 000023a3: ADD 000023a4: REVERT 000023a5: JUMPDEST 000023a6: DUP2 000023a7: PUSH1 0x40 000023a9: MLOAD 000023aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000023cb: DUP2 000023cc: MSTORE 000023cd: PUSH1 0x04 000023cf: ADD 000023d0: PUSH2 0x01bd 000023d3: SWAP2 000023d4: SWAP1 000023d5: PUSH2 0x26ab 000023d8: JUMP 000023d9: JUMPDEST 000023da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023ef: DUP2 000023f0: AND 000023f1: DUP2 000023f2: EQ 000023f3: PUSH2 0x23fb 000023f6: JUMPI 000023f7: PUSH1 0x00 000023f9: DUP1 000023fa: REVERT 000023fb: JUMPDEST 000023fc: POP 000023fd: JUMP 000023fe: JUMPDEST 000023ff: PUSH1 0x00 00002401: DUP1 00002402: DUP4 00002403: PUSH1 0x1f 00002405: DUP5 00002406: ADD 00002407: SLT 00002408: PUSH2 0x2410 0000240b: JUMPI 0000240c: PUSH1 0x00 0000240e: DUP1 0000240f: REVERT 00002410: JUMPDEST 00002411: POP 00002412: DUP2 00002413: CALLDATALOAD 00002414: PUSH8 0xffffffffffffffff 0000241d: DUP2 0000241e: GT 0000241f: ISZERO 00002420: PUSH2 0x2428 00002423: JUMPI 00002424: PUSH1 0x00 00002426: DUP1 00002427: REVERT 00002428: JUMPDEST 00002429: PUSH1 0x20 0000242b: DUP4 0000242c: ADD 0000242d: SWAP2 0000242e: POP 0000242f: DUP4 00002430: PUSH1 0x20 00002432: DUP3 00002433: DUP6 00002434: ADD 00002435: ADD 00002436: GT 00002437: ISZERO 00002438: PUSH2 0x2440 0000243b: JUMPI 0000243c: PUSH1 0x00 0000243e: DUP1 0000243f: REVERT 00002440: JUMPDEST 00002441: SWAP3 00002442: POP 00002443: SWAP3 00002444: SWAP1 00002445: POP 00002446: JUMP 00002447: JUMPDEST 00002448: PUSH1 0x00 0000244a: DUP1 0000244b: PUSH1 0x00 0000244d: DUP1 0000244e: PUSH1 0x00 00002450: DUP1 00002451: PUSH1 0x00 00002453: PUSH1 0xc0 00002455: DUP9 00002456: DUP11 00002457: SUB 00002458: SLT 00002459: ISZERO 0000245a: PUSH2 0x2462 0000245d: JUMPI 0000245e: PUSH1 0x00 00002460: DUP1 00002461: REVERT 00002462: JUMPDEST 00002463: DUP8 00002464: CALLDATALOAD 00002465: PUSH2 0x246d 00002468: DUP2 00002469: PUSH2 0x23d9 0000246c: JUMP 0000246d: JUMPDEST 0000246e: SWAP7 0000246f: POP 00002470: PUSH1 0x20 00002472: DUP9 00002473: ADD 00002474: CALLDATALOAD 00002475: PUSH2 0x247d 00002478: DUP2 00002479: PUSH2 0x23d9 0000247c: JUMP 0000247d: JUMPDEST 0000247e: SWAP6 0000247f: POP 00002480: PUSH1 0x40 00002482: DUP9 00002483: ADD 00002484: CALLDATALOAD 00002485: PUSH2 0x248d 00002488: DUP2 00002489: PUSH2 0x23d9 0000248c: JUMP 0000248d: JUMPDEST 0000248e: SWAP5 0000248f: POP 00002490: PUSH1 0x60 00002492: DUP9 00002493: ADD 00002494: CALLDATALOAD 00002495: PUSH2 0x249d 00002498: DUP2 00002499: PUSH2 0x23d9 0000249c: JUMP 0000249d: JUMPDEST 0000249e: SWAP4 0000249f: POP 000024a0: PUSH1 0x80 000024a2: DUP9 000024a3: ADD 000024a4: CALLDATALOAD 000024a5: SWAP3 000024a6: POP 000024a7: PUSH1 0xa0 000024a9: DUP9 000024aa: ADD 000024ab: CALLDATALOAD 000024ac: PUSH8 0xffffffffffffffff 000024b5: DUP2 000024b6: GT 000024b7: ISZERO 000024b8: PUSH2 0x24c0 000024bb: JUMPI 000024bc: PUSH1 0x00 000024be: DUP1 000024bf: REVERT 000024c0: JUMPDEST 000024c1: PUSH2 0x24cc 000024c4: DUP11 000024c5: DUP3 000024c6: DUP12 000024c7: ADD 000024c8: PUSH2 0x23fe 000024cb: JUMP 000024cc: JUMPDEST 000024cd: SWAP9 000024ce: SWAP12 000024cf: SWAP8 000024d0: SWAP11 000024d1: POP 000024d2: SWAP6 000024d3: SWAP9 000024d4: POP 000024d5: SWAP4 000024d6: SWAP7 000024d7: SWAP3 000024d8: SWAP6 000024d9: SWAP3 000024da: SWAP4 000024db: POP 000024dc: POP 000024dd: POP 000024de: JUMP 000024df: JUMPDEST 000024e0: DUP1 000024e1: CALLDATALOAD 000024e2: PUSH4 0xffffffff 000024e7: DUP2 000024e8: AND 000024e9: DUP2 000024ea: EQ 000024eb: PUSH2 0x24f3 000024ee: JUMPI 000024ef: PUSH1 0x00 000024f1: DUP1 000024f2: REVERT 000024f3: JUMPDEST 000024f4: SWAP2 000024f5: SWAP1 000024f6: POP 000024f7: JUMP 000024f8: JUMPDEST 000024f9: PUSH1 0x00 000024fb: DUP1 000024fc: PUSH1 0x00 000024fe: PUSH1 0x40 00002500: DUP5 00002501: DUP7 00002502: SUB 00002503: SLT 00002504: ISZERO 00002505: PUSH2 0x250d 00002508: JUMPI 00002509: PUSH1 0x00 0000250b: DUP1 0000250c: REVERT 0000250d: JUMPDEST 0000250e: PUSH2 0x2516 00002511: DUP5 00002512: PUSH2 0x24df 00002515: JUMP 00002516: JUMPDEST 00002517: SWAP3 00002518: POP 00002519: PUSH1 0x20 0000251b: DUP5 0000251c: ADD 0000251d: CALLDATALOAD 0000251e: PUSH8 0xffffffffffffffff 00002527: DUP2 00002528: GT 00002529: ISZERO 0000252a: PUSH2 0x2532 0000252d: JUMPI 0000252e: PUSH1 0x00 00002530: DUP1 00002531: REVERT 00002532: JUMPDEST 00002533: PUSH2 0x253e 00002536: DUP7 00002537: DUP3 00002538: DUP8 00002539: ADD 0000253a: PUSH2 0x23fe 0000253d: JUMP 0000253e: JUMPDEST 0000253f: SWAP5 00002540: SWAP8 00002541: SWAP1 00002542: SWAP7 00002543: POP 00002544: SWAP4 00002545: SWAP5 00002546: POP 00002547: POP 00002548: POP 00002549: POP 0000254a: JUMP 0000254b: JUMPDEST 0000254c: PUSH1 0x00 0000254e: DUP1 0000254f: PUSH1 0x00 00002551: DUP1 00002552: PUSH1 0x00 00002554: PUSH1 0x80 00002556: DUP7 00002557: DUP9 00002558: SUB 00002559: SLT 0000255a: ISZERO 0000255b: PUSH2 0x2563 0000255e: JUMPI 0000255f: PUSH1 0x00 00002561: DUP1 00002562: REVERT 00002563: JUMPDEST 00002564: DUP6 00002565: CALLDATALOAD 00002566: PUSH2 0x256e 00002569: DUP2 0000256a: PUSH2 0x23d9 0000256d: JUMP 0000256e: JUMPDEST 0000256f: SWAP5 00002570: POP 00002571: PUSH1 0x20 00002573: DUP7 00002574: ADD 00002575: CALLDATALOAD 00002576: PUSH2 0x257e 00002579: DUP2 0000257a: PUSH2 0x23d9 0000257d: JUMP 0000257e: JUMPDEST 0000257f: SWAP4 00002580: POP 00002581: PUSH1 0x40 00002583: DUP7 00002584: ADD 00002585: CALLDATALOAD 00002586: SWAP3 00002587: POP 00002588: PUSH1 0x60 0000258a: DUP7 0000258b: ADD 0000258c: CALLDATALOAD 0000258d: PUSH8 0xffffffffffffffff 00002596: DUP2 00002597: GT 00002598: ISZERO 00002599: PUSH2 0x25a1 0000259c: JUMPI 0000259d: PUSH1 0x00 0000259f: DUP1 000025a0: REVERT 000025a1: JUMPDEST 000025a2: PUSH2 0x25ad 000025a5: DUP9 000025a6: DUP3 000025a7: DUP10 000025a8: ADD 000025a9: PUSH2 0x23fe 000025ac: JUMP 000025ad: JUMPDEST 000025ae: SWAP7 000025af: SWAP10 000025b0: SWAP6 000025b1: SWAP9 000025b2: POP 000025b3: SWAP4 000025b4: SWAP7 000025b5: POP 000025b6: SWAP3 000025b7: SWAP5 000025b8: SWAP4 000025b9: SWAP3 000025ba: POP 000025bb: POP 000025bc: POP 000025bd: JUMP 000025be: JUMPDEST 000025bf: PUSH1 0x00 000025c1: DUP1 000025c2: PUSH1 0x00 000025c4: DUP1 000025c5: PUSH1 0x00 000025c7: DUP1 000025c8: PUSH1 0x00 000025ca: PUSH1 0xc0 000025cc: DUP9 000025cd: DUP11 000025ce: SUB 000025cf: SLT 000025d0: ISZERO 000025d1: PUSH2 0x25d9 000025d4: JUMPI 000025d5: PUSH1 0x00 000025d7: DUP1 000025d8: REVERT 000025d9: JUMPDEST 000025da: DUP8 000025db: CALLDATALOAD 000025dc: PUSH2 0x25e4 000025df: DUP2 000025e0: PUSH2 0x23d9 000025e3: JUMP 000025e4: JUMPDEST 000025e5: SWAP7 000025e6: POP 000025e7: PUSH1 0x20 000025e9: DUP9 000025ea: ADD 000025eb: CALLDATALOAD 000025ec: PUSH2 0x25f4 000025ef: DUP2 000025f0: PUSH2 0x23d9 000025f3: JUMP 000025f4: JUMPDEST 000025f5: SWAP6 000025f6: POP 000025f7: PUSH1 0x40 000025f9: DUP9 000025fa: ADD 000025fb: CALLDATALOAD 000025fc: PUSH2 0x2604 000025ff: DUP2 00002600: PUSH2 0x23d9 00002603: JUMP 00002604: JUMPDEST 00002605: SWAP5 00002606: POP 00002607: PUSH1 0x60 00002609: DUP9 0000260a: ADD 0000260b: CALLDATALOAD 0000260c: SWAP4 0000260d: POP 0000260e: PUSH2 0x2619 00002611: PUSH1 0x80 00002613: DUP10 00002614: ADD 00002615: PUSH2 0x24df 00002618: JUMP 00002619: JUMPDEST 0000261a: SWAP3 0000261b: POP 0000261c: PUSH1 0xa0 0000261e: DUP9 0000261f: ADD 00002620: CALLDATALOAD 00002621: PUSH8 0xffffffffffffffff 0000262a: DUP2 0000262b: GT 0000262c: ISZERO 0000262d: PUSH2 0x24c0 00002630: JUMPI 00002631: PUSH1 0x00 00002633: DUP1 00002634: REVERT 00002635: JUMPDEST 00002636: PUSH1 0x00 00002638: JUMPDEST 00002639: DUP4 0000263a: DUP2 0000263b: LT 0000263c: ISZERO 0000263d: PUSH2 0x2650 00002640: JUMPI 00002641: DUP2 00002642: DUP2 00002643: ADD 00002644: MLOAD 00002645: DUP4 00002646: DUP3 00002647: ADD 00002648: MSTORE 00002649: PUSH1 0x20 0000264b: ADD 0000264c: PUSH2 0x2638 0000264f: JUMP 00002650: JUMPDEST 00002651: DUP4 00002652: DUP2 00002653: GT 00002654: ISZERO 00002655: PUSH2 0x0486 00002658: JUMPI 00002659: POP 0000265a: POP 0000265b: PUSH1 0x00 0000265d: SWAP2 0000265e: ADD 0000265f: MSTORE 00002660: JUMP 00002661: JUMPDEST 00002662: PUSH1 0x00 00002664: DUP2 00002665: MLOAD 00002666: DUP1 00002667: DUP5 00002668: MSTORE 00002669: PUSH2 0x2679 0000266c: DUP2 0000266d: PUSH1 0x20 0000266f: DUP7 00002670: ADD 00002671: PUSH1 0x20 00002673: DUP7 00002674: ADD 00002675: PUSH2 0x2635 00002678: JUMP 00002679: JUMPDEST 0000267a: PUSH1 0x1f 0000267c: ADD 0000267d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000269e: AND 0000269f: SWAP3 000026a0: SWAP1 000026a1: SWAP3 000026a2: ADD 000026a3: PUSH1 0x20 000026a5: ADD 000026a6: SWAP3 000026a7: SWAP2 000026a8: POP 000026a9: POP 000026aa: JUMP 000026ab: JUMPDEST 000026ac: PUSH1 0x20 000026ae: DUP2 000026af: MSTORE 000026b0: PUSH1 0x00 000026b2: PUSH2 0x1cf3 000026b5: PUSH1 0x20 000026b7: DUP4 000026b8: ADD 000026b9: DUP5 000026ba: PUSH2 0x2661 000026bd: JUMP 000026be: JUMPDEST 000026bf: PUSH1 0x00 000026c1: DUP1 000026c2: PUSH1 0x00 000026c4: DUP1 000026c5: PUSH1 0x00 000026c7: DUP1 000026c8: PUSH1 0xa0 000026ca: DUP8 000026cb: DUP10 000026cc: SUB 000026cd: SLT 000026ce: ISZERO 000026cf: PUSH2 0x26d7 000026d2: JUMPI 000026d3: PUSH1 0x00 000026d5: DUP1 000026d6: REVERT 000026d7: JUMPDEST 000026d8: DUP7 000026d9: CALLDATALOAD 000026da: PUSH2 0x26e2 000026dd: DUP2 000026de: PUSH2 0x23d9 000026e1: JUMP 000026e2: JUMPDEST 000026e3: SWAP6 000026e4: POP 000026e5: PUSH1 0x20 000026e7: DUP8 000026e8: ADD 000026e9: CALLDATALOAD 000026ea: PUSH2 0x26f2 000026ed: DUP2 000026ee: PUSH2 0x23d9 000026f1: JUMP 000026f2: JUMPDEST 000026f3: SWAP5 000026f4: POP 000026f5: PUSH1 0x40 000026f7: DUP8 000026f8: ADD 000026f9: CALLDATALOAD 000026fa: SWAP4 000026fb: POP 000026fc: PUSH2 0x2707 000026ff: PUSH1 0x60 00002701: DUP9 00002702: ADD 00002703: PUSH2 0x24df 00002706: JUMP 00002707: JUMPDEST 00002708: SWAP3 00002709: POP 0000270a: PUSH1 0x80 0000270c: DUP8 0000270d: ADD 0000270e: CALLDATALOAD 0000270f: PUSH8 0xffffffffffffffff 00002718: DUP2 00002719: GT 0000271a: ISZERO 0000271b: PUSH2 0x2723 0000271e: JUMPI 0000271f: PUSH1 0x00 00002721: DUP1 00002722: REVERT 00002723: JUMPDEST 00002724: PUSH2 0x272f 00002727: DUP10 00002728: DUP3 00002729: DUP11 0000272a: ADD 0000272b: PUSH2 0x23fe 0000272e: JUMP 0000272f: JUMPDEST 00002730: SWAP8 00002731: SWAP11 00002732: SWAP7 00002733: SWAP10 00002734: POP 00002735: SWAP5 00002736: SWAP8 00002737: POP 00002738: SWAP3 00002739: SWAP6 0000273a: SWAP4 0000273b: SWAP5 0000273c: SWAP3 0000273d: POP 0000273e: POP 0000273f: POP 00002740: JUMP 00002741: JUMPDEST 00002742: PUSH1 0x00 00002744: DUP1 00002745: PUSH1 0x40 00002747: DUP4 00002748: DUP6 00002749: SUB 0000274a: SLT 0000274b: ISZERO 0000274c: PUSH2 0x2754 0000274f: JUMPI 00002750: PUSH1 0x00 00002752: DUP1 00002753: REVERT 00002754: JUMPDEST 00002755: DUP3 00002756: CALLDATALOAD 00002757: PUSH2 0x275f 0000275a: DUP2 0000275b: PUSH2 0x23d9 0000275e: JUMP 0000275f: JUMPDEST 00002760: SWAP2 00002761: POP 00002762: PUSH1 0x20 00002764: DUP4 00002765: ADD 00002766: CALLDATALOAD 00002767: PUSH2 0x276f 0000276a: DUP2 0000276b: PUSH2 0x23d9 0000276e: JUMP 0000276f: JUMPDEST 00002770: DUP1 00002771: SWAP2 00002772: POP 00002773: POP 00002774: SWAP3 00002775: POP 00002776: SWAP3 00002777: SWAP1 00002778: POP 00002779: JUMP 0000277a: JUMPDEST 0000277b: PUSH1 0x00 0000277d: DUP1 0000277e: PUSH1 0x00 00002780: DUP1 00002781: PUSH1 0x60 00002783: DUP6 00002784: DUP8 00002785: SUB 00002786: SLT 00002787: ISZERO 00002788: PUSH2 0x2790 0000278b: JUMPI 0000278c: PUSH1 0x00 0000278e: DUP1 0000278f: REVERT 00002790: JUMPDEST 00002791: DUP5 00002792: CALLDATALOAD 00002793: PUSH2 0x279b 00002796: DUP2 00002797: PUSH2 0x23d9 0000279a: JUMP 0000279b: JUMPDEST 0000279c: SWAP4 0000279d: POP 0000279e: PUSH2 0x27a9 000027a1: PUSH1 0x20 000027a3: DUP7 000027a4: ADD 000027a5: PUSH2 0x24df 000027a8: JUMP 000027a9: JUMPDEST 000027aa: SWAP3 000027ab: POP 000027ac: PUSH1 0x40 000027ae: DUP6 000027af: ADD 000027b0: CALLDATALOAD 000027b1: PUSH8 0xffffffffffffffff 000027ba: DUP2 000027bb: GT 000027bc: ISZERO 000027bd: PUSH2 0x27c5 000027c0: JUMPI 000027c1: PUSH1 0x00 000027c3: DUP1 000027c4: REVERT 000027c5: JUMPDEST 000027c6: PUSH2 0x27d1 000027c9: DUP8 000027ca: DUP3 000027cb: DUP9 000027cc: ADD 000027cd: PUSH2 0x23fe 000027d0: JUMP 000027d1: JUMPDEST 000027d2: SWAP6 000027d3: SWAP9 000027d4: SWAP5 000027d5: SWAP8 000027d6: POP 000027d7: SWAP6 000027d8: POP 000027d9: POP 000027da: POP 000027db: POP 000027dc: JUMP 000027dd: JUMPDEST 000027de: PUSH1 0x00 000027e0: PUSH1 0x20 000027e2: DUP3 000027e3: DUP5 000027e4: SUB 000027e5: SLT 000027e6: ISZERO 000027e7: PUSH2 0x27ef 000027ea: JUMPI 000027eb: PUSH1 0x00 000027ed: DUP1 000027ee: REVERT 000027ef: JUMPDEST 000027f0: DUP2 000027f1: MLOAD 000027f2: PUSH2 0x1cf3 000027f5: DUP2 000027f6: PUSH2 0x23d9 000027f9: JUMP 000027fa: JUMPDEST 000027fb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000281c: PUSH1 0x00 0000281e: MSTORE 0000281f: PUSH1 0x11 00002821: PUSH1 0x04 00002823: MSTORE 00002824: PUSH1 0x24 00002826: PUSH1 0x00 00002828: REVERT 00002829: JUMPDEST 0000282a: PUSH1 0x00 0000282c: DUP3 0000282d: DUP3 0000282e: LT 0000282f: ISZERO 00002830: PUSH2 0x283b 00002833: JUMPI 00002834: PUSH2 0x283b 00002837: PUSH2 0x27fa 0000283a: JUMP 0000283b: JUMPDEST 0000283c: POP 0000283d: SUB 0000283e: SWAP1 0000283f: JUMP 00002840: JUMPDEST 00002841: PUSH1 0x00 00002843: DUP5 00002844: MLOAD 00002845: PUSH2 0x2852 00002848: DUP2 00002849: DUP5 0000284a: PUSH1 0x20 0000284c: DUP10 0000284d: ADD 0000284e: PUSH2 0x2635 00002851: JUMP 00002852: JUMPDEST 00002853: DUP1 00002854: DUP4 00002855: ADD 00002856: SWAP1 00002857: POP 00002858: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00002879: DUP1 0000287a: DUP3 0000287b: MSTORE 0000287c: DUP6 0000287d: MLOAD 0000287e: PUSH2 0x288e 00002881: DUP2 00002882: PUSH1 0x01 00002884: DUP6 00002885: ADD 00002886: PUSH1 0x20 00002888: DUP11 00002889: ADD 0000288a: PUSH2 0x2635 0000288d: JUMP 0000288e: JUMPDEST 0000288f: PUSH1 0x01 00002891: SWAP3 00002892: ADD 00002893: SWAP2 00002894: DUP3 00002895: ADD 00002896: MSTORE 00002897: DUP4 00002898: MLOAD 00002899: PUSH2 0x28a9 0000289c: DUP2 0000289d: PUSH1 0x02 0000289f: DUP5 000028a0: ADD 000028a1: PUSH1 0x20 000028a3: DUP9 000028a4: ADD 000028a5: PUSH2 0x2635 000028a8: JUMP 000028a9: JUMPDEST 000028aa: ADD 000028ab: PUSH1 0x02 000028ad: ADD 000028ae: SWAP6 000028af: SWAP5 000028b0: POP 000028b1: POP 000028b2: POP 000028b3: POP 000028b4: POP 000028b5: JUMP 000028b6: JUMPDEST 000028b7: PUSH1 0x00 000028b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028ce: DUP1 000028cf: DUP8 000028d0: AND 000028d1: DUP4 000028d2: MSTORE 000028d3: DUP1 000028d4: DUP7 000028d5: AND 000028d6: PUSH1 0x20 000028d8: DUP5 000028d9: ADD 000028da: MSTORE 000028db: POP 000028dc: DUP4 000028dd: PUSH1 0x40 000028df: DUP4 000028e0: ADD 000028e1: MSTORE 000028e2: PUSH1 0x80 000028e4: PUSH1 0x60 000028e6: DUP4 000028e7: ADD 000028e8: MSTORE 000028e9: PUSH2 0x28f5 000028ec: PUSH1 0x80 000028ee: DUP4 000028ef: ADD 000028f0: DUP5 000028f1: PUSH2 0x2661 000028f4: JUMP 000028f5: JUMPDEST 000028f6: SWAP7 000028f7: SWAP6 000028f8: POP 000028f9: POP 000028fa: POP 000028fb: POP 000028fc: POP 000028fd: POP 000028fe: JUMP 000028ff: JUMPDEST 00002900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002915: DUP5 00002916: AND 00002917: DUP2 00002918: MSTORE 00002919: PUSH1 0x60 0000291b: PUSH1 0x20 0000291d: DUP3 0000291e: ADD 0000291f: MSTORE 00002920: PUSH1 0x00 00002922: PUSH2 0x292e 00002925: PUSH1 0x60 00002927: DUP4 00002928: ADD 00002929: DUP6 0000292a: PUSH2 0x2661 0000292d: JUMP 0000292e: JUMPDEST 0000292f: SWAP1 00002930: POP 00002931: PUSH4 0xffffffff 00002936: DUP4 00002937: AND 00002938: PUSH1 0x40 0000293a: DUP4 0000293b: ADD 0000293c: MSTORE 0000293d: SWAP5 0000293e: SWAP4 0000293f: POP 00002940: POP 00002941: POP 00002942: POP 00002943: JUMP 00002944: JUMPDEST 00002945: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000295a: DUP5 0000295b: AND 0000295c: DUP2 0000295d: MSTORE 0000295e: DUP3 0000295f: PUSH1 0x20 00002961: DUP3 00002962: ADD 00002963: MSTORE 00002964: PUSH1 0x60 00002966: PUSH1 0x40 00002968: DUP3 00002969: ADD 0000296a: MSTORE 0000296b: PUSH1 0x00 0000296d: PUSH2 0x2979 00002970: PUSH1 0x60 00002972: DUP4 00002973: ADD 00002974: DUP5 00002975: PUSH2 0x2661 00002978: JUMP 00002979: JUMPDEST 0000297a: SWAP6 0000297b: SWAP5 0000297c: POP 0000297d: POP 0000297e: POP 0000297f: POP 00002980: POP 00002981: JUMP 00002982: JUMPDEST 00002983: DUP3 00002984: DUP2 00002985: MSTORE 00002986: PUSH1 0x40 00002988: PUSH1 0x20 0000298a: DUP3 0000298b: ADD 0000298c: MSTORE 0000298d: PUSH1 0x00 0000298f: PUSH2 0x1c4d 00002992: PUSH1 0x40 00002994: DUP4 00002995: ADD 00002996: DUP5 00002997: PUSH2 0x2661 0000299a: JUMP 0000299b: JUMPDEST 0000299c: PUSH1 0x00 0000299e: DUP3 0000299f: NOT 000029a0: DUP3 000029a1: GT 000029a2: ISZERO 000029a3: PUSH2 0x29ae 000029a6: JUMPI 000029a7: PUSH2 0x29ae 000029aa: PUSH2 0x27fa 000029ad: JUMP 000029ae: JUMPDEST 000029af: POP 000029b0: ADD 000029b1: SWAP1 000029b2: JUMP 000029b3: JUMPDEST 000029b4: PUSH1 0x00 000029b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029cb: DUP1 000029cc: DUP10 000029cd: AND 000029ce: DUP4 000029cf: MSTORE 000029d0: DUP1 000029d1: DUP9 000029d2: AND 000029d3: PUSH1 0x20 000029d5: DUP5 000029d6: ADD 000029d7: MSTORE 000029d8: DUP1 000029d9: DUP8 000029da: AND 000029db: PUSH1 0x40 000029dd: DUP5 000029de: ADD 000029df: MSTORE 000029e0: DUP1 000029e1: DUP7 000029e2: AND 000029e3: PUSH1 0x60 000029e5: DUP5 000029e6: ADD 000029e7: MSTORE 000029e8: POP 000029e9: DUP4 000029ea: PUSH1 0x80 000029ec: DUP4 000029ed: ADD 000029ee: MSTORE 000029ef: PUSH1 0xc0 000029f1: PUSH1 0xa0 000029f3: DUP4 000029f4: ADD 000029f5: MSTORE 000029f6: PUSH2 0x2a02 000029f9: PUSH1 0xc0 000029fb: DUP4 000029fc: ADD 000029fd: DUP5 000029fe: PUSH2 0x2661 00002a01: JUMP 00002a02: JUMPDEST 00002a03: SWAP9 00002a04: SWAP8 00002a05: POP 00002a06: POP 00002a07: POP 00002a08: POP 00002a09: POP 00002a0a: POP 00002a0b: POP 00002a0c: POP 00002a0d: JUMP 00002a0e: JUMPDEST 00002a0f: PUSH1 0x00 00002a11: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002a32: DUP3 00002a33: SUB 00002a34: PUSH2 0x2a3f 00002a37: JUMPI 00002a38: PUSH2 0x2a3f 00002a3b: PUSH2 0x27fa 00002a3e: JUMP 00002a3f: JUMPDEST 00002a40: POP 00002a41: PUSH1 0x01 00002a43: ADD 00002a44: SWAP1 00002a45: JUMP 00002a46: JUMPDEST 00002a47: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002a68: PUSH1 0x00 00002a6a: MSTORE 00002a6b: PUSH1 0x12 00002a6d: PUSH1 0x04 00002a6f: MSTORE 00002a70: PUSH1 0x24 00002a72: PUSH1 0x00 00002a74: REVERT 00002a75: JUMPDEST 00002a76: PUSH1 0x00 00002a78: DUP3 00002a79: PUSH2 0x2a84 00002a7c: JUMPI 00002a7d: PUSH2 0x2a84 00002a80: PUSH2 0x2a46 00002a83: JUMP 00002a84: JUMPDEST 00002a85: POP 00002a86: DIV 00002a87: SWAP1 00002a88: JUMP 00002a89: JUMPDEST 00002a8a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002aab: PUSH1 0x00 00002aad: MSTORE 00002aae: PUSH1 0x41 00002ab0: PUSH1 0x04 00002ab2: MSTORE 00002ab3: PUSH1 0x24 00002ab5: PUSH1 0x00 00002ab7: REVERT 00002ab8: JUMPDEST 00002ab9: PUSH1 0x00 00002abb: DUP3 00002abc: PUSH2 0x2ac7 00002abf: JUMPI 00002ac0: PUSH2 0x2ac7 00002ac3: PUSH2 0x2a46 00002ac6: JUMP 00002ac7: JUMPDEST 00002ac8: POP 00002ac9: MOD 00002aca: SWAP1 00002acb: JUMP 00002acc: JUMPDEST 00002acd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002aee: PUSH1 0x00 00002af0: MSTORE 00002af1: PUSH1 0x32 00002af3: PUSH1 0x04 00002af5: MSTORE 00002af6: PUSH1 0x24 00002af8: PUSH1 0x00 00002afa: REVERT 00002afb: JUMPDEST 00002afc: PUSH1 0x00 00002afe: PUSH1 0x20 00002b00: DUP3 00002b01: DUP5 00002b02: SUB 00002b03: SLT 00002b04: ISZERO 00002b05: PUSH2 0x2b0d 00002b08: JUMPI 00002b09: PUSH1 0x00 00002b0b: DUP1 00002b0c: REVERT 00002b0d: JUMPDEST 00002b0e: DUP2 00002b0f: MLOAD 00002b10: DUP1 00002b11: ISZERO 00002b12: ISZERO 00002b13: DUP2 00002b14: EQ 00002b15: PUSH2 0x1cf3 00002b18: JUMPI 00002b19: PUSH1 0x00 00002b1b: DUP1 00002b1c: REVERT 00002b1d: JUMPDEST 00002b1e: PUSH1 0x00 00002b20: DUP3 00002b21: MLOAD 00002b22: PUSH2 0x2b2f 00002b25: DUP2 00002b26: DUP5 00002b27: PUSH1 0x20 00002b29: DUP8 00002b2a: ADD 00002b2b: PUSH2 0x2635 00002b2e: JUMP 00002b2f: JUMPDEST 00002b30: SWAP2 00002b31: SWAP1 00002b32: SWAP2 00002b33: ADD 00002b34: SWAP3 00002b35: SWAP2 00002b36: POP 00002b37: POP 00002b38: JUMP 00002b39: INVALID 00002b3a: LOG1 00002b3b: PUSH5 0x736f6c6343 00002b41: STOP 00002b42: ADDMOD 00002b43: UNKNOWN(0x0F) 00002b44: STOP 00002b45: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5be2d18038d7fae4183ff09f2b5a6c8e8149a60ba906bdfd58315c6484abc7d9
call_targets:
0x62b257a1b1fc81c4e6e5dc5b47f1e6184341cd58
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5be2d18038d7fae4183ff09f2b5a6c8e8149a60ba906bdfd58315c6484abc7d9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x62b257a1b1fc81c4e6e5dc5b47f1e6184341cd58"
],
"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": "0xa9f9e675",
"selector": "0xa9f9e675",
"calldata_variants": [
"0xa9f9e675",
"0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1a1a882",
"selector": "0xb1a1a882",
"calldata_variants": [
"0xb1a1a882",
"0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x838b2520",
"selector": "0x838b2520",
"calldata_variants": [
"0x838b2520",
"0x838b25200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87087623",
"selector": "0x87087623",
"calldata_variants": [
"0x87087623",
"0x870876230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f601f66",
"selector": "0x8f601f66",
"calldata_variants": [
"0x8f601f66",
"0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1945,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5187,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6087,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 1165,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2414,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5be2d18038d7fae4183ff09f2b5a6c8e8149a60ba906bdfd58315c6484abc7d9
call_targets:
0x62b257a1b1fc81c4e6e5dc5b47f1e6184341cd58
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5be2d18038d7fae4183ff09f2b5a6c8e8149a60ba906bdfd58315c6484abc7d9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x62b257a1b1fc81c4e6e5dc5b47f1e6184341cd58"
],
"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": "0xa9f9e675",
"selector": "0xa9f9e675",
"calldata_variants": [
"0xa9f9e675",
"0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1a1a882",
"selector": "0xb1a1a882",
"calldata_variants": [
"0xb1a1a882",
"0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x838b2520",
"selector": "0x838b2520",
"calldata_variants": [
"0x838b2520",
"0x838b25200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87087623",
"selector": "0x87087623",
"calldata_variants": [
"0x87087623",
"0x870876230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f601f66",
"selector": "0x8f601f66",
"calldata_variants": [
"0x8f601f66",
"0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1945,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5187,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6087,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 1165,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2414,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 10
}
|