f38f9d46-f7d2-43c8-86c7-36df1df3905a
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 |
|---|---|---|---|---|
| 30787 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 75718 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 75719 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 75720 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 75721 | capability.graph | complete | 1 / 3 | 1 week ago |
| 75722 | detector.run | complete | 1 / 3 | 1 week ago |
| 75723 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:541479] OpenAI Codex v0.77.0 (research preview)
[codex:541479] --------
[codex:541479] workdir: /tmp/codex-multi-22n6hvpk
[codex:541479] model: gpt-5.2-codex
[codex:541479] provider: openai
[codex:541479] approval: never
[codex:541479] sandbox: read-only
[codex:541479] reasoning effort: xhigh
[codex:541479] reasoning summaries: auto
[codex:541479] session id: 019b713e-0995-73a3-8812-8f58e762f638
[codex:541479] --------
[codex:541479] user
[codex:541479] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:541479] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:541479] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:541479]
[codex:541479] Scope rules:
[codex:541479] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:541479] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:541479]
[codex:541479] Output MUST be valid JSON matching the provided schema.
[codex:541479] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:541479] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:541479]
[codex:541479] Output constraints (IMPORTANT):
[codex:541479] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:541479] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:541479] mcp startup: no servers
[codex:541479]
[codex:541479] thinking
[codex:541479] **Checking for relevant instructions**
[codex:541479] exec
[codex:541479] /bin/bash -lc ls in /tmp/codex-multi-22n6hvpk succeeded in 5ms:
[codex:541479] AUDIT_BUNDLE.txt
[codex:541479] codex-output-schema.json
[codex:541479] contracts
[codex:541479]
[codex:541479] thinking
[codex:541479] **Reading bundle file**
[codex:541479] exec
[codex:541479] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-22n6hvpk succeeded in 5ms:
[codex:541479] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:541479]
[codex:541479] ================================================================================
[codex:541479] FILE: contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:541479] ================================================================================
[codex:541479] // SPDX-License-Identifier: MIT
[codex:541479]
[codex:541479] pragma solidity >=0.6.0 <0.8.0;
[codex:541479]
[codex:541479] /**
[codex:541479] * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:541479] */
[codex:541479] interface IERC20 {
[codex:541479] /**
[codex:541479] * @dev Returns the amount of tokens in existence.
[codex:541479] */
[codex:541479] function totalSupply() external view returns (uint256);
[codex:541479]
[codex:541479] /**
[codex:541479] * @dev Returns the amount of tokens owned by `account`.
[codex:541479]
[codex:541479] thinking
[codex:541479] **Analyzing audit bundle completeness**
[codex:541479] exec
[codex:541479] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-22n6hvpk succeeded in 9ms:
[codex:541479] contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:541479] contracts/contracts/common/OVLTokenTypes.sol
[codex:541479] contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Storage.sol
[codex:541479] contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol
[codex:541479] contracts/contracts/v076/Upgradability/math/SafeMathUpgradeable.sol
[codex:541479] contracts/contracts/interfaces/IDeltaToken.sol
[codex:541479] contracts/contracts/interfaces/IUniswapV2Pair.sol
[codex:541479] contracts/contracts/interfaces/IDeltaDistributor.sol
[codex:541479] contracts/contracts/interfaces/IDeepFarmingVault.sol
[codex:541479] contracts/contracts/v076/Upgradability/utils/AddressUpgradeable.sol
[codex:541479] contracts/contracts/v076/Upgradability/proxy/Initializable.sol
[codex:541479]
[codex:541479] thinking
[codex:541479] **Preparing to review core contracts**
[codex:541479] exec
[codex:541479] /bin/bash -lc "sed -n '1,240p' contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Storage.sol" in /tmp/codex-multi-22n6hvpk succeeded in 7ms:
[codex:541479] // SPDX-License-Identifier: UNLICENSED
[codex:541479] // DELTA-BUG-BOUNTY
[codex:541479] pragma solidity ^0.7.6;
[codex:541479] pragma abicoder v2;
[codex:541479] import "../../interfaces/IDeltaToken.sol";
[codex:541479] // import "../../interfaces/IDeepFarmingVault.sol";
[codex:541479] // import "../../interfaces/IDeltaDistributor.sol";
[codex:541479]
[codex:541479] contract DELTA_Deep_Farming_Storage {
[codex:541479] struct UserInformationDFV {
[codex:541479] // Reward debts is used for math trick to achieve O(1) farmed amount
[codex:541479] // We set rewardDebts to exactly amount of accumulted*shares every time a claim is done
[codex:541479] uint256 rewardDebtETH;
[codex:541479] uint256 rewardDebtDELTA;
[codex:541479] // Users farming power this includes, multiplier, rlp,delta principle. And can be stale - meaning too high and
[codex:541479] // is adjusted every time there is a interaction
[codex:541479] uint256 farmingPower; // rlp*rlpratio + deltaTotal * multipleir
[codex:541479] // Delta balances and total of them to save gas
[codex:541479] uint256 deltaPermanent; // Never withdrawable
[codex:541479] uint256 deltaVesting; // Amount that needs to vest 12 months to be claimable
[codex:541479]
[codex:541479] thinking
[codex:541479] **Reading main vault file**
[codex:541479] exec
[codex:541479] /bin/bash -lc "sed -n '1,260p' contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol" in /tmp/codex-multi-22n6hvpk succeeded in 7ms:
[codex:541479] // SPDX-License-Identifier: UNLICENSED
[codex:541479] // DELTA-BUG-BOUNTY
[codex:541479] pragma solidity ^0.7.6;
[codex:541479] pragma abicoder v2;
[codex:541479]
[codex:541479] import "./DELTA_Deep_Farming_Storage.sol";
[codex:541479] import "../Upgradability/proxy/Initializable.sol";
[codex:541479] import "../Upgradability/math/SafeMathUpgradeable.sol";
[codex:541479] import "../../interfaces/IDeltaToken.sol";
[codex:541479] import "../../interfaces/IDeepFarmingVault.sol";
[codex:541479] import "../../interfaces/IDeltaDistributor.sol";
[codex:541479] import "../../interfaces/IUniswapV2Pair.sol";
[codex:541479] import "../../interfaces/IUniswapV2Pair.sol";
[codex:541479]
[codex:541479] contract Enum {
[codex:541479] enum Operation {
[codex:541479] Call,
[codex:541479] DelegateCall
[codex:541479] }
[codex:541479] }
[codex:541479]
[codex:541479] thinking
[codex:541479] **Continuing analysis**
[codex:541479] exec
[codex:541479] /bin/bash -lc "sed -n '260,520p' contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol" in /tmp/codex-multi-22n6hvpk succeeded in 5ms:
[codex:541479] }
[codex:541479]
[codex:541479] function withdrawRLP(uint256 amount) override public {
[codex:541479] whenNotPanicked();
[codex:541479] UserInformationDFV storage withdrawerStorage = userInfo[msg.sender];
[codex:541479] UserInformationDFV memory withdrawerMemory = userInfo[msg.sender];
[codex:541479]
[codex:541479] require(amount > 0, "Cannot withdraw 0 ");
[codex:541479] require(withdrawerMemory.rlp >= amount, "Not enough to withdraw");
[codex:541479]
[codex:541479] (uint256 accumulatedDELTAE12, uint256 accumulatedETHE12) = _updateVault(vaultInfo.totalFarmingPower);
[codex:541479] (uint256 newBooster, uint256 farmedDELTA, uint256 farmedWETH) = recycle(_realFarmedOfPerson(withdrawerMemory, accumulatedDELTAE12, accumulatedETHE12));
[codex:541479]
[codex:541479] if(farmedWETH > 0) {
[codex:541479] sendETH(msg.sender, farmedWETH);
[codex:541479] }
[codex:541479]
[codex:541479] if(farmedDELTA > 0) { // No need to compound if we didnt farm cause this doesn't add delta
[codex:541479] newBooster = compoundFarmedAndHandleDELTADeposit(withdrawerMemory, withdrawerStorage, 0, farmedDELTA, newBooster, false); // We dont need to set burn booster to true because the farmed is 0
[codex:541479] }
[codex:541479]
[codex:541479] thinking
[codex:541479] **Continuing process**
[codex:541479] exec
[codex:541479] /bin/bash -lc "sed -n '520,1040p' contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol" in /tmp/codex-multi-22n6hvpk succeeded in 5ms:
[codex:541479]
[codex:541479] if(ri.recycledDelta > 0) {
[codex:541479] uint256 toSenderDELTA = ri.recycledDelta / 100;
[codex:541479] sendDELTA(msg.sender, toSenderDELTA);
[codex:541479] pendingRewards.DELTA = pendingRewards.DELTA.add(ri.recycledDelta - toSenderDELTA);
[codex:541479] }
[codex:541479]
[codex:541479] return (ri.booster, ri.farmedDelta, ri.farmedETH);
[codex:541479] }
[codex:541479]
[codex:541479] // Returns the total farmed not adjusted of person
[codex:541479] function calculateFarmed(
[codex:541479] uint256 farmingPower,
[codex:541479] uint256 accumulatedDELTAE12,
[codex:541479] uint256 accumulatedETHE12,
[codex:541479] uint256 rewardDebtDELTA,
[codex:541479] uint256 rewardDebtETH)
[codex:541479] internal pure returns(uint256 farmedDELTA, uint256 farmedETH) {
[codex:541479]
[codex:541479] farmedDELTA = (accumulatedDELTAE12.mul(farmingPower).sub(rewardDebtDELTA)) / 1e12;
[codex:541479]
[codex:541479] thinking
[codex:541479] **Analyzing upgradeability and vulnerabilities**
[codex:541479] exec
[codex:541479] /bin/bash -lc "sed -n '1,260p' contracts/contracts/v076/Upgradability/utils/AddressUpgradeable.sol" in /tmp/codex-multi-22n6hvpk succeeded in 5ms:
[codex:541479] // SPDX-License-Identifier: MIT
[codex:541479]
[codex:541479] pragma solidity ^0.7.0;
[codex:541479]
[codex:541479] /**
[codex:541479] * @dev Collection of functions related to the address type
[codex:541479] */
[codex:541479] library AddressUpgradeable {
[codex:541479] /**
[codex:541479] * @dev Returns true if `account` is a contract.
[codex:541479] *
[codex:541479] * [IMPORTANT]
[codex:541479] * ====
[codex:541479] * It is unsafe to assume that an address for which this function returns
[codex:541479] * false is an externally-owned account (EOA) and not a contract.
[codex:541479] *
[codex:541479] * Among others, `isContract` will return false for the following
[codex:541479] * types of addresses:
[codex:541479] *
[codex:541479] * - an externally-owned account
[codex:541479]
[codex:541479]
[codex:541479] thinking
[codex:541479] **Evaluating reentrancy and unchecked calls risks**
[codex:541479]
[codex:541479] I'm closely analyzing the vault's functions for potential reentrancy vulnerabilities, especially where external calls happen before state updates, like token transfers and proxy creation. I'm also noting unchecked ERC20 transfer return values that might cause silent failures and considering how public unrestricted functions and missing access controls could impact security. There’s a lot of nuance here with how booster timestamps and accounting interact, so I'm paying attention to subtle logic issues that might lead to unintended state changes or premature booster decay.
[codex:541479] thinking
[codex:541479] **Investigating booster timestamp assignment**
[codex:541479] exec
[codex:541479] /bin/bash -lc 'rg "lastBoosterDepositTimestamp" -n contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol' in /tmp/codex-multi-22n6hvpk succeeded in 6ms:
[codex:541479] 112: require(reciever.lastBoosterDepositTimestamp > 0, "Can not deposit burned when the user didn't burn yet");
[codex:541479] 162: uint256 secondsSinceLastBoosterDeposit = personMemory.lastBooster == BOOST_MAX + 1 ? 0 : block.timestamp - personMemory.lastBoosterDepositTimestamp;
[codex:541479] 164: // elvis because it should be 0 even if lastBoosterDepositTimestamp is 0 aka never set
[codex:541479] 165: uint256 weekRemainder = personMemory.lastBoosterDepositTimestamp > 0 ? secondsSinceLastBoosterDeposit % 1 weeks : 0;
[codex:541479] 167: personStorage.lastBoosterDepositTimestamp = block.timestamp - weekRemainder;
[codex:541479] 305: return adjustFarmedView(personStruct.lastBooster, totalDELTApreAdjust, totalETHpreAdjust, personStruct.lastBoosterDepositTimestamp, personStruct.totalDelta, personStruct.rlp, block.timestamp);
[codex:541479] 325: return adjustFarmedView(person.lastBooster, totalDELTApreAdjust, totalETHpreAdjust, person.lastBoosterDepositTimestamp, person.totalDelta, person.rlp, block.timestamp);
[codex:541479] 457: if(toBurn.mul(20) >= personMemory.totalDelta && block.timestamp >= personMemory.lastBoosterDepositTimestamp + 7 days) {
[codex:541479] 465: if(block.timestamp <= personMemory.lastBoosterDepositTimestamp + 14 days) {
[codex:541479] 473: require(block.timestamp >= personMemory.lastBoosterDepositTimestamp + 14 days, "Cannot use compounding burn without getting boost up, uncheck compounding burn, or wait 14 days");
[codex:541479] 479: if(personMemory.lastBoosterDepositTimestamp == 0) { // This check is still valid
[codex:541479]
[codex:541479]
[codex:541479]
[codex:541479] thinking
[codex:541479] **Analyzing booster timing and reentrancy concerns**
[codex:541479] thinking
[codex:541479] **Reviewing depositFor and reward distribution logic**
[codex:541479]
[codex:541479] There is a lot here! I'm working through how deposits for others affect boosters, farming power, and reward recycling, checking possible griefing or manipulation via depositFor and depositForWithBurn. I'm careful about the timing of pendingRewards distribution, how booster decay interacts with deposits, and external calls that could lead to tricky states or minor inconsistencies. There are also subtle checks around access control and token transfers that could impact reward flows or contract behavior in edge cases.
[codex:541479] thinking
[codex:541479] **Analyzing reentrancy and booster adjustment nuances**
[codex:541479]
[codex:541479] I'm examining a possible reentrancy risk from a malicious distributor calling back into deposit, as well as subtle logic around booster increases that might allow slightly easier booster boosts due to timing of totalDelta updates. I’m also considering the impact of external calls and token transfer behavior on state consistency, plus minor edge cases in booster decay and reward calculations. Overall, I’m focusing on whether these nuances could lead to meaningful exploits or just minor design quirks.
[codex:541479] exec
[codex:541479] /bin/bash -lc "rg \"\\.transfer\\(|transfer\\(\" -n contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol" in /tmp/codex-multi-22n6hvpk succeeded in 7ms:
[codex:541479] 230: RLP.transfer(msg.sender, exitingMemory.rlp);
[codex:541479] 287: RLP.transfer(msg.sender, amount);
[codex:541479] 348: IERC20(token).transfer(msg.sender, amount);
[codex:541479] 500: WETH.transfer(person, amount);
[codex:541479] 504: DELTA.transfer(person, amount);
[codex:541479]
[codex:541479]
[codex:541479] thinking
[codex:541479] **Summarizing potential vulnerabilities and audit findings**
[codex:541479]
[codex:541479] I'm organizing the main points about unchecked ERC20 returns, possible reentrancy via token transfer handlers, external calls before state updates in exit functions, and other low-severity issues. I'll weigh the likelihood of exploits given existing protections and token standards to produce a clear JSON-style findings summary.
[codex:541479] thinking
[codex:541479] **Assessing token transfer and access control nuances**
[codex:541479]
[codex:541479] I'm exploring potential griefing via permissionless compound calls, fee-on-transfer token risks in accounting, unchecked ERC20 transfer returns across functions, and subtle access controls—particularly focusing on how these might impact state consistency or user funds, aiming to highlight meaningful low-severity findings backed by evidence and line references.
[codex:541479] exec
[codex:541479] /bin/bash -lc "nl -ba contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol | sed -n '220,360p'" in /tmp/codex-multi-22n6hvpk succeeded in 6ms:
[codex:541479] 220 (uint256 accumulatedDELTAE12, uint256 accumulatedETHE12) = _updateVault(vaultInfo.totalFarmingPower);
[codex:541479] 221 uint256 oldFarmingPower = exitingMemory.farmingPower;
[codex:541479] 222
[codex:541479] 223 (, uint256 farmedDELTA, uint256 farmedWETH) = recycle(_realFarmedOfPerson(exitingMemory, accumulatedDELTAE12, accumulatedETHE12));
[codex:541479] 224
[codex:541479] 225 if(farmedWETH > 0) {
[codex:541479] 226 sendETH(msg.sender, farmedWETH);
[codex:541479] 227 }
[codex:541479] 228
[codex:541479] 229 if(exitingMemory.rlp > 0) {
[codex:541479] 230 RLP.transfer(msg.sender, exitingMemory.rlp);
[codex:541479] 231 }
[codex:541479] 232 address withdrawalContract = WITHDRAWAL_PROXY_FACTORY.createProxy(WITHDRAWAL_CONTRACT_MASTERCOPY);
[codex:541479] 233 withdrawalContracts[msg.sender].push(withdrawalContract);
[codex:541479] 234 uint256 withdrawable = exitingMemory.deltaWithdrawable;
[codex:541479] 235
[codex:541479] 236 setPrivileges(withdrawalContract, true,false,true);
[codex:541479] 237 // We send withdrwable, vesting and whatever was farmed cause we dotn compound it
[codex:541479] 238 uint256 totalToSendToWithdrawalContract = withdrawable.add(exitingMemory.deltaVesting).add(farmedDELTA);
[codex:541479] 239 require(totalToSendToWithdrawalContract > 0, "Nothing to withdraw");
[codex:541479]
[codex:541479] thinking
[codex:541479] **Identifying line numbers for sendETH and DELTA**
[codex:541479] exec
[codex:541479] /bin/bash -lc "nl -ba contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol | sed -n '480,540p'" in /tmp/codex-multi-22n6hvpk succeeded in 6ms:
[codex:541479] 480 // toBurn will be 50% of compound + deposiut if its burned
[codex:541479] 481 // This means you have to deposit 2x that
[codex:541479] 482 require(personMemory.totalDelta <= toBurn, "Uncheck compounding burn, or deposit more. You have to deposit and compound with burn at least 2x your total delta.");
[codex:541479] 483 newBooster = BOOST_MAX;
[codex:541479] 484 // we default to compound burn for users sake, they can change it if they please
[codex:541479] 485 personStorage.compoundBurn = true;
[codex:541479] 486 }
[codex:541479] 487 }
[codex:541479] 488
[codex:541479] 489 // We set total delta after the requirement statements so its not hightened
[codex:541479] 490 personMemory.totalDelta = personMemory.totalDelta.add(depositDELTA).add(farmedDELTA); // Memory is used later
[codex:541479] 491 personStorage.totalDelta = personMemory.totalDelta;
[codex:541479] 492
[codex:541479] 493 if(newBooster > BOOST_MAX) { // Only place it can be higher than BOOST_MAX is here
[codex:541479] 494 return BOOST_MAX;
[codex:541479] 495 }
[codex:541479] 496 return newBooster;
[codex:541479] 497 }
[codex:541479] 498
[codex:541479] 499 function sendETH(address person,uint256 amount) internal {
[codex:541479]
[codex:541479] thinking
[codex:541479] **Preparing detailed security finding**
[codex:541479]
[codex:541479] I'm assembling a JSON report with a low-severity finding about unchecked ERC20 transfer return values in multiple contract flows. I'll clearly state the exploit scenario, recommendation, evidence references, and precise file locations to fit the required output schema.
[codex:541479] codex
[codex:541479] {"no_findings":false,"summary":"Found 1 low-severity issue related to unchecked ERC20 transfer return values; no critical reentrancy or access-control flaws were identified in the scoped contracts.","findings":[{"severity":"low","category":"other","title":"ERC20 transfer return values are ignored in multiple flows","exploit_scenario":"If any of the involved tokens return false instead of reverting (or behave non‑standardly), the vault will proceed as if transfers succeeded. In `exit`/`withdrawRLP`, user accounting is updated even if the transfer fails, potentially locking user funds. Similar silent failures can affect recycler payouts and admin rescues.","recommendation":"Use SafeERC20 (`safeTransfer`/`safeTransferFrom`) or explicitly `require(token.transfer(...), \"transfer failed\")` in all paths that move tokens.","evidence":"`RLP.transfer(...)`, `WETH.transfer(...)`, and `DELTA.transfer(...)` are called without checking the return value, so failures can be silent.","locations":["contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:230","contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:287","contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:348","contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:500","contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:504"]}]}
[codex:541479] tokens used
[codex:541479] 80,950
[codex:541479] {"no_findings":false,"summary":"Found 1 low-severity issue related to unchecked ERC20 transfer return values; no critical reentrancy or access-control flaws were identified in the scoped contracts.","findings":[{"severity":"low","category":"other","title":"ERC20 transfer return values are ignored in multiple flows","exploit_scenario":"If any of the involved tokens return false instead of reverting (or behave non‑standardly), the vault will proceed as if transfers succeeded. In `exit`/`withdrawRLP`, user accounting is updated even if the transfer fails, potentially locking user funds. Similar silent failures can affect recycler payouts and admin rescues.","recommendation":"Use SafeERC20 (`safeTransfer`/`safeTransferFrom`) or explicitly `require(token.transfer(...), \"transfer failed\")` in all paths that move tokens.","evidence":"`RLP.transfer(...)`, `WETH.transfer(...)`, and `DELTA.transfer(...)` are called without checking the return value, so failures can be silent.","locations":["contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:230","contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:287","contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:348","contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:500","contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:504"]}]}
{
"codex": {
"ran_at": "2025-12-30T21:58:15.840392+00:00",
"returncode": 0
},
"summary": "Found 1 low-severity issue related to unchecked ERC20 transfer return values; no critical reentrancy or access-control flaws were identified in the scoped contracts.",
"raw_final": {
"summary": "Found 1 low-severity issue related to unchecked ERC20 transfer return values; no critical reentrancy or access-control flaws were identified in the scoped contracts.",
"findings": [
{
"title": "ERC20 transfer return values are ignored in multiple flows",
"category": "other",
"evidence": "`RLP.transfer(...)`, `WETH.transfer(...)`, and `DELTA.transfer(...)` are called without checking the return value, so failures can be silent.",
"severity": "low",
"locations": [
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:230",
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:287",
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:348",
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:500",
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:504"
],
"recommendation": "Use SafeERC20 (`safeTransfer`/`safeTransferFrom`) or explicitly `require(token.transfer(...), \"transfer failed\")` in all paths that move tokens.",
"exploit_scenario": "If any of the involved tokens return false instead of reverting (or behave non\u2011standardly), the vault will proceed as if transfers succeeded. In `exit`/`withdrawRLP`, user accounting is updated even if the transfer fails, potentially locking user funds. Similar silent failures can affect recycler payouts and admin rescues."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01c5 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x501ec738 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd312896d 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe9fad8ee 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe9fad8ee 0000003a: EQ 0000003b: PUSH2 0x0513 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xecb5fff6 00000045: EQ 00000046: PUSH2 0x0528 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xedb42ed4 00000050: EQ 00000051: PUSH2 0x053d 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf7b9e85c 0000005b: EQ 0000005c: PUSH2 0x0552 0000005f: JUMPI 00000060: PUSH2 0x01eb 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xd312896d 0000006b: EQ 0000006c: PUSH2 0x049e 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xe189e2f8 00000076: EQ 00000077: PUSH2 0x04be 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe2bbb158 00000081: EQ 00000082: PUSH2 0x04de 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe8506892 0000008c: EQ 0000008d: PUSH2 0x04fe 00000090: JUMPI 00000091: PUSH2 0x01eb 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x9a422662 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x9a422662 000000a7: EQ 000000a8: PUSH2 0x0427 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xad5c4648 000000b2: EQ 000000b3: PUSH2 0x0454 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xb6364b1d 000000bd: EQ 000000be: PUSH2 0x0469 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc37f4b43 000000c8: EQ 000000c9: PUSH2 0x047e 000000cc: JUMPI 000000cd: PUSH2 0x01eb 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x501ec738 000000d8: EQ 000000d9: PUSH2 0x03c3 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x8d31cf40 000000e3: EQ 000000e4: PUSH2 0x03e7 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x94700a5d 000000ee: EQ 000000ef: PUSH2 0x0407 000000f2: JUMPI 000000f3: PUSH2 0x01eb 000000f6: JUMP 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x1959a002 000000fe: GT 000000ff: PUSH2 0x0164 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x2f0c59a0 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x2f0c59a0 00000114: EQ 00000115: PUSH2 0x0341 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x32421d03 0000011f: EQ 00000120: PUSH2 0x036e 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x33833da4 0000012a: EQ 0000012b: PUSH2 0x0383 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x4cf5fbf5 00000135: EQ 00000136: PUSH2 0x03a3 00000139: JUMPI 0000013a: PUSH2 0x01eb 0000013d: JUMP 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x1959a002 00000145: EQ 00000146: PUSH2 0x02c9 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x1e5f01bf 00000150: EQ 00000151: PUSH2 0x0301 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x284dac23 0000015b: EQ 0000015c: PUSH2 0x0321 0000015f: JUMPI 00000160: PUSH2 0x01eb 00000163: JUMP 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x095d8036 0000016b: GT 0000016c: PUSH2 0x01a0 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x095d8036 00000176: EQ 00000177: PUSH2 0x025d 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x1290dc67 00000181: EQ 00000182: PUSH2 0x027f 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x15e9a135 0000018c: EQ 0000018d: PUSH2 0x029f 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x171f058a 00000197: EQ 00000198: PUSH2 0x02b4 0000019b: JUMPI 0000019c: PUSH2 0x01eb 0000019f: JUMP 000001a0: JUMPDEST 000001a1: DUP1 000001a2: PUSH3 0x8c0715 000001a6: EQ 000001a7: PUSH2 0x01f0 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0x03ef79cb 000001b1: EQ 000001b2: PUSH2 0x021b 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0x043e97c8 000001bc: EQ 000001bd: PUSH2 0x023d 000001c0: JUMPI 000001c1: PUSH2 0x01eb 000001c4: JUMP 000001c5: JUMPDEST 000001c6: CALLDATASIZE 000001c7: PUSH2 0x01eb 000001ca: JUMPI 000001cb: PUSH1 0x40 000001cd: MLOAD 000001ce: PUSH3 0x461bcd 000001d2: PUSH1 0xe5 000001d4: SHL 000001d5: DUP2 000001d6: MSTORE 000001d7: PUSH1 0x04 000001d9: ADD 000001da: PUSH2 0x01e2 000001dd: SWAP1 000001de: PUSH2 0x2d14 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x40 000001e5: MLOAD 000001e6: DUP1 000001e7: SWAP2 000001e8: SUB 000001e9: SWAP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: PUSH1 0x00 000001ee: DUP1 000001ef: REVERT 000001f0: JUMPDEST 000001f1: CALLVALUE 000001f2: DUP1 000001f3: ISZERO 000001f4: PUSH2 0x01fc 000001f7: JUMPI 000001f8: PUSH1 0x00 000001fa: DUP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: POP 000001fe: PUSH2 0x0205 00000201: PUSH2 0x057f 00000204: JUMP 00000205: JUMPDEST 00000206: PUSH1 0x40 00000208: MLOAD 00000209: PUSH2 0x0212 0000020c: SWAP2 0000020d: SWAP1 0000020e: PUSH2 0x32de 00000211: JUMP 00000212: JUMPDEST 00000213: PUSH1 0x40 00000215: MLOAD 00000216: DUP1 00000217: SWAP2 00000218: SUB 00000219: SWAP1 0000021a: RETURN 0000021b: JUMPDEST 0000021c: CALLVALUE 0000021d: DUP1 0000021e: ISZERO 0000021f: PUSH2 0x0227 00000222: JUMPI 00000223: PUSH1 0x00 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: POP 00000229: PUSH2 0x0230 0000022c: PUSH2 0x0584 0000022f: JUMP 00000230: JUMPDEST 00000231: PUSH1 0x40 00000233: MLOAD 00000234: PUSH2 0x0212 00000237: SWAP2 00000238: SWAP1 00000239: PUSH2 0x2a10 0000023c: JUMP 0000023d: JUMPDEST 0000023e: CALLVALUE 0000023f: DUP1 00000240: ISZERO 00000241: PUSH2 0x0249 00000244: JUMPI 00000245: PUSH1 0x00 00000247: DUP1 00000248: REVERT 00000249: JUMPDEST 0000024a: POP 0000024b: PUSH2 0x0230 0000024e: PUSH2 0x0258 00000251: CALLDATASIZE 00000252: PUSH1 0x04 00000254: PUSH2 0x2932 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH2 0x059c 0000025c: JUMP 0000025d: JUMPDEST 0000025e: CALLVALUE 0000025f: DUP1 00000260: ISZERO 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: POP 0000026b: PUSH2 0x027d 0000026e: PUSH2 0x0278 00000271: CALLDATASIZE 00000272: PUSH1 0x04 00000274: PUSH2 0x2932 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH2 0x05d4 0000027c: JUMP 0000027d: JUMPDEST 0000027e: STOP 0000027f: JUMPDEST 00000280: CALLVALUE 00000281: DUP1 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: POP 0000028d: PUSH2 0x027d 00000290: PUSH2 0x029a 00000293: CALLDATASIZE 00000294: PUSH1 0x04 00000296: PUSH2 0x2932 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH2 0x06d1 0000029e: JUMP 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x0205 000002b0: PUSH2 0x0900 000002b3: JUMP 000002b4: JUMPDEST 000002b5: CALLVALUE 000002b6: DUP1 000002b7: ISZERO 000002b8: PUSH2 0x02c0 000002bb: JUMPI 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: POP 000002c2: PUSH2 0x0205 000002c5: PUSH2 0x0905 000002c8: JUMP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: DUP1 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: POP 000002d7: PUSH2 0x02e9 000002da: PUSH2 0x02e4 000002dd: CALLDATASIZE 000002de: PUSH1 0x04 000002e0: PUSH2 0x28c2 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH2 0x090b 000002e8: JUMP 000002e9: JUMPDEST 000002ea: PUSH1 0x40 000002ec: MLOAD 000002ed: PUSH2 0x0212 000002f0: SWAP13 000002f1: SWAP12 000002f2: SWAP11 000002f3: SWAP10 000002f4: SWAP9 000002f5: SWAP8 000002f6: SWAP7 000002f7: SWAP6 000002f8: SWAP5 000002f9: SWAP4 000002fa: SWAP3 000002fb: SWAP2 000002fc: SWAP1 000002fd: PUSH2 0x32fd 00000300: JUMP 00000301: JUMPDEST 00000302: CALLVALUE 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x030d 00000308: JUMPI 00000309: PUSH1 0x00 0000030b: DUP1 0000030c: REVERT 0000030d: JUMPDEST 0000030e: POP 0000030f: PUSH2 0x027d 00000312: PUSH2 0x031c 00000315: CALLDATASIZE 00000316: PUSH1 0x04 00000318: PUSH2 0x29e1 0000031b: JUMP 0000031c: JUMPDEST 0000031d: PUSH2 0x096f 00000320: JUMP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x027d 00000332: PUSH2 0x033c 00000335: CALLDATASIZE 00000336: PUSH1 0x04 00000338: PUSH2 0x28c2 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH2 0x0af2 00000340: JUMP 00000341: JUMPDEST 00000342: CALLVALUE 00000343: DUP1 00000344: ISZERO 00000345: PUSH2 0x034d 00000348: JUMPI 00000349: PUSH1 0x00 0000034b: DUP1 0000034c: REVERT 0000034d: JUMPDEST 0000034e: POP 0000034f: PUSH2 0x0361 00000352: PUSH2 0x035c 00000355: CALLDATASIZE 00000356: PUSH1 0x04 00000358: PUSH2 0x28c2 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH2 0x0bca 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH1 0x40 00000364: MLOAD 00000365: PUSH2 0x0212 00000368: SWAP2 00000369: SWAP1 0000036a: PUSH2 0x2b73 0000036d: JUMP 0000036e: JUMPDEST 0000036f: CALLVALUE 00000370: DUP1 00000371: ISZERO 00000372: PUSH2 0x037a 00000375: JUMPI 00000376: PUSH1 0x00 00000378: DUP1 00000379: REVERT 0000037a: JUMPDEST 0000037b: POP 0000037c: PUSH2 0x0205 0000037f: PUSH2 0x0bdf 00000382: JUMP 00000383: JUMPDEST 00000384: CALLVALUE 00000385: DUP1 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: POP 00000391: PUSH2 0x027d 00000394: PUSH2 0x039e 00000397: CALLDATASIZE 00000398: PUSH1 0x04 0000039a: PUSH2 0x28fa 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH2 0x0be4 000003a2: JUMP 000003a3: JUMPDEST 000003a4: CALLVALUE 000003a5: DUP1 000003a6: ISZERO 000003a7: PUSH2 0x03af 000003aa: JUMPI 000003ab: PUSH1 0x00 000003ad: DUP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: POP 000003b1: PUSH2 0x027d 000003b4: PUSH2 0x03be 000003b7: CALLDATASIZE 000003b8: PUSH1 0x04 000003ba: PUSH2 0x295d 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH2 0x0c17 000003c2: JUMP 000003c3: JUMPDEST 000003c4: CALLVALUE 000003c5: DUP1 000003c6: ISZERO 000003c7: PUSH2 0x03cf 000003ca: JUMPI 000003cb: PUSH1 0x00 000003cd: DUP1 000003ce: REVERT 000003cf: JUMPDEST 000003d0: POP 000003d1: PUSH2 0x03d8 000003d4: PUSH2 0x0d20 000003d7: JUMP 000003d8: JUMPDEST 000003d9: PUSH1 0x40 000003db: MLOAD 000003dc: PUSH2 0x0212 000003df: SWAP4 000003e0: SWAP3 000003e1: SWAP2 000003e2: SWAP1 000003e3: PUSH2 0x32e7 000003e6: JUMP 000003e7: JUMPDEST 000003e8: CALLVALUE 000003e9: DUP1 000003ea: ISZERO 000003eb: PUSH2 0x03f3 000003ee: JUMPI 000003ef: PUSH1 0x00 000003f1: DUP1 000003f2: REVERT 000003f3: JUMPDEST 000003f4: POP 000003f5: PUSH2 0x027d 000003f8: PUSH2 0x0402 000003fb: CALLDATASIZE 000003fc: PUSH1 0x04 000003fe: PUSH2 0x2932 00000401: JUMP 00000402: JUMPDEST 00000403: PUSH2 0x0d2c 00000406: JUMP 00000407: JUMPDEST 00000408: CALLVALUE 00000409: DUP1 0000040a: ISZERO 0000040b: PUSH2 0x0413 0000040e: JUMPI 0000040f: PUSH1 0x00 00000411: DUP1 00000412: REVERT 00000413: JUMPDEST 00000414: POP 00000415: PUSH2 0x027d 00000418: PUSH2 0x0422 0000041b: CALLDATASIZE 0000041c: PUSH1 0x04 0000041e: PUSH2 0x29c9 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH2 0x0e53 00000426: JUMP 00000427: JUMPDEST 00000428: CALLVALUE 00000429: DUP1 0000042a: ISZERO 0000042b: PUSH2 0x0433 0000042e: JUMPI 0000042f: PUSH1 0x00 00000431: DUP1 00000432: REVERT 00000433: JUMPDEST 00000434: POP 00000435: PUSH2 0x0447 00000438: PUSH2 0x0442 0000043b: CALLDATASIZE 0000043c: PUSH1 0x04 0000043e: PUSH2 0x28c2 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH2 0x0efd 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH1 0x40 0000044a: MLOAD 0000044b: PUSH2 0x0212 0000044e: SWAP2 0000044f: SWAP1 00000450: PUSH2 0x2b26 00000453: JUMP 00000454: JUMPDEST 00000455: CALLVALUE 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: PUSH2 0x0230 00000465: PUSH2 0x0f73 00000468: JUMP 00000469: JUMPDEST 0000046a: CALLVALUE 0000046b: DUP1 0000046c: ISZERO 0000046d: PUSH2 0x0475 00000470: JUMPI 00000471: PUSH1 0x00 00000473: DUP1 00000474: REVERT 00000475: JUMPDEST 00000476: POP 00000477: PUSH2 0x0230 0000047a: PUSH2 0x0f8b 0000047d: JUMP 0000047e: JUMPDEST 0000047f: CALLVALUE 00000480: DUP1 00000481: ISZERO 00000482: PUSH2 0x048a 00000485: JUMPI 00000486: PUSH1 0x00 00000488: DUP1 00000489: REVERT 0000048a: JUMPDEST 0000048b: POP 0000048c: PUSH2 0x027d 0000048f: PUSH2 0x0499 00000492: CALLDATASIZE 00000493: PUSH1 0x04 00000495: PUSH2 0x2991 00000498: JUMP 00000499: JUMPDEST 0000049a: PUSH2 0x0fa3 0000049d: JUMP 0000049e: JUMPDEST 0000049f: CALLVALUE 000004a0: DUP1 000004a1: ISZERO 000004a2: PUSH2 0x04aa 000004a5: JUMPI 000004a6: PUSH1 0x00 000004a8: DUP1 000004a9: REVERT 000004aa: JUMPDEST 000004ab: POP 000004ac: PUSH2 0x027d 000004af: PUSH2 0x04b9 000004b2: CALLDATASIZE 000004b3: PUSH1 0x04 000004b5: PUSH2 0x2991 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH2 0x0fce 000004bd: JUMP 000004be: JUMPDEST 000004bf: CALLVALUE 000004c0: DUP1 000004c1: ISZERO 000004c2: PUSH2 0x04ca 000004c5: JUMPI 000004c6: PUSH1 0x00 000004c8: DUP1 000004c9: REVERT 000004ca: JUMPDEST 000004cb: POP 000004cc: PUSH2 0x027d 000004cf: PUSH2 0x04d9 000004d2: CALLDATASIZE 000004d3: PUSH1 0x04 000004d5: PUSH2 0x29c9 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH2 0x10cb 000004dd: JUMP 000004de: JUMPDEST 000004df: CALLVALUE 000004e0: DUP1 000004e1: ISZERO 000004e2: PUSH2 0x04ea 000004e5: JUMPI 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: REVERT 000004ea: JUMPDEST 000004eb: POP 000004ec: PUSH2 0x027d 000004ef: PUSH2 0x04f9 000004f2: CALLDATASIZE 000004f3: PUSH1 0x04 000004f5: PUSH2 0x29e1 000004f8: JUMP 000004f9: JUMPDEST 000004fa: PUSH2 0x12bb 000004fd: JUMP 000004fe: JUMPDEST 000004ff: CALLVALUE 00000500: DUP1 00000501: ISZERO 00000502: PUSH2 0x050a 00000505: JUMPI 00000506: PUSH1 0x00 00000508: DUP1 00000509: REVERT 0000050a: JUMPDEST 0000050b: POP 0000050c: PUSH2 0x0205 0000050f: PUSH2 0x1366 00000512: JUMP 00000513: JUMPDEST 00000514: CALLVALUE 00000515: DUP1 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: POP 00000521: PUSH2 0x027d 00000524: PUSH2 0x136b 00000527: JUMP 00000528: JUMPDEST 00000529: CALLVALUE 0000052a: DUP1 0000052b: ISZERO 0000052c: PUSH2 0x0534 0000052f: JUMPI 00000530: PUSH1 0x00 00000532: DUP1 00000533: REVERT 00000534: JUMPDEST 00000535: POP 00000536: PUSH2 0x0230 00000539: PUSH2 0x177e 0000053c: JUMP 0000053d: JUMPDEST 0000053e: CALLVALUE 0000053f: DUP1 00000540: ISZERO 00000541: PUSH2 0x0549 00000544: JUMPI 00000545: PUSH1 0x00 00000547: DUP1 00000548: REVERT 00000549: JUMPDEST 0000054a: POP 0000054b: PUSH2 0x0230 0000054e: PUSH2 0x1796 00000551: JUMP 00000552: JUMPDEST 00000553: CALLVALUE 00000554: DUP1 00000555: ISZERO 00000556: PUSH2 0x055e 00000559: JUMPI 0000055a: PUSH1 0x00 0000055c: DUP1 0000055d: REVERT 0000055e: JUMPDEST 0000055f: POP 00000560: PUSH2 0x0572 00000563: PUSH2 0x056d 00000566: CALLDATASIZE 00000567: PUSH1 0x04 00000569: PUSH2 0x28c2 0000056c: JUMP 0000056d: JUMPDEST 0000056e: PUSH2 0x17ae 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH1 0x40 00000575: MLOAD 00000576: PUSH2 0x0212 00000579: SWAP2 0000057a: SWAP1 0000057b: PUSH2 0x32a4 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH1 0x0a 00000582: DUP2 00000583: JUMP 00000584: JUMPDEST 00000585: PUSH20 0x251bbe8c7abc2a1ca8d0b25fc1149abe6160a943 0000059a: DUP2 0000059b: JUMP 0000059c: JUMPDEST 0000059d: PUSH1 0x07 0000059f: PUSH1 0x20 000005a1: MSTORE 000005a2: DUP2 000005a3: PUSH1 0x00 000005a5: MSTORE 000005a6: PUSH1 0x40 000005a8: PUSH1 0x00 000005aa: KECCAK256 000005ab: DUP2 000005ac: DUP2 000005ad: SLOAD 000005ae: DUP2 000005af: LT 000005b0: PUSH2 0x05b8 000005b3: JUMPI 000005b4: PUSH1 0x00 000005b6: DUP1 000005b7: REVERT 000005b8: JUMPDEST 000005b9: PUSH1 0x00 000005bb: SWAP2 000005bc: DUP3 000005bd: MSTORE 000005be: PUSH1 0x20 000005c0: SWAP1 000005c1: SWAP2 000005c2: KECCAK256 000005c3: ADD 000005c4: SLOAD 000005c5: PUSH1 0x01 000005c7: PUSH1 0x01 000005c9: PUSH1 0xa0 000005cb: SHL 000005cc: SUB 000005cd: AND 000005ce: SWAP2 000005cf: POP 000005d0: DUP3 000005d1: SWAP1 000005d2: POP 000005d3: JUMP 000005d4: JUMPDEST 000005d5: PUSH1 0x01 000005d7: PUSH1 0x01 000005d9: PUSH1 0xa0 000005db: SHL 000005dc: SUB 000005dd: DUP3 000005de: AND 000005df: PUSH2 0x05fa 000005e2: JUMPI 000005e3: PUSH1 0x40 000005e5: MLOAD 000005e6: PUSH3 0x461bcd 000005ea: PUSH1 0xe5 000005ec: SHL 000005ed: DUP2 000005ee: MSTORE 000005ef: PUSH1 0x04 000005f1: ADD 000005f2: PUSH2 0x01e2 000005f5: SWAP1 000005f6: PUSH2 0x2bc0 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH1 0x01 000005fd: PUSH1 0x01 000005ff: PUSH1 0xa0 00000601: SHL 00000602: SUB 00000603: DUP3 00000604: AND 00000605: PUSH1 0x00 00000607: SWAP1 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x08 0000060c: PUSH1 0x20 0000060e: DUP2 0000060f: DUP2 00000610: MSTORE 00000611: PUSH1 0x40 00000613: SWAP3 00000614: DUP4 00000615: SWAP1 00000616: KECCAK256 00000617: DUP4 00000618: MLOAD 00000619: PUSH2 0x0180 0000061c: DUP2 0000061d: ADD 0000061e: DUP6 0000061f: MSTORE 00000620: DUP2 00000621: SLOAD 00000622: DUP2 00000623: MSTORE 00000624: PUSH1 0x01 00000626: DUP3 00000627: ADD 00000628: SLOAD 00000629: SWAP3 0000062a: DUP2 0000062b: ADD 0000062c: SWAP3 0000062d: SWAP1 0000062e: SWAP3 0000062f: MSTORE 00000630: PUSH1 0x02 00000632: DUP2 00000633: ADD 00000634: SLOAD 00000635: SWAP4 00000636: DUP3 00000637: ADD 00000638: SWAP4 00000639: SWAP1 0000063a: SWAP4 0000063b: MSTORE 0000063c: PUSH1 0x03 0000063e: DUP4 0000063f: ADD 00000640: SLOAD 00000641: PUSH1 0x60 00000643: DUP3 00000644: ADD 00000645: MSTORE 00000646: PUSH1 0x04 00000648: DUP4 00000649: ADD 0000064a: SLOAD 0000064b: PUSH1 0x80 0000064d: DUP3 0000064e: ADD 0000064f: MSTORE 00000650: PUSH1 0x05 00000652: DUP4 00000653: ADD 00000654: SLOAD 00000655: PUSH1 0xa0 00000657: DUP3 00000658: ADD 00000659: MSTORE 0000065a: PUSH1 0x06 0000065c: DUP4 0000065d: ADD 0000065e: SLOAD 0000065f: PUSH1 0xc0 00000661: DUP3 00000662: ADD 00000663: MSTORE 00000664: PUSH1 0x07 00000666: DUP4 00000667: ADD 00000668: SLOAD 00000669: PUSH1 0xe0 0000066b: DUP3 0000066c: ADD 0000066d: MSTORE 0000066e: SWAP1 0000066f: DUP3 00000670: ADD 00000671: SLOAD 00000672: PUSH2 0x0100 00000675: DUP3 00000676: ADD 00000677: DUP2 00000678: SWAP1 00000679: MSTORE 0000067a: PUSH1 0x09 0000067c: DUP4 0000067d: ADD 0000067e: SLOAD 0000067f: PUSH2 0x0120 00000682: DUP4 00000683: ADD 00000684: MSTORE 00000685: PUSH1 0x0a 00000687: DUP4 00000688: ADD 00000689: SLOAD 0000068a: PUSH2 0x0140 0000068d: DUP4 0000068e: ADD 0000068f: MSTORE 00000690: PUSH1 0x0b 00000692: SWAP1 00000693: SWAP3 00000694: ADD 00000695: SLOAD 00000696: PUSH1 0xff 00000698: AND 00000699: ISZERO 0000069a: ISZERO 0000069b: PUSH2 0x0160 0000069e: DUP3 0000069f: ADD 000006a0: MSTORE 000006a1: SWAP1 000006a2: PUSH2 0x06bd 000006a5: JUMPI 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: PUSH3 0x461bcd 000006ad: PUSH1 0xe5 000006af: SHL 000006b0: DUP2 000006b1: MSTORE 000006b2: PUSH1 0x04 000006b4: ADD 000006b5: PUSH2 0x01e2 000006b8: SWAP1 000006b9: PUSH2 0x316f 000006bc: JUMP 000006bd: JUMPDEST 000006be: PUSH2 0x06cc 000006c1: DUP2 000006c2: DUP5 000006c3: PUSH1 0x00 000006c5: DUP6 000006c6: PUSH1 0x01 000006c8: PUSH2 0x189e 000006cb: JUMP 000006cc: JUMPDEST 000006cd: POP 000006ce: POP 000006cf: POP 000006d0: JUMP 000006d1: JUMPDEST 000006d2: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 000006e7: PUSH1 0x01 000006e9: PUSH1 0x01 000006eb: PUSH1 0xa0 000006ed: SHL 000006ee: SUB 000006ef: AND 000006f0: PUSH4 0xbfe10928 000006f5: PUSH1 0x40 000006f7: MLOAD 000006f8: DUP2 000006f9: PUSH4 0xffffffff 000006fe: AND 000006ff: PUSH1 0xe0 00000701: SHL 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x04 00000706: ADD 00000707: PUSH1 0x20 00000709: PUSH1 0x40 0000070b: MLOAD 0000070c: DUP1 0000070d: DUP4 0000070e: SUB 0000070f: DUP2 00000710: DUP7 00000711: DUP1 00000712: EXTCODESIZE 00000713: ISZERO 00000714: DUP1 00000715: ISZERO 00000716: PUSH2 0x071e 00000719: JUMPI 0000071a: PUSH1 0x00 0000071c: DUP1 0000071d: REVERT 0000071e: JUMPDEST 0000071f: POP 00000720: GAS 00000721: STATICCALL 00000722: ISZERO 00000723: DUP1 00000724: ISZERO 00000725: PUSH2 0x0732 00000728: JUMPI 00000729: RETURNDATASIZE 0000072a: PUSH1 0x00 0000072c: DUP1 0000072d: RETURNDATACOPY 0000072e: RETURNDATASIZE 0000072f: PUSH1 0x00 00000731: REVERT 00000732: JUMPDEST 00000733: POP 00000734: POP 00000735: POP 00000736: POP 00000737: PUSH1 0x40 00000739: MLOAD 0000073a: RETURNDATASIZE 0000073b: PUSH1 0x1f 0000073d: NOT 0000073e: PUSH1 0x1f 00000740: DUP3 00000741: ADD 00000742: AND 00000743: DUP3 00000744: ADD 00000745: DUP1 00000746: PUSH1 0x40 00000748: MSTORE 00000749: POP 0000074a: DUP2 0000074b: ADD 0000074c: SWAP1 0000074d: PUSH2 0x0756 00000750: SWAP2 00000751: SWAP1 00000752: PUSH2 0x28de 00000755: JUMP 00000756: JUMPDEST 00000757: PUSH1 0x01 00000759: PUSH1 0x01 0000075b: PUSH1 0xa0 0000075d: SHL 0000075e: SUB 0000075f: AND 00000760: CALLER 00000761: PUSH1 0x01 00000763: PUSH1 0x01 00000765: PUSH1 0xa0 00000767: SHL 00000768: SUB 00000769: AND 0000076a: EQ 0000076b: PUSH2 0x0786 0000076e: JUMPI 0000076f: PUSH1 0x40 00000771: MLOAD 00000772: PUSH3 0x461bcd 00000776: PUSH1 0xe5 00000778: SHL 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x04 0000077d: ADD 0000077e: PUSH2 0x01e2 00000781: SWAP1 00000782: PUSH2 0x2f5c 00000785: JUMP 00000786: JUMPDEST 00000787: PUSH1 0x01 00000789: PUSH1 0x01 0000078b: PUSH1 0xa0 0000078d: SHL 0000078e: SUB 0000078f: DUP3 00000790: AND 00000791: PUSH1 0x00 00000793: SWAP1 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x08 00000798: PUSH1 0x20 0000079a: DUP2 0000079b: DUP2 0000079c: MSTORE 0000079d: PUSH1 0x40 0000079f: SWAP3 000007a0: DUP4 000007a1: SWAP1 000007a2: KECCAK256 000007a3: DUP4 000007a4: MLOAD 000007a5: PUSH2 0x0180 000007a8: DUP2 000007a9: ADD 000007aa: DUP6 000007ab: MSTORE 000007ac: DUP2 000007ad: SLOAD 000007ae: DUP2 000007af: MSTORE 000007b0: PUSH1 0x01 000007b2: DUP3 000007b3: ADD 000007b4: SLOAD 000007b5: SWAP3 000007b6: DUP2 000007b7: ADD 000007b8: SWAP3 000007b9: SWAP1 000007ba: SWAP3 000007bb: MSTORE 000007bc: PUSH1 0x02 000007be: DUP2 000007bf: ADD 000007c0: SLOAD 000007c1: SWAP4 000007c2: DUP3 000007c3: ADD 000007c4: SWAP4 000007c5: SWAP1 000007c6: SWAP4 000007c7: MSTORE 000007c8: PUSH1 0x03 000007ca: DUP4 000007cb: ADD 000007cc: SLOAD 000007cd: PUSH1 0x60 000007cf: DUP3 000007d0: ADD 000007d1: MSTORE 000007d2: PUSH1 0x04 000007d4: DUP4 000007d5: ADD 000007d6: SLOAD 000007d7: PUSH1 0x80 000007d9: DUP3 000007da: ADD 000007db: MSTORE 000007dc: PUSH1 0x05 000007de: DUP4 000007df: ADD 000007e0: SLOAD 000007e1: PUSH1 0xa0 000007e3: DUP3 000007e4: ADD 000007e5: MSTORE 000007e6: PUSH1 0x06 000007e8: DUP4 000007e9: ADD 000007ea: SLOAD 000007eb: PUSH1 0xc0 000007ed: DUP3 000007ee: ADD 000007ef: MSTORE 000007f0: PUSH1 0x07 000007f2: DUP4 000007f3: ADD 000007f4: SLOAD 000007f5: PUSH1 0xe0 000007f7: DUP3 000007f8: ADD 000007f9: MSTORE 000007fa: SWAP1 000007fb: DUP3 000007fc: ADD 000007fd: SLOAD 000007fe: PUSH2 0x0100 00000801: DUP3 00000802: ADD 00000803: MSTORE 00000804: PUSH1 0x09 00000806: DUP3 00000807: ADD 00000808: SLOAD 00000809: PUSH2 0x0120 0000080c: DUP3 0000080d: ADD 0000080e: MSTORE 0000080f: PUSH1 0x0a 00000811: DUP3 00000812: ADD 00000813: SLOAD 00000814: PUSH2 0x0140 00000817: DUP3 00000818: ADD 00000819: MSTORE 0000081a: PUSH1 0x0b 0000081c: DUP3 0000081d: ADD 0000081e: SLOAD 0000081f: PUSH1 0xff 00000821: AND 00000822: ISZERO 00000823: ISZERO 00000824: PUSH2 0x0160 00000827: DUP3 00000828: ADD 00000829: MSTORE 0000082a: PUSH2 0x0831 0000082d: PUSH2 0x1aa8 00000830: JUMP 00000831: JUMPDEST 00000832: PUSH1 0x00 00000834: DUP4 00000835: GT 00000836: PUSH2 0x0851 00000839: JUMPI 0000083a: PUSH1 0x40 0000083c: MLOAD 0000083d: PUSH3 0x461bcd 00000841: PUSH1 0xe5 00000843: SHL 00000844: DUP2 00000845: MSTORE 00000846: PUSH1 0x04 00000848: ADD 00000849: PUSH2 0x01e2 0000084c: SWAP1 0000084d: PUSH2 0x2d3d 00000850: JUMP 00000851: JUMPDEST 00000852: PUSH1 0x00 00000854: DUP1 00000855: PUSH2 0x0862 00000858: PUSH1 0x04 0000085a: PUSH1 0x00 0000085c: ADD 0000085d: SLOAD 0000085e: PUSH2 0x1acc 00000861: JUMP 00000862: JUMPDEST 00000863: SWAP2 00000864: POP 00000865: SWAP2 00000866: POP 00000867: PUSH1 0x00 00000869: DUP1 0000086a: PUSH1 0x00 0000086c: PUSH2 0x087e 0000086f: PUSH2 0x0879 00000872: DUP8 00000873: DUP8 00000874: DUP8 00000875: PUSH2 0x1c3a 00000878: JUMP 00000879: JUMPDEST 0000087a: PUSH2 0x1c8d 0000087d: JUMP 0000087e: JUMPDEST 0000087f: SWAP2 00000880: SWAP5 00000881: POP 00000882: SWAP3 00000883: POP 00000884: SWAP1 00000885: POP 00000886: DUP1 00000887: ISZERO 00000888: PUSH2 0x0895 0000088b: JUMPI 0000088c: PUSH2 0x0895 0000088f: DUP10 00000890: DUP3 00000891: PUSH2 0x1d2a 00000894: JUMP 00000895: JUMPDEST 00000896: DUP2 00000897: ISZERO 00000898: PUSH2 0x08ae 0000089b: JUMPI 0000089c: PUSH2 0x08ab 0000089f: DUP7 000008a0: DUP9 000008a1: PUSH1 0x00 000008a3: DUP6 000008a4: DUP8 000008a5: PUSH1 0x00 000008a7: PUSH2 0x1d63 000008aa: JUMP 000008ab: JUMPDEST 000008ac: SWAP3 000008ad: POP 000008ae: JUMPDEST 000008af: PUSH2 0x08b9 000008b2: DUP7 000008b3: DUP9 000008b4: DUP6 000008b5: PUSH2 0x1f8b 000008b8: JUMP 000008b9: JUMPDEST 000008ba: PUSH1 0x03 000008bc: DUP8 000008bd: ADD 000008be: SLOAD 000008bf: PUSH2 0x08c8 000008c2: SWAP1 000008c3: DUP10 000008c4: PUSH2 0x2015 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH1 0x03 000008cb: DUP9 000008cc: ADD 000008cd: SSTORE 000008ce: PUSH1 0xc0 000008d0: DUP7 000008d1: ADD 000008d2: MLOAD 000008d3: PUSH2 0x08dc 000008d6: SWAP1 000008d7: DUP10 000008d8: PUSH2 0x2015 000008db: JUMP 000008dc: JUMPDEST 000008dd: PUSH1 0xc0 000008df: DUP8 000008e0: ADD 000008e1: DUP2 000008e2: SWAP1 000008e3: MSTORE 000008e4: PUSH1 0x06 000008e6: DUP9 000008e7: ADD 000008e8: SSTORE 000008e9: PUSH2 0x08f5 000008ec: DUP8 000008ed: DUP8 000008ee: DUP8 000008ef: DUP8 000008f0: DUP8 000008f1: PUSH2 0x2078 000008f4: JUMP 000008f5: JUMPDEST 000008f6: POP 000008f7: POP 000008f8: POP 000008f9: POP 000008fa: POP 000008fb: POP 000008fc: POP 000008fd: POP 000008fe: POP 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH1 0x01 00000903: DUP2 00000904: JUMP 00000905: JUMPDEST 00000906: PUSH1 0x01 00000908: SLOAD 00000909: DUP2 0000090a: JUMP 0000090b: JUMPDEST 0000090c: PUSH1 0x08 0000090e: PUSH1 0x20 00000910: DUP2 00000911: SWAP1 00000912: MSTORE 00000913: PUSH1 0x00 00000915: SWAP2 00000916: DUP3 00000917: MSTORE 00000918: PUSH1 0x40 0000091a: SWAP1 0000091b: SWAP2 0000091c: KECCAK256 0000091d: DUP1 0000091e: SLOAD 0000091f: PUSH1 0x01 00000921: DUP3 00000922: ADD 00000923: SLOAD 00000924: PUSH1 0x02 00000926: DUP4 00000927: ADD 00000928: SLOAD 00000929: PUSH1 0x03 0000092b: DUP5 0000092c: ADD 0000092d: SLOAD 0000092e: PUSH1 0x04 00000930: DUP6 00000931: ADD 00000932: SLOAD 00000933: PUSH1 0x05 00000935: DUP7 00000936: ADD 00000937: SLOAD 00000938: PUSH1 0x06 0000093a: DUP8 0000093b: ADD 0000093c: SLOAD 0000093d: PUSH1 0x07 0000093f: DUP9 00000940: ADD 00000941: SLOAD 00000942: SWAP9 00000943: DUP9 00000944: ADD 00000945: SLOAD 00000946: PUSH1 0x09 00000948: DUP10 00000949: ADD 0000094a: SLOAD 0000094b: PUSH1 0x0a 0000094d: DUP11 0000094e: ADD 0000094f: SLOAD 00000950: PUSH1 0x0b 00000952: SWAP1 00000953: SWAP11 00000954: ADD 00000955: SLOAD 00000956: SWAP9 00000957: SWAP11 00000958: SWAP8 00000959: SWAP10 0000095a: SWAP7 0000095b: SWAP9 0000095c: SWAP6 0000095d: SWAP8 0000095e: SWAP5 0000095f: SWAP7 00000960: SWAP4 00000961: SWAP6 00000962: SWAP3 00000963: SWAP5 00000964: SWAP4 00000965: SWAP2 00000966: SWAP3 00000967: SWAP1 00000968: SWAP2 00000969: SWAP1 0000096a: PUSH1 0xff 0000096c: AND 0000096d: DUP13 0000096e: JUMP 0000096f: JUMPDEST 00000970: DUP1 00000971: ISZERO 00000972: PUSH2 0x0a2e 00000975: JUMPI 00000976: PUSH1 0x03 00000978: SLOAD 00000979: PUSH2 0x0982 0000097c: SWAP1 0000097d: DUP3 0000097e: PUSH2 0x2015 00000981: JUMP 00000982: JUMPDEST 00000983: PUSH1 0x03 00000985: SSTORE 00000986: PUSH1 0x40 00000988: MLOAD 00000989: PUSH4 0x23b872dd 0000098e: PUSH1 0xe0 00000990: SHL 00000991: DUP2 00000992: MSTORE 00000993: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000009a8: SWAP1 000009a9: PUSH4 0x23b872dd 000009ae: SWAP1 000009af: PUSH2 0x09c0 000009b2: SWAP1 000009b3: CALLER 000009b4: SWAP1 000009b5: ADDRESS 000009b6: SWAP1 000009b7: DUP7 000009b8: SWAP1 000009b9: PUSH1 0x04 000009bb: ADD 000009bc: PUSH2 0x2a24 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH1 0x20 000009c3: PUSH1 0x40 000009c5: MLOAD 000009c6: DUP1 000009c7: DUP4 000009c8: SUB 000009c9: DUP2 000009ca: PUSH1 0x00 000009cc: DUP8 000009cd: DUP1 000009ce: EXTCODESIZE 000009cf: ISZERO 000009d0: DUP1 000009d1: ISZERO 000009d2: PUSH2 0x09da 000009d5: JUMPI 000009d6: PUSH1 0x00 000009d8: DUP1 000009d9: REVERT 000009da: JUMPDEST 000009db: POP 000009dc: GAS 000009dd: CALL 000009de: ISZERO 000009df: DUP1 000009e0: ISZERO 000009e1: PUSH2 0x09ee 000009e4: JUMPI 000009e5: RETURNDATASIZE 000009e6: PUSH1 0x00 000009e8: DUP1 000009e9: RETURNDATACOPY 000009ea: RETURNDATASIZE 000009eb: PUSH1 0x00 000009ed: REVERT 000009ee: JUMPDEST 000009ef: POP 000009f0: POP 000009f1: POP 000009f2: POP 000009f3: PUSH1 0x40 000009f5: MLOAD 000009f6: RETURNDATASIZE 000009f7: PUSH1 0x1f 000009f9: NOT 000009fa: PUSH1 0x1f 000009fc: DUP3 000009fd: ADD 000009fe: AND 000009ff: DUP3 00000a00: ADD 00000a01: DUP1 00000a02: PUSH1 0x40 00000a04: MSTORE 00000a05: POP 00000a06: DUP2 00000a07: ADD 00000a08: SWAP1 00000a09: PUSH2 0x0a12 00000a0c: SWAP2 00000a0d: SWAP1 00000a0e: PUSH2 0x29ad 00000a11: JUMP 00000a12: JUMPDEST 00000a13: PUSH2 0x0a2e 00000a16: JUMPI 00000a17: PUSH1 0x40 00000a19: MLOAD 00000a1a: PUSH3 0x461bcd 00000a1e: PUSH1 0xe5 00000a20: SHL 00000a21: DUP2 00000a22: MSTORE 00000a23: PUSH1 0x04 00000a25: ADD 00000a26: PUSH2 0x01e2 00000a29: SWAP1 00000a2a: PUSH2 0x2b7e 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: DUP2 00000a30: ISZERO 00000a31: PUSH2 0x0aee 00000a34: JUMPI 00000a35: PUSH1 0x40 00000a37: MLOAD 00000a38: PUSH4 0x23b872dd 00000a3d: PUSH1 0xe0 00000a3f: SHL 00000a40: DUP2 00000a41: MSTORE 00000a42: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 00000a57: SWAP1 00000a58: PUSH4 0x23b872dd 00000a5d: SWAP1 00000a5e: PUSH2 0x0a6f 00000a61: SWAP1 00000a62: CALLER 00000a63: SWAP1 00000a64: ADDRESS 00000a65: SWAP1 00000a66: DUP8 00000a67: SWAP1 00000a68: PUSH1 0x04 00000a6a: ADD 00000a6b: PUSH2 0x2a24 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: PUSH1 0x20 00000a72: PUSH1 0x40 00000a74: MLOAD 00000a75: DUP1 00000a76: DUP4 00000a77: SUB 00000a78: DUP2 00000a79: PUSH1 0x00 00000a7b: DUP8 00000a7c: DUP1 00000a7d: EXTCODESIZE 00000a7e: ISZERO 00000a7f: DUP1 00000a80: ISZERO 00000a81: PUSH2 0x0a89 00000a84: JUMPI 00000a85: PUSH1 0x00 00000a87: DUP1 00000a88: REVERT 00000a89: JUMPDEST 00000a8a: POP 00000a8b: GAS 00000a8c: CALL 00000a8d: ISZERO 00000a8e: DUP1 00000a8f: ISZERO 00000a90: PUSH2 0x0a9d 00000a93: JUMPI 00000a94: RETURNDATASIZE 00000a95: PUSH1 0x00 00000a97: DUP1 00000a98: RETURNDATACOPY 00000a99: RETURNDATASIZE 00000a9a: PUSH1 0x00 00000a9c: REVERT 00000a9d: JUMPDEST 00000a9e: POP 00000a9f: POP 00000aa0: POP 00000aa1: POP 00000aa2: PUSH1 0x40 00000aa4: MLOAD 00000aa5: RETURNDATASIZE 00000aa6: PUSH1 0x1f 00000aa8: NOT 00000aa9: PUSH1 0x1f 00000aab: DUP3 00000aac: ADD 00000aad: AND 00000aae: DUP3 00000aaf: ADD 00000ab0: DUP1 00000ab1: PUSH1 0x40 00000ab3: MSTORE 00000ab4: POP 00000ab5: DUP2 00000ab6: ADD 00000ab7: SWAP1 00000ab8: PUSH2 0x0ac1 00000abb: SWAP2 00000abc: SWAP1 00000abd: PUSH2 0x29ad 00000ac0: JUMP 00000ac1: JUMPDEST 00000ac2: PUSH2 0x0add 00000ac5: JUMPI 00000ac6: PUSH1 0x40 00000ac8: MLOAD 00000ac9: PUSH3 0x461bcd 00000acd: PUSH1 0xe5 00000acf: SHL 00000ad0: DUP2 00000ad1: MSTORE 00000ad2: PUSH1 0x04 00000ad4: ADD 00000ad5: PUSH2 0x01e2 00000ad8: SWAP1 00000ad9: PUSH2 0x2d68 00000adc: JUMP 00000add: JUMPDEST 00000ade: PUSH1 0x02 00000ae0: SLOAD 00000ae1: PUSH2 0x0aea 00000ae4: SWAP1 00000ae5: DUP4 00000ae6: PUSH2 0x2015 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH1 0x02 00000aed: SSTORE 00000aee: JUMPDEST 00000aef: POP 00000af0: POP 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH1 0x01 00000af5: PUSH1 0x01 00000af7: PUSH1 0xa0 00000af9: SHL 00000afa: SUB 00000afb: DUP2 00000afc: AND 00000afd: PUSH2 0x0b18 00000b00: JUMPI 00000b01: PUSH1 0x40 00000b03: MLOAD 00000b04: PUSH3 0x461bcd 00000b08: PUSH1 0xe5 00000b0a: SHL 00000b0b: DUP2 00000b0c: MSTORE 00000b0d: PUSH1 0x04 00000b0f: ADD 00000b10: PUSH2 0x01e2 00000b13: SWAP1 00000b14: PUSH2 0x2ce8 00000b17: JUMP 00000b18: JUMPDEST 00000b19: PUSH1 0x01 00000b1b: PUSH1 0x01 00000b1d: PUSH1 0xa0 00000b1f: SHL 00000b20: SUB 00000b21: DUP2 00000b22: AND 00000b23: PUSH1 0x00 00000b25: SWAP1 00000b26: DUP2 00000b27: MSTORE 00000b28: PUSH1 0x08 00000b2a: PUSH1 0x20 00000b2c: DUP2 00000b2d: DUP2 00000b2e: MSTORE 00000b2f: PUSH1 0x40 00000b31: DUP1 00000b32: DUP5 00000b33: KECCAK256 00000b34: DUP2 00000b35: MLOAD 00000b36: PUSH2 0x0180 00000b39: DUP2 00000b3a: ADD 00000b3b: DUP4 00000b3c: MSTORE 00000b3d: DUP2 00000b3e: SLOAD 00000b3f: DUP2 00000b40: MSTORE 00000b41: PUSH1 0x01 00000b43: DUP3 00000b44: ADD 00000b45: SLOAD 00000b46: SWAP4 00000b47: DUP2 00000b48: ADD 00000b49: SWAP4 00000b4a: SWAP1 00000b4b: SWAP4 00000b4c: MSTORE 00000b4d: PUSH1 0x02 00000b4f: DUP2 00000b50: ADD 00000b51: SLOAD 00000b52: SWAP2 00000b53: DUP4 00000b54: ADD 00000b55: SWAP2 00000b56: SWAP1 00000b57: SWAP2 00000b58: MSTORE 00000b59: PUSH1 0x03 00000b5b: DUP2 00000b5c: ADD 00000b5d: SLOAD 00000b5e: PUSH1 0x60 00000b60: DUP4 00000b61: ADD 00000b62: MSTORE 00000b63: PUSH1 0x04 00000b65: DUP2 00000b66: ADD 00000b67: SLOAD 00000b68: PUSH1 0x80 00000b6a: DUP4 00000b6b: ADD 00000b6c: MSTORE 00000b6d: PUSH1 0x05 00000b6f: DUP2 00000b70: ADD 00000b71: SLOAD 00000b72: PUSH1 0xa0 00000b74: DUP4 00000b75: ADD 00000b76: MSTORE 00000b77: PUSH1 0x06 00000b79: DUP2 00000b7a: ADD 00000b7b: SLOAD 00000b7c: PUSH1 0xc0 00000b7e: DUP4 00000b7f: ADD 00000b80: MSTORE 00000b81: PUSH1 0x07 00000b83: DUP2 00000b84: ADD 00000b85: SLOAD 00000b86: PUSH1 0xe0 00000b88: DUP4 00000b89: ADD 00000b8a: MSTORE 00000b8b: SWAP2 00000b8c: DUP3 00000b8d: ADD 00000b8e: SLOAD 00000b8f: PUSH2 0x0100 00000b92: DUP3 00000b93: ADD 00000b94: MSTORE 00000b95: PUSH1 0x09 00000b97: DUP3 00000b98: ADD 00000b99: SLOAD 00000b9a: PUSH2 0x0120 00000b9d: DUP3 00000b9e: ADD 00000b9f: MSTORE 00000ba0: PUSH1 0x0a 00000ba2: DUP3 00000ba3: ADD 00000ba4: SLOAD 00000ba5: PUSH2 0x0140 00000ba8: DUP3 00000ba9: ADD 00000baa: MSTORE 00000bab: PUSH1 0x0b 00000bad: DUP3 00000bae: ADD 00000baf: SLOAD 00000bb0: PUSH1 0xff 00000bb2: AND 00000bb3: ISZERO 00000bb4: ISZERO 00000bb5: PUSH2 0x0160 00000bb8: DUP3 00000bb9: ADD 00000bba: MSTORE 00000bbb: SWAP1 00000bbc: SWAP2 00000bbd: PUSH2 0x0aee 00000bc0: SWAP2 00000bc1: SWAP1 00000bc2: DUP5 00000bc3: SWAP1 00000bc4: DUP1 00000bc5: DUP1 00000bc6: PUSH2 0x189e 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: PUSH1 0x09 00000bcd: PUSH1 0x20 00000bcf: MSTORE 00000bd0: PUSH1 0x00 00000bd2: SWAP1 00000bd3: DUP2 00000bd4: MSTORE 00000bd5: PUSH1 0x40 00000bd7: SWAP1 00000bd8: KECCAK256 00000bd9: SLOAD 00000bda: PUSH1 0xff 00000bdc: AND 00000bdd: DUP2 00000bde: JUMP 00000bdf: JUMPDEST 00000be0: PUSH1 0x03 00000be2: DUP2 00000be3: JUMP 00000be4: JUMPDEST 00000be5: PUSH2 0x0bec 00000be8: PUSH2 0x20f3 00000beb: JUMP 00000bec: JUMPDEST 00000bed: PUSH1 0x01 00000bef: PUSH1 0x01 00000bf1: PUSH1 0xa0 00000bf3: SHL 00000bf4: SUB 00000bf5: SWAP2 00000bf6: SWAP1 00000bf7: SWAP2 00000bf8: AND 00000bf9: PUSH1 0x00 00000bfb: SWAP1 00000bfc: DUP2 00000bfd: MSTORE 00000bfe: PUSH1 0x09 00000c00: PUSH1 0x20 00000c02: MSTORE 00000c03: PUSH1 0x40 00000c05: SWAP1 00000c06: KECCAK256 00000c07: DUP1 00000c08: SLOAD 00000c09: PUSH1 0xff 00000c0b: NOT 00000c0c: AND 00000c0d: SWAP2 00000c0e: ISZERO 00000c0f: ISZERO 00000c10: SWAP2 00000c11: SWAP1 00000c12: SWAP2 00000c13: OR 00000c14: SWAP1 00000c15: SSTORE 00000c16: JUMP 00000c17: JUMPDEST 00000c18: PUSH1 0x01 00000c1a: PUSH1 0x01 00000c1c: PUSH1 0xa0 00000c1e: SHL 00000c1f: SUB 00000c20: DUP4 00000c21: AND 00000c22: PUSH2 0x0c3d 00000c25: JUMPI 00000c26: PUSH1 0x40 00000c28: MLOAD 00000c29: PUSH3 0x461bcd 00000c2d: PUSH1 0xe5 00000c2f: SHL 00000c30: DUP2 00000c31: MSTORE 00000c32: PUSH1 0x04 00000c34: ADD 00000c35: PUSH2 0x01e2 00000c38: SWAP1 00000c39: PUSH2 0x2bc0 00000c3c: JUMP 00000c3d: JUMPDEST 00000c3e: PUSH1 0x01 00000c40: PUSH1 0x01 00000c42: PUSH1 0xa0 00000c44: SHL 00000c45: SUB 00000c46: DUP4 00000c47: AND 00000c48: PUSH1 0x00 00000c4a: SWAP1 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH1 0x08 00000c4f: PUSH1 0x20 00000c51: DUP2 00000c52: DUP2 00000c53: MSTORE 00000c54: PUSH1 0x40 00000c56: SWAP3 00000c57: DUP4 00000c58: SWAP1 00000c59: KECCAK256 00000c5a: DUP4 00000c5b: MLOAD 00000c5c: PUSH2 0x0180 00000c5f: DUP2 00000c60: ADD 00000c61: DUP6 00000c62: MSTORE 00000c63: DUP2 00000c64: SLOAD 00000c65: DUP2 00000c66: MSTORE 00000c67: PUSH1 0x01 00000c69: DUP3 00000c6a: ADD 00000c6b: SLOAD 00000c6c: SWAP3 00000c6d: DUP2 00000c6e: ADD 00000c6f: SWAP3 00000c70: SWAP1 00000c71: SWAP3 00000c72: MSTORE 00000c73: PUSH1 0x02 00000c75: DUP2 00000c76: ADD 00000c77: SLOAD 00000c78: SWAP4 00000c79: DUP3 00000c7a: ADD 00000c7b: SWAP4 00000c7c: SWAP1 00000c7d: SWAP4 00000c7e: MSTORE 00000c7f: PUSH1 0x03 00000c81: DUP4 00000c82: ADD 00000c83: SLOAD 00000c84: PUSH1 0x60 00000c86: DUP3 00000c87: ADD 00000c88: MSTORE 00000c89: PUSH1 0x04 00000c8b: DUP4 00000c8c: ADD 00000c8d: SLOAD 00000c8e: PUSH1 0x80 00000c90: DUP3 00000c91: ADD 00000c92: MSTORE 00000c93: PUSH1 0x05 00000c95: DUP4 00000c96: ADD 00000c97: SLOAD 00000c98: PUSH1 0xa0 00000c9a: DUP3 00000c9b: ADD 00000c9c: MSTORE 00000c9d: PUSH1 0x06 00000c9f: DUP4 00000ca0: ADD 00000ca1: SLOAD 00000ca2: PUSH1 0xc0 00000ca4: DUP3 00000ca5: ADD 00000ca6: MSTORE 00000ca7: PUSH1 0x07 00000ca9: DUP4 00000caa: ADD 00000cab: SLOAD 00000cac: PUSH1 0xe0 00000cae: DUP3 00000caf: ADD 00000cb0: MSTORE 00000cb1: SWAP1 00000cb2: DUP3 00000cb3: ADD 00000cb4: SLOAD 00000cb5: PUSH2 0x0100 00000cb8: DUP3 00000cb9: ADD 00000cba: MSTORE 00000cbb: PUSH1 0x09 00000cbd: DUP3 00000cbe: ADD 00000cbf: SLOAD 00000cc0: PUSH2 0x0120 00000cc3: DUP3 00000cc4: ADD 00000cc5: MSTORE 00000cc6: PUSH1 0x0a 00000cc8: DUP3 00000cc9: ADD 00000cca: SLOAD 00000ccb: PUSH2 0x0140 00000cce: DUP3 00000ccf: ADD 00000cd0: MSTORE 00000cd1: PUSH1 0x0b 00000cd3: SWAP1 00000cd4: SWAP2 00000cd5: ADD 00000cd6: SLOAD 00000cd7: PUSH1 0xff 00000cd9: AND 00000cda: ISZERO 00000cdb: ISZERO 00000cdc: PUSH2 0x0160 00000cdf: DUP3 00000ce0: ADD 00000ce1: MSTORE 00000ce2: DUP2 00000ce3: ISZERO 00000ce4: PUSH2 0x0d0c 00000ce7: JUMPI 00000ce8: PUSH1 0x02 00000cea: DUP2 00000ceb: PUSH2 0x0120 00000cee: ADD 00000cef: MLOAD 00000cf0: LT 00000cf1: PUSH2 0x0d0c 00000cf4: JUMPI 00000cf5: PUSH1 0x40 00000cf7: MLOAD 00000cf8: PUSH3 0x461bcd 00000cfc: PUSH1 0xe5 00000cfe: SHL 00000cff: DUP2 00000d00: MSTORE 00000d01: PUSH1 0x04 00000d03: ADD 00000d04: PUSH2 0x01e2 00000d07: SWAP1 00000d08: PUSH2 0x30c6 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: PUSH2 0x0d1a 00000d10: DUP2 00000d11: DUP6 00000d12: DUP6 00000d13: DUP6 00000d14: PUSH1 0x00 00000d16: PUSH2 0x189e 00000d19: JUMP 00000d1a: JUMPDEST 00000d1b: POP 00000d1c: POP 00000d1d: POP 00000d1e: POP 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: PUSH1 0x04 00000d23: SLOAD 00000d24: PUSH1 0x05 00000d26: SLOAD 00000d27: PUSH1 0x06 00000d29: SLOAD 00000d2a: DUP4 00000d2b: JUMP 00000d2c: JUMPDEST 00000d2d: PUSH2 0x0d34 00000d30: PUSH2 0x20f3 00000d33: JUMP 00000d34: JUMPDEST 00000d35: PUSH1 0x00 00000d37: SLOAD 00000d38: PUSH1 0xff 00000d3a: AND 00000d3b: ISZERO 00000d3c: ISZERO 00000d3d: PUSH1 0x01 00000d3f: EQ 00000d40: ISZERO 00000d41: PUSH2 0x0dd3 00000d44: JUMPI 00000d45: PUSH1 0x01 00000d47: PUSH1 0x01 00000d49: PUSH1 0xa0 00000d4b: SHL 00000d4c: SUB 00000d4d: DUP3 00000d4e: AND 00000d4f: PUSH20 0xfcfc434ee5bff924222e084a8876eee74ea7cfba 00000d64: EQ 00000d65: DUP1 00000d66: ISZERO 00000d67: SWAP1 00000d68: PUSH2 0x0d8e 00000d6b: JUMPI 00000d6c: POP 00000d6d: PUSH1 0x01 00000d6f: PUSH1 0x01 00000d71: PUSH1 0xa0 00000d73: SHL 00000d74: SUB 00000d75: DUP3 00000d76: AND 00000d77: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 00000d8c: EQ 00000d8d: ISZERO 00000d8e: JUMPDEST 00000d8f: DUP1 00000d90: ISZERO 00000d91: PUSH2 0x0db7 00000d94: JUMPI 00000d95: POP 00000d96: PUSH1 0x01 00000d98: PUSH1 0x01 00000d9a: PUSH1 0xa0 00000d9c: SHL 00000d9d: SUB 00000d9e: DUP3 00000d9f: AND 00000da0: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000db5: EQ 00000db6: ISZERO 00000db7: JUMPDEST 00000db8: PUSH2 0x0dd3 00000dbb: JUMPI 00000dbc: PUSH1 0x40 00000dbe: MLOAD 00000dbf: PUSH3 0x461bcd 00000dc3: PUSH1 0xe5 00000dc5: SHL 00000dc6: DUP2 00000dc7: MSTORE 00000dc8: PUSH1 0x04 00000dca: ADD 00000dcb: PUSH2 0x01e2 00000dce: SWAP1 00000dcf: PUSH2 0x2eff 00000dd2: JUMP 00000dd3: JUMPDEST 00000dd4: PUSH1 0x40 00000dd6: MLOAD 00000dd7: PUSH4 0xa9059cbb 00000ddc: PUSH1 0xe0 00000dde: SHL 00000ddf: DUP2 00000de0: MSTORE 00000de1: PUSH1 0x01 00000de3: PUSH1 0x01 00000de5: PUSH1 0xa0 00000de7: SHL 00000de8: SUB 00000de9: DUP4 00000dea: AND 00000deb: SWAP1 00000dec: PUSH4 0xa9059cbb 00000df1: SWAP1 00000df2: PUSH2 0x0e01 00000df5: SWAP1 00000df6: CALLER 00000df7: SWAP1 00000df8: DUP6 00000df9: SWAP1 00000dfa: PUSH1 0x04 00000dfc: ADD 00000dfd: PUSH2 0x2a73 00000e00: JUMP 00000e01: JUMPDEST 00000e02: PUSH1 0x20 00000e04: PUSH1 0x40 00000e06: MLOAD 00000e07: DUP1 00000e08: DUP4 00000e09: SUB 00000e0a: DUP2 00000e0b: PUSH1 0x00 00000e0d: DUP8 00000e0e: DUP1 00000e0f: EXTCODESIZE 00000e10: ISZERO 00000e11: DUP1 00000e12: ISZERO 00000e13: PUSH2 0x0e1b 00000e16: JUMPI 00000e17: PUSH1 0x00 00000e19: DUP1 00000e1a: REVERT 00000e1b: JUMPDEST 00000e1c: POP 00000e1d: GAS 00000e1e: CALL 00000e1f: ISZERO 00000e20: DUP1 00000e21: ISZERO 00000e22: PUSH2 0x0e2f 00000e25: JUMPI 00000e26: RETURNDATASIZE 00000e27: PUSH1 0x00 00000e29: DUP1 00000e2a: RETURNDATACOPY 00000e2b: RETURNDATASIZE 00000e2c: PUSH1 0x00 00000e2e: REVERT 00000e2f: JUMPDEST 00000e30: POP 00000e31: POP 00000e32: POP 00000e33: POP 00000e34: PUSH1 0x40 00000e36: MLOAD 00000e37: RETURNDATASIZE 00000e38: PUSH1 0x1f 00000e3a: NOT 00000e3b: PUSH1 0x1f 00000e3d: DUP3 00000e3e: ADD 00000e3f: AND 00000e40: DUP3 00000e41: ADD 00000e42: DUP1 00000e43: PUSH1 0x40 00000e45: MSTORE 00000e46: POP 00000e47: DUP2 00000e48: ADD 00000e49: SWAP1 00000e4a: PUSH2 0x06cc 00000e4d: SWAP2 00000e4e: SWAP1 00000e4f: PUSH2 0x29ad 00000e52: JUMP 00000e53: JUMPDEST 00000e54: CALLER 00000e55: PUSH1 0x00 00000e57: DUP2 00000e58: DUP2 00000e59: MSTORE 00000e5a: PUSH1 0x08 00000e5c: PUSH1 0x20 00000e5e: DUP2 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x40 00000e63: DUP1 00000e64: DUP5 00000e65: KECCAK256 00000e66: DUP2 00000e67: MLOAD 00000e68: PUSH2 0x0180 00000e6b: DUP2 00000e6c: ADD 00000e6d: DUP4 00000e6e: MSTORE 00000e6f: DUP2 00000e70: SLOAD 00000e71: DUP2 00000e72: MSTORE 00000e73: PUSH1 0x01 00000e75: DUP1 00000e76: DUP4 00000e77: ADD 00000e78: SLOAD 00000e79: SWAP5 00000e7a: DUP3 00000e7b: ADD 00000e7c: SWAP5 00000e7d: SWAP1 00000e7e: SWAP5 00000e7f: MSTORE 00000e80: PUSH1 0x02 00000e82: DUP3 00000e83: ADD 00000e84: SLOAD 00000e85: SWAP3 00000e86: DUP2 00000e87: ADD 00000e88: SWAP3 00000e89: SWAP1 00000e8a: SWAP3 00000e8b: MSTORE 00000e8c: PUSH1 0x03 00000e8e: DUP2 00000e8f: ADD 00000e90: SLOAD 00000e91: PUSH1 0x60 00000e93: DUP4 00000e94: ADD 00000e95: MSTORE 00000e96: PUSH1 0x04 00000e98: DUP2 00000e99: ADD 00000e9a: SLOAD 00000e9b: PUSH1 0x80 00000e9d: DUP4 00000e9e: ADD 00000e9f: MSTORE 00000ea0: PUSH1 0x05 00000ea2: DUP2 00000ea3: ADD 00000ea4: SLOAD 00000ea5: PUSH1 0xa0 00000ea7: DUP4 00000ea8: ADD 00000ea9: MSTORE 00000eaa: PUSH1 0x06 00000eac: DUP2 00000ead: ADD 00000eae: SLOAD 00000eaf: PUSH1 0xc0 00000eb1: DUP4 00000eb2: ADD 00000eb3: MSTORE 00000eb4: PUSH1 0x07 00000eb6: DUP2 00000eb7: ADD 00000eb8: SLOAD 00000eb9: PUSH1 0xe0 00000ebb: DUP4 00000ebc: ADD 00000ebd: MSTORE 00000ebe: SWAP3 00000ebf: DUP4 00000ec0: ADD 00000ec1: SLOAD 00000ec2: PUSH2 0x0100 00000ec5: DUP3 00000ec6: ADD 00000ec7: MSTORE 00000ec8: PUSH1 0x09 00000eca: DUP4 00000ecb: ADD 00000ecc: SLOAD 00000ecd: PUSH2 0x0120 00000ed0: DUP3 00000ed1: ADD 00000ed2: MSTORE 00000ed3: PUSH1 0x0a 00000ed5: DUP4 00000ed6: ADD 00000ed7: SLOAD 00000ed8: PUSH2 0x0140 00000edb: DUP3 00000edc: ADD 00000edd: MSTORE 00000ede: PUSH1 0x0b 00000ee0: SWAP1 00000ee1: SWAP3 00000ee2: ADD 00000ee3: SLOAD 00000ee4: PUSH1 0xff 00000ee6: AND 00000ee7: ISZERO 00000ee8: ISZERO 00000ee9: PUSH2 0x0160 00000eec: DUP4 00000eed: ADD 00000eee: MSTORE 00000eef: SWAP1 00000ef0: SWAP3 00000ef1: PUSH2 0x0aee 00000ef4: SWAP3 00000ef5: DUP5 00000ef6: SWAP3 00000ef7: DUP7 00000ef8: SWAP1 00000ef9: PUSH2 0x189e 00000efc: JUMP 00000efd: JUMPDEST 00000efe: PUSH1 0x01 00000f00: PUSH1 0x01 00000f02: PUSH1 0xa0 00000f04: SHL 00000f05: SUB 00000f06: DUP2 00000f07: AND 00000f08: PUSH1 0x00 00000f0a: SWAP1 00000f0b: DUP2 00000f0c: MSTORE 00000f0d: PUSH1 0x07 00000f0f: PUSH1 0x20 00000f11: SWAP1 00000f12: DUP2 00000f13: MSTORE 00000f14: PUSH1 0x40 00000f16: SWAP2 00000f17: DUP3 00000f18: SWAP1 00000f19: KECCAK256 00000f1a: DUP1 00000f1b: SLOAD 00000f1c: DUP4 00000f1d: MLOAD 00000f1e: DUP2 00000f1f: DUP5 00000f20: MUL 00000f21: DUP2 00000f22: ADD 00000f23: DUP5 00000f24: ADD 00000f25: SWAP1 00000f26: SWAP5 00000f27: MSTORE 00000f28: DUP1 00000f29: DUP5 00000f2a: MSTORE 00000f2b: PUSH1 0x60 00000f2d: SWAP4 00000f2e: SWAP3 00000f2f: DUP4 00000f30: ADD 00000f31: DUP3 00000f32: DUP3 00000f33: DUP1 00000f34: ISZERO 00000f35: PUSH2 0x0f67 00000f38: JUMPI 00000f39: PUSH1 0x20 00000f3b: MUL 00000f3c: DUP3 00000f3d: ADD 00000f3e: SWAP2 00000f3f: SWAP1 00000f40: PUSH1 0x00 00000f42: MSTORE 00000f43: PUSH1 0x20 00000f45: PUSH1 0x00 00000f47: KECCAK256 00000f48: SWAP1 00000f49: JUMPDEST 00000f4a: DUP2 00000f4b: SLOAD 00000f4c: PUSH1 0x01 00000f4e: PUSH1 0x01 00000f50: PUSH1 0xa0 00000f52: SHL 00000f53: SUB 00000f54: AND 00000f55: DUP2 00000f56: MSTORE 00000f57: PUSH1 0x01 00000f59: SWAP1 00000f5a: SWAP2 00000f5b: ADD 00000f5c: SWAP1 00000f5d: PUSH1 0x20 00000f5f: ADD 00000f60: DUP1 00000f61: DUP4 00000f62: GT 00000f63: PUSH2 0x0f49 00000f66: JUMPI 00000f67: JUMPDEST 00000f68: POP 00000f69: POP 00000f6a: POP 00000f6b: POP 00000f6c: POP 00000f6d: SWAP1 00000f6e: POP 00000f6f: SWAP2 00000f70: SWAP1 00000f71: POP 00000f72: JUMP 00000f73: JUMPDEST 00000f74: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000f89: DUP2 00000f8a: JUMP 00000f8b: JUMPDEST 00000f8c: PUSH20 0xfcfc434ee5bff924222e084a8876eee74ea7cfba 00000fa1: DUP2 00000fa2: JUMP 00000fa3: JUMPDEST 00000fa4: PUSH2 0x0fab 00000fa7: PUSH2 0x1aa8 00000faa: JUMP 00000fab: JUMPDEST 00000fac: CALLER 00000fad: PUSH1 0x00 00000faf: SWAP1 00000fb0: DUP2 00000fb1: MSTORE 00000fb2: PUSH1 0x08 00000fb4: PUSH1 0x20 00000fb6: MSTORE 00000fb7: PUSH1 0x40 00000fb9: SWAP1 00000fba: KECCAK256 00000fbb: PUSH1 0x0b 00000fbd: ADD 00000fbe: DUP1 00000fbf: SLOAD 00000fc0: PUSH1 0xff 00000fc2: NOT 00000fc3: AND 00000fc4: SWAP2 00000fc5: ISZERO 00000fc6: ISZERO 00000fc7: SWAP2 00000fc8: SWAP1 00000fc9: SWAP2 00000fca: OR 00000fcb: SWAP1 00000fcc: SSTORE 00000fcd: JUMP 00000fce: JUMPDEST 00000fcf: DUP1 00000fd0: ISZERO 00000fd1: PUSH2 0x0fee 00000fd4: JUMPI 00000fd5: PUSH2 0x0fdc 00000fd8: PUSH2 0x20f3 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH1 0x00 00000fdf: DUP1 00000fe0: SLOAD 00000fe1: PUSH1 0xff 00000fe3: NOT 00000fe4: AND 00000fe5: PUSH1 0x01 00000fe7: OR 00000fe8: SWAP1 00000fe9: SSTORE 00000fea: PUSH2 0x10c8 00000fed: JUMP 00000fee: JUMPDEST 00000fef: CALLER 00000ff0: PUSH1 0x00 00000ff2: SWAP1 00000ff3: DUP2 00000ff4: MSTORE 00000ff5: PUSH1 0x09 00000ff7: PUSH1 0x20 00000ff9: MSTORE 00000ffa: PUSH1 0x40 00000ffc: SWAP1 00000ffd: KECCAK256 00000ffe: SLOAD 00000fff: PUSH1 0xff 00001001: AND 00001002: DUP1 00001003: PUSH2 0x10a1 00001006: JUMPI 00001007: POP 00001008: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 0000101d: PUSH1 0x01 0000101f: PUSH1 0x01 00001021: PUSH1 0xa0 00001023: SHL 00001024: SUB 00001025: AND 00001026: PUSH4 0x5aa6e675 0000102b: PUSH1 0x40 0000102d: MLOAD 0000102e: DUP2 0000102f: PUSH4 0xffffffff 00001034: AND 00001035: PUSH1 0xe0 00001037: SHL 00001038: DUP2 00001039: MSTORE 0000103a: PUSH1 0x04 0000103c: ADD 0000103d: PUSH1 0x20 0000103f: PUSH1 0x40 00001041: MLOAD 00001042: DUP1 00001043: DUP4 00001044: SUB 00001045: DUP2 00001046: DUP7 00001047: DUP1 00001048: EXTCODESIZE 00001049: ISZERO 0000104a: DUP1 0000104b: ISZERO 0000104c: PUSH2 0x1054 0000104f: JUMPI 00001050: PUSH1 0x00 00001052: DUP1 00001053: REVERT 00001054: JUMPDEST 00001055: POP 00001056: GAS 00001057: STATICCALL 00001058: ISZERO 00001059: DUP1 0000105a: ISZERO 0000105b: PUSH2 0x1068 0000105e: JUMPI 0000105f: RETURNDATASIZE 00001060: PUSH1 0x00 00001062: DUP1 00001063: RETURNDATACOPY 00001064: RETURNDATASIZE 00001065: PUSH1 0x00 00001067: REVERT 00001068: JUMPDEST 00001069: POP 0000106a: POP 0000106b: POP 0000106c: POP 0000106d: PUSH1 0x40 0000106f: MLOAD 00001070: RETURNDATASIZE 00001071: PUSH1 0x1f 00001073: NOT 00001074: PUSH1 0x1f 00001076: DUP3 00001077: ADD 00001078: AND 00001079: DUP3 0000107a: ADD 0000107b: DUP1 0000107c: PUSH1 0x40 0000107e: MSTORE 0000107f: POP 00001080: DUP2 00001081: ADD 00001082: SWAP1 00001083: PUSH2 0x108c 00001086: SWAP2 00001087: SWAP1 00001088: PUSH2 0x28de 0000108b: JUMP 0000108c: JUMPDEST 0000108d: PUSH1 0x01 0000108f: PUSH1 0x01 00001091: PUSH1 0xa0 00001093: SHL 00001094: SUB 00001095: AND 00001096: CALLER 00001097: PUSH1 0x01 00001099: PUSH1 0x01 0000109b: PUSH1 0xa0 0000109d: SHL 0000109e: SUB 0000109f: AND 000010a0: EQ 000010a1: JUMPDEST 000010a2: PUSH2 0x10bd 000010a5: JUMPI 000010a6: PUSH1 0x40 000010a8: MLOAD 000010a9: PUSH3 0x461bcd 000010ad: PUSH1 0xe5 000010af: SHL 000010b0: DUP2 000010b1: MSTORE 000010b2: PUSH1 0x04 000010b4: ADD 000010b5: PUSH2 0x01e2 000010b8: SWAP1 000010b9: PUSH2 0x2ffb 000010bc: JUMP 000010bd: JUMPDEST 000010be: PUSH1 0x00 000010c0: DUP1 000010c1: SLOAD 000010c2: PUSH1 0xff 000010c4: NOT 000010c5: AND 000010c6: SWAP1 000010c7: SSTORE 000010c8: JUMPDEST 000010c9: POP 000010ca: JUMP 000010cb: JUMPDEST 000010cc: PUSH2 0x10d3 000010cf: PUSH2 0x1aa8 000010d2: JUMP 000010d3: JUMPDEST 000010d4: CALLER 000010d5: PUSH1 0x00 000010d7: SWAP1 000010d8: DUP2 000010d9: MSTORE 000010da: PUSH1 0x08 000010dc: PUSH1 0x20 000010de: DUP2 000010df: DUP2 000010e0: MSTORE 000010e1: PUSH1 0x40 000010e3: SWAP3 000010e4: DUP4 000010e5: SWAP1 000010e6: KECCAK256 000010e7: DUP4 000010e8: MLOAD 000010e9: PUSH2 0x0180 000010ec: DUP2 000010ed: ADD 000010ee: DUP6 000010ef: MSTORE 000010f0: DUP2 000010f1: SLOAD 000010f2: DUP2 000010f3: MSTORE 000010f4: PUSH1 0x01 000010f6: DUP3 000010f7: ADD 000010f8: SLOAD 000010f9: SWAP3 000010fa: DUP2 000010fb: ADD 000010fc: SWAP3 000010fd: SWAP1 000010fe: SWAP3 000010ff: MSTORE 00001100: PUSH1 0x02 00001102: DUP2 00001103: ADD 00001104: SLOAD 00001105: SWAP4 00001106: DUP3 00001107: ADD 00001108: SWAP4 00001109: SWAP1 0000110a: SWAP4 0000110b: MSTORE 0000110c: PUSH1 0x03 0000110e: DUP4 0000110f: ADD 00001110: SLOAD 00001111: PUSH1 0x60 00001113: DUP3 00001114: ADD 00001115: MSTORE 00001116: PUSH1 0x04 00001118: DUP4 00001119: ADD 0000111a: SLOAD 0000111b: PUSH1 0x80 0000111d: DUP3 0000111e: ADD 0000111f: MSTORE 00001120: PUSH1 0x05 00001122: DUP4 00001123: ADD 00001124: SLOAD 00001125: PUSH1 0xa0 00001127: DUP3 00001128: ADD 00001129: MSTORE 0000112a: PUSH1 0x06 0000112c: DUP4 0000112d: ADD 0000112e: SLOAD 0000112f: PUSH1 0xc0 00001131: DUP3 00001132: ADD 00001133: MSTORE 00001134: PUSH1 0x07 00001136: DUP4 00001137: ADD 00001138: SLOAD 00001139: PUSH1 0xe0 0000113b: DUP3 0000113c: ADD 0000113d: MSTORE 0000113e: SWAP1 0000113f: DUP3 00001140: ADD 00001141: SLOAD 00001142: PUSH2 0x0100 00001145: DUP3 00001146: ADD 00001147: MSTORE 00001148: PUSH1 0x09 0000114a: DUP3 0000114b: ADD 0000114c: SLOAD 0000114d: PUSH2 0x0120 00001150: DUP3 00001151: ADD 00001152: MSTORE 00001153: PUSH1 0x0a 00001155: DUP3 00001156: ADD 00001157: SLOAD 00001158: PUSH2 0x0140 0000115b: DUP3 0000115c: ADD 0000115d: MSTORE 0000115e: PUSH1 0x0b 00001160: DUP3 00001161: ADD 00001162: SLOAD 00001163: PUSH1 0xff 00001165: AND 00001166: ISZERO 00001167: ISZERO 00001168: PUSH2 0x0160 0000116b: DUP3 0000116c: ADD 0000116d: MSTORE 0000116e: DUP3 0000116f: PUSH2 0x118a 00001172: JUMPI 00001173: PUSH1 0x40 00001175: MLOAD 00001176: PUSH3 0x461bcd 0000117a: PUSH1 0xe5 0000117c: SHL 0000117d: DUP2 0000117e: MSTORE 0000117f: PUSH1 0x04 00001181: ADD 00001182: PUSH2 0x01e2 00001185: SWAP1 00001186: PUSH2 0x2ddb 00001189: JUMP 0000118a: JUMPDEST 0000118b: DUP3 0000118c: DUP2 0000118d: PUSH1 0xe0 0000118f: ADD 00001190: MLOAD 00001191: LT 00001192: ISZERO 00001193: PUSH2 0x11ae 00001196: JUMPI 00001197: PUSH1 0x40 00001199: MLOAD 0000119a: PUSH3 0x461bcd 0000119e: PUSH1 0xe5 000011a0: SHL 000011a1: DUP2 000011a2: MSTORE 000011a3: PUSH1 0x04 000011a5: ADD 000011a6: PUSH2 0x01e2 000011a9: SWAP1 000011aa: PUSH2 0x2dab 000011ad: JUMP 000011ae: JUMPDEST 000011af: PUSH1 0x00 000011b1: DUP1 000011b2: PUSH2 0x11bf 000011b5: PUSH1 0x04 000011b7: PUSH1 0x00 000011b9: ADD 000011ba: SLOAD 000011bb: PUSH2 0x1acc 000011be: JUMP 000011bf: JUMPDEST 000011c0: SWAP2 000011c1: POP 000011c2: SWAP2 000011c3: POP 000011c4: PUSH1 0x00 000011c6: DUP1 000011c7: PUSH1 0x00 000011c9: PUSH2 0x11d6 000011cc: PUSH2 0x0879 000011cf: DUP8 000011d0: DUP8 000011d1: DUP8 000011d2: PUSH2 0x1c3a 000011d5: JUMP 000011d6: JUMPDEST 000011d7: SWAP2 000011d8: SWAP5 000011d9: POP 000011da: SWAP3 000011db: POP 000011dc: SWAP1 000011dd: POP 000011de: DUP1 000011df: ISZERO 000011e0: PUSH2 0x11ed 000011e3: JUMPI 000011e4: PUSH2 0x11ed 000011e7: CALLER 000011e8: DUP3 000011e9: PUSH2 0x1d2a 000011ec: JUMP 000011ed: JUMPDEST 000011ee: DUP2 000011ef: ISZERO 000011f0: PUSH2 0x1206 000011f3: JUMPI 000011f4: PUSH2 0x1203 000011f7: DUP7 000011f8: DUP9 000011f9: PUSH1 0x00 000011fb: DUP6 000011fc: DUP8 000011fd: PUSH1 0x00 000011ff: PUSH2 0x1d63 00001202: JUMP 00001203: JUMPDEST 00001204: SWAP3 00001205: POP 00001206: JUMPDEST 00001207: PUSH1 0xe0 00001209: DUP7 0000120a: ADD 0000120b: DUP1 0000120c: MLOAD 0000120d: DUP10 0000120e: SWAP1 0000120f: SUB 00001210: SWAP1 00001211: DUP2 00001212: SWAP1 00001213: MSTORE 00001214: PUSH1 0x07 00001216: DUP9 00001217: ADD 00001218: SSTORE 00001219: PUSH2 0x1223 0000121c: DUP7 0000121d: DUP9 0000121e: DUP6 0000121f: PUSH2 0x1f8b 00001222: JUMP 00001223: JUMPDEST 00001224: PUSH2 0x1230 00001227: DUP8 00001228: DUP8 00001229: DUP8 0000122a: DUP8 0000122b: DUP8 0000122c: PUSH2 0x2078 0000122f: JUMP 00001230: JUMPDEST 00001231: PUSH1 0x40 00001233: MLOAD 00001234: PUSH4 0xa9059cbb 00001239: PUSH1 0xe0 0000123b: SHL 0000123c: DUP2 0000123d: MSTORE 0000123e: PUSH20 0xfcfc434ee5bff924222e084a8876eee74ea7cfba 00001253: SWAP1 00001254: PUSH4 0xa9059cbb 00001259: SWAP1 0000125a: PUSH2 0x1269 0000125d: SWAP1 0000125e: CALLER 0000125f: SWAP1 00001260: DUP13 00001261: SWAP1 00001262: PUSH1 0x04 00001264: ADD 00001265: PUSH2 0x2a73 00001268: JUMP 00001269: JUMPDEST 0000126a: PUSH1 0x20 0000126c: PUSH1 0x40 0000126e: MLOAD 0000126f: DUP1 00001270: DUP4 00001271: SUB 00001272: DUP2 00001273: PUSH1 0x00 00001275: DUP8 00001276: DUP1 00001277: EXTCODESIZE 00001278: ISZERO 00001279: DUP1 0000127a: ISZERO 0000127b: PUSH2 0x1283 0000127e: JUMPI 0000127f: PUSH1 0x00 00001281: DUP1 00001282: REVERT 00001283: JUMPDEST 00001284: POP 00001285: GAS 00001286: CALL 00001287: ISZERO 00001288: DUP1 00001289: ISZERO 0000128a: PUSH2 0x1297 0000128d: JUMPI 0000128e: RETURNDATASIZE 0000128f: PUSH1 0x00 00001291: DUP1 00001292: RETURNDATACOPY 00001293: RETURNDATASIZE 00001294: PUSH1 0x00 00001296: REVERT 00001297: JUMPDEST 00001298: POP 00001299: POP 0000129a: POP 0000129b: POP 0000129c: PUSH1 0x40 0000129e: MLOAD 0000129f: RETURNDATASIZE 000012a0: PUSH1 0x1f 000012a2: NOT 000012a3: PUSH1 0x1f 000012a5: DUP3 000012a6: ADD 000012a7: AND 000012a8: DUP3 000012a9: ADD 000012aa: DUP1 000012ab: PUSH1 0x40 000012ad: MSTORE 000012ae: POP 000012af: DUP2 000012b0: ADD 000012b1: SWAP1 000012b2: PUSH2 0x08f5 000012b5: SWAP2 000012b6: SWAP1 000012b7: PUSH2 0x29ad 000012ba: JUMP 000012bb: JUMPDEST 000012bc: CALLER 000012bd: PUSH1 0x00 000012bf: DUP2 000012c0: DUP2 000012c1: MSTORE 000012c2: PUSH1 0x08 000012c4: PUSH1 0x20 000012c6: DUP2 000012c7: DUP2 000012c8: MSTORE 000012c9: PUSH1 0x40 000012cb: DUP1 000012cc: DUP5 000012cd: KECCAK256 000012ce: DUP2 000012cf: MLOAD 000012d0: PUSH2 0x0180 000012d3: DUP2 000012d4: ADD 000012d5: DUP4 000012d6: MSTORE 000012d7: DUP2 000012d8: SLOAD 000012d9: DUP2 000012da: MSTORE 000012db: PUSH1 0x01 000012dd: DUP3 000012de: ADD 000012df: SLOAD 000012e0: SWAP4 000012e1: DUP2 000012e2: ADD 000012e3: SWAP4 000012e4: SWAP1 000012e5: SWAP4 000012e6: MSTORE 000012e7: PUSH1 0x02 000012e9: DUP2 000012ea: ADD 000012eb: SLOAD 000012ec: SWAP2 000012ed: DUP4 000012ee: ADD 000012ef: SWAP2 000012f0: SWAP1 000012f1: SWAP2 000012f2: MSTORE 000012f3: PUSH1 0x03 000012f5: DUP2 000012f6: ADD 000012f7: SLOAD 000012f8: PUSH1 0x60 000012fa: DUP4 000012fb: ADD 000012fc: MSTORE 000012fd: PUSH1 0x04 000012ff: DUP2 00001300: ADD 00001301: SLOAD 00001302: PUSH1 0x80 00001304: DUP4 00001305: ADD 00001306: MSTORE 00001307: PUSH1 0x05 00001309: DUP2 0000130a: ADD 0000130b: SLOAD 0000130c: PUSH1 0xa0 0000130e: DUP4 0000130f: ADD 00001310: MSTORE 00001311: PUSH1 0x06 00001313: DUP2 00001314: ADD 00001315: SLOAD 00001316: PUSH1 0xc0 00001318: DUP4 00001319: ADD 0000131a: MSTORE 0000131b: PUSH1 0x07 0000131d: DUP2 0000131e: ADD 0000131f: SLOAD 00001320: PUSH1 0xe0 00001322: DUP4 00001323: ADD 00001324: MSTORE 00001325: SWAP2 00001326: DUP3 00001327: ADD 00001328: SLOAD 00001329: PUSH2 0x0100 0000132c: DUP3 0000132d: ADD 0000132e: MSTORE 0000132f: PUSH1 0x09 00001331: DUP3 00001332: ADD 00001333: SLOAD 00001334: PUSH2 0x0120 00001337: DUP3 00001338: ADD 00001339: MSTORE 0000133a: PUSH1 0x0a 0000133c: DUP3 0000133d: ADD 0000133e: SLOAD 0000133f: PUSH2 0x0140 00001342: DUP3 00001343: ADD 00001344: MSTORE 00001345: PUSH1 0x0b 00001347: SWAP1 00001348: SWAP2 00001349: ADD 0000134a: SLOAD 0000134b: PUSH1 0xff 0000134d: AND 0000134e: ISZERO 0000134f: ISZERO 00001350: PUSH2 0x0160 00001353: DUP3 00001354: ADD 00001355: MSTORE 00001356: SWAP2 00001357: PUSH2 0x06cc 0000135a: SWAP2 0000135b: DUP4 0000135c: SWAP2 0000135d: SWAP1 0000135e: DUP7 0000135f: SWAP1 00001360: DUP7 00001361: SWAP1 00001362: PUSH2 0x189e 00001365: JUMP 00001366: JUMPDEST 00001367: PUSH1 0xc8 00001369: DUP2 0000136a: JUMP 0000136b: JUMPDEST 0000136c: PUSH2 0x1373 0000136f: PUSH2 0x1aa8 00001372: JUMP 00001373: JUMPDEST 00001374: CALLER 00001375: PUSH1 0x00 00001377: SWAP1 00001378: DUP2 00001379: MSTORE 0000137a: PUSH1 0x08 0000137c: PUSH1 0x20 0000137e: DUP2 0000137f: DUP2 00001380: MSTORE 00001381: PUSH1 0x40 00001383: DUP1 00001384: DUP5 00001385: KECCAK256 00001386: DUP2 00001387: MLOAD 00001388: PUSH2 0x0180 0000138b: DUP2 0000138c: ADD 0000138d: DUP4 0000138e: MSTORE 0000138f: DUP2 00001390: SLOAD 00001391: DUP2 00001392: MSTORE 00001393: PUSH1 0x01 00001395: DUP3 00001396: ADD 00001397: SLOAD 00001398: SWAP4 00001399: DUP2 0000139a: ADD 0000139b: SWAP4 0000139c: SWAP1 0000139d: SWAP4 0000139e: MSTORE 0000139f: PUSH1 0x02 000013a1: DUP2 000013a2: ADD 000013a3: SLOAD 000013a4: SWAP2 000013a5: DUP4 000013a6: ADD 000013a7: SWAP2 000013a8: SWAP1 000013a9: SWAP2 000013aa: MSTORE 000013ab: PUSH1 0x03 000013ad: DUP2 000013ae: ADD 000013af: SLOAD 000013b0: PUSH1 0x60 000013b2: DUP4 000013b3: ADD 000013b4: MSTORE 000013b5: PUSH1 0x04 000013b7: DUP1 000013b8: DUP3 000013b9: ADD 000013ba: SLOAD 000013bb: PUSH1 0x80 000013bd: DUP5 000013be: ADD 000013bf: MSTORE 000013c0: PUSH1 0x05 000013c2: DUP3 000013c3: ADD 000013c4: SLOAD 000013c5: PUSH1 0xa0 000013c7: DUP5 000013c8: ADD 000013c9: MSTORE 000013ca: PUSH1 0x06 000013cc: DUP3 000013cd: ADD 000013ce: SLOAD 000013cf: PUSH1 0xc0 000013d1: DUP5 000013d2: ADD 000013d3: MSTORE 000013d4: PUSH1 0x07 000013d6: DUP3 000013d7: ADD 000013d8: SLOAD 000013d9: PUSH1 0xe0 000013db: DUP5 000013dc: ADD 000013dd: MSTORE 000013de: SWAP3 000013df: DUP2 000013e0: ADD 000013e1: SLOAD 000013e2: PUSH2 0x0100 000013e5: DUP4 000013e6: ADD 000013e7: MSTORE 000013e8: PUSH1 0x09 000013ea: DUP2 000013eb: ADD 000013ec: SLOAD 000013ed: PUSH2 0x0120 000013f0: DUP4 000013f1: ADD 000013f2: MSTORE 000013f3: PUSH1 0x0a 000013f5: DUP2 000013f6: ADD 000013f7: SLOAD 000013f8: PUSH2 0x0140 000013fb: DUP4 000013fc: ADD 000013fd: MSTORE 000013fe: PUSH1 0x0b 00001400: DUP2 00001401: ADD 00001402: SLOAD 00001403: PUSH1 0xff 00001405: AND 00001406: ISZERO 00001407: ISZERO 00001408: PUSH2 0x0160 0000140b: DUP4 0000140c: ADD 0000140d: MSTORE 0000140e: SWAP2 0000140f: SLOAD 00001410: SWAP2 00001411: SWAP3 00001412: SWAP1 00001413: SWAP2 00001414: DUP2 00001415: SWAP1 00001416: PUSH2 0x141e 00001419: SWAP1 0000141a: PUSH2 0x1acc 0000141d: JUMP 0000141e: JUMPDEST 0000141f: PUSH1 0x40 00001421: DUP6 00001422: ADD 00001423: MLOAD 00001424: SWAP2 00001425: SWAP4 00001426: POP 00001427: SWAP2 00001428: POP 00001429: PUSH1 0x00 0000142b: DUP1 0000142c: PUSH2 0x1439 0000142f: PUSH2 0x0879 00001432: DUP8 00001433: DUP8 00001434: DUP8 00001435: PUSH2 0x1c3a 00001438: JUMP 00001439: JUMPDEST 0000143a: SWAP1 0000143b: SWAP4 0000143c: POP 0000143d: SWAP2 0000143e: POP 0000143f: POP 00001440: DUP1 00001441: ISZERO 00001442: PUSH2 0x144f 00001445: JUMPI 00001446: PUSH2 0x144f 00001449: CALLER 0000144a: DUP3 0000144b: PUSH2 0x1d2a 0000144e: JUMP 0000144f: JUMPDEST 00001450: PUSH1 0xe0 00001452: DUP7 00001453: ADD 00001454: MLOAD 00001455: ISZERO 00001456: PUSH2 0x14e9 00001459: JUMPI 0000145a: PUSH1 0xe0 0000145c: DUP7 0000145d: ADD 0000145e: MLOAD 0000145f: PUSH1 0x40 00001461: MLOAD 00001462: PUSH4 0xa9059cbb 00001467: PUSH1 0xe0 00001469: SHL 0000146a: DUP2 0000146b: MSTORE 0000146c: PUSH20 0xfcfc434ee5bff924222e084a8876eee74ea7cfba 00001481: SWAP2 00001482: PUSH4 0xa9059cbb 00001487: SWAP2 00001488: PUSH2 0x1495 0000148b: SWAP2 0000148c: CALLER 0000148d: SWAP2 0000148e: PUSH1 0x04 00001490: ADD 00001491: PUSH2 0x2a73 00001494: JUMP 00001495: JUMPDEST 00001496: PUSH1 0x20 00001498: PUSH1 0x40 0000149a: MLOAD 0000149b: DUP1 0000149c: DUP4 0000149d: SUB 0000149e: DUP2 0000149f: PUSH1 0x00 000014a1: DUP8 000014a2: DUP1 000014a3: EXTCODESIZE 000014a4: ISZERO 000014a5: DUP1 000014a6: ISZERO 000014a7: PUSH2 0x14af 000014aa: JUMPI 000014ab: PUSH1 0x00 000014ad: DUP1 000014ae: REVERT 000014af: JUMPDEST 000014b0: POP 000014b1: GAS 000014b2: CALL 000014b3: ISZERO 000014b4: DUP1 000014b5: ISZERO 000014b6: PUSH2 0x14c3 000014b9: JUMPI 000014ba: RETURNDATASIZE 000014bb: PUSH1 0x00 000014bd: DUP1 000014be: RETURNDATACOPY 000014bf: RETURNDATASIZE 000014c0: PUSH1 0x00 000014c2: REVERT 000014c3: JUMPDEST 000014c4: POP 000014c5: POP 000014c6: POP 000014c7: POP 000014c8: PUSH1 0x40 000014ca: MLOAD 000014cb: RETURNDATASIZE 000014cc: PUSH1 0x1f 000014ce: NOT 000014cf: PUSH1 0x1f 000014d1: DUP3 000014d2: ADD 000014d3: AND 000014d4: DUP3 000014d5: ADD 000014d6: DUP1 000014d7: PUSH1 0x40 000014d9: MSTORE 000014da: POP 000014db: DUP2 000014dc: ADD 000014dd: SWAP1 000014de: PUSH2 0x14e7 000014e1: SWAP2 000014e2: SWAP1 000014e3: PUSH2 0x29ad 000014e6: JUMP 000014e7: JUMPDEST 000014e8: POP 000014e9: JUMPDEST 000014ea: PUSH1 0x40 000014ec: MLOAD 000014ed: PUSH4 0x18503153 000014f2: PUSH1 0xe2 000014f4: SHL 000014f5: DUP2 000014f6: MSTORE 000014f7: PUSH1 0x00 000014f9: SWAP1 000014fa: PUSH20 0x370f101ad006b10f3050ed2621924e72d1d77436 0000150f: SWAP1 00001510: PUSH4 0x6140c54c 00001515: SWAP1 00001516: PUSH2 0x1537 00001519: SWAP1 0000151a: PUSH20 0x251bbe8c7abc2a1ca8d0b25fc1149abe6160a943 0000152f: SWAP1 00001530: PUSH1 0x04 00001532: ADD 00001533: PUSH2 0x2a10 00001536: JUMP 00001537: JUMPDEST 00001538: PUSH1 0x20 0000153a: PUSH1 0x40 0000153c: MLOAD 0000153d: DUP1 0000153e: DUP4 0000153f: SUB 00001540: DUP2 00001541: PUSH1 0x00 00001543: DUP8 00001544: DUP1 00001545: EXTCODESIZE 00001546: ISZERO 00001547: DUP1 00001548: ISZERO 00001549: PUSH2 0x1551 0000154c: JUMPI 0000154d: PUSH1 0x00 0000154f: DUP1 00001550: REVERT 00001551: JUMPDEST 00001552: POP 00001553: GAS 00001554: CALL 00001555: ISZERO 00001556: DUP1 00001557: ISZERO 00001558: PUSH2 0x1565 0000155b: JUMPI 0000155c: RETURNDATASIZE 0000155d: PUSH1 0x00 0000155f: DUP1 00001560: RETURNDATACOPY 00001561: RETURNDATASIZE 00001562: PUSH1 0x00 00001564: REVERT 00001565: JUMPDEST 00001566: POP 00001567: POP 00001568: POP 00001569: POP 0000156a: PUSH1 0x40 0000156c: MLOAD 0000156d: RETURNDATASIZE 0000156e: PUSH1 0x1f 00001570: NOT 00001571: PUSH1 0x1f 00001573: DUP3 00001574: ADD 00001575: AND 00001576: DUP3 00001577: ADD 00001578: DUP1 00001579: PUSH1 0x40 0000157b: MSTORE 0000157c: POP 0000157d: DUP2 0000157e: ADD 0000157f: SWAP1 00001580: PUSH2 0x1589 00001583: SWAP2 00001584: SWAP1 00001585: PUSH2 0x28de 00001588: JUMP 00001589: JUMPDEST 0000158a: CALLER 0000158b: PUSH1 0x00 0000158d: SWAP1 0000158e: DUP2 0000158f: MSTORE 00001590: PUSH1 0x07 00001592: PUSH1 0x20 00001594: SWAP1 00001595: DUP2 00001596: MSTORE 00001597: PUSH1 0x40 00001599: DUP3 0000159a: KECCAK256 0000159b: DUP1 0000159c: SLOAD 0000159d: PUSH1 0x01 0000159f: DUP1 000015a0: DUP3 000015a1: ADD 000015a2: DUP4 000015a3: SSTORE 000015a4: SWAP2 000015a5: DUP5 000015a6: MSTORE 000015a7: SWAP2 000015a8: DUP4 000015a9: KECCAK256 000015aa: SWAP1 000015ab: SWAP2 000015ac: ADD 000015ad: DUP1 000015ae: SLOAD 000015af: PUSH1 0x01 000015b1: PUSH1 0x01 000015b3: PUSH1 0xa0 000015b5: SHL 000015b6: SUB 000015b7: NOT 000015b8: AND 000015b9: PUSH1 0x01 000015bb: PUSH1 0x01 000015bd: PUSH1 0xa0 000015bf: SHL 000015c0: SUB 000015c1: DUP6 000015c2: AND 000015c3: OR 000015c4: SWAP1 000015c5: SSTORE 000015c6: PUSH1 0xa0 000015c8: DUP11 000015c9: ADD 000015ca: MLOAD 000015cb: SWAP3 000015cc: SWAP4 000015cd: POP 000015ce: PUSH2 0x15da 000015d1: SWAP2 000015d2: DUP5 000015d3: SWAP2 000015d4: SWAP1 000015d5: DUP2 000015d6: PUSH2 0x21a8 000015d9: JUMP 000015da: JUMPDEST 000015db: PUSH1 0x00 000015dd: PUSH2 0x15fd 000015e0: DUP6 000015e1: PUSH2 0x15f7 000015e4: DUP12 000015e5: PUSH1 0x80 000015e7: ADD 000015e8: MLOAD 000015e9: DUP6 000015ea: PUSH2 0x2015 000015ed: SWAP1 000015ee: SWAP2 000015ef: SWAP1 000015f0: PUSH4 0xffffffff 000015f5: AND 000015f6: JUMP 000015f7: JUMPDEST 000015f8: SWAP1 000015f9: PUSH2 0x2015 000015fc: JUMP 000015fd: JUMPDEST 000015fe: SWAP1 000015ff: POP 00001600: PUSH1 0x00 00001602: DUP2 00001603: GT 00001604: PUSH2 0x161f 00001607: JUMPI 00001608: PUSH1 0x40 0000160a: MLOAD 0000160b: PUSH3 0x461bcd 0000160f: PUSH1 0xe5 00001611: SHL 00001612: DUP2 00001613: MSTORE 00001614: PUSH1 0x04 00001616: ADD 00001617: PUSH2 0x01e2 0000161a: SWAP1 0000161b: PUSH2 0x2bf7 0000161e: JUMP 0000161f: JUMPDEST 00001620: PUSH2 0x1629 00001623: DUP4 00001624: DUP3 00001625: PUSH2 0x2333 00001628: JUMP 00001629: JUMPDEST 0000162a: PUSH1 0x40 0000162c: MLOAD 0000162d: PUSH4 0x6b0e1c33 00001632: PUSH1 0xe1 00001634: SHL 00001635: DUP2 00001636: MSTORE 00001637: PUSH1 0x01 00001639: PUSH1 0x01 0000163b: PUSH1 0xa0 0000163d: SHL 0000163e: SUB 0000163f: DUP5 00001640: AND 00001641: SWAP1 00001642: PUSH4 0xd61c3866 00001647: SWAP1 00001648: PUSH2 0x1673 0000164b: SWAP1 0000164c: CALLER 0000164d: SWAP1 0000164e: PUSH4 0x01dfe200 00001653: SWAP1 00001654: DUP8 00001655: SWAP1 00001656: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 0000166b: SWAP1 0000166c: PUSH1 0x04 0000166e: ADD 0000166f: PUSH2 0x2a48 00001672: JUMP 00001673: JUMPDEST 00001674: PUSH1 0x00 00001676: PUSH1 0x40 00001678: MLOAD 00001679: DUP1 0000167a: DUP4 0000167b: SUB 0000167c: DUP2 0000167d: PUSH1 0x00 0000167f: DUP8 00001680: DUP1 00001681: EXTCODESIZE 00001682: ISZERO 00001683: DUP1 00001684: ISZERO 00001685: PUSH2 0x168d 00001688: JUMPI 00001689: PUSH1 0x00 0000168b: DUP1 0000168c: REVERT 0000168d: JUMPDEST 0000168e: POP 0000168f: GAS 00001690: CALL 00001691: ISZERO 00001692: DUP1 00001693: ISZERO 00001694: PUSH2 0x16a1 00001697: JUMPI 00001698: RETURNDATASIZE 00001699: PUSH1 0x00 0000169b: DUP1 0000169c: RETURNDATACOPY 0000169d: RETURNDATASIZE 0000169e: PUSH1 0x00 000016a0: REVERT 000016a1: JUMPDEST 000016a2: POP 000016a3: POP 000016a4: POP 000016a5: POP 000016a6: PUSH1 0x60 000016a8: DUP10 000016a9: ADD 000016aa: MLOAD 000016ab: CALLER 000016ac: PUSH1 0x00 000016ae: SWAP1 000016af: DUP2 000016b0: MSTORE 000016b1: PUSH1 0x08 000016b3: PUSH1 0x20 000016b5: DUP2 000016b6: SWAP1 000016b7: MSTORE 000016b8: PUSH1 0x40 000016ba: DUP3 000016bb: KECCAK256 000016bc: DUP3 000016bd: DUP2 000016be: SSTORE 000016bf: PUSH1 0x01 000016c1: DUP2 000016c2: ADD 000016c3: DUP4 000016c4: SWAP1 000016c5: SSTORE 000016c6: PUSH1 0x02 000016c8: DUP2 000016c9: ADD 000016ca: DUP4 000016cb: SWAP1 000016cc: SSTORE 000016cd: PUSH1 0x03 000016cf: DUP2 000016d0: ADD 000016d1: DUP4 000016d2: SWAP1 000016d3: SSTORE 000016d4: PUSH1 0x04 000016d6: DUP2 000016d7: ADD 000016d8: DUP4 000016d9: SWAP1 000016da: SSTORE 000016db: PUSH1 0x05 000016dd: DUP2 000016de: ADD 000016df: DUP4 000016e0: SWAP1 000016e1: SSTORE 000016e2: PUSH1 0x06 000016e4: DUP2 000016e5: ADD 000016e6: DUP4 000016e7: SWAP1 000016e8: SSTORE 000016e9: PUSH1 0x07 000016eb: DUP2 000016ec: ADD 000016ed: DUP4 000016ee: SWAP1 000016ef: SSTORE 000016f0: SWAP1 000016f1: DUP2 000016f2: ADD 000016f3: DUP3 000016f4: SWAP1 000016f5: SSTORE 000016f6: PUSH1 0x09 000016f8: DUP2 000016f9: ADD 000016fa: DUP3 000016fb: SWAP1 000016fc: SSTORE 000016fd: PUSH1 0x0a 000016ff: DUP2 00001700: ADD 00001701: SWAP2 00001702: SWAP1 00001703: SWAP2 00001704: SSTORE 00001705: PUSH1 0x0b 00001707: ADD 00001708: DUP1 00001709: SLOAD 0000170a: PUSH1 0xff 0000170c: NOT 0000170d: AND 0000170e: SWAP1 0000170f: SSTORE 00001710: DUP1 00001711: ISZERO 00001712: PUSH2 0x1760 00001715: JUMPI 00001716: PUSH1 0x03 00001718: DUP12 00001719: ADD 0000171a: DUP2 0000171b: SWAP1 0000171c: SSTORE 0000171d: PUSH1 0x06 0000171f: DUP12 00001720: ADD 00001721: DUP2 00001722: SWAP1 00001723: SSTORE 00001724: PUSH2 0x172d 00001727: DUP10 00001728: DUP3 00001729: PUSH2 0x236c 0000172c: JUMP 0000172d: JUMPDEST 0000172e: PUSH1 0x01 00001730: DUP13 00001731: ADD 00001732: SSTORE 00001733: PUSH2 0x173c 00001736: DUP9 00001737: DUP3 00001738: PUSH2 0x236c 0000173b: JUMP 0000173c: JUMPDEST 0000173d: DUP12 0000173e: SSTORE 0000173f: PUSH1 0x02 00001741: DUP12 00001742: ADD 00001743: DUP2 00001744: SWAP1 00001745: SSTORE 00001746: PUSH1 0x04 00001748: SLOAD 00001749: PUSH2 0x1758 0000174c: SWAP1 0000174d: DUP3 0000174e: SWAP1 0000174f: PUSH2 0x15f7 00001752: SWAP1 00001753: DUP11 00001754: PUSH2 0x23c5 00001757: JUMP 00001758: JUMPDEST 00001759: PUSH1 0x04 0000175b: SSTORE 0000175c: PUSH2 0x1771 0000175f: JUMP 00001760: JUMPDEST 00001761: PUSH1 0x04 00001763: SLOAD 00001764: PUSH2 0x176d 00001767: SWAP1 00001768: DUP9 00001769: PUSH2 0x23c5 0000176c: JUMP 0000176d: JUMPDEST 0000176e: PUSH1 0x04 00001770: SSTORE 00001771: JUMPDEST 00001772: POP 00001773: POP 00001774: POP 00001775: POP 00001776: POP 00001777: POP 00001778: POP 00001779: POP 0000177a: POP 0000177b: POP 0000177c: POP 0000177d: JUMP 0000177e: JUMPDEST 0000177f: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 00001794: DUP2 00001795: JUMP 00001796: JUMPDEST 00001797: PUSH20 0x370f101ad006b10f3050ed2621924e72d1d77436 000017ac: DUP2 000017ad: JUMP 000017ae: JUMPDEST 000017af: PUSH2 0x17b6 000017b2: PUSH2 0x286b 000017b5: JUMP 000017b6: JUMPDEST 000017b7: PUSH1 0x01 000017b9: PUSH1 0x01 000017bb: PUSH1 0xa0 000017bd: SHL 000017be: SUB 000017bf: DUP3 000017c0: AND 000017c1: PUSH1 0x00 000017c3: SWAP1 000017c4: DUP2 000017c5: MSTORE 000017c6: PUSH1 0x08 000017c8: PUSH1 0x20 000017ca: DUP2 000017cb: DUP2 000017cc: MSTORE 000017cd: PUSH1 0x40 000017cf: DUP1 000017d0: DUP5 000017d1: KECCAK256 000017d2: DUP2 000017d3: MLOAD 000017d4: PUSH2 0x0180 000017d7: DUP2 000017d8: ADD 000017d9: DUP4 000017da: MSTORE 000017db: DUP2 000017dc: SLOAD 000017dd: DUP1 000017de: DUP3 000017df: MSTORE 000017e0: PUSH1 0x01 000017e2: DUP4 000017e3: ADD 000017e4: SLOAD 000017e5: SWAP5 000017e6: DUP3 000017e7: ADD 000017e8: DUP6 000017e9: SWAP1 000017ea: MSTORE 000017eb: PUSH1 0x02 000017ed: DUP4 000017ee: ADD 000017ef: SLOAD 000017f0: SWAP4 000017f1: DUP3 000017f2: ADD 000017f3: DUP5 000017f4: SWAP1 000017f5: MSTORE 000017f6: PUSH1 0x03 000017f8: DUP4 000017f9: ADD 000017fa: SLOAD 000017fb: PUSH1 0x60 000017fd: DUP4 000017fe: ADD 000017ff: MSTORE 00001800: PUSH1 0x04 00001802: DUP4 00001803: ADD 00001804: SLOAD 00001805: PUSH1 0x80 00001807: DUP4 00001808: ADD 00001809: MSTORE 0000180a: PUSH1 0x05 0000180c: DUP1 0000180d: DUP5 0000180e: ADD 0000180f: SLOAD 00001810: PUSH1 0xa0 00001812: DUP5 00001813: ADD 00001814: MSTORE 00001815: PUSH1 0x06 00001817: DUP1 00001818: DUP6 00001819: ADD 0000181a: SLOAD 0000181b: PUSH1 0xc0 0000181d: DUP6 0000181e: ADD 0000181f: MSTORE 00001820: PUSH1 0x07 00001822: DUP6 00001823: ADD 00001824: SLOAD 00001825: PUSH1 0xe0 00001827: DUP6 00001828: ADD 00001829: MSTORE 0000182a: SWAP7 0000182b: DUP5 0000182c: ADD 0000182d: SLOAD 0000182e: PUSH2 0x0100 00001831: DUP5 00001832: ADD 00001833: MSTORE 00001834: PUSH1 0x09 00001836: DUP5 00001837: ADD 00001838: SLOAD 00001839: PUSH2 0x0120 0000183c: DUP5 0000183d: ADD 0000183e: MSTORE 0000183f: PUSH1 0x0a 00001841: DUP5 00001842: ADD 00001843: SLOAD 00001844: PUSH2 0x0140 00001847: DUP5 00001848: ADD 00001849: MSTORE 0000184a: PUSH1 0x0b 0000184c: SWAP1 0000184d: SWAP4 0000184e: ADD 0000184f: SLOAD 00001850: PUSH1 0xff 00001852: AND 00001853: ISZERO 00001854: ISZERO 00001855: PUSH2 0x0160 00001858: DUP4 00001859: ADD 0000185a: MSTORE 0000185b: SWAP2 0000185c: SLOAD 0000185d: SWAP5 0000185e: SLOAD 0000185f: SWAP1 00001860: SWAP6 00001861: SWAP5 00001862: DUP6 00001863: SWAP5 00001864: PUSH2 0x1870 00001867: SWAP5 00001868: SWAP4 00001869: SWAP2 0000186a: SWAP3 0000186b: SWAP2 0000186c: PUSH2 0x2422 0000186f: JUMP 00001870: JUMPDEST 00001871: SWAP2 00001872: POP 00001873: SWAP2 00001874: POP 00001875: PUSH2 0x1895 00001878: DUP4 00001879: PUSH2 0x0120 0000187c: ADD 0000187d: MLOAD 0000187e: DUP4 0000187f: DUP4 00001880: DUP7 00001881: PUSH2 0x0100 00001884: ADD 00001885: MLOAD 00001886: DUP8 00001887: PUSH1 0xc0 00001889: ADD 0000188a: MLOAD 0000188b: DUP9 0000188c: PUSH1 0xe0 0000188e: ADD 0000188f: MLOAD 00001890: TIMESTAMP 00001891: PUSH2 0x2471 00001894: JUMP 00001895: JUMPDEST 00001896: SWAP6 00001897: SWAP5 00001898: POP 00001899: POP 0000189a: POP 0000189b: POP 0000189c: POP 0000189d: JUMP 0000189e: JUMPDEST 0000189f: PUSH2 0x18a6 000018a2: PUSH2 0x1aa8 000018a5: JUMP 000018a6: JUMPDEST 000018a7: PUSH1 0x01 000018a9: PUSH1 0x01 000018ab: PUSH1 0xa0 000018ad: SHL 000018ae: SUB 000018af: DUP5 000018b0: AND 000018b1: PUSH1 0x00 000018b3: SWAP1 000018b4: DUP2 000018b5: MSTORE 000018b6: PUSH1 0x08 000018b8: PUSH1 0x20 000018ba: MSTORE 000018bb: PUSH1 0x40 000018bd: SWAP1 000018be: KECCAK256 000018bf: DUP3 000018c0: ISZERO 000018c1: PUSH2 0x196d 000018c4: JUMPI 000018c5: PUSH1 0x40 000018c7: MLOAD 000018c8: PUSH4 0x23b872dd 000018cd: PUSH1 0xe0 000018cf: SHL 000018d0: DUP2 000018d1: MSTORE 000018d2: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 000018e7: SWAP1 000018e8: PUSH4 0x23b872dd 000018ed: SWAP1 000018ee: PUSH2 0x18ff 000018f1: SWAP1 000018f2: CALLER 000018f3: SWAP1 000018f4: ADDRESS 000018f5: SWAP1 000018f6: DUP9 000018f7: SWAP1 000018f8: PUSH1 0x04 000018fa: ADD 000018fb: PUSH2 0x2a24 000018fe: JUMP 000018ff: JUMPDEST 00001900: PUSH1 0x20 00001902: PUSH1 0x40 00001904: MLOAD 00001905: DUP1 00001906: DUP4 00001907: SUB 00001908: DUP2 00001909: PUSH1 0x00 0000190b: DUP8 0000190c: DUP1 0000190d: EXTCODESIZE 0000190e: ISZERO 0000190f: DUP1 00001910: ISZERO 00001911: PUSH2 0x1919 00001914: JUMPI 00001915: PUSH1 0x00 00001917: DUP1 00001918: REVERT 00001919: JUMPDEST 0000191a: POP 0000191b: GAS 0000191c: CALL 0000191d: ISZERO 0000191e: DUP1 0000191f: ISZERO 00001920: PUSH2 0x192d 00001923: JUMPI 00001924: RETURNDATASIZE 00001925: PUSH1 0x00 00001927: DUP1 00001928: RETURNDATACOPY 00001929: RETURNDATASIZE 0000192a: PUSH1 0x00 0000192c: REVERT 0000192d: JUMPDEST 0000192e: POP 0000192f: POP 00001930: POP 00001931: POP 00001932: PUSH1 0x40 00001934: MLOAD 00001935: RETURNDATASIZE 00001936: PUSH1 0x1f 00001938: NOT 00001939: PUSH1 0x1f 0000193b: DUP3 0000193c: ADD 0000193d: AND 0000193e: DUP3 0000193f: ADD 00001940: DUP1 00001941: PUSH1 0x40 00001943: MSTORE 00001944: POP 00001945: DUP2 00001946: ADD 00001947: SWAP1 00001948: PUSH2 0x1951 0000194b: SWAP2 0000194c: SWAP1 0000194d: PUSH2 0x29ad 00001950: JUMP 00001951: JUMPDEST 00001952: PUSH2 0x196d 00001955: JUMPI 00001956: PUSH1 0x40 00001958: MLOAD 00001959: PUSH3 0x461bcd 0000195d: PUSH1 0xe5 0000195f: SHL 00001960: DUP2 00001961: MSTORE 00001962: PUSH1 0x04 00001964: ADD 00001965: PUSH2 0x01e2 00001968: SWAP1 00001969: PUSH2 0x3205 0000196c: JUMP 0000196d: JUMPDEST 0000196e: PUSH1 0x00 00001970: DUP1 00001971: PUSH2 0x197e 00001974: PUSH1 0x04 00001976: PUSH1 0x00 00001978: ADD 00001979: SLOAD 0000197a: PUSH2 0x1acc 0000197d: JUMP 0000197e: JUMPDEST 0000197f: SWAP2 00001980: POP 00001981: SWAP2 00001982: POP 00001983: PUSH1 0x00 00001985: DUP1 00001986: PUSH1 0x00 00001988: PUSH2 0x1995 0000198b: PUSH2 0x0879 0000198e: DUP13 0000198f: DUP8 00001990: DUP8 00001991: PUSH2 0x1c3a 00001994: JUMP 00001995: JUMPDEST 00001996: SWAP3 00001997: POP 00001998: SWAP3 00001999: POP 0000199a: SWAP3 0000199b: POP 0000199c: PUSH2 0x19a9 0000199f: DUP12 000019a0: DUP8 000019a1: DUP11 000019a2: DUP6 000019a3: DUP8 000019a4: DUP13 000019a5: PUSH2 0x1d63 000019a8: JUMP 000019a9: JUMPDEST 000019aa: SWAP3 000019ab: POP 000019ac: DUP1 000019ad: ISZERO 000019ae: PUSH2 0x19bb 000019b1: JUMPI 000019b2: PUSH2 0x19bb 000019b5: DUP11 000019b6: DUP3 000019b7: PUSH2 0x1d2a 000019ba: JUMP 000019bb: JUMPDEST 000019bc: DUP9 000019bd: ISZERO 000019be: PUSH2 0x1a86 000019c1: JUMPI 000019c2: PUSH1 0x40 000019c4: MLOAD 000019c5: PUSH4 0x23b872dd 000019ca: PUSH1 0xe0 000019cc: SHL 000019cd: DUP2 000019ce: MSTORE 000019cf: PUSH20 0xfcfc434ee5bff924222e084a8876eee74ea7cfba 000019e4: SWAP1 000019e5: PUSH4 0x23b872dd 000019ea: SWAP1 000019eb: PUSH2 0x19fc 000019ee: SWAP1 000019ef: CALLER 000019f0: SWAP1 000019f1: ADDRESS 000019f2: SWAP1 000019f3: DUP15 000019f4: SWAP1 000019f5: PUSH1 0x04 000019f7: ADD 000019f8: PUSH2 0x2a24 000019fb: JUMP 000019fc: JUMPDEST 000019fd: PUSH1 0x20 000019ff: PUSH1 0x40 00001a01: MLOAD 00001a02: DUP1 00001a03: DUP4 00001a04: SUB 00001a05: DUP2 00001a06: PUSH1 0x00 00001a08: DUP8 00001a09: DUP1 00001a0a: EXTCODESIZE 00001a0b: ISZERO 00001a0c: DUP1 00001a0d: ISZERO 00001a0e: PUSH2 0x1a16 00001a11: JUMPI 00001a12: PUSH1 0x00 00001a14: DUP1 00001a15: REVERT 00001a16: JUMPDEST 00001a17: POP 00001a18: GAS 00001a19: CALL 00001a1a: ISZERO 00001a1b: DUP1 00001a1c: ISZERO 00001a1d: PUSH2 0x1a2a 00001a20: JUMPI 00001a21: RETURNDATASIZE 00001a22: PUSH1 0x00 00001a24: DUP1 00001a25: RETURNDATACOPY 00001a26: RETURNDATASIZE 00001a27: PUSH1 0x00 00001a29: REVERT 00001a2a: JUMPDEST 00001a2b: POP 00001a2c: POP 00001a2d: POP 00001a2e: POP 00001a2f: PUSH1 0x40 00001a31: MLOAD 00001a32: RETURNDATASIZE 00001a33: PUSH1 0x1f 00001a35: NOT 00001a36: PUSH1 0x1f 00001a38: DUP3 00001a39: ADD 00001a3a: AND 00001a3b: DUP3 00001a3c: ADD 00001a3d: DUP1 00001a3e: PUSH1 0x40 00001a40: MSTORE 00001a41: POP 00001a42: DUP2 00001a43: ADD 00001a44: SWAP1 00001a45: PUSH2 0x1a4e 00001a48: SWAP2 00001a49: SWAP1 00001a4a: PUSH2 0x29ad 00001a4d: JUMP 00001a4e: JUMPDEST 00001a4f: PUSH2 0x1a6a 00001a52: JUMPI 00001a53: PUSH1 0x40 00001a55: MLOAD 00001a56: PUSH3 0x461bcd 00001a5a: PUSH1 0xe5 00001a5c: SHL 00001a5d: DUP2 00001a5e: MSTORE 00001a5f: PUSH1 0x04 00001a61: ADD 00001a62: PUSH2 0x01e2 00001a65: SWAP1 00001a66: PUSH2 0x313a 00001a69: JUMP 00001a6a: JUMPDEST 00001a6b: PUSH1 0xe0 00001a6d: DUP12 00001a6e: ADD 00001a6f: MLOAD 00001a70: PUSH2 0x1a79 00001a73: SWAP1 00001a74: DUP11 00001a75: PUSH2 0x2015 00001a78: JUMP 00001a79: JUMPDEST 00001a7a: PUSH1 0xe0 00001a7c: DUP13 00001a7d: ADD 00001a7e: DUP2 00001a7f: SWAP1 00001a80: MSTORE 00001a81: PUSH1 0x07 00001a83: DUP8 00001a84: ADD 00001a85: SSTORE 00001a86: JUMPDEST 00001a87: PUSH2 0x1a91 00001a8a: DUP12 00001a8b: DUP8 00001a8c: DUP6 00001a8d: PUSH2 0x1f8b 00001a90: JUMP 00001a91: JUMPDEST 00001a92: PUSH1 0xc0 00001a94: DUP12 00001a95: ADD 00001a96: MLOAD 00001a97: PUSH1 0x06 00001a99: DUP8 00001a9a: ADD 00001a9b: SSTORE 00001a9c: PUSH2 0x1771 00001a9f: DUP7 00001aa0: DUP13 00001aa1: DUP8 00001aa2: DUP8 00001aa3: DUP8 00001aa4: PUSH2 0x2078 00001aa7: JUMP 00001aa8: JUMPDEST 00001aa9: PUSH1 0x00 00001aab: SLOAD 00001aac: PUSH1 0xff 00001aae: AND 00001aaf: PUSH2 0x1aca 00001ab2: JUMPI 00001ab3: PUSH1 0x40 00001ab5: MLOAD 00001ab6: PUSH3 0x461bcd 00001aba: PUSH1 0xe5 00001abc: SHL 00001abd: DUP2 00001abe: MSTORE 00001abf: PUSH1 0x04 00001ac1: ADD 00001ac2: PUSH2 0x01e2 00001ac5: SWAP1 00001ac6: PUSH2 0x2e8a 00001ac9: JUMP 00001aca: JUMPDEST 00001acb: JUMP 00001acc: JUMPDEST 00001acd: PUSH1 0x00 00001acf: DUP1 00001ad0: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 00001ae5: PUSH1 0x01 00001ae7: PUSH1 0x01 00001ae9: PUSH1 0xa0 00001aeb: SHL 00001aec: SUB 00001aed: AND 00001aee: PUSH4 0xbfe10928 00001af3: PUSH1 0x40 00001af5: MLOAD 00001af6: DUP2 00001af7: PUSH4 0xffffffff 00001afc: AND 00001afd: PUSH1 0xe0 00001aff: SHL 00001b00: DUP2 00001b01: MSTORE 00001b02: PUSH1 0x04 00001b04: ADD 00001b05: PUSH1 0x20 00001b07: PUSH1 0x40 00001b09: MLOAD 00001b0a: DUP1 00001b0b: DUP4 00001b0c: SUB 00001b0d: DUP2 00001b0e: DUP7 00001b0f: DUP1 00001b10: EXTCODESIZE 00001b11: ISZERO 00001b12: DUP1 00001b13: ISZERO 00001b14: PUSH2 0x1b1c 00001b17: JUMPI 00001b18: PUSH1 0x00 00001b1a: DUP1 00001b1b: REVERT 00001b1c: JUMPDEST 00001b1d: POP 00001b1e: GAS 00001b1f: STATICCALL 00001b20: ISZERO 00001b21: DUP1 00001b22: ISZERO 00001b23: PUSH2 0x1b30 00001b26: JUMPI 00001b27: RETURNDATASIZE 00001b28: PUSH1 0x00 00001b2a: DUP1 00001b2b: RETURNDATACOPY 00001b2c: RETURNDATASIZE 00001b2d: PUSH1 0x00 00001b2f: REVERT 00001b30: JUMPDEST 00001b31: POP 00001b32: POP 00001b33: POP 00001b34: POP 00001b35: PUSH1 0x40 00001b37: MLOAD 00001b38: RETURNDATASIZE 00001b39: PUSH1 0x1f 00001b3b: NOT 00001b3c: PUSH1 0x1f 00001b3e: DUP3 00001b3f: ADD 00001b40: AND 00001b41: DUP3 00001b42: ADD 00001b43: DUP1 00001b44: PUSH1 0x40 00001b46: MSTORE 00001b47: POP 00001b48: DUP2 00001b49: ADD 00001b4a: SWAP1 00001b4b: PUSH2 0x1b54 00001b4e: SWAP2 00001b4f: SWAP1 00001b50: PUSH2 0x28de 00001b53: JUMP 00001b54: JUMPDEST 00001b55: PUSH1 0x01 00001b57: PUSH1 0x01 00001b59: PUSH1 0xa0 00001b5b: SHL 00001b5c: SUB 00001b5d: AND 00001b5e: PUSH4 0xe4fc6b6d 00001b63: PUSH1 0x40 00001b65: MLOAD 00001b66: DUP2 00001b67: PUSH4 0xffffffff 00001b6c: AND 00001b6d: PUSH1 0xe0 00001b6f: SHL 00001b70: DUP2 00001b71: MSTORE 00001b72: PUSH1 0x04 00001b74: ADD 00001b75: PUSH1 0x00 00001b77: PUSH1 0x40 00001b79: MLOAD 00001b7a: DUP1 00001b7b: DUP4 00001b7c: SUB 00001b7d: DUP2 00001b7e: PUSH1 0x00 00001b80: DUP8 00001b81: DUP1 00001b82: EXTCODESIZE 00001b83: ISZERO 00001b84: DUP1 00001b85: ISZERO 00001b86: PUSH2 0x1b8e 00001b89: JUMPI 00001b8a: PUSH1 0x00 00001b8c: DUP1 00001b8d: REVERT 00001b8e: JUMPDEST 00001b8f: POP 00001b90: GAS 00001b91: CALL 00001b92: ISZERO 00001b93: DUP1 00001b94: ISZERO 00001b95: PUSH2 0x1ba2 00001b98: JUMPI 00001b99: RETURNDATASIZE 00001b9a: PUSH1 0x00 00001b9c: DUP1 00001b9d: RETURNDATACOPY 00001b9e: RETURNDATASIZE 00001b9f: PUSH1 0x00 00001ba1: REVERT 00001ba2: JUMPDEST 00001ba3: POP 00001ba4: POP 00001ba5: PUSH1 0x02 00001ba7: SLOAD 00001ba8: PUSH1 0x03 00001baa: SLOAD 00001bab: PUSH1 0x05 00001bad: SLOAD 00001bae: PUSH1 0x06 00001bb0: SLOAD 00001bb1: SWAP1 00001bb2: SWAP7 00001bb3: POP 00001bb4: SWAP5 00001bb5: POP 00001bb6: SWAP1 00001bb7: SWAP3 00001bb8: POP 00001bb9: SWAP1 00001bba: POP 00001bbb: DUP5 00001bbc: PUSH2 0x1bc6 00001bbf: JUMPI 00001bc0: POP 00001bc1: POP 00001bc2: PUSH2 0x1c35 00001bc5: JUMP 00001bc6: JUMPDEST 00001bc7: PUSH1 0x00 00001bc9: PUSH1 0x02 00001bcb: DUP2 00001bcc: SWAP1 00001bcd: SSTORE 00001bce: PUSH1 0x03 00001bd0: SSTORE 00001bd1: DUP2 00001bd2: ISZERO 00001bd3: PUSH2 0x1c01 00001bd6: JUMPI 00001bd7: PUSH2 0x1bf9 00001bda: DUP6 00001bdb: PUSH2 0x1be9 00001bde: DUP5 00001bdf: PUSH5 0xe8d4a51000 00001be5: PUSH2 0x236c 00001be8: JUMP 00001be9: JUMPDEST 00001bea: DUP2 00001beb: PUSH2 0x1bf0 00001bee: JUMPI 00001bef: INVALID 00001bf0: JUMPDEST 00001bf1: DUP7 00001bf2: SWAP2 00001bf3: SWAP1 00001bf4: DIV 00001bf5: PUSH2 0x2015 00001bf8: JUMP 00001bf9: JUMPDEST 00001bfa: PUSH1 0x05 00001bfc: DUP2 00001bfd: SWAP1 00001bfe: SSTORE 00001bff: SWAP4 00001c00: POP 00001c01: JUMPDEST 00001c02: DUP1 00001c03: ISZERO 00001c04: PUSH2 0x1c32 00001c07: JUMPI 00001c08: PUSH2 0x1c2a 00001c0b: DUP6 00001c0c: PUSH2 0x1c1a 00001c0f: DUP4 00001c10: PUSH5 0xe8d4a51000 00001c16: PUSH2 0x236c 00001c19: JUMP 00001c1a: JUMPDEST 00001c1b: DUP2 00001c1c: PUSH2 0x1c21 00001c1f: JUMPI 00001c20: INVALID 00001c21: JUMPDEST 00001c22: DUP6 00001c23: SWAP2 00001c24: SWAP1 00001c25: DIV 00001c26: PUSH2 0x2015 00001c29: JUMP 00001c2a: JUMPDEST 00001c2b: PUSH1 0x06 00001c2d: DUP2 00001c2e: SWAP1 00001c2f: SSTORE 00001c30: SWAP3 00001c31: POP 00001c32: JUMPDEST 00001c33: POP 00001c34: POP 00001c35: JUMPDEST 00001c36: SWAP2 00001c37: POP 00001c38: SWAP2 00001c39: JUMP 00001c3a: JUMPDEST 00001c3b: PUSH2 0x1c42 00001c3e: PUSH2 0x286b 00001c41: JUMP 00001c42: JUMPDEST 00001c43: PUSH1 0x00 00001c45: DUP1 00001c46: PUSH2 0x1c5e 00001c49: DUP7 00001c4a: PUSH1 0x40 00001c4c: ADD 00001c4d: MLOAD 00001c4e: DUP7 00001c4f: DUP7 00001c50: DUP10 00001c51: PUSH1 0x20 00001c53: ADD 00001c54: MLOAD 00001c55: DUP11 00001c56: PUSH1 0x00 00001c58: ADD 00001c59: MLOAD 00001c5a: PUSH2 0x2422 00001c5d: JUMP 00001c5e: JUMPDEST 00001c5f: SWAP2 00001c60: POP 00001c61: SWAP2 00001c62: POP 00001c63: PUSH2 0x1c83 00001c66: DUP7 00001c67: PUSH2 0x0120 00001c6a: ADD 00001c6b: MLOAD 00001c6c: DUP4 00001c6d: DUP4 00001c6e: DUP10 00001c6f: PUSH2 0x0100 00001c72: ADD 00001c73: MLOAD 00001c74: DUP11 00001c75: PUSH1 0xc0 00001c77: ADD 00001c78: MLOAD 00001c79: DUP12 00001c7a: PUSH1 0xe0 00001c7c: ADD 00001c7d: MLOAD 00001c7e: TIMESTAMP 00001c7f: PUSH2 0x2471 00001c82: JUMP 00001c83: JUMPDEST 00001c84: SWAP7 00001c85: SWAP6 00001c86: POP 00001c87: POP 00001c88: POP 00001c89: POP 00001c8a: POP 00001c8b: POP 00001c8c: JUMP 00001c8d: JUMPDEST 00001c8e: PUSH1 0x00 00001c90: DUP1 00001c91: PUSH1 0x00 00001c93: DUP1 00001c94: DUP5 00001c95: PUSH1 0x80 00001c97: ADD 00001c98: MLOAD 00001c99: GT 00001c9a: ISZERO 00001c9b: PUSH2 0x1cd4 00001c9e: JUMPI 00001c9f: PUSH1 0x00 00001ca1: PUSH1 0x64 00001ca3: DUP6 00001ca4: PUSH1 0x80 00001ca6: ADD 00001ca7: MLOAD 00001ca8: DUP2 00001ca9: PUSH2 0x1cae 00001cac: JUMPI 00001cad: INVALID 00001cae: JUMPDEST 00001caf: DIV 00001cb0: SWAP1 00001cb1: POP 00001cb2: PUSH2 0x1cbb 00001cb5: CALLER 00001cb6: DUP3 00001cb7: PUSH2 0x1d2a 00001cba: JUMP 00001cbb: JUMPDEST 00001cbc: PUSH1 0x80 00001cbe: DUP6 00001cbf: ADD 00001cc0: MLOAD 00001cc1: PUSH1 0x03 00001cc3: SLOAD 00001cc4: PUSH2 0x1ccf 00001cc7: SWAP2 00001cc8: DUP4 00001cc9: SWAP1 00001cca: SUB 00001ccb: PUSH2 0x2015 00001cce: JUMP 00001ccf: JUMPDEST 00001cd0: PUSH1 0x03 00001cd2: SSTORE 00001cd3: POP 00001cd4: JUMPDEST 00001cd5: PUSH1 0x60 00001cd7: DUP5 00001cd8: ADD 00001cd9: MLOAD 00001cda: ISZERO 00001cdb: PUSH2 0x1d14 00001cde: JUMPI 00001cdf: PUSH1 0x00 00001ce1: PUSH1 0x64 00001ce3: DUP6 00001ce4: PUSH1 0x60 00001ce6: ADD 00001ce7: MLOAD 00001ce8: DUP2 00001ce9: PUSH2 0x1cee 00001cec: JUMPI 00001ced: INVALID 00001cee: JUMPDEST 00001cef: DIV 00001cf0: SWAP1 00001cf1: POP 00001cf2: PUSH2 0x1cfb 00001cf5: CALLER 00001cf6: DUP3 00001cf7: PUSH2 0x2333 00001cfa: JUMP 00001cfb: JUMPDEST 00001cfc: PUSH1 0x60 00001cfe: DUP6 00001cff: ADD 00001d00: MLOAD 00001d01: PUSH1 0x02 00001d03: SLOAD 00001d04: PUSH2 0x1d0f 00001d07: SWAP2 00001d08: DUP4 00001d09: SWAP1 00001d0a: SUB 00001d0b: PUSH2 0x2015 00001d0e: JUMP 00001d0f: JUMPDEST 00001d10: PUSH1 0x02 00001d12: SSTORE 00001d13: POP 00001d14: JUMPDEST 00001d15: POP 00001d16: POP 00001d17: DUP2 00001d18: MLOAD 00001d19: PUSH1 0x20 00001d1b: DUP4 00001d1c: ADD 00001d1d: MLOAD 00001d1e: PUSH1 0x40 00001d20: SWAP1 00001d21: SWAP4 00001d22: ADD 00001d23: MLOAD 00001d24: SWAP1 00001d25: SWAP4 00001d26: SWAP1 00001d27: SWAP2 00001d28: POP 00001d29: JUMP 00001d2a: JUMPDEST 00001d2b: PUSH1 0x40 00001d2d: MLOAD 00001d2e: PUSH4 0xa9059cbb 00001d33: PUSH1 0xe0 00001d35: SHL 00001d36: DUP2 00001d37: MSTORE 00001d38: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001d4d: SWAP1 00001d4e: PUSH4 0xa9059cbb 00001d53: SWAP1 00001d54: PUSH2 0x0e01 00001d57: SWAP1 00001d58: DUP6 00001d59: SWAP1 00001d5a: DUP6 00001d5b: SWAP1 00001d5c: PUSH1 0x04 00001d5e: ADD 00001d5f: PUSH2 0x2a73 00001d62: JUMP 00001d63: JUMPDEST 00001d64: PUSH1 0x00 00001d66: DUP1 00001d67: PUSH1 0x00 00001d69: DUP4 00001d6a: DUP1 00001d6b: ISZERO 00001d6c: PUSH2 0x1d75 00001d6f: JUMPI 00001d70: POP 00001d71: PUSH1 0x00 00001d73: DUP8 00001d74: GT 00001d75: JUMPDEST 00001d76: SWAP1 00001d77: POP 00001d78: PUSH1 0x00 00001d7a: DUP10 00001d7b: PUSH2 0x0160 00001d7e: ADD 00001d7f: MLOAD 00001d80: DUP1 00001d81: ISZERO 00001d82: PUSH2 0x1d8b 00001d85: JUMPI 00001d86: POP 00001d87: PUSH1 0x00 00001d89: DUP8 00001d8a: GT 00001d8b: JUMPDEST 00001d8c: SWAP1 00001d8d: POP 00001d8e: DUP6 00001d8f: DUP3 00001d90: ISZERO 00001d91: PUSH2 0x1dbf 00001d94: JUMPI 00001d95: PUSH1 0xa0 00001d97: DUP12 00001d98: ADD 00001d99: MLOAD 00001d9a: PUSH1 0x02 00001d9c: DUP11 00001d9d: DIV 00001d9e: SWAP1 00001d9f: PUSH2 0x1da8 00001da2: SWAP1 00001da3: DUP3 00001da4: PUSH2 0x2015 00001da7: JUMP 00001da8: JUMPDEST 00001da9: PUSH1 0x05 00001dab: DUP13 00001dac: ADD 00001dad: SSTORE 00001dae: PUSH2 0x1db7 00001db1: DUP6 00001db2: DUP3 00001db3: PUSH2 0x2015 00001db6: JUMP 00001db7: JUMPDEST 00001db8: SWAP5 00001db9: POP 00001dba: POP 00001dbb: PUSH2 0x1dfb 00001dbe: JUMP 00001dbf: JUMPDEST 00001dc0: DUP9 00001dc1: ISZERO 00001dc2: PUSH2 0x1dfb 00001dc5: JUMPI 00001dc6: DUP2 00001dc7: ISZERO 00001dc8: PUSH2 0x1de3 00001dcb: JUMPI 00001dcc: PUSH1 0x40 00001dce: MLOAD 00001dcf: PUSH3 0x461bcd 00001dd3: PUSH1 0xe5 00001dd5: SHL 00001dd6: DUP2 00001dd7: MSTORE 00001dd8: PUSH1 0x04 00001dda: ADD 00001ddb: PUSH2 0x01e2 00001dde: SWAP1 00001ddf: PUSH2 0x2f82 00001de2: JUMP 00001de3: JUMPDEST 00001de4: PUSH1 0xa0 00001de6: DUP12 00001de7: ADD 00001de8: MLOAD 00001de9: PUSH2 0x1df2 00001dec: SWAP1 00001ded: DUP11 00001dee: PUSH2 0x2015 00001df1: JUMP 00001df2: JUMPDEST 00001df3: PUSH1 0x05 00001df5: DUP12 00001df6: ADD 00001df7: SSTORE 00001df8: POP 00001df9: PUSH1 0x01 00001dfb: JUMPDEST 00001dfc: DUP2 00001dfd: ISZERO 00001dfe: PUSH2 0x1e2c 00001e01: JUMPI 00001e02: PUSH1 0x02 00001e04: DUP9 00001e05: DIV 00001e06: PUSH2 0x1e0f 00001e09: DUP6 00001e0a: DUP3 00001e0b: PUSH2 0x2015 00001e0e: JUMP 00001e0f: JUMPDEST 00001e10: PUSH1 0x80 00001e12: DUP14 00001e13: ADD 00001e14: MLOAD 00001e15: SWAP1 00001e16: SWAP6 00001e17: POP 00001e18: PUSH2 0x1e21 00001e1b: SWAP1 00001e1c: DUP3 00001e1d: PUSH2 0x2015 00001e20: JUMP 00001e21: JUMPDEST 00001e22: PUSH1 0x04 00001e24: DUP13 00001e25: ADD 00001e26: SSTORE 00001e27: POP 00001e28: PUSH2 0x1e47 00001e2b: JUMP 00001e2c: JUMPDEST 00001e2d: DUP8 00001e2e: ISZERO 00001e2f: PUSH2 0x1e47 00001e32: JUMPI 00001e33: PUSH1 0x80 00001e35: DUP12 00001e36: ADD 00001e37: MLOAD 00001e38: PUSH2 0x1e41 00001e3b: SWAP1 00001e3c: DUP10 00001e3d: PUSH2 0x2015 00001e40: JUMP 00001e41: JUMPDEST 00001e42: PUSH1 0x04 00001e44: DUP12 00001e45: ADD 00001e46: SSTORE 00001e47: JUMPDEST 00001e48: DUP3 00001e49: DUP1 00001e4a: PUSH2 0x1e50 00001e4d: JUMPI 00001e4e: POP 00001e4f: DUP2 00001e50: JUMPDEST 00001e51: ISZERO 00001e52: PUSH2 0x1f40 00001e55: JUMPI 00001e56: PUSH1 0x60 00001e58: DUP12 00001e59: ADD 00001e5a: MLOAD 00001e5b: PUSH2 0x1e64 00001e5e: SWAP1 00001e5f: DUP6 00001e60: PUSH2 0x2015 00001e63: JUMP 00001e64: JUMPDEST 00001e65: PUSH1 0x03 00001e67: DUP12 00001e68: ADD 00001e69: SSTORE 00001e6a: PUSH2 0x1e72 00001e6d: DUP5 00001e6e: PUSH2 0x25c3 00001e71: JUMP 00001e72: JUMPDEST 00001e73: PUSH1 0xc0 00001e75: DUP12 00001e76: ADD 00001e77: MLOAD 00001e78: PUSH2 0x1e82 00001e7b: DUP6 00001e7c: PUSH1 0x14 00001e7e: PUSH2 0x236c 00001e81: JUMP 00001e82: JUMPDEST 00001e83: LT 00001e84: ISZERO 00001e85: DUP1 00001e86: ISZERO 00001e87: PUSH2 0x1e9a 00001e8a: JUMPI 00001e8b: POP 00001e8c: DUP11 00001e8d: PUSH2 0x0100 00001e90: ADD 00001e91: MLOAD 00001e92: PUSH3 0x093a80 00001e96: ADD 00001e97: TIMESTAMP 00001e98: LT 00001e99: ISZERO 00001e9a: JUMPDEST 00001e9b: ISZERO 00001e9c: PUSH2 0x1ecf 00001e9f: JUMPI 00001ea0: PUSH1 0x0b 00001ea2: PUSH2 0x0120 00001ea5: DUP13 00001ea6: ADD 00001ea7: MSTORE 00001ea8: PUSH2 0x0100 00001eab: DUP12 00001eac: ADD 00001ead: MLOAD 00001eae: PUSH3 0x127500 00001eb2: ADD 00001eb3: TIMESTAMP 00001eb4: GT 00001eb5: PUSH2 0x1ec6 00001eb8: JUMPI 00001eb9: POP 00001eba: PUSH1 0x09 00001ebc: DUP10 00001ebd: ADD 00001ebe: SLOAD 00001ebf: PUSH1 0x01 00001ec1: ADD 00001ec2: PUSH2 0x1eca 00001ec5: JUMP 00001ec6: JUMPDEST 00001ec7: PUSH1 0x01 00001ec9: ADD 00001eca: JUMPDEST 00001ecb: PUSH2 0x1eff 00001ece: JUMP 00001ecf: JUMPDEST 00001ed0: DUP2 00001ed1: ISZERO 00001ed2: PUSH2 0x1eff 00001ed5: JUMPI 00001ed6: DUP11 00001ed7: PUSH2 0x0100 00001eda: ADD 00001edb: MLOAD 00001edc: PUSH3 0x127500 00001ee0: ADD 00001ee1: TIMESTAMP 00001ee2: LT 00001ee3: ISZERO 00001ee4: PUSH2 0x1eff 00001ee7: JUMPI 00001ee8: PUSH1 0x40 00001eea: MLOAD 00001eeb: PUSH3 0x461bcd 00001eef: PUSH1 0xe5 00001ef1: SHL 00001ef2: DUP2 00001ef3: MSTORE 00001ef4: PUSH1 0x04 00001ef6: ADD 00001ef7: PUSH2 0x01e2 00001efa: SWAP1 00001efb: PUSH2 0x2e07 00001efe: JUMP 00001eff: JUMPDEST 00001f00: PUSH2 0x0100 00001f03: DUP12 00001f04: ADD 00001f05: MLOAD 00001f06: PUSH2 0x1f40 00001f09: JUMPI 00001f0a: DUP4 00001f0b: DUP12 00001f0c: PUSH1 0xc0 00001f0e: ADD 00001f0f: MLOAD 00001f10: GT 00001f11: ISZERO 00001f12: PUSH2 0x1f2d 00001f15: JUMPI 00001f16: PUSH1 0x40 00001f18: MLOAD 00001f19: PUSH3 0x461bcd 00001f1d: PUSH1 0xe5 00001f1f: SHL 00001f20: DUP2 00001f21: MSTORE 00001f22: PUSH1 0x04 00001f24: ADD 00001f25: PUSH2 0x01e2 00001f28: SWAP1 00001f29: PUSH2 0x2c24 00001f2c: JUMP 00001f2d: JUMPDEST 00001f2e: POP 00001f2f: PUSH1 0x0b 00001f31: DUP10 00001f32: ADD 00001f33: DUP1 00001f34: SLOAD 00001f35: PUSH1 0xff 00001f37: NOT 00001f38: AND 00001f39: PUSH1 0x01 00001f3b: OR 00001f3c: SWAP1 00001f3d: SSTORE 00001f3e: PUSH1 0x0a 00001f40: JUMPDEST 00001f41: PUSH2 0x1f5b 00001f44: DUP9 00001f45: PUSH2 0x15f7 00001f48: DUP12 00001f49: DUP15 00001f4a: PUSH1 0xc0 00001f4c: ADD 00001f4d: MLOAD 00001f4e: PUSH2 0x2015 00001f51: SWAP1 00001f52: SWAP2 00001f53: SWAP1 00001f54: PUSH4 0xffffffff 00001f59: AND 00001f5a: JUMP 00001f5b: JUMPDEST 00001f5c: PUSH1 0xc0 00001f5e: DUP13 00001f5f: ADD 00001f60: DUP2 00001f61: SWAP1 00001f62: MSTORE 00001f63: PUSH1 0x06 00001f65: DUP12 00001f66: ADD 00001f67: SSTORE 00001f68: PUSH1 0x0a 00001f6a: DUP2 00001f6b: GT 00001f6c: ISZERO 00001f6d: PUSH2 0x1f7d 00001f70: JUMPI 00001f71: PUSH1 0x0a 00001f73: SWAP5 00001f74: POP 00001f75: POP 00001f76: POP 00001f77: POP 00001f78: POP 00001f79: PUSH2 0x1c83 00001f7c: JUMP 00001f7d: JUMPDEST 00001f7e: SWAP11 00001f7f: SWAP10 00001f80: POP 00001f81: POP 00001f82: POP 00001f83: POP 00001f84: POP 00001f85: POP 00001f86: POP 00001f87: POP 00001f88: POP 00001f89: POP 00001f8a: JUMP 00001f8b: JUMPDEST 00001f8c: PUSH1 0x0b 00001f8e: DUP2 00001f8f: LT 00001f90: PUSH2 0x1fab 00001f93: JUMPI 00001f94: PUSH1 0x40 00001f96: MLOAD 00001f97: PUSH3 0x461bcd 00001f9b: PUSH1 0xe5 00001f9d: SHL 00001f9e: DUP2 00001f9f: MSTORE 00001fa0: PUSH1 0x04 00001fa2: ADD 00001fa3: PUSH2 0x01e2 00001fa6: SWAP1 00001fa7: PUSH2 0x307c 00001faa: JUMP 00001fab: JUMPDEST 00001fac: DUP1 00001fad: DUP4 00001fae: PUSH2 0x0120 00001fb1: ADD 00001fb2: MLOAD 00001fb3: EQ 00001fb4: PUSH2 0x06cc 00001fb7: JUMPI 00001fb8: PUSH1 0x09 00001fba: DUP3 00001fbb: ADD 00001fbc: DUP2 00001fbd: SWAP1 00001fbe: SSTORE 00001fbf: PUSH2 0x0120 00001fc2: DUP4 00001fc3: ADD 00001fc4: MLOAD 00001fc5: ISZERO 00001fc6: PUSH2 0x06cc 00001fc9: JUMPI 00001fca: PUSH2 0x0120 00001fcd: DUP4 00001fce: ADD 00001fcf: MLOAD 00001fd0: PUSH1 0x00 00001fd2: SWAP1 00001fd3: PUSH1 0x0b 00001fd5: EQ 00001fd6: PUSH2 0x1fe6 00001fd9: JUMPI 00001fda: DUP4 00001fdb: PUSH2 0x0100 00001fde: ADD 00001fdf: MLOAD 00001fe0: TIMESTAMP 00001fe1: SUB 00001fe2: PUSH2 0x1fe9 00001fe5: JUMP 00001fe6: JUMPDEST 00001fe7: PUSH1 0x00 00001fe9: JUMPDEST 00001fea: SWAP1 00001feb: POP 00001fec: PUSH1 0x00 00001fee: DUP1 00001fef: DUP6 00001ff0: PUSH2 0x0100 00001ff3: ADD 00001ff4: MLOAD 00001ff5: GT 00001ff6: PUSH2 0x2000 00001ff9: JUMPI 00001ffa: PUSH1 0x00 00001ffc: PUSH2 0x2007 00001fff: JUMP 00002000: JUMPDEST 00002001: PUSH3 0x093a80 00002005: DUP3 00002006: MOD 00002007: JUMPDEST 00002008: TIMESTAMP 00002009: SUB 0000200a: PUSH1 0x08 0000200c: DUP6 0000200d: ADD 0000200e: SSTORE 0000200f: POP 00002010: POP 00002011: POP 00002012: POP 00002013: POP 00002014: JUMP 00002015: JUMPDEST 00002016: PUSH1 0x00 00002018: DUP3 00002019: DUP3 0000201a: ADD 0000201b: DUP4 0000201c: DUP2 0000201d: LT 0000201e: ISZERO 0000201f: PUSH2 0x206f 00002022: JUMPI 00002023: PUSH1 0x40 00002025: DUP1 00002026: MLOAD 00002027: PUSH3 0x461bcd 0000202b: PUSH1 0xe5 0000202d: SHL 0000202e: DUP2 0000202f: MSTORE 00002030: PUSH1 0x20 00002032: PUSH1 0x04 00002034: DUP3 00002035: ADD 00002036: MSTORE 00002037: PUSH1 0x1b 00002039: PUSH1 0x24 0000203b: DUP3 0000203c: ADD 0000203d: MSTORE 0000203e: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000205f: PUSH1 0x44 00002061: DUP3 00002062: ADD 00002063: MSTORE 00002064: SWAP1 00002065: MLOAD 00002066: SWAP1 00002067: DUP2 00002068: SWAP1 00002069: SUB 0000206a: PUSH1 0x64 0000206c: ADD 0000206d: SWAP1 0000206e: REVERT 0000206f: JUMPDEST 00002070: SWAP1 00002071: POP 00002072: JUMPDEST 00002073: SWAP3 00002074: SWAP2 00002075: POP 00002076: POP 00002077: JUMP 00002078: JUMPDEST 00002079: PUSH1 0x00 0000207b: PUSH2 0x20a4 0000207e: PUSH2 0x2094 00002081: DUP4 00002082: DUP8 00002083: PUSH1 0xc0 00002085: ADD 00002086: MLOAD 00002087: PUSH2 0x236c 0000208a: SWAP1 0000208b: SWAP2 0000208c: SWAP1 0000208d: PUSH4 0xffffffff 00002092: AND 00002093: JUMP 00002094: JUMPDEST 00002095: PUSH1 0xe0 00002097: DUP8 00002098: ADD 00002099: MLOAD 0000209a: PUSH2 0x15f7 0000209d: SWAP1 0000209e: PUSH1 0xc8 000020a0: PUSH2 0x236c 000020a3: JUMP 000020a4: JUMPDEST 000020a5: SWAP1 000020a6: POP 000020a7: PUSH2 0x20c6 000020aa: DUP2 000020ab: PUSH2 0x15f7 000020ae: DUP8 000020af: PUSH1 0x40 000020b1: ADD 000020b2: MLOAD 000020b3: PUSH1 0x04 000020b5: PUSH1 0x00 000020b7: ADD 000020b8: SLOAD 000020b9: PUSH2 0x23c5 000020bc: SWAP1 000020bd: SWAP2 000020be: SWAP1 000020bf: PUSH4 0xffffffff 000020c4: AND 000020c5: JUMP 000020c6: JUMPDEST 000020c7: PUSH1 0x04 000020c9: SSTORE 000020ca: PUSH1 0x02 000020cc: DUP7 000020cd: ADD 000020ce: DUP2 000020cf: SWAP1 000020d0: SSTORE 000020d1: PUSH2 0x20da 000020d4: DUP2 000020d5: DUP6 000020d6: PUSH2 0x236c 000020d9: JUMP 000020da: JUMPDEST 000020db: PUSH1 0x01 000020dd: DUP8 000020de: ADD 000020df: SSTORE 000020e0: PUSH2 0x20e9 000020e3: DUP2 000020e4: DUP5 000020e5: PUSH2 0x236c 000020e8: JUMP 000020e9: JUMPDEST 000020ea: SWAP1 000020eb: SWAP6 000020ec: SSTORE 000020ed: POP 000020ee: POP 000020ef: POP 000020f0: POP 000020f1: POP 000020f2: JUMP 000020f3: JUMPDEST 000020f4: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 00002109: PUSH1 0x01 0000210b: PUSH1 0x01 0000210d: PUSH1 0xa0 0000210f: SHL 00002110: SUB 00002111: AND 00002112: PUSH4 0x5aa6e675 00002117: PUSH1 0x40 00002119: MLOAD 0000211a: DUP2 0000211b: PUSH4 0xffffffff 00002120: AND 00002121: PUSH1 0xe0 00002123: SHL 00002124: DUP2 00002125: MSTORE 00002126: PUSH1 0x04 00002128: ADD 00002129: PUSH1 0x20 0000212b: PUSH1 0x40 0000212d: MLOAD 0000212e: DUP1 0000212f: DUP4 00002130: SUB 00002131: DUP2 00002132: DUP7 00002133: DUP1 00002134: EXTCODESIZE 00002135: ISZERO 00002136: DUP1 00002137: ISZERO 00002138: PUSH2 0x2140 0000213b: JUMPI 0000213c: PUSH1 0x00 0000213e: DUP1 0000213f: REVERT 00002140: JUMPDEST 00002141: POP 00002142: GAS 00002143: STATICCALL 00002144: ISZERO 00002145: DUP1 00002146: ISZERO 00002147: PUSH2 0x2154 0000214a: JUMPI 0000214b: RETURNDATASIZE 0000214c: PUSH1 0x00 0000214e: DUP1 0000214f: RETURNDATACOPY 00002150: RETURNDATASIZE 00002151: PUSH1 0x00 00002153: REVERT 00002154: JUMPDEST 00002155: POP 00002156: POP 00002157: POP 00002158: POP 00002159: PUSH1 0x40 0000215b: MLOAD 0000215c: RETURNDATASIZE 0000215d: PUSH1 0x1f 0000215f: NOT 00002160: PUSH1 0x1f 00002162: DUP3 00002163: ADD 00002164: AND 00002165: DUP3 00002166: ADD 00002167: DUP1 00002168: PUSH1 0x40 0000216a: MSTORE 0000216b: POP 0000216c: DUP2 0000216d: ADD 0000216e: SWAP1 0000216f: PUSH2 0x2178 00002172: SWAP2 00002173: SWAP1 00002174: PUSH2 0x28de 00002177: JUMP 00002178: JUMPDEST 00002179: PUSH1 0x01 0000217b: PUSH1 0x01 0000217d: PUSH1 0xa0 0000217f: SHL 00002180: SUB 00002181: AND 00002182: CALLER 00002183: PUSH1 0x01 00002185: PUSH1 0x01 00002187: PUSH1 0xa0 00002189: SHL 0000218a: SUB 0000218b: AND 0000218c: EQ 0000218d: PUSH2 0x1aca 00002190: JUMPI 00002191: PUSH1 0x40 00002193: MLOAD 00002194: PUSH3 0x461bcd 00002198: PUSH1 0xe5 0000219a: SHL 0000219b: DUP2 0000219c: MSTORE 0000219d: PUSH1 0x04 0000219f: ADD 000021a0: PUSH2 0x01e2 000021a3: SWAP1 000021a4: PUSH2 0x2cc3 000021a7: JUMP 000021a8: JUMPDEST 000021a9: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 000021be: PUSH1 0x00 000021c0: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 000021d5: PUSH1 0x01 000021d7: PUSH1 0x01 000021d9: PUSH1 0xa0 000021db: SHL 000021dc: SUB 000021dd: AND 000021de: PUSH4 0x5aa6e675 000021e3: PUSH1 0x40 000021e5: MLOAD 000021e6: DUP2 000021e7: PUSH4 0xffffffff 000021ec: AND 000021ed: PUSH1 0xe0 000021ef: SHL 000021f0: DUP2 000021f1: MSTORE 000021f2: PUSH1 0x04 000021f4: ADD 000021f5: PUSH1 0x20 000021f7: PUSH1 0x40 000021f9: MLOAD 000021fa: DUP1 000021fb: DUP4 000021fc: SUB 000021fd: DUP2 000021fe: DUP7 000021ff: DUP1 00002200: EXTCODESIZE 00002201: ISZERO 00002202: DUP1 00002203: ISZERO 00002204: PUSH2 0x220c 00002207: JUMPI 00002208: PUSH1 0x00 0000220a: DUP1 0000220b: REVERT 0000220c: JUMPDEST 0000220d: POP 0000220e: GAS 0000220f: STATICCALL 00002210: ISZERO 00002211: DUP1 00002212: ISZERO 00002213: PUSH2 0x2220 00002216: JUMPI 00002217: RETURNDATASIZE 00002218: PUSH1 0x00 0000221a: DUP1 0000221b: RETURNDATACOPY 0000221c: RETURNDATASIZE 0000221d: PUSH1 0x00 0000221f: REVERT 00002220: JUMPDEST 00002221: POP 00002222: POP 00002223: POP 00002224: POP 00002225: PUSH1 0x40 00002227: MLOAD 00002228: RETURNDATASIZE 00002229: PUSH1 0x1f 0000222b: NOT 0000222c: PUSH1 0x1f 0000222e: DUP3 0000222f: ADD 00002230: AND 00002231: DUP3 00002232: ADD 00002233: DUP1 00002234: PUSH1 0x40 00002236: MSTORE 00002237: POP 00002238: DUP2 00002239: ADD 0000223a: SWAP1 0000223b: PUSH2 0x2244 0000223e: SWAP2 0000223f: SWAP1 00002240: PUSH2 0x28de 00002243: JUMP 00002244: JUMPDEST 00002245: PUSH1 0x01 00002247: PUSH1 0x01 00002249: PUSH1 0xa0 0000224b: SHL 0000224c: SUB 0000224d: AND 0000224e: PUSH4 0x468721a7 00002253: DUP4 00002254: PUSH1 0x00 00002256: DUP10 00002257: DUP10 00002258: DUP10 00002259: DUP10 0000225a: PUSH1 0x40 0000225c: MLOAD 0000225d: PUSH1 0x24 0000225f: ADD 00002260: PUSH2 0x226c 00002263: SWAP5 00002264: SWAP4 00002265: SWAP3 00002266: SWAP2 00002267: SWAP1 00002268: PUSH2 0x2a8c 0000226b: JUMP 0000226c: JUMPDEST 0000226d: PUSH1 0x40 0000226f: DUP1 00002270: MLOAD 00002271: PUSH1 0x1f 00002273: NOT 00002274: DUP2 00002275: DUP5 00002276: SUB 00002277: ADD 00002278: DUP2 00002279: MSTORE 0000227a: SWAP2 0000227b: DUP2 0000227c: MSTORE 0000227d: PUSH1 0x20 0000227f: DUP3 00002280: ADD 00002281: DUP1 00002282: MLOAD 00002283: PUSH1 0x01 00002285: PUSH1 0x01 00002287: PUSH1 0xe0 00002289: SHL 0000228a: SUB 0000228b: AND 0000228c: PUSH4 0x0748edb3 00002291: PUSH1 0xe1 00002293: SHL 00002294: OR 00002295: SWAP1 00002296: MSTORE 00002297: MLOAD 00002298: PUSH1 0xe0 0000229a: DUP6 0000229b: SWAP1 0000229c: SHL 0000229d: PUSH1 0x01 0000229f: PUSH1 0x01 000022a1: PUSH1 0xe0 000022a3: SHL 000022a4: SUB 000022a5: NOT 000022a6: AND 000022a7: DUP2 000022a8: MSTORE 000022a9: PUSH2 0x22ba 000022ac: SWAP4 000022ad: SWAP3 000022ae: SWAP2 000022af: SWAP1 000022b0: PUSH1 0x00 000022b2: SWAP1 000022b3: PUSH1 0x04 000022b5: ADD 000022b6: PUSH2 0x2ab6 000022b9: JUMP 000022ba: JUMPDEST 000022bb: PUSH1 0x20 000022bd: PUSH1 0x40 000022bf: MLOAD 000022c0: DUP1 000022c1: DUP4 000022c2: SUB 000022c3: DUP2 000022c4: PUSH1 0x00 000022c6: DUP8 000022c7: DUP1 000022c8: EXTCODESIZE 000022c9: ISZERO 000022ca: DUP1 000022cb: ISZERO 000022cc: PUSH2 0x22d4 000022cf: JUMPI 000022d0: PUSH1 0x00 000022d2: DUP1 000022d3: REVERT 000022d4: JUMPDEST 000022d5: POP 000022d6: GAS 000022d7: CALL 000022d8: ISZERO 000022d9: DUP1 000022da: ISZERO 000022db: PUSH2 0x22e8 000022de: JUMPI 000022df: RETURNDATASIZE 000022e0: PUSH1 0x00 000022e2: DUP1 000022e3: RETURNDATACOPY 000022e4: RETURNDATASIZE 000022e5: PUSH1 0x00 000022e7: REVERT 000022e8: JUMPDEST 000022e9: POP 000022ea: POP 000022eb: POP 000022ec: POP 000022ed: PUSH1 0x40 000022ef: MLOAD 000022f0: RETURNDATASIZE 000022f1: PUSH1 0x1f 000022f3: NOT 000022f4: PUSH1 0x1f 000022f6: DUP3 000022f7: ADD 000022f8: AND 000022f9: DUP3 000022fa: ADD 000022fb: DUP1 000022fc: PUSH1 0x40 000022fe: MSTORE 000022ff: POP 00002300: DUP2 00002301: ADD 00002302: SWAP1 00002303: PUSH2 0x230c 00002306: SWAP2 00002307: SWAP1 00002308: PUSH2 0x29ad 0000230b: JUMP 0000230c: JUMPDEST 0000230d: SWAP1 0000230e: POP 0000230f: DUP1 00002310: PUSH2 0x232b 00002313: JUMPI 00002314: PUSH1 0x40 00002316: MLOAD 00002317: PUSH3 0x461bcd 0000231b: PUSH1 0xe5 0000231d: SHL 0000231e: DUP2 0000231f: MSTORE 00002320: PUSH1 0x04 00002322: ADD 00002323: PUSH2 0x01e2 00002326: SWAP1 00002327: PUSH2 0x31c3 0000232a: JUMP 0000232b: JUMPDEST 0000232c: POP 0000232d: POP 0000232e: POP 0000232f: POP 00002330: POP 00002331: POP 00002332: JUMP 00002333: JUMPDEST 00002334: PUSH1 0x40 00002336: MLOAD 00002337: PUSH4 0xa9059cbb 0000233c: PUSH1 0xe0 0000233e: SHL 0000233f: DUP2 00002340: MSTORE 00002341: PUSH20 0x9ea3b5b4ec044b70375236a281986106457b20ef 00002356: SWAP1 00002357: PUSH4 0xa9059cbb 0000235c: SWAP1 0000235d: PUSH2 0x0e01 00002360: SWAP1 00002361: DUP6 00002362: SWAP1 00002363: DUP6 00002364: SWAP1 00002365: PUSH1 0x04 00002367: ADD 00002368: PUSH2 0x2a73 0000236b: JUMP 0000236c: JUMPDEST 0000236d: PUSH1 0x00 0000236f: DUP3 00002370: PUSH2 0x237b 00002373: JUMPI 00002374: POP 00002375: PUSH1 0x00 00002377: PUSH2 0x2072 0000237a: JUMP 0000237b: JUMPDEST 0000237c: DUP3 0000237d: DUP3 0000237e: MUL 0000237f: DUP3 00002380: DUP5 00002381: DUP3 00002382: DUP2 00002383: PUSH2 0x2388 00002386: JUMPI 00002387: INVALID 00002388: JUMPDEST 00002389: DIV 0000238a: EQ 0000238b: PUSH2 0x206f 0000238e: JUMPI 0000238f: PUSH1 0x40 00002391: MLOAD 00002392: PUSH3 0x461bcd 00002396: PUSH1 0xe5 00002398: SHL 00002399: DUP2 0000239a: MSTORE 0000239b: PUSH1 0x04 0000239d: ADD 0000239e: DUP1 0000239f: DUP1 000023a0: PUSH1 0x20 000023a2: ADD 000023a3: DUP3 000023a4: DUP2 000023a5: SUB 000023a6: DUP3 000023a7: MSTORE 000023a8: PUSH1 0x21 000023aa: DUP2 000023ab: MSTORE 000023ac: PUSH1 0x20 000023ae: ADD 000023af: DUP1 000023b0: PUSH2 0x3377 000023b3: PUSH1 0x21 000023b5: SWAP2 000023b6: CODECOPY 000023b7: PUSH1 0x40 000023b9: ADD 000023ba: SWAP2 000023bb: POP 000023bc: POP 000023bd: PUSH1 0x40 000023bf: MLOAD 000023c0: DUP1 000023c1: SWAP2 000023c2: SUB 000023c3: SWAP1 000023c4: REVERT 000023c5: JUMPDEST 000023c6: PUSH1 0x00 000023c8: DUP3 000023c9: DUP3 000023ca: GT 000023cb: ISZERO 000023cc: PUSH2 0x241c 000023cf: JUMPI 000023d0: PUSH1 0x40 000023d2: DUP1 000023d3: MLOAD 000023d4: PUSH3 0x461bcd 000023d8: PUSH1 0xe5 000023da: SHL 000023db: DUP2 000023dc: MSTORE 000023dd: PUSH1 0x20 000023df: PUSH1 0x04 000023e1: DUP3 000023e2: ADD 000023e3: MSTORE 000023e4: PUSH1 0x1e 000023e6: PUSH1 0x24 000023e8: DUP3 000023e9: ADD 000023ea: MSTORE 000023eb: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000240c: PUSH1 0x44 0000240e: DUP3 0000240f: ADD 00002410: MSTORE 00002411: SWAP1 00002412: MLOAD 00002413: SWAP1 00002414: DUP2 00002415: SWAP1 00002416: SUB 00002417: PUSH1 0x64 00002419: ADD 0000241a: SWAP1 0000241b: REVERT 0000241c: JUMPDEST 0000241d: POP 0000241e: SWAP1 0000241f: SUB 00002420: SWAP1 00002421: JUMP 00002422: JUMPDEST 00002423: PUSH1 0x00 00002425: DUP1 00002426: PUSH5 0xe8d4a51000 0000242c: PUSH2 0x243f 0000242f: DUP6 00002430: PUSH2 0x2439 00002433: DUP10 00002434: DUP12 00002435: PUSH2 0x236c 00002438: JUMP 00002439: JUMPDEST 0000243a: SWAP1 0000243b: PUSH2 0x23c5 0000243e: JUMP 0000243f: JUMPDEST 00002440: DUP2 00002441: PUSH2 0x2446 00002444: JUMPI 00002445: INVALID 00002446: JUMPDEST 00002447: DIV 00002448: SWAP2 00002449: POP 0000244a: PUSH5 0xe8d4a51000 00002450: PUSH2 0x245d 00002453: DUP5 00002454: PUSH2 0x2439 00002457: DUP9 00002458: DUP12 00002459: PUSH2 0x236c 0000245c: JUMP 0000245d: JUMPDEST 0000245e: DUP2 0000245f: PUSH2 0x2464 00002462: JUMPI 00002463: INVALID 00002464: JUMPDEST 00002465: DIV 00002466: SWAP1 00002467: POP 00002468: SWAP6 00002469: POP 0000246a: SWAP6 0000246b: SWAP4 0000246c: POP 0000246d: POP 0000246e: POP 0000246f: POP 00002470: JUMP 00002471: JUMPDEST 00002472: PUSH2 0x2479 00002475: PUSH2 0x286b 00002478: JUMP 00002479: JUMPDEST 0000247a: PUSH1 0x00 0000247c: PUSH2 0x2486 0000247f: DUP5 00002480: PUSH1 0xc8 00002482: PUSH2 0x236c 00002485: JUMP 00002486: JUMPDEST 00002487: SWAP1 00002488: POP 00002489: PUSH1 0x00 0000248b: PUSH2 0x2494 0000248e: DUP7 0000248f: DUP12 00002490: PUSH2 0x236c 00002493: JUMP 00002494: JUMPDEST 00002495: SWAP1 00002496: POP 00002497: PUSH1 0x64 00002499: DUP3 0000249a: ISZERO 0000249b: PUSH2 0x24bf 0000249e: JUMPI 0000249f: PUSH2 0x24bc 000024a2: PUSH2 0x24ab 000024a5: DUP5 000024a6: DUP5 000024a7: PUSH2 0x2015 000024aa: JUMP 000024ab: JUMPDEST 000024ac: PUSH2 0x24b6 000024af: DUP5 000024b0: PUSH1 0x64 000024b2: PUSH2 0x236c 000024b5: JUMP 000024b6: JUMPDEST 000024b7: SWAP1 000024b8: PUSH2 0x25e1 000024bb: JUMP 000024bc: JUMPDEST 000024bd: SWAP1 000024be: POP 000024bf: JUMPDEST 000024c0: PUSH1 0x02 000024c2: DUP12 000024c3: LT 000024c4: ISZERO 000024c5: PUSH2 0x24ff 000024c8: JUMPI 000024c9: PUSH1 0x01 000024cb: SWAP11 000024cc: POP 000024cd: PUSH1 0x40 000024cf: MLOAD 000024d0: DUP1 000024d1: PUSH1 0xa0 000024d3: ADD 000024d4: PUSH1 0x40 000024d6: MSTORE 000024d7: DUP1 000024d8: DUP13 000024d9: DUP2 000024da: MSTORE 000024db: PUSH1 0x20 000024dd: ADD 000024de: DUP12 000024df: DUP2 000024e0: MSTORE 000024e1: PUSH1 0x20 000024e3: ADD 000024e4: DUP11 000024e5: DUP2 000024e6: MSTORE 000024e7: PUSH1 0x20 000024e9: ADD 000024ea: PUSH1 0x00 000024ec: DUP2 000024ed: MSTORE 000024ee: PUSH1 0x20 000024f0: ADD 000024f1: PUSH1 0x00 000024f3: DUP2 000024f4: MSTORE 000024f5: POP 000024f6: SWAP4 000024f7: POP 000024f8: POP 000024f9: POP 000024fa: POP 000024fb: PUSH2 0x25b8 000024fe: JUMP 000024ff: JUMPDEST 00002500: DUP1 00002501: ISZERO 00002502: PUSH2 0x2589 00002505: JUMPI 00002506: PUSH1 0x00 00002508: PUSH2 0x2515 0000250b: DUP12 0000250c: DUP12 0000250d: DUP5 0000250e: DUP16 0000250f: DUP11 00002510: DUP15 00002511: PUSH2 0x2648 00002514: JUMP 00002515: JUMPDEST 00002516: SWAP1 00002517: POP 00002518: DUP12 00002519: DUP2 0000251a: PUSH1 0x60 0000251c: ADD 0000251d: MLOAD 0000251e: EQ 0000251f: PUSH2 0x2587 00002522: JUMPI 00002523: PUSH1 0x60 00002525: DUP2 00002526: ADD 00002527: MLOAD 00002528: DUP2 00002529: MLOAD 0000252a: SWAP1 0000252b: SWAP13 0000252c: POP 0000252d: PUSH2 0x2537 00002530: SWAP1 00002531: DUP13 00002532: SWAP1 00002533: PUSH2 0x23c5 00002536: JUMP 00002537: JUMPDEST 00002538: SWAP11 00002539: POP 0000253a: PUSH2 0x2550 0000253d: DUP2 0000253e: PUSH1 0x20 00002540: ADD 00002541: MLOAD 00002542: DUP12 00002543: PUSH2 0x23c5 00002546: SWAP1 00002547: SWAP2 00002548: SWAP1 00002549: PUSH4 0xffffffff 0000254e: AND 0000254f: JUMP 00002550: JUMPDEST 00002551: PUSH1 0x40 00002553: DUP1 00002554: MLOAD 00002555: PUSH1 0xa0 00002557: DUP2 00002558: ADD 00002559: DUP3 0000255a: MSTORE 0000255b: DUP15 0000255c: DUP2 0000255d: MSTORE 0000255e: PUSH1 0x20 00002560: DUP1 00002561: DUP3 00002562: ADD 00002563: DUP16 00002564: SWAP1 00002565: MSTORE 00002566: SWAP2 00002567: DUP2 00002568: ADD 00002569: DUP4 0000256a: SWAP1 0000256b: MSTORE 0000256c: DUP4 0000256d: MLOAD 0000256e: PUSH1 0x60 00002570: DUP3 00002571: ADD 00002572: MSTORE 00002573: SWAP3 00002574: ADD 00002575: MLOAD 00002576: PUSH1 0x80 00002578: DUP4 00002579: ADD 0000257a: MSTORE 0000257b: SWAP10 0000257c: POP 0000257d: SWAP4 0000257e: POP 0000257f: PUSH2 0x25b8 00002582: SWAP3 00002583: POP 00002584: POP 00002585: POP 00002586: JUMP 00002587: JUMPDEST 00002588: POP 00002589: JUMPDEST 0000258a: PUSH1 0x40 0000258c: MLOAD 0000258d: DUP1 0000258e: PUSH1 0xa0 00002590: ADD 00002591: PUSH1 0x40 00002593: MSTORE 00002594: DUP1 00002595: DUP13 00002596: DUP2 00002597: MSTORE 00002598: PUSH1 0x20 0000259a: ADD 0000259b: DUP12 0000259c: DUP2 0000259d: MSTORE 0000259e: PUSH1 0x20 000025a0: ADD 000025a1: DUP11 000025a2: DUP2 000025a3: MSTORE 000025a4: PUSH1 0x20 000025a6: ADD 000025a7: PUSH1 0x00 000025a9: DUP2 000025aa: MSTORE 000025ab: PUSH1 0x20 000025ad: ADD 000025ae: PUSH1 0x00 000025b0: DUP2 000025b1: MSTORE 000025b2: POP 000025b3: SWAP4 000025b4: POP 000025b5: POP 000025b6: POP 000025b7: POP 000025b8: JUMPDEST 000025b9: SWAP8 000025ba: SWAP7 000025bb: POP 000025bc: POP 000025bd: POP 000025be: POP 000025bf: POP 000025c0: POP 000025c1: POP 000025c2: JUMP 000025c3: JUMPDEST 000025c4: PUSH2 0x10c8 000025c7: PUSH20 0xdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef 000025dc: DUP3 000025dd: PUSH2 0x2333 000025e0: JUMP 000025e1: JUMPDEST 000025e2: PUSH1 0x00 000025e4: DUP1 000025e5: DUP3 000025e6: GT 000025e7: PUSH2 0x2637 000025ea: JUMPI 000025eb: PUSH1 0x40 000025ed: DUP1 000025ee: MLOAD 000025ef: PUSH3 0x461bcd 000025f3: PUSH1 0xe5 000025f5: SHL 000025f6: DUP2 000025f7: MSTORE 000025f8: PUSH1 0x20 000025fa: PUSH1 0x04 000025fc: DUP3 000025fd: ADD 000025fe: MSTORE 000025ff: PUSH1 0x1a 00002601: PUSH1 0x24 00002603: DUP3 00002604: ADD 00002605: MSTORE 00002606: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00002627: PUSH1 0x44 00002629: DUP3 0000262a: ADD 0000262b: MSTORE 0000262c: SWAP1 0000262d: MLOAD 0000262e: SWAP1 0000262f: DUP2 00002630: SWAP1 00002631: SUB 00002632: PUSH1 0x64 00002634: ADD 00002635: SWAP1 00002636: REVERT 00002637: JUMPDEST 00002638: DUP2 00002639: DUP4 0000263a: DUP2 0000263b: PUSH2 0x2640 0000263e: JUMPI 0000263f: INVALID 00002640: JUMPDEST 00002641: DIV 00002642: SWAP4 00002643: SWAP3 00002644: POP 00002645: POP 00002646: POP 00002647: JUMP 00002648: JUMPDEST 00002649: PUSH2 0x2650 0000264c: PUSH2 0x289a 0000264f: JUMP 00002650: JUMPDEST 00002651: PUSH1 0x00 00002653: DUP1 00002654: PUSH2 0x265f 00002657: DUP7 00002658: DUP6 00002659: DUP8 0000265a: SUB 0000265b: PUSH2 0x26bc 0000265e: JUMP 0000265f: JUMPDEST 00002660: PUSH1 0x40 00002662: DUP6 00002663: ADD 00002664: DUP2 00002665: SWAP1 00002666: MSTORE 00002667: PUSH1 0x60 00002669: DUP6 0000266a: ADD 0000266b: DUP3 0000266c: SWAP1 0000266d: MSTORE 0000266e: SWAP1 0000266f: SWAP3 00002670: POP 00002671: SWAP1 00002672: POP 00002673: PUSH2 0x2690 00002676: PUSH2 0x2710 00002679: PUSH2 0x24b6 0000267c: PUSH1 0x64 0000267e: DUP5 0000267f: SWAP1 00002680: SUB 00002681: PUSH2 0x268a 00002684: DUP14 00002685: DUP13 00002686: PUSH2 0x236c 00002689: JUMP 0000268a: JUMPDEST 0000268b: SWAP1 0000268c: PUSH2 0x236c 0000268f: JUMP 00002690: JUMPDEST 00002691: DUP4 00002692: MSTORE 00002693: PUSH2 0x26aa 00002696: PUSH2 0x2710 00002699: PUSH2 0x24b6 0000269c: PUSH1 0x64 0000269e: DUP5 0000269f: SWAP1 000026a0: SUB 000026a1: PUSH2 0x268a 000026a4: DUP13 000026a5: DUP13 000026a6: PUSH2 0x236c 000026a9: JUMP 000026aa: JUMPDEST 000026ab: PUSH1 0x20 000026ad: DUP5 000026ae: ADD 000026af: MSTORE 000026b0: POP 000026b1: SWAP1 000026b2: SWAP8 000026b3: SWAP7 000026b4: POP 000026b5: POP 000026b6: POP 000026b7: POP 000026b8: POP 000026b9: POP 000026ba: POP 000026bb: JUMP 000026bc: JUMPDEST 000026bd: PUSH1 0x00 000026bf: DUP1 000026c0: DUP3 000026c1: PUSH3 0x093a80 000026c5: GT 000026c6: ISZERO 000026c7: PUSH2 0x26d5 000026ca: JUMPI 000026cb: POP 000026cc: DUP3 000026cd: SWAP1 000026ce: POP 000026cf: PUSH1 0x64 000026d1: PUSH2 0x2828 000026d4: JUMP 000026d5: JUMPDEST 000026d6: PUSH2 0x26df 000026d9: DUP4 000026da: DUP6 000026db: PUSH2 0x282f 000026de: JUMP 000026df: JUMPDEST 000026e0: SWAP2 000026e1: POP 000026e2: DUP4 000026e3: DUP3 000026e4: EQ 000026e5: ISZERO 000026e6: PUSH2 0x26f4 000026e9: JUMPI 000026ea: POP 000026eb: DUP3 000026ec: SWAP1 000026ed: POP 000026ee: PUSH1 0x64 000026f0: PUSH2 0x2828 000026f3: JUMP 000026f4: JUMPDEST 000026f5: PUSH1 0x00 000026f7: DUP1 000026f8: JUMPDEST 000026f9: PUSH1 0x00 000026fb: PUSH1 0x03 000026fd: DUP4 000026fe: MUL 000026ff: PUSH1 0x01 00002701: DUP2 00002702: ADD 00002703: DUP9 00002704: GT 00002705: PUSH2 0x2711 00002708: JUMPI 00002709: PUSH1 0x01 0000270b: SWAP2 0000270c: POP 0000270d: PUSH2 0x2717 00002710: JUMP 00002711: JUMPDEST 00002712: DUP1 00002713: DUP9 00002714: SUB 00002715: SWAP2 00002716: POP 00002717: JUMPDEST 00002718: PUSH3 0x093a80 0000271c: PUSH2 0x2725 0000271f: DUP9 00002720: DUP3 00002721: PUSH2 0x25e1 00002724: JUMP 00002725: JUMPDEST 00002726: DUP6 00002727: EQ 00002728: DUP1 00002729: PUSH2 0x2732 0000272c: JUMPI 0000272d: POP 0000272e: DUP3 0000272f: PUSH1 0x01 00002731: EQ 00002732: JUMPDEST 00002733: ISZERO 00002734: PUSH2 0x278f 00002737: JUMPI 00002738: POP 00002739: PUSH3 0x093a80 0000273d: DUP5 0000273e: MUL 0000273f: DUP8 00002740: SUB 00002741: PUSH1 0x00 00002743: PUSH2 0x2751 00002746: DUP11 00002747: PUSH2 0x24b6 0000274a: DUP7 0000274b: PUSH1 0x64 0000274d: PUSH2 0x236c 00002750: JUMP 00002751: JUMPDEST 00002752: SWAP1 00002753: POP 00002754: PUSH1 0x00 00002756: DUP6 00002757: PUSH1 0x64 00002759: SUB 0000275a: SWAP1 0000275b: POP 0000275c: PUSH2 0x2783 0000275f: PUSH2 0x277c 00002762: PUSH2 0x2710 00002765: PUSH2 0x24b6 00002768: DUP5 00002769: PUSH2 0x268a 0000276c: DUP8 0000276d: PUSH1 0x64 0000276f: PUSH2 0x236c 00002772: SWAP1 00002773: SWAP2 00002774: SWAP1 00002775: PUSH4 0xffffffff 0000277a: AND 0000277b: JUMP 0000277c: JUMPDEST 0000277d: DUP10 0000277e: SWAP1 0000277f: PUSH2 0x2015 00002782: JUMP 00002783: JUMPDEST 00002784: SWAP8 00002785: POP 00002786: POP 00002787: POP 00002788: POP 00002789: POP 0000278a: POP 0000278b: PUSH2 0x27e3 0000278e: JUMP 0000278f: JUMPDEST 00002790: PUSH1 0x00 00002792: PUSH2 0x27a0 00002795: DUP10 00002796: PUSH2 0x24b6 00002799: DUP5 0000279a: PUSH1 0x64 0000279c: PUSH2 0x236c 0000279f: JUMP 000027a0: JUMPDEST 000027a1: SWAP5 000027a2: DUP6 000027a3: ADD 000027a4: SWAP5 000027a5: SWAP1 000027a6: POP 000027a7: PUSH1 0x00 000027a9: PUSH2 0x27b7 000027ac: DUP12 000027ad: PUSH2 0x24b6 000027b0: DUP8 000027b1: PUSH1 0x64 000027b3: PUSH2 0x236c 000027b6: JUMP 000027b7: JUMPDEST 000027b8: SWAP1 000027b9: POP 000027ba: PUSH2 0x27d1 000027bd: PUSH2 0x277c 000027c0: PUSH2 0x2710 000027c3: PUSH2 0x24b6 000027c6: DUP6 000027c7: PUSH2 0x268a 000027ca: PUSH1 0x64 000027cc: DUP8 000027cd: PUSH2 0x236c 000027d0: JUMP 000027d1: JUMPDEST 000027d2: SWAP8 000027d3: POP 000027d4: POP 000027d5: POP 000027d6: POP 000027d7: POP 000027d8: PUSH1 0x01 000027da: SWAP1 000027db: SWAP3 000027dc: ADD 000027dd: SWAP2 000027de: POP 000027df: PUSH2 0x26f8 000027e2: JUMP 000027e3: JUMPDEST 000027e4: PUSH1 0x64 000027e6: DUP4 000027e7: GT 000027e8: ISZERO 000027e9: PUSH2 0x2804 000027ec: JUMPI 000027ed: PUSH1 0x40 000027ef: MLOAD 000027f0: PUSH3 0x461bcd 000027f4: PUSH1 0xe5 000027f6: SHL 000027f7: DUP2 000027f8: MSTORE 000027f9: PUSH1 0x04 000027fb: ADD 000027fc: PUSH2 0x01e2 000027ff: SWAP1 00002800: PUSH2 0x3247 00002803: JUMP 00002804: JUMPDEST 00002805: PUSH1 0x0a 00002807: DUP4 00002808: LT 00002809: ISZERO 0000280a: PUSH2 0x2825 0000280d: JUMPI 0000280e: PUSH1 0x40 00002810: MLOAD 00002811: PUSH3 0x461bcd 00002815: PUSH1 0xe5 00002817: SHL 00002818: DUP2 00002819: MSTORE 0000281a: PUSH1 0x04 0000281c: ADD 0000281d: PUSH2 0x01e2 00002820: SWAP1 00002821: PUSH2 0x301e 00002824: JUMP 00002825: JUMPDEST 00002826: POP 00002827: POP 00002828: JUMPDEST 00002829: SWAP3 0000282a: POP 0000282b: SWAP3 0000282c: SWAP1 0000282d: POP 0000282e: JUMP 0000282f: JUMPDEST 00002830: PUSH1 0x00 00002832: DUP1 00002833: PUSH2 0x283b 00002836: DUP5 00002837: PUSH2 0x2857 0000283a: JUMP 0000283b: JUMPDEST 0000283c: SWAP1 0000283d: POP 0000283e: DUP3 0000283f: DUP2 00002840: LT 00002841: PUSH2 0x284e 00002844: JUMPI 00002845: PUSH1 0x01 00002847: SWAP2 00002848: POP 00002849: POP 0000284a: PUSH2 0x2072 0000284d: JUMP 0000284e: JUMPDEST 0000284f: SWAP1 00002850: SWAP2 00002851: SUB 00002852: SWAP3 00002853: SWAP2 00002854: POP 00002855: POP 00002856: JUMP 00002857: JUMPDEST 00002858: PUSH1 0x00 0000285a: PUSH2 0x2072 0000285d: PUSH1 0x03 0000285f: PUSH2 0x268a 00002862: DUP5 00002863: PUSH3 0x093a80 00002867: PUSH2 0x25e1 0000286a: JUMP 0000286b: JUMPDEST 0000286c: PUSH1 0x40 0000286e: MLOAD 0000286f: DUP1 00002870: PUSH1 0xa0 00002872: ADD 00002873: PUSH1 0x40 00002875: MSTORE 00002876: DUP1 00002877: PUSH1 0x00 00002879: DUP2 0000287a: MSTORE 0000287b: PUSH1 0x20 0000287d: ADD 0000287e: PUSH1 0x00 00002880: DUP2 00002881: MSTORE 00002882: PUSH1 0x20 00002884: ADD 00002885: PUSH1 0x00 00002887: DUP2 00002888: MSTORE 00002889: PUSH1 0x20 0000288b: ADD 0000288c: PUSH1 0x00 0000288e: DUP2 0000288f: MSTORE 00002890: PUSH1 0x20 00002892: ADD 00002893: PUSH1 0x00 00002895: DUP2 00002896: MSTORE 00002897: POP 00002898: SWAP1 00002899: JUMP 0000289a: JUMPDEST 0000289b: PUSH1 0x40 0000289d: MLOAD 0000289e: DUP1 0000289f: PUSH1 0x80 000028a1: ADD 000028a2: PUSH1 0x40 000028a4: MSTORE 000028a5: DUP1 000028a6: PUSH1 0x00 000028a8: DUP2 000028a9: MSTORE 000028aa: PUSH1 0x20 000028ac: ADD 000028ad: PUSH1 0x00 000028af: DUP2 000028b0: MSTORE 000028b1: PUSH1 0x20 000028b3: ADD 000028b4: PUSH1 0x00 000028b6: DUP2 000028b7: MSTORE 000028b8: PUSH1 0x20 000028ba: ADD 000028bb: PUSH1 0x00 000028bd: DUP2 000028be: MSTORE 000028bf: POP 000028c0: SWAP1 000028c1: JUMP 000028c2: JUMPDEST 000028c3: PUSH1 0x00 000028c5: PUSH1 0x20 000028c7: DUP3 000028c8: DUP5 000028c9: SUB 000028ca: SLT 000028cb: ISZERO 000028cc: PUSH2 0x28d3 000028cf: JUMPI 000028d0: DUP1 000028d1: DUP2 000028d2: REVERT 000028d3: JUMPDEST 000028d4: DUP2 000028d5: CALLDATALOAD 000028d6: PUSH2 0x206f 000028d9: DUP2 000028da: PUSH2 0x3353 000028dd: JUMP 000028de: JUMPDEST 000028df: PUSH1 0x00 000028e1: PUSH1 0x20 000028e3: DUP3 000028e4: DUP5 000028e5: SUB 000028e6: SLT 000028e7: ISZERO 000028e8: PUSH2 0x28ef 000028eb: JUMPI 000028ec: DUP1 000028ed: DUP2 000028ee: REVERT 000028ef: JUMPDEST 000028f0: DUP2 000028f1: MLOAD 000028f2: PUSH2 0x206f 000028f5: DUP2 000028f6: PUSH2 0x3353 000028f9: JUMP 000028fa: JUMPDEST 000028fb: PUSH1 0x00 000028fd: DUP1 000028fe: PUSH1 0x40 00002900: DUP4 00002901: DUP6 00002902: SUB 00002903: SLT 00002904: ISZERO 00002905: PUSH2 0x290c 00002908: JUMPI 00002909: DUP1 0000290a: DUP2 0000290b: REVERT 0000290c: JUMPDEST 0000290d: DUP3 0000290e: CALLDATALOAD 0000290f: PUSH2 0x2917 00002912: DUP2 00002913: PUSH2 0x3353 00002916: JUMP 00002917: JUMPDEST 00002918: SWAP2 00002919: POP 0000291a: PUSH1 0x20 0000291c: DUP4 0000291d: ADD 0000291e: CALLDATALOAD 0000291f: PUSH2 0x2927 00002922: DUP2 00002923: PUSH2 0x3368 00002926: JUMP 00002927: JUMPDEST 00002928: DUP1 00002929: SWAP2 0000292a: POP 0000292b: POP 0000292c: SWAP3 0000292d: POP 0000292e: SWAP3 0000292f: SWAP1 00002930: POP 00002931: JUMP 00002932: JUMPDEST 00002933: PUSH1 0x00 00002935: DUP1 00002936: PUSH1 0x40 00002938: DUP4 00002939: DUP6 0000293a: SUB 0000293b: SLT 0000293c: ISZERO 0000293d: PUSH2 0x2944 00002940: JUMPI 00002941: DUP2 00002942: DUP3 00002943: REVERT 00002944: JUMPDEST 00002945: DUP3 00002946: CALLDATALOAD 00002947: PUSH2 0x294f 0000294a: DUP2 0000294b: PUSH2 0x3353 0000294e: JUMP 0000294f: JUMPDEST 00002950: SWAP5 00002951: PUSH1 0x20 00002953: SWAP4 00002954: SWAP1 00002955: SWAP4 00002956: ADD 00002957: CALLDATALOAD 00002958: SWAP4 00002959: POP 0000295a: POP 0000295b: POP 0000295c: JUMP 0000295d: JUMPDEST 0000295e: PUSH1 0x00 00002960: DUP1 00002961: PUSH1 0x00 00002963: PUSH1 0x60 00002965: DUP5 00002966: DUP7 00002967: SUB 00002968: SLT 00002969: ISZERO 0000296a: PUSH2 0x2971 0000296d: JUMPI 0000296e: DUP1 0000296f: DUP2 00002970: REVERT 00002971: JUMPDEST 00002972: DUP4 00002973: CALLDATALOAD 00002974: PUSH2 0x297c 00002977: DUP2 00002978: PUSH2 0x3353 0000297b: JUMP 0000297c: JUMPDEST 0000297d: SWAP6 0000297e: PUSH1 0x20 00002980: DUP6 00002981: ADD 00002982: CALLDATALOAD 00002983: SWAP6 00002984: POP 00002985: PUSH1 0x40 00002987: SWAP1 00002988: SWAP5 00002989: ADD 0000298a: CALLDATALOAD 0000298b: SWAP4 0000298c: SWAP3 0000298d: POP 0000298e: POP 0000298f: POP 00002990: JUMP 00002991: JUMPDEST 00002992: PUSH1 0x00 00002994: PUSH1 0x20 00002996: DUP3 00002997: DUP5 00002998: SUB 00002999: SLT 0000299a: ISZERO 0000299b: PUSH2 0x29a2 0000299e: JUMPI 0000299f: DUP1 000029a0: DUP2 000029a1: REVERT 000029a2: JUMPDEST 000029a3: DUP2 000029a4: CALLDATALOAD 000029a5: PUSH2 0x206f 000029a8: DUP2 000029a9: PUSH2 0x3368 000029ac: JUMP 000029ad: JUMPDEST 000029ae: PUSH1 0x00 000029b0: PUSH1 0x20 000029b2: DUP3 000029b3: DUP5 000029b4: SUB 000029b5: SLT 000029b6: ISZERO 000029b7: PUSH2 0x29be 000029ba: JUMPI 000029bb: DUP1 000029bc: DUP2 000029bd: REVERT 000029be: JUMPDEST 000029bf: DUP2 000029c0: MLOAD 000029c1: PUSH2 0x206f 000029c4: DUP2 000029c5: PUSH2 0x3368 000029c8: JUMP 000029c9: JUMPDEST 000029ca: PUSH1 0x00 000029cc: PUSH1 0x20 000029ce: DUP3 000029cf: DUP5 000029d0: SUB 000029d1: SLT 000029d2: ISZERO 000029d3: PUSH2 0x29da 000029d6: JUMPI 000029d7: DUP1 000029d8: DUP2 000029d9: REVERT 000029da: JUMPDEST 000029db: POP 000029dc: CALLDATALOAD 000029dd: SWAP2 000029de: SWAP1 000029df: POP 000029e0: JUMP 000029e1: JUMPDEST 000029e2: PUSH1 0x00 000029e4: DUP1 000029e5: PUSH1 0x40 000029e7: DUP4 000029e8: DUP6 000029e9: SUB 000029ea: SLT 000029eb: ISZERO 000029ec: PUSH2 0x29f3 000029ef: JUMPI 000029f0: DUP2 000029f1: DUP3 000029f2: REVERT 000029f3: JUMPDEST 000029f4: POP 000029f5: POP 000029f6: DUP1 000029f7: CALLDATALOAD 000029f8: SWAP3 000029f9: PUSH1 0x20 000029fb: SWAP1 000029fc: SWAP2 000029fd: ADD 000029fe: CALLDATALOAD 000029ff: SWAP2 00002a00: POP 00002a01: JUMP 00002a02: JUMPDEST 00002a03: PUSH1 0x02 00002a05: DUP2 00002a06: LT 00002a07: PUSH2 0x2a0c 00002a0a: JUMPI 00002a0b: INVALID 00002a0c: JUMPDEST 00002a0d: SWAP1 00002a0e: MSTORE 00002a0f: JUMP 00002a10: JUMPDEST 00002a11: PUSH1 0x01 00002a13: PUSH1 0x01 00002a15: PUSH1 0xa0 00002a17: SHL 00002a18: SUB 00002a19: SWAP2 00002a1a: SWAP1 00002a1b: SWAP2 00002a1c: AND 00002a1d: DUP2 00002a1e: MSTORE 00002a1f: PUSH1 0x20 00002a21: ADD 00002a22: SWAP1 00002a23: JUMP 00002a24: JUMPDEST 00002a25: PUSH1 0x01 00002a27: PUSH1 0x01 00002a29: PUSH1 0xa0 00002a2b: SHL 00002a2c: SUB 00002a2d: SWAP4 00002a2e: DUP5 00002a2f: AND 00002a30: DUP2 00002a31: MSTORE 00002a32: SWAP2 00002a33: SWAP1 00002a34: SWAP3 00002a35: AND 00002a36: PUSH1 0x20 00002a38: DUP3 00002a39: ADD 00002a3a: MSTORE 00002a3b: PUSH1 0x40 00002a3d: DUP2 00002a3e: ADD 00002a3f: SWAP2 00002a40: SWAP1 00002a41: SWAP2 00002a42: MSTORE 00002a43: PUSH1 0x60 00002a45: ADD 00002a46: SWAP1 00002a47: JUMP 00002a48: JUMPDEST 00002a49: PUSH1 0x01 00002a4b: PUSH1 0x01 00002a4d: PUSH1 0xa0 00002a4f: SHL 00002a50: SUB 00002a51: SWAP5 00002a52: DUP6 00002a53: AND 00002a54: DUP2 00002a55: MSTORE 00002a56: PUSH1 0x20 00002a58: DUP2 00002a59: ADD 00002a5a: SWAP4 00002a5b: SWAP1 00002a5c: SWAP4 00002a5d: MSTORE 00002a5e: PUSH1 0x40 00002a60: DUP4 00002a61: ADD 00002a62: SWAP2 00002a63: SWAP1 00002a64: SWAP2 00002a65: MSTORE 00002a66: SWAP1 00002a67: SWAP2 00002a68: AND 00002a69: PUSH1 0x60 00002a6b: DUP3 00002a6c: ADD 00002a6d: MSTORE 00002a6e: PUSH1 0x80 00002a70: ADD 00002a71: SWAP1 00002a72: JUMP 00002a73: JUMPDEST 00002a74: PUSH1 0x01 00002a76: PUSH1 0x01 00002a78: PUSH1 0xa0 00002a7a: SHL 00002a7b: SUB 00002a7c: SWAP3 00002a7d: SWAP1 00002a7e: SWAP3 00002a7f: AND 00002a80: DUP3 00002a81: MSTORE 00002a82: PUSH1 0x20 00002a84: DUP3 00002a85: ADD 00002a86: MSTORE 00002a87: PUSH1 0x40 00002a89: ADD 00002a8a: SWAP1 00002a8b: JUMP 00002a8c: JUMPDEST 00002a8d: PUSH1 0x01 00002a8f: PUSH1 0x01 00002a91: PUSH1 0xa0 00002a93: SHL 00002a94: SUB 00002a95: SWAP5 00002a96: SWAP1 00002a97: SWAP5 00002a98: AND 00002a99: DUP5 00002a9a: MSTORE 00002a9b: SWAP2 00002a9c: ISZERO 00002a9d: ISZERO 00002a9e: PUSH1 0x20 00002aa0: DUP5 00002aa1: ADD 00002aa2: MSTORE 00002aa3: ISZERO 00002aa4: ISZERO 00002aa5: PUSH1 0x40 00002aa7: DUP4 00002aa8: ADD 00002aa9: MSTORE 00002aaa: ISZERO 00002aab: ISZERO 00002aac: PUSH1 0x60 00002aae: DUP3 00002aaf: ADD 00002ab0: MSTORE 00002ab1: PUSH1 0x80 00002ab3: ADD 00002ab4: SWAP1 00002ab5: JUMP 00002ab6: JUMPDEST 00002ab7: PUSH1 0x00 00002ab9: PUSH1 0x01 00002abb: DUP1 00002abc: PUSH1 0xa0 00002abe: SHL 00002abf: SUB 00002ac0: DUP7 00002ac1: AND 00002ac2: DUP3 00002ac3: MSTORE 00002ac4: PUSH1 0x20 00002ac6: DUP6 00002ac7: DUP2 00002ac8: DUP5 00002ac9: ADD 00002aca: MSTORE 00002acb: PUSH1 0x80 00002acd: PUSH1 0x40 00002acf: DUP5 00002ad0: ADD 00002ad1: MSTORE 00002ad2: DUP5 00002ad3: MLOAD 00002ad4: DUP1 00002ad5: PUSH1 0x80 00002ad7: DUP6 00002ad8: ADD 00002ad9: MSTORE 00002ada: DUP3 00002adb: JUMPDEST 00002adc: DUP2 00002add: DUP2 00002ade: LT 00002adf: ISZERO 00002ae0: PUSH2 0x2af7 00002ae3: JUMPI 00002ae4: DUP7 00002ae5: DUP2 00002ae6: ADD 00002ae7: DUP4 00002ae8: ADD 00002ae9: MLOAD 00002aea: DUP6 00002aeb: DUP3 00002aec: ADD 00002aed: PUSH1 0xa0 00002aef: ADD 00002af0: MSTORE 00002af1: DUP3 00002af2: ADD 00002af3: PUSH2 0x2adb 00002af6: JUMP 00002af7: JUMPDEST 00002af8: DUP2 00002af9: DUP2 00002afa: GT 00002afb: ISZERO 00002afc: PUSH2 0x2b08 00002aff: JUMPI 00002b00: DUP4 00002b01: PUSH1 0xa0 00002b03: DUP4 00002b04: DUP8 00002b05: ADD 00002b06: ADD 00002b07: MSTORE 00002b08: JUMPDEST 00002b09: POP 00002b0a: PUSH1 0x1f 00002b0c: ADD 00002b0d: PUSH1 0x1f 00002b0f: NOT 00002b10: AND 00002b11: DUP4 00002b12: ADD 00002b13: PUSH1 0xa0 00002b15: ADD 00002b16: SWAP2 00002b17: POP 00002b18: PUSH2 0x1895 00002b1b: SWAP1 00002b1c: POP 00002b1d: PUSH1 0x60 00002b1f: DUP4 00002b20: ADD 00002b21: DUP5 00002b22: PUSH2 0x2a02 00002b25: JUMP 00002b26: JUMPDEST 00002b27: PUSH1 0x20 00002b29: DUP1 00002b2a: DUP3 00002b2b: MSTORE 00002b2c: DUP3 00002b2d: MLOAD 00002b2e: DUP3 00002b2f: DUP3 00002b30: ADD 00002b31: DUP2 00002b32: SWAP1 00002b33: MSTORE 00002b34: PUSH1 0x00 00002b36: SWAP2 00002b37: SWAP1 00002b38: DUP5 00002b39: DUP3 00002b3a: ADD 00002b3b: SWAP1 00002b3c: PUSH1 0x40 00002b3e: DUP6 00002b3f: ADD 00002b40: SWAP1 00002b41: DUP5 00002b42: JUMPDEST 00002b43: DUP2 00002b44: DUP2 00002b45: LT 00002b46: ISZERO 00002b47: PUSH2 0x2b67 00002b4a: JUMPI 00002b4b: DUP4 00002b4c: MLOAD 00002b4d: PUSH1 0x01 00002b4f: PUSH1 0x01 00002b51: PUSH1 0xa0 00002b53: SHL 00002b54: SUB 00002b55: AND 00002b56: DUP4 00002b57: MSTORE 00002b58: SWAP3 00002b59: DUP5 00002b5a: ADD 00002b5b: SWAP3 00002b5c: SWAP2 00002b5d: DUP5 00002b5e: ADD 00002b5f: SWAP2 00002b60: PUSH1 0x01 00002b62: ADD 00002b63: PUSH2 0x2b42 00002b66: JUMP 00002b67: JUMPDEST 00002b68: POP 00002b69: SWAP1 00002b6a: SWAP7 00002b6b: SWAP6 00002b6c: POP 00002b6d: POP 00002b6e: POP 00002b6f: POP 00002b70: POP 00002b71: POP 00002b72: JUMP 00002b73: JUMPDEST 00002b74: SWAP1 00002b75: ISZERO 00002b76: ISZERO 00002b77: DUP2 00002b78: MSTORE 00002b79: PUSH1 0x20 00002b7b: ADD 00002b7c: SWAP1 00002b7d: JUMP 00002b7e: JUMPDEST 00002b7f: PUSH1 0x20 00002b81: DUP1 00002b82: DUP3 00002b83: MSTORE 00002b84: PUSH1 0x22 00002b86: SWAP1 00002b87: DUP3 00002b88: ADD 00002b89: MSTORE 00002b8a: PUSH32 0x436f756c646e2774207472616e7366657220574554482c20616c6c6f77616e63 00002bab: PUSH1 0x40 00002bad: DUP3 00002bae: ADD 00002baf: MSTORE 00002bb0: PUSH2 0x653f 00002bb3: PUSH1 0xf0 00002bb5: SHL 00002bb6: PUSH1 0x60 00002bb8: DUP3 00002bb9: ADD 00002bba: MSTORE 00002bbb: PUSH1 0x80 00002bbd: ADD 00002bbe: SWAP1 00002bbf: JUMP 00002bc0: JUMPDEST 00002bc1: PUSH1 0x20 00002bc3: DUP1 00002bc4: DUP3 00002bc5: MSTORE 00002bc6: PUSH1 0x17 00002bc8: SWAP1 00002bc9: DUP3 00002bca: ADD 00002bcb: MSTORE 00002bcc: PUSH32 0x43616e2774206465706f73697420666f72206e6f6f6e65000000000000000000 00002bed: PUSH1 0x40 00002bef: DUP3 00002bf0: ADD 00002bf1: MSTORE 00002bf2: PUSH1 0x60 00002bf4: ADD 00002bf5: SWAP1 00002bf6: JUMP 00002bf7: JUMPDEST 00002bf8: PUSH1 0x20 00002bfa: DUP1 00002bfb: DUP3 00002bfc: MSTORE 00002bfd: PUSH1 0x13 00002bff: SWAP1 00002c00: DUP3 00002c01: ADD 00002c02: MSTORE 00002c03: PUSH19 0x4e6f7468696e6720746f207769746864726177 00002c17: PUSH1 0x68 00002c19: SHL 00002c1a: PUSH1 0x40 00002c1c: DUP3 00002c1d: ADD 00002c1e: MSTORE 00002c1f: PUSH1 0x60 00002c21: ADD 00002c22: SWAP1 00002c23: JUMP 00002c24: JUMPDEST 00002c25: PUSH1 0x20 00002c27: DUP1 00002c28: DUP3 00002c29: MSTORE 00002c2a: PUSH1 0x73 00002c2c: SWAP1 00002c2d: DUP3 00002c2e: ADD 00002c2f: MSTORE 00002c30: PUSH32 0x556e636865636b20636f6d706f756e64696e67206275726e2c206f7220646570 00002c51: PUSH1 0x40 00002c53: DUP3 00002c54: ADD 00002c55: MSTORE 00002c56: PUSH32 0x6f736974206d6f72652e20596f75206861766520746f206465706f7369742061 00002c77: PUSH1 0x60 00002c79: DUP3 00002c7a: ADD 00002c7b: MSTORE 00002c7c: PUSH32 0x6e6420636f6d706f756e642077697468206275726e206174206c656173742032 00002c9d: PUSH1 0x80 00002c9f: DUP3 00002ca0: ADD 00002ca1: MSTORE 00002ca2: PUSH19 0x3c103cb7bab9103a37ba30b6103232b63a3097 00002cb6: PUSH1 0x69 00002cb8: SHL 00002cb9: PUSH1 0xa0 00002cbb: DUP3 00002cbc: ADD 00002cbd: MSTORE 00002cbe: PUSH1 0xc0 00002cc0: ADD 00002cc1: SWAP1 00002cc2: JUMP 00002cc3: JUMPDEST 00002cc4: PUSH1 0x20 00002cc6: DUP1 00002cc7: DUP3 00002cc8: MSTORE 00002cc9: PUSH1 0x0b 00002ccb: SWAP1 00002ccc: DUP3 00002ccd: ADD 00002cce: MSTORE 00002ccf: PUSH11 0x21676f7665726e616e6365 00002cdb: PUSH1 0xa8 00002cdd: SHL 00002cde: PUSH1 0x40 00002ce0: DUP3 00002ce1: ADD 00002ce2: MSTORE 00002ce3: PUSH1 0x60 00002ce5: ADD 00002ce6: SWAP1 00002ce7: JUMP 00002ce8: JUMPDEST 00002ce9: PUSH1 0x20 00002ceb: DUP1 00002cec: DUP3 00002ced: MSTORE 00002cee: PUSH1 0x12 00002cf0: SWAP1 00002cf1: DUP3 00002cf2: ADD 00002cf3: MSTORE 00002cf4: PUSH18 0x50726f7669646520616e2061646472657373 00002d07: PUSH1 0x70 00002d09: SHL 00002d0a: PUSH1 0x40 00002d0c: DUP3 00002d0d: ADD 00002d0e: MSTORE 00002d0f: PUSH1 0x60 00002d11: ADD 00002d12: SWAP1 00002d13: JUMP 00002d14: JUMPDEST 00002d15: PUSH1 0x20 00002d17: DUP1 00002d18: DUP3 00002d19: MSTORE 00002d1a: PUSH1 0x0f 00002d1c: SWAP1 00002d1d: DUP3 00002d1e: ADD 00002d1f: MSTORE 00002d20: PUSH15 0x115512081b9bdd08185b1b1bddd959 00002d30: PUSH1 0x8a 00002d32: SHL 00002d33: PUSH1 0x40 00002d35: DUP3 00002d36: ADD 00002d37: MSTORE 00002d38: PUSH1 0x60 00002d3a: ADD 00002d3b: SWAP1 00002d3c: JUMP 00002d3d: JUMPDEST 00002d3e: PUSH1 0x20 00002d40: DUP1 00002d41: DUP3 00002d42: MSTORE 00002d43: PUSH1 0x11 00002d45: SWAP1 00002d46: DUP3 00002d47: ADD 00002d48: MSTORE 00002d49: PUSH17 0x43616e277420616464206e6f7468696e67 00002d5b: PUSH1 0x78 00002d5d: SHL 00002d5e: PUSH1 0x40 00002d60: DUP3 00002d61: ADD 00002d62: MSTORE 00002d63: PUSH1 0x60 00002d65: ADD 00002d66: SWAP1 00002d67: JUMP 00002d68: JUMPDEST 00002d69: PUSH1 0x20 00002d6b: DUP1 00002d6c: DUP3 00002d6d: MSTORE 00002d6e: PUSH1 0x23 00002d70: SWAP1 00002d71: DUP3 00002d72: ADD 00002d73: MSTORE 00002d74: PUSH32 0x436f756c646e2774207472616e736665722044454c54412c20616c6c6f77616e 00002d95: PUSH1 0x40 00002d97: DUP3 00002d98: ADD 00002d99: MSTORE 00002d9a: PUSH3 0x63653f 00002d9e: PUSH1 0xe8 00002da0: SHL 00002da1: PUSH1 0x60 00002da3: DUP3 00002da4: ADD 00002da5: MSTORE 00002da6: PUSH1 0x80 00002da8: ADD 00002da9: SWAP1 00002daa: JUMP 00002dab: JUMPDEST 00002dac: PUSH1 0x20 00002dae: DUP1 00002daf: DUP3 00002db0: MSTORE 00002db1: PUSH1 0x16 00002db3: SWAP1 00002db4: DUP3 00002db5: ADD 00002db6: MSTORE 00002db7: PUSH22 0x4e6f7420656e6f75676820746f207769746864726177 00002dce: PUSH1 0x50 00002dd0: SHL 00002dd1: PUSH1 0x40 00002dd3: DUP3 00002dd4: ADD 00002dd5: MSTORE 00002dd6: PUSH1 0x60 00002dd8: ADD 00002dd9: SWAP1 00002dda: JUMP 00002ddb: JUMPDEST 00002ddc: PUSH1 0x20 00002dde: DUP1 00002ddf: DUP3 00002de0: MSTORE 00002de1: PUSH1 0x12 00002de3: SWAP1 00002de4: DUP3 00002de5: ADD 00002de6: MSTORE 00002de7: PUSH18 0x021b0b73737ba103bb4ba34323930bb90181 00002dfa: PUSH1 0x75 00002dfc: SHL 00002dfd: PUSH1 0x40 00002dff: DUP3 00002e00: ADD 00002e01: MSTORE 00002e02: PUSH1 0x60 00002e04: ADD 00002e05: SWAP1 00002e06: JUMP 00002e07: JUMPDEST 00002e08: PUSH1 0x20 00002e0a: DUP1 00002e0b: DUP3 00002e0c: MSTORE 00002e0d: PUSH1 0x5f 00002e0f: SWAP1 00002e10: DUP3 00002e11: ADD 00002e12: MSTORE 00002e13: PUSH32 0x43616e6e6f742075736520636f6d706f756e64696e67206275726e2077697468 00002e34: PUSH1 0x40 00002e36: DUP3 00002e37: ADD 00002e38: MSTORE 00002e39: PUSH32 0x6f75742067657474696e6720626f6f73742075702c20756e636865636b20636f 00002e5a: PUSH1 0x60 00002e5c: DUP3 00002e5d: ADD 00002e5e: MSTORE 00002e5f: PUSH32 0x6d706f756e64696e67206275726e2c206f722077616974203134206461797300 00002e80: PUSH1 0x80 00002e82: DUP3 00002e83: ADD 00002e84: MSTORE 00002e85: PUSH1 0xa0 00002e87: ADD 00002e88: SWAP1 00002e89: JUMP 00002e8a: JUMPDEST 00002e8b: PUSH1 0x20 00002e8d: DUP1 00002e8e: DUP3 00002e8f: MSTORE 00002e90: PUSH1 0x4f 00002e92: SWAP1 00002e93: DUP3 00002e94: ADD 00002e95: MSTORE 00002e96: PUSH32 0x4661726d696e672063757272656e746c79206177616974696e6720646576656c 00002eb7: PUSH1 0x40 00002eb9: DUP3 00002eba: ADD 00002ebb: MSTORE 00002ebc: PUSH32 0x6f70657220696e707574202d20616c6c20616374696f6e732061726520706175 00002edd: PUSH1 0x60 00002edf: DUP3 00002ee0: ADD 00002ee1: MSTORE 00002ee2: PUSH15 0x7365642074656d706f726172696c79 00002ef2: PUSH1 0x88 00002ef4: SHL 00002ef5: PUSH1 0x80 00002ef7: DUP3 00002ef8: ADD 00002ef9: MSTORE 00002efa: PUSH1 0xa0 00002efc: ADD 00002efd: SWAP1 00002efe: JUMP 00002eff: JUMPDEST 00002f00: PUSH1 0x20 00002f02: DUP1 00002f03: DUP3 00002f04: MSTORE 00002f05: PUSH1 0x3a 00002f07: SWAP1 00002f08: DUP3 00002f09: ADD 00002f0a: MSTORE 00002f0b: PUSH32 0x43616e6e6f7420776974686472617720746f6b656e7320746861742061726520 00002f2c: PUSH1 0x40 00002f2e: DUP3 00002f2f: ADD 00002f30: MSTORE 00002f31: PUSH32 0x72657761726473206f72207573656420696e206661726d696e67000000000000 00002f52: PUSH1 0x60 00002f54: DUP3 00002f55: ADD 00002f56: MSTORE 00002f57: PUSH1 0x80 00002f59: ADD 00002f5a: SWAP1 00002f5b: JUMP 00002f5c: JUMPDEST 00002f5d: PUSH1 0x20 00002f5f: DUP1 00002f60: DUP3 00002f61: MSTORE 00002f62: PUSH1 0x0c 00002f64: SWAP1 00002f65: DUP3 00002f66: ADD 00002f67: MSTORE 00002f68: PUSH12 0x10b234b9ba3934b13aba37b9 00002f75: PUSH1 0xa1 00002f77: SHL 00002f78: PUSH1 0x40 00002f7a: DUP3 00002f7b: ADD 00002f7c: MSTORE 00002f7d: PUSH1 0x60 00002f7f: ADD 00002f80: SWAP1 00002f81: JUMP 00002f82: JUMPDEST 00002f83: PUSH1 0x20 00002f85: DUP1 00002f86: DUP3 00002f87: MSTORE 00002f88: PUSH1 0x53 00002f8a: SWAP1 00002f8b: DUP3 00002f8c: ADD 00002f8d: MSTORE 00002f8e: PUSH32 0x43616e206e6f7420646f206e6f726d616c206465706f73697473207768656e20 00002faf: PUSH1 0x40 00002fb1: DUP3 00002fb2: ADD 00002fb3: MSTORE 00002fb4: PUSH32 0x636f6d706f756e644275726e206973206f6e2c20756e636865636b206974206f 00002fd5: PUSH1 0x60 00002fd7: DUP3 00002fd8: ADD 00002fd9: MSTORE 00002fda: PUSH19 0x1c88191bc81848189d5c9b8819195c1bdcda5d 00002fee: PUSH1 0x6a 00002ff0: SHL 00002ff1: PUSH1 0x80 00002ff3: DUP3 00002ff4: ADD 00002ff5: MSTORE 00002ff6: PUSH1 0xa0 00002ff8: ADD 00002ff9: SWAP1 00002ffa: JUMP 00002ffb: JUMPDEST 00002ffc: PUSH1 0x20 00002ffe: DUP1 00002fff: DUP3 00003000: MSTORE 00003001: PUSH1 0x09 00003003: SWAP1 00003004: DUP3 00003005: ADD 00003006: MSTORE 00003007: PUSH9 0x10b3bab0b93234b0b7 00003011: PUSH1 0xb9 00003013: SHL 00003014: PUSH1 0x40 00003016: DUP3 00003017: ADD 00003018: MSTORE 00003019: PUSH1 0x60 0000301b: ADD 0000301c: SWAP1 0000301d: JUMP 0000301e: JUMPDEST 0000301f: PUSH1 0x20 00003021: DUP1 00003022: DUP3 00003023: MSTORE 00003024: PUSH1 0x40 00003026: SWAP1 00003027: DUP3 00003028: ADD 00003029: DUP2 0000302a: SWAP1 0000302b: MSTORE 0000302c: PUSH32 0x44454c54415f446565705f4661726d696e675f5661756c743a2050657263656e 0000304d: SWAP1 0000304e: DUP3 0000304f: ADD 00003050: MSTORE 00003051: PUSH32 0x742073686f756c64206e65766572206265206c6f776572207468616e20313025 00003072: PUSH1 0x60 00003074: DUP3 00003075: ADD 00003076: MSTORE 00003077: PUSH1 0x80 00003079: ADD 0000307a: SWAP1 0000307b: JUMP 0000307c: JUMPDEST 0000307d: PUSH1 0x20 0000307f: DUP1 00003080: DUP3 00003081: MSTORE 00003082: PUSH1 0x2a 00003084: SWAP1 00003085: DUP3 00003086: ADD 00003087: MSTORE 00003088: PUSH32 0x44454c54415f446565705f4661726d696e675f5661756c743a20426f6f737465 000030a9: PUSH1 0x40 000030ab: DUP3 000030ac: ADD 000030ad: MSTORE 000030ae: PUSH10 0x0e440e8dede40d0d2ced 000030b9: PUSH1 0xb3 000030bb: SHL 000030bc: PUSH1 0x60 000030be: DUP3 000030bf: ADD 000030c0: MSTORE 000030c1: PUSH1 0x80 000030c3: ADD 000030c4: SWAP1 000030c5: JUMP 000030c6: JUMPDEST 000030c7: PUSH1 0x20 000030c9: DUP1 000030ca: DUP3 000030cb: MSTORE 000030cc: PUSH1 0x4e 000030ce: SWAP1 000030cf: DUP3 000030d0: ADD 000030d1: MSTORE 000030d2: PUSH32 0x43616e6e6f74206465706f73697420666f7220736f6d656f6e65207768656e20 000030f3: PUSH1 0x40 000030f5: DUP3 000030f6: ADD 000030f7: MSTORE 000030f8: PUSH32 0x746865792068617665206120626f6f737465722c207573652074686520646570 00003119: PUSH1 0x60 0000311b: DUP3 0000311c: ADD 0000311d: MSTORE 0000311e: PUSH14 0x6f736974576974684275726e2829 0000312d: PUSH1 0x90 0000312f: SHL 00003130: PUSH1 0x80 00003132: DUP3 00003133: ADD 00003134: MSTORE 00003135: PUSH1 0xa0 00003137: ADD 00003138: SWAP1 00003139: JUMP 0000313a: JUMPDEST 0000313b: PUSH1 0x20 0000313d: DUP1 0000313e: DUP3 0000313f: MSTORE 00003140: DUP2 00003141: DUP2 00003142: ADD 00003143: MSTORE 00003144: PUSH32 0x436f75646e2774207472616e7366657220524c502c20616c6c6f77616e63653f 00003165: PUSH1 0x40 00003167: DUP3 00003168: ADD 00003169: MSTORE 0000316a: PUSH1 0x60 0000316c: ADD 0000316d: SWAP1 0000316e: JUMP 0000316f: JUMPDEST 00003170: PUSH1 0x20 00003172: DUP1 00003173: DUP3 00003174: MSTORE 00003175: PUSH1 0x34 00003177: SWAP1 00003178: DUP3 00003179: ADD 0000317a: MSTORE 0000317b: PUSH32 0x43616e206e6f74206465706f736974206275726e6564207768656e2074686520 0000319c: PUSH1 0x40 0000319e: DUP3 0000319f: ADD 000031a0: MSTORE 000031a1: PUSH20 0x1d5cd95c88191a591b89dd08189d5c9b881e595d 000031b6: PUSH1 0x62 000031b8: SHL 000031b9: PUSH1 0x60 000031bb: DUP3 000031bc: ADD 000031bd: MSTORE 000031be: PUSH1 0x80 000031c0: ADD 000031c1: SWAP1 000031c2: JUMP 000031c3: JUMPDEST 000031c4: PUSH1 0x20 000031c6: DUP1 000031c7: DUP3 000031c8: MSTORE 000031c9: PUSH1 0x22 000031cb: SWAP1 000031cc: DUP3 000031cd: ADD 000031ce: MSTORE 000031cf: PUSH32 0x446964206e6f742073756365737366756c6c79207365742070726976696c6567 000031f0: PUSH1 0x40 000031f2: DUP3 000031f3: ADD 000031f4: MSTORE 000031f5: PUSH2 0x6573 000031f8: PUSH1 0xf0 000031fa: SHL 000031fb: PUSH1 0x60 000031fd: DUP3 000031fe: ADD 000031ff: MSTORE 00003200: PUSH1 0x80 00003202: ADD 00003203: SWAP1 00003204: JUMP 00003205: JUMPDEST 00003206: PUSH1 0x20 00003208: DUP1 00003209: DUP3 0000320a: MSTORE 0000320b: PUSH1 0x22 0000320d: SWAP1 0000320e: DUP3 0000320f: ADD 00003210: MSTORE 00003211: PUSH32 0x436f75646e2774207472616e736665722044454c54412c20616c6c6f77616e63 00003232: PUSH1 0x40 00003234: DUP3 00003235: ADD 00003236: MSTORE 00003237: PUSH2 0x653f 0000323a: PUSH1 0xf0 0000323c: SHL 0000323d: PUSH1 0x60 0000323f: DUP3 00003240: ADD 00003241: MSTORE 00003242: PUSH1 0x80 00003244: ADD 00003245: SWAP1 00003246: JUMP 00003247: JUMPDEST 00003248: PUSH1 0x20 0000324a: DUP1 0000324b: DUP3 0000324c: MSTORE 0000324d: PUSH1 0x3a 0000324f: SWAP1 00003250: DUP3 00003251: ADD 00003252: MSTORE 00003253: PUSH32 0x44454c54415f446565705f4661726d696e675f5661756c743a2050657263656e 00003274: PUSH1 0x40 00003276: DUP3 00003277: ADD 00003278: MSTORE 00003279: PUSH32 0x742073686f756c64206e65766572206578636565642031303025000000000000 0000329a: PUSH1 0x60 0000329c: DUP3 0000329d: ADD 0000329e: MSTORE 0000329f: PUSH1 0x80 000032a1: ADD 000032a2: SWAP1 000032a3: JUMP 000032a4: JUMPDEST 000032a5: PUSH1 0x00 000032a7: PUSH1 0xa0 000032a9: DUP3 000032aa: ADD 000032ab: SWAP1 000032ac: POP 000032ad: DUP3 000032ae: MLOAD 000032af: DUP3 000032b0: MSTORE 000032b1: PUSH1 0x20 000032b3: DUP4 000032b4: ADD 000032b5: MLOAD 000032b6: PUSH1 0x20 000032b8: DUP4 000032b9: ADD 000032ba: MSTORE 000032bb: PUSH1 0x40 000032bd: DUP4 000032be: ADD 000032bf: MLOAD 000032c0: PUSH1 0x40 000032c2: DUP4 000032c3: ADD 000032c4: MSTORE 000032c5: PUSH1 0x60 000032c7: DUP4 000032c8: ADD 000032c9: MLOAD 000032ca: PUSH1 0x60 000032cc: DUP4 000032cd: ADD 000032ce: MSTORE 000032cf: PUSH1 0x80 000032d1: DUP4 000032d2: ADD 000032d3: MLOAD 000032d4: PUSH1 0x80 000032d6: DUP4 000032d7: ADD 000032d8: MSTORE 000032d9: SWAP3 000032da: SWAP2 000032db: POP 000032dc: POP 000032dd: JUMP 000032de: JUMPDEST 000032df: SWAP1 000032e0: DUP2 000032e1: MSTORE 000032e2: PUSH1 0x20 000032e4: ADD 000032e5: SWAP1 000032e6: JUMP 000032e7: JUMPDEST 000032e8: SWAP3 000032e9: DUP4 000032ea: MSTORE 000032eb: PUSH1 0x20 000032ed: DUP4 000032ee: ADD 000032ef: SWAP2 000032f0: SWAP1 000032f1: SWAP2 000032f2: MSTORE 000032f3: PUSH1 0x40 000032f5: DUP3 000032f6: ADD 000032f7: MSTORE 000032f8: PUSH1 0x60 000032fa: ADD 000032fb: SWAP1 000032fc: JUMP 000032fd: JUMPDEST 000032fe: SWAP12 000032ff: DUP13 00003300: MSTORE 00003301: PUSH1 0x20 00003303: DUP13 00003304: ADD 00003305: SWAP11 00003306: SWAP1 00003307: SWAP11 00003308: MSTORE 00003309: PUSH1 0x40 0000330b: DUP12 0000330c: ADD 0000330d: SWAP9 0000330e: SWAP1 0000330f: SWAP9 00003310: MSTORE 00003311: PUSH1 0x60 00003313: DUP11 00003314: ADD 00003315: SWAP7 00003316: SWAP1 00003317: SWAP7 00003318: MSTORE 00003319: PUSH1 0x80 0000331b: DUP10 0000331c: ADD 0000331d: SWAP5 0000331e: SWAP1 0000331f: SWAP5 00003320: MSTORE 00003321: PUSH1 0xa0 00003323: DUP9 00003324: ADD 00003325: SWAP3 00003326: SWAP1 00003327: SWAP3 00003328: MSTORE 00003329: PUSH1 0xc0 0000332b: DUP8 0000332c: ADD 0000332d: MSTORE 0000332e: PUSH1 0xe0 00003330: DUP7 00003331: ADD 00003332: MSTORE 00003333: PUSH2 0x0100 00003336: DUP6 00003337: ADD 00003338: MSTORE 00003339: PUSH2 0x0120 0000333c: DUP5 0000333d: ADD 0000333e: MSTORE 0000333f: PUSH2 0x0140 00003342: DUP4 00003343: ADD 00003344: MSTORE 00003345: ISZERO 00003346: ISZERO 00003347: PUSH2 0x0160 0000334a: DUP3 0000334b: ADD 0000334c: MSTORE 0000334d: PUSH2 0x0180 00003350: ADD 00003351: SWAP1 00003352: JUMP 00003353: JUMPDEST 00003354: PUSH1 0x01 00003356: PUSH1 0x01 00003358: PUSH1 0xa0 0000335a: SHL 0000335b: SUB 0000335c: DUP2 0000335d: AND 0000335e: DUP2 0000335f: EQ 00003360: PUSH2 0x10c8 00003363: JUMPI 00003364: PUSH1 0x00 00003366: DUP1 00003367: REVERT 00003368: JUMPDEST 00003369: DUP1 0000336a: ISZERO 0000336b: ISZERO 0000336c: DUP2 0000336d: EQ 0000336e: PUSH2 0x10c8 00003371: JUMPI 00003372: PUSH1 0x00 00003374: DUP1 00003375: REVERT 00003376: INVALID 00003377: MSTORE8 00003378: PUSH2 0x6665 0000337b: UNKNOWN(0x4D) 0000337c: PUSH2 0x7468 0000337f: GASPRICE 00003380: KECCAK256 00003381: PUSH14 0x756c7469706c69636174696f6e20 00003390: PUSH16 0x766572666c6f77a26469706673582212 000033a1: KECCAK256 000033a2: UNKNOWN(0x4B) 000033a3: DUP13 000033a4: CALLDATALOAD 000033a5: UNKNOWN(0xF7) 000033a6: DUP7 000033a7: UNKNOWN(0xA7) 000033a8: UNKNOWN(0xBD) 000033a9: UNKNOWN(0xB0) 000033aa: UNKNOWN(0xCC) 000033ab: UNKNOWN(0xDB) 000033ac: CALLDATACOPY 000033ad: JUMPI 000033ae: AND 000033af: UNKNOWN(0xAB) 000033b0: PUSH18 0x2ae439380bcaeb6155249c6e3a302e447964 000033c3: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc0e80502fc50b18abdd6b113e03da60dce39226bc675b88753aab15b2f3c23d6
call_targets:
0x6bf15a530314d80baa5560539d7f327f3dbe0eec
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc0e80502fc50b18abdd6b113e03da60dce39226bc675b88753aab15b2f3c23d6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6bf15a530314d80baa5560539d7f327f3dbe0eec"
],
"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": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xecb5fff6",
"selector": "0xecb5fff6",
"calldata_variants": [
"0xecb5fff6",
"0xecb5fff60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xedb42ed4",
"selector": "0xedb42ed4",
"calldata_variants": [
"0xedb42ed4",
"0xedb42ed40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7b9e85c",
"selector": "0xf7b9e85c",
"calldata_variants": [
"0xf7b9e85c",
"0xf7b9e85c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd312896d",
"selector": "0xd312896d",
"calldata_variants": [
"0xd312896d",
"0xd312896d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe189e2f8",
"selector": "0xe189e2f8",
"calldata_variants": [
"0xe189e2f8",
"0xe189e2f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2bbb158",
"selector": "0xe2bbb158",
"calldata_variants": [
"0xe2bbb158",
"0xe2bbb1580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8506892",
"selector": "0xe8506892",
"calldata_variants": [
"0xe8506892",
"0xe85068920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2525,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2700,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3614,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 11,
"guards_detected": [],
"untrusted_call_count": 11
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc0e80502fc50b18abdd6b113e03da60dce39226bc675b88753aab15b2f3c23d6
call_targets:
0x6bf15a530314d80baa5560539d7f327f3dbe0eec
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc0e80502fc50b18abdd6b113e03da60dce39226bc675b88753aab15b2f3c23d6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6bf15a530314d80baa5560539d7f327f3dbe0eec"
],
"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": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xecb5fff6",
"selector": "0xecb5fff6",
"calldata_variants": [
"0xecb5fff6",
"0xecb5fff60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xedb42ed4",
"selector": "0xedb42ed4",
"calldata_variants": [
"0xedb42ed4",
"0xedb42ed40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7b9e85c",
"selector": "0xf7b9e85c",
"calldata_variants": [
"0xf7b9e85c",
"0xf7b9e85c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd312896d",
"selector": "0xd312896d",
"calldata_variants": [
"0xd312896d",
"0xd312896d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe189e2f8",
"selector": "0xe189e2f8",
"calldata_variants": [
"0xe189e2f8",
"0xe189e2f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2bbb158",
"selector": "0xe2bbb158",
"calldata_variants": [
"0xe2bbb158",
"0xe2bbb1580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8506892",
"selector": "0xe8506892",
"calldata_variants": [
"0xe8506892",
"0xe85068920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2525,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2700,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3614,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 11,
"guards_detected": []
}
|
| low | other | codex | ERC20 transfer return values are ignored in multiple flows | 65 | no | — |
viewevidence_json{
"evidence": "`RLP.transfer(...)`, `WETH.transfer(...)`, and `DELTA.transfer(...)` are called without checking the return value, so failures can be silent.",
"locations": [
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:230",
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:287",
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:348",
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:500",
"contracts/contracts/v076/Upgradable/DELTA_Deep_Farming_Vault.sol:504"
],
"recommendation": "Use SafeERC20 (`safeTransfer`/`safeTransferFrom`) or explicitly `require(token.transfer(...), \"transfer failed\")` in all paths that move tokens.",
"exploit_scenario": "If any of the involved tokens return false instead of reverting (or behave non\u2011standardly), the vault will proceed as if transfers succeeded. In `exit`/`withdrawRLP`, user accounting is updated even if the transfer fails, potentially locking user funds. Similar silent failures can affect recycler payouts and admin rescues."
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 16
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 16
}
|