4837d646-6835-4a86-be4f-4eb3e8c11ddb
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 |
|---|---|---|---|---|
| 31333 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 110996 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 110997 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 110998 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 110999 | capability.graph | complete | 1 / 3 | 1 week ago |
| 111000 | detector.run | complete | 1 / 3 | 1 week ago |
| 111001 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:977359] OpenAI Codex v0.77.0 (research preview)
[codex:977359] --------
[codex:977359] workdir: /tmp/codex-multi-aj4v_as6
[codex:977359] model: gpt-5.2-codex
[codex:977359] provider: openai
[codex:977359] approval: never
[codex:977359] sandbox: read-only
[codex:977359] reasoning effort: xhigh
[codex:977359] reasoning summaries: auto
[codex:977359] session id: 019b8062-9eb5-7eb0-9a5d-1b2ffa608d0c
[codex:977359] --------
[codex:977359] user
[codex:977359] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:977359]
[codex:977359] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:977359]
[codex:977359] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:977359] - Gas inefficiency, code quality, naming, or best practices
[codex:977359] - Theoretical vulnerabilities without a clear extraction path
[codex:977359] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:977359] - Front-running unless it enables theft beyond MEV
[codex:977359] - DoS, griefing, or issues that don't result in attacker profit
[codex:977359] - Missing events, view function issues, or informational findings
[codex:977359]
[codex:977359] HIGH-VALUE PATTERNS TO HUNT:
[codex:977359] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:977359] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:977359] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:977359] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:977359] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:977359] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:977359] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:977359] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:977359] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:977359]
[codex:977359] For each finding, you MUST provide:
[codex:977359] 1. Exact file and line numbers of vulnerable code
[codex:977359] 2. Step-by-step exploit transaction sequence
[codex:977359] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:977359]
[codex:977359] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:977359]
[codex:977359] Output MUST be valid JSON matching the provided schema.
[codex:977359] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:977359] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:977359] mcp startup: no servers
[codex:977359]
[codex:977359] thinking
[codex:977359] **Preparing to read AUDIT_BUNDLE.txt**
[codex:977359] exec
[codex:977359] /bin/bash -lc ls in /tmp/codex-multi-aj4v_as6 succeeded in 6ms:
[codex:977359] AUDIT_BUNDLE.txt
[codex:977359] codex-output-schema.json
[codex:977359] contracts
[codex:977359] exec
[codex:977359] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:977359]
[codex:977359] ================================================================================
[codex:977359] FILE: contracts/contracts/SuperVerseStaker.sol
[codex:977359] ================================================================================
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359]
[codex:977359] import {
[codex:977359] ReentrancyGuard
[codex:977359] } from "@openzeppelin/contracts/security/ReentrancyGuard.sol";
[codex:977359] import {
[codex:977359] IERC20,
[codex:977359] SafeERC20
[codex:977359] } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:977359]
[codex:977359] import {
[codex:977359] IFee1155
[codex:977359] } from "./interfaces/IFee1155.sol";
[codex:977359] import {
[codex:977359] exec
[codex:977359] /bin/bash -lc "sed -n '1,220p' contracts/contracts/lib/StakerConfig.sol" in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359]
[codex:977359] import {
[codex:977359] EscapeHatch
[codex:977359] } from "./EscapeHatch.sol";
[codex:977359]
[codex:977359] import {
[codex:977359] ItemOrigin
[codex:977359] } from "../interfaces/ISuperVerseStaker.sol";
[codex:977359]
[codex:977359] /**
[codex:977359] Thrown when attempting to set item values with unequal argument arrays lengths.
[codex:977359] */
[codex:977359] error CantConfigureItemValues ();
[codex:977359]
[codex:977359] /**
[codex:977359] @custom:benediction DEVS BENEDICAT ET PROTEGAT CONTRACTVS MEAM
[codex:977359] @title SuperVerseDAO staking contract.
[codex:977359] @author throw; <@0xthrpw>
[codex:977359] exec
[codex:977359] /bin/bash -lc "sed -n '1,220p' contracts/contracts/lib/TypesAndConstants.sol" in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359]
[codex:977359] using ItemsHelper for ItemsById global;
[codex:977359]
[codex:977359] library ItemsHelper {
[codex:977359]
[codex:977359] function add(
[codex:977359] ItemsById storage _items,
[codex:977359] uint256 _tokenId
[codex:977359] ) internal {
[codex:977359] _items.array.push(_tokenId);
[codex:977359] _items.idx[_tokenId] = _items.array.length;
[codex:977359] }
[codex:977359]
[codex:977359] function remove(
[codex:977359] ItemsById storage _items,
[codex:977359] uint256 _tokenId
[codex:977359] ) internal {
[codex:977359]
[codex:977359] exec
[codex:977359] /bin/bash -lc "sed -n '1,240p' contracts/contracts/lib/EscapeHatch.sol" in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359]
[codex:977359] import {
[codex:977359] IERC721
[codex:977359] } from "@openzeppelin/contracts/token/ERC721/IERC721.sol";
[codex:977359] import {
[codex:977359] IERC1155
[codex:977359] } from "@openzeppelin/contracts/token/ERC1155/IERC1155.sol";
[codex:977359] import {
[codex:977359] IERC20,
[codex:977359] SafeERC20
[codex:977359] } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:977359]
[codex:977359] import {
[codex:977359] PermitControl
[codex:977359] } from "./access/PermitControl.sol";
[codex:977359]
[codex:977359] /**
[codex:977359] Thrown in the event that attempting to rescue an asset from the contract
[codex:977359] exec
[codex:977359] /bin/bash -lc "sed -n '1,260p' contracts/contracts/lib/access/PermitControl.sol" in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359]
[codex:977359] import {
[codex:977359] Ownable
[codex:977359] } from "@openzeppelin/contracts/access/Ownable.sol";
[codex:977359] import {
[codex:977359] Address
[codex:977359] } from "@openzeppelin/contracts/utils/Address.sol";
[codex:977359]
[codex:977359] error RightNotSpecified();
[codex:977359] error CallerHasNoAccess();
[codex:977359] error ManagedRightNotSpecified();
[codex:977359]
[codex:977359] /**
[codex:977359] @custom:benediction DEVS BENEDICAT ET PROTEGAT CONTRACTVS MEAM
[codex:977359] @title An advanced permission-management contract.
[codex:977359] @author Tim Clancy <@_Enoch>
[codex:977359]
[codex:977359] This contract allows for a contract owner to delegate specific rights to
[codex:977359]
[codex:977359]
[codex:977359]
[codex:977359] thinking
[codex:977359] **Evaluating staking contract for vulnerabilities**
[codex:977359] thinking
[codex:977359] **Investigating permission and staking edge cases**
[codex:977359]
[codex:977359] I'm piecing together possible risks around permission management, staking on behalf of others, and reward calculations. There are some subtle behaviors with identical constants for manager rights, staking for others resetting timers, and configurable item values affecting power accounting. I’m also looking at how rebase timing and reward distribution might impact fairness, though no clear profit exploit stands out yet. Let's explore these areas carefully to see if anything stands out as an actual vulnerability.
[codex:977359] thinking
[codex:977359] **Preparing final audit conclusion**
[codex:977359]
[codex:977359] After thoroughly analyzing staking mechanics, permission controls, reentrancy protections, and reward calculations, I see no concrete profit-extracting exploit paths. The main risks like staking on behalf or reentrancy appear mitigated by design. I'll summarize this in the required JSON format next.
[codex:977359] codex
[codex:977359] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts after reviewing AUDIT_BUNDLE.txt.","findings":[]}
[codex:977359] tokens used
[codex:977359] 28,068
[codex:977359] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts after reviewing AUDIT_BUNDLE.txt.","findings":[]}
{
"codex": {
"ran_at": "2026-01-02T20:28:29.706679+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths found in the provided contracts after reviewing AUDIT_BUNDLE.txt.",
"raw_final": {
"summary": "No concrete, exploitable profit paths found in the provided contracts after reviewing AUDIT_BUNDLE.txt.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01fd 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8456cb59 00000019: GT 0000001a: PUSH2 0x010d 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc3398f89 00000024: GT 00000025: PUSH2 0x00a0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdb3ad22c 0000002f: GT 00000030: PUSH2 0x006f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdb3ad22c 0000003a: EQ 0000003b: PUSH2 0x0697 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xeff3b3a3 00000045: EQ 00000046: PUSH2 0x06ad 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf23a6e61 00000050: EQ 00000051: PUSH2 0x06e1 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0726 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf5e63937 00000066: EQ 00000067: PUSH2 0x0746 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xc3398f89 00000076: EQ 00000077: PUSH2 0x0603 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xcc2af308 00000081: EQ 00000082: PUSH2 0x0637 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xcf64d4c2 0000008c: EQ 0000008d: PUSH2 0x0657 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xd5905dfb 00000097: EQ 00000098: PUSH2 0x0677 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0xaf14052c 000000a7: GT 000000a8: PUSH2 0x00dc 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xaf14052c 000000b2: EQ 000000b3: PUSH2 0x0569 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xb0392a39 000000bd: EQ 000000be: PUSH2 0x057e 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xb7b469aa 000000c8: EQ 000000c9: PUSH2 0x059e 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xbc197c81 000000d3: EQ 000000d4: PUSH2 0x05be 000000d7: JUMPI 000000d8: PUSH1 0x00 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH4 0x8456cb59 000000e3: EQ 000000e4: PUSH2 0x04e9 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x8da5cb5b 000000ee: EQ 000000ef: PUSH2 0x04fe 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x96843e3b 000000f9: EQ 000000fa: PUSH2 0x051c 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x99f853a5 00000104: EQ 00000105: PUSH2 0x053c 00000108: JUMPI 00000109: PUSH1 0x00 0000010b: DUP1 0000010c: REVERT 0000010d: JUMPDEST 0000010e: DUP1 0000010f: PUSH4 0x4e71d92d 00000114: GT 00000115: PUSH2 0x0190 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x66a0e54d 0000011f: GT 00000120: PUSH2 0x015f 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x66a0e54d 0000012a: EQ 0000012b: PUSH2 0x040e 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x715018a6 00000135: EQ 00000136: PUSH2 0x045c 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x736beb2b 00000140: EQ 00000141: PUSH2 0x0471 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x7fba744e 0000014b: EQ 0000014c: PUSH2 0x0487 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x82bfefc8 00000156: EQ 00000157: PUSH2 0x049d 0000015a: JUMPI 0000015b: PUSH1 0x00 0000015d: DUP1 0000015e: REVERT 0000015f: JUMPDEST 00000160: DUP1 00000161: PUSH4 0x4e71d92d 00000166: EQ 00000167: PUSH2 0x039a 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x4e745f1f 00000171: EQ 00000172: PUSH2 0x03af 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x56fecc8e 0000017c: EQ 0000017d: PUSH2 0x03e2 00000180: JUMPI 00000181: DUP1 00000182: PUSH4 0x655bc69f 00000187: EQ 00000188: PUSH2 0x03f8 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: DUP1 00000192: PUSH4 0x228cb733 00000197: GT 00000198: PUSH2 0x01cc 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x228cb733 000001a2: EQ 000001a3: PUSH2 0x02f4 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x2d727712 000001ad: EQ 000001ae: PUSH2 0x030a 000001b1: JUMPI 000001b2: DUP1 000001b3: PUSH4 0x30d4639e 000001b8: EQ 000001b9: PUSH2 0x032c 000001bc: JUMPI 000001bd: DUP1 000001be: PUSH4 0x3f4ba83a 000001c3: EQ 000001c4: PUSH2 0x0385 000001c7: JUMPI 000001c8: PUSH1 0x00 000001ca: DUP1 000001cb: REVERT 000001cc: JUMPDEST 000001cd: DUP1 000001ce: PUSH4 0x066fd899 000001d3: EQ 000001d4: PUSH2 0x023e 000001d7: JUMPI 000001d8: DUP1 000001d9: PUSH4 0x09532200 000001de: EQ 000001df: PUSH2 0x0271 000001e2: JUMPI 000001e3: DUP1 000001e4: PUSH4 0x0a171df8 000001e9: EQ 000001ea: PUSH2 0x0287 000001ed: JUMPI 000001ee: DUP1 000001ef: PUSH4 0x150b7a02 000001f4: EQ 000001f5: PUSH2 0x02bb 000001f8: JUMPI 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: REVERT 000001fd: JUMPDEST 000001fe: CALLDATASIZE 000001ff: PUSH2 0x0239 00000202: JUMPI 00000203: PUSH1 0x40 00000205: MLOAD 00000206: CALLVALUE 00000207: DUP2 00000208: MSTORE 00000209: CALLER 0000020a: SWAP1 0000020b: PUSH32 0xda8220a878ff7a89474ccffdaa31ea1ed1ffbb0207d5051afccc4fbaf81f9bcd 0000022c: SWAP1 0000022d: PUSH1 0x20 0000022f: ADD 00000230: PUSH1 0x40 00000232: MLOAD 00000233: DUP1 00000234: SWAP2 00000235: SUB 00000236: SWAP1 00000237: LOG2 00000238: STOP 00000239: JUMPDEST 0000023a: PUSH1 0x00 0000023c: DUP1 0000023d: REVERT 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: DUP1 00000241: ISZERO 00000242: PUSH2 0x024a 00000245: JUMPI 00000246: PUSH1 0x00 00000248: DUP1 00000249: REVERT 0000024a: JUMPDEST 0000024b: POP 0000024c: PUSH2 0x025e 0000024f: PUSH2 0x0259 00000252: CALLDATASIZE 00000253: PUSH1 0x04 00000255: PUSH2 0x240f 00000258: JUMP 00000259: JUMPDEST 0000025a: PUSH2 0x075c 0000025d: JUMP 0000025e: JUMPDEST 0000025f: PUSH1 0x40 00000261: MLOAD 00000262: SWAP1 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x20 00000267: ADD 00000268: JUMPDEST 00000269: PUSH1 0x40 0000026b: MLOAD 0000026c: DUP1 0000026d: SWAP2 0000026e: SUB 0000026f: SWAP1 00000270: RETURN 00000271: JUMPDEST 00000272: CALLVALUE 00000273: DUP1 00000274: ISZERO 00000275: PUSH2 0x027d 00000278: JUMPI 00000279: PUSH1 0x00 0000027b: DUP1 0000027c: REVERT 0000027d: JUMPDEST 0000027e: POP 0000027f: PUSH2 0x025e 00000282: PUSH1 0x0e 00000284: SLOAD 00000285: DUP2 00000286: JUMP 00000287: JUMPDEST 00000288: CALLVALUE 00000289: DUP1 0000028a: ISZERO 0000028b: PUSH2 0x0293 0000028e: JUMPI 0000028f: PUSH1 0x00 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: POP 00000295: PUSH2 0x025e 00000298: PUSH32 0x0000000000000000000000000000000000000000000000000000000003c26703 000002b9: DUP2 000002ba: JUMP 000002bb: JUMPDEST 000002bc: CALLVALUE 000002bd: DUP1 000002be: ISZERO 000002bf: PUSH2 0x02c7 000002c2: JUMPI 000002c3: PUSH1 0x00 000002c5: DUP1 000002c6: REVERT 000002c7: JUMPDEST 000002c8: POP 000002c9: PUSH2 0x02db 000002cc: PUSH2 0x02d6 000002cf: CALLDATASIZE 000002d0: PUSH1 0x04 000002d2: PUSH2 0x24e8 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH2 0x07c4 000002da: JUMP 000002db: JUMPDEST 000002dc: PUSH1 0x40 000002de: MLOAD 000002df: PUSH1 0x01 000002e1: PUSH1 0x01 000002e3: PUSH1 0xe0 000002e5: SHL 000002e6: SUB 000002e7: NOT 000002e8: SWAP1 000002e9: SWAP2 000002ea: AND 000002eb: DUP2 000002ec: MSTORE 000002ed: PUSH1 0x20 000002ef: ADD 000002f0: PUSH2 0x0268 000002f3: JUMP 000002f4: JUMPDEST 000002f5: CALLVALUE 000002f6: DUP1 000002f7: ISZERO 000002f8: PUSH2 0x0300 000002fb: JUMPI 000002fc: PUSH1 0x00 000002fe: DUP1 000002ff: REVERT 00000300: JUMPDEST 00000301: POP 00000302: PUSH2 0x025e 00000305: PUSH1 0x0a 00000307: SLOAD 00000308: DUP2 00000309: JUMP 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: DUP1 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: PUSH2 0x032a 0000031b: PUSH2 0x0325 0000031e: CALLDATASIZE 0000031f: PUSH1 0x04 00000321: PUSH2 0x259c 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH2 0x07ee 00000329: JUMP 0000032a: JUMPDEST 0000032b: STOP 0000032c: JUMPDEST 0000032d: CALLVALUE 0000032e: DUP1 0000032f: ISZERO 00000330: PUSH2 0x0338 00000333: JUMPI 00000334: PUSH1 0x00 00000336: DUP1 00000337: REVERT 00000338: JUMPDEST 00000339: POP 0000033a: PUSH2 0x036d 0000033d: PUSH2 0x0347 00000340: CALLDATASIZE 00000341: PUSH1 0x04 00000343: PUSH2 0x2605 00000346: JUMP 00000347: JUMPDEST 00000348: PUSH1 0x06 0000034a: PUSH1 0x20 0000034c: SWAP1 0000034d: DUP2 0000034e: MSTORE 0000034f: PUSH1 0x00 00000351: SWAP3 00000352: DUP4 00000353: MSTORE 00000354: PUSH1 0x40 00000356: DUP1 00000357: DUP5 00000358: KECCAK256 00000359: SWAP1 0000035a: SWAP2 0000035b: MSTORE 0000035c: SWAP1 0000035d: DUP3 0000035e: MSTORE 0000035f: SWAP1 00000360: KECCAK256 00000361: SLOAD 00000362: PUSH1 0x01 00000364: PUSH1 0x01 00000366: PUSH1 0x80 00000368: SHL 00000369: SUB 0000036a: AND 0000036b: DUP2 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH1 0x40 00000370: MLOAD 00000371: PUSH1 0x01 00000373: PUSH1 0x01 00000375: PUSH1 0x80 00000377: SHL 00000378: SUB 00000379: SWAP1 0000037a: SWAP2 0000037b: AND 0000037c: DUP2 0000037d: MSTORE 0000037e: PUSH1 0x20 00000380: ADD 00000381: PUSH2 0x0268 00000384: JUMP 00000385: JUMPDEST 00000386: CALLVALUE 00000387: DUP1 00000388: ISZERO 00000389: PUSH2 0x0391 0000038c: JUMPI 0000038d: PUSH1 0x00 0000038f: DUP1 00000390: REVERT 00000391: JUMPDEST 00000392: POP 00000393: PUSH2 0x032a 00000396: PUSH2 0x08ea 00000399: JUMP 0000039a: JUMPDEST 0000039b: CALLVALUE 0000039c: DUP1 0000039d: ISZERO 0000039e: PUSH2 0x03a6 000003a1: JUMPI 000003a2: PUSH1 0x00 000003a4: DUP1 000003a5: REVERT 000003a6: JUMPDEST 000003a7: POP 000003a8: PUSH2 0x032a 000003ab: PUSH2 0x0985 000003ae: JUMP 000003af: JUMPDEST 000003b0: CALLVALUE 000003b1: DUP1 000003b2: ISZERO 000003b3: PUSH2 0x03bb 000003b6: JUMPI 000003b7: PUSH1 0x00 000003b9: DUP1 000003ba: REVERT 000003bb: JUMPDEST 000003bc: POP 000003bd: PUSH2 0x03cf 000003c0: PUSH2 0x03ca 000003c3: CALLDATASIZE 000003c4: PUSH1 0x04 000003c6: PUSH2 0x240f 000003c9: JUMP 000003ca: JUMPDEST 000003cb: PUSH2 0x09a1 000003ce: JUMP 000003cf: JUMPDEST 000003d0: PUSH1 0x40 000003d2: MLOAD 000003d3: PUSH2 0x0268 000003d6: SWAP8 000003d7: SWAP7 000003d8: SWAP6 000003d9: SWAP5 000003da: SWAP4 000003db: SWAP3 000003dc: SWAP2 000003dd: SWAP1 000003de: PUSH2 0x266a 000003e1: JUMP 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: DUP1 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: PUSH2 0x025e 000003f3: PUSH1 0x05 000003f5: SLOAD 000003f6: DUP2 000003f7: JUMP 000003f8: JUMPDEST 000003f9: CALLVALUE 000003fa: DUP1 000003fb: ISZERO 000003fc: PUSH2 0x0404 000003ff: JUMPI 00000400: PUSH1 0x00 00000402: DUP1 00000403: REVERT 00000404: JUMPDEST 00000405: POP 00000406: PUSH2 0x025e 00000409: PUSH1 0x0c 0000040b: SLOAD 0000040c: DUP2 0000040d: JUMP 0000040e: JUMPDEST 0000040f: CALLVALUE 00000410: DUP1 00000411: ISZERO 00000412: PUSH2 0x041a 00000415: JUMPI 00000416: PUSH1 0x00 00000418: DUP1 00000419: REVERT 0000041a: JUMPDEST 0000041b: POP 0000041c: PUSH2 0x025e 0000041f: PUSH2 0x0429 00000422: CALLDATASIZE 00000423: PUSH1 0x04 00000425: PUSH2 0x26bb 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH1 0x01 0000042c: PUSH1 0x01 0000042e: PUSH1 0xa0 00000430: SHL 00000431: SUB 00000432: DUP4 00000433: AND 00000434: PUSH1 0x00 00000436: SWAP1 00000437: DUP2 00000438: MSTORE 00000439: PUSH1 0x01 0000043b: PUSH1 0x20 0000043d: SWAP1 0000043e: DUP2 0000043f: MSTORE 00000440: PUSH1 0x40 00000442: DUP1 00000443: DUP4 00000444: KECCAK256 00000445: DUP6 00000446: DUP5 00000447: MSTORE 00000448: DUP3 00000449: MSTORE 0000044a: DUP1 0000044b: DUP4 0000044c: KECCAK256 0000044d: DUP5 0000044e: DUP5 0000044f: MSTORE 00000450: SWAP1 00000451: SWAP2 00000452: MSTORE 00000453: SWAP1 00000454: KECCAK256 00000455: SLOAD 00000456: SWAP4 00000457: SWAP3 00000458: POP 00000459: POP 0000045a: POP 0000045b: JUMP 0000045c: JUMPDEST 0000045d: CALLVALUE 0000045e: DUP1 0000045f: ISZERO 00000460: PUSH2 0x0468 00000463: JUMPI 00000464: PUSH1 0x00 00000466: DUP1 00000467: REVERT 00000468: JUMPDEST 00000469: POP 0000046a: PUSH2 0x032a 0000046d: PUSH2 0x0aa4 00000470: JUMP 00000471: JUMPDEST 00000472: CALLVALUE 00000473: DUP1 00000474: ISZERO 00000475: PUSH2 0x047d 00000478: JUMPI 00000479: PUSH1 0x00 0000047b: DUP1 0000047c: REVERT 0000047d: JUMPDEST 0000047e: POP 0000047f: PUSH2 0x025e 00000482: PUSH1 0x0d 00000484: SLOAD 00000485: DUP2 00000486: JUMP 00000487: JUMPDEST 00000488: CALLVALUE 00000489: DUP1 0000048a: ISZERO 0000048b: PUSH2 0x0493 0000048e: JUMPI 0000048f: PUSH1 0x00 00000491: DUP1 00000492: REVERT 00000493: JUMPDEST 00000494: POP 00000495: PUSH2 0x025e 00000498: PUSH1 0x04 0000049a: SLOAD 0000049b: DUP2 0000049c: JUMP 0000049d: JUMPDEST 0000049e: CALLVALUE 0000049f: DUP1 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: PUSH2 0x04d1 000004ae: PUSH32 0x000000000000000000000000e53ec727dbdeb9e2d5456c3be40cff031ab40a55 000004cf: DUP2 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH1 0x40 000004d4: MLOAD 000004d5: PUSH1 0x01 000004d7: PUSH1 0x01 000004d9: PUSH1 0xa0 000004db: SHL 000004dc: SUB 000004dd: SWAP1 000004de: SWAP2 000004df: AND 000004e0: DUP2 000004e1: MSTORE 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: PUSH2 0x0268 000004e8: JUMP 000004e9: JUMPDEST 000004ea: CALLVALUE 000004eb: DUP1 000004ec: ISZERO 000004ed: PUSH2 0x04f5 000004f0: JUMPI 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: REVERT 000004f5: JUMPDEST 000004f6: POP 000004f7: PUSH2 0x032a 000004fa: PUSH2 0x0ab6 000004fd: JUMP 000004fe: JUMPDEST 000004ff: CALLVALUE 00000500: DUP1 00000501: ISZERO 00000502: PUSH2 0x050a 00000505: JUMPI 00000506: PUSH1 0x00 00000508: DUP1 00000509: REVERT 0000050a: JUMPDEST 0000050b: POP 0000050c: PUSH1 0x00 0000050e: SLOAD 0000050f: PUSH1 0x01 00000511: PUSH1 0x01 00000513: PUSH1 0xa0 00000515: SHL 00000516: SUB 00000517: AND 00000518: PUSH2 0x04d1 0000051b: JUMP 0000051c: JUMPDEST 0000051d: CALLVALUE 0000051e: DUP1 0000051f: ISZERO 00000520: PUSH2 0x0528 00000523: JUMPI 00000524: PUSH1 0x00 00000526: DUP1 00000527: REVERT 00000528: JUMPDEST 00000529: POP 0000052a: PUSH2 0x032a 0000052d: PUSH2 0x0537 00000530: CALLDATASIZE 00000531: PUSH1 0x04 00000533: PUSH2 0x277d 00000536: JUMP 00000537: JUMPDEST 00000538: PUSH2 0x0b4d 0000053b: JUMP 0000053c: JUMPDEST 0000053d: CALLVALUE 0000053e: DUP1 0000053f: ISZERO 00000540: PUSH2 0x0548 00000543: JUMPI 00000544: PUSH1 0x00 00000546: DUP1 00000547: REVERT 00000548: JUMPDEST 00000549: POP 0000054a: PUSH2 0x025e 0000054d: PUSH2 0x0557 00000550: CALLDATASIZE 00000551: PUSH1 0x04 00000553: PUSH2 0x240f 00000556: JUMP 00000557: JUMPDEST 00000558: PUSH1 0x07 0000055a: PUSH1 0x20 0000055c: MSTORE 0000055d: PUSH1 0x00 0000055f: SWAP1 00000560: DUP2 00000561: MSTORE 00000562: PUSH1 0x40 00000564: SWAP1 00000565: KECCAK256 00000566: SLOAD 00000567: DUP2 00000568: JUMP 00000569: JUMPDEST 0000056a: CALLVALUE 0000056b: DUP1 0000056c: ISZERO 0000056d: PUSH2 0x0575 00000570: JUMPI 00000571: PUSH1 0x00 00000573: DUP1 00000574: REVERT 00000575: JUMPDEST 00000576: POP 00000577: PUSH2 0x032a 0000057a: PUSH2 0x0cae 0000057d: JUMP 0000057e: JUMPDEST 0000057f: CALLVALUE 00000580: DUP1 00000581: ISZERO 00000582: PUSH2 0x058a 00000585: JUMPI 00000586: PUSH1 0x00 00000588: DUP1 00000589: REVERT 0000058a: JUMPDEST 0000058b: POP 0000058c: PUSH2 0x032a 0000058f: PUSH2 0x0599 00000592: CALLDATASIZE 00000593: PUSH1 0x04 00000595: PUSH2 0x285d 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH2 0x0cf7 0000059d: JUMP 0000059e: JUMPDEST 0000059f: CALLVALUE 000005a0: DUP1 000005a1: ISZERO 000005a2: PUSH2 0x05aa 000005a5: JUMPI 000005a6: PUSH1 0x00 000005a8: DUP1 000005a9: REVERT 000005aa: JUMPDEST 000005ab: POP 000005ac: PUSH2 0x032a 000005af: PUSH2 0x05b9 000005b2: CALLDATASIZE 000005b3: PUSH1 0x04 000005b5: PUSH2 0x28a9 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH2 0x0e1e 000005bd: JUMP 000005be: JUMPDEST 000005bf: CALLVALUE 000005c0: DUP1 000005c1: ISZERO 000005c2: PUSH2 0x05ca 000005c5: JUMPI 000005c6: PUSH1 0x00 000005c8: DUP1 000005c9: REVERT 000005ca: JUMPDEST 000005cb: POP 000005cc: PUSH2 0x02db 000005cf: PUSH2 0x05d9 000005d2: CALLDATASIZE 000005d3: PUSH1 0x04 000005d5: PUSH2 0x291e 000005d8: JUMP 000005d9: JUMPDEST 000005da: PUSH32 0xbc197c819b3e337a6f9652dd10becd7eef83032af3b9d958d3d42f6694146621 000005fb: SWAP6 000005fc: SWAP5 000005fd: POP 000005fe: POP 000005ff: POP 00000600: POP 00000601: POP 00000602: JUMP 00000603: JUMPDEST 00000604: CALLVALUE 00000605: DUP1 00000606: ISZERO 00000607: PUSH2 0x060f 0000060a: JUMPI 0000060b: PUSH1 0x00 0000060d: DUP1 0000060e: REVERT 0000060f: JUMPDEST 00000610: POP 00000611: PUSH2 0x04d1 00000614: PUSH32 0x000000000000000000000000e4597f9182ba947f7f3bf8cbc6562285751d5aee 00000635: DUP2 00000636: JUMP 00000637: JUMPDEST 00000638: CALLVALUE 00000639: DUP1 0000063a: ISZERO 0000063b: PUSH2 0x0643 0000063e: JUMPI 0000063f: PUSH1 0x00 00000641: DUP1 00000642: REVERT 00000643: JUMPDEST 00000644: POP 00000645: PUSH2 0x032a 00000648: PUSH2 0x0652 0000064b: CALLDATASIZE 0000064c: PUSH1 0x04 0000064e: PUSH2 0x29c8 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH2 0x12df 00000656: JUMP 00000657: JUMPDEST 00000658: CALLVALUE 00000659: DUP1 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: POP 00000665: PUSH2 0x032a 00000668: PUSH2 0x0672 0000066b: CALLDATASIZE 0000066c: PUSH1 0x04 0000066e: PUSH2 0x29ea 00000671: JUMP 00000672: JUMPDEST 00000673: PUSH2 0x13a2 00000676: JUMP 00000677: JUMPDEST 00000678: CALLVALUE 00000679: DUP1 0000067a: ISZERO 0000067b: PUSH2 0x0683 0000067e: JUMPI 0000067f: PUSH1 0x00 00000681: DUP1 00000682: REVERT 00000683: JUMPDEST 00000684: POP 00000685: PUSH2 0x032a 00000688: PUSH2 0x0692 0000068b: CALLDATASIZE 0000068c: PUSH1 0x04 0000068e: PUSH2 0x2a23 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH2 0x14a4 00000696: JUMP 00000697: JUMPDEST 00000698: CALLVALUE 00000699: DUP1 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: POP 000006a5: PUSH2 0x025e 000006a8: PUSH1 0x0f 000006aa: SLOAD 000006ab: DUP2 000006ac: JUMP 000006ad: JUMPDEST 000006ae: CALLVALUE 000006af: DUP1 000006b0: ISZERO 000006b1: PUSH2 0x06b9 000006b4: JUMPI 000006b5: PUSH1 0x00 000006b7: DUP1 000006b8: REVERT 000006b9: JUMPDEST 000006ba: POP 000006bb: PUSH2 0x04d1 000006be: PUSH32 0x000000000000000000000000afb44cef938b1be600a4331bf9904f6cec2fcac3 000006df: DUP2 000006e0: JUMP 000006e1: JUMPDEST 000006e2: CALLVALUE 000006e3: DUP1 000006e4: ISZERO 000006e5: PUSH2 0x06ed 000006e8: JUMPI 000006e9: PUSH1 0x00 000006eb: DUP1 000006ec: REVERT 000006ed: JUMPDEST 000006ee: POP 000006ef: PUSH2 0x02db 000006f2: PUSH2 0x06fc 000006f5: CALLDATASIZE 000006f6: PUSH1 0x04 000006f8: PUSH2 0x2a3c 000006fb: JUMP 000006fc: JUMPDEST 000006fd: PUSH32 0xf23a6e612e1ff4830e658fe43f4e3cb4a5f8170bd5d9e69fb5d7a7fa9e4fdf97 0000071e: SWAP6 0000071f: SWAP5 00000720: POP 00000721: POP 00000722: POP 00000723: POP 00000724: POP 00000725: JUMP 00000726: JUMPDEST 00000727: CALLVALUE 00000728: DUP1 00000729: ISZERO 0000072a: PUSH2 0x0732 0000072d: JUMPI 0000072e: PUSH1 0x00 00000730: DUP1 00000731: REVERT 00000732: JUMPDEST 00000733: POP 00000734: PUSH2 0x032a 00000737: PUSH2 0x0741 0000073a: CALLDATASIZE 0000073b: PUSH1 0x04 0000073d: PUSH2 0x240f 00000740: JUMP 00000741: JUMPDEST 00000742: PUSH2 0x152e 00000745: JUMP 00000746: JUMPDEST 00000747: CALLVALUE 00000748: DUP1 00000749: ISZERO 0000074a: PUSH2 0x0752 0000074d: JUMPI 0000074e: PUSH1 0x00 00000750: DUP1 00000751: REVERT 00000752: JUMPDEST 00000753: POP 00000754: PUSH2 0x025e 00000757: PUSH1 0x0b 00000759: SLOAD 0000075a: DUP2 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH1 0x0e 0000075f: SLOAD 00000760: PUSH1 0x00 00000762: SWAP1 00000763: DUP2 00000764: PUSH2 0x076b 00000767: PUSH2 0x15a7 0000076a: JUMP 0000076b: JUMPDEST 0000076c: SWAP1 0000076d: POP 0000076e: PUSH1 0x00 00000770: PUSH1 0x0c 00000772: SLOAD 00000773: DUP3 00000774: PUSH2 0x077d 00000777: SWAP2 00000778: SWAP1 00000779: PUSH2 0x2ab7 0000077c: JUMP 0000077d: JUMPDEST 0000077e: PUSH1 0x0f 00000780: SLOAD 00000781: SWAP1 00000782: SWAP2 00000783: POP 00000784: ISZERO 00000785: PUSH2 0x07b1 00000788: JUMPI 00000789: PUSH1 0x0f 0000078b: SLOAD 0000078c: PUSH2 0x079a 0000078f: PUSH5 0xe8d4a51000 00000795: DUP4 00000796: PUSH2 0x2aca 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH2 0x07a4 0000079e: SWAP2 0000079f: SWAP1 000007a0: PUSH2 0x2ae1 000007a3: JUMP 000007a4: JUMPDEST 000007a5: PUSH2 0x07ae 000007a8: SWAP1 000007a9: DUP5 000007aa: PUSH2 0x2b03 000007ad: JUMP 000007ae: JUMPDEST 000007af: SWAP3 000007b0: POP 000007b1: JUMPDEST 000007b2: PUSH2 0x07bb 000007b5: DUP6 000007b6: DUP5 000007b7: PUSH2 0x1601 000007ba: JUMP 000007bb: JUMPDEST 000007bc: SWAP6 000007bd: SWAP5 000007be: POP 000007bf: POP 000007c0: POP 000007c1: POP 000007c2: POP 000007c3: JUMP 000007c4: JUMPDEST 000007c5: PUSH32 0x150b7a023d4804d13e8c85fb27262cb750cf6ba9f9dd3bb30d90f482ceeb4b1f 000007e6: JUMPDEST 000007e7: SWAP5 000007e8: SWAP4 000007e9: POP 000007ea: POP 000007eb: POP 000007ec: POP 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH2 0x07f6 000007f2: PUSH2 0x165f 000007f5: JUMP 000007f6: JUMPDEST 000007f7: DUP4 000007f8: ISZERO 000007f9: DUP1 000007fa: ISZERO 000007fb: PUSH2 0x0802 000007fe: JUMPI 000007ff: POP 00000800: DUP1 00000801: ISZERO 00000802: JUMPDEST 00000803: ISZERO 00000804: PUSH2 0x0820 00000807: JUMPI 00000808: PUSH1 0x40 0000080a: MLOAD 0000080b: PUSH4 0x0b9cddcd 00000810: PUSH1 0xe1 00000812: SHL 00000813: DUP2 00000814: MSTORE 00000815: PUSH1 0x04 00000817: ADD 00000818: PUSH1 0x40 0000081a: MLOAD 0000081b: DUP1 0000081c: SWAP2 0000081d: SUB 0000081e: SWAP1 0000081f: REVERT 00000820: JUMPDEST 00000821: PUSH1 0x01 00000823: PUSH1 0x01 00000825: PUSH1 0xa0 00000827: SHL 00000828: SUB 00000829: DUP4 0000082a: AND 0000082b: PUSH1 0x00 0000082d: SWAP1 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x09 00000832: PUSH1 0x20 00000834: SWAP1 00000835: DUP2 00000836: MSTORE 00000837: PUSH1 0x40 00000839: DUP1 0000083a: DUP4 0000083b: KECCAK256 0000083c: PUSH1 0x07 0000083e: SWAP1 0000083f: SWAP3 00000840: MSTORE 00000841: DUP3 00000842: KECCAK256 00000843: TIMESTAMP 00000844: SWAP1 00000845: SSTORE 00000846: SWAP1 00000847: PUSH2 0x0852 0000084a: DUP7 0000084b: DUP6 0000084c: DUP6 0000084d: DUP6 0000084e: PUSH2 0x16b8 00000851: JUMP 00000852: JUMPDEST 00000853: SWAP1 00000854: POP 00000855: PUSH2 0x085c 00000858: PUSH2 0x1ab4 0000085b: JUMP 0000085c: JUMPDEST 0000085d: PUSH1 0x03 0000085f: DUP3 00000860: ADD 00000861: DUP1 00000862: SLOAD 00000863: DUP8 00000864: ADD 00000865: SWAP1 00000866: SSTORE 00000867: DUP2 00000868: SLOAD 00000869: DUP2 0000086a: ADD 0000086b: DUP3 0000086c: SSTORE 0000086d: PUSH1 0x0e 0000086f: SLOAD 00000870: PUSH5 0xe8d4a51000 00000876: SWAP1 00000877: DUP3 00000878: MUL 00000879: PUSH1 0x01 0000087b: DUP5 0000087c: ADD 0000087d: DUP1 0000087e: SLOAD 0000087f: SWAP3 00000880: SWAP1 00000881: SWAP2 00000882: DIV 00000883: SWAP1 00000884: SWAP2 00000885: ADD 00000886: SWAP1 00000887: SSTORE 00000888: PUSH1 0x0f 0000088a: DUP1 0000088b: SLOAD 0000088c: DUP3 0000088d: ADD 0000088e: SWAP1 0000088f: SSTORE 00000890: PUSH1 0x40 00000892: MLOAD 00000893: PUSH1 0x01 00000895: PUSH1 0x01 00000897: PUSH1 0xa0 00000899: SHL 0000089a: SUB 0000089b: DUP7 0000089c: AND 0000089d: SWAP1 0000089e: PUSH32 0x24cecfb1918a5053af187c1ef1f682c88e901b7210870ef81b7c8439693be7a9 000008bf: SWAP1 000008c0: PUSH2 0x08d0 000008c3: SWAP1 000008c4: DUP10 000008c5: SWAP1 000008c6: DUP6 000008c7: SWAP1 000008c8: DUP10 000008c9: SWAP1 000008ca: DUP10 000008cb: SWAP1 000008cc: PUSH2 0x2b2c 000008cf: JUMP 000008d0: JUMPDEST 000008d1: PUSH1 0x40 000008d3: MLOAD 000008d4: DUP1 000008d5: SWAP2 000008d6: SUB 000008d7: SWAP1 000008d8: LOG2 000008d9: POP 000008da: POP 000008db: PUSH2 0x08e4 000008de: PUSH1 0x01 000008e0: PUSH1 0x08 000008e2: SSTORE 000008e3: JUMP 000008e4: JUMPDEST 000008e5: POP 000008e6: POP 000008e7: POP 000008e8: POP 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH1 0x01 000008ed: PUSH1 0x01 000008ef: PUSH1 0x80 000008f1: SHL 000008f2: SUB 000008f3: NOT 000008f4: PUSH32 0xc598636fccf548e3965f4576afe7d756c8dc5e4b6518916ae98acca4926fa6a8 00000915: PUSH2 0x0926 00000918: PUSH1 0x00 0000091a: SLOAD 0000091b: PUSH1 0x01 0000091d: PUSH1 0x01 0000091f: PUSH1 0xa0 00000921: SHL 00000922: SUB 00000923: AND 00000924: SWAP1 00000925: JUMP 00000926: JUMPDEST 00000927: PUSH1 0x01 00000929: PUSH1 0x01 0000092b: PUSH1 0xa0 0000092d: SHL 0000092e: SUB 0000092f: AND 00000930: CALLER 00000931: PUSH1 0x01 00000933: PUSH1 0x01 00000935: PUSH1 0xa0 00000937: SHL 00000938: SUB 00000939: AND 0000093a: EQ 0000093b: ISZERO 0000093c: DUP1 0000093d: ISZERO 0000093e: PUSH2 0x094f 00000941: JUMPI 00000942: POP 00000943: PUSH2 0x094d 00000946: CALLER 00000947: DUP4 00000948: DUP4 00000949: PUSH2 0x1b33 0000094c: JUMP 0000094d: JUMPDEST 0000094e: ISZERO 0000094f: JUMPDEST 00000950: ISZERO 00000951: PUSH2 0x096d 00000954: JUMPI 00000955: PUSH1 0x40 00000957: MLOAD 00000958: PUSH4 0x05a1b279 0000095d: PUSH1 0xe4 0000095f: SHL 00000960: DUP2 00000961: MSTORE 00000962: PUSH1 0x04 00000964: ADD 00000965: PUSH1 0x40 00000967: MLOAD 00000968: DUP1 00000969: SWAP2 0000096a: SUB 0000096b: SWAP1 0000096c: REVERT 0000096d: JUMPDEST 0000096e: PUSH1 0x03 00000970: DUP1 00000971: SLOAD 00000972: PUSH1 0x01 00000974: SWAP2 00000975: SWAP1 00000976: PUSH1 0xff 00000978: NOT 00000979: AND 0000097a: DUP3 0000097b: DUP1 0000097c: JUMPDEST 0000097d: MUL 0000097e: OR 0000097f: SWAP1 00000980: SSTORE 00000981: POP 00000982: POP 00000983: POP 00000984: JUMP 00000985: JUMPDEST 00000986: PUSH2 0x098d 00000989: PUSH2 0x165f 0000098c: JUMP 0000098d: JUMPDEST 0000098e: PUSH2 0x0995 00000991: PUSH2 0x1b68 00000994: JUMP 00000995: JUMPDEST 00000996: PUSH2 0x099f 00000999: PUSH1 0x01 0000099b: PUSH1 0x08 0000099d: SSTORE 0000099e: JUMP 0000099f: JUMPDEST 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x01 000009a4: PUSH1 0x01 000009a6: PUSH1 0xa0 000009a8: SHL 000009a9: SUB 000009aa: DUP2 000009ab: AND 000009ac: PUSH1 0x00 000009ae: SWAP1 000009af: DUP2 000009b0: MSTORE 000009b1: PUSH1 0x09 000009b3: PUSH1 0x20 000009b5: MSTORE 000009b6: PUSH1 0x40 000009b8: DUP2 000009b9: KECCAK256 000009ba: DUP2 000009bb: SWAP1 000009bc: DUP2 000009bd: SWAP1 000009be: DUP2 000009bf: SWAP1 000009c0: DUP2 000009c1: SWAP1 000009c2: PUSH1 0x60 000009c4: SWAP1 000009c5: DUP2 000009c6: SWAP1 000009c7: PUSH2 0x09cf 000009ca: DUP10 000009cb: PUSH2 0x075c 000009ce: JUMP 000009cf: JUMPDEST 000009d0: SWAP4 000009d1: POP 000009d2: DUP1 000009d3: PUSH1 0x00 000009d5: ADD 000009d6: SLOAD 000009d7: SWAP8 000009d8: POP 000009d9: DUP1 000009da: PUSH1 0x03 000009dc: ADD 000009dd: SLOAD 000009de: SWAP7 000009df: POP 000009e0: DUP1 000009e1: PUSH1 0x02 000009e3: ADD 000009e4: SLOAD 000009e5: SWAP6 000009e6: POP 000009e7: DUP1 000009e8: PUSH1 0x01 000009ea: ADD 000009eb: SLOAD 000009ec: SWAP5 000009ed: POP 000009ee: DUP1 000009ef: PUSH1 0x04 000009f1: ADD 000009f2: PUSH1 0x00 000009f4: ADD 000009f5: DUP1 000009f6: SLOAD 000009f7: DUP1 000009f8: PUSH1 0x20 000009fa: MUL 000009fb: PUSH1 0x20 000009fd: ADD 000009fe: PUSH1 0x40 00000a00: MLOAD 00000a01: SWAP1 00000a02: DUP2 00000a03: ADD 00000a04: PUSH1 0x40 00000a06: MSTORE 00000a07: DUP1 00000a08: SWAP3 00000a09: SWAP2 00000a0a: SWAP1 00000a0b: DUP2 00000a0c: DUP2 00000a0d: MSTORE 00000a0e: PUSH1 0x20 00000a10: ADD 00000a11: DUP3 00000a12: DUP1 00000a13: SLOAD 00000a14: DUP1 00000a15: ISZERO 00000a16: PUSH2 0x0a3e 00000a19: JUMPI 00000a1a: PUSH1 0x20 00000a1c: MUL 00000a1d: DUP3 00000a1e: ADD 00000a1f: SWAP2 00000a20: SWAP1 00000a21: PUSH1 0x00 00000a23: MSTORE 00000a24: PUSH1 0x20 00000a26: PUSH1 0x00 00000a28: KECCAK256 00000a29: SWAP1 00000a2a: JUMPDEST 00000a2b: DUP2 00000a2c: SLOAD 00000a2d: DUP2 00000a2e: MSTORE 00000a2f: PUSH1 0x20 00000a31: ADD 00000a32: SWAP1 00000a33: PUSH1 0x01 00000a35: ADD 00000a36: SWAP1 00000a37: DUP1 00000a38: DUP4 00000a39: GT 00000a3a: PUSH2 0x0a2a 00000a3d: JUMPI 00000a3e: JUMPDEST 00000a3f: POP 00000a40: POP 00000a41: POP 00000a42: PUSH1 0x06 00000a44: DUP5 00000a45: ADD 00000a46: DUP1 00000a47: SLOAD 00000a48: PUSH1 0x40 00000a4a: DUP1 00000a4b: MLOAD 00000a4c: PUSH1 0x20 00000a4e: DUP1 00000a4f: DUP5 00000a50: MUL 00000a51: DUP3 00000a52: ADD 00000a53: DUP2 00000a54: ADD 00000a55: SWAP1 00000a56: SWAP3 00000a57: MSTORE 00000a58: DUP3 00000a59: DUP2 00000a5a: MSTORE 00000a5b: SWAP6 00000a5c: SWAP9 00000a5d: POP 00000a5e: SWAP2 00000a5f: SWAP4 00000a60: POP 00000a61: SWAP2 00000a62: POP 00000a63: DUP4 00000a64: ADD 00000a65: DUP3 00000a66: DUP3 00000a67: DUP1 00000a68: ISZERO 00000a69: PUSH2 0x0a91 00000a6c: JUMPI 00000a6d: PUSH1 0x20 00000a6f: MUL 00000a70: DUP3 00000a71: ADD 00000a72: SWAP2 00000a73: SWAP1 00000a74: PUSH1 0x00 00000a76: MSTORE 00000a77: PUSH1 0x20 00000a79: PUSH1 0x00 00000a7b: KECCAK256 00000a7c: SWAP1 00000a7d: JUMPDEST 00000a7e: DUP2 00000a7f: SLOAD 00000a80: DUP2 00000a81: MSTORE 00000a82: PUSH1 0x20 00000a84: ADD 00000a85: SWAP1 00000a86: PUSH1 0x01 00000a88: ADD 00000a89: SWAP1 00000a8a: DUP1 00000a8b: DUP4 00000a8c: GT 00000a8d: PUSH2 0x0a7d 00000a90: JUMPI 00000a91: JUMPDEST 00000a92: POP 00000a93: POP 00000a94: POP 00000a95: POP 00000a96: POP 00000a97: SWAP2 00000a98: POP 00000a99: POP 00000a9a: SWAP2 00000a9b: SWAP4 00000a9c: SWAP6 00000a9d: SWAP8 00000a9e: SWAP1 00000a9f: SWAP3 00000aa0: SWAP5 00000aa1: SWAP7 00000aa2: POP 00000aa3: JUMP 00000aa4: JUMPDEST 00000aa5: PUSH2 0x0aac 00000aa8: PUSH2 0x1c4a 00000aab: JUMP 00000aac: JUMPDEST 00000aad: PUSH2 0x099f 00000ab0: PUSH1 0x00 00000ab2: PUSH2 0x1ca4 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: PUSH1 0x01 00000ab9: PUSH1 0x01 00000abb: PUSH1 0x80 00000abd: SHL 00000abe: SUB 00000abf: NOT 00000ac0: PUSH32 0xc598636fccf548e3965f4576afe7d756c8dc5e4b6518916ae98acca4926fa6a8 00000ae1: PUSH2 0x0af2 00000ae4: PUSH1 0x00 00000ae6: SLOAD 00000ae7: PUSH1 0x01 00000ae9: PUSH1 0x01 00000aeb: PUSH1 0xa0 00000aed: SHL 00000aee: SUB 00000aef: AND 00000af0: SWAP1 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH1 0x01 00000af5: PUSH1 0x01 00000af7: PUSH1 0xa0 00000af9: SHL 00000afa: SUB 00000afb: AND 00000afc: CALLER 00000afd: PUSH1 0x01 00000aff: PUSH1 0x01 00000b01: PUSH1 0xa0 00000b03: SHL 00000b04: SUB 00000b05: AND 00000b06: EQ 00000b07: ISZERO 00000b08: DUP1 00000b09: ISZERO 00000b0a: PUSH2 0x0b1b 00000b0d: JUMPI 00000b0e: POP 00000b0f: PUSH2 0x0b19 00000b12: CALLER 00000b13: DUP4 00000b14: DUP4 00000b15: PUSH2 0x1b33 00000b18: JUMP 00000b19: JUMPDEST 00000b1a: ISZERO 00000b1b: JUMPDEST 00000b1c: ISZERO 00000b1d: PUSH2 0x0b39 00000b20: JUMPI 00000b21: PUSH1 0x40 00000b23: MLOAD 00000b24: PUSH4 0x05a1b279 00000b29: PUSH1 0xe4 00000b2b: SHL 00000b2c: DUP2 00000b2d: MSTORE 00000b2e: PUSH1 0x04 00000b30: ADD 00000b31: PUSH1 0x40 00000b33: MLOAD 00000b34: DUP1 00000b35: SWAP2 00000b36: SUB 00000b37: SWAP1 00000b38: REVERT 00000b39: JUMPDEST 00000b3a: PUSH1 0x03 00000b3c: DUP1 00000b3d: SLOAD 00000b3e: PUSH1 0x02 00000b40: SWAP2 00000b41: SWAP1 00000b42: PUSH1 0xff 00000b44: NOT 00000b45: AND 00000b46: PUSH1 0x01 00000b48: DUP4 00000b49: PUSH2 0x097c 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: PUSH1 0x01 00000b50: PUSH1 0x01 00000b52: PUSH1 0x80 00000b54: SHL 00000b55: SUB 00000b56: NOT 00000b57: PUSH32 0x5b16c23fc29cfe9813dd5c3809074afa4cb2a373a05274faa9cdada3d47065df 00000b78: PUSH2 0x0b89 00000b7b: PUSH1 0x00 00000b7d: SLOAD 00000b7e: PUSH1 0x01 00000b80: PUSH1 0x01 00000b82: PUSH1 0xa0 00000b84: SHL 00000b85: SUB 00000b86: AND 00000b87: SWAP1 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: PUSH1 0x01 00000b8c: PUSH1 0x01 00000b8e: PUSH1 0xa0 00000b90: SHL 00000b91: SUB 00000b92: AND 00000b93: CALLER 00000b94: PUSH1 0x01 00000b96: PUSH1 0x01 00000b98: PUSH1 0xa0 00000b9a: SHL 00000b9b: SUB 00000b9c: AND 00000b9d: EQ 00000b9e: ISZERO 00000b9f: DUP1 00000ba0: ISZERO 00000ba1: PUSH2 0x0bb2 00000ba4: JUMPI 00000ba5: POP 00000ba6: PUSH2 0x0bb0 00000ba9: CALLER 00000baa: DUP4 00000bab: DUP4 00000bac: PUSH2 0x1b33 00000baf: JUMP 00000bb0: JUMPDEST 00000bb1: ISZERO 00000bb2: JUMPDEST 00000bb3: ISZERO 00000bb4: PUSH2 0x0bd0 00000bb7: JUMPI 00000bb8: PUSH1 0x40 00000bba: MLOAD 00000bbb: PUSH4 0x05a1b279 00000bc0: PUSH1 0xe4 00000bc2: SHL 00000bc3: DUP2 00000bc4: MSTORE 00000bc5: PUSH1 0x04 00000bc7: ADD 00000bc8: PUSH1 0x40 00000bca: MLOAD 00000bcb: DUP1 00000bcc: SWAP2 00000bcd: SUB 00000bce: SWAP1 00000bcf: REVERT 00000bd0: JUMPDEST 00000bd1: DUP3 00000bd2: MLOAD 00000bd3: DUP5 00000bd4: MLOAD 00000bd5: EQ 00000bd6: PUSH2 0x0bf2 00000bd9: JUMPI 00000bda: PUSH1 0x40 00000bdc: MLOAD 00000bdd: PUSH4 0xde86ead7 00000be2: PUSH1 0xe0 00000be4: SHL 00000be5: DUP2 00000be6: MSTORE 00000be7: PUSH1 0x04 00000be9: ADD 00000bea: PUSH1 0x40 00000bec: MLOAD 00000bed: DUP1 00000bee: SWAP2 00000bef: SUB 00000bf0: SWAP1 00000bf1: REVERT 00000bf2: JUMPDEST 00000bf3: PUSH1 0x00 00000bf5: JUMPDEST 00000bf6: DUP5 00000bf7: MLOAD 00000bf8: DUP2 00000bf9: LT 00000bfa: ISZERO 00000bfb: PUSH2 0x0ca6 00000bfe: JUMPI 00000bff: DUP4 00000c00: DUP2 00000c01: DUP2 00000c02: MLOAD 00000c03: DUP2 00000c04: LT 00000c05: PUSH2 0x0c10 00000c08: JUMPI 00000c09: PUSH2 0x0c10 00000c0c: PUSH2 0x2bac 00000c0f: JUMP 00000c10: JUMPDEST 00000c11: PUSH1 0x20 00000c13: MUL 00000c14: PUSH1 0x20 00000c16: ADD 00000c17: ADD 00000c18: MLOAD 00000c19: PUSH1 0x06 00000c1b: PUSH1 0x00 00000c1d: DUP9 00000c1e: PUSH1 0x01 00000c20: DUP2 00000c21: GT 00000c22: ISZERO 00000c23: PUSH2 0x0c2e 00000c26: JUMPI 00000c27: PUSH2 0x0c2e 00000c2a: PUSH2 0x2b16 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: PUSH1 0x01 00000c31: DUP2 00000c32: GT 00000c33: ISZERO 00000c34: PUSH2 0x0c3f 00000c37: JUMPI 00000c38: PUSH2 0x0c3f 00000c3b: PUSH2 0x2b16 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: DUP2 00000c41: MSTORE 00000c42: PUSH1 0x20 00000c44: ADD 00000c45: SWAP1 00000c46: DUP2 00000c47: MSTORE 00000c48: PUSH1 0x20 00000c4a: ADD 00000c4b: PUSH1 0x00 00000c4d: KECCAK256 00000c4e: PUSH1 0x00 00000c50: DUP8 00000c51: DUP5 00000c52: DUP2 00000c53: MLOAD 00000c54: DUP2 00000c55: LT 00000c56: PUSH2 0x0c61 00000c59: JUMPI 00000c5a: PUSH2 0x0c61 00000c5d: PUSH2 0x2bac 00000c60: JUMP 00000c61: JUMPDEST 00000c62: PUSH1 0x20 00000c64: MUL 00000c65: PUSH1 0x20 00000c67: ADD 00000c68: ADD 00000c69: MLOAD 00000c6a: DUP2 00000c6b: MSTORE 00000c6c: PUSH1 0x20 00000c6e: ADD 00000c6f: SWAP1 00000c70: DUP2 00000c71: MSTORE 00000c72: PUSH1 0x20 00000c74: ADD 00000c75: PUSH1 0x00 00000c77: KECCAK256 00000c78: PUSH1 0x00 00000c7a: PUSH2 0x0100 00000c7d: EXP 00000c7e: DUP2 00000c7f: SLOAD 00000c80: DUP2 00000c81: PUSH1 0x01 00000c83: PUSH1 0x01 00000c85: PUSH1 0x80 00000c87: SHL 00000c88: SUB 00000c89: MUL 00000c8a: NOT 00000c8b: AND 00000c8c: SWAP1 00000c8d: DUP4 00000c8e: PUSH1 0x01 00000c90: PUSH1 0x01 00000c92: PUSH1 0x80 00000c94: SHL 00000c95: SUB 00000c96: AND 00000c97: MUL 00000c98: OR 00000c99: SWAP1 00000c9a: SSTORE 00000c9b: POP 00000c9c: DUP1 00000c9d: PUSH1 0x01 00000c9f: ADD 00000ca0: SWAP1 00000ca1: POP 00000ca2: PUSH2 0x0bf5 00000ca5: JUMP 00000ca6: JUMPDEST 00000ca7: POP 00000ca8: POP 00000ca9: POP 00000caa: POP 00000cab: POP 00000cac: POP 00000cad: JUMP 00000cae: JUMPDEST 00000caf: PUSH1 0x04 00000cb1: SLOAD 00000cb2: TIMESTAMP 00000cb3: LT 00000cb4: ISZERO 00000cb5: PUSH2 0x0cd1 00000cb8: JUMPI 00000cb9: PUSH1 0x40 00000cbb: MLOAD 00000cbc: PUSH4 0x97fcf5a3 00000cc1: PUSH1 0xe0 00000cc3: SHL 00000cc4: DUP2 00000cc5: MSTORE 00000cc6: PUSH1 0x04 00000cc8: ADD 00000cc9: PUSH1 0x40 00000ccb: MLOAD 00000ccc: DUP1 00000ccd: SWAP2 00000cce: SUB 00000ccf: SWAP1 00000cd0: REVERT 00000cd1: JUMPDEST 00000cd2: PUSH2 0x0cd9 00000cd5: PUSH2 0x15a7 00000cd8: JUMP 00000cd9: JUMPDEST 00000cda: PUSH1 0x0b 00000cdc: SSTORE 00000cdd: SELFBALANCE 00000cde: PUSH1 0x0a 00000ce0: SSTORE 00000ce1: TIMESTAMP 00000ce2: PUSH1 0x0d 00000ce4: DUP2 00000ce5: SWAP1 00000ce6: SSTORE 00000ce7: PUSH1 0x05 00000ce9: SLOAD 00000cea: PUSH2 0x0cf2 00000ced: SWAP2 00000cee: PUSH2 0x2b03 00000cf1: JUMP 00000cf2: JUMPDEST 00000cf3: PUSH1 0x04 00000cf5: SSTORE 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: PUSH2 0x0cff 00000cfb: PUSH2 0x165f 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: DUP3 00000d01: ISZERO 00000d02: DUP1 00000d03: ISZERO 00000d04: PUSH2 0x0d0b 00000d07: JUMPI 00000d08: POP 00000d09: DUP1 00000d0a: ISZERO 00000d0b: JUMPDEST 00000d0c: ISZERO 00000d0d: PUSH2 0x0d29 00000d10: JUMPI 00000d11: PUSH1 0x40 00000d13: MLOAD 00000d14: PUSH4 0x0b9cddcd 00000d19: PUSH1 0xe1 00000d1b: SHL 00000d1c: DUP2 00000d1d: MSTORE 00000d1e: PUSH1 0x04 00000d20: ADD 00000d21: PUSH1 0x40 00000d23: MLOAD 00000d24: DUP1 00000d25: SWAP2 00000d26: SUB 00000d27: SWAP1 00000d28: REVERT 00000d29: JUMPDEST 00000d2a: CALLER 00000d2b: PUSH1 0x00 00000d2d: SWAP1 00000d2e: DUP2 00000d2f: MSTORE 00000d30: PUSH1 0x07 00000d32: PUSH1 0x20 00000d34: MSTORE 00000d35: PUSH1 0x40 00000d37: SWAP1 00000d38: KECCAK256 00000d39: SLOAD 00000d3a: PUSH2 0x0d44 00000d3d: PUSH1 0x3c 00000d3f: TIMESTAMP 00000d40: PUSH2 0x2ab7 00000d43: JUMP 00000d44: JUMPDEST 00000d45: LT 00000d46: ISZERO 00000d47: PUSH2 0x0d63 00000d4a: JUMPI 00000d4b: PUSH1 0x40 00000d4d: MLOAD 00000d4e: PUSH4 0x72111215 00000d53: PUSH1 0xe1 00000d55: SHL 00000d56: DUP2 00000d57: MSTORE 00000d58: PUSH1 0x04 00000d5a: ADD 00000d5b: PUSH1 0x40 00000d5d: MLOAD 00000d5e: DUP1 00000d5f: SWAP2 00000d60: SUB 00000d61: SWAP1 00000d62: REVERT 00000d63: JUMPDEST 00000d64: CALLER 00000d65: PUSH1 0x00 00000d67: SWAP1 00000d68: DUP2 00000d69: MSTORE 00000d6a: PUSH1 0x09 00000d6c: PUSH1 0x20 00000d6e: MSTORE 00000d6f: PUSH1 0x40 00000d71: DUP2 00000d72: KECCAK256 00000d73: SWAP1 00000d74: PUSH2 0x0d7f 00000d77: DUP6 00000d78: DUP6 00000d79: DUP6 00000d7a: DUP6 00000d7b: PUSH2 0x1cf4 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: SWAP1 00000d81: POP 00000d82: PUSH2 0x0d89 00000d85: PUSH2 0x1b68 00000d88: JUMP 00000d89: JUMPDEST 00000d8a: DUP2 00000d8b: SLOAD 00000d8c: PUSH1 0x00 00000d8e: SWAP1 00000d8f: PUSH2 0x0d99 00000d92: SWAP1 00000d93: DUP4 00000d94: SWAP1 00000d95: PUSH2 0x2ab7 00000d98: JUMP 00000d99: JUMPDEST 00000d9a: PUSH1 0x03 00000d9c: DUP5 00000d9d: ADD 00000d9e: DUP1 00000d9f: SLOAD 00000da0: DUP9 00000da1: SWAP1 00000da2: SUB 00000da3: SWAP1 00000da4: SSTORE 00000da5: DUP1 00000da6: DUP5 00000da7: SSTORE 00000da8: PUSH1 0x0e 00000daa: SLOAD 00000dab: SWAP1 00000dac: SWAP2 00000dad: POP 00000dae: PUSH5 0xe8d4a51000 00000db4: SWAP1 00000db5: DUP3 00000db6: MUL 00000db7: DIV 00000db8: PUSH1 0x01 00000dba: DUP5 00000dbb: ADD 00000dbc: SSTORE 00000dbd: PUSH1 0x0f 00000dbf: DUP1 00000dc0: SLOAD 00000dc1: DUP4 00000dc2: SWAP1 00000dc3: SUB 00000dc4: SWAP1 00000dc5: SSTORE 00000dc6: PUSH1 0x00 00000dc8: PUSH1 0x02 00000dca: DUP5 00000dcb: ADD 00000dcc: SSTORE 00000dcd: PUSH1 0x40 00000dcf: MLOAD 00000dd0: CALLER 00000dd1: SWAP1 00000dd2: PUSH32 0x6fb190e489ce9e6adb75e1635d63d5d4e4f675a5f5460c15c816797d4a8398f3 00000df3: SWAP1 00000df4: PUSH2 0x0e04 00000df7: SWAP1 00000df8: DUP10 00000df9: SWAP1 00000dfa: DUP7 00000dfb: SWAP1 00000dfc: DUP11 00000dfd: SWAP1 00000dfe: DUP11 00000dff: SWAP1 00000e00: PUSH2 0x2b2c 00000e03: JUMP 00000e04: JUMPDEST 00000e05: PUSH1 0x40 00000e07: MLOAD 00000e08: DUP1 00000e09: SWAP2 00000e0a: SUB 00000e0b: SWAP1 00000e0c: LOG2 00000e0d: POP 00000e0e: POP 00000e0f: POP 00000e10: PUSH2 0x0e19 00000e13: PUSH1 0x01 00000e15: PUSH1 0x08 00000e17: SSTORE 00000e18: JUMP 00000e19: JUMPDEST 00000e1a: POP 00000e1b: POP 00000e1c: POP 00000e1d: JUMP 00000e1e: JUMPDEST 00000e1f: PUSH1 0x01 00000e21: PUSH1 0x01 00000e23: PUSH1 0x80 00000e25: SHL 00000e26: SUB 00000e27: NOT 00000e28: PUSH32 0xc598636fccf548e3965f4576afe7d756c8dc5e4b6518916ae98acca4926fa6a8 00000e49: PUSH2 0x0e5a 00000e4c: PUSH1 0x00 00000e4e: SLOAD 00000e4f: PUSH1 0x01 00000e51: PUSH1 0x01 00000e53: PUSH1 0xa0 00000e55: SHL 00000e56: SUB 00000e57: AND 00000e58: SWAP1 00000e59: JUMP 00000e5a: JUMPDEST 00000e5b: PUSH1 0x01 00000e5d: PUSH1 0x01 00000e5f: PUSH1 0xa0 00000e61: SHL 00000e62: SUB 00000e63: AND 00000e64: CALLER 00000e65: PUSH1 0x01 00000e67: PUSH1 0x01 00000e69: PUSH1 0xa0 00000e6b: SHL 00000e6c: SUB 00000e6d: AND 00000e6e: EQ 00000e6f: ISZERO 00000e70: DUP1 00000e71: ISZERO 00000e72: PUSH2 0x0e83 00000e75: JUMPI 00000e76: POP 00000e77: PUSH2 0x0e81 00000e7a: CALLER 00000e7b: DUP4 00000e7c: DUP4 00000e7d: PUSH2 0x1b33 00000e80: JUMP 00000e81: JUMPDEST 00000e82: ISZERO 00000e83: JUMPDEST 00000e84: ISZERO 00000e85: PUSH2 0x0ea1 00000e88: JUMPI 00000e89: PUSH1 0x40 00000e8b: MLOAD 00000e8c: PUSH4 0x05a1b279 00000e91: PUSH1 0xe4 00000e93: SHL 00000e94: DUP2 00000e95: MSTORE 00000e96: PUSH1 0x04 00000e98: ADD 00000e99: PUSH1 0x40 00000e9b: MLOAD 00000e9c: DUP1 00000e9d: SWAP2 00000e9e: SUB 00000e9f: SWAP1 00000ea0: REVERT 00000ea1: JUMPDEST 00000ea2: PUSH1 0x00 00000ea4: JUMPDEST 00000ea5: DUP4 00000ea6: DUP2 00000ea7: LT 00000ea8: ISZERO 00000ea9: PUSH2 0x12d8 00000eac: JUMPI 00000ead: PUSH1 0x00 00000eaf: DUP6 00000eb0: DUP6 00000eb1: DUP4 00000eb2: DUP2 00000eb3: DUP2 00000eb4: LT 00000eb5: PUSH2 0x0ec0 00000eb8: JUMPI 00000eb9: PUSH2 0x0ec0 00000ebc: PUSH2 0x2bac 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH2 0x0ed6 00000ec4: SWAP3 00000ec5: PUSH1 0x20 00000ec7: PUSH1 0xa0 00000ec9: SWAP1 00000eca: SWAP3 00000ecb: MUL 00000ecc: ADD 00000ecd: SWAP1 00000ece: DUP2 00000ecf: ADD 00000ed0: SWAP2 00000ed1: POP 00000ed2: PUSH2 0x2bc2 00000ed5: JUMP 00000ed6: JUMPDEST 00000ed7: PUSH1 0x03 00000ed9: DUP2 00000eda: GT 00000edb: ISZERO 00000edc: PUSH2 0x0ee7 00000edf: JUMPI 00000ee0: PUSH2 0x0ee7 00000ee3: PUSH2 0x2b16 00000ee6: JUMP 00000ee7: JUMPDEST 00000ee8: SUB 00000ee9: PUSH2 0x0fb5 00000eec: JUMPI 00000eed: PUSH1 0x00 00000eef: DUP6 00000ef0: DUP6 00000ef1: DUP4 00000ef2: DUP2 00000ef3: DUP2 00000ef4: LT 00000ef5: PUSH2 0x0f00 00000ef8: JUMPI 00000ef9: PUSH2 0x0f00 00000efc: PUSH2 0x2bac 00000eff: JUMP 00000f00: JUMPDEST 00000f01: SWAP1 00000f02: POP 00000f03: PUSH1 0xa0 00000f05: MUL 00000f06: ADD 00000f07: PUSH1 0x80 00000f09: ADD 00000f0a: PUSH1 0x20 00000f0c: DUP2 00000f0d: ADD 00000f0e: SWAP1 00000f0f: PUSH2 0x0f18 00000f12: SWAP2 00000f13: SWAP1 00000f14: PUSH2 0x240f 00000f17: JUMP 00000f18: JUMPDEST 00000f19: PUSH1 0x01 00000f1b: PUSH1 0x01 00000f1d: PUSH1 0xa0 00000f1f: SHL 00000f20: SUB 00000f21: AND 00000f22: DUP7 00000f23: DUP7 00000f24: DUP5 00000f25: DUP2 00000f26: DUP2 00000f27: LT 00000f28: PUSH2 0x0f33 00000f2b: JUMPI 00000f2c: PUSH2 0x0f33 00000f2f: PUSH2 0x2bac 00000f32: JUMP 00000f33: JUMPDEST 00000f34: SWAP1 00000f35: POP 00000f36: PUSH1 0xa0 00000f38: MUL 00000f39: ADD 00000f3a: PUSH1 0x60 00000f3c: ADD 00000f3d: CALLDATALOAD 00000f3e: PUSH1 0x40 00000f40: MLOAD 00000f41: PUSH1 0x00 00000f43: PUSH1 0x40 00000f45: MLOAD 00000f46: DUP1 00000f47: DUP4 00000f48: SUB 00000f49: DUP2 00000f4a: DUP6 00000f4b: DUP8 00000f4c: GAS 00000f4d: CALL 00000f4e: SWAP3 00000f4f: POP 00000f50: POP 00000f51: POP 00000f52: RETURNDATASIZE 00000f53: DUP1 00000f54: PUSH1 0x00 00000f56: DUP2 00000f57: EQ 00000f58: PUSH2 0x0f7d 00000f5b: JUMPI 00000f5c: PUSH1 0x40 00000f5e: MLOAD 00000f5f: SWAP2 00000f60: POP 00000f61: PUSH1 0x1f 00000f63: NOT 00000f64: PUSH1 0x3f 00000f66: RETURNDATASIZE 00000f67: ADD 00000f68: AND 00000f69: DUP3 00000f6a: ADD 00000f6b: PUSH1 0x40 00000f6d: MSTORE 00000f6e: RETURNDATASIZE 00000f6f: DUP3 00000f70: MSTORE 00000f71: RETURNDATASIZE 00000f72: PUSH1 0x00 00000f74: PUSH1 0x20 00000f76: DUP5 00000f77: ADD 00000f78: RETURNDATACOPY 00000f79: PUSH2 0x0f82 00000f7c: JUMP 00000f7d: JUMPDEST 00000f7e: PUSH1 0x60 00000f80: SWAP2 00000f81: POP 00000f82: JUMPDEST 00000f83: POP 00000f84: POP 00000f85: SWAP1 00000f86: POP 00000f87: DUP1 00000f88: PUSH2 0x0fac 00000f8b: JUMPI 00000f8c: PUSH1 0x40 00000f8e: MLOAD 00000f8f: PUSH4 0x74c41da7 00000f94: PUSH1 0xe0 00000f96: SHL 00000f97: DUP2 00000f98: MSTORE 00000f99: PUSH1 0x04 00000f9b: DUP2 00000f9c: ADD 00000f9d: DUP4 00000f9e: SWAP1 00000f9f: MSTORE 00000fa0: PUSH1 0x24 00000fa2: ADD 00000fa3: JUMPDEST 00000fa4: PUSH1 0x40 00000fa6: MLOAD 00000fa7: DUP1 00000fa8: SWAP2 00000fa9: SUB 00000faa: SWAP1 00000fab: REVERT 00000fac: JUMPDEST 00000fad: POP 00000fae: PUSH1 0x01 00000fb0: ADD 00000fb1: PUSH2 0x0ea4 00000fb4: JUMP 00000fb5: JUMPDEST 00000fb6: PUSH1 0x01 00000fb8: DUP6 00000fb9: DUP6 00000fba: DUP4 00000fbb: DUP2 00000fbc: DUP2 00000fbd: LT 00000fbe: PUSH2 0x0fc9 00000fc1: JUMPI 00000fc2: PUSH2 0x0fc9 00000fc5: PUSH2 0x2bac 00000fc8: JUMP 00000fc9: JUMPDEST 00000fca: PUSH2 0x0fdf 00000fcd: SWAP3 00000fce: PUSH1 0x20 00000fd0: PUSH1 0xa0 00000fd2: SWAP1 00000fd3: SWAP3 00000fd4: MUL 00000fd5: ADD 00000fd6: SWAP1 00000fd7: DUP2 00000fd8: ADD 00000fd9: SWAP2 00000fda: POP 00000fdb: PUSH2 0x2bc2 00000fde: JUMP 00000fdf: JUMPDEST 00000fe0: PUSH1 0x03 00000fe2: DUP2 00000fe3: GT 00000fe4: ISZERO 00000fe5: PUSH2 0x0ff0 00000fe8: JUMPI 00000fe9: PUSH2 0x0ff0 00000fec: PUSH2 0x2b16 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: SUB 00000ff2: PUSH2 0x1078 00000ff5: JUMPI 00000ff6: PUSH2 0x1078 00000ff9: DUP6 00000ffa: DUP6 00000ffb: DUP4 00000ffc: DUP2 00000ffd: DUP2 00000ffe: LT 00000fff: PUSH2 0x100a 00001002: JUMPI 00001003: PUSH2 0x100a 00001006: PUSH2 0x2bac 00001009: JUMP 0000100a: JUMPDEST 0000100b: SWAP1 0000100c: POP 0000100d: PUSH1 0xa0 0000100f: MUL 00001010: ADD 00001011: PUSH1 0x80 00001013: ADD 00001014: PUSH1 0x20 00001016: DUP2 00001017: ADD 00001018: SWAP1 00001019: PUSH2 0x1022 0000101c: SWAP2 0000101d: SWAP1 0000101e: PUSH2 0x240f 00001021: JUMP 00001022: JUMPDEST 00001023: DUP7 00001024: DUP7 00001025: DUP5 00001026: DUP2 00001027: DUP2 00001028: LT 00001029: PUSH2 0x1034 0000102c: JUMPI 0000102d: PUSH2 0x1034 00001030: PUSH2 0x2bac 00001033: JUMP 00001034: JUMPDEST 00001035: SWAP1 00001036: POP 00001037: PUSH1 0xa0 00001039: MUL 0000103a: ADD 0000103b: PUSH1 0x60 0000103d: ADD 0000103e: CALLDATALOAD 0000103f: DUP8 00001040: DUP8 00001041: DUP6 00001042: DUP2 00001043: DUP2 00001044: LT 00001045: PUSH2 0x1050 00001048: JUMPI 00001049: PUSH2 0x1050 0000104c: PUSH2 0x2bac 0000104f: JUMP 00001050: JUMPDEST 00001051: SWAP1 00001052: POP 00001053: PUSH1 0xa0 00001055: MUL 00001056: ADD 00001057: PUSH1 0x20 00001059: ADD 0000105a: PUSH1 0x20 0000105c: DUP2 0000105d: ADD 0000105e: SWAP1 0000105f: PUSH2 0x1068 00001062: SWAP2 00001063: SWAP1 00001064: PUSH2 0x240f 00001067: JUMP 00001068: JUMPDEST 00001069: PUSH1 0x01 0000106b: PUSH1 0x01 0000106d: PUSH1 0xa0 0000106f: SHL 00001070: SUB 00001071: AND 00001072: SWAP2 00001073: SWAP1 00001074: PUSH2 0x207d 00001077: JUMP 00001078: JUMPDEST 00001079: PUSH1 0x02 0000107b: DUP6 0000107c: DUP6 0000107d: DUP4 0000107e: DUP2 0000107f: DUP2 00001080: LT 00001081: PUSH2 0x108c 00001084: JUMPI 00001085: PUSH2 0x108c 00001088: PUSH2 0x2bac 0000108b: JUMP 0000108c: JUMPDEST 0000108d: PUSH2 0x10a2 00001090: SWAP3 00001091: PUSH1 0x20 00001093: PUSH1 0xa0 00001095: SWAP1 00001096: SWAP3 00001097: MUL 00001098: ADD 00001099: SWAP1 0000109a: DUP2 0000109b: ADD 0000109c: SWAP2 0000109d: POP 0000109e: PUSH2 0x2bc2 000010a1: JUMP 000010a2: JUMPDEST 000010a3: PUSH1 0x03 000010a5: DUP2 000010a6: GT 000010a7: ISZERO 000010a8: PUSH2 0x10b3 000010ab: JUMPI 000010ac: PUSH2 0x10b3 000010af: PUSH2 0x2b16 000010b2: JUMP 000010b3: JUMPDEST 000010b4: SUB 000010b5: PUSH2 0x11a3 000010b8: JUMPI 000010b9: DUP5 000010ba: DUP5 000010bb: DUP3 000010bc: DUP2 000010bd: DUP2 000010be: LT 000010bf: PUSH2 0x10ca 000010c2: JUMPI 000010c3: PUSH2 0x10ca 000010c6: PUSH2 0x2bac 000010c9: JUMP 000010ca: JUMPDEST 000010cb: SWAP1 000010cc: POP 000010cd: PUSH1 0xa0 000010cf: MUL 000010d0: ADD 000010d1: PUSH1 0x20 000010d3: ADD 000010d4: PUSH1 0x20 000010d6: DUP2 000010d7: ADD 000010d8: SWAP1 000010d9: PUSH2 0x10e2 000010dc: SWAP2 000010dd: SWAP1 000010de: PUSH2 0x240f 000010e1: JUMP 000010e2: JUMPDEST 000010e3: PUSH1 0x01 000010e5: PUSH1 0x01 000010e7: PUSH1 0xa0 000010e9: SHL 000010ea: SUB 000010eb: AND 000010ec: PUSH4 0x23b872dd 000010f1: ADDRESS 000010f2: DUP8 000010f3: DUP8 000010f4: DUP6 000010f5: DUP2 000010f6: DUP2 000010f7: LT 000010f8: PUSH2 0x1103 000010fb: JUMPI 000010fc: PUSH2 0x1103 000010ff: PUSH2 0x2bac 00001102: JUMP 00001103: JUMPDEST 00001104: SWAP1 00001105: POP 00001106: PUSH1 0xa0 00001108: MUL 00001109: ADD 0000110a: PUSH1 0x80 0000110c: ADD 0000110d: PUSH1 0x20 0000110f: DUP2 00001110: ADD 00001111: SWAP1 00001112: PUSH2 0x111b 00001115: SWAP2 00001116: SWAP1 00001117: PUSH2 0x240f 0000111a: JUMP 0000111b: JUMPDEST 0000111c: DUP9 0000111d: DUP9 0000111e: DUP7 0000111f: DUP2 00001120: DUP2 00001121: LT 00001122: PUSH2 0x112d 00001125: JUMPI 00001126: PUSH2 0x112d 00001129: PUSH2 0x2bac 0000112c: JUMP 0000112d: JUMPDEST 0000112e: PUSH1 0x40 00001130: DUP1 00001131: MLOAD 00001132: PUSH1 0x01 00001134: PUSH1 0x01 00001136: PUSH1 0xe0 00001138: SHL 00001139: SUB 0000113a: NOT 0000113b: PUSH1 0xe0 0000113d: DUP10 0000113e: SWAP1 0000113f: SHL 00001140: AND 00001141: DUP2 00001142: MSTORE 00001143: PUSH1 0x01 00001145: PUSH1 0x01 00001147: PUSH1 0xa0 00001149: SHL 0000114a: SUB 0000114b: SWAP7 0000114c: DUP8 0000114d: AND 0000114e: PUSH1 0x04 00001150: DUP3 00001151: ADD 00001152: MSTORE 00001153: SWAP6 00001154: SWAP1 00001155: SWAP5 00001156: AND 00001157: PUSH1 0x24 00001159: DUP7 0000115a: ADD 0000115b: MSTORE 0000115c: PUSH1 0xa0 0000115e: MUL 0000115f: SWAP2 00001160: SWAP1 00001161: SWAP2 00001162: ADD 00001163: SWAP2 00001164: SWAP1 00001165: SWAP2 00001166: ADD 00001167: CALLDATALOAD 00001168: PUSH1 0x44 0000116a: DUP4 0000116b: ADD 0000116c: MSTORE 0000116d: POP 0000116e: PUSH1 0x64 00001170: ADD 00001171: PUSH1 0x00 00001173: PUSH1 0x40 00001175: MLOAD 00001176: DUP1 00001177: DUP4 00001178: SUB 00001179: DUP2 0000117a: PUSH1 0x00 0000117c: DUP8 0000117d: DUP1 0000117e: EXTCODESIZE 0000117f: ISZERO 00001180: DUP1 00001181: ISZERO 00001182: PUSH2 0x118a 00001185: JUMPI 00001186: PUSH1 0x00 00001188: DUP1 00001189: REVERT 0000118a: JUMPDEST 0000118b: POP 0000118c: GAS 0000118d: CALL 0000118e: ISZERO 0000118f: DUP1 00001190: ISZERO 00001191: PUSH2 0x119e 00001194: JUMPI 00001195: RETURNDATASIZE 00001196: PUSH1 0x00 00001198: DUP1 00001199: RETURNDATACOPY 0000119a: RETURNDATASIZE 0000119b: PUSH1 0x00 0000119d: REVERT 0000119e: JUMPDEST 0000119f: POP 000011a0: POP 000011a1: POP 000011a2: POP 000011a3: JUMPDEST 000011a4: PUSH1 0x03 000011a6: DUP6 000011a7: DUP6 000011a8: DUP4 000011a9: DUP2 000011aa: DUP2 000011ab: LT 000011ac: PUSH2 0x11b7 000011af: JUMPI 000011b0: PUSH2 0x11b7 000011b3: PUSH2 0x2bac 000011b6: JUMP 000011b7: JUMPDEST 000011b8: PUSH2 0x11cd 000011bb: SWAP3 000011bc: PUSH1 0x20 000011be: PUSH1 0xa0 000011c0: SWAP1 000011c1: SWAP3 000011c2: MUL 000011c3: ADD 000011c4: SWAP1 000011c5: DUP2 000011c6: ADD 000011c7: SWAP2 000011c8: POP 000011c9: PUSH2 0x2bc2 000011cc: JUMP 000011cd: JUMPDEST 000011ce: PUSH1 0x03 000011d0: DUP2 000011d1: GT 000011d2: ISZERO 000011d3: PUSH2 0x11de 000011d6: JUMPI 000011d7: PUSH2 0x11de 000011da: PUSH2 0x2b16 000011dd: JUMP 000011de: JUMPDEST 000011df: SUB 000011e0: PUSH2 0x12d0 000011e3: JUMPI 000011e4: DUP5 000011e5: DUP5 000011e6: DUP3 000011e7: DUP2 000011e8: DUP2 000011e9: LT 000011ea: PUSH2 0x11f5 000011ed: JUMPI 000011ee: PUSH2 0x11f5 000011f1: PUSH2 0x2bac 000011f4: JUMP 000011f5: JUMPDEST 000011f6: SWAP1 000011f7: POP 000011f8: PUSH1 0xa0 000011fa: MUL 000011fb: ADD 000011fc: PUSH1 0x20 000011fe: ADD 000011ff: PUSH1 0x20 00001201: DUP2 00001202: ADD 00001203: SWAP1 00001204: PUSH2 0x120d 00001207: SWAP2 00001208: SWAP1 00001209: PUSH2 0x240f 0000120c: JUMP 0000120d: JUMPDEST 0000120e: PUSH1 0x01 00001210: PUSH1 0x01 00001212: PUSH1 0xa0 00001214: SHL 00001215: SUB 00001216: AND 00001217: PUSH4 0xf242432a 0000121c: ADDRESS 0000121d: DUP8 0000121e: DUP8 0000121f: DUP6 00001220: DUP2 00001221: DUP2 00001222: LT 00001223: PUSH2 0x122e 00001226: JUMPI 00001227: PUSH2 0x122e 0000122a: PUSH2 0x2bac 0000122d: JUMP 0000122e: JUMPDEST 0000122f: SWAP1 00001230: POP 00001231: PUSH1 0xa0 00001233: MUL 00001234: ADD 00001235: PUSH1 0x80 00001237: ADD 00001238: PUSH1 0x20 0000123a: DUP2 0000123b: ADD 0000123c: SWAP1 0000123d: PUSH2 0x1246 00001240: SWAP2 00001241: SWAP1 00001242: PUSH2 0x240f 00001245: JUMP 00001246: JUMPDEST 00001247: DUP9 00001248: DUP9 00001249: DUP7 0000124a: DUP2 0000124b: DUP2 0000124c: LT 0000124d: PUSH2 0x1258 00001250: JUMPI 00001251: PUSH2 0x1258 00001254: PUSH2 0x2bac 00001257: JUMP 00001258: JUMPDEST 00001259: SWAP1 0000125a: POP 0000125b: PUSH1 0xa0 0000125d: MUL 0000125e: ADD 0000125f: PUSH1 0x40 00001261: ADD 00001262: CALLDATALOAD 00001263: DUP10 00001264: DUP10 00001265: DUP8 00001266: DUP2 00001267: DUP2 00001268: LT 00001269: PUSH2 0x1274 0000126c: JUMPI 0000126d: PUSH2 0x1274 00001270: PUSH2 0x2bac 00001273: JUMP 00001274: JUMPDEST 00001275: SWAP1 00001276: POP 00001277: PUSH1 0xa0 00001279: MUL 0000127a: ADD 0000127b: PUSH1 0x60 0000127d: ADD 0000127e: CALLDATALOAD 0000127f: PUSH1 0x40 00001281: MLOAD 00001282: DUP6 00001283: PUSH4 0xffffffff 00001288: AND 00001289: PUSH1 0xe0 0000128b: SHL 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x04 00001290: ADD 00001291: PUSH2 0x129d 00001294: SWAP5 00001295: SWAP4 00001296: SWAP3 00001297: SWAP2 00001298: SWAP1 00001299: PUSH2 0x2be3 0000129c: JUMP 0000129d: JUMPDEST 0000129e: PUSH1 0x00 000012a0: PUSH1 0x40 000012a2: MLOAD 000012a3: DUP1 000012a4: DUP4 000012a5: SUB 000012a6: DUP2 000012a7: PUSH1 0x00 000012a9: DUP8 000012aa: DUP1 000012ab: EXTCODESIZE 000012ac: ISZERO 000012ad: DUP1 000012ae: ISZERO 000012af: PUSH2 0x12b7 000012b2: JUMPI 000012b3: PUSH1 0x00 000012b5: DUP1 000012b6: REVERT 000012b7: JUMPDEST 000012b8: POP 000012b9: GAS 000012ba: CALL 000012bb: ISZERO 000012bc: DUP1 000012bd: ISZERO 000012be: PUSH2 0x12cb 000012c1: JUMPI 000012c2: RETURNDATASIZE 000012c3: PUSH1 0x00 000012c5: DUP1 000012c6: RETURNDATACOPY 000012c7: RETURNDATASIZE 000012c8: PUSH1 0x00 000012ca: REVERT 000012cb: JUMPDEST 000012cc: POP 000012cd: POP 000012ce: POP 000012cf: POP 000012d0: JUMPDEST 000012d1: PUSH1 0x01 000012d3: ADD 000012d4: PUSH2 0x0ea4 000012d7: JUMP 000012d8: JUMPDEST 000012d9: POP 000012da: POP 000012db: POP 000012dc: POP 000012dd: POP 000012de: JUMP 000012df: JUMPDEST 000012e0: PUSH1 0x01 000012e2: PUSH1 0x01 000012e4: PUSH1 0x80 000012e6: SHL 000012e7: SUB 000012e8: NOT 000012e9: DUP1 000012ea: PUSH2 0x12fb 000012ed: PUSH1 0x00 000012ef: SLOAD 000012f0: PUSH1 0x01 000012f2: PUSH1 0x01 000012f4: PUSH1 0xa0 000012f6: SHL 000012f7: SUB 000012f8: AND 000012f9: SWAP1 000012fa: JUMP 000012fb: JUMPDEST 000012fc: PUSH1 0x01 000012fe: PUSH1 0x01 00001300: PUSH1 0xa0 00001302: SHL 00001303: SUB 00001304: AND 00001305: CALLER 00001306: PUSH1 0x01 00001308: PUSH1 0x01 0000130a: PUSH1 0xa0 0000130c: SHL 0000130d: SUB 0000130e: AND 0000130f: EQ 00001310: ISZERO 00001311: DUP1 00001312: ISZERO 00001313: PUSH2 0x1324 00001316: JUMPI 00001317: POP 00001318: PUSH2 0x1322 0000131b: CALLER 0000131c: DUP4 0000131d: DUP4 0000131e: PUSH2 0x1b33 00001321: JUMP 00001322: JUMPDEST 00001323: ISZERO 00001324: JUMPDEST 00001325: ISZERO 00001326: PUSH2 0x1342 00001329: JUMPI 0000132a: PUSH1 0x40 0000132c: MLOAD 0000132d: PUSH4 0x05a1b279 00001332: PUSH1 0xe4 00001334: SHL 00001335: DUP2 00001336: MSTORE 00001337: PUSH1 0x04 00001339: ADD 0000133a: PUSH1 0x40 0000133c: MLOAD 0000133d: DUP1 0000133e: SWAP2 0000133f: SUB 00001340: SWAP1 00001341: REVERT 00001342: JUMPDEST 00001343: DUP4 00001344: PUSH2 0x1360 00001347: JUMPI 00001348: PUSH1 0x40 0000134a: MLOAD 0000134b: PUSH4 0x055e2a21 00001350: PUSH1 0xe1 00001352: SHL 00001353: DUP2 00001354: MSTORE 00001355: PUSH1 0x04 00001357: ADD 00001358: PUSH1 0x40 0000135a: MLOAD 0000135b: DUP1 0000135c: SWAP2 0000135d: SUB 0000135e: SWAP1 0000135f: REVERT 00001360: JUMPDEST 00001361: PUSH1 0x00 00001363: DUP5 00001364: DUP2 00001365: MSTORE 00001366: PUSH1 0x02 00001368: PUSH1 0x20 0000136a: MSTORE 0000136b: PUSH1 0x40 0000136d: DUP1 0000136e: DUP3 0000136f: KECCAK256 00001370: DUP6 00001371: SWAP1 00001372: SSTORE 00001373: MLOAD 00001374: DUP5 00001375: SWAP2 00001376: DUP7 00001377: SWAP2 00001378: CALLER 00001379: SWAP2 0000137a: PUSH32 0xad26b90be8a18bd2262e914f6fd4919c42f9dd6a0d07a15fa728ec603a836a88 0000139b: SWAP2 0000139c: LOG4 0000139d: POP 0000139e: POP 0000139f: POP 000013a0: POP 000013a1: JUMP 000013a2: JUMPDEST 000013a3: PUSH1 0x00 000013a5: DUP3 000013a6: DUP2 000013a7: MSTORE 000013a8: PUSH1 0x02 000013aa: PUSH1 0x20 000013ac: MSTORE 000013ad: PUSH1 0x40 000013af: SWAP1 000013b0: KECCAK256 000013b1: SLOAD 000013b2: PUSH1 0x01 000013b4: PUSH1 0x01 000013b6: PUSH1 0x80 000013b8: SHL 000013b9: SUB 000013ba: NOT 000013bb: SWAP1 000013bc: PUSH2 0x13cd 000013bf: PUSH1 0x00 000013c1: SLOAD 000013c2: PUSH1 0x01 000013c4: PUSH1 0x01 000013c6: PUSH1 0xa0 000013c8: SHL 000013c9: SUB 000013ca: AND 000013cb: SWAP1 000013cc: JUMP 000013cd: JUMPDEST 000013ce: PUSH1 0x01 000013d0: PUSH1 0x01 000013d2: PUSH1 0xa0 000013d4: SHL 000013d5: SUB 000013d6: AND 000013d7: CALLER 000013d8: PUSH1 0x01 000013da: PUSH1 0x01 000013dc: PUSH1 0xa0 000013de: SHL 000013df: SUB 000013e0: AND 000013e1: EQ 000013e2: ISZERO 000013e3: DUP1 000013e4: ISZERO 000013e5: PUSH2 0x13f6 000013e8: JUMPI 000013e9: POP 000013ea: PUSH2 0x13f4 000013ed: CALLER 000013ee: DUP4 000013ef: DUP4 000013f0: PUSH2 0x1b33 000013f3: JUMP 000013f4: JUMPDEST 000013f5: ISZERO 000013f6: JUMPDEST 000013f7: ISZERO 000013f8: PUSH2 0x1414 000013fb: JUMPI 000013fc: PUSH1 0x40 000013fe: MLOAD 000013ff: PUSH4 0x05a1b279 00001404: PUSH1 0xe4 00001406: SHL 00001407: DUP2 00001408: MSTORE 00001409: PUSH1 0x04 0000140b: ADD 0000140c: PUSH1 0x40 0000140e: MLOAD 0000140f: DUP1 00001410: SWAP2 00001411: SUB 00001412: SWAP1 00001413: REVERT 00001414: JUMPDEST 00001415: DUP4 00001416: PUSH2 0x1432 00001419: JUMPI 0000141a: PUSH1 0x40 0000141c: MLOAD 0000141d: PUSH4 0x2d1845c9 00001422: PUSH1 0xe0 00001424: SHL 00001425: DUP2 00001426: MSTORE 00001427: PUSH1 0x04 00001429: ADD 0000142a: PUSH1 0x40 0000142c: MLOAD 0000142d: DUP1 0000142e: SWAP2 0000142f: SUB 00001430: SWAP1 00001431: REVERT 00001432: JUMPDEST 00001433: PUSH1 0x01 00001435: PUSH1 0x01 00001437: PUSH1 0xa0 00001439: SHL 0000143a: SUB 0000143b: DUP7 0000143c: AND 0000143d: PUSH1 0x00 0000143f: DUP2 00001440: DUP2 00001441: MSTORE 00001442: PUSH1 0x01 00001444: PUSH1 0x20 00001446: SWAP1 00001447: DUP2 00001448: MSTORE 00001449: PUSH1 0x40 0000144b: DUP1 0000144c: DUP4 0000144d: KECCAK256 0000144e: DUP10 0000144f: DUP5 00001450: MSTORE 00001451: DUP3 00001452: MSTORE 00001453: DUP1 00001454: DUP4 00001455: KECCAK256 00001456: DUP9 00001457: DUP5 00001458: MSTORE 00001459: DUP3 0000145a: MSTORE 0000145b: SWAP2 0000145c: DUP3 0000145d: SWAP1 0000145e: KECCAK256 0000145f: DUP7 00001460: SWAP1 00001461: SSTORE 00001462: DUP2 00001463: MLOAD 00001464: DUP9 00001465: DUP2 00001466: MSTORE 00001467: SWAP1 00001468: DUP2 00001469: ADD 0000146a: DUP7 0000146b: SWAP1 0000146c: MSTORE 0000146d: DUP7 0000146e: SWAP3 0000146f: SWAP2 00001470: CALLER 00001471: SWAP2 00001472: PUSH32 0x71b8ef6d2e182fa6ca30442059cc10398330b3e0561fd4ecc7232b62a8678cb6 00001493: SWAP2 00001494: ADD 00001495: PUSH1 0x40 00001497: MLOAD 00001498: DUP1 00001499: SWAP2 0000149a: SUB 0000149b: SWAP1 0000149c: LOG4 0000149d: POP 0000149e: POP 0000149f: POP 000014a0: POP 000014a1: POP 000014a2: POP 000014a3: JUMP 000014a4: JUMPDEST 000014a5: PUSH1 0x01 000014a7: PUSH1 0x01 000014a9: PUSH1 0x80 000014ab: SHL 000014ac: SUB 000014ad: NOT 000014ae: PUSH32 0x7786c767363c5272e491a0a58459b77b7665c1f44e6c8fb4deece7f8a8de6bc1 000014cf: PUSH2 0x14e0 000014d2: PUSH1 0x00 000014d4: SLOAD 000014d5: PUSH1 0x01 000014d7: PUSH1 0x01 000014d9: PUSH1 0xa0 000014db: SHL 000014dc: SUB 000014dd: AND 000014de: SWAP1 000014df: JUMP 000014e0: JUMPDEST 000014e1: PUSH1 0x01 000014e3: PUSH1 0x01 000014e5: PUSH1 0xa0 000014e7: SHL 000014e8: SUB 000014e9: AND 000014ea: CALLER 000014eb: PUSH1 0x01 000014ed: PUSH1 0x01 000014ef: PUSH1 0xa0 000014f1: SHL 000014f2: SUB 000014f3: AND 000014f4: EQ 000014f5: ISZERO 000014f6: DUP1 000014f7: ISZERO 000014f8: PUSH2 0x1509 000014fb: JUMPI 000014fc: POP 000014fd: PUSH2 0x1507 00001500: CALLER 00001501: DUP4 00001502: DUP4 00001503: PUSH2 0x1b33 00001506: JUMP 00001507: JUMPDEST 00001508: ISZERO 00001509: JUMPDEST 0000150a: ISZERO 0000150b: PUSH2 0x1527 0000150e: JUMPI 0000150f: PUSH1 0x40 00001511: MLOAD 00001512: PUSH4 0x05a1b279 00001517: PUSH1 0xe4 00001519: SHL 0000151a: DUP2 0000151b: MSTORE 0000151c: PUSH1 0x04 0000151e: ADD 0000151f: PUSH1 0x40 00001521: MLOAD 00001522: DUP1 00001523: SWAP2 00001524: SUB 00001525: SWAP1 00001526: REVERT 00001527: JUMPDEST 00001528: POP 00001529: POP 0000152a: PUSH1 0x05 0000152c: SSTORE 0000152d: JUMP 0000152e: JUMPDEST 0000152f: PUSH2 0x1536 00001532: PUSH2 0x1c4a 00001535: JUMP 00001536: JUMPDEST 00001537: PUSH1 0x01 00001539: PUSH1 0x01 0000153b: PUSH1 0xa0 0000153d: SHL 0000153e: SUB 0000153f: DUP2 00001540: AND 00001541: PUSH2 0x159b 00001544: JUMPI 00001545: PUSH1 0x40 00001547: MLOAD 00001548: PUSH3 0x461bcd 0000154c: PUSH1 0xe5 0000154e: SHL 0000154f: DUP2 00001550: MSTORE 00001551: PUSH1 0x20 00001553: PUSH1 0x04 00001555: DUP3 00001556: ADD 00001557: MSTORE 00001558: PUSH1 0x26 0000155a: PUSH1 0x24 0000155c: DUP3 0000155d: ADD 0000155e: MSTORE 0000155f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001580: PUSH1 0x44 00001582: DUP3 00001583: ADD 00001584: MSTORE 00001585: PUSH6 0x646472657373 0000158c: PUSH1 0xd0 0000158e: SHL 0000158f: PUSH1 0x64 00001591: DUP3 00001592: ADD 00001593: MSTORE 00001594: PUSH1 0x84 00001596: ADD 00001597: PUSH2 0x0fa3 0000159a: JUMP 0000159b: JUMPDEST 0000159c: PUSH2 0x15a4 0000159f: DUP2 000015a0: PUSH2 0x1ca4 000015a3: JUMP 000015a4: JUMPDEST 000015a5: POP 000015a6: JUMP 000015a7: JUMPDEST 000015a8: PUSH1 0x00 000015aa: PUSH32 0x0000000000000000000000000000000000000000000000000000000003c26703 000015cb: PUSH1 0x0d 000015cd: SLOAD 000015ce: TIMESTAMP 000015cf: PUSH2 0x15d8 000015d2: SWAP2 000015d3: SWAP1 000015d4: PUSH2 0x2ab7 000015d7: JUMP 000015d8: JUMPDEST 000015d9: PUSH1 0x0a 000015db: SLOAD 000015dc: PUSH2 0x15e5 000015df: SWAP2 000015e0: SWAP1 000015e1: PUSH2 0x2aca 000015e4: JUMP 000015e5: JUMPDEST 000015e6: PUSH2 0x15ef 000015e9: SWAP2 000015ea: SWAP1 000015eb: PUSH2 0x2ae1 000015ee: JUMP 000015ef: JUMPDEST 000015f0: PUSH1 0x0b 000015f2: SLOAD 000015f3: PUSH2 0x15fc 000015f6: SWAP2 000015f7: SWAP1 000015f8: PUSH2 0x2b03 000015fb: JUMP 000015fc: JUMPDEST 000015fd: SWAP1 000015fe: POP 000015ff: SWAP1 00001600: JUMP 00001601: JUMPDEST 00001602: PUSH1 0x01 00001604: PUSH1 0x01 00001606: PUSH1 0xa0 00001608: SHL 00001609: SUB 0000160a: DUP3 0000160b: AND 0000160c: PUSH1 0x00 0000160e: SWAP1 0000160f: DUP2 00001610: MSTORE 00001611: PUSH1 0x09 00001613: PUSH1 0x20 00001615: MSTORE 00001616: PUSH1 0x40 00001618: DUP2 00001619: KECCAK256 0000161a: PUSH1 0x01 0000161c: DUP2 0000161d: ADD 0000161e: SLOAD 0000161f: PUSH1 0x02 00001621: DUP3 00001622: ADD 00001623: SLOAD 00001624: DUP3 00001625: SLOAD 00001626: PUSH5 0xe8d4a51000 0000162c: SWAP1 0000162d: PUSH2 0x1637 00001630: SWAP1 00001631: DUP8 00001632: SWAP1 00001633: PUSH2 0x2aca 00001636: JUMP 00001637: JUMPDEST 00001638: PUSH2 0x1641 0000163b: SWAP2 0000163c: SWAP1 0000163d: PUSH2 0x2ae1 00001640: JUMP 00001641: JUMPDEST 00001642: PUSH2 0x164b 00001645: SWAP2 00001646: SWAP1 00001647: PUSH2 0x2ab7 0000164a: JUMP 0000164b: JUMPDEST 0000164c: PUSH2 0x1655 0000164f: SWAP2 00001650: SWAP1 00001651: PUSH2 0x2ab7 00001654: JUMP 00001655: JUMPDEST 00001656: SWAP2 00001657: POP 00001658: POP 00001659: JUMPDEST 0000165a: SWAP3 0000165b: SWAP2 0000165c: POP 0000165d: POP 0000165e: JUMP 0000165f: JUMPDEST 00001660: PUSH1 0x02 00001662: PUSH1 0x08 00001664: SLOAD 00001665: SUB 00001666: PUSH2 0x16b1 00001669: JUMPI 0000166a: PUSH1 0x40 0000166c: MLOAD 0000166d: PUSH3 0x461bcd 00001671: PUSH1 0xe5 00001673: SHL 00001674: DUP2 00001675: MSTORE 00001676: PUSH1 0x20 00001678: PUSH1 0x04 0000167a: DUP3 0000167b: ADD 0000167c: MSTORE 0000167d: PUSH1 0x1f 0000167f: PUSH1 0x24 00001681: DUP3 00001682: ADD 00001683: MSTORE 00001684: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000016a5: PUSH1 0x44 000016a7: DUP3 000016a8: ADD 000016a9: MSTORE 000016aa: PUSH1 0x64 000016ac: ADD 000016ad: PUSH2 0x0fa3 000016b0: JUMP 000016b1: JUMPDEST 000016b2: PUSH1 0x02 000016b4: PUSH1 0x08 000016b6: SSTORE 000016b7: JUMP 000016b8: JUMPDEST 000016b9: PUSH1 0x00 000016bb: PUSH2 0x16ef 000016be: PUSH1 0x01 000016c0: PUSH1 0x01 000016c2: PUSH1 0xa0 000016c4: SHL 000016c5: SUB 000016c6: PUSH32 0x000000000000000000000000e53ec727dbdeb9e2d5456c3be40cff031ab40a55 000016e7: AND 000016e8: CALLER 000016e9: ADDRESS 000016ea: DUP9 000016eb: PUSH2 0x20e0 000016ee: JUMP 000016ef: JUMPDEST 000016f0: POP 000016f1: DUP4 000016f2: PUSH1 0x00 000016f4: JUMPDEST 000016f5: DUP4 000016f6: DUP2 000016f7: LT 000016f8: ISZERO 000016f9: PUSH2 0x1aab 000016fc: JUMPI 000016fd: PUSH1 0x01 000016ff: DUP6 00001700: DUP6 00001701: DUP4 00001702: DUP2 00001703: DUP2 00001704: LT 00001705: PUSH2 0x1710 00001708: JUMPI 00001709: PUSH2 0x1710 0000170c: PUSH2 0x2bac 0000170f: JUMP 00001710: JUMPDEST 00001711: SWAP1 00001712: POP 00001713: PUSH1 0x40 00001715: MUL 00001716: ADD 00001717: PUSH1 0x20 00001719: ADD 0000171a: PUSH1 0x20 0000171c: DUP2 0000171d: ADD 0000171e: SWAP1 0000171f: PUSH2 0x1728 00001722: SWAP2 00001723: SWAP1 00001724: PUSH2 0x2c1b 00001727: JUMP 00001728: JUMPDEST 00001729: PUSH1 0x01 0000172b: DUP2 0000172c: GT 0000172d: ISZERO 0000172e: PUSH2 0x1739 00001731: JUMPI 00001732: PUSH2 0x1739 00001735: PUSH2 0x2b16 00001738: JUMP 00001739: JUMPDEST 0000173a: SUB 0000173b: PUSH2 0x187f 0000173e: JUMPI 0000173f: PUSH2 0x1774 00001742: DUP6 00001743: DUP6 00001744: DUP4 00001745: DUP2 00001746: DUP2 00001747: LT 00001748: PUSH2 0x1753 0000174b: JUMPI 0000174c: PUSH2 0x1753 0000174f: PUSH2 0x2bac 00001752: JUMP 00001753: JUMPDEST 00001754: PUSH1 0x40 00001756: SWAP1 00001757: DUP2 00001758: MUL 00001759: SWAP1 0000175a: SWAP3 0000175b: ADD 0000175c: CALLDATALOAD 0000175d: PUSH1 0x00 0000175f: SWAP1 00001760: DUP2 00001761: MSTORE 00001762: PUSH1 0x07 00001764: DUP8 00001765: ADD 00001766: PUSH1 0x20 00001768: MSTORE 00001769: SWAP2 0000176a: SWAP1 0000176b: SWAP2 0000176c: KECCAK256 0000176d: SLOAD 0000176e: ISZERO 0000176f: ISZERO 00001770: SWAP2 00001771: SWAP1 00001772: POP 00001773: JUMP 00001774: JUMPDEST 00001775: ISZERO 00001776: PUSH2 0x1792 00001779: JUMPI 0000177a: PUSH1 0x40 0000177c: MLOAD 0000177d: PUSH4 0x0a8c3871 00001782: PUSH1 0xe1 00001784: SHL 00001785: DUP2 00001786: MSTORE 00001787: PUSH1 0x04 00001789: ADD 0000178a: PUSH1 0x40 0000178c: MLOAD 0000178d: DUP1 0000178e: SWAP2 0000178f: SUB 00001790: SWAP1 00001791: REVERT 00001792: JUMPDEST 00001793: PUSH32 0x000000000000000000000000e4597f9182ba947f7f3bf8cbc6562285751d5aee 000017b4: PUSH1 0x01 000017b6: PUSH1 0x01 000017b8: PUSH1 0xa0 000017ba: SHL 000017bb: SUB 000017bc: AND 000017bd: PUSH4 0xf242432a 000017c2: CALLER 000017c3: ADDRESS 000017c4: DUP9 000017c5: DUP9 000017c6: DUP7 000017c7: DUP2 000017c8: DUP2 000017c9: LT 000017ca: PUSH2 0x17d5 000017cd: JUMPI 000017ce: PUSH2 0x17d5 000017d1: PUSH2 0x2bac 000017d4: JUMP 000017d5: JUMPDEST 000017d6: SWAP1 000017d7: POP 000017d8: PUSH1 0x40 000017da: MUL 000017db: ADD 000017dc: PUSH1 0x00 000017de: ADD 000017df: CALLDATALOAD 000017e0: PUSH1 0x01 000017e2: PUSH1 0x40 000017e4: MLOAD 000017e5: DUP6 000017e6: PUSH4 0xffffffff 000017eb: AND 000017ec: PUSH1 0xe0 000017ee: SHL 000017ef: DUP2 000017f0: MSTORE 000017f1: PUSH1 0x04 000017f3: ADD 000017f4: PUSH2 0x1800 000017f7: SWAP5 000017f8: SWAP4 000017f9: SWAP3 000017fa: SWAP2 000017fb: SWAP1 000017fc: PUSH2 0x2be3 000017ff: JUMP 00001800: JUMPDEST 00001801: PUSH1 0x00 00001803: PUSH1 0x40 00001805: MLOAD 00001806: DUP1 00001807: DUP4 00001808: SUB 00001809: DUP2 0000180a: PUSH1 0x00 0000180c: DUP8 0000180d: DUP1 0000180e: EXTCODESIZE 0000180f: ISZERO 00001810: DUP1 00001811: ISZERO 00001812: PUSH2 0x181a 00001815: JUMPI 00001816: PUSH1 0x00 00001818: DUP1 00001819: REVERT 0000181a: JUMPDEST 0000181b: POP 0000181c: GAS 0000181d: CALL 0000181e: ISZERO 0000181f: DUP1 00001820: ISZERO 00001821: PUSH2 0x182e 00001824: JUMPI 00001825: RETURNDATASIZE 00001826: PUSH1 0x00 00001828: DUP1 00001829: RETURNDATACOPY 0000182a: RETURNDATASIZE 0000182b: PUSH1 0x00 0000182d: REVERT 0000182e: JUMPDEST 0000182f: POP 00001830: POP 00001831: POP 00001832: POP 00001833: PUSH2 0x187f 00001836: DUP6 00001837: DUP6 00001838: DUP4 00001839: DUP2 0000183a: DUP2 0000183b: LT 0000183c: PUSH2 0x1847 0000183f: JUMPI 00001840: PUSH2 0x1847 00001843: PUSH2 0x2bac 00001846: JUMP 00001847: JUMPDEST 00001848: PUSH1 0x06 0000184a: DUP8 0000184b: ADD 0000184c: SWAP3 0000184d: PUSH1 0x40 0000184f: SWAP1 00001850: SWAP2 00001851: MUL 00001852: ADD 00001853: CALLDATALOAD 00001854: SWAP1 00001855: POP 00001856: DUP2 00001857: SLOAD 00001858: PUSH1 0x01 0000185a: DUP2 0000185b: DUP2 0000185c: ADD 0000185d: DUP5 0000185e: SSTORE 0000185f: PUSH1 0x00 00001861: DUP5 00001862: DUP2 00001863: MSTORE 00001864: PUSH1 0x20 00001866: DUP1 00001867: DUP3 00001868: KECCAK256 00001869: SWAP1 0000186a: SWAP4 0000186b: ADD 0000186c: DUP5 0000186d: SWAP1 0000186e: SSTORE 0000186f: DUP5 00001870: SLOAD 00001871: SWAP4 00001872: DUP2 00001873: MSTORE 00001874: SWAP4 00001875: ADD 00001876: SWAP1 00001877: MSTORE 00001878: PUSH1 0x40 0000187a: SWAP1 0000187b: SWAP2 0000187c: KECCAK256 0000187d: SSTORE 0000187e: JUMP 0000187f: JUMPDEST 00001880: PUSH1 0x00 00001882: DUP6 00001883: DUP6 00001884: DUP4 00001885: DUP2 00001886: DUP2 00001887: LT 00001888: PUSH2 0x1893 0000188b: JUMPI 0000188c: PUSH2 0x1893 0000188f: PUSH2 0x2bac 00001892: JUMP 00001893: JUMPDEST 00001894: SWAP1 00001895: POP 00001896: PUSH1 0x40 00001898: MUL 00001899: ADD 0000189a: PUSH1 0x20 0000189c: ADD 0000189d: PUSH1 0x20 0000189f: DUP2 000018a0: ADD 000018a1: SWAP1 000018a2: PUSH2 0x18ab 000018a5: SWAP2 000018a6: SWAP1 000018a7: PUSH2 0x2c1b 000018aa: JUMP 000018ab: JUMPDEST 000018ac: PUSH1 0x01 000018ae: DUP2 000018af: GT 000018b0: ISZERO 000018b1: PUSH2 0x18bc 000018b4: JUMPI 000018b5: PUSH2 0x18bc 000018b8: PUSH2 0x2b16 000018bb: JUMP 000018bc: JUMPDEST 000018bd: SUB 000018be: PUSH2 0x1a02 000018c1: JUMPI 000018c2: PUSH2 0x18f7 000018c5: DUP6 000018c6: DUP6 000018c7: DUP4 000018c8: DUP2 000018c9: DUP2 000018ca: LT 000018cb: PUSH2 0x18d6 000018ce: JUMPI 000018cf: PUSH2 0x18d6 000018d2: PUSH2 0x2bac 000018d5: JUMP 000018d6: JUMPDEST 000018d7: PUSH1 0x40 000018d9: SWAP1 000018da: DUP2 000018db: MUL 000018dc: SWAP1 000018dd: SWAP3 000018de: ADD 000018df: CALLDATALOAD 000018e0: PUSH1 0x00 000018e2: SWAP1 000018e3: DUP2 000018e4: MSTORE 000018e5: PUSH1 0x05 000018e7: DUP8 000018e8: ADD 000018e9: PUSH1 0x20 000018eb: MSTORE 000018ec: SWAP2 000018ed: SWAP1 000018ee: SWAP2 000018ef: KECCAK256 000018f0: SLOAD 000018f1: ISZERO 000018f2: ISZERO 000018f3: SWAP2 000018f4: SWAP1 000018f5: POP 000018f6: JUMP 000018f7: JUMPDEST 000018f8: ISZERO 000018f9: PUSH2 0x1915 000018fc: JUMPI 000018fd: PUSH1 0x40 000018ff: MLOAD 00001900: PUSH4 0x0a8c3871 00001905: PUSH1 0xe1 00001907: SHL 00001908: DUP2 00001909: MSTORE 0000190a: PUSH1 0x04 0000190c: ADD 0000190d: PUSH1 0x40 0000190f: MLOAD 00001910: DUP1 00001911: SWAP2 00001912: SUB 00001913: SWAP1 00001914: REVERT 00001915: JUMPDEST 00001916: PUSH32 0x000000000000000000000000afb44cef938b1be600a4331bf9904f6cec2fcac3 00001937: PUSH1 0x01 00001939: PUSH1 0x01 0000193b: PUSH1 0xa0 0000193d: SHL 0000193e: SUB 0000193f: AND 00001940: PUSH4 0xf242432a 00001945: CALLER 00001946: ADDRESS 00001947: DUP9 00001948: DUP9 00001949: DUP7 0000194a: DUP2 0000194b: DUP2 0000194c: LT 0000194d: PUSH2 0x1958 00001950: JUMPI 00001951: PUSH2 0x1958 00001954: PUSH2 0x2bac 00001957: JUMP 00001958: JUMPDEST 00001959: SWAP1 0000195a: POP 0000195b: PUSH1 0x40 0000195d: MUL 0000195e: ADD 0000195f: PUSH1 0x00 00001961: ADD 00001962: CALLDATALOAD 00001963: PUSH1 0x01 00001965: PUSH1 0x40 00001967: MLOAD 00001968: DUP6 00001969: PUSH4 0xffffffff 0000196e: AND 0000196f: PUSH1 0xe0 00001971: SHL 00001972: DUP2 00001973: MSTORE 00001974: PUSH1 0x04 00001976: ADD 00001977: PUSH2 0x1983 0000197a: SWAP5 0000197b: SWAP4 0000197c: SWAP3 0000197d: SWAP2 0000197e: SWAP1 0000197f: PUSH2 0x2be3 00001982: JUMP 00001983: JUMPDEST 00001984: PUSH1 0x00 00001986: PUSH1 0x40 00001988: MLOAD 00001989: DUP1 0000198a: DUP4 0000198b: SUB 0000198c: DUP2 0000198d: PUSH1 0x00 0000198f: DUP8 00001990: DUP1 00001991: EXTCODESIZE 00001992: ISZERO 00001993: DUP1 00001994: ISZERO 00001995: PUSH2 0x199d 00001998: JUMPI 00001999: PUSH1 0x00 0000199b: DUP1 0000199c: REVERT 0000199d: JUMPDEST 0000199e: POP 0000199f: GAS 000019a0: CALL 000019a1: ISZERO 000019a2: DUP1 000019a3: ISZERO 000019a4: PUSH2 0x19b1 000019a7: JUMPI 000019a8: RETURNDATASIZE 000019a9: PUSH1 0x00 000019ab: DUP1 000019ac: RETURNDATACOPY 000019ad: RETURNDATASIZE 000019ae: PUSH1 0x00 000019b0: REVERT 000019b1: JUMPDEST 000019b2: POP 000019b3: POP 000019b4: POP 000019b5: POP 000019b6: PUSH2 0x1a02 000019b9: DUP6 000019ba: DUP6 000019bb: DUP4 000019bc: DUP2 000019bd: DUP2 000019be: LT 000019bf: PUSH2 0x19ca 000019c2: JUMPI 000019c3: PUSH2 0x19ca 000019c6: PUSH2 0x2bac 000019c9: JUMP 000019ca: JUMPDEST 000019cb: PUSH1 0x04 000019cd: DUP8 000019ce: ADD 000019cf: SWAP3 000019d0: PUSH1 0x40 000019d2: SWAP1 000019d3: SWAP2 000019d4: MUL 000019d5: ADD 000019d6: CALLDATALOAD 000019d7: SWAP1 000019d8: POP 000019d9: DUP2 000019da: SLOAD 000019db: PUSH1 0x01 000019dd: DUP2 000019de: DUP2 000019df: ADD 000019e0: DUP5 000019e1: SSTORE 000019e2: PUSH1 0x00 000019e4: DUP5 000019e5: DUP2 000019e6: MSTORE 000019e7: PUSH1 0x20 000019e9: DUP1 000019ea: DUP3 000019eb: KECCAK256 000019ec: SWAP1 000019ed: SWAP4 000019ee: ADD 000019ef: DUP5 000019f0: SWAP1 000019f1: SSTORE 000019f2: DUP5 000019f3: SLOAD 000019f4: SWAP4 000019f5: DUP2 000019f6: MSTORE 000019f7: SWAP4 000019f8: ADD 000019f9: SWAP1 000019fa: MSTORE 000019fb: PUSH1 0x40 000019fd: SWAP1 000019fe: SWAP2 000019ff: KECCAK256 00001a00: SSTORE 00001a01: JUMP 00001a02: JUMPDEST 00001a03: PUSH1 0x00 00001a05: PUSH1 0x80 00001a07: DUP7 00001a08: DUP7 00001a09: DUP5 00001a0a: DUP2 00001a0b: DUP2 00001a0c: LT 00001a0d: PUSH2 0x1a18 00001a10: JUMPI 00001a11: PUSH2 0x1a18 00001a14: PUSH2 0x2bac 00001a17: JUMP 00001a18: JUMPDEST 00001a19: SWAP1 00001a1a: POP 00001a1b: PUSH1 0x40 00001a1d: MUL 00001a1e: ADD 00001a1f: PUSH1 0x00 00001a21: ADD 00001a22: CALLDATALOAD 00001a23: SWAP1 00001a24: SHR 00001a25: SWAP1 00001a26: POP 00001a27: PUSH1 0x06 00001a29: PUSH1 0x00 00001a2b: DUP8 00001a2c: DUP8 00001a2d: DUP6 00001a2e: DUP2 00001a2f: DUP2 00001a30: LT 00001a31: PUSH2 0x1a3c 00001a34: JUMPI 00001a35: PUSH2 0x1a3c 00001a38: PUSH2 0x2bac 00001a3b: JUMP 00001a3c: JUMPDEST 00001a3d: SWAP1 00001a3e: POP 00001a3f: PUSH1 0x40 00001a41: MUL 00001a42: ADD 00001a43: PUSH1 0x20 00001a45: ADD 00001a46: PUSH1 0x20 00001a48: DUP2 00001a49: ADD 00001a4a: SWAP1 00001a4b: PUSH2 0x1a54 00001a4e: SWAP2 00001a4f: SWAP1 00001a50: PUSH2 0x2c1b 00001a53: JUMP 00001a54: JUMPDEST 00001a55: PUSH1 0x01 00001a57: DUP2 00001a58: GT 00001a59: ISZERO 00001a5a: PUSH2 0x1a65 00001a5d: JUMPI 00001a5e: PUSH2 0x1a65 00001a61: PUSH2 0x2b16 00001a64: JUMP 00001a65: JUMPDEST 00001a66: PUSH1 0x01 00001a68: DUP2 00001a69: GT 00001a6a: ISZERO 00001a6b: PUSH2 0x1a76 00001a6e: JUMPI 00001a6f: PUSH2 0x1a76 00001a72: PUSH2 0x2b16 00001a75: JUMP 00001a76: JUMPDEST 00001a77: DUP2 00001a78: MSTORE 00001a79: PUSH1 0x20 00001a7b: DUP1 00001a7c: DUP3 00001a7d: ADD 00001a7e: SWAP3 00001a7f: SWAP1 00001a80: SWAP3 00001a81: MSTORE 00001a82: PUSH1 0x40 00001a84: SWAP1 00001a85: DUP2 00001a86: ADD 00001a87: PUSH1 0x00 00001a89: SWAP1 00001a8a: DUP2 00001a8b: KECCAK256 00001a8c: SWAP4 00001a8d: DUP2 00001a8e: MSTORE 00001a8f: SWAP3 00001a90: SWAP1 00001a91: SWAP2 00001a92: MSTORE 00001a93: SWAP1 00001a94: KECCAK256 00001a95: SLOAD 00001a96: PUSH1 0x01 00001a98: PUSH1 0x01 00001a9a: PUSH1 0x80 00001a9c: SHL 00001a9d: SUB 00001a9e: AND 00001a9f: SWAP2 00001aa0: SWAP1 00001aa1: SWAP2 00001aa2: ADD 00001aa3: SWAP1 00001aa4: PUSH1 0x01 00001aa6: ADD 00001aa7: PUSH2 0x16f4 00001aaa: JUMP 00001aab: JUMPDEST 00001aac: POP 00001aad: SWAP5 00001aae: SWAP4 00001aaf: POP 00001ab0: POP 00001ab1: POP 00001ab2: POP 00001ab3: JUMP 00001ab4: JUMPDEST 00001ab5: PUSH1 0x00 00001ab7: PUSH2 0x1abe 00001aba: PUSH2 0x15a7 00001abd: JUMP 00001abe: JUMPDEST 00001abf: SWAP1 00001ac0: POP 00001ac1: PUSH1 0x0c 00001ac3: SLOAD 00001ac4: DUP2 00001ac5: GT 00001ac6: ISZERO 00001ac7: PUSH2 0x15a4 00001aca: JUMPI 00001acb: PUSH1 0x00 00001acd: PUSH1 0x0c 00001acf: SLOAD 00001ad0: DUP3 00001ad1: PUSH2 0x1ada 00001ad4: SWAP2 00001ad5: SWAP1 00001ad6: PUSH2 0x2ab7 00001ad9: JUMP 00001ada: JUMPDEST 00001adb: PUSH1 0x0f 00001add: SLOAD 00001ade: SWAP1 00001adf: SWAP2 00001ae0: POP 00001ae1: ISZERO 00001ae2: PUSH2 0x1b18 00001ae5: JUMPI 00001ae6: PUSH1 0x0f 00001ae8: SLOAD 00001ae9: PUSH2 0x1af7 00001aec: PUSH5 0xe8d4a51000 00001af2: DUP4 00001af3: PUSH2 0x2aca 00001af6: JUMP 00001af7: JUMPDEST 00001af8: PUSH2 0x1b01 00001afb: SWAP2 00001afc: SWAP1 00001afd: PUSH2 0x2ae1 00001b00: JUMP 00001b01: JUMPDEST 00001b02: PUSH1 0x0e 00001b04: PUSH1 0x00 00001b06: DUP3 00001b07: DUP3 00001b08: SLOAD 00001b09: PUSH2 0x1b12 00001b0c: SWAP2 00001b0d: SWAP1 00001b0e: PUSH2 0x2b03 00001b11: JUMP 00001b12: JUMPDEST 00001b13: SWAP1 00001b14: SWAP2 00001b15: SSTORE 00001b16: POP 00001b17: POP 00001b18: JUMPDEST 00001b19: DUP1 00001b1a: PUSH1 0x0c 00001b1c: PUSH1 0x00 00001b1e: DUP3 00001b1f: DUP3 00001b20: SLOAD 00001b21: PUSH2 0x1b2a 00001b24: SWAP2 00001b25: SWAP1 00001b26: PUSH2 0x2b03 00001b29: JUMP 00001b2a: JUMPDEST 00001b2b: SWAP1 00001b2c: SWAP2 00001b2d: SSTORE 00001b2e: POP 00001b2f: POP 00001b30: POP 00001b31: POP 00001b32: JUMP 00001b33: JUMPDEST 00001b34: PUSH1 0x01 00001b36: PUSH1 0x01 00001b38: PUSH1 0xa0 00001b3a: SHL 00001b3b: SUB 00001b3c: DUP4 00001b3d: AND 00001b3e: PUSH1 0x00 00001b40: SWAP1 00001b41: DUP2 00001b42: MSTORE 00001b43: PUSH1 0x01 00001b45: PUSH1 0x20 00001b47: SWAP1 00001b48: DUP2 00001b49: MSTORE 00001b4a: PUSH1 0x40 00001b4c: DUP1 00001b4d: DUP4 00001b4e: KECCAK256 00001b4f: DUP6 00001b50: DUP5 00001b51: MSTORE 00001b52: DUP3 00001b53: MSTORE 00001b54: DUP1 00001b55: DUP4 00001b56: KECCAK256 00001b57: DUP5 00001b58: DUP5 00001b59: MSTORE 00001b5a: SWAP1 00001b5b: SWAP2 00001b5c: MSTORE 00001b5d: SWAP1 00001b5e: KECCAK256 00001b5f: SLOAD 00001b60: TIMESTAMP 00001b61: LT 00001b62: SWAP4 00001b63: SWAP3 00001b64: POP 00001b65: POP 00001b66: POP 00001b67: JUMP 00001b68: JUMPDEST 00001b69: PUSH2 0x1b70 00001b6c: PUSH2 0x1ab4 00001b6f: JUMP 00001b70: JUMPDEST 00001b71: PUSH1 0x00 00001b73: PUSH2 0x1b7e 00001b76: CALLER 00001b77: PUSH1 0x0e 00001b79: SLOAD 00001b7a: PUSH2 0x1601 00001b7d: JUMP 00001b7e: JUMPDEST 00001b7f: SWAP1 00001b80: POP 00001b81: DUP1 00001b82: PUSH1 0x00 00001b84: SUB 00001b85: PUSH2 0x1b8b 00001b88: JUMPI 00001b89: POP 00001b8a: JUMP 00001b8b: JUMPDEST 00001b8c: PUSH1 0x40 00001b8e: MLOAD 00001b8f: PUSH1 0x00 00001b91: SWAP1 00001b92: CALLER 00001b93: SWAP1 00001b94: DUP4 00001b95: SWAP1 00001b96: DUP4 00001b97: DUP2 00001b98: DUP2 00001b99: DUP2 00001b9a: DUP6 00001b9b: DUP8 00001b9c: GAS 00001b9d: CALL 00001b9e: SWAP3 00001b9f: POP 00001ba0: POP 00001ba1: POP 00001ba2: RETURNDATASIZE 00001ba3: DUP1 00001ba4: PUSH1 0x00 00001ba6: DUP2 00001ba7: EQ 00001ba8: PUSH2 0x1bcd 00001bab: JUMPI 00001bac: PUSH1 0x40 00001bae: MLOAD 00001baf: SWAP2 00001bb0: POP 00001bb1: PUSH1 0x1f 00001bb3: NOT 00001bb4: PUSH1 0x3f 00001bb6: RETURNDATASIZE 00001bb7: ADD 00001bb8: AND 00001bb9: DUP3 00001bba: ADD 00001bbb: PUSH1 0x40 00001bbd: MSTORE 00001bbe: RETURNDATASIZE 00001bbf: DUP3 00001bc0: MSTORE 00001bc1: RETURNDATASIZE 00001bc2: PUSH1 0x00 00001bc4: PUSH1 0x20 00001bc6: DUP5 00001bc7: ADD 00001bc8: RETURNDATACOPY 00001bc9: PUSH2 0x1bd2 00001bcc: JUMP 00001bcd: JUMPDEST 00001bce: PUSH1 0x60 00001bd0: SWAP2 00001bd1: POP 00001bd2: JUMPDEST 00001bd3: POP 00001bd4: POP 00001bd5: SWAP1 00001bd6: POP 00001bd7: DUP1 00001bd8: PUSH2 0x1bf4 00001bdb: JUMPI 00001bdc: PUSH1 0x40 00001bde: MLOAD 00001bdf: PUSH4 0x09260951 00001be4: PUSH1 0xe3 00001be6: SHL 00001be7: DUP2 00001be8: MSTORE 00001be9: PUSH1 0x04 00001beb: ADD 00001bec: PUSH1 0x40 00001bee: MLOAD 00001bef: DUP1 00001bf0: SWAP2 00001bf1: SUB 00001bf2: SWAP1 00001bf3: REVERT 00001bf4: JUMPDEST 00001bf5: CALLER 00001bf6: PUSH1 0x00 00001bf8: DUP2 00001bf9: DUP2 00001bfa: MSTORE 00001bfb: PUSH1 0x09 00001bfd: PUSH1 0x20 00001bff: MSTORE 00001c00: PUSH1 0x40 00001c02: SWAP1 00001c03: DUP2 00001c04: SWAP1 00001c05: KECCAK256 00001c06: PUSH1 0x02 00001c08: ADD 00001c09: DUP1 00001c0a: SLOAD 00001c0b: DUP6 00001c0c: ADD 00001c0d: SWAP1 00001c0e: SSTORE 00001c0f: MLOAD 00001c10: PUSH32 0x47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4 00001c31: SWAP1 00001c32: PUSH2 0x1c3e 00001c35: SWAP1 00001c36: DUP6 00001c37: DUP2 00001c38: MSTORE 00001c39: PUSH1 0x20 00001c3b: ADD 00001c3c: SWAP1 00001c3d: JUMP 00001c3e: JUMPDEST 00001c3f: PUSH1 0x40 00001c41: MLOAD 00001c42: DUP1 00001c43: SWAP2 00001c44: SUB 00001c45: SWAP1 00001c46: LOG2 00001c47: POP 00001c48: POP 00001c49: JUMP 00001c4a: JUMPDEST 00001c4b: PUSH1 0x00 00001c4d: SLOAD 00001c4e: PUSH1 0x01 00001c50: PUSH1 0x01 00001c52: PUSH1 0xa0 00001c54: SHL 00001c55: SUB 00001c56: AND 00001c57: CALLER 00001c58: EQ 00001c59: PUSH2 0x099f 00001c5c: JUMPI 00001c5d: PUSH1 0x40 00001c5f: MLOAD 00001c60: PUSH3 0x461bcd 00001c64: PUSH1 0xe5 00001c66: SHL 00001c67: DUP2 00001c68: MSTORE 00001c69: PUSH1 0x20 00001c6b: PUSH1 0x04 00001c6d: DUP3 00001c6e: ADD 00001c6f: DUP2 00001c70: SWAP1 00001c71: MSTORE 00001c72: PUSH1 0x24 00001c74: DUP3 00001c75: ADD 00001c76: MSTORE 00001c77: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001c98: PUSH1 0x44 00001c9a: DUP3 00001c9b: ADD 00001c9c: MSTORE 00001c9d: PUSH1 0x64 00001c9f: ADD 00001ca0: PUSH2 0x0fa3 00001ca3: JUMP 00001ca4: JUMPDEST 00001ca5: PUSH1 0x00 00001ca7: DUP1 00001ca8: SLOAD 00001ca9: PUSH1 0x01 00001cab: PUSH1 0x01 00001cad: PUSH1 0xa0 00001caf: SHL 00001cb0: SUB 00001cb1: DUP4 00001cb2: DUP2 00001cb3: AND 00001cb4: PUSH1 0x01 00001cb6: PUSH1 0x01 00001cb8: PUSH1 0xa0 00001cba: SHL 00001cbb: SUB 00001cbc: NOT 00001cbd: DUP4 00001cbe: AND 00001cbf: DUP2 00001cc0: OR 00001cc1: DUP5 00001cc2: SSTORE 00001cc3: PUSH1 0x40 00001cc5: MLOAD 00001cc6: SWAP2 00001cc7: SWAP1 00001cc8: SWAP3 00001cc9: AND 00001cca: SWAP3 00001ccb: DUP4 00001ccc: SWAP2 00001ccd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001cee: SWAP2 00001cef: SWAP1 00001cf0: LOG3 00001cf1: POP 00001cf2: POP 00001cf3: JUMP 00001cf4: JUMPDEST 00001cf5: PUSH1 0x00 00001cf7: DUP2 00001cf8: PUSH1 0x03 00001cfa: ADD 00001cfb: SLOAD 00001cfc: DUP6 00001cfd: GT 00001cfe: ISZERO 00001cff: PUSH2 0x1d1b 00001d02: JUMPI 00001d03: PUSH1 0x40 00001d05: MLOAD 00001d06: PUSH4 0x51819b2b 00001d0b: PUSH1 0xe0 00001d0d: SHL 00001d0e: DUP2 00001d0f: MSTORE 00001d10: PUSH1 0x04 00001d12: ADD 00001d13: PUSH1 0x40 00001d15: MLOAD 00001d16: DUP1 00001d17: SWAP2 00001d18: SUB 00001d19: SWAP1 00001d1a: REVERT 00001d1b: JUMPDEST 00001d1c: PUSH2 0x1d4f 00001d1f: PUSH1 0x01 00001d21: PUSH1 0x01 00001d23: PUSH1 0xa0 00001d25: SHL 00001d26: SUB 00001d27: PUSH32 0x000000000000000000000000e53ec727dbdeb9e2d5456c3be40cff031ab40a55 00001d48: AND 00001d49: CALLER 00001d4a: DUP8 00001d4b: PUSH2 0x207d 00001d4e: JUMP 00001d4f: JUMPDEST 00001d50: POP 00001d51: DUP4 00001d52: PUSH1 0x00 00001d54: JUMPDEST 00001d55: DUP4 00001d56: DUP2 00001d57: LT 00001d58: ISZERO 00001d59: PUSH2 0x1aab 00001d5c: JUMPI 00001d5d: PUSH1 0x01 00001d5f: DUP6 00001d60: DUP6 00001d61: DUP4 00001d62: DUP2 00001d63: DUP2 00001d64: LT 00001d65: PUSH2 0x1d70 00001d68: JUMPI 00001d69: PUSH2 0x1d70 00001d6c: PUSH2 0x2bac 00001d6f: JUMP 00001d70: JUMPDEST 00001d71: SWAP1 00001d72: POP 00001d73: PUSH1 0x40 00001d75: MUL 00001d76: ADD 00001d77: PUSH1 0x20 00001d79: ADD 00001d7a: PUSH1 0x20 00001d7c: DUP2 00001d7d: ADD 00001d7e: SWAP1 00001d7f: PUSH2 0x1d88 00001d82: SWAP2 00001d83: SWAP1 00001d84: PUSH2 0x2c1b 00001d87: JUMP 00001d88: JUMPDEST 00001d89: PUSH1 0x01 00001d8b: DUP2 00001d8c: GT 00001d8d: ISZERO 00001d8e: PUSH2 0x1d99 00001d91: JUMPI 00001d92: PUSH2 0x1d99 00001d95: PUSH2 0x2b16 00001d98: JUMP 00001d99: JUMPDEST 00001d9a: SUB 00001d9b: PUSH2 0x1e98 00001d9e: JUMPI 00001d9f: PUSH2 0x1db3 00001da2: DUP6 00001da3: DUP6 00001da4: DUP4 00001da5: DUP2 00001da6: DUP2 00001da7: LT 00001da8: PUSH2 0x1753 00001dab: JUMPI 00001dac: PUSH2 0x1753 00001daf: PUSH2 0x2bac 00001db2: JUMP 00001db3: JUMPDEST 00001db4: PUSH2 0x1dd0 00001db7: JUMPI 00001db8: PUSH1 0x40 00001dba: MLOAD 00001dbb: PUSH4 0xd3ed043d 00001dc0: PUSH1 0xe0 00001dc2: SHL 00001dc3: DUP2 00001dc4: MSTORE 00001dc5: PUSH1 0x04 00001dc7: ADD 00001dc8: PUSH1 0x40 00001dca: MLOAD 00001dcb: DUP1 00001dcc: SWAP2 00001dcd: SUB 00001dce: SWAP1 00001dcf: REVERT 00001dd0: JUMPDEST 00001dd1: PUSH32 0x000000000000000000000000e4597f9182ba947f7f3bf8cbc6562285751d5aee 00001df2: PUSH1 0x01 00001df4: PUSH1 0x01 00001df6: PUSH1 0xa0 00001df8: SHL 00001df9: SUB 00001dfa: AND 00001dfb: PUSH4 0xf242432a 00001e00: ADDRESS 00001e01: CALLER 00001e02: DUP9 00001e03: DUP9 00001e04: DUP7 00001e05: DUP2 00001e06: DUP2 00001e07: LT 00001e08: PUSH2 0x1e13 00001e0b: JUMPI 00001e0c: PUSH2 0x1e13 00001e0f: PUSH2 0x2bac 00001e12: JUMP 00001e13: JUMPDEST 00001e14: SWAP1 00001e15: POP 00001e16: PUSH1 0x40 00001e18: MUL 00001e19: ADD 00001e1a: PUSH1 0x00 00001e1c: ADD 00001e1d: CALLDATALOAD 00001e1e: PUSH1 0x01 00001e20: PUSH1 0x40 00001e22: MLOAD 00001e23: DUP6 00001e24: PUSH4 0xffffffff 00001e29: AND 00001e2a: PUSH1 0xe0 00001e2c: SHL 00001e2d: DUP2 00001e2e: MSTORE 00001e2f: PUSH1 0x04 00001e31: ADD 00001e32: PUSH2 0x1e3e 00001e35: SWAP5 00001e36: SWAP4 00001e37: SWAP3 00001e38: SWAP2 00001e39: SWAP1 00001e3a: PUSH2 0x2be3 00001e3d: JUMP 00001e3e: JUMPDEST 00001e3f: PUSH1 0x00 00001e41: PUSH1 0x40 00001e43: MLOAD 00001e44: DUP1 00001e45: DUP4 00001e46: SUB 00001e47: DUP2 00001e48: PUSH1 0x00 00001e4a: DUP8 00001e4b: DUP1 00001e4c: EXTCODESIZE 00001e4d: ISZERO 00001e4e: DUP1 00001e4f: ISZERO 00001e50: PUSH2 0x1e58 00001e53: JUMPI 00001e54: PUSH1 0x00 00001e56: DUP1 00001e57: REVERT 00001e58: JUMPDEST 00001e59: POP 00001e5a: GAS 00001e5b: CALL 00001e5c: ISZERO 00001e5d: DUP1 00001e5e: ISZERO 00001e5f: PUSH2 0x1e6c 00001e62: JUMPI 00001e63: RETURNDATASIZE 00001e64: PUSH1 0x00 00001e66: DUP1 00001e67: RETURNDATACOPY 00001e68: RETURNDATASIZE 00001e69: PUSH1 0x00 00001e6b: REVERT 00001e6c: JUMPDEST 00001e6d: POP 00001e6e: POP 00001e6f: POP 00001e70: POP 00001e71: PUSH2 0x1e98 00001e74: DUP6 00001e75: DUP6 00001e76: DUP4 00001e77: DUP2 00001e78: DUP2 00001e79: LT 00001e7a: PUSH2 0x1e85 00001e7d: JUMPI 00001e7e: PUSH2 0x1e85 00001e81: PUSH2 0x2bac 00001e84: JUMP 00001e85: JUMPDEST 00001e86: PUSH1 0x06 00001e88: DUP8 00001e89: ADD 00001e8a: SWAP3 00001e8b: PUSH1 0x40 00001e8d: SWAP1 00001e8e: SWAP2 00001e8f: MUL 00001e90: ADD 00001e91: CALLDATALOAD 00001e92: SWAP1 00001e93: POP 00001e94: PUSH2 0x2118 00001e97: JUMP 00001e98: JUMPDEST 00001e99: PUSH1 0x00 00001e9b: DUP6 00001e9c: DUP6 00001e9d: DUP4 00001e9e: DUP2 00001e9f: DUP2 00001ea0: LT 00001ea1: PUSH2 0x1eac 00001ea4: JUMPI 00001ea5: PUSH2 0x1eac 00001ea8: PUSH2 0x2bac 00001eab: JUMP 00001eac: JUMPDEST 00001ead: SWAP1 00001eae: POP 00001eaf: PUSH1 0x40 00001eb1: MUL 00001eb2: ADD 00001eb3: PUSH1 0x20 00001eb5: ADD 00001eb6: PUSH1 0x20 00001eb8: DUP2 00001eb9: ADD 00001eba: SWAP1 00001ebb: PUSH2 0x1ec4 00001ebe: SWAP2 00001ebf: SWAP1 00001ec0: PUSH2 0x2c1b 00001ec3: JUMP 00001ec4: JUMPDEST 00001ec5: PUSH1 0x01 00001ec7: DUP2 00001ec8: GT 00001ec9: ISZERO 00001eca: PUSH2 0x1ed5 00001ecd: JUMPI 00001ece: PUSH2 0x1ed5 00001ed1: PUSH2 0x2b16 00001ed4: JUMP 00001ed5: JUMPDEST 00001ed6: SUB 00001ed7: PUSH2 0x1fd4 00001eda: JUMPI 00001edb: PUSH2 0x1eef 00001ede: DUP6 00001edf: DUP6 00001ee0: DUP4 00001ee1: DUP2 00001ee2: DUP2 00001ee3: LT 00001ee4: PUSH2 0x18d6 00001ee7: JUMPI 00001ee8: PUSH2 0x18d6 00001eeb: PUSH2 0x2bac 00001eee: JUMP 00001eef: JUMPDEST 00001ef0: PUSH2 0x1f0c 00001ef3: JUMPI 00001ef4: PUSH1 0x40 00001ef6: MLOAD 00001ef7: PUSH4 0xd3ed043d 00001efc: PUSH1 0xe0 00001efe: SHL 00001eff: DUP2 00001f00: MSTORE 00001f01: PUSH1 0x04 00001f03: ADD 00001f04: PUSH1 0x40 00001f06: MLOAD 00001f07: DUP1 00001f08: SWAP2 00001f09: SUB 00001f0a: SWAP1 00001f0b: REVERT 00001f0c: JUMPDEST 00001f0d: PUSH32 0x000000000000000000000000afb44cef938b1be600a4331bf9904f6cec2fcac3 00001f2e: PUSH1 0x01 00001f30: PUSH1 0x01 00001f32: PUSH1 0xa0 00001f34: SHL 00001f35: SUB 00001f36: AND 00001f37: PUSH4 0xf242432a 00001f3c: ADDRESS 00001f3d: CALLER 00001f3e: DUP9 00001f3f: DUP9 00001f40: DUP7 00001f41: DUP2 00001f42: DUP2 00001f43: LT 00001f44: PUSH2 0x1f4f 00001f47: JUMPI 00001f48: PUSH2 0x1f4f 00001f4b: PUSH2 0x2bac 00001f4e: JUMP 00001f4f: JUMPDEST 00001f50: SWAP1 00001f51: POP 00001f52: PUSH1 0x40 00001f54: MUL 00001f55: ADD 00001f56: PUSH1 0x00 00001f58: ADD 00001f59: CALLDATALOAD 00001f5a: PUSH1 0x01 00001f5c: PUSH1 0x40 00001f5e: MLOAD 00001f5f: DUP6 00001f60: PUSH4 0xffffffff 00001f65: AND 00001f66: PUSH1 0xe0 00001f68: SHL 00001f69: DUP2 00001f6a: MSTORE 00001f6b: PUSH1 0x04 00001f6d: ADD 00001f6e: PUSH2 0x1f7a 00001f71: SWAP5 00001f72: SWAP4 00001f73: SWAP3 00001f74: SWAP2 00001f75: SWAP1 00001f76: PUSH2 0x2be3 00001f79: JUMP 00001f7a: JUMPDEST 00001f7b: PUSH1 0x00 00001f7d: PUSH1 0x40 00001f7f: MLOAD 00001f80: DUP1 00001f81: DUP4 00001f82: SUB 00001f83: DUP2 00001f84: PUSH1 0x00 00001f86: DUP8 00001f87: DUP1 00001f88: EXTCODESIZE 00001f89: ISZERO 00001f8a: DUP1 00001f8b: ISZERO 00001f8c: PUSH2 0x1f94 00001f8f: JUMPI 00001f90: PUSH1 0x00 00001f92: DUP1 00001f93: REVERT 00001f94: JUMPDEST 00001f95: POP 00001f96: GAS 00001f97: CALL 00001f98: ISZERO 00001f99: DUP1 00001f9a: ISZERO 00001f9b: PUSH2 0x1fa8 00001f9e: JUMPI 00001f9f: RETURNDATASIZE 00001fa0: PUSH1 0x00 00001fa2: DUP1 00001fa3: RETURNDATACOPY 00001fa4: RETURNDATASIZE 00001fa5: PUSH1 0x00 00001fa7: REVERT 00001fa8: JUMPDEST 00001fa9: POP 00001faa: POP 00001fab: POP 00001fac: POP 00001fad: PUSH2 0x1fd4 00001fb0: DUP6 00001fb1: DUP6 00001fb2: DUP4 00001fb3: DUP2 00001fb4: DUP2 00001fb5: LT 00001fb6: PUSH2 0x1fc1 00001fb9: JUMPI 00001fba: PUSH2 0x1fc1 00001fbd: PUSH2 0x2bac 00001fc0: JUMP 00001fc1: JUMPDEST 00001fc2: PUSH1 0x04 00001fc4: DUP8 00001fc5: ADD 00001fc6: SWAP3 00001fc7: PUSH1 0x40 00001fc9: SWAP1 00001fca: SWAP2 00001fcb: MUL 00001fcc: ADD 00001fcd: CALLDATALOAD 00001fce: SWAP1 00001fcf: POP 00001fd0: PUSH2 0x2118 00001fd3: JUMP 00001fd4: JUMPDEST 00001fd5: PUSH1 0x00 00001fd7: PUSH1 0x80 00001fd9: DUP7 00001fda: DUP7 00001fdb: DUP5 00001fdc: DUP2 00001fdd: DUP2 00001fde: LT 00001fdf: PUSH2 0x1fea 00001fe2: JUMPI 00001fe3: PUSH2 0x1fea 00001fe6: PUSH2 0x2bac 00001fe9: JUMP 00001fea: JUMPDEST 00001feb: SWAP1 00001fec: POP 00001fed: PUSH1 0x40 00001fef: MUL 00001ff0: ADD 00001ff1: PUSH1 0x00 00001ff3: ADD 00001ff4: CALLDATALOAD 00001ff5: SWAP1 00001ff6: SHR 00001ff7: SWAP1 00001ff8: POP 00001ff9: PUSH1 0x06 00001ffb: PUSH1 0x00 00001ffd: DUP8 00001ffe: DUP8 00001fff: DUP6 00002000: DUP2 00002001: DUP2 00002002: LT 00002003: PUSH2 0x200e 00002006: JUMPI 00002007: PUSH2 0x200e 0000200a: PUSH2 0x2bac 0000200d: JUMP 0000200e: JUMPDEST 0000200f: SWAP1 00002010: POP 00002011: PUSH1 0x40 00002013: MUL 00002014: ADD 00002015: PUSH1 0x20 00002017: ADD 00002018: PUSH1 0x20 0000201a: DUP2 0000201b: ADD 0000201c: SWAP1 0000201d: PUSH2 0x2026 00002020: SWAP2 00002021: SWAP1 00002022: PUSH2 0x2c1b 00002025: JUMP 00002026: JUMPDEST 00002027: PUSH1 0x01 00002029: DUP2 0000202a: GT 0000202b: ISZERO 0000202c: PUSH2 0x2037 0000202f: JUMPI 00002030: PUSH2 0x2037 00002033: PUSH2 0x2b16 00002036: JUMP 00002037: JUMPDEST 00002038: PUSH1 0x01 0000203a: DUP2 0000203b: GT 0000203c: ISZERO 0000203d: PUSH2 0x2048 00002040: JUMPI 00002041: PUSH2 0x2048 00002044: PUSH2 0x2b16 00002047: JUMP 00002048: JUMPDEST 00002049: DUP2 0000204a: MSTORE 0000204b: PUSH1 0x20 0000204d: DUP1 0000204e: DUP3 0000204f: ADD 00002050: SWAP3 00002051: SWAP1 00002052: SWAP3 00002053: MSTORE 00002054: PUSH1 0x40 00002056: SWAP1 00002057: DUP2 00002058: ADD 00002059: PUSH1 0x00 0000205b: SWAP1 0000205c: DUP2 0000205d: KECCAK256 0000205e: SWAP4 0000205f: DUP2 00002060: MSTORE 00002061: SWAP3 00002062: SWAP1 00002063: SWAP2 00002064: MSTORE 00002065: SWAP1 00002066: KECCAK256 00002067: SLOAD 00002068: PUSH1 0x01 0000206a: PUSH1 0x01 0000206c: PUSH1 0x80 0000206e: SHL 0000206f: SUB 00002070: AND 00002071: SWAP2 00002072: SWAP1 00002073: SWAP2 00002074: ADD 00002075: SWAP1 00002076: PUSH1 0x01 00002078: ADD 00002079: PUSH2 0x1d54 0000207c: JUMP 0000207d: JUMPDEST 0000207e: PUSH1 0x40 00002080: MLOAD 00002081: PUSH1 0x01 00002083: PUSH1 0x01 00002085: PUSH1 0xa0 00002087: SHL 00002088: SUB 00002089: DUP4 0000208a: AND 0000208b: PUSH1 0x24 0000208d: DUP3 0000208e: ADD 0000208f: MSTORE 00002090: PUSH1 0x44 00002092: DUP2 00002093: ADD 00002094: DUP3 00002095: SWAP1 00002096: MSTORE 00002097: PUSH2 0x0e19 0000209a: SWAP1 0000209b: DUP5 0000209c: SWAP1 0000209d: PUSH4 0xa9059cbb 000020a2: PUSH1 0xe0 000020a4: SHL 000020a5: SWAP1 000020a6: PUSH1 0x64 000020a8: ADD 000020a9: JUMPDEST 000020aa: PUSH1 0x40 000020ac: DUP1 000020ad: MLOAD 000020ae: PUSH1 0x1f 000020b0: NOT 000020b1: DUP2 000020b2: DUP5 000020b3: SUB 000020b4: ADD 000020b5: DUP2 000020b6: MSTORE 000020b7: SWAP2 000020b8: SWAP1 000020b9: MSTORE 000020ba: PUSH1 0x20 000020bc: DUP2 000020bd: ADD 000020be: DUP1 000020bf: MLOAD 000020c0: PUSH1 0x01 000020c2: PUSH1 0x01 000020c4: PUSH1 0xe0 000020c6: SHL 000020c7: SUB 000020c8: AND 000020c9: PUSH1 0x01 000020cb: PUSH1 0x01 000020cd: PUSH1 0xe0 000020cf: SHL 000020d0: SUB 000020d1: NOT 000020d2: SWAP1 000020d3: SWAP4 000020d4: AND 000020d5: SWAP3 000020d6: SWAP1 000020d7: SWAP3 000020d8: OR 000020d9: SWAP1 000020da: SWAP2 000020db: MSTORE 000020dc: PUSH2 0x21fb 000020df: JUMP 000020e0: JUMPDEST 000020e1: PUSH1 0x40 000020e3: MLOAD 000020e4: PUSH1 0x01 000020e6: PUSH1 0x01 000020e8: PUSH1 0xa0 000020ea: SHL 000020eb: SUB 000020ec: DUP1 000020ed: DUP6 000020ee: AND 000020ef: PUSH1 0x24 000020f1: DUP4 000020f2: ADD 000020f3: MSTORE 000020f4: DUP4 000020f5: AND 000020f6: PUSH1 0x44 000020f8: DUP3 000020f9: ADD 000020fa: MSTORE 000020fb: PUSH1 0x64 000020fd: DUP2 000020fe: ADD 000020ff: DUP3 00002100: SWAP1 00002101: MSTORE 00002102: PUSH2 0x08e4 00002105: SWAP1 00002106: DUP6 00002107: SWAP1 00002108: PUSH4 0x23b872dd 0000210d: PUSH1 0xe0 0000210f: SHL 00002110: SWAP1 00002111: PUSH1 0x84 00002113: ADD 00002114: PUSH2 0x20a9 00002117: JUMP 00002118: JUMPDEST 00002119: PUSH1 0x00 0000211b: DUP2 0000211c: DUP2 0000211d: MSTORE 0000211e: PUSH1 0x01 00002120: DUP4 00002121: DUP2 00002122: ADD 00002123: PUSH1 0x20 00002125: MSTORE 00002126: PUSH1 0x40 00002128: DUP3 00002129: KECCAK256 0000212a: SLOAD 0000212b: PUSH2 0x2134 0000212e: SWAP2 0000212f: SWAP1 00002130: PUSH2 0x2ab7 00002133: JUMP 00002134: JUMPDEST 00002135: DUP4 00002136: SLOAD 00002137: SWAP1 00002138: SWAP2 00002139: POP 0000213a: PUSH1 0x00 0000213c: SWAP1 0000213d: PUSH2 0x2148 00002140: SWAP1 00002141: PUSH1 0x01 00002143: SWAP1 00002144: PUSH2 0x2ab7 00002147: JUMP 00002148: JUMPDEST 00002149: SWAP1 0000214a: POP 0000214b: DUP1 0000214c: DUP3 0000214d: EQ 0000214e: PUSH2 0x21b5 00002151: JUMPI 00002152: PUSH1 0x00 00002154: DUP5 00002155: PUSH1 0x00 00002157: ADD 00002158: DUP3 00002159: DUP2 0000215a: SLOAD 0000215b: DUP2 0000215c: LT 0000215d: PUSH2 0x2168 00002160: JUMPI 00002161: PUSH2 0x2168 00002164: PUSH2 0x2bac 00002167: JUMP 00002168: JUMPDEST 00002169: SWAP1 0000216a: PUSH1 0x00 0000216c: MSTORE 0000216d: PUSH1 0x20 0000216f: PUSH1 0x00 00002171: KECCAK256 00002172: ADD 00002173: SLOAD 00002174: SWAP1 00002175: POP 00002176: DUP1 00002177: DUP6 00002178: PUSH1 0x00 0000217a: ADD 0000217b: DUP5 0000217c: DUP2 0000217d: SLOAD 0000217e: DUP2 0000217f: LT 00002180: PUSH2 0x218b 00002183: JUMPI 00002184: PUSH2 0x218b 00002187: PUSH2 0x2bac 0000218a: JUMP 0000218b: JUMPDEST 0000218c: PUSH1 0x00 0000218e: SWAP2 0000218f: DUP3 00002190: MSTORE 00002191: PUSH1 0x20 00002193: SWAP1 00002194: SWAP2 00002195: KECCAK256 00002196: ADD 00002197: SSTORE 00002198: PUSH2 0x21a2 0000219b: DUP4 0000219c: PUSH1 0x01 0000219e: PUSH2 0x2b03 000021a1: JUMP 000021a2: JUMPDEST 000021a3: PUSH1 0x00 000021a5: SWAP2 000021a6: DUP3 000021a7: MSTORE 000021a8: PUSH1 0x01 000021aa: DUP7 000021ab: ADD 000021ac: PUSH1 0x20 000021ae: MSTORE 000021af: PUSH1 0x40 000021b1: SWAP1 000021b2: SWAP2 000021b3: KECCAK256 000021b4: SSTORE 000021b5: JUMPDEST 000021b6: DUP4 000021b7: SLOAD 000021b8: DUP5 000021b9: SWAP1 000021ba: DUP1 000021bb: PUSH2 0x21c6 000021be: JUMPI 000021bf: PUSH2 0x21c6 000021c2: PUSH2 0x2c36 000021c5: JUMP 000021c6: JUMPDEST 000021c7: PUSH1 0x01 000021c9: SWAP1 000021ca: SUB 000021cb: DUP2 000021cc: DUP2 000021cd: SWAP1 000021ce: PUSH1 0x00 000021d0: MSTORE 000021d1: PUSH1 0x20 000021d3: PUSH1 0x00 000021d5: KECCAK256 000021d6: ADD 000021d7: PUSH1 0x00 000021d9: SWAP1 000021da: SSTORE 000021db: SWAP1 000021dc: SSTORE 000021dd: DUP4 000021de: PUSH1 0x01 000021e0: ADD 000021e1: PUSH1 0x00 000021e3: DUP5 000021e4: DUP2 000021e5: MSTORE 000021e6: PUSH1 0x20 000021e8: ADD 000021e9: SWAP1 000021ea: DUP2 000021eb: MSTORE 000021ec: PUSH1 0x20 000021ee: ADD 000021ef: PUSH1 0x00 000021f1: KECCAK256 000021f2: PUSH1 0x00 000021f4: SWAP1 000021f5: SSTORE 000021f6: POP 000021f7: POP 000021f8: POP 000021f9: POP 000021fa: JUMP 000021fb: JUMPDEST 000021fc: PUSH1 0x00 000021fe: PUSH2 0x2250 00002201: DUP3 00002202: PUSH1 0x40 00002204: MLOAD 00002205: DUP1 00002206: PUSH1 0x40 00002208: ADD 00002209: PUSH1 0x40 0000220b: MSTORE 0000220c: DUP1 0000220d: PUSH1 0x20 0000220f: DUP2 00002210: MSTORE 00002211: PUSH1 0x20 00002213: ADD 00002214: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00002235: DUP2 00002236: MSTORE 00002237: POP 00002238: DUP6 00002239: PUSH1 0x01 0000223b: PUSH1 0x01 0000223d: PUSH1 0xa0 0000223f: SHL 00002240: SUB 00002241: AND 00002242: PUSH2 0x22d0 00002245: SWAP1 00002246: SWAP3 00002247: SWAP2 00002248: SWAP1 00002249: PUSH4 0xffffffff 0000224e: AND 0000224f: JUMP 00002250: JUMPDEST 00002251: SWAP1 00002252: POP 00002253: DUP1 00002254: MLOAD 00002255: PUSH1 0x00 00002257: EQ 00002258: DUP1 00002259: PUSH2 0x2271 0000225c: JUMPI 0000225d: POP 0000225e: DUP1 0000225f: DUP1 00002260: PUSH1 0x20 00002262: ADD 00002263: SWAP1 00002264: MLOAD 00002265: DUP2 00002266: ADD 00002267: SWAP1 00002268: PUSH2 0x2271 0000226b: SWAP2 0000226c: SWAP1 0000226d: PUSH2 0x2c4c 00002270: JUMP 00002271: JUMPDEST 00002272: PUSH2 0x0e19 00002275: JUMPI 00002276: PUSH1 0x40 00002278: MLOAD 00002279: PUSH3 0x461bcd 0000227d: PUSH1 0xe5 0000227f: SHL 00002280: DUP2 00002281: MSTORE 00002282: PUSH1 0x20 00002284: PUSH1 0x04 00002286: DUP3 00002287: ADD 00002288: MSTORE 00002289: PUSH1 0x2a 0000228b: PUSH1 0x24 0000228d: DUP3 0000228e: ADD 0000228f: MSTORE 00002290: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000022b1: PUSH1 0x44 000022b3: DUP3 000022b4: ADD 000022b5: MSTORE 000022b6: PUSH10 0x1bdd081cdd58d8d95959 000022c1: PUSH1 0xb2 000022c3: SHL 000022c4: PUSH1 0x64 000022c6: DUP3 000022c7: ADD 000022c8: MSTORE 000022c9: PUSH1 0x84 000022cb: ADD 000022cc: PUSH2 0x0fa3 000022cf: JUMP 000022d0: JUMPDEST 000022d1: PUSH1 0x60 000022d3: PUSH2 0x07e6 000022d6: DUP5 000022d7: DUP5 000022d8: PUSH1 0x00 000022da: DUP6 000022db: DUP6 000022dc: PUSH1 0x00 000022de: DUP1 000022df: DUP7 000022e0: PUSH1 0x01 000022e2: PUSH1 0x01 000022e4: PUSH1 0xa0 000022e6: SHL 000022e7: SUB 000022e8: AND 000022e9: DUP6 000022ea: DUP8 000022eb: PUSH1 0x40 000022ed: MLOAD 000022ee: PUSH2 0x22f7 000022f1: SWAP2 000022f2: SWAP1 000022f3: PUSH2 0x2c92 000022f6: JUMP 000022f7: JUMPDEST 000022f8: PUSH1 0x00 000022fa: PUSH1 0x40 000022fc: MLOAD 000022fd: DUP1 000022fe: DUP4 000022ff: SUB 00002300: DUP2 00002301: DUP6 00002302: DUP8 00002303: GAS 00002304: CALL 00002305: SWAP3 00002306: POP 00002307: POP 00002308: POP 00002309: RETURNDATASIZE 0000230a: DUP1 0000230b: PUSH1 0x00 0000230d: DUP2 0000230e: EQ 0000230f: PUSH2 0x2334 00002312: JUMPI 00002313: PUSH1 0x40 00002315: MLOAD 00002316: SWAP2 00002317: POP 00002318: PUSH1 0x1f 0000231a: NOT 0000231b: PUSH1 0x3f 0000231d: RETURNDATASIZE 0000231e: ADD 0000231f: AND 00002320: DUP3 00002321: ADD 00002322: PUSH1 0x40 00002324: MSTORE 00002325: RETURNDATASIZE 00002326: DUP3 00002327: MSTORE 00002328: RETURNDATASIZE 00002329: PUSH1 0x00 0000232b: PUSH1 0x20 0000232d: DUP5 0000232e: ADD 0000232f: RETURNDATACOPY 00002330: PUSH2 0x2339 00002333: JUMP 00002334: JUMPDEST 00002335: PUSH1 0x60 00002337: SWAP2 00002338: POP 00002339: JUMPDEST 0000233a: POP 0000233b: SWAP2 0000233c: POP 0000233d: SWAP2 0000233e: POP 0000233f: PUSH2 0x234a 00002342: DUP8 00002343: DUP4 00002344: DUP4 00002345: DUP8 00002346: PUSH2 0x2355 00002349: JUMP 0000234a: JUMPDEST 0000234b: SWAP8 0000234c: SWAP7 0000234d: POP 0000234e: POP 0000234f: POP 00002350: POP 00002351: POP 00002352: POP 00002353: POP 00002354: JUMP 00002355: JUMPDEST 00002356: PUSH1 0x60 00002358: DUP4 00002359: ISZERO 0000235a: PUSH2 0x23c4 0000235d: JUMPI 0000235e: DUP3 0000235f: MLOAD 00002360: PUSH1 0x00 00002362: SUB 00002363: PUSH2 0x23bd 00002366: JUMPI 00002367: PUSH1 0x01 00002369: PUSH1 0x01 0000236b: PUSH1 0xa0 0000236d: SHL 0000236e: SUB 0000236f: DUP6 00002370: AND 00002371: EXTCODESIZE 00002372: PUSH2 0x23bd 00002375: JUMPI 00002376: PUSH1 0x40 00002378: MLOAD 00002379: PUSH3 0x461bcd 0000237d: PUSH1 0xe5 0000237f: SHL 00002380: DUP2 00002381: MSTORE 00002382: PUSH1 0x20 00002384: PUSH1 0x04 00002386: DUP3 00002387: ADD 00002388: MSTORE 00002389: PUSH1 0x1d 0000238b: PUSH1 0x24 0000238d: DUP3 0000238e: ADD 0000238f: MSTORE 00002390: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000023b1: PUSH1 0x44 000023b3: DUP3 000023b4: ADD 000023b5: MSTORE 000023b6: PUSH1 0x64 000023b8: ADD 000023b9: PUSH2 0x0fa3 000023bc: JUMP 000023bd: JUMPDEST 000023be: POP 000023bf: DUP2 000023c0: PUSH2 0x07e6 000023c3: JUMP 000023c4: JUMPDEST 000023c5: PUSH2 0x07e6 000023c8: DUP4 000023c9: DUP4 000023ca: DUP2 000023cb: MLOAD 000023cc: ISZERO 000023cd: PUSH2 0x23d9 000023d0: JUMPI 000023d1: DUP2 000023d2: MLOAD 000023d3: DUP1 000023d4: DUP4 000023d5: PUSH1 0x20 000023d7: ADD 000023d8: REVERT 000023d9: JUMPDEST 000023da: DUP1 000023db: PUSH1 0x40 000023dd: MLOAD 000023de: PUSH3 0x461bcd 000023e2: PUSH1 0xe5 000023e4: SHL 000023e5: DUP2 000023e6: MSTORE 000023e7: PUSH1 0x04 000023e9: ADD 000023ea: PUSH2 0x0fa3 000023ed: SWAP2 000023ee: SWAP1 000023ef: PUSH2 0x2cae 000023f2: JUMP 000023f3: JUMPDEST 000023f4: DUP1 000023f5: CALLDATALOAD 000023f6: PUSH1 0x01 000023f8: PUSH1 0x01 000023fa: PUSH1 0xa0 000023fc: SHL 000023fd: SUB 000023fe: DUP2 000023ff: AND 00002400: DUP2 00002401: EQ 00002402: PUSH2 0x240a 00002405: JUMPI 00002406: PUSH1 0x00 00002408: DUP1 00002409: REVERT 0000240a: JUMPDEST 0000240b: SWAP2 0000240c: SWAP1 0000240d: POP 0000240e: JUMP 0000240f: JUMPDEST 00002410: PUSH1 0x00 00002412: PUSH1 0x20 00002414: DUP3 00002415: DUP5 00002416: SUB 00002417: SLT 00002418: ISZERO 00002419: PUSH2 0x2421 0000241c: JUMPI 0000241d: PUSH1 0x00 0000241f: DUP1 00002420: REVERT 00002421: JUMPDEST 00002422: PUSH2 0x242a 00002425: DUP3 00002426: PUSH2 0x23f3 00002429: JUMP 0000242a: JUMPDEST 0000242b: SWAP4 0000242c: SWAP3 0000242d: POP 0000242e: POP 0000242f: POP 00002430: JUMP 00002431: JUMPDEST 00002432: PUSH4 0x4e487b71 00002437: PUSH1 0xe0 00002439: SHL 0000243a: PUSH1 0x00 0000243c: MSTORE 0000243d: PUSH1 0x41 0000243f: PUSH1 0x04 00002441: MSTORE 00002442: PUSH1 0x24 00002444: PUSH1 0x00 00002446: REVERT 00002447: JUMPDEST 00002448: PUSH1 0x40 0000244a: MLOAD 0000244b: PUSH1 0x1f 0000244d: DUP3 0000244e: ADD 0000244f: PUSH1 0x1f 00002451: NOT 00002452: AND 00002453: DUP2 00002454: ADD 00002455: PUSH8 0xffffffffffffffff 0000245e: DUP2 0000245f: GT 00002460: DUP3 00002461: DUP3 00002462: LT 00002463: OR 00002464: ISZERO 00002465: PUSH2 0x2470 00002468: JUMPI 00002469: PUSH2 0x2470 0000246c: PUSH2 0x2431 0000246f: JUMP 00002470: JUMPDEST 00002471: PUSH1 0x40 00002473: MSTORE 00002474: SWAP2 00002475: SWAP1 00002476: POP 00002477: JUMP 00002478: JUMPDEST 00002479: PUSH1 0x00 0000247b: DUP3 0000247c: PUSH1 0x1f 0000247e: DUP4 0000247f: ADD 00002480: SLT 00002481: PUSH2 0x2489 00002484: JUMPI 00002485: PUSH1 0x00 00002487: DUP1 00002488: REVERT 00002489: JUMPDEST 0000248a: DUP2 0000248b: CALLDATALOAD 0000248c: PUSH8 0xffffffffffffffff 00002495: DUP2 00002496: GT 00002497: ISZERO 00002498: PUSH2 0x24a3 0000249b: JUMPI 0000249c: PUSH2 0x24a3 0000249f: PUSH2 0x2431 000024a2: JUMP 000024a3: JUMPDEST 000024a4: PUSH2 0x24b6 000024a7: PUSH1 0x1f 000024a9: DUP3 000024aa: ADD 000024ab: PUSH1 0x1f 000024ad: NOT 000024ae: AND 000024af: PUSH1 0x20 000024b1: ADD 000024b2: PUSH2 0x2447 000024b5: JUMP 000024b6: JUMPDEST 000024b7: DUP2 000024b8: DUP2 000024b9: MSTORE 000024ba: DUP5 000024bb: PUSH1 0x20 000024bd: DUP4 000024be: DUP7 000024bf: ADD 000024c0: ADD 000024c1: GT 000024c2: ISZERO 000024c3: PUSH2 0x24cb 000024c6: JUMPI 000024c7: PUSH1 0x00 000024c9: DUP1 000024ca: REVERT 000024cb: JUMPDEST 000024cc: DUP2 000024cd: PUSH1 0x20 000024cf: DUP6 000024d0: ADD 000024d1: PUSH1 0x20 000024d3: DUP4 000024d4: ADD 000024d5: CALLDATACOPY 000024d6: PUSH1 0x00 000024d8: SWAP2 000024d9: DUP2 000024da: ADD 000024db: PUSH1 0x20 000024dd: ADD 000024de: SWAP2 000024df: SWAP1 000024e0: SWAP2 000024e1: MSTORE 000024e2: SWAP4 000024e3: SWAP3 000024e4: POP 000024e5: POP 000024e6: POP 000024e7: JUMP 000024e8: JUMPDEST 000024e9: PUSH1 0x00 000024eb: DUP1 000024ec: PUSH1 0x00 000024ee: DUP1 000024ef: PUSH1 0x80 000024f1: DUP6 000024f2: DUP8 000024f3: SUB 000024f4: SLT 000024f5: ISZERO 000024f6: PUSH2 0x24fe 000024f9: JUMPI 000024fa: PUSH1 0x00 000024fc: DUP1 000024fd: REVERT 000024fe: JUMPDEST 000024ff: PUSH2 0x2507 00002502: DUP6 00002503: PUSH2 0x23f3 00002506: JUMP 00002507: JUMPDEST 00002508: SWAP4 00002509: POP 0000250a: PUSH2 0x2515 0000250d: PUSH1 0x20 0000250f: DUP7 00002510: ADD 00002511: PUSH2 0x23f3 00002514: JUMP 00002515: JUMPDEST 00002516: SWAP3 00002517: POP 00002518: PUSH1 0x40 0000251a: DUP6 0000251b: ADD 0000251c: CALLDATALOAD 0000251d: SWAP2 0000251e: POP 0000251f: PUSH1 0x60 00002521: DUP6 00002522: ADD 00002523: CALLDATALOAD 00002524: PUSH8 0xffffffffffffffff 0000252d: DUP2 0000252e: GT 0000252f: ISZERO 00002530: PUSH2 0x2538 00002533: JUMPI 00002534: PUSH1 0x00 00002536: DUP1 00002537: REVERT 00002538: JUMPDEST 00002539: PUSH2 0x2544 0000253c: DUP8 0000253d: DUP3 0000253e: DUP9 0000253f: ADD 00002540: PUSH2 0x2478 00002543: JUMP 00002544: JUMPDEST 00002545: SWAP2 00002546: POP 00002547: POP 00002548: SWAP3 00002549: SWAP6 0000254a: SWAP2 0000254b: SWAP5 0000254c: POP 0000254d: SWAP3 0000254e: POP 0000254f: JUMP 00002550: JUMPDEST 00002551: PUSH1 0x00 00002553: DUP1 00002554: DUP4 00002555: PUSH1 0x1f 00002557: DUP5 00002558: ADD 00002559: SLT 0000255a: PUSH2 0x2562 0000255d: JUMPI 0000255e: PUSH1 0x00 00002560: DUP1 00002561: REVERT 00002562: JUMPDEST 00002563: POP 00002564: DUP2 00002565: CALLDATALOAD 00002566: PUSH8 0xffffffffffffffff 0000256f: DUP2 00002570: GT 00002571: ISZERO 00002572: PUSH2 0x257a 00002575: JUMPI 00002576: PUSH1 0x00 00002578: DUP1 00002579: REVERT 0000257a: JUMPDEST 0000257b: PUSH1 0x20 0000257d: DUP4 0000257e: ADD 0000257f: SWAP2 00002580: POP 00002581: DUP4 00002582: PUSH1 0x20 00002584: DUP3 00002585: PUSH1 0x06 00002587: SHL 00002588: DUP6 00002589: ADD 0000258a: ADD 0000258b: GT 0000258c: ISZERO 0000258d: PUSH2 0x2595 00002590: JUMPI 00002591: PUSH1 0x00 00002593: DUP1 00002594: REVERT 00002595: JUMPDEST 00002596: SWAP3 00002597: POP 00002598: SWAP3 00002599: SWAP1 0000259a: POP 0000259b: JUMP 0000259c: JUMPDEST 0000259d: PUSH1 0x00 0000259f: DUP1 000025a0: PUSH1 0x00 000025a2: DUP1 000025a3: PUSH1 0x60 000025a5: DUP6 000025a6: DUP8 000025a7: SUB 000025a8: SLT 000025a9: ISZERO 000025aa: PUSH2 0x25b2 000025ad: JUMPI 000025ae: PUSH1 0x00 000025b0: DUP1 000025b1: REVERT 000025b2: JUMPDEST 000025b3: DUP5 000025b4: CALLDATALOAD 000025b5: SWAP4 000025b6: POP 000025b7: PUSH2 0x25c2 000025ba: PUSH1 0x20 000025bc: DUP7 000025bd: ADD 000025be: PUSH2 0x23f3 000025c1: JUMP 000025c2: JUMPDEST 000025c3: SWAP3 000025c4: POP 000025c5: PUSH1 0x40 000025c7: DUP6 000025c8: ADD 000025c9: CALLDATALOAD 000025ca: PUSH8 0xffffffffffffffff 000025d3: DUP2 000025d4: GT 000025d5: ISZERO 000025d6: PUSH2 0x25de 000025d9: JUMPI 000025da: PUSH1 0x00 000025dc: DUP1 000025dd: REVERT 000025de: JUMPDEST 000025df: PUSH2 0x25ea 000025e2: DUP8 000025e3: DUP3 000025e4: DUP9 000025e5: ADD 000025e6: PUSH2 0x2550 000025e9: JUMP 000025ea: JUMPDEST 000025eb: SWAP6 000025ec: SWAP9 000025ed: SWAP5 000025ee: SWAP8 000025ef: POP 000025f0: SWAP6 000025f1: POP 000025f2: POP 000025f3: POP 000025f4: POP 000025f5: JUMP 000025f6: JUMPDEST 000025f7: DUP1 000025f8: CALLDATALOAD 000025f9: PUSH1 0x02 000025fb: DUP2 000025fc: LT 000025fd: PUSH2 0x240a 00002600: JUMPI 00002601: PUSH1 0x00 00002603: DUP1 00002604: REVERT 00002605: JUMPDEST 00002606: PUSH1 0x00 00002608: DUP1 00002609: PUSH1 0x40 0000260b: DUP4 0000260c: DUP6 0000260d: SUB 0000260e: SLT 0000260f: ISZERO 00002610: PUSH2 0x2618 00002613: JUMPI 00002614: PUSH1 0x00 00002616: DUP1 00002617: REVERT 00002618: JUMPDEST 00002619: PUSH2 0x2621 0000261c: DUP4 0000261d: PUSH2 0x25f6 00002620: JUMP 00002621: JUMPDEST 00002622: SWAP5 00002623: PUSH1 0x20 00002625: SWAP4 00002626: SWAP1 00002627: SWAP4 00002628: ADD 00002629: CALLDATALOAD 0000262a: SWAP4 0000262b: POP 0000262c: POP 0000262d: POP 0000262e: JUMP 0000262f: JUMPDEST 00002630: PUSH1 0x00 00002632: DUP2 00002633: MLOAD 00002634: DUP1 00002635: DUP5 00002636: MSTORE 00002637: PUSH1 0x20 00002639: DUP1 0000263a: DUP6 0000263b: ADD 0000263c: SWAP5 0000263d: POP 0000263e: DUP1 0000263f: DUP5 00002640: ADD 00002641: PUSH1 0x00 00002643: JUMPDEST 00002644: DUP4 00002645: DUP2 00002646: LT 00002647: ISZERO 00002648: PUSH2 0x265f 0000264b: JUMPI 0000264c: DUP2 0000264d: MLOAD 0000264e: DUP8 0000264f: MSTORE 00002650: SWAP6 00002651: DUP3 00002652: ADD 00002653: SWAP6 00002654: SWAP1 00002655: DUP3 00002656: ADD 00002657: SWAP1 00002658: PUSH1 0x01 0000265a: ADD 0000265b: PUSH2 0x2643 0000265e: JUMP 0000265f: JUMPDEST 00002660: POP 00002661: SWAP5 00002662: SWAP6 00002663: SWAP5 00002664: POP 00002665: POP 00002666: POP 00002667: POP 00002668: POP 00002669: JUMP 0000266a: JUMPDEST 0000266b: DUP8 0000266c: DUP2 0000266d: MSTORE 0000266e: DUP7 0000266f: PUSH1 0x20 00002671: DUP3 00002672: ADD 00002673: MSTORE 00002674: DUP6 00002675: PUSH1 0x40 00002677: DUP3 00002678: ADD 00002679: MSTORE 0000267a: DUP5 0000267b: PUSH1 0x60 0000267d: DUP3 0000267e: ADD 0000267f: MSTORE 00002680: DUP4 00002681: PUSH1 0x80 00002683: DUP3 00002684: ADD 00002685: MSTORE 00002686: PUSH1 0xe0 00002688: PUSH1 0xa0 0000268a: DUP3 0000268b: ADD 0000268c: MSTORE 0000268d: PUSH1 0x00 0000268f: PUSH2 0x269b 00002692: PUSH1 0xe0 00002694: DUP4 00002695: ADD 00002696: DUP6 00002697: PUSH2 0x262f 0000269a: JUMP 0000269b: JUMPDEST 0000269c: DUP3 0000269d: DUP2 0000269e: SUB 0000269f: PUSH1 0xc0 000026a1: DUP5 000026a2: ADD 000026a3: MSTORE 000026a4: PUSH2 0x26ad 000026a7: DUP2 000026a8: DUP6 000026a9: PUSH2 0x262f 000026ac: JUMP 000026ad: JUMPDEST 000026ae: SWAP11 000026af: SWAP10 000026b0: POP 000026b1: POP 000026b2: POP 000026b3: POP 000026b4: POP 000026b5: POP 000026b6: POP 000026b7: POP 000026b8: POP 000026b9: POP 000026ba: JUMP 000026bb: JUMPDEST 000026bc: PUSH1 0x00 000026be: DUP1 000026bf: PUSH1 0x00 000026c1: PUSH1 0x60 000026c3: DUP5 000026c4: DUP7 000026c5: SUB 000026c6: SLT 000026c7: ISZERO 000026c8: PUSH2 0x26d0 000026cb: JUMPI 000026cc: PUSH1 0x00 000026ce: DUP1 000026cf: REVERT 000026d0: JUMPDEST 000026d1: PUSH2 0x26d9 000026d4: DUP5 000026d5: PUSH2 0x23f3 000026d8: JUMP 000026d9: JUMPDEST 000026da: SWAP6 000026db: PUSH1 0x20 000026dd: DUP6 000026de: ADD 000026df: CALLDATALOAD 000026e0: SWAP6 000026e1: POP 000026e2: PUSH1 0x40 000026e4: SWAP1 000026e5: SWAP5 000026e6: ADD 000026e7: CALLDATALOAD 000026e8: SWAP4 000026e9: SWAP3 000026ea: POP 000026eb: POP 000026ec: POP 000026ed: JUMP 000026ee: JUMPDEST 000026ef: PUSH1 0x00 000026f1: PUSH8 0xffffffffffffffff 000026fa: DUP3 000026fb: GT 000026fc: ISZERO 000026fd: PUSH2 0x2708 00002700: JUMPI 00002701: PUSH2 0x2708 00002704: PUSH2 0x2431 00002707: JUMP 00002708: JUMPDEST 00002709: POP 0000270a: PUSH1 0x05 0000270c: SHL 0000270d: PUSH1 0x20 0000270f: ADD 00002710: SWAP1 00002711: JUMP 00002712: JUMPDEST 00002713: PUSH1 0x00 00002715: DUP3 00002716: PUSH1 0x1f 00002718: DUP4 00002719: ADD 0000271a: SLT 0000271b: PUSH2 0x2723 0000271e: JUMPI 0000271f: PUSH1 0x00 00002721: DUP1 00002722: REVERT 00002723: JUMPDEST 00002724: DUP2 00002725: CALLDATALOAD 00002726: PUSH1 0x20 00002728: PUSH2 0x2738 0000272b: PUSH2 0x2733 0000272e: DUP4 0000272f: PUSH2 0x26ee 00002732: JUMP 00002733: JUMPDEST 00002734: PUSH2 0x2447 00002737: JUMP 00002738: JUMPDEST 00002739: DUP3 0000273a: DUP2 0000273b: MSTORE 0000273c: PUSH1 0x05 0000273e: SWAP3 0000273f: SWAP1 00002740: SWAP3 00002741: SHL 00002742: DUP5 00002743: ADD 00002744: DUP2 00002745: ADD 00002746: SWAP2 00002747: DUP2 00002748: DUP2 00002749: ADD 0000274a: SWAP1 0000274b: DUP7 0000274c: DUP5 0000274d: GT 0000274e: ISZERO 0000274f: PUSH2 0x2757 00002752: JUMPI 00002753: PUSH1 0x00 00002755: DUP1 00002756: REVERT 00002757: JUMPDEST 00002758: DUP3 00002759: DUP7 0000275a: ADD 0000275b: JUMPDEST 0000275c: DUP5 0000275d: DUP2 0000275e: LT 0000275f: ISZERO 00002760: PUSH2 0x2772 00002763: JUMPI 00002764: DUP1 00002765: CALLDATALOAD 00002766: DUP4 00002767: MSTORE 00002768: SWAP2 00002769: DUP4 0000276a: ADD 0000276b: SWAP2 0000276c: DUP4 0000276d: ADD 0000276e: PUSH2 0x275b 00002771: JUMP 00002772: JUMPDEST 00002773: POP 00002774: SWAP7 00002775: SWAP6 00002776: POP 00002777: POP 00002778: POP 00002779: POP 0000277a: POP 0000277b: POP 0000277c: JUMP 0000277d: JUMPDEST 0000277e: PUSH1 0x00 00002780: DUP1 00002781: PUSH1 0x00 00002783: PUSH1 0x60 00002785: DUP5 00002786: DUP7 00002787: SUB 00002788: SLT 00002789: ISZERO 0000278a: PUSH2 0x2792 0000278d: JUMPI 0000278e: PUSH1 0x00 00002790: DUP1 00002791: REVERT 00002792: JUMPDEST 00002793: PUSH2 0x279b 00002796: DUP5 00002797: PUSH2 0x25f6 0000279a: JUMP 0000279b: JUMPDEST 0000279c: SWAP3 0000279d: POP 0000279e: PUSH1 0x20 000027a0: DUP1 000027a1: DUP6 000027a2: ADD 000027a3: CALLDATALOAD 000027a4: PUSH8 0xffffffffffffffff 000027ad: DUP1 000027ae: DUP3 000027af: GT 000027b0: ISZERO 000027b1: PUSH2 0x27b9 000027b4: JUMPI 000027b5: PUSH1 0x00 000027b7: DUP1 000027b8: REVERT 000027b9: JUMPDEST 000027ba: PUSH2 0x27c5 000027bd: DUP9 000027be: DUP4 000027bf: DUP10 000027c0: ADD 000027c1: PUSH2 0x2712 000027c4: JUMP 000027c5: JUMPDEST 000027c6: SWAP5 000027c7: POP 000027c8: PUSH1 0x40 000027ca: DUP8 000027cb: ADD 000027cc: CALLDATALOAD 000027cd: SWAP2 000027ce: POP 000027cf: DUP1 000027d0: DUP3 000027d1: GT 000027d2: ISZERO 000027d3: PUSH2 0x27db 000027d6: JUMPI 000027d7: PUSH1 0x00 000027d9: DUP1 000027da: REVERT 000027db: JUMPDEST 000027dc: POP 000027dd: DUP6 000027de: ADD 000027df: PUSH1 0x1f 000027e1: DUP2 000027e2: ADD 000027e3: DUP8 000027e4: SGT 000027e5: PUSH2 0x27ed 000027e8: JUMPI 000027e9: PUSH1 0x00 000027eb: DUP1 000027ec: REVERT 000027ed: JUMPDEST 000027ee: DUP1 000027ef: CALLDATALOAD 000027f0: PUSH2 0x27fb 000027f3: PUSH2 0x2733 000027f6: DUP3 000027f7: PUSH2 0x26ee 000027fa: JUMP 000027fb: JUMPDEST 000027fc: DUP2 000027fd: DUP2 000027fe: MSTORE 000027ff: PUSH1 0x05 00002801: SWAP2 00002802: SWAP1 00002803: SWAP2 00002804: SHL 00002805: DUP3 00002806: ADD 00002807: DUP4 00002808: ADD 00002809: SWAP1 0000280a: DUP4 0000280b: DUP2 0000280c: ADD 0000280d: SWAP1 0000280e: DUP10 0000280f: DUP4 00002810: GT 00002811: ISZERO 00002812: PUSH2 0x281a 00002815: JUMPI 00002816: PUSH1 0x00 00002818: DUP1 00002819: REVERT 0000281a: JUMPDEST 0000281b: SWAP3 0000281c: DUP5 0000281d: ADD 0000281e: SWAP3 0000281f: JUMPDEST 00002820: DUP3 00002821: DUP5 00002822: LT 00002823: ISZERO 00002824: PUSH2 0x284e 00002827: JUMPI 00002828: DUP4 00002829: CALLDATALOAD 0000282a: PUSH1 0x01 0000282c: PUSH1 0x01 0000282e: PUSH1 0x80 00002830: SHL 00002831: SUB 00002832: DUP2 00002833: AND 00002834: DUP2 00002835: EQ 00002836: PUSH2 0x283f 00002839: JUMPI 0000283a: PUSH1 0x00 0000283c: DUP1 0000283d: DUP2 0000283e: REVERT 0000283f: JUMPDEST 00002840: DUP3 00002841: MSTORE 00002842: SWAP3 00002843: DUP5 00002844: ADD 00002845: SWAP3 00002846: SWAP1 00002847: DUP5 00002848: ADD 00002849: SWAP1 0000284a: PUSH2 0x281f 0000284d: JUMP 0000284e: JUMPDEST 0000284f: DUP1 00002850: SWAP6 00002851: POP 00002852: POP 00002853: POP 00002854: POP 00002855: POP 00002856: POP 00002857: SWAP3 00002858: POP 00002859: SWAP3 0000285a: POP 0000285b: SWAP3 0000285c: JUMP 0000285d: JUMPDEST 0000285e: PUSH1 0x00 00002860: DUP1 00002861: PUSH1 0x00 00002863: PUSH1 0x40 00002865: DUP5 00002866: DUP7 00002867: SUB 00002868: SLT 00002869: ISZERO 0000286a: PUSH2 0x2872 0000286d: JUMPI 0000286e: PUSH1 0x00 00002870: DUP1 00002871: REVERT 00002872: JUMPDEST 00002873: DUP4 00002874: CALLDATALOAD 00002875: SWAP3 00002876: POP 00002877: PUSH1 0x20 00002879: DUP5 0000287a: ADD 0000287b: CALLDATALOAD 0000287c: PUSH8 0xffffffffffffffff 00002885: DUP2 00002886: GT 00002887: ISZERO 00002888: PUSH2 0x2890 0000288b: JUMPI 0000288c: PUSH1 0x00 0000288e: DUP1 0000288f: REVERT 00002890: JUMPDEST 00002891: PUSH2 0x289c 00002894: DUP7 00002895: DUP3 00002896: DUP8 00002897: ADD 00002898: PUSH2 0x2550 0000289b: JUMP 0000289c: JUMPDEST 0000289d: SWAP5 0000289e: SWAP8 0000289f: SWAP1 000028a0: SWAP7 000028a1: POP 000028a2: SWAP4 000028a3: SWAP5 000028a4: POP 000028a5: POP 000028a6: POP 000028a7: POP 000028a8: JUMP 000028a9: JUMPDEST 000028aa: PUSH1 0x00 000028ac: DUP1 000028ad: PUSH1 0x20 000028af: DUP4 000028b0: DUP6 000028b1: SUB 000028b2: SLT 000028b3: ISZERO 000028b4: PUSH2 0x28bc 000028b7: JUMPI 000028b8: PUSH1 0x00 000028ba: DUP1 000028bb: REVERT 000028bc: JUMPDEST 000028bd: DUP3 000028be: CALLDATALOAD 000028bf: PUSH8 0xffffffffffffffff 000028c8: DUP1 000028c9: DUP3 000028ca: GT 000028cb: ISZERO 000028cc: PUSH2 0x28d4 000028cf: JUMPI 000028d0: PUSH1 0x00 000028d2: DUP1 000028d3: REVERT 000028d4: JUMPDEST 000028d5: DUP2 000028d6: DUP6 000028d7: ADD 000028d8: SWAP2 000028d9: POP 000028da: DUP6 000028db: PUSH1 0x1f 000028dd: DUP4 000028de: ADD 000028df: SLT 000028e0: PUSH2 0x28e8 000028e3: JUMPI 000028e4: PUSH1 0x00 000028e6: DUP1 000028e7: REVERT 000028e8: JUMPDEST 000028e9: DUP2 000028ea: CALLDATALOAD 000028eb: DUP2 000028ec: DUP2 000028ed: GT 000028ee: ISZERO 000028ef: PUSH2 0x28f7 000028f2: JUMPI 000028f3: PUSH1 0x00 000028f5: DUP1 000028f6: REVERT 000028f7: JUMPDEST 000028f8: DUP7 000028f9: PUSH1 0x20 000028fb: PUSH1 0xa0 000028fd: DUP4 000028fe: MUL 000028ff: DUP6 00002900: ADD 00002901: ADD 00002902: GT 00002903: ISZERO 00002904: PUSH2 0x290c 00002907: JUMPI 00002908: PUSH1 0x00 0000290a: DUP1 0000290b: REVERT 0000290c: JUMPDEST 0000290d: PUSH1 0x20 0000290f: SWAP3 00002910: SWAP1 00002911: SWAP3 00002912: ADD 00002913: SWAP7 00002914: SWAP2 00002915: SWAP6 00002916: POP 00002917: SWAP1 00002918: SWAP4 00002919: POP 0000291a: POP 0000291b: POP 0000291c: POP 0000291d: JUMP 0000291e: JUMPDEST 0000291f: PUSH1 0x00 00002921: DUP1 00002922: PUSH1 0x00 00002924: DUP1 00002925: PUSH1 0x00 00002927: PUSH1 0xa0 00002929: DUP7 0000292a: DUP9 0000292b: SUB 0000292c: SLT 0000292d: ISZERO 0000292e: PUSH2 0x2936 00002931: JUMPI 00002932: PUSH1 0x00 00002934: DUP1 00002935: REVERT 00002936: JUMPDEST 00002937: PUSH2 0x293f 0000293a: DUP7 0000293b: PUSH2 0x23f3 0000293e: JUMP 0000293f: JUMPDEST 00002940: SWAP5 00002941: POP 00002942: PUSH2 0x294d 00002945: PUSH1 0x20 00002947: DUP8 00002948: ADD 00002949: PUSH2 0x23f3 0000294c: JUMP 0000294d: JUMPDEST 0000294e: SWAP4 0000294f: POP 00002950: PUSH1 0x40 00002952: DUP7 00002953: ADD 00002954: CALLDATALOAD 00002955: PUSH8 0xffffffffffffffff 0000295e: DUP1 0000295f: DUP3 00002960: GT 00002961: ISZERO 00002962: PUSH2 0x296a 00002965: JUMPI 00002966: PUSH1 0x00 00002968: DUP1 00002969: REVERT 0000296a: JUMPDEST 0000296b: PUSH2 0x2976 0000296e: DUP10 0000296f: DUP4 00002970: DUP11 00002971: ADD 00002972: PUSH2 0x2712 00002975: JUMP 00002976: JUMPDEST 00002977: SWAP5 00002978: POP 00002979: PUSH1 0x60 0000297b: DUP9 0000297c: ADD 0000297d: CALLDATALOAD 0000297e: SWAP2 0000297f: POP 00002980: DUP1 00002981: DUP3 00002982: GT 00002983: ISZERO 00002984: PUSH2 0x298c 00002987: JUMPI 00002988: PUSH1 0x00 0000298a: DUP1 0000298b: REVERT 0000298c: JUMPDEST 0000298d: PUSH2 0x2998 00002990: DUP10 00002991: DUP4 00002992: DUP11 00002993: ADD 00002994: PUSH2 0x2712 00002997: JUMP 00002998: JUMPDEST 00002999: SWAP4 0000299a: POP 0000299b: PUSH1 0x80 0000299d: DUP9 0000299e: ADD 0000299f: CALLDATALOAD 000029a0: SWAP2 000029a1: POP 000029a2: DUP1 000029a3: DUP3 000029a4: GT 000029a5: ISZERO 000029a6: PUSH2 0x29ae 000029a9: JUMPI 000029aa: PUSH1 0x00 000029ac: DUP1 000029ad: REVERT 000029ae: JUMPDEST 000029af: POP 000029b0: PUSH2 0x29bb 000029b3: DUP9 000029b4: DUP3 000029b5: DUP10 000029b6: ADD 000029b7: PUSH2 0x2478 000029ba: JUMP 000029bb: JUMPDEST 000029bc: SWAP2 000029bd: POP 000029be: POP 000029bf: SWAP3 000029c0: SWAP6 000029c1: POP 000029c2: SWAP3 000029c3: SWAP6 000029c4: SWAP1 000029c5: SWAP4 000029c6: POP 000029c7: JUMP 000029c8: JUMPDEST 000029c9: PUSH1 0x00 000029cb: DUP1 000029cc: PUSH1 0x40 000029ce: DUP4 000029cf: DUP6 000029d0: SUB 000029d1: SLT 000029d2: ISZERO 000029d3: PUSH2 0x29db 000029d6: JUMPI 000029d7: PUSH1 0x00 000029d9: DUP1 000029da: REVERT 000029db: JUMPDEST 000029dc: POP 000029dd: POP 000029de: DUP1 000029df: CALLDATALOAD 000029e0: SWAP3 000029e1: PUSH1 0x20 000029e3: SWAP1 000029e4: SWAP2 000029e5: ADD 000029e6: CALLDATALOAD 000029e7: SWAP2 000029e8: POP 000029e9: JUMP 000029ea: JUMPDEST 000029eb: PUSH1 0x00 000029ed: DUP1 000029ee: PUSH1 0x00 000029f0: DUP1 000029f1: PUSH1 0x80 000029f3: DUP6 000029f4: DUP8 000029f5: SUB 000029f6: SLT 000029f7: ISZERO 000029f8: PUSH2 0x2a00 000029fb: JUMPI 000029fc: PUSH1 0x00 000029fe: DUP1 000029ff: REVERT 00002a00: JUMPDEST 00002a01: PUSH2 0x2a09 00002a04: DUP6 00002a05: PUSH2 0x23f3 00002a08: JUMP 00002a09: JUMPDEST 00002a0a: SWAP7 00002a0b: PUSH1 0x20 00002a0d: DUP7 00002a0e: ADD 00002a0f: CALLDATALOAD 00002a10: SWAP7 00002a11: POP 00002a12: PUSH1 0x40 00002a14: DUP7 00002a15: ADD 00002a16: CALLDATALOAD 00002a17: SWAP6 00002a18: PUSH1 0x60 00002a1a: ADD 00002a1b: CALLDATALOAD 00002a1c: SWAP5 00002a1d: POP 00002a1e: SWAP3 00002a1f: POP 00002a20: POP 00002a21: POP 00002a22: JUMP 00002a23: JUMPDEST 00002a24: PUSH1 0x00 00002a26: PUSH1 0x20 00002a28: DUP3 00002a29: DUP5 00002a2a: SUB 00002a2b: SLT 00002a2c: ISZERO 00002a2d: PUSH2 0x2a35 00002a30: JUMPI 00002a31: PUSH1 0x00 00002a33: DUP1 00002a34: REVERT 00002a35: JUMPDEST 00002a36: POP 00002a37: CALLDATALOAD 00002a38: SWAP2 00002a39: SWAP1 00002a3a: POP 00002a3b: JUMP 00002a3c: JUMPDEST 00002a3d: PUSH1 0x00 00002a3f: DUP1 00002a40: PUSH1 0x00 00002a42: DUP1 00002a43: PUSH1 0x00 00002a45: PUSH1 0xa0 00002a47: DUP7 00002a48: DUP9 00002a49: SUB 00002a4a: SLT 00002a4b: ISZERO 00002a4c: PUSH2 0x2a54 00002a4f: JUMPI 00002a50: PUSH1 0x00 00002a52: DUP1 00002a53: REVERT 00002a54: JUMPDEST 00002a55: PUSH2 0x2a5d 00002a58: DUP7 00002a59: PUSH2 0x23f3 00002a5c: JUMP 00002a5d: JUMPDEST 00002a5e: SWAP5 00002a5f: POP 00002a60: PUSH2 0x2a6b 00002a63: PUSH1 0x20 00002a65: DUP8 00002a66: ADD 00002a67: PUSH2 0x23f3 00002a6a: JUMP 00002a6b: JUMPDEST 00002a6c: SWAP4 00002a6d: POP 00002a6e: PUSH1 0x40 00002a70: DUP7 00002a71: ADD 00002a72: CALLDATALOAD 00002a73: SWAP3 00002a74: POP 00002a75: PUSH1 0x60 00002a77: DUP7 00002a78: ADD 00002a79: CALLDATALOAD 00002a7a: SWAP2 00002a7b: POP 00002a7c: PUSH1 0x80 00002a7e: DUP7 00002a7f: ADD 00002a80: CALLDATALOAD 00002a81: PUSH8 0xffffffffffffffff 00002a8a: DUP2 00002a8b: GT 00002a8c: ISZERO 00002a8d: PUSH2 0x2a95 00002a90: JUMPI 00002a91: PUSH1 0x00 00002a93: DUP1 00002a94: REVERT 00002a95: JUMPDEST 00002a96: PUSH2 0x29bb 00002a99: DUP9 00002a9a: DUP3 00002a9b: DUP10 00002a9c: ADD 00002a9d: PUSH2 0x2478 00002aa0: JUMP 00002aa1: JUMPDEST 00002aa2: PUSH4 0x4e487b71 00002aa7: PUSH1 0xe0 00002aa9: SHL 00002aaa: PUSH1 0x00 00002aac: MSTORE 00002aad: PUSH1 0x11 00002aaf: PUSH1 0x04 00002ab1: MSTORE 00002ab2: PUSH1 0x24 00002ab4: PUSH1 0x00 00002ab6: REVERT 00002ab7: JUMPDEST 00002ab8: DUP2 00002ab9: DUP2 00002aba: SUB 00002abb: DUP2 00002abc: DUP2 00002abd: GT 00002abe: ISZERO 00002abf: PUSH2 0x1659 00002ac2: JUMPI 00002ac3: PUSH2 0x1659 00002ac6: PUSH2 0x2aa1 00002ac9: JUMP 00002aca: JUMPDEST 00002acb: DUP1 00002acc: DUP3 00002acd: MUL 00002ace: DUP2 00002acf: ISZERO 00002ad0: DUP3 00002ad1: DUP3 00002ad2: DIV 00002ad3: DUP5 00002ad4: EQ 00002ad5: OR 00002ad6: PUSH2 0x1659 00002ad9: JUMPI 00002ada: PUSH2 0x1659 00002add: PUSH2 0x2aa1 00002ae0: JUMP 00002ae1: JUMPDEST 00002ae2: PUSH1 0x00 00002ae4: DUP3 00002ae5: PUSH2 0x2afe 00002ae8: JUMPI 00002ae9: PUSH4 0x4e487b71 00002aee: PUSH1 0xe0 00002af0: SHL 00002af1: PUSH1 0x00 00002af3: MSTORE 00002af4: PUSH1 0x12 00002af6: PUSH1 0x04 00002af8: MSTORE 00002af9: PUSH1 0x24 00002afb: PUSH1 0x00 00002afd: REVERT 00002afe: JUMPDEST 00002aff: POP 00002b00: DIV 00002b01: SWAP1 00002b02: JUMP 00002b03: JUMPDEST 00002b04: DUP1 00002b05: DUP3 00002b06: ADD 00002b07: DUP1 00002b08: DUP3 00002b09: GT 00002b0a: ISZERO 00002b0b: PUSH2 0x1659 00002b0e: JUMPI 00002b0f: PUSH2 0x1659 00002b12: PUSH2 0x2aa1 00002b15: JUMP 00002b16: JUMPDEST 00002b17: PUSH4 0x4e487b71 00002b1c: PUSH1 0xe0 00002b1e: SHL 00002b1f: PUSH1 0x00 00002b21: MSTORE 00002b22: PUSH1 0x21 00002b24: PUSH1 0x04 00002b26: MSTORE 00002b27: PUSH1 0x24 00002b29: PUSH1 0x00 00002b2b: REVERT 00002b2c: JUMPDEST 00002b2d: PUSH1 0x00 00002b2f: PUSH1 0x60 00002b31: DUP3 00002b32: ADD 00002b33: DUP7 00002b34: DUP4 00002b35: MSTORE 00002b36: PUSH1 0x20 00002b38: DUP7 00002b39: DUP2 00002b3a: DUP6 00002b3b: ADD 00002b3c: MSTORE 00002b3d: PUSH1 0x40 00002b3f: PUSH1 0x60 00002b41: DUP2 00002b42: DUP7 00002b43: ADD 00002b44: MSTORE 00002b45: DUP3 00002b46: DUP7 00002b47: DUP5 00002b48: MSTORE 00002b49: PUSH1 0x80 00002b4b: DUP7 00002b4c: ADD 00002b4d: SWAP1 00002b4e: POP 00002b4f: DUP8 00002b50: SWAP4 00002b51: POP 00002b52: PUSH1 0x00 00002b54: DUP1 00002b55: JUMPDEST 00002b56: DUP9 00002b57: DUP2 00002b58: LT 00002b59: ISZERO 00002b5a: PUSH2 0x2b9c 00002b5d: JUMPI 00002b5e: DUP6 00002b5f: CALLDATALOAD 00002b60: DUP4 00002b61: MSTORE 00002b62: PUSH2 0x2b6c 00002b65: DUP6 00002b66: DUP8 00002b67: ADD 00002b68: PUSH2 0x25f6 00002b6b: JUMP 00002b6c: JUMPDEST 00002b6d: PUSH1 0x02 00002b6f: DUP2 00002b70: LT 00002b71: PUSH2 0x2b88 00002b74: JUMPI 00002b75: PUSH4 0x4e487b71 00002b7a: PUSH1 0xe0 00002b7c: SHL 00002b7d: DUP4 00002b7e: MSTORE 00002b7f: PUSH1 0x21 00002b81: PUSH1 0x04 00002b83: MSTORE 00002b84: PUSH1 0x24 00002b86: DUP4 00002b87: REVERT 00002b88: JUMPDEST 00002b89: DUP4 00002b8a: DUP7 00002b8b: ADD 00002b8c: MSTORE 00002b8d: SWAP5 00002b8e: DUP4 00002b8f: ADD 00002b90: SWAP5 00002b91: SWAP2 00002b92: DUP4 00002b93: ADD 00002b94: SWAP2 00002b95: PUSH1 0x01 00002b97: ADD 00002b98: PUSH2 0x2b55 00002b9b: JUMP 00002b9c: JUMPDEST 00002b9d: POP 00002b9e: SWAP1 00002b9f: SWAP11 00002ba0: SWAP10 00002ba1: POP 00002ba2: POP 00002ba3: POP 00002ba4: POP 00002ba5: POP 00002ba6: POP 00002ba7: POP 00002ba8: POP 00002ba9: POP 00002baa: POP 00002bab: JUMP 00002bac: JUMPDEST 00002bad: PUSH4 0x4e487b71 00002bb2: PUSH1 0xe0 00002bb4: SHL 00002bb5: PUSH1 0x00 00002bb7: MSTORE 00002bb8: PUSH1 0x32 00002bba: PUSH1 0x04 00002bbc: MSTORE 00002bbd: PUSH1 0x24 00002bbf: PUSH1 0x00 00002bc1: REVERT 00002bc2: JUMPDEST 00002bc3: PUSH1 0x00 00002bc5: PUSH1 0x20 00002bc7: DUP3 00002bc8: DUP5 00002bc9: SUB 00002bca: SLT 00002bcb: ISZERO 00002bcc: PUSH2 0x2bd4 00002bcf: JUMPI 00002bd0: PUSH1 0x00 00002bd2: DUP1 00002bd3: REVERT 00002bd4: JUMPDEST 00002bd5: DUP2 00002bd6: CALLDATALOAD 00002bd7: PUSH1 0x04 00002bd9: DUP2 00002bda: LT 00002bdb: PUSH2 0x242a 00002bde: JUMPI 00002bdf: PUSH1 0x00 00002be1: DUP1 00002be2: REVERT 00002be3: JUMPDEST 00002be4: PUSH1 0x01 00002be6: PUSH1 0x01 00002be8: PUSH1 0xa0 00002bea: SHL 00002beb: SUB 00002bec: SWAP5 00002bed: DUP6 00002bee: AND 00002bef: DUP2 00002bf0: MSTORE 00002bf1: SWAP3 00002bf2: SWAP1 00002bf3: SWAP4 00002bf4: AND 00002bf5: PUSH1 0x20 00002bf7: DUP4 00002bf8: ADD 00002bf9: MSTORE 00002bfa: PUSH1 0x40 00002bfc: DUP3 00002bfd: ADD 00002bfe: MSTORE 00002bff: PUSH1 0x60 00002c01: DUP2 00002c02: ADD 00002c03: SWAP2 00002c04: SWAP1 00002c05: SWAP2 00002c06: MSTORE 00002c07: PUSH1 0xa0 00002c09: PUSH1 0x80 00002c0b: DUP3 00002c0c: ADD 00002c0d: DUP2 00002c0e: SWAP1 00002c0f: MSTORE 00002c10: PUSH1 0x00 00002c12: SWAP1 00002c13: DUP3 00002c14: ADD 00002c15: MSTORE 00002c16: PUSH1 0xc0 00002c18: ADD 00002c19: SWAP1 00002c1a: JUMP 00002c1b: JUMPDEST 00002c1c: PUSH1 0x00 00002c1e: PUSH1 0x20 00002c20: DUP3 00002c21: DUP5 00002c22: SUB 00002c23: SLT 00002c24: ISZERO 00002c25: PUSH2 0x2c2d 00002c28: JUMPI 00002c29: PUSH1 0x00 00002c2b: DUP1 00002c2c: REVERT 00002c2d: JUMPDEST 00002c2e: PUSH2 0x242a 00002c31: DUP3 00002c32: PUSH2 0x25f6 00002c35: JUMP 00002c36: JUMPDEST 00002c37: PUSH4 0x4e487b71 00002c3c: PUSH1 0xe0 00002c3e: SHL 00002c3f: PUSH1 0x00 00002c41: MSTORE 00002c42: PUSH1 0x31 00002c44: PUSH1 0x04 00002c46: MSTORE 00002c47: PUSH1 0x24 00002c49: PUSH1 0x00 00002c4b: REVERT 00002c4c: JUMPDEST 00002c4d: PUSH1 0x00 00002c4f: PUSH1 0x20 00002c51: DUP3 00002c52: DUP5 00002c53: SUB 00002c54: SLT 00002c55: ISZERO 00002c56: PUSH2 0x2c5e 00002c59: JUMPI 00002c5a: PUSH1 0x00 00002c5c: DUP1 00002c5d: REVERT 00002c5e: JUMPDEST 00002c5f: DUP2 00002c60: MLOAD 00002c61: DUP1 00002c62: ISZERO 00002c63: ISZERO 00002c64: DUP2 00002c65: EQ 00002c66: PUSH2 0x242a 00002c69: JUMPI 00002c6a: PUSH1 0x00 00002c6c: DUP1 00002c6d: REVERT 00002c6e: JUMPDEST 00002c6f: PUSH1 0x00 00002c71: JUMPDEST 00002c72: DUP4 00002c73: DUP2 00002c74: LT 00002c75: ISZERO 00002c76: PUSH2 0x2c89 00002c79: JUMPI 00002c7a: DUP2 00002c7b: DUP2 00002c7c: ADD 00002c7d: MLOAD 00002c7e: DUP4 00002c7f: DUP3 00002c80: ADD 00002c81: MSTORE 00002c82: PUSH1 0x20 00002c84: ADD 00002c85: PUSH2 0x2c71 00002c88: JUMP 00002c89: JUMPDEST 00002c8a: POP 00002c8b: POP 00002c8c: PUSH1 0x00 00002c8e: SWAP2 00002c8f: ADD 00002c90: MSTORE 00002c91: JUMP 00002c92: JUMPDEST 00002c93: PUSH1 0x00 00002c95: DUP3 00002c96: MLOAD 00002c97: PUSH2 0x2ca4 00002c9a: DUP2 00002c9b: DUP5 00002c9c: PUSH1 0x20 00002c9e: DUP8 00002c9f: ADD 00002ca0: PUSH2 0x2c6e 00002ca3: JUMP 00002ca4: JUMPDEST 00002ca5: SWAP2 00002ca6: SWAP1 00002ca7: SWAP2 00002ca8: ADD 00002ca9: SWAP3 00002caa: SWAP2 00002cab: POP 00002cac: POP 00002cad: JUMP 00002cae: JUMPDEST 00002caf: PUSH1 0x20 00002cb1: DUP2 00002cb2: MSTORE 00002cb3: PUSH1 0x00 00002cb5: DUP3 00002cb6: MLOAD 00002cb7: DUP1 00002cb8: PUSH1 0x20 00002cba: DUP5 00002cbb: ADD 00002cbc: MSTORE 00002cbd: PUSH2 0x2ccd 00002cc0: DUP2 00002cc1: PUSH1 0x40 00002cc3: DUP6 00002cc4: ADD 00002cc5: PUSH1 0x20 00002cc7: DUP8 00002cc8: ADD 00002cc9: PUSH2 0x2c6e 00002ccc: JUMP 00002ccd: JUMPDEST 00002cce: PUSH1 0x1f 00002cd0: ADD 00002cd1: PUSH1 0x1f 00002cd3: NOT 00002cd4: AND 00002cd5: SWAP2 00002cd6: SWAP1 00002cd7: SWAP2 00002cd8: ADD 00002cd9: PUSH1 0x40 00002cdb: ADD 00002cdc: SWAP3 00002cdd: SWAP2 00002cde: POP 00002cdf: POP 00002ce0: JUMP 00002ce1: INVALID 00002ce2: LOG2 00002ce3: PUSH5 0x6970667358 00002ce9: UNKNOWN(0x22) 00002cea: SLT 00002ceb: KECCAK256 00002cec: DUP2 00002ced: CALLDATASIZE 00002cee: EXTCODECOPY 00002cef: SWAP4 00002cf0: UNKNOWN(0xBC) 00002cf1: CALLVALUE 00002cf2: UNKNOWN(0xDA) 00002cf3: GAS 00002cf4: REVERT 00002cf5: UNKNOWN(0xBA) 00002cf6: UNKNOWN(0xD1) 00002cf7: BLOBBASEFEE 00002cf8: UNKNOWN(0xC0) 00002cf9: BLOBHASH 00002cfa: PUSH11 0x4ceea5d18fa47c74ea0efe 00002d06: UNKNOWN(0xDD) 00002d07: UNKNOWN(0xCE) 00002d08: SWAP14 00002d09: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x98e98c661e5df0c095623f8b82739f33bfdcadc5f79e69c31522a813a26ddf82
call_targets:
0x8c96edc82d111e3c5686f5abe738a82d54d0b887
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x98e98c661e5df0c095623f8b82739f33bfdcadc5f79e69c31522a813a26ddf82",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8c96edc82d111e3c5686f5abe738a82d54d0b887"
],
"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": "0xdb3ad22c",
"selector": "0xdb3ad22c",
"calldata_variants": [
"0xdb3ad22c",
"0xdb3ad22c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeff3b3a3",
"selector": "0xeff3b3a3",
"calldata_variants": [
"0xeff3b3a3",
"0xeff3b3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5e63937",
"selector": "0xf5e63937",
"calldata_variants": [
"0xf5e63937",
"0xf5e639370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3398f89",
"selector": "0xc3398f89",
"calldata_variants": [
"0xc3398f89",
"0xc3398f890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc2af308",
"selector": "0xcc2af308",
"calldata_variants": [
"0xcc2af308",
"0xcc2af3080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf64d4c2",
"selector": "0xcf64d4c2",
"calldata_variants": [
"0xcf64d4c2",
"0xcf64d4c20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3917,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4493,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4794,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x98e98c661e5df0c095623f8b82739f33bfdcadc5f79e69c31522a813a26ddf82
call_targets:
0x8c96edc82d111e3c5686f5abe738a82d54d0b887
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x98e98c661e5df0c095623f8b82739f33bfdcadc5f79e69c31522a813a26ddf82",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8c96edc82d111e3c5686f5abe738a82d54d0b887"
],
"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": "0xdb3ad22c",
"selector": "0xdb3ad22c",
"calldata_variants": [
"0xdb3ad22c",
"0xdb3ad22c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeff3b3a3",
"selector": "0xeff3b3a3",
"calldata_variants": [
"0xeff3b3a3",
"0xeff3b3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5e63937",
"selector": "0xf5e63937",
"calldata_variants": [
"0xf5e63937",
"0xf5e639370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3398f89",
"selector": "0xc3398f89",
"calldata_variants": [
"0xc3398f89",
"0xc3398f890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc2af308",
"selector": "0xcc2af308",
"calldata_variants": [
"0xcc2af308",
"0xcc2af3080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf64d4c2",
"selector": "0xcf64d4c2",
"calldata_variants": [
"0xcf64d4c2",
"0xcf64d4c20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3917,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4493,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4794,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 8
}
|