73252535-2ea1-4a23-a722-3f8641951082
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 |
|---|---|---|---|---|
| 30570 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 104279 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 104280 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 104281 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 104282 | capability.graph | complete | 1 / 3 | 1 week ago |
| 104283 | detector.run | complete | 1 / 3 | 1 week ago |
| 104284 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:3070448] OpenAI Codex v0.77.0 (research preview)
[codex:3070448] --------
[codex:3070448] workdir: /tmp/codex-multi-wcf_g2bv
[codex:3070448] model: gpt-5.2-codex
[codex:3070448] provider: openai
[codex:3070448] approval: never
[codex:3070448] sandbox: read-only
[codex:3070448] reasoning effort: xhigh
[codex:3070448] reasoning summaries: auto
[codex:3070448] session id: 019b6ba2-0e22-7400-8897-23590b4ee872
[codex:3070448] --------
[codex:3070448] user
[codex:3070448] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:3070448] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:3070448] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:3070448]
[codex:3070448] Scope rules:
[codex:3070448] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:3070448] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:3070448]
[codex:3070448] Output MUST be valid JSON matching the provided schema.
[codex:3070448] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:3070448] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:3070448]
[codex:3070448] Output constraints (IMPORTANT):
[codex:3070448] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:3070448] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:3070448] mcp startup: no servers
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Planning to review instruction files**
[codex:3070448] exec
[codex:3070448] /bin/bash -lc ls in /tmp/codex-multi-wcf_g2bv succeeded in 5ms:
[codex:3070448] AUDIT_BUNDLE.txt
[codex:3070448] codex-output-schema.json
[codex:3070448] contracts
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Reading AUDIT_BUNDLE file**
[codex:3070448] exec
[codex:3070448] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-wcf_g2bv succeeded in 5ms:
[codex:3070448] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:3070448]
[codex:3070448] ================================================================================
[codex:3070448] FILE: contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:3070448] ================================================================================
[codex:3070448] // SPDX-License-Identifier: MIT
[codex:3070448] // OpenZeppelin Contracts v4.4.0 (token/ERC20/IERC20.sol)
[codex:3070448]
[codex:3070448] pragma solidity ^0.8.0;
[codex:3070448]
[codex:3070448] /**
[codex:3070448] * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:3070448] */
[codex:3070448] interface IERC20 {
[codex:3070448] /**
[codex:3070448] * @dev Returns the amount of tokens in existence.
[codex:3070448] */
[codex:3070448] function totalSupply() external view returns (uint256);
[codex:3070448]
[codex:3070448] /**
[codex:3070448]
[codex:3070448]
[codex:3070448]
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Reviewing SHOVesting security and logic**
[codex:3070448]
[codex:3070448] I'm auditing the SHOVesting contract embedded in the bundle by focusing on key functions, reentrancy guards, access controls, and fee calculations. There is a lot here—I'm carefully considering subtle issues like refund token withdrawal privileges, correct use of nonReentrant, storage vs memory updates, and accounting logic around fees, eliminations, and claims to identify potential vulnerabilities or risky patterns. Let's keep untangling these nuances to see if any actual exploits exist or if some design choices pose risks.
[codex:3070448] thinking
[codex:3070448] **Analyzing state updates and reentrancy interactions**
[codex:3070448]
[codex:3070448] I'm focusing on external calls before state changes, reentrancy guards, and how the contract handles fee collections and eliminations. Several nuanced cases arise around update timing, memory copies, and token callbacks that might affect execution flow or accounting—but nothing clearly exploitable. It's interesting to see the interplay of unlock percentages with eliminated users and fee calculations carefully designed to avoid double-counting while accommodating partial claims.
[codex:3070448] thinking
[codex:3070448] **Examining fee collection and refund token accounting**
[codex:3070448]
[codex:3070448] I'm assessing how base fees interact with refunds and fee collection, especially the risk that permissionless fee collection could reduce contract token balances and block refunds by causing insufficient funds for refund transfers. This creates a potential race where refunds might fail if fees are collected too early, and the contract relies on the feeCollector to rebalance. There are also functional quirks around blocking users after whitelisting and centralized control over refund tokens that affect system behavior.
[codex:3070448] thinking
[codex:3070448] **Verifying claim logic and upgradeability concerns**
[codex:3070448]
[codex:3070448] I'm checking the claimUser1 function around elimination timing and passed unlock counts, finding the logic aligns without major flaws. My focus also shifts to upgradeability risks, especially the absence of locking initializers in the implementation contract, which could allow unauthorized initialization if deployed directly. I’m gathering relevant file locations to provide clear references for the audit.
[codex:3070448] exec
[codex:3070448] /bin/bash -lc 'ls contracts' in /tmp/codex-multi-wcf_g2bv succeeded in 6ms:
[codex:3070448] contracts
[codex:3070448] @openzeppelin
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Locating SHOVesting.sol usage**
[codex:3070448] exec
[codex:3070448] /bin/bash -lc 'rg -n "recoverRefundToken|collectFees|refund|constructor|_disableInitializers" contracts/contracts/SHOVesting.sol' in /tmp/codex-multi-wcf_g2bv succeeded in 7ms:
[codex:3070448] 20: uint120 refundableAmount; // How many refund tokens is user eligible for
[codex:3070448] 23: bool refunded; // Whether user was refunded.
[codex:3070448] 33: IERC20 refundToken; // Refund token address.
[codex:3070448] 34: address refundReceiver; // Address receiving refunded tokens.
[codex:3070448] 35: uint64 refundStartTime; // When refund starts.
[codex:3070448] 36: uint64 refundEndTime; // When refund ends.
[codex:3070448] 50: IERC20 public refundToken;
[codex:3070448] 51: address public refundReceiver;
[codex:3070448] 52: uint64 public refundStartTime;
[codex:3070448] 53: uint64 public refundEndTime;
[codex:3070448] 70: uint120 refundableAmount,
[codex:3070448] 97: uint refundAmount
[codex:3070448] 131: require(params.shoToken != params.refundToken, "SHOVesting: same tokens");
[codex:3070448] 132: if (address(params.refundToken) != address(0)) {
[codex:3070448] 133: require(params.refundStartTime >= params.startTime, "SHOVesting: invalid refundStartTime");
[codex:3070448] 134: require(params.refundEndTime > params.refundStartTime, "SHOVesting: invalid refundEndTime");
[codex:3070448] 135: require(params.refundReceiver != address(0), "SHOVesting: invalid refundReceiver");
[codex:3070448] 137: require(params.refundStartTime == 0, "SHOVesting: invalid refundStartTime");
[codex:3070448] 138: require(params.refundEndTime == 0, "SHOVesting: invalid refundEndTime");
[codex:3070448] 139: require(params.refundReceiver == address(0), "SHOVesting: invalid refundReceiver");
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Adding line numbers for context**
[codex:3070448] exec
[codex:3070448] /bin/bash -lc "nl -ba contracts/contracts/SHOVesting.sol | sed -n '150,210p'" in /tmp/codex-multi-wcf_g2bv succeeded in 6ms:
[codex:3070448] 150 refundStartTime = params.refundStartTime;
[codex:3070448] 151 refundEndTime = params.refundEndTime;
[codex:3070448] 152
[codex:3070448] 153 whitelistingAllowed = true;
[codex:3070448] 154 }
[codex:3070448] 155
[codex:3070448] 156 /**
[codex:3070448] 157 * @notice Allows to withdraw remaining refund token balance.
[codex:3070448] 158 */
[codex:3070448] 159 function recoverRefundToken() external {
[codex:3070448] 160 require(msg.sender == owner() || msg.sender == refundReceiver, "SHOVesting: unauthorized");
[codex:3070448] 161 refundToken.safeTransfer(refundReceiver, refundToken.balanceOf(address(this)));
[codex:3070448] 162 }
[codex:3070448] 163
[codex:3070448] 164 /**
[codex:3070448] 165 * @notice Owner whitelists addresses their given allocations.
[codex:3070448] 166 * @param userAddresses User addresses to whitelist
[codex:3070448] 167 * @param allocations Users allocation
[codex:3070448] 168 * @param last Disable Whitelisting after last whitelist
[codex:3070448] 169 */
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Identifying lines for refund and collectFees methods**
[codex:3070448] exec
[codex:3070448] /bin/bash -lc "nl -ba contracts/contracts/SHOVesting.sol | sed -n '230,320p'" in /tmp/codex-multi-wcf_g2bv succeeded in 6ms:
[codex:3070448] 230 * @dev There's still the baseFee deducted from their allocation.
[codex:3070448] 231 * @param userAddress The user address to claim tokens for.
[codex:3070448] 232 */
[codex:3070448] 233 function claimUser1(address userAddress) onlyWhitelistedUser(userAddress) public nonReentrant returns (uint120 amountToClaim) {
[codex:3070448] 234 update();
[codex:3070448] 235
[codex:3070448] 236 User memory user = users1[userAddress];
[codex:3070448] 237
[codex:3070448] 238 if (userAddress != msg.sender) {
[codex:3070448] 239 require(block.timestamp > refundEndTime, "SHOVesting: refund period");
[codex:3070448] 240 }
[codex:3070448] 241
[codex:3070448] 242 require(passedUnlocksCount > 0, "SHOVesting: no unlocks passed");
[codex:3070448] 243 require(user.claimedUnlocksCount < passedUnlocksCount, "SHOVesting: nothing to claim");
[codex:3070448] 244 require(!user.refunded, "SHOVesting: refunded");
[codex:3070448] 245 require(!blockedUsers[userAddress], "SHOVesting: blocked");
[codex:3070448] 246
[codex:3070448] 247 uint16 currentUnlock = passedUnlocksCount - 1;
[codex:3070448] 248 if (user.eliminatedAfterUnlock > 0) {
[codex:3070448] 249 require(user.claimedUnlocksCount < user.eliminatedAfterUnlock, "SHOVesting: nothing to claim");
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Collecting fee-related lines**
[codex:3070448] exec
[codex:3070448] /bin/bash -lc "nl -ba contracts/contracts/SHOVesting.sol | sed -n '320,400p'" in /tmp/codex-multi-wcf_g2bv succeeded in 6ms:
[codex:3070448] 320 extraFees1AllocationUncollectable += uncollectable;
[codex:3070448] 321
[codex:3070448] 322 users1[userAddress].eliminatedAfterUnlock = currentUnlock + 1;
[codex:3070448] 323 emit UserElimination(userAddress, currentUnlock);
[codex:3070448] 324 }
[codex:3070448] 325 }
[codex:3070448] 326
[codex:3070448] 327 /**
[codex:3070448] 328 * @notice Claims fees from all users.
[codex:3070448] 329 * @dev The fees are collectable not depedning on if users are claiming.
[codex:3070448] 330 * @dev Anybody can call this but the fees go to the fee collector.
[codex:3070448] 331 * @dev If some users are refunded after collecting fees, the fee collector is responsible for rebalancing.
[codex:3070448] 332 */
[codex:3070448] 333 function collectFees() external nonReentrant returns (uint120 baseFee, uint120 extraFee) {
[codex:3070448] 334 update();
[codex:3070448] 335 require(collectedFeesUnlocksCount < passedUnlocksCount, "SHOVesting: no fees to collect");
[codex:3070448] 336 uint16 currentUnlock = passedUnlocksCount - 1;
[codex:3070448] 337
[codex:3070448] 338 uint32 lastUnlockPercentage = collectedFeesUnlocksCount > 0 ? unlockPercentages[collectedFeesUnlocksCount - 1] : 0;
[codex:3070448] 339 uint120 globalAllocation1 = _applyPercentage(globalTotalAllocation1 - totalRefundedAllocation, unlockPercentages[currentUnlock] - lastUnlockPercentage);
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Analyzing and drafting vulnerability findings**
[codex:3070448] exec
[codex:3070448] /bin/bash -lc 'rg -n "function init" contracts/contracts/SHOVesting.sol' in /tmp/codex-multi-wcf_g2bv succeeded in 6ms:
[codex:3070448] 114: function init(
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Preparing detailed security findings JSON**
[codex:3070448] exec
[codex:3070448] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-wcf_g2bv succeeded in 5ms:
[codex:3070448] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:3070448]
[codex:3070448] thinking
[codex:3070448] **Preparing final JSON summary**
[codex:3070448] codex
[codex:3070448] {"no_findings":false,"summary":"Identified three issues: refund token recovery can drain refunds early, fee collection can make refunds insolvent during the refund window, and the upgradeable implementation is not locked against direct initialization.","findings":[{"severity":"medium","category":"other","title":"Fee collection can render refunds insolvent during the refund window","exploit_scenario":"After the first unlock, anyone can call `collectFees` and transfer base fees out to the fee collector. If refunds are still enabled, later `refund()` calls attempt to transfer each user's full allocation (including the fee portion already paid out), which can revert once the contract balance is insufficient. A griefer can trigger fee collection early, causing late refunders to fail unless the fee collector tops up the contract.","recommendation":"Either prevent `collectFees` until after `refundEndTime`, or deduct already-collected fees from the refund transfer (or escrow additional tokens) so refunds remain solvent regardless of fee collection timing.","evidence":"`refund()` transfers `user.allocation` of `shoToken` while `collectFees()` is permissionless and transfers fees out; no insolvency checks or adjustments are made.","locations":["contracts/contracts/SHOVesting.sol:274","contracts/contracts/SHOVesting.sol:333"]},{"severity":"low","category":"access_control","title":"Refund receiver can drain refund tokens at any time","exploit_scenario":"`recoverRefundToken` allows the `refundReceiver` (in addition to the owner) to withdraw the entire refund token balance without any time restriction. If that address is compromised or misconfigured, refund liquidity can be drained before or during the refund window, causing `refund()` to fail for users.","recommendation":"Restrict recovery to the owner, or enforce a time lock (e.g., only after `refundEndTime`) and/or require proof that all refunds are completed.","evidence":"`recoverRefundToken` only checks `msg.sender == owner() || msg.sender == refundReceiver` and immediately transfers the full balance.","locations":["contracts/contracts/SHOVesting.sol:159"]},{"severity":"low","category":"upgradeability","title":"Implementation contract is not locked against direct initialization","exploit_scenario":"Because the implementation lacks a constructor calling `_disableInitializers`, anyone can initialize the implementation contract directly and take ownership of it. While proxy storage is unaffected, any tokens mistakenly sent to the implementation could be drained by the attacker.","recommendation":"Add a constructor that calls `_disableInitializers()` to prevent initialization of the implementation contract.","evidence":"`init` is an external initializer and there is no constructor disabling initializers in this contract.","locations":["contracts/contracts/SHOVesting.sol:114"]}]}
[codex:3070448] tokens used
[codex:3070448] 34,680
[codex:3070448] {"no_findings":false,"summary":"Identified three issues: refund token recovery can drain refunds early, fee collection can make refunds insolvent during the refund window, and the upgradeable implementation is not locked against direct initialization.","findings":[{"severity":"medium","category":"other","title":"Fee collection can render refunds insolvent during the refund window","exploit_scenario":"After the first unlock, anyone can call `collectFees` and transfer base fees out to the fee collector. If refunds are still enabled, later `refund()` calls attempt to transfer each user's full allocation (including the fee portion already paid out), which can revert once the contract balance is insufficient. A griefer can trigger fee collection early, causing late refunders to fail unless the fee collector tops up the contract.","recommendation":"Either prevent `collectFees` until after `refundEndTime`, or deduct already-collected fees from the refund transfer (or escrow additional tokens) so refunds remain solvent regardless of fee collection timing.","evidence":"`refund()` transfers `user.allocation` of `shoToken` while `collectFees()` is permissionless and transfers fees out; no insolvency checks or adjustments are made.","locations":["contracts/contracts/SHOVesting.sol:274","contracts/contracts/SHOVesting.sol:333"]},{"severity":"low","category":"access_control","title":"Refund receiver can drain refund tokens at any time","exploit_scenario":"`recoverRefundToken` allows the `refundReceiver` (in addition to the owner) to withdraw the entire refund token balance without any time restriction. If that address is compromised or misconfigured, refund liquidity can be drained before or during the refund window, causing `refund()` to fail for users.","recommendation":"Restrict recovery to the owner, or enforce a time lock (e.g., only after `refundEndTime`) and/or require proof that all refunds are completed.","evidence":"`recoverRefundToken` only checks `msg.sender == owner() || msg.sender == refundReceiver` and immediately transfers the full balance.","locations":["contracts/contracts/SHOVesting.sol:159"]},{"severity":"low","category":"upgradeability","title":"Implementation contract is not locked against direct initialization","exploit_scenario":"Because the implementation lacks a constructor calling `_disableInitializers`, anyone can initialize the implementation contract directly and take ownership of it. While proxy storage is unaffected, any tokens mistakenly sent to the implementation could be drained by the attacker.","recommendation":"Add a constructor that calls `_disableInitializers()` to prevent initialization of the implementation contract.","evidence":"`init` is an external initializer and there is no constructor disabling initializers in this contract.","locations":["contracts/contracts/SHOVesting.sol:114"]}]}
{
"codex": {
"ran_at": "2025-12-29T19:47:24.413135+00:00",
"returncode": 0
},
"summary": "Identified three issues: refund token recovery can drain refunds early, fee collection can make refunds insolvent during the refund window, and the upgradeable implementation is not locked against direct initialization.",
"raw_final": {
"summary": "Identified three issues: refund token recovery can drain refunds early, fee collection can make refunds insolvent during the refund window, and the upgradeable implementation is not locked against direct initialization.",
"findings": [
{
"title": "Fee collection can render refunds insolvent during the refund window",
"category": "other",
"evidence": "`refund()` transfers `user.allocation` of `shoToken` while `collectFees()` is permissionless and transfers fees out; no insolvency checks or adjustments are made.",
"severity": "medium",
"locations": [
"contracts/contracts/SHOVesting.sol:274",
"contracts/contracts/SHOVesting.sol:333"
],
"recommendation": "Either prevent `collectFees` until after `refundEndTime`, or deduct already-collected fees from the refund transfer (or escrow additional tokens) so refunds remain solvent regardless of fee collection timing.",
"exploit_scenario": "After the first unlock, anyone can call `collectFees` and transfer base fees out to the fee collector. If refunds are still enabled, later `refund()` calls attempt to transfer each user's full allocation (including the fee portion already paid out), which can revert once the contract balance is insufficient. A griefer can trigger fee collection early, causing late refunders to fail unless the fee collector tops up the contract."
},
{
"title": "Refund receiver can drain refund tokens at any time",
"category": "access_control",
"evidence": "`recoverRefundToken` only checks `msg.sender == owner() || msg.sender == refundReceiver` and immediately transfers the full balance.",
"severity": "low",
"locations": [
"contracts/contracts/SHOVesting.sol:159"
],
"recommendation": "Restrict recovery to the owner, or enforce a time lock (e.g., only after `refundEndTime`) and/or require proof that all refunds are completed.",
"exploit_scenario": "`recoverRefundToken` allows the `refundReceiver` (in addition to the owner) to withdraw the entire refund token balance without any time restriction. If that address is compromised or misconfigured, refund liquidity can be drained before or during the refund window, causing `refund()` to fail for users."
},
{
"title": "Implementation contract is not locked against direct initialization",
"category": "upgradeability",
"evidence": "`init` is an external initializer and there is no constructor disabling initializers in this contract.",
"severity": "low",
"locations": [
"contracts/contracts/SHOVesting.sol:114"
],
"recommendation": "Add a constructor that calls `_disableInitializers()` to prevent initialization of the implementation contract.",
"exploit_scenario": "Because the implementation lacks a constructor calling `_disableInitializers`, anyone can initialize the implementation contract directly and take ownership of it. While proxy storage is unaffected, any tokens mistakenly sent to the implementation could be drained by the attacker."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x021c 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x9b442e3f 00000026: GT 00000027: PUSH2 0x0125 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xcd1e0355 00000031: GT 00000032: PUSH2 0x00ad 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xdb81213a 0000003c: GT 0000003d: PUSH2 0x007c 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xdb81213a 00000047: EQ 00000048: PUSH2 0x056c 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xf2fde38b 00000052: EQ 00000053: PUSH2 0x0586 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xf53014b4 0000005d: EQ 0000005e: PUSH2 0x0599 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xffa1ad74 00000068: EQ 00000069: PUSH2 0x05ac 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xffec0fb5 00000073: EQ 00000074: PUSH2 0x05b4 00000077: JUMPI 00000078: PUSH1 0x00 0000007a: DUP1 0000007b: REVERT 0000007c: JUMPDEST 0000007d: DUP1 0000007e: PUSH4 0xcd1e0355 00000083: EQ 00000084: PUSH2 0x0513 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xd1dfb8dc 0000008e: EQ 0000008f: PUSH2 0x0526 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0xd713c304 00000099: EQ 0000009a: PUSH2 0x053b 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0xda40ea1d 000000a4: EQ 000000a5: PUSH2 0x0555 000000a8: JUMPI 000000a9: PUSH1 0x00 000000ab: DUP1 000000ac: REVERT 000000ad: JUMPDEST 000000ae: DUP1 000000af: PUSH4 0xba93f699 000000b4: GT 000000b5: PUSH2 0x00f4 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xba93f699 000000bf: EQ 000000c0: PUSH2 0x04aa 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xc31c0018 000000ca: EQ 000000cb: PUSH2 0x04bd 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xc415b95c 000000d5: EQ 000000d6: PUSH2 0x04d0 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xc736e1ff 000000e0: EQ 000000e1: PUSH2 0x04e3 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xc8796572 000000eb: EQ 000000ec: PUSH2 0x04eb 000000ef: JUMPI 000000f0: PUSH1 0x00 000000f2: DUP1 000000f3: REVERT 000000f4: JUMPDEST 000000f5: DUP1 000000f6: PUSH4 0x9b442e3f 000000fb: EQ 000000fc: PUSH2 0x0470 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0xa2e62045 00000106: EQ 00000107: PUSH2 0x0487 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0xa92b5161 00000111: EQ 00000112: PUSH2 0x048f 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0xb28e20c0 0000011c: EQ 0000011d: PUSH2 0x04a2 00000120: JUMPI 00000121: PUSH1 0x00 00000123: DUP1 00000124: REVERT 00000125: JUMPDEST 00000126: DUP1 00000127: PUSH4 0x677375c3 0000012c: GT 0000012d: PUSH2 0x01a8 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x78e97925 00000137: GT 00000138: PUSH2 0x0177 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x78e97925 00000142: EQ 00000143: PUSH2 0x03f7 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0x798c87ce 0000014d: EQ 0000014e: PUSH2 0x0411 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0x88a60946 00000158: EQ 00000159: PUSH2 0x0439 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0x8da5cb5b 00000163: EQ 00000164: PUSH2 0x044c 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0x99230a03 0000016e: EQ 0000016f: PUSH2 0x045d 00000172: JUMPI 00000173: PUSH1 0x00 00000175: DUP1 00000176: REVERT 00000177: JUMPDEST 00000178: DUP1 00000179: PUSH4 0x677375c3 0000017e: EQ 0000017f: PUSH2 0x0390 00000182: JUMPI 00000183: DUP1 00000184: PUSH4 0x6aba899b 00000189: EQ 0000018a: PUSH2 0x03aa 0000018d: JUMPI 0000018e: DUP1 0000018f: PUSH4 0x715018a6 00000194: EQ 00000195: PUSH2 0x03dc 00000198: JUMPI 00000199: DUP1 0000019a: PUSH4 0x73fddd16 0000019f: EQ 000001a0: PUSH2 0x03e4 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: DUP1 000001aa: PUSH4 0x3af2d5e7 000001af: GT 000001b0: PUSH2 0x01ef 000001b3: JUMPI 000001b4: DUP1 000001b5: PUSH4 0x3af2d5e7 000001ba: EQ 000001bb: PUSH2 0x0303 000001be: JUMPI 000001bf: DUP1 000001c0: PUSH4 0x464a59c7 000001c5: EQ 000001c6: PUSH2 0x0336 000001c9: JUMPI 000001ca: DUP1 000001cb: PUSH4 0x590e1ae3 000001d0: EQ 000001d1: PUSH2 0x034a 000001d4: JUMPI 000001d5: DUP1 000001d6: PUSH4 0x5cb732be 000001db: EQ 000001dc: PUSH2 0x0352 000001df: JUMPI 000001e0: DUP1 000001e1: PUSH4 0x604445fd 000001e6: EQ 000001e7: PUSH2 0x037d 000001ea: JUMPI 000001eb: PUSH1 0x00 000001ed: DUP1 000001ee: REVERT 000001ef: JUMPDEST 000001f0: DUP1 000001f1: PUSH4 0x01185285 000001f6: EQ 000001f7: PUSH2 0x0221 000001fa: JUMPI 000001fb: DUP1 000001fc: PUSH4 0x06324044 00000201: EQ 00000202: PUSH2 0x0251 00000205: JUMPI 00000206: DUP1 00000207: PUSH4 0x20b2ec12 0000020c: EQ 0000020d: PUSH2 0x025b 00000210: JUMPI 00000211: DUP1 00000212: PUSH4 0x2a8b279a 00000217: EQ 00000218: PUSH2 0x026e 0000021b: JUMPI 0000021c: JUMPDEST 0000021d: PUSH1 0x00 0000021f: DUP1 00000220: REVERT 00000221: JUMPDEST 00000222: PUSH1 0xa2 00000224: SLOAD 00000225: PUSH2 0x0234 00000228: SWAP1 00000229: PUSH1 0x01 0000022b: PUSH1 0x01 0000022d: PUSH1 0x78 0000022f: SHL 00000230: SUB 00000231: AND 00000232: DUP2 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH1 0x40 00000237: MLOAD 00000238: PUSH1 0x01 0000023a: PUSH1 0x01 0000023c: PUSH1 0x78 0000023e: SHL 0000023f: SUB 00000240: SWAP1 00000241: SWAP2 00000242: AND 00000243: DUP2 00000244: MSTORE 00000245: PUSH1 0x20 00000247: ADD 00000248: JUMPDEST 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: DUP1 0000024d: SWAP2 0000024e: SUB 0000024f: SWAP1 00000250: RETURN 00000251: JUMPDEST 00000252: PUSH2 0x0259 00000255: PUSH2 0x05c7 00000258: JUMP 00000259: JUMPDEST 0000025a: STOP 0000025b: JUMPDEST 0000025c: PUSH2 0x0259 0000025f: PUSH2 0x0269 00000262: CALLDATASIZE 00000263: PUSH1 0x04 00000265: PUSH2 0x308e 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH2 0x06d4 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH2 0x02c7 00000272: PUSH2 0x027c 00000275: CALLDATASIZE 00000276: PUSH1 0x04 00000278: PUSH2 0x3033 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH1 0x97 0000027f: PUSH1 0x20 00000281: MSTORE 00000282: PUSH1 0x00 00000284: SWAP1 00000285: DUP2 00000286: MSTORE 00000287: PUSH1 0x40 00000289: SWAP1 0000028a: KECCAK256 0000028b: DUP1 0000028c: SLOAD 0000028d: PUSH1 0x01 0000028f: SWAP1 00000290: SWAP2 00000291: ADD 00000292: SLOAD 00000293: PUSH1 0x01 00000295: PUSH1 0x01 00000297: PUSH1 0x78 00000299: SHL 0000029a: SUB 0000029b: DUP1 0000029c: DUP4 0000029d: AND 0000029e: SWAP3 0000029f: PUSH1 0x01 000002a1: PUSH1 0x78 000002a3: SHL 000002a4: DUP2 000002a5: DIV 000002a6: SWAP1 000002a7: SWAP2 000002a8: AND 000002a9: SWAP2 000002aa: PUSH2 0xffff 000002ad: PUSH1 0x01 000002af: PUSH1 0xf0 000002b1: SHL 000002b2: SWAP1 000002b3: SWAP3 000002b4: DIV 000002b5: DUP3 000002b6: AND 000002b7: SWAP2 000002b8: DUP2 000002b9: AND 000002ba: SWAP1 000002bb: PUSH1 0xff 000002bd: PUSH3 0x010000 000002c1: SWAP1 000002c2: SWAP2 000002c3: DIV 000002c4: AND 000002c5: DUP6 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x40 000002ca: DUP1 000002cb: MLOAD 000002cc: PUSH1 0x01 000002ce: PUSH1 0x01 000002d0: PUSH1 0x78 000002d2: SHL 000002d3: SUB 000002d4: SWAP7 000002d5: DUP8 000002d6: AND 000002d7: DUP2 000002d8: MSTORE 000002d9: SWAP6 000002da: SWAP1 000002db: SWAP5 000002dc: AND 000002dd: PUSH1 0x20 000002df: DUP7 000002e0: ADD 000002e1: MSTORE 000002e2: PUSH2 0xffff 000002e5: SWAP3 000002e6: DUP4 000002e7: AND 000002e8: SWAP4 000002e9: DUP6 000002ea: ADD 000002eb: SWAP4 000002ec: SWAP1 000002ed: SWAP4 000002ee: MSTORE 000002ef: AND 000002f0: PUSH1 0x60 000002f2: DUP4 000002f3: ADD 000002f4: MSTORE 000002f5: ISZERO 000002f6: ISZERO 000002f7: PUSH1 0x80 000002f9: DUP3 000002fa: ADD 000002fb: MSTORE 000002fc: PUSH1 0xa0 000002fe: ADD 000002ff: PUSH2 0x0248 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH2 0x0326 00000307: PUSH2 0x0311 0000030a: CALLDATASIZE 0000030b: PUSH1 0x04 0000030d: PUSH2 0x3033 00000310: JUMP 00000311: JUMPDEST 00000312: PUSH1 0x98 00000314: PUSH1 0x20 00000316: MSTORE 00000317: PUSH1 0x00 00000319: SWAP1 0000031a: DUP2 0000031b: MSTORE 0000031c: PUSH1 0x40 0000031e: SWAP1 0000031f: KECCAK256 00000320: SLOAD 00000321: PUSH1 0xff 00000323: AND 00000324: DUP2 00000325: JUMP 00000326: JUMPDEST 00000327: PUSH1 0x40 00000329: MLOAD 0000032a: SWAP1 0000032b: ISZERO 0000032c: ISZERO 0000032d: DUP2 0000032e: MSTORE 0000032f: PUSH1 0x20 00000331: ADD 00000332: PUSH2 0x0248 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH1 0x9f 00000339: SLOAD 0000033a: PUSH2 0x0326 0000033d: SWAP1 0000033e: PUSH1 0x01 00000340: PUSH1 0x40 00000342: SHL 00000343: SWAP1 00000344: DIV 00000345: PUSH1 0xff 00000347: AND 00000348: DUP2 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH2 0x0259 0000034e: PUSH2 0x0d88 00000351: JUMP 00000352: JUMPDEST 00000353: PUSH1 0x9d 00000355: SLOAD 00000356: PUSH2 0x0365 00000359: SWAP1 0000035a: PUSH1 0x01 0000035c: PUSH1 0x01 0000035e: PUSH1 0xa0 00000360: SHL 00000361: SUB 00000362: AND 00000363: DUP2 00000364: JUMP 00000365: JUMPDEST 00000366: PUSH1 0x40 00000368: MLOAD 00000369: PUSH1 0x01 0000036b: PUSH1 0x01 0000036d: PUSH1 0xa0 0000036f: SHL 00000370: SUB 00000371: SWAP1 00000372: SWAP2 00000373: AND 00000374: DUP2 00000375: MSTORE 00000376: PUSH1 0x20 00000378: ADD 00000379: PUSH2 0x0248 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH2 0x0259 00000381: PUSH2 0x038b 00000384: CALLDATASIZE 00000385: PUSH1 0x04 00000387: PUSH2 0x315f 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH2 0x10b9 0000038f: JUMP 00000390: JUMPDEST 00000391: PUSH1 0xa0 00000393: SLOAD 00000394: PUSH2 0x0234 00000397: SWAP1 00000398: PUSH1 0x01 0000039a: PUSH1 0x78 0000039c: SHL 0000039d: SWAP1 0000039e: DIV 0000039f: PUSH1 0x01 000003a1: PUSH1 0x01 000003a3: PUSH1 0x78 000003a5: SHL 000003a6: SUB 000003a7: AND 000003a8: DUP2 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH1 0x9e 000003ad: SLOAD 000003ae: PUSH2 0x03c4 000003b1: SWAP1 000003b2: PUSH1 0x01 000003b4: PUSH1 0xa0 000003b6: SHL 000003b7: SWAP1 000003b8: DIV 000003b9: PUSH1 0x01 000003bb: PUSH1 0x01 000003bd: PUSH1 0x40 000003bf: SHL 000003c0: SUB 000003c1: AND 000003c2: DUP2 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: PUSH1 0x01 000003ca: PUSH1 0x01 000003cc: PUSH1 0x40 000003ce: SHL 000003cf: SUB 000003d0: SWAP1 000003d1: SWAP2 000003d2: AND 000003d3: DUP2 000003d4: MSTORE 000003d5: PUSH1 0x20 000003d7: ADD 000003d8: PUSH2 0x0248 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x0259 000003e0: PUSH2 0x11db 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH1 0x9f 000003e7: SLOAD 000003e8: PUSH2 0x03c4 000003eb: SWAP1 000003ec: PUSH1 0x01 000003ee: PUSH1 0x01 000003f0: PUSH1 0x40 000003f2: SHL 000003f3: SUB 000003f4: AND 000003f5: DUP2 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x9b 000003fa: SLOAD 000003fb: PUSH2 0x03c4 000003fe: SWAP1 000003ff: PUSH1 0x01 00000401: PUSH1 0xa0 00000403: SHL 00000404: SWAP1 00000405: DIV 00000406: PUSH1 0x01 00000408: PUSH1 0x01 0000040a: PUSH1 0x40 0000040c: SHL 0000040d: SUB 0000040e: AND 0000040f: DUP2 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH2 0x0424 00000415: PUSH2 0x041f 00000418: CALLDATASIZE 00000419: PUSH1 0x04 0000041b: PUSH2 0x324a 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH2 0x11ed 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH1 0x40 00000427: MLOAD 00000428: PUSH4 0xffffffff 0000042d: SWAP1 0000042e: SWAP2 0000042f: AND 00000430: DUP2 00000431: MSTORE 00000432: PUSH1 0x20 00000434: ADD 00000435: PUSH2 0x0248 00000438: JUMP 00000439: JUMPDEST 0000043a: PUSH2 0x0259 0000043d: PUSH2 0x0447 00000440: CALLDATASIZE 00000441: PUSH1 0x04 00000443: PUSH2 0x304f 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH2 0x1227 0000044b: JUMP 0000044c: JUMPDEST 0000044d: PUSH1 0x33 0000044f: SLOAD 00000450: PUSH1 0x01 00000452: PUSH1 0x01 00000454: PUSH1 0xa0 00000456: SHL 00000457: SUB 00000458: AND 00000459: PUSH2 0x0365 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0xa0 00000460: SLOAD 00000461: PUSH2 0x0234 00000464: SWAP1 00000465: PUSH1 0x01 00000467: PUSH1 0x01 00000469: PUSH1 0x78 0000046b: SHL 0000046c: SUB 0000046d: AND 0000046e: DUP2 0000046f: JUMP 00000470: JUMPDEST 00000471: PUSH1 0x99 00000473: SLOAD 00000474: JUMPDEST 00000475: PUSH1 0x40 00000477: MLOAD 00000478: PUSH2 0xffff 0000047b: SWAP1 0000047c: SWAP2 0000047d: AND 0000047e: DUP2 0000047f: MSTORE 00000480: PUSH1 0x20 00000482: ADD 00000483: PUSH2 0x0248 00000486: JUMP 00000487: JUMPDEST 00000488: PUSH2 0x0259 0000048b: PUSH2 0x165a 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH1 0x9e 00000492: SLOAD 00000493: PUSH2 0x0365 00000496: SWAP1 00000497: PUSH1 0x01 00000499: PUSH1 0x01 0000049b: PUSH1 0xa0 0000049d: SHL 0000049e: SUB 0000049f: AND 000004a0: DUP2 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH2 0x0474 000004a6: PUSH2 0x16dd 000004a9: JUMP 000004aa: JUMPDEST 000004ab: PUSH2 0x0424 000004ae: PUSH2 0x04b8 000004b1: CALLDATASIZE 000004b2: PUSH1 0x04 000004b4: PUSH2 0x324a 000004b7: JUMP 000004b8: JUMPDEST 000004b9: PUSH2 0x17f0 000004bc: JUMP 000004bd: JUMPDEST 000004be: PUSH2 0x0234 000004c1: PUSH2 0x04cb 000004c4: CALLDATASIZE 000004c5: PUSH1 0x04 000004c7: PUSH2 0x3033 000004ca: JUMP 000004cb: JUMPDEST 000004cc: PUSH2 0x1800 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH1 0x9c 000004d3: SLOAD 000004d4: PUSH2 0x0365 000004d7: SWAP1 000004d8: PUSH1 0x01 000004da: PUSH1 0x01 000004dc: PUSH1 0xa0 000004de: SHL 000004df: SUB 000004e0: AND 000004e1: DUP2 000004e2: JUMP 000004e3: JUMPDEST 000004e4: PUSH2 0x0234 000004e7: PUSH2 0x1d60 000004ea: JUMP 000004eb: JUMPDEST 000004ec: PUSH2 0x04f3 000004ef: PUSH2 0x1d70 000004f2: JUMP 000004f3: JUMPDEST 000004f4: PUSH1 0x40 000004f6: DUP1 000004f7: MLOAD 000004f8: PUSH1 0x01 000004fa: PUSH1 0x01 000004fc: PUSH1 0x78 000004fe: SHL 000004ff: SUB 00000500: SWAP4 00000501: DUP5 00000502: AND 00000503: DUP2 00000504: MSTORE 00000505: SWAP3 00000506: SWAP1 00000507: SWAP2 00000508: AND 00000509: PUSH1 0x20 0000050b: DUP4 0000050c: ADD 0000050d: MSTORE 0000050e: ADD 0000050f: PUSH2 0x0248 00000512: JUMP 00000513: JUMPDEST 00000514: PUSH1 0xa1 00000516: SLOAD 00000517: PUSH2 0x0234 0000051a: SWAP1 0000051b: PUSH1 0x01 0000051d: PUSH1 0x01 0000051f: PUSH1 0x78 00000521: SHL 00000522: SUB 00000523: AND 00000524: DUP2 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0xa1 00000529: SLOAD 0000052a: PUSH2 0x0474 0000052d: SWAP1 0000052e: PUSH1 0x01 00000530: PUSH1 0x78 00000532: SHL 00000533: SWAP1 00000534: DIV 00000535: PUSH2 0xffff 00000538: AND 00000539: DUP2 0000053a: JUMP 0000053b: JUMPDEST 0000053c: PUSH1 0xa1 0000053e: SLOAD 0000053f: PUSH2 0x0234 00000542: SWAP1 00000543: PUSH1 0x01 00000545: PUSH1 0x88 00000547: SHL 00000548: SWAP1 00000549: DIV 0000054a: PUSH1 0x01 0000054c: PUSH1 0x01 0000054e: PUSH1 0x78 00000550: SHL 00000551: SUB 00000552: AND 00000553: DUP2 00000554: JUMP 00000555: JUMPDEST 00000556: PUSH1 0x9c 00000558: SLOAD 00000559: PUSH2 0x0424 0000055c: SWAP1 0000055d: PUSH1 0x01 0000055f: PUSH1 0xa0 00000561: SHL 00000562: SWAP1 00000563: DIV 00000564: PUSH4 0xffffffff 00000569: AND 0000056a: DUP2 0000056b: JUMP 0000056c: JUMPDEST 0000056d: PUSH1 0x9f 0000056f: SLOAD 00000570: PUSH2 0x0234 00000573: SWAP1 00000574: PUSH1 0x01 00000576: PUSH1 0x58 00000578: SHL 00000579: SWAP1 0000057a: DIV 0000057b: PUSH1 0x01 0000057d: PUSH1 0x01 0000057f: PUSH1 0x78 00000581: SHL 00000582: SUB 00000583: AND 00000584: DUP2 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH2 0x0259 0000058a: PUSH2 0x0594 0000058d: CALLDATASIZE 0000058e: PUSH1 0x04 00000590: PUSH2 0x3033 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH2 0x2039 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x9b 0000059c: SLOAD 0000059d: PUSH2 0x0365 000005a0: SWAP1 000005a1: PUSH1 0x01 000005a3: PUSH1 0x01 000005a5: PUSH1 0xa0 000005a7: SHL 000005a8: SUB 000005a9: AND 000005aa: DUP2 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH2 0x0424 000005b0: PUSH1 0x02 000005b2: DUP2 000005b3: JUMP 000005b4: JUMPDEST 000005b5: PUSH2 0x0259 000005b8: PUSH2 0x05c2 000005bb: CALLDATASIZE 000005bc: PUSH1 0x04 000005be: PUSH2 0x31eb 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH2 0x20af 000005c6: JUMP 000005c7: JUMPDEST 000005c8: PUSH1 0x33 000005ca: SLOAD 000005cb: PUSH1 0x01 000005cd: PUSH1 0x01 000005cf: PUSH1 0xa0 000005d1: SHL 000005d2: SUB 000005d3: AND 000005d4: CALLER 000005d5: EQ 000005d6: DUP1 000005d7: PUSH2 0x05ea 000005da: JUMPI 000005db: POP 000005dc: PUSH1 0x9e 000005de: SLOAD 000005df: PUSH1 0x01 000005e1: PUSH1 0x01 000005e3: PUSH1 0xa0 000005e5: SHL 000005e6: SUB 000005e7: AND 000005e8: CALLER 000005e9: EQ 000005ea: JUMPDEST 000005eb: PUSH2 0x063b 000005ee: JUMPI 000005ef: PUSH1 0x40 000005f1: MLOAD 000005f2: PUSH3 0x461bcd 000005f6: PUSH1 0xe5 000005f8: SHL 000005f9: DUP2 000005fa: MSTORE 000005fb: PUSH1 0x20 000005fd: PUSH1 0x04 000005ff: DUP3 00000600: ADD 00000601: MSTORE 00000602: PUSH1 0x18 00000604: PUSH1 0x24 00000606: DUP3 00000607: ADD 00000608: MSTORE 00000609: PUSH32 0x53484f56657374696e673a20756e617574686f72697a65640000000000000000 0000062a: PUSH1 0x44 0000062c: DUP3 0000062d: ADD 0000062e: MSTORE 0000062f: PUSH1 0x64 00000631: ADD 00000632: JUMPDEST 00000633: PUSH1 0x40 00000635: MLOAD 00000636: DUP1 00000637: SWAP2 00000638: SUB 00000639: SWAP1 0000063a: REVERT 0000063b: JUMPDEST 0000063c: PUSH1 0x9e 0000063e: SLOAD 0000063f: PUSH1 0x9d 00000641: SLOAD 00000642: PUSH1 0x40 00000644: MLOAD 00000645: PUSH4 0x70a08231 0000064a: PUSH1 0xe0 0000064c: SHL 0000064d: DUP2 0000064e: MSTORE 0000064f: ADDRESS 00000650: PUSH1 0x04 00000652: DUP3 00000653: ADD 00000654: MSTORE 00000655: PUSH2 0x06d2 00000658: SWAP3 00000659: PUSH1 0x01 0000065b: PUSH1 0x01 0000065d: PUSH1 0xa0 0000065f: SHL 00000660: SUB 00000661: SWAP1 00000662: DUP2 00000663: AND 00000664: SWAP3 00000665: AND 00000666: SWAP1 00000667: PUSH4 0x70a08231 0000066c: SWAP1 0000066d: PUSH1 0x24 0000066f: ADD 00000670: PUSH1 0x20 00000672: PUSH1 0x40 00000674: MLOAD 00000675: DUP1 00000676: DUP4 00000677: SUB 00000678: DUP2 00000679: DUP7 0000067a: DUP1 0000067b: EXTCODESIZE 0000067c: ISZERO 0000067d: DUP1 0000067e: ISZERO 0000067f: PUSH2 0x0687 00000682: JUMPI 00000683: PUSH1 0x00 00000685: DUP1 00000686: REVERT 00000687: JUMPDEST 00000688: POP 00000689: GAS 0000068a: STATICCALL 0000068b: ISZERO 0000068c: DUP1 0000068d: ISZERO 0000068e: PUSH2 0x069b 00000691: JUMPI 00000692: RETURNDATASIZE 00000693: PUSH1 0x00 00000695: DUP1 00000696: RETURNDATACOPY 00000697: RETURNDATASIZE 00000698: PUSH1 0x00 0000069a: REVERT 0000069b: JUMPDEST 0000069c: POP 0000069d: POP 0000069e: POP 0000069f: POP 000006a0: PUSH1 0x40 000006a2: MLOAD 000006a3: RETURNDATASIZE 000006a4: PUSH1 0x1f 000006a6: NOT 000006a7: PUSH1 0x1f 000006a9: DUP3 000006aa: ADD 000006ab: AND 000006ac: DUP3 000006ad: ADD 000006ae: DUP1 000006af: PUSH1 0x40 000006b1: MSTORE 000006b2: POP 000006b3: DUP2 000006b4: ADD 000006b5: SWAP1 000006b6: PUSH2 0x06bf 000006b9: SWAP2 000006ba: SWAP1 000006bb: PUSH2 0x3262 000006be: JUMP 000006bf: JUMPDEST 000006c0: PUSH1 0x9d 000006c2: SLOAD 000006c3: PUSH1 0x01 000006c5: PUSH1 0x01 000006c7: PUSH1 0xa0 000006c9: SHL 000006ca: SUB 000006cb: AND 000006cc: SWAP2 000006cd: SWAP1 000006ce: PUSH2 0x2941 000006d1: JUMP 000006d2: JUMPDEST 000006d3: JUMP 000006d4: JUMPDEST 000006d5: PUSH2 0x06dc 000006d8: PUSH2 0x2998 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH1 0x9f 000006df: SLOAD 000006e0: PUSH1 0x01 000006e2: PUSH1 0x40 000006e4: SHL 000006e5: SWAP1 000006e6: DIV 000006e7: PUSH1 0xff 000006e9: AND 000006ea: PUSH2 0x074a 000006ed: JUMPI 000006ee: PUSH1 0x40 000006f0: MLOAD 000006f1: PUSH3 0x461bcd 000006f5: PUSH1 0xe5 000006f7: SHL 000006f8: DUP2 000006f9: MSTORE 000006fa: PUSH1 0x20 000006fc: PUSH1 0x04 000006fe: DUP3 000006ff: ADD 00000700: MSTORE 00000701: PUSH1 0x2c 00000703: PUSH1 0x24 00000705: DUP3 00000706: ADD 00000707: MSTORE 00000708: PUSH32 0x53484f56657374696e673a2077686974656c697374696e67206e6f7420616c6c 00000729: PUSH1 0x44 0000072b: DUP3 0000072c: ADD 0000072d: MSTORE 0000072e: PUSH12 0x6f77656420616e796d6f7265 0000073b: PUSH1 0xa0 0000073d: SHL 0000073e: PUSH1 0x64 00000740: DUP3 00000741: ADD 00000742: MSTORE 00000743: PUSH1 0x84 00000745: ADD 00000746: PUSH2 0x0632 00000749: JUMP 0000074a: JUMPDEST 0000074b: DUP8 0000074c: PUSH2 0x0797 0000074f: JUMPI 00000750: PUSH1 0x40 00000752: MLOAD 00000753: PUSH3 0x461bcd 00000757: PUSH1 0xe5 00000759: SHL 0000075a: DUP2 0000075b: MSTORE 0000075c: PUSH1 0x20 0000075e: PUSH1 0x04 00000760: DUP3 00000761: ADD 00000762: MSTORE 00000763: PUSH1 0x1d 00000765: PUSH1 0x24 00000767: DUP3 00000768: ADD 00000769: MSTORE 0000076a: PUSH32 0x53484f56657374696e673a207a65726f206c656e677468206172726179000000 0000078b: PUSH1 0x44 0000078d: DUP3 0000078e: ADD 0000078f: MSTORE 00000790: PUSH1 0x64 00000792: ADD 00000793: PUSH2 0x0632 00000796: JUMP 00000797: JUMPDEST 00000798: DUP8 00000799: DUP7 0000079a: EQ 0000079b: PUSH2 0x07b6 0000079e: JUMPI 0000079f: PUSH1 0x40 000007a1: MLOAD 000007a2: PUSH3 0x461bcd 000007a6: PUSH1 0xe5 000007a8: SHL 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x04 000007ad: ADD 000007ae: PUSH2 0x0632 000007b1: SWAP1 000007b2: PUSH2 0x33f2 000007b5: JUMP 000007b6: JUMPDEST 000007b7: DUP8 000007b8: DUP5 000007b9: EQ 000007ba: PUSH2 0x07d5 000007bd: JUMPI 000007be: PUSH1 0x40 000007c0: MLOAD 000007c1: PUSH3 0x461bcd 000007c5: PUSH1 0xe5 000007c7: SHL 000007c8: DUP2 000007c9: MSTORE 000007ca: PUSH1 0x04 000007cc: ADD 000007cd: PUSH2 0x0632 000007d0: SWAP1 000007d1: PUSH2 0x33f2 000007d4: JUMP 000007d5: JUMPDEST 000007d6: DUP8 000007d7: DUP3 000007d8: EQ 000007d9: PUSH2 0x07f4 000007dc: JUMPI 000007dd: PUSH1 0x40 000007df: MLOAD 000007e0: PUSH3 0x461bcd 000007e4: PUSH1 0xe5 000007e6: SHL 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x04 000007eb: ADD 000007ec: PUSH2 0x0632 000007ef: SWAP1 000007f0: PUSH2 0x33f2 000007f3: JUMP 000007f4: JUMPDEST 000007f5: PUSH1 0x00 000007f7: DUP1 000007f8: PUSH1 0x00 000007fa: JUMPDEST 000007fb: DUP11 000007fc: DUP2 000007fd: LT 000007fe: ISZERO 000007ff: PUSH2 0x0cd1 00000802: JUMPI 00000803: PUSH1 0x00 00000805: DUP13 00000806: DUP13 00000807: DUP4 00000808: DUP2 00000809: DUP2 0000080a: LT 0000080b: PUSH2 0x0824 0000080e: JUMPI 0000080f: PUSH4 0x4e487b71 00000814: PUSH1 0xe0 00000816: SHL 00000817: PUSH1 0x00 00000819: MSTORE 0000081a: PUSH1 0x32 0000081c: PUSH1 0x04 0000081e: MSTORE 0000081f: PUSH1 0x24 00000821: PUSH1 0x00 00000823: REVERT 00000824: JUMPDEST 00000825: SWAP1 00000826: POP 00000827: PUSH1 0x20 00000829: MUL 0000082a: ADD 0000082b: PUSH1 0x20 0000082d: DUP2 0000082e: ADD 0000082f: SWAP1 00000830: PUSH2 0x0839 00000833: SWAP2 00000834: SWAP1 00000835: PUSH2 0x3033 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x9c 0000083c: SLOAD 0000083d: SWAP1 0000083e: SWAP2 0000083f: POP 00000840: PUSH1 0x01 00000842: PUSH1 0x01 00000844: PUSH1 0xa0 00000846: SHL 00000847: SUB 00000848: DUP1 00000849: DUP4 0000084a: AND 0000084b: SWAP2 0000084c: AND 0000084d: EQ 0000084e: ISZERO 0000084f: PUSH2 0x0956 00000852: JUMPI 00000853: DUP11 00000854: DUP11 00000855: DUP4 00000856: DUP2 00000857: DUP2 00000858: LT 00000859: PUSH2 0x0872 0000085c: JUMPI 0000085d: PUSH4 0x4e487b71 00000862: PUSH1 0xe0 00000864: SHL 00000865: PUSH1 0x00 00000867: MSTORE 00000868: PUSH1 0x32 0000086a: PUSH1 0x04 0000086c: MSTORE 0000086d: PUSH1 0x24 0000086f: PUSH1 0x00 00000871: REVERT 00000872: JUMPDEST 00000873: SWAP1 00000874: POP 00000875: PUSH1 0x20 00000877: MUL 00000878: ADD 00000879: PUSH1 0x20 0000087b: DUP2 0000087c: ADD 0000087d: SWAP1 0000087e: PUSH2 0x0887 00000881: SWAP2 00000882: SWAP1 00000883: PUSH2 0x3223 00000886: JUMP 00000887: JUMPDEST 00000888: PUSH1 0x9f 0000088a: DUP1 0000088b: SLOAD 0000088c: PUSH1 0x0b 0000088e: SWAP1 0000088f: PUSH2 0x08a9 00000892: SWAP1 00000893: DUP5 00000894: SWAP1 00000895: PUSH1 0x01 00000897: PUSH1 0x58 00000899: SHL 0000089a: SWAP1 0000089b: DIV 0000089c: PUSH1 0x01 0000089e: PUSH1 0x01 000008a0: PUSH1 0x78 000008a2: SHL 000008a3: SUB 000008a4: AND 000008a5: PUSH2 0x3508 000008a8: JUMP 000008a9: JUMPDEST 000008aa: SWAP3 000008ab: POP 000008ac: PUSH2 0x0100 000008af: EXP 000008b0: DUP2 000008b1: SLOAD 000008b2: DUP2 000008b3: PUSH1 0x01 000008b5: PUSH1 0x01 000008b7: PUSH1 0x78 000008b9: SHL 000008ba: SUB 000008bb: MUL 000008bc: NOT 000008bd: AND 000008be: SWAP1 000008bf: DUP4 000008c0: PUSH1 0x01 000008c2: PUSH1 0x01 000008c4: PUSH1 0x78 000008c6: SHL 000008c7: SUB 000008c8: AND 000008c9: MUL 000008ca: OR 000008cb: SWAP1 000008cc: SSTORE 000008cd: POP 000008ce: PUSH2 0x090a 000008d1: DUP12 000008d2: DUP12 000008d3: DUP5 000008d4: DUP2 000008d5: DUP2 000008d6: LT 000008d7: PUSH2 0x08f0 000008da: JUMPI 000008db: PUSH4 0x4e487b71 000008e0: PUSH1 0xe0 000008e2: SHL 000008e3: PUSH1 0x00 000008e5: MSTORE 000008e6: PUSH1 0x32 000008e8: PUSH1 0x04 000008ea: MSTORE 000008eb: PUSH1 0x24 000008ed: PUSH1 0x00 000008ef: REVERT 000008f0: JUMPDEST 000008f1: SWAP1 000008f2: POP 000008f3: PUSH1 0x20 000008f5: MUL 000008f6: ADD 000008f7: PUSH1 0x20 000008f9: DUP2 000008fa: ADD 000008fb: SWAP1 000008fc: PUSH2 0x0905 000008ff: SWAP2 00000900: SWAP1 00000901: PUSH2 0x3223 00000904: JUMP 00000905: JUMPDEST 00000906: PUSH2 0x29f2 00000909: JUMP 0000090a: JUMPDEST 0000090b: PUSH1 0xa1 0000090d: DUP1 0000090e: SLOAD 0000090f: PUSH1 0x11 00000911: SWAP1 00000912: PUSH2 0x092c 00000915: SWAP1 00000916: DUP5 00000917: SWAP1 00000918: PUSH1 0x01 0000091a: PUSH1 0x88 0000091c: SHL 0000091d: SWAP1 0000091e: DIV 0000091f: PUSH1 0x01 00000921: PUSH1 0x01 00000923: PUSH1 0x78 00000925: SHL 00000926: SUB 00000927: AND 00000928: PUSH2 0x3508 0000092b: JUMP 0000092c: JUMPDEST 0000092d: SWAP3 0000092e: POP 0000092f: PUSH2 0x0100 00000932: EXP 00000933: DUP2 00000934: SLOAD 00000935: DUP2 00000936: PUSH1 0x01 00000938: PUSH1 0x01 0000093a: PUSH1 0x78 0000093c: SHL 0000093d: SUB 0000093e: MUL 0000093f: NOT 00000940: AND 00000941: SWAP1 00000942: DUP4 00000943: PUSH1 0x01 00000945: PUSH1 0x01 00000947: PUSH1 0x78 00000949: SHL 0000094a: SUB 0000094b: AND 0000094c: MUL 0000094d: OR 0000094e: SWAP1 0000094f: SSTORE 00000950: POP 00000951: POP 00000952: PUSH2 0x0cbf 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH1 0x01 00000959: PUSH1 0x01 0000095b: PUSH1 0xa0 0000095d: SHL 0000095e: SUB 0000095f: DUP2 00000960: AND 00000961: PUSH1 0x00 00000963: SWAP1 00000964: DUP2 00000965: MSTORE 00000966: PUSH1 0x97 00000968: PUSH1 0x20 0000096a: MSTORE 0000096b: PUSH1 0x40 0000096d: SWAP1 0000096e: KECCAK256 0000096f: SLOAD 00000970: PUSH1 0x01 00000972: PUSH1 0x01 00000974: PUSH1 0x78 00000976: SHL 00000977: SUB 00000978: AND 00000979: ISZERO 0000097a: PUSH2 0x09c5 0000097d: JUMPI 0000097e: PUSH1 0x40 00000980: MLOAD 00000981: PUSH3 0x461bcd 00000985: PUSH1 0xe5 00000987: SHL 00000988: DUP2 00000989: MSTORE 0000098a: PUSH1 0x20 0000098c: PUSH1 0x04 0000098e: DUP3 0000098f: ADD 00000990: MSTORE 00000991: PUSH1 0x1f 00000993: PUSH1 0x24 00000995: DUP3 00000996: ADD 00000997: MSTORE 00000998: PUSH32 0x53484f56657374696e673a20616c72656164792077686974656c697374656400 000009b9: PUSH1 0x44 000009bb: DUP3 000009bc: ADD 000009bd: MSTORE 000009be: PUSH1 0x64 000009c0: ADD 000009c1: PUSH2 0x0632 000009c4: JUMP 000009c5: JUMPDEST 000009c6: DUP11 000009c7: DUP11 000009c8: DUP4 000009c9: DUP2 000009ca: DUP2 000009cb: LT 000009cc: PUSH2 0x09e5 000009cf: JUMPI 000009d0: PUSH4 0x4e487b71 000009d5: PUSH1 0xe0 000009d7: SHL 000009d8: PUSH1 0x00 000009da: MSTORE 000009db: PUSH1 0x32 000009dd: PUSH1 0x04 000009df: MSTORE 000009e0: PUSH1 0x24 000009e2: PUSH1 0x00 000009e4: REVERT 000009e5: JUMPDEST 000009e6: SWAP1 000009e7: POP 000009e8: PUSH1 0x20 000009ea: MUL 000009eb: ADD 000009ec: PUSH1 0x20 000009ee: DUP2 000009ef: ADD 000009f0: SWAP1 000009f1: PUSH2 0x09fa 000009f4: SWAP2 000009f5: SWAP1 000009f6: PUSH2 0x3223 000009f9: JUMP 000009fa: JUMPDEST 000009fb: PUSH1 0x01 000009fd: PUSH1 0x01 000009ff: PUSH1 0xa0 00000a01: SHL 00000a02: SUB 00000a03: DUP3 00000a04: AND 00000a05: PUSH1 0x00 00000a07: SWAP1 00000a08: DUP2 00000a09: MSTORE 00000a0a: PUSH1 0x97 00000a0c: PUSH1 0x20 00000a0e: MSTORE 00000a0f: PUSH1 0x40 00000a11: SWAP1 00000a12: KECCAK256 00000a13: DUP1 00000a14: SLOAD 00000a15: PUSH1 0x01 00000a17: PUSH1 0x01 00000a19: PUSH1 0x78 00000a1b: SHL 00000a1c: SUB 00000a1d: NOT 00000a1e: AND 00000a1f: PUSH1 0x01 00000a21: PUSH1 0x01 00000a23: PUSH1 0x78 00000a25: SHL 00000a26: SUB 00000a27: SWAP3 00000a28: SWAP1 00000a29: SWAP3 00000a2a: AND 00000a2b: SWAP2 00000a2c: SWAP1 00000a2d: SWAP2 00000a2e: OR 00000a2f: SWAP1 00000a30: SSTORE 00000a31: DUP9 00000a32: DUP9 00000a33: DUP4 00000a34: DUP2 00000a35: DUP2 00000a36: LT 00000a37: PUSH2 0x0a50 00000a3a: JUMPI 00000a3b: PUSH4 0x4e487b71 00000a40: PUSH1 0xe0 00000a42: SHL 00000a43: PUSH1 0x00 00000a45: MSTORE 00000a46: PUSH1 0x32 00000a48: PUSH1 0x04 00000a4a: MSTORE 00000a4b: PUSH1 0x24 00000a4d: PUSH1 0x00 00000a4f: REVERT 00000a50: JUMPDEST 00000a51: SWAP1 00000a52: POP 00000a53: PUSH1 0x20 00000a55: MUL 00000a56: ADD 00000a57: PUSH1 0x20 00000a59: DUP2 00000a5a: ADD 00000a5b: SWAP1 00000a5c: PUSH2 0x0a65 00000a5f: SWAP2 00000a60: SWAP1 00000a61: PUSH2 0x3223 00000a64: JUMP 00000a65: JUMPDEST 00000a66: PUSH1 0x01 00000a68: PUSH1 0x01 00000a6a: PUSH1 0xa0 00000a6c: SHL 00000a6d: SUB 00000a6e: DUP3 00000a6f: AND 00000a70: PUSH1 0x00 00000a72: SWAP1 00000a73: DUP2 00000a74: MSTORE 00000a75: PUSH1 0x97 00000a77: PUSH1 0x20 00000a79: MSTORE 00000a7a: PUSH1 0x40 00000a7c: SWAP1 00000a7d: KECCAK256 00000a7e: DUP1 00000a7f: SLOAD 00000a80: PUSH1 0x01 00000a82: PUSH1 0x01 00000a84: PUSH1 0x78 00000a86: SHL 00000a87: SUB 00000a88: SWAP3 00000a89: SWAP1 00000a8a: SWAP3 00000a8b: AND 00000a8c: PUSH1 0x01 00000a8e: PUSH1 0x78 00000a90: SHL 00000a91: MUL 00000a92: PUSH15 0xffffffffffffffffffffffffffffff 00000aa2: PUSH1 0x78 00000aa4: SHL 00000aa5: NOT 00000aa6: SWAP1 00000aa7: SWAP3 00000aa8: AND 00000aa9: SWAP2 00000aaa: SWAP1 00000aab: SWAP2 00000aac: OR 00000aad: SWAP1 00000aae: SSTORE 00000aaf: DUP7 00000ab0: DUP7 00000ab1: DUP4 00000ab2: DUP2 00000ab3: DUP2 00000ab4: LT 00000ab5: PUSH2 0x0ace 00000ab8: JUMPI 00000ab9: PUSH4 0x4e487b71 00000abe: PUSH1 0xe0 00000ac0: SHL 00000ac1: PUSH1 0x00 00000ac3: MSTORE 00000ac4: PUSH1 0x32 00000ac6: PUSH1 0x04 00000ac8: MSTORE 00000ac9: PUSH1 0x24 00000acb: PUSH1 0x00 00000acd: REVERT 00000ace: JUMPDEST 00000acf: SWAP1 00000ad0: POP 00000ad1: PUSH1 0x20 00000ad3: MUL 00000ad4: ADD 00000ad5: PUSH1 0x20 00000ad7: DUP2 00000ad8: ADD 00000ad9: SWAP1 00000ada: PUSH2 0x0ae3 00000add: SWAP2 00000ade: SWAP1 00000adf: PUSH2 0x31b3 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH1 0x01 00000ae6: PUSH1 0x01 00000ae8: PUSH1 0xa0 00000aea: SHL 00000aeb: SUB 00000aec: DUP3 00000aed: AND 00000aee: PUSH1 0x00 00000af0: SWAP1 00000af1: DUP2 00000af2: MSTORE 00000af3: PUSH1 0x98 00000af5: PUSH1 0x20 00000af7: MSTORE 00000af8: PUSH1 0x40 00000afa: SWAP1 00000afb: KECCAK256 00000afc: DUP1 00000afd: SLOAD 00000afe: PUSH1 0xff 00000b00: NOT 00000b01: AND 00000b02: SWAP2 00000b03: ISZERO 00000b04: ISZERO 00000b05: SWAP2 00000b06: SWAP1 00000b07: SWAP2 00000b08: OR 00000b09: SWAP1 00000b0a: SSTORE 00000b0b: DUP11 00000b0c: DUP11 00000b0d: DUP4 00000b0e: DUP2 00000b0f: DUP2 00000b10: LT 00000b11: PUSH2 0x0b2a 00000b14: JUMPI 00000b15: PUSH4 0x4e487b71 00000b1a: PUSH1 0xe0 00000b1c: SHL 00000b1d: PUSH1 0x00 00000b1f: MSTORE 00000b20: PUSH1 0x32 00000b22: PUSH1 0x04 00000b24: MSTORE 00000b25: PUSH1 0x24 00000b27: PUSH1 0x00 00000b29: REVERT 00000b2a: JUMPDEST 00000b2b: SWAP1 00000b2c: POP 00000b2d: PUSH1 0x20 00000b2f: MUL 00000b30: ADD 00000b31: PUSH1 0x20 00000b33: DUP2 00000b34: ADD 00000b35: SWAP1 00000b36: PUSH2 0x0b3f 00000b39: SWAP2 00000b3a: SWAP1 00000b3b: PUSH2 0x3223 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH2 0x0b49 00000b43: SWAP1 00000b44: DUP6 00000b45: PUSH2 0x3508 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: SWAP4 00000b4b: POP 00000b4c: DUP9 00000b4d: DUP9 00000b4e: DUP4 00000b4f: DUP2 00000b50: DUP2 00000b51: LT 00000b52: PUSH2 0x0b6b 00000b55: JUMPI 00000b56: PUSH4 0x4e487b71 00000b5b: PUSH1 0xe0 00000b5d: SHL 00000b5e: PUSH1 0x00 00000b60: MSTORE 00000b61: PUSH1 0x32 00000b63: PUSH1 0x04 00000b65: MSTORE 00000b66: PUSH1 0x24 00000b68: PUSH1 0x00 00000b6a: REVERT 00000b6b: JUMPDEST 00000b6c: SWAP1 00000b6d: POP 00000b6e: PUSH1 0x20 00000b70: MUL 00000b71: ADD 00000b72: PUSH1 0x20 00000b74: DUP2 00000b75: ADD 00000b76: SWAP1 00000b77: PUSH2 0x0b80 00000b7a: SWAP2 00000b7b: SWAP1 00000b7c: PUSH2 0x3223 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: PUSH2 0x0b8a 00000b84: SWAP1 00000b85: DUP5 00000b86: PUSH2 0x3508 00000b89: JUMP 00000b8a: JUMPDEST 00000b8b: SWAP3 00000b8c: POP 00000b8d: PUSH32 0x3a9b7a2dffb40f829e443936354abff0032a8bd6064e8abf40c7ff9991423880 00000bae: DUP14 00000baf: DUP14 00000bb0: DUP5 00000bb1: DUP2 00000bb2: DUP2 00000bb3: LT 00000bb4: PUSH2 0x0bcd 00000bb7: JUMPI 00000bb8: PUSH4 0x4e487b71 00000bbd: PUSH1 0xe0 00000bbf: SHL 00000bc0: PUSH1 0x00 00000bc2: MSTORE 00000bc3: PUSH1 0x32 00000bc5: PUSH1 0x04 00000bc7: MSTORE 00000bc8: PUSH1 0x24 00000bca: PUSH1 0x00 00000bcc: REVERT 00000bcd: JUMPDEST 00000bce: SWAP1 00000bcf: POP 00000bd0: PUSH1 0x20 00000bd2: MUL 00000bd3: ADD 00000bd4: PUSH1 0x20 00000bd6: DUP2 00000bd7: ADD 00000bd8: SWAP1 00000bd9: PUSH2 0x0be2 00000bdc: SWAP2 00000bdd: SWAP1 00000bde: PUSH2 0x3033 00000be1: JUMP 00000be2: JUMPDEST 00000be3: DUP13 00000be4: DUP13 00000be5: DUP6 00000be6: DUP2 00000be7: DUP2 00000be8: LT 00000be9: PUSH2 0x0c02 00000bec: JUMPI 00000bed: PUSH4 0x4e487b71 00000bf2: PUSH1 0xe0 00000bf4: SHL 00000bf5: PUSH1 0x00 00000bf7: MSTORE 00000bf8: PUSH1 0x32 00000bfa: PUSH1 0x04 00000bfc: MSTORE 00000bfd: PUSH1 0x24 00000bff: PUSH1 0x00 00000c01: REVERT 00000c02: JUMPDEST 00000c03: SWAP1 00000c04: POP 00000c05: PUSH1 0x20 00000c07: MUL 00000c08: ADD 00000c09: PUSH1 0x20 00000c0b: DUP2 00000c0c: ADD 00000c0d: SWAP1 00000c0e: PUSH2 0x0c17 00000c11: SWAP2 00000c12: SWAP1 00000c13: PUSH2 0x3223 00000c16: JUMP 00000c17: JUMPDEST 00000c18: DUP12 00000c19: DUP12 00000c1a: DUP7 00000c1b: DUP2 00000c1c: DUP2 00000c1d: LT 00000c1e: PUSH2 0x0c37 00000c21: JUMPI 00000c22: PUSH4 0x4e487b71 00000c27: PUSH1 0xe0 00000c29: SHL 00000c2a: PUSH1 0x00 00000c2c: MSTORE 00000c2d: PUSH1 0x32 00000c2f: PUSH1 0x04 00000c31: MSTORE 00000c32: PUSH1 0x24 00000c34: PUSH1 0x00 00000c36: REVERT 00000c37: JUMPDEST 00000c38: SWAP1 00000c39: POP 00000c3a: PUSH1 0x20 00000c3c: MUL 00000c3d: ADD 00000c3e: PUSH1 0x20 00000c40: DUP2 00000c41: ADD 00000c42: SWAP1 00000c43: PUSH2 0x0c4c 00000c46: SWAP2 00000c47: SWAP1 00000c48: PUSH2 0x3223 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: DUP11 00000c4e: DUP11 00000c4f: DUP8 00000c50: DUP2 00000c51: DUP2 00000c52: LT 00000c53: PUSH2 0x0c6c 00000c56: JUMPI 00000c57: PUSH4 0x4e487b71 00000c5c: PUSH1 0xe0 00000c5e: SHL 00000c5f: PUSH1 0x00 00000c61: MSTORE 00000c62: PUSH1 0x32 00000c64: PUSH1 0x04 00000c66: MSTORE 00000c67: PUSH1 0x24 00000c69: PUSH1 0x00 00000c6b: REVERT 00000c6c: JUMPDEST 00000c6d: SWAP1 00000c6e: POP 00000c6f: PUSH1 0x20 00000c71: MUL 00000c72: ADD 00000c73: PUSH1 0x20 00000c75: DUP2 00000c76: ADD 00000c77: SWAP1 00000c78: PUSH2 0x0c81 00000c7b: SWAP2 00000c7c: SWAP1 00000c7d: PUSH2 0x31b3 00000c80: JUMP 00000c81: JUMPDEST 00000c82: PUSH1 0x40 00000c84: DUP1 00000c85: MLOAD 00000c86: PUSH1 0x01 00000c88: PUSH1 0x01 00000c8a: PUSH1 0xa0 00000c8c: SHL 00000c8d: SUB 00000c8e: SWAP6 00000c8f: SWAP1 00000c90: SWAP6 00000c91: AND 00000c92: DUP6 00000c93: MSTORE 00000c94: PUSH1 0x01 00000c96: PUSH1 0x01 00000c98: PUSH1 0x78 00000c9a: SHL 00000c9b: SUB 00000c9c: SWAP4 00000c9d: DUP5 00000c9e: AND 00000c9f: PUSH1 0x20 00000ca1: DUP7 00000ca2: ADD 00000ca3: MSTORE 00000ca4: SWAP2 00000ca5: SWAP1 00000ca6: SWAP3 00000ca7: AND 00000ca8: SWAP1 00000ca9: DUP4 00000caa: ADD 00000cab: MSTORE 00000cac: ISZERO 00000cad: ISZERO 00000cae: PUSH1 0x60 00000cb0: DUP3 00000cb1: ADD 00000cb2: MSTORE 00000cb3: PUSH1 0x80 00000cb5: ADD 00000cb6: PUSH1 0x40 00000cb8: MLOAD 00000cb9: DUP1 00000cba: SWAP2 00000cbb: SUB 00000cbc: SWAP1 00000cbd: LOG1 00000cbe: POP 00000cbf: JUMPDEST 00000cc0: DUP1 00000cc1: PUSH2 0x0cc9 00000cc4: DUP2 00000cc5: PUSH2 0x3673 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: SWAP2 00000ccb: POP 00000ccc: POP 00000ccd: PUSH2 0x07fa 00000cd0: JUMP 00000cd1: JUMPDEST 00000cd2: POP 00000cd3: DUP2 00000cd4: PUSH1 0x9f 00000cd6: PUSH1 0x0b 00000cd8: DUP3 00000cd9: DUP3 00000cda: DUP3 00000cdb: SWAP1 00000cdc: SLOAD 00000cdd: SWAP1 00000cde: PUSH2 0x0100 00000ce1: EXP 00000ce2: SWAP1 00000ce3: DIV 00000ce4: PUSH1 0x01 00000ce6: PUSH1 0x01 00000ce8: PUSH1 0x78 00000cea: SHL 00000ceb: SUB 00000cec: AND 00000ced: PUSH2 0x0cf6 00000cf0: SWAP2 00000cf1: SWAP1 00000cf2: PUSH2 0x3508 00000cf5: JUMP 00000cf6: JUMPDEST 00000cf7: SWAP3 00000cf8: POP 00000cf9: PUSH2 0x0100 00000cfc: EXP 00000cfd: DUP2 00000cfe: SLOAD 00000cff: DUP2 00000d00: PUSH1 0x01 00000d02: PUSH1 0x01 00000d04: PUSH1 0x78 00000d06: SHL 00000d07: SUB 00000d08: MUL 00000d09: NOT 00000d0a: AND 00000d0b: SWAP1 00000d0c: DUP4 00000d0d: PUSH1 0x01 00000d0f: PUSH1 0x01 00000d11: PUSH1 0x78 00000d13: SHL 00000d14: SUB 00000d15: AND 00000d16: MUL 00000d17: OR 00000d18: SWAP1 00000d19: SSTORE 00000d1a: POP 00000d1b: DUP1 00000d1c: PUSH1 0xa0 00000d1e: PUSH1 0x0f 00000d20: DUP3 00000d21: DUP3 00000d22: DUP3 00000d23: SWAP1 00000d24: SLOAD 00000d25: SWAP1 00000d26: PUSH2 0x0100 00000d29: EXP 00000d2a: SWAP1 00000d2b: DIV 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0x01 00000d30: PUSH1 0x78 00000d32: SHL 00000d33: SUB 00000d34: AND 00000d35: PUSH2 0x0d3e 00000d38: SWAP2 00000d39: SWAP1 00000d3a: PUSH2 0x3508 00000d3d: JUMP 00000d3e: JUMPDEST 00000d3f: SWAP3 00000d40: POP 00000d41: PUSH2 0x0100 00000d44: EXP 00000d45: DUP2 00000d46: SLOAD 00000d47: DUP2 00000d48: PUSH1 0x01 00000d4a: PUSH1 0x01 00000d4c: PUSH1 0x78 00000d4e: SHL 00000d4f: SUB 00000d50: MUL 00000d51: NOT 00000d52: AND 00000d53: SWAP1 00000d54: DUP4 00000d55: PUSH1 0x01 00000d57: PUSH1 0x01 00000d59: PUSH1 0x78 00000d5b: SHL 00000d5c: SUB 00000d5d: AND 00000d5e: MUL 00000d5f: OR 00000d60: SWAP1 00000d61: SSTORE 00000d62: POP 00000d63: DUP3 00000d64: ISZERO 00000d65: PUSH2 0x0d7b 00000d68: JUMPI 00000d69: PUSH1 0x9f 00000d6b: DUP1 00000d6c: SLOAD 00000d6d: PUSH9 0xff0000000000000000 00000d77: NOT 00000d78: AND 00000d79: SWAP1 00000d7a: SSTORE 00000d7b: JUMPDEST 00000d7c: POP 00000d7d: POP 00000d7e: POP 00000d7f: POP 00000d80: POP 00000d81: POP 00000d82: POP 00000d83: POP 00000d84: POP 00000d85: POP 00000d86: POP 00000d87: JUMP 00000d88: JUMPDEST 00000d89: PUSH2 0x0d90 00000d8c: PUSH2 0x2a20 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: PUSH2 0x0d98 00000d94: PUSH2 0x165a 00000d97: JUMP 00000d98: JUMPDEST 00000d99: PUSH1 0x9e 00000d9b: SLOAD 00000d9c: PUSH1 0x01 00000d9e: PUSH1 0xa0 00000da0: SHL 00000da1: SWAP1 00000da2: DIV 00000da3: PUSH1 0x01 00000da5: PUSH1 0x01 00000da7: PUSH1 0x40 00000da9: SHL 00000daa: SUB 00000dab: AND 00000dac: TIMESTAMP 00000dad: LT 00000dae: DUP1 00000daf: ISZERO 00000db0: SWAP1 00000db1: PUSH2 0x0dc5 00000db4: JUMPI 00000db5: POP 00000db6: PUSH1 0x9f 00000db8: SLOAD 00000db9: PUSH1 0x01 00000dbb: PUSH1 0x01 00000dbd: PUSH1 0x40 00000dbf: SHL 00000dc0: SUB 00000dc1: AND 00000dc2: TIMESTAMP 00000dc3: GT 00000dc4: ISZERO 00000dc5: JUMPDEST 00000dc6: PUSH2 0x0e11 00000dc9: JUMPI 00000dca: PUSH1 0x40 00000dcc: MLOAD 00000dcd: PUSH3 0x461bcd 00000dd1: PUSH1 0xe5 00000dd3: SHL 00000dd4: DUP2 00000dd5: MSTORE 00000dd6: PUSH1 0x20 00000dd8: PUSH1 0x04 00000dda: DUP3 00000ddb: ADD 00000ddc: MSTORE 00000ddd: PUSH1 0x1c 00000ddf: PUSH1 0x24 00000de1: DUP3 00000de2: ADD 00000de3: MSTORE 00000de4: PUSH32 0x53484f56657374696e673a206e6f20726566756e6420706572696f6400000000 00000e05: PUSH1 0x44 00000e07: DUP3 00000e08: ADD 00000e09: MSTORE 00000e0a: PUSH1 0x64 00000e0c: ADD 00000e0d: PUSH2 0x0632 00000e10: JUMP 00000e11: JUMPDEST 00000e12: CALLER 00000e13: PUSH1 0x00 00000e15: DUP2 00000e16: DUP2 00000e17: MSTORE 00000e18: PUSH1 0x97 00000e1a: PUSH1 0x20 00000e1c: MSTORE 00000e1d: PUSH1 0x40 00000e1f: SWAP1 00000e20: KECCAK256 00000e21: DUP1 00000e22: SLOAD 00000e23: PUSH1 0x01 00000e25: PUSH1 0xf0 00000e27: SHL 00000e28: SWAP1 00000e29: DIV 00000e2a: PUSH2 0xffff 00000e2d: AND 00000e2e: ISZERO 00000e2f: PUSH2 0x0e70 00000e32: JUMPI 00000e33: PUSH1 0x40 00000e35: MLOAD 00000e36: PUSH3 0x461bcd 00000e3a: PUSH1 0xe5 00000e3c: SHL 00000e3d: DUP2 00000e3e: MSTORE 00000e3f: PUSH1 0x20 00000e41: PUSH1 0x04 00000e43: DUP3 00000e44: ADD 00000e45: MSTORE 00000e46: PUSH1 0x13 00000e48: PUSH1 0x24 00000e4a: DUP3 00000e4b: ADD 00000e4c: MSTORE 00000e4d: PUSH19 0x14d213d5995cdd1a5b99ce8818db185a5b5959 00000e61: PUSH1 0x6a 00000e63: SHL 00000e64: PUSH1 0x44 00000e66: DUP3 00000e67: ADD 00000e68: MSTORE 00000e69: PUSH1 0x64 00000e6b: ADD 00000e6c: PUSH2 0x0632 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: PUSH1 0x01 00000e73: DUP2 00000e74: ADD 00000e75: SLOAD 00000e76: PUSH2 0xffff 00000e79: AND 00000e7a: ISZERO 00000e7b: PUSH2 0x0ebf 00000e7e: JUMPI 00000e7f: PUSH1 0x40 00000e81: MLOAD 00000e82: PUSH3 0x461bcd 00000e86: PUSH1 0xe5 00000e88: SHL 00000e89: DUP2 00000e8a: MSTORE 00000e8b: PUSH1 0x20 00000e8d: PUSH1 0x04 00000e8f: DUP3 00000e90: ADD 00000e91: MSTORE 00000e92: PUSH1 0x16 00000e94: PUSH1 0x24 00000e96: DUP3 00000e97: ADD 00000e98: MSTORE 00000e99: PUSH22 0x14d213d5995cdd1a5b99ce88195b1a5b5a5b985d1959 00000eb0: PUSH1 0x52 00000eb2: SHL 00000eb3: PUSH1 0x44 00000eb5: DUP3 00000eb6: ADD 00000eb7: MSTORE 00000eb8: PUSH1 0x64 00000eba: ADD 00000ebb: PUSH2 0x0632 00000ebe: JUMP 00000ebf: JUMPDEST 00000ec0: DUP1 00000ec1: SLOAD 00000ec2: PUSH1 0x01 00000ec4: PUSH1 0x78 00000ec6: SHL 00000ec7: SWAP1 00000ec8: DIV 00000ec9: PUSH1 0x01 00000ecb: PUSH1 0x01 00000ecd: PUSH1 0x78 00000ecf: SHL 00000ed0: SUB 00000ed1: AND 00000ed2: PUSH2 0x0f1d 00000ed5: JUMPI 00000ed6: PUSH1 0x40 00000ed8: MLOAD 00000ed9: PUSH3 0x461bcd 00000edd: PUSH1 0xe5 00000edf: SHL 00000ee0: DUP2 00000ee1: MSTORE 00000ee2: PUSH1 0x20 00000ee4: PUSH1 0x04 00000ee6: DUP3 00000ee7: ADD 00000ee8: MSTORE 00000ee9: PUSH1 0x1a 00000eeb: PUSH1 0x24 00000eed: DUP3 00000eee: ADD 00000eef: MSTORE 00000ef0: PUSH32 0x53484f56657374696e673a206e6f7420726566756e6461626c65000000000000 00000f11: PUSH1 0x44 00000f13: DUP3 00000f14: ADD 00000f15: MSTORE 00000f16: PUSH1 0x64 00000f18: ADD 00000f19: PUSH2 0x0632 00000f1c: JUMP 00000f1d: JUMPDEST 00000f1e: PUSH1 0x01 00000f20: DUP2 00000f21: ADD 00000f22: SLOAD 00000f23: PUSH3 0x010000 00000f27: SWAP1 00000f28: DIV 00000f29: PUSH1 0xff 00000f2b: AND 00000f2c: ISZERO 00000f2d: PUSH2 0x0f78 00000f30: JUMPI 00000f31: PUSH1 0x40 00000f33: MLOAD 00000f34: PUSH3 0x461bcd 00000f38: PUSH1 0xe5 00000f3a: SHL 00000f3b: DUP2 00000f3c: MSTORE 00000f3d: PUSH1 0x20 00000f3f: PUSH1 0x04 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: PUSH1 0x1c 00000f46: PUSH1 0x24 00000f48: DUP3 00000f49: ADD 00000f4a: MSTORE 00000f4b: PUSH32 0x53484f56657374696e673a20616c726561647920726566756e64656400000000 00000f6c: PUSH1 0x44 00000f6e: DUP3 00000f6f: ADD 00000f70: MSTORE 00000f71: PUSH1 0x64 00000f73: ADD 00000f74: PUSH2 0x0632 00000f77: JUMP 00000f78: JUMPDEST 00000f79: DUP1 00000f7a: SLOAD 00000f7b: PUSH1 0x9e 00000f7d: SLOAD 00000f7e: PUSH1 0x9b 00000f80: SLOAD 00000f81: PUSH1 0x01 00000f83: PUSH1 0x01 00000f85: PUSH1 0x78 00000f87: SHL 00000f88: SUB 00000f89: PUSH1 0x01 00000f8b: PUSH1 0x78 00000f8d: SHL 00000f8e: DUP5 00000f8f: DIV 00000f90: DUP2 00000f91: AND 00000f92: SWAP4 00000f93: PUSH2 0x0faa 00000f96: SWAP4 00000f97: PUSH1 0x01 00000f99: PUSH1 0x01 00000f9b: PUSH1 0xa0 00000f9d: SHL 00000f9e: SUB 00000f9f: SWAP4 00000fa0: DUP5 00000fa1: AND 00000fa2: SWAP4 00000fa3: AND 00000fa4: SWAP2 00000fa5: AND 00000fa6: PUSH2 0x2941 00000fa9: JUMP 00000faa: JUMPDEST 00000fab: PUSH1 0x9d 00000fad: SLOAD 00000fae: PUSH2 0x0fca 00000fb1: SWAP1 00000fb2: PUSH1 0x01 00000fb4: PUSH1 0x01 00000fb6: PUSH1 0xa0 00000fb8: SHL 00000fb9: SUB 00000fba: AND 00000fbb: DUP5 00000fbc: PUSH1 0x01 00000fbe: PUSH1 0x01 00000fc0: PUSH1 0x78 00000fc2: SHL 00000fc3: SUB 00000fc4: DUP5 00000fc5: AND 00000fc6: PUSH2 0x2941 00000fc9: JUMP 00000fca: JUMPDEST 00000fcb: DUP2 00000fcc: SLOAD 00000fcd: PUSH1 0xa0 00000fcf: DUP1 00000fd0: SLOAD 00000fd1: PUSH1 0x01 00000fd3: PUSH1 0x01 00000fd5: PUSH1 0x78 00000fd7: SHL 00000fd8: SUB 00000fd9: SWAP3 00000fda: DUP4 00000fdb: AND 00000fdc: SWAP3 00000fdd: PUSH1 0x00 00000fdf: SWAP2 00000fe0: PUSH2 0x0feb 00000fe3: SWAP2 00000fe4: DUP6 00000fe5: SWAP2 00000fe6: AND 00000fe7: PUSH2 0x3508 00000fea: JUMP 00000feb: JUMPDEST 00000fec: SWAP3 00000fed: POP 00000fee: PUSH2 0x0100 00000ff1: EXP 00000ff2: DUP2 00000ff3: SLOAD 00000ff4: DUP2 00000ff5: PUSH1 0x01 00000ff7: PUSH1 0x01 00000ff9: PUSH1 0x78 00000ffb: SHL 00000ffc: SUB 00000ffd: MUL 00000ffe: NOT 00000fff: AND 00001000: SWAP1 00001001: DUP4 00001002: PUSH1 0x01 00001004: PUSH1 0x01 00001006: PUSH1 0x78 00001008: SHL 00001009: SUB 0000100a: AND 0000100b: MUL 0000100c: OR 0000100d: SWAP1 0000100e: SSTORE 0000100f: POP 00001010: DUP1 00001011: PUSH1 0xa1 00001013: PUSH1 0x00 00001015: DUP3 00001016: DUP3 00001017: DUP3 00001018: SWAP1 00001019: SLOAD 0000101a: SWAP1 0000101b: PUSH2 0x0100 0000101e: EXP 0000101f: SWAP1 00001020: DIV 00001021: PUSH1 0x01 00001023: PUSH1 0x01 00001025: PUSH1 0x78 00001027: SHL 00001028: SUB 00001029: AND 0000102a: PUSH2 0x1033 0000102d: SWAP2 0000102e: SWAP1 0000102f: PUSH2 0x3508 00001032: JUMP 00001033: JUMPDEST 00001034: DUP3 00001035: SLOAD 00001036: PUSH2 0x0100 00001039: SWAP3 0000103a: SWAP1 0000103b: SWAP3 0000103c: EXP 0000103d: PUSH1 0x01 0000103f: PUSH1 0x01 00001041: PUSH1 0x78 00001043: SHL 00001044: SUB 00001045: DUP2 00001046: DUP2 00001047: MUL 00001048: NOT 00001049: SWAP1 0000104a: SWAP4 0000104b: AND 0000104c: SWAP2 0000104d: DUP4 0000104e: AND 0000104f: MUL 00001050: OR 00001051: SWAP1 00001052: SWAP2 00001053: SSTORE 00001054: PUSH1 0x01 00001056: DUP5 00001057: ADD 00001058: DUP1 00001059: SLOAD 0000105a: PUSH3 0x010000 0000105e: PUSH3 0xff0000 00001062: NOT 00001063: SWAP1 00001064: SWAP2 00001065: AND 00001066: OR 00001067: SWAP1 00001068: SSTORE 00001069: PUSH1 0x40 0000106b: DUP1 0000106c: MLOAD 0000106d: PUSH1 0x01 0000106f: PUSH1 0x01 00001071: PUSH1 0xa0 00001073: SHL 00001074: SUB 00001075: DUP8 00001076: AND 00001077: DUP2 00001078: MSTORE 00001079: SWAP2 0000107a: DUP5 0000107b: AND 0000107c: PUSH1 0x20 0000107e: DUP4 0000107f: ADD 00001080: MSTORE 00001081: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d 000010a2: SWAP3 000010a3: POP 000010a4: ADD 000010a5: PUSH1 0x40 000010a7: MLOAD 000010a8: DUP1 000010a9: SWAP2 000010aa: SUB 000010ab: SWAP1 000010ac: LOG1 000010ad: POP 000010ae: POP 000010af: POP 000010b0: PUSH2 0x06d2 000010b3: PUSH1 0x01 000010b5: PUSH1 0x65 000010b7: SSTORE 000010b8: JUMP 000010b9: JUMPDEST 000010ba: PUSH2 0x10c1 000010bd: PUSH2 0x2998 000010c0: JUMP 000010c1: JUMPDEST 000010c2: DUP1 000010c3: ISZERO 000010c4: PUSH2 0x111b 000010c7: JUMPI 000010c8: PUSH1 0x40 000010ca: MLOAD 000010cb: PUSH3 0x461bcd 000010cf: PUSH1 0xe5 000010d1: SHL 000010d2: DUP2 000010d3: MSTORE 000010d4: PUSH1 0x20 000010d6: PUSH1 0x04 000010d8: DUP3 000010d9: ADD 000010da: MSTORE 000010db: PUSH1 0x23 000010dd: PUSH1 0x24 000010df: DUP3 000010e0: ADD 000010e1: MSTORE 000010e2: PUSH32 0x53484f56657374696e673a206f6e6c7920756e626c6f636b696e6720616c6c6f 00001103: PUSH1 0x44 00001105: DUP3 00001106: ADD 00001107: MSTORE 00001108: PUSH3 0x1dd959 0000110c: PUSH1 0xea 0000110e: SHL 0000110f: PUSH1 0x64 00001111: DUP3 00001112: ADD 00001113: MSTORE 00001114: PUSH1 0x84 00001116: ADD 00001117: PUSH2 0x0632 0000111a: JUMP 0000111b: JUMPDEST 0000111c: PUSH1 0x00 0000111e: JUMPDEST 0000111f: DUP3 00001120: DUP2 00001121: LT 00001122: ISZERO 00001123: PUSH2 0x119a 00001126: JUMPI 00001127: DUP2 00001128: PUSH1 0x98 0000112a: PUSH1 0x00 0000112c: DUP7 0000112d: DUP7 0000112e: DUP6 0000112f: DUP2 00001130: DUP2 00001131: LT 00001132: PUSH2 0x114b 00001135: JUMPI 00001136: PUSH4 0x4e487b71 0000113b: PUSH1 0xe0 0000113d: SHL 0000113e: PUSH1 0x00 00001140: MSTORE 00001141: PUSH1 0x32 00001143: PUSH1 0x04 00001145: MSTORE 00001146: PUSH1 0x24 00001148: PUSH1 0x00 0000114a: REVERT 0000114b: JUMPDEST 0000114c: SWAP1 0000114d: POP 0000114e: PUSH1 0x20 00001150: MUL 00001151: ADD 00001152: PUSH1 0x20 00001154: DUP2 00001155: ADD 00001156: SWAP1 00001157: PUSH2 0x1160 0000115a: SWAP2 0000115b: SWAP1 0000115c: PUSH2 0x3033 0000115f: JUMP 00001160: JUMPDEST 00001161: PUSH1 0x01 00001163: PUSH1 0x01 00001165: PUSH1 0xa0 00001167: SHL 00001168: SUB 00001169: AND 0000116a: DUP2 0000116b: MSTORE 0000116c: PUSH1 0x20 0000116e: DUP2 0000116f: ADD 00001170: SWAP2 00001171: SWAP1 00001172: SWAP2 00001173: MSTORE 00001174: PUSH1 0x40 00001176: ADD 00001177: PUSH1 0x00 00001179: KECCAK256 0000117a: DUP1 0000117b: SLOAD 0000117c: PUSH1 0xff 0000117e: NOT 0000117f: AND 00001180: SWAP2 00001181: ISZERO 00001182: ISZERO 00001183: SWAP2 00001184: SWAP1 00001185: SWAP2 00001186: OR 00001187: SWAP1 00001188: SSTORE 00001189: DUP1 0000118a: PUSH2 0x1192 0000118d: DUP2 0000118e: PUSH2 0x3673 00001191: JUMP 00001192: JUMPDEST 00001193: SWAP2 00001194: POP 00001195: POP 00001196: PUSH2 0x111e 00001199: JUMP 0000119a: JUMPDEST 0000119b: POP 0000119c: PUSH32 0x934de86aac2bd6f5a4967899f3a725630a82f782f5965e4eae50a454a953de4b 000011bd: DUP4 000011be: DUP4 000011bf: DUP4 000011c0: PUSH1 0x40 000011c2: MLOAD 000011c3: PUSH2 0x11ce 000011c6: SWAP4 000011c7: SWAP3 000011c8: SWAP2 000011c9: SWAP1 000011ca: PUSH2 0x32e1 000011cd: JUMP 000011ce: JUMPDEST 000011cf: PUSH1 0x40 000011d1: MLOAD 000011d2: DUP1 000011d3: SWAP2 000011d4: SUB 000011d5: SWAP1 000011d6: LOG1 000011d7: POP 000011d8: POP 000011d9: POP 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH2 0x11e3 000011df: PUSH2 0x2998 000011e2: JUMP 000011e3: JUMPDEST 000011e4: PUSH2 0x06d2 000011e7: PUSH1 0x00 000011e9: PUSH2 0x2a81 000011ec: JUMP 000011ed: JUMPDEST 000011ee: PUSH1 0x99 000011f0: DUP2 000011f1: DUP2 000011f2: SLOAD 000011f3: DUP2 000011f4: LT 000011f5: PUSH2 0x11fd 000011f8: JUMPI 000011f9: PUSH1 0x00 000011fb: DUP1 000011fc: REVERT 000011fd: JUMPDEST 000011fe: SWAP1 000011ff: PUSH1 0x00 00001201: MSTORE 00001202: PUSH1 0x20 00001204: PUSH1 0x00 00001206: KECCAK256 00001207: SWAP1 00001208: PUSH1 0x08 0000120a: SWAP2 0000120b: DUP3 0000120c: DUP3 0000120d: DIV 0000120e: ADD 0000120f: SWAP2 00001210: SWAP1 00001211: MOD 00001212: PUSH1 0x04 00001214: MUL 00001215: SWAP2 00001216: POP 00001217: SLOAD 00001218: SWAP1 00001219: PUSH2 0x0100 0000121c: EXP 0000121d: SWAP1 0000121e: DIV 0000121f: PUSH4 0xffffffff 00001224: AND 00001225: DUP2 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH2 0x122f 0000122b: PUSH2 0x2998 0000122e: JUMP 0000122f: JUMPDEST 00001230: PUSH2 0x1237 00001233: PUSH2 0x165a 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH1 0x9f 0000123a: SLOAD 0000123b: PUSH1 0x01 0000123d: PUSH1 0x48 0000123f: SHL 00001240: SWAP1 00001241: DIV 00001242: PUSH2 0xffff 00001245: AND 00001246: PUSH2 0x1291 00001249: JUMPI 0000124a: PUSH1 0x40 0000124c: MLOAD 0000124d: PUSH3 0x461bcd 00001251: PUSH1 0xe5 00001253: SHL 00001254: DUP2 00001255: MSTORE 00001256: PUSH1 0x20 00001258: PUSH1 0x04 0000125a: DUP3 0000125b: ADD 0000125c: MSTORE 0000125d: PUSH1 0x1d 0000125f: PUSH1 0x24 00001261: DUP3 00001262: ADD 00001263: MSTORE 00001264: PUSH32 0x53484f56657374696e673a206e6f20756e6c6f636b7320706173736564000000 00001285: PUSH1 0x44 00001287: DUP3 00001288: ADD 00001289: MSTORE 0000128a: PUSH1 0x64 0000128c: ADD 0000128d: PUSH2 0x0632 00001290: JUMP 00001291: JUMPDEST 00001292: PUSH1 0x9f 00001294: SLOAD 00001295: PUSH1 0x00 00001297: SWAP1 00001298: PUSH2 0x12ae 0000129b: SWAP1 0000129c: PUSH1 0x01 0000129e: SWAP1 0000129f: PUSH1 0x01 000012a1: PUSH1 0x48 000012a3: SHL 000012a4: SWAP1 000012a5: DIV 000012a6: PUSH2 0xffff 000012a9: AND 000012aa: PUSH2 0x35d6 000012ad: JUMP 000012ae: JUMPDEST 000012af: PUSH1 0x9a 000012b1: SLOAD 000012b2: SWAP1 000012b3: SWAP2 000012b4: POP 000012b5: PUSH2 0x12c0 000012b8: SWAP1 000012b9: PUSH1 0x01 000012bb: SWAP1 000012bc: PUSH2 0x35f1 000012bf: JUMP 000012c0: JUMPDEST 000012c1: DUP2 000012c2: PUSH2 0xffff 000012c5: AND 000012c6: LT 000012c7: PUSH2 0x1325 000012ca: JUMPI 000012cb: PUSH1 0x40 000012cd: MLOAD 000012ce: PUSH3 0x461bcd 000012d2: PUSH1 0xe5 000012d4: SHL 000012d5: DUP2 000012d6: MSTORE 000012d7: PUSH1 0x20 000012d9: PUSH1 0x04 000012db: DUP3 000012dc: ADD 000012dd: MSTORE 000012de: PUSH1 0x2a 000012e0: PUSH1 0x24 000012e2: DUP3 000012e3: ADD 000012e4: MSTORE 000012e5: PUSH32 0x53484f56657374696e673a20656c696d696e6174696e6720696e20746865206c 00001306: PUSH1 0x44 00001308: DUP3 00001309: ADD 0000130a: MSTORE 0000130b: PUSH10 0x61737420756e6c6f636b 00001316: PUSH1 0xb0 00001318: SHL 00001319: PUSH1 0x64 0000131b: DUP3 0000131c: ADD 0000131d: MSTORE 0000131e: PUSH1 0x84 00001320: ADD 00001321: PUSH2 0x0632 00001324: JUMP 00001325: JUMPDEST 00001326: PUSH1 0x00 00001328: JUMPDEST 00001329: DUP3 0000132a: DUP2 0000132b: LT 0000132c: ISZERO 0000132d: PUSH2 0x1654 00001330: JUMPI 00001331: PUSH1 0x00 00001333: DUP5 00001334: DUP5 00001335: DUP4 00001336: DUP2 00001337: DUP2 00001338: LT 00001339: PUSH2 0x1352 0000133c: JUMPI 0000133d: PUSH4 0x4e487b71 00001342: PUSH1 0xe0 00001344: SHL 00001345: PUSH1 0x00 00001347: MSTORE 00001348: PUSH1 0x32 0000134a: PUSH1 0x04 0000134c: MSTORE 0000134d: PUSH1 0x24 0000134f: PUSH1 0x00 00001351: REVERT 00001352: JUMPDEST 00001353: SWAP1 00001354: POP 00001355: PUSH1 0x20 00001357: MUL 00001358: ADD 00001359: PUSH1 0x20 0000135b: DUP2 0000135c: ADD 0000135d: SWAP1 0000135e: PUSH2 0x1367 00001361: SWAP2 00001362: SWAP1 00001363: PUSH2 0x3033 00001366: JUMP 00001367: JUMPDEST 00001368: PUSH1 0x01 0000136a: PUSH1 0x01 0000136c: PUSH1 0xa0 0000136e: SHL 0000136f: SUB 00001370: DUP2 00001371: AND 00001372: PUSH1 0x00 00001374: SWAP1 00001375: DUP2 00001376: MSTORE 00001377: PUSH1 0x97 00001379: PUSH1 0x20 0000137b: SWAP1 0000137c: DUP2 0000137d: MSTORE 0000137e: PUSH1 0x40 00001380: SWAP2 00001381: DUP3 00001382: SWAP1 00001383: KECCAK256 00001384: DUP3 00001385: MLOAD 00001386: PUSH1 0xa0 00001388: DUP2 00001389: ADD 0000138a: DUP5 0000138b: MSTORE 0000138c: DUP2 0000138d: SLOAD 0000138e: PUSH1 0x01 00001390: PUSH1 0x01 00001392: PUSH1 0x78 00001394: SHL 00001395: SUB 00001396: DUP1 00001397: DUP3 00001398: AND 00001399: DUP1 0000139a: DUP5 0000139b: MSTORE 0000139c: PUSH1 0x01 0000139e: PUSH1 0x78 000013a0: SHL 000013a1: DUP4 000013a2: DIV 000013a3: SWAP1 000013a4: SWAP2 000013a5: AND 000013a6: SWAP5 000013a7: DUP4 000013a8: ADD 000013a9: SWAP5 000013aa: SWAP1 000013ab: SWAP5 000013ac: MSTORE 000013ad: PUSH1 0x01 000013af: PUSH1 0xf0 000013b1: SHL 000013b2: SWAP1 000013b3: DIV 000013b4: PUSH2 0xffff 000013b7: SWAP1 000013b8: DUP2 000013b9: AND 000013ba: SWAP5 000013bb: DUP3 000013bc: ADD 000013bd: SWAP5 000013be: SWAP1 000013bf: SWAP5 000013c0: MSTORE 000013c1: PUSH1 0x01 000013c3: SWAP1 000013c4: SWAP2 000013c5: ADD 000013c6: SLOAD 000013c7: SWAP3 000013c8: DUP4 000013c9: AND 000013ca: PUSH1 0x60 000013cc: DUP3 000013cd: ADD 000013ce: MSTORE 000013cf: PUSH3 0x010000 000013d3: SWAP1 000013d4: SWAP3 000013d5: DIV 000013d6: PUSH1 0xff 000013d8: AND 000013d9: ISZERO 000013da: ISZERO 000013db: PUSH1 0x80 000013dd: DUP4 000013de: ADD 000013df: MSTORE 000013e0: SWAP2 000013e1: SWAP3 000013e2: POP 000013e3: SWAP1 000013e4: PUSH2 0x142f 000013e7: JUMPI 000013e8: PUSH1 0x40 000013ea: MLOAD 000013eb: PUSH3 0x461bcd 000013ef: PUSH1 0xe5 000013f1: SHL 000013f2: DUP2 000013f3: MSTORE 000013f4: PUSH1 0x20 000013f6: PUSH1 0x04 000013f8: DUP3 000013f9: ADD 000013fa: MSTORE 000013fb: PUSH1 0x1b 000013fd: PUSH1 0x24 000013ff: DUP3 00001400: ADD 00001401: MSTORE 00001402: PUSH32 0x53484f56657374696e673a206e6f742077686974656c69737465640000000000 00001423: PUSH1 0x44 00001425: DUP3 00001426: ADD 00001427: MSTORE 00001428: PUSH1 0x64 0000142a: ADD 0000142b: PUSH2 0x0632 0000142e: JUMP 0000142f: JUMPDEST 00001430: DUP1 00001431: PUSH1 0x80 00001433: ADD 00001434: MLOAD 00001435: ISZERO 00001436: PUSH2 0x1478 00001439: JUMPI 0000143a: PUSH1 0x40 0000143c: MLOAD 0000143d: PUSH3 0x461bcd 00001441: PUSH1 0xe5 00001443: SHL 00001444: DUP2 00001445: MSTORE 00001446: PUSH1 0x20 00001448: PUSH1 0x04 0000144a: DUP3 0000144b: ADD 0000144c: MSTORE 0000144d: PUSH1 0x14 0000144f: PUSH1 0x24 00001451: DUP3 00001452: ADD 00001453: MSTORE 00001454: PUSH20 0x14d213d5995cdd1a5b99ce881c99599d5b991959 00001469: PUSH1 0x62 0000146b: SHL 0000146c: PUSH1 0x44 0000146e: DUP3 0000146f: ADD 00001470: MSTORE 00001471: PUSH1 0x64 00001473: ADD 00001474: PUSH2 0x0632 00001477: JUMP 00001478: JUMPDEST 00001479: PUSH1 0x60 0000147b: DUP2 0000147c: ADD 0000147d: MLOAD 0000147e: PUSH2 0xffff 00001481: AND 00001482: ISZERO 00001483: PUSH2 0x14ce 00001486: JUMPI 00001487: PUSH1 0x40 00001489: MLOAD 0000148a: PUSH3 0x461bcd 0000148e: PUSH1 0xe5 00001490: SHL 00001491: DUP2 00001492: MSTORE 00001493: PUSH1 0x20 00001495: PUSH1 0x04 00001497: DUP3 00001498: ADD 00001499: MSTORE 0000149a: PUSH1 0x1e 0000149c: PUSH1 0x24 0000149e: DUP3 0000149f: ADD 000014a0: MSTORE 000014a1: PUSH32 0x53484f56657374696e673a20616c726561647920656c696d696e617465640000 000014c2: PUSH1 0x44 000014c4: DUP3 000014c5: ADD 000014c6: MSTORE 000014c7: PUSH1 0x64 000014c9: ADD 000014ca: PUSH2 0x0632 000014cd: JUMP 000014ce: JUMPDEST 000014cf: PUSH1 0x00 000014d1: PUSH2 0x14dd 000014d4: DUP3 000014d5: PUSH1 0x00 000014d7: ADD 000014d8: MLOAD 000014d9: PUSH2 0x29f2 000014dc: JUMP 000014dd: JUMPDEST 000014de: SWAP1 000014df: POP 000014e0: PUSH1 0x00 000014e2: PUSH2 0x1535 000014e5: DUP3 000014e6: PUSH1 0x99 000014e8: DUP9 000014e9: PUSH2 0xffff 000014ec: AND 000014ed: DUP2 000014ee: SLOAD 000014ef: DUP2 000014f0: LT 000014f1: PUSH2 0x150a 000014f4: JUMPI 000014f5: PUSH4 0x4e487b71 000014fa: PUSH1 0xe0 000014fc: SHL 000014fd: PUSH1 0x00 000014ff: MSTORE 00001500: PUSH1 0x32 00001502: PUSH1 0x04 00001504: MSTORE 00001505: PUSH1 0x24 00001507: PUSH1 0x00 00001509: REVERT 0000150a: JUMPDEST 0000150b: SWAP1 0000150c: PUSH1 0x00 0000150e: MSTORE 0000150f: PUSH1 0x20 00001511: PUSH1 0x00 00001513: KECCAK256 00001514: SWAP1 00001515: PUSH1 0x08 00001517: SWAP2 00001518: DUP3 00001519: DUP3 0000151a: DIV 0000151b: ADD 0000151c: SWAP2 0000151d: SWAP1 0000151e: MOD 0000151f: PUSH1 0x04 00001521: MUL 00001522: SWAP1 00001523: SLOAD 00001524: SWAP1 00001525: PUSH2 0x0100 00001528: EXP 00001529: SWAP1 0000152a: DIV 0000152b: PUSH4 0xffffffff 00001530: AND 00001531: PUSH2 0x2ad3 00001534: JUMP 00001535: JUMPDEST 00001536: SWAP1 00001537: POP 00001538: DUP2 00001539: PUSH1 0xa1 0000153b: PUSH1 0x11 0000153d: DUP3 0000153e: DUP3 0000153f: DUP3 00001540: SWAP1 00001541: SLOAD 00001542: SWAP1 00001543: PUSH2 0x0100 00001546: EXP 00001547: SWAP1 00001548: DIV 00001549: PUSH1 0x01 0000154b: PUSH1 0x01 0000154d: PUSH1 0x78 0000154f: SHL 00001550: SUB 00001551: AND 00001552: PUSH2 0x155b 00001555: SWAP2 00001556: SWAP1 00001557: PUSH2 0x3508 0000155a: JUMP 0000155b: JUMPDEST 0000155c: SWAP3 0000155d: POP 0000155e: PUSH2 0x0100 00001561: EXP 00001562: DUP2 00001563: SLOAD 00001564: DUP2 00001565: PUSH1 0x01 00001567: PUSH1 0x01 00001569: PUSH1 0x78 0000156b: SHL 0000156c: SUB 0000156d: MUL 0000156e: NOT 0000156f: AND 00001570: SWAP1 00001571: DUP4 00001572: PUSH1 0x01 00001574: PUSH1 0x01 00001576: PUSH1 0x78 00001578: SHL 00001579: SUB 0000157a: AND 0000157b: MUL 0000157c: OR 0000157d: SWAP1 0000157e: SSTORE 0000157f: POP 00001580: DUP1 00001581: PUSH1 0xa2 00001583: PUSH1 0x00 00001585: DUP3 00001586: DUP3 00001587: DUP3 00001588: SWAP1 00001589: SLOAD 0000158a: SWAP1 0000158b: PUSH2 0x0100 0000158e: EXP 0000158f: SWAP1 00001590: DIV 00001591: PUSH1 0x01 00001593: PUSH1 0x01 00001595: PUSH1 0x78 00001597: SHL 00001598: SUB 00001599: AND 0000159a: PUSH2 0x15a3 0000159d: SWAP2 0000159e: SWAP1 0000159f: PUSH2 0x3508 000015a2: JUMP 000015a3: JUMPDEST 000015a4: SWAP3 000015a5: POP 000015a6: PUSH2 0x0100 000015a9: EXP 000015aa: DUP2 000015ab: SLOAD 000015ac: DUP2 000015ad: PUSH1 0x01 000015af: PUSH1 0x01 000015b1: PUSH1 0x78 000015b3: SHL 000015b4: SUB 000015b5: MUL 000015b6: NOT 000015b7: AND 000015b8: SWAP1 000015b9: DUP4 000015ba: PUSH1 0x01 000015bc: PUSH1 0x01 000015be: PUSH1 0x78 000015c0: SHL 000015c1: SUB 000015c2: AND 000015c3: MUL 000015c4: OR 000015c5: SWAP1 000015c6: SSTORE 000015c7: POP 000015c8: DUP6 000015c9: PUSH1 0x01 000015cb: PUSH2 0x15d4 000015ce: SWAP2 000015cf: SWAP1 000015d0: PUSH2 0x3533 000015d3: JUMP 000015d4: JUMPDEST 000015d5: PUSH1 0x01 000015d7: PUSH1 0x01 000015d9: PUSH1 0xa0 000015db: SHL 000015dc: SUB 000015dd: DUP6 000015de: AND 000015df: PUSH1 0x00 000015e1: DUP2 000015e2: DUP2 000015e3: MSTORE 000015e4: PUSH1 0x97 000015e6: PUSH1 0x20 000015e8: SWAP1 000015e9: DUP2 000015ea: MSTORE 000015eb: PUSH1 0x40 000015ed: SWAP2 000015ee: DUP3 000015ef: SWAP1 000015f0: KECCAK256 000015f1: PUSH1 0x01 000015f3: ADD 000015f4: DUP1 000015f5: SLOAD 000015f6: PUSH2 0xffff 000015f9: NOT 000015fa: AND 000015fb: PUSH2 0xffff 000015fe: SWAP6 000015ff: DUP7 00001600: AND 00001601: OR 00001602: SWAP1 00001603: SSTORE 00001604: DUP2 00001605: MLOAD 00001606: SWAP3 00001607: DUP4 00001608: MSTORE 00001609: SWAP3 0000160a: DUP10 0000160b: AND 0000160c: SWAP3 0000160d: DUP3 0000160e: ADD 0000160f: SWAP3 00001610: SWAP1 00001611: SWAP3 00001612: MSTORE 00001613: PUSH32 0x2e534232be2bba1dbb7d9f42a931f682e70335382d04258ae54c1e4f7f3fbbea 00001634: SWAP2 00001635: ADD 00001636: PUSH1 0x40 00001638: MLOAD 00001639: DUP1 0000163a: SWAP2 0000163b: SUB 0000163c: SWAP1 0000163d: LOG1 0000163e: POP 0000163f: POP 00001640: POP 00001641: POP 00001642: DUP1 00001643: DUP1 00001644: PUSH2 0x164c 00001647: SWAP1 00001648: PUSH2 0x3673 0000164b: JUMP 0000164c: JUMPDEST 0000164d: SWAP2 0000164e: POP 0000164f: POP 00001650: PUSH2 0x1328 00001653: JUMP 00001654: JUMPDEST 00001655: POP 00001656: POP 00001657: POP 00001658: POP 00001659: JUMP 0000165a: JUMPDEST 0000165b: PUSH1 0x00 0000165d: PUSH2 0x1664 00001660: PUSH2 0x16dd 00001663: JUMP 00001664: JUMPDEST 00001665: PUSH1 0x9f 00001667: SLOAD 00001668: SWAP1 00001669: SWAP2 0000166a: POP 0000166b: PUSH2 0xffff 0000166e: PUSH1 0x01 00001670: PUSH1 0x48 00001672: SHL 00001673: SWAP1 00001674: SWAP2 00001675: DIV 00001676: DUP2 00001677: AND 00001678: SWAP1 00001679: DUP3 0000167a: AND 0000167b: GT 0000167c: ISZERO 0000167d: PUSH2 0x16da 00001680: JUMPI 00001681: PUSH1 0x9f 00001683: DUP1 00001684: SLOAD 00001685: PUSH11 0xffff000000000000000000 00001691: NOT 00001692: AND 00001693: PUSH1 0x01 00001695: PUSH1 0x48 00001697: SHL 00001698: PUSH2 0xffff 0000169b: DUP5 0000169c: AND 0000169d: SWAP1 0000169e: DUP2 0000169f: MUL 000016a0: SWAP2 000016a1: SWAP1 000016a2: SWAP2 000016a3: OR 000016a4: SWAP1 000016a5: SWAP2 000016a6: SSTORE 000016a7: PUSH1 0x40 000016a9: MLOAD 000016aa: SWAP1 000016ab: DUP2 000016ac: MSTORE 000016ad: PUSH32 0x51d949e894d194a06df7af6fb215f324ab4717f75f3b9efcb57210c3a6808725 000016ce: SWAP1 000016cf: PUSH1 0x20 000016d1: ADD 000016d2: PUSH1 0x40 000016d4: MLOAD 000016d5: DUP1 000016d6: SWAP2 000016d7: SUB 000016d8: SWAP1 000016d9: LOG1 000016da: JUMPDEST 000016db: POP 000016dc: JUMP 000016dd: JUMPDEST 000016de: PUSH1 0x9b 000016e0: SLOAD 000016e1: PUSH1 0x00 000016e3: SWAP1 000016e4: PUSH1 0x01 000016e6: PUSH1 0xa0 000016e8: SHL 000016e9: SWAP1 000016ea: DIV 000016eb: PUSH1 0x01 000016ed: PUSH1 0x01 000016ef: PUSH1 0x40 000016f1: SHL 000016f2: SUB 000016f3: AND 000016f4: TIMESTAMP 000016f5: LT 000016f6: ISZERO 000016f7: PUSH2 0x1742 000016fa: JUMPI 000016fb: PUSH1 0x40 000016fd: MLOAD 000016fe: PUSH3 0x461bcd 00001702: PUSH1 0xe5 00001704: SHL 00001705: DUP2 00001706: MSTORE 00001707: PUSH1 0x20 00001709: PUSH1 0x04 0000170b: DUP3 0000170c: ADD 0000170d: MSTORE 0000170e: PUSH1 0x1c 00001710: PUSH1 0x24 00001712: DUP3 00001713: ADD 00001714: MSTORE 00001715: PUSH32 0x53484f56657374696e673a206265666f726520737461727454696d6500000000 00001736: PUSH1 0x44 00001738: DUP3 00001739: ADD 0000173a: MSTORE 0000173b: PUSH1 0x64 0000173d: ADD 0000173e: PUSH2 0x0632 00001741: JUMP 00001742: JUMPDEST 00001743: PUSH1 0x9b 00001745: SLOAD 00001746: PUSH1 0x00 00001748: SWAP1 00001749: PUSH2 0x1762 0000174c: SWAP1 0000174d: PUSH1 0x01 0000174f: PUSH1 0xa0 00001751: SHL 00001752: SWAP1 00001753: DIV 00001754: PUSH1 0x01 00001756: PUSH1 0x01 00001758: PUSH1 0x40 0000175a: SHL 0000175b: SUB 0000175c: AND 0000175d: TIMESTAMP 0000175e: PUSH2 0x35f1 00001761: JUMP 00001762: JUMPDEST 00001763: PUSH1 0x9a 00001765: SLOAD 00001766: PUSH1 0x9f 00001768: SLOAD 00001769: PUSH1 0x01 0000176b: PUSH1 0x48 0000176d: SHL 0000176e: SWAP1 0000176f: DIV 00001770: PUSH2 0xffff 00001773: AND 00001774: SWAP4 00001775: POP 00001776: SWAP1 00001777: SWAP2 00001778: POP 00001779: JUMPDEST 0000177a: DUP1 0000177b: DUP4 0000177c: PUSH2 0xffff 0000177f: AND 00001780: LT 00001781: DUP1 00001782: ISZERO 00001783: PUSH2 0x17d4 00001786: JUMPI 00001787: POP 00001788: PUSH1 0x9a 0000178a: DUP4 0000178b: PUSH2 0xffff 0000178e: AND 0000178f: DUP2 00001790: SLOAD 00001791: DUP2 00001792: LT 00001793: PUSH2 0x17ac 00001796: JUMPI 00001797: PUSH4 0x4e487b71 0000179c: PUSH1 0xe0 0000179e: SHL 0000179f: PUSH1 0x00 000017a1: MSTORE 000017a2: PUSH1 0x32 000017a4: PUSH1 0x04 000017a6: MSTORE 000017a7: PUSH1 0x24 000017a9: PUSH1 0x00 000017ab: REVERT 000017ac: JUMPDEST 000017ad: PUSH1 0x00 000017af: SWAP2 000017b0: DUP3 000017b1: MSTORE 000017b2: PUSH1 0x20 000017b4: SWAP1 000017b5: SWAP2 000017b6: KECCAK256 000017b7: PUSH1 0x08 000017b9: DUP3 000017ba: DIV 000017bb: ADD 000017bc: SLOAD 000017bd: PUSH1 0x07 000017bf: SWAP1 000017c0: SWAP2 000017c1: AND 000017c2: PUSH1 0x04 000017c4: MUL 000017c5: PUSH2 0x0100 000017c8: EXP 000017c9: SWAP1 000017ca: DIV 000017cb: PUSH4 0xffffffff 000017d0: AND 000017d1: DUP3 000017d2: LT 000017d3: ISZERO 000017d4: JUMPDEST 000017d5: ISZERO 000017d6: PUSH2 0x17eb 000017d9: JUMPI 000017da: DUP3 000017db: PUSH2 0x17e3 000017de: DUP2 000017df: PUSH2 0x3651 000017e2: JUMP 000017e3: JUMPDEST 000017e4: SWAP4 000017e5: POP 000017e6: POP 000017e7: PUSH2 0x1779 000017ea: JUMP 000017eb: JUMPDEST 000017ec: POP 000017ed: POP 000017ee: SWAP1 000017ef: JUMP 000017f0: JUMPDEST 000017f1: PUSH1 0x9a 000017f3: DUP2 000017f4: DUP2 000017f5: SLOAD 000017f6: DUP2 000017f7: LT 000017f8: PUSH2 0x11fd 000017fb: JUMPI 000017fc: PUSH1 0x00 000017fe: DUP1 000017ff: REVERT 00001800: JUMPDEST 00001801: PUSH1 0x01 00001803: PUSH1 0x01 00001805: PUSH1 0xa0 00001807: SHL 00001808: SUB 00001809: DUP2 0000180a: AND 0000180b: PUSH1 0x00 0000180d: SWAP1 0000180e: DUP2 0000180f: MSTORE 00001810: PUSH1 0x97 00001812: PUSH1 0x20 00001814: MSTORE 00001815: PUSH1 0x40 00001817: DUP2 00001818: KECCAK256 00001819: SLOAD 0000181a: DUP3 0000181b: SWAP1 0000181c: PUSH1 0x01 0000181e: PUSH1 0x01 00001820: PUSH1 0x78 00001822: SHL 00001823: SUB 00001824: AND 00001825: PUSH2 0x1870 00001828: JUMPI 00001829: PUSH1 0x40 0000182b: MLOAD 0000182c: PUSH3 0x461bcd 00001830: PUSH1 0xe5 00001832: SHL 00001833: DUP2 00001834: MSTORE 00001835: PUSH1 0x20 00001837: PUSH1 0x04 00001839: DUP3 0000183a: ADD 0000183b: MSTORE 0000183c: PUSH1 0x1b 0000183e: PUSH1 0x24 00001840: DUP3 00001841: ADD 00001842: MSTORE 00001843: PUSH32 0x53484f56657374696e673a206e6f742077686974656c69737465640000000000 00001864: PUSH1 0x44 00001866: DUP3 00001867: ADD 00001868: MSTORE 00001869: PUSH1 0x64 0000186b: ADD 0000186c: PUSH2 0x0632 0000186f: JUMP 00001870: JUMPDEST 00001871: PUSH2 0x1878 00001874: PUSH2 0x2a20 00001877: JUMP 00001878: JUMPDEST 00001879: PUSH2 0x1880 0000187c: PUSH2 0x165a 0000187f: JUMP 00001880: JUMPDEST 00001881: PUSH1 0x01 00001883: PUSH1 0x01 00001885: PUSH1 0xa0 00001887: SHL 00001888: SUB 00001889: DUP4 0000188a: AND 0000188b: PUSH1 0x00 0000188d: DUP2 0000188e: DUP2 0000188f: MSTORE 00001890: PUSH1 0x97 00001892: PUSH1 0x20 00001894: SWAP1 00001895: DUP2 00001896: MSTORE 00001897: PUSH1 0x40 00001899: SWAP2 0000189a: DUP3 0000189b: SWAP1 0000189c: KECCAK256 0000189d: DUP3 0000189e: MLOAD 0000189f: PUSH1 0xa0 000018a1: DUP2 000018a2: ADD 000018a3: DUP5 000018a4: MSTORE 000018a5: DUP2 000018a6: SLOAD 000018a7: PUSH1 0x01 000018a9: PUSH1 0x01 000018ab: PUSH1 0x78 000018ad: SHL 000018ae: SUB 000018af: DUP1 000018b0: DUP3 000018b1: AND 000018b2: DUP4 000018b3: MSTORE 000018b4: PUSH1 0x01 000018b6: PUSH1 0x78 000018b8: SHL 000018b9: DUP3 000018ba: DIV 000018bb: AND 000018bc: SWAP4 000018bd: DUP3 000018be: ADD 000018bf: SWAP4 000018c0: SWAP1 000018c1: SWAP4 000018c2: MSTORE 000018c3: PUSH2 0xffff 000018c6: PUSH1 0x01 000018c8: PUSH1 0xf0 000018ca: SHL 000018cb: SWAP1 000018cc: SWAP4 000018cd: DIV 000018ce: DUP4 000018cf: AND 000018d0: SWAP4 000018d1: DUP2 000018d2: ADD 000018d3: SWAP4 000018d4: SWAP1 000018d5: SWAP4 000018d6: MSTORE 000018d7: PUSH1 0x01 000018d9: ADD 000018da: SLOAD 000018db: SWAP1 000018dc: DUP2 000018dd: AND 000018de: PUSH1 0x60 000018e0: DUP4 000018e1: ADD 000018e2: MSTORE 000018e3: PUSH1 0xff 000018e5: PUSH3 0x010000 000018e9: SWAP1 000018ea: SWAP2 000018eb: DIV 000018ec: AND 000018ed: ISZERO 000018ee: ISZERO 000018ef: PUSH1 0x80 000018f1: DUP3 000018f2: ADD 000018f3: MSTORE 000018f4: SWAP1 000018f5: CALLER 000018f6: EQ 000018f7: PUSH2 0x1954 000018fa: JUMPI 000018fb: PUSH1 0x9f 000018fd: SLOAD 000018fe: PUSH1 0x01 00001900: PUSH1 0x01 00001902: PUSH1 0x40 00001904: SHL 00001905: SUB 00001906: AND 00001907: TIMESTAMP 00001908: GT 00001909: PUSH2 0x1954 0000190c: JUMPI 0000190d: PUSH1 0x40 0000190f: MLOAD 00001910: PUSH3 0x461bcd 00001914: PUSH1 0xe5 00001916: SHL 00001917: DUP2 00001918: MSTORE 00001919: PUSH1 0x20 0000191b: PUSH1 0x04 0000191d: DUP3 0000191e: ADD 0000191f: MSTORE 00001920: PUSH1 0x19 00001922: PUSH1 0x24 00001924: DUP3 00001925: ADD 00001926: MSTORE 00001927: PUSH32 0x53484f56657374696e673a20726566756e6420706572696f6400000000000000 00001948: PUSH1 0x44 0000194a: DUP3 0000194b: ADD 0000194c: MSTORE 0000194d: PUSH1 0x64 0000194f: ADD 00001950: PUSH2 0x0632 00001953: JUMP 00001954: JUMPDEST 00001955: PUSH1 0x9f 00001957: SLOAD 00001958: PUSH1 0x01 0000195a: PUSH1 0x48 0000195c: SHL 0000195d: SWAP1 0000195e: DIV 0000195f: PUSH2 0xffff 00001962: AND 00001963: PUSH2 0x19ae 00001966: JUMPI 00001967: PUSH1 0x40 00001969: MLOAD 0000196a: PUSH3 0x461bcd 0000196e: PUSH1 0xe5 00001970: SHL 00001971: DUP2 00001972: MSTORE 00001973: PUSH1 0x20 00001975: PUSH1 0x04 00001977: DUP3 00001978: ADD 00001979: MSTORE 0000197a: PUSH1 0x1d 0000197c: PUSH1 0x24 0000197e: DUP3 0000197f: ADD 00001980: MSTORE 00001981: PUSH32 0x53484f56657374696e673a206e6f20756e6c6f636b7320706173736564000000 000019a2: PUSH1 0x44 000019a4: DUP3 000019a5: ADD 000019a6: MSTORE 000019a7: PUSH1 0x64 000019a9: ADD 000019aa: PUSH2 0x0632 000019ad: JUMP 000019ae: JUMPDEST 000019af: PUSH1 0x9f 000019b1: SLOAD 000019b2: PUSH1 0x40 000019b4: DUP3 000019b5: ADD 000019b6: MLOAD 000019b7: PUSH2 0xffff 000019ba: PUSH1 0x01 000019bc: PUSH1 0x48 000019be: SHL 000019bf: SWAP1 000019c0: SWAP3 000019c1: DIV 000019c2: DUP3 000019c3: AND 000019c4: SWAP2 000019c5: AND 000019c6: LT 000019c7: PUSH2 0x1a12 000019ca: JUMPI 000019cb: PUSH1 0x40 000019cd: MLOAD 000019ce: PUSH3 0x461bcd 000019d2: PUSH1 0xe5 000019d4: SHL 000019d5: DUP2 000019d6: MSTORE 000019d7: PUSH1 0x20 000019d9: PUSH1 0x04 000019db: DUP3 000019dc: ADD 000019dd: MSTORE 000019de: PUSH1 0x1c 000019e0: PUSH1 0x24 000019e2: DUP3 000019e3: ADD 000019e4: MSTORE 000019e5: PUSH32 0x53484f56657374696e673a206e6f7468696e6720746f20636c61696d00000000 00001a06: PUSH1 0x44 00001a08: DUP3 00001a09: ADD 00001a0a: MSTORE 00001a0b: PUSH1 0x64 00001a0d: ADD 00001a0e: PUSH2 0x0632 00001a11: JUMP 00001a12: JUMPDEST 00001a13: DUP1 00001a14: PUSH1 0x80 00001a16: ADD 00001a17: MLOAD 00001a18: ISZERO 00001a19: PUSH2 0x1a5b 00001a1c: JUMPI 00001a1d: PUSH1 0x40 00001a1f: MLOAD 00001a20: PUSH3 0x461bcd 00001a24: PUSH1 0xe5 00001a26: SHL 00001a27: DUP2 00001a28: MSTORE 00001a29: PUSH1 0x20 00001a2b: PUSH1 0x04 00001a2d: DUP3 00001a2e: ADD 00001a2f: MSTORE 00001a30: PUSH1 0x14 00001a32: PUSH1 0x24 00001a34: DUP3 00001a35: ADD 00001a36: MSTORE 00001a37: PUSH20 0x14d213d5995cdd1a5b99ce881c99599d5b991959 00001a4c: PUSH1 0x62 00001a4e: SHL 00001a4f: PUSH1 0x44 00001a51: DUP3 00001a52: ADD 00001a53: MSTORE 00001a54: PUSH1 0x64 00001a56: ADD 00001a57: PUSH2 0x0632 00001a5a: JUMP 00001a5b: JUMPDEST 00001a5c: PUSH1 0x01 00001a5e: PUSH1 0x01 00001a60: PUSH1 0xa0 00001a62: SHL 00001a63: SUB 00001a64: DUP5 00001a65: AND 00001a66: PUSH1 0x00 00001a68: SWAP1 00001a69: DUP2 00001a6a: MSTORE 00001a6b: PUSH1 0x98 00001a6d: PUSH1 0x20 00001a6f: MSTORE 00001a70: PUSH1 0x40 00001a72: SWAP1 00001a73: KECCAK256 00001a74: SLOAD 00001a75: PUSH1 0xff 00001a77: AND 00001a78: ISZERO 00001a79: PUSH2 0x1aba 00001a7c: JUMPI 00001a7d: PUSH1 0x40 00001a7f: MLOAD 00001a80: PUSH3 0x461bcd 00001a84: PUSH1 0xe5 00001a86: SHL 00001a87: DUP2 00001a88: MSTORE 00001a89: PUSH1 0x20 00001a8b: PUSH1 0x04 00001a8d: DUP3 00001a8e: ADD 00001a8f: MSTORE 00001a90: PUSH1 0x13 00001a92: PUSH1 0x24 00001a94: DUP3 00001a95: ADD 00001a96: MSTORE 00001a97: PUSH19 0x14d213d5995cdd1a5b99ce88189b1bd8dad959 00001aab: PUSH1 0x6a 00001aad: SHL 00001aae: PUSH1 0x44 00001ab0: DUP3 00001ab1: ADD 00001ab2: MSTORE 00001ab3: PUSH1 0x64 00001ab5: ADD 00001ab6: PUSH2 0x0632 00001ab9: JUMP 00001aba: JUMPDEST 00001abb: PUSH1 0x9f 00001abd: SLOAD 00001abe: PUSH1 0x00 00001ac0: SWAP1 00001ac1: PUSH2 0x1ad7 00001ac4: SWAP1 00001ac5: PUSH1 0x01 00001ac7: SWAP1 00001ac8: PUSH1 0x01 00001aca: PUSH1 0x48 00001acc: SHL 00001acd: SWAP1 00001ace: DIV 00001acf: PUSH2 0xffff 00001ad2: AND 00001ad3: PUSH2 0x35d6 00001ad6: JUMP 00001ad7: JUMPDEST 00001ad8: PUSH1 0x60 00001ada: DUP4 00001adb: ADD 00001adc: MLOAD 00001add: SWAP1 00001ade: SWAP2 00001adf: POP 00001ae0: PUSH2 0xffff 00001ae3: AND 00001ae4: ISZERO 00001ae5: PUSH2 0x1b5b 00001ae8: JUMPI 00001ae9: DUP2 00001aea: PUSH1 0x60 00001aec: ADD 00001aed: MLOAD 00001aee: PUSH2 0xffff 00001af1: AND 00001af2: DUP3 00001af3: PUSH1 0x40 00001af5: ADD 00001af6: MLOAD 00001af7: PUSH2 0xffff 00001afa: AND 00001afb: LT 00001afc: PUSH2 0x1b47 00001aff: JUMPI 00001b00: PUSH1 0x40 00001b02: MLOAD 00001b03: PUSH3 0x461bcd 00001b07: PUSH1 0xe5 00001b09: SHL 00001b0a: DUP2 00001b0b: MSTORE 00001b0c: PUSH1 0x20 00001b0e: PUSH1 0x04 00001b10: DUP3 00001b11: ADD 00001b12: MSTORE 00001b13: PUSH1 0x1c 00001b15: PUSH1 0x24 00001b17: DUP3 00001b18: ADD 00001b19: MSTORE 00001b1a: PUSH32 0x53484f56657374696e673a206e6f7468696e6720746f20636c61696d00000000 00001b3b: PUSH1 0x44 00001b3d: DUP3 00001b3e: ADD 00001b3f: MSTORE 00001b40: PUSH1 0x64 00001b42: ADD 00001b43: PUSH2 0x0632 00001b46: JUMP 00001b47: JUMPDEST 00001b48: PUSH1 0x01 00001b4a: DUP3 00001b4b: PUSH1 0x60 00001b4d: ADD 00001b4e: MLOAD 00001b4f: PUSH2 0x1b58 00001b52: SWAP2 00001b53: SWAP1 00001b54: PUSH2 0x35d6 00001b57: JUMP 00001b58: JUMPDEST 00001b59: SWAP1 00001b5a: POP 00001b5b: JUMPDEST 00001b5c: PUSH1 0x00 00001b5e: DUP1 00001b5f: DUP4 00001b60: PUSH1 0x40 00001b62: ADD 00001b63: MLOAD 00001b64: PUSH2 0xffff 00001b67: AND 00001b68: GT 00001b69: PUSH2 0x1b73 00001b6c: JUMPI 00001b6d: PUSH1 0x00 00001b6f: PUSH2 0x1bcf 00001b72: JUMP 00001b73: JUMPDEST 00001b74: PUSH1 0x99 00001b76: PUSH1 0x01 00001b78: DUP5 00001b79: PUSH1 0x40 00001b7b: ADD 00001b7c: MLOAD 00001b7d: PUSH2 0x1b86 00001b80: SWAP2 00001b81: SWAP1 00001b82: PUSH2 0x35d6 00001b85: JUMP 00001b86: JUMPDEST 00001b87: PUSH2 0xffff 00001b8a: AND 00001b8b: DUP2 00001b8c: SLOAD 00001b8d: DUP2 00001b8e: LT 00001b8f: PUSH2 0x1ba8 00001b92: JUMPI 00001b93: PUSH4 0x4e487b71 00001b98: PUSH1 0xe0 00001b9a: SHL 00001b9b: PUSH1 0x00 00001b9d: MSTORE 00001b9e: PUSH1 0x32 00001ba0: PUSH1 0x04 00001ba2: MSTORE 00001ba3: PUSH1 0x24 00001ba5: PUSH1 0x00 00001ba7: REVERT 00001ba8: JUMPDEST 00001ba9: SWAP1 00001baa: PUSH1 0x00 00001bac: MSTORE 00001bad: PUSH1 0x20 00001baf: PUSH1 0x00 00001bb1: KECCAK256 00001bb2: SWAP1 00001bb3: PUSH1 0x08 00001bb5: SWAP2 00001bb6: DUP3 00001bb7: DUP3 00001bb8: DIV 00001bb9: ADD 00001bba: SWAP2 00001bbb: SWAP1 00001bbc: MOD 00001bbd: PUSH1 0x04 00001bbf: MUL 00001bc0: SWAP1 00001bc1: SLOAD 00001bc2: SWAP1 00001bc3: PUSH2 0x0100 00001bc6: EXP 00001bc7: SWAP1 00001bc8: DIV 00001bc9: PUSH4 0xffffffff 00001bce: AND 00001bcf: JUMPDEST 00001bd0: SWAP1 00001bd1: POP 00001bd2: PUSH2 0x1c34 00001bd5: DUP4 00001bd6: PUSH1 0x00 00001bd8: ADD 00001bd9: MLOAD 00001bda: DUP3 00001bdb: PUSH1 0x99 00001bdd: DUP6 00001bde: PUSH2 0xffff 00001be1: AND 00001be2: DUP2 00001be3: SLOAD 00001be4: DUP2 00001be5: LT 00001be6: PUSH2 0x1bff 00001be9: JUMPI 00001bea: PUSH4 0x4e487b71 00001bef: PUSH1 0xe0 00001bf1: SHL 00001bf2: PUSH1 0x00 00001bf4: MSTORE 00001bf5: PUSH1 0x32 00001bf7: PUSH1 0x04 00001bf9: MSTORE 00001bfa: PUSH1 0x24 00001bfc: PUSH1 0x00 00001bfe: REVERT 00001bff: JUMPDEST 00001c00: SWAP1 00001c01: PUSH1 0x00 00001c03: MSTORE 00001c04: PUSH1 0x20 00001c06: PUSH1 0x00 00001c08: KECCAK256 00001c09: SWAP1 00001c0a: PUSH1 0x08 00001c0c: SWAP2 00001c0d: DUP3 00001c0e: DUP3 00001c0f: DIV 00001c10: ADD 00001c11: SWAP2 00001c12: SWAP1 00001c13: MOD 00001c14: PUSH1 0x04 00001c16: MUL 00001c17: SWAP1 00001c18: SLOAD 00001c19: SWAP1 00001c1a: PUSH2 0x0100 00001c1d: EXP 00001c1e: SWAP1 00001c1f: DIV 00001c20: PUSH4 0xffffffff 00001c25: AND 00001c26: PUSH2 0x1c2f 00001c29: SWAP2 00001c2a: SWAP1 00001c2b: PUSH2 0x3608 00001c2e: JUMP 00001c2f: JUMPDEST 00001c30: PUSH2 0x2ad3 00001c33: JUMP 00001c34: JUMPDEST 00001c35: SWAP5 00001c36: POP 00001c37: PUSH2 0x1c3f 00001c3a: DUP6 00001c3b: PUSH2 0x29f2 00001c3e: JUMP 00001c3f: JUMPDEST 00001c40: SWAP5 00001c41: POP 00001c42: PUSH2 0x1c4c 00001c45: DUP3 00001c46: PUSH1 0x01 00001c48: PUSH2 0x3533 00001c4b: JUMP 00001c4c: JUMPDEST 00001c4d: PUSH2 0xffff 00001c50: SWAP1 00001c51: DUP2 00001c52: AND 00001c53: PUSH1 0x40 00001c55: DUP1 00001c56: DUP7 00001c57: ADD 00001c58: SWAP2 00001c59: DUP3 00001c5a: MSTORE 00001c5b: PUSH1 0x01 00001c5d: PUSH1 0x01 00001c5f: PUSH1 0xa0 00001c61: SHL 00001c62: SUB 00001c63: DUP1 00001c64: DUP11 00001c65: AND 00001c66: PUSH1 0x00 00001c68: SWAP1 00001c69: DUP2 00001c6a: MSTORE 00001c6b: PUSH1 0x97 00001c6d: PUSH1 0x20 00001c6f: SWAP1 00001c70: DUP2 00001c71: MSTORE 00001c72: SWAP3 00001c73: SWAP1 00001c74: KECCAK256 00001c75: DUP8 00001c76: MLOAD 00001c77: DUP2 00001c78: SLOAD 00001c79: SWAP4 00001c7a: DUP10 00001c7b: ADD 00001c7c: MLOAD 00001c7d: SWAP5 00001c7e: MLOAD 00001c7f: DUP7 00001c80: AND 00001c81: PUSH1 0x01 00001c83: PUSH1 0xf0 00001c85: SHL 00001c86: MUL 00001c87: PUSH1 0x01 00001c89: PUSH1 0x01 00001c8b: PUSH1 0xf0 00001c8d: SHL 00001c8e: SUB 00001c8f: PUSH1 0x01 00001c91: PUSH1 0x01 00001c93: PUSH1 0x78 00001c95: SHL 00001c96: SUB 00001c97: SWAP7 00001c98: DUP8 00001c99: AND 00001c9a: PUSH1 0x01 00001c9c: PUSH1 0x78 00001c9e: SHL 00001c9f: MUL 00001ca0: PUSH1 0x01 00001ca2: PUSH1 0x01 00001ca4: PUSH1 0xf0 00001ca6: SHL 00001ca7: SUB 00001ca8: NOT 00001ca9: SWAP1 00001caa: SWAP7 00001cab: AND 00001cac: SWAP3 00001cad: DUP8 00001cae: AND 00001caf: SWAP3 00001cb0: SWAP1 00001cb1: SWAP3 00001cb2: OR 00001cb3: SWAP5 00001cb4: SWAP1 00001cb5: SWAP5 00001cb6: OR 00001cb7: AND 00001cb8: SWAP3 00001cb9: SWAP1 00001cba: SWAP3 00001cbb: OR 00001cbc: DUP3 00001cbd: SSTORE 00001cbe: PUSH1 0x60 00001cc0: DUP8 00001cc1: ADD 00001cc2: MLOAD 00001cc3: PUSH1 0x01 00001cc5: SWAP1 00001cc6: SWAP3 00001cc7: ADD 00001cc8: DUP1 00001cc9: SLOAD 00001cca: PUSH1 0x80 00001ccc: DUP10 00001ccd: ADD 00001cce: MLOAD 00001ccf: ISZERO 00001cd0: ISZERO 00001cd1: PUSH3 0x010000 00001cd5: MUL 00001cd6: PUSH3 0xffffff 00001cda: NOT 00001cdb: SWAP1 00001cdc: SWAP2 00001cdd: AND 00001cde: SWAP4 00001cdf: SWAP1 00001ce0: SWAP6 00001ce1: AND 00001ce2: SWAP3 00001ce3: SWAP1 00001ce4: SWAP3 00001ce5: OR 00001ce6: SWAP4 00001ce7: SWAP1 00001ce8: SWAP4 00001ce9: OR 00001cea: SWAP1 00001ceb: SSTORE 00001cec: PUSH1 0x9b 00001cee: SLOAD 00001cef: PUSH2 0x1cfd 00001cf2: SWAP3 00001cf3: AND 00001cf4: SWAP1 00001cf5: DUP9 00001cf6: SWAP1 00001cf7: DUP9 00001cf8: AND 00001cf9: PUSH2 0x2941 00001cfc: JUMP 00001cfd: JUMPDEST 00001cfe: PUSH1 0x40 00001d00: DUP1 00001d01: MLOAD 00001d02: PUSH2 0xffff 00001d05: DUP5 00001d06: AND 00001d07: DUP2 00001d08: MSTORE 00001d09: PUSH1 0x01 00001d0b: PUSH1 0x01 00001d0d: PUSH1 0x78 00001d0f: SHL 00001d10: SUB 00001d11: DUP8 00001d12: AND 00001d13: PUSH1 0x20 00001d15: DUP3 00001d16: ADD 00001d17: MSTORE 00001d18: PUSH1 0x01 00001d1a: PUSH1 0x01 00001d1c: PUSH1 0xa0 00001d1e: SHL 00001d1f: SUB 00001d20: DUP9 00001d21: AND 00001d22: SWAP2 00001d23: PUSH32 0xe53ee7234965d7ed82340b976c78e38c0fa06bb7ac6864bec5277059d4967b53 00001d44: SWAP2 00001d45: ADD 00001d46: PUSH1 0x40 00001d48: MLOAD 00001d49: DUP1 00001d4a: SWAP2 00001d4b: SUB 00001d4c: SWAP1 00001d4d: LOG2 00001d4e: POP 00001d4f: POP 00001d50: POP 00001d51: PUSH2 0x1d5a 00001d54: PUSH1 0x01 00001d56: PUSH1 0x65 00001d58: SSTORE 00001d59: JUMP 00001d5a: JUMPDEST 00001d5b: POP 00001d5c: SWAP2 00001d5d: SWAP1 00001d5e: POP 00001d5f: JUMP 00001d60: JUMPDEST 00001d61: PUSH1 0x00 00001d63: PUSH2 0x1d6b 00001d66: CALLER 00001d67: PUSH2 0x1800 00001d6a: JUMP 00001d6b: JUMPDEST 00001d6c: SWAP1 00001d6d: POP 00001d6e: SWAP1 00001d6f: JUMP 00001d70: JUMPDEST 00001d71: PUSH1 0x00 00001d73: DUP1 00001d74: PUSH2 0x1d7b 00001d77: PUSH2 0x2a20 00001d7a: JUMP 00001d7b: JUMPDEST 00001d7c: PUSH2 0x1d83 00001d7f: PUSH2 0x165a 00001d82: JUMP 00001d83: JUMPDEST 00001d84: PUSH1 0x9f 00001d86: SLOAD 00001d87: PUSH1 0xa1 00001d89: SLOAD 00001d8a: PUSH1 0x01 00001d8c: PUSH1 0x48 00001d8e: SHL 00001d8f: SWAP1 00001d90: SWAP2 00001d91: DIV 00001d92: PUSH2 0xffff 00001d95: SWAP1 00001d96: DUP2 00001d97: AND 00001d98: PUSH1 0x01 00001d9a: PUSH1 0x78 00001d9c: SHL 00001d9d: SWAP1 00001d9e: SWAP3 00001d9f: DIV 00001da0: AND 00001da1: LT 00001da2: PUSH2 0x1ded 00001da5: JUMPI 00001da6: PUSH1 0x40 00001da8: MLOAD 00001da9: PUSH3 0x461bcd 00001dad: PUSH1 0xe5 00001daf: SHL 00001db0: DUP2 00001db1: MSTORE 00001db2: PUSH1 0x20 00001db4: PUSH1 0x04 00001db6: DUP3 00001db7: ADD 00001db8: MSTORE 00001db9: PUSH1 0x1e 00001dbb: PUSH1 0x24 00001dbd: DUP3 00001dbe: ADD 00001dbf: MSTORE 00001dc0: PUSH32 0x53484f56657374696e673a206e6f206665657320746f20636f6c6c6563740000 00001de1: PUSH1 0x44 00001de3: DUP3 00001de4: ADD 00001de5: MSTORE 00001de6: PUSH1 0x64 00001de8: ADD 00001de9: PUSH2 0x0632 00001dec: JUMP 00001ded: JUMPDEST 00001dee: PUSH1 0x9f 00001df0: SLOAD 00001df1: PUSH1 0x00 00001df3: SWAP1 00001df4: PUSH2 0x1e0a 00001df7: SWAP1 00001df8: PUSH1 0x01 00001dfa: SWAP1 00001dfb: PUSH1 0x01 00001dfd: PUSH1 0x48 00001dff: SHL 00001e00: SWAP1 00001e01: DIV 00001e02: PUSH2 0xffff 00001e05: AND 00001e06: PUSH2 0x35d6 00001e09: JUMP 00001e0a: JUMPDEST 00001e0b: PUSH1 0xa1 00001e0d: SLOAD 00001e0e: SWAP1 00001e0f: SWAP2 00001e10: POP 00001e11: PUSH1 0x00 00001e13: SWAP1 00001e14: PUSH1 0x01 00001e16: PUSH1 0x78 00001e18: SHL 00001e19: SWAP1 00001e1a: DIV 00001e1b: PUSH2 0xffff 00001e1e: AND 00001e1f: PUSH2 0x1e29 00001e22: JUMPI 00001e23: PUSH1 0x00 00001e25: PUSH2 0x1e8f 00001e28: JUMP 00001e29: JUMPDEST 00001e2a: PUSH1 0xa1 00001e2c: SLOAD 00001e2d: PUSH1 0x99 00001e2f: SWAP1 00001e30: PUSH2 0x1e46 00001e33: SWAP1 00001e34: PUSH1 0x01 00001e36: SWAP1 00001e37: PUSH1 0x01 00001e39: PUSH1 0x78 00001e3b: SHL 00001e3c: SWAP1 00001e3d: DIV 00001e3e: PUSH2 0xffff 00001e41: AND 00001e42: PUSH2 0x35d6 00001e45: JUMP 00001e46: JUMPDEST 00001e47: PUSH2 0xffff 00001e4a: AND 00001e4b: DUP2 00001e4c: SLOAD 00001e4d: DUP2 00001e4e: LT 00001e4f: PUSH2 0x1e68 00001e52: JUMPI 00001e53: PUSH4 0x4e487b71 00001e58: PUSH1 0xe0 00001e5a: SHL 00001e5b: PUSH1 0x00 00001e5d: MSTORE 00001e5e: PUSH1 0x32 00001e60: PUSH1 0x04 00001e62: MSTORE 00001e63: PUSH1 0x24 00001e65: PUSH1 0x00 00001e67: REVERT 00001e68: JUMPDEST 00001e69: SWAP1 00001e6a: PUSH1 0x00 00001e6c: MSTORE 00001e6d: PUSH1 0x20 00001e6f: PUSH1 0x00 00001e71: KECCAK256 00001e72: SWAP1 00001e73: PUSH1 0x08 00001e75: SWAP2 00001e76: DUP3 00001e77: DUP3 00001e78: DIV 00001e79: ADD 00001e7a: SWAP2 00001e7b: SWAP1 00001e7c: MOD 00001e7d: PUSH1 0x04 00001e7f: MUL 00001e80: SWAP1 00001e81: SLOAD 00001e82: SWAP1 00001e83: PUSH2 0x0100 00001e86: EXP 00001e87: SWAP1 00001e88: DIV 00001e89: PUSH4 0xffffffff 00001e8e: AND 00001e8f: JUMPDEST 00001e90: PUSH1 0xa0 00001e92: SLOAD 00001e93: PUSH1 0x9f 00001e95: SLOAD 00001e96: SWAP2 00001e97: SWAP3 00001e98: POP 00001e99: PUSH1 0x00 00001e9b: SWAP2 00001e9c: PUSH2 0x1ee3 00001e9f: SWAP2 00001ea0: PUSH2 0x1ebd 00001ea3: SWAP2 00001ea4: PUSH1 0x01 00001ea6: PUSH1 0x01 00001ea8: PUSH1 0x78 00001eaa: SHL 00001eab: SUB 00001eac: SWAP2 00001ead: DUP3 00001eae: AND 00001eaf: SWAP2 00001eb0: PUSH1 0x01 00001eb2: PUSH1 0x58 00001eb4: SHL 00001eb5: SWAP1 00001eb6: SWAP2 00001eb7: DIV 00001eb8: AND 00001eb9: PUSH2 0x35ae 00001ebc: JUMP 00001ebd: JUMPDEST 00001ebe: DUP4 00001ebf: PUSH1 0x99 00001ec1: DUP7 00001ec2: PUSH2 0xffff 00001ec5: AND 00001ec6: DUP2 00001ec7: SLOAD 00001ec8: DUP2 00001ec9: LT 00001eca: PUSH2 0x1bff 00001ecd: JUMPI 00001ece: PUSH4 0x4e487b71 00001ed3: PUSH1 0xe0 00001ed5: SHL 00001ed6: PUSH1 0x00 00001ed8: MSTORE 00001ed9: PUSH1 0x32 00001edb: PUSH1 0x04 00001edd: MSTORE 00001ede: PUSH1 0x24 00001ee0: PUSH1 0x00 00001ee2: REVERT 00001ee3: JUMPDEST 00001ee4: SWAP1 00001ee5: POP 00001ee6: PUSH2 0x1f01 00001ee9: DUP2 00001eea: PUSH1 0x9c 00001eec: PUSH1 0x14 00001eee: SWAP1 00001eef: SLOAD 00001ef0: SWAP1 00001ef1: PUSH2 0x0100 00001ef4: EXP 00001ef5: SWAP1 00001ef6: DIV 00001ef7: PUSH4 0xffffffff 00001efc: AND 00001efd: PUSH2 0x2ad3 00001f00: JUMP 00001f01: JUMPDEST 00001f02: SWAP5 00001f03: POP 00001f04: PUSH1 0x00 00001f06: PUSH2 0x1f43 00001f09: PUSH1 0xa1 00001f0b: PUSH1 0x11 00001f0d: SWAP1 00001f0e: SLOAD 00001f0f: SWAP1 00001f10: PUSH2 0x0100 00001f13: EXP 00001f14: SWAP1 00001f15: DIV 00001f16: PUSH1 0x01 00001f18: PUSH1 0x01 00001f1a: PUSH1 0x78 00001f1c: SHL 00001f1d: SUB 00001f1e: AND 00001f1f: PUSH1 0x99 00001f21: DUP7 00001f22: PUSH2 0xffff 00001f25: AND 00001f26: DUP2 00001f27: SLOAD 00001f28: DUP2 00001f29: LT 00001f2a: PUSH2 0x150a 00001f2d: JUMPI 00001f2e: PUSH4 0x4e487b71 00001f33: PUSH1 0xe0 00001f35: SHL 00001f36: PUSH1 0x00 00001f38: MSTORE 00001f39: PUSH1 0x32 00001f3b: PUSH1 0x04 00001f3d: MSTORE 00001f3e: PUSH1 0x24 00001f40: PUSH1 0x00 00001f42: REVERT 00001f43: JUMPDEST 00001f44: PUSH1 0xa2 00001f46: SLOAD 00001f47: SWAP1 00001f48: SWAP2 00001f49: POP 00001f4a: PUSH2 0x1f5c 00001f4d: SWAP1 00001f4e: PUSH1 0x01 00001f50: PUSH1 0x01 00001f52: PUSH1 0x78 00001f54: SHL 00001f55: SUB 00001f56: AND 00001f57: DUP3 00001f58: PUSH2 0x35ae 00001f5b: JUMP 00001f5c: JUMPDEST 00001f5d: PUSH1 0xa2 00001f5f: DUP1 00001f60: SLOAD 00001f61: PUSH1 0x01 00001f63: PUSH1 0x01 00001f65: PUSH1 0x78 00001f67: SHL 00001f68: SUB 00001f69: NOT 00001f6a: AND 00001f6b: PUSH1 0x01 00001f6d: PUSH1 0x01 00001f6f: PUSH1 0x78 00001f71: SHL 00001f72: SUB 00001f73: DUP5 00001f74: AND 00001f75: OR 00001f76: SWAP1 00001f77: SSTORE 00001f78: SWAP5 00001f79: POP 00001f7a: PUSH1 0x00 00001f7c: PUSH2 0x1f85 00001f7f: DUP7 00001f80: DUP9 00001f81: PUSH2 0x3508 00001f84: JUMP 00001f85: JUMPDEST 00001f86: SWAP1 00001f87: POP 00001f88: PUSH2 0x1f92 00001f8b: DUP6 00001f8c: PUSH1 0x01 00001f8e: PUSH2 0x3533 00001f91: JUMP 00001f92: JUMPDEST 00001f93: PUSH1 0xa1 00001f95: DUP1 00001f96: SLOAD 00001f97: PUSH2 0xffff 00001f9a: SWAP3 00001f9b: SWAP1 00001f9c: SWAP3 00001f9d: AND 00001f9e: PUSH1 0x01 00001fa0: PUSH1 0x78 00001fa2: SHL 00001fa3: MUL 00001fa4: PUSH2 0xffff 00001fa7: PUSH1 0x78 00001fa9: SHL 00001faa: NOT 00001fab: SWAP1 00001fac: SWAP3 00001fad: AND 00001fae: SWAP2 00001faf: SWAP1 00001fb0: SWAP2 00001fb1: OR 00001fb2: SWAP1 00001fb3: SSTORE 00001fb4: PUSH1 0x9c 00001fb6: SLOAD 00001fb7: PUSH1 0x9b 00001fb9: SLOAD 00001fba: PUSH2 0x1fd9 00001fbd: SWAP2 00001fbe: PUSH1 0x01 00001fc0: PUSH1 0x01 00001fc2: PUSH1 0xa0 00001fc4: SHL 00001fc5: SUB 00001fc6: SWAP2 00001fc7: DUP3 00001fc8: AND 00001fc9: SWAP2 00001fca: AND 00001fcb: PUSH1 0x01 00001fcd: PUSH1 0x01 00001fcf: PUSH1 0x78 00001fd1: SHL 00001fd2: SUB 00001fd3: DUP5 00001fd4: AND 00001fd5: PUSH2 0x2941 00001fd8: JUMP 00001fd9: JUMPDEST 00001fda: PUSH1 0x40 00001fdc: DUP1 00001fdd: MLOAD 00001fde: PUSH2 0xffff 00001fe1: DUP8 00001fe2: AND 00001fe3: DUP2 00001fe4: MSTORE 00001fe5: PUSH1 0x01 00001fe7: PUSH1 0x01 00001fe9: PUSH1 0x78 00001feb: SHL 00001fec: SUB 00001fed: DUP4 00001fee: DUP2 00001fef: AND 00001ff0: PUSH1 0x20 00001ff2: DUP4 00001ff3: ADD 00001ff4: MSTORE 00001ff5: DUP9 00001ff6: AND 00001ff7: DUP2 00001ff8: DUP4 00001ff9: ADD 00001ffa: MSTORE 00001ffb: SWAP1 00001ffc: MLOAD 00001ffd: PUSH32 0xcadc637e639b10c483bc9665c0f04cdd10478b94d3c7afd157af7499e05cb5df 0000201e: SWAP2 0000201f: DUP2 00002020: SWAP1 00002021: SUB 00002022: PUSH1 0x60 00002024: ADD 00002025: SWAP1 00002026: LOG1 00002027: POP 00002028: POP 00002029: POP 0000202a: POP 0000202b: POP 0000202c: PUSH2 0x2035 0000202f: PUSH1 0x01 00002031: PUSH1 0x65 00002033: SSTORE 00002034: JUMP 00002035: JUMPDEST 00002036: SWAP1 00002037: SWAP2 00002038: JUMP 00002039: JUMPDEST 0000203a: PUSH2 0x2041 0000203d: PUSH2 0x2998 00002040: JUMP 00002041: JUMPDEST 00002042: PUSH1 0x01 00002044: PUSH1 0x01 00002046: PUSH1 0xa0 00002048: SHL 00002049: SUB 0000204a: DUP2 0000204b: AND 0000204c: PUSH2 0x20a6 0000204f: JUMPI 00002050: PUSH1 0x40 00002052: MLOAD 00002053: PUSH3 0x461bcd 00002057: PUSH1 0xe5 00002059: SHL 0000205a: DUP2 0000205b: MSTORE 0000205c: PUSH1 0x20 0000205e: PUSH1 0x04 00002060: DUP3 00002061: ADD 00002062: MSTORE 00002063: PUSH1 0x26 00002065: PUSH1 0x24 00002067: DUP3 00002068: ADD 00002069: MSTORE 0000206a: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000208b: PUSH1 0x44 0000208d: DUP3 0000208e: ADD 0000208f: MSTORE 00002090: PUSH6 0x646472657373 00002097: PUSH1 0xd0 00002099: SHL 0000209a: PUSH1 0x64 0000209c: DUP3 0000209d: ADD 0000209e: MSTORE 0000209f: PUSH1 0x84 000020a1: ADD 000020a2: PUSH2 0x0632 000020a5: JUMP 000020a6: JUMPDEST 000020a7: PUSH2 0x16da 000020aa: DUP2 000020ab: PUSH2 0x2a81 000020ae: JUMP 000020af: JUMPDEST 000020b0: PUSH1 0x00 000020b2: SLOAD 000020b3: PUSH2 0x0100 000020b6: SWAP1 000020b7: DIV 000020b8: PUSH1 0xff 000020ba: AND 000020bb: ISZERO 000020bc: DUP1 000020bd: DUP1 000020be: ISZERO 000020bf: PUSH2 0x20cf 000020c2: JUMPI 000020c3: POP 000020c4: PUSH1 0x00 000020c6: SLOAD 000020c7: PUSH1 0x01 000020c9: PUSH1 0xff 000020cb: SWAP1 000020cc: SWAP2 000020cd: AND 000020ce: LT 000020cf: JUMPDEST 000020d0: DUP1 000020d1: PUSH2 0x20e9 000020d4: JUMPI 000020d5: POP 000020d6: ADDRESS 000020d7: EXTCODESIZE 000020d8: ISZERO 000020d9: DUP1 000020da: ISZERO 000020db: PUSH2 0x20e9 000020de: JUMPI 000020df: POP 000020e0: PUSH1 0x00 000020e2: SLOAD 000020e3: PUSH1 0xff 000020e5: AND 000020e6: PUSH1 0x01 000020e8: EQ 000020e9: JUMPDEST 000020ea: PUSH2 0x214c 000020ed: JUMPI 000020ee: PUSH1 0x40 000020f0: MLOAD 000020f1: PUSH3 0x461bcd 000020f5: PUSH1 0xe5 000020f7: SHL 000020f8: DUP2 000020f9: MSTORE 000020fa: PUSH1 0x20 000020fc: PUSH1 0x04 000020fe: DUP3 000020ff: ADD 00002100: MSTORE 00002101: PUSH1 0x2e 00002103: PUSH1 0x24 00002105: DUP3 00002106: ADD 00002107: MSTORE 00002108: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00002129: PUSH1 0x44 0000212b: DUP3 0000212c: ADD 0000212d: MSTORE 0000212e: PUSH14 0x191e481a5b9a5d1a585b1a5e9959 0000213d: PUSH1 0x92 0000213f: SHL 00002140: PUSH1 0x64 00002142: DUP3 00002143: ADD 00002144: MSTORE 00002145: PUSH1 0x84 00002147: ADD 00002148: PUSH2 0x0632 0000214b: JUMP 0000214c: JUMPDEST 0000214d: PUSH1 0x00 0000214f: DUP1 00002150: SLOAD 00002151: PUSH1 0xff 00002153: NOT 00002154: AND 00002155: PUSH1 0x01 00002157: OR 00002158: SWAP1 00002159: SSTORE 0000215a: DUP1 0000215b: ISZERO 0000215c: PUSH2 0x216f 0000215f: JUMPI 00002160: PUSH1 0x00 00002162: DUP1 00002163: SLOAD 00002164: PUSH2 0xff00 00002167: NOT 00002168: AND 00002169: PUSH2 0x0100 0000216c: OR 0000216d: SWAP1 0000216e: SSTORE 0000216f: JUMPDEST 00002170: PUSH2 0x2177 00002173: PUSH2 0x2b03 00002176: JUMP 00002177: JUMPDEST 00002178: PUSH2 0x217f 0000217b: PUSH2 0x2b32 0000217e: JUMP 0000217f: JUMPDEST 00002180: PUSH1 0x00 00002182: PUSH2 0x218e 00002185: PUSH1 0x20 00002187: DUP5 00002188: ADD 00002189: DUP5 0000218a: PUSH2 0x3033 0000218d: JUMP 0000218e: JUMPDEST 0000218f: PUSH1 0x01 00002191: PUSH1 0x01 00002193: PUSH1 0xa0 00002195: SHL 00002196: SUB 00002197: AND 00002198: EQ 00002199: ISZERO 0000219a: PUSH2 0x21f0 0000219d: JUMPI 0000219e: PUSH1 0x40 000021a0: MLOAD 000021a1: PUSH3 0x461bcd 000021a5: PUSH1 0xe5 000021a7: SHL 000021a8: DUP2 000021a9: MSTORE 000021aa: PUSH1 0x20 000021ac: PUSH1 0x04 000021ae: DUP3 000021af: ADD 000021b0: MSTORE 000021b1: PUSH1 0x22 000021b3: PUSH1 0x24 000021b5: DUP3 000021b6: ADD 000021b7: MSTORE 000021b8: PUSH32 0x53484f56657374696e673a2073686f20746f6b656e207a65726f206164647265 000021d9: PUSH1 0x44 000021db: DUP3 000021dc: ADD 000021dd: MSTORE 000021de: PUSH2 0x7373 000021e1: PUSH1 0xf0 000021e3: SHL 000021e4: PUSH1 0x64 000021e6: DUP3 000021e7: ADD 000021e8: MSTORE 000021e9: PUSH1 0x84 000021eb: ADD 000021ec: PUSH2 0x0632 000021ef: JUMP 000021f0: JUMPDEST 000021f1: PUSH1 0x00 000021f3: PUSH2 0x21ff 000021f6: PUSH1 0x20 000021f8: DUP5 000021f9: ADD 000021fa: DUP5 000021fb: PUSH2 0x34c1 000021fe: JUMP 000021ff: JUMPDEST 00002200: SWAP1 00002201: POP 00002202: GT 00002203: PUSH2 0x224e 00002206: JUMPI 00002207: PUSH1 0x40 00002209: MLOAD 0000220a: PUSH3 0x461bcd 0000220e: PUSH1 0xe5 00002210: SHL 00002211: DUP2 00002212: MSTORE 00002213: PUSH1 0x20 00002215: PUSH1 0x04 00002217: DUP3 00002218: ADD 00002219: DUP2 0000221a: SWAP1 0000221b: MSTORE 0000221c: PUSH1 0x24 0000221e: DUP3 0000221f: ADD 00002220: MSTORE 00002221: PUSH32 0x53484f56657374696e673a203020756e6c6f636b2070657263656e7461676573 00002242: PUSH1 0x44 00002244: DUP3 00002245: ADD 00002246: MSTORE 00002247: PUSH1 0x64 00002249: ADD 0000224a: PUSH2 0x0632 0000224d: JUMP 0000224e: JUMPDEST 0000224f: PUSH2 0x225b 00002252: PUSH1 0x20 00002254: DUP4 00002255: ADD 00002256: DUP4 00002257: PUSH2 0x34c1 0000225a: JUMP 0000225b: JUMPDEST 0000225c: SWAP1 0000225d: POP 0000225e: PUSH2 0x226a 00002261: PUSH1 0x40 00002263: DUP5 00002264: ADD 00002265: DUP5 00002266: PUSH2 0x34c1 00002269: JUMP 0000226a: JUMPDEST 0000226b: SWAP1 0000226c: POP 0000226d: EQ 0000226e: PUSH2 0x2289 00002271: JUMPI 00002272: PUSH1 0x40 00002274: MLOAD 00002275: PUSH3 0x461bcd 00002279: PUSH1 0xe5 0000227b: SHL 0000227c: DUP2 0000227d: MSTORE 0000227e: PUSH1 0x04 00002280: ADD 00002281: PUSH2 0x0632 00002284: SWAP1 00002285: PUSH2 0x33f2 00002288: JUMP 00002289: JUMPDEST 0000228a: PUSH3 0x0f4240 0000228e: PUSH2 0x229d 00002291: PUSH1 0x80 00002293: DUP5 00002294: ADD 00002295: PUSH1 0x60 00002297: DUP6 00002298: ADD 00002299: PUSH2 0x327a 0000229c: JUMP 0000229d: JUMPDEST 0000229e: PUSH4 0xffffffff 000022a3: AND 000022a4: GT 000022a5: ISZERO 000022a6: PUSH2 0x230c 000022a9: JUMPI 000022aa: PUSH1 0x40 000022ac: MLOAD 000022ad: PUSH3 0x461bcd 000022b1: PUSH1 0xe5 000022b3: SHL 000022b4: DUP2 000022b5: MSTORE 000022b6: PUSH1 0x20 000022b8: PUSH1 0x04 000022ba: DUP3 000022bb: ADD 000022bc: MSTORE 000022bd: PUSH1 0x32 000022bf: PUSH1 0x24 000022c1: DUP3 000022c2: ADD 000022c3: MSTORE 000022c4: PUSH32 0x53484f56657374696e673a2062617365206665652070657263656e7461676520 000022e5: PUSH1 0x44 000022e7: DUP3 000022e8: ADD 000022e9: MSTORE 000022ea: PUSH18 0x3120686967686572207468616e2031303025 000022fd: PUSH1 0x70 000022ff: SHL 00002300: PUSH1 0x64 00002302: DUP3 00002303: ADD 00002304: MSTORE 00002305: PUSH1 0x84 00002307: ADD 00002308: PUSH2 0x0632 0000230b: JUMP 0000230c: JUMPDEST 0000230d: PUSH1 0x00 0000230f: PUSH2 0x231e 00002312: PUSH1 0xa0 00002314: DUP5 00002315: ADD 00002316: PUSH1 0x80 00002318: DUP6 00002319: ADD 0000231a: PUSH2 0x3033 0000231d: JUMP 0000231e: JUMPDEST 0000231f: PUSH1 0x01 00002321: PUSH1 0x01 00002323: PUSH1 0xa0 00002325: SHL 00002326: SUB 00002327: AND 00002328: EQ 00002329: ISZERO 0000232a: PUSH2 0x2384 0000232d: JUMPI 0000232e: PUSH1 0x40 00002330: MLOAD 00002331: PUSH3 0x461bcd 00002335: PUSH1 0xe5 00002337: SHL 00002338: DUP2 00002339: MSTORE 0000233a: PUSH1 0x20 0000233c: PUSH1 0x04 0000233e: DUP3 0000233f: ADD 00002340: MSTORE 00002341: PUSH1 0x26 00002343: PUSH1 0x24 00002345: DUP3 00002346: ADD 00002347: MSTORE 00002348: PUSH32 0x53484f56657374696e673a2066656520636f6c6c6563746f72207a65726f2061 00002369: PUSH1 0x44 0000236b: DUP3 0000236c: ADD 0000236d: MSTORE 0000236e: PUSH6 0x646472657373 00002375: PUSH1 0xd0 00002377: SHL 00002378: PUSH1 0x64 0000237a: DUP3 0000237b: ADD 0000237c: MSTORE 0000237d: PUSH1 0x84 0000237f: ADD 00002380: PUSH2 0x0632 00002383: JUMP 00002384: JUMPDEST 00002385: TIMESTAMP 00002386: PUSH2 0x2395 00002389: PUSH1 0xc0 0000238b: DUP5 0000238c: ADD 0000238d: PUSH1 0xa0 0000238f: DUP6 00002390: ADD 00002391: PUSH2 0x329e 00002394: JUMP 00002395: JUMPDEST 00002396: PUSH1 0x01 00002398: PUSH1 0x01 0000239a: PUSH1 0x40 0000239c: SHL 0000239d: SUB 0000239e: AND 0000239f: GT 000023a0: PUSH2 0x23fc 000023a3: JUMPI 000023a4: PUSH1 0x40 000023a6: MLOAD 000023a7: PUSH3 0x461bcd 000023ab: PUSH1 0xe5 000023ad: SHL 000023ae: DUP2 000023af: MSTORE 000023b0: PUSH1 0x20 000023b2: PUSH1 0x04 000023b4: DUP3 000023b5: ADD 000023b6: MSTORE 000023b7: PUSH1 0x28 000023b9: PUSH1 0x24 000023bb: DUP3 000023bc: ADD 000023bd: MSTORE 000023be: PUSH32 0x53484f56657374696e673a2073746172742074696d65206d7573742062652069 000023df: PUSH1 0x44 000023e1: DUP3 000023e2: ADD 000023e3: MSTORE 000023e4: PUSH8 0x6e20667574757265 000023ed: PUSH1 0xc0 000023ef: SHL 000023f0: PUSH1 0x64 000023f2: DUP3 000023f3: ADD 000023f4: MSTORE 000023f5: PUSH1 0x84 000023f7: ADD 000023f8: PUSH2 0x0632 000023fb: JUMP 000023fc: JUMPDEST 000023fd: PUSH1 0x00 000023ff: PUSH2 0x2445 00002402: PUSH2 0x240e 00002405: PUSH1 0x20 00002407: DUP6 00002408: ADD 00002409: DUP6 0000240a: PUSH2 0x34c1 0000240d: JUMP 0000240e: JUMPDEST 0000240f: DUP1 00002410: DUP1 00002411: PUSH1 0x20 00002413: MUL 00002414: PUSH1 0x20 00002416: ADD 00002417: PUSH1 0x40 00002419: MLOAD 0000241a: SWAP1 0000241b: DUP2 0000241c: ADD 0000241d: PUSH1 0x40 0000241f: MSTORE 00002420: DUP1 00002421: SWAP4 00002422: SWAP3 00002423: SWAP2 00002424: SWAP1 00002425: DUP2 00002426: DUP2 00002427: MSTORE 00002428: PUSH1 0x20 0000242a: ADD 0000242b: DUP4 0000242c: DUP4 0000242d: PUSH1 0x20 0000242f: MUL 00002430: DUP1 00002431: DUP3 00002432: DUP5 00002433: CALLDATACOPY 00002434: PUSH1 0x00 00002436: SWAP3 00002437: ADD 00002438: SWAP2 00002439: SWAP1 0000243a: SWAP2 0000243b: MSTORE 0000243c: POP 0000243d: PUSH2 0x2b61 00002440: SWAP3 00002441: POP 00002442: POP 00002443: POP 00002444: JUMP 00002445: JUMPDEST 00002446: SWAP1 00002447: POP 00002448: PUSH1 0x00 0000244a: PUSH2 0x2459 0000244d: PUSH2 0x240e 00002450: PUSH1 0x40 00002452: DUP7 00002453: ADD 00002454: DUP7 00002455: PUSH2 0x34c1 00002458: JUMP 00002459: JUMPDEST 0000245a: SWAP1 0000245b: POP 0000245c: PUSH3 0x0f4240 00002460: PUSH4 0xffffffff 00002465: AND 00002466: DUP3 00002467: PUSH1 0x01 00002469: DUP5 0000246a: MLOAD 0000246b: PUSH2 0x2474 0000246e: SWAP2 0000246f: SWAP1 00002470: PUSH2 0x35f1 00002473: JUMP 00002474: JUMPDEST 00002475: DUP2 00002476: MLOAD 00002477: DUP2 00002478: LT 00002479: PUSH2 0x2492 0000247c: JUMPI 0000247d: PUSH4 0x4e487b71 00002482: PUSH1 0xe0 00002484: SHL 00002485: PUSH1 0x00 00002487: MSTORE 00002488: PUSH1 0x32 0000248a: PUSH1 0x04 0000248c: MSTORE 0000248d: PUSH1 0x24 0000248f: PUSH1 0x00 00002491: REVERT 00002492: JUMPDEST 00002493: PUSH1 0x20 00002495: MUL 00002496: PUSH1 0x20 00002498: ADD 00002499: ADD 0000249a: MLOAD 0000249b: PUSH4 0xffffffff 000024a0: AND 000024a1: EQ 000024a2: PUSH2 0x24fc 000024a5: JUMPI 000024a6: PUSH1 0x40 000024a8: MLOAD 000024a9: PUSH3 0x461bcd 000024ad: PUSH1 0xe5 000024af: SHL 000024b0: DUP2 000024b1: MSTORE 000024b2: PUSH1 0x20 000024b4: PUSH1 0x04 000024b6: DUP3 000024b7: ADD 000024b8: MSTORE 000024b9: PUSH1 0x26 000024bb: PUSH1 0x24 000024bd: DUP3 000024be: ADD 000024bf: MSTORE 000024c0: PUSH32 0x53484f56657374696e673a20696e76616c696420756e6c6f636b207065726365 000024e1: PUSH1 0x44 000024e3: DUP3 000024e4: ADD 000024e5: MSTORE 000024e6: PUSH6 0x6e7461676573 000024ed: PUSH1 0xd0 000024ef: SHL 000024f0: PUSH1 0x64 000024f2: DUP3 000024f3: ADD 000024f4: MSTORE 000024f5: PUSH1 0x84 000024f7: ADD 000024f8: PUSH2 0x0632 000024fb: JUMP 000024fc: JUMPDEST 000024fd: PUSH2 0x250c 00002500: PUSH1 0xe0 00002502: DUP6 00002503: ADD 00002504: PUSH1 0xc0 00002506: DUP7 00002507: ADD 00002508: PUSH2 0x3033 0000250b: JUMP 0000250c: JUMPDEST 0000250d: PUSH1 0x01 0000250f: PUSH1 0x01 00002511: PUSH1 0xa0 00002513: SHL 00002514: SUB 00002515: AND 00002516: PUSH2 0x2522 00002519: PUSH1 0x20 0000251b: DUP7 0000251c: ADD 0000251d: DUP7 0000251e: PUSH2 0x3033 00002521: JUMP 00002522: JUMPDEST 00002523: PUSH1 0x01 00002525: PUSH1 0x01 00002527: PUSH1 0xa0 00002529: SHL 0000252a: SUB 0000252b: AND 0000252c: EQ 0000252d: ISZERO 0000252e: PUSH2 0x2579 00002531: JUMPI 00002532: PUSH1 0x40 00002534: MLOAD 00002535: PUSH3 0x461bcd 00002539: PUSH1 0xe5 0000253b: SHL 0000253c: DUP2 0000253d: MSTORE 0000253e: PUSH1 0x20 00002540: PUSH1 0x04 00002542: DUP3 00002543: ADD 00002544: MSTORE 00002545: PUSH1 0x17 00002547: PUSH1 0x24 00002549: DUP3 0000254a: ADD 0000254b: MSTORE 0000254c: PUSH32 0x53484f56657374696e673a2073616d6520746f6b656e73000000000000000000 0000256d: PUSH1 0x44 0000256f: DUP3 00002570: ADD 00002571: MSTORE 00002572: PUSH1 0x64 00002574: ADD 00002575: PUSH2 0x0632 00002578: JUMP 00002579: JUMPDEST 0000257a: PUSH1 0x00 0000257c: PUSH2 0x258b 0000257f: PUSH1 0xe0 00002581: DUP7 00002582: ADD 00002583: PUSH1 0xc0 00002585: DUP8 00002586: ADD 00002587: PUSH2 0x3033 0000258a: JUMP 0000258b: JUMPDEST 0000258c: PUSH1 0x01 0000258e: PUSH1 0x01 00002590: PUSH1 0xa0 00002592: SHL 00002593: SUB 00002594: AND 00002595: EQ 00002596: PUSH2 0x267d 00002599: JUMPI 0000259a: PUSH2 0x25a9 0000259d: PUSH1 0xc0 0000259f: DUP6 000025a0: ADD 000025a1: PUSH1 0xa0 000025a3: DUP7 000025a4: ADD 000025a5: PUSH2 0x329e 000025a8: JUMP 000025a9: JUMPDEST 000025aa: PUSH1 0x01 000025ac: PUSH1 0x01 000025ae: PUSH1 0x40 000025b0: SHL 000025b1: SUB 000025b2: AND 000025b3: PUSH2 0x25c4 000025b6: PUSH2 0x0120 000025b9: DUP7 000025ba: ADD 000025bb: PUSH2 0x0100 000025be: DUP8 000025bf: ADD 000025c0: PUSH2 0x329e 000025c3: JUMP 000025c4: JUMPDEST 000025c5: PUSH1 0x01 000025c7: PUSH1 0x01 000025c9: PUSH1 0x40 000025cb: SHL 000025cc: SUB 000025cd: AND 000025ce: LT 000025cf: ISZERO 000025d0: PUSH2 0x25eb 000025d3: JUMPI 000025d4: PUSH1 0x40 000025d6: MLOAD 000025d7: PUSH3 0x461bcd 000025db: PUSH1 0xe5 000025dd: SHL 000025de: DUP2 000025df: MSTORE 000025e0: PUSH1 0x04 000025e2: ADD 000025e3: PUSH2 0x0632 000025e6: SWAP1 000025e7: PUSH2 0x336d 000025ea: JUMP 000025eb: JUMPDEST 000025ec: PUSH2 0x25fd 000025ef: PUSH2 0x0120 000025f2: DUP6 000025f3: ADD 000025f4: PUSH2 0x0100 000025f7: DUP7 000025f8: ADD 000025f9: PUSH2 0x329e 000025fc: JUMP 000025fd: JUMPDEST 000025fe: PUSH1 0x01 00002600: PUSH1 0x01 00002602: PUSH1 0x40 00002604: SHL 00002605: SUB 00002606: AND 00002607: PUSH2 0x2618 0000260a: PUSH2 0x0140 0000260d: DUP7 0000260e: ADD 0000260f: PUSH2 0x0120 00002612: DUP8 00002613: ADD 00002614: PUSH2 0x329e 00002617: JUMP 00002618: JUMPDEST 00002619: PUSH1 0x01 0000261b: PUSH1 0x01 0000261d: PUSH1 0x40 0000261f: SHL 00002620: SUB 00002621: AND 00002622: GT 00002623: PUSH2 0x263e 00002626: JUMPI 00002627: PUSH1 0x40 00002629: MLOAD 0000262a: PUSH3 0x461bcd 0000262e: PUSH1 0xe5 00002630: SHL 00002631: DUP2 00002632: MSTORE 00002633: PUSH1 0x04 00002635: ADD 00002636: PUSH2 0x0632 00002639: SWAP1 0000263a: PUSH2 0x3480 0000263d: JUMP 0000263e: JUMPDEST 0000263f: PUSH1 0x00 00002641: PUSH2 0x2651 00002644: PUSH2 0x0100 00002647: DUP7 00002648: ADD 00002649: PUSH1 0xe0 0000264b: DUP8 0000264c: ADD 0000264d: PUSH2 0x3033 00002650: JUMP 00002651: JUMPDEST 00002652: PUSH1 0x01 00002654: PUSH1 0x01 00002656: PUSH1 0xa0 00002658: SHL 00002659: SUB 0000265a: AND 0000265b: EQ 0000265c: ISZERO 0000265d: PUSH2 0x2678 00002660: JUMPI 00002661: PUSH1 0x40 00002663: MLOAD 00002664: PUSH3 0x461bcd 00002668: PUSH1 0xe5 0000266a: SHL 0000266b: DUP2 0000266c: MSTORE 0000266d: PUSH1 0x04 0000266f: ADD 00002670: PUSH2 0x0632 00002673: SWAP1 00002674: PUSH2 0x33b0 00002677: JUMP 00002678: JUMPDEST 00002679: PUSH2 0x2726 0000267c: JUMP 0000267d: JUMPDEST 0000267e: PUSH2 0x268f 00002681: PUSH2 0x0120 00002684: DUP6 00002685: ADD 00002686: PUSH2 0x0100 00002689: DUP7 0000268a: ADD 0000268b: PUSH2 0x329e 0000268e: JUMP 0000268f: JUMPDEST 00002690: PUSH1 0x01 00002692: PUSH1 0x01 00002694: PUSH1 0x40 00002696: SHL 00002697: SUB 00002698: AND 00002699: ISZERO 0000269a: PUSH2 0x26b5 0000269d: JUMPI 0000269e: PUSH1 0x40 000026a0: MLOAD 000026a1: PUSH3 0x461bcd 000026a5: PUSH1 0xe5 000026a7: SHL 000026a8: DUP2 000026a9: MSTORE 000026aa: PUSH1 0x04 000026ac: ADD 000026ad: PUSH2 0x0632 000026b0: SWAP1 000026b1: PUSH2 0x336d 000026b4: JUMP 000026b5: JUMPDEST 000026b6: PUSH2 0x26c7 000026b9: PUSH2 0x0140 000026bc: DUP6 000026bd: ADD 000026be: PUSH2 0x0120 000026c1: DUP7 000026c2: ADD 000026c3: PUSH2 0x329e 000026c6: JUMP 000026c7: JUMPDEST 000026c8: PUSH1 0x01 000026ca: PUSH1 0x01 000026cc: PUSH1 0x40 000026ce: SHL 000026cf: SUB 000026d0: AND 000026d1: ISZERO 000026d2: PUSH2 0x26ed 000026d5: JUMPI 000026d6: PUSH1 0x40 000026d8: MLOAD 000026d9: PUSH3 0x461bcd 000026dd: PUSH1 0xe5 000026df: SHL 000026e0: DUP2 000026e1: MSTORE 000026e2: PUSH1 0x04 000026e4: ADD 000026e5: PUSH2 0x0632 000026e8: SWAP1 000026e9: PUSH2 0x3480 000026ec: JUMP 000026ed: JUMPDEST 000026ee: PUSH1 0x00 000026f0: PUSH2 0x2700 000026f3: PUSH2 0x0100 000026f6: DUP7 000026f7: ADD 000026f8: PUSH1 0xe0 000026fa: DUP8 000026fb: ADD 000026fc: PUSH2 0x3033 000026ff: JUMP 00002700: JUMPDEST 00002701: PUSH1 0x01 00002703: PUSH1 0x01 00002705: PUSH1 0xa0 00002707: SHL 00002708: SUB 00002709: AND 0000270a: EQ 0000270b: PUSH2 0x2726 0000270e: JUMPI 0000270f: PUSH1 0x40 00002711: MLOAD 00002712: PUSH3 0x461bcd 00002716: PUSH1 0xe5 00002718: SHL 00002719: DUP2 0000271a: MSTORE 0000271b: PUSH1 0x04 0000271d: ADD 0000271e: PUSH2 0x0632 00002721: SWAP1 00002722: PUSH2 0x33b0 00002725: JUMP 00002726: JUMPDEST 00002727: PUSH2 0x2733 0000272a: PUSH1 0x20 0000272c: DUP6 0000272d: ADD 0000272e: DUP6 0000272f: PUSH2 0x3033 00002732: JUMP 00002733: JUMPDEST 00002734: PUSH1 0x9b 00002736: DUP1 00002737: SLOAD 00002738: PUSH1 0x01 0000273a: PUSH1 0x01 0000273c: PUSH1 0xa0 0000273e: SHL 0000273f: SUB 00002740: NOT 00002741: AND 00002742: PUSH1 0x01 00002744: PUSH1 0x01 00002746: PUSH1 0xa0 00002748: SHL 00002749: SUB 0000274a: SWAP3 0000274b: SWAP1 0000274c: SWAP3 0000274d: AND 0000274e: SWAP2 0000274f: SWAP1 00002750: SWAP2 00002751: OR 00002752: SWAP1 00002753: SSTORE 00002754: DUP2 00002755: MLOAD 00002756: PUSH2 0x2766 00002759: SWAP1 0000275a: PUSH1 0x99 0000275c: SWAP1 0000275d: PUSH1 0x20 0000275f: DUP6 00002760: ADD 00002761: SWAP1 00002762: PUSH2 0x2f26 00002765: JUMP 00002766: JUMPDEST 00002767: POP 00002768: DUP1 00002769: MLOAD 0000276a: PUSH2 0x277a 0000276d: SWAP1 0000276e: PUSH1 0x9a 00002770: SWAP1 00002771: PUSH1 0x20 00002773: DUP5 00002774: ADD 00002775: SWAP1 00002776: PUSH2 0x2f26 00002779: JUMP 0000277a: JUMPDEST 0000277b: POP 0000277c: PUSH2 0x278b 0000277f: PUSH1 0x80 00002781: DUP6 00002782: ADD 00002783: PUSH1 0x60 00002785: DUP7 00002786: ADD 00002787: PUSH2 0x327a 0000278a: JUMP 0000278b: JUMPDEST 0000278c: PUSH1 0x9c 0000278e: DUP1 0000278f: SLOAD 00002790: PUSH4 0xffffffff 00002795: SWAP3 00002796: SWAP1 00002797: SWAP3 00002798: AND 00002799: PUSH1 0x01 0000279b: PUSH1 0xa0 0000279d: SHL 0000279e: MUL 0000279f: PUSH4 0xffffffff 000027a4: PUSH1 0xa0 000027a6: SHL 000027a7: NOT 000027a8: SWAP1 000027a9: SWAP3 000027aa: AND 000027ab: SWAP2 000027ac: SWAP1 000027ad: SWAP2 000027ae: OR 000027af: SWAP1 000027b0: SSTORE 000027b1: PUSH2 0x27c0 000027b4: PUSH1 0xa0 000027b6: DUP6 000027b7: ADD 000027b8: PUSH1 0x80 000027ba: DUP7 000027bb: ADD 000027bc: PUSH2 0x3033 000027bf: JUMP 000027c0: JUMPDEST 000027c1: PUSH1 0x9c 000027c3: DUP1 000027c4: SLOAD 000027c5: PUSH1 0x01 000027c7: PUSH1 0x01 000027c9: PUSH1 0xa0 000027cb: SHL 000027cc: SUB 000027cd: NOT 000027ce: AND 000027cf: PUSH1 0x01 000027d1: PUSH1 0x01 000027d3: PUSH1 0xa0 000027d5: SHL 000027d6: SUB 000027d7: SWAP3 000027d8: SWAP1 000027d9: SWAP3 000027da: AND 000027db: SWAP2 000027dc: SWAP1 000027dd: SWAP2 000027de: OR 000027df: SWAP1 000027e0: SSTORE 000027e1: PUSH2 0x27f0 000027e4: PUSH1 0xc0 000027e6: DUP6 000027e7: ADD 000027e8: PUSH1 0xa0 000027ea: DUP7 000027eb: ADD 000027ec: PUSH2 0x329e 000027ef: JUMP 000027f0: JUMPDEST 000027f1: PUSH1 0x9b 000027f3: DUP1 000027f4: SLOAD 000027f5: PUSH1 0x01 000027f7: PUSH1 0x01 000027f9: PUSH1 0x40 000027fb: SHL 000027fc: SUB 000027fd: SWAP3 000027fe: SWAP1 000027ff: SWAP3 00002800: AND 00002801: PUSH1 0x01 00002803: PUSH1 0xa0 00002805: SHL 00002806: MUL 00002807: PUSH8 0xffffffffffffffff 00002810: PUSH1 0xa0 00002812: SHL 00002813: NOT 00002814: SWAP1 00002815: SWAP3 00002816: AND 00002817: SWAP2 00002818: SWAP1 00002819: SWAP2 0000281a: OR 0000281b: SWAP1 0000281c: SSTORE 0000281d: PUSH2 0x282c 00002820: PUSH1 0xe0 00002822: DUP6 00002823: ADD 00002824: PUSH1 0xc0 00002826: DUP7 00002827: ADD 00002828: PUSH2 0x3033 0000282b: JUMP 0000282c: JUMPDEST 0000282d: PUSH1 0x9d 0000282f: DUP1 00002830: SLOAD 00002831: PUSH1 0x01 00002833: PUSH1 0x01 00002835: PUSH1 0xa0 00002837: SHL 00002838: SUB 00002839: NOT 0000283a: AND 0000283b: PUSH1 0x01 0000283d: PUSH1 0x01 0000283f: PUSH1 0xa0 00002841: SHL 00002842: SUB 00002843: SWAP3 00002844: SWAP1 00002845: SWAP3 00002846: AND 00002847: SWAP2 00002848: SWAP1 00002849: SWAP2 0000284a: OR 0000284b: SWAP1 0000284c: SSTORE 0000284d: PUSH2 0x285d 00002850: PUSH2 0x0100 00002853: DUP6 00002854: ADD 00002855: PUSH1 0xe0 00002857: DUP7 00002858: ADD 00002859: PUSH2 0x3033 0000285c: JUMP 0000285d: JUMPDEST 0000285e: PUSH1 0x9e 00002860: DUP1 00002861: SLOAD 00002862: PUSH1 0x01 00002864: PUSH1 0x01 00002866: PUSH1 0xa0 00002868: SHL 00002869: SUB 0000286a: NOT 0000286b: AND 0000286c: PUSH1 0x01 0000286e: PUSH1 0x01 00002870: PUSH1 0xa0 00002872: SHL 00002873: SUB 00002874: SWAP3 00002875: SWAP1 00002876: SWAP3 00002877: AND 00002878: SWAP2 00002879: SWAP1 0000287a: SWAP2 0000287b: OR 0000287c: SWAP1 0000287d: SSTORE 0000287e: PUSH2 0x288f 00002881: PUSH2 0x0120 00002884: DUP6 00002885: ADD 00002886: PUSH2 0x0100 00002889: DUP7 0000288a: ADD 0000288b: PUSH2 0x329e 0000288e: JUMP 0000288f: JUMPDEST 00002890: PUSH1 0x9e 00002892: DUP1 00002893: SLOAD 00002894: PUSH1 0x01 00002896: PUSH1 0x01 00002898: PUSH1 0x40 0000289a: SHL 0000289b: SUB 0000289c: SWAP3 0000289d: SWAP1 0000289e: SWAP3 0000289f: AND 000028a0: PUSH1 0x01 000028a2: PUSH1 0xa0 000028a4: SHL 000028a5: MUL 000028a6: PUSH8 0xffffffffffffffff 000028af: PUSH1 0xa0 000028b1: SHL 000028b2: NOT 000028b3: SWAP1 000028b4: SWAP3 000028b5: AND 000028b6: SWAP2 000028b7: SWAP1 000028b8: SWAP2 000028b9: OR 000028ba: SWAP1 000028bb: SSTORE 000028bc: PUSH2 0x28cd 000028bf: PUSH2 0x0140 000028c2: DUP6 000028c3: ADD 000028c4: PUSH2 0x0120 000028c7: DUP7 000028c8: ADD 000028c9: PUSH2 0x329e 000028cc: JUMP 000028cd: JUMPDEST 000028ce: PUSH1 0x9f 000028d0: DUP1 000028d1: SLOAD 000028d2: PUSH9 0xffffffffffffffffff 000028dc: NOT 000028dd: AND 000028de: PUSH1 0x01 000028e0: PUSH1 0x01 000028e2: PUSH1 0x40 000028e4: SHL 000028e5: SUB 000028e6: SWAP3 000028e7: SWAP1 000028e8: SWAP3 000028e9: AND 000028ea: SWAP2 000028eb: SWAP1 000028ec: SWAP2 000028ed: OR 000028ee: PUSH1 0x01 000028f0: PUSH1 0x40 000028f2: SHL 000028f3: OR 000028f4: SWAP1 000028f5: SSTORE 000028f6: POP 000028f7: POP 000028f8: DUP1 000028f9: ISZERO 000028fa: PUSH2 0x293d 000028fd: JUMPI 000028fe: PUSH1 0x00 00002900: DUP1 00002901: SLOAD 00002902: PUSH2 0xff00 00002905: NOT 00002906: AND 00002907: SWAP1 00002908: SSTORE 00002909: PUSH1 0x40 0000290b: MLOAD 0000290c: PUSH1 0x01 0000290e: DUP2 0000290f: MSTORE 00002910: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00002931: SWAP1 00002932: PUSH1 0x20 00002934: ADD 00002935: PUSH1 0x40 00002937: MLOAD 00002938: DUP1 00002939: SWAP2 0000293a: SUB 0000293b: SWAP1 0000293c: LOG1 0000293d: JUMPDEST 0000293e: POP 0000293f: POP 00002940: JUMP 00002941: JUMPDEST 00002942: PUSH1 0x40 00002944: DUP1 00002945: MLOAD 00002946: PUSH1 0x01 00002948: PUSH1 0x01 0000294a: PUSH1 0xa0 0000294c: SHL 0000294d: SUB 0000294e: DUP5 0000294f: AND 00002950: PUSH1 0x24 00002952: DUP3 00002953: ADD 00002954: MSTORE 00002955: PUSH1 0x44 00002957: DUP1 00002958: DUP3 00002959: ADD 0000295a: DUP5 0000295b: SWAP1 0000295c: MSTORE 0000295d: DUP3 0000295e: MLOAD 0000295f: DUP1 00002960: DUP4 00002961: SUB 00002962: SWAP1 00002963: SWAP2 00002964: ADD 00002965: DUP2 00002966: MSTORE 00002967: PUSH1 0x64 00002969: SWAP1 0000296a: SWAP2 0000296b: ADD 0000296c: SWAP1 0000296d: SWAP2 0000296e: MSTORE 0000296f: PUSH1 0x20 00002971: DUP2 00002972: ADD 00002973: DUP1 00002974: MLOAD 00002975: PUSH1 0x01 00002977: PUSH1 0x01 00002979: PUSH1 0xe0 0000297b: SHL 0000297c: SUB 0000297d: AND 0000297e: PUSH4 0xa9059cbb 00002983: PUSH1 0xe0 00002985: SHL 00002986: OR 00002987: SWAP1 00002988: MSTORE 00002989: PUSH2 0x2993 0000298c: SWAP1 0000298d: DUP5 0000298e: SWAP1 0000298f: PUSH2 0x2c85 00002992: JUMP 00002993: JUMPDEST 00002994: POP 00002995: POP 00002996: POP 00002997: JUMP 00002998: JUMPDEST 00002999: PUSH1 0x33 0000299b: SLOAD 0000299c: PUSH1 0x01 0000299e: PUSH1 0x01 000029a0: PUSH1 0xa0 000029a2: SHL 000029a3: SUB 000029a4: AND 000029a5: CALLER 000029a6: EQ 000029a7: PUSH2 0x06d2 000029aa: JUMPI 000029ab: PUSH1 0x40 000029ad: MLOAD 000029ae: PUSH3 0x461bcd 000029b2: PUSH1 0xe5 000029b4: SHL 000029b5: DUP2 000029b6: MSTORE 000029b7: PUSH1 0x20 000029b9: PUSH1 0x04 000029bb: DUP3 000029bc: ADD 000029bd: DUP2 000029be: SWAP1 000029bf: MSTORE 000029c0: PUSH1 0x24 000029c2: DUP3 000029c3: ADD 000029c4: MSTORE 000029c5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000029e6: PUSH1 0x44 000029e8: DUP3 000029e9: ADD 000029ea: MSTORE 000029eb: PUSH1 0x64 000029ed: ADD 000029ee: PUSH2 0x0632 000029f1: JUMP 000029f2: JUMPDEST 000029f3: PUSH1 0x00 000029f5: PUSH2 0x2a10 000029f8: DUP3 000029f9: PUSH1 0x9c 000029fb: PUSH1 0x14 000029fd: SWAP1 000029fe: SLOAD 000029ff: SWAP1 00002a00: PUSH2 0x0100 00002a03: EXP 00002a04: SWAP1 00002a05: DIV 00002a06: PUSH4 0xffffffff 00002a0b: AND 00002a0c: PUSH2 0x2ad3 00002a0f: JUMP 00002a10: JUMPDEST 00002a11: PUSH2 0x2a1a 00002a14: SWAP1 00002a15: DUP4 00002a16: PUSH2 0x35ae 00002a19: JUMP 00002a1a: JUMPDEST 00002a1b: SWAP3 00002a1c: SWAP2 00002a1d: POP 00002a1e: POP 00002a1f: JUMP 00002a20: JUMPDEST 00002a21: PUSH1 0x02 00002a23: PUSH1 0x65 00002a25: SLOAD 00002a26: EQ 00002a27: ISZERO 00002a28: PUSH2 0x2a73 00002a2b: JUMPI 00002a2c: PUSH1 0x40 00002a2e: MLOAD 00002a2f: PUSH3 0x461bcd 00002a33: PUSH1 0xe5 00002a35: SHL 00002a36: DUP2 00002a37: MSTORE 00002a38: PUSH1 0x20 00002a3a: PUSH1 0x04 00002a3c: DUP3 00002a3d: ADD 00002a3e: MSTORE 00002a3f: PUSH1 0x1f 00002a41: PUSH1 0x24 00002a43: DUP3 00002a44: ADD 00002a45: MSTORE 00002a46: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00002a67: PUSH1 0x44 00002a69: DUP3 00002a6a: ADD 00002a6b: MSTORE 00002a6c: PUSH1 0x64 00002a6e: ADD 00002a6f: PUSH2 0x0632 00002a72: JUMP 00002a73: JUMPDEST 00002a74: PUSH1 0x02 00002a76: PUSH1 0x65 00002a78: SSTORE 00002a79: JUMP 00002a7a: JUMPDEST 00002a7b: PUSH1 0x01 00002a7d: PUSH1 0x65 00002a7f: SSTORE 00002a80: JUMP 00002a81: JUMPDEST 00002a82: PUSH1 0x33 00002a84: DUP1 00002a85: SLOAD 00002a86: PUSH1 0x01 00002a88: PUSH1 0x01 00002a8a: PUSH1 0xa0 00002a8c: SHL 00002a8d: SUB 00002a8e: DUP4 00002a8f: DUP2 00002a90: AND 00002a91: PUSH1 0x01 00002a93: PUSH1 0x01 00002a95: PUSH1 0xa0 00002a97: SHL 00002a98: SUB 00002a99: NOT 00002a9a: DUP4 00002a9b: AND 00002a9c: DUP2 00002a9d: OR 00002a9e: SWAP1 00002a9f: SWAP4 00002aa0: SSTORE 00002aa1: PUSH1 0x40 00002aa3: MLOAD 00002aa4: SWAP2 00002aa5: AND 00002aa6: SWAP2 00002aa7: SWAP1 00002aa8: DUP3 00002aa9: SWAP1 00002aaa: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00002acb: SWAP1 00002acc: PUSH1 0x00 00002ace: SWAP1 00002acf: LOG3 00002ad0: POP 00002ad1: POP 00002ad2: JUMP 00002ad3: JUMPDEST 00002ad4: PUSH1 0x00 00002ad6: PUSH3 0x0f4240 00002ada: PUSH2 0x2af2 00002add: PUSH4 0xffffffff 00002ae2: DUP5 00002ae3: AND 00002ae4: PUSH1 0x01 00002ae6: PUSH1 0x01 00002ae8: PUSH1 0x78 00002aea: SHL 00002aeb: SUB 00002aec: DUP7 00002aed: AND 00002aee: PUSH2 0x358f 00002af1: JUMP 00002af2: JUMPDEST 00002af3: PUSH2 0x2afc 00002af6: SWAP2 00002af7: SWAP1 00002af8: PUSH2 0x356f 00002afb: JUMP 00002afc: JUMPDEST 00002afd: SWAP4 00002afe: SWAP3 00002aff: POP 00002b00: POP 00002b01: POP 00002b02: JUMP 00002b03: JUMPDEST 00002b04: PUSH1 0x00 00002b06: SLOAD 00002b07: PUSH2 0x0100 00002b0a: SWAP1 00002b0b: DIV 00002b0c: PUSH1 0xff 00002b0e: AND 00002b0f: PUSH2 0x2b2a 00002b12: JUMPI 00002b13: PUSH1 0x40 00002b15: MLOAD 00002b16: PUSH3 0x461bcd 00002b1a: PUSH1 0xe5 00002b1c: SHL 00002b1d: DUP2 00002b1e: MSTORE 00002b1f: PUSH1 0x04 00002b21: ADD 00002b22: PUSH2 0x0632 00002b25: SWAP1 00002b26: PUSH2 0x3435 00002b29: JUMP 00002b2a: JUMPDEST 00002b2b: PUSH2 0x06d2 00002b2e: PUSH2 0x2d57 00002b31: JUMP 00002b32: JUMPDEST 00002b33: PUSH1 0x00 00002b35: SLOAD 00002b36: PUSH2 0x0100 00002b39: SWAP1 00002b3a: DIV 00002b3b: PUSH1 0xff 00002b3d: AND 00002b3e: PUSH2 0x2b59 00002b41: JUMPI 00002b42: PUSH1 0x40 00002b44: MLOAD 00002b45: PUSH3 0x461bcd 00002b49: PUSH1 0xe5 00002b4b: SHL 00002b4c: DUP2 00002b4d: MSTORE 00002b4e: PUSH1 0x04 00002b50: ADD 00002b51: PUSH2 0x0632 00002b54: SWAP1 00002b55: PUSH2 0x3435 00002b58: JUMP 00002b59: JUMPDEST 00002b5a: PUSH2 0x06d2 00002b5d: PUSH2 0x2d7e 00002b60: JUMP 00002b61: JUMPDEST 00002b62: DUP1 00002b63: MLOAD 00002b64: PUSH1 0x60 00002b66: SWAP1 00002b67: PUSH1 0x00 00002b69: DUP2 00002b6a: PUSH1 0x01 00002b6c: PUSH1 0x01 00002b6e: PUSH1 0x40 00002b70: SHL 00002b71: SUB 00002b72: DUP2 00002b73: GT 00002b74: ISZERO 00002b75: PUSH2 0x2b8e 00002b78: JUMPI 00002b79: PUSH4 0x4e487b71 00002b7e: PUSH1 0xe0 00002b80: SHL 00002b81: PUSH1 0x00 00002b83: MSTORE 00002b84: PUSH1 0x41 00002b86: PUSH1 0x04 00002b88: MSTORE 00002b89: PUSH1 0x24 00002b8b: PUSH1 0x00 00002b8d: REVERT 00002b8e: JUMPDEST 00002b8f: PUSH1 0x40 00002b91: MLOAD 00002b92: SWAP1 00002b93: DUP1 00002b94: DUP3 00002b95: MSTORE 00002b96: DUP1 00002b97: PUSH1 0x20 00002b99: MUL 00002b9a: PUSH1 0x20 00002b9c: ADD 00002b9d: DUP3 00002b9e: ADD 00002b9f: PUSH1 0x40 00002ba1: MSTORE 00002ba2: DUP1 00002ba3: ISZERO 00002ba4: PUSH2 0x2bb7 00002ba7: JUMPI 00002ba8: DUP2 00002ba9: PUSH1 0x20 00002bab: ADD 00002bac: PUSH1 0x20 00002bae: DUP3 00002baf: MUL 00002bb0: DUP1 00002bb1: CALLDATASIZE 00002bb2: DUP4 00002bb3: CALLDATACOPY 00002bb4: ADD 00002bb5: SWAP1 00002bb6: POP 00002bb7: JUMPDEST 00002bb8: POP 00002bb9: SWAP1 00002bba: POP 00002bbb: PUSH1 0x00 00002bbd: DUP1 00002bbe: JUMPDEST 00002bbf: DUP4 00002bc0: DUP2 00002bc1: LT 00002bc2: ISZERO 00002bc3: PUSH2 0x2c7b 00002bc6: JUMPI 00002bc7: DUP1 00002bc8: ISZERO 00002bc9: PUSH2 0x2c01 00002bcc: JUMPI 00002bcd: DUP3 00002bce: PUSH2 0x2bd8 00002bd1: PUSH1 0x01 00002bd3: DUP4 00002bd4: PUSH2 0x35f1 00002bd7: JUMP 00002bd8: JUMPDEST 00002bd9: DUP2 00002bda: MLOAD 00002bdb: DUP2 00002bdc: LT 00002bdd: PUSH2 0x2bf6 00002be0: JUMPI 00002be1: PUSH4 0x4e487b71 00002be6: PUSH1 0xe0 00002be8: SHL 00002be9: PUSH1 0x00 00002beb: MSTORE 00002bec: PUSH1 0x32 00002bee: PUSH1 0x04 00002bf0: MSTORE 00002bf1: PUSH1 0x24 00002bf3: PUSH1 0x00 00002bf5: REVERT 00002bf6: JUMPDEST 00002bf7: PUSH1 0x20 00002bf9: MUL 00002bfa: PUSH1 0x20 00002bfc: ADD 00002bfd: ADD 00002bfe: MLOAD 00002bff: SWAP2 00002c00: POP 00002c01: JUMPDEST 00002c02: DUP6 00002c03: DUP2 00002c04: DUP2 00002c05: MLOAD 00002c06: DUP2 00002c07: LT 00002c08: PUSH2 0x2c21 00002c0b: JUMPI 00002c0c: PUSH4 0x4e487b71 00002c11: PUSH1 0xe0 00002c13: SHL 00002c14: PUSH1 0x00 00002c16: MSTORE 00002c17: PUSH1 0x32 00002c19: PUSH1 0x04 00002c1b: MSTORE 00002c1c: PUSH1 0x24 00002c1e: PUSH1 0x00 00002c20: REVERT 00002c21: JUMPDEST 00002c22: PUSH1 0x20 00002c24: MUL 00002c25: PUSH1 0x20 00002c27: ADD 00002c28: ADD 00002c29: MLOAD 00002c2a: DUP3 00002c2b: PUSH2 0x2c34 00002c2e: SWAP2 00002c2f: SWAP1 00002c30: PUSH2 0x3550 00002c33: JUMP 00002c34: JUMPDEST 00002c35: DUP4 00002c36: DUP3 00002c37: DUP2 00002c38: MLOAD 00002c39: DUP2 00002c3a: LT 00002c3b: PUSH2 0x2c54 00002c3e: JUMPI 00002c3f: PUSH4 0x4e487b71 00002c44: PUSH1 0xe0 00002c46: SHL 00002c47: PUSH1 0x00 00002c49: MSTORE 00002c4a: PUSH1 0x32 00002c4c: PUSH1 0x04 00002c4e: MSTORE 00002c4f: PUSH1 0x24 00002c51: PUSH1 0x00 00002c53: REVERT 00002c54: JUMPDEST 00002c55: PUSH4 0xffffffff 00002c5a: SWAP1 00002c5b: SWAP3 00002c5c: AND 00002c5d: PUSH1 0x20 00002c5f: SWAP3 00002c60: DUP4 00002c61: MUL 00002c62: SWAP2 00002c63: SWAP1 00002c64: SWAP2 00002c65: ADD 00002c66: SWAP1 00002c67: SWAP2 00002c68: ADD 00002c69: MSTORE 00002c6a: DUP1 00002c6b: PUSH2 0x2c73 00002c6e: DUP2 00002c6f: PUSH2 0x3673 00002c72: JUMP 00002c73: JUMPDEST 00002c74: SWAP2 00002c75: POP 00002c76: POP 00002c77: PUSH2 0x2bbe 00002c7a: JUMP 00002c7b: JUMPDEST 00002c7c: POP 00002c7d: SWAP1 00002c7e: SWAP5 00002c7f: SWAP4 00002c80: POP 00002c81: POP 00002c82: POP 00002c83: POP 00002c84: JUMP 00002c85: JUMPDEST 00002c86: PUSH1 0x00 00002c88: PUSH2 0x2cda 00002c8b: DUP3 00002c8c: PUSH1 0x40 00002c8e: MLOAD 00002c8f: DUP1 00002c90: PUSH1 0x40 00002c92: ADD 00002c93: PUSH1 0x40 00002c95: MSTORE 00002c96: DUP1 00002c97: PUSH1 0x20 00002c99: DUP2 00002c9a: MSTORE 00002c9b: PUSH1 0x20 00002c9d: ADD 00002c9e: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00002cbf: DUP2 00002cc0: MSTORE 00002cc1: POP 00002cc2: DUP6 00002cc3: PUSH1 0x01 00002cc5: PUSH1 0x01 00002cc7: PUSH1 0xa0 00002cc9: SHL 00002cca: SUB 00002ccb: AND 00002ccc: PUSH2 0x2dae 00002ccf: SWAP1 00002cd0: SWAP3 00002cd1: SWAP2 00002cd2: SWAP1 00002cd3: PUSH4 0xffffffff 00002cd8: AND 00002cd9: JUMP 00002cda: JUMPDEST 00002cdb: DUP1 00002cdc: MLOAD 00002cdd: SWAP1 00002cde: SWAP2 00002cdf: POP 00002ce0: ISZERO 00002ce1: PUSH2 0x2993 00002ce4: JUMPI 00002ce5: DUP1 00002ce6: DUP1 00002ce7: PUSH1 0x20 00002ce9: ADD 00002cea: SWAP1 00002ceb: MLOAD 00002cec: DUP2 00002ced: ADD 00002cee: SWAP1 00002cef: PUSH2 0x2cf8 00002cf2: SWAP2 00002cf3: SWAP1 00002cf4: PUSH2 0x31cf 00002cf7: JUMP 00002cf8: JUMPDEST 00002cf9: PUSH2 0x2993 00002cfc: JUMPI 00002cfd: PUSH1 0x40 00002cff: MLOAD 00002d00: PUSH3 0x461bcd 00002d04: PUSH1 0xe5 00002d06: SHL 00002d07: DUP2 00002d08: MSTORE 00002d09: PUSH1 0x20 00002d0b: PUSH1 0x04 00002d0d: DUP3 00002d0e: ADD 00002d0f: MSTORE 00002d10: PUSH1 0x2a 00002d12: PUSH1 0x24 00002d14: DUP3 00002d15: ADD 00002d16: MSTORE 00002d17: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00002d38: PUSH1 0x44 00002d3a: DUP3 00002d3b: ADD 00002d3c: MSTORE 00002d3d: PUSH10 0x1bdd081cdd58d8d95959 00002d48: PUSH1 0xb2 00002d4a: SHL 00002d4b: PUSH1 0x64 00002d4d: DUP3 00002d4e: ADD 00002d4f: MSTORE 00002d50: PUSH1 0x84 00002d52: ADD 00002d53: PUSH2 0x0632 00002d56: JUMP 00002d57: JUMPDEST 00002d58: PUSH1 0x00 00002d5a: SLOAD 00002d5b: PUSH2 0x0100 00002d5e: SWAP1 00002d5f: DIV 00002d60: PUSH1 0xff 00002d62: AND 00002d63: PUSH2 0x2a7a 00002d66: JUMPI 00002d67: PUSH1 0x40 00002d69: MLOAD 00002d6a: PUSH3 0x461bcd 00002d6e: PUSH1 0xe5 00002d70: SHL 00002d71: DUP2 00002d72: MSTORE 00002d73: PUSH1 0x04 00002d75: ADD 00002d76: PUSH2 0x0632 00002d79: SWAP1 00002d7a: PUSH2 0x3435 00002d7d: JUMP 00002d7e: JUMPDEST 00002d7f: PUSH1 0x00 00002d81: SLOAD 00002d82: PUSH2 0x0100 00002d85: SWAP1 00002d86: DIV 00002d87: PUSH1 0xff 00002d89: AND 00002d8a: PUSH2 0x2da5 00002d8d: JUMPI 00002d8e: PUSH1 0x40 00002d90: MLOAD 00002d91: PUSH3 0x461bcd 00002d95: PUSH1 0xe5 00002d97: SHL 00002d98: DUP2 00002d99: MSTORE 00002d9a: PUSH1 0x04 00002d9c: ADD 00002d9d: PUSH2 0x0632 00002da0: SWAP1 00002da1: PUSH2 0x3435 00002da4: JUMP 00002da5: JUMPDEST 00002da6: PUSH2 0x06d2 00002da9: CALLER 00002daa: PUSH2 0x2a81 00002dad: JUMP 00002dae: JUMPDEST 00002daf: PUSH1 0x60 00002db1: PUSH2 0x2dbd 00002db4: DUP5 00002db5: DUP5 00002db6: PUSH1 0x00 00002db8: DUP6 00002db9: PUSH2 0x2dc5 00002dbc: JUMP 00002dbd: JUMPDEST 00002dbe: SWAP5 00002dbf: SWAP4 00002dc0: POP 00002dc1: POP 00002dc2: POP 00002dc3: POP 00002dc4: JUMP 00002dc5: JUMPDEST 00002dc6: PUSH1 0x60 00002dc8: DUP3 00002dc9: SELFBALANCE 00002dca: LT 00002dcb: ISZERO 00002dcc: PUSH2 0x2e26 00002dcf: JUMPI 00002dd0: PUSH1 0x40 00002dd2: MLOAD 00002dd3: PUSH3 0x461bcd 00002dd7: PUSH1 0xe5 00002dd9: SHL 00002dda: DUP2 00002ddb: MSTORE 00002ddc: PUSH1 0x20 00002dde: PUSH1 0x04 00002de0: DUP3 00002de1: ADD 00002de2: MSTORE 00002de3: PUSH1 0x26 00002de5: PUSH1 0x24 00002de7: DUP3 00002de8: ADD 00002de9: MSTORE 00002dea: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00002e0b: PUSH1 0x44 00002e0d: DUP3 00002e0e: ADD 00002e0f: MSTORE 00002e10: PUSH6 0x1c8818d85b1b 00002e17: PUSH1 0xd2 00002e19: SHL 00002e1a: PUSH1 0x64 00002e1c: DUP3 00002e1d: ADD 00002e1e: MSTORE 00002e1f: PUSH1 0x84 00002e21: ADD 00002e22: PUSH2 0x0632 00002e25: JUMP 00002e26: JUMPDEST 00002e27: DUP5 00002e28: EXTCODESIZE 00002e29: PUSH2 0x2e74 00002e2c: JUMPI 00002e2d: PUSH1 0x40 00002e2f: MLOAD 00002e30: PUSH3 0x461bcd 00002e34: PUSH1 0xe5 00002e36: SHL 00002e37: DUP2 00002e38: MSTORE 00002e39: PUSH1 0x20 00002e3b: PUSH1 0x04 00002e3d: DUP3 00002e3e: ADD 00002e3f: MSTORE 00002e40: PUSH1 0x1d 00002e42: PUSH1 0x24 00002e44: DUP3 00002e45: ADD 00002e46: MSTORE 00002e47: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00002e68: PUSH1 0x44 00002e6a: DUP3 00002e6b: ADD 00002e6c: MSTORE 00002e6d: PUSH1 0x64 00002e6f: ADD 00002e70: PUSH2 0x0632 00002e73: JUMP 00002e74: JUMPDEST 00002e75: PUSH1 0x00 00002e77: DUP1 00002e78: DUP7 00002e79: PUSH1 0x01 00002e7b: PUSH1 0x01 00002e7d: PUSH1 0xa0 00002e7f: SHL 00002e80: SUB 00002e81: AND 00002e82: DUP6 00002e83: DUP8 00002e84: PUSH1 0x40 00002e86: MLOAD 00002e87: PUSH2 0x2e90 00002e8a: SWAP2 00002e8b: SWAP1 00002e8c: PUSH2 0x32c5 00002e8f: JUMP 00002e90: JUMPDEST 00002e91: PUSH1 0x00 00002e93: PUSH1 0x40 00002e95: MLOAD 00002e96: DUP1 00002e97: DUP4 00002e98: SUB 00002e99: DUP2 00002e9a: DUP6 00002e9b: DUP8 00002e9c: GAS 00002e9d: CALL 00002e9e: SWAP3 00002e9f: POP 00002ea0: POP 00002ea1: POP 00002ea2: RETURNDATASIZE 00002ea3: DUP1 00002ea4: PUSH1 0x00 00002ea6: DUP2 00002ea7: EQ 00002ea8: PUSH2 0x2ecd 00002eab: JUMPI 00002eac: PUSH1 0x40 00002eae: MLOAD 00002eaf: SWAP2 00002eb0: POP 00002eb1: PUSH1 0x1f 00002eb3: NOT 00002eb4: PUSH1 0x3f 00002eb6: RETURNDATASIZE 00002eb7: ADD 00002eb8: AND 00002eb9: DUP3 00002eba: ADD 00002ebb: PUSH1 0x40 00002ebd: MSTORE 00002ebe: RETURNDATASIZE 00002ebf: DUP3 00002ec0: MSTORE 00002ec1: RETURNDATASIZE 00002ec2: PUSH1 0x00 00002ec4: PUSH1 0x20 00002ec6: DUP5 00002ec7: ADD 00002ec8: RETURNDATACOPY 00002ec9: PUSH2 0x2ed2 00002ecc: JUMP 00002ecd: JUMPDEST 00002ece: PUSH1 0x60 00002ed0: SWAP2 00002ed1: POP 00002ed2: JUMPDEST 00002ed3: POP 00002ed4: SWAP2 00002ed5: POP 00002ed6: SWAP2 00002ed7: POP 00002ed8: PUSH2 0x2ee2 00002edb: DUP3 00002edc: DUP3 00002edd: DUP7 00002ede: PUSH2 0x2eed 00002ee1: JUMP 00002ee2: JUMPDEST 00002ee3: SWAP8 00002ee4: SWAP7 00002ee5: POP 00002ee6: POP 00002ee7: POP 00002ee8: POP 00002ee9: POP 00002eea: POP 00002eeb: POP 00002eec: JUMP 00002eed: JUMPDEST 00002eee: PUSH1 0x60 00002ef0: DUP4 00002ef1: ISZERO 00002ef2: PUSH2 0x2efc 00002ef5: JUMPI 00002ef6: POP 00002ef7: DUP2 00002ef8: PUSH2 0x2afc 00002efb: JUMP 00002efc: JUMPDEST 00002efd: DUP3 00002efe: MLOAD 00002eff: ISZERO 00002f00: PUSH2 0x2f0c 00002f03: JUMPI 00002f04: DUP3 00002f05: MLOAD 00002f06: DUP1 00002f07: DUP5 00002f08: PUSH1 0x20 00002f0a: ADD 00002f0b: REVERT 00002f0c: JUMPDEST 00002f0d: DUP2 00002f0e: PUSH1 0x40 00002f10: MLOAD 00002f11: PUSH3 0x461bcd 00002f15: PUSH1 0xe5 00002f17: SHL 00002f18: DUP2 00002f19: MSTORE 00002f1a: PUSH1 0x04 00002f1c: ADD 00002f1d: PUSH2 0x0632 00002f20: SWAP2 00002f21: SWAP1 00002f22: PUSH2 0x333a 00002f25: JUMP 00002f26: JUMPDEST 00002f27: DUP3 00002f28: DUP1 00002f29: SLOAD 00002f2a: DUP3 00002f2b: DUP3 00002f2c: SSTORE 00002f2d: SWAP1 00002f2e: PUSH1 0x00 00002f30: MSTORE 00002f31: PUSH1 0x20 00002f33: PUSH1 0x00 00002f35: KECCAK256 00002f36: SWAP1 00002f37: PUSH1 0x07 00002f39: ADD 00002f3a: PUSH1 0x08 00002f3c: SWAP1 00002f3d: DIV 00002f3e: DUP2 00002f3f: ADD 00002f40: SWAP3 00002f41: DUP3 00002f42: ISZERO 00002f43: PUSH2 0x2fc5 00002f46: JUMPI 00002f47: SWAP2 00002f48: PUSH1 0x20 00002f4a: MUL 00002f4b: DUP3 00002f4c: ADD 00002f4d: PUSH1 0x00 00002f4f: JUMPDEST 00002f50: DUP4 00002f51: DUP3 00002f52: GT 00002f53: ISZERO 00002f54: PUSH2 0x2f93 00002f57: JUMPI 00002f58: DUP4 00002f59: MLOAD 00002f5a: DUP4 00002f5b: DUP3 00002f5c: PUSH2 0x0100 00002f5f: EXP 00002f60: DUP2 00002f61: SLOAD 00002f62: DUP2 00002f63: PUSH4 0xffffffff 00002f68: MUL 00002f69: NOT 00002f6a: AND 00002f6b: SWAP1 00002f6c: DUP4 00002f6d: PUSH4 0xffffffff 00002f72: AND 00002f73: MUL 00002f74: OR 00002f75: SWAP1 00002f76: SSTORE 00002f77: POP 00002f78: SWAP3 00002f79: PUSH1 0x20 00002f7b: ADD 00002f7c: SWAP3 00002f7d: PUSH1 0x04 00002f7f: ADD 00002f80: PUSH1 0x20 00002f82: DUP2 00002f83: PUSH1 0x03 00002f85: ADD 00002f86: DIV 00002f87: SWAP3 00002f88: DUP4 00002f89: ADD 00002f8a: SWAP3 00002f8b: PUSH1 0x01 00002f8d: SUB 00002f8e: MUL 00002f8f: PUSH2 0x2f4f 00002f92: JUMP 00002f93: JUMPDEST 00002f94: DUP1 00002f95: ISZERO 00002f96: PUSH2 0x2fc3 00002f99: JUMPI 00002f9a: DUP3 00002f9b: DUP2 00002f9c: PUSH2 0x0100 00002f9f: EXP 00002fa0: DUP2 00002fa1: SLOAD 00002fa2: SWAP1 00002fa3: PUSH4 0xffffffff 00002fa8: MUL 00002fa9: NOT 00002faa: AND 00002fab: SWAP1 00002fac: SSTORE 00002fad: PUSH1 0x04 00002faf: ADD 00002fb0: PUSH1 0x20 00002fb2: DUP2 00002fb3: PUSH1 0x03 00002fb5: ADD 00002fb6: DIV 00002fb7: SWAP3 00002fb8: DUP4 00002fb9: ADD 00002fba: SWAP3 00002fbb: PUSH1 0x01 00002fbd: SUB 00002fbe: MUL 00002fbf: PUSH2 0x2f93 00002fc2: JUMP 00002fc3: JUMPDEST 00002fc4: POP 00002fc5: JUMPDEST 00002fc6: POP 00002fc7: PUSH2 0x2fd1 00002fca: SWAP3 00002fcb: SWAP2 00002fcc: POP 00002fcd: PUSH2 0x2fd5 00002fd0: JUMP 00002fd1: JUMPDEST 00002fd2: POP 00002fd3: SWAP1 00002fd4: JUMP 00002fd5: JUMPDEST 00002fd6: JUMPDEST 00002fd7: DUP1 00002fd8: DUP3 00002fd9: GT 00002fda: ISZERO 00002fdb: PUSH2 0x2fd1 00002fde: JUMPI 00002fdf: PUSH1 0x00 00002fe1: DUP2 00002fe2: SSTORE 00002fe3: PUSH1 0x01 00002fe5: ADD 00002fe6: PUSH2 0x2fd6 00002fe9: JUMP 00002fea: JUMPDEST 00002feb: PUSH1 0x00 00002fed: DUP1 00002fee: DUP4 00002fef: PUSH1 0x1f 00002ff1: DUP5 00002ff2: ADD 00002ff3: SLT 00002ff4: PUSH2 0x2ffb 00002ff7: JUMPI 00002ff8: DUP2 00002ff9: DUP3 00002ffa: REVERT 00002ffb: JUMPDEST 00002ffc: POP 00002ffd: DUP2 00002ffe: CALLDATALOAD 00002fff: PUSH1 0x01 00003001: PUSH1 0x01 00003003: PUSH1 0x40 00003005: SHL 00003006: SUB 00003007: DUP2 00003008: GT 00003009: ISZERO 0000300a: PUSH2 0x3011 0000300d: JUMPI 0000300e: DUP2 0000300f: DUP3 00003010: REVERT 00003011: JUMPDEST 00003012: PUSH1 0x20 00003014: DUP4 00003015: ADD 00003016: SWAP2 00003017: POP 00003018: DUP4 00003019: PUSH1 0x20 0000301b: DUP3 0000301c: PUSH1 0x05 0000301e: SHL 0000301f: DUP6 00003020: ADD 00003021: ADD 00003022: GT 00003023: ISZERO 00003024: PUSH2 0x302c 00003027: JUMPI 00003028: PUSH1 0x00 0000302a: DUP1 0000302b: REVERT 0000302c: JUMPDEST 0000302d: SWAP3 0000302e: POP 0000302f: SWAP3 00003030: SWAP1 00003031: POP 00003032: JUMP 00003033: JUMPDEST 00003034: PUSH1 0x00 00003036: PUSH1 0x20 00003038: DUP3 00003039: DUP5 0000303a: SUB 0000303b: SLT 0000303c: ISZERO 0000303d: PUSH2 0x3044 00003040: JUMPI 00003041: DUP1 00003042: DUP2 00003043: REVERT 00003044: JUMPDEST 00003045: DUP2 00003046: CALLDATALOAD 00003047: PUSH2 0x2afc 0000304a: DUP2 0000304b: PUSH2 0x36a4 0000304e: JUMP 0000304f: JUMPDEST 00003050: PUSH1 0x00 00003052: DUP1 00003053: PUSH1 0x20 00003055: DUP4 00003056: DUP6 00003057: SUB 00003058: SLT 00003059: ISZERO 0000305a: PUSH2 0x3061 0000305d: JUMPI 0000305e: DUP1 0000305f: DUP2 00003060: REVERT 00003061: JUMPDEST 00003062: DUP3 00003063: CALLDATALOAD 00003064: PUSH1 0x01 00003066: PUSH1 0x01 00003068: PUSH1 0x40 0000306a: SHL 0000306b: SUB 0000306c: DUP2 0000306d: GT 0000306e: ISZERO 0000306f: PUSH2 0x3076 00003072: JUMPI 00003073: DUP2 00003074: DUP3 00003075: REVERT 00003076: JUMPDEST 00003077: PUSH2 0x3082 0000307a: DUP6 0000307b: DUP3 0000307c: DUP7 0000307d: ADD 0000307e: PUSH2 0x2fea 00003081: JUMP 00003082: JUMPDEST 00003083: SWAP1 00003084: SWAP7 00003085: SWAP1 00003086: SWAP6 00003087: POP 00003088: SWAP4 00003089: POP 0000308a: POP 0000308b: POP 0000308c: POP 0000308d: JUMP 0000308e: JUMPDEST 0000308f: PUSH1 0x00 00003091: DUP1 00003092: PUSH1 0x00 00003094: DUP1 00003095: PUSH1 0x00 00003097: DUP1 00003098: PUSH1 0x00 0000309a: DUP1 0000309b: PUSH1 0x00 0000309d: PUSH1 0xa0 0000309f: DUP11 000030a0: DUP13 000030a1: SUB 000030a2: SLT 000030a3: ISZERO 000030a4: PUSH2 0x30ab 000030a7: JUMPI 000030a8: DUP5 000030a9: DUP6 000030aa: REVERT 000030ab: JUMPDEST 000030ac: DUP10 000030ad: CALLDATALOAD 000030ae: PUSH1 0x01 000030b0: PUSH1 0x01 000030b2: PUSH1 0x40 000030b4: SHL 000030b5: SUB 000030b6: DUP1 000030b7: DUP3 000030b8: GT 000030b9: ISZERO 000030ba: PUSH2 0x30c1 000030bd: JUMPI 000030be: DUP7 000030bf: DUP8 000030c0: REVERT 000030c1: JUMPDEST 000030c2: PUSH2 0x30cd 000030c5: DUP14 000030c6: DUP4 000030c7: DUP15 000030c8: ADD 000030c9: PUSH2 0x2fea 000030cc: JUMP 000030cd: JUMPDEST 000030ce: SWAP1 000030cf: SWAP12 000030d0: POP 000030d1: SWAP10 000030d2: POP 000030d3: PUSH1 0x20 000030d5: DUP13 000030d6: ADD 000030d7: CALLDATALOAD 000030d8: SWAP2 000030d9: POP 000030da: DUP1 000030db: DUP3 000030dc: GT 000030dd: ISZERO 000030de: PUSH2 0x30e5 000030e1: JUMPI 000030e2: DUP7 000030e3: DUP8 000030e4: REVERT 000030e5: JUMPDEST 000030e6: PUSH2 0x30f1 000030e9: DUP14 000030ea: DUP4 000030eb: DUP15 000030ec: ADD 000030ed: PUSH2 0x2fea 000030f0: JUMP 000030f1: JUMPDEST 000030f2: SWAP1 000030f3: SWAP10 000030f4: POP 000030f5: SWAP8 000030f6: POP 000030f7: PUSH1 0x40 000030f9: DUP13 000030fa: ADD 000030fb: CALLDATALOAD 000030fc: SWAP2 000030fd: POP 000030fe: DUP1 000030ff: DUP3 00003100: GT 00003101: ISZERO 00003102: PUSH2 0x3109 00003105: JUMPI 00003106: DUP7 00003107: DUP8 00003108: REVERT 00003109: JUMPDEST 0000310a: PUSH2 0x3115 0000310d: DUP14 0000310e: DUP4 0000310f: DUP15 00003110: ADD 00003111: PUSH2 0x2fea 00003114: JUMP 00003115: JUMPDEST 00003116: SWAP1 00003117: SWAP8 00003118: POP 00003119: SWAP6 0000311a: POP 0000311b: PUSH1 0x60 0000311d: DUP13 0000311e: ADD 0000311f: CALLDATALOAD 00003120: SWAP2 00003121: POP 00003122: DUP1 00003123: DUP3 00003124: GT 00003125: ISZERO 00003126: PUSH2 0x312d 00003129: JUMPI 0000312a: DUP5 0000312b: DUP6 0000312c: REVERT 0000312d: JUMPDEST 0000312e: POP 0000312f: PUSH2 0x313a 00003132: DUP13 00003133: DUP3 00003134: DUP14 00003135: ADD 00003136: PUSH2 0x2fea 00003139: JUMP 0000313a: JUMPDEST 0000313b: SWAP1 0000313c: SWAP5 0000313d: POP 0000313e: SWAP3 0000313f: POP 00003140: POP 00003141: PUSH1 0x80 00003143: DUP11 00003144: ADD 00003145: CALLDATALOAD 00003146: PUSH2 0x314e 00003149: DUP2 0000314a: PUSH2 0x36b9 0000314d: JUMP 0000314e: JUMPDEST 0000314f: DUP1 00003150: SWAP2 00003151: POP 00003152: POP 00003153: SWAP3 00003154: SWAP6 00003155: SWAP9 00003156: POP 00003157: SWAP3 00003158: SWAP6 00003159: SWAP9 0000315a: POP 0000315b: SWAP3 0000315c: SWAP6 0000315d: SWAP9 0000315e: JUMP 0000315f: JUMPDEST 00003160: PUSH1 0x00 00003162: DUP1 00003163: PUSH1 0x00 00003165: PUSH1 0x40 00003167: DUP5 00003168: DUP7 00003169: SUB 0000316a: SLT 0000316b: ISZERO 0000316c: PUSH2 0x3173 0000316f: JUMPI 00003170: DUP3 00003171: DUP4 00003172: REVERT 00003173: JUMPDEST 00003174: DUP4 00003175: CALLDATALOAD 00003176: PUSH1 0x01 00003178: PUSH1 0x01 0000317a: PUSH1 0x40 0000317c: SHL 0000317d: SUB 0000317e: DUP2 0000317f: GT 00003180: ISZERO 00003181: PUSH2 0x3188 00003184: JUMPI 00003185: DUP4 00003186: DUP5 00003187: REVERT 00003188: JUMPDEST 00003189: PUSH2 0x3194 0000318c: DUP7 0000318d: DUP3 0000318e: DUP8 0000318f: ADD 00003190: PUSH2 0x2fea 00003193: JUMP 00003194: JUMPDEST 00003195: SWAP1 00003196: SWAP5 00003197: POP 00003198: SWAP3 00003199: POP 0000319a: POP 0000319b: PUSH1 0x20 0000319d: DUP5 0000319e: ADD 0000319f: CALLDATALOAD 000031a0: PUSH2 0x31a8 000031a3: DUP2 000031a4: PUSH2 0x36b9 000031a7: JUMP 000031a8: JUMPDEST 000031a9: DUP1 000031aa: SWAP2 000031ab: POP 000031ac: POP 000031ad: SWAP3 000031ae: POP 000031af: SWAP3 000031b0: POP 000031b1: SWAP3 000031b2: JUMP 000031b3: JUMPDEST 000031b4: PUSH1 0x00 000031b6: PUSH1 0x20 000031b8: DUP3 000031b9: DUP5 000031ba: SUB 000031bb: SLT 000031bc: ISZERO 000031bd: PUSH2 0x31c4 000031c0: JUMPI 000031c1: DUP1 000031c2: DUP2 000031c3: REVERT 000031c4: JUMPDEST 000031c5: DUP2 000031c6: CALLDATALOAD 000031c7: PUSH2 0x2afc 000031ca: DUP2 000031cb: PUSH2 0x36b9 000031ce: JUMP 000031cf: JUMPDEST 000031d0: PUSH1 0x00 000031d2: PUSH1 0x20 000031d4: DUP3 000031d5: DUP5 000031d6: SUB 000031d7: SLT 000031d8: ISZERO 000031d9: PUSH2 0x31e0 000031dc: JUMPI 000031dd: DUP1 000031de: DUP2 000031df: REVERT 000031e0: JUMPDEST 000031e1: DUP2 000031e2: MLOAD 000031e3: PUSH2 0x2afc 000031e6: DUP2 000031e7: PUSH2 0x36b9 000031ea: JUMP 000031eb: JUMPDEST 000031ec: PUSH1 0x00 000031ee: PUSH1 0x20 000031f0: DUP3 000031f1: DUP5 000031f2: SUB 000031f3: SLT 000031f4: ISZERO 000031f5: PUSH2 0x31fc 000031f8: JUMPI 000031f9: DUP1 000031fa: DUP2 000031fb: REVERT 000031fc: JUMPDEST 000031fd: DUP2 000031fe: CALLDATALOAD 000031ff: PUSH1 0x01 00003201: PUSH1 0x01 00003203: PUSH1 0x40 00003205: SHL 00003206: SUB 00003207: DUP2 00003208: GT 00003209: ISZERO 0000320a: PUSH2 0x3211 0000320d: JUMPI 0000320e: DUP2 0000320f: DUP3 00003210: REVERT 00003211: JUMPDEST 00003212: DUP3 00003213: ADD 00003214: PUSH2 0x0140 00003217: DUP2 00003218: DUP6 00003219: SUB 0000321a: SLT 0000321b: ISZERO 0000321c: PUSH2 0x2afc 0000321f: JUMPI 00003220: DUP2 00003221: DUP3 00003222: REVERT 00003223: JUMPDEST 00003224: PUSH1 0x00 00003226: PUSH1 0x20 00003228: DUP3 00003229: DUP5 0000322a: SUB 0000322b: SLT 0000322c: ISZERO 0000322d: PUSH2 0x3234 00003230: JUMPI 00003231: DUP1 00003232: DUP2 00003233: REVERT 00003234: JUMPDEST 00003235: DUP2 00003236: CALLDATALOAD 00003237: PUSH1 0x01 00003239: PUSH1 0x01 0000323b: PUSH1 0x78 0000323d: SHL 0000323e: SUB 0000323f: DUP2 00003240: AND 00003241: DUP2 00003242: EQ 00003243: PUSH2 0x2afc 00003246: JUMPI 00003247: DUP2 00003248: DUP3 00003249: REVERT 0000324a: JUMPDEST 0000324b: PUSH1 0x00 0000324d: PUSH1 0x20 0000324f: DUP3 00003250: DUP5 00003251: SUB 00003252: SLT 00003253: ISZERO 00003254: PUSH2 0x325b 00003257: JUMPI 00003258: DUP1 00003259: DUP2 0000325a: REVERT 0000325b: JUMPDEST 0000325c: POP 0000325d: CALLDATALOAD 0000325e: SWAP2 0000325f: SWAP1 00003260: POP 00003261: JUMP 00003262: JUMPDEST 00003263: PUSH1 0x00 00003265: PUSH1 0x20 00003267: DUP3 00003268: DUP5 00003269: SUB 0000326a: SLT 0000326b: ISZERO 0000326c: PUSH2 0x3273 0000326f: JUMPI 00003270: DUP1 00003271: DUP2 00003272: REVERT 00003273: JUMPDEST 00003274: POP 00003275: MLOAD 00003276: SWAP2 00003277: SWAP1 00003278: POP 00003279: JUMP 0000327a: JUMPDEST 0000327b: PUSH1 0x00 0000327d: PUSH1 0x20 0000327f: DUP3 00003280: DUP5 00003281: SUB 00003282: SLT 00003283: ISZERO 00003284: PUSH2 0x328b 00003287: JUMPI 00003288: DUP1 00003289: DUP2 0000328a: REVERT 0000328b: JUMPDEST 0000328c: DUP2 0000328d: CALLDATALOAD 0000328e: PUSH4 0xffffffff 00003293: DUP2 00003294: AND 00003295: DUP2 00003296: EQ 00003297: PUSH2 0x2afc 0000329a: JUMPI 0000329b: DUP2 0000329c: DUP3 0000329d: REVERT 0000329e: JUMPDEST 0000329f: PUSH1 0x00 000032a1: PUSH1 0x20 000032a3: DUP3 000032a4: DUP5 000032a5: SUB 000032a6: SLT 000032a7: ISZERO 000032a8: PUSH2 0x32af 000032ab: JUMPI 000032ac: DUP1 000032ad: DUP2 000032ae: REVERT 000032af: JUMPDEST 000032b0: DUP2 000032b1: CALLDATALOAD 000032b2: PUSH1 0x01 000032b4: PUSH1 0x01 000032b6: PUSH1 0x40 000032b8: SHL 000032b9: SUB 000032ba: DUP2 000032bb: AND 000032bc: DUP2 000032bd: EQ 000032be: PUSH2 0x2afc 000032c1: JUMPI 000032c2: DUP2 000032c3: DUP3 000032c4: REVERT 000032c5: JUMPDEST 000032c6: PUSH1 0x00 000032c8: DUP3 000032c9: MLOAD 000032ca: PUSH2 0x32d7 000032cd: DUP2 000032ce: DUP5 000032cf: PUSH1 0x20 000032d1: DUP8 000032d2: ADD 000032d3: PUSH2 0x3625 000032d6: JUMP 000032d7: JUMPDEST 000032d8: SWAP2 000032d9: SWAP1 000032da: SWAP2 000032db: ADD 000032dc: SWAP3 000032dd: SWAP2 000032de: POP 000032df: POP 000032e0: JUMP 000032e1: JUMPDEST 000032e2: PUSH1 0x40 000032e4: DUP1 000032e5: DUP3 000032e6: MSTORE 000032e7: DUP2 000032e8: ADD 000032e9: DUP4 000032ea: SWAP1 000032eb: MSTORE 000032ec: PUSH1 0x00 000032ee: DUP5 000032ef: PUSH1 0x60 000032f1: DUP4 000032f2: ADD 000032f3: DUP3 000032f4: JUMPDEST 000032f5: DUP7 000032f6: DUP2 000032f7: LT 000032f8: ISZERO 000032f9: PUSH2 0x3324 000032fc: JUMPI 000032fd: DUP3 000032fe: CALLDATALOAD 000032ff: PUSH2 0x3307 00003302: DUP2 00003303: PUSH2 0x36a4 00003306: JUMP 00003307: JUMPDEST 00003308: PUSH1 0x01 0000330a: PUSH1 0x01 0000330c: PUSH1 0xa0 0000330e: SHL 0000330f: SUB 00003310: AND 00003311: DUP3 00003312: MSTORE 00003313: PUSH1 0x20 00003315: SWAP3 00003316: DUP4 00003317: ADD 00003318: SWAP3 00003319: SWAP1 0000331a: SWAP2 0000331b: ADD 0000331c: SWAP1 0000331d: PUSH1 0x01 0000331f: ADD 00003320: PUSH2 0x32f4 00003323: JUMP 00003324: JUMPDEST 00003325: POP 00003326: DUP1 00003327: SWAP3 00003328: POP 00003329: POP 0000332a: POP 0000332b: DUP3 0000332c: ISZERO 0000332d: ISZERO 0000332e: PUSH1 0x20 00003330: DUP4 00003331: ADD 00003332: MSTORE 00003333: SWAP5 00003334: SWAP4 00003335: POP 00003336: POP 00003337: POP 00003338: POP 00003339: JUMP 0000333a: JUMPDEST 0000333b: PUSH1 0x20 0000333d: DUP2 0000333e: MSTORE 0000333f: PUSH1 0x00 00003341: DUP3 00003342: MLOAD 00003343: DUP1 00003344: PUSH1 0x20 00003346: DUP5 00003347: ADD 00003348: MSTORE 00003349: PUSH2 0x3359 0000334c: DUP2 0000334d: PUSH1 0x40 0000334f: DUP6 00003350: ADD 00003351: PUSH1 0x20 00003353: DUP8 00003354: ADD 00003355: PUSH2 0x3625 00003358: JUMP 00003359: JUMPDEST 0000335a: PUSH1 0x1f 0000335c: ADD 0000335d: PUSH1 0x1f 0000335f: NOT 00003360: AND 00003361: SWAP2 00003362: SWAP1 00003363: SWAP2 00003364: ADD 00003365: PUSH1 0x40 00003367: ADD 00003368: SWAP3 00003369: SWAP2 0000336a: POP 0000336b: POP 0000336c: JUMP 0000336d: JUMPDEST 0000336e: PUSH1 0x20 00003370: DUP1 00003371: DUP3 00003372: MSTORE 00003373: PUSH1 0x23 00003375: SWAP1 00003376: DUP3 00003377: ADD 00003378: MSTORE 00003379: PUSH32 0x53484f56657374696e673a20696e76616c696420726566756e64537461727454 0000339a: PUSH1 0x40 0000339c: DUP3 0000339d: ADD 0000339e: MSTORE 0000339f: PUSH3 0x696d65 000033a3: PUSH1 0xe8 000033a5: SHL 000033a6: PUSH1 0x60 000033a8: DUP3 000033a9: ADD 000033aa: MSTORE 000033ab: PUSH1 0x80 000033ad: ADD 000033ae: SWAP1 000033af: JUMP 000033b0: JUMPDEST 000033b1: PUSH1 0x20 000033b3: DUP1 000033b4: DUP3 000033b5: MSTORE 000033b6: PUSH1 0x22 000033b8: SWAP1 000033b9: DUP3 000033ba: ADD 000033bb: MSTORE 000033bc: PUSH32 0x53484f56657374696e673a20696e76616c696420726566756e64526563656976 000033dd: PUSH1 0x40 000033df: DUP3 000033e0: ADD 000033e1: MSTORE 000033e2: PUSH2 0x32b9 000033e5: PUSH1 0xf1 000033e7: SHL 000033e8: PUSH1 0x60 000033ea: DUP3 000033eb: ADD 000033ec: MSTORE 000033ed: PUSH1 0x80 000033ef: ADD 000033f0: SWAP1 000033f1: JUMP 000033f2: JUMPDEST 000033f3: PUSH1 0x20 000033f5: DUP1 000033f6: DUP3 000033f7: MSTORE 000033f8: PUSH1 0x23 000033fa: SWAP1 000033fb: DUP3 000033fc: ADD 000033fd: MSTORE 000033fe: PUSH32 0x53484f56657374696e673a20646966666572656e74206172726179206c656e67 0000341f: PUSH1 0x40 00003421: DUP3 00003422: ADD 00003423: MSTORE 00003424: PUSH3 0x746873 00003428: PUSH1 0xe8 0000342a: SHL 0000342b: PUSH1 0x60 0000342d: DUP3 0000342e: ADD 0000342f: MSTORE 00003430: PUSH1 0x80 00003432: ADD 00003433: SWAP1 00003434: JUMP 00003435: JUMPDEST 00003436: PUSH1 0x20 00003438: DUP1 00003439: DUP3 0000343a: MSTORE 0000343b: PUSH1 0x2b 0000343d: SWAP1 0000343e: DUP3 0000343f: ADD 00003440: MSTORE 00003441: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00003462: PUSH1 0x40 00003464: DUP3 00003465: ADD 00003466: MSTORE 00003467: PUSH11 0x6e697469616c697a696e67 00003473: PUSH1 0xa8 00003475: SHL 00003476: PUSH1 0x60 00003478: DUP3 00003479: ADD 0000347a: MSTORE 0000347b: PUSH1 0x80 0000347d: ADD 0000347e: SWAP1 0000347f: JUMP 00003480: JUMPDEST 00003481: PUSH1 0x20 00003483: DUP1 00003484: DUP3 00003485: MSTORE 00003486: PUSH1 0x21 00003488: SWAP1 00003489: DUP3 0000348a: ADD 0000348b: MSTORE 0000348c: PUSH32 0x53484f56657374696e673a20696e76616c696420726566756e64456e6454696d 000034ad: PUSH1 0x40 000034af: DUP3 000034b0: ADD 000034b1: MSTORE 000034b2: PUSH1 0x65 000034b4: PUSH1 0xf8 000034b6: SHL 000034b7: PUSH1 0x60 000034b9: DUP3 000034ba: ADD 000034bb: MSTORE 000034bc: PUSH1 0x80 000034be: ADD 000034bf: SWAP1 000034c0: JUMP 000034c1: JUMPDEST 000034c2: PUSH1 0x00 000034c4: DUP1 000034c5: DUP4 000034c6: CALLDATALOAD 000034c7: PUSH1 0x1e 000034c9: NOT 000034ca: DUP5 000034cb: CALLDATASIZE 000034cc: SUB 000034cd: ADD 000034ce: DUP2 000034cf: SLT 000034d0: PUSH2 0x34d7 000034d3: JUMPI 000034d4: DUP3 000034d5: DUP4 000034d6: REVERT 000034d7: JUMPDEST 000034d8: DUP4 000034d9: ADD 000034da: DUP1 000034db: CALLDATALOAD 000034dc: SWAP2 000034dd: POP 000034de: PUSH1 0x01 000034e0: PUSH1 0x01 000034e2: PUSH1 0x40 000034e4: SHL 000034e5: SUB 000034e6: DUP3 000034e7: GT 000034e8: ISZERO 000034e9: PUSH2 0x34f0 000034ec: JUMPI 000034ed: DUP3 000034ee: DUP4 000034ef: REVERT 000034f0: JUMPDEST 000034f1: PUSH1 0x20 000034f3: ADD 000034f4: SWAP2 000034f5: POP 000034f6: PUSH1 0x05 000034f8: DUP2 000034f9: SWAP1 000034fa: SHL 000034fb: CALLDATASIZE 000034fc: SUB 000034fd: DUP3 000034fe: SGT 000034ff: ISZERO 00003500: PUSH2 0x302c 00003503: JUMPI 00003504: PUSH1 0x00 00003506: DUP1 00003507: REVERT 00003508: JUMPDEST 00003509: PUSH1 0x00 0000350b: PUSH1 0x01 0000350d: PUSH1 0x01 0000350f: PUSH1 0x78 00003511: SHL 00003512: SUB 00003513: DUP1 00003514: DUP4 00003515: AND 00003516: DUP2 00003517: DUP6 00003518: AND 00003519: DUP1 0000351a: DUP4 0000351b: SUB 0000351c: DUP3 0000351d: GT 0000351e: ISZERO 0000351f: PUSH2 0x352a 00003522: JUMPI 00003523: PUSH2 0x352a 00003526: PUSH2 0x368e 00003529: JUMP 0000352a: JUMPDEST 0000352b: ADD 0000352c: SWAP5 0000352d: SWAP4 0000352e: POP 0000352f: POP 00003530: POP 00003531: POP 00003532: JUMP 00003533: JUMPDEST 00003534: PUSH1 0x00 00003536: PUSH2 0xffff 00003539: DUP1 0000353a: DUP4 0000353b: AND 0000353c: DUP2 0000353d: DUP6 0000353e: AND 0000353f: DUP1 00003540: DUP4 00003541: SUB 00003542: DUP3 00003543: GT 00003544: ISZERO 00003545: PUSH2 0x352a 00003548: JUMPI 00003549: PUSH2 0x352a 0000354c: PUSH2 0x368e 0000354f: JUMP 00003550: JUMPDEST 00003551: PUSH1 0x00 00003553: PUSH4 0xffffffff 00003558: DUP1 00003559: DUP4 0000355a: AND 0000355b: DUP2 0000355c: DUP6 0000355d: AND 0000355e: DUP1 0000355f: DUP4 00003560: SUB 00003561: DUP3 00003562: GT 00003563: ISZERO 00003564: PUSH2 0x352a 00003567: JUMPI 00003568: PUSH2 0x352a 0000356b: PUSH2 0x368e 0000356e: JUMP 0000356f: JUMPDEST 00003570: PUSH1 0x00 00003572: DUP3 00003573: PUSH2 0x358a 00003576: JUMPI 00003577: PUSH4 0x4e487b71 0000357c: PUSH1 0xe0 0000357e: SHL 0000357f: DUP2 00003580: MSTORE 00003581: PUSH1 0x12 00003583: PUSH1 0x04 00003585: MSTORE 00003586: PUSH1 0x24 00003588: DUP2 00003589: REVERT 0000358a: JUMPDEST 0000358b: POP 0000358c: DIV 0000358d: SWAP1 0000358e: JUMP 0000358f: JUMPDEST 00003590: PUSH1 0x00 00003592: DUP2 00003593: PUSH1 0x00 00003595: NOT 00003596: DIV 00003597: DUP4 00003598: GT 00003599: DUP3 0000359a: ISZERO 0000359b: ISZERO 0000359c: AND 0000359d: ISZERO 0000359e: PUSH2 0x35a9 000035a1: JUMPI 000035a2: PUSH2 0x35a9 000035a5: PUSH2 0x368e 000035a8: JUMP 000035a9: JUMPDEST 000035aa: POP 000035ab: MUL 000035ac: SWAP1 000035ad: JUMP 000035ae: JUMPDEST 000035af: PUSH1 0x00 000035b1: PUSH1 0x01 000035b3: PUSH1 0x01 000035b5: PUSH1 0x78 000035b7: SHL 000035b8: SUB 000035b9: DUP4 000035ba: DUP2 000035bb: AND 000035bc: SWAP1 000035bd: DUP4 000035be: AND 000035bf: DUP2 000035c0: DUP2 000035c1: LT 000035c2: ISZERO 000035c3: PUSH2 0x35ce 000035c6: JUMPI 000035c7: PUSH2 0x35ce 000035ca: PUSH2 0x368e 000035cd: JUMP 000035ce: JUMPDEST 000035cf: SUB 000035d0: SWAP4 000035d1: SWAP3 000035d2: POP 000035d3: POP 000035d4: POP 000035d5: JUMP 000035d6: JUMPDEST 000035d7: PUSH1 0x00 000035d9: PUSH2 0xffff 000035dc: DUP4 000035dd: DUP2 000035de: AND 000035df: SWAP1 000035e0: DUP4 000035e1: AND 000035e2: DUP2 000035e3: DUP2 000035e4: LT 000035e5: ISZERO 000035e6: PUSH2 0x35ce 000035e9: JUMPI 000035ea: PUSH2 0x35ce 000035ed: PUSH2 0x368e 000035f0: JUMP 000035f1: JUMPDEST 000035f2: PUSH1 0x00 000035f4: DUP3 000035f5: DUP3 000035f6: LT 000035f7: ISZERO 000035f8: PUSH2 0x3603 000035fb: JUMPI 000035fc: PUSH2 0x3603 000035ff: PUSH2 0x368e 00003602: JUMP 00003603: JUMPDEST 00003604: POP 00003605: SUB 00003606: SWAP1 00003607: JUMP 00003608: JUMPDEST 00003609: PUSH1 0x00 0000360b: PUSH4 0xffffffff 00003610: DUP4 00003611: DUP2 00003612: AND 00003613: SWAP1 00003614: DUP4 00003615: AND 00003616: DUP2 00003617: DUP2 00003618: LT 00003619: ISZERO 0000361a: PUSH2 0x35ce 0000361d: JUMPI 0000361e: PUSH2 0x35ce 00003621: PUSH2 0x368e 00003624: JUMP 00003625: JUMPDEST 00003626: PUSH1 0x00 00003628: JUMPDEST 00003629: DUP4 0000362a: DUP2 0000362b: LT 0000362c: ISZERO 0000362d: PUSH2 0x3640 00003630: JUMPI 00003631: DUP2 00003632: DUP2 00003633: ADD 00003634: MLOAD 00003635: DUP4 00003636: DUP3 00003637: ADD 00003638: MSTORE 00003639: PUSH1 0x20 0000363b: ADD 0000363c: PUSH2 0x3628 0000363f: JUMP 00003640: JUMPDEST 00003641: DUP4 00003642: DUP2 00003643: GT 00003644: ISZERO 00003645: PUSH2 0x1654 00003648: JUMPI 00003649: POP 0000364a: POP 0000364b: PUSH1 0x00 0000364d: SWAP2 0000364e: ADD 0000364f: MSTORE 00003650: JUMP 00003651: JUMPDEST 00003652: PUSH1 0x00 00003654: PUSH2 0xffff 00003657: DUP1 00003658: DUP4 00003659: AND 0000365a: DUP2 0000365b: DUP2 0000365c: EQ 0000365d: ISZERO 0000365e: PUSH2 0x3669 00003661: JUMPI 00003662: PUSH2 0x3669 00003665: PUSH2 0x368e 00003668: JUMP 00003669: JUMPDEST 0000366a: PUSH1 0x01 0000366c: ADD 0000366d: SWAP4 0000366e: SWAP3 0000366f: POP 00003670: POP 00003671: POP 00003672: JUMP 00003673: JUMPDEST 00003674: PUSH1 0x00 00003676: PUSH1 0x00 00003678: NOT 00003679: DUP3 0000367a: EQ 0000367b: ISZERO 0000367c: PUSH2 0x3687 0000367f: JUMPI 00003680: PUSH2 0x3687 00003683: PUSH2 0x368e 00003686: JUMP 00003687: JUMPDEST 00003688: POP 00003689: PUSH1 0x01 0000368b: ADD 0000368c: SWAP1 0000368d: JUMP 0000368e: JUMPDEST 0000368f: PUSH4 0x4e487b71 00003694: PUSH1 0xe0 00003696: SHL 00003697: PUSH1 0x00 00003699: MSTORE 0000369a: PUSH1 0x11 0000369c: PUSH1 0x04 0000369e: MSTORE 0000369f: PUSH1 0x24 000036a1: PUSH1 0x00 000036a3: REVERT 000036a4: JUMPDEST 000036a5: PUSH1 0x01 000036a7: PUSH1 0x01 000036a9: PUSH1 0xa0 000036ab: SHL 000036ac: SUB 000036ad: DUP2 000036ae: AND 000036af: DUP2 000036b0: EQ 000036b1: PUSH2 0x16da 000036b4: JUMPI 000036b5: PUSH1 0x00 000036b7: DUP1 000036b8: REVERT 000036b9: JUMPDEST 000036ba: DUP1 000036bb: ISZERO 000036bc: ISZERO 000036bd: DUP2 000036be: EQ 000036bf: PUSH2 0x16da 000036c2: JUMPI 000036c3: PUSH1 0x00 000036c5: DUP1 000036c6: REVERT 000036c7: INVALID 000036c8: LOG2 000036c9: PUSH5 0x6970667358 000036cf: UNKNOWN(0x22) 000036d0: SLT 000036d1: KECCAK256 000036d2: BASEFEE 000036d3: UNKNOWN(0xD6) 000036d4: UNKNOWN(0x0F) 000036d5: CALLDATALOAD 000036d6: PUSH29 0x3e28c57b2552cdc94d01a5617f2b06fecedb271af1a5f812c9fac86473 000036f4: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x0a6ce607346fa8cb09e3885e452aa2897032857582177134ffca6abe3786a03a
call_targets:
0x984f7dbd76286a9ce4c68ac84bb098c5fff3ed62
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0a6ce607346fa8cb09e3885e452aa2897032857582177134ffca6abe3786a03a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x984f7dbd76286a9ce4c68ac84bb098c5fff3ed62"
],
"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": "0xdb81213a",
"selector": "0xdb81213a",
"calldata_variants": [
"0xdb81213a",
"0xdb81213a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf53014b4",
"selector": "0xf53014b4",
"calldata_variants": [
"0xf53014b4",
"0xf53014b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffec0fb5",
"selector": "0xffec0fb5",
"calldata_variants": [
"0xffec0fb5",
"0xffec0fb50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd1e0355",
"selector": "0xcd1e0355",
"calldata_variants": [
"0xcd1e0355",
"0xcd1e03550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1dfb8dc",
"selector": "0xd1dfb8dc",
"calldata_variants": [
"0xd1dfb8dc",
"0xd1dfb8dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd713c304",
"selector": "0xd713c304",
"calldata_variants": [
"0xd713c304",
"0xd713c3040000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 11933,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x0a6ce607346fa8cb09e3885e452aa2897032857582177134ffca6abe3786a03a
call_targets:
0x984f7dbd76286a9ce4c68ac84bb098c5fff3ed62
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0a6ce607346fa8cb09e3885e452aa2897032857582177134ffca6abe3786a03a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x984f7dbd76286a9ce4c68ac84bb098c5fff3ed62"
],
"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": "0xdb81213a",
"selector": "0xdb81213a",
"calldata_variants": [
"0xdb81213a",
"0xdb81213a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf53014b4",
"selector": "0xf53014b4",
"calldata_variants": [
"0xf53014b4",
"0xf53014b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffec0fb5",
"selector": "0xffec0fb5",
"calldata_variants": [
"0xffec0fb5",
"0xffec0fb50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd1e0355",
"selector": "0xcd1e0355",
"calldata_variants": [
"0xcd1e0355",
"0xcd1e03550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1dfb8dc",
"selector": "0xd1dfb8dc",
"calldata_variants": [
"0xd1dfb8dc",
"0xd1dfb8dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd713c304",
"selector": "0xd713c304",
"calldata_variants": [
"0xd713c304",
"0xd713c3040000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 11933,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| medium | other | codex | Fee collection can render refunds insolvent during the refund window | 75 | no | — |
viewevidence_json{
"evidence": "`refund()` transfers `user.allocation` of `shoToken` while `collectFees()` is permissionless and transfers fees out; no insolvency checks or adjustments are made.",
"locations": [
"contracts/contracts/SHOVesting.sol:274",
"contracts/contracts/SHOVesting.sol:333"
],
"recommendation": "Either prevent `collectFees` until after `refundEndTime`, or deduct already-collected fees from the refund transfer (or escrow additional tokens) so refunds remain solvent regardless of fee collection timing.",
"exploit_scenario": "After the first unlock, anyone can call `collectFees` and transfer base fees out to the fee collector. If refunds are still enabled, later `refund()` calls attempt to transfer each user's full allocation (including the fee portion already paid out), which can revert once the contract balance is insufficient. A griefer can trigger fee collection early, causing late refunders to fail unless the fee collector tops up the contract."
}
|
| low | upgradeability | codex | Implementation contract is not locked against direct initialization | 65 | no | — |
viewevidence_json{
"evidence": "`init` is an external initializer and there is no constructor disabling initializers in this contract.",
"locations": [
"contracts/contracts/SHOVesting.sol:114"
],
"recommendation": "Add a constructor that calls `_disableInitializers()` to prevent initialization of the implementation contract.",
"exploit_scenario": "Because the implementation lacks a constructor calling `_disableInitializers`, anyone can initialize the implementation contract directly and take ownership of it. While proxy storage is unaffected, any tokens mistakenly sent to the implementation could be drained by the attacker."
}
|
| low | access_control | codex | Refund receiver can drain refund tokens at any time | 65 | no | — |
viewevidence_json{
"evidence": "`recoverRefundToken` only checks `msg.sender == owner() || msg.sender == refundReceiver` and immediately transfers the full balance.",
"locations": [
"contracts/contracts/SHOVesting.sol:159"
],
"recommendation": "Restrict recovery to the owner, or enforce a time lock (e.g., only after `refundEndTime`) and/or require proof that all refunds are completed.",
"exploit_scenario": "`recoverRefundToken` allows the `refundReceiver` (in addition to the owner) to withdraw the entire refund token balance without any time restriction. If that address is compromised or misconfigured, refund liquidity can be drained before or during the refund window, causing `refund()` to fail for users."
}
|