019ba9bd-549f-7141-8c3a-2e0576b9f7b0
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 |
|---|---|---|---|---|
| 37922 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37923 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37924 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37925 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37926 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37927 | detector.run | complete | 1 / 3 | 3 months ago |
| 37928 | validation.fork | complete | 1 / 3 | 3 months ago |
| 38153 | report.consolidate | complete | 1 / 6 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
{"no_findings":true,"summary":"Reviewed DAO and permission framework contracts; no exploitable issues found in the requested focus areas given the current access-control design.","findings":[]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-gwchrkhu
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019baa2f-f701-7852-9bc3-4f8845798ecc
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.
Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers
thinking
**Preparing to review AUDIT_BUNDLE**
exec
/bin/bash -lc ls in /tmp/codex-gwchrkhu succeeded in 8ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
@openzeppelin
src
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-gwchrkhu succeeded in 5ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.
================================================================================
FILE: src/core/dao/DAO.sol
================================================================================
// SPDX-License-Identifier: AGPL-3.0-or-later
pragma solidity 0.8.17;
import "@openzeppelin/contracts-upgradeable/utils/introspection/ERC165StorageUpgradeable.sol";
import "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
import "@openzeppelin/contracts-upgradeable/proxy/utils/UUPSUpgradeable.sol";
import "@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
import "@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol";
import "@openzeppelin/contracts-upgradeable/token/ERC721/IERC721ReceiverUpgradeable.sol";
import "@openzeppelin/contracts-upgradeable/token/ERC1155/IERC1155Upgradeable.sol";
import "@openzeppelin/contracts-upgradeable/token/ERC1155/IERC1155ReceiverUpgradeable.sol";
import "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol";
import "@openzeppelin/contracts/interfaces/IERC1271.sol";
thinking
**Planning full AUDIT_BUNDLE review**
exec
/bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-gwchrkhu succeeded in 11ms:
5:FILE: src/core/dao/DAO.sol
432:FILE: src/core/dao/IDAO.sol
574:FILE: src/core/dao/IEIP4824.sol
590:FILE: src/core/permission/IPermissionCondition.sol
616:FILE: src/core/permission/PermissionCondition.sol
641:FILE: src/core/permission/PermissionLib.sol
690:FILE: src/core/permission/PermissionManager.sol
1097:FILE: src/core/utils/BitMap.sol
1119:FILE: src/core/utils/CallbackHandler.sol
1178:FILE: src/utils/protocol/IProtocolVersion.sol
1194:FILE: src/utils/protocol/ProtocolVersion.sol
thinking
**Reviewing IDAO file segment**
exec
/bin/bash -lc "sed -n '432,574p' AUDIT_BUNDLE.txt" in /tmp/codex-gwchrkhu succeeded in 16ms:
FILE: src/core/dao/IDAO.sol
================================================================================
// SPDX-License-Identifier: AGPL-3.0-or-later
pragma solidity ^0.8.8;
/// @title IDAO
/// @author Aragon Association - 2022-2023
/// @notice The interface required for DAOs within the Aragon App DAO framework.
interface IDAO {
/// @notice The action struct to be consumed by the DAO's `execute` function resulting in an external call.
/// @param to The address to call.
/// @param value The native token value to be sent with the call.
/// @param data The bytes-encoded function selector and calldata for the call.
struct Action {
address to;
uint256 value;
bytes data;
}
exec
/bin/bash -lc "sed -n '574,690p' AUDIT_BUNDLE.txt" in /tmp/codex-gwchrkhu succeeded in 6ms:
FILE: src/core/dao/IEIP4824.sol
================================================================================
// SPDX-License-Identifier: AGPL-3.0-or-later
pragma solidity 0.8.17;
/// @title EIP-4824 Common Interfaces for DAOs
/// @dev See https://eips.ethereum.org/EIPS/eip-4824
/// @author Aragon Association - 2021-2023
interface IEIP4824 {
/// @notice A distinct Uniform Resource Identifier (URI) pointing to a JSON object following the "EIP-4824 DAO JSON-LD Schema". This JSON file splits into four URIs: membersURI, proposalsURI, activityLogURI, and governanceURI. The membersURI should point to a JSON file that conforms to the "EIP-4824 Members JSON-LD Schema". The proposalsURI should point to a JSON file that conforms to the "EIP-4824 Proposals JSON-LD Schema". The activityLogURI should point to a JSON file that conforms to the "EIP-4824 Activity Log JSON-LD Schema". The governanceURI should point to a flatfile, normatively a .md file. Each of the JSON files named above can be statically hosted or dynamically-generated.
/// @return _daoURI The DAO URI.
function daoURI() external view returns (string memory _daoURI);
}
================================================================================
FILE: src/core/permission/IPermissionCondition.sol
================================================================================
// SPDX-License-Identifier: AGPL-3.0-or-later
exec
/bin/bash -lc "sed -n '690,1097p' AUDIT_BUNDLE.txt" in /tmp/codex-gwchrkhu succeeded in 10ms:
FILE: src/core/permission/PermissionManager.sol
================================================================================
// SPDX-License-Identifier: AGPL-3.0-or-later
pragma solidity ^0.8.8;
import "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
import "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol";
import {IPermissionCondition} from "./IPermissionCondition.sol";
import {PermissionCondition} from "./PermissionCondition.sol";
import "./PermissionLib.sol";
/// @title PermissionManager
/// @author Aragon Association - 2021-2023
/// @notice The abstract permission manager used in a DAO, its associated plugins, and other framework-related components.
abstract contract PermissionManager is Initializable {
using AddressUpgradeable for address;
/// @notice The ID of the permission required to call the `grant`, `grantWithCondition`, `revoke`, and `bulk` function.
thinking
**Analyzing DAO and PermissionManager Security**
thinking
**Summarizing security assessment findings**
I've carefully reviewed the DAO and PermissionManager code and their patterns around external calls, permission checks, upgradeability, and signature validation. After thorough analysis, no critical vulnerabilities stand out; the main risks seem related to governance misconfigurations or dependencies rather than exploitable code flaws. I'll proceed with a concise security summary reflecting these observations.
codex
{"no_findings":true,"summary":"Reviewed DAO and permission framework contracts; no exploitable issues found in the requested focus areas given the current access-control design.","findings":[]}
tokens used
27,528
{
"codex": {
"ran_at": "2026-01-10T23:15:39.079447+00:00",
"returncode": 0
},
"project": {
"mode": "source",
"file_count": 30,
"import_count": 37,
"first_party_contracts_count": 11
},
"summary": "Reviewed DAO and permission framework contracts; no exploitable issues found in the requested focus areas given the current access-control design.",
"raw_final": {
"summary": "Reviewed DAO and permission framework contracts; no exploitable issues found in the requested focus areas given the current access-control design.",
"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 0x01e7 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7034731b 00000019: GT 0000001a: PUSH2 0x0102 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd96054c4 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe978afe5 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe978afe5 0000003a: EQ 0000003b: PUSH2 0x070a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xeafb8b06 00000045: EQ 00000046: PUSH2 0x072a 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xee57e36f 00000050: EQ 00000051: PUSH2 0x074a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfdef9106 0000005b: EQ 0000005c: PUSH2 0x076a 0000005f: JUMPI 00000060: PUSH2 0x0226 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xd96054c4 0000006b: EQ 0000006c: PUSH2 0x0662 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xda742228 00000076: EQ 00000077: PUSH2 0x0682 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe2e35563 00000081: EQ 00000082: PUSH2 0x06a2 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe306bee7 0000008c: EQ 0000008d: PUSH2 0x06d6 00000090: JUMPI 00000091: PUSH2 0x0226 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xc71bf324 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xc71bf324 000000a7: EQ 000000a8: PUSH2 0x05d5 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xc9dbc2a4 000000b2: EQ 000000b3: PUSH2 0x0603 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xce1b815f 000000bd: EQ 000000be: PUSH2 0x0623 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xd68bad2c 000000c8: EQ 000000c9: PUSH2 0x0642 000000cc: JUMPI 000000cd: PUSH2 0x0226 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x7034731b 000000d8: EQ 000000d9: PUSH2 0x054c 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x829331a1 000000e3: EQ 000000e4: PUSH2 0x056e 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0xbfe07da6 000000ee: EQ 000000ef: PUSH2 0x05a2 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0xc4a50145 000000f9: EQ 000000fa: PUSH2 0x05b5 000000fd: JUMPI 000000fe: PUSH2 0x0226 00000101: JUMP 00000102: JUMPDEST 00000103: DUP1 00000104: PUSH4 0x26875b1f 00000109: GT 0000010a: PUSH2 0x017a 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x3e2ab0d9 00000114: GT 00000115: PUSH2 0x0149 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x3e2ab0d9 0000011f: EQ 00000120: PUSH2 0x04e4 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x42d8e99e 0000012a: EQ 0000012b: PUSH2 0x0504 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x4f1ef286 00000135: EQ 00000136: PUSH2 0x0524 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x52d1902d 00000140: EQ 00000141: PUSH2 0x0537 00000144: JUMPI 00000145: PUSH2 0x0226 00000148: JUMP 00000149: JUMPDEST 0000014a: DUP1 0000014b: PUSH4 0x26875b1f 00000150: EQ 00000151: PUSH2 0x0435 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x2ae9c600 0000015b: EQ 0000015c: PUSH2 0x0469 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x3659cfe6 00000166: EQ 00000167: PUSH2 0x048b 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x388da934 00000171: EQ 00000172: PUSH2 0x04ab 00000175: JUMPI 00000176: PUSH2 0x0226 00000179: JUMP 0000017a: JUMPDEST 0000017b: DUP1 0000017c: PUSH4 0x1626ba7e 00000181: GT 00000182: PUSH2 0x01b6 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x1626ba7e 0000018c: EQ 0000018d: PUSH2 0x0388 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x22844d04 00000197: EQ 00000198: PUSH2 0x03c1 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x24b4d73f 000001a2: EQ 000001a3: PUSH2 0x03e1 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x2675fdd0 000001ad: EQ 000001ae: PUSH2 0x0415 000001b1: JUMPI 000001b2: PUSH2 0x0226 000001b5: JUMP 000001b6: JUMPDEST 000001b7: DUP1 000001b8: PUSH4 0x01ffc9a7 000001bd: EQ 000001be: PUSH2 0x02bb 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x0729d054 000001c8: EQ 000001c9: PUSH2 0x02f0 000001cc: JUMPI 000001cd: DUP1 000001ce: PUSH4 0x09e56b14 000001d3: EQ 000001d4: PUSH2 0x0332 000001d7: JUMPI 000001d8: DUP1 000001d9: PUSH4 0x1080f99b 000001de: EQ 000001df: PUSH2 0x0366 000001e2: JUMPI 000001e3: PUSH2 0x0226 000001e6: JUMP 000001e7: JUMPDEST 000001e8: CALLDATASIZE 000001e9: PUSH2 0x0226 000001ec: JUMPI 000001ed: PUSH1 0x40 000001ef: DUP1 000001f0: MLOAD 000001f1: CALLER 000001f2: DUP2 000001f3: MSTORE 000001f4: CALLVALUE 000001f5: PUSH1 0x20 000001f7: DUP3 000001f8: ADD 000001f9: MSTORE 000001fa: PUSH32 0x62c2c8e34665db7c56b2cabd7f5fb9702ccd352ffa8150147e450797e9f8e8f3 0000021b: SWAP2 0000021c: ADD 0000021d: PUSH1 0x40 0000021f: MLOAD 00000220: DUP1 00000221: SWAP2 00000222: SUB 00000223: SWAP1 00000224: LOG1 00000225: STOP 00000226: JUMPDEST 00000227: CALLVALUE 00000228: DUP1 00000229: ISZERO 0000022a: PUSH2 0x0232 0000022d: JUMPI 0000022e: PUSH1 0x00 00000230: DUP1 00000231: REVERT 00000232: JUMPDEST 00000233: POP 00000234: PUSH1 0x00 00000236: CALLDATASIZE 00000237: PUSH1 0x60 00000239: PUSH1 0x00 0000023b: PUSH2 0x0286 0000023e: PUSH1 0x00 00000240: CALLDATALOAD 00000241: PUSH1 0x01 00000243: PUSH1 0x01 00000245: PUSH1 0xe0 00000247: SHL 00000248: SUB 00000249: NOT 0000024a: AND 0000024b: DUP6 0000024c: DUP6 0000024d: DUP1 0000024e: DUP1 0000024f: PUSH1 0x1f 00000251: ADD 00000252: PUSH1 0x20 00000254: DUP1 00000255: SWAP2 00000256: DIV 00000257: MUL 00000258: PUSH1 0x20 0000025a: ADD 0000025b: PUSH1 0x40 0000025d: MLOAD 0000025e: SWAP1 0000025f: DUP2 00000260: ADD 00000261: PUSH1 0x40 00000263: MSTORE 00000264: DUP1 00000265: SWAP4 00000266: SWAP3 00000267: SWAP2 00000268: SWAP1 00000269: DUP2 0000026a: DUP2 0000026b: MSTORE 0000026c: PUSH1 0x20 0000026e: ADD 0000026f: DUP4 00000270: DUP4 00000271: DUP1 00000272: DUP3 00000273: DUP5 00000274: CALLDATACOPY 00000275: PUSH1 0x00 00000277: SWAP3 00000278: ADD 00000279: SWAP2 0000027a: SWAP1 0000027b: SWAP2 0000027c: MSTORE 0000027d: POP 0000027e: PUSH2 0x078a 00000281: SWAP3 00000282: POP 00000283: POP 00000284: POP 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH1 0x40 00000289: DUP1 0000028a: MLOAD 0000028b: PUSH1 0x01 0000028d: PUSH1 0x01 0000028f: PUSH1 0xe0 00000291: SHL 00000292: SUB 00000293: NOT 00000294: DUP4 00000295: AND 00000296: PUSH1 0x20 00000298: DUP3 00000299: ADD 0000029a: MSTORE 0000029b: SWAP2 0000029c: SWAP3 0000029d: POP 0000029e: ADD 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: PUSH1 0x20 000002a4: DUP2 000002a5: DUP4 000002a6: SUB 000002a7: SUB 000002a8: DUP2 000002a9: MSTORE 000002aa: SWAP1 000002ab: PUSH1 0x40 000002ad: MSTORE 000002ae: SWAP2 000002af: POP 000002b0: POP 000002b1: SWAP2 000002b2: POP 000002b3: POP 000002b4: DUP1 000002b5: MLOAD 000002b6: SWAP1 000002b7: PUSH1 0x20 000002b9: ADD 000002ba: RETURN 000002bb: JUMPDEST 000002bc: CALLVALUE 000002bd: DUP1 000002be: ISZERO 000002bf: PUSH2 0x02c7 000002c2: JUMPI 000002c3: PUSH1 0x00 000002c5: DUP1 000002c6: REVERT 000002c7: JUMPDEST 000002c8: POP 000002c9: PUSH2 0x02db 000002cc: PUSH2 0x02d6 000002cf: CALLDATASIZE 000002d0: PUSH1 0x04 000002d2: PUSH2 0x2e28 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH2 0x0861 000002da: JUMP 000002db: JUMPDEST 000002dc: PUSH1 0x40 000002de: MLOAD 000002df: SWAP1 000002e0: ISZERO 000002e1: ISZERO 000002e2: DUP2 000002e3: MSTORE 000002e4: PUSH1 0x20 000002e6: ADD 000002e7: JUMPDEST 000002e8: PUSH1 0x40 000002ea: MLOAD 000002eb: DUP1 000002ec: SWAP2 000002ed: SUB 000002ee: SWAP1 000002ef: RETURN 000002f0: JUMPDEST 000002f1: CALLVALUE 000002f2: DUP1 000002f3: ISZERO 000002f4: PUSH2 0x02fc 000002f7: JUMPI 000002f8: PUSH1 0x00 000002fa: DUP1 000002fb: REVERT 000002fc: JUMPDEST 000002fd: POP 000002fe: PUSH2 0x0324 00000301: PUSH32 0xbf04b4486c9663d805744005c3da000eda93de6e3308a4a7a812eb565327b78d 00000322: DUP2 00000323: JUMP 00000324: JUMPDEST 00000325: PUSH1 0x40 00000327: MLOAD 00000328: SWAP1 00000329: DUP2 0000032a: MSTORE 0000032b: PUSH1 0x20 0000032d: ADD 0000032e: PUSH2 0x02e7 00000331: JUMP 00000332: JUMPDEST 00000333: CALLVALUE 00000334: DUP1 00000335: ISZERO 00000336: PUSH2 0x033e 00000339: JUMPI 0000033a: PUSH1 0x00 0000033c: DUP1 0000033d: REVERT 0000033e: JUMPDEST 0000033f: POP 00000340: PUSH2 0x0324 00000343: PUSH32 0x815fe80e4b37c8582a3b773d1d7071f983eacfd56b5965db654f3087c25ada33 00000364: DUP2 00000365: JUMP 00000366: JUMPDEST 00000367: CALLVALUE 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0372 0000036d: JUMPI 0000036e: PUSH1 0x00 00000370: DUP1 00000371: REVERT 00000372: JUMPDEST 00000373: POP 00000374: PUSH2 0x0386 00000377: PUSH2 0x0381 0000037a: CALLDATASIZE 0000037b: PUSH1 0x04 0000037d: PUSH2 0x2e8e 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH2 0x08b6 00000385: JUMP 00000386: JUMPDEST 00000387: STOP 00000388: JUMPDEST 00000389: CALLVALUE 0000038a: DUP1 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: PUSH1 0x00 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: POP 00000396: PUSH2 0x03a8 00000399: PUSH2 0x03a3 0000039c: CALLDATASIZE 0000039d: PUSH1 0x04 0000039f: PUSH2 0x2f73 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH2 0x08ef 000003a7: JUMP 000003a8: JUMPDEST 000003a9: PUSH1 0x40 000003ab: MLOAD 000003ac: PUSH1 0x01 000003ae: PUSH1 0x01 000003b0: PUSH1 0xe0 000003b2: SHL 000003b3: SUB 000003b4: NOT 000003b5: SWAP1 000003b6: SWAP2 000003b7: AND 000003b8: DUP2 000003b9: MSTORE 000003ba: PUSH1 0x20 000003bc: ADD 000003bd: PUSH2 0x02e7 000003c0: JUMP 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x0386 000003d2: PUSH2 0x03dc 000003d5: CALLDATASIZE 000003d6: PUSH1 0x04 000003d8: PUSH2 0x2fcf 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x099f 000003e0: JUMP 000003e1: JUMPDEST 000003e2: CALLVALUE 000003e3: DUP1 000003e4: ISZERO 000003e5: PUSH2 0x03ed 000003e8: JUMPI 000003e9: PUSH1 0x00 000003eb: DUP1 000003ec: REVERT 000003ed: JUMPDEST 000003ee: POP 000003ef: PUSH2 0x0324 000003f2: PUSH32 0x1f53edd44352e5d15bad2b29233baa93bcd595e09457780bc7c5445bbbe751cc 00000413: DUP2 00000414: JUMP 00000415: JUMPDEST 00000416: CALLVALUE 00000417: DUP1 00000418: ISZERO 00000419: PUSH2 0x0421 0000041c: JUMPI 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: REVERT 00000421: JUMPDEST 00000422: POP 00000423: PUSH2 0x02db 00000426: PUSH2 0x0430 00000429: CALLDATASIZE 0000042a: PUSH1 0x04 0000042c: PUSH2 0x3057 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH2 0x0abb 00000434: JUMP 00000435: JUMPDEST 00000436: CALLVALUE 00000437: DUP1 00000438: ISZERO 00000439: PUSH2 0x0441 0000043c: JUMPI 0000043d: PUSH1 0x00 0000043f: DUP1 00000440: REVERT 00000441: JUMPDEST 00000442: POP 00000443: PUSH2 0x0324 00000446: PUSH32 0xfaf505be9907aa6951c2ebe5b0312f4980e14f21912ed355372103cc8bd683bc 00000467: DUP2 00000468: JUMP 00000469: JUMPDEST 0000046a: CALLVALUE 0000046b: DUP1 0000046c: ISZERO 0000046d: PUSH2 0x0475 00000470: JUMPI 00000471: PUSH1 0x00 00000473: DUP1 00000474: REVERT 00000475: JUMPDEST 00000476: POP 00000477: PUSH2 0x047e 0000047a: PUSH2 0x0b06 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH1 0x40 00000481: MLOAD 00000482: PUSH2 0x02e7 00000485: SWAP2 00000486: SWAP1 00000487: PUSH2 0x30c3 0000048a: JUMP 0000048b: JUMPDEST 0000048c: CALLVALUE 0000048d: DUP1 0000048e: ISZERO 0000048f: PUSH2 0x0497 00000492: JUMPI 00000493: PUSH1 0x00 00000495: DUP1 00000496: REVERT 00000497: JUMPDEST 00000498: POP 00000499: PUSH2 0x0386 0000049c: PUSH2 0x04a6 0000049f: CALLDATASIZE 000004a0: PUSH1 0x04 000004a2: PUSH2 0x30f7 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH2 0x0b30 000004aa: JUMP 000004ab: JUMPDEST 000004ac: CALLVALUE 000004ad: DUP1 000004ae: ISZERO 000004af: PUSH2 0x04b7 000004b2: JUMPI 000004b3: PUSH1 0x00 000004b5: DUP1 000004b6: REVERT 000004b7: JUMPDEST 000004b8: POP 000004b9: PUSH2 0x012d 000004bc: SLOAD 000004bd: PUSH2 0x04cc 000004c0: SWAP1 000004c1: PUSH1 0x01 000004c3: PUSH1 0x01 000004c5: PUSH1 0xa0 000004c7: SHL 000004c8: SUB 000004c9: AND 000004ca: DUP2 000004cb: JUMP 000004cc: JUMPDEST 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: PUSH1 0x01 000004d2: PUSH1 0x01 000004d4: PUSH1 0xa0 000004d6: SHL 000004d7: SUB 000004d8: SWAP1 000004d9: SWAP2 000004da: AND 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH1 0x20 000004df: ADD 000004e0: PUSH2 0x02e7 000004e3: JUMP 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: DUP1 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH2 0x0386 000004f5: PUSH2 0x04ff 000004f8: CALLDATASIZE 000004f9: PUSH1 0x04 000004fb: PUSH2 0x30f7 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH2 0x0ccd 00000503: JUMP 00000504: JUMPDEST 00000505: CALLVALUE 00000506: DUP1 00000507: ISZERO 00000508: PUSH2 0x0510 0000050b: JUMPI 0000050c: PUSH1 0x00 0000050e: DUP1 0000050f: REVERT 00000510: JUMPDEST 00000511: POP 00000512: PUSH2 0x0386 00000515: PUSH2 0x051f 00000518: CALLDATASIZE 00000519: PUSH1 0x04 0000051b: PUSH2 0x3114 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH2 0x0d5b 00000523: JUMP 00000524: JUMPDEST 00000525: PUSH2 0x0386 00000528: PUSH2 0x0532 0000052b: CALLDATASIZE 0000052c: PUSH1 0x04 0000052e: PUSH2 0x316c 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH2 0x0edf 00000536: JUMP 00000537: JUMPDEST 00000538: CALLVALUE 00000539: DUP1 0000053a: ISZERO 0000053b: PUSH2 0x0543 0000053e: JUMPI 0000053f: PUSH1 0x00 00000541: DUP1 00000542: REVERT 00000543: JUMPDEST 00000544: POP 00000545: PUSH2 0x0324 00000548: PUSH2 0x106d 0000054b: JUMP 0000054c: JUMPDEST 0000054d: CALLVALUE 0000054e: DUP1 0000054f: ISZERO 00000550: PUSH2 0x0558 00000553: JUMPI 00000554: PUSH1 0x00 00000556: DUP1 00000557: REVERT 00000558: JUMPDEST 00000559: POP 0000055a: PUSH2 0x0561 0000055d: PUSH2 0x1132 00000560: JUMP 00000561: JUMPDEST 00000562: PUSH1 0x40 00000564: MLOAD 00000565: PUSH2 0x02e7 00000568: SWAP2 00000569: SWAP1 0000056a: PUSH2 0x31f6 0000056d: JUMP 0000056e: JUMPDEST 0000056f: CALLVALUE 00000570: DUP1 00000571: ISZERO 00000572: PUSH2 0x057a 00000575: JUMPI 00000576: PUSH1 0x00 00000578: DUP1 00000579: REVERT 0000057a: JUMPDEST 0000057b: POP 0000057c: PUSH2 0x0324 0000057f: PUSH32 0x06d294bc8cbad2e393408b20dd019a772661f60b8d633e56761157cb1ec85f8c 000005a0: DUP2 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH2 0x0386 000005a6: PUSH2 0x05b0 000005a9: CALLDATASIZE 000005aa: PUSH1 0x04 000005ac: PUSH2 0x3209 000005af: JUMP 000005b0: JUMPDEST 000005b1: PUSH2 0x11c5 000005b4: JUMP 000005b5: JUMPDEST 000005b6: CALLVALUE 000005b7: DUP1 000005b8: ISZERO 000005b9: PUSH2 0x05c1 000005bc: JUMPI 000005bd: PUSH1 0x00 000005bf: DUP1 000005c0: REVERT 000005c1: JUMPDEST 000005c2: POP 000005c3: PUSH2 0x0386 000005c6: PUSH2 0x05d0 000005c9: CALLDATASIZE 000005ca: PUSH1 0x04 000005cc: PUSH2 0x3265 000005cf: JUMP 000005d0: JUMPDEST 000005d1: PUSH2 0x12ff 000005d4: JUMP 000005d5: JUMPDEST 000005d6: CALLVALUE 000005d7: DUP1 000005d8: ISZERO 000005d9: PUSH2 0x05e1 000005dc: JUMPI 000005dd: PUSH1 0x00 000005df: DUP1 000005e0: REVERT 000005e1: JUMPDEST 000005e2: POP 000005e3: PUSH2 0x05f5 000005e6: PUSH2 0x05f0 000005e9: CALLDATASIZE 000005ea: PUSH1 0x04 000005ec: PUSH2 0x32b0 000005ef: JUMP 000005f0: JUMPDEST 000005f1: PUSH2 0x13a9 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x40 000005f8: MLOAD 000005f9: PUSH2 0x02e7 000005fc: SWAP3 000005fd: SWAP2 000005fe: SWAP1 000005ff: PUSH2 0x338d 00000602: JUMP 00000603: JUMPDEST 00000604: CALLVALUE 00000605: DUP1 00000606: ISZERO 00000607: PUSH2 0x060f 0000060a: JUMPI 0000060b: PUSH1 0x00 0000060d: DUP1 0000060e: REVERT 0000060f: JUMPDEST 00000610: POP 00000611: PUSH2 0x0386 00000614: PUSH2 0x061e 00000617: CALLDATASIZE 00000618: PUSH1 0x04 0000061a: PUSH2 0x33af 0000061d: JUMP 0000061e: JUMPDEST 0000061f: PUSH2 0x16cf 00000622: JUMP 00000623: JUMPDEST 00000624: CALLVALUE 00000625: DUP1 00000626: ISZERO 00000627: PUSH2 0x062f 0000062a: JUMPI 0000062b: PUSH1 0x00 0000062d: DUP1 0000062e: REVERT 0000062f: JUMPDEST 00000630: POP 00000631: PUSH2 0x012e 00000634: SLOAD 00000635: PUSH1 0x01 00000637: PUSH1 0x01 00000639: PUSH1 0xa0 0000063b: SHL 0000063c: SUB 0000063d: AND 0000063e: PUSH2 0x04cc 00000641: JUMP 00000642: JUMPDEST 00000643: CALLVALUE 00000644: DUP1 00000645: ISZERO 00000646: PUSH2 0x064e 00000649: JUMPI 0000064a: PUSH1 0x00 0000064c: DUP1 0000064d: REVERT 0000064e: JUMPDEST 0000064f: POP 00000650: PUSH2 0x0386 00000653: PUSH2 0x065d 00000656: CALLDATASIZE 00000657: PUSH1 0x04 00000659: PUSH2 0x3402 0000065c: JUMP 0000065d: JUMPDEST 0000065e: PUSH2 0x1705 00000661: JUMP 00000662: JUMPDEST 00000663: CALLVALUE 00000664: DUP1 00000665: ISZERO 00000666: PUSH2 0x066e 00000669: JUMPI 0000066a: PUSH1 0x00 0000066c: DUP1 0000066d: REVERT 0000066e: JUMPDEST 0000066f: POP 00000670: PUSH2 0x0386 00000673: PUSH2 0x067d 00000676: CALLDATASIZE 00000677: PUSH1 0x04 00000679: PUSH2 0x3402 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH2 0x1740 00000681: JUMP 00000682: JUMPDEST 00000683: CALLVALUE 00000684: DUP1 00000685: ISZERO 00000686: PUSH2 0x068e 00000689: JUMPI 0000068a: PUSH1 0x00 0000068c: DUP1 0000068d: REVERT 0000068e: JUMPDEST 0000068f: POP 00000690: PUSH2 0x0386 00000693: PUSH2 0x069d 00000696: CALLDATASIZE 00000697: PUSH1 0x04 00000699: PUSH2 0x30f7 0000069c: JUMP 0000069d: JUMPDEST 0000069e: PUSH2 0x1775 000006a1: JUMP 000006a2: JUMPDEST 000006a3: CALLVALUE 000006a4: DUP1 000006a5: ISZERO 000006a6: PUSH2 0x06ae 000006a9: JUMPI 000006aa: PUSH1 0x00 000006ac: DUP1 000006ad: REVERT 000006ae: JUMPDEST 000006af: POP 000006b0: PUSH2 0x0324 000006b3: PUSH32 0x0dcbfb19b09fb8ff4e9af583d4b8e9c8127cc1b26529b4d96dd3b7e778088372 000006d4: DUP2 000006d5: JUMP 000006d6: JUMPDEST 000006d7: CALLVALUE 000006d8: DUP1 000006d9: ISZERO 000006da: PUSH2 0x06e2 000006dd: JUMPI 000006de: PUSH1 0x00 000006e0: DUP1 000006e1: REVERT 000006e2: JUMPDEST 000006e3: POP 000006e4: PUSH2 0x0324 000006e7: PUSH32 0x4707e94b25cfce1a7c363508fbb838c35864388ad77284b248282b9746982b9b 00000708: DUP2 00000709: JUMP 0000070a: JUMPDEST 0000070b: CALLVALUE 0000070c: DUP1 0000070d: ISZERO 0000070e: PUSH2 0x0716 00000711: JUMPI 00000712: PUSH1 0x00 00000714: DUP1 00000715: REVERT 00000716: JUMPDEST 00000717: POP 00000718: PUSH2 0x0386 0000071b: PUSH2 0x0725 0000071e: CALLDATASIZE 0000071f: PUSH1 0x04 00000721: PUSH2 0x3443 00000724: JUMP 00000725: JUMPDEST 00000726: PUSH2 0x17a8 00000729: JUMP 0000072a: JUMPDEST 0000072b: CALLVALUE 0000072c: DUP1 0000072d: ISZERO 0000072e: PUSH2 0x0736 00000731: JUMPI 00000732: PUSH1 0x00 00000734: DUP1 00000735: REVERT 00000736: JUMPDEST 00000737: POP 00000738: PUSH2 0x0386 0000073b: PUSH2 0x0745 0000073e: CALLDATASIZE 0000073f: PUSH1 0x04 00000741: PUSH2 0x34b8 00000744: JUMP 00000745: JUMPDEST 00000746: PUSH2 0x18af 00000749: JUMP 0000074a: JUMPDEST 0000074b: CALLVALUE 0000074c: DUP1 0000074d: ISZERO 0000074e: PUSH2 0x0756 00000751: JUMPI 00000752: PUSH1 0x00 00000754: DUP1 00000755: REVERT 00000756: JUMPDEST 00000757: POP 00000758: PUSH2 0x0386 0000075b: PUSH2 0x0765 0000075e: CALLDATASIZE 0000075f: PUSH1 0x04 00000761: PUSH2 0x2e8e 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH2 0x1a79 00000769: JUMP 0000076a: JUMPDEST 0000076b: CALLVALUE 0000076c: DUP1 0000076d: ISZERO 0000076e: PUSH2 0x0776 00000771: JUMPI 00000772: PUSH1 0x00 00000774: DUP1 00000775: REVERT 00000776: JUMPDEST 00000777: POP 00000778: PUSH2 0x02db 0000077b: PUSH2 0x0785 0000077e: CALLDATASIZE 0000077f: PUSH1 0x04 00000781: PUSH2 0x3057 00000784: JUMP 00000785: JUMPDEST 00000786: PUSH2 0x1aad 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH1 0x01 0000078d: PUSH1 0x01 0000078f: PUSH1 0xe0 00000791: SHL 00000792: SUB 00000793: NOT 00000794: DUP1 00000795: DUP4 00000796: AND 00000797: PUSH1 0x00 00000799: SWAP1 0000079a: DUP2 0000079b: MSTORE 0000079c: PUSH1 0xfb 0000079e: PUSH1 0x20 000007a0: MSTORE 000007a1: PUSH1 0x40 000007a3: DUP2 000007a4: KECCAK256 000007a5: SLOAD 000007a6: SWAP1 000007a7: SWAP2 000007a8: PUSH1 0xe0 000007aa: SWAP2 000007ab: SWAP1 000007ac: SWAP2 000007ad: SHL 000007ae: SWAP1 000007af: DUP2 000007b0: AND 000007b1: PUSH2 0x07ff 000007b4: JUMPI 000007b5: PUSH1 0x40 000007b7: MLOAD 000007b8: PUSH32 0x54bdcc3e00000000000000000000000000000000000000000000000000000000 000007d9: DUP2 000007da: MSTORE 000007db: PUSH1 0x01 000007dd: PUSH1 0x01 000007df: PUSH1 0xe0 000007e1: SHL 000007e2: SUB 000007e3: NOT 000007e4: DUP1 000007e5: DUP7 000007e6: AND 000007e7: PUSH1 0x04 000007e9: DUP4 000007ea: ADD 000007eb: MSTORE 000007ec: DUP3 000007ed: AND 000007ee: PUSH1 0x24 000007f0: DUP3 000007f1: ADD 000007f2: MSTORE 000007f3: PUSH1 0x44 000007f5: ADD 000007f6: JUMPDEST 000007f7: PUSH1 0x40 000007f9: MLOAD 000007fa: DUP1 000007fb: SWAP2 000007fc: SUB 000007fd: SWAP1 000007fe: REVERT 000007ff: JUMPDEST 00000800: DUP4 00000801: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000081e: NOT 0000081f: AND 00000820: PUSH32 0x4792cb6e46e49876374bea490ba23274bacea6b84c216a64f47abab54027589b 00000841: CALLER 00000842: DUP6 00000843: PUSH1 0x40 00000845: MLOAD 00000846: PUSH2 0x0850 00000849: SWAP3 0000084a: SWAP2 0000084b: SWAP1 0000084c: PUSH2 0x3551 0000084f: JUMP 00000850: JUMPDEST 00000851: PUSH1 0x40 00000853: MLOAD 00000854: DUP1 00000855: SWAP2 00000856: SUB 00000857: SWAP1 00000858: LOG2 00000859: SWAP1 0000085a: POP 0000085b: JUMPDEST 0000085c: SWAP3 0000085d: SWAP2 0000085e: POP 0000085f: POP 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH1 0x00 00000864: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00000885: PUSH1 0x01 00000887: PUSH1 0x01 00000889: PUSH1 0xe0 0000088b: SHL 0000088c: SUB 0000088d: NOT 0000088e: DUP4 0000088f: AND 00000890: EQ 00000891: DUP1 00000892: PUSH2 0x085b 00000895: JUMPI 00000896: POP 00000897: POP 00000898: PUSH1 0x01 0000089a: PUSH1 0x01 0000089c: PUSH1 0xe0 0000089e: SHL 0000089f: SUB 000008a0: NOT 000008a1: AND 000008a2: PUSH1 0x00 000008a4: SWAP1 000008a5: DUP2 000008a6: MSTORE 000008a7: PUSH1 0x33 000008a9: PUSH1 0x20 000008ab: MSTORE 000008ac: PUSH1 0x40 000008ae: SWAP1 000008af: KECCAK256 000008b0: SLOAD 000008b1: PUSH1 0xff 000008b3: AND 000008b4: SWAP1 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH32 0x4707e94b25cfce1a7c363508fbb838c35864388ad77284b248282b9746982b9b 000008d8: PUSH2 0x08e0 000008db: DUP2 000008dc: PUSH2 0x1abb 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH2 0x08ea 000008e4: DUP4 000008e5: DUP4 000008e6: PUSH2 0x1b43 000008e9: JUMP 000008ea: JUMPDEST 000008eb: POP 000008ec: POP 000008ed: POP 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH2 0x012d 000008f3: SLOAD 000008f4: PUSH1 0x00 000008f6: SWAP1 000008f7: PUSH1 0x01 000008f9: PUSH1 0x01 000008fb: PUSH1 0xa0 000008fd: SHL 000008fe: SUB 000008ff: AND 00000900: PUSH2 0x090b 00000903: JUMPI 00000904: POP 00000905: PUSH1 0x00 00000907: PUSH2 0x085b 0000090a: JUMP 0000090b: JUMPDEST 0000090c: PUSH2 0x012d 0000090f: SLOAD 00000910: PUSH1 0x40 00000912: MLOAD 00000913: PUSH32 0x1626ba7e00000000000000000000000000000000000000000000000000000000 00000934: DUP2 00000935: MSTORE 00000936: PUSH1 0x01 00000938: PUSH1 0x01 0000093a: PUSH1 0xa0 0000093c: SHL 0000093d: SUB 0000093e: SWAP1 0000093f: SWAP2 00000940: AND 00000941: SWAP1 00000942: PUSH4 0x1626ba7e 00000947: SWAP1 00000948: PUSH2 0x0957 0000094b: SWAP1 0000094c: DUP7 0000094d: SWAP1 0000094e: DUP7 0000094f: SWAP1 00000950: PUSH1 0x04 00000952: ADD 00000953: PUSH2 0x3573 00000956: JUMP 00000957: JUMPDEST 00000958: PUSH1 0x20 0000095a: PUSH1 0x40 0000095c: MLOAD 0000095d: DUP1 0000095e: DUP4 0000095f: SUB 00000960: DUP2 00000961: DUP7 00000962: GAS 00000963: STATICCALL 00000964: ISZERO 00000965: DUP1 00000966: ISZERO 00000967: PUSH2 0x0974 0000096a: JUMPI 0000096b: RETURNDATASIZE 0000096c: PUSH1 0x00 0000096e: DUP1 0000096f: RETURNDATACOPY 00000970: RETURNDATASIZE 00000971: PUSH1 0x00 00000973: REVERT 00000974: JUMPDEST 00000975: POP 00000976: POP 00000977: POP 00000978: POP 00000979: PUSH1 0x40 0000097b: MLOAD 0000097c: RETURNDATASIZE 0000097d: PUSH1 0x1f 0000097f: NOT 00000980: PUSH1 0x1f 00000982: DUP3 00000983: ADD 00000984: AND 00000985: DUP3 00000986: ADD 00000987: DUP1 00000988: PUSH1 0x40 0000098a: MSTORE 0000098b: POP 0000098c: DUP2 0000098d: ADD 0000098e: SWAP1 0000098f: PUSH2 0x0998 00000992: SWAP2 00000993: SWAP1 00000994: PUSH2 0x358c 00000997: JUMP 00000998: JUMPDEST 00000999: SWAP4 0000099a: SWAP3 0000099b: POP 0000099c: POP 0000099d: POP 0000099e: JUMP 0000099f: JUMPDEST 000009a0: PUSH32 0x815fe80e4b37c8582a3b773d1d7071f983eacfd56b5965db654f3087c25ada33 000009c1: PUSH2 0x09c9 000009c4: DUP2 000009c5: PUSH2 0x1abb 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH1 0x00 000009cc: JUMPDEST 000009cd: DUP3 000009ce: DUP2 000009cf: LT 000009d0: ISZERO 000009d1: PUSH2 0x0ab4 000009d4: JUMPI 000009d5: PUSH1 0x00 000009d7: DUP5 000009d8: DUP5 000009d9: DUP4 000009da: DUP2 000009db: DUP2 000009dc: LT 000009dd: PUSH2 0x09e8 000009e0: JUMPI 000009e1: PUSH2 0x09e8 000009e4: PUSH2 0x35a9 000009e7: JUMP 000009e8: JUMPDEST 000009e9: SWAP1 000009ea: POP 000009eb: PUSH1 0x60 000009ed: MUL 000009ee: ADD 000009ef: DUP1 000009f0: CALLDATASIZE 000009f1: SUB 000009f2: DUP2 000009f3: ADD 000009f4: SWAP1 000009f5: PUSH2 0x09fe 000009f8: SWAP2 000009f9: SWAP1 000009fa: PUSH2 0x35d3 000009fd: JUMP 000009fe: JUMPDEST 000009ff: SWAP1 00000a00: POP 00000a01: PUSH1 0x00 00000a03: DUP2 00000a04: MLOAD 00000a05: PUSH1 0x02 00000a07: DUP2 00000a08: GT 00000a09: ISZERO 00000a0a: PUSH2 0x0a15 00000a0d: JUMPI 00000a0e: PUSH2 0x0a15 00000a11: PUSH2 0x363c 00000a14: JUMP 00000a15: JUMPDEST 00000a16: SUB 00000a17: PUSH2 0x0a32 00000a1a: JUMPI 00000a1b: PUSH2 0x0a2d 00000a1e: DUP7 00000a1f: DUP3 00000a20: PUSH1 0x20 00000a22: ADD 00000a23: MLOAD 00000a24: DUP4 00000a25: PUSH1 0x40 00000a27: ADD 00000a28: MLOAD 00000a29: PUSH2 0x1b83 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: PUSH2 0x0aab 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x01 00000a35: DUP2 00000a36: MLOAD 00000a37: PUSH1 0x02 00000a39: DUP2 00000a3a: GT 00000a3b: ISZERO 00000a3c: PUSH2 0x0a47 00000a3f: JUMPI 00000a40: PUSH2 0x0a47 00000a43: PUSH2 0x363c 00000a46: JUMP 00000a47: JUMPDEST 00000a48: SUB 00000a49: PUSH2 0x0a5f 00000a4c: JUMPI 00000a4d: PUSH2 0x0a2d 00000a50: DUP7 00000a51: DUP3 00000a52: PUSH1 0x20 00000a54: ADD 00000a55: MLOAD 00000a56: DUP4 00000a57: PUSH1 0x40 00000a59: ADD 00000a5a: MLOAD 00000a5b: PUSH2 0x1cdc 00000a5e: JUMP 00000a5f: JUMPDEST 00000a60: PUSH1 0x02 00000a62: DUP2 00000a63: MLOAD 00000a64: PUSH1 0x02 00000a66: DUP2 00000a67: GT 00000a68: ISZERO 00000a69: PUSH2 0x0a74 00000a6c: JUMPI 00000a6d: PUSH2 0x0a74 00000a70: PUSH2 0x363c 00000a73: JUMP 00000a74: JUMPDEST 00000a75: SUB 00000a76: PUSH2 0x0aab 00000a79: JUMPI 00000a7a: PUSH1 0x40 00000a7c: MLOAD 00000a7d: PUSH32 0xd4d3bef700000000000000000000000000000000000000000000000000000000 00000a9e: DUP2 00000a9f: MSTORE 00000aa0: PUSH1 0x04 00000aa2: ADD 00000aa3: PUSH1 0x40 00000aa5: MLOAD 00000aa6: DUP1 00000aa7: SWAP2 00000aa8: SUB 00000aa9: SWAP1 00000aaa: REVERT 00000aab: JUMPDEST 00000aac: POP 00000aad: PUSH1 0x01 00000aaf: ADD 00000ab0: PUSH2 0x09cc 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: POP 00000ab6: POP 00000ab7: POP 00000ab8: POP 00000ab9: POP 00000aba: JUMP 00000abb: JUMPDEST 00000abc: PUSH1 0x00 00000abe: PUSH2 0x0ac9 00000ac1: DUP6 00000ac2: DUP6 00000ac3: DUP6 00000ac4: DUP6 00000ac5: PUSH2 0x1dd0 00000ac8: JUMP 00000ac9: JUMPDEST 00000aca: DUP1 00000acb: PUSH2 0x0ae2 00000ace: JUMPI 00000acf: POP 00000ad0: PUSH2 0x0ae2 00000ad3: DUP6 00000ad4: PUSH1 0x01 00000ad6: PUSH1 0x01 00000ad8: PUSH1 0xa0 00000ada: SHL 00000adb: SUB 00000adc: DUP6 00000add: DUP6 00000ade: PUSH2 0x1dd0 00000ae1: JUMP 00000ae2: JUMPDEST 00000ae3: DUP1 00000ae4: PUSH2 0x0afb 00000ae7: JUMPI 00000ae8: POP 00000ae9: PUSH2 0x0afb 00000aec: PUSH1 0x01 00000aee: PUSH1 0x01 00000af0: PUSH1 0xa0 00000af2: SHL 00000af3: SUB 00000af4: DUP6 00000af5: DUP6 00000af6: DUP6 00000af7: PUSH2 0x1dd0 00000afa: JUMP 00000afb: JUMPDEST 00000afc: SWAP1 00000afd: POP 00000afe: JUMPDEST 00000aff: SWAP5 00000b00: SWAP4 00000b01: POP 00000b02: POP 00000b03: POP 00000b04: POP 00000b05: JUMP 00000b06: JUMPDEST 00000b07: PUSH2 0x0b0e 00000b0a: PUSH2 0x2df4 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: POP 00000b10: PUSH1 0x40 00000b12: DUP1 00000b13: MLOAD 00000b14: PUSH1 0x60 00000b16: DUP2 00000b17: ADD 00000b18: DUP3 00000b19: MSTORE 00000b1a: PUSH1 0x01 00000b1c: DUP2 00000b1d: MSTORE 00000b1e: PUSH1 0x03 00000b20: PUSH1 0x20 00000b22: DUP3 00000b23: ADD 00000b24: MSTORE 00000b25: PUSH1 0x00 00000b27: SWAP2 00000b28: DUP2 00000b29: ADD 00000b2a: SWAP2 00000b2b: SWAP1 00000b2c: SWAP2 00000b2d: MSTORE 00000b2e: SWAP1 00000b2f: JUMP 00000b30: JUMPDEST 00000b31: PUSH1 0x01 00000b33: PUSH1 0x01 00000b35: PUSH1 0xa0 00000b37: SHL 00000b38: SUB 00000b39: PUSH32 0x00000000000000000000000052af16664155608b845be18aa29620ebf6ea2d3a 00000b5a: AND 00000b5b: ADDRESS 00000b5c: SUB 00000b5d: PUSH2 0x0bce 00000b60: JUMPI 00000b61: PUSH1 0x40 00000b63: MLOAD 00000b64: PUSH3 0x461bcd 00000b68: PUSH1 0xe5 00000b6a: SHL 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x20 00000b6f: PUSH1 0x04 00000b71: DUP3 00000b72: ADD 00000b73: MSTORE 00000b74: PUSH1 0x2c 00000b76: PUSH1 0x24 00000b78: DUP3 00000b79: ADD 00000b7a: MSTORE 00000b7b: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00000b9c: PUSH1 0x44 00000b9e: DUP3 00000b9f: ADD 00000ba0: MSTORE 00000ba1: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000 00000bc2: PUSH1 0x64 00000bc4: DUP3 00000bc5: ADD 00000bc6: MSTORE 00000bc7: PUSH1 0x84 00000bc9: ADD 00000bca: PUSH2 0x07f6 00000bcd: JUMP 00000bce: JUMPDEST 00000bcf: PUSH32 0x00000000000000000000000052af16664155608b845be18aa29620ebf6ea2d3a 00000bf0: PUSH1 0x01 00000bf2: PUSH1 0x01 00000bf4: PUSH1 0xa0 00000bf6: SHL 00000bf7: SUB 00000bf8: AND 00000bf9: PUSH2 0x0c29 00000bfc: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000c1d: SLOAD 00000c1e: PUSH1 0x01 00000c20: PUSH1 0x01 00000c22: PUSH1 0xa0 00000c24: SHL 00000c25: SUB 00000c26: AND 00000c27: SWAP1 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: PUSH1 0x01 00000c2c: PUSH1 0x01 00000c2e: PUSH1 0xa0 00000c30: SHL 00000c31: SUB 00000c32: AND 00000c33: EQ 00000c34: PUSH2 0x0ca5 00000c37: JUMPI 00000c38: PUSH1 0x40 00000c3a: MLOAD 00000c3b: PUSH3 0x461bcd 00000c3f: PUSH1 0xe5 00000c41: SHL 00000c42: DUP2 00000c43: MSTORE 00000c44: PUSH1 0x20 00000c46: PUSH1 0x04 00000c48: DUP3 00000c49: ADD 00000c4a: MSTORE 00000c4b: PUSH1 0x2c 00000c4d: PUSH1 0x24 00000c4f: DUP3 00000c50: ADD 00000c51: MSTORE 00000c52: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00000c73: PUSH1 0x44 00000c75: DUP3 00000c76: ADD 00000c77: MSTORE 00000c78: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000 00000c99: PUSH1 0x64 00000c9b: DUP3 00000c9c: ADD 00000c9d: MSTORE 00000c9e: PUSH1 0x84 00000ca0: ADD 00000ca1: PUSH2 0x07f6 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: PUSH2 0x0cae 00000ca9: DUP2 00000caa: PUSH2 0x1f4f 00000cad: JUMP 00000cae: JUMPDEST 00000caf: PUSH1 0x40 00000cb1: DUP1 00000cb2: MLOAD 00000cb3: PUSH1 0x00 00000cb5: DUP1 00000cb6: DUP3 00000cb7: MSTORE 00000cb8: PUSH1 0x20 00000cba: DUP3 00000cbb: ADD 00000cbc: SWAP1 00000cbd: SWAP3 00000cbe: MSTORE 00000cbf: PUSH2 0x0cca 00000cc2: SWAP2 00000cc3: DUP4 00000cc4: SWAP2 00000cc5: SWAP1 00000cc6: PUSH2 0x1f79 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: POP 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: PUSH32 0x0dcbfb19b09fb8ff4e9af583d4b8e9c8127cc1b26529b4d96dd3b7e778088372 00000cef: PUSH2 0x0cf7 00000cf2: DUP2 00000cf3: PUSH2 0x1abb 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: PUSH2 0x012d 00000cfb: DUP1 00000cfc: SLOAD 00000cfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d12: NOT 00000d13: AND 00000d14: PUSH1 0x01 00000d16: PUSH1 0x01 00000d18: PUSH1 0xa0 00000d1a: SHL 00000d1b: SUB 00000d1c: DUP5 00000d1d: AND 00000d1e: SWAP1 00000d1f: DUP2 00000d20: OR 00000d21: SWAP1 00000d22: SWAP2 00000d23: SSTORE 00000d24: PUSH1 0x40 00000d26: MLOAD 00000d27: SWAP1 00000d28: DUP2 00000d29: MSTORE 00000d2a: PUSH32 0x3b25c5d3870ec0eac28822b177f18c9130233ade5b7f857c6a224a507c37fc4e 00000d4b: SWAP1 00000d4c: PUSH1 0x20 00000d4e: ADD 00000d4f: JUMPDEST 00000d50: PUSH1 0x40 00000d52: MLOAD 00000d53: DUP1 00000d54: SWAP2 00000d55: SUB 00000d56: SWAP1 00000d57: LOG1 00000d58: POP 00000d59: POP 00000d5a: JUMP 00000d5b: JUMPDEST 00000d5c: PUSH1 0x00 00000d5e: SLOAD 00000d5f: PUSH1 0x02 00000d61: SWAP1 00000d62: PUSH2 0x0100 00000d65: SWAP1 00000d66: DIV 00000d67: PUSH1 0xff 00000d69: AND 00000d6a: ISZERO 00000d6b: DUP1 00000d6c: ISZERO 00000d6d: PUSH2 0x0d7d 00000d70: JUMPI 00000d71: POP 00000d72: PUSH1 0x00 00000d74: SLOAD 00000d75: PUSH1 0xff 00000d77: DUP1 00000d78: DUP4 00000d79: AND 00000d7a: SWAP2 00000d7b: AND 00000d7c: LT 00000d7d: JUMPDEST 00000d7e: PUSH2 0x0def 00000d81: JUMPI 00000d82: PUSH1 0x40 00000d84: MLOAD 00000d85: PUSH3 0x461bcd 00000d89: PUSH1 0xe5 00000d8b: SHL 00000d8c: DUP2 00000d8d: MSTORE 00000d8e: PUSH1 0x20 00000d90: PUSH1 0x04 00000d92: DUP3 00000d93: ADD 00000d94: MSTORE 00000d95: PUSH1 0x2e 00000d97: PUSH1 0x24 00000d99: DUP3 00000d9a: ADD 00000d9b: MSTORE 00000d9c: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00000dbd: PUSH1 0x44 00000dbf: DUP3 00000dc0: ADD 00000dc1: MSTORE 00000dc2: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00000de3: PUSH1 0x64 00000de5: DUP3 00000de6: ADD 00000de7: MSTORE 00000de8: PUSH1 0x84 00000dea: ADD 00000deb: PUSH2 0x07f6 00000dee: JUMP 00000def: JUMPDEST 00000df0: PUSH1 0x00 00000df2: DUP1 00000df3: SLOAD 00000df4: PUSH2 0xffff 00000df7: NOT 00000df8: AND 00000df9: PUSH1 0xff 00000dfb: DUP4 00000dfc: AND 00000dfd: OR 00000dfe: PUSH2 0x0100 00000e01: OR 00000e02: SWAP1 00000e03: SSTORE 00000e04: PUSH2 0x0e10 00000e07: PUSH1 0x20 00000e09: DUP6 00000e0a: ADD 00000e0b: DUP6 00000e0c: PUSH2 0x3663 00000e0f: JUMP 00000e10: JUMPDEST 00000e11: PUSH1 0xff 00000e13: AND 00000e14: PUSH1 0x01 00000e16: EQ 00000e17: PUSH2 0x0e4e 00000e1a: JUMPI 00000e1b: DUP4 00000e1c: PUSH1 0x40 00000e1e: MLOAD 00000e1f: PUSH32 0x84833d6700000000000000000000000000000000000000000000000000000000 00000e40: DUP2 00000e41: MSTORE 00000e42: PUSH1 0x04 00000e44: ADD 00000e45: PUSH2 0x07f6 00000e48: SWAP2 00000e49: SWAP1 00000e4a: PUSH2 0x367e 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: PUSH1 0x02 00000e51: PUSH2 0x0e60 00000e54: PUSH1 0x40 00000e56: DUP7 00000e57: ADD 00000e58: PUSH1 0x20 00000e5a: DUP8 00000e5b: ADD 00000e5c: PUSH2 0x3663 00000e5f: JUMP 00000e60: JUMPDEST 00000e61: PUSH1 0xff 00000e63: AND 00000e64: GT 00000e65: PUSH2 0x0e97 00000e68: JUMPI 00000e69: PUSH1 0x01 00000e6b: PUSH2 0x0130 00000e6e: SSTORE 00000e6f: PUSH2 0x0e97 00000e72: PUSH32 0x2ae9c60000000000000000000000000000000000000000000000000000000000 00000e93: PUSH2 0x2119 00000e96: JUMP 00000e97: JUMPDEST 00000e98: PUSH1 0x00 00000e9a: DUP1 00000e9b: SLOAD 00000e9c: PUSH2 0xff00 00000e9f: NOT 00000ea0: AND 00000ea1: SWAP1 00000ea2: SSTORE 00000ea3: PUSH1 0x40 00000ea5: MLOAD 00000ea6: PUSH1 0xff 00000ea8: DUP3 00000ea9: AND 00000eaa: DUP2 00000eab: MSTORE 00000eac: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00000ecd: SWAP1 00000ece: PUSH1 0x20 00000ed0: ADD 00000ed1: JUMPDEST 00000ed2: PUSH1 0x40 00000ed4: MLOAD 00000ed5: DUP1 00000ed6: SWAP2 00000ed7: SUB 00000ed8: SWAP1 00000ed9: LOG1 00000eda: POP 00000edb: POP 00000edc: POP 00000edd: POP 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: PUSH1 0x01 00000ee2: PUSH1 0x01 00000ee4: PUSH1 0xa0 00000ee6: SHL 00000ee7: SUB 00000ee8: PUSH32 0x00000000000000000000000052af16664155608b845be18aa29620ebf6ea2d3a 00000f09: AND 00000f0a: ADDRESS 00000f0b: SUB 00000f0c: PUSH2 0x0f7d 00000f0f: JUMPI 00000f10: PUSH1 0x40 00000f12: MLOAD 00000f13: PUSH3 0x461bcd 00000f17: PUSH1 0xe5 00000f19: SHL 00000f1a: DUP2 00000f1b: MSTORE 00000f1c: PUSH1 0x20 00000f1e: PUSH1 0x04 00000f20: DUP3 00000f21: ADD 00000f22: MSTORE 00000f23: PUSH1 0x2c 00000f25: PUSH1 0x24 00000f27: DUP3 00000f28: ADD 00000f29: MSTORE 00000f2a: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00000f4b: PUSH1 0x44 00000f4d: DUP3 00000f4e: ADD 00000f4f: MSTORE 00000f50: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000 00000f71: PUSH1 0x64 00000f73: DUP3 00000f74: ADD 00000f75: MSTORE 00000f76: PUSH1 0x84 00000f78: ADD 00000f79: PUSH2 0x07f6 00000f7c: JUMP 00000f7d: JUMPDEST 00000f7e: PUSH32 0x00000000000000000000000052af16664155608b845be18aa29620ebf6ea2d3a 00000f9f: PUSH1 0x01 00000fa1: PUSH1 0x01 00000fa3: PUSH1 0xa0 00000fa5: SHL 00000fa6: SUB 00000fa7: AND 00000fa8: PUSH2 0x0fd8 00000fab: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000fcc: SLOAD 00000fcd: PUSH1 0x01 00000fcf: PUSH1 0x01 00000fd1: PUSH1 0xa0 00000fd3: SHL 00000fd4: SUB 00000fd5: AND 00000fd6: SWAP1 00000fd7: JUMP 00000fd8: JUMPDEST 00000fd9: PUSH1 0x01 00000fdb: PUSH1 0x01 00000fdd: PUSH1 0xa0 00000fdf: SHL 00000fe0: SUB 00000fe1: AND 00000fe2: EQ 00000fe3: PUSH2 0x1054 00000fe6: JUMPI 00000fe7: PUSH1 0x40 00000fe9: MLOAD 00000fea: PUSH3 0x461bcd 00000fee: PUSH1 0xe5 00000ff0: SHL 00000ff1: DUP2 00000ff2: MSTORE 00000ff3: PUSH1 0x20 00000ff5: PUSH1 0x04 00000ff7: DUP3 00000ff8: ADD 00000ff9: MSTORE 00000ffa: PUSH1 0x2c 00000ffc: PUSH1 0x24 00000ffe: DUP3 00000fff: ADD 00001000: MSTORE 00001001: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00001022: PUSH1 0x44 00001024: DUP3 00001025: ADD 00001026: MSTORE 00001027: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000 00001048: PUSH1 0x64 0000104a: DUP3 0000104b: ADD 0000104c: MSTORE 0000104d: PUSH1 0x84 0000104f: ADD 00001050: PUSH2 0x07f6 00001053: JUMP 00001054: JUMPDEST 00001055: PUSH2 0x105d 00001058: DUP3 00001059: PUSH2 0x1f4f 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH2 0x1069 00001061: DUP3 00001062: DUP3 00001063: PUSH1 0x01 00001065: PUSH2 0x1f79 00001068: JUMP 00001069: JUMPDEST 0000106a: POP 0000106b: POP 0000106c: JUMP 0000106d: JUMPDEST 0000106e: PUSH1 0x00 00001070: ADDRESS 00001071: PUSH1 0x01 00001073: PUSH1 0x01 00001075: PUSH1 0xa0 00001077: SHL 00001078: SUB 00001079: PUSH32 0x00000000000000000000000052af16664155608b845be18aa29620ebf6ea2d3a 0000109a: AND 0000109b: EQ 0000109c: PUSH2 0x110d 0000109f: JUMPI 000010a0: PUSH1 0x40 000010a2: MLOAD 000010a3: PUSH3 0x461bcd 000010a7: PUSH1 0xe5 000010a9: SHL 000010aa: DUP2 000010ab: MSTORE 000010ac: PUSH1 0x20 000010ae: PUSH1 0x04 000010b0: DUP3 000010b1: ADD 000010b2: MSTORE 000010b3: PUSH1 0x38 000010b5: PUSH1 0x24 000010b7: DUP3 000010b8: ADD 000010b9: MSTORE 000010ba: PUSH32 0x555550535570677261646561626c653a206d757374206e6f742062652063616c 000010db: PUSH1 0x44 000010dd: DUP3 000010de: ADD 000010df: MSTORE 000010e0: PUSH32 0x6c6564207468726f7567682064656c656761746563616c6c0000000000000000 00001101: PUSH1 0x64 00001103: DUP3 00001104: ADD 00001105: MSTORE 00001106: PUSH1 0x84 00001108: ADD 00001109: PUSH2 0x07f6 0000110c: JUMP 0000110d: JUMPDEST 0000110e: POP 0000110f: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00001130: SWAP1 00001131: JUMP 00001132: JUMPDEST 00001133: PUSH1 0x60 00001135: PUSH2 0x012f 00001138: DUP1 00001139: SLOAD 0000113a: PUSH2 0x1142 0000113d: SWAP1 0000113e: PUSH2 0x36b1 00001141: JUMP 00001142: JUMPDEST 00001143: DUP1 00001144: PUSH1 0x1f 00001146: ADD 00001147: PUSH1 0x20 00001149: DUP1 0000114a: SWAP2 0000114b: DIV 0000114c: MUL 0000114d: PUSH1 0x20 0000114f: ADD 00001150: PUSH1 0x40 00001152: MLOAD 00001153: SWAP1 00001154: DUP2 00001155: ADD 00001156: PUSH1 0x40 00001158: MSTORE 00001159: DUP1 0000115a: SWAP3 0000115b: SWAP2 0000115c: SWAP1 0000115d: DUP2 0000115e: DUP2 0000115f: MSTORE 00001160: PUSH1 0x20 00001162: ADD 00001163: DUP3 00001164: DUP1 00001165: SLOAD 00001166: PUSH2 0x116e 00001169: SWAP1 0000116a: PUSH2 0x36b1 0000116d: JUMP 0000116e: JUMPDEST 0000116f: DUP1 00001170: ISZERO 00001171: PUSH2 0x11bb 00001174: JUMPI 00001175: DUP1 00001176: PUSH1 0x1f 00001178: LT 00001179: PUSH2 0x1190 0000117c: JUMPI 0000117d: PUSH2 0x0100 00001180: DUP1 00001181: DUP4 00001182: SLOAD 00001183: DIV 00001184: MUL 00001185: DUP4 00001186: MSTORE 00001187: SWAP2 00001188: PUSH1 0x20 0000118a: ADD 0000118b: SWAP2 0000118c: PUSH2 0x11bb 0000118f: JUMP 00001190: JUMPDEST 00001191: DUP3 00001192: ADD 00001193: SWAP2 00001194: SWAP1 00001195: PUSH1 0x00 00001197: MSTORE 00001198: PUSH1 0x20 0000119a: PUSH1 0x00 0000119c: KECCAK256 0000119d: SWAP1 0000119e: JUMPDEST 0000119f: DUP2 000011a0: SLOAD 000011a1: DUP2 000011a2: MSTORE 000011a3: SWAP1 000011a4: PUSH1 0x01 000011a6: ADD 000011a7: SWAP1 000011a8: PUSH1 0x20 000011aa: ADD 000011ab: DUP1 000011ac: DUP4 000011ad: GT 000011ae: PUSH2 0x119e 000011b1: JUMPI 000011b2: DUP3 000011b3: SWAP1 000011b4: SUB 000011b5: PUSH1 0x1f 000011b7: AND 000011b8: DUP3 000011b9: ADD 000011ba: SWAP2 000011bb: JUMPDEST 000011bc: POP 000011bd: POP 000011be: POP 000011bf: POP 000011c0: POP 000011c1: SWAP1 000011c2: POP 000011c3: SWAP1 000011c4: JUMP 000011c5: JUMPDEST 000011c6: DUP3 000011c7: PUSH1 0x00 000011c9: SUB 000011ca: PUSH2 0x11ff 000011cd: JUMPI 000011ce: PUSH1 0x40 000011d0: MLOAD 000011d1: PUSH32 0x1f2a200500000000000000000000000000000000000000000000000000000000 000011f2: DUP2 000011f3: MSTORE 000011f4: PUSH1 0x04 000011f6: ADD 000011f7: PUSH1 0x40 000011f9: MLOAD 000011fa: DUP1 000011fb: SWAP2 000011fc: SUB 000011fd: SWAP1 000011fe: REVERT 000011ff: JUMPDEST 00001200: PUSH1 0x01 00001202: PUSH1 0x01 00001204: PUSH1 0xa0 00001206: SHL 00001207: SUB 00001208: DUP5 00001209: AND 0000120a: PUSH2 0x1254 0000120d: JUMPI 0000120e: DUP3 0000120f: CALLVALUE 00001210: EQ 00001211: PUSH2 0x124f 00001214: JUMPI 00001215: PUSH1 0x40 00001217: MLOAD 00001218: PUSH32 0x1abd561000000000000000000000000000000000000000000000000000000000 00001239: DUP2 0000123a: MSTORE 0000123b: PUSH1 0x04 0000123d: DUP2 0000123e: ADD 0000123f: DUP5 00001240: SWAP1 00001241: MSTORE 00001242: CALLVALUE 00001243: PUSH1 0x24 00001245: DUP3 00001246: ADD 00001247: MSTORE 00001248: PUSH1 0x44 0000124a: ADD 0000124b: PUSH2 0x07f6 0000124e: JUMP 0000124f: JUMPDEST 00001250: PUSH2 0x12aa 00001253: JUMP 00001254: JUMPDEST 00001255: CALLVALUE 00001256: ISZERO 00001257: PUSH2 0x1295 0000125a: JUMPI 0000125b: PUSH1 0x40 0000125d: MLOAD 0000125e: PUSH32 0x1abd561000000000000000000000000000000000000000000000000000000000 0000127f: DUP2 00001280: MSTORE 00001281: PUSH1 0x00 00001283: PUSH1 0x04 00001285: DUP3 00001286: ADD 00001287: MSTORE 00001288: CALLVALUE 00001289: PUSH1 0x24 0000128b: DUP3 0000128c: ADD 0000128d: MSTORE 0000128e: PUSH1 0x44 00001290: ADD 00001291: PUSH2 0x07f6 00001294: JUMP 00001295: JUMPDEST 00001296: PUSH2 0x12aa 00001299: PUSH1 0x01 0000129b: PUSH1 0x01 0000129d: PUSH1 0xa0 0000129f: SHL 000012a0: SUB 000012a1: DUP6 000012a2: AND 000012a3: CALLER 000012a4: ADDRESS 000012a5: DUP7 000012a6: PUSH2 0x21b6 000012a9: JUMP 000012aa: JUMPDEST 000012ab: DUP4 000012ac: PUSH1 0x01 000012ae: PUSH1 0x01 000012b0: PUSH1 0xa0 000012b2: SHL 000012b3: SUB 000012b4: AND 000012b5: CALLER 000012b6: PUSH1 0x01 000012b8: PUSH1 0x01 000012ba: PUSH1 0xa0 000012bc: SHL 000012bd: SUB 000012be: AND 000012bf: PUSH32 0x2bc500cf071be2d1c1458ed6ff484cd4db4345ada8943dee7ff29e7af3558f76 000012e0: DUP6 000012e1: DUP6 000012e2: DUP6 000012e3: PUSH1 0x40 000012e5: MLOAD 000012e6: PUSH2 0x12f1 000012e9: SWAP4 000012ea: SWAP3 000012eb: SWAP2 000012ec: SWAP1 000012ed: PUSH2 0x3716 000012f0: JUMP 000012f1: JUMPDEST 000012f2: PUSH1 0x40 000012f4: MLOAD 000012f5: DUP1 000012f6: SWAP2 000012f7: SUB 000012f8: SWAP1 000012f9: LOG3 000012fa: POP 000012fb: POP 000012fc: POP 000012fd: POP 000012fe: JUMP 000012ff: JUMPDEST 00001300: PUSH32 0xfaf505be9907aa6951c2ebe5b0312f4980e14f21912ed355372103cc8bd683bc 00001321: PUSH2 0x1329 00001324: DUP2 00001325: PUSH2 0x1abb 00001328: JUMP 00001329: JUMPDEST 0000132a: PUSH2 0x1332 0000132d: DUP5 0000132e: PUSH2 0x2119 00001331: JUMP 00001332: JUMPDEST 00001333: PUSH1 0x01 00001335: PUSH1 0x01 00001337: PUSH1 0xe0 00001339: SHL 0000133a: SUB 0000133b: NOT 0000133c: DUP4 0000133d: AND 0000133e: PUSH1 0x00 00001340: SWAP1 00001341: DUP2 00001342: MSTORE 00001343: PUSH1 0xfb 00001345: PUSH1 0x20 00001347: MSTORE 00001348: PUSH1 0x40 0000134a: SWAP1 0000134b: KECCAK256 0000134c: DUP1 0000134d: SLOAD 0000134e: PUSH4 0xffffffff 00001353: NOT 00001354: AND 00001355: PUSH1 0xe0 00001357: DUP5 00001358: SWAP1 00001359: SHR 0000135a: OR 0000135b: SWAP1 0000135c: SSTORE 0000135d: PUSH1 0x40 0000135f: DUP1 00001360: MLOAD 00001361: PUSH1 0x01 00001363: PUSH1 0x01 00001365: PUSH1 0xe0 00001367: SHL 00001368: SUB 00001369: NOT 0000136a: DUP1 0000136b: DUP8 0000136c: AND 0000136d: DUP3 0000136e: MSTORE 0000136f: DUP1 00001370: DUP7 00001371: AND 00001372: PUSH1 0x20 00001374: DUP4 00001375: ADD 00001376: MSTORE 00001377: DUP5 00001378: AND 00001379: SWAP2 0000137a: DUP2 0000137b: ADD 0000137c: SWAP2 0000137d: SWAP1 0000137e: SWAP2 0000137f: MSTORE 00001380: PUSH32 0xfc72fd547553f7a663e0048e590afc9c47b56a4242e960f31cf4c62e23d308b9 000013a1: SWAP1 000013a2: PUSH1 0x60 000013a4: ADD 000013a5: PUSH2 0x0ed1 000013a8: JUMP 000013a9: JUMPDEST 000013aa: PUSH1 0x60 000013ac: PUSH1 0x00 000013ae: PUSH1 0x02 000013b0: PUSH2 0x0130 000013b3: SLOAD 000013b4: SUB 000013b5: PUSH2 0x13ea 000013b8: JUMPI 000013b9: PUSH1 0x40 000013bb: MLOAD 000013bc: PUSH32 0x37ed32e800000000000000000000000000000000000000000000000000000000 000013dd: DUP2 000013de: MSTORE 000013df: PUSH1 0x04 000013e1: ADD 000013e2: PUSH1 0x40 000013e4: MLOAD 000013e5: DUP1 000013e6: SWAP2 000013e7: SUB 000013e8: SWAP1 000013e9: REVERT 000013ea: JUMPDEST 000013eb: PUSH1 0x02 000013ed: PUSH2 0x0130 000013f0: SSTORE 000013f1: PUSH32 0xbf04b4486c9663d805744005c3da000eda93de6e3308a4a7a812eb565327b78d 00001412: PUSH2 0x141a 00001415: DUP2 00001416: PUSH2 0x1abb 00001419: JUMP 0000141a: JUMPDEST 0000141b: PUSH2 0x0100 0000141e: DUP6 0000141f: GT 00001420: ISZERO 00001421: PUSH2 0x1456 00001424: JUMPI 00001425: PUSH1 0x40 00001427: MLOAD 00001428: PUSH32 0x11c763d600000000000000000000000000000000000000000000000000000000 00001449: DUP2 0000144a: MSTORE 0000144b: PUSH1 0x04 0000144d: ADD 0000144e: PUSH1 0x40 00001450: MLOAD 00001451: DUP1 00001452: SWAP2 00001453: SUB 00001454: SWAP1 00001455: REVERT 00001456: JUMPDEST 00001457: DUP5 00001458: PUSH8 0xffffffffffffffff 00001461: DUP2 00001462: GT 00001463: ISZERO 00001464: PUSH2 0x146f 00001467: JUMPI 00001468: PUSH2 0x146f 0000146b: PUSH2 0x2ed0 0000146e: JUMP 0000146f: JUMPDEST 00001470: PUSH1 0x40 00001472: MLOAD 00001473: SWAP1 00001474: DUP1 00001475: DUP3 00001476: MSTORE 00001477: DUP1 00001478: PUSH1 0x20 0000147a: MUL 0000147b: PUSH1 0x20 0000147d: ADD 0000147e: DUP3 0000147f: ADD 00001480: PUSH1 0x40 00001482: MSTORE 00001483: DUP1 00001484: ISZERO 00001485: PUSH2 0x14a2 00001488: JUMPI 00001489: DUP2 0000148a: PUSH1 0x20 0000148c: ADD 0000148d: JUMPDEST 0000148e: PUSH1 0x60 00001490: DUP2 00001491: MSTORE 00001492: PUSH1 0x20 00001494: ADD 00001495: SWAP1 00001496: PUSH1 0x01 00001498: SWAP1 00001499: SUB 0000149a: SWAP1 0000149b: DUP2 0000149c: PUSH2 0x148d 0000149f: JUMPI 000014a0: SWAP1 000014a1: POP 000014a2: JUMPDEST 000014a3: POP 000014a4: SWAP3 000014a5: POP 000014a6: PUSH1 0x00 000014a8: DUP1 000014a9: PUSH1 0x00 000014ab: JUMPDEST 000014ac: DUP8 000014ad: DUP2 000014ae: LT 000014af: ISZERO 000014b0: PUSH2 0x166f 000014b3: JUMPI 000014b4: GAS 000014b5: SWAP3 000014b6: POP 000014b7: PUSH1 0x00 000014b9: DUP1 000014ba: DUP11 000014bb: DUP11 000014bc: DUP5 000014bd: DUP2 000014be: DUP2 000014bf: LT 000014c0: PUSH2 0x14cb 000014c3: JUMPI 000014c4: PUSH2 0x14cb 000014c7: PUSH2 0x35a9 000014ca: JUMP 000014cb: JUMPDEST 000014cc: SWAP1 000014cd: POP 000014ce: PUSH1 0x20 000014d0: MUL 000014d1: DUP2 000014d2: ADD 000014d3: SWAP1 000014d4: PUSH2 0x14dd 000014d7: SWAP2 000014d8: SWAP1 000014d9: PUSH2 0x3730 000014dc: JUMP 000014dd: JUMPDEST 000014de: PUSH2 0x14eb 000014e1: SWAP1 000014e2: PUSH1 0x20 000014e4: DUP2 000014e5: ADD 000014e6: SWAP1 000014e7: PUSH2 0x30f7 000014ea: JUMP 000014eb: JUMPDEST 000014ec: PUSH1 0x01 000014ee: PUSH1 0x01 000014f0: PUSH1 0xa0 000014f2: SHL 000014f3: SUB 000014f4: AND 000014f5: DUP12 000014f6: DUP12 000014f7: DUP6 000014f8: DUP2 000014f9: DUP2 000014fa: LT 000014fb: PUSH2 0x1506 000014fe: JUMPI 000014ff: PUSH2 0x1506 00001502: PUSH2 0x35a9 00001505: JUMP 00001506: JUMPDEST 00001507: SWAP1 00001508: POP 00001509: PUSH1 0x20 0000150b: MUL 0000150c: DUP2 0000150d: ADD 0000150e: SWAP1 0000150f: PUSH2 0x1518 00001512: SWAP2 00001513: SWAP1 00001514: PUSH2 0x3730 00001517: JUMP 00001518: JUMPDEST 00001519: PUSH1 0x20 0000151b: ADD 0000151c: CALLDATALOAD 0000151d: DUP13 0000151e: DUP13 0000151f: DUP7 00001520: DUP2 00001521: DUP2 00001522: LT 00001523: PUSH2 0x152e 00001526: JUMPI 00001527: PUSH2 0x152e 0000152a: PUSH2 0x35a9 0000152d: JUMP 0000152e: JUMPDEST 0000152f: SWAP1 00001530: POP 00001531: PUSH1 0x20 00001533: MUL 00001534: DUP2 00001535: ADD 00001536: SWAP1 00001537: PUSH2 0x1540 0000153a: SWAP2 0000153b: SWAP1 0000153c: PUSH2 0x3730 0000153f: JUMP 00001540: JUMPDEST 00001541: PUSH2 0x154e 00001544: SWAP1 00001545: PUSH1 0x40 00001547: DUP2 00001548: ADD 00001549: SWAP1 0000154a: PUSH2 0x3750 0000154d: JUMP 0000154e: JUMPDEST 0000154f: PUSH1 0x40 00001551: MLOAD 00001552: PUSH2 0x155c 00001555: SWAP3 00001556: SWAP2 00001557: SWAP1 00001558: PUSH2 0x3797 0000155b: JUMP 0000155c: JUMPDEST 0000155d: PUSH1 0x00 0000155f: PUSH1 0x40 00001561: MLOAD 00001562: DUP1 00001563: DUP4 00001564: SUB 00001565: DUP2 00001566: DUP6 00001567: DUP8 00001568: GAS 00001569: CALL 0000156a: SWAP3 0000156b: POP 0000156c: POP 0000156d: POP 0000156e: RETURNDATASIZE 0000156f: DUP1 00001570: PUSH1 0x00 00001572: DUP2 00001573: EQ 00001574: PUSH2 0x1599 00001577: JUMPI 00001578: PUSH1 0x40 0000157a: MLOAD 0000157b: SWAP2 0000157c: POP 0000157d: PUSH1 0x1f 0000157f: NOT 00001580: PUSH1 0x3f 00001582: RETURNDATASIZE 00001583: ADD 00001584: AND 00001585: DUP3 00001586: ADD 00001587: PUSH1 0x40 00001589: MSTORE 0000158a: RETURNDATASIZE 0000158b: DUP3 0000158c: MSTORE 0000158d: RETURNDATASIZE 0000158e: PUSH1 0x00 00001590: PUSH1 0x20 00001592: DUP5 00001593: ADD 00001594: RETURNDATACOPY 00001595: PUSH2 0x159e 00001598: JUMP 00001599: JUMPDEST 0000159a: PUSH1 0x60 0000159c: SWAP2 0000159d: POP 0000159e: JUMPDEST 0000159f: POP 000015a0: SWAP2 000015a1: POP 000015a2: SWAP2 000015a3: POP 000015a4: GAS 000015a5: SWAP4 000015a6: POP 000015a7: PUSH1 0x01 000015a9: PUSH1 0xff 000015ab: DUP5 000015ac: AND 000015ad: SHL 000015ae: DUP10 000015af: AND 000015b0: PUSH2 0x15f2 000015b3: JUMPI 000015b4: DUP2 000015b5: PUSH2 0x15ed 000015b8: JUMPI 000015b9: PUSH1 0x40 000015bb: MLOAD 000015bc: PUSH32 0xa6a7dbbd00000000000000000000000000000000000000000000000000000000 000015dd: DUP2 000015de: MSTORE 000015df: PUSH1 0x04 000015e1: DUP2 000015e2: ADD 000015e3: DUP5 000015e4: SWAP1 000015e5: MSTORE 000015e6: PUSH1 0x24 000015e8: ADD 000015e9: PUSH2 0x07f6 000015ec: JUMP 000015ed: JUMPDEST 000015ee: PUSH2 0x1647 000015f1: JUMP 000015f2: JUMPDEST 000015f3: DUP2 000015f4: PUSH2 0x1647 000015f7: JUMPI 000015f8: PUSH2 0x1602 000015fb: PUSH1 0x40 000015fd: DUP7 000015fe: PUSH2 0x37a7 00001601: JUMP 00001602: JUMPDEST 00001603: DUP5 00001604: LT 00001605: ISZERO 00001606: PUSH2 0x163b 00001609: JUMPI 0000160a: PUSH1 0x40 0000160c: MLOAD 0000160d: PUSH32 0x1c26714c00000000000000000000000000000000000000000000000000000000 0000162e: DUP2 0000162f: MSTORE 00001630: PUSH1 0x04 00001632: ADD 00001633: PUSH1 0x40 00001635: MLOAD 00001636: DUP1 00001637: SWAP2 00001638: SUB 00001639: SWAP1 0000163a: REVERT 0000163b: JUMPDEST 0000163c: PUSH1 0x01 0000163e: PUSH1 0xff 00001640: DUP5 00001641: AND 00001642: SHL 00001643: DUP8 00001644: XOR 00001645: SWAP7 00001646: POP 00001647: JUMPDEST 00001648: DUP1 00001649: DUP9 0000164a: DUP5 0000164b: DUP2 0000164c: MLOAD 0000164d: DUP2 0000164e: LT 0000164f: PUSH2 0x165a 00001652: JUMPI 00001653: PUSH2 0x165a 00001656: PUSH2 0x35a9 00001659: JUMP 0000165a: JUMPDEST 0000165b: PUSH1 0x20 0000165d: SWAP1 0000165e: DUP2 0000165f: MUL 00001660: SWAP2 00001661: SWAP1 00001662: SWAP2 00001663: ADD 00001664: ADD 00001665: MSTORE 00001666: POP 00001667: POP 00001668: PUSH1 0x01 0000166a: ADD 0000166b: PUSH2 0x14ab 0000166e: JUMP 0000166f: JUMPDEST 00001670: POP 00001671: CALLER 00001672: PUSH1 0x01 00001674: PUSH1 0x01 00001676: PUSH1 0xa0 00001678: SHL 00001679: SUB 0000167a: AND 0000167b: PUSH32 0xd4e57c2049f004fb297ef78591cd409503ceb6b2c722d7ffed032fc99e5f3b58 0000169c: DUP11 0000169d: DUP11 0000169e: DUP11 0000169f: DUP11 000016a0: DUP10 000016a1: DUP12 000016a2: PUSH1 0x40 000016a4: MLOAD 000016a5: PUSH2 0x16b3 000016a8: SWAP7 000016a9: SWAP6 000016aa: SWAP5 000016ab: SWAP4 000016ac: SWAP3 000016ad: SWAP2 000016ae: SWAP1 000016af: PUSH2 0x37c9 000016b2: JUMP 000016b3: JUMPDEST 000016b4: PUSH1 0x40 000016b6: MLOAD 000016b7: DUP1 000016b8: SWAP2 000016b9: SUB 000016ba: SWAP1 000016bb: LOG2 000016bc: POP 000016bd: POP 000016be: PUSH1 0x01 000016c0: PUSH2 0x0130 000016c3: SSTORE 000016c4: POP 000016c5: SWAP1 000016c6: SWAP6 000016c7: SWAP1 000016c8: SWAP5 000016c9: POP 000016ca: SWAP3 000016cb: POP 000016cc: POP 000016cd: POP 000016ce: JUMP 000016cf: JUMPDEST 000016d0: PUSH32 0x815fe80e4b37c8582a3b773d1d7071f983eacfd56b5965db654f3087c25ada33 000016f1: PUSH2 0x16f9 000016f4: DUP2 000016f5: PUSH2 0x1abb 000016f8: JUMP 000016f9: JUMPDEST 000016fa: PUSH2 0x0ab4 000016fd: DUP6 000016fe: DUP6 000016ff: DUP6 00001700: DUP6 00001701: PUSH2 0x223e 00001704: JUMP 00001705: JUMPDEST 00001706: PUSH32 0x815fe80e4b37c8582a3b773d1d7071f983eacfd56b5965db654f3087c25ada33 00001727: PUSH2 0x172f 0000172a: DUP2 0000172b: PUSH2 0x1abb 0000172e: JUMP 0000172f: JUMPDEST 00001730: PUSH2 0x173a 00001733: DUP5 00001734: DUP5 00001735: DUP5 00001736: PUSH2 0x1b83 00001739: JUMP 0000173a: JUMPDEST 0000173b: POP 0000173c: POP 0000173d: POP 0000173e: POP 0000173f: JUMP 00001740: JUMPDEST 00001741: PUSH32 0x815fe80e4b37c8582a3b773d1d7071f983eacfd56b5965db654f3087c25ada33 00001762: PUSH2 0x176a 00001765: DUP2 00001766: PUSH2 0x1abb 00001769: JUMP 0000176a: JUMPDEST 0000176b: PUSH2 0x173a 0000176e: DUP5 0000176f: DUP5 00001770: DUP5 00001771: PUSH2 0x1cdc 00001774: JUMP 00001775: JUMPDEST 00001776: PUSH32 0x06d294bc8cbad2e393408b20dd019a772661f60b8d633e56761157cb1ec85f8c 00001797: PUSH2 0x179f 0000179a: DUP2 0000179b: PUSH2 0x1abb 0000179e: JUMP 0000179f: JUMPDEST 000017a0: PUSH2 0x1069 000017a3: DUP3 000017a4: PUSH2 0x25cd 000017a7: JUMP 000017a8: JUMPDEST 000017a9: PUSH32 0x815fe80e4b37c8582a3b773d1d7071f983eacfd56b5965db654f3087c25ada33 000017ca: PUSH2 0x17d2 000017cd: DUP2 000017ce: PUSH2 0x1abb 000017d1: JUMP 000017d2: JUMPDEST 000017d3: PUSH1 0x00 000017d5: JUMPDEST 000017d6: DUP3 000017d7: DUP2 000017d8: LT 000017d9: ISZERO 000017da: PUSH2 0x173a 000017dd: JUMPI 000017de: PUSH1 0x00 000017e0: DUP5 000017e1: DUP5 000017e2: DUP4 000017e3: DUP2 000017e4: DUP2 000017e5: LT 000017e6: PUSH2 0x17f1 000017e9: JUMPI 000017ea: PUSH2 0x17f1 000017ed: PUSH2 0x35a9 000017f0: JUMP 000017f1: JUMPDEST 000017f2: SWAP1 000017f3: POP 000017f4: PUSH1 0xa0 000017f6: MUL 000017f7: ADD 000017f8: DUP1 000017f9: CALLDATASIZE 000017fa: SUB 000017fb: DUP2 000017fc: ADD 000017fd: SWAP1 000017fe: PUSH2 0x1807 00001801: SWAP2 00001802: SWAP1 00001803: PUSH2 0x38f5 00001806: JUMP 00001807: JUMPDEST 00001808: SWAP1 00001809: POP 0000180a: PUSH1 0x00 0000180c: DUP2 0000180d: MLOAD 0000180e: PUSH1 0x02 00001810: DUP2 00001811: GT 00001812: ISZERO 00001813: PUSH2 0x181e 00001816: JUMPI 00001817: PUSH2 0x181e 0000181a: PUSH2 0x363c 0000181d: JUMP 0000181e: JUMPDEST 0000181f: SUB 00001820: PUSH2 0x183f 00001823: JUMPI 00001824: PUSH2 0x183a 00001827: DUP2 00001828: PUSH1 0x20 0000182a: ADD 0000182b: MLOAD 0000182c: DUP3 0000182d: PUSH1 0x40 0000182f: ADD 00001830: MLOAD 00001831: DUP4 00001832: PUSH1 0x80 00001834: ADD 00001835: MLOAD 00001836: PUSH2 0x1b83 00001839: JUMP 0000183a: JUMPDEST 0000183b: PUSH2 0x18a6 0000183e: JUMP 0000183f: JUMPDEST 00001840: PUSH1 0x01 00001842: DUP2 00001843: MLOAD 00001844: PUSH1 0x02 00001846: DUP2 00001847: GT 00001848: ISZERO 00001849: PUSH2 0x1854 0000184c: JUMPI 0000184d: PUSH2 0x1854 00001850: PUSH2 0x363c 00001853: JUMP 00001854: JUMPDEST 00001855: SUB 00001856: PUSH2 0x1870 00001859: JUMPI 0000185a: PUSH2 0x183a 0000185d: DUP2 0000185e: PUSH1 0x20 00001860: ADD 00001861: MLOAD 00001862: DUP3 00001863: PUSH1 0x40 00001865: ADD 00001866: MLOAD 00001867: DUP4 00001868: PUSH1 0x80 0000186a: ADD 0000186b: MLOAD 0000186c: PUSH2 0x1cdc 0000186f: JUMP 00001870: JUMPDEST 00001871: PUSH1 0x02 00001873: DUP2 00001874: MLOAD 00001875: PUSH1 0x02 00001877: DUP2 00001878: GT 00001879: ISZERO 0000187a: PUSH2 0x1885 0000187d: JUMPI 0000187e: PUSH2 0x1885 00001881: PUSH2 0x363c 00001884: JUMP 00001885: JUMPDEST 00001886: SUB 00001887: PUSH2 0x18a6 0000188a: JUMPI 0000188b: PUSH2 0x18a6 0000188e: DUP2 0000188f: PUSH1 0x20 00001891: ADD 00001892: MLOAD 00001893: DUP3 00001894: PUSH1 0x40 00001896: ADD 00001897: MLOAD 00001898: DUP4 00001899: PUSH1 0x80 0000189b: ADD 0000189c: MLOAD 0000189d: DUP5 0000189e: PUSH1 0x60 000018a0: ADD 000018a1: MLOAD 000018a2: PUSH2 0x223e 000018a5: JUMP 000018a6: JUMPDEST 000018a7: POP 000018a8: PUSH1 0x01 000018aa: ADD 000018ab: PUSH2 0x17d5 000018ae: JUMP 000018af: JUMPDEST 000018b0: PUSH1 0x00 000018b2: SLOAD 000018b3: PUSH1 0x02 000018b5: SWAP1 000018b6: PUSH2 0x0100 000018b9: SWAP1 000018ba: DIV 000018bb: PUSH1 0xff 000018bd: AND 000018be: ISZERO 000018bf: DUP1 000018c0: ISZERO 000018c1: PUSH2 0x18d1 000018c4: JUMPI 000018c5: POP 000018c6: PUSH1 0x00 000018c8: SLOAD 000018c9: PUSH1 0xff 000018cb: DUP1 000018cc: DUP4 000018cd: AND 000018ce: SWAP2 000018cf: AND 000018d0: LT 000018d1: JUMPDEST 000018d2: PUSH2 0x1943 000018d5: JUMPI 000018d6: PUSH1 0x40 000018d8: MLOAD 000018d9: PUSH3 0x461bcd 000018dd: PUSH1 0xe5 000018df: SHL 000018e0: DUP2 000018e1: MSTORE 000018e2: PUSH1 0x20 000018e4: PUSH1 0x04 000018e6: DUP3 000018e7: ADD 000018e8: MSTORE 000018e9: PUSH1 0x2e 000018eb: PUSH1 0x24 000018ed: DUP3 000018ee: ADD 000018ef: MSTORE 000018f0: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00001911: PUSH1 0x44 00001913: DUP3 00001914: ADD 00001915: MSTORE 00001916: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00001937: PUSH1 0x64 00001939: DUP3 0000193a: ADD 0000193b: MSTORE 0000193c: PUSH1 0x84 0000193e: ADD 0000193f: PUSH2 0x07f6 00001942: JUMP 00001943: JUMPDEST 00001944: PUSH1 0x00 00001946: DUP1 00001947: SLOAD 00001948: PUSH2 0xffff 0000194b: NOT 0000194c: AND 0000194d: PUSH1 0xff 0000194f: DUP4 00001950: AND 00001951: OR 00001952: PUSH2 0x0100 00001955: OR 00001956: SWAP1 00001957: SSTORE 00001958: PUSH1 0x01 0000195a: PUSH2 0x0130 0000195d: SSTORE 0000195e: PUSH2 0x1986 00001961: PUSH32 0x9385547e00000000000000000000000000000000000000000000000000000000 00001982: PUSH2 0x2119 00001985: JUMP 00001986: JUMPDEST 00001987: PUSH2 0x19af 0000198a: PUSH32 0x1626ba7e00000000000000000000000000000000000000000000000000000000 000019ab: PUSH2 0x2119 000019ae: JUMP 000019af: JUMPDEST 000019b0: PUSH2 0x19d8 000019b3: PUSH32 0x7034731b00000000000000000000000000000000000000000000000000000000 000019d4: PUSH2 0x2119 000019d7: JUMP 000019d8: JUMPDEST 000019d9: PUSH2 0x1a01 000019dc: PUSH32 0x2ae9c60000000000000000000000000000000000000000000000000000000000 000019fd: PUSH2 0x2119 00001a00: JUMP 00001a01: JUMPDEST 00001a02: PUSH2 0x1a09 00001a05: PUSH2 0x262f 00001a08: JUMP 00001a09: JUMPDEST 00001a0a: PUSH2 0x1a13 00001a0d: DUP8 00001a0e: DUP8 00001a0f: PUSH2 0x273c 00001a12: JUMP 00001a13: JUMPDEST 00001a14: PUSH2 0x1a1c 00001a17: DUP5 00001a18: PUSH2 0x25cd 00001a1b: JUMP 00001a1c: JUMPDEST 00001a1d: PUSH2 0x1a26 00001a20: DUP4 00001a21: DUP4 00001a22: PUSH2 0x1b43 00001a25: JUMP 00001a26: JUMPDEST 00001a27: PUSH2 0x1a2f 00001a2a: DUP6 00001a2b: PUSH2 0x276d 00001a2e: JUMP 00001a2f: JUMPDEST 00001a30: PUSH1 0x00 00001a32: DUP1 00001a33: SLOAD 00001a34: PUSH2 0xff00 00001a37: NOT 00001a38: AND 00001a39: SWAP1 00001a3a: SSTORE 00001a3b: PUSH1 0x40 00001a3d: MLOAD 00001a3e: PUSH1 0xff 00001a40: DUP3 00001a41: AND 00001a42: DUP2 00001a43: MSTORE 00001a44: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00001a65: SWAP1 00001a66: PUSH1 0x20 00001a68: ADD 00001a69: PUSH1 0x40 00001a6b: MLOAD 00001a6c: DUP1 00001a6d: SWAP2 00001a6e: SUB 00001a6f: SWAP1 00001a70: LOG1 00001a71: POP 00001a72: POP 00001a73: POP 00001a74: POP 00001a75: POP 00001a76: POP 00001a77: POP 00001a78: JUMP 00001a79: JUMPDEST 00001a7a: PUSH32 0x4707e94b25cfce1a7c363508fbb838c35864388ad77284b248282b9746982b9b 00001a9b: PUSH2 0x1aa3 00001a9e: DUP2 00001a9f: PUSH2 0x1abb 00001aa2: JUMP 00001aa3: JUMPDEST 00001aa4: PUSH2 0x08ea 00001aa7: DUP4 00001aa8: DUP4 00001aa9: PUSH2 0x273c 00001aac: JUMP 00001aad: JUMPDEST 00001aae: PUSH1 0x00 00001ab0: PUSH2 0x0afb 00001ab3: DUP6 00001ab4: DUP6 00001ab5: DUP6 00001ab6: DUP6 00001ab7: PUSH2 0x0abb 00001aba: JUMP 00001abb: JUMPDEST 00001abc: PUSH2 0x1afe 00001abf: ADDRESS 00001ac0: CALLER 00001ac1: DUP4 00001ac2: PUSH1 0x00 00001ac4: CALLDATASIZE 00001ac5: DUP1 00001ac6: DUP1 00001ac7: PUSH1 0x1f 00001ac9: ADD 00001aca: PUSH1 0x20 00001acc: DUP1 00001acd: SWAP2 00001ace: DIV 00001acf: MUL 00001ad0: PUSH1 0x20 00001ad2: ADD 00001ad3: PUSH1 0x40 00001ad5: MLOAD 00001ad6: SWAP1 00001ad7: DUP2 00001ad8: ADD 00001ad9: PUSH1 0x40 00001adb: MSTORE 00001adc: DUP1 00001add: SWAP4 00001ade: SWAP3 00001adf: SWAP2 00001ae0: SWAP1 00001ae1: DUP2 00001ae2: DUP2 00001ae3: MSTORE 00001ae4: PUSH1 0x20 00001ae6: ADD 00001ae7: DUP4 00001ae8: DUP4 00001ae9: DUP1 00001aea: DUP3 00001aeb: DUP5 00001aec: CALLDATACOPY 00001aed: PUSH1 0x00 00001aef: SWAP3 00001af0: ADD 00001af1: SWAP2 00001af2: SWAP1 00001af3: SWAP2 00001af4: MSTORE 00001af5: POP 00001af6: PUSH2 0x0abb 00001af9: SWAP3 00001afa: POP 00001afb: POP 00001afc: POP 00001afd: JUMP 00001afe: JUMPDEST 00001aff: PUSH2 0x0cca 00001b02: JUMPI 00001b03: PUSH1 0x40 00001b05: MLOAD 00001b06: PUSH32 0x1e09743f00000000000000000000000000000000000000000000000000000000 00001b27: DUP2 00001b28: MSTORE 00001b29: ADDRESS 00001b2a: PUSH1 0x04 00001b2c: DUP3 00001b2d: ADD 00001b2e: MSTORE 00001b2f: CALLER 00001b30: PUSH1 0x24 00001b32: DUP3 00001b33: ADD 00001b34: MSTORE 00001b35: PUSH1 0x44 00001b37: DUP2 00001b38: ADD 00001b39: DUP3 00001b3a: SWAP1 00001b3b: MSTORE 00001b3c: PUSH1 0x64 00001b3e: ADD 00001b3f: PUSH2 0x07f6 00001b42: JUMP 00001b43: JUMPDEST 00001b44: PUSH2 0x012f 00001b47: PUSH2 0x1b51 00001b4a: DUP3 00001b4b: DUP5 00001b4c: DUP4 00001b4d: PUSH2 0x39d2 00001b50: JUMP 00001b51: JUMPDEST 00001b52: POP 00001b53: PUSH32 0xe9b617ecb5f63f6a9ccd8d4d5fa0d7b2ef9b17ce3f48e6b135808d6a40e67742 00001b74: DUP3 00001b75: DUP3 00001b76: PUSH1 0x40 00001b78: MLOAD 00001b79: PUSH2 0x0d4f 00001b7c: SWAP3 00001b7d: SWAP2 00001b7e: SWAP1 00001b7f: PUSH2 0x3a92 00001b82: JUMP 00001b83: JUMPDEST 00001b84: PUSH1 0x01 00001b86: PUSH1 0x01 00001b88: PUSH1 0xa0 00001b8a: SHL 00001b8b: SUB 00001b8c: DUP4 00001b8d: DUP2 00001b8e: AND 00001b8f: EQ 00001b90: DUP1 00001b91: PUSH2 0x1ba2 00001b94: JUMPI 00001b95: POP 00001b96: PUSH1 0x01 00001b98: PUSH1 0x01 00001b9a: PUSH1 0xa0 00001b9c: SHL 00001b9d: SUB 00001b9e: DUP3 00001b9f: DUP2 00001ba0: AND 00001ba1: EQ 00001ba2: JUMPDEST 00001ba3: ISZERO 00001ba4: PUSH2 0x1bd9 00001ba7: JUMPI 00001ba8: PUSH1 0x40 00001baa: MLOAD 00001bab: PUSH32 0x24159e5b00000000000000000000000000000000000000000000000000000000 00001bcc: DUP2 00001bcd: MSTORE 00001bce: PUSH1 0x04 00001bd0: ADD 00001bd1: PUSH1 0x40 00001bd3: MLOAD 00001bd4: DUP1 00001bd5: SWAP2 00001bd6: SUB 00001bd7: SWAP1 00001bd8: REVERT 00001bd9: JUMPDEST 00001bda: PUSH1 0x40 00001bdc: DUP1 00001bdd: MLOAD 00001bde: PUSH10 0x2822a926a4a9a9a4a7a7 00001be9: PUSH1 0xb1 00001beb: SHL 00001bec: PUSH1 0x20 00001bee: DUP1 00001bef: DUP4 00001bf0: ADD 00001bf1: SWAP2 00001bf2: SWAP1 00001bf3: SWAP2 00001bf4: MSTORE 00001bf5: PUSH12 0xffffffffffffffffffffffff 00001c02: NOT 00001c03: PUSH1 0x60 00001c05: DUP7 00001c06: DUP2 00001c07: SHL 00001c08: DUP3 00001c09: AND 00001c0a: PUSH1 0x2a 00001c0c: DUP6 00001c0d: ADD 00001c0e: MSTORE 00001c0f: DUP8 00001c10: SWAP1 00001c11: SHL 00001c12: AND 00001c13: PUSH1 0x3e 00001c15: DUP4 00001c16: ADD 00001c17: MSTORE 00001c18: PUSH1 0x52 00001c1a: DUP1 00001c1b: DUP4 00001c1c: ADD 00001c1d: DUP6 00001c1e: SWAP1 00001c1f: MSTORE 00001c20: DUP4 00001c21: MLOAD 00001c22: DUP1 00001c23: DUP5 00001c24: SUB 00001c25: SWAP1 00001c26: SWAP2 00001c27: ADD 00001c28: DUP2 00001c29: MSTORE 00001c2a: PUSH1 0x72 00001c2c: SWAP1 00001c2d: SWAP3 00001c2e: ADD 00001c2f: SWAP1 00001c30: SWAP3 00001c31: MSTORE 00001c32: DUP1 00001c33: MLOAD 00001c34: SWAP2 00001c35: ADD 00001c36: KECCAK256 00001c37: PUSH1 0x00 00001c39: SWAP1 00001c3a: PUSH1 0x00 00001c3c: DUP2 00001c3d: DUP2 00001c3e: MSTORE 00001c3f: PUSH1 0xc9 00001c41: PUSH1 0x20 00001c43: MSTORE 00001c44: PUSH1 0x40 00001c46: SWAP1 00001c47: KECCAK256 00001c48: SLOAD 00001c49: SWAP1 00001c4a: SWAP2 00001c4b: POP 00001c4c: PUSH1 0x01 00001c4e: PUSH1 0x01 00001c50: PUSH1 0xa0 00001c52: SHL 00001c53: SUB 00001c54: AND 00001c55: DUP1 00001c56: PUSH2 0x0ab4 00001c59: JUMPI 00001c5a: PUSH1 0x00 00001c5c: DUP3 00001c5d: DUP2 00001c5e: MSTORE 00001c5f: PUSH1 0xc9 00001c61: PUSH1 0x20 00001c63: SWAP1 00001c64: DUP2 00001c65: MSTORE 00001c66: PUSH1 0x40 00001c68: SWAP2 00001c69: DUP3 00001c6a: SWAP1 00001c6b: KECCAK256 00001c6c: DUP1 00001c6d: SLOAD 00001c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c83: NOT 00001c84: AND 00001c85: PUSH1 0x02 00001c87: SWAP1 00001c88: DUP2 00001c89: OR 00001c8a: SWAP1 00001c8b: SWAP2 00001c8c: SSTORE 00001c8d: DUP3 00001c8e: MLOAD 00001c8f: PUSH1 0x01 00001c91: PUSH1 0x01 00001c93: PUSH1 0xa0 00001c95: SHL 00001c96: SUB 00001c97: DUP10 00001c98: DUP2 00001c99: AND 00001c9a: DUP3 00001c9b: MSTORE 00001c9c: SWAP3 00001c9d: DUP2 00001c9e: ADD 00001c9f: SWAP2 00001ca0: SWAP1 00001ca1: SWAP2 00001ca2: MSTORE 00001ca3: SWAP1 00001ca4: DUP7 00001ca5: AND 00001ca6: SWAP2 00001ca7: CALLER 00001ca8: SWAP2 00001ca9: DUP7 00001caa: SWAP2 00001cab: PUSH32 0x0f579ad49235a8c1fd9041427e7067b1eb10926bbed380bf6fabc73e0e807644 00001ccc: SWAP2 00001ccd: ADD 00001cce: PUSH1 0x40 00001cd0: MLOAD 00001cd1: DUP1 00001cd2: SWAP2 00001cd3: SUB 00001cd4: SWAP1 00001cd5: LOG4 00001cd6: POP 00001cd7: POP 00001cd8: POP 00001cd9: POP 00001cda: POP 00001cdb: JUMP 00001cdc: JUMPDEST 00001cdd: PUSH1 0x40 00001cdf: DUP1 00001ce0: MLOAD 00001ce1: PUSH10 0x2822a926a4a9a9a4a7a7 00001cec: PUSH1 0xb1 00001cee: SHL 00001cef: PUSH1 0x20 00001cf1: DUP1 00001cf2: DUP4 00001cf3: ADD 00001cf4: SWAP2 00001cf5: SWAP1 00001cf6: SWAP2 00001cf7: MSTORE 00001cf8: PUSH12 0xffffffffffffffffffffffff 00001d05: NOT 00001d06: PUSH1 0x60 00001d08: DUP7 00001d09: DUP2 00001d0a: SHL 00001d0b: DUP3 00001d0c: AND 00001d0d: PUSH1 0x2a 00001d0f: DUP6 00001d10: ADD 00001d11: MSTORE 00001d12: DUP8 00001d13: SWAP1 00001d14: SHL 00001d15: AND 00001d16: PUSH1 0x3e 00001d18: DUP4 00001d19: ADD 00001d1a: MSTORE 00001d1b: PUSH1 0x52 00001d1d: DUP1 00001d1e: DUP4 00001d1f: ADD 00001d20: DUP6 00001d21: SWAP1 00001d22: MSTORE 00001d23: DUP4 00001d24: MLOAD 00001d25: DUP1 00001d26: DUP5 00001d27: SUB 00001d28: SWAP1 00001d29: SWAP2 00001d2a: ADD 00001d2b: DUP2 00001d2c: MSTORE 00001d2d: PUSH1 0x72 00001d2f: SWAP1 00001d30: SWAP3 00001d31: ADD 00001d32: SWAP1 00001d33: SWAP3 00001d34: MSTORE 00001d35: DUP1 00001d36: MLOAD 00001d37: SWAP2 00001d38: ADD 00001d39: KECCAK256 00001d3a: PUSH1 0x00 00001d3c: SWAP1 00001d3d: PUSH1 0x00 00001d3f: DUP2 00001d40: DUP2 00001d41: MSTORE 00001d42: PUSH1 0xc9 00001d44: PUSH1 0x20 00001d46: MSTORE 00001d47: PUSH1 0x40 00001d49: SWAP1 00001d4a: KECCAK256 00001d4b: SLOAD 00001d4c: SWAP1 00001d4d: SWAP2 00001d4e: POP 00001d4f: PUSH1 0x01 00001d51: PUSH1 0x01 00001d53: PUSH1 0xa0 00001d55: SHL 00001d56: SUB 00001d57: AND 00001d58: ISZERO 00001d59: PUSH2 0x173a 00001d5c: JUMPI 00001d5d: PUSH1 0x00 00001d5f: DUP2 00001d60: DUP2 00001d61: MSTORE 00001d62: PUSH1 0xc9 00001d64: PUSH1 0x20 00001d66: SWAP1 00001d67: DUP2 00001d68: MSTORE 00001d69: PUSH1 0x40 00001d6b: SWAP2 00001d6c: DUP3 00001d6d: SWAP1 00001d6e: KECCAK256 00001d6f: DUP1 00001d70: SLOAD 00001d71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d86: NOT 00001d87: AND 00001d88: SWAP1 00001d89: SSTORE 00001d8a: SWAP1 00001d8b: MLOAD 00001d8c: PUSH1 0x01 00001d8e: PUSH1 0x01 00001d90: PUSH1 0xa0 00001d92: SHL 00001d93: SUB 00001d94: DUP7 00001d95: DUP2 00001d96: AND 00001d97: DUP3 00001d98: MSTORE 00001d99: DUP6 00001d9a: AND 00001d9b: SWAP2 00001d9c: CALLER 00001d9d: SWAP2 00001d9e: DUP6 00001d9f: SWAP2 00001da0: PUSH32 0x3ca48185ec3f6e47e24db18b13f1c65b1ce05da1659f9c1c4fe717dda5f67524 00001dc1: SWAP2 00001dc2: ADD 00001dc3: PUSH1 0x40 00001dc5: MLOAD 00001dc6: DUP1 00001dc7: SWAP2 00001dc8: SUB 00001dc9: SWAP1 00001dca: LOG4 00001dcb: POP 00001dcc: POP 00001dcd: POP 00001dce: POP 00001dcf: JUMP 00001dd0: JUMPDEST 00001dd1: PUSH1 0x00 00001dd3: DUP1 00001dd4: PUSH1 0xc9 00001dd6: PUSH1 0x00 00001dd8: PUSH2 0x1e42 00001ddb: DUP9 00001ddc: DUP9 00001ddd: DUP9 00001dde: PUSH1 0x40 00001de0: MLOAD 00001de1: PUSH10 0x2822a926a4a9a9a4a7a7 00001dec: PUSH1 0xb1 00001dee: SHL 00001def: PUSH1 0x20 00001df1: DUP3 00001df2: ADD 00001df3: MSTORE 00001df4: PUSH12 0xffffffffffffffffffffffff 00001e01: NOT 00001e02: PUSH1 0x60 00001e04: DUP5 00001e05: DUP2 00001e06: SHL 00001e07: DUP3 00001e08: AND 00001e09: PUSH1 0x2a 00001e0b: DUP5 00001e0c: ADD 00001e0d: MSTORE 00001e0e: DUP6 00001e0f: SWAP1 00001e10: SHL 00001e11: AND 00001e12: PUSH1 0x3e 00001e14: DUP3 00001e15: ADD 00001e16: MSTORE 00001e17: PUSH1 0x52 00001e19: DUP2 00001e1a: ADD 00001e1b: DUP3 00001e1c: SWAP1 00001e1d: MSTORE 00001e1e: PUSH1 0x00 00001e20: SWAP1 00001e21: PUSH1 0x72 00001e23: ADD 00001e24: PUSH1 0x40 00001e26: MLOAD 00001e27: PUSH1 0x20 00001e29: DUP2 00001e2a: DUP4 00001e2b: SUB 00001e2c: SUB 00001e2d: DUP2 00001e2e: MSTORE 00001e2f: SWAP1 00001e30: PUSH1 0x40 00001e32: MSTORE 00001e33: DUP1 00001e34: MLOAD 00001e35: SWAP1 00001e36: PUSH1 0x20 00001e38: ADD 00001e39: KECCAK256 00001e3a: SWAP1 00001e3b: POP 00001e3c: SWAP4 00001e3d: SWAP3 00001e3e: POP 00001e3f: POP 00001e40: POP 00001e41: JUMP 00001e42: JUMPDEST 00001e43: DUP2 00001e44: MSTORE 00001e45: PUSH1 0x20 00001e47: DUP2 00001e48: ADD 00001e49: SWAP2 00001e4a: SWAP1 00001e4b: SWAP2 00001e4c: MSTORE 00001e4d: PUSH1 0x40 00001e4f: ADD 00001e50: PUSH1 0x00 00001e52: KECCAK256 00001e53: SLOAD 00001e54: PUSH1 0x01 00001e56: PUSH1 0x01 00001e58: PUSH1 0xa0 00001e5a: SHL 00001e5b: SUB 00001e5c: AND 00001e5d: SWAP1 00001e5e: POP 00001e5f: DUP1 00001e60: PUSH2 0x1e6d 00001e63: JUMPI 00001e64: PUSH1 0x00 00001e66: SWAP2 00001e67: POP 00001e68: POP 00001e69: PUSH2 0x0afe 00001e6c: JUMP 00001e6d: JUMPDEST 00001e6e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe 00001e8f: PUSH1 0x01 00001e91: PUSH1 0x01 00001e93: PUSH1 0xa0 00001e95: SHL 00001e96: SUB 00001e97: DUP3 00001e98: AND 00001e99: ADD 00001e9a: PUSH2 0x1ea7 00001e9d: JUMPI 00001e9e: PUSH1 0x01 00001ea0: SWAP2 00001ea1: POP 00001ea2: POP 00001ea3: PUSH2 0x0afe 00001ea6: JUMP 00001ea7: JUMPDEST 00001ea8: PUSH1 0x40 00001eaa: MLOAD 00001eab: PUSH32 0x2675fdd000000000000000000000000000000000000000000000000000000000 00001ecc: DUP2 00001ecd: MSTORE 00001ece: PUSH1 0x01 00001ed0: PUSH1 0x01 00001ed2: PUSH1 0xa0 00001ed4: SHL 00001ed5: SUB 00001ed6: DUP3 00001ed7: AND 00001ed8: SWAP1 00001ed9: PUSH4 0x2675fdd0 00001ede: SWAP1 00001edf: PUSH2 0x1ef2 00001ee2: SWAP1 00001ee3: DUP10 00001ee4: SWAP1 00001ee5: DUP10 00001ee6: SWAP1 00001ee7: DUP10 00001ee8: SWAP1 00001ee9: DUP10 00001eea: SWAP1 00001eeb: PUSH1 0x04 00001eed: ADD 00001eee: PUSH2 0x3aa6 00001ef1: JUMP 00001ef2: JUMPDEST 00001ef3: PUSH1 0x20 00001ef5: PUSH1 0x40 00001ef7: MLOAD 00001ef8: DUP1 00001ef9: DUP4 00001efa: SUB 00001efb: DUP2 00001efc: DUP7 00001efd: GAS 00001efe: STATICCALL 00001eff: SWAP3 00001f00: POP 00001f01: POP 00001f02: POP 00001f03: DUP1 00001f04: ISZERO 00001f05: PUSH2 0x1f2b 00001f08: JUMPI 00001f09: POP 00001f0a: PUSH1 0x40 00001f0c: DUP1 00001f0d: MLOAD 00001f0e: PUSH1 0x1f 00001f10: RETURNDATASIZE 00001f11: SWAP1 00001f12: DUP2 00001f13: ADD 00001f14: PUSH1 0x1f 00001f16: NOT 00001f17: AND 00001f18: DUP3 00001f19: ADD 00001f1a: SWAP1 00001f1b: SWAP3 00001f1c: MSTORE 00001f1d: PUSH2 0x1f28 00001f20: SWAP2 00001f21: DUP2 00001f22: ADD 00001f23: SWAP1 00001f24: PUSH2 0x3ae2 00001f27: JUMP 00001f28: JUMPDEST 00001f29: PUSH1 0x01 00001f2b: JUMPDEST 00001f2c: ISZERO 00001f2d: PUSH2 0x1f43 00001f30: JUMPI 00001f31: DUP1 00001f32: ISZERO 00001f33: PUSH2 0x1f41 00001f36: JUMPI 00001f37: PUSH1 0x01 00001f39: SWAP3 00001f3a: POP 00001f3b: POP 00001f3c: POP 00001f3d: PUSH2 0x0afe 00001f40: JUMP 00001f41: JUMPDEST 00001f42: POP 00001f43: JUMPDEST 00001f44: POP 00001f45: PUSH1 0x00 00001f47: SWAP6 00001f48: SWAP5 00001f49: POP 00001f4a: POP 00001f4b: POP 00001f4c: POP 00001f4d: POP 00001f4e: JUMP 00001f4f: JUMPDEST 00001f50: PUSH32 0x1f53edd44352e5d15bad2b29233baa93bcd595e09457780bc7c5445bbbe751cc 00001f71: PUSH2 0x1069 00001f74: DUP2 00001f75: PUSH2 0x1abb 00001f78: JUMP 00001f79: JUMPDEST 00001f7a: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143 00001f9b: SLOAD 00001f9c: PUSH1 0xff 00001f9e: AND 00001f9f: ISZERO 00001fa0: PUSH2 0x1fac 00001fa3: JUMPI 00001fa4: PUSH2 0x08ea 00001fa7: DUP4 00001fa8: PUSH2 0x27f3 00001fab: JUMP 00001fac: JUMPDEST 00001fad: DUP3 00001fae: PUSH1 0x01 00001fb0: PUSH1 0x01 00001fb2: PUSH1 0xa0 00001fb4: SHL 00001fb5: SUB 00001fb6: AND 00001fb7: PUSH4 0x52d1902d 00001fbc: PUSH1 0x40 00001fbe: MLOAD 00001fbf: DUP2 00001fc0: PUSH4 0xffffffff 00001fc5: AND 00001fc6: PUSH1 0xe0 00001fc8: SHL 00001fc9: DUP2 00001fca: MSTORE 00001fcb: PUSH1 0x04 00001fcd: ADD 00001fce: PUSH1 0x20 00001fd0: PUSH1 0x40 00001fd2: MLOAD 00001fd3: DUP1 00001fd4: DUP4 00001fd5: SUB 00001fd6: DUP2 00001fd7: DUP7 00001fd8: GAS 00001fd9: STATICCALL 00001fda: SWAP3 00001fdb: POP 00001fdc: POP 00001fdd: POP 00001fde: DUP1 00001fdf: ISZERO 00001fe0: PUSH2 0x2006 00001fe3: JUMPI 00001fe4: POP 00001fe5: PUSH1 0x40 00001fe7: DUP1 00001fe8: MLOAD 00001fe9: PUSH1 0x1f 00001feb: RETURNDATASIZE 00001fec: SWAP1 00001fed: DUP2 00001fee: ADD 00001fef: PUSH1 0x1f 00001ff1: NOT 00001ff2: AND 00001ff3: DUP3 00001ff4: ADD 00001ff5: SWAP1 00001ff6: SWAP3 00001ff7: MSTORE 00001ff8: PUSH2 0x2003 00001ffb: SWAP2 00001ffc: DUP2 00001ffd: ADD 00001ffe: SWAP1 00001fff: PUSH2 0x3b04 00002002: JUMP 00002003: JUMPDEST 00002004: PUSH1 0x01 00002006: JUMPDEST 00002007: PUSH2 0x2078 0000200a: JUMPI 0000200b: PUSH1 0x40 0000200d: MLOAD 0000200e: PUSH3 0x461bcd 00002012: PUSH1 0xe5 00002014: SHL 00002015: DUP2 00002016: MSTORE 00002017: PUSH1 0x20 00002019: PUSH1 0x04 0000201b: DUP3 0000201c: ADD 0000201d: MSTORE 0000201e: PUSH1 0x2e 00002020: PUSH1 0x24 00002022: DUP3 00002023: ADD 00002024: MSTORE 00002025: PUSH32 0x45524331393637557067726164653a206e657720696d706c656d656e74617469 00002046: PUSH1 0x44 00002048: DUP3 00002049: ADD 0000204a: MSTORE 0000204b: PUSH32 0x6f6e206973206e6f742055555053000000000000000000000000000000000000 0000206c: PUSH1 0x64 0000206e: DUP3 0000206f: ADD 00002070: MSTORE 00002071: PUSH1 0x84 00002073: ADD 00002074: PUSH2 0x07f6 00002077: JUMP 00002078: JUMPDEST 00002079: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000209a: DUP2 0000209b: EQ 0000209c: PUSH2 0x210d 0000209f: JUMPI 000020a0: PUSH1 0x40 000020a2: MLOAD 000020a3: PUSH3 0x461bcd 000020a7: PUSH1 0xe5 000020a9: SHL 000020aa: DUP2 000020ab: MSTORE 000020ac: PUSH1 0x20 000020ae: PUSH1 0x04 000020b0: DUP3 000020b1: ADD 000020b2: MSTORE 000020b3: PUSH1 0x29 000020b5: PUSH1 0x24 000020b7: DUP3 000020b8: ADD 000020b9: MSTORE 000020ba: PUSH32 0x45524331393637557067726164653a20756e737570706f727465642070726f78 000020db: PUSH1 0x44 000020dd: DUP3 000020de: ADD 000020df: MSTORE 000020e0: PUSH32 0x6961626c65555549440000000000000000000000000000000000000000000000 00002101: PUSH1 0x64 00002103: DUP3 00002104: ADD 00002105: MSTORE 00002106: PUSH1 0x84 00002108: ADD 00002109: PUSH2 0x07f6 0000210c: JUMP 0000210d: JUMPDEST 0000210e: POP 0000210f: PUSH2 0x08ea 00002112: DUP4 00002113: DUP4 00002114: DUP4 00002115: PUSH2 0x28be 00002118: JUMP 00002119: JUMPDEST 0000211a: PUSH1 0x01 0000211c: PUSH1 0x01 0000211e: PUSH1 0xe0 00002120: SHL 00002121: SUB 00002122: NOT 00002123: DUP1 00002124: DUP3 00002125: AND 00002126: SWAP1 00002127: SUB 00002128: PUSH2 0x2173 0000212b: JUMPI 0000212c: PUSH1 0x40 0000212e: MLOAD 0000212f: PUSH3 0x461bcd 00002133: PUSH1 0xe5 00002135: SHL 00002136: DUP2 00002137: MSTORE 00002138: PUSH1 0x20 0000213a: PUSH1 0x04 0000213c: DUP3 0000213d: ADD 0000213e: MSTORE 0000213f: PUSH1 0x1c 00002141: PUSH1 0x24 00002143: DUP3 00002144: ADD 00002145: MSTORE 00002146: PUSH32 0x4552433136353a20696e76616c696420696e7465726661636520696400000000 00002167: PUSH1 0x44 00002169: DUP3 0000216a: ADD 0000216b: MSTORE 0000216c: PUSH1 0x64 0000216e: ADD 0000216f: PUSH2 0x07f6 00002172: JUMP 00002173: JUMPDEST 00002174: PUSH1 0x01 00002176: PUSH1 0x01 00002178: PUSH1 0xe0 0000217a: SHL 0000217b: SUB 0000217c: NOT 0000217d: AND 0000217e: PUSH1 0x00 00002180: SWAP1 00002181: DUP2 00002182: MSTORE 00002183: PUSH1 0x33 00002185: PUSH1 0x20 00002187: MSTORE 00002188: PUSH1 0x40 0000218a: SWAP1 0000218b: KECCAK256 0000218c: DUP1 0000218d: SLOAD 0000218e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000021af: AND 000021b0: PUSH1 0x01 000021b2: OR 000021b3: SWAP1 000021b4: SSTORE 000021b5: JUMP 000021b6: JUMPDEST 000021b7: PUSH1 0x40 000021b9: DUP1 000021ba: MLOAD 000021bb: PUSH1 0x01 000021bd: PUSH1 0x01 000021bf: PUSH1 0xa0 000021c1: SHL 000021c2: SUB 000021c3: DUP6 000021c4: DUP2 000021c5: AND 000021c6: PUSH1 0x24 000021c8: DUP4 000021c9: ADD 000021ca: MSTORE 000021cb: DUP5 000021cc: AND 000021cd: PUSH1 0x44 000021cf: DUP3 000021d0: ADD 000021d1: MSTORE 000021d2: PUSH1 0x64 000021d4: DUP1 000021d5: DUP3 000021d6: ADD 000021d7: DUP5 000021d8: SWAP1 000021d9: MSTORE 000021da: DUP3 000021db: MLOAD 000021dc: DUP1 000021dd: DUP4 000021de: SUB 000021df: SWAP1 000021e0: SWAP2 000021e1: ADD 000021e2: DUP2 000021e3: MSTORE 000021e4: PUSH1 0x84 000021e6: SWAP1 000021e7: SWAP2 000021e8: ADD 000021e9: SWAP1 000021ea: SWAP2 000021eb: MSTORE 000021ec: PUSH1 0x20 000021ee: DUP2 000021ef: ADD 000021f0: DUP1 000021f1: MLOAD 000021f2: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000220f: AND 00002210: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00002231: OR 00002232: SWAP1 00002233: MSTORE 00002234: PUSH2 0x173a 00002237: SWAP1 00002238: DUP6 00002239: SWAP1 0000223a: PUSH2 0x28e3 0000223d: JUMP 0000223e: JUMPDEST 0000223f: DUP1 00002240: PUSH1 0x01 00002242: PUSH1 0x01 00002244: PUSH1 0xa0 00002246: SHL 00002247: SUB 00002248: DUP2 00002249: AND 0000224a: EXTCODESIZE 0000224b: PUSH2 0x228b 0000224e: JUMPI 0000224f: PUSH1 0x40 00002251: MLOAD 00002252: PUSH32 0x48359af600000000000000000000000000000000000000000000000000000000 00002273: DUP2 00002274: MSTORE 00002275: PUSH1 0x01 00002277: PUSH1 0x01 00002279: PUSH1 0xa0 0000227b: SHL 0000227c: SUB 0000227d: DUP4 0000227e: AND 0000227f: PUSH1 0x04 00002281: DUP3 00002282: ADD 00002283: MSTORE 00002284: PUSH1 0x24 00002286: ADD 00002287: PUSH2 0x07f6 0000228a: JUMP 0000228b: JUMPDEST 0000228c: PUSH1 0x40 0000228e: MLOAD 0000228f: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000022b0: DUP2 000022b1: MSTORE 000022b2: PUSH32 0x2675fdd000000000000000000000000000000000000000000000000000000000 000022d3: PUSH1 0x04 000022d5: DUP3 000022d6: ADD 000022d7: MSTORE 000022d8: PUSH1 0x01 000022da: PUSH1 0x01 000022dc: PUSH1 0xa0 000022de: SHL 000022df: SUB 000022e0: DUP3 000022e1: AND 000022e2: SWAP1 000022e3: PUSH4 0x01ffc9a7 000022e8: SWAP1 000022e9: PUSH1 0x24 000022eb: ADD 000022ec: PUSH1 0x20 000022ee: PUSH1 0x40 000022f0: MLOAD 000022f1: DUP1 000022f2: DUP4 000022f3: SUB 000022f4: DUP2 000022f5: DUP7 000022f6: GAS 000022f7: STATICCALL 000022f8: ISZERO 000022f9: DUP1 000022fa: ISZERO 000022fb: PUSH2 0x2308 000022fe: JUMPI 000022ff: RETURNDATASIZE 00002300: PUSH1 0x00 00002302: DUP1 00002303: RETURNDATACOPY 00002304: RETURNDATASIZE 00002305: PUSH1 0x00 00002307: REVERT 00002308: JUMPDEST 00002309: POP 0000230a: POP 0000230b: POP 0000230c: POP 0000230d: PUSH1 0x40 0000230f: MLOAD 00002310: RETURNDATASIZE 00002311: PUSH1 0x1f 00002313: NOT 00002314: PUSH1 0x1f 00002316: DUP3 00002317: ADD 00002318: AND 00002319: DUP3 0000231a: ADD 0000231b: DUP1 0000231c: PUSH1 0x40 0000231e: MSTORE 0000231f: POP 00002320: DUP2 00002321: ADD 00002322: SWAP1 00002323: PUSH2 0x232c 00002326: SWAP2 00002327: SWAP1 00002328: PUSH2 0x3ae2 0000232b: JUMP 0000232c: JUMPDEST 0000232d: PUSH2 0x236d 00002330: JUMPI 00002331: PUSH1 0x40 00002333: MLOAD 00002334: PUSH32 0x740b711600000000000000000000000000000000000000000000000000000000 00002355: DUP2 00002356: MSTORE 00002357: PUSH1 0x01 00002359: PUSH1 0x01 0000235b: PUSH1 0xa0 0000235d: SHL 0000235e: SUB 0000235f: DUP4 00002360: AND 00002361: PUSH1 0x04 00002363: DUP3 00002364: ADD 00002365: MSTORE 00002366: PUSH1 0x24 00002368: ADD 00002369: PUSH2 0x07f6 0000236c: JUMP 0000236d: JUMPDEST 0000236e: PUSH1 0x01 00002370: PUSH1 0x01 00002372: PUSH1 0xa0 00002374: SHL 00002375: SUB 00002376: DUP6 00002377: DUP2 00002378: AND 00002379: EQ 0000237a: DUP1 0000237b: ISZERO 0000237c: PUSH2 0x238d 0000237f: JUMPI 00002380: POP 00002381: PUSH1 0x01 00002383: PUSH1 0x01 00002385: PUSH1 0xa0 00002387: SHL 00002388: SUB 00002389: DUP5 0000238a: DUP2 0000238b: AND 0000238c: EQ 0000238d: JUMPDEST 0000238e: ISZERO 0000238f: PUSH2 0x23c4 00002392: JUMPI 00002393: PUSH1 0x40 00002395: MLOAD 00002396: PUSH32 0x85f1ba9900000000000000000000000000000000000000000000000000000000 000023b7: DUP2 000023b8: MSTORE 000023b9: PUSH1 0x04 000023bb: ADD 000023bc: PUSH1 0x40 000023be: MLOAD 000023bf: DUP1 000023c0: SWAP2 000023c1: SUB 000023c2: SWAP1 000023c3: REVERT 000023c4: JUMPDEST 000023c5: PUSH1 0x01 000023c7: PUSH1 0x01 000023c9: PUSH1 0xa0 000023cb: SHL 000023cc: SUB 000023cd: DUP6 000023ce: DUP2 000023cf: AND 000023d0: EQ 000023d1: DUP1 000023d2: PUSH2 0x23e3 000023d5: JUMPI 000023d6: POP 000023d7: PUSH1 0x01 000023d9: PUSH1 0x01 000023db: PUSH1 0xa0 000023dd: SHL 000023de: SUB 000023df: DUP5 000023e0: DUP2 000023e1: AND 000023e2: EQ 000023e3: JUMPDEST 000023e4: ISZERO 000023e5: PUSH2 0x2451 000023e8: JUMPI 000023e9: PUSH32 0x815fe80e4b37c8582a3b773d1d7071f983eacfd56b5965db654f3087c25ada33 0000240a: DUP4 0000240b: EQ 0000240c: DUP1 0000240d: PUSH2 0x241a 00002410: JUMPI 00002411: POP 00002412: PUSH2 0x241a 00002415: DUP4 00002416: PUSH2 0x29c8 00002419: JUMP 0000241a: JUMPDEST 0000241b: ISZERO 0000241c: PUSH2 0x2451 0000241f: JUMPI 00002420: PUSH1 0x40 00002422: MLOAD 00002423: PUSH32 0x24159e5b00000000000000000000000000000000000000000000000000000000 00002444: DUP2 00002445: MSTORE 00002446: PUSH1 0x04 00002448: ADD 00002449: PUSH1 0x40 0000244b: MLOAD 0000244c: DUP1 0000244d: SWAP2 0000244e: SUB 0000244f: SWAP1 00002450: REVERT 00002451: JUMPDEST 00002452: PUSH1 0x40 00002454: DUP1 00002455: MLOAD 00002456: PUSH10 0x2822a926a4a9a9a4a7a7 00002461: PUSH1 0xb1 00002463: SHL 00002464: PUSH1 0x20 00002466: DUP1 00002467: DUP4 00002468: ADD 00002469: SWAP2 0000246a: SWAP1 0000246b: SWAP2 0000246c: MSTORE 0000246d: PUSH12 0xffffffffffffffffffffffff 0000247a: NOT 0000247b: PUSH1 0x60 0000247d: DUP9 0000247e: DUP2 0000247f: SHL 00002480: DUP3 00002481: AND 00002482: PUSH1 0x2a 00002484: DUP6 00002485: ADD 00002486: MSTORE 00002487: DUP10 00002488: SWAP1 00002489: SHL 0000248a: AND 0000248b: PUSH1 0x3e 0000248d: DUP4 0000248e: ADD 0000248f: MSTORE 00002490: PUSH1 0x52 00002492: DUP1 00002493: DUP4 00002494: ADD 00002495: DUP8 00002496: SWAP1 00002497: MSTORE 00002498: DUP4 00002499: MLOAD 0000249a: DUP1 0000249b: DUP5 0000249c: SUB 0000249d: SWAP1 0000249e: SWAP2 0000249f: ADD 000024a0: DUP2 000024a1: MSTORE 000024a2: PUSH1 0x72 000024a4: SWAP1 000024a5: SWAP3 000024a6: ADD 000024a7: SWAP1 000024a8: SWAP3 000024a9: MSTORE 000024aa: DUP1 000024ab: MLOAD 000024ac: SWAP2 000024ad: ADD 000024ae: KECCAK256 000024af: PUSH1 0x00 000024b1: SWAP1 000024b2: PUSH1 0x00 000024b4: DUP2 000024b5: DUP2 000024b6: MSTORE 000024b7: PUSH1 0xc9 000024b9: PUSH1 0x20 000024bb: MSTORE 000024bc: PUSH1 0x40 000024be: SWAP1 000024bf: KECCAK256 000024c0: SLOAD 000024c1: SWAP1 000024c2: SWAP2 000024c3: POP 000024c4: PUSH1 0x01 000024c6: PUSH1 0x01 000024c8: PUSH1 0xa0 000024ca: SHL 000024cb: SUB 000024cc: AND 000024cd: DUP1 000024ce: PUSH2 0x254f 000024d1: JUMPI 000024d2: PUSH1 0x00 000024d4: DUP3 000024d5: DUP2 000024d6: MSTORE 000024d7: PUSH1 0xc9 000024d9: PUSH1 0x20 000024db: SWAP1 000024dc: DUP2 000024dd: MSTORE 000024de: PUSH1 0x40 000024e0: SWAP2 000024e1: DUP3 000024e2: SWAP1 000024e3: KECCAK256 000024e4: DUP1 000024e5: SLOAD 000024e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024fb: NOT 000024fc: AND 000024fd: PUSH1 0x01 000024ff: PUSH1 0x01 00002501: PUSH1 0xa0 00002503: SHL 00002504: SUB 00002505: DUP8 00002506: DUP2 00002507: AND 00002508: SWAP2 00002509: DUP3 0000250a: OR 0000250b: SWAP1 0000250c: SWAP3 0000250d: SSTORE 0000250e: DUP4 0000250f: MLOAD 00002510: DUP12 00002511: DUP4 00002512: AND 00002513: DUP2 00002514: MSTORE 00002515: SWAP3 00002516: DUP4 00002517: ADD 00002518: MSTORE 00002519: DUP9 0000251a: AND 0000251b: SWAP2 0000251c: CALLER 0000251d: SWAP2 0000251e: DUP9 0000251f: SWAP2 00002520: PUSH32 0x0f579ad49235a8c1fd9041427e7067b1eb10926bbed380bf6fabc73e0e807644 00002541: SWAP2 00002542: ADD 00002543: PUSH1 0x40 00002545: MLOAD 00002546: DUP1 00002547: SWAP2 00002548: SUB 00002549: SWAP1 0000254a: LOG4 0000254b: PUSH2 0x25c4 0000254e: JUMP 0000254f: JUMPDEST 00002550: DUP3 00002551: PUSH1 0x01 00002553: PUSH1 0x01 00002555: PUSH1 0xa0 00002557: SHL 00002558: SUB 00002559: AND 0000255a: DUP2 0000255b: PUSH1 0x01 0000255d: PUSH1 0x01 0000255f: PUSH1 0xa0 00002561: SHL 00002562: SUB 00002563: AND 00002564: EQ 00002565: PUSH2 0x25c4 00002568: JUMPI 00002569: PUSH1 0x40 0000256b: MLOAD 0000256c: PUSH32 0x0b98789e00000000000000000000000000000000000000000000000000000000 0000258d: DUP2 0000258e: MSTORE 0000258f: PUSH1 0x01 00002591: PUSH1 0x01 00002593: PUSH1 0xa0 00002595: SHL 00002596: SUB 00002597: DUP1 00002598: DUP10 00002599: AND 0000259a: PUSH1 0x04 0000259c: DUP4 0000259d: ADD 0000259e: MSTORE 0000259f: DUP1 000025a0: DUP9 000025a1: AND 000025a2: PUSH1 0x24 000025a4: DUP4 000025a5: ADD 000025a6: MSTORE 000025a7: PUSH1 0x44 000025a9: DUP3 000025aa: ADD 000025ab: DUP8 000025ac: SWAP1 000025ad: MSTORE 000025ae: DUP1 000025af: DUP4 000025b0: AND 000025b1: PUSH1 0x64 000025b3: DUP4 000025b4: ADD 000025b5: MSTORE 000025b6: DUP5 000025b7: AND 000025b8: PUSH1 0x84 000025ba: DUP3 000025bb: ADD 000025bc: MSTORE 000025bd: PUSH1 0xa4 000025bf: ADD 000025c0: PUSH2 0x07f6 000025c3: JUMP 000025c4: JUMPDEST 000025c5: POP 000025c6: POP 000025c7: POP 000025c8: POP 000025c9: POP 000025ca: POP 000025cb: POP 000025cc: JUMP 000025cd: JUMPDEST 000025ce: PUSH2 0x012e 000025d1: DUP1 000025d2: SLOAD 000025d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025e8: NOT 000025e9: AND 000025ea: PUSH1 0x01 000025ec: PUSH1 0x01 000025ee: PUSH1 0xa0 000025f0: SHL 000025f1: SUB 000025f2: DUP4 000025f3: AND 000025f4: SWAP1 000025f5: DUP2 000025f6: OR 000025f7: SWAP1 000025f8: SWAP2 000025f9: SSTORE 000025fa: PUSH1 0x40 000025fc: MLOAD 000025fd: SWAP1 000025fe: DUP2 000025ff: MSTORE 00002600: PUSH32 0xd91237492a9e30cd2faf361fc103998a382ff0ec2b1b07dc1cbebb76ae2f1ea2 00002621: SWAP1 00002622: PUSH1 0x20 00002624: ADD 00002625: PUSH1 0x40 00002627: MLOAD 00002628: DUP1 00002629: SWAP2 0000262a: SUB 0000262b: SWAP1 0000262c: LOG1 0000262d: POP 0000262e: JUMP 0000262f: JUMPDEST 00002630: PUSH2 0x2658 00002633: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 00002654: PUSH2 0x2119 00002657: JUMP 00002658: JUMPDEST 00002659: PUSH2 0x2681 0000265c: PUSH32 0x4e2312e000000000000000000000000000000000000000000000000000000000 0000267d: PUSH2 0x2119 00002680: JUMP 00002681: JUMPDEST 00002682: PUSH1 0xfb 00002684: PUSH1 0x20 00002686: MSTORE 00002687: PUSH32 0x5a08f87af82de422c581ce019b2e54a9c17372e9cba575ae0470ba2482d63686 000026a8: DUP1 000026a9: SLOAD 000026aa: PUSH4 0xffffffff 000026af: NOT 000026b0: SWAP1 000026b1: DUP2 000026b2: AND 000026b3: PUSH4 0x150b7a02 000026b8: OR 000026b9: SWAP1 000026ba: SWAP2 000026bb: SSTORE 000026bc: PUSH32 0xe1cfe341950d56d8854f782066100d5ae1d5930cdb4949b973e554a343efc6c3 000026dd: DUP1 000026de: SLOAD 000026df: DUP3 000026e0: AND 000026e1: PUSH4 0xf23a6e61 000026e6: OR 000026e7: SWAP1 000026e8: SSTORE 000026e9: PUSH32 0xbc197c8100000000000000000000000000000000000000000000000000000000 0000270a: PUSH1 0x00 0000270c: MSTORE 0000270d: PUSH32 0x08ba3617671847c1c169da222a5bc01cfdefcc3c4f1e5525214a474479c89123 0000272e: DUP1 0000272f: SLOAD 00002730: SWAP1 00002731: SWAP2 00002732: AND 00002733: PUSH4 0xbc197c81 00002738: OR 00002739: SWAP1 0000273a: SSTORE 0000273b: JUMP 0000273c: JUMPDEST 0000273d: PUSH32 0xbb39ebb37e60fb5d606ffdb749d2336e56b88e6c88c4bd6513b308f643186eed 0000275e: DUP3 0000275f: DUP3 00002760: PUSH1 0x40 00002762: MLOAD 00002763: PUSH2 0x0d4f 00002766: SWAP3 00002767: SWAP2 00002768: SWAP1 00002769: PUSH2 0x3a92 0000276c: JUMP 0000276d: JUMPDEST 0000276e: PUSH1 0x00 00002770: SLOAD 00002771: PUSH2 0x0100 00002774: SWAP1 00002775: DIV 00002776: PUSH1 0xff 00002778: AND 00002779: PUSH2 0x27ea 0000277c: JUMPI 0000277d: PUSH1 0x40 0000277f: MLOAD 00002780: PUSH3 0x461bcd 00002784: PUSH1 0xe5 00002786: SHL 00002787: DUP2 00002788: MSTORE 00002789: PUSH1 0x20 0000278b: PUSH1 0x04 0000278d: DUP3 0000278e: ADD 0000278f: MSTORE 00002790: PUSH1 0x2b 00002792: PUSH1 0x24 00002794: DUP3 00002795: ADD 00002796: MSTORE 00002797: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 000027b8: PUSH1 0x44 000027ba: DUP3 000027bb: ADD 000027bc: MSTORE 000027bd: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 000027de: PUSH1 0x64 000027e0: DUP3 000027e1: ADD 000027e2: MSTORE 000027e3: PUSH1 0x84 000027e5: ADD 000027e6: PUSH2 0x07f6 000027e9: JUMP 000027ea: JUMPDEST 000027eb: PUSH2 0x0cca 000027ee: DUP2 000027ef: PUSH2 0x2ac1 000027f2: JUMP 000027f3: JUMPDEST 000027f4: PUSH1 0x01 000027f6: PUSH1 0x01 000027f8: PUSH1 0xa0 000027fa: SHL 000027fb: SUB 000027fc: DUP2 000027fd: AND 000027fe: EXTCODESIZE 000027ff: PUSH2 0x2870 00002802: JUMPI 00002803: PUSH1 0x40 00002805: MLOAD 00002806: PUSH3 0x461bcd 0000280a: PUSH1 0xe5 0000280c: SHL 0000280d: DUP2 0000280e: MSTORE 0000280f: PUSH1 0x20 00002811: PUSH1 0x04 00002813: DUP3 00002814: ADD 00002815: MSTORE 00002816: PUSH1 0x2d 00002818: PUSH1 0x24 0000281a: DUP3 0000281b: ADD 0000281c: MSTORE 0000281d: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 0000283e: PUSH1 0x44 00002840: DUP3 00002841: ADD 00002842: MSTORE 00002843: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000 00002864: PUSH1 0x64 00002866: DUP3 00002867: ADD 00002868: MSTORE 00002869: PUSH1 0x84 0000286b: ADD 0000286c: PUSH2 0x07f6 0000286f: JUMP 00002870: JUMPDEST 00002871: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00002892: DUP1 00002893: SLOAD 00002894: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028a9: NOT 000028aa: AND 000028ab: PUSH1 0x01 000028ad: PUSH1 0x01 000028af: PUSH1 0xa0 000028b1: SHL 000028b2: SUB 000028b3: SWAP3 000028b4: SWAP1 000028b5: SWAP3 000028b6: AND 000028b7: SWAP2 000028b8: SWAP1 000028b9: SWAP2 000028ba: OR 000028bb: SWAP1 000028bc: SSTORE 000028bd: JUMP 000028be: JUMPDEST 000028bf: PUSH2 0x28c7 000028c2: DUP4 000028c3: PUSH2 0x2aec 000028c6: JUMP 000028c7: JUMPDEST 000028c8: PUSH1 0x00 000028ca: DUP3 000028cb: MLOAD 000028cc: GT 000028cd: DUP1 000028ce: PUSH2 0x28d4 000028d1: JUMPI 000028d2: POP 000028d3: DUP1 000028d4: JUMPDEST 000028d5: ISZERO 000028d6: PUSH2 0x08ea 000028d9: JUMPI 000028da: PUSH2 0x173a 000028dd: DUP4 000028de: DUP4 000028df: PUSH2 0x2b2c 000028e2: JUMP 000028e3: JUMPDEST 000028e4: PUSH1 0x00 000028e6: PUSH2 0x2938 000028e9: DUP3 000028ea: PUSH1 0x40 000028ec: MLOAD 000028ed: DUP1 000028ee: PUSH1 0x40 000028f0: ADD 000028f1: PUSH1 0x40 000028f3: MSTORE 000028f4: DUP1 000028f5: PUSH1 0x20 000028f7: DUP2 000028f8: MSTORE 000028f9: PUSH1 0x20 000028fb: ADD 000028fc: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 0000291d: DUP2 0000291e: MSTORE 0000291f: POP 00002920: DUP6 00002921: PUSH1 0x01 00002923: PUSH1 0x01 00002925: PUSH1 0xa0 00002927: SHL 00002928: SUB 00002929: AND 0000292a: PUSH2 0x2c37 0000292d: SWAP1 0000292e: SWAP3 0000292f: SWAP2 00002930: SWAP1 00002931: PUSH4 0xffffffff 00002936: AND 00002937: JUMP 00002938: JUMPDEST 00002939: DUP1 0000293a: MLOAD 0000293b: SWAP1 0000293c: SWAP2 0000293d: POP 0000293e: ISZERO 0000293f: PUSH2 0x08ea 00002942: JUMPI 00002943: DUP1 00002944: DUP1 00002945: PUSH1 0x20 00002947: ADD 00002948: SWAP1 00002949: MLOAD 0000294a: DUP2 0000294b: ADD 0000294c: SWAP1 0000294d: PUSH2 0x2956 00002950: SWAP2 00002951: SWAP1 00002952: PUSH2 0x3ae2 00002955: JUMP 00002956: JUMPDEST 00002957: PUSH2 0x08ea 0000295a: JUMPI 0000295b: PUSH1 0x40 0000295d: MLOAD 0000295e: PUSH3 0x461bcd 00002962: PUSH1 0xe5 00002964: SHL 00002965: DUP2 00002966: MSTORE 00002967: PUSH1 0x20 00002969: PUSH1 0x04 0000296b: DUP3 0000296c: ADD 0000296d: MSTORE 0000296e: PUSH1 0x2a 00002970: PUSH1 0x24 00002972: DUP3 00002973: ADD 00002974: MSTORE 00002975: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00002996: PUSH1 0x44 00002998: DUP3 00002999: ADD 0000299a: MSTORE 0000299b: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 000029bc: PUSH1 0x64 000029be: DUP3 000029bf: ADD 000029c0: MSTORE 000029c1: PUSH1 0x84 000029c3: ADD 000029c4: PUSH2 0x07f6 000029c7: JUMP 000029c8: JUMPDEST 000029c9: PUSH1 0x00 000029cb: PUSH32 0xbf04b4486c9663d805744005c3da000eda93de6e3308a4a7a812eb565327b78d 000029ec: DUP3 000029ed: EQ 000029ee: DUP1 000029ef: PUSH2 0x2a17 000029f2: JUMPI 000029f3: POP 000029f4: PUSH32 0x1f53edd44352e5d15bad2b29233baa93bcd595e09457780bc7c5445bbbe751cc 00002a15: DUP3 00002a16: EQ 00002a17: JUMPDEST 00002a18: DUP1 00002a19: PUSH2 0x2a41 00002a1c: JUMPI 00002a1d: POP 00002a1e: PUSH32 0x4707e94b25cfce1a7c363508fbb838c35864388ad77284b248282b9746982b9b 00002a3f: DUP3 00002a40: EQ 00002a41: JUMPDEST 00002a42: DUP1 00002a43: PUSH2 0x2a6b 00002a46: JUMPI 00002a47: POP 00002a48: PUSH32 0x06d294bc8cbad2e393408b20dd019a772661f60b8d633e56761157cb1ec85f8c 00002a69: DUP3 00002a6a: EQ 00002a6b: JUMPDEST 00002a6c: DUP1 00002a6d: PUSH2 0x2a95 00002a70: JUMPI 00002a71: POP 00002a72: PUSH32 0x0dcbfb19b09fb8ff4e9af583d4b8e9c8127cc1b26529b4d96dd3b7e778088372 00002a93: DUP3 00002a94: EQ 00002a95: JUMPDEST 00002a96: DUP1 00002a97: PUSH2 0x085b 00002a9a: JUMPI 00002a9b: POP 00002a9c: POP 00002a9d: PUSH32 0xfaf505be9907aa6951c2ebe5b0312f4980e14f21912ed355372103cc8bd683bc 00002abe: EQ 00002abf: SWAP1 00002ac0: JUMP 00002ac1: JUMPDEST 00002ac2: PUSH2 0x0cca 00002ac5: ADDRESS 00002ac6: DUP3 00002ac7: PUSH32 0x815fe80e4b37c8582a3b773d1d7071f983eacfd56b5965db654f3087c25ada33 00002ae8: PUSH2 0x1b83 00002aeb: JUMP 00002aec: JUMPDEST 00002aed: PUSH2 0x2af5 00002af0: DUP2 00002af1: PUSH2 0x27f3 00002af4: JUMP 00002af5: JUMPDEST 00002af6: PUSH1 0x40 00002af8: MLOAD 00002af9: PUSH1 0x01 00002afb: PUSH1 0x01 00002afd: PUSH1 0xa0 00002aff: SHL 00002b00: SUB 00002b01: DUP3 00002b02: AND 00002b03: SWAP1 00002b04: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00002b25: SWAP1 00002b26: PUSH1 0x00 00002b28: SWAP1 00002b29: LOG2 00002b2a: POP 00002b2b: JUMP 00002b2c: JUMPDEST 00002b2d: PUSH1 0x60 00002b2f: PUSH1 0x01 00002b31: PUSH1 0x01 00002b33: PUSH1 0xa0 00002b35: SHL 00002b36: SUB 00002b37: DUP4 00002b38: AND 00002b39: EXTCODESIZE 00002b3a: PUSH2 0x2bab 00002b3d: JUMPI 00002b3e: PUSH1 0x40 00002b40: MLOAD 00002b41: PUSH3 0x461bcd 00002b45: PUSH1 0xe5 00002b47: SHL 00002b48: DUP2 00002b49: MSTORE 00002b4a: PUSH1 0x20 00002b4c: PUSH1 0x04 00002b4e: DUP3 00002b4f: ADD 00002b50: MSTORE 00002b51: PUSH1 0x26 00002b53: PUSH1 0x24 00002b55: DUP3 00002b56: ADD 00002b57: MSTORE 00002b58: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f 00002b79: PUSH1 0x44 00002b7b: DUP3 00002b7c: ADD 00002b7d: MSTORE 00002b7e: PUSH32 0x6e74726163740000000000000000000000000000000000000000000000000000 00002b9f: PUSH1 0x64 00002ba1: DUP3 00002ba2: ADD 00002ba3: MSTORE 00002ba4: PUSH1 0x84 00002ba6: ADD 00002ba7: PUSH2 0x07f6 00002baa: JUMP 00002bab: JUMPDEST 00002bac: PUSH1 0x00 00002bae: DUP1 00002baf: DUP5 00002bb0: PUSH1 0x01 00002bb2: PUSH1 0x01 00002bb4: PUSH1 0xa0 00002bb6: SHL 00002bb7: SUB 00002bb8: AND 00002bb9: DUP5 00002bba: PUSH1 0x40 00002bbc: MLOAD 00002bbd: PUSH2 0x2bc6 00002bc0: SWAP2 00002bc1: SWAP1 00002bc2: PUSH2 0x3b1d 00002bc5: JUMP 00002bc6: JUMPDEST 00002bc7: PUSH1 0x00 00002bc9: PUSH1 0x40 00002bcb: MLOAD 00002bcc: DUP1 00002bcd: DUP4 00002bce: SUB 00002bcf: DUP2 00002bd0: DUP6 00002bd1: GAS 00002bd2: DELEGATECALL 00002bd3: SWAP2 00002bd4: POP 00002bd5: POP 00002bd6: RETURNDATASIZE 00002bd7: DUP1 00002bd8: PUSH1 0x00 00002bda: DUP2 00002bdb: EQ 00002bdc: PUSH2 0x2c01 00002bdf: JUMPI 00002be0: PUSH1 0x40 00002be2: MLOAD 00002be3: SWAP2 00002be4: POP 00002be5: PUSH1 0x1f 00002be7: NOT 00002be8: PUSH1 0x3f 00002bea: RETURNDATASIZE 00002beb: ADD 00002bec: AND 00002bed: DUP3 00002bee: ADD 00002bef: PUSH1 0x40 00002bf1: MSTORE 00002bf2: RETURNDATASIZE 00002bf3: DUP3 00002bf4: MSTORE 00002bf5: RETURNDATASIZE 00002bf6: PUSH1 0x00 00002bf8: PUSH1 0x20 00002bfa: DUP5 00002bfb: ADD 00002bfc: RETURNDATACOPY 00002bfd: PUSH2 0x2c06 00002c00: JUMP 00002c01: JUMPDEST 00002c02: PUSH1 0x60 00002c04: SWAP2 00002c05: POP 00002c06: JUMPDEST 00002c07: POP 00002c08: SWAP2 00002c09: POP 00002c0a: SWAP2 00002c0b: POP 00002c0c: PUSH2 0x2c2e 00002c0f: DUP3 00002c10: DUP3 00002c11: PUSH1 0x40 00002c13: MLOAD 00002c14: DUP1 00002c15: PUSH1 0x60 00002c17: ADD 00002c18: PUSH1 0x40 00002c1a: MSTORE 00002c1b: DUP1 00002c1c: PUSH1 0x27 00002c1e: DUP2 00002c1f: MSTORE 00002c20: PUSH1 0x20 00002c22: ADD 00002c23: PUSH2 0x3b30 00002c26: PUSH1 0x27 00002c28: SWAP2 00002c29: CODECOPY 00002c2a: PUSH2 0x2c46 00002c2d: JUMP 00002c2e: JUMPDEST 00002c2f: SWAP6 00002c30: SWAP5 00002c31: POP 00002c32: POP 00002c33: POP 00002c34: POP 00002c35: POP 00002c36: JUMP 00002c37: JUMPDEST 00002c38: PUSH1 0x60 00002c3a: PUSH2 0x0afe 00002c3d: DUP5 00002c3e: DUP5 00002c3f: PUSH1 0x00 00002c41: DUP6 00002c42: PUSH2 0x2c5f 00002c45: JUMP 00002c46: JUMPDEST 00002c47: PUSH1 0x60 00002c49: DUP4 00002c4a: ISZERO 00002c4b: PUSH2 0x2c55 00002c4e: JUMPI 00002c4f: POP 00002c50: DUP2 00002c51: PUSH2 0x0998 00002c54: JUMP 00002c55: JUMPDEST 00002c56: PUSH2 0x0998 00002c59: DUP4 00002c5a: DUP4 00002c5b: PUSH2 0x2d51 00002c5e: JUMP 00002c5f: JUMPDEST 00002c60: PUSH1 0x60 00002c62: DUP3 00002c63: SELFBALANCE 00002c64: LT 00002c65: ISZERO 00002c66: PUSH2 0x2cd7 00002c69: JUMPI 00002c6a: PUSH1 0x40 00002c6c: MLOAD 00002c6d: PUSH3 0x461bcd 00002c71: PUSH1 0xe5 00002c73: SHL 00002c74: DUP2 00002c75: MSTORE 00002c76: PUSH1 0x20 00002c78: PUSH1 0x04 00002c7a: DUP3 00002c7b: ADD 00002c7c: MSTORE 00002c7d: PUSH1 0x26 00002c7f: PUSH1 0x24 00002c81: DUP3 00002c82: ADD 00002c83: MSTORE 00002c84: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00002ca5: PUSH1 0x44 00002ca7: DUP3 00002ca8: ADD 00002ca9: MSTORE 00002caa: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 00002ccb: PUSH1 0x64 00002ccd: DUP3 00002cce: ADD 00002ccf: MSTORE 00002cd0: PUSH1 0x84 00002cd2: ADD 00002cd3: PUSH2 0x07f6 00002cd6: JUMP 00002cd7: JUMPDEST 00002cd8: PUSH1 0x00 00002cda: DUP1 00002cdb: DUP7 00002cdc: PUSH1 0x01 00002cde: PUSH1 0x01 00002ce0: PUSH1 0xa0 00002ce2: SHL 00002ce3: SUB 00002ce4: AND 00002ce5: DUP6 00002ce6: DUP8 00002ce7: PUSH1 0x40 00002ce9: MLOAD 00002cea: PUSH2 0x2cf3 00002ced: SWAP2 00002cee: SWAP1 00002cef: PUSH2 0x3b1d 00002cf2: JUMP 00002cf3: JUMPDEST 00002cf4: PUSH1 0x00 00002cf6: PUSH1 0x40 00002cf8: MLOAD 00002cf9: DUP1 00002cfa: DUP4 00002cfb: SUB 00002cfc: DUP2 00002cfd: DUP6 00002cfe: DUP8 00002cff: GAS 00002d00: CALL 00002d01: SWAP3 00002d02: POP 00002d03: POP 00002d04: POP 00002d05: RETURNDATASIZE 00002d06: DUP1 00002d07: PUSH1 0x00 00002d09: DUP2 00002d0a: EQ 00002d0b: PUSH2 0x2d30 00002d0e: JUMPI 00002d0f: PUSH1 0x40 00002d11: MLOAD 00002d12: SWAP2 00002d13: POP 00002d14: PUSH1 0x1f 00002d16: NOT 00002d17: PUSH1 0x3f 00002d19: RETURNDATASIZE 00002d1a: ADD 00002d1b: AND 00002d1c: DUP3 00002d1d: ADD 00002d1e: PUSH1 0x40 00002d20: MSTORE 00002d21: RETURNDATASIZE 00002d22: DUP3 00002d23: MSTORE 00002d24: RETURNDATASIZE 00002d25: PUSH1 0x00 00002d27: PUSH1 0x20 00002d29: DUP5 00002d2a: ADD 00002d2b: RETURNDATACOPY 00002d2c: PUSH2 0x2d35 00002d2f: JUMP 00002d30: JUMPDEST 00002d31: PUSH1 0x60 00002d33: SWAP2 00002d34: POP 00002d35: JUMPDEST 00002d36: POP 00002d37: SWAP2 00002d38: POP 00002d39: SWAP2 00002d3a: POP 00002d3b: PUSH2 0x2d46 00002d3e: DUP8 00002d3f: DUP4 00002d40: DUP4 00002d41: DUP8 00002d42: PUSH2 0x2d7b 00002d45: JUMP 00002d46: JUMPDEST 00002d47: SWAP8 00002d48: SWAP7 00002d49: POP 00002d4a: POP 00002d4b: POP 00002d4c: POP 00002d4d: POP 00002d4e: POP 00002d4f: POP 00002d50: JUMP 00002d51: JUMPDEST 00002d52: DUP2 00002d53: MLOAD 00002d54: ISZERO 00002d55: PUSH2 0x2d61 00002d58: JUMPI 00002d59: DUP2 00002d5a: MLOAD 00002d5b: DUP1 00002d5c: DUP4 00002d5d: PUSH1 0x20 00002d5f: ADD 00002d60: REVERT 00002d61: JUMPDEST 00002d62: DUP1 00002d63: PUSH1 0x40 00002d65: MLOAD 00002d66: PUSH3 0x461bcd 00002d6a: PUSH1 0xe5 00002d6c: SHL 00002d6d: DUP2 00002d6e: MSTORE 00002d6f: PUSH1 0x04 00002d71: ADD 00002d72: PUSH2 0x07f6 00002d75: SWAP2 00002d76: SWAP1 00002d77: PUSH2 0x31f6 00002d7a: JUMP 00002d7b: JUMPDEST 00002d7c: PUSH1 0x60 00002d7e: DUP4 00002d7f: ISZERO 00002d80: PUSH2 0x2dea 00002d83: JUMPI 00002d84: DUP3 00002d85: MLOAD 00002d86: PUSH1 0x00 00002d88: SUB 00002d89: PUSH2 0x2de3 00002d8c: JUMPI 00002d8d: PUSH1 0x01 00002d8f: PUSH1 0x01 00002d91: PUSH1 0xa0 00002d93: SHL 00002d94: SUB 00002d95: DUP6 00002d96: AND 00002d97: EXTCODESIZE 00002d98: PUSH2 0x2de3 00002d9b: JUMPI 00002d9c: PUSH1 0x40 00002d9e: MLOAD 00002d9f: PUSH3 0x461bcd 00002da3: PUSH1 0xe5 00002da5: SHL 00002da6: DUP2 00002da7: MSTORE 00002da8: PUSH1 0x20 00002daa: PUSH1 0x04 00002dac: DUP3 00002dad: ADD 00002dae: MSTORE 00002daf: PUSH1 0x1d 00002db1: PUSH1 0x24 00002db3: DUP3 00002db4: ADD 00002db5: MSTORE 00002db6: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00002dd7: PUSH1 0x44 00002dd9: DUP3 00002dda: ADD 00002ddb: MSTORE 00002ddc: PUSH1 0x64 00002dde: ADD 00002ddf: PUSH2 0x07f6 00002de2: JUMP 00002de3: JUMPDEST 00002de4: POP 00002de5: DUP2 00002de6: PUSH2 0x0afe 00002de9: JUMP 00002dea: JUMPDEST 00002deb: PUSH2 0x0afe 00002dee: DUP4 00002def: DUP4 00002df0: PUSH2 0x2d51 00002df3: JUMP 00002df4: JUMPDEST 00002df5: PUSH1 0x40 00002df7: MLOAD 00002df8: DUP1 00002df9: PUSH1 0x60 00002dfb: ADD 00002dfc: PUSH1 0x40 00002dfe: MSTORE 00002dff: DUP1 00002e00: PUSH1 0x03 00002e02: SWAP1 00002e03: PUSH1 0x20 00002e05: DUP3 00002e06: MUL 00002e07: DUP1 00002e08: CALLDATASIZE 00002e09: DUP4 00002e0a: CALLDATACOPY 00002e0b: POP 00002e0c: SWAP2 00002e0d: SWAP3 00002e0e: SWAP2 00002e0f: POP 00002e10: POP 00002e11: JUMP 00002e12: JUMPDEST 00002e13: PUSH1 0x01 00002e15: PUSH1 0x01 00002e17: PUSH1 0xe0 00002e19: SHL 00002e1a: SUB 00002e1b: NOT 00002e1c: DUP2 00002e1d: AND 00002e1e: DUP2 00002e1f: EQ 00002e20: PUSH2 0x0cca 00002e23: JUMPI 00002e24: PUSH1 0x00 00002e26: DUP1 00002e27: REVERT 00002e28: JUMPDEST 00002e29: PUSH1 0x00 00002e2b: PUSH1 0x20 00002e2d: DUP3 00002e2e: DUP5 00002e2f: SUB 00002e30: SLT 00002e31: ISZERO 00002e32: PUSH2 0x2e3a 00002e35: JUMPI 00002e36: PUSH1 0x00 00002e38: DUP1 00002e39: REVERT 00002e3a: JUMPDEST 00002e3b: DUP2 00002e3c: CALLDATALOAD 00002e3d: PUSH2 0x0998 00002e40: DUP2 00002e41: PUSH2 0x2e12 00002e44: JUMP 00002e45: JUMPDEST 00002e46: PUSH1 0x00 00002e48: DUP1 00002e49: DUP4 00002e4a: PUSH1 0x1f 00002e4c: DUP5 00002e4d: ADD 00002e4e: SLT 00002e4f: PUSH2 0x2e57 00002e52: JUMPI 00002e53: PUSH1 0x00 00002e55: DUP1 00002e56: REVERT 00002e57: JUMPDEST 00002e58: POP 00002e59: DUP2 00002e5a: CALLDATALOAD 00002e5b: PUSH8 0xffffffffffffffff 00002e64: DUP2 00002e65: GT 00002e66: ISZERO 00002e67: PUSH2 0x2e6f 00002e6a: JUMPI 00002e6b: PUSH1 0x00 00002e6d: DUP1 00002e6e: REVERT 00002e6f: JUMPDEST 00002e70: PUSH1 0x20 00002e72: DUP4 00002e73: ADD 00002e74: SWAP2 00002e75: POP 00002e76: DUP4 00002e77: PUSH1 0x20 00002e79: DUP3 00002e7a: DUP6 00002e7b: ADD 00002e7c: ADD 00002e7d: GT 00002e7e: ISZERO 00002e7f: PUSH2 0x2e87 00002e82: JUMPI 00002e83: PUSH1 0x00 00002e85: DUP1 00002e86: REVERT 00002e87: JUMPDEST 00002e88: SWAP3 00002e89: POP 00002e8a: SWAP3 00002e8b: SWAP1 00002e8c: POP 00002e8d: JUMP 00002e8e: JUMPDEST 00002e8f: PUSH1 0x00 00002e91: DUP1 00002e92: PUSH1 0x20 00002e94: DUP4 00002e95: DUP6 00002e96: SUB 00002e97: SLT 00002e98: ISZERO 00002e99: PUSH2 0x2ea1 00002e9c: JUMPI 00002e9d: PUSH1 0x00 00002e9f: DUP1 00002ea0: REVERT 00002ea1: JUMPDEST 00002ea2: DUP3 00002ea3: CALLDATALOAD 00002ea4: PUSH8 0xffffffffffffffff 00002ead: DUP2 00002eae: GT 00002eaf: ISZERO 00002eb0: PUSH2 0x2eb8 00002eb3: JUMPI 00002eb4: PUSH1 0x00 00002eb6: DUP1 00002eb7: REVERT 00002eb8: JUMPDEST 00002eb9: PUSH2 0x2ec4 00002ebc: DUP6 00002ebd: DUP3 00002ebe: DUP7 00002ebf: ADD 00002ec0: PUSH2 0x2e45 00002ec3: JUMP 00002ec4: JUMPDEST 00002ec5: SWAP1 00002ec6: SWAP7 00002ec7: SWAP1 00002ec8: SWAP6 00002ec9: POP 00002eca: SWAP4 00002ecb: POP 00002ecc: POP 00002ecd: POP 00002ece: POP 00002ecf: JUMP 00002ed0: JUMPDEST 00002ed1: PUSH4 0x4e487b71 00002ed6: PUSH1 0xe0 00002ed8: SHL 00002ed9: PUSH1 0x00 00002edb: MSTORE 00002edc: PUSH1 0x41 00002ede: PUSH1 0x04 00002ee0: MSTORE 00002ee1: PUSH1 0x24 00002ee3: PUSH1 0x00 00002ee5: REVERT 00002ee6: JUMPDEST 00002ee7: PUSH1 0x00 00002ee9: DUP3 00002eea: PUSH1 0x1f 00002eec: DUP4 00002eed: ADD 00002eee: SLT 00002eef: PUSH2 0x2ef7 00002ef2: JUMPI 00002ef3: PUSH1 0x00 00002ef5: DUP1 00002ef6: REVERT 00002ef7: JUMPDEST 00002ef8: DUP2 00002ef9: CALLDATALOAD 00002efa: PUSH8 0xffffffffffffffff 00002f03: DUP1 00002f04: DUP3 00002f05: GT 00002f06: ISZERO 00002f07: PUSH2 0x2f12 00002f0a: JUMPI 00002f0b: PUSH2 0x2f12 00002f0e: PUSH2 0x2ed0 00002f11: JUMP 00002f12: JUMPDEST 00002f13: PUSH1 0x40 00002f15: MLOAD 00002f16: PUSH1 0x1f 00002f18: DUP4 00002f19: ADD 00002f1a: PUSH1 0x1f 00002f1c: NOT 00002f1d: SWAP1 00002f1e: DUP2 00002f1f: AND 00002f20: PUSH1 0x3f 00002f22: ADD 00002f23: AND 00002f24: DUP2 00002f25: ADD 00002f26: SWAP1 00002f27: DUP3 00002f28: DUP3 00002f29: GT 00002f2a: DUP2 00002f2b: DUP4 00002f2c: LT 00002f2d: OR 00002f2e: ISZERO 00002f2f: PUSH2 0x2f3a 00002f32: JUMPI 00002f33: PUSH2 0x2f3a 00002f36: PUSH2 0x2ed0 00002f39: JUMP 00002f3a: JUMPDEST 00002f3b: DUP2 00002f3c: PUSH1 0x40 00002f3e: MSTORE 00002f3f: DUP4 00002f40: DUP2 00002f41: MSTORE 00002f42: DUP7 00002f43: PUSH1 0x20 00002f45: DUP6 00002f46: DUP9 00002f47: ADD 00002f48: ADD 00002f49: GT 00002f4a: ISZERO 00002f4b: PUSH2 0x2f53 00002f4e: JUMPI 00002f4f: PUSH1 0x00 00002f51: DUP1 00002f52: REVERT 00002f53: JUMPDEST 00002f54: DUP4 00002f55: PUSH1 0x20 00002f57: DUP8 00002f58: ADD 00002f59: PUSH1 0x20 00002f5b: DUP4 00002f5c: ADD 00002f5d: CALLDATACOPY 00002f5e: PUSH1 0x00 00002f60: PUSH1 0x20 00002f62: DUP6 00002f63: DUP4 00002f64: ADD 00002f65: ADD 00002f66: MSTORE 00002f67: DUP1 00002f68: SWAP5 00002f69: POP 00002f6a: POP 00002f6b: POP 00002f6c: POP 00002f6d: POP 00002f6e: SWAP3 00002f6f: SWAP2 00002f70: POP 00002f71: POP 00002f72: JUMP 00002f73: JUMPDEST 00002f74: PUSH1 0x00 00002f76: DUP1 00002f77: PUSH1 0x40 00002f79: DUP4 00002f7a: DUP6 00002f7b: SUB 00002f7c: SLT 00002f7d: ISZERO 00002f7e: PUSH2 0x2f86 00002f81: JUMPI 00002f82: PUSH1 0x00 00002f84: DUP1 00002f85: REVERT 00002f86: JUMPDEST 00002f87: DUP3 00002f88: CALLDATALOAD 00002f89: SWAP2 00002f8a: POP 00002f8b: PUSH1 0x20 00002f8d: DUP4 00002f8e: ADD 00002f8f: CALLDATALOAD 00002f90: PUSH8 0xffffffffffffffff 00002f99: DUP2 00002f9a: GT 00002f9b: ISZERO 00002f9c: PUSH2 0x2fa4 00002f9f: JUMPI 00002fa0: PUSH1 0x00 00002fa2: DUP1 00002fa3: REVERT 00002fa4: JUMPDEST 00002fa5: PUSH2 0x2fb0 00002fa8: DUP6 00002fa9: DUP3 00002faa: DUP7 00002fab: ADD 00002fac: PUSH2 0x2ee6 00002faf: JUMP 00002fb0: JUMPDEST 00002fb1: SWAP2 00002fb2: POP 00002fb3: POP 00002fb4: SWAP3 00002fb5: POP 00002fb6: SWAP3 00002fb7: SWAP1 00002fb8: POP 00002fb9: JUMP 00002fba: JUMPDEST 00002fbb: PUSH1 0x01 00002fbd: PUSH1 0x01 00002fbf: PUSH1 0xa0 00002fc1: SHL 00002fc2: SUB 00002fc3: DUP2 00002fc4: AND 00002fc5: DUP2 00002fc6: EQ 00002fc7: PUSH2 0x0cca 00002fca: JUMPI 00002fcb: PUSH1 0x00 00002fcd: DUP1 00002fce: REVERT 00002fcf: JUMPDEST 00002fd0: PUSH1 0x00 00002fd2: DUP1 00002fd3: PUSH1 0x00 00002fd5: PUSH1 0x40 00002fd7: DUP5 00002fd8: DUP7 00002fd9: SUB 00002fda: SLT 00002fdb: ISZERO 00002fdc: PUSH2 0x2fe4 00002fdf: JUMPI 00002fe0: PUSH1 0x00 00002fe2: DUP1 00002fe3: REVERT 00002fe4: JUMPDEST 00002fe5: DUP4 00002fe6: CALLDATALOAD 00002fe7: PUSH2 0x2fef 00002fea: DUP2 00002feb: PUSH2 0x2fba 00002fee: JUMP 00002fef: JUMPDEST 00002ff0: SWAP3 00002ff1: POP 00002ff2: PUSH1 0x20 00002ff4: DUP5 00002ff5: ADD 00002ff6: CALLDATALOAD 00002ff7: PUSH8 0xffffffffffffffff 00003000: DUP1 00003001: DUP3 00003002: GT 00003003: ISZERO 00003004: PUSH2 0x300c 00003007: JUMPI 00003008: PUSH1 0x00 0000300a: DUP1 0000300b: REVERT 0000300c: JUMPDEST 0000300d: DUP2 0000300e: DUP7 0000300f: ADD 00003010: SWAP2 00003011: POP 00003012: DUP7 00003013: PUSH1 0x1f 00003015: DUP4 00003016: ADD 00003017: SLT 00003018: PUSH2 0x3020 0000301b: JUMPI 0000301c: PUSH1 0x00 0000301e: DUP1 0000301f: REVERT 00003020: JUMPDEST 00003021: DUP2 00003022: CALLDATALOAD 00003023: DUP2 00003024: DUP2 00003025: GT 00003026: ISZERO 00003027: PUSH2 0x302f 0000302a: JUMPI 0000302b: PUSH1 0x00 0000302d: DUP1 0000302e: REVERT 0000302f: JUMPDEST 00003030: DUP8 00003031: PUSH1 0x20 00003033: PUSH1 0x60 00003035: DUP4 00003036: MUL 00003037: DUP6 00003038: ADD 00003039: ADD 0000303a: GT 0000303b: ISZERO 0000303c: PUSH2 0x3044 0000303f: JUMPI 00003040: PUSH1 0x00 00003042: DUP1 00003043: REVERT 00003044: JUMPDEST 00003045: PUSH1 0x20 00003047: DUP4 00003048: ADD 00003049: SWAP5 0000304a: POP 0000304b: DUP1 0000304c: SWAP4 0000304d: POP 0000304e: POP 0000304f: POP 00003050: POP 00003051: SWAP3 00003052: POP 00003053: SWAP3 00003054: POP 00003055: SWAP3 00003056: JUMP 00003057: JUMPDEST 00003058: PUSH1 0x00 0000305a: DUP1 0000305b: PUSH1 0x00 0000305d: DUP1 0000305e: PUSH1 0x80 00003060: DUP6 00003061: DUP8 00003062: SUB 00003063: SLT 00003064: ISZERO 00003065: PUSH2 0x306d 00003068: JUMPI 00003069: PUSH1 0x00 0000306b: DUP1 0000306c: REVERT 0000306d: JUMPDEST 0000306e: DUP5 0000306f: CALLDATALOAD 00003070: PUSH2 0x3078 00003073: DUP2 00003074: PUSH2 0x2fba 00003077: JUMP 00003078: JUMPDEST 00003079: SWAP4 0000307a: POP 0000307b: PUSH1 0x20 0000307d: DUP6 0000307e: ADD 0000307f: CALLDATALOAD 00003080: PUSH2 0x3088 00003083: DUP2 00003084: PUSH2 0x2fba 00003087: JUMP 00003088: JUMPDEST 00003089: SWAP3 0000308a: POP 0000308b: PUSH1 0x40 0000308d: DUP6 0000308e: ADD 0000308f: CALLDATALOAD 00003090: SWAP2 00003091: POP 00003092: PUSH1 0x60 00003094: DUP6 00003095: ADD 00003096: CALLDATALOAD 00003097: PUSH8 0xffffffffffffffff 000030a0: DUP2 000030a1: GT 000030a2: ISZERO 000030a3: PUSH2 0x30ab 000030a6: JUMPI 000030a7: PUSH1 0x00 000030a9: DUP1 000030aa: REVERT 000030ab: JUMPDEST 000030ac: PUSH2 0x30b7 000030af: DUP8 000030b0: DUP3 000030b1: DUP9 000030b2: ADD 000030b3: PUSH2 0x2ee6 000030b6: JUMP 000030b7: JUMPDEST 000030b8: SWAP2 000030b9: POP 000030ba: POP 000030bb: SWAP3 000030bc: SWAP6 000030bd: SWAP2 000030be: SWAP5 000030bf: POP 000030c0: SWAP3 000030c1: POP 000030c2: JUMP 000030c3: JUMPDEST 000030c4: PUSH1 0x60 000030c6: DUP2 000030c7: ADD 000030c8: DUP2 000030c9: DUP4 000030ca: PUSH1 0x00 000030cc: JUMPDEST 000030cd: PUSH1 0x03 000030cf: DUP2 000030d0: LT 000030d1: ISZERO 000030d2: PUSH2 0x30ee 000030d5: JUMPI 000030d6: DUP2 000030d7: MLOAD 000030d8: PUSH1 0xff 000030da: AND 000030db: DUP4 000030dc: MSTORE 000030dd: PUSH1 0x20 000030df: SWAP3 000030e0: DUP4 000030e1: ADD 000030e2: SWAP3 000030e3: SWAP1 000030e4: SWAP2 000030e5: ADD 000030e6: SWAP1 000030e7: PUSH1 0x01 000030e9: ADD 000030ea: PUSH2 0x30cc 000030ed: JUMP 000030ee: JUMPDEST 000030ef: POP 000030f0: POP 000030f1: POP 000030f2: SWAP3 000030f3: SWAP2 000030f4: POP 000030f5: POP 000030f6: JUMP 000030f7: JUMPDEST 000030f8: PUSH1 0x00 000030fa: PUSH1 0x20 000030fc: DUP3 000030fd: DUP5 000030fe: SUB 000030ff: SLT 00003100: ISZERO 00003101: PUSH2 0x3109 00003104: JUMPI 00003105: PUSH1 0x00 00003107: DUP1 00003108: REVERT 00003109: JUMPDEST 0000310a: DUP2 0000310b: CALLDATALOAD 0000310c: PUSH2 0x0998 0000310f: DUP2 00003110: PUSH2 0x2fba 00003113: JUMP 00003114: JUMPDEST 00003115: PUSH1 0x00 00003117: DUP1 00003118: PUSH1 0x00 0000311a: PUSH1 0x80 0000311c: DUP5 0000311d: DUP7 0000311e: SUB 0000311f: SLT 00003120: ISZERO 00003121: PUSH2 0x3129 00003124: JUMPI 00003125: PUSH1 0x00 00003127: DUP1 00003128: REVERT 00003129: JUMPDEST 0000312a: PUSH1 0x60 0000312c: DUP5 0000312d: ADD 0000312e: DUP6 0000312f: DUP2 00003130: GT 00003131: ISZERO 00003132: PUSH2 0x313a 00003135: JUMPI 00003136: PUSH1 0x00 00003138: DUP1 00003139: REVERT 0000313a: JUMPDEST 0000313b: DUP5 0000313c: SWAP4 0000313d: POP 0000313e: CALLDATALOAD 0000313f: PUSH8 0xffffffffffffffff 00003148: DUP2 00003149: GT 0000314a: ISZERO 0000314b: PUSH2 0x3153 0000314e: JUMPI 0000314f: PUSH1 0x00 00003151: DUP1 00003152: REVERT 00003153: JUMPDEST 00003154: PUSH2 0x315f 00003157: DUP7 00003158: DUP3 00003159: DUP8 0000315a: ADD 0000315b: PUSH2 0x2e45 0000315e: JUMP 0000315f: JUMPDEST 00003160: SWAP5 00003161: SWAP8 00003162: SWAP1 00003163: SWAP7 00003164: POP 00003165: SWAP4 00003166: SWAP5 00003167: POP 00003168: POP 00003169: POP 0000316a: POP 0000316b: JUMP 0000316c: JUMPDEST 0000316d: PUSH1 0x00 0000316f: DUP1 00003170: PUSH1 0x40 00003172: DUP4 00003173: DUP6 00003174: SUB 00003175: SLT 00003176: ISZERO 00003177: PUSH2 0x317f 0000317a: JUMPI 0000317b: PUSH1 0x00 0000317d: DUP1 0000317e: REVERT 0000317f: JUMPDEST 00003180: DUP3 00003181: CALLDATALOAD 00003182: PUSH2 0x318a 00003185: DUP2 00003186: PUSH2 0x2fba 00003189: JUMP 0000318a: JUMPDEST 0000318b: SWAP2 0000318c: POP 0000318d: PUSH1 0x20 0000318f: DUP4 00003190: ADD 00003191: CALLDATALOAD 00003192: PUSH8 0xffffffffffffffff 0000319b: DUP2 0000319c: GT 0000319d: ISZERO 0000319e: PUSH2 0x2fa4 000031a1: JUMPI 000031a2: PUSH1 0x00 000031a4: DUP1 000031a5: REVERT 000031a6: JUMPDEST 000031a7: PUSH1 0x00 000031a9: JUMPDEST 000031aa: DUP4 000031ab: DUP2 000031ac: LT 000031ad: ISZERO 000031ae: PUSH2 0x31c1 000031b1: JUMPI 000031b2: DUP2 000031b3: DUP2 000031b4: ADD 000031b5: MLOAD 000031b6: DUP4 000031b7: DUP3 000031b8: ADD 000031b9: MSTORE 000031ba: PUSH1 0x20 000031bc: ADD 000031bd: PUSH2 0x31a9 000031c0: JUMP 000031c1: JUMPDEST 000031c2: POP 000031c3: POP 000031c4: PUSH1 0x00 000031c6: SWAP2 000031c7: ADD 000031c8: MSTORE 000031c9: JUMP 000031ca: JUMPDEST 000031cb: PUSH1 0x00 000031cd: DUP2 000031ce: MLOAD 000031cf: DUP1 000031d0: DUP5 000031d1: MSTORE 000031d2: PUSH2 0x31e2 000031d5: DUP2 000031d6: PUSH1 0x20 000031d8: DUP7 000031d9: ADD 000031da: PUSH1 0x20 000031dc: DUP7 000031dd: ADD 000031de: PUSH2 0x31a6 000031e1: JUMP 000031e2: JUMPDEST 000031e3: PUSH1 0x1f 000031e5: ADD 000031e6: PUSH1 0x1f 000031e8: NOT 000031e9: AND 000031ea: SWAP3 000031eb: SWAP1 000031ec: SWAP3 000031ed: ADD 000031ee: PUSH1 0x20 000031f0: ADD 000031f1: SWAP3 000031f2: SWAP2 000031f3: POP 000031f4: POP 000031f5: JUMP 000031f6: JUMPDEST 000031f7: PUSH1 0x20 000031f9: DUP2 000031fa: MSTORE 000031fb: PUSH1 0x00 000031fd: PUSH2 0x0998 00003200: PUSH1 0x20 00003202: DUP4 00003203: ADD 00003204: DUP5 00003205: PUSH2 0x31ca 00003208: JUMP 00003209: JUMPDEST 0000320a: PUSH1 0x00 0000320c: DUP1 0000320d: PUSH1 0x00 0000320f: DUP1 00003210: PUSH1 0x60 00003212: DUP6 00003213: DUP8 00003214: SUB 00003215: SLT 00003216: ISZERO 00003217: PUSH2 0x321f 0000321a: JUMPI 0000321b: PUSH1 0x00 0000321d: DUP1 0000321e: REVERT 0000321f: JUMPDEST 00003220: DUP5 00003221: CALLDATALOAD 00003222: PUSH2 0x322a 00003225: DUP2 00003226: PUSH2 0x2fba 00003229: JUMP 0000322a: JUMPDEST 0000322b: SWAP4 0000322c: POP 0000322d: PUSH1 0x20 0000322f: DUP6 00003230: ADD 00003231: CALLDATALOAD 00003232: SWAP3 00003233: POP 00003234: PUSH1 0x40 00003236: DUP6 00003237: ADD 00003238: CALLDATALOAD 00003239: PUSH8 0xffffffffffffffff 00003242: DUP2 00003243: GT 00003244: ISZERO 00003245: PUSH2 0x324d 00003248: JUMPI 00003249: PUSH1 0x00 0000324b: DUP1 0000324c: REVERT 0000324d: JUMPDEST 0000324e: PUSH2 0x3259 00003251: DUP8 00003252: DUP3 00003253: DUP9 00003254: ADD 00003255: PUSH2 0x2e45 00003258: JUMP 00003259: JUMPDEST 0000325a: SWAP6 0000325b: SWAP9 0000325c: SWAP5 0000325d: SWAP8 0000325e: POP 0000325f: SWAP6 00003260: POP 00003261: POP 00003262: POP 00003263: POP 00003264: JUMP 00003265: JUMPDEST 00003266: PUSH1 0x00 00003268: DUP1 00003269: PUSH1 0x00 0000326b: PUSH1 0x60 0000326d: DUP5 0000326e: DUP7 0000326f: SUB 00003270: SLT 00003271: ISZERO 00003272: PUSH2 0x327a 00003275: JUMPI 00003276: PUSH1 0x00 00003278: DUP1 00003279: REVERT 0000327a: JUMPDEST 0000327b: DUP4 0000327c: CALLDATALOAD 0000327d: PUSH2 0x3285 00003280: DUP2 00003281: PUSH2 0x2e12 00003284: JUMP 00003285: JUMPDEST 00003286: SWAP3 00003287: POP 00003288: PUSH1 0x20 0000328a: DUP5 0000328b: ADD 0000328c: CALLDATALOAD 0000328d: PUSH2 0x3295 00003290: DUP2 00003291: PUSH2 0x2e12 00003294: JUMP 00003295: JUMPDEST 00003296: SWAP2 00003297: POP 00003298: PUSH1 0x40 0000329a: DUP5 0000329b: ADD 0000329c: CALLDATALOAD 0000329d: PUSH2 0x32a5 000032a0: DUP2 000032a1: PUSH2 0x2e12 000032a4: JUMP 000032a5: JUMPDEST 000032a6: DUP1 000032a7: SWAP2 000032a8: POP 000032a9: POP 000032aa: SWAP3 000032ab: POP 000032ac: SWAP3 000032ad: POP 000032ae: SWAP3 000032af: JUMP 000032b0: JUMPDEST 000032b1: PUSH1 0x00 000032b3: DUP1 000032b4: PUSH1 0x00 000032b6: DUP1 000032b7: PUSH1 0x60 000032b9: DUP6 000032ba: DUP8 000032bb: SUB 000032bc: SLT 000032bd: ISZERO 000032be: PUSH2 0x32c6 000032c1: JUMPI 000032c2: PUSH1 0x00 000032c4: DUP1 000032c5: REVERT 000032c6: JUMPDEST 000032c7: DUP5 000032c8: CALLDATALOAD 000032c9: SWAP4 000032ca: POP 000032cb: PUSH1 0x20 000032cd: DUP6 000032ce: ADD 000032cf: CALLDATALOAD 000032d0: PUSH8 0xffffffffffffffff 000032d9: DUP1 000032da: DUP3 000032db: GT 000032dc: ISZERO 000032dd: PUSH2 0x32e5 000032e0: JUMPI 000032e1: PUSH1 0x00 000032e3: DUP1 000032e4: REVERT 000032e5: JUMPDEST 000032e6: DUP2 000032e7: DUP8 000032e8: ADD 000032e9: SWAP2 000032ea: POP 000032eb: DUP8 000032ec: PUSH1 0x1f 000032ee: DUP4 000032ef: ADD 000032f0: SLT 000032f1: PUSH2 0x32f9 000032f4: JUMPI 000032f5: PUSH1 0x00 000032f7: DUP1 000032f8: REVERT 000032f9: JUMPDEST 000032fa: DUP2 000032fb: CALLDATALOAD 000032fc: DUP2 000032fd: DUP2 000032fe: GT 000032ff: ISZERO 00003300: PUSH2 0x3308 00003303: JUMPI 00003304: PUSH1 0x00 00003306: DUP1 00003307: REVERT 00003308: JUMPDEST 00003309: DUP9 0000330a: PUSH1 0x20 0000330c: DUP3 0000330d: PUSH1 0x05 0000330f: SHL 00003310: DUP6 00003311: ADD 00003312: ADD 00003313: GT 00003314: ISZERO 00003315: PUSH2 0x331d 00003318: JUMPI 00003319: PUSH1 0x00 0000331b: DUP1 0000331c: REVERT 0000331d: JUMPDEST 0000331e: SWAP6 0000331f: SWAP9 00003320: PUSH1 0x20 00003322: SWAP3 00003323: SWAP1 00003324: SWAP3 00003325: ADD 00003326: SWAP8 00003327: POP 00003328: SWAP5 00003329: SWAP6 0000332a: PUSH1 0x40 0000332c: ADD 0000332d: CALLDATALOAD 0000332e: SWAP5 0000332f: POP 00003330: SWAP3 00003331: POP 00003332: POP 00003333: POP 00003334: JUMP 00003335: JUMPDEST 00003336: PUSH1 0x00 00003338: DUP3 00003339: DUP3 0000333a: MLOAD 0000333b: DUP1 0000333c: DUP6 0000333d: MSTORE 0000333e: PUSH1 0x20 00003340: DUP1 00003341: DUP7 00003342: ADD 00003343: SWAP6 00003344: POP 00003345: DUP1 00003346: DUP3 00003347: PUSH1 0x05 00003349: SHL 0000334a: DUP5 0000334b: ADD 0000334c: ADD 0000334d: DUP2 0000334e: DUP7 0000334f: ADD 00003350: PUSH1 0x00 00003352: JUMPDEST 00003353: DUP5 00003354: DUP2 00003355: LT 00003356: ISZERO 00003357: PUSH2 0x3380 0000335a: JUMPI 0000335b: PUSH1 0x1f 0000335d: NOT 0000335e: DUP7 0000335f: DUP5 00003360: SUB 00003361: ADD 00003362: DUP10 00003363: MSTORE 00003364: PUSH2 0x336e 00003367: DUP4 00003368: DUP4 00003369: MLOAD 0000336a: PUSH2 0x31ca 0000336d: JUMP 0000336e: JUMPDEST 0000336f: SWAP9 00003370: DUP5 00003371: ADD 00003372: SWAP9 00003373: SWAP3 00003374: POP 00003375: SWAP1 00003376: DUP4 00003377: ADD 00003378: SWAP1 00003379: PUSH1 0x01 0000337b: ADD 0000337c: PUSH2 0x3352 0000337f: JUMP 00003380: JUMPDEST 00003381: POP 00003382: SWAP1 00003383: SWAP8 00003384: SWAP7 00003385: POP 00003386: POP 00003387: POP 00003388: POP 00003389: POP 0000338a: POP 0000338b: POP 0000338c: JUMP 0000338d: JUMPDEST 0000338e: PUSH1 0x40 00003390: DUP2 00003391: MSTORE 00003392: PUSH1 0x00 00003394: PUSH2 0x33a0 00003397: PUSH1 0x40 00003399: DUP4 0000339a: ADD 0000339b: DUP6 0000339c: PUSH2 0x3335 0000339f: JUMP 000033a0: JUMPDEST 000033a1: SWAP1 000033a2: POP 000033a3: DUP3 000033a4: PUSH1 0x20 000033a6: DUP4 000033a7: ADD 000033a8: MSTORE 000033a9: SWAP4 000033aa: SWAP3 000033ab: POP 000033ac: POP 000033ad: POP 000033ae: JUMP 000033af: JUMPDEST 000033b0: PUSH1 0x00 000033b2: DUP1 000033b3: PUSH1 0x00 000033b5: DUP1 000033b6: PUSH1 0x80 000033b8: DUP6 000033b9: DUP8 000033ba: SUB 000033bb: SLT 000033bc: ISZERO 000033bd: PUSH2 0x33c5 000033c0: JUMPI 000033c1: PUSH1 0x00 000033c3: DUP1 000033c4: REVERT 000033c5: JUMPDEST 000033c6: DUP5 000033c7: CALLDATALOAD 000033c8: PUSH2 0x33d0 000033cb: DUP2 000033cc: PUSH2 0x2fba 000033cf: JUMP 000033d0: JUMPDEST 000033d1: SWAP4 000033d2: POP 000033d3: PUSH1 0x20 000033d5: DUP6 000033d6: ADD 000033d7: CALLDATALOAD 000033d8: PUSH2 0x33e0 000033db: DUP2 000033dc: PUSH2 0x2fba 000033df: JUMP 000033e0: JUMPDEST 000033e1: SWAP3 000033e2: POP 000033e3: PUSH1 0x40 000033e5: DUP6 000033e6: ADD 000033e7: CALLDATALOAD 000033e8: SWAP2 000033e9: POP 000033ea: PUSH1 0x60 000033ec: DUP6 000033ed: ADD 000033ee: CALLDATALOAD 000033ef: PUSH2 0x33f7 000033f2: DUP2 000033f3: PUSH2 0x2fba 000033f6: JUMP 000033f7: JUMPDEST 000033f8: SWAP4 000033f9: SWAP7 000033fa: SWAP3 000033fb: SWAP6 000033fc: POP 000033fd: SWAP1 000033fe: SWAP4 000033ff: POP 00003400: POP 00003401: JUMP 00003402: JUMPDEST 00003403: PUSH1 0x00 00003405: DUP1 00003406: PUSH1 0x00 00003408: PUSH1 0x60 0000340a: DUP5 0000340b: DUP7 0000340c: SUB 0000340d: SLT 0000340e: ISZERO 0000340f: PUSH2 0x3417 00003412: JUMPI 00003413: PUSH1 0x00 00003415: DUP1 00003416: REVERT 00003417: JUMPDEST 00003418: DUP4 00003419: CALLDATALOAD 0000341a: PUSH2 0x3422 0000341d: DUP2 0000341e: PUSH2 0x2fba 00003421: JUMP 00003422: JUMPDEST 00003423: SWAP3 00003424: POP 00003425: PUSH1 0x20 00003427: DUP5 00003428: ADD 00003429: CALLDATALOAD 0000342a: PUSH2 0x3432 0000342d: DUP2 0000342e: PUSH2 0x2fba 00003431: JUMP 00003432: JUMPDEST 00003433: SWAP3 00003434: SWAP6 00003435: SWAP3 00003436: SWAP5 00003437: POP 00003438: POP 00003439: POP 0000343a: PUSH1 0x40 0000343c: SWAP2 0000343d: SWAP1 0000343e: SWAP2 0000343f: ADD 00003440: CALLDATALOAD 00003441: SWAP1 00003442: JUMP 00003443: JUMPDEST 00003444: PUSH1 0x00 00003446: DUP1 00003447: PUSH1 0x20 00003449: DUP4 0000344a: DUP6 0000344b: SUB 0000344c: SLT 0000344d: ISZERO 0000344e: PUSH2 0x3456 00003451: JUMPI 00003452: PUSH1 0x00 00003454: DUP1 00003455: REVERT 00003456: JUMPDEST 00003457: DUP3 00003458: CALLDATALOAD 00003459: PUSH8 0xffffffffffffffff 00003462: DUP1 00003463: DUP3 00003464: GT 00003465: ISZERO 00003466: PUSH2 0x346e 00003469: JUMPI 0000346a: PUSH1 0x00 0000346c: DUP1 0000346d: REVERT 0000346e: JUMPDEST 0000346f: DUP2 00003470: DUP6 00003471: ADD 00003472: SWAP2 00003473: POP 00003474: DUP6 00003475: PUSH1 0x1f 00003477: DUP4 00003478: ADD 00003479: SLT 0000347a: PUSH2 0x3482 0000347d: JUMPI 0000347e: PUSH1 0x00 00003480: DUP1 00003481: REVERT 00003482: JUMPDEST 00003483: DUP2 00003484: CALLDATALOAD 00003485: DUP2 00003486: DUP2 00003487: GT 00003488: ISZERO 00003489: PUSH2 0x3491 0000348c: JUMPI 0000348d: PUSH1 0x00 0000348f: DUP1 00003490: REVERT 00003491: JUMPDEST 00003492: DUP7 00003493: PUSH1 0x20 00003495: PUSH1 0xa0 00003497: DUP4 00003498: MUL 00003499: DUP6 0000349a: ADD 0000349b: ADD 0000349c: GT 0000349d: ISZERO 0000349e: PUSH2 0x34a6 000034a1: JUMPI 000034a2: PUSH1 0x00 000034a4: DUP1 000034a5: REVERT 000034a6: JUMPDEST 000034a7: PUSH1 0x20 000034a9: SWAP3 000034aa: SWAP1 000034ab: SWAP3 000034ac: ADD 000034ad: SWAP7 000034ae: SWAP2 000034af: SWAP6 000034b0: POP 000034b1: SWAP1 000034b2: SWAP4 000034b3: POP 000034b4: POP 000034b5: POP 000034b6: POP 000034b7: JUMP 000034b8: JUMPDEST 000034b9: PUSH1 0x00 000034bb: DUP1 000034bc: PUSH1 0x00 000034be: DUP1 000034bf: PUSH1 0x00 000034c1: DUP1 000034c2: PUSH1 0x80 000034c4: DUP8 000034c5: DUP10 000034c6: SUB 000034c7: SLT 000034c8: ISZERO 000034c9: PUSH2 0x34d1 000034cc: JUMPI 000034cd: PUSH1 0x00 000034cf: DUP1 000034d0: REVERT 000034d1: JUMPDEST 000034d2: DUP7 000034d3: CALLDATALOAD 000034d4: PUSH8 0xffffffffffffffff 000034dd: DUP1 000034de: DUP3 000034df: GT 000034e0: ISZERO 000034e1: PUSH2 0x34e9 000034e4: JUMPI 000034e5: PUSH1 0x00 000034e7: DUP1 000034e8: REVERT 000034e9: JUMPDEST 000034ea: PUSH2 0x34f5 000034ed: DUP11 000034ee: DUP4 000034ef: DUP12 000034f0: ADD 000034f1: PUSH2 0x2e45 000034f4: JUMP 000034f5: JUMPDEST 000034f6: SWAP1 000034f7: SWAP9 000034f8: POP 000034f9: SWAP7 000034fa: POP 000034fb: PUSH1 0x20 000034fd: DUP10 000034fe: ADD 000034ff: CALLDATALOAD 00003500: SWAP2 00003501: POP 00003502: PUSH2 0x350a 00003505: DUP3 00003506: PUSH2 0x2fba 00003509: JUMP 0000350a: JUMPDEST 0000350b: SWAP1 0000350c: SWAP5 0000350d: POP 0000350e: PUSH1 0x40 00003510: DUP9 00003511: ADD 00003512: CALLDATALOAD 00003513: SWAP1 00003514: PUSH2 0x351c 00003517: DUP3 00003518: PUSH2 0x2fba 0000351b: JUMP 0000351c: JUMPDEST 0000351d: SWAP1 0000351e: SWAP4 0000351f: POP 00003520: PUSH1 0x60 00003522: DUP9 00003523: ADD 00003524: CALLDATALOAD 00003525: SWAP1 00003526: DUP1 00003527: DUP3 00003528: GT 00003529: ISZERO 0000352a: PUSH2 0x3532 0000352d: JUMPI 0000352e: PUSH1 0x00 00003530: DUP1 00003531: REVERT 00003532: JUMPDEST 00003533: POP 00003534: PUSH2 0x353f 00003537: DUP10 00003538: DUP3 00003539: DUP11 0000353a: ADD 0000353b: PUSH2 0x2e45 0000353e: JUMP 0000353f: JUMPDEST 00003540: SWAP8 00003541: SWAP11 00003542: SWAP7 00003543: SWAP10 00003544: POP 00003545: SWAP5 00003546: SWAP8 00003547: POP 00003548: SWAP3 00003549: SWAP6 0000354a: SWAP4 0000354b: SWAP5 0000354c: SWAP3 0000354d: POP 0000354e: POP 0000354f: POP 00003550: JUMP 00003551: JUMPDEST 00003552: PUSH1 0x01 00003554: PUSH1 0x01 00003556: PUSH1 0xa0 00003558: SHL 00003559: SUB 0000355a: DUP4 0000355b: AND 0000355c: DUP2 0000355d: MSTORE 0000355e: PUSH1 0x40 00003560: PUSH1 0x20 00003562: DUP3 00003563: ADD 00003564: MSTORE 00003565: PUSH1 0x00 00003567: PUSH2 0x0afe 0000356a: PUSH1 0x40 0000356c: DUP4 0000356d: ADD 0000356e: DUP5 0000356f: PUSH2 0x31ca 00003572: JUMP 00003573: JUMPDEST 00003574: DUP3 00003575: DUP2 00003576: MSTORE 00003577: PUSH1 0x40 00003579: PUSH1 0x20 0000357b: DUP3 0000357c: ADD 0000357d: MSTORE 0000357e: PUSH1 0x00 00003580: PUSH2 0x0afe 00003583: PUSH1 0x40 00003585: DUP4 00003586: ADD 00003587: DUP5 00003588: PUSH2 0x31ca 0000358b: JUMP 0000358c: JUMPDEST 0000358d: PUSH1 0x00 0000358f: PUSH1 0x20 00003591: DUP3 00003592: DUP5 00003593: SUB 00003594: SLT 00003595: ISZERO 00003596: PUSH2 0x359e 00003599: JUMPI 0000359a: PUSH1 0x00 0000359c: DUP1 0000359d: REVERT 0000359e: JUMPDEST 0000359f: DUP2 000035a0: MLOAD 000035a1: PUSH2 0x0998 000035a4: DUP2 000035a5: PUSH2 0x2e12 000035a8: JUMP 000035a9: JUMPDEST 000035aa: PUSH4 0x4e487b71 000035af: PUSH1 0xe0 000035b1: SHL 000035b2: PUSH1 0x00 000035b4: MSTORE 000035b5: PUSH1 0x32 000035b7: PUSH1 0x04 000035b9: MSTORE 000035ba: PUSH1 0x24 000035bc: PUSH1 0x00 000035be: REVERT 000035bf: JUMPDEST 000035c0: DUP1 000035c1: CALLDATALOAD 000035c2: PUSH1 0x03 000035c4: DUP2 000035c5: LT 000035c6: PUSH2 0x35ce 000035c9: JUMPI 000035ca: PUSH1 0x00 000035cc: DUP1 000035cd: REVERT 000035ce: JUMPDEST 000035cf: SWAP2 000035d0: SWAP1 000035d1: POP 000035d2: JUMP 000035d3: JUMPDEST 000035d4: PUSH1 0x00 000035d6: PUSH1 0x60 000035d8: DUP3 000035d9: DUP5 000035da: SUB 000035db: SLT 000035dc: ISZERO 000035dd: PUSH2 0x35e5 000035e0: JUMPI 000035e1: PUSH1 0x00 000035e3: DUP1 000035e4: REVERT 000035e5: JUMPDEST 000035e6: PUSH1 0x40 000035e8: MLOAD 000035e9: PUSH1 0x60 000035eb: DUP2 000035ec: ADD 000035ed: DUP2 000035ee: DUP2 000035ef: LT 000035f0: PUSH8 0xffffffffffffffff 000035f9: DUP3 000035fa: GT 000035fb: OR 000035fc: ISZERO 000035fd: PUSH2 0x3608 00003600: JUMPI 00003601: PUSH2 0x3608 00003604: PUSH2 0x2ed0 00003607: JUMP 00003608: JUMPDEST 00003609: PUSH1 0x40 0000360b: MSTORE 0000360c: PUSH2 0x3614 0000360f: DUP4 00003610: PUSH2 0x35bf 00003613: JUMP 00003614: JUMPDEST 00003615: DUP2 00003616: MSTORE 00003617: PUSH1 0x20 00003619: DUP4 0000361a: ADD 0000361b: CALLDATALOAD 0000361c: PUSH2 0x3624 0000361f: DUP2 00003620: PUSH2 0x2fba 00003623: JUMP 00003624: JUMPDEST 00003625: PUSH1 0x20 00003627: DUP3 00003628: ADD 00003629: MSTORE 0000362a: PUSH1 0x40 0000362c: SWAP3 0000362d: DUP4 0000362e: ADD 0000362f: CALLDATALOAD 00003630: SWAP3 00003631: DUP2 00003632: ADD 00003633: SWAP3 00003634: SWAP1 00003635: SWAP3 00003636: MSTORE 00003637: POP 00003638: SWAP2 00003639: SWAP1 0000363a: POP 0000363b: JUMP 0000363c: JUMPDEST 0000363d: PUSH4 0x4e487b71 00003642: PUSH1 0xe0 00003644: SHL 00003645: PUSH1 0x00 00003647: MSTORE 00003648: PUSH1 0x21 0000364a: PUSH1 0x04 0000364c: MSTORE 0000364d: PUSH1 0x24 0000364f: PUSH1 0x00 00003651: REVERT 00003652: JUMPDEST 00003653: DUP1 00003654: CALLDATALOAD 00003655: PUSH1 0xff 00003657: DUP2 00003658: AND 00003659: DUP2 0000365a: EQ 0000365b: PUSH2 0x35ce 0000365e: JUMPI 0000365f: PUSH1 0x00 00003661: DUP1 00003662: REVERT 00003663: JUMPDEST 00003664: PUSH1 0x00 00003666: PUSH1 0x20 00003668: DUP3 00003669: DUP5 0000366a: SUB 0000366b: SLT 0000366c: ISZERO 0000366d: PUSH2 0x3675 00003670: JUMPI 00003671: PUSH1 0x00 00003673: DUP1 00003674: REVERT 00003675: JUMPDEST 00003676: PUSH2 0x0998 00003679: DUP3 0000367a: PUSH2 0x3652 0000367d: JUMP 0000367e: JUMPDEST 0000367f: PUSH1 0x60 00003681: DUP2 00003682: ADD 00003683: DUP2 00003684: DUP4 00003685: PUSH1 0x00 00003687: JUMPDEST 00003688: PUSH1 0x03 0000368a: DUP2 0000368b: LT 0000368c: ISZERO 0000368d: PUSH2 0x30ee 00003690: JUMPI 00003691: PUSH1 0xff 00003693: PUSH2 0x369b 00003696: DUP4 00003697: PUSH2 0x3652 0000369a: JUMP 0000369b: JUMPDEST 0000369c: AND 0000369d: DUP4 0000369e: MSTORE 0000369f: PUSH1 0x20 000036a1: SWAP3 000036a2: DUP4 000036a3: ADD 000036a4: SWAP3 000036a5: SWAP2 000036a6: SWAP1 000036a7: SWAP2 000036a8: ADD 000036a9: SWAP1 000036aa: PUSH1 0x01 000036ac: ADD 000036ad: PUSH2 0x3687 000036b0: JUMP 000036b1: JUMPDEST 000036b2: PUSH1 0x01 000036b4: DUP2 000036b5: DUP2 000036b6: SHR 000036b7: SWAP1 000036b8: DUP3 000036b9: AND 000036ba: DUP1 000036bb: PUSH2 0x36c5 000036be: JUMPI 000036bf: PUSH1 0x7f 000036c1: DUP3 000036c2: AND 000036c3: SWAP2 000036c4: POP 000036c5: JUMPDEST 000036c6: PUSH1 0x20 000036c8: DUP3 000036c9: LT 000036ca: DUP2 000036cb: SUB 000036cc: PUSH2 0x36e5 000036cf: JUMPI 000036d0: PUSH4 0x4e487b71 000036d5: PUSH1 0xe0 000036d7: SHL 000036d8: PUSH1 0x00 000036da: MSTORE 000036db: PUSH1 0x22 000036dd: PUSH1 0x04 000036df: MSTORE 000036e0: PUSH1 0x24 000036e2: PUSH1 0x00 000036e4: REVERT 000036e5: JUMPDEST 000036e6: POP 000036e7: SWAP2 000036e8: SWAP1 000036e9: POP 000036ea: JUMP 000036eb: JUMPDEST 000036ec: DUP2 000036ed: DUP4 000036ee: MSTORE 000036ef: DUP2 000036f0: DUP2 000036f1: PUSH1 0x20 000036f3: DUP6 000036f4: ADD 000036f5: CALLDATACOPY 000036f6: POP 000036f7: PUSH1 0x00 000036f9: PUSH1 0x20 000036fb: DUP3 000036fc: DUP5 000036fd: ADD 000036fe: ADD 000036ff: MSTORE 00003700: PUSH1 0x00 00003702: PUSH1 0x20 00003704: PUSH1 0x1f 00003706: NOT 00003707: PUSH1 0x1f 00003709: DUP5 0000370a: ADD 0000370b: AND 0000370c: DUP5 0000370d: ADD 0000370e: ADD 0000370f: SWAP1 00003710: POP 00003711: SWAP3 00003712: SWAP2 00003713: POP 00003714: POP 00003715: JUMP 00003716: JUMPDEST 00003717: DUP4 00003718: DUP2 00003719: MSTORE 0000371a: PUSH1 0x40 0000371c: PUSH1 0x20 0000371e: DUP3 0000371f: ADD 00003720: MSTORE 00003721: PUSH1 0x00 00003723: PUSH2 0x0afb 00003726: PUSH1 0x40 00003728: DUP4 00003729: ADD 0000372a: DUP5 0000372b: DUP7 0000372c: PUSH2 0x36eb 0000372f: JUMP 00003730: JUMPDEST 00003731: PUSH1 0x00 00003733: DUP3 00003734: CALLDATALOAD 00003735: PUSH1 0x5e 00003737: NOT 00003738: DUP4 00003739: CALLDATASIZE 0000373a: SUB 0000373b: ADD 0000373c: DUP2 0000373d: SLT 0000373e: PUSH2 0x3746 00003741: JUMPI 00003742: PUSH1 0x00 00003744: DUP1 00003745: REVERT 00003746: JUMPDEST 00003747: SWAP2 00003748: SWAP1 00003749: SWAP2 0000374a: ADD 0000374b: SWAP3 0000374c: SWAP2 0000374d: POP 0000374e: POP 0000374f: JUMP 00003750: JUMPDEST 00003751: PUSH1 0x00 00003753: DUP1 00003754: DUP4 00003755: CALLDATALOAD 00003756: PUSH1 0x1e 00003758: NOT 00003759: DUP5 0000375a: CALLDATASIZE 0000375b: SUB 0000375c: ADD 0000375d: DUP2 0000375e: SLT 0000375f: PUSH2 0x3767 00003762: JUMPI 00003763: PUSH1 0x00 00003765: DUP1 00003766: REVERT 00003767: JUMPDEST 00003768: DUP4 00003769: ADD 0000376a: DUP1 0000376b: CALLDATALOAD 0000376c: SWAP2 0000376d: POP 0000376e: PUSH8 0xffffffffffffffff 00003777: DUP3 00003778: GT 00003779: ISZERO 0000377a: PUSH2 0x3782 0000377d: JUMPI 0000377e: PUSH1 0x00 00003780: DUP1 00003781: REVERT 00003782: JUMPDEST 00003783: PUSH1 0x20 00003785: ADD 00003786: SWAP2 00003787: POP 00003788: CALLDATASIZE 00003789: DUP2 0000378a: SWAP1 0000378b: SUB 0000378c: DUP3 0000378d: SGT 0000378e: ISZERO 0000378f: PUSH2 0x2e87 00003792: JUMPI 00003793: PUSH1 0x00 00003795: DUP1 00003796: REVERT 00003797: JUMPDEST 00003798: DUP2 00003799: DUP4 0000379a: DUP3 0000379b: CALLDATACOPY 0000379c: PUSH1 0x00 0000379e: SWAP2 0000379f: ADD 000037a0: SWAP1 000037a1: DUP2 000037a2: MSTORE 000037a3: SWAP2 000037a4: SWAP1 000037a5: POP 000037a6: JUMP 000037a7: JUMPDEST 000037a8: PUSH1 0x00 000037aa: DUP3 000037ab: PUSH2 0x37c4 000037ae: JUMPI 000037af: PUSH4 0x4e487b71 000037b4: PUSH1 0xe0 000037b6: SHL 000037b7: PUSH1 0x00 000037b9: MSTORE 000037ba: PUSH1 0x12 000037bc: PUSH1 0x04 000037be: MSTORE 000037bf: PUSH1 0x24 000037c1: PUSH1 0x00 000037c3: REVERT 000037c4: JUMPDEST 000037c5: POP 000037c6: DIV 000037c7: SWAP1 000037c8: JUMP 000037c9: JUMPDEST 000037ca: PUSH1 0x00 000037cc: PUSH1 0xa0 000037ce: DUP3 000037cf: ADD 000037d0: DUP9 000037d1: DUP4 000037d2: MSTORE 000037d3: PUSH1 0x20 000037d5: PUSH1 0xa0 000037d7: DUP2 000037d8: DUP6 000037d9: ADD 000037da: MSTORE 000037db: DUP2 000037dc: DUP9 000037dd: DUP4 000037de: MSTORE 000037df: PUSH1 0xc0 000037e1: DUP6 000037e2: ADD 000037e3: SWAP1 000037e4: POP 000037e5: PUSH1 0xc0 000037e7: DUP10 000037e8: PUSH1 0x05 000037ea: SHL 000037eb: DUP7 000037ec: ADD 000037ed: ADD 000037ee: SWAP3 000037ef: POP 000037f0: DUP10 000037f1: PUSH1 0x00 000037f3: JUMPDEST 000037f4: DUP11 000037f5: DUP2 000037f6: LT 000037f7: ISZERO 000037f8: PUSH2 0x38c6 000037fb: JUMPI 000037fc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff40 0000381d: DUP8 0000381e: DUP7 0000381f: SUB 00003820: ADD 00003821: DUP4 00003822: MSTORE 00003823: DUP2 00003824: CALLDATALOAD 00003825: PUSH1 0x5e 00003827: NOT 00003828: DUP14 00003829: CALLDATASIZE 0000382a: SUB 0000382b: ADD 0000382c: DUP2 0000382d: SLT 0000382e: PUSH2 0x3836 00003831: JUMPI 00003832: PUSH1 0x00 00003834: DUP1 00003835: REVERT 00003836: JUMPDEST 00003837: DUP13 00003838: ADD 00003839: PUSH1 0x60 0000383b: DUP2 0000383c: CALLDATALOAD 0000383d: PUSH2 0x3845 00003840: DUP2 00003841: PUSH2 0x2fba 00003844: JUMP 00003845: JUMPDEST 00003846: PUSH1 0x01 00003848: PUSH1 0x01 0000384a: PUSH1 0xa0 0000384c: SHL 0000384d: SUB 0000384e: AND 0000384f: DUP8 00003850: MSTORE 00003851: DUP2 00003852: DUP7 00003853: ADD 00003854: CALLDATALOAD 00003855: DUP7 00003856: DUP9 00003857: ADD 00003858: MSTORE 00003859: PUSH1 0x40 0000385b: DUP1 0000385c: DUP4 0000385d: ADD 0000385e: CALLDATALOAD 0000385f: CALLDATASIZE 00003860: DUP5 00003861: SWAP1 00003862: SUB 00003863: PUSH1 0x1e 00003865: NOT 00003866: ADD 00003867: DUP2 00003868: SLT 00003869: PUSH2 0x3871 0000386c: JUMPI 0000386d: PUSH1 0x00 0000386f: DUP1 00003870: REVERT 00003871: JUMPDEST 00003872: SWAP1 00003873: SWAP3 00003874: ADD 00003875: DUP7 00003876: DUP2 00003877: ADD 00003878: SWAP3 00003879: SWAP1 0000387a: CALLDATALOAD 0000387b: PUSH8 0xffffffffffffffff 00003884: DUP2 00003885: GT 00003886: ISZERO 00003887: PUSH2 0x388f 0000388a: JUMPI 0000388b: PUSH1 0x00 0000388d: DUP1 0000388e: REVERT 0000388f: JUMPDEST 00003890: DUP1 00003891: CALLDATASIZE 00003892: SUB 00003893: DUP5 00003894: SGT 00003895: ISZERO 00003896: PUSH2 0x389e 00003899: JUMPI 0000389a: PUSH1 0x00 0000389c: DUP1 0000389d: REVERT 0000389e: JUMPDEST 0000389f: DUP3 000038a0: DUP3 000038a1: DUP11 000038a2: ADD 000038a3: MSTORE 000038a4: PUSH2 0x38b0 000038a7: DUP4 000038a8: DUP11 000038a9: ADD 000038aa: DUP3 000038ab: DUP7 000038ac: PUSH2 0x36eb 000038af: JUMP 000038b0: JUMPDEST 000038b1: SWAP9 000038b2: POP 000038b3: POP 000038b4: POP 000038b5: SWAP4 000038b6: DUP6 000038b7: ADD 000038b8: SWAP4 000038b9: POP 000038ba: POP 000038bb: SWAP1 000038bc: DUP4 000038bd: ADD 000038be: SWAP1 000038bf: PUSH1 0x01 000038c1: ADD 000038c2: PUSH2 0x37f3 000038c5: JUMP 000038c6: JUMPDEST 000038c7: POP 000038c8: POP 000038c9: POP 000038ca: POP 000038cb: DUP6 000038cc: PUSH1 0x40 000038ce: DUP5 000038cf: ADD 000038d0: MSTORE 000038d1: DUP5 000038d2: PUSH1 0x60 000038d4: DUP5 000038d5: ADD 000038d6: MSTORE 000038d7: DUP3 000038d8: DUP2 000038d9: SUB 000038da: PUSH1 0x80 000038dc: DUP5 000038dd: ADD 000038de: MSTORE 000038df: PUSH2 0x38e8 000038e2: DUP2 000038e3: DUP6 000038e4: PUSH2 0x3335 000038e7: JUMP 000038e8: JUMPDEST 000038e9: SWAP10 000038ea: SWAP9 000038eb: POP 000038ec: POP 000038ed: POP 000038ee: POP 000038ef: POP 000038f0: POP 000038f1: POP 000038f2: POP 000038f3: POP 000038f4: JUMP 000038f5: JUMPDEST 000038f6: PUSH1 0x00 000038f8: PUSH1 0xa0 000038fa: DUP3 000038fb: DUP5 000038fc: SUB 000038fd: SLT 000038fe: ISZERO 000038ff: PUSH2 0x3907 00003902: JUMPI 00003903: PUSH1 0x00 00003905: DUP1 00003906: REVERT 00003907: JUMPDEST 00003908: PUSH1 0x40 0000390a: MLOAD 0000390b: PUSH1 0xa0 0000390d: DUP2 0000390e: ADD 0000390f: DUP2 00003910: DUP2 00003911: LT 00003912: PUSH8 0xffffffffffffffff 0000391b: DUP3 0000391c: GT 0000391d: OR 0000391e: ISZERO 0000391f: PUSH2 0x392a 00003922: JUMPI 00003923: PUSH2 0x392a 00003926: PUSH2 0x2ed0 00003929: JUMP 0000392a: JUMPDEST 0000392b: PUSH1 0x40 0000392d: MSTORE 0000392e: PUSH2 0x3936 00003931: DUP4 00003932: PUSH2 0x35bf 00003935: JUMP 00003936: JUMPDEST 00003937: DUP2 00003938: MSTORE 00003939: PUSH1 0x20 0000393b: DUP4 0000393c: ADD 0000393d: CALLDATALOAD 0000393e: PUSH2 0x3946 00003941: DUP2 00003942: PUSH2 0x2fba 00003945: JUMP 00003946: JUMPDEST 00003947: PUSH1 0x20 00003949: DUP3 0000394a: ADD 0000394b: MSTORE 0000394c: PUSH1 0x40 0000394e: DUP4 0000394f: ADD 00003950: CALLDATALOAD 00003951: PUSH2 0x3959 00003954: DUP2 00003955: PUSH2 0x2fba 00003958: JUMP 00003959: JUMPDEST 0000395a: PUSH1 0x40 0000395c: DUP3 0000395d: ADD 0000395e: MSTORE 0000395f: PUSH1 0x60 00003961: DUP4 00003962: ADD 00003963: CALLDATALOAD 00003964: PUSH2 0x396c 00003967: DUP2 00003968: PUSH2 0x2fba 0000396b: JUMP 0000396c: JUMPDEST 0000396d: PUSH1 0x60 0000396f: DUP3 00003970: ADD 00003971: MSTORE 00003972: PUSH1 0x80 00003974: SWAP3 00003975: DUP4 00003976: ADD 00003977: CALLDATALOAD 00003978: SWAP3 00003979: DUP2 0000397a: ADD 0000397b: SWAP3 0000397c: SWAP1 0000397d: SWAP3 0000397e: MSTORE 0000397f: POP 00003980: SWAP2 00003981: SWAP1 00003982: POP 00003983: JUMP 00003984: JUMPDEST 00003985: PUSH1 0x1f 00003987: DUP3 00003988: GT 00003989: ISZERO 0000398a: PUSH2 0x08ea 0000398d: JUMPI 0000398e: PUSH1 0x00 00003990: DUP2 00003991: DUP2 00003992: MSTORE 00003993: PUSH1 0x20 00003995: DUP2 00003996: KECCAK256 00003997: PUSH1 0x1f 00003999: DUP6 0000399a: ADD 0000399b: PUSH1 0x05 0000399d: SHR 0000399e: DUP2 0000399f: ADD 000039a0: PUSH1 0x20 000039a2: DUP7 000039a3: LT 000039a4: ISZERO 000039a5: PUSH2 0x39ab 000039a8: JUMPI 000039a9: POP 000039aa: DUP1 000039ab: JUMPDEST 000039ac: PUSH1 0x1f 000039ae: DUP6 000039af: ADD 000039b0: PUSH1 0x05 000039b2: SHR 000039b3: DUP3 000039b4: ADD 000039b5: SWAP2 000039b6: POP 000039b7: JUMPDEST 000039b8: DUP2 000039b9: DUP2 000039ba: LT 000039bb: ISZERO 000039bc: PUSH2 0x39ca 000039bf: JUMPI 000039c0: DUP3 000039c1: DUP2 000039c2: SSTORE 000039c3: PUSH1 0x01 000039c5: ADD 000039c6: PUSH2 0x39b7 000039c9: JUMP 000039ca: JUMPDEST 000039cb: POP 000039cc: POP 000039cd: POP 000039ce: POP 000039cf: POP 000039d0: POP 000039d1: JUMP 000039d2: JUMPDEST 000039d3: PUSH8 0xffffffffffffffff 000039dc: DUP4 000039dd: GT 000039de: ISZERO 000039df: PUSH2 0x39ea 000039e2: JUMPI 000039e3: PUSH2 0x39ea 000039e6: PUSH2 0x2ed0 000039e9: JUMP 000039ea: JUMPDEST 000039eb: PUSH2 0x39fe 000039ee: DUP4 000039ef: PUSH2 0x39f8 000039f2: DUP4 000039f3: SLOAD 000039f4: PUSH2 0x36b1 000039f7: JUMP 000039f8: JUMPDEST 000039f9: DUP4 000039fa: PUSH2 0x3984 000039fd: JUMP 000039fe: JUMPDEST 000039ff: PUSH1 0x00 00003a01: PUSH1 0x1f 00003a03: DUP5 00003a04: GT 00003a05: PUSH1 0x01 00003a07: DUP2 00003a08: EQ 00003a09: PUSH2 0x3a32 00003a0c: JUMPI 00003a0d: PUSH1 0x00 00003a0f: DUP6 00003a10: ISZERO 00003a11: PUSH2 0x3a1a 00003a14: JUMPI 00003a15: POP 00003a16: DUP4 00003a17: DUP3 00003a18: ADD 00003a19: CALLDATALOAD 00003a1a: JUMPDEST 00003a1b: PUSH1 0x00 00003a1d: NOT 00003a1e: PUSH1 0x03 00003a20: DUP8 00003a21: SWAP1 00003a22: SHL 00003a23: SHR 00003a24: NOT 00003a25: AND 00003a26: PUSH1 0x01 00003a28: DUP7 00003a29: SWAP1 00003a2a: SHL 00003a2b: OR 00003a2c: DUP4 00003a2d: SSTORE 00003a2e: PUSH2 0x0ab4 00003a31: JUMP 00003a32: JUMPDEST 00003a33: PUSH1 0x00 00003a35: DUP4 00003a36: DUP2 00003a37: MSTORE 00003a38: PUSH1 0x20 00003a3a: SWAP1 00003a3b: KECCAK256 00003a3c: PUSH1 0x1f 00003a3e: NOT 00003a3f: DUP7 00003a40: AND 00003a41: SWAP1 00003a42: DUP4 00003a43: JUMPDEST 00003a44: DUP3 00003a45: DUP2 00003a46: LT 00003a47: ISZERO 00003a48: PUSH2 0x3a63 00003a4b: JUMPI 00003a4c: DUP7 00003a4d: DUP6 00003a4e: ADD 00003a4f: CALLDATALOAD 00003a50: DUP3 00003a51: SSTORE 00003a52: PUSH1 0x20 00003a54: SWAP5 00003a55: DUP6 00003a56: ADD 00003a57: SWAP5 00003a58: PUSH1 0x01 00003a5a: SWAP1 00003a5b: SWAP3 00003a5c: ADD 00003a5d: SWAP2 00003a5e: ADD 00003a5f: PUSH2 0x3a43 00003a62: JUMP 00003a63: JUMPDEST 00003a64: POP 00003a65: DUP7 00003a66: DUP3 00003a67: LT 00003a68: ISZERO 00003a69: PUSH2 0x3a80 00003a6c: JUMPI 00003a6d: PUSH1 0x00 00003a6f: NOT 00003a70: PUSH1 0xf8 00003a72: DUP9 00003a73: PUSH1 0x03 00003a75: SHL 00003a76: AND 00003a77: SHR 00003a78: NOT 00003a79: DUP5 00003a7a: DUP8 00003a7b: ADD 00003a7c: CALLDATALOAD 00003a7d: AND 00003a7e: DUP2 00003a7f: SSTORE 00003a80: JUMPDEST 00003a81: POP 00003a82: POP 00003a83: PUSH1 0x01 00003a85: DUP6 00003a86: PUSH1 0x01 00003a88: SHL 00003a89: ADD 00003a8a: DUP4 00003a8b: SSTORE 00003a8c: POP 00003a8d: POP 00003a8e: POP 00003a8f: POP 00003a90: POP 00003a91: JUMP 00003a92: JUMPDEST 00003a93: PUSH1 0x20 00003a95: DUP2 00003a96: MSTORE 00003a97: PUSH1 0x00 00003a99: PUSH2 0x0afe 00003a9c: PUSH1 0x20 00003a9e: DUP4 00003a9f: ADD 00003aa0: DUP5 00003aa1: DUP7 00003aa2: PUSH2 0x36eb 00003aa5: JUMP 00003aa6: JUMPDEST 00003aa7: PUSH1 0x00 00003aa9: PUSH1 0x01 00003aab: PUSH1 0x01 00003aad: PUSH1 0xa0 00003aaf: SHL 00003ab0: SUB 00003ab1: DUP1 00003ab2: DUP8 00003ab3: AND 00003ab4: DUP4 00003ab5: MSTORE 00003ab6: DUP1 00003ab7: DUP7 00003ab8: AND 00003ab9: PUSH1 0x20 00003abb: DUP5 00003abc: ADD 00003abd: MSTORE 00003abe: POP 00003abf: DUP4 00003ac0: PUSH1 0x40 00003ac2: DUP4 00003ac3: ADD 00003ac4: MSTORE 00003ac5: PUSH1 0x80 00003ac7: PUSH1 0x60 00003ac9: DUP4 00003aca: ADD 00003acb: MSTORE 00003acc: PUSH2 0x3ad8 00003acf: PUSH1 0x80 00003ad1: DUP4 00003ad2: ADD 00003ad3: DUP5 00003ad4: PUSH2 0x31ca 00003ad7: JUMP 00003ad8: JUMPDEST 00003ad9: SWAP7 00003ada: SWAP6 00003adb: POP 00003adc: POP 00003add: POP 00003ade: POP 00003adf: POP 00003ae0: POP 00003ae1: JUMP 00003ae2: JUMPDEST 00003ae3: PUSH1 0x00 00003ae5: PUSH1 0x20 00003ae7: DUP3 00003ae8: DUP5 00003ae9: SUB 00003aea: SLT 00003aeb: ISZERO 00003aec: PUSH2 0x3af4 00003aef: JUMPI 00003af0: PUSH1 0x00 00003af2: DUP1 00003af3: REVERT 00003af4: JUMPDEST 00003af5: DUP2 00003af6: MLOAD 00003af7: DUP1 00003af8: ISZERO 00003af9: ISZERO 00003afa: DUP2 00003afb: EQ 00003afc: PUSH2 0x0998 00003aff: JUMPI 00003b00: PUSH1 0x00 00003b02: DUP1 00003b03: REVERT 00003b04: JUMPDEST 00003b05: PUSH1 0x00 00003b07: PUSH1 0x20 00003b09: DUP3 00003b0a: DUP5 00003b0b: SUB 00003b0c: SLT 00003b0d: ISZERO 00003b0e: PUSH2 0x3b16 00003b11: JUMPI 00003b12: PUSH1 0x00 00003b14: DUP1 00003b15: REVERT 00003b16: JUMPDEST 00003b17: POP 00003b18: MLOAD 00003b19: SWAP2 00003b1a: SWAP1 00003b1b: POP 00003b1c: JUMP 00003b1d: JUMPDEST 00003b1e: PUSH1 0x00 00003b20: DUP3 00003b21: MLOAD 00003b22: PUSH2 0x3746 00003b25: DUP2 00003b26: DUP5 00003b27: PUSH1 0x20 00003b29: DUP8 00003b2a: ADD 00003b2b: PUSH2 0x31a6 00003b2e: JUMP 00003b2f: INVALID 00003b30: COINBASE 00003b31: PUSH5 0x6472657373 00003b37: GASPRICE 00003b38: KECCAK256 00003b39: PUSH13 0x6f772d6c6576656c2064656c65 00003b47: PUSH8 0x6174652063616c6c 00003b50: KECCAK256 00003b51: PUSH7 0x61696c6564a264 00003b59: PUSH10 0x7066735822122058c81e 00003b64: PUSH28 0x2e7427a493834332e54e706bcc36087c1df894bd533ce5fb22e37657 00003b81: PUSH5 0x736f6c6343 00003b87: STOP 00003b88: ADDMOD 00003b89: GT 00003b8a: STOP 00003b8b: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xdbdd7c05989e97ab1609898ef49948fd5c5fb57a735cecda0fea53170c5109dc
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0xdbdd7c05989e97ab1609898ef49948fd5c5fb57a735cecda0fea53170c5109dc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe978afe5",
"selector": "0xe978afe5",
"calldata_variants": [
"0xe978afe5",
"0xe978afe50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeafb8b06",
"selector": "0xeafb8b06",
"calldata_variants": [
"0xeafb8b06",
"0xeafb8b060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee57e36f",
"selector": "0xee57e36f",
"calldata_variants": [
"0xee57e36f",
"0xee57e36f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdef9106",
"selector": "0xfdef9106",
"calldata_variants": [
"0xfdef9106",
"0xfdef91060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd96054c4",
"selector": "0xd96054c4",
"calldata_variants": [
"0xd96054c4",
"0xd96054c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xda742228",
"selector": "0xda742228",
"calldata_variants": [
"0xda742228",
"0xda7422280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2e35563",
"selector": "0xe2e35563",
"calldata_variants": [
"0xe2e35563",
"0xe2e355630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe306bee7",
"selector": "0xe306bee7",
"calldata_variants": [
"0xe306bee7",
"0xe306bee70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 11218,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd5ace47a67f8186ec38a4b97eecb87b0fe2db5450f2139cb6b3cc6f8b68973db
call_targets:
0x52af16664155608b845be18aa29620ebf6ea2d3a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd5ace47a67f8186ec38a4b97eecb87b0fe2db5450f2139cb6b3cc6f8b68973db",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x52af16664155608b845be18aa29620ebf6ea2d3a"
],
"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": "0xe978afe5",
"selector": "0xe978afe5",
"calldata_variants": [
"0xe978afe5",
"0xe978afe50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeafb8b06",
"selector": "0xeafb8b06",
"calldata_variants": [
"0xeafb8b06",
"0xeafb8b060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee57e36f",
"selector": "0xee57e36f",
"calldata_variants": [
"0xee57e36f",
"0xee57e36f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdef9106",
"selector": "0xfdef9106",
"calldata_variants": [
"0xfdef9106",
"0xfdef91060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd96054c4",
"selector": "0xd96054c4",
"calldata_variants": [
"0xd96054c4",
"0xd96054c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xda742228",
"selector": "0xda742228",
"calldata_variants": [
"0xda742228",
"0xda7422280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2e35563",
"selector": "0xe2e35563",
"calldata_variants": [
"0xe2e35563",
"0xe2e355630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe306bee7",
"selector": "0xe306bee7",
"calldata_variants": [
"0xe306bee7",
"0xe306bee70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5481,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xd5ace47a67f8186ec38a4b97eecb87b0fe2db5450f2139cb6b3cc6f8b68973db
call_targets:
0x52af16664155608b845be18aa29620ebf6ea2d3a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd5ace47a67f8186ec38a4b97eecb87b0fe2db5450f2139cb6b3cc6f8b68973db",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x52af16664155608b845be18aa29620ebf6ea2d3a"
],
"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": "0xe978afe5",
"selector": "0xe978afe5",
"calldata_variants": [
"0xe978afe5",
"0xe978afe50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeafb8b06",
"selector": "0xeafb8b06",
"calldata_variants": [
"0xeafb8b06",
"0xeafb8b060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee57e36f",
"selector": "0xee57e36f",
"calldata_variants": [
"0xee57e36f",
"0xee57e36f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdef9106",
"selector": "0xfdef9106",
"calldata_variants": [
"0xfdef9106",
"0xfdef91060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd96054c4",
"selector": "0xd96054c4",
"calldata_variants": [
"0xd96054c4",
"0xd96054c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xda742228",
"selector": "0xda742228",
"calldata_variants": [
"0xda742228",
"0xda7422280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2e35563",
"selector": "0xe2e35563",
"calldata_variants": [
"0xe2e35563",
"0xe2e355630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe306bee7",
"selector": "0xe306bee7",
"calldata_variants": [
"0xe306bee7",
"0xe306bee70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5481,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|