f905dab4-6ddb-4aa7-bc63-73e1f1efca17
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 |
|---|---|---|---|---|
| 30222 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 73516 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 73517 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 73518 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 73519 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 73520 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 73521 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:1489087] OpenAI Codex v0.77.0 (research preview)
[codex:1489087] --------
[codex:1489087] workdir: /tmp/codex-multi-45ue9s39
[codex:1489087] model: gpt-5.2-codex
[codex:1489087] provider: openai
[codex:1489087] approval: never
[codex:1489087] sandbox: read-only
[codex:1489087] reasoning effort: xhigh
[codex:1489087] reasoning summaries: auto
[codex:1489087] session id: 019b6208-6aa0-7932-bce5-203b7fd670b1
[codex:1489087] --------
[codex:1489087] user
[codex:1489087] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1489087] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1489087] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1489087]
[codex:1489087] Scope rules:
[codex:1489087] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1489087] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1489087]
[codex:1489087] Output MUST be valid JSON matching the provided schema.
[codex:1489087] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1489087] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1489087]
[codex:1489087] Output constraints (IMPORTANT):
[codex:1489087] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1489087] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1489087] mcp startup: no servers
[codex:1489087]
[codex:1489087] thinking
[codex:1489087] **Checking for AUDIT_BUNDLE file**
[codex:1489087] exec
[codex:1489087] /bin/bash -lc ls in /tmp/codex-multi-45ue9s39 succeeded in 5ms:
[codex:1489087] AUDIT_BUNDLE.txt
[codex:1489087] codex-output-schema.json
[codex:1489087] contracts
[codex:1489087]
[codex:1489087] thinking
[codex:1489087] **Reading full AUDIT_BUNDLE file**
[codex:1489087] exec
[codex:1489087] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-45ue9s39 succeeded in 6ms:
[codex:1489087] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1489087]
[codex:1489087] ================================================================================
[codex:1489087] FILE: contracts/node_modules/@openzeppelin/contracts/access/AccessControl.sol
[codex:1489087] ================================================================================
[codex:1489087] // SPDX-License-Identifier: MIT
[codex:1489087] // OpenZeppelin Contracts (last updated v5.3.0) (access/AccessControl.sol)
[codex:1489087]
[codex:1489087] pragma solidity ^0.8.20;
[codex:1489087]
[codex:1489087] import {IAccessControl} from "./IAccessControl.sol";
[codex:1489087] import {Context} from "../utils/Context.sol";
[codex:1489087] import {ERC165} from "../utils/introspection/ERC165.sol";
[codex:1489087]
[codex:1489087] /**
[codex:1489087] * @dev Contract module that allows children to implement role-based access
[codex:1489087] * control mechanisms. This is a lightweight version that doesn't allow enumerating role
[codex:1489087] * members except through off-chain means by accessing the contract event logs. Some
[codex:1489087] * applications may benefit from on-chain enumerability, for those cases see
[codex:1489087] * {AccessControlEnumerable}.
[codex:1489087]
[codex:1489087] thinking
[codex:1489087] **Examining AUDIT_BUNDLE contents**
[codex:1489087] exec
[codex:1489087] /bin/bash -lc 'rg -n "FILE: contracts/src" AUDIT_BUNDLE.txt' in /tmp/codex-multi-45ue9s39 succeeded in 6ms:
[codex:1489087] 4956:FILE: contracts/src/HourglassStableVaultKYC.sol
[codex:1489087] 5780:FILE: contracts/src/base/HourglassStableVaultBridgeManager.sol
[codex:1489087] 5874:FILE: contracts/src/base/HourglassStableVaultDepositCapManager.sol
[codex:1489087] 5980:FILE: contracts/src/base/HourglassStableVaultDepositWindowManager.sol
[codex:1489087] 6189:FILE: contracts/src/base/HourglassStableVaultKYCManager.sol
[codex:1489087] 6237:FILE: contracts/src/base/HourglassStableVaultTreasuryManager.sol
[codex:1489087] 6337:FILE: contracts/src/interfaces/IBridgeableVault.sol
[codex:1489087]
[codex:1489087] thinking
[codex:1489087] **Extracting main contract section**
[codex:1489087] exec
[codex:1489087] /bin/bash -lc "sed -n '4956,5780p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-45ue9s39 succeeded in 7ms:
[codex:1489087] FILE: contracts/src/HourglassStableVaultKYC.sol
[codex:1489087] ================================================================================
[codex:1489087] // SPDX-License-Identifier: MIT
[codex:1489087] pragma solidity ^0.8.29;
[codex:1489087]
[codex:1489087] import { AccessControl } from "@openzeppelin/contracts/access/AccessControl.sol";
[codex:1489087] import { ERC20 } from "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:1489087] import { ERC20Permit } from "@openzeppelin/contracts/token/ERC20/extensions/ERC20Permit.sol";
[codex:1489087] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1489087] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1489087] import { ReentrancyGuard } from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
[codex:1489087] import { Math } from "@openzeppelin/contracts/utils/math/Math.sol";
[codex:1489087] import { HourglassStableVaultBridgeManager } from "./base/HourglassStableVaultBridgeManager.sol";
[codex:1489087] import { HourglassStableVaultDepositCapManager } from "./base/HourglassStableVaultDepositCapManager.sol";
[codex:1489087] import { HourglassStableVaultDepositWindowManager } from "./base/HourglassStableVaultDepositWindowManager.sol";
[codex:1489087] import { HourglassStableVaultKYCManager } from "./base/HourglassStableVaultKYCManager.sol";
[codex:1489087] import { HourglassStableVaultTreasuryManager } from "./base/HourglassStableVaultTreasuryManager.sol";
[codex:1489087] import { IBridgeableVault } from "./interfaces/IBridgeableVault.sol";
[codex:1489087]
[codex:1489087] enum OperationalMode {
[codex:1489087]
[codex:1489087]
[codex:1489087]
[codex:1489087]
[codex:1489087] thinking
[codex:1489087] **Thorough smart contract audit and risk analysis**
[codex:1489087]
[codex:1489087] I'm carefully reviewing the contract for vulnerabilities covering reentrancy, access control, upgradeability, token handling, and accounting nuances. There’s a lot to unpack about KYC/nonKYC share management, transfer restrictions, deposit windows, and admin privileges that could impact fund safety or contract logic integrity. I’m piecing together how these interact to spot subtle risks and confirm protections.
[codex:1489087] thinking
[codex:1489087] **Evaluating token mechanics and accounting edge cases**
[codex:1489087]
[codex:1489087] I'm dissecting how token transfers, KYC status changes, and deposit mechanics intertwine, especially around share accounting and admin role effects. There are subtle possibilities where KYC status and sharesNonKyc tracking could misalign, risking stranded funds or accounting quirks, so I’m checking if these amount to real exploitable issues or just edge cases.
[codex:1489087] thinking
[codex:1489087] **Analyzing bridge contract KYC and accounting inconsistencies**
[codex:1489087]
[codex:1489087] I'm examining how setting the bridge contract’s KYC status without updating share accounting can cause misclassification of shares and potential token redemption issues, especially around share pools and transfers during mode transitions. This looks like an administrative accounting quirk rather than an externally exploitable vulnerability.
[codex:1489087] thinking
[codex:1489087] **Evaluating token recovery and accounting edge cases**
[codex:1489087]
[codex:1489087] I'm reviewing token recovery logic, deposit caps, redemption flows, and external call safety to identify any subtle risks, but overall these look administratively controlled without direct exploits. The potential edge cases around recoverErc20, transfer restrictions, and mode transitions appear carefully guarded, suggesting no major vulnerabilities.
[codex:1489087] exec
[codex:1489087] /bin/bash -lc "rg -n \"delegatecall|call\\(\" AUDIT_BUNDLE.txt" in /tmp/codex-multi-45ue9s39 succeeded in 8ms:
[codex:1489087] 1413: let success := call(gas(), token, 0, add(data, 0x20), mload(data), 0, 0x20)
[codex:1489087] 1442: success := call(gas(), token, 0, add(data, 0x20), mload(data), 0, 0x20)
[codex:1489087] 3396: success := staticcall(gas(), 0x05, ptr, 0xc0, 0x00, 0x20)
[codex:1489087] 3430: success := staticcall(gas(), 0x05, dataPtr, mload(result), dataPtr, mLen)
[codex:1489087]
[codex:1489087] thinking
[codex:1489087] **Preparing audit summary JSON**
[codex:1489087] codex
[codex:1489087] {"no_findings":true,"summary":"Reviewed first-party contracts in AUDIT_BUNDLE (HourglassStableVaultKYC and base managers). No exploitable vulnerabilities found within the requested focus areas.","findings":[]}
[codex:1489087] tokens used
[codex:1489087] 36,515
[codex:1489087] {"no_findings":true,"summary":"Reviewed first-party contracts in AUDIT_BUNDLE (HourglassStableVaultKYC and base managers). No exploitable vulnerabilities found within the requested focus areas.","findings":[]}
{
"codex": {
"ran_at": "2025-12-27T23:03:09.795544+00:00",
"returncode": 0
},
"summary": "Reviewed first-party contracts in AUDIT_BUNDLE (HourglassStableVaultKYC and base managers). No exploitable vulnerabilities found within the requested focus areas.",
"raw_final": {
"summary": "Reviewed first-party contracts in AUDIT_BUNDLE (HourglassStableVaultKYC and base managers). No exploitable vulnerabilities found within the requested focus areas.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: DUP1 00000003: PUSH1 0x40 00000005: MSTORE 00000006: PUSH1 0x04 00000008: CALLDATASIZE 00000009: LT 0000000a: ISZERO 0000000b: PUSH2 0x0012 0000000e: JUMPI 0000000f: PUSH0 00000010: DUP1 00000011: REVERT 00000012: JUMPDEST 00000013: PUSH0 00000014: CALLDATALOAD 00000015: PUSH1 0xe0 00000017: SHR 00000018: SWAP1 00000019: DUP2 0000001a: PUSH4 0x01ffc9a7 0000001f: EQ 00000020: PUSH2 0x2265 00000023: JUMPI 00000024: POP 00000025: DUP1 00000026: PUSH4 0x0359632f 0000002b: EQ 0000002c: PUSH2 0x20ef 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x063d11de 00000036: EQ 00000037: PUSH2 0x1ee4 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x06fdde03 00000041: EQ 00000042: PUSH2 0x1e3f 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x095ea7b3 0000004c: EQ 0000004d: PUSH2 0x1e19 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x0b26cf66 00000057: EQ 00000058: PUSH2 0x1ce5 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x0f4e7469 00000062: EQ 00000063: PUSH2 0x1cb9 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x12dc5ae6 0000006d: EQ 0000006e: PUSH2 0x1bf3 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x18160ddd 00000078: EQ 00000079: PUSH2 0x1bd6 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x23b872dd 00000083: EQ 00000084: PUSH2 0x1b9e 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x248a9ca3 0000008e: EQ 0000008f: PUSH2 0x1b73 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x2bbb3abc 00000099: EQ 0000009a: PUSH2 0x1b58 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x2bf08d23 000000a4: EQ 000000a5: PUSH2 0x1b1e 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x2f2ff15d 000000af: EQ 000000b0: PUSH2 0x1ae0 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x313ce567 000000ba: EQ 000000bb: PUSH2 0x1ac5 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x3644e515 000000c5: EQ 000000c6: PUSH2 0x1aab 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x36568abe 000000d0: EQ 000000d1: PUSH2 0x1a4e 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x37933334 000000db: EQ 000000dc: PUSH2 0x1a31 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0x3982d59b 000000e6: EQ 000000e7: PUSH2 0x1950 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0x464dfa20 000000f1: EQ 000000f2: PUSH2 0x1933 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0x503fd4a1 000000fc: EQ 000000fd: PUSH2 0x1693 00000100: JUMPI 00000101: DUP1 00000102: PUSH4 0x6083e59a 00000107: EQ 00000108: PUSH2 0x1671 0000010b: JUMPI 0000010c: DUP1 0000010d: PUSH4 0x6605bfda 00000112: EQ 00000113: PUSH2 0x15c9 00000116: JUMPI 00000117: DUP1 00000118: PUSH4 0x6e553f65 0000011d: EQ 0000011e: PUSH2 0x13b8 00000121: JUMPI 00000122: DUP1 00000123: PUSH4 0x70a08231 00000128: EQ 00000129: PUSH2 0x1381 0000012c: JUMPI 0000012d: DUP1 0000012e: PUSH4 0x71928629 00000133: EQ 00000134: PUSH2 0x113e 00000137: JUMPI 00000138: DUP1 00000139: PUSH4 0x75b238fc 0000013e: EQ 0000013f: PUSH2 0x1104 00000142: JUMPI 00000143: DUP1 00000144: PUSH4 0x76bc05ae 00000149: EQ 0000014a: PUSH2 0x10d4 0000014d: JUMPI 0000014e: DUP1 0000014f: PUSH4 0x7ecebe00 00000154: EQ 00000155: PUSH2 0x109c 00000158: JUMPI 00000159: DUP1 0000015a: PUSH4 0x82af1843 0000015f: EQ 00000160: PUSH2 0x0f28 00000163: JUMPI 00000164: DUP1 00000165: PUSH4 0x84b0196e 0000016a: EQ 0000016b: PUSH2 0x0e14 0000016e: JUMPI 0000016f: DUP1 00000170: PUSH4 0x86651203 00000175: EQ 00000176: PUSH2 0x0d72 00000179: JUMPI 0000017a: DUP1 0000017b: PUSH4 0x8832b767 00000180: EQ 00000181: PUSH2 0x0c91 00000184: JUMPI 00000185: DUP1 00000186: PUSH4 0x89a30271 0000018b: EQ 0000018c: PUSH2 0x0c63 0000018f: JUMPI 00000190: DUP1 00000191: PUSH4 0x91d14854 00000196: EQ 00000197: PUSH2 0x0c19 0000019a: JUMPI 0000019b: DUP1 0000019c: PUSH4 0x95d89b41 000001a1: EQ 000001a2: PUSH2 0x0b37 000001a5: JUMPI 000001a6: DUP1 000001a7: PUSH4 0x98e3601f 000001ac: EQ 000001ad: PUSH2 0x0a8f 000001b0: JUMPI 000001b1: DUP1 000001b2: PUSH4 0x99b6f607 000001b7: EQ 000001b8: PUSH2 0x0a65 000001bb: JUMPI 000001bc: DUP1 000001bd: PUSH4 0xa217fddf 000001c2: EQ 000001c3: PUSH2 0x0a4b 000001c6: JUMPI 000001c7: DUP1 000001c8: PUSH4 0xa589d9f2 000001cd: EQ 000001ce: PUSH2 0x088a 000001d1: JUMPI 000001d2: DUP1 000001d3: PUSH4 0xa9059cbb 000001d8: EQ 000001d9: PUSH2 0x0859 000001dc: JUMPI 000001dd: DUP1 000001de: PUSH4 0xb6e36c50 000001e3: EQ 000001e4: PUSH2 0x0754 000001e7: JUMPI 000001e8: DUP1 000001e9: PUSH4 0xc54e44eb 000001ee: EQ 000001ef: PUSH2 0x0726 000001f2: JUMPI 000001f3: DUP1 000001f4: PUSH4 0xc5f956af 000001f9: EQ 000001fa: PUSH2 0x0700 000001fd: JUMPI 000001fe: DUP1 000001ff: PUSH4 0xc824ecfa 00000204: EQ 00000205: PUSH2 0x06c3 00000208: JUMPI 00000209: DUP1 0000020a: PUSH4 0xcbe52ae3 0000020f: EQ 00000210: PUSH2 0x0687 00000213: JUMPI 00000214: DUP1 00000215: PUSH4 0xcd596583 0000021a: EQ 0000021b: PUSH2 0x0661 0000021e: JUMPI 0000021f: DUP1 00000220: PUSH4 0xd11a57ec 00000225: EQ 00000226: PUSH2 0x0627 00000229: JUMPI 0000022a: DUP1 0000022b: PUSH4 0xd505accf 00000230: EQ 00000231: PUSH2 0x04a3 00000234: JUMPI 00000235: DUP1 00000236: PUSH4 0xd547741f 0000023b: EQ 0000023c: PUSH2 0x045e 0000023f: JUMPI 00000240: DUP1 00000241: PUSH4 0xd83993e8 00000246: EQ 00000247: PUSH2 0x0435 0000024a: JUMPI 0000024b: DUP1 0000024c: PUSH4 0xd9c146de 00000251: EQ 00000252: PUSH2 0x040e 00000255: JUMPI 00000256: DUP1 00000257: PUSH4 0xd9f98ef1 0000025c: EQ 0000025d: PUSH2 0x0316 00000260: JUMPI 00000261: DUP1 00000262: PUSH4 0xdbd5edc7 00000267: EQ 00000268: PUSH2 0x02f9 0000026b: JUMPI 0000026c: DUP1 0000026d: PUSH4 0xdd62ed3e 00000272: EQ 00000273: PUSH2 0x02a5 00000276: JUMPI 00000277: PUSH4 0xfef4aea2 0000027c: EQ 0000027d: PUSH2 0x0284 00000280: JUMPI 00000281: PUSH0 00000282: DUP1 00000283: REVERT 00000284: JUMPDEST 00000285: CALLVALUE 00000286: PUSH2 0x02a1 00000289: JUMPI 0000028a: PUSH0 0000028b: PUSH1 0x03 0000028d: NOT 0000028e: CALLDATASIZE 0000028f: ADD 00000290: SLT 00000291: PUSH2 0x02a1 00000294: JUMPI 00000295: PUSH1 0x20 00000297: PUSH1 0x11 00000299: SLOAD 0000029a: PUSH1 0x40 0000029c: MLOAD 0000029d: SWAP1 0000029e: DUP2 0000029f: MSTORE 000002a0: RETURN 000002a1: JUMPDEST 000002a2: PUSH0 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: PUSH2 0x02a1 000002aa: JUMPI 000002ab: PUSH1 0x40 000002ad: PUSH1 0x03 000002af: NOT 000002b0: CALLDATASIZE 000002b1: ADD 000002b2: SLT 000002b3: PUSH2 0x02a1 000002b6: JUMPI 000002b7: PUSH2 0x02be 000002ba: PUSH2 0x2303 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH1 0x01 000002c1: PUSH1 0x01 000002c3: PUSH1 0xa0 000002c5: SHL 000002c6: SUB 000002c7: PUSH2 0x02ce 000002ca: PUSH2 0x2319 000002cd: JUMP 000002ce: JUMPDEST 000002cf: SWAP2 000002d0: AND 000002d1: PUSH0 000002d2: MSTORE 000002d3: PUSH1 0x01 000002d5: PUSH1 0x20 000002d7: MSTORE 000002d8: PUSH1 0x01 000002da: PUSH1 0x01 000002dc: PUSH1 0xa0 000002de: SHL 000002df: SUB 000002e0: PUSH1 0x40 000002e2: PUSH0 000002e3: KECCAK256 000002e4: SWAP2 000002e5: AND 000002e6: PUSH0 000002e7: MSTORE 000002e8: PUSH1 0x20 000002ea: MSTORE 000002eb: PUSH1 0x20 000002ed: PUSH1 0x40 000002ef: PUSH0 000002f0: KECCAK256 000002f1: SLOAD 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: SWAP1 000002f6: DUP2 000002f7: MSTORE 000002f8: RETURN 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: PUSH2 0x02a1 000002fe: JUMPI 000002ff: PUSH0 00000300: PUSH1 0x03 00000302: NOT 00000303: CALLDATASIZE 00000304: ADD 00000305: SLT 00000306: PUSH2 0x02a1 00000309: JUMPI 0000030a: PUSH1 0x20 0000030c: PUSH1 0x0b 0000030e: SLOAD 0000030f: PUSH1 0x40 00000311: MLOAD 00000312: SWAP1 00000313: DUP2 00000314: MSTORE 00000315: RETURN 00000316: JUMPDEST 00000317: CALLVALUE 00000318: PUSH2 0x02a1 0000031b: JUMPI 0000031c: PUSH2 0x0324 0000031f: CALLDATASIZE 00000320: PUSH2 0x232f 00000323: JUMP 00000324: JUMPDEST 00000325: SWAP1 00000326: PUSH2 0x032d 00000329: PUSH2 0x26a9 0000032c: JUMP 0000032d: JUMPDEST 0000032e: DUP3 0000032f: ISZERO 00000330: PUSH2 0x03e6 00000333: JUMPI 00000334: PUSH1 0x01 00000336: PUSH1 0x01 00000338: PUSH1 0xa0 0000033a: SHL 0000033b: SUB 0000033c: DUP3 0000033d: AND 0000033e: SWAP2 0000033f: DUP3 00000340: PUSH0 00000341: MSTORE 00000342: PUSH1 0x0d 00000344: PUSH1 0x20 00000346: MSTORE 00000347: PUSH1 0xff 00000349: PUSH1 0x40 0000034b: PUSH0 0000034c: KECCAK256 0000034d: SLOAD 0000034e: AND 0000034f: PUSH2 0x03be 00000352: JUMPI 00000353: PUSH2 0x037d 00000356: SWAP2 00000357: PUSH2 0x0378 0000035a: DUP6 0000035b: DUP1 0000035c: SWAP4 0000035d: DUP7 0000035e: CALLER 0000035f: SUB 00000360: PUSH2 0x03ae 00000363: JUMPI 00000364: JUMPDEST 00000365: PUSH2 0x0370 00000368: DUP3 00000369: PUSH1 0x0f 0000036b: SLOAD 0000036c: PUSH2 0x23eb 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH1 0x0f 00000373: SSTORE 00000374: PUSH2 0x281b 00000377: JUMP 00000378: JUMPDEST 00000379: PUSH2 0x28cc 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH32 0x4e015b9ce8d388e64046b74a55b753a1677d9b274993c4630923f38824a2eca4 0000039f: PUSH1 0x20 000003a1: PUSH1 0x40 000003a3: MLOAD 000003a4: DUP5 000003a5: DUP2 000003a6: MSTORE 000003a7: LOG3 000003a8: PUSH1 0x01 000003aa: PUSH1 0x09 000003ac: SSTORE 000003ad: STOP 000003ae: JUMPDEST 000003af: PUSH2 0x03b9 000003b2: DUP3 000003b3: CALLER 000003b4: DUP4 000003b5: PUSH2 0x26e2 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH2 0x0364 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH32 0xa8fdf60100000000000000000000000000000000000000000000000000000000 000003e0: PUSH0 000003e1: MSTORE 000003e2: PUSH1 0x04 000003e4: PUSH0 000003e5: REVERT 000003e6: JUMPDEST 000003e7: PUSH32 0x1f2a200500000000000000000000000000000000000000000000000000000000 00000408: PUSH0 00000409: MSTORE 0000040a: PUSH1 0x04 0000040c: PUSH0 0000040d: REVERT 0000040e: JUMPDEST 0000040f: CALLVALUE 00000410: PUSH2 0x02a1 00000413: JUMPI 00000414: PUSH0 00000415: PUSH1 0x03 00000417: NOT 00000418: CALLDATASIZE 00000419: ADD 0000041a: SLT 0000041b: PUSH2 0x02a1 0000041e: JUMPI 0000041f: PUSH1 0x20 00000421: PUSH8 0xffffffffffffffff 0000042a: PUSH1 0x0a 0000042c: SLOAD 0000042d: AND 0000042e: PUSH1 0x40 00000430: MLOAD 00000431: SWAP1 00000432: DUP2 00000433: MSTORE 00000434: RETURN 00000435: JUMPDEST 00000436: CALLVALUE 00000437: PUSH2 0x02a1 0000043a: JUMPI 0000043b: PUSH1 0x20 0000043d: PUSH1 0x03 0000043f: NOT 00000440: CALLDATASIZE 00000441: ADD 00000442: SLT 00000443: PUSH2 0x02a1 00000446: JUMPI 00000447: PUSH1 0x20 00000449: PUSH2 0x0454 0000044c: PUSH1 0x04 0000044e: CALLDATALOAD 0000044f: CALLER 00000450: PUSH2 0x2599 00000453: JUMP 00000454: JUMPDEST 00000455: POP 00000456: POP 00000457: PUSH1 0x40 00000459: MLOAD 0000045a: SWAP1 0000045b: DUP2 0000045c: MSTORE 0000045d: RETURN 0000045e: JUMPDEST 0000045f: CALLVALUE 00000460: PUSH2 0x02a1 00000463: JUMPI 00000464: PUSH1 0x40 00000466: PUSH1 0x03 00000468: NOT 00000469: CALLDATASIZE 0000046a: ADD 0000046b: SLT 0000046c: PUSH2 0x02a1 0000046f: JUMPI 00000470: PUSH2 0x04a1 00000473: PUSH1 0x04 00000475: CALLDATALOAD 00000476: PUSH2 0x047d 00000479: PUSH2 0x2319 0000047c: JUMP 0000047d: JUMPDEST 0000047e: SWAP1 0000047f: PUSH2 0x049c 00000482: PUSH2 0x0497 00000485: DUP3 00000486: PUSH0 00000487: MSTORE 00000488: PUSH1 0x08 0000048a: PUSH1 0x20 0000048c: MSTORE 0000048d: PUSH1 0x01 0000048f: PUSH1 0x40 00000491: PUSH0 00000492: KECCAK256 00000493: ADD 00000494: SLOAD 00000495: SWAP1 00000496: JUMP 00000497: JUMPDEST 00000498: PUSH2 0x29be 0000049b: JUMP 0000049c: JUMPDEST 0000049d: PUSH2 0x2be6 000004a0: JUMP 000004a1: JUMPDEST 000004a2: STOP 000004a3: JUMPDEST 000004a4: CALLVALUE 000004a5: PUSH2 0x02a1 000004a8: JUMPI 000004a9: PUSH1 0xe0 000004ab: PUSH1 0x03 000004ad: NOT 000004ae: CALLDATASIZE 000004af: ADD 000004b0: SLT 000004b1: PUSH2 0x02a1 000004b4: JUMPI 000004b5: PUSH2 0x04bc 000004b8: PUSH2 0x2303 000004bb: JUMP 000004bc: JUMPDEST 000004bd: PUSH2 0x04c4 000004c0: PUSH2 0x2319 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH1 0x44 000004c7: CALLDATALOAD 000004c8: SWAP1 000004c9: PUSH1 0x64 000004cb: CALLDATALOAD 000004cc: SWAP3 000004cd: PUSH1 0x84 000004cf: CALLDATALOAD 000004d0: PUSH1 0xff 000004d2: DUP2 000004d3: AND 000004d4: DUP2 000004d5: SUB 000004d6: PUSH2 0x02a1 000004d9: JUMPI 000004da: DUP5 000004db: TIMESTAMP 000004dc: GT 000004dd: PUSH2 0x05fb 000004e0: JUMPI 000004e1: PUSH2 0x05b8 000004e4: PUSH2 0x05af 000004e7: PUSH1 0x01 000004e9: PUSH1 0x01 000004eb: PUSH1 0xa0 000004ed: SHL 000004ee: SUB 000004ef: SWAP3 000004f0: DUP4 000004f1: DUP6 000004f2: AND 000004f3: SWAP8 000004f4: DUP9 000004f5: PUSH0 000004f6: MSTORE 000004f7: PUSH1 0x07 000004f9: PUSH1 0x20 000004fb: MSTORE 000004fc: PUSH1 0x40 000004fe: PUSH0 000004ff: KECCAK256 00000500: SWAP1 00000501: DUP2 00000502: SLOAD 00000503: SWAP2 00000504: PUSH1 0x01 00000506: DUP4 00000507: ADD 00000508: SWAP1 00000509: SSTORE 0000050a: PUSH1 0x40 0000050c: MLOAD 0000050d: SWAP1 0000050e: PUSH1 0x20 00000510: DUP3 00000511: ADD 00000512: SWAP3 00000513: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9 00000534: DUP5 00000535: MSTORE 00000536: DUP12 00000537: PUSH1 0x40 00000539: DUP5 0000053a: ADD 0000053b: MSTORE 0000053c: DUP8 0000053d: DUP11 0000053e: AND 0000053f: PUSH1 0x60 00000541: DUP5 00000542: ADD 00000543: MSTORE 00000544: DUP11 00000545: PUSH1 0x80 00000547: DUP5 00000548: ADD 00000549: MSTORE 0000054a: PUSH1 0xa0 0000054c: DUP4 0000054d: ADD 0000054e: MSTORE 0000054f: PUSH1 0xc0 00000551: DUP3 00000552: ADD 00000553: MSTORE 00000554: PUSH1 0xc0 00000556: DUP2 00000557: MSTORE 00000558: PUSH2 0x0562 0000055b: PUSH1 0xe0 0000055d: DUP3 0000055e: PUSH2 0x23f8 00000561: JUMP 00000562: JUMPDEST 00000563: MLOAD 00000564: SWAP1 00000565: KECCAK256 00000566: PUSH2 0x056d 00000569: PUSH2 0x2aca 0000056c: JUMP 0000056d: JUMPDEST 0000056e: SWAP1 0000056f: PUSH1 0x40 00000571: MLOAD 00000572: SWAP2 00000573: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000 00000594: DUP4 00000595: MSTORE 00000596: PUSH1 0x02 00000598: DUP4 00000599: ADD 0000059a: MSTORE 0000059b: PUSH1 0x22 0000059d: DUP3 0000059e: ADD 0000059f: MSTORE 000005a0: PUSH1 0xc4 000005a2: CALLDATALOAD 000005a3: SWAP2 000005a4: PUSH1 0x42 000005a6: PUSH1 0xa4 000005a8: CALLDATALOAD 000005a9: SWAP3 000005aa: KECCAK256 000005ab: PUSH2 0x31a7 000005ae: JUMP 000005af: JUMPDEST 000005b0: SWAP1 000005b1: SWAP3 000005b2: SWAP2 000005b3: SWAP3 000005b4: PUSH2 0x3233 000005b7: JUMP 000005b8: JUMPDEST 000005b9: AND 000005ba: DUP5 000005bb: DUP2 000005bc: SUB 000005bd: PUSH2 0x05cb 000005c0: JUMPI 000005c1: POP 000005c2: PUSH2 0x04a1 000005c5: SWAP4 000005c6: POP 000005c7: PUSH2 0x2cb2 000005ca: JUMP 000005cb: JUMPDEST 000005cc: DUP5 000005cd: SWAP1 000005ce: PUSH32 0x4b800e4600000000000000000000000000000000000000000000000000000000 000005ef: PUSH0 000005f0: MSTORE 000005f1: PUSH1 0x04 000005f3: MSTORE 000005f4: PUSH1 0x24 000005f6: MSTORE 000005f7: PUSH1 0x44 000005f9: PUSH0 000005fa: REVERT 000005fb: JUMPDEST 000005fc: DUP5 000005fd: PUSH32 0x6279130200000000000000000000000000000000000000000000000000000000 0000061e: PUSH0 0000061f: MSTORE 00000620: PUSH1 0x04 00000622: MSTORE 00000623: PUSH1 0x24 00000625: PUSH0 00000626: REVERT 00000627: JUMPDEST 00000628: CALLVALUE 00000629: PUSH2 0x02a1 0000062c: JUMPI 0000062d: PUSH0 0000062e: PUSH1 0x03 00000630: NOT 00000631: CALLDATASIZE 00000632: ADD 00000633: SLT 00000634: PUSH2 0x02a1 00000637: JUMPI 00000638: PUSH1 0x20 0000063a: PUSH1 0x40 0000063c: MLOAD 0000063d: PUSH32 0xe1dcbdb91df27212a29bc27177c840cf2f819ecf2187432e1fac86c2dd5dfca9 0000065e: DUP2 0000065f: MSTORE 00000660: RETURN 00000661: JUMPDEST 00000662: CALLVALUE 00000663: PUSH2 0x02a1 00000666: JUMPI 00000667: PUSH0 00000668: PUSH1 0x03 0000066a: NOT 0000066b: CALLDATASIZE 0000066c: ADD 0000066d: SLT 0000066e: PUSH2 0x02a1 00000671: JUMPI 00000672: PUSH1 0x20 00000674: PUSH1 0x01 00000676: PUSH1 0x01 00000678: PUSH1 0xa0 0000067a: SHL 0000067b: SUB 0000067c: PUSH1 0x0c 0000067e: SLOAD 0000067f: AND 00000680: PUSH1 0x40 00000682: MLOAD 00000683: SWAP1 00000684: DUP2 00000685: MSTORE 00000686: RETURN 00000687: JUMPDEST 00000688: CALLVALUE 00000689: PUSH2 0x02a1 0000068c: JUMPI 0000068d: PUSH1 0x40 0000068f: PUSH1 0x03 00000691: NOT 00000692: CALLDATASIZE 00000693: ADD 00000694: SLT 00000695: PUSH2 0x02a1 00000698: JUMPI 00000699: PUSH1 0x60 0000069b: PUSH2 0x06ae 0000069e: PUSH2 0x06a5 000006a1: PUSH2 0x2303 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH1 0x24 000006a8: CALLDATALOAD 000006a9: SWAP1 000006aa: PUSH2 0x2599 000006ad: JUMP 000006ae: JUMPDEST 000006af: SWAP1 000006b0: PUSH1 0x40 000006b2: MLOAD 000006b3: SWAP3 000006b4: DUP4 000006b5: MSTORE 000006b6: PUSH1 0x20 000006b8: DUP4 000006b9: ADD 000006ba: MSTORE 000006bb: ISZERO 000006bc: ISZERO 000006bd: PUSH1 0x40 000006bf: DUP3 000006c0: ADD 000006c1: MSTORE 000006c2: RETURN 000006c3: JUMPDEST 000006c4: CALLVALUE 000006c5: PUSH2 0x02a1 000006c8: JUMPI 000006c9: PUSH1 0x20 000006cb: PUSH1 0x03 000006cd: NOT 000006ce: CALLDATASIZE 000006cf: ADD 000006d0: SLT 000006d1: PUSH2 0x02a1 000006d4: JUMPI 000006d5: PUSH1 0x01 000006d7: PUSH1 0x01 000006d9: PUSH1 0xa0 000006db: SHL 000006dc: SUB 000006dd: PUSH2 0x06e4 000006e0: PUSH2 0x2303 000006e3: JUMP 000006e4: JUMPDEST 000006e5: AND 000006e6: PUSH0 000006e7: MSTORE 000006e8: PUSH1 0x0d 000006ea: PUSH1 0x20 000006ec: MSTORE 000006ed: PUSH1 0x20 000006ef: PUSH1 0xff 000006f1: PUSH1 0x40 000006f3: PUSH0 000006f4: KECCAK256 000006f5: SLOAD 000006f6: AND 000006f7: PUSH1 0x40 000006f9: MLOAD 000006fa: SWAP1 000006fb: ISZERO 000006fc: ISZERO 000006fd: DUP2 000006fe: MSTORE 000006ff: RETURN 00000700: JUMPDEST 00000701: CALLVALUE 00000702: PUSH2 0x02a1 00000705: JUMPI 00000706: PUSH0 00000707: PUSH1 0x03 00000709: NOT 0000070a: CALLDATASIZE 0000070b: ADD 0000070c: SLT 0000070d: PUSH2 0x02a1 00000710: JUMPI 00000711: PUSH1 0x20 00000713: PUSH1 0x01 00000715: PUSH1 0x01 00000717: PUSH1 0xa0 00000719: SHL 0000071a: SUB 0000071b: PUSH1 0x0e 0000071d: SLOAD 0000071e: AND 0000071f: PUSH1 0x40 00000721: MLOAD 00000722: SWAP1 00000723: DUP2 00000724: MSTORE 00000725: RETURN 00000726: JUMPDEST 00000727: CALLVALUE 00000728: PUSH2 0x02a1 0000072b: JUMPI 0000072c: PUSH0 0000072d: PUSH1 0x03 0000072f: NOT 00000730: CALLDATASIZE 00000731: ADD 00000732: SLT 00000733: PUSH2 0x02a1 00000736: JUMPI 00000737: PUSH1 0x20 00000739: PUSH1 0x40 0000073b: MLOAD 0000073c: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7 00000751: DUP2 00000752: MSTORE 00000753: RETURN 00000754: JUMPDEST 00000755: CALLVALUE 00000756: PUSH2 0x02a1 00000759: JUMPI 0000075a: PUSH0 0000075b: PUSH1 0x03 0000075d: NOT 0000075e: CALLDATASIZE 0000075f: ADD 00000760: SLT 00000761: PUSH2 0x02a1 00000764: JUMPI 00000765: PUSH32 0x0000000000000000000000000000000000000000000000000000000069e6a977 00000786: TIMESTAMP 00000787: LT 00000788: PUSH2 0x0831 0000078b: JUMPI 0000078c: PUSH1 0x0e 0000078e: SLOAD 0000078f: PUSH21 0x040000000000000000000000000000000000000000 000007a5: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 000007c6: PUSH1 0xff 000007c8: DUP4 000007c9: PUSH1 0xa0 000007cb: SHR 000007cc: AND 000007cd: SWAP3 000007ce: AND 000007cf: OR 000007d0: PUSH1 0x0e 000007d2: SSTORE 000007d3: PUSH1 0x05 000007d5: DUP2 000007d6: LT 000007d7: ISZERO 000007d8: PUSH2 0x0804 000007db: JUMPI 000007dc: PUSH1 0x04 000007de: SWAP1 000007df: PUSH32 0x9e0f6d6e2258787de46228cf9227a1ae6e49996f7b197041af59c99563f36a74 00000800: PUSH0 00000801: DUP1 00000802: LOG3 00000803: STOP 00000804: JUMPDEST 00000805: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000826: PUSH0 00000827: MSTORE 00000828: PUSH1 0x21 0000082a: PUSH1 0x04 0000082c: MSTORE 0000082d: PUSH1 0x24 0000082f: PUSH0 00000830: REVERT 00000831: JUMPDEST 00000832: PUSH32 0x1307e40f00000000000000000000000000000000000000000000000000000000 00000853: PUSH0 00000854: MSTORE 00000855: PUSH1 0x04 00000857: PUSH0 00000858: REVERT 00000859: JUMPDEST 0000085a: CALLVALUE 0000085b: PUSH2 0x02a1 0000085e: JUMPI 0000085f: PUSH1 0x40 00000861: PUSH1 0x03 00000863: NOT 00000864: CALLDATASIZE 00000865: ADD 00000866: SLT 00000867: PUSH2 0x02a1 0000086a: JUMPI 0000086b: PUSH2 0x087f 0000086e: PUSH2 0x0875 00000871: PUSH2 0x2303 00000874: JUMP 00000875: JUMPDEST 00000876: PUSH1 0x24 00000878: CALLDATALOAD 00000879: SWAP1 0000087a: CALLER 0000087b: PUSH2 0x2a18 0000087e: JUMP 0000087f: JUMPDEST 00000880: PUSH1 0x20 00000882: PUSH1 0x40 00000884: MLOAD 00000885: PUSH1 0x01 00000887: DUP2 00000888: MSTORE 00000889: RETURN 0000088a: JUMPDEST 0000088b: CALLVALUE 0000088c: PUSH2 0x02a1 0000088f: JUMPI 00000890: PUSH1 0x40 00000892: PUSH1 0x03 00000894: NOT 00000895: CALLDATASIZE 00000896: ADD 00000897: SLT 00000898: PUSH2 0x02a1 0000089b: JUMPI 0000089c: PUSH2 0x08a3 0000089f: PUSH2 0x23d4 000008a2: JUMP 000008a3: JUMPDEST 000008a4: PUSH1 0x24 000008a6: CALLDATALOAD 000008a7: PUSH8 0xffffffffffffffff 000008b0: DUP2 000008b1: AND 000008b2: SWAP2 000008b3: DUP3 000008b4: DUP3 000008b5: SUB 000008b6: PUSH2 0x02a1 000008b9: JUMPI 000008ba: PUSH2 0x08c1 000008bd: PUSH2 0x2936 000008c0: JUMP 000008c1: JUMPDEST 000008c2: PUSH1 0xff 000008c4: PUSH1 0x0e 000008c6: SLOAD 000008c7: PUSH1 0xa0 000008c9: SHR 000008ca: AND 000008cb: PUSH1 0x05 000008cd: DUP2 000008ce: LT 000008cf: ISZERO 000008d0: PUSH2 0x0804 000008d3: JUMPI 000008d4: DUP1 000008d5: PUSH2 0x0a16 000008d8: JUMPI 000008d9: POP 000008da: PUSH1 0x0a 000008dc: SLOAD 000008dd: SWAP1 000008de: PUSH8 0xffffffffffffffff 000008e7: DUP3 000008e8: AND 000008e9: DUP1 000008ea: ISZERO 000008eb: DUP1 000008ec: DUP1 000008ed: PUSH2 0x09ff 000008f0: JUMPI 000008f1: JUMPDEST 000008f2: ISZERO 000008f3: SWAP2 000008f4: DUP3 000008f5: PUSH2 0x09f5 000008f8: JUMPI 000008f9: JUMPDEST 000008fa: POP 000008fb: ISZERO 000008fc: SWAP1 000008fd: DUP2 000008fe: PUSH2 0x09ec 00000901: JUMPI 00000902: JUMPDEST 00000903: POP 00000904: PUSH2 0x09c4 00000907: JUMPI 00000908: PUSH8 0xffffffffffffffff 00000911: AND 00000912: SWAP2 00000913: DUP3 00000914: ISZERO 00000915: DUP1 00000916: ISZERO 00000917: PUSH2 0x09bc 0000091a: JUMPI 0000091b: JUMPDEST 0000091c: PUSH2 0x0994 0000091f: JUMPI 00000920: DUP4 00000921: DUP4 00000922: LT 00000923: ISZERO 00000924: PUSH2 0x0994 00000927: JUMPI 00000928: TIMESTAMP 00000929: DUP4 0000092a: GT 0000092b: ISZERO 0000092c: PUSH2 0x0994 0000092f: JUMPI 00000930: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000 00000951: PUSH16 0xffffffffffffffff0000000000000000 00000962: DUP5 00000963: SWAP3 00000964: PUSH1 0x40 00000966: SHL 00000967: AND 00000968: SWAP3 00000969: AND 0000096a: OR 0000096b: OR 0000096c: PUSH1 0x0a 0000096e: SSTORE 0000096f: PUSH32 0x709a99e52f3ad08814a91314c2ce5127558c0ffeb6d0a5df5a637276cb804d6e 00000990: PUSH0 00000991: DUP1 00000992: LOG3 00000993: STOP 00000994: JUMPDEST 00000995: PUSH32 0x4994dc0200000000000000000000000000000000000000000000000000000000 000009b6: PUSH0 000009b7: MSTORE 000009b8: PUSH1 0x04 000009ba: PUSH0 000009bb: REVERT 000009bc: JUMPDEST 000009bd: POP 000009be: DUP4 000009bf: ISZERO 000009c0: PUSH2 0x091b 000009c3: JUMP 000009c4: JUMPDEST 000009c5: PUSH32 0x18b24c3600000000000000000000000000000000000000000000000000000000 000009e6: PUSH0 000009e7: MSTORE 000009e8: PUSH1 0x04 000009ea: PUSH0 000009eb: REVERT 000009ec: JUMPDEST 000009ed: SWAP1 000009ee: POP 000009ef: ISZERO 000009f0: DUP6 000009f1: PUSH2 0x0902 000009f4: JUMP 000009f5: JUMPDEST 000009f6: TIMESTAMP 000009f7: LT 000009f8: SWAP2 000009f9: POP 000009fa: DUP7 000009fb: PUSH2 0x08f9 000009fe: JUMP 000009ff: JUMPDEST 00000a00: SWAP1 00000a01: POP 00000a02: PUSH8 0xffffffffffffffff 00000a0b: DUP5 00000a0c: PUSH1 0x40 00000a0e: SHR 00000a0f: AND 00000a10: ISZERO 00000a11: SWAP1 00000a12: PUSH2 0x08f1 00000a15: JUMP 00000a16: JUMPDEST 00000a17: PUSH2 0x0a42 00000a1a: SWAP1 00000a1b: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000 00000a3c: PUSH0 00000a3d: MSTORE 00000a3e: PUSH2 0x23c6 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH0 00000a44: PUSH1 0x24 00000a46: MSTORE 00000a47: PUSH1 0x44 00000a49: PUSH0 00000a4a: REVERT 00000a4b: JUMPDEST 00000a4c: CALLVALUE 00000a4d: PUSH2 0x02a1 00000a50: JUMPI 00000a51: PUSH0 00000a52: PUSH1 0x03 00000a54: NOT 00000a55: CALLDATASIZE 00000a56: ADD 00000a57: SLT 00000a58: PUSH2 0x02a1 00000a5b: JUMPI 00000a5c: PUSH1 0x20 00000a5e: PUSH1 0x40 00000a60: MLOAD 00000a61: PUSH0 00000a62: DUP2 00000a63: MSTORE 00000a64: RETURN 00000a65: JUMPDEST 00000a66: CALLVALUE 00000a67: PUSH2 0x02a1 00000a6a: JUMPI 00000a6b: PUSH0 00000a6c: PUSH1 0x03 00000a6e: NOT 00000a6f: CALLDATASIZE 00000a70: ADD 00000a71: SLT 00000a72: PUSH2 0x02a1 00000a75: JUMPI 00000a76: PUSH1 0x20 00000a78: PUSH8 0xffffffffffffffff 00000a81: PUSH1 0x0a 00000a83: SLOAD 00000a84: PUSH1 0x40 00000a86: SHR 00000a87: AND 00000a88: PUSH1 0x40 00000a8a: MLOAD 00000a8b: SWAP1 00000a8c: DUP2 00000a8d: MSTORE 00000a8e: RETURN 00000a8f: JUMPDEST 00000a90: CALLVALUE 00000a91: PUSH2 0x02a1 00000a94: JUMPI 00000a95: PUSH0 00000a96: PUSH1 0x03 00000a98: NOT 00000a99: CALLDATASIZE 00000a9a: ADD 00000a9b: SLT 00000a9c: PUSH2 0x02a1 00000a9f: JUMPI 00000aa0: PUSH2 0x0aa7 00000aa3: PUSH2 0x2936 00000aa6: JUMP 00000aa7: JUMPDEST 00000aa8: PUSH1 0xff 00000aaa: PUSH1 0x0e 00000aac: SLOAD 00000aad: PUSH1 0xa0 00000aaf: SHR 00000ab0: AND 00000ab1: PUSH1 0x05 00000ab3: DUP2 00000ab4: LT 00000ab5: ISZERO 00000ab6: PUSH2 0x0804 00000ab9: JUMPI 00000aba: DUP1 00000abb: PUSH2 0x0a16 00000abe: JUMPI 00000abf: PUSH1 0x0e 00000ac1: SLOAD 00000ac2: PUSH21 0x010000000000000000000000000000000000000000 00000ad8: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 00000af9: PUSH1 0xff 00000afb: DUP4 00000afc: PUSH1 0xa0 00000afe: SHR 00000aff: AND 00000b00: SWAP3 00000b01: AND 00000b02: OR 00000b03: PUSH1 0x0e 00000b05: SSTORE 00000b06: PUSH1 0x05 00000b08: DUP2 00000b09: LT 00000b0a: ISZERO 00000b0b: PUSH2 0x0804 00000b0e: JUMPI 00000b0f: PUSH1 0x01 00000b11: SWAP1 00000b12: PUSH32 0x9e0f6d6e2258787de46228cf9227a1ae6e49996f7b197041af59c99563f36a74 00000b33: PUSH0 00000b34: DUP1 00000b35: LOG3 00000b36: STOP 00000b37: JUMPDEST 00000b38: CALLVALUE 00000b39: PUSH2 0x02a1 00000b3c: JUMPI 00000b3d: PUSH0 00000b3e: PUSH1 0x03 00000b40: NOT 00000b41: CALLDATASIZE 00000b42: ADD 00000b43: SLT 00000b44: PUSH2 0x02a1 00000b47: JUMPI 00000b48: PUSH1 0x40 00000b4a: MLOAD 00000b4b: PUSH0 00000b4c: PUSH1 0x04 00000b4e: SLOAD 00000b4f: PUSH2 0x0b57 00000b52: DUP2 00000b53: PUSH2 0x2466 00000b56: JUMP 00000b57: JUMPDEST 00000b58: DUP1 00000b59: DUP5 00000b5a: MSTORE 00000b5b: SWAP1 00000b5c: PUSH1 0x01 00000b5e: DUP2 00000b5f: AND 00000b60: SWAP1 00000b61: DUP2 00000b62: ISZERO 00000b63: PUSH2 0x0bf5 00000b66: JUMPI 00000b67: POP 00000b68: PUSH1 0x01 00000b6a: EQ 00000b6b: PUSH2 0x0b97 00000b6e: JUMPI 00000b6f: JUMPDEST 00000b70: PUSH2 0x0b93 00000b73: DUP4 00000b74: PUSH2 0x0b7f 00000b77: DUP2 00000b78: DUP6 00000b79: SUB 00000b7a: DUP3 00000b7b: PUSH2 0x23f8 00000b7e: JUMP 00000b7f: JUMPDEST 00000b80: PUSH1 0x40 00000b82: MLOAD 00000b83: SWAP2 00000b84: DUP3 00000b85: SWAP2 00000b86: PUSH1 0x20 00000b88: DUP4 00000b89: MSTORE 00000b8a: PUSH1 0x20 00000b8c: DUP4 00000b8d: ADD 00000b8e: SWAP1 00000b8f: PUSH2 0x2369 00000b92: JUMP 00000b93: JUMPDEST 00000b94: SUB 00000b95: SWAP1 00000b96: RETURN 00000b97: JUMPDEST 00000b98: PUSH1 0x04 00000b9a: PUSH0 00000b9b: SWAP1 00000b9c: DUP2 00000b9d: MSTORE 00000b9e: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 00000bbf: SWAP4 00000bc0: SWAP3 00000bc1: POP 00000bc2: SWAP1 00000bc3: JUMPDEST 00000bc4: DUP1 00000bc5: DUP3 00000bc6: LT 00000bc7: PUSH2 0x0bdb 00000bca: JUMPI 00000bcb: POP 00000bcc: SWAP1 00000bcd: SWAP2 00000bce: POP 00000bcf: DUP2 00000bd0: ADD 00000bd1: PUSH1 0x20 00000bd3: ADD 00000bd4: PUSH2 0x0b7f 00000bd7: PUSH2 0x0b6f 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: SWAP2 00000bdd: SWAP3 00000bde: PUSH1 0x01 00000be0: DUP2 00000be1: PUSH1 0x20 00000be3: SWAP3 00000be4: SLOAD 00000be5: DUP4 00000be6: DUP6 00000be7: DUP9 00000be8: ADD 00000be9: ADD 00000bea: MSTORE 00000beb: ADD 00000bec: SWAP2 00000bed: ADD 00000bee: SWAP1 00000bef: SWAP3 00000bf0: SWAP2 00000bf1: PUSH2 0x0bc3 00000bf4: JUMP 00000bf5: JUMPDEST 00000bf6: PUSH1 0xff 00000bf8: NOT 00000bf9: AND 00000bfa: PUSH1 0x20 00000bfc: DUP1 00000bfd: DUP7 00000bfe: ADD 00000bff: SWAP2 00000c00: SWAP1 00000c01: SWAP2 00000c02: MSTORE 00000c03: SWAP2 00000c04: ISZERO 00000c05: ISZERO 00000c06: PUSH1 0x05 00000c08: SHL 00000c09: DUP5 00000c0a: ADD 00000c0b: SWAP1 00000c0c: SWAP2 00000c0d: ADD 00000c0e: SWAP2 00000c0f: POP 00000c10: PUSH2 0x0b7f 00000c13: SWAP1 00000c14: POP 00000c15: PUSH2 0x0b6f 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: CALLVALUE 00000c1b: PUSH2 0x02a1 00000c1e: JUMPI 00000c1f: PUSH1 0x40 00000c21: PUSH1 0x03 00000c23: NOT 00000c24: CALLDATASIZE 00000c25: ADD 00000c26: SLT 00000c27: PUSH2 0x02a1 00000c2a: JUMPI 00000c2b: PUSH2 0x0c32 00000c2e: PUSH2 0x2319 00000c31: JUMP 00000c32: JUMPDEST 00000c33: PUSH1 0x04 00000c35: CALLDATALOAD 00000c36: PUSH0 00000c37: MSTORE 00000c38: PUSH1 0x08 00000c3a: PUSH1 0x20 00000c3c: MSTORE 00000c3d: PUSH1 0x01 00000c3f: PUSH1 0x01 00000c41: PUSH1 0xa0 00000c43: SHL 00000c44: SUB 00000c45: PUSH1 0x40 00000c47: PUSH0 00000c48: KECCAK256 00000c49: SWAP2 00000c4a: AND 00000c4b: PUSH0 00000c4c: MSTORE 00000c4d: PUSH1 0x20 00000c4f: MSTORE 00000c50: PUSH1 0x20 00000c52: PUSH1 0xff 00000c54: PUSH1 0x40 00000c56: PUSH0 00000c57: KECCAK256 00000c58: SLOAD 00000c59: AND 00000c5a: PUSH1 0x40 00000c5c: MLOAD 00000c5d: SWAP1 00000c5e: ISZERO 00000c5f: ISZERO 00000c60: DUP2 00000c61: MSTORE 00000c62: RETURN 00000c63: JUMPDEST 00000c64: CALLVALUE 00000c65: PUSH2 0x02a1 00000c68: JUMPI 00000c69: PUSH0 00000c6a: PUSH1 0x03 00000c6c: NOT 00000c6d: CALLDATASIZE 00000c6e: ADD 00000c6f: SLT 00000c70: PUSH2 0x02a1 00000c73: JUMPI 00000c74: PUSH1 0x20 00000c76: PUSH1 0x40 00000c78: MLOAD 00000c79: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000c8e: DUP2 00000c8f: MSTORE 00000c90: RETURN 00000c91: JUMPDEST 00000c92: CALLVALUE 00000c93: PUSH2 0x02a1 00000c96: JUMPI 00000c97: PUSH0 00000c98: PUSH1 0x03 00000c9a: NOT 00000c9b: CALLDATASIZE 00000c9c: ADD 00000c9d: SLT 00000c9e: PUSH2 0x02a1 00000ca1: JUMPI 00000ca2: PUSH2 0x0ca9 00000ca5: PUSH2 0x2936 00000ca8: JUMP 00000ca9: JUMPDEST 00000caa: PUSH1 0xff 00000cac: PUSH1 0x0e 00000cae: SLOAD 00000caf: PUSH1 0xa0 00000cb1: SHR 00000cb2: AND 00000cb3: PUSH1 0x05 00000cb5: DUP2 00000cb6: LT 00000cb7: ISZERO 00000cb8: PUSH2 0x0804 00000cbb: JUMPI 00000cbc: PUSH1 0x01 00000cbe: DUP2 00000cbf: SUB 00000cc0: PUSH2 0x0d3c 00000cc3: JUMPI 00000cc4: PUSH1 0x0e 00000cc6: SLOAD 00000cc7: PUSH21 0x020000000000000000000000000000000000000000 00000cdd: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 00000cfe: PUSH1 0xff 00000d00: DUP4 00000d01: PUSH1 0xa0 00000d03: SHR 00000d04: AND 00000d05: SWAP3 00000d06: AND 00000d07: OR 00000d08: PUSH1 0x0e 00000d0a: SSTORE 00000d0b: PUSH1 0x05 00000d0d: DUP2 00000d0e: LT 00000d0f: ISZERO 00000d10: PUSH2 0x0804 00000d13: JUMPI 00000d14: PUSH1 0x02 00000d16: SWAP1 00000d17: PUSH32 0x9e0f6d6e2258787de46228cf9227a1ae6e49996f7b197041af59c99563f36a74 00000d38: PUSH0 00000d39: DUP1 00000d3a: LOG3 00000d3b: STOP 00000d3c: JUMPDEST 00000d3d: PUSH2 0x0d68 00000d40: SWAP1 00000d41: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000 00000d62: PUSH0 00000d63: MSTORE 00000d64: PUSH2 0x23c6 00000d67: JUMP 00000d68: JUMPDEST 00000d69: PUSH1 0x01 00000d6b: PUSH1 0x24 00000d6d: MSTORE 00000d6e: PUSH1 0x44 00000d70: PUSH0 00000d71: REVERT 00000d72: JUMPDEST 00000d73: CALLVALUE 00000d74: PUSH2 0x02a1 00000d77: JUMPI 00000d78: PUSH1 0x20 00000d7a: PUSH1 0x03 00000d7c: NOT 00000d7d: CALLDATASIZE 00000d7e: ADD 00000d7f: SLT 00000d80: PUSH2 0x02a1 00000d83: JUMPI 00000d84: PUSH1 0x04 00000d86: CALLDATALOAD 00000d87: PUSH2 0x0d8e 00000d8a: PUSH2 0x2936 00000d8d: JUMP 00000d8e: JUMPDEST 00000d8f: PUSH1 0xff 00000d91: PUSH1 0x0e 00000d93: SLOAD 00000d94: PUSH1 0xa0 00000d96: SHR 00000d97: AND 00000d98: PUSH1 0x05 00000d9a: DUP2 00000d9b: LT 00000d9c: ISZERO 00000d9d: PUSH2 0x0804 00000da0: JUMPI 00000da1: DUP1 00000da2: PUSH2 0x0a16 00000da5: JUMPI 00000da6: POP 00000da7: PUSH1 0x0f 00000da9: SLOAD 00000daa: DUP2 00000dab: ISZERO 00000dac: SWAP1 00000dad: DUP2 00000dae: ISZERO 00000daf: PUSH2 0x0e0a 00000db2: JUMPI 00000db3: JUMPDEST 00000db4: POP 00000db5: PUSH2 0x0de2 00000db8: JUMPI 00000db9: DUP1 00000dba: PUSH1 0x0b 00000dbc: SSTORE 00000dbd: PUSH32 0x50e5341d7a4ad030a1a03c7b2bccfa67438c0bdf5c398a3b1d7a64babfbf97fe 00000dde: PUSH0 00000ddf: DUP1 00000de0: LOG2 00000de1: STOP 00000de2: JUMPDEST 00000de3: PUSH32 0x39423ae400000000000000000000000000000000000000000000000000000000 00000e04: PUSH0 00000e05: MSTORE 00000e06: PUSH1 0x04 00000e08: PUSH0 00000e09: REVERT 00000e0a: JUMPDEST 00000e0b: SWAP1 00000e0c: POP 00000e0d: DUP2 00000e0e: LT 00000e0f: DUP3 00000e10: PUSH2 0x0db3 00000e13: JUMP 00000e14: JUMPDEST 00000e15: CALLVALUE 00000e16: PUSH2 0x02a1 00000e19: JUMPI 00000e1a: PUSH0 00000e1b: PUSH1 0x03 00000e1d: NOT 00000e1e: CALLDATASIZE 00000e1f: ADD 00000e20: SLT 00000e21: PUSH2 0x02a1 00000e24: JUMPI 00000e25: PUSH2 0x0ecc 00000e28: PUSH2 0x0e50 00000e2b: PUSH32 0x486f7572676c61737320537461626c65205072652d695553445400000000001a 00000e4c: PUSH2 0x30f7 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: PUSH2 0x0e79 00000e54: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000001 00000e75: PUSH2 0x3170 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: PUSH1 0x20 00000e7c: PUSH2 0x0eda 00000e7f: PUSH1 0x40 00000e81: MLOAD 00000e82: SWAP3 00000e83: PUSH2 0x0e8c 00000e86: DUP4 00000e87: DUP6 00000e88: PUSH2 0x23f8 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH0 00000e8e: DUP5 00000e8f: MSTORE 00000e90: PUSH0 00000e91: CALLDATASIZE 00000e92: DUP2 00000e93: CALLDATACOPY 00000e94: PUSH1 0x40 00000e96: MLOAD 00000e97: SWAP6 00000e98: DUP7 00000e99: SWAP6 00000e9a: PUSH32 0x0f00000000000000000000000000000000000000000000000000000000000000 00000ebb: DUP8 00000ebc: MSTORE 00000ebd: PUSH1 0xe0 00000ebf: DUP6 00000ec0: DUP9 00000ec1: ADD 00000ec2: MSTORE 00000ec3: PUSH1 0xe0 00000ec5: DUP8 00000ec6: ADD 00000ec7: SWAP1 00000ec8: PUSH2 0x2369 00000ecb: JUMP 00000ecc: JUMPDEST 00000ecd: SWAP1 00000ece: DUP6 00000ecf: DUP3 00000ed0: SUB 00000ed1: PUSH1 0x40 00000ed3: DUP8 00000ed4: ADD 00000ed5: MSTORE 00000ed6: PUSH2 0x2369 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: CHAINID 00000edc: PUSH1 0x60 00000ede: DUP6 00000edf: ADD 00000ee0: MSTORE 00000ee1: ADDRESS 00000ee2: PUSH1 0x80 00000ee4: DUP6 00000ee5: ADD 00000ee6: MSTORE 00000ee7: PUSH0 00000ee8: PUSH1 0xa0 00000eea: DUP6 00000eeb: ADD 00000eec: MSTORE 00000eed: DUP4 00000eee: DUP2 00000eef: SUB 00000ef0: PUSH1 0xc0 00000ef2: DUP6 00000ef3: ADD 00000ef4: MSTORE 00000ef5: DUP2 00000ef6: DUP1 00000ef7: DUP5 00000ef8: MLOAD 00000ef9: SWAP3 00000efa: DUP4 00000efb: DUP2 00000efc: MSTORE 00000efd: ADD 00000efe: SWAP4 00000eff: ADD 00000f00: SWAP2 00000f01: PUSH0 00000f02: JUMPDEST 00000f03: DUP3 00000f04: DUP2 00000f05: LT 00000f06: PUSH2 0x0f11 00000f09: JUMPI 00000f0a: POP 00000f0b: POP 00000f0c: POP 00000f0d: POP 00000f0e: SUB 00000f0f: SWAP1 00000f10: RETURN 00000f11: JUMPDEST 00000f12: DUP4 00000f13: MLOAD 00000f14: DUP6 00000f15: MSTORE 00000f16: DUP7 00000f17: SWAP6 00000f18: POP 00000f19: SWAP4 00000f1a: DUP2 00000f1b: ADD 00000f1c: SWAP4 00000f1d: SWAP3 00000f1e: DUP2 00000f1f: ADD 00000f20: SWAP3 00000f21: PUSH1 0x01 00000f23: ADD 00000f24: PUSH2 0x0f02 00000f27: JUMP 00000f28: JUMPDEST 00000f29: CALLVALUE 00000f2a: PUSH2 0x02a1 00000f2d: JUMPI 00000f2e: PUSH2 0x0f36 00000f31: CALLDATASIZE 00000f32: PUSH2 0x232f 00000f35: JUMP 00000f36: JUMPDEST 00000f37: PUSH2 0x0f41 00000f3a: SWAP3 00000f3b: SWAP2 00000f3c: SWAP3 00000f3d: PUSH2 0x26a9 00000f40: JUMP 00000f41: JUMPDEST 00000f42: DUP2 00000f43: ISZERO 00000f44: PUSH2 0x03e6 00000f47: JUMPI 00000f48: PUSH1 0x01 00000f4a: PUSH1 0x01 00000f4c: PUSH1 0xa0 00000f4e: SHL 00000f4f: SUB 00000f50: PUSH1 0x0c 00000f52: SLOAD 00000f53: AND 00000f54: DUP1 00000f55: ISZERO 00000f56: PUSH2 0x1074 00000f59: JUMPI 00000f5a: CALLER 00000f5b: SUB 00000f5c: PUSH2 0x104c 00000f5f: JUMPI 00000f60: PUSH1 0xff 00000f62: PUSH1 0x0e 00000f64: SLOAD 00000f65: PUSH1 0xa0 00000f67: SHR 00000f68: AND 00000f69: PUSH1 0x05 00000f6b: DUP2 00000f6c: LT 00000f6d: ISZERO 00000f6e: PUSH2 0x0804 00000f71: JUMPI 00000f72: PUSH1 0x03 00000f74: DUP2 00000f75: SUB 00000f76: PUSH2 0x1016 00000f79: JUMPI 00000f7a: POP 00000f7b: PUSH2 0x0f84 00000f7e: DUP3 00000f7f: DUP3 00000f80: PUSH2 0x2599 00000f83: JUMP 00000f84: JUMPDEST 00000f85: POP 00000f86: POP 00000f87: SWAP2 00000f88: DUP3 00000f89: ISZERO 00000f8a: PUSH2 0x03e6 00000f8d: JUMPI 00000f8e: PUSH1 0x01 00000f90: PUSH1 0x01 00000f92: PUSH1 0xa0 00000f94: SHL 00000f95: SUB 00000f96: PUSH1 0x20 00000f98: SWAP5 00000f99: PUSH2 0x0fbc 00000f9c: DUP4 00000f9d: DUP4 00000f9e: DUP7 00000f9f: AND 00000fa0: SWAP6 00000fa1: DUP7 00000fa2: CALLER 00000fa3: SUB 00000fa4: PUSH2 0x1006 00000fa7: JUMPI 00000fa8: JUMPDEST 00000fa9: PUSH2 0x0fb4 00000fac: DUP3 00000fad: PUSH1 0x10 00000faf: SLOAD 00000fb0: PUSH2 0x23eb 00000fb3: JUMP 00000fb4: JUMPDEST 00000fb5: PUSH1 0x10 00000fb7: SSTORE 00000fb8: PUSH2 0x281b 00000fbb: JUMP 00000fbc: JUMPDEST 00000fbd: PUSH2 0x0fc6 00000fc0: DUP6 00000fc1: DUP3 00000fc2: PUSH2 0x2862 00000fc5: JUMP 00000fc6: JUMPDEST 00000fc7: PUSH1 0x40 00000fc9: MLOAD 00000fca: SWAP3 00000fcb: DUP6 00000fcc: DUP5 00000fcd: MSTORE 00000fce: DUP7 00000fcf: DUP5 00000fd0: ADD 00000fd1: MSTORE 00000fd2: AND 00000fd3: SWAP1 00000fd4: PUSH32 0x3a117534609d03284c0de2e963d850ad74cede15eab049804095772d20d494c3 00000ff5: PUSH1 0x40 00000ff7: CALLER 00000ff8: SWAP3 00000ff9: LOG4 00000ffa: PUSH1 0x01 00000ffc: PUSH1 0x09 00000ffe: SSTORE 00000fff: PUSH1 0x40 00001001: MLOAD 00001002: SWAP1 00001003: DUP2 00001004: MSTORE 00001005: RETURN 00001006: JUMPDEST 00001007: PUSH2 0x1011 0000100a: DUP3 0000100b: CALLER 0000100c: DUP4 0000100d: PUSH2 0x26e2 00001010: JUMP 00001011: JUMPDEST 00001012: PUSH2 0x0fa8 00001015: JUMP 00001016: JUMPDEST 00001017: PUSH2 0x1042 0000101a: SWAP1 0000101b: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000 0000103c: PUSH0 0000103d: MSTORE 0000103e: PUSH2 0x23c6 00001041: JUMP 00001042: JUMPDEST 00001043: PUSH1 0x03 00001045: PUSH1 0x24 00001047: MSTORE 00001048: PUSH1 0x44 0000104a: PUSH0 0000104b: REVERT 0000104c: JUMPDEST 0000104d: PUSH32 0xea0e1ccb00000000000000000000000000000000000000000000000000000000 0000106e: PUSH0 0000106f: MSTORE 00001070: PUSH1 0x04 00001072: PUSH0 00001073: REVERT 00001074: JUMPDEST 00001075: PUSH32 0x733fa4c300000000000000000000000000000000000000000000000000000000 00001096: PUSH0 00001097: MSTORE 00001098: PUSH1 0x04 0000109a: PUSH0 0000109b: REVERT 0000109c: JUMPDEST 0000109d: CALLVALUE 0000109e: PUSH2 0x02a1 000010a1: JUMPI 000010a2: PUSH1 0x20 000010a4: PUSH1 0x03 000010a6: NOT 000010a7: CALLDATASIZE 000010a8: ADD 000010a9: SLT 000010aa: PUSH2 0x02a1 000010ad: JUMPI 000010ae: PUSH1 0x01 000010b0: PUSH1 0x01 000010b2: PUSH1 0xa0 000010b4: SHL 000010b5: SUB 000010b6: PUSH2 0x10bd 000010b9: PUSH2 0x2303 000010bc: JUMP 000010bd: JUMPDEST 000010be: AND 000010bf: PUSH0 000010c0: MSTORE 000010c1: PUSH1 0x07 000010c3: PUSH1 0x20 000010c5: MSTORE 000010c6: PUSH1 0x20 000010c8: PUSH1 0x40 000010ca: PUSH0 000010cb: KECCAK256 000010cc: SLOAD 000010cd: PUSH1 0x40 000010cf: MLOAD 000010d0: SWAP1 000010d1: DUP2 000010d2: MSTORE 000010d3: RETURN 000010d4: JUMPDEST 000010d5: CALLVALUE 000010d6: PUSH2 0x02a1 000010d9: JUMPI 000010da: PUSH0 000010db: PUSH1 0x03 000010dd: NOT 000010de: CALLDATASIZE 000010df: ADD 000010e0: SLT 000010e1: PUSH2 0x02a1 000010e4: JUMPI 000010e5: PUSH1 0x40 000010e7: PUSH1 0x0a 000010e9: SLOAD 000010ea: PUSH8 0xffffffffffffffff 000010f3: DUP3 000010f4: MLOAD 000010f5: SWAP2 000010f6: DUP2 000010f7: DUP2 000010f8: AND 000010f9: DUP4 000010fa: MSTORE 000010fb: DUP4 000010fc: SHR 000010fd: AND 000010fe: PUSH1 0x20 00001100: DUP3 00001101: ADD 00001102: MSTORE 00001103: RETURN 00001104: JUMPDEST 00001105: CALLVALUE 00001106: PUSH2 0x02a1 00001109: JUMPI 0000110a: PUSH0 0000110b: PUSH1 0x03 0000110d: NOT 0000110e: CALLDATASIZE 0000110f: ADD 00001110: SLT 00001111: PUSH2 0x02a1 00001114: JUMPI 00001115: PUSH1 0x20 00001117: PUSH1 0x40 00001119: MLOAD 0000111a: PUSH32 0xa49807205ce4d355092ef5a8a18f56e8913cf4a201fbe287825b095693c21775 0000113b: DUP2 0000113c: MSTORE 0000113d: RETURN 0000113e: JUMPDEST 0000113f: CALLVALUE 00001140: PUSH2 0x02a1 00001143: JUMPI 00001144: PUSH1 0x40 00001146: PUSH1 0x03 00001148: NOT 00001149: CALLDATASIZE 0000114a: ADD 0000114b: SLT 0000114c: PUSH2 0x02a1 0000114f: JUMPI 00001150: PUSH2 0x1157 00001153: PUSH2 0x2303 00001156: JUMP 00001157: JUMPDEST 00001158: PUSH1 0x01 0000115a: PUSH1 0x01 0000115c: PUSH1 0xa0 0000115e: SHL 0000115f: SUB 00001160: PUSH2 0x1167 00001163: PUSH2 0x2319 00001166: JUMP 00001167: JUMPDEST 00001168: SWAP2 00001169: PUSH2 0x1170 0000116c: PUSH2 0x2936 0000116f: JUMP 00001170: JUMPDEST 00001171: AND 00001172: SWAP1 00001173: DUP2 00001174: ISZERO 00001175: PUSH2 0x1359 00001178: JUMPI 00001179: PUSH1 0x01 0000117b: PUSH1 0x01 0000117d: PUSH1 0xa0 0000117f: SHL 00001180: SUB 00001181: AND 00001182: DUP1 00001183: ISZERO 00001184: PUSH2 0x1359 00001187: JUMPI 00001188: PUSH2 0x118f 0000118b: PUSH2 0x26a9 0000118e: JUMP 0000118f: JUMPDEST 00001190: PUSH1 0x40 00001192: MLOAD 00001193: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000011b4: DUP2 000011b5: MSTORE 000011b6: ADDRESS 000011b7: PUSH1 0x04 000011b9: DUP3 000011ba: ADD 000011bb: MSTORE 000011bc: PUSH1 0x20 000011be: DUP2 000011bf: PUSH1 0x24 000011c1: DUP2 000011c2: DUP7 000011c3: GAS 000011c4: STATICCALL 000011c5: SWAP1 000011c6: DUP2 000011c7: ISZERO 000011c8: PUSH2 0x134e 000011cb: JUMPI 000011cc: PUSH0 000011cd: SWAP2 000011ce: PUSH2 0x131c 000011d1: JUMPI 000011d2: JUMPDEST 000011d3: POP 000011d4: PUSH0 000011d5: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000011ea: DUP5 000011eb: SUB 000011ec: PUSH2 0x12c1 000011ef: JUMPI 000011f0: POP 000011f1: PUSH2 0x11ff 000011f4: PUSH1 0x0f 000011f6: SLOAD 000011f7: PUSH1 0x11 000011f9: SLOAD 000011fa: SWAP1 000011fb: PUSH2 0x258c 000011fe: JUMP 000011ff: JUMPDEST 00001200: DUP1 00001201: DUP3 00001202: GT 00001203: ISZERO 00001204: PUSH2 0x12b8 00001207: JUMPI 00001208: PUSH2 0x1210 0000120b: SWAP2 0000120c: PUSH2 0x23eb 0000120f: JUMP 00001210: JUMPDEST 00001211: SWAP2 00001212: JUMPDEST 00001213: DUP3 00001214: ISZERO 00001215: PUSH2 0x1290 00001218: JUMPI 00001219: PUSH2 0x1265 0000121c: PUSH1 0x40 0000121e: MLOAD 0000121f: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001240: PUSH1 0x20 00001242: DUP3 00001243: ADD 00001244: MSTORE 00001245: DUP4 00001246: PUSH1 0x24 00001248: DUP3 00001249: ADD 0000124a: MSTORE 0000124b: DUP5 0000124c: PUSH1 0x44 0000124e: DUP3 0000124f: ADD 00001250: MSTORE 00001251: PUSH1 0x44 00001253: DUP2 00001254: MSTORE 00001255: PUSH2 0x125f 00001258: PUSH1 0x64 0000125a: DUP3 0000125b: PUSH2 0x23f8 0000125e: JUMP 0000125f: JUMPDEST 00001260: DUP3 00001261: PUSH2 0x308a 00001264: JUMP 00001265: JUMPDEST 00001266: PUSH32 0x0469918f24999e267065319b4027a9fcb08e498e4081aa6a8d216836ae36f101 00001287: PUSH0 00001288: DUP1 00001289: LOG4 0000128a: PUSH1 0x01 0000128c: PUSH1 0x09 0000128e: SSTORE 0000128f: STOP 00001290: JUMPDEST 00001291: PUSH32 0x3bf4796e00000000000000000000000000000000000000000000000000000000 000012b2: PUSH0 000012b3: MSTORE 000012b4: PUSH1 0x04 000012b6: PUSH0 000012b7: REVERT 000012b8: JUMPDEST 000012b9: POP 000012ba: POP 000012bb: PUSH0 000012bc: SWAP2 000012bd: PUSH2 0x1212 000012c0: JUMP 000012c1: JUMPDEST 000012c2: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7 000012d7: DUP5 000012d8: SUB 000012d9: PUSH2 0x11ff 000012dc: JUMPI 000012dd: PUSH32 0xcbdd15a900000000000000000000000000000000000000000000000000000000 000012fe: PUSH0 000012ff: MSTORE 00001300: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7 00001315: PUSH1 0x04 00001317: MSTORE 00001318: PUSH1 0x24 0000131a: PUSH0 0000131b: REVERT 0000131c: JUMPDEST 0000131d: SWAP1 0000131e: POP 0000131f: PUSH1 0x20 00001321: DUP2 00001322: RETURNDATASIZE 00001323: PUSH1 0x20 00001325: GT 00001326: PUSH2 0x1346 00001329: JUMPI 0000132a: JUMPDEST 0000132b: DUP2 0000132c: PUSH2 0x1337 0000132f: PUSH1 0x20 00001331: SWAP4 00001332: DUP4 00001333: PUSH2 0x23f8 00001336: JUMP 00001337: JUMPDEST 00001338: DUP2 00001339: ADD 0000133a: SUB 0000133b: SLT 0000133c: PUSH2 0x02a1 0000133f: JUMPI 00001340: MLOAD 00001341: DUP4 00001342: PUSH2 0x11d2 00001345: JUMP 00001346: JUMPDEST 00001347: RETURNDATASIZE 00001348: SWAP2 00001349: POP 0000134a: PUSH2 0x132a 0000134d: JUMP 0000134e: JUMPDEST 0000134f: PUSH1 0x40 00001351: MLOAD 00001352: RETURNDATASIZE 00001353: PUSH0 00001354: DUP3 00001355: RETURNDATACOPY 00001356: RETURNDATASIZE 00001357: SWAP1 00001358: REVERT 00001359: JUMPDEST 0000135a: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000 0000137b: PUSH0 0000137c: MSTORE 0000137d: PUSH1 0x04 0000137f: PUSH0 00001380: REVERT 00001381: JUMPDEST 00001382: CALLVALUE 00001383: PUSH2 0x02a1 00001386: JUMPI 00001387: PUSH1 0x20 00001389: PUSH1 0x03 0000138b: NOT 0000138c: CALLDATASIZE 0000138d: ADD 0000138e: SLT 0000138f: PUSH2 0x02a1 00001392: JUMPI 00001393: PUSH1 0x01 00001395: PUSH1 0x01 00001397: PUSH1 0xa0 00001399: SHL 0000139a: SUB 0000139b: PUSH2 0x13a2 0000139e: PUSH2 0x2303 000013a1: JUMP 000013a2: JUMPDEST 000013a3: AND 000013a4: PUSH0 000013a5: MSTORE 000013a6: PUSH0 000013a7: PUSH1 0x20 000013a9: MSTORE 000013aa: PUSH1 0x20 000013ac: PUSH1 0x40 000013ae: PUSH0 000013af: KECCAK256 000013b0: SLOAD 000013b1: PUSH1 0x40 000013b3: MLOAD 000013b4: SWAP1 000013b5: DUP2 000013b6: MSTORE 000013b7: RETURN 000013b8: JUMPDEST 000013b9: CALLVALUE 000013ba: PUSH2 0x02a1 000013bd: JUMPI 000013be: PUSH1 0x40 000013c0: PUSH1 0x03 000013c2: NOT 000013c3: CALLDATASIZE 000013c4: ADD 000013c5: SLT 000013c6: PUSH2 0x02a1 000013c9: JUMPI 000013ca: PUSH1 0x04 000013cc: CALLDATALOAD 000013cd: PUSH2 0x13d4 000013d0: PUSH2 0x2319 000013d3: JUMP 000013d4: JUMPDEST 000013d5: SWAP1 000013d6: PUSH2 0x13dd 000013d9: PUSH2 0x26a9 000013dc: JUMP 000013dd: JUMPDEST 000013de: PUSH1 0xff 000013e0: PUSH1 0x0e 000013e2: SLOAD 000013e3: PUSH1 0xa0 000013e5: SHR 000013e6: AND 000013e7: PUSH1 0x05 000013e9: DUP2 000013ea: LT 000013eb: ISZERO 000013ec: PUSH2 0x0804 000013ef: JUMPI 000013f0: DUP1 000013f1: PUSH2 0x0a16 000013f4: JUMPI 000013f5: POP 000013f6: PUSH2 0x13fd 000013f9: PUSH2 0x2c6b 000013fc: JUMP 000013fd: JUMPDEST 000013fe: ISZERO 000013ff: PUSH2 0x15a1 00001402: JUMPI 00001403: DUP1 00001404: ISZERO 00001405: PUSH2 0x03e6 00001408: JUMPI 00001409: PUSH2 0x1410 0000140c: PUSH2 0x2539 0000140f: JUMP 00001410: JUMPDEST 00001411: DUP2 00001412: GT 00001413: PUSH2 0x1579 00001416: JUMPI 00001417: PUSH1 0x20 00001419: PUSH0 0000141a: PUSH1 0x40 0000141c: MLOAD 0000141d: DUP3 0000141e: DUP2 0000141f: ADD 00001420: SWAP1 00001421: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00001442: DUP3 00001443: MSTORE 00001444: CALLER 00001445: PUSH1 0x24 00001447: DUP3 00001448: ADD 00001449: MSTORE 0000144a: ADDRESS 0000144b: PUSH1 0x44 0000144d: DUP3 0000144e: ADD 0000144f: MSTORE 00001450: DUP5 00001451: PUSH1 0x64 00001453: DUP3 00001454: ADD 00001455: MSTORE 00001456: PUSH1 0x64 00001458: DUP2 00001459: MSTORE 0000145a: PUSH2 0x1464 0000145d: PUSH1 0x84 0000145f: DUP3 00001460: PUSH2 0x23f8 00001463: JUMP 00001464: JUMPDEST 00001465: MLOAD 00001466: SWAP1 00001467: DUP3 00001468: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000147d: GAS 0000147e: CALL 0000147f: ISZERO 00001480: PUSH2 0x134e 00001483: JUMPI 00001484: PUSH0 00001485: MLOAD 00001486: RETURNDATASIZE 00001487: PUSH2 0x1570 0000148a: JUMPI 0000148b: POP 0000148c: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000014a1: EXTCODESIZE 000014a2: ISZERO 000014a3: JUMPDEST 000014a4: PUSH2 0x1530 000014a7: JUMPI 000014a8: PUSH2 0x14b3 000014ab: DUP2 000014ac: PUSH1 0x0f 000014ae: SLOAD 000014af: PUSH2 0x258c 000014b2: JUMP 000014b3: JUMPDEST 000014b4: PUSH1 0x0f 000014b6: SSTORE 000014b7: PUSH1 0x01 000014b9: PUSH1 0x01 000014bb: PUSH1 0xa0 000014bd: SHL 000014be: SUB 000014bf: DUP3 000014c0: AND 000014c1: SWAP2 000014c2: DUP3 000014c3: ISZERO 000014c4: PUSH2 0x1504 000014c7: JUMPI 000014c8: DUP2 000014c9: PUSH2 0x14d1 000014cc: SWAP2 000014cd: PUSH2 0x2d15 000014d0: JUMP 000014d1: JUMPDEST 000014d2: PUSH1 0x40 000014d4: MLOAD 000014d5: SWAP1 000014d6: DUP2 000014d7: MSTORE 000014d8: PUSH32 0x5548c837ab068cf56a2c2479df0882a4922fd203edb7517321831d95078c5f62 000014f9: PUSH1 0x20 000014fb: CALLER 000014fc: SWAP3 000014fd: LOG3 000014fe: PUSH1 0x01 00001500: PUSH1 0x09 00001502: SSTORE 00001503: STOP 00001504: JUMPDEST 00001505: PUSH32 0xec442f0500000000000000000000000000000000000000000000000000000000 00001526: PUSH0 00001527: MSTORE 00001528: PUSH0 00001529: PUSH1 0x04 0000152b: MSTORE 0000152c: PUSH1 0x24 0000152e: PUSH0 0000152f: REVERT 00001530: JUMPDEST 00001531: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000 00001552: PUSH0 00001553: MSTORE 00001554: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00001569: PUSH1 0x04 0000156b: MSTORE 0000156c: PUSH1 0x24 0000156e: PUSH0 0000156f: REVERT 00001570: JUMPDEST 00001571: PUSH1 0x01 00001573: EQ 00001574: ISZERO 00001575: PUSH2 0x14a3 00001578: JUMP 00001579: JUMPDEST 0000157a: PUSH32 0xb42483d100000000000000000000000000000000000000000000000000000000 0000159b: PUSH0 0000159c: MSTORE 0000159d: PUSH1 0x04 0000159f: PUSH0 000015a0: REVERT 000015a1: JUMPDEST 000015a2: PUSH32 0x0887610b00000000000000000000000000000000000000000000000000000000 000015c3: PUSH0 000015c4: MSTORE 000015c5: PUSH1 0x04 000015c7: PUSH0 000015c8: REVERT 000015c9: JUMPDEST 000015ca: CALLVALUE 000015cb: PUSH2 0x02a1 000015ce: JUMPI 000015cf: PUSH1 0x20 000015d1: PUSH1 0x03 000015d3: NOT 000015d4: CALLDATASIZE 000015d5: ADD 000015d6: SLT 000015d7: PUSH2 0x02a1 000015da: JUMPI 000015db: PUSH1 0x01 000015dd: PUSH1 0x01 000015df: PUSH1 0xa0 000015e1: SHL 000015e2: SUB 000015e3: PUSH2 0x15ea 000015e6: PUSH2 0x2303 000015e9: JUMP 000015ea: JUMPDEST 000015eb: PUSH2 0x15f2 000015ee: PUSH2 0x2936 000015f1: JUMP 000015f2: JUMPDEST 000015f3: AND 000015f4: DUP1 000015f5: ISZERO 000015f6: PUSH2 0x1649 000015f9: JUMPI 000015fa: DUP1 000015fb: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000161c: PUSH1 0x0e 0000161e: SLOAD 0000161f: AND 00001620: OR 00001621: PUSH1 0x0e 00001623: SSTORE 00001624: PUSH32 0x5cc4bdb402e519d4921d6bfaca9c17c16ea3a8e658ff5accd29e6080635562ce 00001645: PUSH0 00001646: DUP1 00001647: LOG2 00001648: STOP 00001649: JUMPDEST 0000164a: PUSH32 0xcfe2ea6300000000000000000000000000000000000000000000000000000000 0000166b: PUSH0 0000166c: MSTORE 0000166d: PUSH1 0x04 0000166f: PUSH0 00001670: REVERT 00001671: JUMPDEST 00001672: CALLVALUE 00001673: PUSH2 0x02a1 00001676: JUMPI 00001677: PUSH0 00001678: PUSH1 0x03 0000167a: NOT 0000167b: CALLDATASIZE 0000167c: ADD 0000167d: SLT 0000167e: PUSH2 0x02a1 00001681: JUMPI 00001682: PUSH1 0x20 00001684: PUSH2 0x168b 00001687: PUSH2 0x2539 0000168a: JUMP 0000168b: JUMPDEST 0000168c: PUSH1 0x40 0000168e: MLOAD 0000168f: SWAP1 00001690: DUP2 00001691: MSTORE 00001692: RETURN 00001693: JUMPDEST 00001694: CALLVALUE 00001695: PUSH2 0x02a1 00001698: JUMPI 00001699: PUSH1 0x40 0000169b: PUSH1 0x03 0000169d: NOT 0000169e: CALLDATASIZE 0000169f: ADD 000016a0: SLT 000016a1: PUSH2 0x02a1 000016a4: JUMPI 000016a5: PUSH1 0x04 000016a7: CALLDATALOAD 000016a8: PUSH8 0xffffffffffffffff 000016b1: DUP2 000016b2: GT 000016b3: PUSH2 0x02a1 000016b6: JUMPI 000016b7: CALLDATASIZE 000016b8: PUSH1 0x23 000016ba: DUP3 000016bb: ADD 000016bc: SLT 000016bd: ISZERO 000016be: PUSH2 0x02a1 000016c1: JUMPI 000016c2: DUP1 000016c3: PUSH1 0x04 000016c5: ADD 000016c6: CALLDATALOAD 000016c7: PUSH8 0xffffffffffffffff 000016d0: DUP2 000016d1: GT 000016d2: PUSH2 0x02a1 000016d5: JUMPI 000016d6: CALLDATASIZE 000016d7: PUSH1 0x24 000016d9: DUP3 000016da: PUSH1 0x05 000016dc: SHL 000016dd: DUP5 000016de: ADD 000016df: ADD 000016e0: GT 000016e1: PUSH2 0x02a1 000016e4: JUMPI 000016e5: PUSH1 0x24 000016e7: CALLDATALOAD 000016e8: DUP1 000016e9: ISZERO 000016ea: ISZERO 000016eb: DUP1 000016ec: DUP3 000016ed: SUB 000016ee: PUSH2 0x02a1 000016f1: JUMPI 000016f2: PUSH2 0x16f9 000016f5: PUSH2 0x2936 000016f8: JUMP 000016f9: JUMPDEST 000016fa: PUSH1 0xff 000016fc: PUSH1 0x0e 000016fe: SLOAD 000016ff: PUSH1 0xa0 00001701: SHR 00001702: AND 00001703: PUSH1 0x05 00001705: DUP2 00001706: LT 00001707: ISZERO 00001708: PUSH2 0x0804 0000170b: JUMPI 0000170c: PUSH1 0x01 0000170e: DUP2 0000170f: SUB 00001710: PUSH2 0x0d3c 00001713: JUMPI 00001714: POP 00001715: DUP3 00001716: ISZERO 00001717: PUSH2 0x190b 0000171a: JUMPI 0000171b: PUSH1 0x64 0000171d: DUP4 0000171e: GT 0000171f: PUSH2 0x18da 00001722: JUMPI 00001723: SWAP2 00001724: SWAP3 00001725: PUSH1 0xff 00001727: DUP4 00001728: AND 00001729: SWAP3 0000172a: SWAP1 0000172b: PUSH0 0000172c: JUMPDEST 0000172d: DUP6 0000172e: DUP2 0000172f: LT 00001730: ISZERO 00001731: PUSH2 0x04a1 00001734: JUMPI 00001735: PUSH1 0x24 00001737: DUP2 00001738: PUSH1 0x05 0000173a: SHL 0000173b: DUP4 0000173c: ADD 0000173d: ADD 0000173e: CALLDATALOAD 0000173f: PUSH1 0x01 00001741: PUSH1 0x01 00001743: PUSH1 0xa0 00001745: SHL 00001746: SUB 00001747: DUP2 00001748: AND 00001749: DUP1 0000174a: SWAP2 0000174b: SUB 0000174c: PUSH2 0x02a1 0000174f: JUMPI 00001750: DUP1 00001751: ISZERO 00001752: PUSH2 0x1359 00001755: JUMPI 00001756: DUP1 00001757: PUSH0 00001758: MSTORE 00001759: PUSH0 0000175a: PUSH1 0x20 0000175c: MSTORE 0000175d: PUSH1 0x40 0000175f: PUSH0 00001760: KECCAK256 00001761: SLOAD 00001762: SWAP1 00001763: DUP2 00001764: ISZERO 00001765: PUSH2 0x18b2 00001768: JUMPI 00001769: DUP1 0000176a: PUSH0 0000176b: MSTORE 0000176c: PUSH1 0x0d 0000176e: PUSH1 0x20 00001770: MSTORE 00001771: DUP5 00001772: PUSH1 0xff 00001774: PUSH1 0x40 00001776: PUSH0 00001777: KECCAK256 00001778: SLOAD 00001779: AND 0000177a: ISZERO 0000177b: ISZERO 0000177c: EQ 0000177d: PUSH2 0x1882 00001780: JUMPI 00001781: DUP1 00001782: PUSH0 00001783: MSTORE 00001784: PUSH1 0x0d 00001786: PUSH1 0x20 00001788: MSTORE 00001789: PUSH1 0x40 0000178b: PUSH0 0000178c: KECCAK256 0000178d: DUP8 0000178e: PUSH1 0xff 00001790: NOT 00001791: DUP3 00001792: SLOAD 00001793: AND 00001794: OR 00001795: SWAP1 00001796: SSTORE 00001797: PUSH32 0x1150430d66ba9cbeaa47be8b8dc1f6867193174dcabf0cf2e96685c655ff8e09 000017b8: PUSH1 0x20 000017ba: PUSH1 0x40 000017bc: MLOAD 000017bd: DUP8 000017be: DUP2 000017bf: MSTORE 000017c0: LOG2 000017c1: DUP5 000017c2: ISZERO 000017c3: PUSH2 0x1850 000017c6: JUMPI 000017c7: DUP1 000017c8: PUSH2 0x17d6 000017cb: PUSH2 0x17f0 000017ce: SWAP3 000017cf: PUSH1 0x0f 000017d1: SLOAD 000017d2: PUSH2 0x23eb 000017d5: JUMP 000017d6: JUMPDEST 000017d7: PUSH1 0x0f 000017d9: SSTORE 000017da: PUSH2 0x17e5 000017dd: DUP2 000017de: PUSH1 0x10 000017e0: SLOAD 000017e1: PUSH2 0x258c 000017e4: JUMP 000017e5: JUMPDEST 000017e6: PUSH1 0x10 000017e8: SSTORE 000017e9: PUSH1 0x11 000017eb: SLOAD 000017ec: PUSH2 0x258c 000017ef: JUMP 000017f0: JUMPDEST 000017f1: PUSH1 0x11 000017f3: SSTORE 000017f4: JUMPDEST 000017f5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001816: DUP2 00001817: EQ 00001818: PUSH2 0x1823 0000181b: JUMPI 0000181c: PUSH1 0x01 0000181e: ADD 0000181f: PUSH2 0x172c 00001822: JUMP 00001823: JUMPDEST 00001824: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001845: PUSH0 00001846: MSTORE 00001847: PUSH1 0x11 00001849: PUSH1 0x04 0000184b: MSTORE 0000184c: PUSH1 0x24 0000184e: PUSH0 0000184f: REVERT 00001850: JUMPDEST 00001851: DUP1 00001852: PUSH2 0x1860 00001855: PUSH2 0x187a 00001858: SWAP3 00001859: PUSH1 0x0f 0000185b: SLOAD 0000185c: PUSH2 0x258c 0000185f: JUMP 00001860: JUMPDEST 00001861: PUSH1 0x0f 00001863: SSTORE 00001864: PUSH2 0x186f 00001867: DUP2 00001868: PUSH1 0x10 0000186a: SLOAD 0000186b: PUSH2 0x23eb 0000186e: JUMP 0000186f: JUMPDEST 00001870: PUSH1 0x10 00001872: SSTORE 00001873: PUSH1 0x11 00001875: SLOAD 00001876: PUSH2 0x23eb 00001879: JUMP 0000187a: JUMPDEST 0000187b: PUSH1 0x11 0000187d: SSTORE 0000187e: PUSH2 0x17f4 00001881: JUMP 00001882: JUMPDEST 00001883: DUP5 00001884: SWAP1 00001885: PUSH32 0x7eb7c0bb00000000000000000000000000000000000000000000000000000000 000018a6: PUSH0 000018a7: MSTORE 000018a8: PUSH1 0x04 000018aa: MSTORE 000018ab: PUSH1 0x24 000018ad: MSTORE 000018ae: PUSH1 0x44 000018b0: PUSH0 000018b1: REVERT 000018b2: JUMPDEST 000018b3: PUSH32 0xedac458500000000000000000000000000000000000000000000000000000000 000018d4: PUSH0 000018d5: MSTORE 000018d6: PUSH1 0x04 000018d8: PUSH0 000018d9: REVERT 000018da: JUMPDEST 000018db: DUP3 000018dc: PUSH32 0xbb1cb70b00000000000000000000000000000000000000000000000000000000 000018fd: PUSH0 000018fe: MSTORE 000018ff: PUSH1 0x04 00001901: MSTORE 00001902: PUSH1 0x64 00001904: PUSH1 0x24 00001906: MSTORE 00001907: PUSH1 0x44 00001909: PUSH0 0000190a: REVERT 0000190b: JUMPDEST 0000190c: PUSH32 0xc2e5347d00000000000000000000000000000000000000000000000000000000 0000192d: PUSH0 0000192e: MSTORE 0000192f: PUSH1 0x04 00001931: PUSH0 00001932: REVERT 00001933: JUMPDEST 00001934: CALLVALUE 00001935: PUSH2 0x02a1 00001938: JUMPI 00001939: PUSH0 0000193a: PUSH1 0x03 0000193c: NOT 0000193d: CALLDATASIZE 0000193e: ADD 0000193f: SLT 00001940: PUSH2 0x02a1 00001943: JUMPI 00001944: PUSH1 0x20 00001946: PUSH1 0x10 00001948: SLOAD 00001949: PUSH1 0x40 0000194b: MLOAD 0000194c: SWAP1 0000194d: DUP2 0000194e: MSTORE 0000194f: RETURN 00001950: JUMPDEST 00001951: CALLVALUE 00001952: PUSH2 0x02a1 00001955: JUMPI 00001956: PUSH0 00001957: PUSH1 0x03 00001959: NOT 0000195a: CALLDATASIZE 0000195b: ADD 0000195c: SLT 0000195d: PUSH2 0x02a1 00001960: JUMPI 00001961: PUSH2 0x1968 00001964: PUSH2 0x2936 00001967: JUMP 00001968: JUMPDEST 00001969: PUSH1 0xff 0000196b: PUSH1 0x0e 0000196d: SLOAD 0000196e: PUSH1 0xa0 00001970: SHR 00001971: AND 00001972: PUSH1 0x05 00001974: DUP2 00001975: LT 00001976: ISZERO 00001977: PUSH2 0x0804 0000197a: JUMPI 0000197b: PUSH1 0x02 0000197d: DUP2 0000197e: SUB 0000197f: PUSH2 0x19fb 00001982: JUMPI 00001983: PUSH1 0x0e 00001985: SLOAD 00001986: PUSH21 0x030000000000000000000000000000000000000000 0000199c: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 000019bd: PUSH1 0xff 000019bf: DUP4 000019c0: PUSH1 0xa0 000019c2: SHR 000019c3: AND 000019c4: SWAP3 000019c5: AND 000019c6: OR 000019c7: PUSH1 0x0e 000019c9: SSTORE 000019ca: PUSH1 0x05 000019cc: DUP2 000019cd: LT 000019ce: ISZERO 000019cf: PUSH2 0x0804 000019d2: JUMPI 000019d3: PUSH1 0x03 000019d5: SWAP1 000019d6: PUSH32 0x9e0f6d6e2258787de46228cf9227a1ae6e49996f7b197041af59c99563f36a74 000019f7: PUSH0 000019f8: DUP1 000019f9: LOG3 000019fa: STOP 000019fb: JUMPDEST 000019fc: PUSH2 0x1a27 000019ff: SWAP1 00001a00: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000 00001a21: PUSH0 00001a22: MSTORE 00001a23: PUSH2 0x23c6 00001a26: JUMP 00001a27: JUMPDEST 00001a28: PUSH1 0x02 00001a2a: PUSH1 0x24 00001a2c: MSTORE 00001a2d: PUSH1 0x44 00001a2f: PUSH0 00001a30: REVERT 00001a31: JUMPDEST 00001a32: CALLVALUE 00001a33: PUSH2 0x02a1 00001a36: JUMPI 00001a37: PUSH0 00001a38: PUSH1 0x03 00001a3a: NOT 00001a3b: CALLDATASIZE 00001a3c: ADD 00001a3d: SLT 00001a3e: PUSH2 0x02a1 00001a41: JUMPI 00001a42: PUSH1 0x20 00001a44: PUSH1 0x0f 00001a46: SLOAD 00001a47: PUSH1 0x40 00001a49: MLOAD 00001a4a: SWAP1 00001a4b: DUP2 00001a4c: MSTORE 00001a4d: RETURN 00001a4e: JUMPDEST 00001a4f: CALLVALUE 00001a50: PUSH2 0x02a1 00001a53: JUMPI 00001a54: PUSH1 0x40 00001a56: PUSH1 0x03 00001a58: NOT 00001a59: CALLDATASIZE 00001a5a: ADD 00001a5b: SLT 00001a5c: PUSH2 0x02a1 00001a5f: JUMPI 00001a60: PUSH2 0x1a67 00001a63: PUSH2 0x2319 00001a66: JUMP 00001a67: JUMPDEST 00001a68: CALLER 00001a69: PUSH1 0x01 00001a6b: PUSH1 0x01 00001a6d: PUSH1 0xa0 00001a6f: SHL 00001a70: SUB 00001a71: DUP3 00001a72: AND 00001a73: SUB 00001a74: PUSH2 0x1a83 00001a77: JUMPI 00001a78: PUSH2 0x04a1 00001a7b: SWAP1 00001a7c: PUSH1 0x04 00001a7e: CALLDATALOAD 00001a7f: PUSH2 0x2be6 00001a82: JUMP 00001a83: JUMPDEST 00001a84: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000 00001aa5: PUSH0 00001aa6: MSTORE 00001aa7: PUSH1 0x04 00001aa9: PUSH0 00001aaa: REVERT 00001aab: JUMPDEST 00001aac: CALLVALUE 00001aad: PUSH2 0x02a1 00001ab0: JUMPI 00001ab1: PUSH0 00001ab2: PUSH1 0x03 00001ab4: NOT 00001ab5: CALLDATASIZE 00001ab6: ADD 00001ab7: SLT 00001ab8: PUSH2 0x02a1 00001abb: JUMPI 00001abc: PUSH1 0x20 00001abe: PUSH2 0x168b 00001ac1: PUSH2 0x2aca 00001ac4: JUMP 00001ac5: JUMPDEST 00001ac6: CALLVALUE 00001ac7: PUSH2 0x02a1 00001aca: JUMPI 00001acb: PUSH0 00001acc: PUSH1 0x03 00001ace: NOT 00001acf: CALLDATASIZE 00001ad0: ADD 00001ad1: SLT 00001ad2: PUSH2 0x02a1 00001ad5: JUMPI 00001ad6: PUSH1 0x20 00001ad8: PUSH1 0x40 00001ada: MLOAD 00001adb: PUSH1 0x06 00001add: DUP2 00001ade: MSTORE 00001adf: RETURN 00001ae0: JUMPDEST 00001ae1: CALLVALUE 00001ae2: PUSH2 0x02a1 00001ae5: JUMPI 00001ae6: PUSH1 0x40 00001ae8: PUSH1 0x03 00001aea: NOT 00001aeb: CALLDATASIZE 00001aec: ADD 00001aed: SLT 00001aee: PUSH2 0x02a1 00001af1: JUMPI 00001af2: PUSH2 0x04a1 00001af5: PUSH1 0x04 00001af7: CALLDATALOAD 00001af8: PUSH2 0x1aff 00001afb: PUSH2 0x2319 00001afe: JUMP 00001aff: JUMPDEST 00001b00: SWAP1 00001b01: PUSH2 0x1b19 00001b04: PUSH2 0x0497 00001b07: DUP3 00001b08: PUSH0 00001b09: MSTORE 00001b0a: PUSH1 0x08 00001b0c: PUSH1 0x20 00001b0e: MSTORE 00001b0f: PUSH1 0x01 00001b11: PUSH1 0x40 00001b13: PUSH0 00001b14: KECCAK256 00001b15: ADD 00001b16: SLOAD 00001b17: SWAP1 00001b18: JUMP 00001b19: JUMPDEST 00001b1a: PUSH2 0x2a41 00001b1d: JUMP 00001b1e: JUMPDEST 00001b1f: CALLVALUE 00001b20: PUSH2 0x02a1 00001b23: JUMPI 00001b24: PUSH0 00001b25: PUSH1 0x03 00001b27: NOT 00001b28: CALLDATASIZE 00001b29: ADD 00001b2a: SLT 00001b2b: PUSH2 0x02a1 00001b2e: JUMPI 00001b2f: PUSH1 0x20 00001b31: PUSH1 0x40 00001b33: MLOAD 00001b34: PUSH32 0x0000000000000000000000000000000000000000000000000000000069e6a977 00001b55: DUP2 00001b56: MSTORE 00001b57: RETURN 00001b58: JUMPDEST 00001b59: CALLVALUE 00001b5a: PUSH2 0x02a1 00001b5d: JUMPI 00001b5e: PUSH0 00001b5f: PUSH1 0x03 00001b61: NOT 00001b62: CALLDATASIZE 00001b63: ADD 00001b64: SLT 00001b65: PUSH2 0x02a1 00001b68: JUMPI 00001b69: PUSH1 0x20 00001b6b: PUSH1 0x40 00001b6d: MLOAD 00001b6e: PUSH1 0x64 00001b70: DUP2 00001b71: MSTORE 00001b72: RETURN 00001b73: JUMPDEST 00001b74: CALLVALUE 00001b75: PUSH2 0x02a1 00001b78: JUMPI 00001b79: PUSH1 0x20 00001b7b: PUSH1 0x03 00001b7d: NOT 00001b7e: CALLDATASIZE 00001b7f: ADD 00001b80: SLT 00001b81: PUSH2 0x02a1 00001b84: JUMPI 00001b85: PUSH1 0x20 00001b87: PUSH2 0x168b 00001b8a: PUSH1 0x04 00001b8c: CALLDATALOAD 00001b8d: PUSH0 00001b8e: MSTORE 00001b8f: PUSH1 0x08 00001b91: PUSH1 0x20 00001b93: MSTORE 00001b94: PUSH1 0x01 00001b96: PUSH1 0x40 00001b98: PUSH0 00001b99: KECCAK256 00001b9a: ADD 00001b9b: SLOAD 00001b9c: SWAP1 00001b9d: JUMP 00001b9e: JUMPDEST 00001b9f: CALLVALUE 00001ba0: PUSH2 0x02a1 00001ba3: JUMPI 00001ba4: PUSH1 0x60 00001ba6: PUSH1 0x03 00001ba8: NOT 00001ba9: CALLDATASIZE 00001baa: ADD 00001bab: SLT 00001bac: PUSH2 0x02a1 00001baf: JUMPI 00001bb0: PUSH2 0x087f 00001bb3: PUSH2 0x1bba 00001bb6: PUSH2 0x2303 00001bb9: JUMP 00001bba: JUMPDEST 00001bbb: PUSH2 0x1bc2 00001bbe: PUSH2 0x2319 00001bc1: JUMP 00001bc2: JUMPDEST 00001bc3: PUSH1 0x44 00001bc5: CALLDATALOAD 00001bc6: SWAP2 00001bc7: PUSH2 0x1bd1 00001bca: DUP4 00001bcb: CALLER 00001bcc: DUP4 00001bcd: PUSH2 0x26e2 00001bd0: JUMP 00001bd1: JUMPDEST 00001bd2: PUSH2 0x2a18 00001bd5: JUMP 00001bd6: JUMPDEST 00001bd7: CALLVALUE 00001bd8: PUSH2 0x02a1 00001bdb: JUMPI 00001bdc: PUSH0 00001bdd: PUSH1 0x03 00001bdf: NOT 00001be0: CALLDATASIZE 00001be1: ADD 00001be2: SLT 00001be3: PUSH2 0x02a1 00001be6: JUMPI 00001be7: PUSH1 0x20 00001be9: PUSH1 0x02 00001beb: SLOAD 00001bec: PUSH1 0x40 00001bee: MLOAD 00001bef: SWAP1 00001bf0: DUP2 00001bf1: MSTORE 00001bf2: RETURN 00001bf3: JUMPDEST 00001bf4: CALLVALUE 00001bf5: PUSH2 0x02a1 00001bf8: JUMPI 00001bf9: PUSH1 0x20 00001bfb: PUSH1 0x03 00001bfd: NOT 00001bfe: CALLDATASIZE 00001bff: ADD 00001c00: SLT 00001c01: PUSH2 0x02a1 00001c04: JUMPI 00001c05: PUSH2 0x1c0c 00001c08: PUSH2 0x23d4 00001c0b: JUMP 00001c0c: JUMPDEST 00001c0d: PUSH2 0x1c14 00001c10: PUSH2 0x2936 00001c13: JUMP 00001c14: JUMPDEST 00001c15: PUSH1 0xff 00001c17: PUSH1 0x0e 00001c19: SLOAD 00001c1a: PUSH1 0xa0 00001c1c: SHR 00001c1d: AND 00001c1e: PUSH1 0x05 00001c20: DUP2 00001c21: LT 00001c22: ISZERO 00001c23: PUSH2 0x0804 00001c26: JUMPI 00001c27: DUP1 00001c28: PUSH2 0x0a16 00001c2b: JUMPI 00001c2c: POP 00001c2d: PUSH1 0x0a 00001c2f: SLOAD 00001c30: PUSH8 0xffffffffffffffff 00001c39: DUP2 00001c3a: AND 00001c3b: SWAP1 00001c3c: TIMESTAMP 00001c3d: DUP3 00001c3e: GT 00001c3f: PUSH2 0x09c4 00001c42: JUMPI 00001c43: PUSH8 0xffffffffffffffff 00001c4c: DUP4 00001c4d: AND 00001c4e: SWAP3 00001c4f: TIMESTAMP 00001c50: DUP5 00001c51: GT 00001c52: ISZERO 00001c53: PUSH2 0x0994 00001c56: JUMPI 00001c57: PUSH16 0xffffffffffffffff0000000000000000 00001c68: PUSH32 0xffffffffffffffffffffffffffffffff0000000000000000ffffffffffffffff 00001c89: SWAP2 00001c8a: PUSH1 0x40 00001c8c: SHL 00001c8d: AND 00001c8e: SWAP2 00001c8f: AND 00001c90: OR 00001c91: PUSH1 0x0a 00001c93: SSTORE 00001c94: PUSH32 0x709a99e52f3ad08814a91314c2ce5127558c0ffeb6d0a5df5a637276cb804d6e 00001cb5: PUSH0 00001cb6: DUP1 00001cb7: LOG3 00001cb8: STOP 00001cb9: JUMPDEST 00001cba: CALLVALUE 00001cbb: PUSH2 0x02a1 00001cbe: JUMPI 00001cbf: PUSH0 00001cc0: PUSH1 0x03 00001cc2: NOT 00001cc3: CALLDATASIZE 00001cc4: ADD 00001cc5: SLT 00001cc6: PUSH2 0x02a1 00001cc9: JUMPI 00001cca: PUSH1 0xff 00001ccc: PUSH1 0x0e 00001cce: SLOAD 00001ccf: PUSH1 0xa0 00001cd1: SHR 00001cd2: AND 00001cd3: PUSH1 0x40 00001cd5: MLOAD 00001cd6: PUSH1 0x05 00001cd8: DUP3 00001cd9: LT 00001cda: ISZERO 00001cdb: PUSH2 0x0804 00001cde: JUMPI 00001cdf: PUSH1 0x20 00001ce1: SWAP2 00001ce2: DUP2 00001ce3: MSTORE 00001ce4: RETURN 00001ce5: JUMPDEST 00001ce6: CALLVALUE 00001ce7: PUSH2 0x02a1 00001cea: JUMPI 00001ceb: PUSH1 0x20 00001ced: PUSH1 0x03 00001cef: NOT 00001cf0: CALLDATASIZE 00001cf1: ADD 00001cf2: SLT 00001cf3: PUSH2 0x02a1 00001cf6: JUMPI 00001cf7: PUSH1 0x01 00001cf9: PUSH1 0x01 00001cfb: PUSH1 0xa0 00001cfd: SHL 00001cfe: SUB 00001cff: PUSH2 0x1d06 00001d02: PUSH2 0x2303 00001d05: JUMP 00001d06: JUMPDEST 00001d07: PUSH2 0x1d0e 00001d0a: PUSH2 0x2936 00001d0d: JUMP 00001d0e: JUMPDEST 00001d0f: AND 00001d10: DUP1 00001d11: ISZERO 00001d12: PUSH2 0x1df1 00001d15: JUMPI 00001d16: DUP1 00001d17: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001d38: PUSH1 0x0c 00001d3a: SLOAD 00001d3b: AND 00001d3c: OR 00001d3d: PUSH1 0x0c 00001d3f: SSTORE 00001d40: DUP1 00001d41: PUSH32 0xad098d6e912c08ed9aa3ee6ca9529da44a959d4c6251c6b8b088af216c1e3506 00001d62: PUSH0 00001d63: DUP1 00001d64: LOG2 00001d65: DUP1 00001d66: PUSH0 00001d67: MSTORE 00001d68: PUSH1 0x0d 00001d6a: PUSH1 0x20 00001d6c: MSTORE 00001d6d: PUSH1 0x01 00001d6f: PUSH1 0xff 00001d71: PUSH1 0x40 00001d73: PUSH0 00001d74: KECCAK256 00001d75: SLOAD 00001d76: AND 00001d77: ISZERO 00001d78: ISZERO 00001d79: EQ 00001d7a: PUSH2 0x1dc1 00001d7d: JUMPI 00001d7e: DUP1 00001d7f: PUSH0 00001d80: MSTORE 00001d81: PUSH1 0x0d 00001d83: PUSH1 0x20 00001d85: MSTORE 00001d86: PUSH1 0x40 00001d88: PUSH0 00001d89: KECCAK256 00001d8a: PUSH1 0x01 00001d8c: PUSH1 0xff 00001d8e: NOT 00001d8f: DUP3 00001d90: SLOAD 00001d91: AND 00001d92: OR 00001d93: SWAP1 00001d94: SSTORE 00001d95: PUSH32 0x1150430d66ba9cbeaa47be8b8dc1f6867193174dcabf0cf2e96685c655ff8e09 00001db6: PUSH1 0x20 00001db8: PUSH1 0x40 00001dba: MLOAD 00001dbb: PUSH1 0x01 00001dbd: DUP2 00001dbe: MSTORE 00001dbf: LOG2 00001dc0: STOP 00001dc1: JUMPDEST 00001dc2: PUSH32 0x7eb7c0bb00000000000000000000000000000000000000000000000000000000 00001de3: PUSH0 00001de4: MSTORE 00001de5: PUSH1 0x04 00001de7: MSTORE 00001de8: PUSH1 0x01 00001dea: PUSH1 0x24 00001dec: MSTORE 00001ded: PUSH1 0x44 00001def: PUSH0 00001df0: REVERT 00001df1: JUMPDEST 00001df2: PUSH32 0xe9603e4b00000000000000000000000000000000000000000000000000000000 00001e13: PUSH0 00001e14: MSTORE 00001e15: PUSH1 0x04 00001e17: PUSH0 00001e18: REVERT 00001e19: JUMPDEST 00001e1a: CALLVALUE 00001e1b: PUSH2 0x02a1 00001e1e: JUMPI 00001e1f: PUSH1 0x40 00001e21: PUSH1 0x03 00001e23: NOT 00001e24: CALLDATASIZE 00001e25: ADD 00001e26: SLT 00001e27: PUSH2 0x02a1 00001e2a: JUMPI 00001e2b: PUSH2 0x087f 00001e2e: PUSH2 0x1e35 00001e31: PUSH2 0x2303 00001e34: JUMP 00001e35: JUMPDEST 00001e36: PUSH1 0x24 00001e38: CALLDATALOAD 00001e39: SWAP1 00001e3a: CALLER 00001e3b: PUSH2 0x2cb2 00001e3e: JUMP 00001e3f: JUMPDEST 00001e40: CALLVALUE 00001e41: PUSH2 0x02a1 00001e44: JUMPI 00001e45: PUSH0 00001e46: PUSH1 0x03 00001e48: NOT 00001e49: CALLDATASIZE 00001e4a: ADD 00001e4b: SLT 00001e4c: PUSH2 0x02a1 00001e4f: JUMPI 00001e50: PUSH1 0x40 00001e52: MLOAD 00001e53: PUSH0 00001e54: PUSH1 0x03 00001e56: SLOAD 00001e57: PUSH2 0x1e5f 00001e5a: DUP2 00001e5b: PUSH2 0x2466 00001e5e: JUMP 00001e5f: JUMPDEST 00001e60: DUP1 00001e61: DUP5 00001e62: MSTORE 00001e63: SWAP1 00001e64: PUSH1 0x01 00001e66: DUP2 00001e67: AND 00001e68: SWAP1 00001e69: DUP2 00001e6a: ISZERO 00001e6b: PUSH2 0x0bf5 00001e6e: JUMPI 00001e6f: POP 00001e70: PUSH1 0x01 00001e72: EQ 00001e73: PUSH2 0x1e86 00001e76: JUMPI 00001e77: PUSH2 0x0b93 00001e7a: DUP4 00001e7b: PUSH2 0x0b7f 00001e7e: DUP2 00001e7f: DUP6 00001e80: SUB 00001e81: DUP3 00001e82: PUSH2 0x23f8 00001e85: JUMP 00001e86: JUMPDEST 00001e87: PUSH1 0x03 00001e89: PUSH0 00001e8a: SWAP1 00001e8b: DUP2 00001e8c: MSTORE 00001e8d: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b 00001eae: SWAP4 00001eaf: SWAP3 00001eb0: POP 00001eb1: SWAP1 00001eb2: JUMPDEST 00001eb3: DUP1 00001eb4: DUP3 00001eb5: LT 00001eb6: PUSH2 0x1eca 00001eb9: JUMPI 00001eba: POP 00001ebb: SWAP1 00001ebc: SWAP2 00001ebd: POP 00001ebe: DUP2 00001ebf: ADD 00001ec0: PUSH1 0x20 00001ec2: ADD 00001ec3: PUSH2 0x0b7f 00001ec6: PUSH2 0x0b6f 00001ec9: JUMP 00001eca: JUMPDEST 00001ecb: SWAP2 00001ecc: SWAP3 00001ecd: PUSH1 0x01 00001ecf: DUP2 00001ed0: PUSH1 0x20 00001ed2: SWAP3 00001ed3: SLOAD 00001ed4: DUP4 00001ed5: DUP6 00001ed6: DUP9 00001ed7: ADD 00001ed8: ADD 00001ed9: MSTORE 00001eda: ADD 00001edb: SWAP2 00001edc: ADD 00001edd: SWAP1 00001ede: SWAP3 00001edf: SWAP2 00001ee0: PUSH2 0x1eb2 00001ee3: JUMP 00001ee4: JUMPDEST 00001ee5: CALLVALUE 00001ee6: PUSH2 0x02a1 00001ee9: JUMPI 00001eea: PUSH1 0x20 00001eec: PUSH1 0x03 00001eee: NOT 00001eef: CALLDATASIZE 00001ef0: ADD 00001ef1: SLT 00001ef2: PUSH2 0x02a1 00001ef5: JUMPI 00001ef6: PUSH1 0x04 00001ef8: CALLDATALOAD 00001ef9: PUSH2 0x1f00 00001efc: PUSH2 0x26a9 00001eff: JUMP 00001f00: JUMPDEST 00001f01: CALLER 00001f02: PUSH0 00001f03: SWAP1 00001f04: DUP2 00001f05: MSTORE 00001f06: PUSH32 0x1e20b4164e400062c2ddca38b8bf99822fa57623ccb2157f6f8964a8803939f3 00001f27: PUSH1 0x20 00001f29: MSTORE 00001f2a: PUSH1 0x40 00001f2c: SWAP1 00001f2d: KECCAK256 00001f2e: SLOAD 00001f2f: PUSH1 0xff 00001f31: AND 00001f32: ISZERO 00001f33: PUSH2 0x209f 00001f36: JUMPI 00001f37: PUSH1 0x0e 00001f39: SLOAD 00001f3a: PUSH1 0xff 00001f3c: DUP2 00001f3d: PUSH1 0xa0 00001f3f: SHR 00001f40: AND 00001f41: PUSH1 0x05 00001f43: DUP2 00001f44: LT 00001f45: ISZERO 00001f46: PUSH2 0x0804 00001f49: JUMPI 00001f4a: PUSH1 0x02 00001f4c: DUP2 00001f4d: SUB 00001f4e: PUSH2 0x19fb 00001f51: JUMPI 00001f52: POP 00001f53: PUSH1 0x01 00001f55: PUSH1 0x01 00001f57: PUSH1 0xa0 00001f59: SHL 00001f5a: SUB 00001f5b: AND 00001f5c: DUP1 00001f5d: ISZERO 00001f5e: PUSH2 0x2077 00001f61: JUMPI 00001f62: DUP2 00001f63: ISZERO 00001f64: PUSH2 0x03e6 00001f67: JUMPI 00001f68: PUSH1 0x11 00001f6a: SLOAD 00001f6b: DUP1 00001f6c: DUP4 00001f6d: GT 00001f6e: PUSH2 0x201d 00001f71: JUMPI 00001f72: PUSH1 0x40 00001f74: MLOAD 00001f75: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00001f96: DUP2 00001f97: MSTORE 00001f98: ADDRESS 00001f99: PUSH1 0x04 00001f9b: DUP3 00001f9c: ADD 00001f9d: MSTORE 00001f9e: PUSH1 0x20 00001fa0: DUP2 00001fa1: PUSH1 0x24 00001fa3: DUP2 00001fa4: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00001fb9: GAS 00001fba: STATICCALL 00001fbb: SWAP1 00001fbc: DUP2 00001fbd: ISZERO 00001fbe: PUSH2 0x134e 00001fc1: JUMPI 00001fc2: PUSH0 00001fc3: SWAP2 00001fc4: PUSH2 0x2045 00001fc7: JUMPI 00001fc8: JUMPDEST 00001fc9: POP 00001fca: DUP4 00001fcb: GT 00001fcc: PUSH2 0x201d 00001fcf: JUMPI 00001fd0: PUSH2 0x1fe6 00001fd3: SWAP2 00001fd4: PUSH2 0x1fde 00001fd7: DUP5 00001fd8: DUP1 00001fd9: SWAP4 00001fda: PUSH2 0x23eb 00001fdd: JUMP 00001fde: JUMPDEST 00001fdf: PUSH1 0x11 00001fe1: SSTORE 00001fe2: PUSH2 0x28cc 00001fe5: JUMP 00001fe6: JUMPDEST 00001fe7: PUSH1 0x01 00001fe9: PUSH1 0x01 00001feb: PUSH1 0xa0 00001fed: SHL 00001fee: SUB 00001fef: PUSH1 0x0e 00001ff1: SLOAD 00001ff2: AND 00001ff3: PUSH32 0x233c84dc0c19fbf51f9fa92214ffd8a59f512e0098bff5827455d02e401221c0 00002014: PUSH0 00002015: DUP1 00002016: LOG3 00002017: PUSH1 0x01 00002019: PUSH1 0x09 0000201b: SSTORE 0000201c: STOP 0000201d: JUMPDEST 0000201e: PUSH32 0x88fc642900000000000000000000000000000000000000000000000000000000 0000203f: PUSH0 00002040: MSTORE 00002041: PUSH1 0x04 00002043: PUSH0 00002044: REVERT 00002045: JUMPDEST 00002046: SWAP1 00002047: POP 00002048: PUSH1 0x20 0000204a: DUP2 0000204b: RETURNDATASIZE 0000204c: PUSH1 0x20 0000204e: GT 0000204f: PUSH2 0x206f 00002052: JUMPI 00002053: JUMPDEST 00002054: DUP2 00002055: PUSH2 0x2060 00002058: PUSH1 0x20 0000205a: SWAP4 0000205b: DUP4 0000205c: PUSH2 0x23f8 0000205f: JUMP 00002060: JUMPDEST 00002061: DUP2 00002062: ADD 00002063: SUB 00002064: SLT 00002065: PUSH2 0x02a1 00002068: JUMPI 00002069: MLOAD 0000206a: DUP5 0000206b: PUSH2 0x1fc8 0000206e: JUMP 0000206f: JUMPDEST 00002070: RETURNDATASIZE 00002071: SWAP2 00002072: POP 00002073: PUSH2 0x2053 00002076: JUMP 00002077: JUMPDEST 00002078: PUSH32 0xb2c4cce900000000000000000000000000000000000000000000000000000000 00002099: PUSH0 0000209a: MSTORE 0000209b: PUSH1 0x04 0000209d: PUSH0 0000209e: REVERT 0000209f: JUMPDEST 000020a0: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000 000020c1: PUSH0 000020c2: MSTORE 000020c3: CALLER 000020c4: PUSH1 0x04 000020c6: MSTORE 000020c7: PUSH32 0xe1dcbdb91df27212a29bc27177c840cf2f819ecf2187432e1fac86c2dd5dfca9 000020e8: PUSH1 0x24 000020ea: MSTORE 000020eb: PUSH1 0x44 000020ed: PUSH0 000020ee: REVERT 000020ef: JUMPDEST 000020f0: CALLVALUE 000020f1: PUSH2 0x02a1 000020f4: JUMPI 000020f5: PUSH2 0x20fd 000020f8: CALLDATASIZE 000020f9: PUSH2 0x232f 000020fc: JUMP 000020fd: JUMPDEST 000020fe: SWAP2 000020ff: SWAP1 00002100: PUSH2 0x2107 00002103: PUSH2 0x26a9 00002106: JUMP 00002107: JUMPDEST 00002108: PUSH1 0xff 0000210a: PUSH1 0x0e 0000210c: SLOAD 0000210d: PUSH1 0xa0 0000210f: SHR 00002110: AND 00002111: PUSH1 0x05 00002113: DUP2 00002114: LT 00002115: ISZERO 00002116: PUSH2 0x0804 00002119: JUMPI 0000211a: PUSH1 0x04 0000211c: DUP2 0000211d: SUB 0000211e: PUSH2 0x222f 00002121: JUMPI 00002122: POP 00002123: DUP2 00002124: ISZERO 00002125: PUSH2 0x03e6 00002128: JUMPI 00002129: PUSH1 0x01 0000212b: PUSH1 0x01 0000212d: PUSH1 0xa0 0000212f: SHL 00002130: SUB 00002131: DUP4 00002132: AND 00002133: SWAP2 00002134: DUP3 00002135: PUSH0 00002136: MSTORE 00002137: PUSH1 0x0d 00002139: PUSH1 0x20 0000213b: MSTORE 0000213c: PUSH1 0xff 0000213e: PUSH1 0x40 00002140: PUSH0 00002141: KECCAK256 00002142: SLOAD 00002143: AND 00002144: ISZERO 00002145: PUSH2 0x2207 00002148: JUMPI 00002149: PUSH32 0x817d7db54531c25c60d08a53debb99c4aa0c1375179953ef7befd12e1de35126 0000216a: SWAP2 0000216b: PUSH1 0x40 0000216d: SWAP2 0000216e: DUP5 0000216f: CALLER 00002170: SUB 00002171: PUSH2 0x21f7 00002174: JUMPI 00002175: JUMPDEST 00002176: PUSH2 0x217f 00002179: DUP2 0000217a: DUP8 0000217b: PUSH2 0x2599 0000217e: JUMP 0000217f: JUMPDEST 00002180: POP 00002181: DUP1 00002182: SWAP4 00002183: SWAP2 00002184: SWAP8 00002185: PUSH2 0x2190 00002188: DUP5 00002189: PUSH1 0x10 0000218b: SLOAD 0000218c: PUSH2 0x23eb 0000218f: JUMP 00002190: JUMPDEST 00002191: PUSH1 0x10 00002193: SSTORE 00002194: PUSH2 0x21a5 00002197: DUP5 00002198: DUP4 00002199: ISZERO 0000219a: ISZERO 0000219b: SWAP3 0000219c: DUP4 0000219d: PUSH2 0x21e3 000021a0: JUMPI 000021a1: PUSH2 0x281b 000021a4: JUMP 000021a5: JUMPDEST 000021a6: DUP9 000021a7: PUSH2 0x21d4 000021aa: JUMPI 000021ab: JUMPDEST 000021ac: PUSH2 0x21c4 000021af: JUMPI 000021b0: JUMPDEST 000021b1: POP 000021b2: POP 000021b3: DUP3 000021b4: MLOAD 000021b5: SWAP2 000021b6: DUP3 000021b7: MSTORE 000021b8: PUSH1 0x20 000021ba: DUP3 000021bb: ADD 000021bc: MSTORE 000021bd: LOG3 000021be: PUSH1 0x01 000021c0: PUSH1 0x09 000021c2: SSTORE 000021c3: STOP 000021c4: JUMPDEST 000021c5: PUSH2 0x21cd 000021c8: SWAP2 000021c9: PUSH2 0x28cc 000021cc: JUMP 000021cd: JUMPDEST 000021ce: DUP7 000021cf: DUP3 000021d0: PUSH2 0x21b0 000021d3: JUMP 000021d4: JUMPDEST 000021d5: PUSH2 0x21de 000021d8: DUP10 000021d9: DUP5 000021da: PUSH2 0x2862 000021dd: JUMP 000021de: JUMPDEST 000021df: PUSH2 0x21ab 000021e2: JUMP 000021e3: JUMPDEST 000021e4: PUSH2 0x21ef 000021e7: DUP6 000021e8: PUSH1 0x11 000021ea: SLOAD 000021eb: PUSH2 0x23eb 000021ee: JUMP 000021ef: JUMPDEST 000021f0: PUSH1 0x11 000021f2: SSTORE 000021f3: PUSH2 0x281b 000021f6: JUMP 000021f7: JUMPDEST 000021f8: PUSH2 0x2202 000021fb: DUP2 000021fc: CALLER 000021fd: DUP9 000021fe: PUSH2 0x26e2 00002201: JUMP 00002202: JUMPDEST 00002203: PUSH2 0x2175 00002206: JUMP 00002207: JUMPDEST 00002208: PUSH32 0xef4d50e600000000000000000000000000000000000000000000000000000000 00002229: PUSH0 0000222a: MSTORE 0000222b: PUSH1 0x04 0000222d: PUSH0 0000222e: REVERT 0000222f: JUMPDEST 00002230: PUSH2 0x225b 00002233: SWAP1 00002234: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000 00002255: PUSH0 00002256: MSTORE 00002257: PUSH2 0x23c6 0000225a: JUMP 0000225b: JUMPDEST 0000225c: PUSH1 0x04 0000225e: PUSH1 0x24 00002260: MSTORE 00002261: PUSH1 0x44 00002263: PUSH0 00002264: REVERT 00002265: JUMPDEST 00002266: CALLVALUE 00002267: PUSH2 0x02a1 0000226a: JUMPI 0000226b: PUSH1 0x20 0000226d: PUSH1 0x03 0000226f: NOT 00002270: CALLDATASIZE 00002271: ADD 00002272: SLT 00002273: PUSH2 0x02a1 00002276: JUMPI 00002277: PUSH1 0x04 00002279: CALLDATALOAD 0000227a: SWAP1 0000227b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000229c: DUP3 0000229d: AND 0000229e: DUP1 0000229f: SWAP3 000022a0: SUB 000022a1: PUSH2 0x02a1 000022a4: JUMPI 000022a5: DUP2 000022a6: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000 000022c7: PUSH1 0x20 000022c9: SWAP4 000022ca: EQ 000022cb: SWAP1 000022cc: DUP2 000022cd: ISZERO 000022ce: PUSH2 0x22d9 000022d1: JUMPI 000022d2: JUMPDEST 000022d3: POP 000022d4: ISZERO 000022d5: ISZERO 000022d6: DUP2 000022d7: MSTORE 000022d8: RETURN 000022d9: JUMPDEST 000022da: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000022fb: SWAP2 000022fc: POP 000022fd: EQ 000022fe: DUP4 000022ff: PUSH2 0x22d2 00002302: JUMP 00002303: JUMPDEST 00002304: PUSH1 0x04 00002306: CALLDATALOAD 00002307: SWAP1 00002308: PUSH1 0x01 0000230a: PUSH1 0x01 0000230c: PUSH1 0xa0 0000230e: SHL 0000230f: SUB 00002310: DUP3 00002311: AND 00002312: DUP3 00002313: SUB 00002314: PUSH2 0x02a1 00002317: JUMPI 00002318: JUMP 00002319: JUMPDEST 0000231a: PUSH1 0x24 0000231c: CALLDATALOAD 0000231d: SWAP1 0000231e: PUSH1 0x01 00002320: PUSH1 0x01 00002322: PUSH1 0xa0 00002324: SHL 00002325: SUB 00002326: DUP3 00002327: AND 00002328: DUP3 00002329: SUB 0000232a: PUSH2 0x02a1 0000232d: JUMPI 0000232e: JUMP 0000232f: JUMPDEST 00002330: PUSH1 0x03 00002332: NOT 00002333: PUSH1 0x60 00002335: SWAP2 00002336: ADD 00002337: SLT 00002338: PUSH2 0x02a1 0000233b: JUMPI 0000233c: PUSH1 0x04 0000233e: CALLDATALOAD 0000233f: SWAP1 00002340: PUSH1 0x24 00002342: CALLDATALOAD 00002343: PUSH1 0x01 00002345: PUSH1 0x01 00002347: PUSH1 0xa0 00002349: SHL 0000234a: SUB 0000234b: DUP2 0000234c: AND 0000234d: DUP2 0000234e: SUB 0000234f: PUSH2 0x02a1 00002352: JUMPI 00002353: SWAP1 00002354: PUSH1 0x44 00002356: CALLDATALOAD 00002357: PUSH1 0x01 00002359: PUSH1 0x01 0000235b: PUSH1 0xa0 0000235d: SHL 0000235e: SUB 0000235f: DUP2 00002360: AND 00002361: DUP2 00002362: SUB 00002363: PUSH2 0x02a1 00002366: JUMPI 00002367: SWAP1 00002368: JUMP 00002369: JUMPDEST 0000236a: SWAP2 0000236b: SWAP1 0000236c: DUP3 0000236d: MLOAD 0000236e: SWAP3 0000236f: DUP4 00002370: DUP3 00002371: MSTORE 00002372: PUSH0 00002373: JUMPDEST 00002374: DUP5 00002375: DUP2 00002376: LT 00002377: PUSH2 0x23b1 0000237a: JUMPI 0000237b: POP 0000237c: POP 0000237d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000239e: PUSH1 0x1f 000023a0: DUP5 000023a1: PUSH0 000023a2: PUSH1 0x20 000023a4: DUP1 000023a5: SWAP7 000023a6: SWAP8 000023a7: DUP7 000023a8: ADD 000023a9: ADD 000023aa: MSTORE 000023ab: ADD 000023ac: AND 000023ad: ADD 000023ae: ADD 000023af: SWAP1 000023b0: JUMP 000023b1: JUMPDEST 000023b2: DUP1 000023b3: PUSH1 0x20 000023b5: DUP1 000023b6: SWAP3 000023b7: DUP5 000023b8: ADD 000023b9: ADD 000023ba: MLOAD 000023bb: DUP3 000023bc: DUP3 000023bd: DUP7 000023be: ADD 000023bf: ADD 000023c0: MSTORE 000023c1: ADD 000023c2: PUSH2 0x2373 000023c5: JUMP 000023c6: JUMPDEST 000023c7: PUSH1 0x05 000023c9: DUP2 000023ca: LT 000023cb: ISZERO 000023cc: PUSH2 0x0804 000023cf: JUMPI 000023d0: PUSH1 0x04 000023d2: MSTORE 000023d3: JUMP 000023d4: JUMPDEST 000023d5: PUSH1 0x04 000023d7: CALLDATALOAD 000023d8: SWAP1 000023d9: PUSH8 0xffffffffffffffff 000023e2: DUP3 000023e3: AND 000023e4: DUP3 000023e5: SUB 000023e6: PUSH2 0x02a1 000023e9: JUMPI 000023ea: JUMP 000023eb: JUMPDEST 000023ec: SWAP2 000023ed: SWAP1 000023ee: DUP3 000023ef: SUB 000023f0: SWAP2 000023f1: DUP3 000023f2: GT 000023f3: PUSH2 0x1823 000023f6: JUMPI 000023f7: JUMP 000023f8: JUMPDEST 000023f9: SWAP1 000023fa: PUSH1 0x1f 000023fc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000241d: SWAP2 0000241e: ADD 0000241f: AND 00002420: DUP2 00002421: ADD 00002422: SWAP1 00002423: DUP2 00002424: LT 00002425: PUSH8 0xffffffffffffffff 0000242e: DUP3 0000242f: GT 00002430: OR 00002431: PUSH2 0x2439 00002434: JUMPI 00002435: PUSH1 0x40 00002437: MSTORE 00002438: JUMP 00002439: JUMPDEST 0000243a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000245b: PUSH0 0000245c: MSTORE 0000245d: PUSH1 0x41 0000245f: PUSH1 0x04 00002461: MSTORE 00002462: PUSH1 0x24 00002464: PUSH0 00002465: REVERT 00002466: JUMPDEST 00002467: SWAP1 00002468: PUSH1 0x01 0000246a: DUP3 0000246b: DUP2 0000246c: SHR 0000246d: SWAP3 0000246e: AND 0000246f: DUP1 00002470: ISZERO 00002471: PUSH2 0x24ad 00002474: JUMPI 00002475: JUMPDEST 00002476: PUSH1 0x20 00002478: DUP4 00002479: LT 0000247a: EQ 0000247b: PUSH2 0x2480 0000247e: JUMPI 0000247f: JUMP 00002480: JUMPDEST 00002481: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000024a2: PUSH0 000024a3: MSTORE 000024a4: PUSH1 0x22 000024a6: PUSH1 0x04 000024a8: MSTORE 000024a9: PUSH1 0x24 000024ab: PUSH0 000024ac: REVERT 000024ad: JUMPDEST 000024ae: SWAP2 000024af: PUSH1 0x7f 000024b1: AND 000024b2: SWAP2 000024b3: PUSH2 0x2475 000024b6: JUMP 000024b7: JUMPDEST 000024b8: PUSH0 000024b9: SWAP3 000024ba: SWAP2 000024bb: DUP2 000024bc: SLOAD 000024bd: SWAP2 000024be: PUSH2 0x24c6 000024c1: DUP4 000024c2: PUSH2 0x2466 000024c5: JUMP 000024c6: JUMPDEST 000024c7: DUP1 000024c8: DUP4 000024c9: MSTORE 000024ca: SWAP3 000024cb: PUSH1 0x01 000024cd: DUP2 000024ce: AND 000024cf: SWAP1 000024d0: DUP2 000024d1: ISZERO 000024d2: PUSH2 0x251b 000024d5: JUMPI 000024d6: POP 000024d7: PUSH1 0x01 000024d9: EQ 000024da: PUSH2 0x24e2 000024dd: JUMPI 000024de: POP 000024df: POP 000024e0: POP 000024e1: JUMP 000024e2: JUMPDEST 000024e3: PUSH0 000024e4: SWAP1 000024e5: DUP2 000024e6: MSTORE 000024e7: PUSH1 0x20 000024e9: DUP2 000024ea: KECCAK256 000024eb: SWAP4 000024ec: SWAP5 000024ed: POP 000024ee: SWAP2 000024ef: SWAP3 000024f0: JUMPDEST 000024f1: DUP4 000024f2: DUP4 000024f3: LT 000024f4: PUSH2 0x2501 000024f7: JUMPI 000024f8: POP 000024f9: PUSH1 0x20 000024fb: SWAP3 000024fc: POP 000024fd: ADD 000024fe: ADD 000024ff: SWAP1 00002500: JUMP 00002501: JUMPDEST 00002502: PUSH1 0x01 00002504: DUP2 00002505: PUSH1 0x20 00002507: SWAP3 00002508: SWAP5 00002509: SWAP4 0000250a: SWAP5 0000250b: SLOAD 0000250c: DUP4 0000250d: DUP6 0000250e: DUP8 0000250f: ADD 00002510: ADD 00002511: MSTORE 00002512: ADD 00002513: SWAP2 00002514: ADD 00002515: SWAP2 00002516: SWAP1 00002517: PUSH2 0x24f0 0000251a: JUMP 0000251b: JUMPDEST 0000251c: SWAP1 0000251d: POP 0000251e: PUSH1 0x20 00002520: SWAP5 00002521: SWAP6 00002522: POP 00002523: PUSH1 0xff 00002525: NOT 00002526: SWAP2 00002527: POP 00002528: SWAP3 00002529: SWAP2 0000252a: SWAP3 0000252b: AND 0000252c: DUP4 0000252d: DUP4 0000252e: ADD 0000252f: MSTORE 00002530: ISZERO 00002531: ISZERO 00002532: PUSH1 0x05 00002534: SHL 00002535: ADD 00002536: ADD 00002537: SWAP1 00002538: JUMP 00002539: JUMPDEST 0000253a: PUSH1 0xff 0000253c: PUSH1 0x0e 0000253e: SLOAD 0000253f: PUSH1 0xa0 00002541: SHR 00002542: AND 00002543: PUSH1 0x05 00002545: DUP2 00002546: LT 00002547: ISZERO 00002548: PUSH2 0x0804 0000254b: JUMPI 0000254c: ISZERO 0000254d: DUP1 0000254e: ISZERO 0000254f: SWAP1 00002550: PUSH2 0x257d 00002553: JUMPI 00002554: JUMPDEST 00002555: PUSH2 0x2579 00002558: JUMPI 00002559: PUSH1 0x0f 0000255b: SLOAD 0000255c: PUSH1 0x0b 0000255e: SLOAD 0000255f: SWAP1 00002560: DUP1 00002561: DUP3 00002562: GT 00002563: ISZERO 00002564: PUSH2 0x2573 00002567: JUMPI 00002568: PUSH2 0x2570 0000256b: SWAP2 0000256c: PUSH2 0x23eb 0000256f: JUMP 00002570: JUMPDEST 00002571: SWAP1 00002572: JUMP 00002573: JUMPDEST 00002574: POP 00002575: POP 00002576: PUSH0 00002577: SWAP1 00002578: JUMP 00002579: JUMPDEST 0000257a: PUSH0 0000257b: SWAP1 0000257c: JUMP 0000257d: JUMPDEST 0000257e: POP 0000257f: PUSH2 0x2586 00002582: PUSH2 0x2c6b 00002585: JUMP 00002586: JUMPDEST 00002587: ISZERO 00002588: PUSH2 0x2554 0000258b: JUMP 0000258c: JUMPDEST 0000258d: SWAP2 0000258e: SWAP1 0000258f: DUP3 00002590: ADD 00002591: DUP1 00002592: SWAP3 00002593: GT 00002594: PUSH2 0x1823 00002597: JUMPI 00002598: JUMP 00002599: JUMPDEST 0000259a: PUSH1 0x01 0000259c: PUSH1 0x01 0000259e: PUSH1 0xa0 000025a0: SHL 000025a1: SUB 000025a2: SWAP1 000025a3: SWAP3 000025a4: SWAP2 000025a5: SWAP3 000025a6: AND 000025a7: DUP1 000025a8: PUSH0 000025a9: MSTORE 000025aa: PUSH0 000025ab: PUSH1 0x20 000025ad: MSTORE 000025ae: PUSH1 0x40 000025b0: PUSH0 000025b1: KECCAK256 000025b2: SLOAD 000025b3: DUP4 000025b4: GT 000025b5: PUSH2 0x2681 000025b8: JUMPI 000025b9: PUSH0 000025ba: MSTORE 000025bb: PUSH1 0x0d 000025bd: PUSH1 0x20 000025bf: MSTORE 000025c0: PUSH1 0xff 000025c2: PUSH1 0x40 000025c4: PUSH0 000025c5: KECCAK256 000025c6: SLOAD 000025c7: AND 000025c8: DUP1 000025c9: PUSH0 000025ca: EQ 000025cb: PUSH2 0x267c 000025ce: JUMPI 000025cf: PUSH1 0x10 000025d1: SLOAD 000025d2: SWAP3 000025d3: PUSH1 0x40 000025d5: MLOAD 000025d6: SWAP1 000025d7: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000025f8: DUP3 000025f9: MSTORE 000025fa: ADDRESS 000025fb: PUSH1 0x04 000025fd: DUP4 000025fe: ADD 000025ff: MSTORE 00002600: PUSH1 0x20 00002602: DUP3 00002603: PUSH1 0x24 00002605: DUP2 00002606: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7 0000261b: GAS 0000261c: STATICCALL 0000261d: SWAP2 0000261e: DUP3 0000261f: ISZERO 00002620: PUSH2 0x134e 00002623: JUMPI 00002624: PUSH0 00002625: SWAP3 00002626: PUSH2 0x2646 00002629: JUMPI 0000262a: JUMPDEST 0000262b: POP 0000262c: PUSH2 0x2639 0000262f: PUSH2 0x2643 00002632: SWAP3 00002633: DUP7 00002634: DUP4 00002635: PUSH2 0x2c9b 00002638: JUMP 00002639: JUMPDEST 0000263a: SWAP5 0000263b: PUSH1 0x11 0000263d: SLOAD 0000263e: SWAP2 0000263f: PUSH2 0x2c9b 00002642: JUMP 00002643: JUMPDEST 00002644: SWAP2 00002645: JUMP 00002646: JUMPDEST 00002647: SWAP2 00002648: POP 00002649: PUSH1 0x20 0000264b: DUP3 0000264c: RETURNDATASIZE 0000264d: PUSH1 0x20 0000264f: GT 00002650: PUSH2 0x2674 00002653: JUMPI 00002654: JUMPDEST 00002655: DUP2 00002656: PUSH2 0x2661 00002659: PUSH1 0x20 0000265b: SWAP4 0000265c: DUP4 0000265d: PUSH2 0x23f8 00002660: JUMP 00002661: JUMPDEST 00002662: DUP2 00002663: ADD 00002664: SUB 00002665: SLT 00002666: PUSH2 0x02a1 00002669: JUMPI 0000266a: SWAP1 0000266b: MLOAD 0000266c: SWAP1 0000266d: PUSH2 0x2639 00002670: PUSH2 0x262a 00002673: JUMP 00002674: JUMPDEST 00002675: RETURNDATASIZE 00002676: SWAP2 00002677: POP 00002678: PUSH2 0x2654 0000267b: JUMP 0000267c: JUMPDEST 0000267d: PUSH0 0000267e: SWAP3 0000267f: SWAP2 00002680: JUMP 00002681: JUMPDEST 00002682: PUSH32 0xf4d678b800000000000000000000000000000000000000000000000000000000 000026a3: PUSH0 000026a4: MSTORE 000026a5: PUSH1 0x04 000026a7: PUSH0 000026a8: REVERT 000026a9: JUMPDEST 000026aa: PUSH1 0x02 000026ac: PUSH1 0x09 000026ae: SLOAD 000026af: EQ 000026b0: PUSH2 0x26ba 000026b3: JUMPI 000026b4: PUSH1 0x02 000026b6: PUSH1 0x09 000026b8: SSTORE 000026b9: JUMP 000026ba: JUMPDEST 000026bb: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 000026dc: PUSH0 000026dd: MSTORE 000026de: PUSH1 0x04 000026e0: PUSH0 000026e1: REVERT 000026e2: JUMPDEST 000026e3: PUSH1 0x01 000026e5: PUSH1 0x01 000026e7: PUSH1 0xa0 000026e9: SHL 000026ea: SUB 000026eb: SWAP1 000026ec: SWAP3 000026ed: SWAP2 000026ee: SWAP3 000026ef: AND 000026f0: SWAP2 000026f1: DUP3 000026f2: PUSH0 000026f3: MSTORE 000026f4: PUSH1 0x01 000026f6: PUSH1 0x20 000026f8: MSTORE 000026f9: PUSH1 0x40 000026fb: PUSH0 000026fc: KECCAK256 000026fd: PUSH1 0x01 000026ff: PUSH1 0x01 00002701: PUSH1 0xa0 00002703: SHL 00002704: SUB 00002705: DUP3 00002706: AND 00002707: PUSH0 00002708: MSTORE 00002709: PUSH1 0x20 0000270b: MSTORE 0000270c: PUSH1 0x40 0000270e: PUSH0 0000270f: KECCAK256 00002710: SLOAD 00002711: SWAP3 00002712: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002733: DUP5 00002734: LT 00002735: PUSH2 0x273f 00002738: JUMPI 00002739: JUMPDEST 0000273a: POP 0000273b: POP 0000273c: POP 0000273d: POP 0000273e: JUMP 0000273f: JUMPDEST 00002740: DUP3 00002741: DUP5 00002742: LT 00002743: PUSH2 0x27de 00002746: JUMPI 00002747: DUP1 00002748: ISZERO 00002749: PUSH2 0x27b2 0000274c: JUMPI 0000274d: PUSH1 0x01 0000274f: PUSH1 0x01 00002751: PUSH1 0xa0 00002753: SHL 00002754: SUB 00002755: DUP3 00002756: AND 00002757: ISZERO 00002758: PUSH2 0x2786 0000275b: JUMPI 0000275c: PUSH0 0000275d: MSTORE 0000275e: PUSH1 0x01 00002760: PUSH1 0x20 00002762: MSTORE 00002763: PUSH1 0x01 00002765: PUSH1 0x01 00002767: PUSH1 0xa0 00002769: SHL 0000276a: SUB 0000276b: PUSH1 0x40 0000276d: PUSH0 0000276e: KECCAK256 0000276f: SWAP2 00002770: AND 00002771: PUSH0 00002772: MSTORE 00002773: PUSH1 0x20 00002775: MSTORE 00002776: PUSH1 0x40 00002778: PUSH0 00002779: KECCAK256 0000277a: SWAP2 0000277b: SUB 0000277c: SWAP1 0000277d: SSTORE 0000277e: PUSH0 0000277f: DUP1 00002780: DUP1 00002781: DUP1 00002782: PUSH2 0x2739 00002785: JUMP 00002786: JUMPDEST 00002787: PUSH32 0x94280d6200000000000000000000000000000000000000000000000000000000 000027a8: PUSH0 000027a9: MSTORE 000027aa: PUSH0 000027ab: PUSH1 0x04 000027ad: MSTORE 000027ae: PUSH1 0x24 000027b0: PUSH0 000027b1: REVERT 000027b2: JUMPDEST 000027b3: PUSH32 0xe602df0500000000000000000000000000000000000000000000000000000000 000027d4: PUSH0 000027d5: MSTORE 000027d6: PUSH0 000027d7: PUSH1 0x04 000027d9: MSTORE 000027da: PUSH1 0x24 000027dc: PUSH0 000027dd: REVERT 000027de: JUMPDEST 000027df: POP 000027e0: PUSH1 0x01 000027e2: PUSH1 0x01 000027e4: PUSH1 0xa0 000027e6: SHL 000027e7: SUB 000027e8: DUP4 000027e9: SWAP2 000027ea: PUSH32 0xfb8f41b200000000000000000000000000000000000000000000000000000000 0000280b: PUSH0 0000280c: MSTORE 0000280d: AND 0000280e: PUSH1 0x04 00002810: MSTORE 00002811: PUSH1 0x24 00002813: MSTORE 00002814: PUSH1 0x44 00002816: MSTORE 00002817: PUSH1 0x64 00002819: PUSH0 0000281a: REVERT 0000281b: JUMPDEST 0000281c: SWAP1 0000281d: PUSH1 0x01 0000281f: PUSH1 0x01 00002821: PUSH1 0xa0 00002823: SHL 00002824: SUB 00002825: DUP3 00002826: AND 00002827: ISZERO 00002828: PUSH2 0x2836 0000282b: JUMPI 0000282c: PUSH2 0x2834 0000282f: SWAP2 00002830: PUSH2 0x2d82 00002833: JUMP 00002834: JUMPDEST 00002835: JUMP 00002836: JUMPDEST 00002837: PUSH32 0x96c6fd1e00000000000000000000000000000000000000000000000000000000 00002858: PUSH0 00002859: MSTORE 0000285a: PUSH0 0000285b: PUSH1 0x04 0000285d: MSTORE 0000285e: PUSH1 0x24 00002860: PUSH0 00002861: REVERT 00002862: JUMPDEST 00002863: PUSH2 0x2834 00002866: SWAP2 00002867: PUSH1 0x01 00002869: PUSH1 0x01 0000286b: PUSH1 0xa0 0000286d: SHL 0000286e: SUB 0000286f: PUSH1 0x40 00002871: MLOAD 00002872: SWAP3 00002873: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00002894: PUSH1 0x20 00002896: DUP6 00002897: ADD 00002898: MSTORE 00002899: AND 0000289a: PUSH1 0x24 0000289c: DUP4 0000289d: ADD 0000289e: MSTORE 0000289f: PUSH1 0x44 000028a1: DUP3 000028a2: ADD 000028a3: MSTORE 000028a4: PUSH1 0x44 000028a6: DUP2 000028a7: MSTORE 000028a8: PUSH2 0x28b2 000028ab: PUSH1 0x64 000028ad: DUP3 000028ae: PUSH2 0x23f8 000028b1: JUMP 000028b2: JUMPDEST 000028b3: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7 000028c8: PUSH2 0x308a 000028cb: JUMP 000028cc: JUMPDEST 000028cd: PUSH2 0x2834 000028d0: SWAP2 000028d1: PUSH1 0x01 000028d3: PUSH1 0x01 000028d5: PUSH1 0xa0 000028d7: SHL 000028d8: SUB 000028d9: PUSH1 0x40 000028db: MLOAD 000028dc: SWAP3 000028dd: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000028fe: PUSH1 0x20 00002900: DUP6 00002901: ADD 00002902: MSTORE 00002903: AND 00002904: PUSH1 0x24 00002906: DUP4 00002907: ADD 00002908: MSTORE 00002909: PUSH1 0x44 0000290b: DUP3 0000290c: ADD 0000290d: MSTORE 0000290e: PUSH1 0x44 00002910: DUP2 00002911: MSTORE 00002912: PUSH2 0x291c 00002915: PUSH1 0x64 00002917: DUP3 00002918: PUSH2 0x23f8 0000291b: JUMP 0000291c: JUMPDEST 0000291d: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00002932: PUSH2 0x308a 00002935: JUMP 00002936: JUMPDEST 00002937: CALLER 00002938: PUSH0 00002939: SWAP1 0000293a: DUP2 0000293b: MSTORE 0000293c: PUSH32 0x17d1276acf776df712513cd7e943076446ad62eef46fc257e0602ed40109c3c6 0000295d: PUSH1 0x20 0000295f: MSTORE 00002960: PUSH1 0x40 00002962: SWAP1 00002963: KECCAK256 00002964: SLOAD 00002965: PUSH1 0xff 00002967: AND 00002968: ISZERO 00002969: PUSH2 0x296e 0000296c: JUMPI 0000296d: JUMP 0000296e: JUMPDEST 0000296f: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000 00002990: PUSH0 00002991: MSTORE 00002992: CALLER 00002993: PUSH1 0x04 00002995: MSTORE 00002996: PUSH32 0xa49807205ce4d355092ef5a8a18f56e8913cf4a201fbe287825b095693c21775 000029b7: PUSH1 0x24 000029b9: MSTORE 000029ba: PUSH1 0x44 000029bc: PUSH0 000029bd: REVERT 000029be: JUMPDEST 000029bf: DUP1 000029c0: PUSH0 000029c1: MSTORE 000029c2: PUSH1 0x08 000029c4: PUSH1 0x20 000029c6: MSTORE 000029c7: PUSH1 0x40 000029c9: PUSH0 000029ca: KECCAK256 000029cb: PUSH1 0x01 000029cd: PUSH1 0x01 000029cf: PUSH1 0xa0 000029d1: SHL 000029d2: SUB 000029d3: CALLER 000029d4: AND 000029d5: PUSH0 000029d6: MSTORE 000029d7: PUSH1 0x20 000029d9: MSTORE 000029da: PUSH1 0xff 000029dc: PUSH1 0x40 000029de: PUSH0 000029df: KECCAK256 000029e0: SLOAD 000029e1: AND 000029e2: ISZERO 000029e3: PUSH2 0x29e9 000029e6: JUMPI 000029e7: POP 000029e8: JUMP 000029e9: JUMPDEST 000029ea: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000 00002a0b: PUSH0 00002a0c: MSTORE 00002a0d: CALLER 00002a0e: PUSH1 0x04 00002a10: MSTORE 00002a11: PUSH1 0x24 00002a13: MSTORE 00002a14: PUSH1 0x44 00002a16: PUSH0 00002a17: REVERT 00002a18: JUMPDEST 00002a19: SWAP2 00002a1a: SWAP1 00002a1b: PUSH1 0x01 00002a1d: PUSH1 0x01 00002a1f: PUSH1 0xa0 00002a21: SHL 00002a22: SUB 00002a23: DUP4 00002a24: AND 00002a25: ISZERO 00002a26: PUSH2 0x2836 00002a29: JUMPI 00002a2a: PUSH1 0x01 00002a2c: PUSH1 0x01 00002a2e: PUSH1 0xa0 00002a30: SHL 00002a31: SUB 00002a32: DUP2 00002a33: AND 00002a34: ISZERO 00002a35: PUSH2 0x1504 00002a38: JUMPI 00002a39: PUSH2 0x2834 00002a3c: SWAP3 00002a3d: PUSH2 0x2ee9 00002a40: JUMP 00002a41: JUMPDEST 00002a42: DUP1 00002a43: PUSH0 00002a44: MSTORE 00002a45: PUSH1 0x08 00002a47: PUSH1 0x20 00002a49: MSTORE 00002a4a: PUSH1 0x40 00002a4c: PUSH0 00002a4d: KECCAK256 00002a4e: PUSH1 0x01 00002a50: PUSH1 0x01 00002a52: PUSH1 0xa0 00002a54: SHL 00002a55: SUB 00002a56: DUP4 00002a57: AND 00002a58: PUSH0 00002a59: MSTORE 00002a5a: PUSH1 0x20 00002a5c: MSTORE 00002a5d: PUSH1 0xff 00002a5f: PUSH1 0x40 00002a61: PUSH0 00002a62: KECCAK256 00002a63: SLOAD 00002a64: AND 00002a65: ISZERO 00002a66: PUSH0 00002a67: EQ 00002a68: PUSH2 0x2573 00002a6b: JUMPI 00002a6c: DUP1 00002a6d: PUSH0 00002a6e: MSTORE 00002a6f: PUSH1 0x08 00002a71: PUSH1 0x20 00002a73: MSTORE 00002a74: PUSH1 0x40 00002a76: PUSH0 00002a77: KECCAK256 00002a78: PUSH1 0x01 00002a7a: PUSH1 0x01 00002a7c: PUSH1 0xa0 00002a7e: SHL 00002a7f: SUB 00002a80: DUP4 00002a81: AND 00002a82: PUSH0 00002a83: MSTORE 00002a84: PUSH1 0x20 00002a86: MSTORE 00002a87: PUSH1 0x40 00002a89: PUSH0 00002a8a: KECCAK256 00002a8b: PUSH1 0x01 00002a8d: PUSH1 0xff 00002a8f: NOT 00002a90: DUP3 00002a91: SLOAD 00002a92: AND 00002a93: OR 00002a94: SWAP1 00002a95: SSTORE 00002a96: PUSH1 0x01 00002a98: PUSH1 0x01 00002a9a: PUSH1 0xa0 00002a9c: SHL 00002a9d: SUB 00002a9e: CALLER 00002a9f: SWAP3 00002aa0: AND 00002aa1: SWAP1 00002aa2: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00002ac3: PUSH0 00002ac4: DUP1 00002ac5: LOG4 00002ac6: PUSH1 0x01 00002ac8: SWAP1 00002ac9: JUMP 00002aca: JUMPDEST 00002acb: PUSH1 0x01 00002acd: PUSH1 0x01 00002acf: PUSH1 0xa0 00002ad1: SHL 00002ad2: SUB 00002ad3: PUSH32 0x000000000000000000000000d9b2cb2fbad204fc548787ef56b918c845fcce40 00002af4: AND 00002af5: ADDRESS 00002af6: EQ 00002af7: DUP1 00002af8: PUSH2 0x2bbd 00002afb: JUMPI 00002afc: JUMPDEST 00002afd: ISZERO 00002afe: PUSH2 0x2b25 00002b01: JUMPI 00002b02: PUSH32 0x7605fbb00d91182092067186a564a13d1c6f769efe962b9593ee8ffadf6a4b1a 00002b23: SWAP1 00002b24: JUMP 00002b25: JUMPDEST 00002b26: PUSH1 0x40 00002b28: MLOAD 00002b29: PUSH1 0x20 00002b2b: DUP2 00002b2c: ADD 00002b2d: SWAP1 00002b2e: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 00002b4f: DUP3 00002b50: MSTORE 00002b51: PUSH32 0xad59290f61ae72c51129b32a01a9b12d4cce517e3c11f1d71568e4fa40e7e0ef 00002b72: PUSH1 0x40 00002b74: DUP3 00002b75: ADD 00002b76: MSTORE 00002b77: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6 00002b98: PUSH1 0x60 00002b9a: DUP3 00002b9b: ADD 00002b9c: MSTORE 00002b9d: CHAINID 00002b9e: PUSH1 0x80 00002ba0: DUP3 00002ba1: ADD 00002ba2: MSTORE 00002ba3: ADDRESS 00002ba4: PUSH1 0xa0 00002ba6: DUP3 00002ba7: ADD 00002ba8: MSTORE 00002ba9: PUSH1 0xa0 00002bab: DUP2 00002bac: MSTORE 00002bad: PUSH2 0x2bb7 00002bb0: PUSH1 0xc0 00002bb2: DUP3 00002bb3: PUSH2 0x23f8 00002bb6: JUMP 00002bb7: JUMPDEST 00002bb8: MLOAD 00002bb9: SWAP1 00002bba: KECCAK256 00002bbb: SWAP1 00002bbc: JUMP 00002bbd: JUMPDEST 00002bbe: POP 00002bbf: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00002be0: CHAINID 00002be1: EQ 00002be2: PUSH2 0x2afc 00002be5: JUMP 00002be6: JUMPDEST 00002be7: DUP1 00002be8: PUSH0 00002be9: MSTORE 00002bea: PUSH1 0x08 00002bec: PUSH1 0x20 00002bee: MSTORE 00002bef: PUSH1 0x40 00002bf1: PUSH0 00002bf2: KECCAK256 00002bf3: PUSH1 0x01 00002bf5: PUSH1 0x01 00002bf7: PUSH1 0xa0 00002bf9: SHL 00002bfa: SUB 00002bfb: DUP4 00002bfc: AND 00002bfd: PUSH0 00002bfe: MSTORE 00002bff: PUSH1 0x20 00002c01: MSTORE 00002c02: PUSH1 0xff 00002c04: PUSH1 0x40 00002c06: PUSH0 00002c07: KECCAK256 00002c08: SLOAD 00002c09: AND 00002c0a: PUSH0 00002c0b: EQ 00002c0c: PUSH2 0x2573 00002c0f: JUMPI 00002c10: DUP1 00002c11: PUSH0 00002c12: MSTORE 00002c13: PUSH1 0x08 00002c15: PUSH1 0x20 00002c17: MSTORE 00002c18: PUSH1 0x40 00002c1a: PUSH0 00002c1b: KECCAK256 00002c1c: PUSH1 0x01 00002c1e: PUSH1 0x01 00002c20: PUSH1 0xa0 00002c22: SHL 00002c23: SUB 00002c24: DUP4 00002c25: AND 00002c26: PUSH0 00002c27: MSTORE 00002c28: PUSH1 0x20 00002c2a: MSTORE 00002c2b: PUSH1 0x40 00002c2d: PUSH0 00002c2e: KECCAK256 00002c2f: PUSH1 0xff 00002c31: NOT 00002c32: DUP2 00002c33: SLOAD 00002c34: AND 00002c35: SWAP1 00002c36: SSTORE 00002c37: PUSH1 0x01 00002c39: PUSH1 0x01 00002c3b: PUSH1 0xa0 00002c3d: SHL 00002c3e: SUB 00002c3f: CALLER 00002c40: SWAP3 00002c41: AND 00002c42: SWAP1 00002c43: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00002c64: PUSH0 00002c65: DUP1 00002c66: LOG4 00002c67: PUSH1 0x01 00002c69: SWAP1 00002c6a: JUMP 00002c6b: JUMPDEST 00002c6c: PUSH1 0x0a 00002c6e: SLOAD 00002c6f: PUSH8 0xffffffffffffffff 00002c78: DUP2 00002c79: AND 00002c7a: TIMESTAMP 00002c7b: LT 00002c7c: ISZERO 00002c7d: SWAP1 00002c7e: DUP2 00002c7f: PUSH2 0x2c86 00002c82: JUMPI 00002c83: POP 00002c84: SWAP1 00002c85: JUMP 00002c86: JUMPDEST 00002c87: PUSH8 0xffffffffffffffff 00002c90: SWAP2 00002c91: POP 00002c92: PUSH1 0x40 00002c94: SHR 00002c95: AND 00002c96: TIMESTAMP 00002c97: GT 00002c98: ISZERO 00002c99: SWAP1 00002c9a: JUMP 00002c9b: JUMPDEST 00002c9c: SWAP2 00002c9d: DUP2 00002c9e: ISZERO 00002c9f: PUSH2 0x2cab 00002ca2: JUMPI 00002ca3: PUSH2 0x2570 00002ca6: SWAP3 00002ca7: PUSH2 0x32fa 00002caa: JUMP 00002cab: JUMPDEST 00002cac: POP 00002cad: POP 00002cae: POP 00002caf: PUSH0 00002cb0: SWAP1 00002cb1: JUMP 00002cb2: JUMPDEST 00002cb3: PUSH1 0x01 00002cb5: PUSH1 0x01 00002cb7: PUSH1 0xa0 00002cb9: SHL 00002cba: SUB 00002cbb: AND 00002cbc: SWAP1 00002cbd: DUP2 00002cbe: ISZERO 00002cbf: PUSH2 0x27b2 00002cc2: JUMPI 00002cc3: PUSH1 0x01 00002cc5: PUSH1 0x01 00002cc7: PUSH1 0xa0 00002cc9: SHL 00002cca: SUB 00002ccb: AND 00002ccc: SWAP2 00002ccd: DUP3 00002cce: ISZERO 00002ccf: PUSH2 0x2786 00002cd2: JUMPI 00002cd3: PUSH1 0x20 00002cd5: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00002cf6: SWAP2 00002cf7: DUP4 00002cf8: PUSH0 00002cf9: MSTORE 00002cfa: PUSH1 0x01 00002cfc: DUP3 00002cfd: MSTORE 00002cfe: PUSH1 0x40 00002d00: PUSH0 00002d01: KECCAK256 00002d02: DUP6 00002d03: PUSH0 00002d04: MSTORE 00002d05: DUP3 00002d06: MSTORE 00002d07: DUP1 00002d08: PUSH1 0x40 00002d0a: PUSH0 00002d0b: KECCAK256 00002d0c: SSTORE 00002d0d: PUSH1 0x40 00002d0f: MLOAD 00002d10: SWAP1 00002d11: DUP2 00002d12: MSTORE 00002d13: LOG3 00002d14: JUMP 00002d15: JUMPDEST 00002d16: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002d37: PUSH1 0x20 00002d39: PUSH1 0x01 00002d3b: PUSH1 0x01 00002d3d: PUSH1 0xa0 00002d3f: SHL 00002d40: SUB 00002d41: PUSH0 00002d42: SWAP4 00002d43: PUSH2 0x2d4e 00002d46: DUP7 00002d47: PUSH1 0x02 00002d49: SLOAD 00002d4a: PUSH2 0x258c 00002d4d: JUMP 00002d4e: JUMPDEST 00002d4f: PUSH1 0x02 00002d51: SSTORE 00002d52: AND 00002d53: SWAP4 00002d54: DUP5 00002d55: ISZERO 00002d56: DUP5 00002d57: EQ 00002d58: PUSH2 0x2d6d 00002d5b: JUMPI 00002d5c: DUP1 00002d5d: PUSH1 0x02 00002d5f: SLOAD 00002d60: SUB 00002d61: PUSH1 0x02 00002d63: SSTORE 00002d64: JUMPDEST 00002d65: PUSH1 0x40 00002d67: MLOAD 00002d68: SWAP1 00002d69: DUP2 00002d6a: MSTORE 00002d6b: LOG3 00002d6c: JUMP 00002d6d: JUMPDEST 00002d6e: DUP5 00002d6f: DUP5 00002d70: MSTORE 00002d71: DUP4 00002d72: DUP3 00002d73: MSTORE 00002d74: PUSH1 0x40 00002d76: DUP5 00002d77: KECCAK256 00002d78: DUP2 00002d79: DUP2 00002d7a: SLOAD 00002d7b: ADD 00002d7c: SWAP1 00002d7d: SSTORE 00002d7e: PUSH2 0x2d64 00002d81: JUMP 00002d82: JUMPDEST 00002d83: SWAP1 00002d84: SWAP2 00002d85: SWAP1 00002d86: PUSH1 0x01 00002d88: PUSH1 0x01 00002d8a: PUSH1 0xa0 00002d8c: SHL 00002d8d: SUB 00002d8e: AND 00002d8f: DUP1 00002d90: ISZERO 00002d91: DUP1 00002d92: DUP1 00002d93: ISZERO 00002d94: PUSH2 0x2ee1 00002d97: JUMPI 00002d98: JUMPDEST 00002d99: DUP1 00002d9a: ISZERO 00002d9b: PUSH2 0x2e96 00002d9e: JUMPI 00002d9f: JUMPDEST 00002da0: PUSH2 0x2dcb 00002da3: JUMPI 00002da4: PUSH32 0x8574adcf00000000000000000000000000000000000000000000000000000000 00002dc5: PUSH0 00002dc6: MSTORE 00002dc7: PUSH1 0x04 00002dc9: PUSH0 00002dca: REVERT 00002dcb: JUMPDEST 00002dcc: ISZERO 00002dcd: PUSH2 0x2e17 00002dd0: JUMPI 00002dd1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002df2: PUSH1 0x20 00002df4: DUP5 00002df5: PUSH2 0x2e02 00002df8: PUSH0 00002df9: SWAP6 00002dfa: SWAP7 00002dfb: PUSH1 0x02 00002dfd: SLOAD 00002dfe: PUSH2 0x258c 00002e01: JUMP 00002e02: JUMPDEST 00002e03: PUSH1 0x02 00002e05: SSTORE 00002e06: JUMPDEST 00002e07: DUP1 00002e08: PUSH1 0x02 00002e0a: SLOAD 00002e0b: SUB 00002e0c: PUSH1 0x02 00002e0e: SSTORE 00002e0f: PUSH1 0x40 00002e11: MLOAD 00002e12: SWAP1 00002e13: DUP2 00002e14: MSTORE 00002e15: LOG3 00002e16: JUMP 00002e17: JUMPDEST 00002e18: DUP1 00002e19: PUSH0 00002e1a: MSTORE 00002e1b: PUSH0 00002e1c: PUSH1 0x20 00002e1e: MSTORE 00002e1f: PUSH1 0x40 00002e21: PUSH0 00002e22: KECCAK256 00002e23: SLOAD 00002e24: DUP4 00002e25: DUP2 00002e26: LT 00002e27: PUSH2 0x2e63 00002e2a: JUMPI 00002e2b: PUSH1 0x20 00002e2d: DUP5 00002e2e: PUSH0 00002e2f: SWAP5 00002e30: SWAP6 00002e31: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002e52: SWAP4 00002e53: DUP6 00002e54: DUP8 00002e55: MSTORE 00002e56: DUP7 00002e57: DUP5 00002e58: MSTORE 00002e59: SUB 00002e5a: PUSH1 0x40 00002e5c: DUP7 00002e5d: KECCAK256 00002e5e: SSTORE 00002e5f: PUSH2 0x2e06 00002e62: JUMP 00002e63: JUMPDEST 00002e64: SWAP2 00002e65: POP 00002e66: PUSH32 0xe450d38c00000000000000000000000000000000000000000000000000000000 00002e87: PUSH0 00002e88: MSTORE 00002e89: PUSH1 0x04 00002e8b: MSTORE 00002e8c: PUSH1 0x24 00002e8e: MSTORE 00002e8f: PUSH1 0x44 00002e91: MSTORE 00002e92: PUSH1 0x64 00002e94: PUSH0 00002e95: REVERT 00002e96: JUMPDEST 00002e97: POP 00002e98: PUSH1 0xff 00002e9a: PUSH1 0x0e 00002e9c: SLOAD 00002e9d: PUSH1 0xa0 00002e9f: SHR 00002ea0: AND 00002ea1: PUSH1 0x05 00002ea3: DUP2 00002ea4: LT 00002ea5: ISZERO 00002ea6: PUSH2 0x0804 00002ea9: JUMPI 00002eaa: PUSH1 0x03 00002eac: EQ 00002ead: DUP1 00002eae: PUSH2 0x2ecb 00002eb1: JUMPI 00002eb2: JUMPDEST 00002eb3: DUP1 00002eb4: ISZERO 00002eb5: PUSH2 0x2d9f 00002eb8: JUMPI 00002eb9: POP 00002eba: PUSH1 0x01 00002ebc: PUSH1 0x01 00002ebe: PUSH1 0xa0 00002ec0: SHL 00002ec1: SUB 00002ec2: PUSH1 0x0c 00002ec4: SLOAD 00002ec5: AND 00002ec6: ISZERO 00002ec7: PUSH2 0x2d9f 00002eca: JUMP 00002ecb: JUMPDEST 00002ecc: POP 00002ecd: DUP2 00002ece: PUSH0 00002ecf: MSTORE 00002ed0: PUSH1 0x0d 00002ed2: PUSH1 0x20 00002ed4: MSTORE 00002ed5: PUSH1 0xff 00002ed7: PUSH1 0x40 00002ed9: PUSH0 00002eda: KECCAK256 00002edb: SLOAD 00002edc: AND 00002edd: PUSH2 0x2eb2 00002ee0: JUMP 00002ee1: JUMPDEST 00002ee2: POP 00002ee3: PUSH1 0x01 00002ee5: PUSH2 0x2d98 00002ee8: JUMP 00002ee9: JUMPDEST 00002eea: PUSH1 0x01 00002eec: PUSH1 0x01 00002eee: PUSH1 0xa0 00002ef0: SHL 00002ef1: SUB 00002ef2: AND 00002ef3: SWAP1 00002ef4: DUP2 00002ef5: ISZERO 00002ef6: DUP1 00002ef7: DUP1 00002ef8: ISZERO 00002ef9: PUSH2 0x3079 00002efc: JUMPI 00002efd: JUMPDEST 00002efe: DUP1 00002eff: ISZERO 00002f00: PUSH2 0x3024 00002f03: JUMPI 00002f04: JUMPDEST 00002f05: PUSH2 0x2f30 00002f08: JUMPI 00002f09: PUSH32 0x8574adcf00000000000000000000000000000000000000000000000000000000 00002f2a: PUSH0 00002f2b: MSTORE 00002f2c: PUSH1 0x04 00002f2e: PUSH0 00002f2f: REVERT 00002f30: JUMPDEST 00002f31: ISZERO 00002f32: PUSH2 0x2f9e 00002f35: JUMPI 00002f36: PUSH1 0x20 00002f38: PUSH1 0x01 00002f3a: PUSH1 0x01 00002f3c: PUSH1 0xa0 00002f3e: SHL 00002f3f: SUB 00002f40: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002f61: SWAP3 00002f62: PUSH2 0x2f6d 00002f65: DUP7 00002f66: PUSH1 0x02 00002f68: SLOAD 00002f69: PUSH2 0x258c 00002f6c: JUMP 00002f6d: JUMPDEST 00002f6e: PUSH1 0x02 00002f70: SSTORE 00002f71: JUMPDEST 00002f72: AND 00002f73: SWAP4 00002f74: DUP5 00002f75: PUSH2 0x2f89 00002f78: JUMPI 00002f79: DUP1 00002f7a: PUSH1 0x02 00002f7c: SLOAD 00002f7d: SUB 00002f7e: PUSH1 0x02 00002f80: SSTORE 00002f81: PUSH1 0x40 00002f83: MLOAD 00002f84: SWAP1 00002f85: DUP2 00002f86: MSTORE 00002f87: LOG3 00002f88: JUMP 00002f89: JUMPDEST 00002f8a: DUP5 00002f8b: PUSH0 00002f8c: MSTORE 00002f8d: PUSH0 00002f8e: DUP3 00002f8f: MSTORE 00002f90: PUSH1 0x40 00002f92: PUSH0 00002f93: KECCAK256 00002f94: DUP2 00002f95: DUP2 00002f96: SLOAD 00002f97: ADD 00002f98: SWAP1 00002f99: SSTORE 00002f9a: PUSH2 0x2d64 00002f9d: JUMP 00002f9e: JUMPDEST 00002f9f: DUP2 00002fa0: PUSH0 00002fa1: MSTORE 00002fa2: PUSH0 00002fa3: PUSH1 0x20 00002fa5: MSTORE 00002fa6: PUSH1 0x40 00002fa8: PUSH0 00002fa9: KECCAK256 00002faa: SLOAD 00002fab: DUP4 00002fac: DUP2 00002fad: LT 00002fae: PUSH2 0x2ff0 00002fb1: JUMPI 00002fb2: PUSH1 0x01 00002fb4: PUSH1 0x01 00002fb6: PUSH1 0xa0 00002fb8: SHL 00002fb9: SUB 00002fba: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002fdb: SWAP3 00002fdc: DUP6 00002fdd: PUSH1 0x20 00002fdf: SWAP4 00002fe0: DUP7 00002fe1: PUSH0 00002fe2: MSTORE 00002fe3: PUSH0 00002fe4: DUP6 00002fe5: MSTORE 00002fe6: SUB 00002fe7: PUSH1 0x40 00002fe9: PUSH0 00002fea: KECCAK256 00002feb: SSTORE 00002fec: PUSH2 0x2f71 00002fef: JUMP 00002ff0: JUMPDEST 00002ff1: SWAP2 00002ff2: SWAP1 00002ff3: POP 00002ff4: PUSH32 0xe450d38c00000000000000000000000000000000000000000000000000000000 00003015: PUSH0 00003016: MSTORE 00003017: PUSH1 0x04 00003019: MSTORE 0000301a: PUSH1 0x24 0000301c: MSTORE 0000301d: PUSH1 0x44 0000301f: MSTORE 00003020: PUSH1 0x64 00003022: PUSH0 00003023: REVERT 00003024: JUMPDEST 00003025: POP 00003026: PUSH1 0xff 00003028: PUSH1 0x0e 0000302a: SLOAD 0000302b: PUSH1 0xa0 0000302d: SHR 0000302e: AND 0000302f: PUSH1 0x05 00003031: DUP2 00003032: LT 00003033: ISZERO 00003034: PUSH2 0x0804 00003037: JUMPI 00003038: PUSH1 0x03 0000303a: EQ 0000303b: DUP1 0000303c: PUSH2 0x3063 0000303f: JUMPI 00003040: JUMPDEST 00003041: DUP1 00003042: ISZERO 00003043: PUSH2 0x2f04 00003046: JUMPI 00003047: POP 00003048: PUSH1 0x01 0000304a: PUSH1 0x01 0000304c: PUSH1 0xa0 0000304e: SHL 0000304f: SUB 00003050: PUSH1 0x0c 00003052: SLOAD 00003053: AND 00003054: PUSH1 0x01 00003056: PUSH1 0x01 00003058: PUSH1 0xa0 0000305a: SHL 0000305b: SUB 0000305c: DUP4 0000305d: AND 0000305e: EQ 0000305f: PUSH2 0x2f04 00003062: JUMP 00003063: JUMPDEST 00003064: POP 00003065: DUP3 00003066: PUSH0 00003067: MSTORE 00003068: PUSH1 0x0d 0000306a: PUSH1 0x20 0000306c: MSTORE 0000306d: PUSH1 0xff 0000306f: PUSH1 0x40 00003071: PUSH0 00003072: KECCAK256 00003073: SLOAD 00003074: AND 00003075: PUSH2 0x3040 00003078: JUMP 00003079: JUMPDEST 0000307a: POP 0000307b: PUSH1 0x01 0000307d: PUSH1 0x01 0000307f: PUSH1 0xa0 00003081: SHL 00003082: SUB 00003083: DUP3 00003084: AND 00003085: ISZERO 00003086: PUSH2 0x2efd 00003089: JUMP 0000308a: JUMPDEST 0000308b: SWAP1 0000308c: PUSH0 0000308d: PUSH1 0x20 0000308f: SWAP2 00003090: DUP3 00003091: DUP2 00003092: MLOAD 00003093: SWAP2 00003094: ADD 00003095: DUP3 00003096: DUP6 00003097: GAS 00003098: CALL 00003099: ISZERO 0000309a: PUSH2 0x134e 0000309d: JUMPI 0000309e: PUSH0 0000309f: MLOAD 000030a0: RETURNDATASIZE 000030a1: PUSH2 0x30ee 000030a4: JUMPI 000030a5: POP 000030a6: PUSH1 0x01 000030a8: PUSH1 0x01 000030aa: PUSH1 0xa0 000030ac: SHL 000030ad: SUB 000030ae: DUP2 000030af: AND 000030b0: EXTCODESIZE 000030b1: ISZERO 000030b2: JUMPDEST 000030b3: PUSH2 0x30b9 000030b6: JUMPI 000030b7: POP 000030b8: JUMP 000030b9: JUMPDEST 000030ba: PUSH1 0x01 000030bc: PUSH1 0x01 000030be: PUSH1 0xa0 000030c0: SHL 000030c1: SUB 000030c2: SWAP1 000030c3: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000 000030e4: PUSH0 000030e5: MSTORE 000030e6: AND 000030e7: PUSH1 0x04 000030e9: MSTORE 000030ea: PUSH1 0x24 000030ec: PUSH0 000030ed: REVERT 000030ee: JUMPDEST 000030ef: PUSH1 0x01 000030f1: EQ 000030f2: ISZERO 000030f3: PUSH2 0x30b2 000030f6: JUMP 000030f7: JUMPDEST 000030f8: PUSH1 0xff 000030fa: DUP2 000030fb: EQ 000030fc: PUSH2 0x3156 000030ff: JUMPI 00003100: PUSH1 0xff 00003102: DUP2 00003103: AND 00003104: SWAP1 00003105: PUSH1 0x1f 00003107: DUP3 00003108: GT 00003109: PUSH2 0x312e 0000310c: JUMPI 0000310d: PUSH1 0x40 0000310f: MLOAD 00003110: SWAP2 00003111: PUSH2 0x311b 00003114: PUSH1 0x40 00003116: DUP5 00003117: PUSH2 0x23f8 0000311a: JUMP 0000311b: JUMPDEST 0000311c: PUSH1 0x20 0000311e: DUP1 0000311f: DUP5 00003120: MSTORE 00003121: DUP4 00003122: DUP2 00003123: ADD 00003124: SWAP2 00003125: SWAP1 00003126: CALLDATASIZE 00003127: DUP4 00003128: CALLDATACOPY 00003129: DUP4 0000312a: MSTORE 0000312b: MSTORE 0000312c: SWAP1 0000312d: JUMP 0000312e: JUMPDEST 0000312f: PUSH32 0xb3512b0c00000000000000000000000000000000000000000000000000000000 00003150: PUSH0 00003151: MSTORE 00003152: PUSH1 0x04 00003154: PUSH0 00003155: REVERT 00003156: JUMPDEST 00003157: POP 00003158: PUSH1 0x40 0000315a: MLOAD 0000315b: PUSH2 0x2570 0000315e: DUP2 0000315f: PUSH2 0x3169 00003162: DUP2 00003163: PUSH1 0x05 00003165: PUSH2 0x24b7 00003168: JUMP 00003169: JUMPDEST 0000316a: SUB 0000316b: DUP3 0000316c: PUSH2 0x23f8 0000316f: JUMP 00003170: JUMPDEST 00003171: PUSH1 0xff 00003173: DUP2 00003174: EQ 00003175: PUSH2 0x3194 00003178: JUMPI 00003179: PUSH1 0xff 0000317b: DUP2 0000317c: AND 0000317d: SWAP1 0000317e: PUSH1 0x1f 00003180: DUP3 00003181: GT 00003182: PUSH2 0x312e 00003185: JUMPI 00003186: PUSH1 0x40 00003188: MLOAD 00003189: SWAP2 0000318a: PUSH2 0x311b 0000318d: PUSH1 0x40 0000318f: DUP5 00003190: PUSH2 0x23f8 00003193: JUMP 00003194: JUMPDEST 00003195: POP 00003196: PUSH1 0x40 00003198: MLOAD 00003199: PUSH2 0x2570 0000319c: DUP2 0000319d: PUSH2 0x3169 000031a0: DUP2 000031a1: PUSH1 0x06 000031a3: PUSH2 0x24b7 000031a6: JUMP 000031a7: JUMPDEST 000031a8: SWAP2 000031a9: SWAP1 000031aa: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 000031cb: DUP5 000031cc: GT 000031cd: PUSH2 0x321e 000031d0: JUMPI 000031d1: SWAP2 000031d2: PUSH1 0x20 000031d4: SWAP4 000031d5: PUSH1 0x80 000031d7: SWAP3 000031d8: PUSH1 0xff 000031da: PUSH0 000031db: SWAP6 000031dc: PUSH1 0x40 000031de: MLOAD 000031df: SWAP5 000031e0: DUP6 000031e1: MSTORE 000031e2: AND 000031e3: DUP7 000031e4: DUP5 000031e5: ADD 000031e6: MSTORE 000031e7: PUSH1 0x40 000031e9: DUP4 000031ea: ADD 000031eb: MSTORE 000031ec: PUSH1 0x60 000031ee: DUP3 000031ef: ADD 000031f0: MSTORE 000031f1: DUP3 000031f2: DUP1 000031f3: MSTORE 000031f4: PUSH1 0x01 000031f6: GAS 000031f7: STATICCALL 000031f8: ISZERO 000031f9: PUSH2 0x134e 000031fc: JUMPI 000031fd: PUSH0 000031fe: MLOAD 000031ff: PUSH1 0x01 00003201: PUSH1 0x01 00003203: PUSH1 0xa0 00003205: SHL 00003206: SUB 00003207: DUP2 00003208: AND 00003209: ISZERO 0000320a: PUSH2 0x3214 0000320d: JUMPI 0000320e: SWAP1 0000320f: PUSH0 00003210: SWAP1 00003211: PUSH0 00003212: SWAP1 00003213: JUMP 00003214: JUMPDEST 00003215: POP 00003216: PUSH0 00003217: SWAP1 00003218: PUSH1 0x01 0000321a: SWAP1 0000321b: PUSH0 0000321c: SWAP1 0000321d: JUMP 0000321e: JUMPDEST 0000321f: POP 00003220: POP 00003221: POP 00003222: PUSH0 00003223: SWAP2 00003224: PUSH1 0x03 00003226: SWAP2 00003227: SWAP1 00003228: JUMP 00003229: JUMPDEST 0000322a: PUSH1 0x04 0000322c: GT 0000322d: ISZERO 0000322e: PUSH2 0x0804 00003231: JUMPI 00003232: JUMP 00003233: JUMPDEST 00003234: PUSH2 0x323c 00003237: DUP2 00003238: PUSH2 0x3229 0000323b: JUMP 0000323c: JUMPDEST 0000323d: DUP1 0000323e: PUSH2 0x3245 00003241: JUMPI 00003242: POP 00003243: POP 00003244: JUMP 00003245: JUMPDEST 00003246: PUSH2 0x324e 00003249: DUP2 0000324a: PUSH2 0x3229 0000324d: JUMP 0000324e: JUMPDEST 0000324f: PUSH1 0x01 00003251: DUP2 00003252: SUB 00003253: PUSH2 0x327e 00003256: JUMPI 00003257: PUSH32 0xf645eedf00000000000000000000000000000000000000000000000000000000 00003278: PUSH0 00003279: MSTORE 0000327a: PUSH1 0x04 0000327c: PUSH0 0000327d: REVERT 0000327e: JUMPDEST 0000327f: PUSH2 0x3287 00003282: DUP2 00003283: PUSH2 0x3229 00003286: JUMP 00003287: JUMPDEST 00003288: PUSH1 0x02 0000328a: DUP2 0000328b: SUB 0000328c: PUSH2 0x32bb 0000328f: JUMPI 00003290: POP 00003291: PUSH32 0xfce698f700000000000000000000000000000000000000000000000000000000 000032b2: PUSH0 000032b3: MSTORE 000032b4: PUSH1 0x04 000032b6: MSTORE 000032b7: PUSH1 0x24 000032b9: PUSH0 000032ba: REVERT 000032bb: JUMPDEST 000032bc: PUSH1 0x03 000032be: SWAP1 000032bf: PUSH2 0x32c7 000032c2: DUP2 000032c3: PUSH2 0x3229 000032c6: JUMP 000032c7: JUMPDEST 000032c8: EQ 000032c9: PUSH2 0x32cf 000032cc: JUMPI 000032cd: POP 000032ce: JUMP 000032cf: JUMPDEST 000032d0: PUSH32 0xd78bce0c00000000000000000000000000000000000000000000000000000000 000032f1: PUSH0 000032f2: MSTORE 000032f3: PUSH1 0x04 000032f5: MSTORE 000032f6: PUSH1 0x24 000032f8: PUSH0 000032f9: REVERT 000032fa: JUMPDEST 000032fb: SWAP1 000032fc: SWAP2 000032fd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000331e: DUP4 0000331f: DUP4 00003320: MULMOD 00003321: SWAP3 00003322: DUP1 00003323: DUP4 00003324: MUL 00003325: SWAP3 00003326: DUP4 00003327: DUP1 00003328: DUP7 00003329: LT 0000332a: SWAP6 0000332b: SUB 0000332c: SWAP5 0000332d: DUP1 0000332e: DUP7 0000332f: SUB 00003330: SWAP6 00003331: EQ 00003332: PUSH2 0x33aa 00003335: JUMPI 00003336: DUP5 00003337: DUP4 00003338: GT 00003339: ISZERO 0000333a: PUSH2 0x3392 0000333d: JUMPI 0000333e: SWAP1 0000333f: DUP3 00003340: SWAP2 00003341: MULMOD 00003342: DUP2 00003343: PUSH0 00003344: SUB 00003345: DUP3 00003346: AND 00003347: DUP1 00003348: SWAP3 00003349: DIV 0000334a: PUSH1 0x02 0000334c: DUP2 0000334d: PUSH1 0x03 0000334f: MUL 00003350: XOR 00003351: DUP1 00003352: DUP3 00003353: MUL 00003354: PUSH1 0x02 00003356: SUB 00003357: MUL 00003358: DUP1 00003359: DUP3 0000335a: MUL 0000335b: PUSH1 0x02 0000335d: SUB 0000335e: MUL 0000335f: DUP1 00003360: DUP3 00003361: MUL 00003362: PUSH1 0x02 00003364: SUB 00003365: MUL 00003366: DUP1 00003367: DUP3 00003368: MUL 00003369: PUSH1 0x02 0000336b: SUB 0000336c: MUL 0000336d: DUP1 0000336e: DUP3 0000336f: MUL 00003370: PUSH1 0x02 00003372: SUB 00003373: MUL 00003374: DUP1 00003375: SWAP2 00003376: MUL 00003377: PUSH1 0x02 00003379: SUB 0000337a: MUL 0000337b: SWAP4 0000337c: PUSH1 0x01 0000337e: DUP4 0000337f: DUP1 00003380: PUSH0 00003381: SUB 00003382: DIV 00003383: ADD 00003384: SWAP1 00003385: DUP5 00003386: DUP4 00003387: GT 00003388: SWAP1 00003389: SUB 0000338a: MUL 0000338b: SWAP3 0000338c: SUB 0000338d: DIV 0000338e: OR 0000338f: MUL 00003390: SWAP1 00003391: JUMP 00003392: JUMPDEST 00003393: DUP3 00003394: PUSH4 0x4e487b71 00003399: PUSH0 0000339a: MSTORE 0000339b: ISZERO 0000339c: PUSH1 0x03 0000339e: MUL 0000339f: PUSH1 0x11 000033a1: XOR 000033a2: PUSH1 0x20 000033a4: MSTORE 000033a5: PUSH1 0x24 000033a7: PUSH1 0x1c 000033a9: REVERT 000033aa: JUMPDEST 000033ab: POP 000033ac: POP 000033ad: DUP1 000033ae: SWAP3 000033af: POP 000033b0: ISZERO 000033b1: PUSH2 0x33b8 000033b4: JUMPI 000033b5: DIV 000033b6: SWAP1 000033b7: JUMP 000033b8: JUMPDEST 000033b9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000033da: PUSH0 000033db: MSTORE 000033dc: PUSH1 0x12 000033de: PUSH1 0x04 000033e0: MSTORE 000033e1: PUSH1 0x24 000033e3: PUSH0 000033e4: REVERT 000033e5: INVALID 000033e6: LOG1 000033e7: PUSH5 0x736f6c6343 000033ed: STOP 000033ee: ADDMOD 000033ef: SAR 000033f0: STOP 000033f1: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa90ebe4849405e89e7aa91c005f0f032dfbe7fe207f46ab79e1e48e2954f270f
call_targets:
0xd9b2cb2fbad204fc548787ef56b918c845fcce40
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa90ebe4849405e89e7aa91c005f0f032dfbe7fe207f46ab79e1e48e2954f270f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd9b2cb2fbad204fc548787ef56b918c845fcce40"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0359632f",
"selector": "0x0359632f",
"calldata_variants": [
"0x0359632f",
"0x0359632f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x063d11de",
"selector": "0x063d11de",
"calldata_variants": [
"0x063d11de",
"0x063d11de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b26cf66",
"selector": "0x0b26cf66",
"calldata_variants": [
"0x0b26cf66",
"0x0b26cf660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f4e7469",
"selector": "0x0f4e7469",
"calldata_variants": [
"0x0f4e7469",
"0x0f4e74690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12dc5ae6",
"selector": "0x12dc5ae6",
"calldata_variants": [
"0x12dc5ae6",
"0x12dc5ae60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5246,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 12440,
"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: 0xa90ebe4849405e89e7aa91c005f0f032dfbe7fe207f46ab79e1e48e2954f270f
call_targets:
0xd9b2cb2fbad204fc548787ef56b918c845fcce40
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa90ebe4849405e89e7aa91c005f0f032dfbe7fe207f46ab79e1e48e2954f270f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd9b2cb2fbad204fc548787ef56b918c845fcce40"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0359632f",
"selector": "0x0359632f",
"calldata_variants": [
"0x0359632f",
"0x0359632f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x063d11de",
"selector": "0x063d11de",
"calldata_variants": [
"0x063d11de",
"0x063d11de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b26cf66",
"selector": "0x0b26cf66",
"calldata_variants": [
"0x0b26cf66",
"0x0b26cf660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f4e7469",
"selector": "0x0f4e7469",
"calldata_variants": [
"0x0f4e7469",
"0x0f4e74690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12dc5ae6",
"selector": "0x12dc5ae6",
"calldata_variants": [
"0x12dc5ae6",
"0x12dc5ae60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5246,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 12440,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|